# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/J4/words/J4G1-max7W1
work := [];;
output := [];;
work[1] := input[1];;
work[2] := input[2];;
work[3] := work[1] * work[2];;
work[4] := work[3] * work[2];;
work[5] := work[3] * work[4];;
work[6] := work[3] * work[5];;
work[5] := work[6] * work[4];;
work[3] := work[4]^4;;
work[4] := work[5]^8;;
work[5] := work[4]^-1;;
work[6] := work[5] * work[3];;
work[3] := work[6] * work[4];;
# Warning: I could not convert this line: '# 1 and 3 are standard generators of U3(11).'
work[4] := work[1] * work[3];;
work[5] := work[4] * work[3];;
work[6] := work[5]^3;;
work[5] := work[4] * work[4];;
work[3] := work[6] * work[5];;
work[5] := work[4]^6;;
work[4] := work[5] * work[3];;
# Warning: I could not convert this line: '# 1 and 4 generate 11^{1+2}:40.'
work[3] := work[4]^20;;
work[5] := work[3] * work[2];;
work[6] := work[2] * work[3];;
work[3] := work[6]^-1;;
work[6] := work[3] * work[5];;
work[2] := work[6]^3;;
# Warning: I could not convert this line: '# 4 and 2 generate C_J4(4^20).'
work[3] := work[4] * work[2];;
work[5] := work[4] * work[3];;
work[3] := work[5]^7;;
work[5] := work[4]^-1;;
work[6] := work[5] * work[2];;
work[5] := work[2] * work[6];;
work[2] := work[4]^8;;
work[6] := work[2] * work[5];;
work[5] := work[6]^-1;;
work[2] := work[1] * work[4];;
work[4] := work[5] * work[3];;
work[1] := work[4] * work[6];;
output[1] := work[contains];;
output[2] := work[<B>a</B>];;
output[3] := work[[not];;
output[4] := work[one];;
output[5] := work[of];;
output[6] := work[the];;
output[7] := work[two];;
output[8] := work[generators].];;