This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex 2018.10.18) 29 AUG 2019 10:47 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **G00R.tex (./G00R.tex LaTeX2e <2016/02/01> Babel <3.9q> and hyphenation patterns for 5 language(s) loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \@emptytoks=\toks14 \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 106. )) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2016/03/03 v2.15a AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 AMS text (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks15 \ex@=\dimen103 )) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen104 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count87 LaTeX Info: Redefining \frac on input line 199. \uproot@=\count88 \leftroot@=\count89 LaTeX Info: Redefining \overline on input line 297. \classnum@=\count90 \DOTSCASE@=\count91 LaTeX Info: Redefining \ldots on input line 394. LaTeX Info: Redefining \dots on input line 397. LaTeX Info: Redefining \cdots on input line 518. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 630. LaTeX Font Info: Redeclaring font encoding OMS on input line 631. \macc@depth=\count92 \c@MaxMatrixCols=\count93 \dotsspace@=\muskip10 \c@parentequation=\count94 \dspbrk@lvl=\count95 \tag@help=\toks16 \row@=\count96 \column@=\count97 \maxfields@=\count98 \andhelp@=\toks17 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks18 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks19 LaTeX Info: Redefining \[ on input line 2735. LaTeX Info: Redefining \] on input line 2736. ) (/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty Package: enumerate 2015/07/23 v3.00 enumerate extensions (DPC) \@enLab=\toks20 ) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2015/03/04 v2.20.2 \thm@style=\toks21 \thm@bodyfont=\toks22 \thm@headfont=\toks23 \thm@notefont=\toks24 \thm@headpunct=\toks25 \thm@preskip=\skip46 \thm@postskip=\skip47 \thm@headsep=\skip48 \dth@everypar=\toks26 ) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip11 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. ) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex ) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.8.9 <2013/10/06> Copyright (c) 1991-2013 by Kristoffer H. Rose and others Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen112 \Y@c=\dimen113 \U@c=\dimen114 \D@c=\dimen115 \L@c=\dimen116 \R@c=\dimen117 \Edge@c=\toks27 \X@p=\dimen118 \Y@p=\dimen119 \U@p=\dimen120 \D@p=\dimen121 \L@p=\dimen122 \R@p=\dimen123 \Edge@p=\toks28 \X@origin=\dimen124 \Y@origin=\dimen125 \X@xbase=\dimen126 \Y@xbase=\dimen127 \X@ybase=\dimen128 \Y@ybase=\dimen129 \X@min=\dimen130 \Y@min=\dimen131 \X@max=\dimen132 \Y@max=\dimen133 \lastobjectbox@=\box28 \zerodotbox@=\box29 \almostz@=\dimen134 direction, \d@X=\dimen135 \d@Y=\dimen136 \K@=\count99 \KK@=\count100 \Direction=\count101 \K@dXdY=\dimen137 \K@dYdX=\dimen138 \xyread@=\read1 \xywrite@=\write3 \csp@=\count102 \quotPTK@=\dimen139 utility macros; pictures: \xy, positions, \swaptoks@@=\toks29 \connectobjectbox@@=\box30 objects, \styletoks@=\toks30 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) Package ifpdf Info: pdfTeX in PDF mode is detected. ) Package: xy 2013/10/06 Xy-pic version 3.8.9 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.7 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.8 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.12 curve, \crv@cnt@=\count103 \crvpts@=\toks31 \splinebox@=\box31 \splineval@=\dimen140 \splinedepth@=\dimen141 \splinetol@=\dimen142 \splinelength@=\dimen143 circles, \L@=\dimen144 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.14 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.10 \xylinethick@=\dimen145 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.8 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.11 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.14 \Row=\count104 \Col=\count105 \queue@=\toks32 \queue@@=\toks33 \qcount@=\count106 \qcount@@=\count107 \matrixsize@=\count108 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf.tex Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded) Xy-pic pdf driver: `curve' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded) Xy-pic pdf driver: `frame' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded) Xy-pic pdf driver: `line' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded) Xy-pic pdf driver: `rotate' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks34 ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2016/01/03 v1.0q Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2016/01/03 v1.10 sin cos tan (DPC) ) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live ) Package graphics Info: Driver file: pdftex.def on input line 95. (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO) ) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) ) \Gread@gobject=\count109 )) \Gin@req@height=\dimen146 \Gin@req@width=\dimen147 ) (/usr/share/texlive/texmf-dist/tex/latex/natbib/natbib.sty Package: natbib 2010/09/13 8.31b (PWD, AO) \bibhang=\skip49 \bibsep=\skip50 LaTeX Info: Redefining \cite on input line 694. \c@NAT@ctr=\count110 ) (/usr/share/texlive/texmf-dist/tex/latex/natbib/bibentry.sty Package: bibentry 2007/10/30 1.5 (PWD) ) \c@theorem=\count111 (./G00R.aux) \openout1 = `G00R.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 39. LaTeX Font Info: ... okay on input line 39. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 39. LaTeX Font Info: ... okay on input line 39. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 39. LaTeX Font Info: ... okay on input line 39. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 39. LaTeX Font Info: ... okay on input line 39. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 39. LaTeX Font Info: ... okay on input line 39. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 39. LaTeX Font Info: ... okay on input line 39. LaTeX Font Info: Try loading font information for U+msa on input line 39. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Try loading font information for U+msb on input line 39. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) Package xypdf Info: Line width: 0.39998pt on input line 39. (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count112 \scratchdimen=\dimen148 \scratchbox=\box32 \nofMPsegments=\count113 \nofMParguments=\count114 \everyMPshowfont=\toks35 \MPscratchCnt=\count115 \MPscratchDim=\dimen149 \MPnumerator=\count116 \makeMPintoPDFobject=\count117 \everyMPtoPDFconversion=\toks36 ) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO ) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) Package ifluatex Info: LuaTeX not detected. ) Package pdftexcmds Info: LuaTeX not detected. Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode found. ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO) )) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO) Package etexcmds Info: Could not find \expanded. (etexcmds) That can mean that you are not using pdfTeX 1.50 or (etexcmds) that some package has redefined \expanded. (etexcmds) In the latter case, load this package earlier. ))) Package grfext Info: Graphics extension search list: (grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE G,.JBIG2,.JB2,.eps] (grfext) \AppendGraphicsExtensions on input line 452. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) Overfull \hbox (11.55164pt too wide) in paragraph at lines 149--153 []\OT1/cmr/m/n/9 Let $[] : \OMS/cmsy/m/n/9 O ! \U/msb/m/n/9 R$ \OT1/cmr/m/n/9 b e the stan-dard part map, the do-main $\OMS/cmsy/m/n/9 O \OT1/cmr/m/n/9 = [][][ \OMS/cmsy/m/n/9 ^^@\OML/cmm/m/it/9 n; n\OT1/cmr/m/n/9 ] \OMS/cmsy/m/n/9 ^^R [] LaTeX Font Info: Try loading font information for U+euf on input line 153. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd File: ueuf.fd 2013/01/14 v3.01 Euler Fraktur ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] Overfull \hbox (19.47704pt too wide) in paragraph at lines 234--239 \OT1/cmr/m/n/9 Lemma 2.2[] be-low), which un-der a hy-po-thet-i-cal parameter-f ree bi-interpretation [] [2] LaTeX Font Info: Try loading font information for OMS+cmr on input line 288. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <9> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 288. [3] Overfull \hbox (6.95346pt too wide) in paragraph at lines 356--361 \OT1/cmr/m/n/9 definable'' means de-fin-able in the pure group $([](\OMS/cmsy/m /n/9 R\OT1/cmr/m/n/9 ); \OMS/cmsy/m/n/9 ^^C\OT1/cmr/m/n/9 )$, and ``$\OMS/cmsy/ m/n/9 R$\OT1/cmr/m/n/9 -definable'' [] [4] [5] [6] [7] Overfull \hbox (12.72278pt too wide) in paragraph at lines 694--698 \OT1/cmr/m/n/9 struc-tures, [[], Corol-lary 1.16], there ex-ists a fi-nite set $\OML/cmm/m/it/9 X[] \OMS/cmsy/m/n/9 ^^R \OML/cmm/m/it/9 C[]\OT1/cmr/m/n/9 (\OM L/cmm/m/it/9 S[]\OT1/cmr/m/n/9 ) \OMS/cmsy/m/n/9 ^^R [] [8] [9] [10] [11] Overfull \hbox (5.11948pt too wide) in paragraph at lines 1007--1007 []\OT1/cmr/bx/n/12 Obtaining the val-u-a-tion, and bi-interpetability [] Overfull \hbox (4.39313pt too wide) in paragraph at lines 1079--1085 []\OT1/cmr/m/n/9 By Lemma 3.12[], $\OML/cmm/m/it/9 ^^R[]$ \OT1/cmr/m/n/9 pro-vi des a def-i-ni-tion of $(\OMS/cmsy/m/n/9 R\OT1/cmr/m/n/9 ; [])$ [] [12] Overfull \hbox (8.72314pt too wide) in paragraph at lines 1090--1090 []\OT1/cmr/bx/n/14.4 Isomorphisms of in-finites-i-mal sub-groups [] Overfull \hbox (7.24551pt too wide) in paragraph at lines 1116--1126 []\OT1/cmr/m/n/9 In this sub-sec-tion we re-serve the term `semi-al-ge-braic' f or $\OML/cmm/m/it/9 R$\OT1/cmr/m/n/9 -semialgebraic [] [13] [14] [15] Overfull \hbox (5.40144pt too wide) in paragraph at lines 1248--1253 \OT1/cmr/m/n/9 We ad-dress the ``Borel-Tits phe-nomenon'' as-so-ci-ated with bi -interpretations [] Overfull \hbox (14.6589pt too wide) in paragraph at lines 1301--1303 []\OT1/cmr/m/n/9 Let $(\OML/cmm/m/it/9 f; g\OT1/cmr/m/n/9 )$ be the bi-interpre tation of $\OMS/cmsy/m/n/9 A[]$ \OT1/cmr/m/n/9 with $\OMS/cmsy/m/n/9 B[]$\OT1/c mr/m/n/9 , and $\OML/cmm/m/it/9 \OT1/cmr/m/n/9 : []$ [] [16] Overfull \hbox (14.85307pt too wide) in paragraph at lines 1419--1419 []\OT1/cmr/bx/n/14.4 Infinitesimal sub-groups of de-fin-ably com- [] [17] Overfull \hbox (0.5507pt too wide) has occurred while \output is active \OT1/cmr/m/sl/10 5 INFINITESIMAL SUBGROUPS OF DEFINABLY COMPACT GROUPS \OT1/cmr /m/n/10 18 [] [18] LaTeX Font Info: Font shape `OMS/cmr/m/it' in size <9> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 1497. Overfull \hbox (21.64801pt too wide) in paragraph at lines 1504--1507 []\OT1/cmr/m/n/9 This is im-me-di-ate from [[], Corol-lary 6.4(i)] and [[], Fac t 1.2(3)] [] Overfull \hbox (0.5507pt too wide) has occurred while \output is active \OT1/cmr/m/sl/10 5 INFINITESIMAL SUBGROUPS OF DEFINABLY COMPACT GROUPS \OT1/cmr /m/n/10 19 [] [19] (./G00R.bbl [20] [21]) [22] (./G00R.aux) ) Here is how much of TeX's memory you used: 5851 strings out of 494910 73520 string characters out of 6179835 185373 words of memory out of 5000000 9008 multiletter control sequences out of 15000+600000 17348 words of font info for 70 fonts, out of 8000000 for 9000 36 hyphenation exceptions out of 8191 38i,14n,28p,3236b,439s stack positions out of 5000i,500n,10000p,200000b,80000s Output written on G00R.pdf (22 pages, 389840 bytes). PDF statistics: 192 PDF objects out of 1000 (max. 8388607) 137 compressed objects within 2 object streams 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000)