bin1 := (3,4)(5,6)(7,9)(8,10)(11,14)(12,15)(13,17)(16,21)(18,23)(19,24)(20,26)
     (22,29)(25,33)(27,35)(28,36)(30,39)(31,40)(32,42)(34,45)(37,49)(38,50)
     (41,54)(44,46)(48,59)(51,57)(52,61)(53,62)(55,65)(56,67)(58,69)(60,70)
     (63,73)(64,74)(66,75)(68,77)(71,80)(72,81)(76,86)(78,88)(79,83)(82,91)
     (84,93)(85,95)(87,98)(89,101)(90,102)(94,106)(96,108)(97,109)(99,112)
     (100,113)(103,117)(104,118)(105,120)(107,123)(110,127)(111,128)(114,131)
     (115,132)(116,134)(119,138)(121,140)(122,130)(124,143)(129,146)(133,150)
     (135,151)(139,141)(142,156)(144,158)(145,149)(148,161)(152,166)(153,163)
     (154,159)(157,169)(160,171)(162,173)(164,174)(165,175)(167,178)(170,181)
     (172,183)(176,186)(177,187)(179,190)(180,191)(184,192)(185,196)(188,199)
     (189,193)(194,198)(195,202)(201,205)(203,207)(204,206);