Slides/data/re2a.data
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 07 Jan 2022 22:25:26 +0000
changeset 381 0c666a0c57d7
parent 200 10c096d59218
permissions -rw-r--r--
isarfied some proofs

%% LaTeX2e file `data/re2a.data'
%% generated by the `filecontents' environment
%% from source `slides01' on 2016/06/14.
%%
1 0.00227
5 0.00027
10 0.00075
15 0.00178
20 0.00102
25 0.00028
30 0.00040
35 0.00052
40 0.00075
45 0.00125
50 0.00112
55 0.00099
60 0.00113
65 0.00137
70 0.00170