<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\section{Predicates}
\input{db}
\input{control}
\input{tms}
\input{debug}
%\input{misc}
</pre></body></html>