# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/Th/words/ThG1-max15W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z2 z3 z5
zmu z2 z5 z6
zmu z3 z3 z7
# Warning: I could not convert this line: '### 1,2,3,4,5,6,7 are x=a,y=b,xy,xyy,yxy,x1=x^y,xyxy.'
zmu z1 z6 z11
zmu z6 z2 z12
zmu z2 z6 z13
ziv z13 z14
zmu z14 z12 z13
zpo z11 5 z12
zpo z13 5 z14
zmu z12 z14 z8
# Warning: I could not convert this line: '### 8 = a1.'
zmu z6 z7 z11
zmu z7 z6 z12
ziv z12 z13
zmu z13 z11 z12
zpo z12 4 z11
zmu z7 z11 z9
# Warning: I could not convert this line: '### 9 = b1.'
ziv z9 z11
zmu z9 z9 z12
zmu z9 z12 z13
zmu z8 z12 z14
zmu z14 z12 z15
zpo z14 6 z7
zmu z8 z8 z14
zmu z14 z13 z16
zmu z8 z14 z13
zmu z13 z11 z14
zmu z13 z16 z11
zmu z11 z12 z13
zmu z15 z16 z11
zmu z11 z14 z12
zmu z12 z13 z11
zpo z14 4 z12
zmu z12 z7 z13
ziv z7 z14
zmu z14 z13 z12
zpo z9 10 z13
zmu z12 z13 z14
zmu z14 z11 z7
# Warning: I could not convert this line: '### 7 = z1.'
zmu z1 z7 z11
zpo z11 9 z8
# Warning: I could not convert this line: '### 8 = a2.'
zmu z7 z2 z11
zmu z2 z7 z12
ziv z12 z13
zmu z13 z11 z12
zpo z12 4 z11
zmu z2 z11 z9
# Warning: I could not convert this line: '### 9 = b2.'
zmu z4 z4 z11
zmu z3 z11 z12
zmu z12 z12 z13
zmu z13 z11 z12
zpo z3 4 z11
zmu z11 z12 z1
# Warning: I could not convert this line: '### 1 = z.'
zmu z8 z9 z11
zmu z11 z9 z12
zpo z11 18 z3
zpo z9 4 z4
zmu z11 z12 z13
zmu z11 z13 z14
zmu z14 z9 z15
zmu z15 z14 z16
zmu z16 z11 z13
ziv z13 z14
zmu z14 z8 z15
zmu z15 z13 z11
zpo z12 5 z13
zmu z12 z13 z14
ziv z13 z12
zmu z12 z4 z15
zmu z15 z13 z16
ziv z14 z13
zmu z13 z4 z15
zmu z15 z14 z12
zmu z4 z16 z15
zmu z15 z12 z14
zmu z14 z11 z13
zmu z3 z13 z7
# Warning: I could not convert this line: '### 7 = y1.'
zmu z7 z2 z11
zmu z2 z7 z12
ziv z12 z13
zmu z13 z11 z12
zpo z12 14 z8
# Warning: I could not convert this line: '### 8 = a3.'
zmu z7 z5 z11
zmu z5 z7 z12
ziv z12 z13
zmu z13 z11 z12
zpo z12 10 z11
zmu z5 z11 z9
# Warning: I could not convert this line: '### 9 = b3.'
zmu z9 z9 z7
zmu z7 z7 z4
zmu z9 z8 z11
zmu z9 z11 z12
zmu z9 z12 z13
zmu z8 z11 z14
zmu z14 z7 z5
zmu z8 z4 z14
zpo z14 4 z3
zmu z12 z13 z14
zmu z14 z12 z13
zmu z11 z12 z14
zmu z12 z11 z15
zmu z12 z15 z16
zmu z16 z13 z15
zmu z14 z13 z12
zmu z15 z12 z11
zmu z5 z5 z14
ziv z14 z15
zmu z15 z4 z16
zmu z16 z14 z7
zmu z14 z14 z15
ziv z15 z14
zmu z14 z4 z16
zmu z16 z15 z12
zmu z5 z15 z14
ziv z14 z15
zmu z15 z4 z16
zmu z16 z14 z13
zmu z6 z3 z5
zmu z5 z7 z6
zmu z6 z12 z5
zmu z5 z13 z6
zmu z6 z11 z2
# Warning: I could not convert this line: '### Answer in 1 and 2 (as usual).'
cp z1 h.1
cp z2 h.2