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