labelled-steps	1.0	Sum
2.73.3	1	1
2.107.3	1	1
2.121.2	1	1
2.138.1	1	1
2.138.2	2	2
2.150	1	1
2.150.1	5	5
2.150.3	1	1
2.176.2	1	1
2.176.3	1	1
2.184	1	1
2.190.1	2	2
2.190.2	7	7
2.190.3	1	1
2.204.2	1	1
2.208	1	1
2.210	1	1
2.222.4	3	3
2.224	1	1
2.227	1	1
2.228	1	1
2.230	1	1
2.233	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	3	3
2.263.4	3	3
2.273	1	1
2.277.4	1	1
2.290	1	1
2.293	2	2
2.303.1	1	1
2.303.2	3	3
2.316	1	1
2.319.1	1	1
2.319.2	1	1
2.319.3	6	6
2.332.2	4	4
2.332.3	3	3
2.338	1	1
2.339	1	1
2.346	1	1
2.346.1	1	1
2.346.2	2	2
2.346.3	5	5
2.349	1	1
2.350	2	2
2.355	1	1
2.356	1	1
2.361.4	2	2
2.363	1	1
2.375.2	2	2
2.375.4	4	4
2.387.1	2	2
2.387.2	2	2
2.387.3	4	4
2.401.1	4	4
2.401.2	2	2
2.401.3	3	3
2.414	1	1
2.414.1	5	5
2.414.2	3	3
2.414.3	3	3
2.418	1	1
2.424	1	1
2.426.1	2	2
2.426.2	2	2
2.426.3	12	12
2.435	1	1
2.436	1	1
2.439	1	1
2.440.1	6	6
2.440.2	15	15
2.440.3	22	22
2.442	1	1
2.452.1	3	3
2.452.2	3	3
2.452.3	3	3
2.452.4	2	2
2.454	1	1
2.455	1	1
2.456	29	29
2.462	4	4
2.462.1	9	9
2.462.2	5	5
2.462.3	25	25
2.466	1	1
2.470	1	1
2.471	2	2
2.474	1	1
2.476	1	1
2.479.1	9	9
2.479.2	14	14
2.479.3	10	10
2.481	2	2
2.484	1	1
2.492.1	10	10
2.492.2	38	38
2.492.3	30	30
2.494	1	1
2.495	1	1
2.501	1	1
2.502	2	2
2.503	4	4
2.504	2	2
2.504.1	1	1
2.505	1	1
2.506	4	4
Total	430	430