1 array 8 8
2 array 8 8
3 array 8 8
4 ne 1 1 2
5 ne 1 2 3
6 ne 1 1 3
7 and 1 4 5
8 implies 1 7 6
9 root 1 -8