2 in wrapper1
-pre
: fact
(15)
3 in wrapper2
-pre
: fact
(14)
4 in wrapper1
-pre
: fact
(13)
5 in wrapper2
-pre
: fact
(12)
6 in wrapper1
-pre
: fact
(11)
7 in wrapper2
-pre
: fact
(10)
8 in wrapper1
-pre
: fact
(9)
9 in wrapper2
-pre
: fact
(8)
10 in wrapper1
-pre
: fact
(7)
11 in wrapper2
-pre
: fact
(6)
12 in wrapper1
-pre
: fact
(5)
13 in wrapper2
-pre
: fact
(4)
14 in wrapper1
-pre
: fact
(3)
15 in wrapper2
-pre
: fact
(2)
16 in wrapper1
-pre
: fact
(1)
17 in wrapper2
-pre
: fact
(0)
18 in wrapper2
-post
: fact
(0) = 1
19 in wrapper1
-post
: fact
(1) = 1
20 in wrapper2
-post
: fact
(2) = 2
21 in wrapper1
-post
: fact
(3) = 6
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
(4) = 32
29 in wrapper1
-post
: fact
(5) = 160
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
36 in wrapper2
-post
: fact
(6) = 972
37 in wrapper1
-post
: fact
(7) = 6804
38 in wrapper2
-pre
: fact
(2)
39 in wrapper1
-pre
: fact
(1)
40 in wrapper2
-pre
: fact
(0)
41 in wrapper2
-post
: fact
(0) = 1
42 in wrapper1
-post
: fact
(1) = 1
43 in wrapper2
-post
: fact
(2) = 2
44 in wrapper2
-post
: fact
(8) = 54448
45 in wrapper1
-post
: fact
(9) = 490032
46 in wrapper2
-pre
: fact
(2)
47 in wrapper1
-pre
: fact
(1)
48 in wrapper2
-pre
: fact
(0)
49 in wrapper2
-post
: fact
(0) = 1
50 in wrapper1
-post
: fact
(1) = 1
51 in wrapper2
-post
: fact
(2) = 2
52 in wrapper2
-post
: fact
(10) = 4900340
53 in wrapper1
-post
: fact
(11) = 53903740
54 in wrapper2
-pre
: fact
(2)
55 in wrapper1
-pre
: fact
(1)
56 in wrapper2
-pre
: fact
(0)
57 in wrapper2
-post
: fact
(0) = 1
58 in wrapper1
-post
: fact
(1) = 1
59 in wrapper2
-post
: fact
(2) = 2
60 in wrapper2
-post
: fact
(12) = 646844904
61 in wrapper1
-post
: fact
(13) = -180950840
62 in wrapper2
-pre
: fact
(2)
63 in wrapper1
-pre
: fact
(1)
64 in wrapper2
-pre
: fact
(0)
65 in wrapper2
-post
: fact
(0) = 1
66 in wrapper1
-post
: fact
(1) = 1
67 in wrapper2
-post
: fact
(2) = 2
68 in wrapper2
-post
: fact
(14) = 1761655564
69 in wrapper1
-post
: fact
(15) = 655029684
70 in wrapper2
-pre
: fact
(2)
71 in wrapper1
-pre
: fact
(1)
72 in wrapper2
-pre
: fact
(0)
73 in wrapper2
-post
: fact
(0) = 1
74 in wrapper1
-post
: fact
(1) = 1
75 in wrapper2
-post
: fact
(2) = 2