-#LyX file created by tex2lyx 2.2
-\lyxformat 488
+#LyX file created by tex2lyx 2.4
+\lyxformat 547
\begin_document
\begin_header
+\save_transient_properties true
+\origin roundtrip
\textclass amsart
\begin_preamble
\usepackage{babel}
\language_package default
\inputencoding iso8859-15
\fontencoding T1
-\font_roman default
-\font_sans default
-\font_typewriter default
-\font_math auto
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
+\font_sf_scale 100 100
+\font_tt_scale 100 100
+\use_microtype false
+\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\suppress_date false
\justification true
\use_refstyle 0
+\use_minted 0
\index Index
\shortcut idx
\color #008000
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
-\quotes_language english
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style english
+\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default