diff --git a/excluded-138m.csv b/excluded-138m.csv index fb0443f..c923aa3 120000 --- a/excluded-138m.csv +++ b/excluded-138m.csv @@ -75375,3 +75375,348 @@ p,divisor,searchedMersenne,detailedCheck,passedAllTests 853759,4541997881,True,True,False 863231,4454271961,True,True,False 852179,3519499271,True,True,False +643619,1287239,True,True,False +830513,4983079,True,True,False +865001,5190007,True,True,False +713831,1427663,True,True,False +742193,4453159,True,True,False +857357,5144143,True,True,False +844121,5064727,True,True,False +868801,5212807,True,True,False +838141,5028847,True,True,False +110921,665527,True,True,False +834133,5004799,True,True,False +638501,3831007,True,True,False +865499,1730999,True,True,False +876193,5257159,True,True,False +443701,2662207,True,True,False +308219,616439,True,True,False +384817,2308903,True,True,False +825479,1650959,True,True,False +736691,1473383,True,True,False +837731,1675463,True,True,False +864491,1728983,True,True,False +331841,1991047,True,True,False +869461,5216767,True,True,False +570659,1141319,True,True,False +813971,1627943,True,True,False +724469,5795753,True,True,False +379859,759719,True,True,False +810839,1621679,True,True,False +653057,36571193,True,True,False +457139,914279,True,True,False +97561,21073177,True,True,False +584923,5849231,True,True,False +430979,7757623,True,True,False +285317,2282537,True,True,False +847507,33900281,True,True,False +237631,21386791,True,True,False +654917,3929503,True,True,False +799991,255997121,True,True,False +426551,853103,True,True,False +378149,27226729,True,True,False +827293,104238919,True,True,False +769487,20006663,True,True,False +467399,934799,True,True,False +443893,31960297,True,True,False +671681,64481377,True,True,False +283637,2269097,True,True,False +710513,4263079,True,True,False +569861,3419167,True,True,False +714509,27151343,True,True,False +323819,23314969,True,True,False +524429,12586297,True,True,False +347609,8342617,True,True,False +330509,34372937,True,True,False +631259,1262519,True,True,False +849839,1699679,True,True,False +303089,2424713,True,True,False +95791,15326561,True,True,False +317503,3175031,True,True,False +670303,301636351,True,True,False +209393,12982367,True,True,False +609989,4879913,True,True,False +470453,2822719,True,True,False +365039,6570703,True,True,False +586603,5866031,True,True,False +616843,40711639,True,True,False +582457,171242359,True,True,False +609599,30479951,True,True,False +764051,1528103,True,True,False +569533,3417199,True,True,False +767111,1534223,True,True,False +333071,666143,True,True,False +876581,5259487,True,True,False +689761,4138567,True,True,False +607619,1215239,True,True,False +75941,455647,True,True,False +75683,6811471,True,True,False +634679,458238239,True,True,False +99527,28862831,True,True,False +758551,7585511,True,True,False +414461,2486767,True,True,False +318407,313949303,True,True,False +355853,25621417,True,True,False +579539,1159079,True,True,False +493733,85909543,True,True,False +865687,29433359,True,True,False +228677,1829417,True,True,False +298579,35829481,True,True,False +666959,1333919,True,True,False +445031,890063,True,True,False +395677,2374063,True,True,False +683653,4101919,True,True,False +656749,94571857,True,True,False +87853,9839537,True,True,False +878443,8784431,True,True,False +861079,36165319,True,True,False +411127,4111271,True,True,False +728809,16033799,True,True,False +847519,49156103,True,True,False +637937,8931119,True,True,False +317539,3175391,True,True,False +231277,20352377,True,True,False +554089,78680639,True,True,False +256643,53895031,True,True,False +823489,151521977,True,True,False +277751,13887551,True,True,False +522449,32391839,True,True,False +328109,12468143,True,True,False +867443,265437559,True,True,False +474127,4741271,True,True,False +867457,5204743,True,True,False +635849,5086793,True,True,False +391891,15675641,True,True,False +879859,114381671,True,True,False +753001,162648217,True,True,False +753007,7530071,True,True,False +401867,9644809,True,True,False +772333,16991327,True,True,False +879259,79133311,True,True,False +738011,1476023,True,True,False +675643,91887449,True,True,False +824939,6599513,True,True,False +824947,19798729,True,True,False +430601,3444809,True,True,False +365069,28475383,True,True,False +510079,5100791,True,True,False +671039,1342079,True,True,False +679373,103264697,True,True,False +816157,4896943,True,True,False +740191,31088023,True,True,False +315881,1895287,True,True,False +757997,10611959,True,True,False +228859,9154361,True,True,False +816839,1633679,True,True,False +231463,9258521,True,True,False +463763,12057839,True,True,False +321961,53445527,True,True,False +829069,218874217,True,True,False +433469,6068567,True,True,False +807731,14539159,True,True,False +264013,5808287,True,True,False +309007,3090071,True,True,False +879607,8796071,True,True,False +448883,25137449,True,True,False +497411,3979289,True,True,False +710623,81011023,True,True,False +472741,2836447,True,True,False +291971,2335769,True,True,False +779707,7797071,True,True,False +867079,8670791,True,True,False +96821,580927,True,True,False +300089,43212817,True,True,False +812233,4873399,True,True,False +596083,5960831,True,True,False +260419,2604191,True,True,False +308249,53635327,True,True,False +255217,73502497,True,True,False +69439,694391,True,True,False +334429,87620399,True,True,False +189307,39754471,True,True,False +681539,197646311,True,True,False +757109,28770143,True,True,False +434867,24352553,True,True,False +872161,88960423,True,True,False +286751,89466313,True,True,False +880219,8802191,True,True,False +394063,3940631,True,True,False +519577,87288937,True,True,False +541249,11907479,True,True,False +154841,50478167,True,True,False +531589,475240567,True,True,False +826411,59501593,True,True,False +627353,214554727,True,True,False +540061,11881343,True,True,False +259949,3639287,True,True,False +429367,148560983,True,True,False +602513,62661353,True,True,False +767381,158080487,True,True,False +603541,43454953,True,True,False +69163,14524231,True,True,False +669689,128580289,True,True,False +613219,25755199,True,True,False +755569,312805567,True,True,False +677983,348483263,True,True,False +833737,138400343,True,True,False +769739,1539479,True,True,False +833747,75037231,True,True,False +682049,124132919,True,True,False +813721,4882327,True,True,False +678341,221139167,True,True,False +815599,91347089,True,True,False +259001,115514447,True,True,False +823283,21405359,True,True,False +393551,16529143,True,True,False +509633,419937593,True,True,False +204461,140260247,True,True,False +347779,347779001,True,True,False +667817,512883457,True,True,False +830719,199372561,True,True,False +772127,43239113,True,True,False +755371,104241199,True,True,False +308537,4319519,True,True,False +154339,1543391,True,True,False +638527,500605169,True,True,False +651997,113447479,True,True,False +454141,166215607,True,True,False +340031,332550319,True,True,False +333929,18032167,True,True,False +812057,30858167,True,True,False +867773,124959313,True,True,False +650107,197632529,True,True,False +808481,4850887,True,True,False +501691,465569249,True,True,False +390821,159454969,True,True,False +459463,360218993,True,True,False +737533,128330743,True,True,False +377491,271793521,True,True,False +731803,439081801,True,True,False +753659,6029273,True,True,False +340037,2720297,True,True,False +452159,383430833,True,True,False +84523,104808521,True,True,False +516847,575767559,True,True,False +640019,1203235721,True,True,False +874331,132898313,True,True,False +874337,75192983,True,True,False +200029,138820127,True,True,False +88037,85219817,True,True,False +878953,435960689,True,True,False +637729,213001487,True,True,False +603689,829468687,True,True,False +445589,45450079,True,True,False +816037,435763759,True,True,False +609403,69471943,True,True,False +603719,1207439,True,True,False +254713,423333007,True,True,False +675187,330841631,True,True,False +588733,296721433,True,True,False +443899,532678801,True,True,False +448907,208292849,True,True,False +737293,517579687,True,True,False +258787,196678121,True,True,False +132383,75458311,True,True,False +443917,21308017,True,True,False +341059,286489561,True,True,False +827303,496381801,True,True,False +372397,482626513,True,True,False +188491,228074111,True,True,False +800923,571859023,True,True,False +654767,362740919,True,True,False +654779,1309559,True,True,False +614041,617725247,True,True,False +686473,1054422529,True,True,False +577901,332870977,True,True,False +691267,836433071,True,True,False +694361,566598577,True,True,False +419791,248516273,True,True,False +867131,1005871961,True,True,False +399793,693241063,True,True,False +399851,3198809,True,True,False +81931,121257881,True,True,False +875027,196006049,True,True,False +473743,636710593,True,True,False +367867,436290263,True,True,False +473833,181004207,True,True,False +364829,518786839,True,True,False +635977,1048090097,True,True,False +148157,491584927,True,True,False +733937,767698103,True,True,False +439891,418776233,True,True,False +749143,1468320281,True,True,False +347359,739874671,True,True,False +444739,604845041,True,True,False +453293,957354817,True,True,False +733939,7339391,True,True,False +189337,743715737,True,True,False +347401,247349513,True,True,False +238213,1291590887,True,True,False +332191,707566831,True,True,False +866783,1187492711,True,True,False +866819,1733639,True,True,False +280583,754768271,True,True,False +779731,1659267569,True,True,False +425419,1153736329,True,True,False +577279,1063347919,True,True,False +163483,786353231,True,True,False +724837,1403284433,True,True,False +412831,1416835993,True,True,False +780173,1845889319,True,True,False +770047,1958999569,True,True,False +387371,1339528919,True,True,False +280591,2805911,True,True,False +567257,1573570919,True,True,False +576883,1439899969,True,True,False +466801,1616065063,True,True,False +159179,878668081,True,True,False +352939,1003052639,True,True,False +457697,794561993,True,True,False +422101,1053564097,True,True,False +130693,739983767,True,True,False +838153,1528791073,True,True,False +572399,1727500183,True,True,False +417133,1010296127,True,True,False +468551,1631494583,True,True,False +95107,487898911,True,True,False +345571,1315934369,True,True,False +602711,2073325841,True,True,False +838171,75435391,True,True,False +816367,1889073239,True,True,False +404527,1611635569,True,True,False +703393,2177704729,True,True,False +779887,2597023711,True,True,False +760913,1526391479,True,True,False +760927,7609271,True,True,False +674239,1650537073,True,True,False +673769,1525413017,True,True,False +405323,1554008383,True,True,False +233221,1102202447,True,True,False +631273,2256169703,True,True,False +35201,295899607,True,True,False +671269,2233983233,True,True,False +232643,1360961551,True,True,False +494617,2254464287,True,True,False +647719,2576626183,True,True,False +812081,2832538529,True,True,False +702511,1804048249,True,True,False +853837,2218268527,True,True,False +589139,2168031521,True,True,False +766127,3366362039,True,True,False +735451,2443168223,True,True,False +615479,2571471263,True,True,False +264991,1558147081,True,True,False +694829,3194823743,True,True,False +356999,2059170233,True,True,False +329393,1747100473,True,True,False +416623,2476407113,True,True,False +315883,2315422391,True,True,False +810193,3286142809,True,True,False +809173,2335273279,True,True,False +673399,3151507321,True,True,False +491273,2798291009,True,True,False +580691,3210059849,True,True,False +863833,2757354937,True,True,False +118907,1076108351,True,True,False +871037,3435369929,True,True,False +871061,5226367,True,True,False