12 absAnd a b = head [a,b]
15 = (absIf (absAnd (s_3_0 n) one)
17 (fac0 (absAnd (s_3_2 n) one) (absAnd (s_3_1 n) (s_2_1 a))))
23 = (absIf (absAnd (s_3_0 p) one)
24 (absAnd (s_1_0 x) (s_3_0 z))
26 (g0 (s_1_0 y) one one (absAnd (s_3_1 p) one))
27 (g1 (s_3_2 z) (s_3_1 z) one (absAnd (s_3_2 p) one))))
37 = (fac_rec fac_rec4 n a)
39 fac_rec4 n a = (fac_rec fac_rec3 n a)
40 fac_rec3 n a = (fac_rec fac_rec2 n a)
41 fac_rec2 n a = (fac_rec fac_rec1 n a)
42 fac_rec1 n a = (fac_rec fac_rec0 n a)
43 fac_rec0 n a = (bottom [n,a])
48 f_rec2 a = (f_rec f_rec1 a)
49 f_rec1 a = (f_rec f_rec0 a)
50 f_rec0 a = (bottom [a])
53 = (g_rec g_rec16 g_rec16 x y z p)
55 g_rec16 x y z p = (g_rec g_rec15 g_rec15 x y z p)
56 g_rec15 x y z p = (g_rec g_rec14 g_rec14 x y z p)
57 g_rec14 x y z p = (g_rec g_rec13 g_rec13 x y z p)
58 g_rec13 x y z p = (g_rec g_rec12 g_rec12 x y z p)
59 g_rec12 x y z p = (g_rec g_rec11 g_rec11 x y z p)
60 g_rec11 x y z p = (g_rec g_rec10 g_rec10 x y z p)
61 g_rec10 x y z p = (g_rec g_rec9 g_rec9 x y z p)
62 g_rec9 x y z p = (g_rec g_rec8 g_rec8 x y z p)
63 g_rec8 x y z p = (g_rec g_rec7 g_rec7 x y z p)
64 g_rec7 x y z p = (g_rec g_rec6 g_rec6 x y z p)
65 g_rec6 x y z p = (g_rec g_rec5 g_rec5 x y z p)
66 g_rec5 x y z p = (g_rec g_rec4 g_rec4 x y z p)
67 g_rec4 x y z p = (g_rec g_rec3 g_rec3 x y z p)
68 g_rec3 x y z p = (g_rec g_rec2 g_rec2 x y z p)
69 g_rec2 x y z p = (g_rec g_rec1 g_rec1 x y z p)
70 g_rec1 x y z p = (g_rec g_rec0 g_rec0 x y z p)
71 g_rec0 x y z p = (bottom [x,y,z,p])