z1 := (1,2,3)(4,6,7)(5,8,9)(10,14,15)(11,16,17)(12,18,19)(13,20,21)(22,29,30)
     (23,31,32)(24,33,34)(25,35,36)(26,37,38)(27,39,40)(28,41,42)(43,52,53)
     (44,54,46)(47,55,56)(48,57,58)(49,59,60)(50,61,62)(51,63,64)(65,76,77)
     (66,78,79)(67,80,81)(68,82,83)(69,84,85)(70,86,87)(71,88,89)(72,90,91)
     (73,92,93)(74,94,95)(75,96,97)(98,116,99)(100,117,101)(102,118,119)(103,
     120,121)(104,122,123)(105,124,125)(106,126,107)(108,127,128)(109,129,130)
     (110,131,132)(111,133,134)(112,135,113)(114,136,137)(115,138,139)(140,
     161,162)(141,163,164)(142,165,143)(144,166,167)(145,168,169)(146,170,171)
     (147,172,173)(148,174,175)(149,176,177)(150,178,179)(151,180,181)(152,
     182,183)(153,184,154)(155,185,186)(156,187,188)(158,189,190)(159,191,192)
     (160,193,194)(195,228,229)(196,230,231)(197,232,233)(198,234,235)(199,
     210,236)(200,237,238)(201,239,202)(203,240,241)(204,242,219)(205,243,244)
     (206,245,246)(207,247,248)(208,249,250)(209,251,252)(211,253,212)(213,
     254,255)(214,256,216)(217,257,258)(218,259,260)(220,261,262)(221,263,264)
     (222,265,223)(224,266,225)(226,267,227)(268,290,291)(269,292,270)(271,
     293,294)(272,295,296)(273,297,298)(274,299,300)(275,301,302)(276,303,304)
     (277,305,306)(278,307,279)(280,308,281)(282,309,310)(283,311,312)(284,
     313,314)(285,315,316)(286,317,318)(287,319,320)(288,321,322)(289,323,324)
     (325,354,355)(326,339,356)(327,357,358)(328,359,360)(329,342,361)(330,
     362,331)(332,363,364)(333,365,350)(334,366,367)(335,368,369)(336,370,371)
     (337,372,373)(338,352,374)(340,375,376)(341,377,378)(343,379,380)(344,
     381,345)(346,382,347)(348,383,384)(349,385,386)(351,387,388)(353,389,390)
     (391,404,396)(392,403,400)(393,398,405)(394,406,407)(395,408,399)(397,
     409,410)(401,411,402)(412,416,414);