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