bin1 := (3,4,6)(5,8,13)(7,11,18)(9,15,25)(10,12,20)(14,23,28)(16,19,29)(17,27,
     39)(21,32,46)(22,34,48)(24,37,40)(26,33,41)(30,42,59)(31,44,62)(35,50,71)
     (36,52,74)(38,54,43)(45,64,89)(47,66,58)(49,69,95)(51,72,56)(53,75,100)
     (55,78,83)(57,60,82)(61,84,76)(63,87,111)(65,90,112)(67,93,81)(68,80,70)
     (73,97,117)(77,101,92)(79,104,103)(85,109,102)(86,110,88)(91,114,113)(96,
     106,122)(98,105,121)(99,118,123)(107,120,115)(108,124,127)(119,126,128);