This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.8.1) 8 MAR 2021 14:37 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. %&-line parsing enabled. **/Users/snair/Downloads/RR-9395/RR-9395.tex (/Users/snair/Downloads/RR-9395/RR-9395.tex LaTeX2e <2017-04-15> Babel <3.10> and hyphenation patterns for 84 language(s) loaded. (/usr/local/texlive/2017/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/local/texlive/2017/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/geometry/geometry.sty Package: geometry 2010/09/12 v5.6 Page Geometry (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch ) (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifvtex.sty Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) Package ifvtex Info: VTeX not detected. ) (/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional ) \Gm@cnth=\count87 \Gm@cntv=\count88 \c@Gm@tempcnt=\count89 \Gm@bindingoffset=\dimen103 \Gm@wd@mp=\dimen104 \Gm@odd@mp=\dimen105 \Gm@even@mp=\dimen106 \Gm@layoutwidth=\dimen107 \Gm@layoutheight=\dimen108 \Gm@layouthoffset=\dimen109 \Gm@layoutvoffset=\dimen110 \Gm@dimlist=\toks15 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2015/03/17 v1.2c Input encoding file \inpenc@prehook=\toks16 \inpenc@posthook=\toks17 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/utf8.def File: utf8.def 2017/01/28 v1.1t UTF-8 support for inputenc Now handling font encoding OML ... ... no UTF-8 mapping file for font encoding OML Now handling font encoding T1 ... ... processing UTF-8 mapping file for font encoding T1 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.dfu File: t1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc defining Unicode char U+00A0 (decimal 160) defining Unicode char U+00A1 (decimal 161) defining Unicode char U+00A3 (decimal 163) defining Unicode char U+00AB (decimal 171) defining Unicode char U+00AD (decimal 173) defining Unicode char U+00BB (decimal 187) defining Unicode char U+00BF (decimal 191) defining Unicode char U+00C0 (decimal 192) defining Unicode char U+00C1 (decimal 193) defining Unicode char U+00C2 (decimal 194) defining Unicode char U+00C3 (decimal 195) defining Unicode char U+00C4 (decimal 196) defining Unicode char U+00C5 (decimal 197) defining Unicode char U+00C6 (decimal 198) defining Unicode char U+00C7 (decimal 199) defining Unicode char U+00C8 (decimal 200) defining Unicode char U+00C9 (decimal 201) defining Unicode char U+00CA (decimal 202) defining Unicode char U+00CB (decimal 203) defining Unicode char U+00CC (decimal 204) defining Unicode char U+00CD (decimal 205) defining Unicode char U+00CE (decimal 206) defining Unicode char U+00CF (decimal 207) defining Unicode char U+00D0 (decimal 208) defining Unicode char U+00D1 (decimal 209) defining Unicode char U+00D2 (decimal 210) defining Unicode char U+00D3 (decimal 211) defining Unicode char U+00D4 (decimal 212) defining Unicode char U+00D5 (decimal 213) defining Unicode char U+00D6 (decimal 214) defining Unicode char U+00D8 (decimal 216) defining Unicode char U+00D9 (decimal 217) defining Unicode char U+00DA (decimal 218) defining Unicode char U+00DB (decimal 219) defining Unicode char U+00DC (decimal 220) defining Unicode char U+00DD (decimal 221) defining Unicode char U+00DE (decimal 222) defining Unicode char U+00DF (decimal 223) defining Unicode char U+00E0 (decimal 224) defining Unicode char U+00E1 (decimal 225) defining Unicode char U+00E2 (decimal 226) defining Unicode char U+00E3 (decimal 227) defining Unicode char U+00E4 (decimal 228) defining Unicode char U+00E5 (decimal 229) defining Unicode char U+00E6 (decimal 230) defining Unicode char U+00E7 (decimal 231) defining Unicode char U+00E8 (decimal 232) defining Unicode char U+00E9 (decimal 233) defining Unicode char U+00EA (decimal 234) defining Unicode char U+00EB (decimal 235) defining Unicode char U+00EC (decimal 236) defining Unicode char U+00ED (decimal 237) defining Unicode char U+00EE (decimal 238) defining Unicode char U+00EF (decimal 239) defining Unicode char U+00F0 (decimal 240) defining Unicode char U+00F1 (decimal 241) defining Unicode char U+00F2 (decimal 242) defining Unicode char U+00F3 (decimal 243) defining Unicode char U+00F4 (decimal 244) defining Unicode char U+00F5 (decimal 245) defining Unicode char U+00F6 (decimal 246) defining Unicode char U+00F8 (decimal 248) defining Unicode char U+00F9 (decimal 249) defining Unicode char U+00FA (decimal 250) defining Unicode char U+00FB (decimal 251) defining Unicode char U+00FC (decimal 252) defining Unicode char U+00FD (decimal 253) defining Unicode char U+00FE (decimal 254) defining Unicode char U+00FF (decimal 255) defining Unicode char U+0100 (decimal 256) defining Unicode char U+0101 (decimal 257) defining Unicode char U+0102 (decimal 258) defining Unicode char U+0103 (decimal 259) defining Unicode char U+0104 (decimal 260) defining Unicode char U+0105 (decimal 261) defining Unicode char U+0106 (decimal 262) defining Unicode char U+0107 (decimal 263) defining Unicode char U+0108 (decimal 264) defining Unicode char U+0109 (decimal 265) defining Unicode char U+010A (decimal 266) defining Unicode char U+010B (decimal 267) defining Unicode char U+010C (decimal 268) defining Unicode char U+010D (decimal 269) defining Unicode char U+010E (decimal 270) defining Unicode char U+010F (decimal 271) defining Unicode char U+0110 (decimal 272) defining Unicode char U+0111 (decimal 273) defining Unicode char U+0112 (decimal 274) defining Unicode char U+0113 (decimal 275) defining Unicode char U+0114 (decimal 276) defining Unicode char U+0115 (decimal 277) defining Unicode char U+0116 (decimal 278) defining Unicode char U+0117 (decimal 279) defining Unicode char U+0118 (decimal 280) defining Unicode char U+0119 (decimal 281) defining Unicode char U+011A (decimal 282) defining Unicode char U+011B (decimal 283) defining Unicode char U+011C (decimal 284) defining Unicode char U+011D (decimal 285) defining Unicode char U+011E (decimal 286) defining Unicode char U+011F (decimal 287) defining Unicode char U+0120 (decimal 288) defining Unicode char U+0121 (decimal 289) defining Unicode char U+0122 (decimal 290) defining Unicode char U+0123 (decimal 291) defining Unicode char U+0124 (decimal 292) defining Unicode char U+0125 (decimal 293) defining Unicode char U+0128 (decimal 296) defining Unicode char U+0129 (decimal 297) defining Unicode char U+012A (decimal 298) defining Unicode char U+012B (decimal 299) defining Unicode char U+012C (decimal 300) defining Unicode char U+012D (decimal 301) defining Unicode char U+012E (decimal 302) defining Unicode char U+012F (decimal 303) defining Unicode char U+0130 (decimal 304) defining Unicode char U+0131 (decimal 305) defining Unicode char U+0132 (decimal 306) defining Unicode char U+0133 (decimal 307) defining Unicode char U+0134 (decimal 308) defining Unicode char U+0135 (decimal 309) defining Unicode char U+0136 (decimal 310) defining Unicode char U+0137 (decimal 311) defining Unicode char U+0139 (decimal 313) defining Unicode char U+013A (decimal 314) defining Unicode char U+013B (decimal 315) defining Unicode char U+013C (decimal 316) defining Unicode char U+013D (decimal 317) defining Unicode char U+013E (decimal 318) defining Unicode char U+0141 (decimal 321) defining Unicode char U+0142 (decimal 322) defining Unicode char U+0143 (decimal 323) defining Unicode char U+0144 (decimal 324) defining Unicode char U+0145 (decimal 325) defining Unicode char U+0146 (decimal 326) defining Unicode char U+0147 (decimal 327) defining Unicode char U+0148 (decimal 328) defining Unicode char U+014A (decimal 330) defining Unicode char U+014B (decimal 331) defining Unicode char U+014C (decimal 332) defining Unicode char U+014D (decimal 333) defining Unicode char U+014E (decimal 334) defining Unicode char U+014F (decimal 335) defining Unicode char U+0150 (decimal 336) defining Unicode char U+0151 (decimal 337) defining Unicode char U+0152 (decimal 338) defining Unicode char U+0153 (decimal 339) defining Unicode char U+0154 (decimal 340) defining Unicode char U+0155 (decimal 341) defining Unicode char U+0156 (decimal 342) defining Unicode char U+0157 (decimal 343) defining Unicode char U+0158 (decimal 344) defining Unicode char U+0159 (decimal 345) defining Unicode char U+015A (decimal 346) defining Unicode char U+015B (decimal 347) defining Unicode char U+015C (decimal 348) defining Unicode char U+015D (decimal 349) defining Unicode char U+015E (decimal 350) defining Unicode char U+015F (decimal 351) defining Unicode char U+0160 (decimal 352) defining Unicode char U+0161 (decimal 353) defining Unicode char U+0162 (decimal 354) defining Unicode char U+0163 (decimal 355) defining Unicode char U+0164 (decimal 356) defining Unicode char U+0165 (decimal 357) defining Unicode char U+0168 (decimal 360) defining Unicode char U+0169 (decimal 361) defining Unicode char U+016A (decimal 362) defining Unicode char U+016B (decimal 363) defining Unicode char U+016C (decimal 364) defining Unicode char U+016D (decimal 365) defining Unicode char U+016E (decimal 366) defining Unicode char U+016F (decimal 367) defining Unicode char U+0170 (decimal 368) defining Unicode char U+0171 (decimal 369) defining Unicode char U+0172 (decimal 370) defining Unicode char U+0173 (decimal 371) defining Unicode char U+0174 (decimal 372) defining Unicode char U+0175 (decimal 373) defining Unicode char U+0176 (decimal 374) defining Unicode char U+0177 (decimal 375) defining Unicode char U+0178 (decimal 376) defining Unicode char U+0179 (decimal 377) defining Unicode char U+017A (decimal 378) defining Unicode char U+017B (decimal 379) defining Unicode char U+017C (decimal 380) defining Unicode char U+017D (decimal 381) defining Unicode char U+017E (decimal 382) defining Unicode char U+01CD (decimal 461) defining Unicode char U+01CE (decimal 462) defining Unicode char U+01CF (decimal 463) defining Unicode char U+01D0 (decimal 464) defining Unicode char U+01D1 (decimal 465) defining Unicode char U+01D2 (decimal 466) defining Unicode char U+01D3 (decimal 467) defining Unicode char U+01D4 (decimal 468) defining Unicode char U+01E2 (decimal 482) defining Unicode char U+01E3 (decimal 483) defining Unicode char U+01E6 (decimal 486) defining Unicode char U+01E7 (decimal 487) defining Unicode char U+01E8 (decimal 488) defining Unicode char U+01E9 (decimal 489) defining Unicode char U+01EA (decimal 490) defining Unicode char U+01EB (decimal 491) defining Unicode char U+01F0 (decimal 496) defining Unicode char U+01F4 (decimal 500) defining Unicode char U+01F5 (decimal 501) defining Unicode char U+0218 (decimal 536) defining Unicode char U+0219 (decimal 537) defining Unicode char U+021A (decimal 538) defining Unicode char U+021B (decimal 539) defining Unicode char U+0232 (decimal 562) defining Unicode char U+0233 (decimal 563) defining Unicode char U+1E02 (decimal 7682) defining Unicode char U+1E03 (decimal 7683) defining Unicode char U+200C (decimal 8204) defining Unicode char U+2010 (decimal 8208) defining Unicode char U+2011 (decimal 8209) defining Unicode char U+2012 (decimal 8210) defining Unicode char U+2013 (decimal 8211) defining Unicode char U+2014 (decimal 8212) defining Unicode char U+2015 (decimal 8213) defining Unicode char U+2018 (decimal 8216) defining Unicode char U+2019 (decimal 8217) defining Unicode char U+201A (decimal 8218) defining Unicode char U+201C (decimal 8220) defining Unicode char U+201D (decimal 8221) defining Unicode char U+201E (decimal 8222) defining Unicode char U+2030 (decimal 8240) defining Unicode char U+2031 (decimal 8241) defining Unicode char U+2039 (decimal 8249) defining Unicode char U+203A (decimal 8250) defining Unicode char U+2423 (decimal 9251) defining Unicode char U+1E20 (decimal 7712) defining Unicode char U+1E21 (decimal 7713) ) Now handling font encoding OT1 ... ... processing UTF-8 mapping file for font encoding OT1 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/ot1enc.dfu File: ot1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc defining Unicode char U+00A0 (decimal 160) defining Unicode char U+00A1 (decimal 161) defining Unicode char U+00A3 (decimal 163) defining Unicode char U+00AD (decimal 173) defining Unicode char U+00B8 (decimal 184) defining Unicode char U+00BF (decimal 191) defining Unicode char U+00C5 (decimal 197) defining Unicode char U+00C6 (decimal 198) defining Unicode char U+00D8 (decimal 216) defining Unicode char U+00DF (decimal 223) defining Unicode char U+00E6 (decimal 230) defining Unicode char U+00EC (decimal 236) defining Unicode char U+00ED (decimal 237) defining Unicode char U+00EE (decimal 238) defining Unicode char U+00EF (decimal 239) defining Unicode char U+00F8 (decimal 248) defining Unicode char U+0131 (decimal 305) defining Unicode char U+0141 (decimal 321) defining Unicode char U+0142 (decimal 322) defining Unicode char U+0152 (decimal 338) defining Unicode char U+0153 (decimal 339) defining Unicode char U+0174 (decimal 372) defining Unicode char U+0175 (decimal 373) defining Unicode char U+0176 (decimal 374) defining Unicode char U+0177 (decimal 375) defining Unicode char U+0218 (decimal 536) defining Unicode char U+0219 (decimal 537) defining Unicode char U+021A (decimal 538) defining Unicode char U+021B (decimal 539) defining Unicode char U+2013 (decimal 8211) defining Unicode char U+2014 (decimal 8212) defining Unicode char U+2018 (decimal 8216) defining Unicode char U+2019 (decimal 8217) defining Unicode char U+201C (decimal 8220) defining Unicode char U+201D (decimal 8221) ) Now handling font encoding OMS ... ... processing UTF-8 mapping file for font encoding OMS (/usr/local/texlive/2017/texmf-dist/tex/latex/base/omsenc.dfu File: omsenc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc defining Unicode char U+00A7 (decimal 167) defining Unicode char U+00B6 (decimal 182) defining Unicode char U+00B7 (decimal 183) defining Unicode char U+2020 (decimal 8224) defining Unicode char U+2021 (decimal 8225) defining Unicode char U+2022 (decimal 8226) ) Now handling font encoding OMX ... ... no UTF-8 mapping file for font encoding OMX Now handling font encoding U ... ... no UTF-8 mapping file for font encoding U defining Unicode char U+00A9 (decimal 169) defining Unicode char U+00AA (decimal 170) defining Unicode char U+00AE (decimal 174) defining Unicode char U+00BA (decimal 186) defining Unicode char U+02C6 (decimal 710) defining Unicode char U+02DC (decimal 732) defining Unicode char U+200C (decimal 8204) defining Unicode char U+2026 (decimal 8230) defining Unicode char U+2122 (decimal 8482) defining Unicode char U+2423 (decimal 9251) )) (/Users/snair/Downloads/RR-9395/RR.sty Package: RR 2017/05/03 v5.3 Copyright INRIA/MIAOU/APICS/MARELLE 2002-2011 Style de documents Rapport de recherche Inria : version 5.3 du 2017/05/03 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty Package: textcomp 2017/04/05 v2.0i Standard LaTeX package Package textcomp Info: Sub-encoding information: (textcomp) 5 = only ISO-Adobe without \textcurrency (textcomp) 4 = 5 + \texteuro (textcomp) 3 = 4 + \textohm (textcomp) 2 = 3 + \textestimated + \textcurrency (textcomp) 1 = TS1 - \textcircled - \t (textcomp) 0 = TS1 (full) (textcomp) Font families with sub-encoding setting implement (textcomp) only a restricted character set as indicated. (textcomp) Family '?' is the default used for unknown fonts. (textcomp) See the documentation for details. Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. (/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file Now handling font encoding TS1 ... ... processing UTF-8 mapping file for font encoding TS1 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.dfu File: ts1enc.dfu 2017/01/28 v1.1t UTF-8 support for inputenc defining Unicode char U+00A2 (decimal 162) defining Unicode char U+00A3 (decimal 163) defining Unicode char U+00A4 (decimal 164) defining Unicode char U+00A5 (decimal 165) defining Unicode char U+00A6 (decimal 166) defining Unicode char U+00A7 (decimal 167) defining Unicode char U+00A8 (decimal 168) defining Unicode char U+00A9 (decimal 169) defining Unicode char U+00AA (decimal 170) defining Unicode char U+00AC (decimal 172) defining Unicode char U+00AE (decimal 174) defining Unicode char U+00AF (decimal 175) defining Unicode char U+00B0 (decimal 176) defining Unicode char U+00B1 (decimal 177) defining Unicode char U+00B2 (decimal 178) defining Unicode char U+00B3 (decimal 179) defining Unicode char U+00B4 (decimal 180) defining Unicode char U+00B5 (decimal 181) defining Unicode char U+00B6 (decimal 182) defining Unicode char U+00B7 (decimal 183) defining Unicode char U+00B9 (decimal 185) defining Unicode char U+00BA (decimal 186) defining Unicode char U+00BC (decimal 188) defining Unicode char U+00BD (decimal 189) defining Unicode char U+00BE (decimal 190) defining Unicode char U+00D7 (decimal 215) defining Unicode char U+00F7 (decimal 247) defining Unicode char U+0192 (decimal 402) defining Unicode char U+02C7 (decimal 711) defining Unicode char U+02D8 (decimal 728) defining Unicode char U+02DD (decimal 733) defining Unicode char U+0E3F (decimal 3647) defining Unicode char U+2016 (decimal 8214) defining Unicode char U+2020 (decimal 8224) defining Unicode char U+2021 (decimal 8225) defining Unicode char U+2022 (decimal 8226) defining Unicode char U+2030 (decimal 8240) defining Unicode char U+2031 (decimal 8241) defining Unicode char U+203B (decimal 8251) defining Unicode char U+203D (decimal 8253) defining Unicode char U+2044 (decimal 8260) defining Unicode char U+204E (decimal 8270) defining Unicode char U+2052 (decimal 8274) defining Unicode char U+20A1 (decimal 8353) defining Unicode char U+20A4 (decimal 8356) defining Unicode char U+20A6 (decimal 8358) defining Unicode char U+20A9 (decimal 8361) defining Unicode char U+20AB (decimal 8363) defining Unicode char U+20AC (decimal 8364) defining Unicode char U+20B1 (decimal 8369) defining Unicode char U+2103 (decimal 8451) defining Unicode char U+2116 (decimal 8470) defining Unicode char U+2117 (decimal 8471) defining Unicode char U+211E (decimal 8478) defining Unicode char U+2120 (decimal 8480) defining Unicode char U+2122 (decimal 8482) defining Unicode char U+2126 (decimal 8486) defining Unicode char U+2127 (decimal 8487) defining Unicode char U+212E (decimal 8494) defining Unicode char U+2190 (decimal 8592) defining Unicode char U+2191 (decimal 8593) defining Unicode char U+2192 (decimal 8594) defining Unicode char U+2193 (decimal 8595) defining Unicode char U+2329 (decimal 9001) defining Unicode char U+232A (decimal 9002) defining Unicode char U+2422 (decimal 9250) defining Unicode char U+25E6 (decimal 9702) defining Unicode char U+25EF (decimal 9711) defining Unicode char U+266A (decimal 9834) )) LaTeX Info: Redefining \oldstylenums on input line 334. Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. ) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/color.sty Package: color 2016/07/10 v1.1e Standard LaTeX Color (DPC) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package color Info: Driver file: pdftex.def on input line 147. (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2017/01/12 v0.06k Graphics/color for pdfTeX (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) ) \Gread@gobject=\count90 )) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2017/04/14 v1.1b Standard LaTeX Graphics (DPC,SPQR) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2016/01/03 v1.10 sin cos tan (DPC) ) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 99. ) \Gin@req@height=\dimen111 \Gin@req@width=\dimen112 ) \RR@atxybox=\box26 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package xcolor Info: Driver file: pdftex.def on input line 225. (/usr/local/texlive/2017/texmf-dist/tex/latex/colortbl/colortbl.sty Package: colortbl 2012/02/13 v1.0a Color table columns (DPC) (/usr/local/texlive/2017/texmf-dist/tex/latex/tools/array.sty Package: array 2016/10/06 v2.4d Tabular extension package (FMi) \col@sep=\dimen113 \extrarowheight=\dimen114 \NC@list=\toks18 \extratabsurround=\skip43 \backup@length=\skip44 ) \everycr=\toks19 \minrowclearance=\skip45 ) LaTeX Info: Redefining \color on input line 709. \rownum=\count91 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. Package xcolor Info: Model `RGB' extended on input line 1364. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. ) (/usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/floatrow.sty Package: floatrow 2008/08/02 v0.3b floatrow: float package extension (/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption3.sty Package: caption3 2016/05/22 v1.7-166 caption3 kernel (AR) Package caption3 Info: TeX engine: e-TeX on input line 67. \captionmargin=\dimen115 \captionmargin@=\dimen116 \captionwidth=\dimen117 \caption@tempdima=\dimen118 \caption@indent=\dimen119 \caption@parindent=\dimen120 \caption@hangindent=\dimen121 ) \c@float@type=\count92 \float@exts=\toks20 \float@box=\box27 \@floatcapt=\box28 Package floatrow Info: Modified float package code loaded on input line 455. Package floatrow Info: Modified rotfloat package code loaded on input line 473. \FR@everyfloat=\toks21 \flrow@foot=\insert199 \FB@wd=\dimen122 \FBo@wd=\dimen123 \FBc@wd=\dimen124 \FBo@ht=\skip46 \FBc@ht=\skip47 \FBf@ht=\skip48 \FBo@max=\skip49 \FBc@max=\skip50 \FBf@max=\skip51 \c@FBl@b=\count93 \floatbox@depth=\count94 \c@FRobj=\count95 \c@FRsobj=\count96 \Xhsize=\skip52 \sXhsize=\skip53 \Zhsize=\skip54 \sZhsize=\skip55 \flrow@rowbox=\box29 \FR@Zunitlength=\dimen125 \c@FBcnt=\count97 \FPOScnt=\count98 \LTleft=\skip56 \LTright=\skip57 \LTleft=\skip58 \LTright=\skip59 \flrow@types=\toks22 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip10 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. ) (/usr/local/texlive/2017/texmf-dist/tex/latex/natbib/natbib.sty Package: natbib 2010/09/13 8.31b (PWD, AO) \bibhang=\skip60 \bibsep=\skip61 LaTeX Info: Redefining \cite on input line 694. \c@NAT@ctr=\count99 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2016/11/05 v2.16a AMS math features \@mathmargin=\skip62 For additional information on amsmath, use the `?' option. (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 AMS text (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks23 \ex@=\dimen126 )) (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen127 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2016/03/08 v2.02 operator names ) \inf@bad=\count100 LaTeX Info: Redefining \frac on input line 213. \uproot@=\count101 \leftroot@=\count102 LaTeX Info: Redefining \overline on input line 375. \classnum@=\count103 \DOTSCASE@=\count104 LaTeX Info: Redefining \ldots on input line 472. LaTeX Info: Redefining \dots on input line 475. LaTeX Info: Redefining \cdots on input line 596. \Mathstrutbox@=\box30 \strutbox@=\box31 \big@size=\dimen128 LaTeX Font Info: Redeclaring font encoding OML on input line 712. LaTeX Font Info: Redeclaring font encoding OMS on input line 713. \macc@depth=\count105 \c@MaxMatrixCols=\count106 \dotsspace@=\muskip11 \c@parentequation=\count107 \dspbrk@lvl=\count108 \tag@help=\toks24 \row@=\count109 \column@=\count110 \maxfields@=\count111 \andhelp@=\toks25 \eqnshift@=\dimen129 \alignsep@=\dimen130 \tagshift@=\dimen131 \tagwidth@=\dimen132 \totwidth@=\dimen133 \lineht@=\dimen134 \@envbody=\toks26 \multlinegap=\skip63 \multlinetaggap=\skip64 \mathdisplay@stack=\toks27 LaTeX Info: Redefining \[ on input line 2817. LaTeX Info: Redefining \] on input line 2818. ) (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/Users/snair/Downloads/RR-9395/slashbox.sty slashbox style by K.Yasuoka, May 1993. \@slashboxa=\box32 \@slashboxb=\box33 \@slashboxc=\box34 \@slashboxwd=\count112 \@slashboxht=\count113 \@slashsepl=\dimen135 \@slashsepr=\dimen136 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx.sty (/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3.sty Package: expl3 2017/05/13 L3 programming layer (loader) (/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3-code.tex Package: expl3 2017/05/13 L3 programming layer (code) \c_max_int=\count114 \l_tmpa_int=\count115 \l_tmpb_int=\count116 \g_tmpa_int=\count117 \g_tmpb_int=\count118 \g__prg_map_int=\count119 \c_log_iow=\count120 \l_iow_line_count_int=\count121 \l__iow_line_target_int=\count122 \l__iow_one_indent_int=\count123 \l__iow_indent_int=\count124 \c_zero_dim=\dimen137 \c_max_dim=\dimen138 \l_tmpa_dim=\dimen139 \l_tmpb_dim=\dimen140 \g_tmpa_dim=\dimen141 \g_tmpb_dim=\dimen142 \c_zero_skip=\skip65 \c_max_skip=\skip66 \l_tmpa_skip=\skip67 \l_tmpb_skip=\skip68 \g_tmpa_skip=\skip69 \g_tmpb_skip=\skip70 \c_zero_muskip=\muskip12 \c_max_muskip=\muskip13 \l_tmpa_muskip=\muskip14 \l_tmpb_muskip=\muskip15 \g_tmpa_muskip=\muskip16 \g_tmpb_muskip=\muskip17 \l_keys_choice_int=\count125 \c__fp_leading_shift_int=\count126 \c__fp_middle_shift_int=\count127 \c__fp_trailing_shift_int=\count128 \c__fp_big_leading_shift_int=\count129 \c__fp_big_middle_shift_int=\count130 \c__fp_big_trailing_shift_int=\count131 \c__fp_Bigg_leading_shift_int=\count132 \c__fp_Bigg_middle_shift_int=\count133 \c__fp_Bigg_trailing_shift_int=\count134 \c__fp_rand_size_int=\count135 \c__fp_rand_four_int=\count136 \c__fp_rand_eight_int=\count137 \l__sort_length_int=\count138 \l__sort_min_int=\count139 \l__sort_top_int=\count140 \l__sort_max_int=\count141 \l__sort_true_max_int=\count142 \l__sort_block_int=\count143 \l__sort_begin_int=\count144 \l__sort_end_int=\count145 \l__sort_A_int=\count146 \l__sort_B_int=\count147 \l__sort_C_int=\count148 \c_empty_box=\box35 \l_tmpa_box=\box36 \l_tmpb_box=\box37 \g_tmpa_box=\box38 \g_tmpb_box=\box39 \l__box_top_dim=\dimen143 \l__box_bottom_dim=\dimen144 \l__box_left_dim=\dimen145 \l__box_right_dim=\dimen146 \l__box_top_new_dim=\dimen147 \l__box_bottom_new_dim=\dimen148 \l__box_left_new_dim=\dimen149 \l__box_right_new_dim=\dimen150 \l__box_internal_box=\box40 \l__coffin_internal_box=\box41 \l__coffin_internal_dim=\dimen151 \l__coffin_offset_x_dim=\dimen152 \l__coffin_offset_y_dim=\dimen153 \l__coffin_x_dim=\dimen154 \l__coffin_y_dim=\dimen155 \l__coffin_x_prime_dim=\dimen156 \l__coffin_y_prime_dim=\dimen157 \c_empty_coffin=\box42 \l__coffin_aligned_coffin=\box43 \l__coffin_aligned_internal_coffin=\box44 \l_tmpa_coffin=\box45 \l_tmpb_coffin=\box46 \l__coffin_display_coffin=\box47 \l__coffin_display_coord_coffin=\box48 \l__coffin_display_pole_coffin=\box49 \l__coffin_display_offset_dim=\dimen158 \l__coffin_display_x_dim=\dimen159 \l__coffin_display_y_dim=\dimen160 \l__coffin_bounding_shift_dim=\dimen161 \l__coffin_left_corner_dim=\dimen162 \l__coffin_right_corner_dim=\dimen163 \l__coffin_bottom_corner_dim=\dimen164 \l__coffin_top_corner_dim=\dimen165 \l__coffin_scaled_total_height_dim=\dimen166 \l__coffin_scaled_width_dim=\dimen167 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/l3pdfmode.def File: l3pdfmode.def 2017/03/18 v L3 Experimental driver: PDF mode \l__driver_color_stack_int=\count149 \l__driver_tmp_box=\box50 )) (/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xparse/xparse.sty Package: xparse 2017/05/13 L3 Experimental document command parser \l__xparse_current_arg_int=\count150 \g__xparse_grabber_int=\count151 \l__xparse_m_args_int=\count152 \l__xparse_mandatory_args_int=\count153 \l__xparse_v_nesting_int=\count154 ) Package: siunitx 2017/05/19 v2.7g A comprehensive (SI) units package (/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty Package: l3keys2e 2017/05/13 LaTeX2e option processing using LaTeX3 keys ) \l__siunitx_tmp_box=\box51 \l__siunitx_tmp_dim=\dimen168 \l__siunitx_tmp_int=\count155 \l__siunitx_number_mantissa_length_int=\count156 \l__siunitx_number_uncert_length_int=\count157 \l__siunitx_round_int=\count158 \l__siunitx_process_decimal_int=\count159 \l__siunitx_process_uncertainty_int=\count160 \l__siunitx_process_fixed_int=\count161 \l__siunitx_process_integer_min_int=\count162 \l__siunitx_process_precision_int=\count163 \l__siunitx_group_min_int=\count164 \l__siunitx_angle_marker_box=\box52 \l__siunitx_angle_unit_box=\box53 \l__siunitx_angle_marker_dim=\dimen169 \l__siunitx_angle_unit_dim=\dimen170 \l__siunitx_unit_int=\count165 \l__siunitx_unit_denominator_int=\count166 \l__siunitx_unit_numerator_int=\count167 \l__siunitx_unit_prefix_int=\count168 \l__siunitx_unit_prefix_base_int=\count169 \l__siunitx_unit_prefix_gram_int=\count170 \l__siunitx_number_product_int=\count171 \c__siunitx_one_fill_skip=\skip71 \l__siunitx_table_unit_align_skip=\skip72 \l__siunitx_table_exponent_dim=\dimen171 \l__siunitx_table_integer_dim=\dimen172 \l__siunitx_table_mantissa_dim=\dimen173 \l__siunitx_table_marker_dim=\dimen174 \l__siunitx_table_result_dim=\dimen175 \l__siunitx_table_uncert_dim=\dimen176 \l__siunitx_table_fill_pre_dim=\dimen177 \l__siunitx_table_fill_post_dim=\dimen178 \l__siunitx_table_fill_mid_dim=\dimen179 \l__siunitx_table_pre_box=\box54 \l__siunitx_table_post_box=\box55 \l__siunitx_table_mantissa_box=\box56 \l__siunitx_table_result_box=\box57 \l__siunitx_table_number_align_skip=\skip73 \l__siunitx_table_text_align_skip=\skip74 ................................................. . LaTeX info: "xparse/define-command" . . Defining command \DeclareBinaryPrefix with sig. 'mmm' on line 7251. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \DeclareSIPostPower with sig. 'mm' on line 7254. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \DeclareSIPrefix with sig. 'mmm' on line 7257. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \DeclareSIPrePower with sig. 'mm' on line 7260. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \DeclareSIQualifier with sig. 'mm' on line 7263. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \DeclareSIUnit with sig. 'O{}mm' on line 7266. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \DeclareSIUnitWithOptions with sig. 'mmm' on line 7269. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \ang with sig. 'o>{\SplitArgument {2}{;}}m' on line 7284. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \num with sig. 'om' on line 7293. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \numlist with sig. 'o>{\SplitList {;}}m' on line 7302. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \numrange with sig. 'omm' on line 7311. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \SIlist with sig. 'o>{\SplitList {;}}mm' on line 7323. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \SIrange with sig. 'ommm' on line 7335. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \SI with sig. 'omom' on line 7347. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \sisetup with sig. 'm' on line 7350. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \tablenum with sig. 'om' on line 7365. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \si with sig. 'om' on line 7377. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \numInBookmark with sig. 'om' on line 7424. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \numrangeInBookmark with sig. 'omm' on line 7426. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \SIInBookmark with sig. 'omom' on line 7428. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \SIlistInBookmark with sig. 'omm' on line 7430. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \SIrangeInBookmark with sig. 'ommm' on line 7432. ................................................. ................................................. . LaTeX info: "xparse/define-command" . . Defining command \siInBookmark with sig. 'om' on line 7433. ................................................. \g__file_internal_ior=\read1 (/usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator.sty Package: translator 2010/06/12 ver 1.10 (/usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator-language-mappings.tex))) (/usr/local/texlive/2017/texmf-dist/tex/latex/booktabs/booktabs.sty Package: booktabs 2016/04/27 v1.618033 publication quality tables \heavyrulewidth=\dimen180 \lightrulewidth=\dimen181 \cmidrulewidth=\dimen182 \belowrulesep=\dimen183 \belowbottomsep=\dimen184 \aboverulesep=\dimen185 \abovetopsep=\dimen186 \cmidrulesep=\dimen187 \cmidrulekern=\dimen188 \defaultaddspace=\dimen189 \@cmidla=\count172 \@cmidlb=\count173 \@aboverulesep=\dimen190 \@belowrulesep=\dimen191 \@thisruleclass=\count174 \@lastruleclass=\count175 \@thisrulewidth=\dimen192 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/multirow/multirow.sty Package: multirow 2016/11/25 v2.2 Span multiple rows of a table \multirow@colwidth=\skip75 \multirow@cntb=\count176 \multirow@dima=\skip76 \bigstrutjot=\dimen193 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/pifont.sty Package: pifont 2005/04/12 PSNFSS-v9.2a Pi font support (SPQR) LaTeX Font Info: Try loading font information for U+pzd on input line 63. (/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upzd.fd File: upzd.fd 2001/06/04 font definitions for U/pzd. ) LaTeX Font Info: Try loading font information for U+psy on input line 64. (/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upsy.fd File: upsy.fd 2001/06/04 font definitions for U/psy. )) (/usr/local/texlive/2017/texmf-dist/tex/latex/enumitem/enumitem.sty Package: enumitem 2011/09/28 v3.5.2 Customized lists \labelindent=\skip77 \enit@outerparindent=\dimen194 \enit@toks=\toks28 \enit@inbox=\box58 \enitdp@description=\count177 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/subfig/subfig.sty Package: subfig 2005/06/28 ver: 1.3 subfig package (/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption.sty Package: caption 2016/02/21 v3.3-144 Customizing captions (AR) \c@ContinuedFloat=\count178 Package caption Info: float package is loaded. Package caption Info: floatrow package is loaded. ) \c@KVtest=\count179 \sf@farskip=\skip78 \sf@captopadj=\dimen195 \sf@capskip=\skip79 \sf@nearskip=\skip80 \c@subfigure=\count180 \c@subfigure@save=\count181 \c@lofdepth=\count182 \c@subtable=\count183 \c@subtable@save=\count184 \c@lotdepth=\count185 \sf@top=\skip81 \sf@bottom=\skip82 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/skull/skull.sty Package: skull 2002/01/23 v0.1 (c) Henrik Christian Grove \symSKULL=\mathgroup6 ) (/Users/snair/Downloads/RR-9395/./why3lang.sty (/usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.sty \lst@mode=\count186 \lst@gtempboxa=\box59 \lst@token=\toks29 \lst@length=\count187 \lst@currlwidth=\dimen196 \lst@column=\count188 \lst@pos=\count189 \lst@lostspace=\dimen197 \lst@width=\dimen198 \lst@newlines=\count190 \lst@lineno=\count191 \lst@maxwidth=\dimen256 (/usr/local/texlive/2017/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz) \c@lstnumber=\count192 \lst@skipnumbers=\count193 \lst@framebox=\box60 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2015/06/04 1.6 listings configuration )) Package: listings 2015/06/04 1.6 (Carsten Heinz) (/usr/local/texlive/2017/texmf-dist/tex/latex/bold-extra/bold-extra.sty Package: bold-extra 2001/11/13 v0.1 Use fonts from cm/mf-extra/bold )) (/usr/local/texlive/2017/texmf-dist/tex/latex/paralist/paralist.sty Package: paralist 2017/01/22 v2.7 Extended list environments \pltopsep=\skip83 \plpartopsep=\skip84 \plitemsep=\skip85 \plparsep=\skip86 \pl@lab=\toks30 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex \pgfutil@everybye=\toks31 \pgfutil@tempdima=\dimen257 \pgfutil@tempdimb=\dimen258 (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex)) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box61 (/usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31) )) Package: pgf 2015/08/07 v3.0.1a (rcs-revision 1.15) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks32 \pgfkeys@temptoks=\toks33 (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex \pgfkeys@tmptoks=\toks34 )) \pgf@x=\dimen259 \pgf@y=\dimen260 \pgf@xa=\dimen261 \pgf@ya=\dimen262 \pgf@xb=\dimen263 \pgf@yb=\dimen264 \pgf@xc=\dimen265 \pgf@yc=\dimen266 \w@pgf@writea=\write3 \r@pgf@reada=\read2 \c@pgf@counta=\count194 \c@pgf@countb=\count195 \c@pgf@countc=\count196 \c@pgf@countd=\count197 \t@pgf@toka=\toks35 \t@pgf@tokb=\toks36 \t@pgf@tokc=\toks37 (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg File: pgf.cfg 2008/05/14 (rcs-revision 1.7) ) Driver file for pgf: pgfsys-pdftex.def (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def File: pgfsys-pdftex.def 2014/10/11 (rcs-revision 1.35) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13) ))) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9) \pgfsyssoftpath@smallbuffer@items=\count198 \pgfsyssoftpath@bigbuffer@items=\count266 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex \pgfmath@dimen=\dimen267 \pgfmath@count=\count267 \pgfmath@box=\box62 \pgfmath@toks=\toks38 \pgfmath@stack@operand=\toks39 \pgfmath@stack@operation=\toks40 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex))) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex \c@pgfmathroundto@lastzeros=\count268 )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27) \pgf@picminx=\dimen268 \pgf@picmaxx=\dimen269 \pgf@picminy=\dimen270 \pgf@picmaxy=\dimen271 \pgf@pathminx=\dimen272 \pgf@pathmaxx=\dimen273 \pgf@pathminy=\dimen274 \pgf@pathmaxy=\dimen275 \pgf@xx=\dimen276 \pgf@xy=\dimen277 \pgf@yx=\dimen278 \pgf@yy=\dimen279 \pgf@zx=\dimen280 \pgf@zy=\dimen281 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29) \pgf@path@lastx=\dimen282 \pgf@path@lasty=\dimen283 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex File: pgfcorepathusage.code.tex 2014/11/02 (rcs-revision 1.24) \pgf@shorten@end@additional=\dimen284 \pgf@shorten@start@additional=\dimen285 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex File: pgfcorescopes.code.tex 2015/05/08 (rcs-revision 1.46) \pgfpic=\box63 \pgf@hbox=\box64 \pgf@layerbox@main=\box65 \pgf@picture@serial@count=\count269 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex File: pgfcoregraphicstate.code.tex 2014/11/02 (rcs-revision 1.12) \pgflinewidth=\dimen286 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex File: pgfcoretransformations.code.tex 2015/08/07 (rcs-revision 1.20) \pgf@pt@x=\dimen287 \pgf@pt@y=\dimen288 \pgf@pt@temp=\dimen289 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex File: pgfcorearrows.code.tex 2015/05/14 (rcs-revision 1.43) \pgfarrowsep=\dimen290 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15) \pgf@max=\dimen291 \pgf@sys@shading@range@num=\count270 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex File: pgfcoreexternal.code.tex 2014/07/09 (rcs-revision 1.21) \pgfexternal@startupbox=\box66 )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5) ))) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex File: pgfmoduleshapes.code.tex 2014/03/21 (rcs-revision 1.35) \pgfnodeparttextbox=\box67 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex File: pgfmoduleplot.code.tex 2015/08/03 (rcs-revision 1.13) ) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty Package: pgfcomp-version-0-65 2007/07/03 v3.0.1a (rcs-revision 1.7) \pgf@nodesepstart=\dimen292 \pgf@nodesepend=\dimen293 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty Package: pgfcomp-version-1-18 2007/07/23 v3.0.1a (rcs-revision 1.1) )) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2013/12/13 v3.0.1a (rcs-revision 1.25) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) \pgffor@iter=\dimen294 \pgffor@skip=\dimen295 \pgffor@stack=\toks41 \pgffor@toks=\toks42 )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex File: pgflibraryplothandlers.code.tex 2013/08/31 v3.0.1a (rcs-revision 1.20) \pgf@plot@mark@count=\count271 \pgfplotmarksize=\dimen296 ) \tikz@lastx=\dimen297 \tikz@lasty=\dimen298 \tikz@lastxsaved=\dimen299 \tikz@lastysaved=\dimen300 \tikzleveldistance=\dimen301 \tikzsiblingdistance=\dimen302 \tikz@figbox=\box68 \tikz@figbox@bg=\box69 \tikz@tempbox=\box70 \tikz@tempbox@bg=\box71 \tikztreelevel=\count272 \tikznumberofchildren=\count273 \tikznumberofcurrentchild=\count274 \tikz@fig@count=\count275 (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2013/09/17 (rcs-revision 1.8) \pgfmatrixcurrentrow=\count276 \pgfmatrixcurrentcolumn=\count277 \pgf@matrix@numberofcolumns=\count278 ) \tikz@expandcount=\count279 (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex File: tikzlibrarytopaths.code.tex 2008/06/17 v3.0.1a (rcs-revision 1.2) ))) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex File: tikzlibraryshapes.geometric.code.tex 2008/01/09 v3.0.1a (rcs-revision 1.1) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex File: pgflibraryshapes.geometric.code.tex 2008/06/26 v3.0.1a (rcs-revision 1.1) )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex File: tikzlibraryarrows.code.tex 2008/01/09 v3.0.1a (rcs-revision 1.1) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex File: pgflibraryarrows.code.tex 2013/09/23 v3.0.1a (rcs-revision 1.16) \arrowsize=\dimen303 )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex File: tikzlibrarypatterns.code.tex 2008/01/15 v3.0.1a (rcs-revision 1.2) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex File: pgflibrarypatterns.code.tex 2008/03/03 v3.0.1a (rcs-revision 1.13) )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex File: tikzlibrarybackgrounds.code.tex 2013/07/18 v3.0.1a (rcs-revision 1.3) \pgf@layerbox@background=\box72 \pgf@layerboxsaved@background=\box73 ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex File: tikzlibrarycalc.code.tex 2013/07/15 v3.0.1a (rcs-revision 1.9) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytrees.code.tex File: tikzlibrarytrees.code.tex 2008/02/24 v3.0.1a (rcs-revision 1.2) ) (/usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty Package: stmaryrd 1994/03/03 St Mary's Road symbol package \symstmry=\mathgroup7 LaTeX Font Info: Overwriting symbol font `stmry' in version `bold' (Font) U/stmry/m/n --> U/stmry/b/n on input line 89. ) (/usr/local/texlive/2017/texmf-dist/tex/latex/mathpartir/mathpartir.sty Package: mathpartir 2016/02/24 version 1.3.2 Math Paragraph for Typesetting Inference Rules \mpr@andskip=\skip87 \mpr@lista=\toks43 \mpr@listb=\toks44 \mpr@hlist=\box74 \mpr@vlist=\box75 \mpr@right=\box76 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) ) (/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/rotating.sty Package: rotating 2016/08/11 v2.16d rotated objects in LaTeX \c@r@tfl@t=\count280 \rotFPtop=\skip88 \rotFPbot=\skip89 \rot@float@box=\box77 \rot@mess@toks=\toks45 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2017/03/14 v6.85a Hypertext links for LaTeX (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO) (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO) Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO) Package hobsub Info: Skipping package `infwarerr' (already loaded). Package hobsub Info: Skipping package `ltxcmds' (already loaded). Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) Package ifluatex Info: LuaTeX not detected. Package hobsub Info: Skipping package `ifvtex' (already loaded). Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO) Package hobsub Info: Skipping package `ifpdf' (already loaded). Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) Package etexcmds Info: Could not find \expanded. (etexcmds) That can mean that you are not using pdfTeX 1.50 or (etexcmds) that some package has redefined \expanded. (etexcmds) In the latter case, load this package earlier. Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) Package: pdftexcmds 2017/03/19 v0.25 Utility functions of pdfTeX for LuaTeX (HO) Package pdftexcmds Info: LuaTeX not detected. Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode found. Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO) Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO) Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO) Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO) ) Package hobsub Info: Skipping package `hobsub' (already loaded). Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO) Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO) Package: xcolor-patch 2016/05/16 xcolor patch Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO) Package atveryend Info: \enddocument detected (standard20110627). Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO) Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO) Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO) ) (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO) ) (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) ) \@linkdim=\dimen304 \Hy@linkcounter=\count281 \Hy@pagecounter=\count282 (/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2017/03/14 v6.85a Hyperref: PDFDocEncoding definition (HO) Now handling font encoding PD1 ... ... no UTF-8 mapping file for font encoding PD1 ) \Hy@SavedSpaceFactor=\count283 (/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) Package hyperref Info: Hyper figures OFF on input line 4498. Package hyperref Info: Link nesting OFF on input line 4503. Package hyperref Info: Hyper index ON on input line 4506. Package hyperref Info: Plain pages OFF on input line 4513. Package hyperref Info: Backreferencing OFF on input line 4518. Package hyperref Info: Implicit mode ON; LaTeX internals redefined. Package hyperref Info: Bookmarks ON on input line 4751. \c@Hy@tempcnt=\count284 LaTeX Info: Redefining \url on input line 5104. \XeTeXLinkMargin=\dimen305 \Fld@menulength=\count285 \Field@Width=\dimen306 \Fld@charsize=\dimen307 Package hyperref Info: Hyper figures OFF on input line 6358. Package hyperref Info: Link nesting OFF on input line 6363. Package hyperref Info: Hyper index ON on input line 6366. Package hyperref Info: backreferencing OFF on input line 6373. Package hyperref Info: Link coloring OFF on input line 6378. Package hyperref Info: Link coloring with OCG OFF on input line 6383. Package hyperref Info: PDF/A mode OFF on input line 6388. LaTeX Info: Redefining \ref on input line 6428. LaTeX Info: Redefining \pageref on input line 6432. \Hy@abspage=\count286 \c@Item=\count287 \c@Hfootnote=\count288 ) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2017/03/14 v6.85a Hyperref driver for pdfTeX \Fld@listcount=\count289 \c@bookmark@seq@number=\count290 (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO) Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 282. ) \Hy@SectionHShift=\skip90 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/cleveref/cleveref.sty Package: cleveref 2013/12/28 v0.19 Intelligent cross-referencing Package cleveref Info: `hyperref' support loaded on input line 2230. LaTeX Info: Redefining \cref on input line 2230. LaTeX Info: Redefining \Cref on input line 2230. LaTeX Info: Redefining \crefrange on input line 2230. LaTeX Info: Redefining \Crefrange on input line 2230. LaTeX Info: Redefining \cpageref on input line 2230. LaTeX Info: Redefining \Cpageref on input line 2230. LaTeX Info: Redefining \cpagerefrange on input line 2230. LaTeX Info: Redefining \Cpagerefrange on input line 2230. LaTeX Info: Redefining \labelcref on input line 2230. LaTeX Info: Redefining \labelcpageref on input line 2230. Package cleveref Info: `listings' support loaded on input line 2950. Package cleveref Info: `subfig' support loaded on input line 2983. Package cleveref Info: include cross-reference names in hyperlinks on input line 7476. Package cleveref Info: include cross-reference names in hyperlinks on input line 7493. ) (/Users/snair/Downloads/RR-9395/RR-9395.aux) \openout1 = `RR-9395.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 299. LaTeX Font Info: ... okay on input line 299. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 299. LaTeX Font Info: ... okay on input line 299. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 299. LaTeX Font Info: ... okay on input line 299. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 299. LaTeX Font Info: ... okay on input line 299. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 299. LaTeX Font Info: ... okay on input line 299. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 299. LaTeX Font Info: ... okay on input line 299. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 299. LaTeX Font Info: Try loading font information for TS1+cmr on input line 299. (/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1cmr.fd File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: ... okay on input line 299. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 299. LaTeX Font Info: ... okay on input line 299. *geometry* driver: auto-detecting *geometry* detected driver: pdftex *geometry* verbose mode - [ preamble ] result: * driver: pdftex * paper: a4paper * layout: * layoutoffset:(h,v)=(0.0pt,0.0pt) * modes: twoside * h-part:(L,W,R)=(71.70166pt, 418.25368pt, 107.55254pt) * v-part:(T,H,B)=(101.40665pt, 591.5302pt, 152.11pt) * \paperwidth=597.50787pt * \paperheight=845.04684pt * \textwidth=418.25368pt * \textheight=591.5302pt * \oddsidemargin=-0.56833pt * \evensidemargin=35.28255pt * \topmargin=-7.86334pt * \headheight=28.45274pt * \headsep=28.45274pt * \topskip=10.0pt * \footskip=30.0pt * \marginparwidth=121.0pt * \marginparsep=11.0pt * \columnsep=10.0pt * \skip\footins=9.0pt plus 4.0pt minus 2.0pt * \hoffset=0.0pt * \voffset=0.0pt * \mag=1000 * \@twocolumnfalse * \@twosidetrue * \@mparswitchtrue * \@reversemarginfalse * (1in=72.27pt=25.4mm, 1cm=28.453pt) (/usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count291 \scratchdimen=\dimen308 \scratchbox=\box78 \nofMPsegments=\count292 \nofMParguments=\count293 \everyMPshowfont=\toks46 \MPscratchCnt=\count294 \MPscratchDim=\dimen309 \MPnumerator=\count295 \makeMPintoPDFobject=\count296 \everyMPtoPDFconversion=\toks47 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) ) Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 438. Package grfext Info: Graphics extension search list: (grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPEG,.JBIG2,.JB2,.eps] (grfext) \AppendGraphicsExtensions on input line 456. (/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live )) Package caption Info: Begin \AtBeginDocument code. Package caption Info: subfig package v1.3 is loaded. Package caption Info: floatrow package is loaded. Package caption Info: hyperref package is loaded. Package caption Info: listings package is loaded. Package caption Info: rotating package is loaded. Package caption Info: End \AtBeginDocument code. (/usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/fr-subfig.sty Package: fr-subfig 2007/12/24 v0.1g (beta) floatrow: additions for subfig \FBsc@max=\skip91 \FBso@max=\skip92 ) (/usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/dicts/translator-basic-dictionary/translator-basic-dictionary-English.dict Dictionary: translator-basic-dictionary, Language: English ) (/usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx-abbreviations.cfg File: siunitx-abbreviations.cfg 2017/05/19 v2.7g siunitx: Abbreviated units ) \c@lstlisting=\count297 ABD: EveryShipout initializing macros \AtBeginShipoutBox=\box79 Package hyperref Info: Link coloring OFF on input line 299. (/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/gettitlestring.sty Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO) ) \c@section@level=\count298 ) LaTeX Info: Redefining \ref on input line 299. LaTeX Info: Redefining \pageref on input line 299. LaTeX Info: Redefining \nameref on input line 299. (/Users/snair/Downloads/RR-9395/RR-9395.out) (/Users/snair/Downloads/RR-9395/RR-9395.out) \@outlinefile=\write4 \openout4 = `RR-9395.out'. \c__siunitx_mathsf_int=\count299 LaTeX Font Info: Try loading font information for U+msa on input line 299. (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Try loading font information for U+msb on input line 299. (/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) LaTeX Font Info: Try loading font information for U+stmry on input line 299. (/usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) \c__siunitx_mathtt_int=\count300 File: rrpage1.png Graphic file (type png) Package pdftex.def Info: rrpage1.png used on input line 301. (pdftex.def) Requested size: 614.05258pt x 794.72716pt. File: logo-inria.png Graphic file (type png) Package pdftex.def Info: logo-inria.png used on input line 301. (pdftex.def) Requested size: 142.26378pt x 51.24359pt. LaTeX Font Info: Try loading font information for T1+phv on input line 301. (/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1phv.fd File: t1phv.fd 2001/06/04 scalable font definitions for T1/phv. ) LaTeX Font Info: Try loading font information for T1+ptm on input line 301. (/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1ptm.fd File: t1ptm.fd 2001/06/04 font definitions for T1/ptm. ) LaTeX Font Info: Try loading font information for TS1+ptm on input line 301. (/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ts1ptm.fd File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. ) [0{/usr/local/texlive/2017/texmf-var/fonts/map/pdftex/updmap/pdftex.map} ]pdfTeX warning (ext4): destination with the same identifier (name{page.0}) has been already used, duplicate ignored \relax l.301 \makeRR [0] File: pagei.png Graphic file (type png) Package pdftex.def Info: pagei.png used on input line 301. (pdftex.def) Requested size: 613.93216pt x 794.60669pt. File: logo-inria.png Graphic file (type png) Package pdftex.def Info: logo-inria.png used on input line 301. (pdftex.def) Requested size: 142.26378pt x 51.24359pt. Overfull \hbox (40.404pt too wide) in paragraph at lines 301--301 $[]$ [] [1 ] [2] (/Users/snair/Downloads/RR-9395/intro.tex [3]) (/Users/snair/Downloads/RR-9395/system.tex [4] [5]) (/Users/snair/Downloads/RR-9395/incorrectspec.tex [6] [7] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] Underfull \hbox (badness 10000) in paragraph at lines 204--204 []$[]\OMS/cmsy/m/n/9 ^$ [] [8] Overfull \hbox (2.59354pt too wide) in paragraph at lines 503--516 [][] [] [9] [10]) (/Users/snair/Downloads/RR-9395/refinedspec.tex Underfull \hbox (badness 10000) in paragraph at lines 71--71 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 10000) in paragraph at lines 71--71 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 10000) in paragraph at lines 100--100 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 10000) in paragraph at lines 100--100 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] [11] [12] Underfull \hbox (badness 2326) in paragraph at lines 340--340 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 2326) in paragraph at lines 340--340 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Overfull \hbox (11.5371pt too wide) in paragraph at lines 347--350 []\OT1/cmr/bx/n/10 Concurrent add[] \OT1/cmr/m/n/10 Con-sider the se-quen-tial spec-i-fi-ca-tion of two op-er-a-tions $\OML/cmm/m/it/10 rem\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n[]\OT1/cmr/m/n/10 )$ and $\OML/cmm/m/it/10 add\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n[]; p[]\OT1/cmr/m/n/10 )$. [] [13] Overfull \hbox (26.99777pt too wide) in paragraph at lines 388--391 []\OT1/cmr/bx/n/10 Concurrent move[] \OT1/cmr/m/n/10 Con-sider the se-quen-tial spec-i-fi-ca-tion of two op-er-a-tions $\OML/cmm/m/it/10 rem\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n[]\OT1/cmr/m/n/10 )$ and $\OML/cmm/m/it/10 move\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n[]; p[]\OT1/cmr/m/n/10 )$. [] Underfull \hbox (badness 10000) in paragraph at lines 403--403 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 10000) in paragraph at lines 403--403 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] [14] Overfull \hbox (10.26263pt too wide) in paragraph at lines 432--441 []\OT1/cmr/bx/n/10 Concurrent re-move[] \OT1/cmr/m/n/10 Con-sider the se-quen-tial spec-i-fi-ca-tion of two re-move op-er-a-tions $\OML/cmm/m/it/10 move\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 n[]; p[]\OT1/cmr/m/n/10 )$ [] Underfull \hbox (badness 6001) in paragraph at lines 453--453 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 6001) in paragraph at lines 453--453 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 10000) in paragraph at lines 475--475 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Underfull \hbox (badness 10000) in paragraph at lines 475--475 []$[] \OMS/cmsy/m/n/9 ^ [][] ^ [] Overfull \hbox (2.95027pt too wide) in paragraph at lines 488--489 []|$[]\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 n[]; p[]\OT1/cmr/m/n/9 )$| [] [15] [16] Overfull \hbox (6.18419pt too wide) in paragraph at lines 830--830 []|$ []\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 n[]; p[]\OT1/cmr/m/n/9 )$| [] Overfull \hbox (0.79434pt too wide) in paragraph at lines 830--830 []|$ []\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 n[]\OT1/cmr/m/n/9 )$| [] [17] (/Users/snair/Downloads/RR-9395/concspec.tex Overfull \hbox (18.69568pt too wide) in paragraph at lines 78--78 [] [] ) Overfull \hbox (18.69568pt too wide) detected at line 881 [] [] [18] [19]) (/Users/snair/Downloads/RR-9395/evaluation.tex Package epstopdf Info: Source file: (epstopdf) date: 2021-01-12 12:30:50 (epstopdf) size: 29784 bytes (epstopdf) Output file: (epstopdf) date: 2021-03-08 14:22:54 (epstopdf) size: 15416 bytes (epstopdf) Command: (epstopdf) \includegraphics on input line 40. Package epstopdf Info: Output file is already uptodate. File: figures/response_time_copy2-eps-converted-to.pdf Graphic file (type pdf) Package pdftex.def Info: figures/response_time_copy2-eps-converted-to.pdf used on input line 40. (pdftex.def) Requested size: 216.80946pt x 108.40472pt. Package epstopdf Info: Source file: (epstopdf) date: 2021-01-12 12:30:44 (epstopdf) size: 22721 bytes (epstopdf) Output file: (epstopdf) date: 2021-03-08 14:22:54 (epstopdf) size: 13263 bytes (epstopdf) Command: (epstopdf) \includegraphics on input line 44. Package epstopdf Info: Output file is already uptodate. File: figures/overhead_copy2-eps-converted-to.pdf Graphic file (type pdf) Package pdftex.def Info: figures/overhead_copy2-eps-converted-to.pdf used on input line 44. (pdftex.def) Requested size: 108.40472pt x 108.40472pt. Package epstopdf Info: Source file: (epstopdf) date: 2021-01-12 12:30:57 (epstopdf) size: 24234 bytes (epstopdf) Output file: (epstopdf) date: 2021-03-08 14:22:55 (epstopdf) size: 13160 bytes (epstopdf) Command: (epstopdf) \includegraphics on input line 54. Package epstopdf Info: Output file is already uptodate. File: figures/stabilization_time_log_copy2-eps-converted-to.pdf Graphic file (type pdf) Package pdftex.def Info: figures/stabilization_time_log_copy2-eps-converted-to.pdf used on input line 54. (pdftex.def) Requested size: 108.40472pt x 108.40472pt. Underfull \vbox (badness 10000) has occurred while \output is active [] [20 ] Overfull \hbox (1.09877pt too wide) in paragraph at lines 81--81 []|\OT1/cmr/m/n/10 Bangalore| [] ) (/Users/snair/Downloads/RR-9395/literature.tex [21]) (/Users/snair/Downloads/RR-9395/discussion.tex Overfull \hbox (2.27325pt too wide) in paragraph at lines 13--13 []|$[]\OT1/cmr/m/n/9 (\OML/cmm/m/it/9 n[]; p[]\OT1/cmr/m/n/9 )$| [] Overfull \hbox (11.81454pt too wide) in paragraph at lines 26--28 []|[]| [] Overfull \hbox (1.41539pt too wide) in paragraph at lines 29--30 []|[]| [] Package hyperref Warning: Difference (2) between bookmark levels is greater (hyperref) than one, level fixed on input line 38. [22]) (/Users/snair/Downloads/RR-9395/conclusion.tex) (/Users/snair/Downloads/RR-9395/RR-9395.bbl [23] [24]) [25] (/Users/snair/Downloads/RR-9395/why3spec.tex [26] Underfull \vbox (badness 10000) has occurred while \output is active [] [27] [28] [29] Underfull \vbox (badness 10000) has occurred while \output is active [] [30] (/Users/snair/Downloads/RR-9395/CiseAnalysis.tex [31]) [32] [33] [34] Underfull \vbox (badness 10000) has occurred while \output is active [] [35]) [36] File: pagei.png Graphic file (type png) Package pdftex.def Info: pagei.png used on input line 383. (pdftex.def) Requested size: 613.93216pt x 794.60669pt. File: logo-inria.png Graphic file (type png) Package pdftex.def Info: logo-inria.png used on input line 383. (pdftex.def) Requested size: 142.26378pt x 51.24359pt. pdfTeX warning (ext4): destination with the same identifier (name{page.36}) has been already used, duplicate ignored \relax l.383 \end{document} [36 ] Package atveryend Info: Empty hook `BeforeClearDocument' on input line 383. Package atveryend Info: Empty hook `AfterLastShipout' on input line 383. (/Users/snair/Downloads/RR-9395/RR-9395.aux) Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 383. Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 383. Package rerunfilecheck Info: File `RR-9395.out' has not changed. (rerunfilecheck) Checksum: 3F4C3A7A7242182A7CD4E73932C53FEE;2626. Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 383. ) Here is how much of TeX's memory you used: 35887 strings out of 492995 694432 string characters out of 6132705 975797 words of memory out of 5000000 38294 multiletter control sequences out of 15000+600000 39567 words of font info for 106 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 55i,27n,63p,10410b,2528s stack positions out of 5000i,500n,10000p,200000b,80000s pdfTeX warning (dest): name{Hfootnote.5} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{Hfootnote.4} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{Hfootnote.3} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{Hfootnote.2} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{Hfootnote.1} has been referenced but does not exist, replaced by a fixed one {/usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}{/usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on /Users/snair/Downloads/RR-9395/RR-9395.pdf (39 pages, 946397 bytes). PDF statistics: 1388 PDF objects out of 1440 (max. 8388607) 1186 compressed objects within 12 object streams 576 named destinations out of 1000 (max. 500000) 331 words of extra memory for PDF output out of 10000 (max. 10000000)