\relax 
\citation{kohnen_crelle}
\citation{kohnen_crelle}
\citation{kohnen_crelle}
\newlabel{FirstPage}{{}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{kohnen}
\citation{kohnen}
\newlabel{eqn:kohnen_waldspurger}{{1}{2}}
\newlabel{eqn:formalqseries}{{2}{3}}
\newlabel{prop:hida}{{1.2}{3}}
\citation{stevens}
\citation{mtt}
\newlabel{prop:stevens}{{1.3}{4}}
\newlabel{thm:main}{{1.5}{5}}
\citation{gkz}
\citation{kohnen}
\@writefile{toc}{\contentsline {section}{\numberline {2}Kohnen's formula}{6}}
\newlabel{sec:kohnen}{{2}{6}}
\newlabel{eqn:compatd1d2}{{3}{6}}
\citation{kohnen}
\citation{darmon}
\citation{bd_genus}
\citation{darmon_icm}
\citation{darmon}
\newlabel{eqn:fundamentalunit}{{4}{7}}
\newlabel{eqn:gammaQ}{{5}{7}}
\newlabel{eqn:shintani}{{6}{7}}
\newlabel{eqn:kohnen_period}{{7}{7}}
\newlabel{thm:kohnen}{{2.1}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Stark-Heegner points}{7}}
\newlabel{sec:shp}{{3}{7}}
\newlabel{eqn:heegnerdisc}{{8}{7}}
\citation{darmon}
\citation{bd_genus}
\citation{bd_genus}
\citation{bd_genus}
\newlabel{eqn:integralC}{{9}{8}}
\newlabel{prop:shimura}{{3.1}{8}}
\newlabel{eqn:epsilon}{{10}{8}}
\newlabel{prop:stevens_per}{{3.2}{8}}
\citation{kohnen}
\citation{bd_genus}
\newlabel{eqn:measure}{{11}{9}}
\newlabel{lemma:fixchoice}{{3.3}{9}}
\newlabel{eqn:choose-omega-k}{{12}{9}}
\newlabel{eqn:defJ}{{13}{9}}
\newlabel{prop:defJ}{{3.4}{9}}
\newlabel{eqn:measure_sharp}{{14}{9}}
\newlabel{eqn:defJQ}{{15}{10}}
\newlabel{lemma:propJQ}{{3.5}{10}}
\citation{bd_genus}
\citation{bd_genus}
\citation{bd_hida}
\newlabel{conj:shp}{{3.6}{12}}
\newlabel{thm:mainbd}{{3.7}{12}}
\citation{darmon}
\newlabel{lemma:shpperiods}{{3.8}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Proof of Theorem 1.5\hbox {}}{13}}
\newlabel{sec:theproof}{{4}{13}}
\newlabel{eqn:key_formula}{{17}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Gross-Kohnen-Zagier formulae for Stark-Heegner points}{13}}
\newlabel{sec:gkz}{{5}{13}}
\newlabel{thm:gkz}{{5.1}{13}}
\citation{darmon}
\citation{MRVT}
\citation{mao}
\citation{PT-composite}
\newlabel{eqn:condd1}{{18}{14}}
\newlabel{conj:main}{{5.3}{14}}
\citation{shp}
\citation{MRVT}
\citation{pari}
\citation{cnt}
\citation{dp_shp}
\@writefile{toc}{\contentsline {section}{\numberline {6}Numerical evidence}{15}}
\newlabel{sec:gonzalo}{{6}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}The curve $37a$}{15}}
\citation{MRVT}
\citation{MRVT}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Traces of Stark-Heegner points in $37a$}}{16}}
\newlabel{table:37a}{{1}{16}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Coefficients of $g_+$ corresponding to $37a$}}{16}}
\newlabel{table:37a-g}{{2}{16}}
\citation{PT-p2}
\citation{PT-real}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Traces of Stark-Heegner points in $37a$ for $\Delta \equiv 2\penalty \z@ \mkern 8mu({\mathgroup \symoperators mod}\mkern 6mu37)$}}{17}}
\newlabel{table:37a-2mod37}{{3}{17}}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Coefficients of $g_+$ for $\Delta \equiv 2\penalty \z@ \mkern 8mu({\mathgroup \symoperators mod}\mkern 6mu37)$}}{17}}
\newlabel{table:37a-g-2mod37}{{4}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}The mysterious signs}{17}}
\newlabel{sec:mysterious-signs}{{6.2}{17}}
\citation{PT-real}
\citation{MRVT}
\citation{MRVT}
\@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces Traces of Stark-Heegner points in $43a$}}{18}}
\newlabel{table:43a}{{5}{18}}
\@writefile{lot}{\contentsline {table}{\numberline {6}{\ignorespaces Coefficients of $g_+$ corresponding to $43a$}}{18}}
\newlabel{table:43a-g}{{6}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}The curve $43a$}{18}}
\citation{dataLseries}
\citation{MRVT}
\citation{datashp}
\bibcite{bd_genus}{BD06}
\@writefile{lot}{\contentsline {table}{\numberline {7}{\ignorespaces Number of discriminants $\Delta \leq 10000$ we used for each curve. The column labeled $x$ indicates the number of such discriminants for which the precision of 20 significant $p$-adic digits was not enough to recognize the trace of the Stark-Heegner point.}}{19}}
\newlabel{table:numdisc}{{7}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4}Other curves}{19}}
\bibcite{bd_hida}{BD07}
\bibcite{cnt}{CNT}
\bibcite{darmon}{Dar01}
\bibcite{darmon_icm}{Dar06}
\bibcite{dp_shp}{DP06}
\bibcite{shp}{DP}
\bibcite{datashp}{DT07}
\bibcite{gkz}{GKZ87}
\bibcite{kohnen_crelle}{Ko82}
\bibcite{kohnen}{Ko85}
\bibcite{mtt}{MTT86}
\bibcite{mao}{Ma08}
\bibcite{MRVT}{MRVT07}
\bibcite{pari}{PARI}
\bibcite{PT-p2}{PT07a}
\bibcite{PT-real}{PT07b}
\bibcite{PT-composite}{PT08}
\bibcite{stevens}{St94}
\bibcite{dataLseries}{To04}
\newlabel{LastPage}{{}{20}{}{}{}}