# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/lin/L38/words/L38d3G1-max2W1
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z3 z4 z5
zmu z5 z4 z6
zmu z3 z6 z7
zmu z3 z7 z8
zmu z3 z5 z9
zmu z8 z9 z10
zmu z8 z10 z11
zpo z3 7 z12
zpo z4 3 z13
zpo z2 2 z14
ziv z12 z
zmu z z11 zz
zmu zz z12 z1
ziv z13 z
zmu z z14 zz
zmu zz z13 z2
cp z1 h.1
cp z2 h.2