1 var 8 
2 var 8 
3 udiv 8 1 2
4 zero 8 
5 ne 1 2 4
6 ulte 1 3 1
7 implies 1 5 6
8 root 1 -7