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