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