# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/Ru/words/RuG1-max15W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z3 z4 z5
zmu z5 z4 z6
zmu z3 z6 z7
zmu z6 z6 z8
zmu z3 z5 z9
zmu z4 z9 z6
zmu z2 z6 z9
zmu z9 z8 z10
zpo z10 8 z8
ziv z3 z9
zmu z9 z8 z11
zmu z11 z3 z9
zpo z7 10 z8
zmu z8 z9 z11
zmu z3 z11 z12
ziv z12 z11
zmu z11 z10 z9
zmu z9 z12 z1
zpo z5 6 z6
zmu z3 z6 z9
zmu z4 z9 z11
ziv z11 z12
zmu z12 z8 z9
zmu z9 z11 z12
zmu z8 z12 z9
zmu z1 z7 z3
zmu z3 z7 z4
zmu z3 z4 z1
zmu z3 z1 z6
zpo z7 8 z7
ziv z6 z8
zpo z8 4 z10
zmu z7 z10 z11
zmu z6 z1 z8
zpo z8 8 z10
ziv z11 z12
zmu z12 z10 z5
zmu z5 z11 z10
zmu z9 z10 z2
zmu z3 z8 z9
zmu z9 z4 z10
zpo z10 5 z11
ziv z11 z9
zmu z9 z1 z3
zmu z3 z11 z1
cp z1 h.1
cp z2 h.2