| 3 | x == 4 | 4 |
| 5 | x != 4 | 6 |
| 7 | x > 4 | 8 |
| 9 | x < 4 | 10 |
| 11 | x >= 4 | 12 |
| 13 | x <= 4 | 14 |
| 17 | x >= 0 | 16 |
| 17 | x >= 0 | 17 |
| 17 | x >= 0 | 19 |
| 17 | x >= 0 | 23 |
| 17 | x >= 0 | 24 |
| 17 | x >= 0 | 25 |
| 17 | x >= 0 | 28 |
| 17 | x >= 0 | 29 |
| 17 | x >= 0 | 30 |
| 17 | x >= 0 | 31 |
| 17 | x >= 0 | 33 |
| 17 | x >= 0 | 34 |
| 17 | x >= 0 | 36 |
| 17 | x >= 0 | 37 |
| 17 | z >= 0 | 16 |
| 17 | z >= 0 | 19 |
| 17 | z >= 0 | 23 |
| 17 | z >= 0 | 24 |
| 17 | z >= 0 | 25 |
| 17 | z >= 0 | 28 |
| 17 | z >= 0 | 29 |
| 17 | z >= 0 | 30 |
| 17 | z >= 0 | 31 |
| 17 | z >= 0 | 33 |
| 17 | z >= 0 | 34 |
| 17 | z >= 0 | 36 |
| 17 | z >= 0 | 37 |
| 23 | w < 0 | 16 |
| 23 | w < 0 | 30 |
| 23 | w < 0 | 31 |
| 23 | w < 0 | 33 |
| 23 | w < 0 | 34 |
| 23 | w < 0 | 36 |
| 23 | w < 0 | 37 |
| 23 | w >= 0 | 24 |
| 23 | w >= 0 | 25 |
| 23 | w >= 0 | 28 |
| 23 | w >= 0 | 29 |
| 24 | y < 7 | 25 |
| 24 | y >= 7 | 28 |
| 24 | y >= 7 | 29 |
| 28 | y > 10 | 29 |
| 30 | y < 10 | 31 |
| 30 | y < 10 | 33 |
| 32 | y < 12 | 33 |
| 34 | y == 5 | 36 |
| 34 | y == 5 | 37 |
| 36 | z > 0 | 37 |