--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ChengsongTanPhdThesis/SulzmannLuLexerTime.data	Tue Aug 30 12:41:52 2022 +0100
@@ -0,0 +1,19 @@
+1  0.00113925 
+2  0.001390393 
+3  0.00113369 
+4  0.001611037 
+5  0.00320043 
+6  0.004299621 
+7  0.009503939 
+8  0.012337418 
+9  0.028872115 
+10  0.078161428 
+11  0.147121003 
+12  0.241872536 
+13  0.546760917 
+14  1.241357992 
+15  2.935996717 
+16  6.732515184 
+17  15.095000451 
+18  33.060935265 
+19  74.823744749 
\ No newline at end of file