1 var 32
2 var 32
3 and 32 1 2
4 ones 32
5 eq 1 4 3
6 eq 1 1 4
7 eq 1 2 4
8 and 1 6 7
9 ne 1 5 8
10 root 1 9