# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/exc/G25/words/G25G1-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
zpo z6 12 z7
ziv z7 z8
zmu z8 z2 z3
zmu z3 z7 z2
cp z1 h.1
cp z2 h.2