1 array 1 1
2 array 1 1
3 var 1
4 var 1
5 var 1
6 var 1
7 var 1
8 acond 1 1 3 1 2
9 acond 1 1 4 2 1
10 acond 1 1 5 8 9
11 acond 1 1 6 9 8
12 read 1 10 7
13 read 1 11 7
14 eq 1 1 2
15 eq 1 12 13
16 and 1 14 -15
17 root 1 16