1 var 3
2 slice 1 1 0 0
3 var 1
4 var 1
5 eq 1 2 4
6 and 1 3 5
7 and 1 2 6
8 root 1 7