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 |
---|