1 const 32 01111111111111111111011111010000
2 const 32 01111111111111111111101111100110
3 const 32 01111111111111111111101111100010
4 var 8 bvlambda_13_
5 param 32
6 param 32
7 param 32
8 param 32
9 param 32
10 const 8 00000000
11 lambda 8 32 5 10
12 write 8 32 11 1 4
13 var 1 
14 var 1 
15 const 8 00000000
16 const 32 00000000000000000000000000000000
17 add 32 8 16
18 var 32 
19 add 32 18 17
20 read 8 12 19
21 const 1 1
22 cond 8 21 20 15
23 lambda 8 32 8 22
24 const 8 00000000
25 lambda 8 32 7 24
26 acond 8 32 13 25 23
27 const 8 00000000
28 add 32 6 16
29 add 32 18 28
30 read 8 12 29
31 const 1 1
32 cond 8 31 30 27
33 lambda 8 32 6 32
34 acond 8 32 14 33 26
35 read 8 34 2
36 const 8 00000000
37 lambda 8 32 9 36
38 const 1 1
39 write 8 32 37 3 35
40 const 1 1
41 const 1 1
42 read 8 39 3
43 const 8 00000000
44 eq 1 43 42
45 const 1 1
46 and 1 45 44
47 and 1 46 41
48 and 1 47 40
49 const 1 0
50 const 1 0
51 const 1 0
52 and 1 38 -48
53 const 1 1
54 and 1 53 -52
55 and 1 54 -51
56 and 1 55 -50
57 and 1 56 -49
58 root 1 -57