1 var 16 2 var 16 3 constd 32 103 4 concat 32 1 2 5 eq 1 3 4 6 slice 16 3 31 16 7 slice 16 3 15 0 8 eq 1 1 6 9 eq 1 2 7 10 and 1 8 9 11 eq 1 5 10 12 root 1 -11