1 var 8
2 constd 8 1
3 constd 8 0
4 ult 1 1 2
5 eq 1 1 3
6 ne 1 4 5
7 root 1 6