changeset 17 | 3241b1e71633 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ecp/re-js.data Tue Jun 25 18:56:52 2019 +0100 @@ -0,0 +1,15 @@ +%% LaTeX2e file `re-js.data' +%% generated by the `filecontents' environment +%% from source `corr_pr_sketch' on 2019/06/08. +%% +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