# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/exc/TD42/words/TD42d3G1-max4W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z3 z4 z5
zmu z3 z5 z6
zmu z6 z3 z7
zmu z4 z7 z2
zpo z3 7 z4
zpo z2 8 z5
zmu z4 z5 z6
zmu z6 z6 z7
zmu z5 z6 z8
zmu z6 z8 z9
zmu z7 z5 z8
zmu z4 z9 z7
zmu z8 z7 z6
ziv z6 z7
zmu z7 z2 z8
zmu z8 z6 z2
zmu z1 z1 z4
zmu z4 z3 z1
cp z1 h.1
cp z2 h.2