From 48677c4ad8cf57cc4261d094a54a2a0f24b298a4 Mon Sep 17 00:00:00 2001 From: Florent Madelaine Date: Wed, 7 Dec 2022 17:07:32 +0100 Subject: [PATCH] Information theory (start) --- 0InformationTheory.md | 38 ++++++++++ 1InformationTheory.md | 22 ++++++ 2InformationTheory.md | 65 ++++++++++++++++++ ...nsExosCircuitBool2022-10-03-Note-09-25.pdf | Bin 0 -> 65932 bytes 4 files changed, 125 insertions(+) create mode 100644 0InformationTheory.md create mode 100644 1InformationTheory.md create mode 100644 2InformationTheory.md create mode 100644 3ComputationAndDataCorrectionsExosCircuitBool2022-10-03-Note-09-25.pdf diff --git a/0InformationTheory.md b/0InformationTheory.md new file mode 100644 index 0000000..c77f692 --- /dev/null +++ b/0InformationTheory.md @@ -0,0 +1,38 @@ +Cours de Florent. + +# Information Theory + +This is a general field of study that we could understand as covering a number of topics outlined below. + +## Database theory +In particular the relational model, where data is stored in tables (like an excel table) and that can be queried efficiently. In practice, the standard is SQL and compliant system include ORACLE, Postgresql, Mysql etc. This goes back to the seventies for the theory with mature software since the late eighties. Most websites propose content that is constructed from data stored in such a database. + +In the last 20 years, new models have arisen, in particular graph model that are better suited for data that is not necessrily regular and sometimes partial and where data is queried in a local fashion. The keyword NOSQL is used with mature system like MongoDB in use in the industry. The data is queried and stored differently. This kind of database model is used for example by software of the caisse d'allocation familiale (CAF) to search and detect for large scale fraud. + +We shall try to give the intuition behind the relational model by studying and maniulating data stored in tables in csv format. + +## Coding theory +When we store or transmit data, no system is perfect and some bits of information are incorrectly stred/retrieved or transmitted. + +The purpose of this field is to come up with coding and decoding methods that allows to detect and correct errors with a high probablilty. + +We shall provide an introduction with simple codes. + +## Compression theory +When we store or transmit data, it makes sense to try to reduce the storage space or the transmission delay. We are looking for two algorithms : one that can code a chunk of data to some smaller sized chunk of data; and, a second one that can from the compressed data reconstruct (perfectly or not) the initial larger chunk of data. + +When we can reconstruct the data, we are performing lossless compression, otherwise we speak of irreversible or lossy compression. + +For example, jpg is an image format that allows to compress information with some loss of information, but when performed adequatly the human eye can not detect the loss of information. + +We shall provide an introduction with simple methods. + +## Regular expressions. + +Regular expressions (regexp for short) provide an effective tool to define languages. +The correspondance with finite automata mean that it is possible to efficiently compile a regular expression into an automaton that recognises the corresponding language. + +On Linux this is precisely what the command grep does. + +We will explain how an automaton can be generated from a regexp and see how to use the grep command to solve riddles. + diff --git a/1InformationTheory.md b/1InformationTheory.md new file mode 100644 index 0000000..d2c1d7b --- /dev/null +++ b/1InformationTheory.md @@ -0,0 +1,22 @@ +Cours de Florent. + +# Information Theory + +## Coding theory +When we store or transmit data, no system is perfect and some bits of information are incorrectly stred/retrieved or transmitted. + +The purpose of this field is to come up with coding and decoding methods that allows to detect and correct errors with a high probablilty. + +We shall provide an introduction with simple codes. + +## Topics covered on the board + +* Binary symmetric channel +* Coding and decoding one bit to obtain arbitrary error +* example for a probability of error of 1/6 + repeating 3 times, repeating 5 times. + +This is essentially a practical version of Shannon's noisy-channel coding theorem. + +[Details here](https://en.wikipedia.org/wiki/Binary_symmetric_channel) + diff --git a/2InformationTheory.md b/2InformationTheory.md new file mode 100644 index 0000000..8121a1b --- /dev/null +++ b/2InformationTheory.md @@ -0,0 +1,65 @@ +Cours de Florent. + +# Information Theory + +## A quick introduction to regular expressions. + +Regular expressions (regexp for short) provide an effective tool to define languages. +The correspondance with finite automata mean that it is possible to efficiently compile a regular expression into an automaton that recognises the corresponding language. + +On Linux this is precisely what the command grep does. + +We will explain how an automaton can be generated from a regexp and see how to use the grep command to solve riddles. + +### Ingredients of classical regexp. + +``` +the letters of the alphabet + ++ means or +used as L1 + L2 where L1 and L2 are two languages +means a word of L1 or a word of L2. +denotes the union of the languages + +. means concatenation +used as L1.L2 +means a word of L1 followed by a word of L2 + +* means repetition 0 or more times +used as L* +means the empty word epsilon (0 repetition) or one or more words of L one after another +equivalent to epsilon + L + L.L + L.L.L + L.L.L.L + ... +``` + +### Construction : from regexp to automaton + +We allow for automaton that allow transitions labelled with epsilon. +Then we show how to do without them. + +Details on the board. + +Note that JFLAP proposes an activity for this construction. + +There is also an inverse transformation from automaton to regexp, also available on JFLAP. +This shows that languages defined by a regexp and languages recognized by a finite automaton form the same class of languages, commonly known as regular languages. + + +### grep + +We shall in fact use the extended regular expressions of grep. +Use the command egrep or grep -e. + +See the manual of grep for the syntax. + +### Some additionnal commands + +* tr to replace a character by another +* grep to search for some regular expression line by line +* wc to count words (or characters) +* sort to sort the lines of a file + +### Exercise + +Wordle. + +Demo. diff --git a/3ComputationAndDataCorrectionsExosCircuitBool2022-10-03-Note-09-25.pdf b/3ComputationAndDataCorrectionsExosCircuitBool2022-10-03-Note-09-25.pdf new file mode 100644 index 0000000000000000000000000000000000000000..35b5611257c5bbda5d9ef3e790ada89e60afaad7 GIT binary patch literal 65932 zcmdqIRZwKzwlxSOPT}r}yL;j84u!kBySux)7FM{syF=lHyL;i%eCOVC`u6`vbaeDX zKXgXMTsdV;*?T|i$T1d~f`}L$6FnO&S<^-JD=aIJ5ol*<3CqI+WRNkjHFGuxvVED9 zV1Ym&gP4W2vx(!^YHi?bB4T1>XKVt?#|P`=>}X+NB5!Asw zw(msU%Lo(zbX>~J3N){SMN>nkl8xqFsaru1dgXP7I?U;WMYXX!hr5Ae_t3vywU~b{ zJH5SJ_4I$j-oSmnpYi*>9}w2m_6Q0f^1Lpj>#X*+`j-As z@A}zonU`ZZS?${8slk80bbfx|QqG`Ws@Y%{t%m3DF{{k4&W`au2o z^4GdL@93$*=yN^mS4Xm%9aE)mlUtAMUi;%rS6jQ6@6T5L>ORX_9XVrL^7OEBlJyum)5m2~d$jr0u`E5cp>?S?Z6#{zxkEX8n=DrSpMr^M*vn-tS0+9iiEe$8V0pyBk zn!cTVG<~CY{H9^t;G*|pvTkO&$YOSe=D7pW0q>V_|F>sO6pd?J*)4%x-N?_xNB1Zz z$^ce9jsw&VZ48gNmX$rjQLoOST&jT1i7y+ePp2^aMdAMRx_Hyd9?GZ}ssAj~&zSF~ zQM`%Vn+1>#5$Vs>R1Pa-&%5}RNN#<*_?w1^A>*EDBHy^RJKe)tX7>sQEtKGQQHTu` ze;LDekP3Vy+@=5CIiPi(p)}B;T~a#%5&G2zFFj4?h}M1@6rDKzLSh-K`#mXFUOp*^a6&1yRuG8)m*aA zCeRkpnR=Z?_pk!Jmsy~BYTnGJ1?CyWyXSj>z($F~pp{#fx|ww<)hrORKwMU2JA>F8XV!?YBZ^{_(k=PJ*4Rp3EB zOtxmjnizTsZ7VZGqg9vWOKz{k!`-oVOblB>_|bjPJ)+kp^6s^q`)$BuC zM!d@}542aoMe0??h8x9PV@26*ZR`urpubk$DY|p)2p=!l(TBA}4ezQfr7d|iHQY;k zJ{OB~4>O9{u7tAjKW+OR;aji=;*7peVYIaHZny>oE?G8O=h^59oefq43i{$RRJP{XMJH%!~55i`M66>P7@UPsHV1;Y>D&Dke$A3x4)N>URQPZqiqX=tR3%FR?p^9V*w)l z?kd1>_ZBov)W=FlF2|~0uFFa^yK^}(;i)Ox;BHvc_9&+b->woO6>rVlD_=*S-D+=O zXfx?1xJjC7<;vRtjNF^ZOut0LPS_XHT-kR{#bA0Ctw#4ba5!VNGg8-_1t0ycmC9|Z zKCmuC+5DIu zBx}VoG?^Kxb?>&O2o@&h)_7Hr31-Y;pGHfka)U%vRW%X$BD6WS_4RwApOxL&I%`*b zlvbh>od4#P{^_mBc-$!C;uOSC@ebIZR%;XemeU+aG+T{A{1Ens@#gU9OEH0}#~V}> zC%#P!6%rTj9$44>WOV>wWZ&p`yNvT;Av)2?YGgg;o`%Y;I+jV=Vn zh`>u<3ApvVLKYt4dszg!M!IETg;{YV2?tr+LAYQ@*w^Aq?^*8#uC(t3?UD!Oj`{~&qFM(JI6GYk4ON@VvBxCFb(VZ6iBu-W^nTrk& zxuG7W_Exm)OUcg)9r<^_`_+Pjf*;gG485@Af~>OTetHoX?rkUWO878@u?*-k-b~aL zPb+HP+cR#gVIGZl* z@NKxP+4{u!_>iyR|4gm^`}ukOx)u6)|4R602D6e;3O!VEHZ(aPv-BEL;IKtw_|SjM zYmFj=Ng%1Q`5hEve5h7{StHx=MRQY&`H>ooQ%>MCY5bY7gCc6Kp$hnt-o zhwq;lB(+eo&b{q;_xwB3s^nta@Jg}QW5EPa;NYL-iXadwH87R7;R%B z(BH&BzqR7HFzr=$tU^KIj13?&K}#4C*IN2hYQqOLD|ShfYT+6q0tEOpRb`kCcjh|4 zq`%=>NRU%t1ull66VbVVczi(me*1>_96Ahf{REO;k3f-FmIH&vo>j?N|%pws2IhE44+@P!uFn|!KldS6?dT`;gVkaIzB z6{!5_Eg6AK%$uCKQOfBaTt+KCXyjM6mMhHJoFc7)F{u2=0pnKhp9;8;qtO54K365L-!?jZ+z_1=B<(oMKWBD-{z;}%cP;*!d7ns(o-l|~G z1fh~1UNd_TE(e&DJTP(LupUqXs)m$+xZ4P%_!Ap}8N`d-+sK;>xn6TF=&@vnAz>D{ zvSM2>UMXkF&EF)^6pc{g1{bUX57CFlM52Y@HHKO=4EPf-$ zS!wC#aN`orUqvM?Z zQXWPE-LKsGy0-ZXNhZ|6y;HOTHItrQpwQc(NKOpfx%9hn3fb&a=)oQLQDTr77zp$s zqhOgz_(L!^UHH)Zd}ORk9ss$FCoGduu|u6a2kCGYmR{2 zbb`RdW?^HnXqLIk0pTWz`&%=kYO`6q9X`MIyv$O%GzCHLkMXohKtL&lUk^+~A7pHQ>te-;$s#_F9;HgWY z$9^E0fAH*;$9caVf*f+);mUaC67VxF(@fSD}>lMqDnt-9R;I;HU<048}qgGweV zblV+Z8@J1TD;7^jDIe`CnL419BsJgo{Yed`1vOzq>?q`Na0nVF5eKT6cSNtY;Hf4N z@F+?GOI{$;j9PGUVk@84LXwx16Tfc?ZmBFMVv6Haq(zT>(P%HQO2-DQ?eTZFe;43E z^Pap4U3z`j2VWS`#;nQIKO7kZi&_JOVO z74CPPGQXLxy~r&(^j^=67QL%~UMQY5uz*4VDGv@D=rIwVrhFAa;&uR0Ws3vpVifF3 zf$;&tKF`iMTQKbS64R4{q_8HSw(6t<{P`cE<3|ChqT{0psPUsmO0h3cqxPpEdt{;x zBaKKFv0lR_My@>#!yLu5YxrnaJKSh$?r~bom*T~a%V-#(3y51pFLhnt!DbQ<&7Jkz z+X+F6gUmz=*Y^$~RMtl^K0y=_B+2wHk^W>2aPLdPp1aD#jb3jvRPq*O|Wzd=UPtLqVoeS5|gcrVfFshT_eDgITWPWjW1=u*aJK4?B+3& zcSY^vi+fu8R8nH!yoI$tn1g1Y$YHrJIbDeON{aJ|)S;w4`B0Isll@1D^8J`DQi&3R zy;0W3ArwC`RQ5Vxw8#Jd0sh!=hQC^Z4easyNHZNv#z6QlBqNH00~NJ=Ai%! z;XMU{B}m*2UL_cGbTd!Lr}jL}Q0f7(6mfx)qX+y12JwxP^8uJ{VZQ9FkK}a;dZmJA|=aX1*ecra*ZQbSLn%N>KdV+${!OKjPM495+n9|AN1RG|`;@mah^K%?s% z0_HIRY}Yrx1e66h!!^W1R-_to#$tOBljIeD0zEQ^uc$AZK8yT4#_VIff?k2)#nFh{Tajp%Y22vCB&3FdD=!X$3%M{3S@yF{K3IVl?sD* zv3vRo1+Q!`W9%7!in1dgDtI?;g~(BGF52gHBI|qy{(55f zk_0^@PYRkmnlh2b2+TLZsB*DGH^q<12Rq(A)H*5HLzK{T)-y*{NRV#)Mu1y^6m|al z6aX#?6G`mGDcH|iGIlZuK!gi;?~g93B8M1a5rV;l7F3e3B=a*T4iRVdpFH6vk{=|C z@1oS9Hr1I85Ru>dfX>5;G_<9v_^Z-hkEWV?P=7*gJI{pzJvZQ%lnBDM9H1f^qC;KI znBT8rAby`r^;l7h&dQXVDdE%u zGAe^ktzVlU2XFExKy9PCS|zwDN3;oFwz3R=Rbo!b@UctEUxG9LPtYuBctvl#{kl z3=x_k3fL6^yQJ`=(;lMndR@5!)#qH?H=WJ+{c13zHRe&H*AWd}WIo`~=e!opJX_&* z1od?kXAE&4YEj@FiPsw3-vNaO0c|w~;~@&cyxO>tNM0PF3&x70P_tDBJe%+Sp$h&5 z?CBW+{+j#aGxCt2VBKJSXPqjY3VNyEB9t$6=e-2hypf%$$K)w~BM4+@fKVEPElwsr z%6tZq5+?zYVJvc3Z=!b4B8eFSdd60@y)CG`Ybl87OKJwI3=NVDwV-zC@lMO_#>w#w zI6+pO(@x7Y1klm_xquAdUCs#bg`@8UG)ixZz83S$lnNCG!(l{~lHmK@LqjY-s5S{k z>ZbfTq5^9q{N_POeL%|4+(Dr!-JdyNYZb)ED+nUt01ELIppj@u{-uz;6Rj}d#F3kE za*u!^OV}tneF76aU;}W& zNY8$P(&DbPD_~p?C4hySKlT?@^7mS7yuW-e?@xhXkVz##1-3(YI2>d=xcMz;hUl!~ zke>>G0MZe9@)Ws*vgj{%h8eSQW9Su96f~KmfZcYbc=7XCG$g~=*K3MR=ybFc>gpSe z#ZbWRe4xOJL>^PyXhRnWPb+J{4x1fFE$CLf!104T{C5Gwa9liok6;J{B&3!UkI|nY zSF`md!M%y#yJm8UA}j~7V#)D#(g6x;61ZgL^ihS5n4$h+dC2I|gUPj_JAmEHA#`_k zaFy5Kb@~BfE8`fHO{8igZK4anjj>8Qwiplcpco}w19b$#;D81d1L*ezVq`5-Mn?cF zH8^lK5*G|C6Qc0@CF+eaqGgZ~cRUDmfL^$68VsDpWxzYM@Iq9~o}{|OkI^Z#uHt== z{X~S)1;k!gaBr;)p??Ftmq=eZ91x;Fsinw3|q}WR2V2Uvmc66Wgs=QbeW2K){tZ&8Vf~I85CXZ@3PCbgp^Yoj50SWGdE5Qka zrzLi{i`zXz?BGx8K0tT9AZg%3IJSVWbQEF|zcfEU92CJUhNj}48Od=t_-Crvxd10H z##xvs^aqR#^k3T5G~1B+8RY?)3D*AL1-CjIFgFuXb049oPKa1Mg?VBxaXyAPVz-|w=_CxK&PA??44HtH4e`>**4Z8`M7uyPN1@y^ z4QAMd%}o7EjBf@AkS(XDz(B3pY^Cuk9_CUI7=} z>ksECoIMh%!bLgZaV}uq4<$tFn>icsntET@(zxiF*vTz4=o=0Y1^^Nk9Oup+9_zU_AcD_VKx}|1JOcLydP@6yHBBNj7yC8iLobhpiy!Cs;3CH4~42XxwFm|&Sl7{Kbk)WryNJNuyJj9}pgT3UE z<+8_sxdX6v)(H*mt#;Ki&?%QFguN=#^VYX&Qpi$GAK}RP(yoSX73jNs9fGU-P-4ocw*70@K@|b9B1iim12`9(BtRPbEZ+qR$-&i^R45`IND=oKbzP{`$wh zZWx6+Fa^GNG4aLW70Dqe_;aA9_U!&})e2@&C_Z}TI^v)vJl+LRCeTP0IN7kW2LOK` z4C1TEObT(0&P@h4m~Fh9-hMZ5_Fs`J=nEuwQyEX3d=w?1+nT`2 zXysFW5Y)gvX!&IwXaSa%1SgTGx<|O{sP&!E&(K+wzKF_|t#}WlYbZLdOi0E%=+h}@?Ph%TbJM#wJ7zB9rbNB+u--mtlp5$BcfepfkaPIzg-{C0c-7yNMlufq@$ql-Rh?+HE zpj>yb^ErYC8Kw6GJl6+M^&Mn8Oz{EGF~Z&Jy_y2f48j)1B~`s)Cc1g!fhxi!Bl(kz zQ?4ew2*Ijv^Aog9nejrCl-~yH7;nh?8Cl1ANF@1E=0_*_<-(yG0r9tUxe=^xzv zA|Ryt_jV^Z1VEOV%89w$gbWY4dGjrxl-AEQ^PJY-*Z5-|nv9(e2e=}G@NroXep_oM z2l!n=lK(t#_)L_S)O)DqHCCFOH{F;>n@D6@{u1T9M08@}%}P;sqSALiQ#uJ}{OcD% z)P-Lnz}r||GSxnGmqk&Jm34G{g$|IZ=w^aGoin}MFg-{H7{ZxL3BM|?d-B|oH` zy&A@h{RG-?7X%H;x)V^-$7~h@_2FG2C}P?QRddo%zv;M&+SSW6$YgsF(}J9=`Y1pa zWapzrxQXmnrh~$>$^GSayiw;Xyhgb(daXajpf&7p2bWPs+`LK$Is*V3K3Y| zxW`PQ!+!4|UV7O)P}LpuczY`VgF@CcBhaW9mUP;v@4*WQOmZREgTC_(Rk?DZ6g1&1 zpPq11zlc)jwX}43DXOg`+2I>#x2>Y)5W8GHtdDNl6WVowz-&h{qO;j#3i(5g7omGY zuSZ(E%TZa+j91{OJy;5>jYwdZZ*llak^FJj6#Zv=-Zbp(4`+&JEW(kf?B*2=>jruw z1$HmycB2u|+vb!}-8RE@_d!$sH8T<^-;XXflh(&2){|PJ*UWxsr>HnH&3h+z&zP$3 z>WY0e&vmK1R4tGTOT4yDvz=lAe@Y{EM19^TOSguj_h!&fmw9#z+0O4c|7x17I5sS7 zJrX&t2#{#|l$g^GuJm-#mtnWV0c8P)`iAm9F2sPoe$U-0$oA7;WobcBD_FG2z* zGY7{%0sp8h{~<2?i>e^%?kukC{6$j$^6>m)`1&vyGJPpP1|eA>gPfhCje#}ri@fk} zAM^i>kBRj^PFWXgXA664kN>gNfbm~mVL>1hkip2{Oa7l}4gRa-myeO2m4lIulk;C8 z|55%c^1md5n4PWjSE_%vWJ3>Yd^`-wW1Qe!!TK<2=K>4X{Rr9mS<>OMXuIF!dMT3Wr zmyL9C#cY`psU~`f>d$zoU@ZX_aA?+(o-5C#hSZCOna~VUq28z4wTUy|Kd200Z+FDw zex4C&GrD0{!kycBgx&3(cP9?dr*WX%r)BLsVGQ(op?hmm(HEUOp9A8b)PB`z{A1!h zseU~$J@t_9!P8J#}X; zqrPaJ--oBgORUBqe#js4N(;nrc~cVXOT!|3PCv-GRl0(z**Qr9XE-;04~kBDWb z${8EZG^?%$i~;Q<_o@k&*iOEd9qr45%-#0vfsiUr@Fp7{+X2ZC$~za|%YnA+X{#tB zFtfcTUGNb&2fply+f*Zi=}@><=UA(8r;MT@VBpalW|Tc=T3CJ?-KaCCnp5<0>e0wo zWVtTp3Laf;Jv0X1i}Q%X^r`-7FFMZd{j)24~9;h>n41GMMNSTDP_e~P>I z$Y5Gb>cWB*4}0B?J-u1qWj|(^Rnwsr6)MSBLbHzC5%52uxcWNRf0mEfvnPa+w3ohC z6gtERiwOUiWlt2e$LBW0qx!d=>^nzXTiBwKvy86@?U((|2cxgC+SVZ^j!-~xXZ{YL z|FKfdV(;Zi!6|(R4PqI^&f4hF|lez!a*Wrf27TKp6s`1 zvmuEN6Pq#3*Y0J3X5$yhv@##-0Dw}0=g7%uLUlT1JvudzwzYXDFwQx|a|DBP)}sQ8 ze}XNRUa@Bd4C=dG?=3 zU@k||X6KqmSB7jhEK+kWs3vB*<3wvq3oPfGsZXeePQJ-DI|+v?(ss(sTM3sc)60Q)Hp`I>EM(6Z2-O}BBw6-hpY;H} zP9L8UZzo0?ein*todxHY2CPY_iFH>)AgHhr1m-d++6mK>3C^kn@y(-y-j2!{5q7nE z<840c&|YE@+Iwt0vl?bs^G2QF4*iYUeTf{86+(U1J3Y)ONu(#Pts-r&0?P{*R-z*t zn9H=UI)>aX5yA?VkF|ny(08jo;1tDh&WpaWPw+P-%npNILZV_O`d(z%vv7u8_c^(| zN4cW}?vD!2H_>GLEv{rs4cY^_5`DBCx=4Uwpv;>1J zT=(gcS|$mHxe_d0@obT7#S``UKxjcX^c>!|UP9|GPbNIqUy9Oeu((Al^55%k28 z^!&L{N^A;_UkIWCW0yfYe`%x*>05i50W;Vr=i@nee{F>n$ICM(md}x^l3%XaW_ntJ z8wTsJRxms5Vb%=OVRjAMA=!5fH+koT*Ma_0$*`h7AtPfqDy_hjn{fA9?PO{djNvM3 z(O+w3b;{KJLbnCf1gIuu(1*h?JDa3Lc#Wnf>@4#zRI~}Gx5N&jk-%}e6pEH_!+4g^ zMdoQ`OEM}j1A>$ieHFFrF@k9D{IJ#qU3`(^3c=Du@Z;Hv>o~kk>3gU{F_qVa#$qsN zd*$E4>NLe7dJf+4Q5RjqTbBRMI#}+f1(QWaVs(PbkhVsES^RLp8tM&S4s4mljy9x> znpG~YEbGTOKhE2KM$4kq{V{A2$c&@)6lJffPalDl;lG2{`AgrBC-~RkqNOY-x*nE4 ztb_FT0X_h&T^_XCtivr!h+nVi*$;zSONzgEcX+dCX5+A?Mw$Y(^$jkc$Ob1c0b= zr2sz*wDzLIFnDLP6jB08z?EJf33((lXq;GU8LB5b#zBKOW0Ye>4X|>>t2u&*poY`{nZbh~$2RFA}K$7yUhm=dQgRk+KTOS?%fct0vM2+4%pi23b|c@-8i$Ti;A5bZrN zAtvyk2u)DZh0Q1QM_-KQVViKbHdJ=>(|M$SMkPvzKL}zPL^0C2%*VGJbJpg&0-<{Z zWqw5>?YYxXn(G+t_FAfJ2zs3-NbxjNG#K{ZH&diIipoEyeTfS3Vjzg zK_Z*$T!IQW`{{>Ty~PwJ0|andD#?9#g!K*z{oxE;WgNS4&_5-$DZ^M@NF)>tCUDzC za18D+1eut|3!l4#vjO9&IK5R8FFUR3}K2aof4&#trwaFYMgdodq<_5>QJH7EYpKph5gm#}N zCKv|n2z(#0X2Kqx{-pIF^#2k64)KdYq%9S7x_4s6XTm}YK@cWU2IY-l59yt+Syq)J z0!uW){O$k=YA5)rn7cZTVV>zTDyGNt`7YLr^+;ZUH~sHq#ehg}G8y9!j{Gv)5fMdH zD&tu3rU+1a6rntJk_Xvs6e;nh9I8NjY@t;eH&#*?SVNB34pXP#$`r`&5p59~ykW{Q zzqZw`OT=<*l~CXy>`L4(N&Cv!7WtwN5}=Ut3fF~FOgf=HH6x>1#2(j6a0j)T{!=j(H$ys??N;D|iRl(Z>n!gM?1HAh?F zuE;8S#K*z20!*|Ag)^mEN6R`cu)ZO^NB`Er>JV*Ocm_veik`CoT_(pzehGTZn(7P{d0&Uv?#sHxy1`MD0jIKU_qAdxbj+%W;ALv$vgr&>m2Od^mO|rp)0W<^$l<-@|(2jy$o4LEQ;N5czp( z;3_6Ul4&s8s?3h}5def4J2tS`)lEt3uqPbQh2!>QQ6;01B;NPUTuf!a9T6Q;uoe0t zJ}f>0N>WZpd=x7TxKm8Vw%$eGBxcZlrJ6b8!KwGq;{jilK$i*MChE6KXZ(G&P5_~X zZfe<$GhN9E7MiNhQhPF(Etid>CAZK|6zVR!ZUiQuGuRiLY8vfn1?O*T!4DB@w{`_O z`ye1x$hd^YZeNFadFP27+fegl%6aSKIWGX`?KAo#y*0^wyH=*d0237K;LmIvj2I~? zq7ZC50jb_Bwr953j!htKZ8sBvMi>t2YLmh3Dr5#zp)fy}3-7GDN1=Zu0XuC5D;9ZL ztBiIQr>vpETC^s}SvjZWHIV_~6Xr4ci0oONs<86v;5j5Y5;hEd$50mq-lzj}Sj>*U z5k;#tfempe+TjGoZ`T9NzWrJfC0x!c`9Xd;MU>qQfr^tsga&^N>uh%i1?f`q#i28f6!?T0MlEXcfy!AO^u zVNeO0B`6QlPLTa{c;iwiU^68sTGW8KG9WxWsWUNE)?Wt`FuvwOda~q#kQUWF8feU* z<|TDQiW-B!Rm_ahWcFW8_rIC7bc*DfijjW~lGs{>yi=d;CB=~6xl7bF_sc+o(EVK1 zPk!v(_^o!#S<$CH6Fdp~iG=(jr)X6{NKpaF+YmA-xMj2Br2FJy*R+*BOH^w5|_3=b>d&&j!T=|)gW&|86zOhnTB-3W=yca(fr)0YN zg0xMF0SU3}-%Sk&X|lRyt6CBW7L>hN%tM$I;!Bt6;P3qfs0j|Jv`N$ui|sI6yrjpy zS($$&83XQn6DEg6mU!lxizpGNSV(`QhTXzKz^)RCprb~vl}=Ra=R(h2V1JL*EYm&gYJ^MxNs?RoM+j|^zyk&Y0^I=xY^(bFZiJ-+H24&Ouxp!zu23Qu~4I ziR8xMJ!v+nVq&SSRMB#J3olCt68;OWC}q7uh^}IiYEdky_3O9uM?$^*kL$liV~G5b z>@qyBx9TqgN23OB_gJW5HH6ZhPyLT*wr?uKe|LU~J9HSsgX}ogDL~-p2E6YJx*mna z+T8=EV%EEExGUdwZbTsSA44-T zAU}g2EQ+yGwbnvm{UE$#qo|?laTvoTbR|+lL~{1Av_j&vV#2J52>LE+hq;3y?Xz6r zWe?$=`;!}JJ-_$8(>A)I8f7<8v@jjid$k0Ct4roW5Y@8+e%L93&%}{dAx3}D3%d*_ zhA|Q{CGlKUl{18@HOXdVu?|OF|DC9X}43ZPnx%d z7{L_P)W)Qyk2m#-s*XW4El=K`wA+8mu`eSh$O}C~F5lNgZdcfbH)eXY@_tpmw~B~# z%gg_rZj+ABtuSOz?%P)#lCdjQ(0@LY-GSsE~m%&7gdCx*W{Gz3E|c`cSDVAI+lmL`eUE&j|ffDHGe8IdL{CBXwjUY zjh?dNKn|xS1k{^21mjZ06McrsF$7bU?<+bUVpHiq@!qqF>CvPJ$6lA>XGIT!B>CL~ zOh$uSItz&!RI5T5qr6c@&@j>C z+eWk`DWo?EER-BCkhZGtFTxY6dN0ziZ8jR2E%z%Y4PbW7>uoJ<+RtVu$Q6Z*g8~L!twbMa=h>|ka zgm4qdrCKKx516nT5wQ~#2??J~FIFsJiAx=YGypNJw2xS-n2Q?E{@Wzt+NnSMLWv@4 zKA*~*6HYCaE>KEUFGyvzUK(g&V-rZIYBG{KDKdep>pGYL%3Ibx+l-!0jvfWKbDzs1 z#@Cz9kpmx-2h2^)AI7huJY=iFbgrPBA5LkR2nM4=JGcT_lDYlC^9d~*F(L>+}FyhGwpH z?8ALCoDlZ(V>~)s+W@^>pob}W$!LM((KWV|iRti(m@S(DWDhgpKqgwF+vNfem3t65 zC=12kjx?f7SL%R~%CT=cn8NT^=e{AjV3YQa4UfQr_7WYaxnG=QyTF<%6;#x|(llcQ zFvY&6%kskUnA>4u*~RQMS90}7Wo5Loo9Icd0nut(z12Y%b5$k35n(|t4dBLOZFLaWA-?N3PGt(58?p8npE7Lkb@q5db(9Riz6{7?9 z8KBzAAMtsGF2LxWLKGlPWNrlK{I*-_-wZ2H7DN``vA zl!umSJ5f526DNaRC*kc!4%11JoWcI-!{xR4qBSbSGuYm5?*Y{>2`u-U@1@3|Rf6X4 zVYr~=rguo~B*5>fOwqzqID->Pp^{$Ji(dpb{MnRX{)!H~)$!zo+S!67ywY?$DZjia z+mvMr26w3AIOLNG%qF<@_u|OixcY@_vuV5(7HbkMFE9fC%mY^i)3EJ!_;dkY;~;2_ zNo+_YVnKZ?`CLfSft~Ct`BOxhw_Xv-9~1})zeEw2Ld}_I4=vS62sK|~n^7wnV^_i> z^Nv-*U2k$9+F1zI6^15gS}+BQ!v(FuNBdV0cQw_OmwuoLx_GC@KozCuf(xS8i9FB&lMJtoIw4Mtx+OkVw(xsx)&r%?sje5v z>+j@I=E*#JJ{WAb^-wm{;pif&tM)QAeDB>7cMw_G^LlnsnLp5C8k9_N!s(ZM?DI3i zQN1h8g!`9e=jkpk&8_EccY*=2uI%ZtYr^YF zXY(@+(cP?(d&{S0-z{!0{OUxQ?`<2hc*LD&Om>JaMr4#{$N2f2!Is^COMN(EjQm3* zY2$70!cG2e|9z*2AdBp-KQ+auU0TuAN4Op<6ZWrYxBh{!c)&I5;kh)^3i4TYxd^#J4?*Q4dC9UzrDT-eXJ_gnKJh(cm; z(0o~0RTvm(yVXh-FQ}&+cZMSe_l<)B6s1~B<9+Gc>3M!i*|(@1rKV~Sb<|YmJR7PE z{vV=tN>TTEte>F7Ed`s)R^({Ak|AF130g^5g&GPe3TT&tYU1ivnN~lvG{f08DsP3ie!l=ZZFQgO`N=i zcJnZ)zAPCzC;Q|v?dXQQ%CudF#ETZHy=`C_w#BWHxX}Kd-Kti3Nn&j~iRM2=CSDbn ze2Y?(nkvemj+-qwY6vvUTqN%zbkUtlFod0TRhy<2^G=b^JDBJ(eLu6+eM^f>lP9BZ zAM8U?dsBtA{w~Um;yVn%?p+AwTjCkjGcAxUP)s22F1<%E&wr1z+m&ct+3|5uZD(fc zw@Ah>s(9N;*XPY2)sq$Qawt}A7rs!{vrJ6~x^i6SQ?PtW_gQ+7cLj3TZ6$=%Ia%&s zZqZq8v#BWu=BO3lbVTL5M0HlCHAo9)hapLL7nFTJ7$yYgjS-LOYL0a^eiiNK`Q0EFQBT1ts%@TWpOGS)Kdhb=zm>;B1wQLqgg!Q}=>?^D zn~`-Y>6`bW#bQY)Rw+i6{(Zuj^E9%@5N27}A>Y1GN?ml)ZwBb5N^Kn;)PCl> zxHc@xQ|?N;F_ozH7TfUZr?fu)9C+~Nv#hN7CmTrxnv|%XPvC;jc!cLR{|1z9-Wz{h z8vvjh>gHync~?$oir0R^h`DjJ=#vCN7ENqvse`|8#^4QM zrs*I#9MDr--D{i2yOH>LSnwI%hD&K{ynjWg%x>b579~>mCjR87j0_e3zk{0pg1G)0 z)nw;nX8kwL$N3*L>>u!q;s1ZA=08*Y19UP0nf`-T{$G$zj{jVN{{`t}{?`@xe~EPd zgEIbqjdcEVFaIaf`GqR~?@;Ie^TYOwnyb|&;t4)mdJdZ}1m#!N*zTc$81>#~A|kO&mC>W?AG_CEMI(8sZwFBvBadM{*FA*Y zZJke(I^EA_eHd+K7S{u6X*Gy$OZz@_X|IHNZ(u!l2Uo}U(r=#|H?REuJM?-4n>xNO zHz)UO+5~{LPHdGZ`290!b2Ay?l0hUg#`p8m1*V^E*+1b6P=r-BR&USE7m%90zo+0M zQL`C$<#oT#&6N?|^W`!=3Q+<)0B!{2d}1PMpDWtJmMjh zlG#5$jn=Q7HYdH=n}@?>3Cq2pRRX|m!$|GqeqBgYq_Mm`*}!0zl5+@lP3un9p2wR> zE)j#|8v2<#G-ZO@Mpr4=W8=c%7|D&6{lksKOvH$UuM&yTa}1!eZu zKN1$siBlLRMkXW}IqPeP-d<9%t|hcnk-^EGWHe-UA2E*a@KU6pYdF3}!Pg`zDJ5Q5 z<%Q=n>@t?Y*Kn+hhw5Sx;J@xoV#$(WJ--{J>qILdSsvL7zSFIPpf8@_iB(Vvi347v zk@zr<$)CP5sTbsNt4Kkhzi2?4CrfzpqzS+Th(Z0mFZU!-Ma$2J2?|1i!8qBiy~)?r z)0GlBPX~UUqyN^N%HK&psU!;d0m@ivgvQ+xI4zQ5Va{GBfcJD~Ps7TvR2SNg_pxo8XKb9YZQHhO+dgC4wsFR`ZF?s3 z`zJT|rYgyONGdO>>e^MkYW425yZfQ*yVv@x(|2^nrc^5d=lsALmHIq}Cx81svkN&q zp6FHUH80MuV;tQiqVrdny~+pp6^|~<@6&-t#Qq$^>bIM-Gfl6T>$-WHj29Zww})S_ zMTwXPBji{)h9zyw)EyAA&+Sz^a)O&RPnVIXBWW2|@IBqb5k+`f6(7w_<;kZNVb=!$ z54LRAN6Efk^-12V&E6ke&4|sQRhyBdM%bJw%;>*ukmKAhB0k=*8pf6Y>Z7hF%ever zppwdZ4ezsygwqvE;!=p>L$;^c)jR2&hQL+*yg`k{3N*V~e!r1TVVE>dF;ud$SalcS zl9n1nrAr+l;`&G`G%|2s^VQIuDr!=P99vfgMvnVxh54`C&N(|$J0>u-W~rBnlGIca zMfb6<%vM}y!+q`8q~CHBH$T`KgB=+19oPW|sazW%&hql=wYx@rJf*B8*|wodrPdF4 zm6OVMm&*HC*OH*U9pASn!?F2t7I#}?ZEr33zLet6Dxu%ptByoYcWv%wt(enwp1vNS zr`m-$yuRga2KzFC@0qkBq_V+x;84 z1k?t{>5KwOs!cR!fDTr4`g!Z z!8PJZf-rQfkb_r;e^7vbF8+rx;T1971^ip0TEafb}9!(gqYtaU^~?G4H7t%v!n;9zerlS z^I8g)&7>xPyN;Mx3--=!NY_k3VX7Csl^tD^#HiQ`eKvLUoeW@k=|q^T13|$rKtRhQ ztw)--GS@lroBmYWtq34ksv&8QE5ev{j1TSX9v{Ez6+3zRHxWTe$&R5P@ewNJwx7-#Wepx|+1iCC6rwK{Ce zzq1amMmF!D%biHv^9o{!TriqI!9#c=h9aKX-%cd4@+|_!qGD(QJSk@ zZySVxxIKAT?5E-^G;?*R+aX|xN&H=;1^~h0NKmO}^KL-NzE*A*_Ur8faHMV5Y4i0= zc^9b)_k9I5#M(Nihph0@Ue|Dv{o}4XRwK;|@BL?sLtw2s9_r+dO#*n!c-dv>4k;?t zS@O}y_{=OFJWIrw4tdQxN8O!;zgc-&?QD{L(k9QEk-Y)g(H8nw=kvvSek=gf%gpni zWaf^sr#^oJk5y%%j>hIPL||oa|FrVrA_JW#1Q}ZW7EE^StKDL4Li;YOa`&&9;ktaovZ&bxC(eG$Q}2+S#^?}ATz#w?)+Bdg z40}1wm}n8@>dCP@U`F+4`F8(AyPFx!`q}8z;2ZMvU*gr(v?B{KI3G}ZDcn@VVQh2G z?iz{6#_CSCT`ID)w;nl&2py$NZPaU~Sw^Wr#1Y06WxoQ$!X{TW+0n{wfH-nChGe^@g(+CS%sL67>OPX`_n*ejDX1Hfcy}9B=rUpI2(WgUe zjrwY}=nCQ;av$yHVY3V3c}0quCPqiHy3Cq;Xb@;E-W#QRs~(4auNqd?v<)PD*4|9vC6mJlU4Zyli3Gvax(83wL^>X&|3@nlZp0T3xOenz$<(z;jc9xM?% zc6HsC%!x6iRe$+NbFCRFMk$UxU7H!Qb9wX;dbx213oDIn8bcHK3$zwdCwP%tG8{Ev zqvD2DQIk^^c`=c?UKu!Z_zO&Y4joI>#7%Wd;xgcp^8&UEDZZ;VEW7DgI>X)(8(A|o zg3BOBN5=wU8${h5wFH=XRh@u(gt|-KCqi-<8aZ!!KaBYlx}rqa4dXeS~uTK5k+p6MA92_ zin{dqt$UJi6;TGTHXo&WfVmARZI05m0uhw1MvVw4ugGYmObyTwyd?Bto)ujE0m%cw z)}9$G@UI{*Qy|eV$|C+lzX-2w;cV2zt>sRiV#vKs^g7LWu?Tf%c8tu8~R<$OV8lrUbPl6HJlYzmdFFOF_a(XPc!~r%R$vkeNVvum&mu1c$E*wFm{v zOpEL~EiOy|vk_9w%FK!z#JRmZ=GhhZLzYFEG*E(}HDJU*RvYzE5*_T+Lt@Ioamt|q zNU8&;WD)rY!12E{;oz0_!_7v35k4v@BEX&-PeS4?RLy#~^m7yG+*5lx-dCSB)ccthB;i-KCem zI1+%eKVm(PUL3e?OR!KmH?l#r$|(;Ij`bv(*1#Q3K@+BNTYyJJk-?iachE26M> zn|>SoJ`HR|gu4k|N&O7{0VAreuH>Hw3h&z<{$ISdoH>MF$1l1$76T;z6H(?rq?$8v zFf#s|D8umoSFSn3|1#N}>HkE6`Ir3h|5}6j*Q@&*Z|v19UU!g^~*$;Xy!7NvLNW|+1@$Q-Y;YWRAGAU zYx1PixujGr)jWiX(v_m(E%`EKwRrAXKMKr=w{Gg3pibX4mV7xh_CjU{AQcB1 z+8=F=E|XpnyY@^kvfud+0cXb1(3 zQm<5qGKE6rXY8hBJgW!M0UIBa=c>$YZzJ3q3V1w`ge~BcIA0lA@ z_IxOEg7C@%(#4v2k=kBf)uK(3o{wL-0UJE2aMFgtGO=>ND`rNyH+7L(fO7lBh=BwM z4Q<~utpp^*qA?5q>!cPuYO)QEL<9w&DAf~XpBMFv%Z(;wie7N_wHyT^%84mKt^&2W zJ|++$1{Tf2eEV54N_=PlCrmYpWUUzX5|d8Zk1EMQ(2PRh`;^qL5uQ5>*i!O#BGwk! zR9)oZ{N4?AUhb=Ki+f<@kKdvXIDo7_wt4 z+d~i8QfU&7?==Crj4rszkv&4kz@j-$N;9j19w4<}^L%^d5dBE|p!-37AJ>Sj#@EQW z#O7Mna<~2zzP^o~mIjTo47_3h98zqa&#UF#>v1!obB+8Zhp*=tlODH3H?)j#FUY+l z&Rggm8|?U-Y{P+7vM-Ph0i#n+DQ)9Fa_WYY;pz?4&9yNTU3)xUt?o@(0JOAn>m zo_wII);DQ{G<`*GogM9#ziof^@m+CKaV&=SYJFE4YdrG7ajoAsx2j`rL}*e35S6tu zqG@w3mbdWmeR;I#n#dnqbgqvKId@G2S7Q`tms65}cZ58a=PjF_j{15n3+st`9F8CH zObYs)dt*DSy`j!)*VWg$BdeE!nqGI!V$h#kAIriy%oDFt;4u9(%N0PfLg1^zIJ>(9 z?+G+^-B&<*x)`4~)DW@;cl4dmVHOQap{BlDhn?O`&%F3fe9IG0&X=~U{CQrt%qh*Z z3TnQh-YS68fUSHny6B4P&uv_hMG2ER7s!!nL&nKX2wKK$sG>N!i+VIQufWTt{n1=Q%d81>PFMDIMke^{`UQBGUDnRLz@ghCAA<5?x`Bc zy$vYZ@BHA@^uUdX9L3d^{fE}W)Hzt6yKFJj3o2%IVsIyQ5Mq@Y3<=GQVuWXM(&y_H zV;mb_p)e$w!1D;RI(8{2lwLm7+{LrVoWbrQN6W$F=(49u6i%|7;+4p8aF`kbG+6=; z%tyo-=tUDm_v8v$*-dJ3&L!YL)DK}}jI0O6J=f?5Qc7WhoJ(*jUXiF_@>Dn+U>Xdh z${8h=&PdfGJfP00?cM}%xXrsU!#Pw`luj>j*=3|w=%LT>sO?Vlh#igEm5>s@YwokV&dpY}m!g4dvsULpvIo^^c6A!fO{U zU_(;6NAn-yXBior39!~Nao{nj*|T&Bv0}?`n0MiY+ciqzFsbnoX}g%%5zA26jEvDx zlD~1;|J6ffk1CCpFc6ty^xl;e%OWG+=8%h570ETSoz@RofC@`wa<-t4=-e-Cf3on$ zWPx(~6{-~hrv-VFo(Ph%g60Cl@RP%TSl)Z(1sOP$rS!`Y<%SF{H#+;Z(8-TZB_z*KwvuDgQ`RUqs63mGXG z@RsNUkmMgj0jB`Tg{m8)**fxUj+DtHc8I^>$R`+kgA9WX((TH#Sju{*76?4yu9@t@ z)lR*5xK-_^(X32V5wc*R)!Omrychtcfbb`R3Z$42d1IC`*`t3;iTa!q!sCT;{r#x$ zI7E)-P=T%~fPl2X;aE&!l5)co#{lL0DeHhC-lh_FAUokmK$TY-79hgoM_c4T<+N4@ z%N+Xp2npCk(Js5uFe&P=rR~hBn{dfrb8%KMU{N?|F)EejBi476Hi{f$HUtmyP^5}8 zD7P4~RrX&5rb7K426ij_Foay?56CD6!YIWeA3Mumj$uQ02nd_Us0voS^e~P9pcYle z=%+BCX7uEegPw%qd)8ddsYWi;6cURqcdgkE0RjUVk*I)tz@XWfsLE9f)=~F41Or1) zUS#Iu(P=+3`s#6FW^mo^x^#8JrstN&3BBfjX_xWnM~6NrpNnUqx>sVE(*}dg{QkgD z9gYj-`W#~yB1Cl)fghh70Gp$5b|06)B{e}HIw)7$AsIx=I_%syI?K&uIOBfJ0IS$% zjDsdDa+e@68=WdNZDd`T%-TxnA7~GgBZJ4xo%1aJ*mJ`{Qz|aU38^0%GI`~$bFbES zGS5AsDsdxRPAGL-RuvRizP&kqj^j8u)L#Pw>gNN8JD4CHybR(|)gZ6rL;)d9{40+e z6QO7Hx;n*q_)A3CG6ODcy_msY8Sd7l*oHYDjo!CoD^<{csq_@{qXE=v*kvylT+u)^(EaXd|Le1#J0*A z*G6lyEppt~H#D(__)y+?+U~a98a+qenpO6?5AKE z=dp`ncp4~hYB1@UMyQYzWRqKegbNlNLQiN9ax1E3J_+Idb2Cr1FKR-h=s>ADSKjj1Tc!#zI) z=0dAs)nO?c{%Lf8QY~R`6r$UASsUq3ql6vu`N-ly>UXrXc>EPcLbrG|;5_uM^_1HS zqt#77g(f}zTOzBUvahWeI2xiZE6&-jhJ-lIi-aqduFyP&YSLARMX<(&JNn+=r7U2n zwaie67M4$P)M%Y68t0WRqVK{|fqo*{yDwd<$TWmFU5x8Ov2kaK(^$0=LHBVbjyN_w zh@to&;R;2zNoLPU+~8C-B5-{+b-^MwA6$|(dk+NRlj3joa{;?xj%?jll}fQ%SUn9S zB@f%-QS~#uejIIrQlD&li#tlz%*l3J`EsoJlc>} ziB8YtPNTL6$CH{+0iq%k4m&xU8M5qzLGmBG;;XiUC|jcUgd~-m%#wZs%a_;}2jJB)?BxcI+2HQjQqA*?=i7TQ+M01`Lydi)>34@iN!#mq zyZ6v{W`rbBdr;X&n-_%lG3oOXC&qyj_Q8>dm?p{3*?#;1jwzL_Ls(T)y7%7mYks@K zp1XAtsr1)0>XHf9uj&vsd9gi-wKI?JY)zj``^HN9t^spEOQl}F#L+E);|-1sFu*_c zvBZv2myxM`M5qiqp3ft)#VOwtJ}0U)ddZY~=hZwz)MA(5g;B&wk9zcfJz4E8R$b%I zfGmq?H)yrG{rrXs5cWw?x_UsRtQg~F3Q6q6tHrY7GH$-MDOhO4wSnky$Sie8`EPIC zABS@D(gfjIj1L*j_K|pJskeshQPeN;g}5al)^Ih}D{&6($VV=j z2`SeJaYZ<`O7AhkROL>y-6nKe_Krxlz*LOIhS8PQ_R5p1bNk*8U(tcnGS&5*o1PFB z!rRlcgTg+1s_&CCK_SQhE2|zxrpmoiF}|pr@;QHufLI^sca$@P_k+7J^3>_CeMb(@64UQl zat1G>D(4*f3$NGLDdy^_7^%g{!^}X_jQtVKGpl3eK*|N?7M$&+`Achk&R~7)_aLs` z+o9E%4*TjfZm&7)&mjFTI19H7U+wcR{i+UaZ@%R_+uZYmh*3pp)G$--!krkltJy1v z4fDq9M zr|aT%R@knlR{W5mPug}?16Zm-ukyp}nYiYLOxK~q;-mLhmO)@Q>4@#2U~nt>Bls9X0?Awk$4a)pPniL^!@7wYF~$9ra+OJSf6YPr5T zWVW-CMj95{W3k)E#r3h3sT;+&dsU`-G#AiLN#Q_!dta{&S7W$m!o?#iAqT-4xaK6m zw1@1rr%_iho%nHx;isA29-nK98!K>p;@V@XClS6$DV=fY<(t>xb#A+QUROZ|51cS- zKalV*d~}E~El7J>{`aC31?*JSvTnNV03gF69GeE=e%au?B?*^1Z%ZS6k%i%F0Ht9O zKa};^ORo9QU@2ozp>!pOY5h;;YuOe4^s09B%0Czz&qj6`@f^H*6jIOQC)_1|SlBbi z0Xqz_iRRrT&X#AcQV^_VIoktItpScc40&+)TePhN7}q;V5lSddas?tWhM)OcS{xr)>s%E?ovrn$A5ER%^Le=E7H-@Q#-8V1%vH?)L~Z>y^21L`7&8YW(|=c6|2+fj|9TGG{|epl-zXLTdmzVu zn!3jD54+>vSQh^SrGxqZNI3nkiDduW{{J1OgW;dI@E?U!#{Z}a|F=#tjQ5MurE5=5H#I1QXT8NLULY4zWdk#e;aZ^0!UwFvJF1XOL##+VF}JeW z)7`cdLGb#=v0RCbZCIpeDrPb^6GjANe^}3}{pi~_>^?_lZ@z{n*ca{=^85SU*X?bU zuBOEICDjkjS&8-KQ&m$@WBv2tEw<;A_jvp9RQEXc%j4@=cK7;g9YjmE2kzG6 zEwe-|+fY&#f6nTDEXU*O{&rvSY`X2`H}^{gqrd&9jI4fF)${%4XA$0qa!0nOHg6-j z@9Oz|k*j|9LShg0K1a;SKPF5=pDE``_Z4DY@J`vwwxdT&UoBp`+gH5zyln2LAH76K@Oq($0l@4;}Id zw*6PD&UBj=w&PPPct`hsEPeV_wn)5+>ZQI92ovqKd!p33a>38p(n_xsw4Z0Db>n?~Dyysqt&g_x? zRBr3)vgupS6_MC;=j@fum$`i(&3i{mXyTtqw=ZA2mufF>G1PKiF8{Tl*zlctUz^y- zg5!T$$mspdnn7`Oe*90c-!#u}t=vC7WQvb}|Ff_Z@@L1Mr|C=kt}En;XA?kAoohOD zs~if}OF%nF7XL@K+`huhohLtZBx9g+TR!P9NGo_hMIX>W$uvN#d`Uge9Smu+Rf5ZK zTaxNds?>kl$Rtlo$$A+IjBl+VZ;SC%T}f%(CWrs>H2g6tjQtqxDf|yM+r0Lu5`~|J zvtNb>lM7?JW&%~@9Y&Vre=a~8-4X-X4VJ|2x*_k5->5_PAkZQj zes>5TP)(qF5`YiN)T={(8e~KHRY4by(M^AAKz9LYE0u&Hedccm8DCqf%otol!gmpj z2f;S0Pj?Y+t7Wl5l}PDj3^edhd})=nY)?Wy_GS9ih5~^#QUWX3o_pAdsQ&~eVxaGA zsvwX>8Nbt6M&8Y!uV;I4TA);VJjPJ*oBM7t>%p=6L-cEq&D>z(bQlj}8d=#mK9u`R zIeL0Cbpa2ehrIahY$E%`B!+RTf{y2Oh+>+fDrY4zNY2*M3*E^E8vWqD^WLz(hn{<7kc;DX! z9`z&IO6Ypve4npWuXzt%u2Qcpy`FDBKP0Dpy}oyCfVjG*pF6g9YPMzce4j&~8M@!k zylJj|zIisUdAh#kYHqI3+lHT;y5AqI6c@6*@90<$WKB#b*Svy{zVE&Su>z({ zrew7&zBOa^V?Sy?cY3^Emv?!6Fnyk$AC#Qu-&%j=pBbnnQOZw=j4X{K5WY+CS z&eGS6afSrvGikzfcl+0}kW^RfZ4#BVxm+v*@Lb)>C3S!P)X;~R}|$Qd2u2^KT7=CWH-c?s&G9@1or*lJ$V2zH^$-;J|-ccwn( z0%Y)Vjv$3HPFsr6#^_)?@h8E8OXK4q5!+-PdI((d%}+ZTH>C%R+t(0O5sd zRjO2qi-2M(n8lj@r|)~;7MqfoL0T=5IUD?8j=NU|4@~C72u6X~LMf7jByg#`M7g^G z&KR6Atoz2I1n*ffvHlEVGnRZi*$_|~fnY{bmc$q7{?O}%0o>kpzmDtVKt@~7{e|tg z+(@jHfI<527vo66FVz?#urE$5l>rGk8}D}WW(i2~ait67D$lkp5|8&dvdhGHQpd`7 zF`NQVQK!S3#vl*%?P`T{k=?HJEA zswV$-=hI<+fk)=@$j45efoV2c(#}&MK0Ghz>y8neXx}FB3rctoxTG^}nkkM>55uZ7 zNxD$vTidix-JNnwpUP5WlE~5byP4mMZmN(=!vY>jH40BoUzk)dCWeC%9JZ~IDbzve z2QVU1@3kJ~0|j(RA*eOc>?g`7bU_Bdsyi*~0|7auA7CK|0SY_X`T6V;5DhA!>lN@c z_HAWN#q@G#h5Ew4g!o?o`qSktUhoH|LkrDhtEZ=^w68IE^Lb2zM~s6ecHpUj81aEv zE1|Cp9;(3tT&={Q0)uE?X($1N!B%;?nI)z;7=P+bbl%-kT9t#%*sX22Q{&n>1 zmXcfPBs1cY^1eEy83yK^$4QEU!43~SGYZQ_NDb47g#00Pt&OK%5;hn5=XQm<5mVMh zvZ`Pc=N1qX*VpnkL)gQbBA%<53eEmJ=(B3+=f*BS3UkJA@*0NswER+ z-PzQOFJRJ{q?$IvZ{g`>lqB=c6u!m@<0@U=1q#~v`p&YH=_>sxfE43m8m`yJP|Ot2 znEYAMfMN!93fcMkFQ;a^5Cd;in{Ty&d9<&*qjwZ0M`6X_#hF^?7I979Hp-2ip>oB{ z>*DYyO3Iz(^2Ns~2G^d<>VoEG;g#bt0{^x5jnyl0Q|Hw##MbO@PdX;QwGk_-X@b%O ztnnZ%nJdNDv<_~UzXu?)s712X>hHXbd5~iE7^Y1rry=y!42jl2Cygy>h#LgR2b#i~ z(Q|eUkfZDwQ4RQz965suA%EA@2mGmlG@il;tL_H-GLm6L+GIj140s?%rWl#f!HU3B zfG7OV40%$303eFGwEU!2>r_zy_WD&eGo>13sW&IwRM-*$TW+K19zkzrqm0Kh|7?+^ zSeTDAt_jU+p#|z4U9PQ1&j5#=A7o5jm@!&UfM)|@R&ieznawz^x9Rw`iuaR(=BC)B*|*QhOM>YkY`S67b~ z>hYjWkPmYhAY&ms)tW3>Y5=qX;$C%W0eu6QURi@a%2OIEb(2Z`ib%S7DwoV9j|BWs zQ<||KlG(FVyUda^hrjQ!xf*fAzbd6Mv)3XJm$iwCgF%M{GR(0bAZoMh$-3fbW0fGX zltLJK833r$LM^nVfG6 zjf22&YuUaev$kFrpWlgv3}U?83h0qfB>FcH%}RpEXrxHkUR&a=RKH9dM_PfnEXFT~ zUTLhUMiVljf$)&1g2~Tz;+&zcj2XKaF`Z1u1;(|iAc zBqIoj={~;t4KJ3vg>r;0E)^?*TI!K}vVl-E9xmp9yN#)s2=Madkz#``LPqJZPCGbk zywRnpGHGF!;?Pyu(Kr=DiU1n=LmT#62zSyyoA$8er;AgMew0Lb4Z;O&j27&wE&&$5 z(S3nX(zQYAGYcEA$3aUP_ccYLJ-I|`Jx5bnRi!Nzz1feiDu2G7iw64>YBC{P9++bb zjG8M@&5KU7N6?AP!k78qvBwXWuoTnNdKJO+mr`xL7R+@-M~3HI!W2PmkkzWvWCU~J z^u}#cpLE@cDn7!FPNp8%gdG_5-I5v@5f1wX)pzAucI!+838?rPew0qY1B!R@M{O-a zU>Tg^nsFgHglg5nJwXmaW*!bwj#vO=9w26XnxLY`W|0u+Pz1{f{xD`T40=go0jE&Z zV*sJoeLyM-O+@{p+HsbLrJK)!nT=~k=FYRGbv&qfoqr0_qZB3v!uq6LbsC_W_3XN? z+C*~(`(-Z%kNgK9^>IdSa0a&{n5!1k;>N>9H0W1aVInJqqx(Z>e!tGGCmj=gf1Z`J zD>`_e>mXpy7_}SZN#Hx5reM~ZxP%d8a^v8B4k8#qDnHiFs1<-~!OXL0s9DksH-=3D zpFoGmB{~_>SP+c<71Vu&Tm>pwYzRL&z8Ep1#=&{vNiL@57r9IFH0+-Q-KKk3a^Z?qU=qx}S;>o#hkN`+b8iK5~MdtRn<4{X6Nva-J z8bkn?JIp?&MTR`Ky3lWhiJ!jJIE4_lYqu8R#XNEiYAuUMl-eX$gz96ybd-|ELs%`{ z_qmMGC=UdQ7AM2uS6*Y^Vi&i{dt3jA9VrikDvB*EGjK(|hVs;6fLM2NE45aH+cd%j z*-1Y);0|gSfPznkZ;b{0J292d2ONkT#50_DmBdegyBp=eIOO~a7)be3ZPx6hRvF&3 zAkS)Kae84{Td~$w+IoX4k|)<>RYX75(o;yL#&aQ6 zot~9p&WpX|N~>=62k|O@vT^9nJPnXJ{@lsDB>-<*skZk}H=4K>* zgi@fvvScgDWpihLsin(kT3E&5)6k8mxw0VOy(l7UqTYd3DQ8Arpp9G;43WDj5R_Fi!{#%b?Ofx=mi@bkw|&$Z0-6Z zhib45F)_SVDptbyHnWKo7NeDV!TM^}mJ*XHpNvqZ<(4iQxQc!S^dz^;sjvSq7FeLY%W({h1mS5}mi| zIu)^J-2E1W@uVKQ6P&+h$m~EK6EyaHwo~CAY*&Soy~WnCY@)e}+umR~jN-8ogT!cz zX}`e-d6}9U=zO~pxbm-6wz;1(rc$|5)#u8K%C0)=66Zaq4^Cbj$a#5<^<~Sl$70&W zxN%V$2eh4naWKjfeY`5fgXAkFB^gq$L)AlWYbtx4fatt5)jXsnzV><3t9U3m$X*HG z3s=sgw-#@C8L2+lF1}24Kdw@Hyx%SwN^(9AYrbwqbbUVVDtzAu=1p~dA0L;OS<)@O zo?qvWb9g@&eSgY@BbF9TbB@m&&fE8naSpaWK88}MZM&|x9;@3ZJ+&e4y8WCFdn)pf zmUz2!367Lkyt&;s)cgBoDC=+(R#FmD6$yqfxfB z&oKR%jU}j}sbnYxD6^V=L-a4)Xkj9x2mF%ZA8D-8vbv9@Z!5=c;YvL-{#YV?PHXd^9~z{=8+gAAnXV_&PDwNUBO*jh+b z&C-`OL$UKrP;`h(_uO!(A@eCLVq|N%HvaNQ1#8+nm9~5<;>E^to(h-A%s3AhWv_Sq zZ4av}8-DCTV4PlZWi`7aYqxx>u~HuWqV{n%`z(y#5j{Jz8n3wam7%zg7q57M*ChYQ z!BX&tban1WNjn9Me{i^4v8G;pz8F2V@|`rdj~zXAj@1zQ zq-QDlVDa9MjwUe8i5A+Y7j1OZXIC|>JJYBgnzEGFt>qf>6WuK!#UjAKP6zgX)l${( zRXO7&sC~_q;`mmM^d$a>BZW`9nYvh>gH=Q*2_q=EK)?tb!Q0NJx_4~AO)H`g;nMry zMAM|eDbbITiM}{tQS_ywBlWifB)A(61OYn$28*MXBL|r(8GDc6 zbuY9DS1{~1)At)6aq|SHj1qA`mr_)o*k|jx4ufzP!%=N2YDg>OXeU-%!12q9_1<~R zPbHJ3NR%g^Os(fk{uv8XePsMscDMb=a2(UjaQCb4?o4gU%wl)Hku$ zGGa_C?YF=LZ}>SUk!Te>UP{?$IiBk`q-^i-Pv;b2ce{w=2kq|}^$;1Z`n6`3lx3djkCdm$})YS&r%vGH^w)nhX>h{NnWhzc!2v>`C zB@0F%iYHZZqd+=6#5o5zy=GNvCHjr8o1`IL-DLSjc|&{-$sKm!=xfCTmBAU0AU#i(Q2P z5Be6>DSse4uwvswSU69PPmZ6|Zxr?AcNwsV7YqmUj~q2bZY|IB>xTUCP5(p-9#;n+ z5BYba={KBe)C`SVO5?YEin>+TP3t&7>hVw{CAa;dCk^0`bqvS6pk9=r?3y(~a*25$ zelW#G*aTyPO)QKlFmr~wq-X}1;6n!$diW5@%xmDR{lf*xq8*}^pEw6s4f^|vbUplS zKrdURLmS%Dif9q9O$)Cw0MJYN%e*lwnG8*z!SrzB=Z-s0vJ)vhz12F+=?8v-L(0RI zR>11ZQChvpxJ#ka5EHR|l>JL<~xe;7}OPF@@$oaGZmV z1lCJCD$b2FIW8>Xt>G2CN*1)lBFmGclbHfgF`Q@OEJLjJWxN&7XhZbM^1v|e>KMF} zcDcivD+NO|p4;*P&FKROa*>EPUr~5rvm901&JxJ|0&XUeW2Rk-0 zV_BgKgCwNO`RP$Wf{+N3!}Vt@2{}i!PkOar&~aj>CSW~cMnRc^C2d8551Pji%51fZ z6|K4%q*-Y-;0T9{VIvAIX0evr;Q*B136PD0A3E${7XhWsOrSyr+>iv)t?nEwXIz0H zprQn9fjhiW-aMd|Wjav3@JTSh-RGrPOf~9P$l2Hz$+pmM6XRg?_0@UgR<SC{ zt>YdFXEf7Azb3996AYC)vPW4c!kJ+4N0CZpd51ibepbO=}jH$Q2 zWgYhm5q4$^aQi$$b$A$)Se(Fu85n1%ADI?84a7;$Xodt6Y-Jqrb{TyK2cVZ@=Oy}OfNASk?)A>xg$+|KO%u&n1jR#%!Z`APM zpIr_T+XObduThCY3gaN2+-fAk16ZX3j9;-x(cujWx{^+KA{Ly9vY3v6*;)tv%Wx8@ z$_3lH7iiX~?Y0==+590;5j0P=b^&#zlRhn_6~WF1#K)>pk;3qnIDg27@J@0aCy$8w zMFve}UF;5a`9lBjY(fkGI)#wq6qQ0IP53+C7*%%D4iEpG(xhSw^J{7rjihDN@`l-N zeMNPzJ$$@9Va|J_QHnW3kD`7VExq{(x5U)ek^9)vT+^boYwHH zlbUPi_p*>uy(;djtI74;o$_s__mGFz&(Hr(C1S_}L*CCKLp;v{pJ0Deh8NTww_8~| zvv?79El_%&D2E3ZbFZvUZ9ef7VCoy?8CT@+D;NqVkT=|yKA&F1o{4dCwL6*OEwBPe z&7Z4PD!TbMc8z+zvv|af}!@36rzsIH%KssU@%zdPcq6 zv>_n)hKE&UsY|)2N{t2oghTqZ4885sIB@M^hD2klLiL1VWuKD@Xi6rWzYlH72@3)GgR#Cn0t$+B4pn|WYN{<9 z9uExnrQ%yrWgw>+7%QXPU0aYu?85O}Z^#$qd?xgooQ6a zqS&X=7KyUgyiR}X;kuq>N81yFe*y9A2V?b!#2p{8~RM3=Y9V@ZOfa5H!}`1a(wFLp6yyP zyB$g7R+HJyL-(zN_qZofETik~p}Vlxw+g&j8Q$uhr4-7seR2Q#cD?4~)9tzAxlTjZ z*9-s1)-+I)_cKiAcE0>rw=AYSwq&I9J3#Dk zcNflgAW6VH7l{pH|Kqi0YZOp7((hh#evl5h+)&@y9z?$SBMHg%BaFyM(M^6c*iC9@ zz!$a!s*;4Xe|JGZWXDVHs`mDgYY5`|{7tHBc<~0;464Bry4z3|KN>&4@+?^A6D^M< z>nv=gfeG$9HBI+)202pq3pph2YRP?U%xd{4iQHpL+l#Fu;0)yT2^nBt7U1KE%iGAB zaUftFkrAd*U`7VR3u{*8WKVzuRYL}fpH#hb8?a&2rtLo38rFx*>yXson_KQq@gW>R zBVBXK2;_q6_1)#JrVPj93m_Qx|(UrvD9_SOenecvWUTWSiwL+QA>q$g>| zPy!umL#Rx#el(AqH+=X)L3efP^VRki)}b$Y!}R27_8Q$)EoOmkQn2F3 z(ly&KRG68WnVFfHnVFfHlP^hCn3oG;AGNrkDxRN<-ao<4Kt-Z@uSn$gJqVap`% zEkCm5{jTMOmUhC(6M+cEr`G2PNKI=EqLhjK{c4ke1yjotNX^~XCUTIoss2@#7kVJ! zc2dk*+;~I3&2b5J80c}WEA|@9+u`6ip+xlSA$wCd@X>(WeHy{@*RzLw?H=}%SAEa2 ziwF)PA}Nx<@I;sfFMlM59CvsD08Ym$9Zehpp+w8UnYDI4CI4n3(R-Uxr^t1|nF>Ae z(z&)Kc%t@~L00H?Y;%w8Agw-GLqfjK-%_BG%F+rwAHl{7^}S?(*4t^!3K(%0$B_nJ z+Nf$oYZ|{O%jh&UwYhQI+3Xm|+8hkc9;H#gPd$=_22{lo@URQ2zb5fGx_7<@r-Sd3^H=Ibj={xag{ zc*vKwN_Ag6MAYAlWEC1aBc}PZqE-JwLXTtW%Xg#4wB(}%MjaF4HTo;1MmrZB^8M!M zlvVw842zCX>0H@s{@k}_Z|nnmJ8&DZL}DMW1|lM*KrPZ=t>tcz+E6S{^aq*@WO^nX z3~ba*v=K;B?7l!%vjIG)Zn1E|FMun0)oz?n%k~!6gcZe_p5KnFq%d#ZMgcUk03SIH zU7Y8iqp!qwfrRX?UwajgF$50UP_{WA{cJX{mru3Y)1S?^5C^+%bI7<87WXkEGn*Sc zFU1MS=$=A}!ygQz4}?ifBZT({q3a>&X&qSth3VMjR1z* z95C`&GNNY|3U_t>>sDIabk(O~tw&2+CSspIvO^y2B%s(L5Ql%(f%Lt8?g1C<%b$X( z1I!x&BOu7{7o+0N_!Y+-IwDJ!{HrccsZ6umKQI3%4pQ*b8O4K7(1lDxC$Kqu2wFut zHzLwnKkb2R->=2@LX#wOR`%jaodWmwn?)4@{2!&U;VFR{sVL(_P=a zF||raa|RN<(6K;|of73pG(g`%r){E%yzz^?>*P@hb>x*$f%hrR`H3}Sp{Gy$Q$!$< z13Rz88=Gmy=+|PFnzwb@^vTb+#!!eiHNxk{J^AR^s3@~Bi~B+axXu+`iG4Pq4Q$t$ zMEr<1yTl_7Vxwq|W2`ui=j!_DbhvCJ{v0m5Q_Gp3DTuHU%;;fCfYBA2hy>(2evDQ2@5xR+ z+B||&A~BWxpZVaSKuoN+0y8(o)u}lZF2tMl;<4nJD%?<0E)Tms=B_ZmJs#XQ{OZQH zTMWJYJBjU~+lY3Os4(8AZcND9P9|DC7+;Z?5I`Axl|hASaW-lOF0Ama_%$mKz1^xw z#dLUmF}KEB8|37#px!A8R?ORFF@Qn3Y*uJ_FN(G5n^(#B;&N;98)FEvhWa7pq><0^ zu(rnPXYf|6IDVfgswR@uYCGZ>fss@<;bfOowD-pWz2nZQHCy`JIqDrAfitzJ$u_l_ zx3}4&eORi+Sz~dpJ61rA!3D57pokC0*OkCymzGD6=z%WYn4$7g9wrzoxjE@T41;MN_vxACWrV0xMpp z!^nsVctiyMeYa(V3RKguRrms63?g9#Q;D)|6s~^J+^Qyb22Jc5P5V^|evysc8M04T zTK@X9zZ^j8#;KZCXFMQ!Y80k0}&x`4&FP0GW`3xdZvD$qhug*Q}o19 zJ)44_{782Ho7%T4ny-}zEww)3L|)oY9TUMLOwt3^DoG?S;C>WKIZPPl=)DSkP^!(1 z=t7maLTM!oLw{BOc8;|n*4F77G~%YtfFB~B1zl|!FJFn`aO}LyiF>Ue+!d8(n00%) z#>Y;x*I#6Dl*KXeZ%!*fr09>m%JXE+J6iEE@}FnO>gx%yx{dxN4h9+sc#67DTIn;8 zK$@PKb8TH*Pv@VsS^_`2g>h9RA`mCJ1}Ws+KAKKaxAc`18|F8TK-VDRsRKS8**!vZ zzVi*rEb(BVpO)P8X#`-b!c#SAs=Z^vhP|6E9tr=gUgK3vl1CkGY&RiME3n6ywb$h8 z{xhb0&KfPI?YR)a5Cw*1yS zbMec$;10|u1&07)8#N}SF7z$AYq%Q)=W=z%sQ)iqZou{oF1kqXw|?hDbUz!Z6GDM! zqP+#BbFdAfH#-?EIjy2;Ot+v#PH?E&50fwQB7Cc>pR?G-7!J!?R0V66c0-}_PUBM= z=c?h!9p`yCoNl+p3Ix0%nnoQlJXxE=&RBcm%HIo3xEA8jxLyliu!S$sJR15#UQmJ-w(R4GZ9;4he z+2r~Wg726{79;?G#=k>{6p-G-(NyNa=aUQQeO%h70V)>hgO<8N%zYiWqs{IWqicC5 ztsSG8#{D!nm%IRck*Mx{Oa|{26<0I?d*OAbCRmUow2X&+9Q}l;LpYW zl&gmdo;Ru5nxQc0Bze%pX;f$gwu67IH7;q369wg&SjaOR*)fj*c{ZqX}JzJtB z<6}diK+D@i*Y=co2H3Tc9O@3EF8gMS@%J{I0^6^Z@{D2eWm?l#`#?S~1e3fHp-hDvdb1aXF+C)6rDM zpGHuYXmE?}Uc=<+KgwlmF{|95Y7O!-OPYzfC(16ah0(kHu2~7bNfLBb8*<i2}XVw%zeYb01x{ za04b|09QTTp%RHKth{lCU}U4myCCCXF-~X!9CC1s7*He-6~CfI6&%3;()wjXdK|h>P9L+CIdu zC`Vg928d!)ri_$eitEonY=f=fF3ve;p}!hlUJ36}@DYUD_u+W9u`%jV(TZ^RowJ=| zQ19*}8vUxFgL~uT`bdt3M#NQA7o(dmqWMLwEbK@4EssA!x!d{XqRr3gU@nF^XR50U zv;lRy^_-jBn$L{~T!J+;nSIK(#cIrNNh3XNG(s#UYF8R%+?=o+Xtk4tZwxPs00A+G z{t{hv=slhbJ*@m@x!-6ly>9=21aoM(R2n!SZ2S=2RnW)_;mT$By|jyDT{f`Zh{hj# zrni`fdF6z`VGnyBJ?hT&mA=KtCTU5XX1j%jkCpgmNi25P=`!m(Y~fABdZyzL4=`22 z-d=||!QFX8D^V&qp{k_=SqRWI01E;pJyC)ZbEqH(O(4R@e8r}kisw~9mO>^Tzf8pz z8-aO_tirLROow3}KD&6VQW_V}L#&;10u++}omzsHG%jKGXb6m~F#)i1m}$UZ(FIUi zM*1Fi(|VS>H&UX)s^8T>1m_Z$+h%C4<6B=+zc@&2llyC{oC`vr2i37lp_%XpI=)-0 zA`+zoE<=$cth=$Z%qfTiFo^a&c(Hr58X7P}m$Q#QIW`~!-t-lmM|p4sE~}@h=8zBPq!_$)c{xhzKnfSFFZO$uEZ* zIzfh(B)VwO`TftzZwOttX-c{oH(+kl=_$APHB2HPXtOTL2%m+Q(3#ECYn7B=Rk zPOe0osVf7^Ec-i3p%h2Cxw@{T;fGvWdQ-mgSFXa-o9s^|v|YMd90>xD-sLHpwyS@MJPD;yHZ~ zlxlD=lCd%V=M8pqWm4bzT;tOgbP!QXT;623=nqOEHpFy>2T%}wykKcJdCjunXC4vk z!lAk{J^DrJLmo%FWssXCP-S~|-k@Ox1-=($5+Qq&8#;)P2FkNo%1E?pPYtq8NRTsp zQ}z`(F-1hjfN@^i7EjQHBY=&&T<{HC=K}T}iefY^9a3J_=+)Xgpf#@bZ#Vi~)W`9| zNH|NNlGAG zt-H{LPqRF3egwGtgCl2qPH=|&&cx=abOsmpBvM;&Fq&s{`Wi!L3FiW7XHkzz*ooGN+AB-5Ks7iJjAblU&AL|OT z2f|B*902=`ZUQ~% zv?)%*X*)+eT2KNjIMDLl2a7CMjxiv(%AGa%;boIE-sR=-_grb0Nc1bE6sNnQ8jq`7 z*$?=8%U?}$swU5TotKAbbRdnd!fm95;p#s>RDT$w09m*^u;04yL6)IJ(!-JaFKQF5 z2zdB{iUM4oH%33>x1EA6udUrRWd(oZz-!*~AH!He+dO0BJ{ z5AryPDh*>Dk27vjc)aan{L~x3)Fv2r`B@3F`UCMT%Nu)jP;J=oP`zkc9ep&>RM(EN zihlk#K%x^e%G+du;f`@W6y6lnW9f`;%|Fy`@J!6GTfG1|!S_Z_rpsc$8$dv@zLD($ zmn2QlZ2*wPw+B@&^NuA~hgw0skc$)x{ROoqcury=yRtXP5G$)W|AV2fOtwB0Laz+t zXR>2V4;aU#tRB0fbUBqX>@3)JBGK&3NNL5$Ddr&LOfE$Q?AV<@lZoLk-bhtPFd{9( z&C+H+C2GxJO9#BtG2n)t98JwhsX(#%f)00E+2CJrhP_eg#;+=$Q(2A7njQqq4wzNN zaUM;A?#)e`%Jy-#BsTOC_}$SqedHc%zXQbZxsx8x=fQ8VHgq6ID-2tDGSuzi@0#SI zofN6@Z%IZ_%zbag?~~jagKx9BGcPlv;y= zB*N+8(6!?`=$U{+OkU^`5Le;0a0m%IYjW8?Hn3wTuF;Yc%ZG9bpe0+!)YZj-frT;K zM_>@M8}T~Wh!&moKvjD2x|<36>by3KieYHaC|$<`0EXHJ^3Ve5ZcLkp4@Lj@6t^h9&S0D({MzP}`&H^muEOsxR3zNl&gZs*YVda&f)0M1R`@Z1oG zX@;Sqr7s#~z>Kj*Hx<9ZkfoShw$Yq>kL{#@ri^ZIIS5C3l!*PISuaI2argp}N%F)1 zMK+UFBLh(hVO!*YDJ(&f!vU2Zu+Y+8P!G0eC|LwCE-|%LG7XK;UQZ(ncK6@HpcZzw zXr$8#ruN>C#U`F$g{i9pJ^YrV-bG%-p6(==`8KjFDq2D*?FA39?rHIjlKAej6EzE9 z<;kT7)F04wh;cF|eYAgNf04$4!p)W77si)cz z>|BIY-6a}1+@d^K4tz4BlO{N*zAzU(ObS7vDmg?2d2A+Cct!vz_;GMXidmoUMp;S_ zt^Jz~(kOk68PGC`!Our1J`B;Q@?iHq!nV=bkLRh zn!IgZR9MP3pGkM!Z?sOPHeqM1Q2?&e71TOlIDmpOU`d75*08LX$KX4@USKA}#gx~< zKC}Jv%=gSIFx^m(&X~3v4Uic)Lh3coxTg{WAabT_4-yfM;+->MyiR-=h zEdTUkU9S{; z7xK2znY8LwZ#>d6JkR3EA1YjAKzdww`;O&D6E(TmgD&kB6(u&QFL+-X!`RnlS3P;( zi>~W68&&)0NYqO+vN?S{aUToO5m>7oQvGZ1ES{<(uU8DQZtA*0T#x%dOv$`c z%`YSn-&ar;leDzK9Bqp!5`MT9Coc-J=nRh$ZIY>+SpWB!$4Pk6^=8^U5kxnHOlP~I zEL$ujT)2f2B6mw1h}4&=Uwi8p!Okiw7i;A2#u=E%eIpM5{_A17^1Hglfo##~;)x71 zio-TIS+;u&5S3opyp6w9ieTzig3auPECz7ls0J1Urk+Fx0PO8H0FO=G4<;**{)^Ap zYnkWLoMwM5Br4DxBH_I*a!-6RVnDKPI0o}_)N$5-18Du%5VUOr7Y!*A8(KULNCrJ~ z-FL4?Q8XwvxjtuXC`br~`?=~otYW<(HKvPQw?uBbLm<$JnY#lrCMwAdp}jmNXyoBQ zOe~qT%yOt=lyi6jnhgp{Efut6+F}CW);psWPQz<;?>>IUJJi!U17i)UP4p&XAYR{~ z=1W0-++yrh$s(}LNFI~d6LyB8lJ-l0YT69T1{<&RpzDNX$S98knMaJ`I}$lm@S1|A znH{qQm6l3zS;#w_-?AB80L#(w(!7)fqZE(n;2%a(2QP_nR}oMZQG{3nR@DL;PX@$PwDFAg zI;mySiEO5+2yA}5cZ|;Dt`1=mEllrMtSM0`?4Xx25N9Lr@4EpED}mXuvk373SuI}N zURnQ(l*d8zG?ge?3gKI#6HVFu!@kJnF z1Mw=S+}7FMxN6#OsOYyeMh2s2yVGApraFmN?U;iRC9#m(ZsdE`MaaUo86WcPacYuA zS9L`jgS0R0iU z?dmVbx?$T@zk{eq1M6l6XRt7U5{OvzkXrSTaBGflKcF*u+{d?jLc)0w~0`!!p#TOWTm9 zCV=(Yw}CjGK0F8N;KLc}T05e%q1lzp4hUe0ftn^d@j@cFu)8@4tzClp;g4nQCb3gN z>^y8eZ@#j$O^zaxVk`Z!D$v2=nIWZTP~}n?I=%aFY|sm-uAD8DLxDGrp11q)+)}&f zaUK0d7*-YfI}YP|KsMl%dX=9DtCK=1XlR(=?wkvDx&Ad&-6_mCuy z2NskC=!*&m&pXtFf(|fi9@Uq2FZQ)5lE^&p)O5KUrugfG6GuH^NpfupSv5q6)A)tl zVuZtoAe7mw?Z}Sw%&Rxpe-wy;d7XGwvk#xhT%>#~YW#;mP)<4C@tdahg1L6e3x!K0 z)i1_E_7Q+NKyMC;T=#>ROZYN52qJ?#H9EYN=n}sQNPYR`9jhx`HGEBx46Dk5jT!5I;b42i2lA&5?J|C5gJMkfY1Ghy4sZyL%*(WmgmN6aDb+Ep*a{m zuG0oMF#vUd9bT9|+*nt-w`p`kUJVoo0F}=!bQ?>Y(ID_39=jtf!5kK12uh1Kl2Tb)|V%OC^_C6r%+ylIsc|8-3$R-Ae4V0 z2PW#siBOnVkS&^?(d(%|RCI+)3n|(~PqW#%cXghU@2ylp@@hDVns44Wl|TnSJbo1a z;_c}zJtR8&2;U+UMUH#flj0&iyj8o(*1^fCDy14nB>|qtjO&vC?a^>}#OYpmIw*ig z%+GyO6r%Lj#F-No8YLo{STZ5a$tIZMj7{p({$%2H#B8_H<~pFEj-vhb*KBeu$$=R7 zEN%dHMu^OD8A0Vk5ltGM;Xv|93}mICR3AC0R4yRB@ttuR4Fg?f4P8{7&Vu=MHf{3e zCP-&GBW0O#hkLxbCm-?SlQ4K=&fk%>9Un@`KI79;!Za3$urDaYoAi~-{s?KF$Fe`9 zL=(55>miAUi;?J+onIo%kKaK0bHCh^Abf%(VAfIGUt)Cco0VTDlevuGiDjMGybw}@ z7&un_c{5?@Uo&0;MjD!fC%M=)^#`VC%ty58f%@`hJ}_GdkgINKdQ?%Wh_qdZ^CxMOg3M&k&IDlYa*p(q3uOIezq(owwrlWGP!IV(8t4T3U)xeu)1Oqn0 z?^?;kI_#4!+>V=bKip7sREre6gjrK$MZjLDQ99%EVCA`vwM!YdmU&37&e^>x2-tZ8 z%A9{#De;tEqBJEqQ}@#HzEGWON%>jUUhEbMat7VR z(a6>6w+cb>6JoR^@opPk+HTty05pfYItt?zFPS|Bxz3Z!99KTd@+9=-EVpf2lWJoj~0wq&-}r6pC9A7zgCM}wC&rE z#>ffcx&*k+8_QHpRl065of1CR;|wf1ln1QI1|xONd;u}IkXrd&@O$MGzLk4kSDLMI z#m;{1Uc324xG)f~%#>1vYD?uh1SXhXKo9%-6A{YQG}pb#xysc~lztK2?_Ln|>P-vv zYLgWwS~rX?T=$LyEtNtf(LZ=G*-iBkH`F;@4nCaAT_&YOX{8^;L@62SdEy@0(oG5R6ivH{59jwht9*@&l@Tol@XYYHQE{9o`j%_eGwFz;$|&Bt zn{fUsqwlm0(ti}?!v^Xt6`YiiGjU&!>|4FdLxW$?W_0h7D{J+9P7OQ7Z>wc%D05xN zv3|A2_L?=)nv;aQ8Yt$O|Fpro^}2yJLw&co_J` z&T~mAn9d`O(qtqi2;l9jah27ja&&xo-?Yh-%{tT$_C z6lxL@!!N(pgLK#k)g*$S^IC?jjaD;e^Fl?dD%t$``x%sPr^McnNH*Hs06K&VwL7v_ zn?(ez>O^tsI0d~#UZQ5kG+P^b?+59EkH?6ichD@;j{V((%qlLoyftZntoU_KkeJuO zI`y?+Z?*ANCM!cU8U!K0YH!26uoc8d(W{%(a(?*>=jqIDqAs zE{@fFtMACL3DYfB$UyB@y7Q(B4K|v>pCL;@ON!!XO>+shu+o&AG$O1FSa2tXc!AvH zE8e4Gf4!)`6rOmJ3!k}lc(8W+dbqmp!i;0vXr=uUztHJ4c+?#rw#@$+3lBjApZYaK z>Jy{s!pZ}|Ov%K3GTmpr#vvy2I^2=L2*%+QPml~6w~Gnxj&QFhoIEQ9_1f@cglL75 zRVNlxlSRjx$2$E`;16+PhZx-!NG`IfQMSd#TH3QKJe~R_h%|%mRd@Uk1r~gOL)!Di zzXIrsM6dB!HFth!bc0~fZ0rSuEzrlT^%~WgN{IN!7p$es*g(v61{kGMFlF@3B7+4s z#!KwM>z9ivC$6$WTY8n?JsmkXerS^jSLNQW(t<6}FDla^L=(hw`VybEH9-{N2sfQz zgx1{n@Py?)#G2WnP)iXcV2KZ9WH=~Go=jyhQ85Kyi@cnUVMl6NOOHfXCNtO5!=Lcg zM6yoga-}fO2J3kHj`url3z;MWun0ky)N2q1U8|x7BIKezhB89b%>X4-6+<^ zsS-L0-q}^2CRa*ZN3L0?^!6z!VZ8Jx_{Ar+T51BqPdY{3mqNcK*^}DOP^wsHQMX@> zNG33HCbu`mKb7>Y9|l^yt%SR7aHu+x6wUpb^0j#X9IZ5OUDdMxNu_!_%#I zWV1R9=7tKVdFq^3+ayi_W+{988Oj~@jM&J*eUQ zWq83A>(AB7tVf|#BRUcf6YR-)J~8~$e)wY{LSOz?$7>BL7*|5A#h%c6$bdO(6Pu5U z!oNL#pi+@Z=w3i$x=4Epu`>G(wRs1}qMavOMQc=DLQbmw2TjuOL=!1zKR^dW$Ja_D zL6z1=B6(2ZA$+SW`_hPGTPonG_Pylb&9lCrMRL-Gr_9BwRPlP86sSsc6H=Xsav`ItJ=DO^$b{k}80-IjNgH(wzQi03JkEPou>mUP>p6z9i}?EL-S zT8xp91zwN=3i47)mOtXO1*j{AG+g~8Bu3(iC$~ucJ?w#luD!oC8DIrUREtGS+j49- zAzen`J}$d2AX1VTl^+wDSeG!7I2(sNL|F8S4```eaVL2Ji; zH?xzycg>9HvPRb}Bwx@;0)$CZo|P1rU-stbmc5Y!`PacF7o580NnR#yYe;3(%rFRn z8oH#6pt|`ePvYQ$(sYXkwcD7yHKq8i+$q~1iue+x3B$-4)#f96e-va@(yr7AhM*$R z@EZ(WiPTmYMUi6hYHf-`Z{Dy<CC9W%8JacXWE1a zMPBWPNt+Vni|V0v9C%N){UA*elax#B+68QDQ+`}@lZ77|CSFM(4^oP{U9^L>+rd zGAd_@*D+|4DKeAWs!e6q~yAYZ5Kk$u{TfD~;qD@C|vQ4~L!a!d`^?uO>2(0AV) zM|-nJ6G*gcUEGWx)0x2gLb)!|%8p(0^%uy%WE%Xr(YW zcY15zmf^Tnv<)7W-_~H9k6OhRdD6^yIW#d5z~sDq3?6NvxJ{c9BUt~+_Ro&2M@217Uw3ecKo%<(7Y)yNnXgLh> zHViNfwRq}lk4-ar(s@*5>#Lk&;Gr*)(Ig(OE|!5j5}j{}5bdBMV*Ul?ohIB>E#&+G{)<_%wVS z__A3(E9m#SZuEJM6!d;H%GCGTF2o=3^r&SN6kzb2@Ff`Z`hH*D_lhL6ieEIn*E}ot z`n#*{56|j{Q{bm*?2|+MC(C}OktDy7{LAL2&pP@0jbpFKD%&71_cwnUMfJw{n!BY- zDrQ%%YAwI)hK3~f8OY4UDo=fI)bAlg^THIRn$4-E*i|1hN@@ZxQ*D7=EeG#MO7peT zWBJg1F*9_YNtULQsg;WGn*9+^IvxELAf7_kRS1X|HIX{OP;`HW4OY$=4E2rlL#K$B7BpDIWu(r-0j^-HeQ zvu8429#VW$v(}&J0Wjc+>t)jbmwBg%z{jlRIUVzU#RIlx?A3W~hejoQvZ<0iXjX5k zsWfG3=!(z@r`Cc=$nyHwb;sjF;n4)opcZ5zwVr(Sb-cvHtMU&ct_t4XsAlc}22%FN zv3Ebus)Hb9uSf>$sqjs@vtCD#c8y=d;?Kp;FPHSPgf|yFMeN2$DamiXL%(151G>m# zH8rPYQ>&axRWcuV#dn01aI9IcXLs6jlhBgjTZ6WA%+Vv0geTKqC>AiP#g8Z5ML9MX z9;Q=N$eRPahdeC3_JT5`11ddTOQ8S$g z`gqu=dB8g`%5@(}SVL1hrhDjM_~;y|PI@M$&0LqvKGRV51BI+yuQ6<;UQbxIa_y>I zJ_PdCt)F~w9w98dyJPM~TMDAy7p|LDS%c2A)$R>F-mjaFj-7U0>r+n!i48upvUI~H zE#Z&d^D-Ljj>_x8s;Y?o@-Wg;u19S;zrWV%A|0qN&s z*RR=HG3CL)f5kCdlQqP53q6-gWps#zqebN{_y(AW

SFlGGMPPcdqA3j9;rya8}(BAhNyR79MDg+D0ixDT``Pm~}=HgM;K`Qp6Em5a{EwA?o#p=w5R#SoKbqkGAv5Oq-vL7Y z6UF#{+obc)?);yCkpG!>`EMZPzo?P_e}Iq{-zObcgyAEeePX+XqdKjQVUv@!LF9m7 zE|uXMkQM_M2Y>K4)0LMw^ZRzsfSEkDJk9iGp}l#%LlOtQWs&h-O=e0;?S5JhbDUY6~xDW)E?&AgXxBc`q$zC(&{Ua5s&y3z$=Y_B@r z+vjJY-OG0Qm&<;2KQ_lS?j>+6HB&Ruv*?0CE${C>SIv-{%_Ee1b!1D*Baa3G8IBcb zjv>@yIICXiB$2Fpb#{RSHDps)ti^B^p>-*R!xDfc;=13O-wnN)#nT0Fq!GkoBTJxO z4%^N2D^1nslb4v&t)+RzAOPDlcQP2w(UB#QEaGCSX0YPJ{;ClVg&@BeNWFdwgf20M zSR)I!H?)K>tA=eAf>;xvm_0WERU-WVF6R!2il`PB?mvqHD~!99lO2bs_wpdD2}oT3 zI7*aNhz2Wzw9K3q5LY%X6_}P)m>SRhy)K=#w67sOhqpO4ZdC>{J2}VHH(UTNFmyMO zCL}dRx}h0Xb%?ouL}1UTf}Co^30j>3DOb0Rl8i&6%;GJw;E}TUyjLJvxwyolKCR%9 zCRI0(34p6(kr~KD5xuQey(20LQ){k=ysBHvS~ST8jZ!rpPyYs^`vcMvNr;T2X>eZ& zCbYv`FeR9r<7X){NWuvH!MdO?sd_r74?J#Vio~(y_1fv#ySqR4C#Vr3Z`}VPY5xtz z{rh-vGyjL3jP>8vGJgL5GH3s*K>QnXe`gCv^M3?5>wor>|4;Z@&i}2n`bSRuUr(!l zdDZ{Z&HXRDU#$P%-mib8*uQe^udJSflZW#kZRO_fYGLB=%{yn?&&MBq_{m8l_bTry zuhxoHj&j@{HWe9+96}T(E`AKrR9w7G*c>*Fl$w~7SVUhqp#TO-T!)ENGCm~Ep450t z8=@}85JIBP`O#49aP)vQvc$XG4;3?L=h^Q%>De!THoM5TwvN~1oPO7h7FiZXMTP|w z6_@ShvvLKtaR138_2a)WmS}PGbo5!sq28rXM`LTjoDqZ&7Fn z`bg67M|qCsA=iE!1T@8{NbW<_5(>=%oo;^~{6)8v!u`>=$0HY4j}SF2Yc3Md=*!H& z=&M2gD4_+&06r*F$^S^mKnQ`$2*C#LvIv!u7fB04gyd-|j9_3WEZNUjy{1=(y{2zM zBV21;Eg{v33`PAWw?w^UZfUAo*qatp!dS5LSICErroSk|Q%sm1X*5B6@2_5O0VIrdS zU59@ARpF}612y`q#Z~u(us6ym?e8=W`A4Ix%pANK1`}tA`#U-LxQp%FM!W?Kjw@R$ z!3DWHV6#$Z<*FusPU)&nu~ASgcHPt@rA3=j(}-enP1Yo$Mb)sbmnOX#DFW%p)q{wS z7C-&D(kRvJcgu~|S&P5?M~eS!AW9%0Fr`l`i0nscB4mkh;hs3|NO5N5S^2vN@7tD= zJ7*r(ZTUsefl@OgeS}l-2c9C=@ABdoyjNT%Qt=9m>KJif@t&e2P&9uKdeUAwSz&Y# zY8IPvM7)|_b+@otULiVpVH=Sp`%nlL4A%mxXh;_mE<{2@@_4(oVXVfMNKVtonCj35 zI19I(Rw5vJBPLb@&UgaUfpn%6ty~j*JLBR6K#L+>l3q3xiPQyF(5XQOf}-}bMpG|l z!S_k^qZGIHsd}TEK8wE7Ag^ux(ru$uRmv_4K%ePY?9d#uDKSX0KPSz-IW&_nWHjI5 z@-VNGeK+}Jv#p6JBo*+E78nsU`MikJGWrMn_f+Tz5#OMlu7!U`xdL9`84xlsi?Imp zjO<|=`R)XvB$FiQy+n>(hxz3PMOtRdQKCg1t6D@lNoq|gs5Ir$g-Vz>oOLgkTujjmS_jLzJZo^z?qv@$S@{!_xuP zb&$#B2G-U3eS!A$?1y#Zoe`tKVXH%vjpb}!oF#u3Gx#(JS#e6Q{4LnslALOhi)<#r z#8&n1(p#X}tt??Vo#Ba@0+~Roj`||ByEQLd%_1{|jWn7i9(zmdh>TsXdF@d_ zGrQrL2&U9X{wFr1^If;A~*lKt0Ir<>JG2AdVsH#MZ*?EK^1+uRnc zsX)KWjrK=b*su6if}HnlAO!OXqXf0M56Cb=<#y3Jq7<27&wHl5lgZT?X(n_amCH2o~I$~4(Q<3nCHnrE6_TK$3tgI-@O1{?`pJ}bu;29`aFQ!Vv*dy-}yO_JO z4^U2cYF`xS9kq(5Pk&Q`FkQ}R6Je}1Yn`)e(5B<_I)8#MFX=?EVFgwr9RwuY-vY#KT`3&$F-BRY%w>X7s{7rx@SGsF;(f$d2+z0ir|$EWFZ7D$zjvMy>_ah+0J>5{vI zMq3>vx)n}FzG+n_ogl49e=Uc|!7yOEg) zmrZAJIBfi0Z+>&kc1f#xznjO|e7#F=IUQB7Te0`GdpvK~emn*H6m;sp3miE00MNDd zrq+EB$4lzSk(C#zR7b2&U4jn;Q)ik>pf5cQ7!wy|fr|_%ATH7lc&r&<^lgyTB;vcL zaUxY58yCfFrEquad{(clAFA1(%uloD&Fzm{Zto|k zqf2N^S;nnbtqrF^$c1tYU^+R`v}@{C*G|_m)YhIA@^_{#$XuFVS)W;7mOp5`WxeV8 z>RIVp>Uxd;OfxuVyl0$bv;$JE%X6-mt*KY@tZr}wsQcQ#z%NF2!>JA&c*3@4#LI7F z9k9fg-~8a>HY4a-wA-#3QJR8m=H3AaL4;RhXL^6BaHV$i7d`cj;G}3rjIE z;|(hk&1T$4cN-H5%MThiTARr)2y<~!F9vIl$U2XLrlMXW$Kj)+5{68MY}c_Kt*TmjgSwNg<2U`f_-UKV$nG@txHfQ@X9kJ#Kbn|KS^FZ1Wk+ zcYU0Wuqc_-`4uP__mV|G{bHA{-E(q!h{2LM9EKJlJ}PjglKsH2PFrI|+WJjAwbgei z6Wc;svsbl3ULzKRT&{h>muAsJr(Se#nFA1)&-#iV;%hu4*qTA;y$Uen9M!$e(6{B2 zUJZjw{~>|amC5&FwgSZ7r{6%m{EZ+`u<8(12hw5g+-z#UM54YMizD@7QAL>B>ycZB zl{A$F>9>}=YrB$wBl4!)zffNA>1M$8V0$`X3G~}kMj|ygWfz#gREI!=l_~Rn8=q@L z=f+;kLboDiESG4L?J>}_x;8Fat}h*#g5SXCbJRNLyRhV8vV`FC67;LQ*V%3{zCAx4 zCX}C)om9%s(#&Zizuab516^KTI~al8mc%2#G8{eLw|;P<2K?;0&g=RjCKcOo6P`yO zkt+rtRT|!e-QFP->H*_a%+P-m8!}$m%t~Xv4^gPb>ow`|61Z8pK%fdAL@54Nj=FHD zrk;}z$8bt8&+PJ*P8)SZ>(Uw#NYJ<8GpCxBc52zQDci+X-J=F*1WO-LcjpkSzLjgm z-H&j{{HzNMz}Yep^K&KWKv&3bbdj>Ae5L9~j>!_cm`%yU6H2J~ard zWLx7fkEXOWpSx<_TFA2`m)k-n)X-vm6(3c%Nb4WpQq_T5FQrF~dJ8#y$h1?uV7tj8 zb?SVhyl{@rE{qA-kMOQGq+!9;^v}ob?7>L2Q~=#mH77zqB-O>jCj~H#9f#f zSj0d%`0zk!2*rR$2**IIu#Ylb$M~*iVG3o^_r*G$4u?h8a~KKZi!wp}_bZp#`Iz_R zoy}t>9+6A-mq{zboTu@g#lS2@w#szFv)%T$TqXs@pf;1wk)lws3&EWf_iKY%JvAx7 z*N=>=o4g{0jEJnooQJqF%0fC%q9^qiO}>v)#k8=MS{l3D-DI<5TM|vZC4zHG4_T-E zsF}EC76nnanrsa9a?A(@_jXfjRYg97)NUS=00Jj%$qpPvd+}D@K_->S6da5ImFb;h zKT6F+oK6Stm&hy{H^OXAkC~jFVyQX4^SXsisrYs6>t9$eNQKOgZL>O^pd|>CT6H@O z_AgLNt*(J65aTj6C1E3xadi|okRQk z3~%oiRI?2A`IC&^(*vFF$hW`h@4FY zPr!FAn#F#(7)gNLY(z}Wa!PKO|2j-baEH&y%{LC|yZ`eL(k{bG@D5)~gY)T}N<^f> zaoBK51yiX;D7Er)Nrb*X<5=)98-uveBHbqh44^ zdtq%Bgz3|+NC!aI9wjnpCvP1yJ@xVj*6Cxil+?&BSE|Qx4 z^fn+t#nfthwG%D(czeC``L{rH{Wx+!?bMD*AT1g2H1ln!7q_A%B~da6$2-5q3Z3Ql zagETRM4MU>BW_p{%cetW{83Ng_a?$S=}*(YR>UP)PU#B=&D8T`n6;LwiQie27SVRs zQ#PXugM?J3Hj9y_@AD4}rA+m|ur0)_K6#^;ip{$#2&HmthO}5EsH%7|*O3>^3WaJ~2>US;mXCWrRJdiut8p3_J3$1o6LgW}cYAUMH zmZSk=F+%=3T0xF$Jp+;3Y@_DAD14&_sBdkQfmTe9cw;=V*sqjJbL97211H%W+*gzj z1)JT>n-R!+C~3DktA%1yBk6-vlxcIxE(H7!qW4dmN7zYJ_f82piPHWmaR05k?+$Bf z`Pw~-2m*ri4gsVKBoIPCdhZBGZz3Q>>7h%J-laU%ke$kUM||`ALAwo@QSu z+ey?hmeO2*<%yahruHO%?9CuF7%3~MA}noek{{&ZYy`q%rWCGOdKU9ovMh~`J$fM= zcN8PMnOc~Gk=i(iT;qKxjs5eZ!sX7#umD^7i}HPA$LP36h#6nkD95r(%BM~ZVG140 zq%N`F)A%--3yOr&5;#;p%O3*x3_3-IDkwA3I!<{>4VGEt%i7DNLxQy?;i(^_-oQBPA3CVTNh0cj>VG&%=nZ@2`Ah?GFmL3xcUkt1kN%qS>g67{I(r6ME-zw~9LSE2rDun}dHfqDa1H}Vtyu#^g9e3}tx+`R|FOfYc{fR2g6 z)DUkcZrMsw2K_FQiZ_8kXbDb{Vtae2<>obk%#Q^M0@#jku*aazP#Xh-pv(~jhi8S#9FIUcBbyJ z2^kw3@tti?%X&KrRK|`sVJF`Nds3(LFUa4J&v|tQ_c;f!^NUqc zk+#@hI$vO)(E;k2U=+5k1ny?oGO{KFs}78JBS+qbe{I&O$-W#igRV#K*-LYuZl zO-m!vn?}7&rkDxw2naU{mQsyy8{u1}Jj!e_Us(^tdlkJa9a37B!pV+{@K0Yfhn*jZbD2TS$Fl9^xr9eeR!3@SM6lS5u`M z%nbp@WxFe%fM? zk~eQ16p(!5{1a{b&wGPnR0At5x>OHHdz|DVX_+fD{j!J|6Qq$eNn$%R`H%wyM-?|> zwixW%-sQ=3ry!Od)4W&c#&n$>5l75 zLgeyxG>AaJ%HFIOxmK#f6b5uxcNIk|K>lUEwPIB( z5Ki29sXkfm$0!fY-{#gc4n!I62{{cm3=*oO`ht^!Ba-w7{01b^3(?Jr%T|}HVcxdh zX1LQB@!nOY7L(VqCry~C+Kg%f;JuGuKe}{aYG6(BSGl$Km)31F8K#5Y+h_8B6Dnj7 zdX;^0zEF{_>^r}#;@xsTR;Oml^`tEM>34LJvTJP9tW|~!!5PI54SuZds2DF(eSOS* zc$COK{-{%*eb&eR?UFI*!E0;*PWsDq;x-+E>?dmT|X#Ti5BJh92$vd*_u46ve^T0inlc*JXRIL5MZ?FJ`0+0_b#!b%73s zfi`iE&|Io5n&Ug_##0;lf{*;@2PB65Szm0FEZf2me_!5K*=F8hq6gS3bEuLuE&D8o zYql^ff6QF9Ma4iwWm3QRjLdP|>^;ri7}&O#B#YewT>+gf<;tnup?I7$SvI`B>wp1s zF5%QXqj+L?nq#gg8?hvBeOTX{xC;M=FW7W0{k$)}J&6VFl+fjIH{4wwB@PKWeW6e)pjm#ZBa-xg#Bu<#uB;PrSCB;lpRR|`m&5Rz# zZXP_(R1snjyIf!v>z|H8%E2qA7(ec}{_;_^OA++tm-+R>bw{__;QpA46DcgR`0rwJ zeT2jB`GCMGBpsR0si;M}p*>i~oBhQ3aB?H)n4kx?N z@9ffEu=h+=hc_KjNj*352w~_okch@j>C(j4OkmRSFn?TW`+z4zcKj%PF~N@Ed(}Rx z)_NlOhZdGC#i`FfM$IGA9J#$c_vVzr+vOfIkr+h8yK^3mdB$TKA0SBU!CxoLMYoge zXNQ9AOox69V@WhZz64B&TBx3yTh;AlLCYs{fi`-06#&$@b@C;ZBlJ3dNKVyCv;q}F* zy(H5WaE;O^$T>wQ!6!7_7Ge3NvuAtKgKN@mQ%;B=SMbq2yP{sm6;U%P%RT)o_ z8uaWa_sB;(vz%9`{v$8!4#ul~Z=fbs`Jx z(^EPgLy4{^d+Ewy#D8tueIY^@d2n6`wYCRK;pU3zG7pU!*2_)hl|gYqjA^4&t>$*^ z&#ND7lDK^utXb=DotxZovU%ln9~3Cw{!+QL7cGYrxm&^Dl&gJ6b$-h|T;be4Yw`zr zLs{C=zFPS9`pj3PqOfz$XMRe@SD$#~{C3(SP!oC|bLU~>*5wWcr#*Q@uS^@*k42{H zJCS%0SI_8SRZCO8bH*CuXun%$Bp@)=c#<=9NxA zIi#NN+_lAIcJHqxk8=DW>55lm^PEfXZqgstZ_ z;|BDL1~hiokTnN8&h~*0-PnNqdAhAqQ&4PGC=P9Zz=HA{+884Ye(lmikc6o*X!s95 z{5Cn;gtT~ds)V%G6Y-F8-@bI$DIdyJ0Zaan{^F$b(`9AFuoz#nO)Bx^%mk0V&7#u(<-d+R=b#&R5xPAkNikL6n1WOPgJAtM-f3^fot(Q{nRS& zQGJ+!X{_p~Npjnley36W;8O2zU6Va-#iJa9n9DWGA>W@ptQ(Fb4ITbQw87{<(ag#a zpd%*w;Z^@(DBvD)@{-!+T1EkC*K>}(u#uwIYVeT}gaz0e{jomZj zPdoN2pqflC`yB3XifABU#Y7W|c+G@aB~U($A1tSA>x`)Ld?$uTGdjvcXb$($d!jvcL4zF4_9jgIAbE2kBm^gjP1o^3IH5sbubIdmY%+1O|VTM>9Roa$YRszW4E(abA@NwF7 z_{?9mC>*lst+;8`#l)@i9`x>e_cRDdi;O_x(U!z@W2aNyT-Tp2wNCn;{5YrFg`0$2 z*<+Fnmb(EGj-vyH38{Tpl7vr6C?{Ye_UjirW@W^DneT=)FrIDk@O#TyIJhT{mE(xZ zzgHvW=6{WBr+XAsDVFNw4ywTTX7@SxYn6?l7lMRzhTzaW#l-ss1f-$36wZ-KJhGT}c z$QA+}v2}z#52I|96=S8XyZT>0bA7Q_i2#U_8JXXN_{=`j??-Q)G1EBIJl;Q#Lmz*6 zRih!CL>=Gi6vGq|LA6UH zvkPlr2*n{@MimPEn1W?g1`vTb0T+dDlWfZucQrnyfTJ3zy&dI z-vCGvHXdGBq8fSJDEc@&PsI#f+Rh*UIYqx6_|m(z(CvXl`mAqRbC!QWCpeJrwNv-U zk;k|tJtXatm|!7XPB>FWPwX0RO@2)=Z}*S1A3i@QoB?~D>4zXF%k>|eWdo@BGquYD zsf)yxb*UZ?b52U`JoNQysrC6VE=kVZa>li)Bm3Hw zNvyj$u44H2{BrJ2Qlr!2DC18)-Xf9?YbsDtx#td{)8I)S#kMfD3m$^)%*%DzDVuh; zAH2@uQD;$F4|B9h;#G((;?FKp6=<`@>w&4jyQQQDal*71sAMQpvnOP}7Gk)kw!Apt zhuxLM3urq~N;Tq%m7^qlJW4pL(Wbf8p1%| zsrHT8uH`w4Te>019SpBrMZt~95-Ysqo-dnJQT^)>(==vGouBWDxqu-2mU2>!)|uFOE`nZfE}n@4dBtLFSL}#t`{ZV22mHKYXm1IS zQrkZ$Ve9#siKA7R<_@jDJK4NeOn&ZmCSgEZa_hLsILYz zNpwo0&m%_x=}xH)A8-)Ys0!l^d#%K?DX^(lT=*;L)B)X$jHO`(=5PH237}J&1IC?4 zy6s^JIbvb}xh1?b_oXj+CH6F|IXv37(7>%t%$+GCo81D^Vi5)(+ zy@`Bm`8ni$4fHby--A@E+RNIo|_m1&M8Pmi%YJxDSIZs`|l?iOTawvyiO{d`73x@@rc}Qt z1Vh+qglB#URC?PW+*na!ipxRif(~nUQ|gFN4r2z~eA;NnCwQgI89uBpNGI{ZvKWC8 z)JpU;i+;}-oSB}qRCSVfr?A{hC8dzqU}<|@i<1kb!5`9?kY_8mN+9`;J?##kk!fgm zT--3d7vHBEZm~&Fi_S>50;?5c00$G`bV6W-#$m*&FiD;JM-E7p zzl99}cgx`mu!d1&rVWZlK-d`ALq~Ayf=&wWk6GiMP}P2FmyRfjJqnz2QHVtv2G`aviVV$hrV8RgKK=XTz1pxB~SV5 zj8S#B>`#f3Pd3c!h9y`CX-hn!Jnh6povnHb@8R1cMSCTZ5F5v?fJfzLDN z3vZc3UelW$BqPywS2wWE*yqNqs^e1FO1gO5xPP`3_G@SVkHKW^7uXK`REFU;F~OJ1 zoc!_k%(}Qe`z^XC5(#qO_Yw$D%jg4Q(}tV2ET6cz+Kx+mVH{$2FQK|+y0mBXk!pgBuwp)m)RYz)L;Be~d!~gSwLR*Kqe2pFJ-yejsJxk3T>xX?(w* z4XId5{P_B*k>q?L@Q?bh1{-R`PR%*2g-ebE9p#o6$^|i5IP&kr2Mz9;iMMWqiA@EK zEb5@0%cOJ#4}=HXopTO`9`H-rErSF*mWC|qlpH-8+cK<(EyeA?$?n)4@+KNpe1DcA}s5zUD0tcOiPCo)e4FZhTJKWB}sl zP{zmhFsZx4D}E4rbuZ_oGb5=4uC=JZmYyVjaV3F8h=|niIxUGrvk7uXP|SfBi3CnP zgs^D#euBv5Xw*wS-+Y$T_pKIcPX3L3-put2<2=>9i+W_NR;QGo7O8!&7cAXd+3w`5 zS~iH|55RL2Q|Xv~{7_K&!A*LV+aj>FkR8ptq(J6c;Mq9d%w5O*dGU!aCG3Fg z9NM?|iRbkD^SaYrbtpa-{rJ7M2!q9VTuJEn)&^ zXEUxk)h7koWY}s1P2D*q9wLm=5{$lTTCLVUEFA$(52F^ddxZA`kfWB;GcOm6c3~{39TIJIJ0xG)#)DIF%2z|KBjc3$aU781d->Qz^A?^)ISFs907SFeIOVz4#!IHuAg%kPMx8mqC_)^(gQu;PKP}W0YTIYdac-OXK03RKRx`-Pmq{kO z13_bE8xnMK?v?4)AKVvSc6lnM>mGLP!qcXK6Jy9`>B5!B zQ-)@E)0UkrSLG1lEM(2kLithT?W(qeU&yhw?7V_X2VXwPfSY{v0T+wNq6@x8rM_bl z<$=*@Lhud`ErY$GC{S+b{#>&VDY{)e-PCeZgF*@H1v5dxX@@3C zlqqm|q?ZCnh@OW(l9OVI`2SU?WEzt+nJ9i+4q)U?kl4cNBVvhdBm7(>Kl}|$p6{DD zaR=9*Lw+>UEnF`RC|uE_%%Q0K7qgddCfoiQCjtTi!N6bBjye7wB=Kh)0mn`3$j>>$ z;xJPiBWnPgxT(I4k*JY@g`v?u=Hco@*1w+?#PE8{*B%wU^dj~m8tEQVbEZ`oWm^|g zC(bIWAFWUndZUXS)E7OpWe(I%?z-Ys@s`h(Uw(PbZhpMx>E@b`)s|X)-${kC{a6oF z<*n7_gqcO-&Zke6G8N463L(>3ii$8%#d3vvR<~U*D>%pO@8MjNpf~( z+YI(pXL>VDMR^=$9HTY$OYZfa27x&@*6f~LA<0m<=D1OA+>ap}jl2%yVIxK!Mfwd% z^3*q5wHx3VR+$5Rd2xBnkvrTiWI{6>Ujs3NP}+vk;kp3?=YeO#^sx#Gvm)iH!i68R z=R_g|-1R1+)%8Xwc!mX91tO?Ok&MHE5hIHB`&9AoSi%s=#A69B6ueN2uPdpTYevG5^6E$834(ir1_B03#Jc|!$=1m4h&1bhp!dvAF30zJXF z#IX!fUT;HLBJw)pcefXN6!mY}-vUuOJliLus~S3So0q$Gns+qD(~C-qQp~B1?`9_u z3(zFqucpZUXB)kVE&4eFUfjamM$`yyU=6dhv9P|K2Y(}y*Ecglgdb_j zNU5kXiyFPwSG85vH;1zbTbLUDr6jIz21CRpG5kyi+$b>qOf=Ouh66a*|I!o|wr~Jw z0a!pl2seNQ4B`ZUxVaEJ5EmGrbE_p~qi+f`5HdG5H39%{B|>lmBXb)7H#_w9^yVUO z&RN(weg+qb=vzt}!Hi98Zq3~4DBBpBsUl(r{yLHTb#hZDL{Bqf2e98vl>d92&)>s* z{^OIMCTw5YI9ehc@!ZB)cx5r!{5Tf3Q(hwV>T*MwR)PfL6AcSeIKUFvZU~UdX zcEl$l>unn6&43F5Ba9)AI1v}|_k#cbKE83+-)nH=wi}oI+HU(7q6u55n8R+KE{HaQ z(Eoc6xV@V$G@80ZJB!L@ChkV+$KR%e!+2=?OEx6863jOgcviKhw`-(7U_bM9Yh%l0<6cSHnXR3hHdqS>rUkHh*jG~W^ ztIKlPnh6#gVlF# z$5_qEx9N5>RO8zpC-)rsx4}ooPxm%CN_Wc2+^yy(U%Ua5n=Wv&sgnkwaJ1Q!|6$28 z&(O}~wGE{+SA9cQr>RlISRp=}H$FIe*|uvtC^%9oue zl?v<9X2*@KrB}R6jDFjup^^1LF<3V{WYB&~<~Y&RDm!T;S}6_|YbU9f%{DeaNT?hf z8yjOX_lhDC2Uir7`7tu*(H+IqieYo+Yei~W*68A%@mxZg+w|OtkY~(wpU^hs?BP2mg zUn^!Ji$0`hx6dOpFvv0!iz^&K4r$~|qpv_8Vf;E;`I=C)bkM;lkoxNy#>ef7bN)-A zF>8A-A0<3}jA2-o_s%26{v|IKMuO7B8iFJ4#3_nG|2NLD@8LSmwGcV2g3OKT306C+ z4$+=AyZSMH87!sls4s6ef+k6MGAiH#d4;aLqF9snha6|cjX{bdTLUrV={YkjlA=4f zrjsKKbQ624(x|N_po7LFOw{mCjhdz(^qDin>)Dc)W;hG4Ue32szaH-f1{w#|s0Pw$ z_Hh{Au|oak*lZrb0~Vsyx6llHuaL1E@w(+ATl75oM?BH@sa9B?{3inM_}WkTZ@#4@ zghwI6L^-}VeLQV*Q%c&-cnV3SmUtFj^7D@EV+0;9eLqV>G;ksiy ztF?UHC;DwPVKm!GKjWUln(62(@GS3+Npo=0VzQ#5&v9*oOTkup;KlmUr^>fe9P1@! zKAf2iaVmzz%HF)xG|21&$dT_P*$&Xr<(Epo>NC+djPYOe^2 zSG`91tglxG-YFX*CV|U7jDY~7Xvs!=LCQ#3RvohUsD}@GOL7vQzEm1+t%Ua(S=+oX z(Xf>Y+={|42mqsF6J$Er^VLcSGupUlP=CT}c;cSA-|lU780e%;lb%Nt?qW-+$&4N1K9$7%QJq8)yQnbX8 zWkxG=$m!5x`(jo3$|7*CzeUURAj(~Y?D`p=1^-&41;KK#r|X$GC7J0!6w0N^fH-OX zG}=KeWih!)R52sjgn$l(Nr(G=7q_~%de6TmzrVC{(Zefd`oZd6AL6j8>&=IJTG(Rl zJ*L)el<%&V^srm4``}RK>~NJx_w_+n^x@E#oiG-D@Sb(|D=a(i18U0eX~GdL=rs=f zq>YNF6)kYIr*9Y3?qnR5crNb%OA@Pg?-V})i>+jwJHSv?hf>eDIN zs^Uhkd6cX!rM&4+cO8WF`;1HsKX*KwL?xOy|SE5dx zxLpBHm4UZlKeWZ#8wH=DT7Zf2S+zg_CG!*IYBry@qz5$KnP?C1Jh58vMLR|lc&2W; zaB-i2amHm_)v>BYN6TuxC8ch-sRckl6r&gN6mM--m)e4@`2=HxxVo>Y5Uq+~rT}PP zsoWpDNat;c0ms4QmY`Y`q%ImrS`95vj9G2!ozmtm4{IFe*N6`!C67r3>KqWZ(q}Wy z067^fp2c*383AN5j1X1pF7iYz&yF)XtLa;#j-OlgWxT8FXnL$FiXN{_l?0@hoqGL+kgB?c(2%&VnhJ>)+KjjnBMa*VDMMFq zcewR8nFXx}+If~ztmohNyBeszJ)j{G-g{{-*f>XpcQF{KT^8-`hZ0sz@jboM{TZq^ z@*NE#F?V_if_u*f+c*q9P}oojJYziC#$FIX`mm8Z*y_v6&oUs$YEYwiiraZWrPcho zOrbgc-RIp8Nn{S1wpD~*@6WcAMBg#S(9qUYr6?n@@kM`Mos=7z`a-Ql%J(CqB#NQ- z_(MQ5rF8NLo&sAm9)Bo$n$+W{!bg`^0<7nH^!s{sXq(AKpUiL3+n-^%e?~HM{EB2o zd<|pgfc~{41>#HcuO%t|^F{7I;mQ9;sv%VFbsG?|WC6c-)NuQP)EL#XtoSGABEu9- zrK=;ru;8U9))(FVK*WzT4r3Q><=<=_h#3qADam&Ih@AnSt2=^OTD;(Z(T@urefBCA zpJFmTHZ3>2(!PJFXiL7K04s{Mhw^=bE=Jt_9S(Y~YQ7c55s^zZAZQ@Fxfws6t1p~bi$F$g$)i&crwMmJAQ@~d7WUryIF zW$WlH-pS)X|pl3IdgrYZqF}>^{tKl13;x}> z5&<=TdH7c>`u`9qiz`ToifaDfBIW-8!vBYW@+~U(2Tb^Ti1~kqltrXOZ-DJh@=y5x zAGG|x@ev}IvLhUU-lfc6S=^x98@DSN8N(3m9zie&A>#LqZmESE+@WA?Xk>i@j~S#4 z5sU!L#__KtWm`*2QzNq*p5T@QKm@ekge2n znLpbB0$2X0NBwtozLEdr9R5d@{e|WMY`?CbMe_DCe^MNV`Ut85;lf*pe@j;UWJvx7 z;C>JO|Mx{c(>FGP-x`&H8QxgBWfuUq6$c>jHv-!MK(`|U;Fdp70^F{Sp!6pjBVu8T zaN+HO0KYoKFM9Ll&OEcWFtjy5u$Bx4`Y>w?0EiU?VFdyhOl)i{;XG`J^=1%KV{3g& z6PN*<)xz4C@h2}Nf>>L?24-O{il90Xv=I+GkewX_1ag4DoKP^78OTl#1Ty~3``{a- z`U{x;^uCBbf+(^uzOCAAB>_LF)c@Qv2Wz8OXg~zxfd>5Rg@FB>h{5p{;HL}%=Hf(D z{^kWR|5FBpLT-TZZ!!)9nEp)$1R^+z-((271L2>4o32s zb8>?b&E_{57vx`hK(3p|&+mFS?9o4DU<3j6yYIme2>0)L><|#-cOM}1Zdj&&+Jk~P zf3GhX3WWZCePAvS*Y9N@^f>=j27-qAy&ecE>88*8qg;gSUv+~3LI1kv2pM7trhn#z zfDk0+?=lXqn-2MpG7xOqO&9p53=I6&{eXahH%!`ZdK} zq}I1okTT54=%ydt453OE7B+y}{`iv=x*4be95;i)?IQwiqi=0<+w<h(?4)ODm=z Hj`qI*rd8zQ literal 0 HcmV?d00001