Abstract Calculus: 3 + 2

abstract_calculus_3_plus_2.txt

-- Input:
let (a0,a1) = λp. ((p λq. λr. λs. λt. (s ((a0 q) r))) λu. u) in
((a1 λb. λc. (b λd. λe. (d λf. λg. (f λh. λi. i)))) λj. λk. (j λl. λm. (l λn. λo. o)))
----------------
let (b0,b1) = (((q,a) λr. λs. λt. λu. (t ((λv. b0 r) s))) λv. v) in
((λa. b1 λc. λd. (c λe. λf. (e λg. λh. (g λi. λj. j)))) λk. λl. (k λm. λn. (m λo. λp. p)))
----------------
let (a0,a1) = (((h,λi. λj. (i λk. λl. (k λm. λn. (m λo. λp. p)))) λq. λr. λs. λt. (s ((λu. a0 q) r))) λu. u) in
(a1 λb. λc. (b λd. λe. (d λf. λg. g)))
----------------
let (i0,i1) = λs. λt. λu. λv. (u ((λw. a0 s) t)) in
let (a0,a1) = (((h i0),(λj. λk. (j λl. λm. (l λn. λo. (n λp. λq. q))) i1)) λr. r) in
(a1 λb. λc. (b λd. λe. (d λf. λg. g)))
----------------
let (i0,i1) = λt. λu. λv. λw. (v ((λx. a0 t) u)) in
let (j0,j1) = λs. s in
let (a0,a1) = (((h i0) j0),((λk. λl. (k λm. λn. (m λo. λp. (o λq. λr. r))) i1) j1)) in
(a1 λb. λc. (b λd. λe. (d λf. λg. g)))
----------------
let (i0,i1) = λr. λs. λt. λu. (t ((λv. ((v i0) j0) r) s)) in
let (j0,j1) = λq. q in
(((λa. λb. (a λc. λd. (c λe. λf. (e λg. λh. h))) i1) j1) λk. λl. (k λm. λn. (m λo. λp. p)))
----------------
let (b0,b1) = λq. λr. λs. λt. (s ((λu. ((u b0) i0) q) r)) in
let (i0,i1) = λp. p in
((λa. (b1 λc. λd. (c λe. λf. (e λg. λh. h))) i1) λj. λk. (j λl. λm. (l λn. λo. o)))
----------------
let (s0,s1) = λt. t in
let (a0,a1) = λn. λo. λp. λq. (p ((λr. ((r a0) s0) n) o)) in
((a1 λb. λc. (b λd. λe. (d λf. λg. g))) λh. λi. (h λj. λk. (j λl. λm. m)))
----------------
let (t0,t1) = λu. u in
let (b0,b1) = λo. λp. λq. (p ((λr. ((r λs. b0) t0) (s,a)) o)) in
((λa. b1 λc. λd. (c λe. λf. (e λg. λh. h))) λi. λj. (i λk. λl. (k λm. λn. n)))
----------------
let (m0,m1) = λt. t in
let (a0,a1) = λh. λi. λj. (i ((λk. ((k λl. a0) m0) (l,λn. λo. (n λp. λq. (p λr. λs. s)))) h)) in
(a1 λb. λc. (b λd. λe. (d λf. λg. g)))
----------------
let (n0,n1) = λu. u in
let (b0,b1) = λi. λj. (i ((λk. ((k λl. λm. b0) n0) (l,λo. λp. (o λq. λr. (q λs. λt. t)))) (m,a))) in
(λa. b1 λc. λd. (c λe. λf. (e λg. λh. h)))
----------------
let (g0,g1) = λt. t in
let (a0,a1) = λb. λc. (b ((λd. ((d λe. λf. a0) g0) (e,λh. λi. (h λj. λk. (j λl. λm. m)))) (f,λn. λo. (n λp. λq. (p λr. λs. s))))) in
a1
----------------
let (h0,h1) = λu. u in
let (b0,b1) = λc. ((d,a) ((λe. ((e λf. λg. λh. b0) h0) (f,λi. λj. (i λk. λl. (k λm. λn. n)))) (g,λo. λp. (o λq. λr. (q λs. λt. t))))) in
λa. b1
----------------
let (i0,i1) = λv. v in
let (e0,e1) = ((λf. ((f λg. λh. λi. b0) i0) (g,λj. λk. (j λl. λm. (l λn. λo. o)))) (h,λp. λq. (p λr. λs. (r λt. λu. u)))) in
let (b0,b1) = λc. ((d e0),(a e1)) in
λa. b1
----------------
let (n0,n1) = λu. u in
let (e0,e1) = ((((f,λg. λh. (g λi. λj. (i λk. λl. l))) λm. λm. λn. b0) n0) (m,λo. λp. (o λq. λr. (q λs. λt. t)))) in
let (b0,b1) = λc. ((d e0),(a e1)) in
λa. b1
----------------
let (g0,g1) = λw. λw. λw. b0 in
let (n0,n1) = λv. v in
let (e0,e1) = ((((f g0),(λh. λi. (h λj. λk. (j λl. λm. m)) g1)) n0) (o,λp. λq. (p λr. λs. (r λt. λu. u)))) in
let (b0,b1) = λc. ((d e0),(a e1)) in
λa. b1
----------------
let (g0,g1) = λx. λx. λx. b0 in
let (v0,v1) = λw. w in
let (h0,h1) = v0 in
let (e0,e1) = ((((f g0) h0),((λi. λj. (i λk. λl. (k λm. λn. n)) g1) h1)) (o,λp. λq. (p λr. λs. (r λt. λu. u)))) in
let (b0,b1) = λc. ((d e0),(a e1)) in
λa. b1
----------------
let (g0,g1) = λy. λy. λy. b0 in
let (w0,w1) = λx. x in
let (h0,h1) = w0 in
let (i0,i1) = (p,λq. λr. (q λs. λt. (s λu. λv. v))) in
let (e0,e1) = ((((f g0) h0) i0),(((λj. λk. (j λl. λm. (l λn. λo. o)) g1) h1) i1)) in
let (b0,b1) = λc. ((d e0),(a e1)) in
λa. b1
----------------
let (f0,f1) = λx. λx. λx. b0 in
let (v0,v1) = λw. w in
let (g0,g1) = v0 in
let (h0,h1) = (o,λp. λq. (p λr. λs. (r λt. λu. u))) in
let (b0,b1) = λc. ((d (((e f0) g0) h0)),(a (((λi. λj. (i λk. λl. (k λm. λn. n)) f1) g1) h1))) in
λa. b1
----------------
let (f0,f1) = λw. λw. λw. b0 in
let (u0,u1) = λv. v in
let (g0,g1) = u0 in
let (h0,h1) = (n,λo. λp. (o λq. λr. (q λs. λt. t))) in
let (b0,b1) = λc. ((d (((e f0) g0) h0)),(a ((λi. (f1 λj. λk. (j λl. λm. m)) g1) h1))) in
λa. b1
----------------
let (f0,f1) = λv. λv. λv. b0 in
let (t0,t1) = λu. u in
let (g0,g1) = t0 in
let (h0,h1) = (m,λn. λo. (n λp. λq. (p λr. λs. s))) in
let (b0,b1) = λc. ((d (((e f0) g0) h0)),(a ((f1 λi. λj. (i λk. λl. l)) h1))) in
λa. b1
----------------
let (g0,g1) = λw. λw. b0 in
let (u0,u1) = λv. v in
let (h0,h1) = u0 in
let (i0,i1) = (n,λo. λp. (o λq. λr. (q λs. λt. t))) in
let (b0,b1) = λc. ((d ((((e,f) λg. g0) h0) i0)),(a ((λj. g1 λj. λk. (j λl. λm. m)) i1))) in
λa. b1
----------------
let (j0,j1) = λv. λv. b0 in
let (t0,t1) = λu. u in
let (k0,k1) = t0 in
let (l0,l1) = (m,λn. λo. (n λp. λq. (p λr. λs. s))) in
let (b0,b1) = λc. ((d ((((e,λf. λg. (f λh. λi. i)) λj. j0) k0) l0)),(a (j1 l1))) in
λa. b1
----------------
let (k0,k1) = λw. b0 in
let (u0,u1) = λv. v in
let (l0,l1) = u0 in
let (m0,m1) = ((j,n),λo. λp. (o λq. λr. (q λs. λt. t))) in
let (b0,b1) = λc. ((d ((((e,λf. λg. (f λh. λi. i)) λj. λj. k0) l0) m0)),(a (λn. k1 m1))) in
λa. b1
----------------
let (k0,k1) = λv. b0 in
let (t0,t1) = λu. u in
let (l0,l1) = t0 in
let (m0,m1) = ((j,m1),λn. λo. (n λp. λq. (p λr. λs. s))) in
let (b0,b1) = λc. ((d ((((e,λf. λg. (f λh. λi. i)) λj. λj. k0) l0) m0)),(a k1)) in
λa. b1
----------------
let (l0,l1) = b0 in
let (u0,u1) = λv. v in
let (m0,m1) = u0 in
let (n0,n1) = ((k,n1),λo. λp. (o λq. λr. (q λs. λt. t))) in
let (b0,b1) = λc. (((d,e) ((((f,λg. λh. (g λi. λj. j)) λk. λk. λl. l0) m0) n0)),(a λo. l1)) in
λa. b1
----------------
let (v0,v1) = λw. w in
let (n0,n1) = v0 in
let (o0,o1) = ((m,o1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (e0,e1) = ((((h,λi. λj. (i λk. λl. l)) λm. λm. λn. g0) n0) o0) in
let (g0,g1) = b0 in
let (b0,b1) = λc. (((d e0),(f e1)),(a λg. g1)) in
λa. b1
----------------
let (i0,i1) = λy. λy. λy. g0 in
let (w0,w1) = λx. x in
let (n0,n1) = w0 in
let (o0,o1) = ((p,o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (e0,e1) = ((((h i0),(λj. λk. (j λl. λm. m) i1)) n0) o0) in
let (g0,g1) = b0 in
let (b0,b1) = λc. (((d e0),(f e1)),(a λg. g1)) in
λa. b1
----------------
let (i0,i1) = λz. λz. λz. g0 in
let (x0,x1) = λy. y in
let (w0,w1) = x0 in
let (j0,j1) = w0 in
let (o0,o1) = ((p,o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (e0,e1) = ((((h i0) j0),((λk. λl. (k λm. λn. n) i1) j1)) o0) in
let (g0,g1) = b0 in
let (b0,b1) = λc. (((d e0),(f e1)),(a λg. g1)) in
λa. b1
----------------
let (i0,i1) = λaa. λaa. λaa. g0 in
let (y0,y1) = λz. z in
let (x0,x1) = y0 in
let (j0,j1) = x0 in
let (p0,p1) = ((q,p1),λr. λs. (r λt. λu. (t λv. λw. w))) in
let (k0,k1) = p0 in
let (e0,e1) = ((((h i0) j0) k0),(((λl. λm. (l λn. λo. o) i1) j1) k1)) in
let (g0,g1) = b0 in
let (b0,b1) = λc. (((d e0),(f e1)),(a λg. g1)) in
λa. b1
----------------
let (f0,f1) = λz. λz. λz. n0 in
let (x0,x1) = λy. y in
let (w0,w1) = x0 in
let (g0,g1) = w0 in
let (o0,o1) = ((p,o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (h0,h1) = o0 in
let (n0,n1) = b0 in
let (b0,b1) = λc. (((d (((e f0) g0) h0)),(i (((λj. λk. (j λl. λm. m) f1) g1) h1))),(a λn. n1)) in
λa. b1
----------------
let (f0,f1) = λy. λy. λy. m0 in
let (w0,w1) = λx. x in
let (v0,v1) = w0 in
let (g0,g1) = v0 in
let (n0,n1) = ((o,n1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (h0,h1) = n0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. (((d (((e f0) g0) h0)),(i ((λj. (f1 λk. λl. l) g1) h1))),(a λm. m1)) in
λa. b1
----------------
let (f0,f1) = λx. λx. λx. l0 in
let (v0,v1) = λw. w in
let (u0,u1) = v0 in
let (g0,g1) = u0 in
let (m0,m1) = ((n,m1),λo. λp. (o λq. λr. (q λs. λt. t))) in
let (h0,h1) = m0 in
let (l0,l1) = b0 in
let (b0,b1) = λc. (((d (((e f0) g0) h0)),(i ((f1 λj. λk. k) h1))),(a λl. l1)) in
λa. b1
----------------
let (g0,g1) = λy. λy. m0 in
let (w0,w1) = λx. x in
let (v0,v1) = w0 in
let (h0,h1) = v0 in
let (n0,n1) = ((o,n1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (i0,i1) = n0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. (((d ((((e,f) λg. g0) h0) i0)),(j ((λk. g1 λk. λl. l) i1))),(a λm. m1)) in
λa. b1
----------------
let (h0,h1) = λx. λx. l0 in
let (v0,v1) = λw. w in
let (u0,u1) = v0 in
let (i0,i1) = u0 in
let (m0,m1) = ((n,m1),λo. λp. (o λq. λr. (q λs. λt. t))) in
let (j0,j1) = m0 in
let (l0,l1) = b0 in
let (b0,b1) = λc. (((d ((((e,λf. λg. g) λh. h0) i0) j0)),(k (h1 j1))),(a λl. l1)) in
λa. b1
----------------
let (i0,i1) = λy. n0 in
let (w0,w1) = λx. x in
let (v0,v1) = w0 in
let (j0,j1) = v0 in
let (o0,o1) = (((h,m),o1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (k0,k1) = o0 in
let (n0,n1) = b0 in
let (b0,b1) = λc. (((d ((((e,λf. λg. g) λh. λh. i0) j0) k0)),(l (λm. i1 k1))),(a λn. n1)) in
λa. b1
----------------
let (i0,i1) = λx. m0 in
let (v0,v1) = λw. w in
let (u0,u1) = v0 in
let (j0,j1) = u0 in
let (n0,n1) = (((h,k1),n1),λo. λp. (o λq. λr. (q λs. λt. t))) in
let (k0,k1) = n0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. (((d ((((e,λf. λg. g) λh. λh. i0) j0) k0)),(l i1)),(a λm. m1)) in
λa. b1
----------------
let (j0,j1) = n0 in
let (w0,w1) = λx. x in
let (v0,v1) = w0 in
let (k0,k1) = v0 in
let (o0,o1) = (((i,l1),o1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (l0,l1) = o0 in
let (n0,n1) = b0 in
let (b0,b1) = λc. ((((d,e) ((((f,λg. λh. h) λi. λi. λj. j0) k0) l0)),(m λn. j1)),(a λn. n1)) in
λa. b1
----------------
let (x0,x1) = λy. y in
let (w0,w1) = x0 in
let (n0,n1) = w0 in
let (p0,p1) = (((m,o1),p1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (o0,o1) = p0 in
let (e0,e1) = ((((j,λk. λl. l) λm. λm. λn. h0) n0) o0) in
let (h0,h1) = i0 in
let (i0,i1) = b0 in
let (b0,b1) = λc. ((((d e0),(f e1)),(g λh. h1)),(a λi. i1)) in
λa. b1
----------------
let (k0,k1) = λaa. λaa. λaa. h0 in
let (y0,y1) = λz. z in
let (x0,x1) = y0 in
let (n0,n1) = x0 in
let (p0,p1) = (((q,o1),p1),λr. λs. (r λt. λu. (t λv. λw. w))) in
let (o0,o1) = p0 in
let (e0,e1) = ((((j k0),(λl. λm. m k1)) n0) o0) in
let (h0,h1) = i0 in
let (i0,i1) = b0 in
let (b0,b1) = λc. ((((d e0),(f e1)),(g λh. h1)),(a λi. i1)) in
λa. b1
----------------
let (k0,k1) = λba. λba. λba. h0 in
let (z0,z1) = λaa. aa in
let (y0,y1) = z0 in
let (x0,x1) = y0 in
let (l0,l1) = x0 in
let (p0,p1) = (((q,o1),p1),λr. λs. (r λt. λu. (t λv. λw. w))) in
let (o0,o1) = p0 in
let (e0,e1) = ((((j k0) l0),((λm. λn. n k1) l1)) o0) in
let (h0,h1) = i0 in
let (i0,i1) = b0 in
let (b0,b1) = λc. ((((d e0),(f e1)),(g λh. h1)),(a λi. i1)) in
λa. b1
----------------
let (k0,k1) = λca. λca. λca. h0 in
let (aa0,aa1) = λba. ba in
let (z0,z1) = aa0 in
let (y0,y1) = z0 in
let (l0,l1) = y0 in
let (q0,q1) = (((r,p1),q1),λs. λt. (s λu. λv. (u λw. λx. x))) in
let (p0,p1) = q0 in
let (m0,m1) = p0 in
let (e0,e1) = ((((j k0) l0) m0),(((λn. λo. o k1) l1) m1)) in
let (h0,h1) = i0 in
let (i0,i1) = b0 in
let (b0,b1) = λc. ((((d e0),(f e1)),(g λh. h1)),(a λi. i1)) in
λa. b1
----------------
let (f0,f1) = λba. λba. λba. m0 in
let (z0,z1) = λaa. aa in
let (y0,y1) = z0 in
let (x0,x1) = y0 in
let (g0,g1) = x0 in
let (p0,p1) = (((q,o1),p1),λr. λs. (r λt. λu. (t λv. λw. w))) in
let (o0,o1) = p0 in
let (h0,h1) = o0 in
let (m0,m1) = n0 in
let (n0,n1) = b0 in
let (b0,b1) = λc. ((((d (((e f0) g0) h0)),(i (((λj. λk. k f1) g1) h1))),(l λm. m1)),(a λn. n1)) in
λa. b1
----------------
let (f0,f1) = λaa. λaa. λaa. l0 in
let (y0,y1) = λz. z in
let (x0,x1) = y0 in
let (w0,w1) = x0 in
let (g0,g1) = w0 in
let (o0,o1) = (((p,n1),o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (n0,n1) = o0 in
let (h0,h1) = n0 in
let (l0,l1) = m0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. ((((d (((e f0) g0) h0)),(i ((λj. j g1) h1))),(k λl. l1)),(a λm. m1)) in
λa. b1
----------------
let (f0,f1) = λz. λz. λz. k0 in
let (x0,x1) = λy. y in
let (w0,w1) = x0 in
let (v0,v1) = w0 in
let (g0,g1) = v0 in
let (n0,n1) = (((o,m1),n1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (m0,m1) = n0 in
let (h0,h1) = m0 in
let (k0,k1) = l0 in
let (l0,l1) = b0 in
let (b0,b1) = λc. ((((d (((e f0) g0) h0)),(i (g1 h1))),(j λk. k1)),(a λl. l1)) in
λa. b1
----------------
let (f0,f1) = λaa. λaa. λaa. k0 in
let (y0,y1) = (x,z) in
let (w0,w1) = λx. y0 in
let (v0,v1) = w0 in
let (g0,g1) = v0 in
let (n0,n1) = (((o,m1),n1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (m0,m1) = n0 in
let (h0,h1) = m0 in
let (k0,k1) = l0 in
let (l0,l1) = b0 in
let (b0,b1) = λc. ((((d (((e f0) g0) h0)),(i (g1 h1))),(j λk. k1)),(a λl. l1)) in
λa. b1
----------------
let (y0,y1) = ((x,f),z) in
let (g0,g1) = y0 in
let (w0,w1) = λx. g0 in
let (h0,h1) = w0 in
let (o0,o1) = (((p,n1),o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (n0,n1) = o0 in
let (i0,i1) = n0 in
let (l0,l1) = m0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. g1) h0) i0)),(j (h1 i1))),(k λl. l1)),(a λm. m1)) in
λa. b1
----------------
let (y0,y1) = (((w,z),f),aa) in
let (g0,g1) = y0 in
let (x0,x1) = g0 in
let (h0,h1) = λw. x0 in
let (o0,o1) = (((p,n1),o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (n0,n1) = o0 in
let (i0,i1) = n0 in
let (l0,l1) = m0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. g1) h0) i0)),(j (h1 i1))),(k λl. l1)),(a λm. m1)) in
λa. b1
----------------
let (z0,z1) = ((((h,l),aa),f),ba) in
let (g0,g1) = z0 in
let (y0,y1) = g0 in
let (i0,i1) = y0 in
let (q0,q1) = (((r,p1),q1),λs. λt. (s λu. λv. (u λw. λx. x))) in
let (p0,p1) = q0 in
let (j0,j1) = p0 in
let (n0,n1) = o0 in
let (o0,o1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. g1) λh. i0) j0)),(k (λl. i1 j1))),(m λn. n1)),(a λo. o1)) in
λa. b1
----------------
let (y0,y1) = ((((h,j1),z),f),aa) in
let (g0,g1) = y0 in
let (x0,x1) = g0 in
let (i0,i1) = x0 in
let (p0,p1) = (((q,o1),p1),λr. λs. (r λt. λu. (t λv. λw. w))) in
let (o0,o1) = p0 in
let (j0,j1) = o0 in
let (m0,m1) = n0 in
let (n0,n1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. g1) λh. i0) j0)),(k i1)),(l λm. m1)),(a λn. n1)) in
λa. b1
----------------
let (g0,g1) = (((h,j1),y),f) in
let (x0,x1) = g0 in
let (i0,i1) = x0 in
let (p0,p1) = (((q,o1),p1),λr. λs. (r λt. λu. (t λv. λw. w))) in
let (o0,o1) = p0 in
let (j0,j1) = o0 in
let (m0,m1) = n0 in
let (n0,n1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. g1) λh. i0) j0)),(k i1)),(l λm. m1)),(a λn. n1)) in
λa. b1
----------------
let (w0,w1) = ((g,i1),x) in
let (h0,h1) = w0 in
let (o0,o1) = (((p,n1),o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (n0,n1) = o0 in
let (i0,i1) = n0 in
let (l0,l1) = m0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. f) λg. h0) i0)),(j h1)),(k λl. l1)),(a λm. m1)) in
λa. b1
----------------
let (h0,h1) = (g,i1) in
let (o0,o1) = (((p,n1),o1),λq. λr. (q λs. λt. (s λu. λv. v))) in
let (n0,n1) = o0 in
let (i0,i1) = n0 in
let (l0,l1) = m0 in
let (m0,m1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. f) λg. h0) i0)),(j h1)),(k λl. l1)),(a λm. m1)) in
λa. b1
----------------
let (n0,n1) = (((o,m1),n1),λp. λq. (p λr. λs. (r λt. λu. u))) in
let (m0,m1) = n0 in
let (h0,h1) = m0 in
let (k0,k1) = l0 in
let (l0,l1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. f) λg. g) h0)),(i h1)),(j λk. k1)),(a λl. l1)) in
λa. b1
----------------
let (m0,m1) = ((n,m1),λo. λp. (o λq. λr. (q λs. λt. t))) in
let (h0,h1) = m0 in
let (k0,k1) = l0 in
let (l0,l1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. f) λg. g) h0)),(i h1)),(j λk. k1)),(a λl. l1)) in
λa. b1
----------------
let (h0,h1) = (m,λn. λo. (n λp. λq. (p λr. λs. s))) in
let (k0,k1) = l0 in
let (l0,l1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. f) λg. g) h0)),(i h1)),(j λk. k1)),(a λl. l1)) in
λa. b1
----------------
let (q0,q1) = r0 in
let (r0,r1) = b0 in
let (b0,b1) = λc. ((((d (((e λf. f) λg. g) h)),(i λj. λk. (j λl. λm. (l λn. λo. o)))),(p λq. q1)),(a λr. r1)) in
λa. b1
----------------
let (q0,q1) = r0 in
let (r0,r1) = λs. c0 in
let (c0,c1) = ((((d (((e λf. f) λg. g) h)),(i λj. λk. (j λl. λm. (l λn. λo. o)))),(p λq. q1)),(a λr. r1)) in
λa. λb. c1
----------------
let (r0,r1) = d0 in
let (d0,d1) = λe. (((f (((g λh. h) λi. i) j)),(k λl. λm. (l λn. λo. (n λp. λq. q)))),(c λr. r1)) in
λa. λb. (a λc. d1)
----------------
let (r0,r1) = λs. e0 in
let (e0,e1) = (((f (((g λh. h) λi. i) j)),(k λl. λm. (l λn. λo. (n λp. λq. q)))),(c λr. r1)) in
λa. λb. (a λc. λd. e1)
----------------
let (f0,f1) = λg. ((h (((i λj. j) λk. k) l)),(e λm. λn. (m λo. λp. (o λq. λr. r)))) in
λa. λb. (a λc. λd. (c λe. f1))
----------------
let (g0,g1) = ((h (((i λj. j) λk. k) l)),(e λm. λn. (m λo. λp. (o λq. λr. r)))) in
λa. λb. (a λc. λd. (c λe. λf. g1))
----------------
λa. λb. (a λc. λd. (c λe. λf. (e λg. λh. (g λi. λj. (i λk. λl. l)))))