1 constd 65 18446744073709551617
2 constd 65 274177
3 var 65
4 mul 65 2 3
5 eq 1 1 4
6 root 1 5