ecp/re-js.data
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