From e7da5ab70e326529bd1af2ded0b2cd98b9dc7002 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Mon, 20 Jul 2026 16:46:46 +0200 Subject: [PATCH] [FMFP] Improved explanation of induction on shape of proof trees --- ...methods-functional-programming-summary.pdf | Bin 742830 -> 743087 bytes .../05_induction-on-proof-trees.tex | 26 ++++++++++++------ 2 files changed, 18 insertions(+), 8 deletions(-) diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf index 8212029cef47b453705c77a49310d567ae23404a..aad4aa67a39716cf841f4107199de2f2f0a25d9c 100644 GIT binary patch delta 45763 zcmV)GK)%1Ot1YjsEwE=0e=Tlh+E6;c0LcYP4<@mjFtJ@?dzkX;S$&weB|UJkC9QU~ z``*)vk~>1lo9Oi_$`(=+14eUARyC0ZG}RjA2C4?T+n?z%|0F7sGR868Js2VB?R0!og zj#IbAC3TBwL}T{0VdSDi9sgBwN|R1`(pe%Wt3@V3NbQhue=3m2oN%V05P_F(Ovpf@ zoIBsd=N@rAw(Wz*{B!Jv%3HrDxDK3@e)ry*4qaXKz3+}AyR&0cMos*}Z#`-?t$+z` z!GICM7nlBRm>QB)N)=xm+(bItF_UY#4`q|ExH|KzFPG<^PYQ%IVZ-1})D)x&nHEbc z=$X%Vxw`s#f2w#Jk!u}l40mHWHcjcE2Rgdi^D%4#SMRFzFdo8Ux!-N7J}|Ck_*0=! zmB;v}OS^09zFGrz8(!OOR&B<0X@TmtxQlN$YpZDY0N0HA+ z2n~YV`36D$rv@QXV<#Dn2Rc{g{W9+*#nY1i0JV!v0T#345<%%7Qv7c-%@kAf77Ld- zg7%y@d2^DR#pT{2 ztAvoO5`wy`6fzT}(yOEyQ&iY)f62w1kUUR+*ev&IH9)N_QvE5@^I1jGUDI^BQ`s4=~gx8FN$Wo4(NLbvrw z-l_!&DuD2(PV(}*%B5cq*PHc!6s-jm5|)sGS6)egS9-2LeGdNo*wj~Ff1X7g>9T)R zTd!m!_us!NPs01~_wBMF&Kc18>Xy)X)OHN3}Nx?`$;gg99 z?C($n29{A?f*E#;%0lF*f7naOm`n(mSxWM9=sy%Jk`sa5yjE*fSV^}`K-avId>q^@ zQ54`WjT?_yr3*AD>bBbg+{3{e~oM#<%xV#ca3&- z{u`e>`J8+@LN*x*W_vR(Y_1kHw@Z7In17qZYh?s=?ntU4xpGM+xy%Z|e45oUf`&yR z!Et4!T3c393QktWE8}D3rj_gQ78zwl;xzh`ZbWkGoi19G>6Pj4A7Se;Oz6B&-fbNj zP2}l6gPpLZj*~#cf1RMF4|YngBicY#MOHHUC~ZKLKKMv&z%nXH<*NhOF+!=M4mc>r z5=b3RnJvI045UDFHWsc`VZ{h{y27Dl1;i@D;7)<2K&uv2=4u1m%qoLnWUCE^`M;nx z5EsV?gCtgJP+uti4F;rMY*^~B>6 zLtFZP(X;S6F#g4yuoC1m)JLQr;?orW5fWxq^%#%DeyZs7WQw%3K^p!a2AI#Q=nBSIM11fHIR1A4{2MQd(Um!nzDak_BbfVhjn0 zZk3hjf65i(b-_c*QGJvlMv-GuL8IF4JgVyY)7K$mLURcEa@6VIR#HCl;rDiB#}ub; zkkc2@Enf!>I2@&TmtC+6Esk{QB5nfM#ci*J?rPUG*5U;P565|w0&>77|3)QO%&fpe zFqbJjc$xCQ{i@mNV4|NflHOxv0S3F%mnz#Ue_b~k=7Tx?`xBW7^e)Vl8F|zV&U;OQ zOn+>o!unjWZLucJeJ=%TLQuz}*B z*Twm}h=8iY{1E7*C1t|H51|l3 ze@9U|0Aikj+K|iv5S@|%K(u8pWH7Wd~q4WOS-laUKf)G}u@7_h#y}eIgXf?BI z7Jcj>bCMCxf5XrpFX0*3<05}hR^~Yue`6sYHje(xFt}SXV1GlQbCSn~_9PFZ+mmcb z_?o~!!6gLR$L|7cn+f>$l#@Kp_6gvhBdwvM4Ch=5pXlKz3*sGR_&Oft15gBNgI;NR zANH9zOHWV3Y9U7yWe#4036Jh^@^ApC8pAm1Go~@lqdF!Wm7PAHQbMvK0U1`|f6C;? z1?$)?KHz7hJi4o&vf6<2B}6)SejsG+Mt^RNFAR@&V}{kT16kljg+g3dA^t~B_y>GM zC=rTxmu z@qS?S2AFv${G~P)6(5sJ_iW8GZkmn36`BvL7BrC=?z(;77|8unQ?aVww;=kN!ipvc zfeNbcZ`%a~!uPY1+b|VRLSrX2N7kF#%%)Wzg8lwld+cP6RTD7`&@5=_m90LVjUUnq z%Q0N>5RmFfQ22xpk>moLe@Q`4N+%u}m(2!D?`Qvh z7T_zGI#zo3t$364LIa84Q(%&BHzj)zMfirtk0T6QmC`jJPz1Qxy&>XM@s{S3sIJgi4-W z=C*5dZFk=`>tz(jERKO-+sy!Y4Okpcn_5XKW6oXSpifpt!Cbc2^G-)YsE(SOdegUy zE{nw25cXxPcub5fF;DRGgJp%t;E@&{SO$fK%pCx&kQvRTe{hoR+!BkG4P{P*J+?E{ z3}YK|M*_YqRF+rI8DVppXGM7&E3<8sTz}i3cfV;zw*b6{36lMAsO?M}1kLj5F`>32 zw2F8*+MYs$IVAVV$7_?by*|>8G9l@Bl`_@MVB*H$hC?sKfQZ@=VoXSI^9+b0Lcj(} z8;{sqC&FEpe`gh`kOf1tKZYkF{D^)tmJJP=aycF#bqfAhTsvJV4pASPRWsD}YTMD! zg6hq}PB5s&FcSnEGRXo=;C@CEW5nZur3Sq(ZRq)sq~h(lURHOw!Qq`%K5UpdarT-E zF(9zWGcKgB_gzJOv-Mm;^h55^k9;xnaxJGTz_$C#f6=r}$u7$%*^C__8?7Ga(-S;+ z*qEqOueaCRy>-#I6PtomDT%reJf(O&<#sm~2IN%2Bhqs5XxWI01`=f(AnrGz^o?)o1cy>I%ci+VEhnH0m zjr5DudE2N`OU+8WFeemr^g+?zPRw`@p#o8AqMn$>4S))PJ>jo@r>UUnxiV0NNPpR5 zf0Tog-0bECQH4{eMf|-!OKp9rgH0%Uskd{bfON2CXN-NfH3xcWkO@>23v>CoY&X~1H83`M#K~+7#|Ip2$bwkx_KVgghmP&6 zO6Z!tSFbQD@XS`a0Gxw7ISNW;ZIIMpe{h+P4CWCPQb_|PGuZnHu6l6Bp>Y|Je!PV` zavk(Zx@PJ}0U4Ky37YDz-)$AUpxlKZ;j8`BtcQngRgavjOePSF(XR}|2hSc>ft{mR zMJ11WZ4%wO)gA#WPN)M0ASK%yL&M{*T8_?VCNWsm6xNtvv(p;^>rO_1Odj3$e~|tr zaLB8W{+@7V%jlzW9XU;k`QLYLv}n6blD>ewCVcO<>pd>G^TU(Bd}wxy*19ogP1g7mJHWwsA$i>rJyfZQvjw*PvuGj)t3VNU&FaN9-xWqdX`(;dXo_eOt z+``FxHfA^0KR_BzK8Rh)Yh-+ck+f0H1a8=&+h`K{bz~Sbpt#pCf!yAq+ z>N*Brp#(x<<4EWg$_ZL8x%Wb()sNfDzHX^jSn~Ve+;_jmwmHYD8JCYtf2F_ zl((>7qcK=_6OZn#_4V%Bel@A83mf1C6)RrO7Xs{&iN`3N8meCKmV?<~i13v4u!bGs-#;{!t*Vh}< z((E#}=zlkOe^$9Kzch!D?hrPv5i`Dzyo^%ihC&$4Bp$$%xj-jQ76%a~c(#r8@5XI^ z);z~*C9>d{o>}^@f@74!7&h04=nFL>ywoIOvQ~)7NYiOTI;n|ZG79dK9Y{;N>%Q9L zMi(dEZr1l+BGgr59Kh|Za`*zWVf&1pPBhQTbBO!ZJ=VI4X7DWN5r%#(kLOul%8&W6 zyr?fn9YK4ww@ab9St)v}ifv$!K~qT>P&Jjh-Amny`#-4%B>z8n>06i4`wA1ci#q{7 zjF&+v3n_oCTHSNwwh@2#U%|VF4mD#jAOM2orR_}G^xC_o$#v|RJUI72OOVB}MCtf( zw)59_7Yk4%1v+-p7YoG4VzD2;-382oyMP7%y!hMo#W(Mz3i2pdTm{#gK<1HRDoAq~ z6v zS(UBEFOa0JPvl^~wY4ZfUnXAMAExW>qv2Gd>>5M9AGxb~f~* zhx?l_S}YYP`DfIwWvIpW)3IC?yWJBpRO^4DA?|_4TVo!FuBGqcS=HpMX@Ay+hPwuB zg?N-~#G_<+*tGS5#*JW&Vo9*&KwH9U3x3{$~6JapglBsat?b>qLwE9Tj`cbbs!+}?)%vek^qgH=# zr8jPf1q%FEWX9OJil8MT6|r2{R2uL|rh?`SSrG$DNtDL% za69IaU=n5Uy&TLUm77Bj)Vq{20bfn6mX$}#!fIK9mOCmDa5X^) z&DkDy>*no9%3>nr#5gi4J5i3**BNQUjQ^js`9Rv!L&8QUStjV(*uE{>np%HPv;584 z8cI#^@S!wF1v7{C4qI%Wjszzljizj7@Bk)e&mD5?wLAsC&7{X~N2?QvVadpE|BNt* zhe6KY{eGE`*%5$Q+=n6~$~;Q*F^bIT$;q^6tVA0UW!H2zd_gBg3FuvcD;JIZm{EfY z38rCt&Irwhfv76lu67BK1tWhn`6lw2_;;I@a7wsPB{0?_n#Ez;9WNcg*)ePUh9>wZ z2~cEbo<5GzK68_jji}+#wRTC}?Z81-BoSz>%cd=>9)JN`t9PT^37HXtZDJn9DPTAV zDhI8Srg+RIizYsjK=w7`kdOoXWnqAh&7zzQtH2(j8XT*Sth0QgR?vUKU&-Q9<}&=N zms6?442x1q%ObXV-~~;~l=p%+vyQv6ZB2B<&jSP*K}};1*uc0`H!Xf7gDk?1C5)1k zGzEC7CL8+E1E+ZLK5V`PyHuEo2r+{^;3*4pa&JB&G8QRFCD3ctA4y1ZNZw6C!kzD* zI2vLJkV%HSF`q(^SVn(PVyCT~sI2P_ltInT>aOr2Fyyf!f)r^C3(v_keNLtc$`lR$ zjYn1jawI;IXzWl1Wtcyg)N!Havbq;0m~j?K$paa2#Yg%as{s-dG)5==(E&yb=kYU2 z2h_|=9;#e2_=nVw~e1%q5$?;EsR8fC>l>bEuHbqC#qb z*1&-3OA4fD?a}2x*i{^lyQjXB`b?0*s9^yhv*|+S(gg&9EDf&?d)=0MthjJ}L31}9 zEUjT;?KW*RO&Edxh#%`8D{rBQ-8K?K2JY|f+m7Vx}aFy~wECWsBbO>(f_bhHQeSk-h7D})w> z^gwqzMo7J^l}%!O625d*`6S>1!7Ke`CPzk!6&TifZn1y4JMr-j$yE|1c{)bXO?}vp zvLzW_0r{V39YRz zzLsw4T4TaYZK8B2tJdxXRTCV&?j`1Wce?|!^iWQ2c+^nH2}I)6R_~3+L%#G=Wqb8w zu|MwY2e67sbW2|kxE~b&67uuCIVCiy7U%&6dn$js1wvX+)~=*WoW$NJz^_pBYc6s6 z6GF$v9Hgd?!cD?MA86|4k~(w8Aj%p6SQAIaI7mTe+1jx@qTH1GBb6}HiVs&2rY7`^DM*T+i9!FEx!D#orhB9VfqAnzJF$o$VJv0MqQnf+0Xy+a1 zcT#`Vm_E#2ZMAC(A_So)8oJYnDH^J*@>j}^p|fl;baDiowe7K#nu8fh;Lt^@T^|I& zZNGR|-n)Q{TgO8F9sH$Sn`mecgeD0RfqZEMNx%$oVnl1o57-6$>8(pBPSRRB0)t|M zdnI}evHlW0Cq{xsJ}t^8CgJjook)+$|8Ha zVSMjT)6zk$Yg9hH%6w}tyaec$%Slewn~ma-plMC5ue7u*Aa^tdrgDO297JfwU#vIm z{8Q!$ANmouKBr?>S8Z+IAiI^eB>NjHB5R34odhoLUh2$sF4NH+Bo7JZ1Xh1g$>bV? zhd=0I^ZW8~7N8zyFULp) z!lZx1JyPBp9X`DJ{UQr*ylWt*ng{&!jaTeAbQ1dn^B;W-gr8?{_%~y&d^Y9+fUb>w z@&08A+jMD%EdocL#&pNFpv49(Dd93UMtQl(QeZ}(rCi#ZDTsfJX~xGW;ZRhV zveI4L%M*v@sn0NS*I{OAANfX4fx|ac`+7hj!J$vL+ES~qZv>l@YR@qgD*J1U1#?d_ zRKnY5gdW+Z5iB{wuid+Mb9CvLgX@N~gZ{3<6F=mvQU?8U#x#<|wz1 z>;W7SA(FZKph-r|buS4M3~|h%LhEkIY{su_Hb!@8{(tQ`@JhGL{sCSMAuJ1DS+R_{ zPjM3fW;lAh*7ULq!RljACisx&{{nwXv^kec3<603HkUyV11f)6OK%%D5WerP;IX}M zIh+SczzC2>lLlzfAkHDJ;e+D{McPyf90f@KeZN`9u2Tzl%z`n6l7bZ-iiAQfD03)=PYpHUlS5U& zvxeFfZ)+eT?8krDFEidq3dE3D@j#M=hPg-^n&7)Z11W)&p#%E>0#zwcV+fHJa&qy? zAroG;8gh11QpNz9scOhfP+tuLt%JgxEXfxEEMgcW3@UVo8o9tSH9Tp_pGe@u4FU}V zIL4J{%1{MDnF>^)8aR^`4bLYwGE1GxK#w8D8fS66y^)TIAXz|VbfwkvcO@bVBl6D2Ey<$u@8zrX+b1= zAhBFb2Zc~kw-l;~`_VNJZ2(v7RoP#0kmkwZLQ});0xgNLyStByV_;;?Snhtz20u5C zvZoLhD0_brwJF?~O=0z=2r_~Qpy!6d6m1?4C_ZUm@Tj)QeRw|^NolZ@+z}egWfeR& z4`)SY5<&@8DxUbpu-%dih3%Gn0cDV9uikGyoSm-TPi&qZ{k(ep=H$WVV>n7-3S!L2!YUMNJH~D&XAlA9cLt~5hbt-3VT|g2GS^6>C=Eqjf^;SVUxwusY6zd&Guj^ z5rTuF%^s^hg-IzU?Nb=6j&<(duSY*Gco!3IJj&^ER=ox;Qqv0^=S2#8yJEQ&X}N!0 zBQ2L(l9uf*k`_+wChZLSiCvr{JktdwjRhg=!6FADp@H6rygUW1yQk4DU~$Th*>WE?wV0}PVFe8| zsrF%2qG_MLLZ}CH*E+`)2JA9!#?v|d=B%Cb4c9c)9-dyQ5MSDijIR;P=$6E?bQg(b zxt~}w>>gq*VKqgs<2_hh%A+okWdSQ(aenK>W{RcA&DhH>hi}{`y96^suxNjuU?yaX z=00#n-JsN|a?UuV<6_qZ#w9%ZRj?0?(|6lZ)-RH!PcBymQTu=7vY+EkyRgVaB!zyXv%_aud=pc5y8irBF*|?E$$xuJ zSG&gPD!1fx<-5q~s{NdvVfS!)39E|!v`6j*^$KfDOV`&Wuo>Kt`m`_+6pPY_#Z@=u z(y2rOQMGmn#xp1^eb|CCe(l8i&snuEbhz9{|7W2Ki=%~f`ax5U{;z*V7Z|yNa=gbl zaEutW#n2N{XG-|NkhISek`)KTzLfBC+^ACtHjPa?1xtzkKR_22dFg+FbSdG59u{_j za|1g%IZ6#aZk>{G*^60PC;O2V=^Nc^cdnZA)93uoJOAzI>YaDq;ATB-r*Hjx<^96u zWOVJoX>`j2r~gfK_nIn`QU8H+hP_N9LxQGyGx$?=Dc~PByBT|VI(7MdIvBd1T+RD` z0LI((%eUha0#6Vij94AV2-DXZBB4L@fahc;M8!8)to){|Aw{cS5&T zI|A1R0*{)PFG2zu1P?);S+`9>0%ZmxA#ljP0*3&5M?t_UmK3Ov36uAd0!A* z2q8KO8J{SOGFvewSrVio1%-4QwWA!HU+@ z6hB7X6yI^hm)*w1Y{Qqf8E1W({|_&9XGgd3o&s780*b?zO{@YM1Zcw=gO|aK0u#4> ztO9!x0;SlO`@I4g1Q;@(nU}$g0uz@jz5-DK_l}o-z5+6T!pT*FlW$J`e13BO5tm7Z zGD&4}ewpwLNi35z<0wl-a=uKS%^sanHLLZn%{nhn=Zx{$cSU<$pU!DITQ;`k5Bh`I z&f99yuIkEmX0s=o`f8J}*Q@FZUXiI#v&VV0YV6a$ZrlHy{(S!Ua3S0@Ar!wKmL zA&96fS*%Zgp8brIB|LkaV8k+&yfHo3&{HBT8C;ji*~!xrJXl;7S)7nakjySlAPWEZ z>6{RZXXmFGofR9PG}jC8WQ~bp@F@&YuM(K=o5W0dV(1b;m~MV$?j_f+A|@#O##|*Y zl9T%{uP*@V0X{T#cW@OrVf+vNmj{OQM<3x+U} z$vowMa3Rh9?+TggQ&u;l!YvL zW_#EtgBk6URkb_R_PW?Orgp*km*dC)6s4Kao7wex5T)S#yanKXHTzwZOa&HZ0Na(a zok)b56ftgWQp)^Dan`^%F}@7;aL!YX0Q1i&L4vzke{g@ErK+vt;GJV>uk*I^I!)ny zID|Xi1-&#bq<#s!P!KV+tD@egQWvTfQC z*lLg)A{+T@2;VplBOKu(9EinUTfYa}{L+{dy$Ja176DGps3vsyDs-f9f94!%jB-6K zX#H-`2(N!~35?5|y0TNlZGK^*$9mh^`@n&7F?8VY)I0D-s~lIeH+m~v-$lJ%JB{n6 zu}{n#s-Gjb&FgL1uI5c!ytK`|S&AADcms$NQ|iEbMZkejat0`r8nJX{@Wm~)K&9Mh z0rgtY(-LZdKq(>Nd@(hUh_cL@2iNODZ_&F6%P4=q?6n|)u!SIouyxQ4R7r5qAr9M3 zP$t}dud3yC;Wtco)}L6bkG-h2>kB7lw!w%P^wj&%OmH51rj5-$HMW-ka&w>%40I2K*H`Y8zifUjb6!4HB0QZ6=>%O5%$EGM*F0FFP$Ec$Sx? zT|s{*l#P90*ahunQC$I8HPc;{pcIE3Xa`>}uQ z;5w!~?RqwcI&ajZ zQ6a&)i2aeM?_(tJtHMFG&N6D59HoDRZjMERd2b(!22vY|MVUk#wr@cFKdPnCxYR?F z6cET7yspQC`rc`k0h11wmG=WZS4iQON`ZUIN@xs~l z?l~BH?Z-@Z!SxG*KrKLh92m`7c(6ZSr^*7n23|JzQ0<5eW=wD>s1}b(=-_RRxXePy zxjAtlZQ>w}Ck|)|aS#jRm-l~49HjA(DZ<75ndduTY08kwcuW^R0!Qhcaa0||Q6YU+ z%$cm|G7SR<3tV=^g=6$@rxKt`M`Y%6ChuDfSXFnTNr0x|jSr8GbHmiCS|)aL z!F240|7Eeke%d3v91SG)5}qL{#rqLHPGZy8)(xW;rjtlPuYWJ2wA+OV5=GY#5e8I5 zk~&{TU$YtA3BiLnCSyC)#~c&4F~?!q7G-{p%(pPu7?KVB5&%)K^nqXEhzbQu>kPhc z(9T360?{w)8%xtDl>%qkHKr+a^6@(tgn86vr;|u4qpXV2&ha)&9GV#W@=NHsr~wGTU3oJ=fD)U zz$%R^_NAD#ObD+jCmqJJ!WmUrQVW3swD$|gVb=cvj} zkuTr*(hqT^?sjFlfv!xh|HcgJTzGMVBq-RvZxwpb)t?N_N`}w~at*`>ZR| z^=IVRtaPb*e|q?}-EF^66YSY6l}iN)>=QC}Q^lwRkirlfKn_&Q-ah!UuveOV{n^-$ z!Y9~<7=Oq3k6{|A%NvD2hM-{|8>c>On$=Y`nZzn4OJ2aAsh8gF)%BgxKzcyRXq3FK zO^I=$!bj!QksE5fDz-(&8kTrrWCUISuxYMRyVu_LPExD=Df~BMQSyESk*mXrpIztwwTNimXq;Djl zn{8RxFlhL#2Ewq$Jc+J^>ID6suQdRaL^92~uQeDSONL+8pvpus3~aii{M&jFJB>mz zgaKEDIQ`7TQa>2Sau)M;a|SGt3Xpb+Fn@C%<2uIwfqixMbib7yIo{(_ox|i36-Yzz zNEk94NXH>*7>C4{(|j?I*HLibwK2hZb_r%dt0%3z`aJW;=(Fcc*(6kAM7Z zv3NKAoelXOx-Jl#hLb*yl2XJw|NVwzj=Kc^9FOMuG+&@k83=aDKv_Vq?4i^teSacC zX!yTRpCC3sT&4+CU<*=r-2KO*ozN(*!TeDgWwM~;0EPPBmA~T>AAoKV@oC}X5(sxK z@bPFLu;UG4I)oHdN(eerbIz1WF+69wsJEM@aGtF@u4W&U-ouqm?T>q&I+Wo~eXcDq zUKVBaI5oJ=#f#=%=P1n}>)M|gEr0XsYMWpAW2(z~>gcHUgLD{&P#1@MUsv(K6AHKw zXLO&jP#h_)_Sp)`ZFx;s^fT_jgLEAAgp7SU|H3j?~YloI2mjrNh4nHIN#HA*Kgz z93nM3lz~sYA4gGXdvlk1xa|8!Tjl7-IuraWX9pD_!w!6$| z8i{fJg)cxA0BG4L7sUJlet(_e$#nu~lb2;tc6N9;Bitc~#7%U?)4R}&NkwG>Ntzyp zzGV!3#|3l1XN3eGe#s+#P*!W`4bn8&K5Vj-x7@ywdm#!zTnBCjbR0x*9~OmuR*LNP zFOnmo&l(De46%CFC#Ooy@=e^ya1&XEf`5RyF!kUgoXjZj)>!mqzJG}WE)(~~ju~f0 z$Pcg#@plOh6BDs zHUa{gu)*b$)-!~_L4%Bb{xhWlRgrn4)9}xZ7 zkoU4$9~<9)y#4z8V1EPPe2DezSEubkp-HpC6tGMl1RKCyuuKlj3cEwt0GooTH7o36 znw2#24aX@lm7ir8`a$fhJWRUfvC=IMlWsY{0NniX7=r;mrG-5@YNVeAP8^{3SQjek zemFtR_kUx0&+iaU5JZ*w1bQzI(R=wh>-`~#1bSPg3lID3{5B0W2sX9XIO0#JP5xat z8YG7wZ~fU2id~5me1bGKfP)(nApF>!^p>{cecO$*G0p!4yV>vHm%)qz6Sp7E0?P;j zIgOX>)&d&@8gKG|w+q(-y$k|`{Fln(0v!ZZKd_6p>*E5j2p)1;wd7KJQ>QwGSdxK2 zOvx=WzCgBAo$LHx_<&Qgx4G;BKoBBuYJdBJQ?7q`AdrzH3Ia-MK()OF!21SFiYdE38_&_@uPDIF^#p7E(?<7^0Z{{aYnyEwNO z5CilM0Zx|;9|Ic%cykb>w<{k5mIfg*z>)Y#l>x+Qk!CrTZbO?7sIntP$79jWGWTiz z50f{pm(lwQ6Swsx1Lp`KIX0C^9otcvniqJM&wL=LiXYzAZyr3;b9XWS7kQ$7Yq$L_ z1I7{{nqZ{u1QXg2KmqThKuu9x=6?Y+(wz^Nqf-MZ0yQv` zG4m;ZTT7GNHV(eeuh40usdCE_MM*6mw$|CQlQ`=wJDI9I*g0_2>~59yn6#uBkAM9F z1gJ-kG_TlBw$@d)n*>P^1VI4&MElOp@tq$|zCSy8`clSD>ZP%WowKbYQ!n;oCrPE3 zCXsWtao)KvPsQ4;@t;GfiqlmXO82#H_x0(2N+j;4An_{&x22no3Em z&h|!4$=Yo+4KWp!mrQPJ`rYN18cT_LeG0o$cigceVtuI(m$|+oD%Pm9H~V@u<<-;$ zF9SL-a?MGi&wc3DQzm zaoZK@Ocw>!EOoqq9g&Rm@Vi&d2V6UhfmO?O2s@>ZXH@jlkdhBASNn}be$|+N-$;hM zn%9LrHO%D+9ln;%V(s;V5-$xyKEJPDzJYF$&w{1yhpNWOt}3dUeTU|)R#t5(Sq>2O zM^#ek3RVdFsHxWGrJizCE!7qMT$n}cGVe;1GLm3dJl~#2mUY8p^74XKfN~vL1@lzx zgwKUCzlwDS4Momda6OU(e$jk?dBe;O&*-sK)ioMJDoBHjw+c# zWs5W-Wka`vRz-15tvlTkajTk^NQx=FI7l>0N2=}}i=m?lBe_K@;(4qXqcOdRdv&R) z^_+}aGlOki6m+KhITg#1mw7=-oKwlxdieGUS=d$H?#a4%2R3=us`EmBQ}f6XKyB&> zn8TKKlPZdSirVZ94gmx5?sBVRJ5D??>sDW$hQ0|oU^MyZDsVaS#PKBZ+?Z+VbYm|H z*Zo8b9{k0nDmrU|apE>D7^L3i93LQp9mTH*f>Ros`1QL3?0#?z&l3~EB8Xu~#ug8P z2hg8h?6&{NRNz6c2FbvG%S(JeNg>ivHH4u-7(le6I)t^*k0nIKBn}{!1d->bBIw82 zdgh!68AIoAz3zzx5@Eebh$EON>GL$6aym@3s$S*t-1$I(DVQW6DX;6G3%O0~qXPMKyU8rWN*$7&_YM72aR zizE(~H2hBK3#vZSEKsb)hak|}0TTj`0_Gm{+lSjWl(UkzY?`H6E~`j*iIC1J_J!v| z0a)1#ZaA>q$@VdSr}p_NBvvh*OZ1e_X0oeyD=8!Qr{R-4T}7eCQ_d&iasch(|Qbl$g0|P7`k_w*=U-HIZz;j zpq!Zq>TWdVPC??nHhBQHV16}pg+f-BWnGyt3(Z}FIp3TBGZBr%F|yz$!C1100Q~&e zBuq4eeh1oCk{MR9kfFbGIqAZDNGs;PJ-YMUP>?aSsYI==Hbee4jM7_uSQfQVpRVsG z=~4VVJB2iV6|5I#m%g+iJI^SKK~i2_QtB`L$lcUNZqs$IsQ|likr${b?D5o&YW0C7 zhthY<|BA1TkO6!EjY%P_IoRs}@=(+nuP+r9A>nRy2^S79ju@_rbOkcAEAFCm%#(=0 zxyc(@=4}T@a>f)!={j0mI9MP`77Ev9Dl!lz7sEb(v}!282Ii|D2Nq@wIEQVkxhv&L zSSoNoN=nK$ifGn08mi`1(`vP$$o09n*2O3 zaxyi4YB4t`_$}(D=L7yH`!H^X8yWfFI2p2Va_kqN4s-E~69y%yT-9hW5v=4nCueXr zc}`=BY9s{t=^8G0^S3NDi4ep2>}&RQrAMwzWEcj38&_&3De}#}V7=%!KSrmK`HoMw1WRy5W z*^S0gO?Te3dE2$d+d^wswRyoE3oeYdxZrV@X#7QIygyV&Jj0tjjag$i^7SG-5{zhh z(|2NujVYTYoubPV6P=E-C6N(wZV2EO^XY|PSi;Xsb65lkMoHy*) zf=rQse{&}mV$AHob$|os&M;1zvk<+CsCv$pk6rq0uwWc?)(37Rrq&8}%ecpBGw42G4i)&a~G_?B0o7P=BcQp0UVL0L~rMQK+j8hkL9B=2%j!qKa zeeXy9`yiAbX?IqCr(dpKLo@H&Qb*I{76B-#e@HQ23e*EmC$XiV=zwdf7ngbK{3Psx zuNUt3y0FO{Ruu^_IC~^ws4pNnKr0$=M9doj8TLh?`KCX3yv;Fqz>d-QL9B0krw!c( ztP;~9cCt1aARG3?kRTAkrJGUi^=x`a58$jPi33got}=XRgJ~{Kx$|M?P~jIu0*-VW zfB9qt98lp_Io`xsvvY?%m?Zun22SIdI~iQwJ~%f>KO?j-GO&lve0__V-o9`cJlD&M z`hKQpdOk|DBg6cID;u4>k2mBV!8*qdJOT$!rXajyNC&t2*FG%Go-|{RvkrywgKFV~ znxr9E9EZxN*xb<%;EKqa=eJ)qe-lDV@b!rd zqW+5tE*O?-sQ9$SEH&@HCIFAgra=9mfA8{xZsuC~9ZzcCSwNvF5x8wwAjtJ_i)O6q z2+|v0$~Oq@m%05OMyz3D>Wjft`mY#y#-GTxhq^p{0Qzb7>ji&~xhMQ7(>aJvMl%o{ z*t$WpWON5aC*>m{x>zhie{_<35b_>FbTS$sIw_AKI@6gTI_Ss{9b$9?M2GY(b>(kt zatzVQ=mtaw9fm0*eC#vpO{S9GT<$S&z6iaAe&Xhyp2ywfEthPc-}U(Zu^=}*A9P{w zv9(CnEX(Lv#by%xdVqrbvo3q$IRQ~nGN$eGcS$UmM_ma$>hk%Oe^lU-qlCIKd{a^+ zQ+>GrF!)~%b3B6V=zWwJn_dX9jb48V`zlMgjVc#pjUEjx?D|Mjuczo|eAy zVu^PVZM?>)ftuC5@HW6eg;B;x(3>+c{$2$&!(c!$X*`897Uw_4_kK73(Xjv6(>pt( znVG1F*&`P@o(;SHf8?mo`126@d2a#4gd9o)-$2Z7Am;QUGmm1vudCP}#$Ok+4=ws*k8G3Dq^K+d}?_>Tdc|JxS)MbNONnDIG~#VLq> zA2Wd@v757zhup!x0=~1Xw6BTld{t}s(~!K054*P*XiB>Se?EVn@n3^;GoI<#ozWpg zu*H^omYI2VqN-&d_F(J#0!MaX0iP8tf6&fG_i+!8Q2VpRfu9+OdnibSSsK4JdEU%? z)9!JNtl-C?_K|6W*`Ma8gq$t5{Kjeu1Bdvd1h@F31?yoEH82V<*SX|q-HHvE>xJ%*g?(XjH6i#7<1rP2HL4sRwLU4!Rgy62h-8INh);?#iwfDKN z_v3@2b#1ea-p70?Dl%0KCNWDVbD*>n2+YLB%*qc?RMId5xv{Y`sROOu9n4$-?98mJ zoJdqu60Sfqu&onF(hLmb2k?Mx04f&Xf49`P2v$};Br1Rm5Cn96b6Nt-y#Y!STM&@$Ek(k~+1u6D+6Mfm1_u+1=dUIZ^v2(s5umL3=Ks^@E$~mel9Z;Hrk<)48_S<(0I&f( zfUa(~f7<>RH|jTLfWN7|rCPZjv<2aCF!Q zH?cP%z<+8w{3{&b1_b^`8yhpXzj75-RTTk_X0{+O5M&0jcnbuZf!*BzrhnPqeu0)W z{~`zkNVvPY{^_Cgzb@B*xA|Y{;!bZ*X6WGKXXg3eCuRn6cl+=UZT|DIEu27Zwr*gz ze^mqmtZW^Cf7rW!{W&vR&|fwsF=aVvDGf~~#kau&F)2B{sRLpLdx8Io{!>p(Qjs6P z%gPO48VX?Boov zGIMYP`q^3m-#(Ch+{`?H0I;h&(9h?ej{ihRY&-xkb^hC5@?0QqU;2I8wlF}fA;LZdP%!GI4GMr0%`wS(*KS# zbF_8v{*TCi|BBE7{^3fi?Bwcb=I~!WTQ_N2FQBEWE!e{5U&8*&E(bPyn|(2mwFB_& zQ2sJ${aGi6x4C`0du;z)T>vIF9T2eV#QHXW2<%*303WuunYILa{WU277G{tW z_$>wC><;z=SUI^O{W(n@b^wd)AJe}OCxAu%Z^R8?QT#XJ*PGML z*6SbcH_`r1=6a(8_WTEfw*_Ny{~NNu@$>!%d=uis-#Wf=`T%tOSN4Anhw7ip@vpsS z{d-#e=dJM<)&RRY*#mWKE#Kal{|Hes1H0OPdKs|3EiK!d{q5&}|1GvPG7XP}y|GF^V#`=HppW71v1bP82kQV2hECfRA z(i_9R_)8T|l*3Z-F&|gr2NsE=+Vlf?pr7;$zHu#TMzO zO$)+sM&;q0d%7_9DvfP0csUSApcK=8`O%o-rI8oitB&*$H5{D;b6{Y;r<7`7YoARb z9Qb>}pzS!F4FJCA7NMGLOB`ZWptX`dWya_uZP%9~e_rAmQK?Mx+Dgy_gmrY-GDbSb zy*`>y=(63F@wN3kg!?t$VHV8t@uie;`6$hbroHsID(PHE@I{!9a9<36Tu0P@$Zj4! z-y7YV!lV$mx&Kb}*g+PmN6bTBv3Du5Vhzz3#O+SS9l_*(39KP$-BOqPAGL2z3w_@@L&shiW*S4!kRfR*$n+F78jA{ zTGETDiy#;6b%Z2MJcc9H5&=1X)yT}grEqtk46^FnG^d6l#AHx;!uS2eCz?aF2*oV> zg!dxfdzZ=(DEid#vnzPnq{BDuDWOU}of$?NTvMH7QD)2ln2=&IaEdnZ+;xsrhbS{2 z#)9n$iL>Ns#}1rNsvF#Scg<^3h&D79Vry%?mfdopm|2oabD6)2AY`I{vSsx3KJK;f zTP+)2pjulj_4kRN{Z52Ap1?2!`LWNA+e{JxunL8%4xP)O%S6aW>h1gwY8JKA%%&Pm zzT#BGk`5NL5XcbAHk6CufUUJR%2xLfLY9??2jiXwr8bZQ1;J?puLFkFCJ#YBJ>KPf zq-^sdZp7!@AY@KVZ?lGf+N~@0l~O5QBZHt0NMs83{gDafpXnoTdNjs=M;$uCmV^;W z=t$K3ZL2@{X`L%Pu%rJuSCM~QTAaSFB73HVcQ{{#I&a|!V$)d_REQ(140!7jLEGx*L#yE}i10lGnXy{y#8GhS;LgiO3lK7eHj@(r_KhPO? z@{YQBr2FH?!=|-=N*?+@)iS8j<4P5UV9>FdN@*Ck0N7u@c{Deum{4ZUTyuus67yg@ zjt@Xy60HDTuWf4bgz-a2=!Mp_d<|0ilVQT0s&6o)tlDvoaX)3Fso!sg=s{6%#+k%J z*=r$|gXe{iu+L9M2NcR~1C&0Yxf(o6T_{2K@9t$Qnm*Bg@vK_Bv^3kMY1Ad5x3|eT zc3^2DkqWPUykm*3xmK}AFHv_*pw}?$;SSNCBEpVWd7V}H&766Uc62=6|5YKmfU0C& zs~*`GISgAuCxu%t;ta6#cp>L0 zwX3!(iofc z7Nh@YB`Zc~bVPx2dcX0xGlBFf_{6=eXrwByXMfj#INv(bbuBl`n?Du2Hrm`jw2_Hti|c~_K=TC-+A zN@Av+9YLa~i*=vgYht51)@bazxb3rYu9MEIs8eybc8CYOAU3r|EsDRad_;llGwv(u z2Y7ugm7K@ghF>abS4~fb;a?wPW*gO-=(IGz8d&2lNA~1tHY`NxY1+EBSMC$ZC%2uR zRaNAFufZK*q(9&{S()tkdtfidNNvI4eYeW$mw{6RPC(Y3&OYsXP;9QiOUx|dI^el zDC+I#8?Fg!h^<|8?3K7b6vx&RRvWW#U#K2`P1c_2t$Au`EUxP3>iVZj4vWDr5z2!$ zyCG~?HI>6|}L*yH)Ard{#V=s=vU zJ6~ny`KaDc@Va({Z##N5qeW`qRGw#}PV4403NuHg2&VK;pfmQ`OVP$Td!;u6D0k0? zSR?B*yC8=<3ZY8-M=cx-LM>FS&?E1T0zX#FaLfDPu#O;4u!IdJn3tSy>9(bR4PjSc z(mC-+>9YKoLsi$9G3)lC)QQf6&s-``_Oqhuzv@JkIzk`)2=C@Pa?RuQ6wzZc6BUK8YSY zr3mPYC@R}qpZgexa#p+RdWkl)Nw*YpxcyifrG?WI3S^p%b<68{J44wVV`#ECx)25J z9Oe#lm*tY;M*NrH_czSPyw|~HjvUP|qg=aLzj&ciOgWg`t7`Ctjk8#PpV7~ioPXI| z%+!9zd3W^vejiD55>3J&)@;3_Q;#0U7-e^`#xi2kt+xX7!G6tYFNDOk@`reSxxB2SQeBjVox0hTyW4`27jQ``bOegzc3(U zo2cUXD-iy7C^J&hiKDZB3ij*!FfQ6<*L|HdPh$4z!07`rMw<6o(D2%Huut~yr7^#H ztrBy1`J2wb=IIr01nqv&`uc+GzSX~=hN!rMBIDS}YW4%Cu`E&@hBbM44EhNPib+-Z zI<=%>HjfzJ0K9);A*egh>xt5DcIhk#=& zf2T74y@eNh0WG4B-f_!`63*H0vDbIEvY!ZR@8ga%tTyIJG&Myw6iTjB-Cbj`AyUyp zm<3$=56tVFxit}gdtxE*r36IPyv0&a-h=P$CU?@1$8cl5kXUB6e^1}3V9)0l`u@1F zr7Ua6_M1+9X{rQo#^SkdT=0&1PL88f*e5A+KcMZbJ)wkNXq&2DlmhSdikf*Gp>0t| z(0N1ho{1Fx6GHvIOqttIqQ{;rd{ju4%ITqgtgw8(`c5BzZ$%sRR|9pSn1(3zHp)^$ z?1}6q-JWk)wL(eO3jWo8A85W=b}cQbHl|oi@7>P}U?O;KVU0U!7MG0ltZY6m-urjO5AdUv?}OqDMGk8cpuDay`mV)W}v- zOh94ndu}SR-7N(96UPU|r>&orBA?NKD`?^2y~iWYYJ!D9&+8;cx=X~0-@20TM>onc;+DE}e!oQx^)77oqwp0s>1V1XO>KG^6u$rf!BkOLvVZ>u z2eCS3$_0Qk0%gisQrc5+HCo}kEanWSY5LK}gxlo4H`dykrl-0Af31r2=O|-U<6xrm zX!#Ppw+}skrF&#*DVK@&gsml!+xP!;9HKC9KhME{K zcb_P=O{X&ixF80!Kl%vB6<^Nnm=;JN4(Z(-z1Oc5vHncEu* zrM*DBXwd=73*A0lZDC`sz|rM$LRt8KBEVqWha|HM-ME6K?o4v%bWVHoqM7y z+NnAe|03wRGxqo@q2?oXd9P7c_AyJ+O}{W2wJnz+3u5Q=ha>)oawOlOsp+mdKhExi z&MNw;4DN&RLB4!Z@|atzAX>MV@@pBHmnS{EQ$B(*=1v2xs#l%fM;PKRF4Dz+bMSDC zBlair+6p@Y%aLiE6U=q!;dGsmBK5~@#~(EjlkIW160}7vD9Mjxs=)Oa{2q-%kG|c< zyMS3!55wME{vcMKd>%fZkm8S5_+|(Yo`kO+7O@2bvYGGCwuLHp@wgr?7e1y(XrI=g zX{FiSoK%%_oxksK_|ySq!o@~^x$udxm~g|@_2{OXE(4P{r}5Ug)nxecRaDt)K zj1EN)Xy9gvJaual^66Rs$-C)t#Xjb9JRef|H>J`{-Cp z*LS$)43AUQ=todqYs?qdSqH)!K5)p3VcWqY;2*@gg{)j6u?8pNX5`3~Q~r>Cg8upC z?olrEj9p@m$7ezJmwJd`L6%lq#*YK_eRvC8?YiGKel`byd&XD?=@IU3qT>SmUuR

56*w8T3b|jL{YGa&Qp)XbEKNVN?eVVKp4ybO z>f(f(s&U*IytY5Mo`tllA;wO<+F#c4RgU3I5XvKhPMTJ@^3+tBYhqg6E&i6kBbxqL z(6g==Y#gDzzpzAYrO>d3rd&TSYijF5W#}5>gzemS%y207nbaP|X>1-fp`O&hb&H_h0vIF{sA5NT68o~m~Tk09p?EGlYOYj>1^~SvOVv*wPR5XoEqdR; zp{~mI%NN&=`|G)1J^(h1p#nID-&C*CkADwK_HGfO+{a0m#q^<4!sF71!V5rjkp8+c zbcyt3@1>Ve`SVD7u;D;@`yq*d(1pb~#OhbH)PmT}-A)U$FcRgO9-4>^z(HRBZ?99- zCxM845BoTOa@YEo!_0i34vtTM8mH;3e^4)brK~4HbXJH2MR0~+ z3DTk7$Rj_|AdBxDqIxK!22U#MMoEY4-n_j#uAmVQjK3Q3aNyAb^ac@^s-ki)1PI0~ zD@Z2>wXm<05^BAr-Y`y$;*@TQQ{tF*Is<_G1n~^TeR%{~0sFv&4~}~BH)1trtG(<~ zcGe?*Ai!F*ZCLprn!{g+z+IzK2Yf-eFvq%G8r~38m|zaJ1yk)A&OsW&PgWxF&@Kva zp*rnK%+qSwO9l zw;LVqu*6@1k+|@qh6+t;s#hm8*Jv!pR0aMbV_i7Fo@&H6fZpz4z`yB=A>UQJ2*<@< z3aYrHx))l=GX#OHMsrEwF!=lvs8A7q->UZWja!yHnz(EeZYTnKeGnrI^wT#o?&Pp- zDEP0o6{2IoOZVI-3g8c$VRQG@6}wDvBoRvBWZeFdZMPtTVIF}r><8Qjp^(e9!5-VO z&&~9a&h?Yi$b4L%%A9+I+IIlGsKCU!hkORNnIMzRpVSa!be7A^lRty54roGuZ9@76 zDiq*bQ{&XnabOx3Ljr=eD<#~!agoPzoz2~>sqcgiNDrUA5acpaEAn(4RIpBu(&N-p z!R`$%A9~v4PZmDRpiF(KliPpUsKSHZUa4BnCp!QQ8k(@6$lnIr68*bshv6asmRcrYFRrGYS8mBBf_@TtkV^9k6(*ur1;94149 z>~Gg7UHV>4ETG#@&-4dAD%wecS}eU^o@|8|21!sqg)E);}66p=fAE`X^nJvZ^KT6uuJb1rKHs9xoz@8KG zZguzj{_c%`9oDu)aQ&8q|A?p`dSZfIkFX0tnhE+-V5Q#77WlK+czsRat2XNh$#gRgF92IA<`l-rp$ zE}r0{rMusaKa-N@b&HNUX0ZO=7CnO~5qIBg@L)Vl61M(o*&fWX;q$$t0K|wlXK&*5 zp44>h{5w!l@M{JgDyEKdGn6>P@*TjNSAty6KZmiAYwe-K1+SNXXIo&@4P)AG)QWAo zhKbhyQGna)*#R3yE$7jhEJ0Xnk(kBdHLXtgDw#VVKKs_LFmSe*laB zk$t#NqL=!eN1C0mLzi{*%Lvnb^o1;K%#CgNu6JV4ZRl&ImtAK?U<%FjFr_uKSYQh4 zNCqA(Vi*5!GM5*BePP|NzrApE+`!Rx6Xcyu~XV4XM9fFHP}%oK}CrbN1}Mdd8_Gl*^ae;91R0>@+CJdLWd(OLg2It z^29#F;rKG#hPwD)YF>P^XsnH?)#N3)9nFhJ0)@UU0hXGZ+gI@2y3Ncg^~1)+IG-XX zRuN{kmQt6}SQC=zL(G)eo}41j0xy@=<(?wGxZutKskALdkW? zC5c0p9R&J+tz>SXl+=EB&1VNPAGVDok3QIt_DiUZmDFwVtx+Qrc2ThN&Z1*MyNhLK z*w>AtW6mk?={O!vM*I<0~byXm|v|kBAx6c8eHi0b_%Do02 znk_p*z%>sF5tR#;*R%Z4hQN0IBH~Om@p7X8>Qp4UbV_zoG0NjuS5}7$wXV~oK~NEL zZpK!B8~R5S&yvj*JD&p>0iT}5k9#Af$+T-Q=XZrdinB-c<+7 z+a^q!sZ8kfGS&F?P2&05$|jq*)IsiYBauvgOkb8s85BtdkDJNe zo)paIt-k6kGt0@`sj5apc&uZAt@KaS8;IC{a%lqI&qof;-hlRuXcV*45JXr}J57G$ zP9vtEeAXviM<7*l{U!#7`@G>Bc^e(Tyv+yqFq5Z{(QaUrsGyQe1ek!bq0zynXZWRk z1>0I2KCy~cnRaVkqFv3FU#I?56;KoMN$}u@P>jrs*9&e$jYs^!3qP21M})RpzC*`< zRl?x zER0g+hbTp`ICg>>$^JeAlre-}LvRon-9x5DIOU}LGoKT?6~Eq_ch40KTol?V*v0Y@ zUB}FP0q*`Lzh}~e(rQE^I;vSA8x9a72Xs*rLm}|BAoVCyvsoduZ7cI%S+~W1n}kcv zXs)*@56rDZ`zz4W--@=95Mi6vi6AIfQAqlfGVB)kepPBt)Sf zh}6Yz&cu#JF6HNe=)sFzF+VSV#{BZNUrrPgmw>FfSK??k#TOB__Bra@QRU++TtZe% z#wNr=_~>g+0a_uF3^=N6a3>d6cz|Xjnei5a{GoV0wSo$SyOjCI#+51a?;}D*v6Mj^ zj2Cm>H|-J3*oREGfOd6VaS;JVz0k9aEmj86@p`SKwj-Zz{Y}*mi9Bk51OxB^Fb+oD z6QZcZboGV>Du;wzlgH~XhPl(@&E|u7pAl^7%*}CcFLBUPqsWd^4XN1c%0krn;W%&o z!dSU26DA9siDvw(QXP*iX1eQYHP~OKuVJDLlKfp+Dl=!!n7uf1U zmY(7P?J9-bn$>3IS&DVdR|AAX;k!w;1m72vT$RZB$NM8zGx@8=tVzqwZUTn-hV6uS z%i@gWQ}v|P60N;W7P+bVr{)34*biH}D+)(eI7smY57FMf>vhfCTGla$N+-Ns69g|mKI9N5ES}6WA^Rw;XD289i)KG zWD2BT^4On;97CAW5Dm*-sAG>}jE$lmoW*N%{nN#N)47oJ8#dLYAs0NR6&mD*k#99p zV}=uv`E(Tq+~+IjTGIotob87ODz>p7@_e#Zt!U{2Tj(@!yV4RTo=6m%XoyXXbi}k=LqQEByHc}Y zazm-t`Zy|lNlRiUnCbgg*M55SJVTUy@lgQ@e`O|xv+Ox7{#;*CqGzd6!|l}wkzsm> z6?P-@bI4wJw+_-vat6kY>&6`52_Z^z(Qn`kkE>6>-}t}wa{Qo6kqkScsW5+%2U{W$CjG#Lg4F})D!k9rZfI!iuv+vSquac;6LCk~~) zvmZOc6SK7teM)eD9cNaxJM4#EbmjQ-Fp)fbQ3D?vahxCii$N)8w~=u;bj(42@Lbc$ zJcOkck%OE9Ga%^K+A3E`pxrHU$NgI z;4(?PHqKY9;@%fo(ts2B0pmPuX;?G7W*9zmB70(`9Jz6VcU#DFkrMV|rc0a*Se*qyLDq$DPKGQ~D)W$eZCtY1W!aoXbbtdaT-4`YrRwcnfdGhs+%b2&S_-;2U zQ8dm9z#pO;Zk7Cu+7bVMrW~Y*>1_9$KOKApcOqU$gc0O-8%V>8up;wo0!4cf6A zx`PlV*`tuCG8076V!5L|ax<|Qi%JmlcZJb$?Jl50SqA=&avAG?_sHw5GEPJ{S82Xv z8#!Iij^G>fHY&vSkz>k9*~Wy$RjuQnoik|RS~nVfCr!ps+y0v~QYA@Mbpn6RV#k(+ zCT7GO&7pd%zA%yFuTLzpOG3#LEgHBB>m z`EA%D)Y5N*l@acg1_`yBl)~*~XQy$qTE2!{p9hQH&C}2@E2Zcx^yVM%eDf8hAqs?V zfqzGkB!kL7fAJ$lIkBpP#)9w{7gz^@VU!Iq!?akx*--%fOV zmC3VAzEOQ~b+c8R_EFgbja>ZPEnhF##>{n_m5wcc4`6Rph$fiDh(dO?e{Fcw3bMJ! z5R$Cr6qnik4tw6}8kiy6+v+5Hme6^8Pui)=iw?k?wtTUUADQ6IItS@S*N*n2O%rnH zV`3VrA!vQvw!A<3yv>Ci%#~VXB?>oV47>qK{Ade^ZX(X2jQasiIUZ%tsJA+$m_ zwM^H4;XD!cXdgYFYq%@p^Prr0M+pi=Ybi}p9?+)#YVoV?i%ZA=`r}Uacw@_Dq(lyD z`C-n?#(WytP3kIovL|#161OtucFRl|0yF+ODgYTN>A!!ZOm!4269}o_$ z;m^VpRShR*Kcn|n}E*W>^{xxq$O`%*xF~&NU z>g5_ekFWL=7SvQyZsehZ{;eZIeoeH{lKq&?-h5|^>ulfY&ASlogX}MUeR19Sa2M2n z#u8f3I&nPnU|T_JQ=d551xuk{Hpl>ltNH7-J)r<&BHpc*COB9~kIRm4uRrok$1$1X zMzwTvm$hX7XIpK{doOc1gfN}wU8D}TwGm;;5k%SCJ+9p5*)FM4e(m3m%1B79_~iAR z4t1lMF!sX+ko3%zPb_l+`xc&qq8Z(PO=!A~!a`bl@hh*r;c_(F*{ysOErh#p-5p+G zsB_o~oPOoQRIi^;%Sgo5T-)8!Z4Th)=LJG37H{6|6nk}ZaYd%w7aTk|sRY-afr)!t zX1$hfpcX}|^CCPt;fWwuQCKF%Vy#~K=oSdvLy9LLd;7L2R1d_fb8hAMcsJ93QQ``J zjC7*Y2$GH^_qG{G&qo!$zH$oI>$QJi0X;*j-eA85yXot1%S!!NP?THhlafVR=3=nN z=r)Od<)X+WHm+hQhpX@l8+x@vVOmV_LFO629ZR_!yI37~#TNL|+!G6F8%SyVx^zp~ zKppy>L188ao%~WWvZu+xOqYd!lSBulZA;-7=H6;Qp!>POEF+Q&$BnmQ`EGx;=CyAE zLU@)c&>}u(4(85Uar#&6qVflXS$MBvv|N9ft_do3eWv3$TX)Qm6<3S(W(N9A0fd8@ zictIPcK6e>SkIMb#kreeuWH_NGjPwWoG!J@d;U~Hm&X*(d`GD21M{+fuXBWRlCIfN zyOGtn2mnND($c!V&!uE-THmY^ao^!krTJHeL|k^o&R^U5=FBTs%0d0OH7AUPe{A&U zS--^HgrpexvWgP+oBnDADf>yWm2o$%QppARxX_Ft0@VRUQt-3FCUk@pJ#MB836J~- zB&h8pQ;IZaU)`OJ;!RF}IA^|K{FkDGSIDo7NWU*3`fMf9%mw$eA<<=*PAjB}@TW#@ zCIPX6%vH#As3^Q-z-ZD4U-?HWb2#HhxGq*oW!Y z7J3r29>TFpHfDP62YGxQ9mqigZ3Mi|CUma2jAYJKV$^1{G^Kfe?^H`Wch@$O$o=BT zP}+hbCP1erX7^9KiooZMV$mhH=M>Z5VAdBxhdtcXQiZ!euA292t>L({dHg0goF(={ zjgnm<_=D%nLRtd+&8pM-A|{Uf6z#QN+Q;OVyIpHU*@*A1J^Pq#(S1T7=`Ti(o_82{pYsmtkn-<%xZ>{sJea=}-e`N$_nthtFDSaCNC#kRcz? z{FNP(`9AZ$FDyI~z*k?M^SkFS%X~?EkNxg=W5yV*!_D4*LNKa}7Z)djwz(o5>iM@; zzv{DqbsnM|W@;?Cj&bPyZh#aZ!)*hL;a!-8^>flTJSz_S_0A?#oUr5?JPdzP%S~7x z2aEPGkZr0YOY&L8Xq{pea?u-EXoY$*%&hZ~X|lhF2bt4dp92p|%juGa%j(nN5xfZv zS+3jA;c;MpR^Wtkcj-9@{%CpNq21kBaX*}aw>~2zIv&ZE&6|5pKnkT#gP2(h)z;9r zY_ybw!v5Fudu|Cf|Lf4HQOa)};zZOsM+$iWZGmxj`xh)J<&agvOO?QhbbU;IZ^|9V z?a7!GE()xXqjTUbS}n2`8F%gbGMM}=O@;T}8zUZnV@*YwM4K5jHx@f?@0}hPkG|$T z+>9QYL_b9KG@~l1)Zcx%EfGW+u&qyNdS*tF<)eKai_o-DtVdFNFZRHX4+j~QkV$vS_5Nb_WDeqvV3|j3* zc2$?dz&ZQuYqG+_ypH8*!Bl1_8|Hkv9?1zzR?;NewIY$s=MX_`x|zg985j8tvNznb zcaXXO_Y13?hxw0k73$YI+IykaHu8C8=q00n$>Q}h1XX8QR*WTCYQhmaQil~|CtTRS z3dW?SeRchIGc~X)WKfbT+4i0?Xk&95juJD8lj`&2qvET(#+TKQ0`t9(HF3u!dIM<> z(|2Q3RYiN&v=AHGdxK1-oNk3IHD`#6FlBB5om9eGq@SRb>9U^eI7)UEM){ z9KnU<^N33Uk0Ik8Dy)L@*44XKwOwfyv6ai{lan$6rOTZ8p~2?_fyytv`mY~e{Q3gD z5-0eo$16otkq~uqtln8AHRupxPQ~dO77UR9EOJruY#a0}grIqb2iVawwzYj7`lT{F z2(w^WC_%mubT;hp+qa<;A?x)kA&I_!W$)N}*l*jl=iLZDpG2+ zDNf}ynGT(!E8)+yLYirOP+-=weI!QFFrQJq89%q6P+2*DCviIf+tr$Xx_-BwKo_JK zJ&wO-6hZku^i_~4L&UI>HBy#&E0E^Ng-?uryWI+mh~DKek0Q?|=rtuaxb-rB8tHFg z?J>1=TZg^GWgvolM&;@W#h2+dl@x#K#Cz!HMIxcPQYKLz#_CeqY>oY^%ctsI8lh~f zb9&~k!!YvhK$k1MCYJzj59KgujOQ_xD@b|M5A8=4uTi^_Q~{$i1xKLr?}2S|%el`~{rW0A{u=e_!S4&Xn}3wV6d%ZsmU!>_JGfleKJ1b+ zkf6&k(PDU2i<+<^u5n{75}f_OhLG#eT)+qy_Z62`5{{nc8qEK9~u-}g&fTJi@+wKm%2%jrev`F=B1_zp^hQOa5w*b{MNAtQ5>NdwunHtuEyvNo= z5!1Am0U!IP>s7=o*7Nzb^GG8d2}9ij?XewYz?jF zw59t%1F3RRZm&~1IQ-LCx%ZpK?RK`>GXBwiJ3rt9n&xK6gR6hQUz6#`4UiSTw)HsehJe+E!BEig`YNpdEjI(xE^DqafnC8e*F> zkIw_A|Rq4|9<%@r_W@YsI?gZ+n!tyGiGnU2A8|8^@ntB zpYNS7qSlTU2M_JGx#%J*ZMWj^!mcu3SA{PevG%y@sP#@xHA?tP2*l%0QeIooes;zW zIIbg>?sy%w;9sUy-hkyBL0J4 zA740fL-I)nXJ!L4q7j36KLu~N|N2JAhM1q*Yko*q;YNJAycZ$C3aOhA@7Z1Ho@&vv z=R5e>{g~aHBW6+rb3kw2eAz5R(%WvpsK}ehu*%4P!G$)BJ}B`WXebrg{aX_9EHD7V za!P3p71k6DUc7ravB`I~4yZYDHIeykw=Xt+8H32zbz<9rU?AW}9Mop~*2*oVMO7dk zX&@(`KFKKaxkf?hk1C72Wk*#Uha^8C1Ys7tD>L-3BlGuJmyT;M!|rlKq5R?nYIJtr z+VH=BfdeQPKx`5fk5bv6&IY<8FS&)EJfG2@j--FlN z?!zxd$;QB{=|u!vN`&27C<-~`HAL+Tx+o!LNE~}5JYj7k+&Q|yHsO3;Y*S9sN_$aS zN_H5)pu+zl`(2!95g$x4l8i7TpFAm>fNGI{!xT8kv zY8DtP+eBS_dX!3#yG(J2XWpKnic+?elDcml?O*Q|zBaXw=G%hAUkZ4GB$ zS&d#>T(759dfcWjGOcs$cokVbLwC>t68uOl<~L+AfY_YXX7~bjscY0mN;Dh$Dv;fO zgkFW6Wl-fnmxf_*F7EC&*x)|6ySp>M#oguN?#|#kxVyW%!{F{RxG&%C*8bh9bSg=A zoun!!U8mEh-v{;~&13Rak<3QFpS{LtBz>K7@jST{Lx%t4*=B0F2YasLjjVP8nx9Bl z&9YCl*A@XywTm+R`_=DqJf)BzdSW2*oXnG(4yPuBTQz;B^19>?7q-oI!V=k4C+agK zYcbQH=Cz5voi>u=9qVKhjkx%oqz++cwPWDP!2CGKH;7%W{u6H9?WnzXuQSX{i!OV! ztVEPPK0hf-fth`BCchx5Z^#vwg|nX1*^Fw%9)`jiGb|*4ue`0jCWxK-jk=BmE$8o( z1nt|_!WtCKPjGNNGpbFeu$&l^ti`cHV}BhQ73&JL%7qn2RE+%($M3iG6k#CIyCZ!tV6@-i@5DmlNF}t- zi2^w}ZyQ6GgU^Bm3oVTAlwx$9qVI=&=rIPMGMj4y;h+(|90Tl4z6G*guB|w+DT*Ok z3IO13hwrBQr%PY0tvjbz==Y`25tZQc{ksiFx8N!ww6iir|Cat3R}3ZSA9>Uso;1WC zdj8rG=V3zBHXBB9V4CzYv>Y1t2kX4TK*ttGWoV{>1f-<+?xdVsNnMv-&7NG5mZ|== ziX3fh`V5L;`6q|`4r%1wwfa=i`S9{*KArjpeIMAQTJ!Jby9A&flmYH6xi4qApVQm8Uq>laaJV` zDHZ>0_t%*bvCN}G-`r<{Q_DLOK&x;6G7~$!LddpJ;t`AJBTa%?Ut?dnZl1C;Ve0sd zWNt{eNd?_aGu=>q9euf)Bstya){PfvSG3kqCjS{|YU}?bxqIq6upQo_QmxhaURHVW zufA<=EW04XPyB88Zm9NvsXbonwDmxC)*DbjzqSxLU6g7e#GRZDDY;NrPj(K!#ee&^ z(n##}UY?Z=y~{a|$VPvQt?d4W6CW4=L^Esy_nPnwCI6BTWn)3 zRW3i%?I*i^i;+uY9#%1k1#nDpb{YiuoIAu2y0Q20PznovuxIf7Z9te_qj~Io#IHfJ zQ4vC;{&=^vi8!?`=rbS28bAOQF7OUPn-1C3_TMh9PSzd12#sa^hMcR%oFk{8-q7B> zG`;gymJF+gf3!~#5TdLK$*Jrb<_(J0+c@k)c^1l?av|j{(u~JD=w1SD?WtGwx!kEL z_3}Y96a?-rCXGApd6#DR@)$p{_Y8x#`C9x?&IuTG065rfIh|US+(NKa;0fL2w>2vlXG}AzE&*(FIN$&xW6UmMV1*OyKb=^ zxc}FiU8`gxFt|g@@Nk@kImsAMSjlkneZYz@2HQ1}SfdpW{PH59`k9F`MW%Z&7VQdo zzVN)W-_ul8hH=|C-Fy&aBtJV@wk{_(YyiFE+m84a0{E8~6j;#3v1U;# zbI_;*z&}Av7>XOd+h=UvEFOFGW0-_LwVuVk7Cdh5`#fJxs)_knNFD%|AjP6Ej-d(Z zuct-gUR1{;}6lKKQi+!j8=o7(#3z_KQM)6_~FA z+uSb-mq-E5`lS^{E2w3MKV0X#T%9)TWWRml0}-&jmOwe)M48J1=v*Q|Jy2hpesP8#Pd7M7tzWvv z4bCh-;ahTmHHFwkf$sf8q)8AF*>lvnp#9rdO+v1%}vjh>p9arYL!M&}J| zg=FAl_CPz=JgA#qK4Ti{^v9trJIRPrh4Y zP5HguFPv{eH-Yvi4kl2}0u`i8kGdepE~sgt_N@C)^sZm7A6F*;+)@S4582%3q}NQ2 z#syyHhzX3r4{q7qUeQ|~a@#!k>H0>+$cQpGJ~xt5TmGu)?|WUHZGM|yO$~%admEZ7 zAPJPwreCW3a*=v$4MzpSa{<&G*n-^ofsJ%vzLt(_c(LV1)id7DcedWn{I=2M0qyJP zp@tuY=%HYJ>UFIVB2XW5;33y)-{j^j9KjRVTf0SOn6GgY#nHeGjr_Jd(x7v8fLNfw~W9g}VQ$0jQ{5H~17GL<4*9=mc_5=)Q8kYAPn%yO)_C29|6$wR2iN z08J{K8ziX1282~Okxnjtl2Az#1AA8%gY1B5gavC=EH)g6m{Kelm>JWPzq*ZgvN`w- zs*m5--B?|mTisv%czdfPj%y2*gqA$_Q3etgiFE2nCX4T-dyB!|E>Z;3zzYz$IE%o~ z%BMF;JH4+zIwRo4&%-uZUDKfcpvQrCXO>VoP$WBevf4;4gzkZpNp0WO*C-lOUZf8` zw72S-6Q-+kB8X-BULAI;JLOZ4;V3745?8Ok&B`X*Gbs&A3y?<)PnchSUQ2?}lQkEg zHm{if)tS0#2gi+kT8fN1?$g89_R(juz+ak5Y7fT%;w%Q||4Y(7VO+G{SC^U4LbCrQ zzg8U2iFZ69N}*as7*jy5yZ3C^6|g&`o0mnJ^tkFUTyB!etdMR5}YA8&y z85e8rgzre{Mqi4`MRYVd0MI=Z2fni|eoQSPk91|OoB@hD&58+fyD?+M8|7Hs^ zfS)ok7A1%x|NBM@kpP3-Q*KfBmD(>zC$V8ajF%D3@9TvKr|cDNc!C z0D)>f9kjP{h^5Yas+4t+fw0C-;m7Q4X_7-JBo!h&sBo^cVTuzRhdpk)Cp- z?trN=NkJhZgdzP}2eBQ291CVk#tiQK8x;2BuZzjAD1iWTF%S%?NyK&=G9XGNLUM}G zinOK-csaQl6-a@cQ~Q^+X*Onb6QObh_giH9R^A>iMRrj3>Rs~pYef-PLP6yoM)jaHT|b)(CaKt3-%%g#{-3FzWWOp%m4fYHCTyL0-LaaZ(-d9jeil#f3Wx%LR2Q*E2vh|C0mJLTtQ+K z%W-$sD_XW0Ng-*c8%vW-$IfPQfTF~kL*c<^%X>v%3pGOBs@7dF|Cnq`@evUFdZy}G z;zUMb9E*p9P$|`zsQhFt+IL5)QL~||>t~Eshc>_)tOxRTcnVrM(7A^cb%vtv+aM{V zxO28rPyRB@eew5P+`#3r~K*XwEDvWs3&$BRUNCA+TP!t(Si44cG>)UUwL%0;OU!gGL&ejUzF?6H}$Bo6= zKQ~PEQQ*L|gPJ%5w@LRWeU!qLQ&bD+>kR+B3ZcYghsye1*orpKd`~=c*Bu5QFMJAj^!_0C;?(R7M1P0wlVD4<4>OwAmnQdqmXP4? zYewM@44@OUn$Z4GvR_<-e@)63CiNB&EfoLc9mXwecioNmu{JMDk9 zr}HoWV{elyy4N#9(c4Gk0IOmxpDfKw#{IShm#XLrM+lCUYU>I|1e?H_a11y-i%Ly$ zg(KmqIB+48kYi}k#dmgILq&t)nf{Xi#>$!4)cEp@>(`r}A$VjoC3~gq9SnPT3A@as z@ZGYi?w1O0VMgku>sM5D==9sG2tArp8nsgKZb0IwUXHhRw0pqSWzzNj)9!Ck=+Awx zOR1vt)iw5)G$o6Sc^B2Ss@%CI@uCZOS{rJM%H~&<6Wn-x z&6U_0;3F8Dr)z{Esc@l_CC8+fvL#1nPSOi?(Po13wEp6N1{^Y|Ov!5nH|kZyxA9u- z4EmBFtJ~eh`zhx=@itbvFWUCZQdP6+CTJ7Wr%>ev_R~^%=Swwx`y5-aBP0FhX}PDiuz2S6@8ja*Wdl#szAF5- z*w5Zv-tU)_-$#xL*}Hr_IjcMi+7QH~g{ba&Xq{@^VTYQEQ7f8crgxZTLi57L9Yd20>~OdQri;TxAzX2L5J zl>a-Yl9-MH;yeBDLFgZ6ANvQna9|;)r*9tYLAM!>yo+8USI*lK;>>maDHXzc+3)gL z-hzU?h|^fM(cNkhF5{r(vV-SxF0I>Gb8e~GIJAh8bODmuXsgVK98Wn`FNkj;J-`nG zPc!*cMyTSIM!04@{bfqvQk5I4)Xd%{K4`rWp>rb#S`WY4?VkK8)qXxY`xpClI)~$7 zpmGB(ofFc49+ZX{?s^d7S9od#k*nBFfB7{3@#l{nUL@e`UhZIVXX`^?;xs_Nz;<{S zs$|tJ7g+M^q5`)Nz`3XfxHGD|a&vNAfy>(>&g|y*X0>xyc-a`oRJPYbz}uMBW`1HA z%>7jY8tq+cBN&-DTxv$|>+%M@ot}&iK-k>zioQfvSg8jsPCQsDjb9-PC0QwmN!B8;#(21Its*5$`J15c1()4BK~D_F@7~ zLT5W6nX(L|N9M9Fwa)ZCw9m?rckZ3bkTqgZj6N}eY*0H90TDNH_J-t}h$o2?iOy$# zU2u@g`B%t1}zw05nN0N_JqvjvcQ%TF|?ZP|!W2cd2%* z@FZk|et3$E)J0HhwE-Xhn?1BLkKH{7x)6hs9@@teIGT_~;v8*4eZ)>s3!33dHE|rs zTp(W{%@e8TRXOw5b*0zy<1YE@Grs*`f%=tlgZOp>Z^72=;FfFqVp=BO@3nzN4K37+ zL%Ocr&zRiL7I3{yh;7Z?m)C7P4Cg*blp85GuVzkcChH?haj{f8?D-&p0pjLG*v|k| zmUjmikJ+N%iGV6ujZ8{1=Emsn>1k^qSmg+TbXEHKpsbFmo0GG>`owUmW5nNJ+7GZG zO0k_BBX)M9&6Di|tOvAr>0ozg_-nMLj;ZCiQX`U?NnPt`!StAoynRVCy28dp?7sry+MTX22uWc%xg(yFA0v+T)nT28O zl$nXg@-b&8?MHw9P6Hbl2CzVJf(!P5rB-5@uvzxnr`SAXFHJ=-1P^-s1P0 z^MuAg`LDV?t0{j2J6+v}&vUsSErH%jR@wFG_?v#-15gOPNvHYjx}IaSYgtC^I*qS^ zSN)@dlQwSaxX#^2GGx0mm(Yb|Wf{FsuO(z=tItcP>YW^(>r=3x@LUL8R^so>Hv@r% znP&zrYn6=oI#UlXds0mx0SwN{Uf?=5XBH6xN0wl9nHn_tT^N*BY{eg=~+eJQND!ih!)``*v5wsTG!m|ECH*%A)1g$3ZOOCMYjufH?|XPWn3 zbTn+qA9V6nY#`{$pSi->pFKbe8IFHx>*4vgufC`!@5QgRRO=|wC+*z968hi8TI>&{ zYcXj6q9q71I3@#DwQgx_)C#@-wnHj4z4lu&IIyau+<-_wvRhI~5davWr@nB_r@rv1 zWuRKZEqT5X2!?qUHyS0>@59*!-D=j#e4@+=&^Xpa6NgG023ZE|gG>s*UDQLk9D7qE z65M#KYDpn)H!;+qhMss*SsY@CYY8nR@;&{Jn!d*C z?G&)FOjJq=W3w5H0&x@De$f(u&XWHVI#q~r^4h4^0k;LgY$n1Y4YvwN9OVaF zu_Ve8i-XKaR~o)E@r_763XGxf2)#fM6Uq{w{Klx|z{xue_3Swp9)e~)%>S3Y7${(e zp3j^e1{NB631S<~S%e(iez*QDg|rI{D*D^JB$tXIVhyT1EJUKfIr7hLkw@9kU;TPfsOK zuzk~%KCxkMLd1gb0OTVf5+?6$Vo(bnMi98B3Qn9Mfg+qeq=|6;r;@Peb*4BRR179O zB}N4WhBOcXIUEi84jYYg$CT!4^`40K@J=T*W3`RS17>g+TYJGFdphB zlXh!QI|3y|{-dI>e_x*nTyUEQP2LWp#3c7xQo-SRfGq+05&y)XlG9G_DF|qa^X%B8 ztMYiON4pbh6hOO`OK4M~i?R8$}>+ z%NKtp=gakzSB461k5^*{NCfjFNf4z> zwo&ipHH!aiBGE_2`>k(*2^0l>2qK=@aK@2m8NuSseeJz7!HL$7P|-!by0D*uxuXE= z0$X@-2T55ROMLeda#kfV^22HAdh#)*~TUA(q)4!I;%k zXTbb{)gLEIA=|Lchy`#$_b#<{%=;esfjN~>>_+Ord2_i68g7qlM>bz>H=j6jE~Df{ zE7byP6gt3WPkrgQR4%dvKdTH=KdHPkdoe*0xA@-AsdRYx@88oN15JIibUNYo3nARe za6FOsrP`V#13oyssW+=lLy47>d^O28Vjx$x*_B0F<6T0=v5SYNuTNd-nW=g*W?g}w zdW#vi!17oG=&pHY{A%_ruP9#k+Kbp11brg?CvQ4!sCb5?v-CHuc&&I| zP1_}FbPp#3Rt?q9umA@ZaI(+%DdJRRS(l`k{!u262r6<-eotSdJV@mJq&L#e2;7JK zS=eJhnGK{ko5#D7L!fT=I^o18`ThM=dyd*yn z`S^8$%^Z_olg@3i66U$w#*`KEoR|6THv~^Efao4ZVse)1VxI;isl_|$Z9spcQG#1k#JJTixwMG;xq-k4+c196s% z>QTZsf|0E0oHBafNf_l)as;Oh>N$DH1-xXz;9Dr7hfvwPo*f8e=jnS}yn{Kw)B#&$HRBYKh6L0F zK%9X@3LO+AYp&Vc+z%DDfslp>usw#iYQU99d=WOzrg$}c< z8C%9Ql?C)@$muS0O?xLiRe@)yS{Bv@2pcR=j*uV}bQn>E&oZ1Qj)I8&1GQ6lNpunL~1apl&(a#cgP)81v z7q*-ogU89wluEl9(1MKto^k1--q^MAa06NQ_@&cN4XN&af>wS}eAN}seBt)sd>(8L^yty#6K%}9vyH6a3ss+x|r3lT@XdUSBz6P-d z!z{bYpfPXji|{hSuX(xzo&KUn(4ms*5B%N=b)F^X?5h+7a%-ZG#G)rp6j{`cwlDg? zU(}w*16vrL=x39ZoLw;>^FsjJ0B;bH0f=9K`=tit`p$6Wfj5adkY}}XqQoY{YAss> ziF9mH!xh-|%LEiSfMJ+vxo>PIcOKjG|8r)G4ltIjiKpK|&5QYl{$xYot^mO|Wz<1BPw5PrA7So6u;7b=*G&f|Tet-qp8?AoU1w zEdpUvM*0>&f4(jDj9B=aF;>?hG5E5K3@HPM)}mVHg`oQ{O4nr^BQI?nqexv6qfmRJ zOO_IrBK-T0l?o;#~bTjUt1GFixB7CG>J*3^_z_g3(^0-UkK3bjn;!2PD zeJ{Dtl%C95_j%3yPRRqbr7?tR)Jgr+0DV(Sg-2;lM}L=t01e#Dy^SyEjx7a1#cAsS zC-OC#$);nu(vWAKdDEOnUx~#|iRFsSNI#y*?rTf1pU+vZh7quvrLkgAb^x*4Ik@l+ z{(fF_4^-1CWeU1v7Zuy+5ZhS47FTz}fYMjuv{Q1EX%pJ$h-~xt@0t#wr432ix(TF zXgv=ZJoP8kB;9bk^3AKbJQ24@>VjneoFyUn4Hx7r`u}4EwYl(Ixp~)SbN8a@>s{*6 zPtjo=F<{x1>X1GY^Sh&&{`WYxnTZQ9hzQHV#LU6W%)*uWE(XB=zq4i%aR3~o2(uU$ zCld!7vnVTg%Sdkm}d7 zNb`|4Vnlo_Hku5CzqMFN4r$$k2b>%m;9*XVZ_Std(%+%OgF2bo(5-~I`*y{T@A{Pe zZuj@GE?KA#Wg&ks#47}$jku=NCq5GdN)h1|UO~{F`3DSz(-Feg z2CvMq$6kq67d<0ihj_?Op7Dfx^mlC_1pW+q?FDZ@sm!Q>AP}_@JR{?S@#sYd8<8%j<+%HN>@ zt^unLkQ?BNF2^D7H>w)R*Fe=5X$a2{Sd5VdojS8`2eD(y6i5Y1=GW*^Yw&FF?6cbD z(Z>I+Y=65;(4x?V zI0O0sq52T*@#TE?;W&E<8~TCVeGE0x9AWArY3fO-g*lIPwx6?ZO6?et|{zA&rg(87n}~N`~0S z#2G8Z6rAYAPs0snBNQO!>QNW2B&q;0tR)#JFuWY0ZQw6xNe8ntMaT_=PigX25?Sz` z(WX$8&qqBP#(@ilU-#Ps?#p~3(u@^o-^QQPLKp15t|fk1;1c_K1{L5K1Sojz84Ztk z#y&w2`?rvl_(7NCnz3ldc69L>z$hLkNhT!x8AWC}xeIRBH{8A5G zuJAg?6|qg7!%BsNVu6c2ekRMfeqs~&(;Eyt=cIHsut7}w7~nYbw#Ll=0&ei^r(kPn z_IfF`H;p@297K!g>zKEe?KjI@KRXQ+Xf!-6I-NiQX|2h-&MyBUEP=j9RlRqviL|_C zBEQ$QOwyjz|A>(X<(8L*&r&{u-)p?CG7U)DB)y~})h}<&8ifiH&!oEq6bN=sGv{84 zR}RIk<_OFfQTwf>&kM>$wWXlu>YHMe;O{KsN2PbZsu6mD&-g-OgUd-UAp+S0#{Hnl zTfPD50<8SZ$kL!1PlJCDC^&xp?cwSv0;}$ejg8S;epW&**Wu_*55q3 zpq^%7+*YUk?0oNJ-uLe74}ah;rfuDMS$O1jJAvJ09GK$-3xXQ6qE2ykBnsm`?G|7q z{YwCB8C&dCiA~=KqL_ZHA=~rxbx0C3yoGs!*@|r(A`>sxHngF3iM5~*vV)wJ@oSjp zjGnM&e~VLtz>&ncaCQuxu?$UuJZ5odG6cBu>obpbU!D?3P&vfW4cFh&u^RxQ@mpe$I4>teqf*Q10^h|q%k&2@cImWprs>9v&p?3_O+L4z&VG05 zz1k(_D+h{blcv29h+*%co$52z&p+in;0NbSV<$|?JxZ@JuIv<0nSw-I=MK~pAjWDF zDF8@9n`^Ew9xJB7em}XOjSz14iH56gKNcuS$r8 z>t9biObnlW%N30tr_~4k=d3S9AbAFX%jF2HL>BMqdOW`TM^)OVSw1<9t3)mDf12Ay zijP8w^|c>%za|Mo;Pzy4S(~XsIFca4gHoQ)e>6CKeQ~2Kt-cn#g0QE8KUd)H$hk%( zsW$+>>F49-jTi*CtQ)y_N_l=Y4!qLO*Xq1pz*vTR35J?_>d!-)230M=EcicYn_Uyy zsLhX;i9h2g67xbXbY_E{DoFH7jmvs_&wcr9S=-!~&pIQ_Xr)Z+m|dQ&X-yu1pln65 zTBjrmwDiHzQ?%Zi9@=4#$;LInI!&JOa!u%`zr76n>fvbt zs58{R`&ZS1+Xl+n!;IY8v~kPE`1s8`FkI8$21{^rOnp0#spVz#L+iP855*)tp7HHC z$FbUj_RDj~GVOYhvl;Ad`RZRldSD_Z1W^v`W?1NdmVB>-2xq~Oz>8UKjAl&Ji907N z_y!_yZjGt3^K2!H%G-yBaPUo1kc5?gP%ZDO1nvLw{;d>`8Zu-KUNzK$m%1vwHdGLG zS2Dq5oEcNg(FMkqkp}jaA!J&S-p@AUy~8p?4-PV!M7-wgvQ4KpST2|XX&)}@;7w{Z z-R{kHn1&v*w;8R%ys))dtcKR(F=#&MlC7_8h)*QcKw-UC{O=W5y7F(Omb2ITga2~$EVD2~ulb^j}HU*P^ zt75hZb5p%`*sbzuM5k^TRG-^@taZaFpq};+QAvmQtnPXJ6$q)nh)WezBzJx0iL4v{sJDGB`mgS}RrurXz&|KMTH^daW#O-ZE&iqcnsvQ}H zKhfM-iNLDmYGU~|G5{~7nb%wL6|408Dav1DU@(^pi1dSV7NeurRyLB?HOk9(gwlmt z?r~uP9QN=T-sFSwi)x^1V2^2NwZmuU09FjiYBkWBYb7-)N=Cg!eQb4o2z7l8x%rqH z>Uw1-_`j)^>(n4BoK@3NRiA5B)8jO>5`f8Y!pYEeU&qo{nngAh zb-C)Mwu)cW#nZeyJk}o`pD>rpScw0d7;S1~15fmoBW-7F3Gd`=sz3EMJuFawyv^=mg|+U}_@S0X4{x28ZaKi+9-NQe@#_ojPF*np($Em4!PpQ+ z!w&LG?#_-9(;)BF;J|vWcQ&t;vx)%gfJZ(p@jMcoem)Mbxl~7(-yBl~=DIHPhg@cBHn=oNL-V7TiHGj?l{G>Eu*x@uwXE&NJX2rf?ye*qSBnRU%4^ znMpuZW@PGMSy|#`G?n$i2Tx6ECq~(XWSDy9VY|=oUhfn$0o{KXq(<8-Wr?t%>C2jB zN4#YCFG%!du^C*C<6OsH$>&sgl$&HYECANr0VTGG#C+>=N=4%2S5Em+I{NeWba7U5 z2ODvE?WKDI@-o)*WQrVe95dH3GUy5k(`+E@(LC}D>k-M_LktYIWU}*V*4q|oZD^_I zT{;la&cN&P6?`=yY4CQ3XR)AWqV{q7kEy$x?L>Ku!CQ?)P3bSj0eq}_;kSc@J_Hq^ zMCpoys3FdTqU&@k+YThLocea&$0~-j(>w*(U{<4{J-H?HV%Q7}8H%%vS@(|44=-S) z2c}UoB3o!z1Kvd^Rsj_E#>C^i1DM9`gsTAFpmE2p-2^>jt@)cufnv(&TbWFkO=Ybv zm>aJCrk%QdsO!Eq%_X;noBHxHpY5mD5A%UzAg zsR*zpAz{v{QryeSlHHRi^LH&0?&@_zE9c+rH|5-u@h3(>)N5Yhw#yVvQpV)U_2wuL z2plt0CkiWLPcx9{lQE|#soxckiLx4qS==vDO&{U_uiB!fT}H6te$-koy||0Cx`EcL zN3(B+IPdj3t!h1sW3+w^bqudj*R30R!k8HmynelFYBBa-qXl2LPt*V2k3QdzUSU87 z7s6eF0glV0)x98O1`bF>R?L~v?~hOvt@Zk$l-BKXz(!b^*T;>!W`Ix}NLVVKpTQf9Kn1OYR`th@eAoriQFXuoFxv zAC9mexq)MWz#l=g5w&nPVRcErUJco4V42~|(HD-({M`kW05#@_6oUE!dx73md7K3r z*gw-F4B~w@n@oetD3cUviEAZdT1(=>x+tm> zEUkia4kl4-h@xo6v4K4)Y(x_TTk|;e!P3f4)1X&a1xqYYcMd8W+7oKn93O$=Hbkf+O;Bu5R5Ft4+3Zk| z66Zsgt=*k{TxaGy>`?Z09P3~T>LM?KWZ2}sg{SJ+3rUa#us|&EvER-FjL@Jda5KWD zgPJIrq5gFjcQZsTl8gS^+)+}JDKPXbuP{78wwVhkRY!qO{#plrSd5K4{tVKxy)wxN z5twmlW?Yfpg$oJqZg$H|7vXA&NocjqnZZ_@L1WyGdfw%~@HV}4YveMaU#k~=Lyi?& z{aZbcmgEwrl>r_{cn%38tRynOSh-z!Z1;OPet={q0L~btzhibXwhQ^L?2N40$p5UX z*@83**hH&rCg=9EW2hD>gppHIZ60^MP z`MPq(doXv8DGt05Ur0F>jI@3{ONmleWiluTR zlTsWJiG@#K_qkOc%8(7G$c{#pOCyq3QX}f=L=sGeGFsR|p+(yyo#2lfZ`${MAC?n% zhASNT!L`l?~2XXP5}5*98O;BKpq;Wq}#-IyrmY%VcA3qm@=7S3?O}%6D5Q zs9aGt)BQBA@Q@_8Th{K|JPSYy*+ zLo;=-E+ewy9b0SB_FA_z1#xOf;YKo=HNrMOXqSa-=J_f@0J5?~f;Yr4D`*pOhKAr1 z5wOe*1nMk2K36@BG#63E7Fl`CG(N`D=G$fKwsR)geAD^zG!F%$BtgwM;NCj2Fq&xVyUay!I?W^tcHVbm0F{L2hd zDM%`A=kRDBT#7N)4>BzX=e+*(Cf=M*5A%=dUt}|Ldt*S03u)J-;ji z(XNUU7*&%0o;Er){Y=C--snU;I)+c6%0x!Nu*rgtLxjKy%d~&OrFBOxHSA1Tx&m0z z^QrKkwqc|S7SiC0Dd=5YL*MRHN1$k2Gg-YFnY&KNSbYT#%i;3!NsnI*k~dG3jM$xX z%zIpEqiyBMZ&(8E5zgB1>@{}OlkNixoy+I!nOOdN>A*sTk)_Yj<*dOexpRh=j`H?N zy+O=R?UDiZuN(!qiyI6`CzackJ)fGPUciIZUQa@qa?p|o?d@tu)Y=OtEAV*Ysph!} z^A%%5s}cnRXRbM_bt| zV0Bc{>I-?3j4mMiUI-$%cvEGj6ZrQMdgKF*S;Q{Te55W6vI`oAWBEl|?dyIUb(_*8 z`|mWU9XPvQ5Cpxe*h~WG9&p!f0>j{vVJHMtUV_>$zp`qxCOlND1!LVP8L@nqRXvv& z`a)g;tG0--EYzG!pa=0v0L$?AlV^m`&?7<mNOTCTW zwHDH$s?w?|r>aXZUz}JHZHjSS)0eKfgW9kh(_}ESlv{%qYRQSHVg z4wme3K$We|XxUkN6}hW%Z2qg2VJ zQmg3Dxf(2W69T@;23Td56iw!bCv26u`};o0!}EGk!;v|mpJv+Y7aoW?^K&J4MsTwp z>@8$EQUe4Y)Z;=g;;iETDA`Bo8F$8$1kR87vWZiAxR-|MU`s8h3J}L$Ub~b1?YX$q z7k?O0U5LNbWr3iwCa_aRK=WRQq+K&msu?7FP}?cMIt9$n(CeNqNYnlaKSwF#A$^VO zg@G^@jL{^CIMd@K4gSPafK?`f!rRc;kAN01I-JXwEYwYBF5rmgu9m>m9R;OkRY#hp z#+tn1hHNtQOLEjr#UPbM&NohkNbmnlv&ACiBha)?HLPhlJ-FEsb(no_%sfOuyrpF_ zXYJ4a^8(Cd!69OlL8CX_1-QHV5I9`Yn;UW8c*LDTlwR<+0*3jr-EZt9-E!j+5%f+e zSWsueV6Q5JJlstiDi|(kV8ndLv zLI%cUo+n5Bweig~uMU*w>^u~~XEM-Cd7_hipDA{Xzpeh@-him|NHA2&IQf|Sy`c${ zXbKejAzDclwjx&WW)sCynCX%M1W6zMQ^jOX?XZ}W9*@WZnVVT#(l?!avKZU!SHG9- z(p~R6ypEFyU{LnP4Kf=+*m--n6@|Bly}9h{sTjS+O3pJ?ti?v}g^&04e5<&`mf(Ws zh7vz~-+&&zH9SFr8^cnhpZJtyfJru)gaKSAuV zsz4#0bL#B5=mgYMe?c@%6Vzg}nP^?^;Pt_)tp>Ub!C%tmEOc?p96Yr8QwLfxsR4!6 zO@|WKl~8cwA5jJd!9pnrr7Xhkq2vG5V$@dHZ}`?|f;;wg27C87%PcWWd(Houga(V< zR|a~#7IJQTvfeTrou5e=o;Nz7N0D#8MyU2d72L~@uu$pw`X@~ua1O@R>p@Z5o3wbm|w8>amQ~lfa5DkBL@ALcYerj5>KLeZYSTu zG)t{jjtSMH03%xG_i57U(}{F$wJDuK6U9k^ScT?GL4-vIYAR+tBcjmYXJ8E}C%Kwa z(cq%igbV0AYdR-vew2CfAgrB0-Dv?VO@Z*JABURey?D_bT(!9yg)!r(blrtEkcvXc zRWUrKmnq1B)!aNM^8oIVgly=x_1$AV#|VZm0Q^D`kRd{j4MDWbuRUnW>|3S_8~x^EF!wiK~wNYED?j1)&7iwDdOYH!r;-v zP%_t1>n+l~3`I;ZB~ILDNnz~myh?A{Zt$^R?(WjHg-YV<;{8nQM2&Bw0-J_YnM8zy z2vWYUPpyQngYZv95s-MijlFyfauxF6RH)9AU^woFEB7%(!LH+zyxYXS?V9RV#wu5l zQ9xn_(qYSy7i^hY{NWRO?sh6H;J;)U)|AmS4~| zChw)hV7!uc(oJK%zKiX9wiZ7H-{`N8NkKds&IfuRmgUx$2js^)D1#kQ02#{+R8EC9 z9u}HmcQEL$$|a9DHVg}q#2+NT{G9Ut$pUtKp#0IGEJ;S-l)xHo8Rw%`l-^4X$JhA6 zN>)~V@Nw5fYKocPU4O3Rq}2Gwyz|W&aZ=4WwfWT(fxeyd{qWeGmUGTOxi<*>F-u5_pZv`5OQvr$2Su#4Z4``s#`z4 zAD`#@D?$wmgBec75fVSsUCTW zt^KvLc(Gwm<>CsgT;^q|2{`T&$>!rhhNxQ1Y!(b)IZ&gA55cjjDc#TYUys!cCU0$T zs-Ns=+KG(AMTrnMT1TVhfKajYy!q}xpzvrPW9>yH%Ns-@>vRHMbZc%l{&w;yuYHBy zLU2umLl?reI(pD{?R9mgI49a+f$qp4(lLdI0Azb#Y|>*0B>7MDhAX`5nqOyK>ap9W zC_G!KEil4+?|vk6wD>%|I1feUVN6+)0FH4VE`3BymmD&<$P`DwW4|7rJm8|Sc})~6 zy493>=XtYMyE&($%;C{8wda_qT*aL3ca9QGJ8%J4V3-8qo5tDZN|<6UG2%pC(mmFP zJsrXcoMXZ{a{vt9G-8G%p) zNpm%rcB=d&Y%@GF$5QPl{y5$jI*;Tgv$$28(fi<;p5msmKbVKjWTG(a!QmdFAkfUv z8EA849@-fx(2>C8N)M-*-Zld#NI_D9CZY3Ki_dOzk>>w9b z{*XCC^JzTf%B*CJ4xtcp&*s^VeJ7N&!~h#OF{?$>ZtX@JDb-{|vdZOH`IV}-vVlc0 z0?RjW0RzlR0SN{d-z=lh#^kf~0>_$f8u-9rV?)VCcMvu~@@oojgU7bPvy*}o)T&vH zCkTp>33wB4Quhn{&8`;U$D^Gi3@;<$_h}I<#0&5Aee*i$GZhOyg-VQ$t%M<^9<5|5 zub^LQc1gC8Ncq|7z7NMuB`tW1s@q|^JsOSUBFl)d2`6sJ4lnAu{v4y=kB3z-4s4Se z8}8F_4^~+SqmF1Gn2#RS0|NI!XJWVx+gJxAr2Lr$?w|fdBW7eN+lnH@*+(l}*h3?fkGf}hUFyws5LauB^h>4-zCOaUw z*`u83s{!8O){fO8ra8xGErA%{KxqujO2vDFploV73r$sNE{q0O5dFF4iD98Tx0SEf z3vOKeduJpeaplDgFm}cpR=Y65bD}6m6RILI@=1`~i}6sSr+zA-?zl~d0eUub66F~p zB#(&>K2Ju%1TGoYV$`#ik2o?i2(nvtVw9cNI6Q;~@Uh~dZB0pHNm>d@;Ge}*ebpIP zsEK^@TNe#T6s!l$48cg&(2!HpOg@T5bhAjvpWj3@FkFdPQpw)QLf9Cy zFu!NfN<@oM3;s&xnXm~O2acST2ypj@?*|GLxd={gofK?P1OX+ltp;J4l)Vo`psDHQ z!1tD++xRuB#(W#GVQ)C$f#v>tjA5|vwA7{;mUQrEB2oe9IeZ^@&|MRspVx~8NguZH zgXQ}mMDFLpH;WM9fxJ-+uRM!tJk{-vzEaMse6)6k#)lks2y$2f-{FL(gfc{&)Z^KL zHehCYmr2Csj7;eRA1QyV40{Tv2=gZ)(cel0%km4a+FE}%`_?kR(1S+0p5@e^N?v+C1R{&iLFlmcau_8ePE7&owC38y?m}&q&kVb;dkEt z`OssJfls8JAnwnx6Y^gA;1ylf#F9!*F^;{yl5g(Yp1)cXf67@LkR zjb&-gTbSrIhs&*JEWeDaFmw&^*WMO1{vvB;Fa4+eUO^KC!_pG5&|AsVhN&v&_;fl`iW3^z8qs1e#AIu)D4z zoMasU)^DhA4Qv&Z39&#n zivh6>C$+&VChD?1)*?`{uiEBIVVsCS(m*LKy`W@#l*9}C^5nK#^$+|Qk^K_?5r3IU zs<Y};|!yN zsi{BHn2pY9xnglc0A?nhIi;_6Vv8Nm8d-Xg0{2epJ#@C;{iAf8E4~rGm1}HSU7&=M zz#{~ESp&%oLpd7?TaKZw0>7VDD9|OW=y(H!8i)f?djd6q0l7m7`6&uv5Bp@g2~B7f z`}qun!1|czxoI9*0z9nIiR+y>PA|M*MN$u=Jc_WyyEeu*z7B7$4*$TC{i-mp?-A=0 zX`C=W_=OL2`FxLnve~nzDKo`me5PKS{q#F1IAa`vl_!?SoUZ7Q`-*a1gk8rg-$${NOHBtkJ&!FKnJU8GxG%lOTo)fX|McnPkkGWag&3i z4=a1Ev`vaEe$>@B$)Uoov9@nMzrKVHNhi*RMCJtKzBC@~pjocBG&3cW!sor7lP4zF zbg6d#3E>N}N3nshZ8&WI2bz$4CNn{D*#}H#5K$*eQgOU?pYY-*5`7RJTPmJo@}S0R z;NJy75@mA}eWI%C9ia-)dN-;1&`x3C*MN)BP{_R=r`#lDORd`b6ZKmw$2-zSIBjS7*fyn z29m~D$|b42hwqXZ{Zr|9u9gKSRx_xXj*xNJ}Hc|9dQ7FM+PZ6Nz^8#S1a95n=S3Lo}TkxM$QRT)(cp z9N1Dm{D4;e#Y+N3Mr(WD2i1fpG8g`pt5U0%p=>Rw&J1s%yE^syIrW-&5P$RoB3pSv z-}dJQ6c3e{cH4K3jP#^4Ef^-0^F*=0mBWnvP=g(}sEhSS;HLLZF|9!wfYveqkU=0; z4Xdlx9N8*shXG;1ldfrQqxZLay!h6VKwVx zM4_Y~8JjvaF~l^+7<3=1li9x&qTpS0Q5nSnXa^c`R9X|&KrO~nMdkWJkp#tZ2s6aL zcN!vcZ<7Vods-rPk!@_qC@&_!t2Ar}G6-YIY7e4u;UV2(1i8D-{D5S^iMaq@kbp|` z@`QagI4+@L>M&V#kt$+~i2&shK~N=x3^ev(vZk?oPWh9IC=d({(6A}xeEg-c5<`Wd zBq@WWewYa~)$|?B63?xG!S_`UXqeFn2 z@pmzVItLs4cy00^lI?h&;~q7)zs2`n8so9%=nJPbVOx$v(n47fxVUPV|)KiDe@ z`0H?A!~gmcz`1@+idoG`W4%ckX)3)O^WP!+D^{!<{E7c<=G6H+oFZVE(!@RBKdl$6 z$9d2R4|gXtCrd(YsG1n)s7X|Bh6FN}zIBlrmb7m$=7>;F0QQPqUCT+f1yV6h2S}@$ zY%~w*;DMX5CrE^_)_w>NmV&MgPK8$DFc?~=>!8ivPCRsU3!-7VKjydM2SXeQJ_-dT zncp*;yh6F%N36o-1*gLcPYEq&8(ch?k5g=pbYxTl3`Mm?I1VJ;H#*W?k@D6B>aE(RI#>e8+5?-50Z)i-~!<_Hh-YUCY{EYG7V*@QLeZJ zZp+US4<0@Nz8yPsg%0kM&2&p*a>`zZJf7~Ky)u8E+}=+a`L%QUw6Ya=ij(d~@7Len z(n}*QT|$S5I!Uk+xtQULjOVi*$WPQkyg0G%D5DiL7&L%JKB&Fkairq=x7)wdaCif- z>Rp*Ps|so1q^N#ht6*tyuXK3!5q$CP>&bQBQI=g|kBv2_ zWagf6I+Oqz-vZ-%F|9hbN$AqN6I1O7rQnL(lH5XjOfgTPCtZZ3Oadmo>ca!h)I2F( zA|VPnd86;-22;9)P&P0;nj~L7Xgqc5?MFNwjQ#iyE5y1tCbL+3auYs1y$d=~9{C@q zFWJEKzaBo2kZ=Sxn)-a)x2F;Fk?G=YjU!HUXy<`X2AYK%>{=vtgj$75vx(R*u?wvb zQ5fvzlfG+9#+54}zmlhlH^S5+c39kuV6gpPYSgzZx7fMZO-`~MopWcfL!&aRk^a+m zf*I%pM%u#7TojD8HYAL-ZYWmZy`dUfjo8FyxA-)5hl=b;Co!rW#YR^mrqN{*w%0B@ zLk)lxzM+PphV%Rb?fw!!)pHOtW4OuOYBSirp0&P))^j=4XwiOMcIEfak^g90rgWyY zU^6K~JcGCuSemE>Cgp!bdMTY~43d3jeUvN-AI0{+eVB%J5*S(yYxYo=TsU5+dF7mK z7a}0OTy(Y^z>4Cc#A;+rs8D<0t_DAr8=ipU#}h=>dAct%+s$xMlA?-d92fZflLvaT z+vOjRwZ<#Jsc|4sUZd;pIrZz2%dzi~%d(&RY`wdq7q0rR=X1mkjU}3DCcCbBd$6nl z_zDF$w1{t^cDN`ww}}#!2=GGdYt(29Ma_?T2tL2-;SZ?ljZ<#j)1u<7FfkkA95>)x zvdPQ}l=u}9{_Y=6$7rmMzlvze7Lpz&k{cE<@PtH0g%1!s>}5~{@xE_K`O)-zqR?>X+@EoUb= z?)rP?Y<5NVU*5-Gg9oNARr{=+7DEi@KUf=m2c}EAjx+VEMyAkns_sDyO){WA?d$ee zuI?8PpDv85d>z=YKOkVzkL3TKZQ2&l0ldgWtS#KJD5Z65qQby4(Aja>@W_l%!c6l( zB%^PEgcXnQ|6zs50quwYk>j*a762YNw=iSH|LXLtfFo!k$~jI1;`Q2-7&@<^`1|LVM=0A)y0q3d{G2t?4A z*g$_ZS}H|iwBNVnqhP!BMp6~N0gpcswpKfB|B>W2I3WHrEnWeD3(i2OYx#dGptlVv z01%;xwU43|(8V)qu##wDloJAlJ7aWEeZ-8VeC+=t&bCLosk8?T05vFE64N71o1`Xy z0g7Yn#ajXd?g$2h*r)|7*3D#EEE=tOdlP5Ry+A#Hh%YkVB>`oXN;!>z_N@lXALVYlVwr9JlnOaTqAX*&G?W}tLZ6`5Qw*Zbr9_?Lt%8TJG? z%J{q4ATybA!dP^H?8A{y25%N0H@UU?r9qafe(nsFS<`LgODBI08kY`x>oL+t(8kQB z^?dEcgj;D7Mb?LPQr&9R1*|?wV%7R#w>I0$xk1}CP#(w+^m%xGAFo1#4=#bZff<0V zqSdNa0Oo#W|CaH1;gmv|R(%+G(iKq%P!`(nl%0{!%`Fc4YnJf$PXOo4)d45TU0lu# zll~EQ1X1fv2i)CqSP{X(HzM z_*a@n8c_QPYd}WMDG+5S@c_KMA6;DURSt_(8n{>DG*?WfUSvdT(vHxo9|_HYdIV-;6T)lV@F zHP(F*H@~VFCtRJJGO~Huq6z+>YyXQ?@)-CIoL-n!c}3G_SaIvh-isFa(sY(riWFl` z1H#h>um9)~JLmWilA4~biup?4+p1IxorJI|mqokC$>B(DTZ*PXTlMvKXl-pV+*=)d z*Ch%uP;@*By11thqA9`;x>>e)X?N3M=oI}rY3*(H%G=y5o!&IoQ?1co{*urdOSEVW z^JPw-=hsr}5|KlEt!02)eK=fe}RI%&VWL-z6$4Sl;-4WYhyW#^{ia<8gME5|SSM$QmDtD4z6pcSRG2Loi4Xiid zUI*&g9_X4Kwd%SCHdXTfGWp9t0z0~Wx${Baq8Xp|w^Qb{0kh1yW{He+4rKf~P}9g1fcz#=r~4Pqpt%)vg9nLfoFx zfxK3&-xiuu*BjCnKX_(#7BFMGfR_R4^{6&sB+3)QnN5<&o=N{|fgKLNF|Q4ACBcK9 zo5&c#d<&&~PIT|%VY6X1;W4i^*h2yO2n5d@cZHn(6< zGjDSNLn^oZxHV3)(>rH1Ku2H9XRmA4+N=?NCg*a$*e&+DHnXlw4!ipW_E&Q%Yu-Hs zqF99ru*+Y>2*HU;f(66jB`iS<_7xD)%ta8xHbM$Ap_R~n`!|SU=9CE;YKY(cKSLb zsqvi3tq9A&`x1+t?Mp;M4_15@ScqXhPlo@cnbDEeAiiK2#m%^*t}M$QgF;d3z1Y() zB8Z*-Kj(Ai51!JFJ}81C&a&%fW#pVW$7WUHlA?oS)t3W)OC=^Sv$>Ov87q1N`kP^~FqW{|v292xk`>v6W z{mZRg6?82N0I$&H>pAOb4u!yk%$ZvlN?geaTCDE?*PnCr%uC6d$OIP$=L)> z_bYb-S(!4X>|%exCk#ZxAc8I%E5YD*Pa~sgQF3umAO_3fjd>jSONIwoV)b=v90-nxltN>^ zTIAmPmn4#;G^Eq}fyXBD9F}v37wNuLr?Y4Q7tL^B5i#1YBH>2QcIC+h(_-(YPGxu6 zaOx{>M3X?|hHwd`lYTc9v{4o_p0N%fbcW$xLE9TT+Q3fI^rn%P5U!zYD*Vs@T4;-i zLCBZ%6)!)rs6JaY>mEU-4@l>28TYT}ZHa0dCSXOB_tSF50A#>i;(q^VFnmU}oew;( z=A(XcWldZV2*=4BIz*whgRj z^FAhLS)H-HPrETUHb3|Xd2?KU(B!vD+!q3!hVGemN5g^h2DayY^et)(&d!hYcj`x) z4$Elumo=ToJ7=|C#IfWC{^!aFtABdE1Is+J7_^ZTdCn;DW10c?o4VmB@RF8~mDt}41SHh#BYoay(){XaT-#`}PMB~Zbo(eZrd=C&@$tGi zX*zAWnhwGZK|=0&lo~h9+wH)WH!busY6VCoEJ|dSKNpAUuI)cVG7V?VD|D&D%lL^+ zI8x%IK~O{2K%9ttUS0;$LV6aCE@wyl(D?`0hdF^GK=?&Ty&Xz$W-NryHO^G1 zaWZu#tp~ujY|oQhUF~f&fY_eAY$h5bJ4n8a7oa9#YH<|MM38ydPyeclN>CSEV5zpeKf@$_KO)CtmENftCF z7SKQnJwG`EjgVAt-x9MlM_XbyyI4BCRc*bUwNsiLjBkkK!5#fBQ1*Rm+rHB6H$ahH zy$D*DqOVaLD`@1Z1mA&&=xe0(4WI8)uK-nn6n!&__KWlIl9&LG&FXy3>MVxfyxO&O zU8-DZc4gheILh<|$KPNvoKxRtr&~`2LpoqE3%4iQ>YvI^s%UN-&@ZapttNMY<73qb zr%>)k+$FLfY}N3`73@aF?ar|(Vqa32ZQIGgP@y3QHp5KosiZUMa{0O2cWp31DKgU) z-&NyO>CUNQv21b$ck^sFdHg%Hi2B?0;Ld*Jeby;xizENRDJ_k1`|lMumg@%f zpEGaf<)TjjzZub5Vql}c{<=to%11DeYxNG8$1h~-pB@jRWC&NxbMtL7FK>yyX!uPT z!>py~<1hSmJF)vG0!gq9`m_1&4@__u#+yeo(%L;F6TUDk2{?GpLN-fDAku6G{l#@D zRkp=tY}Gnc$*ZH8%I9Hj8KPOcN}df|beb48pFBdX^L=5*Dwj0NSm%p{_+&S*bK^wg zJN=?Dmz%rtiwJv!c=#{z?&`7+7q3jCK>rzP@(6LKatRzjf|I}Qp|Q8Jtq8e5fJWsV zl%C_+>&SsYT|?+)QNGoNma{rIDH!BNhNW>g2_WHXwW#y%piv z!xJLOY$We#7*PIk$1Z_~&N1e(<=F2&CN3!0lsy^r!~+2jKjUC<1F7Dxg0k%3#}(*JhAMXbS?&Mrz3Yx@hL3WVKQ+ z2c$*>8G@z5Wkv*O6}Us=8mcH8Ps4ttn~RC}?sJlt9yGy=2!!YS3X^K%RPX$2v_J=m z<)0xyV8Ym6)?6PUb%5;PG8!Zhc|_3&hI^r$(7+3MFSyP7 z-s_RG^phVzkN)jR+xaYD2O5wOkv6{epG1NC^bp#1wg%{d2Y{cXl^p}{!PSTB6WYd( z0rk)XN6psbB`>A&uCNVcU;*igI;K7WwiVo~?|mN-D(!8lHvmColKQpp7l<<5p9euA zQYm!s>s!yQFWrWw{O5EDzPZvy*%uw(fN+0^PB{778O1XY3_Z6 z#i1><>klX_po_ol2?gv45wtYzoCpjT-17~&GOeEi480AH7%UJH5O|Z8PXUGpp4?r# z-1cAn9h$fyexf+`x?FY|j(5_6A6fM;lEWnjQto+2SNac}H-+DywhczG5mX|aS;4HFAEX`Ky6ZfwHEd9DvdQWsSvmBOPj!%fUEU~B%2Je=CS5^#;@an!!6_| z8#beEMTqEXwUSGZ+SiHv1xaf7kR3sTOWD$o;@N3!{XM@xrVN}r%{(el6@uRMoVyZ>`xKM zM91^x`X);n=4mWOhGwoK0Ofs1Ei@qM4W@>9g*jblrK{z%qxK7UP{duLRdb<4bN`r4 z2G1t2s{L7e_+DMVc5j~XrOHmBsJ*wosZIm!EyoU`8IT`=Jbdvle;M83N_!qzFF|YI zsI+j`*R7%+eRGv&Ev51}mK>!@#5>6cQ2cuCOCY86vm=S0N%$d37~9)lu<8oQ`s zH8Md!QC(bp)toYrr^*$2_>|UE$9}oO-n3(SBE{m?^9CP@k1;N(GOHE_y-+RRRfal0 zmIQDgtEH{N^_RSyPOUMKCq0+ztdj2!`62NI>0}1G^(VMh1YO59tZV5*wsk1CZhx+% zw$~fq*auiG{z!l2-{1Z@%8S_KUrWVDDnrZmqzMLGM;!4$VwzJ|BY6a8PvNk-f+kI_ z?ff;VK>yj>%QT04owG*6h_8Zb$HuC}O0V4l&$41A9pO|k(Pt$L)y}|QgZ$K$Y+3~) zx@ID-QUVe^mTIPU0m`9(tH@KHyRpJbPg!+5D+tQfiUdZ5_2@UelJAsi9?LP7oxsZg zyt}BAN!(JPyN7sO2yNXwmT=cZn`ZbEw@u-ArsV3zeT%9TIrXN3urj*~4^_tL>Qbi$ z0*ZU1eK=XhLPU^gk4tgoOoJtNCSxLQGfD1fI1|=lghzZ@q&CA?`7f3=HBWhq&McKi zJgtP|;$g0otLQL?-1rbZv+029D0joGl9=wXUu;M~JkX_)Sbwf7OO6VXbBemBnLT7i zqEq@d?&ia_dyDOhNwvL;crfv#nw8w?1d2%UgwqjOlQLW`qx$pT+IM>l^kzFaXwk-9 z_WeZ5{D*HKD7L75!qDlZ+t{akznBb6H$kRS|hM(^Qqq+jJ@|&fE`b#)yQU_TH{;l#R-1+v=g_FHqWMDNb+7YtIA&?ZfeqC*d}!G*o|T)ZeNb zi*qhhQjc}4Ng+~Fuky@Y$TNM#L@*V2-1~Q~M`KESUUn(~fDL}EDxv6I#pwQE{Mj-C zRuA!5)k}lEP)S*-9HwPyZ!`6N0-hdWNfw(5!2vUpDCV(u8uq)O2>Xd=zBO^GJ~9OU zD`#2?^F&0N`E~nf##uyYV{QbMt#a$-T}MFrddW&_N!PElH?KJ9&9gU<^;b0z(;Tyw zk(ft@DoRLMU0?ZvVQX$jUE6;9IlmmF>(7+a68ejWwK&_waH7aL&k6AFs`wZPzyC<^ zEv_@;D(De$1&h9cG_~;Hb~%6^&kzqq_t!aWu|?XJm{~dnN)TKQN8?l%M(j~E75sv0 zb9;W9U^4BUT~Y<~>}m(rOMx0t1eBdo=Vz^H&ZM8~3g@pLmByfQ?5C2Va%+kxORJI! z8_lKoIGtQ5WZZC(t)Tl9Vq*Q1;6_*`ZO5%t$#q3(H6cWN3kv$b<>($+1|&oK=R%dG z-_W&5k5ZNBN09BQ1pTV29TeV>gRN@G78wJ{>mmXFjMP@w#ZoOyt(OXc4vKeK8m^;I z{}euq*5Emq9|n}REcTDq;_?xF@1u+%$;)-sEg6ZckGLo-9N9hP?IN9sz~9ed={+9X zXt^Shzus--dU<*=p)3_Wmm8tDOg}{sfw;Z~l}zNWnz!Q*Y6ccL@$Sl{?+o0>M3?YhrJhe7V*QEapp&q*CRFf4eb>gi~Lb-#vraK(eH;G)M+eB5}dr~NJ9I~ zvcbvwcth?1tTT1sAvka{1>c!MI=I!pc42Auq-lGcbtse{lnWI8;W-=8k>< zS47r4zXdZM;IF+Q4}UTJ#|yHou)na)K14Owk2CdP*3^GdeUcgs{jji0_0i<92e_lE z`hmtM{;11z;!tbA4{@?#_3@iIyBl|!%%5t^z|hxx1C3*jsz3jq8@0I0e-jk9ms$Dj z9!B+9ta#DHzS+)S#CAL~o^aN9o|oGhtGSOjpCurF+rOLpwtt?>;{Q#z6@A%=Mi(cn z*G+Y-xsB1lR5DT%(HB)LhK%M!2o)XhTOq-+_*`JuP!GC-LibCTDbwHA`lP#%>vCYjB)9VT{lV4%7+ zFj)5xq`Me06wZnZ2JjP_clAJdajk<@g(M*1r+K6f!mq|f?N-`XvV50klyf8zC~!i$jtXJ zVhtNp9eY#hzG7r4efXCOMTb&Y0;@D7Mhh(|(n zk-rGh34iiI$a@IUiLi(0gqT8fx-&s^(2*fJ#OQj64(U7U%HP<;5TX;|4Tugp^iziT z*k{(8j3vFf+$nIr2)zYvY-f&|$KAv&mu#2c^|)h zpdkOOijH_eKopd;X}kPg5)1lKS4@w(Tz)0x*?;6Hp{@;Imn6wlT`m9&?w7+HCy*Vz zkMf767eH*I*I&MQmF3&DEEZ%99}PQVoWYFioF?%GA5c=BmcH_0iFXlgyuzq~npK_f zCcr?2QO3}xH)sCvdll3)gC51C@f6Njod0Ow``!FU!|r2G=j^m*W}+fyk6h$<*6;e0 zNq?W==OOg-&H{)DIh5~x12MmWnB$AgJc{|kytB9!-q0^v=oMwTXOre&4oGmu|#&qzkoG#y0`5j{_gb6X|QjYS|V3?nFx90JV%>5rL;X3XnddPpVS}S~J z>JQ%DylQEwf$hb-OyBh*ooS0mIH89JhN8-bIzFXtBACkjUniR-2)E~A1Dp;a7jr}| zT%nKEtsn}V&^f4{MbGjklz61Gp0bW|v)s0~!Q7=-s}zdxZnP z5CX$ompqmO8w3q3+eWurmIGZ40?<#Fx}yUd1P*-s9=F+}1Ihs(itPKKNuV&Z98gC2 zcxX>}gen<;Hvy*PrRF~wX2dCn!leU;!leYa!lecOVG%eq3NK7$ZfA68G9WQDHaIkw z@uCV81u-=_IX9EB1}A^Dw{=w8TlzhWYjOABQrz94xVsb$5F|l@6?ZAF#S0YoQrsyH zrMNp3mtsYVy!6g@=H8j#-|xzb>__+6=Q-!ILQk!s%_e0Hu>{IPz)&_Wc1~e{imJ8+ z*o}*uO$%u2?r7l(;AZFK^1L6i{v$Sw~aRb4&ATW^mB}E3}?ClD&wS)et z!NbP(r_!HnX?B2;g_Q%u)6D?{umD>Fl-O0-0csG>7b6J31OWpqfp!*-HUNkXKnG|5 z(AAdH(gwWIQrCag&}L?TDXi`8>DIw*+HSs!Wju=R_a zP&?qi3jEm=fC|V82zCShNs@>B%jxtYo50k(Pxgjzt|-2mo)*d^*?R?Oh2#RZ2}! zUQSzwP32|qz-+3J7j?kwP%r3T(SPbm$*Kqg1UdNuTtd76&X*yT16#{LoSa@*yP^G& zPZso|6BOd=&GG-twF4O93HJGa?KU8=wap*pt=)f}Ids7w7k8kd?Egi-n9%;V*#e;e zP5{sa0Q9o5gWP=wId+CjWN*-v}`Mbx@gKPN_8n?C1@!2HK!; zs6l_AF9X5!|Ia!5pI-9rj*e;;PC%yrmGpn(ESx}&-v1T(KN0%CKU|sAAg)dpj{oBW zxyggPfYurysFmHng#DLY5o+-=`%++AN8rn*{AJSpbDSJs=Jw_80sXnU0Bl?WeE;Kn z8A&S#Fwo5nz{~rW3-}_#{}6uB{tsOMhmL=~jEbtv>;GqF{tA-=TS2TrU|Rq;A3wmt z)z!iqjq_y?xcT@1K3p#|Z4LDLYf=Cl>|hA=B?aK@4)p`rKwQ!O?4|%WfJ5Pr>0gK! zz@hXv;sg8WVFB^CnyM`PZXRk*lA zUQWNIqa)A;`VWub-=2TX@ZU9G=(+v_zR+{~59IrUfF8iVIqa{n80zpTLfAMi!0cYl8`=!NAwpzFV~|9gBi{#>7b-3*+6&(r@sSN_7< zP*;cpP#ToC1Fo;`RHlT&sUw@qb+@FN6PY{O5iJ0D)dWE40Nqh?PjFeR^YfnZJKr;Y2wi zy%76xC84;1QX;})=0rOgvFyh!8lc3dpyt3VhEEU`1z}VF)F5!N0evWeW!k(ToN!bL$+@Qs zZ?E#L9j+h`3MHIMx-d3dygd4%d)1K?vkIyiDFT~c?dM&%~|u<@dU03*pGX5+-{N_fL|zHb?96QUn)T}Qg82nP_w9)W---h_L;CEmTItwgY*rB zLPNO}A=FlHqjZ0D4<&S2m0~dNVNh-ZJx~;yHt;-PQf+n@^xflCZZKV&7eylp?*TgsN0~i&L1b5a4&ik#`nk6qU8Fo}@dB%Wr>o29WIl%L;3)dq1W@pp!-Q zpNJS{ktnpEu(E7mzrQ7HWElu0O2x+Ei^}lZ5i7rRktNAocjDh({V+SzR4U^S4#lZr=>bD@j|Dy#U(11H=a@kL8k!;03iXxwvVX^H>?t_v=8^7C5|5bH zDtqYvQ2Sbwg-GsGC@wRXxt#Xf76AA27mwx!bu+rmnJeCiUlank_u~Vw7vw8I*DJf4 zkK!bulq_Ovy1vFK{mBRskm_q(Ih%IEW17mIu*)mV^{_>xFtCixMzs*JAi9C`A@1JQ6))zC$+BRnNVzZPJ@Cl7o`d!@S+g{P{wj=M)>lkHIwynBQ5}r+{I_cf53-y1Mvf;|2 zvNw7hc(UvYs`2wEwb_1jVU!>Q#`>Umeat#vDWMKiAtY!3Co72XF$Gf_q?X7WzD2HD zh+tbG{qPndy59&g76ni#`_B2Iq^(Q|1kL3hD%-$sMEXw%)U^sy;9=#RW);*e%B2C3 zgbG9Q{NP3A$EO|poa*kw>5zYttVAe~C~b7#3%~na@>)tx`1mxvVu!1AvetNXH~Sp3 zG3|nC{}<--N1)tUk7WuoPCYGptUT-ISLwXpPq^cS=%-yt(wM=#tv^1$nHQqRnhmbJz=j@f<44~WnImCY%RiD`fJKRwS zSJFRf$ zc?!Y0WdvG+2hdqtpFD>07@r@CKBq?zt6+{5y;t zE$PI`S)Je+E1ZvM*>zt(&69$AI&k`cnw1eN3m#dI8S%jZOCImD*D3{%m%sT8;zz@x zjiB8!-Oo?x?%Vwfny4y2Fy1(Ia$0;NY%Gn^Lf}kZ9)o{>K!an`P`gSkZkYW@L1GNu zKerM!80huH=(o6VmWamAwGVkkRO#Tf0C6nm602w$7e-WW@$M)1>XgW1zriV`z$L=C zX-x?HHo&1`M4fH$rh9<{Gu#Sy(P{&C9b+LQojU{p=1n+^AuGp45y_9rd@L(3?gA!M zAH(C86IFl0v)^OSuYM_fAgjHNJJPnjU|9d#R+8>ap^y>taIkq zLG6i!A(0c2)by50J;8$B+E4ySLmwlGDWkN`Z0}3|QNf)rEY^3wv8|?H!u6Y3YiX*O zc*g3nZd~++VNQ{!Q`{#hYCoXutUaNaMQn$@UXp*7`1z87eH^82QD4+~L-v-93i$&{ z{r;O$x1mIjJq6_G&?@!QL!(%6rF^X)Uj-}L7(N?oiN!QTYqimpkP%E|HyQMN!LJod zvQ_r4_ItUIY)ta~ppgqEl2n(zCMp_@2O$rRUdBk(J3xuVlIn zOxb^{(}CDnY)N7NGCSR3 zu-^%NFnrqjIcf7*jroEW?yx-W31`zI@;rZD-;4{X60dknA#vi~j-(n0$M0@N4KU@3 zX(u^*NI}`LYmo46*Z9fhi;S!Dbn@Gu^caS8Vk$M_a%SpFF9Q%%YdLrEEUXu8Cb!0Udu5 zBH?)=5eZVXv^!CZqQ*1;vJRqY&)FFW)Ybz$Ezef%jgnck8geOTIT2Z(f2_MiuK2C1 z`Ubnvl~T0Sr3?ElYHM{7a34jixXC}#FX`y9yut7b0FX|73QzX$-{7IpqDwgk@J3=x zIm^m>imtv_{#hDxM%Xlc?_xFl(njHFwuFme2K){hef#3 zJu0;I{9F?TD`KL9i*WOSPS1aQIzxmH zWV_{MJMxPLZ^uv`ms!EpkolSZ9X(aq7c;r9RtUfhGh#)r=m$pTK~d(Z zGZ6!AAZ9s(FeNdE2By0ilHB|m<`|+Bc$@=?{IQ)I-`CGJ5ibzechMZvKM`Jdm8ew$ zW9c@wG$Hu@tJoK7{aw+|u7H0Ptl^-QQJ}HsqF20?sV@a>oQ!8)Zy2230>z?L2cjT+ z`*gLHoux8Qm&*xV;giVgw_nlTEW9h#c%s`KORPUwHEVwuX|KNuer z%9o^x`DGKt zX~Gk{b@<_Q{gF>v_d8DCY9c4wFB-1z(a_pum54l0AD^#TE=GWMZA|h*jZfw|hp&^|~>lT)YNOF4Dy0tS`L4HtH>>EHOqyt7(7X#Oo3ZW(-51v70se z)GxEp506F<-c1)P4lz0LLTKe*R7)~_Ya(FR7CUnskiKUg(fy31d}dnz!8d1eoT|w( zg7I8qxwy_b5Yh0CM@fpn9vOw?Al5B(ZwFfY$W}ypb-(TW><$38tg(*rBmCXu#|0!?XHu`O3TSxf3!(vo z+lzRy zu*6`a+^~kNRzI&`4)UQlaSeqKIDb8UeJGVfWuNL-Gw+_!k1+JPskj8?-aNT)jHdtN z04uV(C`WCw9(uq*efinmEPnyr)3q^DF}(e%&bOg}9Qp{GH%_yJhi=9k9zXlGc~@^F zNE$*V;irEk8dod^)07Vh@c0Si3!lCgCBc_9HjkPyOllLkMKWvy57`a4b}hH>l4Pb( zbD~Q>G>i!(qD#NSLBEn5O%xXzGHge9yujlg`UE)}y^d=Cc-8u8b`hutHiLb3Ni+(J zpx2-jeDL=`*Mf7)TqHNbyyHDQ;4^c#b)cT*Myh`Ru2T6)^IKxHBWV53=p#XwPG2AX zQt+MRQzdx*O1W4fv>heX^{z(Zj+8WoW;9lpSrpcgz#{rsZyx*ozOiFn6{xJtHF$qL zuk0OQ<1JhO&+v=tRYvhxh}5qZQObQF1{~&hl`3mVD3s#z26@`CV-$x~WgJ@~q2j?*ZF{@X4V%an_!Xla8jjoxlMizE z&Y^0Bv1$vXa&8oNDD2HUxD$z*3LyAvQVa(kEx>P(^J%E4^}>J=EV6?1V=xQ9me7B} zt+&*h#A(u=GB5GU95YR40MH*`9^v>ej$kVg@7PG7(GUKnoNu{mFTScd8I8hk&5;dnR+RCdiYOXaY=&B7B&TU72|%T?g5q z!5bgqww}{3+%U`NZHedR5xbQqGPr-r(m#KT;dQeyeD<&nLs$M@`;{Ius404TNm0HUfkf~(m&YtOeKofPouq;dO?k?;!=Cu7o%8yKXmFX4LU1_*pq5sfzW!jh8 z$;n4T0$uFG0Bh_`P4Xo55(m-B1uSnP$J*$hadF{Fgu=@BjzkDa&P-W_*_D4}V{PE~ z(;5g-#dxe({FA2AF-Xy5PHHa1CC}B*D_T1ZjAK|zpT!EXo z@U4a(TW+dXKP=C5EXG_N`8Z)ZAVjZH#=V;eeJsz}(#@9PM(lv<@X-rJF(b9&qrRg${^?PAoMtN2y}{*OPn*)o z!n+xasj@o7{ils8V)%cZm8#`@>I3kgiRJqC)3?Sit_;vT9h9m~ry$vg_bZWW6 z0Y1goJk!-_XZUd=*7h-?Lm{EvaFwYYW2b`G$3z$+zrESmmi+ZQIGTXdLvIoln{Oz* z6=Xeg#oY@VB94zjVSk|>OvjfskY#JUc8)K6XtM2m0JgBU2-kl-hQDD%_qT79FTv83 z3h4GTH2+3|iG7lw8O!4LQK7;MmoliI)|rt*YdX5iKqmHWO=*1ftet!ijpqYOP2~sH zOAF-a?0U!bjcW_}<>+uq`3<^nsRHwvEpM&96}P8(2!57rzWpeH_>)Xz5>wdu)HQ$bDTz{OcTkF}!LM;-$$Wcbr)Hgo0=a$7iuV`$?NrDwfPJpY%Jn zyuDadgRsWTW_JK{ZWsZtWW129aG89G6$Y_qv2EUKUxUsJ)X|42w=+E=V$pkRcfV_Y zHdW877JW;+5Tm_qme-Qx{9k872ICQu2#i)s_YjUv9&dl0L|{g|d3zJD_T;8(=U;(8 zg*<04W8&$nHN#22UcLc%3(C+K`scDX@~z!5A&JKesFH?58&`Wa)|Ir^wPTV zNV6Ar?6QA-|1`pO`~F;kDdrkfzU!SB^egPS(#yWHA~1z>beuYQn-xFa4>0>6K589gLrKNaT9l%N7Hee|X;ve!kiuy6%VjA-mmNj= zZQfkNscL@nn$HeoKWrOG9=)@p>X*?RE3VrXT4O*b>!RfroW;S1cbCe}aHt!{!JAVS zFfybxb|QKwF0EzC!X3t9rK0ANv><4joQ8jA5|)Xkm{$wiyJu-5g@ma~kmUTuTRj_9 z?x~X5l&D_lGm)Q*gkugkhxBcH`z0Fy6RXCbsre#=vmeoM-6t-^nmcmsdYX?UH=YSh zwH)%E{daiDkytiqd^&?X@~@{AzQOqSS5<+?@_xlA-986GdZZwFj9YDDY!Ej}z?FXh z206V8zSpDD(1yrP{vztkdy3^o5zMJ59Ql;&q#}&_v97ER7X|~!q;b$E^t_DiHk@D# z&*IG$d!GXY5ucvL;JuNOWTrKQpEreKDzj*~V-($u;gz4Hwh2#O)sHnEw@sKe)0;6H zW@-u>nZ*mWl}!xGA8KQCqSZjomB$!>H6JxJdkx+*WmL&dLy_Rb>@@pLG>w{qkz+)* zjzXpC`b7$f=yAh0>eu@K_8lRlyP1#58STcViOTB9V}(x$^6@9;yOrLO+Ned=ra#GvoC{6j|dDfAAy><^3VS)UDK^?7(zgC5vs}b*9DdX2Cn!R8b*uIhrcy9=^PJ#@I>1>>(FXRl)bf0bT#C6JwS2 z3TBV_>@~SpfhV5^TlUJ~9W{SHcy|EYe#yD>U+#};x}XL+O^wcpu1yY zOAU;Qv9r!Re^?3d9*!F84j(DIZ??E+>2Y>Fbj;J*VImwdx>TX2ehV$^TNcNt@mPsb+t;)3srgdm?<$&Vs{T6Sjmg?}iu|rd4fptjNL?`hlrj{N~K; z85L8$A4ncNDHaI};?6H$`Q=8l@rfu{dL@o#)0Rnawa+o+jjA1A5|MG@u{NO|BEP@l z6=4#i%s`^ghIaDtMFi+HQor3sQ96{)XHZs$ahJ0UZd{qN>>Ga(`xHwT#KU?%=Y8EC z$xd*{Mg(ZrGLV)KVKodp%h=|8EjeDVo78sX(`~e=@h(w7lXL(%0Kw6;dqNVEg1O$L zK>d)6Z}NEk$s})jyxDT_V-5<4+0v5e*99SVYBcq6stG-JU1_M6FcR-Czi>`|>x9Vy zXYv{Us#K?AtC@f9x>{}Sr|GMi=|LXdAvx}wk0G%}>w&au;XkRJj z)~q?J#8G5mxf&oAhTKiLEs9k{d0DLBAMcM^&E~HWvnH=Ny9pTjI&3c{SQ=-llxiri znP}^6w#a`^-#;}ENG7=3Hds+UvLQr^FSvW}?OV<_C~&!+9EdQYmiv4mV;Nmj_j&2^ z*ybMHHDI6`PX#t8YadsT3&y|T9q&YeuxK@q$>1SkLN6modLGyKd*-5C2@6J^IhSA{ z|LgGBAJ=*fO~*7! z5%b_uiUxu0VFo6z%2FN?S237%>Nx_xLb>q$nuy*n1n>C~1))l$f*EdQ{ImL?!Y&3u>j`!0*aLk$56gWTq`OHPR8&as>xBknGC9fyWQ0RqNxV zT$Yx^O*-@SOI`cv<>L%__Ia=}8p(gkObT!5V_N)ABNdsRrAlqLXH(SI(?gty8z0Yg z5hv)blh^G5Ooq_{ai&hw3X{3+y{f-%S$QP;0}nJc@OEli6%4pE1MYZne!e#|BI@~} z^UFU<>SIXb>IF!zve8yBg~_lFp8P_shMzf3$D>+a4L$Nl|JwD$$CSsJM@oMvcM`#9 zGSSi1o^}b|&qzZB#K;kdqXAkFzQN9U3>mUq6n}JMp+O}(Ei)c{zMq|lzpWL@#{gQ) z<%|Ss?h#`!W~y$4jWK__yx=d`Nn2bh_HBVkr&kn#q?@BK--&E!-6MLJ3bbv>28pgH z&2l+4YtHM2naSwFkTRhW64-w@%A-4A)n6APa)pmak~G$c!Nab=x1)r1cA(uQYy45m z&80=3L>o$6$Z|zVe9t;NN!uTtVHKc9HUr(cR#T1P!ATDEiA<7@~JaBcEX6jd$ORmRHvmJj$X*jJP`>`Ve zG2098Pf2gD;w-9mhy8FqT{?X~Or(ie)FvT79T!F}GcMunHhmibA9D~g*K{%uV{Jq3 zsHn_N2JnO%Z?u>Sb7yG&4(7fmXb^SoK>BGDL?V1AtcwJWe9N|y3=ELrtIQ6aLXbPpqOCs_0WR7sq9%9*)rBpl>jbvHo>oxQ~S zq&ZhTZdv}61lLbJ&^WS8Wp1!ztiJJi%3<+Fr+-T^@i(2|v_PY;-X@GGaiG|7P*|Nz9FKp;#_kJw-=kE!I)=ncx))5u40& z<9x*`(d{Q|MrfiiU|fJJ4Sz<^0@r6wVo$1sCofL)W*dDjO2$FTe2Mope&_2JLkqT4 zE+-!o_3-m$pJ{*7GR-mG(@9sCVB~wz?apLnI8UM8@i&&O>b^UTs zBFKk0Cfmi|qkl+$Q43PRbGCoXpANZ1I*~3U#|`rP^`6w&6K+*g0`&M%gAD;s3mkIB z(|w|FGq&U2V8bf)`zQbjo$n&)n4?sB9I9OdI!sc{!c~9x^pVS4AHr9px*PPve&_~9 zoN|v=rpiJTLzm-*>B!B@YAiZI%HI`1-?h7d8DkmvJKANe-{WI%)!RfIOZDapu94IA z>`0+8Z_`2oA4Rs@lpQ=oB8@uX**W7DzID^lSMt=aYukVGMyV%hXiSjIS^WTUFvg5n zVmnrk)fayz@*H+yt>A3vsa2#F915`25!w?p#Y-Q;w{r+~Y`_u}5M4W6)^QUxVak3? z9-e$;-dk|8*&%;geuBY&N8C%+U~H7L#a3-lSIl5y?%8mN7|KS6STLPK+%(PV<+lMs zsb$%Ls-fJd4wC6LsYci<%uW+!wR{e}`WYg5GtYm>$gY~AztEe1An?Ukl94$=oQR5{GNh4KHB(NOor?X-bqq#YC74SNSKd~ z=LrYqPl@l_-8mLN314g%7!naFPTX6_+(&8Uk0nLY`@@U6M9MNfP0xHj%h*$zQ$X?M z+FgI<+=zVDxIA9T<{|)yC3a|iPFj@zvib7t?x+1c$iL-Em3D&^g~yqw;N66I%Wg;w z1eql&)B;EFhoLaN^%yKxlDguLt`0v5o8T7CEGI__`Q6xmTzhc>81A{ye#Yf>ij?&6 z(oVfqW2nhB_HK+a>ZQ0#cc0_+`1ZNtd?$ZjbVoprP#Ul`B0bph-9L`#q4~>+zONch zmf08jGFLZ{%CwLA9(d&Z`)>Jq!46)Y+pK(Sc>s5#@_W)*+-P)Hhv$ZS-5|SLTrt^N zUgT>~@3ds`t2X9=Chw^W@5f;a%YY3nE3_>l?0te;?m_qC%vY13ppMtFaC zCYmU^!8_KsM>#uu=plTGASw@h@LtzjBd$&y2-~ZUoycab>Ed(fdy>|K*NkK~IOf*r z`n)IN9_^z)=NfKGg*@nHUeSTWuv9h?2?WEI-Vh z*_cnGzD`}mN%n*frRVC|(2WnnnRtKAsI$d);$eRX&vMYG^D{K9q58rTPW>Iqp)K+m z4k{JKT)!U=ReA=rSdzJ|QR+gSvMY~HCl+Rp29Antb4ie4m_{?J(LdX8UF8gXPS;66 zA4i&Uy-ak2(rebS1qy%g_I2jeNFKid$6_~JB6}e3^SyCL?_cwF(hJa2`zE$S>K(tMYMC1% zS4}euGxrlIT=Bf&ETS7ehM9j9I&&JRF~)u;R!|8> zc9`36O!Jz0oZNm!h;*}I%aQN^2iILb-@)(&snR9>2X` zC(?-~79zQhAH_K;5P7LPHeAYGxo6D?xLRAifmC~W-N57ArCt?m@BqtL*T`g@C5HLM zN95PM{I(uBNLPQ;QL^G!Uvppu04Yxy0*0%E$9$=giLFkB z77usSXW#J>Zx3NS^pyl0TAj%ZQiQyU)d_??hlpB4y00h-eU*wf&pm8Qd~YAvkMUdo zniHgoN>UzG#sOc~u*zm{`_n{X{=4O5R%CyyKnuYx9set1u^^mkwO3u= zDU8)#C6asyD-%H^*>d5@I<;==q^YUV^7=;CN{Snw3zsXeM#(QgOQnR2&9;wOed^%) ztSQzgb;aW4r+Z|g6LgHI2@{2G+|oaz$7?EnwJl?=GThL+uVvAXjBmzz^K?6$&D_C- zn6TN1SKfb|2dK{~wW_}B5#Yii^)qnn<|#H!pgQGazpK+!?nZis+~-~UNggQ!5l)r)^e675h?#MOrQro{jcg4&{Gjtw;M4rnFqaCAbW*2gmPSG8ufq zFuH}Z1mtcw#|?MR_d?>O4(Oxu?M9_yDvM$hZvM$q>=?-w*t)7vL0qbaSw`86c05F{ zkB1e_ef!9!(h`!7Wi{fzS2UDwep9IP2~e>V(Y7kBahvSzDkNcCqCDpq@W1Ym84ZGu z$}NA@eAnC)A#lu5-a(4HN3szT(pUgmWLixbher4OJjiW!ig)gJejXc|^HP2PZHMBE zaM0I6^&^k;j4!pteCdZCrtg;2z@-irVEmUD}uxPa!pcCe?on)wstY81yqvxP~K`9H5ukX>Xn(rpAmy67&Hy@|ghkc>pXj0_K*E1Y zh>*E+7IWc(B`lOsVSwNw)ti_K8Ct(k}Tdx0m^naV(pLSKJgEpoJdE`2VG&>T9qG&}?s!#oSe+V7SjLX{e*zQP0W zeX7xiR3E4}aMd%nf8-z9;Xf}*g5Q7G3`s;IGRmAvw&z0|#u8YADS{Ye?Y19$Nu+Mi zLWw}0z8dVRQ<8X-@-^)okkq|IpK*%&4g-P0W|*(jhhFoe@*g>Jd-i%z<&Jq*YHV<+ zy(B)tZ@Yx$t8WHSNVm|HcxMLBAGIl-52MwU_A=_peSE$XTaO`#W7a;N8HaW8tc; zH5{gg|DGc!~|?9Te%J$z6Kf|N4JRtxPYDAcb46XUC_O*i#dO!E~4SHOz0}=bOu`YJOBC z`B-+Ro!D)Q6B};UskJ^*%{tG4f$zLX0_?>_WY*%%%}x2J00W&jX2mU)a@W;4Odtfr z>Kb@ejmZEOX1qorSF9^r-E?O)pK`s9t-ePd@*@qFsqiqrIlrj*m@j|w?A?TR@DZeI zTcbqU1Rk~h6z#sAjNLf;QGL?8osU(GQzcSA`8@Z^eVVrW9eKW#yEyU&GJM$!Rg@!w z6FnHOu~?JEt0&sMi9&eaEg&KG)a}LsD?Zu!^op{;UL(&11b(zHHrrqQZkJ|bf=}Jd zNKBtO!Md#Z{!?F7JOh9EQ@vHMRJ_&+Q1zgs*?iC&aj~o*rxBU4NQr zmS@_b@QAc-2qnW4b7ypXbBZ(F#GDfx!IK+;P!XXvD)Bez0z16n4txIw=n0UK>p9VU8;wi%Vs>T%~!ti zs^{6D%KCOho2`Eftw3;Tvs(#I&Z#Zhj7L_khXm;QTD)%@y+k~TH-1m)NAvjPFN)nS z*S0!s5{ExXF`~i2dXI0a9Re;6!p&DkWaLq799JvKSBp1X1cH=%5TIyCK$+y@mU(HI zklPUH!>PoN%SG(#)0!!Px@s5JvgzFZWg(^*>-swG73hDT?v+9csO?4oLul{ooZz{; ze-dV8(xwEW_oRtwEERa?`o-KB+;5C~SxE=W3N#|lW2n;!$(*!PXFMoe1Y{O?jEoU* z(#Ccna=zjlDf<;}VXgRts$`b1UF?I;kIK}JwE~JiCiIx; zcjE2oo*I8u2&9eueh2mAXsT_!{v9&tVu5egz4Jhz&vOpz&21E22Nq3v2a8LcYQF_~ zhHW?Wran{jXx$rgxxHCqpH8XiG8SR4ZWhHR^xLa#u)92}BB6Njr(&#C)4`2&(O?`}Z~ zvau5|Ld#MI{hg%#P83w%G|o0p)^QZ!3C!>dr=XsK4mOm_RYyE(Yr9lLWR`npfUu$Y zW0`)@r@6{5PrU7@5Z;cA@0~V%j~$CG#7NY);~+qgAL0%9q-4{NPX=)5r|o+5+cnLF zeu#e=!w!7m=gQxgKL(O7G{>?ny8e*5jD}N6F12Clm-vWA@iyflW;_ z^JZa|FcwE_S8u3kQi5#xGpf&LQg0f#tv#a7FYs*iyXmXwY*e!5DirQ(efNfWIzFg1 z;YpglmQcWz6-YylWV=KJEjUW#i|6Lb@m7CwAZHrI7W?e7vakThc`yStUG;j88yRvG z`xH@g)E=kj4V+T<*7vYF{B85#OSg80zTb%FrVgegSe*06x#S9qnZ(@hDsj593u|$7 zDemgDS!0@;YG0+K-PBixR4w=a)4BHNrcmgxTa|c31ELVjg|z&H2Ac-n;>7mmQ71tX5bytv~O6Mq?Uas z33$+3KR5!cAT-bwev%&ifx*kNkztA(I4nMD|GC$GjcwXfHGz{ZUwjS2paE3?KoL~? z4Y%LXOK+z3cxH!SEGc0yZ%dsjRwIub+gR$31NW`S5e5!?#%NsCF&go5++cs`TL(ILDR)F?>S1 zX^SIS;qUwR{)0Xe%hwh+&c5>Q;w?1i4`^^yw*|C%ue5i1{iJzSMV=f#oC1QJrRD|G z2y097br$vg8&7`c5qRV5qCbBKE-4KqFG}~w^#W8L=86XL&U%f_cZfIvF$5UK(w1&U z!9*(U1dAFtRr=UgCP7RDLA-ofD2*$BqlBl9{ELb;olaBZ_*xSdYAi<~dIiy6AsKNEKS%3BNPX zXz717MdCeRzan?w6}Ku(Czx3!HiTvwMBT_0(7c0*vlC~r;#B{bNFZ7Gcuah-*~N)- z%G(f&C+jDz13WCZxj;#b@l*XU&n{l~+3tUt#CtD{Y zu`WNd&~$@~@XqK|a%+F21bIIO-4fdkJP)nIfr%Uuzy+f@~Z_K55IdKT%Lv9IHu?7l7cUpe5m_NELh5}4RJy4qP0$S z(!6Yq3uWN4vejwBZ8!ef$QsqePeKDLAP~mb7I?mV%wP*6Wey4*qVuLPi$Kg z+qP}pyl;K=)%|y?PM_LcXZNbpfBN*UUT3X5imuBs^b-*r{4^30WkVp7ad{2~repA? zS0k(a{EeES)Ia7uYcwL|j@S)4E#2RYpG^%%zk;u%zdq?=4lmC|!yi@`dDgXcun$HY z$MXNuUMB57hkw*Ia5Ln=cJcE5br_c#Lf(R=)!IU?E~SnRf)$$={N3vP?}a;gyLfd` ziZI{vqySRRcT~S2K^+O0z(Tykq=^J~|wi#pd@gTp@RevZO40sn>da2Uy0y6;h z7om~z?KPn5xKh#r++QfI<*(^))Vvvj?s=Wa;+(Z_%jZy+)l#t}2I>2XHqsL@ZsU;bmikdI!>oCEUkn-LU1$X~ADI~Ju4J8?S5Em< zT1>^gij8X&5Vp7cjkn*n)A0{c^xsKRI=<`TQ<{-$*rhDG6VQX&$P8Zz9`Z2gO)U6+ zyZ;4szPL{}Zi86Z6Vi;sxKhiZbo2cE2dAdp_`oyGIM zy~VPb1PfuU2zS`U%%e7!YkmvBwNujig5E^8yI-$68w>6spImDN+qVhfWT%hpCu}lMy4&#+8jLcTvQ9GB$+UL&FmVn$D&Volg8d-&WQt zy0%n4^GU$lM5hur98o))s!+isqB^=)KjGG;6bP4Un`+%Ns!*$8)u2ENVG_JO@PZdV z%&hCbtBwL*S~J5i4Pb4%JJOo1cuIM0ZFkxB&s{~o1s~~ozuN%(T9!_ls*m{?%pzJu z{j9u$(#{~CsMl0PqxWY$+#bXm>}iV{%ykJ)F0{%px)#zWDO(xofFVX~i%|NLbwTjO zwFD=JNH_tHMZbwp_;`&x3J`?$B>SCW0FK0Jra?f%_1YBa<<@!2uSBCW38r(?YW}%X zxvuJm{r%o+9&zdCqjz|wi8>TT9&x&q6%-iEqCU{gULHs>l@mZ7T(Z{cNi)vR&_@dk zHlNw*mVK_sgJNI#4Mb<~$0VNNF8-s2(PArRd(M>KBzD8fw^HjcLvDk0+9ke)Ge){~ zTdBZOHPJE9#I!n2P;VT<$<*}gvF3RkDZfZ;4b&QkxIKCC&ttT}%J7(S56qIbi!Hi) z{$|RBMS&y(e#DJxhT^D*(e1T+-7AzbV%NUL;){b9{Gj? zie)Tz1y1+RCXeal_b-rGZNxD+Q#%u97pIgT6>x}QL*h{14f?ymG!KcxCXoMEubx&& z%YJR7&hM#udyg9cl_DGCeH@@6PCW|XQ2{>BX($>Z(oA|Sr2Fe&H zR%uqhbXs2BWi>0)JYWSo2MVN*&t1q(L6YTQkD{a)?{kgTln+cRh1fI1suGrVG$VFE zMDI1r_0q;|0FBUwJH>tSdofk)co8UvyD4{8zKHnPG0;XVMz0}7y@nOE@VCrq-x6kdeoqN!ruR79m zEXS#oMH|r5hN^HQKM-PdzpI4LiQpq{A;3E-y<0o^as~`_?&LNUy}E;2YiWvTB8=e^wCOxz#4tfr|$y0=mx^}b6}A%O;0nmA*I z!MzuOAMenC5SGlHgOOW10mE{Qx7o~M$ice)R!@&PV>1iiSn-`_tLNr3R|NHobd=c@ zM+w!yNDnay|EU#(kq%ACzQv8lStlb8m;zFhc?l88!f#G%YqSM_Dw5K#LrJ%}JcU8> zoUlslV;itDQ-Oysl>LXzux17OYlPIa7FDe9uYDGp(rt zp6B$y%^74@S-V|LE!7Iv#w??}^aonYET?OdTahC0duxPJ2+1DhfVLx32}ZL04$M_{ zbQ@ESuSF1XfInNP^jB^}sB|BsYL8ZYl)M==^ZAE9xV$4klfY6G`eUROP$O;gkMJVn3HE63y84sn`r&Bf8j&&13*gN+P2)v4CW!smYtH1rIBv%#(=7OKQ*DJRrkf{fGEy_GLleKu`+SdC`wxIVrY=tGACoQr!>z@>QmMnV7Zag z%aBpWe0%uXKKqR41u9a=9AO#wnu|dN)`;83jf&Q1>oWhe5byse+$>Jw!aW|BBUh~= zh%F$~-Fq?Uie1bVDwU|`EEzgOBk=AaETHMPNr`rZ#Q~Nm6!1<_X683Xuesx37XhQ=B~r>4f0_C=6HSUGgB3&ep^#>=NjZhIxt^1ZuNl3t-FUhfB# zERAXXO4k6iL`k{9-mrtg3-F&L7hFHJfhF8-ZweKb?FjPY`!1qn1&$SFwg&db z3Q4L+ba&W&#m(VNnNC^sNTP5fmd2=jZYsg_2Enrher19#av!+8-u zz~#hljRWTS49lYzu9Ga*&`T+V2!@JO{~Qbd`nE$Ay4?o#;E-S37UMhSkdq_PnU|?OU{YsN$auRWv#g(TjXVQI6t-bR?UcYqA6-TZc9o(c z?PbJ8ja)JFRG77*UCgOo+$%&+$66W~Ee zeg#Udy!t0yH$mEn>Dm?Bj%r;7KY_T7qxBW+5tBEkBk11jp!UdsSd3@(a8S{}F1F$(~)4y; zEcJCWuCR4VB9e@I_1mxkmjG+oJ|9K~6%OdV?sdN!;lpaa-cHlH1=MlO?0`f(cDd49Yb{YAlSt%`CPQDAfTu#iSRaNVSH{1$NzR>0E2w+4trmdR)n z7rYb^&Wm#tU4JG4=aw1f$njyfXvONsrE`7$%h;=evgxuQ#SGQVd2~c2Dn-!+77J*T z)j}h^pwnYI&-tX#J_w915cLDoXUw!M~ISRtu|YtzLpwviggvYP;NmjjQh5aH@1M?p#UeAM>(YQXygmZrcA1x8f+CyX9{EKBw73KgQV{GBHA0Rs z0jOE#7&XTa!kw0I7Em;|N|f!Eq62$Pa|y*G^pM13Cvvay#13Dy#R@5une$-OGe z%oW|!G{nF{gbYphhnu2Kg{9GB-9YQbg>*~}MtoHy&{dOi9qjYX9)&Q*)A8?F!nnlz zlu;uDR2(L!lfZr}AZ>ffWBFqDrWbhmtfDg1dcwJK-|wUR+(Xb6C=k`+a!;OXRi!`4 zp2P6BKD3)Bvn(s}oiqg8Qmz6e`%Cm?4!k_D&?B^ZbtxnWl7-f!MZF|-ksp!&MHrY7 zBR8ZVTwy!`NSl%;*&R%xnfM{6VgpST$UGet8l7FkNEsJHUF`@U+V;zY9`0uT_#8xtF|Qq;R&PPyG^eDA z@J~Od{E5k(<9ta{%cc5aAi&0dxU6MPZLcR^Z-$I5vcc59TBkGjn@l&$IqGb;)4`-Y zO@Qkbu}!{cLeETZAB_{FimiI0EH4QMYzv3C=rQr=PH6H7g9sY%g|PcsHmu7zP2)i- z6A;GGgqr@Fkca1vm?|bc_r#V#Abw__9KF>lIj z6-)0p)m7Wv*(%|pjY-wj#@E!JmKk&Ms;gCbvrWQ97r3;x=9UG`?LSYrfB({6j+?e{ zM`ri(i!>k+DRj2toZwZl;_S>xe5ESd{G&3Zzc8QyiwrE6c3;Pn4>R^_yf!_8yTs2D z0KVK`3%(7P5G4iUeM}A(*68k`cGA5HmF$9kE)@0&CL{Fj@TMm)cG2SEv#(r5XRCHb zjnOEWC~h-*Tm{HXPs~}CY@G?<>)z8*2L#Spx;`L{n=1N@RQ^?-9yK+OzGC>4&5YsQ zDA)JRast{#yM9jGai0q_(cGMsRca_NRbS1#HNU-8f8Fgqn|LhX^ypH_2ms0$tKPD1 zP7hZ1;WgR*F6|KE(jo+z!#B}zVB;5NGHEtx(3xAuSYBuoMfy4tBMtt%5$V9F9*6*7 z+7Ecopz0|{RPUZ$d(ktBE50+n8WD#Y0ZIp?-hm`TMx@0?Uffl*EFaFx$#HAq0z^pq z-QIU_`_AiWzXZC{)Ptn$0WI(ns~KT&CL3 z`SQ!_({i%OLC=LS>-k!E$C=)`D942~bz`NbFACQ)_o~TB-h6#|%H7CBdvXbb*nVf0 zwsRVmzNx~LB*)oye*wym$$d1;dS`~JK_HhSSy$9o(-Zkc9hIbg&Xu6|`YL*}qpZm$ zicjskA1C>0BOcfvt13i)k&C*PlAK3De!n?w-Q~abwADyok6(W3*!NJb-n7|4=^s#$ zp)!jT>B4OeYI-h0L}qV(^~7OWD6b#ACujX!QK3&3%Yyo3kST+?GX%C6L0c*aGQiMK z{J*yU0>*6&eR)aFqn;G?1q8A^b9Fl7ey_Z3E0R(di5mN|G%lrZR@&pa@RQB~U02Yn zdlFHtfz`#0cOiUvFu4*y0LlW|8 ziUqZ}w^Y@w^4@jFh%fcMoj?b7QQ!r#WHmC9S>FZ%5^^T=lpXme34c6yeC3zniikn8 zdW&j{j1qmY^p#mXv0LCjWP9W-U!HW>T`b~Sly9cQjyb`ucpyBppZ%nJGt|M)l(C``j z;urpM1b^*-?x`I(c$%T0K8}VZ-c7hfs;ZteSl%4WjI7#ZEQSS!3szOYenOI&gwCD5 z|5fBL$JR}&0?3NxH^rpO0p~db6L%FUF)P>&sjBY|KR%=OKGGwjpgi6RJsm_6z0awEmC*1}Uxm`S#(d{Jo~IY4c_Bb^K96 z-|P{!Oux(U2@>7E721kjTj@TpIQk3V{|eK`YaLO&_?8^lJn!uh1r%VL>MT>M%Zr6a z+ZYYu_j@{Ds8Dp46FIzF)9QvEs%I2J4BxzWRtT3poHX*yb-5U^`B}%vN%2M&uWUOviw)79AnW6K`#4w8Y};G)yY!oB()*Pvb~MoQ z+<2=i@$PD|CH7k12psuzrNY=kYD+;ek;Pc#ec78^Qrzn1&9t8}>wIbyd^`!;F3fwX zoJ&)S^~7=@TKbJ*KfVIS!({cb;p&H~aBmlTalH3-q<9!>TQ8NB&CPjsDPQOpB&F;? z%_yLhTKVNQGy9;RaI&|zNA-5)4CDFwacZ;NowV`MS(5%&7I;^XfshjvMaiA5U*|T> zJ-OoGHOhT`Ss8V=lN0nB$UA}^bI6^cwTn3-nc0gXS2fAAmvmH_zlP`jrsfWK70A}p z)q5)GRQ~erB9}qBs1l;hZ^M=ER;1lc?X=JG<2cSAzL3A>g7xa*x!Xbesl=!9uXRVf zdhLX)?cm%10L(HCGj?3SkuMf?T)^uwcz}Rf5Qo;Hs5S(YL#4g2dh7`FDjj*iK23V- zse-Xobv;(#y{g5~7_6!x!+B!Oo!x*~SmhK6nMb7hiLPHTl^!T$f6OGfLr?u`Ubt-{ zBZSsIxu$ySVHKT!%1b&UtDkE!8gHs^)S-W$X>nI$0FD?@nfrLXK5lcl3=Q}9UJts| z^SUJ~!vZ~(r4w*-3)fVpC&0}r`*>C@>}us)h9nszeN>D;sK6>8!pIOm6UemrR40bZ z;0f~_Gus@Jw;n-c{T9ymH3YLdyzkCUlOHP`tNM?jlu`P1%icHob#t2H@A$^`5+B#J zH!Hx`mDd8S=NLil^z=z!Y;cH|j?h{%vh3Bkvr2WITndW* zL}r|UFcY0Vu!aVd`p%@>TmyZWG(bMlhIlcVqVQdT-`bi+p#BZ(c+?;zd~xVwhCTG} z0V_$<(bO~%eQ%3_g}rZJRob?OA`%V5+pML9I0EzlM(~tg1Z@^XwtmcuAXJoqg>U4_N4EJdI2e#ICE?_mA{Ah7eX|VYn2Fwh^P@n__?+4 z3iY?(F}RfB&JG_8L@4q*I8Y-fkQu}p4je5SoE9|JKu+pjP(}(ldyYDt`R1=% ziO=QVH6yY9%p3?nWB->eXcsPm&;*3KL8N0p=8qo|1u4528Ux zsSeQ2$-Wzc!g+r`29rVq=0REJb|ki2CfsQf0!l~LJSO)1uOeffJlL#ROF+~gs`OcQ zq*?6r8Sam>Eu=$b2xn0Ux>8MjsP3<>WJm=8ef{iT7+5vHZf1~Y18DHU{g)n-2@sS_ zSMco%rcjo8Ho(?lFou^CYR)?By zm2SN@$)^(%{`}#4GXA`h`{?XBcrWSd6U5FU_j^JcltLT;-$#PL?64Ly!rr%mR{@Sf zI`S7n{h%rEM>`%0|BMZQNN{)u4`S8>f0_z+_S*IbwDGH4PQg;V0M#81fpBnVhoXKT zEW~OK`=qEXE0JJmJv*-9JVgQu8B=OVf=`~$elktp4fF?#V%_x#3sju2jf8#F^SB=+ zO2OSIx*V6B8HsO^;0c~@32>&nPiyv`k^G8slm89q;qLjgbMEyN?U|*}Xd+3<0iVlR z`ksHNlCz{&uF7E0i8({tnY1Yf9Pg!OFny-{_bnt!0PKJ?eN?BZ2iNT;Bl!T#22FL! z;FXz@3FSrG7sp_^+D@Kehxb6^#+Iyjz#WsX$#tUgM<_Da%yOedvlXd^Ot>-rUAe0g z%o@+h!fSFR_4}3rqAV{%0S+{v=aS@s~PBJc#s$Y zFe1_q{y9`_uB%d+^8Tt*Nd=u{xlW)_-1)O5|C@&kzWkwO9#|;kx>x?5XQuevvv2SA z9ajw$;$onzP&Uv!>Xw4dnim?PX#j|cwuvfgn| z6KgZhI`ZzU$qVfLJBN1x+im?YM6SQ=tOdSs{n7p{uh2Gke+pGSsSh@G_8(wQ!l1N3 z9K_WG=?L3_GE5)KVaOjBu+1rAxGbXKUiJyJ=rIioaD&Ec2C#OyI+!6x*2qv{KIuBh zot{v1M7UEyaZwwo3K-_izOS}x0Sqm#2uI}2uu8I)EptX_1A9#cBB46WeiMoM7n?t3 z@iwK5b|CF*6$Y&3?wSjhGrmAj=H>Zb$7l1Z<2DlKXiJD0hZnS&G4?>|W41?=d+t!- zU_UyZ#=2@Jcy(JG8!}7g?0gR4+V`@2vNNkWEL(D@U%$=7r!?%SodgXflbgMl8%>$& zYmQOx>{zZ&`!wQV2~uGQUAz<7@g-kiyo^spkolgC35$P#!ynBAY4-!)VC&sy?ic^0 zY#Oh;LVZYXJQk58Yi|@GFuBRm-L{_#EIB9L^N#;M6KxO<@!I{(n-tEGiyBDYr5M)I zD3m!e8ji6=NW91wk880c+Ja9TL(Ot*@K@$5Ze~};x4^D4JZZhfw1!?zM+|=PZ5<@ zmOGa!X!b($D;Ud|NlLUs^!VoC=q{lE`OSQ3>o&V&245Jz4J(^ayq>*(2tsz-KN~8F z?KtDApyZr_qRWX1<5=E_7qpxI0P$ZWzYtMzwWNkSS4s;GG%X*{C+Idu#L-{R^IY!aiAq$WW7A>eQfG!GXv&l=QlQN)&0()YIJ%fVw#$o5r7p>3dVM{n?R;^8pM|~iyf@Jml7JqE@{@Sj^{ddDb_kmn!?=y}_=Se5ZL~@Q zOC;`)7iuzr|MQ{$YIRyNNEs)w-Z%G|e}b1dVuGY`6NLdt!fGovR3%jSfh4BGys-Ik z@hKp&nqq=4XKl+_n>z)3=YiB#f19@l^}E`OGf*<#w*^ z(41RXG1U%~{B~_xKQoxsUrE#L*137n_Gl(9%y|2ltN%b_y6SIFv=ONqII9d=vJn=4 z(|?S+B7*B^LcUZfhpmOH(i-b9gU90OcysZ5Q3?Tnq{NPM{I=g>tou>}AG3lKsSNRi z&*%AadUNnx8(4>QYjr%J+cT`RGHc4MIjcx`YcBx8*~B>>yn0+{AB@`wJ8%teT?zvK z-c~|isdQO3vi?{sH#dWKYVYdeZ)suh8|I%-4-3+)>Z04h1(tO;5jZpxH-|B~bLC7{ zb@a0^QUzW1;S&l+p7#CwlC(B6q&MS9EfO-r&>ciO0~e2BGedS%!g2)R>|Y# zMa@rS?0{FOzUtluBZd|oCCw$pF56ryZh^CXic==0w)HN^pN+r{y}*Ws0QCnqou#LW zU(kg}tZfJqhCI1%qxjwEI6W`pA0GO*H%Gu@8lZcIIp|;W_1_V@78^6lRLYkLMOQiu z`I(~;PIi?4Fron4V%Sl;Pk(fn@;6dwd(P_sJQFUpscy+Zds~_VEl>FaEnEfz%;ubX z@#uSX{y(1NhmxZ(Mq(;>2A&UQ^qPM;ngIK$)LW!&4LQ#QB>fBK22OXoti6|h4X^{T zY6r<<#Uu2IpIX~5+o#^cnSdwgO-`s=;u<+M7D5fKmM3twpLvz=8GXyy@OXQit1nbd z-I{}cbq9FXj<)tcjnHUh@@9?ULv)O=@91MGsnb#rRk}j@>wW{NGIElpWoD?OL`%m* zAl(f$=P$t8sDJBE_AR}WZF^bL6p8~WE?i}E_T2IMmI!7|B_U@`rIKeUESj6D*#3dZ zH>pw|9|Exzf#QW3X~?PWv}6@i;k%=j^(} znzR$M#Fb*#((BSHtYJ6Z=3OPyMhD?ysz2eKbIqX}0p} z81Cd>SN>90KI;AIH&;9OM7KO$i&jTA@*kpz8qukbcNi-$*&U$#+oYKYubMA4sS-PjTjR{tIIV)W5;gP z;+Us4OgVF&p*Oi^j=^?|ZoitZzhPyIX^?#pmjkMuOi!XM3U&@ND zR=8vA`17QLO|`UGM+{i{a%Wg4`QL|f0Q*`GowjUN-L_A6@7g;!_>s zQ&FvOCyf0X_v31S>K#0>CI`zMs0D|hCSS23y8oik?HW8kZD!$yA4G&<;bLKC=Vs+h`ILai`~SUW5=nSi2vIS14o(&c zF$rN#ZcYw17ItPXc2+SFF$ob)R&G{dZZQF3zW*yF#a0%c2WUZQjx&6e_VUN)g)+e; zLB6iUglqJ$Ab@DAM+H0;Z-;f@+2fVaz_^tzL z>Z!wOs$=yAAGn!=k?#3O5aV-~FXLk&;YR8`S3)vaQR&Z57q%&N&fslP8{nsvP!>#)Q1EOmR9yrkjkQOolbOvDZpPZ<_AeW~1t7ngRS^^fs7o`BO z#nW!NG!MnS2&)PWUVT~)=<3rp6x$;FonZe7;1Zgusx~24656K4TaC9(uTEcc75u6Hupn1ykdmr3 z@3bJ77qc_L@Lr6Qm=(JV#_)Cni7^Qu0aipCO+6o{(3~Grk_=`e<|{9wa;GVuub{I3 zAxS4GT&^#$@Y2|KmZ&u!o`#w!hM{>phrorzQ-;SG%+3?1a)H>4^d141YTUGTiP*(`4N!18{b%QrBx^9RbMN$wfrWRWH2 zMOk3j6b@^!(ibS#D5oh!6e9dQtxQ|G&x4c1sZiZyuXb#2Kt%evxM4Vt_z0?}G1^1L z*LSD7;*zpe0*&xY3<3#Mf-DzCqz=?p0wb9gZj1!r1^wNbfIR1CiVd*8-{D z3!_A0m-f_)wBj-T_a$7ydYcnqsGgeGg!KF#2FEonQ*F^8t$hqXYwEYbL-Y|}?K48f z#a{o2U3ha8ZSj*d2}-b4%2sj2V#MZN`l19&u2VH=rFXc{))?E@m&e~qiAeaH0NGv& zh0LllRU}b1agGcWoP%}Y;9zMp;Z*`QrXco5&r6g6PuRUX3;Wx8L8jAO1N((Kr%;sK z3)GF5&zWp_Y#>UrxMAl9O097qPt_*DT*=X z41XeDkCYFD=R?6~^N+oU`a`BP)wJrk=$v_wk1WyLEqcLza?2sF0yEQ$B)s4s0e>Co>K93KSNcl3Kzmq5@~{aaUm?62 zmKnq6Z>7F;%3)9>NHtqz3 zMgljp+2{UNgK!qbBIPMTEvNEucw@w?*kAd10wde}Y!r=emFv4hrpGhYsP%yCpbjTi ztA+OmjYe03ZL53MzTuPibKUCbWKutp^7thOTUJ0jno zZ#xYI=X&5uz>o?B0u0J_v%Bt_Ha9y^s{)6GGS5}mdDaUkt3>7%!|XHWFX({SL1)Po z-e`ALLTiFMLdjWx8E-6~!?-#AXB+5Uj;|_JZYF^QH-Q8kz-nuzN}|voeFQv=-)`Vt zp9nZzTNpydfN!}Y1uv-$xc#TR5ewnygMqKLTk0$+0Z{4rjTMXLP99WHLqOS1ci6p{ zXC065jlLg1hKzs7E3+h@@g>pzNQQ&Ivj5)^r|Zf`vFi@E?t|~mf-|V!%iA)6=k^GA zvvk3JfOcQ|VfR<02so&L0)8WNIT&yu7Yc*H<5>OzKhR96P6!y2s|!s!4T9UtnM>5` zD8X|=ShEp01WK?7cR!&XRgh3FsxG^3*SlH2YR{x3yAI96aQvc#mx$W73ZewPYTv6A z)Kq?As#d@UF+Yq1?pjSI^l_r)upan*$mfMtDy^o$12-R)4egSA;EW~5UjfWo@cFgR zIiGgs!=8SC=`b4Dnq%EP=FeE?Lom&oOa)3{?1?)~m23{WVd#l8jh>7Rl4alt`!|ro z0eij9z`41q7RfFM(c$}7WQI0wIR#(;IZOU)`saUa_!(FrZY9fESi-Od?%L*!Iakwu z9p@Oo5RGq$F&hfox%%k) z(s5>$Oodv`P8jx#76|sRo-tLnFgl^TkP4xCh0y{+uo=+Yj)$1 zs<#3yIt2c|GxBtN4tfRLbbRX-GaZ;+FRn3If3G_kVz4T&9TOyE)j52>8kuw!kk2@@ zYfouQW*906-zp_4)Iau_*tP4^U&Gk7o71b+EM3;DHoZj(5b2VMW{zVq1-bst6k~S# zd|BzJ`&26yw5z`@w*%{j>m72BwJzucl~bQ0E5~qO)V-!HF*Hviv}54ZUoU|i<#n?^ znXFZ9i_F{D%WG$yku6jkX74_-ll)#RWAy{Db0%-z((su+sD{S`CvU9uVg>zZhR?dk zZiYl+&o}VxKj?=kV7KX2*Z;Q^myxZy;(Bk#CRC7jqf z4=g^-W1E(o&Oa?{#2o1ZNr&AaL&7_A(7Aj>jO~Z zfeN&yu_2@f;fd6wW6}09tfc6IR0oyCW3k3zfoEiy8%f168E+t7jHIhzOnOI*5uA!D z{b5j4&=;NC7gy95+|lP`74k3#2XBQ*xsRDFMkj|t%O3xq*lQTh);I*R5zaYCCLtuH zJ5_)0RCe