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