\relax \providecommand\hyper@newdestlabel[2]{} \abx@aux@refcontext{nty/global//global/global} \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*\HyPL@Entry[1]{} \abx@aux@nociteall \abx@aux@cite{0}{gebser2012answer} \abx@aux@segm{0}{0}{gebser2012answer} \abx@aux@cite{0}{riguzzi2022foundations} \abx@aux@segm{0}{0}{riguzzi2022foundations} \abx@aux@cite{0}{riguzzi2022foundations} \abx@aux@segm{0}{0}{riguzzi2022foundations} \abx@aux@cite{0}{cozman2020joy} \abx@aux@segm{0}{0}{cozman2020joy} \HyPL@Entry{0<>} \@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Motivation }{1}{section.1}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {2}Work Plan}{2}{section.2}\protected@file@percent } \abx@aux@read@bbl@mdfivesum{73BDA492174761309135B95A6EAD3ED6} \abx@aux@defaultrefcontext{0}{cozman2020joy}{nty/global//global/global} \abx@aux@defaultrefcontext{0}{cropper2022inductive}{nty/global//global/global} \abx@aux@defaultrefcontext{0}{gebser2012answer}{nty/global//global/global} \abx@aux@defaultrefcontext{0}{riguzzi2022foundations}{nty/global//global/global} \abx@aux@defaultrefcontext{0}{verreet2022inference}{nty/global//global/global} \gdef \@abspage@last{3}