| 14 | SSA phi(x) | 7 | SSA phi(x) |
| 14 | SSA phi(x) | 10 | SSA phi(x) |
| 14 | SSA phi(y) | 8 | SSA def(y) |
| 14 | SSA phi(y) | 11 | SSA def(y) |
| 31 | SSA phi(x) | 26 | SSA phi(x) |
| 31 | SSA phi(y) | 18 | SSA def(y) |
| 31 | SSA phi(y) | 27 | SSA def(y) |
| 31 | SSA phi(z) | 23 | SSA def(z) |
| 31 | SSA phi(z) | 28 | SSA def(z) |
| 34 | SSA phi(x) | 31 | SSA phi(x) |
| 34 | SSA phi(x) | 36 | SSA def(x) |
| 34 | SSA phi(y) | 31 | SSA phi(y) |
| 34 | SSA phi(y) | 35 | SSA def(y) |
| 42 | SSA phi(j) | 42 | SSA def(j) |
| 42 | SSA phi(w) | 2 | SSA def(w) |
| 42 | SSA phi(w) | 44 | SSA def(w) |
| 42 | SSA phi(y) | 34 | SSA phi(y) |
| 42 | SSA phi(y) | 43 | SSA def(y) |
| 50 | SSA phi(j) | 50 | SSA def(j) |
| 50 | SSA phi(w) | 42 | SSA phi(w) |
| 50 | SSA phi(w) | 50 | SSA phi(w) |
| 50 | SSA phi(w) | 57 | SSA def(w) |
| 50 | SSA phi(w) | 60 | SSA def(w) |
| 50 | SSA phi(x) | 39 | SSA phi(x) |
| 50 | SSA phi(x) | 50 | SSA phi(x) |
| 50 | SSA phi(x) | 63 | SSA def(x) |
| 50 | SSA phi(y) | 42 | SSA phi(y) |
| 50 | SSA phi(y) | 50 | SSA phi(y) |
| 50 | SSA phi(y) | 51 | SSA def(y) |
| 50 | SSA phi(y) | 56 | SSA phi(y) |
| 50 | SSA phi(z) | 47 | SSA def(z) |
| 50 | SSA phi(z) | 50 | SSA phi(z) |
| 50 | SSA phi(z) | 53 | SSA phi(z) |
| 50 | SSA phi(z) | 59 | SSA phi(z) |
| 64 | SSA phi(w) | 50 | SSA phi(w) |
| 64 | SSA phi(w) | 54 | SSA def(w) |
| 64 | SSA phi(y) | 50 | SSA phi(y) |
| 64 | SSA phi(y) | 53 | SSA phi(y) |
| 64 | SSA phi(z) | 50 | SSA phi(z) |
| 64 | SSA phi(z) | 53 | SSA phi(z) |
| 77 | SSA phi(a) | 74 | SSA def(a) |
| 77 | SSA phi(c) | 83 | SSA phi(c) |
| 83 | SSA phi(a) | 79 | SSA phi(a) |
| 83 | SSA phi(b) | 78 | SSA def(b) |
| 83 | SSA phi(b) | 81 | SSA def(b) |
| 83 | SSA phi(c) | 77 | SSA phi(c) |
| 83 | SSA phi(c) | 80 | SSA def(c) |
| 96 | SSA phi(x) | 94 | SSA def(x) |