z1 := (1,2,5,10,7,3)(4,8,14,25,16,9)(6,11,19,34,21,12)(13,22,39,66,40,23)(15,
     26,44,73,46,27)(17,29,50,83,52,30)(18,31,54,89,55,32)(20,35,59,96,61,36)
     (24,41,68,110,70,42)(28,47,77,126,79,48)(33,56,91,150,93,57)(37,62,100,
     165,102,63)(38,64,103,170,105,65)(43,71,115,191,117,72)(45,74,120,199,
     122,75)(49,80,131,218,133,81)(51,84,137,227,139,85)(53,87,143,236,145,88)
     (58,94,155,254,157,95)(60,97,160,262,161,98)(67,107,177,154,179,108)(69,
     111,184,298,186,112)(76,123,203,326,205,124)(78,127,210,333,212,128)(82,
     134,222,348,224,135)(86,140,231,358,233,141)(90,147,243,372,245,148)(92,
     151,250,379,252,152)(99,162,265,396,267,163)(101,166,193,116,192,167)
     (104,171,278,413,279,172)(106,174,283,383,263,175)(109,180,291,429,293,
     181)(113,187,302,444,304,188)(114,189,306,451,307,190)(118,194,310,232,
     204,195)(119,196,313,461,315,197)(121,200,320,468,322,201)(125,206,328,
     253,153,207)(129,213,338,491,340,214)(130,215,138,228,342,216)(132,219,
     345,467,319,220)(136,225,352,507,353,226)(142,234,361,418,282,235)(144,
     237,364,521,366,238)(146,240,249,221,346,241)(149,246,374,532,376,247)
     (156,255,384,543,386,256)(158,257,169,275,388,258)(159,259,389,424,287,
     260)(164,268,400,506,351,269)(168,273,406,565,408,274)(173,280,415,387,
     417,281)(176,285,422,584,423,286)(178,288,425,403,271,289)(182,294,434,
     600,436,295)(183,296,437,603,438,297)(185,299,440,394,264,300)(198,316,
     464,380,251,317)(202,323,472,367,239,324)(208,329,371,529,480,330)(209,
     331,244,373,483,332)(211,334,485,661,486,335)(217,343,497,678,499,344)
     (223,349,504,683,505,350)(229,354,509,684,511,355)(230,356,512,657,482,
     357)(242,370,528,650,476,327)(248,377,536,487,336,378)(261,391,420,284,
     419,392)(266,397,500,680,555,398)(270,401,524,611,559,402)(272,339,492,
     671,561,404)(276,409,569,743,571,410)(277,411,572,747,573,412)(290,426,
     588,764,589,427)(292,430,594,771,595,431)(301,442,609,790,610,443)(303,
     445,612,556,399,446)(305,448,616,634,463,449)(308,453,382,541,622,454)
     (309,455,503,580,624,456)(311,457,626,633,462,314)(312,458,628,522,365,
     459)(318,465,637,820,638,466)(321,469,641,823,642,470)(325,473,381,540,
     646,474)(337,488,665,847,667,489)(341,494,674,855,675,495)(347,501,681,
     860,682,502)(359,514,688,865,689,515)(360,516,690,866,692,517)(362,433,
     598,775,694,518)(363,519,695,701,525,368)(369,526,702,639,513,527)(375,
     533,710,882,712,534)(385,544,520,696,722,545)(390,548,623,805,725,549)
     (393,551,728,834,655,479)(395,552,729,903,730,553)(405,562,737,815,739,
     563)(407,566,740,916,741,567)(414,575,685,510,471,576)(416,577,751,924,
     752,578)(421,581,754,837,755,582)(428,590,766,707,531,591)(432,596,490,
     668,557,597)(435,601,779,944,780,602)(439,604,783,891,784,605)(441,606,
     786,949,788,607)(447,613,535,713,564,614)(450,617,796,959,797,618)(452,
     620,801,772,803,621)(460,629,810,969,811,630)(475,647,826,687,538,648)
     (477,651,830,988,831,652)(478,653,832,970,833,654)(481,498,679,644,632,
     508)(484,659,840,997,841,660)(493,672,854,742,568,673)(496,676,645,547,
     717,539)(523,608,789,951,875,699)(530,705,878,1029,879,706)(537,715,886,
     1023,887,716)(542,718,890,913,892,719)(546,723,896,1001,897,724)(550,726,
     898,986,828,649)(554,592,767,800,905,731)(558,732,906,1049,908,733)(560,
     735,911,861,753,579)(570,744,919,1060,920,745)(574,748,586,760,922,749)
     (583,756,927,1066,928,757)(585,758,664,846,930,759)(587,761,709,848,666,
     762)(593,768,738,838,658,769)(599,776,939,1045,901,777)(615,794,957,1083,
     958,795)(619,798,961,960,963,799)(625,806,945,781,700,807)(627,808,968,
     999,842,787)(631,812,942,778,941,813)(635,816,643,824,975,817)(636,818,
     976,1088,978,819)(640,814,972,1070,977,822)(656,835,992,1094,994,836)
     (662,843,1000,1084,980,821)(663,844,1002,877,704,845)(669,850,981,943,
     1004,851)(670,852,1005,883,711,853)(677,857,686,864,1010,858)(691,867,
     1017,1108,1018,868)(693,869,1019,1109,1020,870)(697,871,1022,907,1024,
     872)(698,785,829,987,1026,873)(703,774,937,1072,1027,876)(708,880,1031,
     1050,974,881)(714,884,1033,1113,1034,885)(720,893,1039,1042,1040,894)
     (721,895,1041,1097,995,839)(727,899,989,1092,1044,900)(734,909,746,921,
     1052,910)(736,773,936,1071,1043,912)(750,923)(763,874,904,1047,1067,931)
     (765,933,1069,935,770,934)(782,809,917,1058,1076,946)(791,952,1081,1008,
     856,953)(792,918,1059,1102,1082,954)(793,955,1068,932,849,956)(802,964)
     (804,965,962,1085,1038,966)(825,982,1090,1124,1091,983)(827,984,1016,
     1107,1013,985)(859,1011,1105,1014,862,1012)(863,991,1093,1046,902,1015)
     (888,1036)(889,1037)(914,1055,1062,1057,915,1056)(925,1035,973,990,1053,
     1063)(926,1064,1054,1086,1115,1065)(929,1048,1077,947,1006,1061)(938,
     1073,1117,1089,979,1003)(940,948,1078,1112,1030,1074)(950,1051,1099,996,
     1098,1080)(967,1075,1118,1129,1110,1021)(971,1087,1122,1130,1111,1025)
     (993,1095,1009,1104,1032,1096)(998,1100,1028,1103,1007,1101)(1079,1106)
     (1114,1131)(1116,1132)(1119,1133)(1120,1121,1127,1134,1123,1128)(1125,
     1126);