diff -r bd9eb959dbce -r ae23e2d63936 9ms/data.sty
--- a/9ms/data.sty	Sun Jun 30 19:54:04 2019 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,58 +0,0 @@
-% The data files, written on the first run.
-
-
-\begin{filecontents}{re-python2.data}
-1 0.033
-5 0.036
-10 0.034
-15 0.036
-18 0.059
-19 0.084
-20 0.141
-21 0.248
-22 0.485
-23 0.878
-24 1.71
-25 3.40
-26 7.08
-27 14.12
-28 26.69
-\end{filecontents}
-
-
-% JavaScript, example (a*)*b  
-\begin{filecontents}{re-js.data}
-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
-\end{filecontents}
-
-% Java 8, example (a*)*b  
-\begin{filecontents}{re-java.data}
-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
-\end{filecontents}
-
-