| Id | Title | Operations |
|---|---|---|
| 2551 | Prov.13.4@6 | |
| 2552 | Prov.13.4@7 | |
| 2553 | Prov.13.5@1 | |
| 2554 | Prov.13.5@2 | |
| 2555 | Prov.13.5@3 | |
| 2556 | Prov.13.5@4 | |
| 2557 | Prov.13.5@5 | |
| 2558 | Prov.13.5@6 | |
| 2559 | Prov.13.5@7 | |
| 2560 | Prov.13.6@1 | |
| 2561 | Prov.13.6@2 | |
| 2562 | Prov.13.6@3 | |
| 2563 | Prov.13.6@4 | |
| 2564 | Prov.13.6@5 | |
| 2565 | Prov.13.6@6 | |
| 2566 | Prov.13.6@7 | |
| 2567 | Prov.13.7@1 | |
| 2568 | Prov.13.7@2 | |
| 2569 | Prov.13.7@3 | |
| 2570 | Prov.13.7@4 | |
| 2571 | Prov.13.7@5 | |
| 2572 | Prov.13.7@6 | |
| 2573 | Prov.13.7@7 | |
| 2574 | Prov.13.8@1 | |
| 2575 | Prov.13.8@2 | |
| 2576 | Prov.13.8@3 | |
| 2577 | Prov.13.8@4 | |
| 2578 | Prov.13.8@5 | |
| 2579 | Prov.13.8@6 | |
| 2580 | Prov.13.8@7 | |
| 2581 | Prov.13.8@8 | |
| 2582 | Prov.13.9@1 | |
| 2583 | Prov.13.9@2 | |
| 2584 | Prov.13.9@3 | |
| 2585 | Prov.13.9@4 | |
| 2586 | Prov.13.9@5 | |
| 2587 | Prov.13.9@6 | |
| 2588 | Prov.13.10@1 | |
| 2589 | Prov.13.10@2 | |
| 2590 | Prov.13.10@3 | |
| 2591 | Prov.13.10@4 | |
| 2592 | Prov.13.10@5 | |
| 2593 | Prov.13.10@6 | |
| 2594 | Prov.13.10@7 | |
| 2595 | Prov.13.11@1 | |
| 2596 | Prov.13.11@2 | |
| 2597 | Prov.13.11@3 | |
| 2598 | Prov.13.11@4 | |
| 2599 | Prov.13.11@5 | |
| 2600 | Prov.13.11@6 |