| Id | Title | Operations |
|---|---|---|
| 751 | Prov.4.14@8 | |
| 752 | Prov.4.15@1 | |
| 753 | Prov.4.15@2 | |
| 754 | Prov.4.15@3 | |
| 755 | Prov.4.15@4 | |
| 756 | Prov.4.15@5 | |
| 757 | Prov.4.15@6 | |
| 758 | Prov.4.15@7 | |
| 759 | Prov.4.16@1 | |
| 760 | Prov.4.16@2 | |
| 761 | Prov.4.16@3 | |
| 762 | Prov.4.16@4 | |
| 763 | Prov.4.16@5 | |
| 764 | Prov.4.16@6 | |
| 765 | Prov.4.16@7 | |
| 766 | Prov.4.16@8 | |
| 767 | Prov.4.16@9 | |
| 768 | Prov.4.16@10 | |
| 769 | Prov.4.16@11 | |
| 770 | Prov.4.16@12 | |
| 771 | Prov.4.17@1 | |
| 772 | Prov.4.17@2 | |
| 773 | Prov.4.17@3 | |
| 774 | Prov.4.17@4 | |
| 775 | Prov.4.17@5 | |
| 776 | Prov.4.17@6 | |
| 777 | Prov.4.17@7 | |
| 778 | Prov.4.18@1 | |
| 779 | Prov.4.18@2 | |
| 780 | Prov.4.18@3 | |
| 781 | Prov.4.18@4 | |
| 782 | Prov.4.18@5 | |
| 783 | Prov.4.18@6 | |
| 784 | Prov.4.18@7 | |
| 785 | Prov.4.18@8 | |
| 786 | Prov.4.18@9 | |
| 787 | Prov.4.19@1 | |
| 788 | Prov.4.19@2 | |
| 789 | Prov.4.19@3 | |
| 790 | Prov.4.19@4 | |
| 791 | Prov.4.19@5 | |
| 792 | Prov.4.19@6 | |
| 793 | Prov.4.19@7 | |
| 794 | Prov.4.20@1 | |
| 795 | Prov.4.20@2 | |
| 796 | Prov.4.20@3 | |
| 797 | Prov.4.20@4 | |
| 798 | Prov.4.20@5 | |
| 799 | Prov.4.20@6 | |
| 800 | Prov.4.21@1 |