-#LyX file created by tex2lyx 2.3
-\lyxformat 526
+#LyX file created by tex2lyx 2.4
+\lyxformat 580
\begin_document
\begin_header
\save_transient_properties true
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
-\use_microtype 0
+\use_microtype false
+\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\suppress_date false
\justification true
\use_refstyle 1
+\use_minted 0
\index Index
\shortcut idx
\color #008000
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
+\is_math_indent 0
+\math_numbering_side default
\quotes_style english
+\dynamic_quotes 0
\papercolumns 1
\papersides 2
\paperpagestyle default
reference "part:part"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "chap:chapter"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "sec:Section"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "subsec:subsection"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "subsec:Subsubsection"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "par:paragraph"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "par:subparagraph"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "fig:figure"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "tab:table"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "alg:algorithm"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "fn:foot"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "margin"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "enu:item"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "eq:A=00003DB"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "lem:lemma"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "thm:theorem"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "cor:corollary"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "prop:proposition"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "conjecture"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "fact"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "definition"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "example"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "problem"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "exercise"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "remark"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "claim"
plural "false"
caps "false"
+noprefix "false"
\end_inset
reference "proof"
plural "false"
caps "false"
+noprefix "false"
\end_inset