\relax 
\citation{darmon_annals}
\citation{darmon_green}
\citation{darmon_annals}
\citation{darmon_green}
\citation{darmon_annals}
\citation{elkies}
\citation{darmon_green}
\citation{darmon_green}
\citation{darmon_annals}
\citation{darmon_green}
\citation{darmon_annals}
\citation{darmon_green}
\citation{darmon_green}
\citation{stevens}
\citation{PS1}
\citation{PS2}
\citation{PS1}
\citation{PS2}
\newlabel{eqn:msd_measure}{{1}{2}}
\newlabel{eqn:Mprime}{{2}{2}}
\newlabel{eqn:Mdoubleprime}{{3}{2}}
\citation{PS1}
\citation{PS2}
\citation{darmon_green}
\citation{darmon_green}
\citation{darmon_green}
\citation{dasgupta_thesis}
\citation{darmon_dasgupta}
\citation{bertolini_darmon1}
\citation{bertolini_darmon2}
\citation{darmon_green}
\newlabel{eqn:moments}{{4}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Computing Stark-Heegner points}{3}}
\newlabel{sec:algorithm}{{1}{3}}
\newlabel{eqn:leftmobius}{{5}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Modular symbols}{4}}
\newlabel{prop:manin_drinfeld}{{1.2}{5}}
\newlabel{eqn:transwinfty}{{6}{5}}
\newlabel{eqn:defIf}{{7}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}$p$-adic measures}{5}}
\citation{darmon_dasgupta}
\citation{darmon_annals}
\newlabel{prop:measure_system}{{1.3}{6}}
\newlabel{property:two}{{3}{6}}
\newlabel{eqn:gammainv}{{8}{6}}
\newlabel{eqn:defmuf}{{9}{6}}
\citation{darmon_annals}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Double integrals}{7}}
\newlabel{sec:double_integrals}{{1.3}{7}}
\newlabel{eqn:defdint}{{10}{7}}
\newlabel{eqn:riemannsum}{{11}{7}}
\newlabel{eqn:add1}{{12}{7}}
\newlabel{eqn:add2}{{13}{7}}
\newlabel{eqn:Gammainv}{{14}{7}}
\newlabel{eqn:defdmint}{{15}{7}}
\citation{manin}
\newlabel{eqn:dmintmodp}{{18}{8}}
\newlabel{eqn:dintpM}{{19}{8}}
\citation{darmon_green}
\citation{darmon_green}
\newlabel{eqn:dint0infty}{{21}{9}}
\citation{darmon_annals}
\citation{mtt}
\citation{greenberg_stevens}
\newlabel{eqn:Jinftytau}{{22}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Indefinite integrals}{10}}
\citation{mtt}
\citation{deshalit}
\citation{darmon_green}
\newlabel{conj:indefint}{{1.6}{11}}
\newlabel{eqn:indefint}{{24}{11}}
\newlabel{prop:modsymb}{{1}{11}}
\newlabel{prop:addindef}{{2}{11}}
\newlabel{prop:Gammainv}{{3}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5}Definition of $P_\tau $}{11}}
\newlabel{eqn:themap}{{25}{12}}
\citation{darmon_annals}
\newlabel{conj:main}{{1.9}{13}}
\newlabel{eqn:complexconj}{{26}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.6}Recognizing $p$-adic numbers as rational numbers}{13}}
\newlabel{eqn:PD}{{27}{13}}
\citation{cohen}
\citation{rubin}
\citation{knuth}
\citation{cohen}
\newlabel{eqn:hD}{{28}{14}}
\citation{PS2}
\citation{PS2}
\citation{PS2}
\citation{PS2}
\citation{PS1}
\citation{PS2}
\@writefile{toc}{\contentsline {section}{\numberline {2}Computing the moments of Mazur's measure}{15}}
\newlabel{sec:moments}{{2}{15}}
\newlabel{eqn:moment_data}{{29}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Overconvergent modular symbols}{15}}
\citation{stevens}
\newlabel{thm:compare}{{2.2}{16}}
\newlabel{cor:lift}{{2.3}{16}}
\newlabel{eqn:momentona}{{32}{17}}
\citation{PS2}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Iterating $U_p$}{18}}
\newlabel{prop:cong}{{2.6}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Lifting modular symbols}{18}}
\citation{stevens}
\citation{PS2}
\citation{PS2}
\newlabel{thm:modsym}{{2.7}{19}}
\newlabel{eqn:difference_equation}{{33}{19}}
\citation{PS2}
\citation{PS2}
\newlabel{prop:diffeqn}{{2.10}{20}}
\citation{PS1}
\newlabel{rmk:dag}{{2.12}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Finite approximation modules}{21}}
\citation{PS2}
\newlabel{prop:finitelift}{{2.13}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}Computing the moments}{22}}
\newlabel{sec:computingthemoments}{{2.5}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}Complexity analysis}{22}}
\newlabel{sec:complexity}{{2.6}{22}}
\newlabel{prop:complexity_moment}{{2.14}{22}}
\citation{PS2}
\citation{PS2}
\@writefile{toc}{\contentsline {section}{\numberline {3}The {\tt  shp} package}{24}}
\newlabel{sec:shppackage}{{3}{24}}
\citation{darmon_green}
\citation{darmon_green}
\citation{darmon_green}
\@writefile{toc}{\contentsline {section}{\numberline {4}Numerical examples}{25}}
\newlabel{sec:examples}{{4}{25}}
\citation{darmon_annals}
\citation{darmon_green}
\citation{darmon_dasgupta}
\citation{dasgupta_thesis}
\citation{dasgupta_thesis}
\bibcite{bertolini_darmon1}{BD1}
\bibcite{bertolini_darmon2}{BD2}
\bibcite{cohen}{Co}
\bibcite{darmon_annals}{Dar1}
\bibcite{cbms}{Dar2}
\bibcite{dasgupta_thesis}{Das}
\bibcite{darmon_dasgupta}{DD}
\bibcite{darmon_green}{DG}
\bibcite{deshalit}{Ds}
\bibcite{elkies}{El}
\bibcite{greenberg_stevens}{GS}
\bibcite{knuth}{Kn}
\bibcite{manin}{Man}
\bibcite{mtt}{MTT}
\bibcite{PS1}{PS1}
\bibcite{PS2}{PS2}
\bibcite{rubin}{Ru}
\bibcite{stevens}{St}