\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand*\HyPL@Entry[1]{}
\citation{bruce}
\citation{gross}
\citation{lehmer}
\citation{lucas}
\citation{rosen}
\citation{rodseth}
\HyPL@Entry{0<</S/D>>}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
\newlabel{lucaslehmer}{{1}{1}{Lucas-Lehmer}{theorem.1}{}}
\citation{sil}
\citation{sil}
\citation{kucuksakalli}
\citation{lidl}
\@writefile{toc}{\contentsline {section}{\numberline {2}Main results}{2}{section.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Cubic curve $C:y^2=4x^3+x^2$.}}{2}{figure.1}}
\newlabel{node}{{1}{2}{Cubic curve $C:y^2=4x^3+x^2$}{figure.1}{}}
\newlabel{silverman}{{2}{2}{}{theorem.2}{}}
\newlabel{order}{{3}{3}{}{theorem.3}{}}
\citation{lucas}
\citation{lehmer}
\citation{lehmer}
\citation{riesel56}
\citation{riesel69}
\citation{bosma}
\citation{rodseth}
\citation{rodseth}
\newlabel{main}{{4}{4}{}{theorem.4}{}}
\citation{williams72}
\citation{williams87}
\newlabel{remark}{{5}{5}{}{theorem.5}{}}
\newlabel{general}{{6}{5}{}{theorem.6}{}}
\citation{williams87}
\citation{berry}
\bibcite{berry}{1}
\bibcite{bosma}{2}
\bibcite{bruce}{3}
\bibcite{gross}{4}
\bibcite{kucuksakalli}{5}
\bibcite{lehmer}{6}
\@writefile{toc}{\contentsline {section}{\numberline {3}Acknowledgment}{6}{section.3}}
\bibcite{lidl}{7}
\bibcite{lucas}{8}
\bibcite{riesel56}{9}
\bibcite{riesel69}{10}
\bibcite{rosen}{11}
\bibcite{rodseth}{12}
\bibcite{sil}{13}
\bibcite{williams72}{14}
\bibcite{williams87}{15}