--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/PhdThesisRealOne/LaTeXTemplates_masters-doctoral-thesis_v2/main.aux	Sun Mar 20 23:32:08 2022 +0000
@@ -0,0 +1,102 @@
+\relax 
+\providecommand\hyper@newdestlabel[2]{}
+\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
+\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
+\global\let\oldcontentsline\contentsline
+\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
+\global\let\oldnewlabel\newlabel
+\gdef\newlabel#1#2{\newlabelxx{#1}#2}
+\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
+\AtEndDocument{\ifx\hyper@anchor\@undefined
+\let\contentsline\oldcontentsline
+\let\newlabel\oldnewlabel
+\fi}
+\fi}
+\global\let\hyper@last\relax 
+\gdef\HyperFirstAtBeginDocument#1{#1}
+\providecommand\HyField@AuxAddToFields[1]{}
+\providecommand\HyField@AuxAddToCoFields[2]{}
+\bibstyle{biblatex}
+\bibdata{main-blx,example}
+\citation{biblatex-control}
+\abx@aux@refcontext{nyt/global//global/global}
+\@writefile{toc}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
+\@writefile{lof}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
+\@writefile{lot}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }
+\babel@aux{english}{}
+\@writefile{toc}{\contentsline {chapter}{Declaration of Authorship}{iii}{section*.1}}
+\@writefile{toc}{\contentsline {chapter}{Abstract}{vii}{section*.2}}
+\@writefile{toc}{\contentsline {chapter}{Acknowledgements}{ix}{section*.3}}
+\gdef \LT@i {\LT@entry 
+    {1}{66.74977pt}\LT@entry 
+    {1}{127.90416pt}}
+\gdef \LT@ii {\LT@entry 
+    {1}{82.51714pt}\LT@entry 
+    {1}{30.45663pt}\LT@entry 
+    {1}{154.48697pt}}
+\gdef \LT@iii {\LT@entry 
+    {1}{20.63945pt}\LT@entry 
+    {1}{100.58446pt}\LT@entry 
+    {1}{54.27406pt}}
+\@input{Chapters/Chapter1.aux}
+\citation{Brzozowski1964}
+\abx@aux@cite{Brzozowski1964}
+\abx@aux@segm{0}{0}{Brzozowski1964}
+\abx@aux@page{1}{2}
+\citation{Sulzmann2014}
+\abx@aux@cite{Sulzmann2014}
+\abx@aux@segm{0}{0}{Sulzmann2014}
+\citation{AusafDyckhoffUrban2016}
+\abx@aux@cite{AusafDyckhoffUrban2016}
+\abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}
+\citation{AusafDyckhoffUrban2016}
+\abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}
+\citation{Sulzmann2014}
+\abx@aux@segm{0}{0}{Sulzmann2014}
+\citation{Sulzmann2014}
+\abx@aux@segm{0}{0}{Sulzmann2014}
+\citation{Brzozowski1964}
+\abx@aux@segm{0}{0}{Brzozowski1964}
+\citation{Owens2008}
+\abx@aux@cite{Owens2008}
+\abx@aux@segm{0}{0}{Owens2008}
+\citation{Krauss2011}
+\abx@aux@cite{Krauss2011}
+\abx@aux@segm{0}{0}{Krauss2011}
+\citation{Coquand2012}
+\abx@aux@cite{Coquand2012}
+\abx@aux@segm{0}{0}{Coquand2012}
+\citation{RibeiroAgda2017}
+\abx@aux@cite{RibeiroAgda2017}
+\abx@aux@segm{0}{0}{RibeiroAgda2017}
+\abx@aux@page{2}{5}
+\abx@aux@page{3}{5}
+\abx@aux@page{4}{5}
+\abx@aux@page{5}{5}
+\abx@aux@page{6}{5}
+\citation{Reference1}
+\abx@aux@cite{Reference1}
+\abx@aux@segm{0}{0}{Reference1}
+\citation{Reference2}
+\abx@aux@cite{Reference2}
+\abx@aux@segm{0}{0}{Reference2}
+\citation{Reference1}
+\abx@aux@segm{0}{0}{Reference1}
+\citation{Reference3}
+\abx@aux@cite{Reference3}
+\abx@aux@segm{0}{0}{Reference3}
+\@input{Chapters/Chapter2.aux}
+\@input{Chapters/Chapter3.aux}
+\@input{Appendices/AppendixA.aux}
+\abx@aux@refcontextdefaultsdone
+\abx@aux@defaultrefcontext{0}{Brzozowski1964}{nyt/global//global/global}
+\abx@aux@defaultrefcontext{0}{Coquand2012}{nyt/global//global/global}
+\abx@aux@defaultrefcontext{0}{Krauss2011}{nyt/global//global/global}
+\abx@aux@defaultrefcontext{0}{Owens2008}{nyt/global//global/global}
+\abx@aux@defaultrefcontext{0}{RibeiroAgda2017}{nyt/global//global/global}
+\@writefile{toc}{\contentsline {chapter}{Bibliography}{19}{appendix*.55}}
+\abx@aux@page{7}{19}
+\abx@aux@page{8}{19}
+\abx@aux@page{9}{19}
+\abx@aux@page{10}{19}
+\abx@aux@page{11}{19}