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