From 8f501d945037b5efa64bf68e84a47e41cc062890 Mon Sep 17 00:00:00 2001 From: Christoph Fuerst Date: Sat, 25 Mar 2017 22:17:36 +0100 Subject: [PATCH] finished mathematical introduction on finite fields --- report/formal.pdf | Bin 85068 -> 113646 bytes report/formal.tex | 55 +++++++++++++++++++++++++++++++++++++++++++++++------- 2 files changed, 48 insertions(+), 7 deletions(-) diff --git a/report/formal.pdf b/report/formal.pdf index ccfdd398f1d9c3ca2a368b6da824a4127e409524..a4ec8caee0621766863139b70bf394c60801afad 100644 GIT binary patch delta 81143 zcmV(~K+nI-m<8_l29P5IH8DAtEzVEM?n<-?)^t(w1Icx@NU;{e| z>_GxJn*)d9NHi!?=4036Oa6MQx|%OdOPWROi%2$`)%E=9>(*Z$-u&?!Ztnz(jS>3p z;pvVm7Bi;rOv2+tr*{v#yMIUDY$T7Gjbu@K%&N^+8XNr+$BMT6$hgY0zHDk5e{Y`f zYNB`5p1vsi!?D}^=i#q+%El?@cUz(2lvxs;p_sPp%6d=VmtM|&`+Vw~eVd&Q&-gVc znt*n(R7RkpTP|a6^xam9II)JL-5)?y-<%F0Lm1F|D{S=NjpimA+OFShd8(7>Uzg1%ql-w8sGrf6;K`US(XBCUWi?7SV--aT7pRf73cmAtsvh=<}gK58%7(vFqC`@9Al^t`mA{o5!j^mDT7t zyn*;^SBm*GAA^Q&RVIzH+9}Dv_zjO{`*EmmXinEu6iRwT4gANn8jE&imk%Ap3Ot=? z5j`Brj;7pl6zEx%$Fk1avOu>p=7SG6@Fn`4@i7e;>4ev!?uKz*e+O3{<Qr7vGbyx17 z0thVJK;AlS$FeVvCy1U8imMSXC#xYIyO4H6=f34*HVR18+)JpQ>D8_vg{$U7nYN?x zPly1%Btd?Ts!W)|f1~cX>oK@^kJ$3=Tfb663%zg#;P@|@H$R}N^SowWQw@UJB6GQi zqjSAsfu?5mJG@*2j2^8eVU5ogeZf+g;AhqC-3w`o~y()Jlu)Wh20Kpr89D@^EOIVSi}Q zVG3GdPlXP5r_B4mbr_aL6_lEjChS5Shn6H{3SynSzr9=#Ba|lNgk4cLSSz%czp0yg zTNit6ATe=U8C_C?!`BY8FKT=n7OuSMH<<;u8-1KI&INI*Ti#>}viD$%2ofA*nO zD??)jg8Yo9mm(nW;8p*gc?tY%0v{**DI`FN$xra2a>!c?0r`84Q53#ej;$7NjtzEUyn7nzT{dB5e?^0k9t4{BfJN`VnW|uX;jf&CO<5pu2M>@5)bQ*R(IK6)CX6$y_8| z3iKEe6xQi7%-d&rcp62l0-gwfJ`{P_`KeH6L0#o|8be-REq2!r*D`)9g zn8_DEg)EG%v0tcH`81_Z>l3J?=7`J@kl&tlA?y-K<#b(Bx$AC=`KVh%O zU#03A{sP~hjqV28-=LD|r9=R&xK6J436wJOe;h6OdQrppwOH9$&#Cm0u@K*q7tOQscj*qbU4V!Ni1Y>gaDHtuA+_0Xd zf7h*_v$%8{gVa?Ddu@mSGLt#yPA`{8VwOxx_^l@_LY{_Y9IR<91C7wn9}!s*g^mC&$6BS~x>#$U=Z5 z08@1aI?1K}@b*G~NUi`5l!2O4%=d$Y5*n@<**DbX&qEQc(lm)JaH(~GTUVI)1AD2i zf4Qu*Kmw-N<<0TfIASz;kRF<+P}~hLTYkkUz#nGT7*2S>pfAeT0x^`3avM2hfBHL8 zZQMoU{XXB}Syu>#0Y+qUAxBqmBH=cjyNBj}QL1}fg&1Oj-h%C5NDt(L7mzdskF2%~ z?}xksvg2Zeu2*K>?FOI-@`Nu5vBV>k&}x#$Q=!0Sw5Vx~9WC)?t8%H9%oM7OfCe2Q z{ppWLM~BdZ-(zhs|6ohH4_6lWe*~!Y`N>@8Na$U^B)nSc_v~ zmspFKo6H5yAhF{fZ){|w-$rr7==Onn$nuTeSxdG$qV^dU7gGcyANWD!>i3-&B( zF3=l=WtVjo(}CcJnp}U%TG)gQRn|IotdJcCFbA?k*{i);%`PJJ6cby4f7>t&LEBBz z^jd(EnA@9K$G>Q|q&(15gI3sL&bF9zzA5GUz#_)hm9KZZaZ57Gmi zUtOx6t$-3|0DA!T+UjdmP>5UEyEQE8koxEPkGdjFRiC_syqn9OQlj+!H z6^#UFgI*K`+hE|_|1^P8f8$WO;&)K}3_|2mCBefR4sPc2q%CKRIrWc?V^N_JQ?SRD z>ISowOMnO}XJ&|emA~Y*y~m17{}ecoS(3I300^50tA6jG=s1}b1tIK4UGfVqfxYH@ zr1N#)zdXsH)q&GiwTc8|D-@3^x04i#Ma9npY#ucJGgs7kL4*Dzf4uccFywghj^FhM zKZB0oXb?#`j(z3m_fYlasVeiuNi9wyk$&UdA(8Nsu4J0TBUdF~n`&PH7z@2T=v`+K z1ZSr9;jnHVibXxmZo89ofW24}O_5c_dVE!-pKq^zc5|QHThTyHmw!WD?uzC6+uwe8E5vwxnXy!w z1*eq{G-XVIV@m1n|GTQ*jn>u4pIqo-ySWa7%|Mq++PWiVU2OV4{A+E;!M^z1(p_`> z&=l*otoAI>X@Pr|86%O5l~5KQvc*bT=3GYfNG8~FWeiW=miw~BMN$PLm4mQyW~pWubeb%Xej(PnVX z>CzN!9XMj@B!Jw zYkys!6lBH|FQ%g>{6mmO&`fE^Lg$wChWM|@p`d)yZi43*_vxuvS4i$>dhm|nf;~lV z+J8IU(K31&&$3keryq>H(asumP)4fOMEtO-|iXhUIHksR(KR7U( z{;(SwEW@?h6V*zMnbP1EoahK2$W%J*$$vcMR$HdCUK|Y7je8rDV!Q@u#$a*q*QXK; z`_#r92+z7_{i@{sX^zavyA7#>)txSECF9Oqx^UT$v{h=Dni-dm34XWWH&A7oW4_&@ zK?5zH>auN%J^hnM^+&>bt{2*W1HF6!9>yw%Qy^|>2^)LiK1H)-%Bsa^&P~)nn12!J ze6O)=XsLsorz#kS z0M>=lhz5czd$r{e{w5QCj4hxCzb?)%uo4h0-{2*si|sBy(%>P&2OtKiv%$JJKP4n% zPN#E1^o)>R&i7|T!8#p=o!wN2J%1F^+{T=2gnt9ZA)m9#jPcZsjK{AH@ob9-2Ji8- zPhF0&EaiQ`TtDRX(tzt)w?z#K1Fq~;(Imv+UINu!)VRRXzuL4kP-e!ah3El}_SZcz zbO%&oY?UU&L1Y-k2uzF^@Z+fRcr7p{eq4GfKL&RWry`6z#Vf&Wno*d<2Y>Hy3;`9m z5I%(?<_Tg3*a`#KC)xrbo|JIbb#=T)6jdEtn%h2f>l|`=uc*;#fj@ee{;Z3pt;=iKdz+V&a zw>|LJXMw-Yfaptc|DW9O8h_zkO{=yK`F@fIbmxaVdh@H0z;J%>wg@&XtY%gU4F4<> zA)om@ic$fmkKARHLZf@B2cyT+Bi>CQ3Y7;?_^*2!8>^&FJh&^oM~5fx(M^|~7(?k! z z?p3&%s6xt|$j0mdE=gnIJxlwOc#2#*992YY(tf@0PvGvG8?;3CltO_2e9jIaad9I& zmc~+kyn7YCX83ZZRS}RXHDn_C;zRhpIwRsxRQ^BeOfSI?F@HlaL!R>#P44CA{U+jM zfk-AGTuyw&+oe-URa1pzsM+9C>8}FaEhC49A%cFkMi*g|EUYa>2weHBn~Mc zGNywq-9#iKER%iIxrr@;X{de99>Igl5p?45OiajhrZhs04gj^rEEG#cI?uH11ZYTU zXPMSaZNTtXqknatDlAB>i;8n3rI(SEo*_w1NJ0=#$5znM&#QctYXo@XQlG?4Vm1Nd zkdibQwVaIO3WOC(JY%i^I|q9oV}S@pNtqa`ABUKy;zEtf37HOP$pDw{;-|o^ejQIe zjTr(Qz**-9!WtaOrOxj)ltwdcCpz=Rj@0?$;H1{%Q-8jwAJvR!CpIw;BI=B-PlWi2 zwhl5%vx|h}E)h~pMk2bRU|dH#q`GVfDPIx$Y9v zAt8i^HKsV#?r_Ak%I7Gg%o9OyU(*R z>+C5J>+Dgc$ulOhS!I#xA81-VbQ~Jcx;MBmDS!Vk)TGFXT+=+Pcr=qFe^ehD+S^pT zqU4b(S2GZcZ}ue(?{NA8NoaT1;g7t#Y5M|a)xCd!B?@Zk6aOMaQy_YQBK@oI#f76hJI68>1HM-PODIe6fK)e_L>-GPn5Tr|uR~GLOf% zi+^AJ^XljMClr!{5m>iS2I8=ElXB5K*keNyBD&I-bVyJqKp7N-p!4EL&x=DnBMzyl z(e@3*VIY5bN*t%skeoRudfic{q$>&DKYyF*PE|+5022qO^bOiyU)sG=Y5G##d|~&> zf;zZa4tYT<^CG|e;(7~yT*5ePk6+FxSTtmTC3ShQqaz3)pV}i?Mp3BehbSpFLi?v%M&l^8`Fnm8Z>({XM-}p?%%a zecSD^DLxikR7qTRLt{Vy?fMugO=0;8bPXU8gq@M+##r$`JUF97lL3t=5i~P13NK7$ zZfA68G9WfGGB%STEfoSWIhQR$0V#itbp=$EYu7g2ARQtwfOHPs9fEW>48s6J%)l_@ z(A^+X(hbtBlz<2b3IdW!N+>C)ph$hA$8+BAy#K$}|F2nV=DGKE?Y-}7$1@zP2F3!) zPH;zv1{{VI0167r0919=Er7xRVPR20VPO#>4h|D2(gX6horuE>g7AUDVKRUJi=m2u zfRJdL8VHFd>cU|FZC?)nP!s@^kO4}{2nz#5goUO5Cc+Ui05y;w)Cr&~2+)SZAU;GK zs&KDB1k}Y9iO%!)BY+#s0{}`(OY;AA2Pk_&5Ku4(2G9i|T_K+6j9`!lz!(mOLXd&~ z3c)SsibQ(J2nqT7`wN0ReFT5u2p0t&etJ{IFc*L`)B^(0*U%9}1|azXAehrHBFKNk2afg!`GKGw zAV)Oe_tilF4P`?B2(9psJ|8dw>V@GrzZr4^db6nKQ$-< z0!G(8Q0Px{-C=Nl80znnGZg0J{7Z(Dua}T14C?I*(Ng=vL7RyFV{?HZ0ph~aB9amk z0EjmL5&(7;`jx;W&IZJf1;z!5a++n=>8+10RU@Z^!Nb*!oNQMJlUcr%n1(j2>cKI zcZ-Ge3=EZ3)%gBM{s&Z1fd>Fk0wQ7n0TF2lVE|A}Tnr#7DFS~8`FEgyO7OS*-&O+< z^w0JFS4b_GGaMlOmkM7a=z)d+xc@W%Hp1eio9540~5y&Sr5^oqd#n`#dEYom1` zPEcRZ|3(B=&yGUKmaH# z{9hP)?ZEEn_lgg?TfZR)daM4OQXK|{JN;Te5pf9s2!Q|v5}})qK8XWRK=htEK>~h{ zH$X@b21lY@0BCt30B1OY=vPlgBmhE=2oM5!I7K`1rea^Y zZJ3Ghj(~rO(oXP|cd%K6J9ZalzcxpSx33hLK^fH#{}-A8ZNs(iU&qdG8}2ko+$X-Q zoe@YeO}2@sp5-WYES#ff!$S%%5%5wT2i%%HJ$p-8{N{#5`vD(O$U%x|CCX}DB=vkQ zXruFAu%BO5?x&>5C*Nvv4^_fWo(%rX!OPp4p z!~g*NGGQ&)s4}LKb)W(l&YU29Z3ZVe)|8DX|KeY~&v;s|s_S$g{|5bi>EFw*{vD6R!YJbDQZ1j8IvcOEIM3BE5qrlS8A)WMW_v-Ag-9a_Pcn_P5B`n zOHzLuLyJs9UkKOTiboZz%01#?P~9V5$w~`fKmWWJq{-Dwu|Hfm=acG9FOR7C)Edl{ zD~H$DX4{w#nYKpf3zMdAsl^nfn)q3b>*0snq0T?G#iIA67SBHMCygmU)0^y!W*JrK1ZQ zN)NHYIgh!tXr>P{fA&+B1wM&r8Rl7a@YO1(P|ljhcYz;p;Ge>>x6{};F6nu644Qu$ zMQG!nI#$~s(A(y~%=l-2ey6$<)#qkCOLMPvw#_U?H^a?Qs&YarEH<3B3E_SH8}3X<|~Y z#>>>Br4v%z>3yg9L(O}~fCYu`XH33iA${qMoVzlU`|=*PbIb>irr|PAp0vm9Rj5Bq zYJk44KD16#w#$BVbw(OLYMmo=Yg^rDLiXi}(Qb-tCK=m^1o!acw)>2Vs;qw#3bHP) zJkRDxG(laT38i6%k6Bg*mc8+5Uxv5y>-eJb4`PO!a_{&9YsCj)=i@gaIbm-l_1^Og3m{K?`M1!w6cpTStdr1tImrw_FH}he^4E+7{#p|u4it*I(Oc_qC0>0dj)GSIdU;k zaapo+?vB={t}w4Bjv;?0dVj^`V;j`>_|xJ;hyvr;xn5UH`a;$Z%K9pn@7^`QMPtEN z^JRQ#y}~aO!sIr-SKD^J_A6?f_r$mQepFd9Mv~veav|SmZsuxvi__>D)xate_I|nd z6W6{TLV{_mCCxFV#JzvQK8pU`EYz}9Tg)A)tK}+7i+(Wq`AkhS&KU27;oX^VFHFYTx#)g;3Avk(Kbk}FkJ;3A z`(5UWfYg8MwD4IRAwH?EjS(9P%a(INPh9@8@PtA*5Mxb!ImF2TLIq`HtUYdW-2z52RXeghx@0=E>iZ$ zKgUtdkeH9vLxsh>Ot_5tJn}s=N;g`9T_!FkwlUAv|Kn=W zX}+p*ZBZ7Nn{BE5#l?NGc-(JHN9xK$@)dtAlQOS#^=CmNGkj(iW7eBhj{GZ3o}eY( zu0;Bb2?^;OtHfs8@rs___^99}2j=lNiqy18NWT+}Pi6j#lL!%>ktrsY1m=06ErCsJ zeZLlQ>|u&QrNFSqNs-b3+iv!$8_b32m*-zG143g_7@t`QUzG=q$ys5X!czs2j-!7n z&fT|<4LjFEi^iXqHFM0=8^s6Pkf=cK^XhRNhwd|x)uHTXI31UYoDp(&wh&m6cNsy> zM(GbnU;J!+N0f+HTGTHMAR=aGNqyS&4Kd|mz8_B8+ifn)fO{ny-h5Hirg$$!kM0R- zee`e#+m*3+L@Q^R-2>YG`BPxqL%M$@g1a{esx`TGBtw28)B+PURC4%+8c(EH?y4<2 z12XzPFEV^0AxW}5Wz`T|XI^0qA=(>wa+L4ItFuis^w@0BiQ%zIdpYGmIt4m+ZO z-g)`pcH#hoOqM3K<>t4m=`ooBVWeOo*!(D6{%)D7M1W83Khcc9*~InR(B{&4aAKA40`LSU){7 zq3!N!)9WB4P|v7Mog+5$dX&CD>G}1Wz!u@gtCFm^6viz&^|VIocLO;muTL z$`F2`GPcYX^W`ZI$6k_(VoHB!BL=C$aVZ9~WJMYiT^m_b`@wCUoUq{oVmDj(Qj7~z z*$V{T(VH3Gir^ppy>5hgE}0||vc*t7?m*{tsv}n`H4GArW2cC&>~7&>w!@ts65sMd zC;kUM2JdQ|d0dW^;v%s$_3sCrW)X#N?F@7g8kgA}XP(Yv@Us}rIj4UgbY81Jx5;n3 zDTQJ-v-v$X&3Pp&v;EoH@Wkltw)Em1cMPXzvFH8+S>v`Jq5f3!3?C%#01f)CTG*X( z^_<>yyc$rfmy9fLRte6z+{^wvI~M8RtL*FhQUPT$tY$0OeX~Dy?6h%!dU)PIFvGBE zj->e#rRzl%TLOI-!A*Zv`kl{)pN`ba%2w)0|4><1gFo2AUj6pL;^n~8$#6|9cEZ1c2&9qaBe}!NzRmjMy~p9xIbcO31ZG|zUO~Vs04!j$#R2e3&}>t z-2mi}j*ho)?=2{%5ARa86K0ua5rk5E?Y>rzymRZ*Ruzq4y?fZG*2Bhiu$YV7{B953 z)_aw`?sKbsn|>@68s@qfao5N~L}%kj!fgq*f=nG$E2*zQT*R($S8 zQeYMmd6q3gwBtdf-|peatzjuOp-J&`t>sXxS#X#XVoZNVfYEAOBiGWJLG7r7dOcR5 z%z`Os98WsttdI;JIMXQ~DV4|(TKU+YIW$bAf3FduyipN{Gx}|kom|H4Xq%{AlDKj} zqT|*b%dLSaJ0m|PMEkBHZaback9o5ht?8v8U`JJeU7>;U?&RFfT4?>wkD~j9EV#bN z4C9*z4px6r>zYOm%qCebq6hZ|#Wo5TxTYcZjYu78mm}N@`JU9RGHk4pQ@90hbV)A5 z*L&{i8Q^(SCZtnnyG-GU&4eB9u9u_E*^)nE=@FdZuV{aMwvAJdK)U=rO&Ob%Ik0Iow~o{L+OX6|2N6$E(<}wZnRvmM(Y@SZr(H zno6fPKUFskq(cikBRWwb_tPQJ9ew~!!<)7UWh0-NNR zu5TN3*qLh-7+XyG-s+vqT*{EggVbkdb`j^Wg&=Y=)>lG^OVi{kthuTqF`i*p{U?7J zy7;82x1OzV|=D6_lsTA>Oy1 ziQ^XMWZQK9%;xS6oMWX;yQ;GLu(W@V&8<`2NemPhU2^k_3;O1oICE!iS9BAT-FF|`Dzx(0shRlLjk#>O~}GLyZMiim%Bmsb|x z$f=h8KA8#zxb$dTmJRACy5aby*OkLh`jiVvi@##ZtU_JcUTHX-#ToTe_I^(1*}g{C8;#nwuGsk@bJE(Zfko2Hx@ON7#?T=enbYi7mNVnm{ zp$Dp&xi8}~Ba$YFUNqdE)ntKuO4t@+12E%6uz#T@TvK8N(de?oI(~mqZxKFe7|h3- z!8cWGvH@&3T2{R6+mHLM6;J$Wnr{88@De6?2&`}YWmy2VLD^9rV!<0PG230`9L&)3%|;&-h?G%Gsc}!5TMr3QBQ=T40h!z#qz6GI#rJ>UG|i`c8lH@P%tvO@rLUQQm{$<%Ry8 z9YX){AlWpz`-fE)c0^O5WFI)wEbpBQjox9dW4%ti9`S$Gcymy@`5g1>t=2GWmWg2= zVy%=nDro{(%AAg=C>5Up!ClTX_t>K-!GLE6iEvx`yJUK>V%2%iU@jf5k2*ZwNn9A) z*nJ;Yzkw-=mT!w2_AKFI(9w6ep=txwh4$H%rbB;MiYeffu^0Dgu^`Hf!1a=^^j(kQ z+LMaok-DJo98VuwC0n`lF3SxNmVhZdFpOSLa&ybIv*gkXL~>LQS(nJp3NH#SG_&&(jC= z{x5k?e&m#9Jb$$%%ec4Y!`+a=ZlJRC4B!gaM{*=;r}YdG4$=EgW1Nw#3d&rbe9Ml1 z9~DJ}H_k#%<(nO;cBOra^fWvtEF8-Wl=dsmHKyVH5@n?|@9~=J->7mHEn2 ztNjwCPC*Z!7U~?HAT^I1#SJbC{rLq8`_kB5dhqIElCP&UWR?bwu#d&AWPGVq%)Wms zf$r#UXNgn><-u47i5j5mdp@&M6@3-imP&Ogogvu5i74qy zl_QC}<2kd{a;%A|hn<`2qw<-u>rwQ^q2R(vedVnci?xOeP5ptBiQEt~oa%0Q3JiBY zg{dTkx^Y^Vm^>|eaEk8@R>IHpX{8$La0;%$@4( z5p-;`dc%od8iZTIi0n^E41HkNelfDpQrYF~ZaBgj(W!o;Q`iE3;Brv;!1%?&3(jMq z>9P>H#TCDqYnG}=&P>LznE;j_jI5K=;SyXQW#k%yys#Qh+Ak^fdGRKy6>Bz~?sWNi(pxC+`;)AM zY?Sp67~#eohG7glZSZYRTfB>;(h?a}fsa-x7t3nx`Kyb2QDWjS=acQKq4}c&+2YLU zk#mM=9Zk)0P9-_J%_0f?X>EUm#+Tz(QeuzOak#3@ZKJojc~w$9MZ;m;`r%afXjL2W z?b6nY`b%B*$imi5A{Z6QPX#@Xx~&>cLQRrlJDz@?=b_<>rP685-@c#k;#7a$e=MDf3PrqBA?VGxb+ptAFIA_n6m@OV7AQ&ZnmR}gn^(Q%wcNZ%q5WlJy6 z^#EcpFLyD{X^(B5b(T;UO+7l!SYUIDI;mk?bu5028wf3vlsAv$F4?)D+>InqT7S3s zWKTRVt2nYbzB-YdDpu&k96)$B5~gh$GwbZhqOwO+f7NBlQTjhiLG0I)0gV%r`oI+s zH8(N}FHB`_XLM*XAU8NQlOQb>1UNW3HkU3!0Vscsw*^>}?-w_Yl#~h*N>56f(cK}9 zG)Qh^z^ILFbc29&cSI68e>xep)o`)xC=nt%?ZFS2;diy;1`tu0s#U*p!i=zI8p+j1agPj0JL}k z>Tnk*iilMaj_^Xl?CjB)I)7aP*dZJMesOV8?%&}6d1ojR1_8MMv_NQks57P_1mpzJ zheKdcwAX)9uuIva(Fh4XJ`WEMUXU}27mk0lli}b7c)-y106i!QigbtC0DiR$&;~g} z|7?wyh!tR94@3Ro(1+WiJwQk(0Ap~1L7*-uOo*F{4HOB$R0rs*X##W*P?tZ*ntu?u z0e@}|fS;HD?{t4g|4IaN`5g>`K;X^@kc$`0#SUN#bAkeNR5W?fo@j0W$i?Ot5#)b_ zf@9)A?jV>G2#g{8UOEV%BCiVoVLJS?KNJKBL!eQ-D45f)9{GNy!ECd#i;W`O*%|7B zMiKp5pArlSg<$sGi|^0Fb##GyxcK~qY+)`ow!hl2aYOJKy1-oBplV8gaxf;Me{6P8 zG(Z?ACMqZ<41l@zWzF!3lybyoT-%kEtW=s!$J_tAhV2f!3>IbuhVt$BxP#||G z0F88m`uY6Z@n1y5&kwMHLC^p&)DGrC^iOt-8EX3n#+*MA<_RzZV&umU0RH;?ePw}B zm<`;;$?G5b?<3~ZQ`UN{X2SJn%YQo+6yTl!A09yg0FQt$5Wo)<5(9{0F8qJ~o9FKx z_^bQh*2f^&pR4; zA($`z|K}Sr`R%>(#&UEpX;2msTwAHWulB>I1K(4xWsK8;_d z-$+~(zz6yVi2?Y){~&PyALMT&{0m{`^&d7rMn8Nm|AGPlKEywKOfCdQ1#p{xF)+1J ze?t*|3~~aY?Egg&0q~)J!~gUQaYG_8oAO(%m<{<0|Gp_fp`K6((dTJ6MDnRa-P87y z8hKg|p0yDvyq)wD69Ipoks?b1bf5CL)pDYKPWFt(OO?;P{3@0Xo!SbnC%FqB_kC9D z85_KWj(8YVHtZO|@zd8wHzt#Oj_H`D@3de&H%?VxkSIm=VLhggBJCoSwXy5dXT9V5 zu&(D*k_Q__nTn`-XuEbtS4~;ACKa8y(YG&p=vMHc!J6>F{fB>fU!3DYR-(-#(zG*~ zG^9FCi4r}kNtXuR4bGAE(sxG%sk;ZS?XrZS$&@7r>6CGgs>jQp7 zF1KydSH8%RdQzvoXTQ3)ZSjCTxl7dEI@vaw|C{$IJsDz-LLnWQU$`D=Gn*UEh|@eE zlXQ$S>dAnqzFB{${6g=j9v-UUH8a^Wwshg9k)~!g+W(ZDTPsoes$%tbK+0i0!_#S1#h{-(yI(_ z^EG}QxLIs^yQb2r+1seaBkv*>^M*$zM7+XhHRZM34dhx780 zZ?)&Lh30@Wyx6bOyWLs%`_f0U*l4%}fHC*QR%hhXnESkK5loe{E4|MS87i>jZLrF; z^UKc;f~em2!`rb0iQLPAqR+OyFSoHX0op`}25-EVk0~XM#yjmq1`7I!v1LAUU;mV8 zOVbHd7jl1=2M%BA2{ui)a#9TXbZ`|=wXNP2CtD7MxvhZ&Wcv2N&S9Tk}lONpCnyvm4l>Dck4{BM7>Vzh{)6Jsr8#f3)t`i{O%&Ic*eJEr!4`X^Jy!hK3XRsZ==oq4Hv!r zrA~i(s~D(Ubv-Axw{L1fiZP70S$voyb|525AxuAZ5hXYp7w4GIZ5a(t%-r=JY9#;> z4}}U@Dd4Yck>lN+JMSMk0qV6CsD@XN#(eYf6P1A#>KuH^+ zfas=Ef(w$iJ=#v4t_Jc*%_+!-0 zT1PZU*+ONZAEu5Iq@Qiswl+!aI%r(PPOvz(I2|ppS{*pESdeCjukiGS_T_tirB8(B_%_?Kt}dc?COP6O z?@E@=j(;>R%E$(hW33A|K4)j z?`eKGdVR*EAf$~+G;q%q{dCFp%&&jz?)q3VM@^U*uD;%cNs8CKyHeSx1_6f@9n1FR zkTz1*E|NIIoVL&n7mCjC#WmmvYlYu)#OytruRiuvLNbweBX3%ID3$EW zL3IyoZujDBfnYYKW0p&DosF^t2oji}BwbyQLSL&qJ@ovXVc_791ZRw?QUiaoxo$;7 zbRcu__QC)@CSAlyN8a*w=*+7q@G~=l9G@k_aD)z25?B|QBdja%L{Q>>PBZPGl;p~4UP!A6;g}oBmy036BrmW|5AH9OuzyH11%p3?O#jp(7#7!ymI%Nt+u!1 z>{iwIT44oPNl7Brce2Nqtc@jj8F!^>n}c zn%pmNRfUHoizy3C@qoS2+fhkZ4~&+qAGp2gP}I_!<4C-!O?@O(Ie~vKbeeInSU-2| zAkUd)Z8sjS`?9uj(mw#Y}LYtByY#dP8+8_ z5eC)rENYq>J$VWKCS-q-Yc>pY8+M?QQJ!?H3#@x!($}RK-_dmPd?3Lvt>!3e1)vq~ zbY`GRH|R2c<(1V7HSF)dzCeY_?90o4{6tLwDhtwHnJRct9V$&aQC z`Q;kJc=^P!B?rdTZfuRJcqg-zbOaiH;?uy!ar$U0;_14SPfvg7MO5eER~xLV%2&_H zdNvDAaZIYdFs=21dwytgsQQuSSy-q4IvvN{tC7Ryo@`sL(MGU(6E(vrJ{RL4ts^Kj z-;Bz8ZrC=xHt=rRM_V<{c{5vTX>6^#RDu&6tnEKvRFNjRzN~7}VaMw<=XvrVnwlYZ zTfK)!m4gncdlY})NUtk=R2X1zAFS!eCo>}Kc=y}=V`*KF0-Y;SD&dP~%(N0IAGr$* zt*A5~%O*4qyt}8ZShcRNbu>>34ad&@vH3@bo$(QvixzfAq2$x)AEyji(XFb!7G|KT1U~Z z@)>b<4CC+q__jgVMP2SJH_l0Q9&bP)9zUzxid}51W5+X-I^7+8r$%)Xv3~zHNEM%f ziNM^u=<cabYiG4PWoT@%@#wUEi4|^vxm% z1)I%KBk3yd&w?{u2Gi>P?dxWB9gSC0g4UPr`Bw-RWQZY&mXYzxtRvp9@0_Wh2~Uf$!il8xMbP|>PQCNiufUn>kyw9uZCGmCRAcm3963)i_9v~Nq{_GT z(YJ~XA;RC@D=y1L1;hJ~(0|Y)0BA;i&$jLNTo+JcPYoV+ z$*-H4&Yp$M#k?FHdl8Mg)$_SMCgjT*FLHsP28Ur^+3W=mPQ_*Ox5L{TA!R|{uT$6J zkX3(pcea+sS&9{25^G}fMaF-XXi=a#1WYe{WD9&mn>#+j?sX0|1< z*HQ`PEtaxx?kdz>@{l>UziQ3xPjxI_J~)4+!BFKKH7~bdRV4p#{bSdYwu!F01l%lo zP(tTPB{Q7Ln64Ov|IlvLZUiyD$y}2BrI>%Sy!YqBui3aZ9omvis~P_H@y8O&IuMKP zM`@HT)QXQvZU-i5f5@we?OpVh1Zdp+Awt?Ezj!=3U~RqH;UK|BjC~L5Nqt=4^_5`> zE9aRAt@)?@CWZCoq?rV%cUxLa+eXev*Pp?=-L|zf4q7jd8}} zSiHATB#2jmUesHIWjV0`Sv?&eTq=KNNCb*+ezh9mdFAKmuQ?|7^?SveTSJeedo9cD zKW%Y1R%f*UOhB{0!U)B{6A34BD9d{%o{z416T%4YY~R;84$FKJ^~0fhMTNp(uKmL; zZWho^2#wxs%^AuzxuLM=leu#s#E~Cf%e5Xr5I(%Vh#T0gycG`KiQ-nQa^3G?3%fLb zA>URj%<7*^$3?z2pKW>*{Pz0GxgHd5?Vh;YhP1hdko`6~Syi2FJEb^6iC_C-y44u( z2oW~9?}%RzGBPNi&q&Jt*+OfT`XkvLLQ;yOxp>Q<%CRY(lv=0x(GOnIbO&XY-onb! zLDb$XSHVM&?+d^oNBu}d+-vz=Z2MAwB#Jon^)qWc_4i3vj#2Hc!;h5hC)qY+DMLa5 zh2%?BwALv(D{|sd57Oc0a+*mXgER|0H1W4P-ksGCX*j!&4JE^Pl*ee+LX+UH48ULJ zJB3%Pn>#OF3nX{Qlz-FkbQSC=UV3YVE~T%`+Km6;J7)Zm^%<~mSbAMKL9V)gEtz*m zz;X#$Uo4TwPOmCc0o|B+JUm}NDOr8|Y2f4Yr+&`H*_%8+8?~0@N4!ziD6n6AZuIBN z9#o4Qg;f%&oew)LcSYq{=hHhniOO%v)0}=pE!dksvIgHc0x^gcWj3?0FYFCk8VZtE zyJj{_9`3B{E8;PgU%PikwH!KsT#;eL$foC=%?-)ZPc*L!^Om6`IxGfgB~=BgLSNU( zI(0VGK`8F7UST~hK0bH=B`BQT;z9Gre&VCy8%O|4g{36TT{@ogt@$kCZ;mCyvqtjC zpT@oK$65JSEcS?%ECMmo{&u^+S?j07M9P`VB}R8SVaqR{HsmHF`lrRNTZjoBniVU)#b^Rq|=D6 zc17AZJiIIxr_HnHPy(*bKdxkRc|R3vG@Ttu`Wzk_v-x7JU9aOJJV5iuqQ5aX4Ur14z@ZTb74&akJx?Iw>W^Nn8jv2S`WjBPplxWA6=(MEIT z4gbu9kYXui)DF`m5?e{49VZufvU0YB=vhlkoA6Z1PIoe>Nlxa!*U{X-k=My%uL?uG zwXJ1kpF2m4D9x&WG6}HZrSl*ni8XfoYa+la2Z9fz-IVurHbeX8x(?GJc%Gw6*NWJfC-vD5sx)=BrN3aebg_j!TPA;m4gk z?rtcnB*hUpl)7V4lyzD3Bjwd@V#Sw*%|{;w$hwp8u$nUsST@wOj+VWmurkG{g!r`R zeQTP3JDKyOtwm`1@v!j{(6`7(#2nu-zzR0-rNE~t*?Fxuh*t9MKjUJMl)jaP`)D>G zz*~$|R3C|83#(&^a6DXnFSkO_SdtzE(h7X`CiNZ#^Se5z?|J$GxcUo21~Ca*GhA$} z7MS+#neXVtR)-D)$D-?pHByxnG-0Yv9(JLBv}av$TOVH3%&ku)R_lGz*GZ(8Txr$g zI^t_#@_xhjpPLgeds*J$miDxY?k+dPdllEU_*_JXAlyM=W<^XkRQBoDH6^@PF<1$7 zX0ZoeO39x)Z#o;7STQGpqd?cGz8)N8YSv44DtllckT0ko^_quQJ;wmSBseH9$F}Z& zCHML})t8B2K79O8?5fk=VJ4z?8HN@aX z{jB4ZaGH$?>MT_?wl>7Z(HJ4R=IW(4E;Ycg>`5$rz?1F%4EN&ED1~2*Y3mPfNXFzr z^(YSq4Ev|E(exsFg=S{zim_ePiyK#e$PsD2+B=a)_ZX|;I8 z6q+g)B@=>AS6WJ9xCrGvC^ZU+j$Z@lDig8^3zbDy>79&`;ZpcQS0`HUtY|C@o@Mwy zOn0xQKbO_@B63&?{g7LJ5!`pw5j0`*bnpX3Fj3!KU zvbgdQ*ORWHJca1m#mLSr=@tS`w&5TH(Q+~Wfbe+c^zo(sPN$SNVvLkcjCFmlTkO@( zn@hU$=?d5#Vy?k!oK(`j=xADQ$aoU)ZXeL8d8ek~Jxa=`%>%1qfPXys_&FmdW1I?g z$X*&xS8&{2f~lMery5{?ek80L@ljSzyCF&(z9{ zzO^C=RzWtFYtRP9I@V!yZx+QlmIA#7rUt2=#c_Gz9JKW8Z zMFK?TSB2oE^0TU15_k2u4%f5~oW$aLD z7QXun>g64eh+CGD7zPf1yL0J)T8D6Ed&HQ*CTs8B+6^APe0G^)&XF_1@v?7&0>aPi z+c$RFeARe`-MX!H9~T}^2Xk2ee37QBJJ7VresS|yC`tH!O1))i$imZL3a!Oz_%nI} z;YXa-vhVd&w90NR^#oo`4co26ZXvpCXBM$taIUaAg!}pL*i;mMwI+Pm=-s|+rb*=0 z;!4<{(AC7!BlnQ{**lTV2gch=L?iKM%9Kt0YOOmWC*0?12Hh;-F;^pAS)apyB;8O= zMZj9uuZtMtrEw7wzLDcWRV9*iV-pd?X-6-9;>%F2O#lLB;qB}>aQ z>2h#@$x1WrOqT9{jm=%oGl}qN;EsTWs3-fkHX#IY)nl=CPC8y(cVYTm)DT$eFt*-8 zQ#TB_!+FxA@jc}uSF@Z9l$U1){&FI2<4Tdbiuw+2>hu0Ur+1_~{bT0-)OuW$Ebcw< zRHfpK8N0AWf-A3})2;js5FNcJs;-}d3bOly(vkl*S78xBH_LW3|) zs?Tn7CPVLk@bs~2Bi_8psC6!1PO|na_ED?pVjK30Fcn$C&w?N8FZ|cbB6W11R7Tw% zI`!`V{*bHvY`Hx{XN^gUIhCreP9i9*>|nsj!|u*&jcF^(?|SyE(Kx=F=*J8>n&#DI z`jhfsh*iix3!Eo2lEq!>^3@yNIb#q$VaXwiqo7HDVPa0UWFy-_@oWU39FM(KaKoqF1AJNe1e5C1HN>RF)7>ntD1wmyOD1UvG9T@o+Gt>_chV$b2Z) zw0ewk9bw>>H<>8c^st{a%INtSv6z@ef4ph)b^jC;Xy)aGXhGsOY+3fQmE5Tp+j@1< zr(&g`-X!U0hu<(kC}gUuP?dk${`_9y0l z#ezSdL{>SaSS)^rM(Nu0#V))N9v+D~(i@{fH87sA9K6HBV+8puUbQo=00yF7T}GAX z_y4foIMw=yd6GOBy375<;UMYjwi1=&E5F8j?>3C!u`1ot*SSx>CVV-n)EuH>G|}s* zrO&4`>ZUL{U}wqRf*T;6*MCG)%BFOGs#B;Mn7Hgynl`mnsVjKl_M&PO6!N_JF3KUD z13JRKSbh5f%E<6f&)7HMWtNj8_YftVif@b~C}qD=FlB=UjKRr>`nA-A50AQ#I6$Th zrT7Ce%IEq%U6u|G^*J4iVzK9MT`Ohf4MVw^-Ty1liLu>F^IeI+w08Kc~AyoVSR3GsS7-P2D=dyqWRFdAEu~o6d%I zYLma%HobC9(zXOVHD_JfJ$@X2l1CSyEH>?l=P1jyqXlqdapW$(g-B#L31O1^1W{X} zV=4VKF&-@WQYpUhWwEK9!&BF{5vVww_B$0NYPd%RHzW%k&J9K*dDe!zzI~>o4Juw< zkvl2{@%$KK^>P$&o6f79k?t#7a4NA>ze<38&!oXIFMD zsDg(3-0-u<7ljczOUvwFL2ye3$Ohw@-N@cQDED$W4paI#+;lGDw3;)YCqFr&zon-1 zDsZj@cBC6j8aqEDc|3deQ$LLHD)#d0k(Ls!i=`&`UY`f%g+Tm$`h7W%suq7#H|Gt5 z&{QjpyRM@UEYB^zX4CM02bVc5^b1v@*^PRio}X=mE0xs3cY8GD$?p7M_!N=iaP5nI zVj#4=Z$-7M*!bm$gPVml;isEi)-^pR^9leV_5C|z%c0GeMdZ*HHmr3r8@t2qUHr;y zyc#%!BQ>ZceCkkF32MiTcT=xqwkUI1ubk7gc*#4?3QvRD^T&yQ_ox@jO?F`$8QoWJ z71(&K2qm%hQ1hoOr3j#my13Br9L|2t&~~o_+nYql$@*d41@Xv7wJ-IN5#08XP8S1%-_#i=xXVS?SR&d=eI-Z(s2q5ho# zP$Jm-w)IOS{zKn0YSf$O0Vy{FqmDpl#`BfBE~!Vh2QKt~Oiy&l3n<3Vo@S<^+*3LS zxQIliGN)&80UsRupLo0kpEbseJ8a(LQ=RgeO-uG0?Sw?O1IM!n2Vnax$N4xXMPEga z?WrF#7;9ZtwS{!-xzoM~G%lJyk6%qT$@6<|hBG!b1+UW|6-UHx(Wty`Sf)NXMvQH! z6-zmZN=!_D-@YR}Lam4|+V~U5UrF^|Cuq8wpkpfu<z?$Y%RN_zk?{34k=V~PhWZV>)ye6j`1j#|oCgd3BcxT}CF6}{rxmRbd$?T@ znGT@*h52|=97{AwCQxK)>)6#NHE%gT5J>er@dY`({UeW4z3b5Ty+kr&n+kIGf~WRB zvSiA8RE*c)#wnR42`n;LM{L>wUH6RNcfQoBf{O@?2jbT0if?O0o?}m*KY3$);Zspx z5;(ViB27g}6HMA|ri$IfK^S#FU;#=!yguDaL&RHP{;pQRm7Q*e8cr8dATE z5=1$3mt>@KSiq`aM;p3cu96_Ei@lr5VCQexqZg(rUq$vRgWcEhc*?%f4@?kuE12sQ zQp(_g%C<3mCg1*WU3nq9=Xf6|VvFS7+rMB|UKHphkqm8H zUq#j#<~UF9PS$SalN6HotRQ4kAlM;Yk5eDjZZg7${ z#+YkfH=paqGf4>*lxYP`Y>j|owl+?*jC2fK0AX1rMg{-_12Y{10~0JMsfvY@74Y9; zSW-2hgQJD54c9*mgdKo}P9HK6L#GcrSz8-`f0VNofRP!%$i~IU&c(n0U}9k4{Ewln z0~bKV(8a<8AWH|3vb6y^!jcNx+POPen3+3$r1{S)fWnv(z{ttTPV=`rK+qcKU}0=% z1CTXzG6!0JWHdIk0w~)WTL7Kh|0e_mkGYeR9Tz>ltE(%Wp|vBOt%DgKB@MvU!pR(< ze*|;{I=BE$0Dln%$QfD#|HX_BmK303ZsGVZxw5UPldGWv5bzhPIDU9I+n4|y z03XQ#%91hwc{`xZzl>%6Wk3V?cWnTSbd3KE_iyjN0$JGn?QCdlY-??2Xya~SV+Js_ zumS?)#boH5+?;3thBhXD85&wS+J5*Of4Uf2SQ#3982o*5Lx7l|BEay2;J@iP8ar6n zIXTifT3G!>k^ZkRA5|8$F%h=4wg%cbIl}&RJ`oECpz%l9-Rb|;*{?RXt~Q?k2BsD^ zCZ>OpFmbk{SGBRQcLqv|{M+P11p7y326O_jGB7Z(b20;f_5h%pu{r%;;Z@x2e}I20 z8UGT0F!1)Yv$X@5evklqTbKer{$M>F4PAf$CkJPsx92|<|BGN583861#!dhupqYgY z?4Rf#VxZ~2@JI69sV))iqVA|Hb&f zIw2ujH-INC3j=_biIoAs_}7rJe}BAq|8JQ87T`bR|CTBkTKxNP|A;7QV`>ZF{1=Ch z;{At*%fH8h;@>Mn3HaX(a<(6{3N|K|D*d@IODG$ z7mDLYul`m6KlbT=Q;OOc+nW5fcucHp07C}{LwDGZ)_)*YfG6X}hMEA~{vK@rJ)MoM z(}xS-gPu3Q)Ybv^ua2^@e*)+Q{}TNRu>Z;YwJG=fB$L?y~#h|M@rzI zLj8s8oj->6kHH5|(?9SpWbqH}$H~n80YCDY|H=N*5_5MubD+&XEIwra^#3^WKa+j% zvHk-;?gaXO_{wES6<3|Y`{sBMu{xil$qCdtTyFl;c zYWolM$8b3R1AbJ;HLK7 z={sdrdccOmo#6MO?k}r5q7=UcmI+=xPg?3fg|;Rrwmo~j=*KBd?X|%!PNMfubgi}K*wEACd;SGqD9GQX#|U&SU3_fk4d z8>Jel<6ksOf0|>IF^5S6W;vQ)`nc`f<)< ztz3o4u@j2~OA8YZ{5SIG6q%>cVUiTaf@g8TYX72J3r_(-7Cg<5RoX9fhfHZz7D^E| zO+7U(qe~r(yV>6XLF737D7y(YB~7UM4n*>3Rc-nae<)5h%wK_chaILuYwdSxU8a^l zaF;o!>)rvg@S5f)e$8E;&-M0eL&N>F_aQ%8ABLKSce=dQi}?Haam`#AsYK1S!&g_h z((ryjmO71rb*cj;QNPeEyL{((fiw)}@eH^UdctPh&SzlI;(+V{9mPFo&Gx#A_O58S zle??lbaz)k+d=F%kdpG*^TzF z0-a8z#GODUew%giYJjAGMN+(HZ=rH1TqnTY@{u!-?p&=xwJnx4Pmyrw1^NDuAER_*b!!Zl22D0)kUe?2JYTZfWgR;QzUinw3|SmFK7Tn~&9 z@tKN{3!!yW45GRU@6*m$XW@%0O{t^^DS5$?Y@hTIPpH?D?xILR4_39G0Q$GzO@2(Z zKjj}NKt88`S&Jr3-(LYI*8e%wq;~a&Erg@2@{mjHu?f<%Fg>0&Vma7Jd9BK1yQV>B3v5F3Iskc^GY8*t$sT72)$CDi@ zmaPVs*k5h3XR`BTZeC&zC*dZ7zGN6dY{ATxNQ^Zx#`Q`$jKr(z-QQM`XZ&FNe+L}g zlz~qpPX<0CLx~r3$~#Znk@ZD=)8k_L`jGkMdUnu8#gQL$Lqm0S8vhWM0sjqq(g`}8 z{%AI&_VksQk@O^3qPIKf7X2#c@`H!?KJ&+$=2NJi@K^8wElhL2yBK8ys~Rq zsYlr?O@{K(7#B~r4a~%OorfL(m_wHRP%05K7VkZHVus4JrZnBEH0JRTWfu*G_^`C6 zVVJO%ka*@#SbRM96$*rKY4VUBCV7S#wI7vik_sdwR?kOI<;}DS7@OLif0!q;z_Fo- zhXHJ8Ea}k&GA2^9M58K?(0i#-tP~n&TOZkSrd~{sb?5k$?9f>@s?;{BLioOJ__C>Y z&R^rj8~nX_(uwHCl$awE_ggxbW?4=ZWc(#N(G$J5&o)phC$2ve_S;FaP2_Zho73{g zm*wx~Cj<)AncN5tIqV5#e@vz;cW`V^e0CYt=pzS(cm-;1pUwyw;=43+Y&{-H&K@W4 z2mDBTD}GH4p}B6YZ!ziGmiBA_D)nFaCCx_=oey(_tk1=uFt{2R5ug{7OrT2!-P!H~ zI+xc0cw+FyL6|Z&tjgD}WF@pGGu2g@;vNshoX42FgXHnM6r->0f08fea!>X1p1bnM z0EA>la2XflIcqdXi-y8ZvOyx*(_`yifhP62kP6KF3hPxPQii2uNUA4;)RRxWISCsH z^rpXiGOT`*Du^=WaN(;7QYs6{(C_nwTa`84IzhJh)NjDee5#q2706@~ZTE`iyPu)txOc)Pb{ z>_7)!^Mt471ZVWC*q}%QYAa7{=zE~z{d}yxfGGwWGq%Krf}zWl2bSs>ntpZG7;3*( z86!Sb>Fz)je{xlfEcJkqonHvI=UV9~jDLk9Gy0*L8uwyO`&ifv0z7i1Je_>zrUgwq z2S?dFe&A_ONU&KJuMY2~0Fl_{leE}_N{-QUa$JX+f3y{am04w1#+ z(%gv7*6X7oiy|XN^{5Y^jC0#wt)RJRv;YwAsQ2|Of7j6@I?V>bBd!bjQ$^lEKG!_1 zOr{5xZZy(msRLYiL2hZFi=0SDgseC_CyAtt#T!|I;G!AMmW>sgJ7}mBOpKU(!!?gI z%-)H@SiXF;pdjY3OGtw6`m|Lp*+IjD=H5a*`O-Lu`tsynAX#TFgTFN34GS%m-U7yA zY1$dae<%~XTNsvOpw~lCqF^qI85Gu??pizBtz~=7iBZtGqBP^Po!|tWHcOuJB9oD8 zBDFEVsU-hg4v39ujw>=+y9U=sltPH_vs=bZ&2FcY@9Ktythp@?tGC7~S~<3Qn1F_i zo29?nk|f@6zjb-!M}aT+*{TU;>YUMFmBX3tf5w^md}oR1>4uN{lE&9#sD6qR*0!x` zBijvpkRjPI0BL>@3t62}%x&U)_VC9B!0gRBE~>#z&HZ=7GSXBAkuI@^59W^|JD2M& z_zb*|xRkrazG6BDAA z5RZWu7BvV~JIXcR{5jN1il&$_E>>Wx@UwS&3MtT+q%`&?(G)Xt`@I6^0_Uk#lp|*- zD7nE-1wQ<#!?OA#mt11O>7e7x?}5Z7e*yt0)4OE9q$hvFvg$C}Wk%~1iVMB>Jir>3&#HdPFEmY92 zq7L=s0Cy((d9nt9`60@rDs^(L((Ex+(9}vP^QYPl1!*sXn!o!{&NS_T-t9Guf4H9u zBJLM8LlvHGVaLTlRYh}8Z{8v=XQTr==MW_#$!i<#|a&#oADH>&hpk!v{k&Tgd8+vwYT2bYq`L5G8;ND_dpJ;)xJ zOogpzki+wo7Him8xzzibX0+aIe{<}Eer6z3m8T26VwkU*1KQH(`4WcgvV9@5vD&(y z%aU-*m`vh};$SWKe(v}kwY&f3+D2;woGPV_x8#1<@%N=|8mf_iXPo;y95kV@FhPVT zhA}jqy02E_=>`5i1BMOUrjcE+nWI9o2?_0#&Rx~`Y#NyikKHc_d{!-7qB91?g`b86kh*{{Cb?N41|6xl) zhiIlu8|r~EX*}i3m{sn9v(%1{iCwBq==G+-kska!ywQx}w!{rhkp{tuPrGuPV=O`3 zv9H;mi$IBlQx zS1qe-Q5D3-{`m^(MffL_=(Y;P1{~kwXL`&0;LX0J976APgT(U_5i)gLzroVoc}0yD z5-5p{q65THC&~PZb{OBmIl3iH+$(`a8?-Wqq%Zonr#7qp-O%tI@-I71f^v|wGVnG@ z5kL4L_1Dq$^n+K-e^BEad@|AdW4NOX@T(`!ilv1@*Du+Cy^UR~1XXd(uzZP!R=*VO z;zF>?a(!ngJ3|^X9vcd->7%$mDPxg;)@%9Awd({SRbwe|jOtca7br@>AU@1J-io%O zXb%=$GLZOHg}mi5^9y$-PpmzT&El@Jzmt`WFk^y7FMxFnfBOflecVE?{d9pp|8B&j z2cxhubti6~0%MO4K5z(3nQ07;xlAfac6m7HyA{RNOalotek*WDagW~GPL5TY9aQ}l z816;cv$D8u7%q`iv8mNEQ^n#OrRx2wulJzmwipUk6);6OlBD_l^cduka28Y&dRB9< zcqR)=n)J}Pe?YXV`4s;-jaO)CR8kkmPZ^5w9zc9E(~4w{FsiK>B4b{vNxK)|qwMhJ zZpaFdRnQbKnVaOs=Y)vD)rBaT!q5akj|diE^^0HIn4-XjeMpbvgUjd%Y#I`gunf)p zvg3&6fEM7kngqK~*Uh&)IbT(kGx7CD<+4>TH(62@e=*O&a%%N8FqYDEYFEr7&7f(Z zi9dHo(ilWQS%NHy=N+;={u~16Vgtf~;-4WFfUC2kR#VE{cVk!~Na*g~zQc7jLyekg zOql0(37HgNG$H#o|80xj)SG!DDeYvWaA1c>yd(*!;(**#)^Y07EP;l)>Z|w5T|-l| zW^Y53e;%CQ>;kFf*Z`qK$3=v^#5?rRSTuqDV`BvOVQB66wQt?#7et*^!o*-q+SG=~fk?O81frJXo4472I@_Ij7)D%HqOO;5`e1768!xlp22 z$rrric7}&~aQ=(tC-Psx4KkX}({}70o<3J_IJ>WsI9w;K-F$b3HT5>O@1bVxa`z#8 zUDKV*c*1$;JVj8YsQ~S8%BI}6;F7q`?vM}eU7@Jd2g>^&;fbkryxC7eq4SkHA8z*2 ze~NR3ZC&+x1ZD=ONoeVi#;BgTEOvt6!%uqb=wWV-2t~P*`pKzmH#ai#VpeLLZ1T5T zqe{g;pwrGU2i@aY>?}wKtj7AAP6WPwZC0W?N&EfkLhd(UO@~ZAro7WF(l)we<^Do| z$)13o`&sk%yl`DbpY>6LUSpNGGpoLMf7+*qh9$t$cvVDIJd$gw(4dU1F#~vg>L#l+Y+2sJ#v57J*|w z5SZry^veUT1+shoklO)bVWE(|wqC3{LO*4x6=WDqZ*Z9Rj??irI zI^(bF1}onsU?7F2SWnSdEtBBeZFpp`xoks zke^caY(gEQlNoHN5Ihm8toXG`JZ>Vs4*>6Fql!nHe^ngbDwZ=c4W?dc?^qAYv?YRxS}Ib7Y4@1A zF*`OJGu(}ib*>l7o=V~ALD6_}Uu!Ncp9FiNY6lxMyL)Hh*I?4^j%6v9NFB>fTewcu z>zcHe0ovB4C##;__5M(Dh@)QYC;-P19dX?=P zxP5foEA)H*$|S>S1>DO ze!R1c7o8vQr-4k6-<{s~Jo<`Zn5c=%%+pXGpgW?Ki@)V>>d`ls*w^ zKR#;VmwN<>lsE}|X1)g^r>12c$}S4&(uVu=DdEi zwrU`HPZbF}gb!l$f2#}%4j#gpV!nbU=fx)~cymLB6V0?s-^~z@$EjpDA&A{S=^S9c z-s{aKfa76g0tFoe9=D0 znH1yxLL*03Opanv60TDtr`RQVEipTGJ4w*VuflaEuqbwcaUk~&_eoi!YmK3Xr<}6Q zd{ccM%Ks;eX^WUhlX=Vv-C~^z7^R*vFn)IbBom=21Cq8Kh3QxDiB;X(<_2pBfeoEG)PK)$;*N~e2GuRN{Tp=fwB!f5lOoI-Q=OP;P1+(h1NB`B3^R8IBDfsA8 ze(-OFjpAWS(bzB!#DEvog7ha>%F0VKl<*NW`&q6{e-lgMf|jaPv@r8e_5*MQ>FtiT z@U$%g@vze1;_NXyL=|3&lc8YyrB8bRt!ocQuiyahyk42PdS#UG0xmz((mCt)qHaOv zih3Yjoq&WlX=9M?^2E5vLAI#;N`^!2^f4 zaJ0(Kf2qnhtWhbKZW?I9EN!X^KJh+NKBwNxa4NLQ%x zheJxV@W_OnU_DehLWhbTO^*Vef)FwchacR6e(mH<#T51kRKYsAsl z@N{VwY^pJTXHT44JJ%xy|O2JZb^1xp7-qk0Jy2-ro3Jc=#*+dli?=6YNBJ4d6Z)xLQH#LEMoCWUsc ze^WttAQn#+#{{;}oDK!?_wu&+ zuj=w_rF16!TNT&>ga->h4h8kFD=`kF;VM^!o484xR!8T9+vp+pm8qN6yWq8(QE~wA zC!fELO9&Ag%`m_c_=rEkiE>Am;t!@kf5`oq7HdcAyxldieRwqQ6IpZz6>gGXRMz~C{44*u56h15jm zrZ1d^l)%-SHEtTTHc#{i^S|I$1$RN{$JG+A*!r1$FkUX-dGz?r_(jd~5V{gDe_ZLL z3CBB)phmvZ%Q%XEtLGp%`*f2yB`@KS&-Emh0Q#tavy{}lhWv!LV;JH;T%2M2O75@S zU&>mVD=Kjj#4XgA(nsuW>r%~8<(zP*e_cy;)}T&tWN)Sj?FkA}!|^>ie0u73mA)QY zAbXgNNFf2j9VlCQYv&Q2;5IEkf0&s3ecoXvz>XQX>;H_^9O~J2hw7Oujm6DUpVOX* zP~}F&yX2FR&QY(LSYduHdc20xT)DwuH9<~3+?&HKHO!pJuFnwqjYGqvc7$QW#^|<- zbp}JN`(&C+vG{WhD_28${y^@lNbEx4eJVHRCwP*Lj%)0lE=>O6HhMYWe{XUe4c*^A zh47E2;E;Rc!$&ye9_G2`<`0kCrZm9b_(|u?p_X1rIQ?qHy5` z^{XdTK1StgCY>C2Y3VKmz!4E_HetVXOk*RI<~dbpGvy)DjE4wUC3tiit;U8p8YjA$ z_u^4fBDD3?>BjF~GiA<6f74wT3+wYc#*B*OomZ5oylp8p-+z0`7z&Q~8c%QkJ1DBn z2!r(sVeY_TY@C3c?F6%7o`w*jbCxz3ZU#F-as>)bA;Yr?i>N)(X_9-0|IA0x>rC>48>|^q4I|vqi^zElP?e) z*IPb}15MDi{_9)!jQqak`_9-NqD#VD{`{}6#b28IDtLX^f5ag~thtcUytg#W(9jN_ zz)6DX9u)^5@IWEEcScKXAocv(Sqe!o*GSQ9Op0T)%#_>Gf;~x2k*cP6#!tfBF2X&3xZ+8&;rNzn%Gn2#sq?OI7zXgr$(j2FA<1+cL+V{0~}7j25Pg z)3J5l?K;&wNq9QT+^CV8*295{0o66|~2@M&0??XHwd&X*vPQ7U6{>{@E7=f9>fXHmsf8attS*4kgwWa9*Wv z5U`n1ygrrjvX-gkms*eGhI0k3*WcMhN**mz|W^oD8q0sBpeBZHi9^ zFKxobmM`3*RbVtdz7FP|!ItWq0eyA6BPPWaBL#1mI8^>4c1Bf19{(+e7vI>QD1G}< z#33ECf7=Fd^mQS213N=je|VGyk4T-k#2{`WJ-%~C`57a4BE8Wotjd{&3cgGs&AT;L zz0w;l{n`!|TsA_!==Ml1aM=@W)(q%D0&T*YDGNp~Y3Espn z%eH_bbvw*Mv`>%14b{3m8{l6`+W1yF z0bCqpiuigS==kuiNqd4g7UFvB%+>@}e~y#>`}Swr=ijj=E))=WxJAU6QNbi2wntoL z3|zy4ghxWK&sxpR5->q-v0CeQxfUe5LuO6{57)9D>wFW~{m3u`EyRuk1pHqR>PFQB zGbXvthDk+&n)&E{v)ki%9`Uzwaavxa8w5$a@UJJK{;b6-ikh-J?^C`g#S{*_fBvRS z9#u2pzlUx<)S15>m?>Sa`Rb6nW-gMus2}N4c2>42w?q%Knt>kUuTNRne zL?ss>!ki%OwTSb{pP(e;K-+EyC`g7sqvZXZ<<5C~HNDYC*5H)miG~2YqG` zJ3>c;fKPgQsdFR`A%Q6mZw1)(o-Sp8pW|0tc$S(jqh2H7mVqfsH|afV_@TnjEAjmF z6itw%Rmr8)r4?rR)H*CdB3fNn8yt<@Wj_tb506^l8R%Qpp@mN1-I z_K2b`>DY_wTui1p0{tyVTeEl>`$nzX{LGudTV(^}JOlYc+#k*7iJ{XRu_7C62SE|p zBT~V8ySO$;CBEItC4P<_i6|w(nr(cVBMS8-gDTN%q`Ytvf${|fe^>Cw)pBSgG4`|g zI%)nOB8>aFs@MHsKgID;cEI=o2AHvZd$F< z$CS_CnI^N%wB9UcB_u`0}h}VCz9h;85a7XPLeYm$A_9 z*qT^0wbHB-1Fvxwe}t}K?eWFQ>a7a%Yg{rpo1yPmE4t0hWj+ug*(JAMZlgr8al=1o z2K`pl9M5o)mZAn>ebep<{b6HZ{%3V`6L~O+COuf7>7tZe#97{kQfi7G&2}gqUP2|> z>UL6Wpk_W_B%t4;LGK_}`kU1yoFkIbZaxU-GhUVCwp4ocf4B9~+~2|vw@XKwR|k)? z1ihumBx|0(qt$d0{lMF>jy%Bj`6C!k&a;MbB0NQ(JGLC0e~+QyQxW1re<2gAM8~2| z>+)Mw8cDnvs0%iitS)$n+d3+Bcu7W2LoC{qX`h zlirbTPW9%fe=CD@N>dl=I(N%@^9~1krxIM*XO6#m|H2u2wp3+G^IB4lna4(|rI*r( zr&I3kr)_^VW%gCx^cF4Uy=dK~`?g%?{Z>7E6dDxNq!PChF+cH?3ABrmmdU*cr>TX}$J(~Ci$;^=f2k-JsF zqqtOye}v@2v2X2{fX|bNZ|m!qVJIhnLCqzL-w@^zm$#`vWqyO(dAlMUAA4=~5ZUd{ zUk7Pn)Cs9kWH?SN`2FRS0CISA1K;b@(Y|==!chySK2xyh6p>jIgP#Vmt4rmSjbyH! zeTMfX)46tPlnA5rircPS1o2y?F)k9ly#ieCf3jGy`yE~$D9$uZfS9EL_A|!J9QI4P zirs}c792YR)-R6CFaEBVI^jccb8+VA!PBIuoeowkGcoYw$(n?+rpnmXhwsNlGiV+9 zKB3nO1ah6sOd8P^>!h(`cIy7VCH;6^a!3lY9uj9LR1fq7@EH-Hr>@XfkFpI8e!2ea zf19!eb!`6o*0glrtL&4+^%ITKcuIx!=Boo(D}SBn!n~b7Jm?07`K>cc+~Ekta&GWV zh${&?4Oah9j(~hUFZR0ki<*q9&30Wk!3tNURkpdOLvLn4PuvifN5Bb)E-KliY#OVs zcGPrT9|H6ALyE3@(<64V=LE^x)rPzbf1;l>3cEk2E)xt$@g}|N1tp<4or+oxzFx(6 zOf*o@DL#6=IxE=+=|--`+~Yz|;pg!Op`Ld#!8gPBB_53Nw8=JR}G3s#DEkq7`6{u!;UgfN* zdJG-bwT;*S;KQn*2IDI}&5;oEnIoUKAtSBL{Lg;|j97 z#ijk@+!#usC{DGXS%?CwV>P2bfA9KKV9_G{@Gx4G5BBd1F|qzE`29N>8%RzD=j^*; zF@!Pe8R8i}iTl@_%5|Z~YkDAJ+naLqO$&kFj_iyI_8D*o=Z37dik?Otc5h^)0qCFp zzIyJ_ik&Lcy?!1j2)Yf?QJ*{{4l(dWZyX97=7k6X;#+D9D)e>Ulr72je`?tyyWkXC z^hK%+^e!QWy(~nx7TKN7e>HuE%F~ON$-z%& z1RRCMJqzUFz;sg5HmQA5O}t7E zae@rw;%HeDj@CimyL~MS=-tQO&IJ1Q9RSZ9%a zp!#8PjsVq9EcIlBCQw9H?|Y$*DAt0G38Ovmd`X_pX)@d8f7FrkWsx$JG{nzUyesff zaoa?Y$0dhi+)Y4=lLDVJyWVTT9wUhw1_x8>o=lq1E@$7E-W2aU0B%5$zZ>Cs1+_gW zVI;ClXxEiEL9mL-3Ef*F|D+=FF^4{%2>#7$vC3{=A>J<@Lb!4+ZqcE=m-|GyZ(4^a z2(Zrj{L&KAi|d@-Gk+bEM9CVtT!tK;Sa-j^%i?>1yTvG@__JriVyz|0smX^QKw@LR zi-oq{VAO~MH&oXj3%{RR7zm`COVK$0%wNTG@?}({o`lHHFc2-5oRM}G*vm71eUWHx zSq!9o_BYpWIR4}t3_rJ^?G!bAgsi#om-^gR`=b&Z(PK? zUP1MYOUx_D?uIZJ8|~>_OJpZQe0i6Cb0t!3It`IWQuIzgHK;k>H#L*6%-NqN*0Llr z-`sQuZpAfD|9?xBh#KQaoxxU?tQ^RQD!vd-(fPCipiw713}3;YBo0e?rjK)6|QJV{1 zg_Tw${fTWQZJz)0!)b$F*Zx{};h9tqAW}8 zOr<4bSVk!+Dx`w?3I*XF`f^{^O$_c2WEy(*No_-R|7sV7#NA7YrG+Dd+oXlM&^}jr zc6=x6b?XTUEp1`mm&CyZ77Tt^=CtR#TJV^a zoxb=9g`QM@JEzMthugd~+tAa69kl&#rO&I_KPYt<=7Bc5mrhs+GgE>qKPv_0v3S0~ zn|}?gz7M9;bV>^-edX(%V8vu3D%{M>cK3~%kodZnIT8e+Mlgg~6*@;jTWZD^z(A&4 zQ6v>D1XKN zPiZC1tM4^muUKSu#l?)qcEytj4W_zjF@G^tpAiDHAtY%^mm5*Y4}%`YmCC{IS9EUi zH*=No;DnTkzmM>mkoh4yrW?Sw7|dbkskHfv)b#T@@F+;SUcM-6CQcVnSaTfHs0@ym z0)KX7B0>^snqhn&OPVE@X$Htp@PE5x@IQmKsejY_g%H_yCg*QY;bqe@4ewTX(8v;w z`*gxl6d1p*rN|I|jwqAZ?IOvOPs($YAbPRgbVOlmD!fVwrAInz^bO0A0L8u1w=@c@ z_S{DVk(RTi9+p(^1u}kGnL8Q#h8#5scixoCaV1c@m@U*})3(%^-W*H;VSmKv993yb zSw|wov^!9y3z4Voej)|?Aq;RuymkSeQzW;7WK1p5AcxAEVXOlNmH{Ys?n*frLGfD^ z=~XSu%wDuy+sg0rVL;gPy>Ys_^gBgohr$-1=N{7X*kfp zD-0y;bU^51wpoqyai2NS9j_G<5Ksd~n?+XIii!3u(J#n(Y7F{*4ex#rMV{FtfJco! zAwJ5GOev1l)6{v&J7V%f3Z3HE3k__Z0oRcO9G7~2aZ1i`j(E0x1p#N*4 zdgkqs0h;ya04E;r&qK(SVb&o*Y1CirrdPRV?id5Xu>^LYke;c@tYmmqB(!b?boK`0 zJa%17X$we!rhmC`i3P&89rNCTP@X1b$j6A)o}>`{2^izi$Z5_NR?HOZO^+ ze*X45jI;JLKGVq@Ta^cpdIEA!i?+h|B>m* zi9)D>br5Rq;o;%PSH8um`PUlhTFn60&RXgbfJ2#OrGJQy9`_?L_gVZ`sj2En#bux2 ziK3vh@Rp&VSI{Y;`NEq+i*0xG;F2htQg^9&FIbdXdSg5@{_8Q~X^rV>_$7^=9Cl~kZ0fVS(JtwvV#?0^+YG?Z`CZyQw5Z2@&Zcf!mLQbYQbR$bk;6m zgz?Ohj(;vGn7m35G?LHG?CNg0999MW>?8+at+Li;cDB(sO6O#VR%nx1<3gS^#kdAD ztjiB5!tM<`A+k=ox{BDUDDrQ$8Ws6eyK6cG3frUFJe+ZRgoNsfQdfKMyzZabJNU;8 z<#H=Xg9+@!*JrH&po@;WyF;N%PezTsf-IzH%YWcJsdF3p?TgDXRrKDxWeQau*5nJ0 zsuHPut>>`@Y0(WbD%QaHiwT~$;ITPGFqGY~KKW=~byb~Ht#VT|I#AbG8yaj--Ai;u>uNHunpx_>t@ zLW=cGp3NkKCO_mBT+;~-$TaLQU*o;W7Y^<(`}%0TC&!*Sh^cQ6-L4QK=xHCeDpVVgodJ~shG~v*shhGbm9T=Nw5?Z0O zZ4)}fSP;{1ZZ8LH1NsvvHzR`7M%$e+;IW;NXuz#NDP}#q_6-ioR#kAb0ak|F;A*AC zy=?vR<%XsbbOC<5_HFuS(O@oOUZ&055#UqOiVQ;a# zoi&brbln(jfadjk{YpcL0GI0OT+M;N_L3| zPfT_OFi$3dV=`i2?jzwPMSpVcv;nYuHu?HB(&4!I>m>|C!-H|jrBPF1XB-te1R9U-ig-5069i?-yz&feQrB5lBwei7JmE5 z9Yw)LmUrxppC9`vRW4#OpWE0}2mLs|r>OA;)npx6JDhxhKAd{he7M+9!1_`SXfl>2 zS8MhBt1M{EC7APb_J10Oqv92lQD_K;<*il)W{oYfZq&I%%fMCaJ=)v%4e5&XWHh4m zFDdIceQS=PpJcM&s3p$RhZ8}hTtN*Qu_cBGDBNgo(;-Ewy`K28_+d^PgXQ!XefyD< z13GJ%Xs);@9pFt}lj>cOK}Y8@$v1RdA=;cm>!FtXP-ytA2!B`AZ`HRvi^4O>{LNdt-~s?86avtb!7W_ zITe&vx)}_&Cx4A;QZgPkVvuGjr7HLScFgrNTLbKT6~u$S$*7`NipB56K8L6_=${_HQ`vt^E2u~ z?K|r>54mPajOj!-cL(yNx%;=o7p2QLydtEO?@^_Ao_~!R`Kh&T1?bTXIaQ5>pSIsm zqw%vPKcS%O!S~KgPz7_|TX^UEpvYwBnae+>#F@$OmP0Hs$mx!SPZ)4BfJV7k2ZavQ zi&r6_1AHZtd|Y4rRAzU-8``&+Dcy)JV&|BAiIS{H(&Bt}|Jd~zV zBy0QV)!~DEE!bc@8}3QTzgV+bS!on4>%e7Gma6(n=UF!wa>svD%Fw-XZEne}pC6jP z^|yu1vBC#2$?sz$%k1)`59O{vAh!@o(Y7&ceSdSF>~@%4T`>F=MVUbyV4Rg+%r{*s zkZbp1PamdU0!KLz<&feeB&3@kV7vrYJFnl-rert*SvFMj%{e{MLw*$o08QGw590h| zy}ly@oy|kP46m+L+#t}1B6DOPN({ej0wb63_>msUznC{ODa7YOCb5>m+BrftIqEZmPe}kRA%=ix~K_qIJ^5uw52iI!=7@)9taI zGj@=UKb85_4Q_aTgvm%;8o9M2mrbTk+<;+TQ~+sSzbn$I_OGNFC`ny>R--m_9p$bk z?Nw9fBGQP;2!ihkqD&Dzlw9;yeA8Z|>)unMcP#m@@&*hu`Y! zv|?<6S`EH++v>y0g-;uvy+-e9v=Ji4lcKiTh3#r{Ga{ZsA3xDFl z(`wtZUT5-c!B~5piL2X}{5pP83ouNPrUYfXg_9KT4zTk4UNcK6{=UIO2-4wF-FnA!~hL1SBBCg)JvQx+i{& z;UJ#(9VNvgRv4K}+x~i=;=}|uVbRU&xa`~;9JJ@YJ=9!Mf?sk;x^04Ij=Br?q?I86 zVk?g#4LGk&V(4dqNNc~HDg^V_jZ6MU=pko;T}q|c7`P%&F}}U1k+E;wt$)+$aNwr$ zsFTiHc+AHTLeCm5WK~_GM#V4X@gduL#(H`_-t{`dzj8@X;W|N5wrkFrQ`NdXwnDak z#p_vSCfZaWrtrv&i6f>VGV)C-$`)9TG!! z?SsxMH{|9ZddG@i48vVJSRk_+GAps#ir{dDC-+c1Jw`$Ldi8)?+TsYCYw-RQbgDYG z_4n%JS%pyO?9uX>C`22GJ`yGpaEh#oSJ;#3HJKEnK~zJdHR+z(S^ zYGqAfst^ZNr5DmuA#~2xens{r4=_&@EWw&0!{>@-^cIkXsDDvpouTkz`CM}Dy43So z0xPbX00R)?ccDF-1HzySHkG5Oz$9ucCNHHfDmAr%x>CBN)s9>SbWwupI3A^kgg#Qr zsm*ZCA(yFTC@vH}H4a7k%y1#-%?qcE&R*&)aIYe*@ZRv5?#XO2IcsGK$zm+(@6nVg zq2KXU`lvzr1Aj&epVog+Lz1L-aSmhpH=vib*-FbC0P-Ucg74%Nt3%3g#_=Z)Ta1mc zo`Y`fOzcA1orQ3fkLA?8Ai^!qd+l%&BV{kyAT!HX!X7@c9O!v_WYc(ssW7}?L-RzM z7y4sA1Fr7AC8Z*}D8!vclgsu`63^@KGE{jn_ZgqGX@5VTix`YCRjC~zV!75hAjLK- zFo-D%Ga})RM&PJsHaPE zqGIGn@+HkC2&PfEqhD2iF6)HYh|O3AvV(8@Qaf)|P%dCmm?p>!M4MaWDXf``@$ek&J#Ld&XcG0I(Oy6VU1=Z{bxzqYlR>i(OaP zHUKYM{SJFr-_Sg!)`Y1!aIMD9-z%p}h&x#5X8uiCaj}%7A2Dv4Wr}Odwx1qX!y?NH z)w53=h5wZ!nyrr+wxvpZttla8B>8sf5!Z~0gnxPpFr*k5zzncyUnqpdd>1c(jBf8d zIpmh1JALF?4{yiLh9ZQ{P(MWubS;{VZfmU^4dyM9fG4PsR7x@H*Gx!&_yS+v><8tJ zXbD+&lQRn-3jVkdXdBgj982hASf4Xpc~5c6`PkaPstFF2P{#oxQJDgz3@LSuS)r|> zJAZJA7f(nCCR40-MA*LHYzW6z6H`_V!P0d5CkYbxj3#FU#C-h zTu`gzMekVdl~cTW-RoJ#>Jj<-2@JgM3!Lb6&T1|@0G3b}f(Hj6(SjQ8S#t3G9_Obt zv=H2+m^&1HUUV5wbXM`MV44#Da_(DZ5 zL$55hJ9iacEM)dqe9;}i9J4lIa+dz3U(&%-SCWY>2$?7g*S@i;y`}~vec_|{vp&I3 z`%`C9gnDsIE-)oYl|H)>nt#)BcvoyU1PwUtS{`A=y`$)P80*#Z8dfPr9S!B|Bmmo8 zY`9#XeH73#1!|;g!RZuc5&t1SQm246O+bq>Ewm>~nSa>b$P_|Ms25FG+pjm9L@2*mv z8$yW2O?shFf_tB1G#U+}W48epcCH@O);ln1{32cXLd zAuCGrC2~eyubI-{pV%tFCgJ`(xH;Y&MoaD^m4uXs{t~T0gV%v9yS3Lvnh?xGXgX* zmmf9(6%aQ$3NK7$ZfA68G9WcMG&YkVEffScI5;zxEyN~sf0h0lu8Bp!a73FH3`cY`#-IU%03QG<13=}KpbAP52p|oCDE{S$!72e- zut206U@Qd~V9*GEkgz7kHw26H@Wc_b{Ivu`;GzIjQBgtScQ~MqLST__7#c8!;XDy2 zVn#U32e81vkqBJKzbHhmc;axrN?>qMP>>W19h7LiZJpgy44+6NVVSh3psP9j8{%|bP7w0eKkM#Ma5d4dVc*)vmH%$x* zg+Sx{LBGzYg~TG@#9I#m|1PUH8WV)Z|FL#QqTSqoNpK7B1zVw!egO!5tv@}8CeS}N z4+IX7gFqk(iVy(d2Oxssp5R~PmLa}~-yrmtf0=mxaJ(};M&iE({|#wqV1fa>q_hGcDJ=&9pipUPK!Laj|2NCu`v21Y zf7@ybL;iU-$UltwXm<>t_=g1I-Tfsa@XwwQ`Ey)Efq!Q(!4Ufx0f_w5_6`s^2%Pu@ z{eL(A?~wnk=YO&MA8r4i=g|r9@%fF4{DS`n3PT}%LjJ^wT^xWTPJ}UrI2Y*ubhSbJ zF~r6QH)H_nKT&-gj5rzUXb+#iFA?dle}fE0xS1kxaL+#)=&u?O>3xuBgek@!`Rkbh zB%u(X z;NN`>fThqF95DnS$_oeFF<8*AddeySVB%x-%Lw`xF+2c^B@Wx~!V|Opwf{ZYe+Wb{ z0uGuO!@w`!^m=*o^ypfwf+@VY(t7!<6+p5bF%r+Vk2mLkp0cTlU4O90v`>pq@~(Y*s))j^$l8Yi(e=C;|mpvyR`3}pw zp$mA8m2?A+5BQS8>4Fi5fTDPrkF6w*x)EdZGzwQjkja-`sCJW|U-Fpyf4SB|Ti1)0 z(2c8@OnF!k0{LY554Ulhb{jX#+pTSH@EFQlRDNiGt?dtA}Uj<>Mm_1kZCT zEAL!P<=?{Io($wyndH~q=1Q+P9|NZ6H>1~KFn$$5a0jE#@rdOiZ;NCLoJW?n<$w$$ z0HS*!Rlb$&EIe`?k>TXg0s7+joXm(2a=xu)1R_=a2@*2{x zZY7GL-uPN=vqkHrVd8$fZK|~{+O)?qah$TD=snC?X!8rxGy0wYEjPB9ahbbj)VmoP zT=o|3Apx>K%f9{QYO zmbPxK;}ETD=6?M3J)!Hf$jsI{YO{gMy@8AB3=6OMU1M7yNyNFAB4^j>c)koxaqK1*%uQ24S>&PjrL%%K~}V)@^I`gVo7; ze%QRqc|z5FFsc$fso7rEvMM)35uLidc|Is_*y&3O-9FoRXW@8YstEb^kgSAcK@_6> z+w0-R0%}#TdHlj!hU#6dDnEo@TY5Y5<2&WN)K!vsf4L>p!P@H^fY8pz2Y1+$^2KB@ zujeWrMA?mqL-67zQU}M?kpz{2xVVeTxi@ON^bHPqJ3#J^?_xCt{C&|;mATSUP#V0< zfwK0|q*ui%ne5Jpy~$f?5Xti$!w9jU8x5)_q}%LIRyG9FU**P7D3) zDcT8fxgM6)eCQucd$7sCnDb$kS8vJVgZmLf!X?rT4%NhA)FHq|eRI!B)Ve*+J3=g}FL=i#l ze?^?hA3Gjsh+{`IlHkiz*|{>e+5$nD8MEhKJyn9>1GtPp=Q{ES)z48)d4=QsWNe%? zNJ=k0{v>kD%4t_f((Q?cjM;RWuiUekQzZ#t*(aIoq&p^C%djW#SJtG(-9sj$UoDKj zRi0?7o6PNcAiA1@ul9egyn=Fwx)GJue-gm#N@aqNwYEMi}&Yc7(P6%phYRX;DTqFdB+>+xCHl@IwP8XrRA@R{1Xacfdz z=D{cvS*`}}nI#c6k|5U1dLJ2x@jg=-c}vdJ(wu`fNdi|D7IeBo_G*Uu;g0X|e|jHo zJ>(M&_Y7v8QDq-QiZ4EaIcGetwb*TKD+68AdRQ)%zJVLkXMVt`J>0ZG+DjYnc;k*c z;b7VNYsF|v`LvgUHOv{-)B0maKoT#wKD^GcRLmoJ2L$HC&QS2;zc^4GtFv~ zN+>C*7_eW4aG9?Upb-h?p?7fqvKU|hKbO(OV3@PG^~f{zPGGPjiY!%*Zhcuy0K2i5 zUfYs*+2PWrTtLLe;x#3Hab3+wrR|qG;sPd2puu78>#MQ$4^Uhg>Nquve}S;I-GLm` zl(=$bnRO?t9;HpL>ENu)_pn2(#8yle^<(vg_0Si(F35rJUcg@X{FaePD#<$Y6$R3AT!UL@ep*} zB(w3W&f2uED@k5xjC|DAiyj`%)g*tsvKb0C>%$+1VZigSBYj7Ex2MZlkm_no^OBpje}Rx%McC%;b4@WE ziL_#0OSqdeLxQ&0kC~Y1409L<&VSDzWq?$ytjg?>`vp>DNa<8K^VzDW=jnv+-j=h` z2yr4~3Qx3A85x!iy_)8?L{VIP-LEpbAdyEP8@P3X)$fVu`N%I+tm3~!HNC!5KzRmI zX{T1Q-_TtmcTl>*e^iUtZ@N29ro#FzpR)#PutV*^|H~YTuZRr@BADPTjtFpy+qop<)orL?u3J3YB*n71mf5JBHRjbx-D%`wl1KlEh zMkhwEb;Wc6+Uw=GA3sYQYS7HOmzMj9^6PySzHe+=+&QYI&ZnEWK}=rX55t7CB%_3j z@Un!RT0WAUX_}9`GqJh1QJicRlqzg(l8+O|1;di>(p|pZKYz^}O1?Ome>=@(8&s{P zhNC?$+-Gm-hFAF50;bYhz+Ur@@U{@OD|7aSeY~7 z9P1Y6Oj6y6_khSVol_JDy>Lk^`-s<$L}p(=%7Y~0e~XNT#`x3oeHq{T{HHIyrV;O7 z_!L8*o`!r-H}OSFp}vP*>!@+R;)mek^PQSooJcK<#{Deiu-sg<5V^GLS?i9>W*h$P&1yFDt$?jZPHXj! zuN0&Oe`B7t#BMzW1uL*E)>>$@H_BBOq+QJ(AKbKhtE7r~=0{h>WaGei^7ibvMgAPW z1hOIy4$~Qux40`iXFW+5s@uEz=FBAmpDWyE)OIC_A}lr7%dshQ@2GTS?q^Uv+#-x+ zvF#NIo^ABBU@=#(T2qnkoTiMXzB;Pv!zkc4e=Wi|r1kY`Ozcj8_YS$Nb2$H0SGHg& z9Z8{!NlV-T#H5@mimB0AbMfhf#+7;Ha*tKRs|--^0j%l#`uW(A6cHDL-e(`U6s2Oj z%nN!;LZDP$R7Kx>&>2QmKV1&o_XpS`%c3}+jYag81vDlYyzmOr8sLN~Zgm?v*(eyD zf0Bw+zi;u@Te*ZKT<2KR1Shh0Q94uKD*rOHaGsT}>1GVnqr<}msD1DH?MzKTI!(>t zytNy~vfjB|TPUVD1{h*7ve#U_;rf+fmZ|?<5~pafV898YVCB;+)r#1ad?pknA)JTu z^jvuS?JL*qU)4exo^J1@IV#j-ETC6ze;ubSwJ<0%$;a=m!XwTJx;&%67`xQz&wjqI ztC_$BC(P>KF>e=fXC{3`2W3>9Py3=GPGx6E#iMD@c1yS{)t^n&_x-@n>ENy1Q@yJk zTIL@-ZyFtv#V5v2G0&Hls)BSRzV50`)h0da>hO`A7Y=4%t+tsBSbk$f)@qrNf14hs z0L$%@11%15b)Uq$D$ir~hVHW0mB8<0#lucOOITAoznWS;)^>NEvpM53R*0f(GkLH3 zQ~^vI@#m}QlZ$ZI7wwEB1hv1O1V;Cc9oJn_jbv0Cyz+(l6s20a*>UsHe0$yTaEskW z21l#HsFM{Ww(Fa*OY?-S#6-_7e}*iy=n)Owl!;?Z$;rnz6@le^oY`pL&0K z$4lGk%`&AX=?bkHOmyyyq-0#JRxuR6LC-6$GxbA?R@m_4dj9DLn@L87$uHA3_GjqQ z0^q!6O!K(ni#0H0Jgu`AKLnd$2ZiI;T-&*_d8f4g|x%%}8{P+H)2 zc8%ROb^slw|9Z!4*N zy4dxR)Q;oc^X@^3;@-T1PWHD^?UqFsFE#e~racJ+{L_lTBsUa0l_}MaDHN$kE{RsjJ2(6>s!q(6QEg{(ZJTd#LLn6^feyN2!V&I z$dR8D@afe)PCajrf4K+Wrj)_Gb6WHmS3HT(1%D?o=ezqWRp8s6Qx2clH-$J*7wkPv zZctsOs;UuurLHTlp<2UF=mN8xBAm{%T__?y+7^#@E?pbQV3<&EB5l(vYTK~9&iEZ* z>eQ)n`5x7fR^baw`m!>dyQ5f(lYo`Nr;0e+pUv9i5Y6KAh;2TcUl3 zo6AS_O|JR$E(chZz;SE|9g<)|uZEmIEw7A3djAVu`1sNY59W0Tj-4y!SWbP2g!f)3 zr+B6K98CKxU3Ut!n|yY6Q&m%a%eDF}O|b1nDB_*`d|~9UqM6Zh-Wea5sg8@*UB@`8 z@a(hm_CJ$fe~Lc6cgZ)Z=vpj8(3iSCF_ChC#%mYK1M-!6#K<3G9|dek_R%CLKPagd zz-nrs{XIr`c5iNF^?3~M4WM6^mT8AhUU7ZdUk;=F5fVBPJI^D|@{;%;=QMQS@yHZd zM>ZvCWg|wpUj8ZOMaff+@B2?i87lbPNBW#olI&L7e;~GcrNXk6;>J^YYRHSGP>-~?v-Do7zEPCf*wLLlPtld@CjI>-Q|t?6hAOm>YFv@?0=<~a)naNT zx!1Juf5vOsj~2p{!}b>KO&YDbe%@U@FE~SQ_P&WxvobwfzXenuv4r9INehH!QzXm_ z8A4gnU17nBSq*XPql!=FsJ`Q2rb*SVXE+Qw!0ybbAxcgO$UW5~cSYY4)TJaz`A{aS z{%%eWvad`Jq?UEv@>dvcNAh#48!Vp{mZiBee>E6U;xjzP>MY&6o@!I=Ro3Wce6^#6 z|1(L#qQw*nQOeUU(9twQJD{A8A}v!)Nr3-w?{N*g6{|W!x0qG~vg0$ORBMeUbIja% z#bqk(SqT1Mvl=C8`z>&)CB+WZb431qLcBHQGTJa}MzPN5MjLBlg&148OM~PcC|#uZ ze+%-q?-`k!oE2V#!FN-7-+$QP91?$Syczti+iDQ)?!&dV*u1L#@VooAy9!KBOOr{c zRK9-R$0MovIITuZb`zW@#`=JFLCAQPr@ZI{HSZ=wRh3dA!~#jAKrD^GIC;fBAZPSV~~bLiD6Gv_*+(6DPbBPm?rQ7i${(w8$FRCKFK9YZqBrwX7XQp)~+oWq?B}~nsNtpZ% zRSZJYc}=B*RmgVd5?teZ-9>jiU11J7$L!oody_X<8uO}q=$xW(^QI)|G?hjufBn*z zhaAp>S&1JWEw?XAG7eK~7wmX@Ee))GM4`O}?(=+*EB4w2OD9G=U2wg9Z%4c0mg0{% z!8V!z>25;fw@T9I+e^&uHd&Uf8$+?0fW81PMyta z4+R5)2Cv92xH3tcL5YQz`95pEWs;0ywd}jAivHA5rDFu{9Cxc!!K` zl$7x5$AyGA=#Tn7eJKm$hYnYh5id45P_&rTD(=tgD}vwOPnqYYUOy=HmAdwM!|H{g zSA-y=D%eg$iQI8)bVg3-;A6aC??xL;NPZ8_*;?Q)`Cw@6f9QUneO~s8{`-cPBgtQR zcn3 z`U9_GisAJakjEBGASccHF(#rH((GZ^Iy4ay5US9X+pe#!jk#T^siW_W`&gPtobhiBd2Z=xzg9EqVDTCGfb&D50b6Z%RJ555au zy3rX_X6~!TAJ+^k43x4EAfaO~BRv36RFh-DDunPL7kj(QfNZmbfX?Qd;nhZHuFrn~ zhvzrSm%d5?AF~F*!!0K?H6Sn`Z(?d7JUj|7Ol59obZ9XkF*Y(a3NK7$ZfA68G9WiI zHaL?ZEffSeG&C@mEPar9mCDGR$5P?&=DLArW}L_NN4K2ZK=O z?gRYOTo)MJ3+DIt$^iniclbra-op)O41+xJ0IMtg!Jtfd|JWSCNPsZExQK|b008_1 z0QLqs0e=-RfAVny|91X1qc{Zkxxw844k#Mn0Ehz^^?~Pyu=NB3knSGf0Kfls{CkBb zAONt3fRF$?upT(zboj#QF;agIR26UV}4DdE`nhk9@YC>TD3pEA*HPG5%dx(eY z|9aJtf3~O@k%u{=bj~aAkdOc2Uv>yW1>z01*MlHIPJe0X?`EKCKp`-&9vlJrb?=~} z`1$|GhZ;SQ3+iq`pj!6Z1x8KQzw0W)KydqCBPb{=0P$<{|`OEv4L*O6BU#gELh$ATgUM8*D^^?#y8QMM-@5Kmhu z7zX+Wi-NjBU>=BnfB>Kyssh{|bwQz;hZ4o#9@IA7pdN^S;Qu-~kcYcFD&n`qQOElC zfBN@L1_pbBL3oREaFArU^PBMYs~UM)FW&7j?6vjIm_+mbXkjGV{0l!PEu1XX=_d*{ z_LWp4&-E6{BB$p3X}J!s#=ReR=Y*`LtK}onl>0Xoj(7`(zMXbEf*I`LG>#LZ&to=8 zz9#9@6WLf`TCk^>&Rs`{_6Y4%eR}n?e-p9uNPHjQ3MjrHW=f|;#>wY(?xR07XJT1L z4x2wFj=%42k>O#aZanc5{V62=Qlb4B^*5hQi}=jp4%2Iw{obtrn?_B&8`7r92Vtzy`SuKt)Q9B4}#6!K_r)KLt%f2SKb z+UQXS7oL;O>sdXav);-!`UWJRYEF)E;;DJgqQF{hk9IMf@wHkAn%|2_!2rOn>s-Fo zo`IK?UYcv6FEu{H2@Dgm`ZP&(WfPZ`Bp_&+CJhxE{P;QenoJe*!z(ZGP82+!J*KXE~%NpAJbh>&V*g+e>Ov7ruB; zV#1{?f~?h?hj&?XCgdf|1R3P#Vd}MYs!BeR6JMBQPB0N7Dlj6MH`3Zc%h0)NE)gLg zJVQ)K>T*~{U$yjFWb}n}XtQ*hSTKL!^5oGSCH*f6#I>9E^n1QxStZ)Je;)w_aji7- zJ0CgOl<2T)ARi_|8ut^gcNNU1Lykn}R`V5ZjDxI6O9LP0JH-8nKi@fP_?mAfUl;ud z8k5>J9kglva+JQ~(Lg+1#@op+y&ddnJKkyy-!CwaNbQDIB?g(pi=Y*a3Bs+49|p){ zj4cLiwc5{`aou}H9U9NRf8h&QTuMIN3URaAZP5AZ_M`lXf)e095&J@fxX@;$b}*Z` zA0~dZNsto3x!8RI+sTGd!8sTonv+8#-WF6=bBUsG--6|7b1X^ScU8Bei(a}9q^-4d zK#f6P&?QDusEXJRPd%ZPk3chBk#|1w@UGg!!2KOd(k)H*gZDVo=GmJ1(xA2;h!_5-46-0*Z^4dpK~z z={y}~;bGhk6I40cfBOfFbpe-9SvnBcYBcjra;Du8~{B?;$1On&rAf)A3B| z_ny6(dGlk3>fC_j#u_QEV z)SO!Bkrf%9@PW;eiq6N(72g`uvM8qv4zN586w?-pFmv>kobad#XXLDT@&+kJa)>%y z?o-6sIY4*h)vxrd(97#Gy%w`bi|y5i)O=kyK$k*c-airqs)a?S+?QI_V~^K(IkFt&nKa8Y zz*5ibWL%;xdseqEyPo34H5V@GNjOg_y{spI2-s95N|Ae|lPqj?B$O6ov|T6W&>9J# z@zF1i3Tx5j46i46%`ZChX_}QV;%>Mq{;TiF2EH#ze@{;xKKn&YT9GI@t(-}175Zgn zZYZQ|ol|fiUHqnFYhv5BJ(FZ&+nL~tZFDBKZ95a&wr$&Xvia9u>~7We#i_pRs;)Yx zPW|5JeIm~%AiV&->Xcvba2QN9$>OQSfFC&m2-jrCm)R$-o;S`kTOvzj6gIF$RgnetGm4}*X z%URahSsFlGh{zmjV;TyB)y~dFcYh=z-6TC_{za#Owx9C-!%}c~yz?142|>^}WE^ap z`4XYpe?cs6x4l%Uq;Rw3V}V)K2QvAx>!afVtD!E3A*ExiO47uS*tQD3`uFqQF*=_z zyidxl^e{V_*(Stm_FT);x27NCLz-Oi1plaA2&@!(! z$*yf^=1kh_VvK8T6yc|Yg;y?!R_=_dG@Vv6_x4N%`2tyansp@rhnuuiX;yv)y&+OOSYIhK&=z4Y|j#0tEf zZC)^HZ6=AoyZZenyy^pTX743DZ-jMG7l?8F80N6W~-f!F=9K;gSFTkWR#+q@2W#OrLhR+pzfNWY2lUH;6R;EvUN|B zJna_|khqgfsVX3_G(uly4yphjdqmrxo}6;`IHy;*P}%NJh36yUStdOQfYeHyeaLFt3XtL|qZ$u2l1*aSiiaTBBsV2dg z&)m`TA-zvK@>v-?h4C4&g>*H%7a(yJt66EO`IxVA;f;E|i$eSasjvH|UY_mQ`zW+c zWDR>XLKj!|DDppvj={)(o=tKc)AU`5tFs$_16&rP%0K9=wE} z{Krtk2*UVg+I5ohO0fUULvV}POQR8w+sAk4|I~aw!LkuOrSp(ACeeMm8UmiPE<+IS z-&`?9mbZA{uuTR6?>SSNk$gNl;@Tn#oO>ukH_xeoLxRP&)2((cG&4}1b%$@a)kt+S1P`H%X#3mAu^ZPbnDLS3$u zmi_~gAxxkS=jl!Fw%G+00dTGqe@I}tY_Q1$)=k%I_L4_3)tnGW#NQOn>jN1r|5T?! zpKRFDqtJ48Hq4GQ@qoG+#_4~6|CXhGBr)8hF{458{);|We@=Sq=4XaBQnD`wjUn}x zj+N7;+msJOXOg7M_Db8@8J#*9Ysm%oUkbVvEWtyg^!`THGujVI7(f?gB57?c{L?MS z5Fh^+Yil)fwx$Lc)W*FA#?cK`t7yI-c>ONCC+NhxXmVKCjK&eN2u5IYJ+qJgsKWy7 ztMecgi!AJ0qe; z6Fm_76h>9ILdhrXF!vVQbR)5Gkf9SN?{Z!_v%d<@GIuVb&uMP_r0eCxODo^i?~di- z#$sP(vsfaKSir?*uW9KOsqp9PY{ZO?;`fPs_%0c2fXby*9bkYw$FfppKkxcwReuk? zycHnZ`$SL_@#iV)I1oZdPyS7MOK?o|BkSbH;=|I}z^0gSC{Z$VKeUx~vE9y$BVX$X z^xgcmlk^*(It*MqHBw-hY4+4E6(Cz>K!8Z5jnW+^`Jq|<`Hxa#ow#^@)hzLq`Eu{V+)n*Ysi zH8hngBjec_;pFL2$PvP+obV`gbiKVMm`zp->F-SYj_qw zzhag%q`Q7u?fT(d5Y~n4H6(g{#1@{cHEp3z>ahyWm<;5?yeUPXl(MP|AG6}7;XdvO z^-&+xrJLc?0Cq@&!!QG*;Kc2B-r9Be;k3H6O>pY%T4^xiB-0Z2*-gU+UrOXZk1>Ah zypl#wAd&8IGthw(R(kY^R$|D%n-jyVs-!+YyUJ~wj#sI;vxEtk_Bp6|MNDslH7s7~ zEsVNkruurW(*2dR;x8pT5*{C$VNzwn7;TmhbLa;yd9ZlBi1WlE`#w_x=jPYxiwRX9 z`oy;~Z>?j%;Zg;~(8MlZMI;Bg?F=hGrRe4eK(XhdJd?Xe{dg?AV|X;mv|4zrI@7>m z4LJTN{9~KRaCX%v7dURr4(DZpm5Ah5==_iL(rLK|=6LTtOJOzDahRDY%>F{~0w33r z=HW-HpKZThZY7AH{GWMFPZ-pMc22E-^!ku{uG5rpS8H9@%5s!MjHlkG7`4AUvLt(l z08yLT&b?p$<1N?DhW7S`HD1m7vQh334*xMe>&dPcg_x%?y0SXF{-l1|ZNVc`>3S6l z`z#*EmT7xXa>!Xb$qbsqauTPJ=T$B0XRfq0J&=rRGk7a_y|TA~*X7vzSoWeQG;O=B z{;4C+$v~W!kB0v6#={i7(n9Sc$O6yV3V`#8NX<+NI`V+-jwZpjDmflT%5Y~is1OxY z+M?^d@NX|yG#cvO(iKxM8d@xw4TIj+ku0`rPvX0v(>Ci*wF-TdwLdO^@igq0luKe2 zf5jc}jp3QIrbXx8@zi=gI*1a>8A<0lq&f9=Xtrvyt1(`HaJ1^BjZcZW$AvvI0ZVMv zLF*g5C6*Aw8NgwA%ruItm_I4X{ct_F>f;#Vz|cvhO-4#$2G%kc&tilod0<9E9X`WW zT{!Ngxn+IdNbe?d1lia+{$$`MZ;Y1}p z9kb7CyV}9}vs848tRp{bTw9(uu-cABFGV}1-xKTd7rv&raALMB*~zKr$5rQ);lIiB zX9NpnXCG>FHtEhgNgq^o*}Trvfz}q>j!a>xKJoO`9Q``=<($8XFDjTEB*>fan2EDb zCl*rSRFv$sHdNe#%2V3I_iCD|1#6<7P|)ak)l8U7a4H;F_Zg>P&Zi7%0LwyfG^!R6(8Vw$A9w+n&8&>_jGwx*_moPWp1(JM4&I*5PU@~>QOX_07Ye@RX! z2wi+QYxx~Q+&s}1k$%qys;o0lT{Driu_7OyRkm``+B;Z#lU1suEpnMsijm*^IA~-c zY}MnOUzUcRKcsKnYnSj3{E;Ji#5EX<%vzR z`P15}+OwKdX;7k-H_no+U+zaf+jLkC_=-H;m7X?;iEaBSlU$o%$KCU}0|^i!M+f08 zR3Xe1D2pCSF4}di@Q^s~3~D_NP<@>6=31eMESQDFc)l*=g=>MMhE{Li^Y^?hnM{c>fGr1obD`Pn{X^-u^Oe zo9i(<0OY?@_DiOX{}fb2y>Un?&Yg`mE#2qUI1h$QSCqBXf@Wu4>~x~z=f9hU^)8iN zM&S)Ed-wO|)59tPQ`t2yOXTcM1G`W~-U|t{WOYPT@wZwU%t-R2eixlM_*}z21qnD6SLx=& zIsLt^GzKA?QSAS7k)tz>AKVYdovZdpO6m}QuXy+qYT~~kfO@?4b3f`at{ zhHxQr9sCI>3?VklnfTNIo~#X3^_AF|3y~s5aw9z4vnYQkm`q3vU4}40wd1hSfaVk* zR~lOSGhreYpxhMM)A6^yOzh8Jn`98X8`|WrG1s1lLx9xTcca^nZR{L<)VEk(-j|X|9`|AK= zKGu5V{kbEha*;!}-oKJC`V5P_Db48LUV8;`JZ)<%fEWqq(~8?y-lpMuYJp#(kDrZZ z*mM&kW1y#~vms$MCqhyY#{+0@$C{U=uGMwqgeU(XLQ<0@XD(>_?*40cXP)&1ubo}i zx#-jO^rn++9|6=Zliau9tY*MPLe~}Wu~{px-b71CYsHl&+8!kT^eZ@{sj5jCE{!Z& zq;94G<`O*z$}$TGTVGQ_G}o)QLkTc>-cpJn|7+q|@XWK$6BQh1^5UDk$m?YIkCt&S zhEQP79*Wn|x|e zPN?RljQlVyzbLhhlDFx9u_Q=<<|f}rDYOkD5We$TVJr*r*Bprbh?!V!Yu$=^vc5zH z_L7<@%$_-_63fCBXp1aARr*0Z7WP}?c2p`5@H)*(XTN%w3rn2U+|uS{b~1OIpZ=J! zcn3(`S#V$^mV6>e{heQ z8{p3EvX{vUik~V1f;)Ur1Bb|nENi&{@yBtR1Ez~+*H&jT2CSTgO`;XCb~#S5@l9$} zR~mEH<6Q+;2_9od?ooG5Ui5V1sC$ibNXSbeG=-PP)Sj^4dc$`Q8$E~{R#PVyt>Qg= zSfcRSOg_YQo_4X`L!@gd@eaH{;4XCuBOpNa2{uAhpqYL-= z;y_GZ>I89Y>HA}O#iBKZ{YrHhkt6LA-De0mP^OyX61_jzCv;peRhpJ7m2#W0xqqZN zp=nt-9d*K^;w3!Jqq%pjZ48+J5sOzt0(VMw88WN?eVISkF)*dOcjBj6yE^UAtth4E zUb4MuxD%Fp8Z!+}bj*w4bx9&=|AQWXd<<03f~t4rhB9}1DUD7P-1l|FIyPl?YiNCL z%t)20?g3}|iIYL^HL%g7;ZN=E)GOyNt+uA*kac4}#HjU!II*G_NpkN4bUJ=P633G-sG@NdCVMu+8#J+K_~hIvuHc zLPH%PnH@j=gc-EmEq*!j6y$KQ);k3h(1h}5)qG00q#HND50O>k0`yZU1e*^pnoOkc zWZ_~F>sQ(K_m-r*jFV$^!fBXvV9BZxrm7LqTdcv<#_;Y&rtNp!)h$TllY;h4Ltl5+k zDn&w$=emw!rZL4|1AJ5*E?GbBHzAV+no=ONQnfIQoZ*aXhPAm|A{Ur~7*CJa5fV7? zp`mLDf=b*$Du>ioKE<;*KomALOJZT3s{n|WyVf@eEt>U16!=< zT;ZNSCVp_HD2+kwq;p~)tlJCU+k4l{_;-WtoL;}Z*6?-uLuPC%=(d#7hb{to@or6GtoKsrbl+gOjgD-`hZc-E#;))c4^J4KA zjbwQo>>Q3uF`zWyp~a9RGIGY~Mv5O2bkl+nTq7Sf0OY^A?f&vtC~pE%chyUl?pN5Zyhn#spu zGS;;%5U@3dBa`~b66DB!pRX@kplaOB`$^9&U0ro{Ehq}3j$(9@Bu&Y;rslq#DRFJc zvKzb4m9A28K+`_pT2-ynS{x?C2Yz)5NS(~+>MyYslHM7)d|`Lzby2d&g=OYZbC-L8 zZbbeo2Tdi8W7(Z-J`Pl>clfI`LbS^p&HA7617KL~u#^ABt|vx@pO0>fP3Viz%7I>F)? zv@SJ!t4h!l9!Fo0C;sO%Zc>`JfXwY3&E>R@9vL%SgT@zf6RQ&uz z<$uE6^|9!R@9X5sSrmI6XrCaZ*_|=BpSk`0PnK9+LGnqu=MUP{P_Xp3`+?6cqE&lM zCL;Z+A2ruyj-!*$cD$3lh}7|C+UA;2$<}5Z9R}=n2QAl`qylr$3G{R1^Qqw!`GKi8#b5fXP`M`VVg4H{~{*K>HU)x(*Uf)i|qB_6KF=6sz6#Tc3jA ze+6bf(>c=@=4EEvCfI}o(n?$74$VMDRZ+v3%cJ(n%hW3vF9`z$qgl3`pQAe`c7}Cp z2A)vCHM_I==d@RDcd%ofXyd7rIE#D6Z$Av~rrG1)2<30?Owi)9vm!hd)o?EfD2``= zu1y|UuM=LwPG9m4FMRQ16rWLPefLbG~NC!-bmojB>pr&;nIQYApCY`%+= zYL!&wC(;yM%~#r*$>DZ7If}!e?^`99J#l=Vs3T3>-C@+il9g4PX-pxlmb7N@XavkX znsihB#;Pznp2&>1j68l3p2%F=dr+FSs^ma!e2bKK8o7ItZX|D7##%uy${kI=i_?A> znj%9>Z@2U*wsU!m04OWQST8_GBzAjuCF2t8&9n#BTN=+6t0ss4)bE(EGHGMN`9!o{ z+!L7{>vLug-=6u;&b$u&%Wc3;p13i}uCLs>{6QjRTalkwPmsm8qV-=ajBm8OZ*p{Wc1WZwa*#v7rwOIe zTrjDwAx!h~7aR~HCfY+?FN+i*I#f!w4T8ZX0rDFJ1QioJH00(6^!eqP@Pi;kI1F^Z z`;ytxmzPNx5;V9KwPu7gqa%h{n-9HpVyg-S35E*f{y28HZ|elaoQfJ13bYUO)F6Ri z9(LmgmrjE8TCLcNZWxdYV{L<)L*2%>Ak;akLp z{z;{AA>aM8TfYv}*G=S$=1KjrN|gEe%9t6#&&~m=ufxDj+ZS>C2i&xZ!k(CW9wAt_ z-I@Mh0|`JKf|uwVDTv3favHSD772>_w8~abpW^o|x3BWiukhC|ZxTo@iJ>ibD)_aZI_=|L{G3s$R(v5Y#hy^67r|W`6tTB zm1>SBcki|WLjc|R5*Bpkz|fPvVErjE(s5N7orhtUu0nmu_f4G;NkrpIiKr`v86@JD zUq{IEH2EGDD%i8{G;2eU$LApz$S}M_&NK}OySR`qBADd8Wu+HL4jRJc;p>>xJy11@ z!bOf+*|r5C-1PDGuD!2NLWM5M&KBs)kJL~FXZ@;2GO^uLCm7Mxynai+S;D6TGa&e} zIwXhqmAKm+9#QB_b72s+c+|A>N4XP02YO3_Uv`bn4>K;YRuTJlqnuTOpXUQhf6Y2~ zd=bWDO))mXtlT&lc2&leUe->A5NKykdBvfeC8^eIjCEbuZ8d-Y4{IBO`dNH5ZrnF4 zanfRCAdJ(n**PN-Z|a^x>)!7ldp##8S-jd{OOp#=2f>~~yQO%D*YpCx zVHxlkhNjRh7qN=t*CoJQd&DbJ6iypc@M~A#gJu{dq?$O`nevl3*XDLJ@hA+) zOkEqs0`>3<4H>+lr52+hBS2VW&qz2K1 zA5pXImxu|P-a&)ji$-c&2MXg}CHD=AueEJp25J{792fIyR4d;lY8QQF*84;p`>}c& z(k^2EF7>m7VYEtn>C042{MGOD;a4=s0rHb}qCs|pg$~Vpy<#HJft`)zF@`l9LP&IKQrc5{$~J*lD$mEr_Y58=Cm=X?6u>c+z!{ermeJ^COwQ-iEKT@v9eZt5 zD>VM*Z%M%fA@6=PdYsss@`|)s%8@WobekK+m7LtRew9Cm07@7ghN!~QfQ-v}TWy5; zoWsZ9<&KfL#%hVWDDoOXITscp;nK_gax#h+OnR`Y+uhe5E?9X0;72?K!VMyWB!bU^; zJzV)0{QLc}FXwB14%(mVJ&5{BGa?B|*LS5RcDfJVpDWl&NhCZyDJ{Gum2;T#I4auX zIp-R?1Gq6cD3>P&K(v`cHZ{|L)CgiIv(Zd4a|m||F)6Q_Pr44psq;3ekU(Ncn5X&S zuaI}F$qRAs403txwlaur=fRzOV7)yr{*c4OkpM$BX)f`_E~;+kX0E5J>^rtu98j&( zz(ACH_=o>414`jS_8l991Q1W~jrcj@6zn^9`DiK1K^^s&zzS-=2~- z3UISDb zlU_L}I^cjP#FmZf!ioDwwIgAFX?+aRnTG;=ElkAx`9(54GGIWjH(Ey6gM(X%1TQ~h zyR0aw=jx7)`cyyP%;vO7u6v+d*GNlX2*_Y2YlZ#yBBk;0i*W<3b2)5Zu#9M_&av^i z(;EXWG09`>3@KO=eJcJ%nQdqeulSEAX_VBJ#0G)UD4%yLXqa4_|}rZJ5sBxf%5t*;t?Pt9vGH%e5nZM2^@U*h_qk$+ate2TJ|Ek{=L#+q+K}dZem;jk9NOKX?h0_39=No> z&h;`7$$a3D_W%s@RY}zuS`sf~Y}Q|O_*Kmu5=x(zy6xskL;2N0G-+TiV5NT z51EER1*lBr?RM2YsPN~rYYk!#+R+Hr8Oq^@t+6#sF}(iZtL3kz^_#V#fOPpmfF|mz06NwZSHE;NO}ERTiZBdE^4F zV*`mzszhl(eQfxC;>n-X_0&s}*)%uQe~JuCvNd-Ey^s5?Nk&Y;&l5{QNrBt~G>Sno zva0SGf;5b3Hj7vx_jq2~hGpIMrw5nJa``_bccSUrg2*jRJ72-&wyy0frP_sy-cen5 zo20_{GJc{8&SDAi0GW9kF(Lud!(1EAi(Pd0fwGOW+p3mFLu*3?9=1EN9QrLfAuo`4 z3(II9x3dBF!651t8aafW_s(KEGNxt9ce;Bc`@xnRfqFMKN3x-O@?8h=qqM^ZRTAqq z0o+Ef;udabrlqnMED~#McPg%O?)6eO7FwI0(**8QFQTMxfExY4sg{2-*VtJozKqd` z+#o|h9~ZPh$$d4=RL_p`EjMnvuMe#j7pvxuN_jz9&_P>p)KBaBZAY1Pm?LDT1M*5~ znx+(uvhlo0CAz;thKNXfj0Ez^HqT495{{2&+HE?gZ^L9``557TbLiRuzwHMK@g`l0 z6T>+&Fy9f&05$)ul%Q!+=SvpJqXb>slvsu2l+S=EuG^m@8q4ypjl*QFmf1Dl?13X3 zdXPSmf`so$mu!EHH$ntjlzFi-Nzl=0IJg_cs*DoAk|+C;NZlqG_6MT$(dr`d$q`<= z!-kGOC|^;J84jnr?;;!H0<<({2SIY$2dn53Feul@0k?Ru-D&icYD(9qU(a{x>ZtR- z-DA+py8f7@U5$$(Uab)H$jC4%U0PCJz?fh769_{2SZ%fJH;V_kHkgji2aWYO4y0%2 zg<`Qb!|1zcZy(bOj&T_EmCc}>>W89irdKap(o{?KGKLDLP4k@5{_Q+>h(?I~aoU!I z1?_Us0AwcHC|ZKIb>vKv#K*3qf$TBeh}L)wI!pHylS=c`Ds;;L+DB`F+J!ef3}Kb=e;!*VRzUf;VR>nzZWc2$DVv%8x+PYXTa{g^ zXG?9=PwIZHaOxyAeZx$?(Y_}DW2;-u%QW>RGDNxE#9X7z`vW4qu|)F8WM1~78phr_ z;o@J`RI@@v-IpVD0_j1) z7*J*_M&JM6#7-wQ(syG_y~n$7$jRJ{=1VYa*oUN1E|U4f*;{5fQO&5(snO}GGkx)) z8buPwdOn`6+x~Wb#9&MGQn{HW`1f?9Q~4{P4}bZ7b$U0fUdp|KR)6kAwNpVGsX2sP z$27U}=q^8xsKu0TkRDzo+l&Z&y$Vdv42a!PfhZM+pEc*%(T@D%U0|9{cl_A1XH4o; zDXD31uHd2R5k!!A$KC%~_=auWHP!R7nK!kLDIWmd6i0bNVl%Lt*kjitJ0E%&lR_%= zkgFbHoGJ|qefi!yL*^mEziv;76pX2pT9vGL=nRv2WBUgGlT!FgN_++6(|xxr9$+~4 z=7bh~SdF2`Zq_=AnZmA*$fd{z;|$Ca7C1G+E@Vteo18Oa_dY8ptb%MHZ+Zw~a;F); zxbThIjKwzxDaMgIheNpVcO|&s*PH%MbN-umPElqtDMCzn@)5B2GotCRkses>g$VZc z*?qp>qz=D15)7VHkR-H#g?e8a1wPPe@%VXXb+qJ9HP*GV2^KCLk;a|nTJ};z^!Gcv zT8$n)4Syu9;_5#xZ<`6$lJD{6X}$9;bx-93tr%XcR7-tchGHc`c(}FkP#gyF@$Oc7`55SaR>+H3Q z*N6mu+WhKl)#RCqc!e=YT4US%9VkcSDdz47UU=+EDuVCc=yP+r#}+^T%CCB$v&B@Q zOD#bw>ypPiAt6axOeVRM#_Y?c$Ih+`OYVq#k4k5Vu`4cSm-9mJe_+RuuXDVnd)XQF z(_|`SY^t0IHM^nT?mt4tTEJ*XG8nH6=F}Ruu&ZroatyoIc>it!631riTc^qANi?!4 z)#cE}eD05Hq}~#cD=8O1`$NdUBf5C5Z+D3|3s;iewFjF}M3&1w~o_Uq%B2H{# z!APhBbz#_mPvPL{{tk{SYjV|064}!56jy90eJN(Cidr5D#|p7bokj(1Ahk*|I(=*X zod1G$;TNlQ<=w9vFCi~~(ow(rY5`={?!{QtnORC?b1kfPDbFf@JlPT-68wxM{yzSb z$RFZ(N&@CleIyH=w}76%9HjWp51;2cejEH}J=Z-e`w1wn_-*5~`jUwMqQ?QUopTY+ z!Yd`+xS(l)u%E!LAczow>h2p_VU8W`ztr%Ig=S|k;u@jr!7_A67!`Spt@e;O z8A_{uBvUX*L0K8=>YL0pDusstq9;tWLegv~b2khH@Z0kz#gqDW)wvneC5sdm@d9_K1 zw*5YPE&gfJ>ctdACis3lI1Wg@`W4*O=kPU`di?d8f(44K zFZa;ZA_E*5(cVsal*ei{77)}u8^D;gBlHZ+LN^h299iFn(IEQ{3;v29-wqMO&EZAh zZxytqK5riO)o@wAkm{v9ld&nS7rnEHS2zP6fuWvJzh%grt{iX6ZAL zZCM-uNUx3!)fQ3Ps*!vW6^Fm!rTV2g%e84M8S|~Kx+&-b7&*L8`E*>p^-G44O-5he z8}A6qRJ9gX?P++skByNyZ-&S9&vb!2@-!37_oAt41l2VAMK3Equfow1w0Q#(4ZgWb zfX!!&>IrgeBiagV|8BmWox~^n*Bn19_k z57GPUc`m6bMtT#8X+nDhfCq+M zdiO6CLAsHha_UoOv?M>g+JHHw76c&-e`(_9v36wPa7PXmT1RGSojp5&C}|FlGkpiG z^3^iSVcpKDTeQ(Wwi6?m27x^`c5%~h-+z%eFw|mABW@j1P5jx?PnoMX3Ty{pY?>-@XZ#7GP%1{p2V2iN?xQme=%k0FTo6Ik z8?GX)k%3gajhj;$eUHq$Tks&~%r5Q}FWKNt_O=JcFEL_+$JPD#HU<{Whi9fbw=BI_ zSzhlK10Cvr+`TirF|?&BX$7XsO%F%sYC5*_`{z@fnMSD!RDOJ?OnA8bfGXw^>Z$<= zm1-AvboimxEH|`zLas=JB>c=&Xi{QLc{RTuJ;sAn92^|_+fVH=YZuy$WYeh!>rtrX zu!}yEq7I)Gab6duGc7Wv1h2;reO2BLi?u;}C%-u0Hu$7A`)q0Mkdk169Mx~W;chEZ zx|MpB`Vpx^QEYvFvlEUipwG)iM084G>*7Of)$bD`M&|eiV^2;`Sv%43N?dZm$(`WyBM6-ATT??}~*+`KQ{YhF6d z?OmbbYeO<~hS zGd!@c1K#&h+3(H`R?j?|LRa);oB7DLo!05!5Al81Yp2Yy2@C7k zve5{7Ymt+1@g@cE%MD`B!P`iKovu-JhDs1aoXQ8RhigAB8M-(4F1^3WLq$2N{$dh8 z6kf=6tDV|llAXrt9In{2F>%7u2I(f>Xy2KEe$q^fHG5Pcp*@zjs$CG9T>(c+fGr?v z6IYsWDD-BBcO~%2O)1io2>n|TKc^C9)&ArBE{#sy96TA2v*Bkz)*^t&wl$hCerRhe z(W)?R)D5|#Pn_hLe}k}vI21(MU%BXIbhBhj=Zs$>tHpoJRFc2UIGuYXg^d%vf4GOX zB` z5POSI)d35v7Sfe0CJ0g#Ak;9~mD}9O3s$M4O`fQWn`6&m;tst0sw^*KAJd8j(^cjn zQArSHt2-ByRzt4ZJ2Z_Pcgh4>) zE`SbV7Z)Uo*J|*grcaqtv%T>PoH|kg>VMD6*#Dn_8PES0Smyb^fMpgIW^Rsnk{%2Q zRu)dKWF}G2Z-GlAqyqjpDnkT>>r%h~2@1X++PdyfKlI2<^M>ZKQHoWhX(%LyV|LW2$A_*R83)0@Pcl1a?h79I|dH@z5( zcxpfbjE=+Ef%egZ;u1^5__GZoTn8Kb!cAk|H?ea%dH5z#EZ;B%Q_kZbf_;B%79yvC zGD`mqPd}^?lmiIAI`n^|bf791!ZBULQos)lP=E-@H$L)i>*O=)lk5lftr_$5Ji3J? zbU^c85=;=sYDAbE+WdYf$G{peUz9qb5Mew(;@FXY8V9BkG>sqabDbB3nCu@Ch#=j& zc6NR#_%hPr@F7g&%TKa5BJ-?hO;9MT=9E801#ad;C?S>1zO@hlGUW!{`GtObFt@(O~?Q@0$dq z6CBG^9T6RxA?gvjDDe5d)FH%RE#u$6`(N(BI6;9LAjuIkMFYH_c)5-aVB_6I%)YS0 zUfO*$M~{0DcJDVYPovu{ed9SOcuil^U+qRNs;WHpx)@1a z6klsJB%scaZtXjVknKCW2OxG14mSYErXW-MC*M?;{I>q-SA7|14{&u!gmXZ0sNmbJ zPnsovr7xQCb%{{aH57z%y@jEYGxdQ0#{5zIA>?rFkRk}!e+nV@WRrXW9bXbjUzTrQ zS5d|pR#u<)Y#(CJU(bIV4e*+}aHc-aAw07XO^)vZgg=wZ;9o6s5=Bf6sDQPvhtWRY zDK=818n??kt_*%Fe12f1CyLcTJth?w+tlJko$2F@HOq3@mxP$3gzP!m^@u0Te-H4Q z$~Uw4cyHtu)L+SFoW3*uaMd*r`G#ksf9&rbfP)a=``R2&5nM;Off8m+)mcC}eAEqq zo?D?%pYuRmSIod0AUO+v0eeO-5FqEXK+5MYFk8^`?k{2=khT$Enr-fW>o~fjHvI$K z0c=_1>#q)oi{rIW`#OkAI3P?2(sm$3%;fu#y?<28`Q=i~OvE_4>Um zUlLun#PkVmJCY0m!h#@t=S0_l&L&3F8R-JVkc_%`8%jW|ljO~t2p^iH0mNw{n@ z+w4`OF3rBJqfwx&ZjtP;np5XN1`dlntI9^4m21WL0e=XqWy4j)VRu!{%5skDFepV6 zg=oq0zD=h+-58)WY!Le3`S4a(OUdoLcMUyYf%|g-ibwek1#-jD2nlgfiVBB6KP4%J z!rhFNs=4zH)w$*evoM*s*v5GTHM?B%+KbtS)(gnvOH=6fQ^n(h+k#4#Ys&nTA~8IZ0jjIl79 zu+juOALEHsrX98n(H{lStSU5j{UlFO%{w?KiVhOev499$sEC}Y-NLRA@z*gwni;{_TcTRE?c;67cr9Z?0AH zq1%w-%?kK$;-qPT_B*NN)qs;)Yz}sfOp#60FP9=d`ekxdcHI&G38BLVgxph&@M)tj zuUb-0LbyOVv%UUXF2IN5bb~8F6^9{l?yBMj5dyr!nP(^o9D+it^bk z{sRz8-xrkCsI8)8IeUahY7{h)nW0uPQQT%)FT$V%^}UrOQZ3VK`s7uV*XQ?&{7pU2 zF!nPlLOMi#Fn8(~S1VuTk<6#oQ{A8b&eiYw=HE1Fg`4?}DDFtw$T6pt-))V05XiRZ z2jou#EqW20mChN>(&g*iEc$VmZOLaN!$H9DoKzA;VT^QtZ2|8ftr28 zswIBpSUflem!WT!@9pd1^CXj`<2tjmIz=96GjZG z6!T~!`@K2n->XBQ&}QIl)u8a8Q|ddcd**(qI*w08ipfa6N%~n5S6>(cstrPn)>Cs! z3F8l$Nf&sfSf}bA7L@EA-l|OSQkFoq4@*C;(7D#X6Q0qqITh>KtL-%8MoCS|6o2mh<#U{oUYQ?jzM~hUecMrv zvl3a6a2bOQ@$ZSSOax)@f=lTirL$-czNEA+#{(~~x)`l6&@tP{sc$4c^X>$WN6y-( zX87~BP=e?qAsN2^Z(NvgP9h>{dqQP~ zhWpbBRb5UwyYiogU>jKciN6Lsk)v%YB~ZXHr~bM7na6m!y9VfGp*3;9XiiwuJ`2_A zOmPS+m-M;9-KA{gtsn%#Do{PnW)&eYs8~5c$UlMYGbh=k*23DBQdS%^}}({Z`i63E`!93kK%6|?#MbHJ%d=NMC$SWTnR?Mwp#Yo8iJ7>*7&a37Ek&HL@{ zE#Pcxn--s193QXIbk#7sRN2T)KJ{EeV%;*o9PIWKRy%@4C~EDRZ~$pz@n-dhX()w& z0XL}I*)x=2D@dz__#dw+8d|q11oc=^WQ*9~`}8lCg!5%N$cg@6{+8|WewiB=U`^=y zuTih$Fdh?ojWE@8Q+O!=5huyn#9B(WNk>Z}&O-*cQwOv`h+|ePRO!>;PC}idz%4j? zs7pM+iE&4x}T$)>> zneMq}eF~N8!n?xX3f@`AA5S>PXf<~Xb(8%-ouhiNx1-t#Ly8kf`u)V%?@L5h$1VG( zSnXBxBJWjYskRl*#^$?5Sr{t$w-00fgm=y9QsZn1Rb+uvOL%hs<5N~r#)eXqk_}Xw zJo69*DfoJQor)=v$v-Sh)8A*>I2G6|Bi_hHrbruoO!>ZX3!KK(zv4;KR{R)p z8)z-1DwU@&;~)zE_{H8V2^C^9@vC%;DN6hjo}DJRM4c3f9;`W&Nms2*?#*X(t>u?G zrzb&4+&GS7c^=Cqd}B}?)n6?P(Lem5(P={s;#6}=n&|q`o6p_G+B?EHG}kz}bdVNn z@{9voH)&Ec|D%YGdA4>~c{Tfc!*H|zw$Kr~SZN5Hxajwgt7P=3);Kl0vb>vKuD)5r zN=AcT9uxzy0>N?oP!G+TQOK2Bl>Lc_N)yEojRO|Chm%X<%w7GnufAjlaHa# zh*Bt58~XEx-{ZxXVQPFcq?ne=bS;8=x^ucQTH^ACHn!^He%MAZ{2G>2keWzNooO(l zEj01>y7ZG2-rCPBfc?ldVnxTqj&GMFhyn{#)Gq^SO1+r|O}6-)US=kYt-zz^CKDT1 zJ^#UKKmVbJe5%y*o9UGPU@t^CY$`Ht6RhQ-KkL7#zv=G_@1-v>Vrtcs!ZeaG+Erph z5&xbOW>uuLiZ{J1Gq?*KwNa*EG=0ACN(eOx=i%tNO&`Xn=+R@qT*>h|Srx>2 zl7IqyR9x}@tFUv9?Jel~echhgwr$%wwQbvOe{D}~o!Yi-+qP{R_q@5!&ArL{CU^Ef zGdn9YlSyW0)?TwdU*_xf43b0+c;O|D-3uM!_an9@EFc)H@9pa3U>L(y?<RKlYadGxD_uC5*v4V$lL zT%$JgFd7&=lzs!R2vj-jFlm)DNtV_RKan>sK4fKHz^#D3D161*ezA*oNT5wK{swkp0!yaJaxc z-%6Of;b}=}G)2$pc3cj7kEvgS-dU>%?8>l494V+ljfY^72QZGZ#I_dk5T{ zr`7xo09HhWA%NmEDkkyX<_2~ zUo1;9I&#$+YZMU2vWv&eYNK2BPsq6SpE=TJeDM*mhih;s%|SN@z?a*s{Ows@wlg)zN+CS(Z))}3fI(}? zVNOiP;;Nv7mNU66bW&yGu^!!T>cQ%DxJoMa%V}$bh_ZRs1_5snUH^gX+C^nlmsjGI zhD6c4T5mmw>V<_bnf+sK-z}#05q48op{Bayz2{hos{;Bqb=k|4>6^-PG4Y(`sHFXE z0Qk`-y~~->n_?{PE?I*~F-6ciA{(aLA@X*MFR%0tl*%;6mGsM+`3!G9FB_BRQNgJ2 z;}uTImvnp^S9ZI;36NbV(>x5e%P4~|S*9kXw+3Rt??HG7tGYdF-M~o=15>~0mpBEB zt25oz_urST8n_uG^vuUr5Qu$r@d6V%0N33cwaAf5dm>B(d0_9V#lPrF8r@OHx<=2c z^s;%iYc~;T?+fm=J1MY|C{SmW{f!O?lQ=ghnp-ILUYi3W8^m!6&CV02TxAFKd++ns z6BU6jmY12s*T8kn7=mz+)1OPSp&uVkf$j-?GMFJ$t{S!LPZV$>F`K!!NMe}ZfVvSE zoS0zICA_IetL+6%KP1PJ5G z$VEn4N{%&o$qLapbBF1gZfq=zfiCHqt1#!Cf{4CFZnL5Vs#L_@25c^^Mg6L_*ZZK4 z`>{}e_X5`@dIWSvzCt?z9WTxtz@y0Wy33>0*C+`O_!P@O^;U>IpNy#=v&`M8sXNY zop4B;bNN!zn@gQasZV+7Q4%CRmd@tv0!kJ+W}~$8h{$WaQ`I%xx=!eHX8lGVn%gke zcjg^BrbZtrhNXIO`S&r#FZ>)?=fh8q(al+2p3Mo&-$x|q(58D%d-HVHuXT%eNz-{CVLikW1>Uk@Z4Ulmx$4Wrsi{DaR@v z??gYhP}VD;&ztG&fWW%klp6+bz5@P5t1R``2U?ut0uLC|muAkbS{MEfb{+|NLm z-#DZdy^~p4Dx^|*y5cFd%eY&Dj+;_L>^=1^mtnLaK|8mUg5>f``2p0h!8sI7I-Odh zGmDv+W-_m9v9aOvmT)GZEk2bhGJ?~D|?hjydM-pUOfX}^MRmAV`l9gJxI#+Il zKm*La9`RAU)qkQ`t&V?bF4a!j?Vlg?D(E@?j6Lm8 z7&2!6K|$kN0C>@@xH_EtJLG#S%z%DO8b_=U6;oWb=v~9|NuJkx@}=>wfvMf45)6kIkanGabk_1(1AuRujfsRqTkf2V|pky*A79y$s(;~{&kd8J8f%N z>JV}%+aQy#4CQ%qliBDfI-D;Bl{!eR+j)gGlxkm<0#tJ-Uu%@PPhS4A1kPPTh68sM z!ik;6o%Y3!)^y8zpOsTG;nZZXb8oM%3ogBlFtM!KKtp?>m?s^G_hTx2AwqY_{|!&s z>bL)~f*f$2?s~i1RTL!H@*6;EtIGOy?V?$Ssy!HPRMcHilC`F6g2T2^FYnPbIuaS| zc0*Wc2jI_2;$;~miSfMs6UbLhy$>Gp;8ifU}w}+XW*8wo=JV6X(nU>daLDDMEy1!@+fBLHcZ}g?+5PAYbcsXxtn~v=iud zUT1HRqOh{4QJ;d(@11IwfH9GpK%TvKP*q5V321edl@dnFaJ2tb$zx>H(4v%$`ohLF zqlMgp>JP$pJ<)y@qbX8nY^HQ1S?cA~^136CPFF0d-Sp1r+(ADlf{$qn@xpUOg{QHFzSu_?NWsY)z8;F#4&C&B$d?dH#emGll28pA?bYv zr%z?!=-!nk(?-Cv2(s#LDr}0>}`q z^MYkD?ZDU7b3wvQm<^Ao;)7$}z_NdiS zZBVxu-_R59ZOnP*ZW&!<4XAV^FI$o+W7r5P;P5MjW8n21s+Ryf7b*?pC=k^k5Wag! zHzSH1Pw=i4hsKeTjEZlo%%J;^y!+CpGB}fm8cs;TrY7X-qP051r0+?wfn2K10KVdz-1OzpDJnwNjsS{<)$t;soLsqbIJ*)Op z3ItSFIN}VDw43kOTeU9z?r5Z?W3&`fNkdEomCx6>8s-}t7eVY!=3|YWWTzB4DY;~p zNKvb9jhQ2op*}vhhO%mme?(_Y<#|+JRp}}vWtdx}r*uL{Z>T+?0Jh<99+)$vQhY7Y z45ssr;nG~6aGLGCe|@$izH9yVzYOJ1>hiBeSWnhk!v4Ny!9Kq%*Sc4o*?{nOnsdz)H~MsXCUhw*2}O8M#Oq&k?&t&8i2$Uby*NRL{ar70eAPX|YUzr>K)9wm%gS+^FY zN3c+F+Zt!rj-+140g4NG+cBs|`Qx$WdToo|cf*Y)WUt2>)7=rEVtqvqp zswewxKK_=JNBa6+lzyi>p6i?q?jICfTzEapX7=uE#4~ zVw?e%Zj9h#^2}&gKF3TEc%%8;_C9FxK#WGl=t_%v%pl}Ks@AkZG50LONdkGa-G27` zOhcFFq_kZj1~8QHPc@!Dg^0Rnh!gV7r}oc&8M`M!x$5jwTNHzb>;Yn4S;dzAlbcUnGjytdG#Sec@`a; zn6v?<4}#UeQs;4R*v|SuPiEv=5Alh;-MFZV0OE?h3VK58&E@&LRih{?L|W_?SlP_z zDtoiR5s!JosF@s#&xUz>3tuen2@K6;JS3ouVMLK}TGk!USk*9p`iB|{G?-tH_;Ra!4fI(K2xwh5eN|M=dvUvEhPoL6Wuj{+$fTsW5Dt}X z_l);h9*{|`^jb3mTWu2(MRQfj{UmR}hE-qk zTwnAR_Y=7HSCFbum9Z8eH>IJd4{NcA+jZwrwY?_~~eEG*Hr{=o)yxO-% zc?q3rSa`)7oaX&atS4ZG zOa*!St6LA9$%1+fR*tR1W)jaiq@Y*G58N7HEHWK`J0FSk+mkXgi7v2nIz~p+0pPOS z5h7>@2jm)BxssWeDhGK`+;-)PNA_Uu;Y)XsjC{C;VD%NLSpt_DkKNZ;ZlQ}{i^<2B^W$kCtgt`ZZKiN9n|7 zpY*%kH4!@x%CxGmlTxQ*(<-U!G2cY*G0f^j#=c zPpR$5DAVr`s7Ljdve`*K3>l-2k7l-lQ8>W*Zj#7?%bhq(*SR|SNA~qg0J`8z`Y1Lx z&V+OCL&~XVc1u>jy>vkZtNoUnti4t2^?ED%{9bN1X4YBH#2#pWh8E@>%Kn?i#BJpF&2GUD)iZC-{&C^{6!aEeB1OG9`w*%=$OEOl5>~m~D16>GY+LwYw^&?8?DQMIn-jAw8312qyiYVrPU*28 zc-Fl8)YJ=#r=L74)Cr=xBo^X4SlwQ)$c?;oB4QCqmUV#@9|*|eiF;mo&C-Sy;Kx;# ze%zm#sP_6KFQln|^;IVaJxmlrus-W{ZW*><%te=jdv#z&kda_YbPRSApTbwRK{KMgEjU?j-{obFi8A&^E&lk@rjj4->iGuxL0qp2`z%sl-ZTYIIUOp?2 zKB(W`LD!Sa?uU5m2J!Uf6qwK3wXg=r4)*BQuhpyu*lPz>nVE*>PmG2lfu5{g4OF^x z=Q-v151GX0eVF_Pl(RA()-ADm?@GZ9)#~G9>B&MW2Vi#ksg34u_zWXR)5w{`F=pf^ z$Jvyi`cC){0SHiZJuQi;9M^?|iXn=7@~wt4VhFc1P%MdiuknidFUux$z7O@x9~Axc z0~vi*NmXwZ>d3+e7)s(@;z|GD_B5J9P@+mF5D3;j2O#L#-DC=TB4D{{9s4x{eJx-h z5Yun2m~PBU4Ks(}yxy8BPTWssnUelBY1P_AuGhDL*L{FU zMsbTpvOhmD#jS~#CtdCYb!X0N;waT0DL|cac(pHPV|&=PBO0H_);Y=F)6?CRDXsmG zar-i^!4Gu)93>58I4amZ;SdkF1=yHaUrH5;@w75}BWre7i`XWTvc@ImUQXi!rucHLLw+SlEs z9bs)ivTMc;b{zN`0$}7+I4af3>5+uU9({3v2LF*HzIKaX|Sy?K1_w?Ah?^42`WrM6s#o$P>}`+jN)Fn#T}!bJsmnq5b$ zOsFZya8=^(ksq9#7)*djO)eVgIk$ zbD#hTt6wc49A4{#{WuE|dxpjcQIm(}z&ZQqS?8TUxWKd%?inx5C9 z+I>5BF)Y`Tiw%F+gNbDOBl0dvqaWd2-XxJFPMeTQ$vRyQ@oL;6^3Njkv9uwP?33T^ z_#UW16EV|H^f{1!A?cnJmjOn@DG2P{ZZU6hYH_%1G&u$hm#s$ZqEBgEybFEvS%*#y zt!t=ur^&5jD=LO3a4|819_^aKI&OuN`O{iFj2b~C(!!D5^}A{4>%IRNtzM^+BX5DgW916|)aHvtLybjIcH>gd>$u+I z7&foNq_!EI7o9Rf(in%?4Hz~t4i|V1`1}1Ta6gL#9^ZQyE%R1#hdoxW;Z7j4OSF)D zq{P{8^ImAWm*1tQrU&qpo0pR}98@UD8_E?7TW`z7u<;&l%t^}oNM4)~nCEwAH5&`!?lC z)DpD~F3;iIvQS|jTB_teGK2Ar@}-?4>hI$L$EQ(mT;Mz&76S}uPzb!2nxqR*ylU|L zzd_|hn!USiX9lI-jKA1?8BS6y1@Esy0+`p<4spnd-%C(7uC7~@Z`1f?-4T+j-oQCz z6^q6~Ud4oN5Q5~-NUIF@d=4aUXI>wuInGnkmNF5;a5{}@~VQ9mM87a!YXnMGq(b^d?+9z+D z0LPXIr7iX zO2^Hg1_Et0I@_vU>*gN6_}Em#&|)nq$2VV$PkIr(5dgM>#yv@?n0|pRDk|TF-z*w} z;)}9@wPb27e;68D;n4F&4L@ zq|}xEcm<1SR^rs)MJS8-oE1IBk^&5mlyW|59K_X*4kA$HzkZ))w8nL3w(_i&*gesQ zcm}HCTfSP3OMDI zrHNy(EKy8X&}|9r*$HG%Rlk|McBz7QNVn+btJm<5lB*!%6Xv5!zuWt&j@>sFa~&7o zod!63Z}!uONlC^dCH1J!xbfQHTN(l-%Nu`=oWlb__FfwnyE z#Esu7OY&@}@1+W(_y&IdX1*M8C{LYRj3Wy>PP*29MI-E#YBU9F0T3lzE86Pp+aeQu zKC0kG8X`qjinNoFe9GlW&tFO@}Q2FSx!YTDL2;Ew&GZKrq_RRR__Ts zY`wJNXCeb0Z$Ul)60Xg^S}whIHjpN$nl>cyUbKhUyBPkdvly!#j5mF+!gk|1>wF91 zH=CqU5SONkvhZSOwu;A;5EqFCAItMm3&F_}4QuJB1WcS)UHb&L*qbRPJ;}=7W9q0z6mikL|TRd;s)}l)uzh zvJ!}peM>i-Tx;wLHSvhS4H?K{`Q~Lw(a)1v8Ova-Ibp)8df>o8hbvc7l2DnJSS(sinB6lU5 zHEYFaBb@Ph+G~u^H=8@>nAr^WpAnxWZSCaZ4-Doks1t&%=a48PRIMPM)vq;og%GjC zBjk`IQDxj2CunUKArxQQMGi4Fd=q8nmMe(EDJ=A}7)^Oq8xxlU5XQpI zYFYp_-5F_Gzx=5ziFf*ST0za>BDV51NWn2UxF()TY=skfQ}fe0QG!Dw{y2$md9X9a zMAYW|1c#}poYu!0PhHaEB)$51%R_!ui|KoJ{2QfIVa`c7fv*Ln=AMzIMA=k~J=PCsRp(YZ0xv254|wkK_Z#iw)^V)KY?t zOS0=aQNhvbw6WrlnRU|6aFvgwK}`dW3O}X^974B0S3PO#*Ktxb)5H;Z^%~|y;ANB0 zwbG%-Pv}*5-H!bbbjqVh9NtX+a4)1ZG)tRL7dz>0?2M-8Q}M~BBtun9)+s(}{*Xz( z*7J~S@N~oc0m!JL-6jt2d8yuSakT#($WBQ8SYu2~JoMHB4>?WDCL%iUQALyeGWk1K z$ibt=&4=T>-Xu(r-KvHt^LTZMOUn?_R%Q9}7DKg%kF#QeAs3>Ic8K_UjP9D#YeFg+ zv~lw)BKSIA#i0SPhrs%;W6GiMkFVn%Fs>*tGri3+Odvqpn;a13=c1KcM39TyH5GEyQ3{Lbk-S0WEv657!BkGK7pK+F#heLPTXP=8fT5k#X!H>CC=?nZvpGxHkX2y0pVgGo6w&x2zRO;MXqyd z09-DqX=9Is*5xX(i08fj!@b~f8ySmDWJ=E@n&A?}C+rcN(%&JM3mLSlF9;XDESwHv z_$=wvumeo4q?u--keapJ0`|^2g)`^E+F+s5aIy|5boDh2(vcjnEn_u42_$gZvj00> zi;d|&$pR_l?7;Bw9E|@Lvc=4jI17yq#=^|R^&d?$}8UslbsEzM|dnZ8p31C@uXCWauo2v^-T);NW>;(u#jSM@pPgrWK`XCi(FYh zKkeN&=@(unZ8sn8J2PM2*E>~RebE*MVga9mAcFyLwUkjzHS{MyL8kU^aOiT>aQaKM#ySj&U3e}Ek@qs}-8 z2U$REqyk`}Yhl1Sg>d6y7n=iGiFhHR;WL1DV*Tkg5qi_p(@$qgK-FyGMhFu*d+Cv7 zAlDLb#z@fxgGONy;otIts=4q&+RQ9m6cqkJUIvc~2=Q$@viT7Q{m=X%McZu0hm2g&N&2KS4M8lvV<2?uo9cwX7;s#O*p*T_FASLY}!(w=V)#*nyfo^nw zPC+AMK@AjFZ;sF#PN11MAI3_{`33hCj{Ql|2@(K@ zi6Bz2=wtFAsrFf5h?Seb2|;_r0{m$syZt_>IeqB|Vc9e!o@PAoLl8y{LhzFk(@*9T zy8$L+9ih1xp%aIKLYcGn=>K9`3MUo{U^y$pE7Y{8Wfw2H8Nc2w&d25-{OI zAgB;n5TAnBfBt+{v=725Vc3j)dPW%-2#6C4(E6u+_zK{~QAU9{Y7hbXP9&n9o1Gm= zy=*lLKlvt41y9*7iUKi8UNz;11cZBz`N^mUfSa^Be%Y)@<{-p(7@y{ zq@*=3(UQCQ%q|!!;s~#I5EzpA=7_UjzrXo0c|&O541P|?Qsv)%8U@skdd7cp@Q}c0 zmwj~Hfo}o(r0jpt>iug`Y6Z6ifW7;I*|x!zFhQOL3Stao;tu`fOzm|nre86_Q! zdrjU0J&wO}O(^^(n-1cL#y0`?ySKwY;Ugr$giOf6yQIdjL(PZc{TF^III= zet(4+F-b{ye*8x_^1tjwcYah%iqK7Ni?PfLUr)b&F&WwCWJ&M(dlv$t-;zdeUtZxW zB9^~j%LLSWhK?qanO~?3Qz55VP%V!Sa)x02>50eQp`G~m2vRZ4!I*2LR(7U)vzkKKls6e z)_qmo#urLlNrqkuV$a_1aKh1_je$7`VEHdm8-3C7VNRbeCesyTCck%&3R7?L&y4aK zw-^OS7n#mAzKwPie-1mJlbfPj(tV>)ojNXkl|eS-@pO$r#R>qaSL~}wJ&lno4D-$j zcF1Nat{3tvHbRAY`*%<+MyP$8)rw2AWeY!p6(vtOrP$^(X)zQ?5FH(_i`i+$<@Li+ z19dz*d-{jCUeuA5M%*sqo6zAE$bXNz-`#D^U484#>frP0h-k2vc@}QG2KPK?M!LG| z84H!}#wbpZE1m#ADn}=tHYsJC8?BzCEV=OBqz%UG3AvZ?PF316)cl?;a!*cLV_<&o z@3VM=wu?wNIsAj&Z-{RH;L;gk5?h)F>95;L7Yft2Cxk4EkKMLq_4t7Kp7x&dfdku{ozdyCQhkXAlm`LAal_elAOvfL02eWK}1P zACgn&?zi*#B6NS%pH`wgkN+Z=)c1h<`5o`HzL#0L>)P|)GrWN)k9Yq4 zOg@sWMrPk#hU5+)mRw)0*p18Ri+`@2L-f5Ew=;9v$@*f(U$dUZX5z8Hd}t>VF;yE8 zMyw*Du)_&<-k~iC_?zKfmaZqBUp(2{A}hvm^SKOgSD@IL*=H?DuGA-G96>mz?ZOt< z3>TC!($y83_RL7cHon05#R6rS9Go>}FS#D_xehJPmgsORHg`YLrUwblhT>G@m3Ri4 z-IZPC}JD(T)(~o|Ku28 zn9>XI3V`ULA}%KwQjeCE$2GUZi%Ph84wvnVXt+ZwU?2WVqHmyBDZf@jaLD&!;XbhP zU}J8k9-hjeZlmbkz2cgQO7T@cHBPDcJvqLxrYm0$&sXXb#71C0-;upY9Q3w~^fp8? z4dF={#1u$IiG>%L-7YV#S$P8ed&2}0u z?l8DiLZi*ylw)p%9@_JnxVrSf3#LIPcsqqM&8{VH_IRXGB z$>TNmp?p^}e$f>zHJuZB*7y?o&CE8gMQ@HeIEEvNIq8S4Nz-R=q4#DPhxZ&`imtJa zqj_H#TdX+dZgUNh#V0`l{F`GjeVGqO9O=kt6wHW_|dnHh=K6a+9A%9w;h8pf?YLe+3vDwCSSESXp zmG^c8yK6ky*;E@IPwz#u_P#QfKtEl$X~dL^w_WB(;M_?HD|*bnsps_&8dd-p)w=W9 z2Km@rCa3z&PVr-_2?5i(xgNY7cvArCxvXbi<1UK^pQ;AXs5owH48Jg8 zodWSEFVA=k0l4bff~Uz^yVc7%jhqL|D7;IO$?jW}`l{Z;x_hbB=d>?VfbYx6gQf2J zAel7y7y@q4W;6%b7G@&Cm_*L0*2X06uy zWtJvnKh2*QpGT1TtcU}wAH7>jjccexn>m||+W(X<`n7KvI-~x!4@AkfU>E&c1I%lx z90^JS559#`*By3=HogAb9z*S)crN@hEHGj=6NV$yMBOITx)VDdXi1A)7uzxm-<+=g?stpkVSsw6e@|Y%qM8^}=SS{nv-EzSNTOLI zVw3W-V_RL^>G%YYEM~)^T_<+%o^H7AHNNi&R9oh3V%IAb9q;}NmoaKBteby*d_cjzgO$SLf6%@qw`Ez9tz^BR}qoc3F(9)DVTey@|<6?hRru+xBX#N zEdlAmZCJc+QBl&8=YPMw3Odcwj_0JVO8R*xL5bf}7;yloRVm=m*~kP^wVtkLXF^WF z2R%Bimu~=D1C&(AxkkpD^Y!?cSYdT+OL=dVQ%`df8K+9U&O&t;lSCj^Lx=aSX%@xW zDj#wySHF^!LP9U27aW7BG1?{cIvFl`!{88MSFOxcO(pf8cwg7Kr423t@X6stDmgI2 z;qf;r3iAB;c@}ULjiE3W3`RYqCdU*h$?ptY)W&l<$N6TzyF3t>r8;Kb5i*aI#Qz6B zhc)F!5LgzRnVE@=IYmea82>+26CvOvV3w3OAz)lAE@%dEODAU+LS`=J|KkS{GP829 z{g?kk4bW7^X+!sWshK_KVneHF`mI`41_FX&213M%Qm=v!>(c8AN8UWf-1D6+ww1i$ zf^2?oke3`YJ@=9&W~CJ=O&K4kpl6X7+6PBc{T54EyP7dHZ@N*!}6H4&%w(T@LAF@77Uip8{j( z59nM7;H|=F_;?fR0wTBEE$z;XayQo>?0|;QaT0+8%2ypo-9`|cz)dc|O8WkCXLbOR z9y%Bi#;4pQpESVOJ*Mv+=Og51eW+b1hS8hUHAYm#XAevG0JiLf#`FE8y%RfsEtJS`2)(<-^b0*n0`dXI=%$sG20VbNI zvG9K_16?a%t*Q=R;+oh8Dc&GDLP1DKO^fb}kU)kFTmVfDt5^_Mb@FS^{%SQuFomI& zvXw3^!M%&1Me9tiOiJ|t`*#P(I){1ZN}~-zV$Jz750?v^p-{eJ*_g{qreWQCGw~^e zSRQh*-!^wyRdvp}Sl9=(&k?E<7(g5*w+kmO3pRzXKtt>1&n=NBHCo?5NMI{0X9P|{ zrGlxsOLIuzdyvN*suI7VbPWFh4w9FOdJze!rvkB|34ovG0zE>M zP58~{0i*%9W5|ZevSarvVxosY{~1)e%+sT>t_7PaNPQ-IKY9aF%+*0Np&?>j(r-Um znn#SKg;q#`?Fgr3hH|Ky9&O~uk_Z~{_n>^w<(H-hCMa%ei~z&1$H4uLzj!Q}knm}BH>#%HBv`GNe9 ztC*wt_0n7yut0~3=AxBu{{%f;{V5=^0Qcx>@e*cR=G+wCSO|yjcFR_qO;yg;DXm+- zi%^R=!KRq)ll)r3wNLrjtmj(>zR?+g+!Vnuh|sq(-jA%dVgMARo9i~+!JwKXi$KNL z<)#KwAA^924M3Eucr;88yoF4dM~E;uT5-u?v>&HO(D$J};|Ai!5F$T-dlr#G{(yd5 zd>kzW$8;KtrAS+0ZD{=lk3;gRP*cq|=gP7;(F9$>OkvQ>)6Lir#(7z3oYT4<=y0MU{y_{HaQRENF8VEp%-A&+(3!S)gajJ9nW~*{^ zYOJ)^>%(G-t9gL7Mx|`UpScUZ6S()`?=CHQ3O#x|JdemZrVNe!IpV{U5lm4$nz(); z%)Tbb!tI6#lL+-ijD`qHf@QzQvHCMhp)LG4hf0VhmrO`Nwb2XPj&ZE-L_2d7+?l$y z8Ff_EnFw(AcXp$~aALw^s6KLnt6YP)j1-8?$>b-i-7~DD7Eu-YA}&>Y67JF#*>4uQ zf1V;RxBrG9E%DWBP(5g({=%WOwRm5IF_E|)^YtXm85enz;ZG@XBGn&fxhI7<|2Zdv zuv;jpCBu+6Z&{m5sZV|y`M6W@iz6Vvm)4uOr~$aIJXK|mmURXQrjD)IM(_FmED*Ua z8k=&7Ul+f?yeay1=Fo9*9pdhrQKjUV-|P7$NpQ}L)s?k2*pJ&r+Oue3KfEowe<_&$9)%Vp%a{+a6>2N#YO~4Ut z@9IxIgjWT~i`&nu!{c#F!Q8bXfdyo4)v&x)oSGCyZq<#y9L;Rk$`JEqm!<$l%$}%+ zcAz648+_wd4#OD|WI*%QU4HQlDUSLs+vTfeH2(mu%yA^yIy$!WVuRxYP`nR&n~omC zZO8Us;^;vfVx&|cJv5WZ|rP96H9q+(#;5FS= zcQs~X<9gF>*>uP#zfeEk2^j}g7`v%T+Hqu41?i1cH%)v8-5};DK;-78c zRA|2kwT*xS?f%IHxL;2<`Y8O2(=jr+1PcV8I&!(O#juO8Po~20ZfD}giQZl zD%sn+5VEoS>p6*;xP65GB;+|ZLCD0;O!&V`3ac@>K44(KZ?A)+7~GUyye9cE;8*q|uv*vLG( zay&Bp9+}%kc#LFZ)F`z2p{SlmK4C;Z1{tx>T8h6$W##zbvymzhymG(y&PytFdkK8yk(?*luh!wr$(SZ{PpU?Cizv-RJ(?oO$Lv zSI;mL>CnF^AlbNil6uu>fgCN_`2AMw?&sPYWvL+qk4USDe3f(<{tU68KjJVl)UYX4 z6&Qwcag-h&lT?6^Lq2!bCBcEQO8mk8Gfwv);P3f7jLN=Fo4{XsakOhi5i1i~N0>Iw z+2Vg+xBbEJTDQn<)$)sSv!2)1W6f+-~W371RU%azsBk%VRpiu4#W!krZL_hBH zX&V(-O=o;mv3DOU(l?!G7v&PwC%-9vucf=c_lPj-;)lQI>UGs>|Kewmdnb@##a2 z!%;cSMTJH5rJP9>0RHZpGGHll6{vWtI5Bic4Ivcf{!~Ie&fl9ZZAL^gh#$E{2Rm?7 z*SmZ3^AXGmSJn}IQP;XX-JgDD{ZaCv#nXch5gB9!dFEV>6NUcK*sZ^M-7hf`)0FJs zdzRx|MUk)S@L+Dyn@KGLzIP4_6FH%8on z@`jF}ZdkbFuZyC^;Yln4Q4hMOFXKElVM^#s|fN%Ex-2}fIZu+^3c+S#S{23KC!mL z^hB80&m4v8j95vqc`ZBY!XK%w|OvOO`}Fhm%a*VF;>X?*`VE?nYX3BNFb_-3 zZRcqJA-X@40e{(wHpH@nbIEtJ-f}FRd3100eUTWy3J0-~paQMjSyaLD`SG~jp~D6! zPY$Q79#ePOA=-8539m~v)2U0u<Oh zC@_$b z+857TJs8RjgI`gP@4&v5SiS%*KRR~yr%aWqLj8VkR+vw3q?XFqpY*ZfRb!rvL}C(m zqS2#vKV*MDzL2HOz>5@TTZWzN&B}#PCXFW88ed;Z6<%D$(k8!(AW4x9%HZY+%BWkt zR5HEeAxA&>_(-*6p1dDT0HGnyvCiY_cS7ufg@A}@?HQy61j5ZCG+qJZvtgA zM;R}{!O5toNsic(pfX!9w<5cq`%Q_5s|`!{E?>$(E3UOLOtf#S?chp3 zW9Si{2i9%HW0eBJYBS)Q8KZQ4J`Nv^9{D|_?!87nzH)N%EsUmBAY)UAw~=#Xsa9XxNdI27@vdJ?U`Anw zZx;CBp~&uz=g82m5T+tJA6W-O10$_O)yLE^BRPeZkCp6y zON*O|T>JtnQulQ22wOrKPu#s_92pzzzxuu2eWf)do$~p(cC**yBB^0LdMI~f5p&L8>r7v!6lM`36RDJ674tE6BOCuzv|0vZ) z;3zvS*LlSJZ(@yJxYt@EM>0H`F{6@$M_K&p!$V=?RE4+~-SOkpZ0RxQ6eI7z6V)&T z!uk05fAZ3cjyfs@i}!SGCpzr72lZ9$6x1Kt6~*=y-j#!*5JbpbUK{M}Hg@favJOskVFL^tm2yt=v) zG_=4%B?7Ey25<3pP`{K$#I2)%&8X1j%|Ly_`FPk&(=ZoPI@prNABC3E&|G z_U51);wq*`6ZhgAK|x#6mEY$H&BTKn;$|60)B%_XagnecfkrEYSW68Eyny09-G+kbSiy}|{Ieh_^iTd=2qgGW!>i4t=h`Fw_TEjs zPLNbHD=y)>0lV#=Z=T4yhBec9idbKJhVl}iwTnE<05Tya1sOq3p9Vb9RUXgvC>Os8NjuG zawPuX;2wi-{Z2FVKni~kmJY$T4+{YX_2uuiAT14~>fV z(ZR#|^cT%8XdhN!AX^Y*YzXs)PtZU_;5ZT0`oXdY_jW90BWhR$*BP*o$YY_shzL(yi4n1} z;9`|n0PVfB6XXRz%QJ46vBqW3bp8oM;QGg!tgzTOFuX`89}FWYh+ru2EwYKbHBlk| zX~BTBVd%J_5HQwEKk#Np%2}XR3K0>)bJ0J;pF-IPjOE3E5@M(63pWzN^Bah)&j7BW z7W7w)Oc;!1&j5lNFVIS0<46QA-M9?MLxT&>?xlSPk->p`&i3pAks*TL$=Ovae~B!^3V!uRUIQd>%J>Eo?E3bRtr3zML=!+yenrTeU|wH4Gy$RJ8d|#{bZr= z`&BJ*YQrNl+MoYjb?TARh4+J&tlwAJ=^MuNl$3T6Wfj3(#p;%}dUDNANgC@H6It9% z+s)b@dQX{8>7_&$`5C}DS=%$w{EUJt@`_xZ=)(C)x5{5$(Mj|A`v`@qT$#(Ya> z$yXhqI+tr8UDHqB=OO{vbwHFQ<9Q8d{Sj{coc7)Jx zyKYj7aq0QVa#H5UHIgg7iCKz2JyXXqBtk@l~Gb zH1gEaf%V-amUs00ZwhJmW0l>keRKW_6QD+wSWD}yTOb&Y@0;c7KFzNn2skJYW0qN>)3Apaaad5u4q;kx0nb~3<=Dz%ee~O`ie%PcW zu%DFqeB=xJ?;XfTNmL=Gx<0(>^t@0#t+%Y%I!2m)W_q@E!}(~t$@nnC(nab`*X~?J zM<-I4oX7Yo`&f7OSV8}e|HMF8MLu~kcRv7Dv8(UNfFqKiqb$1cn!3D*<4!M{1gCr) zs#)M?u;JJ_@Ux7iG#pRo?0i2O(B7FzVFrK!H4YlH9uEOc6!me0P})~x zxQo@ZvY~TqCVUkigDaoy6@x@5m9qy}yMKccO=HYN+!m6~@@n%xzdGlCQR0jCQvCW5 z@;m>%9rv^=)_$NTHSaDrM0ifvdibfw$3M{ddcW1%w~qWS6^{qZ8P;-|7IhhbT|4yV z(&slC^8rBy$Msh$Hn4egEsqv@TqCZ=GLj-#<9!o3>Uy|(|cicDJlzcYK58h%Ypa)d7$0IKflkl<(q4uq?i1$2K(-Nt1 zE1sQ621N)k_tQUD$jA7Z-Ii_YGQi{o@yHG7!h1TsP~(k{3Oo*o8V9(z6@;ClAHtRW zkhj4g{?s@o=o7@vUwz{;eAh01+DM+&HMo7r`CefUgpjf3cNRQNIt64?oyS`TcZ$Gl_{f|l5`W#PmdrJ_H2JS9 zRWkXX%uQc7UpqeDGBwvt{VV|AN18nh3<|wZx_tAZI}PxeXK;I4HF(=yZ@((Xj5d~F z!JEsQ6p-kA57}ipe{j7nD;H$(=iYoop7IaW&*GkfxAvmE=(&zU(XSJFzAVxr^Z_Q7 zvFU>t$h!3rK(F~ClQknMYShHvHbX5J-+QJv^K_D_> zy7voydFnmtXc0;YP=k{EXNTw!8l;C`HkCiQX`ijYIx%EAVJucssGkYu1Utm?QxlVH zd7e=YwX4zO6&Hzt3oPFoiQxyQF}VD(`NApq-p+7$Tt-$ z7@glS5QqiB@=&%_{n^f9q}Kf5F%Q`sW=@g+-M}kg$DwslsqD{M@$&y0+7_{FmT+N6 zo+g5TWFbK$+K{=LL8VaLYWMQ5Y;4)_EiHIzS{uH&iI#1B?|KU-&}sXK=L60=C^n${ zynftCB9f??31L9AEG2A*X4)3Lb@!vwAKj}XLfGpNXeh^a##KT%QQSsRPu7dRLUs3Qj{&>BmlLtUj24+Gn=gntiDv}jPeIpv!QkrrlrS-UcW~#A zM)^J{{l5!!fPmBH= z^(P11LeaR8*lVADg&sQo$`_A?zY_Ei%9@wyqrds@#wzj=6?|WQ{u{8<@C}xpZcuiZ z07O8&|L5nU<|T5e!<#X3Vny71DmVd4_SB>L$(!C#toC7+>2LlD#MuFat$3|YpT5{bUD?QM5GO$)blN~eAUR^vON@2>j5 zkkgwj!@+L*Zw18@Sv6q)N{6_tpkHTv)cb3azmKi^Zmwtz^Xj&~FW*>Tl%hqdmI;4& zqT$cLVW6vA$*y;vH6-!?zA&zdNHqm7<$Cg%jrj<7+gdL9X~QMvl(wo4fvhbu0{s^} z%FQPG<-{l$CihMhj;m66Wlp3FoeDh(dLmbuoPEv52Yw)ExNZ8eyn4~kt5^z( zn9g4*SLUqs*isKs6<$A#Z9a<1*FW3DP`0>+iCAZw=SEbu+gL$y{{_?b7<05ytzYkM zYc{EFQJ~W2BRiKkJ+_@4i(7JuLi>rv_lYBeAcg!0HjF&8hSXlZayVK?nC9=SteRi{ z+)Uz%+1&J3XeKbGz3le6C0kQL=a!v&iG?3`vj0ydf2|lcHSc}{Uc>|JcD>q|ziZfY zE)VaN3}P>sZgupJmmlotc-J93BTg4Ed~3o^??q(@irks1SW4H=O zJQOU2=r*UZ8Ulc5QxBCM;l^4{H&#qzC&8XM252}KPeH3RxtHpEV_u?^c7saKe4jX~ zmCxc6hVZ6_;*{2gMjIriekp4H*Py8iZ#s$l*WqGpQP(L+pt;*_>O#SF!a%UovvNpj zmxzyn!y<#`eR%D7s+0*c2Ma1*+ciIADhZ*4_i#367OtmnGiuY(*mpm}bCm(zLc6wB z8rYt9vRmUCB&{xbQQnUq#BQQE(uq&H;+Y*`z}}s`p959yz3YnLn?X3FFT?ez`-d#U#wWcd^6GrP z#0Cm6z%Cw1SLWAnffhz-5yoZAAREY#Ii9o@NvO61LC(b({I54JyWVJN#A~#@FVI4? z>wkWJQYuV+|7o%6lPG33Y9Fog&XPqGmtr-^Dvo|0xuS}nJQ%EsdPw+ZMG0b#$+|je zW}!4;9VKP_NAep-HK{B~Lx4vR$(es8zw~N%&G_WI@zDjU6I5Si+tMG*PP|`P!;e5| z>ubL^&0W23=(!lK&PmE`S2azW70{J5+B(AB;DCG$DYC(+cOt&4Veb^pB$EXTcS>5A zgq?EQoO>XBwXcb*$VIqIOd(E#N_6WIB=u(2fIqs@lW9{m<4a9LMOi5L$IA>|N%%>Y zA%D%v{h_dwa?>awG%e3q4J;OS+--;K;F!p9MwtZyeV)1_+Rh+C0zJGj6wux+M;SH{ zkZR^erDIrA{97%zjfwz%u%%O$*YsmVD-}J~^ha3MXxVV^W734%>^~8iE`EBD=g8~T zKT*MC9jA+3YZ<|h>h8xm+wh$qW+uaCgxlxt<#VLgBsCv;uZX0Kv!M@%R)n>}Z!!3O z=E#soD6%zlLt|>qoky#?4S<&D(owWo{d}cNir8{#Q@FVe%^-tf_k*85=Eb>fa(7>s zW^FyKz+UKIaqai+v6wgS#Zc?S{KgpRraNOAGiHWRH>f1*LAq`h1?RQ6>;@jy=D*!; zNakpxa(1Rhx$D<0tUEoLrN{O9)_wZ{+^EPW)d;{;s^N7ea)3p{R^BF zewV^gE!l5LGt~5JqR(kiTrMbULgp7~wGGWpiSU^QVI26cA4mo3`|tXVtmE1+p=Y9r zxEy-+b({&s_pm(?{NYaYW8pP##kF{q?v7w*@ZvQtdK}PjC>;8;BGKPAzUYG!@dt!c zO{OZVYmUhJ&DiP}bqGLL-{&A1=oq9e@iBGJ^X|q2ORM|F7(GcZEAYCRz0w|_ecJF? zJ+0p|SjaTFuan@P4hX96F${Rkrv1}{Jr}>qPy$x50Qo{38MGb$VPmuPeAe7(S2 zcHb5&N{IiuMLLm$4H}(YeEi=s?Dbnb;o}X~>Prr-0VH-3t~3Bwe|Kam%7FYjOHx+> zH-ND$Q2$*arMPx{v;=MY@{ZG?%_nnOF{5}o??pGKrM8&EtNWmmE1NXhhm`n~2N5bU z)ZM%*o^D}cHG@*8*TG}s*GaSXjpy?}edWI_WvqT8BGx6sSR93707@oHru@0#v zK^c@FX#258^LT*HNF8Igly{_oVcHyW6KohdTQl8&@)2^kv3LNSIKNN0dT1?aHOx-v zf>7VZBx`ER-j1b%b2eN1yH7b9J7Z|_S$??Fztla;;ZeS;#{cd}-b?-cFoMMe4LMku z0;LTiHY8j935#RKwQ!Ptb=Br(xox5`w7#ld|AxcTCSrjIGL7}yN`w}D;RB0A-xANf zhFku~06#e~@y@0E3ZJ}N->>teMGj#sD!-otAECB6dS%WZbtU=+P(^7DcYhB#5`$=5 z-L+qmKI9O++Aao19_fFKY9CaxRsQoEbER2!b{D>1jl)u)wF_H&voU1)L_O_yf}*`O zjb9<>_W}XThknisb|PJbQnF2}gjRzMTwH67oXx*#f^T$-@DWMBMV}ti>c`VT0Rl@) ziIII-?8{`G-alkFaz7adq@?e0~ZHcmQ4Ev18%I8HH3tR ziTJov$9x38WU)V*`qFkU+t-G0xxRmr9jPRQM=Jvv@Nkm#?$3cS6KwR7aL`V^8k*W^ z2T6soH{y%Jm7A!wv3#yV?nisv`n#?^Xb5q)^6R*4n2oe$Gq&b_&`&1c&px-fRLhUH zwNdQW;74#>28+)wTb|Xjsyj3=(pcL@-|(DImk%2Z)_4_pW&N*}a&cFk)O)qsDAw(| zR@ZJWhBY0qeXut4@IHi8$0wbyy+ma1wRW3D07 z0iDT0IoydYLN2jrmmcu>+K>y8*FudnM65P~_YnMrpQ=q=#v&63W%Cl=rRXap*XR4A<8GRpS-+#1O82(z{EBK`+Qg>&mLX{RZjTGZX(uLH4`iu=2R}U! z2fEZqiXW=kt+t+misVT&;+$Q2>z=cbOOIB^7gRCRVlT*}9rP%qDZMIX1%MUNA8*}J zM?Tdb4o8TOTBj?VnSzBb3J3T4n7?wFc(5g0(8t=hHOHy=tsrMohD$Jy=n<-C1n|EZ z$m}5M=2|0Z33D!^%H6(GtX3y}iT@f-8Zr8IU}CuA}Np@!1+86Hj)_S15 zuJ8YOaIkX9(|C4_`aP89ejG??`{RycJ}Rj`E$wRigB#uPFEaEAVp`OT5O5pC=jEH< zGC;T61-JhRGnDzKnc8PDdML;d;L(csO@W4$ad zU7=p3(~DVNMS*S&8@Z{ak5vcPhR_Hd;*YBLWe8MN_mSvut_u4bp4h+svugTedtc1} z>G9w}im82p*R65Yed^4MzhVODTxLJU?F^Yzd$B%dDtl=yJuK0vm%<$u#+u@@iZs^O zocN04&%e6x4&TIks(?*lB{;sWwpx;DYI9SJ+09H0M6G6q(MrvhgeU|cu-aW9R^liK zl(gFXrzCwOOSeMg!jT8z2p*~Em{)_^ty+7Sxnx&4_G|Q91zntSeACaLXf))PlSJ{L z-_TXiKxaG*t{;(V)Ji@lW9NcPMe*g>KLx~FBtPkE_R|0YX~5Ck=U@64jLq}c8I%2{ zt$VreRDw(YZ2{@0Z;;Vb^|=6(u%ahaZdb$H?37Rj!a>~{!_T?dQ=1jTo=!h)nm)J$-6-4qT zx^bJh&+?@%Nx-P$=fUd14=tMI)!sR(dsu~)fEk#i*(HeCkxG}rcjPX`OplPCqy~bs z!0;XUoA*DC%k${V7ajUYIIa7&*l+)Y=d;%$FV{Z^i)*y&kDg6`c@Z*Be4<0iBN$6+ zB^+pdt0G!yq3c^1w;~|9)%^5}XIxC0Dn8v>S91Il-36pWT-{_K`qY6e(M8cTEu$Nq z=Wch};pZ$0V5+I&^p`R#&qE+Qcohj3{HcA9tdkRh?i>{dIGqR4&>xh_uZK=y>iWQB+nLt}pPqy&b9E7^{ocHMkIU=OZSxYm zu6e?HTL+@%e->txznPYiwVf4v7&fBh>}9Hpog>~k3t#Z%kkY3S#MAtq}=zEAn+ zteRVzIM>ouFQZ^>H7zBoN(gVyP9I#CIe2^0^&~`7ee;sepQ;(~P%KesSM&NyaZnQA zWmjPT;Hc%T1P!WgBQT1Qh~FG?jk=o6X#OFzRR!FZsZ%=)*-SdD3{O(uGp!8f|CkFg zcokXJf2+opv^*7LitiNgJX(CeN3B`9A6&w!UX;d|h*aa^G6v6=4EOta z;&!QB=;+HmvxbC!W}YJHoeQLA2-2@cWI$dT6yxIsmvF`Sr662KaS=Ejz+$T^Ms#Q4 zrT}YR_R3d7_6uswqn);pW9EJ_Hvx~jqrNE#4T%-niY3@O7!Pw8B`X4psTUmV=20e& zno1X~+ndh5U1dEgCG2|VF0#Q)3h!hei459I#fH7t$5=T!Z9SH1ll9w&-?n1?8s`1F z)A|H5IuCy!8lYc(n4b~JK>p_55lV$UeFu*IZMu7B;$y)kStSv1#1zf@+rR?@1wFCk zji#RKCf`aX$S3Ef1X~GG>$6C44|7&ATgKC&Dv`U^!d0af{+f%!jCSZ^tpKa zFyRfm1r2;Dj;>g@3XL@iqA7ic5^r1uwQt=S-)Lq}rWUw*-11ai7CtoBBB)}=uYv9S z&?M3=gAT69>7~4Kq4{mvD6Q}2la-fh7UmDNyul5|mezl3$&I{ER$@~Y%W0RqNv`8WLcb@xlby|AQv-AoUR6yG8y(cJS;3C%)oiM1gMc6fbtk!lvWQ)leEyFd~F-%i^dE&rOd<-unla%}H*Yk!i z%txKAE5+=|${N1dQH-AxiMno&_#75dxpABuW+(%u-dmci3r#TtrH_3mL;%WL40`s7 zIkRP6V#k|Py5%(UCVr!JU5TTLRwXl($r5+(`FL+(6FXXKg#3xGGs?*?Vy})2<*{qZ zhsf5!*D1_f&BFk*QW5{|)k*8l$Nonh`Uf%1?`IM^1q}gdp#$(P%PmwJR{YP9!&DRo zUXD)VVanMO7w%WL{z3wy13<5INvVutfA`>`QDXRHwna+(G)>6m6)Z^_37G-npmljT ztWKs5t`F+|zikGVh4VhIT`Kl01%XdGTx?}SHD)I|Q&nu5!}Qn+9DL8${Hak&*6RY{ zZbE6&he&t7^_%{Qjl#PzR;AEJK3?b3#m~PwZf1o%G4u?49=B=G+yG%e=4BOxYVMD@ zMAZbL!7c59?JTW2x}8q;l%GZ%V&$AUdFIz1ZK#O+cNquAFS1^X-0OpP8oCeL%Dk5` z&!C?tex0F7#YSH!8kK6Y#ZI?vvW;hxePs~y?^S#l1;r*6diviO>E>Is=5t|PLou(C z(8Jk~)79r1L z#D9v@R{S zlTV6hGxdz^wRz_$bL9`y;-~0ONjgnV^>yp{3dF44InhM??nw(N+9mXXa!;K~)EBg< z3t8&kizO~Yljhdj;HQ>P6n}kPZ{GO`8X5ngVQ`K3ocm})Ao7AW9#y0#_ZY^IgUFPz zF$OzG;|VplYyuF6I5fYak4jP;L13it>e?5!QFb|_s#H7@Ie1e;(hvyyEi>ofDx-9$ zpTC2;o^t|80qN6yHYH*mUGoHMVEK}(pv_dX0h;yF& z%nyMp1IM6JXf&ZU8A&!JNM(3``U&YbeaZxjlB1rXNe7ghE*gxV+NNj|lHqUo$dLxs zn{)ltdVg-r^dtQlW;Tz^R9A`o6MfS{r=EGIe2eg(|B_y-Zy|-{R=`RJEM3;g2ABrjA`wmF|$X>+X2Ck}#NYII6EVlAek26Ji zYMwF1uWg^}EC$v;gwf5fZc?x+Ql%gnZZVFD8<)&pN`%)n^6$6bs!c?=?zr#GZ77c_ zc-ZSt!T&J}%={cd(5iog7S__jNu7RNA2k1Fq(u*y+l*}E;(FHl1dr4b8Q2Sp5F%nO z!rejJ6oyT_-3%{dh1x;N^b?up0S^gqDnhP{?Xj5dQy_Z1VE(0)ovEsh6QMsEEk9Y( zQqBoy!@k+}wP5Nuq7@BaROGZR^Vel|nrDhI!{*yOEyW|DuA_%S@glAtqnix^{+|}7F1l^I5*2O9@s|bL`8h78WqT{1r!CtZDdp-)+*Zch z1+&`bUoINTC;s`%mcsoO4{d>m1dPtI&C*P@ak9tPnVB$?$?ASQNx@)KqIMuy>X&1m z|4&cC^FKXFLz>zVAuT)K|5F69k+HLKas1!ZgpHe(hx5PI1Phvthl7nLsZWgthkg^el!pzK$&P}C0 z8^9RHiBcS+X0#^Uhvx+4Fo`Y!g9N?(FowGaX1jZ4<}h{a9QPmb`8gCUq8lTNb69!3 zaKD=xp!xfhBUV>^cz z|3(P%tSyY;U7ubIzLmW)W#?RaWu$LxY~aP(X5(EFO+s6pfZL}|;RGlGqBMDh3^Q0a zxJCg53CK63<}r>~U|fiDrNBXjyZMy8RGesUc<H8!>|aWFkMva&&8ZD@pnNTxi*&)Lj5 z1(#|r0q_a51y=oD2-^Sx?O%lW0N#gQ8@i~91hnCU*p0|TwmcEjWlj!W4r4W_VB|qF zJ)T)^B{OPubp^~WCuirYLUCgb-STeM9km3Yeji+#np`>;>7AHcTDV}rC}Dn*KWk1! zVHU-|1*Q8&?0k((1WtjWn46n3lW>F0fP=a6)EmArbY_MN-2e_$;|6=EFv9vz?oVJ1 zs2HN8avVFuBD^d#6q;nctFzE2`;QKTASp*iMle-5Op5@vnTn(E zIgbF8`{Ap4uyoMd`!!Ej{3Cl)L(|iX$=9=QM)E(&K`gbCFQX5GoU*bUf!^rA9Q@wi zu|6cjSDVpRVW9iv@7I0ylw|e-KefRvtxt`Cd!UJZN{aOOo3V}k=Qj5*e%W8` zkP0bGISPzltNEaeerZn|Ii0+}IZ1~G@yG$YCWavCXD3H$17Q-Z(s=F9Y6$<0dC*Tf zBO7Cjx8>b>XGe$_BH~!V9bqX@ATO9cBPp&mf-A_U30yv=*?o$XIRMpL7>q+ey0wRT zY!nDD=(}x!JeO z_&R*Q{lU8W8Tn=OeoJx3@+fWh1T2ttKarxgRddZuyv8RVip&91mpyy&bgKYS#%AtR z9l+Yq;_mdO`GFca(6a-pISlln8iTmMB3@{|hBesvI#xgBKH0?6fWCO{)-ObVK*{A@ zb6TWx69g^7>-kZBKd^{-@}hVFYPzFljw6-G0r@8jU+n@n+aiLZc>*&~_EuX{AuKBu z!mXe68c^G@Mh?1$VaAFav0;5Sqqn8w92lJyo64#N{luNZr>|!})8qqTc%C{HdwG%9$IPJtJit#B( zQ~TB$RN#XMusJc4`<>B4BJ6*&F^@egrCl%i!@oRRY{1yzH5y<@|Kb0z`LF$s8VOQb zg=!*`JDAq>n7^4tw12?Byujx2nLy86qa12naDICmydh!@hvsWiPrrwdXeli09iK#8 zRfjY@Gt8sims2kEEd&mj*wnJ5Vss_f)b!+lSN+D2J>1LB708Z9`!HTJy20{W>f48Y zpk~3eC*!*0#6)h}Hy=@H_$j`-&RS#N3IY~vz;3F5S*s)e6uJx6iN2fAqex#LXZKf~ zES`C&%CW@{SIL9gVU_ZmMMy%6VES}sp2|AB!EvF8L(FDAoLU%QBzo1X$omPWBAna} zQmE>WCj$O7SH;5m9xsBrjJskX-Vh2QB#dORxVP7p0&2^3k00jZu;AZ$&-N;3L|o#i zRh4~&srZ-2QIVE;SvtKRln7M^Miw=&OX(N#3JWR!O6YL3RTXx;EUFp~24lO$rLu!6 zJZ1A0uOdVyd}JK}<<3^vmL&r`hP|56+@`P6ISMW~ah$PVNRmrm2)r46)A`h~l{|vV zzUocG5bVrfqjE_EyXT zt!Xyj++qa2emg+4=d9%&5blZZo(kf@%ixsk z9B7Nxox3`-|JSNUeOk(NXNFor_oovTNc9C=+)OJQAuSD;==zCknkS9Wz?<(>e=io_ z^v%K&OO&huj6!tJs&SKuVH4bH!16C{_kyDKtAZ&IXVNb+E(9~O(*6u6c19Z0lS(D( zvU*UY9LPkub*LcIJlA-k)~W82ir^`RhUcuk{Oi}fLQeXc+IBZ}nVorPOm7l4 zb!z*A+o|k!fI7dTrISU+8Dc~0I*{TV1nt0@30s~7e4K}^>t*ETn8n>l^?L0o6PV)T zC&Y7f6|W8}PlX;vTzZ7HJVNewSVs7(h|sn+ky2P+qn}O4D|_D_F9gOqtQ($> zq{6KW1j61F**00(@eQf-W$%B>WcIc#H{xR{bgZ8)P~j8VjerxY{7gl#hy}1P~6(-hj^L93V(dyGR1s0G>b~p5t zfC*dBg>yQKwF@(R=;ZoH5L83DF@mb_N#85lN?RuiS+WEp;!r}%p;DK7A)^IvMtSvU z!ksVUKHm^JUeS-0ViG^QG_QIkU;FguHFa@Fvf}!H@s7-iRYUP#+^McAD2ephB@6Vr7^@mrb4* zygB3D5zVn(DVRfmut-uxWc#fY8VGaNM058hXC9=ZpYt^hOL0tOjAulZn&evo*rJUx z>=lvPl1P}I3Q&(AARs2G_~jZbyY|}AZ|exrbpLo0>nqUK6!fFGOvSE(5offH7_yGS zcp7^bEl(tIAb2T~#Eo(G3~Eow8+vN2N&x*goa2c#ri+Z3g| z5tHALabCM|JzX;L_0(l&|j38HSL@j zZ~Z#dGrtE|LH*NG)ydNIFk>N9)Re4E;3UD08uI89)x;*jx}CxtIriK;8_d(!;O&>j!BvB5qmKebsr=sC z`<9l_;#(+>rOi3K{kQ1|cmP9A3XM%sv+g`f3*Hn^CSg#CLPzhzcSlxu(8+CP&J(os zUD(pG%=<+EJFEL=1F_(O(GcY~WaqB2IjeU6FJ^^~UV`Htx9C16)Ccb<8Qkf^zk&T; ztor8%Z7sI7d<_w;YU-vGE79_-XLYz0%zp_wsAe<3vd5#Rume4L0UW5k!bh7MzoJu0 ziSCZ=my^~Dx9E)xr`g7q;+=b~P3AC!LnbIk3 zB+WKGJO|yADUVc{TnDIE=F?BXaDo!ror^VV?z@dX*o^sX2<2l~r&&&I%1xRn3shAe zup)c1gb}s@Vovk^$C$dEtSz*uD7+f z7*e53+-o(@F8<(}WmIwN^gF6lEttm{af`)js9TK-n>|8Mn_-~ zwXqRx16c^8pZH`G+7AtPoT_(LMp|Hx(~Z-lO(@n zIlH(@Fuun}0k!mQb-UkX+v!I)UlJR!D^sntG-t!#q5^zWgT;AlSrp(uep}cZulvVo-NQ7?w%EY0FQ|lZ1!2PO5r|53S1q=3!mSs zkE4E!&pNnM55WOAqik}J9OZn>;y zS<1-wRmdlqh*D1Q7PgejU6$j`Jbw!P7_vV12lv@yk|Ss%Z7+-+d2dr?m+}BjHeDVg zJFY!&1A%wpMx`Bc9r8#fMzx;tUY>XuY;1e9EVh_iBXHwxZ_ZhkL8~&t$}+dU_|f!Js?fFGPE5 zpoSlYZT&@Pn`#~q4J6)f+-3@SvpF*(>s_FLE^ttmO-C1$+Ij>`Ww0B%(&TkA!09ko;c+@ALwl=i?1lcv8&{JP+o^?dYEX3 z3HWtcxf(-=#D5t5^wYVDD;JMHU@TMZniNWXrM5%$APF3}*jW9V*Nm`issp z=XNqu@vh&%_@nzdsZ4m6Mw#L~4)ggM#tU(6weyh(p_mJe@cozp4>w`vgw0NUB=*JM ztS6%?N}T&W^-k7z2{~y>@gE%*{0A(9J8-Pt_-iD;i023DZ|NMfsEReCPncu8v_|-v z5L`R99=?)1yp2C=H88FNWM3-Yt4=t|A*R2j8xSUybloy8wU zb5mC22r?vLBJ1=VKs|k({GzIfbO^(g=Wo1Hs*gtTM)6)=|B^|Ui325)U%Zq$9NF@cQ@TbF(pSj1wj#+1fK>&y4yg!0lH z-N6h#wRC6982PIUERL;HjW_%yR6qQ54=jJPOjZ$xO}+hRkhobYi2?ZzS~~qXp5Qvq zDpu&>?vAO=S!ITlGhTtl&hIgjq*$PfJe&x(?1+JNE~~`C%xRNWg}>PP-ep`KxkIk8 zT~XTLT5Q@5A1jRCFv^rtQsDIg?;z3?M-9eY!>87k8do!JZ>C7ApyW0A#G@qOWUefR zq`QY6YaBA*!n_1~5yDDMno4b}Ks?KcWkz%Hc5)yBGB2-+NnMy{RQewzx&n{~t1KK^ zjU0rHO+K-kTi47c84LTIj?Ds>yNS8LNy%)7tr75dKjbt5|D-z;qGfu8sa25AKs8C^ zma55nwLLAKy*MleWXMQj)0IX;mZxZnDP^a zgA?bw?ac#4)HQ3B|Hm4OzfSWi*Z%@PK)}BrsXjn&l?;x23AzG#g-XmqD1alKe?M3i z=asPSY^1j9N;t6!CmS}ysItMI0V7?+&m=PR$l6X5v_XOTIu^zdwN_A~xt=P8mpeHG|0 z=RBHyOJ3>gykANoy(`q!20*2NBSJ}yUvCbRP*{SME{B`F3{t$|TUWiFK{+9r(w}uH zV%5)F7dt_S5GOr%^l>&vM58?@{1w%PqE5V8e(;HKw}LE#5Y|WbN@njKh_PRe+#qT9IGsk*c0@TM6u-OYjg4M5C4&A`488_P6mdpHIAN%WqsO4xZZ)bX8fvxJp5W1$ zEp>T^Q9Z!nkxRf0M(tITD>u?2-*qz|O8lV|q_Yj?9)<5P5LD;^e<4Gi^4@NR!XaN; zA=7En=;Lic)JY!iDZY)aKG7ZL)}|dz_w%*#Gw=AtLGMISUlvQpb)&W460j400MyXs zQ5X!*8=~@*7;}C#{IDUTUw@es|C}kuW9qk|(Pchb$sl5+PR)2EisAIHQHh+wZa2Ix z$WtRCe1v?@eamZkf1_Y*G#{(s+JhnC--VHTK7D@f$om(XKOmvg_iV$QV$zsxX_35; zYOIAmmwVnsB@d%T2{s>apAp+L$WKuY7XAjmkTVnn7&eqqbQ`7=oUe5ZIaLU?x{kE< z>+8Nm&?aEczp4yxl_?sVh0v|E|5^{uu_J|zUMf|GZTFnIe=$EcA2ZsGiF0X?%$rK* z??Kmk_E>AKsGJ0QrfmlsG{1jm7t&(Y>yBeDlg=0`$XvM2(C?abkO$h;XQip1-S{Fr z6elE1atWT&^cUTvOWVfffVGxYiExn~d5MR9;%8!YepTojxP5ZkEAjvRg-1r~Ho>g0 zJZlPk`+ef|e>WZaQi+ztX=w_|Ami~CN#|q_DXr{^Di>1cvNll-48bAfh1CioA?5Uv z$e}C(-M9Vlj+QnUv}H7byA;LzJ#tRhdR06%ZPW;|6`X4M)OYsr((?nMOppnx`_qS> zCqGGSQw=Hkd3w47EGNuLskfp{eWvDehlU=Ap?gq^f3JPWl}}Hfi7GvV#mk+A5!fDp zXc?KghYE|rf>t#Aniht;3hm*7?+XP(@4j2W%`**g**Wjj)>bWKpQ%zY$H+nKezif7 z!9#d6oL8{4!h|GcA3n%P(wTO-`x&zFc(uGHB*}+o-2=SW2mRSZa6&wAc)oPlPVeJS z0CC;ke?UZOms!qtmA==>G^%VBwn1Y)ce3UfVzwJ%)luFGD`V8N6^dqO*?4Fs!Qp(R z_wy`5M~(G>Zd`Z0+7_sGL7MH0+^$AFf9vcga1Og)C^`rElahQW^oo>aROpuFk-Bw? zDqS+y(z9c?lf<1uYP@H{i;@@E2a50T(5hNpe{0Nj{FO9q7Mq&$Pys*L%~~YIn=E2i z7#F{*fzjxzLQXLdh1k0Jywbyme^zXkz?>8Vy{&nG*M^V&1PN^P?4G^9WNV++h5NDS zeD?OHy~SY|i!JGEkm=qP9R#kP;~hn%mC!g47Az%Ck)cI60ZtBFiYs=9w8~p$ zG7N0L;&~77`P$RTJ0#GjuvdPrK@~l+f0)_3(`6k0mnURzs1fI1RxDHfnIZ>{Z;_bQom16sxTCVJ-Sl$A z-k`A84IvZB8tZX!S#W7DnJU2zI;-pa>RnpA1Q3DCD?%o8_Y|9TuxE;GtD>qLe>|a& zL0#WLqbqVqd**wyzMCJa9ks9R>Km79_Q61{P}kFv1HQUJRX!flU`BpT+zHXgP$Y4z z>e2Qr<}VJV#CA;O6ET$$!#89K5AcCwumXT`dg_i?Un7scMrO&e5g9%NP`m z*v=(K1JS!;rQla-+28iv2e;7QBHB3`J+1XC93WdB@G>p2cbf_(1hIU!JSMh-;c-kH zQ}?p<9P!~))w>Z;HrP4C3W#V_1GKBC*{c*Qe$pw8d{DA0dev0otY9?lf8VOY6DB!W zNIewM$E(IZkb|#Y6>H+7a9$mq4{2k9+*hS**6c#mX-3ZnAf6z68J89%GoE3FBleYg zf|uZnsUR9mhfqwNmTbrDyxldmdwjC!6JPWI6>E}aQ?cFNgB$hVr5{DI(7_U;M1=j( zmkVN<>;3k213YSQ65x=+e-rDibmD8FGleB&2^+lAE`ZcV<6|nBhLk4IpEYS3w6RDE z01LR_QwMiN>L>UtRkigq?_j)Asq^S5!sJE6>JX+HFkJ1d4KFZ_q(QaP%Q8xItM4c> z`+So$r6lcG#QQ9n2>PUqzm(FvhW1RjV-y-NT$XL}N)@2fU%^pPe;^@!5zHt0BfXEz z!_KvqyT&E)-r%~P_N-Bp`pCgt1;z^$q>ei|EpmG5c9p3CMmTSnlTct?e=rFZvJ6!$jga3G?*-OofBA<{|j z2CF2HmxXW-PgpB`sB{kk?sui$*2S+NR7G(sx~FgNMnafge>Qz=c{!(EJ*3aj`__>p|Saolz}cG)q-uh%mTN_T3q*=vjm@16B{u z4$g3KXoQWme;9tp)XC?ABz@|Du`T0x%Gj(HC4|@F-?pQp6o7CUy2+|qnvfHy2mqu*1q8e<c8f6Q)dl0O6GG+(9T6&+ustOSH{C%;ncWw#Lz&o`A)IWwO8Ag-2&{Ss0U472O6 zqU!t15CebXEJdg5)d&v?>S*%Zw)I8#1W$jE`&5w@Uy;TNL{-`naBxW!X6wjs2nt@8E4Rk@YC8C_n`*M3d452X>NrCvh%lD zf5s<70wg#zDb(Tp-`jP(=8brVb&NW1uX{^$2krVj{{C_ploaSxKhIhP=GiCsG`U(J z)xb_MOcd5#Zgf7MP05W$b0a2fIps*9kxP%nLf?rIr1D1$aYeVwAGiynafnvq_&c)t z4(aCn@~N>^yG=rowhl}%t<{>zE`!Une;bp!Yr%sy(8-8-9FlCQ?f1B%BQatA-r=4; zOKixF_t8fgd?ZWV#&$(8OYd+e+(@jP)HwVI9@nPcIX}n1&1U<2X{xY5&F{2Y5QIc zzV{LN)&vWxx((99j4!Qh!o4!O&*PgiNc0J6R|@sVi3uA38#!)T z>BPr;iw#8PH&DPG?)>?%f9y;jcAk#0$@zOiM{7>dAv(etuTxol?2YfWe96Cy6R+zs z_sgS|cIdM`j`smQvK{O;!6W4_sKn0T1x%e*YszVUNt^ElUuB7ga3%DeUd!wMK z5t`#uiS0Z}AN;`S$ds1?qfsSk6!g09628qZc0NA}FoF8F;mY6re|ODZ=4ziftj2z! zwgqJDs*j`#K8t;B&pS3$Ooa-K;kz-@jQ@aUoO8*!X^Bm&W$%=MlgH(F1C@E zNC)hCcXNHAof!>Ip~%8hp2!lshl~h<9q5@x{QZiuVNi%HBDw-yXSK^5d-Iyv38!_N zZDz#@mUif8LO-daf8M==bJf()|BzD)k&f3v=(ce=wbyd-HEBT6BDB2@n;%8@NP%0S zw{zG8*3*z;bQ&%84ccVhr~nM|fI=&_U8ylu&}{fy8=f-LX>a6H(SuNc8LkiPH<(;T z^4Xm*0fq$~7TTFDsBbESl@yTS*YFyjYeWep?eguzza^TAe>e8v@pcv1X|soA?S6S^ zW1x61J9(FV2Gz0L>yu>llIyWeHV2c+BT4k(Li<5^Feo7y8C7703W8v!$=4e`c2@K~ zP;bR(1gE?A2{pB&N}n>@d{D5Y<*sj2j6gk1!|^}|R_RsO)Q%0Kk2CJP_FyAmKWk|! z^qUHzBd*2+e*j58(-kYbEnT#|X9N-Mxk;K5V(|e{tgNy(_PwnHB7tW&qoki92P?km zwH+lxsa9Je4KP3CHWyR@S)m#>x|zB8cSGgUyf?=VZKKJI{BPe}Y4dRgKLpoIW8n^TnaJ2+6vR zfMuy0n{x@z)=@**%$S9i)T0q^oehW200q?Z#yZtTZ2&+!UOmG@frZyDU}l;5qqJDg zwgM!cnm^j3iDhX1G)bU%E^aOxHTbxpvSRk@aHfSzNW&l_Si5N-f4mao;$K&Q;Fh)$TyjGn;`%q!yHR zZiT@o+7W+wnR`MSbx~&lhL(tpl!-XKGV%zF;?~i>?%m#Izi)jUH)hpSXY0PLl8Ody zmUfGng^WEk@~Xs+Cx?SuyGn?;opu}58otpoe-`e+jprhyy+)i}Svs)P%R4Ocq38h- z1KKzkx#jGQ#7>fw0CSa;c}Ai?%tEOU#_ld*A)iI0cgBzv zfA`p(gH1WRxGkuCuj+O`F-gyDDi)2PHI1@yQU0z?UUe~Sxhq^p$C^vXrXnVpm*euQ>2?6!&QmPwn# zY6s|hmu*G~&_`G{p7SyU5|>q4_vbW3Lsdi+HCnjLVTVaPgz82}B}==03F)CNKoFx2 zwpCbEP6AJA`WcF3*Mng^?$dxG(AzN>`otXiX(yXjfbG^z8e6vv3Fm0@z$kuNfBT!G z;U)0=SnoRlgwf|LlRMDDG{LXeKfP3?nxm7QX10GOMoW9feF`>LUt+h4AeErBjL zVVcQ4^VIBrHR1&duFW#2kVk;&HQ;d*-$Jah2ZQn+qK|&2e{$LZPy4~}e+!5G}|VWx0{f0J;JUOgkMwT0CtRE~moLDl^TOl0aAoCT9to~9T}5cp-SO7AE6!d9jErT|Wu@d11w>+)k3BNvMiuE;BnJPpM;u}T znCx;S&}<~$4QYT-te?Yv54)|S-_Se8af7*VC`@YA&fVw~nn)z6lG-RHe_B?|YK?uz z@J5l%CO@DYPCLze`1#vXx&F4c1{-4{TF5<`&2HMaq94_Kq$h37Hi%h6tFL3AvINPk zS#HH#t5Wu7YY9+<;RJp5T5ctx&I!j*_VqUen#+lkU_M5ECp%kJ44|u%JDiu!V7$^Q z5%AhPuzlO5!m$v1?1wggQk z^BD}%IxM^uFv(iqE+u;Vu0i`Ra>y!ayToq%kQTwnL5m^jaT=dt-7L6AWn9Ee2MnV@jz;Fp?neX_%zQzb1zO4o2CqrZxh+eyME&6-L6 z!pDss9=`=05Sbcbeqoc!Qw8%9W~0&!pqkYBgm*%Hb|y%z;*IwbdD66df!;ru5TM9A z-!yfJOo|tZWAoLhf0b$Vw%pXG2_V#vKN8s+!A?H>p7dN6(ww7ckKc3*dYBr!$J73c zc>frew!sd|i6${y#-(&!K^sJCKZ>A{wt%LUo#2eL{E*K(1W$6Q85Vzp%2*I=n~w+b zyCd$Eo5R8{`9w(VyX<!qjp8NXwh^4`!8hO5u^tWc z%#M7pCYgx}vrwosfJA$h!TTtQ!csOjRlhW#gy9K?>CY~1Rxg$0axgb);||r#OdUX_ z;>ut*;%1jde|&Q)?^v3cQKp?#_7g6k@-Cwt{R*mIeifhjNcmRx^P$E=oitU#!3`eM z==;}cFO7U7Vx#Sv5o}a|lyoia3d0i);0Z5v>$;vG()3*CQR7K3iye3!dlsCo8 z7Z6%9Rm6h;4mX!|jTUm!Sc;EBTvm<=Ir9? zZnta-nj{D(Jz;MCXNaKrqIhWI^Qk7%#Cpm)Kl$p_+y1$SobI#IH>SWKOol>Vsjm&Q z>+wkBe*ue7Pd;$O)4%3uR8IN`AC6bM!g>bXEDW|X3_B;cHSI^STiZ?7f1lCHByR>8NA0Skv?dfF`#T{#J~g<# z6KIlZq&J}*Y<)%`De_CGm@%Y6xF3dAxi#bcj-NrKaJc^&LtK5*c|O<6W6LM;Ya5U0 z!COJ@56Ix<9p(J)G?*F8F>nIqM~>abH#)oxGhhc=xg_IZZ+b_$zJ zHRNZ0r!bX)leVc!i5@Vbs^e38SNP+Ae_c^+OP$j_t!+~ctT;@I2b8)Q+0{@Z#qVj- zaV@s8l?;fmN8-k?s4ji=Tukz>=e4mI$orE!aM^W=t;0^5{xL#hzT8%2NQHzozwXI7 zw>cx7ebC`)e*`@U5SlM7mF(Jg1vWUr0<0lZu;*5Me2}`EVZuVrmb#V?W4^^-e=8lN zP1Phfo_oFOjPM3!#Y81UMWi($vxnozG3}y&6y_>{Oi)Ev%ZFr)9k3|eDV}fS)>(!e zmQuF1+_@!?^^NE9a}z)B;Ko64r5mup_4A}uvsuYksF|2Y&Hi>dc3;xgs56yHEhDwR zJJaMBE~MgJwHJ>PY#^B((w1CHLu@Ce+O6pyC^%4`}%@g|zD7+qO;hSrqO=cVEgqSgA5L{P$+^uN(V z@VSMTWFbmPy8c3_n@j+m=iSTvWYb&aWJ07QR6tGt_hv#8#Ufd@Qx(tCNLO@ zm@b_sl@npojA7x}vs(0I48@;y{ws`=>qxAm2o4yTZ%EK;=Df_Wd(gUZfC?<)GKoQJ zlqZs}sm+3SM*)~SjqxgEe?yR95{LB@k5>`R2b-n<8)7zAHjs2l7nJl{O@nhfzly%317HBP(BVTeP z`I~^vDkuU2&^M1WS{z>t>XMUR`a@ui$NOI!Aqe-gY>;P~3kF~pin zIV}i#jgVV542G+^B``S*(kKS^EgJ5WttdbQSwMXdi(s(K?mLFYgC0P6?`c5>D-s+? zXNnWr>UwhIq|^i=5|#EAQMJ?}wXHe6M3;o=BkSJ|LH(KodyUr3ff-O4$0#wVmL7*a zpqRlX#5A1(h1956e_=P&m#yOg30o7@o)$GMV!sGKl4#vnnXCxMO>;0y#3ZYFlzQE` zeos>xcGxYQugS=sfIQKs+$EY3j@ybRo(Q{qILv9ckUnwy@kN&qLz>l%2Hu^t0^i>d zW6P_e=qcFi0sbeKcqZ=+=y+O}q?f~v^G-cg7%|F~v2)?4e?*~2jiU%aryTfPe&`&L z$|LmzW(u1t_U}MqKjkvH2g~QZwsNiol={$Rg14qc(@Iz}14O$ZsMf}loYgHk= zSjC}LB`65!n$YJS3H)EO_t)Vw;LRJ<9MwmA-91^s1Ba(;kp=jj(ubulOX`Fr*nT5b zWcy>s?DiY;f5z}<@7I?GpW21oc_W&q#C<`MHb_ExO-DY&Y(vDDIQ`WYWw;x?n(z0_rtI*R-1`+ZXN$$A{1OK&G&o z)>Z@VQI&wpIP0#bxppZ*t4j9du=GVTPoePQ3}>g=f7{IvwlBGF2huN)`y5M*!^R!L zmX1VjF)?8Mt)z+F>IgDz`@U*-@l$Y#DIg5s9Hc0!FCoAITa)9Vlbn0>>>__KrKZZt zobkdJe6V`*FEv%?<>sBiN7cho;%dJIWsgTrTeBORFomG|niXV#s1(%{EAN$^wSahneyWHA_CeTO; z0y);ffk_1k7VVu3Mm@V3u>T}VQR@)jLL(nmo8y%+^82ezQ!!=`Lm7ERPl%%{0Gyvj zlkA9aX$|gJ{GtlUv5Xj|gO93Q-V`5O5qpASf0*J<$!|&XRM$0~NS_RZuiFc%u4_;` zTO~P3FIt3Q+Yjxo5q+wfT(ko^n0|tZOY5AWZzD$y8D6&COcE{bd(k_u7A+cdkGtU~ zsoCE+L$E^l%#f@^NuYHOz;#=eC{i#5>qn(L%LIIfovQ&Wq&b8Gbn@9Uxrhj8aqUs6 ze>40aupmeAEagBrj`qMVw^9JHX_?;xdXPmBICO$|0|+yspJba_5m!aq8e6N>4s0)p z^LiDOcGM4Fv1@H1C(JKn@r7*$VjXp7F_sG?e>okGtV=jVEZvG$g{@SILVwsT$Uv|LLLL%t zBm9W+2$rn~WkN?y-=JcJIfGw}6_TTdSU~Cx-*d}JxAZLK+n#!LgZeox5Om!UAq+nf zWKT(;43b4|!n0)dpouKUKSZg8B)3GXJJECy&E5kZmAak+lY%4Q1cxGC#i$M)f9jL( zrWnp&5Ssh|l}56iT6TMWjI&*m(vw6ltb-&rg`>#H!#XXakI6AZndJJS`Dn=b#?ELy zLHN^_K$z8&sh%+|xKp1T9SV;v;RHOb;^RFSR^%Y_aAtP?e=N~apN64T)wlHhd3>&>ktkR^pNY?ke?D3qEu_)4 z9u@O)PhmV_{2s?P+vhu{+5v$pk;y~Q*OC)@^{cOm&Uih;T08FFokUSd{W_F2Gz-SU zCj9Meq$hd+sE`eYg$UjBGcRSwlxm02pjM8NNdZ#HPV4PXk^(7KZRWE1dOU++b8MECb0 zf&s33`%6jaQT3z0L)S6AP7QOACPd-FNU{I-jCB_YLbPWg8Q#jygqYK&9~@JF{xils zXYm=K)+kz-QGL)3e@R1huP#tigYBSc6gV;#Q11APyyO{WYPWL*)nJm%kWYKAZ9(M0Sq(0Ty&wdyP{ZtV#45!?(+ zd0*{h%cOBG`a(H!Q@HLSda`TxIP8zI4CA784!$?2yg* zP%lMloM-d*qNzvdSv<^M=WH*QHN9K2E0l$UfoSY;Up>H#HCstK`zqGU( zGyjAakP;>ke|Xm*&nmSa1(S9V84NedDKyuSXEvqAx5$#ilP3NB0@2GziL8BXC8ze2 z{M!Nqx(oHX-D09ggDPgxZ{NtP=%`zBT1tQugP`B+LNvK}9kuPvJ&u@bM*pz~;itkn zC!dX2^L@__=4^lh@^Sc*jfXITgulh?m$F1@R0%$we@-f6VAL%Vl8pLeQw{_ZYX-+G zbSTmsj~j1jMyhYND;DjMbc}%7L-!~7`DcW^-#ov1L}2&;$KF-^>L#}H>=s-0X$16y zXfVQiSNIizZaoQTe%&Gz+hf6IR%e9cFdHv%1V?aCpXo1oa-GMjwxOg|H@HQU(AX%k zK)&?9f3DN6(bdYYqC{x`>WRU!6V{LAJ~zlrTnP=KE)ojXs-lZnC9lYd+rT<~g9@e( zZNzX?10`)BoYPz4Jwl?{9>MaXpR3WC5X*FeTTsEMx9GbW*{F5Y3?RQ6?v?YkC$zHM z=efmt9=@6PLLfM&yAaFr|8-a|RtR8CDJ6TkfBQAJcE{cRD~@2q={FgueHXPvRng{bD)d&EdaI?Q-P3iO ze^HfVEx%@iYM7Qd9@1hHN$hkfw*mJm==E%E*$V^n;eP&PQ`|^$yvK!RyP^ymXP|_} zLF$`LQzIOqCCxcN0wSNEj7BBF*E>HRy}g_hUc05C0=!xzDUcMvqS_*MqPt;VDB9N| z>Gf4%PBnXRiq@2wMiNBs`lEj6XL5 z&Cs>#RwCvG;jtRJPi!)Z4!<)TOx`743<<2%+{sRmu z>K{z5FooXESz)WC5irY@V?#3>PmX6rSv73`jFOW$p*zd_B1?T4=Nw|l63Q`+hAwhT zZ_)l4LcD*aKm3vJUhsFKufW`c8iB~gop-8_{tE=Y_lz@Y#@yIcdVfl|>sl)}oDq(5ik%ZUte-BmFlFPm-%Sw6>e=5D5Y$Ri67##|Nvdcrq+!a-M z2~`?2{1%iDQ3bkVQBI8`kh0lkRd!>){o-jZ$3_?-OlLDpC*Az@9nqaAB3!&xi?M|i zQR=FBueL1n0VmXFk4Ms;YZBhIFF`l{F^7|j%kn@0#^l`j3s+LPAKT$$e`He%(SDgW z%>9qOBuy^tPPDYlUotrJj>pH@8M1G*$)=24ml+TihO6BKP7-1=k)=GwWyU}(?l9-h zsw4RHdid#Sn%k`=wu2cKbtv9k|!;-{SeEqUj7WGVMAigT912ry4u6u zr3T7K=5bJWr{nq7JiwP|t8PDND@9ch$XPSv95C__I&Gm#07YAGs5ifxhyv6nLJ*%? zRJ1WG9H_0Xn~8n@HNW9%(?}If8Zmx&eUh{^0ss-@D*a`o_^Geme>$Rqp~EbW++nSY zGh*Fig=k7f6`6~@yJbEwqc`D{%rY``3r{X6XzglahpU z2%h)@g2BUf&E!_Ff0^zStg8F@5_tRyy#e~4<(R7!S?g!ppu01(tm9q9`=b~BL>{{OCZ;)+`yH~x{6BTR z#_tj1To0>9v>i!f4U3h}Cy5CU-HnjtWL?(AMhCOFhFvIkf8xz+#qx+>VANc(u7O5_ z$r7x=33@=@#eHg-X2h~2uvZxwzQcgI(;h5pGn~#r`_vJ#-8AD+o)D7VYC5b9bBw3w zP}6*Le>3HlQvdm?oG!^(;1!gf3?#iyZL)wXO8_^nS5nVmc3*8`S{cQHOUEs3k7k(w zF3(qK6J`h&e=M#IFZ;}}=1n^PcmE5ksjbq9c2gxZAV=y6wxxV1h4WELR41Zj5L~)G zz<@lcH>xB-OblNNjyhFhUcF=j*nkPsji8OEmW0eZrPHgKuP{*|zqP62j;Exv&`;-X zQHUUD#V^{@uX~m5aQG9_sFmoLc*CsHXxbQW|6aT`e=^{S5;#v(Z0I6sak`J%1jC%^ z>)V#g4O}Q%rMnmiFlp?kLJGekyE;~-Eekz`^lJA`gfAxh~b1RY&PC4DN(7r*hyBd1qu1pr0zIS-)$c)74+Qdw>2*LkOK7y>o@+`vG z|3t7Uxl0pybNpNb^CLo?Z*H4q8Qj!ybZhRyj5kI~Y9`jSgZp!;>=G)+ufV>NGs@?} z-tb;_5P-KGKz@%Oh z_&#+hOUQx9yw?*5JkI#_%I}RQ)~#!inv*3~r-<+s%;;73IUF^SR|yk*w$*C$TuC+v zfBVg?nq=64(o+v5cvaGSho9Th7QY^{@-S8ef6$Y&!d5&j^&HN%#`dV3ptVie&rvqO zam@bY;0f+0hzSvl^!mPG7W zP(RWdS&5u^xx@el2nMZp0n0;(q!RfWe>tfLK@{n#@{GZs?4c9#ht)%morVJP>44tQ z1QpwNtia#aG0OLmB2&x9!uW+gauwNvFp#K+tM z2vq`uBUly|DqSQ5Eb%EG9S~XFjwx3S&aY8wn(OJiRHiy624Vx7u@r*4+Y{1;|7wt?*^yp-?<4D3R;>Y>w#F1@g}DG8~G;QU!6@3pxnZ zTo?y)!Kv3XF?-9ER{kC2d|c{;w{To8E^ujY1G$B?Kt9P_?|LTza(}HYH59D+J3`WP zreu2|zxx^u(fSL1%*6@rHX*7&e?EmQ@lLMjkrnV6d|Mj|{DwS4HNo#v>9_U~8(v|DOOf0?Yjg!AZ_b5cZ)2tp-k(-8>zHdKOzK z{ZHlC8oMZ|1nI!UD)1Q4U{Rt^cL z<0!gc8?FB<|I@a_RXXe%#TNc`SyvQv9#d@A8cTYF>5)wjOj> z^gn8K-QE481ck^!Zh^z#%MorP#w%_?&_Vh%V&ET#TWL7!mvkGRf0&F2qm-yrK^(^u zx-cacyQ_kEaL2l1NO^Er1dB)Bg~gbKjPtpPfn>eX%m8QY+0OdXm0sxwg93-tUDRwv zDkn7hMFtw+NVjb;rGT$lyb3ljl za}q42opFdYQ$3b-!RYU8!2DSRt8!m$!3_9F-V^@*ZJJchcC21LSxcSDceus6q!Y0c zi=bB1mXlznNy|!NrIYiaYVSIn!h_|=H2ED$l++pfN7t-BD~WK>lz!+?u!Jz<4>zSy z+7P}sA$j43Y-@hSx;v)50~*CMBnp12$(r5>lcy9YvwpbHGm}a&7Pr0!0lF=dfm9a| zH#7<_Ol59obZ9alHZwIelW{Q=12;1?mtmp-Dt~wfRFm7%HXTHI?*^pT1f=)gdk3jW zfIvu)gf1dQn)D`35R{GrQlz6)=}npnNbf~JKm`1v$8+yJ_y5=WzLm9-ch5XCv!6ZB z>|}+D-N;l(8G>|%Y9JA4A&@Xo2B4~MY7GJcfIu-}AW)Q;i^~j#hC~0h6LVQWy-_eE zLVxBz5USo#Cp5;U=7h!o^^pjGjt?9F5(9uFWI&QKKp;RA2$cRCi1d~Ls5$w;K-m-O4FfwN0Qyd7H>fA3BG?HI zFhzo4P;|gQQt-;Tq0wG4A|if%e!@r8IAIw6;fDfy!@STaVH6Dhi=)V|G?-&nM?h4Oo}N$y z8b$nTe`+vqC>V3@0V02z>w!S}A%gy1xxf$*mtQm>K3*c`2-rOzsJ7Z448}zKZ<{L= z4G;%POGt==0ML5?s6W_E%FqA?)=498%A3(}kTS7SjyQGkfEw-Xo&hkv@DfBF8H#r~N8 zYUAH_AV9QwTAA5TXl)lWE8xT+vnrvsS>Rbue`E<8Fm06}g0r=R+h$db}CYdxHg z4RM4I!o}>@$A1{k9pkf;L85l)@^GoXFV9sZjNoiugD#dIFXhq!)J$B|M%uUr?CwiG zgSQ2Rzdi4PRao6hMVxFlzHc4qj53?ltWg6VDmU*Q7aFT+I+GD?r z_0`8piJ@omVU6s~PVmQq-*6H17P4Z=dAseJCPIWUrgwZsX=yV!)$= zzLNxN*h#wFRI#22J(QeY$XB^G4{@L_eQ-D5CH_akw~dqfgM2IH+GrbiOj^f8$cn@B zA=WmV-hTv^%(r8^U2Qz+8~$4L7pHiK)XoE%GJPBoMevG-MDb?T`Ci%>bK71gz1EXP zBJa*2mxhz?Bp}-}**mMDUiO>y1_xe0%I~SD0jS7%W*fmiL&|!t|R6qOI>NmK;YmQWjb#P7M`W8L1!Y zU5TzZh&J7P*;IzqN)I9i(fdy@()4fhbhP>~-fuyYo}XS=8r)(v$yQH0D&EU#N}R+w z`G3Kkwvq|IrSX&QZipTwj)@!S6`Mw$^Vi~+qrn1Ea8lKCJ3w*Kr%qm?2o_(LDP*{S z%P2#x{?6X5+Tb&|A`6&*A(~_VrG1D=<+@$DXXGly2UtmjZnE#LZ^pq+Vrv?uaNP9vV<~^U zN@l_r6X+BzOXbqem&>xX>>n)_#;!?Kn+IsZEs(WOKKVB1?WQPp)~4N(P0Ov3AN;H! z7}2{@Qqg{wqvCr*dN%#I$sWG1iE8?65nisbnj0}A*`$(#U|t{HU@m!^2NhksvwsVG zLs|RW$R4M>Hp_1=o4OdH-LDns!3#bU3-|w##1`8hx@$UMZlqo75~Mp)HjH9=M6y3@ zUDaB!C$j7NE^*Yhpy|gfTcaMAVS&<4mR5LVDwW)V5l@27^TAIczR6R9y_|I%ZssNW ziYK)@ic6_p{L>MVzGO4>@}G=AsDI!UP4ZNw7X~Tf_J?BWF=lJEQZCJr0Hy%r;;8T@ zL%xVQ(n_G@?oz+ z>4~dvP)*zs5${BjmY41Mvf0hnx*s}`9^))k?$3?YF42XynQ|1!CT^x*`q*Qc#tHjE7W zstoKj;)Uq{v{E%ff*^}T%SFb{y$G_z#zf-Y=ztPTOBhf`U$ z-N~lnlpqPt-jOr90G^uZMj?^>(=gh%)1idGWNWBaI>{7Zk88BYZh!1`cH>Aw`VttAUu^_YaPr&O${XP zMX^MfdjMQt6N01WI)9ksW{!rYNqmWW9A&|;~;EI{&BzLrC z?6eGRTH61D9HKa1V?~Qc%^PkV{;2!R!@#oM`t6>^tlXwbaDQ#amPhTUF2Y5VJ>HK~ zqxPb+TogbY<;$yG&xjVRxDoO#_OkN@ z(u;hy?lkp!aKeYzbGRw`y*o1^FHc$NcF?nra4)r>*^zTbs&!kw2KyTvni9bz#k-{Y zg!y@P^`HV}`hTRiacKhgH>!D8n=GcjF2-t>R>CF2bX}M&X#y9#^Bwl&e`s<9@s!^g zjI`1R6!Ug4bfwos9xw)qe6DSn3!KpFvWd9g6r+aC)_X^Y{QDA6eb1{QmdVESqVZU{ zZz-yhD7yCj660*6@@iVsyEZhuy=Fw~s=yY@EYu%0qJLk=`p77TzwQ|nT9#PsQrwQ^ z=kYO$f$dxi#3xBqnh4{FAL}{@;{>wKUWe9IbXh3EI;f~(0*^POdVB776e&P{x(AqL z$A@;+TX^=ZKUreDS2E4BGoP03*wmBPHIuO5Q%`94VAw;Ab{h&FyCo>Yi1j)+3 z_e46b*MEC-O8apE(!I)jPxqAC-@Tw&_=X_C@VS69sCxSKSCTI69Jrd^fw2v)Sm;@U zkq`oT(t6a!BR6K+?okmFQxM+5TIf@;VTFM+=8NY$CgfOjoy*=$oU>hJLM5W+}2MAk* zC*rb948P+0y3SH)R3Rjtdv9crc9iGTCSqJbxH&gOVXne`*z4aENG=*`+Gv(_}q zuB@a_dLxTuIy(nPTlQ+O(kt8ILm8CZ)6b2fo$Oy}7R;kA?&n}-+$Q)gZV|ELGHxEb zea|Q~`0R4xzWmR)Y|QVOPI1HgMqLD(sBG!4C2R@7t81zJ#H<3YUdj&zs|DZ5-+yHZ} zP7zSC`83E6zsiAJT1?#%E*P`!;Q*g!D-W;e2J5lR(zIc-Y-gQljq<0I({K(t*-!QK$ySz5l?^8 z5#oQQ$@w#%IihHLR5-YxY2@Zm+M81P&!g=c!&zzI>YD82FnNZT?_AjFv2XDYwv~Si z6Nqg15p>6xNHy~+&CNZ|4kQIPwkdTPaBF)$$(w(!V8#C4GadSMKxqU{M`rnxW5PmJ zYxDf6)CUjxsbqY)fb(1fA5y0@!tJ8cwjSZ)-UA%8L0wUIG+gvGMWctZwp|n-z5Y3Q zNP}tN`cLbOIYd2ESUdqiR^k+QDZhVx0&8C~&m~w1i+q{klKV~neYwSvo)=Hf+S$gL z_Nu9VZqJnqq=Cs^K5URHco4wjxr>s^GT#c7_F{Kv$0;#x{rGK_r`RAzv+iICKU0AW zr>AuIt-D$& zwOHD4V?yVi26}LMcyQX?*{Pz%I|REl7F<+Ow5Z})W+)vE9{&(~diuoc7Tmb%S*r1R zRt%o=QYo#7*D-ee@iP{))O&yJ8sk!U4%bu4lqnsE9ctqbgg*;CbrXWP17+o=I`RlY zJ&#swVUk0mbagwq&%g5U(_P)OdT54?I6})YPsMp0i4ZB4iFz{f9`WRHsOi{w#YRr}^0^~+5`Zt}pY^YQSR8Dz6K2Tpgutk55e{?m}Wr;U_ z&UwN4TAqgKOV~`V;xI3VFViiQn(- z)y7y2qH({<*Pvvg=!gbCLb0OL_cVFVmR0X&G<)&kz2rM3xXyLBl}%a5S2M-ibdgh3 ze^Xz-nYg|-g7jXmFL!@K)xeqR;+mKNR)d}ms@BiU$R{Y74%ON`T77Pm_gFya>C3VL z^T$tWG`^Xi8*#MgjzmTZRJ2Z5w?ieV6@eAJ>8C_62s3lGUY)F~2ch&kDqd@Cp`jT>^48EJ8sq1cXhFyG4RplKbR)~ls?PRC%A8wBKGgdaohmOi9hHW2l2 zDReqU`shfCJq>@M*seSBUE1zA3DNyz8I-F(xge%ElNev7e`NPv#*$H%hSK*|(j$sY ze5++y{0Nm>DK}zDtf&)(jh3`!74zB6UPJ?gZ@xj%?c$!A+pWF|Pmv$DioL#hl_FmE zHujvD;s=^{P59T{g9{NX7&RMYMZP(Y`W2|QFvuNn=d-cHpr=!;&RO@ z(*RREPNy7Py}I`ujdg>+6uw_M@==S-O^qQ7KIVRS)h#70d^KItvf<3+s{$4XQST5? zBp0-6_DhwqRLOm=m zJc=opE}7 z%Ma;AeX^Cso~7Px^i)zq5y>#x?QTRay?peNBj=rKs!HtBxRIVYqy2;vSrvQZM8mRF zvF{!HDmTSy!+j7fxSVemwR_37f95+F5!_ zr#SnruYY@@x*nU2V%KdI*Dki$`LN^0)mF=Pg~PU}-1zx$My~)K#V(qqv%K1NG`A+2 zQK#U#%uwkCmwvK#*uoYmy10JUmmoZH>Mm20i1W&L*O9)32JHY){O5>(hxVGNrL=-e zMsV310L9pOcf*MoI;x@KXLEsjd1QZa*L{wXy7iO&q-o;(zJ6QUNxfLNe4GSpD%x7U zS){n62kqi@>TRwNLamg$Sb~-QBlk~GRVe?xBCR|*4PDBW)u>tg;XSvKn@u(nV+@b5 zJOvlV-AsinZKx8-a7T0)c-~Z>4ak?Se)cn1ds^!RFPDkoJU0|yG+K@D>vDe>i%|#0 zvgHIVOZhUDk zW__g5xR8U-P5OW%VpTm=VK{&CeuJzd9(fOm?+>o?TOX^;Z1=#^1a=2uP@Gr}%_rte z?(vHi1Q7wThiG5_DH$J#aWb8cO@ITDk#@82D*rD$5`IT35>~HO zDLT}2*$fF8-$l9P@VYAb*|`*3WDR!OZihVBi34eT-(s^TR~GZFywQKRY?$LaQN_|A zitS569C)#2*0^vn2%MXzalU<;gKe7=7%-YL#fb+6RetiA5`O|QQQmdr?RlgWlq8QI zV5!h?7`>`+kzBPAptRoev&nqvg6Q{O3SC;Vec+&sL%9GIXUQ@+JGXyg^C7-cS=5Jv zbRr>00p6!JpVjTVSe<{vIO`mlA!j^3`vdoB*%dyC{Q%a*(|5H#x1V~I#=tj~B^30= zFtMrHaQZ@&!lbmbj@v!8T@yH+c93=r5^euZI-%TepNXYs!n+1y(57eW-CTdHp?iFrB3>qa=L>Uh z%Q+ZC>wSnb)uAck=K|ex)u}NsLT^ zguaYe6blcRA8-j%>jvI6pecxr*tlFdqf_4|6kLH?h)z(->(e8t`Dlbfb-;ZVUtY*e zFqzMZjyEdwgQ94|sp|o?;mv}hfD+~2f zrlY{toTVZX4S594rZ z-0Fa**O?b2=cZKnj5go5Qs%w+7;EHq6-mDtyI#wsL(4@cBL$h(OSyFw&jvmb8Y5ATaDGnKXPbNRq13+_|D0WmTr1@hSZwU9hUI# zQqJZ#-aLs1AK==%#|+L)kZ!Rg901uw?Gu>sKQ5-5UeVnqf6vbjQp zYzu$8u4oWTOUf`|&^cOUkmbi-u zcC?tVA;`g6r9yxc^UBC<)awOp7w=-D`y{Ko(P;cr9B1a!UWexgacys1GA14S@3u@| z7t-5jN}xX``;@XPk*yO9_0`U<<$6AQ<^O**Q-)!~x;U$NW=McU#GQ0!tb)6K!LkVQ zd84}eEFt7DEwk=(3MjhH#Kf&M<4D?WXe@gnX4f6f#PcnzcOQR) z9M?0(g);6qtZ=JyEdB`Dh(NL26W?K?zWg>+r#wL}U`4$^!(v1Fc?)2!h$3|7MmRTL zv~(nH8uwf_xcJt3Qj;Aq?MLBk*R6jgyBY`+ZJKnW6!5*E-&HX!6n0~Hwh+Q(^FKjC zME(k8Ze(+Ga%Ev{3T19&Z(?c+GdGiea1#SiZ@#l`{f1jFqCIv^Ox%>!fu_}wx<1LzF;t2HhxCV-wj81|<_7itUl1iFC$j|L~O zH3$NG3~`6pfZPC&)d9N7Y5+|a5ads?+Mfgtz+b}w@N)6~C*5DszY~EWe*^=qt)b2? zK!`UOVh6AVJAnY23Tj+%FE|GP2(kH11UkWgppWrD4v3T-{!|2{C!=ZE&$udHbDMhThQY_EMFMV0|bD(xr6+D|Lyp1gvHAXumM}c0ahS8 zFa+zL?2l%U?VtGZ{@uV{fR{Xv^5X^Y{QmpTm)WDjY@iS)?|q z{*Uv;3#b>smy=%*z{w}b1K{Q5695Q*KYsZCcb@-D;P3ALuxbIpf1U1M8I>WnP=M&4 zO*~HT??ycSQU>c^Yr_Wk?+O~wM?Hf8tpCX0lt+-q`tgVN|9J`i2>Jih{_iaRSNZ?% zi4@$Ooc{2${z>@%_<_z~C-1))k9u~8KkkM)^l?KV|4TIl{khQUARDl|^Z$B(mEpk0 z9g%_9J?fm3SAdI0;7>akrU3Q=*=T{`*7kpD>F>*Utl<<^{akKurt~|sVYV&&q`2>XkKsPs_H`b#99+4oxm-lg3Z9rasNF2b; z1%bjJLjaFG`U7mCZdkuBR#X^&zzzIu`V)x)xUK(#exHZi=3kH(zzzBb@&UMQ!T<8| z1Gw$}1qA@y_Wy!{0PcU2MF8AR|G-Bvb3^_G9}7YM1s_wn{R=*(g8d5$0l4A+f{&R! z{(%2ACu?^%x5uaC4?#Z;@o)Ucy9EMyfvm9>KSQm>Lmlcv+plV6s607;w$g*qk^v7$MGC5vWEZ@w7|kGR($YQko#&ml#vFYe;uZ_$c+v56BTy#< zAv*@$VcyANC3q5Er(f9Kho^+iM28ps^M+=hA=sdh+D~Zma7}4Py)4@Sn_cjWM_82zy?c;v3m8D%2Z)aI`8Nt)kmiU*6x~an6|B za0YImXZ%^O`35Wh9c_-mqIQDxKElcl1|PynMJ2ybxqBgE>F9)|KViLlKtX*w!Z(_# zje=Cs^RBJFI)-s|$x?J%E-S*5nc<2J%D}cKiZnAg&HH6PHecn<(yP)IP!WE)&M8j^ z0F~2CH5#6Ob?zK%=Pn&QLnapQR}`Q`!zU)B;4xukoYTgOW|cPLJg4kGKndAj}%%^Yh^&AzI- z_(mB{>W}{vG>yJN%-p%nA*0oFg{O0V{6oWA0uUsBs=mH4wY?*2iyy7+MQ<(fCh5y+ zfQEflG!xH}<(CM#s;xElh*;OdpI;z2;tAY8FO1&jmS(CWd_chQG_k1#^B?sZyiWg4 z&(6pyIEU-Um8^4l7;Cwp__Bh;YjS~FT@=RLG$c&!%7pPua=z(|Dd{c;55p(1K!smH zhH3wQdAwt8>?hi_(@!?sK}Z#5*>

uY&nTFNTUGOmCu?R+Au;hO8mPg6_(stIVIi z+7u{b7TOxtw!(Vin&o$QunqZ;5My`R<%2+}++tA77vhdJ5uZr6Uz z2&O1Q->|{7jh8Suo<=`yf7mAR@IKZ+SeUSX+MXddg@Gy^U2k$SIuDM6q9%(-W0y7i zK}Y9~KYz(z-P+%>_arr;@a|Q*Vp)wTxBWE4&Fr&RgD3-H7MRSzKVfQs@mJ1fKlYQM zt_z#8DT8&h>ZY;+<5H>PXC-eE1tv0(M(r)d?5MQu-W6^G(cv0vsl%f5tqetoa?gH$ zG7gouXA*w%_BPD}l!|I16w2fKdeg^eY0G$?asQky2Io?8d`|oDt^lD)NJvmDR$4a* z-;IH<`5XZ;43i+1{nYHBbKs)~X=Ql*o7Me={+@dSNi!UMTr!b>v5C#~7-GQE$(29^ zJ!+8Pw)oRi(ymrP7TxRZ@)9=hL@sj)B8=(1oQGL+I}IlTv7dXP zO4!TStcAqaw9^iZT=BmWh-8<@Mx;Jn*|=>IbQ|aS^ztW<%Tb!s)3V;IlzS(ZNtf3w zUBfC6!eMfuft#vNgC+vg#QYcWJ4CtF7tL%B+R%&^oor7EIIk5Z{1yOx z#sF*?-V^e0?ZFhhT5i635r8g#$?m(Ywz55L^RyWogBLg$FM%Tjg(^M`ElSBeaqd~0 zBtdmky3I?_H{8aS=qz?@g2W%ocg0L=gYEHhjFa6IJLpncy#bRX7jL##@M6mNKb9A+B zqnDMh_4I%7J#(O=Xt$cDnxEO_)FVtlTg-h(^{r>e89PLFHo&9n;xinIklhe0mIiF# zc;X#QYl==`OfGWRp$33$)%P4vPS%hHklBoO6NR)V^tu#FLOx2P$+7;#N!XN>>JHqU zc8&@{T=dD)5WJ1VB%~~V#KHY^$}!5w$4!5LfJc048(5Mflt;_Nro;5nYDHwxp)5B< z2tAS3`G_Rry(`A3yf&vS?UQj>s%rD>gWRjCllP{T!IC=sWFsWkHd1uPOB1pCqHXGt z+VyA?DclBgHVy05h!`uq?DsFWmyt+nei>3QhbaF%3SOpGK6lA~k~uFSvVYcE2I%83 zM6K=HA)q?Bu)r&{O>s9*qV~DO*JaGtAT7k+Adqyz52PRsc5Z8!H z7j!nIXzbP(%=kI)JK!kiRBf|+;EK3IB*|WE-{C13GgEGV%bGeu#F3io>d@(+rWeo8 z$&Y{_0jI2iyW(p3oj6N6E1#B`1m-&Aa;9$f3d_l~U-ot(XicmjW&KSiiy!9 z6FVQ$SistU(PWp~2%ETyc&F)M($g%Ufa z<&2-zZyyD6+Pv?2S!E^qvE}P84V^N#&^8Pv9#zVJwWA@fjrQ0dRwDg+`RTI0(HvSN z?gygSC`|NNor4*?gya1S9|+FOgH`njl$U&3OLG=CZGWxT!?sBgx>(B66~LZ~%zPiM ziYVkHjNEUJ`o%;MIBd&R^z40K&HIqau z8opnDfyb@RN)A!H{;qdz6&6~2q<$+vksn1P0g!I&Q6HFg~>ZR6y zeYt`A-1&#pKdr220#(^bGBWsFzgF1V5@-jGT^l^xqTutHs`(~=b2sqIb7s_Oq+AXO2827dZ^myqeBS;V@OeGe z6@!ZYy|{*nmoB9cVJNq$wjtb*-o<_L7Le?G2GnumEnVGkyS=R?dM+Emifx|N`~=># z{-9&dQyl(!Toq1uiUct*4;qKS^p8o76J#n#q=v$bD=~trj z;TO`K8X`XS4%wg?v4^aT{SM=QARen=p0}u!$i9q-2y_pRcl4?dx3+vZDk@L+qvkM< zjEA)J>$K$D)wVgLjn)JMN0_9Oht=1~0z@Q{5x@H3KGO~hCg0;vr43Td%s$l0=p>ov zwYY}Y1|7QBV11dGBZC6=6@-~Y#$h@CM4a|>#q-;pERdwFnjhXEfc=1fZ4HY5I?G(% z@}jxCd3RaaBav{E>QMM7$d*90y@4IpmM7M{xUHzn3jC;>!%09W^BFrt_3Z z`$6S6Ji?-RZ6;I=d>zp46vn#z!#){%Kd(QyGymp^oi8! z(-_9I*~O9Q`GtczHC>G-g1rioU)iDt=@{lk5J7$;3*$+%c6BLe78=!`wUJtg&X>g~ z^GdTyP&1R3O!Z}MyJAsoB%WK4eQaE*KE_%%2o+b){W>A&1HVU7cRose4<5YlP>Gyh zs59I51UvWa^r?-1mgHTmTNkT0Pv<&HB`PUb0gy{z)D|^$7B_pw#|Yeo#LG&@OiGg& zwoyrDffj@~^kM6Wp9SODMdhbH5%THvqmQ)=f0u1Mj@4{^8Qw5QR6TR`gXUexopU7+B=Z=NHDdm-?&FHL-!6(Jyqmp$_HDLq^_nB{SiSCGZU7C3 zmR+0m*ejM5YqWX4h&eo??D_We@jZ}c&wOxdr=+yP#u{D5f-siOeG!6rz}oda`eFMG zNLyP?c>joKvF+pqz-0*`&upp)FCp=B=ao|5kDEXlrrjSc0`NBi)&xD$M)JYywI0wP z>3vSmW^yNg24nVhpgU1CBEMp4Zk6%DzxWz^zx-US51WY+3Qzzh>TT2IqsjERs*Ir2 zeA(oHTvElh7vvpKl>2RO4t^s!H|$d;HNu|}p41QMs5-akLDe~88MZt@T9&VLR~pP$ zI#L^)w0S`N0?_M7go65@9}Z94P6Iz!vhPAopuOaOXb6h_{636*lV1{E*S(Y1yZ)-- z^FW?%K0YjsY8+|DD7EZ{jvp+ufAu2FN4FUfytkYd=6xQ5s;`M@(x0m+o#l)?U8y#7 z_^>_y6U|A>x#kr?6WY;Ixyy41hj(BvwZLc6aaalBN3j7fjg0qMWV<1%MnFD>Yb=ad zWOulKCu`H~0w7&DVt}Z=abv7#XZ{#0uiDs24bwsi5j zjTB)b$DX9*!p*D))qP#wla9BWDnQZqJ}ZWQ-LQhupz$DHOcy+FBAu5S7RDqk-V$D z0%S9{HF%7K5V-qSxWa0KyGuE=ztt*#)JW@eDmnu*QM;~|!E2OT+0x!P-naW!Azo9q z`ebVHafSrimxa&q!u6Lqg{nbIyNj(K*p*2e22|lc0`cx5LcT0G}OonEc+KiM-AoSIDwbm_#4S>6_=?N2fSi=Ajhq1l9GMFdLiwN5nZM=BJExsO zC{SX!bQCup#%01m_2r=mLj#4oeCdWy{jgNU)9TR6rUBJYq>#Ph8*k`;ev#zI4&gk( zRv(u+PoEX9xm*~E_Q$n)*x-NCna|C)6c-6&V>2fzT}HV8UzDYOeVxfmqBF2?4q%-m zA4nan9-@v*XxX8)6QG^07jWY488Fg8W}os?wzUfN&9k4tkHJ(|724lH7|oXE#Bx;pu_%fo|H@7ftXAY1!fiEn5Y$ zl8bkvn9E$igH%>ox`kClIjf#?4C=8AH2E?w%0&mJgO+LIgMr?EBUQt@MBbB(n6IhZ zdECa1@aLVmT%v)3C%-%;`m_NE*qqk7$bo+M>B0VdI0!ZF`WA6x)}{S@RTK80D)Xs&os%ALCs}V$XXSkRztmB@A~&B#*vt+jkiu1(*;DAW z?*F18M^gIYHd#G@}`4!`SrzrxA!Ct8aU^cR^MEnKA;Rb zM2Gz3H~ikMLxyrAb#^bGi)$5Ti#uY<=4;vZUeA^UabP9z;uWhCN;Y~}_GA=1}zi>^-+c}3{Aj&0Z1@eIW3=_NEv5-@-?EPdh|obQdeSxbsCui3Q4aKJh#UI7Is zQe*YFwCO~DJmXfLK+I4}rN_vI0oCeNf{@5UNcvBZGN-%3b2UE_s+#uniMLXPR!hBE zH>J2DY2mp??{}47?I)Vu^X3vFza`k~b}?)vh`E)VIBKhe`b0a==ua?Q`u=*d5bkzB zxzTHtkEZ@T=#zLlXP~>B_qb3R1)B${%)5hJdA41DYUIXuI*4lob8;60NOU=1U%ZpT zm3Q;ccP4bjP+7Z)3c8}Tbpx(BW3f-+itMJo@39dP-K-x2b=ntxzub`qdIOMX@nu9+58+UETp+e>qiA$y-iB$zTZO4eZ&$1#{y-NBtAMi_HRrX~E>Iv&K%O&qP8 zHYYdYmxF;KCt$-7Chb0%r8jYJENzf>1Vze!2E|A%oFqoqyZiBk>AZi|&+imOoh}uH zI76%7f?X9_rd2G!$OV2~y)p2yccp=!1@GN{Vrjg!V=yG`HX%3PVkqUMtWwpg-zt7n z_d#6|yv>_wzDx#D72i;2@~b=wqUz``g0`D^DN?#ktzeRoCQI!%nn1ZEt#RjFB2;mI zA3HNVREqb_=VgLR;NZ-sQXu-oqy$73DJV=5_j*x8f{N=Ilh`y<3p2dtt#mI#kwq5} zqu$(R@MX=wDka0>_0px4a?HMB!>SZClpL+#C}W~7FZI`RN*qPArzkKq)d2Ax_r8KQ ziUi@lOEJqO z=)BY&VuBtpRuTk8$6a$EzYc(|N6~-5T-u+#PJl2-L>gK9TwDvx1(5A09kux}&p=#D(K3LsfNy|Xd19|+_Z4{4enmo!+BE==C4 z|46T-Wv7~9-%uXAp18<|>lx&KKmo%^J6AU+DVzORp{>4bJDB?2iPI4jp(Go*mA0_K z%Q>oap~7AhJwW=!|6Zxf*~CUyDduH7c38q1KcxNaJ^_7vLFNT7a1v|EH%9}(;9vpP zxirGZY!|5A1+o*880_^V(%__RC^6fT-d}HS1t_)5d-Z*vFj^G#Z*|>&J;>N<%8_5P zEeKiqS^Zk>>xy6EwQ$4_9YKN6SSE&;KG&ieB!6h;!dE;~^o z%E}a=@Maj6z-O3S;9bw4ro(Ej0-W2GnQb`XsNG(||bd{R(R^|4V9(^;O~GUdK$!}s5a?ip0=PQO9Kwe9B2(c!#&F0`QH z**CL9cG!_~<7%G9QPF@cttWHxG{RlgbL8269_U)D0{$g`Gdnn1I{>}AsS#$u;k_yOX8`la=N5crx9YFK&7VP?0Q~yJ77F0d##^d9^u`!?XzoF z!r50%RcZBW=SB%30>guXwZw&qUAAZne2YeZhuoy}2F^>EdDX-Cf4x73spW)A}9u2)~oaa}kf3_Rxw>X9r@J(7=TeSu5=TfvinJW` zY{v&VhY>Xyjp~WnLiWt710K4qnKqL?wR8@1LRcu(y@f`^bx|Sdo>&N4A-$_K1XJDa zu94O*#SQ~J!drLv+LTIbpD!F4=PLw z92N16$!$!j#9fsOHN*l|l?*$}56p6-Z}sdhD6yqR+0Tp62*?&%vy#?6Sxcgb}77TZvfvv&*awqvB!cPkNp{GnBiu()dJ;T6D8-S+%Rch1?(P^jZH~uQaD4Lir3MCxZ$w|$0wY{(H^2rwp8J?v3qIT z1vL2N-8c6`W!m>O3l`y+V<-j+d3akPC0**UxC|aDjo(E=@opwj{0 z@3GG(FW2eCvD?$q=Ic5>pRzhPwIf_qp=8GcVf!ahgI70w-!&%@p&4mem1S6dduoH* zRR3H}*eRo-PTp@KTpvU_L0zrV(5~=z@ee)1D-8%*BZ-Pa~mCGjQSizy{tkh zh_s~Al@dRXT7FH$4Gy<_*M+2v_2Sd`EY411wRF!5e%rKvTCH-M2CaC~d#^2u8FU1G z9uPiI!}l{@NV&pbAZa>KscLQ?*pzNwi_a zkBjr|RBQzF?<+qWsL_AWNLo3keKLxe_p1ThtlTAIJ5Jq7Of6wo9`H4f=~dBqi{*C3 z%fy9y5??ug{X#)s(+n7^l#|*4HMH8Eil!Mi# z2%{ZY@goqOw9B$<12gauK`f>=2lOAnJ_)aw2ex?d2%ma*>-pK}^wmip!DH9Ovwvyw ztbU~&k_(VDXOTB{Mc!RTje9z~-1*)ceaT~8B5;gYj+?4B7|vYYBc~>XUM&CZ>5T=dIrVS+ZRCgI#0mlw?R z`%#lk)S0nw?ugYqdYE7CESegT1*_k`U>B)kOyD+QQ5N z$;1?XSgTE8Cfmg=u@jjfy|!ywCjrel)!raMmGhe9hN5P=jIY}s)$P$k-&b)w(F%lr z6ay4w`C1$5^%F;ko}Rc2ao8)z(5`(!+RO`CKi`HXT5&cbHrnz-jteS*U@CqiStoQP zal|zBc z!SSkuM8@JdP(}+mwr>8OI7vyNZfli){-#~vM!YdbGN`yRVu;NUV25}OKZTHBDqTP% zO^T-4RRt8i;#^0Mo=pdb&ldIzY9|Z{lk&u&C zxF``bH8u(_Ol59obZ9alF*i3jlW{Q=12Q%=mtmp-D}M_(RBIP5Dw^V)kVx_+b5NR# zaS4;VkwO|&q}XQmu+7ZgV=kCPk<&R5U6kCq=|)Pql<5@8DMd~fl2npNxpZ`)#3^Ub zP@T^IKhOU^^E`XLwbr}V_q}Vqi#X56caakt3xydNDqch-QEY*iud^4G0w@$3i9#_a z5Q%<>n12U<@e_!vV4(=XP}_eXT!b(r#(l1kSPsNcuuQ@OR2raK*;1`-DHLE%q1b!@ zVnSQs3PmAo;6(zSHg2dr4 zAHR_W@qjPJLSV70KyrL^AoXzh(IhNi4dNgBUxSsZ?hZ9cER|37!`{M^7pwSLYRg3T}mDw zE*Hh3(bz8*2SM2!ISsZ%K=wzGND1uWI*!3zgm1nuSPU#FG^)*Fa{xyIIEEEYmS5l} z6~KxhRqn<)#Kj6Q0pQ>?;5dW><9~!$5q}f~1F=v7$Ho3L@V!N#QUM!bi9skFhM8ME>E3y~PGmV(QV3Mlg5*V8&&VQdWLNx#7rBPP4J`?-5~FC3@*HR$Y&#empF zmX=_Vg*mQMngtEm;D@;H>wN9N7xoIT4}^@r?jIFBP!0yH$4KDa`$8mYTp1?gYky-3 zzQ4g6!}SaUlW+15qF7Q`_=oy`FM%TEziD4y<$ucm-!EcFcsxbiWDM{hafpxbq+Y4e6bbF3&Sxmi_mf(W7#D|lq6jmI_sntz3BNZ za|^Yax5)#lt2^Cvqh72`bfJHIM>~@8!0Gb6u9S~YHG0kSN6Wcuv?<*6ZGRiHQf#$b z$}Uajgm##1yrZ#XxL4#UG4EPlRTUUQL)l^4{W9i_=mEz@(^+PbZ=N^hcDvJmk`;Y8 z9p0~Ee7=t~UFlY8ii*zS#kA>4Nfl1H6-Ca)PL1~}J&Z(e9dEr#*JpHp%(`~d-11q? z!;@wck@hUTo*p&9@`2nQ`+v-r)mF2Yhui^;#Lj9rospd;i369C5==rx^}b8o|BNiH zdii^cq-nS@A+jU1<>+Uf#AAa2%hXPL&-GrSZBL7A2aB*>CwMKlqL^p_;q2WpkNyTlKq& zg7)98w_L4FpIdCqsK0qMNo=~iYeoFhhi&gyhbW6N-OEEk`3HFS)?wA5{s~?-1IMgx z_2ot0pvLDt7)@m8Fn==&TL+-x?H6v$K9qI-jpfLxZkg&iQhcDn;MV7Z8&CMvxooa! zJ^FgCWkr?m1Rkjo^47wx(IE{WU|!Lz{<)6c@bjz6jw9(bA@8cZ#N6 zo}ayK>BKh;_J8JXlMO#GHK#qvt9&zuaGi5|s!w_#YwOP0tOcd|+b+F{o@fOE=lIg2>KbCodo%7PBg+@Jv6 z%tG2a$2;|WS!!RWU5O|*zAN$9D%ohu>ugQZ$S%X|Ykz+ATyk7tgX?hn%w?bdy8qC> z#(ecjcUsBL^QW|y`}fKQp7q4sU&%7P~f@bD9IkDkH zKT~7EgnwP7C(lNzT~0mdkUZ!&S!ndTtI9jDKT#zk=);!&Khi4(D-T2lj~M9FDYK+; zN7ppvl=XDFofL2C{ZN&3{D8p}KJphgvvZPqmRp8?S+`+x+Tt{m^V{R^JW=gGcipb_ z5l8Cld_S|G;Gj#fUUq}s%qyVS+GE+W2^Mo#VSg&O9~Z=j&oI$4I^m18>S&!GINraB zed5{LvoB`tH6jy#sOrbrSQ`(SL&z5rMIbgGivo^3clb<-%`Oj&Q6#lrU!tesLFJduY zmS15%(0yscq)+1QB1v+!$ZCFIs?Ax_z4tRUI4*g8haIvVdbDz_e5U?nwrw}DMOS5= zX*3jU8^;a8NRg!{%!~=8EE&c!VkWytcG>d~#uDZkWNZy(D}+geq3ksFkwmt#4AWT3 z(Ad=wBH3kqJLi8JPFSpJ>x@>QIG?d!=UP3%+uu0-95InwWk zgK|}@5Z$C=Fk~ie37f2`SGCe2n%%3!)?_ZOEdhw$w*%{g9J)4uUmlO z-5zc+!&Xkrh;h)<+H#S~%S-0!W^dW3hP!6?Xneip!NVoS&#CR^Jxl@9`lsX&o28CTgG2E%tSjb| zt+$brx8X+PeAfzWV^*o7Na^;g@oY|b8|+AV7AIrD0W>mLQEt?auJVSTnpIJ|yzC&4 zpG{jH46(PG|AI2An+&UH#F6OxeFEk}V^YsfIB!rKb7rr`pk#({D{CiWg}W^4b^E_K z-@G<=vnOoPYVCXTQuHH{J^wCqu26r;`pu2rt+}MGb^T%gg(C_ju$*Sp6jqJ;_F3ku zXyOOat!o9x-8Su_9**b*+j~c#%|1{n-eR|8ktL4rH2S6sMr`vSI>lk%H1O%`M8Rl< zz5G+BdJcMu-blcUOKlPBbylOdMuI-OxgE_A_?jw%KJz#T@H?&Bkd_We_}sX%-I$OY z^asWEeoZN>U#NaGy0@tFoJB%yE8zYzjQa0ECM88EEJL9RaN~pmObHIlh^hiW{u>rn z0nz}98EVx4kT8r}Uf&BF5C~ONRQw;wLKPK`cS5!uPdQcCIarEz^WPt-dfpu%9W!^I zge~fgpT>YdoaSGotRQZ-4_~pIF+^5{w~h%}Wvkw9zw`f*e*sR_{FrhB-D|JSQl&F5*kd4K`jb52}GY?P-=* zPLiVGxA7nHF{mhlz!i5h?)N{qei-67^@;qb9oU0zCVYn<^)QrAOD0~E{f?F)`;P*O zIKnnToc)Bk%o%Z6ZyD_e)+Krr>BQUb&h>nj-%d*LN88Y@o16{)G3VFJfA-H8iA+PX zy@srOmJmi$pqn-uUf+6LVhb7XEOlSxNF_o__VL|Z<+3j7jatiMcuCHybr`P`qg0Foo)zf}69j^?o`Y3R;bt0&$4d~ToehT7R#XO|EViN#!EdaZ}Z9eV2E z1Pe|(Kqs~}88c;?Rs#@D^P2S_jqj);h3LN^Ny4J-iqWuGM<3*{co)J%&wfbgcG=p; zP(0&pjl4QFy!q)|^Y%Bh4IfkcyqY{8o;a24-jMJ0qDVc$NoSPl)E0XIXup75(dt)h z@iRB`QhM^MtoekCCDCsAO4Wq~ajehdgGl;S3V}$3dSMPzO$A_4=E>khLrbYT0(duX zBa{%e%uccFeVLbJQR*rvLIJe9@kn^#xrg+|3omKFSZ0Jx&!001)OQaJG1E#|whP2rNv3!YEqXo5U3+TQ2n zuc#B-ntplcl&T>xbD-gt(9dle9Jrh%mH-1DZ;9XSE%{bZuE#0Jm2#~6mJ$kvy2 zf1r(x>dWo4o#0pD&8>_)jlmBg^MujJ*lOWS<3IX6a_$Y_i6c=2^e^kk;JbCWikqxX z#!5ej5snbD8~(0Dcc0IN8f(c{j)cqWorS6yaWmFc^{CWd>R+pEbfBQ6TG6M_mrf1W zt4Nr!9YrTU$)6h#az|Y6x>lY~k91>Q>2w*pUA~d@ANJ_Nv;&FN<=wQ2XG#1u#Wx}) z@BA?Ij!1;z5fjae>(XM9kKft8{P~r7!(@C(uC})8Tdwjb^-jgzQH^Szp&{AkI|^~j z4ZNpUG)xf(_uF@bk+ogwK~R9y_ci^=UiG&r2~8XU zNk@M+c%dpo>U8~m0pn8|<;)jY;Ir!VAFXHcYg+dS_@4f?gnehS;|Aqp|M>u{MuaL- zLXq}_Z92vHRMpPH9%dmJtCkwq!BkLCoBnH3Hk%%PB2YZ_g-HIIAxPYZG$&v-iRCQ! zUG>-uz-70fvQ4Dg#sV9U?%RO7wyu})1U+wg4@RM))O~gIa!o&I-(3hh>5k*ra5BUH z_T~0Zkh@Z8VLd`EW(*ByK$N%ChCoDOv$}@1_hD1QxzfRAQ1yssc;+Tp!OUf9*oQc3 zcS|gtoDlo?fxe^Qn{{=B#YYzVxW&dLm;1MZ4xsw+`KVs9YsouL&RSv87f1!F*FbpF?c`uUjC^lcUt91=oE{&;O4I2a3k_`cx_}uL za;kpniV1TCc}d+~>`UlQb+G}FJ%0;LiaiW&+TGHOci+e6PdDI0T2|U$ z!+-h4w$yM*Pt~mZwx0jyP!Tpgi3B%>wd}csfe=&D4UjN7;i)%R1sru(OD@_Kl(XkWcM z)Je`khrA7@IT8QGnT#Axz&X5C24YxN>1GJmR_Om#}T)@ z4b(va3Wq8j-&y$k2SSw;pfIS#-*OLs=-(vt&p{XJpn*_TR#wwi(ARB5y% zwAA$Ul-1N!5URSm$|&gnOQ8SO9H%jM_d^GILKWaJ=s%-DPH>3>fvcu| zFHLd+g@Xh5GX@rwo@m8Aie>mthLg!GzfMM`v9c?c4!d4Rca@oQmAL1sr6TrXJ70=b zyfN&go-Mh! ltL_7e+0I-x`!@jw1iD}YaoFQ$Lnx^r5Zo6o=$Yzs{|C>G41WLs diff --git a/report/formal.tex b/report/formal.tex index a4dca18..74af037 100644 --- a/report/formal.tex +++ b/report/formal.tex @@ -32,12 +32,28 @@ systems. \section{Introduction} \section{Mathematical and Cryptographic Preliminaries} +Throughout this paper, let $\mathbb{N}$ denote the non-negative +integers including zero, i.e. $\mathbb{N} = \{0,1,2,\ldots\}$. One of the most fundamental notions in mathematics is without doubt -the term \emph{divisor}, we say that \emph{$a$ divides $c$} if there is a number $b$ -such that $c = a\cdot b$. Among all divisors of two numbers $a$,$b$ there is -a unique \emph{greatest} common divisor of $a$ and $b$, denoted by $\gcd(a,b)$ -that is computed by the Euclidean algorithm. The extended Euclidean algorithm -allows to compute numbers $s$ and $t$ such that $a\cdot s + b\cdot t = \gcd(a,b)$. +the term \emph{divisor}, we say for $a,c\in\mathbb{N}$, +that \emph{$a$ divides $c$}, and write $a|c$, if there is a number $b\in\mathbb{N}$ +such that $c = a\cdot b$. Every number $n\in\mathbb{N}$ has at least +two divisors. A \emph{prime number} $p\in\mathbb{N}$ is a number $p$ +that has exactly two divisors, $1$ and $p$. Let now be given two numbers +$a,b\in\mathbb{N}$. Among all divisors of two numbers $a$,$b$ there is a +unique \emph{greatest} common divisor of $a$ and $b$, denoted by $\gcd(a,b)$, +that is computed by the \emph{Euclidean algorithm}. The \emph{extended Euclidean algorithm} +allows to compute integers $s,t\in\mathbb{Z}$ such that $a\cdot s + b\cdot t = \gcd(a,b)$. +In particular, if $p$ is prime and $a\in\mathbb{N}$, there are integers $s,t\in\mathbb{Z}$ +such that +$$ +p\cdot s + a\cdot t = 1 \Longleftrightarrow a\cdot t\equiv 1\pmod p \Longleftrightarrow p|(a\cdot t-1). +$$ +The last equivalence introduces the notion of 'multiplicative inverse mod $p$', i.e. +$a\cdot t \equiv 1\pmod p$ means that $t = a^{-1}$ if we consider the integers modulo +a prime number $p$. The integers modulo a prime $p$ form a field, as introduced in the +next subsection. + \subsection{Finite Fields} An elementary notion in cryptographic mathematical theories, is the notion of a finite field. A field is a set $K$ where the elementary mathematical @@ -47,8 +63,33 @@ complex numbers $\mathbb{C}$, are infinite fields, the focus in cryptographic applications is on \emph{finite fields}. A finite field with $p$ elements, where $p$ is prime, is usually written as $\mathbb{Z}_p = \mathbb{Z}/p\mathbb{Z}$, and consists of the elements $\{0,1,\ldots,p-1\}$. The number $p$ is called the -\emph{characteristic} of $\mathbb{Z}_p$, in fact, the characteristic of every -finite field is a prime power. +\emph{characteristic} of $\mathbb{Z}_p$. In fact, the characteristic of every +finite field is a prime power. Throughout this paper, we restrict our attention +to the set $\mathbb{Z}_p$, i.e. the integers modulo a prime $p$ (rather than +a prime power).\\ + +Let $p$ be a prime. In finite sets of the form $\mathbb{Z}_p$, addition, subtraction +and multiplication are performed modulo residue classes, i.e. if we denote the residue of +$a\in\mathbb{Z}$ modulo a prime $p$ by $[a]_p$, then we have +$$ +[a]_p \pm [b]_p := [a\pm b]_p,\qquad [a]_p\cdot [b]_p := [ab]_p. +$$ +For division in a finite field, we recall that $a/b = a\cdot b^{-1}$ where $b^{-1}$ is +the multiplicative inverse of $b$ modulo $p$, i.e. $[b]_p\cdot [b^{-1}]_p = [b\cdot b^{-1}]_p = [1]_p$. +The multiplicative inverse can be computed by the extended Euclidean algorithm. Hence, we we define +$$ +[a\div b]_p := [a\cdot b^{-1}]_p. +$$ +Hence, the finite set $\mathbb{Z}_p$ with the operations of addition, subtraction, multiplication +and division as defined above, forms a finite field.\\ + +For residue classes, there are two representations available, either +$$ +\left\{-\frac{p-1}{2},\ldots,\frac{p-1}{2}\right\}\qquad \text{ or }\qquad \{0,\ldots,p-1\} = \mathbb{Z}_p, +$$ +which carry equivalent information. We focus on the second representation, i.e. +we demand the result of the operation modulo $p$ to be in $\mathbb{Z}_p = \{0,\ldots,p-1\}$. + \section{The Formal Verification} -- 2.1.4