bin1 := (2,4)(5,9)(6,11)(8,14)(10,17)(12,20)(18,29)(21,34)(26,40)(30,46)(35,53)
     (37,56)(38,41)(47,69)(49,60)(54,76)(57,79)(58,81)(64,88)(80,106)(82,110)
     (85,89)(97,127)(107,139)(111,144)(113,128)(114,147)(117,136)(121,153)
     (140,172)(145,178)(146,179)(148,183)(150,154)(163,197)(180,218)(184,223)
     (185,225)(187,204)(191,230)(194,198)(210,227)(219,253)(224,259)(226,262)
     (228,231)(234,269)(238,272)(263,297)(264,299)(265,276)(267,302)(268,303)
     (270,306)(271,273)(280,309)(288,301)(298,326)(300,329)(307,335)(330,353)
     (331,338)(332,337)(336,358)(342,354)(346,355);