\relax 
\citation{serre_galois}
\@writefile{toc}{\contentsline {chapter}{\tocchapter {Chapter}{10}{Kolyvagin's theorem}}{113}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{thm:kolyvagin}{{10.1}{113}}
\newlabel{thm:kolyvaginp}{{10.2}{113}}
\citation{wiles}
\citation{ddt}
\@writefile{toc}{\contentsline {section}{\tocsection {}{10.1}{Bounding Selmer groups}}{114}}
\newlabel{sec:bsg}{{10.1}{114}}
\citation{tate_duality}
\citation{milne}
\newlabel{thm:tate_duality}{{10.9}{115}}
\newlabel{def:dual_selmer}{{10.10}{115}}
\citation{ddt}
\citation{milne}
\newlabel{thm:duality}{{10.11}{116}}
\newlabel{eqn:useful_euler_id}{{10.1}{116}}
\newlabel{thm:useful_selmer}{{10.14}{116}}
\citation{darmon_review}
\newlabel{eqn:tautological}{{10.2}{117}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{10.2}{Kolyvagin cohomology classes}}{117}}
\newlabel{sec:kolyclasses}{{10.2}{117}}
\newlabel{prop:eulerchar1}{{10.15}{117}}
\newlabel{eqn:echarp}{{10.3}{117}}
\newlabel{eqn:prodnotpinfty}{{10.4}{117}}
\citation{silverman_book}
\citation{bertolini_darmon5}
\newlabel{eqn:prodinfty}{{10.5}{118}}
\newlabel{eqn:prodp}{{10.6}{118}}
\newlabel{def:kolyvagin_prime}{{10.17}{118}}
\newlabel{prop:control_prelim}{{10.18}{118}}
\newlabel{eqn:grelts}{{10.7}{119}}
\newlabel{prop:Glinvariant}{{10.19}{119}}
\newlabel{eqn:invsigmal1}{{10.8}{119}}
\newlabel{eqn:invsigmal2}{{10.9}{119}}
\newlabel{prop:oneprime}{{10.21}{120}}
\newlabel{eqn:seqeta}{{10.11}{120}}
\newlabel{prop:twoprimes}{{10.22}{121}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{10.3}{Proof of Kolyvagin's theorem}}{121}}
\newlabel{prop:control}{{10.23}{121}}
\newlabel{eqn:esres}{{10.12}{121}}
\citation{kolyvagin1}
\citation{kolyvagin2}
\citation{wiles}
\citation{ddt}
\citation{darmon_review}
\citation{kolyvagin3}
\citation{rubin_book}
\citation{gross_kolyvagin}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{References}}{122}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{}{Exercises}}{122}}
\newlabel{ex10:notorsion}{{1}{122}}
\newlabel{ex10:cohomology}{{2}{122}}
\newlabel{ex10:tate_duality}{{3}{122}}
\newlabel{ex10part:exp}{{3c}{123}}
\newlabel{ex10:chebotarev}{{4}{123}}
\newlabel{ex10:sylow}{{5}{124}}
\newlabel{ex10:signDl}{{6}{124}}
\newlabel{ex10:twoprimes}{{7}{124}}
\@setckpt{chap10}{
\setcounter{page}{125}
\setcounter{equation}{12}
\setcounter{enumi}{7}
\setcounter{enumii}{9}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{parentequation}{0}
\setcounter{part}{0}
\setcounter{chapter}{10}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{theorem}{23}
}