# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/exc/TD42/words/TD42G1-max9W1
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 3 z1
zmu z4 z2 z6
zmu z4 z6 z7
zmu z7 z6 z2
zpo z5 8 z6
ziv z6 z5
zmu z5 z2 z4
zmu z4 z6 z2
zpo z3 4 z6
ziv z6 z5
zmu z5 z1 z4
zmu z4 z6 z1
cp z1 h.1
cp z2 h.2