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