| Id | Title | Operations |
|---|---|---|
| 901 | Prov.5.8@7 | |
| 902 | Prov.5.8@8 | |
| 903 | Prov.5.9@1 | |
| 904 | Prov.5.9@2 | |
| 905 | Prov.5.9@3 | |
| 906 | Prov.5.9@4 | |
| 907 | Prov.5.9@5 | |
| 908 | Prov.5.9@6 | |
| 909 | Prov.5.10@1 | |
| 910 | Prov.5.10@2 | |
| 911 | Prov.5.10@3 | |
| 912 | Prov.5.10@4 | |
| 913 | Prov.5.10@5 | |
| 914 | Prov.5.10@6 | |
| 915 | Prov.5.10@7 | |
| 916 | Prov.5.11@1 | |
| 917 | Prov.5.11@2 | |
| 918 | Prov.5.11@3 | |
| 919 | Prov.5.11@4 | |
| 920 | Prov.5.11@5 | |
| 921 | Prov.5.12@1 | |
| 922 | Prov.5.12@2 | |
| 923 | Prov.5.12@3 | |
| 924 | Prov.5.12@4 | |
| 925 | Prov.5.12@5 | |
| 926 | Prov.5.12@6 | |
| 927 | Prov.5.12@7 | |
| 928 | Prov.5.13@1 | |
| 929 | Prov.5.13@2 | |
| 930 | Prov.5.13@3 | |
| 931 | Prov.5.13@4 | |
| 932 | Prov.5.13@5 | |
| 933 | Prov.5.13@6 | |
| 934 | Prov.5.13@7 | |
| 935 | Prov.5.13@8 | |
| 936 | Prov.5.14@1 | |
| 937 | Prov.5.14@2 | |
| 938 | Prov.5.14@3 | |
| 939 | Prov.5.14@4 | |
| 940 | Prov.5.14@5 | |
| 941 | Prov.5.14@6 | |
| 942 | Prov.5.14@7 | |
| 943 | Prov.5.15@1 | |
| 944 | Prov.5.15@2 | |
| 945 | Prov.5.15@3 | |
| 946 | Prov.5.15@4 | |
| 947 | Prov.5.15@5 | |
| 948 | Prov.5.15@6 | |
| 949 | Prov.5.16@1 | |
| 950 | Prov.5.16@2 |