afl-material: data.sty@dbf9d710ce65 (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
565 2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	3	%% 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	4	\begin{filecontents}{re-python.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	5	1 0.029
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	5 0.029
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	10 0.029
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	15 0.032
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	16 0.042
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10	17 0.042
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	18 0.055
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	19 0.084
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	20 0.136
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	21 0.248
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	22 0.464
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	23 0.899
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	24 1.773
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	25 3.505
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	26 6.993
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20	27 14.503
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21	28 29.307
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	22	#29 58.886
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24
565 2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	25
448 96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	26	\begin{filecontents}{re-python2.data}
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	27	1 0.033
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	28	5 0.036
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	29	10 0.034
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	30	15 0.036
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	31	18 0.059
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	32	19 0.084
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	33	20 0.141
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	34	21 0.248
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	35	22 0.485
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	36	23 0.878
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	37	24 1.71
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	38	25 3.40
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	39	26 7.08
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	40	27 14.12
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	41	28 26.69
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	42	\end{filecontents}
96129128d0f1 updated Christian Urban <urbanc@in.tum.de> parents: 441 diff changeset	43
565 2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	44	%% 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	45	\begin{filecontents}{re-ruby.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46	1 0.00006
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	47	#2 0.00003
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	48	#3 0.00001
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	49	#4 0.00001
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	5 0.00001
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	51	#6 0.00002
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	52	#7 0.00002
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	53	#8 0.00004
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	54	#9 0.00007
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	10 0.00013
242 35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	56	#11 0.00026
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	57	#12 0.00055
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	58	#13 0.00106
35104ee14f87 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 218 diff changeset	59	#14 0.00196
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	15 0.00378
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	16 0.00764
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	17 0.01606
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	18 0.03094
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	19 0.06508
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	20 0.12420
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	66	21 0.25393
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67	22 0.51449
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	68	23 1.02174
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69	24 2.05998
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	25 4.22514
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	26 8.42479
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	27 16.88678
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	28 34.79653
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75
778 3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	76	%% example a?{n} a{n}
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	77	\begin{filecontents}{re-rust.data}
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	78	1000 0.95
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	79	1500 2.17
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	80	2000 3.9
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	81	2100 4.121
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	82	2150 4.3
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	83	2180 14.9
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	84	2200 15
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	85	2500 18
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	86	3000 24
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	87	3500 31
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	88	4000 40
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	89	\end{filecontents}
3e5f5d19f514 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 777 diff changeset	90
618 f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	91	% JavaScript, example (a)b
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	92	\begin{filecontents}{re-js.data}
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	93	5 0.061
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	94	10 0.061
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	95	15 0.061
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	96	20 0.070
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	97	23 0.131
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	98	25 0.308
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	99	26 0.564
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	100	28 1.994
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	101	30 7.648
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	102	31 15.881
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	103	32 32.190
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	104	\end{filecontents}
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	105
767 bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	106	% Swift, example (a)b
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	107	\begin{filecontents}{re-swift.data}
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	108	5 0.001
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	109	10 0.001
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	110	15 0.009
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	111	20 0.178
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	112	23 1.399
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	113	24 2.893
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	114	25 5.671
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	115	26 11.357
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	116	27 22.430
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	117	\end{filecontents}
bdd12391d345 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 618 diff changeset	118
777 a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	119	% Dart, example (a)b
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	120	\begin{filecontents}{re-dart.data}
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	121	20 0.042
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	122	21 0.084
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	123	22 0.190
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	124	23 0.340
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	125	24 0.678
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	126	25 1.369
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	127	26 2.700
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	128	27 5.462
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	129	28 10.908
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	130	29 21.725
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	131	30 43.492
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	132	\end{filecontents}
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	133
a10430cb797c updated Christian Urban <christian.urban@kcl.ac.uk> parents: 767 diff changeset	134
565 2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	135	% Java 8, example (a)b
412 1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	136	\begin{filecontents}{re-java.data}
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	137	5 0.00298
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	138	10 0.00418
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	139	15 0.00996
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	140	16 0.01710
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	141	17 0.03492
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	142	18 0.03303
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	143	19 0.05084
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	144	20 0.10177
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	145	21 0.19960
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	146	22 0.41159
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	147	23 0.82234
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	148	24 1.70251
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	149	25 3.36112
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	150	26 6.63998
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	151	27 13.35120
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	152	28 29.81185
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	153	\end{filecontents}
1cef3924f7a2 updated Christian Urban <urbanc@in.tum.de> parents: 398 diff changeset	154
565 2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	155	% Java 9+, example (a)b
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	156	\begin{filecontents}{re-java9.data}
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	157	1000 0.01871
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	158	3000 0.16727
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	159	5000 0.44669
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	160	7000 0.87708
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	161	9000 1.46304
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	162	11000 2.21094
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	163	13000 3.08650
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	164	15000 4.23359
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	165	17000 4.97240
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	166	19000 6.50150
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	167	21000 8.43740
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	168	23000 9.66842
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	169	25000 10.93754
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	170	27000 13.51069
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	171	29000 14.73643
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	172	31000 16.69299
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	173	33000 19.04270
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	174	35000 21.08329
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	175	37000 23.75398
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	176	39000 26.15787
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	177	\end{filecontents}
2be8c4c77418 updated Christian Urban <urbanc@in.tum.de> parents: 478 diff changeset	178
618 f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	179
f4818c95a32e updated Christian Urban <urbanc@in.tum.de> parents: 565 diff changeset	180
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	181	%% 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	182	\begin{filecontents}{re1.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	183	1 0.00179
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	184	2 0.00011
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	185	3 0.00014
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	186	4 0.00026
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	187	5 0.00050
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	188	6 0.00095
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	189	7 0.00190
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	190	8 0.00287
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	191	9 0.00779
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	192	10 0.01399
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	193	11 0.01894
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	194	12 0.03666
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	195	13 0.07994
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	196	14 0.08944
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	197	15 0.02377
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	198	16 0.07392
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	199	17 0.22798
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	200	18 0.65310
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	201	19 2.11360
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	202	20 6.31606
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	203	21 21.46013
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	204	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	205
433 c08290ee4f1f updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 415 diff changeset	206
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	207	%% re1.scala: example (a) b
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	208	\begin{filecontents}{re1a.data}
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	209	1 0.00003
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	210	2 0.00002
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	211	3 0.00004
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	212	4 0.00023
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	213	5 0.00012
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	214	6 0.00016
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	215	7 0.00036
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	216	8 0.00100
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	217	9 0.00158
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	218	10 0.00271
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	219	11 0.00420
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	220	12 0.01034
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	221	13 0.01629
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	222	14 0.03469
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	223	15 0.08800
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	224	16 0.12071
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	225	17 0.27164
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	226	18 0.53962
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	227	19 1.05733
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	228	20 2.34022
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	229	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	230
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	231	%% re2.scala example a?{n} a{n}
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	232	\begin{filecontents}{re2.data}
477 b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	233	1 0.00050
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	234	101 0.02030
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	235	201 0.10587
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	236	301 0.31188
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	237	401 0.32794
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	238	501 0.64490
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	239	601 1.16738
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	240	701 2.10815
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	241	801 3.47144
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	242	901 6.80621
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	243	1001 12.35611
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	244	1101 23.80084
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	245	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	246
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	247	%% re2.scala: example (a) b
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	248	\begin{filecontents}{re2a.data}
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	249	1 0.00004
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	250	2 0.00003
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	251	3 0.00004
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	252	4 0.00014
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	253	5 0.00017
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	254	6 0.00029
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	255	7 0.00046
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	256	8 0.00084
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	257	9 0.00137
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	258	10 0.00203
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	259	11 0.00379
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	260	12 0.00783
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	261	13 0.01583
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	262	14 0.04725
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	263	15 0.06672
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	264	16 0.16228
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	265	17 0.25493
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	266	18 0.53676
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	267	19 1.09052
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	268	20 2.56922
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	269	\end{filecontents}
065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	270
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	271	%% 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	272	\begin{filecontents}{re3.data}
477 b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	273	1 0.00003
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	274	1001 0.03887
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	275	2001 0.15666
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	276	3001 0.35910
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	277	4001 0.63950
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	278	5001 1.00241
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	279	6001 1.50480
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	280	7001 2.11568
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	281	8001 2.71208
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	282	9001 3.41157
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	283	10001 4.19962
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	284	11001 5.70387
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	285	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	286
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	287	%% re3.scala: example (a) b
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	288	\begin{filecontents}{re3a.data}
478 48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	289	1 0.00003
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	290	500001 0.22527
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	291	1000001 0.62752
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	292	1500001 0.88485
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	293	2000001 1.39815
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	294	2500001 1.68619
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	295	3000001 1.94957
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	296	3500001 2.15878
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	297	4000001 2.59918
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	298	4500001 5.90679
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	299	5000001 13.11295
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	300	5500001 19.15376
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	301	6000001 40.16373
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	302	\end{filecontents}
48b842c997c7 updated Christian Urban <urbanc@in.tum.de> parents: 477 diff changeset	303	\begin{filecontents}{re3b.data}
477 b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	304	1 0.00015
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	305	500001 0.28337
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	306	1000001 0.53271
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	307	1500001 0.84478
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	308	2000001 1.11763
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	309	2500001 1.76656
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	310	3000001 2.13310
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	311	3500001 2.39576
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	312	4000001 2.98624
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	313	4500001 5.96529
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	314	5000001 13.56911
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	315	5500001 18.43089
b78664a24f5d updated Christian Urban <urbanc@in.tum.de> parents: 448 diff changeset	316	6000001 40.33704
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	317	\end{filecontents}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	318
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	319	%% re4.scala example a?{n} a{n}
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	320	\begin{filecontents}{re4.data}
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	321	1 0.01399
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	322	500001 1.43645
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	323	1000001 2.59394
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	324	1500001 4.07990
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	325	2000001 5.22473
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	326	2500001 6.41714
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	327	3000001 7.60118
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	328	3500001 9.02056
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	329	4000001 10.50393
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	330	4500001 11.56631
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	331	5000001 13.72020
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	332	5500001 15.09634
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	333	6000001 29.26990
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	334	6500001 33.41039
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	335	7000001 39.06532
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	336	\end{filecontents}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	337
434 8664ff87cd77 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 433 diff changeset	338	%% re4.scala example (a) b
415 4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	339	\begin{filecontents}{re4a.data}
4ae59fd3b174 updated Christian Urban <urbanc@in.tum.de> parents: 414 diff changeset	340	1 0.00015
441 028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	341	500001 2.57302
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	342	1000001 5.58966
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	343	1500001 8.16531
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	344	2000001 10.85055
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	345	2500001 13.42080
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	346	3000001 16.08712
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	347	3500001 18.58433
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	348	4000001 21.23788
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	349	4500001 23.72459
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	350	5000001 27.47479
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	351	5500001 31.85240
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	352	6000001 37.12461
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	353	6500001 39.90294
028816884f70 updated Christian Urban <urbanc@in.tum.de> parents: 434 diff changeset	354	7000001 53.50961
414 065ca01b62ae updated Christian Urban <urbanc@in.tum.de> parents: 412 diff changeset	355	\end{filecontents}
779 5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	356
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	357	% example a?{n} a{n}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	358	\begin{filecontents}{nfabreadth.data}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	359	1 0.00744
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	360	2 0.02007
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	361	3 0.07366
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	362	4 0.13740
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	363	5 0.21123
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	364	6 0.42507
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	365	7 0.70248
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	366	8 1.54966
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	367	9 2.88386
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	368	10 5.01238
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	369	11 9.87160
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	370	12 19.25107
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	371	13 38.60304
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	372	\end{filecontents}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	373
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	374	% example (a) b
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	375	\begin{filecontents}{nfabreadth2.data}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	376	1 0.01049
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	377	6 0.05657
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	378	11 0.08678
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	379	16 0.13492
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	380	21 0.25846
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	381	26 0.28099
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	382	31 0.35256
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	383	36 0.35518
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	384	41 0.36102
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	385	46 0.42248
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	386	51 0.54021
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	387	56 0.64374
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	388	61 0.61032
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	389	66 0.65779
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	390	71 0.79430
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	391	76 0.79791
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	392	81 0.79772
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	393	86 0.85896
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	394	91 1.00160
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	395	96 1.11727
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	396	\end{filecontents}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	397
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	398	% example a?{n} a{n}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	399	\begin{filecontents}{nfadepth.data}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	400	1 0.00047
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	401	2 0.00485
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	402	3 0.02597
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	403	4 0.02026
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	404	5 0.88002
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	405	6 1.85384
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	406	7 24.01612
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	407	8 15.13296
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	408	9 479.93808
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	409	\end{filecontents}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	410
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	411	% example (a) b
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	412	\begin{filecontents}{nfadepth2.data}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	413	1 0.00905
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	414	2 0.04748
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	415	3 0.17583
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	416	4 1.00126
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	417	5 3.19777
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	418	6 13.37317
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	419	7 55.52482
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	420	\end{filecontents}
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	421
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	422
5385c8342f02 updated Christian Urban <christian.urban@kcl.ac.uk> parents: 778 diff changeset	423
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	424	\begin{filecontents}{nfa.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	425	0 0.00099
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	426	5 0.01304
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	427	10 0.05350
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	428	15 0.10152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	429	20 0.10876
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	430	25 0.06984
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	431	30 0.09693
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	432	35 0.04805
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	433	40 0.07512
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	434	45 0.07624
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	435	50 0.10451
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	436	55 0.13285
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	437	60 0.15748
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	438	65 0.19982
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	439	70 0.24075
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	440	75 0.28963
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	441	80 0.35734
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	442	85 0.43735
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	443	90 0.49692
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	444	95 0.59551
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	445	100 0.72236
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	446	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	447
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	448	\begin{filecontents}{nfasearch.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	449	0 0.00009
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	450	1 0.00147
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	451	2 0.00030
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	452	3 0.00062
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	453	4 0.00132
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	454	5 0.00177
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	455	6 0.00487
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	456	7 0.00947
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	457	8 0.01757
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	458	9 0.02050
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	459	10 0.02091
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	460	11 0.04002
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	461	12 0.08662
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	462	13 0.17269
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	463	14 0.37255
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	464	15 0.81935
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	465	16 1.76254
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	466	17 3.89442
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	467	18 8.42263
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	468	19 17.89661
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	469	20 38.21481
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	470	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	471
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	472	\begin{filecontents}{compiled.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	473	%1 0.234146
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	474	%5000 0.227539
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	475	%10000 0.280748
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	476	50000 1.087897
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	477	100000 3.713165
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	478	250000 21.6624545
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	479	500000 85.872613
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	480	750000 203.6408015
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	481	1000000 345.736574
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	482	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	483
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	484	\begin{filecontents}{interpreted.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	485	200 1.005863
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	486	400 7.8296765
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	487	500 15.43106
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	488	600 27.2321885
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	489	800 65.249271
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	490	1000 135.4493445
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	491	1200 232.134097
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	492	1400 382.527227
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	493	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	494
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	495	\begin{filecontents}{interpreted2.data}
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 242 diff changeset	496	0 0
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	497	200 1.005863
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	498	400 7.8296765
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	499	600 27.2321885
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	500	800 65.249271
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	501	1000 135.4493445
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	502	1200 232.134097
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	503	1400 382.527227
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	504	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	505
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	506	\begin{filecontents}{compiled2.data}
398 c8ce95067c1a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 242 diff changeset	507	0 0
218 8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	508	200 0.222058
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	509	400 0.215204
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	510	600 0.202031
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	511	800 0.21986
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	512	1000 0.205934
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	513	1200 0.1981615
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	514	1400 0.207116
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	515	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	516
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	517
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	518	\begin{filecontents}{s-grammar1.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	519	1 0.01152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	520	51 0.07973
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	521	101 0.09726
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	522	151 0.09320
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	523	201 0.10010
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	524	251 0.16997
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	525	301 0.26662
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	526	351 0.46118
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	527	401 0.62516
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	528	451 0.87247
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	529	501 1.16334
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	530	551 1.71152
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	531	601 2.10958
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	532	651 2.44360
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	533	701 2.98488
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	534	751 3.50326
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	535	801 4.11036
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	536	851 4.93394
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	537	901 5.77465
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	538	951 7.39123
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	539	\end{filecontents}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	540
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	541	\begin{filecontents}{s-grammar2.data}
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	542	1 0.01280
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	543	2 0.00064
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	544	3 0.00173
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	545	4 0.00355
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	546	5 0.00965
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	547	6 0.02674
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	548	7 0.06953
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	549	8 0.11166
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	550	9 0.18707
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	551	10 0.09189
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	552	11 0.12724
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	553	12 0.24337
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	554	13 0.59304
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	555	14 1.53594
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	556	15 4.01195
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	557	16 10.73582
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	558	17 29.51587
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	559	#18 73.14163
8f3f8d82da8b added two new packages Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	560	\end{filecontents}

author	Christian Urban <christian.urban@kcl.ac.uk>
	Tue, 31 Aug 2021 11:49:09 +0100
changeset 830	dbf9d710ce65
parent 779	5385c8342f02
child 967	ce5de01b9632
permissions	-rw-r--r--