(((((((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> ((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> #6)) -> #6) -> ((((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> ((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> #6)) -> #6) -> #7)) -> #7) -> ((((((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> ((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> #6)) -> #6) -> ((((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> ((((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> ((((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> ((((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> ((((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> ((((#0 -> #0) -> ((#0 -> #0) -> #1)) -> #1) -> #2)) -> #2) -> #3)) -> #3) -> #4)) -> #4) -> #5)) -> #5) -> #6)) -> #6) -> #7)) -> #7) -> #8)) -> #8)
Nombre d'instructions : 78
0  Clos (0,74)
1  Push
2  Get 1
3  Push
4  Clos (1,54)
5  Push
6  Get 1
7  Push
8  Clos (1,47)
9  Push
10  Get 1
11  Push
12  Clos (1,40)
13  Push
14  Get 1
15  Push
16  Clos (1,33)
17  Push
18  Clos (0,31)
19  Push
20  Get 1
21  Push
22  Get 3
23  Call
24  Drop
25  Drop
26  Drop
27  Drop
28  Drop
29  Drop
30  Stop 0
31  Get 3
32  DropReturn 0
33  Get 3
34  Push
35  EnvGet 0
36  Call
37  Push
38  EnvGet 0
39  CallTerm 0
40  Get 3
41  Push
42  EnvGet 0
43  Call
44  Push
45  EnvGet 0
46  CallTerm 0
47  Get 3
48  Push
49  EnvGet 0
50  Call
51  Push
52  EnvGet 0
53  CallTerm 0
54  Get 3
55  Push
56  Get 4
57  Push
58  EnvGet 0
59  Call
60  CallTerm 0
61  EnvGet 0
62  Push
63  EnvGet 1
64  Push
65  Get 5
66  Call
67  CallTerm 0
68  Get 3
69  Push
70  EnvGet 0
71  Push
72  Clos (2,61)
73  DropReturn 0
74  Get 3
75  Push
76  Clos (1,68)
77  DropReturn 0

========== Execution ==========



Stop (code:0)