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