afl-material: data.sty@7a04f2c532c1 (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
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	\begin{filecontents}{re-ruby.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25	1 0.00006
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	26	#2 0.00003
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	27	#3 0.00001
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	28	#4 0.00001
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	5 0.00001
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	30	#6 0.00002
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	31	#7 0.00002
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	32	#8 0.00004
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	33	#9 0.00007
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34	10 0.00013
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	35	#11 0.00026
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	36	#12 0.00055
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	37	#13 0.00106
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	38	#14 0.00196
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	39	15 0.00378
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40	16 0.00764
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	41	17 0.01606
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42	18 0.03094
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	19 0.06508
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	20 0.12420
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	45	21 0.25393
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	22 0.51449
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	47	23 1.02174
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48	24 2.05998
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	25 4.22514
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	26 8.42479
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	51	27 16.88678
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	28 34.79653
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54
412 1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	55	\begin{filecontents}{re-java.data}
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	56	5 0.00298
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	57	10 0.00418
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	58	15 0.00996
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	59	16 0.01710
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	60	17 0.03492
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	61	18 0.03303
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	62	19 0.05084
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	63	20 0.10177
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	64	21 0.19960
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	65	22 0.41159
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	66	23 0.82234
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	67	24 1.70251
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	68	25 3.36112
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	69	26 6.63998
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	70	27 13.35120
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	71	28 29.81185
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	72	\end{filecontents}
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	73
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	74	%% Scala V1, 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	75	\begin{filecontents}{re1.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	76	1 0.00179
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77	2 0.00011
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	78	3 0.00014
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79	4 0.00026
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	5 0.00050
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	6 0.00095
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	7 0.00190
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	8 0.00287
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	9 0.00779
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	10 0.01399
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86	11 0.01894
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87	12 0.03666
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	13 0.07994
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89	14 0.08944
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	15 0.02377
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	91	16 0.07392
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	92	17 0.22798
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	93	18 0.65310
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	94	19 2.11360
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	95	20 6.31606
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	96	21 21.46013
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	97	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	98
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	99	%% Scala V1, example (a) b
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	100	\begin{filecontents}{re1a.data}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	101	1 0.00013
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	102	501 0.03610
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	103	1001 0.08543
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	104	1501 0.06424
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	105	2001 0.11329
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	106	2501 0.19428
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	107	3001 0.31500
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	108	3501 0.37748
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	109	4001 0.49636
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	110	4501 0.63803
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	111	5001 0.75320
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	112	5501 0.92438
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	113	6001 1.01979
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	114	6501 1.21709
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	115	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	116
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	117	%% Scala V2, example a?{n} a{n}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	118	\begin{filecontents}{re2.data}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	119	1 0.00004
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	120	51 0.00079
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	121	101 0.00752
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	122	151 0.02008
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	123	201 0.04462
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	124	251 0.07715
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	125	301 0.13366
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	126	351 0.21700
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	127	401 0.34163
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	128	451 0.47499
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	129	501 0.65810
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	130	551 0.88666
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	131	601 1.17030
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	132	651 1.51570
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	133	701 1.91133
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	134	751 2.38194
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	135	801 3.10061
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	136	851 4.35828
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	137	901 4.73774
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	138	951 6.05984
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	139	1001 6.68179
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	140	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	141
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	142	%% Scala V2, example (a) b
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	143	\begin{filecontents}{re2a.data}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	144	1 0.00009
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	145	501 0.02582
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	146	1001 0.03406
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	147	1501 0.07891
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	148	2001 0.14417
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	149	2501 0.22065
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	150	3001 0.33145
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	151	3501 0.44883
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	152	4001 0.63173
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	153	4501 0.81166
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	154	\end{filecontents}
065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	155
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	156	%% Scala V4, 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	157	\begin{filecontents}{re3.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	158	1 0.001605
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	159	501 0.131066
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	160	1001 0.057885
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	161	1501 0.136875
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	162	2001 0.176238
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	163	2501 0.254363
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	164	3001 0.37262
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	165	3501 0.500946
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	166	4001 0.638384
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	167	4501 0.816605
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	168	5001 1.00491
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	169	5501 1.232505
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	170	6001 1.525672
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	171	6501 1.757502
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	172	7001 2.092784
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	173	7501 2.429224
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	174	8001 2.803037
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	175	8501 3.463045
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	176	9001 3.609
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	177	9501 4.081504
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	178	10001 4.54569
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	179	10501 6.17789
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	180	11001 6.77242
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	181	11501 7.95864
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	182	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	183
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	184	%% Scala V4, example (a) b
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	185	\begin{filecontents}{re3a.data}
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	186	1 0.00015
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	187	500001 0.16143
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	188	1000001 0.39022
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	189	1500001 0.69623
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	190	2000001 0.92665
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	191	2500001 1.04422
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	192	3000001 1.31200
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	193	3500001 1.51645
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	194	4000001 1.85757
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	195	4500001 1.85903
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	196	5000001 2.01376
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	197	5500001 2.57703
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	198	6000001 4.70017
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	199	6500001 8.62478
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	200	7000001 13.10504
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	201	7500001 17.97648
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	202	\end{filecontents}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	203
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	204	%% Scala V5, example a?{n} a{n}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	205	\begin{filecontents}{re4.data}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	206	1 0.00007
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	207	1000001 0.65112
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	208	2000001 1.25011
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	209	3000001 1.34581
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	210	4000001 1.68338
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	211	5000001 4.15276
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	212	6000001 13.86084
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	213	7000001 26.39926
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	214	\end{filecontents}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	215
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	216	%% Scala V5, example (a) b
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	217	\begin{filecontents}{re4a.data}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	218	1 0.00015
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	219	500001 0.18391
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	220	1000001 0.53715
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	221	1500001 0.72122
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	222	2000001 1.00681
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	223	2500001 1.46824
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	224	3000001 1.77297
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	225	3500001 2.09406
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	226	4000001 2.32992
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	227	4500001 3.54669
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	228	5000001 4.40195
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	229	5500001 3.41926
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	230	6000001 7.32595
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	231	6500001 12.27531
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	232	7000001 19.29151
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	233	7500001 26.28967
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	234	\end{filecontents}
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	235
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	236	\begin{filecontents}{nfa.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	237	0 0.00099
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	238	5 0.01304
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	239	10 0.05350
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	240	15 0.10152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	241	20 0.10876
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	242	25 0.06984
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	243	30 0.09693
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	244	35 0.04805
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	245	40 0.07512
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	246	45 0.07624
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	247	50 0.10451
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	248	55 0.13285
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	249	60 0.15748
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	250	65 0.19982
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	251	70 0.24075
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	252	75 0.28963
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	253	80 0.35734
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	254	85 0.43735
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	255	90 0.49692
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	256	95 0.59551
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	257	100 0.72236
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	258	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	259
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	260	\begin{filecontents}{nfasearch.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	261	0 0.00009
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	262	1 0.00147
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	263	2 0.00030
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	264	3 0.00062
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	265	4 0.00132
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	266	5 0.00177
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	267	6 0.00487
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	268	7 0.00947
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	269	8 0.01757
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	270	9 0.02050
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	271	10 0.02091
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	272	11 0.04002
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	273	12 0.08662
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	274	13 0.17269
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	275	14 0.37255
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	276	15 0.81935
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	277	16 1.76254
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	278	17 3.89442
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	279	18 8.42263
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	280	19 17.89661
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	281	20 38.21481
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	282	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	283
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	284	\begin{filecontents}{compiled.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	285	%1 0.234146
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	286	%5000 0.227539
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	287	%10000 0.280748
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	288	50000 1.087897
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	289	100000 3.713165
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	290	250000 21.6624545
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	291	500000 85.872613
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	292	750000 203.6408015
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	293	1000000 345.736574
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	294	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	295
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	296	\begin{filecontents}{interpreted.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	297	200 1.005863
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	298	400 7.8296765
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	299	500 15.43106
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	300	600 27.2321885
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	301	800 65.249271
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	302	1000 135.4493445
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	303	1200 232.134097
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	304	1400 382.527227
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	305	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	306
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	307	\begin{filecontents}{interpreted2.data}
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 242 diff changeset	308	0 0
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	309	200 1.005863
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	310	400 7.8296765
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	311	600 27.2321885
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	312	800 65.249271
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	313	1000 135.4493445
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	314	1200 232.134097
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	315	1400 382.527227
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	316	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	317
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	318	\begin{filecontents}{compiled2.data}
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 242 diff changeset	319	0 0
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	320	200 0.222058
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	321	400 0.215204
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	322	600 0.202031
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	323	800 0.21986
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	324	1000 0.205934
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	325	1200 0.1981615
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	326	1400 0.207116
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
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	330	\begin{filecontents}{s-grammar1.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	331	1 0.01152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	332	51 0.07973
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	333	101 0.09726
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	334	151 0.09320
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	335	201 0.10010
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	336	251 0.16997
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	337	301 0.26662
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	338	351 0.46118
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	339	401 0.62516
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	340	451 0.87247
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	341	501 1.16334
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	342	551 1.71152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	343	601 2.10958
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	344	651 2.44360
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	345	701 2.98488
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	346	751 3.50326
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	347	801 4.11036
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	348	851 4.93394
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	349	901 5.77465
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	350	951 7.39123
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	351	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	352
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	353	\begin{filecontents}{s-grammar2.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	354	1 0.01280
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	355	2 0.00064
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	356	3 0.00173
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	357	4 0.00355
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	358	5 0.00965
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	359	6 0.02674
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	360	7 0.06953
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	361	8 0.11166
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	362	9 0.18707
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	363	10 0.09189
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	364	11 0.12724
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	365	12 0.24337
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	366	13 0.59304
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	367	14 1.53594
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	368	15 4.01195
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	369	16 10.73582
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	370	17 29.51587
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	371	#18 73.14163
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	372	\end{filecontents}

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Tue, 20 Sep 2016 12:17:01 +0100
changeset 421	7a04f2c532c1
parent 415	4ae59fd3b174
child 433	c08290ee4f1f
permissions	-rw-r--r--