# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/exc/TD42/words/TD42G1-max4W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z3 z4 z5
zmu z3 z5 z6
zmu z6 z6 z2
zmu z6 z2 z1
zpo z5 4 z4
ziv z4 z5
zmu z5 z1 z6
zmu z6 z4 z1
zpo z3 12 z4
ziv z4 z5
zmu z5 z2 z6
zmu z6 z4 z2
cp z1 h.1
cp z2 h.2