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}{4}

    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{Sulzmann2014}

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

    54 \citation{Sulzmann2014}

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

    56 \citation{AusafDyckhoffUrban2016}

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

    58 \citation{AusafDyckhoffUrban2016}

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

    60 \citation{Sulzmann2014}

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

    62 \citation{Sulzmann2014}

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

    64 \citation{Rathnayake2014StaticAF}

    65 \abx@aux@cite{Rathnayake2014StaticAF}

    66 \abx@aux@segm{0}{0}{Rathnayake2014StaticAF}

    67 \citation{Weideman2017Static}

    68 \abx@aux@cite{Weideman2017Static}

    69 \abx@aux@segm{0}{0}{Weideman2017Static}

    70 \citation{Brzozowski1964}

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

    72 \citation{Owens2008}

    73 \abx@aux@cite{Owens2008}

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

    75 \citation{Krauss2011}

    76 \abx@aux@cite{Krauss2011}

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

    78 \citation{Coquand2012}

    79 \abx@aux@cite{Coquand2012}

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

    81 \citation{RibeiroAgda2017}

    82 \abx@aux@cite{RibeiroAgda2017}

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

    84 \abx@aux@page{2}{15}

    85 \abx@aux@page{3}{15}

    86 \abx@aux@page{4}{15}

    87 \abx@aux@page{5}{16}

    88 \abx@aux@page{6}{16}

    89 \citation{Reference1}

    90 \abx@aux@cite{Reference1}

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

    92 \citation{Reference2}

    93 \abx@aux@cite{Reference2}

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

    95 \citation{Reference1}

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

    97 \citation{Reference3}

    98 \abx@aux@cite{Reference3}

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

   100 \@input{Chapters/Chapter2.aux}

   101 \@input{Chapters/Chapter3.aux}

   102 \@input{Appendices/AppendixA.aux}

   103 \abx@aux@refcontextdefaultsdone

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

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

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

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

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

   109 \@writefile{toc}{\contentsline {chapter}{Bibliography}{29}{appendix*.64}}

   110 \abx@aux@page{7}{29}

   111 \abx@aux@page{8}{29}

   112 \abx@aux@page{9}{29}

   113 \abx@aux@page{10}{29}

   114 \abx@aux@page{11}{29}