# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/J4/words/J4G1-max3W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z4 z2 z5
zpo z3 8 z4
ziv z4 z6
zmu z2 z4 z7
zmu z6 z7 z2
zpo z5 4 z3
ziv z3 z4
zmu z1 z3 z5
zmu z4 z5 z1
cp z1 h.1
cp z2 h.2