afl-material: data.sty@fa5c34e42a35 (annotated)

218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	% The data files, written on the first run.
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	\begin{filecontents}{re-python.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4	1 0.029
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	5 0.029
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	10 0.029
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	15 0.032
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	16 0.042
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	17 0.042
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	18 0.055
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	19 0.084
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	20 0.136
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	21 0.248
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	22 0.464
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	23 0.899
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	24 1.773
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	25 3.505
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	26 6.993
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	27 14.503
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	28 29.307
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	#29 58.886
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23
448 96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	24	\begin{filecontents}{re-python2.data}
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	25	1 0.033
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	26	5 0.036
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	27	10 0.034
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	28	15 0.036
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	29	18 0.059
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	30	19 0.084
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	31	20 0.141
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	32	21 0.248
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	33	22 0.485
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	34	23 0.878
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	35	24 1.71
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	36	25 3.40
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	37	26 7.08
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	38	27 14.12
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	39	28 26.69
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	40	\end{filecontents}
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	41
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	42
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	\begin{filecontents}{re-ruby.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	1 0.00006
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	45	#2 0.00003
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	46	#3 0.00001
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	47	#4 0.00001
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	5 0.00001
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	49	#6 0.00002
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	50	#7 0.00002
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	51	#8 0.00004
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	52	#9 0.00007
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	10 0.00013
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	54	#11 0.00026
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	55	#12 0.00055
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	56	#13 0.00106
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	57	#14 0.00196
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	58	15 0.00378
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59	16 0.00764
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	17 0.01606
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	18 0.03094
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	19 0.06508
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	20 0.12420
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	21 0.25393
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	22 0.51449
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	23 1.02174
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	24 2.05998
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	25 4.22514
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	26 8.42479
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	27 16.88678
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	28 34.79653
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73
412 1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	74	\begin{filecontents}{re-java.data}
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	75	5 0.00298
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	76	10 0.00418
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	77	15 0.00996
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	78	16 0.01710
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	79	17 0.03492
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	80	18 0.03303
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	81	19 0.05084
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	82	20 0.10177
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	83	21 0.19960
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	84	22 0.41159
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	85	23 0.82234
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	86	24 1.70251
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	87	25 3.36112
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	88	26 6.63998
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	89	27 13.35120
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	90	28 29.81185
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	91	\end{filecontents}
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	92
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	93	%% re1.scala: example a?{n} a{n}
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	\begin{filecontents}{re1.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	1 0.00179
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	2 0.00011
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	3 0.00014
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98	4 0.00026
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	99	5 0.00050
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	100	6 0.00095
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	101	7 0.00190
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	102	8 0.00287
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	103	9 0.00779
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	104	10 0.01399
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	105	11 0.01894
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	106	12 0.03666
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	107	13 0.07994
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	108	14 0.08944
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	109	15 0.02377
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	110	16 0.07392
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	111	17 0.22798
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	112	18 0.65310
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	113	19 2.11360
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	114	20 6.31606
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	115	21 21.46013
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	116	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	117
433 c08290ee4f1f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 415 diff changeset	118
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	119	%% re1.scala: example (a) b
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	120	\begin{filecontents}{re1a.data}
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	121	1 0.00003
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	122	2 0.00002
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	123	3 0.00004
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	124	4 0.00023
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	125	5 0.00012
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	126	6 0.00016
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	127	7 0.00036
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	128	8 0.00100
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	129	9 0.00158
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	130	10 0.00271
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	131	11 0.00420
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	132	12 0.01034
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	133	13 0.01629
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	134	14 0.03469
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	135	15 0.08800
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	136	16 0.12071
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	137	17 0.27164
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	138	18 0.53962
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	139	19 1.05733
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	140	20 2.34022
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	141	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	142
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	143	%% re2.scala example a?{n} a{n}
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	144	\begin{filecontents}{re2.data}
477 28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	145	1 0.00050
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	146	101 0.02030
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	147	201 0.10587
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	148	301 0.31188
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	149	401 0.32794
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	150	501 0.64490
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	151	601 1.16738
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	152	701 2.10815
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	153	801 3.47144
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	154	901 6.80621
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	155	1001 12.35611
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	156	1101 23.80084
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	157	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	158
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	159	%% re2.scala: example (a) b
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	160	\begin{filecontents}{re2a.data}
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	161	1 0.00004
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	162	2 0.00003
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	163	3 0.00004
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	164	4 0.00014
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	165	5 0.00017
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	166	6 0.00029
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	167	7 0.00046
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	168	8 0.00084
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	169	9 0.00137
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	170	10 0.00203
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	171	11 0.00379
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	172	12 0.00783
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	173	13 0.01583
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	174	14 0.04725
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	175	15 0.06672
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	176	16 0.16228
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	177	17 0.25493
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	178	18 0.53676
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	179	19 1.09052
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	180	20 2.56922
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	181	\end{filecontents}
065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	182
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	183	%% re3.scala: example a?{n} a{n}
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	184	\begin{filecontents}{re3.data}
477 28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	185	1 0.00003
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	186	1001 0.03887
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	187	2001 0.15666
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	188	3001 0.35910
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	189	4001 0.63950
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	190	5001 1.00241
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	191	6001 1.50480
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	192	7001 2.11568
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	193	8001 2.71208
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	194	9001 3.41157
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	195	10001 4.19962
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	196	11001 5.70387
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	197	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	198
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	199	%% re3.scala: example (a) b
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	200	\begin{filecontents}{re3a.data}
478 dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	201	1 0.00003
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	202	500001 0.22527
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	203	1000001 0.62752
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	204	1500001 0.88485
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	205	2000001 1.39815
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	206	2500001 1.68619
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	207	3000001 1.94957
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	208	3500001 2.15878
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	209	4000001 2.59918
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	210	4500001 5.90679
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	211	5000001 13.11295
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	212	5500001 19.15376
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	213	6000001 40.16373
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	214	\end{filecontents}
dfa7b4ca199f updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	215	\begin{filecontents}{re3b.data}
477 28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	216	1 0.00015
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	217	500001 0.28337
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	218	1000001 0.53271
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	219	1500001 0.84478
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	220	2000001 1.11763
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	221	2500001 1.76656
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	222	3000001 2.13310
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	223	3500001 2.39576
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	224	4000001 2.98624
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	225	4500001 5.96529
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	226	5000001 13.56911
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	227	5500001 18.43089
28e872e7efb3 updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	228	6000001 40.33704
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	229	\end{filecontents}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	230
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	231	%% re4.scala example a?{n} a{n}
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	232	\begin{filecontents}{re4.data}
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	233	1 0.01399
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	234	500001 1.43645
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	235	1000001 2.59394
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	236	1500001 4.07990
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	237	2000001 5.22473
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	238	2500001 6.41714
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	239	3000001 7.60118
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	240	3500001 9.02056
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	241	4000001 10.50393
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	242	4500001 11.56631
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	243	5000001 13.72020
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	244	5500001 15.09634
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	245	6000001 29.26990
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	246	6500001 33.41039
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	247	7000001 39.06532
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	248	\end{filecontents}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	249
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	250	%% re4.scala example (a) b
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	251	\begin{filecontents}{re4a.data}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	252	1 0.00015
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	253	500001 2.57302
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	254	1000001 5.58966
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	255	1500001 8.16531
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	256	2000001 10.85055
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	257	2500001 13.42080
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	258	3000001 16.08712
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	259	3500001 18.58433
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	260	4000001 21.23788
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	261	4500001 23.72459
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	262	5000001 27.47479
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	263	5500001 31.85240
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	264	6000001 37.12461
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	265	6500001 39.90294
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	266	7000001 53.50961
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	267	\end{filecontents}
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	268
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	269	\begin{filecontents}{nfa.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	270	0 0.00099
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	271	5 0.01304
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	272	10 0.05350
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	273	15 0.10152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	274	20 0.10876
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	275	25 0.06984
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	276	30 0.09693
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	277	35 0.04805
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	278	40 0.07512
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	279	45 0.07624
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	280	50 0.10451
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	281	55 0.13285
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	282	60 0.15748
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	283	65 0.19982
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	284	70 0.24075
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	285	75 0.28963
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	286	80 0.35734
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	287	85 0.43735
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	288	90 0.49692
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	289	95 0.59551
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	290	100 0.72236
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	291	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	292
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	293	\begin{filecontents}{nfasearch.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	294	0 0.00009
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	295	1 0.00147
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	296	2 0.00030
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	297	3 0.00062
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	298	4 0.00132
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	299	5 0.00177
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	300	6 0.00487
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	301	7 0.00947
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	302	8 0.01757
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	303	9 0.02050
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	304	10 0.02091
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	305	11 0.04002
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	306	12 0.08662
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	307	13 0.17269
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	308	14 0.37255
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	309	15 0.81935
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	310	16 1.76254
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	311	17 3.89442
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	312	18 8.42263
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	313	19 17.89661
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	314	20 38.21481
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	315	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	316
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	317	\begin{filecontents}{compiled.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	318	%1 0.234146
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	319	%5000 0.227539
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	320	%10000 0.280748
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	321	50000 1.087897
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	322	100000 3.713165
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	323	250000 21.6624545
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	324	500000 85.872613
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	325	750000 203.6408015
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	326	1000000 345.736574
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	327	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	328
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	329	\begin{filecontents}{interpreted.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	330	200 1.005863
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	331	400 7.8296765
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	332	500 15.43106
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	333	600 27.2321885
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	334	800 65.249271
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	335	1000 135.4493445
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	336	1200 232.134097
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	337	1400 382.527227
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	338	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	339
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	340	\begin{filecontents}{interpreted2.data}
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 242 diff changeset	341	0 0
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	342	200 1.005863
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	343	400 7.8296765
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	344	600 27.2321885
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	345	800 65.249271
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	346	1000 135.4493445
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	347	1200 232.134097
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	348	1400 382.527227
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	349	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	350
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	351	\begin{filecontents}{compiled2.data}
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 242 diff changeset	352	0 0
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	353	200 0.222058
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	354	400 0.215204
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	355	600 0.202031
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	356	800 0.21986
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	357	1000 0.205934
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	358	1200 0.1981615
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	359	1400 0.207116
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	360	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	361
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	362
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	363	\begin{filecontents}{s-grammar1.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	364	1 0.01152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	365	51 0.07973
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	366	101 0.09726
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	367	151 0.09320
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	368	201 0.10010
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	369	251 0.16997
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	370	301 0.26662
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	371	351 0.46118
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	372	401 0.62516
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	373	451 0.87247
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	374	501 1.16334
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	375	551 1.71152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	376	601 2.10958
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	377	651 2.44360
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	378	701 2.98488
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	379	751 3.50326
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	380	801 4.11036
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	381	851 4.93394
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	382	901 5.77465
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	383	951 7.39123
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	384	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	385
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	386	\begin{filecontents}{s-grammar2.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	387	1 0.01280
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	388	2 0.00064
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	389	3 0.00173
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	390	4 0.00355
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	391	5 0.00965
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	392	6 0.02674
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	393	7 0.06953
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	394	8 0.11166
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	395	9 0.18707
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	396	10 0.09189
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	397	11 0.12724
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	398	12 0.24337
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	399	13 0.59304
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	400	14 1.53594
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	401	15 4.01195
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	402	16 10.73582
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	403	17 29.51587
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	404	#18 73.14163
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	405	\end{filecontents}

author	cu
	Wed, 18 Oct 2017 08:36:44 +0100
changeset 521	fa5c34e42a35
parent 478	dfa7b4ca199f
child 565	9c4b9bda974c
permissions	-rw-r--r--