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