\def\EnableGist{}
\input{logic3}