1 var 5
2 mul 5 1 1
3 constd 5 25
4 eq 1 2 3
5 umulo 1 1 1
6 and 1 4 -5
7 root 1 6