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