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