J3G1-Zr170B0.M
Magma V2.7-1      Fri Nov  9 2001 18:40:21 on emil     [Seed = 3390956765]
Type ? for help.  Type <Ctrl>-D to quit.

Loading startup file "/usb2/tilman/.magmainit"

Loading "J3G1-Zr170B0.M"
FORM FIXED
FORM POSITIVE DEFINITE
RELATORS FULLFILLED
IRREDUCIBLE

Total time: 86.590 seconds