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