# BBOX converted automatically from # http://atlas.math.rwth-aachen.de/Atlas/spor/J4/words/J4G1-max7W1 cp g.1 z1 cp g.2 z2 zmu z1 z2 z3 zmu z3 z2 z4 zmu z3 z4 z5 zmu z3 z5 z6 zmu z6 z4 z5 zpo z4 4 z3 zpo z5 8 z4 ziv z4 z5 zmu z5 z3 z6 zmu z6 z4 z3 # Warning: I could not convert this line: '# 1 and 3 are standard generators of U3(11).' zmu z1 z3 z4 zmu z4 z3 z5 zpo z5 3 z6 zmu z4 z4 z5 zmu z6 z5 z3 zpo z4 6 z5 zmu z5 z3 z4 # Warning: I could not convert this line: '# 1 and 4 generate 11^{1+2}:40.' zpo z4 20 z3 zmu z3 z2 z5 zmu z2 z3 z6 ziv z6 z3 zmu z3 z5 z6 zpo z6 3 z2 # Warning: I could not convert this line: '# 4 and 2 generate C_J4(4^20).' zmu z4 z2 z3 zmu z4 z3 z5 zpo z5 7 z3 ziv z4 z5 zmu z5 z2 z6 zmu z2 z6 z5 zpo z4 8 z2 zmu z2 z5 z6 ziv z6 z5 zmu z1 z4 z2 zmu z5 z3 z4 zmu z4 z6 z1 cp zcontains h.1 cp za h.2 cp z[not h.3 cp zone h.4 cp zof h.5 cp zthe h.6 cp ztwo h.7 cp zgenerators]. h.8