From 4214694d2b4cd653149efda108e469e5aef15073 Mon Sep 17 00:00:00 2001 From: Josef Widder Date: Mon, 3 Jun 2019 15:45:10 +0200 Subject: [PATCH] pdf version of draft spec --- docs/spec/consensus/checkvalidators.md | 4 ++++ docs/spec/pdfs/checkvalidators.pdf | Bin 0 -> 1906069 bytes 2 files changed, 4 insertions(+) create mode 100644 docs/spec/pdfs/checkvalidators.pdf diff --git a/docs/spec/consensus/checkvalidators.md b/docs/spec/consensus/checkvalidators.md index a83437541..ed8cbd2c4 100644 --- a/docs/spec/consensus/checkvalidators.md +++ b/docs/spec/consensus/checkvalidators.md @@ -4,6 +4,10 @@ As part of the light client, the CheckVS procedure has to check, whether given two headers (whose heigts differ by more than 1), the LightClient can trust the newer header under the assumption it trusted the old one. +This document contains some math formulas. To ease reading, the file + /tendermint/docs/spec/pdfs/checkvalidators.pdf +displays them correctly. + ## Definitions * header fields diff --git a/docs/spec/pdfs/checkvalidators.pdf b/docs/spec/pdfs/checkvalidators.pdf new file mode 100644 index 0000000000000000000000000000000000000000..aa8c2f81a5388c695cbaedd1dabe05e17c6ab36f GIT binary patch literal 1906069 zcmV)kK%l=RP((&8F)lL-CB)_O4?5av(28Y+-a|L}g=dWMv>eJ_>Vma%Ev{3U~qRy~~bdN3xzfkEh77fXa^h z1rRh)L)fD;IA{VIOFU|A2&8}wzCUoj@BiIbMpmuZRa_)A5v$S62n%;xela(<`}()H z|M%_R-j4UT`{Dfd>)YkpPru~T`S5;u`^8_!r+um9ogf4}|h@4p@1e*W$4kpKPm z^XR|(y8oBc<#C%RKEC|x+dtp-@7LSm(||&+l20Ai?&n|M{_{_7=j;3a z-XHss|DGQE>+$XWc>C$sx4-?1KVJ9y^MC(OZ$JI7xBv1}rue%sANKqA z!}W4q!F;}N$9iPehx=g->vcO;_GW+Eua5P9Y{z;%zaI|kSbyG*^>%%K98PO1a5-$p z`gpuQE~{A2|7|nY9(D{y*j$9g@!U+=49J)gH@y`SC>r}b0t z&+S+rm-okM{S<7ctkeGfemn0kYiH}Wd90_?;r(`B$GUx8PnYBS@pM`l>g5j%^?G^V zpDt?)a5-*YfcqWhvX1q#8S8m}dOsgmm-P=Et@Gjh{#Yl0({}cHKJVWz*V|)dxBkFY zaK6H{kNfiq);~Z4%Y}G2pTE8l_uFqn#(IMdaJzns_K#k)hYReGYi0%YA6Q-(AitfKt`ckS)*e!i@u{Uevc;mE$NFTx)<5XaN~{d8U5vi%bS-@l)3 zR|LA#{l43C+}~accyAT(4v+U^<-2_PpytQ5)O>t9?1p^zeeS!C^tyjPUarUU+u?ED zMQ8-+5E?Jvr;Ha!Z|}DwH`)r$AK+)}IB&=I%kjQ{tRcO8U;bD}dOyA&Kzd(8`U8T( zI?@MH?fLPztRcO8|B`rt^!C0#pRViE|Nbqxj`XlULX>~ z6bPTAPlbW{SmhJIG@&Ur|;VwULb`-U0xyGdOImt-EU|bE7RX^ zJ^9D;2}|4hRkE2(kLUaQ`32I==jnJkz26T<#Icp#-+Jjib@ke*&3y=)!n znM3-xu3yhvH~-9?f4baPI?~Nr z{`qo#zwiHK!^s)H#qoAty`Z+Q=@r|-3#6N+lQZ_1^ZvfNrknZ68GFqB1=8))N7=!| zvpUkvOzMo&=5)edy+Zt(>GXnT@_2=GD?h=xhB5Vps=HN?x*U=CZtD`?W>Er<<@@CY z(#`Vz1%`5Zg>v zFVo8n9qMsezoWLw=G=K0I$j{%e4;Q)Tn{gVzO7gE6&K+Cur8l%W_?!#l=};$KM)D9 zE=V(VRLJ#_p10c0t^^m{&X-lIuty~JP`Xy%LHKgD7tFKT0h86|VwSjJ?eSCKnRmZ-Irk#2UE z5mAIu<^}C%GU+Vf=)ttgY$Rqkq75c;z}-L%R7y z9grn(6|W-QtVbNsBkr$|Zr*+Tx~I$ff!a*_oc;UlyuSHcrPCv##PtQz&HHpjjX*P9 z9qDGycSMc2>4#b&)6Js95f`ihg=;vslKv4b;RRLf z)am0jVfw2`FZ=Jtk*-V8Cp43jKBJY9ZoW!SFqFqDq?&M1$Xf((#@Rz1Vh;$){p*HiSKmB(DMT4*4V()!+7`8>Nagxb%{A63Ud|d=55jw zb9sUEuyy)p3>~kg{~Xx)yMlyt#ay^i)(+`rBPStO`Zm{*ZWSZX#B|`>Tt&K>^v|eJ z#Crd^TKSpq3nJN8Noq4YIm4qa_tWah-%h8*ot<7FJ#GzYIcttRyqNyhYwxT%7I)Md zoo+TAo;Am^{i{f~a=tUJ-Rldao9XldmwK4!vT~Ph4nMgN&vnCgxQ29d$=J26Llfg>v1DSZe>k3UniF{`D3q;Zq-dL3OyLR)<(Md?6aIm{Od?J z`ynrAQKU|-(&=W~;e}Wca-9C;jY8o;=37O&eNFN0V&+;!y8Y}M$VwpZ+U{@GqD=g~ z--%~iBmS-Wp8lQloy@s4q+9J=SJTEWmsQTcc}=fqQO6f+x_S4nXinCdK9i`I&ZVLpJ3)(N4oWp9FArGsx6|KzndsgjJbVr3W{Nr> zp6u6gZjNP)$LIyltqdv-qjj8{ZPD=;y}-G7xs`6Idx zbxu~1Zocr3@RG-#ESr^)Ze~zNEHY?j>qxh5)Dc~WIL_6L+Pusaq*|~ zb$z3@ihD=IhGtVkjV1DCm87JEhx~lwkWS^*h#(ZWhcbIrNU=ygJg&k`(pFyiHb-ZYNWM z?J@7KBHg^EXG)qqE~@0;9;nR%%9%7^OegC|w+bj{s(&PZV`Ze9*Hk|gkw>c}wb@y$ z%jo<9>1G4BE+g_cR&VIdbgIiJ=_`Ngnv$`5G}B}S>Gm}xB`E1DYe=_Vrc3tD3ewFC z9C{Jp+(}Tonsxueq3x{C$xc-ts!S>);j#Ygf%KCeuEan z_vy^Bcw0gH1MBh%EoP-_;t|)-em^Yf6OSI}S=ND+71SH~)zA0@*t;EY4p@e){>1c>MvT z;sZbOZI@5M;O{`GX?R&$66v^L@bk|L=KRvW^lVGZe4NhwkPrV^|m-K=^XpkW-sk2R#5#V^gmgx0Mh-5gVTK&V0bg2S%t{`c>L z7aOHrn3&2noSXLvndX9@WfkexFqi|17xsZanM`j6maQXw4$?lq{Xf)O{_XJgKYwdA z=)eENQh$>x@|l8v|M>eWz9R!RrS61zXMRGUIWUm2H@xm$KE?dMGwI8c#A zK46qW#1`rx4Ju)|4o6DcP&C75QBb-&KyA)D>ks?3+!ZY-)godl7x=_LE`dNV1|~T` zT1{9o{e+xvm|iXf2AmL%8K9O(m&jt57ihzNFf=Fw7^3bO+7!a@01)|bqd5CB;7Gh) zmY+7tS2iNE&P4-4f^i^w(zpsC7zv2wHXye??dp*YZ2xdf%k!b1`{Q$bhEWd~da`x6FEC%b2l1HtTJ6AY>+60Ug~ zt&WTfOfq{@_#Y(vZmixSw0GVq06tb{_p)BSh~ru&s-F(H=&gG)al z?MKv-D-N#N%G{~|a7m=w1Wh$kqg<^c~AKs2NT$Zp+P8X;V^XJ-oxVsvusH+vBX6?ew4@r8YckeFP8gBWJ3 z8*|AiyD1mJ<;jCbJ2EBcvd2T8fJJ45n7P++Z>$3)Ih4Cj<0Emwlh z+D%xF>iLGdGtCHs^zIrgKcwWS6hxMiWp6uuFm z;1G0Hi;1j<+mTHGw8xQ`%LKlE&63}(OLrZx>lvSn>j^zLt~2w2j$HM7IWZ8#-E1h; zlDeMiY_Q<$*4bjI^dmC3yG032P8qxnemHhrh~pw*4w5Nx%vR@z3o5w~S)MlBxW&W` z)DxV@jy{jNVp4~kv*dzwdtgHWY4pBuKR{Wup#(yHr#R#I?YKt_#6q3F z9?O0j`mr%z3r9`0DGV1*%nM;e z!R{zAc*T)+n+H*G2V%H$F%a-gY4kB4m>FNj6BPlJtZ3sI;ROio>Z#=)5DvOmxr}pn zL9zP)dsAD?&UO@y@d@I|r!iMTV#h)mGSG&(@g0?B6ZOk2e z8;i&Oj7RUj9QJI;2^#0mgm{Yf_>+!Bd$QRRbAE{-CM?=DP_@ z84iN42b;bO`4P&JUcm$nb?6eGauwA*MCvEHJ1auY*jh`k}t2HY)Z{{Nb5J z^Eg6PY&U?LoF-BQJMOb6m6C}_O0?ZvMV6$CwR4Cpnkba=ps{zOj;hbr8@cajYmJiLQ!17!50;DWn6V74M- z+!YoRa!(-H1|EmrFT0iyEB#|EIC-rCxyZ}yMk$~YEBD`k>@i?CJz90C*amLSV7lxT zPg#UJHjK1sH(XV-AFAgD<$nvEM#tjs?h`(u%N>g8>o%2 zy!C0Veh7q01}^W=cDf0B)-^f`u^=uvTSaPiT3xOoA8v#rlZyVM5N$uRIkHtSVP$+F z910kZx=pklAXsHeK7rT|S3YMxxJD~Dmv$YxUG7;F?w#vc0oq?eW0r!B4TV+F)8f>il5Hw&AH|z{eYhTnJpx&0?wcax#i{kj|KH z7P3&sWZ-v#3TOmVihjzTNrYHph%XxMQaV@qERxqK48i|*<$5PyTy#)Frym}$Y2`QV1H_a zUe6^SNXQU%6ahBhF;$d9X)RF?W+sPA&MP~KLY>({36A=!{br1M=B5>058X>mjN2Q% zw#13z5KT-=6o>Cu#6grTMfD*S5spw{gHz`fjPNxjUrbYJ^j2?oKJV~XC{2H8rp@4NgFXPOe21{m=@ZxC7fCHHlytI&k8N zi2;usQArxXwN3D`_k#y=n8Yq`)*JC3hxUkUi_8tN<$$UJ!1&DgYMZLn(bAmRA`xRA zL&Xakb`Y*vJ%P@bPFU?CC~j})-p=F0)xz?j{v2fMPBce_^_2gUXv;h~<8$1AJ%L=k zszMqETzqCD0nWvRVRWgqesGW4q^q=hWCh&lDY{c)&e1?#>^4FSjq$%`fVZXbB-=%C zz(2jq&cl1hu&26<8rAOL#CL+q15O+VV+sHvrpz>dnDS1RgVqM&PE*B~EJpSnCaTV& zo>Wz4(O&(Eud2wpL9lVoI>fBrnPH%=l=ygX7J((k<~)YjGb|@K!R;)!#d(JBp6=a^ z9hzjDYHnlXY=#7X^eKG81u>>icwZLH!g_U)At#Kd5O?5&cfPeFjXdP}aL_5q%@4JX zC$eVCiGZk7mu`?@)jVCz-e@dS5n>L|K7~O?6wAS($D;Zh#-8N{!gzBRUrR3Gwv^n+=V_pmcSyp$z(@);^R$c9`|+8bY#l^({&h9Pxf-xd>JC%DSmE zeZYo&QAiR&KWvHCy{-EV29MjsNdkjhy`xwJlTn2rMj^fc!8i<20KrPTa4Zkot}A@6b4fMDM8CWSWK??Che2tmFJpSD$D z%=w{KASQW>{74Z%0L-S4GhwXqG=`4G;PrOFxU8ZJ1Xa!fAU)&N3j|r9{n)XP53Nqp zU0MO#*$?vSqQfvDdmzZi#e@l@{aAG0CSgC=1T52ysSv_Axe~$j_4ZYO!g?HAGq?9c z6-@zZf$^w#qJ&&k9=Mv1NHR9TH&*clQ&(jS7+fdKNm1yt)eYq#-Oyv?>)7jM=aG$I zGPwXyfUG#6`2{l*D0UWC%=uX=aH3(iK&g)3D8)v4p#& zK!#fTu?_>4HNFoWnv0J+gf%9Dsr}HXN z5Z0AKEl4A}iyMl+bByeUGs9hHvuRoaLV0p3SQ=EnY;?r<5P6L|wFHDfrv6C1>h_|s z7?qmu28y@I8LtIsoO(XeByBog9*s(;Zr70Jo|)s4i%{f!wJk5Oss_&`1Jwd$@=8 zi}%$v+24nbNwAR{&MK+uMNv9eW(I~KFX|L*wA(}iJd4ZhINj~Wi@ik6jX{9-*aC7V zoC_M>SsMk2?!tHq16AMVkCXJB#*`+}0Y8B%9-t4BUHG2T; zF=27F%2;^)L|es)3WPhjkBeKioQ+fe(TYvrHmjTqc66AGV1d8|ODj*UI5bii=P&jy zMukB=08G{Dd{bX841JS9P4ffYcMSta5rVXcQ8WHZ) zHwmO?j_t)HH2EPnqdNuL))^x0a8yee)i9+nUNfFHQx643*5eaQ4ubnj!T{3&t|ultG)67a8a0WEDV}0|&v?R2duEB*#tWFwY%41uyYD z=Dc`>$Ekd-EsE$eX_j#R|OjT7wOk{Kb2)*v|?u{GCnsATJi^VXg z!1T?Dd{4pjLKFmZAtivswVaA5my~O7Kg@jw6aWd03!xBM`z?@b9h9G1aVXm=#t!>w z%nT;9+~Pj5cTNxN$6SiEB50`)ZOIvdcGASxkOn0EH0{kMW0-_qJfYGc46DEn)poc0C8$0G3SIbV^GU?`Jvuvw1r`tW zb8M&g6xsEP)QY6yCnkp_q++g)2`bs*JdlO^D!d5IDVRE4E?3@OtJuCX*Ye8Rs9|z!+ z$QdFc)M)6kMwIi-eSF$sjOb7Jk&9K&67SFk*O3JFBK47=-|rEA||h2WtZQ!FV>>2?`Z72bE5(>Ww5=9A_rebFgdaz@cno6*kmI z+ObCY={k)Bs%YI5^PLKA8~t%X;U?lR+`MQ)?uV zil?E6Lpls9BmvOLWx#+l&hsR;4#~4V2e+)5cBv40c%&iFwT% zY5{ee=W<|U$o8Y_ps)`P0u^EA2%%|d751%%oPXTZ+IqJCVLfe@72C^auo24rx_O_nh))j+T< zR7(qTGno*~D!@*c9x!4@)dwKDGe0KZ3FAMQ5MVWe1Y#X9A-wFV`krn@VMrImY&uTZ z->~$f2*D&VTNur$Jf|Bcqr?hRo!@s(a|yTv*n<={;Mfcx5R=9~)O%1Nkt9-Ns{BIk zItgus85za}_aP1(fI1MrxF+ya+)9OMmLX70n8uWdt6sl>;D0Fu_7}iC=Aa=97ZuLX zqDTL7nFzzgp%IB0C8GTh=pB=j%Q>=@e&>J?;?oUB)_`DC3*?3mgf`eguuFJM>2|Y5 zTwoqaAy`H_VIt7g56~SNyhlI7IqAn0v2V~{VK8vw930EUo;FnS9wRUwu>FwO9Rt36 zE+@MYg6RNQgRpTSxb-vNxxfRKRte&^A1q8!SfyPDzbg>sogLGB(b?@WazS$%?({^m zorEd#e7F&8!Cm1Z@Pz<@XyvpY2C7oDH*Fi?yON-xM)YyES8GQ|6-RhkC+7z}l{Tg% zGj9)6>~}&^icV6+Kqwv{Sf_L%L(bd@4r##hevW$Exm471pCE9NVKMV99&N=Sk#oUB z(wW%@jxv*_``ry-vIH0O_%d9>Uou?@+vlUzcL6YS7D52D0pDCaLR=DDxEeYaSdQU9 zgypyA`9_7XqMj>hj)hJ*P(gdr7Z7d$$H)+D@D zSXXM302F^Kc<@Py8Hh>z*)^gS0)Zj6A7(ICB&br2##RR+#?y*dD?1Ul#uMPk;Ku?+ zdWRsRm;zE7003rrCC=GIoCwK^0WkEqt4Og!`7kiJl4>ojj$!G~pc@)}P+>EY{#cM0 zfa!-F&=q;2q(HiC1o1oHrIjH!n27Sc+PJiZWRsYR=f!?7{v7bE06aqo!7^PZBHlbW zuupCWFzL%@TK4l+VNZo&`*Bp*#P(dDZucHnb0K$xfzXXvUG3-D0T+|lE2z-V-~j=5 z=P7_UNx9<8VA@{IC(#k_B_^fVYPk-1u>}&*GX#zx$>ZpUH4w=lFUD$WRSU08t{9l9 zAhSB$2{q|LFsEqrRz-GxUMyx;1X9IaBS^QDMkWBtz*uTW1w@;e5M;7;gPt(V06`!t zxx$HR`A5h?)kwc`B3co5C{4ke^hMc^sQL0VcoXV&a1CdK+$yXP8yp1+(+`zs+)>A+Tr znUFa)(oI8sD43uQta$WebqS~<|1)R~$Qxe0G$|^7?kUXXLjj~If6W{Iw($#xFX`~`yj!I%X2Jra#it$o9EN|+iU z01&v!>Y_3(qBBH6Of}aotIhcuA~IUSkm9v~SoVNfLb!V@GDAwH#{t5HPECxqAGauX zO?}!5Z!n!G0)CGFkPkS_A{s(aJ+62y0)*g6(`3 zpj~1WP?@TDu<_bK8?dj^q1WjbU~SC@!xwa`6Dolj*e3e8<6t)c8_3WGwL?;h)t@0z zOufq^#s`I0H4mfnYg;hPy&&k(0Wms$V>>%Kn3%Z0I6d1z&Fb18VTQjh1tJ6EpfRi4 zp7@hRyyKM5$@xip2TW-RB!Qi?pFY7L`}84+0arEu|5D#PJ7Fl;m-`->k7O|QQnjox zy)Pb@%mF&#H#m;eF{}Y!5H&j@oOf;Zg-fM#RgLGHRDlSQPiVDYpz?OfmzV?ciSwD~ z@N{Ce#|B~n{PJj&0|U+iGhlquE(4=RsD#h>C)%%I1u~F)cEy)cRfq?g?XrO z76D4JA8489dhO4TV>>_E8eFV6`31^Pvte-JyC}zLV8w>v#?T$U<$N!;0C{2_ty%nw zvTA0HP|6q8W5i58jYdmE1}o2TVKOS`G;$%KlV3PO%cr?K{Ni{zegeI7sM9PGEc@QM z=ZCQXB0a>wCGd`r@@gX-cw;`up z+rMqF&=dvSXIV$1u~;P+5L4^;9%WR4+s*r-2<`T_^du=9iW7XmYQUFqHRX@;Res_ooR+r?a3 zNP-^V6bSdqHnf>x5V^{fZU&4|DU*+W&E$rP*g5-sq;dm0tKkBz3Gq6vr|m48tU-l|@icOE&j2 zr0LvkrM_q@R>Q?ZSdGz(r{I&ye6i)ITaS1GSJN1H0kFODlAG2Blj)!s^WD#vY2{!X~N`5&LkRD3J!# zbZ!AN8?-)uAjs%Sxacw?om&_rpMJGN0U^7pGHw&KfsnJ@$ITc6U?_>hE1gILAb7Re zJh3OA`x%nB2Uqi{75a%njw%zeI++ZlR|xS*!89|vX~o;p-Gyd!rxhHis|jPa9}5L{ z1QWX#?kuR32#8bVp0oK6_=Js;(e2*NV0QuCa#Uwgr;Vj6Xr)i;qZj8#gB~rK&uz4w z!E-{)=MEl2ud*r7Lh`wlfAGje$w(T82T=(9I3gpT`x$0FH;-4R=8AWb5-AEm9>=jT zn>+Ld3&IVU!_zQq#>_n&xd^d5wqXI}n$M z=^8Y*z+5BQW0{l9z=Wm68_Gt>z>!@+ZOnrqjbv^>$jk z#^LA*tjZaX_zoRF0tr7s<_-4TDi(BGS$tSb#Htq)>Urgugx4tmF$AykC|OG0 zf#{?SL^;}-9Y-d*!O3vU}}b>{YV_t zKFh$BS%7etM~6f~C!0;FaKN~sfnogyr1SppNM$yIChnSp&1`y zFySL|J&`s2iDj@=w01;N!uSIqKGK0B5GO;LCImb>Odv#zyXwGj0(F>V+apN`NfbP? z4Dp{16R}V`htdsYvZL?|(-j~LV;ZCY1S_G>17ae!5DelKfe0_`Fp){HrlysCIU6CW z77;escEg{IG6teRoSpi!Zd75T8!ouOT|JEw%GVJ^y||mE3tHiy>5{V; zo!tV#4H}Ekb1M=1LC>Foz8S{6=He1;)q1(o>*3%zo*Sn-f%DOi~g7(P+g{E4c8nGi3mWe+fAnd%$} zIoj^}GXy(La4oP=h(P2dZ_thHfc|{i-O$8^-E^+|CUWwFiKL~m@5%Ja-VJ_=1+L};%p}=P0KVtW$D!y+!sxi%8$hr} zkZm>yb`~OQodX&XQtbTLgd_n0**6CUOQt$nCk|ULl9G@Pm7frOi(+O zLV^ibw__rX2zyu{M&Wp)5scE=E_N+k>041$y4Ax~~!3vYRI&niCXu@IXsfNMyy5uGvkYRGQ)dEXxJ0P$QH1l!LgNcjn zHQhgzb|XZ2Mm51PIcuB{7aHC>CQSP2(mT=99M)Mvt9j1IxhH%2~B+YEsafk z*H*#qm~&pv7aQB)f!VBJ^>p}w^^}FNwe*nEhp*P4K%ExGxM!$|*rFY6B%oPd>7XFu zO+&=2)_#7LP(6P$jUB_^K*8`V`bV23D*(S#$1|%qAt82PTJJ6Or(0z>JCM`Hy1@z& zMaCD_Sh^AMI%q-V#;&!wl6*ryQ=FR+PLX3R-jU0CrCA)=3q$Q z$PnB`s~mJ+%>wSeF5$(qKEcjhW-NH^)-P^pK22}EUg@BPcE<&D|z^PnSXvhu;LANl&0#e`VCbUl^MCygZp9(FoI;QJ{ac*4|ib3$1- zagpSB-0}ojfk+4A@O+KOAwi9ldH66j6r3@C6_tP4VI%eEKn>IBpORa8?6S;DI0CGM zj1Rh+Nv7L2zo*@ckzm89%IQ4n=hstvs z%3~OU9<5(@{RC~HbXa=J@%oo(7|$XEDmGKAf1_{(qJ6;@&`SEm{vRwt#7~RyoEdHY zRGzyPw;2k)bMIuX$jDND-BGzFbC=vWX5-tB73WrFQ~rf6IS>~s?|9=(*eR|IA(0ws z#U0Kpb1QN5?RO>CEgPv=HDD+{h(5HsUA+QmmDoHX@uw=O$FoULPH6} zhY3XeiSHbw_Q@LpgpkM7KE&g3bHJTR7KGE#=ZJnA$PHbq-SFQajM0dDBFB(s!qO}i zm;@x&-A3Ne!4yeX2p;x<%Hm}~byow-nnQz~3B|Ab&VNCA$3a~_+-gb6|Q=`gMA z#Bs;%u3?6!5rN*Vz=ePcicz@(su?QZhFDlvAQ1d%K$O+d!hIaA3PYolK!qfU zA1K&WxflQni0f}SJHm$j(8u(Vqs^;VjlDE8SxDn$T_=;Q7l{4Po*mu-6T;@g1n7qo zNlehZf|?MrBfKqzu^mzhG$(HcfHvj9KxDF9cOdXgAewBvt%3?>Q5ba9vcL44F#K&! z83-ByJ+W$d7Yad@bGGbBpR>{nbkmnHo%Ec;>kDzn3j+BL^C zTHZs2qq)iW(hFk|x~Ev$kek6|>{bv>&MLQM#soz}p_myw5wN{GYOp-`35I2}N4YT2 zL7Kc{G_4v500aY+TZqRpKKBW6Lb(2->`hqCGSSz;gfTWv6bQmN7Pdvn>oOd&O3QF= zsYL=Bj!GfdI3R(*_+y&k*tEF6N159L+=?W8aC+EeTs_T<#+m@(MF3GkJZ_dL6=uW` zbOuuE91Ec!iI)y2E#)U9_3TP8v>uDsKs4L2OQnA_!;6L{-nr&y&Y_dWEY$2f*&KO3_ z?G2+4;%wMQMb!l+1Qv(hCL&kU8-XQTo<2615LvbpA=T`%Co+J)aAOA&2R2QXsd@c` zU={6hUm7Wt``Q{Ah66x{Sg^`A$d2gI#{8k-$9OnxXHUcm15x*Xf((*2f%%`*vt5(L zUe@AfuT+bC_nS95+{%dENICijToUZamf~g<*nc=Ue!x*4?lt0)bzD?-MXW@|Rnb`j zr(t((Tn!Y@flgw`-9O01k=D6>{JNypQrxheu+i{Kr1Po$eH8Yl#HYh}D(nr>jKbdB ze|~ayDeUdvDpr1CpE0)f5yT2fxJvmLH0XyG!{wR@8cNdNxEECwJwVp(fhL$jO7$3| zj4nm;A0lR0Ec?T8^i1Rv=ZgJJXcIiBF^^m$eS#*2JZgqAHp836XwEnJ5*a}Q!K*89 z4&*|KtE6EI(Xq2l-Nhb1t3sYmAK!vDCf@`)Yh`YfX8SDYSJCR$ukaETBo*%r}q z*!`*HWaC2Xe*vv##8Ea4BgMqF>cv3Uq zX}W}EBf<3cGn^w&L>KDtJ~C=YxbBX#q)x$B&B%W2S$2c3L&{ng@|Ocj8zC?jYfuL9 zM_p!K`ZMY>!-ccz3B*7!?q4W0;yL8uhhL;=Q9z4)h3N99t$*IBdIIjLknRzoAQJ>_ zMuD<1dP0XIB^fj%PGwBv5GFnt{Zx+<@xj=mDvIXQP;x(1nnaS>m=&|Nkpj93XbAp!cMR3Gj3fM1j#=+ zyvj_(>IOolZ>2WfUpDywf*k!UvzxU`^89T15yRh$E>;i)#R{34YPDd- zO||V#I1uRzm~~$q!P1HXi7p-x(=Kdt(;ySb2*-6fDQmaDvQk!eZXEsf-6X|652tkFC=f90Fum9pN76^ z!kbrGgdqSVS=XGAI_I1Rh{&zPz!8YuFr90&3M_-<2pJ(CD+o-Uxf+nkltdj{jol>n z$b(#`Q51kgx5)rnNBjx0$H1Yo`Oyjnr)>}b;oA}g=Ro@rPva#*F0BF1Y(xi%Fyvmw zOVlx;Algm0ocay@5{@5;LG<=Bi~!!Yz=Yr%D0bEqIrbTnpW1I}MZG<-dxOSSW7z}k z5I}JGIRcbH!hth8gA{UHkv}c?;Hc1`9XZ=#!m<$l9{^si9*kw^7#+yK@$Rr$gn2-Z zTpMg2CWdsxYau3{raM>Mfpp|I$bNxkeiZn2#$bxVLBA9%1VDCcBtJl8_*a)UiALO{ z!%M45(%hVZz`a6X?&eruTsBSyg&%H`Rw#gDJIxNZ-+mv}40{h}$U&mJBRJnUctU34#%Vk+Cxlq|ZZ%3@SlcC~^%3B*qM>3D(m#UK!nU0;5K&d5yrb z$T+4QHy2u}WWVq_Ma~niZisThF{2*&GAgs2|J=bJu zWgLpZRYH7io?}Fv?OI|LagbUQ25Wy3)UbPb%(O!c0S_yPdx==6j^nyvR_OD-5;@m= z^slT0mKA`PKUoR1f0B85RC1lFbG|P!yx%HL!|ZK4&BYP1`3}uTfnczHun8y3PcRq1 zmE@{@=KDZ5D@oIY{f9F10cpjo4E2uwF!dk44aG!>ePoHMVT`Ae6Wpgx&-s!iigF{e zs1Jya6FGN^x5yW6V_(e{_19hU`muOeu^~vP5BPsni&?EnLD=`Razfj#UnIYNisKD( zj7u2ZV#ERX)wC4;j#c0~@cM_6X7RhcmX@0qMm=Zbm$dQFa@=4TkVFQ!ggj6^jqLiC z2~4;HvxDS>Ot&^)#%NLB>k>B~HcoQgo~2x7hA%-0j>!aEB^PZ8QnVhOcVCXzZf=VNC+2OmjnR}6VR9*Hr!!&($YiC3PVbOA7Aa00QS%nV`1 zzC%J8T{s=aZ&hM3deKiPiSy^7rE7pCWmJrFNZ2{kh<7DSqYI0uB+xZO;~PjOeI_V$ z+VbK`WRcltC8EI}c8jF}A-hwTfcp|iUw78|&Ese`G(#)2UleNksr|t?PO+3o6jdnF zb?g9YK$X8IXl)>cezUKxS!sM3gD(;A$y^O{(XrHaED|xy3yeId2&Rbw2n#X}BYYO~ zN;btaIz|P?@q9y;)GUScs zFw~H}h8uF>L$!2{(c|p;Zx>1BE(Qo!AX`mGe)1#o#0ZFO?MOWB|Igclz{n1L=p87 zx^vVJq<2oMnL(FZZHD8fFC|hNnS9 zbt0mc8y@A5R;m~Z!0K`_t{@|6BpI*@^hi?LA<`KOKF+ z#9Ps-w&TZS(J`Wv0q(lMfYih3C(J@yfuY9+f)_IYDojDrG(kSsA3Pk(?S|IfRv4cY zow(KOW<|iWVz>~DNG<>n-+R%1Ffv_Yih&$lTj6Bwz%h|QQ9v-ubl`!sANjCS*;7AE z0s2aTsH$)mVR7o?;{Udr@-1A=M%4Lt4S=Lv5fDNgISQX3l&oDTnlc8T;uSP%I zgN5w#5-qk9MP{z%LtYr&8j7Pl6Vh|$(wGtuAv&YB(*!kSmaJk8eB)jSR=pXrb6pk~ zyH-@$&q1$_37hdyz@;Ncj*)F@f0L?#!2yFE126U)0j`iBE5_)-t9aK;_`b(&~cDnK#LP88ttNbx~MdGtzlvoPP( zZYvmw91#etEf8{1+)938XrmvI{~oCUlXx)E=Cx@P7P`oLO~lnPXpW8lpONb?9@GOY zxZvE5fmTMsioJn5LU20KDUD77|?D%tf%V8aK=5WBn0&=YiaRzU+yH# zx1HDsdaR3~ra)P|OB)_sLrt%)ESnb6^dhvWt*G?njZ2#eA>yz`y(gIQ1m0UR`LhSg z3?|l~utzi&V>hfS>g*6X${e_vp)nzv0zB35x0=-o0~aS<+rQW!#A~Eg&bbiS+0)5) z?Y-I$~KOy43E0#Yo z{VeiYEI)Dn)yJ@Ypi1Ua!#C57T#Myra!&JQEI-BTVKAIcAIKFuUA7#>uDJTvh~>8p zLe0Mu%b)%Hp;-R7rV)`k^7UALeevV>X%X_Ctsb_-^5Y!-ek{LyQJvL*@t3juoCLJI zsx25;pxM{4{KQlbJ$F5ppEJT8J;U#RAeMjk@5J)Qd%qz2ZY)2OMcnDi8FrMDGh_J; z=pKs-e+o1B_hb2as~bGPyVNo&%Rx`p=(1L@*_G&C&M4}xwXrBt!br>SDYeWWndz(Hu`sxy{UjsB4^@q-GZlKqO6fV z5>!Kx1d`NLS`9_=8De3#K5l6>6iL;-foUj`JkPKfcXLrBvAa&A1C?MUVFsSOO!P*x z69Pdzrkfaf2|@S#F~db5(<+jz)B=kGR#axZEc7aJf|)-kIJhw5#N+)$)PQ`;fgRN( z83R;`x37?Dl1~sd$$@HVH8e>u5kioDQ6=NI>Hs26b~2Rxs~{>&4<&?$>r4`cSqxQ@ z<43IraZO#)m@#=l^a`s{c|;cox?~15K+2cVCB?%U_`Rwm5994fmEZ&Epm=G(N2?G% z9^0_0!x)IV0cc`jgWd*d{N|R zlDu#sQ6@n}gh;J1z^Y6FsbUVK$|PK9AFIQYG6{^t`(RhW%$hHIGuny$oS=eb2p@n& zm3#tKlLWxZJMN)K0!W2GAd4c&g_}ftU_+4v;=9sZOjd#g2t$=Dsz?q3Lo4y3SQJS^ z8M2m(CKHA#qy zBbbPCkgO&ok9#7ysF$|F!ruX?N`eWuJlD0|s!4)sBw`7RCJ6u@`>X&H%7l9*^T(W5 zl>=DsE*0PCJyaqxw60nw9rBN_Lty`%dgNa@;T)PO06(Hf{*@E{S57#$5dOpe zBRS!V9*Kk@^yoypC7vxY~+h z%3MxBcp-O3)$~arwf39zinQqSo?v9+X(s^_;{y{)RU}d%a6!Mr^uJj2R_;P4ONPUyU%4a?1h`raC#xQ#>Gvy7V5>1VUT$+YwxljE1uV4 z^E8E2+|dSlb)U!|>ZW|!xMW3=8$o=AD}WHf`&-@4XBa}4iY2XT?MGj>6t55fiUSBZ zTHP4~FrxV#J7R?8XNBM;aE6FV#N!7OasBQK0+m(C?FW$HFpfVGr#BOgWXOjA>Pk5x}e1ogI*oJng!Keg`NEOo22u6Ev-J$G+rU zVm{1Sc4P1fbda>{#$ZqH<0BD?31^*{Fd-y~YJwO6E0C-R8u6QBLRK>Vz&7M4D7dk@ z>JWV#@*$Xz=~9G^Mg&f|BtuoQ8}D^-L?%1r4tB!4F5LxJQ7}#rh>k}vK_L%_C5zJZ z*bh08R&k)&3Ik!6j$+r9CTnl74Uk}>D0qpyu*kO@tx_2wi%(isMqoK=<=v@wfeXEa zh_DIk$P))jE0MFG+T)hesP94vMu3|mIm4)4hj`AOz53}8Z@Rg79NJH%N+n(gjCN!IG%y9s%{I9uw1x%r%Med zy0GX^fuJC>bZiR)Ynz&7fJDnHEOnf16`fA5Qao`FhVQhdL3Ouq41#lgJF~c#R>Wd; zOv}?2NF0G3Ka3ldisBjcaDy1bXWOdr|;Hg|(aQ&APnKb0{eF0!tlWF|Ujcne; zp2)5yjBReC=1LeIz=f7>h7H>d!`S3|I1;)~um-|><#KA**-KB65W?f7IP@NCQ+9H6 zE59(mH7Cq`w6GMF#6UQ65FBcowAgNB@A^2n6Bl7xk&!KdC5FF?OYDOXv^+z{Mn7QS zLOivUgxK-zR~OWXB>+uUo@Qos^i@ISG6iAnaZ~V7&sLf42$)gug*vhT+BY&H06d-* z7^?&a^%4?-OSseJs6$IYsAuSXJZ`b}+vhzF!YujdZG`D;tQ!e%h1@4ZjoW^-q9R;z zS@trJx>>Dc zNZ>1|gb{rN?Fd1X=)zfPWz92&*=yG|r|9Y1>n>zDp zS(0k)f4$56uXmXn`~Z*Dgn&DE+7P(n{(6@=>!D{V;UfmV%IT@8(zEl|yUf+q6mtH0 zmpLgr+LrUjDEod#Q|qDfN7H(|%6{j&%&As^NZCt#YTDLNQPTDj<+WFY`3kY7xDa$v zWh)>`VnQ?saE}XGYD!seL_$*UNMTTTU}ty%8G8L!Va6U<2X~qrtGKpIc?7S@Z6K7Pun9tyz5>9jZPkwivTo5aCj;#RWIK zn}7z>IC-{3CpM2G>NFz*TI_52wDA)rTkF-rj&=E6Zul$a&M>@u{ooDGvSIYyqANjiiz!ausZ z)1C%wu%4wAECiO5z08hVUH+_PExW=i(6UYr4*@^BfDUFO%)0I_A53)!1Ydd}9E-$6 z*s3s?8Ja^{^;G~cNCs6*1cAyg44iK02K}(PN^-0QIv?{*1fMh!{RauG6rvY&Vw1#CZ z<$?KL!x6uu+48x&!yQw&9F-17sY- zoJEp=i` zD^x&|7bcvN7b2J zG-;KW1+oX6Z4ohm7F58nXKH|psqhlc%a4gG2g3VC++hwDY(1xd7=uD0>9pT~!6323 z6;q@cD2>}h%w)IQtAKXm6&4L5unpH5Q)$`4*$aZr%Uk3X7Uv0*iy*T|Nis`Iwl2bz zcsS~fBY_58Hm^)BsOGak1d)V2*CXddG0PU*>|?t*IWfC(8@gO>0QZzK7=|j$V%={I zZ9;gl#Gn8nOpg2bk)&s-0vO^3mK?>S(1~^`0G#AON!lvgjqw&auXV;yzDU4fOimGOE@9>RAC&L4pO= zv&FSwKbD1zw~~d$fV#lsz{y19cZyS*_#;XnSoej2PmoDFAFU?s0Ku=+ixk4h(rK%E zCLULFIAsRy0O1%ey?Fc*gEWap0jz@BLOp;;9r60FXr76{uNZtLyigA;~M((_N|F6L{Q@4e&q66AR#(5elMawTQanhA##ABmZJTV5?+*<~gS_1$_zP)-s}S0JVon2= zey9+VCIe{n5VupJP=VkOaO?1vD8NWOFj`!u5Q;jFoF0g4C*`y_=@Wn-N^-P8c}gQt z!&7Wjd#N(fLEpv`WV#(cVAJ{x1WlkKNejIK!Tsm}K!8p#HepC0g=KbkLJQLhC#)Pp zTlJ7$Q^?HOxe0OPvWvdpD6452W2WZ|cmrtwCPzijbo(L9I6o+nB+0a@vZt~bshif+ z{K~>vwRv>o(kT0r`HLHuy60e6aib&RUHE|bG;mszbZO-Q24*Hj_N5PeR%T=CrOjvc z_QTfu-P|DhB0ddPhL6YGAhc}OFS$X(Zo^q<{sl4J)JKX+Zt{G+LX;DClP#6SzAY{=Bj=qb@gGNRFe3~g%vuX#`9g|Jt zUmlI$O@+kz|D1SU=9Fn98-|%tr)bQOQH-$x##QsxbSaKNLn~~cA9YxSK#xXBOw>xs zx>&Z*^c@;{L9(M=H;!e0C;7e~$b7NLE)5a8x(hQ5jVcnO+e|XCVploic~;7#6x6^p z6RWJ4XE8PcIyv=tUHZE|4}&(42nSX!%w}E~?LiHSfoD`UaG@uJpQ%#~vRQDIrJqO! zNt_U6Ge-n8c18x^smmlOI@}NN3kqv`+*x!)K1-3<+Pb59oFo)n!2>m0V4y{5FD06Q z82RbSYTmG@F=a_8WT!{BjB#n6qLqu+O8RNo0grW8c8h~YS*enl^ z@7L>*1O)r-aOSN8hf%BIaU@stCthf(C))Hdc)&;)TTXnyvrNyIFgW+rWBtWZQ?H^6 zKh6O~v(eMuayq<7kd5CYQGLc7gX}F|ObWE0sQl6<)MV`ddO1qxQY5WD5-u^B)*)IbD4UW96%3*#icGzAbc4p<%Dq514sxOFswAc8=3hF_ib{Ot%|>k9ygm@0DGg5(?sRD> zE5FoZSLfksXMbqXQxCwpVfX=?ZxjK7lJ5mUc$;NhZIgg1uRl`SYb-I( zNK~k478A1(N>3$dBD|y)v^`Cu%GAt-<&z|-#K3Kd%2B%_3brAUO7-z^V0kvTOgzIR zY(G>Si(d)Dj>g3RgoHgK9Hx;Pwt_TQ$$uKRfuX=T6|7PzrwW8SNK7h_j+>XY5#6AP zV;D_&9x&+0F$@@zH?XE64v+wbQmgcXvV}C!N*fbhj9FPHV3_FIsu@~9xc@pC$}>T1 z9}o>!Ufm0fVd*{6_C%{#%8}3$#QHHv_DSoqy|z4m#8m8X0!)0tM40KYy~XZA8((g! zo;+-}YTgR*KvMJCB_TVWdrOFx-Yz9IeXKD0K{N;DWJr$MyVC}9@;a0v*@Ejdy4&P{+EwHZhP7ib5f7?2W5 zBB2+Ut+<c=dv$e|V7-KUf*`^3~bfbu%v&9UkkZeD8u$ZV#oX9F*_$6wbc^Dg= zwVW?0!p7Ux#Zb__gJ9+!pl;O^g9>PY2NHx;XV|C&?0Hf+4#SE!5_^H+!zwDu{jvp~ z9{0k2H4y^Q?KuI?4gw>)w4-c@BM?ZPTf@icNeXwALksB}Qy^87m6eQH11@?G3k=$V zG1)oGtOW9jWhYdeb)goK`w7FKjW011ws6vfZZl~_MyYICM_dMt-3z32&JipJj$Os2 z$-AX&#kNZsPrTJayO}i;!SWVdn2yV8u;bSHqa~Ob!naW$I?fuF08yFTNo$8PrVj{4 zArW!sCtME*f%yMBUU|p zl_C)XV(yfvksNaP?Y6*bWan`Wq@`6{%8n9OOE3k}#YD`grKhb}I(U3dMnsmon23)$ zk$fJJhdm&Mt0%VtZqJ(mx}D`?c>FaRXM>+NolW@R5I$5{uH>?=@dg?96^(-zRv>({ zAw%y%keE6M48wvPiv2_0!oE|}Ck(?SWs{DxvkT7%@9&KiA zLEjmenjq6~z`cRJMpeWpTWm1JqwQ(2+$c0xd*-6eCrT(<0tPZiU#Hj5XL+br5s+b~ zR(k8WU2ZP+V$K%`M|m8uW-S9!Ah~LhL#*=Ju9~MGP`z|}Lf(S^e$}=I?sj;b0Bg()u zSc>^L&JYp)?J|%lyIXIPW<-v6tbaltwJ>Oxu#t0GP7MZU6tMK(6^ywk|Zx}ISffz=ySQaR6R8lz?@3ePlo@qBX=s>tYr_7hR}WBS}dC0eH3 z0;pOp1F{OTYlL1g8ZA1!9I<9Ed<(@is{(W8Au3EL+#W;oL9LLwI3ZnhY{&cztyb&# zI5_lJOh3yTa)2=2u*-ZJW6`0|(LwH9CbaR`!%fD7`09JSLgO$fN_X(HgXSJ$*~YQ- z<-ubOIhs|RHoScGZ-4)d5&p*OyR_=^U-*#M>DzBVrzjV9x^MUTg7m@a_jRt=*#GlS zFvj;|f6FHex8lrY!?;d<`t|K^|H8WMe){LzedH<7*->Hf44Db8dZX6r~Vx6MeAv#1KNHq!Hd--?u##lyXh^u86T)=-AJHqz~D z%Kd`qwTkq7-8xb(c8UqE?*8^Q#WF!k#X8dS){){1!l9m9;%hoR|GX8cQ6MjN|8m%h zluKr>k@QbJQCNL2DX${kexfiV5A8Zsnb7f7>TaPIl zZ(WFYsH7VjF;t2a&s?R`&8!a#n4BMp|J&(b zE*rTN>A|VAyoPi$Nf8I7g?F7vZ)JVNCc&hUwO6Kp-aLI63MQ&`r2pKyrZ5!Tu&dL* z9JeBcps(8g0PeMw;_DFN{9Hl4Q$Qg|vcQKLSu zOnx&nMcPBD$8xuVbhFGu*$G@k>qxhcl!K26fA!Ye%=WR*8w-mid1a%vUZoWG!9=pI zmv5HNtj0}d((3d#uc>vi^N!cG=|5fi>+gMEOhVXfP;dV6_gB^%-|+6Mj16C$pD^`d zIyF{LqibXK3;+!T!*PNZ^Ea;ceA2M$Yr|@&^)Du4u>>N1T8!sB8@=+zd3;sITRQ-( z>WC!ynztF|D~4dqQ+UQLt}{_ER+{SR;d`|ZOJ_VwHDv4l}T6Hhszt-gCHjyWDO zU_1x8GBv1#=*JO4J_m+lAiR)_NdqB9A-)=5)JODHh6Co15ce_Y2_gzfgS58bl%fG* zIGR>IDF9h0_YCp!cT*I^d{FO%=b0OIS{Y?XpHpCANI zWWvv_^6q9^B@@DaR?ZTD{oIiMvA5p$#Owq!8_8F^%?K*~PT2o5WSl%!_M;Urt|10! zW}Xqh5EcFkR$Ij8oCqQKD6TwV_=p6t{;tRJbk3CV5P^_N_;Ct+9A4;2*5u?kOd#eo zi7Cfg$S4>4anOaC{QS99OTj+%!{q*isn4U!6HM%IgMkU#bw)ruQqMWjEg@8Fu=v(p zJh_MgKE8d`OqxPMCykkyfOz%bM}!ePH^N3}K&h?9gmLO7?srbuVWLs=rKz3F;IybO z4?k^m_uLMC5xwxER+ zkz;d-#pz7Q$4hyCV4Q;vlbv@xfZ+PhIA!?)sFB^rvBG&8AS2M7OKQ*ChQj$-wQ=6r zWB#QHIcPmj?)zX9=CFp`3@j55ua$Dt5Fpm}1tPt{yNGb0pK0 z7`S_&FOS&200&RZhC5Qrq{CKtK zeb4)C2s}@qDitH7V{#mlj$j7@Ebzp419blu#fe4dFeawJTx??tcp`J|Cmh4RUYmbJ zw)=BK%Kdr7lOSM$8F3(wo6#Y@o!X?kpLq!iUHD{1%y5rGA#D!N7`UN)1QHs`CJFzU z=pYC28oNjaZN5;2ngvS?Nj~vLp|&BuBOiR*ofYJDxPuHDs|TIU#kJfo(^b##Sii=H z^L)zyCHT9Te95cpx{P+8;=}uz`G^39&1^9svxv(>W2HGJ^gV^aDXGpy`{7P2v(-#5;Mw=PWkv1?s zGUz&H-k(keg^boc^;xC1nfN8;nu6h9LY_E8e!{(xw%KqCUGy;&kpP)zgV@@Ef4-}l zSU^d;(0=i$`9yw2F+tg^%$fp7lM!@ZW)njZLI1T#(-9BD;M@ymtAtT(HUznX?BZTX~rVXhl zZ=s*~ub=cF(Av4lD)KFC1X|&NysXQ&BIRf9BV-xlZMYp5eqosFj0ZEq-T<&shJ}3! zRwTy^oR>t&r62(oHWa`R{Xkkxmx3kaIA&48*a@I4e}7iw8(~6ts2ZXd1KpLnxTc-r z^649;{VP+&>*y6PmX+ugo&d>mBf>+!3N-nF=#^JU&0lCZ;MYih!0`A2DZ7JEik$N8 zNH34?nzCOYg}AWgt|I*bTkb2Q1S3|3IL{3!IpOh%Dzy zTS59{BzqCM^a822fmcYsZ+Lu#lsI3r#8*c81BS8GMCKx2`FH^qRU?k!~KTF;+Dj{+T1yFB)6q zw@81$HMmYvh>B*=tn!o1#}rNW_4K!j5(aR;oc>liC0z!4$U5zBl_V&*loY%*GTly5 zM(mpgvqJkn5M=XW^O1Ql0<0t5yrg;|EKIpF(#^Mtl`Sx#V|ecoH12*2ZPwa87ppr}~m zll~=bGN}2nTodhpBIic%$+}m0@t%L_<1cvvoBW^UUGWm(Izfwd$S3(4y?wRQ4diee&puE|VT z<$YyE-7z_5U85=C$JB?3Yy3g8G>Xbo6_G}TQQ72F&rt%Sv}j7(olBmxBj z9kA6tPanF^BjsB|Y(|xLBWSd?il>kQ@eYhyEZWp3B50Vp2d;rKt^Q^+aDAVK!-R+8;Q?lL ztuIAk;P{?|aJRA|nF_nWN&&&T-5vGq6M zindBW!r5ml2@ks%_PaK*fT@mZ4NIIAyWt#m7noiWwHOp`Qu?_BscQ&?_kYyc1dmhO z0;Gf9Hc%bDO{Pns3kVoUTr2>rTgZ|C!9-{$A`HfQqXrMagb-jL&!7nqtcto#@wKr} z0~QEpc|d}Q9h`vquxAj}EZIp9JX8W2yjji*K+-pX5Ud-9;luI*7+`{I#OuepN0KX$ z=x_2cd{Ug;IW>t&Sl>wEf>>(9g{3HFsf&zP=Z17~jHS`VzC$qJ(hV_bDSkvCgcW2z z1|cCo7@*QK03|t>0ZYJvPNN`#Plw#H)=v*ZqPGmNZSWmRfW%WKEz)7j8a_cfIWRr7 zq5?r0Q6AGU)6q%>!|2?x1tuH9kJ+9iT6=UCM(Ek6RJXV| z3UlPSq{PMk42t6dOW9CBynd^c!R4xl&T4}`kOjsp&MgiE@oellZ(Gm0Xmr)PODp_L zaumJf$PGdcbu^kd5ROtvhQ-~2EB3h+UT|M9Y(HKAKJFw^7Yn&_Fr5yUwv`g|ypo2V zLf1~W})dP7=DU+At_Pi$g#d3 z098!F?qS&m|wiP&D~>O7L3OWtyPIr=;PK%Ga3>YF-`c)~e!{3GqwV&~gwsd?ag5gcTc?r;++h z5_Hmt5%WyR$x~98Q31$D&U%fY;C3W1tk2|2f42r8WdiUHd*yzr*VvXTMH?ZUvn7p{ zs~s+M%G5mg3_nr{F$s*!;t^vQOT7gm-SL1)CMhhTiwd7}#$wzFBal$x0r9ssTGVx% zUc|WLWSN{Yj-ERPhPb7K4!7Y>sf87rfA_@$<{K4w$C5i@BsDu?-%q6LBn-h3$@ z!80wKV7NYqpoR`0wNp>}VhzX67?zTMi?QTMB*Eh#g=tL};{IqVQBe&nU(pIb=4Y?^?1{dt+ z3Ur1Hu`V#l4jI1HXD$p#H6o5&Ztwm?$v?ymeXr5LTVBDEJN)}UR)G$co?#>!hS&6s zF%JTCy^Uollt4=AF+>u;$=}~*d4`sx<7S6^m4xAKe&QSujH>>uN1@TUnqHz z1>-T?jKS%C^MhOzragh|G`rXa`Ru{U5nzbaU)YVf1CBP*7#HlnS78pWNgq%7R~6>q z5(flYq-f%3E!c#mVZdNMJZ|rO3xwWbYZ?WZ8xZc@-kV5dStDQw7D)Hr-STb#$f(Ky zNc0!ZQ^Enc=K~>lFxNB=bgU7q73(pSNz4Nly%M5X0R_aMMlXEV%rHb2RaO`K4X{`M zgglHhkdy6suLW(8?kqpI=(qOcST%l!Sy{kK2=@B+tDynIF!9ZBN_pZiGzioFK0t}~ zM1}Lkr4t4!bRT57U@G#?N|F<*1g zexsG4V+553ySk3T3KyW!lw+6x2$!t(h*Yj_&VD{fgQAzVzsS~D1o8?17uZk{+we*Q zdt}~}00`XBFEHX)+KcoC#{`7X%HV0Xn7-HYsfcYitoc1uymd)_s3|J>46<#O*g^V> zy;S0ro`I2!A#T`_FA>Vkf!+&kpw{0cAlgtHAr~&Ny!>346|A!6Oo5fc5_jU<1fpRZ zKs4h|Yz@)HYD_jFqNuIrHO0Pod@LBi-PHa3fW;`|4r9D#KWU}AJA;%bERZeBmOgnPu6C*|1k4*f7M`bH|;R>kk-yQm!A>7G*nL zJ;WV{;u*a{En5wmT+z0f3W-{^X0fTG*a#`L-H>d!M@iBrF{Y5|_yk7kg)rQ)eJQ*e z*toXi-=hgJ;l2LRh9l!)HDM}V()t{=PXHlv;b}~0zFhLrYpOPRkpZKm@t8~evp{$y zyX%Ak799zt8sWA>nmUqUG`b6XUUeiOIG+>&PzzJcQiv~L6T&+*yP6A3%PI)a$8a_& zov|a?e0l<{dcH{Mgh4Gdf)B*N@F;#Sm zSo8@(HHoBSeY9eo#wbz4om?nQ!ere4KYMr6YH5}%_I-XnMUD+=WmV-X2n}=*9(f?t z;IZ9sEkw6L-0u(m{Ug@1&(6x7s;u2D<3Sd5=dhp zB$D&+fvQ~wC+UoFj{pckdua)i5`&P1UmT~ zuMt>YFwrJ#u^_Yo5uTjuW7$BY_O9s(9N)=Z+X?3Mg()BjUX>byae&V~Qx{;B)fEzS z(8$4JO#{$AETGVb&JG;3NfoJ~HoOJbQ*U3OZdM=}N`Yg}5Qbz6o&u$Je4Kk1S*(a9c9XKpp z)kuh)VgknT>e#(ogQDGZGCJcc+|6!ASBDfVOud{Q$FyXBCPEp+$!Nii?YJluWpS8p zXR`xE=QU}@H9jWlZU}Us9Y2uP7wp|pI!vk7m&_x$;#Q7`M8-)YU(Md?3Q#Clzdxps z(-M$(%vz@w0a*?r&D>%b2`g~~ggiYfH*?y0!PHB%9zjw|?+(^^rfuudqP0*-=tt@% zWAT@m{TxZY*1udR#?z!7Hj|<2>J8+~SSa4Kbt{En2+6H=>bj{HWX9wHiV+F5b%U{l zZtFa78kK9neYL9zZ+3n?A-?^MzE2?`gESD;LbL(1XdjA0+MEKq5cWmTPk%X|1*`TeFBD z>N*^b$@tu;Z1QNNK)5DuOEtaKHsV|%Lig07``9w8*-~qRlBWpwnX2W~F(Pi&hT6G8 z#!<{lof#wPYmChm_K?jmf0t8`*dV@_JDUkICU5Sv%yqE!&CA4^)SEN3X8QC{bNI(Q ztnD0K_!RLzQrE5M(9zha#2_2h&N@6ai)I>maF5uFy*EKd_XA=bug=8Jt&_#1UeJ&+ zZ#5dh*8dJdyR!>cJoXUJcbA$N}`en%Msm%MjtWUCCxy6*OiP!@@Y`5C*A z$3<=_%DrT8j6^uuEOZSWW%3{00R*T9ddlW{gvZI9KUCODC{yqyrI&ceEnHsCU*ix4 z^;v{YW4IMtv1PI(m&~Bp`pt=*o`T|k{ygoy7s6e;R2WyF=IYk8OkpQj=Pf=*ZN8XY$sUg68-48IwV;rJOH+Ly0|f{84x z)GhLx!hf4i$t$0Vzr_C_#aBUKF(cJygCa!uN9ooW-0X9_?lsF8E!{c ztZpXV5|GX?Gxo0Szefx38C!VLtM`IWL-gYXHRp=JvEf8gTd~{okXa2wy?VQ>xc1)l zewNH1GYf{AIH_qgZ-D$H(l6Vx@rCw$q)5}jmKoc6OAirI(~)rEFBA=@uZVWX*pF}n z-RWzGjXB=_Z)x*$9nCnZpaa#HNcy;PU*$8owKzXqzOXIuwfeb7?8v&1TAK2gP`1|M zwY*(!$prnGH%jH%D7YlpKEEv1!0oG_T;JSt=WL6b_Sr0SCmX@fOPPx){cAAWF|IK4>^Un-$mnx`xXN=YU^)|@f z6#}#8G)z;1+-p(n_>eg?A=BUOX|=`ah7)Z!ie09Be+HG!=OAsz#gg>@O2N5Vq6pZo z${QjrY>dcFPX=R`vAOeSk6NDPNu_}bn#V;LZ|*F42j_7(lXv$n{`YjYKcL6EUzWGC3&KS4c8#ii| z4K`D>(xoT$-%GC*7XlwMIsXpk&DVwAQ;WVR^vvNvZS(0(4-(K01EKQxgY6iC#eaMn zpPv%T?hlT8`_caAq1kdCLWDkTLp{v9;jDq zdN+DBn`zJs8ByaNz=GYJt9BJ)hfTx=DFR{muyHpJlI$5ozO7Zp7(xOc5U&GBqL2{! zdZVoCHM)Utmlze@73WZ?iDgoX(KPOfH^6$+gV3xlr1U|xG>{!8cUWiYf)S!fZuwvY z$?Gi0zGxmKJ8bphi$?o(V2K(rVA(VwvU^~{RDyj@`v5k~C{}A;P7c|z>Qn1;Qb;9) zne5`F<;s7gwEB5+)&N{UqrWy~L`y|?Q;x8K901Gr;8}&fj8YKV$H#RCNYL8mQ38>X zz3`npG`<_@8P^yajO;$8n8Ek%VAoS_25)DxBe{SKy3A{3n|beWMGgb_l;&Fj9?)Yd{i6FZ}K}q zMqK`gSYXafqk@b%Ye2@YV7(1EZRO)SrJ(VQidb0duZYe6$;(%-rKT;^YWNrB)&nRn zsbavYnQ~oQH^{3)&OIz;voUBrZ=E3~y}}R#D%a8>IlIp^hD#SBLyaNaPQ8?vlk#vu zvU3HZv6`pX6vA}|S*--3a|f~TbN{`@$* zCbz1MvJt?>r;P(R%En-)$WQ>JwG4JsWK@j`^zPaKj;1kCPw-u^ys&N?Q`_5{&0F`` ztNS~^(KNQfSD7?SgBb4d9l$6crsYqetCooedt{)&C>nWNd>*plv8$sO}hevzSCC znm8k{i3_T&^{oLBU%bQIfrGFw>%zm5C<4>@Dt0BEMwwSJc~Mv@vN$jyHkuQ=nw-6im5{OO-TlRg~1 zB!^Ov(Ev3#NcC4a(R`FJX_z$|f{)vReOLR)i+aB#$Kw$Xk~|5s{PS0W?bU>zD=R}b ze_OsV?&w$p48d0?)5D5J;R~bt;mSfqaXwWDRWMTV;X6#Bcrp(0*m(XfBS|-aa#GP~p)=QFT zLW^_dh2w>{h2n|WU(OG+D>0OU&ZG=n+hPw1M#1nLFPkqa4*m7dowHa@m)vOwX*eBT zs){mKPodcTyf*zSlUCCVa!VtZ8Bx6L)eiP~{FMsrE<^n`aRe;lvO&$go!k6qqzpr1 zsqp2}jr@A0ylNM-*zUge;M(r%Evw%Zj6iC!=hvd_kG6EaF71-6MLWm@kJ*%Bmc#K@ z52E?{o0ne+0V5YW(}~nO1D<6ogqF}vg?=m5{hD0og7;4daP7cH*}dqcR!`+T7~noL z2f1!8*f_c!$t`YRqU1&$ocHxCo^g0Eu&eK2da5bZx?vN0hLX?8a~8WXrc$x6={Kwa zD%e-P_Ve}Pfmx8#*!&os$9_5Hc!vbe7;YY62pmG#x#$OA;mVcV`@H3Ts3r&CTaZ8*%+dW@#^NXd5(X@VLRz%q<1J0`!MU z@Hl1z43JT;1u{;A>4NN{ecXt7rJ!YnTs7McS*pJC3?B&}JLJI4n%%=n2vI4Ho(+fz zIGgNr_ZxnyOP(@mD3L*J!e#dt!_3SSUdHKM{8GFo#QAZvFIIeE_S zVJvQ;j#3$5+AAqv7s9cowxbjb^^M&aCKfc<kPeU6Ao zQ#Su>6$OL9Oa%Xu65d9;eJYN=qCQs^C+mu9L!0 zEX(9MSI^UqTjZoU2cisv1Ql}Q4voe2)06xjMsv4f_LOT7;!dnpHHXgJLxg6IBnn2T zK0}@C1MYA^4SA_F3k(!ai9e777)>YQ%uaw!Ed8j@TEAfi=5F?vNpl_~1!t%+`odN; zqTDKkjHRpyLMw2is`!(`d7M)K@M#|EP-ABw4H%6yz~ni<=W=-HEKl<_FZ60j|HH5X z{O>-5dMC-c+e+H-GmUu(f`Y%jX9r?G0J`0=F_Q1=^8Q! zJR0W@JWBXD`=WIASeu7!{=oZr-)l3cy>T=CW$km46#Hl690D^eKtcZS%*}e{o~u|Kb;|#G8Pm6aQ06ph|MXIZs*}RpUn@;TOwg2 z!R(v8zt0NK(t_eZ6w=GzU(PSIZ4#YCj3~-YIoW1Z=KL-XH1$YkQQFzQrUfsd^i9zG z@N$(TKiyjBn|7I$T6^=C?Y|mS$FE~qndLtVf~F5I{@`6I-MJZZI-9R?eCf~mnF9Vu zZdS$V!}3oy$}eTt`+GeI0!w3INaX538*-{O%yt2Vr0d>l z85aXg)MdTN;bHH-g7gUYR=bsQ$9{aN6i0;`Die-j>+QC`jK3+m!G6QsZ6RhkOK#Y* zF9o6fDRLi#m24JHX;v83C?sj#Dg+Tdu(n8d2g}G=Q!UJ;auz#C(OZPS0C{Ao)U>N%m@) zL|e&seEaVpGcIl&cd$mqbkGQDiK(QOq`GeGAY#RaioI?yV@F{xtv7YHQpQPl_CBnT z+3C#1^**}^#(Seusp1)=D%HsfKuI{=4P_nxXAaH_7Btiw2-~WkB_y7oxqJBy4c(wM z!F^C;1*!uH-7s^`jNBG-heD$5{&CUDxd( zhyaHWf)ibNwv-|HHb6_0RuzC5qeAX2No_mv9*I<6l?~6xGK%AABcUp zVcuOSyztdhMiXVMQ`b`6tv9s`hN`-o5zIbPGz|M6J7x36_)@x)Vn2splC%H zP+Y@)&&|>mN(SB1n$XY3_`5qf?>LttZ~Bu!wI!U*yKct)C_LbZr2%RDICfLOPn6S^cO(J z``EU-5pZ`H_l*ly;%uuKDvgO=*$i&nT|epnV^SVb5Tgw(S` zq9GV(5PLi+H5w&n5QVVSlXe4yH*2HBB*7>lqi`*kiiYX#A7u#G@cC^h*!VsK+xhie z1%<#2p)9AB;s2>AX)$w6*rxbZHBOR7&gjsUO`$*v!L@QEIH&gz>Z4Hcf@v%Hwpd(^ zPd15Sa`ABk0BkWq@^snm_&_%%u-QCA>M@=HBqYp4%D_92^#q@_n=G(Z3)Y0K@Q6lW zyp`Hwkm1*p*(Hwr3Q&5X-QlZ@#0L#qB{(?U5#J7EXqkq^vDx5hX;OOvabx;wH$ix1 zOhcojDKwm-U=OVQ#dT{OOg3+&+Hr1&13?`E$Xn6^C~{ozz&tPW3aSvs{;trh(xSjt z8|*EcaRl^gs#0flD}^}-!jI;(w8543l5)#tOg&ygFCd8c;J_I-2)#zc@0tl5NMGJL zzd%I4FZsQ1JE?f+yO8vq?9L4cnw}L2G}0?VecJIj#|WY;8(G_YTvS?d_AGyt7f8{N zWbP8pj;_ORjwd5X=f!o0M20It$SXw0X@bhys}i3*mE1@Zj07N#aIPpxK^8d#myC?$ z2J&dkv?F83+%F=3X89beTuLn#HPqY+cBIrbi}^hG_J-UP$+lw8Ckohg*WT>@0pwpc zhzC|apFng6TWI`jLFC3*3L#x@Ek|2vwzjteOG8QNQ{w{aR}<^awvG!_;FqW#f*oX! zwY%QBT`+UuymW3jUSOU4YjS!0thNnlLS?Gfpsa;b)SAu4F-=Rh)x64$gIzVp+51AdnaX6&z92ht^!h9G9WJ3Eq!k~=BU8=n3&_4U zUt1Sf!x=gPj1RydO*K~$*T&X&vgv3@w%$FhnLviYb$;-#>hUBjtS%Iv$FqY7d)aeG z8#oW%1X~`~;V4sLr9?7ssThI)F`aW-^Tuv+n47Vab$s~m&zNKe+}=EF(YD}Lx)T&x z+OVKWRRlJMkS?=%TP?s)6u-s$&jzryEDq#cJyR109SyCP`)Y@%pS=RbZnj7^^CSva z3SSUjfH8-hJ2;qf&a~my)F)JC0lDN3Bxg${DBmuAv}f$Jl+)kfD({GKX9h`EHr3{V zqRJqpi%vMN(!GpQIhV>B=Q7*;MoF~Y#l8m+D05Y#y<8M8H0!JL>w2oU-<{|==l}ZV zcQJC0)l-N*vBK#b?bN(~Bdmw-BQ=%zMUjQ+h;*|j{U_V|yBXO{fC*sbII5*rSsFN#7wQER)6bXdjq__S?xs>s&23rCY!g z_y5{7i>OB3WyfT98=Gcrpcz+~Tt3lP$dnxrdo{ds4%|ZVro)Lrl%H;Y48J$W3VkWW zLIk-cjsmL)s3afD(BOrD3j1Q2ow~QEz~8Ro)n7ih7R6bgf*mngFHS97f&a$3x}k_% zz;|LE**h!cG~GhK#2`;Nk{0_yD2k+*m2i0HL(&iy<2vo7oayH^0+I;)7FD1B%;S1> z1uAdJlCIFlo*&}2{C?ZnXP4V<-p+F9(eZ;62U!phm^2%am$~#tO4uIx`?lK2eu3G= z-HnPk_7+Cqkf{h~m}gnEMGoJUiCns!-;U{<*DyDwE3A*$^z!zWGAbd;uMs=u(>e=9 zIAgx0!YLWW+bl+?*$Lj7-&0Pc>REF|uv#+#tb||FF7wHJ8Zt)VZLw-w2IuA1IRNEF z@oW6r_w!(MEc)AV#5Y?_l*|VD8i`Z)w!E{gp%3&4+2W8jQJtcQe45Smeve-l#*&f! z8rp2HXE5`-3=QX_Ubci2)#v>zHMBFppZVL!h$n`#-$yUAVYAyLSLA7CkI7=vj*lnZ z{@j{77)0xI{}%n6&%eESE4Pk6PlMW?y?@&-7kwD~<@{^)v&emj@ z%A|T$F`6YYl^wm1;kRpyap{qR`Ilv`G9XCowquO5BJ=P~*X}U!lKbx82kd%9B(|I} z^`a}f_ui{ZXEgk6YR#V<1PX?Nx8yXMDu`wgJ;GsjH78LFYCrGzAix8CVM5;aZ<8b2sDKJS5I$D|8p9Bod2s$|Fqlq%b~kfn34LZtIJQQm=#}-%e&tl}A5FsHeqSqL ze;bOmL3$9VE|MM7OEE0|Gd-8aMkrTqF4%f^ca(=|dzC;8WjU)=mY z%RBxIsMoqUbfLuh$g-ouMc2S~|3`tmY zdX2KHo@>R21}}+{C^qY{$%ZKEIFJ=-Wj#a;iX&F4udA*r_wA2oW9QE`na0nh}T=!a5h z<~e zZ#>*Xq-7e-*H^F-#8161q?zimj?&lE-RN~d82m>M8mtV6m0~8`Om7?-6AW2Bq_f+4 z%z_Ik+>>s)39EUYNbd`r+dLx&L7HKJvUI0PlWu3$`uQ;ND^4+EoD#}l)9gK!y{ z<-5VUE?w+XiZ_Us5RE){ra#_21Buog#9-F!s2}>%7~m^uJ+_Ay_d027fyNyfLsRsT z(UICcn`xMF2XPvASa&d)IQHy0l`U#SZ5GS<6x?uwoMAzgTECSd^ug1COro8^yRmhq zGwcDY!MjOss1&K2NAxay2IKfT`EM5;W@{)5AmFLxIj=4AsWgyn7n4wno|C^rF_6zW z`~=CzX?sIZ8YP(6k12(($_4-u$*$hKb2X4&ecF1afM`@I*ls*J-uw=1whI}&9|MHB zAdbpGA&_YaX<2l!X>BNiS>B{+XLMB{lQVMb@wY(_z-Y(LIAy4vmY7r8VVp;iJguc` z{mhr0b0BQFdqzEb8VcKkFSe&zG?$AP@{lc(K_suuDCMd#-8pOHzYl<#Ep7EoMGX<} zHpM}un6&B+@!=h0GhwF8k^{Nr0kO@mfJS-4x#&$!2OzoZZ$l*{>4wSO-E4JNM!D*x znw*t$jTcE0B>#sB?XXR9ltyODtzg$AZC`oHS^;|5Dsh==1Jo{s@>h__HnpAIN^yHn z=~_8&-|>y_;CUAKTyY^Ss%3DLZOz5o8ZChXn<{o7`I-!*BeH8iZM@(EYlJ@xKKrd4cWp9n|UQ*Qh5H}_AyqFKem0m{Po{hIeysok-y1*{0pnMBqMj} zMkIzDuT(05m*1(b-u>$zssz5*sK|S4M&kQ7jsCH&_B)N1^Y%N9{(ze0dyVFa`e>Z* z|2Q?scbd%M^l_7aZ25THBv~itDp`{MiR(!;ig|q4=np8=zcW&1R{k)L8~tP5_xBpb z=B7}8F#R7;F@2}e?8N!&KWg-k4L{#$)PqklqCRf)kF|E+X_N~l{`cXUzW-yp*Y_Hw zT{_z3-yhK*P_KTcQQl!=`FOCVPaje42^%KxpwZ`dzl0toJb%#W?-h(3Cr80pCi|YT zi`VDBR5tAWK`>^XuGGBg_G4K%*s@Y_u4KwNwCA_)U=F;elmqahOn55Xo5&)~9!WZX zbus~IeXRUk1+c2CAsByS?J9m$c+&Cyrlm|hM^h5SjUJ4faYJDA5B4k9#8qn+X2Px# zKsMKkjOH2KfXtSzAm z)6_gG7GU0at&r%z79C_lK7wTR*zTyAT6S8c!YQYeL`S>m=>w-}7%*i%74fz8XdA=* zl$CQvO}L~qvo$%8S5J6UYDa1%ij`AOjOX^pK5%H%Bv?|)V@IB)Xo0`XX-}my>bqc& zDRT^^YL5X2K}UB3_1iYsstNH@=A1?fy(|XRl0jy--D~fWHhMYdc@W=4a>`hMCI_dS z?5#Fyk`k^w8ftymGtA60dFLB-FZ@RS!@wC)YGsOdLWlF9?gT|3$ z{LxyC64~t!7?3BR1B~D>yxxH?4{9jJQ_$8A{bo`+WeVoG9#+g_zK30>uVDvrNE}DF zn;(08!**(i>QsmMjQG!3XVey~Ib&WwxPs0#5=plar;#3_C39^*0t52! zY@mJZ^iA}*UXD{}+dMX~+&YJ)sP~)WBb4faSqCIPN|*1im+$EH;wm@Cyk1)m^zaPh za(f+}xWU+~vz`U@)Rxl6k(PV;*#cI#tzRmeOmHzx6%;|R)dQbxC?mE1Xy=i~b#q>C zV#9X=pdNEsulxAN@ME#&mS0a@q{^rf|5>S&)bkNW_f|w95>&t&IN%D&ZW!@3)&A|z zXAuYN@J!gW;ik0qXNWYx+}9gS6LX^rr=T#qDRL&VdzUHExfu*Q9_~TBWg4I3csQ3a&MBX8OECp*Yi^Y|JWYX_Nq+9D1-Dq4lg1(b`jagy zC+m9P+fAqZycYw#_q~|2b$KZ{ujodS+O+ScKnpc!sIL#)SkXb6uU~HAi0z)5%R*7*ge#j6JKw9{Tq9tvCzgg|1OltP-BZ;|F=yi0v=IEtIc zfhdDCLsmI{uA4D8;dm!Gi zeE0EXuB~BV!G!O2`SM(3r8_s`Uu5iJO@pcxl`nuIi_ zShrO3!{yA$19Jt|R#G;aRjCPA3*z!@ewO;<#a736)E_hT+~byN&M|>^WG2 zSl1XeqJfyVsWz7Km67z)pm3#8_7QE0=)Z$Nbk^Y5>eo`nQdr^Z09Ym&kpW_SXTBJq zl5p%U;9K_ojcGI}+(C=~imtyy>8}5?qu>=dl36al22Sx#3=xh{;E@0It>!d1Y-RZ2ZBG4sw#EfEDkq9Q0_ zZHo{2JWCZL)WrcN+0?GgCYv%FEZ$;}0OrOCZNBJuF^D7>p6zKfs%)Pl_d^n;2g!Py zsh~7oKEv88G&b$T3zyqAZt)s;Hs2v`wgv=}5ur$lr@K=Mb|iws4zav_*8 z7C$_Od(7?<4IA79W^NOOpc)~tEr8m&Y2Z6UjOBz~VR_07^59~XGRa~%?$GI=*z%p1 zWi+o&=^ehqRyxt;HwiT?MajcpLzF(Zvi-WfvbMLV<6At)+-=LH{MJigOZU5{8C8cj z9UjN;i^&MBIkD_r;d{ubttU|IHH2pGUw^X{Q!IfJR|OfpsB%`TCnN9mQ_{$V#2(J*a~#7CoVULTSQ^> zV*2IE5VIA*@Q;&{M!vDH}$j1RDNe7`A9hZ3gUgUf?%X~ zC)`W(@glHW?9E^rhHtyOkcUi(AB`BK47<9FJcRijQRDE78`6L%FA zT@_0@^>Hr*Lc<*kfmIYCjl?+d9B00;dP#Hz<)#q6@NUU9q@{rdYg!LuPY=jHyz zyRI)R(UJ{!Vvd=?xI7(Lu7Lw7e9c0j&k)W_?^nH|*D7T^5y1B7D1j(<7b1V{ zUcF?%R!Iws-DoN;ZcrMYGkQa$=kN z(|D8czv6$4c(rU%x1s08OBFYzdabaaHkV#aD{}P8U_92gsnsik%maTFTK)^MrD3*i z`HC7^lf!r+<$Q1<3xJ!U(s=IPsjEX{w`^I#zQi;svb;@9@8ly!T<)jk)tlC{8 z3thK2X(JbwZgAS>9DN|@j4e>F+jq7g%Cq&TgzjLKk}Y;umorp%r9?TG*1YV(aS&px z=lymQ=F90I0Kkj0O2hIJ<|ft9tYwg@xh-AUvnVmf#k?ay@7^Ijw{k&j&$d-k=_!+= zXCuFquTd^}EC!ac_oZr>nVrirocE9vmW|+6$Q|yK1z3hU}blCFU>ia_pDkf8`JxEv%{C-dN?gb8n^l0IIVC6zk36PJf(~q#H8XL zRFzkCml7qrp=#N?S^$=UXc2^76t^ikJP%}5)DgZ(&=5=loU`ENNehDF)gN)N%uPXt zPR6yKEH2T4dD+lC2>0MugkX}$$CKy7H<0D-VO6)09al=?lV}mfE5r(dRchcX5l7UJ z&Q@&!)k3dUSb8lZCqn22P==d|U|Cxe4X-!&z~0FXFfantl;ZchoqdSasSMVteS_B- z7q&ax#KNM$6~c}!fLHSp>|2ph-u|u{DfkR(J^o1&shMkOC~6{N+OSzS*tu86+)%S_ zc?h?arM|rbSgX=Z?Lu0<#frhVSz0@=*fw1JZDnt`b#=dhM)R4QtDaELL1PfQfJTEc zl#YAkAxoQYbudYk8<6$b1+p;-rUS{Lc+jtNwCnNfh*pjyxztpl-6VH}Sx2q`8Rz&Q z(Cbv=#k=??f${E<$LAZSQe6JEZN8)WLa#6J)Bx}~ytDd(WHabPP+-7^x|4=eLE zYw;)K2z9YqjqD~z*mjGLJsI966bs9t>2hheG%ps-u3IJt$bZV+(!3mjp-#nqMh z0Y`WfI4;c_x}7q2T8N<^E)|`AP4j|bJ852C?9`-r@g6s3Z#wq0@o;nT6}L1mCS>D8 z(5=|woLy;N%msfm-AT)3-bo6hy17K0_-UtpnbLARTwdKrw&^DxZT}9Xu!EV4hB>6# zorz?An?w1_;R`2Yp#x~SYW~XaLUnUyerbp$$D~r;g2ZY6nK6vLdxF^y>x977*lp!> zcm>#(3Sc*jTIaes;LxqJ&PT#mLct1OR&jnOkdsaS2`V@$s=hcH~8~O$pSmfjgWbe=SUqrPFg+#xN^NVopO5dBdOt4-|j}3 zm7>F+zmrfxAS-bpY5M2%78-NiP~M%v+n$W^r5o5s3+9W>;>ylp*)EyZ1#&d`m&TUv z`HbfhS&}R!7rK8#^0VtBaNHz|D>Fn&uM$RdboN*o#F4LG_t{J1yNB#|PFAIlYTqdHAf9 z<>!ZhR2g9EWlaNw!?(Y@X`y;GzH@G)G{9ePYd8jd_%rzV`(lS#oDKagRk{RpYy)kW zymM!gsEnZ_2zx4fd&-7d9=S~LGeBO9vr_Z4vZ-29gRKt zPeLC~QG37OERSB*(riR^8TRvh`tX5d>e?HNKRYY`q!7=Db+)) zk!Iom3aR{l*;bK=V1R(J3t+sMukjaV}n|0*EV7OOA z%te`82rw$v04o=Qd@QPKuJj`p24iOiyW~O;EcRZ$D;I*`rQ&m5z>yZn4 zPI&VAgREc(GNc#ak_&-EN_7=pav=z#eS^B>LJ-L(8^Ehx989ES-F2dp3qcBuSV(fA z8-!nJO)GNb!t7V`#_k2Hl)Q+i+6aaqWVsgZRWJk-U%NwC!O+{ZuyyCVf*}Z1;PO6~ zUy(y0*mI?@J&&fJ+?obCm=)aS*0Z_73vj#6e?` zomjg!aWECYaOW0b#X*?adsLOViG$5*M6a7TX!l}8?!>{QdPa_cT;gEEAGE!RgIM2> zM^$sg!4BCNonkqML^5@Cl6IIY4VvaWs$)<`8oYxf4UTkwgWaS--K7g{Ay*n~$s4xO z9ycm1kH>r#jS~i)Bf~D-wNfh#?x=5okS!EB1YpawfJZ4}h*2B28IPdZflC?;|GEcS z-IWGG7PT*75MUe}lt>mln9ai98M2Ne3o3L%#V%RU`6Qq>)mK@tlPy&!SY$4h69};^ zS>zH1gG`!okV_Z@>kTaRE@2R95wqO5U6!LYKz%0F?E+@`BT^?0?J6S+-!`+tpk~m5 z2Kg!sf)T$%I50xX&@o!u?QDfXWvFrv+ z1OeuNk4b3+L6DwnGMq~koKf*{UAD>9fhQ$6dt zs1|1325@1Yb^Vx{SEUsO6`|YTW)cPySHWQ1(u@@bL3V*ISrCBK9Xgy-RB!oWjV%uT zj*&7*im6x8tjlfznZf@1-AN)p5pAC>z`f{wvI zCJB0|ntXso^*#y)??_S5CicvR|2aueI%e~p*wXH#e?$`04oOftyMKlxXo^FyUmdnE zg0B)7PW4Ynf*Kn`dbt0ON`hwiQxbIN{FDTLN`n7XNib!>WaxIQl3g?B|9TJm_@x^g zgkdT609P|C1PCA4_!TC-lEu10z&@|1eOxSI(nFdBZAa@+CkBCmP&UWHxu1C+PCZ(G zmQ8JCF2nE_)v~#!K}Pln;%4pkcln~WQxE@eGu+{fMMvN?m{EtNkHZVXT;ApTDxZN# zcHPB;-_H;&Q6;IcQ38}yBM7b0$_6W+X$ovTGZGWrur5e2@0^^P6C=U}fHG+t=XlUu z+!4bw$I;UcUMV9<^Mo% zi)TAOgKb--0GU#g(L_D|HUo$^ubrb;)U;O^8Y3<_Plzf(z98$rVzM9`pI|G>Owb^2 zFq6#5rG}>IIO}u^0BkvRhIuKWNE^V|=5fG*@$3n8GSbyqS?qHl0{D_@C&)w#)LHD$ zT-{(93xh~LA5W%uY3SPk`k7V@GL}rGdija9x$1+o|J?Gn`(7FhAQ4Asidp0a8P^Ub z@j&C&;sg%_`8aGl$OI1rS$q0{Y`qEmnR-esx~=YCsR6J#F9 zq*4naOsg}n^3K#Vy2+{p#`R-q%oq)ixCKqQ*?50c^bIo!++nvQM_eKye zvUHFj3CyS#f|~2xEJze&i0-@&76K&G1c_MB$r@sv;iVOTRiPJ>T7*<29Bj3B2xtj7 znjNEIt8%0l0QutA4YL!otK>A?6-m8z)E~l+8o`a8YPUFtYK7=SbyNB9xtp_d+1Dp3 z!;*LqDqK#fuwEWuA16b+Vbe*~cyul15SC@MS5E#lGZO*<24!*(z~xT=$y8q=iV z_QjA?bc3(e1|EY*@=Q+itU%@KCKS%xdV_#2`;4F;3C)^9uOCxW`2nd(A86#T`W&zGo|T`pHghP;%~J>}ugNEs(O z{~n39*8;XIKB~V~<~;rjUK;o}Ztz?p5e;7PU+-9hUnL2|pUL8x>B)+^rq%j2qZ_`N0qg(&O(!B<7jn zM(Iz-GIio$kOjMq?P|jhk~(IURro^No7kQUD0S2qr%3(0@E?&`HOg6rOi6eTt@Dw%olMiiIF;uRm?OT>uwX)q&V z7u;l#e?2&AL_VgOlu_GWUW&tM`kSw724K-+5 zR?Bua<2Q%(tRa;Bo!P7`%jrAtXPkTN0HRYV z*XwS;My20F3QO;zy@zdFI>@c14NM0){aKO|m=1OZMOYnIRFE$vQ)_8AFx~WszwsX+ zC#t6@3pyCs2Bw1$9d=6!OgBG}9v!RR6__4u-XFVQ#Lj!z2Bru3&|y}p!1QU$9eW_h zqN0?Y-Z89=55yC!J5op6mDK#inoLU>!OmLU)?owFm6B_7N4k;eAbhO1?SbqXv(_D+ z69Z{fQkc%mpvH+k3ZB7l~uNla-H()R- z1{M*T&~y+%dzFG{NMmMnkBr3tkx8^RvWO$GMr)LALeo>R3`2)Qo5=J4r5h21Z{=?C3WvhY4{;>TnH#q;E#1kUJ#ar`I)}QUD%-XX0i@L_9d^dS(Eiiwn`@`T`BIB)A+`u1F-TnHNA*QAM!IX zY_ly#WU}C!W73jNNP6dBwM)r2vjcXit7_!Rkq}{XuXoP=;yhbz{?EnCR;G}2h?EOjyX;4*f?W&T%mp-$pk7I^vwO*(D#rus@18A1-o7LZ)Wa zIm1GZIYhyfVWKX7!bHG7h&VSrv~$@_-6wQHA4;JoBhE)|{W{|OC9!n6_)`(*Nh+rr ztxVzz9@`B2`jZjoN8U2F*lT-Ap@BC|Ym98o(ELJub~SHo{{L^pDMK6q>klK&-y|&J zG83f4MjfoRe*DP}s`#Fu%uxICAVrA3i8zlm%V=S-F45raU`n|1XCuzFa(v~y*5^2_ z6!?jr;yOi3rM}_v+a7VE=o#{gRiI7_w5j4_ub^oVYMRuJu>r$&E@Y}rlxP>`JuLPk zfS{o%#L;b8Y7R6D$@6UZE#1uvteAXlcVmGpw*xW(GC^qdwFFYE^>+7Ztq9m2YHcSf zh3jw)AW0WNWH9Q^IFPL;Lsi_>t(1$QAmoA27-@;K17E>~-~y&U$h$7}>IDnAk=JqL zV$`P0&&4+w?W_9+OzcxvDG1?oAf82zYX_l@97uZEhDEzQ&zY9@eC#qo#s&j|e`rBL zJ`3^Sh2sWW&J0Y3Zc7SAG>TEkUJ>&RVoPI-K!zO$;q$fAA;EbNc~i0He3joT?;JdU zQe2T*zNEaa+#sdhYn;PME(~+os6a?M(~`YG0YE0umOOhwY^cUV*-LK z6P7n!s_Y<#7f&}C?*@dC+#z8Cnl1=!{&e=~*Lb%Jvb|ZJ2D$a@0U;{>3cz015I|}A zgWLv5sv7SV^Zio%b){(c8 z^iM4t2FZI~s!`x>mj4nuxD|u2d@bHfzrKhGViY|#XINskg@aKmm(UBov+q=?0d+@xT1oL zM*N~SyHzBZ4&M@>Jwbfwq7v{Z*R6#yoM6AM9uL$8bqC>KJM7>+jM}Ls zWmM@@#=sphB74;60uE$HC3dvdZ>3=82K!+)dop4+hZLwKc7oo{s~)UspMhkQZ%^Zv zMx~xaLX#T=W8R*Uw~GGQY99mu&h*5LE(#&J4S+d~@_g!vXFZVf_^q}GK+&m;Zs|Nh z7}uH}NRLnl*(`1Va(SQbKJQxw2e#XOw&uVFIiT@2wL`F>AUpID2Q>71*ocooHshdM zXq5PEJ5Ro8$>G~EfL&4%&T5DLrHJH)zKnW9A3w>2qRorZj450+Wrfq?0}v=%&it&= zs31ZVb`!275nup~Kytt1SlWI%bx}zNg#JOjgc%R11d$M;dIXFVHj4-J-(42i{Zexb zEnU;qkxL+yOJ}8-kzI!1AKZK`!*brj0c4-;h8e+JSDERyz<1`j+iB zXe+a7Gt36(;8XA1UKYTSnU**TwvaAhzSuX&uG&dxru9=QvDBp=64ar zMUCCk3rtpu*~T@dHAi-M9S|H}n*ic?&A9Gi6AP<#4|BA@d(>yjSG=Q}>f#3O`H{_O z|3g_DT=w>TH{xV%z;ikR<6{?3k2BlsLS!;b5{usa6CTfp2@dm>@xL;{;GW66mY3cto6v5sqz`st#d6HK=h`KWb=2#vZt^A0N4I|I@J z7=1m`uw9&>f6>)egAc%I!tl}ywOD7s2-0ci<|KI3<@xA&;C4vFrDm6HZ(B-C;3jf@ zm>u1LX48p$ycF;ml8RzQSV_}!^SN4I|9n~6@RO$ z>;GrvtVf%Fee-|+8%@`{Jj>86Gyz#bb#IV(ZRB(SS9}!Sm-mDs0)G$tmvI;wh`Maf zQ~YMW4nf|FmDe^35_<$7@Bwv2QQeiu%rr&*iRn-9iZ@V-Z%RCVRk-I}Z&u-5=I-pF zYbxa7%h`@_Ss>_OTsg@hp)H86S5SCgM(;*A@(}8;ltf?6j1)m93X%df0i%FE>_`B& z_;@*$(Q(5WkIW)Euf20P0;e6j!svbX@A$-9mfkH4$oVn_S_sNt}ADIL}G8<;n zZ1>i{=nEU>fw|(9li$mAeqhB5MZ8N?bHNru)Lh6r`qU|NL5R;+`@Bmkg+bdjdnIhIuTM}(=uOuE!sZ_6-Z$M}` zt9N9$AY2(6fqkr{vsr2F!V7Fm^)i071d#6&)+WIFbuFatBblE)#u933xfNqd3?Ej$ zsF@r^ULlL}+u13E{rQw`yFxejGvRu--i8}1tJvvnh7|8P8Wz;#F;A|y5VSV z6}K~gzGh&K1Cf2!O=wleX>{xz9Sb-)#pnp-^P3BK);lvI7`bD2clQK@2ixu?{?Q_V z2!mO)w~4dAxSWZEdc_J5@=nujqr-_HD$fqw!FZT0wqlyiMyYs;s%;jx1GvZD1Nz&b z{UZ4Vx}P8WQ!ahs^L0F%a}J(CFg7u)N5deqS5@UtfOEa6ks4`)Ow`!+|xGr3{_y!=jwbrSD%@eV2dv#eQ!@{w>=WLGy52 z7b_U2pK659GDM;Z+PYXp{sf<2Fx;mCT+Z1l7VjNK?kL4+S`M?MjYRp9$5{O<>sSd< zF0TmbHV?m-$HYf;OTlu$#3$0>>_A;e>CF$$W*F49c5smrSCRd4T*_*~~ zWTt4=XY^>vGLIgL=m(8^^W#4FiZ%KD1S#*JfZB~VCjeKo==xXn$Iw@h{C*R=s}vxXMy|F&7Oc)ZNV zuw4tYk9K*W4rrrlZGB#NW|Y^etjCfV_;s7Jc4;Hcr*%2`4KDw@Pn{k%%$?dfQr~E~ z9W89|avAw3cpjEv?iEHn?F?d52#Ag-(lu9q9+l%h!2!o57L@5`{ptGI=K*w+ zRVS{a5h^p3&fs%}SU?(~RDwfmD$)1=p#D|oK=3$QXO-m2Om;8LB1NZ+TXX0-SnSxe zG|qsPTK{PEdVaOuXA!o{%6Y-o*Lq8##vnbLeJd5jMRW(*Vd99~EsgwYeS$A8$h3sb z>z+Jis)u?PE`5V_M^JO!^1)2JUyyw;u+<&r^d3^`fNkrPf-RFus(R~l52M^E+usHg zY>4AotKnrwjgn2G8CtVu!~Y?5!xQ#8Zz9;1z|+vB2ag9 zepDfI3OG`9bDBayB8_{ML_s!KGX>$^39m4XPIBQOg5$MBlbJeaT8d)K%B6tX{;b7; z?PN46J=&CF+irS}+Pew-v{Mno>d`1}`Zwn|58#>Kab2cssapEk7?^I-IIyio|p890LRK3rr;(;I;A;NlAAB-`vr0!;;i z%s~(2qFw?`iljRP5jnL-ahwJR5@o$ZXr4=xb~TvD3_EpOOV>deQ@(-_xt0QNscDNz zaSE}4bnZ&h;l|hj4R3E(3$fTGf&F1vd^?3^r6yKkPB2ksX1lrAZ2ihM6(T@2w*xa| z2lyO(dfB?m#yICdcVlza6gep~LxUPe&LCGh#mP1@fOFH%{2Qb)1B!6WLS~p8A5oh` z+MXilPAGr7$f`yHZ`-go^6^b6IWiXEK7Mlio5*I9Tp!hgB}AZ_+H*MTwwyN>FD|4F zz<1Vi2Mmqr&{@El839b#iZg(^Zio(!yW}204v7IdwGa!Og_ai7Nlkn^T>h{NURklN zj^sXFJER$oZts(D9BC%og~mo$3be``2#2&@O>cw?(-xAGTXPVCLEEv@Uq~%?ojPG# zORB|%!IUtIB`Y4fb+xQb)m6Ev%-vuo+d~r>eL{4&i?XTRn5em(zJd%}731}T@{n7T zX}39F@=z-3Tz90~MgQq#mZziL-j7IBj??{{paXq_(EkpCdfVl(?V-rrj$fnjPU z*7?Bl_(L(8%^LDtlkbCgJi}VU28O%CHw)pKPA+hYA>u&zV{KuA(t#jK23pcwYk3X7 z5STM3x4E6_rkGQcv@_kocl&s4FKx_pPzXmFy9CuHWqg+xiwYz7>_u{uMr3^B`+mg4 z*TiPl=dj;>UH)WoC*`}wNs_dOD?mU?8J1_Y$)1S^*n`&!T{21G0B5N%51i@O`c0&o zYA=NsWjfiJAd~xH-81nwrC;B;d2ZH~BNS(EfskQDl3zVov#D&?t_<2Z{p2hEIM^HM zVRH`?lPv43o-MJ^ma%QyR$dlaD?>~uC11Y7*)5ep_fnGz5ZSpQ-20KgZShLQv&6^S zFRaac7#{SymSuhr^(z?5wy5F9S#PR@@&O5p)Qte z%QLccW7AqcLsaa8m@@xjMJ$D(O{iSSbXvPBm4>Y5hT?yf@nv37X7|IE+h~I>`1c)c z;Vj!rguiVb7xMHwqgKA#N-X4RUgJl9ITE|T{ z1McT7r@2Uzl+a2tCtuX3YGrB3L=y91s`X?Nb>nWMoWdCm9b_nq@n_xY&q_% z5=gmf`}4sr0X-LDc13i;&QdZ7GVbkGjYfu zY%S?4+s%{T8!HE4hYP=hA#JJu!sx*QY*UDMV4JKQ%;Ha>oPuk7*zkd@YYE7D6Se_NtGn51Aa0fB<5K);Ry9iW0_Uga}$M~bR zoRyl9AEFS%A9l$FKI}prYQb;+^hNy97rdappR;+AgMCGHhJyXL2TV+xXYqFI>j4u1 z$^mBo_5ak|QFdB%Svk8E{JY_x?v=y0ynlo5u?gjVj*u_yenG8KZ1md+P9fXB{(OZF z5BTuc${pS~5@N;iD+V`r!BKv@Z*D4eER8#%W6{5F&#i#hpnZ9ZJgfWW?Toe^eH$}{ zGjwyMeXqjaI1D{+6UHv*7{9KoGr2*#bE{yJXCQYP=Zgn@D}Hmf@yTY0D?Yd3 z#V5B6Z`mi$rG_EsS7on@aejBx`S^t!cHK{FZZ^G$@hvp=;^Fp3H|u;|nsC>!k@DIx z)V8A!{$O=;8xpik1UfUaSUv3Ov9i{@EU#zel;?%zyv6?n@e4Qfc6_c%9`N?aA;On0 z2J0;XQ&H=Q(!N~-$8T@GIJfK;cB_BSy?oft->|><&K>fyn%6ka7g~mwxSmECzPaUsaHDA&tY_fd`p<2jlHe*e7ZSjy)6n?5Pj6*ntlDN< zb?|+XJv4PRwgZu!PbrWb6bB;d&_dSdePCY>ET8u&<-$*0dc4_b3y|fUwl7Ge2<%eg zjssy3Tz2$8z1}km@=3?r()zqpSD~+T)l+JH-h)v`sR_9#8gfk=*t`e@me2b@zBs&NGPAZY}%-;dAxKyp1F2%Thfyn4BM1{?LySxMVbYMHwV@N}zl^UP-f#kV6ko9>FHVUX<ko2#5q6wCofc@E-m4}$&9xCEr}rRGvDF->_xKkeD)bg=o!6%jpU74PB&YYvU_l|r z1*x}uA5yEHdRkIE@TK9jEt!F!~Gx&ANWyJH219DKk#*0~za? zcI@%i%Ro}Y$LYO7?%mvLoaT{N8uf=%xFF~}L~L&30RuIU)BCJRk5q(+1kzzBTBqAH zeK}^-I=;Lc_qezRnGlv6q;*0&qmMUO2n_al>=$ZwX9XeX**tBH)BD$u75ndC5fJ2P zTH17zs6@U4K@7QDdCAQp24~1l-+~%}McUjtH>dZG%*Sz6KThufxKA`eJYP=lUqO!3 z`&Y10Z%#vcaJG+SAPAdNBRG&974<@`-%7#P)p#HK!EBDJPD?lYL5n>5oD|a0nN^QN z7~y47r6>a3BW5?J_e!yH)D&1w?*myaaDq)-TxG_aL>Y0d!#RVIOd2Lw+UQD=l_Fgr znXg*&wR-@p)BAwp6{k?J-S)FJr`&87Zg`v8A=th`FJ_qQ^nR6ESo0dl6=gj3k%6RL zt=@5ZAJ~MUfQ{38kdrhHCt7rBlUcRX5F}`@r`4vH%IZ0~sZ#QfBfB zu>tUMo!;+C-JITou?aTco6~!fZEKVT^wX6Y z-NSeR44=rYXu7*X)+ylW`macU{V}S_z?a4u>$SBm^{GSUV2w1Dyx7;@UP^qyAdpm& zNEEH`pAWAo5(oS<=7|ZFBs1Wh9F&sttfVA@Wy|GO^1GaGV&`bJ%kteRuvJ{9iYuCBkm;3(5)|Ic=M7v|MXXlZh%&asQa8H|J!yPiS~ zW78H=xsKZIf(?Xv@wHST3S7tC3|E=1ey$ahZ}5WEmh&KOCnh?E3p*dINZB|7oIMp+ zSimJBAII2lehhIIPG7nBVzu#2qxR%QT5?R6B*wQK8l@|sNa{Mw0f*xE4#JKxMxHy6 zu?WANLd2h{nW?NzID*XO<9y;kY#y0l@(_0UVPK_PnL%-giM_%JWtDB1QrCC);&RGj z*fJRUm3p6xVhj)0fx-q;ObQl{1vBCG0D>V$eF-Msx!X6XRi=~{YM zLJq#j8F4>2z~m4?^2JD&0$kY+nc@CZ`YvwLw~)(d&a4M}y=TGb%_% zFXHfa2gWd^EilhFOev-)!v>ir*s4cWXu2TYwo6qsu;|IaGHC|EL}C;xwS4J?KS4&H zSD{6-13K6_;`0Fw3eVdM3$Sc(dS9)2Z3igkemc{1Wi~}|m5OB_NLtD%JFltr)Ibr2_p?QT$D#cJ$iX5b*=AKRvD zdO?m}{}qNa<)3l4P#yh*{i*jAvH5X-iv*3K3$Ki#Yb_7KzoYTT)%rYYwLe$4=Ro9| zZBy1m+phKzT?KM?cJm(lBp0r|WpD-i!7=vSanQ7L@0z(>AUY*`<)$4%r24@Z#l@_H z?jv7E_uPfK4HX6HhSmKrD<${wpL~HXC>zyHb(-oaB8tOK3bL@pXk6zbGd9)iYKKj+ z`~j4q6@`Zs%ZD3qn08ncs)uz6uj!Rn9eO67W_dfvy-6omb@%h77)IINaw?r6Ql%e@ zFfV9?uu-QB@hgf*L}58A zVMl|6)Q3sDO)Iykb1W{?@_&Bw-yxi**xoxSc~|!JxA}r-9}1sBxqJcs*Ej#i|MKSl zdGqi7<=-%Q|3+cWb)o-9(%rbfzWKMmYOJ^uT5DT4U#IQA{{7`Y{)O+y|C&a7tOmYR zL}E?r1FZbZ-{1VZ|1F*PU;g#Yzo$0+?LWNv%YS?GpZ@Zu5k71*Y4Aa#Md*B|(f5CS zx={qT6ps%^`r+e~jpjWv@oNtneR}%&d;FS)??Iy5L zlF}YD`uW*LF;ySF)9CxB8-@SUWjtKd=Qm2Ii~I9oqfg^07RpVJFnqhD@4q~|q(qZ> zBKAR}&(B_170&VD?4L(d7rgAL57G4f|Ml$j=MMf(qfcWLd7R4g(LO!Dr121s+x+nC z-n0EDbUdVc@83VUqVR}Z=T?7!Q1Acs*+wy#7z_9G1Jr+(?0c~w_3Oh6>ix6C)N+=H z>T#n_uPFvVC^=2Rx6^<6JaJ&oTk7FPefag+jl!(H|6Zfd-X#pSnMfY4>HUFR=U3mynNtmZTt@=Rrg*6qmmc_sc*+w^MIMu23f1 zYVCV0#hGP|{R+~&xpaR8o8lm&kEv}>I1qG#Oe}wp(T5Ib2P9QN>!!%Qb)!gDuYqjd z-~-tq61-2nTd6S}*YpLM81v~q$kszqlceuUZ6?<{NMpT9Y%MO5>6}iPL8L58Ev`lR zEq#oUZ)i_z%iH1=@YR-F;Xm{yG$<;G)zAv*o#JaM&088lMtxZk2Bx+MYUczNM6`Fa z7odXU8i=$GIXaT-QWBqS98Db9$5M|E+LUqpEBs?iuO%9w!qTco=97DBG;Exen+Uw! z0MTq+l&@ho5wvv#*~EUqsBl`50}Hb06p1(*GFv1)_0)8?@gBhl(`ne8_({4BqRR%A zZwr>9GH{}05^N_|;T)zrn5VJAQ;>8}R%LQ>_dB!qEL>WaCU*}jW^(%fkXC3GJZ+{j z41v46Wl-B{~&Db8W_Ko)fwWE|m z2f~X_nffK>)t^#e+NzuF4!_=*tg>{FTVz@UG5$qwYMt>31*34SamtzWcxh3}SUmHc zWDpnROz-&4ZYlMs;j&Xy3TzY#*ANujvAHUCU#6uS1orRl z-AXx$qwv%^Z^%7UG)<7E{)&YiG?2`EPz-GB$|-X*;5W?T1_#9^KR<{^n~b-kSd8GA z-Q;zFt?wutXHbkhp=N=1b72%4HC~&G(Wf3UxkX5$9pb*Orptf}x|VM1>uebC)VqUm z3fpngTGvu)Tw-1$r>kk?Bz7?$XL?9YyXU};i++pH6G%bW)T}hfxU}3LJ3nExuceHt zNUPDD*V2$E^h{RK?Jo*fJrr#{V~wg;#0HYyxfzeELq!~`rDH9@sRlNMTF$NJO$d>w%51vO&gT#@)I1;2u>h2SZ0EK)Tdu=6D;EzIj!W_r zvSRhiClQ3}__YUDuJ^p1^_KmFEZhP5HA~kWp#h0tb!j>`?c$VLB8IXSz#2r0A%PP( z8AL(C&_m<-h*%lqf$Bbn)+=GrfsUsA!Dp>r#q_n zMwz0lt==6|ORLcN!J6!mDUhz`t+w z2Xu?yYZRaQ8Q+Dm`=>RE?ZOu_ygz94>FEnR!%=^y(f{)gHFl4ukA=fzva&uJ=^q=v zzSAh?kdN-Dz<mW$Z^qLLN9yTGs$D4cZKLm>JyG2AD6}Y>9yIziL6KLA(E7O1 zr|Ic9dFGq*V5Co<{Q@;P$v$lK!?P!<d2=XW1pUu?rab@NfF-X?v}=F@av_7hRmw6PBweR@Ud%~D%GJoz8q zJ&8~}M!6AYqJBV5o<)7iW@<&+ng@;EAJSoVi`q}j@c#lcvhQ9$@w(?H=de%XPqc;S z=Od@0o8D&4YIzk=;`ek6eWaPvCiNulz}}Ua5{&+zfZ zG?gl-QnXOh61xZuMg0|vT}xtV)1nP*Qiy?h?UKr*QW8cem467`)j)XdYN>EH_uJNE z}3!Q-0?K=rx~hXCT!AbL~z`w^Bk{PdlaEs|;t|0}-A#z2$71eW})i zwE=LBu}fQ73yt%@gaj%_IaqS)DfKBOABZ!E|2r*nrykbe}Yxl@fVP zc?e>OTXkB+$x{-9UT3=#8`ktJ_C$9mWGpo_HjZtm>^cMZY(!fvowL~yBPMaPYRqXh zL@zqemVijWNx}|N%){0b71vIHv2M?pIO4T`Amx5<M5`Yv)%y<_GcNpXl}MlSp3enaq9Velaj98UL8TZ=_cZV@mfiR(NM*LIQwq&=*tgzT zxuY88q?!K4(g6~+NhxQf0*G3hLxCCt45rVdNrx=9VviL|5#-F9dfsSrh~DQ2-F?lm~-bI}m}QbfO?9 z#qTPh{?zafD{vV$-h@4~^^OacQF?z(LS+kHpJTLd+O&2CMe*&sUx`*A_I z#7{(0I0QCrp)IE#H~wjf>&)5rvOL$eNU#fEhL8uNhCUA5OB<0PblWwC4u!up*Y;|`sJc2p2 ztrHDS*5yix5*fe_8;3ioTFqbnfu)hD>>bNl0iY@gh*>0j{~3aQ1^HOw%LaK@N-)6^ z5~>rVTT|`or*rTooPFNl88QXgC%JV8HuYcAm4tKI1IKt*Zehr@Qkt7mB9>pzc>^$6 zle!OznhL zpY%yTY_xIP+!<|N{&XPB1N#a_8Sh$n$+rUhy{!GGl;N0r654kf{bO(V#~PtR&3N!V z)Chfe*1#YxHFn{l-uefEHoh}bTDH%nq5G$aNHk;MM zkv?r;kPtqb)#FB=wFS^SWwUxnq@UmY-WV&#jn>$#hX6neO(PZLwAAq%;AeCs_+P2OXyJ$3YuL_LpE zjDThT{HJ16FL?9<%!5YXJ&REi29_iAA=&%oSqm_y54yj{jXsU0a?zOn<3@jbmgS-S zW@KUPda$NX^QJ{WmRb8jn@`(7PE3k7<;wtx!Lu)&qv` zkK;eT(`XN-d%fvVqdyR#|Gh@@DIh058tK#1mpvo}{)09@Jbg&H5~d1&(B|{U$&)AF z5z3yH^jH+LsXt!OXW1QjW;ej(pE>)Fj2l?}$H(c}o5TyiET-RS^y%pf1rP%I_UV^;O zy=DIRH=OE+!c*HVqPpQ(_2N7Vj0575jpnzcZuZS#+86UwU-(e6MSjokM zuoxGZpj7NIh%iRX_6;)ir09M3%eHk&d5n&TS1G~Ta?GQE+4Tbm%qc5ABV8|L2VqGx zq@D-uslg!3oWH#IS700qE$;~gbV9AbIQ_E?2a}3*>dEHL^4Lp245b74?3JF{j^kv2 z)}IzW&r2me71z4~Q=g5im-9Yo&~I)eS-5y=icC+P3dW*aJV9j4x&yHG^9t#&> zN_;89)zq3o3)3QeU^w-N1tV_t7Q{|kYU6DRsHw5vvDQ^4qhgSE6BbDekT0`rx8FjYbMvUBdDWsaW?P2AVBQpIa`w4rA3;8_8!|};Vau8Z$ffKDQ~z9=>$PB;$2S-oZ*y+>$F*?s*$l+N0AFQ|H$Z zVZ?(f_oc!lq}%eCAGYAk9zKVcrU@l~O(E?$Kaa zJ|m!&aQ{=xw@*=Q=r4+lB5)wL3b=1x* zxpN>N>vrb+!mu1zW-+TaNfCod_9w9@h~v{#Y*0>FO$5@n03aonn#n;+P7W7HAupfd zK7-5ynRgJYx{3C`g3))+%E>AAu0feg?^Y-y#J=Di5DMJE*SOGmAJrOId3$HYbMBf& zDcTc&_h&8uim-GSkPLQ>JO_Srf#&qrfE_&|2vn}6Q9lmg6RHmq4Ln6awkb=WgHzQ` zDQ9>H1jw(hAoaN2AT%=s9tbT|d%rDlD(R=^Fu6K3IT76`28aOTo$lF8FrEr?5K3y` zB!Rdk@}5vn8hOhko>_85-hUR{8#%KpFvhC^b%(z7Y^YMD`mSDn7){q;#S%9W6xI=$ zG0Ls?i8n##Cr==SepR??@fN1`6(BFDt@c`|{QOEG7~ET~BmL5n*yg)KKD%-qmh0f# zJLzx^d9dTET^qNQN9-?{MUvAy98NL88W7Q7Y6;5)pH`&&46_ ziNyP1{YC0*JzqmgOyt+}=ElwOXz#8i$laWR(hrfgFWv9x;iqmFHy77!0QWRoSeJx7 za1w(|6uv?EVtc3*gmSILsg#r;)`3wf0l>dfy<3bML_J*3=Z`D_HyFbZTs;t@#0Btz z#Plp*;4*IwxbJ-`oV_7 zHEg7>OJI7lDK;vY`%8EB83~Jf>L%(Sys~cxGLth%ICfu3eTY>{uAkwj1~QMMN=0+{ zu-8)K>ZbM2F0hu@F^|rG5UBY9HDPgD7ylNwHhh@Gs_+;7bHLkDA32N$aWgndvrwhk z*iHDF^?b^;$EKAg=H}YNa~0yo4|~_9A;7xv?V+=fL(_Ue21j#&u?S zo2Qa8ZEq}Sze6{vMWxNSRj{M}8y^V;@^o@PZzKIa&5b?BUx8%qMmXo=uihp?EsOcy zKkSpI^J{{^CG*65NebFJUoT4eO~Bb+y|Z?G*5x+qq%JkaLgaH38 z;1?(TxAEG$9y#?ljKJ{cmrKF?m}MNN@LKE<(doEEzdLU`DqB60liYf*X~?irO}85%dgX6I>nGP zq+a7|vJ*1=v07IKbQH^joLnLND?J27#|%yaj{R_pd8_qIuhcr5P(?a0sZF==%LfgX zr+NOJ$EysR?E%{mhkfl3nh~k9!Y;0yOI#ys=Oj^=`gacp$T?fayo=<8ZWCxv>z`fIo~A#ah1Q-& zOm9EzjFKORXDrE9U*#P?Wzq5wI#*uwvKFr)5!|K_|H6}zVVu(K522xgnW@`Z!3n1k zT#kpbt{;|Qa(EyZR&eKlq@Bh*MYRP(;C#95_~i!E`b^WkIbFVvyB}TD3qD(rY&d@p z6Xop)6B}L(WsqB=@OS50hdYI93|GSA7vTY?F-e8D)sT4D5iZoHfs4G2Q}u0A%TfZl zb=?^~qtfE#?3DL0f?x$Ib78LOU&A`Mzy#W;&2sSJ%A-6U`B#?R8wtp-Ho9O@+;M%$ z8E%_@C2f~I9O0h!i7aH=?a2cG7J{5t;ti>mhd815k}IE6R6dAVE0pozY`3iR$s@5C z@~lk>l=qAKwUolnBw8)k@Ep!t+Ti(p)}vmob#%>pd9O*Hm#ItNd>+SjNc}*}r=$5X zG-bYU(gTM0Z_n$_GG41ar?nK!o9SfawD&J>oyfVX=AgPP&gcWz1V(TE-5{I&yms}L zKDsMl*2ERlxaY7+Hhs5FGp0fr&(dATmFU-8h6Z0(W;gSHdHK)fe)+ZBFIasH(6E{b zmcMkTzJew%S`r?dA8&1%jhvQ?MeXRuLgHTX_HPf-_Z7uO)0UEn$7}CxSBnc(}F}B;kLP8s2>PUYC_ZgJCEe1KAf=#T9(4puEy4Ryk zTaTV$sm>{7$$Px+uBDU-2y&2He-=Rm)xfySH$BTqfevDN&T;_x^V_E$T<97xDB`{3 zF$1$Y%_V`~8dS<$wjRw;SODUBKbt4NQ)>>!=rJwLi&_J~sn7#%INBBgX?AH(BJ5Ww z989u&Nysjkrdptpjy2xnH(x=hLlzP4O3~wl(^@Lrt(KbLv_uGMr3kZSTHG%vU{%Jd+`8ZOZQlx$@IiT-cf>S2V!qyW# zxVqO$O}(;9ZGS!I89n%1{=mlR6_9;O9JQnW9T?@pmP#Q#5WcL902QBytHZoRi24J| z=2u&!(=W8^!Elm`vyUkbdkz)bW zVPz$gBp_&@hM0uFB6>Hgc_vIIJbG!Sc zTw-hLyVlFnR!i98?G@f}cMUp|uCh|(lW-xS6{mJ*#$4e`;ratI-;+A9G={g7dd~O^ zZnZ>=43EY0hlD{SRx3g#7}f2LCL`*DzzDU}c!|8cbnVKq?XtTX8x&ZhU&7{ z&B7F1Jyh34Fd*p(x>GMY47sX?-q&>Jt!Hzgg>))e~ZtL6?8 z=_2NPI6KG8KG6Oi2!44=OH?=MtL8GDdFoisS#E0n_4A0b8q0Zd8?!@cgOsrgLTP`A z2e*dTr0H$_m#bxwqcZucf|ox}bG;1?#%s)9NHAqQomQ>@`D>-=3W88zP(a@ar7vJq&4{3#7003$I*i;p zrMf6p*Zt^Fu-V1jZqQ9y82{0JbfbGT|@Ibu%|lewx3x(Zr)=AOhbx2RhX+?Ws^_ zaP54V%N=P>ju7tziM|gflwfkuHPL&!{-6MIKP+9C0NU^im6)6!J!7+eW~fT8n^d2R z5Gf%~Z{b`t=Gnc_P$miQLBt9+2--a_;$!4v-` z(|kwRCi-xA3@lPd=t6RW%oXqeID?LH=WAxUiV)&vwZKaF;Kx~8 zGjw3$+tLD=bA{M}R$!I{p))%}8{{4&bJMqF%xsJa4I&yFRP-cpV=_tK=4%Lu3` zNgj}4)yj;zemf*CAoDG%x; zBq;;PaC0SoXmkaF^WzLgYT6q)!OE*0Y>bUelxccqqLz6Bz;vLkmRO|2i>;47c5 zhKGGjWi#m6l^Fv`>S@uB3k>04G$sQJ5tJgQvAm8Lk$cQSI3Z0Lt_1Tr)SWB9fXs9A zLU}cO4-%O}N&ptLw#PzdIVUGfJ%5zKQLgX<60<~(_kHVH85?#d3T*AWhR)mw$#|W> zyD5c&gosa&QA0H=M)wr~oJrRgB5t6J+XJ$ZH3h;^D9;B{kA^%EcD3s!)3N zX9mpiAA@x?MAOThqi9td9py^v;w0i>G&qK6EM$|?Bn?2MQx9L%!XUP#jHn**wB-ZI z7bXZlB+T%IG{H1>$uEnfFz-XN29R_nx}`U#S1tF~FM zcYI(ahG~4cyiEs?odHN#zL-HmZ|07WwA~bXx0`C@-x*9YZlx$AcEI|*iX(;#6E*u?j_J1RFI?ODwxg9U%PVX%<8}o4Wa`Is%()DFYjh z6T~@IOILLS0`Ke6LT2@B{=Cl~u(tXvZ9Q1U3R>gl*&SZ$ml~^Gqjo=tf&ii8Di&qH(2WrNgbT3%7ka9|`0i~G>fOy@Bn*&E^N)aDZ z#(`C>C@QjYK>_AwoB+sL8SJTwCty;-{cChDcX&W8oVT#Bpav(|NsnRudO3m)+ z^57uiB|0aImz#GkOzkg+>Y68~16*OiOibKn5Zq{*AM1cDJ|I)Z{UkdhTWVon;r^{R z5NYk(1WzsTw%fry>YZcbmQoKS&z)}|dH0;TJiVf`%Kd9fT{8$rf>uu3bmG&JGko_r zJIti9(Yos`o0YOam4Ylt)|Vg;UT7e@cHMKcZB;62-_6D|e~+3ZgkMU)qb-xy4mRf@ zVY7GCZ9rT*&e=ICIS^a61JB8h;hk!8fd;@|Nf+%Wyxy0!Utkhq%LbBbV(W)FGU7PI zq|P9`duC&Rp|HEkEXx@kKoWQ>ULDK3CB+hcbhmnj%E0wXMQY;$#J^X7*YmDrA z|0$CX$krR8JN1I4`gLHqIdt2SerOwP zohJ_7$SlcyBMWWlhyv)l8sXZP2k1Z%{cLqhMZag+g%vbou7`*Lt zUq}Cp<;c)`aj&`Va@rviIEroOh_HroH8iAfj`ik7o194Q=SXk7Id&HLaY1rBTM5S& z!k008SK-wT9@}mEo=%~Adx0+0&{in!z+;7OII=WZYG{%!rJqh)50?lonwGVN7(G_k z+4u+4;BVpNlhSwjn~vw`g?i07q3_hjc|g*&UctK%4@Zk)*{I6=l4KZ)gi#I^N~x0k_zY5O(FcAHOv>S*6`*j#;FF>_nhYOuAf%2-#xq3RrbOh5+hJ9jccgXyer&NC&g2SQp)WYLBxA_NFMO9WZxlUD-aogTpk#jUpu1Pl` z&S}(dpSGcSIYfMaSqn~O(1iIJMcTj96~=!)5Fm$Gcic?(_iP*Te_gXW{-(bvz~%u{ zU?d%Rb53>*pC_l|CD&8nS_W!+>szB$Fp?(vnuWj0$Lk&QLg?GlF^aQAR>$9YRkmFJ z_{~}PL#$(qhr|%)vW3i-u62ap&{B>zb|w$|=|7|bv1p!Ci!8`r=%dskrDuMi3nmR8ry|fS}>7I zD;I4k$d#+oG|mSA4Zw^o=XHDmR0Eq7y%GO)b_kNhJIBE|JAiPSSS`tQb_muzgHvjp z9fB0&vXF#Y5OPOskI72R-S1(UW6=%_0x0)Y?7;)}GLQ{nIHmHrrB<=wZ@t5hPA<%yA_%43w)7AK^|+07WxTM7V@}#LQr~JU zsnH~|-7-g@OZ_{7m_k5l%;RpWl$xz~SueIbv_B&jCo^MX>W{%j*c8qMCkRjWxPK4{ z7(q-3#<_`nhB1_p?wNkjg=V;-4|X{ppMwZg?~hWdfy{lO)2R`(qrxcWcHryy zK`1p&3j>SvdY`*U>o)z$Lbx<+txsn%m70rID>b?YxXm@iXlbo%nyD5 zT3EL(&gb&ysT7B>-D9RZ8M_T_nztVPd01e>jYQkvGFt{|m&|B)`~b9MX9HdO<1&@*XX!tgfX-n%z_0j^^7?S|nVNjm*01oJ-=~T=I!c%JK zl~d+cqfstC2kIBxJM|u=(yD#~8TIpiu6olJ4M)S8mNHR$nM7hzR;`tux{Y_e8S<;_X?#8V z89Su(fi3``g-zhu2d+CDZoJHrW zr^6vyTq$b`Zr@H?(LwxV{AMR)NzJy%Eql38Y$Yt7QNYTnd7@X0=|+d7z=uD(24|W` zF7#~sVKPZo^Mtl`E3hPT^t7UEg3D2Ad=`;nnf2^=3h4M{iI;s>_z0zt@JoIlCu~<5@*>+{S(;Sq&xfMLu|EX%E*Al6c}X{%UOJdSAm6;8THc?P`Z8lV$aEn&&1l ztCb?zCiBZo{SEFK@O4h|avIa2m}iaMhzzf%MJ(ad%M`3<4;f}o);?tG*+cyu@8ttI z{jG`VSO($T3q{h+7n-;$dabv{Kn|*4Or_eW@V28bcZ39TmXvLDp5vT`V5;0R1e`QZs_7!>c-pGn2eWg3b(23s zWVdT;3{}`dUQg+}WK5|8u|F$4`{^oHxcF|9Ib-xP2zg#=76+0WaIUDeGoSbJ()Azx z417h!a>!2gF6)~IT1eYs@Z(P8t6~yOtF@P-wT%(8pJo^Iu)7wHc`+UHXAhG|hWATj z?;?W;GMjlFdOfij&r+xmxS!{Gkq$IcC4wHP7+fMb<|Nh+#8z7e*fBy}$dnlqL`b}) z7B&WeAmucurJr-gpSGP>&QDWZa`~vd?$t9ttL{IrWY=sT zBNVVg=1;XSDkTGCM9v&hA!1OxUbc2PAR!drvnZd@tC?zY6tdju+$yZhIN`fg}pE?s7)>w%*)ZUrWZaE#b18 zxndMfH`$JJJ(uE`x#F>^7pVamPGIzdgKOZnw-tAQ^;4H$p<*0`Cg=H2vzx}Po zVPQ+LytTw-1{rlk5$rZ$5aVrr3n8#Ww;sQ$#eD%6BiJezOu4aHH^bT*N$enO04)1K z{fpL6iAU~i$U*f`xU3s@+Y}=_kRmf@ORj36P@M}ozE;%(o3_}Ungy+|d{`Q|Vb<|1 zP4<&bP`4&N{epHAnd>Gihj&ci!thE>7DhG4sM(SsMI3bQ=HEiDe@PoxsnMYE*>44h zu4U)GIyDe?k3T`0WYd-y_EbtooxszQj0d5*#mOL288H!eQCsNg)w)D9?>X$$Px&(H zCsJUz#+NwdIO}_0-AFXBu5cPiGEb289Z|+?M9@0)jz$Yi9PG3uENbhq9JOndq6nLo zh*;b9Lm3ATH_$+-R1~}NtCEQl^t37}TXGlFakh}FAA<;-!Pc9B;8dp&)C7Q0kR6P|b%bMd8~`on zqTN#&>~zQ4l*tvLB0|)*L*)E>%oKe%I3_+Uu8AB6`-I$>4H z(4ZbjN6=2gD{S0Flw#D1;;4t7)$~V`vJD*q_ZzO{Pl&4Ir7!7mo8}c&+n+W;=I~*z zV!y8F*h(ii`7>Nn4~K_hm(xW&Bn|(Fs`8OlKO?chddMx832?2t;_SAgsdoumbi(;ERIYd8E@C?r>EOs6k>}*wSYXe`Sg@}NkRLcxVJ5KxRo6YZ6yuX zv!wXfpRez_#384hSoZzkH4E|NIE|URf8NuA613|^vCl=LB<%+{ONO=(kn32CQ}A5$u=2Yr(qD}=PH^cqg->N(^N}lPbxohcp~lE-X??b8 zl=y07$`P|#o6>9aw6Xu5xJ1D3+t|F2%Bda#6YIEz8J;a2iH3Q8AwMq`!@C*YKksQd z^Kf%Xyz`!xhgmagcCORefN!Y4GmQM!`HY{(1R#Zl146nWU-E^2955Xo>B~nFoHJtp z)NS!UovyKRX}BYpxL!ux(aeA`gB><^PO6SO^rb>VxjS-T>s(40q$JwygWO|Bm|NIn z?vZq3>*Y6B5$cE-t0SszHNk!RHIl!PAo@DJBiVy7$mX~+4*B5bb71*#Hk1M)wqDxX zAXMD8M)gACnUmE59MGP_6TP5QIHfvJlxXKX2-mvKVM~xV;C9opG*JZ+%*Ggla6&`@ z1JQc*B+^*!a?(wnSwWVE{mWm!LURdaOvJ>u4y2?AL2`tSMXS_>ZFm6)zDc2Y7IQdX zBXJJoMi(fQuvDQ9E&xEyJIyga6I=j7l3bSiMi-bA__K`f_Y%=P!HY`a6!m%ZrL4(Gj{;j zO;jNX0>c%%BYQ;EFuHZ%il7v!@(?^hnigA^YUSHfG(ihke-MNCd+R zrIq_VVHNc$)dZI9es6|HrAx8}_Qf-4uM%3Lq3gvP(~yAiD@Gsf%^Q&&g|1xh!0j8(Tz;Z_*5?S(3y0 zpq9NirgH;&}5|8Nt3=cRH2rF`1Uytrn!t2S{EWPr%$b8g`(V*vOhytJD>yY zLZ-}(2&pZhg#(+25Hr;mQ;tkcE4&b=-LwU77Q#%w^{)P-@kmm)eHbMk2=(f2qRrO= z!WnB3{|1VH@q4T-Al;=2ex_0=w#V_wYCt0i4Z(3LW}j zC#3OeXzN%M9+q<|NJ*jxqr0!UgVi16OO76RpV=jsn((>Myg9bNA|l^F3NIN2)G0Mw z(S(=i(?_`GlrZQtL}$AWyLGIAU{tN0a~obVSdZ4P!eqlslzBjIc*!@g2`_nu6khUe zOElQOiMry5A{rgkFOrKm%$}l4j^-z#e7!d!y+g0#tZ(W_ zg3%)<=qT}jZ6oERga)igejj)m9tetb<3)}(V&X*@Y({oBoAdA@$I0mC(hi;0TFO-> zToutH1>**dwD6ABEmWR^(O2cnG1ZJ3Vtc;fKKK*c zak#LDC%xQ~^P^o(6DS+xZibfs<>V92+99Fk8FqrW%$KJFao;yDCOWVwF{hVsNlMJE z^kPZ0P(P0sQtn14%ETmlxyw8+I3hz29Fd%X?v9j=ld@10*oXDbAB5~nyp*8hhYdLZ zfQ=s@%)hx?*ux_HUpZ4Wzvkw{r;jfr*$+nc zlzY|p!-+aecYR6aY_3+}I&!{Z)3IR4S)Aqxs`vvw1r;QJ+&knD~NawF!|tYe6L6af~^g;NVoF)#w0A z%%^&VT?$ba)_AT@Bbm~9bQF)zivlTA<}x9IajCnj#QA3Zo-lQjd=!Mqay))=ldA-2 zI1U#F`sI8oX0$>v;J>E+^uSenAPU2J5RT&u;g&S=9+(h{dQEhY#%4;nTcm*{74lc8 z-U#hMsN|OVE8Z0j1N#!~I@dZ~1pmmt!MkD8dAN*VM3g`R$l+}~0Ql3wEh zsR%vIsWrNo1F;Q8D>NJHxm4;Y@A;fmgu%XbRkk?EAUu**=i$fF7&mS5))?!^R6CDk zlr)ll5uH0lIOlFPv$l>m&3e*bbDK5xx=!u@0r|$$7ALygMzpUIQKf0Pn=Z+NK&EzrI(<;QGO%Q;14|CSsb_4BdvQDgNd0tyBVn zkJ@9wrbodDlj&vjdh-Uu)*UOi>NEn>k)kR_L7u!wT@VcKUfXC!3b#~DGC?71&E%>O zu`Ne`)qIy6vQoV7h|#fmhz zr&8{>SS;;=uL^ZKR6?5A2C{&yG+28;C9hR#aQl{8I(tUPC$Wo%g6*bkaKyfyaOy=I zziDz6R`w1g;%Y-Fx93ob+CUqn+LTWJN*z*0NjH1>0XXaZ^6x+Ww<0P3QhxD&7`Z@1 zbc0k=UhhhdX-bm-_d&S1A7ZquopJ6l0T0drcCFdmNSBP`qV}PDO))a5_M5iD%w&m+ zEBkZ<1@c1|Qdt?~pM%%=1`pr)n8dO;0+JLi2hr!4UvGF%eI^MKP%0$p= z-h7gB&U~aCEtyU?PncIn_@49WNBJmmep^6nYHO`bTZ`y4Z9OVH-05pqCOB56z0fezT3bKw!$9EprK4l(|_>yhv0UD3{8cGc_4M{b=)ruV)h)XEX=ORA?%Au>aSpjpe_qDW!1KFVH z1KD00XmjvfDm?lYBAMQ6OIr`S++qDxPYTiI{0SoVeP{0KE%l1}c@leUuN)S^l1irL z=q=&+Twf4`8-(-Y8^~RmEj9fbAIxcKVxrXJ_Kz}X8_7Qm0}IZXDkt@>J4;BdqqJBR zEtO<2%OeQ3X3Mav4Sx!TEnGZfj&g>Aux7Nzuc*itzkmW54!&Z07KO({docL=XHO=q zb^>q7Z5oHRpVJo%*fbstZrD1*RAUh03n^pc9d^4gZVrPAX4aRDa&&eCIhV&Cfr%RD z%m6Htjh0<)&a4IbmX8*+QYDPg0MP8PH-=+W`p4@tELhmIWaourzAhu8dNyvHVh{sf zWX0!fAN7Pqc}j7g=yQfP+_*UwmO5j#f}xWY%v+_;*}0e(FeJGw;X$a{YKU16FT0Q; zM~2rsHkwLZn2Egg5Q9pM+i*p4l^D+B#F2q