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