From 0a68fe16679ce8e00f433ca0337e3260d2eb4525 Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Mon, 5 Oct 2020 12:59:24 +0200 Subject: [PATCH] Automi 2020-10-05 --- .../2020-10-05 DFA - Esempi di accettazione.pdf | Bin 0 -> 37486 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Automi e Linguaggi/2020-10-05 DFA - Esempi di accettazione.pdf diff --git a/Automi e Linguaggi/2020-10-05 DFA - Esempi di accettazione.pdf b/Automi e Linguaggi/2020-10-05 DFA - Esempi di accettazione.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ffeca4b923e2de94acffc7f355445513490d0606 GIT binary patch literal 37486 zcmbTdQ>I+rIx!PIA}EUO8DgFTMAqy_M8f+t*8J zl~h4QjFyp(6^iue?)nXik)42nz|PPTiid|@%);8)#F1Xi+Q8XF#Kg$X*o0oj#MaE& zoPddinVF9d%E{T$#J~p1edAhFHtwh$w&zrhqwPGXh3Glvnk60}1N3BNtz%}oq)Vv_ zaslupxi3##Bhe(Ssw^D*BnndkY=~g&a$aEz%l??}l&NN>*Moj6)~3xwTzuv?b|t$b2nm^14jb zH-P$Gd1!^`k0#3Az*?I`xttRpME>*pyKd}Y$hmFU!*g_?*z zdWAx^g5k(7Kgf@uRl_d9c6vbtJgUVx_~3&8j4kPl(WQlJqu1EobN^VCcKLDI)6Wq|nNurQx3X zdwP-OA~S5iw@!loo7p8njYeZY!I+|{eg`SW<( z{?kqGmaN-eK>&(tF~AHVbthP+=r+=hCpX^MNHgwO{-+=#fiaj=>zUQCrKthOaj35f zsKT6uTevk*WrIVf`G-g(FO>dW_Rk~WYG1$hdA~JyC_2*J0qHEkfOfvj-z=7BP0=hR zA>godZR`_|AB*a~mK~!@-7t(xj9COsC+f$~pHVjj{lF=#t*y}K8R`{!h6MugsmCFF zcGpGlig*|p7#RtBMJD?N!|xYebT#L}g)%tuJ7tJbdImsZt4o(Qo}K`$b93yn6@^p_ zFFWWCMof5ct$ZP5OIw>jcH5{5+4{M5+IqlIiQJ-cVdu}%q`zvtr-P8yLU+3utmkay zl6;1Ui0myhu(UKD#fYO%D30(MTRnzX4kPu9c_DC;AZ+TM0o*+!j)Bq zPVG80p~@n_Pc>7JcXc%-&Rowxs9HwXS|=?F9S%_bti~m}W?EzHO*S%AN+bgq*FpO@ zBrE`9?g1b92+P|7Fe0RK9RcdZLG{%{;;AthiXbxlvk_8HD@p1A5p8RITcxInOh9aL zlA*=%3t3K2)Aeiqu_*gMPeW?H0K>|SjAPzrdytJ^#8;yVcsT226d7dR{Y=?rwt{=| zcnE@W(Xg`}By19PRz1bgYXzZiXgFw)6v+o9P*x}SvG|RdkPT4Ac)dvR7Z8Dex-rc9 z&GVU5|48n|iI7RMjqTJRg+p*4Wv!!-#9ZK&>iKI!E>3TPJ?w0-lb>e@ZUag~g-VRC z*McBbZ|T&4>`YqR{pLN`cehVA?k=`a*?tL66Dd&U@hu0QJZVp*HKfp^2fB&=)oe(Q zEE0oSsYMla%aHcqR*KJ2dN8@U>504>(zf(_T}^EH1eM&GLyPP~iL5WQ4{6Ndf2QeVe%)1qXfLD5OL%FzI=?zLWJh3?4@9NwMh)xum z77020oWV4znkRWTD`2ov)cFjYUtNNy{u@?n%#vspJ`L#&gGx7R&~)mEwwCDLb@qO9 zAFctYWtQdASHe_AqadrNF26n3g=t!doGPR~Yqo zuj?_!I-WrhxRzM#MN90)Q_f1P-fS~{da_Xma}htIzqP>A%C6Rcx}g+dE){_{OpAJ6 z1VEzGu*8{{oMkA_pUB>lDczJ&bqd%%ppa?R|B|e{8f$|JyK~G7NtLtS`K4 zI~=Qr=vdzbEB~ z4*8fMj4EEmsf>$ng3E{nN|2;Q7KPm+eeIfU1$YNl<6ekoCN=q zw3w`nG2Y}?Y0P?Azx^_2znDk8IpI@4k3Bla7X7GLUERE$d7C{?180saprAxoqWl;< zG)mW$)mG(e)m2H3&on@7Q#xDocV(+KhtBbtCUxKAQoC)9xBSn{QpY65Uo|)tWae2e zt2Pb;mViaaBX6|I=kuH?TOf2&^T;{?IxkC&+%}_!)2s9^Q0`K@Y5NvAN6Nmj3tK_s zG&jd|`m=>e=K5eAmwPD{B578gN=k2Ln?9XgdSYdpJXt**`;>~fE1t%@cE?>QT-Pwg zI&Ly`_`~Z@V7D|}*6!-1z4+8Dea(~>!FLVDnoA!afz<8M!Ev2{sZl_?gD==%P6}YT*e)nsaySV#{@Z09X#GK$xYG}F9a)X@ zZNvrH-z}Q}W2nd@7Pw7KvFq34s!Y&NsIt7>9#xMoVgIh+rqxRPyxY{4^kc9+rGi#u zzqGi!zkkY-Mc7r4a?n#^DJXO6NSu&K=Vy|QZ3{?#_!Sm_8UWA*JF;t;&n_G6H7dF< z_rvl|$~BECsZ+5D-wEhTi2Z9~l)v5|ONqw=@}eC4kIdV$ zNu#~J(^!~18@z>!&8=uvcR?|($qMJPC{B|ZV#SR^wa5dL+|3AL_}>z{P4C~zegVU( zCx)R+Y>od9i~aNUKlH}L`d?uj8z;-ZVI209ElJybZr#~dvGAfX>I6|!q(8_w*qv;> z?Io`|lCc>gZ9Vy~Z=_vg7%#lWjx~ZX^V#_gkw&!}s`ONvC~e~Jl2Cp8^WgjOeF*+n zQXfCQ_OEZB_bVPcX-Jwb?dvSGlmTEWsshDz>Sq}|yV6EpG0V-%;rHtl|IOGyCw_Gc zgX(KgU9WbS;%*N+G^9LJ0HpX-Ww0o=!Jkk}1P7oR4XU}AKa*Rv;TU%wiAs;FJxVbG*R%Gf>U4&2z(}XOJTcwhoquGy=5A02I`zt-I(02ldV+Tyn%K3vsJsW&$5?Q+-xC7pA+UJaw9hkQ-eZcliK8T715n5 zSw#?RDqp*!Q#ZMB?w$KQHw&}G&RTFu9-Q$J0@=V`5HeV08qw-Xz0PF?-f3RLRb%d` zv-7e7nKRjlKW&S$MF1g6QIt8)u=ebB3gL*-&@A&HYEt@;o4KG;q^Jnp1V^RO5bjH~ zBg-p+vyEL6sP;&voFGcPmZweEfDM0!19K&uu6&n%IdOMyVaR7m-W^8!_{dR&yjhcX z4b!clg6=n?z8N#4rvCD?YUQf#T(aaGBp?H}`ZcF~J42jzuuW-(=*Bq=nxMSiES6B5 zW%wB-Y{l2>4kvO3sfC!~0fCiYxg6!j71cyrs3#H(cEV+_KBQiNE2i}AVTzP4jQ2ef zILw?6uTR6@(}BsL9w6R;qF$gK?NjS(JgAHOcxhv=xXVNLP-EXAvRYP}Nt~$9By z124NzPVM+d$ay7_rTXmTo)s4?o7v>}3}sB6&SDxH^l)=HkTwquCrF@}5%O+8CjnJ} zR0;k*Dq*0zB20_MK~J;c(X?3k3zg9F3pMXXoC0w0Pu&V9G*eFsfz#xd7{rSlVw*X- zrgrc4BL>eYZxBg=N&-X`*y38pU#xEa*L&j@DLT=i1oE&y8~Vz%v^gLaAqD!499{&G z8pmm*Kw{&h<*Ce5b<*zHd^C)B0fS8lcJ|wJewuH8V7aVefUIx=@~nLQ6Lb(AN<9GI$t6l>Pa-m(#d&U z$VhCsL}|Ba@c8c!C>52Z51oyO$peNE_O;0ZiN$y;v~a0>tBqvfgON^dASvskHxGJb zaNsl6-=t`RHP)Xng^l+EeNj9WG8+`A2|Ct9h#trZU-W=yLl2BQpa=D1T6~~kWRM(q zpsI?b&ksm#dqLl3SQt~e&MAWyx9cU1J}x^;CU~1wE!|Z`t6beQ4XLbnm?k?~CO>MY zeFjjW1nBFLnGpbclz?koOd3W9yW_VaNVE4Lg6Ggvmp+QLv-B*CzA9rl5JlAm14Qv? z)@~V3&jqj%z*?_d%0BTa%{ywWwMo@sQLt7&JAD2F;7QnfxTC_30H5F0rvxDSvGyVEp(_@jo+wnY3zXGJwtK-(`$=Rv}_z zc4sElX;6#VK!0o+z)_YAXGyY5A%+}N2z)crcm<8X+P&CyKsonm39_R%*I9IEEB?s& zB~R*7bE!(G=mP8+NVI8XmiPv|F5)&pDObpTS?Q*M!X`DYDnRfO3)7gnU`zuh6YUe{ z_$jQ$ba!qV)U%#ggYnOXk6jo&X(iv@r;OZNOju~y{CbR5_;;Rjy70*h@s8n`MdUOV z!^srlL6<8}0z>FjP0uplxSY*aY&4lxdUCB@!!VE<@egSw#lvjke`7V+5+@<1tF20} z-;iMrARLEXxK;a4x!yI@?Y`?3NK+WW8h(J~|J+ zYd6|+kD`~V+Ai+<1`kJsrfUIrVsLX}xl z6bft>YJ}6FH`ekh^i~uu`nT%eHMXedUjZ zLJoZrxY$rp$jD*l`+csS0+zJ!+HL!Jd?pa}#?LDk|^7{7qUSeJ^xeD|6d*9>hU$ zcKXZHa*`MWL&u9YP0lVa%;9WP`b&L6C6_#W%wyk0Z4xc~5QSy>s6iUdjc>!0nPsHga)gY)WKiR-so6FoSRrrlO%Pm%Fn_34lV1dDhnX+cMjQm*_4tK(3nv5wYA(ZF# z+pqUgNO?I>Cq35WmNkv4_sBkGiJk<%6}pH4Muhb zux{xjmEmf0t8_4VCq0L)?SO_cFT=XiE^02Y6O&t~iUU}Cfg0A5ULK&mxTa6&lIzmM z=G!DTpmkrekT!dri;oT&yMM7+2iTpF_M@N)bJ2F!`vRzibpy9%IF?n3%{h1G*%B7& z*xE{LE92ls{uginz|-G>UH=m93+EC{PZWDx@*|(UEA50aJ2YH#@x!qAj!{_g) z*uDe1c2ke|@{92NL&e46OqJ*7CQ7>I-dU^=CWBAT-oL6+R>jUrQbqS}{dUg`K`m>C zENy(|al2S}Cr^f`Y@r|@_vg5^h8rr~Xi}CUfTw+*&Uu7aN1{(mfa?1>S*D~o?I6Wa z3Srg=at6S_^B?rVv*wZ|4i5^cUtGDelH&j@iw-^F&oZ=dS^}r4A10a#RdGClZ1OD9 z&fKOO0j3;P9xqQO@rDI3L;~m@l$lT#<+?a6$rXkL*9D^Ct+EIr_d?GLNpsOA-dl%Z zV8qt-AzXT3FpNZRsrZg@_??GiXp~-zN@Ng4ho~H|Cc_Z$)R>&5%ceyF9AS;I@>Yh# zf*F3$dXv(rwBBeM;9tI+d$|I7gA@RPT&XL>ZT-@#e(JR8;i;XG=BM<}KqeW%3Su-- zm@gTw)1jahr$QZf676^28v4Sf0dP`h0B=N~=E|NqliaN9#ofjsMda7%uFw_i4yW;2 zNr+skRL481D)rOp`oKdZ8_Dwuro@$V+$fVs+e|Fa2w<2|GF_;+9@o=rxHiJqG{)bb z;l}1QfhyL~$&E!Gh4qm!XMK}2waiWB0;K@n?Opii>2qRr2oBUm7#Mp)-{02#+uwfx zeA*~ul*6fv5)dse~K2NQNc%~JscF}oj z+`3~-Q3P!SJ1E%cK>1-+ug^D)OmJ&)I9boU#Ae`w;!!Yy?IkA?ia!-j2ww|9RH=LT z?k*bZ9^KE_qYe+zcSe`TmEKEGzI52#m>uJsS9Yo8@{8LFh!(Wqjews76YpXA;oV?> z(A;m}zfzk%HjQ>{xI3$aYD*&MaznZG$v`p)%AFYyg>vYTTaNlY{Or*niHx7OyuSm- z4iP$fviJOk#}UVVfcg>FPGb;ACz^V{hCWZ}D5R<5DK>SJx+?K_iM}V`QbHPt=DR2=O|`TmCd zYLgfUH-vtx2L|+a0;-QyQ4W2&!+q0HkGC?m7!o9(b(eRPs2kX98ULcQc+z0m6joA6LPT zu?1>knSF)yw^e??sj^s}To06QnHqhhTAzFWguqm=Ck-tGOAUo;!`F^uBrW1lt|o}V zI0P_T0QhmEIe$8zcmUyWwZLJXV-S0_Mu{r+EL7X-+(*CLDY-xR7e``6pFCJAFgwL)ZZOeyk7Y$`gSd~1CK{~_ON3NMl4!4yVpU*-m zpd?D~v%c9c0%#zzKU+&()Pn(p73?aw1-;nEOhcM&q+Nf=pi*O+?G$xx$f^OMCfwG6 zf_5T$i&~VlZWR1y>H%LKIBCM&^$FFDuf3pZWadi; zhrjR;^Rb*(Qvw1}t*<0}FPu*%nr+4L4-1U3z_>|l&*S6%z*Z^VX7;MCD^i^}bAexd zWyblK_PQ+mtR9b#btyT1dFSN)slf%M^23Iq;1YhBT5=@!Z{KWP^3|ExJL+UfOg78l z_?F0UijXtdRdoMc;Ucv-PoCR@Gv=V-N%J-*Y=7=Dnta(>HKy5@=?gT*rFcp09W-kt z*STJs+5YidcPFB{C*2DZ_1%GqSSC7!6Q@_4v2vz*gSo4&yA(ESCPT)}`qsCL_+n89 zp{Jb-Oj!`iXsFyw0xw!XIYsi8E(v?=_@_@p9^)pgIb8KzGelLU7F!-e^m6JUY3xgYUH{sht5(m%-D$K4-jo=TA8g>AftcVJz)z^o zEr;qZo^$L;)L@nUeDGZlIgb7s*VTw!--KS#i1Y9?CLI<2nag`VgOiVVS>u~^a}MVe z8xK5==%xxDha)v@n&{?xW#XWO#QN2oHSy>rK(}Z4BcS``Krii_uI(R#tHXC8)ap7O z38w=gREe&RhA~w28y#lq*|iG;wJvp299=5O9&{c2gzaZUkL71X&R)I+_Y*lrfFg4H z-F;0|ZKs+_UKw?jx(AQ7hznFOl7c>@lvnQ?DU|V)`jq~dlOWx{@@Vd zTQ#Ng+a=$@@Gj^-PxKCtHW*Tk{+E7C-up1`>;3%dich zY_ZFWGR03lCix2%4xUQ;I)YzU3Rvj^c$c5AI+7($zf@uNYrqjb)_}wZrLxA<{VfFLw$@P6~ks@DH0E%9tT27z{lq(B#I8HXXJy}U( zyxv`%j?M+*j|od;z&VzH43sNeh4*((d1jeQNwO7Pf=Uxm0~MY=HOF3YCF}JR3MX&o6m>{ZzT2Z+ zH*9RG)f269NpmxIcnVNO=Z0BnlIY|pl*z|8JL&eEAHjGviG4i!u`VWW2qC(>&Rvpd zpppw0f@=QQsm5HzYBQM?1K0GWaO#HXh4AlOM7c`we0t!pN z`Dl2De$8R5>q@;MpB~-%28)!A9$np^{b|ZeR5I5t%YzM%^;7vyr1&J#F@TQI1e+y6 z%F{Rr84DfQjfXtF^(h(paqslhW};*FqLqd1DT_&pP}be|(hcO}l`*P_aZyd_N;D#W ze#-=&Y~K<5K##kRXZ_MU;)Bc4jnP3X(&QCEW>3**meh~aRG`XwPW=huv)NrTjIcGQ z)N^`P&P^g(svVAKo2;Mje(xSnjm>zpDi5~I$iVXHFa^@wjp!2hKZn>kZoQALI78Ri zf}k-;WqI7_qnCH+ChH?{x!2ZVX-PQ1p)m%yh48!SG{iaZ4=M1H+eX2yq*l2K-@qJ1 zLiccwrhjcr>oLj0zqK>~&um#RA9zui-eO=vfBk0kUhZ+#X{(2U?%-zZ4_gYSLrEq| zf}86KAp;ewk+wPE*j&F;n_Y@p=2 z`P%JLAu*&~FfPkvid|JZ<4){bpcJuOm(y6y&9JPIkzceE%xft`3KZ>7OxiZ-Gn3O; zI7bG#+WpA<*U3ELx~N#%DiC5AitXwLZB2!alYBVo=r`xlcA-KP-hy|96P!H-I&Tvt zDt=L1`Ou)~t|!AU&J=kWSjJP-#9M(^$;U&Df>^9q#)Uj>#MaYCPD}P&jbRFfi^Z-v z$Lxpg+&DhXpj+TzV20ZXJJHLG>V%vk;Zj6RttLp&~{#4Q@o^7nK zQuK(bozP+d(cuPTzkV`p`mkAXQvSEY#j45V;(wAbP(55k9^k?R~_f1Lg0nN3s2y0Qf$R&#jj?{tDxQZOq&lX>qSt*h4x8AdAg|J zal)~`;il__*vsA9d;u(kOsc3W*xJN2u+d7-G&RiB#zl$6as3|)<8(B>d1C3VdLbHw z&J%5UG($q|*h~grY|Q3kpGB2EWW~~H2^TJ6rET}3re!8g<8^snU4uHghg3R-8M<%* zO!usS9V+o0rYQ7Vw`rY{kan4lelFGqOC?ahQ5u+@56OIvLDBZw`fm4Bn2j@L`VptByA-Q9<2u-qv_#a#q=ZLJ&n zi%X?V~}8fbPTFC7h7gu z$r!;uu9Q;yXRMb$xj*lxo|!@z&1dOD z#!iZ6(w+^VW%0?BYGbF05GsU#3ELWexLEC1u4xr|+muYp4sZ^^_yPBVUWWNFFfH(b z3IQZPQ=5>eQ>)C05u`SSC%KRH%|2;LTl^+}?&Y`nZHAzoe`c+OJd(3|6+hS#a&%;{ zPy87sV^15y%)&lnTZp+ldx$&Zg7va2=P}^K3zCIP={tfJtwG3>BU=I6MR=rv)eEe; z85LFPg)HGzOXb9}$);id314$dXWu*o_xf0c-B5*H{?^MoKd)XoXV8Y~3P^gr9OFs1 zeJ>eNjx|@%Ee7a?^dkiY_CIjCK~&S&;{sW!GM}f{jvoM6OXpcBYFL;OKo;Au3kwhS zo;ktt3zROXh1*@@Xp*LsL-${V&`5$ayIkrgYd|{8;`WOL;pjyuW@T5gz>-QGYUb-Z z%`kCsR9PMS<#sgyIiIH7t=06O=6+uJl$XvvSy9A(Oyi)IOU)8#2%CDnKUbhOA9nt= zr5Q5xBCbRkZ7CB-Li0Ii+;=Ejt(dfu_{}6FM8cBZ^8B^DWhL=G*C8kGM-6;+qvrt& zysKZ-@q{V<^(wd&b23%|*U>nk@O;Hv=}%iMcv#gxKzRm}$v*7gc}%;XfH;+$9XD+e zyPsHlaovZD8teOlQ{?XL``>KD!uDUW5hugHqLEI*gl!N5Lg+2e2#&G}sx*)`g3^IN zNOH3ZBs{>204=H!Cdb{&bD-ndzzh4KpIFmdai?k^{hnV%#7eusET}Svd{rR?E}XWz z0Z857T;br|2;;mr6z!$B(*Xyg z3=X#J6-&cBNi6bIh*1)=%g@r=;*x_U^bR$1Nfsf$nT%SA^P?-WYqcqm_MVf5VA*3prmgoHatV?sC~0YNxC zj+R>6hDw)F&B4ZB4wtKq1+GI5FSt5r_~~!Ws2?6wQ7121BQJ=NQp`0> zVk!KdFXB?8RF98q&}xz*QI}ItnG_vDq=-^g%iq$t6f3$LHLDlGQ&A=URDQ5ht5q&v zprR@rLvr(JTb3`|snP0n=NG>@GuMpKY3x28(d6s;+1Rpc(`T?!8{o1o8w<>|_a7LFhy^br2w(*Q9B z{Ma+yhmrFMe`Fl$PnwioK8?$!&j@v*K)S&<03)pal)+vJbJ_MU-2UdJ5y{*Z_wEAL zGzV*b86U8rNgk0p)KaWh#NcI62MZ~ekm1v9c$_=(0ke(XNBVl9n3OoeAZlle^+PHv zD^0q$yH_-jrw{IYnj21p2mSWz`uHUGKL}KSzg@bQi}0r*ifWRilgy-Zceq>;>A!|Z zSLa?EFs@L>x8;H{|J<1vqltc#>k6U(h989fn2$2BYJphe~BARI5qWmf{?5-56iC+!F4$UBN_T>7qO#Ia*T3q5Pd`0~7jS8g?g1Vx(V3-e6_d{fGBA?OdC7;|gLwQ4BgCN( zf~y5H_jjcA@87A$uz|&4;(THS>|IC>nShgEL@cNO{@ zt29OfFrH0Iwk~V^v6?+>^oxLdwwFDDB^oyX?fo&@u6+rNfkT#7e4VN#?+6OHdt|n+ zaU8s-d*U3@{>*W!-h+Wq*4jNfuei`vn^$H)drzGogYG)1Uj0x|0`x9G&)QhNXV~13 zSZHtgs<0ED9z;{>CU&#{OUC|29|Y~|YrJmOZ~OKiNPY+(>USF2dq>%>d=kWWW*x@1 ze}Qwl`RdBBO{UQVyi;QrBbtYu3jCIE(*aq|f_n1-tF31&YsETsGkb@t{ZO-91o4Bf zdR+T}o%NmUvvX;DJubju>quT2BcufRIR>ylplhcdrU&ea;8$%8Wq4qmoSr8gi3lzM zj-i^p7tqQQ)FAlmgQ{xMR#C{ia^=JwOi2)<7Siy3$rII|I5-<7sE4WR_N}`C?J)=W ze;G?9;3|lpMP!?eVdXR;{U$~Blg)VasZZjT3pCX~5oY_s*}*qvY_S(7nVYnd`?hN1 z`vJ`{8Fs{tyX4#1biV<512)O;5|GC@hL4Q%9I2sc;lk!u^y4#+`{Rt35G0Sp&LX%cB9=r#6`0Ae z-(U$6rF6;HjV*3c3c;;0=saq7?^U9gw1W{je7nskST^3l?F- zP#@B0V;x{$3w>?8H$V!sb*gHq*RRpSQP(}5Q|G*GUT(7|;p-tg(xRcNCzMVt&B)u- z)$v|AgO+vAkF#s+gtITWZXrL6War+z9h3h8Iq&$jhlU*Z7#lnaCQTNA18?vXWn^Lw zN&D=Y0cN*|_B50_>f*IgXrbg!O5X8z1Q10B~5xhD|`Xyr5UM+ z$vU;Pf>@8Q4anPobL8wuoXNc%P~_VSjDhn^Vmfzu+;flDa_Ig5pYcWr6@)!zVgmnB zWt+g_ue+!?&L~TeX^iepbE|e?a0}kF)(cZ_#~5-pXY##uOENpLuVsAXa6{rWvr0&_ zr8}!-XRScw<=ng9>^+Az?w}qE? zCWDVZ_vQ3m(aw|0xB1SGh5tn5KOFx5U99-;gAO_hvQ|S3Fg>4YXKPHMIVhuWgbWK{ zJmzYdPv9J_NH9@0IH&P`yK6I^Yl1@fx00TPsQivaz;jh?jROEZY?Ft^X7q?$IL(9_ za8gtCCKFSN970u1_UMd63cj5WFP}AByL`L1HaR~2gFlew=wb18ocwH4DE3FCZ3-wL z{yQrk%6HILy~)@1_*VS71*@k1+dY;_B^f!NBZ#s9Vv|fUQ@QApRrZcTh3KXNN(`z( zimRl8ML*AMVykv@!oheC%Z#m~3HPf}M-&ewihp)nIc-aJ#A=o%Aw0j5c9 z)Bm?xtc?E;sKmy=_OF0yWUOyspl@t^bngs%2XnvR`U2Ysa4);)_xjEC)D-a?#xewt zIf~yX!+(_S7v40^#K6#v0FnUzE_kE^h)@AVk`5Dsp^kycDMhsb3lsee0~4M72u&5m zw8$)l!ji~}3PVdf@-UqU6OzAluvFN%gaX?3)r|z&H@x)+G(PEBAlS** zR?tGyG9l2;SISZm4|onAOa=xf5Jm`Q5QatuCK`qYMizz~)5g#F?ps~A^^1Jfag*mtLWv^Wd6nu)~r!(jK5VAW8qt?oLjYxjeomBxrn=avq|2j?OATD3KhK5&5b|1 zrD@Z~bv-SVc$>cK)lKiLm*aXaFpj;9?p$}%r@*pz;3?iV z%=Y!h-*)IjKbDEKZKK*2F8_Ml%C}m#$%pUo^+RiVclH|vMQ3GQnIJ70N40u!CSjzv z`cwaP-UP?5w6V-(>2ln}xWVS!Ypus1y>GkuI-foov@9m-I z2=(#RWfxh*Y<8p5^kq6pJQnxDcl16->wDC0V3&stOiVFL)09q~)#~tP{Km5bRqZeB z`r^#JVOvaxcUxo9w_WXScVCEal;je-vzsfr!&khS*8O%4YgkQDH)msSVas}NS7+8? z8#cDydLaJarruNeoNoVXw*!_JR_)b}H2J;#4!*1~wb-Z;Z$9|bS34qrF0E&t|4_02 zoxjY+_^&0Z6EABO{6GIt@2E~&N|B0!odko060}#X)t3fwjF>eFNeG7ne!C=eUT1{N zvoa@9>{MBm2}vPmn-n{RAqI(qdxfe)h@Lp)k_RBe!`H-6sk1Uk?&QfXs2RuP!HJvB5LgR4W>aulI3`M-ZxVaEJ--~ zb163C%~dOX97W9nl8V6&_r6GKK*6~HyK=~Z|#rs4pP9}ryM(+FWT4IA-r)BzC~##6)<`+4(#CHfmlCxk_XC$HO;qB zxA1;a?p6OmNtXYIz0bk?Z@#@~oSuxb8OCT|T^TR0p%#dBXv9l4Mp|-sO9+ODD2`5l zc{#97D|8HMtc{wK6{mU?N2G?$1h$+YC501h42G;uH1>~VG`53sw*oVreN>`3i(-+n zsoJO9_nKi9`p(xw?`;y#?4x0^Dsgm!@8xKY-m0CZt(|qF#$%WY?H^z43A|;BsDwrk zYO<6;=1KAkQiy`z$cL{ohFNszhc6azQy0bs{pkyMm#G=svQ>i?Rn6)ZsIFOjsP-H> zNrtv$$kvOCO2>jh%NjJk$4Ef8s3IM6X9>Fb%XmlWthp;IhbScphB_z7M8BEIlmY#@ zgF9DsZ@|-!Mn}T4RBfT8H9|1B@EW0>Ivu1|uI|FS-i~A5YreWZWh7vsqB<3rX5!#w z8YUy^+KCuN7I@TrqCe3x5>-MN74z)oNc1B`ZzYv75txmidyx-zU}n;PnV`h+Fu{=# z!uZbOUd9fV1Z|TOhiEDS^s5hm-g|_<5yfpMnd}4WkAjF&HV4 zuQ-ubK-Lg+HuuWd_Rc(3@{^T3o@|_;`Z{Lf$)C81$LHM6SZIkx@E$P^1(~-d463|(`bUWrA>tX%Wx;&g^omjkL<(5F&d;6$X@1$b_41%ch=a>Oy8n!k zP`;;>he86&a|9t>%9u$nzMYO84I7EA3zx<)I9ZQA>#tfrzrwA7xqQBA@;r}O>eE_> zZ_=&m>M-MW1G4Ye&0E!VKr4U4?<0!mIB%>$ZH@^w?Q`EDk?qrM@jEa}p8RrhfbkE0 zD=cK2hia|?VdoQeXIxU*J=}zPa~UT~XIOQte!*in@^;O+gME-FAD&3v0j!qF9(R-d zb#x-uG^^e;eQ0h#KQ?3F`+=dmNHyWn)UrN9vK#*qK#M`1;`rh13Y^%Oh;|@>tXLA{ z7@VDH6o(UHNDoHT^^omj$^FQ8zIUoytA(GW+?mTzy(*LZoD;|_@d|6n2&{NN7tFDx zDp|~eT2i6h=6P`5=l*$fWBLz!^1r*_&%yq0-7R6@ABPC$ABQL;E~hktM7cl$qN0C} zqd7~Ax<*_AMi`3_%KmJV94TV_Nb^+Fj$wa zXL7*Vd$;J#iEs@MKlk#5Havu{i}dX6?(BL+r{X`yDhdlgz_n$^7Anx@0aM-0Vze;j zCgQ;w@LiwGh{cNA8t%y2UeYpOv%vNgoa<_}qf`sUa}@9-W_TJ&Esl=YK~cZtGL8!^ z_miOzQg{^6y+Wj)U2-+0?3ABnj|OHD4WkS!a$;!c`Of*k4nq@HQNnXKQ(02bK7suY zLkmuAwichd{M!l7{A9xM;l+fukrsHXXxH=@-FsmR=7P;u&8*ypw6}L8R?3XyDLlAw z;Prpd_+MsW|9g9gk&)wHHCIW}kwi7r{GabRYyX*dsK zTYnO=X%XfD67C0@tXGv2ZjJI8Hb$53B<-@; z2?}%dN@#aMKlOO*#{WHi{d&YnM1X=!B&p)^lFQ}a{uZ+mH=9*7F(_MqYqmPA+lo<& zC2Pk@^r{Kwrr3LdJl-@5@spN=3H{i8ZMt&OJwTQzN(G*i83UNg;Lq#v!CqR6bTTJaq1l8)&~w%Jqk2d_$v3R_c_ z_+>krue!D*j*S(!t_VAMlI$ZmfbnvPig>%A(GoLgGBU}abFp}ZQI*@LUBjv+w%g|@ ze8#j&4U^`Xtm$NXgKML-$@2Ua6WR#R2<%*$tSE)Aj)}p!;rZiW!ICLD+R(Cdh-ExI zrhPyuFd2ze1elS8Bs>n1`JB|JIImseDG3lMoUgDjm;jPcQ97IOCXwZws)B9;A~?_% zaO%C%5t1dB)NenYzzrfs8XY-aX2U=`K@T}*bHG%(zpxO>C(;uyX)_MA96F@fVybc8 zya6L-D%IK3gOhfQ=qrGxQr@9zqHsy;O#J+LeH}uC@Fb@PX~M1$bbUD-{Y!vTTTT@) zmQ#Lfi1wafirk}~6PV6ktx3^L8!ym8JzQanYFBL-Gw7del{gb)b7(z-f?;=;68)%m zY+9!>0dUp$mr{)zgkp?mdIFu016OYA>+w=g@qE;qg9R2byj}QbuSB%>0WT=i=P_W8 zLxB#Q17$C+b(b%PrMSiIX(@@C$gANxxR6S%?(czA7nl#_-p$W!p6NW#M%-|m0<3}r z<;SbP9l|~BSJl^)H}P)xU8E*T`F@5|Nq8Ng?$>z0i?T{~9DGT8fr(ri$^4xgQ1X7R z1mQpFl!%yV;6B5&k^_4EgK+*8Tz39j+%N-#=X01Q@gY8}JCH7Y`~C*aFc5rCR;IgM z_z0R6MXwqR)tnvEWoXzHm%=?~I5k0N9oXhj4|S5>d*RwKOi1W({l4Z>U35t_P;}^Y;um>j9%jVHXr-T2>1`?81IB& z@ay2!^pQ(>ta#BH1dm}Z$L=WX-duM`t(4hGgQ@xJUmoA-Hb?w+^z9~^KTUrJ zkI?>TET!Tn-`l(c$`9DfJ2;{f;6RU2e05y~s2YQwsn_a7j!l>Xcj^2zD_VnlF+oNI zcTYBETWKKO*A0(6IPTvU7t;_?!b?##9$~_yLS@iiZD(mh~@=_Wxyk zpZVWfl#arHZ7=~s&*MMLTWTQ!pM@7Kd00yezGZ-Gy#(_F;DyLuW6TjTr-5DL#ObW|B5OlgfHdvf+oEi-X;W%A8zC!WUD6K4+g zv{nhx;8F@D<3BKiOYfRC!rwtr=w1|6M>>z$2-HrhLb%ohpca8INCpJl~WA{S0f5 zU{T{DZaNj!L^WJu(o_`CqOVF=N~TOq#!VXn31R1j!X;!u z9bpCLO129M&4>WeWnkdoEP-hKr+_dJ{Z7-a+fVvcvK4~y4svCX zEYI$Y9N5`0J+EWPyHddNqs$Zl%B}Ud_yWyF|5R{$#{pYL<11jGTgEgsP!0b#?>|w! z6>(GO-q`slA&|$J)T?k8lm{+uy?x)4AF0=e(;hT`)#M85r(uGLp7jGOmNYGmb#*6CdV%3~bK@(Kw48``@4oiMUHK4^q7?v|Xf3q<(x# zOG7}@qLo9KG{x{A+c72`fSBg@Y8O@zpP*OC%yx}J`1v#p6}`1r$?U!z?ATl1kxa8{ zq8}{~AbD&s>1P5-XJTU|5CLuDu646bLk8zNb8QNpM>59M5MWU^h=!=Pe+@ub`9>%y zVI=Fw$V=~?7xKqB3o09{ff%hRL;v|)T0{QG@g}qyABt2%dU4pjG*uMxU~w`3wfb0u zODJO3Qse3o@4{Us{|;c5V1@AyL4o1_At*31|1Bu|Z@CM`#li6gdhT29imLwsv3&S> zm#nAu?7)2nhaQAm8}Y4nc@Hyu!JEW-91q-P2a6^7`RzpGg}jfz;dep$iaO!-G^>U9 zA)Drj8m!It@5asNjqjeX_s2m40U2-s0TCR%`;X?0-$x*TL>fwg2uMgcV1p0<0ZD)i zY39uC_j7{ippg z6!=Bjz}iqk$t2W6#Zx8NLqo@+1aSV7i}oZVTSFGoG5CK9VAFvS4mQwDjt^6~90oOCF5MzOnBqB=k!8ZuzB2E8`}aHD z6o{XsGM8BzJRpbe7u{OyyObDByqAtM=UND>G-_+x8jGru^0T}SZ6>zjrqYR>9h;ma zl$REjMqN}St+E&FsZH$qvTnCB^bjVnk)l2OxOi ziwT)-Ywe9YGIBq`qZ zcM{7^Xa8^BwlfnCE1j{mkN3p}C2!EcK3G$g;O?l-PR27V+p-B=KL)lj@4&g> zTCPsZI-9C#3x?iOigZRZlp}9DendP1q1bP_jje|?At7|v6DH&wgWOh9f@eJ4!d*lE zz{BlD{LB(DOd23rw5(G5-bW&(C-DkRj(U|JTpyKS&5#Gf&2m_=rut2{87wx4|A4H& zv^M;=iz-Iuzs>giZ)8C{*uvd_&wL|`9_VIb)aPlWy5fDM|5YGuCm4DUPOS*new?RY z%@7?8EepzjSmYh=HtR=-A_zi+#s5!Aa{7N%lBdNYg1$BDf9c5M5fPM|VBX&f^7CfL z$rRl!vSZ9Qrlb`oBVRJbM^&yXU3ikjfb*JW|$^FFJ zl8Y6~kd05{6@K;-wTHd?g7`=xMbr6NXa9}XHOpDzmVB2G%!DIBV}rCtt^Va}pi}wY z0m=nO%?&@xP;y_R^6dsSopj}97pBjVI3u&OlhcvyyRFF{g~oNC+v3xEX*_E6hjhkZ zXXqKu)2SFI=hNZ!^{8D<%GA-$yB~5!H7pYyNNk429!4 z8i6z%TWYr`hOJp+O?`E_0Y&OJVeMhvK80^g_rWI3%z4CR)rKvtAOBcMZmRA35%BHL zSfbK=%eM``UVbJd=}pNe#M=^pH~;cy9v&EhAeN=yHc0yH?@SQS;LL(>=_7ay zQ@w}j{tv?Hzzgy0gTvPW|2M*NCL$`|A#P*doc zo}JYc=^5_smhYisX&_}_qm$`jsUaj_VyOWh9+3l|l$n(L9!j3B9w8+otDaq=p`lrl z7^hksqY-bKo0lVf)|# zOU!qa?$c~(*>EV5$y(sB8*PQSL*-6Psjv6B>=#m4tmLTH>w9-wQ^q+zWZl4)`?ZA~ zlOv11q`n}(p*8TchT&s6xMPb5<XSc+Wfx*m?byF#>wofC)EU52t2a*8 z6`arydzqH}|9Ey-{!#(`zagzpdej-xkC`Y&pjEEv{(M>7*wk{5HTeBQpXI(f0NCAK zW)|^Jnu3AjkJr6F`)D~!!fqMo=S2L$0nCJBd}ip4|h1K?@Y;UxN_VO8qaSHIcPyeL12YS^nZH{r8c^__r|izX|LP3KkB|e*O{0`Id?C zM`%jmdri!a;#Xnct3c3BFy$T`TM_Q<|DrH$2>;=uZwjmVrm!Cf5#hhlRMFAdKu*=! z6&#?%$-@;Sz8%s3?_AN4y9c}k3o~i+pVLYakN+zby!%cCvmH2CzK*xXpCJY5zo5Tr z)Ep1*FGDvzuTC3{fMZDQQPU6dV1n!W6p)G#b#sZqlnp-atv7uk%y#~BV?~>)aG$Zvg=?U zsr5sKQF?EiBKvF34rlGE;N(2Lh1sDhy}J*nzujJw^6<`$wF?&>;D>r;A=!Tf59?o! z!+#DQ2D-l`Fj}*67T>L!KekmB=Yv1rPBPE+ z{Cktv-EO4+rNcJ?-F0QgB12bLH`q_7&xq-=n5tjg#FQ$-hF_C$=yCCIK)jK$>w3%K zY~4j4?VVV%=ejj>3ovX3YUt2_M5p?v<AvB+VZn(6ZJS2Qj!%>Jn)wL zyv?o9UMP>@?i|{FvIm0o1QnM+BggZvh7-v1t>)yRD%J~G0V<}%^M|d+lhRL$vYo&* z92EEqy8TqzlJ79HQhX(oc~3^tqf2x!@TTj)S>i2fNV8#O5fGr+f3a#-1j z@%ag2ah?(QMAL4S0sIf&;4jtMfAI~N|6bh2&6o%9!V7JEgn3z#@u^H$1L6~6luk1e z5##DQN(MHM4sz~am3t&}D$25Ym|RY>?h(7Cl{*_=Mqifu3oq7}EjnJ|w&FYIT9jj5 z*0uf-mN?XKI@oR=>BQ=i&m>?>yk7 z%6f`z)nwud#}B4^VrAPB`7pFeZ|$0X^K_nOI#JeISz{v`7rQ|V!gMMSK4i1AJZCj8 ze@(j-P>ZErNX!^c&q@(mx$lQ9ea*gsr(vFni?;Mm=B4miy418>gjuDsj zYsb$M9-pWcxkMpPy2dYj!PZ0f&bCdkY1TbYBed+mnArNW;p%2OVsKIyXSQ9vYN8BB zT_&IT%_PY*%ccCdAy0s3T9X*cG!P%0?z;sO54%Y3h@r;I^HVBw|;kLX?QLl!=r7~OSc`f>)XL5JF zZF23*_3jTciN}dn4*tx;#kk^*vX}Oz+F-8f}JMI_DD`)fdi!7J=0e>_*B`wbm#sJS+zs^eqmrvF|t=>;7 z!v?g(|I{Ytp&|L%=MjQ__(ww6*};;BCJE$WWI@PP#1Mf9RnwU*GY)qT*82gP=s5xD z2cqT)@^=8&Y=ZW?OUjDcPVIv*6Dx01mWZkdlG&eP{LY|rPa+l+_LpA=VUdv20e(Po z|9K?nqA&^Q1T z9fZTyb@*g;C5D=Dj6g`MUcLhvUCzZL<75qQ-8R z_tGK_UA-Y4&C(S}eXQmn87q-WHZ{Edpks3aNdL{K{rqSl-5-uEy6s}m{UuiJu3&NS z>%&>N{y0}bogHg@0^&D=c7n7jtUSaQUaQcQRh+ViHC(%hs0>fAu~wJ&CFY#NM6KDy zi&E&xNwa}O%<{nY-Uj|YTqVne*Y)yJD}yW&1n+7@1K8Ci?MuvI1WnJ=0U>)K4K14z zmD_51gUY#_$8cP2fjy-(Nko5-ydl=Jv|@QS4WlpVhdu|dZ4LtRyGePs89P67Fb{ivgwb*u291ILX4!>? zrk~64_n#t#8a^d&HJ?WoNSHWPW+qRwT%WhHEOYj#CtoR>_^@j`du-Wa^Xk0HV8<84 z=M%)A$%u*6J6p0=M?%3FG3=j{NPZDAkB>aLVV@d;x29%+BL$D*WtH#W(Z(V=+>E{M zfxJNvG&E=OajaB)3QL|8fRBAq$?C8mRwUm<-rVO3d&vSS-faRu4Ge*|*|+*Fct}7K zOBTEI<@P4nM`+4oUSI!fA*OBIXCw}}N7A^Gnu%?ImrA47@I`;>699Q%CUB6Xh>qAx zog7)lqD0n*d_6l%SF+cPyumlO6xd4K(;Z=eP)=_3B0;Wd;iS|M+hBbD?NvdJtkiw9 z|9F;kr*y8!V(&p6#;AZv9otBBM*ghHDl(5BZIw5$kl5U;BkA@opR_|+q7V%_wHyc# zdeG2EI2kL3aQPT$b_?wUi1X>4pIJokCD0058@0wMv+LIoFA*KPcs^5qanad_&+8tz zaPrUWC~zo|L;UcVABM=cbO^sKd3$52LT2~X|T`)|MbC__C4I{lp`0fLrxad^xH!`Iy;+nBt*gq;hN4{vbc6LiqLRJIZoA*L?gt z>&}+>y(D)?nA9z@1*R4*cvWyCpVnA&oa#4&VgpgPyrMN(HM~XS8hzu=&vLLG{pQ!R z_zx25%LUdEf5Mm?n-L3_)%0b|v&pK%;+LxYgGy$%pPLVvX9qyzCNWR}ZA!L-!8DtZ5esx`z>5DsBfWGGwRXw*#KHZI^+{OOKXRx+3q3?TaVJ0uVU&=O zVVwHKo{la)o^?eWwP9BBN<$XQ8t~#me^oCw8|Dk6hTA}Md9WncD=Q_d>`+y<8eC=s zw60g+PmHER<)Vq}a0a54?sxfW1PMM=%R#U0pe(>|HNz-L=lUM(Q*MCGKwJ$W`VlPa zsh-MNswvToh{>MIylcu3S1lw#rgBCMBKgZkzXF%mx_%JpatZ6#HQ8^Kvp+a<#aoS! zn=?2&uCA?xE=|YF1FT|(30Ln`^ZRZn{+Nu52M^nL#q}>z_X+Cw!G1I8t?LBE2*u=> zfb9n3s~H@+RMWQp3&0>4)-frb7WxCF8Ac>T+g-(pyi>MqR8cbN3$KrO6Zk#o^)Wk! zBj~riUhpQ;@)@lz@avUEpGp<8RW#nSzYe`(+FCPwe2D{+b5vN1>T@Y%nWxY8LA(A9 z2acR~6Zq)%edy72I(UUrq3?BtR=>2dOB9Ms7@MmfF~d}n4tF6pK&4|Qk#yS>*7=}^ z%z?S4;gU6cQh_pL>XkuNs$fhD(c!yE&B?L7gaF)#7GGvgub|sk3D{7(uyYHHmUbLdUdPlLGnrzBnm9Yw$LKxBxb<4>P*v=Morwvvq+h_tcEFQ z;i0|$oi{rJ%$C)sXLSnW7R3n-N8AikaW(fC@&e`1tv2gb^ty`7^{kyYcMse&>`Erk zA))*fuL$<9-_@i zna6L3-jOf~DhLBc9^woO^>x=deKW`S3ERw`55VGTS5PvS(E%i(d#a(bT^5SMsYF$* zqwONviU<(&w%nSB_S!9rGt@)c5RqXRIIg)t$8m4|;QME&?M)xhtkbJAp8c5yCSesh z>-_8WaG7mUK3vtzx<>aTvFW1RK~qVmY(L5G1*QjIQU$3eCB`QL^!zEbl@prcv;FRD zM)1Za5*8PMGzwcgf%kvD!>Il0(p)8eQ)&2MMcR?2-t#Cv6mzi3iS#v~CmPOzrVo{l z>c!wom%FYs_xuXjm(%C`)l7x4Rhy)pC`hk&Xp199^G;b}LiKamLxRVb=M=ZOKaT6k za*C!D2vZT0S2s7uyDFnP1BsLB9vKy(m`4p?TM(SJKb(IF%--qfVn`+jw|>p?);vB#u;=4u;gYdai1!T4nh+in5lP z-kF6m>8hqw<7pWXvxbpV;VzYR_SF7b+4pP(!~?=VJ3lC1=^YQ zMisMp1vCr13_Fj>qJ+hj4IyIVLn8u)$Anx&unH1%l-M6h^wUY$X6Ee5^%?nwcY{|n z&Y)~1U-IS^K1;AHe5MPqL}KVyXkBEgY~H**`qxDRq`PS4vtzL0Gw2qUwtU=Ue$n-z zAtGmv%RD?~Gp}rdUi)>v<6ji13aHClLRU$J?4!QiN_f2(1u>qOLG$#)bf4YNtTs=y z>oMRKMQ8x)T5c0gSXKx>j z^?D{zLZ>xRI%e6}yVG~A=-0va@JkYD69b0uAl8NQ z>I2lIsESwMDI@6p4x0W+*N=jq6heX!>WEH2V))pQ^}9G=-hr?-C_;$gXT_N4NT`shkixfKhWA6o8#UFS*j^U?R{*;+dfA$8WDq8+4UJ_J;$<$&d6oCg8O>Z4j2dsoFgaQPc87& zaWC|=>_ohSS@Q%IA;eSQsO{<0)9Pu!4vdkJFGzLg?hsI)>6W2-_Ty2*zbA)DyG+S> zg@_e?s;D+|t(7b`nlLXoUGjK=DHxU8UUQ!RCOd!WhST;Z`?IY$+3FnzT%!`xqnaZm zbDi*n9bBat6GqZUi`DxGW}5Z*yc7f@96yc*y;TB7(}Cpc3I;b z#O8K0GUeJJLrA3!w0yqOwQQe_&#|VLoX=r#A}UAHehdEw3eHbGEx46cuD}#vYNK#k z_9{7F6xJrkT!C5LAN_sz*(_zq0H+H&e=@tW!P#yHiR&npV540UvxY0Ir|;*qicEgj zyo)`mI!zK2?FI=wvpU-n41$;?;5@iBLPjjSE|85zRHXN269$H&I)aSk1}794{W7j4 z>PWDMQym*-z3B*B%c__q_`ENVm`gyk(@$k32WENzd*lxu(Pxi#MlZ-XXWIdo7i@TQ zzoiQ6KL}YjTqVJuf|9ZN@|lshbzzWAM|I(i)RJ0b+jc_Tn%mphai6)l&`b^c8|pr3 zb!GxjRWVUMZdlHJ?@yn!5X70D?!I>ca^&stj4r4y3r?&J3pjsJQ%n+7Uxew7*fn|$ zYkZ7=Qi@i5n_7G}pW@K+FletobNmWc014R#c}v88ZOiGh$#7LHqp^b1+Aa->S)!@x zLPN}@0p3iru&J17*z?LbE35cRQZsviZ}L7uZtiN9m6pt>=<%;`sIISdY3BMFr1aCn z7&USVV@tjn7@8ke!!DN6;sf+ZiIJVH>6%adVIH<*sBdf7RC_@J%ud?K%>n^oVXz(&2E{7%5;dvrBxL8b;O%^t3RRK@@c2%`GD+-szC5O8 zjv)b;k_ia~>0+Z&+?neAe4XClM7iiuzL>v#LaD_kDY7J!$-i{9A<%QiW_ylX6c(lJ zCsKQV#^!1`A2>OdEXxE&_%aiDv6CTaWJt2mkX=ei1c+`K)BMhR{s8Zv8|0qj0mTua zbLalf+z5^n+ok99r4vBZ#N-(gMJob|C`a2b%lp2!eqi7vR;RZ9-e$M-Ni}Pi=QxW> zyLdqz(I+i)Ol*1wpA;5P`l|Jw=5-Yg6xKpl{m5=^9Hl8-BpikF67(EU#!;kH6~2K` zY7u>QZe8bG1Ee8N-h^4@%8wgBJ#xt%l~?sOGo3zbJi!764Zt%JV|<2^D?zIcre}lo z-lA~daI^>7^CZ|Ai9J-6j+;K-=^h zF?6b6{4s+ZQ2Bbb7Z7XqndtRct@uey$tRJ2)L#v>_0_{NWnc5lJ*uwJ3?xz0&f_uCfcq z0RvJwov1}>pd19v1UVB}Ab1TC!X2ITWM|hTrT}p9iQAYTe^#HR#zw*MswzP9Mr2t} zQG50jsCpJC8Y)b+VrD)&${;r*Z(|CJLuGD2vjxpxM4bEU?FSc8G>_XY z7wb$rt44vMNndn@7Zb6ng^F)RLde7Dm6n$T`<(sSq`V$GW!^EwqJ0YJtPpVhPaW^=a%^oPW^ z64-sCy9i@v4?B?6q50f6&`YQ?lth!G^yx`UXBRzbZN6NENIeHNB*f^BpO3CTgNo}> zY(XX#-{lXVC-;Q^yfXPDVAK>8Ep_9J(vVLY%FF4|2a}OwA1EcK%T4@xwEctsy3cWp z=YXTV43Y_=r7R&x~fC?;(VWR>@urQ;af5(oZFV%UC@PYXHKD!r!1c z^Sc3&7>V5~R@51@DNfrZj_3WkKQLNt345r`7o;iQrDtPt#~Gu&8i@5Apo-cy#$B6n z@@Khj=PA`5(D~B1_sV6{i&Gkkim)#-*(#A*6IQ;DiTHIrpA&s zL`wFg$@F|F(dk#OI`Oh6fNbxNNJXk{5bC~?I{$OP2!D9n^tOG2{-AR97XeVgyo!1c;Lqp439*i3boj z@Ki{9w)2Q5edKzINvHxcHym+81ZBKCWod^{|E0GLq?5!$f6$_$UeA)afFI9ta$4Hz zcA>GCmL&pM_y-Vlywt+o7$aiZZSwpzn0qq(;iBZ^d-w_==?!JfRw-DsN{Kwy|BfB2+wxWjAhvg4&Zx03Kx@#X#GR3{@-$R=>OKf@b7hiG^AomTu*gQL9QPFBKVIVuB*V= z|M2|3Xw3h&wZL~X(%+=#4mAi>#G}?M_&7cx#lhvYn|DMRtFy3e`37^P3Ja|={{?d+ z7z?}<-w;S(fVy`=O9Z(^UU)1dQvbF^EsX;#s|KYC<&MQiHj#_GESux2j;Tyv^(ix% zsoU>1UQWa;G2_pxw@n+jEgpo?jm$Vv!VeQ*Ne#}64!yfWn#IAu{4}pKBA}E@Ee;8n^Y8X4Ie01Fc_~8GkL)g(F6dgdlPh8) z=Y`6e5hwzj8kG@ts28gUoz{y%y#C@Y^DQy$AXh67R|>siZxF`LQwc7Q+wEImSJF>V zXQHqb^EEGG=9XikVVA_NQYjaXkS)D8Zy+b9quZH?B|wbF_o{Clj{Ujoa!Ib z+8)*~7Wym-mjbj;wTnHXPpmEpPU@!Ku!RTPC+qJsSDzyETX$`FSe8$SQlO)pI1@a* zrgyY_KzgY)?di?w z12o>AFVe8l--P&&pmTG%FTCZ#1V=Y*`a--6OR$>TW>^Kz!G@SVc&{@bfvVcjg8inS zCiO+X^&KVwtCCcU-o}>#MK{EF)z@2mTaUNNble-N?YH_fMpHMvx8o&iyXS!P^DywH zJjOVZojAq_Us*_*<)md^+>%0ppHwT#;hgAL@b0G9+*xPO+=)pA(Od(o?EW-FbeBW; zIu4Ns5`v=un*dKq?l;sdG%H7+|1d>r8H8XjHQtzW&(CM@%{3pjBy60)xIjZnbSZx^w06FCU4V!-I4oCN?cO#}lJobX z5waC0pv^a7@`xauusmqXRa0i;^jMkq^?PvVlVdJgltC>UuGSYs2}2-M^U){?g-U9P z%0H!~8#hB_6E?Bj1Q0^*@tts>0brzOJ$2x20MWPsk2U*?24ukC+F|ToPM+=BxVSoh zs>;hND+Tt;-e@XAU1Ccu@UCls4_OP~6Y^P$Z6LzM#Z)_58FTH{7T@tXYNcnX!PQS< zGp%aS64l%W+o>)tcwK&(Zp&QTYWBx0)w_ptCpOWU=eFX?Obt`A_Cvs#743sOhXh$i zz*RyRial+?{etXW$A!LicynIhXklYyKt{SGTeegUPB}!jE06PEQHo{4J#AT_DvGBX zB|b}S^$Mwaw>_e3%ysG`&#J5HJ4E_9IFb^~@J@v@c!Pju3%2RfOItiab|LGhl^c(U ztCh!-IvV$R`%PV$Sc;xfTXjR7J#4v>B)AsS&_doZL|bN5tiHUzf`6_7fvfbg9jJ@O zak1r>Ch62*;J1(@Iu@*4qs&_T9=oN++avGU`c>KifVq~1pK7*IKa-JZCLECWZVTGR zX(^(BkLm*7#6+H}eObLT3g-7Din~i^ALFXbjRDE%dI4m{#sc|xm)M5)vJ{@pQJr4#D?LnftV>WC3izr zSplT2l6xXc#3xpGRi`|V0OoHbz3M#14sK31QVvF7y8dbg!v3WG*YS)O%W>!hI556C+d{4n5mCOY=YRci}$<)12s#>&@BfI(zOVSkPw^&%)*;!bYLW;N8+?!+<5u zL9xZBB>z9J0 z$87vKa3~rR^6?cvvX$|gwSGK+9LCAgByD@JxA*n-AiSa+GDVg!G8O6nvjpfP!9Ss=x7DXe;V!u#0FhQ>QLzEVBgY^EwFGL0!HZ`<|`s$pS zkqp#Tj<UEFra#KoyybYVJCBJFtKLsl72p5cVnHhK4R*YE!j0G z6tAe%d{P7)S+s~S-VvccJM{f|Z>y#c_QqcJfqkE>@aR!2y1Xi0cNn97k55|o*ie!J zE#6*Rv3FUweF#Sbx%c{@I}v+@CPMhhG|;Cv4dd?ZgNw%4Df=@NDBgd%tRUz4z|vOs z;1gK72{qeFk$KNx!DHt00*u_H&f|#?WXYDP$2C@cWhM4E@n^gtrC z&F*gnN2W&NJeR}h!J3MoO4djV?%ga)#5?8^TIq7Ju*>O#sf|#%I2~0dzqDh>rM1fVJNxeaT z&cuJ70BzP(gA0@Pd@>*LItZO?Oos6dc*%3luD+ zYB+>1ziVprK*0q)?8a;K6g8XsW&z*{Ok3p)4>p2(SsC00TGRx0-n@OKW4I=xM0*$z` ztVtgpfoC8}ss_?GY??C0vTsu<(AQ*z{X#X?ZuFds^@_U#+6xypa$>mMJ#s84f4<|g zVwAQ${d>28&6v8{zgfrMNt_gPA$bc=SY{&tz(DMm2xu(x!0NH80YV$4!&hVLXy(Ka z*01n${r(J@IXzR7D~c98z98gR($z$;0GSt-3%UB{4q!hlYntmPL5u~+0s`8B)XTI zw>b6xATR+d#e8pP7@l8 z&MCPwb$f06XTQINCnLb^sKEax3TbD$gO?@Sf z$=Zs3hRS3QSmrs~n7-H)zg)PHlU*)VzAD|FFdUZ8{FgbP2@8%`SF^RpVpPQ{c=YIk z5FOoUQ?d*$Di6`sw0!+>%1K7yO#X0OsFWqfr1;LTxI6Y_E$Y7N1qk?>y$g=e%zMi) z2c=`1Gwyo-HC{lUIyE%q)216dKO8ZR;b0%)aXBkS6M+|0SScJ0G}*nXezumU_=@bD zJ=FU5rVQnTx|yh&+PU2;4wy~D!4tD#!|`QPMz{Ggfg8{y*HROjQ1TgTncY*BC1anY z(;iKGw5qD?N=+1GW;f0Kk#q~WnvuBloB7#f4yuW<5i%MPWs1h6M33L+8z!ZOew$yx zQ_V;1?=0vYQUxGRhhu(I&+b`NVEO)7Z4K4k0^uZG3@}DUt)~-0s~6c?KyW`BKk@A{ zQ=n5h$0Z)UUHJ$T#7XWD*MDz@#kc-&SI=PAXYSMp^9@#Uy$vhJjh-2yLflmph`q~%qJpta?F zs^50|dW`rjN!HqmM;KUP>+Flb!B&@nmb>khXGlg5*HKIK3=eJ8Qrq#^9P zEc(NTiz2Za_GudvnJvvq#Y#g*84bcAGOO4Z9m6`>jwT?m9K3gL#Q^SpLg3NS2LPl$ zi2Efme99b5^Wi+UclRGUM-52R0rN6=44?5VZA!Y2hpBz;MSyYhN06)+q$X9$RO!!= zMnM;n80esR>)TumIStDwis)mKsS`x(6CLoEDGnoohQjn`pxKBS4uyF6S=TNjE|Cji zn=$67i2bq)c2{$zn;aNTGu8}pO%s)@{auY^fmNK#GcvJ=_*V`kVTg7S-Xf3~^6uTWNUiLP~#MdvNXk)((BC}%5(RfH6&R_?L zpS%xBuY8#B6{E8WY)v_QQ1B@xvm#8#o1Rb#(u~yu(?X$!g-ydjIKh%5i?!WjD`sak z*HAKcJcTPs3ZaMkTJ^meLEpqWjZ=<|X{pKx(%oUIa9`lOhKBsBKDoRr#-%}v%{yG5 zJj=)x3}&mE)fyS|v+{0=EMo`y^RWIF%bJ2SC`aVwC_VFhvN56OKywCx(^D$HNYos_pE*y_Xd^-Y&)Dev;|~zCT&&Vpim2CK=GjQ5YwO#)4#JKdp0-rM zj_P#Ah3lp@vDEpka}v6&grDk2{fNTDw~?T4pv*#?vrsVUb*yO8?Sjr)-k9oyxQPoUquJ%USp4Lal?{(iCw2$kX`AMm;^X+n7nIplyCs4rk`b8^876d)B>{ex zp`aNgG#Jgwp+El{%E4C^okQ+r6aQ0!3lEFo5R4qv$IuGP9tVi@R}ne}09R1A;fM)r z%Bk%{KT%kk(;7j%0z++GY|0l(#Ds=J;sZ#w*Dc-Z?DwVG2iEiv+5D|E71|BOxt1O< z{)Hc(59yi~Tb`7DZdw$h2gkD}qhs-B>meb4?2aTn&S#S%Bd2l;f zI(;uI6TcqP1&Q$@PF8c%pKPkm4_I_ zs83lh*MV()@WY8jEj)AsmM=Ij&dsgpk2M{xSvI!6Yffc-LAk?*v;Ko@^_TX&|J)vD z{6FpSZTM;_SWi|Wo4(+F(}saAR6@Oyu;8+IH0zmv;vU?1oW;C``kIolX zWQy>lvd4w8VMuPHO5JiS2RlfBtf+eg;i;`c$<5;}lo}}ULVHP`OIq<4&c}_EZ!Sj? zlP>n1cbV~b99>vQa-{G`LVL~^(^u;WjhqAyBo51_TB!w629bgFWUoc2DBw_R5%A!G zcya*A5WLis^6*=QV-7w;hWdcSxIIWybpudP3BleTMVcXaB{s&2E>l52DYa`8Z1g4a zqG%u4Z^NMZVpoPO!2KwNv+(i5KHH9k8R8`hQ^_bKzOQO(EhtzZi}0cilvT@)F?j5H ztWK)8^E5MlRl*}KMig#xxYU^F|6WJMam*Y5^Kd7)FkF&7bCM>owkxOF9CreJ_kCLJ zHUyTwdQEAc;b3;d=~`}E8-6K2EgMmdB|qAk{*c27tmT+~mZe5|&x3XE)6U+~*&(XO zjQ1jXrhYqK82jjYjErZQlFGs!=*xF%x!B({rw*QT?ahk+D1Ocj&FJ~FODRV+7!Dy( zRpx8)o{bAyFe@hb-tS&6@v0rVzeHV0Tcl(KcX)MZ+#L~{B zt(k#WREec?XG(4aYpG0wuw)+$o($RPwPPj##ce+;9ABdgsiJq8Scz%B(*tEX*4#?K z-Fw(TwdU9Meqq%?znFrYNS0_wfB`mwfd)Gvt46%%lTS`*Awu%=ja#E49# zdF|@Og-dwp=p-X}%{{4pS?cu0xet0%TU)uRqfky}!)>3}z%Y-EFT8z6Kre}voB zzu@9cd!e{?+);HM?q{iT$VXQ+FPJpbkVrkzGxxH`;{}`y5{k+g(!1#{Le1C{@;dXl zR<5Jpyk9pCW{aZO=lTp9%U&^QM_pq{0KLey@@DIxy+1a>P0Dje=4N2)sf(7)>Sf!; zIEGu0a7SS4@)OdaaxC{cPAj8pS>l|A*=jj-t$8zw%y}a)el)mjl6GlBeZ+0}p^UHj z9@nu>rI~Pje3$$HLrIM7h}%8l46jSMFoZz7YwCz>;rwIzek5MP$NBatrpu|PB9BcW zKI?7oi|Mq*PU)J;DJPd(cJ3A@BAP>a&w_d&x|KYPLd-@?!ARl3z|J^>1#KJSdius- zBGS;(5pfd1mXdGPV3=bj^YIdkgr?wkF2Qt9c?dcrP=M4?HJbNeB3fr|C!Ko`2WC30 zWr;$qfM4UQZqsx?2RY-EN2B})m_vy&-G7XXbhLlzCi>4qF+I~?cR_tS6x+J+vbwsu zcDlMh@Flwee-O$5@cqNn{}Olq)t5~pqi?R@XhkE9$ISe_n%v&O5s!(M>AzS~PS5=J z(ar&N3x~BvgpW-fKbr;;gP&JJnUcomtWg`QV&*H~NtTx`q57hxm?9aw)a%)mnry8o zmu5@oRRcc&Axih+ zp>`n+U2f4L5Ga2JDmB|QvjO0zFtdr@Im(m2?}K(~;=;t%$!$^{Q&NjiB+&rq0%p;P zQ>#(vp}pur1i&J6bINu}>3nX!SP680h_CZHoM06d%|Zp0 zL8ricCE(35Dj;MA`sd05K#~gFx?biK*3lxwhyqXm!P`~K=-bMtfE{wqq2$Dr;qX(_ zV(TXUHU}hjFCmB7=VD0fMjS^AM|gtuMK^9IrcFIKhHb78tTRxy7y~p}gd74)lvqM zq%*p2nE_k7q-3XvY_g$JQ%0G# z|0Q)LqSYmKQ7AW6bna-&K?RzPmyu+oEE%_Vepj8W)yb6x)h;o#Qc*Ybq=e-ob55Wy zCv;gZ8qL)ZT@ncCbgcOL{&=$mu1kepJ1}t5HW=L}7=vauQj3&w%CcTFRh!zESS2BcoP&Kh^AQfmpAioX!kM zE_yY(^MiO#Pz)Fm%inI7b3M8#LnF$6V%Lb{8%FM7lMIB5iUvoUi>(vqjhM%-!nK(V^3+jObc)e~a17!0(%q`WLf6zpIHxOSv{pA- zCF*M0b~&8k(%Z^6S}D}dKJmCTbmQJR&!@^3`pT4g%MQB9S6$-6D|jTMZ)vd2nR@Es zhucx8a8c}vhiB<&9ycTAaAfVMdc3zhbfA}6uS_WG@2}q868CgAjhmV>EF#Btd%a0+ zex`}9V@_hn0fx^$$_+7KmNB0Pjj_L~F?E$hS5muQ&Wca!Il>Z0zK5U=783vU#?~J^H4c;=|&2xX|#j2Tn7q zPv9QywN6l*v#|xI`^T!qB)1oIXo9aKfbggYvmA3$eFmZ432G^~p5IsSCSA90@&e`B z2{#Xgh(YY_Q$dX7UXW1bLhcWbC0NzfETEgzI&4`h_=p_) z*skl5%~X}lq;`8}GbJuyp(76>De^aycsuA-ivPsRpVFIl2xDo@dTm%Lz$TC2*-Ko43?Qb z!lC4m7Zlip_v|{o;TvA87Q%f-aJ`#UG`-Ybi0o1JEuN$ZGS%zC4ivxfh#c1*B5QJ& z<93L>j;ib78}R{P&--Q-!v|NU8JSU{Z9Y4uepU)#yx{)+3|ld>nY=i=XonuyZ2B&6 zeecDIz2!1#XUKwAry)w@Qr>8?GZH(ARya4t?d8B4;?UFx-?ycz9 zswwF57}kZqtKK=;GL;#`)TbwQi>^1oxeyXl;vMCa;H6MomNss{+YRRJW*gIDGQ_gA zPtu7fwNqc{uboJS%LYc3ldW0B%+|&i)4YVZ(RrRKRK!}aT_M<2v((-F`(|}-D&rZ}LsEIutw!kH) ztu23E%&EAIRj_hAmr7ktNiE7?z^LnF>MqgZ~~|KE78%C-__8-b01`t`&E;T zs^ezVUN8erg8K&85u9254?kxGCjEnhjX8Am`I$g>GqF;3EAQ1<>5;fN4Xi1?zPh0F zZLRptfTlGnjv!74GnqI@xyGY8qjy2+4-0p6sTEsMOs~9(*rzY0sXnM=Ud~EKHSFi80CP^Ju$n!R43n@5 zIzfL>gMtPQS!=kvD7s}+rxho%q5aCd@9)w%gY&2z?;u0t)6!iJB3g8XI5saLB^~oLc68yUT6v7no=L zt+NBXHLV7J|4lGJadC{EHF2J5$@P4PbLy?0i;V_Y&_1 zaYmA%Kde`CpSGhm)wLheKzD$=1={x3(etPFj~mp`q{hUeqKwyp%Q+gCR@n%X28^qv z#ZxxA=hC3ca8q+;C!?oOWkd3LPBtfbb?}>9jOzxMazAQ;8huBA?M$Cy+1czRQ%>AR zr!%qcwH}xHfE=dgd0JDbNwS`?s!3T9o$TuW$)_Q{IZdpbywUl*^YN47=%NAP*tw63 z%&~76!Gd3?y=wa&2OX9|FqA`REmzl8<}4~T#N++#HhP$=@gJ#S4B;y z=wM1W{LNaMkL%Pr)C&MyBKz=i!wZ2q5w8{~^8Kz&IhGVpJ(_JyKi2_)d(qV3WR zgaffhA6R`KV6_!;N0ta&y$WrWq(5blt