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