1 var 32 v1 2 slice 1 1 31 31 3 var 32 v2 4 slice 1 3 31 31 5 and 1 2 -4 6 slice 31 1 30 0 7 slice 31 3 30 0 8 ult 1 6 7 9 eq 1 2 4 10 and 1 8 9 11 and 1 -5 -10 12 root 1 -11