{"header":{"message":"WIP","description":null,"timestamp":"2023-06-22T10:02:29.936682319Z","authors":[{}]},"hash":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC","authors":[{"login":"paradyx","key":"6haf2odGMeVaBH1hYPXKBZAYaktbbMcbxkvUdyZKMhVc"}],"deps":{"hashes":[["B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC","WIP"],["AA",null],["567NUQ633R5ESTE2LWXVUGM7XEZGJ65IRKPOCDZJS3JE5RAMR5KAC","Initial"]],"deps":["567NUQ633R5ESTE2LWXVUGM7XEZGJ65IRKPOCDZJS3JE5RAMR5KAC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"ch4_scc_remove.tex","metadata":0},"context":[{"change":2,"pos":7550}],"contents":[{"Add":{"text":"% TeX root = ../main.tex","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:68"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:69"}},{"Add":{"text":"\\begin{tikzpicture}[tree,node distance=1.5cm]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:115"}},{"Add":{"text":" \\node (center)[below=3.8cm of l0] {};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:157"}},{"Add":{"text":" \\draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:239"}},{"Add":{"text":" \\node[gray] at ($(center) + (-2,0)$) {SCC};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:287"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:288"}},{"Add":{"text":" \\node[state,initial] (l0) {$\\langle{}l_0,\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:387"}},{"Add":{"text":" \\node[state] (li1) [below left = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:448"}},{"Add":{"text":" {$\\langle{}l_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:495"}},{"Add":{"text":" \\node[state] (lin) [below right = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:557"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:605"}},{"Add":{"text":" \\node[state,gray] (li1') [below = of li1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:663"}},{"Add":{"text":" {$\\langle{}l'_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:711"}},{"Add":{"text":" \\node[state,gray] (lin') [below = of lin]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:769"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:817"}},{"Add":{"text":" \\node[state,gray] (lo1) [below = 2cm of li1']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:880"}},{"Add":{"text":" {$\\langle{}l_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:927"}},{"Add":{"text":" \\node[state,gray] (lom) [below = 2cm of lin']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:990"}},{"Add":{"text":" {$\\langle{}l_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1037"}},{"Add":{"text":" \\node[state] (lo1') [below = of lo1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1090"}},{"Add":{"text":" {$\\langle{}l'_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1138"}},{"Add":{"text":" \\node[state] (lom') [below = of lom]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1191"}},{"Add":{"text":" {$\\langle{}l'_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1239"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1240"}},{"Add":{"text":" \\node at ($(center) + (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1288"}},{"Add":{"text":" \\node at ($(center) - (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1336"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1337"}},{"Add":{"text":" \\path[->,color=gray] (li1) edge node {$t_{i,1}$} (li1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1412"}},{"Add":{"text":" (lin) edge node {$t_{i,n}$} (lin')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1476"}},{"Add":{"text":" (lo1) edge node {$t_{o,1}$} (lo1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1540"}},{"Add":{"text":" (lom) edge node {$t_{o,m}$} (lom');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1605"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1606"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (li1') -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1701"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lin') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1795"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lom) -- (lo1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1888"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lo1) -- (li1');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:1982"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (lo1) -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2076"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5},gray] (li1') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2170"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2171"}},{"Add":{"text":" \\draw[color=rot-75] ($(center)+(-2,2)$) -- ($(center)+(2,-2)$);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2239"}},{"Add":{"text":" \\draw[color=rot-75] ($(center)+(-2,-2)$) -- ($(center)+(2,2)$);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2307"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2308"}},{"Add":{"text":" %todo: squigilly line ","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2335"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2424"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2513"}},{"Add":{"text":"\\end{tikzpicture}","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2531"}}]}},{"FileAdd":{"meta":{"basename":"ch4_scc_prog.tex","metadata":0},"context":[{"change":2,"pos":7550}],"contents":[{"Add":{"text":"% TeX root = ../main.tex","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2599"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2600"}},{"Add":{"text":"\\begin{tikzpicture}[tree, node distance=1.5cm]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2647"}},{"Add":{"text":" \\node (center)[below=3.8cm of l0] {};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2689"}},{"Add":{"text":" \\draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2771"}},{"Add":{"text":" \\node at ($(center) + (-2,0)$) {SCC};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2813"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2814"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2815"}},{"Add":{"text":" \\node[state,initial] (l0) {$\\langle{}l_0,\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2914"}},{"Add":{"text":" \\node[state] (li1) [below left = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:2975"}},{"Add":{"text":" {$\\langle{}l_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3022"}},{"Add":{"text":" \\node[state] (lin) [below right = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3084"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3132"}},{"Add":{"text":" \\node[state] (li1') [below = of li1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3185"}},{"Add":{"text":" {$\\langle{}l'_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3233"}},{"Add":{"text":" \\node[state] (lin') [below = of lin]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3286"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3334"}},{"Add":{"text":" \\node[state] (lo1) [below = 2cm of li1']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3392"}},{"Add":{"text":" {$\\langle{}l_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3439"}},{"Add":{"text":" \\node[state] (lom) [below = 2cm of lin']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3497"}},{"Add":{"text":" {$\\langle{}l_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3544"}},{"Add":{"text":" \\node[state] (lo1') [below = of lo1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3597"}},{"Add":{"text":" {$\\langle{}l'_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3645"}},{"Add":{"text":" \\node[state] (lom') [below = of lom]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3698"}},{"Add":{"text":" {$\\langle{}l'_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3746"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3747"}},{"Add":{"text":" \\node at ($(center) + (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3795"}},{"Add":{"text":" \\node at ($(center) - (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3843"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3844"}},{"Add":{"text":" \\path[->] (li1) edge node {$t_{i,1}$} (li1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3908"}},{"Add":{"text":" (lin) edge node {$t_{i,n}$} (lin')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:3972"}},{"Add":{"text":" (lo1) edge node {$t_{o,1}$} (lo1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4036"}},{"Add":{"text":" (lom) edge node {$t_{o,m}$} (lom');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4101"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4102"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4192"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lin') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4281"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lom) -- (lo1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4369"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (li1');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4458"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4547"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4636"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4637"}},{"Add":{"text":" %todo: squigilly line ","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4664"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4753"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4842"}},{"Add":{"text":"\\end{tikzpicture}","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4860"}}]}},{"FileAdd":{"meta":{"basename":"ch4_scc_lift.tex","metadata":0},"context":[{"change":2,"pos":7550}],"contents":[{"Add":{"text":"% TeX root = ../main.tex","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4928"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4929"}},{"Add":{"text":"\\begin{tikzpicture}[tree,node distance=1.5cm]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:4975"}},{"Add":{"text":" \\node (center)[below=3.8cm of l0] {};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5017"}},{"Add":{"text":" \\draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5099"}},{"Add":{"text":" \\node at ($(center) + (-2,0)$) {SCC};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5141"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5142"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5143"}},{"Add":{"text":" \\node[state,initial] (l0) {$\\langle{}l_0,\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5242"}},{"Add":{"text":" \\node[state] (li1) [below left = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5303"}},{"Add":{"text":" {$\\langle{}l_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5350"}},{"Add":{"text":" \\node[state] (lin) [below right = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5412"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5460"}},{"Add":{"text":" \\node[state] (li1') [below = of li1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5513"}},{"Add":{"text":" {$\\langle{}l'_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5561"}},{"Add":{"text":" \\node[state] (lin') [below = of lin]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5614"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5662"}},{"Add":{"text":" \\node[state] (lo1) [below = 2cm of li1']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5720"}},{"Add":{"text":" {$\\langle{}l_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5767"}},{"Add":{"text":" \\node[state] (lom) [below = 2cm of lin']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5825"}},{"Add":{"text":" {$\\langle{}l_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5872"}},{"Add":{"text":" \\node[state] (lo1') [below = of lo1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5925"}},{"Add":{"text":" {$\\langle{}l'_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:5973"}},{"Add":{"text":" \\node[state] (lom') [below = of lom]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6026"}},{"Add":{"text":" {$\\langle{}l'_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6074"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6075"}},{"Add":{"text":" \\node at ($(center) + (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6123"}},{"Add":{"text":" \\node at ($(center) - (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6171"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6172"}},{"Add":{"text":" \\path[->] (li1) edge node {$t_{i,1}$} (li1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6236"}},{"Add":{"text":" (lin) edge node {$t_{i,n}$} (lin')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6300"}},{"Add":{"text":" (lo1) edge node {$t_{o,1}$} (lo1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6364"}},{"Add":{"text":" (lom) edge node {$t_{o,m}$} (lom');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6429"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6430"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6520"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lin') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6609"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lom) -- (lo1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6697"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (li1');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6786"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6875"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6964"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6965"}},{"Add":{"text":" %todo: squigilly line ","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:6992"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7081"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7170"}},{"Add":{"text":"\\end{tikzpicture}","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7188"}}]}},{"FileAdd":{"meta":{"basename":"ch4_scc_evaluate.tex","metadata":0},"context":[{"change":2,"pos":7550}],"contents":[{"Add":{"text":"% TeX root = ../main.tex","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7260"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7261"}},{"Add":{"text":"\\begin{tikzpicture}[tree,node distance=1.5cm]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7307"}},{"Add":{"text":" \\node (center)[below=3.8cm of l0] {};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7349"}},{"Add":{"text":" \\draw[fill=rwth-25,draw=none] (center) ellipse [x radius=2.5cm,y radius=2cm];","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7431"}},{"Add":{"text":" \\node at ($(center) + (-2,0)$) {SCC};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7473"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7474"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7475"}},{"Add":{"text":" \\node[state,initial] (l0) {$\\langle{}l_0,\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7574"}},{"Add":{"text":" \\node[state] (li1) [below left = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7635"}},{"Add":{"text":" {$\\langle{}l_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7682"}},{"Add":{"text":" \\node[state] (lin) [below right = 2cm of l0]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7744"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7792"}},{"Add":{"text":" \\node[state] (li1') [below = of li1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7845"}},{"Add":{"text":" {$\\langle{}l'_{i,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7893"}},{"Add":{"text":" \\node[state] (lin') [below = of lin]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7946"}},{"Add":{"text":" {$\\langle{}l'_{i,n},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:7994"}},{"Add":{"text":" \\node[state] (lo1) [below = 2cm of li1']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8052"}},{"Add":{"text":" {$\\langle{}l_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8099"}},{"Add":{"text":" \\node[state] (lom) [below = 2cm of lin']","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8157"}},{"Add":{"text":" {$\\langle{}l_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8204"}},{"Add":{"text":" \\node[state] (lo1') [below = of lo1]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8257"}},{"Add":{"text":" {$\\langle{}l'_{o,1},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8305"}},{"Add":{"text":" \\node[state] (lom') [below = of lom]","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8358"}},{"Add":{"text":" {$\\langle{}l'_{o,m},\\textit{true}\\rangle$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8406"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8407"}},{"Add":{"text":" \\node at ($(center) + (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8455"}},{"Add":{"text":" \\node at ($(center) - (0,2.2)$) {$\\cdots$};","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8503"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8504"}},{"Add":{"text":" \\path[->] (li1) edge node {$t_{i,1}$} (li1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8568"}},{"Add":{"text":" (lin) edge node {$t_{i,n}$} (lin')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8632"}},{"Add":{"text":" (lo1) edge node {$t_{o,1}$} (lo1')","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8696"}},{"Add":{"text":" (lom) edge node {$t_{o,m}$} (lom');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8761"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8762"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8852"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lin') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:8941"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lom) -- (lo1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9029"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (li1');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9118"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (lo1) -- (lin');","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9207"}},{"Add":{"text":" \\draw[<->,decorate,decoration={snake,pre length=5pt,post length=5}] (li1') -- (lom);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9296"}},{"Add":{"text":"","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9297"}},{"Add":{"text":" %todo: squigilly line ","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9324"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (li1);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9413"}},{"Add":{"text":" \\draw[->,decorate,decoration={snake,pre length=5pt,post length=10pt}] (l0) -- (lin);","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9502"}},{"Add":{"text":"\\end{tikzpicture}","pos":"B4CUPPUF74ZP3EG3SWPEZHEVM42C6Q57AOZPAMBJ4M426WV4QLSQC:9520"}}]}}],"owner":"paradyx","repo":"ma-tex","token":"h1QuP9Hn9T0vGhuxdscVeuTCa0/nXEE/t/OEqJJgdZE=","login":null}

…

Dependencies

Change contents

Review