# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/exc/TF42/words/TF42G1-max5W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z2 z3 z4
zmu z4 z1 z5
ziv z5 z6
zmu z1 z4 z5
zmu z6 z5 z4
zmu z4 z4 z1
zpo z3 4 z5
ziv z5 z6
zmu z6 z2 z7
zmu z7 z5 z2
cp z1 h.1
cp z2 h.2