]> matita.cs.unibo.it Git - fireball-separation.git/blob - calculus/main.log
Added new calculus
[fireball-separation.git] / calculus / main.log
1 This is pdfTeX, Version 3.14159265-2.6-1.40.17 (MiKTeX 2.9.6210) (preloaded format=pdflatex 2017.2.1)  7 JUL 2017 18:03\r
2 entering extended mode\r
3 **./main.tex\r
4 (main.tex\r
5 LaTeX2e <2017/01/01> patch level 1\r
6 Babel <3.9r> and hyphenation patterns for 72 language(s) loaded.\r
7 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\article.cls"\r
8 Document Class: article 2014/09/29 v1.4h Standard LaTeX document class\r
9 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\size10.clo"\r
10 File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)\r
11 )\r
12 \c@part=\count79\r
13 \c@section=\count80\r
14 \c@subsection=\count81\r
15 \c@subsubsection=\count82\r
16 \c@paragraph=\count83\r
17 \c@subparagraph=\count84\r
18 \c@figure=\count85\r
19 \c@table=\count86\r
20 \abovecaptionskip=\skip41\r
21 \belowcaptionskip=\skip42\r
22 \bibindent=\dimen102\r
23 ) (preambolo.tex ("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.st\r
24 y"\r
25 Package: babel 2016/04/23 3.9r The Babel package\r
26 \r
27 *************************************\r
28 * Local config file bblopts.cfg used\r
29 *\r
30 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\arabi\bblopts.cfg"\r
31 File: bblopts.cfg 2005/09/08 v0.1 add Arabic and Farsi to "declared" options of\r
32  babel\r
33 )\r
34 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\babel-english\english.ldf"\r
35 Language: english 2017/01/24 v3.3q English support from the babel system\r
36 \r
37 ("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.def"\r
38 File: babel.def 2016/04/23 3.9r Babel common definitions\r
39 \babel@savecnt=\count87\r
40 \U@D=\dimen103\r
41 )\r
42 \l@american = a dialect from \language\l@english \r
43 \l@canadian = a dialect from \language\l@american \r
44 \l@australian = a dialect from \language\l@british \r
45 \l@newzealand = a dialect from \language\l@british \r
46 ))\r
47 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\inputenc.sty"\r
48 Package: inputenc 2015/03/17 v1.2c Input encoding file\r
49 \inpenc@prehook=\toks14\r
50 \inpenc@posthook=\toks15\r
51 \r
52 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\utf8.def"\r
53 File: utf8.def 2016/02/28 v1.1s UTF-8 support for inputenc\r
54 Now handling font encoding OML ...\r
55 ... no UTF-8 mapping file for font encoding OML\r
56 Now handling font encoding T1 ...\r
57 ... processing UTF-8 mapping file for font encoding T1\r
58 \r
59 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\t1enc.dfu"\r
60 File: t1enc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc\r
61    defining Unicode char U+00A0 (decimal 160)\r
62    defining Unicode char U+00A1 (decimal 161)\r
63    defining Unicode char U+00A3 (decimal 163)\r
64    defining Unicode char U+00AB (decimal 171)\r
65    defining Unicode char U+00AD (decimal 173)\r
66    defining Unicode char U+00BB (decimal 187)\r
67    defining Unicode char U+00BF (decimal 191)\r
68    defining Unicode char U+00C0 (decimal 192)\r
69    defining Unicode char U+00C1 (decimal 193)\r
70    defining Unicode char U+00C2 (decimal 194)\r
71    defining Unicode char U+00C3 (decimal 195)\r
72    defining Unicode char U+00C4 (decimal 196)\r
73    defining Unicode char U+00C5 (decimal 197)\r
74    defining Unicode char U+00C6 (decimal 198)\r
75    defining Unicode char U+00C7 (decimal 199)\r
76    defining Unicode char U+00C8 (decimal 200)\r
77    defining Unicode char U+00C9 (decimal 201)\r
78    defining Unicode char U+00CA (decimal 202)\r
79    defining Unicode char U+00CB (decimal 203)\r
80    defining Unicode char U+00CC (decimal 204)\r
81    defining Unicode char U+00CD (decimal 205)\r
82    defining Unicode char U+00CE (decimal 206)\r
83    defining Unicode char U+00CF (decimal 207)\r
84    defining Unicode char U+00D0 (decimal 208)\r
85    defining Unicode char U+00D1 (decimal 209)\r
86    defining Unicode char U+00D2 (decimal 210)\r
87    defining Unicode char U+00D3 (decimal 211)\r
88    defining Unicode char U+00D4 (decimal 212)\r
89    defining Unicode char U+00D5 (decimal 213)\r
90    defining Unicode char U+00D6 (decimal 214)\r
91    defining Unicode char U+00D8 (decimal 216)\r
92    defining Unicode char U+00D9 (decimal 217)\r
93    defining Unicode char U+00DA (decimal 218)\r
94    defining Unicode char U+00DB (decimal 219)\r
95    defining Unicode char U+00DC (decimal 220)\r
96    defining Unicode char U+00DD (decimal 221)\r
97    defining Unicode char U+00DE (decimal 222)\r
98    defining Unicode char U+00DF (decimal 223)\r
99    defining Unicode char U+00E0 (decimal 224)\r
100    defining Unicode char U+00E1 (decimal 225)\r
101    defining Unicode char U+00E2 (decimal 226)\r
102    defining Unicode char U+00E3 (decimal 227)\r
103    defining Unicode char U+00E4 (decimal 228)\r
104    defining Unicode char U+00E5 (decimal 229)\r
105    defining Unicode char U+00E6 (decimal 230)\r
106    defining Unicode char U+00E7 (decimal 231)\r
107    defining Unicode char U+00E8 (decimal 232)\r
108    defining Unicode char U+00E9 (decimal 233)\r
109    defining Unicode char U+00EA (decimal 234)\r
110    defining Unicode char U+00EB (decimal 235)\r
111    defining Unicode char U+00EC (decimal 236)\r
112    defining Unicode char U+00ED (decimal 237)\r
113    defining Unicode char U+00EE (decimal 238)\r
114    defining Unicode char U+00EF (decimal 239)\r
115    defining Unicode char U+00F0 (decimal 240)\r
116    defining Unicode char U+00F1 (decimal 241)\r
117    defining Unicode char U+00F2 (decimal 242)\r
118    defining Unicode char U+00F3 (decimal 243)\r
119    defining Unicode char U+00F4 (decimal 244)\r
120    defining Unicode char U+00F5 (decimal 245)\r
121    defining Unicode char U+00F6 (decimal 246)\r
122    defining Unicode char U+00F8 (decimal 248)\r
123    defining Unicode char U+00F9 (decimal 249)\r
124    defining Unicode char U+00FA (decimal 250)\r
125    defining Unicode char U+00FB (decimal 251)\r
126    defining Unicode char U+00FC (decimal 252)\r
127    defining Unicode char U+00FD (decimal 253)\r
128    defining Unicode char U+00FE (decimal 254)\r
129    defining Unicode char U+00FF (decimal 255)\r
130    defining Unicode char U+0100 (decimal 256)\r
131    defining Unicode char U+0101 (decimal 257)\r
132    defining Unicode char U+0102 (decimal 258)\r
133    defining Unicode char U+0103 (decimal 259)\r
134    defining Unicode char U+0104 (decimal 260)\r
135    defining Unicode char U+0105 (decimal 261)\r
136    defining Unicode char U+0106 (decimal 262)\r
137    defining Unicode char U+0107 (decimal 263)\r
138    defining Unicode char U+0108 (decimal 264)\r
139    defining Unicode char U+0109 (decimal 265)\r
140    defining Unicode char U+010A (decimal 266)\r
141    defining Unicode char U+010B (decimal 267)\r
142    defining Unicode char U+010C (decimal 268)\r
143    defining Unicode char U+010D (decimal 269)\r
144    defining Unicode char U+010E (decimal 270)\r
145    defining Unicode char U+010F (decimal 271)\r
146    defining Unicode char U+0110 (decimal 272)\r
147    defining Unicode char U+0111 (decimal 273)\r
148    defining Unicode char U+0112 (decimal 274)\r
149    defining Unicode char U+0113 (decimal 275)\r
150    defining Unicode char U+0114 (decimal 276)\r
151    defining Unicode char U+0115 (decimal 277)\r
152    defining Unicode char U+0116 (decimal 278)\r
153    defining Unicode char U+0117 (decimal 279)\r
154    defining Unicode char U+0118 (decimal 280)\r
155    defining Unicode char U+0119 (decimal 281)\r
156    defining Unicode char U+011A (decimal 282)\r
157    defining Unicode char U+011B (decimal 283)\r
158    defining Unicode char U+011C (decimal 284)\r
159    defining Unicode char U+011D (decimal 285)\r
160    defining Unicode char U+011E (decimal 286)\r
161    defining Unicode char U+011F (decimal 287)\r
162    defining Unicode char U+0120 (decimal 288)\r
163    defining Unicode char U+0121 (decimal 289)\r
164    defining Unicode char U+0122 (decimal 290)\r
165    defining Unicode char U+0123 (decimal 291)\r
166    defining Unicode char U+0124 (decimal 292)\r
167    defining Unicode char U+0125 (decimal 293)\r
168    defining Unicode char U+0128 (decimal 296)\r
169    defining Unicode char U+0129 (decimal 297)\r
170    defining Unicode char U+012A (decimal 298)\r
171    defining Unicode char U+012B (decimal 299)\r
172    defining Unicode char U+012C (decimal 300)\r
173    defining Unicode char U+012D (decimal 301)\r
174    defining Unicode char U+012E (decimal 302)\r
175    defining Unicode char U+012F (decimal 303)\r
176    defining Unicode char U+0130 (decimal 304)\r
177    defining Unicode char U+0131 (decimal 305)\r
178    defining Unicode char U+0132 (decimal 306)\r
179    defining Unicode char U+0133 (decimal 307)\r
180    defining Unicode char U+0134 (decimal 308)\r
181    defining Unicode char U+0135 (decimal 309)\r
182    defining Unicode char U+0136 (decimal 310)\r
183    defining Unicode char U+0137 (decimal 311)\r
184    defining Unicode char U+0139 (decimal 313)\r
185    defining Unicode char U+013A (decimal 314)\r
186    defining Unicode char U+013B (decimal 315)\r
187    defining Unicode char U+013C (decimal 316)\r
188    defining Unicode char U+013D (decimal 317)\r
189    defining Unicode char U+013E (decimal 318)\r
190    defining Unicode char U+0141 (decimal 321)\r
191    defining Unicode char U+0142 (decimal 322)\r
192    defining Unicode char U+0143 (decimal 323)\r
193    defining Unicode char U+0144 (decimal 324)\r
194    defining Unicode char U+0145 (decimal 325)\r
195    defining Unicode char U+0146 (decimal 326)\r
196    defining Unicode char U+0147 (decimal 327)\r
197    defining Unicode char U+0148 (decimal 328)\r
198    defining Unicode char U+014A (decimal 330)\r
199    defining Unicode char U+014B (decimal 331)\r
200    defining Unicode char U+014C (decimal 332)\r
201    defining Unicode char U+014D (decimal 333)\r
202    defining Unicode char U+014E (decimal 334)\r
203    defining Unicode char U+014F (decimal 335)\r
204    defining Unicode char U+0150 (decimal 336)\r
205    defining Unicode char U+0151 (decimal 337)\r
206    defining Unicode char U+0152 (decimal 338)\r
207    defining Unicode char U+0153 (decimal 339)\r
208    defining Unicode char U+0154 (decimal 340)\r
209    defining Unicode char U+0155 (decimal 341)\r
210    defining Unicode char U+0156 (decimal 342)\r
211    defining Unicode char U+0157 (decimal 343)\r
212    defining Unicode char U+0158 (decimal 344)\r
213    defining Unicode char U+0159 (decimal 345)\r
214    defining Unicode char U+015A (decimal 346)\r
215    defining Unicode char U+015B (decimal 347)\r
216    defining Unicode char U+015C (decimal 348)\r
217    defining Unicode char U+015D (decimal 349)\r
218    defining Unicode char U+015E (decimal 350)\r
219    defining Unicode char U+015F (decimal 351)\r
220    defining Unicode char U+0160 (decimal 352)\r
221    defining Unicode char U+0161 (decimal 353)\r
222    defining Unicode char U+0162 (decimal 354)\r
223    defining Unicode char U+0163 (decimal 355)\r
224    defining Unicode char U+0164 (decimal 356)\r
225    defining Unicode char U+0165 (decimal 357)\r
226    defining Unicode char U+0168 (decimal 360)\r
227    defining Unicode char U+0169 (decimal 361)\r
228    defining Unicode char U+016A (decimal 362)\r
229    defining Unicode char U+016B (decimal 363)\r
230    defining Unicode char U+016C (decimal 364)\r
231    defining Unicode char U+016D (decimal 365)\r
232    defining Unicode char U+016E (decimal 366)\r
233    defining Unicode char U+016F (decimal 367)\r
234    defining Unicode char U+0170 (decimal 368)\r
235    defining Unicode char U+0171 (decimal 369)\r
236    defining Unicode char U+0172 (decimal 370)\r
237    defining Unicode char U+0173 (decimal 371)\r
238    defining Unicode char U+0174 (decimal 372)\r
239    defining Unicode char U+0175 (decimal 373)\r
240    defining Unicode char U+0176 (decimal 374)\r
241    defining Unicode char U+0177 (decimal 375)\r
242    defining Unicode char U+0178 (decimal 376)\r
243    defining Unicode char U+0179 (decimal 377)\r
244    defining Unicode char U+017A (decimal 378)\r
245    defining Unicode char U+017B (decimal 379)\r
246    defining Unicode char U+017C (decimal 380)\r
247    defining Unicode char U+017D (decimal 381)\r
248    defining Unicode char U+017E (decimal 382)\r
249    defining Unicode char U+01CD (decimal 461)\r
250    defining Unicode char U+01CE (decimal 462)\r
251    defining Unicode char U+01CF (decimal 463)\r
252    defining Unicode char U+01D0 (decimal 464)\r
253    defining Unicode char U+01D1 (decimal 465)\r
254    defining Unicode char U+01D2 (decimal 466)\r
255    defining Unicode char U+01D3 (decimal 467)\r
256    defining Unicode char U+01D4 (decimal 468)\r
257    defining Unicode char U+01E2 (decimal 482)\r
258    defining Unicode char U+01E3 (decimal 483)\r
259    defining Unicode char U+01E6 (decimal 486)\r
260    defining Unicode char U+01E7 (decimal 487)\r
261    defining Unicode char U+01E8 (decimal 488)\r
262    defining Unicode char U+01E9 (decimal 489)\r
263    defining Unicode char U+01EA (decimal 490)\r
264    defining Unicode char U+01EB (decimal 491)\r
265    defining Unicode char U+01F0 (decimal 496)\r
266    defining Unicode char U+01F4 (decimal 500)\r
267    defining Unicode char U+01F5 (decimal 501)\r
268    defining Unicode char U+0218 (decimal 536)\r
269    defining Unicode char U+0219 (decimal 537)\r
270    defining Unicode char U+021A (decimal 538)\r
271    defining Unicode char U+021B (decimal 539)\r
272    defining Unicode char U+1E02 (decimal 7682)\r
273    defining Unicode char U+1E03 (decimal 7683)\r
274    defining Unicode char U+200C (decimal 8204)\r
275    defining Unicode char U+2010 (decimal 8208)\r
276    defining Unicode char U+2011 (decimal 8209)\r
277    defining Unicode char U+2012 (decimal 8210)\r
278    defining Unicode char U+2013 (decimal 8211)\r
279    defining Unicode char U+2014 (decimal 8212)\r
280    defining Unicode char U+2015 (decimal 8213)\r
281    defining Unicode char U+2018 (decimal 8216)\r
282    defining Unicode char U+2019 (decimal 8217)\r
283    defining Unicode char U+201A (decimal 8218)\r
284    defining Unicode char U+201C (decimal 8220)\r
285    defining Unicode char U+201D (decimal 8221)\r
286    defining Unicode char U+201E (decimal 8222)\r
287    defining Unicode char U+2030 (decimal 8240)\r
288    defining Unicode char U+2031 (decimal 8241)\r
289    defining Unicode char U+2039 (decimal 8249)\r
290    defining Unicode char U+203A (decimal 8250)\r
291    defining Unicode char U+2423 (decimal 9251)\r
292 )\r
293 Now handling font encoding OT1 ...\r
294 ... processing UTF-8 mapping file for font encoding OT1\r
295 \r
296 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\ot1enc.dfu"\r
297 File: ot1enc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc\r
298    defining Unicode char U+00A0 (decimal 160)\r
299    defining Unicode char U+00A1 (decimal 161)\r
300    defining Unicode char U+00A3 (decimal 163)\r
301    defining Unicode char U+00AD (decimal 173)\r
302    defining Unicode char U+00B8 (decimal 184)\r
303    defining Unicode char U+00BF (decimal 191)\r
304    defining Unicode char U+00C5 (decimal 197)\r
305    defining Unicode char U+00C6 (decimal 198)\r
306    defining Unicode char U+00D8 (decimal 216)\r
307    defining Unicode char U+00DF (decimal 223)\r
308    defining Unicode char U+00E6 (decimal 230)\r
309    defining Unicode char U+00EC (decimal 236)\r
310    defining Unicode char U+00ED (decimal 237)\r
311    defining Unicode char U+00EE (decimal 238)\r
312    defining Unicode char U+00EF (decimal 239)\r
313    defining Unicode char U+00F8 (decimal 248)\r
314    defining Unicode char U+0131 (decimal 305)\r
315    defining Unicode char U+0141 (decimal 321)\r
316    defining Unicode char U+0142 (decimal 322)\r
317    defining Unicode char U+0152 (decimal 338)\r
318    defining Unicode char U+0153 (decimal 339)\r
319    defining Unicode char U+0174 (decimal 372)\r
320    defining Unicode char U+0175 (decimal 373)\r
321    defining Unicode char U+0176 (decimal 374)\r
322    defining Unicode char U+0177 (decimal 375)\r
323    defining Unicode char U+0218 (decimal 536)\r
324    defining Unicode char U+0219 (decimal 537)\r
325    defining Unicode char U+021A (decimal 538)\r
326    defining Unicode char U+021B (decimal 539)\r
327    defining Unicode char U+2013 (decimal 8211)\r
328    defining Unicode char U+2014 (decimal 8212)\r
329    defining Unicode char U+2018 (decimal 8216)\r
330    defining Unicode char U+2019 (decimal 8217)\r
331    defining Unicode char U+201C (decimal 8220)\r
332    defining Unicode char U+201D (decimal 8221)\r
333 )\r
334 Now handling font encoding OMS ...\r
335 ... processing UTF-8 mapping file for font encoding OMS\r
336 \r
337 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\omsenc.dfu"\r
338 File: omsenc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc\r
339    defining Unicode char U+00A7 (decimal 167)\r
340    defining Unicode char U+00B6 (decimal 182)\r
341    defining Unicode char U+00B7 (decimal 183)\r
342    defining Unicode char U+2020 (decimal 8224)\r
343    defining Unicode char U+2021 (decimal 8225)\r
344    defining Unicode char U+2022 (decimal 8226)\r
345 )\r
346 Now handling font encoding OMX ...\r
347 ... no UTF-8 mapping file for font encoding OMX\r
348 Now handling font encoding U ...\r
349 ... no UTF-8 mapping file for font encoding U\r
350    defining Unicode char U+00A9 (decimal 169)\r
351    defining Unicode char U+00AA (decimal 170)\r
352    defining Unicode char U+00AE (decimal 174)\r
353    defining Unicode char U+00BA (decimal 186)\r
354    defining Unicode char U+02C6 (decimal 710)\r
355    defining Unicode char U+02DC (decimal 732)\r
356    defining Unicode char U+200C (decimal 8204)\r
357    defining Unicode char U+2026 (decimal 8230)\r
358    defining Unicode char U+2122 (decimal 8482)\r
359    defining Unicode char U+2423 (decimal 9251)\r
360 ))\r
361 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty"\r
362 Package: amsmath 2016/11/05 v2.16a AMS math features\r
363 \@mathmargin=\skip43\r
364 \r
365 For additional information on amsmath, use the `?' option.\r
366 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amstext.sty"\r
367 Package: amstext 2000/06/29 v2.01 AMS text\r
368 \r
369 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty"\r
370 File: amsgen.sty 1999/11/30 v2.0 generic functions\r
371 \@emptytoks=\toks16\r
372 \ex@=\dimen104\r
373 ))\r
374 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty"\r
375 Package: amsbsy 1999/11/29 v1.2d Bold Symbols\r
376 \pmbraise@=\dimen105\r
377 )\r
378 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty"\r
379 Package: amsopn 2016/03/08 v2.02 operator names\r
380 )\r
381 \inf@bad=\count88\r
382 LaTeX Info: Redefining \frac on input line 213.\r
383 \uproot@=\count89\r
384 \leftroot@=\count90\r
385 LaTeX Info: Redefining \overline on input line 375.\r
386 \classnum@=\count91\r
387 \DOTSCASE@=\count92\r
388 LaTeX Info: Redefining \ldots on input line 472.\r
389 LaTeX Info: Redefining \dots on input line 475.\r
390 LaTeX Info: Redefining \cdots on input line 596.\r
391 \Mathstrutbox@=\box26\r
392 \strutbox@=\box27\r
393 \big@size=\dimen106\r
394 LaTeX Font Info:    Redeclaring font encoding OML on input line 712.\r
395 LaTeX Font Info:    Redeclaring font encoding OMS on input line 713.\r
396 \macc@depth=\count93\r
397 \c@MaxMatrixCols=\count94\r
398 \dotsspace@=\muskip10\r
399 \c@parentequation=\count95\r
400 \dspbrk@lvl=\count96\r
401 \tag@help=\toks17\r
402 \row@=\count97\r
403 \column@=\count98\r
404 \maxfields@=\count99\r
405 \andhelp@=\toks18\r
406 \eqnshift@=\dimen107\r
407 \alignsep@=\dimen108\r
408 \tagshift@=\dimen109\r
409 \tagwidth@=\dimen110\r
410 \totwidth@=\dimen111\r
411 \lineht@=\dimen112\r
412 \@envbody=\toks19\r
413 \multlinegap=\skip44\r
414 \multlinetaggap=\skip45\r
415 \mathdisplay@stack=\toks20\r
416 LaTeX Info: Redefining \[ on input line 2817.\r
417 LaTeX Info: Redefining \] on input line 2818.\r
418 )\r
419 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amscls\amsthm.sty"\r
420 Package: amsthm 2015/03/04 v2.20.2\r
421 \thm@style=\toks21\r
422 \thm@bodyfont=\toks22\r
423 \thm@headfont=\toks23\r
424 \thm@notefont=\toks24\r
425 \thm@headpunct=\toks25\r
426 \thm@preskip=\skip46\r
427 \thm@postskip=\skip47\r
428 \thm@headsep=\skip48\r
429 \dth@everypar=\toks26\r
430 )\r
431 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\amssymb.sty"\r
432 Package: amssymb 2013/01/14 v3.01 AMS font symbols\r
433 \r
434 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty"\r
435 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support\r
436 \symAMSa=\mathgroup4\r
437 \symAMSb=\mathgroup5\r
438 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'\r
439 (Font)                  U/euf/m/n --> U/euf/b/n on input line 106.\r
440 ))\r
441 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\algorithm2e\algorithm2e.sty"\r
442 Package: algorithm2e 2013/01/06 v5.00 algorithms environments\r
443 \c@AlgoLine=\count100\r
444 \r
445 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\ifthen.sty"\r
446 Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)\r
447 )\r
448 \algocf@hangindent=\skip49\r
449 \r
450 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\xspace.sty"\r
451 Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH)\r
452 )\r
453 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ltxmisc\relsize.sty"\r
454 Package: relsize 2003/07/04 ver 3.1\r
455 )\r
456 ********************************************************\r
457 Package `algorithm2e' Release 5.1 -- october 19 2015 --\r
458 - algorithm2e-announce@lirmm.fr mailing list for announcement about releases\r
459 - algorithm2e-discussion@lirmm.fr mailing list for discussion about package\r
460 subscribe by emailing sympa@lirmm.fr with 'subscribe <list> <firstname name>'\r
461 - Author: Christophe Fiorio (christophe.fiorio@umontpellier.fr)\r
462 ********************************************************\r
463 \skiptotal=\skip50\r
464 \skiplinenumber=\skip51\r
465 \skiprule=\skip52\r
466 \skiphlne=\skip53\r
467 \skiptext=\skip54\r
468 \skiplength=\skip55\r
469 \algomargin=\skip56\r
470 \skipalgocfslide=\skip57\r
471 \algowidth=\dimen113\r
472 \inoutsize=\dimen114\r
473 \inoutindent=\dimen115\r
474 \interspacetitleruled=\dimen116\r
475 \interspacealgoruled=\dimen117\r
476 \interspacetitleboxruled=\dimen118\r
477 \algocf@ruledwidth=\skip58\r
478 \algocf@inoutbox=\box28\r
479 \algocf@inputbox=\box29\r
480 \AlCapSkip=\skip59\r
481 \AlCapHSkip=\skip60\r
482 \algoskipindent=\skip61\r
483 \algocf@nlbox=\box30\r
484 \algocf@hangingbox=\box31\r
485 \algocf@untilbox=\box32\r
486 \algocf@skipuntil=\skip62\r
487 \algocf@capbox=\box33\r
488 \algoheightruledefault=\skip63\r
489 \algoheightrule=\skip64\r
490 \algotitleheightruledefault=\skip65\r
491 \algotitleheightrule=\skip66\r
492 \c@algocfline=\count101\r
493 \c@algocfproc=\count102\r
494 \c@algocf=\count103\r
495 \algocf@algoframe=\box34\r
496 \algocf@algobox=\box35\r
497 ) ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\verbatim.sty"\r
498 Package: verbatim 2014/10/28 v1.5q LaTeX2e package for verbatim enhancements\r
499 \every@verbatim=\toks27\r
500 \verbatim@line=\toks28\r
501 \verbatim@in@stream=\read1\r
502 )\r
503 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\xcolor\xcolor.sty"\r
504 Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)\r
505 \r
506 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics-cfg\color.cfg"\r
507 File: color.cfg 2016/01/02 v1.6 sample color configuration\r
508 )\r
509 Package xcolor Info: Driver file: pdftex.def on input line 225.\r
510 \r
511 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics-def\pdftex.def"\r
512 File: pdftex.def 2017/01/12 v0.06k Graphics/color for pdfTeX\r
513 \r
514 ("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty"\r
515 Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)\r
516 )\r
517 ("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty"\r
518 Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)\r
519 )\r
520 \Gread@gobject=\count104\r
521 )\r
522 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.\r
523 Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352.\r
524 Package xcolor Info: Model `RGB' extended on input line 1364.\r
525 Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366.\r
526 Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367.\r
527 Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368.\r
528 Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369.\r
529 Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370.\r
530 Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371.\r
531 )\r
532 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\stmaryrd\stmaryrd.sty"\r
533 Package: stmaryrd 1994/03/03 St Mary's Road symbol package\r
534 \symstmry=\mathgroup6\r
535 LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'\r
536 (Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.\r
537 )\r
538 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ulem\ulem.sty"\r
539 \UL@box=\box36\r
540 \UL@hyphenbox=\box37\r
541 \UL@skip=\skip67\r
542 \UL@hook=\toks29\r
543 \UL@height=\dimen119\r
544 \UL@pe=\count105\r
545 \UL@pixel=\dimen120\r
546 \ULC@box=\box38\r
547 Package: ulem 2012/05/18\r
548 \ULdepth=\dimen121\r
549 )\r
550 \c@theorem=\count106\r
551 ) (main.aux)\r
552 \openout1 = `main.aux'.\r
553 \r
554 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 16.\r
555 LaTeX Font Info:    ... okay on input line 16.\r
556 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 16.\r
557 LaTeX Font Info:    ... okay on input line 16.\r
558 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 16.\r
559 LaTeX Font Info:    ... okay on input line 16.\r
560 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 16.\r
561 LaTeX Font Info:    ... okay on input line 16.\r
562 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 16.\r
563 LaTeX Font Info:    ... okay on input line 16.\r
564 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 16.\r
565 LaTeX Font Info:    ... okay on input line 16.\r
566 \r
567 ("C:\Program Files (x86)\MiKTeX 2.9\tex\context\base\supp-pdf.mkii"\r
568 [Loading MPS to PDF converter (version 2006.09.02).]\r
569 \scratchcounter=\count107\r
570 \scratchdimen=\dimen122\r
571 \scratchbox=\box39\r
572 \nofMPsegments=\count108\r
573 \nofMParguments=\count109\r
574 \everyMPshowfont=\toks30\r
575 \MPscratchCnt=\count110\r
576 \MPscratchDim=\dimen123\r
577 \MPnumerator=\count111\r
578 \makeMPintoPDFobject=\count112\r
579 \everyMPtoPDFconversion=\toks31\r
580 )\r
581 LaTeX Font Info:    Try loading font information for U+msa on input line 19.\r
582  ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd"\r
583 File: umsa.fd 2013/01/14 v3.01 AMS symbols A\r
584 )\r
585 LaTeX Font Info:    Try loading font information for U+msb on input line 19.\r
586 \r
587 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsb.fd"\r
588 File: umsb.fd 2013/01/14 v3.01 AMS symbols B\r
589 )\r
590 LaTeX Font Info:    Try loading font information for U+stmry on input line 19.\r
591 \r
592 ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\stmaryrd\ustmry.fd") [1\r
593 \r
594 {C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map}] (main.aux)\r
595  )\r
596 (\end occurred inside a group at level 1)\r
597 \r
598 ### simple group (level 1) entered at line 1061 ({)\r
599 ### bottom level \r
600 Here is how much of TeX's memory you used:\r
601  4292 strings out of 493366\r
602  54491 string characters out of 3137304\r
603  133382 words of memory out of 3000000\r
604  7768 multiletter control sequences out of 15000+200000\r
605  6057 words of font info for 26 fonts, out of 3000000 for 9000\r
606  1127 hyphenation exceptions out of 8191\r
607  29i,14n,35p,330b,2405s stack positions out of 5000i,500n,10000p,200000b,50000s\r
608 <C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/\r
609 cm/cmex10.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm\r
610 /cmmi10.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/c\r
611 mmi5.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi\r
612 7.pfb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.p\r
613 fb><C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb><\r
614 C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb>\r
615 Output written on main.pdf (1 page, 69324 bytes).\r
616 PDF statistics:\r
617  34 PDF objects out of 1000 (max. 8388607)\r
618  0 named destinations out of 1000 (max. 500000)\r
619  1 words of extra memory for PDF output out of 10000 (max. 10000000)\r
620 \r