bin1 := (1,2)(3,5)(4,7)(8,12)(9,14)(10,16)(13,20)(15,23)(17,26)(18,27)(19,29)
     (28,38)(31,42)(32,44)(33,46)(34,48)(35,49)(39,54)(40,52)(41,56)(43,59)
     (50,55)(51,62)(53,68)(60,75)(63,77)(64,70)(65,80)(67,83)(69,86)(72,89)
     (73,91)(76,94)(79,92)(84,99)(88,103)(93,108)(95,110)(96,111)(97,113)(98,
     115)(101,118)(104,119)(106,109)(112,125)(114,126)(121,128)(122,129);