--- a/data.sty Mon Aug 22 09:14:22 2016 +0200
+++ b/data.sty Mon Aug 22 23:05:43 2016 +0200
@@ -137,6 +137,18 @@
951 31.96038
\end{filecontents}
+\begin{filecontents}{re2c.data}
+1 0.00070
+501 0.02137
+1001 0.04070
+1501 0.08710
+2001 0.14441
+2501 0.21303
+3001 0.33987
+3501 0.43522
+4001 0.55873
+\end{filecontents}
+
\begin{filecontents}{re3.data}
1 0.001605
501 0.131066
@@ -164,6 +176,21 @@
11501 7.95864
\end{filecontents}
+\begin{filecontents}{re3a.data}
+1 0.00006
+500001 0.12975
+1000001 0.38887
+1500001 0.61373
+2000001 0.78268
+2500001 0.98069
+3000001 1.41858
+3500001 1.68450
+4000001 1.84533
+4500001 1.91059
+5000001 1.98881
+5500001 2.66755
+6000001 3.16683
+\end{filecontents}
\begin{filecontents}{nfa.data}
0 0.00099