\relax 
\select@language{english}
\@writefile{toc}{\select@language{english}}
\@writefile{lof}{\select@language{english}}
\@writefile{lot}{\select@language{english}}
\@writefile{toc}{\contentsline {section}{\numberline {1}First results:}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Prerequisites}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Challenges}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Goal}{4}}