From dbb76069178d54ce38e3cab1a6bb537754b32268 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Wed, 24 May 2023 00:57:16 -0400 Subject: [PATCH] solve ordering bug, add predictions with increasing % of hypotheses. --- src/jit_bayes | Bin 262736 -> 277368 bytes src/jit_bayes.nim | 24 ++++++++++++++++++++---- 2 files changed, 20 insertions(+), 4 deletions(-) diff --git a/src/jit_bayes b/src/jit_bayes index c88ab426a9861df4cfd101f31ad6f6c5176b1496..2b1564ecda21735729b4b5f1ebc1427f10f4bf59 100755 GIT binary patch delta 92363 zcmZ@h2Ut``x7@R?CAwMq0@)Au6IGE~29jHUxXc-WxWs zizSw*3AVV#5>4ze@XpNKT~_`)zfWf7%;|Hc-nn;+XPbZiXr5(fmFr=~|3!$zY*L*{ zi~KfJ%Q6?`tVQ<%QzFj-FBwuZxl%%CC06rR)K^TaF5zTmhSZdjCXhA|_T ztf=BrEq+AOpv3rLBZiQ}RnGqqKVg(yCMi`-yrS4pfh9r8!De?&;PRNvD@sh@e3TUEW_lAi6K?qT)&$PtPWT@) zpG_*T=K zGl3s6fxDZ)3ryhhB8S(WU!xG@tO?|KgI5%r5P0vkFrTVk>{8w3UW&pjI;~(llody( zo~?R@qn3rvpRO?btIRWF`d&X5dq_!On*R0T`oCpmS%0gYz9ujcf4w+mC?l#aSz)Gj zZeeD|>aiR(?fY_gg>qSlOmRSyiE|tWf@U>h}tLs8D`gq5Q18 zoWd=7SPtOjpDUEFR4AXTP(EIvyuU(uM}_hRV>v~*bhQy6%1bMhbrs5K70SsK$`dM- zM^-2gF_h!vHtk~o$mQ4y<@OcIQ5DMJ70RJgNt}naTep*77OhkLc7i40rF+4w%*GN? z-)CVl9W&87L9xb1!`C9QS# zKF3^EpEGp8ILVsCc-g9&TtrjTqt2sY%`cMc@s4Dnml|v@l3cG4czl7}@(NKTND`^$ z?Hab|CF+|Iy9*_6=Im}qrx)q}e8sFd&4KA0vgkfSilU0^qCb#tmkVT&cVF#qxSB{ZauNB%$5ESKBwLXYH4m-HM(G8SLOLlT?zMuUe-Y_ctF1-ZYpz;B zb5U8Ti0rB5ZBfLa8Bw{>x)=%Ny+23(sO1FP3rTKmXYyMgD+nniO?;i9`D@b8*WTZU zqo+;6hQeU!b`E7{#O6jz7u5$W=XF(jEpEcT4{~NO@I+`(<*%9^0mum3_W2iQUJDe`Z)7pW0gL$T@AMzJsi^PDlVtZ$ zd%8Lc?3AD1qKY)KF1V}amNQ5b4F1gqE8DIn42}tdBToViTm*s8@h#b%?4}ASr)(f7 zw=Dv-Q*{GnM%1C`^ghU}pDX@P!+1IAQg2!lTDIq4P@6z?|bGqHYWD5lD&0jod8+ z(uI}C{pm3v*FM?Mw=0p~{MVe{Z^w+NPmb|$OA592SpEXleteEaLlhhSc17!KJpaIE zz^G zF7@nS{44A>*7Rft$x`JhsM#o8OK6o|PYvIWk`?vps%n&19zDuc{)Cm8M@iNCu8O}W z$-#De5(~CwCni-4w(T;+B-nHo6@qOZ$3b(I(Nm^SX(VWY5Il)<}ZFClE7p^6RfjiL^z z7kaTifZ7BL1V2***1A{~BC5;}lQ&`REnXgyxr?c9UbIwPXcoZm@sFG+41X7};&e+<)|M$0{??r7d~97k8|IX}n{lb-XkYK5NjdlI8!J?B9Z_8c4X zYjaE0RG|-Z!K8i61#F}?ug3Pf2x`8MY>Nnyu906Oyj8yCsI@sN35Zlf*&Z1KYhUC?LBHB$J@Jn7BfB9eBtIBM|$==0m*ydx4-_{dwzi~O4emnDJ`w?>VHxs%Y-EN4y4yq1x0 zYa6-LQVXFmRxmFu@6(DLs7~ac$)Z-M5iwOoFzNq*m=mbPZnVfCy3r%m4x2+q&jaxXdo={cZYz(ooP0TICx~<0M;wIS_=maX9aBvfe zXd3`0Z}6q_R)N4;e6t`s+ExuyH<8P2>nnY47#HU~%JEKa?#|{yWv{0qrIi= z?G5FEz*galCAKYqck4*Z16wkpqm6R= zRih~_gfOPfqIHag<;cH+%c0A1})*2wPa+BH!QzGmc<0Byw`GV z8G|c%T!%L?8pzHgRXR1TPe)WT)8}r$U@PAgtQ%Gdi{=>EY*V1)Jyjgf)C4l(1gj2$9QOJ^Xj9 z=2GR|kC+Nn*$k+&X}N|ap^tH_Vb<=sM6|JX@cBI7544T7RF(1?Zf)pluF0HOwS85Y zWlHL_^5k2?UDrnunHg)Ux6Mt1Xn1uF@`WX?)*xSQ6s zXr-)ytXP%vBJ#E}cG%Zfl26_I71fH$sLLhEh92JtT2*yn6AQPnmE6)<-EFl>1E->> zd0ZKcrn4e`|5!oxcOOu7?g}A`x=P>#W(P=<9vZJ+2bq$1c##&t#zwLH_{zc+>5Bxt z#|kpFhrRY*xdh{~Y?9FP#7eTehcjGRPHyxFhmwoLB5pjaI!xxqxhu}B0Gc%ooN2^k zNe$K)$-_7=n-$qc&leX9DRZ-lYwzK(<`9|PGZ^OXB?o)fh0|xq>z*B8ASL0we5yB~ zf=ZusnvCvc-P_(!jyYXc#?GUJ+CK}1|12~3HZ7XlR-|umM!5I3z_=%4yliY-(%lg? zCzp|uUM{Yy4G2H56XX}4+4BSDm|q0e^krP-We13^x3|r`Q#>3FF@*a9;r3E;p|>L( zT1uYxj)O=0NwYqUU~C~t>0<|#my+du;^5zN+*ybBk>P!t!&^dj_6-D!bEKrN8#LTW zA_r@{mSS}MPaD-;BaAH(lKK)7*{>T^CS-X(WO|0Y?>8O}?;*qcBhy7>XaB}f34Pf= z7_OftE(1EkjMH3hfMzg0i_2Yliu4|c!*mvzIMAc%+HEL84h-xK?DSH^$G_YE zL!nhGg+eccLWK*-y@B0e)It(GC{VkwfU%02fgQ={>Nf(>Z6Qe>6zUkxF~m|l9eXJ{ z@lSzpJ(FA=WDf^25zmb-yoUEbZk^=*`F9KRkERFHvtkT?T27J%yW6ZhjN{=M)_Uxe zJF;sRd}=g<{@D;5to6YK*o9s%u7^ zsmWPplT_%jEV^hZXi^LtgSk79fN}V*%}X|8RbR0BWr3`7IrpM+P%i3(e6;)U!VVvv zuzB&Jn%a=hFl(KD_GRTr!}_Zp-(REMJ(*|H?;SzC&Dy2^&RnsGxk8MO1=Sf_opMg5 z5KjNt2@Z7UG*G9c9OsJT=o^*w;*!Zmq##TvT%%k&KFp%Cztm;UKE;KdU=s0YurspO zn+cI@;4Nq<$ggAwkwsB#m5)X#k8 z@b@xOd1!#L*FNKf{y>aI4Cn4LKJcdv)!3{v40G6Ht+Abrh38C=YQgS508}j#%Ckbwus(kbUI zh4vsg;z4QmSLcXPE~FEKKDy@WHe8?J#v zOGxl=dsw}Mv>WaO$xFzH;acdsgk%g4hMT(>VU3pMgrA8;q?V`>HQF42SQdRhQR5ad_me$P&3c|vxw{BFhUJi7ZJY^ zevr3_^cYbe%y#kz6gi8HYF`(qPe(YwqI_;s)AGuAQQ2{%27(ungpuB0CUA}~GBWr% zi_0n*X$9-E$cK^c%Aa-^Tf12~-us0dZ`de}%}Ftg@O_uOQ`o)`cM7&-+bBEbGGBn>!cl3$WM z;EQhYXgl~#M;t~6z)l@$Guj>I>qydQZ}_s+_*lltFzD%&zBI{sPi=j1y!oAmPhvk~vt>Yymkq#vS%=;Y-n%hQU{-e3QXhc#qY<;S3Tn)=%lN zMYh+YMmbuXKsz?p3Vbj-wkr(Z%vl{Y3^6+8y7`>d*l`*dHJ@aR^M^Z|IF5fgj=8{5 zj<GM-J#e;Qa^v^#e8*=FIlbX zk?^TnSUrpMo*ECKv&h-0At22npRw-AOkz823Jje|7EcRlT4$y#GBr8ZOg;M$a}bVX zi9(c(p_ZNRXGEBzbJ^rkJVI1|oIw=H!Ej~Z@8f!>G&3WKKV2h8jjC zlZ+XIp=vTdUi5;JX~ceJE!aPew3rzHY17E~nO@Lm8d)_n6uhR9n+VKY&b7HX-N^0y zR1!R^4v?uNepX23PuXY{fBNsG3MxnPnM$rB(%(}^<RHnP(#Dg z9Iqvl=4hbm6tZYeEt_Xcxax-(7q$SzhQ2tNT$|Gr(kB!1x!8G@@KMG=ux5b}JeeCY zd#(n)P2x=Mk#Z)>1d|h!$o;v&kV?pJ5nifJlZ`GoG=W6U^Mi~DWYoMcrG7CBN0-&$ zueiOqjK-{n`n1FoDpQwUP@Q%72aG`Xj91Q<;|>3YG2B+@lA z08~2e>*j(v^L5K4uE4cS4Ok=*eWssc+5(f&ulHD^s_RE_%rOfcV8ke*Tj&kVN09>y zy`bhO^6Nq;_-7<3UFZ*&M-u<65zu!e30`bXc4qm3b|iU_9E*`%Rm$_x6F>cXC5q9W1?mT&mdUiMoCGN0hIO$0Ov`I#M z_NW1mB~bQn!pmKUlMQ45yck?v10CYYHtGmL@#F%n2cL%! zDcc*avBZjmXIsFQAtWX{04!2DD`#N^W7T8`XLToA4HiR)KD!P)7)-Rwo#5DDT!!?8 z_cQrJ$SMg&&0Pm`iucPk@M;iIt!Myy29Z`PJRxHck+#}a!vhu8+eZu{E?9CArS^l! z_7#p0IEY+aQ5&Q|a#a&pJl(h&xH#B|ccwqXv*;k7>^u?U z%Ci1s(CRSg)t^M}v#s__02}uw$5%IkvVNF&66YK%I481kIrfmovRbkz#{t^)BRg`! zLDi2W9d#sC*Eqn)Y249!1{%e#=*!icx<(Bn`;rA~YD3e$n#0nT5#DCgDk= zuPUyeQD56$T;H;_ng)-08d=Q1{*lXKyR!&^LPM2&ddRA}h^lQpNr!dzkkyk6TjvAu zJqcM?8yfT^r`9=vT~G38off{tEne>h*W-xK`Vd$hM|!XKfpKwU&U!cK7)Q3QZvZxN zhP>`vBf^o9%Ld7JeT4r8dL-8iadlNzpfBR-p4U}rbd zW|J1Ox{+a<+##_W$=u`(zl`IA8 z$uG=;MA4e-{JwEyI{xF!o4ooW3_Ok3u%hU$}XhuR!2zgf_=0H939PlGqSs}(cgCF z+&s5w;Am&kWScXr=uG-;)56rwWcoHo=+l|3+73oyflJ^+45$yxOjXH!-C84lP`ZA-+3YVS5Z|zrztSV@M(b zlVZsH9e(i3NUqzuu0|1MFSjkqZ!wAp=LU-S-`J5f-`N00bR@|;9ic-*{vDh6B z%iEKf-SuEVdomA8ZtY3Y?mF8bntOZ{?S_@nMf)Xd8WblvsWdT0{^Q$n z{&{;e(6lW%vZoeUw&kvKn^1lna0Xop(kIH`r@tx5lV4WUnKvTC2VTU}F{ zj0hK8drla|y4yWLWZjxP+ZO>hqKWtZK*)y8bt;ls_i;7%E+8` zH@vJOB4Uo%Ek#F>-G^Ghih(5eg$*ftXaPSAAE*N7ILV6n7}ELx={DTmcCtOdzB z90ma`$fd)f@Tob0BcW0OIkwu1^gUt+Gn^((h}RZFAQw<3A4 z_nRY38!T2cn<7c)V}ULcBV|dc$-8hf$yf3yG+rR}h$MN(oNO8xkl4s7YCI!x^$3Ab}*OXK}Q40#2k~$~c zU~N;<{e&~jY)U4bh=e9h$xPOzU3;+5G2b~Keb>j%}lv*kh!*K#T!61h=J9-dXh zKVdjt1i^(c;&RR%)`yX(bKx)~jLbe43IPmgO|G3&L$xqcaxM_=HXs&-c@WxwJSwb7 zt`(X?RhIRG`}N6>MLw{*K504_46L^S19>(-UrTy64wh_*b<6B z8xniL1spnazcdar`lVxC9sz|H)ZkW^+_?}2&+8D&i($$Zos35bV;UII?NI=3aaUbb zD_(`lk7{psB9|`Kge@`Uf&B=NC*?8smk>_T=#mQ(eJs(c7(-9NaDE_3y6Opo0uik~xpGwvH3P}7S5ZU&`S)sFZDGK7y70}m{G?`E z0O@co1bzx2v#$9-`v9{2T0O7{AWyF~g1i32wK$MX6vk07E5zuw(f-`>4aI6`?oSS& zPpbQqH;6yB4ROBi1b?(6O|Q3ANx~1zSF^aUEMAWm5zaPV2#pOUXRp@+-(d3R^@i{! zi1^(IgS|l{{ziS65=7SAaP{aOWYiyTlE>nm=NNPOh{9POx`N2l8v&pUBGxwppnde- z7B?*a!D}VGda`+-_zx+T0XT8X?2VpR#NqH#dl_Rco;iASp)WAp= zvf!Z)GrPTi>_P2LR+Q9+M{bzZBu`4*z|x&mdE^2!+(@lQuF%Jgw0q)?cmfU<24C|ap<)_%Q zok{(tE)e5P;+|?D*qKbi#L}72r(tliUU}18cQk65>%_J6e5Tfp!yP}y23soTVu}l; zsA7CL%T(;)L^?eSRCqf9&G(ZW$m(ZR6bdIGZ}n}+yJxo2JR-gJQ`Hj;nEQumIosa9 zYoM-{O!(bH@uL>V)!!Y-q2H|(4;)#(lVTpGZqGv%F_`vz?hQZIHSTwc%2oWcCg*kg zxs~EXO(3tH+rhe;sE;*q(ARVwTT|9LHTe*(Z1937@8S4xmMPw~rmXR3eHBFzQoq#) zlWlt2z~3DN*^K0!W)ns-Qws#e6}f_eP6^Nv2SztY(G}BfFWeOYm`;1)2JeFR=Duho z)vk>XyY;hwFDrZLhrYuHr|gZ7Yas~ShUc#@ZOegBhg5lq>nD4o|2x}r;|9HScCryr z=6^OL@mU}gpS7bIU+sY8zU-=4hv}!6!3un?Mf_d`D4Jl}`&Dg)8q!8)8Ga_SbMlVqa?%eu$a$+FK!Ey8N}1qQn-+k=MS8 zy_i0K-CQveQ~x)O!OI^xv6Bqt-qbg#pt@&eQuZ#jJv{ubUVvUy+$dw=+AB&dqbjSR0;=L~b-YizQs%M3HxEk6gvgUIt_*cQ%--d*Ju~H}y9y39*{^70A|5;@qBft2FV!~TFxD@x z2p{ObXxy^Pjlm;O7P9#}@wxt2cBhryK~5aO?jS3AxR!5KmDFP@SgLB2^YgC6ZOHs; zmGV(x@F_ou<)PO|=yTstWf*LA;cxLdhQ9V#E-RZyJbPIniZ8<&3#ttUDzsu4W0ZdnY8>(oBY2|;tV35<^fPZr&)$z(k>PZrJ#D`LiqPYY_UDiy|#F5`| z^WHnP?0O{_w}E!3Bo)F`TU>qFDwH?Y9Sl@Td6MdUsbuJb&)s^~JmwY{Y2rg_WD}U>&IRol!{CN^O@hhEHU2=iH z)ikHNR5zrnKWDDT4#l39u!m&DY=6>Nz~3VLvkX7a;2!?8QVnS!*z0LR4GDJudYZ{n zt^VM?8d40XR(&*DlKYWbsHGs!6Wh@8D$l;NV*X}RE0%v0R?JnS6{R0IhwrU;!GJoO zn>-2i`ABc8(Te5O*+Pc?X(QF3_U6(O==_xKG?)D0r&{z^bIBI^)uJEGr8ZFZgf_E4 zHNQNe2^Lc0YWJT=X8PYgU)VqL|VfZYwBVt*+KVe zEP$!gcFBVFwUlSZoM@C9l4#p%Vo9$QyA&jfC40p-}mbfK+O(U7~> za_Mq;q`kFLkR_2}&V^B>=ysdbl{7~y zIan@SC2$d5#^5Qd=tYFrt|<%fKxgZj;Pb3IXDAg6o?2io?xP`mPiZMNcarRs&r3_o zvZzIKyr$dCNgD6adOlZCJ$nQjPczs`F~S9(Hou!si=Cv6j_K)GFYZ&~YiMl5F<=DF zr;DAXORDD2cq_74X!VT8!WKD1s|3#YNjRND_9lFC0 zb-a6rUiXta!rVL5t+wQ@X!9rQlGa4~ca?*KYD=doRa%LsMkMp!ng^Q)O953?0auL5 z+$`kEtO%1dHaUd`WsHl~f1c37Fv+*lnn$H#ohYW_nSBpNG?b1?@bm%ww~1N zKfM(p1;V$XR2eDNhvvI!lSnDjB3EXW|!&M}U6N?R-&uEl34tFqd#DE;_aqMF@xRsMaC zUTrSfTHVJ79qjyy6S9@@#e4KqbE&1G^BoqwwN%>EM&avDFyR(IvLzOVkGlw;i6?kx zs^%ezJxh;-!A*u)1Rq`+iZ10{UYm`zxOCvP@|wF^dF^SyV@Re5>L;(QUmiAc-fmKhFKM#w zaYfXoFu}`As+)-Fo#n(cOlq5o+C}BH!%b@CHTbyl+O8(G@*8xqa_tHB*~jP zy7}GQg!j9XXys_Bu4*!J!2yfSN}Ug|XmAXdUo6K#n6-~5@A+)3Rj$27Q=%msM@2bk z#w`qOU5#_R$#pin2hd%JVRwUfQ%=;8VTcpa7PsibXeq#YL3wSp7)Bp@JE(hGsUFPPL3^<@e+MNjJ+OmbV(Ez;RM8H{AD?_0)(+ReVfi$nofHtbTeY-wqGDF_B!p+Oy_Jk?YYbPVI6b%k4W6gRVHem)?nyd|}yMs^}ygfM55}qn)HKkiLhScb3}0(cQFfXY^?9ZaTTM z59(M5XiMX;p3aa@Cnz zYwhA<7j%_0F7JI54~LyCYOxQA}96Hn8u{kV+dHw(rJCo_{K=5t0r#o^Mg zbv~UJ$7u5D#yH9U#|T6-9KO}fr;p-rk#&Cu?a&jC2Ws@hx5;<$w%HIS_>{j< z)MoX<0_+ql^3;ORf4d2S>~eEaWx1W6?1h`#gWIS>Z?yQvCfceuF4f|<(Zt?T7`!}T z;(?rPMpwSv$~+L5!}k9uNWL3(Vyi)r;Z3b9R{J|sN2ko)N`w1I9cy$nVBt7Vo%=}+ zbYmZ>89d)Y|LB8jnra)lS@329_3MknL;4mP-52Nij14riFRJFeh3@H#UtRihGkx4w z3RWE3ERldywzPIXsV&$Yqt2HkADV}3RhNZhSc_HL%=EQ5h9Bu*8nLfGBJ{x~`k^1j z($P)Swm+sTHqrY1u@^*bq6_*<4WZg5dY+|MHquH1q-aRpNIMLWJR&yWn>4&*7NsSy zYnrmVo-vUfoRb94YUtSTWp}Z zfl@bkwVpm3h<&tRJ+&Al&30_KUY44gJkM-=J;u>faCBKucMpL!b)q`iT$C&5ZoUo<{FyRRlG#ZiLrhdf%u2wvn; zeLTj;xm;RfsMHSz=hBfwacS+BOE(V1P=33HJ{pRLSvhNHodm?2vW9j~K)Sd!bP`J& ztf9*jq%_!_LtTcU+tYGryI~lA2|0AwFl?3vIdu6jockb$UK@tZc7HYf$nbWqrf$QL zU&dAR75F{yYsj;MQAQKv+yB_yt*@rhC+2v|keB}zTu)=K(s zqSOFZtfcivNM3M+(taawJXu9)@(9V(-+!f{0n)PAx;UMGpMcpvMA%=$fKZecVU&lT zXBi>oK=TzebEH%RQKNs@++8ik6^T}l^^!j5LYoE{p5JM#D0^x-Hp^iDSYItm@N zDw~ETp<$!58BrL7X46$ksF5a{9!Zj%9Y0c8BOZtR(+o3(Di0|Az$kZ7>N*-F%%_Zl zFCD`Q4JoCgaoB1@=(W+vt~Q~sN259g%c#W|EU#Tg1IOSX++rEkvGn()LT4C@m0uQ7 zm$B&d`Acc5u{gTNEv1vjN)d`Xn@dS%ZcTc7EPmn2Zy8sN#n^)-yuUBJCi?qAq2JCW z)NPy;s%U^zGqe3wE0!7w!Z`umH4cY#^Ck4uIGk!e5c*&oZlPyv5>v^iB}VjW3wVzj zJRYZ#TN!LB*$A~WsOJR92OxuXoPat%oli$jko@X>+F)GarM~KqA8^~8{&rr}`oYl| zVo8J}$!Gqu=~QCme<_pkPdRW|=Pn=-K=c+&rT>TN3HDlbIa8#r{2k9zGS7~T=RvkvL7qO0X9_;E z*9ns=YC8OXnC_Wvs;Ew8`p+9=I!I<(ODG!m|M0Y}$TLOX_dBL>GSf|rsaj_0E0`+( zAEu}A<@4{Y|KU5Ho-)rajOS5oNoKvD;F+>}!GBvn>VKFXNHw+oU8-oNve(EIzY)Wk z))q|r{69P${)gwll<$}xmzi#3O!3_q&eUHpt@i&gE#z;#8v_d4{>Sflrpr9LGoJXR zKh85i@Z6t~^552v{U4@BW|>+aD>GFvrin7sK*4lC#((p4`X8S0v&vFTBHvYJy7Lt> z#Yeqd(;&fA_5U!vSWvO;Ex%Lr^(@g$y%^6kY(<7`A1rtto-diDutkRYMC^Jw`o($h zw9JZJkI%#}Ibj@e`Z|Js3exj6N`)?7|9^B!LF)1zK1J5){L9j^6sAw8;O8gvlgA!p z%^#}QlRZ!_?NIco&y`Y3)GX+A%HE6}K8_4KJw-go8+0^1V ztTKf&QXgmm=IRs0-#KBjuA&o;%s>e0TVH52E!}AUA)_|eW*W6|L2U};qO1)^l8s2H(dM-#o2)p8d9@d3c;r*pZ|MQE|vcjlMJR1HLGr}#y z*lc*ni;gN4RfjVriN4=}7Y^A%7M0Q&aM|LJeeRHrrJPw8q2J}XvVM5jPJNd_O&YKV zUn6VFavfJoRZ|k!J8JC9v5W(LISrqPs1KOUi`vB6r<-8XLuN7~d6U^BZ&uM=R5X<< zFzz=o+k~aH@v+{^rpB*B#0gxh3b^P8MEAmB=Jx!GzS2xb2#S%IF*@aB9ZfEj0-Xo0 z<1WOLUepzLgr=aa~@FGUOO-PoY)wIse^$ zX2&Y(6rIe4%k6h&8l%H+COpRt{5$+(2%+l6vy(@w=(TH-w`zkJZ&?iO;7gH?xo5a} zhp-KKTRjwwIY}Ov#nHe%-fKk9{Z$}zFCV!NsSm_%pBH1UZ}Pm9?tUiODEwB5#~#0? zaf_HZGkn4KlOw!5P4gy7Htv`B^u-@lpbOdg?xSY7!SJ8NOvRfIIlq?@=b<)=jFl#* z14Bi#F?Lb28N0|JHu)4q<)Thpdw+2vU~c4YI4|HY=E~;KkU@SaKQo_ zb`n!dr%W?cu`b8IBG^st89_q8(^>T0W2u{BQf3)F76<+owrjYcdH6Jvf3Ra79o0?J zn9q~@uN@o8@#8*pcQ?tl9=q+CdKy1HScBbZ$6=Fw5c)cfh{v0<=XZGh;F^B>TckjZ z5$KRc+rX2VvI z46+$>XoWHl)97?%Pej1_B)r2Ig!R!yDasL;XRHgABQb}4OKHoH(v?H8h^6y_awfaQ zg~#StCo4kaY@u=q=4=sF%P7*7nT%ei^hiPvq${(rRH&SZT$pClG3E4l50as!q$?*e z0r(;U4@BiyQA%Y=y3$%m9e@`gWvPATY@xCr=CsJNH>T`gp|S(!6otx`NXuk3$J87v zm@Zg@?7{`}5Fx5QmQt`XnnBZ*yX`P3Qg*{zZ?dc|a<)*}6?2YQ*$Go2t2ySNP+1*m znXIaq+6h_qScB}ajhW=jd;n5@v*sn05Y<75svd&BsKTj`0p6=)VhfekFlUJ@D`P5T zea8C(>_g^3g1Qz`7b@Mbz$80k%Kl+}ggZCHo}uZK-GyW;QSx9(y7B`qmyqZNl^vRb z!6N4imBpBI#@Z{GvVVojlbAz~K1c1Dtf!dDt+y0wkl(Mut`B@rQr;D%7c5CvF4izT z?_+_{vO2jnmh;=B${Pq_{y!mzFEgqlWf&&R@Is{}=2+}DLO#f@Hmk=6+E%>u5igP> zc3U)AZmnoJTc~V}IXgt%!*J4-&6!(tO6!q49@}H7P&o&=Fs)KjG2?>b5TO#oOIIc{ z0r-`Aq18{K6wQREEAwm_aYHOH;`*5S2-%X zF^d`^8^lhugcK&KF@mwEWb%uYzu;9`(K(fOFe`%MF6LO@JSDr1UAHY#mZ5U&U!n3Y z<{0PeOx<+l5mB$kz>!(iz^q`U!W?5Yk>OzftAb_Z_0-7gxXkN-;Pt2Q^x$${1B|=| z%DlD-PxltAE*M#@m07J6tXhcr<=8{yMoU>H=L?k-b8HkbV@T=BMXVd)IG@N{Z6zxe zDf{DRN@RojU{)B^7jw)Ye5sKU_P`>dPB1FbK~|!bP$ELq|BTpG*)QrK?hT%2e!Ph} zro^{Q&I@0O;0?r<<>|^htW>1@7GU)17t9JJzG99k;m&ZWq8{d$5^J2f z57#AR{RHQtaB|8r1pJSL8N*u==Q{s1iNnUvni-=pv zsKi5a(FnIOMP6$}y|pYEQ7z;w&K;OzO7vnl>B<^REVeFwm=;U6tW>0|i9tLHQW-MXIy-jJ!ZECU}iKFq*dw4>u$p<%VY0_WpInzaDcn4LlM($Tze zQv{3tqI&d1VP41->Ny|H3m-!J%t!OiOyJsUJMj&Z;i=vX=9qzka>4|@19753Z}3T{ zVm@`tz(alQ1llq~YGQGn?E?`xULao`FEq`XWTNTHL97s|a2+pmn$bzJa@;u&DKiWn z&1OvG_h@g96Q&H9N6#)mw~U!Z-~54QSJmNtk1^wnf#fib2htFoq;`2d)({_tjU?af zXA8BijipO;QgG{SW0*{~Ej%54>W`-E=;AuQf`W(O>^Y|#$;)Mr893su6(QKSql#CE zs@Spg$4q>pRCg>5%#=c^o}R-^NuXD{N`8(DMQJpKD6-`H*;RsW?-;r(6Wf337ZsKnn%tTGU0&!%}D zrK(*{?kmXo&&hllW$Z-7@`vhvA0_dhlTqxOhG!OST~&7k4m)IcIEqW=zbCWHK+11u zumg+C>3FlIxFPO=<=>O>ok)xhjDrs!%CzksGpUSa8#3K=fw6&qiWs;qu#bn`&2Lg}zVx%A+z6|feMGisU59zxsTiOc(rya(*!Jq{m2k7Ki@xm=1G&K^QLRMUkI$8N8G z)QP^;NcMDYw&W3M40v)v+pZc9npy|u87p_mB9S=!v^ultyk})EIx}3y&oQ}ik z%wzZz}>#5KakphXx80+1Zo*fC*eAJA2|Lo)$Qx2h#g% zBnnRk3B@yVr6}k!p5DmC+x{H}(0_CBR?+kRbZ{QdS?BuGIe9qy3>`;LlOKi-0wYbA|#eLvY8lS6L#@>P02dU`F+6}|e= zw`=h>dSpNP!#c@d;X6WbY%fR|$2)yF$E9AtKc_Lt}Tq3O-nXNo>Z|x>JNYQrFmN=JDR*fY61yK^!NreZ+vfhXM?mDUiA@` zIh*h){Em&-L8tVh*EdSe)#G{zQH4=+1T&XSc>nKuZzFy?=+~3J+JrH$=0FX_@N%_Z zH-a}a9$<=fU765rPaIvo8Q*=19YKpXV++@fqna&PzLQ8hY{APDn-b~tEhv6V54v^> zKF6Qc!=!ikvF)}=@2G^^2W*IjJ*dT2DH9IFF{Qde?cwyxR*V|&?$l!&M#Yt3w8u8d zOY>yVf6Qo2-qA-hq?!uXcQ`iV!nawqcWCf;6WS+y!;e8sCbYZh6(+Qs90wakdEqVn zVLPsSH{+479D5tO@utHGt%|=fJbc+ajXxnI(7uZtKT#Fijb?6_?5j4EQRu0iII^9` z7m%Q8H@a|#)B$RDr+zzd`E_t89km0yf7e(6pVW>1wgc}%nGL0$`3PU#RlrZh{vU7e z9ah!RwGW>&$E~PT6%dgo7VKECAy`rDJ@($fSWvMSFp7$Zl313B#ukmliX9tbV!&9j z#@=E%c4Lg1N8tSKHM7qF>O0`~CBBU59(^nOSSrteHK1X0y8+ZQTxAw;Dz_+4E5s z7(k@^IC1M|K!rQd50+Ba{Q0o+koZMN7T-AjR zr5KxuazmEyL{<4~C-UBjJ_hQS4m;75%;+T7R>Y#gL_6^YeBW1X^{$CNwr;ye9i{C& zcA@6o*^%z;L8>ozq8faW&+=VHKT%0{Y_B_d?ZzIGwH;K*;~iDVP3-8VJ2ucAYwUsJ z!uBd;N(UA45IYLpvAlGwEvC1l;d{|qUF^xb+-f^Sw6p0~tR0=-YpmsUtF3h6d`!01 z08Ley|G6#s?c;``Ej8K)i6RN`HG(fNbO)dIc9 z?~t*#xE4+`51~3~)03_rLT3EYV)f7G2C z9Rd5H7PRgdTBy_`I6+dnyOQ~57|Se8U!}oljhfTzV`y=u-W|W7%V~(k+>Ab^A(~&B zsc3FASNbnIYAoSeubItKS^6ROa?L31C~DB6&FJb;sNvX++|!NiO=(>%^t`9&C6+X! z|!Hw{sjrx*@$ZX!ke5LQO{qD0q%F({FjO?_?oKNyszmMTfu8kg;Jdi zGzyDCRJAavJ#EiGnQ9n9=Q2={4+vL1&oUu44ZK362Awm}$u&2W&iTg*mm8|F0%anr zcC}RO$5c2@z|n@xzWju-xZ9$9-1<;qT0=QhaHqy6&_^!ZQuUEX=CO~H?6mO&`ZZxz ze%pBAk8q3^%4u{4++unQ)t9f9$NeyvBQMrTKWFeky?Uv^`lw++uo^XV3N|k3bkmj6 ze?yJAFieRF3$~fy?*`HYWlkF1P3aAIWER)iQIaXEMoPE_l>4jZmUwJW$A^q2CzX7z_9))C@_g12Q zXN`@;4o_Np7RR0I2kFvh&sc%0F|uF+ne*qev30IQnqsmFaiVsf zin?|7)}}Ac8C!`tVYKcXI;cw{&O(*3rxtb3LVqf$ z7EQ~-uF>>Rd75$wf9r-+EX*2IOR~PnLOvU6QPK10QQT1 zbd9P;gD+zb%<3aEVM{P)2SLAyo|;rvbu3eNZA>~{}GV0dB326RywhmDnO>A6u+YS#8Ts<g6x? zI{Nri8_<^P#xjmSl$F_tQDvt2jW6A}jx2VlNV(T>?x9yDn-!8#@?_D|%Vs017jJ%( zW%CC;zz3DkeF4<%20FHfI#b*YbQ4ZgR2{BX_37pfV^#Mawf;-fyE|Pqz01?}rgvsK zH29?H9jUwI8&kCF`B~E&F2f)Lwa|3xUtYM%x7M|y%`C-~S$JGQ&u<#-#KQo3chgwa zZeM^(F@@eXdQ+=gxC`NA01do_0=*-Err$z#ga**}w~WJFI`dgn6pyK@=EVTN_WX;n~z;Tv(39h%*D2O4l1cH_3bViIgF`bv(3l~ zvdDC~haywAf|2fY7oKh&%3t;no~Rpo3c?Q`-E42FTgyTNdx$_$pq89X6_;vKr~BC3 z6kJ|y26B3URt33;S>H@^ac{K?$g5g;Wop=P1&WR=T$33Swc_O|>po1qtDM^GzMs**citE z^z;W8&jPl1gw8_2ib}VJd0an~k&$kFgh)r1v6;m>Z`-?!>WlsP2z`?t0jh7ZOoij> zrXM;fbRv;%Et)2y@HDCPd{4%pZUqS3YgJzJE)vx0`;ETCO^IB*4&H~ zY86xpSLE@(^OgKRnbC9m%~#je)^odqd)~}`59vI(#pLozRo6W3NX1>}3Fbx{`pW*A z`beN~^i`d<%RZ{pcKiu!HNTwFKR`vqiJjmhwh(FF^y^cM zHz$RPq`vc}1Hg*Yy{!q-KgSjp%dhw@ zmHGX2-;B8aH0CYphYpL3#l+t@3-uO*qK?lomWm6Ywa+ol)5)C*zA(m$Q>Cf>YYfT8 zyHWa|=)b4GHWqetW|@1G%%-K);?>>qwCQg!Zgr(CFS$+gq~BknlJ_c4cCYX%RPv;X zuP{CNbqN+!l5W2;juu)eC4F0Qn{+oZ&4VTS(91)@xm;;gyW`CZi{&$^i1?t2IM72S zH6v~yjd_m)U0we)ju2FgCCwE@ODf5`U2KwzI0|M*6~nLSEcd)vN|z~PeZOt7q^V$a z+{x=NOir$IR%)O9%UIsGuba)vyo{L9*n~BGTxq6Q8oA|@eAoA1lJ#lNx31LxExM0$ zeA)cph%!zphIW7B$j?k4WzE)(r+SotRNXiGK4BR->*usmzHj z%#N~96>%)dCOoesw|B}*kk>1Ze}+AC0~0UERs= zGB(bm@L>Neeu=JS$}_ShFH*MU&J^lFK249TQ#MBm|9JRWn#QUk#sqgo~45g8b?`W^TBgdRsjc;_AtfQ>J;2M&Y?eZ_~4)MvBZePBo1N z@hBII-UZ#r$AT$McQ}MtjHO)vQ^cyQje9@=8fgJ{W)UMLT8!OHV?aE#;Fx4DOYSlc z(Z}?~$J}L;(Jm$wHZJ>3c$vNgJ`n+?#xMasRZ`hh16S5GHHuCmsW>e&!e@6*E~Ohq zw4i?o`xRZOjS%fj2MQT!r4Tht8*n|wIRVLQKjcz1ljtUH7v%wGuzf+BLFN^d1~Hq2 zuc=i*BNZ(m0^Qt{KMxx*fq;C>G*7qWQl|o)Yx3W zNSig`ZHfnRN)t^@%|SR96y;38|Kw7=f}(}#4Xih-peXLs5!dV>u>%m%vjRzawOCsT zT4yrS?t-F+d#ws=F#a%S4{16%@R)2SUr*sq^$Uqonxh?hu+(dov8+R|Nvh8!^Q4d& zv9XYFZ@o zxdk9)))CWK6}Kz=8Wq8}PTyLne-Tkv9I_DZ@hdI9x6r;KqJoIF(48Wpeetq57a@5Q zLt15{>?9(m8W$C=!Pz)Lp?mnT$IuTl=j=G=y0V3)tC%k3h4bKWArO!R0e!aSdAP8L zYd!(CtdCVfVy$6kA2A>T!vuBkQh5%xdM1XLKSI#y_qk-W7ha-PF8SIcO|H2VYA<}m z+Z^g|FRF>-IkXs9aw*P-$Rs4F4`j=!>SfUHvc2dn9Q~-K19Im=HqCMnjeUI~TUk+l zD;pV_zh5jq(me-JPPEA;J4Z3unu6zIGICMT>%T$5GU9E?!W+d*)mK zcE?wsKTF_-zJ~ZxiRsSUT$+M!f{2eF$m}G7L_v*woQ0oo`42U9M%I}Bp)Z|9SMkk1 zbj(?NA?yo~hl^-04x1>_MKov}Ym%~Gv+Q^^DFsCmm9f6YjGRox>?1r~WpG;bkDic4 zDnQf+`ojgW_IN?1iix43?Gu_+3{$@o-_xyP!r#8rdz%>s(76(#3AHOO3b{{0QuG%W z?6Of|O$ zi0N-=xSI$v%|rdZ#!ZwJi~eHcHK)SvqL|4JuHNp#U6lTd>bk@C-5cubF3O9uZz#@P zR1rrX({6Xs&E$#JplC_tLFi+uT~bUFrT^eoVUTa=pH{Qtc)HV~Yr0L>DVzHKNwqv6 z#^n(%dJ_Xgk^A(Ehv;bv`#Xm}UR>Xy%WKKbmDI~uG`6-V?Q-*1m9U#i#IaZOO({{$ z`|DR$6YAeG&TBtf7spgmK~dQ~s5s~RXZ7RMOI$ye7e!xDxF>YE^^%Gd5M^kECw5(I zen~%h;!Rojk}^F-c#DHCagT|9iRyOHd1q+vD|P(XQLYWk2FMxdeIh5ukrfYAklYv4 ztu%`5jTbbzw5ZrP@M|Xz)_izf^ z{o-vYU@~XBKFydIRNyILBj%u{cc1H8DM?LIA4_J36YQSo>d9gggK}i3O!FXo)J$(- zo~lUJJ|}$eqMLgi=l^2BY3IquThu7v@@I}^$Oo;1E;3LnR4X4VWMerb6P-&}PD0eKu9U0B0QbuiCuNW|E_i@QFFV zoz%pT!$`1s8|eHJGqpjG7$6Iq)*qzWP&oh;pJ(U`l(8jhqsOs{HFt(gZ6rK6%Rolj zxJKw)!}GXSj5A`pGB)3imu&m6wUc82+isoA(Dr~T1(%&b{>#vQ0EHtAy%8602<`#o zKa}k$@PW9_tOf2)d&Y*)+N!6%4Dp(`imIrtRyek++Sybr42rj_j^mpK<24f=Gqk@U zl;eriMpyU=y*_vvJYwjUJlT3xF&!(usWwp-q}q#eRjOonzG zZ6-%>3@8Oa0S*_h9fAvj&wDBpvX`GSwax%GMTS`f%YMEp;(mN9W4ty=g?{oxCMt3)KW1v);KF1pVttQYX`HGoAcDIn#qO)8 zk7{fAYwVuZZT&(gGqjhW*w*{i)^aoNuujy5X7jtIy-6gOGNO$LdO}GRakb8jGN_iq zrmA_hfT?O;t(h}s^uj-xbIhHhT=LDU-6{6jyxMgchLz2lVw4;6BFvmP*>@UZ=K9u` zy88cxW3DaRk9frig=7PCkqljuKqL!iBy|LS}JRodrWC%MGbM|HvL&vlq_}?7sbdLRZiGs znwLBv&vL@2Kn1XVQr#4FI)&nIt0#sZqtf5AoF_PbD(dk^4ei8}iOO)NC+d^6dnSHv zxb?bAKEus+`pj@MWf(SG^hBPlt?bZ9X~_*$+ea$lyUU9}uNGGA^BrTvTqI|3g9(I zD7S*}H`zTj&>76T6K}fmKhNV|b*1y#CqJOKW9wi$E4I-OXhMJp5XT?U8lc0b2ew?> z^gt>9IzYHJ8n4{1;>ck_J9*qZ{w#7Y75W>@Goe>}*kQ95vN9p;aCkyHKG$q-{RFnp zBXlZDVGXPD11`8B4ln+&MN;?=70J7b!oAp~`zn9a_$@+(UgAFaR1$7t>wT(QNmTKl zsrw&gvzZ%Q;btyuEgPY%N=@JUG`A9Z><*7`X(c9|TyzFpL}H1q#Q`yE%Le~&kDg%y zyW;VCD#pyPg`5&B@u5VHdBDk8$iXq6&cVOGM=dIgDwW3Q!Bxq^z4LdW$J!74cB)Nn zSXSWhE$`8)%Hk)n>MpgcB7DWvyA)Xk??%@B9C=Hqlaj+l#Otmy!2K$sc-7}v8RG)3 zUvP()(o!?S4l5;7;pTFm%2Y+hx!)(J2BMbOb)RNc6=@DhN(76h+e&mq zH4Nqk-BzMGRrvZ7YuQ1Mjh%3~ft?!ap^jEWOy-hjq=j+kPgu%9jv76K&9~^cYNC3% z7HWb--<%n=0LO`0Ra|8v$7M|KxI|vng^#J+T~2jz>RerTJM2+0uztgCDgC~!E}ZJr zmjZB`0j@5=%T($s)O^run$pWN&v)(Y*Ty;N6GFlhw7+N3?dqaJP49=Ylw+DuJ2p$* zCJEN*iuLGC)=X~Elcg1Wt7cK%K;czrYyi$tzxrE#ZRD@p6cs4SJFHVNv3`wjD*cWI z3a3uRtzx+DNesGlL#6j_1w@U=>{Vnhq%%jRosESP+YG)A%J*EJZ)z<0;4{6Z^0#y7 z&xyv8F~+y(yd)I)yz>$ZDe`SVGXxUF3(d<+P~3T$rbmHOvg`+ywL!AM**=ilzW4ag z?blnN)C7lgU=&#CC0r1ChD?)Y#uFcT{D)oRwW)v%?HT?vGkY>S{J&Mq_c>Ui_Jv}; zsh(ai#A_`88QLBEXI}PWBOr8N#e0Q=;r4#To5fF=S_oi}YB=4P0|8zQkm3SWa3e#! z_FW8@3C#(hH=Oo5nV~s=;)e4J4uj)^42jy3H?rY$!4sB>8kG|z3EvEIcW#SPqTXQ? zQ}gazI_qYv<*{qGEJh#X^}z|jL=)$D-lrd zlNR^5?vk(J*l7H$;aDrfu(Hb|REs+y@6{c5hl^e5f6}-#%Aclr&Af zj#mqN*}d{uJtb@DVln(CqU`C5I4^G-XNC90)oB9y)`*rG5Uo;ZSuM@tC+ETQ; zPLJwiAl&t`s-jy5qt|flDwS%8*@t_XG_j#*?zrP>-oW&St8}6v zR$=VnCM!Yo1#Fi&HUCpq?@6#*5~{TM=c#CjC{_M6zJT|yumwI18*!f6aM*?aE$nej zt3ZHNZuogh;IM7~Ti7|Dh7CARr#P(re+%3E)3A2XHSs}dMj}LHzN9IQM1?Ay za3=$s4cC&)V~eV5Nfs-nB)N8FR4-Ha%d~j9sO}MP83K7%k^U)Vp}d_gb0(K@3JzN< zZx!is4oz{XKPap*W(pE6sgkkz1(%GHw7oGjTz;0$G!|7Hk}pXWxH!GIsESjWCP>NN zi?}>mRP=8Ff9sS*0}gAu_6z3b*F5qfRc|foi)qg(radM;9yh_f(7Owi(*zy-fV1S; z6usy-&!~Mwkb5oI7w4k~0EY&tk85i>z zDX7SWr*|!Piw7E=Rc_AHYBYN2#_(|#Ee-;L4Bd(mGb}f2mH94{O` z_Zl}#y)B9dM1si*j^y}BRf?|sp-R!h)~Fo6IH?3A{Gm+ekx3_8!$ehJU)@BQ3;Ntd zjwhu)&Dx-h9Q%z1wSk>R{6_I@V5gR;s1F$`omKBDL*0NU8>-cF80tCxqV#e zRQ$HG#Jyu2Po}y0Q=28;s*q%r0p|D0Y0hyP(@``Li*C`bju@PV9jDtJMUap4ajw1M zlA&mLd>re`F>X^#fBvFgp#hzQW4XacVV|exb1YA`V}K|}piegNs2}0w%sMvl{Q`5k z(!nkw+-~SD2+oW%lV2A&`E(T;73(Z&3pCi_oskvOe^#m4c|)egV-3V}YR)`XB0nk> z>isN5;!E1CM8lor*#)!Z=dRP(E?9|be=IM$E~rot-Bnw3^~IxW)T^tgT53ePo*$o; zs5RGA%-fErm=8TvF>~pKxyz^L#aw9zRqckDk6fkM-B4*ZI;yg~(^Y!aO*9kL4^Ztd zFlq3eOoZ$S%u7>M_xvw}Q%o;(Q@Kbu?bFuu6$Ul-8P1l&<>nk&C&h>W?J)4xiqtV0 zQ>=-pOR}i=&;AyGk+ddkrO{TGC(S z)?GN3K9d(<{il-V8L4r1)b)i^saJQ=)M1BGms_CCdNO|Pjtc|Cx>I# zH)1tUBc~psgZT9@4d@|i(9t2Hka6ih4#S)Gnx9q>M`i++8W2KU6u(5lUJs3&TX28ZZb zPb_IUZKm*Ec=kNZjkK?vMiJ8w(ofi~r6ug)PN47iD1}q@@LWO6TTMp8T??nJ*^+r=SVYeDwK0IIxd?A(m`iRPY8!;$F(%AS@17$9u4=Z!2e|C<= zeCT&MI=#1xzUm`tI0PVX5t?ILazMp)vk&as?*RSXNBA`_YL%AnJQ`1yApGn7)`(!o z;ILSyMC=ZbwNW*$l@c|J&P%;_p?3NGM~dwW)%T{->b|0)X+f%iwqi%5N9Fy};5-c_ z&nBbpXYOMA$)%sD?*GR=>Ae=-DNoF(6>Kw3HB>aO_tW5hs7EfP(Bgh5`Q=r#oTP>O zRg(Vbhi*jg{q&(9HVc$Up$`2;Er;Pse-1ZfuL`%NKN^<0d+Bh05mop-zOscc@OXEo zpaHP|sy)yDf!3ZiQ0Y z^SX6-Wb>SZ@rQ|;rN7^|uI2O!)cTM>=I<5N6ajyEa>B@^DOzcFJSB@)K|gi zdRv_`J)+e*}avbB9K3Qwh~1kf9kI!??~jx7Qh1h~59M?{ zt8Rjx6EK^hFUFy!U{!GodtxLcjM+kaB4LdXd;?S36vgjTYxr$Z5eJTdH5U8`X)Xt- z{RrV#{;SQlSPF40W6+O$G8k(mY!b9498bT^v}^<_g#pQQXap8Woj0pD*i(b3ZES zUyX*P>#avpkM5zhqfzbxk#1dF&<41Bp(DyhZmME)`B9a-AxY#o2IcPCAE?q85$?NV zqt2EY7yj=O_4P&-UHTYUrTIp>GX_?9v4ILk!73-0P+}CUQfC7li9(6;K(x9BX=|WC z!DqG-rEj=-{{v-5L4sie`Hw|9&tlO)FHsyhtBV58*4*_2M;unjlLf8cNk_&)0rwy1 z=2#RIk98!*VK((Qq+gHl>>3Ihhw`>E&uIX&&c~P0o=mqxILL0VOfhLaO&=%f`;N4R z&5Y~#@1(b1uaYiDkjC}6x*L-%$?K@icqBb8i7t#sZ~4|*6{vYM>YN>GZJFHzi^VFl zJF7ScuC=K;Y&G<1kM5-Yw&``wn6R7H z7&IrZp=lFPh!?D3b*fUv1QezgYv|SlQAWI3O~#4n$zMpMxQU{2XcNRQttKx}mlfj| zO34aVpTv;1EWQMKp1P7KS% z4sSspy*@&zK6-VgICVXg=o;VKEL3MDotcDwhr{>u^%T)p6kAAPlSM_p*{f_pPO!wN zKUA5)$#gC=LsoH=uH-#gxX|9oqMnFIpjVSoLUGHztaK~Pr8ZMg`1^cI!>5P<;~-i$ z4D)gyCy8(|d;z_lBC7da{LU6hy%mTg{ho?su!>~Qcb`X+8c%DcVuyd3@3`6uG!0mq zLtpbjV)@;UqDp7(SfqTbIu`w>2`7iyNPu2;Q|r;RX)x-XZ)wdm%)>=~O9%Pc^;^0< z4T4+FC+F$HzsSrwJo}8xWv5ffbc`OCu8=c5V(1D=pN^@LVk_w0bm3O$Ai|mbzogvh zqI6jbVkUWcXF*&Gtll=Y4mw(;XfILd44f8t_qCeEJfbvXjcK{mxY)n@go~?nn2* znOA)E<=n-oSOVFwM^4zDT%036{*_8LY5q!@$lOf>W(rrImrM2hv3?G!q|`iQc`ayc z8BR-QiqJxxYT{w$W4bmIWAo@#%AP4aoO&W66=_(CdE)LRu~BZ?w~K5>`fj-`&UZ^x zf$*3moD26;mN~XWWnv_YzA%jX$BK$xmm@gmc!br|4g+v};LhHftm_|X*(~9&{gh~n zVc#-a3ksKBEL)Q3kmC*;2~@+s34b6Sw@gu{v01CP%SbqNsKCNYLTGS>$SvY*7ZqJJ<(zZ#mpA2UZaxo zQmEqEW=-R~9WsrZ7wDD3?b&F!)_-FY^=7dWwR}5Op94`x7VDz&UC@Oln(Mdqi)r8- z5m2NaX4beKNE*-efG2IABm711Zn`)}lrM6kit_Z;J-y?Ezvro4(u^1j84PK9K^_Sy z=F0=APn;-Ss+HuDwM6P&&VF9&2%B&Iaodu+``yHE^J#OOsOfM)rIYix)FP#K+E!@- z@i39R=VD~^VJrFlV01Hi&d*sAdcw|zH&dGrAHx=Yry8;n_g`gL=_+EK>7gz>T7LT<2_DSvuDloeTHt zg5t$wQp{@|Vt7$E9#6ceI~S-+e>_J@kL7S!E|=M-O;t|`4Ds4X9EQlyX5fK&*^hNa z=q=c{0)MGsqE=M#j%KDzttfz#kfA*&#OuNM%!ijeRH5bK8O-Mx;>`D zyMbc~8QM)eF!ME_o}}xurT;}0x`kps!%w(B7fdQiyP1M23xSY!h5?_UQ%}G1mC%`5 z6;__@l&Mt&*-_d+n3Dk+T1EV4=JG&2Qzn&` z%)T59SGFqNQtGKP1Ii#EL-WFa=4C(mY9(qP)xE|gI2h_v$s40N@?)lU2zF4L7M6nI zRIvnz+b#{H#W2KcB~^}Y!!^oMqfBkHPG)FZK=G!9OMJ(2yta`6M=;jQGP;AGGPP*v zpfiqTvVk<@IFMYrdn?Y7tSILB73V}e{rjrVj`nKXLM?lJ+kz(-noqVZ6xLnxZCiM{ zL2dxfyXo^GXPrENd!wk@wlHEI=ZEa@4WGwVU=`|*lgVy1l{*%{!mQf}eCDZb1m7o# zlG@=J+#iyg5Q^rBC_Inutq|2+ug;ZHCHG;Z8Oi%~E^i75G!>tr_5Cbn0>11WXqgF3ob`B0(;gonAuNmi1X-2%p`2)mj+`kZ~>! zpz{2_aGXIENK~!kHR+Q!E20-;PWzF zOn1pwrvF;?S($!mvXBZ5i%(coBVbDd$ zGJSEjD$^Tht1>-uwkp$W#!Ei?0V?bHb#kUAGldt)B7Ng4RiytOr^Kg!B}*3v8}?Pc zB3=KhydrJtJ}!r9w8ydH?W>USvs&@asq%Ee4F|BKi?ebm^_P?PfApRGWpM+EExWVA z)sEffW7R54R;(@3)3GYjQ{SU6yC{}dS(=N+QB-R+zMS4CFI+!8+^p52RPFN0omW|= z@iq6EKci`~*rM}YFZUkDa%nG$B8RlSjiGa^MNR+o7#Z``jJWRLfX^~{a7Qjk$z_`G zWGcG`GiH-xsLdMTQ>VMmfVEK>QbmOgBaTy9Ql@!BC9dDq9l$OsGXEG_y9Vo$uV&IE z#;Va|w^sD1zJX^M^|z2)P<}yYDt#b+GB>Y@L8bXZf5=_hoffYZEq%U}&vK;D>sQoC4e8)+;1L5hvb$n0q9HXOeLGw5GzwfVs+o$9R4>5S(`685 zoujjES&tgI`!qVdUewiQerb!vqNH)qXH#V?E;aP2d~a1{rA_4>Sza{m2aHZ;OyzA^ z<>(MU)JC2AgQ!sUOME0aU(Y&0YweV;7-lr#T4zb8Xdj1bGWTRFcVvo;teEL9*dHm; zr!|tMs2AYd4Wg21dt}}V;7qOeAj%7k`7Q9H#e0OKYl3#gF<(UAU=msFP%KRkHi&9P z>PPY(1{{RY?|MqF*l>pDgMJ#7xL57rz$aB|}d)*Ih~GB<$;O+9xgX`M&quLENs_a(Juw*nE!TrTN5$XB4tU1bC~QJF4}qQ%=W(K;5m6iPX| zmV!(lHd^v=;)aZtiSyX3wuvM|S*i6bRY_GJP3?DzvTl>xTD9UH-6joYcm_u^T$5)`vrxH-%~K|nB0Ucv~O zJfj~S-Hlk^(`t6KZ4c(C_I_#OO^sBhX@6f^Z%bESUD#hLr8oQ$Kj6Y;@e(VYNCuKF)whQHx1PbbXqGekcxkB3GNL z=u?N&*?q#ZWCw27;^X+_IQuqJzH!6JxF08LJ@lku8`EpdYQi&rMe=btl{$<~!<+VF zfer#Q_TvTnb{M_bkEyz=t*LV=)~AfaC@xiu7lEzmKdIQK(03?RJRm$P`}{2kG52Y~&1U~*dME6RFyUH`Hi9tg?a;h@T4MS=30qn5xtWJdvimH_z z^kthiN?y{qWLX8A^Q) z3qRLFgYwe1$^;q*6bI8chr#~yAU-hfT3D~8Hw>brqr!vE9K;#dkWILd%X9=%2M!{y zBQWzfgQ)otn0Zzh{d5Fo{?98S$J>-auQUK&kl`sZueQo ztP=#JAqJVKZDqN?q-I2^`37SRhyE(Or)TqOwqY}WI;_UL9&)MZ zc$he^Yi!=v3x|`;cW}M8d3OetJSM7CT+BN)6T@C}@TG{|+#U|*WxYV{;&A0M@ozR} zuju?SOkpIorn$$^JXdK=PmhT*wMxFmSE$3XF1}j3L(K)LI0}g`gcGdQ1rmNptmWy0jBfK>m;qY z$js2YELwU`X++NDSk9JVve1MlstC00@hLw4F*?1D3WeSiNT-v4e6&oEGErCz2n1FIGacDWSTB@!H2H9D&vmYDfhT*Dw|K8tNil;X2Ub zO}JB~6Hxdh7?@5+|H!o*Dwj7-G5vmi(|>!?IL&7Fp}e z1urpVBIo^rda_VuF%P=EtY<$fPlDE4kM9Kc$I_5M8I_Z>!)8hML$on6UL52ZB#R=t z9U=W#a7`unF0v&{9S=v$o(ppHIlRP>RA_3ha8>0~go^qBihxSCYZJCjg2Om7gBHwB zsx#7vx3S8?HjyR7Jmjyj<)wJNRYYP~s;#j3>dgVhA)LaQ)-aiJIs%Sx4Ka6u+SBE` zpiczK-iGwWK7BSUlHi!e(W`z)!mn|;?fCp}s-m*>v3J_1n#j3+VHQyS*9Q@jHV zEi;BZwogpgY>KRzb^HS&>YeXymQ3v-j4R*AOzpl-W@vwa;+3j}w~=6cSnw9-0L~Jh zV@0&b{FJHL>%l=5*2xU52q@-U!eQdI0u1<;sA6>FCoFS5))(tCwJ4Ardxka^6t9zx z2J#=c8l3^eYcb~29H0iCc&V=%P!I6xmW(8T!{LG?aeO zsCBs`c}uI%2NbUxKj9J>FmX+an@B*#@G{|05D@nxL!vfGJ!L(T>CuoZ-Go9XGc*$@ zX+jPYujL?FU=&YQk07q$pDeu$05aYvok%ccZwd}8jpCI z$Gxd|?Fv6-Y9IB`AV272{|xOPkZjEL$|iqtSX^<;^A9jBo-nK!R?W$0jw~5G$JeBL z+r$um)agyWXcd2@Nw-$dscBtE-acw*HOaPHE!Vovz%=XU1m4e8YhF+dz?w7=7D zVn@N1FPL9IV(r)08AuUFZ85m6=7e#Awx-1Is_q{CM3&){@BgQn1 z9NlH$Fs`A=L72kvJx5V|zwcF%W%qTmJvGb`B{*gm<3QT=Q8c1X*@)Q%|BMsq0z1@T zhbA|mRLV!}Qm!BqZu`d>#eX_B?o)<3XNzh}jtbm~`dS1mIe=5BvDqSd|LeOVyWrp< zFLEq?FaP&H4&Pk=<>#xU%dsN+aacU>?_d^Z#GvfXxt5k)|Mx!*pMc*NpYdJ5IF030 z`piAI6K>fR4F+Xmw_Pe$TmQE|4*y|ju4Ue5e7s`IGRF7+R92yWRO-2?9D_^_8$Wnp z)X*W#A_k5#m`CPX8e*w63BL#U)f=5_S%}|V{C?0@l_riZy&?0*-YWv>4JmTR)~aM|DBgYYgAGpd5cQnlj${Cffa7Z`Mn!cT?+ zZo@Bn=;Y|Ok)yeKGQ4YKvCPHjhw*gfykDa#77PEZZpT3LZ)|Ogds{4w-?y?@a`a!-))q?~e(ZJzztwHjZ*dok#rnHDz+&+jr2Nmc zqG|<9?o@ia$*E1K}GnC2CA`#L)3W$2ZtN)6RrX9Hydn^}QpUOAQ_~Iy!Rngn`^R z^p6@hX3)Svks}f7(D8`Ojn-Zh&dwce!pBSLv@S>Zl$Cq0SdrrV&tPa=&Uef(Uqq8H zI>_+yEUNqsIyTPJb^QK63Y#Y5yUhHjJ2%UxP$nM{2M0vn_X> z5dYfe*%mu=GE#uPz`HNAEhiA@w^!MgdU!Uy&bIUb)&NchZUC+T9tNfYPru2wTm@cy zpKbX7jQEgkDd~d#%SZ47qk%nu3xSh?4YI)x`~#R810pI10)PW@Apls!0s+MghGbwp zV45Mv(gRqFVzz;0y z4}M^Svfu|+ERTW79uQOu0)Rnvax5Q!OMxZP`R!LX$I=+M0yqGe0gMG!u9st33v32V z2mTJc3yiCuV=;Ib409UfSbTvag24~$-w^!3s1Wc2Ylea!xGn}nIy*Fi0N^2@p%mr| z8$$rlsR;xC>ocw2y$ps~z=pt|fPH}HfYX8fu(Y|#3ll%(20#ED_5p7K*9?aM;I0S= z@J6W~0Rg~J?9%81EH(-PfQHc!09*?^4E!|;{J@1{!4Ir94*Wg_L%V4315+k}9~e0q z{Jri_IE;Qd(;0DOd<)6;?9#zO#b#RBjH z&j4=%7bk)rczY4}{S1Z)%fJt;upIork}JUvdmUG_z8(U~ zAVOe6p!Nd<03U9E0N~7x5CE+46ZnBQfH#4zTfh%I3M}o9LbetBz-rsT5A@y+e&8`+ z%qkEGI3sZwm=3%Ne4PRTK=<7cP!_M@J_rDA-VXu5vIigl*yIot0NNb}KX51TCh&(e z@B{7B!Cww#;AijytNsFh;7`ZF54?OF@Bb5k83J`VvKt%*>4a@@G0KNt~;~qrkN(O@uFc3Hm z*b#UK7zH$$QI!HcfhoXxz${>U;A`L*pmSw|;VCc>Xm|>KU|nDoFeV;E5{QGq6rkl9 z1OSIUhXCLvpmP<2;p$5W0J^<`0ALm{3V8ER@B`nx0Y9+dUpbc3z_D+0EYE@c-{n~B zs~QYL-{)AW03UzIv9tyL@lTFrWL3QX3;&a2S;!tAb1YkdvDpv+H0MA7uuLulpu=+! zH%wFkZWpITD-qTmNQ*n=PF z?EwDjc>fcNK>!?@7KZ@fQs8M|lM+~Y0`39Y1sV+guDO-~;A&tv@GdX{nCX^lnGfvb zo@+@4F89c_oB-|xnt@MCfxiZ_3YXjm0A~Wjf&EK^KL*4wZwLVT`9J{hJn#gttuF)s zXJL}wuBO3|4GaMOQVs%umH-F<9{4|Ty0>;()5 z_HK?LS_FvyfS3>56$SyoU@Uu|0Cs2x0l-cjA)vOwPzb}?0N^HGh6EnP5H|w&3OFCQ zvLE%Xz&A3jDwh z@!$vk93KM#Ag;q0;bLt$V5aP>Cu1INW|hX4>YcR~QL{vHSbegvLi#N8KWU=a2_ z@kaf@zyRP0U^wvl0q_Ic9RxpcC@>jlI0AlPU7#7*A7~ehiU$|~%mju5W2&S<0Ejif z`M~|aWMI(G5CD7*Gy~}u2xy2xbQ}VJ*MZ@{IlqD*STzIuz=ObK;O0#51CN{lKd|Ht z@Q0vN3Jd^ty$Ajfy#Hk%LI51Q> zA9&9KeqcBzq?3V%fG2<#fo9-4+?Ht92;p&0e*myNFuW1o|1b~{aF`C958MDu2D%r3 z0AO{X88{jr53p;DMyL=30H*@OfrGG!9Rc(#3VvWWU@~wv@C48dGy@$Rz~2OIgd_NY z_DpW4TOLeD3rhe;Cu|W!-0`Qzz=jE3VvYQ2=D_R z0#5)pMuHz0G8+6X(H8^;08fmLfdCK_$3OtkCkg_9TY<^IRbwFl*kT+603QJD!qLT= z2m!#_z;NIuUCW9aN1JDdyG6nptpvYA418>BD2nW%28Uz530Otd5 z0+WHor$YcR7-$B*0ot|3pfVN$fIhRp58MNc0A_v#e&8cuGH}jp@B=>r&A?J~z~2V1 zH!uJgGX_LBh*V$%Fgp$cfVCGu0I+`|1ON*qK>)B4(5@{~`V9mCM=t?Cu;?=I1MjW@ zKhOe91{&6bALt1*1A~Be?cfXyXlJNv*aadS4h4UJ0AOq2e4yPHi)AbD?ly~s_hog& zYE;Sg82bSO+tW#0bnE4OC)JeD@9^N`j|aY5 z*#8+4$`3dNY)HaGe|~6-hXK#C$-+D%@$eK6ci3kk9wJ^qK#M;z~&~@D6g~0(-*GBzq2WriHh&CX>kL1 zZ-Dm$JWONPy6>}TB@@*_9AaV%2%ky_SGE8Q^&y)+vg-;EGWUkSbr&9F?#;nNIv!$> zsFoY>p#76=`4ej98PsewsNp#LuVAX?SpKAmR9l8Tfd8aysO^Wy3m{jY;USnG%Hm-} zj-C_E@o)qWTu2HH!NXoW_|(9|96W^PA{g^*z(X7!Zt%l#JUCg96n=PshqZX{EMxL2 zXjc&JhKWMUm`W840Nv9>{g@61J={bynT`Ox)kLeAo)5Zi0ZL;!ncWM}ZKh9vZlF;v z(`L}eHS+ccZC41*M?nf@Iso*+g4B=caL@}1(M+ZzK+mwF)lAO^?O24;m`(=mQj~5p zeFF62qLjXI)5g#TxgnIz_f^Sg5R9B z2ovN@{lHVCES^W=IU1iSggi$)%C}=F+}wPWUG{(u^ig)X1Ul45+NIE2(6fDV=u~4< zDXlPuP(D=34?5Kb{mMt#r7P$ezLZnW^Rk6pfk&3oeNcfEkPzfBQvt0_rU*r z1+1BU;va1DzXX4L)6u&UjPn-su!=dBgRFxsL3?dFlqd@KO4zmjiT@&-e{J}WucR`d zE9l3SWFajd4Z2U|9Lw%c__o{lmcsv4WtE;ipeI+!vEZ~?zVwXB(-;0{t6~6;Hz+T? zf7zEqsg5nKuJBI}!l3^X|KDx? z(eR&MH^)Ms$p6MFzk*>Y0{n#lvMsV2)KuA49qoa?sevrv6)%DIYLH_Y^@*?uDU560 zx9}eU|HHJ-$5gzavjavv!Q@>Lg*_1TyI=}sx+CZ<4XGc~QJ~9*&`hS2K!=3TYNk^_ zhlNlY(^;U~gwSoKUxPl_h;o^B#%nmRsVo--13_PCN}(tt1v`RX*-BL!QJ@#KrkU)X z1o~DRTFrC{=<97Mjp-~7)1GcK{Tg(i4wTEZvlIG39mu;f=s?i-I#DRo9YN3UO#PUS z0$rpF&15%1;puu#T>DQqDj*t~eL1!0(;Zh`d zSA}~Z=qHgB%5+E22_vZ=(@~%gj-r`NCxNaJO{DQpIe?_@WI~PZ#Jy$grfuP^drO@hd?+DsuzH*NOy>dRyWcMV{edARlk^=f%c)4fF=w*OO6pRXnwDZdwkt{TNpUL2k_J@DQo|uiOG_$Dvm7$DOjCsS zx6k@*l~eEk{h!ZA&syKL_S)mwd!KVJ=Y~T*fL9)Ac>v_)ud5MSPKEsI8|oP?XFzWE zrdp=uO^`o-Q|-`l0p!NZ)el;}06Aj0D$#Oab?g|It9p@;!yzvu9{~Bxay3HpRLD!S z)H7PnfP8d?TBhYqkT?EU*31IPE#FcBvRN(D@+QceHme<4E`Ypsi~2#!7a#|0W&6~^ zN_|#J_mW$`!`Cf+&=$f`a|AU`PvAM$J5nh3Ty;*+6T@Q<=+MJi4U;W4#F;Q zG?c4&T#f1A)*8{xnMs{BaTe^qz@B)!-S<8-Z(A#2Z@B%2I@{B()#OtscnPiGv!v|PhsB)`=Hx{`}TDl^iJU<>=$8=xIMkB zKTfOp!O3^$jnb~S_lzBHRzrWQ5geN4sSmOL@^*nd1)mUfygjq7&)YMQoz84D{#yt; zUQ>0euy(VXE8{HKv+&6Rp6%SSPrp@}m9X!C{lnYszMD;Dnp&U2Vc0G_T`rS>eKUiT zuy^^)8Ne0%&|huwX#~erDAdT^a=j!#etM7U7l$#N47vB`YKoTAAxGq^1zOI6ym+75 zpyfQsQ}@ffR0R3zesx}RtDa>=9h7Mp?@h7ZJ}B3F0^~oxQ2pA%CmHgc1!{_x(;+WE zq!ws73-SYp)dnr+L4NSCI;iC$$oYrWc`aKZcyRiSx)b|SPblQZM^u=W6Ce*iruu0) z8S-KLR)v<+Atx2e^_~U!gF&b(RpX@mZAO9lAfB$qt{eCa*SgcU2<0o#Y%Gk_S z2!)b|4>8`63o#z*z?14jTmt@ykXN3RO|K^n${+ZlDa@$;nUMSad_%2A0RLPlsZjQ5 zr4ULie)H+9R*IplfKsuYUCR?(AD_zp>MUyh@sL0J^#*=N0$zzwzB`Rvv{xFGL#LSw zm2enT$pbuJC?dH#7x9}hY4yyW6Zg!0JmVn~C$ z|MwgCsRty_g!1Sg$VDr;P!|4$T(nXM<({j^MJvTn)OF<20ZMQ~Ebb*YR12-dLs{=z zqDu8WVZb!Z6w0pF<3Rn zJ(YhN% zilH=ai)PdhG=iJp!z3uqLy&kVb?!xTYD*%NvrtNPnlvcW;}JkxGNJqdWx2NGLV2cL ziQ1`^LT!QKg`1}s$|?M9VkZ~*sJxf$&eYqq;xk|;82Iae6s(EK! z8OWsrO=X}A8pNh3gwkt}ng=gWG31|zs&!fpZieyopvu>BJmggmsWUoKBIHiv87U3Q z5-7S^Jeg2l9;#9X7%6ne5PJ0En zz;lA)bSkp1H!7tiLfNrWUB`%BbX;1a{VvV867wg^0Y5l-!v$nL2+6&6Uufd%bgJnrAL98xwHj} zGX#sF^!}1VFgObB3ME93x_BrfzTyx}gt8AxlD4ElS$ar@pnoQm1&7%(xlqFF-k29ex zfTH`@lMCh5KjlIzgxvCSiJCt^w-}TaP}XZDI2uXt6XpA~5)UN|zc_vtiYF1uCskFz zK;1Er@2HL+Vb^0X6Uw~mYMwUaLVlnI4TVsS)=<4*@DxKnUDI*$1jk^PR7>P|$S>Ab z`PwHDGG5tv#>oM4ZkIrY>8Ef+)1tS^Crv2nkv zfm)||JmmKpsC>x&iI7`1MNobHq(MoCBHa$<2`EnI=0fo_E0z8%gt8Dy2i=9mP>P{A z{TbW_{c(4xEPwG(hBRlz6QLZ&Qhc9oD#$;#ES2j&6Us>_P62YE#D=i|g-}{Sk8 zat{<|umrcozE@kE`5sDdDEqqWo`>>Nq&hQLR|j&J7~t;`ZHYxNUFbq6 zv29E?P-39`=v3!k%%xgs4YznG731iZ2qgf@zMin8K`95NgOd-G5GWO4@#I435vKx% z>Hz?GQd`wr%f*mqwO75g92}2M>!>C`_K$~LqYD}nvx6rQO6@LcopwsoPTf>KvhN1mVIvD$Nk6Lky*L0FYTe44@1C0$OG<^LN_Uf(jVV##ydl9+W=m@nJ~B=R?)$# z7ZQ5nA-5Q;CTKYka^t~jo|e-fPaCY(X*m<}$iXUK%ejzW9jwkkZe9ra!@+oQmj7+} z^myL3-|=_u)Ix!+_V~WQLn>^zUC+}9a`|L6Xt>>}{v^oZ_-MGC_TdqT^DOXY;8nK< z1s?K`OvkQI9|=6C|E22$H=gJ6{4&q4{G}q2?RwrvTj)J3Zti%V%kx5>U*mZ>&)Gb0 z7wj|nNk*!Zk1!_6P!*{WkioFi? z@;uk(`RGzrl_$40wH$~-ad@~#wr`X+nl9kU$cvQAhwNS&Gg&P9*VOv3#sr>CW+p2_ zj}g`9fckcf-PGF=eS$yzv_k)c7mhVdltNxWZi@aa`2`nWK^}Nn;u!xBR<*c;1a`Hf z*P5Cj29w}p1k#mn*irZ*Ia#GRYd)Zp0C#`QBgeMeIeuoG_sPeQUn2iP4-@@&8~>r9 zyn5teT$agx(jZx!EJJDblIM||@-8DUa`Elt)|IjiQb-<3j=i;Wu%Wz`Zw~>kma?Xk zn~aMQNH<7KPw^ior<)D+Q9l9hhPq7dZm5R+wLhi>(^8enNd|Kr10L2egC^ur0|YD~ zH=}wl`37<`ULPMQz>L?c92%j6gge7uPfKR}e@?^84Ac}YscSssJ^|)}Xv+e1yI*)! z1lC6<@_?bD>z|3zhq+K%4inv6D1+gTZoa68TA5=l4EiD|`dj+a^x0nW(CcOU_!sg7 z7x#E1PBM8j=F)^b<>S+pno=bGWlHc-Nqkl zFb=O}YIcf-1Tk0xn7~s(YLG>4{F{&$xp+77P#-6QoAJkzCzDHj^#5!c@@QzrjI+rt z=b5Qxg_7?!8IYTTo+3{tHwEBrj#z;ELYU_H56JeoW%U@dtB1GRfn zfZ0CuAU{a{A^k^^&wWaOcQFl5&`@Wl08_I?bIV}OPcs^Wt=_aSIA94%_>^u z1#x5?uT{hZt7*t)pv&ZaXA5w?u>-MuC26|3bA&tJ)PdNLeDsULm7J^?^6TW`GEZ59 z9qtXZTD&BlX0RkP!5H$%3^bm6!OH^f;PU!B`5Oy_e@*`^@~I02EG2)RJRk!=kAJ|KeH`O-v`_&EtK@8IGX)I6Y{VAEBri8&h^)khP=1L zkR>N;FnOQV0+`O4NPhPQ;lI;AoxJ8o0WYwHUL%j*CwvS2-@Oz0>&xJ1fsk)#*v|wT zz7$}Z?pN~9jtVbg27i;U`cC-kj8mzyw8X_91gs;!7h^!@`*o31|6BJIW-FHRlX$+& z1ZFFCp8NuNBWCc!2?1be-QbSYXW96f9pva0++y4bG5X(UU(8?%pkPqq4KU@NtauH~pJ55Z+O9 z-TyU%q)9WIios+MM!q^ixEa-*$Uoqect7rp^f7{bL~rr$B-ollKBtfHdE_sEd-Y{7 zq`w$KXjsJr>jns~MZTSU7rAMn6Xfj&ivMx?Un5^MSh(>Its)ifI28LIeHcSm8XlZj zHo+wFZ^%sxJx6|SlK6));|1i`(}X*pio>=JTt7m|%Ca5LP(RMS2WiM#DF!q3{z-m; z+zh(fYQ+q@M#_w;vN1}pD#;#Z{$@My;D024F7h|G6$i;pxFv|AJK_{MFJAl_&be-@rI#bFpNV#4&3&XG5>mK3fd#>2M$U1qL$n z>PM@^-^{n>4s^^K;byinyB&M2aI@Pnn}rPy#|&V09cCKqyiO9BY3%N5>VX+{h}18uZ_8e2du7Mb)LDQ(3Q4(*ZTg4iD4MRgOr$W;b`UqhFxGWNdoimG2~h zy9W}E33v5?b(-AW0grR{!w&G?d{{R2dkN(3fk0gX9Hs|KA?uO%k^XxU9A*<_9t&P3 zH&>Q<%+wGs@6?CcFo)cwTU4DNgD--;ftQHt!`%y&@G@6@n8ujpr1|ILhvVS-cEhS& zcDUmir^6G-hdI&ki3@p_aIa;$tvwBabtI6<_#yIe7f&M};NnZkQ(gQ+@+@+>{4u3{ zOG99A*^JHBFYl7HgnQ?Ah1^U(rguXA5Px^?3@0zsJ6?3>92#zR57O&yK1c5Enk4-O zmD{@JDk`A;XOKT5^{}ee5PtcJ_~)<-%!T|mrV?jLcVEdv@uF^hmT+GU`vUom92ba_zh!o8PZdi7GewyhWWo*MRpn&0WX+E1Ne@R)=YM>h zOMbGp@G5e$27&+E6tcbs^4Cpw-1(j(zJ*7)1 zdJRihC4G|43Jf6+_0nKQ`%D`0vL!(vGspt}w;GuJ%L@Fgt3J&B#Y}ePV}!fM&`ff# z$=E!PTug&`9{Jb*lJOwyGn|KQA!V)15iXmWSc9U(U@cMmfTizhsaIWl)|nna4Z4-7=Qnm#_#GVfyzu2NYI(w%oClFu^wF3YH89uW;~X>h-1hU zbUwIy4C(x>FP#MFf(B*!#`>K+!Nn^fPu*q7F5ZGX-Nk#7XSw*eI;g)hh+Kvjn4rkT z-y*jfmM!SVCU$x~hYd*NOy!)3V61Z&9UTEKUa>PgM=$W2qng6qqvQ#bK!$d(&PK88Gm z+)F;o;b{N9G_0iIOD1@P+{_1^x=RM``QSZrbD5dt^#Hkhb$z0T#Bo+v-T!8Jt<+Nt z?&b9(a`*B&rkD7;m)ARc3wQ57my+MUx;nR%^ZQ5wv%Hp~P`XK%^%dThEn)VVN6Fn2 zl&7Egn+eKnOioV_ZZ;-nN**_bA1RfclacWhNnoaAvy<6Pp2Gqau*-r{#lMoAtSabi zU4eSj1mw|w5LC^JGlVbW{=*u^1oK`o21zj%Tu-q@oMN-e37<=zM{btsx5?Ark*mh= z0`d%UGgkhLa11r9P<~(GHI}q`sAQbS1cu)ms?LnT*JEzHB?Wa4#?+Oi${^Cy7+zM87}@P`6d@%thw_^kjt=@39MFS zYjB7>fjq&I;}7z5ax=U3@Wl9(kyf z3SR*P*H_2a>wO)9p($q{;eV22%%S~pm=9jY={FMKa1S~!xqHyHd`JA7~Iv zaUCKzUC^C@u9KUI%d8Qtw@JqCHR4Bda|dQ_gdWQgf3KOUQ<%Y=_r+jJY9_R7a?=v& z^zZV4_|I@U4iDSNKO#4A^2xs=$Hqw?xc+IlOoLe?u93I;P%<#LW`TGxq`T}1@-7%u z`lwC5=QHs~a_8tmeujLBn5|(BpBQLmeJ#Y4^a&=&J0hGVwO#_(Q+WCY+X)=Xj5m=d zlbfmf2zk~<@yBncjy<1TXgx-CS!wl0RBa zBJgRib&mYaP2&FsGw|R8EZuK!D~X>eW~({*(D530@sLXFRtycpYeZ*so` z`iTA~Oq^4~{Y{5Am6jOCj|3uE;l|+3HmdeyN#IjSB6VhhA36!2T2A;Va{tl74>3?W zc{A>-UMF8kJ|{uan=aTvzBrao=8uWp`j&=ziv{dqpiAV1H-ulIzg{tPAK%$cz{lh@ z$$t!%f+mvJC;#eI3H+VeM#a%^l6_xA(pkO8f0!l--sQ!)h`e!2anwJHsE<|T%Ob_U zrC=-WZYk)(HsZLDe1w;V10BV{&%3ON!Q^%*FOyn8PJo5|lJ@3Kw6 z2o`iNx%V<>oykm~Un8lT^x3z?vug!0TqOUki`2|qe)F4)|I#1DuPrlJO}?N0rl9Rx zi2q~q9R_?=kr@xA;hRPh;Y0Gr$+zf58;6;oW|3E7(~RP1f0O)gt`KIv-b!BDSt@YA ziH7U%8ycQH=@2VlPSzRnH+&@Hm*r&n+#@x3IZqrvk$6@k@~!%A1IMTI??Qg}8{%j- z6%T8!AEUmqKn%Ruu=EQtbr)P4E*bDax3!o2jYZ;bb`@1I%C!G8G2%Z(PF6H|+jipr ztDLOCxVc=j$s6;L`%-3bnmi#=0zAw(rR0C^ z6i0kf-O1l-jEO_np!d&`K{N~0j{JlSmYbj84I*F3Jv#S;)~x;#C-kIbP?d4U(!VDc zW7Bf$!;rtuxY=S!z|TOfD@-uzPl+&|H3(`Y{>`}&yUYxlk{?Es>cc#QY(@UzQ^Mb; ze*$@ZZ;)jC2dCI18qTj4&k!+N&y)WYC4n|`w7*KeLEkUo*yJbaR*|PA3!hK_E#wn^ z6F)BtX64hco0l0s1GT;o4hA8j$oXR$=_)y{;kDkCnaK#NSs=Rt@s|IE9<5sX6&h&biy^A4fjDKY$+p z(KHO9VfbLlaWnY@@;inIF#gYxH?@VE%PfO@!*z-CB`cuFFHaPZgpYb6vuwIw$U{CC9>bRNimB-6Bj3rp9_KH^VCyg3Yn^^jJf~EW^Ef6Le@%2Odd@M8 zeA6k>o3fw_$ZN7`xVyHp$e*4nj{jktQ{Zf{hlN+8NWq7EKee!VVvVb z@=6Kfzm)t-@@=uwa(9W@`k8$1MR8m!^Pgpv(BNegVF_@Km)b~69O2&0{8iXW@)0K_ z@?rYFPyTd?@CU1iLBGvew`hKj@UH&Ct9s+aP?9C!FiUz5`Cq|OgPcII_atA%yVg9x zmVWEA&fxJ^1)TQC`DgNgZzYcN2a_=ULGFG2LCGlc>U7+^I zgl}a9_K_b)lk4Lu2Wc_+TdgGUTE~jgRlipP_21dTSv!w4c!PXo$!0=Sd1PJ-*@ z)%-yx-K{J1zuHU4F1Ap`c&YFjd@Sqq4j)ul_ZR~=nP@TR=s}+QkrcfR3p$zn@6%G% zPv}2~eA-OmX7yV{zAsz2+?>!ohFP8|MQLR1XC(o0!=}wR*uN2;x+y^tF9uxXH z*GI9O@UBAPLEPYMBado_`s)O3`A`X0g>$rbrq+M{8R$R;lDCNA1uwv)#_u4 zoU9kYeg5UIH?k}B~I%KC!5=T{P$YlwA*d|`(0g=~pZ@~>VJ zo+~G-HZ}yh!akeMh1buj|wKSx1$MAs|tWU{@?-Wo($Z=#EM(`_3^rI&Mc7xDnJr^Og{WS65)biD~Z&-tim+f?dJU+5E31+HCR@gNn7Mgf8BU|U#MjpCJ`q=PePBOf4OQ){o-$_c7 zyh}=ByjrT1|JpVB^fqP&F?pwu7wsuqi5cYSu1uGL>)$u4mXf1A@W4JfONwP8ZtbDR zQf=3tYU5QXjA-pGTfj?(?=H)0sQPc=FPB?%mU`v63f`Bz$W_3nz^nKMS|gA8I<3c@ zgf+(r=UvKV2`q)=iFd7$_aHa5*+w49PBzV2NS^Gfjon3xo5gN0aYBWAtx!J8Fo6ca z5Qye7&FB;w{|#rLWcr&xk2w6+U(`2ag8B4Mcg5dKp5Qbu)<~1_w>0E2LGomYbdEgB z)e<$7&nkR^(xR(WFx}N%_md~Pu7-)=x<9;or9U>B^3s2eE1NgTLqq%=PgC68!kb&k zF2jTRa`XM?I}iSH%Ig!LE~41Ansj5oFtusUILGYmO>>?r_@m^TT&0{tZiSXD<-6nw zc53+j;GSZs=M~x^v*WM%aChSIPvMtfBDn5{taG0X?Kl$u8$GwPH19u#PmRvzDez zL&@`8bJH_UvYv}+p6g1s8C+i)WncP$H>c6xc?~_PVT$~d6VB%^=j0dAlQUJ{T9EX- zo8@Y%2!~g(LNCbB+{-2z;_%v5dCqLa)+q2Q_{qkq(NCI)uI|j%9%$sS&n4oUK9Y8q zNtyBuQx>^W{-wDd3M>o9ja3fIvo3pRVe=Nc{bdP|+Gd`VoM zLEDlSxq?3I@Y+@=`y+w=Pt!l$RmlS3=-8cQGdQa{u0!KAi`3()j`c9}XE@8JkCZEc z$xJ>i$kSas2jkFboJJC%6$AB$zvk1p1l>eB)U0t|lvIysZyY2&&gQy8KBPSmbT{kLg>@N8{|uM^Q{-8$ zBCjSda`CU6_}1dBzCq=F(XvyTVtR*uT(&_P^pjHNxq7@Cxy46{!)Q-m;X@mWT(Qn z^-vZJPMg$yPD_|u+@JQ$GaluZ8_Bx`k~8D6{mcOQihPZW|L$;HFxOZw&RYQk*xs&o zYGAmlf4YEU4s&{QxR!Nq)}2Ui>l5isQ<^m6(I><4_~#}llPUAqT!HM4sGKI%dk~`yQJ%e#*FOC`suF4~vb6a#A<6Bcdd1 z`RJr5jU&{BT)SV+dX(%ARsS=)o_|tgSX4}OlnUQ%*QL^0h3>KIs_@V4az4?@2eKzt zJGD^*KDC1@#3V(;X*I@)r8e!bE9V^h+#c@Z8xf;^-;XAVjN&<3&dAo`D3zRPj}m|N z*gpFM_0fL2zPhmAuIm$_8tk_-9N9OjwK}%nj<%y?#J563tS)hMOlv1pg@`y&qgBcQ zdz^aqpk1wEOhg-tzXz^TzOnDMBV${uh=X=l7ooOUYtdx6Vl} zutRM1)**Yb>UY?Fz=?0iL`107hwYSrTfgwF!hf;b`?iVA@&DS6vFR2WqvDU+d8*pC z_P5oCMRyt&-KA`vu`xMkzqPOVwEh48DeN+3j%^*GP9C#gtA6tb;FFS4r%xO6z|=>R zTDOiXTp4F13!^kvXHkxA*(1=g@+_ZCdAq71@h?d}CvCK0b~Yu{9WlHW}mm zp!oe$rLoFn6&)3mY`mMC*`#Liciq^GVX1{qjN5u zv15Ij|L?yyUM4|wY>aAl&Ym7Lr3`Kp9-}hP+2_@}zuBKxA8RsBNa)_DXQ$2>8IfVp zIcewZcYK2;xe|t}W*6-%b#D9dahF4EPQ6R^Zr^f}PJ{9=7F)C3>D4%J8pU_IAIJ^b6Ow)^6jV@D6vb}r?iK+PP*D(3bkwoMZpB!;18gx@U0rc4 zjJ0;%)pdpM%*^GzC*S}5eljy>PS2UVbFW|iHZ7WInrm&|$K6Q$8p_0|?Z2u8ejBS= zo655Fg8MtDHKEI(t=az*L;r2|#?VWZo#|hd3u$4MlQgrcE8S7mKb1RA zB^;=PiP543OVF3bM!x7(4zn0KRAYoV;YxXe?a-=5Mqt!{dmVq}@lY5`l!wT?M3Oud?{DT5-J3=Mo8I9e#ijsW&l4`-Jrr_-vZOoCN$4<=0fLc z&KKLLjN&p*B|=$I+>CQo&I+os@HwqjMxV+&vRm)-bGCt0%&uysGBR;$Vr2BEiQ~Um z9@z57a?c9oP8G_nDwJa@l%pz?!wt%*Tws6!fR{ZglpQLREi05Y70T)ghTtpcMm%SMR$S8iNR)J4q1<*3i_ zB=Sq5Wn8w}k>@eys+JX-IHmE3JFBFKzf9nVFN~+vJ?!9f3+m(H;L9~Ln&8(dZbsD2 z7MP98dY)K4E<5T47D{Zsmz9+aC@U)~PU2-B4h5 z?3cJKQ<X|_cVdd+i0<8D7bE;7G9yM_%Dq8oGIbdu}kA-e9orO5fCC(+zfP0^7KjTzzTvQoWB&kc< zzn~d@0Wf_d-S6jZ_L4gusai^^<{RlBeqJHFMRQ7P>KpP9?al6l@r<#fi|P4~ zxEFX#FIA#EBIpGU_A+rYLwIyX4TI_6VZnbP5A zyfux>n))R!TYaUC(tUTg;oY|}<8#yx-8Vyl7;<5*zb@RAx?bP?i1hfK;}6w?=Uds=W@Ei>UUmYXCzx7^-}v4X1c&3MB>~1J17z zEQ&W0bE`!LgvX@4>1%+k-3dXYH(ed-rWvOvOp$~RyTHUQzML>S_E20_0S^fn9${{8YJ^A>T=D=(3u=5A%cH-wCq# z)jEs6trBF*cY_uRR?&8k?bx;5-~$m7b2|>(O5C-Rn60*e3AnGKy^F2bwBLv&OUnmK zSpJ7#?4(C`6XIfD6FeYd`Oudimt(o{2)3RWczMZm6>Xj1YP|Op+85(Z zwDs4O%IL1Gcx|Q90!SQlNCGt@I55Yuvq-|%2$aGSvl7~;wzX>J+cK6HL_9PDB`I&3 zp)0wq^kQujsK1gvs9j6bQeXLPg{Z7k#{{mepmB9vRAJ4PfU{~Y=8Mv}iUIdlffxkb zn4c;H+y#Nd1MWl|Ew1CI>AOPb(m_Hdi>?cmJ&HV}sgbh!9`+H@6M0|plvR!^XrBl- z__~~CMEJwy<#b~KQ_-hx;aDy!Nqqk(nZn)vB3 z#MG7+BxdYA{}2b>heW}Tsv&O#ygtf$lLt5Y)`%~L!SAI=(XrpswYp& z*vFG#L+doK)%+>hp*z&hi)gO~e()!y*$sl>G^NKIL|RvR`aeeG1r3!BlGspmkRA;y zc90ed#Gr#*BNaM`r@-MI#J(YR5KEf2v!-S{73OglY@yr*`Z2jG-*zH=Jf&|MhQi|~ zG~}|UrkkFihajM%VoV^2;;a}1t)I}C(Vm)V3w2BUh19xHDC{k!mz#QN zGW0mJ1WsTNTuAa5nkmI5NQ8UJGVaizIFnIl_(N-%Y0uO*@f~@5Tr5zecwQS2d%$T~xDAA8A+*sBaDK&+$e9q-- z1fh4Tf3;|AdTTz{CBs{+NYzR6X|wnk2%Asm#5=%W?sRLsyAvcekzw?e5d`Mk{G%8&}Q1Y+Y3K$`&5I)kbUSBcY<@m~@0yHZ5xt2(5piYeHQ$ zRrO?*CE295CaMQ>fZd1#7rL{pB^<5dzHHX)Rx6>6=Vh1>Mb}4cdi3 zwYy^SH`SA!%R;g+n4cvU6t!D`8HM)N(D#nuKSFZiZ99k~+SB3f&8@->_$!Mg*DSGE z($eineCW0?!(2~1Hd7Frb}(^llBp=CTQI?9Ty$*CHZm%y{h2;VFbBWeLd#r<$%Q|g zP18I0!NJ*dR|kJp)@)_1)OI$mm8_^=M@y)8iz{4x{cN2>KG1fl4mC&qDaQmy>FBew z(1{1Zo}TRJs+x|4C)b6nV|aoimBmH+Fu__i`)U~rdWK8Eo&qj*>Wk8ZS{*2;qcT-q0;|(7kV)GDbi>MqWDzPT^ znyA@=HTk@zd@wqCk`{NXXSQmOFc@cWT&LuOf1F1BySu}iX|z2i&!^Fp?hY=VsZu}0 z5sJ-1-aH7ladtWC%Bl1~_W)RWndMg^R_xkQaL^2sO7j?BI!zcF)5FSPz%+$XVQi+* z1(}?at<-!PP3+OP%8RKIgF1UVLce|Vdk<}+P?BTzO^mHEwcr;OH`(+<(+1JamD+YD(K z_fgWX9^5`lqx)IIz!ciGUjp<#EBs`)m-_T?3~iF>sQy7P{tR8y-xXHwSU6Pc`OnV( z(LPI7O1p}spyNpk2XuykNwn(#WOEL8q^4GjptJB|KS_B?ASCO=*rr>M6%BuPs0bhH!$AH5oDNP&)}yzGFp0L zsQ$kYD#h-^eep{2@EA{*4(<$B$I%aigW%(F>N3Oz(#O&IL&ELX@bzo9JW0vIPJmSJ zB~|b^nuB`2Qp)Fd8`2?I+(8eAUJGA+&8HEj1nC zYCHI(XrnJ^CY}n$e!#SZ_wN=TXv-1lpn6QNkBF>nHU^AJy1t_(BcoyNaXu}ZD`$g+ zHhhhS64l3TXz55djkgRJ-Vp;PiH_J}loq~Br2R()LgrC1_&%8^B9`M|#PHeh_fcBQ zEfOlGb7i(&JP~JG8|pRM8Xg=GLutC6bhaeT9j%RQUrw5X6Nj>2dn|ino$@L^r{Gy@ zDEH-4S!ajgIyxMlrBLk{FZlH^Z8*kNGb=@>+}sqQT=p0(bV;Eb#<)1wl9l&R^H@nkx0tPQM7rd!84!t`W%ajXOMPo^bf zL%>K9#_I{cCket~iUH9|%H5enSC6xSg-P`AI7b+lMDLGtfDTFY z%eYW@e?Y7u;w3eAxzPl{GkLrT+)AXG)M9SAr;=Lh&!Uq3;o_g#8A*MY_) z+QNySxlPrZ=<9}yx*dsHsGUg9Cwf7EK+&8@)R8|JPhBPi!PfD#{RB7IuwOKOGkyKn zaYB=V30li@<8;;)DQmes<8Uo!MXMxP!`FR+bj^4j>(%20>DVN5tC12a;zn6TbsMj& zqV^kJT5umr>m<8F=@{BG*&3dWp~=aCuzw8Qoa_ek z$IvUuUf{V`cfjZ-HRYZR8Y6hbrID_}gz9lDB~HJ|=J0F;O`aSIV|EEX+eYd5 zq>m7M{zja(BWSfLVesot;d)0sPO!w8KSgW#ZMdKmu0Jcsr;_3H=#<*vEy+fW)Um!Q z$r?>Hw_G_wPqt5naMlPqY-%v1?$G)9yhP$YN*OM+dOua`(70TpIAxV{i<@NOJ)F8t za|Pq!wAr+=uwWQHGOaUI-A-$!hG|+$GR~~(P{C|esx90YLg%D5hgn1Dom4OAIfRy` z)&-X#v~F4hC>~5Fr#ZpN!E|L>2+SQ!ucx*0jvB0293P7C#fYx~C_#d>gK3lW#&B~G z%}P&#Zi6V99s}Azw8`|^@OU7dGTk0d52VYdJHWbu^zigSPV``p}$xME3#&L&BT-yOOW~Kvt>rea441o*% zDV-Su8U5+qnYBT)Q49zvQW*D0(m>&ngbWi^^MPV-geMXiE|9W8G`*)D(?eo@%Fx1x z0kqnz`fzhS?UUuAxhd7*+@AFn+~_PV?Cwi<%(4aAmtL3^1s(g+%Ckf4UHX<=8JnMV zCOdXV){R>wxZ2855AI4k&JL`^*6~@2hV1jyEb1?CIorHGg6%J}O<;TNNsVoCOa`@+P&~L%zxav> zIQ><_`~%FF6)6jvU@6~Ik2?7^qUMBm7LdY{zm#)n3 zlX+SoJp_|VEA&j3NG4~y(}?*YkiT4CO(3@`y*xisWx2eJ9sfjv zR4UB8|3vE0F}bmtsO~zqE$bpke#_OufG+f(+ywWkT|^~%5Bp(uT8cAYSjn?skYnA; z&NOjBZP?wJ?pWXo*_~<80yh}cnSNg24h=g~yMK-?xmxhBRVSD%$S;HWRmfL zdjP{HL~3H&k;W{FgvTA|ltsRnDOyTlK+QZcgj?WEItYde8+ zZHX<6ZAV`(@q)N^)SP*Ob30m(If79;+MNZ!jka_S8v*^>(l4w5xVEK{OPv5`>26EC z;g>da=F%3B-G&w|jfVI()O4901h%08%j&@A)^yM^Pq^Be&ckG5YkFXrFHCGrf5*Cp zt*PDe5YV)yt(QB)n^trTCKp@Lh0Af>(TW~i9_WzRN@ss=`Ox}U8lTXL!iv7|cS|~O zMG%~CNtdjMhm@A|>54#yxRyGyE#=MsQj!I zD9*3e!qn#Ux7FUzp*gLx#va0(<3W=-ja=gf-{WYnHC}K#j?P}=4!h#$&NYD$Jx8!| zm+Es?jpH~gvx|Jsf(_qW8etVjWAnn`Ni#Yr&k;^H!xc*~y_6RSE?MGazIwb)d(UP< zmv(El@UbZ!wl)F|Hl-WZdO&Vd+G~$hRcv8CBaUrKU$1q5_DyNkb@ouJDfL?C?^3C$ z&W*XaPr_||+bUcOPf7DKmL{(23aw^~xNF;7C$m?qkZH5t8JuHjJxofQ(4Oo4p{NPX zULOR#XNkT)B2Gs!qKTlWw!s7%G@0c zQL8HWw4Iv~L(R^3(gqu?@SND}jK4`@1Fr8&S$U}uU9d44<}{)=Hr9c5jcD65fiz;1 z38_ghpK+iAH`&7S8N30iAB@#WTtm~(I?#KYOki9LeYMFSn#54;<{-E=UD%+~V-`0Q zy0OhBu&*K7;7l)Uc7~AYxCS?;-#0sHdNt8;4VAdDTTDRRkapfu4=yyISGV}kV+fhY zv$4>u0kzl~Wm%4lrjNIJt7@i|vC)%> zkET~6oiw{>p;?b@T89@=3O8kk%-z#oHs|Fin!C*g@}uZ>OcqDcf^FU~Jc@qU<_}R( z)N#8bI7HFt?G8{{pZ47D33uz$jP0SYu0B1y-5XNs)2G{Ap<{hoc}E1;)~7K$eBgaO zIs%h(^(fon=gjKqgySMf+-T(The-Jo>(SqLw19wmG;n8q*gZw;$Er!|c~>}AS6Fd$ zrxs?{rMGu_Lhritznxz2_hiu&eWG;+s|2c9)(Y8czRO;7Hd?K=_m-MvZBaI>LWy3Bt5}S~ydSF5Bk< zYiiMB`OgZBRtMiYMygLPqa>(BNuGmIAg>0!o4{M=GAk`l6akB|j^iH3ecM2~io6P60PH@?0WYB#H zp#6_{!?ggKbHv+uLx6%lV`?rgI^uZnBkp;LJ1c8~))j>RdVp))Q|Cye6k?@RVJ z{OwAp@-4dPC75y*+Dv1P89reRrYI>a!-W!=3Iv8w8WxY4KTm=;=;N&pKL0x$A`u zkprZ!J1!&!tI`LGC9WmSKj)xn?XBaO?j|_?ea-|ry3xw#ogmDOdY`Wcf4kCw=Y8O^ zE6qLc>bBWcVLanFzdeT=-R->n(570l9cQ`HJLhAdu`9JM7z+1X=!}9n(9(sP6ncT1 z3ymlYf=|wLXkkm|4bBQH@k}9OjB?CI1iZm`v!uDcQi!|dskE8!4kPpz-IK@EEv zbu|bc+0ju~*Fs%8YIe;JG(54R3D-=a*p?2z<_!mI>Edf{u)vlcxfTxHY;p9#V+&ha z>v{{gY(vwo`@w3S*wBLOS{PwNA72lI`Zm<0$N?N|Xkd{${9{c!7J0)}YdQ^qyR7M| zqHt)IAS{is*IC+8%hfk~kRsbs>}7J)URqk~MkKtoqN6bx+f^JsB-!bx9BqWrUvHSe zM{E9E?x#QTfjoaMe;Buq__*_K7k%`;u+`B$wiI+rZ<@efOS<)@15ismMzf;7-3)-% zmQ-`g9lR}R*sUPd!OqHx=Z=kz{FH?tKX}Uos0F=n%LT?*&^Ncjpq>SFzHI}}7PQ`N z2Ot)-+wH*mH_QbgpBU20w+mW%D04txg%^q%R>7VpLfKkYGjn?GwzJCwJr-XA13h`C8qBXruiWu~AvLkS4)wij0?svQ zy}PJiP1@~lEx2q(bMNBH%#3co8wyj*=;OQI(B6zz{iQb8n$ehF>cJz^#p%S7(qC+0 zM0>qQ7hCFFGQm`|-?y>SfQ3@EI8$nVuQr&P()fEpu%;cIa?cTFyVI5T;x&~lbi}iz zKTYqOKsO8Oa^DAnENIL7b>UBQnt4AG4w=)l_v=8aIsNax3-mCjP7j=+t~rf)5C}h+ z)3KOLYO`bv%M$Uoy0iOW)7=2>irU2=e1Sp}c+MmhJ? zefVtBBW_j+K}Co-PDNim^M*JTHGdwey4}QJUfi#x zqo3E)Y?BV=(@;lYmYMGW8FrK8)P=@Ad+rDSR;Fez{NYMv+TcYPFkZ5zb6+^BMmJWT zg;VJY&dFbz`t5}YlvSeDUphc>CF=LmANE$F2`^*e*Ge?+r45{_M3267f}l$DA(kvE z(SH!-g_?SlM1i&v9Z=#78EQJK#0C1{h4m6|Ra}fRew@WMK6ZaDi>QUQp0BiU#h5mD zQ=V7&2+^&|@TA+Wu!I3&j-@JFrNV&lq2{+h(GG1fk{bh%wNg)Oj zm18t~j>{+Co`mjt8wCD@K7Q+}szQJTg^>_C?Sl<%{f8C&jQhXxMOHn@h5L1sk?`x` zKeP~OL~s7#4(3MG7pGmzcjl@mWrX^@Yp2S=v>^rpd*`6)g!zN-yr5n^-EQfMUhBU~ z85u$BY1n&nhqI-^7(R&eqaqxwV~dVTUAL67lc9)~`rh0nxg2fA)I+#5`NlC26Cd4j zs}f2HEq-fDufDGg;iW7vj6~Jo)yi4%o9~3We6X^-i91S^A@<~_CFRNQ96J;p5UNT* zw0$4kRAHFj|KO@}j1*nOexL0}N8*3+C%o}9^F>+N8$Z+)AK>zP(<3-=JD%FUvC;$A z{6q(Q!sj6W>6)p_f70MnpPU?RC72tGw>#uhmGG*!5`z#A!+Pd<}< zgTIah&7D7W+-|;;+`fO)TCRGhaLaCmT?e;+IhG5JsLy})suAx9jr$K@9tqF|ST#Kl zqVTx(pEmW%9|{kAEvO71t)GaJp@Yr9LuY4swf+iCF3v)xvVF@q#pGk+G&~y$RQ$iP8LH6NWbt(3rK*DI4q~Tz{faEUM0~-+2V31! zlP}wX2hq(xgftdQh}L42-UvLj<(;D1Y&M1vcNN}wxF>?Y) zfB5353y$2kI$tFy(vwugMCJdIuuK&RQ2mEQhg2k5brdsSRb;TL9cKC)6HmzXIGAlr zRujz`yiI}uz+Eu)nKYq&C8AZuJrf>h>6J(T40k(-SEarhL(vqry&5U7+u~4u6GYtO z(7$pLH2L7%>SQg^Tz#VBJMp39+qniR*YY6|7ysDI8pIW|0Gz z3&z%BA?CyiZ@dX1AFvmE;X@a)xWMng#MEMa%}GBvaFv}mC+=|SDtp7zBUcZaS&+7% zS$kin`o{ZG^*L6ky4?&Mfh#}%L3OV*eqE$o_0{*K>d&l*Z>UPL`BC+E_k`;AL=qk# zPzp;r;ETy6TRZbrrK+H&TrIJd4x~Cu(vn5+{vxYxO#*Be;eA~U3PX#ExJ6TfSqE#< z0#;sRYpl_dB^TLwYf`^z%0*&S@)%#QqNmooR*%N}T}nvRWjBI|1M6giEwA~7(6kr} zD6nHwZSZ>AOj91oY?}=^133k3lr8B5g9_MrTe23Oo@YbsNP-tq-x`?=$EN+^-KOuuz$mw8`AdlJu_P}VJvV^sT1fX@V8ht}HAx^9o9*N0_ znuqtN(GhZx&9O|YYS@HJZpbE#cf#mfiP!ZI^T#Hf&4D?VV?`3~af2;)BF@3RfBK>8 zWvkyMAzM8As*c0d8N5YNatY^dx%A6c-$-Jwok+CJ*lI$RFBP5vANh$t19pOmU06S7 z(hZ_g*a>Ii1AD8oSI(pX+(>4=E@Zx{PZfDZT~%<6(A4IR2R&VhJAvybSxYxE8s?p3 z$KA+OhoFz1|gEv@? zy2?qW3L;@}>jaCyL5A#SWq3!cYHwM)gFPh&13`5E`)m z2rENsSbT&z1|$BhuUrR9)-xDqqz6M-dN2u7d3*tOFqn8i)MfS?0-#D)W*$QJYQjap z3%6t)P`HNR3%p$qFjXk2qk8;LDSh(JNAvKYPWsZL5^sJeF?SezRKR(^*XY&TpXf4-oEf=p_i=ujNF}OmyQo`EAke2XU_`y{% zC>zrEvu=&aDLA>0**75_Vdy?Kt_i{0OZ(WbO-P)R=St42u%rvV6@sl)jB4^egX^cl zl6k5!)+m-Nf%MhvK`c%nKks3lO^F|5?qMC8qLgjR+1jSW2AuY=V@+`!+P8vPH$!10 zpFL=X^TLtkEF=z{kBi#*|#ra zQ=8*VU9z0*YmW1k>k4)sQ>(d8O3Ny&FSbU3c-37sHwtJ-oTWt~fByEvgwijHCA1(h z8kaRXXLejI8}n=n>?HLcmx^QgKH2KCd&I~wL4zDh;Ko| zer;Br%Yj+A3F9&&5oFQ||759CI4K{=I3vCk9lVEij3-SY^*0`=zSUhf>eSh?WCS+t z`*@7&$!nLi#D3UwEpu#%;T^q}MYSYNVCf?^qb13N8jqN!6>-%(UauogUL|em+KQN@ zwpbdN)0zrHpcYyaX3 zmzonbY!|K{gOxX^8cU?wKOp5qC2^eU3QiM=Q?mk2U5-=opXd}tu@dK<2wU_)PSj*n zrKISwtZpi+udk>ty)Tu?iAv^38x=$d`KN z7ax==7q>;!XREt5WBuEZTAFEVbgmj9B<^u zQhXIXh6BgQsm^br@d>F$Bo@U>MaE{FK)F%>%TgW7xA+uBITd|^S+Q0r*@#;T9_9Si zIM%u?&hiWN6ob6Di13qnoJV2F<9gCxPo*wH6hs`1ae4b1jV+mQpIfY0JA^AJPhopv zmZdj^Q1+=U=>kRDS$sQO^>x^Y&T6m?xyn22AJ7h`O-LnH+`ROC4V%*rJ5tRhY->Bx zB;XvEnPa(@j|Dm5b9jP^W#N=AmmSrGjp8(yY-hIZ$pEmUEUi7hS?)&JA)dxl_JOAz zDD&=sX?M!{bimQ-JY`Ed;L`RkW#>DPz@UP=r9!X5*k|0u*|85%(w;k|`0V0YxyOvl zUncx|hq-pdnQGi!*1RLJtKUfyV}FV*=G3U{1`ODfl`vltAuEfqvP7wz%`5q{g%Z2F zEDt$A=^b{wBeALa6eaQjDwlppbl0quVa^u>>le$&@$ZED#!-vqzOj2J+`i7cEk;CV z+V)#bcB&H@rAd=f%gIhHlw@5x6O-X|A$K5O;iyX*;X245;FPyT#_BN&IEFsp>fFSJ zG6=YPGAbJC2^Mn#831z{u^XL9V1s`b=mcKpkM?rH4=tB%7#A*s>sQIp6N`ZyAFOe@A>~zkby5#+2<0SlpJ1O3mW&G*aCJMgIX%gBaL(nr2C+H4aH8&W znT?uEd^Leor*PI>sc?PrILVv(@?crKDNAw|(; zJm`x)OT^+_mf9Cz1smEI-$dRo3cir308evZk6c#0A8}%T^MaQs1j0Y_S^a)E$=;vO zy7eO=uxUQa>4zQpKsFmW5LpcJ`^|LwLK6}`h!{!aZ#b3u9_ILmp1aIfEW&?43 zQzJ_VcKS0@(DP+wCN^AtY9DUwYiaDfxoqP=Tngl7vNr=!y8B#aGKd7iU)ij|AhhCi zHXApH^i##2EoFNu5ieFch}ddwWb0I_ku6l}aO`*KeEyL#Y?CK*%7td|7oFp>bPvh- z$I1}llpa9_seC^PHM5WiYv!;;gRytCn8RKTCUvXVC?~)vj;$SrOPiKMaB+Pzi}f8s z;vh4NZ6AVGZ_8jehM-sGX0Z1|h$FaXF_WQqL}Z=8`VYmSaBC);GZYP+n8}Xtw0S0b zJ(P5YkF!~$Vc0p(&t{{Bk(u@lW-A8Fn3`#nC~nkvNX0y6vl_!mGu62h1|5ISaNPgb zn5lD1&6(US!5&otac`G6U-ZI!Yyti%>Z1AOa|thPo+bBo$s=%YH)ck;+YAn#x^rNT zWvocTYtLc@BZ#wc*zwXbc4H4N?Mp|HYG68q-6B zN-Z%SGE(?;?5vC}%B}4B5+O~GFh(NeD+tjNq4!L7dn5^HVv4fLyOJ@NtLsX!646A@ zNfC8O;nY+jyqm#dM`74qn!$#SBE4bg40dT0F6o13Fx6-h37@C4=+SsOwthOx9Zg)_ zQm2>uC!KJU+Iq7Wc7@WUGrn7=ExCx3% zmyDR%cw)^g#u6*2oX-5mVuTc@u?}OAWPch<9gDio%T5z?x}n(Re&mJvoUT8;^mwb`pCq9@&OYVfWtS(Q?71oI{RE6^$0^J*2{(3MC$qXq zXvV|ItV?FqsoYLfy&iYZ3~zpUkw$#L52KBt@8rV)2%Lx^&c&NvwS` zQvN)NO-n`z^Cxi*zU&$=G?>KxO2)CPO%n4@L3SZYtVIf{bABQl#mk!~vbiZZMmL|x zUi0(~o)mGNdr!p5(nL0OA{snDg>9IKqkpdyc4s1K2*&w*i^8v*R%Nlvp{6EyqELj=WioS|jDzUENi1?QZozl% zk~7SI$vV^;qb1AJlW~T*KZ?&Vn;>Kqn?40M_LWDm9aB)(S0mY_Dag-#C)3O#UYfKd z9erk!poarjSnpZHGNOa5x+kapOG`wTKE(UgZ_=Zo3Ibn!m>lS|BeSh(NyiVRH2AqC zjM||;%=kK1C&O+m`}iAih?K7+A3{E2LfwKJ5_HOoF#?ef+_-V(yS-X&IGQw0m!eDd zzb{=l*%Gd8XOrg;o7A^O_yLVdH}KDEh)%`k_{b9EC;`L94-8*>C9-M-=^FCbxo z59T@R0`(Wnnek@D>nMo(35!_jAStVVM+SxJzQ{mPq?eK{Q1`~16{2q86j|y7E+j|Y zeloXM-5*N@>gvdaYgQFgL7$_xf4yBiM2N{m9oxaj(=wEsHEPH)CKCDSm2VkVak74 ze;Kb0Blis)El1r#N?t8XyLpnOPLq;XO;#M5TBu&Gh^&;>x}{{%gP5~M)TtaNOMQ)t%TYI) zDB|%RmI~Bn$c1Z_S_3oAC=LXzdw^yF1QfE$UK+JFH{dymv>HeKg@FL z3e^2E$NOeWsbfzpBI+Czz<*eeInKEU7n!AwmGuwM0kWT~f5EI|bq{l#72!D8|88#VNdEB(Ec~J_v(Q;pLB6$twVJoL3UZ!H+{?5m|NAu?kRFc}i9$vff?kSBRQg z-rWk+t_bC$$YsfkcQq{SOBSu>$xDUmH~8kQqC^R1r4p|&$CU^bS7+2uv52TfIwkI- z|G95&Vv0&$mi2uQy9)mrFXHwTdG5zvnBz*!=15uUuAF6#dRUH7q8~36starCJaG=Q zQi=1J<4WvO3Br?DMARK9QZ`VAqQo?*#AaFFBUN!F;wC8B0(CdcaV7e5q%3tu?zJ3s z!v#W#Uc7`swL#|zBg{%A2xI5ubxMRNO8818o~{RsKkV;j(hAHjRgpOk+1H^5oWDC^oF~^m#<2YIBmRQ76*kz$aXI?5)|7tG3CXd;BN*1RAo#S7I!xin!CUh`950N(@ny=qr^NChONIk`Z;KlEt|L zb6g2ej+3QkTx^bd34g?wrC!TRxRSyk94SIB@Zm(`xH9zQ4-Y45D-eTEn;khN z4kPs+;;kugxJgyY2>X2z@v2@hoHvO$xH`*1w&E5$bTKZT=M87^i;1_*&^2f?zvHJ| z5sE=A(G{(Rv$>0L4eqdponDN4l>T|_#bVO6`om#5Zu8jKZOCo#5?tN)9mZ0YkVs8W z90`wbJ8>Tx%y1`SLD%%F313#R7fWyl_;Kz*Cq`7H&CmD}07~TB)d+c-mBts{tudZZ zIMda}rp470uewjGfh%PbgqPgiQz{N%5xuQMA2NiEU5fjLRzuj_rTEAwCL2w{>h`kw z+hF$FQW6YC+01kq?tiK!@zjd-T84Xs)`MC0G7<_-E7-|p_;k}~Fw3n0PIPrYbGWgb zX_n&#Y0DrMvK;y63}P*p!-rypDJkHRx#3ER0Eji}O(-B?Yc&B|s<-h(9X z!+oW0CuU0BE{^89#X$AGf(3ij6^~;cEn*}O`JU*b*LD6P)+P^)zOtB2%_A)|Jy2OC z%+!74ChbEWM#jC~3@;1WtWbh* znPPZvhL107pkZ&eY%T8poqDq)Yq7CDEM)JH7aU*6T-Kppt9!9}>rh5oFP5;5gsR#t zEMrb1AOKtzvg7OUJm}*B_QyIh8~XQT-_{dn7QGKOtFwS@UXNUi7qAEGk^65wcx4dm z&1L=@h_CkJ0^I`!eK(!*UUt*ocs&riX`^QR=HL(AG+cogbkoE66}qXJz(IehE5B#+ zYJ-<1sfW&e<9kT=Rrug;w8Y@Y{N*3q_3J^z2X_zUvIQIQ3Ak3z#8P1*KDqm>yI?Lz zmG7V2=uX5ZcU302r8F7WY78Yg67O4r4sUIO#N%JxRV60KrxE(k?zYI0-WaZ@=+aeEwBAazR<2$3 z-e5A&OuCYVZ7o^uR(uM-X0CKdp+w^j>8g-_-inu;{JP@xHvBjs^WH`*;itJ$Shybh zWEUxH-ZsQu*hRSvcWfJW!ggKwWw>Tgr3>@fj@KdnnIoUk26oXI*RTsq-;QUDwZEd5 zU3-W=QGUiaU3_oARCJ#l%iu2jjM27gPE@B(I4+v>Vhy~B4Xe3>xQAwSR%{e^-L?rU zHHjRUW7$?D;oAfXexfr2j}!)e5w9U!$>I+o+{Nbx@S#n4hyLD4T2#D)Xk#v*FfnxF zcinL479;IG>BgPqRoTk{r|Qy)WZSZjCZJ%}-}-_7Tf!-4*15jA^WGKJjL3A3hE+ z8^e|D0qJS1=YG7+71^3)?#HJ}H(Rmy`|$!}ek-m-ZCISjn*WSPi``qXK|kZj*(8-M z|CxBIW~a$hINw&fMn2b4HnPnDqIHG0p}ZAm;W>%klUH z_e5uI%maz$-;ympfHzb#Ql+E_iOIXunRqG5?jTCaiU0qSN+gSM@mvzV1Ru|)9>ihZ zH=ePB_|$a9G}i7iUMdc1T$8;!h?jK3BoEGee+$Xm=MX+KOKqX>&dwMjR~aHYaFfp6 z-M0nnbBN3X=i$ukD8^lt!z9{s2|tyR%b|S!m=_KDCeeH2Q+Xcu1+f`MZ0#X@Qj~p| z3xgl1Y@d69GiNCEQGQlymCO57R@9r%R7wsYN7;G%U&NPE;ct( zguu-5puz1NjFRN47{bM+z-AQIukE6szu`J*?p39Dm zl|3PW?}rU~0&Yn;JC9hl@;KW1Y@oEY$q5n--ICbM6Bs--o3Py{FgU(VU{6mFPi=Ja z|CsnL-j);Jj@x45Yr5z*n)JiOH(h}kOnjB_Koz~HU!V38IOs=pN6h8+WXo-ciwXW` z4vmF_cnjt>mMtizzqcoGfauY-Gz-%ev_b~r`M;7@!E ze44a|ZvC0d8DhaMox;$0KAwF&g$>j|sod0$S6Z>O)9BN{@htx|R%XUX%J+SFWfMpq z#|EE4_>G1V9wFdX?A;k8IyII#p2bRAr82#b>^cun#7%`Sgc}h>_Scs->E5NYHt}l^3_29q=AWC_NC|j`; zg@}|~Pa^%+T~gvzM_2fxt^{`M&W>Hcs|@MPclMZ!tYJHECYT?~s zEnJ9X3ohbXZf7LhaS_*Q^CQ`%i|CqBk?hSy(ipyVWWkq6px3lv!V9^0t8}8eWK4NU z8Q7KEHMb+!hd+oN%ezF(+&4uCi99Uu3r!es<8^OEVYlPaKQn^WevdA^H)4kk4rBwb<3pZn zVJ!PP?$@@4NlwNcIcFQ@QG`#m9m80?A`%4y2Czv*$jM>=yM7xvy=u?=?;xkfH}Hvb zi~f?mQ+v+7KKO>PpquEtY5iEAn<(K{Fq?G~CF}~85~{Y75}a=liy*gPU0amDec8HOq;-|IeT2I*8GhQ-jjb68p>VnlYjc~lf}??K z^=(wbq>t42S!=FwEBGydE9cC1y+F5z_EsFzT5-%>^j^&X*6c1)4(i2H?&6Kq6aH)k zhp+T!$M536Il-SjyGy*a^?Lu0L9gJL9Q3vxlY`!ZV`$zFgI=lvF&Okz(<%&lIDjJ+ zAN1N`4hKEQizGy|&R@8S2i<0W8FYXDf}5=*e^%`tu~BvR#}`97;5swz9>$xGKkIsr zbTAIV6(Muk4_55_J<<*ex-;whq>b_B76=xTOPdz#^nIK#Ci==@V`DcK`2Yje%a?U~ zfP?(e?sCDZ@zsg1;>%7yAYoRwd<4jFhjGdW-;Qf%&0K%Q`B$Tm?vQv~^KCv-^Xy;o zfA*MYK(93MARn>Kzz3hmKsBJ7Tv~V0Gw7)>2!2RR9D>Uk==K`B{BafB!31J--XoyG)jxznic&377>EdCL$(_eNKbk&2sb!Hc{(|_Ul z#m+}~r)j$v-);D@Pmj>fCAe0XP~3r) z7Gp5+z=q<+-pYzmw*$w;l6;ii^Pa?d8MVPOdsn|LH7)Z`)JsHfNmK$)_l6jWhfG zDb7=qomr)4_{83>JqyHCGhK?{LF??y`aZ)JdgH{FJR>p2?d!@ur8O=r8B>p~d`WDX z>2o}r8R8_TnOe_@hs}&OVszq{xDRpFyUCSDvNK!r2IsXN&MfCSy7rbM+x47uuJ%(j zqVtz@Q|x4a^>~3XdLoLoe?jU(cPG{xzcmL=t=Y*JIPiCGQ@*6F#!OJYM(w0CGu}a( z+5RO?NmdSQ_)Cn5FZPPZvgI8dbpNFYuDXlrj6Gpve+F}Q>m_k)|E8r-TerS+k!nA7 zD5pnjl)GfEvg%xUmH2RE<{I7}Xzv_6??mTC+Y9@`Cny&*@f)`s{EMBA-_jYyCj9%t zIqEqa$iG{3W}Gt?C*yykQ$n;=eK={3Wp_LFu7vmo3@#@rr;X0KG#=@p;WA2EzriT^KgQkzE~?{uA6{lz zih`g5f`Vel-mq6x6csxv_O4iB#av$AXN(UgHKUG ze)bg(WPjD>HJ+iOA|X)~x`y%CXSiYdp_OH6TYP&Xpf&IC)?v-kfM%|I+BAm%_e5V| z1R0m+BaOT99980bAF8Fz^KNdTR?vCJ`EOp#&+AH6^#Uvotb{PinRn=pxp2%22j@CD z-nlbnSE)k_X|CFg;uq!LQ`V01h4`@-$i|P}{O$`(aUb{Lo-Z*i*yAJTSd&8e(3cLC z3him}ALD7GjWnM6vyF1`%ylD@u^Uc5{3NgB8cwGT{%SbACU|H#J^K?6e1!uZIv-&! zdB*H5J%hUk50>H0XT3trfUUb;q1Em6=FeWCt*-Ls&aaV&a^5`XwZoA7G1cK5)QYLH z>)Gwa*S~g{mOs0iygW@_E+Z}n@US-+PnvqkQft?gC%(ZrkkE`DeuF-5S~LFQjYB_n zpc$3kuk6`+IfJ;oUd|x)qdD1Ud6Rl2SC-55|0>I~1P^6-5<-|kn1-{)?mfJ;YhK7t7TQVNY2d!Thl$U5K8^Di@U={U)8!P@rOTSk=?-P+QQW&QFMC?^mmYu6G|Arj9=apDwBRN}HkYCH{ zJ5QO_COMeJ?f2vZa&U|GV?)Vz%~RvMr1E{p!J6Mnd7Vbt3@(dvzNc98tNRfXllKke z#AJ$1e3B}@?jwf$)}HE`-<6Lj`~D4NVr6aIi#?=KwLc-T?jAO`Z;*+#@R0MU>7Ova z*i&E5VPYg7Roh@y{vPD@NmqyV z%dfmh6zKcalNp?2Q*h5+D5#Y3LDq8hL~V+@YP>cF+vX~o%ou_M>jboJMJc@WbMsxN=Lh ziE@5|VO{f21t%N#1TU|^1~FsF<=?Xyw$GLSsb@Xdk0p3VJ!bB09Ptso#SYAkRdTg$ z-sG#nGaMjvvpC1gHOjN0E_?uERVucjΠTgvLBpkgRqSxlh{Q?IKGoZC*c|=4C`?9W4-StGo@h0k(k{;a%S z^5v_Aj*|<6=QmfJjosnO+Ou;y zuDC+wHl0+NSf01b1C{-CJSq>X#meb;avoN*v~zj#pE^sDg?C2gF-yV7Mk{*r22014 z$jgSX`Mxsk4S8YhXN!)1pN|!#{lI|R^xT^^e-+i>oYb@(YyobprhWnfUEEkT)-{O7 zx-ox!NnH5FjTO^7AaK@=tzy6WNc}V1*#iBkFFJlx&$_c6-Zqzd_)-nKB30J~2P~+} z0?P0c`IxW%#b+JAjV((31q3Yl*!(&Jms11H5zlTUp{me3Dt2NTEgx;6*r3mpQ~8FL zKcwD#kUs3eh85^5pBtvhd@?5Ud*17KZBN#@X2Va?JESlq6{~fa=D7#a#RP8$0X2II zmUNS$xEQZY>mG>yVM1x1>B$zl@Bb(?P{ZznXD*wdbu7rw3U@9euV;nLIYP}*H$i+A zuZ^_J)k?JP45yoRWhi@pZ}V+yirF0te# zd?SYU^+9VmQIIv(&vjO~-ix&>Iq|(z6mtZ%Sn1<2Z#yM`B8-p;b%jf#y;u;d@Sb~C zz=(?ny!k~h){z}8#sj@skp7;l!rOSWX#MYaLir>{82!d<9WUdL1ijBYvWx!*vKjm(jI$Gw&A9bbqAvf#HIBWMY}zYz1N=pdP>>+1mHXrSII z3S798jI1EgeAWp*H>Yl4_G&HCGqU6TC4MmUT*APw+nShAfcPs)|%I zR9vDdhiGva26V?l@XwT2FA8xC8KJhugqkZ~pmL+h4*Ua;cZhZ6TyU&46Q4`ty9BVp zr6OUfT4-nFx&1)$0GvKr8eRLjjxP;h#eE7|IYGnOM{2Y>(9Q+0qU_Ey{v?3a4*dC< zsx5t<3)CQkqWshqg4ky~q$n%P`aa{si?Vh`4=Xp$Pd|po4mnaO2+60@$pm%M{^+Ty zHKCy!@h#287eRc}r8&oJe2&C7A{QSHN`+?3kbGS7m8AzeznH+-EEl6zM`9%Nh^M?y zF;=8tJDc)rB=ZRmOD`(Mko%|n*J2pMbWizN9B*KEp5R>$=<9br;e`WPWnUv6=uth4 zu}6_>;-}CN^b2G?X+Dj2k+x+=9&@+itO?6&;`maYKYRX&k1Wngvs#b&QhcK!zn)4L zSx{G=wwrjBa#&YvSOPU5x&R+u0u?o+0AE{z4br(`d}~Qo zoPGJ1<3*8W*|mT9`;shz&G?shD9@Vn#8Rw4-g=%$A%6K?)B+xIffeD?%VP%f#Diy- zV)fV#4_>u2E5fEf90b#@ z-Q(|rFbb@?M;Wcka_;c{<=~f_cet?}@*HrF<2BKheM`L&og4;EdG|*(4&Ru#!{3y{ zP`($Pbouf~ZVDbXFVDLA*UCegoM#eMU4C(CjVx#9yZj_^-n+w1#rk5;@X5mRfs@OJbxEV>^sHh8N1|Ob$=pgO`plXF9C}DAizsL%l+Rh@67;eaz zi6G9fg;Gp6tN^Exa)a z^ycHWL!2RMFwM{uAv!Hufq3vF2%?DX!E@AMaYjQ6MAHoIp@tF&2MUw079~$5x1a4#w>4v{BHzdEO8TL^K^vgtuGti_Fu^$QI46B6hfryaqen8bp{mF(nLyrif zU=NVWBcyO?sp{X(^fW>tL`c{RD2fxO0iG|Oe9zwUj9%wID6e9|-Tn{R0b`lbu|Qhr zL1ZU1V`E<7p`w52mX7Ea#NKA|qP1CT{V$oirFpLwVIA?#q1u@2bBkHLF=kYzrfy88 zRA;Dz6Ls|=SBLp{|712J&vIS1rF6b$CT~>-qqXZ(KD`d}EpqCbP=VP!t>UMfPQ0S7 zFLamboSEO-$$Sj6p~Kb@x#y2JbVaMs`jO=qSJcHlMlG}1`o$Y3$9O|@59z;dID$uK z92@ue+JBYQE4lplTamB)=PG!}e@b^+ruF8R```m><)z6qiq*a*bB#~ES7p_%@iFz7 zAM?4!C6ERu7YiI*)l)J&dhAuX0O0)|@?hz?;{{Q0n%Xe^;LsW*Jv_Tzytj z|MrTG_j`j=IpS=mlEd%RhnDVFRy4qkSFumLJkb4zE1JuHxFQpu)`0mG>m#pc;YFtL zZ8yT3o8vCQpQ-S=&UE$@-_-z)JW7~>=2-`U>l1nHowfTG{P`(6Us^sQ-zMXQo2$1MPVirH@5kR zJM1#g-w1Q&$d9~QBRJ>FCEmLcs?38+d}1S3z1&WuLi5G+&_!fAw&zeO&V4ZBJravZ z4K_bXP3$E~v|@oCD!Z%?2@MZkN>daqrBu1)?{b`Hy!7^4yn(!R+w-cS$YV=+e^yUT zma>frHW^!1hzK-XFeW4BBLk2cXl{SKnmp%~!`$N&8ivIiVg~bJ%~;uv;aG!}$s58Ur{0fFm!ezGYA#Uy zY$!|0VfJk?P@#vQZ%_#Li+j}d!Teq`EGV^mW9G?K@G0O$GIg@P!ddCv*3FqmN6Q&i zHT5!hMT>~0oAL$29N3QKVe)R4l?#t54Z6fi$w?+!)RV!J~Bn7=G}d1}-BV z7$Qrsw%m`rVVFW}c=3gBmtj0&^o-$Lx*BIN0MZN-@t=f=NaCQElEU8+8$SFag@?-6 zWP&)umF6TnoMa$NG;#vCO?^ee{Ux`rlIVkj}^PF~r zYJ2rcu0i3N`&WZP1;ImR77v$$YCl_(?tMX4I&t!^SQzv43Ch)o)omN^3pzTg-6IS& z_mAghadzFsro&0qaV!iIfj`glj4<2?HhIqbw`OJB_t~0ffZBaTwqk{ROlq^E`l@c& z{Bcev4!*2y#e5xqcxG0XUa zLGR#Psi~Va#n18N?HC1KwMMQQKb5&EV3QxCHpeb)n1^38YfIO5XyT6Gh)LxQd`24> zyZec1>=MaG&H2F@;n@PcKFiK1N7l@JXLMqFCiV<39?oj(+apdVX2ygwZ+7yr%*F=U za!Jk0bXh>x!{OYM={#dU!#4%6J2NYt=TBv&<=5Tor1P|jx`uI2vd(hNcYWi?m)r0}^sA%r!ZpWF$z>`Xg`ThSPZ!}f6SI}8iP=*wsOBV{lrGiQSp}_R!i=6>ARQZ1~ z`*>Vhm2WHMYyV$)BNp846%6g6W~n3m_fD)Kd-sVuc4lQOH8?5#;BmCe0xEd9 zfP6#>C5joJ10{?bo0B^EUH7}!96bHH;ys1nr{g(ER56%j`gDS7c6sMU=pamk-}4L{ z1Y{FW$mWstk(x(M_WB-=j9?Yrm!1%5Qwz;H&cBbq=2!A@el~)YD_IRBYh5l)Y}(ok zZWzg$h~pd|J*~^OkL`lRsDg+1&s}h*5tzgO?1IM8_ZZL96%*=4$N1RZ z%%|GE59E${;vF*a5)x|8!aRx!dLwp$)!E5kGMNuYg;=4{|0UMrAYb1V>v9*5@(W#& z_Rgcce|J`iC(OrGcfe6zyBiiW^B(1Wy0Lkz!Ug`Y8><{1A<9&2?a;crF1iJ|@2*U) zwv{MN)0*bacmHAa!BpNilKFbSg0Drl06q7lp1%&$u0aP@$@I?Ua>vzokkPB)F_nw9~Lmo*vM}NOoSe< z_CN$C{3Eq>m4byXz5NftKlk${J>a>Dhxm6r;JJKW z7hE;t0x$3yO)~dRSr%HRP^k%-!x)k{9(KFtzH~f{eUsjkg z;*R#KdbT=+uj`F_zn%MK<#l{TmA3>h)Cc2Ih$?wNZeiKiP{$PBr4OqRSO{e!%X%Jd zT_6j>=UZf6KJJrdUF-ulZrjJ7_kkO`?Bia2;l>H4`Rcw{Ze6#RpYO|x^qRF-RrQs} zK0g1C0(1P0nA1&B z!+QGc6lrGj{_x(@o$%gO>;S+qd`5rf%pUBKRj%i=|1czNmo%i+GgP@d&NBPhE2KVQ z)gI~AmrtczD-J-z58uPv4nP&FyoVC4%vTP;Y1}8f`OX2jIbXJ$|1p5gW_WRM_kpZ} z{{xXtYMl5goNSrcBPHEuf0N}J^5j2^y0C*^9Ej>Q+bRxUe2{XZf8(D9vJiIoF>g2s zcfM7BB4;hDV3)6xKN0;rF^DI}5k*Dnl^!DY=uBd2=HkwBj?PSRI$)crO>WG+*(fQE+eC z5EjhL|MD+Gu;o^Fhh!EB%sR}M3`GK7|MG`JS*0pnP|-y_`>JwWeE1*PPuj{uqL6(4 z?O!F&A`kJ@D5!n<56?FYy>a<%vV@HP$P!vJ3{7U?1%7N8tKdElxks8b9E|%_%&v?T z{*v=PoV1}r2>n%B<+0CDK7{Gyo#s&LbR6`8p@CF^yVSOa!{QCgar{x-B8ycKQ&bkT z#T$%tC{lcXO59F5=OY(|X5df|rEzboOaqKv8;RqS>81gHqSjZ|)(~)fia1kkoR#cV z?sdnZqX)N_(xYM!Zd-LcJxAllIwMWJq0jhP<36%Ua-SK^Jc=i7(#po*B?=L%hoTS@T;TCTH-yI%pK-y(tMU1h7iwUHkk1Ajc(#P5tjt2ON5 zdB>trCU4^9#A`rICp>QCVDscTDId(HD zv%Ej@K7_ZDIW`?CvtN_>(P-Fvb2YycjlQaLGWVGPyC<#YO((EPh0bF=DJ)LD06{&2 zl2EhUTAnchUDKyET$unR_15z$6IroRe(O~)Cp4V73f)_gkJ<=QN}BOu9UnK5m2|(l zPUD=khHsdN_0Nmz_=Sn^`_6SdWC}WO-$_`{9I%epo%U25NeE9)etRcn#k^ z8NOV#hIH1cbiy;y+Ho$%1XGwJdzU63TbH(=v;mi4-4% zPp7cz{^t);nW53f&8uoZw-~uv=C$WkR>=8}70`0{GM_S)6)%1f_M)QE7XDS-QkpJf z+C@gGYnnS&@$Y7{@ck3OXBsQ+p3in^>2f{< zT+DS9Pn-t#KV2zJs@j{manm%GpRHTTKTks$v|PzcOh*|E{e^FtjxtD0;(ty@dmj(` zR8xJIafcZg9Xcj)-x(0;k;EI%fConG*E~?i-UDt)GPy%D;DHHCk<(rm_@6Ua@iO0W zP3;@HKKeCg0RwU8LvE-gi>?*tfip3-w^`0x%*3Yl=M{X^OjfRC23)C{w3lSBzCziQ z(mM5eQhKY6t37dT0~aZ;FUj#M_}?>8SBKcxMl9p`jBr+e_|XVwHCrLApKC;2eZQRl zWJIRdFX!is@YAuMc*hv{$+S$?t1>CFUNw~JH!S1nF{oD)mq{JPXR)eH;`gYIsylBC z92H%h>}eteKEXycQ+K|HxnFGaGqu9GEaTtLg1h~!TH@w4v3K{ur7|)1*>HEsCD4-R z46iU76|RU)dmw2KfObl}sZ9LK53<7jutrq4WT-_Y$Jm;y!p%+OduL+?v+4(~%!YTS z{~!}q*#E;KI3z=`b)MgQX0Tpb(67D>o)eY=sC8f{nV08l=rOwOiE|IA& zo{xl{E#}+jV@x0+e=3A-&tW!Nzo09N)s2NK8zUcH` zE#y-cLc^DZeC9qRE0AP67RqFN>*ua=&eZb1@=S9i1u-m7{2qdh_zxXIG?%* z?eJKvtioM>5LGzJ>WbV|xaEBQW)T{A+gO?2@)dkq0;^p7=mIUhlJk(>@q048fik`I z3v#9R?{Z##F?I{x7w}$$hkoIU7h`CDkIcb$G_bd$2gvEB~CXzSc3CGM!W{# z(t5n;mDX|C(v7@LBF1|2TyFWE`8bC{#ME&Tk4t3!rAqjbd|FuCWmE8bYaNptyQ5?# zljriYiL8=i$4%1Z)9^xw)T5OW@y+t4^u7`7 z8)1te0S9oz{t>cr!^9549vjIQ;bf7^8>UAGR1)n)JMLY&>z$9|?4Q)Ey`L+}gtE40 zmdskk6qz+lM#-%CvqaVk&D@8}v;!_yy3ULY{U zru2$b>bG!@P`cTg=RPveYi7w3`o{;^d^MimT*k_=w-b1aA27&G+_Ut!*+-xKqn+~E zb2N+Z#mL&VaT)V;ohUVKi;)_$y`fPzo}XLJ$_3ykI5`j#lcp}X4aVCs+^pHyV&;L% zv1RRuRA|$5)oe}uYok!_xAiw+JJy9jLU~=5DIGTQwJXqFKL3sX)|C0^Mc3wvlPqIPat7YVfy3Q?wRZid(P1-r{v_tdChZbNvv=!w z`Lj5l);|e5rlVps%P-E5YUb}0YS5x(-ZAB-N|7{!pCC0eX7JldEGW;O{IXH*h@nQ= zh*e18?N+ifd77!$8^!RMxNbZotATLkQD32};Un;v-j2%c3|Tq}VN}DhZ0~*AQ){!= zX(dOxA=b2FhwuqLdfJx0W8r4~DudTroV2hV*qZaKUszlYoXhL4V*c*yW@_1dH%(@9 z$M*m9*70e4dYJZuf?kf&Ha>G8rd_=YvCb^dr+-We~YqD51U_18vel$d z)%;L&vUKSUoP|Sc`MT9Sp2WwjL#rvgRaU^HB>v+%7UUPZ8Qn?bX{3P%ux#2UO%mGL zRh8N@WSudzhQ&0Lm^{}bl{iDays#5Z(@*BUf=UjHHzYqK&UDk|9~C9mz_0^u>b8YC zEn^n9t0Z_$CzN2?4MheWf-VTA8SvtFvBzzp4{j0>J8vi~q?tsJZfI+hYOP7NQKiCw z^p_?qq@D2sSYm{5kvB%V>WCQaP&)wW4-6ZIVG$tC@R_tH7~G}^_IEPoB!wTnCfOWZ zBUz%6t>7+`Ex3h&cno;5h&?9Rbi;fA8G~0qQwZPOF(g3`lA1yccn2{-oZ%;A6zr)0 zp*7vGR}JEL974We?MpmyhFt_W!Sb^xgM)~r8LmB*R%HO`5A?B;`y8$y)=FA++9;!g zWvX2fOEYvsgt8O?RI{`^O1PsPvB7&%IE-THhAt42S*lDS(49$XoFR-L!Qdxjo#<89 z>4slmhNwR2hK&ezkmb7xK{~^*0jSzrgS5vP@K6DXy@oVKLJGc6gK37B2;uXa_16%h46Z@@hHcLgMeHa+oZ%5Zx}9ct z1!d&C=Ro=ceTVoOx8adU#?To0{ChK@Wr|Q=|ae z%1OgMJr=R0F7k!9LCAwz5lgGVG(#DL=$J)&nZZB;tV8@HDq?wxr5j%2^~p)jf&9FOe zF;~5k>$rsr7ANh_F!mEXl+mtGxTF^D$7%}4h?#Qr38JIp*7Fvw{P|4>XK!;fIfD*X zhgwfVJi&|8He$Kd`3HF>;JRd?DO_f>R6;Kr^!_QAsCu*^F`AAxRMq$SUY=^0WfNTx z%^h~I3VuDTQeupyR}5~(+~3qTjJNw42O6#97UJ$$aNuhUAXG6njn&*AYbBuzBGSUK{MZ)UWcZEcceh|FWEsOhZ^3=a zwW++)R$MPTmABi9c+6BDvy}~F-c$M0tvF9{r!V*Wm33uVqxslhv3*c+A>Z&Tt5iEG z-flRGH`HdiP6@5(DbApa^XIk~U}l=snz`R3Yvy_rY_qGG3F?(xH8cO#uWIHn!9z8( zFBFQJc~oYc3hB_;|E!twZLYD_%<*Go&GcL-Yi3`YlHRHkQ8O#%5>;y^yeMks&^TE$ z^Vmc^$I6=dV2oN8TFv|oH_fK5O=Qiy8LQT>3zCmapM%$P(UXp%W_BH;*36(WvSz*< zEo27$<599^9>xdm?Q7>hR^s7j~hR0?claTxbiX9n^m6ptIoFHwB(K>p@17Sp;%@rFlO zC@T=f=N@5ogOUcQwFH*ma77r;wB))JD2*OBfV7w7E=O5qpNf-ds8OF`O*=-DNK>b#%Sq2~LoN6}A-rZQOJ_Sh#p@%4@Jok{%FF)Z1+%e1Mu%k~rQWA$+O<2VZ{c|%o+ zB1=RLgfB5cCI=i=N%B>EI0WnAO7}6K%?&O*GjYQQtuerH5l_>+5hW5k;iEU?%iaaFY9wrN@`#(b4hDB71-JISgP zW6|UlYPn(nw;tEHt|lN&>-#&)(_?cq9z<$*zXwXeHO{O&E{t_iu~YKc(;A{`Sx(JC zZ>xoEW5W{EC)d22i>Izdo1geQMr3lZ=`&YO;s8uav|RpdE|Vr-e(5EB>G7CPIfcG* zXK$W-3Uh^Jy~SC{rA3>2xNeo{_2|vtor1?gdU2oA42L`V^Qot?bicnRPd<%B-32{) z#%VNz9=$}q{Tk8gQLcP%mud?15}G-3?CJb>B=Q85b_cgY&3DN}{O) z7T-ky#805rlVI!WiQ71}ZI|Lten;gn_7swop&30zhWwiR3sJmt7>SAsF-vx4VLf@@ zG*-%|Vh^ivG|9UCFNW#(78btt5x#3VTe3du!4IY3UZ{9a9e@4`+x1R8`Rg>C;a}cE z$9Fz-=)x-Y;ltCh4CvU0|B#N?Gu-Yj9xAEq=Syovbepc;Xr6pIhvo(!qpf1k$ z9box*?Xx)K&<$QhQk4B3U1j#ayDzezWX*nk>HN}N`JuBojq(yNgFK68ZTEEHmCmuE zq2%tT4YgglMv{9*7oj&xyWUt{AFN)7e?KrWy4iLKx+e zM=aIP%i!&LFdw6{bo0mvnTU0{w)Q?Gu|Z9Op1hBMfmaacqsbM2p(_&v!6o|y#56o7@8cxXI?-% z=-!!cx`4&38j(EDMcm4q=)@adWaC+UH@^EK_S*wG@p~6pkqT+F8H~L>G8Bolkcm9$ zDDy;@TFFZ{I`XoYSTX;7R#N=DEV4DBrvF{pweU84z$KV8u>n7JiB+o5THV-aBNaH< z1n){gXFP{XWBdKqywGJVY2N9?yIp3Z@=xpn=ON{`QZT3kzkZnwbY!^9`(-dMS5LQ$ zHy)mb+Z}n24D7Is>%iw`U_-0(U{PynbNm&h02R0)q^_(~2l7rS{yqcycV)xTX4_5W zURPLg@AP)IoUXw=GngGa@YYvYP~hzLR?@s2sDq~5J@cUUy!AB<9PJNd9r4f=)bHZ$ z`5#x{`cCcnmn(4n?M}S^RaULUK{W}OES{!*8)zVQ?BAbQ`xrs##Qt` zpW5;-S226KHGo&W2EE(bQc5+Q_o5_BwzS*B2zQKI`=g$Vkwq$J5 z_rY>x#WDEjd6vJr!74Vry%%XE&^N-XmLfc!Ltu-l+m@PEwgKl%dX`s|?7#CX}ru zWecP-UnnE0P-awLf|PFhPHNM31L6$_NH)GnAhd~Fj`)CIq_#1nt)A2tXnl{4@UY;6 zF9Lpa4LlyQD#;-@p`i(5mT4Akg33-LS(@)X zMx<^iM`p``>wDZ5fXSGQ3cgu#g(j2652pkH4;6Hw2MaL05U23^q>9UTMe0<;h&KeA zai-!|G4%kaDR(o!+Y5J(vrdy;J#)P?Al+~ZCJ5ux4aX4_kIJVRP9R9@kz3D_frdk5 zC+3ZRP@0C{DTdbsAP=hKBQ=<2Fd;;OV~HouaG&ytofGn0oZ%V8uyjp4WHFYm5hNX0 zx<&{SVWS~OCixigG{Y_Yr|pS?sgyy(;r+yFK!g@{=}5dV0H3ouFOvHLI=EMfk}oA^ku!(lnOyK@ z5ih!($3pTx#nKJVcn6rs2)>Vopme4IA=*7)K>CB!KxwG-U>8Kl3!Q)}{ZzV0!x&C{ z*eeeexojb0-3a0g(uJ)MAz`Aa?oStQK{hmz+|{IPJ&L6pZtSyqa2JK3TlL^ML=js} z5N8-9vtyj1W&)BEwfsy%h#V0}OmT*>h$1%nsc^(J#IQW>Q4HJr_@jAgNVo8WhWej$ zx{$7|;;x5uX%+V_BqAj4OP8>OO4%E9y3XO{%wcn$xtKh!XWRyX8?VMu&U- z2YBH}?;iWB{lj)T?R$l_Wqc~#;SFoVhrVNjUHcCj)MDi5{?R&K={@VbfAV{#u>Cha zvOit+hZ*!=oCfyIV^RF`{_j8HZ>;`u%avC3SdnPNi}?Ou-1HaOfDfZBN>ki!{jWdb zpO0V1ujDS`zJ+v@{_6V2QT)1xzMk>qT#K@2{{Q|X{GJlwyI;)bbDQFnnf8p zc+}u=!v=qKiqf>fw|}g@qA<{B0|g)OB!1C@Cr5`58-=wYoi1-@ zMOocOQ3&rfvi%|&D+>Lr*RCT>zxgc{MM=1*7 z?p}&g08>HwHN|fgest|VetR&Lq~FFNw%@z)ic)!kq~GtwFO}C9;!YLxUcAPAeSYp& zL2ucAx0*h`120!e{|h(Oa`f2$vJ%DP5Oiq5$ND=KbPpOocy6=GgQwERM)dNTLVBPo$-&NDK7&dt1psEt8kz45RRbzbXu6}b5 zo$e93v7`cKWirC4US=g3cm|jX%vYviK>_d(Gs zgR7er6Yv+H3l^7;0fT@&Yd`_;888YM8w`1%e@(~(4*|~rE7yWNum#Y?OQ(AY3<7qo zZB~q72)IznmMneJ6X95&p zNxH=(C;-L)I{=>p#{joXh6jOrr@({2g;U`{VCiY_Ag~wE%^w~IRsfd_U%9@t?YBB5$R)@d5%`EeIB?BnC;$%0fCAuZ;5Oj-D^LJ@a}5fB?QTFpNu6$9 z78C%LKOqnFzYTfd1K=XyqQ4*yoOuWGz(;o>5A5{-@})3Y`v>j6A_8+CLIH3Wa3rw8 zzfb^d2iyic3%mea^#}@pA52hCTBm#Q7zO|rJ%K#X8}B?A3ET@@1Z?^O^1!VxArJI? z1$p2^pj#Q8uEcA!|B47)ehme{OYfin_`?S%03HHv1D5#+1;DzWpa3`l=vEdz8L%R- zz!%5^*HXwC_xBBGu&hX6<`!FzoSK& z3oH#x2JQnM2R?PSD0hLMfI2L}cXhESfxv^nCcwXe{ebU*F~EYZkO!6n9tXAt-Ua>+ z)Rjl8F=7fAh(G~M=b8Wq0s8@$17met3 z0QVPwJn&*c$OG>I*8s!4Ey`hFy+Rh{Hn54WMfn0Wp7g`qv?7)xu+Pu{IJAgG=>!O@KjMK0Gffffjde-0Whv4wR*R_CrH564V$OCyB$OB8Xhdl6IN5}&wc7;6fH82b4 z90_?N0yPovt&TwhORsf+e*hza2}7U&=o1A6zze`s;K*T609*si0fvo-d<}R2SO<6w z7zw({74gyU# zLP0HbotvQm*mNrt0F}K^035du3V;iNsX*faC;(PE2m^rEfxfkMx`Brv5A1vx@<20i zGH~?~$OGG)ggmg=DaZrw{0`UTAn@-QD5!%RpM?U#^H2c151b72yZ{Bj3BXj~f=f^U z`~=Ja7Pt)gx;owVE072N1B?W^U4=Zb1uzL14NL|83Cse98?QkD0)v3Q^^o9oC;+a! z0R_P3Sx^A{6PN^CfHzR30;}DG0^m(x4shr#$k*5Dy4{96aQI)42mbyN^1ysp%ufP3 zyoWsS%16ipjSoIU0RpSs6vejzx?oR5sRMirj0CpLuPBp&BY{c4cwj0p6_^EF?4>9< zz;{63hG@RtkO#&9BY{8pKpvP{2=c&dz*OKHU{*u4|8l-ifD0XgzKt*)2i5`J21Wvl z6oCTZabOa#tUnY0J&HjA@C+~q$O0kX7?l!O2e=#<2|QRF^1x>$AP+oH67s;Cz^ukb z%wBOnn1c(QfWA%8VF2p@j{+lsRmwmCa04(2co3Kh99$L(fS-Ulz|BFB4}qR?kOzJS zMgn8;GWp5C$v9Y&1dPWUzf*y~1G9_>yhR`f7+DDlnxdW7fCAvIFem_CZv_Rwh_+Aw zj0dIy_W-ki!*SP_1GE5ro8cC+BjkbSfssJtcaR4@#`=E}aKRYJ15?K;iZKg;uH&Ep z*aEkEzRl4QMMDAbGB6Uj1-F2cfuXpCOahjf34AII^=;HfWDzR-GCX82Y#9b zdEj@mArG7fOaj)J19{->If_xqLSWcjC;-xTWqn)V+~s^I0MbXTBY{`rpaA$9m;@ZO z5DI|Pfmy)v@sI~z1NyeaynhkofgKVc5Bvn23`|-Kd7$eO$OES?F+u?XD{&zQm;v++ z)9G@6b$~k)p#WHI8596-1CxMbmqP(??h42Qe*)$JLpbDHVT=IQ0j>Z>0`CAP152)i zJh10l$OGpalc4~C%0EE?up`j7H9DkCPyk&1GZX;bet`mD{AMTs_S*vmz-hoN;BsIN zkflJr4LT%X9pDgPBycNmGH^huqO1YdIix7Zf%!Hg;1Z6?01OQ0!$b9D0>(I-6^xMR zeVjcBO5ulYUgxVfD}j7_sJ>)%PXq2lh^GE|0i*GAq3g_g6{9wSi|~8w%xAXI7k1i) zu-=8QL)iHO!uegyyl0r+&-oc5gAkd9h|$dfE_6{fh2-;`&ziYA;oQ5Mvy0G3Pu+&+ zF)PjnNNIFtu+qapui;@MdRpr?tA`AJEpl=3!C0S~v>l3Z|U381UP`rR@+BQU@ z5h2r@E+8_p052Mj%sfN*Qvu$G!t_SFIR*Jl3RgtOiB(5KT0K65T--`gu3D9pxU^NBe ze9in21^Ne=`7Lp!sF{DJK=Wc|UZfQQ9D({2Sb{)L3giuh9tuoHU^NAD5a`(&1v1DH z87&SnMdl*%6p@}(R2va#R6_d0`7|Q65V=Kc{~&Sp7FMy|bi1f)bgzJY$pSYp^wh9qGajuB);t;hI!V#H|2$h`E zNJKt`NUtnHIJPN2*AA9$LwIO2{)EC85U$jm=V_1dGlW?vFHd1NSByuYyfuX@BD}l> zA5P(Lg#T&57gBg6!d+VOtrT8_@X?mCWVRvPDolF)0>W3rc%Ba6d4}-qR=hmI&Te^- z?KYy)`8icYWNaHgoS4E9&Ku4b64OY8XNIe}S%k=&a9Q5l5FXl=KOun&2xFJO50%q1 zgy*#5CW?XLiicN`FhFnaC5`WOfTLV*Ig?jJfW9aIm|=C^aYJ!hOGy`^N2Do@&Py+oW(Y4C=MADJIE(i?Auo^heuJ*=gE(`;` z)C{w-%Fe~#YxF44*UdC5?ttu$-MD_j^vGn#nO zSsKF-z7ua&aCd5B9w{;-c%wki2K}U6Vh6P1iUobeVzbiT&e#^3F`GgEeTiA&c8z1P zwQ-;=gQ39+v$C5E(8_DO=1vpnmq34wG1rzGlOr*ZH(m1UbnCH}dfiU`iY6ZfdY3id z>TFOU!oZLLhGKR(@X>M*1^VT+W~Ggt0ZlanVnP3e#oCKxfL0$)YX)ov{TD3aiq6PN z?=8qWf2xpYz_1+*#d0f<1F5X>pl<^mN9SxF(%;eybSZ$&2&=;@NnZ2dGR=S>&>w=n z$F4&(0gww8UaT_undcHzWM>RviJ2W|gq>cCED^f1t`g8t1q3;H9_ ztJ>wEtThitT`U+r>@X{3?J9Lqtx|6W-LlK9^s@68(&{aUbz37U%=)4Diwn2m*a`>bHB@Fwol{kh4)^6e3v%%*q?P)E;Zr z#DcyRi~qyy=>0VMX3*arHsh5_xr$LgQZwcZ=wZjO!faPuzgUZ-C0@sYdt@-s_ky%~ zpdYU#;Np$tiWBJYNP)GUY17tr#jrp8b z3gJ-f6Ez@ZR&PwQDLVstf6%AqPK=GUa0^3!ejmr_qYS15FT>ftkBDxv^s|%6~SE4=3!F{>!3E;7@N@>L0<=Ym)x@Y zaLuUGpkK?9Y5s$7+kTJ6h4gbo4@%d3g1S!@*Q3nb~t@Oc-$Rc z4`FBj!q^G8BX8TB8Xz+24xdU)y$~L8hp(dWbcFlg;Rh+a2H^onfWn6nK5|E7&gnM7 zd+zeW{c-&Z!sqVtdKC6Af`#_Gya$CFAnbmRPes_d7sA!=%X@RD>4@MHSOU? zizN|1=Nv?)zEB4P-vE@;OS3{RFtUkuvWn{JfZhoEk}E;h8V<8f79v645BfLyA>Cxq z6>MYHBYA5#BHIE(!EIp#N$|-=NV`K_8CY*{ODPYd?eqi7YUjwunWEVL1rz zRd91?H*p`LE%*6ihUjRpD0}UcZPOB~1NutPJK51&2|Bg)NYKxNzFoHUXheHCS>$5Z zGDLPFGNL^eu2K-OAabi8$|w_&?$`%zN?NThnjw^mUM(B+X`nx{OZ9KfDz89nbh%iR zg}LR~JdGX<`Zmx*?WP|MtkaJuT?81eVE-8D*s5Hv`EfMp8KBq9UC8>1S|wNp`op{y z1-+9k0}-|iq=5c+UTba4|CLH`6gURYo=MsLv)^D2(b=zJFC5XoEH z2ivX52ZKHxo7ubU=-On;MHc}EH&1Cz*=R(DV#~XxLoRK(vqswTtEQ(QawES*Nw;fx zN41uh3HnTL>^|GkYiRUr&{z3dlp_wg6HBpWt%OcjyRb!xx09c3l@HSegJDB}MY(3@ zn{(EZ)J1^aCD5YGvb&R-tTnc1(D#*+xp7{GNdD3m{uy=9IRz2tG8Vob%c^BF5%I=$ zy93rjG#Bf0+{nl1f^^xSzpri)E4oInl32Q`fz3b=G-kHbRvw_cW9$7}^STJoCt?eJ zpPjtz_B0xFw^|k@*^aKw`@(d~z_17mRdX{873m9WQ$Sw>I;|>d2I_xuwdN)h^q?kc zE6qk^8X_aGwmGB}4gq1$-jRyS+Af)5%Ngk1u$RxVXlPTsIFD6v1n8IASd?4(-1Mu~ z;?zZh9@pO5Js@%$k!iFro`OgwBE`ZH$wXv82Mg~@k!(bsB4VV7S7~%P9Z_f$2}UHS zlZ7{?NCYCg5h>Odk!VD!cDC?4v}C>vkwb_m6iFdUgoPi2j4>0Dl3grH1-sf=LaUwG zpjYmSZp6-y4KzP`;r_dGU(2_K0$niZHT!*&9;Ax^L!tgi01MSNe>QNo`ZF5z22oaj zA+iJ!@|Q6Mkp)rc6AZZ}cWeE6Cg>$_8u^@ENu1D1A{+DzV=YQ8mRr7()~>wDVnZE= zA&y}A)@E5sUez)uT`(AoyxJIj5kmxmS9wPS%SI!34hI9?*{OY|sa*#8`q^qRryx>k zj#|u_i0nf|6mvErCFiQe?1d%Sw}^;h4n}0gJXy@f2t+>Pz{M`d+(!OlYy6QQun> z@!W&8=hlDFDwr2;T*8(j(^NHs5gC98bx6(;h>Stx7$Rk(5!t)cq7<;R)75H+ZW-vm zELW>Z3L>8np=vTT6OlK|Ey`*;$saVyY|y_;vV3bs<;WHxUu_E)$WK z$!fjJMx@Y>YFFWfg@!yEEJ{zTIcZf%->HDw9(2K=ho)GRR(5ta*J?rp=%YY?Yu8?% zXzeu`^pJxVCBv?&rCa@A)GY(UYn;UqbwG2JyH=7Zpg%YUM`3N#X5bD_tAUxIPtC9> z!FFw>g4R~DL0_C{QE<0nlka3LX;&Bq&RcXHJ!Mxg|IODTy;c-gdpco7Na3K=;L&p#Sy&7T`fI2>Q43ybSaLpx356Sxab~mZu>TA2x64YgxUa3kH2PPA_fBoia-nNz?2l0`$PY zq_bK^BQg|6oJ@Ag?r6%EfnMdV<(r!!DWIRZt2X&eMD8OZntV1QuMnXoZ}h_Cq~<+5 z3S;MOf6d#$px3)^QL5X~%W3oo(8C{CzPSV*4f;pWi&LJhU90Uj4-EzkpTN+?E&(#T|hN z`&XR|MI-VFlslsDL}VT)qEkyD3L?d5%9Dvm>?5^P%SNPtN$u3Us-r?6B09BTL|h)L zomvDUS%@4X1<{C{f1(!UGDIFCB8oBvk++D5qRd33&Qpu>+OF?1X?<5V=&rBv&dRsO0HZDf3@Le(Z?!C4H0b9+|5n3V z2KqJ7zcq-YfId90qAas3sd%-djF_2%;cqawQ=73iZM}=uX0piucN_~M1y(vcq!qPS zFczrtDM||UE!N7a|FwwKL&2acIP*5#u1)rr`tv|00t~GxDq?n9HX4z19DJ*0=g%O` zpUXhcswA0>DTs8ftSGO@G;7lAk!D&Z=w+&Wo1P8&d(g$=jwYX|$$Qnrq1391a??(~ zwpZq&3kE~EY6=~i@oO1@$fjy|%F534EY0+2(1+AelpS{3HfgCX13kNj!VmSuI22|#Breg0M6X)7d2Im8Y1R^q$a6$!TIC#p$U{U# zGmJ)Ld_zUvtt><23nHTBr64k_ks|L_G7+iUSdmkZY(!2WLU$`Iy)a^gG(maVjr~E^ zv0oPqdZ%W}H+!N8&^tC$?TkibBO=1iWr(anMA(^vNcrZfotcR2K}6V@jYwdqYNuBn z^x}v#rXC^~k*O`zsuY1pP7CFm9a=Q#ty+GYz6|tLpnt1JO#yu+=&;7tifjXDlr9qt zyTI_RcAgD-D(L%jE66=rtc&GWoD7|9=V;qxGZ^&W+9n-Vn^S5S^!T(=fX98zq_5bm6 z@AC{ZjLeLEin;bJ%wQH&t~G>giHK2_EHScG(j63~WXASbilLH}BGstqcd4J~SN%pJ zTN)*4pDg()n*aBl@8>(_p8U`2#ku$W-Ol!$=RD7So--sLPICGyrB_?XX+7>>{lH) z)33Gw$$z3(GY{%nQvx`jl-!}1O7gt>&>b>U%Z)#Zua=U+YEnonU4Xu(fP8O-oOA zya~y-m+r%Ea~2&&hc)XXe&}r`5=yh1=B>8f@5euE;*&%XO-e#pGP4 ziW8%9^oMG`0{&i}e#Bmv>)cB32KyG1yrSx(KU524)KzgpxsVn`X z4JiImK|L2}|2S^EwM(2BuZaHhjraas;xw<(9RXu)@JRE)}#67)rOPv`+SkJeN#P8Defle=T zW}N9F-0P)~xO)+;;dL_0M9SOI7}4TFTG{Hfi8Iv?d;u*Bby~xjqQ7@-^c#7(%cx9= z-Y)X$Tj(8G<}_Ts(TNW2XwRB<9a{vMOR+mp-|E2Mg6FbWjRKGB$Y3e>OyaKky%=9h zvIE3v=MEL*IVz+A5S@h}6O)$&j(6E0+v3UKc^1DNJPeNJSNfSRU4c%WI3QP;juPqB zw;_e*$cgF6z%0h;ql}4sa2XS{6{{)eh+eF353zE+^;4ph7P4IFXQXt^JQC<6 zgYI1vX#VZYE0JTJc7xy6kH4EIEa;;Q#)|3i~-NK_&o4DaI+vKe;dFHEd4!E6km_VB1>=@27#j-SR9op!}@)|r9ch9vn<{f zJP$mmYe#7`cwxvgm$p zNEdVkFR~ns29G-)*){XPgWyuo4dB_4Jf!wO5QZQFH9iflzOuR?nrjdQ?*{z_;CbLr zfOi%B6YNJSHrjC7tRfqNJ}{UEgF?$-19;%;NJo3XGcA4^JP%y_mxjP1`mTv&5FrRAI7^zu>*U8`U_l7Q0DlP8LIJUHh{cjW_$)* z#>zYjtOINSmpNai*cUqT1R>`XnYh}HVgE95t&gGj+R=gWEZEJNGE*b*S`!(_%qTP3 zKJb^JzaIrEoXkK@PG`U;KfwH5==;lY1)5GV^{27mB**VNT z&eS3BHQ>oS#8l`41fM;|nle~ad2XWU$C>N3luj|=Df9Tdc`<}O)&;+LKJ$Z|sUUd5 z6AV^^4`Lotn<3DPJDsM$;1swV9gl*?KFN9wI8#f&pLm9W^!+Aq|8nMX(%J()&6I@N z|5rFV3BkS3GROnJ0RG!r2J6Ag(+XD)-cQh1zkvt9-+PIHdHH}oW`H05fcYCb)BQgH zf|>hRaELQC0le?W45aDwJ2g7+efyagqVHFNcRRp*CH!m#U-~73P2lZl41~0!2aiMw z^nzA%_ZV|~eUJ-Y1VBr#-pE&d^r9dg~6_}+?I6RZPF6(c)hrzB!S-r ze;T|hx}X4jy#DjgrSva?p9UBG4k3qYyg8l?Wb{_Jj(JCD)-&$t)p79A;4&pQ0)G^o z9;P!X1$;GlRq(dpp{)?qhM+eDpMy({r-JvY#s!5~EdXCtojI0*N>Tm+Xcj!w9COOGUOF4v2=rL$0;x!_@N8A8(a^FJ_g zL&^^PCksl(maGlSe#8Z}d*Cf_y9b8tWqrE`egfwnpzf6}IJS=s>@IlxW9HHW#Z*Jn zWwd#1VFr2zf29tEfQW)4>@fo%KE0WN4BMLe26ttYoM_+)O zf>M0-2-QIM_0JHPr=W;?;NwoQqkK4$qqg>U% zhv;uF(O7L!g&S&ME#}w5><;kB;3L6jf*%A=0$&M!-s1Vh^(ibkjn7EgTx@lec}N8y zkTF&agYa}Vh(mySwD7ssnM9T;RqJpCWSJsEW)`?TWQq)@u_A%xURZQpb|m-09{zs< zA0nojxquoVJ1YNhFpfZI*ivq5By^{$q>K+iW~{vrZM*K}*lT)L*1NAj>k?37%u|W8h(M34BTX{2dv%S|V30r!?1NJ{5v3r3J+MgBMtQGI){2 z7lFqWM+V*uo^0{|5D)35?qdmlfI*hU%hKr5`Z*S_55C3Xoxlq$J_5X`n64OfqOo97 z2!d$(1x_cfhf>dh2f(GN-y^OMp8S@qS=U(6=1ky6!IQw98(9AmcrUEjRU-(xwqi$< zVIW6;KDd4KH)$Q&)N<I|tiERb_&F_laQuGE%!Ta;85jJ?3^>1ZanOh>Zl7HT0N3!MMONKEIL;pDVgQ3y_+De!V^n_Z72{kW@J;l=92+hOba#BtP&z==|vK|1Q11^L8LCu?~YAS$V zrdOb(t0Vvng#W81Uj@xEyT8!AMd-`I?*h04kabyw9Ilv*Eg3`af!kwfWG?I5W9WD0 zp^{(H+M(r6E@lH+-${!;wS>7`j5Mls?PW__;(A^Qm{%aKu9ydd_W|dMQI|akK~{u- zR;x4T&3!CQovsDMgWwtHnmfU>!DZr_A^I`w zN4Q5^kHxz@ZaMmDlFUO75f5o%_x;Z>kOE2HyDQj{-S=;R+kHP|CF|RLe+Hc94->!S zLiF$|Hn97C&T8gsxB}{J)GY8UbD3dJg6CR1Hoz_6e~$G@&7?u)DZXx^+7Q_D#~^T- zKbpc(Hn_|mGF88`jsw_J^~m+iWvZ5ojY}a2WX9}*0I@GbmQ*I3rr^>NBcZBOOaeUvW@Azh;5udicqX{aj5ERW^!;Hu13!Y^=^#BY$>%>5gokiePD{w*0y8xu}EO-!#t5~ew2ESa9!Bghz0()<4sXOM=---2{GXkhyf_K=3rP(+&k> zv6>9N>nTigA0fa32tt3b=0zB+0H0HZ3p5mb9r*k><_VmsH^BQ3XUFDQeX_X(zPCOr z&XM18D%9tiRZ3z5R8Xx0Z<)ddix7AZcvf5HIC#_n@DrU`QRZvC-MenNc=)LeKhYt& zb)p4NbYZd;f|}spHop{TF!dlU$&csKB@251Fm%Xrml(KbSzHSf6qX0 z^Pj9~w&09d3yaIa6oA%g$s)^8yH&CO769x4VP={09AQn(N~80PIRk}UwgQkFeD41Ev0@=pxTB7lB-R5$g>TbRq?cMNC>Xvn~uq!r<;H47S5y8u;=n%*`vHBwGreo5zZnM$~rj$IWJb^xlCPbo7D|c-_!{ z*pYednQV_jkTjV2Q!w}*yuxV?@Gy&2G5A40Q zogk=LgFSSCqY>a=)L~%utRZK!z^{9ayTH6d=(qV31f+e00{&RKqlfnfGsm~#( zlgI|Fe8<(9t1T;JT#@l`Vt z(4HCpcozB=7<7L_%jqSfD9#6fr?26bGwkJl&D0_ALfjrPZ#R-kQVXte#aCI;?65$*33%oI znflYq&~TIj!3vagG{;drz&qjW^F8=b@S-3)cnkay@Pbzu`~?5Y!Q0`icnjhy{U5ZIT@emYHOfT5wPf^Yhp`DW;c>O;`vP9_s8 zaDFp*>^c5UN25vI!25sA-}SH9I?ELIFu;NlyS38)8)PFp#SyMF8 z85lfwi8b?Ja2fnW6;{L;Q!zA?=$3nbHV2ReNHg#s7ce((29mGW!S6K_5w(9h0)!#x zvW0<*n(YVA7|6i9`bsL*T5{l(H?uyb1=R+8Y6s@B8txBXZw6Pu?C7HV{}cpz;?Zdt zXDYfC2e_*h8_0~71is)yRy13m(#K@*7dxfTzL*7Zr1;QJk0{L)e9L- zfkC_Vk%8xd|Ao_`obR6l-;%-ls}Wegi>te)X+3T^^qkrYKK@6X|6hi|NeIqk*ix69 zG^sT^I`Cf(@CEo>@UuTMH#<6zY#Vs{7nqwpS%{wiUxz{Rg{=QCLNGptOKNsrAcM+O zMO}j?7(`)WIxPXOv53E$y`Aaf7Vwr>ESeX)h`$fsU;r1$?6E}rV2A|z&%WC4&76S2 zYmak*UgJ2*PisY8pzrTvfaQRy0sam;_cEsHcHn2muzoT8^aBsoxxnOZE|?k$!R~R) z<;rFX_{jsz&2F*uaXI+94CeoHIsXW}Ya@1C(#7Cs-!pn4g$J3`IS3~G$_}P+#Z^T* zK6QOI3z^hDUE+?%v;FaEHKjwW&vbh`lu@&q9=NvT&d_JAU^!%f0vYmPg0_Qn4 zs1N=!_={9xoi1~xJ_BDfjSKWP_%ZOWVwtxAKTVt-pe+4%nu)J2!C-xPHjpQl%aNsS ziC1ZC=roZtl|tO7{`pqftLu`Lk2BxFnc5Bh!Ve7ObbJu}$`N*)fEN7*d`bv&VnsM|XmscTx%V^31y2I+ z(U2WU7o>nEqQ;G(-xs{n1_tkdPXNE1&mdF`K?s7n`x!I3*fim!UIb|<-dt55Y!imdi)Y-5aP$W8ct8C_wv6Z2XcY7k zar%)&CF80YQ@)C!1&P)V<3_OP*Cn0+Tgm9vRW~&q28A#PLOKjQkj+z^@VVO2lCAzq zHJ3vpa|stsGJ`^4Zr%HZzC8)Q^`#CSOJ=Y2d%~&2p%^2G|OdTVjD{WZj)K!(lXruo@ovH zo!XLGdEz!cZeCZMzJh+>x5&De>A*$Kw78?ks6Rg8A1_y@d6W0k3$Hy)R%0~G^I$G5 z^pFvUo`N`RdEX{x=s7X_2wW9KmhyM-pv7x-M1zCV6KN);F{ek0&PO^L>-j#X($6wk z)HrGsZsr^~3R^>IC%9V4o~5Aw2EWg0{^P`T^FP+hX9}`~%cIUfKL9@z*rckRNS{{B z+x+oSP4s7dAVhVSPc`qRPkKaUT6VKVBXub>!lSe;NGq*%$J+^OwmY8aS#nE3b;1#qJ46`}f?G#~l}mi}7sLaV%=fCq9T>wVGqSKdosI`O_(FZVE&rFM6e z)#}+U;0h~@Aj&cUJli_gt`U7}!rMt)A9N1tL@NxFK4ur~U38fga~qo6YO318trB-4F6RLKXBf>aS92V+)ne{sDa}mL z=()&fB>rR7vKp3Qw3sZk3c&;L7)1SiJuz3;yq-SkzA1nuDx~fuZb~)sA!uY;J~n{o zS^QJ*LW@WB;z$AO?9`gLw||jSxlSLgp&#(TR3-Hv3CrNB{LjC3Zg;$O-#Yd44}9yC z@ztd(--%=IA26v?|EUj*oj9h`q>0njh^(wp6Gt*oSrfcnCuw&Y|98$QH-FDh&c-s{ zYiH>X3??^EPfl*_Z9ePN^(QBLuby?1qEm;r(zKPAa?$CXf9p9XDc0B0>+rX8L)n(Y zTQ+Z%*4mr>ms2yk6@N)*k+#yJ5m%g=-fzWDlrO~yV$z1Ew9%3_#-G>of>ZIW8SY>o z`Hc6uNtE@a%-iC3-|@CN?&IDYez%f0#c`{7gIu?@zjcO}>vIET({wocqP1gMrt`N} z-dCLv|GtZO>5=F z#Jk7xFUPz8^LZ^QyPo$|Ww#gNw@&p6V%)Czld8CX`|}^K?k@8ATP1t9C%RShZ%lMk zeEHeeyS>YJH#Bj}=bx?ZF81Xwuj{7yyo>eRsot#m?k_Q;CrlbKHMMnWOYc-Ox3)K~ zfx9oiM??2jzZc!a{UblIsrzrg_e(=JI=@15_k}1gaMADP?`Y)?_4yAwUSg`-JYN4H zMV%zi@dl^5E#fm`7)##ITS+)32RO&upX#QUE5KLU=qMr0O^cTekR-3}4Nh}IzJPZm zjf{hJ*k{m-Pj}Pf`{1kOao*r`w?%@S+$2Bug10K23MzXTNnXKA2{_ffqI9=LJQgOh zKzZV3FEN8mWE&&NJ9~pOD1z)_Bze(I-YVj8*psMW2rqx4z4#m*Aj7R8qQjA*_kE1hZV-9UzuJ~)^z8>Z6XzNy~44O=Hl}@$j-_zcAZQZ8j!mqIX*j`>@J2$Od<4gR#q0c+o H%B}T(@EV+# diff --git a/src/jit_bayes.nim b/src/jit_bayes.nim index c35cc5f..0701be2 100644 --- a/src/jit_bayes.nim +++ b/src/jit_bayes.nim @@ -58,8 +58,8 @@ proc findIndex(xs: seq[string], y: string): int = proc compareTuple (x: (string, float), y: (string, float)): int = let (_, p1) = x let (_, p2) = y - if p1 < p2: return -1 - elif p2 > p2: return 1 + if p1 < p2: return 1 + elif p1 > p2: return -1 else: return 0 proc predictContinuation(seqs: seq[seq[string]], start: seq[string]): seq[(string, float)] = @@ -85,6 +85,22 @@ proc predictContinuation(seqs: seq[seq[string]], start: seq[string]): seq[(strin return next_and_ps var start = @["1", "2", "3", "4", "5", "6"] - +echo "Initial sequence", start print "Full prediction with access to all hypotheses:" -print predictContinuation(seqs, start) +let continuation_probabilities = predictContinuation(seqs, start) +print continuation_probabilities + +## Predict continuation but without access to all oeis sequences + +proc predictContinuationWithTruncatedHypotheses(seqs: seq[seq[string]], start: seq[string], num_hypotheses: int): seq[(string, float)] = + let n = if num_hypotheses < seqs.len: num_hypotheses else: seqs.len + let truncated_seqs = seqs[0..