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