labelled-steps	1.0	Sum
2.89.2	1	1
2.107.3	1	1
2.138.1	1	1
2.138.2	1	1
2.147	1	1
2.150	1	1
2.150.1	4	4
2.150.3	1	1
2.164.3	1	1
2.176.1	1	1
2.176.2	2	2
2.176.3	1	1
2.184	1	1
2.190.1	2	2
2.190.2	37	37
2.190.3	1	1
2.204.2	1	1
2.208	1	1
2.210	1	1
2.219	1	1
2.222.4	3	3
2.223	1	1
2.224	1	1
2.227	1	1
2.228	1	1
2.230	1	1
2.233	1	1
2.234	1	1
2.235.1	2	2
2.235.2	4	4
2.235.3	1	1
2.235.4	2	2
2.235.5	1	1
2.240	1	1
2.241	1	1
2.245	1	1
2.249.1	2	2
2.249.3	2	2
2.250	1	1
2.252	2	2
2.255	1	1
2.263	1	1
2.263.1	2	2
2.263.4	2	2
2.271	1	1
2.273	1	1
2.277.4	3	3
2.289.1	1	1
2.289.3	1	1
2.290	2	2
2.293	2	2
2.303.1	1	1
2.303.2	3	3
2.303.3	2	2
2.316	1	1
2.319.1	2	2
2.319.2	1	1
2.319.3	8	8
2.327	1	1
2.332.2	6	6
2.332.3	5	5
2.338	1	1
2.339	1	1
2.343	1	1
2.346.1	4	4
2.346.2	3	3
2.346.3	6	6
2.349	1	1
2.350	2	2
2.355	1	1
2.356	1	1
2.361	1	1
2.361.4	3	3
2.375.2	2	2
2.375.4	5	5
2.379	1	1
2.387.1	1	1
2.387.2	3	3
2.387.3	4	4
2.401.1	7	7
2.401.2	15	15
2.401.3	4	4
2.414	1	1
2.414.1	3	3
2.414.2	5	5
2.414.3	8	8
2.416	1	1
2.418	1	1
2.426.1	3	3
2.426.2	5	5
2.426.3	24	24
2.428	1	1
2.434	1	1
2.435	1	1
2.436	1	1
2.439	1	1
2.440.1	7	7
2.440.2	9	9
2.440.3	29	29
2.442	2	2
2.448	2	2
2.450	1	1
2.452.1	8	8
2.452.2	7	7
2.452.3	5	5
2.452.4	2	2
2.453	1	1
2.454	2	2
2.455	2	2
2.456	22	22
2.459	1	1
2.462	3	3
2.462.1	17	17
2.462.2	25	25
2.462.3	75	75
2.470	1	1
2.474	1	1
2.475	1	1
2.476	2	2
2.478	1	1
2.479	2	2
2.480	1	1
2.481	4	4
2.482	6	6
Total	500	500