| Id | Title | Operations |
|---|---|---|
| 951 | Prov.5.16@3 | |
| 952 | Prov.5.16@4 | |
| 953 | Prov.5.16@5 | |
| 954 | Prov.5.16@6 | |
| 955 | Prov.5.17@1 | |
| 956 | Prov.5.17@2 | |
| 957 | Prov.5.17@3 | |
| 958 | Prov.5.17@4 | |
| 959 | Prov.5.17@5 | |
| 960 | Prov.5.17@6 | |
| 961 | Prov.5.18@1 | |
| 962 | Prov.5.18@2 | |
| 963 | Prov.5.18@3 | |
| 964 | Prov.5.18@4 | |
| 965 | Prov.5.18@5 | |
| 966 | Prov.5.18@6 | |
| 967 | Prov.5.19@1 | |
| 968 | Prov.5.19@2 | |
| 969 | Prov.5.19@3 | |
| 970 | Prov.5.19@4 | |
| 971 | Prov.5.19@5 | |
| 972 | Prov.5.19@6 | |
| 973 | Prov.5.19@7 | |
| 974 | Prov.5.19@8 | |
| 975 | Prov.5.19@9 | |
| 976 | Prov.5.19@10 | |
| 977 | Prov.5.19@11 | |
| 978 | Prov.5.20@1 | |
| 979 | Prov.5.20@2 | |
| 980 | Prov.5.20@3 | |
| 981 | Prov.5.20@4 | |
| 982 | Prov.5.20@5 | |
| 983 | Prov.5.20@6 | |
| 984 | Prov.5.20@7 | |
| 985 | Prov.5.21@1 | |
| 986 | Prov.5.21@2 | |
| 987 | Prov.5.21@3 | |
| 988 | Prov.5.21@4 | |
| 989 | Prov.5.21@5 | |
| 990 | Prov.5.21@6 | |
| 991 | Prov.5.21@7 | |
| 992 | Prov.5.21@8 | |
| 993 | Prov.5.21@9 | |
| 994 | Prov.5.22@1 | |
| 995 | Prov.5.22@2 | |
| 996 | Prov.5.22@3 | |
| 997 | Prov.5.22@4 | |
| 998 | Prov.5.22@5 | |
| 999 | Prov.5.22@6 | |
| 1000 | Prov.5.22@7 |