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