<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\input{content/4_1_design.tex}

\input{content/4_2_specification.tex}

\input{content/4_3_implementation.tex}
</pre></body></html>