1 constd 4 5
2 neg 4 1
3 constd 4 3
4 var 4 res
5 srem 4 2 3
6 eq 1 4 5
7 root 1 6