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