equal
deleted
inserted
replaced
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 |