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