-#LyX file created by tex2lyx 2.3
-\lyxformat 544
+#LyX file created by tex2lyx 2.4
+\lyxformat 580
\begin_document
\begin_header
\save_transient_properties true
\maintain_unincluded_children false
\language english
\language_package none
-\inputencoding auto
+\inputencoding auto-legacy
\fontencoding default
\font_roman "default" "default"
\font_sans "default" "default"
\suppress_date false
\justification true
\use_refstyle 0
+\use_minted 0
\index Index
\shortcut idx
\color #008000