1 \relax 

     2 \providecommand\hyper@newdestlabel[2]{}

     3 \providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}

     4 \HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined

     5 \global\let\oldcontentsline\contentsline

     6 \gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}

     7 \global\let\oldnewlabel\newlabel

     8 \gdef\newlabel#1#2{\newlabelxx{#1}#2}

     9 \gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}

    10 \AtEndDocument{\ifx\hyper@anchor\@undefined

    11 \let\contentsline\oldcontentsline

    12 \let\newlabel\oldnewlabel

    13 \fi}

    14 \fi}

    15 \global\let\hyper@last\relax 

    16 \gdef\HyperFirstAtBeginDocument#1{#1}

    17 \providecommand\HyField@AuxAddToFields[1]{}

    18 \providecommand\HyField@AuxAddToCoFields[2]{}

    19 \bibstyle{biblatex}

    20 \bibdata{main-blx,example}

    21 \citation{biblatex-control}

    22 \abx@aux@refcontext{nyt/global//global/global}

    23 \@writefile{toc}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }

    24 \@writefile{lof}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }

    25 \@writefile{lot}{\boolfalse {citerequest}\boolfalse {citetracker}\boolfalse {pagetracker}\boolfalse {backtracker}\relax }

    26 \babel@aux{english}{}

    27 \@writefile{toc}{\contentsline {chapter}{Declaration of Authorship}{iii}{section*.1}}

    28 \@writefile{toc}{\contentsline {chapter}{Abstract}{vii}{section*.2}}

    29 \@writefile{toc}{\contentsline {chapter}{Acknowledgements}{ix}{section*.3}}

    30 \gdef \LT@i {\LT@entry 

    31     {1}{66.74977pt}\LT@entry 

    32     {1}{127.90416pt}}

    33 \gdef \LT@ii {\LT@entry 

    34     {1}{82.51714pt}\LT@entry 

    35     {1}{30.45663pt}\LT@entry 

    36     {1}{154.48697pt}}

    37 \gdef \LT@iii {\LT@entry 

    38     {1}{20.63945pt}\LT@entry 

    39     {1}{100.58446pt}\LT@entry 

    40     {1}{54.27406pt}}

    41 \@input{Chapters/Chapter1.aux}

    42 \citation{Brzozowski1964}

    43 \abx@aux@cite{Brzozowski1964}

    44 \abx@aux@segm{0}{0}{Brzozowski1964}

    45 \abx@aux@page{1}{2}

    46 \citation{Sulzmann2014}

    47 \abx@aux@cite{Sulzmann2014}

    48 \abx@aux@segm{0}{0}{Sulzmann2014}

    49 \citation{AusafDyckhoffUrban2016}

    50 \abx@aux@cite{AusafDyckhoffUrban2016}

    51 \abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}

    52 \citation{AusafDyckhoffUrban2016}

    53 \abx@aux@segm{0}{0}{AusafDyckhoffUrban2016}

    54 \citation{Sulzmann2014}

    55 \abx@aux@segm{0}{0}{Sulzmann2014}

    56 \citation{Sulzmann2014}

    57 \abx@aux@segm{0}{0}{Sulzmann2014}

    58 \citation{Brzozowski1964}

    59 \abx@aux@segm{0}{0}{Brzozowski1964}

    60 \citation{Owens2008}

    61 \abx@aux@cite{Owens2008}

    62 \abx@aux@segm{0}{0}{Owens2008}

    63 \citation{Krauss2011}

    64 \abx@aux@cite{Krauss2011}

    65 \abx@aux@segm{0}{0}{Krauss2011}

    66 \citation{Coquand2012}

    67 \abx@aux@cite{Coquand2012}

    68 \abx@aux@segm{0}{0}{Coquand2012}

    69 \citation{RibeiroAgda2017}

    70 \abx@aux@cite{RibeiroAgda2017}

    71 \abx@aux@segm{0}{0}{RibeiroAgda2017}

    72 \abx@aux@page{2}{5}

    73 \abx@aux@page{3}{5}

    74 \abx@aux@page{4}{5}

    75 \abx@aux@page{5}{5}

    76 \abx@aux@page{6}{5}

    77 \citation{Reference1}

    78 \abx@aux@cite{Reference1}

    79 \abx@aux@segm{0}{0}{Reference1}

    80 \citation{Reference2}

    81 \abx@aux@cite{Reference2}

    82 \abx@aux@segm{0}{0}{Reference2}

    83 \citation{Reference1}

    84 \abx@aux@segm{0}{0}{Reference1}

    85 \citation{Reference3}

    86 \abx@aux@cite{Reference3}

    87 \abx@aux@segm{0}{0}{Reference3}

    88 \@input{Chapters/Chapter2.aux}

    89 \@input{Chapters/Chapter3.aux}

    90 \@input{Appendices/AppendixA.aux}

    91 \abx@aux@refcontextdefaultsdone

    92 \abx@aux@defaultrefcontext{0}{Brzozowski1964}{nyt/global//global/global}

    93 \abx@aux@defaultrefcontext{0}{Coquand2012}{nyt/global//global/global}

    94 \abx@aux@defaultrefcontext{0}{Krauss2011}{nyt/global//global/global}

    95 \abx@aux@defaultrefcontext{0}{Owens2008}{nyt/global//global/global}

    96 \abx@aux@defaultrefcontext{0}{RibeiroAgda2017}{nyt/global//global/global}

    97 \@writefile{toc}{\contentsline {chapter}{Bibliography}{19}{appendix*.55}}

    98 \abx@aux@page{7}{19}

    99 \abx@aux@page{8}{19}

   100 \abx@aux@page{9}{19}

   101 \abx@aux@page{10}{19}

   102 \abx@aux@page{11}{19}