1 array 1 1
2 array 1 1
3 var 1
4 var 1
5 var 1
6 var 1
7 read 1 1 3
8 read 1 1 4
9 read 1 2 5
10 read 1 2 6
11 ult 1 7 8
12 ult 1 9 10
13 ult 1 3 4
14 ult 1 5 6
15 iff 1 13 14
16 and 1 11 12
17 and 1 15 16
18 ne 1 1 2
19 and 1 17 18
20 root 1 19