From 4b7a3b6ac92bc71923d128675ffa5c79f3db46a0 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 10 Jun 2016 10:38:15 +0200
Subject: Update namen

---
 tree-gen-leeg.tex | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)

(limited to 'tree-gen-leeg.tex')

diff --git a/tree-gen-leeg.tex b/tree-gen-leeg.tex
index dc98097..d7cce70 100644
--- a/tree-gen-leeg.tex
+++ b/tree-gen-leeg.tex
@@ -5,17 +5,17 @@
 \justifies{}\trans{\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}o"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\]
 \justifies{}\trans{\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}o"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\]
 \justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}o"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
-\justifies{}\trans{\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\texttt{"\textquotedblright{}\textquotedblright{}o"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\]
-\justifies{}\trans{\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}o"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
-\justifies{}\trans{\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
-\justifies{}\trans{\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\]
-\justifies{}\trans{\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\]
-\justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
-\justifies{}\trans{\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\texttt{"\textquotedblright{}\textquotedblright{}"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rcatns}\]
-\justifies{}\trans{\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
-\justifies{}\trans{\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rquotifyns}\]
-\justifies{}\trans{\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\]
-\justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
-\justifies{}\trans{\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\texttt{""}:\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\]
-\justifies{}\trans{\StmPush~\texttt{"input"}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
-\justifies{}\trans{\StmInput:\StmPush~\texttt{"input"}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}s\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}p\textquotedblright{}p\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gh\textquotedblright{}g\textquotedblright{}g+\textquotedblright{}g\textquotedblright{}p\textquotedblright{}s\textquotedblright{}gt\textquotedblright{}s\textquotedblright{}p\textquotedblright{}s\textquotedblright{}g\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}s\textquotedblright{}gq\textquotedblright{}g\textquotedblright{}gq\textquotedblright{}p\textquotedblright{}gq++\textquotedblright{}p\textquotedblright{}g+\textquotedblright{}s\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rinputns}
\ No newline at end of file
+\justifies{}\trans{\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\texttt{"\textquotedblright{}\textquotedblright{}o"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\]
+\justifies{}\trans{\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}o"}:\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
+\justifies{}\trans{\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{""}\mapsto\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"},\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
+\justifies{}\trans{\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\]
+\justifies{}\trans{\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\]
+\justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
+\justifies{}\trans{\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\texttt{"\textquotedblright{}\textquotedblright{}"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rcatns}\]
+\justifies{}\trans{\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"\textquotedblright{}\textquotedblright{}"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
+\justifies{}\trans{\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rquotifyns}\]
+\justifies{}\trans{\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rgetns}\]
+\justifies{}\trans{\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\Nil,\{\texttt{"input"}\mapsto\texttt{""}\}\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
+\justifies{}\trans{\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{"input"}:\texttt{""}:\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rputns}\]
+\justifies{}\trans{\StmPush~\texttt{"input"}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\Nil}{\left(\texttt{""}:\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rpushns}\]
+\justifies{}\trans{\StmInput:\StmPush~\texttt{"input"}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmQuotify:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}\textquotedblright{}\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gh\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gt\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}p\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}g\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}o\textbackslash{}\textquotedblright{}+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}v\textbackslash{}\textquotedblright{}gq\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}gq++\textbackslash{}\textquotedblright{}u\textbackslash{}\textquotedblright{}g+\textbackslash{}\textquotedblright{}w\textbackslash{}\textquotedblright{}gp\textbackslash{}\textquotedblright{}\textbackslash{}\textquotedblright{}pgx\textquotedblright{}\textquotedblright{}u\textquotedblright{}p\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gh\textquotedblright{}v\textquotedblright{}g+\textquotedblright{}v\textquotedblright{}p\textquotedblright{}w\textquotedblright{}gt\textquotedblright{}w\textquotedblright{}p\textquotedblright{}w\textquotedblright{}g\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}o\textquotedblright{}+\textquotedblright{}w\textquotedblright{}gq\textquotedblright{}v\textquotedblright{}gq\textquotedblright{}u\textquotedblright{}gq++\textquotedblright{}u\textquotedblright{}g+\textquotedblright{}w\textquotedblright{}gp\textquotedblright{}\textquotedblright{}pgx"}:\StmCat:\StmPush~\texttt{"input"}:\StmGet:\StmPut:\StmPush~\texttt{"\textquotedblright{}\textquotedblright{}o"}:\StmPush~\texttt{""}:\StmPut:\StmPush~\texttt{"input"}:\StmGet:\StmGet:\StmExec}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}{\Nil}{\texttt{""}:\Nil}{\left(\Nil,\emptyset\right)}\using{\rinputns}
\ No newline at end of file
-- 
cgit v1.2.3