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