|
371
|
1 |
This is LuaTeX, Version 1.07.0 (TeX Live 2018) (format=lualatex 2019.2.7) 1 NOV 2021 11:19
|
|
369
|
2 |
restricted system commands enabled.
|
|
|
3 |
**root.tex
|
|
|
4 |
(./root.tex
|
|
|
5 |
LaTeX2e <2018-04-01> patch level 2
|
|
|
6 |
Lua module: luaotfload-main 2017/01/29 2.80001 OpenType layout system.
|
|
|
7 |
Lua module: lualibs 2017-02-01 2.5 ConTeXt Lua standard libraries.
|
|
|
8 |
Lua module: lualibs-extended 2017-02-01 2.5 ConTeXt Lua libraries -- extended co
|
|
|
9 |
llection.(using write cache: /Users/cstan/Library/texlive/2018/texmf-var/luatex-
|
|
|
10 |
cache/generic)(using read cache: /usr/local/texlive/2018/texmf-var/luatex-cache/
|
|
|
11 |
generic /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic)
|
|
|
12 |
luaotfload | conf : Root cache directory is /Users/cstan/Library/texlive/2018/te
|
|
|
13 |
xmf-var/luatex-cache/generic/names.
|
|
|
14 |
luaotfload | init : Loading fontloader “fontloader-2017-02-11.lua” from kpse
|
|
|
15 |
-resolved path “/usr/local/texlive/2018/texmf-dist/tex/luatex/luaotfload/fontl
|
|
|
16 |
oader-2017-02-11.lua”.
|
|
|
17 |
Lua-only attribute luaotfload@state = 1
|
|
|
18 |
Lua-only attribute luaotfload@noligature = 2
|
|
|
19 |
Lua-only attribute luaotfload@syllabe = 3
|
|
|
20 |
luaotfload | init : Context OpenType loader version “3.027”
|
|
|
21 |
Inserting `luaotfload.node_processor' at position 1 in `pre_linebreak_filter'.
|
|
|
22 |
Inserting `luaotfload.node_processor' at position 1 in `hpack_filter'.
|
|
|
23 |
Inserting `luaotfload.define_font' at position 1 in `define_font'.
|
|
|
24 |
Lua-only attribute luaotfload_color_attribute = 4
|
|
|
25 |
luaotfload | conf : Root cache directory is /Users/cstan/Library/texlive/2018/te
|
|
|
26 |
xmf-var/luatex-cache/generic/names.
|
|
|
27 |
Inserting `luaotfload.aux.set_sscale_dimens' at position 1 in `luaotfload.patch_
|
|
|
28 |
font'.
|
|
|
29 |
Inserting `luaotfload.aux.patch_cambria_domh' at position 2 in `luaotfload.patch
|
|
|
30 |
_font'.
|
|
|
31 |
Inserting `luaotfload.aux.fixup_fontdata' at position 1 in `luaotfload.patch_fon
|
|
|
32 |
t_unsafe'.
|
|
|
33 |
Inserting `luaotfload.aux.set_capheight' at position 3 in `luaotfload.patch_font
|
|
|
34 |
'.
|
|
|
35 |
Inserting `luaotfload.rewrite_fontname' at position 4 in `luaotfload.patch_font'
|
|
|
36 |
.
|
|
371
|
37 |
luaotfload | main : initialization completed in 0.120 seconds
|
|
369
|
38 |
Babel <3.18> and hyphenation patterns for 1 language(s) loaded.
|
|
|
39 |
(./llncs.cls
|
|
|
40 |
Document Class: llncs 2002/01/28 v2.13
|
|
|
41 |
LaTeX document class for Lecture Notes in Computer Science
|
|
|
42 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/article.cls
|
|
|
43 |
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
|
|
|
44 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/size10.clo
|
|
|
45 |
File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
|
|
|
46 |
luaotfload | db : Font names database loaded from /Users/cstan/Library/texlive/2
|
|
|
47 |
018/texmf-var/luatex-cache/generic/names/luaotfload-names.luc(load luc: /Users/c
|
|
|
48 |
stan/Library/texlive/2018/texmf-var/luatex-cache/generic/fonts/otl/lmroman10-reg
|
|
|
49 |
ular.luc))
|
|
|
50 |
\c@part=\count80
|
|
|
51 |
\c@section=\count81
|
|
|
52 |
\c@subsection=\count82
|
|
|
53 |
\c@subsubsection=\count83
|
|
|
54 |
\c@paragraph=\count84
|
|
|
55 |
\c@subparagraph=\count85
|
|
|
56 |
\c@figure=\count86
|
|
|
57 |
\c@table=\count87
|
|
|
58 |
\abovecaptionskip=\skip41
|
|
|
59 |
\belowcaptionskip=\skip42
|
|
|
60 |
\bibindent=\dimen102
|
|
|
61 |
) (/usr/local/texlive/2018/texmf-dist/tex/latex/tools/multicol.sty
|
|
|
62 |
Package: multicol 2018/04/01 v1.8r multicolumn formatting (FMi)
|
|
|
63 |
\c@tracingmulticols=\count88
|
|
|
64 |
\mult@box=\box26
|
|
|
65 |
\multicol@leftmargin=\dimen103
|
|
|
66 |
\c@unbalance=\count89
|
|
|
67 |
\c@collectmore=\count90
|
|
|
68 |
\doublecol@number=\count91
|
|
|
69 |
\multicoltolerance=\count92
|
|
|
70 |
\multicolpretolerance=\count93
|
|
|
71 |
\full@width=\dimen104
|
|
|
72 |
\page@free=\dimen105
|
|
|
73 |
\premulticols=\dimen106
|
|
|
74 |
\postmulticols=\dimen107
|
|
|
75 |
\multicolsep=\skip43
|
|
|
76 |
\multicolbaselineskip=\skip44
|
|
|
77 |
\partial@page=\box27
|
|
|
78 |
\last@line=\box28
|
|
|
79 |
\maxbalancingoverflow=\dimen108
|
|
|
80 |
\mult@rightbox=\box29
|
|
|
81 |
\mult@grightbox=\box30
|
|
|
82 |
\mult@gfirstbox=\box31
|
|
|
83 |
\mult@firstbox=\box32
|
|
|
84 |
\@tempa=\box33
|
|
|
85 |
\@tempa=\box34
|
|
|
86 |
\@tempa=\box35
|
|
|
87 |
\@tempa=\box36
|
|
|
88 |
\@tempa=\box37
|
|
|
89 |
\@tempa=\box38
|
|
|
90 |
\@tempa=\box39
|
|
|
91 |
\@tempa=\box40
|
|
|
92 |
\@tempa=\box41
|
|
|
93 |
\@tempa=\box42
|
|
|
94 |
\@tempa=\box43
|
|
|
95 |
\@tempa=\box44
|
|
|
96 |
\@tempa=\box45
|
|
|
97 |
\@tempa=\box46
|
|
|
98 |
\@tempa=\box47
|
|
|
99 |
\@tempa=\box48
|
|
|
100 |
\@tempa=\box49
|
|
|
101 |
\c@columnbadness=\count94
|
|
|
102 |
\c@finalcolumnbadness=\count95
|
|
|
103 |
\last@try=\dimen109
|
|
|
104 |
\multicolovershoot=\dimen110
|
|
|
105 |
\multicolundershoot=\dimen111
|
|
|
106 |
\mult@nat@firstbox=\box50
|
|
|
107 |
\colbreak@box=\box51
|
|
|
108 |
\mc@col@check@num=\count96
|
|
|
109 |
)
|
|
|
110 |
\c@chapter=\count97
|
|
|
111 |
LaTeX Font Info: Redeclaring math symbol \Gamma on input line 360.
|
|
|
112 |
LaTeX Font Info: Redeclaring math symbol \Delta on input line 361.
|
|
|
113 |
LaTeX Font Info: Redeclaring math symbol \Theta on input line 362.
|
|
|
114 |
LaTeX Font Info: Redeclaring math symbol \Lambda on input line 363.
|
|
|
115 |
LaTeX Font Info: Redeclaring math symbol \Xi on input line 364.
|
|
|
116 |
LaTeX Font Info: Redeclaring math symbol \Pi on input line 365.
|
|
|
117 |
LaTeX Font Info: Redeclaring math symbol \Sigma on input line 366.
|
|
|
118 |
LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 367.
|
|
|
119 |
LaTeX Font Info: Redeclaring math symbol \Phi on input line 368.
|
|
|
120 |
LaTeX Font Info: Redeclaring math symbol \Psi on input line 369.
|
|
|
121 |
LaTeX Font Info: Redeclaring math symbol \Omega on input line 370.
|
|
|
122 |
\tocchpnum=\dimen112
|
|
|
123 |
\tocsecnum=\dimen113
|
|
|
124 |
\tocsectotal=\dimen114
|
|
|
125 |
\tocsubsecnum=\dimen115
|
|
|
126 |
\tocsubsectotal=\dimen116
|
|
|
127 |
\tocsubsubsecnum=\dimen117
|
|
|
128 |
\tocsubsubsectotal=\dimen118
|
|
|
129 |
\tocparanum=\dimen119
|
|
|
130 |
\tocparatotal=\dimen120
|
|
|
131 |
\tocsubparanum=\dimen121
|
|
|
132 |
\@tempcntc=\count98
|
|
|
133 |
\fnindent=\dimen122
|
|
|
134 |
\c@@inst=\count99
|
|
|
135 |
\c@@auth=\count100
|
|
|
136 |
\c@auco=\count101
|
|
|
137 |
\instindent=\dimen123
|
|
|
138 |
\authrun=\box52
|
|
|
139 |
\authorrunning=\toks14
|
|
|
140 |
\tocauthor=\toks15
|
|
|
141 |
\titrun=\box53
|
|
|
142 |
\titlerunning=\toks16
|
|
|
143 |
\toctitle=\toks17
|
|
|
144 |
\c@theorem=\count102
|
|
|
145 |
\c@case=\count103
|
|
|
146 |
\c@conjecture=\count104
|
|
|
147 |
\c@corollary=\count105
|
|
|
148 |
\c@definition=\count106
|
|
|
149 |
\c@example=\count107
|
|
|
150 |
\c@exercise=\count108
|
|
|
151 |
\c@lemma=\count109
|
|
|
152 |
\c@note=\count110
|
|
|
153 |
\c@problem=\count111
|
|
|
154 |
\c@property=\count112
|
|
|
155 |
\c@proposition=\count113
|
|
|
156 |
\c@question=\count114
|
|
|
157 |
\c@solution=\count115
|
|
|
158 |
\c@remark=\count116
|
|
|
159 |
\headlineindent=\dimen124
|
|
|
160 |
) (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/times.sty
|
|
|
161 |
Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
|
|
|
162 |
)
|
|
|
163 |
(./isabelle.sty
|
|
|
164 |
\isa@parindent=\dimen125
|
|
|
165 |
\isa@parskip=\dimen126
|
|
|
166 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/ulem/ulem.sty
|
|
|
167 |
\UL@box=\box54
|
|
|
168 |
\UL@hyphenbox=\box55
|
|
|
169 |
\UL@skip=\skip45
|
|
|
170 |
\UL@hook=\toks18
|
|
|
171 |
\UL@height=\dimen127
|
|
|
172 |
\UL@pe=\count117
|
|
|
173 |
\UL@pixel=\dimen128
|
|
|
174 |
\ULC@box=\box56
|
|
|
175 |
Package: ulem 2012/05/18
|
|
|
176 |
\ULdepth=\dimen129
|
|
|
177 |
)
|
|
|
178 |
(./comment.sty
|
|
|
179 |
\CommentStream=\write3
|
|
|
180 |
Excluding comment 'comment')
|
|
|
181 |
Including comment 'isadelimdocument' Including comment 'isatagdocument'
|
|
|
182 |
Including comment 'isadelimtheory' Including comment 'isatagtheory'
|
|
|
183 |
Including comment 'isadelimproof' Including comment 'isatagproof'
|
|
|
184 |
Including comment 'isadelimML' Including comment 'isatagML'
|
|
|
185 |
Including comment 'isadelimvisible' Including comment 'isatagvisible'
|
|
|
186 |
Excluding comment 'isadeliminvisible' Excluding comment 'isataginvisible'
|
|
|
187 |
Including comment 'isadelimimportant' Including comment 'isatagimportant'
|
|
|
188 |
Including comment 'isadelimunimportant' Including comment 'isatagunimportant')
|
|
|
189 |
(./isabelletags.sty) (./isabellesym.sty)
|
|
|
190 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsmath.sty
|
|
|
191 |
Package: amsmath 2017/09/02 v2.17a AMS math features
|
|
|
192 |
\@mathmargin=\skip46
|
|
|
193 |
|
|
|
194 |
For additional information on amsmath, use the `?' option.
|
|
|
195 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amstext.sty
|
|
|
196 |
Package: amstext 2000/06/29 v2.01 AMS text
|
|
|
197 |
|
|
|
198 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsgen.sty
|
|
|
199 |
File: amsgen.sty 1999/11/30 v2.0 generic functions
|
|
|
200 |
\@emptytoks=\toks19
|
|
|
201 |
\ex@=\dimen130
|
|
|
202 |
))
|
|
|
203 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsbsy.sty
|
|
|
204 |
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
|
|
|
205 |
\pmbraise@=\dimen131
|
|
|
206 |
)
|
|
|
207 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/amsmath/amsopn.sty
|
|
|
208 |
Package: amsopn 2016/03/08 v2.02 operator names
|
|
|
209 |
)
|
|
|
210 |
\inf@bad=\count118
|
|
|
211 |
LaTeX Info: Redefining \frac on input line 213.
|
|
|
212 |
\uproot@=\count119
|
|
|
213 |
\leftroot@=\count120
|
|
|
214 |
LaTeX Info: Redefining \overline on input line 375.
|
|
|
215 |
\classnum@=\count121
|
|
|
216 |
\DOTSCASE@=\count122
|
|
|
217 |
LaTeX Info: Redefining \ldots on input line 472.
|
|
|
218 |
LaTeX Info: Redefining \dots on input line 475.
|
|
|
219 |
LaTeX Info: Redefining \cdots on input line 596.
|
|
|
220 |
\Mathstrutbox@=\box57
|
|
|
221 |
\strutbox@=\box58
|
|
|
222 |
\big@size=\dimen132
|
|
|
223 |
LaTeX Font Info: Redeclaring font encoding OML on input line 712.
|
|
|
224 |
LaTeX Font Info: Redeclaring font encoding OMS on input line 713.
|
|
|
225 |
|
|
|
226 |
|
|
|
227 |
Package amsmath Warning: Unable to redefine math accent \vec.
|
|
|
228 |
|
|
|
229 |
\macc@depth=\count123
|
|
|
230 |
\c@MaxMatrixCols=\count124
|
|
|
231 |
\dotsspace@=\muskip10
|
|
|
232 |
\c@parentequation=\count125
|
|
|
233 |
\dspbrk@lvl=\count126
|
|
|
234 |
\tag@help=\toks20
|
|
|
235 |
\row@=\count127
|
|
|
236 |
\column@=\count128
|
|
|
237 |
\maxfields@=\count129
|
|
|
238 |
\andhelp@=\toks21
|
|
|
239 |
\eqnshift@=\dimen133
|
|
|
240 |
\alignsep@=\dimen134
|
|
|
241 |
\tagshift@=\dimen135
|
|
|
242 |
\tagwidth@=\dimen136
|
|
|
243 |
\totwidth@=\dimen137
|
|
|
244 |
\lineht@=\dimen138
|
|
|
245 |
\@envbody=\toks22
|
|
|
246 |
\multlinegap=\skip47
|
|
|
247 |
\multlinetaggap=\skip48
|
|
|
248 |
\mathdisplay@stack=\toks23
|
|
|
249 |
LaTeX Info: Redefining \[ on input line 2817.
|
|
|
250 |
LaTeX Info: Redefining \] on input line 2818.
|
|
|
251 |
) (/usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amssymb.sty
|
|
|
252 |
Package: amssymb 2013/01/14 v3.01 AMS font symbols
|
|
|
253 |
|
|
|
254 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/amsfonts/amsfonts.sty
|
|
|
255 |
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
|
|
|
256 |
\symAMSa=\mathgroup4
|
|
|
257 |
\symAMSb=\mathgroup5
|
|
|
258 |
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
|
|
|
259 |
(Font) U/euf/m/n --> U/euf/b/n on input line 106.
|
|
|
260 |
))
|
|
|
261 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/mathpartir/mathpartir.sty
|
|
|
262 |
Package: mathpartir 2016/02/24 version 1.3.2 Math Paragraph for Typesetting Infe
|
|
|
263 |
rence Rules
|
|
|
264 |
|
|
|
265 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/keyval.sty
|
|
|
266 |
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
|
|
|
267 |
\KV@toks@=\toks24
|
|
|
268 |
)
|
|
|
269 |
\mpr@andskip=\skip49
|
|
|
270 |
\mpr@lista=\toks25
|
|
|
271 |
\mpr@listb=\toks26
|
|
|
272 |
\mpr@hlist=\box59
|
|
|
273 |
\mpr@vlist=\box60
|
|
|
274 |
\mpr@right=\box61
|
|
|
275 |
)
|
|
|
276 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
|
|
|
277 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
|
|
|
278 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
|
|
|
279 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
|
|
|
280 |
x
|
|
|
281 |
\pgfutil@everybye=\toks27
|
|
|
282 |
\pgfutil@tempdima=\dimen139
|
|
|
283 |
\pgfutil@tempdimb=\dimen140
|
|
|
284 |
|
|
|
285 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li
|
|
|
286 |
sts.tex))
|
|
|
287 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
|
|
|
288 |
\pgfutil@abb=\box62
|
|
|
289 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/ms/everyshi.sty
|
|
|
290 |
Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
|
|
|
291 |
))
|
|
|
292 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
|
|
|
293 |
Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31)
|
|
|
294 |
))
|
|
|
295 |
Package: pgf 2015/08/07 v3.0.1a (rcs-revision 1.15)
|
|
|
296 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
|
|
|
297 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphicx.sty
|
|
|
298 |
Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
|
|
|
299 |
|
|
|
300 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/graphics.sty
|
|
|
301 |
Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)
|
|
|
302 |
|
|
|
303 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics/trig.sty
|
|
|
304 |
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
|
|
|
305 |
)
|
|
|
306 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
|
|
|
307 |
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
|
|
|
308 |
)
|
|
|
309 |
Package graphics Info: Driver file: luatex.def on input line 99.
|
|
|
310 |
|
|
|
311 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-def/luatex.def
|
|
|
312 |
File: luatex.def 2018/01/08 v1.0l Graphics/color driver for luatex
|
|
|
313 |
))
|
|
|
314 |
\Gin@req@height=\dimen141
|
|
|
315 |
\Gin@req@width=\dimen142
|
|
|
316 |
)
|
|
|
317 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
|
|
|
318 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
|
|
|
319 |
Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48)
|
|
|
320 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
|
|
|
321 |
\pgfkeys@pathtoks=\toks28
|
|
|
322 |
\pgfkeys@temptoks=\toks29
|
|
|
323 |
|
|
|
324 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
|
|
|
325 |
ode.tex
|
|
|
326 |
\pgfkeys@tmptoks=\toks30
|
|
|
327 |
))
|
|
|
328 |
\pgf@x=\dimen143
|
|
|
329 |
\pgf@y=\dimen144
|
|
|
330 |
\pgf@xa=\dimen145
|
|
|
331 |
\pgf@ya=\dimen146
|
|
|
332 |
\pgf@xb=\dimen147
|
|
|
333 |
\pgf@yb=\dimen148
|
|
|
334 |
\pgf@xc=\dimen149
|
|
|
335 |
\pgf@yc=\dimen150
|
|
|
336 |
\w@pgf@writea=\write4
|
|
|
337 |
\r@pgf@reada=\read1
|
|
|
338 |
\c@pgf@counta=\count130
|
|
|
339 |
\c@pgf@countb=\count131
|
|
|
340 |
\c@pgf@countc=\count132
|
|
|
341 |
\c@pgf@countd=\count133
|
|
|
342 |
\t@pgf@toka=\toks31
|
|
|
343 |
\t@pgf@tokb=\toks32
|
|
|
344 |
\t@pgf@tokc=\toks33
|
|
|
345 |
|
|
|
346 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
|
|
|
347 |
File: pgf.cfg 2008/05/14 (rcs-revision 1.7)
|
|
|
348 |
)
|
|
|
349 |
Driver file for pgf: pgfsys-luatex.def
|
|
|
350 |
|
|
|
351 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.d
|
|
|
352 |
ef
|
|
|
353 |
File: pgfsys-luatex.def 2014/10/11 (rcs-revision 1.35)
|
|
|
354 |
|
|
|
355 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p
|
|
|
356 |
df.def
|
|
|
357 |
File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13)
|
|
|
358 |
)))
|
|
|
359 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.
|
|
|
360 |
code.tex
|
|
|
361 |
File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9)
|
|
|
362 |
\pgfsyssoftpath@smallbuffer@items=\count134
|
|
|
363 |
\pgfsyssoftpath@bigbuffer@items=\count135
|
|
|
364 |
)
|
|
|
365 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.
|
|
|
366 |
code.tex
|
|
|
367 |
File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4)
|
|
|
368 |
)) (/usr/local/texlive/2018/texmf-dist/tex/latex/xcolor/xcolor.sty
|
|
|
369 |
Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
|
|
|
370 |
|
|
|
371 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/graphics-cfg/color.cfg
|
|
|
372 |
File: color.cfg 2016/01/02 v1.6 sample color configuration
|
|
|
373 |
)
|
|
|
374 |
Package xcolor Info: Driver file: luatex.def on input line 225.
|
|
|
375 |
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.
|
|
|
376 |
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352.
|
|
|
377 |
Package xcolor Info: Model `RGB' extended on input line 1364.
|
|
|
378 |
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366.
|
|
|
379 |
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367.
|
|
|
380 |
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.
|
|
|
381 |
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.
|
|
|
382 |
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.
|
|
|
383 |
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.
|
|
|
384 |
)
|
|
|
385 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
|
|
|
386 |
Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7)
|
|
|
387 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
|
|
|
388 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
|
|
|
389 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
|
|
|
390 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
|
|
|
391 |
\pgfmath@dimen=\dimen151
|
|
|
392 |
\pgfmath@count=\count136
|
|
|
393 |
\pgfmath@box=\box63
|
|
|
394 |
\pgfmath@toks=\toks34
|
|
|
395 |
\pgfmath@stack@operand=\toks35
|
|
|
396 |
\pgfmath@stack@operation=\toks36
|
|
|
397 |
)
|
|
|
398 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
|
|
|
399 |
tex
|
|
|
400 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
|
|
|
401 |
.code.tex)
|
|
|
402 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
|
|
|
403 |
nometric.code.tex)
|
|
|
404 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
|
|
|
405 |
m.code.tex)
|
|
|
406 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
|
|
|
407 |
rison.code.tex)
|
|
|
408 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
|
|
|
409 |
code.tex)
|
|
|
410 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
|
|
|
411 |
.code.tex)
|
|
|
412 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
|
|
|
413 |
code.tex)
|
|
|
414 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
|
|
|
415 |
erarithmetics.code.tex)))
|
|
|
416 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
|
|
|
417 |
\c@pgfmathroundto@lastzeros=\count137
|
|
|
418 |
))
|
|
|
419 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co
|
|
|
420 |
de.tex
|
|
|
421 |
File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27)
|
|
|
422 |
\pgf@picminx=\dimen152
|
|
|
423 |
\pgf@picmaxx=\dimen153
|
|
|
424 |
\pgf@picminy=\dimen154
|
|
|
425 |
\pgf@picmaxy=\dimen155
|
|
|
426 |
\pgf@pathminx=\dimen156
|
|
|
427 |
\pgf@pathmaxx=\dimen157
|
|
|
428 |
\pgf@pathminy=\dimen158
|
|
|
429 |
\pgf@pathmaxy=\dimen159
|
|
|
430 |
\pgf@xx=\dimen160
|
|
|
431 |
\pgf@xy=\dimen161
|
|
|
432 |
\pgf@yx=\dimen162
|
|
|
433 |
\pgf@yy=\dimen163
|
|
|
434 |
\pgf@zx=\dimen164
|
|
|
435 |
\pgf@zy=\dimen165
|
|
|
436 |
)
|
|
|
437 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst
|
|
|
438 |
ruct.code.tex
|
|
|
439 |
File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29)
|
|
|
440 |
\pgf@path@lastx=\dimen166
|
|
|
441 |
\pgf@path@lasty=\dimen167
|
|
|
442 |
)
|
|
|
443 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage
|
|
|
444 |
.code.tex
|
|
|
445 |
File: pgfcorepathusage.code.tex 2014/11/02 (rcs-revision 1.24)
|
|
|
446 |
\pgf@shorten@end@additional=\dimen168
|
|
|
447 |
\pgf@shorten@start@additional=\dimen169
|
|
|
448 |
)
|
|
|
449 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co
|
|
|
450 |
de.tex
|
|
|
451 |
File: pgfcorescopes.code.tex 2015/05/08 (rcs-revision 1.46)
|
|
|
452 |
\pgfpic=\box64
|
|
|
453 |
\pgf@hbox=\box65
|
|
|
454 |
\pgf@layerbox@main=\box66
|
|
|
455 |
\pgf@picture@serial@count=\count138
|
|
|
456 |
)
|
|
|
457 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst
|
|
|
458 |
ate.code.tex
|
|
|
459 |
File: pgfcoregraphicstate.code.tex 2014/11/02 (rcs-revision 1.12)
|
|
|
460 |
\pgflinewidth=\dimen170
|
|
|
461 |
)
|
|
|
462 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform
|
|
|
463 |
ations.code.tex
|
|
|
464 |
File: pgfcoretransformations.code.tex 2015/08/07 (rcs-revision 1.20)
|
|
|
465 |
\pgf@pt@x=\dimen171
|
|
|
466 |
\pgf@pt@y=\dimen172
|
|
|
467 |
\pgf@pt@temp=\dimen173
|
|
|
468 |
)
|
|
|
469 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod
|
|
|
470 |
e.tex
|
|
|
471 |
File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3)
|
|
|
472 |
)
|
|
|
473 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c
|
|
|
474 |
ode.tex
|
|
|
475 |
File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2)
|
|
|
476 |
)
|
|
|
477 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce
|
|
|
478 |
ssing.code.tex
|
|
|
479 |
File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9)
|
|
|
480 |
)
|
|
|
481 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co
|
|
|
482 |
de.tex
|
|
|
483 |
File: pgfcorearrows.code.tex 2015/05/14 (rcs-revision 1.43)
|
|
|
484 |
\pgfarrowsep=\dimen174
|
|
|
485 |
)
|
|
|
486 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod
|
|
|
487 |
e.tex
|
|
|
488 |
File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15)
|
|
|
489 |
\pgf@max=\dimen175
|
|
|
490 |
\pgf@sys@shading@range@num=\count139
|
|
|
491 |
)
|
|
|
492 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod
|
|
|
493 |
e.tex
|
|
|
494 |
File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18)
|
|
|
495 |
|
|
|
496 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.
|
|
|
497 |
code.tex
|
|
|
498 |
File: pgfcoreexternal.code.tex 2014/07/09 (rcs-revision 1.21)
|
|
|
499 |
\pgfexternal@startupbox=\box67
|
|
|
500 |
))
|
|
|
501 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co
|
|
|
502 |
de.tex
|
|
|
503 |
File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7)
|
|
|
504 |
)
|
|
|
505 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare
|
|
|
506 |
ncy.code.tex
|
|
|
507 |
File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5)
|
|
|
508 |
)
|
|
|
509 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.
|
|
|
510 |
code.tex
|
|
|
511 |
File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5)
|
|
|
512 |
)))
|
|
|
513 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod
|
|
|
514 |
e.tex
|
|
|
515 |
File: pgfmoduleshapes.code.tex 2014/03/21 (rcs-revision 1.35)
|
|
|
516 |
\pgfnodeparttextbox=\box68
|
|
|
517 |
)
|
|
|
518 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.
|
|
|
519 |
tex
|
|
|
520 |
File: pgfmoduleplot.code.tex 2015/08/03 (rcs-revision 1.13)
|
|
|
521 |
)
|
|
|
522 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
|
|
|
523 |
-0-65.sty
|
|
|
524 |
Package: pgfcomp-version-0-65 2007/07/03 v3.0.1a (rcs-revision 1.7)
|
|
|
525 |
\pgf@nodesepstart=\dimen176
|
|
|
526 |
\pgf@nodesepend=\dimen177
|
|
|
527 |
)
|
|
|
528 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
|
|
|
529 |
-1-18.sty
|
|
|
530 |
Package: pgfcomp-version-1-18 2007/07/23 v3.0.1a (rcs-revision 1.1)
|
|
|
531 |
))
|
|
|
532 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
|
|
|
533 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
|
|
|
534 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
|
|
|
535 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/pgf/math/pgfmath.sty
|
|
|
536 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
|
|
|
537 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
|
|
|
538 |
Package: pgffor 2013/12/13 v3.0.1a (rcs-revision 1.25)
|
|
|
539 |
|
|
|
540 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)
|
|
|
541 |
\pgffor@iter=\dimen178
|
|
|
542 |
\pgffor@skip=\dimen179
|
|
|
543 |
\pgffor@stack=\toks37
|
|
|
544 |
\pgffor@toks=\toks38
|
|
|
545 |
))
|
|
|
546 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod
|
|
|
547 |
e.tex
|
|
|
548 |
Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151)
|
|
|
549 |
|
|
|
550 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan
|
|
|
551 |
dlers.code.tex
|
|
|
552 |
File: pgflibraryplothandlers.code.tex 2013/08/31 v3.0.1a (rcs-revision 1.20)
|
|
|
553 |
\pgf@plot@mark@count=\count140
|
|
|
554 |
\pgfplotmarksize=\dimen180
|
|
|
555 |
)
|
|
|
556 |
\tikz@lastx=\dimen181
|
|
|
557 |
\tikz@lasty=\dimen182
|
|
|
558 |
\tikz@lastxsaved=\dimen183
|
|
|
559 |
\tikz@lastysaved=\dimen184
|
|
|
560 |
\tikzleveldistance=\dimen185
|
|
|
561 |
\tikzsiblingdistance=\dimen186
|
|
|
562 |
\tikz@figbox=\box69
|
|
|
563 |
\tikz@figbox@bg=\box70
|
|
|
564 |
\tikz@tempbox=\box71
|
|
|
565 |
\tikz@tempbox@bg=\box72
|
|
|
566 |
\tikztreelevel=\count141
|
|
|
567 |
\tikznumberofchildren=\count142
|
|
|
568 |
\tikznumberofcurrentchild=\count143
|
|
|
569 |
\tikz@fig@count=\count144
|
|
|
570 |
|
|
|
571 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod
|
|
|
572 |
e.tex
|
|
|
573 |
File: pgfmodulematrix.code.tex 2013/09/17 (rcs-revision 1.8)
|
|
|
574 |
\pgfmatrixcurrentrow=\count145
|
|
|
575 |
\pgfmatrixcurrentcolumn=\count146
|
|
|
576 |
\pgf@matrix@numberofcolumns=\count147
|
|
|
577 |
)
|
|
|
578 |
\tikz@expandcount=\count148
|
|
|
579 |
|
|
|
580 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
|
|
|
581 |
s/tikzlibrarytopaths.code.tex
|
|
|
582 |
File: tikzlibrarytopaths.code.tex 2008/06/17 v3.0.1a (rcs-revision 1.2)
|
|
|
583 |
)))
|
|
|
584 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
|
|
|
585 |
s/tikzlibrarypositioning.code.tex
|
|
|
586 |
File: tikzlibrarypositioning.code.tex 2008/10/06 v3.0.1a (rcs-revision 1.7)
|
|
|
587 |
) (./pdfsetup.sty)
|
|
|
588 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/hyperref.sty
|
|
|
589 |
Package: hyperref 2018/02/06 v6.86b Hypertext links for LaTeX
|
|
|
590 |
|
|
|
591 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
|
|
|
592 |
Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO)
|
|
|
593 |
|
|
|
594 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
|
|
|
595 |
Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO)
|
|
|
596 |
Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO)
|
|
|
597 |
Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
|
|
|
598 |
Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
|
|
|
599 |
Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO)
|
|
|
600 |
Package ifluatex Info: LuaTeX detected.
|
|
|
601 |
Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
|
|
|
602 |
Package ifvtex Info: VTeX not detected.
|
|
|
603 |
Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO)
|
|
|
604 |
Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
|
|
|
605 |
Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO)
|
|
|
606 |
Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO)
|
|
|
607 |
Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO)
|
|
|
608 |
Package: luatex-loader 2016/05/16 v0.6 Lua module loader (HO)
|
|
|
609 |
|
|
|
610 |
(/usr/local/texlive/2018/texmf-dist/scripts/oberdiek/oberdiek.luatex.lua)
|
|
|
611 |
Package: pdftexcmds 2018/01/30 v0.27 Utility functions of pdfTeX for LuaTeX (HO)
|
|
|
612 |
|
|
|
613 |
Package pdftexcmds Info: \pdf@primitive is available.
|
|
|
614 |
Package pdftexcmds Info: \pdf@ifprimitive is available.
|
|
|
615 |
Package pdftexcmds Info: \pdfdraftmode found.
|
|
|
616 |
\pdftexcmds@toks=\toks39
|
|
|
617 |
Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO)
|
|
|
618 |
Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO)
|
|
|
619 |
|
|
|
620 |
Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO)
|
|
|
621 |
Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO)
|
|
|
622 |
)
|
|
|
623 |
Package hobsub Info: Skipping package `hobsub' (already loaded).
|
|
|
624 |
Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO)
|
|
|
625 |
Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO)
|
|
|
626 |
Package: xcolor-patch 2016/05/16 xcolor patch
|
|
|
627 |
Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO)
|
|
|
628 |
Package atveryend Info: \enddocument detected (standard20110627).
|
|
|
629 |
Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO)
|
|
|
630 |
Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO)
|
|
|
631 |
Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO)
|
|
|
632 |
)
|
|
|
633 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty
|
|
|
634 |
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
|
|
|
635 |
)
|
|
|
636 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/auxhook.sty
|
|
|
637 |
Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
|
|
|
638 |
)
|
|
|
639 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/kvoptions.sty
|
|
|
640 |
Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO)
|
|
|
641 |
)
|
|
|
642 |
\@linkdim=\dimen187
|
|
|
643 |
\Hy@linkcounter=\count149
|
|
|
644 |
\Hy@pagecounter=\count150
|
|
|
645 |
|
|
|
646 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/pd1enc.def
|
|
|
647 |
File: pd1enc.def 2018/02/06 v6.86b Hyperref: PDFDocEncoding definition (HO)
|
|
|
648 |
)
|
|
|
649 |
\Hy@SavedSpaceFactor=\count151
|
|
|
650 |
|
|
|
651 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/latexconfig/hyperref.cfg
|
|
|
652 |
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
|
|
|
653 |
)
|
|
|
654 |
Package hyperref Info: Option `colorlinks' set `true' on input line 4383.
|
|
|
655 |
Package hyperref Info: Option `pdfpagelabels' set `true' on input line 4383.
|
|
|
656 |
Package hyperref Info: Hyper figures OFF on input line 4509.
|
|
|
657 |
Package hyperref Info: Link nesting OFF on input line 4514.
|
|
|
658 |
Package hyperref Info: Hyper index ON on input line 4517.
|
|
|
659 |
Package hyperref Info: Plain pages OFF on input line 4524.
|
|
|
660 |
Package hyperref Info: Backreferencing OFF on input line 4529.
|
|
|
661 |
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
|
|
|
662 |
Package hyperref Info: Bookmarks ON on input line 4762.
|
|
|
663 |
\c@Hy@tempcnt=\count152
|
|
|
664 |
|
|
|
665 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/url/url.sty
|
|
|
666 |
\Urlmuskip=\muskip11
|
|
|
667 |
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
|
|
|
668 |
)
|
|
|
669 |
LaTeX Info: Redefining \url on input line 5115.
|
|
|
670 |
\XeTeXLinkMargin=\dimen188
|
|
|
671 |
\Fld@menulength=\count153
|
|
|
672 |
\Field@Width=\dimen189
|
|
|
673 |
\Fld@charsize=\dimen190
|
|
|
674 |
Package hyperref Info: Hyper figures OFF on input line 6369.
|
|
|
675 |
Package hyperref Info: Link nesting OFF on input line 6374.
|
|
|
676 |
Package hyperref Info: Hyper index ON on input line 6377.
|
|
|
677 |
Package hyperref Info: backreferencing OFF on input line 6384.
|
|
|
678 |
Package hyperref Info: Link coloring ON on input line 6387.
|
|
|
679 |
Package hyperref Info: Link coloring with OCG OFF on input line 6394.
|
|
|
680 |
Package hyperref Info: PDF/A mode OFF on input line 6399.
|
|
|
681 |
LaTeX Info: Redefining \ref on input line 6439.
|
|
|
682 |
LaTeX Info: Redefining \pageref on input line 6443.
|
|
|
683 |
\Hy@abspage=\count154
|
|
|
684 |
\c@Item=\count155
|
|
|
685 |
\c@Hfootnote=\count156
|
|
|
686 |
)
|
|
|
687 |
Package hyperref Info: Driver (autodetected): hluatex.
|
|
|
688 |
|
|
|
689 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/hluatex.def
|
|
|
690 |
File: hluatex.def 2018/02/06 v6.86b Hyperref driver for luaTeX
|
|
|
691 |
\Fld@listcount=\count157
|
|
|
692 |
\c@bookmark@seq@number=\count158
|
|
|
693 |
|
|
|
694 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
|
|
|
695 |
Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO)
|
|
|
696 |
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 28
|
|
|
697 |
2.
|
|
|
698 |
)
|
|
|
699 |
\Hy@SectionHShift=\skip50
|
|
|
700 |
)
|
|
|
701 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
|
|
|
702 |
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
|
|
|
703 |
\symstmry=\mathgroup6
|
|
|
704 |
LaTeX Font Info: Overwriting symbol font `stmry' in version `bold'
|
|
|
705 |
(Font) U/stmry/m/n --> U/stmry/b/n on input line 89.
|
|
|
706 |
)
|
|
|
707 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/tipa/tipa.sty
|
|
|
708 |
Package: tipa 2002/08/08 TIPA version 1.1
|
|
|
709 |
|
|
|
710 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty
|
|
|
711 |
Package: fontenc 2017/04/05 v2.0i Standard LaTeX package
|
|
|
712 |
|
|
|
713 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/tipa/t3enc.def
|
|
|
714 |
File: t3enc.def 2001/12/31 T3 encoding
|
|
|
715 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
716 |
s/otl/lmromanslant10-regular.luc)(load luc: /Users/cstan/Library/texlive/2018/te
|
|
|
717 |
xmf-var/luatex-cache/generic/fonts/otl/lmroman10-italic.luc)(load luc: /Users/cs
|
|
|
718 |
tan/Library/texlive/2018/texmf-var/luatex-cache/generic/fonts/otl/lmroman10-bold
|
|
|
719 |
.luc)
|
|
|
720 |
LaTeX Font Info: Try loading font information for TU+phv on input line 357.
|
|
|
721 |
LaTeX Font Info: No file TUphv.fd. on input line 357.
|
|
|
722 |
|
|
|
723 |
|
|
|
724 |
LaTeX Font Warning: Font shape `TU/phv/m/n' undefined
|
|
|
725 |
(Font) using `TU/lmr/m/n' instead on input line 357.
|
|
|
726 |
|
|
|
727 |
) (/usr/local/texlive/2018/texmf-dist/tex/latex/base/tuenc.def
|
|
|
728 |
File: tuenc.def 2017/04/05 v2.0i Standard LaTeX file
|
|
|
729 |
LaTeX Font Info: Redeclaring font encoding TU on input line 82.
|
|
|
730 |
)))
|
|
|
731 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/mathpazo.sty
|
|
|
732 |
Package: mathpazo 2005/04/12 PSNFSS-v9.2a Palatino w/ Pazo Math (D.Puga, WaS)
|
|
|
733 |
\symupright=\mathgroup7
|
|
|
734 |
)
|
|
|
735 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/fontspec/fontspec.sty
|
|
|
736 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
|
|
|
737 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3kernel/expl3.sty
|
|
|
738 |
Package: expl3 2018/03/05 L3 programming layer (loader)
|
|
|
739 |
|
|
|
740 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3kernel/expl3-code.tex
|
|
|
741 |
Package: expl3 2018/03/05 L3 programming layer (code)
|
|
|
742 |
\ucharcat@table=\catcodetable5
|
|
|
743 |
\c_max_int=\count159
|
|
|
744 |
\l_tmpa_int=\count160
|
|
|
745 |
\l_tmpb_int=\count161
|
|
|
746 |
\g_tmpa_int=\count162
|
|
|
747 |
\g_tmpb_int=\count163
|
|
|
748 |
\g__intarray_font_int=\count164
|
|
|
749 |
\g__prg_map_int=\count165
|
|
|
750 |
\c_log_iow=\count166
|
|
|
751 |
\l_iow_line_count_int=\count167
|
|
|
752 |
\l__iow_line_target_int=\count168
|
|
|
753 |
\l__iow_one_indent_int=\count169
|
|
|
754 |
\l__iow_indent_int=\count170
|
|
|
755 |
\c_zero_dim=\dimen191
|
|
|
756 |
\c_max_dim=\dimen192
|
|
|
757 |
\l_tmpa_dim=\dimen193
|
|
|
758 |
\l_tmpb_dim=\dimen194
|
|
|
759 |
\g_tmpa_dim=\dimen195
|
|
|
760 |
\g_tmpb_dim=\dimen196
|
|
|
761 |
\c_zero_skip=\skip51
|
|
|
762 |
\c_max_skip=\skip52
|
|
|
763 |
\l_tmpa_skip=\skip53
|
|
|
764 |
\l_tmpb_skip=\skip54
|
|
|
765 |
\g_tmpa_skip=\skip55
|
|
|
766 |
\g_tmpb_skip=\skip56
|
|
|
767 |
\c_zero_muskip=\muskip12
|
|
|
768 |
\c_max_muskip=\muskip13
|
|
|
769 |
\l_tmpa_muskip=\muskip14
|
|
|
770 |
\l_tmpb_muskip=\muskip15
|
|
|
771 |
\g_tmpa_muskip=\muskip16
|
|
|
772 |
\g_tmpb_muskip=\muskip17
|
|
|
773 |
\l_keys_choice_int=\count171
|
|
|
774 |
\c__fp_leading_shift_int=\count172
|
|
|
775 |
\c__fp_middle_shift_int=\count173
|
|
|
776 |
\c__fp_trailing_shift_int=\count174
|
|
|
777 |
\c__fp_big_leading_shift_int=\count175
|
|
|
778 |
\c__fp_big_middle_shift_int=\count176
|
|
|
779 |
\c__fp_big_trailing_shift_int=\count177
|
|
|
780 |
\c__fp_Bigg_leading_shift_int=\count178
|
|
|
781 |
\c__fp_Bigg_middle_shift_int=\count179
|
|
|
782 |
\c__fp_Bigg_trailing_shift_int=\count180
|
|
|
783 |
\c__fp_rand_size_int=\count181
|
|
|
784 |
\c__fp_rand_four_int=\count182
|
|
|
785 |
\c__fp_rand_eight_int=\count183
|
|
|
786 |
\l__sort_length_int=\count184
|
|
|
787 |
\l__sort_min_int=\count185
|
|
|
788 |
\l__sort_top_int=\count186
|
|
|
789 |
\l__sort_max_int=\count187
|
|
|
790 |
\l__sort_true_max_int=\count188
|
|
|
791 |
\l__sort_block_int=\count189
|
|
|
792 |
\l__sort_begin_int=\count190
|
|
|
793 |
\l__sort_end_int=\count191
|
|
|
794 |
\l__sort_A_int=\count192
|
|
|
795 |
\l__sort_B_int=\count193
|
|
|
796 |
\l__sort_C_int=\count194
|
|
|
797 |
\l__tl_build_start_index_int=\count195
|
|
|
798 |
\l__tl_build_index_int=\count196
|
|
|
799 |
\l__tl_analysis_normal_int=\count197
|
|
|
800 |
\l__tl_analysis_index_int=\count198
|
|
|
801 |
\l__tl_analysis_nesting_int=\count199
|
|
|
802 |
\l__tl_analysis_type_int=\count266
|
|
|
803 |
\l__regex_internal_a_int=\count267
|
|
|
804 |
\l__regex_internal_b_int=\count268
|
|
|
805 |
\l__regex_internal_c_int=\count269
|
|
|
806 |
\l__regex_balance_int=\count270
|
|
|
807 |
\l__regex_group_level_int=\count271
|
|
|
808 |
\l__regex_mode_int=\count272
|
|
|
809 |
\c__regex_cs_in_class_mode_int=\count273
|
|
|
810 |
\c__regex_cs_mode_int=\count274
|
|
|
811 |
\l__regex_catcodes_int=\count275
|
|
|
812 |
\l__regex_default_catcodes_int=\count276
|
|
|
813 |
\c__regex_catcode_L_int=\count277
|
|
|
814 |
\c__regex_catcode_O_int=\count278
|
|
|
815 |
\c__regex_catcode_A_int=\count279
|
|
|
816 |
\c__regex_all_catcodes_int=\count280
|
|
|
817 |
\l__regex_show_lines_int=\count281
|
|
|
818 |
\l__regex_min_state_int=\count282
|
|
|
819 |
\l__regex_max_state_int=\count283
|
|
|
820 |
\l__regex_left_state_int=\count284
|
|
|
821 |
\l__regex_right_state_int=\count285
|
|
|
822 |
\l__regex_capturing_group_int=\count286
|
|
|
823 |
\l__regex_min_pos_int=\count287
|
|
|
824 |
\l__regex_max_pos_int=\count288
|
|
|
825 |
\l__regex_curr_pos_int=\count289
|
|
|
826 |
\l__regex_start_pos_int=\count290
|
|
|
827 |
\l__regex_success_pos_int=\count291
|
|
|
828 |
\l__regex_curr_char_int=\count292
|
|
|
829 |
\l__regex_curr_catcode_int=\count293
|
|
|
830 |
\l__regex_last_char_int=\count294
|
|
|
831 |
\l__regex_case_changed_char_int=\count295
|
|
|
832 |
\l__regex_curr_state_int=\count296
|
|
|
833 |
\l__regex_step_int=\count297
|
|
|
834 |
\l__regex_min_active_int=\count298
|
|
|
835 |
\l__regex_max_active_int=\count299
|
|
|
836 |
\l__regex_replacement_csnames_int=\count300
|
|
|
837 |
\l__regex_match_count_int=\count301
|
|
|
838 |
\l__regex_min_submatch_int=\count302
|
|
|
839 |
\l__regex_submatch_int=\count303
|
|
|
840 |
\l__regex_zeroth_submatch_int=\count304
|
|
|
841 |
\g__regex_trace_regex_int=\count305
|
|
|
842 |
\c_empty_box=\box73
|
|
|
843 |
\l_tmpa_box=\box74
|
|
|
844 |
\l_tmpb_box=\box75
|
|
|
845 |
\g_tmpa_box=\box76
|
|
|
846 |
\g_tmpb_box=\box77
|
|
|
847 |
\l__box_top_dim=\dimen197
|
|
|
848 |
\l__box_bottom_dim=\dimen198
|
|
|
849 |
\l__box_left_dim=\dimen199
|
|
|
850 |
\l__box_right_dim=\dimen256
|
|
|
851 |
\l__box_top_new_dim=\dimen257
|
|
|
852 |
\l__box_bottom_new_dim=\dimen258
|
|
|
853 |
\l__box_left_new_dim=\dimen259
|
|
|
854 |
\l__box_right_new_dim=\dimen260
|
|
|
855 |
\l__box_internal_box=\box78
|
|
|
856 |
\l__coffin_internal_box=\box79
|
|
|
857 |
\l__coffin_internal_dim=\dimen261
|
|
|
858 |
\l__coffin_offset_x_dim=\dimen262
|
|
|
859 |
\l__coffin_offset_y_dim=\dimen263
|
|
|
860 |
\l__coffin_x_dim=\dimen264
|
|
|
861 |
\l__coffin_y_dim=\dimen265
|
|
|
862 |
\l__coffin_x_prime_dim=\dimen266
|
|
|
863 |
\l__coffin_y_prime_dim=\dimen267
|
|
|
864 |
\c_empty_coffin=\box80
|
|
|
865 |
\l__coffin_aligned_coffin=\box81
|
|
|
866 |
\l__coffin_aligned_internal_coffin=\box82
|
|
|
867 |
\l_tmpa_coffin=\box83
|
|
|
868 |
\l_tmpb_coffin=\box84
|
|
|
869 |
\l__coffin_display_coffin=\box85
|
|
|
870 |
\l__coffin_display_coord_coffin=\box86
|
|
|
871 |
\l__coffin_display_pole_coffin=\box87
|
|
|
872 |
\l__coffin_display_offset_dim=\dimen268
|
|
|
873 |
\l__coffin_display_x_dim=\dimen269
|
|
|
874 |
\l__coffin_display_y_dim=\dimen270
|
|
|
875 |
\l__coffin_bounding_shift_dim=\dimen271
|
|
|
876 |
\l__coffin_left_corner_dim=\dimen272
|
|
|
877 |
\l__coffin_right_corner_dim=\dimen273
|
|
|
878 |
\l__coffin_bottom_corner_dim=\dimen274
|
|
|
879 |
\l__coffin_top_corner_dim=\dimen275
|
|
|
880 |
\l__coffin_scaled_total_height_dim=\dimen276
|
|
|
881 |
\l__coffin_scaled_width_dim=\dimen277
|
|
|
882 |
)
|
|
|
883 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3kernel/l3pdfmode.def
|
|
|
884 |
File: l3pdfmode.def 2017/03/18 v L3 Experimental driver: PDF mode
|
|
|
885 |
\l__driver_color_stack_int=\count306
|
|
|
886 |
))
|
|
|
887 |
Package: xparse 2018/02/21 L3 Experimental document command parser
|
|
|
888 |
\l__xparse_current_arg_int=\count307
|
|
|
889 |
\g__xparse_grabber_int=\count308
|
|
|
890 |
\l__xparse_m_args_int=\count309
|
|
|
891 |
\l__xparse_mandatory_args_int=\count310
|
|
|
892 |
\l__xparse_v_nesting_int=\count311
|
|
|
893 |
)
|
|
|
894 |
Package: fontspec 2017/11/09 v2.6g Font selection for XeLaTeX and LuaLaTeX
|
|
|
895 |
Lua module: fontspec 2017/11/09 2.6g Font selection for XeLaTeX and LuaLaTeX
|
|
|
896 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/fontspec/fontspec-luatex.sty
|
|
|
897 |
Package: fontspec-luatex 2017/11/09 v2.6g Font selection for XeLaTeX and LuaLaTe
|
|
|
898 |
X
|
|
|
899 |
\l__fontspec_script_int=\count312
|
|
|
900 |
\l__fontspec_language_int=\count313
|
|
|
901 |
\l__fontspec_strnum_int=\count314
|
|
|
902 |
\l__fontspec_tmp_int=\count315
|
|
|
903 |
\l__fontspec_em_int=\count316
|
|
|
904 |
\l__fontspec_emdef_int=\count317
|
|
|
905 |
\l__fontspec_strong_int=\count318
|
|
|
906 |
\l__fontspec_strongdef_int=\count319
|
|
|
907 |
\l__fontspec_tmpa_dim=\dimen278
|
|
|
908 |
\l__fontspec_tmpb_dim=\dimen279
|
|
|
909 |
\l__fontspec_tmpc_dim=\dimen280
|
|
|
910 |
\g__file_internal_ior=\read2
|
|
|
911 |
|
|
|
912 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/fontenc.sty
|
|
|
913 |
Package: fontenc 2017/04/05 v2.0i Standard LaTeX package
|
|
|
914 |
|
|
|
915 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/tuenc.def
|
|
|
916 |
File: tuenc.def 2017/04/05 v2.0i Standard LaTeX file
|
|
|
917 |
LaTeX Font Info: Redeclaring font encoding TU on input line 82.
|
|
|
918 |
))
|
|
|
919 |
.................................................
|
|
|
920 |
. LaTeX info: "xparse/define-command"
|
|
|
921 |
.
|
|
|
922 |
. Defining command \fontspec with sig. 'O{}mO{}' on line 545.
|
|
|
923 |
.................................................
|
|
|
924 |
.................................................
|
|
|
925 |
. LaTeX info: "xparse/define-command"
|
|
|
926 |
.
|
|
|
927 |
. Defining command \setmainfont with sig. 'O{}mO{}' on line 549.
|
|
|
928 |
.................................................
|
|
|
929 |
.................................................
|
|
|
930 |
. LaTeX info: "xparse/define-command"
|
|
|
931 |
.
|
|
|
932 |
. Defining command \setsansfont with sig. 'O{}mO{}' on line 553.
|
|
|
933 |
.................................................
|
|
|
934 |
.................................................
|
|
|
935 |
. LaTeX info: "xparse/define-command"
|
|
|
936 |
.
|
|
|
937 |
. Defining command \setmonofont with sig. 'O{}mO{}' on line 557.
|
|
|
938 |
.................................................
|
|
|
939 |
.................................................
|
|
|
940 |
. LaTeX info: "xparse/define-command"
|
|
|
941 |
.
|
|
|
942 |
. Defining command \setmathrm with sig. 'O{}mO{}' on line 561.
|
|
|
943 |
.................................................
|
|
|
944 |
.................................................
|
|
|
945 |
. LaTeX info: "xparse/define-command"
|
|
|
946 |
.
|
|
|
947 |
. Defining command \setboldmathrm with sig. 'O{}mO{}' on line 565.
|
|
|
948 |
.................................................
|
|
|
949 |
.................................................
|
|
|
950 |
. LaTeX info: "xparse/define-command"
|
|
|
951 |
.
|
|
|
952 |
. Defining command \setmathsf with sig. 'O{}mO{}' on line 569.
|
|
|
953 |
.................................................
|
|
|
954 |
.................................................
|
|
|
955 |
. LaTeX info: "xparse/define-command"
|
|
|
956 |
.
|
|
|
957 |
. Defining command \setmathtt with sig. 'O{}mO{}' on line 573.
|
|
|
958 |
.................................................
|
|
|
959 |
.................................................
|
|
|
960 |
. LaTeX info: "xparse/define-command"
|
|
|
961 |
.
|
|
|
962 |
. Defining command \setromanfont with sig. 'O{}mO{}' on line 577.
|
|
|
963 |
.................................................
|
|
|
964 |
.................................................
|
|
|
965 |
. LaTeX info: "xparse/define-command"
|
|
|
966 |
.
|
|
|
967 |
. Defining command \newfontfamily with sig. 'mO{}mO{}' on line 581.
|
|
|
968 |
.................................................
|
|
|
969 |
.................................................
|
|
|
970 |
. LaTeX info: "xparse/define-command"
|
|
|
971 |
.
|
|
|
972 |
. Defining command \newfontface with sig. 'mO{}mO{}' on line 585.
|
|
|
973 |
.................................................
|
|
|
974 |
.................................................
|
|
|
975 |
. LaTeX info: "xparse/define-command"
|
|
|
976 |
.
|
|
|
977 |
. Defining command \defaultfontfeatures with sig. 't+om' on line 589.
|
|
|
978 |
.................................................
|
|
|
979 |
.................................................
|
|
|
980 |
. LaTeX info: "xparse/define-command"
|
|
|
981 |
.
|
|
|
982 |
. Defining command \addfontfeatures with sig. 'm' on line 593.
|
|
|
983 |
.................................................
|
|
|
984 |
.................................................
|
|
|
985 |
. LaTeX info: "xparse/define-command"
|
|
|
986 |
.
|
|
|
987 |
. Defining command \addfontfeature with sig. 'm' on line 597.
|
|
|
988 |
.................................................
|
|
|
989 |
.................................................
|
|
|
990 |
. LaTeX info: "xparse/define-command"
|
|
|
991 |
.
|
|
|
992 |
. Defining command \newfontfeature with sig. 'mm' on line 601.
|
|
|
993 |
.................................................
|
|
|
994 |
.................................................
|
|
|
995 |
. LaTeX info: "xparse/define-command"
|
|
|
996 |
.
|
|
|
997 |
. Defining command \newAATfeature with sig. 'mmmm' on line 605.
|
|
|
998 |
.................................................
|
|
|
999 |
.................................................
|
|
|
1000 |
. LaTeX info: "xparse/define-command"
|
|
|
1001 |
.
|
|
|
1002 |
. Defining command \newopentypefeature with sig. 'mmm' on line 609.
|
|
|
1003 |
.................................................
|
|
|
1004 |
.................................................
|
|
|
1005 |
. LaTeX info: "xparse/define-command"
|
|
|
1006 |
.
|
|
|
1007 |
. Defining command \newICUfeature with sig. 'mmm' on line 613.
|
|
|
1008 |
.................................................
|
|
|
1009 |
.................................................
|
|
|
1010 |
. LaTeX info: "xparse/define-command"
|
|
|
1011 |
.
|
|
|
1012 |
. Defining command \aliasfontfeature with sig. 'mm' on line 617.
|
|
|
1013 |
.................................................
|
|
|
1014 |
.................................................
|
|
|
1015 |
. LaTeX info: "xparse/define-command"
|
|
|
1016 |
.
|
|
|
1017 |
. Defining command \aliasfontfeatureoption with sig. 'mmm' on line 621.
|
|
|
1018 |
.................................................
|
|
|
1019 |
.................................................
|
|
|
1020 |
. LaTeX info: "xparse/define-command"
|
|
|
1021 |
.
|
|
|
1022 |
. Defining command \newfontscript with sig. 'mm' on line 625.
|
|
|
1023 |
.................................................
|
|
|
1024 |
.................................................
|
|
|
1025 |
. LaTeX info: "xparse/define-command"
|
|
|
1026 |
.
|
|
|
1027 |
. Defining command \newfontlanguage with sig. 'mm' on line 629.
|
|
|
1028 |
.................................................
|
|
|
1029 |
.................................................
|
|
|
1030 |
. LaTeX info: "xparse/define-command"
|
|
|
1031 |
.
|
|
|
1032 |
. Defining command \DeclareFontsExtensions with sig. 'm' on line 633.
|
|
|
1033 |
.................................................
|
|
|
1034 |
.................................................
|
|
|
1035 |
. LaTeX info: "xparse/define-command"
|
|
|
1036 |
.
|
|
|
1037 |
. Defining command \IfFontFeatureActiveTF with sig. 'mmm' on line 637.
|
|
|
1038 |
.................................................
|
|
|
1039 |
.................................................
|
|
|
1040 |
. LaTeX info: "xparse/define-command"
|
|
|
1041 |
.
|
|
|
1042 |
. Defining command \EncodingCommand with sig. 'mO{}m' on line 3366.
|
|
|
1043 |
.................................................
|
|
|
1044 |
.................................................
|
|
|
1045 |
. LaTeX info: "xparse/define-command"
|
|
|
1046 |
.
|
|
|
1047 |
. Defining command \EncodingAccent with sig. 'mm' on line 3372.
|
|
|
1048 |
.................................................
|
|
|
1049 |
.................................................
|
|
|
1050 |
. LaTeX info: "xparse/define-command"
|
|
|
1051 |
.
|
|
|
1052 |
. Defining command \EncodingSymbol with sig. 'mm' on line 3378.
|
|
|
1053 |
.................................................
|
|
|
1054 |
.................................................
|
|
|
1055 |
. LaTeX info: "xparse/define-command"
|
|
|
1056 |
.
|
|
|
1057 |
. Defining command \EncodingComposite with sig. 'mmm' on line 3384.
|
|
|
1058 |
.................................................
|
|
|
1059 |
.................................................
|
|
|
1060 |
. LaTeX info: "xparse/define-command"
|
|
|
1061 |
.
|
|
|
1062 |
. Defining command \EncodingCompositeCommand with sig. 'mmm' on line 3390.
|
|
|
1063 |
.................................................
|
|
|
1064 |
.................................................
|
|
|
1065 |
. LaTeX info: "xparse/define-command"
|
|
|
1066 |
.
|
|
|
1067 |
. Defining command \DeclareUnicodeEncoding with sig. 'mm' on line 3415.
|
|
|
1068 |
.................................................
|
|
|
1069 |
.................................................
|
|
|
1070 |
. LaTeX info: "xparse/define-command"
|
|
|
1071 |
.
|
|
|
1072 |
. Defining command \UndeclareSymbol with sig. 'm' on line 3421.
|
|
|
1073 |
.................................................
|
|
|
1074 |
.................................................
|
|
|
1075 |
. LaTeX info: "xparse/define-command"
|
|
|
1076 |
.
|
|
|
1077 |
. Defining command \UndeclareAccent with sig. 'm' on line 3427.
|
|
|
1078 |
.................................................
|
|
|
1079 |
.................................................
|
|
|
1080 |
. LaTeX info: "xparse/define-command"
|
|
|
1081 |
.
|
|
|
1082 |
. Defining command \UndeclareCommand with sig. 'm' on line 3433.
|
|
|
1083 |
.................................................
|
|
|
1084 |
.................................................
|
|
|
1085 |
. LaTeX info: "xparse/define-command"
|
|
|
1086 |
.
|
|
|
1087 |
. Defining command \UndeclareComposite with sig. 'mm' on line 3440.
|
|
|
1088 |
.................................................
|
|
|
1089 |
|
|
|
1090 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/fontspec/fontspec.cfg)
|
|
|
1091 |
LaTeX Info: Redefining \itshape on input line 3625.
|
|
|
1092 |
LaTeX Info: Redefining \slshape on input line 3630.
|
|
|
1093 |
LaTeX Info: Redefining \scshape on input line 3635.
|
|
|
1094 |
LaTeX Info: Redefining \upshape on input line 3640.
|
|
|
1095 |
LaTeX Info: Redefining \em on input line 3670.
|
|
|
1096 |
LaTeX Info: Redefining \emph on input line 3695.
|
|
|
1097 |
LaTeX Info: Redefining \- on input line 3749.
|
|
|
1098 |
.................................................
|
|
|
1099 |
. LaTeX info: "xparse/redefine-command"
|
|
|
1100 |
.
|
|
|
1101 |
. Redefining command \oldstylenums with sig. 'm' on line 3844.
|
|
|
1102 |
.................................................
|
|
|
1103 |
.................................................
|
|
|
1104 |
. LaTeX info: "xparse/define-command"
|
|
|
1105 |
.
|
|
|
1106 |
. Defining command \liningnums with sig. 'm' on line 3848.
|
|
|
1107 |
.................................................
|
|
|
1108 |
))
|
|
|
1109 |
\c@falsehood=\count320
|
|
|
1110 |
\c@conject=\count321
|
|
|
1111 |
|
|
|
1112 |
(./root.aux)
|
|
|
1113 |
\openout1 = root.aux
|
|
|
1114 |
|
|
|
1115 |
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 42.
|
|
|
1116 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1117 |
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 42.
|
|
|
1118 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1119 |
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 42.
|
|
|
1120 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1121 |
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 42.
|
|
|
1122 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1123 |
LaTeX Font Info: Checking defaults for TU/lmr/m/n on input line 42.
|
|
|
1124 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1125 |
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 42.
|
|
|
1126 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1127 |
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 42.
|
|
|
1128 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1129 |
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 42.
|
|
|
1130 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1131 |
LaTeX Font Info: Checking defaults for T3/cmr/m/n on input line 42.
|
|
|
1132 |
LaTeX Font Info: Try loading font information for T3+cmr on input line 42.
|
|
|
1133 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/tipa/t3cmr.fd
|
|
|
1134 |
File: t3cmr.fd 2001/12/31 TIPA font definitions
|
|
|
1135 |
)
|
|
|
1136 |
LaTeX Font Info: ... okay on input line 42.
|
|
|
1137 |
|
|
|
1138 |
ABD: EveryShipout initializing macros
|
|
|
1139 |
(/usr/local/texlive/2018/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
|
|
|
1140 |
[Loading MPS to PDF converter (version 2006.09.02).]
|
|
|
1141 |
\scratchcounter=\count322
|
|
|
1142 |
\scratchdimen=\dimen281
|
|
|
1143 |
\scratchbox=\box88
|
|
|
1144 |
\nofMPsegments=\count323
|
|
|
1145 |
\nofMParguments=\count324
|
|
|
1146 |
\everyMPshowfont=\toks40
|
|
|
1147 |
\MPscratchCnt=\count325
|
|
|
1148 |
\MPscratchDim=\dimen282
|
|
|
1149 |
\MPnumerator=\count326
|
|
|
1150 |
\makeMPintoPDFobject=\count327
|
|
|
1151 |
\everyMPtoPDFconversion=\toks41
|
|
|
1152 |
) (/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
|
|
|
1153 |
Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf
|
|
|
1154 |
|
|
|
1155 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/oberdiek/grfext.sty
|
|
|
1156 |
Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO)
|
|
|
1157 |
)
|
|
|
1158 |
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 43
|
|
|
1159 |
8.
|
|
|
1160 |
Package grfext Info: Graphics extension search list:
|
|
|
1161 |
(grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPEG
|
|
|
1162 |
,.JBIG2,.JB2,.eps]
|
|
|
1163 |
(grfext) \AppendGraphicsExtensions on input line 456.
|
|
|
1164 |
|
|
|
1165 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
|
|
|
1166 |
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
|
|
|
1167 |
|
|
|
1168 |
))
|
|
|
1169 |
\AtBeginShipoutBox=\box89
|
|
|
1170 |
Package hyperref Info: Link coloring ON on input line 42.
|
|
|
1171 |
|
|
|
1172 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty
|
|
|
1173 |
Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section
|
|
|
1174 |
|
|
|
1175 |
(/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
|
|
|
1176 |
Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO)
|
|
|
1177 |
)
|
|
|
1178 |
\c@section@level=\count328
|
|
|
1179 |
)
|
|
|
1180 |
LaTeX Info: Redefining \ref on input line 42.
|
|
|
1181 |
LaTeX Info: Redefining \pageref on input line 42.
|
|
|
1182 |
LaTeX Info: Redefining \nameref on input line 42.
|
|
|
1183 |
|
|
|
1184 |
(./root.out) (./root.out)
|
|
|
1185 |
\@outlinefile=\write5
|
|
|
1186 |
|
|
|
1187 |
\openout5 = root.out
|
|
|
1188 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1189 |
s/otl/lmroman9-regular.luc)
|
|
|
1190 |
LaTeX Font Info: Try loading font information for OT1+pplx on input line 57.
|
|
|
1191 |
|
|
|
1192 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/ot1pplx.fd
|
|
|
1193 |
File: ot1pplx.fd 2004/09/06 font definitions for OT1/pplx.
|
|
|
1194 |
)
|
|
|
1195 |
LaTeX Font Info: Try loading font information for OML+zplm on input line 57.
|
|
|
1196 |
|
|
|
1197 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omlzplm.fd
|
|
|
1198 |
File: omlzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OML/zplm.
|
|
|
1199 |
)
|
|
|
1200 |
LaTeX Font Info: Try loading font information for OMS+zplm on input line 57.
|
|
|
1201 |
|
|
|
1202 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omszplm.fd
|
|
|
1203 |
File: omszplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMS/zplm.
|
|
|
1204 |
)
|
|
|
1205 |
LaTeX Font Info: Try loading font information for OMX+zplm on input line 57.
|
|
|
1206 |
|
|
|
1207 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omxzplm.fd
|
|
|
1208 |
File: omxzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMX/zplm.
|
|
|
1209 |
)
|
|
|
1210 |
LaTeX Font Info: Font shape `U/msa/m/n' will be
|
|
|
1211 |
(Font) scaled to size 9.37807pt on input line 57.
|
|
|
1212 |
LaTeX Font Info: Font shape `U/msa/m/n' will be
|
|
|
1213 |
(Font) scaled to size 7.29405pt on input line 57.
|
|
|
1214 |
LaTeX Font Info: Font shape `U/msa/m/n' will be
|
|
|
1215 |
(Font) scaled to size 5.21004pt on input line 57.
|
|
|
1216 |
LaTeX Font Info: Font shape `U/msb/m/n' will be
|
|
|
1217 |
(Font) scaled to size 9.37807pt on input line 57.
|
|
|
1218 |
LaTeX Font Info: Font shape `U/msb/m/n' will be
|
|
|
1219 |
(Font) scaled to size 7.29405pt on input line 57.
|
|
|
1220 |
LaTeX Font Info: Font shape `U/msb/m/n' will be
|
|
|
1221 |
(Font) scaled to size 5.21004pt on input line 57.
|
|
|
1222 |
LaTeX Font Info: Try loading font information for U+stmry on input line 57.
|
|
|
1223 |
|
|
|
1224 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/stmaryrd/Ustmry.fd)
|
|
|
1225 |
LaTeX Font Info: Try loading font information for OT1+zplm on input line 57.
|
|
|
1226 |
|
|
|
1227 |
(/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/ot1zplm.fd
|
|
|
1228 |
File: ot1zplm.fd 2002/09/08 Fontinst v1.914 font definitions for OT1/zplm.
|
|
|
1229 |
)(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/fon
|
|
|
1230 |
ts/otl/lmroman7-regular.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-v
|
|
|
1231 |
ar/luatex-cache/generic/fonts/otl/lmroman9-bold.luc)
|
|
|
1232 |
|
|
|
1233 |
LaTeX Warning: Citation `AusafDyckhoffUrban2016' on page 1 undefined on input li
|
|
|
1234 |
ne 57.
|
|
|
1235 |
|
|
|
1236 |
|
|
|
1237 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 1 undefined on input line 57.
|
|
|
1238 |
|
|
|
1239 |
|
|
|
1240 |
LaTeX Warning: Citation `OkuiSuzukiTech' on page 1 undefined on input line 57.
|
|
|
1241 |
|
|
|
1242 |
|
|
|
1243 |
LaTeX Warning: Citation `Sulzmann2014' on page 1 undefined on input line 57.
|
|
|
1244 |
|
|
|
1245 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1246 |
s/otl/lmroman12-regular.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-v
|
|
|
1247 |
ar/luatex-cache/generic/fonts/otl/lmroman12-bold.luc)
|
|
|
1248 |
LaTeX Font Info: Font shape `U/msa/m/n' will be
|
|
|
1249 |
(Font) scaled to size 10.42007pt on input line 69.
|
|
|
1250 |
LaTeX Font Info: Font shape `U/msa/m/n' will be
|
|
|
1251 |
(Font) scaled to size 7.91925pt on input line 69.
|
|
|
1252 |
LaTeX Font Info: Font shape `U/msa/m/n' will be
|
|
|
1253 |
(Font) scaled to size 6.25204pt on input line 69.
|
|
|
1254 |
LaTeX Font Info: Font shape `U/msb/m/n' will be
|
|
|
1255 |
(Font) scaled to size 10.42007pt on input line 69.
|
|
|
1256 |
LaTeX Font Info: Font shape `U/msb/m/n' will be
|
|
|
1257 |
(Font) scaled to size 7.91925pt on input line 69.
|
|
|
1258 |
LaTeX Font Info: Font shape `U/msb/m/n' will be
|
|
|
1259 |
(Font) scaled to size 6.25204pt on input line 69.
|
|
|
1260 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1261 |
s/otl/lmmono9-regular.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-var
|
|
|
1262 |
/luatex-cache/generic/fonts/otl/lmroman9-italic.luc) (./session.tex (./RegLangs
|
|
|
1263 |
.tex) (./Spec.tex)
|
|
|
1264 |
(./Lexer.tex) (./Simplifying.tex) (./Sulzmann.tex) (./Positions.tex)
|
|
|
1265 |
(./SizeBound.tex [1
|
|
|
1266 |
|
|
|
1267 |
{/usr/local/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map}](load luc
|
|
|
1268 |
: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/fonts/otl/lmr
|
|
|
1269 |
oman8-italic.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-c
|
|
|
1270 |
ache/generic/fonts/otl/lmroman7-italic.luc) [2] [3]
|
|
|
1271 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1272 |
|
|
|
1273 |
[4]
|
|
|
1274 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1275 |
|
|
|
1276 |
[5]
|
|
|
1277 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1278 |
|
|
|
1279 |
[6]
|
|
|
1280 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1281 |
|
|
|
1282 |
[7]
|
|
|
1283 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1284 |
|
|
|
1285 |
[8]
|
|
|
1286 |
Overfull \hbox (10.05669pt too wide) in paragraph at lines 776--778
|
|
|
1287 |
[][] \TU/lmr/bx/n/10 ap-ply$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 auto simp add
|
|
|
1288 |
$\OT1/zplm/m/n/10 :$ \TU/lmr/m/it/10 bnul-lable[]correctness mkeps[]nullable re
|
|
|
1289 |
-trieve[]fuse2$\OT1/zplm/m/n/10 )$[]
|
|
|
1290 |
[]
|
|
|
1291 |
|
|
|
1292 |
|
|
|
1293 |
Overfull \hbox (24.20656pt too wide) in paragraph at lines 780--782
|
|
|
1294 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 smt bnul-lable
|
|
|
1295 |
$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$
|
|
|
1296 |
\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable[]correctness erase$\OT1/pplx/m/n
|
|
|
1297 |
/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 5$\OT1/zplm/m/n/
|
|
|
1298 |
10 )$ \TU/lmr/m/it/10 erase$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/
|
|
|
1299 |
m/n/10 ($\TU/lmr/m/it/10 6$\OT1/zplm/m/n/10 )$
|
|
|
1300 |
[]
|
|
|
1301 |
|
|
|
1302 |
|
|
|
1303 |
Overfull \hbox (21.52992pt too wide) in paragraph at lines 786--788
|
|
|
1304 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 smt ap-pend[]N
|
|
|
1305 |
il2 bnul-lable$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/
|
|
|
1306 |
lmr/m/it/10 4$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable[]correctness erase
|
|
|
1307 |
$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 5$
|
|
|
1308 |
\OT1/zplm/m/n/10 )$
|
|
|
1309 |
[]
|
|
|
1310 |
|
|
|
1311 |
|
|
|
1312 |
Overfull \hbox (1.98334pt too wide) in paragraph at lines 814--816
|
|
|
1313 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis ap-pend[
|
|
|
1314 |
]Nil2 bnul-lable[]correctness erase$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\O
|
|
|
1315 |
T1/zplm/m/n/10 ($\TU/lmr/m/it/10 6$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 erase[]f
|
|
|
1316 |
use
|
|
|
1317 |
[]
|
|
|
1318 |
|
|
|
1319 |
|
|
|
1320 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1321 |
|
|
|
1322 |
[9]
|
|
|
1323 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1324 |
|
|
|
1325 |
[10]
|
|
|
1326 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1327 |
|
|
|
1328 |
[11]
|
|
|
1329 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1330 |
|
|
|
1331 |
[12]
|
|
|
1332 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1333 |
|
|
|
1334 |
[13]
|
|
|
1335 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1336 |
|
|
|
1337 |
[14]
|
|
|
1338 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1339 |
|
|
|
1340 |
[15]
|
|
|
1341 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1342 |
|
|
|
1343 |
[16]
|
|
|
1344 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1345 |
|
|
|
1346 |
[17]
|
|
|
1347 |
Overfull \hbox (45.00008pt too wide) in paragraph at lines 1700--1713
|
|
|
1348 |
[][] \TU/lmr/bx/n/10 by $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis L[]bders[]si
|
|
|
1349 |
mp bnul-lable[]correctness lexer$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/
|
|
|
1350 |
zplm/m/n/10 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 lexer[]corr
|
|
|
1351 |
ect[]None
|
|
|
1352 |
[]
|
|
|
1353 |
|
|
|
1354 |
|
|
|
1355 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1356 |
|
|
|
1357 |
[18]
|
|
|
1358 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1359 |
|
|
|
1360 |
[19]
|
|
|
1361 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1362 |
|
|
|
1363 |
[20]
|
|
|
1364 |
Overfull \hbox (72.57005pt too wide) in paragraph at lines 2035--2037
|
|
|
1365 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis ap-pend
|
|
|
1366 |
$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 assoc b2 bnul-lable[]correctness erase[]fus
|
|
|
1367 |
e bnul-lable[]Hdbmkeps[]Hd$\OT1/zplm/m/n/10 )$[]
|
|
|
1368 |
[]
|
|
|
1369 |
|
|
|
1370 |
|
|
|
1371 |
Overfull \hbox (10.72014pt too wide) in paragraph at lines 2120--2122
|
|
|
1372 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis L[]erase
|
|
|
1373 |
[]AALTs L[]erase[]flts L[]flat[]Prf1 L[]flat[]Prf2
|
|
|
1374 |
[]
|
|
|
1375 |
|
|
|
1376 |
|
|
|
1377 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1378 |
|
|
|
1379 |
[21]
|
|
|
1380 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1381 |
|
|
|
1382 |
[22]
|
|
|
1383 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1384 |
|
|
|
1385 |
[23]
|
|
|
1386 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1387 |
|
|
|
1388 |
[24]
|
|
|
1389 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1390 |
|
|
|
1391 |
[25]
|
|
|
1392 |
Overfull \hbox (6.40976pt too wide) in paragraph at lines 2633--2641
|
|
|
1393 |
[][] \TU/lmr/bx/n/10 ap-ply$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 induction ra$ [
|
|
|
1394 |
] $r1 rb$ [] $AZERO ar-bi-trary$\OT1/zplm/m/n/10 :$ \TU/lmr/m/it/10 bs1 r1 r2 r
|
|
|
1395 |
ule$\OT1/zplm/m/n/10 :$ \TU/lmr/m/it/10 rrewrites$\OT1/pplx/m/n/10 .$\TU/lmr/m/
|
|
|
1396 |
it/10 induct$\OT1/zplm/m/n/10 )$[]
|
|
|
1397 |
[]
|
|
|
1398 |
|
|
|
1399 |
|
|
|
1400 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1401 |
|
|
|
1402 |
[26]
|
|
|
1403 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1404 |
|
|
|
1405 |
[27]
|
|
|
1406 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1407 |
|
|
|
1408 |
[28]
|
|
|
1409 |
Overfull \hbox (9.2633pt too wide) in paragraph at lines 2921--2923
|
|
|
1410 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis ap-pend[
|
|
|
1411 |
]Nil flts$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m
|
|
|
1412 |
/it/10 2$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 many[]steps[]later rrewrite$\OT1/p
|
|
|
1413 |
plx/m/n/10 .$\TU/lmr/m/it/10 intros$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 7$\OT1/z
|
|
|
1414 |
plm/m/n/10 )$$)$[]
|
|
|
1415 |
[]
|
|
|
1416 |
|
|
|
1417 |
|
|
|
1418 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1419 |
|
|
|
1420 |
[29]
|
|
|
1421 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1422 |
|
|
|
1423 |
[30]
|
|
|
1424 |
Overfull \hbox (47.09676pt too wide) in paragraph at lines 3142--3144
|
|
|
1425 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 smt $\OT1/zplm
|
|
|
1426 |
/m/n/10 ($\TU/lmr/m/it/10 verit$\OT1/pplx/m/n/10 ,$ \TU/lmr/m/it/10 ccfv[]thres
|
|
|
1427 |
hold$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 ap-pend[]Cons ap-pend[]assoc ap-pend[]
|
|
|
1428 |
self[]conv2
|
|
|
1429 |
[]
|
|
|
1430 |
|
|
|
1431 |
|
|
|
1432 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1433 |
|
|
|
1434 |
[31]
|
|
|
1435 |
Overfull \hbox (6.43988pt too wide) in paragraph at lines 3238--3240
|
|
|
1436 |
[][] \TU/lmr/bx/n/10 ap-ply$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 subgoal[]tac AA
|
|
|
1437 |
LTs bs1 $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 flts $\OT1/zplm/m/n/10 ($\TU/lmr/m/
|
|
|
1438 |
it/10 map bsimp rs$\OT1/zplm/m/n/10 )$$)$ $\U/msa/m/n/10 $$\OMS/zplm/m/n/10 $
|
|
|
1439 |
\TU/lmr/m/it/10 AALTs bs1 $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 distinctBy
|
|
|
1440 |
[]
|
|
|
1441 |
|
|
|
1442 |
|
|
|
1443 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1444 |
|
|
|
1445 |
[32]
|
|
|
1446 |
Overfull \hbox (27.40672pt too wide) in paragraph at lines 3304--3311
|
|
|
1447 |
[][] \TU/lmr/bx/n/10 by $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 smt $\OT1/zplm/m/n
|
|
|
1448 |
/10 ($\TU/lmr/m/it/10 z3$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 Un[]iff bnul-lable
|
|
|
1449 |
[]correctness in-sert[]iff list$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 set$\OT1/zpl
|
|
|
1450 |
m/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 qq3 set[]appen
|
|
|
1451 |
d$\OT1/zplm/m/n/10 )$[]
|
|
|
1452 |
[]
|
|
|
1453 |
|
|
|
1454 |
|
|
|
1455 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1456 |
|
|
|
1457 |
[33]
|
|
|
1458 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1459 |
|
|
|
1460 |
[34]
|
|
|
1461 |
Overfull \hbox (11.15656pt too wide) in paragraph at lines 3559--3561
|
|
|
1462 |
[][]\TU/lmr/bx/n/10 lemma \TU/lmr/m/it/10 third[]segment[]bnullable$\OT1/zplm/m
|
|
|
1463 |
/n/10 :$ $[]$\TU/lmr/m/it/10 bnul-lable $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 AAL
|
|
|
1464 |
Ts bs $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 rs1$\OT1/pplx/m/n/10 @$\TU/lmr/m/it/1
|
|
|
1465 |
0 rs2$\OT1/pplx/m/n/10 @$\TU/lmr/m/it/10 rs3$\OT1/zplm/m/n/10 )$$)$$\OT1/pplx/m
|
|
|
1466 |
/n/10 ;$ $\OMS/zplm/m/n/10 :$\TU/lmr/m/it/10 bnul-
|
|
|
1467 |
[]
|
|
|
1468 |
|
|
|
1469 |
|
|
|
1470 |
Overfull \hbox (30.67331pt too wide) in paragraph at lines 3565--3576
|
|
|
1471 |
[][] \TU/lmr/bx/n/10 by $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis ap-pend$\OT1
|
|
|
1472 |
/pplx/m/n/10 .$\TU/lmr/m/it/10 left[]neutral ap-pend[]Cons bnul-lable$\OT1/pplx
|
|
|
1473 |
/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 1$\OT1/zplm/
|
|
|
1474 |
m/n/10 )$ \TU/lmr/m/it/10 bnul-lable[]segment
|
|
|
1475 |
[]
|
|
|
1476 |
|
|
|
1477 |
|
|
|
1478 |
Overfull \hbox (6.39323pt too wide) in paragraph at lines 3580--3582
|
|
|
1479 |
[][]\TU/lmr/bx/n/10 lemma \TU/lmr/m/it/10 third[]segment[]bmkeps$\OT1/zplm/m/n/
|
|
|
1480 |
10 :$ $[]$\TU/lmr/m/it/10 bnul-lable $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 AALTs
|
|
|
1481 |
bs $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 rs1$\OT1/pplx/m/n/10 @$\TU/lmr/m/it/10
|
|
|
1482 |
rs2$\OT1/pplx/m/n/10 @$\TU/lmr/m/it/10 rs3$\OT1/zplm/m/n/10 )$$)$$\OT1/pplx/m/n
|
|
|
1483 |
/10 ;$ $\OMS/zplm/m/n/10 :$\TU/lmr/m/it/10 bnul-
|
|
|
1484 |
[]
|
|
|
1485 |
|
|
|
1486 |
|
|
|
1487 |
Overfull \hbox (25.44008pt too wide) in paragraph at lines 3601--3603
|
|
|
1488 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis ap-pend$
|
|
|
1489 |
\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 assoc in[]set[]conv[]decomp r2 third[]segmen
|
|
|
1490 |
t[]bnullable$\OT1/zplm/m/n/10 )$[]
|
|
|
1491 |
[]
|
|
|
1492 |
|
|
|
1493 |
|
|
|
1494 |
Overfull \hbox (31.5301pt too wide) in paragraph at lines 3643--3645
|
|
|
1495 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 smt $\OT1/zplm
|
|
|
1496 |
/m/n/10 ($\TU/lmr/m/it/10 verit$\OT1/pplx/m/n/10 ,$ \TU/lmr/m/it/10 ccfv[]thres
|
|
|
1497 |
hold$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 ap-pend[]eq[]append[]conv2 list$\OT1/p
|
|
|
1498 |
plx/m/n/10 .$\TU/lmr/m/it/10 set[]intros$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 1$\
|
|
|
1499 |
OT1/zplm/m/n/10 )$
|
|
|
1500 |
[]
|
|
|
1501 |
|
|
|
1502 |
|
|
|
1503 |
Overfull \hbox (1.18669pt too wide) in paragraph at lines 3643--3645
|
|
|
1504 |
\TU/lmr/m/it/10 qq2 qq3 rewritenul-lable rrewrite$\OT1/pplx/m/n/10 .$\TU/lmr/m/
|
|
|
1505 |
it/10 intros$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 8$\OT1/zplm/m/n/10 )$ \TU/lmr/m
|
|
|
1506 |
/it/10 self[]append[]conv2 spillbmkep-slistr$\OT1/zplm/m/n/10 )$[]
|
|
|
1507 |
[]
|
|
|
1508 |
|
|
|
1509 |
|
|
|
1510 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1511 |
|
|
|
1512 |
[35]
|
|
|
1513 |
Overfull \hbox (12.19328pt too wide) in paragraph at lines 3654--3656
|
|
|
1514 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis ap-pend[
|
|
|
1515 |
]Cons ap-pend[]Nil bnul-lable$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zpl
|
|
|
1516 |
m/m/n/10 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable[]se
|
|
|
1517 |
gment
|
|
|
1518 |
[]
|
|
|
1519 |
|
|
|
1520 |
|
|
|
1521 |
Overfull \hbox (94.37671pt too wide) in paragraph at lines 3657--3664
|
|
|
1522 |
[][] \TU/lmr/bx/n/10 by $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis bnul-lable$\
|
|
|
1523 |
OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\O
|
|
|
1524 |
T1/zplm/m/n/10 )$ \TU/lmr/m/it/10 rewrite[]non[]nullable rrewrite$\OT1/pplx/m/n
|
|
|
1525 |
/10 .$\TU/lmr/m/it/10 intros$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 10$\OT1/zplm/m/
|
|
|
1526 |
n/10 )$ \TU/lmr/m/it/10 third[]segment[]bmkeps$\OT1/zplm/m/n/10 )$[]
|
|
|
1527 |
[]
|
|
|
1528 |
|
|
|
1529 |
|
|
|
1530 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1531 |
|
|
|
1532 |
[36]
|
|
|
1533 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1534 |
|
|
|
1535 |
[37]
|
|
|
1536 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1537 |
|
|
|
1538 |
[38]
|
|
|
1539 |
Overfull \hbox (17.27003pt too wide) in paragraph at lines 4067--4069
|
|
|
1540 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 meson con-tex-
|
|
|
1541 |
trewrites1 r[]in[]rstar rrewrite$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 intros$\OT1
|
|
|
1542 |
/zplm/m/n/10 ($\TU/lmr/m/it/10 11$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 rrewrite$
|
|
|
1543 |
\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 intros$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$
|
|
|
1544 |
\OT1/zplm/m/n/10 )$
|
|
|
1545 |
[]
|
|
|
1546 |
|
|
|
1547 |
|
|
|
1548 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1549 |
|
|
|
1550 |
[39]
|
|
|
1551 |
Overfull \hbox (52.87671pt too wide) in paragraph at lines 4155--4157
|
|
|
1552 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis bder$\OT
|
|
|
1553 |
1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1
|
|
|
1554 |
/zplm/m/n/10 )$ \TU/lmr/m/it/10 bder[]fuse[]list map[]map r[]in[]rstar rrewrite
|
|
|
1555 |
$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 intros$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 9
|
|
|
1556 |
$\OT1/zplm/m/n/10 )$$)$[]
|
|
|
1557 |
[]
|
|
|
1558 |
|
|
|
1559 |
|
|
|
1560 |
Overfull \hbox (30.75671pt too wide) in paragraph at lines 4158--4160
|
|
|
1561 |
[][] \TU/lmr/bx/n/10 ap-ply $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis List$\OT
|
|
|
1562 |
1/pplx/m/n/10 .$\TU/lmr/m/it/10 map$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 composit
|
|
|
1563 |
ionality bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/l
|
|
|
1564 |
mr/m/it/10 4$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bder[]fuse[]list r[]in[]rstar
|
|
|
1565 |
[]
|
|
|
1566 |
|
|
|
1567 |
|
|
|
1568 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1569 |
|
|
|
1570 |
[40]
|
|
|
1571 |
Overfull \hbox (31.29991pt too wide) in paragraph at lines 4223--4230
|
|
|
1572 |
[][] \TU/lmr/bx/n/10 by $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 metis bders$\OT1/p
|
|
|
1573 |
plx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 1$\OT1/zp
|
|
|
1574 |
lm/m/n/10 )$ \TU/lmr/m/it/10 bders$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT
|
|
|
1575 |
1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bders[]si
|
|
|
1576 |
mp$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10
|
|
|
1577 |
1$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bders[]simp$\OT1/pplx/m/n/10 .$\TU/lmr/m/
|
|
|
1578 |
it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$
|
|
|
1579 |
[]
|
|
|
1580 |
|
|
|
1581 |
) (./Paper.tex
|
|
|
1582 |
|
|
371
|
1583 |
LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 78.
|
|
369
|
1584 |
|
|
|
1585 |
|
|
371
|
1586 |
LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 92.
|
|
369
|
1587 |
|
|
|
1588 |
|
|
371
|
1589 |
LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 93.
|
|
369
|
1590 |
|
|
|
1591 |
|
|
371
|
1592 |
LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 94.
|
|
369
|
1593 |
|
|
|
1594 |
[41]
|
|
|
1595 |
|
|
371
|
1596 |
LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 99.
|
|
369
|
1597 |
|
|
|
1598 |
|
|
371
|
1599 |
LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 100.
|
|
369
|
1600 |
|
|
|
1601 |
|
|
371
|
1602 |
LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 100.
|
|
369
|
1603 |
|
|
|
1604 |
|
|
371
|
1605 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 100.
|
|
369
|
1606 |
|
|
|
1607 |
|
|
|
1608 |
|
|
371
|
1609 |
LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 100.
|
|
369
|
1610 |
|
|
|
1611 |
|
|
371
|
1612 |
LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 100
|
|
369
|
1613 |
.
|
|
|
1614 |
|
|
|
1615 |
|
|
371
|
1616 |
LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 117.
|
|
369
|
1617 |
|
|
|
1618 |
[42]
|
|
|
1619 |
|
|
371
|
1620 |
LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 156.
|
|
369
|
1621 |
|
|
|
1622 |
|
|
|
1623 |
LaTeX Warning: Citation `HosoyaVouillonPierce2005' on page 43 undefined on input
|
|
371
|
1624 |
line 178.
|
|
369
|
1625 |
|
|
|
1626 |
|
|
371
|
1627 |
LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 200.
|
|
369
|
1628 |
|
|
|
1629 |
|
|
371
|
1630 |
LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 204.
|
|
369
|
1631 |
|
|
|
1632 |
|
|
371
|
1633 |
LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 209.
|
|
369
|
1634 |
|
|
|
1635 |
|
|
371
|
1636 |
LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 217.
|
|
369
|
1637 |
|
|
|
1638 |
|
|
371
|
1639 |
LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 218.
|
|
369
|
1640 |
|
|
|
1641 |
|
|
371
|
1642 |
LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 219
|
|
369
|
1643 |
.
|
|
|
1644 |
|
|
|
1645 |
[43]
|
|
|
1646 |
|
|
371
|
1647 |
LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 231.
|
|
369
|
1648 |
|
|
|
1649 |
|
|
371
|
1650 |
LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 233
|
|
369
|
1651 |
.
|
|
|
1652 |
|
|
|
1653 |
|
|
371
|
1654 |
LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 234.
|
|
369
|
1655 |
|
|
|
1656 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1657 |
s/otl/lmroman8-regular.luc)
|
|
|
1658 |
|
|
371
|
1659 |
LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238.
|
|
369
|
1660 |
|
|
|
1661 |
|
|
371
|
1662 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 242.
|
|
369
|
1663 |
|
|
|
1664 |
|
|
|
1665 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1666 |
s/otl/lmroman10-bolditalic.luc) [44]
|
|
|
1667 |
|
|
|
1668 |
LaTeX Font Warning: Font shape `U/stmry/b/n' undefined
|
|
371
|
1669 |
(Font) using `U/stmry/m/n' instead on input line 321.
|
|
369
|
1670 |
|
|
|
1671 |
|
|
371
|
1672 |
LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 326.
|
|
369
|
1673 |
|
|
|
1674 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1675 |
s/otl/lmroman6-regular.luc)
|
|
|
1676 |
|
|
371
|
1677 |
LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 341.
|
|
369
|
1678 |
|
|
|
1679 |
|
|
|
1680 |
|
|
371
|
1681 |
Overfull \hbox (1.4002pt too wide) in paragraph at lines 348--369
|
|
369
|
1682 |
[]
|
|
|
1683 |
[]
|
|
|
1684 |
|
|
|
1685 |
[45]
|
|
|
1686 |
|
|
371
|
1687 |
LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 404.
|
|
369
|
1688 |
|
|
|
1689 |
|
|
371
|
1690 |
LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 428.
|
|
369
|
1691 |
|
|
|
1692 |
|
|
371
|
1693 |
LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 445.
|
|
369
|
1694 |
|
|
|
1695 |
|
|
371
|
1696 |
LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 446.
|
|
369
|
1697 |
|
|
|
1698 |
|
|
|
1699 |
LaTeX Warning: Citation `AusafDyckhoffUrban2016' on page 46 undefined on input l
|
|
371
|
1700 |
ine 478.
|
|
369
|
1701 |
|
|
|
1702 |
[46]
|
|
|
1703 |
|
|
371
|
1704 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 515.
|
|
369
|
1705 |
|
|
|
1706 |
|
|
|
1707 |
|
|
371
|
1708 |
LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 515.
|
|
369
|
1709 |
|
|
|
1710 |
|
|
371
|
1711 |
Underfull \hbox (badness 10000) in paragraph at lines 575--576
|
|
369
|
1712 |
|
|
|
1713 |
[]
|
|
|
1714 |
|
|
|
1715 |
|
|
371
|
1716 |
LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586.
|
|
369
|
1717 |
|
|
|
1718 |
|
|
371
|
1719 |
LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586.
|
|
369
|
1720 |
|
|
|
1721 |
[47]
|
|
|
1722 |
|
|
371
|
1723 |
LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 606.
|
|
369
|
1724 |
|
|
|
1725 |
|
|
|
1726 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1727 |
|
|
|
1728 |
[48]
|
|
|
1729 |
[49]
|
|
|
1730 |
|
|
371
|
1731 |
LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 714.
|
|
369
|
1732 |
|
|
|
1733 |
|
|
371
|
1734 |
LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 721
|
|
369
|
1735 |
.
|
|
|
1736 |
|
|
|
1737 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1738 |
s/otl/lmroman5-regular.luc) [50] [51] [52]
|
|
|
1739 |
|
|
371
|
1740 |
LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 934.
|
|
369
|
1741 |
|
|
|
1742 |
|
|
371
|
1743 |
LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 936.
|
|
369
|
1744 |
|
|
|
1745 |
|
|
371
|
1746 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 943.
|
|
369
|
1747 |
|
|
|
1748 |
|
|
|
1749 |
|
|
371
|
1750 |
LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 943.
|
|
369
|
1751 |
|
|
|
1752 |
|
|
|
1753 |
[53] [54]
|
|
|
1754 |
|
|
371
|
1755 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1065
|
|
369
|
1756 |
.
|
|
|
1757 |
|
|
|
1758 |
|
|
371
|
1759 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1086
|
|
369
|
1760 |
.
|
|
|
1761 |
|
|
|
1762 |
|
|
371
|
1763 |
LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1126
|
|
369
|
1764 |
.
|
|
|
1765 |
|
|
|
1766 |
[55]
|
|
371
|
1767 |
Overfull \hbox (47.18065pt too wide) in paragraph at lines 1150--1180
|
|
369
|
1768 |
[] []
|
|
|
1769 |
[]
|
|
|
1770 |
|
|
|
1771 |
[56] [57]
|
|
|
1772 |
|
|
371
|
1773 |
LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1347.
|
|
369
|
1774 |
|
|
|
1775 |
(load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font
|
|
|
1776 |
s/otl/lmroman8-bold.luc)(load luc: /Users/cstan/Library/texlive/2018/texmf-var/l
|
|
|
1777 |
uatex-cache/generic/fonts/otl/lmroman5-bold.luc)
|
|
|
1778 |
|
|
371
|
1779 |
LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1366.
|
|
369
|
1780 |
|
|
|
1781 |
|
|
|
1782 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1783 |
|
|
|
1784 |
[58]
|
|
371
|
1785 |
Overfull \hbox (4.61574pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1786 |
\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $
|
|
|
1787 |
\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/1
|
|
|
1788 |
0 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 in-tern$\OT1/pplx/m
|
|
|
1789 |
/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 5$\OT1/zplm/m/
|
|
|
1790 |
n/10 )$$[$\TU/lmr/m/it/10 of r$[][]$ r$[][]$$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/
|
|
|
1791 |
10 g$$n$$n$ $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/z
|
|
|
1792 |
plm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 in-tern$\O
|
|
|
1793 |
T1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 6$\OT
|
|
|
1794 |
1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$
|
|
|
1795 |
[]
|
|
|
1796 |
|
|
|
1797 |
|
|
371
|
1798 |
Overfull \hbox (43.28516pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1799 |
\OT1/pplx/m/n/10 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$
|
|
|
1800 |
\OT1/zplm/m/n/10 $$ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10
|
|
|
1801 |
thm $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/1
|
|
|
1802 |
0 in-tern$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m
|
|
|
1803 |
/it/10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$$n$$n$ $n$\TU/lmr/m/it/10 end$\
|
|
|
1804 |
OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabular$\OMS/zplm/m/n/10 g$ $n$\TU/lmr/m/it/1
|
|
|
1805 |
0 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/10 g$ $n$\TU/lmr
|
|
|
1806 |
/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/10 g$
|
|
|
1807 |
[]
|
|
|
1808 |
|
|
|
1809 |
|
|
371
|
1810 |
Overfull \hbox (31.37523pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1811 |
\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabul
|
|
|
1812 |
ar$\OMS/zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/1
|
|
|
1813 |
0 center$\OMS/zplm/m/n/10 g$ \TU/lmr/m/it/10 Some sim-ple facts about erase $
|
|
|
1814 |
\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 lem
|
|
|
1815 |
ma$\OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 mbox$\OMS/zplm/m/n/10 f$$g$$n$$n$
|
|
|
1816 |
[]
|
|
|
1817 |
|
|
|
1818 |
|
|
371
|
1819 |
Overfull \hbox (4.57928pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1820 |
\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
|
|
|
1821 |
\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable$\OT1/pplx/m/
|
|
|
1822 |
n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n
|
|
|
1823 |
/10 )$$[$\TU/lmr/m/it/10 of bs r$[][]$ r$[][]$$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/
|
|
|
1824 |
n/10 g$$n$$n$ $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1
|
|
|
1825 |
/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lab
|
|
|
1826 |
le$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10
|
|
|
1827 |
5$\OT1/zplm/m/n/10 )$$[$\TU/lmr/m/it/10 of
|
|
|
1828 |
[]
|
|
|
1829 |
|
|
|
1830 |
|
|
371
|
1831 |
Overfull \hbox (7.7924pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1832 |
\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul
|
|
|
1833 |
-lable$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it
|
|
|
1834 |
/10 6$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &$ $\OT1/zplm/m
|
|
|
1835 |
/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $$ $\OT1/pplx/m
|
|
|
1836 |
/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($\TU/lmr
|
|
|
1837 |
/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bnul-lable$\OT1/pplx/m/n/10 .$
|
|
|
1838 |
\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 6$\OT1/zplm/m/n/10 )$$
|
|
|
1839 |
\OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 medskip$\OMS/zplm/m/n/10 n$$n$
|
|
|
1840 |
[]
|
|
|
1841 |
|
|
|
1842 |
|
|
371
|
1843 |
Overfull \hbox (34.28575pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1844 |
\TU/lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10
|
|
|
1845 |
($\TU/lmr/m/it/10 3$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/10 &
|
|
|
1846 |
$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/10 $
|
|
|
1847 |
$ $\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/
|
|
|
1848 |
n/10 ($\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bder$\OT1/pplx/m
|
|
|
1849 |
/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 3$\OT1/zplm/m/
|
|
|
1850 |
n/10 )$$\OMS/zplm/m/n/10 g$$n$$n$ $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/l
|
|
|
1851 |
mr/m/it/10 thm $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU/
|
|
|
1852 |
lmr/m/it/10 bder$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\T
|
|
|
1853 |
U/lmr/m/it/10 4$\OT1/zplm/m/n/10 )$$[$\TU/lmr/m/it/10 of
|
|
|
1854 |
[]
|
|
|
1855 |
|
|
|
1856 |
|
|
371
|
1857 |
Overfull \hbox (3.47198pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1858 |
\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($
|
|
|
1859 |
\TU/lmr/m/it/10 rhs$\OT1/zplm/m/n/10 )$ \TU/lmr/m/it/10 bmkeps$\OT1/pplx/m/n/10
|
|
|
1860 |
.$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 4$\OT1/zplm/m/n/10
|
|
|
1861 |
)$$\OMS/zplm/m/n/10 g$$n$\TU/lmr/m/it/10 medskip$\OMS/zplm/m/n/10 n$$n$ $n$\TU/
|
|
|
1862 |
lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 tabular$\OMS/zplm/m/n/10 g$
|
|
|
1863 |
$n$\TU/lmr/m/it/10 end$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 center$\OMS/zplm/m/n/
|
|
|
1864 |
10 g$ $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm
|
|
|
1865 |
[]
|
|
|
1866 |
|
|
|
1867 |
|
|
371
|
1868 |
Overfull \hbox (2.7528pt too wide) in paragraph at lines 1430--1431
|
|
369
|
1869 |
\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 noindent Def-i-ni-tion of the bit-coded lexe
|
|
|
1870 |
r $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm blexer[]def$\OMS
|
|
|
1871 |
/zplm/m/n/10 g$ $n$\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 t
|
|
|
1872 |
heorem$\OMS/zplm/m/n/10 g$
|
|
|
1873 |
[]
|
|
|
1874 |
|
|
|
1875 |
[59]
|
|
|
1876 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1877 |
|
|
|
1878 |
[60]
|
|
371
|
1879 |
Overfull \hbox (2.67558pt too wide) in paragraph at lines 1434--1443
|
|
369
|
1880 |
\TU/lmr/m/it/10 ac-cord-ing to rules like $\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10
|
|
|
1881 |
begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 equation$\OMS/zplm/m/n/10 g$$n$\TU/lmr
|
|
|
1882 |
/m/it/10 label$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 Simpl$\OMS/zplm/m/n/10 g$ $n$
|
|
|
1883 |
\TU/lmr/m/it/10 begin$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 array$\OMS/zplm/m/n/10
|
|
|
1884 |
g$$f$\TU/lmr/m/it/10 lcllcllcllcl$\OMS/zplm/m/n/10 g$
|
|
|
1885 |
[]
|
|
|
1886 |
|
|
|
1887 |
|
|
371
|
1888 |
Overfull \hbox (35.68385pt too wide) in paragraph at lines 1434--1443
|
|
369
|
1889 |
\TU/lmr/m/it/10 F[]SEQ1$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/
|
|
|
1890 |
10 ($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$ $\OT1/pplx/m/n/1
|
|
|
1891 |
0 &$ $\OT1/zplm/m/n/10 $$$\OMS/zplm/m/n/10 n$\TU/lmr/m/it/10 dn$\OT1/zplm/m/n/1
|
|
|
1892 |
0 $$ $\OT1/pplx/m/n/10 &$ []\TU/lmr/m/it/10 Seq $\OT1/zplm/m/n/10 ($\TU/lmr/m/i
|
|
|
1893 |
t/10 f$[][]$ $\OT1/zplm/m/n/10 ($$)$$)$ $($\TU/lmr/m/it/10 f$[][]$ v$\OT1/zplm/
|
|
|
1894 |
m/n/10 )$[]$\OMS/zplm/m/n/10 n$$n$ $\OT1/pplx/m/n/10 @$$\OMS/zplm/m/n/10 f$\TU/
|
|
|
1895 |
lmr/m/it/10 thm $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 lhs$\OT1/zplm/m/n/10 )$ \TU
|
|
|
1896 |
/lmr/m/it/10 F[]SEQ2$\OT1/pplx/m/n/10 .$\TU/lmr/m/it/10 simps$\OT1/zplm/m/n/10
|
|
|
1897 |
($\TU/lmr/m/it/10 1$\OT1/zplm/m/n/10 )$$\OMS/zplm/m/n/10 g$
|
|
|
1898 |
[]
|
|
|
1899 |
|
|
|
1900 |
|
|
371
|
1901 |
Overfull \hbox (18.66588pt too wide) in paragraph at lines 1434--1443
|
|
369
|
1902 |
\OT1/pplx/m/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm L[]fst[]simp$\OT
|
|
|
1903 |
1/zplm/m/n/10 [$\TU/lmr/m/it/10 symmetric$\OT1/zplm/m/n/10 ]$$\OMS/zplm/m/n/10
|
|
|
1904 |
g$$n$$n$ $\OT1/zplm/m/n/10 ($\TU/lmr/m/it/10 2$\OT1/zplm/m/n/10 )$ $\OT1/pplx/m
|
|
|
1905 |
/n/10 &$ $@$$\OMS/zplm/m/n/10 f$\TU/lmr/m/it/10 thm$\OT1/zplm/m/n/10 [$\TU/lmr/
|
|
|
1906 |
m/it/10 mode$\OT1/zplm/m/n/10 =$\TU/lmr/m/it/10 IfThen$\OT1/zplm/m/n/10 ]$ \TU/
|
|
|
1907 |
lmr/m/it/10 Posix[]simp$\OMS/zplm/m/n/10 g$
|
|
|
1908 |
[]
|
|
|
1909 |
|
|
|
1910 |
|
|
|
1911 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1912 |
|
|
|
1913 |
[61]
|
|
|
1914 |
Underfull \vbox (badness 10000) has occurred while \output is active []
|
|
|
1915 |
|
|
|
1916 |
[62]
|
|
|
1917 |
[63] [64]
|
|
|
1918 |
No file root.bbl.
|
|
|
1919 |
)) [65]
|
|
|
1920 |
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 96.
|
|
|
1921 |
Package atveryend Info: Empty hook `AfterLastShipout' on input line 96.
|
|
|
1922 |
(./root.aux)
|
|
|
1923 |
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 96.
|
|
|
1924 |
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 96.
|
|
371
|
1925 |
Package rerunfilecheck Info: File `root.out' has not changed.
|
|
|
1926 |
(rerunfilecheck) Checksum: F68486A1B88421815EBCC3CB75200893;512.
|
|
369
|
1927 |
|
|
|
1928 |
|
|
|
1929 |
LaTeX Font Warning: Size substitutions with differences
|
|
|
1930 |
(Font) up to 2.26395pt have occurred.
|
|
|
1931 |
|
|
|
1932 |
|
|
|
1933 |
LaTeX Font Warning: Some font shapes were not available, defaults substituted.
|
|
|
1934 |
|
|
|
1935 |
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 96.
|
|
|
1936 |
)
|
|
|
1937 |
|
|
|
1938 |
Here is how much of LuaTeX's memory you used:
|
|
371
|
1939 |
29101 strings out of 494413
|
|
369
|
1940 |
156265,794899 words of node,token memory allocated
|
|
|
1941 |
1590 words of node memory still in use:
|
|
|
1942 |
9 hlist, 2 vlist, 2 rule, 11 disc, 21 glue, 7 kern, 98 glyph, 33 attribute, 5
|
|
|
1943 |
7 glue_spec, 33 attribute_list, 1 write nodes
|
|
371
|
1944 |
avail lists: 2:6992,3:291,4:52,5:2358,6:47,7:12582,8:52,9:593,10:23,11:398
|
|
|
1945 |
31954 multiletter control sequences out of 65536+600000
|
|
369
|
1946 |
282 fonts using 23215399 bytes
|
|
|
1947 |
55i,23n,68p,45885b,993s stack positions out of 5000i,500n,10000p,200000b,100000s
|
|
|
1948 |
</usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-regular.ot
|
|
|
1949 |
f></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman8-regular.
|
|
|
1950 |
otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman7-italic
|
|
|
1951 |
.otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman10-ital
|
|
|
1952 |
ic.otf></usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman10-bo
|
|
|
1953 |
ld.otf>{/usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/loc
|
|
|
1954 |
al/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman9-italic.otf></usr/lo
|
|
|
1955 |
cal/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman9-bold.otf></usr/loc
|
|
|
1956 |
al/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmmono9-regular.otf></usr/lo
|
|
|
1957 |
cal/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman9-regular.otf></usr/
|
|
|
1958 |
local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman10-regular.otf></u
|
|
|
1959 |
sr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmroman12-bold.otf></u
|
|
|
1960 |
sr/local/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmbsy10.pfb></us
|
|
|
1961 |
r/local/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/
|
|
|
1962 |
local/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/lo
|
|
|
1963 |
cal/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/local
|
|
|
1964 |
/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/local/t
|
|
|
1965 |
exlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/loca
|
|
|
1966 |
l/texlive/2018/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/l
|
|
|
1967 |
ocal/texlive/2018/texmf-dist/fonts/type1/public/stmaryrd/stmary10.pfb></usr/loca
|
|
|
1968 |
l/texlive/2018/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/local/texliv
|
|
|
1969 |
e/2018/texmf-dist/fonts/type1/urw/palatino/uplri8a.pfb>
|
|
371
|
1970 |
Output written on root.pdf (65 pages, 375799 bytes).
|
|
369
|
1971 |
|
|
371
|
1972 |
PDF statistics: 527 PDF objects out of 1000 (max. 8388607)
|
|
|
1973 |
412 compressed objects within 5 object streams
|
|
|
1974 |
107 named destinations out of 1000 (max. 131072)
|
|
|
1975 |
88 words of extra memory for PDF output out of 10000 (max. 100000000)
|
|
369
|
1976 |
|