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