ChengsongTanPhdThesis/re-js.data
author Chengsong
Sun, 08 May 2022 13:26:31 +0100
changeset 506 69ad05398894
parent 468 a0f27e21b42c
permissions -rw-r--r--
thesis chapter 2 section 2.4 2.5 Isarfied ClosedForms.thy

%% LaTeX2e file `re-js.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
5   0.061
10  0.061
15  0.061
20  0.070
23  0.131
25  0.308
26  0.564
28  1.994
30  7.648
31  15.881
32  32.190