\relax 
\@input{opening.aux}
\@input{introduction.aux}
\@input{overview.aux}
\@input{kernel.aux}
\@input{types.aux}
\@input{instructions.aux}
\@input{backend.aux}
\@input{hakl.aux}
\@input{conclusion.aux}
\@input{traceability.aux}
\@input{fourpanels.aux}
\bibstyle{plain}
\bibdata{main}
\bibcite{fam}{1}
\bibcite{life}{2}
\bibcite{jacc}{3}
\bibcite{secd}{4}
\bibcite{leroy-boxing}{5}
\bibcite{caml}{6}
\newlabel{lastpage}{{B.5.4}{83}}