# BBOX converted automatically from # http://atlas.math.rwth-aachen.de/Atlas/lin/L237/words/L237G1-max2W1 cp g.1 z1 cp g.2 z2 zmu z1 z2 z3 ziv z3 z4 zmu z4 z1 z5 zmu z5 z3 z2 cp z1 h.1 cp z2 h.2