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