\newchapter{Basics}

\leveldown{}

\input{basics/one-hot}
\input{basics/SMT/main}
\input{basics/SAT/main}
\input{basics/which}
\input{basics/NP}
\input{basics/tetris}
\input{basics/halting}

\levelup{}

