data.sty
changeset 478 48b842c997c7
parent 477 b78664a24f5d
child 565 2be8c4c77418
equal deleted inserted replaced
477:b78664a24f5d 478:48b842c997c7
   196 11001 5.70387
   196 11001 5.70387
   197 \end{filecontents}
   197 \end{filecontents}
   198 
   198 
   199 %% re3.scala: example (a*)* b
   199 %% re3.scala: example (a*)* b
   200 \begin{filecontents}{re3a.data}
   200 \begin{filecontents}{re3a.data}
       
   201 1 0.00003
       
   202 500001 0.22527
       
   203 1000001 0.62752
       
   204 1500001 0.88485
       
   205 2000001 1.39815
       
   206 2500001 1.68619
       
   207 3000001 1.94957
       
   208 3500001 2.15878
       
   209 4000001 2.59918
       
   210 4500001 5.90679
       
   211 5000001 13.11295
       
   212 5500001 19.15376
       
   213 6000001 40.16373
       
   214 \end{filecontents}
       
   215 \begin{filecontents}{re3b.data}
   201 1 0.00015
   216 1 0.00015
   202 500001 0.28337
   217 500001 0.28337
   203 1000001 0.53271
   218 1000001 0.53271
   204 1500001 0.84478
   219 1500001 0.84478
   205 2000001 1.11763
   220 2000001 1.11763