Magma files kan be found here: http://www.danbbs.dk/~m-bohn/magma/index.htm