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