diff -r b7221df9662a -r 065ca01b62ae data.sty --- 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