# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/clas/U62/words/U62G1-max15W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z1
ziv z2 z3
zpo z1 6 z4
ziv z4 z5
zmu z2 z4 z6
zmu z2 z5 z7
zmu z3 z4 z2
zmu z3 z5 z4
zmu z4 z6 z5
zmu z4 z7 z8
zmu z8 z3 z4
zpo z5 3 z8
zmu z8 z3 z5
zmu z2 z6 z8
zmu z2 z7 z6
zmu z8 z6 z7
zmu z7 z4 z6
zmu z5 z5 z7
zmu z7 z6 z2
cp zcontains h.1
cp z5, h.2
cp z6 h.3
cp zand h.4
cp z7. h.5
cp zby h.6
cp z5 h.7
cp zand h.8
cp z6. h.9