1 var 16 2 var 16 3 concat 32 1 2 4 constd 32 103 5 eq 1 3 4 6 slice 16 4 31 16 7 slice 16 4 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