\relax 
\newlabel{this-one}{{2}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Lifting the circle to its universal cover}}{3}}
\newlabel{fig:fun}{{1}{3}}