\relax \bibstyle{amsalpha} \@writefile{toc}{\contentsline {section}{\numberline {1}TODO}{2}} \@writefile{toc}{\contentsline {section}{\numberline {2}Introduction}{3}} \newlabel{thm:main}{{2.1}{3}} \@writefile{toc}{\contentsline {section}{\numberline {3}BSD Theorems of Kolyvagin, Kato, et al.}{4}} \@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Mazur-Rubin: Kolyvagin Systems}{4}} \@writefile{toc}{\contentsline {section}{\numberline {4}Problems}{4}} \@writefile{toc}{\contentsline {section}{\numberline {5}Misc}{7}} \@writefile{toc}{\contentsline {section}{\numberline {6}11}{8}} \bibdata{biblio} \bibcite{tate:arithmetic}{Tat74}