2 in wrapper1
-pre
: fact
(7)
3 in wrapper2
-pre
: fact
(6)
4 in wrapper1
-pre
: fact
(5)
5 in wrapper2
-pre
: fact
(4)
6 in wrapper1
-pre
: fact
(3)
7 in wrapper2
-pre
: fact
(2)
8 in wrapper1
-pre
: fact
(1)
9 in wrapper2
-pre
: fact
(0)
10 in wrapper2
-post
: fact
(0) = 1
11 in wrapper1
-post
: fact
(1) = 1
12 in wrapper2
-post
: fact
(2) = 2
13 in wrapper1
-post
: fact
(3) = 6
14 in wrapper2
-pre
: fact
(2)
15 in wrapper1
-pre
: fact
(1)
16 in wrapper2
-pre
: fact
(0)
17 in wrapper2
-post
: fact
(0) = 1
18 in wrapper1
-post
: fact
(1) = 1
19 in wrapper2
-post
: fact
(2) = 2
20 in wrapper2
-post
: fact
(4) = 32
21 in wrapper1
-post
: fact
(5) = 160
22 in wrapper2
-pre
: fact
(2)
23 in wrapper1
-pre
: fact
(1)
24 in wrapper2
-pre
: fact
(0)
25 in wrapper2
-post
: fact
(0) = 1
26 in wrapper1
-post
: fact
(1) = 1
27 in wrapper2
-post
: fact
(2) = 2
28 in wrapper2
-post
: fact
(6) = 972
29 in wrapper1
-post
: fact
(7) = 6804
30 in wrapper2
-pre
: fact
(2)
31 in wrapper1
-pre
: fact
(1)
32 in wrapper2
-pre
: fact
(0)
33 in wrapper2
-post
: fact
(0) = 1
34 in wrapper1
-post
: fact
(1) = 1
35 in wrapper2
-post
: fact
(2) = 2
