main.log

**
(main.tex
LaTeX2e <2018-04-01> patch level 4
Babel <3.20> and hyphenation patterns for 84 language(s) loaded.
(/home/ayberkt/academic/thesis/report/template/template (template/settings
(report.cls
Document Class: report 2014/09/29 v1.4h Standard LaTeX document class
(size12.clo
File: size12.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
)
\c@part=\count80
\c@chapter=\count81
\c@section=\count82
\c@subsection=\count83
\c@subsubsection=\count84
\c@paragraph=\count85
\c@subparagraph=\count86
\c@figure=\count87
\c@table=\count88
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (moreverb.sty
Package: moreverb 2008/06/03 v2.3a `more' verbatim facilities
 (verbatim.sty
Package: verbatim 2014/10/28 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks14
\verbatim@line=\toks15
\verbatim@in@stream=\read1
)
\tab@position=\count89
\tab@size=\count90
\listing@line=\count91
) (amsmath.sty
Package: amsmath 2017/09/02 v2.17a AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(amstext.sty
Package: amstext 2000/06/29 v2.01 AMS text
 (amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks16
\ex@=\dimen103
)) (amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen104
) (amsopn.sty
Package: amsopn 2016/03/08 v2.02 operator names
)
\inf@bad=\count92
LaTeX Info: Redefining \frac on input line 213.
\uproot@=\count93
\leftroot@=\count94
LaTeX Info: Redefining \overline on input line 375.
\classnum@=\count95
\DOTSCASE@=\count96
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@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 712.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 713.
\macc@depth=\count97
\c@MaxMatrixCols=\count98
\dotsspace@=\muskip10
\c@parentequation=\count99
\dspbrk@lvl=\count100
\tag@help=\toks17
\row@=\count101
\column@=\count102
\maxfields@=\count103
\andhelp@=\toks18
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks19
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks20
LaTeX Info: Redefining \[ on input line 2817.
LaTeX Info: Redefining \] on input line 2818.
) (amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols

(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.
)) (amsthm.sty
Package: amsthm 2017/10/31 v2.20.4
\thm@style=\toks21
\thm@bodyfont=\toks22
\thm@headfont=\toks23
\thm@notefont=\toks24
\thm@headpunct=\toks25
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks26
) (xcolor.sty
Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
 (color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package xcolor Info: Driver file: xetex.def on input line 225.
 (xetex.def
File: xetex.def 2017/06/24 v5.0h Graphics/color driver for xetex
)
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.
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.
 (dvipsnam.def
File: dvipsnam.def 2016/06/17 v3.0m Driver-dependent file (DPC,SPQR)
)) (graphicx.sty
Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
 (keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks27
) (graphics.sty
Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)
 (trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
) (graphics.cfg
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
)
Package graphics Info: Driver file: xetex.def on input line 99.
)
\Gin@req@height=\dimen112
\Gin@req@width=\dimen113
)
(titling.sty
Package: titling 2009/09/04 v2.1d maketitle typesetting
\thanksmarkwidth=\skip49
\thanksmargin=\skip50
\droptitle=\skip51
) (unicode-math.sty (expl3.sty
Package: expl3 2018-04-30 L3 programming layer (loader) 
 (expl3-code.tex
Package: expl3 2018-04-30 L3 programming layer (code)
\c_max_int=\count104
\l_tmpa_int=\count105
\l_tmpb_int=\count106
\g_tmpa_int=\count107
\g_tmpb_int=\count108
\g__kernel_prg_map_int=\count109
\c_log_iow=\count110
\l_iow_line_count_int=\count111
\l__iow_line_target_int=\count112
\l__iow_one_indent_int=\count113
\l__iow_indent_int=\count114
\c_zero_dim=\dimen114
\c_max_dim=\dimen115
\l_tmpa_dim=\dimen116
\l_tmpb_dim=\dimen117
\g_tmpa_dim=\dimen118
\g_tmpb_dim=\dimen119
\c_zero_skip=\skip52
\c_max_skip=\skip53
\l_tmpa_skip=\skip54
\l_tmpb_skip=\skip55
\g_tmpa_skip=\skip56
\g_tmpb_skip=\skip57
\c_zero_muskip=\muskip11
\c_max_muskip=\muskip12
\l_tmpa_muskip=\muskip13
\l_tmpb_muskip=\muskip14
\g_tmpa_muskip=\muskip15
\g_tmpb_muskip=\muskip16
\l_keys_choice_int=\count115
\c__fp_leading_shift_int=\count116
\c__fp_middle_shift_int=\count117
\c__fp_trailing_shift_int=\count118
\c__fp_big_leading_shift_int=\count119
\c__fp_big_middle_shift_int=\count120
\c__fp_big_trailing_shift_int=\count121
\c__fp_Bigg_leading_shift_int=\count122
\c__fp_Bigg_middle_shift_int=\count123
\c__fp_Bigg_trailing_shift_int=\count124
\c__intarray_sp_dim=\dimen120
\g__intarray_font_int=\count125
\l__sort_length_int=\count126
\l__sort_min_int=\count127
\l__sort_top_int=\count128
\l__sort_max_int=\count129
\l__sort_true_max_int=\count130
\l__sort_block_int=\count131
\l__sort_begin_int=\count132
\l__sort_end_int=\count133
\l__sort_A_int=\count134
\l__sort_B_int=\count135
\l__sort_C_int=\count136
\l__tl_analysis_normal_int=\count137
\l__tl_analysis_index_int=\count138
\l__tl_analysis_nesting_int=\count139
\l__tl_analysis_type_int=\count140
\l__regex_internal_a_int=\count141
\l__regex_internal_b_int=\count142
\l__regex_internal_c_int=\count143
\l__regex_balance_int=\count144
\l__regex_group_level_int=\count145
\l__regex_mode_int=\count146
\c__regex_cs_in_class_mode_int=\count147
\c__regex_cs_mode_int=\count148
\l__regex_catcodes_int=\count149
\l__regex_default_catcodes_int=\count150
\c__regex_catcode_L_int=\count151
\c__regex_catcode_O_int=\count152
\c__regex_catcode_A_int=\count153
\c__regex_all_catcodes_int=\count154
\l__regex_show_lines_int=\count155
\l__regex_min_state_int=\count156
\l__regex_max_state_int=\count157
\l__regex_left_state_int=\count158
\l__regex_right_state_int=\count159
\l__regex_capturing_group_int=\count160
\l__regex_min_pos_int=\count161
\l__regex_max_pos_int=\count162
\l__regex_curr_pos_int=\count163
\l__regex_start_pos_int=\count164
\l__regex_success_pos_int=\count165
\l__regex_curr_char_int=\count166
\l__regex_curr_catcode_int=\count167
\l__regex_last_char_int=\count168
\l__regex_case_changed_char_int=\count169
\l__regex_curr_state_int=\count170
\l__regex_step_int=\count171
\l__regex_min_active_int=\count172
\l__regex_max_active_int=\count173
\l__regex_replacement_csnames_int=\count174
\l__regex_match_count_int=\count175
\l__regex_min_submatch_int=\count176
\l__regex_submatch_int=\count177
\l__regex_zeroth_submatch_int=\count178
\g__regex_trace_regex_int=\count179
\c_empty_box=\box28
\l_tmpa_box=\box29
\l_tmpb_box=\box30
\g_tmpa_box=\box31
\g_tmpb_box=\box32
\l__box_top_dim=\dimen121
\l__box_bottom_dim=\dimen122
\l__box_left_dim=\dimen123
\l__box_right_dim=\dimen124
\l__box_top_new_dim=\dimen125
\l__box_bottom_new_dim=\dimen126
\l__box_left_new_dim=\dimen127
\l__box_right_new_dim=\dimen128
\l__box_internal_box=\box33
\l__coffin_internal_box=\box34
\l__coffin_internal_dim=\dimen129
\l__coffin_offset_x_dim=\dimen130
\l__coffin_offset_y_dim=\dimen131
\l__coffin_x_dim=\dimen132
\l__coffin_y_dim=\dimen133
\l__coffin_x_prime_dim=\dimen134
\l__coffin_y_prime_dim=\dimen135
\c_empty_coffin=\box35
\l__coffin_aligned_coffin=\box36
\l__coffin_aligned_internal_coffin=\box37
\l_tmpa_coffin=\box38
\l_tmpb_coffin=\box39
\l__coffin_display_coffin=\box40
\l__coffin_display_coord_coffin=\box41
\l__coffin_display_pole_coffin=\box42
\l__coffin_display_offset_dim=\dimen136
\l__coffin_display_x_dim=\dimen137
\l__coffin_display_y_dim=\dimen138
\g__file_internal_ior=\read2
\l__coffin_bounding_shift_dim=\dimen139
\l__coffin_left_corner_dim=\dimen140
\l__coffin_right_corner_dim=\dimen141
\l__coffin_bottom_corner_dim=\dimen142
\l__coffin_top_corner_dim=\dimen143
\l__coffin_scaled_total_height_dim=\dimen144
\l__coffin_scaled_width_dim=\dimen145
) (l3xdvipdfmx.def
File: l3xdvidpfmx.def 2018-04-30 v L3 Experimental driver: xdvipdfmx
\g__driver_image_int=\count180
))
Package: unicode-math 2018/02/02 vv0.8l Unicode maths in XeLaTeX and LuaLaTeX

(unicode-math-xetex.sty
Package: unicode-math-xetex 2018/02/02 vv0.8l Unicode maths in XeLaTeX and LuaL
aTeX
 (xparse.sty
Package: xparse 2018-04-30 L3 Experimental document command parser
\l__xparse_current_arg_int=\count181
\g__xparse_grabber_int=\count182
\l__xparse_m_args_int=\count183
\l__xparse_mandatory_args_int=\count184
\l__xparse_v_nesting_int=\count185
) (l3keys2e.sty
Package: l3keys2e 2018-04-30 LaTeX2e option processing using LaTeX3 keys
) (fontspec.sty
Package: fontspec 2017/11/09 v2.6g Font selection for XeLaTeX and LuaLaTeX

(fontspec-xetex.sty
Package: fontspec-xetex 2017/11/09 v2.6g Font selection for XeLaTeX and LuaLaTe
X
\l__fontspec_script_int=\count186
\l__fontspec_language_int=\count187
\l__fontspec_strnum_int=\count188
\l__fontspec_tmp_int=\count189
\l__fontspec_em_int=\count190
\l__fontspec_emdef_int=\count191
\l__fontspec_strong_int=\count192
\l__fontspec_strongdef_int=\count193
\l__fontspec_tmpa_dim=\dimen146
\l__fontspec_tmpb_dim=\dimen147
\l__fontspec_tmpc_dim=\dimen148
 (fontenc.sty
Package: fontenc 2017/04/05 v2.0i Standard LaTeX package
 (tuenc.def
File: tuenc.def 2017/04/05 v2.0i Standard LaTeX file
LaTeX Font Info:    Redeclaring font encoding TU on input line 82.
))
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \fontspec with sig. 'O{}mO{}' on line 542.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setmainfont with sig. 'O{}mO{}' on line 546.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setsansfont with sig. 'O{}mO{}' on line 550.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setmonofont with sig. 'O{}mO{}' on line 554.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setmathrm with sig. 'O{}mO{}' on line 558.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setboldmathrm with sig. 'O{}mO{}' on line 562.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setmathsf with sig. 'O{}mO{}' on line 566.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setmathtt with sig. 'O{}mO{}' on line 570.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setromanfont with sig. 'O{}mO{}' on line 574.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newfontfamily with sig. 'mO{}mO{}' on line 578.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newfontface with sig. 'mO{}mO{}' on line 582.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \defaultfontfeatures with sig. 't+om' on line 586.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \addfontfeatures with sig. 'm' on line 590.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \addfontfeature with sig. 'm' on line 594.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newfontfeature with sig. 'mm' on line 598.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newAATfeature with sig. 'mmmm' on line 602.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newopentypefeature with sig. 'mmm' on line 606.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newICUfeature with sig. 'mmm' on line 610.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \aliasfontfeature with sig. 'mm' on line 614.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \aliasfontfeatureoption with sig. 'mmm' on line 618.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newfontscript with sig. 'mm' on line 622.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \newfontlanguage with sig. 'mm' on line 626.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \DeclareFontsExtensions with sig. 'm' on line 630.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \IfFontFeatureActiveTF with sig. 'mmm' on line 634.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \EncodingCommand with sig. 'mO{}m' on line 3632.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \EncodingAccent with sig. 'mm' on line 3638.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \EncodingSymbol with sig. 'mm' on line 3644.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \EncodingComposite with sig. 'mmm' on line 3650.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \EncodingCompositeCommand with sig. 'mmm' on line 3656.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \DeclareUnicodeEncoding with sig. 'mm' on line 3681.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \UndeclareSymbol with sig. 'm' on line 3687.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \UndeclareAccent with sig. 'm' on line 3693.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \UndeclareCommand with sig. 'm' on line 3699.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \UndeclareComposite with sig. 'mm' on line 3706.
.................................................
 (fontspec.cfg)
LaTeX Info: Redefining \itshape on input line 3891.
LaTeX Info: Redefining \slshape on input line 3896.
LaTeX Info: Redefining \scshape on input line 3901.
LaTeX Info: Redefining \upshape on input line 3906.
LaTeX Info: Redefining \em on input line 3936.
LaTeX Info: Redefining \emph on input line 3961.
LaTeX Info: Redefining \- on input line 4015.
.................................................
. LaTeX info: "xparse/redefine-command"
. 
. Redefining command \oldstylenums with sig. 'm' on line 4110.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \liningnums with sig. 'm' on line 4114.
.................................................
)) (filehook.sty
Package: filehook 2011/10/12 v0.5d Hooks for input files
)
(fix-cm.sty
Package: fix-cm 2015/01/14 v1.1t fixes to LaTeX
 (ts1enc.def
File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
))
\g__um_fam_int=\count194
\g__um_fonts_used_int=\count195
\l__um_primecount_int=\count196
\g__um_primekern_muskip=\muskip17
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \unimathsetup with sig. 'm' on line 269.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setmathfont with sig. 'O{}mO{}' on line 273.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setmathfontface with sig. 'mO{}mO{}' on line 277.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \setoperatorfont with sig. 'm' on line 282.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \addnolimits with sig. 'm' on line 287.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \removenolimits with sig. 'm' on line 291.
.................................................
 (unicode-math-table.tex)
.................................................
. unicode-math info: "patch-macro"
. 
. I'm going to patch macro \subarray.
.................................................
.................................................
. unicode-math info: "patch-macro"
. 
. I'm going to patch macro \r@@t.
.................................................
.................................................
. LaTeX info: "xparse/redefine-command"
. 
. Redefining command \not with sig. 'm' on line 3835.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \NewNegationCommand with sig. 'mm' on line 3839.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \RenewNegationCommand with sig. 'mm' on line 3843.
.................................................
)) (geometry.sty
Package: geometry 2018/03/24 v5.7 Page Geometry
 (ifpdf.sty
Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch
)
(ifvtex.sty
Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
Package ifvtex Info: VTeX not detected.
) (ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
\Gm@cnth=\count197
\Gm@cntv=\count198
\c@Gm@tempcnt=\count199
\Gm@bindingoffset=\dimen149
\Gm@wd@mp=\dimen150
\Gm@odd@mp=\dimen151
\Gm@even@mp=\dimen152
\Gm@layoutwidth=\dimen153
\Gm@layoutheight=\dimen154
\Gm@layouthoffset=\dimen155
\Gm@layoutvoffset=\dimen156
\Gm@dimlist=\toks28
) (eso-pic.sty
Package: eso-pic 2015/07/21 v2.0g eso-pic (RN)
 (atbegshi.sty
Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO)
 (infwarerr.sty
Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
)
(ltxcmds.sty
Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
))) (float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count266
\float@exts=\toks29
\float@box=\box43
\@float@everytoks=\toks30
\@floatcapt=\box44
) (lipsum.sty
Package: lipsum 2014/07/27 v1.3 150 paragraphs of Lorem Ipsum dummy text
\c@lips@count=\count267
) (datetime.sty
Package: datetime 2015/03/20 v2.60 Date Time Package
 (etoolbox.sty
Package: etoolbox 2018/02/11 v2.5e e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count268
)
(fmtcount.sty
Invalid UTF-8 byte or sequence at line 10 replaced by U+FFFD.
Invalid UTF-8 byte or sequence at line 22 replaced by U+FFFD.
Package: fmtcount 2017/12/24 v3.05
 (ifthen.sty
Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)
) (xkeyval.sty
Package: xkeyval 2014/12/03 v2.7a package option processing (HA)
 (xkeyval (xkvutils
\XKV@toks=\toks31
\XKV@tempa@toks=\toks32
)
\XKV@depth=\count269
File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA)
)) (fcprefix.sty
Invalid UTF-8 byte or sequence at line 10 replaced by U+FFFD.
Invalid UTF-8 byte or sequence at line 22 replaced by U+FFFD.
Package: fcprefix 2012/09/28

(fcnumparser.sty
Invalid UTF-8 byte or sequence at line 10 replaced by U+FFFD.
Invalid UTF-8 byte or sequence at line 22 replaced by U+FFFD.
Package: fcnumparser 2017/06/15
\fc@digit@counter=\count270
))
\c@padzeroesN=\count271
\fc@tmpcatcode=\count272
\@DT@modctr=\count273
\@ordinalctr=\count274
\@orgargctr=\count275
\@strctr=\count276
\@tmpstrctr=\count277
\@DT@loopN=\count278
\@DT@X=\count279
) (datetime-defaults.sty
Package: datetime-defaults 2013/09/10
)
\@day=\count280
\@month=\count281
\@year=\count282
\c@HOUR=\count283
\c@HOURXII=\count284
\c@MINUTE=\count285
\c@TOHOUR=\count286
\c@TOMINUTE=\count287
\c@SECOND=\count288
\currenthour=\count289
\currentminute=\count290
\currentsecond=\count291
Package datetime Info: No datetime.cfg file found, using default settings on in
put line 308.
\@dtctr=\count292
\dayofyear=\count293
\dayofweek=\count294
LaTeX Info: Redefining \today on input line 736.
\dt@a=\toks33
\dt@b=\toks34
)
\oldparskip=\skip58
\oldparindent=\skip59
 (caption.sty
Package: caption 2017/03/19 v3.3-145 Customizing captions (AR)
 (caption3.sty
Package: caption3 2018/04/15 v1.7-167 caption3 kernel (AR)
Package caption3 Info: TeX engine: e-TeX on input line 64.
\captionmargin=\dimen157
\captionmargin@=\dimen158
\captionwidth=\dimen159
\caption@tempdima=\dimen160
\caption@indent=\dimen161
\caption@parindent=\dimen162
\caption@hangindent=\dimen163
)
\c@ContinuedFloat=\count295
Package caption Info: float package is loaded.
)
(hyperref.sty
Package: hyperref 2018/02/06 v6.86b Hypertext links for LaTeX
 (hobsub-hyperref.sty
Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO)

 (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 2018/01/30 v0.27 Utility functions of pdfTeX for LuaTeX (HO
)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: pdfTeX >= 1.30 not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode not 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 hobsub Info: Skipping package `atbegshi' (already loaded).
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)
) (auxhook.sty
Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
)
(kvoptions.sty
Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO)
)
\@linkdim=\dimen164
\Hy@linkcounter=\count296
\Hy@pagecounter=\count297
 (pd1enc.def
File: pd1enc.def 2018/02/06 v6.86b Hyperref: PDFDocEncoding definition (HO)
)
\Hy@SavedSpaceFactor=\count298
 (hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
Package hyperref Info: Hyper figures OFF on input line 4509.
Package hyperref Info: Link nesting OFF on input line 4514.
Package hyperref Info: Hyper index ON on input line 4517.
Package hyperref Info: Plain pages OFF on input line 4524.
Package hyperref Info: Backreferencing OFF on input line 4529.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4762.
\c@Hy@tempcnt=\count299
 (url.sty
\Urlmuskip=\muskip18
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 5115.
\XeTeXLinkMargin=\dimen165
\Fld@menulength=\count300
\Field@Width=\dimen166
\Fld@charsize=\dimen167
Package hyperref Info: Hyper figures OFF on input line 6369.
Package hyperref Info: Link nesting OFF on input line 6374.
Package hyperref Info: Hyper index ON on input line 6377.
Package hyperref Info: backreferencing OFF on input line 6384.
Package hyperref Info: Link coloring OFF on input line 6389.
Package hyperref Info: Link coloring with OCG OFF on input line 6394.
Package hyperref Info: PDF/A mode OFF on input line 6399.
LaTeX Info: Redefining \ref on input line 6439.
LaTeX Info: Redefining \pageref on input line 6443.
\Hy@abspage=\count301
\c@Item=\count302
\c@Hfootnote=\count303
)
Package hyperref Info: Driver (autodetected): hxetex.
 (hxetex.def
File: hxetex.def 2018/02/06 v6.86b Hyperref driver for XeTeX
 (puenc.def
File: puenc.def 2018/02/06 v6.86b Hyperref: PDF Unicode definition (HO)
)
(stringenc.sty
Package: stringenc 2016/05/16 v1.11 Convert strings between diff. encodings (HO
)
)
\pdfm@box=\box45
\c@Hy@AnnotLevel=\count304
\HyField@AnnotCount=\count305
\Fld@listcount=\count306
\c@bookmark@seq@number=\count307
 (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=\skip60
) (titlesec.sty
Package: titlesec 2016/03/21 v2.10.2 Sectioning titles
\ttl@box=\box46
\beforetitleunit=\skip61
\aftertitleunit=\skip62
\ttl@plus=\dimen168
\ttl@minus=\dimen169
\ttl@toksa=\toks35
\titlewidth=\dimen170
\titlewidthlast=\dimen171
\titlewidthfirst=\dimen172
) (fancyhdr.sty
Package: fancyhdr 2017/06/30 v3.9a Extensive control of page headers and footer
s
\f@nch@headwidth=\skip63
\f@nch@O@elh=\skip64
\f@nch@O@erh=\skip65
\f@nch@O@olh=\skip66
\f@nch@O@orh=\skip67
\f@nch@O@elf=\skip68
\f@nch@O@erf=\skip69
\f@nch@O@olf=\skip70
\f@nch@O@orf=\skip71
))
\c@prop=\count308
\c@thm=\count309
\c@lemma=\count310
\c@defn=\count311
) (agda.sty
Package: agda 
(xifthen.sty
Package: xifthen 2015/11/05 v1.4.0 Extended ifthen features
 (calc.sty
Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count312
\calc@Bcount=\count313
\calc@Adimen=\dimen173
\calc@Bdimen=\dimen174
\calc@Askip=\skip72
\calc@Bskip=\skip73
LaTeX Info: Redefining \setlength on input line 80.
LaTeX Info: Redefining \addtolength on input line 81.
\calc@Ccount=\count314
\calc@Cskip=\skip74
) (ifmtarg.sty
Package: ifmtarg 2018/04/16 v1.2b check for an empty argument
)) (polytable.sty
Package: polytable 2013/07/18 v0.8.5 `polytable' package (Andres Loeh)
 (lazylist.sty) (array.sty
Package: array 2018/04/30 v2.4h Tabular extension package (FMi)
\col@sep=\dimen175
\ar@mcellbox=\box47
\extrarowheight=\dimen176
\NC@list=\toks36
\extratabsurround=\skip75
\backup@length=\skip76
\ar@cellbox=\box48
)
\PT@colwidth=\dimen177
\PT@cols=\count315
\PT@table=\count316
\PT@toks=\toks37
\PT@in=\read3
\PT@out=\write3
) (environ.sty
Package: environ 2014/05/04 v0.3 A new way to define environments
 (trimspaces.sty
Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list
))
\mathindent=\dimen178
\c@Agda@Current=\count317
\c@Agda@Previous=\count318
\c@Agda@AlignStart=\count319
\c@Agda@SuppressStart=\count320
\AgdaEmptySkip=\skip77
\AgdaEmptyExtraSkip=\skip78
) (ebproof.sty
Package: ebproof 2017/05/17 v2.0 EB's proof trees
\l_ebproof_separation_dim=\dimen179
\l_ebproof_rule_margin_dim=\dimen180
\l_ebproof_rule_thickness_dim=\dimen181
\l_ebproof_rule_separation_dim=\dimen182
\l_ebproof_rule_dash_length_dim=\dimen183
\l_ebproof_rule_dash_space_dim=\dimen184
\l_ebproof_label_separation_dim=\dimen185
\l_ebproof_label_axis_dim=\dimen186
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofnewrulestyle with sig. 'mm' on line 78.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofnewstyle with sig. 'mm' on line 140.
.................................................
\l_ebproof_transit_dim=\dimen187
\g_ebproof_level_int=\count321
\g_ebproof_stack_box=\box49
\l_ebproof_a_box=\box50
\l_ebproof_b_box=\box51
\l_ebproof_c_box=\box52
\l_ebproof_d_box=\box53
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofset with sig. 'm' on line 615.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofhypo with sig. 'O{}m' on line 623.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofinfer with sig. 'O{}mO{}m' on line 635.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofellipsis with sig. 'mm' on line 659.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofrewrite with sig. 'm' on line 686.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofdelims with sig. 'mm' on line 712.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofAlter with sig. 'm' on line 722.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofDelims with sig. '' on line 724.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofEllipsis with sig. '' on line 726.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofHypo with sig. '' on line 728.
.................................................
.................................................
. LaTeX info: "xparse/define-command"
. 
. Defining command \ebproofInfer with sig. '' on line 730.
.................................................
.................................................
. LaTeX info: "xparse/define-environment"
. 
. Defining environment 'prooftree' with sig. 'sO{}' on line 763.
.................................................
) (tikz-cd.sty
Package: tikz-cd 2014/10/30 v0.9e Commutative diagrams with tikz
 (tikz.sty
(pgf.sty (pgfrcs.sty (pgfutil-common.tex
\pgfutil@everybye=\toks38
\pgfutil@tempdima=\dimen188
\pgfutil@tempdimb=\dimen189
 (pgfutil-common-lists.tex))
(pgfutil-latex.def
\pgfutil@abb=\box54
 (everyshi.sty
Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
)) (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)
 (pgfcore.sty (pgfsys.sty
(pgfsys.code.tex
Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48)
 (pgfkeys.code.tex
\pgfkeys@pathtoks=\toks39
\pgfkeys@temptoks=\toks40
 (pgfkeysfiltered.code.tex
\pgfkeys@tmptoks=\toks41
))
\pgf@x=\dimen190
\pgf@y=\dimen191
\pgf@xa=\dimen192
\pgf@ya=\dimen193
\pgf@xb=\dimen194
\pgf@yb=\dimen195
\pgf@xc=\dimen196
\pgf@yc=\dimen197
\w@pgf@writea=\write4
\r@pgf@reada=\read4
\c@pgf@counta=\count322
\c@pgf@countb=\count323
\c@pgf@countc=\count324
\c@pgf@countd=\count325
\t@pgf@toka=\toks42
\t@pgf@tokb=\toks43
\t@pgf@tokc=\toks44
 (pgf.cfg
File: pgf.cfg 2008/05/14  (rcs-revision 1.7)
)
Driver file for pgf: pgfsys-xetex.def

(pgfsys-xetex.def
File: pgfsys-xetex.def 2014/07/09  (rcs-revision 1.11)
 (pgfsys-dvipdfmx.def
File: pgfsys-dvipdfmx.def 2014/07/09  (rcs-revision 1.14)
 (pgfsys-common-pdf.def
File: pgfsys-common-pdf.def 2013/10/10  (rcs-revision 1.13)
)
\pgfsys@objnum=\count326
)))
(pgfsyssoftpath.code.tex
File: pgfsyssoftpath.code.tex 2013/09/09  (rcs-revision 1.9)
\pgfsyssoftpath@smallbuffer@items=\count327
\pgfsyssoftpath@bigbuffer@items=\count328
) (pgfsysprotocol.code.tex
File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)
)) (pgfcore.code.tex
Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7)

(pgfmath.code.tex (pgfmathcalc.code.tex (pgfmathutil.code.tex)
(pgfmathparser.code.tex
\pgfmath@dimen=\dimen198
\pgfmath@count=\count329
\pgfmath@box=\box55
\pgfmath@toks=\toks45
\pgfmath@stack@operand=\toks46
\pgfmath@stack@operation=\toks47
) (pgfmathfunctions.code.tex
(pgfmathfunctions.basic.code.tex) (pgfmathfunctions.trigonometric.code.tex)
(pgfmathfunctions.random.code.tex) (pgfmathfunctions.comparison.code.tex)
(pgfmathfunctions.base.code.tex) (pgfmathfunctions.round.code.tex)
(pgfmathfunctions.misc.code.tex) (pgfmathfunctions.integerarithmetics.code.tex)
)) (pgfmathfloat.code.tex
\c@pgfmathroundto@lastzeros=\count330
)) (pgfcorepoints.code.tex
File: pgfcorepoints.code.tex 2013/10/07  (rcs-revision 1.27)
\pgf@picminx=\dimen199
\pgf@picmaxx=\dimen256
\pgf@picminy=\dimen257
\pgf@picmaxy=\dimen258
\pgf@pathminx=\dimen259
\pgf@pathmaxx=\dimen260
\pgf@pathminy=\dimen261
\pgf@pathmaxy=\dimen262
\pgf@xx=\dimen263
\pgf@xy=\dimen264
\pgf@yx=\dimen265
\pgf@yy=\dimen266
\pgf@zx=\dimen267
\pgf@zy=\dimen268
)
(pgfcorepathconstruct.code.tex
File: pgfcorepathconstruct.code.tex 2013/10/07  (rcs-revision 1.29)
\pgf@path@lastx=\dimen269
\pgf@path@lasty=\dimen270
) (pgfcorepathusage.code.tex
File: pgfcorepathusage.code.tex 2014/11/02  (rcs-revision 1.24)
\pgf@shorten@end@additional=\dimen271
\pgf@shorten@start@additional=\dimen272
)
(pgfcorescopes.code.tex
File: pgfcorescopes.code.tex 2015/05/08  (rcs-revision 1.46)
\pgfpic=\box56
\pgf@hbox=\box57
\pgf@layerbox@main=\box58
\pgf@picture@serial@count=\count331
) (pgfcoregraphicstate.code.tex
File: pgfcoregraphicstate.code.tex 2014/11/02  (rcs-revision 1.12)
\pgflinewidth=\dimen273
)
(pgfcoretransformations.code.tex
File: pgfcoretransformations.code.tex 2015/08/07  (rcs-revision 1.20)
\pgf@pt@x=\dimen274
\pgf@pt@y=\dimen275
\pgf@pt@temp=\dimen276
) (pgfcorequick.code.tex
File: pgfcorequick.code.tex 2008/10/09  (rcs-revision 1.3)
)
(pgfcoreobjects.code.tex
File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)
) (pgfcorepathprocessing.code.tex
File: pgfcorepathprocessing.code.tex 2013/09/09  (rcs-revision 1.9)
)
(pgfcorearrows.code.tex
File: pgfcorearrows.code.tex 2015/05/14  (rcs-revision 1.43)
\pgfarrowsep=\dimen277
) (pgfcoreshade.code.tex
File: pgfcoreshade.code.tex 2013/07/15  (rcs-revision 1.15)
\pgf@max=\dimen278
\pgf@sys@shading@range@num=\count332
) (pgfcoreimage.code.tex
File: pgfcoreimage.code.tex 2013/07/15  (rcs-revision 1.18)

(pgfcoreexternal.code.tex
File: pgfcoreexternal.code.tex 2014/07/09  (rcs-revision 1.21)
\pgfexternal@startupbox=\box59
)) (pgfcorelayers.code.tex
File: pgfcorelayers.code.tex 2013/07/18  (rcs-revision 1.7)
)
(pgfcoretransparency.code.tex
File: pgfcoretransparency.code.tex 2013/09/30  (rcs-revision 1.5)
) (pgfcorepatterns.code.tex
File: pgfcorepatterns.code.tex 2013/11/07  (rcs-revision 1.5)
)))
(pgfmoduleshapes.code.tex
File: pgfmoduleshapes.code.tex 2014/03/21  (rcs-revision 1.35)
\pgfnodeparttextbox=\box60
) (pgfmoduleplot.code.tex
File: pgfmoduleplot.code.tex 2015/08/03  (rcs-revision 1.13)
) (pgfcomp-version-0-65.sty
Package: pgfcomp-version-0-65 2007/07/03 v3.0.1a (rcs-revision 1.7)
\pgf@nodesepstart=\dimen279
\pgf@nodesepend=\dimen280
)
(pgfcomp-version-1-18.sty
Package: pgfcomp-version-1-18 2007/07/23 v3.0.1a (rcs-revision 1.1)
)) (pgffor.sty (pgfkeys.sty (pgfkeys.code.tex))
(pgfmath.sty (pgfmath.code.tex)) (pgffor.code.tex
Package: pgffor 2013/12/13 v3.0.1a (rcs-revision 1.25)
 (pgfmath.code.tex)
\pgffor@iter=\dimen281
\pgffor@skip=\dimen282
\pgffor@stack=\toks48
\pgffor@toks=\toks49
))
(tikz.code.tex
Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151)
 (pgflibraryplothandlers.code.tex
File: pgflibraryplothandlers.code.tex 2013/08/31 v3.0.1a (rcs-revision 1.20)
\pgf@plot@mark@count=\count333
\pgfplotmarksize=\dimen283
)
\tikz@lastx=\dimen284
\tikz@lasty=\dimen285
\tikz@lastxsaved=\dimen286
\tikz@lastysaved=\dimen287
\tikzleveldistance=\dimen288
\tikzsiblingdistance=\dimen289
\tikz@figbox=\box61
\tikz@figbox@bg=\box62
\tikz@tempbox=\box63
\tikz@tempbox@bg=\box64
\tikztreelevel=\count334
\tikznumberofchildren=\count335
\tikznumberofcurrentchild=\count336
\tikz@fig@count=\count337
 (pgfmodulematrix.code.tex
File: pgfmodulematrix.code.tex 2013/09/17  (rcs-revision 1.8)
\pgfmatrixcurrentrow=\count338
\pgfmatrixcurrentcolumn=\count339
\pgf@matrix@numberofcolumns=\count340
)
\tikz@expandcount=\count341

(tikzlibrarytopaths.code.tex
File: tikzlibrarytopaths.code.tex 2008/06/17 v3.0.1a (rcs-revision 1.2)
))) (tikzlibrarycd.code.tex
(tikzlibrarymatrix.code.tex
File: tikzlibrarymatrix.code.tex 2013/07/12 v3.0.1a (rcs-revision 1.4)
) (tikzlibraryquotes.code.tex
File: tikzlibraryquotes.code.tex 2014/03/21 v3.0.1a (rcs-revision 1.4)
)
(pgflibraryarrows.meta.code.tex
File: pgflibraryarrows.meta.code.tex 2015/05/13 v3.0.1a (rcs-revision 1.13)
\pgfarrowinset=\dimen290
\pgfarrowlength=\dimen291
\pgfarrowwidth=\dimen292
\pgfarrowlinewidth=\dimen293
)))
Package hyperref Info: Option `colorlinks' set `true' on input line 34.
\g__fontspec_family_PragmataProMonoLiga_int=\count342
.................................................
. fontspec info: "no-font-shape"
. 
. Could not resolve font "PragmataPro Mono Liga/I" (it probably doesn't
. exist).
.................................................
.................................................
. fontspec info: "defining-font"
. 
. Font family 'PragmataProMonoLiga(0)' created for font 'PragmataPro Mono
. Liga' with options
. [WordSpace={1,0,0},HyphenChar=None,PunctuationSpace=WordSpace,Scale=0.85].
.  
.  This font family consists of the following NFSS series/shapes:
.  
. - 'normal' (m/n) with NFSS spec.: <->s*[0.85]"PragmataPro Mono
. Liga/OT:script=latn;language=DFLT;"
. - 'small caps'  (m/sc) with NFSS spec.: 
. and font adjustment code:
. \fontdimen 2\font =1\fontdimen 2\font \fontdimen 3\font =0\fontdimen 3\font
. \fontdimen 4\font =0\fontdimen 4\font \fontdimen 7\font =0\fontdimen 2\font
. \tex_hyphenchar:D \font =-1\scan_stop: 
. - 'bold' (bx/n) with NFSS spec.: <->s*[0.85]"PragmataPro Mono
. Liga/B/OT:script=latn;language=DFLT;"
. - 'bold small caps'  (bx/sc) with NFSS spec.: 
. and font adjustment code:
. \fontdimen 2\font =1\fontdimen 2\font \fontdimen 3\font =0\fontdimen 3\font
. \fontdimen 4\font =0\fontdimen 4\font \fontdimen 7\font =0\fontdimen 2\font
. \tex_hyphenchar:D \font =-1\scan_stop: 
. - 'bold italic' (bx/it) with NFSS spec.: <->s*[0.85]"PragmataPro Mono
. Liga/BI/OT:script=latn;language=DFLT;"
. - 'bold italic small caps'  (bx/itsc) with NFSS spec.: 
. and font adjustment code:
. \fontdimen 2\font =1\fontdimen 2\font \fontdimen 3\font =0\fontdimen 3\font
. \fontdimen 4\font =0\fontdimen 4\font \fontdimen 7\font =0\fontdimen 2\font
. \tex_hyphenchar:D \font =-1\scan_stop: 
.................................................
LaTeX Info: Redefining \ttfamily on input line 183.
.................................................
. fontspec info: "no-font-shape"
. 
. Could not resolve font "PragmataPro Mono Liga/I" (it probably doesn't
. exist).
.................................................
.................................................
. fontspec info: "defining-font"
. 
. Font family 'PragmataProMonoLiga(1)' created for font 'PragmataPro Mono
. Liga' with options [Scale=0.85].
.  
.  This font family consists of the following NFSS series/shapes:
.  
. - 'normal' (m/n) with NFSS spec.: <->s*[0.85]"PragmataPro Mono
. Liga/OT:script=latn;language=DFLT;"
. - 'small caps'  (m/sc) with NFSS spec.: 
. - 'bold' (bx/n) with NFSS spec.: <->s*[0.85]"PragmataPro Mono
. Liga/B/OT:script=latn;language=DFLT;"
. - 'bold small caps'  (bx/sc) with NFSS spec.: 
. - 'bold italic' (bx/it) with NFSS spec.: <->s*[0.85]"PragmataPro Mono
. Liga/BI/OT:script=latn;language=DFLT;"
. - 'bold italic small caps'  (bx/itsc) with NFSS spec.: 
.................................................
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
(Font)                  OT1/cmtt/m/n --> TU/PragmataProMonoLiga(1)/m/n on input
 line 183.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
(Font)                  OT1/cmtt/m/n --> TU/PragmataProMonoLiga(1)/bx/n on inpu
t line 183.
 (main.aux)
\openout1 = `main.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for TU/lmr/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Checking defaults for PU/pdf/m/n on input line 184.
LaTeX Font Info:    ... okay on input line 184.
LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `normal'
(Font)                  OT1/cmr/m/n --> TU/lmr/m/n on input line 184.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
(Font)                  OT1/cmr/m/it --> TU/lmr/m/it on input line 184.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
(Font)                  OT1/cmr/bx/n --> TU/lmr/bx/n on input line 184.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
(Font)                  OT1/cmss/m/n --> TU/lmss/m/n on input line 184.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
(Font)                  OT1/cmss/bx/n --> TU/lmss/bx/n on input line 184.
\g__fontspec_family_latinmodern-math.otf_int=\count343
.................................................
. fontspec info: "defining-font"
. 
. Font family 'latinmodern-math.otf(0)' created for font
. 'latinmodern-math.otf' with options
. [BoldItalicFont={},ItalicFont={},Script=Math,BoldFont={latinmodern-math.otf}]
.
.  
.  This font family consists of the following NFSS series/shapes:
.  
. - 'normal' (m/n) with NFSS spec.:
. <->"[latinmodern-math.otf]/OT:script=math;language=DFLT;"
. - 'small caps'  (m/sc) with NFSS spec.: 
. - 'bold' (bx/n) with NFSS spec.:
. <->"[latinmodern-math.otf]/OT:script=math;language=DFLT;"
. - 'bold small caps'  (bx/sc) with NFSS spec.: 
.................................................
.................................................
. fontspec info: "defining-font"
. 
. Font family 'latinmodern-math.otf(1)' created for font
. 'latinmodern-math.otf' with options
. [BoldItalicFont={},ItalicFont={},Script=Math,SizeFeatures={{Size=10-},{Size=7
-10,Font=latinmodern-math.otf,Style=MathScript},{Size=-7,Font=latinmodern-math.
otf,Style=MathScriptScript}},BoldFont={latinmodern-math.otf}].
.  
.  This font family consists of the following NFSS series/shapes:
.  
. - 'normal' (m/n) with NFSS spec.:
. <10->"[latinmodern-math.otf]/OT:script=math;language=DFLT;"<7-10>"[latinmoder
n-math.otf]/OT:script=math;language=DFLT;+ssty=0;"<-7>"[latinmodern-math.otf]/O
T:script=math;language=DFLT;+ssty=1;"
. - 'small caps'  (m/sc) with NFSS spec.: 
. - 'bold' (bx/n) with NFSS spec.:
. <->"[latinmodern-math.otf]/OT:script=math;language=DFLT;"
. - 'bold small caps'  (bx/sc) with NFSS spec.: 
.................................................
LaTeX Font Info:    Encoding `OT1' has changed to `TU' for symbol font
(Font)              `operators' in the math version `normal' on input line 184.

LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
(Font)                  OT1/cmr/m/n --> TU/latinmodern-math.otf(1)/m/n on input
 line 184.
LaTeX Font Info:    Encoding `OT1' has changed to `TU' for symbol font
(Font)              `operators' in the math version `bold' on input line 184.
LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
(Font)                  OT1/cmr/bx/n --> TU/latinmodern-math.otf(1)/bx/n on inp
ut line 184.
.................................................
. fontspec info: "defining-font"
. 
. Font family 'latinmodern-math.otf(2)' created for font
. 'latinmodern-math.otf' with options
. [BoldItalicFont={},ItalicFont={},Script=Math,SizeFeatures={{Size=10-},{Size=7
-10,Font=latinmodern-math.otf,Style=MathScript},{Size=-7,Font=latinmodern-math.
otf,Style=MathScriptScript}},BoldFont={latinmodern-math.otf},Scale=1.00001,Font
Adjustment={\fontdimen
. 8\font =8.124pt\relax \fontdimen 9\font =4.728pt\relax \fontdimen 10\font
. =5.328pt\relax \fontdimen 11\font =8.232pt\relax \fontdimen 12\font
. =4.14pt\relax \fontdimen 13\font =4.356pt\relax \fontdimen 14\font
. =4.356pt\relax \fontdimen 15\font =3.468pt\relax \fontdimen 16\font
. =2.964pt\relax \fontdimen 17\font =2.964pt\relax \fontdimen 18\font
. =3.0pt\relax \fontdimen 19\font =2.4pt\relax \fontdimen 22\font =3.0pt\relax
. \fontdimen 20\font =0pt\relax \fontdimen 21\font =0pt\relax }].
.  
.  This font family consists of the following NFSS series/shapes:
.  
. - 'normal' (m/n) with NFSS spec.:
. <10->s*[1.00001]"[latinmodern-math.otf]/OT:script=math;language=DFLT;"<7-10>s
*[1.00001]"[latinmodern-math.otf]/OT:script=math;language=DFLT;+ssty=0;"<-7>s*[
1.00001]"[latinmodern-math.otf]/OT:script=math;language=DFLT;+ssty=1;"
. - 'small caps'  (m/sc) with NFSS spec.: 
. and font adjustment code:
. \fontdimen 8\font =8.124pt\relax \fontdimen 9\font =4.728pt\relax \fontdimen
. 10\font =5.328pt\relax \fontdimen 11\font =8.232pt\relax \fontdimen 12\font
. =4.14pt\relax \fontdimen 13\font =4.356pt\relax \fontdimen 14\font
. =4.356pt\relax \fontdimen 15\font =3.468pt\relax \fontdimen 16\font
. =2.964pt\relax \fontdimen 17\font =2.964pt\relax \fontdimen 18\font
. =3.0pt\relax \fontdimen 19\font =2.4pt\relax \fontdimen 22\font =3.0pt\relax
. \fontdimen 20\font =0pt\relax \fontdimen 21\font =0pt\relax 
. - 'bold' (bx/n) with NFSS spec.:
. <->s*[1.00001]"[latinmodern-math.otf]/OT:script=math;language=DFLT;"
. - 'bold small caps'  (bx/sc) with NFSS spec.: 
. and font adjustment code:
. \fontdimen 8\font =8.124pt\relax \fontdimen 9\font =4.728pt\relax \fontdimen
. 10\font =5.328pt\relax \fontdimen 11\font =8.232pt\relax \fontdimen 12\font
. =4.14pt\relax \fontdimen 13\font =4.356pt\relax \fontdimen 14\font
. =4.356pt\relax \fontdimen 15\font =3.468pt\relax \fontdimen 16\font
. =2.964pt\relax \fontdimen 17\font =2.964pt\relax \fontdimen 18\font
. =3.0pt\relax \fontdimen 19\font =2.4pt\relax \fontdimen 22\font =3.0pt\relax
. \fontdimen 20\font =0pt\relax \fontdimen 21\font =0pt\relax 
.................................................
LaTeX Font Info:    Encoding `OMS' has changed to `TU' for symbol font
(Font)              `symbols' in the math version `normal' on input line 184.
LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
(Font)                  OMS/cmsy/m/n --> TU/latinmodern-math.otf(2)/m/n on inpu
t line 184.
LaTeX Font Info:    Encoding `OMS' has changed to `TU' for symbol font
(Font)              `symbols' in the math version `bold' on input line 184.
LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
(Font)                  OMS/cmsy/b/n --> TU/latinmodern-math.otf(2)/bx/n on inp
ut line 184.
.................................................
. fontspec info: "defining-font"
. 
. Font family 'latinmodern-math.otf(3)' created for font
. 'latinmodern-math.otf' with options
. [BoldItalicFont={},ItalicFont={},Script=Math,SizeFeatures={{Size=10-},{Size=7
-10,Font=latinmodern-math.otf,Style=MathScript},{Size=-7,Font=latinmodern-math.
otf,Style=MathScriptScript}},BoldFont={latinmodern-math.otf},Scale=0.99999,Font
Adjustment={\fontdimen
. 8\font =0.48pt\relax \fontdimen 9\font =2.4pt\relax \fontdimen 10\font
. =2.004pt\relax \fontdimen 11\font =1.332pt\relax \fontdimen 12\font
. =7.2pt\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]"[latinmodern-math.otf]/OT:script=math;language=DFLT;"<7-10>s
*[0.99999]"[latinmodern-math.otf]/OT:script=math;language=DFLT;+ssty=0;"<-7>s*[
0.99999]"[latinmodern-math.otf]/OT:script=math;language=DFLT;+ssty=1;"
. - 'small caps'  (m/sc) with NFSS spec.: 
. and font adjustment code:
. \fontdimen 8\font =0.48pt\relax \fontdimen 9\font =2.4pt\relax \fontdimen
. 10\font =2.004pt\relax \fontdimen 11\font =1.332pt\relax \fontdimen 12\font
. =7.2pt\relax \fontdimen 13\font =0pt\relax 
. - 'bold' (bx/n) with NFSS spec.:
. <->s*[0.99999]"[latinmodern-math.otf]/OT:script=math;language=DFLT;"
. - 'bold small caps'  (bx/sc) with NFSS spec.: 
. and font adjustment code:
. \fontdimen 8\font =0.48pt\relax \fontdimen 9\font =2.4pt\relax \fontdimen
. 10\font =2.004pt\relax \fontdimen 11\font =1.332pt\relax \fontdimen 12\font
. =7.2pt\relax \fontdimen 13\font =0pt\relax 
.................................................
LaTeX Font Info:    Encoding `OMX' has changed to `TU' for symbol font
(Font)              `largesymbols' in the math version `normal' on input line 1
84.
LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `normal'
(Font)                  OMX/cmex/m/n --> TU/latinmodern-math.otf(3)/m/n on inpu
t line 184.
LaTeX Font Info:    Encoding `OMX' has changed to `TU' for symbol font
(Font)              `largesymbols' in the math version `bold' on input line 184
.
LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
(Font)                  OMX/cmex/m/n --> TU/latinmodern-math.otf(3)/bx/n on inp
ut line 184.

*geometry* driver: auto-detecting
*geometry* detected driver: xetex
*geometry* verbose mode - [ preamble ] result:
* driver: xetex
* paper: a4paper
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes: twoside 
* h-part:(L,W,R)=(85.35826pt, 426.79135pt, 85.35826pt)
* v-part:(T,H,B)=(85.35826pt, 674.33032pt, 85.35826pt)
* \paperwidth=597.50787pt
* \paperheight=845.04684pt
* \textwidth=426.79135pt
* \textheight=674.33032pt
* \oddsidemargin=13.08827pt
* \evensidemargin=13.08827pt
* \topmargin=-27.91173pt
* \headheight=16.0pt
* \headsep=25.0pt
* \topskip=12.0pt
* \footskip=30.0pt
* \marginparwidth=85.0pt
* \marginparsep=10.0pt
* \columnsep=10.0pt
* \skip\footins=10.8pt 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)

\AtBeginShipoutBox=\box65
(fc-english.def
Invalid UTF-8 byte or sequence at line 10 replaced by U+FFFD.
Invalid UTF-8 byte or sequence at line 22 replaced by U+FFFD.
File: fc-english.def 2016/01/12
)
Package caption Info: Begin \AtBeginDocument code.
Package caption Info: hyperref package is loaded.
Package caption Info: End \AtBeginDocument code.
Package hyperref Info: Link coloring ON on input line 184.
 (nameref.sty
Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section
 (gettitlestring.sty
Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO)
)
\c@section@level=\count344
)
LaTeX Info: Redefining \ref on input line 184.
LaTeX Info: Redefining \pageref on input line 184.
LaTeX Info: Redefining \nameref on input line 184.
 (main.out) (main.out)
\@outlinefile=\write5
\openout5 = `main.out'.


ABD: EveryShipout initializing macros (template/frontmatter/titlepage
*geometry* verbose mode - [ newgeometry ] result:
* driver: xetex
* paper: a4paper
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes: twoside 
* h-part:(L,W,R)=(64.01869pt, 469.47049pt, 64.01869pt)
* v-part:(T,H,B)=(85.35826pt, 674.33032pt, 85.35826pt)
* \paperwidth=597.50787pt
* \paperheight=845.04684pt
* \textwidth=469.47049pt
* \textheight=674.33032pt
* \oddsidemargin=-8.2513pt
* \evensidemargin=-8.2513pt
* \topmargin=-27.91173pt
* \headheight=16.0pt
* \headsep=25.0pt
* \topskip=12.0pt
* \footskip=30.0pt
* \marginparwidth=85.0pt
* \marginparsep=10.0pt
* \columnsep=10.0pt
* \skip\footins=10.8pt 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)

File: template/figure/auxiliary/frontpage_gu_eng_vec_m2.pdf Graphic file (type 
pdf)
<use template/figure/auxiliary/frontpage_gu_eng_vec_m2.pdf>

(se-ascii-print.def
File: se-ascii-print.def 2016/05/16 v1.11 stringenc: Printable ASCII characters

) [1


] [2

]
File: template/figure/auxiliary/ChGULogoHog.pdf Graphic file (type pdf)
<use template/figure/auxiliary/ChGULogoHog.pdf>
 [3]
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(2)/m/n' will be
(Font)              scaled to size 12.00018pt on input line 137.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(2)/m/n' will be
(Font)              scaled to size 8.41495pt on input line 137.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(2)/m/n' will be
(Font)              scaled to size 5.97696pt on input line 137.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(3)/m/n' will be
(Font)              scaled to size 11.99982pt on input line 137.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(3)/m/n' will be
(Font)              scaled to size 8.41469pt on input line 137.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(3)/m/n' will be
(Font)              scaled to size 5.97679pt on input line 137.
LaTeX Font Info:    Try loading font information for U+msa on input line 137.
 (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 137.
 (umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)) [4] [5] [6] [7] [8]
(main.toc [9

])
\tf@toc=\write6
\openout6 = `main.toc'.

 [10] (main.lof)
\tf@lof=\write7
\openout7 = `main.lof'.

 [11


] [12

] (main.lot)
\tf@lot=\write8
\openout8 = `main.lot'.

 [13

] [14

] (introduction
Chapter 1.
[1

] [2] [3] [4]) (foundations [5] [6

]
Chapter 2.
[7] [8] [9] [10] [11]) (frames [12]
Chapter 3.
LaTeX Font Info:    Font shape `TU/PragmataProMonoLiga(0)/m/n' will be
(Font)              scaled to size 10.20007pt on input line 42.
[13

] [14] [15] [16]
LaTeX Font Info:    Font shape `TU/lmss/m/it' in size <12> not available
(Font)              Font shape `TU/lmss/m/sl' tried instead on input line 244.
 [17] [18] [19] [20]) (formal-topology [21] [22

]
Chapter 4.
[23]
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(2)/m/n' will be
(Font)              scaled to size 10.00015pt on input line 73.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(2)/m/n' will be
(Font)              scaled to size 7.0001pt on input line 73.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(2)/m/n' will be
(Font)              scaled to size 5.00008pt on input line 73.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(3)/m/n' will be
(Font)              scaled to size 9.99985pt on input line 73.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(3)/m/n' will be
(Font)              scaled to size 6.9999pt on input line 73.
LaTeX Font Info:    Font shape `TU/latinmodern-math.otf(3)/m/n' will be
(Font)              scaled to size 4.99992pt on input line 73.
 [24] [25] [26] [27] [28] [29] [30] [31] [32]) (conclusion [33] [34

]
Chapter 5.
) [35] [36

] (main.bbl) [37

] [38

] (template/backmatter/appendix_1
Appendix A.
) [1

]
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 212.
Package atveryend Info: Empty hook `AfterLastShipout' on input line 212.
 (main.aux)
Package atveryend Info: Empty hook `AtVeryEndDocument' on input line 212.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 212.
Package rerunfilecheck Info: File `main.out' has not changed.
(rerunfilecheck)             Checksum: A36C3965FA3CF39628375B3678004175.
 )
Output written on main.xdv (53 pages, 750452 bytes).