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