1 var 32 v1 2 const 32 10000000000000000000000000000000 3 eq 1 1 2 4 var 32 v2 5 zero 32 6 eq 1 4 -5 7 and 1 3 6 8 root 1 7