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