1 array 7 4
2 var 4
3 var 4
4 var 4
5 var 2
6 var 2 
7 concat 4 5 6
8 eq 1 2 3
9 eq 1 4 7
10 eq 1 3 4
11 and 1 8 9
12 and 1 11 10
13 read 7 1 2 
14 read 7 1 3 
15 read 7 1 4 
16 read 7 1 7 
17 eq 1 13 14
18 eq 1 15 16
19 eq 1 14 15
20 and 1 17 18
21 and 1 20 19
22 or 1 -12 21
23 root 1 -22