From f6dd0c91045e0c47e4f55836e7cbe143c00a1f64 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Wed, 11 Sep 2013 13:53:02 +0200 Subject: [PATCH] added hidden markov model --- tikz/hidden-markov-model-abc/Makefile | 35 ++++++++++++++++++ tikz/hidden-markov-model-abc/Readme.md | 3 ++ .../hidden-markov-model-abc.png | Bin 0 -> 34517 bytes .../hidden-markov-model-abc.tex | 18 +++++++++ 4 files changed, 56 insertions(+) create mode 100644 tikz/hidden-markov-model-abc/Makefile create mode 100644 tikz/hidden-markov-model-abc/Readme.md create mode 100644 tikz/hidden-markov-model-abc/hidden-markov-model-abc.png create mode 100644 tikz/hidden-markov-model-abc/hidden-markov-model-abc.tex diff --git a/tikz/hidden-markov-model-abc/Makefile b/tikz/hidden-markov-model-abc/Makefile new file mode 100644 index 0000000..9616a8e --- /dev/null +++ b/tikz/hidden-markov-model-abc/Makefile @@ -0,0 +1,35 @@ +SOURCE = hidden-markov-model-abc +DELAY = 80 +DENSITY = 300 +WIDTH = 512 + +make: + pdflatex $(SOURCE).tex -output-format=pdf + make clean + +clean: + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot + +gif: + pdfcrop $(SOURCE).pdf + convert -verbose -delay $(DELAY) -loop 0 -density $(DENSITY) $(SOURCE)-crop.pdf $(SOURCE).gif + make clean + +png: + make + make svg + inkscape $(SOURCE).svg -w $(WIDTH) --export-png=$(SOURCE).png + +transparentGif: + convert $(SOURCE).pdf -transparent white result.gif + make clean + +svg: + make + #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 + rsvg-convert -a -w $(WIDTH) -f svg $(SOURCE).svg -o $(SOURCE)2.svg + inkscape $(SOURCE)2.svg --export-plain-svg=$(SOURCE).svg + rm $(SOURCE)2.svg diff --git a/tikz/hidden-markov-model-abc/Readme.md b/tikz/hidden-markov-model-abc/Readme.md new file mode 100644 index 0000000..0147dbb --- /dev/null +++ b/tikz/hidden-markov-model-abc/Readme.md @@ -0,0 +1,3 @@ +Compiled example +---------------- +![Example](hidden-markov-model-abc.png) diff --git a/tikz/hidden-markov-model-abc/hidden-markov-model-abc.png b/tikz/hidden-markov-model-abc/hidden-markov-model-abc.png new file mode 100644 index 0000000000000000000000000000000000000000..2c1b376391c98d5777df095b1db537e4e9a68a14 GIT binary patch literal 34517 zcmce-hd-778$W)Iy|VZ26d55QWLA{O$j;_elI*FwAlN(hyal37O9AswFNL zWplpQ`8>YgKjHW5@#v9`bKm!CT(9T#d_J%1jyBM{af*hU27y4Fx~ZjMh(M6Qk4OV5 z3i#&-KmIBFL*{k$rZE-#38uP>h5u8#Yu)ieAZR&>f05AzUl`#-E^ke9ZzH$+-hTF; z_Yi)5ev(eE&R%GH_j{6Vo{s6O%G?NqAmXOR6=VO5%y_bfQERavh?gUsNV4H7A;JG&F4joJ zj!L3*QG8J_(B`+)>SWcDN7I;w>k6#IFIA0Q^yxtkDfSWyrLLLHY(Tm| zvrXQ{GMaagF-J&@@V^BQX*>6ui@AIG&G%oYQ0Hbv%k^h;64ZgGOB%lm=_bAH1Rk9FMVdgOgL#4@ zLEp+#YcbLmWfPD^Qn4`IY!VakrrLXp3DL1*Lwz7Q;&Lv{&WNp4%Nj;H=QT>UfkQbvB2(u47Da=QfX!D*)Fguw0wJKdY-DYx;9o(9?l7_63wUGYfX zin(>t1d_m!l$~sr7X9Q#7>=>Nw?R>coPNIY`Nw4sJ-H^=)A3rODO3p#uh(43xVg}h zvUs{i3oBhsE*B(~G*dO=0cEgD+%W%t-Qpy&ekz^vNO#4#z(VdcENozt+_=`q3_KNl zwa)$J$tU_`kK>F#-%b=s$;6|Cd0~%#YO!EQs#f2pS7lyeN^%J0f2;OK;@I-{ileOs z!jlGRLUZLjMB3YAU!($KQW9?8+-OF!`RhlD_lRZ2q$~^{?&hQoxqRW_V}-$DN=B6dMY!Erl=+44fPGc8`)kmL2uO0qeSUBvXaJs zzh06FI%cuGiPrkRza!JgIp4!JG^O)*f^iT3FV&4?(!!^tYDEQx!Hf|`yzyW$h*&o{ zDYu*pJU^d?U(nTz+9jSD1ccgkwI<7hL02);ta=3B=J1+SQ41SBRqk{mTx|TShfJ_l zBZs|*-JHF-x1rN2aaLodDZN*gla*j62UYCj5Pu0!5{ zkR@BafPb*n0DuL@JEB;?^iTGWCkpu6g|tVegQXWsX^zg?vk7=gU7s<3!ieMCD#Lb= zXCmualP1FN4z|aZm@fUcz$yUld>4W1wKR%wUoEAK|JtHE4jW^BaF)|AkO-nuFkX00 zTXt$dC$<(iE=Aamq5NoW z7!lPPoJbgzZ;u@n129$hkqJ_1rNKNg4Rp-w}P z-N?})h{0xx|K0H_#cIA$en4WNg)*e9qWQSJmVl*rmuz@jLqjZ9%WKlKvQtQ7hM&nv z1SOgjqwBVE5_$7d)qztf2?2h9HFQfZ{4i;g+RbHtRrdLks2_&JRb3 zlWw>n)}@j65&2&dR+i!`k`MDjJ%+(e2FGqEx-MPPybzXVC`J?Anu3crpRW?foD~>< zLH>x0okV~eeZujTDn&^barKr)49Qq{Q23=Q3N!SR*Cut*9e)IQ^+j_@gi%5mRk-jz z{DxwZ)b6wNoH1iUel5g%q(%!he%t+cQbS&P0uoFNSM7xKEj+>?D2%MfKo^WqtCYUAe0D`^dgU2gRKL%#Qh+T`jQ zX-EP^(e{SKD;)nModJc&(!q4>Dcoxa{}X({WMmqOFl0x8yvfGP#9Ip9R7^HW*PCD8|}-!Q=V){qptA*ArsC{FXf0_L+Ep( z6UhFQiy`z$A7k!DS(}oCUBdH+Q`_#T^nGh8Re82OvX4B!R(Z1DNzeJ0sL3Zi5W-z` zmpcr@Zha3EUe7nMIzq-t2Voiz`XoC{Wj^6gP*a~i0*#}Y5i`F;J0DA^!S%nX+9Tye zS0K!gYf81F%&BKkdY`h}ZlobtyV7wI^dq(uU!%TewV7wOq`BB-(U>!&3ZwLNAHaf1 z0c%+FYWTfl$i5ziPYuVXmcNN>O4mZu^<^eSfm6n}Vn{q~Gu*H;OcFbeD!;PHL_-;)Lhwcq~C5htsk>vbG_e8>%ot zWX7wX*De^^x)>mJ(q2lzd*ksTM&Qv1Hwl3w+}t6p0UKjpQ ztC7RJE|E$8xD0b2pSpI21%mr`v=(V$?8l%!g2yB?x?`tRBju&@y?zsaQ!5o3*$a5y zxLd}hH!KlHTOt96$F|tKST)QN?K;NAi+P}sJU4lBE+FIZ_}$zTgI(M(#w4KMT5+

$YtqrSUpg^?1%}K@cHiolLZgz_G;)(uYKlPIcKD;7?4>TyP?b+ ztsZP2r}(5_Y)O)ulQ-Pm;TcR^U89Yp!9k)w9erltecyYVd<%^{bU#&V(y3pG6~ZdH z#xqzgl|pvCU9w3XbevJa#{1K#h%Z*_-(Axa5pqOK6#g*uMgmd)H79>B|P28-xKivcmplzYnBKaLDb9X zfDKAc4snh!j-c7XEsQS{_L?YL$k)k$jVR6!rEYPGH^<2zOEM(^WS@Hh*{$S+eq@|B zi1o?V>3~7%s?*Fs)ZZo?^X@8LfS*~L%%fZa6U2d_kT2a0s_)<|mqR6ywSKw3gBqD@ z&=6$JHD>jYBlwlLWZsWcx58z^Gr?H`wbSI%7B7t0KP>-NQEi`yQdqX7?-9P3%l!J7_vNWz zwrKSTTxfzgjTJ|TXG zC__?bE^EJ7;#h|*r50nfs<9exlVd(#pQ)p0K2UUhy;40u(i$a<7?<-LVqenvd)dcU z_EZq7cEJP2#Q7@1aHg4;L}C%|1Cq(tA(6F>9|!{N8O(^zrzzUEcDzR2@Ttd4(P#aa zsSyi`UE;ck+H%Jhr8wzxDCV0_Infs}uPZt&By7>9 z5c;aUWVlyGB<>2!wnQk2bF&vM=9t&fc3G<$9^X;mu2CDTn4y(JYM}ij zrH>Qiuh=r&?HCxkb(IC-n9E!7-TM^q9#5n3oukjrG}g*JwDpOyNcR`BCAx%9$%Y%K zksamCF1L+sKWfqAD9`%@Pt1uWu==Pv3mZd?w^XNGkn2e{zcLhs5F6X%x3z^X1&KQ< zThq!S*KaEy=TjOf`ymyCF6vPy8j6JuTOt^fU<7PmRMdEqL>$y>kD@3ol`9cL`GmX3 zmNQIPLotWVvxw$3#Z^0vw^$@BLhQU$RNdx;8=jLTNh{ef>6zBNLXf@SEGTA~{222c zCz;Z=li8kS^MdB-UyJj`Jc8`QOI5J-w7Q54MTrli^U!g=Ez+SCQx!%0VbdyA~ z#ATc(+8oA#j#H$#`}N27w0MnbR?Jfj@&4cVTd7d-YdepQKW_J6-xK}cJ-SZD z+&Gg&BHBX}Mx5gIRZvOI2zbOzo71o$Jsa>PlQsPk%ElwZLDe=6(*r6g9y!K93TJ#fB)e%(x(XysT7VQ@c)PF|`d=KXaJF;-*|^&vPVwRh0T_ zK`skRJnMdNa$`l8-qh3Z_rI-AxL~FquQ$)3*nTLH8+3c@_mJUe(H*z#5?#E0g(}8L zTVkYL(|a+wMN;JIq$hiuGd)sKhSARA0fS@@SRrq03ti}5**C$FRKCEp^NzopuY%D( zRSS|=m#swD#c?6%TDbRV3`qB0F3k_nyWL?)sDg~uB6rfFswtV~=Glc9Bz3EHaivk7 zJ=hl;u`I*5ePgufC@W4cRCXadS>928*uV?pkc!q4zR>%npb~pa*o|a8UHZOJ7t7#e zmhmKWwsgrD=T@kKgQ>P=2ZO)wsq0>}2z=`KNrJ`<>xGUl`}Rz)u8xyUTB19mGtQx& z#re=TurA$qt(KlEzYxjyMHbnbRY#uv0sBi9zZ|0_TOUNaK=Ii_C5%$x;mEvmE1&Y7 zpu3cN<{>@mnSIM|uzW}LwB58U59_eIXQJ^6Mi=mnQgoHRuhZR8O7p=ujLuk8O#cfWk~Ww z^0KBu!Cpo0jxyH+rfBse$jYZiI|asGzeEVR)Eo<<-0Xe4=$f~t5|`?BJX@(X3!R^M zPH`&|crusn5=J;>6t14$*VM?QRmXXcdjM;Vug!iiG@l%`M5kjn6GL5Z6@S7#-uyAQ?BU)JZQ;iW91XZ zq~Ex1*3n)s&W|ILw)oUDrx|XEvdL-81QmLyDb8`BFJBkq55sCXPSOhaj*%Xb`ge1B ziG9BPot}@>pyZyvFd|+vC&M`{+YDvM>b&v#zaq7ilCqx}YWG~a+wH91>)YKcYOzY( zQHv_gTYH48nA>fC6bF-;n^t`KbL`IK9ik%II66_)E~xrK*G-n4i#=OSF&ZF*5-K?u zGqO%(YYo!#QkzJjDEkqlSDv**@6f+C5huqvtZMRe%*yVZL3{gBOZbh_)gAr$-QAlS zz?3`2HH^s~kar*%leRFz=C%?4xrRwLFY0fZIR)Fk=)<<^6-u?SpX~KMlEoh_{+?IK zV8I;Ybn&V8kj?LtV+3r`|B~iK9?R9a@?o&XEoppDy*EsY^60n$lJ%=K2%1T;iyo}q_q@*`YcMLnt$1w%c9IEnCyBcnLpR9* z+b_fP1<=%(kFT8NZmX&dFwllu#!CmC;RDRx)W{(jICbqw#7?}!@KF*Xn2Zi$H;yTv z8bdm$*}&5yuz+9{@7Q?u{CR;@^~HN_$!~7Gx|l3!eR;R^(QsLHcPy)DQ#8vth0r5~ zmPCQ>qACB3M}Op%M~#Vf zZky;g|BiBPY6ulWh#9|Ee@t=eK~FZapr9ZpFVCQl_|t#FOg8+iZIZ1%oH^FFe%THs*4D zy_As9ley0HzC2wXi!To~zx{Vgkq~@%)%cIkR5NwOqv56xCLhhq?o!)^9n0NFJm@F) zrAnm=eh_zuFHI!H@XuM4nZxUeKvKQ-NF_0|BHmAym3g}9mt@_>Gk*Ot)_z%0e2(2F zik{D5Yp(OWZGDE2&WnA5Ll z@mb`hZK$Hl@6T`Gc2*wW*>ZAnB4xXp+Pb>tYS!w}Kb{GlxBi+u+x~Lva81=O)}_fp zYk?Gf>#AA1q1XUci^lz&yV}6}W0I8fcb=JkvheuVZ$_M?Wc3Vl3~Mxgqcg0vqvP(s z#s2em$|8xw@?Ej$dfo0ekR4SVZieY*{$e8dh8Zy!AzxRrcvW7~&aW+5^jf9sSk(re z$7$@VT&{KsO+efm@15m414Y*D^I2hCGe4e(tXv$Tt);1Tj#K3NO_gH!013n@AYMm{n?k#Gk9A&W*0m*XKvP?95~UP?+&r2Q=pIoy#B*t|=;jzR6npl4O7q>Ummes?k4BOQU&5-7}DS{&cGsjdCi zu{(1#Xsu4x<+p5bqh=`-kv3Or)-L)k4@KZae{s@{*F@A9LAfF;b$!+;eZ;{(2&RCj^{j&#j1foC-cw$eu>GAW|6Rf(d)B z?@EQk_dUD{yy?>~GzkBsMxR+_vU|2WP8EB#-&W4B>pDnW?C{-av`z*>(PeT~3TiNNgQGBOd7!J?fspjaw zjqaA=a!04(G9f@;+J)oJba}^(sqe(wk82B>A?IRR%ZpH6(&zG+5ljUMUz++@6q;er z{RRr}e9OM_SWBCxi_iif9`NT02Z?ng>fy>rW#TItN5itaKd$oSI}a8W+SH{5tyZ^; zGz7R!hM{^34FqzGNf?vb!@ro*J`2#&)4SjL^mL)c7qQ9au^(?WWBq4S%p!bi9}rhC z^x*Hgwio|`tShZ<-n>c2EsKRk>w)LzTgTYxem`pK7veK=5C#IGhpSZQIdnGpU~CUy z8ONt|>AhyKUY4qEmTCy`j^_oD$a0yk%<2t`f9!e!EorrDSKURDJ8z_t@&a zso2-P1q{JwP`j)L-;!gDii8Qp;ek7YX_s8udUJIG4*uqg-hQjmqw00Iv$DN9md;`0 zA3hO!DDj{ro&pw>jH*qs=wbf{c=iiXqdbG^GIX(5klkynmE{5h?YsB-2rJzaDWokT zWx2T0W#mP!&P&ggFO3900XRTvgd-XC&@&U)RtIgv?rkspyrObHF!1vCSdQHn{S-MK z)A;k|C76?AK1WeD%5nB2ea*A$$yNmlMh4Fb)_!B(0p&C;EG&A|4u9Sd=;Z4-TqUJz%NLp*B zUkX^gcABDw?CoWwyTl`Do{#@Ew1_0+jiio_O~~8fATSd|H_v^5t~sDUb{EJkhnTtAGSQY zB)~x_{`vVi{mq%@`n}m#Ncn@;ub38D{Qv;Fk;t!71$$Y2yfZRf8{qXu6@9S%mk0w8 zwv?iaYQUhLaLL?Xhk;)H^zLb&(1lKubm0$d@!p8>s)tr#^q)%_Od(jtgVt1vzAk=v z8gjD!=bK8*)ySpxjb0t8Qu}Wd^t=i<;2I*96^~qnR0Y_}*Kg|enTyo(D!SJ1-v{Kv z^ZAYbk&W4Lu&c&;1Nr4F6HJbAKzT}E;AnkLC-2l7xiQ`11!v~JnR5Ls)lPJx%3P@g zue{=o1l~8+HNKzSCNfX)T=E~SUHSbbR%xyFIh?7BK|7CB_h(ojL$LPDL&`PE(PDxJ z&e=U#eWR6xQa)IC_xaKAvxegpH(rIO`6qWc>@u;V58@P=p9w|?idiD8?rdD-l{|qn z>Ilnwx^7Pj;^9vD{eVZbX0+=2o3l>iwTcWX+l=Y*Zga2zrxrKL%gRzO-lJg?GoJjq zR7AU2y0SP}+S@fUxNG@S-by0f?|p9%SLU;U?0vx~UoY1%SNR$;Vs3f3T={7I z+i1w{82`K9-}*@|KyF-ZAcVql880v$=&?)Lbkv6&E&$+}(?kKMTR&JTmbu@-nIA|x zPfGAPwQekSx=QS27o}L0o0MrGCuAD?nbxG!pXOfn)hXKH5Q!^q>VFJZxbS3!ohWvu z$xV+c&iDI1fBu|^4akqQ-VoiPVO=>lpChVfUs#eb3@{M!Xs+YcXc*yGPf8wH&z=|Bd)g zwWpBX*vyR8%5 zp3xA==Ivi+5vX1+sXH5xa;qWJT;=};Yq-~cmw;ylz$>Mvr8sXMU zN$ab<5f)FcJf@Hi+%hOc&^7cDbjh$Svt5p}Rukz6g5rq^A<$z0ebW`r3az4Pk`fmP;Uq;;u!} zBL@_RvWnW=KMFequYXi1w*-ix-X{HsVroM9ync(=T4a)U6joKh*R!Ko-F)gtH=quwIw+BVqm7o3&K z<`Ze?zcpNnrUa_Cqw;`~$aT6h6!i!#^GMqmt=CsW)EPAj>A{I;Oe0-NqA@MDc?}Vk zK`TjR`#N=ZA}k9?!}_peR=}gge0Ge!+Ho>W36hJ^WIbr``A+$XoWOsJR^C4~jSJ0_ z6ust3g7-b!UP^V3`Au{JESW7NwavDrpnrdM@?IL~R2|Cayl_neDyIW%i`SB47zeY9 zorWyr0eibZj73=VRtgd$74pCgacPHEy%S<*djA4s*)>LxBa{!9%R^1nI=CjSdK6tD z=LWAgQUa{?l-<*T@VHU!ISWf*2S7@sq@d_G7C#nKoN##D)X|x4mukoXG~VH9eQ54O zV!?w(4OH?bk>S2v9_4)`R}9Ok3<-{XAeP|PaEzyws>QMBD>v@XXRU3dh0r^luSDF+ zP)Gva)Ca6HcsFR{JIAX_F5GUl8`m>eUjoJG1)*pYyrD@<%jdF!4HwR4g9yBpCL0YB zbogUf3UaQhUQi8YZY;^<#4u_X7a-DG+APC#^ZVtNfLlQ@NOW(`P5ZjNd2hF_EH$-m zDxZ8WD-mt_Lx-h-Pefscr7Eu5;r1I3$nRe3gqe=l2FSXO4p|O5NTTTwuU@?(3d<+7 z9D%hqpC8=L44C6utv_@n5SZy7LiqkFF#0=MEz^>~=M`1}2ehaTs>ueb9s2fbz)l^^ zLr(bL*%%rcrph`Q4u$O#FMl{t_;;_JT}lG6G+68ilHPmqm*_-qL(tChA0nZLBUCdT0O%gi;d?J<1I9uVVt?s&y}1@uwNfzx2*vvDM&i!W6vG7& zrVzl>UOs(oDdIt+>ujQikzak5Jm+8gm4T(;=5;_i04lV%ukW>Msw8DzO;M~pN3=8o zjZ8cl1E{^|I;vptnab^U6`asb*rxS1@nQwZdpuHTgl8I_=D-tt6W)@%UVm}iPsnPc zSsW4;tQm-KaD0dl&wq|qnWSZ+w!W84_J`YjgmZ6{lO^M8Z`LBLttCg zvq9jeyVY~Kch0Ndb99t>G;|?wXZdFP3kkm60^@>bH=f@)UxAoOK2aeYZP8jum)>iC zkt}kXgy~Jd)?C72mApN9Q24XYpJm9yYlNMBWQ=d`iM`25$XnotKxa& z=T1f;9C9#Vn?JJESudMz1Gj!AZ$L^KM z_9lM)Ss_$Nctf?Dj-KA!bfVfEehD37qm5mv0C=p>Bn5ox4vtj zJRgBa{TG&=x@-fgR?RA)o1!Y9@j~5JGKJ( zUn%*yhK~u0n-}3=~{YtS6iV;S>0DV%a790aa*63E-!0`17v@ zltG|&9`6H}+)tRQOjq<029!q1$3t?82WnOtuyvp4%R%PhRB#srA!49qcDG{#?6cC) z(;DLJi3T46uni__EQA+ zuFMh)Z~x&-0saDYSV4_B3hZ>6e3gmNnT zUx0LNtYvmf7lbaDFrS?V6W}b49p|2)%7!?%uC%I-3PGFsN3}EE?wjC9^_JLwGYI`` z1|sO4c8VAgFaV9%sv2Cz@3+qXSOqHu_Ms$b*EJNR@2GHa$-#C}&FW=h`hoz{kLQ*X zF=-2Oz8x4Ch=YL2RB4C2-m%s|(7S(M7{vKJ>>Du*cWeiqih@NB89x^!6HqPuac(23 ztcO!Z?tFNpY1b>~3hBAXK6-qr7wRHk6^}pj!qmLuXyliJjPYa2S4ItC+S)WklW(_% zOH6Sr9S9W~vhbs^ul>clS;_&=fcF1)b_ZOLo-fX31I4xsI8b-DCxf_U*Xv_e|Mum- zQVqEb(YW>TZm_54MW}$BQ&D-XBULBs7X)$g09c}^sOS-BN{9Kb*Kq=B!jH0v>t~2)b$_ zJD*D6=Ns%Qpa~kvb;Ia*E&->y|1=}xR;j~x5m0xUvFt)hO6lN(c+7QhK_2}E!Vq$f z-`-XhVc9JGKahjNeKnC-oYMGf$z!UhJ+tacSIanG` zCU@sY0m`2k`b39kq33kNLm$eAleqBnmK7Z~={39q?n!o{GX@BeJrkT`~Agv__Nb%rthvj_QY?I#V?x=W6{YjcDdL z9(hUB@d-kz;pigNW_AyYQ>WGb^T`X@J>46v6jYHk}!`6Py#CB!7|-%!|eaZC$<+F z`^^q3e?K~(IZe-Zxf$G$5V2z(Y{uC?Q39bBk?E=!-L zN{1@#Ny2ET=eLorf*^NkEYPDza9}7j9Pmq+1HmEYRw7RrEbVi={Fv1dNXv&q60nnRw|In%@&U z_|13}^D`9X6KQsBVl>8(sx7Xwbt){mQO$*Jh0GKHGE>9NZ zXQGspMwaSV2^4P@#5=mdFJ6$nx^F*-`D*UX@s!+36qUf13T{s3?7a|cg|qpFM)ky3 zP)sz6*ppUKn>pAcMD62#vD*VJ-B&d}IGlFkB)PSkRz8S-7Cf_aO5U3p?VoP z7wbP+ReSE6vYz^KgFhe=NFrHnpmpIF1mJ865S3n7)dtC~bNZPb$JN==%!)S+K3RNe zx;U$N1C(!F{Bs^5)Ri?g247lSpSteusk*>_G&g^k+Xe$KP~K=}@m?M(HMo;;$Z_^} z`SkwQ{MLwD!_RU@{RRq>>RlDNM?+6hnze+7Rr1l+KK&-)b4X8&n zbCxsvH~sVe4{PimHYSH%6Sa#Rxu2MHRZk;FWPtVCW85f-uRx^9-39x?QmRnL_M$s# z<)s#Pe{-VqxX^keoM>NebS5btaYo~;C*SOoUG@sH<&72rh9%9WF_0Ij7wkzO3rm(b zWXhKgkT5>@I{_}0L7}bJW64t6vZIREeV`)HphUEtv9|q8T z$QA;xifaA+l4ahlSJ=CFsE~JLC_d+LtqSkxxRuz^Z3}67^F6uy=FE?hQ^B+v*|rHl zH4Ljg?}2VlS^L}w(5~vozxHL&X32-!K_tLQxJFN7GuYW7Tzc-_`676 zGg-KKbB?gx`wX@R)|W|AHr{L(OV2r>Z~35a>7YA|%xAI3a*WPSeGKu^Belz0f+akh ztg$-EH3M(gt58r;OolR{_;Tsp`}Z#ro%Eu9mUFy1T6=c^ANjinKUs3T2zLv=fG4v$ zsPx~M8Vx;M2?m|ODn3`ow;Alw@+y9Y}=S8rPD@A1`dt;=W7 z`bKvqd3W4vFazOu+X2`D9G}r|EC=JOx5@(z5w8g#ouNH&y%`Fu)nHfu9jlQiO76pB zV5`KXgAz880M2lI-UrzqMLerpT}p{geR%<_G&J&3|MZ1<&=J1xSdyW{n}(RM*Oe#9 zCYEq)Y858$i-tjK0nr6HjRLpk>9c1MSa)!dM%6(37Mhp7#jRq*i>e~vBp5>ILqCaE z?B)#b8u;75+y3jz*YB(LnjaqAV(dwcm zwB0idxyEe-B_uacV?Jg7?8K*v?k^vb3}knHQoqLXLHq6%Vbn2(VXX4s+Qh_2NAlBD z<$#L}%IgSVa;#D|8O%c3Pg7F91Nj3lj1JZgvO+p!=J}uuD8dul5TJmOH0ov5h4%IJ zb$wHsF|E2YgdX*q2(dq~oLeKDtP%ErZKO)0DWD8OyTA#^H&Z>Ii5{);AogVt_aZKi zjtJ-AEb4%u=9G5OXm)k=ynFB7&k7gIOOMt?C{j;WqDt@@Q`C{K=c{tM9UZ-~e;p(HRPc4Mb~@TvQ%%@n5h zn)pue9IhxsGUtlxt_?;&s6iZrG#{L>+y=G|Ejh_zCNV_OuB7*aLowu-=hCBWpf$2^ z7y+dMJ3M1PgPC=?Gx(r~lO@?Ck48my;*0Xf8_%0(U)mON5H5^Vd!3sI-Z}*hJmjfl zWBl|4>^U$Zs&UvC<<)yVR7vV4~=m+CLOe+XiU$?a_lM56`RTBTtTMT@cf3+8h83VGj zZud5nf>Flrp60-<uZ{?etCxgS{Yy6b+%t6@0{(K;lGE+NCD%7>Vo3K+%hk2|Pf+5tFL+(3 z3>z4ooSdBf@+96DIx#%NC^pYAQ4_W!aYxI6N383d)qlV4HDLQcZ17ID_ufqsIbO0^ zDb8j`?4G2x+3dzJqc%AT!(UayGFsZH1h83AGVsqpuY?rw#%ajtKfTpnj`>O z+oq-p1l{*b=X@7>-e9pW$4o>Dt!rL@$o*MhL@Z}lyXuS*58~@IGITDR9eWAmdlFfe zq|G9=L4;0e-k^^RUU_!9>c3EPTG{|UECa{~C>j_GKffOV)XOZa9MXFMs0LR#a&}skV_qu3BaIByj5*y-W z$>d>kLpFvJ-Q^I!niXk+aa0+IOREV_EPbJT((w`vFP3DV9{6>oL7Tw-?9lo+fP8uB zB(VM;HA+|G@?^Ec8Tm197Ff*aTk6#3RaC~-dK)%!K;i%TlE36O>j<+{6-GVjl7?(HS>K^){TIvxMf|S9JtiPCMbT|7eZoEgTok0BjTBNQ2T70#>!NNzWz*8Sx#A zNcQ8qoE~=c=j#hd)qF4z1GM6i zcg?YF(5U_)k@}KuzrwwRNiRtZ^Z$AQ?$?!kRf_Q0m9h!#>Q=K#v@v_@AtW|PatFr~ z{)C-9pxz)bAvO;Dx>BE|0jy*jiwkck$5x!#hKV3Grsd@srr7TH3;l(6WVkOqdN9Ge z#$~7$VR^9ourjNdd4eV=j>6Plw_$tW&LQVhl3I(NhyNu_9n_2i8HYfnHVeM4S-d({ zqa@MHZXl1brN&qqp^JdisGcU?cD9Gcz*b}PbNY8uvt7Ii>)Y*Otd$Td7W#Ub6k{B} zH!6i2p~`eMUc|H->9xQc-4rJgCY|ojuyKq@d8lX5!x-E8z>agB-W0|7={E^~tkc3+ zLyRy;vRrT`b~>%CK4K2OPlP_s^fx{3Z447z9QACMPzICWuA^g(TYbs`zYqWWjMaFC ztugVi1_T;&tI*y*e2eNw9MFuDhLC z+~^~*7n5Ebn2&B9==cfeqU!5XCt_mIzv8o_TTt}<`z?!1u=|Hm1Fx6`m;sTSvs=c0G4}n_3W$zacZH3nGsyRb zxiNil%(-tPUh=Ff-+UBGqKAOcy#_@0c>g@xcW`dMReRm8Q%JXsVHLd!_SZ`Kv@jCK z?O_|W4&m2LJIms9Y8DV8APCy`Jo9U&MC$;n7e{}};wG@vMDz-{p zDJS9ehuNWr!OkR%YDDAF)YNn|#VcXZ1CSp1k$f^r3r1q}n;_7lda{Rp_Usw+A6_$L zRrBEP;pIrR?wc|LWz*odl>021mX(!}1cntD=7N-vH2G+H%JXhg3h*^h3-8TKQ7a>d z{ei6i;LK=21PnEVH5|^-n|qC;hb7ddw^!9tmAgEkE|UX9mWf8_0@2t2@v&8L{_<7T;}6}|9y&H9olDyD&1_~BpSWBN}eX`)btc;5A`Hd zVD$P!yFvBeyz~bUN(KpvU>M=V7}?z({(64}?DFCIkeb7}OSq-_+KEA#`WAyBb_t8U zy^4hm@YbFtB{c#`1TsV!cD!W!qqW5JjIOpev0RZ4+#}&$e0g~}v1J6^H^#dBXz5@^a0nI}TU^@3OWBgA%G5=~F>L4T;lML~x&y!+A zsU(s07vU`nZ@~?CzmSw)Hz@3&FAK%0I|<#^El})N1nZt?=C4mSRu}ibzx^2Ok#wlu zK7}&Ie83t|@qG{r``~>M>x<^K{?f4=QhBiXV2=I=g>Dz>cyLgqp;O1)Q40<3Df+mx2W3jHVcS=dw-gqTyc}M0tbxPb_CK*@XVRV z?UFTdP*x@(8*O&4v5b+g*~3Rxw+DJTN$AhwFShh|61K{#0eMlQ>zCT-fO^Sa*icm9V zN`fA2*t+Wg5zFaczQ%ga|0FT^U@Qusu@{&}H~@>RR)apA{xvUOun$CG_gA+-n^H(r z@Iqq~Ez+e-^>-r}N{-4{5cOCKV(R ziNJhVKjhqDX-<>-S>O699}L?RNQcCeQYE!8<1Ww9CxH-KP-bp2Z#bmv_OcS}<9hz= z*?Z%^iEV3ea^`#9T)Pr2VfBA%`tCrg`>_3EWhN;~$vi|oDkCAHW0Z{Sgi@KASrw5H zrBXObRw7y1DWXDU6A}s)*&{n;`(5AneSiLadX96x=kvMm>%Ok*z6`-pk6ZS7aVTEg zpz=xFm4Z|#S-SqpPh8wrT!>%gVtTCXR?xM}y!N)Qp*)2TC-afFI7Nx-fbcsk*r9Mm zF4>Vaz(QnX6%m|&P|I@M=U=37!DP^!}82IJgJMrIpNml|u{ikNaVK?vWrBtPSS>Tek#_cb&f<eG}Ic)ITRyn#y#+*OUk z-%dJX`^L5bG z!Qhrdw;zxHy7XsQURg%jy^(pHk%8e?e}Br)$+pZb!WsjEs`7l-uU~)t`gQN%;KN}z zbfHvSV_X*#%NGYefByU%N*(Ud=Ta|6^H@hopTy1+RB{QcAazb*e|d~( z5GXA7hr{@k;@~&?P#ql~9=NU?qWnkSvm~$Z%!ciowA($La^pTX{r4~D@VcwRg0i4s z;AUZsjF0O;#WpD8x?F3USXui&gs=j|iJYwJ!f(PQVO4?Qn;0yJqY182OQ43Kc0!mME+s{r+Qk$K$O+M0u(zZorOaA}r(i5C&OaRw5?&*TCq2okjIgKoPcugh5iApFpfsRRi7n3l=DLWcl*5`O(|g<= zNZp43YLszKZ1JxN?G=x`tJNYtiL?5E=nDUi9VcMq2)%v#JZ@--(L603-6FdBX3793 zpBvelG09#q_&6Q+h|D9pznau%%bCySd2vF%X=d=zkqkXfy+k`&rD|t=FolElJmiZJwW;xNyd`>(4j-1Qy&b^ z6ciMoQ}mCH)JsfS{UK6@J&Q#oxz3!)jY=6HjWn(A-o1Ocv&P28X7kRST4rWD z^2*l~`1trL(CeVk&noSgl#C?ShTs!{ zolO(s_afwX;!|$Sd9|^utn4_oGJu9|R&gJMH~8ha17J!!=6X4sP%ln8tDtdzP=)J(e)&G#7U{66-hRot)jM`wNNtdFML+_+N;z-9g~ zllS4-P}7am+&TVoOoW4ZU^wVUedG9atU)vIzq_QNnw+5lD&t7CYJga;a@+g7VE z=ccss8!1`!ERIm(B*D4W+s16OGvvflF4N0+aJL9@qnkw-> zdr$WU`gDJP^zn<~o61>~xBn#fo|KZ3l7l=0VjeHyzPjYKw))SKMC^PKUnO>LP?pl5 zJ$m0+vMBYuefY{`3*JD=28s?N;aFN(=npSRNQ2g$?>TA!DZ2^x0#3vSswX$u*xHWC zR?!Ihus;-kYosARVKx2nShGjpR$RLH?wWV7@0)cO{q9FIXaqRCIy=CO&uz9j480;M zE)Eyk_$s6TT=+XC%$Lug7dpK7lb4mX7jL~9rx_qwd+&u-m|6*rALyNs39$g_zVMXd zlla4ze`tj_fc$Br9Sh^d3zIA5`yf)ccHO^s?^UNSj4=vOy$I(i;qgPQffw*LUK=B4 z@Xec?oScNe9u>Fl3ymJL)%Im~vIthyuHog`G_?Omb-XqyKiN}GG^@7fX7@vf%EfP~ z2v#yOoWC397fH_Cn$JEG(No})xFubsFnljOHsD$hj4Q-h{#q)^se_te`udU}hS_Jt zdk{Cg32|c^ep*{0HuY~n%@;z=AbgM~8PDOWqJy;LSt_SYP4)FrOig3n4+gooxDbm^ z!~zK1>4b_k*F4O5-*Y?6sh;t(ela@kByhS|qi`>EuZY`!3qPG>e%M}Y?{fK?`}h-8 z9UD;}AvQSAc;O%*ue0Lg$B!dHd^kqK08S+D+{?ts1oQ3&VgeHosOaP+4gVgs(WX$z z+a9O~`iyoyrnR7NbN6lzdg@Yf-S7!1sw+f&ef~0 ziEGl2?g)#i*1L(Zv3dxh&INu&)muj`x#HMWV5>^3aj;FqKl!RQ{`*$qaL1yL4^LDC z`JzzLRFtzw%Lyho*2lvYolA#mmGGPSuV4{7C;J~dN9V7>rcaS;3|FUnX^1*WG?O{G zPYId0TQSb*IR)`_y-s{DhQ2DtoZ^$-yZ0`pcSi|t^VgTo=RQ+8rYds5h(Nh#t#ufC z0Rp`FvgD@*YHf^c2;iYCF(c;1N#BvmvL$eu+^-ThrgXISkAuyST&6%?;$~z zvoqlnO$%2|#;Lr-x~~hEJ70cSC-yEOc;p%XE)?-!o!^ElBzmjb?4|ut*hm6ac9GiW z^uVk}HaXJbU$+n+76B!tGkfcv zp_7S&AeyiKj8XP(aRjXeC$ETXyb{OT)^wcsn##(^h!N1f+!;m?D}gUw$=(Sb2}MRMBoW4@-8Q^i-uJ^Ut;>y0PcZxGOO>$!sJZ zLC&JT)smbb{lBRmJM;^Xrbi!t??CNj=ReX2i-nU-t}(jPCPFFMexPFDNM}RC-L|$i z3&YB|%IfMD&fT&q@`K~Gh9m+yr-tmNrM*Ylfr}_pci>vz__!7jU1VgWnwpyZ?R64X zE%<{&LU_M* zUpg=)z&6OdMU*%+=yZcEC$4Qs?DU^-z7_VPWwpMXm43UN?4xYkt5>g<%}cQa!PUyW z&!QF;H8eC-KuXGB?|Yu!<*D*Ra-U+sS^`Hiv$J=&yYB%$0a)OXyOd;jvDcisYKap7 z2iLtvkG5gyBpHrmGe1+zBxlc_1*>=fpl-t^KBt3koC7C40u1QI1k2}UJxReFESgjy zl9x%0u$|93$j0yG{+1J)(TLAD`eWhc)+T=0t7T-(wjA?E`1D`kej=z+_;C_+|B=>q zuP(!B6zg~I@JWbvmz%=>|MXU^o#aXt_AUL z2w_rGhqv55Bk{;&8HdoRzNmfG|FM;aM9Go%gy&~?tgU!|`0xRgWL}l!5WYie@ZObG zRc;s|v8TjO*r~7$Fd$PpimBIBFqoG{>=~1wl!)dIHeZ3@T0?eYrbq!z1K!?b2amQR zO&D7+1aiIPVLz&(LhNYR9+NXRdTw+ZLuzD1Lf!D(k9>5Wp}Wvoc$6k zbwBXQ6aIbs_FeV%K0WBO|Lrs_$VqpWU&4MPZf5t!`oroHTAtrp82K#h7xz($odTYx zyT~~OmRTHI?#qAP@;2%B8&;pSm+*3HV+shPV(@XBA2Y^Iq4kSDuII@|j+{Lsrc0M% zbXWT_N##DRoD|VP1qEsF)uyESvr2=HTjI2~W>nGGl9QJ@Jw5Hqb-;#&-J?y1ReD3U zRhByGk7!-3oahjX)m9TAjl7fJ)DvkVKC6v8ilZyQ#JlZ*gp_y0_+PWaeM9TqE;_pA=e#r#pUIC@#s0b7ud9pNef!Rx zJ~+OmHJ6GHqzvC!$>ivZEVJ^GG*LP_&hXhNk?O{a@}uG7Q_8#Ji%N509J^wExrh|I zwpbFEX#GiA^R#o*^YaV?OzEPBT)wwBOO-lA7O)4H?DxS2jQd`P`mHjknHp4bdc@4j zZE>#z++T|XU)oo2g(qGJ>7*_WMURj8l?G%-N~$?H>_H2Z(ON3br{dlM)_BI}jT|=N zuT~%(J9r4kd_XMVhTHm@UsIxzV-X&*8irCXxB6f9G%-T`3oAJ#gkjf@;h8l{1ZV(o ze;+V>C7dW|i6&~$6SnD|rTgu-3fL<)|G0_6zw_EAp2PVb!@4Alr$!aga_k^Age4>% ztz65sJFT(dv92^`XrLA@JZK+c;uNr3cYM1019Qh^l!0FX(F!+zljOLebQ7z&CR?h- z*haiH3L}I`QcLnI_H_(9M=WeuLLopBohSy0#M?g`HjYFWFb9yR1s;o3at=u&vj|te z0ZXt62D>fO?59D&kL%JTY@@u@*ZW&5Crc%tp^bZ91OhYfel`xo4%`iprDsmXG#_J< ztp4U0W1y#NZJhysbT3Ryl)*0(> z#DQdwtdrXZ*PD>E^rNkBe;GtbNhx@wvxEczx)J9}%KNF^3RjF=)y0=|0>PmSxsFA3 z4>PTKxs>)FQ@He;q#fzTr<;_*DDcls>i(TX-t=)wsGMQ$`4jXc&!;5Vac}{CR%+qR zB+@amkH|7G3np>}OGq^Za`cH`I$Egn(0iY7|MAM28jmrf+$o-@bU7U_(q%^%f&=2< zI5(zbW9?LrEq7Q~9&PV%@vEt?9mzlD(GL(f>#o9cOISca<%w<;pI^;TNG5y5d4Us! zM~$zY)u`6js|#_6*tl|{^?Bs79M3UT<3Bn#ZpB3QTT}6gYTF~vmU?RT ze2os%4vfH12%W?$eiN(U(?7fR3#Z)X=sS}1>UCGe|NQq$%YU8sS(asYzm>G}m1Q;* zCXse}?)-CASV|Xrm%IPeX)1^irg|XhcIT$~#`@ZUz>YaiP+1r!S?alYSnELggMMBz zVUQQuP~AO0WYK_|&*Zl8@dY{zxbAKOy9d#m-eN;0+tRgTuKyC4Sj}Q_hHoas$JoCX zKq)-BR_k^a#QY(Q@ij2~%qo9-U)R)B-P2=PycmQEt*K%q=90E+C&}ymVr}hl-9*JY zSPyK526^cO=_Ms4(VRJWcy9l1Yl56)@b>jDW#bDMgg~OFpw-NYEb68Nc*zU9jP5CB0^G9)X-3- zL`+4nrq}GvdrP$od<^sU3^s%ep$!~1bKJGEvU178BLy3|49<6|h&GRAIVKywI&Ygx zm(RSwtT#?tURqK}r6ax(JiBi%Y*_Kz;8q(_sBUk62*PU?-ZnjG1v!2v6MMdNn*Dz- zfMPO!8LIgV^rX%Pr>rDBG2+JNy`5zt;xFty{;RIA$l+akBzbG2y&MT3)d{;L*i+h; zq&Wl_RSB;M@$0aP)3TFg|Cv%5oLg(mM_Ad^ceFfyoCzBP=K##$mHm9y);y%Q_ngbm zx0*UM?%_jqH8py|xmk6GOVM|M1ATUFp?_1B zMGv@wiV791ik<`r%Xa@1BqSgZ00n4Fwwa5fEzWe!I)Pu4%1vWwU*wEj3b07r5$e^+ zdSVMecc)+4Z-xc$?eqs$w9{C8Ekp7lk+7Gwtqk9W2QZXky4&MG z*RsW%ND$E}?$lyBfBAlth<_yMfk=?0;X&k~+ySLNhofSC>2x;%jZj$Hr3&!b`Y=mM zmcAW;DI+XBeK%a3=P>vogwDYWJfz?#_f0g z`L^WCrZox^pmaueHtD)J$-|mu)7`*=fUM`|F)^@DkiNh5j>6rY>3vV9vN(9yu89|W zyj8x<5~p8~3AGsJATYYyPo6wE&*|!TOfDU21(-*91e<}&Y3=%lt4ZjRV3%}324l}N z;~3g!k3rcD<3(M2=Bm%>@8YuP2;#iHV%@Y8ux*dg%Y?rD6c;_uQ^pi z`arHtq0jXC@4{v#Ha3~X_hVQ##9jJIJ?{i!!`L|oN+bq7i`SO|AkRGf0wl=MGO2F+pJvpP8TkbZ~+0EmqaDEz1)jmr@fF8Zn3D9XhmE z*@#v*BsqL;X6Ez1LoxBv?D6+H*;Uxb^_mKwpDy#2M+N3S+fkYz=N5!I$G6I;+LGUM=?79$_nS zkI&*9&xXDCUV`-co`~bo)lGwClz3yngTww$`G|y@ZI&ypLm#WELI{S`EbRrnAMjz^ z1TsE-dZ{K4g&g(?5(zLLikZ|XAKoPvb>l(ne|dS)@UHW|PT4eKHSdEE zdRioV<5#C^vjexwtg~r_$z(#TK((V;z`9Vorti>f^-k9erLTBCtw>?HJMnV&9+6CR z_4pO9UVB~z&rsZx5n0!*l;CZ_N>U-Lf@<3pPInwVdKCSlwSwob9qtHWc^`Z4iJOi< zoR3c(%V1m{>jABL9KLRe(nL{I4ADJ%?jUVvX`+Yh`u1qFq{`+6m;HjSPY94$i zsF!21>*U~k)5O+RCQ`+T2c0h*kRxGhQd`|sSy@Tsgcuk+Xs94ENw5{3<353jhE%`k z556$V;>+0#iWTk?gVXK7k;NSi8jJ0s!d4PPNrwCt`cFyQ_MaU<9)YpzKM>R)ip+g~ zU>Q4W`JiL-`jv?;t^jOt48;0Bi_IrWWYpxZ;o)0kP2DLHy4{%8%H0jwRA!d~x(LGy zUIn)178VKZQth8azzJe`YYPt#a{yTrVRLN`H(u4#I3KS4OO45GOUs@EZjedlL9@YP6{h5t zD{nJRg=tCoY{%Q2VvvCa*kMxoc64E30YZ}c{9i2e=IptgVzBBV%czn{Zhv#dHT|xI zJr!;lun>PH;;dZFt?$qmdhI0S>l+^5{`P`<6H!?5_s&&bTM))3eQiJ6mkcn|RPtxI zda}-Jd0@GQuVFFwh{Dxr0TM22I=mAamj2)vm;@7!eBjx#(`f}=-bL7F)PdQvPB%6+T<+zOq9{PpQC6l)yZdh?K z9N+Y{+}|Gn!m9n+v(!`~q%VExj)~^F3A`^o_Mv+;r%|DHqw3-Y5?z4^=YT$9-;vFO zC=ZDUAw6(B)|1~YzN}oVcy#%YMw*x;&7embA&p)R_q4UMn?sXye06WTM6rZ!~_FasGws=!m)7gP;0RmSY^!@aoKhN9; z>ydx~VBlh^M0T+tYfn`Qb^la6;c4 zo4{BF{e8-G^$4DQ!SYxC%a>(Ar4WD^rMADn--;RRjkkc-%J+KjfQ3pdF|zANC5Kx{SO3|w89 zPJYi>1K&*_3|LHpFiEC#3FeEigb1A)k-pWOJ;BpZJEF=Ixks~A&Xa6P_$xtXhh$}C z1xn|rf=|HgVCGysFej(*{JlS3Ui-1a!~NwlezH?o=LcC8OI}@uiDDY*U9rCV%>i!T zV`bAT-Y{^c==GC!t8bK03ri~$gUjL%ck=Mm0ldHJN+?h(kbqVquy^m?o|YJg!AdmE zKQ>9v;gtyVVW~8VWcL7Sj5PbCe`A6Y`flm|qsRgVO6cPXmrq4tIP$IQIOBV+ff_aY zVhM@qGiRflhS806WJlHEM19(^l6=W%Z5azC^A|@NxhabIRjW=1Z!2xGNv1uBPqcK0 z$Mhj`MjV|V?J=&;M&SHr5XdRd{PEh^eBWT=vYVDehw}P11EA>R7-k-olqA3{QU7qA z8gx(5iYL~0`>hwf58~i*BiOq5pGF>&{KOiP?xVZUZaYl(;Kl&Ww;Ko;6(CT?m*IQj z5x;t@Q)d{a-~V!AJ@<6sO<-D_Dh8)C1)Hed$Cx5-zPJ<34HmWT;BoUU4@bi9K!xw` z>$_06EYEt#^(R?QE(TVcfxWBdnB9mJSa`)2rax}l$hVD)D|L-C^K@aFPL{I>nM`oO ze!A7#f|bfkO_7lWB1=M#!IdGq%0l9>3oGA|wmt9q+APOJ|%QDphM_196-R!&L;mI|4L)umJz8l z+3$otUd>{K!7dVe{)4fkKgjgS@-I$(n#2)=g0%(j@Xa`z$yrWeVJjhzK-Rd8FfWXW zI28#92~ixoq1?9juA?m?{Vl>V00ut+S=nfe10V$3eZ5G&eh>sTUzLMXr?Wra~P z2@ja?>|hLUMGt&q?5B-v08q6{FO5xx!ct^Eb`+#E)8w37%g;Yh9bT-{_IJiAhe|K2 zIeGlViPlHS7Y(*!+N-TkH*(*O(`=FBj_ z_u@+sYv6){&yAa5x=FV8j6=Vvqr|bhy06+BlzNUTrju4yS3gnLh(QA#$_g$S zvxe2PKBFQSppGNA;q(jZ+hrFNO{~xlm+1Ws0@mdF({&1dR64U$LgT4qKNfo%5^z*3 z&;yaTob@9Mb=R!B7W98uXliS>9Cud({+Vh|VNRMDTF0^M7JJbg}NA&#W*0Mr4 zcII48@y#Dzij)k9KDA}XjyuK0#qBH&U?q&RZoWLYD_~*aDkiM+^G_*7)^NHKveBj9 z3PmM*E5e*Xqzgj|L{I%@dqcSby8a)LUPXotLyd3hYvs1e$9BgV;ph%L(9k@$3 z8#>+`Yks2K3=o>*ke4H=@uST`CjFG>BTKU&hgTl}?Y*vqByDXi+4 z!hmI6+Qv!YoRr|s-_=r5+*HH67aq7QWA>Zp%9FZ_EQot(Z_kT!21&Srl9zv*5_(ZQ znY$|pXOJ*uQ2*=~Yu5#UtG9bHsMO)0`va^@ymLAc;X}hb1%81gL~l0C9e2~J^x~qt`(UjiHeKg#%VYA{RG;;1E#*AMz=(RIru0E7amBA z0rAy%etf7DaAs_~6dnNaMIj)=aU%To?PO3BCT_jNzzZki{KS$z(=XSVjn>vqVH_8v zBgO?2u?m-UDz9i^3A&G2YSWDyHx^OoB}#39*dWQK0HUKLcNuJ%s0Ppp4G*uuX#Gr_ zm7kv<_@xmR_=>|oc zBUMp`FbBlv>AYLTLcmCriA)^CtQol2i2LcQ?#at+mFhp&hXr0XbPgCtB@vMLZY~BZ zgq1&j{J8KwwR~;qE>xQF?pJ0^GxyZD0ZHt)q$&AeO7Mbs5Zsn;Aw1$_GX@L{4EUB? z&rz7(1OJ!!uO9)3emVNR{FS6}k6OrcerU@YiJBvE4ex+cFWwC4(tdK}G3cq$?t^7X zM=r6bsTwd9(5Hspcg^O2j`YOmZ4>yI5@j_(46JP)ZHWGo)v{d$t3sSvq5w`!SqeOyY7~Lt4qP6w zeFIpitx$||NPtoNli?DI>Os?TB)k%wfY3ERU*82-ujVJ>B!U;(pWZcB3A}xrRWOa@ z=+%wKI&Q(Ws+|h*0-M#89Oid!{Tc`d_<*>YS*1hL(p&JQ1CutvvL+8Z)0g%wOw7!n zIV(|;{OI8V9voB$Yo&UVEg9pBnKB42qCyex1-!B8pMNF3i&7{?O|SlLOKt5@LG``M z1~nvrH}d)Q0F%^gcx<6MS!ff%BqqN8n1f(!A*KiF@1q&fT(fM3S^Su~QghgZ(;ftAL0?%q#Lyakt_U(&b!)8^7?krJy9R)+~$|NtM!vrwI!1GR+q>B)5yLZ0; z$UeX)0>-prI}dzC0}d4O;^GwS>SL$p=A^ZjwmtCP3Z}>!gb)6l0>Q?6y?D(L1hS$P z7DtqR2oQ{dp7dYn2k;@BL|YL-T%;ST)6{q z5TYSxnzVUbxsr}Ti6C7hIy=J|MR4N8)QC7bcs{E8mbvLqpFU0SzKA}U{9a=9VhKHS zdCquS8){Z85#l2HxX`MGorq`ivs~L0DEp%IiT3%U)MsNA7gZb=wXuwXv&R6_LeT;r zh$vfZ7=dz+O3bwoAOH31C|dpPd-n$MqD+GJ-}15k#70EU>Y9s9;3U8U986SlfXJ1T z2UO6bv3PwRNQ0pA5qs=qod!MHcYXEW7}H&OY!|6oG8hI#shkoF_Ub6dO+aI&lHW1$ zGM@eV;~z8w$t#lA@ombzo^0Kqn#ahzI_oGUHqxKE5X0A|eS_J9l@I7W@?uZtd{< zmo77={O+H95?(~d{)>(0A>_`k?^t~ z>H50PW<@Sv?rimB57;57#@oVNYrI6rJ4Eq*@L=om&LK4bfP7?{K0lS0dzRss7=Za4 z*fgFUE3P!ogYPZV4n(EgXyvXIp*e&HuBtD|vk|;Y4Nk#T$&@_2~tvDcoX)YXk1m!K{X3vQt7l7OulobSg41dtRwM=I{^^r4Gk z)qB1oKj3bA%Y&pM{!B1%QrCSsx2xjRl^);$RlqRf`=4-)p(FnK3E^kOY~l>x**WB+ zp#B;3{CP<#XVDe5y~aQMCMPHHS3WA8>bgIC0B+N?w-+mR?HLN$c2?}b zVFGV}qPQIv)>eFY^MW2zL3@)e#D5tod7jRMri8qRBi4kj(O#dX9*GR;M=+lBj*e>T z>FEV_5kx-b@AQrbp9Qzt7%MkqwRFuk3?b;+;T16`;2`V3{p^<}X1EN)V1(5D4t+=aK3ZAT_X_$#Efxqc8LEr$VOm7}^$f z>N8uhcM|V9U5J2R>=%ljy6tX)J<$pjyVGy47MvMW5*89dtSdE{%|F0Da5II;yYpsP z81ukE5fWj0MrpT-G|G|wg<%_FqviF*)H74pppp_9#QV-Ra>eNXG7|JZlh8^-6hYp6 z&X#db?!6{qShqO<<~BXcb8rNOknlB67#(mC8w`QxDic>C1Nri0Cq@GocU2e1J zS%Wxmz@~mH{?Nw+$LX1n+m)4SaLOWLCu{DG*fL#8!bFzkmUJ(Y(Q&E_hYh#0joKD#D^$}!l+9VRVmEX!)mvmbWs>sYv941*Ja%Y8eHB-GuT`AsktE{!kZ?z6 z+POts8qo4*=H~kG1@?kEy2*Z*RLv^*UzYh4N$wpT32v>^=M<*plde3-!-@zB@h~ph zp%Thj{bNk;!4Kg`T)*zsSWL2H66EWulfl&tBx@Q6RH^u@*1WX;9E4tBW>i*`L4|%w z&|N?nPREPs1?UEAh8jOSwKNdpC2>*72i0O#=Ax6W2*)0VrtPv$+c6rxc;cpe98jI` zm_qD2@XS56kNtoN{0W`f8X8d_dkRUU4MLh~M~$j|j#JyXOj+7wJ+*PVkg6>Nck7E2 zTg7;iaN@rc6oZgjm#H`$X!B5V4v$I$rFZx369W|c^UNu$4i zK@We^IUI`pDJFk^f0z_?u3k+nxkj5R`cX}=lJ3p+-NM2tA!N;idJdodF|e7eKLOvK??)r!GX(zaNaxKf7uwJx4XrG3rMx-MZo_4yk4dImW|M{3Uy;|pF^hEQlcFNdS zfLkA&Uue_7joqC}FmQ8+6`2Ps%8xT`wz@XX5>1)uEBe|SJzbN2V8%K( z*m#|XXIQ|ls^XLwYv#kIsRiJc&se7-{%@@8n|7|1YnJJ7)xEFk$w8R-{o|V!LaIO zl1#0)zCx0({u0e#W6Aya_?@7H;EK^&{eWdT9&C`+M@wX_iDMHo(ZdxsH9%&_>)Md; zpzT0Icy3AG?hnUb1fBX$Bg$QFHenXn@gm8bJkHjP6>RQlEOFDycD-In8+w^aNV6xE{eFlygo8`m38L z{)JhJ=Y}pCFPdW+N(mbkNiNgnN7wK0b{*Q(Nt4ehpT*)pXj3SFXhSU_VYZ z;;}hHd*$(y7Yf}~`bQS(cC5FrD$#^Sd|be&bzi0F&-=XxWjXXUog9i(L&@ zD_I1e{$9=#i>qZ10CvYO+FZGLC>y7d`1u|7n}p|ppRGp;M=kM_#w2u@gcrn*I!7lB f@)+] (a) edge node [anchor=center,above,sloped] {$\nicefrac{9}{10}$} (b); + \path[thick,->] (a) edge[loop above, looseness=5] node [anchor=center,above,sloped] {$\nicefrac{1}{10}$} (a); + \path[thick,->] (b) edge[loop above, looseness=5] node [anchor=center,above,sloped] {$1$} (b); +\end{tikzpicture} +\end{document}