# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/exc/G23/words/G23G1-max10W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z3 z4 z5
zmu z3 z5 z6
zpo z6 4 z7
zmu z1 z7 z8
zpo z8 3 z4
zmu z2 z7 z8
ziv z8 z9
zmu z7 z2 z8
zmu z9 z8 z5
zpo z5 4 z8
zmu z2 z8 z5
zmu z4 z5 z2
zmu z3 z7 z8
ziv z8 z9
zmu z7 z3 z8
zmu z9 z8 z5
zpo z5 3 z3
cp z6 h.1
cp z2 h.2
cp z3 h.3