equal
deleted
inserted
replaced
21 #29 58.886 |
21 #29 58.886 |
22 \end{filecontents} |
22 \end{filecontents} |
23 |
23 |
24 \begin{filecontents}{re-ruby.data} |
24 \begin{filecontents}{re-ruby.data} |
25 1 0.00006 |
25 1 0.00006 |
26 2 0.00003 |
26 #2 0.00003 |
27 3 0.00001 |
27 #3 0.00001 |
28 4 0.00001 |
28 #4 0.00001 |
29 5 0.00001 |
29 5 0.00001 |
30 6 0.00002 |
30 #6 0.00002 |
31 7 0.00002 |
31 #7 0.00002 |
32 8 0.00004 |
32 #8 0.00004 |
33 9 0.00007 |
33 #9 0.00007 |
34 10 0.00013 |
34 10 0.00013 |
35 11 0.00026 |
35 #11 0.00026 |
36 12 0.00055 |
36 #12 0.00055 |
37 13 0.00106 |
37 #13 0.00106 |
38 14 0.00196 |
38 #14 0.00196 |
39 15 0.00378 |
39 15 0.00378 |
40 16 0.00764 |
40 16 0.00764 |
41 17 0.01606 |
41 17 0.01606 |
42 18 0.03094 |
42 18 0.03094 |
43 19 0.06508 |
43 19 0.06508 |