<!-- $Id: polymaking.xml, v 0.7.6 2008/12/02  18:30:59  gap Exp $-->\n
