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