badprimes7 := [ 2, 3, 5, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, 101, 103, 107, 109, 113, 131, 137, 139, 149, 163, 167, 179, 181, 191, 193, 199, 211, 227, 229, 271, 277, 281, 293, 307, 311, 317, 331, 347, 353, 359, 383, 419, 421, 431, 433, 463, 491, 509, 521, 523, 541, 569, 599, 613, 647, 653, 659, 773, 797, 809, 857, 953, 1019, 1021, 1031, 1033, 1217, 1373, 1493, 1499, 1531, 1609, 1723, 1933, 2011, 2063, 2131, 2309, 2341, 2383, 2393, 2633, 2647, 2797, 3121, 3257, 3461, 3631, 4049, 4051, 4457, 4643, 4657, 5009, 5393, 5449, 5839, 6841, 7757, 7823, 8963, 9133, 9643, 9677, 11003, 11317, 12391, 12671, 14543, 16369, 18979, 19583, 19697, 20983, 23459, 25919, 27179, 28309, 29759, 33223, 35677, 36061, 39191, 42727, 47713, 53939, 58543, 59119, 63689, 67481, 84457, 87179, 103391, 110083, 123637, 125717, 134293, 142421, 143527, 161641, 202187, 202471, 216259, 246403, 258031, 308713, 309007, 324293, 328513, 384619, 399151, 434383, 441937, 443057, 449161, 489427, 615833, 627481, 644197, 782389, 815173, 1144681, 1157257, 1318411, 1453883, 1562543, 2414231, 2506549, 2536663, 2640299, 2643899, 2700319, 3617347, 4044431, 4066121, 6128651, 6325747, 6653411, 6833803, 6840109, 7892413, 8136169, 9125341, 13536629, 15172459, 23428019, 25270139, 26625527, 35825219, 37871719, 38235667, 38262793, 41049161, 41077493, 44446559, 51113267, 53351479, 58290143, 61539227, 96619361, 100611703, 111873439, 152033489, 153001169, 206318839, 214529201, 225027601, 298840187, 311817047, 337667353, 428691883, 439393301, 446335583, 563611271, 616431527, 779690357, 863488279, 872275189, 913611079, 993935347, 1018174847, 1135909063, 1443714197, 1579642063, 1794155137, 3192129791, 3344572447, 4011270113, 4497020393, 4626522787, 4814926163, 5032353197, 6490343089, 7565682133, 7722167659, 13712697683, 18750010661, 18966500591, 23477128943, 33261643517, 39220392707, 43698531299, 51364416221, 51514694489, 56304438119, 77412669793, 87501618509, 88745719703, 99728122183, 120310540003, 126111918223, 152066429243, 157971443417, 363644629661, 669699115567, 703758434861, 1151572391339, 1360422040051, 1557536624569, 1943820167657, 3024766214243, 3326714855741, 3654553847671, 3919434348967, 20518010384953, 242377790271829, 607976975834881, 832274086943851, 909245448602633, 1178266489799383, 1346526153669337, 2795220792316649, 4119637508656237, 8801594504998609, 10520939233019767, 10792842428740993, 11566394823603101, 15952255531550111, 20976181962661511, 128051205099116071, 297200668417301569, 303741912721656841, 311506054836408067, 3416356476956286151, 5327739389499835457, 15804620228921645533, 50662094875027254277, 334415978375649015389, 987286898032057367513, 1186777774250756506661, 1993229103687810048947, 5552781188804841175417, 19221739671414620533357, 35026681034361476887759, 56169115802579061861961, 56291474888987078656103, 194455431410004616918901, 366620027971809182008253, 493419953842065507882841, 630920631406346601322081, 1234364552498080095752489, 3986894885104275584862517, 5703808673652311706569441, 5966475631385023881477089, 22380234663493026561843307, 59197563932735088581685443, 117348716979645332312127431, 148065744953354037241314359, 202515520473417916356045257, 383365018438636358955097511, 6413961084383994959976637291, 150578142145677433393001939617, 183155681618088345869723112787, 228326552328423972105141486127, 357903998612934865361037332039, 603359611612363479254095753867, 1290215652149218720049955670417, 2012956215860081784679213908847, 3609986685139359213189202635379, 3908037845304263743028287869103, 10762930702322200383803285891953, 108991529836143379690521909613231, 10615638473163472278836447510105861, 28803654959741993841471210179319577, 37314647799589798366758151407999977, 467169997420183615137737468958825043, 1897470308851978939161724720003270883, 14159278716232482256612205702317900207, 24209459596830088675266675481780610983, 38484605277278008044978156572206011701, 94501617749149799155916051432391897377, 120849680740038329026676026521393491603, 1390965696941561603966999211987805146963281, 2158967825948302417524336441750362867219053, 8400344746283206651252746188834284997763457, 311191213641078852610424587177911049013287636631, 15072937635571811571922064161466629140499451807893, 113841659890868262315276547042714925480493786186503, 159906583896853978948226992183391182805469097783067, 13266305215134069923470838990370630916449664106102411971, 70975659788813331880649078285893363149061666853099528721463409, 296822468051058731635774433515247280095388757689182058079326001, 35439231590200323184091208680855677043146003882908209745762960941, 30755137028542672049961965286088479918559103335025787250434513305869, 36876103790921723581250877275543373093884829587494014936260637904673, 8162925417084308442176949490217423628165159081828652741743857600728567718339, 99494702670120168414496543418523155914201186148137428898106070919720235740909469639989, 265218127537467349143412769658480506237888488050586760364953947169623666423541789181581, 3622253999192019355226566116022415291348089340007703586544894474736180442518796578634189, 88478766401001271582416761042492238460345644463567211814331677523497042616371358339551067, 1198574989502260440112600195235934147760467068398925912483024802565242262145543506598722157, 249847120216983926479165256672374830117371749836786068968700949838499096141806825287856933123954724798488422551659890912229726792102063 ];