-#LyX file created by tex2lyx 2.2
-\lyxformat 501
+#LyX file created by tex2lyx 2.3
+\lyxformat 512
\begin_document
\begin_header
+\save_transient_properties true
\origin roundtrip
\textclass amsart
\begin_preamble
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
+\use_microtype 0
\graphics default
\default_output_format default
\output_sync 0