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