λi.λo.λi.λf.λp.f (λp.p (λx.λy.x) p) (λp.p (λx.λy.y) p) (λf.λx.f (x x) (λx.f (x x)) (λread_line.λi.i (λj.λc.λm.λn.λm.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) m n (λm.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n m) (λx.λy.y) c (λf.λx.f (f (f (f (f (f (f (f (f (f x)))))))))) (λx.λy.λz.z x y j (λx.λx.λy.x)) (λres.λx.λy.λz.z x y (λp.p (λx.λy.x) res) (λx.λy.λz.z x y c (λp.p (λx.λy.y) res)) (read_line j)))) i) i (λj.λs.λi.λf.λp.f (λp.p (λx.λy.x) p) (λp.p (λx.λy.y) p) (λf.λx.f (x x) (λx.f (x x)) (λread_line.λi.i (λj.λc.λm.λn.λm.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) m n (λm.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n m) (λx.λy.y) c (λf.λx.f (f (f (f (f (f (f (f (f (f x)))))))))) (λx.λy.λz.z x y j (λx.λx.λy.x)) (λres.λx.λy.λz.z x y (λp.p (λx.λy.x) res) (λx.λy.λz.z x y c (λp.p (λx.λy.y) res)) (read_line j)))) i) j (λk.λt.λf.λx.f (x x) (λx.f (x x)) (λwrite.λo.λl.λp.p (λx.λy.λx.λy.y) l o (write (o (λp.p (λx.λy.x) l)) (λp.p(λx.λy.y) l))) o (λn.λf.λx.f (x x) (λx.f (x x)) (λreverse.λl.λp.p (λx.λy.λx.λy.y) l l (λf.λx.f (x x) (λx.f (x x)) (λappend.λl.λe.λp.p (λx.λy.λx.λy.y) l (λx.λy.λz.z x y e (λx.λx.λy.x)) (λx.λy.λz.z x y (λp.p (λx.λy.x) l) (append (λp.p (λx.λy.y) l) e))) (reverse (λp.p (λx.λy.y) l)) (λp.p (λx.λy.x) l))) (λf.λx.f (x x) (λx.f (x x)) (λitos.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.λp.p (λx.λy.x) (λf.λx.f (x x) (λx.f (x x)) (λdiv.λq.λm.λn.λm.λn.λb.b (λx.λy.y) (λx.λy.x) (λm.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n m) m n (λx.λy.λz.z x y q m) (div (λn.λf.λx.f (n f x) q) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n)) (λf.λx.x) m n) n (λf.λx.f (f (f (f (f (f (f (f (f (f x))))))))))) (λx.λy.λz.z x y (λm.λn.m (λn.λf.λx.f (n f x)) n n (λf.λx.f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))))))))))))))))))))))))))))))))))))) (λx.λx.λy.x)) (λx.λy.λz.z x y (λm.λn.m (λn.λf.λx.f (n f x)) n (λm.λn.λp.p (λx.λy.y) (λf.λx.f (x x) (λx.f (x x)) (λdiv.λq.λm.λn.λm.λn.λb.b (λx.λy.y) (λx.λy.x) (λm.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n m) m n (λx.λy.λz.z x y q m) (div (λn.λf.λx.f (n f x) q) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n)) (λf.λx.x) m n) n (λf.λx.f (f (f (f (f (f (f (f (f (f x))))))))))) (λf.λx.f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))))))))))))))))))))))))))))))))))))) (itos (λm.λn.λp.p (λx.λy.x) (λf.λx.f (x x) (λx.f (x x)) (λdiv.λq.λm.λn.λm.λn.λb.b (λx.λy.y) (λx.λy.x) (λm.λn.λn.n (λx.λx.λy.y) (λx.λy.x) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n m) m n(λx.λy.λz.z x y q m) (div (λn.λf.λx.f (n f x) q) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m m n) n)) (λf.λx.x) m n) n (λf.λx.f (f (f (f (f (f (f (f (f (f x)))))))))))))) n) (λm.λn.m (λn.λf.λx.f (n f x)) n (λl.λf.λx.f (x x) (λx.f(x x)) (λstoi.λl.λp.p (λx.λy.λx.λy.y) (λp.p (λx.λy.y) l) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m (λp.p (λx.λy.x) l) (λf.λx.f (f (f (f (f (f (f (f(f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))))))))))))))))))))))))))))))))))))) (λm.λn.m (λn.λf.λx.f (n f x)) n (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f))(λu.x) (λx.x)) m (λp.p (λx.λy.x) l) (λf.λx.f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))))))))))))))))))))))))))))))))))))) (λm.λn.m (λm.λn.m (λn.λf.λx.f (n f x)) n n) (λx.λy.y) (stoi (λp.p (λx.λy.y) l)) (λf.λx.f (f (f (f (f (f (f (f (f (f x))))))))))))) (λf.λx.f (x x) (λx.f (x x)) (λreverse.λl.λp.p (λx.λy.λx.λy.y) l l (λf.λx.f (x x) (λx.f (x x)) (λappend.λl.λe.λp.p (λx.λy.λx.λy.y) l (λx.λy.λz.z x y e (λx.λx.λy.x)) (λx.λy.λz.z x y (λp.p (λx.λy.x) l) (append (λp.p (λx.λy.y) l) e))) (reverse (λp.p (λx.λy.y) l)) (λp.p (λx.λy.x) l))) l) s) (λl.λf.λx.f (x x) (λx.f (x x)) (λstoi.λl.λp.p (λx.λy.λx.λy.y) (λp.p (λx.λy.y) l) (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m (λp.p (λx.λy.x) l) (λf.λx.f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))))))))))))))))))))))))))))))))))))) (λm.λn.m (λn.λf.λx.f (n f x))n (λm.λn.n (λn.λf.λx.n (λg.λh.h (g f)) (λu.x) (λx.x)) m (λp.p (λx.λy.x) l) (λf.λx.f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f (f x))))))))))))))))))))))))))))))))))))))))))))))))) (λm.λn.m (λm.λn.m (λn.λf.λx.f (n f x)) n n)(λx.λy.y) (stoi (λp.p (λx.λy.y) l)) (λf.λx.f (f (f (f (f (f (f (f (f (f x))))))))))))) (λf.λx.f (x x) (λx.f (x x)) (λreverse.λl.λp.p (λx.λy.λx.λy.y) l l (λf.λx.f (x x) (λx.f (x x)) (λappend.λl.λe.λp.p (λx.λy.λx.λy.y) l (λx.λy.λz.z x y e (λx.λx.λy.x)) (λx.λy.λz.z x y (λp.p (λx.λy.x) l) (append (λp.p (λx.λy.y) l) e))) (reverse (λp.p (λx.λy.y) l)) (λp.p (λx.λy.x) l))) l) t)))))