1 var 9
2 uext 18 1 9
3 mul 18 2 2
4 constd 18 65537
5 eq 1 3 4
6 root 1 5