PhdThesisRealOne/automata_view.log
changeset 456 26a5e640cdd7
equal deleted inserted replaced
453:d68b9db4c9ec 456:26a5e640cdd7
       
     1 This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex 2019.2.7)  21 FEB 2022 21:41
       
     2 entering extended mode
       
     3  restricted \write18 enabled.
       
     4  file:line:error style messages enabled.
       
     5  %&-line parsing enabled.
       
     6 **automata_view.tex
       
     7 (./automata_view.tex
       
     8 LaTeX2e <2018-04-01> patch level 2
       
     9 Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
       
    10 (/usr/local/texlive/2018/texmf-dist/tex/latex/base/article.cls
       
    11 Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
       
    12 (/usr/local/texlive/2018/texmf-dist/tex/latex/base/size10.clo
       
    13 File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
       
    14 )
       
    15 \c@part=\count80
       
    16 \c@section=\count81
       
    17 \c@subsection=\count82
       
    18 \c@subsubsection=\count83
       
    19 \c@paragraph=\count84
       
    20 \c@subparagraph=\count85
       
    21 \c@figure=\count86
       
    22 \c@table=\count87
       
    23 \abovecaptionskip=\skip41
       
    24 \belowcaptionskip=\skip42
       
    25 \bibindent=\dimen102
       
    26 )
       
    27 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
       
    28 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
       
    29 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
       
    30 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
       
    31 x
       
    32 \pgfutil@everybye=\toks14
       
    33 \pgfutil@tempdima=\dimen103
       
    34 \pgfutil@tempdimb=\dimen104
       
    35 
       
    36 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li
       
    37 sts.tex))
       
    38 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
       
    39 \pgfutil@abb=\box26
       
    40 (/usr/local/texlive/2018/texmf-dist/tex/latex/ms/everyshi.sty
       
    41 Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
       
    42 ))
       
    43 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
       
    44 Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31)
       
    45 ))
       
    46 Package: pgf 2015/08/07 v3.0.1a (rcs-revision 1.15)
       
    47 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
       
    48 (/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty
       
    49 Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
       
    50 
       
    51 (/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty
       
    52 Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
       
    53 \KV@toks@=\toks15
       
    54 )
       
    55 (/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty
       
    56 Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)
       
    57 
       
    58 (/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty
       
    59 Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
       
    60 )
       
    61 (/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
       
    62 File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
       
    63 )
       
    64 Package graphics Info: Driver file: pdftex.def on input line 99.
       
    65 
       
    66 (/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-def/pdftex.def
       
    67 File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
       
    68 ))
       
    69 \Gin@req@height=\dimen105
       
    70 \Gin@req@width=\dimen106
       
    71 )
       
    72 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
       
    73 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
       
    74 Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48)
       
    75 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
       
    76 \pgfkeys@pathtoks=\toks16
       
    77 \pgfkeys@temptoks=\toks17
       
    78 
       
    79 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
       
    80 ode.tex
       
    81 \pgfkeys@tmptoks=\toks18
       
    82 ))
       
    83 \pgf@x=\dimen107
       
    84 \pgf@y=\dimen108
       
    85 \pgf@xa=\dimen109
       
    86 \pgf@ya=\dimen110
       
    87 \pgf@xb=\dimen111
       
    88 \pgf@yb=\dimen112
       
    89 \pgf@xc=\dimen113
       
    90 \pgf@yc=\dimen114
       
    91 \w@pgf@writea=\write3
       
    92 \r@pgf@reada=\read1
       
    93 \c@pgf@counta=\count88
       
    94 \c@pgf@countb=\count89
       
    95 \c@pgf@countc=\count90
       
    96 \c@pgf@countd=\count91
       
    97 \t@pgf@toka=\toks19
       
    98 \t@pgf@tokb=\toks20
       
    99 \t@pgf@tokc=\toks21
       
   100 
       
   101 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
       
   102 File: pgf.cfg 2008/05/14  (rcs-revision 1.7)
       
   103 )
       
   104 Driver file for pgf: pgfsys-pdftex.def
       
   105 
       
   106 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d
       
   107 ef
       
   108 File: pgfsys-pdftex.def 2014/10/11  (rcs-revision 1.35)
       
   109 
       
   110 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p
       
   111 df.def
       
   112 File: pgfsys-common-pdf.def 2013/10/10  (rcs-revision 1.13)
       
   113 )))
       
   114 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.
       
   115 code.tex
       
   116 File: pgfsyssoftpath.code.tex 2013/09/09  (rcs-revision 1.9)
       
   117 \pgfsyssoftpath@smallbuffer@items=\count92
       
   118 \pgfsyssoftpath@bigbuffer@items=\count93
       
   119 )
       
   120 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.
       
   121 code.tex
       
   122 File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)
       
   123 )) (/usr/local/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty
       
   124 Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
       
   125 
       
   126 (/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg
       
   127 File: color.cfg 2016/01/02 v1.6 sample color configuration
       
   128 )
       
   129 Package xcolor Info: Driver file: pdftex.def on input line 225.
       
   130 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.
       
   131 Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352.
       
   132 Package xcolor Info: Model `RGB' extended on input line 1364.
       
   133 Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366.
       
   134 Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367.
       
   135 Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.
       
   136 Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.
       
   137 Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.
       
   138 Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.
       
   139 )
       
   140 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
       
   141 Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7)
       
   142 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
       
   143 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
       
   144 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
       
   145 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
       
   146 \pgfmath@dimen=\dimen115
       
   147 \pgfmath@count=\count94
       
   148 \pgfmath@box=\box27
       
   149 \pgfmath@toks=\toks22
       
   150 \pgfmath@stack@operand=\toks23
       
   151 \pgfmath@stack@operation=\toks24
       
   152 )
       
   153 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
       
   154 tex
       
   155 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
       
   156 .code.tex)
       
   157 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
       
   158 nometric.code.tex)
       
   159 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
       
   160 m.code.tex)
       
   161 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
       
   162 rison.code.tex)
       
   163 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
       
   164 code.tex)
       
   165 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
       
   166 .code.tex)
       
   167 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
       
   168 code.tex)
       
   169 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
       
   170 erarithmetics.code.tex)))
       
   171 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
       
   172 \c@pgfmathroundto@lastzeros=\count95
       
   173 ))
       
   174 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co
       
   175 de.tex
       
   176 File: pgfcorepoints.code.tex 2013/10/07  (rcs-revision 1.27)
       
   177 \pgf@picminx=\dimen116
       
   178 \pgf@picmaxx=\dimen117
       
   179 \pgf@picminy=\dimen118
       
   180 \pgf@picmaxy=\dimen119
       
   181 \pgf@pathminx=\dimen120
       
   182 \pgf@pathmaxx=\dimen121
       
   183 \pgf@pathminy=\dimen122
       
   184 \pgf@pathmaxy=\dimen123
       
   185 \pgf@xx=\dimen124
       
   186 \pgf@xy=\dimen125
       
   187 \pgf@yx=\dimen126
       
   188 \pgf@yy=\dimen127
       
   189 \pgf@zx=\dimen128
       
   190 \pgf@zy=\dimen129
       
   191 )
       
   192 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst
       
   193 ruct.code.tex
       
   194 File: pgfcorepathconstruct.code.tex 2013/10/07  (rcs-revision 1.29)
       
   195 \pgf@path@lastx=\dimen130
       
   196 \pgf@path@lasty=\dimen131
       
   197 )
       
   198 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage
       
   199 .code.tex
       
   200 File: pgfcorepathusage.code.tex 2014/11/02  (rcs-revision 1.24)
       
   201 \pgf@shorten@end@additional=\dimen132
       
   202 \pgf@shorten@start@additional=\dimen133
       
   203 )
       
   204 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co
       
   205 de.tex
       
   206 File: pgfcorescopes.code.tex 2015/05/08  (rcs-revision 1.46)
       
   207 \pgfpic=\box28
       
   208 \pgf@hbox=\box29
       
   209 \pgf@layerbox@main=\box30
       
   210 \pgf@picture@serial@count=\count96
       
   211 )
       
   212 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst
       
   213 ate.code.tex
       
   214 File: pgfcoregraphicstate.code.tex 2014/11/02  (rcs-revision 1.12)
       
   215 \pgflinewidth=\dimen134
       
   216 )
       
   217 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform
       
   218 ations.code.tex
       
   219 File: pgfcoretransformations.code.tex 2015/08/07  (rcs-revision 1.20)
       
   220 \pgf@pt@x=\dimen135
       
   221 \pgf@pt@y=\dimen136
       
   222 \pgf@pt@temp=\dimen137
       
   223 )
       
   224 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod
       
   225 e.tex
       
   226 File: pgfcorequick.code.tex 2008/10/09  (rcs-revision 1.3)
       
   227 )
       
   228 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c
       
   229 ode.tex
       
   230 File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)
       
   231 )
       
   232 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce
       
   233 ssing.code.tex
       
   234 File: pgfcorepathprocessing.code.tex 2013/09/09  (rcs-revision 1.9)
       
   235 )
       
   236 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co
       
   237 de.tex
       
   238 File: pgfcorearrows.code.tex 2015/05/14  (rcs-revision 1.43)
       
   239 \pgfarrowsep=\dimen138
       
   240 )
       
   241 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod
       
   242 e.tex
       
   243 File: pgfcoreshade.code.tex 2013/07/15  (rcs-revision 1.15)
       
   244 \pgf@max=\dimen139
       
   245 \pgf@sys@shading@range@num=\count97
       
   246 )
       
   247 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod
       
   248 e.tex
       
   249 File: pgfcoreimage.code.tex 2013/07/15  (rcs-revision 1.18)
       
   250 
       
   251 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.
       
   252 code.tex
       
   253 File: pgfcoreexternal.code.tex 2014/07/09  (rcs-revision 1.21)
       
   254 \pgfexternal@startupbox=\box31
       
   255 ))
       
   256 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co
       
   257 de.tex
       
   258 File: pgfcorelayers.code.tex 2013/07/18  (rcs-revision 1.7)
       
   259 )
       
   260 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare
       
   261 ncy.code.tex
       
   262 File: pgfcoretransparency.code.tex 2013/09/30  (rcs-revision 1.5)
       
   263 )
       
   264 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.
       
   265 code.tex
       
   266 File: pgfcorepatterns.code.tex 2013/11/07  (rcs-revision 1.5)
       
   267 )))
       
   268 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod
       
   269 e.tex
       
   270 File: pgfmoduleshapes.code.tex 2014/03/21  (rcs-revision 1.35)
       
   271 \pgfnodeparttextbox=\box32
       
   272 )
       
   273 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.
       
   274 tex
       
   275 File: pgfmoduleplot.code.tex 2015/08/03  (rcs-revision 1.13)
       
   276 )
       
   277 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
       
   278 -0-65.sty
       
   279 Package: pgfcomp-version-0-65 2007/07/03 v3.0.1a (rcs-revision 1.7)
       
   280 \pgf@nodesepstart=\dimen140
       
   281 \pgf@nodesepend=\dimen141
       
   282 )
       
   283 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
       
   284 -1-18.sty
       
   285 Package: pgfcomp-version-1-18 2007/07/23 v3.0.1a (rcs-revision 1.1)
       
   286 ))
       
   287 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
       
   288 (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
       
   289 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)
       
   290 ) (/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/math/pgfmath.sty
       
   291 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
       
   292 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
       
   293 Package: pgffor 2013/12/13 v3.0.1a (rcs-revision 1.25)
       
   294 
       
   295 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)
       
   296 \pgffor@iter=\dimen142
       
   297 \pgffor@skip=\dimen143
       
   298 \pgffor@stack=\toks25
       
   299 \pgffor@toks=\toks26
       
   300 ))
       
   301 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod
       
   302 e.tex
       
   303 Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151)
       
   304 
       
   305 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan
       
   306 dlers.code.tex
       
   307 File: pgflibraryplothandlers.code.tex 2013/08/31 v3.0.1a (rcs-revision 1.20)
       
   308 \pgf@plot@mark@count=\count98
       
   309 \pgfplotmarksize=\dimen144
       
   310 )
       
   311 \tikz@lastx=\dimen145
       
   312 \tikz@lasty=\dimen146
       
   313 \tikz@lastxsaved=\dimen147
       
   314 \tikz@lastysaved=\dimen148
       
   315 \tikzleveldistance=\dimen149
       
   316 \tikzsiblingdistance=\dimen150
       
   317 \tikz@figbox=\box33
       
   318 \tikz@figbox@bg=\box34
       
   319 \tikz@tempbox=\box35
       
   320 \tikz@tempbox@bg=\box36
       
   321 \tikztreelevel=\count99
       
   322 \tikznumberofchildren=\count100
       
   323 \tikznumberofcurrentchild=\count101
       
   324 \tikz@fig@count=\count102
       
   325 
       
   326 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod
       
   327 e.tex
       
   328 File: pgfmodulematrix.code.tex 2013/09/17  (rcs-revision 1.8)
       
   329 \pgfmatrixcurrentrow=\count103
       
   330 \pgfmatrixcurrentcolumn=\count104
       
   331 \pgf@matrix@numberofcolumns=\count105
       
   332 )
       
   333 \tikz@expandcount=\count106
       
   334 
       
   335 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
       
   336 s/tikzlibrarytopaths.code.tex
       
   337 File: tikzlibrarytopaths.code.tex 2008/06/17 v3.0.1a (rcs-revision 1.2)
       
   338 )))
       
   339 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
       
   340 s/tikzlibraryautomata.code.tex
       
   341 File: tikzlibraryautomata.code.tex 2008/07/14 v3.0.1a (rcs-revision 1.3)
       
   342 
       
   343 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
       
   344 s/tikzlibraryshapes.multipart.code.tex
       
   345 File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v3.0.1a (rcs-revision 1.1
       
   346 )
       
   347 
       
   348 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary
       
   349 shapes.multipart.code.tex
       
   350 File: pgflibraryshapes.multipart.code.tex 2010/01/07 v3.0.1a (rcs-revision 1.2)
       
   351 
       
   352 \pgfnodepartlowerbox=\box37
       
   353 \pgfnodeparttwobox=\box38
       
   354 \pgfnodepartthreebox=\box39
       
   355 \pgfnodepartfourbox=\box40
       
   356 \pgfnodeparttwentybox=\box41
       
   357 \pgfnodepartnineteenbox=\box42
       
   358 \pgfnodeparteighteenbox=\box43
       
   359 \pgfnodepartseventeenbox=\box44
       
   360 \pgfnodepartsixteenbox=\box45
       
   361 \pgfnodepartfifteenbox=\box46
       
   362 \pgfnodepartfourteenbox=\box47
       
   363 \pgfnodepartthirteenbox=\box48
       
   364 \pgfnodeparttwelvebox=\box49
       
   365 \pgfnodepartelevenbox=\box50
       
   366 \pgfnodeparttenbox=\box51
       
   367 \pgfnodepartninebox=\box52
       
   368 \pgfnodeparteightbox=\box53
       
   369 \pgfnodepartsevenbox=\box54
       
   370 \pgfnodepartsixbox=\box55
       
   371 \pgfnodepartfivebox=\box56
       
   372 )))
       
   373 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
       
   374 s/tikzlibrarypositioning.code.tex
       
   375 File: tikzlibrarypositioning.code.tex 2008/10/06 v3.0.1a (rcs-revision 1.7)
       
   376 ) (./automata_view.aux)
       
   377 \openout1 = `automata_view.aux'.
       
   378 
       
   379 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 5.
       
   380 LaTeX Font Info:    ... okay on input line 5.
       
   381 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 5.
       
   382 LaTeX Font Info:    ... okay on input line 5.
       
   383 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 5.
       
   384 LaTeX Font Info:    ... okay on input line 5.
       
   385 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 5.
       
   386 LaTeX Font Info:    ... okay on input line 5.
       
   387 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 5.
       
   388 LaTeX Font Info:    ... okay on input line 5.
       
   389 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 5.
       
   390 LaTeX Font Info:    ... okay on input line 5.
       
   391 
       
   392 ABD: EveryShipout initializing macros
       
   393 (/usr/local/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
       
   394 [Loading MPS to PDF converter (version 2006.09.02).]
       
   395 \scratchcounter=\count107
       
   396 \scratchdimen=\dimen151
       
   397 \scratchbox=\box57
       
   398 \nofMPsegments=\count108
       
   399 \nofMParguments=\count109
       
   400 \everyMPshowfont=\toks27
       
   401 \MPscratchCnt=\count110
       
   402 \MPscratchDim=\dimen152
       
   403 \MPnumerator=\count111
       
   404 \makeMPintoPDFobject=\count112
       
   405 \everyMPtoPDFconversion=\toks28
       
   406 ) (/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
       
   407 Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf
       
   408 
       
   409 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/infwarerr.sty
       
   410 Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
       
   411 )
       
   412 (/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty
       
   413 Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO)
       
   414 
       
   415 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
       
   416 Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO)
       
   417 
       
   418 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
       
   419 Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
       
   420 )))
       
   421 (/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty
       
   422 Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO)
       
   423 
       
   424 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
       
   425 Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO)
       
   426 
       
   427 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/etexcmds.sty
       
   428 Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO)
       
   429 
       
   430 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/ifluatex.sty
       
   431 Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO)
       
   432 Package ifluatex Info: LuaTeX not detected.
       
   433 )
       
   434 Package etexcmds Info: Could not find \expanded.
       
   435 (etexcmds)             That can mean that you are not using pdfTeX 1.50 or
       
   436 (etexcmds)             that some package has redefined \expanded.
       
   437 (etexcmds)             In the latter case, load this package earlier.
       
   438 )))
       
   439 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
       
   440 Package: pdftexcmds 2018/01/30 v0.27 Utility functions of pdfTeX for LuaTeX (HO
       
   441 )
       
   442 
       
   443 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/ifpdf.sty
       
   444 Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
       
   445 )
       
   446 Package pdftexcmds Info: LuaTeX not detected.
       
   447 Package pdftexcmds Info: \pdf@primitive is available.
       
   448 Package pdftexcmds Info: \pdf@ifprimitive is available.
       
   449 Package pdftexcmds Info: \pdfdraftmode found.
       
   450 )
       
   451 Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
       
   452 38.
       
   453 Package grfext Info: Graphics extension search list:
       
   454 (grfext)             [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPE
       
   455 G,.JBIG2,.JB2,.eps]
       
   456 (grfext)             \AppendGraphicsExtensions on input line 456.
       
   457 
       
   458 (/usr/local/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
       
   459 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
       
   460 e
       
   461 ))
       
   462 LaTeX Font Info:    External font `cmex10' loaded for size
       
   463 (Font)              <7> on input line 8.
       
   464 LaTeX Font Info:    External font `cmex10' loaded for size
       
   465 (Font)              <5> on input line 8.
       
   466 
       
   467 [1
       
   468 
       
   469 {/usr/local/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
       
   470 (./automata_view.aux) ) 
       
   471 Here is how much of TeX's memory you used:
       
   472  11979 strings out of 492649
       
   473  255479 string characters out of 6129623
       
   474  299018 words of memory out of 5000000
       
   475  15660 multiletter control sequences out of 15000+600000
       
   476  4245 words of font info for 16 fonts, out of 8000000 for 9000
       
   477  1141 hyphenation exceptions out of 8191
       
   478  55i,8n,68p,431b,791s stack positions out of 5000i,500n,10000p,200000b,80000s
       
   479 </usr/local/texlive/2018/texmf-dist/fonts/type1/public/a
       
   480 msfonts/cm/cmbx12.pfb></usr/local/texlive/2018/texmf-dist/fonts/type1/public/am
       
   481 sfonts/cm/cmmi10.pfb></usr/local/texlive/2018/texmf-dist/fonts/type1/public/ams
       
   482 fonts/cm/cmr10.pfb></usr/local/texlive/2018/texmf-dist/fonts/type1/public/amsfo
       
   483 nts/cm/cmr7.pfb>
       
   484 Output written on automata_view.pdf (1 page, 37862 bytes).
       
   485 PDF statistics:
       
   486  27 PDF objects out of 1000 (max. 8388607)
       
   487  19 compressed objects within 1 object stream
       
   488  0 named destinations out of 1000 (max. 500000)
       
   489  13 words of extra memory for PDF output out of 10000 (max. 10000000)
       
   490