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