From 67500a14cb477b04c50df503c1696306a0baa480 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sun, 5 Jul 2026 08:40:54 +0200 Subject: [PATCH] [FMFP] Fix errors --- ...methods-functional-programming-summary.pdf | Bin 670328 -> 670436 bytes .../03_first-order-logic/00_syntax.tex | 2 +- .../03_first-order-logic/01_semantics.tex | 2 +- .../05_correctness/03_induction.tex | 2 +- .../01_mini-haskell/01_lambda-calculus.tex | 2 +- .../01_mini-haskell/03_type-inference.tex | 2 +- 6 files changed, 5 insertions(+), 5 deletions(-) diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf index 9cbfe37aedf0e3385be52db4c9a2f7206c31ca17..cc1106eb99530317ec7422c23f937d79d0233cd4 100644 GIT binary patch delta 56333 zcmV(`K-0hY^eE)@D6lsW0XUNp0x5r$R84c!Fc7`_S7#zRB$8IU+I{csnzLKR*}LTJEGfnsnFEIs*=)tM1LVl8 z)8MROvm17mjx$-Nb@#Wg=G!b+N~a%}&AQHVY15lSu)OXT6`b4MqS@5D;H-br&-?mz zKd-9I?v_H(nlhctcbh}Fy=-Y;Q(uxkXkO@2UNd18AUz>TG);<-Xe20brA+WRZvBBylTI$xz{0r0Bb?H&W>`?hYD!TK|!bEIS*ZtptN zzFsX4hcFyRatF`mg1hupxOy^aXh3wd3ky!EP+b0ZURIFhTATEI?>E}pj+y+#eVSL9 zNSC8<`gU>l^`t;V6U|}^H6n7*CT1E>J3&Vw-^J|m`>En{EkRI3s4=$2w5_VShaTyu zSAmaa9l83jTr}-|d3aLIso~Zfc!~cr+b@2wA38lRc$3is6SL3~Dd`}_*H*&(S1WgdT>i;~&Y(MQ*2Fe@VOvqL3d_H&>>IF? z;PMocE&LS$G?NhmDU)pc7Jm|`iEkkXVatxdk`l|IO@Do7wOUEGYnsrOG$deqADWq+ z`DS)BV}e$Qp!4YSEIK(83R!FwQ)sqC!eT`f(pF%rC7LbJb$pgE6W8u%Q)cTVQl{fY<99x|fqUYIYQ8P%$`kYW>!x09va&3y6|g8RO+3k}qJQyEzdUSzBsa53 zbUKUfBMOQUL7oeQPO8pj4PB4)Zm-il!0ijN6l>q`<^# zC+Qvm(K%`Qwp2qxXSn@!tA5XgkVgfk=+rj|K@6v#;T9na?_+C6MKNJ)d3 zbdWO*N4>BHK?x=u%YVt;YWZoNIkBt8Yb4+i1s{}tNh!nJNUgyIk@tt?`q*}0-lfHs za3#Q70#hY5ZPgdxenT}k-WXu$c-<2C1J_{sunwfab&I0qV3qxqRTK+2hmI`^Tfq$F zH5OP&M#Qo09qYm-!^$YZ!5$7g%yQJ9*IO8NMplL`kQF5KN`H0Z{{9iG_pBYo5|vn5 zXCyY#JSmiRuUD!h1doOhCRR!(;xMlmf~lZLyUQq;&nptMB&CEgmmtb~oh7L@HpWRR z33=im>@yku`{A!zWC)8nb=eg$hAkB+1xH({dJkXFI2aZU_&skwe5n$~}nIqRe}6 ze9Y#XZIMIv(CR$~M_{S}OnwZ^V^<$Y6B_&54@u+gzSPUS(D>74u0=n z;inyXXYA2^)?Wh=dv+Ug_~wnW?9mMBM*+U@!E3lNYjx#dhHFE$Sl#PItnPQKDBmVtvP$!4o2T*WzFa+s59=Tk4gR#Xtk#<_ zjKn`xcWBm|AQh#hmA~PCUr5BgDLUO4A`Zn5ZL@D>U2C(4BS{)(;-fU$((bo?_i6ph z{l~k1+~56v=YwG0%D)KWZ~ZJ^74_Z2FW#zzy^kwz8|K;SLc+c$OC~Y;=iQ7-NY_9KRTOEZ3ByyH2Yre)pos!LQj0@ScJm%#o8B#cVIKm z7rL`^mOL$_p~0i`jiL#-s^1?vnlw9>$zCWyOtWv*(AZ=r+4nf#w7Ebeo6aE8D(tl6#`V z`T0ol<8LnP*>>u3>LKMRI6;qh5+`>Q5UpFCh$b1 zNOV3T$#zZOv9s|(2DepRb~WXZxl85eRV+S;{Ey=3$T zd;)$70U>~<)S(G*G5{*fqY+S+$S%f*JqffGZ1@o00~6e}%5<~<>=BAd5QBD_d1zBq zeMuaF3Bvty81U2S=V7zbnHpA{sgYt33?C7M zGGvN>CC#QGmXO&ldd9(2&m@@WncdVg@#iserD~L9bDpf++MPU62*C1$#z%9cYz~+? z9VaJ!6xqjMN+9QA{^I=+(s0P|p^9_F(bBquGptYG%$y`s%uj$38uJG3WH}|fK#g%p zOc!$3>^^##8iX- zhgYEvi<<9h(R4-MTDW7ly(E(EFc4`wtSB1PQZqGy)P*Z8V5LE~V~{RbKzEn;g0Mbu zoe9`{x|v*-vl?!erKaKvQb!gFa9a??S2bA>ik*^Ok8dO--bKhFQ6)c}iCjI)s+Y)r zcoDw=#Qr1`c&STZs)qN|5`z(T6K)uuK>)RwsrVYn)JCaNl@!{S_24SBaR*?3Q+x%n z+|t26l>f>f6GftEP^2^bRLrWji6YKXb*)Mb^XiPUFFNTvgQ?PIFyW|Z0BvemRm+cP z6b9lO2#9@i!W2Xvb>76u*G+xY6)3xZ;2eZN6vx6+0&2V47wiwka(V*E25EaRJ(wm9 zGf)MLQ&nWv84(n4?&-p@lGcp^XIRM;Rf8`Uj)oP^ZEspOMYEVLzSpLIaln}NDb(3G zvS8>)(ruPy+|+EB+ZtD>hDi#ADta(U0C*?+1>6s{=D2Ckrjsu>aFan3c5!Tf7^W9H zBcIq8-*s;+?fl+DsN*of3tgR)iO0U9rAuxH(vzkFA{BeZ`#o0<{G7qR<{hs0;OeGU zG;&D?wkSctg0sDo3!b<~!YAz~aV6U(9M`rVwr2R~&r3ct7XlPa@yQb+}P!6T^mQ1-2^zbyiPzw2ft!~QSX!z-7 zv5uBnuJN4*OFIAZ$84^1D1-&1Q84_XzbBtvfIiN~=80wm@HmC4p{nRzC%od)#E@|| zxfLhR5}KLEN@0{jkM*zVmz|LqiVH~nuHcWcu)I{m$aUEgQ2xAqM;6%d|KIulJ^zEH zcqAX~t(+Yu+&#ox`BIsG9=k&K=GDJ`{(U3jkhpyY2q#Ah|ghKaQE|nAIlZqQha#g?Pob% zIqIr42J?*-V#*=$wCIn|rW}42kmvk^W&wo+L*F)LXkACxH`C7ym(ILZP)nMjKBAX`@Y4ggxMo&34S)iJMc!3rio{nAQvBs&xiInaF|2RqrTey5e+P>t)HG`8Ing^Mi9Rc{e`xL-QZMM*TV9$bF^ao<5rLfJuw5^!zQ~W=P z87CT-r5^z*mw#~vP<;5&y2gg89;+W^xSiChbXDyN%O$`iN^c{a_~<>O`HG z-0@_RC(HTkyLgZUj{xr>S&3uK*d`AEfd#O;`0Zi=$H5|qgKtirzB>8h8RbD5r5y9% z)kQ$lh{rq-DUDLWf>-Ck>+snrPQtbPr&?vp(-|Q&{Ab==u1|kwScK=bPWh935M6jv z&YNOg>cS-au39guY_%%N1$@EluGSaU4D?s=Ar|yE@M+pqGpAAL~Ui9~4#9_hT3bGX%d9+EpAOXVov? zmrZul_I;WL<4q+tAWVYpLn#HstmMm;|V(Bh)0R-kHv{z3iUD^!8JzTi1+{C`LS(3B)3#*u7=jp07+9 zQ$+FB-|~MqF`{K5rA>3^nA^6W7OM?wghpTV-J7Yd&DsvW2+W@{7?d*HI_ue05spY= zQI1F)Au*u*P0Zq##iGobO$D7`ismh4^m;~+2LP2#>0sPOAY4I0FcajJp#Y9~x zIq!dZE%7&a$RnhhD!w2zq8zVNjV zrI5FMl){v3>h5(^t?ZUcl2S?#m(nYLE{f~C)UUmokiQI5YW_fM$RCD1AXy<6yB;2% zS*>-Hlp7`fAYYYD2h^*1L#m2Z-sDxSD^Y9**_*O>yUCZPy7RoASB0sl6Jcvai{^iG zji3NnZ43%qmwDs?6r93>MAHXE@o6CnPN7CN4Jq0(6PN-Yh$*aQj|UYN%X&~n47S05 zdMV1UP7?yMw*oPnKo+r*XPgKvxatKyGHGgoho>A1X#nUoOBn$&d8v#5^{O!fyo{== z!CYGAbz^?zQeM@9ewkN!TRn^470rL82PHs>@7?6{G|U!RQ5qV$CWh2so5d(QTjnqt zKwv*4y*V=DNkrs$+W-MYTQ<)2BF4aix$)2qD;0LHkTMJAhpPE;_6!tSap3_6py9kt z0-v6$>c8JM&iIybX7v*9(@Q4+LP^9E1xL89s&p)6ETWibIKq4WbapOm%=dqZ)rg3w z05}60B{kM0a(zrA%9V<0OFf2(2ElzKA6!2~`*^Gq8z;yDjY!0xL4UWbLcN&XCo4GT zg-NAO91}C7ERmLoJu!xP+_nHESjoAU6z6DC93=@FjAr4Yg@YQS_HZ6KV1SO?m=Xv~ zTtF*CeqnkOW9sg&B%|=p_Vj;;rFW*KWN6HDWtJXDRLBXQ2EMPxsnRR8S!Q*o*2c(( zB@{3YdO$v(7V=?{phBA>R*1o9yVA|I>S zHd$=>LZK8UV@wz^b6_ButuYW%HW~aJ)!D-znXRyiOxEaU1V98AI{|+P87<9!KAm1+ zgmg%Yc1-RX7&sjjP>Z10c2w*@2JFKk194}-fZro9uvz&Ca6sI1!)U}n4UFez3=W2F zD}xT)E;}l{4}Nq&yy$?6bTFhpyU{_)*~f(re)hG*J_I_T9S#_x1LKBl=#za!|A}X8FqVJnl6$%cxlcV~gKsMibW$9id=M$@d1~C^2kfYHp!M=LW@j}6 zrf-T}FMf1u*2nHTq&EEN;4eN~Omc4#<;qV>2e4H$uyO&YlE$&1*3b9GjksPqSa)l^ zqWduIiJu}i0Bc4mp0uP) zkqJYJ9%xAQjUI1D_3Y|5qio8husvOGq)S&y)V0}ElK#_4gX+n+d}|G5#sJdcGV}SS zGD^QNC?*?AuTFo_1;BKgudmd{`Kejnw54#OJ6kPGum2-MOTx3|Cbz#QVSbaXu3Cc3 zhSE~$k#}2hDdB_{g;Frm(uatYPfhe0hHfX*vTw>v2tPYi`1@vWA^knePKduveCI`} z^1K&mwS@wh^GGc~r52FkAwx$=xo&Kc?6uCB-Wk88a?pRH0Wzpxv~sBO^ADmMFptn) zd&^01m{K4S<|rL%1rj9)V@oU02(ttxq7$|@0YnEDfS3_Z`oyJ5=W6!$dzhKhkjgo-=W3`9C5__Ss)Wt4Dz-SL`H3j9!|(6=~N z3SIwpYK4EESry#_uLr`?@k)k-`(1Ny-SI1YN({%f+-%uyTYi`cCmP0JsH#WmK?J*6 zgM>%U%C%EyuNvQPhquB2Ji2oFl>9?^;T%d>vZwIQt;W(}ojJ9pa*O^tSuZR#lhZ`P zAN?+&yJ4bicgOc)q~sQiR5^QsZ#9L7PK}-n>S!V;;E^{F=i1Z;sH4S?tych z-s$=nCs9IotdFM51acOKE|Pt-PUIY?do7YZ(|Vw@+Qf;YAxIeawFN*&AEMp&vJRbFN*g^{6%4*QjRJMVQu zQ>=e-6#*;4vyI7IZPX4Y4s(i~M{K(_NL@fNu<2r||AAMi(sjq%Iw5{+nZ+I_9p&bzykF2b( zy!MwgmY9sEZPd{t#zMWVt+%Y13B+aHRJDJj8J*4;!r=?sf2u#oZ<<`0WwQ2KKQFq- zXZTSSi_6B&m(jz@oU7{sm`(Kvhvql{uxM^->mr9G!D`DKUUJRC+mXKQj+P9&Zkc*k)e7Ua8mqbM<%aJL8q`Ii19p{`di;@;3kE4G? zyK_$YN)GJ2_AHPjmYDltf&9cgOC*-zD`IkeY|BinkI8}Sqt)#3o+XQA{hp-(@#?^n zUIL~LJTY_3K<#oGkt{0TRwoHxx&baD;g|k>Dz|bC|Jx>0JDdg96q1;jP@|7ty1tjH zK*yS}L9EHQu37;$fW$cKBvW-3-erHojx2I-+&Q~PVIEy{3|dG*`qBXz!&oOOk8WJc zNQ0`j+;HW(oaL*l?nH`I#Cc=RlZ>{p$6J`rkwY@THAZ{UoVaMtbmOb+>Z&M#g2kh) zm3K z8b8}#xyAsLw_LHT=3FD7^@VGGE&j%oM3{;r;{EQ4znyXIX_R1k)Omvs&EHztNze`2 zWZA1X>x`X*q6c$5#ZV0G#r1#50bK7nH-N#Sbq?@t&kZP!7n0+T{4m1s?=Sa?w<(VRPyrIN@irv#B;mAAq#$`joqTC)w^Lfc z-KAN8yDw+R=_@w`_ayw0TvC|f2+`@y+_sEjqi@S*qww~l15vis(k*|yP!_9>?!7x zd~R+I08yfN=xiw0O}l?doDD6J7RLBa7=s>;l84~1PtA_U7|RXvX{BPyOxW@1p&F)d z_INwqVp+c(KOkPN-=G!q%7}5JMB?rY`foi3J)Sh^U%IuPVC|`nYfp=Ohe_@C#6pLz zJ-0Uy&z7|Gyf?7CmfVBg@`!Z?#ioj8ILI{{Dhttoh)sgW(N2 z{apslWwqWcF1Ig2u>GFq5(HgkV&870XlySoSZ?wGU0rp_U^CC$I0HCQ-t9I3G6Q-B zClfneAnEa;86L`dNYk40a*ozm)qF3r*heK|u; zU%4T;C*cpI50FG{V%kV*%S_$E79Xe`tagvr4i?us0S%90oDRvCa`L^DC@FK3@vZH4 zqFGX#?xf+wp-0E@Ex8N28v$**Qex4$u;qniO>W$&S$%&fm=bi4!?wP#F^3y1YXf(U zQq|@YZFgDklDZo|bqYFt=|fe*2iEv;t@-A5r_1?f$MGruxvaqeK?+`owvz(56kvmbgh5RB^ByoxC?lFZ%+P>mROKB5$oVY z+&bHLd7Z?h*GYjA&q(trAam%!0@o4&W?zibkLqT%t*I8mI&!}a>bCY7Kg=o{iwLP} zheu=RS!U@+w9FnlNBdoL3*D*X}Rbl#wJR9Os!+GydRK1I4L*SI@*+ zH*V+2W9L|@yD|rn$;+kR5X|-vmvq0q0Rns#C(cljt!1n)DQ&dhlo8VhM!Yvhtkq%m{J__pPYFA=N2n0W7^DR7SA_J6M)Ff9ep^)>ddXW#zh`) zjde+(i+!O>5x!0F{{i;IpTM^;Jpro@BP>GTn}r)%oN{-eH<9S(tpa-CT7~QOh3_TQ zF30}`Ve}n1xBg23R}dmyQns){HW<$v(vY2RLqtG?U=+ z6qk!!0X6|RlVJoXm+D*r8-JXKw1yuXM<{{@QeewK`u9DvjvcSPk(sCt4A@$6_i#9K zI5)0XC8WTrfwh*1j!g12Q|NzV9l=*ig4gUp(^I#St}W14n!$0B;zU;@JG}D zC@D~8pV52;#g`IDsRXVR$fN|wA!`(%2^H3$71vUOK~~LqVUShv!G9GG8l~Ve8#Lw$ zna$P0N;wJihM1gydG4*`YN-Maa%o zDM-Qs71~R}0!>n=kl(7`fb|JfNrLE9cp(XT5Db(A70D=!X6NK!=po`@bB-aHMvlNH zZWPflat57*Ft5S@A%DoNr7ncrzU+6@jlcqAu8>O^SHp;^i%j@%5nx2J55S0I;4)`? z_sECG~n3$4s>*tBx4|;7!*O@<`aS_cHX^0)a5Z?=JFVV&E@%^_%g0`F#{Et zRb4^$ZH7GY{l)I$OAE^W9Aqjx#{w7d%@H_}`fb5_Do!#CQGfN7!H_CQ#*V4Ev2Zjs zc#60q70?PV#25G!EW#Hz00T?xU^o>S9%+Vmfoj48V-|N_d~ueQgN+oy9Zj4RsBP+` zASg`T2zaQevjSOW;?n^(X9eD4#fdl@`e!jbTYsOuTb>;ygkw4$ejR=ro*&UTSPZY0r<-t8S|ku)t;RaWLW$&Fn_4Vv zfISU+dto>X!^`#Sbr@cRpUyAdo@4I&^(t!QpTm~KUX0tq7g?u^u<m0w;^vhI9s0{ zE@1_Pynoma!|UazO*ozsa{zr8Sar2ot~TeeY+T08KVM&*oi5MELNwm`WBKm=$+PvR zFcPLsqvygZ6l(()2PbC`0R`+5K2m;;#l6(IO2?0DOA2*u$z5z4vB=U98M+IrStDxO z!|XH$sI~3$qg7!5tfRxBj~i|pNPY-ksH1f%JTWZWk>LvTgz?*ns28Sldq zsvF-&#Wh$t8g+6((4r;&LDB8Ka=jWgKMU~nBLsK-68PwOtInnYw18agdYZS(WhO&R zbAQSA=8IPD|=8GneF<&(6&leNyJ^5k=Yb8ZL2W-V&IVigGm^!h(2{xCBX2H3} zmisiup&xCe`~S~nAj>DVlHVLiF{QK|<^I4Y2|9~0GE;&@xEPD6YexsyC`s|(mY zswK7CQSB$zZ-{DPxfRuZvVVM0?JpjBqknpe-5%AmSOrIDrnX|Qg0H~w{Y={h#^F2q zTaX?tOcI*a)`vx7>+aO01kU}jsC5a}3W{4FZE7vbeY9O+aZOeGuznDx+=opCSL!1| zU|cPoTPHT(K25;Qx53~4a1`y;BBxkWpLvX}6YcW}M)O3}sRW}#E!L@ohg~aO*neD0 z^px7AL`JH}WPMB4*R)z6bq;;n% z!u3uSVcW5aus+5r!ll28+{9jIdqX>tYA2X2&YTeEv4nd`WVAnQ-4@bu=g~FbJ%Q=ifqR=SYRHg6#W;S?O1Q~{KuCx-{suIemP2} zXj!@htN*}}sZX$?Q1Z-ycFsCwWB`>e)|6`WA3L|py-aVpQl#7`myiL{%nuu)S**XY zqZ>N>2LR{oM3=y70Th=QV*wNbIWU)icmXPxSYrVVe})Vm1VOqzbTZSl^|YCIqM05P zA83iT*r6y#r0lrAzPotvArZ1;JLw^ru}yHXSS%L%Ep|Z@@5&?IZI#O$QY8LqRu#4G{e9Q`J3XJBPJW$DK1?VmMm*XnLPMIQ z-eNtOpA&BheWxA?d75~)igOK|aY$kg?b3TUIhzo(I5JpdI$=A^soLa;KJqy?f>&UO*GjM$4E@6Ap$7e|Qr6*UDa-n_Rzc^Tm|W2oI)qc`26~^e}LRdt#o5o=XRj=a;@rSu*{o$+&qicqXEc$ zkJd4v)e(D5P^d$*E$I+PjE5=hVKD?RQTUs!P<|}^da=sanFEC~OgZ0!A(36wSaJqWb6qO4}Yn* zh2EFfSC_vmG8zJJ?M-MHfeh*~cyf_KcyCGId7MQFMEO1`kpgxIo-yaKM;Y)?lCz z*b8F8LXoJAKRjy`k8*mv{ z4SK$Mm;+G~g)w78o!jUMaHv-r3>GC>b1(Q(c>uoo_#kmC^2qN-#bFmYcZ3ND4kjEg z+MEI+cjJOFgRF=}4}vjOK>kD+^N__f9padW31zH@<0u5!z#3X`SOVfWfi__styHvx zkVteygjy5>SX<$JidMk{e+5PC;kaY8IBum|99tFsM;MEcNAg*5%rW56<2W`v3KQ>| z{QB`Y?q)m0al5vAf!ulPIFKb&F$1N0)ePiCg8P^XMS}S{r@bhet!~|o;}coePoVX)k+v!c=^ zO4_A=@K|LxrlqO?e>g9){kpp>h4{^Lk`~KliMty6qR?Dho zo77irZ6pV^(U;0z9t;~NXd)XSP|3~CG`a}!&>E9X_wRVre{lvjL6LFn|5?;c{lt>< zp%qyqd9SR;^*HZDpz~wxv`u^BaCtCnK09|_i$HgKEpk`}a$5$zJkd%o%}0|z?y%fS8>@8_rkEy6#s5S&k8?D;398!jjl z@CU59zLkPse_1Ig2%L`c_?3?3d3q_>o9zjuV9#5}z|2D#i=omjm<1hx8D9Hf-pfs) z*O8mvjh8|Z_fJk7k%36a9Rf%meu7K{tcSP$!mk}Ql|(`6=?oe(XPh}del`6ZkqI?( zC3)C~tBc21*Qs|X@`%JQs=RY|pS0qUL`;b8(+Rj+e^KctmR5#z+tq?g^?^sG=+4r* zGk#F|h)rTXHQ~L+l$saE)dq4u)`t(55{M|IVy_OzGGx34fHfa6mO9zc`LR}byz?L0 znn^I`s=)7OsKSN*px2mJeG`=9ORVp9kgD%?u;sej!9Mrh4t|@XNxNUjtgA9L<@Ggw z1;nN*e{A$LZFz#Py3|hEQu{s?o;&Fnt4)vWo$KxcZHhMxsOddL(-&XNCi1Yc z8=!vz9{i(21jlp|f6D(kIRANrVPVQN-cEPwlQN`x!hGmsa7L=zB}i*R0k|ZZlM>DM zQnT@RU*-P*Q$e_83T19&b98cLVQmU!Ze(v_m(Xef83HvqlVJoXf8|?SkK;rZe(zrq zUUnTpin_Tjv)Ts+?JSHy?26W`L=O_~w38STC)m!+G{2rxx5RdrousE5koF}P+g0a& z>N}^(c(R<}$-l2&USECwii?RxT2L{$UQD<~0*i^%9BG+OuJ0x{$*U<<$<};Sn`}Lu zF~*Z`^JcZ3&Ztc8e`ILTLxfCK@;WPv+THzX z-~2ZH@%r`Ezpk%-y&}LEo{%FW1QDet^Uc-Gk9cwi_g+shVp>h!+b1{hq(E3O_`RNd zfA!xh?1jS}A@ziC#JHesDN}|t)lN!gc?g3hH#0&oPOhh#eDv9t*8b|w zUTi7Sj9h2sa-S{p`ZM@XNpiby+|zmOsm@{A^}VOPjSyH&NylDsQtC(w8BG}3iA0() zC;Rm(ch)TGe|n!gk62kU@6AX4F0aCUce7b#K)4Bi{Af@4c5PJz7q$!c#2pB7=Ximu z?^nfq<$mTL+!)XyNZ=>W+$HzK()g)yVDowBu4U!jgPFEv-W^{4y=n8zKuwm74A|=` zfd(b)jUlLN8OB&4g}IFl%rCHpR}1_VK+0aN_qTQ4fB0t??z_*oxz>{wO=p~@PWfiG z<<^+cJXmrfZ;ZMr);@()d6N|-u;tCllVA76{Fl$dgIQC|-S4^AK^}~kt?%o? zIpQH=e_f0lswoY@DUnjjhc_b80ROfqi`iFM{mYc$BnRH2VNMicN(Ui)=RZ~63!R=FEkhyK z9LPv3VxUq#RA4u`rATRU(BFUtzrQb=?8C6$f4tiKBH&e*b!5n^P3?t0$TRPV8B~6_ zz0Nkb&MUInJX_EA>wTEwy;Ym#hhWxX=*HfD6Jhmc#))`H#KvUXSnnL)g-HSRF_m~) zx<`vAKSXK8XdF{rQ8xJ!Jmp207Wb?IK2D@lYU7^KvNJ!GDtYnZpK%qKn{Nyyn*1Ce zf1TpwElzQa{0-cp>4z6lx@Hs^APRFnhFYMbCIavXQ|79acF~>@#I;8#BsQ8OE+?&r zVskN+0zd7kXoO3cN$B=eX9?Pq#ooG}&Ir?H=`|=Rf7BeW%p3+7z$6&l=i@ZqiTN7{ zf#33K8z;_$Og_T!{rE7qet3R&Av{Gae^oJm>C6qej*zyIKaFdFuryAGBB9hD=u1&1 zQbZ|<#|9e{_ASQjGI`;d9wi#11Or5y(9bcqv+@*+({9(1RUr$h$EoMAwa1I!F7;Ql<_$J&U zok&wirasiT=Q}nBJSJSM^G>W2_R#NMZnx{xYe{6_*JbmxE3wtqELAQsh+*v!!kz&) z9?A7*Ot=bZgr{`(>oAkAXfaGhx$<)awgJd3~N~CgfH-YuD;D&$;wG$%Ue#ubS`e;|Ihoo zWxj#1^^Yyww{JylqB=JZ05HJ=zM)C-(|{#487hsm3D)6JRkUCO7Ojb0Z3%fUAK;g^ z`0W>cAdIycd}r><*{r3Ff7_xoO|E(%3&9f~Vm`zG3MtvmB}Ifofhg(t(1;@15!CTl zj4)9#QXP2(k|b@DYF3#Sc9ZSA8v50=ahq+&eU6#iXsz@^f5CETh(mS^4U99I zPgBL596B^hZ97h3uVHheuRL=tGxAlr`{R2nRX%S_zfxo04uo0O*#`VOv{u|T!=C99 z8xGxt?Iz4yl{z_Z8rwg!LRPu&e?>>kz>p@SWd=m1PW4}Ir=WMc`~&K%_RjI(=fd4^f4qUPX)b+f zZ3Dv-XP@pi1;GkY2oMhVgUNJkpF(g1Mb=@P;^E#4krL2<3Ufgf$2|LQjQU)hL?U`7 z6w-=MW`KUAIFxb&tD*<#9|oF6axfoAHL{|zkvt3oKa8}fe}+a4uEPWhloWId@y=BG z%<{4Uc?lnrw;85(hI+f+MU9*q9D<<~oNUCo6gau2BhE#&L_%`7dtkm{TcO zC?q(QLTT6?8(D^d`=17F+=ghKafyoCY_zv{jv7a-_Q~b`Mqz=$()3kQO)pTzm}hhf zepn*;>E@J#e}vE}_#dkTHmn3S41TGw==TZb27eXmbm#R^a(810)^0>#QWHdy(y<^S z%)kge5=C5ML_h))MXB^#OJD4Eu_yu-kKg0FPcmAvg66F&JYoq!}6m zK0HO5(+L9;2|fyZQjA7}3h)z335TiR+xM}`*eWnfAq`9F&`$c1*|9-)zlY}aubr1EmYcdHy@+D2e@};Cb#yw{=EH0m#qA2I)D`L^Wlsd8 zo*;AyI4L{?00-7CHRhulBS1l8X^c~lF@@Dv1HxvZOLyE)?YgKokTQK@ba2sb?&yv~ zckLc^?yjX7SXwZ1+D=gRT!>kog_va&IS#uBRb#0ELsg9xe@rG|@e7OIBI>~+MP}#VSr@#;>BX*7-Evs0 z^#98ll74!UmsafUK3N~q3h+#G8iB%6LE4y>Op4mo#)Qpo0`tEjY#2`u z{gYtnX;Ktmq7=PDSkEdj{o@3t5vXkru5xg03D8iCH{!qzQYuHmHbWdrZUT;ze-hOy zl#PeQ+i?O(>DqDZ&q5{qtTR>ok~3BOj1cFM5clDH`UFK+7>H@f&JspOWEq%MA*t9o z;&c@h&SOjjBv)9bp0rCJEiO-(e?UAA5S)w0pQ<~pwM+ASv|Qj6R45rzN}kxqWMr(L z$I=u@SmKE!wmD_V9!}r&_Aem`e`4~ypkUFZp ztbBaddY(w{br?;JYmS+m;j{)=@i8C^Rx`+}?X!o|n!TPY=lV(Vv1f#@M=pDfa)yzk%emYOdHbqLn@A zI$wo@uV(JoiB!DBglEUYx1Ccu(Sxl23!79}nit|MJB|CBdHeF7 zZ(zH1gPo$WQA;~-^VB1<(WAVQ8Yn1rCuPJA*!2O2 zF*c#DP_qo*?u+$Z(4GBipD40=vySA|?GJx7&2}@}@64elCX!c0Y2T(*Jj|c%cJ_QV zjF@lBx~a0FZ2VD43V;{eny+;_?emT|%mewBqb$PIPJ{)d zCV^1qv8`C7*9%5dwd*vkcV%iSX0Isc$OO zl|ljA-?EWVfhMuLQWWD}A@)(S_vq9;*vV_xDg~G(zS&EzJH>Xp(tonWc2`!JDYX}A zZffDKvZc1L?zmJRO~SbJ}H(@5L6}jkG&F}KDoMB z{dJLI1Z^vC2Ad2P6rvfflqC?XjR+Q;k|>6t?TTW-z;AHnlyVOfXoJJJ>E8$z-i*m^ zy;f@_On6tuplg`$sDB;2D^VKAv8>EawC>2PHqF>Z-Btl3fPorCjYwH%jImZW*S_3# zg;6fO*~*)}QT`ox6eM<`AScZqSR?s7H2=Hzi;Z3-lQqMu9V=iIg_y$?N-d4mvhTx6 z)5x|_N%Lb`8T9c~-gQ%Sc0=7j0&u2Z#?s_@PB%(OrQpxNZp6|IOIq$ z+SmErr2_fa?jj{Ka$e}BjPgQ$wcQ4^3yhzmNMfToQO<~qANJOSI;_7kwN?ZymjW7U;`fJ^1F zca?sX)g#GAsK2?(4m#K=<#-K;gK`hlMsDmM^Sab`l7>JVO)22HVw6&{Dzi-A<;9q; zO`&k?&yvkXxFthGah<|wQB}K5BTefYCpdB?asjiAYkwyH!>C&umsPf$s!#Q$qt&C=NgyA|k%t7UxV_c^Aw&f$72TMVSfBTSwv++`X8LM)-FHM1var}^PNZ23o4ZtpNpBnPyARNJ0JuNm#< zynmebKi|~0VVvkW-|ZHQhaVm{XMve!nU(o(P4*lxmwRR2hb%M+d4Qw+XP*X@Z!m}d z*bIIjEBuy= z9n9F&uNp$u(-ucyE?6D_z(}w;iaoXH-hY7ye;D7ISFQ=po8sg`2Cfc(7PwCHUTwQY zchTuCozx$!U7iu7axzycoY+q;gZ&E^v1q+1P@HhP&}IqL&Su{k3jNMd*rQ#09-S|< zs`Fy;TDCMt){Ant$nBeG_1;V0u53_Tk zNK>=?gI5P9dvPCiBZ=rU{qBpx_XLO2$r4Cv(Ou&4BLOP*Fx{|74|N(q3x_%b+$*(t zu^Kxzr2gjv)Qm?R`nbve!rfUuwHw}kxE@oPptpQ<5V?5=yUJQpr**b86={?lL%?T! zW(?ssLXMLVB?LccZtU`98@PL1^nY8C=Ht@Oheetl9v+Q;UE17w_%0$1rI``o(U2m+ z*d&zze?Wl0rUXc-n55Fc{RG_75F?In!=xbxnwNCPCetiJV8%Ui>8bK^Yc@?0jtrTO zS~Bf^Df}w0>IqtGSn=QNt6sVLZL2C*UmNOf#Zmw3JA3;n_19`9yI>uX9h>j%$OnJb z$(`9RxnK7C>d1tnJ_Lf_$f4a3{9Y*aX}Li?ujP+MRI1z#{A8{+$crq9)3sL7<(J%XkPuyP=|&q2sZzCq-+ z^AYgVL8$LgXWQ&{11M!$atSbnu~`n3duT2ApKmWo3Z#|%c3-v%?l z<%=6kaedY^VT@mW-xnGjToa0;fw0fjK`89ixR>gifEec}5@a8VQ6~~RnkpBl{(}*=oSAP&hcDh|=zY|3EEh5{3vfr6G-veVd^>lv}W6EmC zzcI#~#BB$m9$PH#^A}nK-QHVsRm9ZON3dABJ2~Nz# zB)p6;Vr&{-iU@^*d4eKA%)XwE9LJB^vUY+>SfhzP4V&ZtGfu9e;p|)Or z9Tau_Y%+q19P``!YI5|aprj~+>|XBd@6(w1mJA6ASHJd)0KzlOU_8|l6W#8KZbtb~ z<^KZzF(KiX5Q70Km$5MdDVJk|0T+L!4ca1y-`oII<6~3!*tKQ!K!1FPq$o=YG!-U_!}9`N zWM>(vj3X^0ZNf;Yu%tE^$uYyi!-(zBct|NB`9-&jEV7XzAar;~s1Uwm7>pN5BRHD2}adKUD`>1MeN05Ji}v2+)B+RRZ$ za()aJQ=vP+G`5@tWRs#STE-Hr!Grb1_t}!1A2)QBjYBdSbX$^h?>xz5K6>yVU;u9# z5c(@C2iyy+1|j8$*3N2463z-^y?G7?{WL9RpMZ~q0~Rk{w3~evb3TUOc!zrwRYmZGjBl$=}LaObK`S`y+yWj*;&y^C?_H z4tHYr1{>sl)B(tjKFnv|Tou62Xud@m#e!;15oBn}rG=bdizvmM2?MFWDKc6TNAE^) zt`KFQLy4)|*McjQN!Nd@rM2)vtC}(iO^H=v-+5Ew5xBmhEDp42$Re7$?+Wf7KqY{V zYM_M9gl(}P85d*;R18y-jnLre7;(SS?ZKl@gDmc zN{$ItXs8K;(#lW!&GM^KiaNd^d0T9!p}hLeJ+%U~b8iG$rzd|H?QCz@&>J<3rk$bc zZ-rV~RiF+Vk?J8s>DRzaiNad)Ht12P0HGFDP%U%gjl+g9D7LV$B509HtGRGAX0VVN zN^gRa1JGPvOq+aGy=t$#x^n0u9s8=W=;=?A{Eu`i_p0be!FpQ3t1{UtpZ8IMR#-@J zCrY566z)k0P|ANRYTKN^v7wALI6(kC8h~0awJ31w7@&YU-wPLBXgL*)rm%9khD}o4 zc|#Bo1b*?dCM86*$Ov`MkrL|hUyu?c=8!iYkrR{wV1ypzgs9`!#6>y%@L*18jCPX~ zYTIrlg?+3hNkL-GXdCq?t_FIL6|NJk0Q*=YlB{rZ(ItO}p$c=@d?v=BL^SlqP(l!r zV6SmbQ;V58J53YW7&h{Z^>I^Ov8TvMHG}iu zr`z4d`rTE8g8+B@AbGy&cf%tyyN=A>I^w7>ttS1+2aqz7e?1sdrTXx4q7IFm4sT#i z#`*Ki+f9GV!TnGKfM`f9;HVCHz74apD&i3lcxN)8`LuENBl68|(K+6Uhhx{>L!#FS zW`KpwEcJ&=f>%VdH!(G{_bG}%bzfAtTfzeonPe|M)ErHv!M9Jqib zE%RD!LtyD%GwlB}BN2?-9-xou{6na>5AnXfBMW~&%>C-w+;4zRk|Wvu47_lBY?31} z^K>D?JHT%XgZpNe9#h&!^a`pPP*mKJk~w%pFQ9{$`S{qK9IG^)uk8pZ?0%r>P{v2y6~X;CjR8 z-W6+KMdJ>#X**Zvulgr`kxcHetPZrw`?uY@<1_Nv#nU}$j0U8A6Euue{-;V(*mwMRkxEjej$$dW7HbZyZMJyW2iF)BTX6)~lAukSv4j*TsF;4Lm;nT1@_&JZFzpU&?BY=>(lvh^ z)6O6POK=ZGhydvSE56zn2_pS3=Y!KPpD+GCKKZ~Z#J_Au3~kRGJ5!37IT2mYn9dEK z{rpP&kB!aeyh1DxX#bKzWJV{7+VV;rKvpT&M*PWdr=JI`XiaU$Gg*1>PoI}&#{6<( zh-1Sy_X^Oj1AoLw#m$jwn|HxCmw&NrKQN66`{G=&&xsKjrDj30RzcxY1C$RX5?yF1 zo?5DgO%1E-Q?ur-;{_=)fTU7R{(gyjOV!Zc7Ht6^0;We!YG_+JR5aUj&zyx5v+7V! zPLdCGZA~JbQFbH>m7Inu>hvohU>WTVbMAX)5PEis2!C38$h*i-&HC^-8Z5cQ_oiyt z@bBKO4o!Q24Gw>lHGcFT)j!SZYKql)rB;>IBgw14eTtq8g$Qe#s##)m!}CqAX6`cz zFC3*$rIi%m1)HX7GLeeLI%)(Z&)=SaZl+>w=KYJntD-dWz|9F2-_<xs__;@W^F$imd#2o6VSMP#eL2Kh8V)! zW?+4}Vv=G4w#sSQtM>M7r~h)mR6#xqz|`rRt>~N0x(1@%%5Od9s($ba+YTaadjKB_Ls+?Bn(OFvT^SX-x@C)Ie#AS=OZV9L)j4=$@pqra11=_){3%8 zv86YxS(rrZk?;*itnAZJ-nz0(e+jt7E#_n)7Wr0FtEyfSN;?OksDrS9vGn$?Op9Z( zv19u|gTBIWl*3Qh%q<9HCEO6)igNP9@!0ga2D-C?YbOl2I*O9u(NFmmD5~t>WaO@% zy?+AwQR0SOX-_2Yn5#Ic_gyBe?o{Quu<{mNtMw^2s8P#Yha(JS0W`bLna+Cpn z1sG&Gw78e`lmQ?p#i&Ma>|ka6J8!IWGdh@_>mDkWTj7lzR5vQS^Tsx;0Dgws3W;GL zmpzpMGk<{ftjLMf_B_>vc@vuUIDR-kNiIARMY%kJ3a-tJN3d@49u&1o$&)!x2ESu@54yFw2B69d=Ko>xn0SL@z1QcuwiPwG^Oy1)3V+y zhg3X^YnGe`Taf%e0+n?(3T19& zbC+(G0VS8QF#;-o8%uAaIQX7lVa;Jhq=njm4UE(tW;C5urIlu9a#>}1@DS3l%Oe9u zZCCyAYhx3VG}DwoLK5{t%$E;;?+3Pl;0{3WdGKL0xVW|n@C=Wb1dOJ@_6!0Ea6H@a z91KPiFxIYzrmLmmlEpL{>Xv0|e+F!p4t3MfCb@+CCVnh`iCiQ;3)4g*TiTZ_y~}7E zhshm(ggDsMZfFwb^4~uS_TTV!bTjxg8vGm}&KLx!W&|0?^?)A_#8~inZ%ffjc;F7q=62e)~a2*63Obm=XDICUv_Qf@_oFz4kb!0-Q zeTNv9tU<$n=EN44><+9!zJ4C?$*!&>w&H+8_zXzR;BXcfmvV*`2%n*P4jRPaK+ZHW zprW<{;kcY*dzE8sV(tC=6$Tm-^*9g;flRE3E<;KYODbPzmIv9+l%6YFOiB-^CjIJU z)%4>{O|MqdTKGf2quTJGsUn{!RhBIAORb(2$k$DOG|KcaZ=s&o@!STWc_2QSRo7I zV=Y>*v1*m2kY%sG%siY*7?v_&C0H$G1*xSBr@i+p>cL%fyIsu9x@EH<=~(V8U`3Xk zg787a8=h{3pVBZYvfzboPW5dBt#or$$~D`6rd)sDJwczV4d>PH9B<*bdiBB>_(t`AjPy(MGW8#5Me-6XP1tOlQJ&ib~0@y;}BZP477yhVEV#S)0r zrN*rwwQ%p=_2BWB$IeYM=NG7t5&H9iZc%h|hzpUGj!?YcL z2VB8l_Rt-K%a2>ScJGeo6L(wcoV&3T^Saszfbu6*Oa5`1sl9+Kmx{?s(4x7(x7LB0C#8LW#7`O&UPey`iWPft%hm9X8b(D=5& zE0SYw+C+A&u1W{mPwA+*x4Q^E^j156-fBlrwFCF-z-LfA=4ZO2%1$H9eqGUzvY_{A z(EOAw+Wt+Po$#ADt5?7_9YwcYm)iw3Ig0+v^Yyj^4Q#0+=%ZO6&fuAzD7)g6y}J3Q z$e9=sEl*luC1kooW`d^q$P5HT%t`X zs%okzlA}0GLVZT_e+4^11*H<7Xc3Kn$g}@c_i5x8QK87sr2wMPmY8WG;UC4f0xsu{ zGw|tQUfu*5TePLf@UZ&YKzI>l^3#A)O7U?43*$h7gaX9xea8Dr@jZdW3)NQ$Y*syc zFF2tKFej|$@@cN-s!*eV=B!>g{Zvk}(FeF&x}*~qFdf6QREKa=M30gc{JUh*gl4&~ z0c>I$7-2qNiHV5ByO3xWS!elwKKW)ymus5=DwE;=DSw?+b<2wb+eR6y++HIXjBUyuF>iKB||10Oq#s4pScFvzUxpRWR z+a*aj^)gAlB-oLckrx{)>@sJ+2?F1D-#>_|7k}suPA|gcJDXq&*3cFcQR7+3q0vWq z8MqB~inft7-76Ci{Hr@DS+)}(`ye}ILoGN?j~H2&I+73zRGk#X6G^+bF2cmTSrs0SgjD`(1@mgejE z=Fg4HT+O1ReOEBBOI@K!;PF`IN0K?2i_(^j#)z007%Wl@_AKy)2E6R$tAa>6y7 z6WCc*SN6`?kl5A)qOBfKtRSJu4OB-$0uRJ+ekj<<@d{JiWLNWs19VWJllJgrGk*lr zUO^69Q35V`GIoIyPoUwrdZO01lhB}%JGIdH5e&Rq*hGfh^);wov(20-s1k$jwy}t? z>{9oL)^TKnUL$28XQ%-ZliEZFDBY6KIeX{sh0jt704s>xyPhmA6gU@K){27=ZUx+B zLK+HElo@ScnIb7A|LDQ{QdH;|3V-%=-SMyL^Bm1piuxl~72rDEhGIZSB<`luSJFK4P74*sS z0-xD|CG?y&)cp8#*UPnI`IRGM6L%resHW7!d(VI+D#bKXiSMO_l$_dxet#uCkO(u# zEpcJru*Hw1KCVa9^#$iQ+|zo2u<7M z@}#*VD6QjvPD|7Qs|xye7(fM`LTIrmI!H@qQHEfKTxE(Q*r_(exk=OQ0*|ni@R(zg ziNn+!q}fp-ADK&tUBVJ<41Ysq-PbgV$H4;afm%ULRVvLpa&@r+zP#-#Jggu^zvvH` zBRi&l=mHAR5lubOu(%fYwr0WJk^dYa2_YJyo%`?JPPWumR7SwRc_IpSXkljeI*JGW zXY4khmDstQ0fTK8_=qQ_2=6Z*!ilU_Y)_*`gi^pS*GNcN= zHIgPV%8I5&G2mdVLe^G91}G$?;Hu`jhqQuG*hV%$+4T0)Ib?VrE2H6&)#XqaYRYIC zQFKN;GpaIqE2F#x8|uk!)~OXt&{>B5-10CmmYbUnIbD+olZ5$K8K4;Rpx<(&J8LA4 zHPo_(V4=acv4MYgbbpah2sk8gdBL!&$#~=q4pYjTtCec1HE?<7xkfDUq~=`?qj@W} z92FZnTFzs30(ZK<;)-?2`ln-*Q z;5~TXD%iA<>g~Lu4?-`K?0ykpn~CX_*3?!Cb#dBiu$~(9 zzu@)JRNUzI+qaN=z(02{ZfIolPin>440q^SK0>Z8tGGCy^#Vt?SZy_|YM!|JBQ=Mz(g<7pk4OJC zh~lStY@S#}63kTK)bFd>;qg|it~nz=HSZ1Ez7w+HW{YieGTQ=TIc%aPfXD)qZ=qE0O+~SUho7b?(i_AQ$ht65Q zuze^y@tX(W4{D{!d`!NXFJ!!vntly9l8Nq;q>XI=2XUAFbBd5XsN2dZ>`OZ ziiqRp!6QYz{Mijxo|!^tF=MHwRsQzc-QazP`a0r3)&OBPGP zq6W?`RWdMiRmmd>2zr1FuCOw|Il*I&CK&I#bVOFzvWK8cpK5#D&xjcfH96=QQzTY25MxY51JRO1P7uS9An1~d zNli|QNk#ain5iI&R5CC|tACheFwGnk&`YTon4Ly5l|f3zBZ4etMw}6JwG@F4;3>ot z6su%d2PakGrTMR_(1UbpM*QFk$XsCyi_1iKgeu4pJ%PR)OC7;W5Z%~Pjq#wnNOalQ zA_#gmwjcm5=U|aw2mc@$4&*AMMhjL8V)>Jg}lf?D;Gk#YqDA4^(2V#vt1 z(-7W-5?xILp)bi3m>jYBs&O7|-1m zBJ$$gb(iBWbGM3HclqDPv4!fN@dzQD%*T`YCzL=Ri&6J_{Av1mb~FCeFKGSHALDoL zub)l7xGTeeiax@%!sJVR3vJgkh(LYu0{(O|nL^@Kzhat68-JSn=cDf8^WXEn|NHyN zzoYKiboOpM>otV8-LKtm-SaEzJ7&`joIz!Hti3V$#Ku(hYHLaMv1Wjt_IbT<-OK6a z)PYAoeT0iX>CYCEr3J<=t!wNmJ-a|d2u%ZiZDSWq%%S**a%;g#u0H<=)()vTWZYh& z-f`?;BIPY2Eq|zg1d)~|ofwf;VQV4M0J|iTs<%D81*?U8XoQ+~DK=rTPy1ZkWb*#A{047^Oc@^Y@6O~0v!QOYAs@>IJxMl{_VsjtePBJ^g~hs;Vs66X_1g#K zCaj&>V}EYMYWAVF*??DR&)nu4Uf6-v{n!+uS3 zv9^GHRepbAf9tnqp{-TkE|!j}YrCsDy}A~9{8fIKExYa_X<74eY!W)^{3|hR=d~Q0 z*L;$Btv@)g8}BZIysqW^;7rO^CSy7>lQEuRCVwM0@4Q3o{+)LxHmRo?o3JYC1GmY= zyFFsxhGpzcg-aVYMg*+QUPjDnX^R<7lRoE0EQ4Pmw_yV|X>PL@b+z-JV<$GV4;yzl zkF`gCgH@TgSLJl-8RZi`9)I;n8wY&?g(Ai%El z*XfKfWvL;QuthAyyJEui``UHmst@wN0GBPb`nS{z0=W+%zh1&!Z504Q7(>7Sk~k0; zyL;o@_PcMpQ86U>f4$fKl(()M0^0~9tN3YF#k#;L*ZyOW)b8gr_mha%gw*Rj4{Ab> zA^!)EX7-(ztRw;|m(q;_DVP5w0vQzC)@|c7(m8#Q{h-)uds|%`NxsCFEF}UQf3JIw z4)?x$tf}zA6H;;bs?c7Lq{4bFyfww)%i?JAcpu&5Jp6NUdVI1!RZ36(HM@FqzCT4f zd3jm=;x_n_pI+{_Wk>r~T)L zPxgL1-1}`0cw@4F+l_z#=ZhDoe|tyIW$}_fds0ZDyemGGBTsoG2}z27J}D0N{=Fyb z!^zemedLgagaKb2QVSHi+{X2D#nBW%%E{BWyiYlqT^!$>iR|QHc6xkvHGgqg{rbzk zg2}s+S^ewN_p^)l^Vx?mAx}01$6IbJBw)Xq{L%dN^x$gtwmazpJ%A){f7%ol`LtkD z1PLQO-O!^vKNxHf0C^I0iYHUTS*$j8@W1)nur3dlP!Qk0a^+wtymNd8p?!^rpLq9@ zw|hNYHRhf=5=2x?t&mDrnp`$kl&w!5@B&PaXHu!y8b?g6$vnW%PQHoG zz#qAr$J>-dCxyf;N&*C=f2b5GwbX*3P01fFFJpuRD^TUr5i|$~CQ8T-xjt5Z_I7~; z-#_dp&#a^}Wl-7WPn7Q6@cfoL>_M2+SAL=3CT4#L{C&4T}`XBMpsXafB z-Ucb*87xzD%sDQ38<)fAHKXVXQa50vwa{7@ieXp7NXAw{E3Cv~f7%$=x8K+*PMDrW znh&F}jOFGUk+V0a1u3+3!<%22cX@iD5gM_zq>M-fAOX@9}5eweh5psbaP|}xj!C=nKwlU6E6s2LfwkQ;MJ<_-yEUX~KyW3Jm z_{Cd|h*4$)rV|?;f5J<>gPhw@^wO83h{ZppEg#TI80(Xo-Z&xIY#`;Cq3c!u{_3z# zKglsbBqJ=jC=ffEe*UVTTE9jgDL=Y;Gdt^h@D{9*2WKajv;Gz10*|jnK@8=s`He8t zma4O}m)kI6y8AUCjE6x<3X<7`r3Em1lHYmsE6LK3?3&Q8e}jdOwu}D9QS=jQCOr=Q z!7lrP(4Pf-EFh2gQ^d2<|nfyfW-gp)yWRkMRqX10%)DHO(!?UpjspY|c-b58GYT+4-rKr(4qQ+^4yQ)Nu+6X9I z0u**#pje{-e*o5J(yO5xR>la&`r7#5&rsUeuVzfC6N|zt;@MbN@Qv1Y{J7_ikr9}G z$E@(s*I|=8%=jzaaVr!#WwumovP{7Xr)${Xs?yFvN=+U`LjY3+eKCVy*Az1VHF=m& z<5!WxvAd;^aH;dijh{!S&hzS3%xPiHV5w)66~KP)e`+x`WF;8PHp5z50_6tP^w^-9 zxeuysHK^8!xLCer$is~F!n&krCKPB@K4c&tGbllLk2#om-^)<_n6W)iq4ASH@~t6G zAR&HRP}9wG8m8}cV5vUmr`g4M)Js$XwJRDUSAnSMhv@qro?r?s2hl#-xi0O-Vz^C9 zALLsPe<@pQFH*9OC$}Oz^UtmLA@mx|^OQUl`2m4cFCQr+pS)89jO0RaD2P~a+CWx2_E&tJ3*SgOrj|E9# zo0pkRDGk#f*e;ZIAfx1Yh;Ls&hA7LXKj@JCf7>k`*uEVrl!g^2xiM6H>dhBg&w}FdJ{q`5WaIcSM=y&}RceAER3%tk(D1Z~L4se^Z=3 z3V{oec?h?uH&nls&0=d+?{q)DzlN*-;$R%nD~n1gZU}pm5t?tRh~em7c6rlP$Zn`ot+C0* z!hHzHfys-@*yfC98Gz-i8pdXovh!_vIN!EotzW~n5dG5ETNXeAUIq&(f8tw2%aYoq zt56;LSzw0xJskQ1$(1?Oa?yXDzlcT?ypZVgE8dZ9P{gc2!u#Wkic>yT|9$_kW}NE3 z`B}|TIqbB#8dBv2n3#*vLdK$MTr!osR3*(bY2=vPJcK9UdAt=wm3k0J*r6Q3BIR4< zFyI7HTgjyAVOo0TD7H5xe?0rfEX1x2!P$sqxgu7|xl$eA|AT z#}y)gYHqZ;vTy>&@Mfua-QU~T8$xq$T1);=%Y6V?>IeMV9*^B{pyIc2M~7`n8|2T; zRV=3|x|KEOceYjLoR{-fY&Dae~%qc3+LMC0{?Hfxh(<%0Rick zy)FXf0Wz1PF9NRuKkv6xFaiw$C&};CcS4yzRbMK_3W7>OpjjoEvh=+iiMAT|T{TQm zcgz0=>X6n7mxnO|WPd+IifS&0yMAAQ0~+iCeb}_9qLtS|Y{{|Y?C$;b9g;&!vLz?m z7U)9@tXI@0>Qxg(5xyZGXI@$8#KlZ<9sXmY(GNk%o(B+U|`aS;fv*Vu)nvql(Hi&R z>J;bF3^eDGQ3FvsRQ)wm?0X9$xkH?;awy`rhb4sV0el=fOcqruYu5>o-NecyAj1va zxsijd)|Goeqr59yKXiYr){W;`m-VDzX{7DkFL_jYare~*m3#vLX95{#FUozFSGW%Q za+AAN;St~;kJiwrcB8?a)%Jb~*jkp*ivwXss||?_ry|V&VH}=$r&V^T1Kj5It%qb6 z10W%QcH4o)Gq9pTtjWY*xbo-16>SuiOk4z(z;gjv#1oNaFztV@hn7Le&R`2{kCE~g zTdtR|eVZ<9mMK)3-1JHfvNdcb3n6yzUP2LIvzu{BULsUfVd=E%p>Ff&)hc?mKJ%1{ zmNZP04n)O<(JV>Ec+hzR6--hzeMR92FZ^SdBeqU5{lh;3PTIwu!41V|BKTjp@h8I# zXc);a;|B6vzzu)-RNUyN{SCO$hwNNU0{L~My#+=^9Z*8+jXQ+mB z--c|Hu#F&V;;r={CPX#MCgD@jNvg?fXz}7zFG2*Dk>8jl|*SMUBWFMpDG@2VlEhq9(}d< zIhI(4{JG~H$+T!Cs8)zp;)1yQb!Au5igL-oHXcUBC-)D?9CH(8p=OuU6G?flH@^NI zXMFx);mHNz4`bo@8V3XBWn;~tE_kT)33oaI7=wy3d2$3y-Qy;ghc^N}e=<2L)R!30 z^FH4kklw6j)+e)zJy~FdW0f-o#jN~BG+`q`pUc$Nl6BDiSPuc!t1vw^@IFjU9sO;| zWfnnglq4ehsu`6FxCdc3lmRF54paR)T!i=F;17IA##-lN&xtu6Dk~H-tj^%oS7%m( za0S-m6()IaH#@B^q}>7{e>KrRG4{ufu|1PTZ#1rUgm5Z6)k7&gA15i*P~Uw(jq^CMN7l*ZoDKx9o%6_xk8##% z7^w>rKFm(|$xJW{mq9rKfPW^5Y;FOgbNemSf;D~)H9cmIbjRbi`vfv^YObrI9DS+) zl+Ihshxf;CKaVGe>L5Fy_sOC9GtY(>0!4mkaT5P21;^xl&al~}I2^O=Nda$fVCwz^ zkF#SAf*f4pfp>5sIVjamo{BtvBq}=c8WxJ~n2P@^kUbv`;LWVKV?OUsT?G18usJ(&< ze_5^HV#4Zuy=y(;EZEc!Z_a`_nuQ~W$?bl9xvBli1hZ`EH*VTlctlnHsC+#>g9uZe z$4B^x*;cT&QQSe>de5uh;vF_3|PZramn9>mR^1z;?kY+OP>A z)N)R&_o=uKa0`Rr53>A+JMj4?INkngQwP@!h8}Qc38y@24r!m>Vi!joh6_rAmiM}`85qcy}yT#Pe zmH-}DHy2cZJG#rN@z;aD)VtM<8|n=I?C~6&-2p>;&_)?S3aqIiVFfT+pG~{xqsqjY zD*rhaSp>4!XWlk=VnKNH7E?YQeJ*5ES{>xnicyU~---!vt1PLq-Yjc3f16;xX|8sw zfV3dm0yY(XNXWEXNONr+)2t1VK`9`?z81+KK;9L=_(kEk&s>ZM2og)SPY^^1{3FF4 zo<6-iKl{^iK@f~R6f^L2q8KS4ItUX6f+~>+u%{3*n;uCk0S1GsWDIyhsXz(VX?`Ls ziHn`#G<1qe~BoTf_Kbwij%I-BI`4ad^$VZNL(iJ?S*8f1Gwz)bXSU|Luz2 zsNk_x=CU5E0d}(#%`nt0yf6J*EN}`ExFKUjRK*N0zp@1*q(EC~it-xj z2`COe_z}y+&i@ECmcO}lbw_hu?`$ceiLE%oxOMBV7tLk`ipsz~hYw>15UPD!^S63a+5o z^?DWS>D>qaWHG9*+8UPn3#sQZdzVOcza9O4iBAM4% zH+*wgClu=)s;SrEdDC7bxjl~`e4Yts-DLBi={k!7m7>0x_;06Hf*FFqqy5sBw&Q z+An@u*tqGyl;C@!X}07soF)Zt#naALkNd3-PZjG+ei~apgB}te_K@z_bmS4Q09MZNqplcu67k1IWtz@5#yNgxmL{uM?b~2$Y?-s06uB zvQd@TaVs}&VK0;_#tD*!LR2WEO{mgdHC@l2m*@74zz&L%&E~_iLHCP5rp@si5vBTn zuOQyiL8gI8yuZ1k*9seN>0#rYOg$!mKR!+kq6#wIq?gIyWmcyNyq5o=cs=PLgG&1G zeB-|^;T<`WycMo8ApSM`#_{=uX{ga}Z)Lj^3=a3<*GaF|rchjBa4xC=)8w7%?YLN8 zt420e$LAz2^{bKKNRUx^j6F~lk|0HY*n_3GL1r9(JOA`|T4qseLM7YMJqXHjpAe&JI zr=djkA4C{fr&}PAk_?t(qQ><$IWbDrE#Z_%VmK=nvpCn@+WBEtv~zwRhYpT^lJJPb z0m+T$-2R0S`El~to>?`La?3^RUEadzMYJgGAj5Ns%N-c6g6Gvcr4iFg&~u=@S<3-aSM4!ffrOD7{0p zd?Z>aKtJzohCDbn1CuIoxhqnC{hX`c7a16$!e}0mfk@Z@A|fzAc`v998rVi*pnN5; zoF+`9d5HiUO9VtLI1TNnHVgm{wEZ|B5h3Xz2xIFViGN255;%U57+2fm#3WN(z)75B z2&fRJ22_ZXI(v8bap(~$+{Ku1YG6!@+@O(^88wk?$uFdR4+5|VSFnVC<|?ymxbK@a z5QA00aHgASKgxg-4$?(po{@5^Mq82u?dHxEcc##N24rQJGRmX{=-+p$?JYuQ^HBhLCZ|tfLB> z4z-q^W1=#IjqO`>i-1Wro~qR6UZtA0R~pf z8_>M~i^Jlm*n#$+zPdL{v42i_!IhtC20VrhbFWm@X?1ct>JWjf;fa0y@DSWdtHT}= zI9pZ>3R`37cppB04C1!2hRxA;&!O)czbzg8w$pw|IwxhFe@W_F^M_x$H~&~I=jgMK(l@(+smu?hD1E^PD(MA?j1Lm zz=_yw=|(c_$36AKm>h!LzX54vzCO2=T>`KUB5;)`^+&m!a%F2(2`vX+VWkdJ_{%=e z9hy)}k^ct|FY2Y2XKVs0mwK3$kf2ulE zwmTKg47&m)pZ&jRoPpPu|8fE6PJ&B0vDIDF#;*K&wB#65h4whI;6xc!GtzDsx)jU z_?OI%l**3#+76R?iSqvd&b(#!m!V_>6PLS<0v7==lVJoXxBHC(F%2IgpYRk?Ol@!9 zp8J@)3D`k0;ozP)Feb++{}+K$*e#c#WCIhIUz-9K0XUOk1SprEn*t?&*qx=Mxcloz zeWkW*`PzLHLx5N^Ns%J?6Di~9KElyYiyzmE%WKM_GA>!lqV+DKWy~;(@{-17o<-|z zbc?Q+X@Oe(*ByAhToFRid!hF2a+T(2EA5*f^n+ODW3y3J+gN6Te(T!%jvo$Ha}Odc z&kA(In@U>h&qwub`FVYRv$$F>{#+zr7><%BLy|Zt%4l;~+@-9vANNC{W+f@dtKB}(O{vf14RkKWg(1|a>on6HnrKLd= z9!e3CqdSa=rIvZ02!tfDgrP3iZ|kiaa&7U}j@7<$ zZ|yS&DKnLPCzM&h&L2z;wGWU41rlAKRP83sv|FAr^KWS^2#S~Bg1n#FJ`z&#W+N`# zHthpUptU&f5scA)fzJuVJ&DWA;pDl?C^D*ZBpNq8t0HJqw^D5F_zq`yGU#&wKZ}qd zrF{T(ZZR_OSeg>_$D|ODQg2Z}+jM$)LJ%P<@2OWKrw?vh)u6wNNdKpCZ z7YmMn8jbIe8UvyN{h}-e{VDJ-qJP#oa~cB>ojngIJ)Z};2kGEEAgI-GbcCHRiMrHT zc>9v}aQsqN8z*C<0C?w)s}Uywr)Otp-u+h4X84IK_k!O5NIhUe6&kz~U}0ygq$#|EqIDucRmbrOv_^13$3 zbunFnF`db7Fv`HzdAWE-9YJ|&5z0zavmv=zLM=|UPo(paebf~gE2MiFLaCMupcF{6 z`|$cCAVum@3b7K-rhWkqV0HvS`Bf@$@F1*I#p~)@4}-vLf0k1Yi&Ata(LICEFbTe& z0OLfr%YHaEjn26@&i4;O+5okU^wFCHE1ho{=PDx2aQ_q-fre%Y3PJb z3n0hH?dCQ%e`VYR4#x0#NxkB=yMlSMnx~Fax3sQHJshPgQiE#L?@;^RdCQJ2$-S}sscj2mWbtlZMi-~cuaf3I_3l!F5pZV&;8;RC~rUE3qj zH^PZ*VPfBl;7t$iB^Cvb8hRWgY?DXFZUdIu-SW@aa($!27@$gYwrv4%wfE5Lpt5cJ z2NWqbzQDZGbv7)2?u2~ z&R~1k5ONY``7SLRVPlj30)q0Nb(f)J0~3c|paO?qpaZvGpajBj5j8RjFHB`_XLM*X zATcyFI5n3soC6dEF*P?eGLx|eCx5lKV|b+Nwly5vb}F`Q+qP4&?M^y2I!1>b+fK)} z(J?yesAGNUwa?jW?S02XlZdqXHv9(b4n6XbqrtbO4wFtxW7J0FD*_ zb)YstLrp?e4Irheq@k=v!+-cuSk2wZ$-p#6=X+H8dVrLMn);u= z>OhAN{+9FrMfDH=pFSUff6^5s)J4>FlqFc0{yYPK1>ga6akc)__P@AMelP?4P3pYMUM40_PftcmcULz?M;A**C%eD+sasjQ0z4gEY<~eCuP#74;9tVH zJD7jS>1GA|SAjo=0+6>h13I_@|0GE|{>y3qA>~KXhu!Vp#6E;@`%}~IU*P~(An-rh zSedx~l`F5TEDx|Zv376+I+!?^eFVChxVgImjQ_HI`~uCX{zVW75Oa5N`O`z;e_byB zZu7s?MIAq$OyADe-+#pOzfa7>!QIv8AKLuqW1BfTxLUiqx&Esn5MW_#2mHg{_0O4E zJN#u+5K)wolu%P=kpCDw2L=Vl4|N?W7I0AV7W&U9Dzpnoo0qVaNmF8nh z%^e-=yaDDw3x7B!MMt-ffuR2XXV3ntm!!L$ouY|7kovzR{qHyvduu!I|A_pr2rb|r zuGET-F7_sN|K+oGm9+K(nk!qonOXfy*nin&+)O@ZU&O)E4)}2>f0;D?tdrfx+0gK)z$E)O;sh|s{~K|$0hrYOjd-{KOeTLL9srZsztP7dF`0er!{2@u zW)=Vw@P8lhqpQWgA;(8$3u}*m`addI{R46Un5_Q+xdBXe|9~IO?f-@>%m5~bf54B< zj(}cw>1yru5BG;`eO;6EBr{C(s6BU@C|(aV>C{Xk9wt%J>-U|HXgqPXG|;1vGFS7%1iSa1f&Ex6l+t2VA{QHwk20h z|29_<-ZKeM2*5{@5E;+aWYqYarLYoM-c3q#ESp=PQ^G!%)t=Z+1ke~i5##CXd5mS9 zdPluZCDku)-^hpb{I_WpawPfbc%a_G9uGvxqmO^ z=@_&N_iw#NFIeQ^NiOB^Rag{Ged~2m(7F=ii7*}Gyc+$y1*?|bI(m6Del&+p#&`QL zK=IT?5~@SUMOtxmEwo_?(jUa>PQe+$5O58wA?nJZM)$a7 zpOnTHVs1JMhdr6!Xbt)c=~LwfbLO&mEBJ0KHZ0d~aW94*yj+y` zF``t_7`7C182A(e6Wg}J!=X~ps!QXqHDn=1!-_M0$TR6wCnyo}S+)ttLIZtkr7&du zs<_z|+$@seJGSIt#pxINk$S%=&a=of761%zv1nLDJ2>uIr^+MbnU52}wtx79S+dj< z$4=+fP43)>rZvd~+iEMZwY6UBuDM{0Oi3lVjP*h=nMf=d{e4eIZM+ui`d3JnW^04} zq8HDJ5N9)J`VRiAi&Iv!1OSXe!KxFdQt(nC(y<1cfa97~%~X@QW}|wnidf>|Z%lYn zgwjprB3N#gn%kv6j$lI86@Lha<6ed(w&4T$-BO3%hxDtB9)qSm5WapU@9-jQ#%15e zXG~1%umn4-`{pO1^lg&_gz{4&L$KduCRjkGFW;}z3Eq3k&@q-Iv`Bn=5)Wn9P}LoX zc=SohW>dsL%2F%^;-l3$q;^N(w9c512|i(EEy9~d##tOUbIYD{???LLLQAPwfWxOO z&?Qbw!fUei_+6Y>Ovt96Ol#Mcgpxrbab}VF1U{m!+dNj>m~uMiel_;RZuAA-1)Db@ z7;l6lNd!nF9_e4|Wq)4~`HyJ9zhbD`;_jbeO5VC<@U*-6i8cOwq|x)_9(VOf3&4$s zOl=oG33#ccQ=!F{C<;NNVKJ6aGi(E}zBhWbHYpjAXD<9^55FViLVKDT0=*{K0J{9P zs>u_?4I!cx*wpaTOCJ0J5$;%hizZ>wiFJmZo{ggVuoI#KMt{a0XA}=+s{vc?wk!aL zd3ioQBv*R(Ng*A@MekMON&$TE@F-i}_=Se+huK?Ot97bcT@q?%hm3s}hB_Rv;O6Ih zrs$gAN@i)rsxAq%YWlsLA-Zz}nDI*Qi%QRonGYzZXH$dqa$gE4inlZx;QipkFvYZz zIdvi~u$=R1qJOH_@AkUJZ+kXzxBRKclT#R;?!JYKlgqAa^ot5F=C* z82}vwj_z(C)EmYJxX=C22saNL7aR~9cx|JO`hS_x)tBYIGIKlVtsME)OaY+igTKe{ zE+`F2pu{4X=>HfaywOSzB`}#T9apuz z)Xx!*PO3ohWo7Coq_9sWZ+K^kFH)*He)`hUb`_f`$55*FUuCKKA919xM2oFIq(lZr zpE)SIEE!eiSXA zLsm`cbqN`D_8?6gpF7FcX@nqPR(0&PFz75vdZeTAF6cF&We|iE00~~%RQM?zWPjMU zX%gSXL|K>2ux9q`8AfqEMYWq=!_D9428F-~j~4&#`>uu&E4bFWC;oD=+pVUo0`VjQB90b{~URT$?_(h3G`eA2nI3>q3Ga=74(IwsJO!AR#1r7<1br zfqRQxte4U4`8uA&e9l%B;x7w}#ea)Dy{O@vUR@-b7!=J;WSO13#%f|)E)3&WeLk(F zU^XsBl`?c3ep zg5im4BuujnCQI32nN&FKyzHLJTv*A*Ycv$c_tTi7h2vkT(a46gnd!XF~sSz?| zh11}XBvm7Xyj*bZJeH6bHQ@t72LKdTBvOMTi+dSdwQQOTYAd)E$X`P`SwI3OLqbZm zsT8ih6|mN;@scA6=sbCAS7x;d(j7Z-f$=T->GoBy!%N>uv}BagX@9#a#1nN~!3A*g zzCUuv7cH-`>s}-pcN90YqhAhb#y>lim4)YYd}?B%`1Wn9$e{N1u}uj%sY(GwJ{*(i zEW6g0%lWDn7n;kh4=!?6lb}9~dv;E?>_)r%{Y#ssY;EMtQiD6_aTSI?`I;^duYF=I z0<}gW&8fN!1a(tUV1HoVu`bBWmBnm15o_;zSTarg!?&7aStv8%Yd9||k6LDZmj=Ar zZ5RBzI(a76l%N3D0%6+4bK~Vy7ca@&AQg9{&a7(=!<*Zrq(BMQ9ToCHrw3XWjM5O? zY>WEQ-BBDp?%Rt;I}afh=wzfaE*(ph(|$`1uN1Nl{Hjrl&wpRs_Qy0PoE^@l-+w^c z|G?hQ6lOB%+O!UI}FI;j2pJaKujW6bPs}pjS*@gRW4d{`H zNX2AhV11*pV3m)%^G}wnFG@V`PkT}|Kbv60!a|gauB;V0os%lqL8lK369$j06(hPO zl+k0L6K$20Bq3^t1~SV0-V<)hI+SpnLc{SV=Q_>gdO>1;wF!*`f!M5Ly2Q1P zrs!?(qknwjps(2Md@Nwfl|xDbDdsCh4S{&(B=yyT`id9!drr-D$rY7gO(l+yyyKIA z4R7KqFB@?drkL|6k&VhVayX9Z*N%er9nLQ1j5oAwzKP^^oJno>9(si7z*x)%iqrG3 zx=AO-E6j#L{ZCyjmtPy={bEY(vLjd97)n$LB!9C;)x~&3??G6U%RZyI?wPS^4u7T( zcIZ7EN+68ulX4=g-}0wDf{!ep*Bu06I=cB-xViuE}z3p>(7>xEa}y>Sd`f<9(6p_M|R zDjHG7ldKdXeb#MsEOI3gkdpUzF4J;R@oOj@WF_S9IRF|UEI6^<&8hGjYRaa#m^77^ z1H{cuC-j`up>S7xMTPT;(~(o_L8SV8Cx3kQf31#2>Fc)AiMMZ9lb+}wvBQl@ukG~O z1|XAyRq0vLDZJ$3p_Lu}vT8^MW}^0dKNnMW)+!=xZe$I$<8{K zUGY%2lBCP5T7B>= z`_V+zk8cLJjBwKo;@KIEC6hV{0_BV?D7{by=iemeuN|;)JnOy^K7d-(8`|pC3L=R8 z`M6M8DN^mr!U~^6*;MHE+WoiQ?bn}K$4xIfu49=ua^E3MzkNbdGN{MEyngMjtD^KO zT4j=5C)XB$^l(nsKYMB=FOlRRD}T`bd2wUlU+YnHhKewOX0L{z&hNG7L5q@8+N5U` zA7S1c7g8ZKp?kr#?v!~MvBip+kOYA=YM$a+%ebjZ*6>ntlt!bS`9S!XRnGniO7uq| zGHx1B5OGaq6rn9hZ|8=?Y=_(P)74mn8?RM(Q-&* zhgSHVmRAyE8s^G4>U}%i#(za9bW1hZl&SNk&t{xAt`Qg(p$G_G;uKExP8a<=A;N%+ zPB8AYmJDiM`kHNc*PgblBeTnzVK_M=Xj%ixA<2Ge3}bX~CWK|7t*1m>;&5KP%!iazrGM21t>?bg^s8Bwy#Bq7j@sJSxpxI6sN9`fq$a9(jZDO%j1LGR zz|odXOPyx{zs3>v|M5(UD9prPGyKEVwss&qmE0AI3Sf+k!g8RdwswjkxMT$)$da00 zOKkr_3dRy$)s-^K=@P#|%!jSWk-8pAa7@LAh9N;>M@emiQGb3l0T3;5^vUe==;aN& z5IBDdY4v7Am4)Zi9ekstl`+rCeHa-?8NnyJOGq}T983C@VDi*oy3^`uXZ^5$E@Np4 zk`j+SlM@}w<>sKQ`DXb>8o79g;G&cihotO1Gcyk>p!B=oqWb)v$1GMkPb*8H| zbO{?iVt*&WNYnO~E(b^c4jW5nlB({BJ#FHmc^LNbUkVMP3b5Ga%qG;d?llJDWPV?P z%Z5o5$BNmBzOhw8+QO@G1PNcmCa8eVw+uwbJ>NaLGQZfLRW-@2&AlcZlQ{2(uy$0W zHdQx$r~9k$#g*MI#&HcSthntUVLzA2|5UfG8&Y89w{ zt_^wP6-@Ee#^bA`5eQiqG>bjjQ0u~MGU;|^6`iQtY?T4A=qC3SLDIf#kY(p;_VUYp z@`?BWT#goHN7`F&s8RVI)^_{nxsenGQKf*2;9Bi3kg9C1Br9|>o2=EwryQlH*rFsG zDu2{Rm_rpLmWrPb8#4{YqJF8-s3-S-H;8lz*Cr=)pW92%=3B5q!hLMCZO?Z(7g2C5 zf;;;fC7_jk=E?QAIuXj;F=gN63AIKp7yCM5fr&A>O>&7MI>1q+!dt+V9mM zJryqYS)1&4-%+Km?@=j-U6^O`2KoV!&VMaSyfF6N3U+p}%;pak8wm>7xj;F+?YqID zGcW9Z({Hxc#(__{cGNliB-ibG=FV=2D93EdiPAi8she&FPu^Eh9RbG7yzUlI(GGro z*Sli0z;=@LQ@G$43;1Ihe)<%oO5FrHW;p|>H}xyTSz`L07D8!v5mQq)pXt|ZEPu4z z+K3BlVSUo1yPXTBS{#0RVd6oq_CEiPto_^isT zg=-?ak+vq@m0KtQa!=>WJ=IDPKuFhC*H#J!#e=v z(5G~y6v4Sy=&M7W*CroUH%KR*Pk)Y9_0`VC)M@!ozuV2uBf-cEF%8Tf)mI5tXc8eo z^q1g5M~1NRJ0yps7WX&TXILA-?7#EYtLIo_8XZ9OMnSGj9zt9?*@9tv{H7kVF<@z!BVF*(DkAJ&1vO})&f2lRZ4%OIY z5qIheFhBEdNGR#5gd-z3B9Ojp;=$Z)XZ-Fc1he0vq=k-mIf!wj-d`+kqtC5ho*6VJbTVR;vv8g?J`0F zl+IeK-I0`sb}`Jjdpw22<5r}2>NS=l^WqAF0jRIw;9+GwSqRS+!{~%xSG0gz#1l*S zH$)=p01(yOHWz~U^hEIeyN3c@mY?Q8f{nMM%J3~37cTc`_uI3{TYqqFF3jI5+Hc)5 z@O0^1yvSiCOxnI>B;ss$w?&(J5AAC$!9sXyrAUx5M7?r}Lnefx*y!jQ$ADG}5*x3h z5rh&F6qLE|2zu`v4+VL`2B*_5v+;U27Vlrs_3Z2jQAU0_46cqxF-5wF`bbRy2elF_ zEw?has$Gp?F%j+Uq<_tI9?7JRyNWtrU*qn?LjZYczuEUx74I434Y#*g0%Oja(x%^= zf8S60pMku3k%0%9;xxE~g(LdS_@{*zxi4CJqeUjfr@_p=fBOxaj@DT+%J55$|12k* zQ2=%4{0y>mc*UQ3H`-oj1x&nC!O`_~Pg;`Ps4h#H^PmX%MSl@b8Vz(dm)2?J{5xYw zC}k;}AOptA)QGekSJXnxRsSS*7=aomL!OyGsk zUtXz3V@IVw_kSWw=*Q)s9VM!j0wvBx?iZs{STZnJQ$ zOX;qRKnzxIb-KBy2O2FUkA1pA)o!HvNj~IrSKg7&-2p`dI$E&KbFiO@PS?DQj{3z) zA3mC+u|LbBa=jdVf+%{9q5lH6)i*HRD#4}pPb{%2Q-79_u1&<|7D;3=Ny##AC`C^# zio+lTpT3QLGv$L$;}O78EJj6VyG0r1pQT`%zw60+MsH-Azp0q0vip1r>jL3Elj93| zLk0b0w?<-tcY~X$zOtZ`;Gf1dc$D;2qbBv5$Y}Ottc<+(>tciv3>}+^1>{OshkGJzQA=J(1$)qPD*BYh>bq|we?PIeOjS+EE9uCin*ULjRt7kH+~S6` zUMst}wqvzcb(`r^XwLk*oE9#sJYw-|ZI$@X*Tz5?Wf9MGV%Ur@eeD|wqkPb%Gg)Nq zMhiyaZ%9&bkZ`GB%&;12UgU{I7#bQbEBNlkGJpOqud)p!_IH)cg*JqyUNmYNyMug_ z`GRCd_%YN$-n-_M4U z=j_$z=)a5Zgmm`F!oBesovc37qNh)S-~_XY;e!37vnW!wx)9);KwdiAz5wl9{WaoT zvw!$$ev9CO6ShvS2j$Sz{FTU|8e1oP0`Wj-yOU6KMqWYW?HO1TG)O3#J5!YYYb zXS7;}>+BQBMNNGX|87H4keN46evkZV( zMQ>LBQ~j~)PH->7W7$K#w97qF^!(ay%Ib~AQdGAs#@Zh3F%5`&`JbdH)231@~sf8;=`1+R4i1We7@PP$eSc2+_gZ3(SF z_cB;6H{Yo!@=EQ%;wz8=*W4o-)U7Sa4)gKBV5q_Ek1KiLPF(G*1kevub>?F9@zTXs zl$2yk#mMRc=r{&lqufn}p9-52f`6l7L^pW9roQ?%b&C`SNq;*8Z%V$F%ylM@qaxmm zZTR>G6m4lzPrtwMseP15%PY$?U(q}Tofn@E6*+Bn)_2}&uGH++Rc6seBpXVF4J6MQ zTBmuIqEa_yjd9?@Ps~$$+sV2%N^u<;y8E*uh$uGArb7L-f08+yi7FJ`V}I}c&~Oy* z&?Pv_YJmdETkE0^+S}wQVlKF`FA-WS<{sWO8$zRxs-QupOg4(tcSVqykR#B~5JeVS zlZ*9MpThKLAF`3X07xZkt_v40sT&2Pg-P4s`wjvB7eUjPYk4F ziKI~12X71JG4a&gxNEA}OER55%#O!Zk=H+LGO2?{ay~Pp>MWpdhdnwDy&cDa*$y@g z5+&6Q*|W%I%08SmBRN@Y`Y`+6@H3MX_Rm4zR)4_{C216G8IpOJSbwMP!lkbbsx+iZKo4U3peGU`Ofq&T1u)Xw)dW#9!#I1X7 z40p!8$W+ySaY01DaEgrnT1Y!@XOy3nf#&${Go<$FkW^P*K?eD-BZzjRKh};%m@;T! z!ICX)ss+b7n12+3w^aDr2EVU9kEoZE4n_WQ{R+YgJDiGS(fulNkMM-(wwZ}th{=h4 z=~sD7xEx1WHaHy9$^SXJKre<2s%AuhZLjt-K&ZWN6lgE%IiwchMd-TZMq!`tgGBtB)nOXdS!3uLLVDLtuKlE1&6-X| zoD>*`4IHL-(c7hD@TI^4f<~^WrDhFq6o~EcFQ}Ks>%SpJBMYx1etNKllt>M7uM~VP zy)|zInt!gK8)=Qp3*c@#ZqO~FZHtzY!(`%k)j(@cmig$>p&B7U|B`I42lkX~WuXK_ z9o=smueYdamyH*(i&>Ma!aV2@XSp09UmparBJ?Q3CnQwHKG$?EZQqB{23)5Q%dLN> zl46ou!~IeOGjIET$QsR2Ku<#pC3_Kim(a$zEq|FH_H3u;1UCQt^5*pOy3#a@C)t(- zH7$?vVZEO$U1$#m;d?hYYi?U3au=QqQ};Gc{cCt3zGx`u)qSler%`H#IQ%rN%J0)kH2p07Zjdu3 z;(v3>d&+z3xAMmsorj|OHt_q`-z2QR<(S0_msw1;$X0lH2efhHO4sikuhmca-1(c9 zUFD1%&?>h3oltQ5FtWj)5U=$ntAk@Akty)%vlgELP?O$Qx`#u4qch3&SHYWT8~|d| zY*I|_3yR7M{M~;-V=@j+XK>7(yhxc(btYW_93JOAf@_T z&o_Hlhc+1&$4JLz8C=Ymoeu{V$lh~i%|$w>#HOU36J}LP@n{S8W{L6S@60WJNoTPf zr$>7bxMluyI}$Uou}C*pvG!C9W;GP#&Vtdm#yW5h{%w}if=dm>)N*Poe^w9ErGG$v z`OrM2PrnFk(1#kMNJwfHr6V*@P8#D$6KeRmgInI|Cut5x>7Dtf7Cz539Xt~di?24 z+zDx*Cmk$93)YxRnZq!TF0Cc2 zc=JH3?-Oy6#*F8J%{fpRG%v!}O`W;-5=N;w|68VlS?>34a{BmMFRh zpw&eJc=-IAmpQ6!i6@t8jw)cM}1K$2+3fG)t~DxKyV zepOKuEvXCcUw~}5zN)EbTi zI9?5w$bFitC<5b}B@6*tFMny?8{u=NCq}aLej`=RiN8QGr512s?AQdTdDjGv>`LN; zwud=)t$R&1j|!Qqr)HQhv1hrO+>-Jo-}sQ90n&GvU%vKL*6PK7Qt{nVV#gSwSk(XZ zDW@${z5%wTdB%~tN`16H;yj0Sg{fPd%lxpI#B<1ItQ?>W2dnkf1b@ z7|RPYum`jIKFW^!+IAqJKH97~v``sx=aTEout+JcXprq>ck)rXn2!ldQ|PL+a_7iS zPbX%S4;&zCZulpRa^qK6d4I^unw|ox3in zxv18(B7ebJdg)z`#XZbM_?O6!%XrQn;wktm1-djR58xb4Y6Vobg0V9@JN-V$4wMJgbg@_O!1K|w2& zEF2PeRdi(>$F%B$*qj$n^l(J{gWM{WXA`lO8(ST@<}OmDuNo|mwEV-EBC)Sl35WtP zdVeOvKd3cfAo|OO;79PDLTmkM0)mpYenD4zi#^Iik2e@SEYiYCT$Wk~!vnEVjkY9dT^qTBCr>N_OCH|_=6};f zTT73Y3Tf@hsS2L9zpGEJXEou_`Z}t#W@7oSLI<#(BI_ewN4ebW5tQSfsaPUCND2t~ z2<@X4SmAGzgh+3lU)f!+;kyNu_sP?RwLPY77Mr%PGro?(^Nlq{mWGL;^-yy_`(hTA z*;2W*gO+cAuKSu3oQlT=6|N#j(|@?;4!4biK{KtYWPOrxF*=y-|BU#+2kI^bS`4Cj zzH170=qUixjb>o@CQCIh>zNy|5xO;Zy#D&TrDjE~>ha41$U=L*yMDFhf$2n|y9a$! zkQk*SX-_O9+WqjSZwY9T9{;ba8c_bJ_TVQW?*M3@x`W#4{8pr6eG8!>&wtly716u& z-;F*~Vm$|6d5cCG{fZ;9Ul?1@Bo1yU3*V%yanoH&z;qg%WJcLcn&P=DyCbY7CaYkK2tmTpwE5{X&su4`o?K#B= z+tcKmD42`>E$2-=g(w5L*MASk3_oHHf?up!DEFhIm7qv>-xJl$XOa>>#uxXT|JG8> zph?anj17VF)%Xb%@u(KTs)>mo#8JNK2pb3UrvOfnFMpM!xfw{sD4b?g>{sNW4XE;R zZ_(wm8l4{#jZ*3h1`HJ$!DZfsxgNy0eVwDe0fK0x>pR>kJiGQx4u2+m!a4Io9uD5I zBwUBJl_=NqgfG_&o>0bUH+l;Vq>=Y;F&4$84F2xM8yA*)X*3~Jc_rVnWhdRD&?5-Y zkvh3+>QghWB3|j6y3@NOze_?*$R%qxXUl_WIs94!JvU`-THa5|jOi{CywNNc2Oe(u zJfdkGiI_lFzcq~Z@b3~nR6N5cuwK89=CU_&B& zuji!FLMGvuRX~(QzQSDB;N$NBeuOV;R`Rz{K`pc zzFH5rfEr++f=)pU&(5_InfQW=G^cXi;!#K%f4f* zk%&L(P{kBX++0M!-9 zzrJ|QqT6lv_Df3YvI5^E+3s>DOuj$ci&|BuQhp_}k(vryEAE7k_Lbj_injmJq&dgH z*MH>A8YjED*e_*Bsw-j@qc=!y&+k5thXShn{@X|a5fu0* z>kzZ0MWyoD>6@ODQep$tA0F*LR?ui=^GT-ich#p!uHV^i@Tv5)P+x6H zy#z9Gl8F&{FNrkF^)-dEUg>3LUVrsdu&Fm!oN8z&Al&h>yiYeEvVF4s)e?*CZ-JCW z1a)F{K`ddUe&!h)iuOA`V)FtG-6?_T6>ZhaVp&@Or zoc2TJIjMGit^wgiI=xzY=S9KEe{8f(qLuXl(6|g&#muV>AYpW=<>fUFs(&hd?-mP` z`JwInCFy(0m$6BO7-Ef!eWd27g%U|tITPwVQ}3}lw-y?7zsW1X*6x!v(R^E~$Ok>b zX0ZgzWsP`+6|i6>k2R;!UeK3^Hon5hiAta)pj0yawf5S4RTn*-)$oPy+6mZ58y>Mc zZwp2DW@3Nvq#Bs^S{%H>5Q*w)lqBbKGrQM*kc6gu+Q6M<%dWN@kuYOLwB9mSmRAC_ z&EL~zAwd`1>1B`|gnt)R7{f9DfU9uMwGG+o)b?T|fKytVWc^ts$dTPT!|2Dry@PUoQ1T+85FX^(CqtR*-nh03g{Y1qogQV6aec8%eyJE04a zx18F-$wzdF7~Lbo--bv*on^_wM(mgG%cP2twPaQ8U>8o==k^a(U6oc`kL-*DpHD@X z=5fMPPk-X(Y=3CSl1Zhr%GdEm>~E6<5Y-jI$IV-Ykc5}jf0x8rKtgz(t>-P(Wo5Ob z6+EHOw9=JV;I6?|Emrqs`s7)Hiw!<4z%>b`Nj}_$RTllqeiVdBsY!eiHjMUQBje!b ziOq|!20tNb#ZQ(7GNPR z6SCWnx2t_uu%QI)QT~Ond9cp(t%K}#vHqNgVskbl%eEhT_U+z+!vT6E@1wQ0pOvQ; z33Lqfvwsotr=Z@NlACVh4Ykxlctw+Gv8$HP0SAR9SIU0;Pn*p4Y-t3Mk9OLVHC=?I zR1d-w1=T826;O`Jzo28X=TuMxjarZNegoMrTVfb`(+PPX9t`5nL{mja9qswG;zD>@ znP=F!lmPyz4|c9=wtV3DP%y17D~DG1+7&iIhy0d^BV z3CGWQyT1Pm+e=QpvWduV>`2Es1VghXTQQ3t&Wv>=V6~a&-UTB$k{oK9=%<|S46C_G z2Y-!1Pt_+2h#_zuD)KKT5Sd)5=&boPTy8Sbp2!8 zGJ@CgiO_nyfYJK1n0M^vU6X_Tl_nY{o2ei$d-E~Be(*w?u|zo!b$KCrdGrc|bAJh; zdmub&e>P39$sVPwZWePwwQIJH1;M>C6d6@=_Z+@AtYQb=u+!O_#=Wf|fUI;DF6?mB z31{Idz<7RY`&R5+#jhR5q|!iJcucOd?~Pq96m4nB z(-?i>_$l?HDq+s8OX6_UVSbw2$bW$S_UFLOieP1SaJ=7WU=mO7=KG}*|kx{ zy$0&-sI5p>-KdcJQ#nj0+)M2K@GW~(1&sY4N8HM3KfIHB365nl2(VkJI)88MuC-C! zR?aD`g;h^!$m@&NzvC!qL{f~3fK^#poAJBTBicr|EIH$=YiS_UuN>{sbk1eE$nJyX zGV;kgO62^IW;n{X2$U#69QrZ4&|6Hs0BKu!cx4%YeYLrB5&lGoHDr7= zM4#&hh<=m1hL^XkvS%agV}E_juj)_%{LC7Ycqu4RGPh)B$>;$tA8zei*d@N-a-NoV zbJXHz;2qaQ2J!lLfR?1&?*3Z=|wjOC3ZZDPtTfip9&d_)`?0@toQ1eV6Rbi0`O_Su- z+3u&#%N3MfRw3($iV@w}`6qjySsMv0?tPc27J2F^C#I6u4^RqV07E3EILpqRJ#nKK z%`|#aR?Z@rF_7A`_k#1oN&pMbi?_r)%3I3`>c6!K=k5(Z#)0!ju$k}s6>c@#*AelM zbaXyG?j9VrzJC=rn6I7`9|n`SgJ5wH`n5G}BnT|^r$r|F)n2vAgvn~eikef|1y0X< zCnl=r1cb`C{5vRWIpGm6<(EgfwGlqI9J{et-$sjNnvNQ${aqUn;p5xTT{R)LH@#l; zIlmJnhFE3ChR4^o0U8_S&_0Wgzc1So&aT-k2iI<|fHSMc#(1iln!31~FnIf?Dqj)x2f z=RvNLZS|=sC6yER*WbNGsYI$I)sTZm1F?%LiR9wiGeyUQ0SSl+1>s!4ry@!#_%tNs z5qw63F~*6B7-3q#6OkY+5(XLyx+r)yGK8xL9)=$guwX9?7!g8h5(a_@1!I4Nfg+L% z1`R``j6!HcM21?BkTIg93ZNl~GH^d+03zb>3^PQF2*zO%(K>*UIU^eHhX^)ch!PNR z?9Ks`R1$tcLz|Eo0Shw*zQNmphE)iFq9VLyNEBdK!AZnIvu7kUGz)Q5Xuva4MI;KP zA|jN81p$n&k&b`^Mgat|0DpgLt)Zphw+K13a3BfbSrBoU5qbfE09^u$z@!u~F!W#| z3}LzWodOI31i+X9E~EygSqO8A5T4_K0(zqWS{&BHk$x@%31WihxPo;GgU=bo_IL#2 z!7q@5QG^MY7kXfe0}T=wU_wgl0V@(3$m9{WP?j3-Fd#c33ixG`!8(5wpk-1pZlK$ckeNpHl)_O2K$aLQ8`#Fr~1CYf~Cpp~jX8 z)Lw{dQwHwv5Wfp$L^!TeMKBvj)5y>2#7GC)r@0&hqJeuekmckKupLm*d-;)4O*UmzQz= z@*$5$>3{|Mhttszo*Ko^8Ikt!!^7z>^2a_bY9DQiaabZ)&!2nrAR8o;9Ha$L9>ufw zN&5T(m!aOHI49oQXL!>Ne=vC-CGZV=ahoUO2Q-X5`nBvPC64kE&u^2Q{13gRH}v!W zS_G#l^fR#bfP8=6`{zG5THgE1v-8`}u)NRHaXf*QeNLViqj=uFI0Y^ls?Ym!Cy%}N}lqnJ;z>jFda=NH2JZJ zM>P307{z1yl)fhPX}XxxNjgdB6n+ zeCn|Z{%H$VKYl&CIX)$4o1-g^f;>$LMvg9?H&@BDc%Y)p8 zhl}?Q7Z)EY9?Tl$0{h)B3|?vL?|+*I)2&>c>SPtEUuD{<(c4gSbAE986%Fq;o@8t7 z4xA>aNK}7B6byR~HGxY^P}350aT0bqlLLB4kLWQyp{MkWzNa7PM|w^#=q3F`udJ(~ zxAczQ(+B#6exu)MOylt^nP>52NaHL|=4tj9eWZ_z(I^4SENyczMMECaq*OlNR_PP| zOKI^BwQ^(?^O?TTm$%sqC}m3jMgO8BI;In=uakep_z|W}pC@!`Wz``qKr|iFAN0o} z$?_Di{8&u$WcWBLo~$nH!^M?t&S~b@LpF-D7n(bEv7oQ?C;dg==)YSOA>7IX-yB_^ zTvv*~*C+x+N>Bs{aYa1z6rmYk@Nxqi33aDFya)MTfW+fMk|@Ij#f3t80hw5NO#3J; zctn4XQnJ>{R}^gJTfdxKo*$Hag=^@N=vtX9@~XdyuI^a;0nFsCFpL;%VBo5KrRtte z|FvYWUwe_n+*LWBy{#hC$-~F%>+iMO!9?cjag>66bWjK-3V7urWkS~@cBXKj@nw9H zE{iI3S+p+bv~WKch2ybK=V8ezx|E?+Mbv-BE=SSp7=DzjddBSYx>ck*xj+AS^v&nB zgHRomgc|*Ogx29+=uSFapKd8_^X9G}f9&+zPqmL;=b$(9%D$W3*uh3yMcVt5YRK0Gf3jJhOY*+}&pfjDddURU)%u0vi$+Mg1)|XZ{;`w~~6Jqt_G=EuM45vRQ z%M07Byl^^|%`)Q~11t0~o)?L9vP^%e%Uo)Z&IhApFrB^4tBdhsl&7=NTX|XJ)X;AX z4A5je%ipr3$P&}nc$7>A7(i2)Ym%psH$Kmk80NJ}1dRykIGra?qvU^Aws=IG zSvpSPON%03%qNg&jw}m{38tLz`xSlb$k)KF;`ZVDhvSboz6P$Tr*J1CQpHXe#{%~6 zP{8hb>eknWN}8UqEcdf{I!=5lwhFbkxA(_a_ejNbGQG(AgRPR*{TSR*3q<62AMTUD zo!V)iGt-s-i8VHeq4vxRw4Z;M9{qdaow|22oaDwbh8bf?VKZ|?&G+1Yho^4@&oJ03 zcwS$AyRmu)WUnn#6;>zc?yyP?nBKig?b#NpLuOT@c2VtCq(HN^@lHS0Cl+v1i!s`K zZ$zJY#DmxKYN0bXA#C;V^$JYc1QT%P*&#%~IsGKw*EAt!l5Uzq(ya zhTyRV(|OX9hlRmbdBee{s1=b(O2a%9RJi;CqCC$xR(s=lYHAUH=U9 zRsrh%?&H9AFdzXUEUsCvY=IzA%Ths6jT%rKM-zm&s{+( zwSm*`$!{}ouya3aU|R*Uhnt(T_xG@t!>+aLD@d4dr zF`pn#-9v<`QeA&pTRGL6i%+*74vS@(E>A-C6=YakGxQ{Z<4I(+!?L2DWqtQn!ng8{ zH@62@-!I-}`8b}xb%}`a;vIp)cf=sB(A7A6Q|zq9xEi+)MOfF0cz0lUOrIa8zvyUG znmnD)%a*^;tvr9_!^y$7Pp9whlCS%($sq4qDu)1oo0b6-3X1XFQz@oRw^_}=!})93 z%0pb8eR=qL`0i(%b&3on#q0nFULC?bAK||d)!Ju zYw;QMT%O~RJhVNrNlTPicUszxXzgZWmG%wbMu>!~6GEONmjXDg~MTQe3_Usa5i zWf^}YytbA^nN{yBm*U#=)hzlZd^_v1?Y*RPd0#Q(vIy!h;wrb?OjI&zp`%z2(FPaP zqk-HmiG&7Lgdj;2(E-*Ah!Z{~BE{1&h!u1o@X>CDP{=y7cGbgFH8-X8Iao4T}d>WhDRw_yjpaa}{T6H`pKp}3;vz6ObOz14!R z!phSJf3D^*kUuOQ^WqY}gv8-6&Jw&s=-KW0rw^y^jxKM%6`72e@&K7OE2pRFJj*fN zKsUEXFXH7Dq{3g)Vg8a4!|f3)dN;kFfZT?dc64O*eUQGM-aOo0mwUb^zre$1;0=Gg zO}GY1!<#5ERa%0K!WyG27gX_Foc&xu9c_>LBkGQ$Z)Ii8g6QOVrx?VS2g`>BJ)7&U(!ik!2w2LQl?TD`e zGTQ@cZ1FVkaMr|w2mD&`$knhUb_h#{U+#~NZmL6_P`+oq{(Z%caR;e33g&HP3;U?A<+m){9m2pI`Hvzjt6zV?V+XQR+ zQxlh2xe3@E;!pRP+a}m(^Q1&?MC}gIr~6=N18ub80)*^DyAiiL#GTG#nN6@O1|~!o z*wT8|fZZYF^q+!kB35gZfjNJw8*PGkhp5zXzOV^(#mE@%)C9E&)E(kg_j$V}+Gq>3 z8>zw$(X9J4TQgHyu`;c?)Ijr1(C!e(I?ui|!LEASPOx%S5mplywL>85K0DGx8?A9* z%AuBRf_8^U)_pvonE|dSg4CUAD>gy9Ln!M!OV9+n;%+0a?qklDfY^Ts><*Ev^K3v9 ztlC@;q}&AT4uNd-J!CWEUZK=@CZZFh=@wl)EoN%?7`CDC@5b+v{58{LQ>;CAPOQb#K|*yL3*U@TdR}gSN3mJyy^@mhIh&L`TcsRRvo0 zt_ZM5l>1Jg24;V`3O%m&MRO8WPs064s$uOUx^02Frdox4y{mnFyId_>#!@x$O16(x z_HIL>YN}PxM^=?plw*Y+brnoYT~$eUP$z5o$fkVS7AR|~C2xmlK{e!Ay~inaKlDJc z<|MU5gfEe>5>~+j^R~fiTFRA&y(<^Bs6<0lT)Jd8ULk*!y=zg4pszRgY(%u#2(M+p zb^BOl?=~d7mI(JHvZTi%34F4+Cy^@tc96wuiBuci6~w@sgsB#Yb4)?3!SSr73n^pJ4riJ^jN#lU?>C!13S z)s!qUjVXVPJ7v_eTo&oNx9IKdih)H@+gM96urO*LtL)u|Bn<1`s+~GZmanr*U zmsv3iI)7-MSrx~h^St|;JXxD`Nt>o^mbU4Zyy=>zO}C^?+N9}{E=ixZ$tXCuycE#^ zKe&FV4#PloiqH>N8DwT~R0bDDsn~%E!uUZSMC3B!poj{NqBsnSW4ynAzx+7o|J-N0 z=bU@)jiM-7iKEz!g2Q0UqNq8Fqo^2JRGA2fGJm;dk-Z=*wkW0 zpnnss9c?Y{YOn@v71|nHU08?KiKZcX=z6psv`$=oP&e8pG(CPJ=t1j4TZOv`Y)0FK zrcc`fdeL^Hwc+-Gezc=#`mF)5741A)3+^_s9ql5TreqN8K)Z_8gu4^$Lc4~h>D&$W zpxr`i#2o^|K_gXiX#;KzjG$@mtGIi?K7X`Ev$TaT8*JpoRlZ9t20Pk{-vZZyN41gFt9qACB*fGM;v zvAJX!cN&~U+lID;dk)N?5s&0H?kqTuHjZ`+cMe=Yn?<{cdl6hhBW_8Gdl}55&3~cY zz`X*lqFq2+#JvWtqb;B<;0obtT+5?f$JGN;v;vxL)5~w6^`c$H)rT*k9Y@nE`Dq`P zhm}_&E=+M@9*tS^G1?_GzS%S5K96=8?Gi50@|pJ$V-vi$XFCDEnkT7y(Cl@&Sfy1(dko4k&ED15nOhPoaqY9)CdT`e8u9 z`Vl~x`h9@n^m-^I=??)4(H{nspFaX9IzJ95HGdpXVE!bato#JfPird8jMOEQe9wB#p0e_!t)~$EGV4_Y48%Y=Nx67x%MV!e z&wpvMZ*VmaSY-T7i~hS)_kR}57N3z-25L4Xv+6}@6{4^Y)W8s$dXElpPTD>=zZTz7gx)G>D=mF{rY6Js7%l|f@1)deI zK4`Y%$%pR*dw99V>BCvf>ovdEW z%Yi=}gV_6i`c@1Zt$jH-A(6B&ykEaMtX_=kzG` zOZFv+-li5vKr@1u&6|B|O5@b?t^svA1z9h@Nl(#`)a*xhW!(bAH(O$yW@Fjnsh_BM zsaw%vYG(H4lC&I9dn$o4w{6F&0D4cY12mZVJGvtQG@x2DpzYLJ0nMh?4%nt7N3d3d z9uV^2uP^EWG=G-bT0lFgv42U%u;?VU4S@bp+XyxTeNf1f|Fr4>TRTnBR&4}aBl$3-v?u7IoH8eqrc3~RyS zLt`3z11L+_!X~{~w}G}e%iIxJ?n{pu?8pPx0Ah>hzAcTNj4J?g!)e1pS~zV}$OEU% zM5DzwKCL^nFX3>J8~~dEbKtbWAm*;a;t$VhFuCEn0Fidpdyz2(mj4h_pM&1#N}2=hvTjvGNV7OO=CrI;R(ZBVR)3wZ6%0pFhuc>Q|;Kh6a_dLiKP zK)}z!G*y0nA>bE0h zj{X;r|7}3=69JVk1T=<6Ra=hfBb8wjR_&YCIaCKWowjwnrsz@{Y07pw)$y9`c{%_% z$)z0K((Qn~S<2QRWm}f&+^vH)8>N&Te9A67Wv`dA0Z;b=dT7d~Jf+T4$|XGn*iGT3 zhXG4udIac@PT{1-0B5W81fXV8ekPp&R7!dpoB!!3#gBD25@*xb;{>>m~tLW qb-?E!mU8k+=dIdX2opB6CHg;cd2czFPdW-83OO@53MC~)PeuxD%>OuIU1LVl8 z)8MRO(;GHR$C)hC#{X@r`CXPPrPGhgcHLyTwCT+*T3-7_Mdz+ww40`m&MJTXylrl` z^Qzj^w-kcbl$bh$y(x-cK7LJ+uxP4NNtFU#%2214vQOI8OP>?d@+{_-Tw+k^ zIh~~1pqa1=ke-lEf^^D@MuGxY%0!R-He5-~!(mv-SiG+UyJ$$pe}#V>(&R&){2)^gGlhx!G_Nv| zF3;lW+vxo3Nr8wanipVdMC71NFYtKc1wD)TM$^mhr;5+D1Yy*1jgzjb<^g(7N3)82 zwCkR$56eZ{ZI`>FYEBKe=G1xkKePSf2TS@2kDHf(l|45@^D>RpX zulNrT>@QxE(E}5+(h@1@A1W7Z)UQ_V1iAc^37tWA-mHmj_QJNJVilHu0jRJWmm#(Y z6O%3c7XdSq5dtZbZu}O18mNhHAqQd0jv$f}+o6wN-`QQQB-=GjXiFLru)Pn>%+7o> zJDM>;D@4$F@^O}&oC$?2wu&hFx;&nC&~ zEV)l8C`J$+6rq?Ji{^E5bxqI$o=p(J+#2-NQ`SJKFi{-lx9BpNCZscNPm+=X6RVx1 zdjv%1$Wta>m;`BVJA4Qx-MX7i{UQov!eGJ~k_uDHoIna>r2CHN^BV0QHXWqoQA|F_ znZ~1@S%atqlaA$omzf1)M|2mc^}Th6)-B ztRy4i*!GTfag$+Xl;B_w2OefQ>d)&fj5{MM;}*z@5_+Y7x^aL1h}C=6j$(;QEUhyV z8)+UDO1sx9R}z9p!w3^Ar4wuUcdXOF4Df6)}b_6(|QsTd8^vUvFS!)D5{AeEA}5 zeBQw$%ss+?qytwD;Ia$2H8TrGPG=Rd@iceq{@^L6X%2=yAS^FI#Yd?!cr zaPuxpf3BLc@MU1A_-2_AX<6SvO&9CKSn+*sSJm82$y+%826}Orod@Lm>}QVH{R8GKUo6?b@{y2VB7J+vsnIfC+k7mvCjJi(E}5+t^er?e@m0&HV(e`ukdMy z-WhxJe&m*>vOf>k@*0Ne}!Y~s5 zRNbLjZ-P{mmMDM2f4`8JdsB3}F~l5-AKGT$%DUEO4_lHn&csJ)w58Q=`|i{Fm-~-* z|G2;V{muu)yp?}Z#NYZ^zAEawhhMx^32Pr$-Zsp$)yZ+zz?p2lB!qFb`tk1HcODz( z&5X=fezXmvB$!$mhub{J$x7epFl<^qY<%DI#JAEutwUd^f2zXuD{pzLO%QJV#3vDs z8O%rKO^^oyO~ijmf4hlaaDH??o%#ldl{EWa?$vg^i9%0&=|qIW_Ql#4hj-vJ&lkG0 zbCEnPq@ls1i;bcQgsR^kI+`>)*2!KtLFMs$t7~0Jry1{V=)acTLBWqMr1J$@@B7<4 zW|&M=!LUkGfAW9<0u~&Y;-o8@SY4`(`q}eCRdkzOtHAO>db-WS@Re`hIL$rL;rx6g z{qZ*!_G~*<)3S3u(4JL$CQ92p_O>IcQxA#GV?fZRQ?0TcI|9TvM_tewxxf>ZBGq|| zB;PfC$HBTkupW=ny1lTcl$~TLQ+?Tnv&*fX}4?=L&D$@}G#3K}wAO`C+%h0B%`jRAq z5QO_>GvKGw&%P#K8>h^kaMKy*xr>P#d=gyZ8Nx!T}|>7+P3Y@pnTuNTV3 zgA-9UBNA|`yLUV=B)U7uj?cfT=3xJHsdaznWsAQYms$Tch8}!%a#4C#?ZPSL*&tAA zgfz}8W%k`+s%<#0eaIwP-{#0swSzm!cOeuMe{&|@0maT%sxYIYr%A&CUe!&f6eO}Q z2U61ZpnUFJ2!Z4Vw&as<=iREzupEfj)sVOOnhn-vLf&%o{k9^^_a}HRdG=U8r5N z`*ag#k=SvQ)mQGYEEW#aC5@-|D=;gKf3{&*@=W|hjso&&sJ5`fbpuGmQiK18SE&v} z&1bdfx}t9_oH3kU5=(a&n6w=ziUzgR%uOJ5=}H9bH0X3p(ghFb?vh`S)+g>W0h>=Z zi_3CV!^N`H)LcR7$U*^O3!?a{CksNcQ?l#vj)cOy2w7yRZ^K zpHu=bbp=e-aDQ47Fv4yk4bw9SpcgY0A0wIDC{?PGQu{&=u2LIU0QNW4SCGpsZTv(1 zui`N=B#H(@I>T4RtZSPX;sRCIs?;#A&ZzrhkiIimDt!hMj*14*rUt57zC@!i5Z^#T z?3)voAd0AqCQiO?>Z7i}*oELAe*~g97M2Q7+uc53e<+sA6KFPQ+k@-DHEEcEDd3!{ zBDc<%pn-E&7mk&*ZWK7jO6I5aJP`I|eY1tLcV!8NUoBqWCWBN{^myKf!h8Ib? z&9aOiHQVK9jcZiHB!xy5BbX!ryp#O`&WB!eT(oD?$(I|r$>0%o32Ydqe-}TaoY)uN zb#E-K{N6*V<1oPkU7wSQ$G#)drM3g>NmB!nioN3Xo;wG=&fs733io?(bWyXb_i_ssBsW>#cPg2K$*=>Ob{2}iDzPlcM7<{!@Rx-^Ro*H5F7(5T|0gd1DdHx!TBP-M8* zo4p{T@d$0;oe;fnJ2?g_8XhZ?Rnv4XDTh{iORii1sD%7he>dfCH2ie4Sw~MT z_xLV?CGCItV=>n?6w(69C^&vG-jmNRz#nJhb9goQjiY z36Gh_N@1458|z=wFFPYMG#60%UBe$^V|nR@QR=cMp#6FKjy$m8|G)G9d;SMc@kl<} zTQxgO`1KHT=SyvRf9x9Fn@9ip`TOm3(8DJPZAUC}3hbK6OG>@)b!#9x+F89AqkET= z)I<}k{q!1^Kp9|3U3g;#s@cfucyLW#U#r%+8yI#trw9^(o?i-|&0zrjZ!3@7-yiU6 zhkLQG&?5)iz>?McFqovS+oYk?-?$4CS0>(4jrbg<1;2j&e`C4BTgnely#1`Ct3X{n zjlq3mhnR9oJT1oKvn7YG1(Z4epjkj8!O*vj8J?~q?3?LlhRe&mRnSYCp+BOc#`lT4 zTkz8ZKXJ{haT)*x4vW02$`pyO9HjWm#d2ffKKl5$&Ddq>~U~+GK>7bGs+QIc;#CdhM~5wX1|t}waQ`2V2(^m>;; z3IP+B!V&=%0yHp}p}GMnw*wOafea*J;}%}x{_Y0F)Sy`edluxPKM*r5g>CkwZN+4t z;{O4J-6so|K?(sAm%1MT7Xdbxp}GMnxBDLfBn%^8gmk!X)JECDG2HJ8yJ0V;o8S(Dth5q{raLBFK9RT`MMLAi3+N$kXx z!-^E=LAF!WEO(do3}-du=*X{6;~)ug0M4hQCBM=i)K=cr%eLCowlYn>*=}yO#d=-UH}Hy(T%}(Zb=BCXf7-SGx%~dw*B5_$ zcJcB817lf&2SzZ$Do>W{i|5~G$rU{NI>`{tRr1=@TtiKPGC|?{DtUVG!ijy(EYkF1pu}=L>&~vn>6x+BWUt@7t?#3;YV1{$+DhEk{)i`C$yR zWP#zAVm)DmgQTCnt=r;F*Y|19fnTX~$6qG!=2wY%{lfH}L+5p|eu6}z|Kel|Pd~l8 zx&Ga_5ll-K#+5Ho3S?E}oe2os1}ybn`^v1^W-ok$#@Jzy9~-+RoBMCcDp$)`C-%VUa8( z<_H^c@5FYHD_6%=F|zfC^1FWwv%1pSW~Fmq+NPhLsEsK?qfdtJElk%IT?d~e?oXYJ zYB_0L4B~1S$5eToW11l>N1T6`@$6}JQy1-S3!UJG=ZP_TzMxp9%T3)>O$*k7Uf~m|%S~Qm0Yi&}?)yi?=2BN(!tF5MxEL4WLU|@BOg|p*Z z7<&zZQ8vib(pE{LoKpMzUxp|&L`eD?>XjXz*?17(@pbnICjwRlm|1N?!E`bS@-MJ! z@uxs{6vEgDQC~~XyIp@v;tk$~8YCIm1AeGMShg}UYETa*Vd?e8%+#f8Kr>)wtt}fP zeWtwK*w3oAk6h_((YkW?d0TYTIudisePJ4cs?f&Ua3>i&`Y9|JG|N-cJ<7*2BUSph zkj$j$a={o*e-E0{7PVut(}bqu`IYNWCmJ4ux!mhU7Hr9kCQpA?Rb5&#)3%I2${b8J z9}A>wA9JsL8EYSE;b{9fhbh@L{ntIRx?845YbnJ-Yp?!!Q@tu{`*koA`j-<*D<7DT z<->^w6dT0i(-G+lueF|&dS}!h^lR($0d%cwXj8E++j84jB1Y`s@vg33?#h)TcU3ma zZRH5{D(sDD)jof+2nvAJ&Y`ePU7`q}5DXS1mOmhhj|))<1{C=`r0D9*U(S6IfL*n$8vu`2 z#tkqvIzkP&N2{`F-LK092E_$b@W{UL`nKGb9ZjCSuG)Xw$Ql4Oz74X?v@yFWs@jq% zTuWs;X8Dz~g~f}NTi!7vEKV|f!nGq5s|@QSD(!Gtg~A;Fo@ z19%+)1JI{vlOUIuhWxivXG~0-F|U{8m|g|}4^~Jh13!c%RR@+Xju@d9euzOJgPluT z_rCHPk%)gufG=P{a_2qb(8~-lVN6n2>obrwP}IlzL)Z`5eSBsM+aRa{3rOXt!Fad4 zN`qc~NKpvR3)e=R1}0|AnbMwzKQT^t!q}ftVz7UdmEdSHf|SCe(X2we2$U)259gT! z252Z^KUk_lz$(RYW%@27EZkqsMirm!`4{WxOlyD5uo&mgEj3WsSuh9J*ZZY93bk7m zgIU{0I$SZpH24AOd|XI}D~VKwXOT`BAq^ffDLq&shM3?k&x~y_{cRqz*vKZcN@aFbD=FfQn?q4@?|D z2K;~hA_Mu(fPwgcz`z&fGr$22&kbjYgBjSLn|*LF4pTXF@J$4T^Eq@tqv(Lid^Ds# zhS5PT_%90`{1|JAzYlc4dK@rD2QC&17RnFojSUZ$3Y^8U>eFLX|MSS$5Tebch;$L2 zei0cPa$j{|v+D5qd(px{ruJKWj~&$kvq68~_Ql!Efa{wP*Xtj`mi4nR4Q&noeexTh z+{{XEg-R2bWh2lIbSLW-J4R@qym@?%9PBTmCtKqWEq+JG z3Bnt=3?Bdd$r*L6A zyS;I}{)bK_NnfmXrT;!n%QwaPu48}5Z6K|T9eF*;LrG_%D2#!VmOo^md~B-E33OY{ z>%OZqqx}3--~F;InT5LOj`lH@iPvT)SK2<$-(Np zush-RG!Aw&KnLv?YaF)a)qAlGL?C?BUb0F~GYS+Df%CCdph#gtJgdME;R=5yqF1)A z08|GSfQ(Z?hr*R96d6@&D3oSrG54tZC6)(m7rH{0KLd5g@xa6X&@gaBnS7^~ zf$E@yn70hBj!~{Z_Oj-Tf;iPE3@z>(g}#3Wt->IzhVN0-0}~y1rDMk9p}Cjgd=)XL zhWk|BOnkRV9A+knMhG~n<|BWPAc8}!LBZo7aT^pmisIX8Ix7soB3SoJ54nGAs!NXH$qe#?)XuHr0yX|+h9+~y{7Qgsj-vc z0^K(UhxQ%G)ZF5jam1*60M0*q;GE^}bbZVeQtZI`=<3WMXL;%(IW&J8M9x`$)FL?u zZ3H^&{ihN8anlanqTwhXOBc&c{i@tH(C0X|X0neUvT1&>PP$ys%;M)*^2P*`!%NGe zwz;caMy2_&E$d=!FfvrJX})@I=dCSht95BIUS;}X=N_(iW``4=x-8MA+`e+uUbs-2 zdEB(y-Ll<*AF#DKnbUvBoC0(#L?ALpTx9N>ZMiJ3%6eG_v&bhA;m45>Cg$mHBB675 z^h4||G56NLPi-sxB%01EaO$VRWqV%MZ=(K}c9yu#pKZ-iBhFL1t!=lgxl6p|{Zw_M zi7po$lk|xnKeaEEZ`#thWtw_pKd<{tXZW$LZf;xuxy}|g?p%MB=2X1_UD?)wI0}I6Imc>rZM-!0{M|emT0EaSLE#a z*wvX?AJvKLqt}1z`H>}0WFyO?f|3#U=7f`71LjURDHk9TRxRtI*SD~`y6mFB+5tlv>>*<)XL*R3Q8RiN#=JCkf~`-L~S%DdgdvNTg3Y`MEJqgXu;pSCe$32m}qL1A!1Kc~+(tj_-oI-JPP2Zy^WM zT+)SIdtHCvcU!KCF4IMyNVc$un{UKahL}bK!HO2s`VH!uytQ zyHBBkI+)9qJ5r}JxrTFi8or(^^^8C@e3aCy6QqAWa@K%=7aSbm`<^v05-+vH_bDI; zrk#zm97R4ln{q(zC-WYF=!6O+6+Hr?GyNhW@b6C_6r(d(`v5%Q5k`kXp_E`lAp^~$ z=Cn*l-7o1tdSB*&^r4<(XCUqv9$5H4Lg|EMAii`KrFV6V6#cnwcLt(AJ`tFEEu9a{ zJwbonzs)2EP2_6K?z7t%T;zG!cHvKI=9rm1df z3$8?FkN@g=#q!pE8=XIP@7SnB?k9xVf~svSoh$1ufr0Hkrp)g9^6r>4d@-2S0#^8C z10>$#rt?@Hxw{2Gkr)|6!+O(p+sa)+V=;dQF|jkq;PrwP;t!tx$L0A$j}XoHyiIX+ zW<3A=R0A_Kdk+IMh-^HkWW>B)y}>A!Tc^gYQHhyE5~Z@vZ1p7X&Vjs&#T;gQaL+Xi!>Cu0`yFUx6WS%}8q@Vj{M{Kh*YdPYpC#S|2Aap@4q;G#40hxahKclmZy)DrE#Lx^DnHJBVFPc%%DmZ=l$Q~$+ z01#(nD1;KBgbopQ)cumq9`t3NJs9dab_U{(;emz!Cwm|$Qe@so>gvqh)0UlT9fo%A zVI2mk4FVd0GLnzk*Lw1;)+nuWvl+472Bce3+x~3g%rVKpfiJypdKdvs11W!*>~n4P zm1b?}f~iGwDwvY&h~v4jM6*B;t>{vHol&*!6YKV6-z9f%;@lbN^y?U^k};3D>3#5 z_2}{0_rIQp-{f3Jp_Hfm zXDHGC;f3hDHg^fe*Sp$5K;`cCBN;Jgb*XXE;mq9E6 z6Sp!w0hkUWw7))Q!VN7>xx3JtNObd70ljdo!gc$?_Y!KC_hy2G%|@Lmq7{v6PI~h0XG3Om$6&{ zLw}uzwuT=ZM<{{@QeewK`u9DvjvcSPk(j6n4A`Q`Jschm=f)MQgcMjc5I3|Iauu{C zNJif{sCiq0HE$&p;lPDLRm{V)RxBPml8;+1g;dw zqy)$zYZSnQ3Tx1cw$xydRdZe#WL11{#eaiFDY(oA##|w@IW4S|lYlqGqEAHg2Q%7UAOtktLEQK5#dp~aRRS`#QjcCJc65*DanF9{1YNuff1t3H6; zC#XsiM5n?FN#H@)pd?TvqcCneCkKOvh=a{_48b(&2-?Iz5e=ixz)1-6DmEYlxqr3P zg^=$r`-u7`umG78aw+3#=uvf%2_G&38jEpTFLzI_;)nqf^hqyp8$3h_mpARZOi zfxy5lv4de$1oINjur4MSE`GHgT?Ub-}lQfJYB8Uo5gT^^?Eb*e|@|9XMZs~TVK3c zUYsPjV>%sv9)1~~pU~J@48JeWH{qnTNKk;a8tdo_C6ZfhYO$~Z_B0$EgyA?0FW0Zu zVR#XKxV(COiMemrtEiEG3{Rdc@V7q|XgMZr*qOz~?h7R*7?zBOESksD5^-#^Y~G*! zy^L&k8N3K53{y_w_b~kN=U?#aXz-qz1VTBiuHL;n{fG_2^Yy#+#qs;I^JU=cDMx3U z&GKRu@^$y851W_Ao3qU_&^WLd4%e&A$m0+$om(1*A#XUkSf3v+v40B)d2twqSIZBZ za5`1Y5%?~!>T0uGZ7#91aT(wK<@)O4e0e!0qH*ZA<(s!>&(SQ~V4 zbanv|AYj+wEoM=WhtIi+_h+ubyJJd-W_gkrVzVNuw+ zIdzfHhTFDUmtd_>aqCl?T8pwvZ8uo7scIkAFT#}ju&JP>K1B#NS4-#7iOrW!6L9lm z@YggPMSEG~6l?0+9^>dl`)q0j(f`3>qb0K*K%Z!%fvAOlMi2SU#KJfU@6_{V^)=CfDTH2m&E%h{^~nXyf9u~;k?`z>}s6Ytt1-fyE<)6vVL?rTL5(bGB-gN2B z{MTa^`y2eTU8lu(!g=WbmDQ`wc*3N=tTg3&d~nUYD;IUXDStIH_upguARfGmKPQ1l>G@BD|34P}t33w8FcZzcj zoKZj`4(-BwH@X-RvpCXQWHPWw5e0%KdXX%M0Wi2YdI-MZ5`( zK^rY&I*vIQYJbAx$iGqc+T3RPb(<~5)ZcBZ+)}QLMR!G7y#P{@ppB)!)!l1g*Y8&@W&#zuE&n@rnrk(NKy z$gK9028l49zs*1`G&W8AC2lMu%DC`q_80sauyLhnmq@$UY>TwY)V?z2rQuERXYSibCz>9fa^R z8?5(2bp%f;Ifm*F9z@aKJQYeuDq0H&*GR^mAolQ=dRypyd2@aB%Oa%#@K)Z41|i6x z9)l+r3555C1fIuP7({6hL34 zm4P%yx89+<|LnNgo+OyTY0Bm3l4LB?TaU4UNu$ERRT1-eNS|UO%i~y{S@GeEGV1I&w zB6e`xGFlur(k+gy3jZUFMZiP(tT^Tv@aS`Uhl)yy zuq&6@)~?goF|DfI`bMXyIM`)?i4Xye637V=_$F2TJYjf$5R=kj59-fPC$3%B)bhi< z10|%e{hat&QB1BjXr<+_aUt3-H|sPnbq$iV`5in~>8)w0G#?IxbotM&s(%e_Wjebh z0gk%AQ3d}77%Fw70I@3a>s4LcV~r8A_LPK&+Amk$4gHS1yKtC2k&nr{i?JH{^H_1M z-COG1(b(xb@iY5QY}dYjx)Z1Kbc(UGTsB#I*%UvrSNwdb^yI;~@aN9j#)JS=apXe1&J$qd2u{^+b>3H2=LseQ5{skxq2+mco!6P|@pWFuSKW19 zPv>r(*S*929EF}m_$O9+voVaFpDOowFROAunSeiFQT46X`^suPL4V+Ml*jLEEYH(x zz0Pb;sP#JDIs|4O$Vl{+Zon*P56tk|1@m5R3cZfp^nSS33AulE=78F?Gh7`SH8w=ZH+GnJdY|K3rWiyt-DsLy<=$eo^I}yZfXS z4ZnIPNZx`>{TJ zxRi+q11k0kZ7f5EYXDgD5o4*74V@org~vPpp{MwS+dDT}v8NNjN z@&>8;@&;S3%Ny)-U*6!yHyStlh0MAtQ&ZmD;AcK;s=`K3(`l3^_^M0oxGA+ysqoxM z$53s0Wbde>j6<8^4FhU=qGoRR8lEu=Mp09+EyNr~orso8k6ukwGya!8RX7r*VIolqN!gzK z`g8-JL~=k%n#0)_i3g5GU--Jwq?6TzPX2xM^7`t_S5i$9k|?ew*UO1ah@xtu6G;*s zPp%h}x6!L9H_;Y<%1yeS&V-QB_gQ_rozA$97Jrp{@;CewuJOK@*ZH<^jYagIa=R+i z%_c8a&_(IkM6c5#uiV>j_VpjrpRZqE{pe!U!|TWWKq2`!k&^;N9y9 zB_c7C54Pn7S}H=7fa~?-$E*KdQNK9aS!6O{k_f4IdzG;u2~XTAg{7hCGmIY{WX1(yin$TKg7q*Ht;#H|@lr?i6c}{3vwX_j+v={WvyHp99Drt7 zRb@q;TXw7)pZ!;&&ynm|pnbU|{JIx3D$=+vW^WMFzZ&R4KZf<;U zKl9DnvIrh*m#)PE7P4@(z|#-6`TW*hW*=Q2;32HQ51zV5uEh%V6creM7w%bFEbfi8 zEwXO+;_r2vW&v!nWTZe|mkGRK!X5>|O-nE+g&4+08Q>L2!?Oi$6-;HHR{NVOtABml zrTg#Gjn8_kCDWPYv12}tw%Vcyv0?5fuD9;Z2D$y))ajvpaob$rfL2FM^RCfROQ0WU zU%;ewnS-Ld_syDDuJ0B|0>&Kp!blP;#}{Do+6$wq^R;&&Wmczo0c3fx%INofKL72D zreRv=b9X)WJjfd1rR%#YcZzthSbt~ZIBU!szPhZj+UUt*BqwNc8Sd_)qMtbom)&yq7M8U;NXvUMV)>e=6{=Ko8JUH z>(b5|vT{@T#UIu)?<})n`Qi0C-P|~>NN4kOJ>ReQ%@7|f+blhdiWWg{?dvxIQs2%b zQ}-vaHrW=|dq;PUE}%NP5nrEYw>PsVA*Qp|J#sfu8nIJU}Ikq>}bfXDzh17W?XYI%6Witrt;J z_MkCd;TQ-EU=RxG^Ei%oZ2m2nz#mz;4NoqVjvgWSzJ1`UpPpY`n176kh)qaeI%9*c zW2`OY&%<0`A`Z{Pi8AIB>Qa!1m~hU*wjstA`;Jm^*?OT(Zzdj^2|B3uM8AgA&aNk4 zo>sfgS`CpfRhxp4P8-5F@A!e+thj6@z!9+wdYti@vh~qA&zwm@wDWMTKHgY3(Sn`j zTf18P4{%BYYcd43jDKgci%VSFvZ|lOuU$ezbp#828q`S|Iw%4FO9HZr9m;J`+P8HV znPzE~+vv~6R&AKxL6zyk15UWe>n(!vCeW`Oy6Z+w9jw`aVC?0GaWS7qtQ(J5?^*-S z57@riuNf3<_KV1|CLR5DUI(Ua^j)8KPrvYSPmk8UvasXX~rC9&yO-PT`t)8B z==g0>KkZIzxiyQ8a|~*jdyI)^z>UZ0`XfrpqR$34Rgl%0banxKgt{x~c;Jx?=z(&9 zazGC{lO#mNqJOOh`9YuUpARDvA4ZsaxhHtliC!>wpxA(|_%RRhV}jG6rOgCQV4G7u z!1uoTCUqgJWRVSTC2NLrb_@5v?iZ_U17_=+E#1FQMQwsS#|8jQ=zwk{Ec#_Yk_j6M zjS@80;a+7hU;`4Zh+S+6el8oJm$&Hc2Ys*@D>L{{-G85xS&JJtd4Wl;YQPIYi;p24 z5&(sa?)s8EK%pX>b#!Qi5p4_V=qn|Znb1_7^(vxS+@7kwP5ojw>CUsEA5Ej$Y&+_6 z^xVj`!t2;PExa;H20&K#l(C%x!IWKD)yGttZuY43kcnuvG=0!ln>+FOg{{w*)Q7a+ z1sM|_%zv1CXLA<mLog7-P=avnmFf*j&6!QWz-P*k#K_4Ez);hp?LfPmq{r+Z2XaVy&^>4~vcZZG zw|@*BKaOOqhI$Qd%M9X`7lFj*WpZr2_3&(Gu(zvR9M_qELNJI&)tGV_ z(D8(iC>KvOQA$okl0X#Q9AMp4A*C{~Z)i{|L*nMJY-Cpk>VFxOaT~F9`b8!zv(Z%J zIcyw}+Gm&R8;AXdYD}}l3BQ09W17*4|9@e}l&5o5nsCvH{~yW(G0X%rjD@+fVE75w z4f?9g=|t><*4?!s*eM8uLD7h`(ql%%1a3CTh!sgq34;}&6)Enc&#!j7kQD)m1UZFf zB%aQSPUmz0lL+1ghvWHjc~-t$o|DUwtz6CtC*Rh$Zl*)Tu%{a34%@~3q6B}OxPM<~ z;Q$xG!NIi!A~!rTIwUOcT=MsQemHkSP&JSf5E14@OcI4-f5ljkJI!L9>@NV5;R=OU zh*S1ueVdizAZBws>154GXCGeLX%67%CBU|+Pme(#M3mSy1bbvm62LnGb|^Jktr1f) zYEm3GHwGIM#F?@5!ak%Yx+WEa8-Lc^p`G}V-ncluPmB9f^n~@cX~Ds7urrte?nA4w zZCU`FR7sB;HU=p7p%`?gW1^*a080XkyAIEBnk!8js^@v7OQWB`7Eq>9^ddQ85#D8s z^$6)9<=(?E6n)s!@a5IOBRTwjF)i?s&l3RnY`NW&Ff2`=aCB(IbfN_C2cHT}ca&v=Uf; zcYsJwkD2vZm{|w0;tMPPpjsDlQ_e&M#v8fMI$;iA>p4%{-+9w!{jRrEq{}fN_BK=7m(lc z3=|8f6OgwibbQZa2?u*OW1fKuqN#zwBt$R1Of6pqHCV+2j}o4B!&{!->^cE1P_2@X z&X0SH#}$=a;+q~46m3W=rmfQY{cfFwl8zdB31yv| zqVcD3ZtSVdD^M90pMRc;Cq!t~mB8~Zn18wj^8nJuLRN4$OmXlS6gP7}4tSyKH zAi}_H#)`KBWz?{6K28y>#gnJCAA?GUimc=%MOF_rac|D2ODejH0i)L9^6a8t%fP4r zQH^*Ypu)740_O_b)RX4vgTdtq@eeFdQV8?a!^`YWb1gnY34eNpcK5>t$&IT|5vNWv z1sluhi8v-2Y>dSTQ0N2ULpfgW1QWaldK?HohJA_r6_@w)n;03|O0R}V8 z2W9_vDy#oGl?@k%_A-nZ;$qp!89Ix&N{-=JkQxH7w#pu=H+wl(aDg;_R+X)$EE+By z)z6`|O28&A1Am+Nz<~wUK@z4wn1DA0%vW<^#uAEYkReBFF4l>5(a>chv1z9<%jv9%>L?tbGxNOD}oC$?m? zw1uzp+olc{$L?0wmRYr3zi+;E+BStr`8&#FdaT9mRDV1L>stTUoKjJZ-^W>UYImD@ z`O2PdP1uNCSPkhMhTQ{pb(!Wx?JFla;9Y7XzE%y>mmO`GH`BKiWz~Ei7OLOAuQLZb3w=!uPMjKb z$;Z@#Ux@S8cdxJag(t{-;fUvyE4yk5;2;K?PNoV!K^wf7xQY zE33?u+KV(dwQyJ2Qd`(^iv1HCdjmYeAOK|{fWZ6Yf!BZblDvE3*@=J2Ifphi(6Qq~z` ztd-5RFSlJ`luK{6@@8+8e+M1~iCrkjN%IHRNInnEZ})z&(W_*#W_Yz@1&pE)bGSmO zrLkJ}eOPH4*)}R^eoQNaKAy_EZi)`Cogf>G1hc(q4GWY}fi>-oXMPH=f7i+cYS4+) zeVC6!js&B9o!?z5kbmtiQZhqcI}1Igv48IF#HR9IJaX?F@F@H+mVW>VD75^V{KF~( zZ<&8kP&rQe2}l775zXLP${_;@l==Fax-x-H|x{buI@qrK8b3{W4b3SU+weX0uU*D^?8e~zhXY0v6p2~)?4w%D!L zgF;xOFj%MLY0cy$r8zL)Rq{Ms8I3}TikN~%p+u|$$y@119EtH0=w(``eUO6yRJ4E8 zm_5nc4iJKsuu~GI+x8@H)q*g>J6v z?Md{S(SFX$e`){oO>G;-iJtS_Zn1dy;c;^om}!<-ng7;g&jE9}SLS`lLX(gOINE>q zX;AqFbNG+V;PN(0rwj7|NjA!I#maRlaqGSQ;Y5$e|YeR@vV8~n&7-CPA+8N>Huhg z>oo7xwp(-;o$k^}{lVJh89^#1bEU$G{p2#(zi<(Y)|&#w3AYPvmO$-n_MM^7?+k@K z+O_A=`7*0IFBY$5OLJtsD0hq8zKK@vz4Yx$2Y`7Ww=Jr=lt@FqqLz<0*~Sp$62hx$ zPLiF@e~W-LHOoJEb#Ss5_fa>Jh(6Qrz9@W8a5$YTfut7QB_2N#pkfcx4U6F& zM#(V*eAZ{i5Pl=%I0;cg@Pp>YE?>5RyT?Vpe-&vyF8zF1q}e=uQ6r5xKuVf3{jYT^)K$yr7VQg@g}Bg&ZZT zWFh636d_3swQ_D0PS|8ejnE8ks&EGm+CbDpVE(R+7m^`kxlLjo0YvjF;R81)>j+20mYV>WA1~+~ z-lb*Qmcvh}gp5OrvrmZ>AjEWp5Ob_XQ>rJ;SaysmZ&=PL;xMJp`ewrjs@>DpkGg8c zi!$PSHF)Ig zhZvhX5%>)tz#gsM==}Uk(71HdjJB*{q0 zesP!rWf}z~^3c`g`Iy6J8J!hHSrA*s*`F8zb#HlrBqH({H|)P}gt(TM$E$*htG%*f z3h_q1nLio0Uup^ql!C4dZZ9wl^=~P#P*7?=*BHP-W@-KI6=dWc+bG*n5BU>6;O{3y z3;(6@mwQY)CE=jN-}KOIZgnFKDl1!q^Sli zgz${$_hi#&9X@RO48NnnT8>@B@q;H@D7n->#dI!e<)w}L zhp*ZhJQlb<*gP*{M0x$0WqLFNR7PJXiU?yX#Md!fYTo~-`*SePh`A>v zOmHo*EKtOxg2|fuC1SA9@x`n|M}(!I#u+B2Zz{HIy4a*n`K!sf?Q#}x+G6vF*!<|9 z+E<@Kbk%a+3o+-sxw8R5KL?u+gRDH(mG>2Z)y6zEIgUvipfD))nBva9Mbnty36Dl~ zY0%riCH2R&gqf%&^UNvwaQIaWJ+moCpKbY-*0>4dd7BAYUZ;}ekMn`QfI;0C{pR#E zxb}4Q*&wOJn_N|;6YNznFQ=V2&rU6vK485`aqHagJLtyoZ+ijq7fDYdpB*_e=Oox z>~u_|nVb07O&a|D4pig;aHRdAFk z6B3riOj7mTuuIWPR$96TAKx_OhC5zHxG6`=%l0A}`^^jJH#hSd4B06&V7-P_0njWh zRDigwg()LoN%caQN};YKvBMjsPWE?P{X@&?}43y2<0JZ(Xs-O#?y^+=?L2 zMfUPieo6pc#my727&w!vekhQ$d7vfFa#4S+Q6TW8H{G^7p~-S{*5KqxHtU3o8Jqw= z!n?>+HY%bDQL!?wm?VYRpMWGnrqHhYu&g{-Ad)9S3K6_sa{7t$(O*tNMopPn3Y)Gp zR98l9lF-OjVw+{+4s3IQRrcBX;A^AU@y5ZKk@NsASe3NF6BZ_TvVwe$5afV3Ft2E* z49%&fb&HI#k-B)Zs@Tkn2wqV+;@y|IsJhTGiw{Casdvdv-VR?7eg_HoYOJhZ{M$G5 zE4MYoxL|FEzs4VBdvWm7*IkTXR*=MlE!fWG`TUaNKR5g1sFy=iQC!TAoZUg4m}hd$ zc5DHf@He5vKqA7Hz~U}rk3MPHDoC+meg7igbZK-WLA;%7 z1MI7Xxy8}>l(xWEpr)|wS8x!MG}TYy2@D=oBY);YwTvwU(oeM}GB|=679$>zXc6Gl zKb|;`BTtM7RzEzl?CJSKbjUvP#F6NX#*2zml?yEX^`zFrCrgGUrtc&HvWg@2T4VW_ z9NR5UcC-CAV443u(%3Q7#3gTNvw*8VWyc?crjgtSWB-N$fdQ3)Z`eaNHpcgCeJ{7YNl^omc0{euF=)cC7^`p}VB zV2sqf4q)okUva<)fC*`}dQ|mDwqGmkT0B>QRPKKpRK$dEseCO`{!t09#HaIZU})FG)KEWeqF* zEY_1|y*WYs{2zt=8n>&0w>Mb0+`hUyeNgh1b+1HmwPBl+JBC{?ca|dhj&LQ2-JiBre25TU#AV^N**S}?{g@J=y>nRyeorx%F>6U|zQ9IZS<$k)pd-O%DEV=R|Ccl0^ zd03cEF;IkXvU@w#0)71!h*Dm_EpPF_@OFB`n0x_U1f-*$V`xT{rc@aGA-Q;8s%pP<7mR=L@`@FV5wlRbAO(FFAp3_cT|(3dk1ZhK)J|T2<4-;NOF`=^TC?bT0^_22V(0G$)yn{+Oxb=QIQ(7Fe6BLL1?W{ z+ucpGc#vj&wdOmQSIdZde22pB1OuW0#R1k@ko9TL!|qe#e^a%$0R>tUQ$Xte^v4%G zf|{EXtG&{!*3UPo%|LAfWgpK8jpDgy5)ibUUGWXgq%pms*|G^g??Eim&5(Ul(#R0k zEksIFCE&4R}#oESAtPu z<3q$)0#jd9-r8`!VL7derw2ZAo7q!d{R*6L<2Opw9;L%q3%L7|wJB z{O!$6{|fVwR9zUf+yqZptGIW}`85s;M&cUovW{0AIW&Hb*EnFt4O~_O<-+2z{qTb+ zFpgA-Bw$}~Fk`N!qSVPGU_wf=GBLX=eUmS4yDBG^-)T9Q_|*N?cO&o>ILX@{MmVZ| zJcBmDLyTjoD9OMq0D-5fG0B>1j|!Maa@K2yPkY}4ZFkZLM-MPG?M$p#{p}-O{cIWF z6-<8Khb&7B{_ecKy?bMIjP;{{iw54!ZthUaM#B_Ent(o)Y4w57G*_xOda~S8QZaY+ zdD&oQ8Qz2YcbAe_g_V}m-O-A}^0_=$R!i_g+RIPco+$kezyh~&4tHs9)NpiMPD(cy zCAbb16z=gRSR#wO%Xm?X!c0adi*Mh>%G2kW4`z9)>U>}Ht-sFiRvIp*@APMMcA@Ij z5>#IY&6UjKIO_8>`A^y=*%x@u>$q+ac;FY>Kmkzz8&agRFi@gLA{ zZWjt@6I)}a)RZe=_*A8o|KZL5GwnwWkdDpd{5w-y=UFD8iJ2MdFU1n7nq4ENS-yGF zAa%Nj%$z?-0$!M2b23^REi1u%ZVX9EI)iw>~Sd(X%ECFWX@%4^e%IR!a3Z+JZ*Oc}b-lG_c1cfYx6dPy!s? zpiHQBamv#%wSI)M@fx1 zf)+^|_m|gETWu!)J5;BC%$0JeFXo7>fS$5^?IU7l$U58Tk+!I}(cprP?yZX4Yt@Dp zhO*`#Z@{9Br6QWuc!!I{ihW$aj_ADzTj6wjOizf(K*%WeMJm5Jjr zWoDqsto<=A#lsVNAe70<{Tz!g@RJIes?FKoo$k}XK(l-iZ4p(H1t|Y;aSTmQ)eE#_&mU?XU8>vU;P2{-5mXa z#l2*9lAhm$!Ok}c{FtN)U4z)5%m1L)nH>0!$4U=kYvLV_h%2@ntZXaYpD*!8Yc`r; zR^a)#j0lHd0DF1)MEQYwR03u66BgC?@l_C85~O$427LR@ZXc zY(e&Yt=(Is;x%FdlZ;m~^)z+#Tp&+B(Z=qj%At}GLLcoa12Z3ed)^+VcaNuv-NXVCxz4jyRtt`(FNzan|^zGi&Vo6*w|E!MDNLnD2L@rHe; zD7k0(EKaFGc*>%T*74w*oF#NM2y*nPU3J}}K}j|UCacxV8iV8wYQt*6n7sbaWW z5hP6eVRSIaoju27QmZg@3yVu5J93HJB)HIA;Wcgnmp*X-bTQ{z1XKc$bWlz#oWZCN zD>{0?&zA>6mpc_CDt5ITQbN(R$=@WSsOi1%*R8Zhz7c?OZP8`4w`10cRn6)mR(;v; z(itV6cYP|SVIHC;0SM35PjkGA{J=V3Dx2+~x0lY(Rh+!fM$w&br8^7($ZTzX?FT!e zXwfM`e*;f-_7VF1$lZU|dKTGK4#(5iyX10tq5g9s-XXkG!Cd(d_CdE z)`52M`3YETUD92eQG#T_5`NLPA`!v5bePTnvNZr!*kpT^HDa_MXy&L|)|3{;fj?!aWH(uYZ0}dG|M(~DDf*q~h#IXluLHVG>WAJzKboIh-o7Grx4SgQI$xV#t;S-dBI-AX;E0SpVHb8BhT9N;~bZ{ zD>ixgZtTL55*E&+DT?wpNe-6EdRMaIP5|7rF~{i=2>BUpp}nmKY1KblQDHd_(g9L~ z9~E@U6`r$J-18Z%a3i?pD#0vsNFD3FT|9seDJlp&5+4JmYcp1CSHFRjhf}kZd^2>e zTaMKbvOLy~34cbb!eqUJx_n!pmRLLutQd9yaA)uI^}^I-YJOBHtolmUXJ${23;bfv zG9Df-qm`_%p44;R3G`0jYjub$PVw#xjVBT~@#M*K7^Ga~H(T8qLmhVE7#EQJ_X|MA z73^de__e06nE;Gq(t=six~9+Oq($mg--1+RiL5mIP#78$j;Fk|K=gzE4|^wnc-`dC zla!SuMQ{hF4V$_=+`Hc0yFQKW)5o>e81G(gZz2b4!#hRugLTNJ8yx|WTB?d3Wol;n z`}2_b0cRURRya)swr+$>7iM~Hhbn;OZeu44S9n{kghv%Ni>xoZpTM`dVyk%wKr%8<^K+Wz8I^!m=727NUvJ~!hv(Mt=MLI@Rs~TE|~ZzSi!QRdu7JsQ_Q{{Dztta8}@44VsFm*`V2rngBc$D z$jMS(ThddT;(nlWxRBv9H-W9s%%J&Gh%dYO*|+EUnpLG8Zz-8(B|-mJt1xg?)ssoh zlfU_I-qqbPxZ5$>Fg{>Btvh(z%hcV>^7SII!zM($h*W3~NBH(g$|uk=>k=i&A=yqY z1|ei!!#5bcqBEm+#2f}9!4(kX#jk8L`TTfeWMn&22h)X~vGp*%YYa#wtJQ8&eiZ@# zc)H)q0j`0L2tQWY<3pwu^rfhQ^k-_l6lM7A9sfxD&=kHOnpP^;+9TFAV=_&+gIM++QsFqb^z4 zVc>}UQe3+ri5ZmnRO_9@_fgE75p?$FmJiO3lSdJ=xW!jyf%IRo=t>-enWUYA6uq>R z{0FMkoYC-qe>KjIscBchu&FVH|F^`{I$H=V3Pr}sQbOpRuNFDBz0^#GZvdtsG3@@^ z3eKg|&V^+vgY*Z3m9(n*f2l;PbTu#}9Eo(SUDIw}ewx(fthSJffXx0Lz4CI+Hq2_& zc+c1mr~}df@_)y}JAm<_NpxRmo^f^)i_)arOviwe?b}BP#`XDcstHDnIjTM}uG9D* z|7%oi5B)#&Ep;mYFfc5D^fZuEA8brK8{OQW@P(*4KJXG!bWQ*o65==S3|GVH*1U1SG0oT#ZCRU(4#e>Zit-nJSV|g;K zz!D~oyeB`L4GU;5P(#8Ty81)65*7n;GSti|wE}a9)UW3+Pl}YnB#HbKVV{cHN|u+( z{Lc%}FOwbCq(K)D1pz`Wh&zRexgCkk$z9Rkhgk_7O-iVUM)KMZ9R@cd3^C0NGJ&oe zZtc+waX<+fAR?{O#Eot!qNBvxJ0E6>$0yBZ{Orw_Bde{c{rzC_{b1niLHg{%W`0X;mpHW!m^#{v43G4U_~5o%Hu zV-)CdfnjIeiGjGd7$6QR_G!ZpI@7N%44Z z{5_5pJnysAjStB1&DoCPe}>TnT*lsazOK%e=xrq%2#Dq~HV@3FzM~iF%<6-@AAoWo`gm?lcLHNC}t=0>PqUX$r9-l{L*U);{|1 zq6-^&yMD`XK2{+c*QAWPwNjrN8`t!RRCY>NO#&qnbW_lmJ#=djqoNjBx|OTVs)7h1 zM11Mu*GosET@AJK9$E7`x~j=H1z-jUY{<5|co5y0qaiTuBAq_aD^QS~;AjPG>LLI- zEi_kd@ihH~rJbl13_IFGc@eqw(na}vO&G;eN-RlUzc1U?M21`6v!{i$ARz-Cg-2Nc zwGCC-NUf4WvMe~=po1Z_=J7EwxR3bntMQ{Rmrn@05E-nLzi!We`>o41t;a?i1mzRp zihX$T^a<4E-3;n)6encWllKB0QC0xdFG)D{89rq;e0yvgEUnYBVSdYB>d@mf7vxkg zzZb%qMR`ZW7=PI%dqs{?B6g*WZh*X$fBG5#E;&rYwJN*tsPT%exJ!TY>PUNks`#eS z)jR#R(0Ej2m*lDVPDX8c)Qp+7;v4T;A;?;dc1so1U3K)eCpV!<43C*ImMR6LjSo$8 z-y(JbPPfC!o*hP||I$}Qy!Y9-2D2FMhL~K*2210xlYv!D>xoTST0~-1Nai|`r1aOu zZPo#2vbMg#=)4gxgiK!vQ}Y|genV6;+tp4uUscFZv{V22czZ(p@Jn$sz;elK5nQ|( z4Afa8J&>liSqpk^p5HE$pyLHB_`i2QAH@B8cJtG2lh3u>gTmdsr`Ru82^JrjbNx!x zT1tjr*i_+jB}wXXic(pd#jJfbM~dEYZXc+P2$yo7 z2pg+}hX3Uhqe5?J96bcAPJgZLWF&SM@fvim*Zu(ujRKR%W+3PATe{_S^ph( z+5rAQBJn*eXZuE^6-%p*kO``uI_zL&3!;*S%MYS6B-%kkso7nv!BO*x`vFflXufQ%fB|Vo zAYw?PR?`CaLmWY5^dp4_8@buxZ2h{~v{iE_zaEy(Wbs``Eiz00kD=;iiu zVB_bngs2>6z&HieGQ`NspPJRaAvKK1=HTW|GgQj|yx&|bem@RUc=6-keD(b5V$$fl z78CG$9FAPO~*C?P!HR|{Vb z4y|K*_}+eC4o!G`bgs2inl(iqV>ct>>d45=%lD7GwN(Lpzg+bCkG99FzMs!O)`vgd zu7uO#C^7>M={V4l>-1#5&A&Z8?b*CGvz`6%1rj)Hpd-CC>!<>P;&W`z6mtk**&+RS zpneZ0Qti{K;&A`H{j^a}{UuEqcB|L!Sckg9#TPi&BQ`YK-E6f#67 z0|rr2j!4q96r3wLLP$+z5(+>odpL*04gy6XGY-`zsO0zR6bQH_cu6!ZRn1t#6WrcnJp!A?_$6;L1G_QskuB$X4HLA=*Q#E9=iMrghvqqzknI)bMRa75wbc!BZ&s+>Z z-RRh#W|->a>7Ij(Uei<(D*}lFI)`>7L^V*NX0(X+;3Yy!GWDM|^smBzWYdN>?R^ac zx4Q;Fw)Y`Wo=dmuGoG4mVxH1OEHG+op+a}zTWBMotHvE{+fb2w9#o4BQL=z6hQlH3 z7w-tpTvK|UPbv-_;cSWcq2KzcK7wbnAiW*Jd#9pF zbH^#s3L!Tw>nnoGp&XBi>&ShEsbAihcueZiZI|dRYeY?Tf$X^~#dLN&Fv!f38vo2V zfJ%HULqEgz*VO}-9`<(a3L?;(?_fuimd;*5fUD>Hvm=P6|#})vH{K^A*()#VJBCz~2cx1}%E64WNwv{B>mOPF| zW()tEdOTB~G%=dhEwM~M>-V}fr(riB!-DN&9 z81XdtM-ow>o2Utx<6^Or2)jmcr@C%U%6zBRa!Tj^juX7CAX3C3_R^J|pKt--7GHnY zDd#>eULEjUkWu?@phd@53M@SdKlvcYGX|#wniE`Wr@9(3ZIu)wJXD7!RX1Z$X^bXn zVU<}(;JE7_hwv<%nOZ_#F3t6y-;Yb0I);4_Ews!TWR9{@?5!JZUQ&knu zx910bl`|!ln#|D7$P*Q-anAriQ)Ygnh{yz`{G3%;ZJQ;H1{BpzPs)@gg`6W;V@Pqw zDL(KFwK5P2Cz&h~IFEf_r@&k9#-K?JLbo>JSD#zP8@th>fmd+~zqkswm#wJO{U&Sj zP!qhbH0QP*qPIS8Rs?|Yh`6oIE@#Y&OO{T9TV%G7p=H8XfwKkTBiaI(nGn&;q|8^* zAF-~$Xc>zmJx?=dMiq4VLQqXIB#4in=gSbv6a_g9d*K zdOH*5ZzY5>bGwx3hMbZlENS%~Q3|dly|#60-Ix*=F(x<`#kC4m0%z-DL+B6%U7`q? z2R*(DnGgPbas|pc3>yQ4znnuhao;`}1 zH|BN)&;67lRLoxN@9`I8j2*%LrEKLZs*B}Wk47d*xjw7G;+u{&W} z-(2B_!mxSe@YPbgJC9?km^}O!9lW8HU4czsgWVa6V0H9w4q!cR-6}EamM=5pXP{~a zUTdt)UJ*8bb_fGNs9_AAUgeP`xzQ~(-jKyNjM4AeM~sO?1gDL$$SS3k;oZN;B}qc3 zCrU(V=%^Wg<0vc3?Ms2SX=n-_=p2b$NCB~&E@ze4L(r+Mv$^*r1D7Eckj$U_&xPD> zd=f{-TlAs-GwE((TK8UKu)NFkK2#M2wv?HD_yp(^42*S+X46+z`s4?vwo?s@mK>ZAL_E2KY((_vjbfq#S2M#r4XYZ|4{9SX&+ElZLIXnNXP4h zx|xZb<70$wxC-&mh!1);#@ydieSn}erm(x@eqjWAI;GcR(>r|#jU>Rvp{b+6>2KuT zsN8jPYjXvc-_B7@1}Hn`1EPHf^|gr|wdGW}-)v(p9AqzsdpJFzPFY0V&ZBnO*g2`! zNLH8wd0>VnhyG3=N)-U~S)qLWMB>TAoNk=`$hXGQfq()7zojP9gB%0@PW4~_sRil1 zYNcibfdeLAuX>lGd@a3@E>;&*pn_zrB>j`plS(qLde~DLLUm#L_H!b-{E@251Y!*6 z6;Yf%wqL!4u@?x`$wSCQS800C45Q;p$=dGj?Gbh~muxvQ-URV6_kWJSh7V;K-2XSa zNa7Y0Z-=3$&5+|$$U1Ib5=_2IQ@~u2PHs_Ro;KnRi91>x8?6CB?bql@unIx#y zqwnd_?b5PWh(g+-8KC08qH2lEB*1D9?nw<&OviG(hbz;SGLZ`L=*#lcEP znz2YBH8eLVuoz&mD=t{DKnjV^OmiA3_~B8WX1}cfXffTJI3tiR>} z^_m2ScI=cJ6uO?-0RD;F+06dz)g&WZj zZmOFfWcpSbLJaUhSk>&L>{$`4pg|7qC)uj&#qjo-tF8D6IzZSC(DkOXL8DCm#8HWS zf?!L?v@y}p&9*cph_x$=-1r~jaBA9YSKcKX{BBLr+7+`LrTK&qiv|C(HO34owvoUY zoU}et(M2`Xn7aXfS1!X#(nbDHlD#6GE37REOqGD2U>pGRmS0HxC$lZ#Ecg~6PJTGr zcVpKN$7gJ2nKVvMd_!xGlN(}v5s0vF#_YPF0Rr8&cB(Lp$#->dO;~G#r<(0b^@oE>*TwLx*n7IIDS!GOPmp{!{rI* zpM7aa=)F9Rr`?%FTO59!OT9|~#JP%&HGFF^pq<-2E^zP<7Uw+v4|5Q<_?-zXYXmOU z_PZZR<_0iX(@vW(rCb1gb5%6J@c6X{+Ve=9JD`%=jrMtJC8ngJ6Y9(HlqjTUeuqQQ z`<$smBOCY~D@!Y?SX_f@nv}ehAVr;P)D#^WA2QJt7-mj00L~$0<0# zlmKV61Oblo%bYtqQ5}N*>BbMMR$z!+Y_h9W`y=v#zUN{h8(=l)pEhG0HdLfsA3Kg1 z!b8U0(T*6nl~*PKtL`4OB>)7pjAatO)Ied2tH`oe#>)gAq^!Xn$5-Tz zXYC3(WZ=rlT)@}uywnC*-A9l?P#`IPdYwX$BsZ^^8vaCd*M0(g#o4)KHps(WgqIsI z9(q`EZoKAiF+#39PBPI8)XT)6{UE!d^S)c&I?<}by*bTtCs@o&DP$9B zhQl1(tS0M7(oB$nZn|TlYTwIWpx8Qx)Q6>(dOm_o>ljr@)#U);1t{U6T}Z>8dF0x`OW3KhTqdp$=g`&- z)K6dq8mjt|WYi($&ze|TjsHILtqS$KP)W031?Q-sShm~TMG5h*%}kGQo#W%N zl-chHkS*q@G3Wlm81u&qc}N-pQB5Ry$dr^9WRz}4rSdPt3I#dH;Cxb_pO%d?CSSL?@y!lzL1i*~f!yUj z9#Jm1)RQzkCpIz3vh0>GZ^R>OjpXvkQSMj3>Ws(H@F?dcYg7UZ3g496-*Fj6m{d$I z5I=yJD0{2leES!=Wj{85Xa+uuc*mi`rVmIuC)=uuVho=Okkl#N$>7IfYwl>GuuB}? z+{cl^SGw6Cj6X4d6KD8OQh?C|pV^wV5^jvfOOanI2cruhV04}7mmoa-eIGYxd{(j} zbc~$X4}EeL<`!xf&ysnJU?DilhKHsFxCJU1ut$#+N6u}!S>n6$u^v!uiVABg&F_EJ z2-g4BjsSjxKp~QzA5=~Ga0Zf1c{dOuOCd^U_B-|!GsY2Wagu)7X^>sOn8sQVXc(voZ4 zuHS6yw`($;(ukAijweMMcRor1-M>GrzPHaO*D*>P-B>^Z_5+*)5Jj4(Qa0B!Z|&;? z%ot#z(&mS~I2>U}$OaPnZ)NYNuZ%;yCeo3PgG2%_YjMS46#+vhXhfK)rB1?=FMD9A z6`xMrW<^`q7svVKuU<6AeY$OBVL~BHv)5XcKG$%L&9&VDFaV9}UBiJ3oo!s6ecH7p z1iRS)u8m-l(DBgicgH^;$xx>23wB#gjdx)cpNemu-VjJ7Jh8ENNR3}hzX`8y#W6q- z=8nhDn%Wd*bpdu06uPyq7?;PQj56JNH!J*pR({t3e{cuL{S+p->UT;H`1=YVTQR{kxb5@$ulF!b_nhZ(Wf zo=*esO{(JKSCmfpSaR*CbK8}^;j5~>iIcTRzRWbR*l)g`q=LnnDg28m1eHnI@54_q zkMPviSmz*VQWGLz$6x~vB0MB)Njj7Tt{{>C(?~{;KLRuslm|T4AFUXr*F+H_&`@(T zO*qwviU4E~NQXh;&reozZg(WHjK%^bNS6865^kZ`A&b_u-y6t%pqD2B(DveP8qMDw zuc;jx+im$XceD7j{p)y)O}}iCkc#>;u#r`P3ZK`Ty!a|)vdSNFjp9WKBYjS60x8gg z#O;`l7w1of*o&71<*G54A)l(#fLbRKs4u4*Tmg+xFPSeD8sJ6X^XPTucfvv?+d>)K zOH9)nh*(J=$X8bJupmb|z)^arF&|UIVSa@5#vfpUL4Ev6S9|A+laG!3bQoa$Yd%b% z@)QyAAO(Sp283nE;Xq!{M2+Y1P00F;ZBiqC6iLuY`q?KG0}W|Z{(BVGn#BK-izMyu z3_wDdA(i_mPbnu9ZLLHkj19A968Sy+fh!0Y2%}U0M8YCHB}%i*Dj%;LI6cO{Ye>uH z{D7y0PHIzxCI8D`C;q|(|MRdrS-o4lhdF3!p*d>PYm8Z&5hVgs5|cO_YB061={EQp~H{aZ`rSr{;?nm*}S1+g}*#5$>Jg2K*bk z;HJzPpzr(o9{g6Y)0tMaxI9>gH6|HVM8x*W`T4kClfUuD9D%h+We|#mi zRE);6RLrM~QlKmXfz)}Q+wB*;(g(c@BsjV|4HsoapBq=A`@P-{zd}pYpV57;59b$& za_Bb+ulM&9s*QFL68S|i!j*eX+zVOxw6wJ;Cb;-<8zd;EE(D2*xi8~s1;C|E3leuc z2h#9UGswYE*Q>*^kGL`PVNz$qLuXcJ8Ow#Qx}622|9%5>0=Ij!3N`E*YI)(}zJpJn zu$424z&9JzXxrd1=ZrUc3q-g*sKUwCiZnR5&vo-jY=?P$NvHqr*`6DuTodm%zftWn>G>=;G3uM^s7l0Ml|CgT{MO*|}q@R71QIv5ZPlh2}Ip4e=VVOUuieb*5 zE=c?gUZ&7R*1EtyvpfS9340hpfBZ4kV#7;8d@*J0z?S~Kv1<%|I_oWGeW^R%c~-3l zOu58>)&q;v%F!>?(9(!!GXCi5TtS3z1TP6U3#5iv&eGk|O6K*5E+l!kITGEuOV4_Z zTEkBJRz87LeRU9f!0|pK{ljZd<^uwt9aGPl-*CiVFU;{;Ex22u0+T`l z8(J|xjy+$>YuS|-pqsPF0Ro3gmN^}27I=fC#&R8-06OV?>!d;A(EdC-$npB1Kf_J9yHn}0-shd z(T9&PiwcFiI}@%Hn7B8CwTZgbviWU8d)msNCF9)7n-29|s?pXJF|(4|7iuK^@q~pB zm|l6*q=FHEx?j?V>B@Mi%10k!*(C$f%?vmCi|+S_^ZsKsz%>F;xWz5sDKtaLvdTCB z21;g-!4Rh*uK5l`Xk0()6moJ9+@7|SF#Bjpad5sZ0ro;@IpOdN{xHTmxmE#UGA!Cr zk?2bsN5iBFtpTd|A$wI?Q-_-F=EuP*^V3g0csyJH**;PzXade``xgw+!{JdqZ=)sY zzbYxKLXJdqe?^!Q{k6l4@8SUWVaP|14d}eaK+hvsPxu&|xROGd7V=}vQmb{*3vH(9 zuka4E1Y*g!t2=xTZd&@=pvZsr@H0Q%%cwxMWG&Ki`gVL=(Y96EmNefl1KXJ3d*6J8w=<(YUzg*Ee?8h9!IM*qI^yh2Fem=3DU=w% zB4xQM+p|GXhPBUE6fzgbEvSzR3E>g<>p3OV!4VxMXo#b+<5|-2j*6H-;%v5_p#vvc zPC&&au!c8Hfys+xS{qOnZmY0G1cHiERnqz3&r3%MHBF1s?QE- z|1eH~p7`)hDZ)PVE`tf_hI5PH)Jsl;tT=c(kjJS&g1}a#aO8ObqlXSF)`MR2`?%Pp z82)7a+pEaG4C@YybD~>bv3POhxE_9`j^qN=piABoXN%wi<&ie z?Us+ZXKd_S>`sYGcH;Pthrj6;c}uFAtb1xnt~*6>n$&Adru3eOb&E3z*2`heyMYXR z|IMxmRu4m~jSfg1Jn_n<#it^DsrI_2iqNFLntJ&l>UYDeQz-e8($Nnv^wC91D!=tV z%FOW}WlppP!GWN{AP7Ru#cQWH=p+LhqK`7&D6ticd@ZdIHtGB`KUGJg@UZ>^W31>u zmb&ct56k=?mdXhP0+OUg{|V$KL$gGbEc1{nghty>+y~L?v=%AG*6V}v2e|xcZ6sCE z4iqKT)C=VQN_|^Pyg=HJi0I}MP+GxIHm=GR>hkyWn7Ngxxo@nvWiH4jen2N2OwRtp zB}V^$++s8c6C7d9x`jN^@Y2i6b$e`krXLezxgq>;6Gcb{JPe zuXaPCGYZj2N@b;gq}8-5)N<~YfmurHed)VAjzEmqf$6qOsbm$`I^Oxz#~)%MI2Kcj zcAf(JT48^s`_g?1h^DaL(1E&Oiz?CJq%XjfwZ=#d#=#m5tgB(qRWnz(3f z`47!unld3ri)ahPCq01V(2d0OwZ#cAdKvEYosNf2n9X#PguJB5EwYY0nxr1uNQdY=Qpw#(S?}(zsX?q^|J+MSO29kuUjuM5^Oyqz&F8?+PhjfoD9ycseRhO8cr^QC<0Ctzc zp_S-c`w)siK8(9YNGzp{UkaxfB%rayRDu8*Xke;qT4?i3x!M>+k+F)$rAnlSp7>~6 z<5M?}hMa7038vfHQf1GRbmGfvhpxK98A67$95-p0W<8=}5GY-5j(&jzklZYx4yVQ^%KOMY>I#e%%D)Vu)W`);3Z&V6 zbovw^MVV3xu@c^3se*9h8Y_xzw|RWfK9{e92n){0ESyc0Al#SFl*QL2=tBc zB3qca_ab=HgL{cXZ^5I19tR26(0s1mJfTR>dzJLt7g**4t= z6eTuYfqNP9Lgj4?l1|Hu&@lCVhT<3(>@}Zfg5R7{1FF>>nG~nYhJ!L1 zXRtl&I0EM@9+G*4-YhBO3hKD=ByWJsK}Mom_$wOjDb>iATSdv^9MeF zyn>n$$cdGWNfl`BY-8jIU}OI9fdi3>O571>1h%vTNf?2Fd;o5+1whFJ{C}4E7V+T& zFCrB{8VCY9zBx?+#_j+GAlOLV-5$sapf&mnDBC%KnT(B`-rPWtxg`il_m(1VXYcN4 zX>I}jvj#g8)1Q_8WQ#Ea1K~0YFVgfV761 z`k$}rK+qe1b4Gxo`kVhxowvY0=?aqSqUt)zlB_I$_5ff7xBwlUEdP}KFK*Ot%m9B= zdrLKQw6p!I0D#s447TTEVR3bJWj1$q0yEn=nlszm{KZe*!qN%gYJcZw4S0KX1lj=q z62=*1`X(pX0{E{5{u~NG-qHjJasvKIlCt}k)Amiux1={a_}|3dgaH3p)8=2{04E^u zKgw7bIsKI@udFN&ur;y-fq@_+kjYyh*a+GR>wlk^5y;ue;~(1m=eAAkKu(rUV5fhr2n3i}+5rEsclvW? zmY~0E3Zja#Qj%)wO!9Ay2VzpNds7F*40Z$m75!&DQ3-iI0M7?504pyC;KN&!N`g$q z?QCt|SUVy9kx#<%O((FOqdUw0)7RD@J6DkB|7$n11eu!sQGedl*`7rMWa;1xl$H3O z=r4h&{+L<+nBQdZ_O!RN2bdYzI03ya&46z&h@MVH zEq%UY5!Z&|Bf@VwX|{nkI4Uu&;tJ9 zN~>t+XlrEiUp`AGDN8q?sj?;5#NuDV{>v^4HhSxQQINR}@a<6kGHLu7C!4pveY<-s z|6E-FCRT3F|MI=Hq=_{M=;Q?8;P}f0e3Rk72)}9nhkq`BMOIWsK~0(A|LK{(!X!Z^ zcBYmfa{wDB7r@BT(a0U~!&@V;adHAYS>Jlv6zKL>rvO-(L3ZG`6o9=m*c)JG=ZN^{ zG`ZOTEHZyg|3Vx97P-F>7l1|n--w4Dz@qkV#LEp}G5QSpEaPm9zaDvVH)tfc^pBYT5k_Io_B$ zINQBVxUr25(Ci;IIe7l|IQ}Oc*0=hO|A24xo&Ki(=5(@j`-l5&KYu54zR>}@{)55W zP_a1w4cXrKx&H&c?cC#U?cO+f03H98{htk?{D0>{{A<=f{M{k{^Q8C-tAQQutbtmV zrf*Nle}pI)fgLT~^gg@|D(jp5?c;yHGx(1JRDa(w|Hu{-vvc!g;&>C4iTwl5n`j@n z|LDQt{U5m||GKpQx+LCO`G4`B8xsHox&ciP7w7Cu_=BvH>p}{BB(o=qV5oSRPfBow zw14Gdp%+spT8Qu^vbNp>g>(EH{L-j%?Br$m415y(L3!F#K{z%qYmEt|vjX$lK|MQ!it4&^d`>g01wr8UJikpeV^kHmRf+8-j>#$GWlliuqW zHLd)Bam}4!t;cq>!E{?dCu}8Jm}rFrzkfbpM@JZSi7wJl8~zNz9hQT&?`+4~FZpDF z$-@p$`c6KX51lDm3Te@~^jH@`&DKsJ0~)#~Azuwg^K26S(8m=Teb?@+4^XI`gKD%R zeuPzw-bD60H9{A0r#c@geTj2OsU*p5J4PK4(%Ndt_|-n@_3<->HtSshZ*#BB7k}@D zJFK6xyu1kooSq7^B1tcujtW{A;=G~8LtGbw0qY2A-x~(c_lNhVuqgO%?t7>nTgiiU zNVwk@?_Ub9m_u~?b2(FSg);eE0?SETwkIc+FuIm!){Jmdry!xFPE8md)@|dG*@H}t zClT>Rf3(}T5J{eeuRD(DJy=4XqJR39tb9nFmuP_6io`?UzLs!fYA4J@e;p!C5{qC@ zG=)b>G%&Jm%--uOfGj;X%qXV_`rNNL;e|HwjphhFR6fl*22Hr9YpDR9qFa^Vdod5I z)R#?b%6EC+&h)?PT~qx^qfD6rFd;@_;^u7PJ8K;)4^XB)j09Q}k)+Adj(;55|0=6> z=GikYPaxhC|KQx4_a0r>5ux|FMqj#U-_eFZ=x9KkkB@5kT4OMp8$>u|dQfo7`;v zZm%-eOHwI!jU0m7HG25P9d+;!YaHfRB3p77Wv5`(P3UN>QK>p( zlwRrrTm`cI#VOP#JK(s^kcSZwNl69ri&(2((fv*zoCRQ6X02&|cYoT_^4Fr$ISk6@ zPD}`3tG*MSdc_8^fZ7yL?&HazhAr zWMUG;<)-uFFJG2>2+p=zi%_Gt3pR)S-;?PRV$TqcvI@EhF!W|*HT|lnUnonV8Z5v= z>0f!*+crlr!D{Y5l&ni zzIZHr%H1^D!GFdOM#oIo(&X!)F$` z7kHNliLW{caa8iD<4Xnxy7;@Lqhe>w1Lddgp7*W0^M5140o=Tw4Y|+pq1fw|7>S;H zwnZ$YKV6KC_@56is`0tl06wV6+f}$Q*9F1)dXIJ(HCiY0oyjNGxm;p&8ei%Z#yG&-#UedhIV2(8RMlRVwTNOk2P zCOGNZkG9U;Pf=D+TN%H@&OL<`@|)R+TYspG+cKblEsXKL-zk$k{kV)9*%U={oSwre zIzN#ys0w{oB^Y|l)xvC*Z$Y|C4H>UzJ`ZP7qlOCZGxw}UU2??P)5-#>MPYE5 zo|{GNI)(5Y*SUQ>{5|SBJgH>M!XIAO$;r8G7VQZ(k=*f-;G*=S2EUmLg?|(JX7^Jp z^?REBa4%V#7;blQwEEe&?>CpIh@&tY0Zi8d^#|hHnYADeB=W;Pq{(08KKhK1$@d8} zWE3)&ZIz`YJJb_CRHHHFG)angxsX3M`6cFhpw6a~E!@dAvwhB{ zt$F4)fWgu`lXUWI3)`4mK7TOKV?BPw*=@RIwxk*>c(4VMIVd-N20m#SQs%_qF&$l{ zt%y{Q(H6Gfp$0$g?~m8+TX4W8BxDjzg&9K@GB9vAPGB~)=%aBcQ}Wwac=%?(IyxxQ z?+c0YE^eywS4s3o8D|!|Db1TW4kh3{nqS7{Le8G>6<}^8z-l0|JAb>eC$fvrF8jh* z3mQg?eC0rcijcEdJA?IOYowu}BeaWz5oWG_48QE1JKL>lS;tp#@BXT!s3G|p`_mos z7G;AO;r7=&m?a(GR;ykiz@lw!LQJYkmRfandU}^n8!A(B!N<+JCTRQ_qeh(U)Vyp~=hh=?|0wil(7c(<9%h?SCejG2;QXIGNRSI}>1q zuB$VPH65`?HNlEsc`_oL++_5*6isq#Z2J3qGI1zZ@UKbXqf^}jJ$VIlMtLJ)WN`P_ zqiJgb8%M%zx1Xl0V*=u{e^=iQN*aaeea>e4+=u2Y+cZzw#}F&`NeYiCORIFX|i` z_I{TwU7@Vq5&BY$G0N~G$xbmF<;JYm;Nw!@l80G;{r8nic$iRG@pbafyWu!;R0+bfkn$cq`(v^D(X6J1)X`zm1PnK&n7W6X zBquc57k}A+ZwMMbaWt2(bA1BVgu$a$JhYL-gc|r?vlkGN<8*mC#W{66%6 zn_}ox)JBBQbADG>UCO?{^KxP}uNwCLiOhl66#I%K5NH044YcxT%6RJfDdR?(N?S4+ zS+`<+U?|^aNofhIkpxNYnh1^c^mccc>oQ#h6R8`Uoy;S)=1%6@*5jn4%RLc^MdXqJ z7k{<}RN~D~k~WNi?{s`~!<0DUf0K_$A}ylP{d0*pPQ+>UQAXc1W5ajh6)we zdqjrCj|D#$KHS>IxHUDuFw0#7>7mteIDZ{@okXC1_tyov<|Zx;s!c5xNQJ6e`N0;M zx30}j0TxFA5euWi!zfAt3L%^E<|Mh=dO6Mu^0c`wKXr=h1?nIW?OOcsK*}(v-;GELdX#N24${@$M`I-Ks)`}fi(V!8uRfc@R zJ-^6r@g5#Gmz&y<8}=bzDpUc|s2`Fr?I0^-SSYx;+%*x-uPJh~m*g{-609S>WpK*B z07#i{-y;pzcst>nj)@7chd=PPgMV=4lA1J29Cp@db!jNzVFq0IbJl4ZP=FUAJA6Jr zWVIpL;3@D{

U4x(v_3^h}A{B3W!{$oH|+)5{vS3RwbPXK35en&P62F&^*m1C3_r zSI%=Eh{LETw|FBLQy~~t=*6re)Cb@FIAJFp_&pm2G5s!hv)DZ_!4EY+?te<1xXCO` zGAl7=~V^O z{4OaK*s+p1NRq5{jvYGPd;TAW3Salqpa0Zustjsvy2(sA2^lA?dOm}Lv)w- zTjBFxQxF^XUU4I*BjyENdDH1Qh@Ip$TTMwx1 z=|c}?85XW{1!h}+PMa72NznyX!&z}ca41S1E%f7b0Ze58(^ zt8c~itKJk(g#V)RR(}lXMAhx;{4Zq zmq2pH$T4iM2&Q~F(MKz-K_EsJ7t2`?5&*u=)i!qk)JQaMG=B%3fJrL2p?WZ8LExUm zO(uUS@s*q6azXHpz%@FZ%I&BWKFk{y;)*x}v9X=?y7DN=~n_ z;~T6Lr*chP?1jxb-bO~lRc-6*Zpz&j9gAlzs`A##rhj3ETpm^m@Xt`;&&qkhpY<=H z_xzYkq_Q~agB(w(F;JeHkNRZS6YM(Tn|Fq3J)p)D;+;Y$K|K<3?dyZN$+57(g>5^- z1s2n)rJabHiWcC_tTaZAWmv!PoRCFyx83;Mdjf%p0m}=Y4E~GFPb*z%u8>I?I}@J$ zkv}t*4u3@6)8RjketNm0-Zrm4xmn+m@7;7s{ocAZXr|XbK(hSQ)QqeCm^*YV3FgvX znBhBzEE#zhbQ(C<2(j9MA}A%~>Iu6J9bF>+o0f1*^094p&^^y2x^`q__L)rac}ITg zJ@zW`N3O#uGm2Rhcd{=jJtr!oCrK(lAt|Wo}y9NLD;rrwb_Z zBjfeh9jNwZpb)az^`D4SyPYe2H3!<&goyA~FG|?j(R7Wqnt&m*{U7(QAUap*#+Awj zWLOCgaBJBrkJ{!F6+IJ0+fK*OLKFB50DnC*>z{l_jN00lC_`!W01YRU6<0OH0pUr7 zFDG<2F{i<9Dx;pLiIVQRAY=S+Q~tx(*W0x7{ob>JyH%=HZ*PI}kIq(cV1=@PWuN}A zy3`JYbKdRI5o@#r|Jt>X#n?T{VzSu8|I?blhJErR(u^O;U4O=E>(Tlf7OhK7kbjN_ zUFMyeU~$NYZsu1N^=%#AXr}k%4u*wKcePZE@4&tOKOyvMaqy5%Sdv7)!*zNw`#BvL z{5Z>K@-*$aZK7fyHe zX6>qMQLrXZP~m_g#N4Kg3BUEDShbM%NAGTjK=WRPK)VkwLtsD)0v*NE6B(cER;BFu zZvIgj`FN+tv5eAkJGoV2$__lyp{z81uWd?n`dVr(qkh(=C6G3A%Ri+2w0}qc{-zj8 zaov3(;pMLc|K-iEMkW)->TI&OR8i0K zYGtEDY6RA-m)~`7sp`Xup49B}Zn2rYR|(@?(PY3$^(u$y7Ll5!yg`CcHZJUEB>CLq zBE1*(zgDViRU(Z%wm|ERD1U`|+9`uCBI&XuHSf2^`Q=TL&ArX)0{itLDC$Wh?UZ@l zBGzxzQ(yVgePiGeD>0kNQ~i+37bYXRn#bkE_GbCECxrEr9E%QVT|;Tu(!a$sG+yCx zAr?J(5kxF3Z}181J4S{QG>V6zvaw*uvTV&*3asYF*(sQb$9Q=GuYYbBB_T%F^-6|g z%=w&P$c~HGjwwXjox0r`_CEuqq{hc!W_Rn(IeYcUd!j==@e}b?X3=k>YiCAu#sX6zOx&3O2VJc&*2Mg$&$i6V$rn; z^Q<&Wq({RFIJ}JI1FK37Tjk*|+}fI19w~(NXN757`&(tUxqrPTwUY|W(xfGl%y|!` z9Lf8816?ZO(!D>1TjkR3(7&w0@Xf9krb$EuWqd|TLSG=k z$99dZ)WL&=sPhpCqQ+H@o$P}?EFvWoXGVFe%)YSW%g-e5_#0$2RPNk$W@EqM6o!5M z)uj45e}9R^axOdEoli#Je$Mc$#Q=HX+1!MR-YnZnTr!zaYj!JLh!sX(B5e4OvAHLe z^MuYaHdx;!w81j@oy~!x)+o6LV|y!obsDuE$r?3Q2bS|_^<4|rIr{i>c4p9`o_D(- zjrIiHi!Es{y)#tjLKR1ln{#G;bFgq$H9jHfSMDu;JXOku5)dunlL zXMaTvEJUN*o3+hE!GyF|8Jy%hl3UbCvb;VTN*Y$N74;0s1Qls%e1>*{hgvGc5y;{u>E~1|-W$#)RBdi$8!K(sN?v#_pcupgwPSp zt6O{p36#-cI+yOl)A#qz@QNipd_osx#dE&1Jbq>3V#JhlSet|LIz0XmsaO#$dev3z zNus!;cR^~>@d@{W$&vVWalVm+hJU`6fQz3sN;^F_oy+3xX@^YlwtyHdqdisroU(Hc zX4*TjmVl&rCB!OV+hSuz0WGku-MmuQi20kEmTS@^SFgk@x`z)Ktl_;0Q?(>wTcDp+ z-vzRG*a?aKMX`*+*JQIC6-xysrQB2$0{?WkUJrq7WSg)P?^L)vpub2|oqspmQ*A&+ zNB?{h*-k^DN^Z@!`_I$ z!Sq5jup3oPd}<8XS%IE=)2+mDY)K{45mt9C>~nXyC1F&qdGm#Xudd*yO#@l>RgnA> z1&=^3GM0|RrB4V`U})ap<$r|X-A(b2?VknM=FUM)RZG-p8H>)va;249q4W?>Fl$@( zLBVpQb!JQjM|^JXBm%@HS#^&&c-dTA-fWfRhzyRU@>aCjv(>-D!C5ahF#?m zSnp*A5^}F;N$U z11s^i6ssqO=C zCDYC|^fZGWO_@@CL*dNj4vvR@S-9|8lQoo-p>Lh~Gjerq)dW*zWVvdvN&1fRK=1_Q zS;^neS8n+UjCT&cg!7HDz?P0@7`ss)@Em5S!I>iS)#2^=Z2gnQyhBl57qU4P8g%$6@(xR;&MZPxEV^|#s{ zVw9tjwii?f{-3EA=alAlYi{)hHU;;gk6vWHo_=PJ6p#t#3h=KU)E}cF{W?kn*hrTU zuzW8oj`UlkpQ3uk(kwiYH=>lOEHeFzRfjf<%M%=!ssfQ(h)PkDnDux0u}X`aem_j! z(bCtjK7T3eA#nX&p96%0|75uEyBB8P9n5d64tk>U9Yh7Z#B>C7;*{A`(+b@12Qhz^`i^MjD$TsA&^q{*uIz+d-u7)I1 zC&R@XEs6L-{DG+66`iV={LTmT-ggk2yraUt<>4ss^hRBd>k*MU=W1`O&u}g zpnvblL%1sI(lMZ!_J~Zpdh5QnWJ&tLRe;u-r~vsQ5fVgik4eoj`&0TCk1o62L4D3xQEO&V!azfEFH1C-YN=VpVP!48tef2dH z48u40(r)<0q8myO5v`_fA@ls)(M9~@=j10C2$IdsN8p@h{4rKa-#|xgLjv)Y_+KwiJHUvNgraMR3xl$1Qm6 zMMz5<_J>L#r`xWrI@#6^h_Jc43{qJyQt|~w>SFR`agWY)ONi@o?;>uv()ght#40>x zFHe4!oDsjt@G_OlKvU$RkA1pG)qfYyr+N2DkK*vxvlwGi+EYW12ZH@~b{kE!2hO{1 z;4de4@{h#bKS?ER+ddNxcImP0C)1Q%o6_A(pX}oDbleUT=Ihh>o|0whjGT!C8R;l* zmPk;~})3^+% zAJzcR%KWr`cHvr~D(=xRcV4B{Z|HN4qU;d~h=tY}wS6-_HRX;%qtbukewHrL_H0FuMx9B(iS6hxx4P@cj5yHG(9kiXRbu+6b%&3aI1)#utTV)BSCBW2sVEA z=D9^V*A>FY*!(sPdqr~350z%YSwM0HPk|k0)YG2pIh_J zD#?UcCAC5jzrj+a&o5k6&t0?E&Y6_dyD8sm|6oGwju(?7M(YyOz`)cf-@1svbTqa? zL@CG48P~S#v~xz24y~*1?sBzNSfh;ErbyFHwo4F~C#w(SSik~z>-?6%jD3%^v1sq< zJsfIa4ZZ%AY<~c5wf{VCL4|*MWbHK}1-qv%bK>gyd0VgI9uPUH+FKZe&)&=aS|&3XzVKoerHrCof0djn-#pox|52mu;eezlcr2nxAU0@k zEQopeV7Ec`irbevgRJe=s=Q2PqF{91HM~RohReZPuYd5tE>_xVdsUStb8J-LBgOrP zWO2v}q0(_c90AxWA>aK}gwU^PJzahimJaivG$@LvM`2EOsGS!;bYHYT;{CHlF3t(9 z+(P)C%M+`L9rX^?=(SNqI4EyE$NhzmZzdBvuKMj3EQ2fxGsaW8m{#EtxJkv3hAAu@ z>bV0zs((>8*XZivppn2IV$e*#L^M;G*li=UQ3j4z|E%%bb-vxne)vWDzC4m@`?~*2 z#K-ENESsS_FoL&$g_KUns8XI{g6^mIZB4@zi*28MCxT-`s}>!%oT;$YO4dh8Hue{0 z@p2LaQ5_Mh%Pzol>@nU29kba|iB^OWNN=OmyMJ3#z)_imnLVa;$br=)YAK8f4Vifd z>eZz}7Wt~G*HZNIQ50cQ`{Fc51N2mT5@xcDIC~-eLfQpUPhpYb8|=M$DMI~=1U4|e z=Q;MkOn@~O!5xQ?Y5Sdb1w(~joUM@SO;JO*w*dWvEWtIe_2hbj#!oJ7`{0CXR%FFM zzJCo}?9scY$#z>?Ie9XzN|U%|cpMBdc8Rk@oCZxFv$5+8y$K@A+VwM^SS}@^@g(0< zhM+Y8US~L_b~{{s=i_KZlh}$~SQxA;9Ut2)vioaMOH=}D0ugfc>ry$K_ZkG@NFm=x z>&q1PQKYUaiTcI-3DEkO50%81>2M6LKqOuCA2ww#$|1Bwfpt?lP+x!?P=4c^>Lp zm3=oKDud|8xHL6-NJqgcGEmUc01dP^Etf*;L*#Xb`XEBM>vLmimPul1MMCViy3;Id zd}}NFT_XMjM`^s@opd}rDox-s1b?*WNQWl0Gn?0$CDrh|v|GI!+pgFXv^+~xg}EYh zHpp=-^DS$qQpickENhv9Z)=caW+d7t|4e3m&RW)im*mYM_i-@Sa$%5+)_{K+u=%k` zO;tc8M#g-e;fyG9!}iu{(2d^rHxur|QWE9r-e1wk>{5Sof>OTC$K~q@CYAr339}{kpU0(qLumWN(c6yMbS~z{;l&U8u(2=9q{)*Bo*k4SdGv=W0%;l%IA{P}s z;Ai37a?vwAztM~(?ydY(+W+Lb^|jKmJniYFj2HFH2$4R%CRFezfPV`Wy^+2J72DNY z6c3SlNM|)~0^=_8OatYHQC!u3!ZR;42tww;dZwJYD6hs#!`M#WG<3#4^PNCET@`sr z4R;OjSpK(4*KIjg`0GvN)~^yr)~0-dMw*cGZwcuUf&rWI+s-#jR5o??K&tF#Jp^lJ z*S$PL%HtSj;@J$;M}H;3=KNV?D#yn6Jc+_tDo*Bh2AsWj!&i{*_?>6Z7nIKgsAXXi z_kAPnhWUu-w93By+tY+`E=S}Duq(#0yG>+2t*BCHHH%vvB4!syj$6I2GW~vWZmN8b zBR0dHT_?0S`CYz08+>a&VYjx^$}ESg%KEKp7lkWM$-mhV=6nA;q;g*Qw02iEi{s^m(qL3Qsgz2o^@_4w}+7=S_|mLP@5vu zx4Mgu5b25j_J669O^;Wxx3_pUKJZs$a#y}v!qPIi5lo2$nX}Z7xETJ|2tTNMdY5~- z6LY8qv+;Cn{%nf~Xh z-$n;o)+4%I^r`x}gZ-aa&5`xaFxVcLaSU(W({75r%KYS&3cqLter9hyE+J_&%lN9% zCcC%Q<%Q}tNrGD*@e=R!bbk5yu8loMz1RT1mqYvYz6e#wjp{zHn1g0Bu9c)GclXsd z)Vc}jG=Er}MbdoPt(!b?BVL*nwwIKm>(el1C8i19-2rF?9{Xn56#04KJux%~z+bGR z5k0ys$%*Ne1{J|>H6U(?M+b~XKoHloZh-d;!yFfHxo2~Fx7yH$Pn_s_cbEOl^2;vyQDr8NPZqb^C5J@F2&)!+?WOlW08nQb|^~~94=`Qn( zuEDo0DpH1;i$Vhfv?s{@5g z=W)ffR=j-#{r~)mR7WGex2f}=-?0BtE$UiGw2H=?htwS38{IW{x=dcG8+NjhEz@Ac$8gcn6>>z8KR zT5{%X8Mdw5Z5;3A9c&n=1q3pQG;1}l^yV{pFdjYcLMJ=N<&1z0r!Bxwogs=sH-Ba< z$*o<&?!2F&XZjuU4e6I)8oOYV0u(~O%zx|np1!{h@=}vo@_`e)yuiZU4Cl&y`l0@@ zGuoAHs9tegH>gDgx43kFxFwa6c^pqa;4(}tm=wH(95vICFtH0tNGWB?rU=<9lAENK zeP1`6y|{nms@GJuw?)gjux<)Gw|_vk&G0%$5WU~F`$P$=?7!%Y#R-I&Rh=MY4YC+u zocgjFk^(_U3~pafRK$wKbaad5P^$$fJP@Y|4DoGW5o3I77dD1Y;B3Aj(lpEawW3b= zi?;NMJto45tt7cE<4|1IqXX0;p*ULjZ6Ewt4iwAs%tm-ew0(wu#hM$wV}Gxx^5ID~ zsQZNyyf>&ukHPW^f}KIoFHv#tM7)fq;5@?t5z9i5RFCVI`ox&n-oExl69$)aq7q0W z-f~Tz+rEqW);1#&V!XJundt)mU4keM#Fv05wZ z&`~B2_Y})rfx4{}AdYw7Vwp1OQxZ;##l$dF_QP2Lx($~}hQhyJ4U4V&7IK4x^;E-vQy?@o|sl1e4sJm1`CB8j8iYE-Jv1x@1 zQ!^X0gySmb64b=}Im+x&@(g*rt1P=_$Jf4zN%u7Kao0fq1OxQ?tgip#`99?-m;=AFUflCm^Oh`x2kIz9f_~-;EnV?Mm** zo<}e$LqIScFlgC>C3l1|=%N{DxqfG28}#UuK6?|^q%3fHS?J(91E{fjGZw1v&h#+w zw%IXBPGLtKk@TVHy{o0pnv)8!UG)Y>nzLmfj!dY7pVI2MvF`cNljGl4a za04xF-B2LtOE&RApc8zc-FCvg+=k(|)O=bA#xCmL=GIYyd=-#*M#0tFw zVKIL->zQ>&DhWNp3)5JM_a4XU$?)Nzsg#P$H*XfVk6ZO>h@-ZxY;RC1^xLr8S(bMD zMGDXoVTn5yNU!n#a*Q2z8;7%Wt-Mryi)0k4YJZ-|b=b6oydF^Y)STuUdUJ<)ty;@G zL&42>;W%S$ogm8Wbzjvh@pW&mAThp|u9J4XAU5DWjYXrfs2B;mpKXw{J7raN-ZL&5 z+y2O&l49FZMow08ObLtY7Y}k@?)RUeJcxL-u}oL&>l+3WIs987iif7?S#Tjz;f;exMt4egTV<;~tXEkYY4h&qw21=);y3*U%M5Ja;c@?8EK%kMpP zn>Ow|>jT#z)y!7$PM(6azu>MV9C~jOmncZ&His^ggf6bjL4YvERj=Xf@!w|{Gp z0kVngK{%{aA(Y!VLt=c7r-Qb6Q?kblKojM?*4vj>fdQ@0!6{>$R6nErfG+3K(e+3y zq;frb9dSlOJDTEA&@fwb$2Uyjjr~+8)WSh`C_}T$L!;y@3tN5cmjs7+SOp*Pq9%$u zoqnLV2zG2%2E~^r$Ag-p{o3^s5r6M1w+8b}y_Ft2->EiYz9>Mi=3Te4hnM{LvFUyx zT9&lCwlar$gJlU*5gt~o`|5xeWiUfx7aoyE3xhyvIioax_?(Euz-TBFe0L`QdMa2E z;`-qt0SR%rG~1|KZH1X>UN^>8@4iazDnKTt)GUy`0E>h@P?gt0!Gacv_kX)goWZy! zh(!{fQDDIaCo+UpNA8$>?zZunOxR zLO%a^ahJ7ku$Bt$ty7&>P+k?s+By7m*IL0s)#zjfL}-qyF_-s5?SD`iedxv;&hEoX z*FKy}ZwpKvv1Lk$Wzrfqm@;%cyr*ls={`8AVr8Wk4*H1iwo-rIY75$&`LL?`=?Tr+ za;rFkWwH7y1ko=%2(frqn`(v=>p0>TN|8sZWm0!xpd_%6`9egEaOQ(U!KNi zVjLQ!x4qNM)lfk|SbwE+YPE&K!Q6za_X6*Gp#$^F*$_OsI}hENQ}t3frd=m)h^#(D z$1dO3h>5_FzmtN4y|^Tb@C%4#8iaACVG?y}s1M<_UZo%NWD zTeH80_vYOWpdhFmvNE>6o=wY1&88J28ZHK z2Z!QL2)E)+35df1GncVk0V#i6TW{MswtmmA;Nv+cawt-~h`?Zg+|wp$lIGIO#(q!| zCDCl#axFP+=hvULM9Cs$NxpPrFlZZ7vPgdX)}3OiqksfNMR z<-`qq8p0UkL>oq!3gHP85@tdL4GCSOfQBYqng|+(gh60-qJWVw6p};8&WMfCKoD6T>34qXje+ObDYw1D+Am z5EBVO!blJn1YE(?Ku5pI_4(!z*COA7`|ji6-!tOisJnr24;i@+pI zBP8@-ID*u8PliAj2!Juo0wMq>V-Z~A=#0bAgqr|b90bCVelCDliO+Ef>kKtM2aDX{ z2F8OQ5!{o6g)lGlz!nD@1hCCQA+QImC{#RvZ?UD}rvfpt(5Q$=;GYS9_ycl**+j^Y z1H1<#>_{M;2?Yd799cwwSt3$lB+dpc$pS${2qR05EqqRf(2^h?CIz$oN;kT#y90(f}>(3p!mp>+x0;B~` z9>mkrBz<{>ORyY@bK-Zq48OF)?@eAt3EY7jH$^hON5j~mU#f0G;3%*0>?SG5|IjOX zO+WpwMR1%#KMiYt56GvTfBti=<(*!foZWna<$cP=@dQ@(DS4TX;#v3N1h|FW(xL=I zG{v;nIhzMNbi9@ebNVNxY{!QHS__tK|v_1mPfK=ra(-t1y1Pu`LV&C{QQ zJcvzrI6u8VKYw5IpjRjt*za!XhNZIp{L7wFx!XXM4wA(C}{J zNxstVz-fYiikLE@VAyl030z`=hL)g@lc?93?9qLCKo98=J*Fr0l)k4Q=ovky7xW{& zw62EU&|7*(@9Agym42f!jmOhumdBGP8s|kaOY^_z1AUl}MhRGEWt)!~8uAlOD&_NS zl|JL&l$L){D@Rr_U+61+{WX0BrA+C+=wEb1$8=(U^>s2IKftu<%YSU+{7b8;Mk}KAeL5&q3mGDM^%JEx~7yOh}n3qJ5}(>2zJXrL@bLyKelU*KI#HE_#)JUe77}UUqH&YBmbAcSnaG zE{__~46D0Z1X^W&%VRj|9+?#p7lmU*gMzWz{&~rZEGzrAir#i18^x>Jldqr8PMdgt zHOwc}epS2@@^9l)4e*JqAy?L~eqVS`&$^>vvzT*ne1G??ssV3)jUTen%9M>8vTLxO zW>^Pm*{mCP8@yaLT(b@oL2ou|_2{_rnY9kZlNUG5Z7!{D#IsrU17h_bOYt1rg$QISqZzpBeJrG|cE zV1Op$Y4Iyh$|Ny;i$}@i5d&xnb4`jA(#Drr62rVUha4q&UbV89^f4Zx2dkQstf-sW zjE>`JUSxEfPGGVHfJyQaV_Il4ylk3Gs?^o`D3l3I^@Nx3-BbFA0;jX&d6fKr%;yh? zGf&4U+_Wf)`D_At=E$-zpJ2ubKi|-|j(iQ=C~ohc-XDIr_BC)tIfWY$MwT009P8J= zLjn8CsT*G#YH51HvfNK+={WJJ*eKNA+}s^r-XRs)Bs(vLgRK~AMTUD zoziKSGu@Z}g)3|jL+yzdXg@7~Jo>lNJN0j5ILVD=3^T@x!gl6}n(w*)9#7v2o>8z- z@VvVCdTsR%$X;2cN-R#$-C>a$FtvS=I8dlQ(qVpI)LORDlwVFYo2STYiNYp-TlH4gaB(}I zJb}l0%x1|z9u@@~}uR34w!4WEbM8^v`at&MzwhR#mPND_0&6jjs^`Cf0Raz3bO%aQ#!z zk2imD8wIGl+YgtQw~eEJuo(Jk%F0hfrB`ELem-!zZ{2+9bd+rKS z$~Bz+Kz^HpgPr+V1KTK&-CtjyoZi7&_WRbdDC*( zj@LJPm*39c<;6Ij{pu4D zRGB=T&8n8a(2YEQ<^9p#*N?~VZj&#&Z^>iPw^R-R05>fIC=?{)+ow`Y>3*}Cf`{|h zvXO_lJo$Y8W&hoeIPVo1N{lI0zSf0sCcQd@c|O8_A*z(#+)u!q^e~Ob8I*zfcUz(P z>+A3uN0Z0w2@)lkJ$-(LY6VKpoctkzCKl|cFE0?TY(-apBtHuh8K`8kr}<;?l;+b> z{EL`~zQ)Cm^eOpst??P7@o4%AB|%ce^rd{+`IL-`m~ci%@%Z5hS{i))3w%+;a}sho z%~P6?$9X$i1b^NfAsmwTS+^BL=NQ-QI1c!||HKgwJ zJqQM0`#{luxV%+JqKJMWCZOMl(bX1}4R|kTldTrb}T`>Bk_@Z`q z3r-R_dkFxfwb1|(%HM}*Dt*vPZ>zzr?Fj&Gb{O1RmV}|hH%h_V2I${E0fp_}YQaqy zA|hKJ6B*PcG?AjUOHu7)EVdQA-4SQ+qYf`bh5r73MI&?_EJUs&JUx#fDI5~hQWay>+8 zT+o09a=RoFX;=}0B*xH3tQQa`dco)q)Zu7@xbO=j(?hpuaGwC(>I{jeU~ zb4NYeQPNqf$AZjCKhS;qB~7zE;uSYdY2(y?7tL-AzDlPndS}Wc5Rkz8qiQ-(FRFzDGa7!{^|C z4ZKab7D~W>4Iu7Lt(rIX0|!z_ume_9r@=H^#JB2{pH%D zIdEtW*MZD8hdg+cvIRH_+JGZhl_N)gEkdyl-f#<5UiI3~$BZYoTbP4BwUA5ZCp$2U z%`vZfQPhSkhag9eQ%=3L!&10KSla)5cW`iBpXr41Jsk zuzEN(ahVnCfZZbg^dGrxgEi|XC2B2dw}?Ld=R#X(&5{cUMK9X5xZNV|^d8G>gIzMP zFzf?cS0$Kmrkv3Yh z!huPLTDA__Eh1U}@q~5;xTFX|^{Q>S4%#h3S?^hbHrOS1YrMLTIa>mM;aXs~h-AHI z1KMEa`g$P5I$*a5WXta%+Zp!~rP@OoxVFWXG0FdI;u3nw8M-y-lHrRE3e|ts@ZI9T zIABG%4%jWiRoCm-w#1k9(hXFhyB8ssL2VJ0+V54{fR^05bdzc26n#|*>;dWsJXi5c zlJC%iY>sC)cHnx3d*4xi9e2;tr=0x3ZFxjOdmBEb{nV`bH1^Y;(EoFrIfOk`Mue^X zAaL2a@H~F`X}8~?){)!KVSi}`N>MwPv}c{*)6OC7TW}(6*xqUmX>%tctpyROs?Q3) zw6+Su;#<$5ta~TQ?i3MaZ2~fr>eEI`qU?>wSH@TqQcjk`3`v zbdOc_?m{9Ps%0=lR-IK;V?`cyHB3ugT}k&)CmQ*PwtTu4C>p8-?}lhWwd7g9$EkEb z@<6fnB#lHuUm{U0tda-jZG$zmR4b1LR~|N^3R|M$!X>+Z^$MZt-H0j-hI(_)M#3%| z;f)Nq>K?1=-GziV65+l?7W7yofln6qBvQxU9v3} ziT0F1JtZ@Lx;3SCr!*bQWkxlHx6g9nNH+7aQUuPG< zO0sHTJvz%G(M-aIya@NE6oEHo)b9klz^Eljdy*ze zIkBWR9+Bj7%@X^Hf2`D!^n$EHk|b@j5$&J@bkAB+=-1U^bo+4Mkz0!HyyzCcE4Lio zh0!g2LT)9x%cEP~D7PA|_hr>Asoa)Tx1{=cSuJt!5N{g>D?l>Kh1N8&W<5;`t{*o8 zZD=iMi*VaP2U-W(LflT!h1Q9-0Jj_Tpmm|m$L$4uXx(V@e{ko3xoACTb8&THK3X4| zhUlRS(FV}^aP>j`XiL!a_{CrVZ8=&G?h>#RZ7rHUZ4fL&TZh(#yBrLmjiKqchQSK7 zlV}~dE5RzX(`cHK5wIHVJX#y>8n71a0-C0C9axWc4XqV-1K1cfQl;Qpa2sF~n&!Ta zyBTajYelQ!e{Kca&@!|t?sl*PtqrY$yA$j}Q{2k9qhL3h=DvhG2KJyWKr7vO<&2SHa!)S}qlz&ISQM5R*g=_}*7??m?iFO0`IG98u9@%x= z6W}D;9<*z?Q{WWZ3AC%Yr@b;83hfH+e>rd-?G)N&+za3$+9kA0xI(;| zHi~E$arFR)RzlNldigc9WoYMd_2DP+K!$}@G?F1ZiA#2dHZ%%0W1a(< z9Xik`f7omim#PR|XminsQJ|ti4;smkP2f_Ep%0B@$cS&ClEYlILA0Z|6nmJDrU@fA z0>vH{q79)P#--RpKiUQ~@+wg5VE|C#VW}luKO@5e)g6W`=@^i!C$Gg~QOGs|%0Al) zHi0poyp16%03{w)0SY^;29$HqQz+uF9#Fbrenlyi!Sk1UXp%^K6imJk`JWzrtbCgobH8L@f zqJi8EBy}Ls17#IR+dv_P8P=-=7)XI~l5z>uRv5PAz4tWPSGZaPEHdG$B_E9F-jdnn ze=o_Z0yUe8S^cE68d2B+8ejvOdXEpGD z`^-N5Q4J=@IYG_|a!wd?BA72R`@&KU(Q?B~=FDkMWb)-^58csKf}E2P`3NA$IZ@5& z-T68|$Ic0Du0GBG=EO4JWcKL0dWv#)J5ZY?zB!@Ix0!wQK@Cw)CdfIF$#oD zt-`7SdQYPlw3vmbbVmkgK#g`l+i7$HnoXk{uuaK!W6c2rAm+iHpXdQJf0o8PKs#x$ zf5}F%=p>Crfd0`~43+|YP|TA5?bHJX!E!JJhQSK3608PmfWBbF(w0BzwzXg#SPwRU zji3QGfz4nG*b26R?O+Gs_|V|^&=}>L_han=<6z9v1+VHwdx5SV00+Tga1tD{blEE! zcLW>*6W}_epvRL#UfWuIz1DkD z)DvXC4-jd8fD76RY0=kjkrw_CuJ%KufG6huC^*IiZL)~IKaQ*Y6)E6J0Z+d8DL^uK zqVLauX+R!$^1zb^f1W(>a^PQGqSp@cJE(hbzAMTzme5rwVO}N>b2Tqv$FcE_O%1D=2-0; zg~V##ekRf02l{AByAYqsZZ7;utv9NpY1z~0QUHE?Xp zoX*`kXtPmr?BE@{aK~QHu>p6R0X@{QDRn$O~4M%?E);3Za2^&ox*W@0cR_> zA5b%npK;@WN^yt55x`N)Q6z2xP#Cogx_>Vr?j30wbS Z@_(+NcZ!$0Itm{OI5RN{B_%~qMhY~OM^yj- diff --git a/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/00_syntax.tex b/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/00_syntax.tex index 63f0b4b..d201b36 100644 --- a/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/00_syntax.tex +++ b/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/00_syntax.tex @@ -7,7 +7,7 @@ We write $f^k$ (or $p^k$, for predicates) to indicate that it has \textit{arity} Constant functions have arity $0$, linear functions have arity $1$, thus, the arity of a given function (or predicate) is given by the number of parameters to uniquely describe it, minus one. -\inlinedefinition[Term] is the terms of first-order logic is smallest set, where (with $\cV$ again a set of variables) +\inlinedefinition[Term] is the terms of first-order logic and is the smallest set, where (with $\cV$ again a set of variables) \begin{enumerate} \item $x \in \textit{Term}$ if $x \in \cV$ \item $f^n(t_1, \ldots, t_n) \in \textit{Term}$ if $f^n \in \cF$ and $t_i \in \textit{Term}$, $\forall 1 \leq i \leq n$ (description of form of formulas) diff --git a/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/01_semantics.tex b/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/01_semantics.tex index b9c63c5..dd41fd9 100644 --- a/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/01_semantics.tex +++ b/semester4/fmfp/parts/01_formal-reasoning/03_first-order-logic/01_semantics.tex @@ -1,5 +1,5 @@ \subsubsection{Semantics} -\inlinedefinition[Structure] is a pair $\cS = \langle U_\cS, I_\cS \rangle$, where $U_\cS$ is the universe and it is a non-empty set and $I_\cS$ is a mapping with +\inlinedefinition[Structure] is a pair $\cS = \langle U_\cS, I_\cS \rangle$, where $U_\cS$ is the universe (non-empty set) and $I_\cS$ is a mapping: \begin{enumerate} \item $I_\cS(p^n)$ is an $n$-ary relation on $U_\cS$ for $p^n \in \cP$ (short $p^\cS$) \item $I_\cS(f^n)$ is an $n$-ary (total) function on $U_\cS$ for $f^n \in \cF$ short ($f^\cS$) diff --git a/semester4/fmfp/parts/01_formal-reasoning/05_correctness/03_induction.tex b/semester4/fmfp/parts/01_formal-reasoning/05_correctness/03_induction.tex index 04f8e0e..f6b79dd 100644 --- a/semester4/fmfp/parts/01_formal-reasoning/05_correctness/03_induction.tex +++ b/semester4/fmfp/parts/01_formal-reasoning/05_correctness/03_induction.tex @@ -9,7 +9,7 @@ To prove $\forall n \in \N. P$ (with $n$ free in $P$), we do the following: \shade{blue}{Base case} We show that $P[n \mapsto 0]$ is correct -\shade{green}{Step case} For an arbitrary $m$ not free in $P$, we show that $P[n \mapsto m + 1]$ is correct under the assumption that $P[n \mapsto m]$ +\shade{green}{Step case} For an arbitrary $m$ not free in $P$, we show that $P[n \mapsto m + 1]$ is correct under the assumption that $P[n \mapsto m]$ is correct. For \bi{well-founded} domains, we have to adjust the induction hypothesis slightly: We assume $\forall l \in \N. l < m \rightarrow P[n \mapsto l]$ and then prove $P[n \mapsto m]$ under our assumption. diff --git a/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex b/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex index 928dd44..d8d4ce6 100644 --- a/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex +++ b/semester4/fmfp/parts/02_typing/01_mini-haskell/01_lambda-calculus.tex @@ -1,6 +1,6 @@ \subsubsection{Lambda calculus} To prove that types are correct, the lambda calculus comes in handy. -It is based on the same concept as natural deduction trees +The proofs are again structured as derivation trees. \paragraph{Core rules for Lambda-Calculus} \[ diff --git a/semester4/fmfp/parts/02_typing/01_mini-haskell/03_type-inference.tex b/semester4/fmfp/parts/02_typing/01_mini-haskell/03_type-inference.tex index 337b5e4..4a2c489 100644 --- a/semester4/fmfp/parts/02_typing/01_mini-haskell/03_type-inference.tex +++ b/semester4/fmfp/parts/02_typing/01_mini-haskell/03_type-inference.tex @@ -7,7 +7,7 @@ Finally, apply constraints / unification to get possible types. \paragraph{Self application} This means that you apply a function to itself. -In Haskell, this is not typeable because there would need to be an infinite function type, but all \bi{Haskell types are finite} +In Haskell, this is not typeable because there would need to be an infinite function type, but all \bi{Haskell types are finite} \paragraph{Curry-Howard isomorphism}