This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.8.1) 24 FEB 2021 09:21 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. %&-line parsing enabled. **RR-9395.tex (./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 ) (./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 ) 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=\toks16 \extratabsurround=\skip43 \backup@length=\skip44 ) \everycr=\toks17 \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=\toks18 \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=\toks19 \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=\toks20 ) (/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=\toks21 \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=\toks22 \row@=\count109 \column@=\count110 \maxfields@=\count111 \andhelp@=\toks23 \eqnshift@=\dimen129 \alignsep@=\dimen130 \tagshift@=\dimen131 \tagwidth@=\dimen132 \totwidth@=\dimen133 \lineht@=\dimen134 \@envbody=\toks24 \multlinegap=\skip63 \multlinetaggap=\skip64 \mathdisplay@stack=\toks25 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. )) (./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-lang uage-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=\toks26 \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 ) (./why3lang.sty (/usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.sty \lst@mode=\count186 \lst@gtempboxa=\box59 \lst@token=\toks27 \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=\toks28 ) (/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.te x \pgfutil@everybye=\toks29 \pgfutil@tempdima=\dimen257 \pgfutil@tempdimb=\dimen258 (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li sts.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=\toks30 \pgfkeys@temptoks=\toks31 (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c ode.tex \pgfkeys@tmptoks=\toks32 )) \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=\toks33 \t@pgf@tokb=\toks34 \t@pgf@tokc=\toks35 (/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.d ef File: pgfsys-pdftex.def 2014/10/11 (rcs-revision 1.35) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p df.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=\toks36 \pgfmath@stack@operand=\toks37 \pgfmath@stack@operation=\toks38 ) (/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.trigo nometric.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando m.code.tex) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa rison.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.integ erarithmetics.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.co de.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/pgfcorepathconst ruct.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.co de.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/pgfcoregraphicst ate.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/pgfcoretransform ations.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.cod e.tex File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c ode.tex File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce ssing.code.tex File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co de.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.cod e.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.cod e.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.co de.tex File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7) ) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare ncy.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.cod e.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=\toks39 \pgffor@toks=\toks40 )) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod e.tex Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151) (/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan dlers.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.cod e.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/librarie s/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/librarie s/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/pgflibrary shapes.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/librarie s/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/librarie s/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/pgflibrarypattern s.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/librarie s/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/librarie s/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/librarie s/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 Inf erence Rules \mpr@andskip=\skip87 \mpr@lista=\toks41 \mpr@listb=\toks42 \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=\toks43 ) (/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) ) \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 2 82. ) \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 lin e 7476. Package cleveref Info: include cross-reference names in hyperlinks on input lin e 7493. ) (./RR-9395.aux) \openout1 = `RR-9395.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 297. LaTeX Font Info: ... okay on input line 297. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 297. LaTeX Font Info: ... okay on input line 297. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 297. LaTeX Font Info: ... okay on input line 297. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 297. LaTeX Font Info: ... okay on input line 297. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 297. LaTeX Font Info: ... okay on input line 297. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 297. LaTeX Font Info: ... okay on input line 297. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 297. LaTeX Font Info: Try loading font information for TS1+cmr on input line 297. (/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 297. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 297. LaTeX Font Info: ... okay on input line 297. *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=\toks44 \MPscratchCnt=\count294 \MPscratchDim=\dimen309 \MPnumerator=\count295 \makeMPintoPDFobject=\count296 \everyMPtoPDFconversion=\toks45 ) (/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 4 38. Package grfext Info: Graphics extension search list: (grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE G,.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 Liv e )) 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/translato r-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 297. (/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 297. LaTeX Info: Redefining \pageref on input line 297. LaTeX Info: Redefining \nameref on input line 297. (./RR-9395.out) (./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 297. (/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 297. (/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 297. (/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 299. (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 299. (pdftex.def) Requested size: 142.26378pt x 51.24359pt. LaTeX Font Info: Try loading font information for T1+phv on input line 299. (/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 299. (/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 299. (/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} <./rrpage1.png> <./logo-inria.png>]pdfTeX warning (ext4): destination with the same identifier (name{page.0}) has been already used, duplicate ignored \relax l.299 \makeRR [0] File: pagei.png Graphic file (type png) Package pdftex.def Info: pagei.png used on input line 299. (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 299. (pdftex.def) Requested size: 142.26378pt x 51.24359pt. Overfull \hbox (40.404pt too wide) in paragraph at lines 299--299 $[]$ [] [1 <./pagei.png>] Missing character: There is no é in font cmr10! Missing character: There is no é in font cmr10! Missing character: There is no ½ in font cmr10! Missing character: There is no é in font cmr10! Missing character: There is no é in font cmr10! Missing character: There is no é in font cmr10! [2] (./intro.tex [3]) (./system.tex [4] [5]) (./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]) (./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-tia l 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/1 0 (\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] (./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]) (./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-01-12 12:31:03 (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-01-12 12:31:04 (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 in put 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-01-12 12:31:04 (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 (t ype 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 <./figures/response_time_copy2-eps-converted-to.pdf> <./figures/overhead_c opy2-eps-converted-to.pdf> <./figures/stabilization_time_log_copy2-eps-converte d-to.pdf>] Overfull \hbox (1.09877pt too wide) in paragraph at lines 81--81 []|\OT1/cmr/m/n/10 Bangalore| [] ) (./literature.tex [21]) (./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]) (./conclusion.tex) (./tree-bib.tex [23]) [24] File: pagei.png Graphic file (type png) Package pdftex.def Info: pagei.png used on input line 380. (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 380. (pdftex.def) Requested size: 142.26378pt x 51.24359pt. pdfTeX warning (ext4): destination with the same identifier (name{page.24}) has been already used, duplicate ignored \relax l.380 \end{document} [24 ] Package atveryend Info: Empty hook `BeforeClearDocument' on input line 380. Package atveryend Info: Empty hook `AfterLastShipout' on input line 380. (./RR-9395.aux) Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 380. Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 380. Package rerunfilecheck Info: File `RR-9395.out' has not changed. (rerunfilecheck) Checksum: 510B7EA2BFC8BF475C3B1CAA4881ECA7;2334. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 380. ) Here is how much of TeX's memory you used: 34558 strings out of 492995 678998 string characters out of 6132705 755473 words of memory out of 5000000 37395 multiletter control sequences out of 15000+600000 37117 words of font info for 95 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 55i,27n,63p,10379b,2244s stack positions out of 5000i,500n,10000p,200000b,80000s {/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 RR-9395.pdf (27 pages, 855085 bytes). PDF statistics: 816 PDF objects out of 1000 (max. 8388607) 634 compressed objects within 7 object streams 176 named destinations out of 1000 (max. 500000) 299 words of extra memory for PDF output out of 10000 (max. 10000000)