# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/F23/words/F23G1-max13W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z2 z1 z4
zpo z4 12 z5
zpo z3 16 z2
zmu z3 z5 z6
zmu z6 z2 z3
zmu z3 z5 z6
zmu z6 z4 z2
cp z1 h.1
cp z2 h.2