bin1 := (1,3,5,7,9,11,13,15,17,19,21,23,25,27,29,31,33,35)(2,4,6,8,10,12,14,16,
     18,20,22,24,26,28,30,32,34,36)(37,68,95,120,143,165,185,204,220,234,247,
     260,271,282,292,52,80,107)(38,69,96,121,144,166,186,205,221,235,248,261,
     272,283,293,302,54,82)(39,70,97,66,93,47,60,88,114,137,57,85,111,134,157,
     177,197,213)(40,71,98,122,145,167,187,206,222,236,249,262,273,284,294,
     303,311,319)(41,72,99,123,146,168,188,207,223,46,48,76,103,127,150,172,
     192,210)(42,73,100,124,147,169,189,208,224,237,250,50,78,105,129,152,173,
     193)(43,45,75,102,126,149,171,191,209,225,238,251,263,274,285,295,304,
     312)(44,74,101,125,148,170,190,56,84,110,133,156,176,196,212,227,240,253)
     (49,77,104,128,151,58,86,112,135,158,178,198,214,228,241,254,265,276)(51,
     79,106,130,153,174,194,211,226,239,252,264,275,286,296,305,313,320)(53,
     81,108,131,154,175,195,55,83,109,132,155,65,92,118,141,163,183)(59,87,
     113,136,159,179,199,215,229,242,255,266,277,287,297,306,314,321)(61,89,
     115,138,160,180,200,216,230,243,256,267,278,288,298,307,315,322)(62,64,
     91,117,140,162,182,202,218,232,245,258,269,280,290,300,309,317)(63,90,
     116,139,161,181,201,217,231,244,257,268,279,289,299,308,316,323)(67,94,
     119,142,164,184,203,219,233,246,259,270,281,291,301,310,318,324)(325,334,
     346,377,332,397,425,360,408,353,390,391,362,328,350,380,378,367)(326,395,
     384,419,356,342,400,352,359,407,379,417,361,341,369,411,351,385)(327,347,
     402,374,415,430,336,398,372,413,429,331,338,389,337,382,418,432)(329,357,
     393,355,354,405,366,364,376,333,381,373,414,394,423,435,368,371)(330,396,
     424,436,363,409)(335,348,403,426,343,401,345,392,422,434,339,399,383,375,
     416,431,437,438)(340,387,421,349,404,427,386,420,433,358,406,344,370,412,
     428,365,410,388);