# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/F22/words/F22d2G1-max12W1
cp g.1 z1
cp g.2 z2
zmu z2 z1 z3
zmu z3 z3 z4
zmu z2 z4 z3
zmu z3 z2 z4
zmu z3 z4 z2
cp z1 h.1
cp z2 h.2