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