Remove test for luatex+fontspec compatibility (#8478)

[lyx.git] / lib / examples / beamerlyxexample1.lyx

diff --git a/lib/examples/beamerlyxexample1.lyx b/lib/examples/beamerlyxexample1.lyx
index 0137307b0ea5c89a23e9ef83b56858c43136e3c0..9d51a378bcbba090a36eeb2befa4b16c9d367482 100644 (file)
--- a/lib/examples/beamerlyxexample1.lyx
+++ b/lib/examples/beamerlyxexample1.lyx
@@ -1,7 +1,9 @@
-#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
-\lyxformat 345
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 508
 \begin_document
 \begin_header
+\save_transient_properties true
+\origin /systemlyxdir/examples/
 \textclass beamer
 \begin_preamble
 \beamertemplateshadingbackground{red!5}{structure!5}
@@ -150,40 +152,67 @@
 \end_preamble
 \options notes=show
 \use_default_options false
+\maintain_unincluded_children false
 \language english
+\language_package default
 \inputencoding auto
-\font_roman times
-\font_sans default
-\font_typewriter default
+\fontencoding global
+\font_roman "times" "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
 \graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
 \paperfontsize default
 \spacing single
 \use_hyperref false
 \papersize default
 \use_geometry false
-\use_amsmath 2
-\use_esint 0
+\use_package amsmath 2
+\use_package amssymb 2
+\use_package cancel 0
+\use_package esint 0
+\use_package mathdots 1
+\use_package mathtools 0
+\use_package mhchem 1
+\use_package stackrel 0
+\use_package stmaryrd 0
+\use_package undertilde 0
 \cite_engine basic
+\cite_engine_type default
+\biblio_style plain
 \use_bibtopic false
+\use_indices false
 \paperorientation portrait
+\suppress_date false
+\justification true
+\use_refstyle 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
 \secnumdepth 2
 \tocdepth 2
 \paragraph_separation indent
-\defskip medskip
+\paragraph_indentation default
 \quotes_language english
 \papercolumns 1
 \papersides 1
 \paperpagestyle default
 \tracking_changes false
 \output_changes false
-\author "" 
-\author "" 
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
 \end_header
 
 \begin_body
@@ -201,12 +230,12 @@ Till Tantau
 \end_layout
 
 \begin_layout Institute
-International Computer Schience Institute
+International Computer Science Institute
 \begin_inset Newline newline
 \end_inset
 
 Berkeley, California
-\begin_inset OptArg
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
@@ -222,10 +251,20 @@ ICSI
 January 30th, 2004
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Outline
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset CommandInset toc
 LatexCommand tableofcontents
@@ -246,13 +285,10 @@ status collapsed
 
 \end_layout
 
-\begin_layout EndFrame
-
-\end_layout
-
+\end_deeper
 \begin_layout Standard
 \begin_inset ERT
-status collapsed
+status open
 
 \begin_layout Plain Layout
 
@@ -261,26 +297,14 @@ status collapsed
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 % of every subsection.
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 
 \backslash
-AtBeginSubsection[]{
-\end_layout
-
-\begin_layout Plain Layout
-
+AtBeginSubsection[]{%
 \end_layout
 
 \begin_layout Plain Layout
@@ -292,10 +316,6 @@ frame<handout:0>{
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 frametitle{Outline}   
@@ -303,19 +323,11 @@ frametitle{Outline}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 tableofcontents[current,currentsubsection] 
 \end_layout
 
-\begin_layout Plain Layout
-
-\end_layout
-
 \begin_layout Plain Layout
 
   }
@@ -323,10 +335,6 @@ tableofcontents[current,currentsubsection]
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 }
 \end_layout
 
@@ -343,10 +351,20 @@ Introduction
 What are Tournaments?
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Tournaments Consist of Jousts Between Knights
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Columns
 
 \end_layout
@@ -369,90 +387,78 @@ begin{pgfpicture}{1.25cm}{-1cm}{7cm}{4cm}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodebox{A}[virtual]{
 \backslash
-pgfxy(2,1)}{
-\backslash
-pgfuseimage{knight1}}{2pt}{2pt}
+pgfxy(2,1)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfuseimage{knight1}}{2pt}{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-  
+
 \backslash
 pgfnodebox{B}[virtual]{
 \backslash
-pgfxy(6,1)}{
-\backslash
-pgfuseimage{knight2}}{2pt}{2pt}
+pgfxy(6,1)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfuseimage{knight2}}{2pt}{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-  
+
 \backslash
 pgfnodebox{C}[virtual]{
 \backslash
-pgfxy(4,-1)}{
-\backslash
-pgfuseimage{knight3}}{2pt}{2pt}
+pgfxy(4,-1)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfuseimage{knight3}}{2pt}{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-  
+
 \backslash
 pgfnodebox{D}[virtual]{
 \backslash
-pgfxy(4,3)}{
-\backslash
-pgfuseimage{knight4}}{2pt}{2pt}
-\end_layout
-
-\begin_layout Plain Layout
-
+pgfxy(4,3)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfuseimage{knight4}}{2pt}{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<3->{
 \backslash
@@ -463,17 +469,9 @@ pgfarrowto}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
-only<2->{
-\end_layout
-
-\begin_layout Plain Layout
-
+only<2->{%
 \end_layout
 
 \begin_layout Plain Layout
@@ -485,10 +483,6 @@ pgfsetlinewidth{0.6pt}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{A}{B}
@@ -496,10 +490,6 @@ pgfnodeconnline{A}{B}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{A}{C}
@@ -507,10 +497,6 @@ pgfnodeconnline{A}{C}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{D}{A}
@@ -518,10 +504,6 @@ pgfnodeconnline{D}{A}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{C}{B}
@@ -529,10 +511,6 @@ pgfnodeconnline{C}{B}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{B}{D}
@@ -540,17 +518,14 @@ pgfnodeconnline{B}{D}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
-pgfnodeconnline{C}{D}}
+pgfnodeconnline{C}{D}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
@@ -570,12 +545,11 @@ end{pgfpicture}
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 2
+status open
 
 \begin_layout Plain Layout
-
-{What is a Tournament?}
+What is a Tournament?
 \end_layout
 
 \end_inset
@@ -585,12 +559,11 @@ status collapsed
 
 \begin_deeper
 \begin_layout Itemize
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<1->
+1-
 \end_layout
 
 \end_inset
@@ -599,12 +572,11 @@ A group of knights.
 \end_layout
 
 \begin_layout Itemize
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<2->
+2-
 \end_layout
 
 \end_inset
@@ -613,12 +585,11 @@ Every pair has a joust.
 \end_layout
 
 \begin_layout Itemize
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<3->
+3-
 \end_layout
 
 \end_inset
@@ -628,10 +599,28 @@ In every joust one knight wins.
 
 \end_deeper
 \end_deeper
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Tournaments are Complete Directed Graphs
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Columns
 
 \end_layout
@@ -654,33 +643,21 @@ begin{pgfpicture}{1.5cm}{-1cm}{6.5cm}{4cm}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetlinewidth{0.6pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{A}{
 \backslash
@@ -689,11 +666,7 @@ pgfxy(2.5,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{B}{
 \backslash
@@ -702,11 +675,7 @@ pgfxy(5.5,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{C}{
 \backslash
@@ -715,11 +684,7 @@ pgfxy(4,-0.5)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{D}{
 \backslash
@@ -728,30 +693,14 @@ pgfxy(4,2.5)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{white}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -762,11 +711,7 @@ pgfbox[center,center]{$v_2$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -777,11 +722,7 @@ pgfbox[center,center]{$v_3$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -792,11 +733,7 @@ pgfbox[center,center]{$v_4$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -807,30 +744,14 @@ pgfbox[center,center]{$v_1$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetendarrow{
 \backslash
@@ -839,98 +760,62 @@ pgfarrowto}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodesetsepstart{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodesetsepend{4pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodeconnline{A}{B}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodeconnline{A}{C}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodeconnline{D}{A}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodeconnline{C}{B}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
 
-\begin_layout Plain Layout
-
-  
 \backslash
 pgfnodeconnline{B}{D} 
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodeconnline{D}{C}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 
 \backslash
 end{pgfpicture} 
@@ -946,12 +831,11 @@ end{pgfpicture}
 \end_layout
 
 \begin_layout Definition
-\begin_inset ERT
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
-
-<2->
+2-
 \end_layout
 
 \end_inset
@@ -982,27 +866,44 @@ any two different vertices.
 
 \end_deeper
 \end_deeper
-\begin_layout BeginFrame
-\begin_inset ERT
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-[<+>]
++
 \end_layout
 
 \end_inset
 
+
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Tournaments Arise Naturally in Different Situations
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout ExampleBlock
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Applicatins in Ordering Theory}
+Applications in Ordering Theory
 \end_layout
 
 \end_inset
@@ -1021,17 +922,19 @@ The comparison relation may be cyclic, however.
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
 
 \end_layout
 
 \begin_layout ExampleBlock
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Applications in Sociology}
+Applications in Sociology
 \end_layout
 
 \end_inset
@@ -1050,17 +953,19 @@ Reviewers decide for any two candidates whom they prefer.
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
 
 \end_layout
 
 \begin_layout ExampleBlock
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Applications in Structural Complexity Theory}
+Applications in Structural Complexity Theory
 \end_layout
 
 \end_inset
@@ -1089,110 +994,154 @@ It chooses from any two words the one more likely to be in
 .
 \end_layout
 
+\end_deeper
 \end_deeper
 \begin_layout Subsection
 What Does ``Finding Paths'' Mean?
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 ``Finding Paths'' is Ambiguous
 \end_layout
 
-\begin_layout Block
-\begin_inset ERT
-status collapsed
+\end_inset
 
-\begin_layout Plain Layout
 
-{
-\backslash
-strut Input for 
-\backslash
-ignorespaces
-\backslash
-def
-\backslash
-par{}% because LyX inserts superfluous paragraphs
 \end_layout
 
+\begin_deeper
+\begin_layout Block
+\begin_inset Argument 2
+status open
+
 \begin_layout Plain Layout
+Input for 
+\begin_inset Flex Only
+status open
 
-\end_layout
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
+1
+\end_layout
 
+\end_inset
 
-\backslash
-only<1>{Path Finding Problems}
-\backslash
-ignorespaces
+Path Finding Problems
 \end_layout
 
+\end_inset
+
+
+\begin_inset Flex Only
+status open
+
 \begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
+\begin_layout Plain Layout
+2-3
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
 
-\backslash
-only<2-3>{$
-\backslash
-Lang{reach}$}
-\backslash
-ignorespaces
-\end_layout
+\begin_inset Formula $\Lang{reach}$
+\end_inset
 
-\begin_layout Plain Layout
 
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
 
-\backslash
-only<4-5>{the Construction Problem}
-\backslash
-ignorespaces
-\end_layout
+\begin_inset Flex Only
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
+4-5
+\end_layout
+
+\end_inset
 
+the Construction Problem
 \end_layout
 
+\end_inset
+
+
+\begin_inset Flex Only
+status open
+
 \begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
+\begin_layout Plain Layout
+6-7
+\end_layout
 
-\backslash
-only<6-7>{the Optimization Problem}
-\backslash
-ignorespaces
+\end_inset
+
+the Optimization Problem
 \end_layout
 
+\end_inset
+
+
+\begin_inset Flex Only
+status open
+
 \begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
+\begin_layout Plain Layout
+8-9
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
+
+
+\begin_inset Formula $\Lang{distance}$
+\end_inset
 
 
-\backslash
-only<8-9>{$
-\backslash
-Lang{distance}$}
-\backslash
-ignorespaces
 \end_layout
 
+\end_inset
+
+
+\begin_inset Flex Only
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
 \begin_layout Plain Layout
+10-
+\end_layout
+
+\end_inset
 
+the Approximation Problem
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
 
-\backslash
-only<10->{the Approximation Problem}}
 \end_layout
 
 \end_inset
@@ -1242,12 +1191,11 @@ target
 \end_layout
 
 \begin_layout Itemize
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<only@-9| visible@8->
+only@-9| visible@8-
 \end_layout
 
 \end_inset
@@ -1283,12 +1231,11 @@ phantom{p}
 \end_layout
 
 \begin_layout Itemize
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<only@10->
+only@10-
 \end_layout
 
 \end_inset
@@ -1326,19 +1273,25 @@ nointerlineskip
 \end_layout
 
 \begin_layout Overprint
+\begin_inset Argument item:1
+status open
 
+\begin_layout Plain Layout
+1,3,5,7,9,11-12
 \end_layout
 
-\begin_deeper
-\begin_layout Standard
-\begin_inset ERT
-status collapsed
+\end_inset
 
-\begin_layout Plain Layout
 
+\end_layout
 
-\backslash
-onslide<1,3,5,7,9,11-12>
+\begin_deeper
+\begin_layout Columns
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+t,onlytextwidth
 \end_layout
 
 \end_inset
@@ -1346,36 +1299,59 @@ onslide<1,3,5,7,9,11-12>
 
 \end_layout
 
-\begin_layout Columns
-\begin_inset ERT
-status collapsed
+\begin_deeper
+\begin_layout Standard
+\begin_inset Flex Alternative
+status open
 
 \begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
-[t,onlytextwidth]
+\begin_layout Plain Layout
+1-2
 \end_layout
 
 \end_inset
 
 
-\end_layout
+\begin_inset Argument 2
+status open
 
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
 \begin_inset ERT
-status collapsed
+status open
 
 \begin_layout Plain Layout
 
 
-\backslash
-alt<1-2>{
 \backslash
 column{
 \backslash
-textwidth}}{
+textwidth}
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\end_inset
+
+
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
 \backslash
-column{5cm}}
+column{5cm}
+\end_layout
+
+\end_inset
+
+
 \end_layout
 
 \end_inset
@@ -1384,12 +1360,11 @@ column{5cm}}
 \end_layout
 
 \begin_layout ExampleBlock
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Example Input}
+Example Input
 \end_layout
 
 \end_inset
@@ -1729,16 +1704,33 @@ end{pgfpicture}
 
 \end_deeper
 \begin_layout Standard
+\begin_inset Flex Only
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+3-
+\end_layout
+
+\end_inset
+
+
 \begin_inset ERT
-status collapsed
+status open
 
 \begin_layout Plain Layout
 
 
 \backslash
-only<3->{
-\backslash
-column{5cm}}
+column{5cm}
+\end_layout
+
+\end_inset
+
+
 \end_layout
 
 \end_inset
@@ -1747,12 +1739,21 @@ column{5cm}}
 \end_layout
 
 \begin_layout ExampleBlock
-\begin_inset ERT
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
+only@3-
+\end_layout
+
+\end_inset
+
+
+\begin_inset Argument 2
+status collapsed
 
-<only@3->{Example Output}
+\begin_layout Plain Layout
+Example Output
 \end_layout
 
 \end_inset
@@ -1774,44 +1775,28 @@ begin{pgfpicture}{2.5cm}{-0.6cm}{7.5cm}{2.6cm}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
-only<5-8,10->{
-\end_layout
-
-\begin_layout Plain Layout
-
+only<5-8,10->{%
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
 color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfsetlinewidth{0.6pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A}{
 \backslash
@@ -1820,11 +1805,7 @@ pgfxy(3,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B}{
 \backslash
@@ -1833,11 +1814,7 @@ pgfxy(5,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C}{
 \backslash
@@ -1846,11 +1823,7 @@ pgfxy(4,0)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D}{
 \backslash
@@ -1859,30 +1832,14 @@ pgfxy(4,2)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 color{white}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfputat{
 \backslash
@@ -1893,11 +1850,7 @@ pgfbox[center,center]{$t$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfputat{
 \backslash
@@ -1908,30 +1861,14 @@ pgfbox[center,center]{$s$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfsetendarrow{
 \backslash
@@ -1940,42 +1877,21 @@ pgfarrowto}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodesetsepstart{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodesetsepend{4pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-                      
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<7,12>{
 \backslash
@@ -1984,11 +1900,7 @@ pgfnodeconnline{A}{B}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<5,11>{
 \backslash
@@ -1997,11 +1909,7 @@ pgfnodeconnline{A}{C}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<5,7,11-12>{
 \backslash
@@ -2010,11 +1918,7 @@ pgfnodeconnline{D}{A}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<5,11>{
 \backslash
@@ -2023,42 +1927,26 @@ pgfnodeconnline{C}{B}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{B}{D}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{D}{C}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-  }
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<3,9>{
 \backslash
@@ -2073,10 +1961,6 @@ alert{``Yes''}}}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 
 \backslash
 end{pgfpicture}
@@ -2089,15 +1973,13 @@ end{pgfpicture}
 
 \end_deeper
 \end_deeper
-\begin_layout Standard
-\begin_inset ERT
-status collapsed
+\end_deeper
+\begin_layout Overprint
+\begin_inset Argument item:1
+status open
 
 \begin_layout Plain Layout
-
-
-\backslash
-onslide<2,4,6,8,10>
+2,4,6,8,10
 \end_layout
 
 \end_inset
@@ -2105,13 +1987,13 @@ onslide<2,4,6,8,10>
 
 \end_layout
 
+\begin_deeper
 \begin_layout Block
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Variants of Path Finding Problems}
+Variants of Path Finding Problems
 \end_layout
 
 \end_inset
@@ -2120,39 +2002,21 @@ status collapsed
 \end_layout
 
 \begin_deeper
-\begin_layout Standard
-\begin_inset ERT
-status collapsed
+\begin_layout Description
+\begin_inset Argument item:1
+status open
 
 \begin_layout Plain Layout
-
-
-\backslash
-usedescriptionitemofwidthas{Approximation Problem:}
+2-
 \end_layout
 
 \end_inset
 
-
-\end_layout
-
-\begin_layout Description
 Reachability
 \begin_inset space ~
 \end_inset
 
-Problem: 
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-<2->
-\end_layout
-
-\end_inset
-
-Is there a path from 
+Problem: Is there a path from 
 \begin_inset Formula $s$
 \end_inset
 
@@ -2165,25 +2029,33 @@ Is there a path from
 \end_inset
 
 ?
+\begin_inset Argument 2
+status open
+
+\begin_layout Plain Layout
+Approximation Problem:
 \end_layout
 
-\begin_layout Description
-Construction
-\begin_inset space ~
 \end_inset
 
-Problem: 
-\begin_inset ERT
-status collapsed
 
-\begin_layout Plain Layout
+\end_layout
+
+\begin_layout Description
+\begin_inset Argument item:1
+status open
 
-<4->
+\begin_layout Plain Layout
+4-
 \end_layout
 
 \end_inset
 
-Construct a path from 
+Construction
+\begin_inset space ~
+\end_inset
+
+Problem: Construct a path from 
 \begin_inset Formula $s$
 \end_inset
 
@@ -2199,22 +2071,20 @@ Construct a path from
 \end_layout
 
 \begin_layout Description
-Optimization
-\begin_inset space ~
-\end_inset
-
-Problem: 
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:1
+status open
 
 \begin_layout Plain Layout
-
-<6->
+6-
 \end_layout
 
 \end_inset
 
-Construct a shortest path from 
+Optimization
+\begin_inset space ~
+\end_inset
+
+Problem: Construct a shortest path from 
 \begin_inset Formula $s$
 \end_inset
 
@@ -2230,22 +2100,20 @@ Construct a shortest path from
 \end_layout
 
 \begin_layout Description
-Distance
-\begin_inset space ~
-\end_inset
-
-Problem: 
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:1
+status open
 
 \begin_layout Plain Layout
-
-<8->
+8-
 \end_layout
 
 \end_inset
 
-Is the distance of 
+Distance
+\begin_inset space ~
+\end_inset
+
+Problem: Is the distance of 
 \begin_inset Formula $s$
 \end_inset
 
@@ -2269,22 +2137,20 @@ Is the distance of
 \end_layout
 
 \begin_layout Description
-Approximation
-\begin_inset space ~
-\end_inset
-
-Problem: 
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:1
+status open
 
 \begin_layout Plain Layout
-
-<10->
+10-
 \end_layout
 
 \end_inset
 
-Construct a path from 
+Approximation
+\begin_inset space ~
+\end_inset
+
+Problem: Construct a path from 
 \begin_inset Formula $s$
 \end_inset
 
@@ -2303,6 +2169,7 @@ Construct a path from
 approximately their distance.
 \end_layout
 
+\end_deeper
 \end_deeper
 \end_deeper
 \begin_layout Section
@@ -2332,7 +2199,11 @@ pgfdeclareimage[height=2cm,mask=computer-mask,interpolate=true]{computer}{beamer
 
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Classes L and NL are Defined via
 \begin_inset Newline newline
 \end_inset
@@ -2340,9 +2211,15 @@ The Classes L and NL are Defined via
 Logspace Turing Machines
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
-status open
+status collapsed
 
 \begin_layout Plain Layout
 
@@ -2353,67 +2230,67 @@ begin{pgfpicture}{-0.5cm}{0cm}{8cm}{5cm}
 
 \begin_layout Plain Layout
 
+
+\backslash
+pgfputat{
+\backslash
+pgfxy(0,4)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
   
-\backslash
-pgfputat{
-\backslash
-pgfxy(0,4)}{
 \backslash
 tape{input tape (read only), $n$ symbols}{}{3401234*3143223=}} 
 \end_layout
 
 \begin_layout Plain Layout
 
+
+\backslash
+uncover<2->{%
 \end_layout
 
 \begin_layout Plain Layout
 
   
 \backslash
-uncover<2->{
+pgfputat{
+\backslash
+pgfxy(0,0.5)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
+     
+\backslash
+tape{}{output tape (write only)}{10690836937182}}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-pgfputat{
-\backslash
-pgfxy(0,0.5)}{
-\backslash
-tape{}{output tape (write only)}{10690836937182}}}
+}
 \end_layout
 
 \begin_layout Plain Layout
 
+
+\backslash
+uncover<3->{%
 \end_layout
 
 \begin_layout Plain Layout
 
   
 \backslash
-uncover<3->{
-\end_layout
-
-\begin_layout Plain Layout
-
+pgfputat{
+\backslash
+pgfxy(7,2)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-pgfputat{
-\backslash
-pgfxy(7,2)}{
+     
 \backslash
 shorttape{work tape (read/write), $O(
 \backslash
@@ -2422,15 +2299,16 @@ log n)$ symbols}{}{42}}
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfputat{
+\backslash
+pgfxy(1.75,2.5)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-pgfputat{
-\backslash
-pgfxy(1.75,2.5)}{
+     
 \backslash
 pgfbox[center,center]{
 \backslash
@@ -2439,50 +2317,26 @@ pgfuseimage{computer}}}
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-  }
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetlinewidth{0.6pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{structure}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetendarrow{
 \backslash
@@ -2491,22 +2345,14 @@ pgfarrowto}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfxycurve(1.75,3.5)(1.75,3.75)(0,3.5)(0,3.85)
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 uncover<2->{
 \backslash
@@ -2515,11 +2361,7 @@ pgfxycurve(1.75,1.5)(1.75,1)(0,1.5)(0,1.05)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 uncover<3->{
 \backslash
@@ -2528,31 +2370,44 @@ pgfxycurve(2.65,2.5)(3.75,2.5)(7,1)(7,1.9)}
 
 \begin_layout Plain Layout
 
+
+\backslash
+end{pgfpicture}   
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
 
-\backslash
-end{pgfpicture}   
 \end_layout
 
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
 \end_inset
 
 
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Logspace Turing Machines Are Quite Powerful
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Block
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Deterministic logspace machines can compute}
+Deterministic logspace machines can compute
 \end_layout
 
 \end_inset
@@ -2579,12 +2434,11 @@ reachability in forests.
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Non-deterministic logspace machines can compute}
+Non-deterministic logspace machines can compute
 \end_layout
 
 \end_inset
@@ -2606,20 +2460,48 @@ satisfiability with two literals per clause.
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
-\begin_inset ERT
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
+1
+\end_layout
+
+\end_inset
 
-<1>[label=hierarchy]
+
+\begin_inset Argument 3
+status collapsed
+
+\begin_layout Plain Layout
+label=hierarchy
 \end_layout
 
 \end_inset
 
+
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Complexity Class Hierarchy
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
 status collapsed
@@ -2633,22 +2515,14 @@ begin{pgfpicture}{-5.4cm}{0cm}{5.4cm}{5.5cm}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetlinewidth{0.8pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 heap{5.5}{3.5}{$
 \backslash
@@ -2657,22 +2531,14 @@ Class P$}{black}{1}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetdash{{2pt}}{0pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<2->{
 \backslash
@@ -2683,11 +2549,7 @@ Class{NC}^2$}{black!50!structure}{2}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 heap{3.5}{2.5}{$
 \backslash
@@ -2696,11 +2558,7 @@ Class{NL}$}{black!50!structure}{3}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 heap{2.5}{2}{$
 \backslash
@@ -2709,109 +2567,85 @@ Class{L}$}{black!50!structure}{4}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<2->{
 \backslash
 heap{1.75}{1.5}{$
 \backslash
-vphantom{A}
+vphantom{A}%
+\end_layout
+
+\begin_layout Plain Layout
+
+  
 \backslash
 smash{
 \backslash
-Class{NC}^1}$}{black!50!structure}{5}}
+Class{NC}^1}$}{black!50!structure}{5}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-  
+
 \backslash
 pgfsetdash{}{0pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<2->{
 \backslash
 heap{1.1}{1}{$
 \backslash
-vphantom{A}
-\backslash
-smash{
-\backslash
-Class{AC}^0}$}{black}{6}}
+vphantom{A}%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+smash{
+\backslash
+Class{AC}^0}$}{black}{6}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetlinewidth{1.0pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{black}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfxyline(-5,0)(5,0)
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<1-2>{
 \backslash
@@ -2822,11 +2656,7 @@ Lang{reach}$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<1-2>{
 \backslash
@@ -2839,19 +2669,7 @@ operatorname{forest}}$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<2>{
 \backslash
@@ -2862,11 +2680,7 @@ Lang{addition}$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<2>{
 \backslash
@@ -2885,11 +2699,7 @@ Lang{parity}$}}}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<3-5>{
 \backslash
@@ -2908,11 +2718,7 @@ Lang{reach}$}}}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<4->{
 \backslash
@@ -2925,11 +2731,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -2942,11 +2744,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -2959,11 +2757,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -2976,26 +2770,23 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
 Lang{reach}_{
 \backslash
-operatorname{path}}$}}}}
+operatorname{path}}$}}}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-  
+
 \backslash
 only<5->{
 \backslash
@@ -3008,11 +2799,7 @@ operatorname{tourn}}$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<6->{
 \backslash
@@ -3025,11 +2812,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -3042,11 +2825,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -3057,38 +2836,41 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
-Lang{reach}$}}}}
+Lang{reach}$}}}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-  
+
 \backslash
 only<7->{
 \backslash
-pgfsetdash{{1pt}}{0pt}
-\backslash
+pgfsetdash{{1pt}}{0pt}%
+\end_layout
+
+\begin_layout Plain Layout
+
+  
+\backslash
 langat{2.375}{``$
 \backslash
 Lang{approx}_{
 \backslash
-operatorname{tourn}}$''}}
+operatorname{tourn}}$''}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
@@ -3103,7 +2885,19 @@ end{pgfpicture}
 
 \end_layout
 
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Circuit Complexity Classes AC
 \begin_inset Formula $^{0}$
 \end_inset
@@ -3123,6 +2917,12 @@ The Circuit Complexity Classes AC
 Limit the Circuit Depth
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
 status collapsed
@@ -3138,10 +2938,6 @@ leftmargini{1em}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 
 \backslash
 nointerlineskip 
@@ -3153,12 +2949,11 @@ nointerlineskip
 \end_layout
 
 \begin_layout Columns
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
-
-[t]
+t
 \end_layout
 
 \end_inset
@@ -3172,27 +2967,15 @@ status collapsed
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 2
+status open
 
 \begin_layout Plain Layout
-
-{
-\end_layout
-
-\end_inset
-
 Circuit Class 
 \begin_inset Formula $\Class{AC}^{0}$
 \end_inset
 
 
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
 \end_layout
 
 \end_inset
@@ -3242,27 +3025,15 @@ unbounded fan-in
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 2
+status open
 
 \begin_layout Plain Layout
-
-{
-\end_layout
-
-\end_inset
-
 Circuit Class 
 \begin_inset Formula $\Class{NC}^{1}$
 \end_inset
 
 
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
 \end_layout
 
 \end_inset
@@ -3319,27 +3090,15 @@ bounded fan-in
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 2
+status open
 
 \begin_layout Plain Layout
-
-{
-\end_layout
-
-\end_inset
-
 Circuit Class 
 \begin_inset Formula $\Class{NC}^{2}$
 \end_inset
 
 
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
 \end_layout
 
 \end_inset
@@ -3372,15 +3131,15 @@ bounded fan-in
 .
 \end_layout
 
+\end_deeper
 \end_deeper
 \end_deeper
 \begin_layout AgainFrame
-\begin_inset ERT
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
-
-<2>
+2
 \end_layout
 
 \end_inset
@@ -3392,7 +3151,11 @@ hierarchy
 Standard Complexity Results on Finding Paths
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 All Variants of Finding Paths in Directed Graphs
 \begin_inset Newline newline
 \end_inset
@@ -3400,6 +3163,12 @@ All Variants of Finding Paths in Directed Graphs
 Are Equally Difficult
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Fact
 \begin_inset Formula $\Lang{reach}$
 \end_inset
@@ -3457,14 +3226,14 @@ the approximation problem in logspace iff
 .
 \end_layout
 
+\end_deeper
 \end_deeper
 \begin_layout AgainFrame
-\begin_inset ERT
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
-
-<3>
+3
 \end_layout
 
 \end_inset
@@ -3472,14 +3241,24 @@ status collapsed
 hierarchy
 \end_layout
 
-\begin_layout BeginFrame
-FindingPaths in Forests and Directed Paths is Easy,
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
+Finding Paths in Forests and Directed Paths is Easy,
 \begin_inset Newline newline
 \end_inset
 
 But Not Trivial
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Fact
 \begin_inset Formula $\Lang{reach}_{\operatorname{forest}}$
 \end_inset
@@ -3495,7 +3274,10 @@ But Not Trivial
 -complete.
 \end_layout
 
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
 
 \end_layout
 
@@ -3514,13 +3296,13 @@ But Not Trivial
 -complete.
 \end_layout
 
+\end_deeper
 \begin_layout AgainFrame
-\begin_inset ERT
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
-
-<4>
+4
 \end_layout
 
 \end_inset
@@ -3536,10 +3318,20 @@ Finding Paths in Tournaments
 Complexity of: Does a Path Exist?
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Definition of the Tournament Reachability Problem
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 Let
 \color none
@@ -3589,10 +3381,28 @@ there exists a path from
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Tournament Reachability Problem is Very Easy
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 \begin_inset Formula $\Lang{reach}_{\operatorname{tourn}}\in\Class{AC}^{0}$
 \end_inset
@@ -3605,12 +3415,11 @@ The Tournament Reachability Problem is Very Easy
 \end_layout
 
 \begin_layout AlertBlock
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Implications}
+Implications
 \end_layout
 
 \end_inset
@@ -3646,14 +3455,14 @@ easier
 .
 \end_layout
 
+\end_deeper
 \end_deeper
 \begin_layout AgainFrame
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
-
-<5>
+5
 \end_layout
 
 \end_inset
@@ -3665,7 +3474,11 @@ hierarchy
 Complexity of: Construct a Shortest Path
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Finding a Shortest Path Is as Difficult as
 \begin_inset Newline newline
 \end_inset
@@ -3673,6 +3486,12 @@ Finding a Shortest Path Is as Difficult as
 the Distance Problem
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 Let
 \color none
@@ -3726,10 +3545,28 @@ the distance of
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Tournament Distance Problem is Hard
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 \begin_inset Formula $\Lang{distance}_{\operatorname{tourn}}$
 \end_inset
@@ -3790,7 +3627,19 @@ in logarithmic space, iff
 .
 \end_layout
 
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Proof That 
 \begin_inset Formula $\Lang{distance}_{\operatorname{tourn}}$
 \end_inset
@@ -3798,6 +3647,12 @@ Proof That
  is NL-complete
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
 status collapsed
@@ -3815,12 +3670,11 @@ nointerlineskip
 \end_layout
 
 \begin_layout Columns
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
-
-[t,onlytextwidth]
+t,onlytextwidth
 \end_layout
 
 \end_inset
@@ -3852,16 +3706,10 @@ leftmargini{1.5em}
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 2
+status open
 
 \begin_layout Plain Layout
-
-{
-\end_layout
-
-\end_inset
-
 Reduce 
 \begin_inset Formula $\Lang{reach}$
 \end_inset
@@ -3871,12 +3719,6 @@ Reduce
 \end_inset
 
 
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
 \end_layout
 
 \end_inset
@@ -3886,12 +3728,11 @@ status collapsed
 
 \begin_deeper
 \begin_layout Enumerate
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<alert@1>
+alert@1
 \end_layout
 
 \end_inset
@@ -3908,12 +3749,11 @@ Is input
 \end_layout
 
 \begin_layout Enumerate
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<2-| alert@2-8>
+2-| alert@2-8
 \end_layout
 
 \end_inset
@@ -3930,12 +3770,11 @@ Map
 \end_layout
 
 \begin_layout Enumerate
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<9-| alert@9>
+9-| alert@9
 \end_layout
 
 \end_inset
@@ -3952,39 +3791,29 @@ Query:
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
 
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 2
+status open
 
 \begin_layout Plain Layout
-
-{
-\end_layout
-
-\end_inset
-
 Correctness
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
 \end_layout
 
 \end_inset
 
 
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
-
-<10->
+10-
 \end_layout
 
 \end_inset
@@ -3994,12 +3823,11 @@ status collapsed
 
 \begin_deeper
 \begin_layout Enumerate
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<10-| alert@10-11>
+10-| alert@10-11
 \end_layout
 
 \end_inset
@@ -4028,12 +3856,11 @@ a length-3 path in
 \end_layout
 
 \begin_layout Enumerate
-\begin_inset ERT
-status collapsed
+\begin_inset Argument item:2
+status open
 
 \begin_layout Plain Layout
-
-<12-| alert@12-13>
+12-| alert@12-13
 \end_layout
 
 \end_inset
@@ -4079,33 +3906,21 @@ begin{pgfpicture}{0cm}{-1.25cm}{4.5cm}{3.75cm}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetlinewidth{0.6pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{A}{
 \backslash
@@ -4114,11 +3929,7 @@ pgfxy(1,3.3)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{B}{
 \backslash
@@ -4127,11 +3938,7 @@ pgfxy(2,3.3)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{C}{
 \backslash
@@ -4140,11 +3947,7 @@ pgfxy(3,3.3)}
 
 \begin_layout Plain Layout
 
-\end_layout
 
-\begin_layout Plain Layout
-
-  
 \backslash
 graphnode{D}{
 \backslash
@@ -4153,30 +3956,14 @@ pgfxy(4,3.3)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{white}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -4187,11 +3974,7 @@ pgfbox[center,center]{$s$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -4202,30 +3985,14 @@ pgfbox[center,center]{$t$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfsetendarrow{
 \backslash
@@ -4234,33 +4001,21 @@ pgfarrowto}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodesetsepstart{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfnodesetsepend{2pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 alert<3>{
 \backslash
@@ -4269,11 +4024,7 @@ pgfnodeconnline{B}{A}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 alert<4>{
 \backslash
@@ -4282,11 +4033,7 @@ pgfnodeconnline{B}{C}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 alert<5,10-11,13>{
 \backslash
@@ -4295,11 +4042,7 @@ pgfnodeconnline{C}{D}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 alert<6,10-11,13>{
 \backslash
@@ -4308,20 +4051,7 @@ pgfnodeconncurve{A}{C}{45}{135}{15pt}{15pt}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-   
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -4334,30 +4064,14 @@ colon$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
-only<2->{
+only<2->{%
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfputat{
 \backslash
@@ -4370,11 +4084,7 @@ colon$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A1}{
 \backslash
@@ -4383,11 +4093,7 @@ pgfxy(1,2.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B1}{
 \backslash
@@ -4396,11 +4102,7 @@ pgfxy(2,2.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C1}{
 \backslash
@@ -4409,11 +4111,7 @@ pgfxy(3,2.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D1}{
 \backslash
@@ -4422,19 +4120,7 @@ pgfxy(4,2.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A2}{
 \backslash
@@ -4443,11 +4129,7 @@ pgfxy(1,1.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B2}{
 \backslash
@@ -4456,11 +4138,7 @@ pgfxy(2,1.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C2}{
 \backslash
@@ -4469,11 +4147,7 @@ pgfxy(3,1.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D2}{
 \backslash
@@ -4482,11 +4156,7 @@ pgfxy(4,1.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A3}{
 \backslash
@@ -4495,11 +4165,7 @@ pgfxy(1,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B3}{
 \backslash
@@ -4508,11 +4174,7 @@ pgfxy(2,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C3}{
 \backslash
@@ -4521,11 +4183,7 @@ pgfxy(3,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D3}{
 \backslash
@@ -4534,11 +4192,7 @@ pgfxy(4,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A4}{
 \backslash
@@ -4547,11 +4201,7 @@ pgfxy(1,-.75)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B4}{
 \backslash
@@ -4560,11 +4210,7 @@ pgfxy(2,-.75)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C4}{
 \backslash
@@ -4573,11 +4219,7 @@ pgfxy(3,-.75)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D4}{
 \backslash
@@ -4586,22 +4228,14 @@ pgfxy(4,-.75)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-     {
+   {
 \backslash
 color{white}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-      
+    
 \backslash
 pgfputat{
 \backslash
@@ -4612,11 +4246,7 @@ pgfbox[center,center]{$s'$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-      
+    
 \backslash
 pgfputat{
 \backslash
@@ -4627,1112 +4257,670 @@ pgfbox[center,center]{$t'$}}
 
 \begin_layout Plain Layout
 
+   }
 \end_layout
 
 \begin_layout Plain Layout
 
-  }}
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-   
+\backslash
+only<8->{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfsetlinewidth{0.4pt}
 \end_layout
 
 \begin_layout Plain Layout
 
   
 \backslash
-only<8->{
+color{beamerexample!25!averagebackgroundcolor}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{A2}{C1}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfsetlinewidth{0.4pt}
+pgfnodeconnline{A2}{D1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B2}{A1}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-color{beamerexample!25!averagebackgroundcolor}
+pgfnodeconnline{B2}{C1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B2}{D1}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{A2}{C1}
+pgfnodeconnline{C2}{D1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{D2}{A1}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{A2}{D1}
+pgfnodeconnline{D2}{B1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{A3}{C2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B2}{A1}
+pgfnodeconnline{A3}{D2}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B2}{C1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B2}{D1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{C2}{D1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{D2}{A1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{D2}{B1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{A3}{C2}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{A3}{D2}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{B3}{A2}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{B3}{C2}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{B3}{D2}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{C3}{D2}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{D3}{A2}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{D3}{B2}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{A4}{C3}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{A4}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{B4}{A3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B4}{C3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-pgfnodeconnline{B4}{C3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B4}{D3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{C4}{D3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{D4}{A3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{D4}{B3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfsetstartarrow{
-\backslash
-pgfarrowto}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{A1}{B1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B1}{C1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{C1}{D1}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{A2}{B2}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B2}{C2}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{C2}{D2}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{A3}{B3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B3}{C3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{C3}{D3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{A4}{B4}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B4}{C4}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{C4}{D4}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfclearstartarrow
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{A3}{A1}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{A4}{A2}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{A4}{A1}{135}{-135}{15pt}{15pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{B3}{B1}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{B4}{B2}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{B4}{B1}{135}{-135}{15pt}{15pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{C3}{C1}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{C4}{C2}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{C4}{C1}{135}{-135}{15pt}{15pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{D3}{D1}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{D4}{D2}{135}{-135}{10pt}{10pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconncurve{D4}{D1}{135}{-135}{15pt}{15pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-color{beamerexample}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfsetlinewidth{0.6pt}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-  }
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-  
-\backslash
-only<3->{
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-color<3>{red}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B1}{A2}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B2}{A3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B3}{A4}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-  }
-\end_layout
-
-\begin_layout Plain Layout
-
+  
+\backslash
+pgfnodeconnline{B4}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{C4}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{D4}{A3}
 \end_layout
 
 \begin_layout Plain Layout
 
   
 \backslash
-only<4->{
+pgfnodeconnline{D4}{B3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfsetstartarrow{
+\backslash
+pgfarrowto}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-color<4>{red}
+pgfnodeconnline{A1}{B1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B1}{C1}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B1}{C2}
+pgfnodeconnline{C1}{D1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{A2}{B2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B2}{C3}
+pgfnodeconnline{B2}{C2}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{C2}{D2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B3}{C4}
+pgfnodeconnline{A3}{B3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B3}{C3}
 \end_layout
 
 \begin_layout Plain Layout
 
-  }
+  
+\backslash
+pgfnodeconnline{C3}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{A4}{B4}
 \end_layout
 
 \begin_layout Plain Layout
 
   
+\backslash
+pgfnodeconnline{B4}{C4}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{C4}{D4}
 \end_layout
 
 \begin_layout Plain Layout
 
   
 \backslash
-only<5->{
+pgfclearstartarrow
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconncurve{A3}{A1}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-color<5>{red}
+pgfnodeconncurve{A4}{A2}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconncurve{A4}{A1}{135}{-135}{15pt}{15pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{C1}{D2} 
+pgfnodeconncurve{B3}{B1}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconncurve{B4}{B2}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-alert<11>{
+  
 \backslash
-pgfnodeconnline{C2}{D3}}
+pgfnodeconncurve{B4}{B1}{135}{-135}{15pt}{15pt}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconncurve{C3}{C1}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-alert<12-13>{
+  
 \backslash
-pgfnodeconnline{C3}{D4}}
+pgfnodeconncurve{C4}{C2}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconncurve{C4}{C1}{135}{-135}{15pt}{15pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-  }
+  
+\backslash
+pgfnodeconncurve{D3}{D1}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconncurve{D4}{D2}{135}{-135}{10pt}{10pt}
 \end_layout
 
 \begin_layout Plain Layout
 
- 
+  
+\backslash
+pgfnodeconncurve{D4}{D1}{135}{-135}{15pt}{15pt}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+color{beamerexample}
 \end_layout
 
 \begin_layout Plain Layout
 
   
 \backslash
-only<6->{
+pgfsetlinewidth{0.6pt}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+
 \backslash
-color<6>{red}
+only<3->{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+color<3>{red}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-alert<11>{
+  
 \backslash
-pgfnodeconnline{A1}{C2}}
+pgfnodeconnline{B1}{A2}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B2}{A3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
-\backslash
-alert<12-13>{
+  
 \backslash
-pgfnodeconnline{A2}{C3}}
+pgfnodeconnline{B3}{A4}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+
 \backslash
-pgfnodeconnline{A3}{C4}
+only<4->{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+color<4>{red}
 \end_layout
 
 \begin_layout Plain Layout
 
-  } 
+  
+\backslash
+pgfnodeconnline{B1}{C2}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B2}{C3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B3}{C4}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-  
+
 \backslash
-only<7->{
+only<5->{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+color<5>{red}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-color<7>{red}
+pgfnodeconnline{C1}{D2} 
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+alert<11>{
+\backslash
+pgfnodeconnline{C2}{D3}}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
 alert<12-13>{
 \backslash
-pgfnodeconnline{A1}{A2}}
+pgfnodeconnline{C3}{D4}}
 \end_layout
 
 \begin_layout Plain Layout
 
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+
 \backslash
-pgfnodeconnline{A2}{A3}
+only<6->{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+color<6>{red}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{A3}{A4}
+alert<11>{
+\backslash
+pgfnodeconnline{A1}{C2}}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+alert<12-13>{
+\backslash
+pgfnodeconnline{A2}{C3}}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B1}{B2}
+pgfnodeconnline{A3}{C4}
 \end_layout
 
 \begin_layout Plain Layout
 
+} 
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+
 \backslash
-pgfnodeconnline{B2}{B3}
+only<7->{%
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+color<7>{red}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B3}{B4}
+alert<12-13>{
+\backslash
+pgfnodeconnline{A1}{A2}}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{A2}{A3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{C1}{C2}
+pgfnodeconnline{A3}{A4}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B1}{B2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{C2}{C3}
+pgfnodeconnline{B2}{B3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B3}{B4}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{C3}{C4}
+pgfnodeconnline{C1}{C2}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{C2}{C3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{D1}{D2}
+pgfnodeconnline{C3}{C4}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{D1}{D2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
 pgfnodeconnline{D2}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<11>{
 \backslash
@@ -5741,15 +4929,7 @@ pgfnodeconnline{D3}{D4}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-  }
-\end_layout
-
-\begin_layout Plain Layout
-
+}
 \end_layout
 
 \begin_layout Plain Layout
@@ -5764,14 +4944,14 @@ end{pgfpicture}
 
 \end_layout
 
+\end_deeper
 \end_deeper
 \begin_layout AgainFrame
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
-
-<6>
+6
 \end_layout
 
 \end_inset
@@ -5783,10 +4963,20 @@ hierarchy
 Complexity of: Approximating the Shortest Path
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Approximators Compute Paths that Are Nearly As Short As a Shortest Path
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 An
 \color none
@@ -5845,7 +5035,19 @@ a path from
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 There Exists a Logspace Approximation Scheme for
 \begin_inset Newline newline
 \end_inset
@@ -5853,6 +5055,12 @@ There Exists a Logspace Approximation Scheme for
 the Tournament Shortest Path Problem
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 There exists an approximation scheme for 
 \begin_inset Formula $\Lang{tournament-shortest-path}$
@@ -5863,8 +5071,10 @@ There exists an approximation scheme for
 \end_inset
 
  needs space
-\begin_inset Formula \[
-O\left(\log|V|\log\frac{1}{r-1}\right).\]
+\begin_inset Formula 
+\[
+O\left(\log|V|\log\frac{1}{r-1}\right).
+\]
 
 \end_inset
 
@@ -5901,13 +5111,13 @@ beamergotobutton{More Details}}
 
 \end_layout
 
+\end_deeper
 \begin_layout AgainFrame
-\begin_inset ERT
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
-
-<7>
+7
 \end_layout
 
 \end_inset
@@ -5915,10 +5125,6 @@ status collapsed
 hierarchy
 \end_layout
 
-\begin_layout EndFrame
-
-\end_layout
-
 \begin_layout Standard
 \begin_inset Note Note
 status open
@@ -5933,14 +5139,8 @@ fragile
 \end_inset
 
 .
- This is not yet supported by LyX, so the frame is created using TeX code.
- Note that the 
-\backslash
-begin{frame}[fragile] needs to be preceeded by an 
-\emph on
-EndFrame
-\emph default
- environment.
+ \SpecialChar LyX
+ has the FragileFrame layout for this.
 \end_layout
 
 \end_inset
@@ -5948,42 +5148,12 @@ EndFrame
 
 \end_layout
 
-\begin_layout Standard
-\begin_inset ERT
+\begin_layout FragileFrame
+\begin_inset Argument 4
 status open
 
 \begin_layout Plain Layout
-
-
-\backslash
-begin{frame}[fragile]
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-frametitle{
-\end_layout
-
-\end_inset
-
 Just a frame with a program code listing
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-}
 \end_layout
 
 \end_inset
@@ -5991,10 +5161,11 @@ status collapsed
 
 \end_layout
 
-\begin_layout Standard
+\begin_layout FragileFrame
 This is some program code:
 \end_layout
 
+\begin_deeper
 \begin_layout Standard
 \begin_inset listings
 lstparams "extendedchars=true,language=Python,numbers=left,stepnumber=3,tabsize=4"
@@ -6051,22 +5222,7 @@ pass
 
 \end_layout
 
-\begin_layout Standard
-\begin_inset ERT
-status open
-
-\begin_layout Plain Layout
-
-
-\backslash
-end{frame}
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
+\end_deeper
 \begin_layout Section*
 Summary
 \end_layout
@@ -6075,17 +5231,26 @@ Summary
 Summary
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Summary
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Block
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Summary}
+Summary
 \end_layout
 
 \end_inset
@@ -6160,17 +5325,19 @@ in tournaments is
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
 
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
+\begin_inset Argument 2
 status collapsed
 
 \begin_layout Plain Layout
-
-{Outlook}
+Outlook
 \end_layout
 
 \end_inset
@@ -6233,18 +5400,29 @@ beamergotobutton{More Details}}
 
 \end_layout
 
+\end_deeper
 \end_deeper
 \begin_layout Subsection*
 For Further Reading
 \end_layout
 
-\begin_layout BeginFrame
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 For Further Reading
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
-status collapsed
+status open
 
 \begin_layout Plain Layout
 
@@ -6424,20 +5602,17 @@ newblock
  In press.
 \end_layout
 
-\begin_layout EndFrame
-
-\end_layout
-
+\end_deeper
 \begin_layout Standard
 \start_of_appendix
 \begin_inset ERT
-status collapsed
+status open
 
 \begin_layout Plain Layout
 
 
 \backslash
-AtBeginSubsection[]{} 
+AtBeginSubsection[]{}
 \end_layout
 
 \end_inset
@@ -6453,20 +5628,30 @@ Appendix
 Graphs With Bounded Independence Number
 \end_layout
 
-\begin_layout BeginFrame
-\begin_inset ERT
+\begin_layout Frame
+\begin_inset Argument 3
 status collapsed
 
 \begin_layout Plain Layout
-
-[label=independence]
+label=independence
 \end_layout
 
 \end_inset
 
+
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 Definition of Independence Number of a Graph
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 The
 \color none
@@ -6496,7 +5681,19 @@ Tournaments have independence number 1.
  
 \end_layout
 
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
+
+\end_layout
+
+\begin_layout Frame
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Results for Tournaments also Apply to
 \begin_inset Newline newline
 \end_inset
@@ -6504,6 +5701,12 @@ The Results for Tournaments also Apply to
 Graphs With Bounded Independence Number
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 For each
 \begin_inset space ~
@@ -6540,7 +5743,10 @@ at most
 .
 \end_layout
 
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
 
 \end_layout
 
@@ -6573,7 +5779,10 @@ for approximating the shortest path in graphs with independence number at
 
 \end_layout
 
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator plain
+\end_inset
+
 
 \end_layout
 
@@ -6615,21 +5824,36 @@ in graphs with independence number at most
 .
 \end_layout
 
+\end_deeper
 \begin_layout Subsection
 Finding Paths in Undirected Graphs
 \end_layout
 
-\begin_layout BeginFrame
-\begin_inset ERT
+\begin_layout Frame
+\begin_inset Argument 1
 status collapsed
 
 \begin_layout Plain Layout
+1-2
+\end_layout
+
+\end_inset
+
+
+\begin_inset Argument 3
+status collapsed
 
-<1-2>[label=undirected]
+\begin_layout Plain Layout
+label=undirected
 \end_layout
 
 \end_inset
 
+
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Complexity of Finding Paths in Undirected Graphs
 \begin_inset Newline newline
 \end_inset
@@ -6637,6 +5861,12 @@ The Complexity of Finding Paths in Undirected Graphs
 Is Party Unknown.
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Fact
 \begin_inset Formula $\Lang{reach}_{\operatorname{undirected}}$
 \end_inset
@@ -6663,20 +5893,43 @@ the reachability problem in logspace iff
 
 \begin_layout Itemize
 the construction problem in logspace iff 
-\begin_inset ERT
-status collapsed
+\begin_inset Flex Alternative
+status open
+
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
+1
+\end_layout
+
+\end_inset
+
+
+\begin_inset Argument 2
+status open
+
+\begin_layout Plain Layout
+?
+\end_layout
+
+\end_inset
+
+
+\begin_inset Flex Alert
+status open
+
+\begin_layout Plain Layout
+\begin_inset Formula $\Class L=\Class{SL}$
+\end_inset
+
+
+\end_layout
+
+\end_inset
 
 
-\backslash
-alt<1>{?}{
-\backslash
-alert{$
-\backslash
-Class L = 
-\backslash
-Class{SL}$}}
 \end_layout
 
 \end_inset
@@ -6686,20 +5939,43 @@ Class{SL}$}}
 
 \begin_layout Itemize
 the optimization problem in logspace iff 
-\begin_inset ERT
-status collapsed
+\begin_inset Flex Alternative
+status open
 
 \begin_layout Plain Layout
+\begin_inset Argument 1
+status open
+
+\begin_layout Plain Layout
+1
+\end_layout
+
+\end_inset
+
+
+\begin_inset Argument 2
+status open
+
+\begin_layout Plain Layout
+?
+\end_layout
+
+\end_inset
+
+
+\begin_inset Flex Alert
+status open
+
+\begin_layout Plain Layout
+\begin_inset Formula $\Class L=\Class{NL}$
+\end_inset
+
+
+\end_layout
+
+\end_inset
 
 
-\backslash
-alt<1>{?}{
-\backslash
-alert{$
-\backslash
-Class L = 
-\backslash
-Class{NL}$}}
 \end_layout
 
 \end_inset
@@ -6712,25 +5988,36 @@ the approximation problem in logspace iff ?.
  
 \end_layout
 
+\end_deeper
 \end_deeper
 \begin_layout Subsection
 The Approximation Scheme is Optimal
 \end_layout
 
-\begin_layout BeginFrame
-\begin_inset ERT
+\begin_layout Frame
+\begin_inset Argument 3
 status collapsed
 
 \begin_layout Plain Layout
-
-[label=optimality]
+label=optimality
 \end_layout
 
 \end_inset
 
+
+\begin_inset Argument 4
+status open
+
+\begin_layout Plain Layout
 The Approximation Scheme is Optimal
 \end_layout
 
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 Suppose there exists an approximation scheme for 
 \begin_inset Formula $\Lang{tournament-shortest-path}$
@@ -6814,9 +6101,6 @@ qedhere
 \end_layout
 
 \end_deeper
-\begin_layout EndFrame
-
-\end_layout
-
+\end_deeper
 \end_body
 \end_document