This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=latex 2011.12.1)  18 APR 2018 08:03
entering extended mode
 %&-line parsing enabled.
**rglr
(./rglr.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, farsi, arabic, croatian, bulgarian, ukrainian, russian, czech, slov
ak, danish, dutch, finnish, french, basque, ngerman, german, german-x-2009-06-1
9, ngerman-x-2009-06-19, ibycus, monogreek, greek, ancientgreek, hungarian, san
skrit, italian, latin, latvian, lithuanian, mongolian2a, mongolian, bokmal, nyn
orsk, romanian, irish, coptic, serbian, turkish, welsh, esperanto, uppersorbian
, estonian, indonesian, interlingua, icelandic, kurmanji, slovenian, polish, po
rtuguese, spanish, galician, catalan, swedish, ukenglish, pinyin, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size11.clo
File: size11.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/texmf-texlive/tex/latex/algorithms/algorithm.sty
Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro
nment

(/usr/share/texmf-texlive/tex/latex/float/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count87
\float@exts=\toks14
\float@box=\box26
\@float@everytoks=\toks15
\@floatcapt=\box27
)
(/usr/share/texmf-texlive/tex/latex/base/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
\@float@every@algorithm=\toks16
\c@algorithm=\count88
)
(/usr/share/texmf-texlive/tex/latex/algorithms/algorithmic.sty
Package: algorithmic 2009/08/24 v0.1 Document Style `algorithmic'

(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks17
)
\c@ALC@unique=\count89
\c@ALC@line=\count90
\c@ALC@rem=\count91
\c@ALC@depth=\count92
\ALC@tlm=\skip43
\algorithmicindent=\skip44
)
(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/etc/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
)
Package graphics Info: Driver file: dvips.def on input line 91.

(/usr/share/texmf-texlive/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
(/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
\epsfxsize=\dimen105
\epsfysize=\dimen106
)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip45

For additional information on amsmath, use the `?' option.
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks18
\ex@=\dimen107
))
(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen108
)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count93
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count94
\leftroot@=\count95
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count96
\DOTSCASE@=\count97
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@=\box28
\strutbox@=\box29
\big@size=\dimen109
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count98
\c@MaxMatrixCols=\count99
\dotsspace@=\muskip10
\c@parentequation=\count100
\dspbrk@lvl=\count101
\tag@help=\toks19
\row@=\count102
\column@=\count103
\maxfields@=\count104
\andhelp@=\toks20
\eqnshift@=\dimen110
\alignsep@=\dimen111
\tagshift@=\dimen112
\tagwidth@=\dimen113
\totwidth@=\dimen114
\lineht@=\dimen115
\@envbody=\toks21
\multlinegap=\skip46
\multlinetaggap=\skip47
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
\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 96.
)
(/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2009/06/22 v3.00
)
(/usr/share/texmf-texlive/tex/latex/tools/array.sty
Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
\col@sep=\dimen116
\extrarowheight=\dimen117
\NC@list=\toks23
\extratabsurround=\skip48
\backup@length=\skip49
)
(/usr/share/texmf-texlive/tex/latex/doublestroke/dsfont.sty
Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
)
(/usr/share/texmf-texlive/tex/latex/tools/xspace.sty
Package: xspace 2006/05/08 v1.12 Space after command names (DPC,MH)
) (./preamble
(../../Research/preamble.tex
\c@theorem=\count105
\c@exercise=\count106
\c@observation=\count107
\c@corollary=\count108
\c@statement=\count109
\c@definition=\count110
\c@lemma=\count111
\c@claim=\count112
\c@conjecture=\count113
\c@technicallemma=\count114
\c@inequality=\count115
\c@sublemma=\count116
\c@remark=\count117
\c@specification=\count118
\c@proposition=\count119
\c@property=\count120
\c@notation=\count121
\c@invariant=\count122
\c@theoremsec=\count123
\c@exercisesec=\count124
\c@observationsec=\count125
\c@corollarysec=\count126
\c@statementsec=\count127
\c@definitionsec=\count128
\c@lemmasec=\count129
\c@claimsec=\count130
\c@conjecturesec=\count131
\c@technicallemmasec=\count132
\c@inequalitysec=\count133
\c@sublemmasec=\count134
\c@remarksec=\count135
\c@specificationsec=\count136
\c@propositionsec=\count137
\c@propertysec=\count138
\c@notationsec=\count139
\c@invariantsec=\count140
\c@theoremsubsec=\count141
\c@exercisesubsec=\count142
\c@observationsubsec=\count143
\c@corollarysubsec=\count144
\c@statementsubsec=\count145
\c@definitionsubsec=\count146
\c@lemmasubsec=\count147
\c@claimsubsec=\count148
\c@conjecturesubsec=\count149
\c@technicallemmasubsec=\count150
\c@inequalitysubsec=\count151
\c@sublemmasubsec=\count152
\c@remarksubsec=\count153
\c@specificationsubsec=\count154
\c@propositionsubsec=\count155
\c@propertysubsec=\count156
\c@notationsubsec=\count157
\c@invariantsubsec=\count158
\c@theoremsubsubsec=\count159
\c@exercisesubsubsec=\count160
\c@observationsubsubsec=\count161
\c@corollarysubsubsec=\count162
\c@statementsubsubsec=\count163
\c@definitionsubsubsec=\count164
\c@lemmasubsubsec=\count165
\c@claimsubsubsec=\count166
\c@conjecturesubsubsec=\count167
\c@technicallemmasubsubsec=\count168
\c@inequalitysubsubsec=\count169
\c@sublemmasubsubsec=\count170
\c@remarksubsubsec=\count171
\c@specificationsubsubsec=\count172
\c@propositionsubsubsec=\count173
\c@propertysubsubsec=\count174
\c@notationsubsubsec=\count175
\c@invariantsubsubsec=\count176
\c@theoremsecdup=\count177
\c@theoremsubsecdup=\count178
))
\c@jump=\count179
\c@tbl=\count180
\c@fgr=\count181
\c@mdl=\count182
\c@prp=\count183
\c@action=\count184
\c@priority=\count185
\c@benchmark=\count186
 (./rglr.aux)
\openout1 = `rglr.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 54.
LaTeX Font Info:    ... okay on input line 54.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 54.
LaTeX Font Info:    ... okay on input line 54.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 54.
LaTeX Font Info:    ... okay on input line 54.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 54.
LaTeX Font Info:    ... okay on input line 54.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 54.
LaTeX Font Info:    ... okay on input line 54.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 54.
LaTeX Font Info:    ... okay on input line 54.
LaTeX Font Info:    Try loading font information for U+msa on input line 57.

(/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2009/06/22 v3.00 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 57.

(/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2009/06/22 v3.00 AMS symbols B
) [1

]
File: nfa5.eps Graphic file (type eps)
 <nfa5.eps> [2]
File: nfa4.eps Graphic file (type eps)

<nfa4.eps> [3]
File: nfa9.eps Graphic file (type eps)
 <nfa9.eps> [4]
File: nfaDfa.eps Graphic file (type eps)
 <nfaDfa.eps> [5] (./rglr.aux) ) 
Here is how much of TeX's memory you used:
 2856 strings out of 493849
 32861 string characters out of 1152846
 84274 words of memory out of 3000000
 6116 multiletter control sequences out of 15000+50000
 9192 words of font info for 35 fonts, out of 3000000 for 9000
 714 hyphenation exceptions out of 8191
 27i,4n,23p,217b,280s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on rglr.dvi (5 pages, 1452 bytes).