This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2004.5.27) 17 JUN 2004 16:00 **\nonstopmode\input disc.tex (./disc.tex (/usr/share/texmf/tex/latex/base/slides.cls Document Class: slides 1997/08/15 v2.3z Standard LaTeX document class (/usr/share/texmf/tex/latex/base/slides.def File: slides.def 1997/08/15 v2.3z SLiTeX definitions hacks, slides, \c@page=\count79 picture, mods, \@smashboxa=\box26 \@smashboxb=\box27 \@smashboxc=\box28 output, init) (/usr/share/texmf/tex/latex/base/sfonts.def File: sfonts.def 1998/06/12 v2.2e Standard LaTeX slide font definitions (/usr/share/texmf/tex/latex/base/ot1lcmss.fd File: ot1lcmss.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions )) \c@minutes=\count80 \c@seconds=\count81 \c@mv@invisible=\count82 LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmr/m/n --> OT1/lcmss/m/n on input line 364. LaTeX Font Info: Overwriting symbol font `letters' in version `normal' (Font) OML/cmm/m/it --> OML/lcmm/m/it on input line 367. LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' (Font) OMS/cmsy/m/n --> OMS/lcmsy/m/n on input line 369. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' (Font) OMX/cmex/m/n --> OMX/lcmex/m/n on input line 371. LaTeX Font Info: Overwriting symbol font `operators' in version `invisible' (Font) OT1/cmr/m/n --> OT1/lcmss/m/In on input line 374. LaTeX Font Info: Overwriting symbol font `letters' in version `invisible' (Font) OML/cmm/m/it --> OML/lcmm/m/Iit on input line 376. LaTeX Font Info: Overwriting symbol font `symbols' in version `invisible' (Font) OMS/cmsy/m/n --> OMS/lcmsy/m/In on input line 378. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `invisibl e' (Font) OMX/cmex/m/n --> OMX/lcmex/m/In on input line 380. ) (./srcltx.sty Package: srcltx 1999/10/11 v1.002 DVI Search \PAGETOP=\count83 \LASTLINE=\count84 \INPSP=\count85 \everypar=\toks14 ) (/usr/share/texmf/tex/latex/misc/fancybox.sty Package: fancybox 2000/09/19 1.3 Style option: `fancybox' v1.3 <2000/09/19> (tvz) \@fancybox=\box29 \shadowsize=\dimen102 \@Sbox=\box30 \do@VerbBox=\toks15 \the@fancyput=\toks16 \this@fancyput=\toks17 \EndVerbatimTokens=\toks18 \Verbatim@Outfile=\write3 \Verbatim@Infile=\read1 ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip41 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks19 \ex@=\dimen103 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count86 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count87 \leftroot@=\count88 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count89 \DOTSCASE@=\count90 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box31 \strutbox@=\box32 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count91 \c@MaxMatrixCols=\count92 \dotsspace@=\muskip10 \c@parentequation=\count93 \dspbrk@lvl=\count94 \tag@help=\toks20 \row@=\count95 \column@=\count96 \maxfields@=\count97 \andhelp@=\toks21 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks22 \multlinegap=\skip42 \multlinetaggap=\skip43 \mathdisplay@stack=\toks23 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/usr/share/texmf/tex/latex/pstricks/pstricks.sty Package: pstricks 1997/03/25 package wrapper for PSTricks pstricks.tex (/usr/share/texmf/tex/generic/pstricks/pstricks.tex `PSTricks' v97 patch 14 <1999/12/23> (tvz) \pst@dima=\dimen112 \pst@dimb=\dimen113 \pst@dimc=\dimen114 \pst@dimd=\dimen115 \pst@dimg=\dimen116 \pst@dimh=\dimen117 \pst@hbox=\box33 \pst@boxg=\box34 \pst@cnta=\count98 \pst@cntb=\count99 \pst@cntc=\count100 \pst@cntd=\count101 \pst@cntg=\count102 \pst@cnth=\count103 \pst@toks=\toks24 (/usr/share/texmf/tex/generic/pstricks/pstricks.con) \psunit=\dimen118 \psxunit=\dimen119 \psyunit=\dimen120 \pslinewidth=\dimen121 \pst@customdefs=\toks25 \pslinearc=\dimen122 \everypsbox=\toks26 \psframesep=\dimen123 \pslabelsep=\dimen124 \theoverlaybox=\box35 )) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks27 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen125 \Gin@req@width=\dimen126 ) (/usr/share/texmf/tex/generic/xypic/xy.sty (/usr/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen127 \Y@c=\dimen128 \U@c=\dimen129 \D@c=\dimen130 \L@c=\dimen131 \R@c=\dimen132 \Edge@c=\toks28 \X@p=\dimen133 \Y@p=\dimen134 \U@p=\dimen135 \D@p=\dimen136 \L@p=\dimen137 \R@p=\dimen138 \Edge@p=\toks29 \X@origin=\dimen139 \Y@origin=\dimen140 \X@xbase=\dimen141 \Y@xbase=\dimen142 \X@ybase=\dimen143 \Y@ybase=\dimen144 \X@min=\dimen145 \Y@min=\dimen146 \X@max=\dimen147 \Y@max=\dimen148 \lastobjectbox@=\box36 \zerodotbox@=\box37 \almostz@=\dimen149 direction, \d@X=\dimen150 \d@Y=\dimen151 \K@=\count104 \KK@=\count105 \Direction=\count106 \K@dXdY=\dimen152 \K@dYdX=\dimen153 \xyread@=\read2 \xywrite@=\write4 \csp@=\count107 \quotPTK@=\dimen154 utility macros; pictures: \xy, positions, \swaptoks@@=\toks30 \connectobjectbox@@=\box38 objects, \styletoks@=\toks31 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) Package: xy 1999/02/16 Xy-pic version 3.7 (/usr/share/texmf/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count108 \crvpts@=\toks32 \splinebox@=\box39 \splineval@=\dimen155 \splinedepth@=\dimen156 \splinetol@=\dimen157 \splinelength@=\dimen158 circles, \L@=\dimen159 loaded) (/usr/share/texmf/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen160 loaded) (/usr/share/texmf/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count109 \Col=\count110 \queue@=\toks33 \queue@@=\toks34 \qcount@=\count111 \qcount@@=\count112 \matrixsize@=\count113 loaded) (/usr/share/texmf/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded)) (./disc.aux) \openout1 = `disc.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OT1/lcmss/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OT2/lcmss/m/n on input line 73. LaTeX Font Info: Try loading font information for OT2+lcmss on input line 73 . (/usr/share/texmf/tex/latex/cyrillic/ot2lcmss.fd File: ot2lcmss.fd 2001/08/11 v3.2c Computer Modern Cyrillic font definitions ) LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Try loading font information for OML+lcmm on input line 75. (/usr/share/texmf/tex/latex/base/omllcmm.fd File: omllcmm.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: Try loading font information for OMS+lcmsy on input line 75 . (/usr/share/texmf/tex/latex/base/omslcmsy.fd File: omslcmsy.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: Try loading font information for OMX+lcmex on input line 75 . (/usr/share/texmf/tex/latex/base/omxlcmex.fd File: omxlcmex.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <34.4> on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <28.66> on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <23.89> on input line 75. LaTeX Font Info: Try loading font information for U+msa on input line 75. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Warning: Font shape `U/msa/m/n' in size <34.4> not available (Font) size <24.88> substituted on input line 75. LaTeX Font Warning: Font shape `U/msa/m/n' in size <28.66> not available (Font) size <24.88> substituted on input line 75. LaTeX Font Warning: Font shape `U/msa/m/n' in size <23.89> not available (Font) size <24.88> substituted on input line 75. LaTeX Font Info: Try loading font information for U+msb on input line 75. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Warning: Font shape `U/msb/m/n' in size <34.4> not available (Font) size <24.88> substituted on input line 75. LaTeX Font Warning: Font shape `U/msb/m/n' in size <28.66> not available (Font) size <24.88> substituted on input line 75. LaTeX Font Warning: Font shape `U/msb/m/n' in size <23.89> not available (Font) size <24.88> substituted on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <19.907> on input line 75. LaTeX Font Warning: Font shape `U/msa/m/n' in size <19.907> not available (Font) size <20.74> substituted on input line 75. LaTeX Font Warning: Font shape `U/msb/m/n' in size <19.907> not available (Font) size <20.74> substituted on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <16.59> on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <12> on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <7> on input line 75. LaTeX Font Warning: Font shape `U/msa/m/n' in size <16.59> not available (Font) size <17.28> substituted on input line 75. LaTeX Font Warning: Font shape `U/msb/m/n' in size <16.59> not available (Font) size <17.28> substituted on input line 75. LaTeX Font Warning: Font shape `OT1/lcmss/m/n' in size <6> not available (Font) size <7> substituted on input line 75. LaTeX Font Warning: Font shape `OML/lcmm/m/it' in size <6> not available (Font) size <7> substituted on input line 75. LaTeX Font Warning: Font shape `OMS/lcmsy/m/n' in size <6> not available (Font) size <7> substituted on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <8> on input line 75. LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <6> on input line 75. File: graphics/frank.eps Graphic file (type eps) LaTeX Font Info: Try loading font information for OT1+lcmtt on input line 75 . (/usr/share/texmf/tex/latex/base/ot1lcmtt.fd File: ot1lcmtt.fd 1998/06/12 v2.2e Standard LaTeX slide font definitions ) [0 ] LaTeX Font Info: External font `cmex10 at17.28pt' loaded for size (Font) <13.82> on input line 81. LaTeX Font Warning: Font shape `U/msa/m/n' in size <13.82> not available (Font) size <14.4> substituted on input line 81. LaTeX Font Warning: Font shape `U/msb/m/n' in size <13.82> not available (Font) size <14.4> substituted on input line 81. LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <23.89> not available (Font) size <24.88> substituted on input line 85. LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <19.907> not available (Font) size <20.74> substituted on input line 85. LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <16.59> not available (Font) size <17.28> substituted on input line 85. [1] LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <28.66> not available (Font) size <24.88> substituted on input line 105. LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <13.82> not available (Font) size <14.4> substituted on input line 109. Overfull \hbox (3.27034pt too wide) in paragraph at lines 108--110 [][]\OT1/lcmss/bx/n/19.907 Motivation: \OT1/lcmss/m/n/19.907 Con-jec-ture 1 loo ks like Van-diver's con-jec-ture, which [] File: graphics/watkins.eps Graphic file (type eps) [2] Overfull \hbox (3.63905pt too wide) in paragraph at lines 124--127 []\OT1/lcmss/m/n/19.907 The max-i-mum ra-tio $[]$ is $\OMS/lcmsy/m/n/19.907 ^^X \OT1/lcmss/m/n/19.907 23\OML/lcmm/m/it/19.907 :\OT1/lcmss/m/n/19.907 2$, at-ta ined for $[]\OML/lcmm/m/it/19.907 p[] \OT1/lcmss/m/n/19.907 = 7944197$. [] [3] File: graphics/hecke.eps Graphic file (type eps) LaTeX Font Info: Try loading font information for U+euf on input line 148. (/usr/share/texmf/tex/latex/amsfonts/ueuf.fd File: ueuf.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Warning: Font shape `U/euf/m/n' in size <19.907> not available (Font) size <20.74> substituted on input line 148. LaTeX Font Warning: Font shape `U/euf/m/n' in size <16.59> not available (Font) size <17.28> substituted on input line 148. LaTeX Font Warning: Font shape `U/euf/m/n' in size <13.82> not available (Font) size <14.4> substituted on input line 148. [4] File: graphics/merel.eps Graphic file (type eps) File: graphics/cremona.eps Graphic file (type eps) [5] File: graphics/magma.eps Graphic file (type eps) File: graphics/mfd.eps Graphic file (type eps) [6] [7] File: graphics/hecke.eps Graphic file (type eps) [8] Overfull \hbox (14.83257pt too wide) in paragraph at lines 240--243 [][]\OT1/lcmss/bx/n/19.907 Sturm Bound:[] $[]\OT1/cmr/bx/n/20.74 T[]\OT1/lcmss/ m/n/19.907 (\OML/lcmm/m/it/19.907 N\OT1/lcmss/m/n/19.907 )$ is gen-er-ated as a $\OT1/cmr/bx/n/20.74 Z$\OT1/lcmss/m/n/19.907 -module by $[]\OML/lcmm/m/it/19.9 07 T[]; T[]; [] ; T[]$\OT1/lcmss/m/n/19.907 , [] [9] Underfull \hbox (badness 10000) in paragraph at lines 266--272 [] [10] File: graphics/ribet.eps Graphic file (type eps) Overfull \hbox (19.81824pt too wide) in paragraph at lines 281--284 [][]\OT1/lcmss/bx/n/19.907 Question:[] \OT1/lcmss/m/n/19.907 (Ri-bet, 1997) Is there a prime $\OML/lcmm/m/it/19.907 p$ \OT1/lcmss/m/n/19.907 so that $[]\OML/l cmm/m/it/19.907 p \OMS/lcmsy/m/n/19.907 j []\OT1/lcmss/m/n/19.907 (\OT1/cmr/bx/ n/20.74 T[]\OT1/lcmss/m/n/19.907 (\OML/lcmm/m/it/19.907 p\OT1/lcmss/m/n/19.907 ))$? [] File: graphics/pari.eps Graphic file (type eps) [11] File: graphics/mestre.eps Graphic file (type eps) [12] File: graphics/questions.eps Graphic file (type eps) File: graphics/questions.eps Graphic file (type eps) LaTeX Font Warning: Font shape `U/euf/m/n' in size <23.89> not available (Font) size <24.88> substituted on input line 318. Overfull \hbox (22.6029pt too wide) in paragraph at lines 322--330 \OT1/lcmss/m/sl/19.907 primes\OT1/lcmss/m/n/19.907 . They are the primes of con -gru-ence be-tween non-$[][]([]\OML/lcmm/m/it/19.907 =\OT1/cmr/bx/n/20.74 Q\OT1 /lcmss/m/n/19.907 )$- [] [13] LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <34.4> not available (Font) size <24.88> substituted on input line 336. LaTeX Font Warning: Font shape `U/euf/m/n' in size <34.4> not available (Font) size <24.88> substituted on input line 336. LaTeX Font Warning: Font shape `U/euf/m/n' in size <28.66> not available (Font) size <24.88> substituted on input line 336. [14] Overfull \hbox (130.5139pt too wide) in paragraph at lines 357--385 [][][] [] [15] File: graphics/frank2.eps Graphic file (type eps) [16] [17] Class slides Warning: Slide 17 too long on input line 427. [17] Overfull \hbox (34.55547pt too wide) in paragraph at lines 442--445 [][]\OT1/lcmss/bx/n/19.907 Computational Ques-tion.[] \OT1/lcmss/m/n/19.907 Pus h com-pu-ta-tion of $[][][]([](\OT1/cmr/bx/n/20.74 T[]\OT1/lcmss/m/n/19.907 (\O ML/lcmm/m/it/19.907 p\OT1/lcmss/m/n/19.907 )))$ [] [18] File: graphics/ants6.eps Graphic file (type eps) [19] (./disc.aux) LaTeX Font Warning: Size substitutions with differences (Font) up to 9.51999pt have occurred. ) Here is how much of TeX's memory you used: 4906 strings out of 95870 58016 string characters out of 1196419 158964 words of memory out of 1000001 7736 multiletter control sequences out of 10000+50000 23403 words of font info for 90 fonts, out of 500000 for 1000 14 hyphenation exceptions out of 1000 32i,12n,24p,239b,367s stack positions out of 1500i,500n,5000p,200000b,5000s Output written on disc.dvi (21 pages, 26704 bytes).