etnms/re-js.data
changeset 97 0a6cd528abf2
parent 96 abad02dd7719
child 98 b79d93987359
equal deleted inserted replaced
96:abad02dd7719 97:0a6cd528abf2
     1 %% LaTeX2e file `re-js.data'
       
     2 %% generated by the `filecontents' environment
       
     3 %% from source `ninems' on 2019/06/30.
       
     4 %%
       
     5 5   0.061
       
     6 10  0.061
       
     7 15  0.061
       
     8 20  0.070
       
     9 23  0.131
       
    10 25  0.308
       
    11 26  0.564
       
    12 28  1.994
       
    13 30  7.648
       
    14 31  15.881
       
    15 32  32.190