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,57,58) (44,59,60)(45,61,62)(46,63,64)(47,65,66)(48,67,68)(49,69,70)(50,71,72) (51,73,74)(52,75,76)(53,77,78)(54,79,80)(55,81,82)(56,83,84)(85,112,113) (86,114,115)(87,116,117)(88,118,119)(89,120,121)(90,122,123)(91,124,125) (92,126,127)(93,128,129)(94,130,131)(95,132,133)(96,134,135)(97,103,136) (98,137,138)(99,139,140)(100,141,142)(101,143,144)(102,145,105)(104,146, 147)(106,148,149)(107,150,151)(108,152,153)(109,154,155)(110,156,157) (111,158,159)(160,201,202)(161,203,204)(162,205,206)(163,207,208)(164, 199,209)(165,210,211)(166,212,213)(167,214,215)(168,216,217)(169,218,219) (170,220,197)(171,221,222)(172,223,224)(173,225,226)(174,227,228)(175, 229,230)(176,231,232)(177,195,233)(178,234,235)(179,236,237)(180,238,239) (181,240,241)(182,242,243)(183,244,245)(184,246,247)(185,248,249)(186, 250,251)(187,252,253)(188,254,191)(189,255,194)(190,256,257)(192,258,259) (193,260,261)(196,262,263)(198,264,265)(200,266,267)(268,306,320)(269, 299,309)(270,317,321)(271,322,323)(272,324,325)(273,326,327)(274,328,329) (275,330,331)(276,332,282)(277,333,334)(278,335,336)(279,337,338)(280, 339,340)(281,341,293)(283,342,343)(284,300,344)(285,345,314)(286,318,346) (287,347,348)(288,349,350)(289,351,352)(290,353,354)(291,355,356)(292, 357,307)(294,358,359)(295,360,361)(296,362,363)(297,364,365)(298,366,367) (301,368,369)(302,319,370)(303,371,372)(304,373,374)(305,375,376)(308, 377,378)(310,379,380)(311,381,382)(312,383,384)(313,385,386)(315,387,388) (316,389,390)(391,439,440)(392,429,441)(393,442,443)(394,444,445)(395, 446,447)(396,448,449)(397,401,450)(398,451,452)(399,453,454)(400,455,456) (402,457,458)(403,423,417)(404,426,459)(405,433,411)(406,460,461)(407, 462,463)(408,464,465)(409,432,466)(410,467,468)(412,469,470)(413,430,471) (414,472,422)(415,420,473)(416,419,425)(418,474,475)(421,476,477)(424, 478,479)(427,480,481)(428,482,483)(431,484,485)(434,486,487)(435,488,489) (436,438,490)(437,491,492)(493,507,512)(494,516,508)(495,517,511)(496, 499,506)(497,518,519)(498,515,520)(500,521,522)(501,523,514)(502,524,509) (503,525,513)(504,505,526)(510,527,528);