# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/F22/words/F22G1-max13W2
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z2 z4 z5
ziv z3 z7
zmu z7 z5 z6
zmu z6 z3 z2
zpo z4 13 z5
ziv z5 z6
zmu z6 z1 z4
zmu z4 z5 z1
cp z1 h.1
cp z2 h.2