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