Magma V2.11-1     Thu Jul 29 2004 13:51:46 on meccah2  [Seed = 2016411660]
Type ? for help.  Type <Ctrl>-D to quit.

Loading startup file "/home/was/magma/local/init.m"

r{2}r
Total time: 1.000 seconds, Total memory usage: 3.86MB