| Id | Title | Operations |
|---|---|---|
| 1501 | Prov.8.5@1 | |
| 1502 | Prov.8.5@2 | |
| 1503 | Prov.8.5@3 | |
| 1504 | Prov.8.5@4 | |
| 1505 | Prov.8.5@5 | |
| 1506 | Prov.8.5@6 | |
| 1507 | Prov.8.6@1 | |
| 1508 | Prov.8.6@2 | |
| 1509 | Prov.8.6@3 | |
| 1510 | Prov.8.6@4 | |
| 1511 | Prov.8.6@5 | |
| 1512 | Prov.8.6@6 | |
| 1513 | Prov.8.6@7 | |
| 1514 | Prov.8.7@1 | |
| 1515 | Prov.8.7@2 | |
| 1516 | Prov.8.7@3 | |
| 1517 | Prov.8.7@4 | |
| 1518 | Prov.8.7@5 | |
| 1519 | Prov.8.7@6 | |
| 1520 | Prov.8.7@7 | |
| 1521 | Prov.8.8@1 | |
| 1522 | Prov.8.8@2 | |
| 1523 | Prov.8.8@3 | |
| 1524 | Prov.8.8@4 | |
| 1525 | Prov.8.8@5 | |
| 1526 | Prov.8.8@6 | |
| 1527 | Prov.8.8@7 | |
| 1528 | Prov.8.8@8 | |
| 1529 | Prov.8.9@1 | |
| 1530 | Prov.8.9@2 | |
| 1531 | Prov.8.9@3 | |
| 1532 | Prov.8.9@4 | |
| 1533 | Prov.8.9@5 | |
| 1534 | Prov.8.9@6 | |
| 1535 | Prov.8.10@1 | |
| 1536 | Prov.8.10@2 | |
| 1537 | Prov.8.10@3 | |
| 1538 | Prov.8.10@4 | |
| 1539 | Prov.8.10@5 | |
| 1540 | Prov.8.10@6 | |
| 1541 | Prov.8.10@7 | |
| 1542 | Prov.8.11@1 | |
| 1543 | Prov.8.11@2 | |
| 1544 | Prov.8.11@3 | |
| 1545 | Prov.8.11@4 | |
| 1546 | Prov.8.11@5 | |
| 1547 | Prov.8.11@6 | |
| 1548 | Prov.8.11@7 | |
| 1549 | Prov.8.11@8 | |
| 1550 | Prov.8.11@9 |