# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/J3/words/J3G1-max8W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zpo z3 5 z9
ziv z9 z10
zmu z10 z1 z11
zmu z11 z9 z10
zmu z3 z2 z4
zmu z3 z4 z5
zmu z5 z5 z6
zmu z3 z6 z7
zmu z3 z7 z8
zmu z8 z4 z1
zpo z1 15 z4
zmu z10 z4 z5
zmu z5 z5 z6
zmu z5 z6 z7
zmu z7 z7 z2
cp z1 h.1
cp z2 h.2