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