bin1 := (2,4)(5,7)(6,9)(11,17)(13,20)(15,23)(16,25)(18,28)(21,33)(24,37)(29,45)
     (32,49)(38,57)(39,59)(41,61)(46,67)(47,69)(48,71)(52,76)(54,79)(58,84)
     (60,87)(62,91)(64,94)(68,100)(80,112)(81,114)(85,120)(90,124)(92,128)(95,
     115)(96,134)(97,125)(101,136)(102,140)(103,141)(104,143)(105,144)(107,
     146)(108,147)(110,149)(113,154)(116,150)(117,159)(122,165)(123,167)(129,
     176)(132,178)(137,179)(138,186)(142,193)(145,198)(151,206)(155,212)(156,
     213)(161,214)(163,220)(164,222)(166,225)(168,229)(172,234)(181,245)(182,
     246)(183,218)(185,236)(187,252)(188,247)(197,263)(207,272)(209,258)(216,
     282)(217,284)(219,283)(221,255)(228,289)(238,290)(239,302)(248,313)(249,
     314)(254,318)(257,321)(260,323)(261,324)(262,326)(264,329)(265,330)(266,
     291)(270,335)(275,336)(278,343)(285,353)(288,356)(293,361)(294,362)(296,
     334)(297,364)(304,305)(317,380)(320,383)(322,386)(325,390)(327,371)(333,
     396)(338,401)(342,347)(358,413)(359,415)(363,420)(365,402)(366,423)(369,
     416)(372,426)(373,406)(375,414)(378,430)(379,427)(385,436)(388,432)(392,
     442)(394,444)(397,447)(399,449)(407,454)(410,435)(412,448)(418,459)(425,
     466)(428,469)(431,472)(439,461)(440,476)(450,483)(453,486)(463,494)(488,
     508)(511,516);