51 \def\Z{\mathit{Z}}

    51 \def\Z{\mathit{Z}}

    52 \def\S{\mathit{S}}

    52 \def\S{\mathit{S}}

    53 \newcommand{\ZERO}{\mbox{\bf 0}}

    53 \newcommand{\ZERO}{\mbox{\bf 0}}

    54 \newcommand{\ONE}{\mbox{\bf 1}}

    54 \newcommand{\ONE}{\mbox{\bf 1}}

    55 \def\rs{\mathit{rs}}

    55 \def\rs{\mathit{rs}}

    56 

    57 

    57 \def\Brz{Brzozowski}

    58 \def\Brz{Brzozowski}

    58 \def\der{\backslash}

    59 \def\der{\backslash}

    59 \newtheorem{falsehood}{Falsehood}

    60 \newtheorem{falsehood}{Falsehood}

    60 \newtheorem{conject}{Conjecture}

    61 \newtheorem{conject}{Conjecture}