# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/exc/G25/words/G25G1-max3W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z3 z4 z5
zmu z3 z3 z6
zmu z6 z6 z7
zmu z5 z7 z1
zmu z4 z4 z6
zmu z5 z5 z7
zmu z3 z7 z8
zmu z8 z8 z9
zmu z8 z9 z7
zmu z7 z6 z5
zmu z6 z6 z8
zmu z8 z4 z7
zmu z7 z5 z2
cp z1 h.1
cp z2 h.2