#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass article
#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass article
#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass article
#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass article
#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass article
#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass amsart
#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass article
#LyX file created by tex2lyx 2.1.0dev
-\lyxformat 458
+\lyxformat 459
\begin_document
\begin_header
\textclass article