1 var 17
2 uext 34 1 17
3 mul 34 2 2
4 constd 34 4295098369
5 eq 1 3 4
6 root 1 5