From 5b8c9d9e568b9f40a8cbd32e9153bff046d43944 Mon Sep 17 00:00:00 2001
From: Claudio Maggioni <claudio@maggioni.xyz>
Date: Thu, 13 Dec 2018 15:05:39 +0100
Subject: [PATCH] HW11: Ex1 FSM

---
 Homework 11/ex1.dia | Bin 0 -> 3231 bytes
 Homework 11/ex1.tex | 449 ++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 449 insertions(+)
 create mode 100644 Homework 11/ex1.dia
 create mode 100644 Homework 11/ex1.tex

diff --git a/Homework 11/ex1.dia b/Homework 11/ex1.dia
new file mode 100644
index 0000000000000000000000000000000000000000..97faca9c1f7538a9c8a57cccfb1b45b916b533af
GIT binary patch
literal 3231
zcmV;Q3}EvgiwFP!000021MOW+ZyPxhz2{d5%GIIC;`eBr!7Q+YJuG$(GkZ4LQb*Q~
zEE%nK9AEagZ;{=JZMj>rOi{MHCBOlsQ2m-M)_YZCvH0^Z->&9^uVuBGEf;4)!T4}c
zF2>8rY%x6>{`=40KDps9pFjLOnH4|b-?S>O2KbG|D!e-zUe@*XPp7B1x3_G5w<_vo
z#pbgcwkl8mTg>OhDK<JCe*Q2RJiNf9sEhDf`)N_v)$HP?E(eR^syrKB6yv|9)$(RB
z88)rjcH`xISq;7x^RwZ{FYz@zZ7*~B=sFv&eO*k;i>fUC>c2F{m-jEZ^mSRSU-s&H
zxtd{<`tJHklb-8@e;>4ITdlCsV*2^xuj*rSOYH~u*Xp{_UXc2#sHU^UQyhFY^X5SS
za{z!3Lwo1BRaSg|CcDF392RbVSh(u2aI@9<^|Gp~VpczeyjU*hWwB^b>*}U_InHWa
z%yEcq>Q+K8zRc=+x#j-96!X<{I?#Ol!`gPW+-WtNY&P6SEqbnUJDb#(=if3tuIB1@
znXdkIwwhhc%dWehE$Y2p{%${)U;lL?d*6ROaWphn>y?LzD|M-Nmxt-iY*Mba470~=
zdaiWYHap$+)YscR_rWwDt%-Gnm=||t)n5LOFU!SbIUKY<Zp$`<VqDL@et-Aic`Psf
zQ;zGlqrc6Ux8uvAst2D2f1l51*J$SVP6)anv&q@;cmDWkt@jVFh(!40aa}Kej49xZ
zD=AMjbIKUC{v@9ANFU6_#X3rbohcU6dD)I$&%BRF)+5pgJOh0q6!ZFJsO7x8Iv+2q
z#Z!l2-yMulkzby6@;kS9CbY3&oiLnBX@yC^x-4hY%X$+S*HRkkx#L_IXW?aF7t3l=
zR@=J9nc&S!D9?p3;)QUl%jNBPhx58!nRh|CE+&)5s=O`(IPzY0>AL*(<X2gzsI@kI
zk0Ls!kJ_#IvG}-q9N7)*-{(p!7j+j__<ZoCxSGxH@Ro|jYB*TccY&&qVVbZ0qnv*&
z>)E(?$fmpB!IKf)`MWq}o$|;J8f_JvO~ZUleVy!}m;qr<1V`^v_%yi3vbZ63;yeuq
zozCgvs_gzr%f-!Ahrh7NW9SmSKH)ySSE@AW5~<Rq4AX$T?sKXZf+!or!;ds77Z`gY
zbWjwPQ?ydMMtVhhb$GoJg7hl0UTML&cPi+W7g~~D9Zs(xRj;IET<V}DkWsKCFz*72
zwIc-#l&~?#g1m~A+&PjglB`z<u}HFVOO~|E2pJ{IdXlU|N|sEX9SkxO0v_ixN>)ID
zh@wUkrOINEg@L*Ec_k~kb0k?LS+5Xf(X3#0$>K~ZjIw|;XGpU4BUyhS<xh%gf{OKL
zu!RR1HLYB!<Os_#-ntsn8=EuAYLPs1foMk$khSvg_G#q*j6=|n`Qw+$P9lAS@jZ|T
z&p;x5YxMD!*6rf{R^%3A+mW08Ia_qO(mL6d_6*`!uu|sqrP1M3-Xbx1=LP!H65ksa
zqb~t3q{Q)Zu{bXmlh~czJJ~y16k4j6@-z;B@%8$>bmhwI<Yq4>=S5X5Z~Mm^K;os(
z=jCF$*|FBC5L;dMXCj1O9tRkj!s>}IegB`qB^pml?DaAxr3~)>ca1ChzAM`A!sG9{
zr>Qw>H?$w~Hpz>TajG>Ae#LVJ%LpVqkG8{6Rz}J&BZX^LusLKl@V;*LEn$XshAjNO
zS@@cjKAhCpZsOu~Oxz|%7aF5MA;W5l2Iq1{7m_JqR6tVNi4h`uiN<76%QG8zZznrN
z977!!Zi{QD$j0Bdjf-7uT=o-0RwH-GZn|aGavanst3v0TLIA@gSJBdx0Y5@yr#M7p
zr$ug0y|14gO-=CU<0`V&n(X|Y*||*7@-<gq$OGBAPZo0ss~0Maf4~?tZ$bt~E0@8_
zA*^pH<)W2Ku5*idUne`7Dl~EvZc{6($;RKcjmw0HT<`;#xJcgHqI{TMiVAB~UWZ+U
z&5J%tq?2xh$V#9W4fwN4nS0i)x1XJ6?n4eU-WWz06qmm<I~RNO+4pYeJ*$2qeIo#8
zXnLNBoYQU*!!gbENU1Q(9k#C>L&CtnmV=9`Sd1@e$uIYkU&lbC#lE+^*w;r%>ABvh
zvtfbDFfDXm$0Oosl=YB=01c=ymY9i{Y3q0-b~;9ON>A&R3~Zbga5>2-!051+pqa5k
zjsQnrgjH5~q9>xKEd!F+=`FL<uhqC~)+RZL69kh^L7a-TD(6-?VVTh<h9NfzF+yA=
z8(gEc&%OTA*USE<mI({$rISfF)z|WTGF#yT7?=I?6Q8j62&SY5?FHA?YMRe^E16V+
zC#=nwL(S(Tr%Iwt_$E8hWDTC~aX5^S44`>qDR?69<Qe0U+>>Jrp3EK+xt$LA)p@hH
zBZlO96c=%ALsLgF;rutErNabGPX{7V(lJs}a%QTMjJt**OiqWX#qmtpk<tvKr3ebb
z5-kxeZ61t7O~*)0$@#Pron{%!yxOePbdMu!aG9KMi^~!>5jSlcjl@lFj+>rYL)7n~
z{<RC`p`~ELo1A&T5b7VbNXnRz4DsBF;!I{Pf1TbxDs)4IZVs-Ag34d#FMq9>3gxe*
zLAQy@Umvub=swchjctfMXUvZ%(1_MZJLW=hHWV$$T%0YrbEH|MS%=pwDuJE91h!%j
zin9gHqT+0a)hw}x8VV8v@WAU?%d_c_Nfu!sY}e4C3U*K}o4E>ha`#BKNVZ-<wkXuf
zKK1CC59I)ZY$=khgUS}{VSyDOY?>7+@A9gMTXVS|X~4)lY}EDW?PLzMQaeYQMVj>r
z(}NUhWnap-%!bp3Kr=z74IQiwHY9KGQW$`k;B07SRMtY+50JPPcJ$!A^;8I(7Tq@t
zMp|}1!jvFLuhK8V!Z(hFob@_d5ETn{gyL2akt%i&H*Fn@L`%m=OUb*=lxE6B%J6xU
zsDI!{be9~nt{H%WcAXJ5Z6A-sPRGbj$-B;eta@TxC9+0z50C_4MEBsmGZfJgHEkG-
zL{0}Kr=;@kJa>uq?gAl@yxUFNAdK!rLMUdHv#e`Ck`0mq^wx}E@<e(jJ<nYqq_>kB
zn!1GDE<4l*v8JsLB8*nrE2<CjdS^7O88Pfs*m<1+)PX95K=Q6KG(^{gO-{L-OS1Ps
zprsla#YEWjDh)$9^0cvxJfh75k{qIAjMkEOm4(C48rH~JzpO=3%zz&KfRy$a=D3NH
zvd<rNjX~n0BRqRn?rW=1_PHY!CbhkfG=w}9&cU$2A^J;(yZq;1boH{Mp<)U{rMM#P
z=@g9j9u>Krq9T#`7>qt6-`n1bltKOM>SWGAv~ulqIG$2E-B`H;k^h9s&Te*9dx&HJ
zFFkOZEd0${xJa;Y;a|zZlhe?_F{6E)69mXwx!p1Cr8|L8k=u%qlA(fogY0bfQ{;QP
z*_pbo4aVK!h)VCt%HP>(Rz78RbM4$Zf1t@tnVh^UaZrab?c*X_-eaaCP%t;CMse~A
zBCw*#O`1vAIv{B>;TR_q)E+h$7^79#<*Y^4qjM2SdkieXVbw0|<2F*nS|r-3?2`$7
zz3iM$&_;y2bcW8(eebb`Oz}d*p-$D5dJm^+Dj8Yd=XFEwfn;z)6kuQ<)>z}dN^(QU
z4cRgv$qhM1HzYkHRxlotvyx=@d1+ugq+myZx8Asr5i0=&A6)~mT;<LL>+9!+yv&!E
zO(Q?#&H5qGpRTogve%(<y<~d2C&bftz~%Ns?t!8oqBR;(GaW*H2>Bt~2PF9+N0{p+
z-5%m39-|fRWaco5H<Po@VU+Y86{Pl*?nSKBGYpB8jxjjeM*=EWMh1~`$QQZKgyK;S
zt#vUERS2V-rDB;oIO^?Z=UTDQyxGj-U%G9G!lR=Jk3>q=7aS-&Qt7Fks@Wzka8&1=
zrfq>Z^E^z`+NN@WU`8K9bVQX44(E#W3`z1u-m)*!y<Jx&r=<cg5st6VpS30&lM?)i
zkO4`I5E&#o2LahCojYr-ub&-F1(Ts^xKXPh`;J}d1^0$)4+5-}p4^l-lhbB)@lyCJ
zEhekv%vCf^e*)-%D{u2M0K%XFYGtGO2TaKU$Uh<fWXoVA@8k%*ljLMu9rm!C2w*BN
zGa(N62qZmnllDw$(YhwtH^%jJGE-@lXFDeGlwRY(0eV5w2}h2};T;pPy_85^-y%65
zRT~!ffJml{%4)+c5QIW#Hk^j%W4^p(Mp&Q)V)8FG4@mMbUe&{B-p`A>vikg?d4qq`
Rs<`_6;eRS@QcUFC004eoVT=F(

literal 0
HcmV?d00001

diff --git a/Homework 11/ex1.tex b/Homework 11/ex1.tex
new file mode 100644
index 0000000..8957e8e
--- /dev/null
+++ b/Homework 11/ex1.tex	
@@ -0,0 +1,449 @@
+% Graphic for TeX using PGF
+% Title: /home/claudio/MacOS/Git/CAHomework/Homework 11/ex1.dia
+% Creator: Dia v0.97.3
+% CreationDate: Thu Dec 13 14:55:23 2018
+% For: claudio
+% \usepackage{tikz}
+% The following commands are not supported in PSTricks at present
+% We define them conditionally, so when they are implemented,
+% this pgf file will use them.
+\ifx\du\undefined
+  \newlength{\du}
+\fi
+\setlength{\du}{15\unitlength}
+\begin{tikzpicture}
+\pgftransformxscale{1.000000}
+\pgftransformyscale{-1.000000}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{24.621636\du}{10.373318\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{24.621636\du}{10.373318\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (24.621636\du,10.821893\du){000};
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{51.098364\du}{10.466682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{51.098364\du}{10.466682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (51.098364\du,10.915257\du){011};
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{37.613364\du}{10.346682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{37.613364\du}{10.346682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (37.613364\du,10.795257\du){001};
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{30.348364\du}{20.416682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{30.348364\du}{20.416682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (30.348364\du,20.865257\du){010};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (38.013364\du,10.396682\du){};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (29.200000\du,10.373318\du)--(33.035000\du,10.346682\du);
+}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (42.241183\du,10.409033\du)--(46.520000\du,10.466682\du);
+}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (35.861300\du,14.528791\du)--(33.492797\du,17.058385\du);
+}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (27.770800\du,16.615667\du)--(26.373700\du,14.555427\du);
+}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (32.100428\du,16.234573\du)--(34.375972\du,13.547529\du);
+}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (49.346300\du,14.648791\du)--(34.926728\du,20.416682\du);
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (40.900000\du,19.100000\du){No branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (34.935000\du,16.515000\du){No branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (23.270000\du,16.285000\du){No branch};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathmoveto{\pgfpoint{21.384321\du}{7.172481\du}}
+\pgfpatharc{279}{82}{3.232560\du and 3.232560\du}
+\pgfusepath{stroke}
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (13.935000\du,10.615000\du){No branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (29.850000\du,9.900000\du){Branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (43.085000\du,10.065000\du){Branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (30.635000\du,14.765000\du){Branch};
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{25.421636\du}{35.723318\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{25.421636\du}{35.723318\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (25.421636\du,36.171893\du){100};
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{54.248364\du}{35.716682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{54.248364\du}{35.716682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (54.248364\du,36.165257\du){111};
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{39.913364\du}{35.696682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{39.913364\du}{35.696682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (39.913364\du,36.145257\du){110};
+\definecolor{dialinecolor}{rgb}{1.000000, 1.000000, 1.000000}
+\pgfsetfillcolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{47.798364\du}{24.666682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{fill}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetmiterjoin
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathellipse{\pgfpoint{47.798364\du}{24.666682\du}}{\pgfpoint{4.578364\du}{0\du}}{\pgfpoint{0\du}{4.526682\du}}
+\pgfusepath{stroke}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node at (47.798364\du,25.115257\du){101};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (41.163364\du,35.646682\du){};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (31.050000\du,35.100000\du){No branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (45.485000\du,34.965000\du){No branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (54.248364\du,35.716682\du){};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathmoveto{\pgfpoint{57.485512\du}{38.917490\du}}
+\pgfpatharc{100}{-99}{3.243009\du and 3.243009\du}
+\pgfusepath{stroke}
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (61.885000\du,35.848393\du){Branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (46.550000\du,35.220000\du){};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (49.670000\du,35.716682\du)--(44.491728\du,35.696682\du);
+}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (35.335000\du,35.696682\du)--(30.000000\du,35.723318\du);
+}
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (28.659028\du,32.522471\du)--(43.568507\du,26.398968\du);
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (33.585000\du,29.248403\du){Branch};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (41.665428\du,31.514573\du)--(44.560972\du,27.867529\du);
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (40.435000\du,29.948403\du){Branch};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (51.035756\du,27.867529\du)--(54.248364\du,31.190000\du);
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (52.935000\du,28.948403\du){Branch};
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (40.050000\du,30.083403\du){};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\draw (46.046300\du,28.848791\du)--(43.150756\du,32.495834\du);
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (44.485000\du,31.498403\du){No branch};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathmoveto{\pgfpoint{21.384620\du}{13.573665\du}}
+\pgfpatharc{217}{139}{14.953734\du and 14.953734\du}
+\pgfusepath{stroke}
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (18.900000\du,23.149714\du){No branch};
+\pgfsetlinewidth{0.100000\du}
+\pgfsetdash{}{0pt}
+\pgfsetdash{}{0pt}
+\pgfsetbuttcap
+{
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetfillcolor{dialinecolor}
+% was here!!!
+\pgfsetarrowsend{stealth}
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\pgfpathmoveto{\pgfpoint{57.484943\du}{32.517508\du}}
+\pgfpatharc{26}{-38}{19.042867\du and 19.042867\du}
+\pgfusepath{stroke}
+}
+% setfont left to latex
+\definecolor{dialinecolor}{rgb}{0.000000, 0.000000, 0.000000}
+\pgfsetstrokecolor{dialinecolor}
+\node[anchor=west] at (56.685000\du,23.464714\du){Branch};
+\end{tikzpicture}