| Id | Title | Operations |
|---|---|---|
| 801 | Prov.4.21@2 | |
| 802 | Prov.4.21@3 | |
| 803 | Prov.4.21@4 | |
| 804 | Prov.4.21@5 | |
| 805 | Prov.4.21@6 | |
| 806 | Prov.4.22@1 | |
| 807 | Prov.4.22@2 | |
| 808 | Prov.4.22@3 | |
| 809 | Prov.4.22@4 | |
| 810 | Prov.4.22@5 | |
| 811 | Prov.4.22@6 | |
| 812 | Prov.4.22@7 | |
| 813 | Prov.4.23@1 | |
| 814 | Prov.4.23@2 | |
| 815 | Prov.4.23@3 | |
| 816 | Prov.4.23@4 | |
| 817 | Prov.4.23@5 | |
| 818 | Prov.4.23@6 | |
| 819 | Prov.4.23@7 | |
| 820 | Prov.4.23@8 | |
| 821 | Prov.4.24@1 | |
| 822 | Prov.4.24@2 | |
| 823 | Prov.4.24@3 | |
| 824 | Prov.4.24@4 | |
| 825 | Prov.4.24@5 | |
| 826 | Prov.4.24@6 | |
| 827 | Prov.4.24@7 | |
| 828 | Prov.4.24@8 | |
| 829 | Prov.4.25@1 | |
| 830 | Prov.4.25@2 | |
| 831 | Prov.4.25@3 | |
| 832 | Prov.4.25@4 | |
| 833 | Prov.4.25@5 | |
| 834 | Prov.4.25@6 | |
| 835 | Prov.4.26@1 | |
| 836 | Prov.4.26@2 | |
| 837 | Prov.4.26@3 | |
| 838 | Prov.4.26@4 | |
| 839 | Prov.4.26@5 | |
| 840 | Prov.4.26@6 | |
| 841 | Prov.4.27@1 | |
| 842 | Prov.4.27@2 | |
| 843 | Prov.4.27@3 | |
| 844 | Prov.4.27@4 | |
| 845 | Prov.4.27@5 | |
| 846 | Prov.4.27@6 | |
| 847 | Prov.4.27@7 | |
| 848 | Prov.5.1@1 | |
| 849 | Prov.5.1@2 | |
| 850 | Prov.5.1@3 |