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