# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/Th/words/ThG1-max15W2
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z2 z3 z5
zmu z1 z5 z11
zmu z5 z1 z12
ziv z12 z13
zmu z13 z11 z12
zpo z12 4 z11
zmu z5 z11 z6
# Warning: I could not convert this line: '### 6 = b1.'
zmu z4 z3 z11
zmu z3 z4 z5
zpo z11 5 z12
zpo z5 5 z13
zmu z12 z13 z5
# Warning: I could not convert this line: '### 5 = a1.'
zmu z3 z3 z1
zmu z1 z1 z2
zmu z1 z2 z7
zmu z4 z4 z11
zmu z11 z11 z12
zmu z2 z11 z13
zmu z3 z13 z14
zmu z3 z12 z11
zmu z2 z7 z3
zmu z1 z3 z2
zmu z14 z11 z1
zmu z13 z4 z14
zmu z12 z14 z13
zmu z2 z13 z11
zpo z4 10 z12
zmu z3 z12 z13
zmu z13 z7 z4
ziv z11 z3
# Warning: I could not convert this line: '### 1 = o1.'
zpo z5 3 z2
zmu z2 z6 z7
zpo z6 4 z11
zmu z11 z2 z12
zmu z2 z11 z13
zmu z5 z13 z14
zmu z11 z11 z13
zmu z5 z6 z11
zmu z11 z13 z2
zmu z5 z14 z13
zpo z7 4 z5
zpo z11 6 z6
zmu z13 z12 z11
zmu z2 z14 z12
zmu z12 z11 z13
ziv z6 z14
zmu z5 z14 z11
zmu z5 z6 z12
zmu z11 z12 z2
zmu z2 z13 z7
# Warning: I could not convert this line: '### y = c1.'
zmu z3 z7 z11
zmu z11 z4 z2
# Warning: I could not convert this line: '### Answer in 1 and 2 (as usual).'
cp z1 h.1
cp z2 h.2