aboutsummaryrefslogtreecommitdiffstats
path: root/doc/Proposition initiale.log
diff options
context:
space:
mode:
Diffstat (limited to 'doc/Proposition initiale.log')
-rw-r--r--doc/Proposition initiale.log1369
1 files changed, 1369 insertions, 0 deletions
diff --git a/doc/Proposition initiale.log b/doc/Proposition initiale.log
new file mode 100644
index 0000000..ef24360
--- /dev/null
+++ b/doc/Proposition initiale.log
@@ -0,0 +1,1369 @@
+This is LuaTeX, Version beta-0.80.0 (TeX Live 2015/Arch Linux) (rev 5238) (format=lualatex 2016.1.13) 20 APR 2016 13:03
+ \write18 enabled.
+**"Proposition initiale.tex"
+("./Proposition initiale.tex"
+LaTeX2e <2015/10/01> patch level 2
+Babel <3.9n> and hyphenation patterns for 79 languages loaded.
+(/usr/local/share/texmf/tex/latex/base/article.cls
+Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
+(/usr/local/share/texmf/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/share/texmf-dist/tex/lualatex/luatextra/luatextra.sty
+Package: luatextra 2010/10/10 v1.0 Loading usual LuaLaTeX packages
+
+(/usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty
+Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
+Package ifluatex Info: LuaTeX detected.
+)
+(/usr/local/share/texmf/tex/latex/fontspec/fontspec.sty
+(/usr/local/share/texmf/tex/latex/l3kernel/expl3.sty
+Package: expl3 2016/03/28 v6468 L3 programming layer (loader)
+
+(/usr/local/share/texmf/tex/latex/l3kernel/expl3-code.tex
+Package: expl3 2016/03/28 v6468 L3 programming layer (code)
+L3 Module: l3bootstrap 2016/02/12 v6412 L3 Bootstrap code
+\ucharcat@table=\catcodetable5
+L3 Module: l3names 2016/03/11 v6433 L3 Namespace for primitives
+L3 Module: l3basics 2015/11/22 v6315 L3 Basic definitions
+L3 Module: l3expan 2015/09/10 v5983 L3 Argument expansion
+L3 Module: l3tl 2016/03/26 v6465 L3 Token lists
+L3 Module: l3str 2016/03/24 v6441 L3 Strings
+L3 Module: l3seq 2015/08/05 v5777 L3 Sequences and stacks
+L3 Module: l3int 2016/03/24 v6441 L3 Integers
+\c_max_int=\count87
+\l_tmpa_int=\count88
+\l_tmpb_int=\count89
+\g_tmpa_int=\count90
+\g_tmpb_int=\count91
+L3 Module: l3quark 2015/08/17 v5855 L3 Quarks
+L3 Module: l3prg 2015/11/01 v6216 L3 Control structures
+\g__prg_map_int=\count92
+L3 Module: l3clist 2015/09/02 v5901 L3 Comma separated lists
+L3 Module: l3token 2016/03/26 v6465 L3 Experimental token manipulation
+L3 Module: l3prop 2016/01/05 v6366 L3 Property lists
+L3 Module: l3msg 2016/03/26 v6464 L3 Messages
+L3 Module: l3file 2016/03/25 v6458 L3 File and I/O operations
+\l_iow_line_count_int=\count93
+\l__iow_target_count_int=\count94
+\l__iow_current_line_int=\count95
+\l__iow_current_word_int=\count96
+\l__iow_current_indentation_int=\count97
+L3 Module: l3skip 2016/01/05 v6366 L3 Dimensions and skips
+\c_zero_dim=\dimen103
+\c_max_dim=\dimen104
+\l_tmpa_dim=\dimen105
+\l_tmpb_dim=\dimen106
+\g_tmpa_dim=\dimen107
+\g_tmpb_dim=\dimen108
+\c_zero_skip=\skip43
+\c_max_skip=\skip44
+\l_tmpa_skip=\skip45
+\l_tmpb_skip=\skip46
+\g_tmpa_skip=\skip47
+\g_tmpb_skip=\skip48
+\c_zero_muskip=\muskip10
+\c_max_muskip=\muskip11
+\l_tmpa_muskip=\muskip12
+\l_tmpb_muskip=\muskip13
+\g_tmpa_muskip=\muskip14
+\g_tmpb_muskip=\muskip15
+L3 Module: l3keys 2015/11/17 v6284 L3 Key-value interfaces
+\g__keyval_level_int=\count98
+\l_keys_choice_int=\count99
+L3 Module: l3fp 2016/03/26 v6465 L3 Floating points
+\c__fp_leading_shift_int=\count100
+\c__fp_middle_shift_int=\count101
+\c__fp_trailing_shift_int=\count102
+\c__fp_big_leading_shift_int=\count103
+\c__fp_big_middle_shift_int=\count104
+\c__fp_big_trailing_shift_int=\count105
+\c__fp_Bigg_leading_shift_int=\count106
+\c__fp_Bigg_middle_shift_int=\count107
+\c__fp_Bigg_trailing_shift_int=\count108
+L3 Module: l3box 2015/08/09 v5822 L3 Experimental boxes
+\c_empty_box=\box26
+\l_tmpa_box=\box27
+\l_tmpb_box=\box28
+\g_tmpa_box=\box29
+\g_tmpb_box=\box30
+L3 Module: l3coffins 2016/03/24 v6440 L3 Coffin code layer
+\l__coffin_internal_box=\box31
+\l__coffin_internal_dim=\dimen109
+\l__coffin_offset_x_dim=\dimen110
+\l__coffin_offset_y_dim=\dimen111
+\l__coffin_x_dim=\dimen112
+\l__coffin_y_dim=\dimen113
+\l__coffin_x_prime_dim=\dimen114
+\l__coffin_y_prime_dim=\dimen115
+\c_empty_coffin=\box32
+\l__coffin_aligned_coffin=\box33
+\l__coffin_aligned_internal_coffin=\box34
+\l_tmpa_coffin=\box35
+\l_tmpb_coffin=\box36
+\l__coffin_display_coffin=\box37
+\l__coffin_display_coord_coffin=\box38
+\l__coffin_display_pole_coffin=\box39
+\l__coffin_display_offset_dim=\dimen116
+\l__coffin_display_x_dim=\dimen117
+\l__coffin_display_y_dim=\dimen118
+L3 Module: l3color 2014/08/23 v5354 L3 Experimental color support
+L3 Module: l3sys 2015/09/25 v6087 L3 Experimental system/runtime functions
+L3 Module: l3candidates 2016/03/25 v6456 L3 Experimental additions to l3kernel
+\l__box_top_dim=\dimen119
+\l__box_bottom_dim=\dimen120
+\l__box_left_dim=\dimen121
+\l__box_right_dim=\dimen122
+\l__box_top_new_dim=\dimen123
+\l__box_bottom_new_dim=\dimen124
+\l__box_left_new_dim=\dimen125
+\l__box_right_new_dim=\dimen126
+\l__box_internal_box=\box40
+\l__coffin_bounding_shift_dim=\dimen127
+\l__coffin_left_corner_dim=\dimen128
+\l__coffin_right_corner_dim=\dimen129
+\l__coffin_bottom_corner_dim=\dimen130
+\l__coffin_top_corner_dim=\dimen131
+\l__coffin_scaled_total_height_dim=\dimen132
+\l__coffin_scaled_width_dim=\dimen133
+L3 Module: l3luatex 2016/03/26 v6465 L3 Experimental LuaTeX-specific functions
+)
+(/usr/local/share/texmf/tex/latex/l3kernel/l3pdfmode.def
+File: l3pdfmode.def 2016/03/26 v6465 L3 Experimental driver: PDF mode
+\l__driver_color_stack_int=\count109
+))
+(/usr/local/share/texmf/tex/latex/l3packages/xparse/xparse.sty
+Package: xparse 2016/03/28 v6468 L3 Experimental document command parser
+\l__xparse_current_arg_int=\count110
+\l__xparse_m_args_int=\count111
+\l__xparse_mandatory_args_int=\count112
+\l__xparse_processor_int=\count113
+\l__xparse_v_nesting_int=\count114
+)
+Package: fontspec 2016/02/01 v2.5a Font selection for XeLaTeX and LuaLaTeX
+
+(/usr/local/share/texmf/tex/luatex/luaotfload/luaotfload.sty
+Package: luaotfload 2015/12/09 v2.6 OpenType layout system
+Lua module: luaotfload-main 2015/12/09 2.60001 OpenType layout system.
+Lua module: lualibs 2015-12-02 2.3 ConTeXt Lua standard libraries.
+Lua module: lualibs-extended 2015-12-02 2.3 ConTeXt Lua libraries -- extended co
+llection.(using write cache: /home/piernov/.texlive/texmf-var/luatex-cache/gener
+ic)(using read cache: /var/lib/texmf/luatex-cache/generic /home/piernov/.texlive
+/texmf-var/luatex-cache/generic)
+luaotfload | conf : Root cache directory is /home/piernov/.texlive/texmf-var/lua
+tex-cache/generic/names.
+luaotfload | init : Loading fontloader “fontloader-2016-02-12.lua” from kpse
+-resolved path “/usr/local/share/texmf/tex/luatex/luaotfload/fontloader-2016-0
+2-12.lua”.
+Lua-only attribute luaotfload@state = 1
+Lua-only attribute luaotfload@cursbase = 2
+Lua-only attribute luaotfload@noligature = 3
+luaotfload | init : Context OpenType loader version “2.82”
+Inserting `luaotfload.node_processor' at position 1 in `pre_linebreak_filter'.
+Inserting `luaotfload.node_processor' at position 1 in `hpack_filter'.
+Inserting `luaotfload.define_font' at position 1 in `define_font'.
+Lua-only attribute luaotfload_color_attribute = 4
+luaotfload | conf : Root cache directory is /home/piernov/.texlive/texmf-var/lua
+tex-cache/generic/names.
+Inserting `luaotfload.aux.set_sscale_dimens' at position 1 in `luaotfload.patch_
+font'.
+Inserting `luaotfload.aux.patch_cambria_domh' at position 2 in `luaotfload.patch
+_font'.
+Inserting `luaotfload.aux.fixup_fontdata' at position 1 in `luaotfload.patch_fon
+t_unsafe'.
+Inserting `luaotfload.aux.set_capheight' at position 3 in `luaotfload.patch_font
+'.
+Inserting `luaotfload.rewrite_fontname' at position 4 in `luaotfload.patch_font'
+.
+luaotfload | main : initialization completed in 0.160 seconds)
+Lua module: fontspec 2016/02/01 2.5a Advanced font selection for LuaLaTeX. (/us
+r/local/share/texmf/tex/latex/fontspec/fontspec-luatex.sty
+Package: fontspec-luatex 2016/02/01 v2.5a Font selection for XeLaTeX and LuaLaTe
+X
+\l_fontspec_script_int=\count115
+\l_fontspec_language_int=\count116
+\l_fontspec_strnum_int=\count117
+\l__fontspec_tmpa_dim=\dimen134
+\l__fontspec_tmpb_dim=\dimen135
+\l__fontspec_tmpc_dim=\dimen136
+\g__file_internal_ior=\read1
+
+(/usr/local/share/texmf/tex/latex/base/fontenc.sty
+Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
+
+(/usr/share/texmf-dist/tex/latex/euenc/eu2enc.def
+File: eu2enc.def 2010/05/27 v0.1h Experimental Unicode font encodings
+)
+LaTeX Font Info: Try loading font information for EU2+lmr on input line 105.
+
+(/usr/share/texmf-dist/tex/latex/euenc/eu2lmr.fd
+File: eu2lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
+)
+luaotfload | db : Font names database loaded from /home/piernov/.texlive/texmf-v
+ar/luatex-cache/generic/names/luaotfload-names.luc(compiling luc: /var/lib/texmf
+/luatex-cache/generic/fonts/otf/lmroman10-regular.luc)(load luc: /home/piernov/.
+texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman10-regular.luc))
+(/usr/share/texmf-dist/tex/xelatex/xunicode/xunicode.sty
+File: xunicode.sty 2011/09/09 v0.981 provides access to latin accents and many o
+ther characters in Unicode lower plane
+
+(/usr/share/texmf-dist/tex/latex/tipa/t3enc.def
+File: t3enc.def 2001/12/31 T3 encoding
+(compiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmromanslant10-reg
+ular.luc)(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/
+otf/lmromanslant10-regular.luc)(compiling luc: /var/lib/texmf/luatex-cache/gener
+ic/fonts/otf/lmroman10-italic.luc)(load luc: /home/piernov/.texlive/texmf-var/lu
+atex-cache/generic/fonts/otf/lmroman10-italic.luc)(compiling luc: /var/lib/texmf
+/luatex-cache/generic/fonts/otf/lmroman10-bold.luc)(load luc: /home/piernov/.tex
+live/texmf-var/luatex-cache/generic/fonts/otf/lmroman10-bold.luc)
+LaTeX Font Info: Try loading font information for EU2+lmss on input line 357.
+
+
+(/usr/share/texmf-dist/tex/latex/euenc/eu2lmss.fd
+File: eu2lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern
+)(compiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmsans10-regular.
+luc)(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/l
+msans10-regular.luc))
+\tipaTiiicode=\count118
+\tipasavetokens=\toks14
+\tipachecktokens=\toks15
+
+(/usr/local/share/texmf/tex/latex/graphics/graphicx.sty
+Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
+
+(/usr/local/share/texmf/tex/latex/graphics/keyval.sty
+Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
+\KV@toks@=\toks16
+)
+(/usr/local/share/texmf/tex/latex/graphics/graphics.sty
+Package: graphics 2016/01/03 v1.0q Standard LaTeX Graphics (DPC,SPQR)
+
+(/usr/local/share/texmf/tex/latex/graphics/trig.sty
+Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
+)
+(/usr/share/texmf-dist/tex/latex/latexconfig/graphics.cfg
+File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
+)
+Package graphics Info: Driver file: pdftex.def on input line 95.
+
+(/usr/share/texmf-dist/tex/latex/pdftex-def/pdftex.def
+File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
+
+(/usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty
+Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
+)
+(/usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
+Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
+)
+\Gread@gobject=\count119
+))
+\Gin@req@height=\dimen137
+\Gin@req@width=\dimen138
+))
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \__fontspec_post_arg:w with sig. 'mmO{}' on line 356.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \fontspec with sig. 'om' on line 358.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setmainfont with sig. 'om' on line 368.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setsansfont with sig. 'om' on line 378.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setmonofont with sig. 'om' on line 388.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setmathrm with sig. 'om' on line 402.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setboldmathrm with sig. 'om' on line 410.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setmathsf with sig. 'om' on line 418.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setmathtt with sig. 'om' on line 426.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \newfontfamily with sig. 'mom' on line 440.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \newfontface with sig. 'mom' on line 456.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \defaultfontfeatures with sig. 't+om' on line 470.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \addfontfeatures with sig. 'm' on line 533.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \newfontfeature with sig. 'mm' on line 544.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \newAATfeature with sig. 'mmmm' on line 552.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \newopentypefeature with sig. 'mmm' on line 560.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \aliasfontfeature with sig. 'mm' on line 581.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \aliasfontfeatureoption with sig. 'mmm' on line 590.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \newfontscript with sig. 'mm' on line 594.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \newfontlanguage with sig. 'mm' on line 598.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \DeclareFontsExtensions with sig. 'm' on line 603.
+.................................................
+\l__fontspec_tmp_int=\count120
+
+(/usr/local/share/texmf/tex/latex/fontspec/fontspec.cfg)
+LaTeX Info: Redefining \itshape on input line 2629.
+LaTeX Info: Redefining \slshape on input line 2634.
+LaTeX Info: Redefining \scshape on input line 2639.
+LaTeX Info: Redefining \upshape on input line 2644.
+\l__fontspec_em_int=\count121
+\l__fontspec_emdef_int=\count122
+LaTeX Info: Redefining \em on input line 2660.
+LaTeX Info: Redefining \emph on input line 2666.
+LaTeX Info: Redefining \- on input line 2670.
+.................................................
+. LaTeX info: "xparse/redefine-command"
+.
+. Redefining command \oldstylenums with sig. 'm' on line 2765.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \liningnums with sig. 'm' on line 2769.
+.................................................
+))
+(/usr/share/texmf-dist/tex/luatex/luatexbase/luatexbase.sty
+Package: luatexbase 2015/10/04 v1.3 luatexbase interface to LuaTeX
+
+(/usr/share/texmf-dist/tex/luatex/ctablestack/ctablestack.sty
+Package: ctablestack 2015/10/01 v1.0 Catcode table stable support
+\@catcodetablestackcnt=\count123
+)
+\CatcodeTableOther=\catcodetable6
+\CatcodeTableExpl=\catcodetable7
+)
+(/usr/share/texmf-dist/tex/latex/metalogo/metalogo.sty
+Package: metalogo 2010/05/29 v0.12 Extended TeX logo macros
+
+(/usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty
+Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
+)
+\xl@everylogo=\toks17
+\xl@@everylogo=\toks18
+LaTeX Info: Redefining \TeX on input line 193.
+LaTeX Info: Redefining \LaTeX on input line 202.
+LaTeX Info: Redefining \LaTeXe on input line 219.
+)
+(/usr/share/texmf-dist/tex/lualatex/luacode/luacode.sty
+Package: luacode 2012/01/23 v1.2a lua-in-tex helpers (mpg)
+\luacode@lines=\toks19
+\luacode@table@soft=\catcodetable8
+)
+(/usr/local/share/texmf/tex/latex/base/fixltx2e.sty
+Package: fixltx2e 2015/06/22 v2.0b fixes to LaTeX (obsolete)
+
+
+Package fixltx2e Warning: fixltx2e is not required with releases after 2015
+(fixltx2e) All fixes are now in the LaTeX kernel.
+(fixltx2e) See the latexrelease package for details.
+
+)) (/usr/local/share/texmf/tex/latex/polyglossia/polyglossia.sty
+Package: polyglossia 2015/03/25 v1.42.4 Alternative to Babel for XeLaTeX and Lua
+LaTeX
+
+(/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty
+Package: etoolbox 2015/08/02 v2.2a e-TeX tools for LaTeX (JAW)
+\etb@tempcnta=\count124
+)
+(/usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty
+Package: makecmds 2009/09/03 v1.0a extra command making commands
+)
+(/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty
+Package: xkeyval 2014/12/03 v2.7a package option processing (HA)
+
+(/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex
+(/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex
+\XKV@toks=\toks20
+\XKV@tempa@toks=\toks21
+)
+\XKV@depth=\count125
+File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA)
+))
+luatex-hyphen: using data file: /usr/local/share/texmf/tex/generic/config/langua
+ge.dat.lua
+Lua module: polyglossia 2013/05/11 1.3 Polyglossia)
+(/usr/share/texmf-dist/tex/generic/ulem/ulem.sty
+\UL@box=\box41
+\UL@hyphenbox=\box42
+\UL@skip=\skip49
+\UL@hook=\toks22
+\UL@height=\dimen139
+\UL@pe=\count126
+\UL@pixel=\dimen140
+\ULC@box=\box43
+Package: ulem 2012/05/18
+\ULdepth=\dimen141
+)
+(/usr/share/texmf-dist/tex/latex/framed/framed.sty
+Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks
+\OuterFrameSep=\skip50
+\fb@frw=\dimen142
+\fb@frh=\dimen143
+\FrameRule=\dimen144
+\FrameSep=\dimen145
+)
+(/usr/local/share/texmf/tex/latex/graphics/color.sty
+Package: color 2016/01/03 v1.1b Standard LaTeX Color (DPC)
+
+(/usr/share/texmf-dist/tex/latex/latexconfig/color.cfg
+File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
+)
+Package color Info: Driver file: pdftex.def on input line 143.
+)
+(/usr/share/texmf-dist/tex/latex/listings/listings.sty
+\lst@mode=\count127
+\lst@gtempboxa=\box44
+\lst@token=\toks23
+\lst@length=\count128
+\lst@currlwidth=\dimen146
+\lst@column=\count129
+\lst@pos=\count130
+\lst@lostspace=\dimen147
+\lst@width=\dimen148
+\lst@newlines=\count131
+\lst@lineno=\count132
+\lst@maxwidth=\dimen149
+
+(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty
+File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
+\c@lstnumber=\count133
+\lst@skipnumbers=\count134
+\lst@framebox=\box45
+)
+(/usr/share/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/share/texmf-dist/tex/latex/geometry/geometry.sty
+Package: geometry 2010/09/12 v5.6 Page Geometry
+
+(/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty
+Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
+Package ifpdf Info: pdfTeX in PDF mode is detected.
+)
+(/usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty
+Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
+Package ifvtex Info: VTeX not detected.
+)
+\Gm@cnth=\count135
+\Gm@cntv=\count136
+\c@Gm@tempcnt=\count137
+\Gm@bindingoffset=\dimen150
+\Gm@wd@mp=\dimen151
+\Gm@odd@mp=\dimen152
+\Gm@even@mp=\dimen153
+\Gm@layoutwidth=\dimen154
+\Gm@layoutheight=\dimen155
+\Gm@layouthoffset=\dimen156
+\Gm@layoutvoffset=\dimen157
+\Gm@dimlist=\toks24
+)
+(/usr/local/share/texmf/tex/latex/amsmath/amsmath.sty
+Package: amsmath 2016/03/10 v2.15b AMS math features
+\@mathmargin=\skip51
+
+For additional information on amsmath, use the `?' option.
+(/usr/local/share/texmf/tex/latex/amsmath/amstext.sty
+Package: amstext 2000/06/29 v2.01 AMS text
+
+(/usr/local/share/texmf/tex/latex/amsmath/amsgen.sty
+File: amsgen.sty 1999/11/30 v2.0 generic functions
+\@emptytoks=\toks25
+\ex@=\dimen158
+))
+(/usr/local/share/texmf/tex/latex/amsmath/amsbsy.sty
+Package: amsbsy 1999/11/29 v1.2d Bold Symbols
+\pmbraise@=\dimen159
+)
+(/usr/local/share/texmf/tex/latex/amsmath/amsopn.sty
+Package: amsopn 2016/03/08 v2.02 operator names
+)
+\inf@bad=\count138
+LaTeX Info: Redefining \frac on input line 199.
+\uproot@=\count139
+\leftroot@=\count140
+LaTeX Info: Redefining \overline on input line 297.
+\classnum@=\count141
+\DOTSCASE@=\count142
+LaTeX Info: Redefining \ldots on input line 394.
+LaTeX Info: Redefining \dots on input line 397.
+LaTeX Info: Redefining \cdots on input line 518.
+\Mathstrutbox@=\box46
+\strutbox@=\box47
+\big@size=\dimen160
+LaTeX Font Info: Redeclaring font encoding OML on input line 634.
+LaTeX Font Info: Redeclaring font encoding OMS on input line 635.
+\macc@depth=\count143
+\c@MaxMatrixCols=\count144
+\dotsspace@=\muskip16
+\c@parentequation=\count145
+\dspbrk@lvl=\count146
+\tag@help=\toks26
+\row@=\count147
+\column@=\count148
+\maxfields@=\count149
+\andhelp@=\toks27
+\eqnshift@=\dimen161
+\alignsep@=\dimen162
+\tagshift@=\dimen163
+\tagwidth@=\dimen164
+\totwidth@=\dimen165
+\lineht@=\dimen166
+\@envbody=\toks28
+\multlinegap=\skip52
+\multlinetaggap=\skip53
+\mathdisplay@stack=\toks29
+LaTeX Info: Redefining \[ on input line 2739.
+LaTeX Info: Redefining \] on input line 2740.
+)
+(/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty
+Package: unicode-math 2015/09/24 v0.8c Unicode maths in XeLaTeX and LuaLaTeX
+
+(/usr/local/share/texmf/tex/latex/ucharcat/ucharcat.sty
+Package: ucharcat 2015/11/19 v0.03 ucharcat for luaLaTeX (DPC)
+\ucharcat@table=\catcodetable9
+)
+(/usr/local/share/texmf/tex/latex/l3packages/l3keys2e/l3keys2e.sty
+Package: l3keys2e 2016/03/28 v6468 LaTeX2e option processing using LaTeX3 keys
+)
+(/usr/local/share/texmf/tex/latex/base/fix-cm.sty
+Package: fix-cm 2015/01/14 v1.1t fixes to LaTeX
+
+(/usr/local/share/texmf/tex/latex/base/ts1enc.def
+File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
+))
+(/usr/share/texmf-dist/tex/latex/filehook/filehook.sty
+Package: filehook 2011/10/12 v0.5d Hooks for input files
+)
+\g__um_fam_int=\count150
+\g__um_primekern_muskip=\muskip17
+\l__um_primecount_int=\count151
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \unimathsetup with sig. 'm' on line 168.
+.................................................
+
+(/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-luatex.sty
+(/usr/local/share/texmf/tex/lualatex/lualatex-math/lualatex-math.sty
+Package: lualatex-math 2015/09/22 v1.5 Patches for mathematics typesetting with
+LuaLaTeX
+Lua module: lualatex-math 2013/08/03 1.3 Patches for mathematics typesetting wit
+h LuaLaTeX
+.................................................
+. lualatex-math info: "patch-macro"
+.
+. I'm going to patch macro \subarray.
+.................................................
+.................................................
+. lualatex-math info: "patch-macro"
+.
+. I'm going to patch macro \frac .
+.................................................
+.................................................
+. lualatex-math info: "patch-macro"
+.
+. I'm going to patch macro \@genfrac.
+.................................................
+
+*************************************************
+* lualatex-math warning: "wrong-meaning"
+*
+* I've expected \newmcodes@ to have the meaning
+* macro:->\mathcode `\'39\mathcode `\*42\mathcode `\."613A\ifnum \mathcode
+* `\-=45 \else \mathchardef \std@minus \mathcode `\-\relax \fi \mathcode
+* `\-45\mathcode `\/47\mathcode `\: "603A\relax ,
+* but it has the meaning
+* macro:->\mathcode `\'39\mathcode `\*42\mathcode `\."613A\ifnum \Umathcodenum
+* `\-=45 \else \Umathcharnumdef \std@minus \Umathcodenum `\-\relax \fi
+* \mathcode `\-45\mathcode `\/47\mathcode `\: "603A\relax .
+*************************************************
+)
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setmathfontface with sig. 'mO{}mO{}' on line 167.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setoperatorfont with sig. 'm' on line 171.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \setmathfont with sig. 'O{}mO{}' on line 280.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \addnolimits with sig. 'm' on line 523.
+.................................................
+.................................................
+. LaTeX info: "xparse/define-command"
+.
+. Defining command \removenolimits with sig. 'm' on line 527.
+.................................................
+ (/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex)
+.................................................
+. unicode-math info: "patch-macro"
+.
+. I'm going to patch macro \plainroot@.
+.................................................
+.................................................
+. unicode-math info: "patch-macro"
+.
+. I'm going to patch macro \r@@t.
+.................................................
+))
+(/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
+Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
+
+(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
+Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
+
+(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
+Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
+Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
+Package hobsub Info: Skipping package `infwarerr' (already loaded).
+Package hobsub Info: Skipping package `ltxcmds' (already loaded).
+Package hobsub Info: Skipping package `ifluatex' (already loaded).
+Package hobsub Info: Skipping package `ifvtex' (already loaded).
+Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
+Package hobsub Info: Skipping package `ifpdf' (already loaded).
+Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
+Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
+Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
+Package: luatex-loader 2010/03/09 v0.4 Lua module loader (HO)
+
+(/usr/share/texmf-dist/scripts/oberdiek/oberdiek.luatex.lua)
+Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO)
+
+Package pdftexcmds Info: \pdf@primitive is available.
+Package pdftexcmds Info: \pdf@ifprimitive is available.
+Package pdftexcmds Info: \pdfdraftmode found.
+\pdftexcmds@toks=\toks30
+Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
+Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO)
+
+Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
+Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
+)
+Package hobsub Info: Skipping package `hobsub' (already loaded).
+Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
+Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
+Package: xcolor-patch 2011/01/30 xcolor patch
+Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
+Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
+Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
+Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
+)
+(/usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty
+Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
+)
+(/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty
+Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
+)
+\@linkdim=\dimen167
+\Hy@linkcounter=\count152
+\Hy@pagecounter=\count153
+
+(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
+File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
+)
+\Hy@SavedSpaceFactor=\count154
+
+(/usr/share/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 4443.
+Package hyperref Info: Link nesting OFF on input line 4448.
+Package hyperref Info: Hyper index ON on input line 4451.
+Package hyperref Info: Plain pages OFF on input line 4458.
+Package hyperref Info: Backreferencing OFF on input line 4463.
+Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
+Package hyperref Info: Bookmarks ON on input line 4688.
+\c@Hy@tempcnt=\count155
+
+(/usr/share/texmf-dist/tex/latex/url/url.sty
+\Urlmuskip=\muskip18
+Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
+)
+LaTeX Info: Redefining \url on input line 5041.
+\XeTeXLinkMargin=\dimen168
+\Fld@menulength=\count156
+\Field@Width=\dimen169
+\Fld@charsize=\dimen170
+Package hyperref Info: Hyper figures OFF on input line 6295.
+Package hyperref Info: Link nesting OFF on input line 6300.
+Package hyperref Info: Hyper index ON on input line 6303.
+Package hyperref Info: backreferencing OFF on input line 6310.
+Package hyperref Info: Link coloring OFF on input line 6315.
+Package hyperref Info: Link coloring with OCG OFF on input line 6320.
+Package hyperref Info: PDF/A mode OFF on input line 6325.
+LaTeX Info: Redefining \ref on input line 6365.
+LaTeX Info: Redefining \pageref on input line 6369.
+\Hy@abspage=\count157
+\c@Item=\count158
+\c@Hfootnote=\count159
+)
+
+Package hyperref Message: Driver (autodetected): hpdftex.
+
+(/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
+File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
+\Fld@listcount=\count160
+\c@bookmark@seq@number=\count161
+
+(/usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
+Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
+Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 28
+2.
+)
+\Hy@SectionHShift=\skip54
+)
+(/usr/share/texmf-dist/tex/latex/svg/svg.sty
+Package: svg 2012/09/05 v1.0 SVG inclusion and extraction
+
+(/usr/share/texmf-dist/tex/latex/subfig/subfig.sty
+Package: subfig 2005/06/28 ver: 1.3 subfig package
+
+(/usr/local/share/texmf/tex/latex/caption/caption.sty
+Package: caption 2016/02/21 v3.3-144 Customizing captions (AR)
+
+(/usr/local/share/texmf/tex/latex/caption/caption3.sty
+Package: caption3 2016/02/04 v1.7-139 caption3 kernel (AR)
+Package caption3 Info: TeX engine: e-TeX on input line 67.
+\captionmargin=\dimen171
+\captionmargin@=\dimen172
+\captionwidth=\dimen173
+\caption@tempdima=\dimen174
+\caption@indent=\dimen175
+\caption@parindent=\dimen176
+\caption@hangindent=\dimen177
+)
+\c@ContinuedFloat=\count162
+Package caption Info: hyperref package is loaded.
+Package caption Info: listings package is loaded.
+)
+\c@KVtest=\count163
+\sf@farskip=\skip55
+\sf@captopadj=\dimen178
+\sf@capskip=\skip56
+\sf@nearskip=\skip57
+\c@subfigure=\count164
+\c@subfigure@save=\count165
+\c@lofdepth=\count166
+\c@subtable=\count167
+\c@subtable@save=\count168
+\c@lotdepth=\count169
+\sf@top=\skip58
+\sf@bottom=\skip59
+)
+(/usr/share/texmf-dist/tex/latex/import/import.sty
+Package: import 2009/03/23 v 5.1
+)
+(/usr/share/texmf-dist/tex/latex/oberdiek/transparent.sty
+Package: transparent 2007/01/08 v1.0 Transparency via pdfTeX's color stack (HO)
+)
+(/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty
+Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
+
+(/usr/share/texmf-dist/tex/latex/latexconfig/color.cfg
+File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
+)
+Package xcolor Info: Driver file: pdftex.def on input line 225.
+LaTeX Info: Redefining \color on input line 702.
+Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
+Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
+Package xcolor Info: Model `RGB' extended on input line 1353.
+Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
+Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
+Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
+Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
+Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
+Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
+)
+\SVG@out@width=\skip60
+\SVG@out@height=\skip61
+\c@svgfigure=\count170
+)
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:(compiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/xits-math.lu
+c)(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/xit
+s-math.luc)
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+\g__fontspec_family_xits-math.otf_int=\count171
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | aux : font no 23 (XITSMath) does not define feature smcp for script
+ math with language dflt
+luaotfload | aux : no font with id 23
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+.................................................
+. fontspec info: "defining-font"
+.
+. Font family 'xits-math.otf(0)' created for font 'xits-math.otf' with options
+. [Renderer=Basic,BoldItalicFont={},ItalicFont={},Script=Math,SizeFeatures={{Siz
+e=10-},{Size=7-10,Font=xits-math.otf,Style=MathScript},{Size=-7,Font=xits-math.o
+tf,Style=MathScriptScript}}].
+.
+. This font family consists of the following NFSS series/shapes:
+. - 'normal' (m/n) with NFSS spec.:
+. <10->"[xits-math]:mode=base;script=math;language=DFLT;"<7-10>"[xits-math]:mode
+=base;script=math;language=DFLT;+ssty=0;"<-7>"[xits-math]:mode=base;script=math;
+language=DFLT;+ssty=1;"
+. - 'small caps' (m/sc) with NFSS spec.:
+.................................................
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+LaTeX Font Info: Encoding `OT1' has changed to `EU2' for symbol font
+(Font) `operators' in the math version `normal' on input line 23.
+LaTeX Font Info: Overwriting symbol font `operators' in version `normal'
+(Font) OT1/cmr/m/n --> EU2/xits-math.otf(0)/m/n on input line 2
+3.
+LaTeX Font Info: Encoding `OT1' has changed to `EU2' for symbol font
+(Font) `operators' in the math version `bold' on input line 23.
+LaTeX Font Info: Overwriting symbol font `operators' in version `bold'
+(Font) OT1/cmr/bx/n --> EU2/xits-math.otf(0)/bx/n on input line
+ 23.
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | aux : font no 23 (XITSMath) does not define feature smcp for script
+ math with language dflt
+luaotfload | aux : no font with id 23
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+.................................................
+. fontspec info: "defining-font"
+.
+. Font family 'xits-math.otf(1)' created for font 'xits-math.otf' with options
+. [Renderer=Basic,BoldItalicFont={},ItalicFont={},Script=Math,SizeFeatures={{Siz
+e=10-},{Size=7-10,Font=xits-math.otf,Style=MathScript},{Size=-7,Font=xits-math.o
+tf,Style=MathScriptScript}},Scale=1.00001,FontAdjustment={\fontdimen
+. 8\font =380108.8sp\relax \fontdimen 9\font =314572.8sp\relax \fontdimen
+. 10\font =314572.8sp\relax \fontdimen 11\font =458752sp\relax \fontdimen
+. 12\font =314572.8sp\relax \fontdimen 13\font =262144sp\relax \fontdimen
+. 14\font =262144sp\relax \fontdimen 15\font =180224sp\relax \fontdimen
+. 16\font =163840sp\relax \fontdimen 17\font =0sp\relax \fontdimen 18\font
+. =245760sp\relax \fontdimen 19\font =32768sp\relax \fontdimen 20\font
+. =0pt\relax \fontdimen 21\font =0pt\relax \fontdimen 22\font =163840sp\relax
+. }].
+.
+. This font family consists of the following NFSS series/shapes:
+. - 'normal' (m/n) with NFSS spec.:
+. <10->s*[1.00001]"[xits-math]:mode=base;script=math;language=DFLT;"<7-10>s*[1.0
+0001]"[xits-math]:mode=base;script=math;language=DFLT;+ssty=0;"<-7>s*[1.00001]"[
+xits-math]:mode=base;script=math;language=DFLT;+ssty=1;"
+. - 'small caps' (m/sc) with NFSS spec.:
+. and font adjustment code:
+. \fontdimen 8\font =380108.8sp\relax \fontdimen 9\font =314572.8sp\relax
+. \fontdimen 10\font =314572.8sp\relax \fontdimen 11\font =458752sp\relax
+. \fontdimen 12\font =314572.8sp\relax \fontdimen 13\font =262144sp\relax
+. \fontdimen 14\font =262144sp\relax \fontdimen 15\font =180224sp\relax
+. \fontdimen 16\font =163840sp\relax \fontdimen 17\font =0sp\relax \fontdimen
+. 18\font =245760sp\relax \fontdimen 19\font =32768sp\relax \fontdimen 20\font
+. =0pt\relax \fontdimen 21\font =0pt\relax \fontdimen 22\font =163840sp\relax
+.................................................
+LaTeX Font Info: Encoding `OMS' has changed to `EU2' for symbol font
+(Font) `symbols' in the math version `normal' on input line 23.
+LaTeX Font Info: Overwriting symbol font `symbols' in version `normal'
+(Font) OMS/cmsy/m/n --> EU2/xits-math.otf(1)/m/n on input line
+23.
+LaTeX Font Info: Encoding `OMS' has changed to `EU2' for symbol font
+(Font) `symbols' in the math version `bold' on input line 23.
+LaTeX Font Info: Overwriting symbol font `symbols' in version `bold'
+(Font) OMS/cmsy/b/n --> EU2/xits-math.otf(1)/bx/n on input line
+ 23.
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+luaotfload | load : path lookup of "xits-math.otf" unsuccessful, falling back to
+ file:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | aux : font no 23 (XITSMath) does not define feature smcp for script
+ math with language dflt
+luaotfload | aux : no font with id 23
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+.................................................
+. fontspec info: "defining-font"
+.
+. Font family 'xits-math.otf(2)' created for font 'xits-math.otf' with options
+. [Renderer=Basic,BoldItalicFont={},ItalicFont={},Script=Math,SizeFeatures={{Siz
+e=10-},{Size=7-10,Font=xits-math.otf,Style=MathScript},{Size=-7,Font=xits-math.o
+tf,Style=MathScriptScript}},Scale=0.99999,FontAdjustment={\fontdimen
+. 8\font =43253.76sp\relax \fontdimen 9\font =98304sp\relax \fontdimen 10\font
+. =98304sp\relax \fontdimen 11\font =196608sp\relax \fontdimen 12\font
+. =393216sp\relax \fontdimen 13\font =0pt\relax }].
+.
+. This font family consists of the following NFSS series/shapes:
+. - 'normal' (m/n) with NFSS spec.:
+. <10->s*[0.99999]"[xits-math]:mode=base;script=math;language=DFLT;"<7-10>s*[0.9
+9999]"[xits-math]:mode=base;script=math;language=DFLT;+ssty=0;"<-7>s*[0.99999]"[
+xits-math]:mode=base;script=math;language=DFLT;+ssty=1;"
+. - 'small caps' (m/sc) with NFSS spec.:
+. and font adjustment code:
+. \fontdimen 8\font =43253.76sp\relax \fontdimen 9\font =98304sp\relax
+. \fontdimen 10\font =98304sp\relax \fontdimen 11\font =196608sp\relax
+. \fontdimen 12\font =393216sp\relax \fontdimen 13\font =0pt\relax
+.................................................
+LaTeX Font Info: Encoding `OMX' has changed to `EU2' for symbol font
+(Font) `largesymbols' in the math version `normal' on input line 23
+.
+LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal'
+(Font) OMX/cmex/m/n --> EU2/xits-math.otf(2)/m/n on input line
+23.
+LaTeX Font Info: Encoding `OMX' has changed to `EU2' for symbol font
+(Font) `largesymbols' in the math version `bold' on input line 23.
+LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold'
+(Font) OMX/cmex/m/n --> EU2/xits-math.otf(2)/bx/n on input line
+ 23.
+
+(/usr/local/share/texmf/tex/latex/polyglossia/gloss-french.ldf
+File: gloss-french.ldf polyglossia: module for french
+
+hyph-fr.pat.txt
+Language french was not yet loaded; created with id 6
+Language french already loaded; id is 6
+\xpg@frpt=\attribute5
+)
+Package polyglossia Info: Default language is french.
+luaotfload | cache : Lookup cache loaded from /home/piernov/.texlive/texmf-var/l
+uatex-cache/generic/names/luaotfload-lookup-cache.luc.
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+\g__fontspec_family_LatinModernRoman_int=\count172
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-bolditalic.o
+tf"(compiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmroman10-boldi
+talic.luc)(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts
+/otf/lmroman10-bolditalic.luc)
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-bold.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-italic.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-regular.otf"
+luaotfload | aux : font no 26 (LMRoman10-Regular) does not define feature smcp f
+or script latn with language dflt
+luaotfload | aux : no font with id 26
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bold.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bold.otf"
+luaotfload | aux : font no 28 (LMRoman10-Bold) does not define feature smcp for
+script latn with language dflt
+luaotfload | aux : no font with id 28
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-italic.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-italic.otf"
+luaotfload | aux : font no 29 (LMRoman10-Italic) does not define feature smcp fo
+r script latn with language dflt
+luaotfload | aux : no font with id 29
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bolditalic.otf
+"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bolditalic.otf
+"
+luaotfload | aux : font no 27 (LMRoman10-BoldItalic) does not define feature smc
+p for script latn with language dflt
+luaotfload | aux : no font with id 27
+.................................................
+. fontspec info: "defining-font"
+.
+. Font family 'LatinModernRoman(0)' created for font 'Latin Modern Roman' with
+. options [Ligatures=TeX].
+.
+. This font family consists of the following NFSS series/shapes:
+. - 'normal' (m/n) with NFSS spec.:
+. <->"LatinModernRoman:mode=node;script=latn;language=DFLT;+tlig;"
+. - 'small caps' (m/sc) with NFSS spec.: - 'bold' (bx/n) with NFSS spec.:
+. <->"LatinModernRoman/B:mode=node;script=latn;language=DFLT;+tlig;"
+. - 'bold small caps' (bx/sc) with NFSS spec.: - 'italic' (m/it) with NFSS
+. spec.: <->"LatinModernRoman/I:mode=node;script=latn;language=DFLT;+tlig;"
+. - 'italic small caps' (m/itsc) with NFSS spec.: - 'bold italic' (bx/it)
+. with NFSS spec.:
+. <->"LatinModernRoman/BI:mode=node;script=latn;language=DFLT;+tlig;"
+. - 'bold italic small caps' (bx/itsc) with NFSS spec.:
+.................................................
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-bolditalic.o
+tf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-bold.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "Latin Modern Roman" -> "lmroman10-italic.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-regular.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-regular.otf"
+luaotfload | aux : font no 26 (LMRoman10-Regular) does not define feature smcp f
+or script latn with language dflt
+luaotfload | aux : no font with id 26
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bold.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bold.otf"
+luaotfload | aux : font no 28 (LMRoman10-Bold) does not define feature smcp for
+script latn with language dflt
+luaotfload | aux : no font with id 28
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-italic.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-italic.otf"
+luaotfload | aux : font no 29 (LMRoman10-Italic) does not define feature smcp fo
+r script latn with language dflt
+luaotfload | aux : no font with id 29
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bolditalic.otf
+"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-bolditalic.otf
+"
+luaotfload | aux : font no 27 (LMRoman10-BoldItalic) does not define feature smc
+p for script latn with language dflt
+luaotfload | aux : no font with id 27
+.................................................
+. fontspec info: "defining-font"
+.
+. Font family 'LatinModernRoman(1)' created for font 'Latin Modern Roman' with
+. options [Renderer=Basic].
+.
+. This font family consists of the following NFSS series/shapes:
+. - 'normal' (m/n) with NFSS spec.:
+. <->"LatinModernRoman:mode=base;script=latn;language=DFLT;"
+. - 'small caps' (m/sc) with NFSS spec.: - 'bold' (bx/n) with NFSS spec.:
+. <->"LatinModernRoman/B:mode=base;script=latn;language=DFLT;"
+. - 'bold small caps' (bx/sc) with NFSS spec.: - 'italic' (m/it) with NFSS
+. spec.: <->"LatinModernRoman/I:mode=base;script=latn;language=DFLT;"
+. - 'italic small caps' (m/itsc) with NFSS spec.: - 'bold italic' (bx/it)
+. with NFSS spec.:
+. <->"LatinModernRoman/BI:mode=base;script=latn;language=DFLT;"
+. - 'bold italic small caps' (bx/itsc) with NFSS spec.:
+.................................................
+LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal'
+(Font) EU2/xits-math.otf(0)/m/n --> EU2/LatinModernRoman(1)/m/n
+ on input line 26.
+LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal'
+(Font) OT1/cmr/m/it --> EU2/LatinModernRoman(1)/m/it on input l
+ine 26.
+LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal'
+(Font) OT1/cmr/bx/n --> EU2/LatinModernRoman(1)/bx/n on input l
+ine 26.
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman10-regular.otf"
+(/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
+File: lstlang1.sty 2015/06/04 1.6 listings language file
+)
+(/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty
+File: lstlang1.sty 2015/06/04 1.6 listings language file
+)
+("./Proposition initiale.aux"
+luatex-hyphen: loading patterns and exceptions for: french (\language26)
+luatex-hyphen: info: no hyphenation exceptions for this language
+Language french already loaded; id is 6
+Removing `luaotfload.node_processor' from `pre_linebreak_filter'.
+Inserting `polyglossia-frpt.process' at position 1 in `pre_linebreak_filter'.
+Inserting `luaotfload.node_processor' at position 2 in `pre_linebreak_filter'.)
+\openout1 = Proposition initiale.aux
+
+LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for EU2/lmr/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for T3/cmr/m/n on input line 57.
+LaTeX Font Info: Try loading font information for T3+cmr on input line 57.
+
+(/usr/share/texmf-dist/tex/latex/tipa/t3cmr.fd
+File: t3cmr.fd 2001/12/31 TIPA font definitions
+)
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 57.
+LaTeX Font Info: ... okay on input line 57.
+
+(/usr/local/share/texmf/tex/context/base/supp-pdf.mkii
+[Loading MPS to PDF converter (version 2006.09.02).]
+\scratchcounter=\count173
+\scratchdimen=\dimen179
+\scratchbox=\box48
+\nofMPsegments=\count174
+\nofMParguments=\count175
+\everyMPshowfont=\toks31
+\MPscratchCnt=\count176
+\MPscratchDim=\dimen180
+\MPnumerator=\count177
+\makeMPintoPDFobject=\count178
+\everyMPtoPDFconversion=\toks32
+) (/usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
+Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
+
+(/usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty
+Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
+)
+Package grfext Info: Graphics extension search list:
+(grfext) [.png,.pdf,.jpg,.mps,.tif,.jpeg,.PNG,.PDF,.JPG,.JPEG,.eps]
+(grfext) \AppendGraphicsExtensions on input line 452.
+
+(/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
+
+))
+\c@lstlisting=\count179
+
+*geometry* driver: auto-detecting
+*geometry* detected driver: pdftex
+*geometry* verbose mode - [ preamble ] result:
+* driver: pdftex
+* paper: <default>
+* layout: <same size as paper>
+* layoutoffset:(h,v)=(0.0pt,0.0pt)
+* modes:
+* h-part:(L,W,R)=(72.26999pt, 469.75502pt, 72.26999pt)
+* v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt)
+* \paperwidth=614.295pt
+* \paperheight=794.96999pt
+* \textwidth=469.75502pt
+* \textheight=650.43001pt
+* \oddsidemargin=0.0pt
+* \evensidemargin=0.0pt
+* \topmargin=-37.0pt
+* \headheight=12.0pt
+* \headsep=25.0pt
+* \topskip=10.0pt
+* \footskip=30.0pt
+* \marginparwidth=65.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
+* \@twosidefalse
+* \@mparswitchfalse
+* \@reversemarginfalse
+* (1in=72.27pt=25.4mm, 1cm=28.453pt)
+
+\AtBeginShipoutBox=\box49
+Package hyperref Info: Link coloring OFF on input line 57.
+(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
+Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section
+
+(/usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
+Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
+)
+\c@section@level=\count180
+)
+LaTeX Info: Redefining \ref on input line 57.
+LaTeX Info: Redefining \pageref on input line 57.
+LaTeX Info: Redefining \nameref on input line 57.
+
+("./Proposition initiale.out") ("./Proposition initiale.out")
+\@outlinefile=\write3
+
+\openout3 = Proposition initiale.out
+Package caption Info: Begin \AtBeginDocument code.
+Package caption Info: subfig package v1.3 is loaded.
+Package caption Info: End \AtBeginDocument code.
+luatex-hyphen: loading patterns and exceptions for: french (\language26)
+luatex-hyphen: info: no hyphenation exceptions for this language
+Language french already loaded; id is 6
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman17-regular.otf"(c
+ompiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmroman17-regular.lu
+c)(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmr
+oman17-regular.luc)
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman12-regular.otf"(c
+ompiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmroman12-regular.lu
+c)(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmr
+oman12-regular.luc)
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+LaTeX Font Info: Font shape `EU2/xits-math.otf(1)/m/n' will be
+(Font) scaled to size 12.00018pt on input line 61.
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+LaTeX Font Info: Font shape `EU2/xits-math.otf(1)/m/n' will be
+(Font) scaled to size 8.00012pt on input line 61.
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+LaTeX Font Info: Font shape `EU2/xits-math.otf(1)/m/n' will be
+(Font) scaled to size 6.00009pt on input line 61.
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+LaTeX Font Info: Font shape `EU2/xits-math.otf(2)/m/n' will be
+(Font) scaled to size 11.99982pt on input line 61.
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+LaTeX Font Info: Font shape `EU2/xits-math.otf(2)/m/n' will be
+(Font) scaled to size 7.99988pt on input line 61.
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+LaTeX Font Info: Font shape `EU2/xits-math.otf(2)/m/n' will be
+(Font) scaled to size 5.99991pt on input line 61.
+luaotfload | load : path lookup of "xits-math" unsuccessful, falling back to fil
+e:
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman17-regular.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman12-bold.otf"(comp
+iling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmroman12-bold.luc)(loa
+d luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmroman12
+-bold.luc)
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman12-bold.otf"
+luaotfload | load : Lookup/name: "LatinModernRoman" -> "lmroman9-regular.otf"(co
+mpiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmroman9-regular.luc)
+(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lmrom
+an9-regular.luc)
+LaTeX Font Info: Try loading font information for EU2+lmtt on input line 65.
+
+(/usr/share/texmf-dist/tex/latex/euenc/eu2lmtt.fd
+File: eu2lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern
+)(compiling luc: /var/lib/texmf/luatex-cache/generic/fonts/otf/lmmono9-regular.l
+uc)(load luc: /home/piernov/.texlive/texmf-var/luatex-cache/generic/fonts/otf/lm
+mono9-regular.luc) [1
+
+{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
+Package atveryend Info: Empty hook `BeforeClearDocument' on input line 112.
+ [2]
+Package atveryend Info: Empty hook `AfterLastShipout' on input line 112.
+ ("./Proposition initiale.aux"
+luatex-hyphen: loading patterns and exceptions for: french (\language26)
+luatex-hyphen: info: no hyphenation exceptions for this language
+Language french already loaded; id is 6)
+Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 112.
+Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 112.
+Package rerunfilecheck Info: File `"Proposition initiale".out' has not changed.
+(rerunfilecheck) Checksum: <no file>.
+)
+
+Here is how much of LuaTeX's memory you used:
+ 27626 strings out of 494897
+ 125171,662416 words of node,token memory allocated
+ 414 words of node memory still in use:
+ 6 hlist, 2 vlist, 2 rule, 2 glue, 2 kern, 1 penalty, 12 attribute, 50 glue_sp
+ec, 7 attribute_list, 1 write nodes
+ avail lists: 1:4,2:315,3:93,4:779,5:213,6:2913,7:23,8:10,9:80,10:329
+ 30485 multiletter control sequences out of 65536+600000
+ 49 fonts using 11847627 bytes
+ 76i,6n,106p,829b,579s stack positions out of 5000i,500n,10000p,200000b,100000s
+</usr/share/texmf-dist/fonts/opentype/public/lm/lmmono9-regular.otf></usr/share/
+texmf-dist/fonts/opentype/public/lm/lmroman10-regular.otf></usr/share/texmf-dist
+/fonts/opentype/public/lm/lmroman12-bold.otf></usr/share/texmf-dist/fonts/openty
+pe/public/lm/lmroman12-regular.otf></usr/share/texmf-dist/fonts/opentype/public/
+lm/lmroman17-regular.otf>
+Output written on Proposition initiale.pdf (2 pages, 27460 bytes).
+
+PDF statistics: 89 PDF objects out of 1000 (max. 8388607)
+ 69 compressed objects within 1 object stream
+ 12 named destinations out of 1000 (max. 131072)
+ 73 words of extra memory for PDF output out of 10000 (max. 10000000)
+