History of Number of elliptic curves over $\mathbb{Q}$ with good redution outside $S$

     (see readme.md in CITE{M-ECDB}).   rigour: proven-  rigour details: A fixed-precision value wrapped in an interval field, which records-    no error of its own. The working precision was half as many digits again as were-    written, and nothing checked that the margin sufficed.+  rigour details: Computed in interval or ball arithmetic throughout, so the digits+    written follow from the width of the result rather than from a guard chosen in+    advance. Display properties:   number-header: count