../ church_boolCON.html 27-May-2026 05:37 3770 church_multCON.html 27-May-2026 05:37 3784 church_numeralCON.html 27-May-2026 05:37 3788 parseTree.html 27-May-2026 05:37 3846 parseTree3.html 27-May-2026 05:37 3651 parseTree4.html 27-May-2026 05:37 3814 parseTree5a.html 27-May-2026 05:37 3742 parseTree5b.html 27-May-2026 05:37 3742