1 var 1
2 var 1
3 var 16
4 zero 3
5 var 1
6 var 1
7 and 1 5 -6
8 concat 4 4 -7
9 srl 16 -3 8
10 slice 4 9 12 9
11 concat 5 2 10
12 zero 5
13 add 5 11 -12
14 slice 1 13 4 4
15 and 1 1 14
16 var 1
17 var 1
18 and 1 -7 -17
19 array 1 1
20 write 1 1 19 2 2
21 slice 1 9 6 6
22 eq 1 17 21
23 read 1 20 22
24 and 1 18 -23
25 and 1 16 24
26 and 1 -15 25
27 root 1 26