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