This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013) (format=latex 2018.9.6)  11 OCT 2018 14:00
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**ambig
(./ambig.tex
LaTeX2e <2011/06/27>
Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
aded.
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
File: size10.clo 2007/10/19 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/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 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: dvips.def on input line 91.

(/usr/share/texlive/texmf-dist/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
\epsfxsize=\dimen105
\epsfysize=\dimen106
) (./preamble
(../../../Research/preamble.tex
\c@theorem=\count87
\c@exercise=\count88
\c@observation=\count89
\c@corollary=\count90
\c@statement=\count91
\c@definition=\count92
\c@lemma=\count93
\c@claim=\count94
\c@conjecture=\count95
\c@technicallemma=\count96
\c@inequality=\count97
\c@sublemma=\count98
\c@remark=\count99
\c@specification=\count100
\c@proposition=\count101
\c@property=\count102
\c@notation=\count103
\c@invariant=\count104
\c@theoremsec=\count105
\c@exercisesec=\count106
\c@observationsec=\count107
\c@corollarysec=\count108
\c@statementsec=\count109
\c@definitionsec=\count110
\c@lemmasec=\count111
\c@claimsec=\count112
\c@conjecturesec=\count113
\c@technicallemmasec=\count114
\c@inequalitysec=\count115
\c@sublemmasec=\count116
\c@remarksec=\count117
\c@specificationsec=\count118
\c@propositionsec=\count119
\c@propertysec=\count120
\c@notationsec=\count121
\c@invariantsec=\count122
\c@theoremsubsec=\count123
\c@exercisesubsec=\count124
\c@observationsubsec=\count125
\c@corollarysubsec=\count126
\c@statementsubsec=\count127
\c@definitionsubsec=\count128
\c@lemmasubsec=\count129
\c@claimsubsec=\count130
\c@conjecturesubsec=\count131
\c@technicallemmasubsec=\count132
\c@inequalitysubsec=\count133
\c@sublemmasubsec=\count134
\c@remarksubsec=\count135
\c@specificationsubsec=\count136
\c@propositionsubsec=\count137
\c@propertysubsec=\count138
\c@notationsubsec=\count139
\c@invariantsubsec=\count140
\c@theoremsubsubsec=\count141
\c@exercisesubsubsec=\count142
\c@observationsubsubsec=\count143
\c@corollarysubsubsec=\count144
\c@statementsubsubsec=\count145
\c@definitionsubsubsec=\count146
\c@lemmasubsubsec=\count147
\c@claimsubsubsec=\count148
\c@conjecturesubsubsec=\count149
\c@technicallemmasubsubsec=\count150
\c@inequalitysubsubsec=\count151
\c@sublemmasubsubsec=\count152
\c@remarksubsubsec=\count153
\c@specificationsubsubsec=\count154
\c@propositionsubsubsec=\count155
\c@propertysubsubsec=\count156
\c@notationsubsubsec=\count157
\c@invariantsubsubsec=\count158
\c@theoremsecdup=\count159
\c@theoremsubsecdup=\count160
)) (./ambig.aux)
\openout1 = `ambig.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 27.
LaTeX Font Info:    ... okay on input line 27.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 27.
LaTeX Font Info:    ... okay on input line 27.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 27.
LaTeX Font Info:    ... okay on input line 27.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 27.
LaTeX Font Info:    ... okay on input line 27.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 27.
LaTeX Font Info:    ... okay on input line 27.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 27.
LaTeX Font Info:    ... okay on input line 27.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 34.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 34.
 [1

] (./ambig.aux) ) 
Here is how much of TeX's memory you used:
 1594 strings out of 495064
 18402 string characters out of 3182225
 78188 words of memory out of 3000000
 4832 multiletter control sequences out of 15000+200000
 4913 words of font info for 18 fonts, out of 3000000 for 9000
 14 hyphenation exceptions out of 8191
 32i,7n,21p,193b,101s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on ambig.dvi (1 page, 5160 bytes).