# BBOX converted automatically from
# http://atlas.math.rwth-aachen.de/Atlas/spor/Ru/words/RuG1-max9W3
cp g.1 z1
cp g.2 z2
zmu z1 z2 z3
zmu z3 z2 z4
zmu z3 z3 z5
zmu z4 z4 z6
zmu z4 z2 z3
zmu z6 z2 z4
zmu z3 z3 z2
zmu z4 z2 z3
zmu z5 z5 z4
zmu z4 z3 z2
zmu z6 z5 z3
ziv z3 z4
zmu z1 z3 z5
zmu z4 z5 z1
cp z1 h.1
cp z2 h.2