1 This is LuaTeX, Version 1.07.0 (TeX Live 2018) (format=lualatex 2019.2.7) 1 NOV 2021 11:19 |
|
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 . |
|
37 luaotfload | main : initialization completed in 0.120 seconds |
|
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 |
|
1583 LaTeX Warning: Citation `Brzozowski1964' on page 41 undefined on input line 78. |
|
1584 |
|
1585 |
|
1586 LaTeX Warning: Citation `Owens2008' on page 41 undefined on input line 92. |
|
1587 |
|
1588 |
|
1589 LaTeX Warning: Citation `Krauss2011' on page 41 undefined on input line 93. |
|
1590 |
|
1591 |
|
1592 LaTeX Warning: Citation `Coquand2012' on page 41 undefined on input line 94. |
|
1593 |
|
1594 [41] |
|
1595 |
|
1596 LaTeX Warning: Citation `Frisch2004' on page 42 undefined on input line 99. |
|
1597 |
|
1598 |
|
1599 LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 100. |
|
1600 |
|
1601 |
|
1602 LaTeX Warning: Citation `Kuklewicz' on page 42 undefined on input line 100. |
|
1603 |
|
1604 |
|
1605 LaTeX Warning: Citation `OkuiSuzuki2010' on page 42 undefined on input line 100. |
|
1606 |
|
1607 |
|
1608 |
|
1609 LaTeX Warning: Citation `Sulzmann2014' on page 42 undefined on input line 100. |
|
1610 |
|
1611 |
|
1612 LaTeX Warning: Citation `Vansummeren2006' on page 42 undefined on input line 100 |
|
1613 . |
|
1614 |
|
1615 |
|
1616 LaTeX Warning: Citation `POSIX' on page 42 undefined on input line 117. |
|
1617 |
|
1618 [42] |
|
1619 |
|
1620 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 156. |
|
1621 |
|
1622 |
|
1623 LaTeX Warning: Citation `HosoyaVouillonPierce2005' on page 43 undefined on input |
|
1624 line 178. |
|
1625 |
|
1626 |
|
1627 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 200. |
|
1628 |
|
1629 |
|
1630 LaTeX Warning: Citation `Frisch2004' on page 43 undefined on input line 204. |
|
1631 |
|
1632 |
|
1633 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 209. |
|
1634 |
|
1635 |
|
1636 LaTeX Warning: Citation `Kuklewicz' on page 43 undefined on input line 217. |
|
1637 |
|
1638 |
|
1639 LaTeX Warning: Citation `Sulzmann2014' on page 43 undefined on input line 218. |
|
1640 |
|
1641 |
|
1642 LaTeX Warning: Citation `CrashCourse2014' on page 43 undefined on input line 219 |
|
1643 . |
|
1644 |
|
1645 [43] |
|
1646 |
|
1647 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 231. |
|
1648 |
|
1649 |
|
1650 LaTeX Warning: Citation `Vansummeren2006' on page 44 undefined on input line 233 |
|
1651 . |
|
1652 |
|
1653 |
|
1654 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 234. |
|
1655 |
|
1656 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font |
|
1657 s/otl/lmroman8-regular.luc) |
|
1658 |
|
1659 LaTeX Warning: Citation `Sulzmann2014' on page 44 undefined on input line 238. |
|
1660 |
|
1661 |
|
1662 LaTeX Warning: Citation `OkuiSuzuki2010' on page 44 undefined on input line 242. |
|
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 |
|
1669 (Font) using `U/stmry/m/n' instead on input line 321. |
|
1670 |
|
1671 |
|
1672 LaTeX Warning: Citation `Krauss2011' on page 45 undefined on input line 326. |
|
1673 |
|
1674 (load luc: /Users/cstan/Library/texlive/2018/texmf-var/luatex-cache/generic/font |
|
1675 s/otl/lmroman6-regular.luc) |
|
1676 |
|
1677 LaTeX Warning: Citation `Brzozowski1964' on page 45 undefined on input line 341. |
|
1678 |
|
1679 |
|
1680 |
|
1681 Overfull \hbox (1.4002pt too wide) in paragraph at lines 348--369 |
|
1682 [] |
|
1683 [] |
|
1684 |
|
1685 [45] |
|
1686 |
|
1687 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 404. |
|
1688 |
|
1689 |
|
1690 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 428. |
|
1691 |
|
1692 |
|
1693 LaTeX Warning: Citation `Frisch2004' on page 46 undefined on input line 445. |
|
1694 |
|
1695 |
|
1696 LaTeX Warning: Citation `Sulzmann2014' on page 46 undefined on input line 446. |
|
1697 |
|
1698 |
|
1699 LaTeX Warning: Citation `AusafDyckhoffUrban2016' on page 46 undefined on input l |
|
1700 ine 478. |
|
1701 |
|
1702 [46] |
|
1703 |
|
1704 LaTeX Warning: Citation `OkuiSuzuki2010' on page 47 undefined on input line 515. |
|
1705 |
|
1706 |
|
1707 |
|
1708 LaTeX Warning: Citation `Frisch2004' on page 47 undefined on input line 515. |
|
1709 |
|
1710 |
|
1711 Underfull \hbox (badness 10000) in paragraph at lines 575--576 |
|
1712 |
|
1713 [] |
|
1714 |
|
1715 |
|
1716 LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586. |
|
1717 |
|
1718 |
|
1719 LaTeX Warning: Citation `Sulzmann2014' on page 47 undefined on input line 586. |
|
1720 |
|
1721 [47] |
|
1722 |
|
1723 LaTeX Warning: Citation `Sulzmann2014' on page 48 undefined on input line 606. |
|
1724 |
|
1725 |
|
1726 Underfull \vbox (badness 10000) has occurred while \output is active [] |
|
1727 |
|
1728 [48] |
|
1729 [49] |
|
1730 |
|
1731 LaTeX Warning: Citation `Sulzmann2014' on page 50 undefined on input line 714. |
|
1732 |
|
1733 |
|
1734 LaTeX Warning: Citation `Vansummeren2006' on page 50 undefined on input line 721 |
|
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 |
|
1740 LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 934. |
|
1741 |
|
1742 |
|
1743 LaTeX Warning: Citation `Sulzmann2014' on page 53 undefined on input line 936. |
|
1744 |
|
1745 |
|
1746 LaTeX Warning: Citation `OkuiSuzuki2010' on page 53 undefined on input line 943. |
|
1747 |
|
1748 |
|
1749 |
|
1750 LaTeX Warning: Citation `OkuiSuzukiTech' on page 53 undefined on input line 943. |
|
1751 |
|
1752 |
|
1753 [53] [54] |
|
1754 |
|
1755 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1065 |
|
1756 . |
|
1757 |
|
1758 |
|
1759 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1086 |
|
1760 . |
|
1761 |
|
1762 |
|
1763 LaTeX Warning: Citation `OkuiSuzuki2010' on page 55 undefined on input line 1126 |
|
1764 . |
|
1765 |
|
1766 [55] |
|
1767 Overfull \hbox (47.18065pt too wide) in paragraph at lines 1150--1180 |
|
1768 [] [] |
|
1769 [] |
|
1770 |
|
1771 [56] [57] |
|
1772 |
|
1773 LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1347. |
|
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 |
|
1779 LaTeX Warning: Citation `Sulzmann2014' on page 58 undefined on input line 1366. |
|
1780 |
|
1781 |
|
1782 Underfull \vbox (badness 10000) has occurred while \output is active [] |
|
1783 |
|
1784 [58] |
|
1785 Overfull \hbox (4.61574pt too wide) in paragraph at lines 1430--1431 |
|
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 |
|
1798 Overfull \hbox (43.28516pt too wide) in paragraph at lines 1430--1431 |
|
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 |
|
1810 Overfull \hbox (31.37523pt too wide) in paragraph at lines 1430--1431 |
|
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 |
|
1819 Overfull \hbox (4.57928pt too wide) in paragraph at lines 1430--1431 |
|
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 |
|
1831 Overfull \hbox (7.7924pt too wide) in paragraph at lines 1430--1431 |
|
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 |
|
1843 Overfull \hbox (34.28575pt too wide) in paragraph at lines 1430--1431 |
|
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 |
|
1857 Overfull \hbox (3.47198pt too wide) in paragraph at lines 1430--1431 |
|
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 |
|
1868 Overfull \hbox (2.7528pt too wide) in paragraph at lines 1430--1431 |
|
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] |
|
1879 Overfull \hbox (2.67558pt too wide) in paragraph at lines 1434--1443 |
|
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 |
|
1888 Overfull \hbox (35.68385pt too wide) in paragraph at lines 1434--1443 |
|
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 |
|
1901 Overfull \hbox (18.66588pt too wide) in paragraph at lines 1434--1443 |
|
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. |
|
1925 Package rerunfilecheck Info: File `root.out' has not changed. |
|
1926 (rerunfilecheck) Checksum: F68486A1B88421815EBCC3CB75200893;512. |
|
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: |
|
1939 29101 strings out of 494413 |
|
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 |
|
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 |
|
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> |
|
1970 Output written on root.pdf (65 pages, 375799 bytes). |
|
1971 |
|
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) |
|
1976 |
|