--- a/ecp/ecoop_paper.aux	Tue Jun 25 22:43:21 2019 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,54 +0,0 @@
-\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]{}
-\citation{Davis18}
-\select@language{UKenglish}
-\@writefile{toc}{\select@language{UKenglish}}
-\@writefile{lof}{\select@language{UKenglish}}
-\@writefile{lot}{\select@language{UKenglish}}
-\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
-\citation{AusafDyckhoffUrban2016}
-\citation{OkuiSuzuki2010}
-\citation{Vansummeren2006}
-\citation{CrashCourse2014}
-\citation{Kuklewicz}
-\citation{Sulzmann2014}
-\citation{Brzozowski1964}
-\@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithms by Brzozowski, and Sulzmann and Lu}{2}{section.2}}
-\citation{Sulzmann2014}
-\citation{Sulzmann2014}
-\citation{AusafDyckhoffUrban2016}
-\citation{Antimirov95}
-\citation{Sulzmann2014}
-\@writefile{toc}{\contentsline {section}{\numberline {3}Simplification of Regular Expressions}{4}{section.3}}
-\citation{Sulzmann2014}
-\@writefile{toc}{\contentsline {section}{\numberline {4}Conclusion}{5}{section.4}}
-\bibstyle{plain}
-\bibdata{root}
-\bibcite{Antimirov95}{1}
-\bibcite{AusafDyckhoffUrban2016}{2}
-\bibcite{Brzozowski1964}{3}
-\bibcite{Davis18}{4}
-\bibcite{CrashCourse2014}{5}
-\bibcite{Kuklewicz}{6}
-\bibcite{OkuiSuzuki2010}{7}
-\bibcite{Sulzmann2014}{8}
-\bibcite{Vansummeren2006}{9}
-\newlabel{LastPage}{{}{6}{}{page.6}{}}
-\xdef\lastpage@lastpage{6}
-\xdef\lastpage@lastpageHy{6}