λ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.λ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 s
    )