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