French UserGuide.lyx: another update from Jean-Pierre

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

diff --git a/lib/examples/beamerlyxexample1.lyx b/lib/examples/beamerlyxexample1.lyx
index 0137307b0ea5c89a23e9ef83b56858c43136e3c0..f595947dedf296f3aa5be2cead5cf40a4ac6c3f2 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 506
 \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,24 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset CommandInset toc
 LatexCommand tableofcontents
@@ -246,13 +289,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 +301,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 +320,6 @@ frame<handout:0>{
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 frametitle{Outline}   
@@ -303,19 +327,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 +339,6 @@ tableofcontents[current,currentsubsection]
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 }
 \end_layout
 
@@ -343,11 +355,28 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Columns
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -369,90 +398,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 +480,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 +494,6 @@ pgfsetlinewidth{0.6pt}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{A}{B}
@@ -496,10 +501,6 @@ pgfnodeconnline{A}{B}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{A}{C}
@@ -507,10 +508,6 @@ pgfnodeconnline{A}{C}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{D}{A}
@@ -518,10 +515,6 @@ pgfnodeconnline{D}{A}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{C}{B}
@@ -529,10 +522,6 @@ pgfnodeconnline{C}{B}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
     
 \backslash
 pgfnodeconnline{B}{D}
@@ -540,17 +529,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,27 +556,29 @@ 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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \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 +587,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 +600,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,11 +614,36 @@ In every joust one knight wins.
 
 \end_deeper
 \end_deeper
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Columns
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -654,33 +665,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 +688,7 @@ pgfxy(2.5,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{B}{
 \backslash
@@ -702,11 +697,7 @@ pgfxy(5.5,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{C}{
 \backslash
@@ -715,11 +706,7 @@ pgfxy(4,-0.5)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{D}{
 \backslash
@@ -728,30 +715,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 +733,7 @@ pgfbox[center,center]{$v_2$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -777,11 +744,7 @@ pgfbox[center,center]{$v_3$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -792,11 +755,7 @@ pgfbox[center,center]{$v_4$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -807,30 +766,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 +782,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 +853,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
@@ -965,6 +871,10 @@ tournament
  
 \color inherit
 is a
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -982,32 +892,57 @@ any two different vertices.
 
 \end_deeper
 \end_deeper
-\begin_layout BeginFrame
-\begin_inset ERT
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
+
+
+\begin_inset Separator parbreak
+\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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -1021,22 +956,28 @@ The comparison relation may be cyclic, however.
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -1050,22 +991,28 @@ Reviewers decide for any two candidates whom they prefer.
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -1089,115 +1036,167 @@ 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_inset Separator parbreak
+\end_inset
 
-\begin_layout Plain Layout
 
 \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
 
+\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
-\backslash
-only<1>{Path Finding Problems}
-\backslash
-ignorespaces
+\begin_layout Plain Layout
+1
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
+Path Finding Problems
 \end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
 
-\backslash
-only<2-3>{$
-\backslash
-Lang{reach}$}
-\backslash
-ignorespaces
-\end_layout
+\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
+
+
+\begin_inset Formula $\Lang{reach}$
+\end_inset
 
 
-\backslash
-only<4-5>{the Construction Problem}
-\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
+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
 
-\begin_layout Plain Layout
+\end_inset
+
+the Approximation Problem
+\end_layout
+
+\end_inset
 
 
-\backslash
-only<10->{the Approximation Problem}}
 \end_layout
 
 \end_inset
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -1242,12 +1241,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 +1281,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,56 +1323,93 @@ 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
+
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
 \begin_deeper
-\begin_layout Standard
-\begin_inset ERT
-status collapsed
+\begin_layout Columns
+\begin_inset Argument 1
+status open
 
 \begin_layout Plain Layout
+t,onlytextwidth
+\end_layout
 
+\end_inset
 
-\backslash
-onslide<1,3,5,7,9,11-12>
-\end_layout
 
+\begin_inset Separator parbreak
 \end_inset
 
 
 \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,17 +1418,20 @@ 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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -1729,16 +1766,33 @@ end{pgfpicture}
 
 \end_deeper
 \begin_layout Standard
-\begin_inset ERT
-status collapsed
+\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 open
 
 \begin_layout Plain Layout
 
 
 \backslash
-only<3->{
-\backslash
-column{5cm}}
+column{5cm}
+\end_layout
+
+\end_inset
+
+
 \end_layout
 
 \end_inset
@@ -1747,17 +1801,30 @@ 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
 
-<only@3->{Example Output}
+
+\begin_inset Argument 2
+status collapsed
+
+\begin_layout Plain Layout
+Example Output
 \end_layout
 
 \end_inset
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -1774,44 +1841,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 +1871,7 @@ pgfxy(3,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B}{
 \backslash
@@ -1833,11 +1880,7 @@ pgfxy(5,1)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C}{
 \backslash
@@ -1846,11 +1889,7 @@ pgfxy(4,0)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D}{
 \backslash
@@ -1859,30 +1898,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 +1916,7 @@ pgfbox[center,center]{$t$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfputat{
 \backslash
@@ -1908,30 +1927,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 +1943,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 +1966,7 @@ pgfnodeconnline{A}{B}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<5,11>{
 \backslash
@@ -1997,11 +1975,7 @@ pgfnodeconnline{A}{C}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<5,7,11-12>{
 \backslash
@@ -2010,11 +1984,7 @@ pgfnodeconnline{D}{A}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 alert<5,11>{
 \backslash
@@ -2023,42 +1993,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 +2027,6 @@ alert{``Yes''}}}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 
 \backslash
 end{pgfpicture}
@@ -2089,70 +2039,58 @@ 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
+2,4,6,8,10
+\end_layout
 
+\end_inset
 
-\backslash
-onslide<2,4,6,8,10>
-\end_layout
 
+\begin_inset Separator parbreak
 \end_inset
 
 
 \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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \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 +2103,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 +2145,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 +2174,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 +2211,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 +2243,7 @@ Construct a path from
 approximately their distance.
 \end_layout
 
+\end_deeper
 \end_deeper
 \end_deeper
 \begin_layout Section
@@ -2332,7 +2273,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 +2285,19 @@ The Classes L and NL are Defined via
 Logspace Turing Machines
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
-status open
+status collapsed
 
 \begin_layout Plain Layout
 
@@ -2353,67 +2308,67 @@ begin{pgfpicture}{-0.5cm}{0cm}{8cm}{5cm}
 
 \begin_layout Plain Layout
 
-\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
-
+pgfxy(0,4)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
   
 \backslash
-uncover<2->{
+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
 pgfputat{
 \backslash
-pgfxy(0,0.5)}{
-\backslash
-tape{}{output tape (write only)}{10690836937182}}}
+pgfxy(0,0.5)}{%
 \end_layout
 
 \begin_layout Plain Layout
 
+     
+\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
 
-    
+  
 \backslash
 pgfputat{
 \backslash
-pgfxy(7,2)}{
+pgfxy(7,2)}{%
+\end_layout
+
+\begin_layout Plain Layout
+
+     
 \backslash
 shorttape{work tape (read/write), $O(
 \backslash
@@ -2422,15 +2377,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 +2395,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 +2423,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 +2439,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,36 +2448,57 @@ 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 parbreak
 \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
+
+
+\begin_inset Separator parbreak
+\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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -2579,17 +2520,20 @@ 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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -2606,20 +2550,52 @@ satisfiability with two literals per clause.
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
-\begin_inset ERT
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
 status collapsed
@@ -2633,22 +2609,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 +2625,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 +2643,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 +2652,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 +2661,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 +2750,7 @@ Lang{reach}$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<1-2>{
 \backslash
@@ -2839,19 +2763,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 +2774,7 @@ Lang{addition}$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<2>{
 \backslash
@@ -2885,11 +2793,7 @@ Lang{parity}$}}}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<3-5>{
 \backslash
@@ -2908,11 +2812,7 @@ Lang{reach}$}}}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<4->{
 \backslash
@@ -2925,11 +2825,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -2942,11 +2838,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -2959,11 +2851,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -2976,26 +2864,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 +2893,7 @@ operatorname{tourn}}$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 only<6->{
 \backslash
@@ -3025,11 +2906,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -3042,11 +2919,7 @@ ignorespaces
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 hbox{$
 \backslash
@@ -3057,38 +2930,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}
+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 +2979,19 @@ end{pgfpicture}
 
 \end_layout
 
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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 +3011,16 @@ The Circuit Complexity Classes AC
 Limit the Circuit Depth
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
 status collapsed
@@ -3138,10 +3036,6 @@ leftmargini{1em}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
 
 \backslash
 nointerlineskip 
@@ -3153,17 +3047,20 @@ 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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -3172,29 +3069,21 @@ 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
+\end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
-}
-\end_layout
 
+\begin_inset Separator parbreak
 \end_inset
 
 
@@ -3214,6 +3103,9 @@ unbounded fan-in
 
 \end_deeper
 \begin_layout Examples
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -3242,29 +3134,21 @@ 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
+\end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
-}
-\end_layout
 
+\begin_inset Separator parbreak
 \end_inset
 
 
@@ -3284,6 +3168,9 @@ bounded fan-in
 
 \end_deeper
 \begin_layout Examples
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -3319,29 +3206,21 @@ 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
+\end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
-}
-\end_layout
 
+\begin_inset Separator parbreak
 \end_inset
 
 
@@ -3361,6 +3240,9 @@ bounded fan-in
 
 \end_deeper
 \begin_layout Examples
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -3372,15 +3254,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 +3274,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 +3286,16 @@ All Variants of Finding Paths in Directed Graphs
 Are Equally Difficult
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Fact
 \begin_inset Formula $\Lang{reach}$
 \end_inset
@@ -3422,6 +3318,10 @@ Are Equally Difficult
 
 \begin_layout Corollary
 For directed graphs, we can solve
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -3457,14 +3357,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 +3372,28 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Fact
 \begin_inset Formula $\Lang{reach}_{\operatorname{forest}}$
 \end_inset
@@ -3495,7 +3409,10 @@ But Not Trivial
 -complete.
 \end_layout
 
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -3514,13 +3431,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 +3453,24 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 Let
 \color none
@@ -3558,6 +3489,10 @@ contain all triples
 \end_inset
 
  such that
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -3589,10 +3524,32 @@ there exists a path from
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 \begin_inset Formula $\Lang{reach}_{\operatorname{tourn}}\in\Class{AC}^{0}$
 \end_inset
@@ -3605,17 +3562,20 @@ 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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -3646,14 +3606,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 +3625,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 +3637,16 @@ Finding a Shortest Path Is as Difficult as
 the Distance Problem
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 Let
 \color none
@@ -3691,6 +3665,10 @@ contain all tuples
 \end_inset
 
  such that 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -3726,10 +3704,32 @@ the distance of
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
-The Tournament Distance Problem is Hard
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 \begin_inset Formula $\Lang{distance}_{\operatorname{tourn}}$
 \end_inset
@@ -3790,7 +3790,19 @@ in logarithmic space, iff
 .
 \end_layout
 
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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 +3810,16 @@ Proof That
  is NL-complete
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
 status collapsed
@@ -3815,17 +3837,20 @@ 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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -3852,16 +3877,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,14 +3890,12 @@ Reduce
 \end_inset
 
 
-\begin_inset ERT
-status collapsed
+\end_layout
 
-\begin_layout Plain Layout
+\end_inset
 
-}
-\end_layout
 
+\begin_inset Separator parbreak
 \end_inset
 
 
@@ -3886,12 +3903,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 +3924,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 +3945,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,41 +3966,35 @@ Query:
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
 \begin_layout Block
-\begin_inset ERT
-status collapsed
+\begin_inset Argument 2
+status open
 
 \begin_layout Plain Layout
-
-{
+Correctness
 \end_layout
 
 \end_inset
 
-Correctness
-\begin_inset ERT
-status collapsed
 
-\begin_layout Plain Layout
+\begin_inset Argument 1
+status open
 
-}
+\begin_layout Plain Layout
+10-
 \end_layout
 
 \end_inset
 
 
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-<10->
-\end_layout
-
+\begin_inset Separator parbreak
 \end_inset
 
 
@@ -3994,12 +4002,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 +4035,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 +4085,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 +4108,7 @@ pgfxy(1,3.3)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{B}{
 \backslash
@@ -4127,11 +4117,7 @@ pgfxy(2,3.3)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{C}{
 \backslash
@@ -4140,11 +4126,7 @@ pgfxy(3,3.3)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 graphnode{D}{
 \backslash
@@ -4153,30 +4135,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 +4153,7 @@ pgfbox[center,center]{$s$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 pgfputat{
 \backslash
@@ -4202,30 +4164,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 +4180,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 +4203,7 @@ pgfnodeconnline{B}{A}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 alert<4>{
 \backslash
@@ -4282,11 +4212,7 @@ pgfnodeconnline{B}{C}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 alert<5,10-11,13>{
 \backslash
@@ -4295,11 +4221,7 @@ pgfnodeconnline{C}{D}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
 alert<6,10-11,13>{
 \backslash
@@ -4308,20 +4230,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 +4243,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->{
-\end_layout
-
-\begin_layout Plain Layout
-
+only<2->{%
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
 pgfputat{
 \backslash
@@ -4370,11 +4263,7 @@ colon$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A1}{
 \backslash
@@ -4383,11 +4272,7 @@ pgfxy(1,2.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B1}{
 \backslash
@@ -4396,11 +4281,7 @@ pgfxy(2,2.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C1}{
 \backslash
@@ -4409,11 +4290,7 @@ pgfxy(3,2.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D1}{
 \backslash
@@ -4422,71 +4299,43 @@ pgfxy(4,2.25)}
 
 \begin_layout Plain Layout
 
+  
+\backslash
+graphnode{A2}{
+\backslash
+pgfxy(1,1.25)}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+graphnode{B2}{
+\backslash
+pgfxy(2,1.25)}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+graphnode{C2}{
+\backslash
+pgfxy(3,1.25)}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-graphnode{A2}{
-\backslash
-pgfxy(1,1.25)}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-graphnode{B2}{
-\backslash
-pgfxy(2,1.25)}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-graphnode{C2}{
-\backslash
-pgfxy(3,1.25)}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-graphnode{D2}{
+graphnode{D2}{
 \backslash
 pgfxy(4,1.25)}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A3}{
 \backslash
@@ -4495,11 +4344,7 @@ pgfxy(1,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B3}{
 \backslash
@@ -4508,11 +4353,7 @@ pgfxy(2,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C3}{
 \backslash
@@ -4521,11 +4362,7 @@ pgfxy(3,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D3}{
 \backslash
@@ -4534,11 +4371,7 @@ pgfxy(4,0.25)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{A4}{
 \backslash
@@ -4547,11 +4380,7 @@ pgfxy(1,-.75)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{B4}{
 \backslash
@@ -4560,11 +4389,7 @@ pgfxy(2,-.75)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{C4}{
 \backslash
@@ -4573,11 +4398,7 @@ pgfxy(3,-.75)}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 graphnode{D4}{
 \backslash
@@ -4586,22 +4407,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 +4425,7 @@ pgfbox[center,center]{$s'$}}
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-      
+    
 \backslash
 pgfputat{
 \backslash
@@ -4627,1112 +4436,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
-
-   
+}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
 
-  
 \backslash
-only<8->{
-\end_layout
-
-\begin_layout Plain Layout
-
+only<8->{%
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
 pgfsetlinewidth{0.4pt}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 color{beamerexample!25!averagebackgroundcolor}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{A2}{C1}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{A2}{D1}
 \end_layout
 
 \begin_layout Plain Layout
 
-\end_layout
-
-\begin_layout Plain Layout
-
-    
+  
 \backslash
 pgfnodeconnline{B2}{A1}
 \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
 
+  
+\backslash
+pgfnodeconnline{B3}{A2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B3}{A2}
+pgfnodeconnline{B3}{C2}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B3}{D2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B3}{C2}
+pgfnodeconnline{C3}{D2}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{D3}{A2}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B3}{D2}
+pgfnodeconnline{D3}{B2}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{A4}{C3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{C3}{D2}
+pgfnodeconnline{A4}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B4}{A3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{D3}{A2}
+pgfnodeconnline{B4}{C3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B4}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{D3}{B2}
+pgfnodeconnline{C4}{D3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{D4}{A3}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{A4}{C3}
+pgfnodeconnline{D4}{B3}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfsetstartarrow{
+\backslash
+pgfarrowto}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{A4}{D3}
+pgfnodeconnline{A1}{B1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{B1}{C1}
 \end_layout
 
 \begin_layout Plain Layout
 
-    
+  
 \backslash
-pgfnodeconnline{B4}{A3}
+pgfnodeconnline{C1}{D1}
 \end_layout
 
 \begin_layout Plain Layout
 
+  
+\backslash
+pgfnodeconnline{A2}{B2}
 \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
 
+  
+\backslash
+pgfnodeconnline{C2}{D2}
 \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
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-  
-\backslash
-only<4->{
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-color<4>{red}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B1}{C2}
-\end_layout
-
-\begin_layout Plain Layout
-
-\end_layout
-
-\begin_layout Plain Layout
-
-    
-\backslash
-pgfnodeconnline{B2}{C3}
-\end_layout
-
-\begin_layout Plain Layout
-
-\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 +5108,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 +5123,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 +5142,24 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 An
 \color none
@@ -5801,6 +5174,10 @@ approximation scheme for
  
 \color inherit
 gets as input
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -5845,7 +5222,19 @@ a path from
 \end_layout
 
 \end_deeper
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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 +5242,16 @@ There Exists a Logspace Approximation Scheme for
 the Tournament Shortest Path Problem
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 There exists an approximation scheme for 
 \begin_inset Formula $\Lang{tournament-shortest-path}$
@@ -5863,8 +5262,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 +5302,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 +5316,6 @@ status collapsed
 hierarchy
 \end_layout
 
-\begin_layout EndFrame
-
-\end_layout
-
 \begin_layout Standard
 \begin_inset Note Note
 status open
@@ -5933,14 +5330,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,53 +5339,28 @@ 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{
+Just a frame with a program code listing
 \end_layout
 
 \end_inset
 
-Just a frame with a program code listing
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
 
-}
 \end_layout
 
+\begin_layout FragileFrame
+This is some program code:
+\begin_inset Separator parbreak
 \end_inset
 
 
 \end_layout
 
-\begin_layout Standard
-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,46 +5417,48 @@ pass
 
 \end_layout
 
-\begin_layout Standard
-\begin_inset ERT
-status open
+\end_deeper
+\begin_layout Section*
+Summary
+\end_layout
 
-\begin_layout Plain Layout
+\begin_layout Subsection*
+Summary
+\end_layout
 
+\begin_layout Frame
+\begin_inset Argument 4
+status open
 
-\backslash
-end{frame}
+\begin_layout Plain Layout
+Summary
 \end_layout
 
 \end_inset
 
 
-\end_layout
-
-\begin_layout Section*
-Summary
-\end_layout
+\begin_inset Separator parbreak
+\end_inset
 
-\begin_layout Subsection*
-Summary
-\end_layout
 
-\begin_layout BeginFrame
-Summary
 \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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -6160,22 +5528,28 @@ in tournaments is
 \end_layout
 
 \end_deeper
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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
 
 
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -6233,18 +5607,33 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Standard
 \begin_inset ERT
-status collapsed
+status open
 
 \begin_layout Plain Layout
 
@@ -6424,20 +5813,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 +5839,34 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Definition
 The
 \color none
@@ -6496,7 +5896,19 @@ Tournaments have independence number 1.
  
 \end_layout
 
-\begin_layout BeginFrame
+\end_deeper
+\begin_layout Standard
+\begin_inset Separator parbreak
+\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 +5916,16 @@ The Results for Tournaments also Apply to
 Graphs With Bounded Independence Number
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 For each
 \begin_inset space ~
@@ -6540,7 +5962,10 @@ at most
 .
 \end_layout
 
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -6573,7 +5998,10 @@ for approximating the shortest path in graphs with independence number at
 
 \end_layout
 
-\begin_layout Separator
+\begin_layout Standard
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -6615,21 +6043,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
+
 
-<1-2>[label=undirected]
+\begin_inset Argument 3
+status collapsed
+
+\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 +6080,16 @@ The Complexity of Finding Paths in Undirected Graphs
 Is Party Unknown.
 \end_layout
 
+\end_inset
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Fact
 \begin_inset Formula $\Lang{reach}_{\operatorname{undirected}}$
 \end_inset
@@ -6650,6 +6103,10 @@ Is Party Unknown.
 
 \begin_layout Corollary
 For undirected graphs, we can solve
+\begin_inset Separator parbreak
+\end_inset
+
+
 \end_layout
 
 \begin_deeper
@@ -6663,20 +6120,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 +6166,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 +6215,40 @@ 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
+
+
+\begin_inset Separator parbreak
+\end_inset
+
+
+\end_layout
+
+\begin_deeper
 \begin_layout Theorem
 Suppose there exists an approximation scheme for 
 \begin_inset Formula $\Lang{tournament-shortest-path}$
@@ -6749,6 +6267,9 @@ Suppose there exists an approximation scheme for
 \end_layout
 
 \begin_layout Proof
+\begin_inset Separator parbreak
+\end_inset
+
 
 \end_layout
 
@@ -6814,9 +6335,6 @@ qedhere
 \end_layout
 
 \end_deeper
-\begin_layout EndFrame
-
-\end_layout
-
+\end_deeper
 \end_body
 \end_document