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

\begin{center}

\vspace*{10mm}
{\Huge\bf MaGIC} \\[5mm]
{\Large\bf Matrix Generator for Implication Connectives} \\[15mm]
{\Large\bf VERSION 1.1} \\[3mm]
{\Large\bf NOTES AND GUIDE} \\[125mm]
{\bf John Slaney} \\[1mm]
{\bf Gustav Meglicki} \\[5mm]
{\bf Automated Reasoning Project} \\[1mm]
{\bf Australian National University}\end{center}
\end{titlepage}

</pre></body></html>