| AND/OR mapping |
| 6 | 3 | 3 | 12 |
[15] [16] [19] |
| 5 | 3 | 3 | 10 | |
[17] |
| 4 | 2 | 3 | 10 | |
[18] [20] |
| 4 | 2 | 3 | 10 | |
[21] [26] |
| 4 | 2 | 2 | 10 | |
| AND/OR mapping |
| 11 | 5 | 6 | 22 |
[15] [16] [19] |
| 3 | 2 | 3 | 9 | |
[17] |
| 3 | 2 | 2 | 9 | |
[18] [20] |
| 4 | 2 | 3 | 12 | |
[21] [26] |
| 3 | 2 | 2 | 9 | |
| AND/OR mapping |
| 5 | 3 | 2 | 10 |
[15] [16] [19] |
| 3 | 2 | 2 | 8 | |
[17] |
| 3 | 2 | 1 | 7 | |
[18] [20] |
| 4 | 3 | 2 | 8 | |
[21] [26] |
| 3 | 2 | 1 | 7 |