\section{Bitblasting}

\input{bitblast/motiv}
\input{bitblast/plus}
\input{bitblast/minus}
\input{bitblast/comp}
\input{bitblast/mal}
\input{bitblast/shift}
\input{bitblast/un}
\input{bitblast/opt}



