zz1 := (8,9)(10,11)(13,15)(14,17)(16,20)(21,26)(22,28)(24,31)(32,40)(34,43)(36,
     46)(37,48)(42,54)(47,60)(50,64)(52,67)(56,72)(57,74)(58,76)(61,80)(62,82)
     (63,84)(66,88)(69,92)(70,94)(71,96)(73,99)(75,102)(78,106)(81,110)(83,
     113)(86,117)(89,121)(90,123)(95,129)(104,139)(108,144)(114,151)(115,153)
     (126,165)(130,170)(131,172)(134,176)(137,180)(142,186)(145,190)(147,193)
     (149,196)(156,204)(157,206)(160,210)(162,213)(163,215)(168,220)(175,228)
     (179,233)(183,238)(184,240)(192,248)(197,254)(199,257)(201,260)(202,239)
     (205,226)(208,243)(209,268)(214,231)(218,276)(221,278)(223,242)(225,262)
     (230,280)(235,290)(236,292)(246,299)(250,304)(251,291)(256,309)(264,317)
     (265,319)(266,321)(270,298)(273,323)(284,334)(288,338)(295,344)(296,346)
     (302,349)(307,353)(311,356)(312,358)(314,360)(316,363)(318,366)(320,369)
     (325,372)(330,371)(333,379)(341,376)(342,386)(343,373)(345,390)(347,393)
     (352,370)(355,400)(357,403)(359,406)(362,401)(374,417)(375,383)(378,422)
     (380,425)(381,395)(382,426)(385,412)(387,432)(391,436)(394,438)(398,442)
     (411,454)(414,456)(416,434)(418,459)(419,461)(423,465)(427,469)(429,471)
     (430,472)(433,475)(446,463)(448,481)(451,466)(452,485)(460,473)(480,503)
     (498,515);