From c286e9fa76bcbe5880fd18e597a8b23109c77523 Mon Sep 17 00:00:00 2001
From: Martin Thoma <info@martin-thoma.de>
Date: Wed, 8 Jun 2016 20:48:57 +0200
Subject: [PATCH] Move control-flow-graph stuff

---
 .../Makefile                                  |  10 ++--
 tikz/control-flow-graph/README.md             |   3 ++
 .../control-flow-graph/control-flow-graph.png | Bin 0 -> 10029 bytes
 .../control-flow-graph/control-flow-graph.svg |  43 ++++++++++++++++++
 .../control-flow-graph.tex}                   |   0
 tikz/teststrategien-anschaulich/README.md     |   3 --
 .../teststrategien-anschaulich.png            | Bin 10250 -> 0 bytes
 7 files changed, 52 insertions(+), 7 deletions(-)
 rename tikz/{teststrategien-anschaulich => control-flow-graph}/Makefile (67%)
 create mode 100644 tikz/control-flow-graph/README.md
 create mode 100644 tikz/control-flow-graph/control-flow-graph.png
 create mode 100644 tikz/control-flow-graph/control-flow-graph.svg
 rename tikz/{teststrategien-anschaulich/teststrategien-anschaulich.tex => control-flow-graph/control-flow-graph.tex} (100%)
 delete mode 100644 tikz/teststrategien-anschaulich/README.md
 delete mode 100644 tikz/teststrategien-anschaulich/teststrategien-anschaulich.png

diff --git a/tikz/teststrategien-anschaulich/Makefile b/tikz/control-flow-graph/Makefile
similarity index 67%
rename from tikz/teststrategien-anschaulich/Makefile
rename to tikz/control-flow-graph/Makefile
index 85bf96c..44ff371 100644
--- a/tikz/teststrategien-anschaulich/Makefile
+++ b/tikz/control-flow-graph/Makefile
@@ -1,14 +1,14 @@
-SOURCE = teststrategien-anschaulich
+SOURCE = control-flow-graph
 DELAY = 80
 DENSITY = 300
-WIDTH = 500
+WIDTH = 512
 
 make:
 	pdflatex $(SOURCE).tex -output-format=pdf
 	make clean
 
 clean:
-	rm -rf  $(TARGET) *.class *.html *.log *.aux
+	rm -rf  $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot
 
 gif:
 	pdfcrop $(SOURCE).pdf
@@ -28,4 +28,6 @@ svg:
 	#inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
 	pdf2svg $(SOURCE).pdf $(SOURCE).svg
 	# Necessary, as pdf2svg does not always create valid svgs:
-	inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg
+	inkscape $(SOURCE).svg --export-width=$(WIDTH) --export-plain-svg=$(SOURCE)1.svg
+	rsvg-convert -a -w 720 -f svg $(SOURCE)1.svg -o $(SOURCE).svg
+	rm $(SOURCE)1.svg
diff --git a/tikz/control-flow-graph/README.md b/tikz/control-flow-graph/README.md
new file mode 100644
index 0000000..f8efea1
--- /dev/null
+++ b/tikz/control-flow-graph/README.md
@@ -0,0 +1,3 @@
+Compiled example
+----------------
+![Example](control-flow-graph.png)
diff --git a/tikz/control-flow-graph/control-flow-graph.png b/tikz/control-flow-graph/control-flow-graph.png
new file mode 100644
index 0000000000000000000000000000000000000000..407ac98a449db7091db530db67777a6d9a9b0bea
GIT binary patch
literal 10029
zcmbuFWn2_d-}iS{y1S8(l$LI!JCsIRT3T3;mNF>mZV9Ck0jULq6-lL~ySw{2T-S5I
zxL@CVKJ4twoH;Xl&cDw0H}ADIm2k1Bupkf!u8Ok!GYA9*zCxlg(7<PVPsb?Opm@rv
z=wg6Be~g#!z&@s%vXLhQf<Ax$54EZvYllD}l&=*GUq5%XeGRwtuz|qgaBc?|Cr@ij
zHydtO54((A2`UJL9-<=uRM#hSX9n(1GD?Oxm@AT@XON+%e|KDwtGuieZo!tPOsMb_
z5s~yoOZx*oOqKMhj<%Su?$dVyatX>x>{xkdIFh(T7#ovkNR6p&7N)AE+DXZ|K~_2;
zesOVD%O{?z1C3{I31l%C!v3!xSc+%4)R$LVH(p}KY5WwQ#Is`fGlVvh?P()H*H`n0
zxzu8!2bpGrN~<`E%bJyT*z>%YGR2yg=E1AR$OGQYtOHD(k#GlECCjnWgj@97;xTuL
zsBZ#dt}|c6%e-j9)7shs^EHuEpmE&nM6=P^*RiKB&k&fw1Z4VD`(tA7BA3g&AmLeN
zS}Iu;Zgl8kv<ly1@~Vb6*q$;-)2*L0IMB*z+NwYt$HJ%t`wmnXo2Z57&)v%lz~foQ
z_QgX+%CSwG(w7qCy_I5=VUVFpx{-=<FOrL+Q3C?<VlR@@QWN3*gFj*)t}k}QlMvWP
zM@OM!<#jQPLCKsUM{D2<{18KCqB)*9?}cc2!7sX*2PvZ;uGn?*_i50%J#6bJ@MAkX
zX-KLMBBeEr(dqApd@BJ(1`NKNOg!X%4)BzTAYju0ozyK=RaJe`n=)uU_1)afi%a%k
zahHT=cfiCIw>a>I_2K}TCSX65TBL!kf>}~!q@zQKg6h1yk}@|UMv@o8VQ|aLX8$OK
z$2|Ylq{n^3WUd@JR=rHTNAwm_T2dD{vC_AR?RQsQAJ;JO@bZK1&IF?d#9pyL8~lWm
z18=TNbxR+6u2tl}-gp9$m!G!i2#YN-s^#`v)3lszuA@?VjP>>W-0wvTRrf$vMyjwY
znwgmmGt`Z@w6xU!_QEYQGjn}xhxCV+UpT+rt>yVXG?CLNUDOj+VtVCX-btd*>->)*
zKcA7!s74^^v0k3?r+m<tqOPvUaM4Ynmyf<Be=MXsnp#m+70W!Rh3RM!e}3l%qt=dR
zZGWL<x+%pEeTyzA(;=GI^JGw3X|momrHF5W7he8g;)j=HW%DAkFKvn4cqDp%f6F*>
z`JI3?9vOG0#><x?kCZfvbPDd~SM-u?`~U5Ck$Z}GZHhcVd(Fbf_jHSQCu<e?)SHj5
zUc~p1LMis)&#5K}4*geaUF7D&Vw_*A-lNd7tdebwajk`uUoKeXKPcBMw!S<@ZTPV|
zTk5ejX3j~u7!V#tvv#=hF}>TOa}(MN?T<Lxn5af?yRM0C^fdU}c=XXYd|~||6c$`u
zhh+h#7X#--mt77npW$p-8c*&+TpE%6CbB$HB76(nA;n($$NFV`du=(E?QhKu8{8f=
z!E<c4#tH<SiX05}ZHO@ujh+mJg-lD!iGCun5{LE`cYJwyc7kmM2~Bqrw9ptB1Hw^2
z9VM)Y8$un@DML@i1k?LEhJqNb)r}Fn>@#3zXV;JV#V~`i3Y!X%hG=~F0cNkntVL*N
z3SMB^v{tH95JP5Z|C@yf(qeXV;5_p~YVfS?)kS8{iqjaU5L_9Rh}iSvT;NoR15P+X
zeWd43p@t~LI9-wHTNRce#_Old5&9Y^Me1pT6{ZYP4<$z}E+%V>A^ZDmPnWv;%SdA$
zO`)oz8AF=>@DjSc6#4`i`8poQsPKV^ra4R0lf{MwMf7BIG>0|EzuRKcwawY$_WD}-
zP8z;TLM>Eg(VOfQ79PHO*;-gA?=su0sQe4l%G&jT+nOd$(A^EIipu-6y(VDOd2&}a
ztxC(P_|4E4vb1m>Sn(%$1R*Y33{(t<I7Bgdwz{^KU(jhx(9!uty^AR1-cEGcdDJ2q
z5)VrBA-_~n-Ui<p^1o|nXxg4>N|<S?C!+KnPH!5^)HsHL-_pKSiElgGyrG^Y7LgNV
zrnol1v$!;zS)A<{Z$z@bbECW}RPUm2un<}4e!9*6>{)!H_s)|nF`IspzioGZXr!|X
z3*%`54k-7&iA#MM7e_GYw|7#cnnb0ZdCmpAi+_$93<%+)*~Q;UK~M~giSEy8YwtgN
zuo%pqdlwV)@@Q51;$(c3)98@apz;g*oLzr9BA(fkUwUoa9Dn7)uz;S3xUvzp(|>6B
zFFoycMOL42AGXiWOC?flYQO4r?nX|>)Y#MiYThJQ#OS?@odxke<>sePdatG%;su?^
zj)155?9@HAy}KSRmM)ErCT*RJ%hBeNp)^V{za00rz;PRTCa$TbwiHQMMEEc;%eLQN
zMMGnuy#9@L+wJoxx;sII4<vOX70wYFOpyEGWdx4IVZc4#5zgP2ElH?7=-}^fynlc+
zr#QajG5vw_kqi~K|C87(k=rz)KO=Ve@}fW~NXF3-OVY13J#C@VkWl_;b(E4fm!Dc_
zd$8HC-f;zady|qX=mg`pje5k!7H603@bvC>uhzDoh}*pNSKFOgE__dTedY=`nd>TB
zr(o7@qH6Gd_v3Y7e!h1y?7Pu&XI;uCjMwP;FmrqA7~kpUMrRgnl`Ro0!sqXU74G95
z2rP}>Tv66YJbuR!l8-k#W{po=G4{h0q^1K4EhiYW_z8KNK-d{6Jwn-Qy>efzDbg?*
zuCdYBoqlgQkO@)S9xIyo`3M3r7-v+^I3-p~aVfG!J|yAVL@VLk8OpOTd((54_v124
z(l0(YSLVCxouFr0u^qb@e7CFGI#T2{+k}0_4=-xSK9Wv+{a>9hq&L~wa-jovr1Eb0
z0g@5ItLLzS)eQ5`Os8_?M;29;G_fRa1ZyIIFA!EFPiz##>f3flg_jvtXU)%hqM%iD
zkJmqp#NVs?x%=}*VXbBw|6GE5SKZxn&uyvu!TIGSH7AGOZ*1u{?(4(eI}E(p?B3+l
zPFrKh6L4;6YfH<@3Kn$Z6)fo&Xx*RAJl*UY{hnAF1lgkVa{-?HwHQkN=qz#JrM2-c
z3*V&2f{+IP3#*DpI6{siOrC`$RDzrK&$u=>jaewMg(8hU;g!U0VkMeVZSo-~=F4h5
zt7YfNdnX&udlC~Tz8WJfI~^Z<_T(Hc*u6zUgGkvITRQ$eP2@6(nXFA2ZuS*43%n2=
zE5{c4BKU@)qT;h$LW1j>)Vud3&_uy%f1XYMs;QZl0pZnIhprE?X)kU^o@<<6tl5+q
z*Tw0VU-z|`WLSA(%0%QV%-D~W;r6H3S*{ON<2;;BDK{DC54w#)SB3nm^UL<$$zI!?
z5x-Bl#~W>pUL5IhaZ8YfhULHlodU%f^jp!suBoXzq0NetstjC#p3|20aPx$BoImHJ
zS6dJ=SvYu>|JW>^ec!|7z8=FXvg$(aA2_tPhx(;T_%eOf-w~Lyt9PLl^Xetb65vWb
z75ieK?Clp)U6KtW%NyTPQB&)joSd{bO?xs6p^*-pc-B-;DfFlB&EYcN>E2w{)*In^
zt9#pGR!v-<sFuV37CSL96-6ta%A)bmdc30i+p7&^iOzGMUC~j-xN(a4>}+N_`<xDC
z1NwsBk8uSllmq6Ox3?F04o67zpm>`dcO3gTo99&%UDC|VX<Z-NY`{FTj2nC{+7!fp
zI4!5DTJyPsz{v5z<lgof%sC|4aDS1G9G+sAQyv|wrBGqsX7x>K$(EOaVfGor1WtxM
z^j%bQPfr5!kS3%Q1le?<0HL`-o3Tp#T&397V5$eL29;wke!R}UyWuH8aA6D#pxz0Z
zHhHJ@rtlo*+)0?sJMZY)SnzFzwUH$)<otO;pNGk#n^%mz*&+S#e3(kytjU`lI4D}K
zYSN~F!{6T)0cMY)v1&OYHeoMd9McDO@ST4)+@@mqh-hkqQtkFC&9i|l3i_>sD#_aS
zWRPGG-Dl4vxw$LSjNW(;3=Ak*qtl4i@Eo0dAeAO0@^~v1fJS9{osf`#(`w#)KJ_*%
zt2Jl|h2inz%#Y+dMM_hh9;mnI+w@y8=G?b2O6Z)jUMGDGOZC6I=xTP?UzmQJUs-Vm
zBa%N<m8X>*ixO_sr$8EPd>tcQteW&iyV6W9nR`aPK(Sj6FDxt*f|zS7u9N*6)z1XE
zI@?=4oAcaTNlr}sWgbME>olGcHRkK<>v`r<)?TxHv!|8yZ16%uZ#PHkMmYBkb+F}P
zoH?a6#&lx>sod+=Og6t0Iri-)OS=&n6TiZxmt^NLH2j5%7&a+`#LIjZ2Itqt!)t7M
zkG3i!ON@rADp(m8(ZEd=i--CA&qbUfSM41k*j0z&(sI>ST?YpaE*^+tkP^$x>10ke
z>o%s&oSh<Vy@V1VkSGeixcPbdgss*KTSga`E}xqd2E{G^fE$pr=C>ykAoqbHp1JnJ
zNB+le?#`_v+r5i5X;}pYNwYMS3=P>pC0STxd!pF{@?>uM`@_G@jXa<moK1?iq4mRs
zD!mf*p7iKL=N)u}?xDfK7x#&;GZG&%KNrNqYxPqG23sX2;FadbBq8&p5rpNkJl6a2
zI}CG<*S3#7)HvVoZ1MbjseWkVwR-w-md-e@r8l{@+?}KCNC|siDqoEAR1M3gCQsG~
z2063OKJNHr+|%zeO!#mgeZ$KrfkH~2uVIc=++>wLSE{xDLu35?xWKs1xUjIW%4OyW
zx0wX;1L;#ApG4k&-V;^TnPOg1XLCVmz-&C$wRv-bvh_^<*6&TpD=Afhiz9G+NzKiJ
zWaS2l$l;Nc{AABs{S{XGGX~xhD^Un-^8=UeZ*Z3rg=<FROZlD3e|Is}`mCyF)ZiBS
z=T=fujn8w{O6p>nmPP%X0DeZ4$hP1R7ltu4zqqJ+wi~cM+Y&pLhk^Tg=U)bkhH>@F
z9(Z4lbSS78^Yc4O4JsL?zS9=ym%lNNWGh2-b|&Nm8V_no_gi&+$Z>ObXBIjY;xds!
z3eR!!`({-uf$~hZ(kug1@@#s)KlUWF-5ZGCDaygw+?S*(kX`L3{|+wew&!vqI1F~_
zIXM%5{c^iJrnHZ15fv5v3}>e4568B97u}+<HAed+V;32dH89^^u)n|GH;r^{qvaVI
z9ID$=`{sHl!N9-@?!n<X#%D?0+(PI6jz!WvXr<TS<<EC2XF&y3PQV%{1lFIIcMc_j
zk|I`8zklA(bx+A>Av_TEHuHDV*XNBMCojguMMYQA7c#72aUiPuY?iWsi^0k(k1yj3
z6l@v7yp&=0YcUae6-XGt_aZjOnBXt$?C>b0BWX+rsTYl|rYcs7PC6%o#St{{?nhlm
zJ<nGR_LR$-nEBhrlXUyT=W;8`y>U?HALdsj4$dx2!5kIxn%g$D{FsoaahG86dCZqg
zLBh|UF9{h-8lzhzqtJ8VK2z7&ef;plYc&J!?O^G0saJiWD#}A*u#CjFRJUhXyeR7`
zV?C0U&S(t{i8RU87IRV!ZtYfl>3XkS5~jqy3yka!jt5)H;2*+q-?SN4JElFayFDSF
zZgxn6^zVF$9z=CaMzJ`uJz)-G4hyrV4dG3Y{@dmV3k?Y=X_9_k6lZ<8HKcvQjMdT>
ze2Y+?r?p`FvVu%hK#0-vLou+Qn=dY?;06<P{NskQ>R7k4Lfu8j=+IdVMOiEZgtd`R
zalUxX>&Ki}BHWzNSCk9UWG0xhVqCRr(b8u=J(>|`VpU4HcamOOGczuaY@a?x=5RJO
ze;0-|bbnllPtHcqV#aUylSM_VDcH_YXfNEh4cqLNmhQOFwLkxkYa!)0{o(Tdrm%={
zhpamt%KsNskNC~es(3>ihS-_)^7MDtM=rG!6U2Iu$NK&kZlho1I1h7GD%VPwrOqtZ
zckjrC&HQ!t{Ld<w2*!x$v^IBV#7e*M#tzG59ghz}lmw!>bOg|f9yoh&;-mkLAEmlr
z-%m=i`j^C&y%r+Fu`~W@R6%mqR|<JJRq`e1?09c2cT=H^0rHE2`kL0FHR+TiYzW~n
zLL2dL|Bncnp8;lS<m1g@yQ?3OKZdSentac>B1caju6T8|>)3T8mj9&WZciR3Hk4`P
zK<Cj^%~5b9sWtYm@2-?QFEGSeF@skcA1vvRUv9Hr3s?wh3*H1|{Y^na>&j^gm>|gp
zD0<6q>dqw@d=zMGaa*O%WsUBLK>HXIARl=0M37$hr&;oq*8UxHkq7*9?HgNYMtt2k
z@esopJRd@gu5%F)+3#O&U$^`nci>Y?V1mes5U4;nJMl$A4lwU<Hmxjvb6TL|>%<-t
zFhQ%LiV$W|v7x;s*kz@&c8_!<Vbf(K*4}s-5M{y~f<;S7Jaq-ZH9K-tbveBo)|F{C
zQ=@s@ksbpQmpX0uehaVq`fmQ?+hWK;<0})&(JQ%#zeKWziQgcp$bwYveKnNUr?@+B
zq&2w6W^PolgMEGSu&#-CCGg^PkV+T+{t?N@kk0QAjD>ehP#=-q5|$}(aMjl$Q+rfK
zOhji7+kR8{2CR+MV{WAAI<~9<-I3-aK}QE@%&S>qYy2EF@G4~WU-+ra{SivkKyqFw
zyjyvVOWo9a7k}^xC3pT>Tke>w5HUEW0@HT8d)mJicO=sA)=`QlYFJq9zm4ecHVbUs
zdVM=$WhK$rzL?tMYY+ure}!=>NUrt-(o8EvpT$iTYKDjW|FPVyWb`FJUlH;%u>?<f
zv!Xwr@<A2j;U8{++E0M)pfh61?0zWN-L~d4oi{LT8tT&|3Z8DvPe1Mi2gYUoa{$6X
z^NtD9{RHc}!qUG(I`|~gt`1EFqQ3QkDpq>U-Hm9e`r-Ef+z{siisY4AFqdUUHIDjg
zhZ_%}aD;8Qw_;r%$^m|K-;=832uZ`K;d}~RJcKQ&rv<UcksIcnXVisN6S!J05Tk%$
zX&I9ZNmL*`T;bgBO-&y)X&Nf~{f9XCZwa=)#Hq=DuEbc7p%H}sV%z`NeqJF>AjsPE
z$bAH5J`gn!w+>r_7%(f)fD7s-i#z6txkP;XG&jlilS3~dac~7fRGs|XYmAqhOXYr4
z-3w9XMd#VNS+9et_h4<;ZeX8s9u7?H>jXT+T(gch8&$XxB^M{=NLd{tavlRy##FcM
zCX@Bre#9EWwQ5=~7!wDPhyb%MLQ{a?DaJzRkH{EMdZ<CNp<@dZDm4V&$ZX=^C|KJ|
znkEE~^tLFJO<@)_kn|h2hNq|Y2|n#`+h7`GUAvZs1vXQMp^ahrFiC^6mjhZ7{5byc
zt6hV6gXc{{uVhJydk<A1&1{))B(NZ1FhysD-g%QzSO`houfGfssx^U1p&@k}m9dQQ
zJ6RIP8EyDag&MA2E~tIR?Q92=wd2@Fiky9X=%6Ecx`qP|Cv>{@{_H+9*@#D=_Ta&7
zJ8((V*ME4qO#~v#=Cn><vNKLOHC~bD#|=Xxb;vs%H+nr-AOj_o{qgKCtTXFTZ#&Mz
z=psnY(+)WZWXJB@2T<t!hW9*;QO<+?gJ&q{&<RU&kUCh`Sc^J1bg|Rj`_*aFH`tb}
zKMHP39_g57)v!W#bTkUySS0B~$+T&~#LUP7Tlq^dy6uNAxa@R_k}F)ra&ux<4&%&K
zE%_0n3!3;kk{jpkb9D#FQJPB%M5$p|DpHn1-i)Bqr<X|||9aKy8~{mtvJ6aGvuOw`
zTI1!-tjkNk0LdvQleVifnL5L?$NMJH8*k7pISa_>*ShXpM<ys`F~tAic1j;QQFuoi
zmz&z3>7k4!`cV&uo5nhU+YO_1&duTCM9Slhaeuq=cuIP1qxIrR>-Ps*4&dwwt;ZQp
z*i7#%R@_mq{@yJ=*0n5O%mwd|F?fKw?Q)1{+qFOx2Tx#$_;BVyL~ab>fyKiIL~%_)
z4BKXkTrvYZCjO^$I1`cXWhpxF5RdpbZj^Np(V+V8=i6<35p`Ii*w-F0j;vTN+(vEV
z*;GizuquM*<&f{*XXezysDW_p!GO<*K?x!2Dfr#9c{@ok9`{d_)jNr0!7+H-qRo0L
zkF%tvXo~UMi9Fr(_x)k`-EN6IkDa?Q)uv(j7d;Da7j8VCGoBlo@Pa>i-6;D{vkY@!
zn)Vc0g!7UkDs8$kUQ;0pCGDnR7tUzc!{+sJH?4Jxux6+_LS%9Z^O}5Ac&5l}Bfl~!
zxjWJrsiS?iYs#tL?2~lfF#)Oat=(-wpV7~z!&E9jXMt|%$OSrj9gIU;wBa|So@H0W
zULAAJE2%X7h9f@vSAR|y_t5)(`Vf5KFQFJWl*~szW81G7drG2vusFJV$1=qXG7M@J
zR1ce1r{G2ywdett2WK11AId2sc}1Fh!s=+-kVdt0=Wan|R8ByduZ?VnmvDcOH4I~d
zbg*1pZJ}GWLp7|dV`=t}k9{$HdY)amd02H9Y5XvmBpa2jlREC$KQN(r%#iw)YFeT2
z=xqF~`)wybviqUv-p0l-n!R;tKtltsG_N*!vh$w;gdHM-0&h42<vOmFyZhOJp<3y)
zq3`8mIukjGBohsPByzy>R;h^5KHzPY6UvBZ=90#)N+8D8?mT(}eFRFSKd)R>pk%Nm
z?a-!oG_S?X5N~g$%iU=}&5kN49V*U?K@m#T&lCFaM8uKF@fmB={01him_2Ryjf!#{
zh~pXXy;%nXUGtp-kdv+mMo*L{s=s|hVI5gke;%ylQ8tV3pLknIpnv}qzR}cjX-|xm
zK1nxuKlOMbuduT?l!rH^6A)D^{^9Zdl*7$BRy~p~Qi*O9$O)5ebi30bsj1SUZn-DV
zqMG)y6lV@HHq12Ny#?~XL^B!JNKYH@M7<U>q@u!X{iJ7-$G||xw7C$m2NiTFiwW<T
zA7M{|kZ>7ifBSa64ZqPT=>T=Y;C1+r`oh*Rn>@q(#s!nY2cL2|(sK>yChX|b$2K{4
z&#z%kem6Nf<X4k2xFZMj<Ux6&paiap`&TEO^Hyvj2sS+`LX-Ci4VR2l4);KUM7(5|
z{8a8C6vL8X^b78X%e9<#;kp<(`>(pCEbx$^x|o70Wfc|MKl!ecfWm|F9B|PPv&v$v
zoRDu0!=G$=19RmuwSK_&3cO0fvqAR6V0hKh;^%(6wWf7(NNQL$Pp+DD2%~3U$WG%&
z5|fbpiooTd5Z-l)epH7Kq!p3O^>t<L7b2ZIQ-6#j8DGg88&jElFB=xai4^wQw0D_{
zu^lV>oJJl50sJG1N)WZhOiR75{6&3^pwnByj&IZ;VMV&1@0+3FtoJF=wG1S(7uZkM
zut>i7HXkePZBLs%G|>@Wo5q_r)Ng5R5FbxuROiT$C4QC<^a++Ze%n5Q--!nUC;X?|
z7yZu`CYix#$xT#S6Z6~p11|W{=o?$y#ZeH8$T`iMmh9GmsapRFiE=p-sz(0{#^K^v
zh2n(ayyOZq+$F${3JaH|Zk_^F=lsG;u#x-8A&cEW<~Lm*Z<QDy%QGTk;#5F`=Yrb)
z&F|&`6-GVdJHYRQKqgoKz?4dn{afz%R+^AAr;5s74lSpF0Y~F7E|am9G!y~X-H)1f
z5(zh(qaRh&63o7%G60M8L&x7`khm60V2x#BW}dV#EjK=~pKhS+=}{>&sx{1jgxlUj
z(Sa<#g+<1bA!9J7k5_){&0k*-D8~3_{QQZMu(vgoC*Il`LCl7Rib}SA5#-@PBo246
zy}hOcU8DxxwOAYj0~7$dj!4k006>b&oSY=V06lHbwPid&4-__v1rH5q*@vN_+Utw8
zz=14mD81C}!$>^TTGu&l#z)Qto^doM9lHvO5yU`LNa7$LYC59^98uWNyxf>8hGsJ5
zBJwd!=jd0<OsO0Eo2#};FE*H)hldqdW=Bz-NPRWnvAQ~yxxVoO^!;sdj*BY55>Pkz
z8Dhq?|8rt|d>=YpbH_?=in5y8BX;&rnprh0K5uR>W}B~ek!V+w-yFDr#<j3hFI^}X
zx%>0y^y1N=^w0kOXr8v~ka%Xb2X3d^Droq-YWC|!z&<YaI}eyxSqUjA2ZptTnZa6E
zF7mX%c}g>il3$X)sH6nr^3-_{fci!_PmF<iK&0cSqx<HFd$w;8v%5Q-g3pTn9{3Zp
z^bOP&wf|*;5_s=T+D#4TE10OJaLa|FX;GKA1(?_zPzE77_<**MJ}8w@>P5kr5qLAZ
zbh=~Gmnj+poZ`Q*gD&`sp3{?86L!bj7mllsAmro*tNkX}!IiE7F4GMitNltIH`k+I
z$@$(KqraMYlL*l3OKx-Eb+f+3<UB3Qy_Y9`>}JzhfG!h|ync&7j5gl|x+Zg8+{4wQ
z?b;pw`YoX9iFq9^EcaN0InMwqYBrPaGyowi0bTBRdomsXH9pIZSGN7e>5VhkJjcaq
zDJ=KLaj8$KkA13Gd{OAP%_eJB3>!Vrfpw>Y9&pA!fBp<cg%4s}cR0)_kr$%(mF#b8
zfUw41YnVeQdMqRFJ^`3&EpQosiaFqdmYtUXzWd=HHyTt%-2a+;O8w#*`dW;(Kv831
zq;yF=M{3N%G#o1lVn5ql-rhx*>#?%gd^U>_^HA~^K=>Li2E_wQ&HJ*_p<Xt>eU9et
zH0cG7IhVR|19EeaG+-j|oPiwyUoCK%K|5amW3c5GMj94rzBb=3`FeL+ZA)98JKHCp
zFo7ii`KLg5qVb4n2|2iUfXsneTpaqonyAW0<N&|NXJYy}{N0%~Ve6}Yxys7#QKMG>
zhX)5|QDX*Wsh(C^pZ(6H)?bT(K^}NHBO8uYRKEqZ!mbabcAXLT_v1liC`u|oAZXe5
z?*eF9N!`b=q|{V|fq8UCX8{Vo9d}1pm)=%f7^!-OP_mZvjp`P!ywvCyy&T~=n%~J>
zK?h?dosjbb<l9)3hM+qa`mKR!64$-MpUAl-z=jpKJje*_e2)JBFlZ10P+q3Ufn968
zC;Ti|GmBMOLt|yWect~XWfd$_-3-nB56mlGH2%z22mzw9;r*E0qrc&z@`KaB<y%)W
zeNr;A^tG%2Mg9PQs6>4a4YN&AHQvX>po|#88r?mfnGzP{Gh!W2&dzS?bnQ&(=uZy3
zxF2nHpi5H=SG-*LO)KF1&-lJ)dBuoYyFpjQLF;hm22a-Hwp+2dH9vq)hl(`Nfr6%@
z%<ED#$X*akpvy&2a)IVSOjkK(^CI<V>o=+3`0%4x3CE<JJ_RDkf}8iwzmEDj&DFJ>
zP~XdqBIC$MWiJnxKfT_b2yMH&9bV@sz&7eWt9NnmR9amJjb)9EjkEXuY@H<Xm=ogT
zYlW_Gb91ksya}}djB?OFO9zn>VC3!K;P9f^2M?U561>!EwH`<{D16a~1%w#g*7}d{
z8@n!!irMwcM1YLYbLPFuGy@5j6Lnw2Fb}-I{A#ebSdIKbS!M$4p|bTdM)4D-8i#o+
ztjXJ%&p10ZRR+i^AVfUbqwqVSvJfx}t7`s8K1fKwn*&^5uu)1-FbRazVv~A<sIerV
zf7IG(#b;)QeRU#~iROy4L<Hjlu~;ZWsC;DxE-gf*!7CziFJAgzACR-GG5+!ii+e5;
zOr?0;iI234u}#g{(Jwbv1`$0JEx<9c&+sFt;Vgl&dU&x$SMz$qwt%G`#2LUS9ZAxv
zB0fE0&3N&Ul(hX{of^C84^Hy{W=~mr=hN-?BI4plzd2kfO$*lsvhI^R&O?dc_5k8$
zuYnYMuUYM%oUDzNvxQ>&Zv3@5zr7l5zOWUx9nAg}$6)<LT3Spj{$4%;(bs>!y_jX`
zU!4<n6WsN)Mn+6pFCN`&FAz0-Pe$SEfHfyfmGZ&Jjut;w+Hi}*xx-vr)0D4HXDFV$
zRBsIuUS$C$i}B~rCmgDg$UHeD5dg*S-chG*J$wG#sCto=O6a&}i8zcPS^u*t?ssSL
z?tBH$^_eCvjr4E%0OmIQ_;I*Z>4breZ8Q2Miv@jPW9}|MGfQlsIHy%@Z`Sob6DUTf
zTkU6)as4Br@OcMPL|BS>ARb)~*>n>;B@{i>cO|L*UNl83N1OE8n~ju<d^-usg*vD4
zwZ60jAStAjJ`d`vttiyvkj^i7bg`TOF9Af>pyIlBcgEymy<m`%cm6>_IocTGeG13K
zJZQdsV{jkBoGQI~P6D3b1up@Swcnr9?PygHWYatVa;cP7QUUAkz?Uv-pP31L8Y;EY
zFC2Lfo>RE90AEiMo~4jYU@7-#k!b?ub-*PI2<Dzgt6pDpOI>Q%+dvnbFB(GbU+-x2
zzy!wK9o-aEFKcIKrx=wgFDokn-YO{sisi+w#^HeY9kZzDd$p8-rG<r_^*_&#>asqA
z1^@PJYe18-re>?FL0h`u%FjLJ!0Q7iAn-tbNeD&Y>A^j60xy}%jq8Rvg_Lw_UT*Zc
zpF=;8a%ci7Y(MiuE<_4BTuYLj{dxDQ6_DuXU-fTb$c<I~?U3)DUR;MVQ%3Q?K6mS!
zr`X5;w1q8EiMWY8K*t*w!(kA31l$a8UE<?6k^mt?M&%epMcL=3BEm{`BP=cRKs+{K
zYK^>K+sI;k>f9I(0?K4CU0|vr2+pFQZV3#;HT?0~C3^}KA;T4>a^10Xn&8y?=;%Dt
zrU=CZ)JYgfVgMK~YuCFx@ZLTzMois1U~Vok*}GrYg{c4gg&t5YXTWd7NCbBWoD!Zr
zuZuwhD##-)j_wx+Di@Wc#IpP#q-WIIMvoC<m{i$(yd;uMjg)}hqiLGBZx9R<FDP57
z7XiLpr4rR!x_C{cR5Pu1wQA>gno7IGLsQj>Bn|FMw|m5>)&oejA6IP(0BJY0aho1H
z|NT4h*^36e8elu~z#O?kc>jwRf|viZ^;AKraH9P`zxDOs4s5RJws$4*4WgdWf>+xh
NDhitN6|xp@{~t|oHfI0;

literal 0
HcmV?d00001

diff --git a/tikz/control-flow-graph/control-flow-graph.svg b/tikz/control-flow-graph/control-flow-graph.svg
new file mode 100644
index 0000000..aab4848
--- /dev/null
+++ b/tikz/control-flow-graph/control-flow-graph.svg
@@ -0,0 +1,43 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="720pt" height="198pt" viewBox="0 0 720 198" version="1.1">
+<g id="surface1">
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M -17.494805 -6.751981 L 17.493767 -6.751981 L 17.493767 6.752896 L -17.494805 6.752896 Z M -17.494805 -6.751981 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 49.609375 57.261719 C 51.847656 59 53.585938 59.726562 56.386719 59.726562 C 60.644531 59.726562 63.277344 55.914062 63.277344 52.273438 C 63.277344 49.300781 61.597656 46.554688 58.742188 45.378906 C 56.554688 44.480469 53.867188 44.539062 51.960938 43.417969 C 50.5625 42.519531 49.71875 40.953125 49.71875 39.382812 C 49.71875 36.578125 52.128906 34.730469 54.652344 34.730469 C 58.179688 34.730469 60.644531 37.589844 61.207031 41.175781 C 61.316406 41.679688 61.207031 42.632812 61.878906 42.632812 C 62.269531 42.632812 62.269531 42.351562 62.269531 42.015625 L 62.269531 34.28125 C 62.269531 34 62.214844 33.777344 61.933594 33.777344 C 61.429688 33.777344 61.039062 34.730469 60.703125 35.234375 C 60.535156 35.515625 60.253906 35.90625 60.140625 36.242188 C 58.628906 34.785156 56.949219 33.777344 54.59375 33.777344 C 51.066406 33.777344 47.421875 36.1875 47.421875 40.726562 C 47.421875 44.425781 50.167969 46.890625 53.640625 47.621094 C 54.425781 47.789062 55.097656 48.011719 55.882812 48.179688 C 57.84375 48.6875 59.859375 49.191406 60.703125 51.710938 C 60.925781 52.273438 61.039062 52.832031 61.039062 53.394531 C 61.039062 56.082031 59.1875 58.660156 56.164062 58.660156 C 52.632812 58.660156 49.160156 56.757812 48.433594 52.609375 C 48.375 52.328125 48.375 51.9375 48.320312 51.65625 L 48.320312 51.375 C 48.320312 51.039062 48.152344 50.871094 47.871094 50.871094 C 47.480469 50.871094 47.421875 51.152344 47.421875 51.375 L 47.421875 59.222656 C 47.421875 59.503906 47.480469 59.726562 47.757812 59.726562 C 48.320312 59.726562 48.710938 58.773438 48.992188 58.269531 C 49.214844 57.933594 49.441406 57.597656 49.609375 57.261719 Z M 49.609375 57.261719 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 70.625 36.972656 C 70.625 39.4375 69.617188 43.921875 65.917969 43.921875 L 65.917969 44.707031 L 69 44.707031 L 69 53.898438 C 69 55.074219 69.113281 56.308594 69.671875 57.316406 C 70.457031 58.773438 72.136719 59.335938 73.707031 59.335938 C 76.621094 59.335938 77.179688 56.082031 77.179688 53.785156 L 77.179688 52.496094 L 76.339844 52.496094 C 76.339844 53 76.339844 53.5625 76.339844 54.121094 C 76.339844 55.691406 76.003906 58.4375 73.875 58.4375 C 71.859375 58.4375 71.523438 55.972656 71.523438 54.402344 L 71.523438 44.707031 L 76.621094 44.707031 L 76.621094 43.585938 L 71.523438 43.585938 L 71.523438 36.972656 Z M 70.625 36.972656 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 83.167969 45.378906 C 84.066406 44.257812 85.632812 43.753906 86.980469 43.753906 C 89.613281 43.753906 90.789062 46.164062 90.789062 48.6875 L 90.789062 49.636719 C 86.699219 49.636719 80.648438 50.925781 80.648438 55.578125 L 80.648438 55.859375 C 80.929688 58.660156 84.402344 59.335938 86.476562 59.335938 C 88.269531 59.335938 90.621094 58.15625 91.070312 56.308594 C 91.292969 57.878906 92.300781 59.167969 93.871094 59.167969 C 95.328125 59.167969 96.617188 57.988281 96.839844 56.363281 L 96.839844 53.785156 L 95.945312 53.785156 L 95.945312 55.578125 C 95.945312 56.589844 95.71875 58.046875 94.65625 58.046875 C 93.476562 58.046875 93.308594 56.644531 93.308594 55.691406 L 93.308594 49.695312 C 93.308594 49.246094 93.367188 48.796875 93.367188 48.347656 C 93.367188 44.875 90.117188 42.96875 87.148438 42.96875 C 84.851562 42.96875 81.710938 44.089844 81.710938 46.949219 C 81.710938 47.957031 82.441406 48.6875 83.394531 48.6875 C 84.402344 48.6875 84.960938 47.902344 84.960938 47.003906 C 84.960938 45.996094 84.179688 45.378906 83.167969 45.378906 Z M 90.789062 50.367188 L 90.789062 54.011719 C 90.789062 56.476562 89.109375 58.4375 86.753906 58.550781 L 86.644531 58.550781 C 84.960938 58.550781 83.449219 57.261719 83.449219 55.523438 L 83.449219 55.355469 C 83.671875 51.710938 87.707031 50.480469 90.789062 50.367188 Z M 90.789062 50.367188 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 98 43.585938 L 98 44.707031 L 98.5625 44.707031 C 99.738281 44.707031 100.804688 44.820312 100.804688 46.5 L 100.804688 56.363281 C 100.804688 57.820312 99.792969 57.878906 98.226562 57.878906 L 98 57.878906 L 98 58.941406 L 106.6875 58.941406 L 106.6875 57.878906 C 106.238281 57.878906 105.734375 57.878906 105.285156 57.878906 C 104.164062 57.878906 103.210938 57.710938 103.210938 56.363281 L 103.210938 51.65625 C 103.210938 48.574219 103.882812 43.976562 107.414062 43.976562 C 107.582031 43.976562 107.636719 43.976562 107.804688 44.035156 C 107.246094 44.257812 106.964844 44.820312 106.964844 45.433594 C 106.964844 46.21875 107.527344 46.78125 108.367188 46.949219 C 109.375 46.949219 110.046875 46.332031 110.046875 45.433594 C 110.046875 43.976562 108.703125 43.191406 107.414062 43.191406 C 105.285156 43.191406 103.4375 45.097656 103.042969 47.003906 L 103.042969 43.191406 Z M 98 43.585938 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 116.359375 36.972656 C 116.359375 39.4375 115.351562 43.921875 111.65625 43.921875 L 111.65625 44.707031 L 114.734375 44.707031 L 114.734375 53.898438 C 114.734375 55.074219 114.847656 56.308594 115.410156 57.316406 C 116.191406 58.773438 117.875 59.335938 119.441406 59.335938 C 122.355469 59.335938 122.914062 56.082031 122.914062 53.785156 L 122.914062 52.496094 L 122.074219 52.496094 C 122.074219 53 122.074219 53.5625 122.074219 54.121094 C 122.074219 55.691406 121.738281 58.4375 119.609375 58.4375 C 117.59375 58.4375 117.257812 55.972656 117.257812 54.402344 L 117.257812 44.707031 L 122.355469 44.707031 L 122.355469 43.585938 L 117.257812 43.585938 L 117.257812 36.972656 Z M 116.359375 36.972656 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 42.037079 -6.516754 L 60.013429 -6.516754 L 60.013429 6.514402 L 42.037079 6.514402 Z M 42.037079 -6.516754 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 262.414062 36.578125 L 262.414062 37.699219 C 263.984375 37.699219 265.664062 37.53125 267.066406 36.746094 L 267.066406 55.464844 C 267.066406 56.808594 265.71875 57.035156 264.320312 57.035156 C 263.703125 57.035156 263.144531 57.035156 262.640625 57.035156 L 262.640625 58.097656 L 274.238281 58.097656 L 274.238281 57.035156 C 273.621094 57.035156 273.003906 57.035156 272.445312 57.035156 C 271.042969 57.035156 269.753906 56.808594 269.753906 55.464844 L 269.753906 34.894531 C 269.753906 34.558594 269.640625 34.28125 269.25 34.28125 C 268.746094 34.28125 268.1875 35.007812 267.738281 35.289062 C 266.167969 36.296875 264.265625 36.578125 262.414062 36.578125 Z M 262.414062 36.578125 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 42.032721 -34.860551 L 60.013429 -34.860551 L 60.013429 -21.829396 L 42.032721 -21.829396 Z M 42.032721 -34.860551 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 262.410156 140.722656 C 263.25 138.929688 264.597656 137.078125 267.171875 137.078125 C 270.535156 137.078125 271.992188 140.164062 271.992188 142.964844 C 271.992188 146.273438 269.808594 148.960938 267.734375 151.316406 C 265.71875 153.726562 263.53125 156.023438 261.457031 158.378906 C 261.121094 158.714844 261.011719 158.882812 261.011719 159.386719 L 261.011719 159.777344 L 274.289062 159.777344 L 275.242188 153.558594 L 274.402344 153.558594 C 274.066406 155.183594 274.289062 156.976562 272.441406 156.976562 L 271.039062 156.976562 C 269.976562 157.03125 268.964844 157.03125 267.902344 157.03125 C 266.5 157.03125 265.15625 157.03125 263.8125 157.03125 L 266.277344 154.621094 C 267.285156 153.667969 268.238281 152.71875 269.246094 151.820312 C 271.878906 149.464844 275.242188 146.886719 275.242188 142.910156 C 275.242188 138.875 271.824219 135.960938 267.789062 135.960938 C 264.371094 135.960938 261.011719 138.539062 261.011719 142.40625 C 261.011719 143.300781 261.347656 144.421875 262.859375 144.421875 C 263.925781 144.421875 264.765625 143.695312 264.765625 142.574219 C 264.765625 141.621094 264.035156 140.722656 262.914062 140.722656 C 262.746094 140.722656 262.578125 140.722656 262.410156 140.722656 Z M 262.410156 140.722656 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 93.060673 -6.516754 L 111.037023 -6.516754 L 111.037023 6.514402 L 93.060673 6.514402 Z M 93.060673 -6.516754 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 446.09375 37.417969 C 447.269531 35.738281 449.230469 35.175781 451.136719 35.175781 C 453.265625 35.175781 454.21875 37.363281 454.21875 39.15625 C 454.21875 41.398438 453.488281 44.3125 451.082031 45.039062 C 450.242188 45.265625 448.167969 44.984375 448.167969 45.65625 L 448.167969 45.769531 C 448.167969 46.050781 448.449219 46.050781 448.726562 46.050781 L 449.121094 46.050781 C 449.511719 46.050781 449.960938 46.050781 450.410156 46.050781 C 453.882812 46.050781 454.835938 49.355469 454.835938 51.933594 L 454.835938 52.496094 C 454.777344 54.738281 453.769531 57.929688 450.6875 57.929688 C 448.726562 57.929688 446.375 56.976562 445.308594 55.128906 C 445.421875 55.128906 445.535156 55.183594 445.703125 55.183594 C 446.824219 55.183594 447.664062 54.289062 447.664062 53.167969 C 447.664062 52.160156 446.933594 51.375 445.980469 51.207031 L 445.757812 51.207031 C 444.300781 51.207031 443.683594 52.214844 443.683594 53.335938 C 443.683594 57.089844 447.71875 58.882812 450.855469 58.882812 C 454.722656 58.882812 458.53125 56.082031 458.53125 51.992188 C 458.53125 48.628906 455.675781 46.105469 452.480469 45.546875 C 455.113281 44.59375 457.523438 42.40625 457.523438 39.324219 C 457.523438 36.183594 454.273438 34.28125 450.914062 34.28125 C 448.167969 34.28125 444.636719 35.792969 444.636719 39.210938 C 444.636719 40.332031 445.476562 41.003906 446.488281 41.003906 C 447.4375 41.003906 448.222656 40.332031 448.222656 39.210938 C 448.222656 38.148438 447.4375 37.417969 446.375 37.417969 Z M 446.09375 37.417969 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 93.056315 -34.860551 L 111.037023 -34.860551 L 111.037023 -21.829396 L 93.056315 -21.829396 Z M 93.056315 -34.860551 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 443.171875 153.894531 L 452.699219 153.894531 L 452.699219 157.144531 C 452.699219 158.601562 451.578125 158.714844 449.730469 158.714844 L 449.222656 158.714844 L 449.222656 159.777344 L 458.917969 159.777344 L 458.917969 158.714844 C 458.46875 158.714844 458.019531 158.714844 457.574219 158.714844 C 456.453125 158.714844 455.445312 158.488281 455.445312 157.144531 L 455.445312 153.894531 L 458.972656 153.894531 L 458.972656 152.773438 L 455.445312 152.773438 L 455.445312 136.742188 C 455.445312 136.632812 455.5 136.464844 455.5 136.296875 C 455.5 135.902344 455.386719 135.566406 454.9375 135.566406 C 454.378906 135.566406 454.265625 135.847656 454.042969 136.238281 C 450.679688 141.339844 447.320312 146.441406 444.015625 151.484375 C 443.566406 152.15625 443.117188 152.660156 443.117188 153.277344 C 443.117188 153.445312 443.171875 153.667969 443.171875 153.894531 Z M 444.183594 152.773438 L 452.867188 139.546875 L 452.867188 152.773438 Z M 444.183594 152.773438 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 144.079909 -6.516754 L 162.060616 -6.516754 L 162.060616 6.514402 L 144.079909 6.514402 Z M 144.079909 -6.516754 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 628.035156 53.839844 C 628.257812 53.953125 628.425781 53.953125 628.648438 53.953125 C 629.714844 53.953125 630.441406 53.222656 630.441406 52.160156 C 630.441406 51.207031 629.601562 50.476562 628.707031 50.476562 C 627.753906 50.476562 626.914062 51.148438 626.914062 52.269531 C 626.914062 55.96875 629.824219 58.882812 633.46875 58.882812 C 637.78125 58.882812 641.144531 55.183594 641.144531 50.871094 C 641.144531 47.226562 638.679688 43.078125 634.421875 43.078125 C 632.683594 43.078125 631.113281 43.75 629.824219 44.929688 L 629.824219 37.980469 C 630.722656 38.148438 631.5625 38.371094 632.460938 38.425781 L 632.851562 38.425781 C 635.371094 38.425781 637.726562 37.363281 639.40625 35.402344 C 639.574219 35.175781 639.796875 34.953125 639.796875 34.671875 L 639.796875 34.617188 C 639.742188 34.449219 639.574219 34.28125 639.40625 34.28125 C 639.015625 34.28125 638.175781 34.785156 637.5 35.007812 C 636.492188 35.289062 635.371094 35.457031 634.253906 35.457031 C 632.683594 35.457031 631.226562 35.0625 629.714844 34.558594 C 629.488281 34.503906 629.320312 34.390625 629.152344 34.335938 L 629.097656 34.335938 C 628.929688 34.335938 628.761719 34.503906 628.707031 34.671875 L 628.707031 46.160156 C 628.707031 46.441406 628.816406 46.722656 629.210938 46.722656 C 629.601562 46.722656 629.996094 45.9375 630.21875 45.769531 C 631.171875 44.59375 632.738281 43.863281 634.308594 43.863281 L 634.421875 43.863281 C 637.5 43.976562 638.007812 47.953125 638.007812 50.703125 C 638.007812 53.109375 637.835938 56.136719 635.09375 57.539062 C 634.53125 57.820312 633.859375 57.929688 633.242188 57.929688 C 630.945312 57.929688 628.648438 56.136719 628.035156 53.839844 Z M 628.035156 53.839844 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 135.575977 -36.063913 L 170.560191 -36.063913 L 170.560191 -20.626034 L 135.575977 -20.626034 Z M 135.575977 -36.063913 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 592.546875 155.46875 C 594.789062 157.207031 596.527344 157.933594 599.328125 157.933594 C 603.585938 157.933594 606.21875 154.121094 606.21875 150.480469 C 606.21875 147.507812 604.539062 144.761719 601.679688 143.585938 C 599.496094 142.691406 596.808594 142.746094 594.902344 141.625 C 593.5 140.726562 592.660156 139.160156 592.660156 137.589844 C 592.660156 134.785156 595.070312 132.9375 597.589844 132.9375 C 601.121094 132.9375 603.585938 135.796875 604.144531 139.382812 C 604.257812 139.886719 604.144531 140.839844 604.820312 140.839844 C 605.210938 140.839844 605.210938 140.558594 605.210938 140.222656 L 605.210938 132.488281 C 605.210938 132.207031 605.15625 131.984375 604.875 131.984375 C 604.371094 131.984375 603.976562 132.9375 603.640625 133.441406 C 603.472656 133.722656 603.195312 134.113281 603.082031 134.449219 C 601.570312 132.992188 599.886719 131.984375 597.535156 131.984375 C 594.003906 131.984375 590.363281 134.394531 590.363281 138.933594 C 590.363281 142.632812 593.109375 145.097656 596.582031 145.828125 C 597.367188 145.996094 598.039062 146.21875 598.824219 146.386719 C 600.785156 146.894531 602.800781 147.398438 603.640625 149.917969 C 603.867188 150.480469 603.976562 151.039062 603.976562 151.601562 C 603.976562 154.292969 602.128906 156.871094 599.105469 156.871094 C 595.574219 156.871094 592.101562 154.964844 591.371094 150.816406 C 591.316406 150.535156 591.316406 150.144531 591.261719 149.863281 L 591.261719 149.582031 C 591.261719 149.246094 591.09375 149.078125 590.8125 149.078125 C 590.417969 149.078125 590.363281 149.359375 590.363281 149.582031 L 590.363281 157.429688 C 590.363281 157.710938 590.417969 157.933594 590.699219 157.933594 C 591.261719 157.933594 591.652344 156.980469 591.933594 156.476562 C 592.15625 156.140625 592.378906 155.804688 592.546875 155.46875 Z M 592.546875 155.46875 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 613.566406 135.179688 C 613.566406 137.644531 612.558594 142.128906 608.859375 142.128906 L 608.859375 142.914062 L 611.941406 142.914062 L 611.941406 152.105469 C 611.941406 153.28125 612.054688 154.515625 612.613281 155.523438 C 613.398438 156.980469 615.078125 157.542969 616.648438 157.542969 C 619.558594 157.542969 620.121094 154.292969 620.121094 151.992188 L 620.121094 150.703125 L 619.28125 150.703125 C 619.28125 151.207031 619.28125 151.769531 619.28125 152.328125 C 619.28125 153.898438 618.945312 156.644531 616.816406 156.644531 C 614.796875 156.644531 614.460938 154.179688 614.460938 152.609375 L 614.460938 142.914062 L 619.558594 142.914062 L 619.558594 141.792969 L 614.460938 141.792969 L 614.460938 135.179688 Z M 613.566406 135.179688 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 630.535156 141.175781 C 626.054688 141.625 623.140625 145.4375 623.140625 149.582031 C 623.140625 153.617188 626.332031 157.542969 631.097656 157.542969 C 635.355469 157.542969 638.941406 154.066406 638.941406 149.527344 C 638.941406 145.324219 635.746094 141.175781 630.984375 141.175781 C 630.871094 141.175781 630.648438 141.175781 630.535156 141.175781 Z M 626.109375 150.425781 L 626.109375 148.855469 C 626.109375 146.109375 627.007812 141.960938 631.039062 141.960938 C 633.953125 141.960938 635.578125 144.425781 635.914062 147.117188 C 635.96875 147.902344 635.96875 148.6875 635.96875 149.472656 C 635.96875 151.769531 635.691406 154.683594 633.449219 155.972656 C 632.722656 156.476562 631.9375 156.644531 631.097656 156.644531 C 628.519531 156.644531 626.671875 154.628906 626.277344 151.824219 C 626.222656 151.375 626.222656 150.871094 626.109375 150.425781 Z M 626.109375 150.425781 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 640.941406 141.792969 L 640.941406 142.914062 L 641.613281 142.914062 C 642.679688 142.914062 643.742188 143.027344 643.742188 144.425781 L 643.742188 161.578125 C 643.742188 162.867188 642.789062 162.976562 641.78125 162.976562 L 640.941406 162.976562 L 640.941406 164.097656 L 649.011719 164.097656 L 649.011719 162.976562 L 648.167969 162.976562 C 647.105469 162.976562 646.265625 162.867188 646.265625 161.578125 L 646.265625 155.355469 C 647.105469 156.871094 649.121094 157.542969 650.632812 157.542969 C 655.0625 157.542969 658.589844 153.785156 658.589844 149.472656 C 658.589844 145.15625 655.285156 141.402344 651.082031 141.402344 C 649.121094 141.402344 647.441406 142.242188 646.152344 143.699219 L 646.152344 141.402344 Z M 655.566406 150.085938 C 655.398438 152.722656 653.996094 156.476562 650.746094 156.757812 L 650.523438 156.757812 C 649.011719 156.757812 647.609375 155.917969 646.769531 154.628906 C 646.433594 154.234375 646.265625 153.898438 646.265625 153.394531 L 646.265625 147.398438 C 646.265625 146.894531 646.207031 146.445312 646.207031 145.996094 C 646.207031 144.089844 648.617188 142.296875 650.746094 142.296875 C 654.332031 142.296875 655.621094 147.003906 655.621094 149.527344 C 655.621094 149.695312 655.621094 149.917969 655.566406 150.085938 Z M 655.566406 150.085938 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 660.78125 141.792969 L 660.78125 142.914062 L 661.453125 142.914062 C 662.519531 142.914062 663.582031 143.027344 663.582031 144.425781 L 663.582031 161.578125 C 663.582031 162.867188 662.632812 162.976562 661.621094 162.976562 L 660.78125 162.976562 L 660.78125 164.097656 L 668.851562 164.097656 L 668.851562 162.976562 L 668.007812 162.976562 C 666.945312 162.976562 666.105469 162.867188 666.105469 161.578125 L 666.105469 155.355469 C 666.945312 156.871094 668.960938 157.542969 670.476562 157.542969 C 674.902344 157.542969 678.429688 153.785156 678.429688 149.472656 C 678.429688 145.15625 675.125 141.402344 670.921875 141.402344 C 668.960938 141.402344 667.28125 142.242188 665.992188 143.699219 L 665.992188 141.402344 Z M 675.40625 150.085938 C 675.238281 152.722656 673.835938 156.476562 670.585938 156.757812 L 670.363281 156.757812 C 668.851562 156.757812 667.449219 155.917969 666.609375 154.628906 C 666.273438 154.234375 666.105469 153.898438 666.105469 153.394531 L 666.105469 147.398438 C 666.105469 146.894531 666.046875 146.445312 666.046875 145.996094 C 666.046875 144.089844 668.457031 142.296875 670.585938 142.296875 C 674.171875 142.296875 675.460938 147.003906 675.460938 149.527344 C 675.460938 149.695312 675.460938 149.917969 675.40625 150.085938 Z M 675.40625 150.085938 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 18.091853 -0.00117614 L 38.248112 -0.00117614 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 233.769531 46.699219 L 215.488281 37.550781 L 222.339844 46.699219 L 215.488281 55.851562 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 60.611515 -0.00117614 L 89.271706 -0.00117614 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 416.71875 46.699219 L 398.429688 37.550781 L 405.292969 46.699219 L 398.429688 55.851562 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 51.021441 -7.114623 L 51.021441 -18.043979 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 268.140625 122.851562 L 277.285156 104.566406 L 268.140625 111.417969 L 258.992188 104.566406 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 60.611515 -23.020778 L 89.666072 -6.876129 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 416.71875 65.785156 L 396.242188 66.679688 L 406.707031 71.359375 L 405.152344 82.710938 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 102.045035 -7.114623 L 102.045035 -18.043979 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 451.09375 122.851562 L 460.238281 104.566406 L 451.09375 111.417969 L 441.945312 104.554688 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 111.634019 -0.00117614 L 140.29421 -0.00117614 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 599.671875 46.699219 L 581.378906 37.550781 L 588.242188 46.699219 L 581.378906 55.851562 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 111.630751 -23.020778 L 140.689666 -6.876129 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 599.671875 65.785156 L 579.195312 66.679688 L 589.660156 71.359375 L 588.105469 82.710938 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 153.068628 -7.114623 L 153.064271 -16.841706 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 634.03125 118.539062 L 643.175781 100.238281 L 634.03125 107.105469 L 624.898438 100.238281 "/>
+</g>
+</svg>
diff --git a/tikz/teststrategien-anschaulich/teststrategien-anschaulich.tex b/tikz/control-flow-graph/control-flow-graph.tex
similarity index 100%
rename from tikz/teststrategien-anschaulich/teststrategien-anschaulich.tex
rename to tikz/control-flow-graph/control-flow-graph.tex
diff --git a/tikz/teststrategien-anschaulich/README.md b/tikz/teststrategien-anschaulich/README.md
deleted file mode 100644
index 78ca50b..0000000
--- a/tikz/teststrategien-anschaulich/README.md
+++ /dev/null
@@ -1,3 +0,0 @@
-Compiled example
-----------------
-![Example](teststrategien-anschaulich.png)
diff --git a/tikz/teststrategien-anschaulich/teststrategien-anschaulich.png b/tikz/teststrategien-anschaulich/teststrategien-anschaulich.png
deleted file mode 100644
index 9de28d0ca082514db4e9ad3701d8b0099efe6e5c..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 10250
zcma)?cQjnlyZ46#K|*vAHM;0TZz0-<HVDysXLO@SLL@PW61_wjLNYo-bfVXgDABt_
z@148--utd~|GMj1i!=6|v(MT4JZ10C_j#|Sp?r_v0RaR8xu>e~3<iN<9e~dt?%;yI
z#_wxlz~Q#1ysGXU@Dq5)`W^Tm-%aJECj{~^_2w7rOL}`HXr%E{H1N`a+j{w0c-TOE
zeSLWyT%A0vEZl5(;U0ErTT%}o5JrgVv!}X<^v!9%boImQ=G`$n+q<}Lx&_0KCZi5d
z%h_0s<W+RToH;3CgJEC374r4O!E#vCkS0jyiIlF!=%88KzO&Oy_buehE$X(0<0<ju
z%Rnh9`mNLSWtRc5?eo+0<5OBxmC_xiu=^=#NfTH%9~N3v<*DTFFmcO~e!nk&#{w&E
zC>$IKKZfy!-Iq6b#o`4{YQ<*BCIm-HMtl=+Q7J@q4O|k2qw>FAI(X?io`=8w>JbrA
zaXkCUG$o&H?S#9S(f-Qq_IB;j4Y4hKXYR=)p2hkJcWb5ow0J(=X!gG7#o+dKcl*CE
zq7*u1+h6(jCg9UK#S`vRd}whDLO`-Fnz<#2-3w`b^)45i#9>cJ5~BYuGM8s3{N@}u
z+!T8y4P0ogwxV{^mtVj>C;yKPF~Qu2q8w|>pZo?JVB8SHWIAPR8jt@BeD10L+Iw80
zFymU<GIp$;^^(#6%!GC_dq^;cR`UkOu<ss=ag(bL`Dol@D)Ps+KIDJv5F`T`LXred
z-ElZQ2?CNI4yNnzJ7d!5!h?uZ*RZhWwzuC&<3r5MDwz585C08)OPSElgZGe+fB(I~
z@eTD1e{Es}bd2%h>`Su)9WQJX2c0F;DV`l|gu)vIBni%~yZ*O%CgS|ynJ_+XFj`{P
zesy^rCmldkq+g=`cQ_^|VPT<t|3^p1ed?3a35yTU{~c|rl-u;W`cSuqSB|Dj`6XPO
z-s;YrX3qE8L1=4Zx>KK|O;@jvl`L#$b+(h#Mo+RFxJ-%&x|#caAomNac9A5z|1rj<
zcSXqmz+C3?z{&s6Q8`P7K~0{DrrN4g7D=;@-_r8i@A^`+pGdi;Igw}m&OH+iFE8@o
zVDXdHtg2^9N<#&Mol^VHtt#5cG<4C1+Iy?Sc^=E1g$BC<_4V~)!592S7}w7hZMFx0
z_sb@jB%+L14t91Hy|$*(cNgtobv|uBmNjKwMuN6V_%&?=(Ph%gQJpUw<zeG#8;wLF
z=YAEEC2;8tBrFo1%ge8n+W&MeHm-f<<t1!X{Vi8MyvR0!)!4l4?eFJVGNIbJ`D{lW
z3yX^mBl$A$`kx8l9>ev1lJU9Z1EgeRZD2ynL#~@HuFkz69!p)_NoE>3ijhZb%B#k%
z?!-aAzQl0q7sJY}Ge4`uDpLzsl0rG_CQZM4fsU^RCz$dbdK0}bPFG9v>1OFTQT3l-
z(+RLp+xDH4Ma|va&fL@Gq~-cuCBBN*9TjLH5tMTz|4xd8H*K2eb$?@!#rs|`CHBL4
zPYj(pqUkJO*e4bw_?vPbR;CD$bKLKmgcC1>QyC7IS@|}eIZ8N<Zd3#c;)(vvhEG<<
zI{tP<O_-t$U0%QWI_WZ5>nUXDWEY-Tj5ZQY_Hp(_RYmJSU2Y$7pz?1qSB~;#=&QN*
zCp*%V>Ty<4QWsUp%=Nr6tM!PDq#CU7+m|TP`<hWB#qmWLq8vldA|gV`z<{Z_c-haz
zsLM%#b@!)XiLW>0>dJ3zHYE8g@jB)6?QAEsxF=gWkI`1}%*glcDw|#jyD;y;t5Z94
zVW+RY;X1!LWQa<vDB(eFLeFio?;r3`RgDlYh$+?)7b+MA{p9m|x9QXtms#n##uLE`
z-)&w9G?AOVdrGx(v`kKtk=mdj!LT@?$ic&azU?5aI3dS*;sdRu&%2T)`qUMF_0-CI
z-NL=@#LcPNltP_On>EB(u?drm%vGbMy2H^1!+5DhmBNvYqTxDcGdH8;4!x2k1MB<g
zv&zwsTW_%7pP6^EV2<A(lLq|Ed0Gjd{gf^qKd9Ugbj}7jJD^$GxG$ADdd9LN@j3Ku
zv%isLNYC%GADx|&8~#}|HSJ@+jyCHA-R4A;V(9w@GSd9!!xN>>orSQm_gIVLg;UIG
z+!BdpHxdonA5d0D5z#$httNgT9Jjapm_4`=u}d4z9>W@P_4-G9ds)D-h^1xD-`Nmq
zl$vZRcVedWr2E=Xh;f5|id~iqv?;hPS#+B!npV6S3^Ij(UZ03zrt>3H(8TxO)OyL1
zzDf)2*yejnvOD{|^B=R+oj0DqQG4SdxXhjiJOn96_%7Et@vBT|A$~K55uA6VqS?>m
zZOJQtYASE|+><#y)Gt12g<al&h?5T#gcFsV3BX|_E=(N*FI@Og<-N6<t`z)4R$)ZQ
z+0eJp!ewyo!wkQj3`tQTy8%t>{?sU^v0}Hyjwk+y56lgBE5Ft#%7+~Oc6A;vO${du
zv0Cm?{AOHx2SvWztDpY@ZTEM??tZQ3s=Bc(BctqM$0hJu@|KoRsWW>DHjR3n<dxMV
zp@}QA0JOVh?6cQbmvzHA?IYX<rA!k^;e)bSDk@#HxOWkelNjdHv-Rx2off<284}Td
zN7!$ofT{mqz2K91O%b@Ma)CzwjbAnR-&2{2V9xS2!4yM7%%j_U>@&rXkrLGJ8yHkc
z0~R}0em@m^9X=2*^bG5zONeIbxE-V|-Fr(jOQt&v-^^oUoatzj(CX^quu$og)?%!9
z>>p%BZ{<5C?|K_6^H!z~l;_r4VaL2diL+Pin)FufAHoBVCPWc_G;f9osjigPN4-;o
z9f%Iso95OOzTX>(m};T+$r9VuS3)MIk5`Nu-q<~xCcVP`$`dh<B@L4(3`P{VS=Xn>
zn9T}e@QL)Ar9sx`XoIu0wR->RJR|;IL#6XXD2U;LuEu*7S5ki1_Op$T#XXj+7dx~-
zVo(@JzY=yDO`K`KgEd_dT6Zr*Higi8Eb%vrf%nBTu{%=Kb?kOTkm~`t4CT=;{?_YM
zU}B(9lVLMM-Bvz%yv?B7LW9R+T*J{8p=rJ`&agHez^I<~VsS+CoRp4k8QF$^?pjcG
z;b(sN-J8P9=K!lf-AJw}Sb;2FT&}{_r8}vFks)}ze|UA4$A1m~4`v&Beq<u<f55mt
zini{K^K%~Gp;C^f{p`2@fZMeGlVv;9+CD2Zlz1dxo&Dm{lU=e!Q%XCYR@|f9b9F^`
zk^{A~x5p-RVX$yty*tk4bf;~QVS@p|P+uPizcpqYY~Hzt+w<pTFbVZ7<X{@+1$^x7
zk^!Z-=D-{dc~ylJY4U9(hmlW>4*MMrgHrwsi3WAuUoLNnw+CC^Tnkurz#=whdmlS-
zdu)wZ!W}yh<{~>U(T3Mb*vxc(&6Sz&xU_TbW@q;%%Z9MI{PFTwVw!$y#CmZ1=~EOw
z0hfAbw6s{j5jl_1=*m)eF1P6g-gMn@@6J^RG6k0!hg8znb)_rzmT_Ys797rCX=OD$
z#T(!wOF&ia%j1zD;Y}1+g%H?Rzqf$Jfx>>3Avb)^`2M}IQxMr_RWh>Io}c@IGt-}P
zF5miw8z&S006!29`Rfn0tM~8P68#dAwuobPVJ{j&%D#nmDl_-4;IF!;ekO>M!9fXY
zJIb7dGs?A0Yi+5Whf0?}LLhwga_;)=WaPT3Lqj$jGY$Ra_|peW$0sL<(PEQK+W_;q
zw&$4_crPn#t$r7MJeTMId4xvz3ssd<(n=>oCmDrz8t%PRux>anZd(MSw>i1M;#iCj
z&5)F?jBJ);RB^hrkr$*&e1eqhmLknn;ROw*@`Ap?=qC?Fi_0V{tWyLjNZ})Ble$)#
z2r3b1p?*z#-(qNr91hz1Jj{CQuC#yU{3rcPRxYkXm5`ZwVl1WDO1+dBg_!s6Z99;v
zzY6z_Q`dFBQ3H=3EOTE>4fwO#^C=Q>G?5RfF0^_`%D^x<D9e}q?0rC1^S@xW-KOA6
zt_Y&d#j;LEYlIP@KZE^;4Eowq5tJ?&^6cH6t%I(NVAc$wRrZ;H?R(|6{T<aV1@ROk
z{(gSipXC@uU5%Lq_Yx}<b`7duVzXPZ?3oGpFP*0cP3aV9fM~M~0n004J*=f#&jPH)
z$c&pO#WSd|<rIaRHmyq-b{3@aO;1kZ!QtDw>uj65*BAR3T511}#Im%RTq(1SbSWpt
zrKOu;;Vy$(Q%5svo`?UIf8cXVrEI2*9Dk&*?bL=+;56cNV6#?^Zr3^HH-FXVyY-PZ
zl21nFWn7iXcQ2;08WAyrMmNbfFfK_YQZtBDQC0A7if&ruqb@-kE`FOH<2p^DbaAU+
zwxeIP$0+8LTX{(Rt*vj*hFp86Zt52sTlS~g2s@8+Pk1meFhD<X4Ng=PkS3Yb`Gm`d
ze_#nF!WYP7Dbjm<%2N#N+kJQ8^oN60TU(6#*}?m}?I!upaS~wZ65e)oi=8oA-zygx
zqPm|az-Hv!KO-es_CQ|1c3XV=i>J0LzM0H$o!D4<8Gd;d)s<8NQA>1I3nXA|IXnD1
zWT^8+i^SBw`)uDoZHaS^0_}~5J`C2UH{evvkhr(0!Q#2{T<oF9xBQnCBEP=9oc&}`
zn_$G^_3AyDGJnw7?YjN)!F2I(Y#i*re-0aTUG$2ix_{>4)q3}K(cCN=jccLZe_9Yk
z0#BWtxg)8rpQedqh=p8nlaOF;mZGd`511kI^PTVC)pVCxMZA0eUPEXlUEEW<+*;gc
zdnUEUxieZlfyYST&9%SNPs2_Jv|UO{R}6z}-)o$TWHI+=3%z2&m);MoI*BZ1>dnTh
z`wRCC5yI$0WAve)P_#*rt{?8b2a4M>o8kyJ_`;r$T`P@%<$WAN%9Zo&)p$O$r$Vh2
zQs_goVvQx$!)@90mlgSYoeZ*MG&ES$3Y+l8iP!8|fvFa4Y{?X<YRSRGbc~FQ3`|T$
zFB|*?_?nDkR<qzw-;>(Bi;lMZU3C8@S8Yvs`>;FHNFnZmgoFYi6gUnoy9Vw2{$P{3
zGlRrI$jRB+-X<n@9K(l<W9=>TKO~*;TfOEmt!Kd_+Q<fB8KjT5FjUXaDkn9cttli1
zL!88CmS@_qN6u@U;Jz5VFdq?#lDJCX^!z(jD;{*_^%=1X<3M%Avo{yY^2IiS%}P#g
zZdX<lBSX-E&4=pbx?pXx6r=Ugl3lPa7I66^N-G;o&5*_YOlc-Z?`w4Z;V53A|5mF+
zx!v(%1jChePeRGsL<LV{<ICNnqin0rtxBik{N>1Wb<H)<mLeVSMDc@^JP5w_KXar5
zjy9G+kbS1C{4=}FNcY=`K`Nh4SB4~Cg<Z+YLc1qeO0oV9I(qdgF!1oxuEx~PjulvV
z?XIM4vsCjLpAci<%5gktyERK-JVN9lg|KCVx+4gfF(x(2S?jjTRw-7sM3l8^KujZ{
z=6w)AvlXuGzz*v+@Wi#Bxw6v!2cnYXNkY=u?DgraPr+WKP&?Q4Eg=<H?j>*W8^%6r
z-{jR)Ss{LuOEz<}36EY9IsVVK+x_}~Y_#XW)`AbE%Zt+e3@b{26@7pet#rrFs?EP|
z=Tsm<>0+UD@lm?0DBY+G$w^&kh?9HC^QH*iuu@!<uIZe~XOWJnOYyjiZv628JA{|<
zRFtm?Wu6-WO83QQp&`;P#ebezbSiq5^d#;lE>v$F{J`F|K(p;hN=2K+Bjypa&Yn^9
z8|i?)=tn`T>VCt2f*jB#kSq?=KZ`!nadJtjUGlf&d{<jP!-(;STa(OYT)dCn4vQv8
zYN*iO<U44XBhL`k8pK-Nu43YeldI9~3t}W~9L+$3q*)eS+)&e54@m$?E4ad#Uq}cI
z7K>3X8rzN3(xPUPUtL=f-nMOFI3y%)2VXLtDCU2znz`kr4Gp?|fIWldG5PY4dx$Jo
zlvvLBTlzU3>&@H^z;M4r#`X~x*hfN4#|%4brMTt^6hkGbyQgLjnoO!jlZ+q69ZIVZ
z2jO*KxaXfi-6uAvjhRFe9b{y<y$^y1v&<3#I-{%OvA{B-M8p}f%%jY3i;)fYuhBRM
z>UHSPW+7F|q~~RSAm~FZ2m`}tX9wv9(%{9nE=f)q83|%Jw;lL20lED@WZD}Ky2`SK
z<W<i(y{#!%Rq>}?!2KV+GOiU1T2J&Gxcv7!<}Nb2(SYK!+q}L^iLOIY+idFcW|Yyi
z^NXVu4XRcyuw!hdne6m5T$dACEE7cOl9-DP#V#EWlt7GXg(|P8cE0(vv@3IZCraX@
zK32@MZT(GvT{T0HM%=2A47s5wInT+}ML8Sv;j~%F-{j;(?7>MHkzqqV&m)0;Hia$u
zcX*Zo<Sx{15JVJ6&JRuqa(#n;R&PiQbyIX3i)F!jlsSKsiG}SJE#-Azh<>ImojH1W
zE5jtVPx_NoHCtE>U-j6M4~`5DL7x2;ot44mJC|u#^>R?vC{2K7nVTB4(3V;;Y8fVs
z#*-N`gqNd}+_pNM(AORo?^OMMP^kcX^zN<>^hrxivTSOO1M^PfsKoNQgBo^Z<>-hp
zNtPQu>enLm6VgMNFdeSUFT?9tOFvcQ&otr;h77xSK&EQ!poK-v)NxexShOu`vDdD4
zY4z07dBp=UT4HJsaNv-n(Cp^hXm4bOdgQGVNA&awzN^y>(o#u6&$&=5wHOWmNqbzq
zyjV5r&|uxjGNeN=ELh-0Fmr`>7o*N)4WInh{4H$Wm#q6^-Tl@IPLzk`-A|1%0zr1K
z?ai_Ih0&3Iq!Cr4Mj7NeZltIL;-P!g*h`u}r5;*6V{7Pq(hxdG%aBp343OF*3ZoVy
zD&%WS!XU{Y7;iy3cSmu6%1LYg6l%`pmQvIY>BE|;QIhCr^*r^P^J!4JR_5f#raNrh
z@|=g%N>R@m$kiPv>TM_mmw3Z=Xscgie#*T8O_cTcPKZ~pMdy`3%$T1~fDv1fS2rki
z5Y9YfJ7UCvw_XA~*Q&tEi3lLxQ5#Os+7Wr~v`Ml}x+6@)h3I{L!<a0jL3g48MKKIt
z=G3iaqPY-cTQ^Tl|BUkx8_ZHTx%xwa{Pn51voB$f^K^DZ<ea2Cm!INC#DTfQ(}L=?
za3BIi6ywS3U#5eJ6&u1j$AObce^!!zI~5KfBWUB;k$~;2Xb*ED9>!=hGvUA~9|4F+
zSWZ!Y*qJ=9PB0_&4n4;+&x1H3n89VM$I&#11k929$BUg&n%p@ae#MHL&dKXhs{iS-
z(}Z9~#KO1_HP@fxj04XNJ>yK3%9&H=TuzF0uyx^!dJmGaqyTr)J~V`aDNIras;3R*
z!J~|qN@2kI<A~0RvvyU77Un<;vtFTDG*^-YwlZWL53OBwV4P13I6t{+=s-W=%2XK&
z;sGnQHiQ<oLJJ+5eLh>n<v*rA9_V#K+oh4FyK&tF=3lGL!ASi-Y`P`Nx2!^8hU@N`
zu$?beM7LgtQa}q6FsaQVOT`I}c+R(0>iDISVwrp`IFAJm60;AdLt$KaN-dLkdAx|U
zce_xXn8%3ykDgiJCEe!um@_d#I3v@3;!&r@`I|{Gtpw&s+OdJ?{bs1fDD7qO#3TXc
zy=|k2`t>j`nB@H=4C?n7^&JxNss#+llmD&$xxb|##=%^&;BWb5w3oZ9ShUS!1Yz6B
zaH4Pu9FjR~h&i0Ijvn=AR~oE?l#+8~<oP{P62xQPHHsVl!~EeoEJ6#q+@^xa6_}yd
zgNRu<$rMx(=|WE}F7Qflb^Gof4=2E)_z7mX^6leZi$0vZ90>{Sm(xUhhr#}F`{rYK
zZl~kPv{FxV0Kj7pEv1?Jivy>zNRxBG^L2fi{-Xxhx+=)DxGH!CIc^N-Yb(r|YHgdJ
zP3I-SlG-0YcwTAC9Z2k?)UkV_bZv}UCQ0MiJvk9-Ek3-mZDJTBmsN?vK<Xwkh0yIO
z>68MUog?~8ogJUS%F#NN;E;L_-#Bq<3>UW==-I=$;lN6cXpYv`-+oNspVGyvYq!Oj
zT38Xk(t_Wul=;m}*1xDEyhpDLnrBDTck0{-Ikt-NO*lVAN($B6Xb!Uo)lc7&Y&f|6
zxN>wb<$heR3bBbn^rpOY%TXEQ{TKnMzk?a)0}9guDUVSe9H_StJbt!!swc7!?jhT#
z+2|j4PsvP*(>b26MYs<TTU`*b1eT@EMRyx>F6Sov3w7^ZV~%6rpB2b7M3}{$PEYv%
z-QN(t=kCtI%MRYNDzxyTSsQ8U4?TZHu$3_6BHbHCGedx~Po$X<Y(A=(QusG9+`N{7
z=YZy`5h<zz5w-nGY^iA5B%a}VRB;T~J`Add>*G<7<a#<Ie)HrBo3Et>qHHn$G9IHc
zJ8Mp!Gx-V5-j+gF1;30tZBYBErs<F)$?A#vWd$v4dKC`LDIzqfYE)BAa8L|==xXj7
zr<jO#)`WtYEgxP()v0eAbL!#e`it8P&T}Zm7_)`fYC0SYPv`q)4m?(mu$ZF!ILSrK
zsLB`gY4p2=|GH7=!BDsj>Zh7$gKu#HS6)Ku2lq17)V>mPDGfc1xYIYPxk;}6+fyQK
zlWtowZIk+OeGJBNrf2u#72Ik5W)rGa91h1=kgIHVB7Suygt?~8qZyQjH6$GGztR4&
z8Y@&U9*ItBq~eIw-Zh>27M3}17v5xr?5a7;<L^(^W|hgLx9yB2At6z&I6cLg7Lklb
zYJE_Pq!d^SuKrYL7LEcF$$?_CWYN~~U#<QzjGx<?Tt2r+Jf~2ryoE4aN1%Rbnd7n@
z4Y=UInFZ)kYL3hud2%TW^nS*)PocYsK*tEnGW$5eWSu-p8*#3-212$}3kPx)W><UG
z3@u#ce>+-W*))f)V(~0U4R_yC2F;uVGjVMDZE_FM-u-=XeTplL3R|r_!VdB}p9?FF
zwl}gx`S==5YCf9aXMx-1zDgK*4s9_a7@+U*ZYf>Q`FNj_HBbvm0V1)Qe+(`1!TW6M
z;n$dsD2MEX-9X>n1+C-EnPkQ-MQfJ6Mo&dCdQ$n_^NE<dwS>OAx5eOMgA)pHcX#e~
zM6V7L(ylvRgW#4MMXvv8NXo9|*7N_q%S&@@388w{Un&Ncu;jqg&$j9nxuwzTWAUs9
z=WHOH<Gn*lC8`&G*5v;%lQ-A@=11r35sWLq7ipIvWYdyXimSTTx~W@;t@kw*$Q<$t
z^Wy?FexAhZW3u8{cT~!H7^tcC6^dhcJ-H0YGyOV%I6_5<JBd+v-e)7P(0k0-uJ)?S
z8l<!bAk|@XD(zRO2PP{zRn~%oQCQn~ZEI=#`Rm4T4eJzrIk^?F<FS&5_|j^LkiZ~@
z@04^wGECVFEhnVMbt${}gDiSm@=}a^d}ag`j{8C&$4O2;R%cBKc(=FQ$$N{}yneW{
zp2gFG5=4J7ITUmj-kdzYDOzDgQv69aB$rT58w8CR6M%EUUj3OOYsd-XqlH9Ol9z8l
z)}npJyOOEqL}%l3H>IWAX1`FsgjPDBni)WutiU~@2LFauuuC0px;C2$X^Nj<vUT(z
zz7cvxF86w^+0-BO_oei5!txLcdxTU2K!YK^LA!0lvX;J+H8o;D8PI}GxKQEVID(|t
znyl^MRj9*Aqs2)6kgh^ttLMgaUF1YX2*2dr7_Wc7@MTVy=-%F?N#ahqwKT}kl`Jq)
z<F~JrI!R1F6#-C@q<BxCCh7OmJfOY|mzYuE-d)oGTjJPQlDo9y8UBYoWtQz(wh`>c
z++6=ez$k1+^0ff`Pyz6U3AAWRSzMF6ovPg*t~+iP#>|#2GT4RNasv5~^>BSGydW$1
zt+=PW10azAxth1Ujsjb<NYPp6r}k@t6$<3M!nS?v!)-!8f!=~$3O6%IT?gc0YU`sv
zfN@vnaLkBh1u3u^k80QHW<XRNX6jAKmjV7noGy?3G#tTfKm5^|c4p``|ESK#g-Pn7
zX2JqdY1xka>)UkhO78CN?lZ;-kmVDnQO&Br)-b;JQBm%WfiIX8-EaCd8C>ZP8Oc#p
zzq;_$DX#_~i{IHmme*LUcfReM!{kgmK8L*cJ{eg*vFt_6*0ikoyu4q|5O<ZMbYzSs
z<%@3yDi~KZV!z+_i)jPV%*;&p==#sxkcC-{^UKcdCe76`vnIT`7}?;3><DCvcO)gx
z!2Tdc#XDW^tNh7&N&Al<&lb0{A|mK}G$V-Mv5)n)es}|%Tj4wr$ZOUJST7Zg*p6D|
zDECXjq|5VblvZ}mucF_Kzmp<=e@!a&+n)shF}62}PY^I2pUpq50DFn~?QsCX0D5`G
zx3iY3M|<Si%W*S*K*Pds1{~*IOiX9*`hc9SmKIH5Pz3<Diii_;)ip{{_k}y(eS!uz
z_@zv>v>X8YB2$XKNM7!xDh)ivruXNN_5LTN+@E^rFkUK7ES(@bAp&L>JkBeyZ@#!Z
zh60V_hL4#~d1`V2!?-;6WtEWlP-Ydv0>~zWlJDxxN`KbEdPzu*$1*!)@k|SxTw$xe
zd~qs7&hy|$f10TMMENa~@AbXky}u%kr^mi%=kjKST=9r|u3$52W<orcd-{L8X9go!
zT`!3s1>iA}M-m1ok-U6xfnsFp!M`W3FthXt8{ZeXfc-6dZH&Juw|NZvX7FD3y0F@1
zQqHS#x67^lLyK(~yRr55jEOzEP%E1YZ~|dT+L+^`$u}IvHPpZ-R$Id>jDeQtw;y~%
zZ#c9*-=7VU%>r5&Yq44G+uh*NsE1=a$Fq+M&6)&I&`%Y0+dz^i_t_*6agk6O{Wd|G
zB<ec#0ldHAYz1a{h2wb9ZG{95?YE??J#O=@;vG@v$eSKkv(iYnXUD#dy(`pN-Cc;(
zB%z~g_noC7yXIQe=Yc@*0&Z#naPaim#cCwh$FAG|RP~DcZV7`~aakz)Q~CFqt}Z!4
z(62We6PIhFn?VuRcSo4PHkeiK>x;DJ<_H}gv)W;V%VE5x46yLfVj{H~72w<PY*G38
zC0Mo*kK*iq7cm=EhY11R{oTt?)IDqiypBp&lO$HP6<b8sBnEB?CIGSUJ{17^*U@wV
zZp%HaO2`wAi9P2Dr0CSqmNdVffa!9NrdGB*KNFMZ$@w;g4<_Jvx}`AsaId!{9*{`@
z!RA4?G*=j@8(XvjW?y05ZCq}>yBx{aC?rWc|Lo?GbP6!taqVLpTF(f8EB!*BOMz%f
z5pr1-!KzlRQ(+sFljADnv+?onHXn;Mk)acPz_+*4M{{%kmU{JHq109<Tr^dNIKj{f
zU)l6hj=N}5k80MI^n7Ai9Yv>oGs65cZT0=n{qNEYCyf+n-gr$<BHG?ZtW}kWeySIM
z?f84M1fJm$3~Ci<%Xahp=P7Et3#c0&2H38({VaY=rQVm1N0LcFK@}c<hj9inBr}TC
zom_m=*t3L5&t@9xHmYa0eFj+YO%P!?gtim5NF%v7xaxgG%3`X<#<Yu_Ay2bp-t-YE
zvItnTCIJ&;>h}q`mbyzXh0DK{Qot^CK`kKA@s+IHx*PjdQj%}#x>-{&1wZL|1N2MN
z?tZWP;3Ug5FFLbH2$X9iQUMK-N#Sg7F(&eh(Xn4e8;ORn=L)%LP*oZym5#eFAj7pz
z0ioF85TI~ql`lh48afqr*IghmL%!(#b%#XLOWXT40ph!`(*Ka06P8}@$MAg>aed|_
zAZO_vsD!DTd>2}w@~N)0l8ilis6Z1hUn8S)F-G=N&BdRp$AFfR-2XWEV=XMVKlKR?
z;C6+H?DdJB063<KmRK11+AJ_fx1QP#q|1MOK{pcE(i6w(*`3G}VEI}@E9V(avq~Sn
z>umJ%z&^D1`dG5CgRqcopmJyQw9cle#af+un&<|-=zL*PUghXFLyFf~W<-Cg)&mD8
z!3(mRZRDr-%VRnG_oTcoLr4`YYDZCOREX7#=;!GtM&;H-9Zs|{wBqJ4>(-Z)d@~(c
zA+FHF)x{WPtd1Y@_`NJCb)%q2;pAj-#%B^#0i*yK2i|aq<+pd6#p$c=UjfF`$}&|3
zWggRd^2>8#I}j`ixrVK*tbo!=$ff(GXA;g{;-SfJ)sd%LG1i|U`NnfqL&$ze<pafI
z3*R~*JmwpUI1Jkd1_n|K*``kCh}*@}gCyJ4b?5AGy|pV=2c}M+TV?zINc&XYTG)<M
ze`*y9R4LS7`IG&r-t4oA`ORq7_<CcKs)Nex?q|cQKR)qWVD1%xmX<8#ch{!(g*kXE
zsXdi$>vgZqKS{vh|IRi&G^sm6`5#Kq%GAdIXbh`y6JS$MwenrUMRJ{7pEu0_l`uAf
zfwyC-R_NsFyyQlPjCzQH?$6$oc*HWxuC!B4&TnqE#mGkA$VmGuXi+qy4p<?igT;sc
zfqh#v-SrS4z|ATPAOQdya9>Z{P3=HVX#$ih&+27({4(70_ZRIXkWJ%+?08d!9s2A2
zns)j{+r)e}_<=;^w^>E+Q{aKKv)kQzvRh#QOdKHjTo|eoq*0Bc!_+5E3czdb5KeY<
zL^<84bIi&b+4es_*L6_R8fSnoT;`y|0W`FHQ0wr`B!JQVZB1pR<L_7?e%^dTLL%w_
z;@TU$m~O54jNBVn0Rhez*bsIz$Y-0y@uN<(;Z;aF$uOW|?Qb_pLKfSlqaMmW&6Zb8
z7XEuI9N^MgW*WHr=||J*Kt_`2OsVWaCM6#qpW~RT%I2SY+ut*RF#=81N_2i!JyQxx
z*zo}Nwi=5AwnSox3Fc{=6bJOeLfmE2X9bmH+ORI+!E}5VD1f<YNxqxa-P^B9AKWBm
zP?EzN!-LPbIC!6MFqVI!A0%kO%4uLdq?rBV!Ns*w`ggjupyX<Yx;L?ZwVf&p8pyL=
zkkzQ1CUPk5zR+cYNduNJD6P-Bd({89M0n|NY}zS~3#<%pt^w+DvySF(wJIs)=sKzv
zZ;%gtHfNq!bEED4_21wZrm)VP!+w9WPXMZ)r|dcVDRlwRbyNN|tU%?;E=bC20u7O_
zP*hH%3q5?MY!~gxKw{x@TRsmg_G>cqz9MB?_b-ka0<A;dYA`*M`2Xcf;P#l$<oZ=B
zH52Yq5Sp-t5R#8K1y{yTBysh7xiLzDkq<>_D;Q8!K7E-t<z+7xJ1Vt4_}O;OV?{@V
zX<Y=1Bry5@r{L^AUH)k3`UNhE-8rAux}iTeb!q?o{r}+P|L20V|4S{~+%=Z2$X4X$
TEJO{|?Lkx(HJ%mAo4@`qUPA?u