1 var 11 v0
2 var 4 v4
3 var 4 v6
4 const 3 000
5 const 10 0000000000
6 const 4 1110
7 and 4 -3 6
8 and 4 3 -6
9 and 4 -7 -8
10 slice 3 9 3 1
11 slice 1 9 0 0
12 eq 1 4 10
13 var 3 lambda_2_
14 slice 1 2 3 3
15 slice 3 2 2 0
16 eq 1 -13 15
17 eq 1 -11 14
18 and 1 16 17
19 concat 11 5 18
20 mul 11 1 19
21 slice 1 20 10 10
22 slice 10 20 9 0
23 eq 1 5 22
24 root 1 12
25 root 1 21
26 root 1 23