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