1 var 6
2 uext 12 1 6
3 var 6
4 uext 12 3 6
5 mul 12 2 4
6 constd 12 2209
7 eq 1 5 6
8 root 1 7