1 var 8
2 var 8
3 var 8
4 and 8 2 3
5 and 8 1 2
6 and 8 4 5
7 and 8 4 1
8 ne 1 6 7
9 root 1 8