bin1 := (1,2)(3,5)(4,7)(6,10)(8,12)(9,13)(11,15)(14,19)(16,21)(17,22)(18,24)(20,
     27)(23,31)(25,33)(26,34)(28,37)(29,38)(30,40)(32,43)(35,47)(36,48)(39,52)
     (41,45)(46,57)(49,61)(50,62)(51,64)(53,67)(54,69)(55,68)(56,71)(58,73)
     (59,74)(63,79)(65,81)(66,82)(70,86)(72,88)(75,91)(76,92)(77,93)(78,95)
     (80,98)(83,101)(84,102)(85,104)(87,105)(89,109)(90,110)(94,114)(96,116)
     (97,117)(99,119)(100,120)(103,124)(106,126)(107,128)(108,129)(111,133)
     (112,134)(113,135)(115,138)(118,132)(121,143)(122,144)(125,148)(127,151)
     (130,147)(131,154)(136,158)(137,155)(139,161)(140,162)(141,157)(142,165)
     (145,169)(146,170)(149,172)(150,167)(152,168)(153,175)(156,178)(159,182)
     (160,176)(164,186)(166,188)(171,193)(174,195)(177,197)(179,200)(180,201)
     (181,202)(183,205)(184,206)(185,208)(187,211)(189,213)(190,214)(191,215)
     (192,216)(194,219)(196,221)(198,220)(204,228)(207,232)(209,234)(210,235)
     (212,238)(217,242)(218,229)(222,245)(223,246)(224,248)(225,249)(226,251)
     (227,252)(230,255)(231,256)(233,258)(236,260)(237,261)(239,263)(240,265)
     (241,250)(243,267)(247,269)(253,273)(257,277)(259,279)(262,282)(264,268)
     (266,285)(270,289)(272,291)(274,278)(275,293)(280,298)(281,294)(283,301)
     (284,303)(286,292)(287,305)(288,306)(290,308)(295,297)(299,309)(300,310)
     (302,311)(304,314)(307,317)(316,321)(318,319)(322,325)(323,324);