--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ecp/re-java.data	Tue Jun 25 18:56:52 2019 +0100
@@ -0,0 +1,20 @@
+%% LaTeX2e file `re-java.data'
+%% generated by the `filecontents' environment
+%% from source `corr_pr_sketch' on 2019/06/08.
+%%
+5  0.00298
+10  0.00418
+15  0.00996
+16  0.01710
+17  0.03492
+18  0.03303
+19  0.05084
+20  0.10177
+21  0.19960
+22  0.41159
+23  0.82234
+24  1.70251
+25  3.36112
+26  6.63998
+27  13.35120
+28  29.81185