# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/lin/L27/words/L27G1-max3W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z1 z4
ziv z4 z1
zmu z2 z1 z3
zmu z4 z3 z1
cp z1 h.1
cp z2 h.2