From 3bc9d0b3188b4b3320863bcd1e9c01fed9841352 Mon Sep 17 00:00:00 2001 From: Alex Hirsch Date: Fri, 1 Feb 2019 17:06:23 +0100 Subject: [PATCH] Minor adjustments to CFG example --- images/cfg.dot | 39 ++++++++++++++++++++------------------- images/cfg.png | Bin 18185 -> 19162 bytes 2 files changed, 20 insertions(+), 19 deletions(-) diff --git a/images/cfg.dot b/images/cfg.dot index 16e05db..ed4509d 100644 --- a/images/cfg.dot +++ b/images/cfg.dot @@ -1,19 +1,20 @@ -digraph "CFG" { - nodesep=0.6 - node [shape=box, fontname="Roboto Mono", fontsize=11] - - B1 [xlabel="B1", label="s = 0\li = 0\ln = 10\l"]; - B2 [xlabel="B2", label="t1 = a - b\lifz t1 goto B4\l"]; - B3 [xlabel="B3", label="t2 = i * 4\ls = s + t2\l"]; - B4 [xlabel="B4", label="s = s + i"]; - B5 [xlabel="B5", label="i = i + 1\lt3 = n - i\lifnz t3 goto B2\l"]; - B6 [xlabel="B6", label="t4 = a - b"]; - - B1 -> B2; - B2 -> B3 [label="F"]; - B2 -> B4 [label="T"]; - B3 -> B5; - B4 -> B5; - B5 -> B6 [label="F"]; - B5 -> B2 [label="T"]; -} +digraph "CFG" { + nodesep=0.6; + node [shape=box, fontname="Inconsolata", fontsize=11]; + edge [fontname="Roboto"]; + + B1 [xlabel="B1", label="s = 0\li = 0\ln = 10\l"]; + B2 [xlabel="B2", label="t1 = a - b\lifz t1 goto B4\l"]; + B3 [xlabel="B3", label="t2 = i * 4\ls = s + t2\l"]; + B4 [xlabel="B4", label="s = s + i"]; + B5 [xlabel="B5", label="i = i + 1\lt3 = n - i\lifnz t3 goto B2\l"]; + B6 [xlabel="B6", label="t4 = a - b"]; + + B1 -> B2; + B2 -> B3 [label="F"]; + B2 -> B4 [label="T"]; + B3 -> B5; + B4 -> B5; + B5 -> B6 [label="F"]; + B5 -> B2 [label="T"]; +} diff --git a/images/cfg.png b/images/cfg.png index fcb5170bccd819de777d0f0dded4d9abdbbef43d..4135013eccfc7d78cb725d974a55fa13ad0b9c94 100644 GIT binary patch literal 19162 zcmchJ5*H^ zbx0&KNfK$pcJeLwm*_V?-r~QuSg9*3lGcg;JT6U*CXx1#R27fwx+P3}y>6&$yDm4q zkiGwT5;X<+B_4{WgB$Mi30Y>|+jsN!lV_S|!woLPTRpQB3ex`>tA2lJm(l@Um&S?X zJ8I{gx1Fxse5Atk2K9~j<%L_}zhitYAH<7Y{=QnAS(GUuHu5D=+w!2M-=>c=xX6 z#>TDv-@k9+;NVDW;^MBfcd?ny&CQLtd)NQzQ=Tt{&Kn;+dZd-6s}rYm;^sMg_~q-@ zgZ7<*Bwy+ct4nj$b)hT=t!l{awsR*}h)Ig_Qv_`A_V!j$QHdy~6Q!lZzu4K?8J2s? zNV$&lxbC;%S#*w}H1qV7HZe8T*3u$fzI<8Zo(NfW;Ew2GK~Y+Y!|!<{@#nPm(bZ-K z?rHmLEr$*fi)UKSTaA^Q(arDG%k82jKe@R*3BXF3Lb}i=g!z-%7;Vs zdQlno?lF>cF7EqosmAD{$YcNCUsKe_j57rhiHX9lOvGD@s(5v-`D40)@a&H+s!*0A zbz^O*DMG6GxB_iZP|&fSdn*gjv|6vu zo}^@#X5>~5YcJGPQ=^!l>NB_Tz{9nq8)VTgG&MKZe}DhLd90O}bj-y?G}EN$rn%25 zy^P2F%P%ZRT-XbnEXLc@8X6lb2dZ!7Tp81;sj1m>=#bu!?B>mz8$Nsx`ql9MeMe#6 z`v*s~3oe;{`t)hf{{7o7e}7k5&*5{Yd~HcRWGcvPFrJl$l%f+XV3665zjwa%>9+Za z&l|4=SBK%NIz=baMyG;r=g0mkXT+STB2`}aF`@o5}8fBt!$SElJ3{fSkxA6;2gK0fQT3zx54sd;$x+VtA;)X-44 zTp)JmP7c{S-Ffx~OI}*qD}`#C9-jzhUi|*RF(NYZMzh>HE3Q@HSibtqIk9|wjU_ED zO^JQs=hwDE^HTRYr{CXCe(LVFnjLK+`CcCRkfa*TXY3(2>x0GN(@fJHeAO&lJv-K> zovwdicCu%;wzjt0%3@C4>it9ZfoI>}kMWRJS69EoB({Z$U7AEPDRd&M4`Zvwr~JBd zc6HdJ*ZE^84qa&Xeei(AxZu(bWo6~p=UX-$KYm<_1q&JPHr-FgEPmd%x71?@i|QW} z6Z4@?%vL&@JNlfRU2weEIW8`)4cC5txlvjw^D-mDRq9z@-XW|~z?*ARRlU9J3=Au& z&jnVZd6zf>7Q|r?tkU@(+i{fs_eis{i%V{Aowc0gSL+6v(!q)w z8&ibdb#0lCZsQ1KZ4tme3cuFpWiT?7otUuZ^oW(l_tPiCm!@wRDne?Pa6(glR(reD z-QZN-^!Rk@sp;8S#bd{grP=G7yMNaFnaJO!8OE9Fg+oBPdi84dt5*s!{CaOosFoX< zwg$3lZ_Y_faJFcm(fios?Xs@hJ-8OPI_&A?wS6ucZ#hxut@w3H$tM(6a*{(8`*{>e zWvlaN+}zyuNJ=s(1X3Qiuy}l`9=EdyE2s?S!YR34oc&BZrr$Gm~BCZU4AQMx3E=}|29Smr^j_({N0*6NmW%< zq{j^#eCF@B$)ZO4vK_tJ|L6AzITe+%zCMGzynO%2NUC%0C8gy?yDGEG-SrXNONouq zd#jt9sYoA-UG1@Zj$1eAy-rNvn>a));FI;4`FZ{Ig3!>DX>2zIx;0Pj`upN7>-*?# zyOfqaSsfO)#LeLW^|b!&x}qXt=RPQ^sE}i8kw`&dVP~_7)Uf7c)beyo*Qa_*-I=bT zo+`=mz3NK1I-?n`B7gQQZ*%=QT&w@~*8kpQ{<(@Oof4X1HueKm0iW_69< z($Udv+P!;sT9ek%s}qduvYz`~nJ!?PJGr{X6jPRJ1^Hy2TxR-Y?N{p8629Lfvr z&y%KT=Y+(?=|-9pg23<@rpaIBluLv_s$u#qd+Q- zu-F46nfVE%pgf*iA~^=?4Y|?ul65tkL_SAI*1?nvKoW z#seoRvg=^~m2eJ&v{p|~&*>h=@&Ww5#O3dl3_>PB>TyD3q^m!_1QWZjA(C6dV_uMp zo7?%@Tl!#u&Ww*AKUy`PHMd1+q2WF;n!0Bfc3}p9!@oLr+q07jLv^8Kq_D8C>G}D( zZ%uJ2g4!crzI^%kL}`2IaRV(a--rlm8GYMgMi*VXv9U3{&&u(RbQ)UP4M&a~SzKJC zyZ$vD6L z5CF@OOBHQxyZB>XG}tfAj`;-zkxNKPsp+PzQ8J4^Z%C|E$2G{eZ*RM-^bAKd=KIf| zVMedcTFwmCs%U7`;Hc#|51p9%Eh#BE`t{9`4I4IyoPEc*O`wAVZ>(f>zDGn%U`bOW zMaQzg;s&j*?R`deTKUNf z4Jw7O*Zc<#>_C-LPCfOIL_%%YOwve{HGP}QLqkWWJFIbv{Dx(9psH@9-Jp%di@RUn zT(hq5C3A9eI(Gax8LoEFvTBpYeerE1EwocCH7^3JMBR$vr8T^))ZFCpDA!F`V8pEe#DyG#X0IO@e}g)YR0zi9Tya2=j9{rSK zE!lhW51X_bHQGOcmPQhN!hU{z^W%!Nq$Pkaf!3~E5no&SA^h%<42!B{IwG9U~kAhD&nAGdHqV%<49(8U=(>*K)drs*gRc>~=Ag@)F? zjS+C3_;hg7mMw$Wd}y$OdHR6Zk<-6^-OR{105m)B?VH}%&~-Prit6fQ`Q@FABF9$y zfa;ZgbY?`}yJvWz0XSe=bE2H^Yln^(dZV2g59(I2t3)n;*Jyufv}qxzAIN4914 zmUj=1WXaDxU=Czu3Qb60)lJtwDNv6!G|u60{2O=qgf8>#-D}2MUfN?`!@hoLd8$0}{(WPc<@9Ux z0;h1?rLK$;z45Wat(_#_g+3p1dsq6s!opPY4rp#di7>u?Hq5Ca8Ds z-paYDwXH2lm%k&UwkaKF{(R?4qoRd3ZZll(-o5Mp@nbuQxG|Kyw6f-xLc=2?)?JyV zZd0WTP76OxSIXBH*4r0erL;OzY-0-j_)+Uiu`3SyPP|#}O!M;01!g?iMmae-qT!z@ zxU@K3O(o#zkoB^=z%d-i$Iacn>g!jw>RVJJSK?jz<5`(@prD(Sd$TP}^(jA;a=k5G z?!D^%urT2iI+o3kWbTQb+o_*r7Mf?@ z1rnFp8p^jL&Bs(VPgfC*sXN~xgi3CO8bHU%#YNu6#wN1s+sH^V+KOSprHA@;F%+p0 z5!(ARWoW0Lq<%qz=@8hHfAO=68Ra8}P5DjyxH+0Jm=I2LaW~cf%{`~n95Ju0$6nv!5^YoBg_fPY! zC5E5moCg)3K7IPwW8tUBkt6jf>T%hQeX_&fzFGE`T>n(y$N^sC$0T<4v29aqO6L>1 z^4$OFaUDG$9v;25YwxK&A|lx)^`eTXAryFvH&avhqG?Po&REaQudI0T@bL5lmS^YY z%I96^c#Pf0xtpCmv+O$^8(SzS*%R&L6DeV-lWVS|j|GnA@9rPkF5^C10d}TU>h6kq zx}7BAHf_LAOLgHalb9h_ARdy`Tp*n$H9trvPzKt?w%yKmTo&x z;ZNC?8}ZW3#}*EN@-uBddi3b0&!6e-MC`1s{Tdonu$KLk1$}kTwUa4i)?GMP(@v*O zw`s}^gv+h@5{Plg?v2ma=)IZ*41iva*t3$1h*Lbef+qVwG{HJL1^uk2Oa{ zamFTnX_&JC{6IJ-wspRZM?he^s;VkM+d)r3UXMK2<-hmf0k^0qEhi^u%6z>T!^+?d z8)0tljR1O!GxZ!zb5sToR)1XRe7Q|nSlIv8EpBKHD4Ik+_TAmpBP}CiX=j(_?Uk;d z;WRU-6qzoDcS{=$9VMW%cX9!$?iPokq-~$ zv%D6kEt3uv*LLW{uD+E|(y9RL-nMNUQ3PaHXHVm7kw}l^e8RqbF_~+w3*uDHJ$!Y- z5Kx601VgoGq2uhj6v;6EA`{e)Krn#n)>c~3U(c7TqOM+zl0WnLTq413Pe0Spmb(T(ChpKpM@B|Q@7<>Z6+x7u&wKfRw6t_Y zLc$$Rg}}RGXUfqetndI5PW>djp^k8{(-=DqhlMQrju-Tu8E02a%X}c4p}144kB^U!hri+_o?4BTgM$k44iultuCCqCXc!M)G)(DDOwu7g z+4eB_iei%19zMP;*dZGYnn5XKbJ=WUyw!QjiL7#UuwlV-| zM(=zzm0UmYr(xcO8229Rlj)@&S-U+BXq`TAe?I!A?3#DeZHOlM5TjD2q_Z;CT+xlH zlN4@cgZmd26%Ame4BuQm5G!b;GwM2rexrq76mvxxe7Y5ktR6pV0kqnds#)FL&FnEh zVaak?1~oYHQOQgl3*(VX3GKH3M?~Vf3r~Dajbdq7Tw*& z8+N~|Q|Q+W&j$VsKxLb7P+MK)~$|gbejn` z>l#{_?{OTLvp#d?jOXw7N8IKo;(4Y%Q*YR5(GYp(p{y6PtgLJyniQc>P{}SH8;`p3 zp|6hvq6icxx24(re43B$pwwAlP4?~E7f~#&Dl)7RtDj*UKxj_Y)f>+>Kho>_QAwwf zAffFgc?^OCDiX1?r6z9M%kiG0l#GhOhP}glh=Rj=k(2LKLXf%lpUq$iI&momc*77~ z^ww8$v&`JxrDRv872K|0w?qe_)qie|-wnNcmu_)s$qEPL)2nk-*wqG^j~rdJQ`G1^ zXIqq&%2f5!bgAX{03=~kOwY_z;&t%6(DBijI^t`y9~xj;Ss6}11!yc94po|ZRJ$^V zm+oM_PKwSp5AlAn$bGc2MHW4Hxx5)gwt;Erz z+!7LoLnX)Xs}Sl|=DN&ni+5+_0Qj`HLnd*bp9p^beBVoxB3hQi7k%^c^4e{g?r6%b z(xFH2$~t0~pt%l=wj}4SacoowyVHt_NI+YYGEXMpiaLCfBGlLqQo;+Ap?FW0!wr$+W1P;;&d>GIV{vP**H)LSKYun_eN|K>N!&cqu^S>dRZg9X z&6Zll9??d}JC3(OvwQcgQjdlE6SEP&MA6Q0o-8k2+9@U`c8Brc2Jq<$kj0OM&epTz z9ovC9;)*pM4mxgQDlvU?l{m?$y$}1>ed0{vGKC)nC34 zGy||w37B*XC8IC!vbyQB4|r6I{V{5&(&?$U(CiwP&KxsM(@SR<92%mbr`LPF3|ztu zDbG)CePtKWkHHbz2o^l;QvhaECU&A=14+Ces!-IU>eu32KWI~@1LdKhAw6e?3Dfbb&W6C#)!DMy{@Xpm3=%> z?SKXYKYoPp>%Hh7Zj5$Y_<9Xn<|$zL06>2oHqNq&DFfO0-V({f7eDy|d|1A}e@G|pv>l~n>l=gATQ7}XZGlco$b9X#EdoUU z+JE|)1=>CEfq(lqT?&P;S$$M)SqcZ(A!25xU{ zO>2r1CYY?s$&;H&(3}fDi50%kOCK*1T_rjZ5dGt|Kj=q>IaZqqcrWX<^t`|z%gprl zFE!wwql$`(d%)q)$`qF8CsTydJU2y#VY5)6a<<@v9<;8bBs+Gow*+jKhwK<+Xu9s$ zd-wK{g3#d9b@e`DpSF~GT!T!<&o1q@$5rxMRe1VS*YyN;7qq=hGZB}wXU~2rbmrFO zr$2Fr(Nec-gkbm3c@^+~IW~>7kS}A~6l`iLE6G|~S_p{9AZ#Y+DrpNTKI0Fh7NiDkPd<@%!KOL`162R{Fb!P=0S4@ajSpL}qbz;uv$^(XAN zQn8y%9JviV;GTJ({{r~L`L<^}0(Y`qp!;#=&m_N|8i)_7Qvet{ley>2=CkkaB{@5L zoj<>?q_i~TqVUiB>o)g52&Qo-RXsf{@CND(%)NMBRhbVCKd%xpE%pb7>qki;Zhd8S zRsAc7vn-?d`3UwG+@>yatJ>&ty$ge>w33Xu;V9&nZ9wQA5VDoJ1$wP~RC4-DkO21F~4D;A9Ml~1Ywv6ulU z_FVfjg00LI$Qtt*=lEmV>AiyHWvma5IDVg{mj7DpN-VSBnS4sf>~Gq?(LtlJb-}rR zZP!Mq#v6uuUH$phIVLAvK5Q^_f8H>*qk*nJI#FNX!L^&6qT04&hZ3G??RVmO1*-jc zZbJ|bA}chs>T`)+fvA=0raMW2tgFpfG)Ta=pr~1+$PpIY`Yh49aL~zvgM-PpZHp}C5w(JmKusXz0AxThj4G+*Q~020d-kjq6t8>YcC=@kABBR@5|WZBLu13u&D)(&H!k+% zpKO(4bm1Gtwa<5DvaKx+QLO;S-4nIFUFrE%^H&R`KT0+!I#fHiwUr_pSCL_jcR-i@ zLqmRD=00p_e@bB7DMG!Dujqqw!Y@kc)_9}J_zl`dS!72n$$jQxEWO9>c&RZ z@m!Vf#UgbxC)%5w;ptpMn2DY|^_<(Yz=IF8@&Na^U~1hd}GAQ)le8JO^n zkYXIVUsuAhBw9C2MKx2}_ug}w5>McoIm|=1e<@GP=H2$xkPNM6pq{`;&h3K(9ezmbuV z<=eaa3FZWHJu7uJ$5iEid#$G<_iusEQ{dQl0_Wg*D(^-Y@GIhS*gT(#T?J4S_qeL2 z@Hb8Ms0$05^?d$3mQnU=Y2sD06E=!`59psS?4+bq52XU~g^gb~*mQ1{gFYC_d`KRf z3p_BZ{6@%+^4TWga&q8~fvG8BcqU4qtu-*xI+~}xzA+F#|M6JKpYIQz;3{0QvSuSP zNh(3u)*-XAv$TmQ^vT&dIW#a#xegpS86Kl|%C6i|_}jN{!8jcuS>wd)igYabM5q>ik3=}7 zGZUZ1G9DV~%n;=4&K*itIqwp!Yqzk0==HSotkxa}N_EPj+1V>-M;6e_a0qX}#e?WhWh0pR z&n!TDvz+$|Bc8wR@o_&9hi>swI{O!49CBeOMg%}mOQFTZs?Z#1I5@%&J9PI0D@(v4 zxq0*EQ=z;n@zpYVIywRYpm_$g2+E;=3C#E$hA{0|_Je*&;FqHWCw)lLuXfRRj&Q zNw`=sM|NRz_Ik;QCpu}0ePv#?fX%l{=D}{Cc&{$Wr|FJQh~@2H2F3^|D!LwNF9n2M z1!Mu!O?RAD;AGoW56WKvHjiPhO)%JWyxa0*ffD31A{xN+vhX4fFgKB0C_fq?Pz zbc&Fs4%j@*HF?zJAD%BoO`}o5r+@zz$R{)N+p=T2+dhj^Qqsu2QeD`j_zGc9-_S`D z{AB{P3#{M^l}1%7{!;1E^4Uw5!U(zmg8=4s9d=vfg9r8z3kxf$;4oZm>FB>7fmYhH z%*~&?pi}^2fQBiyZrutI zAo;iAVP3Tq9k412sNkV}t^4UHa=>-dnlkRTdiR+fa-Ti#w|;dlg;0Jaw-;n*Q}=l- zJZw*4@`pLEN22yw`;&UAe*cVy5VRAh-q7K0W@QOu0Yol-5+PMUdHVQNbr;cNz{v>A zL)gL(>iEt!M)Bg!(m|L%R0byk`a*sl4H=s_hz~<6AE>iDzSetvtIx`ea^x!s0RaJMbCsQ) z46qk!A<4JAI;V*auA;j?h7Tqf#Mp+WCcpT2CIU7?p-pQNWxO`k8xRt*{Yi4NYbWO| z&T|%o;DNW9=D0Q^`pL{=@=(b_uLlg+J&;2!XLos@RK-5Zw(k-$G%^}M8-y|z*v`vz zH*P&SEF`3@aVF25A_DyaRl)9e1m8CtM8aQ_>c4pL;&kU3$AOH3-kTtO1PsGt0H4N= zxnV(Wg@l9%smI>USt&yUCYL9Feep9bI7Uoyg6OuLJ3D&}L9}5^5wb5U8(W^7?_s&+ zEt@yT*jb8lEL}(WIR87VtABdoY`#ASjjA6K_dFNtNC#UD|ko8pxVbthx|U`An0Zo)8h!Vk2^EDDB4hC)d*3L zh$9(G z1&8s{)aE+f@%Z>gNPt5C5*^(KcW@2E__+-~Y4_(xckgZ@bi}~GCx8j)>yc*TlF-6X z7Uo15rUyTqG%dbTiETW4m@hJEytnktiu})&Kfh}qJpu~ZMG)smZe>F1R6KEF5K5C& z);Z|R1gmQ*?b~hcshuQNfey{h&7J&ZnWnMj%~V+kJQ_QPIlp21pe;LDgW&OT!t;Yn zhkjOxRK!+Nz$Mqw(NS_oM@K?fa4eZQ5nQjXs#=L17jn_@Q#L1hXG%^iaMqkdD`G8g zuWS|M+yr6*1JJp@f{cYORl6(SQxL z0ebSWH&-V`9DAibe>Lu{E&B1I$SNlsTfp@p(GDM2 zNaA*_o1mH!F7*wFJw%2D0+DUnGV{=?V(^s=oN?GoHDCnh8LXPW#3ZrafQMDE1%Z@m z%lIGydo9f#2ZKvneFk;1e_%j6$rv=z;@mld%z$>s(m95mY*PM^N4Cw(%)slch%@&# zy1=-x?mF>k1oixoAnAu{H1NQ&Z2#OGjH&%IQQ^a!TS=(Iyh0Wq8XJ!zlRyJQ6GZT? z`%7ZcWo646h`s_WTi%+-Q2+Te6A*5F6t8+VnqWIXN4r;4bTpA#f(6S4f~pMnTvSw) z;BhED%6naDnL?nOSOJ*cJM6%0=CkTLH;=P#S$ms)^kdRSc+APYW(Wb%hTBqeE=+uW zMVt7y2Q2sO)I;NE)~irfYrVx@G`$Ia|M2K;baD=_S(=Lu4hNn3kFiR-X${F{^=i`j zYJb(dtI}nhe=!&;Qxz0m>`HA%IrMn_mxedc^1*#eH0nizB3>a3V`9SUPmM6$EuA#~ z^z`&4b>G2fad)5o?P|qmsvYQrDc64PNm5dhEpy*L^x}2T|Iv%3(xWx%vCCT^pyAx8 zo2mu4d3aOg4mnr@CI-B;F~Mac?ibDg01+V>th2$A z;TC7Uk-@>6xats5XHTbwxi5p=%o^A4P4v_mEO=9#?>=`ywT`!%0hun;?8=UgJd`Y#vPNtnmuskW{9}^B zw_*-ErSI;{{4n1#5=I#{P}Qnok47dYh6CjSN3$@>c}o)#33Qmdh0RSxaqGIVMRD{@ z!q~+~29nI)38Aww!#yV~n)Zw{219QD_C$XL0|s z%M)V6@j&sH2V5g$z45&C+aF3_j=E(rAG$z?tC{}H`L;(+j)U;6@lxJJi`fQts%w5g z#X{8}gDXWSrig=_Z+WsAsFm_+3D{{>Wo6R4tgKNJO@+HLF)7YP`bIMvr$YEeQ`26X zxkI`-fo^F0`uq)OLFX@uDcv_RHnsxMg92B9tztoVqu;!j*r_6}W~Sx?MQ94Nz2%`Q zdi#NUX|MJDwx^S3?z#jDhGn12rYQu!eXFD6lzb1Oep@*ei^90CH|W{0NAlH)r|w6o zgs8KK>L&t+fHq6+ZeARFWC9VQ0f~(fst0#*{Ltk^_X{uq{BPnCLgpteQ)Nj z=t5|3SfXN`xJ$Nu_Yw}CPh7vz+5879YFr^Z;Ty7TR=mF7}NuhnuN zqhY#@1H=t&9Z%o&c7~^%Z!2S`G}rzMmclYm)?axnTq>FGwkPDv*DlgRKe)L3a$#~_ z`O&!p6vwIye&mGatMHG`D{*C%8qov7vbZpL4;c(mM#AR!{r$aw7fY1^ za&QfM2#Xvrj*yT3(crVMO_@m}EDU(r`Hu#V%C$*OuAJi99{z3kTRd^`@xh42K?u8J2I)Jp>fyd3xt#;h*i&x zUOnp!&zSR(A?lEdN>DzPx~||_8B;k5{s8dC;-8U3R~OHKeU8;vTGNqJwZLP+f2~4` z{|Nq`rv8Ki4Dw$AGR6czIBPsuq4#R>DcQW~`w2IGbfgoiJyH1wA71ONgdO|Z#lV?M zVS44y<(0*ua7MAScRmO;i45O420fC7g(U>(T}U81VAe<=8`y43qt}h!o*r)81z$z& zoHc&5frybnl}5SQN~oA_ZW4gm&~Bc~`%@EPQ)*ULO2mvFhE_+2i9$Q8pDJGuBa|Lw zBnXN_q;L^=<}big^&^#9^HeqZiWKx4a_|Gs>B_AHa>t27KMsJ&0jD)hotyvF=IsoR z3327po(u;{N$&3h12^DddH(qpM?`QS_=lmPshToqrx86Ei3-bK!;MlLA)M!iQRGBy z-_j8-Hp(qwbL3p;;Kx0*j{a_zQ$}-WUl8o%4NTAgR~dX4F9uslur7=(SIR} zHXf7v$ir(yvJ2FZQ$&OsbS0+P@)qv`=T z(eNH>0GelgeqSvOI}tUQD-!j#CV1BjSfVAkr8~z1&U03Uf_G*efCN9~+HS|I4ur%p z<^^SG8-Bbs4uTbtEj|Hb5P1Nev>Tk~s_+|E93VpwUhWg65T11W;~?>myvU`3xE(@i z^TRe()8DEPM#9b5#p$HgfPs8`X(UE?X;GcXNgWc}&g~F?#F72fBk5omc4Tmqh!2vv za4G(w^7U2WvZZkWpw%bPHg)2vBa#Q5jTrS5Po3Hc?Q8(*At8wWr6^!%qn%9t0ht+Tb%jlwSw#uAd^#3_VS zi#u=`$Q4;i1@rLt_a_q6@ZQt#NhLlR$`x_%Ahb->Kr2)Yx5>P&r$VXZi0?7R1+-uR zv!SqfuCFct?4|sz{Kiz-T0Z+hY;?G8MC{E!AVAghR4}w&dJ~4T#z_6+$lPH#V7!N) zUv1n)94=p{lhHjp#PP|Ys3H>Ky)?ELOitA_>IB>qDWUDr1;lYDUK=7XAX+Ixsk-=N z8$L-rWZ&73C}b_P>XtGukF=)!y8@`?RZKTA#Ua!5G&OZ22{d_Ncz9EQe3JJXF66d2 zowPIp#AXF}8Wa*zUA{IaEND_l4R++7b;g`nS+stJ?yJzS5kRg$!}~ZNuzj~$w|$1R z_v)Mh_TE;pv+q7GvlZ|wQOC3im#=UEIRzj@2qBvuIF|-wLQjr^hK7^*@Wp*Z5Af#M zyEg=L0Jm|_x4|)U1{mJfcjMB@cu^(NzB$6+(B+S5{}$VbzvQ2h@mGm%XHx;S_cr?EjYEnyekAaD|nNG zs7Re_EFW`VEyOZAq1z8a>x?LF7gbePC-Pvs2xaid5rc7;x1n9b&s+aZYpa0Ls-E!2 ztkc#KPeh15A_(9-?9AK_pXwNp*P${#B)Fi)w4PR?kBf;307W%CbA}scpxz7J$l|9i z)(zSLcn#dh7XZ7TfMEtO1pRnpzfyx2iWA|PLD9@X08)NAHeYZ8tGhU!o<$-dD^i6D zHn;r!^&SLC(ffF1rv?Uy;v=K4>s?e-G}==j3>4;v+FJ49!>REoet%A7`Y7B6rb>8t zc?SRu!E$tO>0f!MHZ`}Pp|t}L)VB|M;7iT61|Z{daZaN8st0@on8k4~Hc z7yOMAVXXT>wre1ua=J>!V5;DScz`?^0&6Jlbju~7p*x@r9%8SC6%2e{pJQErJAn+L zsv$fk@YYBDMt2$p2K}c;Gv$+fp(P;|zUQR2?KD<`h>#&yd9>Gi*&(edO`M428XGfr zW|@bBPaY?~f!qRVx3JkJ(w8^asKBU?A^IxL&MhYP>XVk6YML$=(m>^_^A9?Ibj1L@ zb4{k=5h&dcE(6VH!w`a?w+-**ZZYd*#1cwRGjU2@=%#U*n3(t@_xAiuK_)Ww$CE}( z@ehzKpTh)B8c`GVT%6|OIKBP{Wo_5|{5%)XTAZV1I`Ra9AkrOEmB>AODfKWI&%J#J zB7TzAz8Wxxr$S2Us4-$_Z?y1x1?F6VeFWQvjaH_XzJT7_i|^9$Ssd8v+5l}i7@$qn zR3``Wx-k6Eze--pc{aJss1IN%kI@xU%0A#}K*h2P3bsxU_S8qo=6}b+0uC%9`;ljy zo(Ywo-d&g&DayV-=(Rf6g_B2tILl2)7I2B?RUhUmW)-{7y&$q9@QUeBUpDx{pjV3& zlS0k`4#qy$B3oK&>OHszpdDI3B}hy141$Jxdc+Fj5ShqEf`SiY8NvjfNA!~yKS`_$ z&H^rFkoBlC;Dj^up-rTN78N9TU&FQ)F^5a*Kjm!SHdYJWY{yT1*QatwX%Ufq9_uqI zqWtkMfqOF8a3anSqBv~Gfx*Eic|+q>s8a|)i-f9|&YmRKey$XoiL$6QVtpPRtdxQn zd)lN*BoPoUh%2U4RdL<2KwECg+q&`e4haS1fBzNm4fu3Z|A21{eR;JCi}|G$7$R7jnx$u zH=#LgHZbTCEtUP(44QpFUGjQ$1h*eO;2eUD8;EhD{;@Hmw4s!zPw7~6px7#AnU!8K zZUS`?aq6!SEnl;>e!sZ5=n|@+gnO_c;<6ZRAtxs%ik*O0$<3P^KoWL;HZ!)Lzuid` zlh?1sNypHMk>l6`l^*sG8=Sxc<}jAa|bhpNED1>R$;cjoQE*g}3do3<6+k2HDfRKzDOY()~Yw}N83z*VkcqHAnK08IEFJQI}y>^PDMq9 zW@C-&g(qlaDcvl`=&%e&NTg=$r-Iz-RTDAZ>B_daR8uzp^*POnk zfJQz;PGXC||Kf-j0W9d<*8rw)EBlDkYS;EG#=Ye2Y;+GWFOdVBo_4Z<%fiF634M`} zIO3)4wj<)YP;+KR+M)^+3LoHZ&-pL_bJv&}8ENy5L4%ppAbY z@=0os_|cxW3xCAyd=C&cp`wN^gO@(qZ`}}iya{p``1)MdAe6+_Q6^Dx#-(CrH1-sBOS17K<*4K}E$OT92AZ^ zVv7xW9vc)m$B%jgVyAe0xZ_$>%;{c_DIjw)*vt(L4adNj53#Gi^>*Q5`w-3T$H2^d z8x({10c5s`mPke-%zW6(A4{%Z-n4bAHQImf__V!B>Fgc0<;F-e-DimjYAIDn&4ri@ z8}P^As=k;Dl~ZFDnUCh?4~UO9%IUMZ|KP#zPH$a)Zxi1CS}*RqzW|TeK`5Y*D01xD z_+$*`eeM($m=Y%ttr~qBK4wOZV+Bx8BqWHDasF_;=&YxYE|J(Zdtq|WglYniKl|mSB)D+QDbC8e+GursSb&&qh zBfTHH7mI7~y7Y83^MJOApw0gM`-vnH6pj{1;jXE)CrkT?h{Vduiu@3vT)#ik*KQb+ z@6kg>%yAMS5A3fiQ@w1U4~198XbI1tq(mA)ek#Ok6rgB{z*L1xk=t%8K53wT>eMNx zt5;6|QUE;1o7&}*f#{L1=@I=!*Fuh zF6z;vF!UUovuBBsL(~Yr@Ni9xC?n$l%B74>)HKV!gG?ceQeRc31BeGNCKz0WnB8GK zbU`=LOMQIxJCXJ$E=$mZ6=aU#Y46Wta9GIq_%*x@`mYE&AXG(82?<8XE4N}|=m|Lh z4&5NC7S0pX_t-)=!!ynOk$d=`udDx?+r zM@J3EJ;dpVz_aSdhcA6GJYRxD z4>x94tn2RVpK}WYw9VCRy}61PPUPbO3Z3JbZOg{tW26LjrI${si6I1ySwb?RR1$<9 zp20>EQDp&z=-elvm2S`IJCGThJ7K`^AM;OtY2TUFOdA4OjpFKrAc3eZ_&c3Ov9;lw&_YXVp zBde|m`l<+Pk3vQc!{0e@V7Zpbs5Ku+Yp;L77R>QlzUqt=7}+sI&CUS0J?9{@n(^aB zu0LW4a0KkO8wi~iK_6OqavCP4{XllSxOYBa&>HaMw^vFq03Cw;9|A-ejEE1#xpU_t zBO>7@7a-oMi8OTPPKx-19XCov^gn)_Z zDObDPYB5Q!;QxtOH?TJk{|}t|=YVLr+n&X?>R zgpKv(+KrLy`{*c$>2f4|$8|JzX8qqE{A?x4^YJ9DyNiSl+0OemETDZeb^Mb`zpcp- zTa@w*GK}?ZUKoZ-!gB+gf=JHm#97k*=Pa?R1?-7h?>EL;T6>6<5@rwLp=M^LfIQ9B z^ZxyN-sdNJiP_>&l#X&!@aq5C;;@E)D-@AmAOZf{+WfbL{@-8s@b8mB{|%#IfJk4R zC-^^v5A9)BxFBw*llR5#ti-S75+*UW7GMZO0SjAOy-^uMW8*HVL zT2o(dy*NEUIC=PT2hf@wP#oBCZa0(2ISC8k>R3&T4-r)jd{})>^e4YA~I+` zGCBF)w{0U5vvvO;-4bD|1Q`#8-9je5sMnYJ${gs(ww4s8j^EvX`tg`TR6xLHq&kzz zpJ*^N6A}$!N7cYbx z;FJ05t0)lNI7AF&|NT`Iqzc0R1iab-aIQ=YbKvAV=Y11{sA83MaDy*$3FyVd%%+S1 zF*eE*|MI0EbOoYiV1CyZgF}#R{i%szazYqFkd+Clw1Sh92oflJTpMi}SXoW18t|Se zSq^J7)BklZb(kr8b@qJ~LU%-p4FrjRQqZ@F@OIhqPa=oHfgE}Tbgj_EMYl9{Au&WT zKohE~o{ZW$2FU-FVtOHZ65x*f??OHvo&qJO8iqngbJuh2jSxq4VhlJT32D4W4I`%6SBK7-;5Aa0?R~p{Fr2s}Hkq{`x0;!usj^W!fMELZf8_OdU1m6Fj3uZY=v4Msl zw(`o#{XJKli#sTS1!uCYl#?UYc_NgZl5aS~Vr2caZPUAll49C=p*i zfz1$z91a0H(HUc>cEq%yX2MDgK!G7b!H9aiIaM!)Il8Dk3~eK(HG~#b1!2t6);7gE z6Dc@sY``QI5uddcQMN4n148La`6J)KIvs&LiOhJ>EIvL04y!pmI|TEUrRj- z8uGD~h}j$Fg{BW5PF%bwsGn&P3~EGJ3J{|(ws$Tq?=2iEoA>{sVgYe+21z3re8*I} z&V`1Rb$o?QO5{Guq3Jh6n|a8O(`;4>IVK{nrA0@{tabW!z%l z>GAvbCl3eU#YIFOD{^U1 zv%9;yi%UrC%j!zk+DD9Llq61mdr@9)-qX`FJ~|rF^`m2U_H|%jAZv!v?ZPO(83>wp zRd}v=c%;|W)oG5r%*s02?PqIrTainRFZ#uc7dl>ErO9*B?BVdZc~*-~W@KjSJ2+${ zA5y31ytRJQ*2sK|3FjevtwYJPwj0Ldg{GS=#N~JTwvbDbPH+#C7(*jA{{Q-iH6}*e zz09EuZ#LhJGzTTEy|kgBqp$f#l2g?{HU_RkzMkkUj8ZTfNVt=TFWDg_)3}iCoM<2u lF;01^lJkH>N?qAfAUb(`A0x{Nd|4GqRq2#sro6??{|9?gO}PL7 literal 18185 zcmc({XINF)wk^6q6a^$IISYuOfaHvlGl+;v7Rfp1q-4n;B9a6IL?mYxK|qou5fBg* z$x6;hetl}4s(tp|_kHiYANN-IS>=+o=A2{n(R=HywZ6jCRprj(P~xCasPhW)(i$if zh8YTliF@`8yuxd$cOCw7#z;v{8g+vF`?5Ya9)+SuDM;VcbWd6S>ZPmcaxAenY`^}3 zTMui1($VGC1)3J+az0F6KB_^@3&y-X4oyWBwcVd(KbkOC*yOOXD_p&;!CH=6p2XbZ zdU`qYQf%`MkJ$&DQmn2BRNpE=;{BL#yzcJ3?(W4s_wH#1o{&C|@agbA?_QzRtQaN* zOd_Ilt#T`vp`ow&f_aEy{mFZ!r7?{JNr=vcPAW??(FgO~qKc5cbO9%5IW{E)FTQhd zWv8N|f-AX)<86#6O-s^inlk|yaZESknBLwmJCl@@RDk)#n*WlR7>!~!@xjh=e4fUJ zw67!CjTwANNy(Q3KV#Cd+(gICnaEnS>}T zgvX4L5#xGFSSZ%}+do57W)_PYWi2f7#!addLPO8$`fLw5CNf|Z3XuqPmYQ@GyDVze zblI~jC33WG_DOKMQAmC-Jrf&0I5fn-z|i#B^=Whz-MMq;Ugzh>AEc|0ugD z4>4}fr~3u#7bWH~t~S9BgbrD@u1&U-7CUIAY|oAwDXysxT9*q7x%k&^f}bobLX0FtBD2O&Q*nXY318&s!rB> zZZBx)B_t$#T-?4_@5z^$nMwYU;~iX2URoLpb|5Z39`-iu<45(^Lkpz4+)H?J-wLv; ztI18vDAdHZFKDt|RAz~9Y0KGhxE~+$x_a7M{gyiI*r?Bzq`T0Mu3=C6Oyv^u0 zN1;xiKJ9w)_~puEcal843d38id?Ff}NQgo_YC*#L_wSFCTiniVcNi=Umd(1^=zF9s z>NeL+L5_C@-NtYLn~W8omKIfEH4JOmVp%cu?$N2U1O!!9cyiaQl#}_-H#Ie#J%7HH zZ&){Ax;^@mh)D9}5+(#Laj15ItfeJeX=&+8b=G3bA+`ugJ{;jx)n}e?_iSuzF$oE$ zvo*rrzPSxQ_xS2Qoho`u@NOa5JF1?^Tc8sNto@n zo1AAPc<+*hxv-)Kg+B=N-F zfJ~;$LV|;fOGHJ58zlLtu1<7xAuKAY?MsCf5fKqaw#Mij|I*$PHLOmPv8k!iJAVvT zR@NIbGN)Zv#x2|~3(E0{FW|ww;lq*`GG4lbyzBenkcV(8J~jbuxfNc47H)X!r-h6m z%hX%k{+nXy724Mzwu?QtEpwOKb?keR-X^i3j~%4y)q%GAH}{0im@)V(F<;3}K%|pLIxG)h<7aDt_3G zpTzD!aOhF-KIuOv@c(6rndtQ!RA!__+*YK0eCi=%1sxuGGchrB=mm2@8dfc}pOj<> z*vl_!z(nCua7)iAYQK>16DQ@+Wp$%y{ysY z-)op98g_n+e{^*8bz$MN3~k2w&3H5_lLbl{ z{wXQcR}C7dA)RboSUM9$ClQrw*FbSs--8(`kV2^HpE=1WR2}m(k3fmV0L#4sEi7#8tel)P7#J8R|1V#(SrZiR zT_t_3$##E%RL{dhsJXdWxPG}K_EM@Ykqc=epZq-}evX77nUjXMl6I@~-D;POqzodu zB&+L;hTplKpKh^dVYpwQg@o|&;U20Ndp)S^VSFc6q-@LmO_{6rORGcMo-^PH0^8Xm*nIgO2diJSXVOZ?*FgG6ZsH=EVj60SXCE!VylOh6ZPzs!_@i|gagVOu0s zY)lL)QudNulC47i&{SEUxD{W(&h~bYR(?Vr+rnA1-We?@H&E1zAz*8i9M~Nk9LyKr zUsZ@BBqO^lCF6V@&x}~Z#Dv+=(b15L+`4QIb{*xfnj2rnTXg{n#p~CszxMaPq-}0* z%V=t9hO03%!MQ${wTE%DUO)O)mh5P+SEY7AXmqrktgLJ}`?-s-%hVPN&!L1}_j<+@ zrbLN3EyF6UKehF9pnB>FySjk^!S}-}&X?8Fq)(2IObR2uG(+A={4voe!Ap7m@bK{a z{5&>nf*~n+OHxNT6AMdbMh3?D^XKK2m7k)i7f@>1m!j9VhYhmI%QaWH13#C)!a$kz zrOEjEHbe}CaxyYv-Zk*4xOy=6g2yAmr0dy(#m@zfi8pDDe}2k#Ki-=+85MwaxxTQl z5EB#QPb1>mp@-w)FB49hQCO&2dF0gd7m)Zb?DF5x#Xm2WBDK8Rv~1kuY^ynMDbGt1 zC=d3>t|~0?d0&TnOnH!n*JLZPn-C|{lKuAN?pb2Jz<&Up+m#s^$ZAEO2aD-YMn*=~ z1_J3afa@MEf2jx!4fWT^dzwE;3aJ>1e1)QhV*o69WRr`cLo9^L@;L@69bfj>({TB76zFa8yjx@ z=zpD;*90luq^O+)(q@MY1lL?&`ozMXe!b@?pX$AP2PeGZ<(G4|cN8?QCrXc2hX6;nds^hunISHA6c?rSBv ztUAIM)oE<$#9~*Wy-b;VEh8hNqod=;j^MWlsEv$K+MfYzNt>Fo#Kpz^IVUmCo|(Fd zO}9ms`S@*yC}x*>U3C=Yup-3J!x8Wjvb>*FT1uRMx5&1{_+!GU1V{^K&z>zlI1rwO z9Kf-cyL2HY2d1*WE_9e#Xd7+qM$0)&DICj}c2$jg`XSf@`vfKPBt9OOt<#fFcE*UT%l zHSgYixH;DYD;isn^Y}65(}aYZd76xn6lG*&M9D`~>O$x}A|SvpPIhk$Y830zLLD`$dl*KgOq`<+Bqs zF1csFTE8oNsQZIuWyE0Lh)?86lVLI6Ywa@A^V~d8;q6>qD+d-GNc96H2Nj_DN*fz9 zL62cv5O9=za+!$<3ySjI-d=%kiI$dDW^pkg{22fz_ni@!6ruRL=;A#!9iHO3o}evH zpJcJ?)I$O-Lr2*vEF?w`AKFxql9E=wsVOfnZ`Du*VE>iR%`~NOVXVq7xliKw*EAP7 z-f{zna4?TY1>ndrxtSdfKigx^&FDd>AeA;68XDGpN^!<$=b8e2N*V_fKZ~-_i09AA zU*+UvLbAV|qij)ur>?F2#AWd_62E+WeDaEl&F{lVbg-<F3juR zyBE5)Wx>O)qv=h4{&m--drzM}J^OXi2I91%r$+`*GbSb`#4(`eQKMv=vC5md z12+q_#wxF{vc9Xd8C&|2nAL{yacTfb#{gY)4jGHJ3p#pxWp#B^zCH{Ogm5+NO605x zO6%a}=H~Fc!Nbm;em;c@-5G?RK%d zlNdJ{u@%+SLbMConuBm>Ia(iHN%%mTF8@zrp9DPH@!^9d&(^l5*mzz7bTu6}H#Rm5 z`IB#{tAAWB(e1|_HRRIW5?uy}_q=D0^np2la_rNmgO+1amX&5HD}b_tT8%8$$K~jJ z0yj1se>e+=taOb6Xu*dMA%X(+<_%j&#Qc-vPq4sEa6N|}zTuI5E`t#=&(1jJdsVhH zfV>N9<|wHpe5s-S!|hk(n|igC$o*3%4r=X%rn@*BVJ|KR>Yv!*4ySbH^GPJA77bSk zUhGcu`pKtvmiWSj!3F2qLVFoM3s|7cOvbl5RlTm)yMoFlpaFz!W@Kl_g&r8%3%H1l zlURM$i)D&=qZf39gNxhbe3qKwJZ7S&4}{{|W6&psm!XRy7j@?v?q)bS2?b`uqVqTeUtKS?GKUu&*a-HaG zizSEZ5{yUjcz@rss`1pBu!kKn45iD-U6eD|A!xM6+tmWw1tz=$l6cIT+uN}rkI70& z1uXF~GcnOar<;8+Ui=_nd7=~k4$_L0f6 zekTVL?uYB`lZ%V&Zud*&6%=kl>|Ve*-J2>BGHl>S1L^lYRLf`pu)O^IAM`TqkyzOI z>NWulEh%){02W#&TSBgTY#7&c#U-St(|s<`F*~SjXrM){jhdxDXnK5FJx>!BU(jd2 zT$dRq1Wv&X&W2x%0K3*&$qe2Zb5Dj{PP>sV?lZ%obQYJ4Lt0*5K3t6;GBPrT>D+|x z!L{S#-NuLC-#xkqi7ARkgymtj5de3g8+YzpH0?`^Yz-&7#K3?7ZEI|7tYaec1v)x9 z(T$Ev%N!4Qd3nFXa=Y*U%)M?s!lnFz_Z;MwtnmB`aL!*RL(dTgwP^~vZ>}Wek!pua z`#a095Ry+KBW2v(-9xNax3{<9E|{5_A-7jAJ|V$__l3WC^TvM6ri$VEbt1Um_wf7< z11bWYde1(>((zl5*!Q3E#|gqjo)TczeCCJufEO1Y13H3wGWjt>YNX1JF3oq}Lf5gA z*)egJG)Fb{iNw)QwY5#F6YlWbbl)$o1QK?w_AI4RE-rj?J;@<~fmq$i0tE1o5PI+y z*WDIPp{@M|VsZEa`F?%_a=%8%iq^l_7#Y&dU5 z`&&QPc6Y19=BK9vIy&SpkdjWpHYJn@Uk3!jky%?y2`KMgwLQaJcTzx02*JY-Pp`oB zc0Lyw*d>b{?C%@xZOkG~U;u%5=**0<=H-T8OT*jL^DP68FvtlyG{7mH0-Rk5M%*1?0R-B zps`T`%C??vY8^!P$@X-##8j`ysw$FplX!R@qOcmNV$5r$|zW{4oBZsZRk$5wwR zKY3Ca>wCqpz7()SfIipelI@JzA}AaarB6(FDIIo}?q9uEjPlx9T7Pky%%k#*M+IPq zb75g&&w0%7O}n2zf+TyU%%9(OJk(=zZnARBw&ilVH=~;n2QWiLchuGWi;KAq4<=69 zsO;(<73fqsQb?&cG&GFVy08P{kJhoRIc?y(mp#rb1YBWVZ{F?PV)u2U?iYNxKnBU& zzfXbie{T1kiNrj&-T{XeC2=@O00cr4EXpM}1yzW#q7C?Ppr-I3F-YCKi2I7ZYxFfFb{?E%bN{*CJl@YRO65=Za7#(Qi#7_>L%y}tmx-vP) zxeQT&k^+z)c&209RMdFP23LXyirz)m2k_$v+Kp4+@5p6lX6Aco7e_q$>OydSVJ!|o z9zoY7as)%Ij0?e)1mQ|=p=Z0QQ;El8){7vJ4_#frF2E_Bfqci{zCCnz{j-i;g%?A( z$h1fAOe_+2P`3t$ho=+n>NlkbIn8i{rF;*jvV8~4AVGmvIM6neQ6eibXr>S#tV9(7 zia+Bth@#*z{jTP>Pl7zknX(X_a&sb$+qX*`XBD3-v($7skoTr^K3w{WCIgt`;^Hz= zVMR9Ao67E{FvDmyT-XY%AeY;Ut~aDpa(?UQ(ronn)q|^i#>CTW_fVMUU{mS;CV7!jke5xClX*YS@@&2Ow z&+NptPfDCX1OquUQW?vX*P8YEwS3!?*4X6av8nk_ulAgPdF0kIPtS3B>34GEhJ;?@ z$uSyk1-B(>{1c$+2q^prqXsmZ90Uh|b~~^7tghnvY=_>~tGd-|nPb&D>9NpOe~%RS z_6}n4apTdlonzv_HC-o`s@s~Hfg&r_r_6d&Zo=sxy?XEC&(%Au7Yaz zEag`GGx*r$9qY*1L>B+Kh#Ln!wcvMGH^uqxq(E078sBPH;6VSPoGm>49x;e|y&H+7eFBD_@VLdknHZ~k2^}N``JP4o|0f ztu#TxqIVNYZR0Z|{@}G*9|A4rB;@<%o#nCE=g(Oom@uHTP*hZe_7YV#xrN#Cse>mKOLVf51&-#xUHe_81TCFXzA%>0lPLp zQGz-w_X9&hrXOL`z7yLW56F^>{-CFt3}DK+@o0x?rQyI- z_n5wU%+mn#)ul&zD_2@h4uMGdS_RE;zbtM-DDvJx703-DE9g~mn#8sqDZaU)f#OQZqY^(@;z3TUn&>)Kn)}qb3l}dw0AvaqI>-!qfV8aa z8RP&S&P$xcqN#&;zZJoR-ta^D0fXgz=jBFA!4_09=YS$ zugfcNU4n$+aZ4v9xkNA5)H64Jd#RaYPo9S+0l1H^rST}C4{+kG<*PX>sn(F zDx;O1y}dgf`o&mC#z*!)@Ei#tAt4-|2$9vgforB+sXm+nWI#w~_5aAkQDBN^QE7&% zU=JsKdc4M|bf|x_8``3gFW7~D6t-*M27yR~&wl;pjU<4~{q03$58wTiiMLAXF^!;; zpami`T6~`s?(@3y5A~X^(yrETT|FjdX6S0+`74~9A(9ygqWxH8AhESLOn`PP(I16`C*&;ZJG^z~ueAKRYutfz%i^XSo| zvv_##BPe)4&6q7W>a18;TwIU#J3NIXaS&6WGh0t=JUlHfzEV%=I_XtY1N183I?3FD zPW7Z|J;0c#Ubj<+vxx?45Hl|e3z70wS=5&%hWpZGz{if?`Sk~9`f&>E{+f<%G2|*gs70T{$8Up85k3rB0MH5XuvWK)i(Kv3WC)${0n^Y= zdtd=Oy1U;W?rn~JW#Qx`0HG28N<>QTn>RR6_TR%X(VelUsF}g-PjY>xJhs}94R8&;Fq~cJNl$5W4w(OjknAlm>Qdg%3Vi`CMg~`cDjn!}U%mGdG ze9#E#7CdyGtG6z>r(Nd<($5#~Msyam#+}2%RYQF*eqtAr;W`` z1od4K+y9ZJ0iETziSRhYHgrJCy=-E$M|D7s^PepHczeHE9;@ooOZ(Vxw4;+J7ft&K z`V_rdgT}((+969Bd;8*#0`jj;^56{V>gpz2MFR_KZf^b#+Mlr$J&#%t9`9X!M%w4I z)h`D*b@zE0KXh~F{rvnuw5@ReHZeh0X4dyCk8Rg}HsLNK^jaW(-)r!$>FTxoxi$Y8 zf*jx@aOd<~T!d^1IFylXu9FIY<)Ape>^D!j&*^gW;loRSQ4rFf*IMdJ$A5VN`1vbq zBBAAQ7N$WEE!o|9PqK!@Q^4+M=RB5@D!@tE@*cQD<>*9&6+wM2B@> ztRSuLuLpG}#|M=zbCpQvldG1#^E_!Ph+{{8=L|Fj*L;Np`1#>cZ?!!cZwEHg0Yr@H zl6G3BQSpn!!_1;DI*ps5Krh$gZNq1h^P0zyG^@H893j>F+L zDeM-j+w2vo-kVFlrKJ@NokZ?xpA&xjZT1Pj6S1kOsV_eDuy3edx)K5c0yz*;krNKk zcVV>bGW_-T)l~x6j`yvt*PkzQnS8i_N5zi^h4HP@PJ2>Wh^4i)w6Zdu_~Dw=n9an| z(UFZG?R6t8;6#FfhZ}dF{@t{t%*KT;ja3mqH*nhCmqidhCW+mV^8_kI36Lu(f)1EI z`&$kR4Jnkp27X6;a5_@?L|y2C8k2dL4nWj!X{6*VF0RzQd(Wi^F!fx9?jSh2rH$m4 zg2K6my*a9yt{;_7^Suuyn}blj2K|fY=1b8VM{WRl@MuNJllg6$0Rg4da^?na{^b-f zJFkYhzC~bYjl;x$x8VfZ4MY-{2C!tm;G42%%mS5Kk>2j#Km(=e^~ODC0{<;N zsoRS=IZAx~JQULZS$M^1!FT+G=R8p?t_r|vsG>J)Z3}PjLch;g8USnvEaTc#IH$0S z1Y$W5VP;{O0$luSYd|fvk^m9#QdyLr`$I<}b!M4%se+tJ-Xa&B~hKFi{c+?8=PyMBoM?R9&#_HRisV)j#5+ z!~nlDY9`a}6!yu2yJcZX_4VBBECVNJAOFK+Ko1BHytUii^_{YD2j|CB2-Y7 zq4c#Q>LU~ibX&=9j(4TFUz|utR#Wo=RA-0p?=V85#%9rW;V*$u0nS(M=FOXlrlC;F zRbRhZd|}IhgHljXKqReN=X5kQ2bcKx?(EFcGTL$3f4>1Oy5BqK6uy6q#~AmVt8xXtKThpa!4 z8LmH`HwQauYioxT<>ux}fe62{@bO~iH7gXtdd9qXVVS=Q)w^QxKuStV=g7y=$tm{P zvoqnXQxS1twKDImPA$1CR}3RG8S3L)U{RKwSD@Z!VD*3ovUNxt%P|Sf88voOBOX7C$l+( zw!)(rg6R*}*VmV$t}Jy6LFWih2ulZPwE6hx03$_W-|@l9F!^zWAJQhwTo!>g~@DO+0eu zzHDEE2#8Gcfl@0yvaY)i6!jm$3?#B}h~m$i2EEn%H&g@8oPS(Y#Q9dsDmRfJxp34x zx)@l@-nUxpNYf4i??|s-UvF>a0jekqUt8o2t(?PP1xDuD=4Q*wn*nQ(TgLbp7R_}Y zfZ=0&6tV4~K&3;W0s{lT=jEm~18cKHDVINlXvqa>t3&yTU5oHIXYuiE*L63Gu91cl zreBzK1O{NLozBmB#2s?UWkly|GQ8pF$c@+}C@FC&v~Aqng%(~`Tw1u5r&$?2iEyVZ zswtsyam09(yd68W0*j!N`X29@g+wAwlgki-O;QA6fuO!o3)-WQjFH^q8adhFv`%wN zZ6HWP<&miQ$CspJY93|2NBh7wHa(bjm|JRnk^Z5~W78C9CZ&!6+^@H8|HvD%M4Aj? zVM+vSX=y#v%as$hyx($bTm7InMQHjXxG;7MSH6&p-F}suJ0{uxFE*bDxc*po`Cb-# zqcqJef{Il@<@ohDiIZ39&C;b7u8Eb*zS7E%eevQ6$Rw;6aFBLBOExmDpsF%!(Ly-8 zBEO4*Mvv-yA(G7i;nodp_N;y~?xRT##50TSZC|5)@-Eba$4m-fI{BfM zkD->In`L!s9H838GkD}5r-Z<>0-Pi_ zhe$(K+Pe95?=;gm#!b0Yx-S%>AzO7hX(ON!s8XbN41g|-H{YAu0$7KJKgWJ@>Gh_R zNWgrIYvW~pqSV#A$?55bizSn1o8b&b3DK4DxZ_*wdKr-rsY9J+kP3dOmM)G@b-OyL zjJ>aYYs*Pqub(72w0C00=|AQ-7#7f>LKJOLYxM!Uq&*S zjEF=zkF-cgd6>xddltvLa#7Sx$gP7?*_1JjQ}q_k(!0;jsyS%Fk~z3@vK>cT96!c| zhN^F#xIiJ-v`AdR6>wrxB=XbUeLs`=urujW|E@uHWQg-S%f48-4c4v%lZuzTQeU2^I;UK7~xY zp&H&ILwb6IQ)f=poqD=X0R_^sFNdIO>NLVN~5q)5rjpGBmLFis>tQ1MH8M`DTS~z ztG>_n9S~u#p`j)Re0U7KD^|_s4*FMT7Bf zHN=45!92Z8llbeB)G6zpy4cEU8WgpRX z91|Y`^v*@ky|7w?9XEuQUC?uj6|rvtgX4cbLH;c49KynZ$`M%m2m(oW4n&Ez45^S} z*JW+dosow~kW#V5zWwHR;)8r<v zpIsWH*92PMXz0xyV9arV2X%lbL`cJ5a4gmUiWxyO1BTq!1qBeK8<+?K2OWa_-fZG@ z&3sxsI)(pwih>rxP$AU&-L_!G8BMq!0Z4|(!y!ciF2fSc)7cAZ zFKi?7sEBNb_?AAsQm}q4tr`ni4nB&Qvu+LZ_*c6Gu%ggbFhxL_q*jwS;uYVUApv4@ zs&=ukCH>^kj9-&6@!D?ePH2nzXN2HgzB(skQ zb80curkW!72+^Vh#_dlb2fRbCR|cL$9@1Pm=`~3JRtRN}5Xqn_iy@H$sY_rB1SzAH z@tW$bPfD@r=>!G_1~p2xtZ=#II3`6eR#D!ze*?mrqc9FBy-{|Kz z=A?2|9)d?<WSMAM^X(eEM!}up)4D*GxN>DY%W# z4q8^=vN=W_9qdknIM@n#XT2Ghv$|D=g$%K7f+_Sb>t^Nri!UMkKBC|@kb&LLZQoj7 zZ+dc(eGLu+Hn0k<$f3|7tE&Y2!xR#fp+uKN7Y=`d>A=lB1ffT+>er0~T@?CkmhKb$ zb08P2ox~vgXUbvmpg62zMDfl@9^8mC9PJr!u5p2%%+AhMAPtu(y?0eZMkeU#vu7+e-|A{wR@tvyiRGnKN!;}U zZPfzc=_hDTn6fpl*o;@-dQ()CsG25vWqWmEf>aA6${|i%H+~Sp6f)GyaZG|F86qio zWLGw7XHwn1#UeI|o+O_3>Bslu;HvSJ_-DbgB#(Lp&Is4WKBE%(s9*1PL2gw7cR(~! zsVyMtHH?fhXI57y7^}U3J%mJ1KXyR;sNei4DCgQiW$EeZ#=MlX9DTOXB5D-r*S`YS zn*yl&j)~J3Kz)30k(3mCarLcE(AX46wKdGdDFNYp=4oQ$B`~A?v0M9u+b}6KgFy-y zuelhX4;J7*0oZQ6?fr)fq?eM>OH57UBHlZj%s=fAnbvI3|ed2gMIsSd>3# z?qK$!V7+z?=~LO**-LD{3SYQzLD0Gp(RQGykBNpdDG)=;kEog6aA5Gqa;eV{&_*c4 zvoy8O`<=`JQOafUi3zBvdu<<)jqU9OqdnIbZ=lhM9Df~v2sRDhMocixmCUIgfL zDn&m0+S|(ju02uDHK{wnEl}9JQ32;MnV0}1Rw4%5VqFF>>6)osK10i0xHrCUuITlMk)`GWDg*U zxbJ)wgR%mbg+2}$NeNtW(7kgf$YLNTqpptHYj;IPSvg{yx#mJ5U+4>HqY<)g9X=PK zLfQb!MF16vd_J5f7za9qTKZCf3nx9HM*ARD$mvX?uH!k>cgW}tKbSY8G=a|oRsJ0m zSfsQ-yv=ZQ&VoSq3_*sVWpwDB@yI~(3@Eg2`@W)^ST{G^Rouippr)G?2Bu_}l-#No zrvOvUFM#9F(2xz(-6D>?JUL4F?~`D^jr%hR;O7~u8>{M&&abJgBsDF&zrrm_+LBbK z0b3Q0_C}w&Wyzo1163#lm}SU`aP%LpYYH=R8dYe6?;9_?6*EE6WOp}NndJf**+T#X zs;{G7Om`>M1$P=hmdq#?lh$T5k2dG~?}p(DQZ*P?DuThC^FI#@KoBDb&h#%{O*X5) z&_VY;PgoEb=Tu(~S&r3tmfS7U=P1gyxRO;fXW-@%7LWqc>xE27L66%cIxqeTuf=Q zj;^jUJ>Iy~)JX8!*C-LknIC0~fnHjtD);p(G*#dxxdp)k+6|)95s0q&hqF5qWNszy zXo8LCG)=}PCQX(VAM|KFD8QW(nUjr!0z-|(&?O-dBI1}T zs*7O`?8YmA?;7e3=GP1Hz#xYTZ z#Kf4Xsv)2aIo1!iz)Tg#$GVes=+!{q2KT4oFnO=FHw*w8pc`}RX=yTdE--*4x*{)c zxCEXK)HCQkm-l`9_l2TC<|Pf!9tvo>$^n*_#aG$c6?@(Tj=`5G&xd{P12*l(PC&9T z9XveEzqq7v@$dp+-@y(9X~VSVMG)xJMj%5#!v?m}3M;y$dF8LICg(SV;Vi&R0&seg z>gt3bxZ8QzK(m1I2j&I5mWU#tQ)xZWJy`W!$gBqdH#d2JR(l(3>Qm6t4W* z1bBb9_TKNG`^)rB8h(2Bn^)1>c@FeL0?WHD1w7<{qV0-WD41NJ9R$XF$BmmZ z5}fbWcbq^h4WCWJJ&4kMJJ%aEaHoe#>NFPCJEM~FUrE(Hr)7v^slEVRF_>Ca)MOX~ zAt&tp6;Wni07eC;36nzHE0|tW$m(|%{04cL2^H6B^i!iAB~0B|Gd`|+<=VBL6(8QA zdm0*yLjYnz@M+=zM}(&%=F(UF<_MG-t+d#u^+G(vQM$iY0pD=!+uhRCWU}C;MDGk> z`Im!=!r@a?59Zm0$2*=^tFoa7hu37_BL>7}b-+fA=K_!fdL!59602bj#D4=}4Zb^Y z?Sw`|SeNtwK85jCFkst^K@B#9#>jQK>((^NeEr;IsBqv=S*BHkc_Ud!|2pHWFyAnP zqS?Nu50c@vt(5FM>K)ZIDr7%hm87q}4h;s>!a&fDxo1Nj zHi-LtmR45K`3+~&4uVhnrnk2!obFpXI=E${aQyanSqt=x+@sJsTtZ=S1^=kiD zk9OHy4v&SiuwGT0D-14sL`HcM!6t>QSWPtepn7+M8rFV$vk5H!_GTkgJ#@NOd6HC3 z8!zKsOV3pysv<(B4Q}XUF;URKOU)_1z65~uU*?AYne6#L`(g*~@^}piPS8{)K^y^8 zPF%2oBe`U!f=S^TE!Zi!wd8#%}^P=288>|Bn^o>7U6H3#L);wi)#7ruucHLRlz zDQK8SiRt5~31bi4*VIIjm0P~?vehUSePN#yh}Ti5*ELEnPhfcc7Op5E>luWMMdsP{ z-&9ss_DIB&BmZv>hZvH3Wl@46bKeLd*rk8pQ+cg%vQ>}K15hvj9(@1*Kc`3wGgFco z>LUns1;%X~TPql2NK3;Hl59e&#@oB^+H42{hKJVkUq=ngZIa={Ex~%xwm#Z{FAB&( zz83%t^li}6gnGw$tlND0;w>{^4zm84Fsz&hpwbU+A{hP~`<&fl zS{89fI1x0;#zsGM(ZRt1Fm$zlrVKr(>-Aw0ker%20_LPh7ki+C8L4r)EE`RGKD_lY z!c0O8(|W0MiHp;MCu6zc+sBXozka!sX-TIdCf)eo+8-wT>_0iMl^>2B%;JLR_eXbn z2gt(Y%}CATfB=W1?ctX8+-*NMFy15PY|yQqWpFQ?h4qQj$U{JZVzwkK6iljUy}kDc zfEdbOHp`*{-v?0@flqLJx=5__?5f4)$`^zee|9xCgRzzz!55LT4{;Y*PF7EjB#;g& z=Shkk@I`u_kuxo~e|BWu`LBMh$0Fw2I3UivLyDbN+{+t%!rRn z$FBY&P{oKe2-@?9|LvS20Sx?o|NA=+1Z7~5c)9QIK}A6|m_{mW*tZ1l11XFN>lu!g znt&%ff80b};3~LQ@3`oc{Xl4UIK?1ExVR)00FnmqCY7O1FC?G~q4KFqss|se+`04YL|5yNVoaY^6RlG&En0(4gXiFBJHJS6v4Hm@3!oj*H#u zKO1v1@bHiTntQ~g0Apd2;A81FbxO2aECg*if>w+Y#>MWTT?>}BJHiCqnH`DX8#3VT z0d+fDQGocX7dc`Kg6~wY9U8d<_YbG0(i0?g z1l5c##FD_4aFl}c1({%?r+=w4jdkXXWVS|yCvVVOv1xCZF|9N?A0&wZV}<`O!;dTQ z^&vBuK=r`D7c$glGkKAO%@?vo$h6V*>81avmC_F}z~1ArW6zO)2&YwpiVe@!H>Awac$SdVA=@ z5p>H%PR;Fm7v{gm?OV_2^)lu~?+F7V>RqNxI0_}=x)f7Gynv&&w+mhH z|1_lkC#8M;Op&w=*f;;0@v5blkZ9~d$D^r&dHPTPHPr=ns!lx|m;M+AsTq!pG53JG saK0S=ZEko5`+Jci*-dHbYe#;*dovwoUrCJNyKPVkGOE&rl7^4}AN73gtpET3