# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/lin/L38/words/L38d3G1-max1W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zpo z2 6 z5
ziv z3 z
zmu z z5 zz
zmu zz z3 z1
zpo z2 3 z6
zpo z4 2 z7
ziv z7 z
zmu z z6 zz
zmu zz z7 z2
cp z1 h.1
cp z2 h.2