data.sty
changeset 478 48b842c997c7
parent 477 b78664a24f5d
child 565 2be8c4c77418
--- a/data.sty	Wed Mar 15 01:24:39 2017 +0000
+++ b/data.sty	Wed Mar 15 14:34:10 2017 +0000
@@ -198,6 +198,21 @@
 
 %% re3.scala: example (a*)* b
 \begin{filecontents}{re3a.data}
+1 0.00003
+500001 0.22527
+1000001 0.62752
+1500001 0.88485
+2000001 1.39815
+2500001 1.68619
+3000001 1.94957
+3500001 2.15878
+4000001 2.59918
+4500001 5.90679
+5000001 13.11295
+5500001 19.15376
+6000001 40.16373
+\end{filecontents}
+\begin{filecontents}{re3b.data}
 1 0.00015
 500001 0.28337
 1000001 0.53271