# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/lin/L2223/words/L2223G1-max1W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z1
zmu z3 z3 z4
zmu z1 z4 z5
zmu z4 z1 z2
zmu z2 z5 z4
zmu z4 z5 z2
zmu z2 z3 z4
zmu z4 z5 z2
cp z1 h.1
cp z2 h.2