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