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