#LyX 2.2 created this file. For more info see http://www.lyx.org/
-\lyxformat 503
+\lyxformat 506
\begin_document
\begin_header
+\save_transient_properties true
\origin /systemlyxdir/examples/
\textclass beamer
\begin_preamble
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_layout Columns
-
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_layout Columns
-
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\color inherit
is a
-\color inherit
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 2
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout ExampleBlock
\begin_inset Argument 2
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout ExampleBlock
\begin_inset Argument 2
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 1
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Examples
-
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Examples
-
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Examples
-
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_layout
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Fact
\begin_inset Formula $\Lang{reach}_{\operatorname{path}}$
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_inset
such that
-\color inherit
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_inset
such that
-\color inherit
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Block
\begin_inset Argument 2
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\color inherit
gets as input
-\color inherit
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_inset
.
- \SpecialCharNoPassThru LyX
+ \SpecialChar LyX
has the FragileFrame layout for this.
\end_layout
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Block
\begin_inset Argument 2
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_layout
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Theorem
For each
\end_layout
\begin_layout Standard
-
\begin_inset Separator parbreak
\end_inset
-\end_layout
+\end_layout
\begin_layout Theorem
For each
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper
\end_layout
\begin_layout Proof
-
\begin_inset Separator parbreak
\end_inset
+
\end_layout
\begin_deeper