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