From 09bd730ff5a708e7bb3cc6bb8ee54aba56314c0d Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Wed, 23 Aug 2017 13:47:57 +0200 Subject: [PATCH] poster start --- poster/logo.jpg | Bin 0 -> 10788 bytes poster/poster.pdf | Bin 0 -> 108538 bytes poster/poster.tex | 100 ++++++++++++++++++++++++++++++ poster/proof_intf.ml | 17 ++++++ poster/template_deducteam.tex | 111 ++++++++++++++++++++++++++++++++++ poster/theory_intf.ml | 20 ++++++ 6 files changed, 248 insertions(+) create mode 100644 poster/logo.jpg create mode 100644 poster/poster.pdf create mode 100644 poster/poster.tex create mode 100644 poster/proof_intf.ml create mode 100644 poster/template_deducteam.tex create mode 100644 poster/theory_intf.ml diff --git a/poster/logo.jpg b/poster/logo.jpg new file mode 100644 index 0000000000000000000000000000000000000000..2c2c1e94ad81af5dfcf6f376d82727a6c0cb3887 GIT binary patch literal 10788 zcmc(FcQl;e*YD`jqbF)YMDM*v1VIdAj50bw^cqBs2%<+12GNbt88v$Eb%-`P(TU!# z@B6#!-gV#izJL7wxpzNnowJ{H&f5EP*4lfY{p|hR|Gr-WJXTdwQ37CK000;d58!?d z@D+fMi$_60PDM#hNl8sbNkdCZLqqX|hK81&islIo;}a@c+9%K0pFN>xr=z4~5qQqV z$<52pOUooAF2pUy&cn-vK|nx2LQF#U_%WTxOQsjx+}wP8+``<#Vq(I=+}u15>;pZp z{Qt}k#KZHj<6rE**6v#YWRC!`7=~CFWB^Pu3@kE?`%VD;KM-;Lf%?A)7ZVE`2M^=X z!>ZC_044?|77q3!EbK?vcn@1JFacO(*yPV~a0TQ+6wGEWcr1di17ou)D7D&z%v~#m z6~J-rW6Osx-dMO%xqr#78b5lFL-(Kn6YKxbf`x;DiH(c*uqgEa=RpZJJ~jXc8w2Mb z91pK#*v|!U$p59|LH^jGU`5+9E+vc5Yb|rvBPwcPa9sBNEPx2>K{6Q@89)xO&yS4( zc=h=I!|*8o+NngEe9b_+lWYN~N{Z{_%t)^h`jkqwv7SdQD!Gy^(r3J%{_>2^pD~oD z+o^Q4bVkt{Cn}MhC^dtiUaH50+*%5jQG8l`riA;|aj9~Z`{p2avX<0*r4Y;)QKplp z`q{g-aQLyW%E8ClDGgO}{hCh(ZLNb>DcjOTsgM+b|9# zK%=ffE`N~u`8&JH;jv7xQCVPzf`=e*mVNW;R5Iz$K7{D;pp2!tNMT2)X3zqY2_rb0 zGQn--6Hg9u$AWP`cCAJFt~28;scz zev~}?O|Qgu4Qg>B6;-sm(rw4G%rgo#c*aDCT=SD$Gw8UmBS)>Xm&uu1REU1>998Wv zjnFjYd4&aCGj2^ME+yrckLxz*U+3i_IXtygsh(Xw9;qHqqhI+q0X`!$x?IF=o#?Nz zSBPG51zj$7{MaKib? zR(k^Fv*M($_kgjf6^|Jg@w`(*n+d0YobsD=yr%U%bzsJslftk=dexY5Fy7S4r3WwC zDbzpR9e>=b?ca5RN9b!OsHu&ORq-k+>(1kL>~wkZ+qU+?0gtHhP=;v1KR7*Zkq669 z<}IcQQJfW?ZXOn$nWL_?0AX0cC|oO;on2m^hfMs$rC#nE3)wdlt%ADHt9FUZdA!Ya zpM(FvIBobJdf!p&7O<#ZV zT^nJa?M<9qz8+@8YM<4Sc4p#FKkVB$P<`|fN4P{kJv!peSwNp1#^lzNLK9o!$lEjj zk@mJ>O%-0jk%It*^8KW~l8~&VChx=|fx)gB7)Nb+FtYqABR(HSuVa5?pg^TYrt6(R zXGDy*s{qUyoXID)LjB!`1W9u>J3vVxP+jNolVN5x{69HAQ@sLUm;#mn^w_)7*tu)_r8MT%160X(##7y9(DX%GtFJ@1{F8b=w(K4U&L`rhXkYT_lSUw_;krTrJH>{u{%l*U zdU34@aFuRt$Wi#m%g}$UBr<*D?@}G#qD^BO?7ws7Cyg2(z*#EWDEq=MYqy`bRm!p8 zKN1okGdu(oWgzgEM(dHevD$45yHunwJx2j6P@(fwdZd*^LX6GBj|C$zggmZ*!K>M6 zBY0?hVY+*oa%veD$rM*`53pz@9eomMm>yd?*3*HfIJDE|=06a&SmS}4PN1S17yO1= zQ+5;naxLS1%I`SU-pe7|i4xFcTBFswzQ>;p%Jem@JRqRX3V`pRn8k;7EsyX<{_;j2 zLP$HfQ`1wLij#%H%*~Xf0n;ixm#*^tDZgI0%VN4{vS><08myaF=)+jvHMDx-Vn%o0 zsuE^#Dn&k#rBg6QeI0KJdpXykZC|}JZY51+q$2zJYRCc#OV4@X1jaW`MZ;)~27jxN zxBy-WxcI0>@y(+0GrPA7wyomekNnh`q3)cMSImp9RuoR6L;-`~3%c9ffWh&5fEJs9 z9K~ITciO;Lxns&^ZalPHO5R;ABNll}Tbd*U^4aov;F9(i(pd8M6GQZI5fN27mToVx zF}wMm0>2OGWIx;9rSu)_%*{!ApRfhYsb-$r9gJQQwdyMYHNI${gd_N$8qQwTfL-ij zOX_>g3;Wis^dX%Nocsp+plFyboGm}_6#)S2GiEC(1{-IZ!$P8bAfU5*Pn9yj0h%ax z9gR2_(q-?_QCA~{mYppvy4ttW%>_2KP$^vRoTr|YZ@34n3S{1B{k57V3{wrKO+&z! zdfP$=ZN${2$ND7Q^3SbO{qknw<^OAhAmP}O@(!RdD9`m%rx;i)1ggfP z{l1<15L(>>_|)=JcLv7%PyOG>VFh`k$P-1l_g`sBW|nVgJZItEMg_A=#(Ss<{o$Ed zIB7GRiremi#$3XVWEDO$NIOYACq`LpTq`h0TUu*Doeh(R)CcF69~0~R-Rt*~B!-+y zlR23Wd$HeYJi|}bPW{p-d8j9`QdHz}KBnXYcx>zx|>NsQRQY z8MQIu_d56?U*q8N_gN%&Yq(IQ6OkhepC$wO8Id817~lI8e~Pyw7N38*w5sT&Vf^T4 z52U1;ZFKaCV%U)GCU0i3w|!1(E4l1gfnJk^9*&jro zldO{lkM#Zr&gI`?etH6vo7fco-rK<n(R+$l%lsWxVYhbVP&waNpflo@$A(@t&lb zDKn!+9(8Lifrx}^=sClT(wD0dB`<34cTXhFP7d58gb#-jaic(9wTBsMD~~C_6(UjtN?FadW=VHqb|%BFJ)}_m!j|;)$fL>U z@u`>dhKPoXJe<@p0AU>T2Y}?od3B1H?Uqpw$|qI%!}8j0L8jZ8hzu;qYZuMtA9*-T zjYtc(e+BBTYqrAb4Gj33)F`1ko{SmfFd5_=bIDgrnz6Q`pYX!Kw>IZ+wKB&-Ka}w~ z#)h)!A6d5V(q6^7%BbiT^Es>CyYz#}E8Vi4v_m7W6E$~gy9f1v(HKbMlkn~MOkX+vbg1y1xNQ#t24H`hJ0 zVykvPBI&L`sPI{FdtL}@CTm$TDc#fSp1Qh71~MpOjD=r|>_=MK>`a15V45ma@IeX_%$9lgX{m-`zvus>#&|#fcp@UA-7*8i( z^J?#7jO}(s9S@?LMndCfdcc^{u7~zLfJWQ9KL-`GKQ4Qo z=2tQ~94>GVVCf2Y?7$coFwk~tQD%4RcO5&rwwd~vh`6?f!_0;jncDgRfJ&+7jJCc9 zOqlWs!zQU_#)8`?J16J!tFAq&!Vjot5m60?cLC$S4oY$eTTX%*S_ z1$rg!Gh_s_K)q+Z=Mmr@AaGbNXsc&~@)_^*PSh(YP$p`SwB2)t^1+g`#0{w_thGci z0k3K-(1n9u>}+N7W}RD7FdMV1CMVZ0ROf0DyV!D@@3BP9WREN}0s`-hv!Egw-_?MlUUWQqj6xa;xIylaQv%&~*F6 zrf04r#>qt_$?_@XVzI-k>ObI?(q{W#Z>gW+rJvpdz+9qH`Y+%;H_dvrGul7ri$-qz zOEUiZxK`4TEnj( zG%x;AG-!cJv4QwdE(oZ z3OXyIm}6Wl>rEQd@D1UmD-*@A%Vfs&fC73~J@v5qeB00U#IWfe@W#{BKD0|$RrsQQ za&}qU2j~m9#giyfZ)6^!2@j!-EE)+#EXCwF|M-|6rtYq-iMZheFv&}4RaP9+#=E7# zkdEvB^LoWhcE;%gc%{iFq>Z*CYRU)p%-PG1wB^r*jQ$+6MU(%k4)P}|4Vmg_ser}@ z5WkVLpzAvlkQVvir)k$DBxwKYUwJY;+qmPT$k8c4W>&VucY5w(lUo+kWzsWEHmJOO zfrOkdvSH-tk6o>pg+Ct+F!qcuwcwC9*ULn)<=~x?)DR28X5}7`*rA#|t%$xw9?FJ5 z0D6QNtt9c)mk7_HjJ7X)O>}z-`0geK2G_!p9JgoZzDQa6H7dLAr!G9@Qp`1M#aHDU z7w5ckjuVLv>UjoK;Of$um}kNerbOlEr_z0iNX~kxs;SYA@eT#oxXM$%djL=GF=2?c z>9@R;sLvo*jjurxQqQ$=&0)E_u@jyKu3Aw=<^XTl>!UYvD^849$%F%(Ped52kFAq> z9Bd%JI4l``O)4)g$+uCj;a1N$zo0w z!2qv&K<;rJOs$0LaLId~ky_l=W92kJoW-(!u5nJxPSZPA66>IReI+N;nBo0zZa&rX z^^-D_>0xW$u^xA|oY2Wzxq$QDKgF+TBr*8hrDt`Sr8=44a^Sd4R z4zq9knrC`GpHBH&!AprGx= zyGS?(830{UX(wkDih90&z<>TLlrK~5(=UIqyreb%#O*tq&E69|A~r>aOFxZ?O(qsX zvt6rBnc#L(hX#_M&R*vqHs)-WanKf+%8_2-Xz<0MvU2-!QY!W<%))Z4+ihR#f&!rM zN)A<=^pI*CoQ*?zCITti#EH2-`xk^@3f*>(H5btS!`nELOb&elP0WN?jsy;S3`g2(>8|cJ)E}}Nku|N^%PlPr} z@bk@+W%(d+YO_{awBBvEnw|alP_Yx~nxJ9U8LmIxtxfY-&G+|0mhWn+5 zhGJv=g|D3B>eMt~r_06#a&fJ^BmtZis6=mgr8mWF?YM*d^sbs^p?r+*(eE_B;a1rk zkkF9&&o&9OEN~MBxEsav+ip@JBnwSlsO|x^xYu5v{wR7R=e=V#1gRo5SWLtHdC*J? zv64Gqc-aGpSFF>Oa<*>;Pg&>`#!ER`EP;svtDa6N<@bO&;g9(PP`M7h2Xl4>8fQxP z?u+>xq5OWSo8016F>!jNN~mn#c~QI9=#XSisC#Xm*XNh$!xny5YV3n?X2H1J1K zWfwOR@Ch_ATD2cFQ4@D}qV07kgOm_BOsER(ukQWsjOIPvPSmR>RiRW>dQ6eawnL>;eqz=@q4o)vdw}YRj(^_5$lNAQ7**w_0hMJ_ zv`#J7ca`@2c zM%-@W8S|X3zd&8pOqOuRACBb?YbVT(X5Zjn1=2e}eZJRIA-(NpIyY5zk=1`EhBsdF zd1exY+s$ywBHrrN7;GOnJa)y>`nYT%v8~wl5xJ(W!9f2eQ!y1f5PZq&SEe}U{wc7n zNg3)sSyfSvm2!(GHS7*cPs%RQn}~p=$4PGNIF6f&K7_XRCYpnh?=(+*C371! z7@~VdD7b8>vTvFfE1J`BKGB>6hH=SjIu|Y+u+r2HFLD@F=dY?Ox>(lq=BMkjwLNB4 zdA;V1+viB*<0Gl2&R*F66Vq@`zI*E8C`n*8ou1NySSmnK`pjAdGz>=ly-nTK8SOMr zd(K+co=Qk6<#x=b(gmh4q2O8Yp&6;400t8Yq9>3y*W~Jp3$gFQ6N?RP5uF^{-nFA% zM@e-u>0?OA`ewr9#>-h93(=s$T8_2)<6Clld&rM8z1Y`qV+q=+zk)>IxGXUS`@7EH z?&*4qYB{OlZrx6d*=z9@4kuY}*sQt&Uwl^#V+-4C?^xzJOarD9sM3|*;aIWZNTS5f zE4eMsGphb1kMpaexbtA6!RLHE^@bn!@*EOk{4(Hmiw_EnU3DThAmin1|m zt^R$AXkLqOTwKwZZ~sr|Hif($ZoTM*+P6J+_T21)Wv2`r${HD!Nrxf*=DAD%-qP7Q zahM&pScS~2b{q0WnOc@D^y_*CbDp*JT7BiA}VLM<*hG%+ZI)Jrw!110A23_yDZ*E zVt7RM6_Uwq$UD(7fBz+J{CNKEHi|IvtgfN3CY8xL5?oN15|tH`B$y2sj#r)Wti2S| zQuzAtRffseG#9TxuMlU0!felun0F;=KK<2p6bpO$4M{X}&!HuOemk*!!jIkQr z15^qe>uK)+Tz8eSA%+7jw;I63IsXqcyNhoowb4zU@TJdSMy2(z3#g^$#<1!=pcD1J zL>1q2bMNwHBa7McVf!Qpvq>1{uJ7;jn9e?nM?G&q<^qXFB&Y8e=h{9fo@FdgmKkkN zc9}>~T+6(^E|fYer)JXc0poED^$kp%LC5C!b5y`lGBk2x1r&aba}~J>C7po`w#qG~7OpNDkb10Wi#P6IEJ zCVW}89m=I>qj(^W9cTxQA8WGY{UMma^sDrjzwQA$t*eL#1o-9OwTNp4Y~=SGbdN#w zvuJbmZ&?I~&M6GE<9RZFVyEVB-AfAoIbF)GvTu>M{{Sm8U}on^u)HzvjqQ47#|)FY ze^pUZZyx=|+{v|1toH0jlkt+{O)Q_#pM~|H*MWVCUn_&f+Z?;}J*bXh`3Gzsps03M zZ4ON%gKyVlqg|>laGIywDM-%B0#^24y`?NJ@-qFMB#|jGgJfrkS~DhFnW?wgvvg*2 zC8TUu7Nm750s8uBZIpbINpT96U4B}B2j(^GM{ZagZ*IdF2WKch5Nf@uUGb_owt)Xl zKPhaF+h(q8epzDe9eodwpsDyRT%ry~Y4)~vGPMLY*QN~<*m*!{wGfhEa8T77mZyKl zR8GCVAjU=|E<;SJm%Zq(D*51hXUWDie$k5|23dbfGf#hnhu+O{1_;=^a85#{sa-@D zT!4*vT98rAcw6K{cX7m*4ea8qa_A*ZYo~-B7ld+~XA8DB<;oy9^ zt)jBu>XX{;ik8q*+s4Uwzr89>`#1kh_5VNGKp2YN{o%uFoQ14mqd1srnS}TudugJP zhPgRZ9)EfA1ylS7C6oJ^*qJZ!%kA7-#L>DHRe2%|XO&H5bG-$`F?pIZ40`KBrt{K2&|1({rcso}9FLPh*D2s$$=kUmZ6a=F)K@Vzp^h zB3{c3nivW6h#t$`EkaUO<$nZ3Bs5iFj34Hv z8x`J1yY;-2mQTqFPt|)LZFgqZ0j^_wOV(U76J}Io9$Bk8539}~SCC4)ERM^ukPM`V z?odJ!wFGf0S~(Im%oWDX|8Zm90(Ta9<9^IlR>S`%0)znLgMZt%58cS6Eemc^mbvLI z+o=KxNOm9&QkOJa792=fl##j=^)RU?`-;e_I5|G`73{K#b8IVs&<)N6Lrs`~aWkfT<@Gjh* z;Vt4?@KF_cUSpF_QO~l_ugX0ZcPm)Devk3sUS?QK$efpV%uJrG{nd;DA*>k{Dy4^> zAaHT)i_^e2CRBblE|aVwVz>}x-5RcN;y zg&-g?i)=5>@3}?7$IFiNLVHW^O+}{|t1R=NX~-%|9qjd+sTJi&C6^?XSX8@iZf%i# zUVbRDW|)DaM5p8(IKV7|P~@SiZ}N2jrq$HxjLZ`Q^7{-t*vmur@8k!V3-k!#KltU5 z9VSpq{7>!;(eU4a>Tzvb#Xj-o(k7S?M_F~@&%zN9rPecT?p7Rb49)4Kx0ba(ez=A= zp+n3<5n@zNYSs&!JY#k6n1Gc@x!X&0~9~={sBMF?)`Hxo7e+~+?B|CRP z;rD=nse8bx4TH(vKz+K8+&#ck?at*oTjE>pK$x#0zxq2-CW0BIyg%{Z_TYhoiBCV@ z^j5xX7*_jYl9uG0V1%RO4RkXafj8Xz^@~b6^g8JnZCk}Z{lqol*3ocT1eX0&7|ba0 zTt!jISLpnPPCJM5)OI-;<%L9-&}?xvuONS(&|wnWYID-dxE|=caUei{WE8O^JtJtO zy*MWFxmQ-xD+7W^oJ(kjkqOm6K%(M2R+)o{-+c zMj0vbB)EA}{(yJb?qrt` z&xwQqgNuJE8GriLV(niCPS=7M&7>lHIRYjB#iD`eY#k&gO$X}f4zHzbWgt7Q`+>8x z7gp|U9!k;LK67caT}iNAU0mYhYJyQl+=y~=plgx@hXvsj;vK;cRh`1OZ(I|(Xt-Pz zOF+b>_D|lyS*2>*{M9X$KJw31ul$8`BW<@un~kDuS|{z%^F&WO)`p!gYC+l}DbNyX zP!_f!)pXC-XsHDww8nn)>;lyeXKl@`@SY=CobSnCf9rU`g)LP)d4e5BaqAQTA_K9} z3G%iK1jqyjHmuWT_$cyB9$07Yh7=b}3@5QZD)%#RmmEWp~e9=p^&B z>ea>&dHcd7LL3|U(|A9aotm0}x1nsW3N0+urDj1lcC*!f`Aq`&I;9vNDjV~}_`Zj5 zy&dI3vwRjI<{>4Q7M|Lwo7+%UD3EmDX$bE_+8y~!57e8i3e-6A&=FUCKyVb5y%phC z`X~&qwMp?R)#7#F&+E=yBBD1) zO)&eNs41^RM6{cCEZW8s_M2dViZc%N5o|coU^g%=q*yKL0~T-Xkx}j#g&P)%+O2S< zekNg66zRuX2QequuluXs*&pN>i%2re$H7+V4!4!iy!y>k_BB(yiMCyZlH%`3*s5*c z^Ap@ATj3jtaITSJS{>UA@M;{onZdR5fGDsooRDp%DWIV~_^ZO}W&Kc3#KUq?@ z*Lm`M0Ayp%7|-NUB>My|OaE;HpF+fKan8XL@j~BC<=JDQ`4P>S4~}T zqkyGOV-p0HO;5RDo-pk^L@E*blZ$Yjwk%xK&hNqHJFd7y|1=uJoYE&Yu9TY0@c=8j z1ry;aMW!5ak1V;7ZSHlWzqJi6hYD<*Tz~m*{IHbd4F9CUS-E%R>L1e5uYTVL#FO zhLgqo!($F{VN7VzciQE&YRMpu|8P(J#v( zgDc@tou#j=;+UmkiY z#f$tl29knrdxC(WQB?go@(V0dJ0mdyxqpH@hUW7-y9MGFf})`+i-(by6~q5I>OaDZ z#GsZ8n!@zJP^Ke2p_kntT1Yrkv#(b&PNJS@=eGWYJ|BeS7IXJMaW{Q*)m6&EM&rIq z{(~MsO+9J=%+NIJYtq}DnkuhVBQ!q0Zbf@GbwN4X2eU$z0JqDCl*l~#iHcQCEdXaO z2_VqSk(xfA`wJ|-!Sa*hfrGM~telyk`3<2{h(Z_Tj^8WE47OqO-Wi~pk|9enN4#2s zRyJa{sN^2Nj{qw^!ko7l9Eyp`Vv(Z3j+Dff!cApA132w2HAX^ z3rbchz~>^26#(Y>&Xjq#VeYX#;@O0J0kQZe_Y?sSFz^eU6(TSF7C^Bn@ZNG*UBBG< zkAVPW=(3paIO2H=m*XOHW%hYZPG%-kd5VB%)}|G=VsH$D_+r#mE803j-hd z3mGYZ#)DkuUCeQlj;NR3bcEXu#zlP^FDz2rh)8f=diGlFGq>9B_)Sy1aq|A|$~0HB zz9&_JnCV?WH3X~ zo0FH7>|Y6yMas(7)!dnkMatIL)m*~d)WOUgQCJw!#nsu|*bdQS=~Q3Wolx4@Z@yAA z6Ng_KPhq_!qjqp;p4Za7w!Ut#`z#Y0QVfwBehNTaesz2e)Le%p`a^d3J$|@)G^Hf7 zq@v=j*?t=8J}z8VG7lp;q2K0!@+OPo!*1v zk(K=F_@Uw4=U_L#|Fv(E%=Y}n%-cz6`zt&HzfFEaTna)4eCr>~lKdlehja>K{#|b? zn&sV{#mAjR_ZZVeE}_a7GmA?{ETHQ*`FHSs`0$`39;APdD1?uGviwasc{0YF8y+Cp z|7~w^xH2%yW8KrLduQ~q$0h)su2?=?kx$6eh5K>(=IR!-FQ&LInB^(*itN97GfQpo zGK_mY{QdI;6UExEYtZfU?%ku|+KWrfK8Qy${?eh(?b%0I|&VFM~Y<5?QRFdcZRILJKebL?{BvNWR`YrliaVC0oW=Qfs1pz zKR!d=yTk-9xAw~T*Dl#=UY`m6JesWKf$X+m?{n1Zywx|TVnPf+&Oo(b&*SsPgH2mw zPwL9Q31ov_4j$Z$K^_}E4!>UaxkMaU-7!h3z`b^6YW|czSbu7{#pyyotp*~?vyQkO zQ((@!4e+e32(B(iIbQfNscm`TV+Q~}jzNP~pj~FQPi4ZHfV#@YLNwt6`J5x4KUuZb zr1(xl!swg>lj~Z?K2JpC49PN>6)?l*mAY=7bx5KNX5VU|XMR0nQuZ`q*%z6t__i6U(-`H z(>a>+|H$T7N&F%{PvE-UlYfe#R{Y6aE03l;1jUmLPkp+>2jeUsdg>Tizs{FG2J3$9I z(AuZ%S|yL(D>)SO7cT;2HQ<==We|ciSmsNYGpc}HiKI-QjeT*q4%#6Qp`cqz-&Cj4 zqa2YIgQOF5jOE;l|GNs_pEOd_LaoVX$^!=V6CV1L3|})eq@&7EpD5WRrjFhIchXVG z+_*4>{jJs@YF$|oGV4?u2iqX)TqtPHMFaCZeL~Jr?vv^K(@)dVE+C&BgB_cJ@XjBp zu(0&mt2TMC5kx1omto@3Q#SHUU)WV$#EECUWGd;4g*5ad4_Y9>5$yx+&_(bGbkM9B z6b@Hf$x_S-gEWz+eP3X`E1C$u|TRa&FsK6}{(ON@LY{Zh63^QW!>p#omjx;U!La~9KPN678&l%9u3XF!MuPxCNcFMmK`>iFY+Qpyt zvy?99w#G_EhAShH-U6}dXM9=AoV7WdT6}8q&KnX?&6*;A#Ap-+9bPQu=*= zERZBH3{xHO8v8qH9dfqxNlFA|tZ$j4pJ%0goZcK2WT7+zVPi2>EV8&jL6Pr90|Hbq{HVF6mM_-kvJ49hn(|H15 zMUjU)co82{4Ro#1V`EYYkBaBSy?|n;)koG6>)6HSFOqGPypn>s#TvW(ufJciny{#| zIOWh~1nl4=)q7Bzf6`rPpQZ)KUnj~RD^P{RyTUkym@9w>yM6%|E` z)+_~rCB5r-i)a*zlEutu$7tTO%xyokq&O8ei2jce6dWKBT|;c&mG_{o0EZmEv?&MG z=EIRt&5#iKMq0K00$XQ?ctDqjtz|)!w_(=FkRttu$^!K_mJq5B&|jz;<%TR;Z3!^+ zunF`=FrA?ov?(rGol5gj#866-wX9tH);Ix(Br&m7Ia^!}2S0Fz9Y-_z_>ik~V*Jr- z$XS+DxLku6s*D0JpoD+d8r&1P?Fj3dptI#A5FTa!dseC@=R(GGtM)c=A)I1h5JOqN_(7kZ%pU?DDaN@zf!MhL-c zc6XuoXDE50taVX|R zk2Y<1f47->N2rt)Azcgz5Y=4tz%jBX-5c}I)kWtNu$WJuuFtbXBv-YapvE-x^QNOV zG!S}@db4UE{me!{hgbjLj`>cqe8nk_Cq^xy{abm5QgQLZm1v<33T8>b7=hD0%%D@4 z7BmBWyiOSwi~NS}1#Ri@Z5Zh)Tn=thOd}fa)4?HCe`+AC`V9sAm=3+C#=$Xp>#hoa z8n_jElKwjz-cVVBXZ*01ziEwRTZ2@MeaYx`!*`Cte&pLFebCcqzEk&YNHW&LZS4D2)5*?W%}bM$U-x~o>pSc$ znp&NW*^D8VW1`sJF>`%?-c&cm~Oq?LKdn)Bn9yauNl&$F`@Z6tNAzRZQ$ zA%|D&-&1;Z%l3I%eD0~`z^ywrLPAROEU^n|wGi_Qn~S3+vI4oR_#Bdw6LqULO^6?3(;K#~tTacrB;g5MWj()S&!E&IEgw9Wox z(0vuO=E37s0{AJL{3gGum^eh{%sV8L&RZF0 z&Y%Q`@WuzX+9Eo&Uw<(7uLej)R}_}zK~J1F+W5~uUFfd}lv)fo@0m_7uiu5v25w+g z%H{?%H?T6ucVh(z^5T|RZ?+aFbV_zo$g6I#XsmkLa?oy48_B1HGutfP)dy?87?Ms9 zQa3edFYBY1=P)njjKH!-v*DlGf92lt_Wpbf0cLM3PiGUNcAs&ZKYFVdVaM7hXPmy7 zQW0W2YsQB19J-+Ek-$Kys4v6F(`|^i7avg!{Axhy|05>daKxcJN<4`g#++ODJp2`> zUI|vL-k~L5jZgpWJ9zm#SYhyUvEhJg5b94LAkWCvZ@z@ zjU5%}yi(Y%HTuj8htXjQp!MI5@QU8>irV%m=cSA)c|VUzE>|(F)GzdxcYTte!m!RG zAR(Is9uK_9HL#Y6&v-}~y<jOX!^4Gyc#KygD~&ou295-rR||)O4&Vzwp1ubP*wX zx}rsH6?eI|wKo$HB1saBt@2?p((2>R1iOQJ1@`bM&4_q3y@elT=yeOjfk!EMEa}LF zS@7MwEQsET`NY8tu`&Tv`@zQ>ywr50k_jIfJO8U$qK} zoo4U5C*6V?p6TL8 z{DcYrz8Q_qRCA+G-Mcfmv%O6s73B3MC=ctEZN9&beVo zs}MkTbMV)3iIEA}U(kksyI(5uB&`;u9Ml$hOC7~1iMxAL6E}h|FJ{vV)x31ArT!!$ zl#hlZ^)IWgq>czqz z+}8XsFnU90j#V$*2}%(z_leOSxi@vTXzyer*ONjQ6iCCv%_WD?Duu@&Bf+C?NYxW)+Qp5^!G^&M`qlK1J~^`EroYe}@e& zgkj-y#t~1u@-OMqLykEx|52yfi?u0ZjEeppjZn>AAVLRyukkQxdDa^>>EtHdc0tUL zWq%wfvTBbS@I!1dp2`ZwYLDjFa*p<(M^pZnLD^y>rm7f>Qu*%fz~Eu^w2c>~5+}Hb zteI@%3C+ekP`KOj$<*4l94s%io24#ejf}b zq^@|h9+Stp6X;0m@29$Dbj;qTeck}MW+PJI@c1j8!>q$pN~&buso{Br?-@o*s@zmW zi=^1hePs z13%qZf2FlsPE~^(;8HrRPtj4a^pHT{pfTDmUN{h!cF6W)ZVcOym1dUP%neGXfEhGW z3Mw$t3PYA(j@yzjN)DI|tHkjEXq3Bblg(z*_fq{J&Dc-L8D~Fyju2yo-J6S3{2j?h zpl|nRtt29m`)Dbv7vCq>l~o1Zj5qw^D@Qw>l&Sy`+n4R5XUsdHM*o%N!Fn7{qJAyn zDrv;f{7oovLkw2BOal4Am?*D!!pv;fA(USuAXpnH#>0Ce4N{_b`z6_IQ@4l1(|Q0~ z+9mDifvc(i72Z*C;|J{253`pb0it~GMz)Eku66wvd4eMp6r{OFZU;?I?~U^t$>NAG zjkoy8=V$3kk~U>DivVFt9FcCb15whcUEKk7D@>#b@$C@SYGstV zOYDvw8ReYrNR1e>b%ng7Te1bp9T&K(Wg0cgQ^D;69)CPi;&NhB?dqk+Q>TBvG>8#- zEyzmG!KdTeWs;#j*pqKme?ahZ7V>;OX_;L8x|5IWOZxTXAfR>YD^ak`r|s8`Fu%_X z63|`@XESSJWWSO%o3pwPl)s(~Gf|38JzD#q;PsrXEd{eEE;-oRp#1srSO5B+`mHs> zpZtfojF=7vH5^As@pASu+AsTlv4(bHSMSrluP>%usU|O|C#*mI;3gL-O&!HccnI^~iW3JFBa@2g7W<&n8db3@$?KZ8>a6URxDf z2JkOv2{F#2oH1$59rXmunRk#qQoy1BQ;-sKTK#X!Q*t+HrVa&~>s ze<$cRGdJLjpGSd;cx~b&;2>JQ6X_1u6?Y%|CQ`Hh!M3O|=(w}$|=I_{r zW~sucTK`_WIVOO^9{574L59>+&VA=tt9l@Ypz8V5iGu!Oj8MZ(lt@O%4fa`ZU6>(2 zy3K}NloRSRt7}o&gq0llIbsS$sxpzxEM5Ai{4H9O90*^Bepv#PF{aJ0xd)OPZ*smS z&p-|HS9z62`W{B|EVgJV<$(x=PijzzFAJmGTB`v=fkpgk<7p2;+f93Cgz~5eERWVe zD(Dyt`OkdYyYf$uP?k4zxAIF;da@gq@|T3=$-RNUQvsz4wXAjxSDWT>k2?B8z%Uy!%&E7C?1Ji&-fL*Mb!>-Kxn z`tM6qEPPs@L~*X2B=3pV_@3u3w#COOM-rr^~IreHEvJ%8k!=>RBh_VKFYz?~o_FIMvi#mDY z{H;J47!9PuFAv3*Ht?9>`IXyOzYR9S7yMNnu;A1wdyfs`E7%Ba+!GhTq!Us?)AH)j z9Sr@;Z%08cUCd>|p|PUzYk2gR{3L~j_T`1853d{2muyO^FJAY|JE7QJ;@BCGw1)S@ zq;XLYBGklRE9UQ@K>>ua&3#7z64FP(c+H%x??oO~TcXM8QDPST<#|6iriU{2fT_OM?wX-}5ooU)R$Ri;hG?oU zxT!<9c4lGzohy!`;lc6-*1ZNt6}S`}c7HtOTvAibeYqZmp0}vH_lOPkFO5foKNJft zN@%qPf12C(JvYKXy*}D&kmj4Nr0!M2+3p%2ac%XS{1OQpGP@#OI{9sxNNalp%hWr8 zVW}ZcnLwtmW zW^33s={l0u({0uCs&V?lbz%8`cCEzVAB%cJ5#ZNDzM3RbAD)%hr=LEj$g-dI*n1W0Mnkf?n&@RKV0$bh zi(V^**)Ob!JqG(0ijMB@Bb`i{RjK=wjPp>9Bh|J3y9&b+Q|JHYS z!tjY#@*I?5*aj@xDiQHp48Z}uP1%17xRScda|gJ;w|9nHyDw3JM&%}reqS=7Fp zxc=*ltevr?IU!h(tIJ2kSKPtQ(ZSx_-j(cw z{vSXO8!Hd*M@`(p*1=iL(b)8(cL{ShD^qh-=`a5a`jHS<|1ZGL`@;JM;FFw`tP}tO z0sw&ccmVIqfZqTFSU5~f3~Ve6EG!&sEL;KtTwF{%TwDSoY+O8C5Khj5$^`G}gVq*Ge@$cflY405Xba+4vgdP+GIsg(K0ty}Cy$3+_kBBh;i2DC0 zSV$;n7&r*{531BB03-w?6bv*x6f`_E+(#1#NB|T%GzK{gESs1LCWWyR93}ggpD{Vr zSgM^ICeAgS;%c#7lbaWxB}`qgU4P})PF;TVL-@e}66*ip0tEvB2@MPPK@|89=Yt6} z0yF>y8Up4YIX*ziN6+X` z=l~JG87njdK=jl9gABg#*`ZtzV@FrL2Ypph4h`1Zk%UMo7#~}%rHM&CGO30p!h33n z=<$xlk0h9>&!J+XVo}l(CNhB*IW-fpNub{l!%`qUv+TC+P73z7{YK3;Oaq$9 zRx+z+pY;;~OYvgh9$=9J_xwCg>I%fq|pQiDhkB%Nd#-a_?~i~q+%k2xBQ6*XF%jnBSPjTT*ckN z$^omSh9qjaSn)1fo=kb*V^fl|n4NaPx1LNHAUq`C2igB5v#y`JG_J~srEVfT~XqTA*_2SlCwr*+ndc1BdjcDtCC?FZS z{^L4y$MjIWt$5Uyv&!RoclQ1@1$_dKvrghOgSisEz%VV7;ik{PX5)z3tXqjnxIkJh z$>(=Kn_B$+&0$wO7Fk*1?{~oD+?Ly-6K}z-p4GI2e_qu~23+gzse)qWorCz8T}JJs zK_J}R)}tHqnnSQ(hAYC9N9X_42;kSA9dwMWtSrj5XLH`%UMFuiXF`tDSI?Qa4MsD$ zi~f<*?G=2!iML`pS3FB!?e5}c+LJZm+yLNAFPbP(4Wy+N(`G{Fy>V(1386#}F;p#T z41Vh3%UXfk-}OHKm#pKb<&_gOU&4VbP!$NSddiF|OefN? zz0?)QmPgn0ipMgk(UA3MA#5V=_-_;vqHwKzv*=g0bz7NhVbW|?(GMco9YI^vxXdGg zdOui?p;jW-tw)wr%Aa<21#0NP(mC6)eS;s)%6t%0&KB2}la3Ew9$wZNTxOx9d9UNV zODRW?tT*Ex7h~&-0rx_J3Vjm+aVHGieY09J_TtB0Zf?)SeF?1D^gpmg0T4!j4FD1J zi6C_T&e^TGveAF_cTj0hQtNs0+_;EqwShX}XWu16vP$kfobHTD)P4yG_b#kbf#&rM zkg{w}b{g+(AXhVHdrWm_%m0wvYPPA&Kcsc|*!79wHTlxy_S@0p@!qcaV9ejND9$!N zSBpcZSRpmt9r4ty@3aD*GA#AziVr;W{3gpIGWM=E8d=t@TGG=0J7dOcQTnEqBYQM! zTl{P1^~aHH6;w%bd^~WG2@$hWMeSFM<@oYs!;z^?Dwvaqu82xeyysSMyaSbwhsMp9 z65?kNMr;wWN1MZ5;ONxqeBV6Q+$JoTG`8p+VA_E;ffu2d5mPbQ-wh`@dfe&aHypZN z?*^NJC@U8mD1oCaykA1SlWCT+5GyzEIBGpzt}>I>V)1qG(+}NBZDk8Lph{0Qz-NTV z^jnvzTUZNgRf{(guuH8+*VkmZQb#dg&?-RtninoQB$4tjJ(ed zY6u3YYv}~~BMY*qP5@ChCvUk(mZjOktiGe7Ba7G)cwYqy9as99CyI4v3rq)YWd9Mh z2g28U|B5-5!J&NO}?@P|41&kgloXfYUO z)1ySO;o-F!<}TFGkbNxpiho8ma>L`{^Mxr*jEe6X~T0VEp zlz>?A^_HIM)tqc%%9{pEiU)Tsw1GW#^sKsPDpBd0B{YRUMG*l|KOj5MAZX~*>{b)R zegb;>PUW!t?Q{}Eo})nb9GbNK8Vd4gI+b@D>&~_vgv&o$+p)!;kMC1&s`gy{x7o5@ zRIe=NkwWFd2+}|$8v~ueBUU^Lf|G;%E`|3NslEk^abo|~L!iQ?3ZDqs$; z7c(Py{46HL98r{uTk{RM_eQdK2e8N&q#h4X`rZ0Th(HB+&0-{QF`kJk^Ji7DuikVT&&3|~>qI}MUkZ!=AQp5GAV--s-Fp@%7Bsh1)p68I8dVrs z+5Ci}adkT6!H)vG6-0M18S|ihRU$)3RZsoZ!hfN~w^dr|bm@~MlCFpkc8jzHimSFH z@-Mv&MTPvu@~`#O=8xPP_x%$1abBZi@bg~BaA|&!Bjgf651U6<@zqBMm6DiwmwCq7 zpzyBXZ){6CC>g+K_XEr8XeK6}Fvs)=UkVo22fCI84#O&(^W11%kz~^QM<3#LtwuF* zRXrJ#jD-o!jSoPB4#EyfOoC_M=rCf-{KP1v%1vUTRY`R5;2|J;5IXfKW1ptYkBq-rhOxIujUdMmda^sFiw2qu`wKT z?nl$nE^g1*jkug4k4t@A(E~L<6u_j00+3>Lk^!in@9R=LtPl13XT4LUzisZE6lJ;G zaS5ddc$}=!_(fcd;egV@Y(-TD8rv+O27dZqCARR%O(j7F*v$kuMnAGNpk?lCX~%!o z^=Zhv*sjSl)ea^hhuD+mJ`kq)Bj{14DLot2ZnA7~@|JNv^Q2jMoOYp~K3)R~DTVVY z*9q#{+sWeSK=A=2*mybbEgtcdOceRVYmTRnRW_&9CG-2Ff>58|0fAn$PnTCsIg)Dn zMKS%``(atM<+!_dX@`6U()U^3-;8?G_e&*vKW}enU5IV@0R~DnBDiL%J5Gic8a#GM z94<#+-1rnP9M*U~$)GJv3!h?WD&gKmPk1O=0>?v7SiK1m#DT5M&M!{&?F_RDtdBS z+R|dY;m<}gmqPC< zapPZNMj(%3?wL=E%8drvCweux@RMc`8Z{s~C!=Il?=eA!-^J0Za6ZP%Y~nxfHWb3K z4FMO8s>OC1t&>bWEN$BZpCFF9BsJVLbZYiZjQmr24CFyX>zh6sQMi0c*%|(mQYUWe z?*LqNuc5rzfU_y#`!wJ3nXxdocK~It|0g?=SpVV9ThmILSKsHDiJkq_Psk_@^>oHo z1mM(;Z-Cj9Ci*DLcfhm}3upQa_Tpq<*G$jMN@4A@TW#1m&JrlHd`W#$Dt^Km-OHo8 zs%gK7jLKYR%>LvaPmoEFifO>6_xjaYvJ6IXFyIFgbE%ddgR?g=0+HlRYgB#uD^%y~+I&@D5 zb<|-=Ps-ud!@;yv<$?r=)|;*sk9g41REin*915gc8RxV*IET*mY?spVYUCL?Y0s^dA-V18)(3VBJkWzsjuPRTd-tkZ(LBX5q zj?MB{Sr6~{G)>~xS3Il!3??=;4xegkS1U(_@AX>7#5dQb4cx ztLXLH#XT9&oVx0mC=mDa6=t)lilXWyc2#(qO4w-nwkP-XmLjlu3Qlrw?mq2?s3@z~ zl-SZd-p}U5%N7Tb_xs=LBoULbv$JOtL)|br@6$Kz%V(d;2xk2Gq-Tw`zK0R(?*7+t z$wy0t?g<@hbO2Dr2##C`*(5jKG*_^0pKfqS@iet{Z&@5gZmTa(k4(t3`hs+aZ_LMl zN+sB4;<(e8grXp83jDa_+?zHwI3S`n@`&L5yW3UeZ(Gq-fASLVeMsVoU&8V7iA<5Pj<|cfk0jw#_n%o0j!X3m zqLjb9sJ=9)lsI{_LG32TmbMKVvkc}Wdap_A!5m3jSS>gv+Q}<%&OKQqpNDRFe8x3l zbIWREGVP=DdU47la0N9&Hw3M}i?no?KOoWb`f*&{({cx`#I*_voF_H3{Vng$1z=ej z0j>aORT;slqixe6PqJ${;bnAFJUJ3+q+>5gkItl+V@@-f&%@$tCkm+-b@xZU&Nq6k z?*IvRBirC!O*zhorkSNpb#Fx&oTLXVW@(ux-#g6 z9zZH4pjuOXO%UgjmJYVx{g3SxGRYBU5a5v}7N0iJ1*)$aJ~g4Oyi^yv=g>d6risG% zTNmJmToE+a-CnH|=Z_*GVoEr8$tKA4%~#o`m4n?@^xx-XBAO}t8LrD)fY8zhY&O6A zu+JzA=``b>CLB;zwTgM*?#_2N??={WVQ7U zNa&W!otIpD1z!jU0RdV_5FMy-b&nwT(ag?YEUkp6;s~yWy1LJt{B*B(_dZ}@q8)6T zK71#pDglamnzE;=y@z{d5&P)`JB0#WY_+DiW4e4f!^MWz3JDIcwcFOMKQE7?m6rI-(Z$3dC$LoJOzn6ehEi!R{H}t zTF5k##E-s8)BB{9NX91?Jwkz9Xm-u00X+kb$yO#b=CL~M>9Utv#S?)K7t+#Qn~AB= zqL9T^P_IWmmPJL1oLhO=v4W#=u_ZKgf{Wo`?pAupv!yE)5NYs{Ym5n-`T=vxcoK#V zo=!p*(0u&onA;d%HMWA()D!JXDKFamNXov=7L|^@?ahKUTaJPl266vFz>|1XZn6l) zJHSy`7-QIC^ZZrY!#klx4d)$DOG;{D7}CSU#dv}(jnUVoE9VsUHzP(KUe3Xd{^X|v z^F5dRboVOePe0@}!+2kx0%6K;e79CRO)t~uD_%r6Bay!)ktI_X=Ay-P8C zD=5nVWT1+(zgf|rx9O3qi}_@5Jz|jl=f6TjDCN<1H=lgp*4`xc%0;tlKVc!oD*S*7 z{d|##l3y`|*E_h#I0kG_+nViG?vAbV5V+tHgp+v6V&=N77I@V<@H$PXnT0K#9n-^Q zSzm5fbk~WWV;5qic2kmUX?pMxvEQDX2ORfWIRPJ@r8oE#m)L67_B=9LqYsZ=ReZIc z+JtpjNX*v0Du=+=-SN{6WF%h9a5^^0n41< z3x{O%EVPuw+!R1#)0YXo*~SqmZyTPul0*JUdXN?*^Ktp-+r6bOcNwwm#`>yRsnNq?UM z&h|}hFm`R#L&B@f{;19VdCV%0pM-R?PYGSSoUKO*_2<?fsuq7ThRZMjN6q4%g&bzHNG}YM(W=)yI=B1e45j*g)0FQ>vhzE5M?s00NFqxz zRcAQxk=eIWa@p1MXJ@Olj_XWqbrn>~E1bZXYkEdvZn@TUczQ-G|K73vlrhHMsCMv& zYwK#oJs-fZBs2k+YZ}>JHB3WHrd4m;@uq3TKxFo{Y4FQ4hQj)4 z%-67lGCgZh58aVh!-U6WVxv&TB$&Uc4JoPRaY@6JJD|9MZl~$`6+_z=n4G2+^QFXq zk6`YK9a$|lhlkkqt!KeCLu*|=FEz}i&w(U&C(hLFCP#wCqW93XpfR#-u8- zYfFEhT0=r{RosurLa*!Ft!`N|$#I#YCfaD)-aaN_mSP_^xjJq%elv=Xp?1|O1m-q{k>PYt3USnP21bvezSX0+G6D7j{8n@NFkWrb^9iRH-a)pK~9PL zg_E*td)BLhPMc~=+8}+W$t;Dtpq(=|wsg{GC|lqAQggqUx4I;1cI0c7Y-RRV6#C)sG=<7h1A} zO-K0V^&Ts(h;ShFwCrLADf*#CSfvY^)*oIr$$!j*QG-qheb4xX2iOLdv>$Fa6{{0s zFiDeBFHs{_IN}*u@Fky1V=R6Lpcrqz4)S?H^NKOgXMvcFc*Kcy7rKEBn#9Qu1c`s8(0*~1gIQhMO2fNFz=PCKlZtfh zHW~?Rn<>k?M#43cQnnz_i+phOB+g4x`@$ciR?N-B)pF|!e|LJQi(1mMRb@SGUCoEo zzilB@>+Yv_JdFxni#HF(v(c|o?oVtDQ?|vOjtob3Wwy5^_QxzW+zWQ$K}FAkLRfDE z--NsDbFg!H_rojIj?;WkQ%Zk00z4H$2p!ah;=8>?N!dIQ6~2vfPp=|lJGyKh{_;IC zt+lyr)_DgI4y@7&!+l373D123le&z0CD<39QNzYf6`mZ;B1POaHW$~Yl3GTn6*ZqBY9;Yip-KSP0o!MnOG70b}2sbvt}&XrBOGE;%{*$RAV}J zr@Eh?i7~4GPCzkJqE;w!SX#NDFr)4&X|8i?-7*vBds<6xEAih%|NjL8K}dQHg^lgd z7gL2!z(DR~At3~vrg2B;<>z6$T`?81r}&NVCk>I(QamD5*|@gzu4z`+7H|>Y)wEVF z4-}z97bq_hYweC2iJip`rwtu-Zy3u8A&*7MFbwJncpTq-s|{J!a>ezUnXxd#H3sF> z(jJLzPZ^IfXgDBKS+z)^>|_N@kNTUF4_a7psRkJGm*2 zx5q?>EkEe^*Hy~eYq=+*sDxELuu_g0&xFm!s&$&s`+jmzB$}O1MQgaoQ5p5pw#N9h zN4(WGXHdUC#V>QsUZoXGgAMoHX1Cy`-7`rXUts|Ls3*4(@Eq+^zT=z~zbGpNZz<XapZ5~k-18Dg-$)ZLmm#U z?)S!&HI1gc0xlXt3-C#O0kHa8S;$CEDaI#ElOCi${D&w7F(K3GxjTvS23;{xMJdz# z7KIQ_PTy4#V49I2zen!oWCj%;B_7vKH#AlUENgk?jPlQ{sNwpQp{m&I3BmlFGgf4g zlKlwgr^z{5Kk4I66Mqe}C6)m_v%}Y76tuK@m-cUR{H-~qbhSv2)9yDIIn4@<4qEo` zie4DlYyxTuU8rCSTi4_G2xv`&)rLuoA;?K7!o0s zyBlj5UtHS0OK~xKV{Bf|cc8QnDyX!_y=bjm^$BwlP>dAZE08c4q4ODmRo)xWd0`fV z{72O+@Vsj4Pjp*Pm+kC6qPF3M74eHRLh?JRlFPI$S}s*{AG}Pp{ui%NKSGBouX9#9ZW=7m|B(>%RI%(iqa}DU- zm$@zJ2q~vT*_hcb&HRQ^v4X;2aQzrDUAad2S2cg*a3rpesJ`Lv;dIs39!GEik0Pu0 z@Q1#9pno^XY78pyAit4c@HUW&s=NpJFUVt8!*x^Y){=v~Z56HQ9CVd+#o5KWm#Qj1bE68#3k%$;r-Pt!qKX!5|)Ny!zcD2lp5aI8w!$#QdWTLX75PBfBdK^AE!W z=J6{|Yy1l;`p-^*p#1nPAnYA5JogURwjwq>9d63-7I_D_%fC52=kkT*4~P0lvMPM# zCPiG7DmaJ>IW74)l7Ro?WuS(-c})J7VOpYNygrPSm!gaQcuDiim2YI?g~v_zMCUfb zttZ2@OLy~QshY57aUcm7xvZp=56Arrp?V(ut@UQotOt0l9QTl+Z3~=zLkNjttxiuQ zR3)NDmLiwWr%rfP?jcdXl@fU(^7YF zuJ#FRRWnm5j+|gs;|?4s-kh+utq4pC1$XXp$J%S^6kLx?1;DdnQ7Z+HWAb(n=XFR;lltB@I?79u=yL4r8kpRk5qTw&V@sw++!%DnP2W8)vg+ z59>c`*3!}J43U5AIx=u^zkrq1Xy3SvnEAq^T)bk|tlZNV5LdD3V`sms=}kA=49{~& z)^U5Q@pkkJNq0|_=oNF@Y%!$%K&6u88iLzZp@_HL^^<$EJ#8acwostaRaGT%ul}IIE^vf<&{} z>fhWH_*?u-8xop>#;v!t5Ec=au})H8#%yq)u6HePHr}-B-av8ZmQ+Cw>~JOTX85|@ z{GwX>4v2h6*sNAxMheQWh}6Bb213B}eU;~us+xiLDl{&>&7SHcYvVsyb~qF1l|W!E zMA)*Kj$!y#Za>Z8cFbD>6u}ge-nzui9XwVzY9citAR&8tYT$C5=ZJ*DvVbmOcb(*fXQXr%C+(ifK5gm zNMk5qg+uJ22OtHUXJ5rjZ0JSw!q8QTJTskXxHtib3G;Y(bw{(q!ZslpB zX^UxV%f15!$9Nh{HX8Ng&k`(O=qXLUeWK&#gw!ehL$H}v#~-q4^byxp9}aofCY0^ss4T#c_UB8HUtRDN%ULPJV0s@CWU=Gp^LYffmhDdl1c{Tn{-nL1~AQ5M}i_y|^ z?S2H9U&c6u=V}E1)LTJGgX?;NkxT@@!I{ui%v3fWY}GoMo2zP&M>4p7?pSkg?bV_0 z8p#Qk0=#a5QX&e7rmMG=RRQ$*sDPiw_Bcd^jK9+3n$0~W&+Vi|ghhGik<51{M|NrSvG1=;Gw#RdYcnrRDDcTBuVt8$!ANkGFFQ79|MR>$YwCY}?*v z+qP}nwr$(CZQHhO<=mUPNve`mM0a^{@4{LrTqQr8qw|3XoeI=xlm= zeJJU2ZM?j^=cfDs=*Yi|P7f|`3FsTjA5;Lp3cv#Zpx4V4gAuKwN2^MLMgCG)c6XQFp2G{&k z6Kdh$SX}nq=#Rb~(@62Z6DR=e(9rh1@a*-eq}#XY^718F>~8##4QqoXR_m$^r~1BG z!|~bg8mnWqjaX*P`=xLiP76jOj|?v%v!xn|^7dQy24E@oXnR6~5f)Pk(e4Xn6~ZTx zNp^b#0+N2zl52^ldf*F46C(|o4m;|us1cS{EtqZ^11sm|nOL`6JMR%n%EHM4F%bZt zQhy8?lZtM(Cr+e={{KRQz`yJNJIu<+^1slm|D8c)AYfo)q5m%;m63pfo|S>&zq(8W z|6_!Jfq{*lmEb>)|4F9)-$F^En?RMY*U-wMJ3HChIz8_Xbja}p{7@hewzAPeiG(HW zSJ7NuOWi1hp^^@6?#`yR(%WBuS3PWvt4VfWyk~Yo<5eV66-OrKk*dxhoR5!=4-kRJ z$|tcN9su3k-rD~)dJN2Gf|{4T-!TRZ-2i=B1ktj!Ug{$~y}ZjrDZH}}qp}+a(6Y95 zV7GU`E&+qC0RwJs0A4)2`Ckmqfgym0zpi1Zf3uOUe2;enfM+^bP+VW+uK%LlHM+axPy`!g_ zn;jsoRvV5!t3nkH0DM>_&0p{!YJgr%Ff#z$KHuh%;C_g?#^AQE@;T=wmuG;1 zK0h*l9uSa_4(|3g{^~yZK1CP5ng*=Di;ytii)z=hz;J!Kp}>2`2j5&N?p?!UMrH-!$KbH>I zc`7FWH#R9L+h|r)W50Ii4ceQ>9A|41Y?7P#MC5E09?R*IRu(F zyO2*^S$)3b?!J+^9(RxS4o*O7e9eF_fog%dKJ;E%em8o4R8z25r;oP7zQ|y7bbU}j z4xnlQ)&z1S3j#TbzjW{RerxQ#rto}?Ro%{e1SFt#ACo79|zyQc&~g~Kffhku1UX_dB3*8 z5jHO`zGvz`%x}ME{%{DMwY}6iq^r}<=Fm&Hxh{Yoy(M6Ke5$G|^E(&5&J#6#rP^`+ z8*9JbQ3&Y5VPtC(&<9Wr-;P>8NteGm%$^V^RmW#Q@83-T?C$PvKccTq+60}Yr-R4l zq`z|hxhbc;ij;r(V^n%uqh#eE0D}7cbTGJO3x~+aA@26QHAJcEPVp6C_D%vgJ9ygx zaxxx))wl-eeRj*@2>dipTF+#Wfb1rJ1P1_Y+I_`9`e=UHAo#<<6g_X&U)|4VMcuk@%=W>b>EiYuXNv(LMH#?;p)FRm^QxzyNX7&|89+L z`R;meP>#R?dAhB9t+p3~e?x!WMEdn)=^+g5XAnv7K0X}HE|r^Mios7$+K$jiqyv>y zWO9YoGB;u2EEp}9L-%g$pwo}?ZMu$OK~o-2C1-EET{11?cbUm7TDLxS(#g)GtXuS` zr4pWGk8UTHp5zM^?JszCAG%#%yfKYJ*Fbjj2hy&uNCOI!CEbqaE05F{RX?1Wy=)Xc zD<#BGA8VX4m_+zCNXpDY7)BW#Q=;I8lM}I`qxZ&;T~EFap!rvZ4w;fcTwr>;F@AvX z3zd7;F4b>sk3GC-vyWhoM2wcgPC*J4rFa|o6qUqIy(6Fxl?Do-s>`QOu!=V9{AYl2 z&A8D1NQjcIh>W>R1s+M*vy}`S{@u8YY7pdl=}^Bm0$FDn5MF%kI&sIK-MHR-CE1Zj zWy04ZT=;gW`PA_G_nW)3z8I9#C|20?>-ETFtYhZS-P$X=hiw_LwF6oiCwU3j0qQ|V37EzVv+=&?s%OJkkF9x?nQ8rc6M5g^J%;Wm+w zMgg+CTA15Y>Ew3E{bJ^|1sW_ymo9Fl%{MBbmhHN-=>)A^N67*vJ6zI>rg$De6kWC> zvha9*qJm9!{bD?!fg~22QaK3D72<5lL+Fm+hXX=A(&lBT2cPn&Oy+9hD9WeTu#dT0_1jubNMaR|{MQjXQ~ zHjAy1p+pfG5zwhYsj#=D7t)j4>qDrBls1YGwz(o z0t`#r4wRC*NE(Wzsj0MXy&e7a#y-ZxxIp%D;zq0e=VD(2HnlkIx?X3cLuc615jUms z&5#GJz-CFN{u^E6GVp#G%chP)g+-igGhuCg@0|bremLudwmO}>k%+G$WW;nVJDUlE zk3Dj<`+0q&XW=f@_EXoYi~NoN_I_sxO)w2tz}h{8sg-pknOPX-!HV|JxFeaTu0($V zo)m#T2_i*P9BtW$Gif*24|L}%ZjXW{96YzBDZrJoyFt;K7wS9$IeLx|S|^F9+WWE9 z9M8j+NlU+>Vn_^y%QpDDjuCMoj0LzZLb>5trtCexVE+Uu+&-4w{?A-fk#6Rv8v6PX zH|f#qiiH{`eNiw+(a{RQ^p2=+Q?ae#XFVorcH3Rp!CgM};FP51Y`~7Ix-V3J&mk=U zW*2k&P1mf`Xm zs7r#@dfrjp+3SWqGa1L$kW}{ktQXF(3H-Ev66!eohG?AbM(*wT&`vclU!$YNH-X!l^mXNC2Zao5DUiJSY0hT>xOU3az2RMIGj$c&X-=sSpb z5V=SjYK%c{@0jp{cL1qtomrE0zEsN6841rdn&z|@RPq zBi#7a3j)_{Tx&dd6^hcKHL&K^#f=gN$4{hdis_jjZ z6s}N}aZ6E>7vt`P9SSubt*`q6=0^cJelq|+A1@yt!~)PNnRmVz7;f^g{a|Up=K(}E z8+4`MVqVxk5i7`lCGr1yHn>E6Z`CLmYkzaL(Bo9UF@dk$wC#X()A zIxer*P3SymLOcynOIt50LTf8i*Q0XIcphdrxtg?bu_qNK+e(Odi-+nA2OfE2qC|br zBy8BX;c^&Q;|L{?=R|>}_6z=UO10la+$*h)3yp=L6%%kMUf8BHL{Wv7soCS&VAd?E zjhy=W@z=xo@7pI2x>b6srh? z`r8bqx1I965-I(Pg*SRj1XS>(Fb2E^AlosrcgL}%4K%wcmboBh?UE^am>T2w0eY>< zx=+Z)GQDCiKIzBs8_4x&OL_L{&_A(&6fg=pmgb?hLo3|;>0@JoMsWe{UwrK}fUmsS zt4D;VWz(AV1@TLIPz)LNz`+qd`#SB?s#kn|k^o;?a4@UBC81(0MoKpE8J@EOwYLZV zmX*W!JzY$unA2qZ964hsWWe8w=i z^mR9ZVOpyl79s$xi1hV?qT@nTF-V zzE35LhAwEG+0@d-sH*)+0RE;Pp!z(SjT)!1w9dST%L|FZ^i*Z8?v-!924XhUiIhS2 zO`G#)(ERy`jFGOT^N(PjP3e3mNYTjyY5b9dEa*mBt2vz#*kXc3L%N zrv@;lgIk`7w?#Gkpf*W#IyhU#Q5YMq1sqP{w9bf5>i4mQ#|^I4f=GtHR!>6FU^W=? z*zR|`WPy)jmH;DkDnsoVBE1^~no$f34`dn3#S&JbJyuX`c5W?Qkg_SIhhZBCW@f8^DB-MtC=W~qQ2xlTV9| zT(=ahk|pAhTm5@L17gz_T$I$h&QR75e|5MJ7DWet2MTL_W( zmN`_-ZB#`-uJfnZ75IG}(5gt2q<&%3Sg%AkXLA@_FI`=G*17k~P)SJ0Fa+^G@R*bGNo9;ds5h0NWA=GddzCg0Ea|S3z z1)h>{WB+a}ijB8oKLrN0zNQI|3)+Ad$)~hOZ-wtBb6TXF1JX6oN=rylQ?Ig`VAAR( zTvr(`+;0V=q!!d8Va5bCe7Nv(5o{&v+~@g-A{H9%x`=OKLdbE#Ud3Udc7o z^;tXx+CqA7U#nT-{$^b0IF zykEb;MAjVnD_QBO#&8T$$xN-LKoaX0U{V~;XS^M~0jJ$jha7bZCbaXEx!P{zb+!5} zmGPdK0eq%$1?vCn#LWWbX=YHxBY#BJ+t^PvMyVEVFroaa`KG}=mixz+&CC+fFagxD zG2z39+6U4+A)ncnFN|QsPKh~J0(d>!(r8LZneE;ALg951I{hEd=W)&!N$%wZ6*{IJ+v83YD#+UheGi=*{Am6|7z{4@lV0mWoI z`pme_JtXNReJ91Hv@VAy(5Qc~6AHt)s4FOw!FeqT!s8v3R$u&)m4UqOp(}YA4DMkr z$bMifJg;Ck*V;$9TUuoN(C`IiO9EbGF^P%C-48 z=6j+lglit`llmLJihjV()sr-NiH-&+_Kd{azh_H1)a zuoZF!TUc$>W?LPl+G*YwQrND-n!woG(gOYLmCUDHB^H4s!k+m9{upQx`FWyy)A$E; zZPN=1HTzo)HqRnKXnq@0YfnS+Hfaj;$T9|8n590=H?0AT!N@M&)0lxyt3%puTyg>> zVw|S~B7dXQm;EN0!>gW4=bMfa0B3vbd4ta5*3s#&5)8LhoMGhJ#OjRcN5c}qTt#?m zLzhCaWY_kYXpAdq%UK3^Hk>@1UENAS)T-oq9QsJ-q_WDVcuEW1eWh@xQeE?)c(hX< zlZpf32>FbclgWjYmv{>?@CpP`JR7FjNjvQ|=MOP6SeM?^9izRLsck)w^Cht0T7FIQ z_%#7mnFU9o@Gv2wTpG*0j`U08ABofIQI8R)z7Uw1ReD282gMhjUN~dltV4?O!a-;`)BV=45LaY2yKUi;W|7n`F) zWSm9EmWL>+Bp6FwBO|}|9fq1;A}Ojw+yiX^bK0N$v6{Cr-@pCE<>vS0F611!z5;;IU5t zNhzI3Hu}HNcU2*cX`>@bsC5cy*+^{le!6C~DbvSy;`{EWRd#kaA-8@|Q0$XHPPoBH zBfTLL-*Lgf!IITzqt_`H}cVNYItN`}~Q8dX78`WPctT8Fv4M&nh3DoutgB zyTd9UE!u6GwqUt7WR=oVCD{fI`|4FF7at$kZ|l?0g^f1ya^_}ppvs7ZH|GYFRC-!r zNqF@=;SSuiO_+0Q+!GuY+G3(T;-*`nYK*6&yV+}N(;I?wy{N(kD~8e7v1f9~xYmZ1 zH5{F>%Dhs;!f9X+d7{2_5jvxa6pL)kje9*t`3g-H{1s87o!O1s_M&Rm4%Imioto59 zT@-sqrMi02(0Jm=>2q!&XuTcN?VhFfjZ*DQ6IM)z3>tD31W<<2H*+F4Puwh#DF49cu zIBuwK%Zo!**cfTU-%6G)X~%A2E%sKFYq{8drvw3qu+lVOFojB@SRS1b1xD znQV1m3TC_;U=&6DyIvecX}OFPmTd}1aMRa0nO}qG_a6LfQa`e*zY8Zw7TZXWrw_dH zaIjb-IiWDLkS#xN;!c5{a4wiiVO|4b%~MZvNuD>#Hn{NyYG3~C!2Y|Mr+;|+FNM+m zqYaQ;IFzvVCQ?Iz-A6;Zn}OpR!68a~yEa4p>}y>pe~t#Il-V+hO*+g_Tl46dTW)QR z9UGbs3eR~oqR&sgOjx+&P32rG_!A+qUpIy`rNw2N4%?F$L0r2TOtGY2?20I}s~eh& zuzx<*tVuzh%T$bLI87_Vr6sDC*?~#L_q?e7)`NnW$Zwly3!Fq-h-s#GkC)>dbOi zS#rJ+WOsPUrZ!vUlvU#?KBIO-yn~WuKP=;bv-L0Tz_M zD$0~^QoEi6+|AQ`laR#ygOUh&fd;XYMP*sENOA=vwLHXVrw^gAiK^Mb`06e&tdvoz7XJ;Ve^L@#V2`tgf-J%?;ao!aT`%|GjF zvs+Zy{<FRXCtI~TC%U$8HJ3z%Q8>9W`tjoi! zNB~o{!8K=vx08l%7aXS%+}S!gMpqbVNw#^)53L|NVYK`W=j_Lg#G-tnC)F4pqj4VD z&Ug`a41&h7F(HLI-_;D9*S{}2^UZ}MbNdRG{$(c^7~=(l)TPBi{ap3ULGFe9;>i%4=Joj{prB$p?-vHWb)rfvJ%^y==&2k*>wek4G7WfHxdm(k88Wtmz7&nwOimD=Q*SJEi`{4s|bI7MJk4k>$WHm%9A|S7vXM`u64Yq z3Q!D>lDgqWEf4;aF^jS?kzG>K?nnjoMgmc+hkWecOFzd_$U?z*ml97A%JG&KOW7U% zwhI1#=A5nIow4cE!E+k+Hz;W@d`9=!i9S$2_~p{@sKyY${oC#7^B)kflW}qEDwz2YV<@WfT}xXG z7GrWom{WPhnChgJ*7smbB)cN_tO=^i&`Pe;Y)Kznb90@JT9HWtH*E)yQ7Sa^)SZ}2 zP1!El;oEJbS&4llgl4$I0h zHBVFe4@>h|@0oLCeO_Y0e=4c{n*aROgwgO^dhYvD*U-OIEx>)vg|nb>RG9%4_!-xk zhvd*N#q(bL#&UD4e(Q_@(mZ5gxSk72%0K80Vw<=Rv#qx@(6ilqkq%GA>|B+4-k~w?ms`v|SFDxpmqreq^$}iEf(R zGDh^b<>Nyc%jraIYmEX{T%N3TN`C=C-%;ASPXhVAK&Wx2Inyfyv}rahoF|{9>F9fm z?@H2(%-!qQ37{&|lstTcZ>VMddHau&slxDRN9VWUqTW6@N6r%^;O{aS`;XAanU)c- zs2v?0x`wH2+I^R?-FWX^)GJ0oA%jy10Y!uOfjgW4j$9#CRW#T^CzH@0FiMZCsT;iV zhvgWg3*S)CR8EKK=nV&Nc%s?gSt?gH=TozFbr(ai>0qX}>OnBTG-G4mjejGq_H`Cn zXoA+xQnMCG0TZdrS0E!1VZnK5>IyVZx5n)&NjO7iH>91^R7N>EY@yw)Y|b>hoag0^ z7Z%-;4ZM0vgj6fWP@2E5Sv=fO3yS4>!oq{kT3zIL|DNmodRTH);tLWn0B?4Y zity{XKS`EBWxvJu{*(UKh#A-%{83A*owjQhPM=F|=G3in&s9_^b)P&0P|=1#&)}9N zO~@@1(+F(NZse;>Fz+=8FUyY82scW0p1vF8=C$!dN_WDL2oqOngkFbW)z8ofJJoe& z9a0!#SR$30HcOKci!A?r4@v#-y$v6pkCZwaQjgSRl{(!jrkX}7Lym5j1Y;FAogB7Z z`f*S$czyWYd$8hU;6FN-hU{9Xvrq%9CtlS37?C7fH%H)2q(OS2%mvTRwK<(Z)5ahg98nIv$5P`Ij;|JSpVb`y#u= z9UK8vxeh34X=mwInb?__J5YR0qQeYq+ka`p5nbD$4G2qi5XQ4Sf}(gHn?C=HLqn{B zv)W5(hE_+-jy75NiGu#zq0T>Vu?)Wyeb?sBK~xoX_XF~{4X~&jy18qP)eazc`dZZJ zyr8LUwlKs}Yd$2Vb)601KNF9XKUBsSaZR}4p~0RI;pZf~!iX<=*In`xmH1jJUC+L{ zaXM(!{7TT4+ETda#GAD1-6sLFmbmtaJDura$<|R@S6~UI$%$ttnqL%XJ1QIpYX!`9XatY0 zQt&Aa=~0Rus~Kfso9vI3cmjG26MLmNW16p}hVd*lpfzMs3VAT8s9Kvkuo@7(0;66M z6b{Iz%5}6_d`4S}0$7Tnc3|Vhl8{mQYDL~vlyj+$bj&l5!kHz1Cx|cQ3f9+fO~vqONmx$>V0aD5i?)p=)bO)S+&b)*oIIM}U<8KaqJ-_K+AF z!#IT&wk~v>nvft$_bHa$Z+|%-g@IeR>L&)vb)YOn0pSky4Bpl_S{)s_b9lVel3$jx z`sNg4qe#G&a) z15VsGoBwv)Ao~iu2xT&}G-$KYlRwDLb^@j0xuA=;&q51rJsPYVpX`;#MQ8gnQ6aoz zwCk;_O@{%>7iFl|<#Oy3$u+IJH)om$wX>7 zPmMV_SVMOkH60~d60&r27TW-3#a?-D^jPa|1wG|f@pMkAt!Mazbmx0!tTuMMEhkxs zI|WF#zZiux-+(uC7Q836>JM#Mq1arz!cPBUJ%9&e84+nm?b>Fl$lv?meCK?7fyntp zBqc-rFU@5giPlWkelb#zPY+cELQ>K<36n55SA82kiBV2L)eN3?X>ul+@MRqSDHO^l zPrg|bfrr6B9{A{y0irXV?#ZrazCSAql!>N$QSX| z7^)lOkZ^qI=l(sQ2JDSJ*0R+h*PRgznk9I zn~(0}@-28E<<-32vMIKAi-qpR=~@hL=cvqqJ_P-fa;js48aCYl<)1x1YY6|hFkT!Z z7J?#M-x*zZ7m4HOO+Zh4A8k?&1)WmfXf?*cRAL^WpH)$&52Sg#(AR$Ab-6#X zrso!Oy`SiSfx#PKzH-N>ncL)c;rgf8bGB|h937{n`~vCy$L3K*hf-8x2^#qsXOX!_ z#K`Vbo?Cbvh6$CLP@6N_>n(KVid@b}(`l@u(l*M}$)8icZo5GJ{RvO8b+&Psmu#}Y z6+Wc^ztP7?pRDh2s%kpL=t@?Jz|t?qON}E)D>B#c(rbFHCmzPA16xVQg}pd^{4%fwRQNslMSRap?)RVEc>z=KS?6Ws&={x(8!Y zBy_}BrG8wrZawKVWpbpxA3MG!@B^eN6Juejc}S&I54|9Y*vVs;uSIdI--@))bG#9C zOC^_A5v9hi{~_n|uGYy@E+3ClblE=r_7lLeesNk516s**m=X;-BJ?mGmR;C%YoW@f zHH{6x-4ylkr24so82&{8>!aWrfd`@nKEg^q6INr-MYhPCMR$s``EJ8wXyE$EW51or zHos@V5vbt!6@+xM=ZFd)1e~8Apz2KQf(zl#QwnVv=5zRdMpnHG4Oy0eSDcw15I@WR z(MzIjQ{qx#+M@TWhw!oXlN>{aR4AMT0G3IK2SDxcF|#56z8QSM-Z#d(#=nvGpf9w( zFNh&UWc8p3CwEY`IaH=q34-J{>Z8JLkv7`tdP1ovKbBpPs8u6?vGt9wNVF{Qbee&*wz(A^1F#v`Y(Bw3bD;+aD5zTIRi+0z8LoaNrz(c zlClH5VC!>9sE#uZs&ES?ecVie0EGvjE5Gp2UM;|DFezAt-Bi+2UZfMPj~s`SYe-%T zLdkuL1E1|Bc<(7#>jmT8vV=WjU8R<`qYl})g#HKTC!u_s)sUJbpU3n)Kd*AlWu6!sW^6^=4uvJ8?cTv{( z;5x)EUPXb|u-G-zk-O2V-3nC4F%-2c<1STmZ%n*)!IghnUtHr2P^$v54u(DIw$+ns z98=!d*kYG%Dqg<=z4h>+bI=P|zy|qsVyM(<+QINlHQAAIflv?NKO&lMye_IAR0`Q4 zUhGs@!D5{o`XlP=WiV4I8AI7uO@Ji+3Y}pytmCC4b+rP35jobSY)O9WPqu|!Dc{!^ zku%wfJynHc6(qO6*G`7zpnH*AyX4U2A(c)x)wmoL+h@%dT1-|#R-RoPyTxSZ++@@9P=e|RV|kEhL>a(t=; z$^AwNc0{gKa@qOoa`R*%oxh=Mvta_Nj@U75STnI5)mlQVYR5Z?l5!wNhFAeJld@Jy z^Hq8*f8>c8-?K&x|98G3V6N^Q%T~Mra{Dsk@Z{wrT_HC2X*KUP3l4T6FGng&RmX$L z*W&T@{=C}gpWx{zW@`nH=r$jBU=0W)oeAxTs0dQeXdwlFPqh`wYea5!%WT_#@vQQN z0(>87?3+pvpGAQ>#B@}WKT*Bzm1iQmfzekv!@QBnA;IdD7d{}e70?OYtLIB7^rYBY zYC~O9(AMTf-%?ZY)LoyCHwrM}molLZ^fydlx!oAzJ9jaU0>Zm4e_cs)Uw{px^C7M6 zsc$tGt4P-kkcrSN=W%;I+wdw37IXU4Z&EdYP@-~`&JW>YHOInj322RBZU0c14ye;NB_r7#m-KgFNXHoJz)Y`#((64f1 z{bbC6;pHf)Al0~O>c&bG6D{2S0^}ce`~Dw@@&A2$%74T-Gb7u7A>xb#Y)tHo|JD0n zfpK;wR)+uN#s6P`aVJovrRx7e*j(rxhH&r1$7t#c$Z*Jz$G_;*?0(Ys90sV^Rs=J(Dgjq$1g{a zI{r040(p7;8onCMCI<^IvyzZOL!O1!R!8%RzJStK)?t_4S+lA zP~X?k0QN!Ld2&3ItsmFeuHL~dokpMm3Apn;0O34&xBo!KxdaJYUvK(9U+u0D#MpvX z`4U)g^#2nXM;F!M0ofV{t)Tv8J5dRKwZ(;r0D}M$4tf_30+1sESi&_J{N(bl2_=4t zMSRlq-VBUQC0;<(^WFqo0=I$f{vLc3@Yl`_lewzB{a0`T+meQD$|Nl!&GuyeS3$47j^k{}=0o&1eH=`H-?OaIwLrRZ4O{H<^N27TkZ z(gSbn9^DPoyy(cYUHuE|-U$=-8*(A|yP?fehPpMp-&;Llc6ZG=MxfW4bOHu>2LSrB zFeo2k=USFbiUV8!9?9x^{_I1S#e)O5EL5=9o13OdM{w6`)v5_r-{~zP*ShsJ2_mvx zgYz*<;5#|DS^P1}iGqMow0wJgh>QZ{mz~{@=hiydn+yV|lefvz9MJKr&*qm3?k}|4 z0bt|#0;ooueeVOWA%@XM^{V+SiqxIl_nQ#(2GCWvd%Jaw`n~ckY7iFL_-JkHi{Yrb z%=eJX1_0$8DsWda5|40Cu=%eZ&?te4#dfpIAMWWnZVKkL73gller6Ml_;_2-iFv+A z`6ohAn?RUp6aJz>#x(sASyYFL1*RDfh_4+Jg-s78#dgHj$G|7@k+awsi_EHTY+g30 z7@f-LW@N4?lE7j#xgo&$vJT0Eulyz}%F$CwrHK5CyG^*ey1Ri~`x&wNEb{t~wNs&S z?oGuW!*OEOpU|_u<5g09@r!aPN+j!3w|W~?p~&uU@5Ui*Cw$_s+)l8no5rBLaMYns zvt!U3)vh#eNxNj_vk&6rp-F{srJMK|4Y)$qKRUTvn{OjL5{XnNpI|NL`mFYDeB_Xt zyCpTJn*`qpGw+~WK*9+PJq+Ce!Jg{kQxq1T%`7rq7x?+?*&VHGy#~K|-eu`D+3TAn zRcCXr$EKLs5SvG?2*fsc-&SYr<}&Dzq1YgAdrk6?NhJF@>)EbpTWHiJ;P~kg$foAL zy6fVN^#Q938jYnakUP&`CJKs$ux`Ml^{toE1A*t&5?sNNuqjY%g+hn7qhv#h)Yl@O zj~UC7!@`?;CMA4*m?HAQIn~yCWthNcvw%$H{&`H5Q8fht-n|Y7=V~ za&w0Igb$+$p{vg54_4)Ey!Av*Au8D3S{xs$kPT(6x9KICA;k!a1<4U~XaQK5v*V#K z7u_ou(|S9{HKUINwSH)>KWYaNHSCV=q9LTz^^D2fZc6`(h}la!RVX@>rfBgi2=t03 zo2MXvVd>Z`F=Ya{P<9o6%U%s3OefeH4rD54Ton8xfNVd3)=%)l9TMC^lW)F^3WRFT zpTk?{I+cSR zvPRGD@uaVw`YyHDVTEG3vYf|UrG_$hL+780odVt#xh*g@>U9K73?4991U};27kFxu z@QO8$k90Kh(Ds5{@k?81EfkBI%&Ex1ViSr0W?5O*HQGe7kr6b*eU}9KcGa=)mn*0X zn1)ap8dI!;EQn=FTBD1X=D=-)~clhQgfM`V$0ds{yaPa zLIRsgcb2-7Sn|cKmiQ*O96GG1d@^Awg2)3cVJnqZ6BdoW9Q>rYJRCJ5_6$~Qxpzcl znr~{oKvXd_O!m08fNCwJ{}54C;%4%s?rE`_=Wbbq9(DQ+^v|>U??(e=4f0FDO_Ebr z@?&U(GhQAZ&s)55!=w;KIL@%KPN9n+6#eq$UDk+kT7t^Pi9)6Ce$^=zpJH@7 z0Yck{2Kj4Utyt|5`l(Pc%&KemN<(I~1<5v-booy+CXJ%a&rc>H3MeRz`$&6hGvj6` zmJAFcRN~|$|FCAw!N~DLj^$l+q5_fU5a?LCv zfbAzh-5yjN`JB-Xmf|IN0vS6{H9^?Imehg6>FQcNl`2p2Wu?3uXS&b#h6~2}#(5^F z&{J(NzW4ib?%w3B+vOHzJ<`ItL>DnpHbhQ)*toQ8XrkcD85<7wQ<5+(n&GX)7#Y*C zDPZM`X~NVdMP7dBf9l0yt)3R32xp(vu^i62bBwe^MFkfm7)6IeRuq_q037*JEc>#ra$AXYc!_pLjbI2R!;@`(FY#-RxQf}1gQ+Yg&g{*n#w zmi`6i7mY$-xPO<`w-y|+kQLA(pG!}*Sk;K{X;K|%fI&CZtku-Ke5qyW=B_YzOTxOq zqexebJMVc{DDXYHnYp@VlUT6cWTk*~2HZbpE&2{a^J6|cRxZI^FMGBl@QgKOY+B@M zS&l9qc6eJsB`^0rP45b33%J>Dz0Ppi#KB^JwCt8oPU@yGNbXKT4=|p>T4O1-**J1! zJ|AEauqGQdF>L5$T*^OKmi$A4GTwu661YtG$NurkcEM$QMMgIxp=l|X&l9^TzrL5T zoV-qXV#7_%&%4FX8J@5@M^4VeLP57^(R^_e3~;uJmumZ?jT#2}&3Vocuc2GzRszVQ zMWN6W!!!|0&}etbx);}~z%U!SK{3=Z8e|jEKM1Z@J&Hol3TIlZM72rQGmA|Uj&I4i zM{-P7%qD)^U_m+^pJ!)R(OK)&E0bXDR7Q_4YR>$;=P8nQGOF0ln1pNfRpR(qsuo&H z(41F1gwfZ%Rh1%4BV<-Nm4OUF5b?2;VM3Pu9gG(9NGH=A>whIDtxMZ{7mjMlZIfZ)dJ4&AQ&Cs#9Ks8UA{8&2hc>HTfD2 z-|kp$V>^u(S|qbph7cu~Lw|_*(Sv3jJoRuP7D`MZq8|0S_YseagqK8d7(J`M{IhR^ zLk&Tc*1qd)P=(@NL|M4`W9!*%WRC1XGFrF&pcrVmuPuKc<3@fJn%4Gh?|H)PZ|w~; z`DQFu6}UZ(Vf*JWkKL>}O^WGgK)wP;gCgC#15H{PWG2lD!Q9#y#jdBia#bE%OFeht zez+=soQ+Ud!vrRFeuyWv54qHtc?L8s`isZSaMEr|U<#{ThpG66f@*Nd0&lT7&D*1! z{Qzq8C}aaz2t|u-O`Rz)POX;GU!;&*yKjV_p)|{#p&vMQW4`N&qEYl`JxRCw4aT^z zQ=zM4M6T8h<-1*gn)j^)9qmncFkM5Eg zdz$l#6uBEpWN6PRt@`FYW3V zA&@21X--raGV$Jgk-Y&W6DoN_5BH~%c+gItT^%MxuanBkMf;2JlZ`sd=o?I`TYAlR zdm>p2_u>SyG?rP$ge*u3pb~32@tifIUGqs1P@g_iiz)sd8{;mG-kXepd}3BV&B<3w zlC4V92lR#M#1C~jr_sHhl%^L^PjpEs)T&Uy0U_B;-tAYc_CtZ50KV#AM@BOVBveXM zKEF}s8^s)|D#n&%C^2Y#Nd~+}X^&yX+Ek>1`>YEP-z>b|UE|MGE|2L%5KwEv*V{3M zD#fBjf-O4HQVKDRaGIH!(UB*+t=5$pnK(BYVxcOvhnkL?y#s@QvuA*3L9|s}pa8E| zWv>iZ4%vf1mF>ueOZLxF{8h4{j;pyxPZ4}csyK>7s$46Qt^dlXgA=;4xL+- z%n1&?ZGw~?40o4N(#}m08z zPLdP8YdY&fhg`4Q*NQz37^(A6#-pLi%vf+<68;EG7#rlq4a~~pPGxW04eYorY}CFC z%^Jr!k#C&s^_OM}=m1zEga=%FYknAp+U5<9Cv2dPZUz&(c2y(Ccxg{JTaNgk#j_bs z2yQ=PhH`J>1Q&yyt>{=myXgB@wXpCpwL=c)8y5-63pb{2Px@{|xeX}-uANisw;L{Q zw?&_o`$4NM^G+xuA!IHnfxT;q>Q_wxix1@rnxa^?0gYp=%nMB(Q$htH+1H3f=B)Dp{e0)H00BLX5}j_pGv(TO3rvy zc>7!vLn2_ zka~2Kus+DseZ3Q?|8~$R$$FYIwoTn!Iac1>6(W#we7Nec0o_|7F(JoJu6R63@jc7Y zYAf}f%krRA`Wl1gcn7}JqyaypHuq(gn_4^$>0Q`1c)=yj8B)q^|8U9E20la^tXj0! z+`z#RYwbN`B72M2@A{?1dp?)%ZiLmwMFR%>vJP$4RLM~}o~N~=CdSR|sVZRlUDLrA z!t5aOiFsY+R93IsU2b0e2_4fHS3viMtHvcoxc}zwXaFuD;Qyon9Jy+9ZTR6;7$hQl zZ;_{C9{2QK&>EbhTDo!J+)l!ZW(1hF!(9L91ut`3)-yrHq2j!lm+xe03n9bhxP(6r z)lfzV8xDhHPdd>0*lycjt>a)t=gxuGw)4iu>6ufTinTJL93_vDU&|=HMWBon_B<$d&K~p{M z=KG#^uyhHF+`!)oU-;&<1G1{Qyo}U4XFU{3m95CU?z))U&K9J=C_bSky%FyzZtm^` z@hz4IFMQbswj@hTea=ZWqvdA6!(Rh%?oY_A_p*yMCqAcQcAy)qV&Nx z!?p{F<051*24ToUl5raq*6lgiZ5hp3{H}~_!p1ooA;(x07UU6q$OL1<_}M>N1k)UW zAoc;s7*sXj#gu8tR($K^>9BtCaE#5u)T@-JeRR7@m@l0=i@B&WH$@&5elQVXJ`0P( zP?L^xhq*Y0ojkw&NWZR;|45o!I-E$f;D}`AZYAu1brE%Rn($3b+fasOB>X~u6gY_S zSr<*cCZOaTcg``+8>C+Z{Q})*aFD`_qBCt=JfV|uWV1OBGbtRKvnj;#)?Q16GTrz~ zn5@5?W!mFoFDpMp)}V}-ubQr^w7Rc1o<>}7hQ<$bjQIf-h-X}F%z2TO%F9N(yQ}(4 zt2;`!@vY4Mab~%QdzuXqO+x#xV|{YDIyWzrYUTF`%vPbSBCtE!+q$G3 zxXa%hl%}IXw@&N`Nco7P_PL4B5J=aeomAz3ov5IZc7z2C=C$3NTfdBZdiV@cExCNg zvKCO_|6YyoD_C_UY5=@HpYG_zMd>|WmQUHv-W`1K#x$ypx*MVPvQsK8iS;fyNdlBYMz!%5T9uD`yevfGNP1=shaF28)MV7g&;&$|j@5 z8uYTPEnRYSIj`MAyI_l8(?2`L+6i`7@)mze91l4bp7>n9wUk0JcmgZyG~=8)Pl9Kz z5Dth$)iaA>Ma@LEbju`ub{8aW_~fDmHgH5QN%hX1ID{ioV25s2tj%w?JX@CxHhQl# zsM~ou0@u)Y7laM8(NB_XWm1%_!sdu9mp?^Nn%p1kN+7E26RRbb&xB9w9a`*221Q5k*!R)i&RXHSx} zR5;IqU#M<2E)y~^#K&x#H+kpHTmtR7DGw`!rXkagQU5mnjRtS|RjEL3if3N-8GfjlN)&XDN<>ny_&R?Z8d@NR*q&7PZEAgh{?)bqdG4-qlDwb9L%gKFCJC zjf*DI&q<)(j)M|&xQzdPMhg` z*~DSouWPVF_+w943g};$g#e! za&gcRTQk7n=irvlZ~_}Qyp-x3HOVA@P|Uf_A_42>)$(m`);_M%Ih!mm^!^qZj2z%1 z)~rP%hLq!PBEAcqXjeR;nIzLAqqrIh&t)mgf%gM2sdy`ZMrH4C14{Gz_+F0IZ`bMb z1}TlKQ{k6p{tr)+o0;)N4$!;>m1U-?+hNB#(>hnm@!XL*?Gl^8sp``25rH;5Sw))+ zhJajo{;r!tVUY+rzV_rtQLZW5N?GW9z77Y(OD8p9RE2L#9Ij<^j$^l=29K}=6W^M> zGn#KQnGycODyg8Xoa(FVSAT>Ky@^>*EN1<+Q~=&~`#P6rE^`l8&QoipMfD46E6Ugk zO*)71(nNMyH`f`9_)sVBon8-?5o#SW!RjL@ z?jen;D$-QCV(XT2EH8Z9)yF^lr`)W^H$CH*=(2#f2cg*f4uxZG1=s>-4RCe*IuuT{ zC6@Mu(FdwC>h&)-(Hh?E)EuxBc-X5l4J< z521FW6SJ^jW`2EQh10yYL2yM z&##N$47Iz-_S+I+)-(tBxX48ZM1cMu*emMhv!|uO|*7(}> zRkeE^89v3^Z5lw0HNDb;%jAqa4Cv*ree%pnlu6FK_wTVbSXq9V2nU9^X#tnEwfE6Z zXG32!q0HE+}wE+Veo_ND-cdwEo( z@K1Vu3ac!;b0#yxPVdkmQSujdU`jB@+W=GKsu}8&0O$-?7Uh1|w9rYm){CZ~q9n%0 z!tQ*`w9D_dFLrT!Dqf9^#GIkX^9=vcg+kOYbm%5k!hptAe>d#K#(~vM{d9Q7sP@&oAk!bRL=Ga9!vWy zLJr8)$iyeO52T1&+)uQ$D->)!cZDD;TqOe$egK~LZ3FFc^H6~QhmWH!j+Zc3!qr3J zeGV=@GnYj236wyS<&hrJirBUT6RY0Nhy~}r2o?&E;+1&;dP}$d{x)r7s58dprC}_c z727H3Kkq4$Te#VDdoM3hy^W=_pQYzJdermFF|D!GTi8WXaOH@l^f`N;+n=ecZeLhc ze8{jU9ag6edMC?rgWqGt5dTAtR#X)~j;)#}yLa=FZf@GS?cTf^P*f>MNoL$=?lF7+ z=<<($ojDK8=L7SfP6H?g4T(PLR-rj z7uL^1I$dhH^c}W3AyQ~>&69N~kR9X~uO-M~J+=dPj> zl3&8Tr43L?vbcm76q8G*J?##xSb52z!ec0^uuMI8!-t%3e2(-Hnmu3}Y}L}<1!%5b zkY9{DdrHqeLLxt8MrJThS*T>marMVa;ja|pxYB~P+UoNSeE+q9AGcl7PIdQiQjBa= z?7X1*r!>+NgDIQb-0|QhnEO)>`9(#_{z*KvD_#DqqCEYyh;+AabAwr{dBWsx9%WK5rcG#bGp3- zWADIRdr;g8Vy&Fr*`n1~!lMSWZzBw6ElNRO+dlXOQ)e8vhrj{5?mshv5?cPU-ut037-uWk!X zh`uGDAX#*TsrY;t5$kt;P&e5Gb$mb-cbKpRl+-PY@(Rdn4yDZLqf!1|i9OP{k5*X} z)gG>}+gfpipA}9ML*DL(-W-@lfurN7>p3Q=C4}j}OeywCS;y?*r5E8A_*mn`oEwtO=WRdpSzkS3Y1^ zrZf+_WP@K63->q^2Jy8)#QL;FWAvfMq)rOu-fwO=KC#tlyM;bEL!CVHmLN7KHVnJa z_@riOn%-$+xx?F3&T7$1SDL^otu8MVgiN`4Fl_v}kWPh+ESG4^S#wXA#H(kut1p}pkD?R<* zqpTA2g$^&9Q+$kCWjEVz)s2s)c)oMMdLd|VJk+( z%B@ zg8M%i^;kJL{y!1HLd4F^^k1j{$wzQ-v2p&N`3P5V)nvdkgY+*ddg3P~7)dzt?d@%p zL8iVwCK32;y+|VIAb)8n=^!F%@@;Z_h!~e~zi8)~AGaI5%N=%`X>Y*J><%FI^lhb{ z`TWdza-;CKp)^%7Bqt%FCS3gL(jh8DpCK>-Q##?$h&j-UVBdG9&~I@jPB$(X>gQgd zdpo9Z$dOW@yS_a(B}qZ}7@$`$pdLtL?*U^&ranZ7sBhSCCsa^0qFe_Z!6ZmU5n`ho zA`Xw_s5soMoqkZ~>0Sb0S1QOpN*bD}Cmy``KcVgY1xRH1(0300+$MIx!btx7F#oRf z>nACAXK+whSQHjxU0NC@;?Q~yVdU1WQYf#8Ps#$l)q!^5wnUsem*iZ;&4HI$fdOQ`ok#lN#Z zKfU4O_Ite=73DbOpDn*Wh}8Dlm)$7Jb)Q{yKyRK&Eu>gh1$l&H_*X|*D4?xRVM9SxMJOZ;G;omb3^7QMADw?hLqVk^4;s;X zndVgTw_5$_?pM>#G6dx9tgbc{oRtyKhacBB5*=8manI{_Z^k#z(U178f!4PH-VY!! zc@ApGp7X>0=Vw2ZYY>^=4;X8vkdNteRn$n;|I@yl`6|ww-RQ4F^Mjw48XplB{us$M z@(%&&mLBvCeA9A(mmvOk{Bhj&ZQ2-;1DP!3F~ZN2I&j-t-`>x?Q8M_SfiCVX=IGDs zK%?M?Sz7c2#pG+okULmDAR;?EBtj%C5i(z5;=VXUQZb$M7kdQIE?&uGND8pNW=x>9 zf-S*bj(2~=y^!`oX6Mm#p&v>3e+x)PLr-3B>0Up7zH3aerf?y^oocxZA!;w{hkzL|cW$*oEv>^Foo|mrf15#m!T+)Y&0zdatNj)ymR|$Zu~#*8JBURgogXFS zxwp`IX}F^K-9%+;E`HtL1pL|;yMuZm9efQV1~>WL&Y^XeSx@dTnc+K)DVT8 zVTLIHy(jE-snGq~cB5rh4cEN6_KaNGN;Q=$mXe5Ug6{uVfM#qZB(|M8M^~>)>P5FG1&>v z5O743St2an;t|DiH&^$VsIkKME_y+x%xHX>eBiOUjedCdB+?&mFOj`7i9kw-0ajFb zuGXE~xpg6xIHr!2vBr+hRQP_9vBUoPteg^XN^$_g&W35LX;e`0*bsVYY}8$~(?-qz zJ8m-HDSN&&s?RgGY_ty{?ztbEy7L-4r!to+H5yFfZbdk=~EP{qQ%fNYTuRUh;>buAbpooTk(+3G9gSRlDPm@4=w_z@&x(>X&g! zXPlR@LIgQqS$hfpHcAQ6Wd{*#a>Za=P-3yxqfYs@R{o98mL|D}2-2gm{RC_e&v?F5 z)gDt$o^lmCj8nO#O)DxoX4a{E4tp(=f}lLh*!8K&n`~^k^lwx1Rp0!_DJlB5)qZ`qP1a)maB`<#&1yT1#U zUEg+;6_Zv-rfimqYLi9qo2N%@8J@@I{$?yWH9}|Lsbmz;=6*0%d&UIMZC=b6UceEw z6S~CRkvk$=PPKZQZ{PKDczz+T^<>&A&e*4@GSTlKa`g){^+k|IFr+PS@H^Qk^ht^9 zc~xb3k2rYRFLFfvlfr70j+42b9v<0Ol^8bB$#r9Hp_l@nEQRXxGpRR&s7qa{B^cAI z@mH^M(Y+n)0^IxhdPV=Q)rajlZiD;AdgFVWQ>WH%@p4 z)dO4k(tTg!;JI9OM^BG%da_Z-IUH}1JyF5X4ZXxJ;(Nq+7_Y`kuK94(ytuNg{bOsh ztdxJst3K%Vc6uTz_i3xa(gZ69bo!-GXSJgkcqA^A;3XKEf|@fgiF3zK#}3wK?&J>3 zsWuU7lhxX`Ozy~8RVRlm^KNUS6Z3b<`1*C>knch&%^o)a8_C&2_5_#nuyRx7$=+UP zKc=uD&XImyGoKB#?lG)&tW#X5)jL&4R`JiF^-dJJ9_4O+D~7zkDb1G8!4%x@53$^C zF7xQu1gcuDS&q0S8sNi@uhGQZY3wU-g1%1DI+I8B?IpoTs_j~k{;XAdIIvyYmm~4yJ)85!Hu*(0nRvGT5gpxZr|z7JG5UH|&K@JG zlZpeLw%r%+cHq`$8Mg5LH6g(s-YIDlxpSoWY0`B=Ps%*hd9k(RXxBRBhtBWx5 z7E^DL`a*AK*wtVEw**=)7c@`o3c%8}w<_y+urTzs-=%TwIzyl2)9wlbZxLG;WesKk zy(EvY78bUjxV`de2+0dxqpeC7N1SL1U=QA01(OTMzUoF}R#9DQ3Tn6M*Wx8PUBk6a_&A-kxSp>bAYy z6!ud8z>SL85MAEzn3)DXV}O^r{SiCjQQRrL(Lmr)B44BRZ*RTvT*l@%I(@Htm@m$u zouTJ`er7M$&>o(V5zi{c-E%1sIJU?6oY9?;aQ4yc=ZnPp*$V||qG$OR^Cie<-Gi2W zjQl8|tI?eNH08dg0XcW3r|a}pEd?TuHWa-l^qs<;ziVM-h?R9?^e0hdq>b$-H+4TN z1&ZS?ckL^qIQ+vcQJfN)-Jx_#1EK+bV4}Om>lMf-Jc9E*t9HuZF!;z;FFrv{IdJ)dp%*Gzq3_0qwDTE-+?Y=r`< z%C{3Ji7e0V{ZOGxOltddND#X6Jf=j7kWtUx-}Akk(}1KVkp>7p%wLIg3Z2I?e@>L(RRX0U>tgA=Jyl15(|WjbJ*Qn446in=0$tTy0np!_|sdo zWF{5pAZH}%Sn;6wCsK5#WoHIJt~&jGeq3IRa(6H4>@vAPL^{;DYt|wOgPSP#{+Rgc zl13SGEYLz81iAcEAMlCu0CrKkix41{pr`IW5WQJo^92Qq!@a?@ZKzH*mKA4dv*tZT zY4d50?P}fSy!sE=egxON!>dwv^8E?^U(@QF;I5&;@LtC!Pd=g5Gb_c{8MPmYaK zDkA1HxAdaogDobSXSVU3RsnW2tSk}n`VWgiD%tAIo5OGQB*pFW{Vr^J+kYLuDUQcS zXFTUAL_>;Ob2{Ta=ZZQAj|=~`b}!&&M+szmda=eq$fGzj*Ah8rzdPGqnlfHG#_dRQ z9T@!hNYY=l7xk)Sm08lMF&<%llzr5#T_(S%ruGBv=l&YzXeS-0Xn~Bvf=}d{=$VhOC_6-x-U9Rl{~lJeoKM9K zbMZ8z_U$ekvW6(wh-_-NG`d*jVC+^)WF8@bkzT~f`V==|zqb)v;o}GrvWPQg$2c1#dN0rkhkG)P~8krdQ17RYBgp^K?$2nz;khIpV$b zutL2wDcH5U+OSL30bw^=Av@lN@7no{%Ti0gh@=0Hd|s|ts+S(A<_JbEi-OCQRh~7- zYkqpokrA=2k$L(pwUPcuoMh1DJd|vv{(V9@2XEb1nHohwwaMpE=KYy=6BqRwk&e@r zYSnO8b^^vnR6&cS4&Ki>w!f%`N=Y?LOAW0no)MV;#G%(@6sCicljkQLEye8lj62gz zca5I zu!oLzkek08kq-GXe=f*EXAWj6!5aNWIudo=ZvMKmzTc}Fn|J6LE<xN?lLy-%h{JI|!{!BaGfC1J*vYPRlzvOO;7O=PvE-ncFp`ELw&67jmG+3PFxe}3U;D|St)M1^pAkn;Gr!C)E?>KxAtesliR)XA& z>JE|eN?hu~dP zqpz#7j8R!O9;S#+-Cn86R?)`9c@r;Sz;d$pYkw;JuCb)K4Ny1VXUgqzdHN8m>B}O% zihOij{ws}wl9L%Bvy1R0fCPh^?{)P%8rHpSS^BC(ne_{(R|<>?In%H%lee zZ(crPOaWuXXEp@L21iWK-`K?yyIfLgjk1bSWtM8IHRHs+Zd=z5dU1ITFxZl#>W*kC zlg7K$pCfnw?VU3aPXyPh4W#y@iF#=cqrL*cQ-5ktHmMuqY$Ecs!H+rF?_M3cLjt%A zq>48onbm!ge_aPFm>i7;1B93XIN#&4yTc*zT46M9ARJ?oxKuTY5;se{t*hv!^EQE4LywZr!-X>5|IZ*2bwU8Zc=8`r6Wajf12oZFN%U)8h8agHxmM@WY5v ze+X{3H9hhOWe(r|G?b|`VdpiBhhW#t#KyVY!UiPZl_qVLpJ)M&CRp8Mz)x$kk0j0b zD2w#YR|Pg0F*-CPx$CnKn$?)iOK?kIr$|&Jawgtipss2V@wRt=BXU(QG+J3+dh!zI z&$E*AN`FOH*A5g+dbWp`HjOSKdzYtGk0;Jzv`yW2lg947hd$q^TlVPAOEmF3#Vyiz zB4|%R*I@3!Ik84al;@!DuQ5S@h7QaWhk&WC+6`yrkh-7huH$hW#Ls($u`S)9lgN$f zpK?XEy=%`XXzXgNXbH|du)&2jAw;xsU|LPfzvJ>^SM^kCYIG&e;?fb@^{_M6MC7vS z^1I)i2$5`K{qq6%6of2P(zieG>y;ce=s%J7ur7yXizP;Wk@c)eX<9{0Z`RNIXPcS^ zDVqjXejH;~(7Q-+JIH}<60FngS-9{x9y8(m#S1G}~whzmdgwlMdhkzLF4KN$B;viJZp6Ng3aA0EA3uM?B zjzZjhRr4>-ztHU5M(FV7j!GeS^u5!bMM%JQeypZ-`a34nRwrxcjy;N$?@l`wjWJwX zBv@YRK|?plT92{Ps~MlU{@!O@)e1LzD9zOInLJ0}n^e-o8;jHf*6YM`EdI*a)apP7 z$BhJ!S#;qN-D^c9nO`kg5aZN#BUjtgVB`@(?YdVSa9KW<2N9=rAB<`d2vbMi`DP^~ zt%(V=I(X_iUBWspR@Yv3IZ3P>pwDBsP_E3#gybeRBc(Mj7uAA@4M@AUw_#k(B)wxg zRa59VDuApyY6)g?9KG*1ZjL%iFOl$4I^Vgy6{1UFr_& zKy&{aW{`Ah=n0f^zG-&vd7UzChwklw2*-cQsCvaJOPO*ls?e4x!dk>$l z=LcN}OnKiWoZTg0BmEM$BvSC?d>4~W(DXJ9uyj8Vk1^Pg&c1@=^|3gdV5IKH5T0^O zvy04K{AUobxN>1d@M_PvhMc^IxD4mruOkS9i((fa+RhkrwcZZDKl%jUFhiuVIbHH0ZoE z36DA_kaVo>M82Nw{e8~6MsDh;K0x`k0 zjm4Pm>w8AfSIhBI)HckQjxR9={J6}Q=}O@?dn05t4okDWraQy{Cp6LJlShVPX`szC zS9|B)fz)3#`vlR6YE_7|uP8FPlNy=dKI~2!7lbq8BW4vDEOdh^5dzaB-hZe}qo5r~ zoL7F)TUP?jb5#6l>#1tyL4N-AkYX@A!qIvc^+ES1a>#vj<|GL&j!x+CYo7EsW&(;Q z2Dqy%4U5i=baDp9siGaFip0J2eAh+NU-C#?Q!qv;}goP}ZSuzK) z!Ed7>#%ZBQJA)KF!@8c9w3PBKJq_jbNOE0oJH6WBw&>v`2lCxSPoL*8y8F;2R+%SU z$f)c0^$ROglvk$D#EirG!qrLbq(|G#YvmEgj+tCCLKyLwSJgy=q$Sk=?ht`tI_Kz90-#JW9bod+7sE1pDK8>eb@9g}4 zd(8SRa!ikP8xoT4l|$62Lk6VJpoE81tgI>)Lcg_gcT|UGn$^-IsM@Fk-DK6-)`g_< zSW5DPSwV5y4ji<`9_T?EM<>K0Hgj4H_;Zw^X+D^wyo&L>Z2IC+6+18qdXVYJRo6e$ zSJ6ODzFod-g}@|M-b5Z-n&t}187cYYg?K3S1a3~sG2^a7+RjmjVgCxOP-0c{T;(P; z)2$+(x%prgif-~G36_$3I9-SWc3xfc(fS*@1z67QxN(_?hPLXx zKfSz9BG1?ecg*6c)UF#|pd#tiG>;$}a#Guk@J<2w{jiAU{lK=}`X45o%D@U8l_2s@mhJr&>1kFLG4EBbw%U3{oGsm*i0|RbwByJ^hIk ztNdP6tmz4eIQaomxR)OK->DfZ^M6XsI9S;JJ2m5EVf(L+@&8QCxL8@({?Dmd8@TEs z0GA`yKiNh4SNu(Us@*w60+vZo|C)acgcP+^aWR-xe0;pP6g9OK@VOlrSc=<7tMAVb zH^9qv=GmjRGw-7Va2*|^H5;$ck6;9=F4m{yE&Lg%3`A}#;!G^$pPvuao1f1FjGKjw z1`hfYf?A*9za6g#rh8$4BW-6$1QSCIs$?l<3x;>whYx{-0t^))1sx#+4fAiQ2%P*! zS+q?GI5~hok;k7yU=J7sK^&!?npn4MJO3Gh$|d_>YL-pJ;2&RH%mrX{_77xTgNFeb z0NxNx23^C(M+OT9hC?Qz!aDvU#LRxdSERzE1_oA8Q1H!XO(fhmXPg{{y$vqJ1A;Il zTbl;`4f(3YA_#c~_pO2>0F2u=1|0cG&m=0Sm@CN11O(rgPsD^5!QmLT8L$m>b_Vn> z9P+P)#roFKx@-ku+?zcH3Vsdwc6}LrFC(S;Ok+j@6Xxm!+TT%Z;{yT-2>|Y>)c&Mm zL}LVkYW=8y3MNLj^vZ`sf&twqME5O004t|C1NA?H`B@4BYZuZ}l=LM-du|dB$g`VU ztp;gT5$56v+NUDxpZ!cOu=}T**y#rUW?O}hy$$~O{u3y;?;4+Hw$|PWh4t^J<;D>H zSm2js_#WXDK{QA>jC5o~1PpLrEl@q?n9!aD5UD-pE#p2TmR?YA9qa%&kWd=%bC_`7 z86t=Q*&HaGV0(Mem(LIVDVxpffF489tGv#%c;=z(s5c}s5{l8EF|VG?UqM+GiHMAh3<3!g z6a4jOHI4x3oifgE-MWt$%Kr%9GXL_ZF+t$R)%Rv0*ar0TR1ze}iV3&(8Fm&2CI&8a z##!)V(ecCb_G9v$^CMbVKA1JEwkOmc)HBwz_)R1aB2_*2losT1Z7TvOmwa|x>`VwsRr|y>un># z6(wVvaCfqeTuAj?f!Twg-8Q>CqKj^OrN2!extzrSjhpjWbh^{~uikW~XFew!>4^X% zQsO0c7th!VxE$y4VoJgfoblDA`;3=7#acD3?vUu} z@&H)~?qgFs!|>6F6L;D|K2&hCUZPa)ej;1ZwP%TCb|!@0-MUSc&8;~Pr&?~*?a*R0 zoPRw$09d^`RK#K**m!7%^+S~Al;3#`X9y&(N=l^1yl){Q`fI5?OH~u`W`%Y3@J4$4 z%}9G3*mGAGv*&0J^eyU&&|G9*?hL!V;Due3DLPH|)B8Qy2hXa2=C4DCBq4VyRn^7* zO7lcFeK!Y5BWuc2aZb<3KRKIAHkT>F~`*$zK9GyFLx{T}39RZpiu-IB|DcAKiip zNi<)uD@FnjrnU0`F1D0i^GJLjlI8<7B%zfn*}}~_&ckM-F_2hCrY4u{trb!N$!XaH zMiH#Y#N+HFSu6`1eUgj)oN1ngNL=#Lvir>j1Deb_3>>e*6m3EjS|p0McUxoo@Md4z zTniT|I`8-f_S(an9r!R%hgw!A&3rEP)C>FW{vDWzHMc=duO@L`v7$LEB2%m>oio5aGuYVs)?%XQZb@C4K z7uR2FBwd(6)BC3^k4A7%ProRN;pjX9wP?%Z-fsPZAbu({fDWOXDFM_#v}@X~oa43W zrgYHIfR0IVmF7uCR(CBRn5I4c`=VfiR-||*5t0YPtANGG4Sq1;61;#`H*(5sTJqq* zs8+x&9J6Lv)6t%gy?8*2oEt=q3az^-Dt?7~=Rc zwPePqs+h1qtRS0EtcIFjMu>UsPzuD<{vbPiED^jtXJN(JHfZoD;32kOV?eX}Pat zVv6w0CGNP=t8LNt*h~wz;yg3;NjUGsWB6+=Y8o4_A?4>5{x|OF^8Ot;M9`9>bC4@p zA2Uc0?E^;-o1H8DivZa~bxNlTEFGxdB0`74voKA~6x+@x++qbe;&~l$sFY{AWJ8xU zxzv@6maFxZ4HTXW^K z(MmvFzr#<5+rMPHm{~siCXXxNfTBbR^t+!vA<-ycTCU_U36wgcMjf^rYfZ5nUga9} zyfJlie?!gV{bnD259RZ`K3YqZ1xdwgeTP^dBfxo=C-U`JkG$k=n%CAKia!H$uJHCV zFE)?(RlXcguJOx`^)0ItJ=BOSAn?qwBfSuAT{jofn_=4$9H8c@`{V#SnKb`^0wV*Q zP22rhn8CgH(M~o*^}n)PpG@+<4oIfm`CX?6X7Bq$c%uu7H=TaiqHg% z6{8~a>ussO%I27&sfy53WFvrlmR^DLn8F>J`6bp?slC3K4N|!w*k&6l4&jmnFQ}#; zXWU)HA3b%4ps8n)`@7Tq{Xv|w;UU#+0h}FCg=5o8ov$>5EC;H4+_>U$3AJ0V_&oWe zR2@hvw%JQKgH$;Tq9FD70sAk%wX_r6?|$FCHxPxB>5F9IhV%ds&~CYvC(an<)f&R~ zcWo238+m(-HOFMP+Lpx!_7&6~%n_t~07O0h@O#*7^P+@;Um>vzfxGhCEv}wME=I%9 z?dDyeEE__&-y&!Tg-If6!9c1k{6)W^Nl)zL}Sba_2Bm&lYzu1gNjdHPC5@3u-# zPjAJUK~m$fD(h-Qr)B*pHxKh~a^7iin(&I->yKJzOIGnm$VB?|JZC85&o8@iKJBj- zib{=w_8l!WUn$2X0=F?lcY@K=Q>H(BDixr^zTSL6DdpQutmL;B(FvZA>|bD)S-)OA z)}nKjuT#Tjz9FJA(*=z78Rq%zo_wKPy95nfG>y2`P-*HsK|TT6F|fpi^v4i4 zJfamIN!o1;{QJorL*fTG;1tT%Z#QKzFNAdu+=m?%Q_~Y>f(+G#M$QR^TFi1NoaS7e z?j`e*;3IPFdY?hGI&CEEi%yw^a{f@vbYE7;G}np+JxhNzLsLRSF4|}1?#4g1uXmZF z6*MCe&4qYwCC}wxxHduck9DWfU~eCC@D|*$VeV^Mb(MLD?;odc4#mwzvAXn|(5kY( zy@%JUkb;(0|H=PBk|8_m(vL%o<+A0rJ8ly&-suPjJ=sJ@X(NiAK}L)`QAh61vc~jH zjtiH&Yf+_1G5ZQAi3FI;@}l&Aq09#}`z|tHkmk*(&Fv`m&(RJwi0ZbMmi2sjN6S#O z#-oEfGX0pUimrsk=2#2UCykAk0qT17xKNb_{0YP9)~Vdyv|wxxvSg}hA9n?@LC)0m zc5?rWvOFCgkf1V)b-zsuAJk)wgwnLdu3+CsJH0T$%w7evIp1ebOh6Rjoq|r>-=6IU z^0Sp#qesiQ>5}daUH@Cwcxqkq79O=1aNp*#O;t!+B@SG;#kjKe8js`ip*;4t;l$(3vMq- zl=PTkMnfrS4u7oNap`ZBe*Di{E3-hx<=N@kE-QXvhp%T2SJv2RqJ)@i!*`X9)D~DY z?=u5TK$ltx*TJ1@r4}$>ZBwejwLO# zkm*eei?=@*!KL|n$TNVkuPSMVVe|uW0J-H}ZF!PfXmurQ6UGFXL~Qb1Rp&ZVmZB_9 z3z1yyKC}D~-wY~OdjfcZqsg1kUR^sWJTe=z{AM$*b#-e}S$0=#MeEc;nGm) zDxC?1^hFk?77AgGB?XGz&P&hOk|QMu|KK(QmEH9T;}v(G==lfS5LqZvt+8hpNZe%shi)Oh@0<) z2ks)(wm$mX)3Yq~EGyDoRp0wZdt5hnwp+r>VoYlwnO=I$CR5a-j(Kmj6WWDo`7#0B zwrmpl$Q1*D=cT3AKd}TdbCOT|B`If77baDa^WBkn6@7L%^T=w-$V#?Ks+oA8*MpVL zZoEoE>lnB(_XWryD$y;OvQJ46mHfJM``rMGKzw})f3EfDO-P+IiJG6#smg3V_C|>d zi?2FOQVBfdFV&NbIMk{n)T-m|9BG;>5u{?`m&U|qE$B@)v2XXiBWbcry5(a8+1`7x z#BWbevcK2L%qjkp<1rmcm~i4!wYHT-C~GSM6lh~8oBKRy?}UzZ583P{KI=Zk0EK3Y zLojZ_I!(c0$gm0f|M+X%@H+ERI4qyTC?XtXZ*IyWYNwmnWrNNn(! z^rw36yT`f}%|=;I^d*$^#&+`-6KF`L5)7W~xxyT1lkO9gTe$?~bOf6D;uhC`*s+Zt z4I1?udr}LEKk#@{s9S9*89@$6TF|IVWQcci4b%G!4_BTwEY6B$c4@{^)f>IqlUS2-?vp#a^W(v z!d%!{*>EB+EeE5tKfBkjYCPxB($_|u87|rIiLSWgoVR~aD3a=AhE_2=Hs;;mnsw8R zv-@Uh*SrtE3dfabJ&0&xDQHcmd*Etj3(MC>v%bM0T1zPW=vJw3>_BVW<8zm_Ll}6o zO_d%@_B2m}Est~zK;?F*+73sNJO2^aDJbqZHh1IBMS_l}{t3<@ z^5{bi{s47Ms0LcN-Y|(Pxqe;*n&wv7mA$?LM{ciZOGmjjnXFSTZC*$=C2%{)i!a?~ z(@E{Yu5_nF7HAxcCW$q$mlDxt2wSHT0O|9)girLuyqsEdY9S$0GGC&*7_9+B6t>tG zfoy}cC^hb|q!?|{3jLMVw2i9?*H+qogt1$0XNrA~x*0gKr{pBa$yGRgWVQr1x(PnI zAa95&QY1^axUuG6$b5b=R}eQzFWzl)Zuq?{Y2eEuD}R1#iO==A~dTxc5RK`{wR&dz&m3T{7P(ET++MWAL94d<)RthI31-LSHo5^R%Jrb+z{{SwT}M+}%LfB+yzkOJzi1Y9z2H!?Bai(%xk=j#Aw@6rO*U6@Yc zOMC4Xc62*VdhJg)M^?7P##O6*b0xI~Gd%d{C7X%-yuU`io%M!Kj!TAiKc69fJPU-1 z*T;(Smq1Pc_n-e~)&rmsyPYz~l0*{mrLYFt>n0_6@0Uksy;EQEpa^ycR^I$DhWs3X zAznX7rZA23WGb=uT=t4niL2~{Uv9B@#}zu#K`6*K6gwb2g8`m5=`w5>Z(H^!NX||9lW@6!A&x4mm66^Q(yFu?_(W{9cq&6^n4ggIS_K- zLYu>_S0ckGqpODC=+!o<6esHR_KGeu!t+5kTwZ;KxXtSM(NMM!ss8TRK`upNu-T4o zAF&kN_Wu|=hagddc1gEw+qP}nwr$(CZCj`9K5g5!ZO@sBxHGf(Z^YeI)K^if+I;zD zJ~^1(sIg09^@L!rf2whL5a7S&L(-l+^5OQ6Q=BiKB&ABa{Rd7 zjLZ^*-Ws70>bi)>L1>5^e})BWqb|lB-y*A0`2i|g&ws~ZSp%6ZH6f(*CA|Y6Ax_tM zAup=1|7^M{+Ywi47@F%xBieFV{&}Aa!r9}CrgEsI2*;Vxcygq|s=eF7^skSCeeivuMnWA&~O~K~q1sTSCCsYw!m~Zi4 zC}v0lA8+f#L)mqQUb*{YT-ltq8VrIuHOi!C4pnza8}|9C881==F~(>`2O$y%)1Xlc z``haFLs+Q+t7u`6^7=2)V=+EZ*1@cUlJJcz1?&|_t;qhRAMZvZ;q553lcda}tp?2s zLb0OM{8wEF>7Hilu}q})OXcnzv32MV>S9IGisg=^5O9ln7WvOZgw>!V}MKBC{8*$Yx#5WJ&b&7hMjL z;6=TiMI0z{7Kg0u+T}s zflN=S%`S6Hb{Zz1?r>ysjm80?V`n+!qDnU~s4ljgZTTbLLsL7i?1@%zak!ZWJ!1^>|3x_V%@E% z+-At#vBNRvz@f2EwnmkatUQX@+iGK zmuVHkXgoaUxqU@7b~Inf&u&BP!r!c$r-lgxvAn}IU$BVs(#L`4f?)z(2pzwv5&6RN zM~QGIb}E;{%?Zwy2{yW0s5KFf7#Xo_Fu?)Qar7sECF=)HeXE!m4>6Bs!B%++qYGao zXvwZ#%f)Df?OS~@k$>WKwENL4YdJ< z*}T~MUKv8^;>D53nvVmNo9pvb!7luTZK91GRAr8tS4R}FK-J^iXX5LmyT1uvWY>fB z+L6pWgeQ#lN9>w)y)V3eiLBA^DA5I;YRZ;LEx0$X| zb~9sD0D$M&Z_H#`+QWm`cv)pJW=3Q(s^QaeWf`{_a%FUSR-<10PVy}@CTsm9B&oVJ z>pM(O4I{-ahB%GTsx@CkqRkG6G;$mUN>BV5S*q&eB?}j7nIQgwdD=@{B6V?*Re9N%Tqyt9g{NO zb>BT_Y9G6Qyo@2~g#ld$xb@1@xKFj4`?8PbKASX{ZF*-e=0y7`s&Cj>$K1PtJR=<8 z@Nn-UkP#ond2f6Xgp4VGUtIYgq7DnDKLUHXq3j_tM)&sDk zA-Pu*Mbf6-<&oLp^*kaV_G3xw!7*6Za}tz;s1DJ2D_mm?>g{>A_Dvfg1(=_kE_;8e zf6MX9!A)-)$9*L^-!N`H2v~jd`dz%Y(}tJ>Mo^1BpM2e%{hVU@f$_#X&AEgsc|4rU zZ$a6LFGSmDD7jUh68ksjeuTw}nJ*bCB3gODW_lR)Ow~D(But!7kH-u%l@=l!i7L%a zy9nzA>L*ITRs_3F!J+4Td>jwxZj8jmUZwYSf*M&@I$q+X1cOnK@w zJ^5o)Tb8Fyb}pRv&@wokp$;KWYhZiGX^W81Hbbg6cq=jIew7R8G`g#4ywc8=eybO= z_YX}BrEvL2X3yr*IhkAANhDQ@byWV#LGCdajBe!%G54*xjlKVH6o*6oNaq2sR4LhL zf;gAT#?v;3d+Bu>jKIT80!!u@;jc_DBoe~0-etZ(eRZ?ie@oA)tVvFmIBndft5kE;izLONfV@7u^Dt?mc^UH3I* zpI%#pIHf&WeBh@92NuSRTd6EiCf5codX}7fMJ$!xyx528{#g|)6rfpPjNmXcHelGk^QWBcP0%(_biaVCSGlADM}hky~TiYE76IGm2I$_#!~UWp?-nRA>KxW(Ot$77kX9|N8d-TOU|CnK}N))(1C8mL=P@URt6M zij=P;-)u~7%FiTU`IQkHF=Ml-7+ToG+A%cECQ%B=b$2RhM5xfK^(Ip3CY0TZoeSUJ zU+3Q2DNeJx&)%DB&$>^}5V=fEDa(FGItX2yG!oE6uxbFU5j8agOaPd)RIp&vjF6C; zITDxyeD34~*dPIs!v-pU#%2fzib$iyup|l*V;nSwyCDDsO@N{TAVn3xU_eX;jdy&a zxB?&x;hs5%ehn;!enUhNGD2FMo%8^)jwA}#pLfWJze4~KO-)5d@eTrmxPk(M1seSr zQcj}n%2a;~F#3_eg^4A4f29bkE~JR|RRsv_?d>fqxD~O)1#*#-LAvKj)cb)1MG(3X z91Q$T`av$@-dM9(k`WA!qsV?-G!7C->?r^N6<{z}U;;^%gm@YqKmZF=z-eZ&0n0o< zUdY$a$OVz!TsZ(lupYR#>(9PLEUw}WC}6^zM}-@EEoh(wiWnjKRaPakj)apy3N+sM z5TghWDDD;LDX@TD3laR9;XqwjrvNET|LQ*?8iKIoiKLJfF@7=!y(}ukX@Wzq{_W@@ zZXh9A^z+}a00I)@bl0D&pX`Yl_B8(f5tLv-i`&8nzKI0aG@i%Hi+J4V<3K@P#K(pb z1UecpXh^D|3Ah75;A2pq^8=*T=Q#*RZn7_%5_lOryaPyL0t<=}Bcjlk@e`>)2O>b^ zK{V;>!~GSL`A0q%ACw4y1_~Wv`W}~KBu?OGJpO^S!0*SCNyG;Mxb^q@bt<8Ni5oQX z`JMCEVH|raDlB~WjMOLob+fWM@B!ebgdiX#rUoCI90P=!cmR0c)to9g)7K6770DYV zatwHwHKQzlk{{IT`HTp$-_+5PSOZ!zl z`Ms7{MGk)7NB@?5^Z!zCXBl}#4=&P{M=}MEaZHiz|4H`(ymxktMRaH`|Mc%Ul~kCZ zvoKK1*aeRyyD0KSaA0PEJoymD=AT~q^bQj=Ml|Cf^7=IeEFmzs^Y=+P4$>{_#uJGm z@oz^+*?xBy#ifA(-_>Wr^aKTvA`tM+>_;ITADaaBLzrOui^#_>0uxZu$bm!(QXnG^ zmcRkD_>)RC222p^y9i$b0Vv?rmzYEY(DW621dy<7Us3}RP|%kMGz?Dq?MMYkkj^iG z2{7PC>=^|gHmGp&JqlEKh86M#Jpn*)q@S<=dOivfb&HUR?4>jZ%g(IS%4Ff2u$j$niGN){G49G(BmhN zDdnM;f3MFD#CGbwLKLc!c-@rU*TPo<1Et)mXTUyqAe5|p# zZbygT!%!-G)Ov+SLfX|@mW|s;pt#bW%*Z;&Sny;(@7Q#+cyCh9SUs6oB@Qla8CRfF zMoQ0j+R@EB(Bg=a*?4Wu!d(&#S{zrmuE}G+r*4PZO=iK^^uzWdC$Gvub$@lVZW4wF zHF{x+MYoLzqdhgnB-1kJl2z#vnl<0z>4h~1ousbHop$?VF?UnS?mQv!ckY8vKM9LB z(Z|Ox57fRrkISF#{E!(`Z&12EP_MAkoNJ4lu}JXJbs(^aZb;pXk<+PLqI!8E6h~e; za8E#JS!q1Q@3j~xa~!Y5l{#8<*uXKx_p146|5Ypt9NL->!GsEKBqMUAQZHoz(*L?X zlIm(}Op)6+u_DiNXSUT*^vGnj%kOfv$f(IgVh{0sQX0+P@N56%uNqp;fRw}Cxya~Bp zcZRk0$y^s|(S+Y(xOUs+P!R(U;k9l;IGdmV&-l`(P062&X(DJjiATck*`3)DR^+59 z(CQVjA$JGs9vZKAaXXgM63@wDxY}+~el2nrj(C;Of4n~^RbI2oUZ$J|Ic+H`tN6FE zh}aE=*L0rEB_n669>uJ8-rHoW;CI*7ushQYWw9&NO-uZ!+YK~a_{$SKqbG>2L$Be% z8QN2cFyYEHbHdp3?3(ckPW2hJa7Q;Bj3*=OZ-t6Xk=hZT8bBd20wP zp{WYVj*ylF0~4u+(L(F*hC7-`#pC#J)hjlU8@1Etrry9#`XDWVe&iE%!)DUdlkIRXU;C`(=>@ zwQ4?-;Zp+OKdqLrX(0i}B0KGIVa-}4cNtNMU*F`k|J<`#lAWnqv#0sn$WqM&PJZxK zRh-nlkn*`;u>oRm;FWnumNM4U`gj?dO1?#liYc-1S8Zbv{JVRoDBq2G#JBg)NQpD_ zz1Qdmupm+q#iE0APO03k|bt6c>uCapgfS=dTvr#o&KL ziHh`d+MT=^4?SzYy+QLhJE2($MKA7WfbITyP)^FrWVMQ@sBb5U3A=qNbyi5@J?ac= zP*dt}6tth-E~C_TZKS{vO> zv-&UZ6Rg22g~W%;Q-xnErln7ryh?OMshmu|LI%Qm%DN0=!9UKs%BhnbcxIP1e@8&* zP4C3h6M=o{`6)_fiO#OWH>uF0aH>=tIf6)2(=tKDQDCZfl7KKC_}O-#^EFyeXBEt11Y|0EFnP!RuzSq;veZ@6#$U@C z+q#wLT0vaQXM$}Hdkoe>LxR_foQzWJCV)T2+AOP!^F%vO*w8FYn+Y~zjN|gXdk$JJ zfV4PUjYKwUlJVzwR6an%a(kiX6lp6v(_(u~*S3f!#lymS_P}7V?EiY8g93m%!B9UZni%jJ~D2u<(bLV0kvU8i$jvCLt zj|gU{n+A5F=KrzP(TYP_;f3$PqwPSc&m>15Qr6VH87UCi-RBbZTHFL`=eb>Zqe8aS zj^}Z@N+~-HtcndMaxd$a-ItvQBAW5i)8)*i1~;HS*|;wC`HL^V`N^tTz45s!!nlw> zOS@{8(gvy#-A0$ztqJNavWtIgZg3qR5o>+p4qp*{qDsMAcGACoXNhr^%0gw8;y(L# ztE&{RxU8Gj6?VOB9Y(lMpAjai$sE)Z$Jrn0T`}6KAzrsQp!~x^Slo`Z5zTVEth%W- znoVID+Y}XL~c~xN1AI!efgM z-MoOe&YEF6Rdcg3x#XHGR;y7+TueY-p^y3;_;TrHuZ%pqhx=~%e~blbz2lp!#tHvA z)mGf{ZAL!_u5YGUl?3kBL8^bIMwYZWp?}97BrZKAmxeKd$Yxhw~j3$^*g)4=Ts(jgL60hw(s9oX)uIk)1OskjKpWVp%Xg z8w2F7qFG+NcPeKcR(Iv4LcBfw%|M)^5vLsO)94 zZjjTzHm^F}hhHvcc$oWSjC|Z<+z1_SCk@QAr}tX~-Z`qO_PmJTRrWKTP@nxg0?S8< zTd@PDHd3Q~wvlOlQF(ZS`{50*1kX~)MwngZLsVq{hLH`wJc^L^2dA>qVH`O8FD;}V zdiXx=n7Br0$hb;U6j5y8>|inT(i3fa zMfP=h-V+%Na~V^YKg@}of4}hs1EdPB-r^=gV+EKyDf@equCG(5j|k;YTEHPC>n~O& zPSzhAbuC<6&G*=mtQj6rLEz_&yb;b?95YsUOErDy<*$%a`Okl<+ZI~N zxH~KaqGO!q(1zcOCr3Zv-r?GjH$iCMmx|V>;vWQj|VJ zD_3Q4XYhApDu?0SHsI4sTt{qyn!06&uzhwdFBIsRK9=aHxtdh(&J3wUeUD9%RPT;OjXLrVssi>G(9VJM^Wba<=>z!kX=2{ZGG zDlO#H95_4cOe&<49XifdCo4M{=^U^dDKrW(@Vp9iTk*?c)f6?k9(;-2205ior@2=4 zhAQLoXJvMnh4I#$DVM9QJdMk%R_NYObC2)FqPBSgsoK}1uInp}A*c~W(>%N#>Fm?h zpFNc&2h^tlp;wq!Ob<@8iLdsyTi(&ps7LT~V#}G$H8JN*;@NchEe}Yfs?kX5`&(0e z`VM`A>)xVk%1|e6B2qtbx4n#wcMn#*C>ph~1`W0&*C>;buup$?>6^Bl&(trr^x**7 zj_}$`?*J25+}-C6YY(^7>o2LI>8RVzl^joZY$YpB+Z^fYdML!cnyS&BL%SynW(fPb zD^#_`7#YXADKCtxT5h`do{k+ly{wp3Ro4HTUtG}&VVJcGtKIgs+3tHcaB%;yMo{`n z#mQ1#1f()+pJ8#m&%|0;-&{@~5Fr|{XU?eov#Vb`SsEm-?w>o9xF6^oG{X<5I?QWv zDc4oBX=o}soHv3-u%7rXAKH@(h0Scs%@}2Iij%<9bqvdwKcG(?#qr0+!vwQfi?lhNc+@3> z79Nc`4*DUl-v!v7^jdD-3a_&RxZi!=Rd)&BVa0Azp;lohy!8kO*|5VEy46ehd6?zB z==r9EFQ&DR9+bT3`79%=HyHZ{{oy^?0B?8W5)*If!<;od2qtC@X?Ou zxrVuxVaq{fc=ETuN0OJSC)0J%DpZ$BaTB{ZZDTjpm4Wg$wlO!1EQ4ECbXn`v`H9)M z(9z_2tl{h4(`eOxs?D~78f-~xOUKA$49C!KNLpc;dt!1#lLokr+H_J7;>cx@&hYsZgVl)};>`XzE#Aie14nC7)ZWX{IGm}1nMJT7TClcR(+tPM`4!g% zlPZFn?dUHHk;-$pZAk~ftEu~s=8^S%^=oe~0Cie!dmsbYarV9NK zzQmRG_c>J)x#)2bNM2lbTBx^pn=sy6ha@0#OU7O4`8E3p+{S8~XhiCJqI?BU2YRKe ztikKOsAw!TBB60TGo{&Yz>_=MlyY*Y{O}fOX+c=3P5iHhV_-)#QVtJibIW866y8hD z>L3Wv$lv&Q6NsUa*kl(sqCA?s$pEKTyxXiPVoPV<6nUDuy&V3@S5e!eei1>uRo`L4 zx>0H^my3@^ucv>i$jy3v^MHB~N!(*v`2Yy^?)osv^eOWbn;ULLze5aJ;%SgBfzXB^ z%rwhfZ_sR_tu|CgP8a9zdxqd)-E!vk)zvJ)w(TlTy;0srf@s>*DN+7CpmQj z@Q6#^K@XV&ry4Z3u-3DLSXy%nW*YZ4;=Zd$U~%oOkNv1bVqbgk6b{mMjew0rlv%_a zk!Lp(JQsqS)IQF4#7jMkDvc1IF*BCur)-1O*9H~MuhpmkLWJVV;Q-wyFne7Yx8v_p zBw|Gs_bH`mwoTU2wmPr7kDN`^*=Tq8sx%V=y4h47QgXTNYwEQrda=;p zv0NQ7#ikg?Q@F`ExB5|>XXDH&M;wR*J}M>jt@*Ms6yE}F+<)zunjc5=&oWlCKeoZ3 zlbP;@qo4TTxJGvAwx27*V&EA3xQPwdpJkUIbF!dX;q5`Xf)(NKT}ca^)ognWcRt(u z14{gguh;S(+Hv(48}e|m^_V^=T|4sTF9?%`J4sQ#ETiOocMRPPq(7>0x*4;P62ok6 ziiy(qu=7f!Ydz=L^nwqWG5-ePdgdPw2+8f`bQ(C2*3U&>#+9fnX5qdHKyR@5+XeYZ zBJT_t`s3P9WHdbsgee(jTX|;KC3&_!V}4by>n9+M_hv;x(a6uZXO{=F;CW}b>Qx?@ z00Ejiws@i1jHPO04DSL>yxMqaX6?R{J2~GmeRh-*n^UOOhMzY%<6ca)3MziUOl~yO z&h8ar6qG>jKaR>BbLz86E#5-0ZDp&Z747WDEDyUO=kxU^Q&aYNEt}Y%=X5yU!7Tw*ijO%U+QUX zg$)Q<;1e?ss`M|-`7>8ow=maldZmspEcn!Wky0VRi)&bm42Hb|C;&4Vj4s*7H26j#k+2-4aqOT~$Ga1_^ zmcdW#n)FPB5Hq-a#mf)H%ymMa^DwiwQvJ-{FF+8D6_|GXt@}Hm=Afld;OX#{Jy8rS zMORfG7c8^4DmNbqI<}RMboub5R~jacNY=wQq-?8xQ z53QVec1E8gETFSp2Z*AqOET>UB29tIL--F7dzPgDMS~ z{|BL-^*;#p|3ZoXSDI%cVC4L7(4I_;%q*P$N2-US7qhf+F?AxK7qc;RF%>a2wl^__ z;^TvIc5yN_w1x86Xnr$Q(a~LDg()7`rd5Hsxe3|3!K0DbR}k30xxw1P4H9;6cZbDd zX-B>yRo~r~e0}`>1_Oq3KG(6X?{Uv9@+hzPOJD-S1QHc&gM*=gk?9H8#(xwUDfJlCf!P^A!-E50s$Q7N%$NqKsnyRER_tq=Pw{b; zk2By(H}faIqqP~3bF=-o&k5NX+c9Ge3W5Y82DVBU>C^$#{- zlLKJPbS#b@__ymHf*)kvi4hQxz4!FD)bT#mUv{9SUmKOIRb4BXrbZ`F3}9J=%p*a# zdSJot-+bQ}{*EEs+L|NSn!u&s&4u3<<_5Mlr*Hbn-^MwBpA#us_@*|th7bH)PK~WC zP>ULi8v~P<`jH=Lx?_Vou1_JhGPV9y(RcBZ7jJIOo|)^*b>pAUGa!Zrr-q;S8&{H8 z8ruK^hJZ(XyZ%+SFZlh{o!>HOgM}nSG-RZrPk*x$d}c;$;)KSISjvFZU}OUWd;7hp zu`e!&8XOz|_q5eaHn7ewW=a4uG34LZaz5EH*W3KoTyaFIw=09s8YT-X)?fUq4TKAAY;uID0OR!!C=C?qdPV83@r=E*A zVfj+)NBi&0kG7HR_h^3TduqeIegbGe$k$@e?%2$H{{?;UYLd*4z{+Y2*@-{HrZq=$ z-?Y9p+c$JC62qtPX^RE3x;Ascv_4vWQ{Mq&pWEL9`ZulaWBt39zkSI)NsT|intB~y zsF}wt7<2zN5jOc%^lWWm_2M0<3nB;cDJOp=e_aW_#J{8_&@AlXKB^u2Ox@xL!1w&K zn;N>+Y<|&wXyL!iL-ino16NLd|47w~2Gzp!oB4P2i2ZV(Rfit_yA@W>e_*v@#-DcH z+LG?yGE3(-sNUA$6a42@Ozq1z@!MI9`FDN&*M0CeSQY0=Fiil~`EXU9-9K{-lVdHr z%YwNNuYsoiVKv|XxBOEdlHz9z*54BvI#_25b4|~l0<3jc9d+|E@NR<{Z}#_r^<&la zb9Vp73*;O7xAz=Cpa6Of!qF1XWC-0LaSK7^fHaL=6H0nu&_gBeQ&5=;&5Y8uDHTGW z#XA~?BIEXRnmm>XpM-k6`ZD#*TDd|JF~In_dnHAI(b2T#$#Jt^dL|k|RmOruI#+R; zUe<2Dyg4`KM1YH0y*k2|tCq9%omRm1NFk)W<&ZDQ^$YZnC{m`p*^?D~rNbbt6mfG0 zYS9!iw;|TTu?coz{}_*(>u-U!MWow_vmL@s#1r;r9h{4|ld^~Y? za^s!|W+(m>T@0`=N8}re!n4n>x11hAzB6g@o(!2MN)>%x{_M30XfKq*6fpo6E#bq+ z^?rTB5lGtb?pfbWSscH>y4WaqDtx8)m4%cKo}L=5`F(Vy=-wASb+uF4(AZk7IUz)C zU0A?Mme83&*t;T}Fjv7ceg_VrE!eb({OIluAP)@=$?SbQ>2yI$?7pI%_)4mA6<0z- z_zsdSj%n97qkLDhaqnnO}}7(w{xz=f$f?w+3j3h=&JnJg~LzAE@F~dl$HDkm+(K z%pTT>Z)%Ctde1SQg{<4)Y`cIPB3zH^Dn2p?Ts@bIpU0@Zj zhNU>EW~+9BRFm^2Qe3xgqM+IRYO9`A>)Bm8Ded0Lc}>cYS-&NA{?MJQWOQ~M)JE-n z?rk(T{3w&olI>v?Lz(=cs6_RfK~qK1D(6$O+K+tLGaN%CS-yt+%iele&*Df%%v6T# zU}J_|qk0WFo(}PE%D_8ZtEU9-Q3p6xX%5+jGFOD6DT=&~pI{noO0(xN5#XhM*qR&h zI2$%V$YdglZiFtx?K#Vu>wFQO(5Q)Z;|ps(we0DR3iFIr`Rsi+^9^_)%W8djJJV2& zMyz{r;h7%QL;B1xf*o1cQ~gBqoI#@}AykOXB(Y1%2xGdx zN8&8(y5R0Hjc~4jx;Dwo%%Sxpf1=#2jrtPEZuxS|Ka8wv2OTGy%NpdzRnP42gn9Fq zq-t8)zd|m+CQ43(izD;GNWzTJ1G=KsFK4*!djTR}9Co`iHhtNl4HMUY0#PAa(n+;8 z3u*6@qR!a|_2j{~ey3KRAL)3b19P_*aDi0P>AQ&iHNq?yxj)0*;CVUI9h%SKR;-v- zgL5}aZ;bm|{CkwNIJ(olqK{#`hZXZYB#4o=#kXEl4kyoqRZoR^Zb8mY%&){tTOL#O zkBWH#-{&YdM+1`QIM%!cseii5?SZky+4XC+ix)g-W7hD5D+{o^Ba^vuUvZ+_6cb2Y zK3Ho4P6YIRSsBPR$f&lsM5H0Z3Poh(4z!^#->#RzFOwaUA~I-`B=o*U{{S+MND#0Z zJwoPp9}Ys87FyK96v_)-TUJQg9_b0)>axGR-Pdp+4#qFR8$lft2<{ki{6fAKtJl#i z0ZOdtD`_C3N9(e!rd^7AnLJYUVy#_)j67vkWi zbbk~m2l5$(Ye+1q?yV_O0{LZT>@e;`6Vyeb-6Jq*8zr2tmCm==Nku5T=zGNmE09yB z@FINY^z<~ks*cx0RVq<&6TXox-VwENA z@06nl1Z2J`zpMsq-$o5284?bUaZLjU|g-MX?PD3KkI)07-%!uP6%3Ghy(L^KP>N< z-B_q5BDsUdGJcM)lt<{?uGk!4X|b>zQ(}}%gmN&jU5%zBI1pRC&FA2qZZX?RIiN$6 z@_`EUW+Z>jLpx&AH;~*dC&0G|Vm6t~9MK6(%C9CiA22G5;`SHtWO48KaXO~ngwzZ# zVoDcRNu?C1kQ}<2K%}VsT>DgMoYqf`qOy1PH3M*HuNE-7WZYwYY`;W9JM3)+3hq}^ zbXVd)kM%o31_(se)ZxhD?@lZ-#dJZZrye$k0WG4S-Z$O|O8lG}`*P~A32}q&vK!T% zj9xi^>zEd^bwnmNgK#hFnb>axy#vjcib{^6E`4KMt5Wt7Z}?Es4q*8RY?#IqQZ$0XsZDQ4+AB65#_WdVP)Nj>`>G;O1pEK$ke1?|o3VYu7{epXgO2aFvmd4Og6w2z zPb7j$5<4ALGdh8;?v(8^wds;K_e%54=OA%Xy?rOg+xaSSk?}lI!;q9G!MTET!{#FAJXy+B^+)NU$@*d+> zjj29cSX*3+Sye)&f@pg7z-L;CAr2L&*RHh1#4!p!d-$DklxEE#lTosl&fAg7fOc0i zmCX|}KjYATAs*+ieKHhIsTUrl5#sGShqbV6g+xG;Q5ewT!Ax%H6>ctO5-=83M} zE7g#RM-yR|#1B2pAUUaSX5kM0;KT)3DE9Ky7lNWfg4n2g;0<|wnhgYf*u}eI`H3q% zQA`KuJT}`4T|snsd1yY{j@N+KTDD*YOcjTR>nzbET^Y_DbDOVA{U)vX)#m&^0h*4-9U_M|ru6cZl zK?*SCln8BY=fbpdDX^fGI4u~uV4{vqo(NEU=2a#xDnfO_@2y6?A<7MMvAKN@;qQLG z8g_5K67UME0&@r#?h+aJG@RDrm>5o={vzdWd{V+?( zeyoL)wzo2-_Y$;S^o+Lw;W)1c5({=B<2PbmxE(r|vBdXf)L6m8gYR>dkeX0gygPvH z45&P(i<~=cV;@@}7t45F)Olk1XmsgTba5^1#nkj3v6%fl^BLkYohz7u?8g8kw?P7+ zk^nf)A`?o%C{x7JxUjoWLbknp166jWE+@h#ITyEb7jH)@VQLCsA0(4n6qQmALk}|2 zrOmuuoeSzZRix@c@A}{!4sJKIAo*AKt2^qudznGIOkzwBJ}4yvpHI}20|zxr*^`;Y zzfN*FdkQP*z?}E>sTWo>#cH~QNq277FwcK>`1Q`oqV|DfEhFOTtuN&b>7?>3W7+>| z6woTX_1HT0;U@uL!31$33n4_S5w69w^-=fg?PAkA71Csou#40~cS9z+sf$xTiq-bL zoAzyi32_bSB9f9Hp@^`1B_K@*@V_g(SFPq-6F=X7Ccg^gcF^;7lOtS~&V1I3K}Ylj4v@15;vb9+nLh zif=iiCJ|@$%mEoq)<1tM*m}&I4NG+UUcwH0$I|c3B|Q~kRQI5Lvpt4LbB($rZbOi^ zd$muy>}R;1y-W&>vuo&UR9i4ZKP=OQOo`0nR_)Xbe?~JA_zASb2*m0`DT4xRf2J`R zo`(Ws$GJhDvv-pvyR4lhPyf#?=h@LV%*i>kWX@O0-m8*g_XWmYW(B61AeWyok8Z#o zW1)qqMPwhR6|wg+OFgn&F%1fnRR0jcMPJvjej2HVPS1-_l7kzxT@G@WDp}dT&JGVz z^&13z)zL9RM&n?myO&(Cn`f7}7o~w&oiCE+US(M6q~QJoz|R;`WX8Bm%OkdkMKv}! zH(&A9>?lE|BJq8D2^Kpb)kzIQITKQvNfw_mxzkB#EnA*j2R^q25BC;RR@v3?;kxU3 zvV#8iEB2IH77`(3Umg-3K_=T&+shU|iN0s9M}(e^k3x2wjX{p~)zRzM5T6asKzoIb zTpU4!55cUlJhZ3;MAgpMuDj!U2T{JT^M!)Yv3_i4vXF*-(aGLZVp?V;+W@@w{xgak;#2CdnoNvB7f9SdKjYgNc`@>a85q!1Do!xR>POe zrj9*RVH|9%1i`9ZlRMW8)K(?#Ca;U0dBnMQKH3aXLIpI`wgd|T(tHc zx;5OrBCa)Kv4cjeJIK(bzeuJdz5?D(D_IEgy9@&xtLfFApSpdeM2frvm?IY@0*D_n z#=_{Eu~jUqGAA@PkyUEw#?y)=N;?dsfa4LkA z>53zx4nSy01-KhXf1D0ALyx!@9U}^bIG4tR=q-dkn@N^D^o(f+UZ{<<)w;3son4EM zo6>+Cw*8fk0kaYv#ZlQxrLIJXTg^B&SdAe0b4`)?CJ7!5zFP&8LK+?^bQ?k(lt;Xx z#O+CNAS#f<+R1z_G&`id9Vq8}fN%=tq&$op?{MRnJ@-)8=4S;2qz;OUjsWOW?gP~F z{hGmBBlc7c95tKoJ4t4L)VaXM=__U_)&`8U)i5w_^P1p6NRKF2p20)W*}2M?exFl# zyyz9)42B}8w|d)kN=^~Rf1uZHVcdV?agST}Ai&f1*q;1*h4_9yf?TDlJ52n(XCk#RJiqk$VV1U9lzo{6fobh8BF?1ew>G&LNV1i>6au>M?4bsU2He73p5EIAzJ7W|KoW zhmw>W=%t$g7_HllF7p9qAfX~Q?Wo#;uyOfNL3__l^kW&=iTKwXdNRi@ynj$X7W~_f z49TJOw2atv9Aldk1U;=~^nMY21$yvC1#$-S#3}g?Lm(l{r1VUMmg>!u2{Xms z5Mi;|-qPB$rx^az%Z9fHNg%yhVr#~Wy5kgxzwA1~xR`ttSg}oJvFua&Z1CWVylz(T zch>U3EQ)XUu=wF(TyN&>@kV2Wl9wa!nD2*8ELmEdgPFW=>3}JN>y#KA-J^Wv7RqKE z4L88!Y^@9kD%ujeo^!^2Vu*LMT?4A-DV+A_pOFV%l>#aWUyop~a3c1{cXxA&x{jED zr#Hc88rT@@IZy_mj(z0(h#Tc>b_OOtb22iIlZfj>qN^bZ1^9rXlLuI%45Cu3D-t2i zz>{uy)&m!V;n^f3WLTj>dEADfFD`x;z$IW>XWI0QZp%T{GVs@@ZbrA~ikJ}fg&$q9 zwT;Wk9!{6N?=!ilqSFrRAic2I#@^5sy@X1Ij6@8~M8rAqaE7u3auV_9vuowC(*4nM z@ZYn0u}ulCL;Cjn`YAcuSH`uhL}#{F&O&n@*aPIcUb4hZHMmEM-A@ebDEd?e#)Qd*u~sR194zIX7wT;U`qqyau6mypK?j0NWYV^BECsx7Lsb?QO!=TDA8Sj2 zS;U+N7F##74|99}3TKQKr^(LDI_D(tnCrDVVlvWMSXkO)Zm<%%23jE}g~m_eZ}N-1YIkQea$E(jeIv(~fK2`8mE zD6`kt$U9zbatG9gpq zr zRXwa>?Wfr=D4~8a6`KIVeEe#U*!A~LNnlmwtq2k#*RNL@%pE3wO(AOYCqqt{A@CK1 z-<6@{f;JCIeuJS_rM6T;n6kkdT7knDc+T(DTyQp3N8E2;mhlr@!!INdz0J3#t%5G- z$CY*asCj)jD9K#>MW=X*_`u%OVb~OpYIC~R>F}D(w*jBgum>N9Ydu^MZJ25&-w_AAF`$=z_Rjxlr8LzGw?B8!6B1CilXf$UtyEBqO8^gj#4BwMpA}n$9cd*L5(nCw6Pq^Q&m zF*q62#8qOTyrLyWmi0M!j*)@qrV8hwCbac~C}(LIe_ZD^SA8ETtbf>uPA{ zMm(R_1du;ki~PGo8XD!wE0~&gY5}&5ESr+1_RoyNBKT zSnKjXBV3!Z{R5&!J!9-9TV_M1NFf#{iinMl1jj2daxCRPYoAI+9yx8$$7gpB>k+t} zjzJ{r^$z1E7cZ>t#h~4KkwpasJ^O4|m4A|f4%IIihxsbpT8x&A%DNn!15=}V>dp-N zh2a1({+W#A-Y5LB%r^y+K*ObQI6kfz1aUp^2FW9cJ|ZZDs+-lbjj^AW*)lGl$S|Dp2! zBv=jbFifpUDd_a)O`W}Sd@5w_but@8&4~?wh<*_@|JOcgY1fnUT9aP1xw4kKOzbsx z+iJbPP#Rbm$KRLAKK6AI;1jsV1JI;V zWY=72qO|^M!Zo>BYGZkuWm5OL_$`rl6iq}+8rQKSH zT!S_Uvh*rXvn(-_w=y>uT^3U$WMy<_a~Q7bcXF@P?l_K*#e&ttzoISG3+h+}&HV_% zq$3^*vkJo;1`k3A4<7ZFdVzuz+jstx*xSyKsCtNbNdIj#?Hz`={g8WVFhulVP8*c2 zx`fU953Wg+47nY``(5VQ* zMe->DmBF|-zo35bB)94?l434;+n6YBHmhzwZJXNyadu{@Me&wE_{6czrFD$`hm-{JbSs*%U7T1v&E zc#D0~^jHy5YkP=*=KdDhLdRI(2KE~|?5*GMZ!_#)gvk$mmOSq+YNGSrR+`&y z+)oY@4_Ds_LE6OV(}#^wSwF@=96=n}Ab99P@dl5)jLIHc8_ve;-z+Yu5Ltk(vcO0= zgMuP-XsmDNp3?i_zPr9Zhuxv}tC3tJk&)YWW%3x`Q0*P+ zih|d)+-b-g!i#~OwYH`}fHD#Y6Sd~8ySO}-5zlo(vs=wn6qsLj@Y$RvxmIPOx+Ja2 zFFkP!A{DaAF|qWzwE4sX6_k4Y9cgSlbU#VM>SSxaj>6!8d`noh<>PYm2FDz;B|7)q z^0=SUZI#uBMO+JlDugZ49~262(ji8s>1v^kLP)U%PL!vLdYM#IXrhRZ@gq-pM{N6e z+$2d}T%^*b9~`{%a5H>2=U(P@n4x~&cihbsU7!|q6Jc>MP!rbKQIqMVWb2)Wl=3ZR zxW%WoKC$RJoVIB^h&=-yqfj|OqI=B@5_+8XFesqdz1xc^c@F2hV8`w?8iW|F$%;lm zY{nR?!A7TbD=D@|c^t!E+jb9`wRGo1zn44C2KRQ2P1(9ctkt;m>b;F0vK@`vD~z`& zy3x0uq2GsJOcm=6Z2nyk;odyYGQ7(3Q??oz2FIS!9! zQ$48im@awNb;P2Pt9f5FC zdSM>J2p~kaOZl+R?DTPu)6S=(!|A zs^3N?!OJGv(2+pt4Dd{Z9jNm3+W6@*#BPxVTNCbRSx$VcFl*y{8sFz^?1`D?k}0|Q zFccS?EM*1~YNHbn4Tra^*kbZzgK$Hd5-(>~->u(ap1Gi55_!%H7?COvJb}GqTrs2| z`i#);x&e4-I@4O7TzgkloSxC12P|J5A(t?J*dK!LdrK9B%PoUj~h5;*gK4aN71+zLrYQm3PR*C2F?zQadh zWx41`+Btk#muop!)VnupNPBHG?*b~!B0E!;7OCk@VDDutxeNL*kpRbuBvKgW_3f{c zjK?&GXsgbZZfFaqa;5fY#Tfpy{l17{%Gg5VP9w8q>deIdAE$LUe;rZ*@4=FX#h4y( z1Vjs8M9=?rcuD$+q7t*q`M64{5^>gMED{Bz%RZ!-gP~@a^I9gMUFIGdS#!n{y;3WS zH1f!Wo-P~;@`3i!)vZF$8d0S^eodQ|vr(-;14s5aNkFlmWqJ6F$^l_)?r05uu2kt5 z1x9==`q3gs&TbTaPX>WrKfm8;2s@3SX8h^-twqcy&Q~&}ek;Qs((qIH8AbC2DSaVq zvQtmfG1(Ap07f4L3a>7;9oxKIx8DFh`NOIU{m5{4heg)m9UB;a`nv>|il03o?1UpP zzvMmUKi+9#ytr$01wnvUIy|mr4z*7h4OMqg(yGSW*^t2f*xh&?=J4o zm_VR;5my_-s4>8ZTr2}h%g+)hThfa_b$I|1;_7%#+p~OR>vD2Vdn#n6EgyLHLJGFr z4WUqO*gs|Ks%JS}p!Fw%F2^_Wc&hO(RQIDCzuZ^g>JD-oGT~jT_!XiqVe!?&H?$|{ zjmVWQCao$iCLZ>KW0_NsJ2e+$px$C5$tu`lE}6~eV*0lmmNing}J<3 z7{}seOu@$t5xjPhVUzOhkLLX=RdEp9F%c%gtYB_O$m1<&&8k8P9r=~_ht}$(A$@8p z#r)>3vh!uR;71*zJ)*jxJ2F%Y6atfOCHs)p7k>uMhimaUq8cF1Px1*khi5mDAKT+l zVBMTCJ2Xt?BJCnt_ux5?hHGbI2)_iKDU#ZDMMEuY zO8$n;-dauvgW18&_Y@}Q@~6oZ=?i{q3S^l_R|-~j-)_74XgQke{~#eZ{T&5uFZ9@> z0k}sCPePn$@C6ba{|X8Zv$L@U3pCG)YLH-HWAkRvc7B|Bkn4?-bknf&aSLf+x~tw7 z#U0;~#XS(Wn~On4^K-Hp5j8gQ_rDL8y9-?r%WOE*56ei)3o;`1og5E*Cb$YcRn-v) zUGN<8jFzP7=Gp`` z1MqMp__7+pa;(b@VPepPg6kyo7VG!hwWOt`i0ypD(skvm%^ag&)IM1gU=TkgzP>&) zhH5FvJ*sCHFjY>%lS1mux7D0HvSzszczO-+^wtk8hT?9v7;l;4l%^u(wFsJfytjc+ zQ0K|5a^rSrCF^m|-C#mK=P&wRi|2E)%RI;=%QE~}l%p{B$}YjT3L2VTtj?xs?FPut z>DJnnHRG3=uYWl1a;uW`s0k4LmS*{yP$)#;`H+*k8-lyL&#k9WZSElkk^0q@kYiQab}0dbi{PX zNSF-oR7?mihx+tvlokC+Eb>yD#L3f1|B0$uMUe-y4-qffUixWNp{aeb5RF^t-^w&f zAXYM$7km4mIb$rC9$oD!7$JkG^L1e?26E6zwPhE^fWwn#_y0OZ?$tgTaKCWQ^#4H3 z%B~fUc<861vl6o1eA_~10jtcPN8z-9{gyZG?gQO*v|Xs3sQPJd20y|rOyC-`mt*ua zHLL_<4yaGlv>mnFliL2on12g)DX&oJWy|^_M4CMR{tILG*?E*obFcS6p1*lT*1NYJ z(cS}#lxa&ayBKs=_6>XEiX54V$^5cTAMs5k+7xc3#ABy+>V5YJAUh@cl0VKcW|MlR z?yOcn?q?*IcBX_CHjSb{oP4cbq)30IxV|}P<(^ujHgEux3U(5mM$~bB$6Q7Y=ceK? zrl=%WZaRd3dNB@#lU&VX2{O&^eY-4F%%qd{8I>$t0)TL~VW#CveCR0c-mthpm{#g` zaIh*NGs|lby2R?TxfOIG2S#N0La%vee3bsX{)TLMx{cQ>wWxQbxj#$_djq!3iE@hT z@x*W1kiU7(keZn^d-ag7b8Pg21b%dd@L-AtSpud29byz4Pa*E+k0rI}(+n}bd1}b4 z|1lcT32PP+TywiLJvaML?u{vF!w76=Xf0^1n&nSJ$Al*smK5WdOGfRVjnfXYQvY)o?v~-X8GXI3f6LFVQAqtadtAgjRG8 zhGM9a(7}_w2_LG3TA$71n)?(nrixU~%2#cl{+P~J6cfuSOK6-pX>VI5ulPH$qLmxx z-?Fr}aKvEQ+p(Jt#%j*%mF_t3Mf8{DVPh`{cF|wl;t!*LN+p{0NCdN8RK^v=m6qt8 z{3M(r;`2MlIu?T~kV{UZ0-wHO5V!zUS^X9pOL63LKO|X~tL|!#+z7(M*6c=@624lP ze3%fsbKwQ}rKQIZ<0UOL^Dcjh0Ge{YFJ-OkX+Q1b>v{Tiq%OLI<^!vDEc~B*zI@ER+n^i6 zBob*OuOyx^nJfd%P*LY70KR+tFs==ko{CYq}89;(JVF0$w zhFu6)e&oySL;DH{eLr^%R5DbJeScsht?#E!6&fwO8lW0)WC!HB18w5 zOy{DX6RV$oTUugz%f@x>#lK2uWIlvR!@l5PfIJe_Eq|fAjs41aO3>aaXDUh8L6a|d zwaObXk6>^#L;UfG_{CztG&a&lwNM}Do7`94kcyboo7LDBE_cVGpo$Rb>Y7t%3@?|NUzS>+7(&9`gETJ052tSoQ2#l1u z)ioJ+%w?D^d_z)dF3fUD*Ks^47EOOm)=>KUx#`=JlTjK^^kYU=;8=tj&rB_ahlIdG z^SUVGSJ+$soK7ICl@a47O5`as6bs`T&~e+at&ul=YC~kxx?~=^=uH$`rnLHd63z@y z*_KJ)M3Z=|2yaQzJ6uO`h5<;-s5W{aYf8nSvE$g+w0-`~+dGmodByaTakZ2HE0`%6 z+z!gw<_@KUt}(gXEXKt6%XW#qsFSJeL>!CHe!|bRo~xt(4(%^{Q|x^PiYDgp5v%I7 zvj_p*qP6!w$~e=0BWz)wJ)p z<3bjr=3)ZgNNMjAq3ZPl(tAhcVVrO;XgQT;iLcN%H-Q3$kb{fZpv&+GoE(ty2w*&) z5_g6ayi?cW0L5GV{aTUQG2t?L#Nu6|&XMkD`kdK%dR5A&W?3{;&CFS~>1G(s*0QC^ zgBLlcgrqg9SILZ&V_U1?i@yR3Z_}9S9ETjGk6gIc{ANXufkJbVno>y=EpwpaFO8B5 zFkdw^I})cw>OfIKQe6&`oL z3OS$JSDIi6{2DaK*}s3GTIN}D1#X7O4HZ7fC5) z26d;Pl{)sv*svp&>}JO;)a%>{?iAcHEPjKkYFJDuxs=AQ_*#oAuyzfB*Y?6`=1pf^ zZYj%(L-pC(@skBS#!-SSo}#*OlnnU)e5p6i=_qdxfkJ3HnMvVZxu{+x0YUTZD;NCi zkzohnz=uywPOaJe)h=w0G+?zWTU5YTX?dH+iiDwYGKPyP8+z^oE9RtC=;Q2~JHkzE z6>W4t^d)+Y z<)HtR`Re#lMvVi#@Z5uEU@0nUi$Bm_AT0JsxArfnG-u-H3MQOdw&3{@(YxH`4kb)V zf*^N#vOk{g{r9={tl@s3i3-05J!s@weye9r1;bIP#h=+Lvk}Hkvm`VKnR~Y{EWBrN ze-`;8%@5fm(oTuoNkOt+SB}n5GcX|9?wWeq;c~cAwyXG$cM1`jR)h$wQ4qCHj8)@E zWSL!zY9t>r$^5OyCaY~Q(!-M13$BG^B-|Gms4&+&vr1dz7P&P-4oi;-n?}qUn(WZ% z7Qq_uKT~pp~C-I4s7digXmXS#lORge5iK@qlYHKL|@ zIPIkJkk7R2mx^7B9~+5foWf&E97WII5wRe~Gs0Lo(>s-$%VI-MPf+6Z>5v;EuIk+< zlfqq_ne3o|#gEv|8JURXJ;Rd(;vLM=8poP;WY|2!6DXRMAjJzBnMA!}l;(vzK&p6N z$F<`QL&VFshYwEv_Y7s4kNOGlkuzVkA;LW9f47N7x89+HPavOfh?opWs^RwOCr|0* z9!)ipv{NDrpy#E0xRM3-4R&X85YO6TN&~72OBj?_=bhqKp2XRL)+vU%G~xat-|KCxYdPZ5MwJ-MP}3G4j3klhuB|1s>~b_W~i zGbJVEh(psdj?Ss;roPK2kPV~CrUQ4tR^!aomvDq2RC;~?^I^|FM$SU*dJY9>1s$by zki>T$LnB3_!KhQdbNe5-qaulqSbD?0Pi>O{+m*%I`o#c#|>P{R2f9Y91sOu#DL zd`M>nF>cBj95^IT;TQkiq6NY(xS9H}+yxE}k^IfST|*z-^$lXxjqrG$Xj^<$ntp0` zJh9B;t1oX`>zdf>`4DIBC=aK$A9x*uU4A`060v#xSJTAQyF}3%YVFsHI9>h6(ik<) zt%Jqo(xBB>XT*-^b@x&AQGvgu3=AN2F?OOocnw;zHXqeQPs0Jmve7mX3}bNZK#RN> znP(n81)(C1bncnso>xmGpA-jvz1@wvw``%F*y$-bMA&lTZfC-{Dz@ub%)8sQ@>?7J zgZRo{yRtLJ8S`&J%{w(R#x621(U!&D+$ov>%s>y7_)QBFp&@K&^4#D7;udTW;dNR+RQ7=~I z5t`50qxv4ln_(qamS(idfs-GEiRp#}nd1#$jgJvXGXuNz)lJx*I=~Qr3gez@g6#Xe7~HG6hi$GAR^H zaAV0lSGV46(D290_zaXFT_)kb-UsFIC(tTjq+)kuVr-QEhGw6pQ^YWV;(uc#(S~Qp zUsQ#vrIuJe%jyiD3nN{j0zq_&7nNoKb-i?oJ}Ny#bv8PPD5AkH(UGR3MEOBHMQXXO z&qiun2x2Z#X3(GN&)yZT)C%O^+`l#Lcrd6oVl)lLT&h$QT0x(_1!W>9pJj*)n|57n zFfc591)^4aGqVc$i^gj~oJ%;6vIR>;psdQ*?@N(R`9v8~E1oy6upN{0#A;+Ntq#ua z!LOYLyr~tn&;!o_{4_t^uU!k0XIf6_qp!0vM++;f@CB)Rg9tx@c#BIJ-@sW$TT*3^ zL73HE^P0?$Lq(=1R@yW#`l!s4POIIImq!fgSj2vUSu=;}g?cJqMzr8eD0~}n%#mD# zr4eIS*RT`}1U*Njk7hh3l&_;ki7d`xx^HW#9pP2Oug5!M|B9JO!}#BBQFe!9}Xj)^)2WVk~Jb zkC>JkW!}w~;+_gpxVkwvQk88S^#U6Qm2_g5UDhF!j+nMj0A)i6!WwF>uG?AO1SP1P zjLSNQmr5GHwJzbwbJ{h%NYY4Y-!*Iwa1c`DW3qo19^lnoQ%g0G?=~tMVr-D5F7Z^D zdJ6@b0=edw?xQ*R6wd_b&cSTvJ-y@AK6FhgBw_4jpx98TJUP!zde+t` z(WC+CG94a*tDlM^F}SYtfWxILj<*OVIN!>lWWH%Jjj_mi4g}SD+JGWIi7C)}{pLtO zOriLRW|ba%L`@ChHmuI{(LR#0ufW$-a=1Z(%Mzz5L0ScjJJkc9B~N5_$Mk>QIQ&4NS0n2qO`Wl$1OBP26aQYGNavl zk%);TlITP36w-|bs!D$FJY>$%M+SkJEJf>&pt-=uv3F>D9KaQ+zDfu6B+Sla(e1Sp z@iKIiG(SqE_fEzQo?XH`uA{O+WyBT^A2tmDqms>uZ}_Bmsx2!6yQD4E~#f}fjbN`*te8>R|&aHCrkRR4bLZ((9DB+L!u^mu77946i=7fxQY$e zN05Xr&=>Vzbf}WY6A>iq;f^B8SFsOUal>ECwDDl|Up!#h)BNI^;`1&tQz7Jd&j1g{ zf!k0zKaTjA@5eK-Tf0twD6{&$$dig^Ct3BpShgKxU8B87;> zvzwsn)P|@c!Vq=Vv28pLjCR_w+toKpul8C(0>sCo?&;p#cM?usDc!3TC0|6sK|=eJ z65Vn+?m)FuwIoNE9Bv^`YBA(ha^w~GG$?pk8q(q;RTlMiApPvZYB#1*e>}W9VO6S_&GZNn0an>)HMU^-05!%?Y5D`| z9%0C{@iyTNKKR3p_G4J(=nPwA+OKerA7X&hpZ6P~fbMqV#LzR2@P{iJn5wdQ&Ehw~ zJALVKxcdmG0+{I)-xI#8QLFiZ5VM1PMTGx0N&Fk>2cRo+{kDTWW2Op1Cor?p02Wx* z5ieO2!cktpmw+x~0ZHxib(N=yB~%+NlVyd^U05nTN$G239JQ25DE~WNSQDDvvI0S5 z>YUr{{K&e6z7b-LO|D^!DuPD@Tq8~Iz=ea_XDWFGqaw5+lkLnPbhFNv(Es^!$BswG8Vof7fYXz?Qsq4}S%I^ibSS}`)tU+aXE#ey5y z%&;1?Y-loWVO$mYRYSYZ|F zB}C*8uXo;uy16!=6d)Zgfqx1SVuc8dUna8PjHJGY(fh^Fcbf)6#?LGCg5$7{;*0@C@=MEQ^LuyhE}nS^F!Xjt z(P$0L`h_V7BR`{V$^gQ@&P-oRGA|F$U+Jfc%|V%E9a=!2L6MMv=o&a@5NL(06(+ZN zyREcct!LHd7~6p%G%oY}uny67^bs3q%RY$8YPierPE7W-*F6|bJhsC@&f;?ngmyR*%a&4}|{us5y7>xfS3`T5H+dd3MZGD@n)yQiTz*F8GZD=8q zsCRer$zW7Cu$FieFVljM!%6%YvJ~+DsH@Xfqv8NFTm#i^L3sbCxt>2m$)4 zH&x$5VUQ37(EB_TT~}3hD}ZAA-cs%LHs+*X7Ba(|0YgKDpcqEyl>r6R>*d)CZHG3* zb~rm6-SK0(pdKFw(1I!xkX;RC`SKB#6Y!0Qi>>P%m(t_t=dr=u_I}ZzbB}-pY!E8uq)K%&;?t)J}g!@Xoi`j z#!-ytY9X*nYiBxCYypjiwr7Yy(Oy$(w4)2@eDHBTSbxL%3Si&nWBJTSaYK;Bh2`H2 zHMcWY0GGHE3zFY*jnxmy%;@=-!)=!GM9Uq|GUZ*S8#d-H`1IolSXN5Rqg#E2!*tW= zFI319B^Xl&07&Dr>v^bye#VRtcI-PmjuD!_)spjfTOH?Uq9c$~AJvzw7&A8VkAO_I>RPXLahsyeCzU&Vss!r0L>?ivYe8&fb! z^@m|G7iPEWR{e7jRKRm2tMq9u_^U2t6j|^Tucor?tHT~mOnwz5gphDGgEipPO+e=6 zCTn{(nv_klf4tY5WUCm<=Qa;KTw##~b6@j`+JC7n>qewS?HA}feYmThT<26Za~$9` zBh=TBq^ zHuRm~D`~7%8{7R?DqL&`W>p=Q=TwiLIJoG`x+9{Pc#?%%>uRjYBDvK`odr3O!hKr_ zy(pb;^kBT-u}$lCJ<)c)Dh-qSru^hE`yk$=XlyucGZgDEo|tssI9quAXaHpS>ZATO zsOAjEBw4&@wF1VFgxj=BV7;=Y!@!4BLILEC-!8B?u89fB?nu*Z;@ds3epnTh-#_cJ_7M1`xXf)Y>Im&uq z?uv~-xdaHJDqzF8`<+Np&1lQytU=E0yqP7MADrNNS;wSyZx?0BELwDFT%VheppxMc zPv$G2HI)tX$V}zh*k`Gh7^~CP9JL5TxT2MFd#+J<(m)w@eT(fjAh(wcmS}0kY*t*O z2V*piT-FX`015S4w$np}DB!Mpd^A9vj?xhbHZ9w9()DT{=(#YPyOirFI4)P5`>Cc( zV=xUfp#YtN&P$_n2g`R8gBQ#dM~2^D`a^20}xsG;&?$@Ryq z{O3hz4F`ZhCoPs|58>Zw2Y=qeI0GYVN?#h|qv`3AS-al{QH1e%wR`AevDrZm)SqzF z{QO`IEJ@rcS7005#({Rs_pI77%rcxK0qJR>L|-{&gI=iVE}D}rma)KUeB-_l$7BW3 z;lEwB+LLb_^uF`&Jc3!=KK*^#2($2q(BZ+Kz znal3mOZ{bmwH6tPp_gT0g+4mbt0)=DjSv5joKg#VOpX_Mf+&}+@MikiXCx{n&t`_i zLzfuWGNqCqZ5t#Rj*$drsM<6_%0?jc@|Ex3hk%YB_FTXU5`raduBER43sZU8pt#{3 zOC%eHsVcnk+gwX7)_<~XCB>->EwN$;V#2*Uz)K@MTSc5s%dq7UU*#O04L7^lCA%f= zH>G$WU-rxkWr>M$?d}UNIF1cH0tJ@CQ5-eDx#VSAa2+d!AKsm!t3~XV7KcTg=i+@w z`x#zQE(=O24N>-hi=Pt;64Z)D^5>l*04(I)f}HHq6lf8;&Fw;x+=y~>Qs+Z)_P&gI zyVB@{0}r2eoz%=;5Y?+n&^J>Sfrp2GM40$D*o^mdnpJ&{TOlTXk}T@W>Y57)v7wvQ z?Zzo(jfsS-7=bk4bDGmR+ve+ejD^=LYeHJtL4?^V>4$1^&Cqh7Q&QmKo0g0;v23#2 z71yuo$L(n`2l3uoKKw3>FB!90CYKA)b})MioPBhh+m_rd>>Jc0Eo(VO+vI`BRL{v1}N|IFuc ztSs2ar#eLaQB$=8#tK&Q7RDZ_1BUty%Xe=j6nGA%A4jHyCfQp*nU1n)Ghsnb!#L84 zBp}STzdG_h#o?aI8tCsW0{%M`vJ_AYfZ;nD{I~I)kEJ#KnYo{4bwI%&K{5(!IDQHf z@E|u+ylh26VJYj+-ay72BGUsL<=*_ zzFVzxYb(KhT%37X1fD8?{J>W41T%$Z0?e^#{TE=d&V(FQuNBlvTz}5#RW0EiZi`O3 z+dh9q8m~QBTuus(AUcKfHv6jNbA0;@*eu*Rw8I_rwlTf{6>X z>R9CEca*Cb+CCcW*j=5;K`^BJE|<)-Xw#Wu{v8Q8`3V;-RsyT$wj9b15fB2=^qi^F z#?X@CN3KPP18W$sS*h33;`kgNOyvEh<;=xlRIe-x()t$ zMr5tw#tD_5Di_HRwsh%>eWf8mLY=jmzh&GOmsr-PYPVP^*FM4B4$#N8n=t`$GIG0J z9llhXzj0FR`-mJcn9~**bABEHub(pth;UC`?BF`eNejUKwQa8ua|6&pb8?vjnrGNQ zFUn(*&^Y_3uZuDJOj4eIQ&8ZDLM~NI22FU>NEGE)r)S88_t-@{pAxuMgVIQgSYQ3b z@jM2+`kmjAnbW?N&ZvkDHu(0-G`F|^w@%X47yOfv4CrkFo$0AO0nc&h^b0o+C6P4LDXH2Aza&4lV{M2?A)E@Tz0Zje z?I5h}!;1e%6LR^}Qq}?CFtlA1ez=;DhH<0B0Yh1@t)8zNloLT(u7lxf7uFrs-Xv?^ zi7n@hH{O9kP6q}@GZ}iCq&ncLtmPKa^iJJ9$t1gb%q|c-gh>HdcQ}oxc}ZsVibs_I zK>5up!lf}4Um-wS>U%Q2>2#f@G(teSG_33WA8U8fpZXE^ z8UjqM9}`G5if%}<19{M#%$0d}1jBNfeh6P_wG6pZ$&^01rp7Cur(sn5#8bMaL*+38 zyCTlFdOR>A0ywrizylfQBVsvb2m~lhY*CekEIyd_(YSt0K7iihY;4p4;Rl}_>X19! z-S45tv;?6ZH-e?zKDN66`qjEyAg8R|1EnLEG9g)7f5SMV+K@cO*N zjKVSQ4y{Uj`tqdWZbLN0+hH4UiM3_B(84^(xLr5Pt^&z55V)~yKkk&S;CKBzS?>-O z5l}e?#^Wo!!jN0^S`%gU6^%O7tdtI6zSor|1CIX#C(4_QhUGJJq>YxD7@O9wE+XH{ z*^6aLdg5F0ji(vy{=o3#p*t})1*FN80y=3Ph|D~9)&j(6F*s?%(iGUAg+WXDOD18O z=|$IJwDbIf?uXwZ7TX6vc>5OO6#w^94X#{<+6uEVh^6E!Npc@&wowlPG_Zgi_(E0YY;{ogT!Rc0gOW7pW@4 zOCXx3`b?9m9G1-l_g%oqnJ-|M=;{*+FmD0aliE`~5}u6BQ7|DIb=IxbJXVL>-d*U! zv#L-8*tOMxL57sSc!)Z8)gfV-*8~4XZSqiKyJ{vVZU%j3&oDv5?pC4?vz4>nDagJ+ zSS@BJJ=*(+GdG-!Q6IWbWYVtyZ03~$q}CjgKh8ASj6I7ajb#&(96#nB41g1JLg8eR ztQMI9sRJ?VM~Jk^0_(S2kVOuwboA{RIqr7FiNIuLftg6%oqb-al5d}n?#Wjj_Y+*1 zf{NHO#EbxA61^bDfYV~cKb!K857qIv(CRb=Swx~6n)7!R1a9(+74z-qeVIIR`8_$B zJfSiPcoc|V9VUN!5|M!d9527wz}Tvk{`>n1Fq+>##7$>@oQ}2Y;xNFL<+!C(^#bNR z(iu>DT&#@P?!}VHQWk^HYV22r9}091&VgrnuuSY{Wm=S&>g5dpEqk9A9@()bI${L& zHl$vGL(oZqi4``cEf$E)GFQ1Zt6A;|`*|6#u|4fkWpk22Pt1S>S&VR{ULx7vehV_9 z8|sL(T$ZNQ1<{Q|vW_S>f@V*umCFnT<5QmA*fKJF9wt?shJad z=O**bUgNd3DBx*Iv1~oWIK7QcIMB(Wt0-5Xn~}?>?`e*1E31j7{RVtMdHy_y!Jwo; zf9PYCYnSIC@?q10_|Vj>Ub#79Kc?>ij1)uj{ObcXep33F1d%rnV>FA(^4eoCWx_O= zQYQ3678lu;=<1xihhyLS`iY$q3i86KSu%rj=0Y%E2A;r7i^FEho2c=Y>q!!@=HAX5 zCNBvEks=v5^jtxSjW}I_3e_j<3ZhS-h>AbPn(LHT)`jHpMQ1HvLP?C0fl6Yd$weGo zQ$8HOXm(S0jbI6WeOUBEd!ib_pcCLM1>ljTHrJD5i~NJolY@KuO0J;c6)rO_GtzxSC_S_Gj1`ah2o%@UQ+#YE#h+hvt(E{|?()Mk0l5bho z9=gOY9`B&(s9V=oZ8BSU<#Bi_fUu+FGs|0%{ANgioVYE!l+npqcWy74NvoMAB3o;SlrhpuqX`G8mNS zXgY&MeA0kn0DzV`iEX^L|Ax9Rus{UH=>g<#7nbP?t_p%$|0>@Wu3J1W@OSxq zHU#E2IC(j)^CF>Q`9DRCS}%%j6uQ?EOLtaYt_8 z3XcgcqSS>e=kBNZbP5Q595`ToVLK`$ z_#!p_49_vbnWG!EWwfE+MEQN{r^3f8a-NV1JjHsF8K5k70xqn!bppd^={1HV)&if$ zM6rSTS(R!_dSpUO@M8oT2YNT~r_f3e5~=%?4+~W$TS%}q&Pe5Z2Me-3{iQ|5xk3SM=+%@nO_5Xl-vi-l{p7g8? z|Lfgi#Ajq;VrBl{<^QeWVq|9FVEO-rdwQD4V{5ju+}_F_p>C73gSfeo@w46D(hlhS z57!gw_7)z$9i**a?6%wEZFc$V3k76mv(q!j$JGr@K7pcwF)}?sdYVLl-%M1M6qVOM zyStKMJ|ZPV0om9JRNu(Z;DA5B5YdU5&9xO2a3m&Y<^y1RRuw=*>FkYL3;+uXiVg^c ze-hjL_WhO_INcrKcqS)ih5LF&1F(7250E52iK!@}VX12i+uQ<%xy(xr0eHiUT~kYw zViZ#!ni+VUeu4=QncwzK)CzzG{C_Z&jIAvI{{N9e zPc;EtR3K1P{F5UKI}<5!mb?s9(7e3jkN)ftlvI?`J^|p-6y%ct(yhD!#4D;Qe?BTq zVZG1nJ^=IcUvK}G&Uo(SI=h22!!uhG|4}{VodM{Bv}ba0YW!Jz>1~(qWdQz`zUEpU zfH!_s0s5~_ZfxYnWo*pM#7r!XOk_YDn@-v6GP+gkmm(bMub zxpCywO#i9u&qV+nSIf)<$e#Ko5)1q}ZuUrhYG`^IJ1Ib0?X_H=fvdbWCMu$ZS3~V%$Wa*%wyx99-hCKg?;zw#Qtra z?k$T5+|5bPtxk=t-}K2%qn{rhf56%NK3QZ1`pd4$&dUB(n#0!Dx3c^V?Ox1fXaN5; zPDGJ=Cnn3Q7$tk*apMX4bm7lA$b!M4D_AA>%B(iMfU%ugT2oto0VPG9m{fuTLg9sVJG+6umJ znOfXJ>jS290Zi}6)TIA0e_F}@rfdAA?}6MuG=gmaQ%Bq6O#4*ROz+{rcV|cI%mB{D z(w_3_{yBe>3F@DKrfXzz_Qkz_u?W0ZeUjyafcJmVJ#i)Zb^V^*Tl{qvI^Vr5LH}!h z0Z7l#!l$S5&)yRYc>SA$`Kr@Rq-|}59CbZy{wp~11H;(T*z)`qTlW(&&-^2h{PH{2 z z$L`tuGN}3O@xOh8zbTX7+J3(UpR^x14S**y5*Gy&nb5!Nls-dZ|5AJ=t9%mwm?S9u z>vQw#fc{5b0PE~*0J_yT3RWh!KPy3iX=(oWCojnU-H{D2eLzRycc)10Yyi^)zS94} zdN%#nvd8MDeq}oZq>uWeJ2VBMm->lW-=p}AaR;1^{EKo|2bh-hD|!=O=|ceX*SPUR zxbxyW>Ra$aS^5*nzT1%zXuVVX-5Q*H)Lp;EyU$7Z;KRrA-#D}z|HZX7_=0=mf}8T| zcOz8&^S`T9{{!x2`!l=cV(RK6xbnL2n>X}11N;Q@J~Q}(d*2;@z`O5BSmN97`kno6 zdtm!FaPN}+4_0Fj+v7Xb@7Xf>k4B2$4Nz*|*twss(C=X7Y%D&OlZ;i<+uEF8@HiG1 zmuA;hW4E61s@vDsTA$z2UmU2i-(9|+aa3gBb`Ls7yE;I$^&Qy6fB9D{X|-MJdYvFC}+)yKT8$W!%< zdTcBD?UebyoZzXYoc&q5ICY1GQ6EC8XD3mR0(K)t`q!SFbg%sd5kWcSmnN?FSD9cm z)+a(9g717t1?}^fZ)9436)M%oB3_oG<%AY3 z2uL)o+493S?mk$NX(s|g!D+n@2?nmgUM}z(9;c`D2Xyic1OnCz@aAuR`#Yh99gt#^ zS3Fp}+tNOHTenC~?EGQ((GF0QPH$SMKVNt!*&N&OJ23-eprQxQ>ts=%Dt{6ga#+IG zCP6ZvNLY#eTKt%pwL`h9+Eu2KC0soC4B6bY`Z@uxpPeR6^IsdO{F+?)#r_qC>T5p~9^bdV~%mn8~99!)+Wf9pq= zu3L0)Of&U%Qd>_>nuM^MPFDBzgj_v**cpc$D4tUd!=Lkfi~o4u})M`olXrjyM0qKf-Fp7k7aiiLO@- zUDnecI5Zv)%fDAe07&W~g9G0t%FAjMsiZpu7WhA*XUDq7Re>;muY|g!MvB49+`Q?x zP^Bwe4}o^d)TfsinCmir2+;Sc9iJo^UI{|qX9TVch>^0wK38#V6uoLHE^mOfWLM9+D4WcIQ9m4U|#ZzUIuf;wDW{5Zd2HL>Jf7)4$}0K zZIirwY*30{sX3kvON0bL5CL5q1XqXKK%YRp#ssuJc+(AhyInDCb`4-atA)a6Ht67b zuVlWUX%3VG4a%xrAdEIK!YZ|A>j%nX{vZN=Ej|TSf3(`HLA~!mORAoCI9-vXQN10Bg#b$mTJ8;?Zy?gg{{$lBrHv8`Fa#>thZFzzE6qtaN zQ2~tP&x6=WWodgwCz_jP5{yXff?F@S3niHS_k79Y$jD&=aBysV6gIB|#gy8!_DfCS zpyapZgPB6N-zO=58l=~!4GX$=EOCugO)k6c&?NCWg{pIacwxb8F>i$W=tmL4VGvu# zznvr>a=61=jcB#cqDJq^QCZj8?7tn(x*XC>Ru^ZxOKtc24Di5N+0vdBaLR>2v3_D@ zy54nJ?3S@abHS^^pv3*QjZ@6g2P?DGHex*WbRZD(>?>Bi4R@AmM6G(D9K@95vM$vB zG+vI#JqU?2h6pmzI;!leu1DBFozJ59q}7@G=z9D;gcW=6w;T`R)m;J|`kgGuX<*E>5S%=7(e7#ScvpEl=5@ zU~(2h$5P#`7-weowtz0lt45eqE`pLhq3o5~qCM#5(p=C@1SF|mD65!OzfzQD~BK@1UmLCPK;0%Jju3s_m= z-3lL6$I-)zF4FTP%nV6<5enO^xih7SqGCJ<&ug`4>Z+DF|2T$MyJZ-KseGO4j%g`V z{NzpJp0o#@>}xr|HYZ;(t)yLfK3uh0C2)_QM!Ir%^3$>y9N7o9w6pb1gsiWm7c!~g ziPo{*Ex?C_TtGJ$!{wcJSIqsF3!(K)&b_ZGXYPzfBeH5f9v9 z+a_jX$Q>n>m{-LtYPYh1;nYr7KX3F`M*f%eUx|6^Cg;aKhD`2fMNU@6z9z0po{g4Xn zo2HDmn};~S@I{lDs4f|LTjW_E`ydWZhTxf$(2=q+tx`+p#e+aX7Z*v;9wo$O4<!JKGN8vVXJ>O-%nuCZHZUfZ8%cIQ#>PF zS_kEdBL`G2K}7eHvp`Hw0POoH#X8c7@H+ie12VBeZ5OpDc`9B^vxbdmVa=FXWByPf zw7y0Q_@jy1D~igVJ<_1*M0SS?J!>F_FWNQAE7-OkT)EP5mw!W(v3_AuT(6Q z%6UF2$_!j_1k)*&(}^6%352nGU?*a?#~R3D#`Om7k@(Vw>O$|b_PzI4R7dVKLts>M zE%h>$Apt7kbb!{Qu-i<+9pfx-U){Ast$KFU38mpvNwSL4Wo(?1hYsl}l*$?;SwsyS zsgj;e75vdAbh%%R77LDbhR`}YKQ$a=04D?HSNe+n+RLS1ep$6uqkNm^c-`DFc!W*x z5aT(viFZr}9Fg2(;z%~_ZA$7HNj0=)UkO7GS@YL2BVfGZeEl3@>4d1$vbB4Y0b>W` z;r6pQk?AY~Jh14$GinDVxa#GGNP!iL$A`tGE{Vsvg$0G6sz(}u-X3y_Mu`TC)txU3 zDH2U$Q}&9uoxM*nHZh8Yg*z2$lmZAD;W)4is`Pr3DQ8KDf=g2+Lilq=ga_TbTh{fR zudBUGyNO?yKWmkrN=2D`%BSiMO=u9g`$R>iH?YMoASE1^Jcs>BR9XdXwn&L4vQgk5 zpK|Ht*SPdT@fy*@l9}@eSCtu4Rwf^YX+{Md`}lDTaN4wW_4Mfpd};?#%T;4=N35aG z_G^pJK(D(OmLct2WBBq6nSF6^gNFtt`Q1}*zGZC_$M~69iDs%n_Uxc zMnAfSA_R}J{;kW+&H-0`BNfX~tzV=53BlZ9e#MHXsW1XP^%mmy1mj8ebaS`_R{)D=1Qs*mc$5#JXoSEJ<5XIj>)fi%(+k)}& zEET@gr3R41|Mc|TZfy68&gu8K7wBePdNbIw&~LcNRW@?ci?|!pevy00R#5ORg{hTJv6%NkRIz0@r-SF^ zm2pqum$jqLn(4JpQ^A6EzXBCizLZO5`zJkp-SlJ10s@hO?Q9``4hs-d$7UB&&Df@s z-FF1#@(~WBJnd<54-+2(d)jD$Hs+Tt0x>J2k2X;|Lpci?7SA@@+~rKQh(*pf(kj|^ z>Y#7RJr1}_i*r)rMDUwhW*=(UOqk%ByEj(6xiM#FT}V3CY~&M_f?aaf#^g3@?^2gP zSE+>N9p~$7K!X>4&G<49 z4Xefi5>2G=XXrPU&ZE>dtE@vqQ;gy=MZ};{bKSD(y*VQ?>H%bpYa1^bgZq1jrghp2 zA@9+(^Q=l=x24PyqYF9JuOmSrLVDnPEp1Z<)dQ{-kOXe=bG=0rtW7)W9LV5y$moLE z3I3mKTcH(v%8Tx;nX(>6NjyTJpObC+)6pkvGVwT-(^-D z`e?0aCLz{!6ancAcOJv)dU4Y1db=a4q7#?E+^y2AN7AdeGI{A)e#c0)Md5! z^l+C|*ow@N<`*uo4hh17)shOsOj5p_z+))Q%Dk8eTT?GLK$w~BPb+YTbvP1^EUza% zb^l!>&vnZmS0XjI@)pPFG|kH)K}8w2V<5S`dW1uk;Df!e%z~69T!+ESwRXR_-6J+( zmk=Fo$%bm0@t}tKR@`$oIq^hWro5qoUbz^2TzRkQ|2@&Y?Jy1~SS=XOU%}&n5=Q68 zE+&2pX?zt?@4rX#InDN}!u-Q)=dRUYgm)XdO?5MU%}E$69w#Te)iU;t7liTjPebX3 z&r@Igr0_Tzs{KB-o@Xo7v!49);hz=ut5&zpQ6yzk!qWJ-#x0C$|BP|S*_<_M>_O3Z zvtha6j=vcEHIvz<*N!n)yoqXC#)UsHH4aGF=kakAX_44$!YM^v@|+6_UVwWBzu~;- zt`zQreu6ktej|!20lKC11Bh#C;c@ov|k8W%Xoko zvsn_&8`a7#x=+3FsQoRu^PN?jFlO%00EO{)lrAPr zgNp>^g0X491)OW$VB&D~I}{JYN}~IDN#eCzcS$Ek z=!s+rnk>~1re1F_xn?(8GSIk0XXxrVd!Z4!!!{K;>G0<&Q!5)qK(PkF9XHy2DOjSu zDyRwd_z6KUQF!9AaV?$8wG{vT15F-jY>!GM#|pED`UGVPN+}9Emsk$;@HuBV=v`xs zQ4_=;V?OZ?lAkx&^h1pg>XpUm-mnw)W}+VJueXDl*KQ(N)w80EJ>WFeyg_62Iv&Q5 zmXlKR5S|xC%rE=lPj*x!HLm=mzg-ZFrE*+qCUWeWK%YGFhXk|s4(ra+PXJq3D#((y zF-P7^aO2?6W-dpD4VF9CH4#K2J?jjMOYw~vU>vdePjT^B$LwILS=_!sB#O&RJbLH` zzs@e&GL_350(U#{fdHeQGT!$$Ap!0p@i`?&$8kfytS1*x`h^Ms60Pl3yzP}Ybiea zQlJVkYt!;U>My<_fiYNMdL7qTN|_jtfgTQJ!%e+mx0wLAbL+fjkT8F z;4?Q%&ue9s5{{mZnX|TkJLk}Db*0FW))p<&+Y8$+hEBSrJA6}L zN}&~xYdT_pl=wOK%@+)wj9z7q57BG+V;P zE;ls-?IJQ1#Y&fXn=~M3tPfo6Nzn<|GU^Z`rSsKK77+A%6LJ;NTTbMrXuDEM9eJ?; z-KVOY28vT{R}fv|A7oA}u+h1c0>))EC6`ve4iE9W|GFtmpJ+#ftQsiH$JSe6E1Gq| zJH^Ks%a`{Jv*Tm({gj<80_Dm)lbNSt$20RNAK}&QMQL2267J^H=rT=EiquUHEV5Yz zjC8lYC6Y{@tJ{oci8&wJd>9Q+i<*l*W2={4o+*xRA~E7luNKt~wWFg0@^>^);5eU8 zV&wloafe>N;hA!Yk4q#Z+|o| zZ=hMKI7qBjIw9jZFxqz11|g;HhvLSiS~#$XyqtS!Z(Rx}LP3F`QG8|z;fSH@Jhq@N zwvl^x!`L)YfH;4!P8RJU!U?YCkAzhZ!!3sy6k>h!P93(GYB(Mz1#7}yTP03@N|7|R z@XG@jtUkw}WR|UssH}9(gXXY1@YVHU%#cG(y%)~)NVbmG?lqh|GbX*k9384+GnFKz z6iS4p$XV*M@UaLFEQ&1BW*lr?WD}`}UxTT|zl+Jx6P82lO0069ScjYSumy&_%HniH zLImbUjstB|W#u8ihD4$*;!!RcUA34xo^pxGN4f-52+__SP_gxCb1I!6-^$+*wfYrS zP7=4{JkjO5A@hh6NZWdGe2Z@*E$k=Hq>kDrK-Amoxs?k({$n2}!ga^@(mxp$5E!;#}KF2JZx8 z!dq>v>|wyInR0P8Gw-e5VkSG<+Md`qcI-G@BUzmfj`%zxCL6*{lm#W!`UZvev7brF z^p{8Ph2^A}&I*@XGjvA)mLiixi1eET%>8%XJ4EaXGJp2VJj~be`-~fvl0o(_a3>qN zH2suOHYG;ltxZ!E&t&xVy8ewMCnDA&TdJJg^#UGZA(fPrOe2m{rLtR64i$A6oL8Tx zY|>zrg*L?+SiogWirQt+o>%&3ts5j7Ay|oCrkmmanA-!VDz&`0+%lGHYva8WiUDM zi1Em$UuJ~pTv3stHmT#Iia!cn1D;$JS!H@{YMqe?GdNUbuoW1fz{PHtb3nF=K#j9? z;YWTBSFb|7Hd*47GMyncvJ9ioYcG3PuJ`blO`3g>-Ds%36LEr&sYmA)iu#}L%U7ub zs_=Ia@QZu!@DgO(}lTHc`W2;kOxlyPVtZ5_2uPWT{)&mOpAUYYAZ ztvB>Eldeq3*X;`OakQPc!>VJUB6N6*!`Y0$#RT8`Ab!33DskTM)+`X-q1&74_Vqf> zw~O`F&tezx8x^m}a{jt*tpeGoxqK?T*7^9ORHKn_v-^5cyoRVbrtU3V!&tcx_}4K1 zpY6TW%;kAZ@*T5qS2FoW;&-EnrPft4$b39ZD;bk>)x&cyxFkqXyV?c_9!To9I?_y$YO z95ewAr`h|B8SsIGGi2AsdF{O05kqC^h3rW4qcP>WvfZ`M zfyi>XnphK_u` zfhpD9=lBtMxw%<;w~e`Csw)r(TPhA7i0w^n9~H=JMF$(J2*!Nl=z=UZJ`sXy-3J$2 z9!jgeU!!g4hM}}cWKTeq)e4F@U-{|u)~R+)S-YR3)J?d8cM6+8KsO*xNMdrB)`L3F zYMPg;(y2z6S->!f_u%@Pexg=4}^=clt5tGm~5E{A(Y zd^95||Gm}|_|qfLE|QOpL(4zv8}j*u0E_E;0 zbx?%~%NdxF*a`R3DeHvA** z&ry2;-!Jf zu1vm2tlDvrL8a5ykhl-N7=C9UYHi}zk5cU?g>RXW@WFYabfllNGfU{?v|q7Ji#4rp2qw3e=O~sI5g}XVFHTO3KW8;GMe7}!mT?XhdcQ2u z;PpEawnUqq<5t@Oth$)c+6DF%R(002B9kPw*oG-H(JQ1l-K{N1rQPauI8(hFQW=zi zVXk-0IqQ$g2p1C+6S^8&;7afUQncpj^uW!Fwfu2f~(@b#x%U( z`=ie!Gyvs-00oCm7k4Uptxo4wc3x%Xl>rGCk9Ss(%#&U}QTs->DXM(8}SGBR^ z+>E;M7MBkkI8fbULg62jLMo<<EJZ(qbdl%V;CXelj@MW^-oBQQTz$m+ zU41|;8X~PKxKR!h%7pl=hwL7!Is4S0xjHvRRU9e)i<`I{1*#;(5ZPLT{2;&Iq5f2J zVRb`}_)g`^+()<^2vKfDq?wyf9TNV6oXK#}$KAEurthm>U1d3hhQt3cT0J*W2Y5pGcqn zCCvu;4jf9xFNZJri!~*wInSpaTIe6&jVRH8G;Ik^b@h}3Wfp!KU+R(JFPe}@%Raz? ztEOn=wTC9XjXjd?!>Be~c&0OGLA9ld3~UL{%OT-X?=P+v*e)zsKx2dHF%kOuYPzxx zb)WJ2X?HasT+7HINUau|?U~uc!CPdnw<>y0)TL36RZt~NMO7i`@MF-JAe47~6%74y zMpzv<<0>GNWxH*R1M?VTn=qn9xs8G>z1qV!T7wZz-?dH2zUBR>19o`e($1lv2$$_E zsl-4&EwsTSz!MD zY$HNba2lU{7$nX6;UokrVT{B86R?A;@G{Tr*l_D!qR^j3bRnd6z+=QH-4%2};fJ8P{milC^KEyXsdUR|bC)_02eB zdjg)mFwc1eH#NvCWNs_>v=YnKOqxIXO~dz@?tJaj0KgU7I5Qf% zuO)9cYC5$t)FOCU7nE`PmbHxhlzI(degd?tdtX;WytdFz+-h<#xYh1ms9-nUhU@k6 zzuwQdZeAy3f41RGP6aI&InZP-W|hMz!8&tTW?-`vW4fzlt%#AAdc8gtl94cGq=J=O zCrL9<(qFC{;tVUJMBn~=YOv-+R^4vrLG^!s=TM$MgC^Awdo_`2VjFe>L45T+mHd`1 zbfZqKc#T98W~0}30cM$q(DAr`Jgv;>xb``FObGNA+c5mOn8nW9TS$eU{&cZN2O-E} z{$$v0T=Vj|*YLc$vsh^pUQ*&}VkteY;}$RJf+2O_#zl~dkT-l9z*n;>8Nr6USRF(b zMgYHfTD5pB5@|7~Z!P@wS=niqCXOr-cF;cWQ~)ecmC%_*Yp0U+$;^g7_Xh$B%^h?P zn7aLw6fEjcc95wgceim&+@2vk$Be*8V_R)8!_C}uUl4r5OUr*+21t0f=L@6FCi1Etv@qq5qwWhR{TzEFI;rRSw;AD@LJ99 zN)pDLL@VqyCXiLHkDwTLAZfP6vYQx_UH3_y$g}j0nrr06^dr=BinQ^vQ#)$uYrh8CX~*xBeS?c8d#8y^X?gw}x{zjx)Y%>^t228B9UocyqVY z{puv5Yl{MmAiOoORPid+-o>gOoa;V>XWiGZxsg_N7kpXSYC-u zT5z;E9HMc2UHp%O1u0&G=s)sy*z(>qr!C8PkG+X55@*J`=^7pN`P1^^>JcGVwxDvs zC-E3=S9CCSv)&T&z_`CcsG6;nnp1Bu!^H)cQ{YA!?ZvKn>2(HQfk};t*HR!8?}rzE z@fz|=^qh+~5)NiG?IpwE)AT>Ua2-Uc@TKadOp$V@vx6Dd?I3hxKQ979W8zi$g3)B) zVqU3pNhP#c!LJQ@r|e3ruV7=uNTmXgWx@bMz}1QT@ieOfJNyTAm?Mi%uhlk*hYTjz zuDH2BHAQ06#U|Ups~;hPkwa=xacz;Otfr`Wu?M@nK}U_#o3%w}B270$51E);-|v1M z#r5!A^Bcr$O-s1ih6!E#7xY$F2bciI#|%F>{p?c?$tJ3+RP4v{wN-$LGGyhy|DtB1 z5~u#trVU9EvQQzbzl<4zoLzo_iVfeR8tOlS_L z5R;%35kbJ)Q^Roxw>$7ory!zS_TrR%mQR#N#(oN)V44t#h7)c|EOjaf;l`7M&2db| zeoH_x9Y0&DKhr@j!BpC3%Ta{;0QS7Z-(wf3wUHjKb04Kg{i!dpGjf;aWyUi!$AzQp z#xLDlG`yTBdeuMx6!A?K65c=R7tXam{k?E!maCR=nbMc$$ywkp)2xC`^0gt2Kqg;h zLutzzC42CN&!3O)qvUcM`~|C>zaUn(q(#8u(!tufC{aFr;x*(cx)$M9k84+$Gi#p4 z%;r8XW*_aiXJe?ciuvtykFIQ8Pv6qiqf0*deKgcw2j^BlLdRmu+L}4Ll%KGB5fW`3 z#q62)JI29-0f8b)44SV((g9hv$%=1hG0R6A=a1<_Z3hndo(_kf=FXi`=G`biR#7_l zJ0AEQu$#<0=EY0IF}I#+{8IX+0ftO@`r$v8k!+JQW_yo*Y}Y&3=iW8 zw?Z-$zch&<0Sez_v|^O0YB?boR3I4iOv|Te1bmWfhqdQe2*;0V*T+m_1lCD|m?|Q> zHt#<#{gP|I8Bg{F|19TNT&T|%vG*Y22!1&`@lst0<7(6R?U)qU-YYB`oQWhWMSo*3 zIy?lw6KK-w4M(zv>;6%^X*_eJh;fgPKHrHNF{Tx#qiF*$#7~Zr6KSoeQ%A&vFmKC6RJ*K=mTgv{YmEo|@mvL$LRO3}~I`FkyY$P8Cf@|*V+Wy;p0yXzd}f{!kN_0TRAMRG*Zu_hW6} za8jYOaJmN4xAlGCSBf`VZXw?4Lc70$XD%58jGuKQE=8mu#FEo?)H-hkd|*iIGYKp4 z;QBU$C@K@NLuu|B$W#1ziS+q)B#03kK3O}tHe52bcS|jzvwD$$Qv;zx31RbdE;utA7 zk}InGJ>$bCliw59*HV{*Uc#ixU(L>wZ|FscsRu$#hOrislGMfGi`}w)a)Vb$NqT`a z@Qd2gLp%$=7>ENV;Ni9$Or|biAK5Lc{iv@ErebtT_?gb-`HXL6C1*DEg=Yfv&q@%u z?}s_ZQP#hr=T(;Rz~i_3zC4JtpRT8oVZ)w&u?qlvIbtlFmWNBO@v>Op_!L^4`Cu}x z=G1RyqJDt-EXDfk1ExzO+Ilj}|M4$CdQ)U$!ZWK+LCZ-^n(>k73<*7Z)VpXAd5E5i zrTaN6-7o^FS1jr*QF4EO?wF!bK2TyCKtIIXEWB+LRc_P$fUgeVyF}Qu1Ws(7L zf+~H_vYNs`YwF+$w5KhohOM!3=rUj3K0?vP8jRa~0+ihHn|fgrSZ4CY8+}!aNIh#k?R5eSN11%9Dh{+nmLeH5BI$8SI~u zVdfeoo6aVU$^S=2wcX0s4IGC~F^eS1Zd&D$Kq zmj|U&J{VQ2M(ck#fZd-tCLxL(y7Z5e@W78)3-DRs&c(FU+Y_o8pmiV+d|?^KI>4bG260{C7Cfk&66${m%ePUW%*jJ#6j(>pkMKs z`!?s5H|oYBbeGU#xp(Pswb);#O8*DX;aBWu9GUu;pR!B?+jsLPli`s%V|xRzlS%tA zH5^S(b-0x}u2Ygkoq^K$Ti>_^9*QdK9Lps>Og2L3u9@pyEASQ>_--yjLN0_M-;&16 zE-lq6l~XPdqzjCk=i7L`YF9_Wrr*xN{AewU_t$ijXV-3TGnUf0484~xLlQX2Raiy{ z?-O|(9HbG7y(^fu8zCf9z`@F~)T6!wJ8LAd)XZ;M#Yy(dLfVP#{{sn~6mIFk2 zp~^^YZLV2vRr;7EiDg=>XxOISb6gUmJI?f~O&e_O-RM})0KJTPrE9WxvgYKD0L{^e zxL{{kVw|dO3bLxg?4aWMkj*HtZ{J#=_slpa4JQ3dw5ASl7%kKH7|ZHWp=36iTP(^F zD%p^6iXr}E-S>26s$oQSJvykOTpAFK0eEB$HzKMbj{yQ zDV?~aR(>d59pH7yfx4mLBwi8_G$(V1Yqrpe_uFU)Bi#9be-Ikgj zX7Y9AyC=P!kLFh{@fLrEFD0>HLn25m{;)FPfn)LZ*t4Q9y1rfRF+YZb?Q^fOAfX^f zmV3+1o+>?5Cb(+TE5pqhXYM;%p-bY_S{zqoI9BU1iDn?_822T!S@!TxS5gwgk@s`W z71K9gx_La`R6j<{G^5RfHlggkTsR?CTe> zC8;zxwoot?yS2%fNwv~oZp*YjyT!2jFe#e@hR9T){fAAfTCeO->e93Gq*Tw`h;T?r zQl74%(L(H{9=WT~3DGIV`$Yt%7Y5|unmm_t(JbM3iJts9G{^k!e7&uMBxS!W5RM&K zK|l~QyQGSfr)^5b2%XYC&OW;l#0D2adY5Uv9`;X+S02&_k?KBA<*wM>ek8-}Q_}P!n6#(~hsIC0g+smKX0*RMDOunzGchhK?L&encbPCbr? z6hfPxzI>%73OqYD9R)@;_C+-80cyj zI7xKP`KGKuH2={N;@5Hm&t}_P-@K|w9j&Uy>tj?TcapoC$Gvru*iVo$lfdDyM#mf& zWY@-Tbzf{bpHHl9uNetk{pH&ZH3)+1tiQUUq~7AYzR}O7a~(|%@#YItkBvOhSPvI6>_QY^u)M08T(J|KLWk>SRjI`biNDEo4H}BRmzpo3U72jdH0^@v?3I8 z&nOgdd;gYB+_gP~bD3J8S0SUtRFca-MHFhH4@wO}n89C1>FQnY;_3ArW0S)D<^Rz( z7qZqT+}~CZt+I6}@0SfBRtASIHdlJ=61FDaePoZzo=DC4Od zI*M#O(wq#~5f0bb!dD8CHl3>hp&9}{)fQeLQMo>ZwCDQZCk~bJDuQ49pBO3uQEa$7 z)BrNvsjiPZgKN)-b-J~JpQ(PXF5RE!SbRKRm=sKMlBFJ1;sYcJx)=i%0*{hwl3Rzhd|!XBVX1>Hd8U?j^HRfrqbA9;sqw891waSkwz?d;Z|J3e2A4~ZlJo>= zs{bTaIrFpOGtQ67JN)dXFluT^jsmty^7^)L_=3sLxPpOwV4w|zn-QN59dpYf5FQl3 ze)vuDD#LwVSMAF<-9`F=B_bD3&-WyFy$v(}FplR0Q1l}NJ?2K>soNOd^o5V8P1h~G z>fZ0Ou_!vUb1W&eB8i)BZPD{rzx_v~1>*6vrkudMwBZ8H!()mM(C+#>dYLjdiCS15 zC8*_2yby%B;Tr7$c#5JL>9R`Di)wrEpOk?i+JQ zBj>gMqB6h1)1LlODI^8PuJ%IR5%EpkemwVk2`O$|j?d4AjR8MiJ+$*V?lBiu)mT4I z0Ei`bP9^gI*RO{5qZF#gBEu#?8~5W=?O3MB!BkgHFu30Kja;j>c3T_bb6uC-^^%eo zIa-{uBY0O1UH{idEO?n=09kLq}uyjs9m( zrb_;chqnL-(wm0@Y~UAz>rD-(dECd?`rhPKc!)P%tjt$Dl@)XrtM%V&aA_-uEIRm{ zoxZg4ZUSQaN;drNRu|laH{Gd?B1RwY@m?PB5&1*=Ba9m7@xIPisgAM;_ZBRa{}`Wb z-!`#tEJFC;oKqccR5+Fjm1Xn{T#y^tBQZZpPVOl}bs|ZiT}gkwmsqX$vF=_4Z+klR z^Ct^!urHT3Z~ds9;*YdczwX}^cX1Y$d9B+lYKJ})!8xD35tf|h={;hCqFwjZA`9L8 z(e(V~SvR_MKgwkjri_ua&#pk zM~|FZB%-LZzwtTIURtVRoM2e~%vCc8RXx&FE@14vf*s9YN=~Gclbu1yiu)@?_Gjxx(T8=3rw2sqonTDf2TAgqt>j_1vu{^Kk1SgL-&> zpIsDjm}1ipAo}S_9~E8wJ?F>}I|r976>JQbUR<{=tmUkl*>pk`cD$<>2uE*QYN847 zrhn3N;t@PsDL0kk3d7xvCW@{51FlM4D?KxGYl8*)x@zVr4%Tz#%C|sf{|a~%>S&|H zHQeW3_zj(^0N>81-QOolXB_i;?TiC;6ps^A?J0YH`*F|W|7+tM!s}odB^=vkV>Py& z6EwC@Y}>YN+iC2ivEAgvMq``z-+a5foc(NO=9zbFR%~MF^C!~@W}BcnuR}D!=?>`& z%9)lxY-4`9Lu%vwcZ4uFRhvHbsDj@nKJ>e`SaeI2MO`8>TEM&7^9cWvyCPDy>p!Tm zNuCvD9Xs(>GrfFxI$&9t3+|*8`raZx5l>w;+X}Dg&wN5(XG1)Cs6-m5tLnkPD!JFG zWDtezSkMpR@`@r6swjq(K*e|MKrg&kT>K`Qf8Ergxck6#-`Ady{tw?y=aNCb@+oVZg;Y_4|l z=x&b+MACph{wLe(VFxv2nQdYunoU5!PcWEwafL}d6n;1+uF-EW zguoLIOSX9QkZ&h08j7ng^HZ90hrwc;mQDWK!Np+@pxOLa6y5klu$9wIW$HB*#Z@YI zEY)t?!c(lH*w~{=n-KIJG)HBZc`2udKqkA`&DpStmIF}u=j(d*f+XMzkdL zSS3j_HDhL!l+LB99$1Ce*QEh7)=5HAcoa101{o@&3V9-ktr~+{%3pK`65SVQ^mYp9 zHE(xGO+L11bY@+KDJEeuBLw!GH<`FTuPkM1ZYiS9?of+nP?o{FK8G)=V|2n~Oo0IzWXJv!eml=YA}lUa;O`>V3Ldx-U{Ae(C|?(d2>pacPBf~VdSc5w zctL~T4jAtsEUXNw=hEV=wPBvN=njMvK6o1Kbm&sc1Pin&d`Xboh$W_e*OVd?vV|V`0!L%ZyWr ztV4{Z_5jT+2G+i!w9*ZJSl|msE4gW3R&kt@SGm80vsKu#@`ctq6}SVXm#@WmvkA}v zZJ9mzu|KG>+HIq5n@zz~-?P6GG18%Z0mb|PYR#hm6rQ*z>Jc4X5(lUH2c0^bp>8#x zg-Uijz`+`M(lVnL7alg5Ti`?rC%MQqy`dA(uo)9a75lyTalc%YsjdF#XFHYz=)j^R zj-ly0SUkG#d6jhRjRZFE95ng0z2XXbzy^8{H`c;&DE*-{%AV2oUJj|ZDykzIN0k82 z7k|FN4dd+Sr^{;s1N$hWaAoA`V_`|&HGMsA&_%V6j#;yF4f993;LmBN0eV_`ObCo- ziB@Z2bAsEP`MtrhUyi9pYCb?~l=rt#=bitpwgF4~r*kB<0rkWmG|%qAnIG`Wy*cNp zm{c=&D&iy;v$?6ImOhVDb|94tbDdmDI~eq27Jw^#7u%;|m&hB(BZ9}wdC~Gi$3Uml zGgAX)6*a+crzc$rFSTIpkNNKbyhy}M9_Nv0p(j643XmN5QS{13S=#jI6x3jRZ-%u zGlC(u5dJco8diKi26_B{!AIPb9se+9B$Q_qPY8u<%;S(P!U_zw5xWRlsvvuQ!x2R7 zUh9O?GmImFsc~=9^BNnqF2iR{$!vSg?Hm!TRN3G4z3n$k1bW=f7mcwT$Of!B;w|0! z8~&Z$MVj!c6GaVT#UHMf_o30dIf(N^ooX#boJ>!mw^!c z$dcL?qzcC*NX?kz@`T43@DE??^y&W6BoIK>Kf+KosJ%DEPV^e7pbV@B`eAAJ1UCDR znn;H1+bp1F!3<=9SrzzxechX#JUGXV*Bl}FHy@?2#%#D-%|wWR=R%0_PF4yehMN>r=I3ESoW2XUxVE{-mG`d!!LimWCH0O5t$NsJ3)9P20!C< zw&Cph=zmZ>!P8wEL=9cH^5AJa+k5o|h&cBMnRvFi81MCNONyJfhNRQabjRzQm)mf!8#K?HJ^xBi5HBTpo zr9{g(*US!~#8g(G`}^u>MHN~W{_>4>^VTU6ub7#XL@bhCV&%D2$!1~q9d-(} zdy`uz#w&BeDKNlw>eZj`DF6^VRcE6tCaU)L12(hIvt@BU>FDGSD{<2aUQncSEFDn$TDdX2zr*ItntEPgz>l zP~@l^?hD$qd4JqeS;0x3hi>QB(hcqhwa!Q7`Buopv;~a_xxhWskXwng%xws zbOIwfxu_dfG@?&<5{hN)Z^z<>rYMrr9Wkru_`y1HmO6xezu#bw7&;}87-cmK;?(*n zCl=;I9%G0AHXbt>TXT*Q>SVg%i1U=h>w^!J?mK7Ao}1tXe51<9)5DfN{=;q9d|urb z_j2QCJfDp>m&|ld*e|Nn;p>C=<_rH~@JSc7`{8vKLeRWJ6PPaDh?u#yN1$Gyw zxGe4t#a$OKP^`GqqJ)R#A{t=~va1sZ48GSL2 z>W6o$`54HeAylI*?!8hsnkkGZmioW0JQ_KlDYe~qqjW|-V zjDK^-F>C|?X^3n|T`aL&Vuse*Kgfg4eJO+^_D9R7XHxO37JVe+QqJRv>`lQ2Oz&g7 z#snDf9*6||SVrf)x+9UzbrSsGjv6jp@r+Z{r1C^pe`=R(iasEdMfbhGv2F?Rs3!kr zx5m{RL5K+v$nQk(TU9t3F_92!crI~u8kkFQr-oa0Ry@y$Ar0_lDgh2!=5W%u&=xOIflt5Ez?akf^^PyB`DSkl`u?*oBTYn{7e`ctC8`$YRy7^4R_0 zBz;E;JH^ZvsHOT;1>94ElYB8^w}rcr%R@LxJ}Q z4(Wx3NQ#Ww$%@X)_{JHzO?gaG;o8g2aLNs=whhRq+~(w!hDUzwYbeIzIm|5_9@94V zT`kHQVRJ&X+Tn_q(u2AbPVfPOnqs!kswEt)a}P0_D+h}Axpr^{>hT0#FS$Y3G}Czr zj&a&>j`(O?#>}G7|K<{PE>a-`+6wjXF1G)^p&w`|5L$oQL67@Q$5~W@r?pbJjw#4G z5OEtjFHgm@%FAyXpB`So9p;0?ZHDp=>6WqwDRcK%Wk#X*NL1FdiYxxtqo!0G4VTIa zum&3v40l9s$d06NTtHm274}pX|T!2aYz%+__`y7mBX82D&c?9LBn5v zP?+7i-KSDs7YI)B}nnqS!`%qOKqr{TFj}I+2E}4nMQZ?mur0Z~_elePg zk_Fm_YSURSp{>Kytl1QHfqYC!K?Yt4_rO5=&H?83ycm)G=$pm>DA}s<9*wqMFYPT} zKG(i#-3ThfLS7b!SrIj%3V}rB^rN6Pgo?_YB#RL5P5Xm(OGM1jtFT!(r(7=WJ|>Hs zwrh!O^VmRkMja6gqd$krR3pIm*4U^@@JQ0gtShNM=NO!9a1;#pHAvWbQXiBMw@qR? zvZUK!s;{)77;cq_*A1Q%zppI<6~K;60r-Kd^OcyHDkn8(}Jd|!)WD`>>{tM1BgAuo_k@Z%GyTY zi0oQ=%{n0_c20;pK3(gU;=&eux`1LqaoAFa-7n#XuT96YB|I?}(zOhB%g#y{*o@z0(o=-3 z$kd+(6!lr$7NP^w4%I7sA&lr_{3ofo5~3e4weMUT{?dsLuMH(FRwFrMUPi=e*{7iW zF2mt6Mu$gqzBDbV=Kb|4><@_F-Nh{s5|8LPCz@k&uhxI0ezxk12w;rL`iZqiReK-& z#EwqYF6L(sJG|Yl+9*Mpb{myGQ_AmaPgO5?uVYJe2G}u_Dr!#ay=&gsLv{8JzHC{5 z-~l$4suVH!23nfql2M9LP|b4yANF&U#DQiVPWXruXcY{Hp3uuq znk_tATsl8?El~t9{9&`PQSE*@hmRTthb3*gpSAF2`xuT5q}QN!Iljn_VEMh8143kP zO~~!0u4G5^3Qaj&HmsMer+4S?(kAcIer8({5#O>JB1obvd5b41E$AI}*tA~)G+9af zyB?o)&Q8eUh@&0mWaLnFFJ6Tp-zHcaS4M@{nQ-}JP&fAfVeK2$1 zwzoaga|MyEa7fwC6&auCU9<@ZGwVGqe~R3zfjl+?3Jd~1K-xFrIn%Uij{%fvEezP? z$;5T9r=-yddZ?K@y~*)2h%w_KzE64nZ!9lYQS89F49Skh00Jo@kwz5*Q_NqQUqhEn zb|<1niWWVnI6Kw=2qL}T3ej06=t?4+{Og{H`Wqu7;1UU*m`m+4=9ohixe3WXaCbXR zZVDt>hn93X8sH{B%C4Wi1X1t=w2{CZMD z^g!WG*KBHXvKNW0OXbr%wb;C{hasHE*pK2X>yL{vx*I+)dx<~AZ$!;KooBO^})J;{EAP2C6LBqrMq6fakZDqimn3}9RVeG zN|th544HdWT!DwQYIh?$=ab)eF6NJ8^W0~}3J!x&p^-b2pC|q0(%$36kpa?G3Z#tk z=DiTST2NhRq|=IYy74!nr!s5&`Dtsq*$qBXNZ#yH!~nC zpVHhFrlCyij7!s5!v#g4*w1}W9hD;^k+=%4sOrS%$md*YbX4v#=<;QPV9x z&VIpUPrBBsbTu^5AIw>Hs$0L~f|FyXr?TZ;&!_BiUg@4pa(} zdh@h5A$orOh{u>+qBlnYu1;(IZ8E7pXwf5~@8LA^0ocXJb{Jv=uh*bdC2XaiOeB&8 z)2xis=4=d+V+Pv>Kuv+wt_nMooB1==r*4%F3NkilUR8Y-1LTG~uz07$$dpB+`~5a6 z!kg>6%mA~2zu$>zlTea6dgMVBUoH2%M&o%7$|)Z$5z4Gx0Bv&EdqiQSSL0P8(nTwr zB`r~oKS4!1jBMD!m)(mP@eV^*pBk&?6RghZ*ahbv?2sh_Tw4Zss^TY`oniqK!44hN znDb9UQsh3Jo5nPyBZ(?c6hjvcA4JsR1*FHB>@N}W7o~IJEonakBQ$T0G*(0sMC0MY z(^VricLEj{IPd3V09z;y17A~dbTy<8ymgJ( zPovzM6rJ{4s^5BLlg!A#W&YG9nA_g_gqUb zz6sX#U{04{MNng_TXrl<gaEZ+Dx;K+XuR>BK`RpyH78wSsu8J3&h9Q zT8(lk6_a-Hl0y)e{JJplRgX^mXo%g0c)sVONnaVTpLYA~iAzj@dCz)HK4LgPud?|m^gwu!sbfG>Q?tbS5kFeNJ~y)@ zchxmZkzsx_+6X!dfQQ1G6GAxYPKij#>n#ZZB?Rv}K3zE-$yY}X+B`S%5!*142JUv$ zds(O6zs2Wc232>r?1r{H_1Kgy_zY^*kNGPI&l+*g4rl+~>lQ_}!L+H`JjWZib0dYMZ)hJ-aDP&&k)TUZq@%n|dNSIN(y%my&g)lGT8%GVBpm#aU`%j0I#l>^ zN@kA5HyfFCR!o&sDNO1dbvrbziccV^mwfM&GnJ?GP0GxM-VED%oAGN(|45sU6T^9J zgp&O#bP3*AmN?4WB!phJGiR{!A7$%zN^m4Hd;3z+>yzID+!&8;H6Or#dSA;wE$|#^ z%*j*4H=xU!fQsDQlavQThsN=OkLZN@9nm}!q)OZ62xlcu5+PLk;#>e(VtMT*aH*<# zVLmD;(_f_%`kPZWVJFVd2rko9AA_g@2ZPGl^E>0{!sb8tl}>u4#Ilvn^~R@w4^nmyn1rxf8M;yc`2-I+!WPb^zzVwYYdPwlB&#$4DC57kO88w+4<~7)>*Lzb0*lHBx?@cWYj5YZ0>Kb$d%e z?{a?QT_M`nLYMS)N)Y^B{Q=ui)|DJ`B++j7$^WLuCFdHw0&pA_p&(iim^*m~JguUR z=@4cu{zhJ~yAd_`OD6wJu*m6m+%|G^I&RnN`Iar%Js0(?+d19s{0GB~xU{GBH;b&( zCQT6z7?;sxUPn%>2^6`I5@Z8ZddTI8L#Y`3Stp>Nc)LU84JFbtM{`T#5 zuRky*jR^YNddP;;Mx7k9MCbE@n=7&?C3oDLh&+`3IQLYU7+r-H{V<4JiPHIEs9N>( z5mhP-))+WSm^5?;JsdHHG!u76dQT-i_sXPJcD9_)o0`-kp$AaW7~#E!1nI22BkB?1d7?hgey&<#HC&-S)-xN!;Rn^EZT?76#I9PeX&;Uj>?&MI z{3&v^PSk`os&y;vRJzw{M`^(?A5$riqDa%!3Uvoe^=5s>32&L(aaN;->3lVSG2~2CBvT^cz&CSp?Sj~z zhcm$ze-e44!bOqfn=b$f6EO8RS%+ZGuB|bwDeJLPU^1TSAby8{z!t7N%IyAKbgIF? z7)eS&ZsSsFF91O-fzh89tAh0d_eoa(8m)UxxPa~h#<_bjP46I=i=&K35j5GThf3}UdezVO zaAdB59|>xnVE}vz!kd+QnrD+VZFEd-u{InQ601xjX~|EzR(}Bk;GxQflNz0b@XX1P zDif_qz|EfShnPf+uHRqww4Oi5N^13-8VsLSJ^Jzwic4Q5@)XPO2D40Ktmonj(V%)d z?!?3Kg?8z?QeqlRV)uF5$l#u808lMB^DFAj~% zwUTjYaZ&5L-658G8{MnfXP~XXJZg-`qzYj*v^b@jM}?Fr;oB+MG!R>OUL(rP^g*lo zGK($w(`?d8-4<8!?PFl@8nmh|IxfYL44v$YLI)pxi@+F4@ z>L?w;*QYJ6-wITRzkkDdyFFt;nj}vWvpMi(#ARo-$fy5Cv<}+3Eqh><7b~JP)%3lM z!*2qqZvUM%BBv;=k9~^|2_@=wSpU}9USXLdlIRLn8_E4QO~Qd2CBz_E_P#%##X}&a z2=2TR6!qjKCHq~-H)q7EvAPSSV5@I?Pz22mV8));5$Fc6(DWAGIm0!ACN~wNkVV}{ zl9A3BEXLskC}ZA%G2b6vI(HtaiNl~+QQ2(2F%m?_uz2PIx6o)R@~ZUctqMskk=M&{ zlj-^;|MYcW)%bdhZ>cZi7xTF>ZiEim*-rK>v~j2QRFPGHBrY3e%-Xrfa%ga6VsT^w z|4?x#(1Mfy@JS ze&I#d#tLR_^G|S3uNU@Quzcr_42{*PhKPc0s&{{Q*7pW>DQbE-qhlyxpbXj)_rcBa zZGBvl-ilhMJY5x+`8y{isG6@NdNHy6@zU4#4)or0SOE9DN|6Q))sv`zj~FIZ-oXp) zpd2j7yja_eo*baf)c5L`7rox8wo2GzsTLgmL#bBty_N*iQrKw0PzrcG5?75Hm2Jg^ zd1Pi@kG;8`;&7_vjO;XG*bKaIY6J}(ic<$(CCf}<0I|PxG{*5k_AxLYjU6ns8Z{ip zgPTT=mh005U0LPu2IVAN;L)YliR4aWZ}+Uk;dKp?Z^`hFkgtm3e%UTyILKI;YY0Is z3Ot0ONVkor{ao^r)I_BmC*t;fqI3aih_aUt`w5I7@_mvF^Ul`il}x6^@A~s2!&`3$ z0fgsuOL!R3;opBt2&77$BJ`!Enql)2IMe$I$HgbqR0hN#@GCQhhKoAKKKuAQyc1VJ zQ~Q=&X*XK#;hXvAkn;L=JNm5r@m&H0VLW7sDT(6cC(mEr-5Bn05;}A-=;Og32ggs9 z-y-KcV$;7}G4WRqG#&a!paiD`b4K3vyFa4|dK}ptMpE5+)y5eTyf@lw{pdG{2jlaQ z_Ts``E!6*ptvSQDuluLF4GDOF@?%LtUvU!fZT9z9I40H-pcReYUOs%^Nn-#--+ccnuvosEdNa5<0nXvCug zD2-n;;`2c{H3QT-?=ggHE{XMIM!XOnJ5DLoqv@2aY$@zTcP)U2G<}5UCPGP|kCGrX z?H5fqqPslCNc`S4WafBYCUQ)fVoCu`@|o|_uU+`&X$`{wu}WaIOLqRlS{gIzrD%WI zEU1=_{gRTvFRHi)PTM(zVhb8TUiTvSUPARdwm-h6t}JoVUBfT2s9tt% zEn>fkT01u8+IL@g6BGudckW{hML?URA}q}Lab zjRKh!chLzwhEcv8Q5`>&?XmPeGV$q+6P3D1UUZAd?ghFG1t`Kx5?I)$=nDlt0~ zO2dE3cF63>ruEL?oLJ7f?nW=jXG^oiU*=64T&_&y@9-mivJS<_<5H@X-be^?JZ)C~ zfKU0Tcph^@6jnq{yF5Qv1+!;Nxhyn{kvCn>T|V-(|2?TOZ?O>v#{KE*S_p+{F%Bq1 zdtI7;Mwe~K_e=KJZK@4truHK=lLw>A=55pHL%2B{*L*FRmoeoX6r$eu=q4tHSPP@n zE*^#wOFGM4yTp7ero>pMIZDq=EGCq%SEI}3e zORX0^h9`}8g$&5Et960R>qhgtBA z2E+dd{>PSFAFf!cW+E+TKvJrs`35TjhT$fGD8;2QuJKxdL@qg*FC&#H=+EElC&6-K zkt`Zz|0Tw(fQ3AyI!3?U_&466w&?>6WKOtvnoWrEmX5|uljG@)eK7lihL{ZLsA-w6 zqgI){Z7N|vcjH7u|AKs$X%q}UW$5aCJq~+^5 zzPM}&@53n+m{F5>yH&>!IlS!CADgt}H*~e^Bh)!Lfk)X-5TT=I7E%?J+OyD1rio(g z)%Vkfk`uqMtMrybEtidP&dzrj6!2>A7TPIR;8t!liMDRXlIxp_*{ZP?FoB#+6|Y;H zZ1rGNYsNPtS#lb!c^l&8r`*>(%Nv2>tFT*kiJgqcSi68h&mh4yE7Q}JJGy}0;(!5V z@f}jL(=3Toy2q2?Vq7{>bLiYm!e#N_;3JxAbh@7B$&|pq@Ji~(Vh(qSGc$>;=l6Wd zC|_I<^K7U>5SvA-JeukCsZ8%Oe7zs{o}wvu!%rlf>4IaV2_TL44)_rXJ8F|OlRZg5y$l`Vug&k}%dRItI4tLhl3&{FK?mbl8e`wLO zR9GEQRk_flfDm&3y3#ADNVGWL%j54Y3P4l>p~h$-k5+TCSD-fzF-U# z+xLxnjPBZEeH6Rw#DB!OUqQ9Fih2Gifo$p29J%F{bw=0?Eka#gA}y6$zIdR!cnG*I z(H}iq5c#RRu4O7f@O-B+qxy|#{;poZXQnxLBlzrOAwjRJWFqHF@V;4q={gVI{g!n- zRRD4t4l`~B&dKf+_@RwhTzsc*!sXIs)_a{A`P!~ho7DpJbe*y$HP6_#x2T;m9ibe-y-0cwgrW(-MDhyd>(1``+^bjQoL4862i#N%jNR8@4T6K z_XE1T+O&Pif2pa-<%mNnTLWLQ8%94A%Z<|v?0RX${nmC(d!PybiEG1Rp;?=2W1`w6 zDq~?;Buh}$>1?pxIddSY$l)1Z1(scC+&JCnG7&NE-KJFOviw@>xq;IGh{k|{V=^7c1ZuuWlPVj%^SO!`)wpcuhuGTibKw}V)4`PDF zqwU~t^D@KY(FYoXfxJNQ%bFGp<^|*xemSr8kGm}l_^ocFHRU;B*Ue+Gm%}ySR6@RZM}z?CQXXEZt=}fOQ_3Mla4b zC=yfU=tAT;T_Xz3dOVygJ`b0se7^sylM75!?BF(j-#CenqscV4q}Si90PT94fImDf o@IH8d*i_
qTS3HJ1|@bL2Wc%c*w5&{cAu$Y proof_node diff --git a/poster/template_deducteam.tex b/poster/template_deducteam.tex new file mode 100644 index 00000000..1199b2b5 --- /dev/null +++ b/poster/template_deducteam.tex @@ -0,0 +1,111 @@ +\usepackage{multicol} +\usepackage[dvipsnames]{xcolor} +\usepackage{graphicx} +\usepackage{wrapfig} +\usepackage{tikz} + +\usepackage[right=1cm,left=1cm,top=1cm,bottom=1cm]{geometry} +\setlength{\parindent}{0.0cm} +\renewcommand{\sfdefault}{lmss} + +\definecolor{orangeinria}{RGB}{227,55,41} % Orange INRIA +\definecolor{color1}{RGB}{227,55,41} % Orange INRIA +\definecolor{color2}{RGB}{116,101,110} % Blue INRIA +\definecolor{orange}{RGB}{243,154,38} +\definecolor{red}{RGB}{226,0,38} +\definecolor{orange2}{RGB}{236,117,40} +\definecolor{grey}{RGB}{50, 50, 50} + +% args: width, number, title, txt +\newcommand{\tblock}[2]{ +% \addtocounter{nblock}{1} + \begin{tikzpicture} + \tikzstyle{txtblock}=[draw=grey,rounded corners=40pt] + \draw node (zou) [txtblock, text width=0.9 \columnwidth, inner sep=25pt, line width=5pt, text justified] { + \Large #2 + }; + \draw node () at (zou.north) [line width=10pt,inner sep=15pt,anchor=center,fill=white] { + \begin{Huge} + \textcolor{orangeinria}{\textbf{#1}} + \end{Huge} + }; + \end{tikzpicture} + \vspace{10mm} +} + +\newcommand{\cblock}[2]{ +% \addtocounter{nblock}{1} + \begin{tikzpicture} + \tikzstyle{txtblock}=[draw=grey,rounded corners=40pt,fill=gray!10] + \draw node (zou) [txtblock, text width=0.9 \columnwidth, inner sep=25pt, line width=5pt, text justified] { + \Large #2 + }; + \draw node () at (zou.north) [line width=10pt,inner sep=15pt,anchor=center,fill=white] { + \begin{Huge} + \textcolor{orangeinria}{\textbf{#1}} + \end{Huge} + }; + \end{tikzpicture} + \vspace{10mm} +} + + +\newcommand{\block}[1]{ +% \addtocounter{nblock}{1} + \begin{tikzpicture} + \tikzstyle{txtblock}=[draw=grey,fill=gray!10] + \draw node (zou) [txtblock, text width=0.9 \columnwidth, inner sep=25pt, line width=4pt, text justified] { + \Large #1 + }; + \end{tikzpicture} + \vspace{10mm} +} + +% args: title, authors, affiliation +\newcommand{\postertitle}[3]{ + \begin{tikzpicture} + \draw node (titlebar) [inner sep=0cm, + inner ysep=10mm, + text width=\textwidth, fill=orangeinria] { + \hspace{0.2 \textwidth} + \begin{minipage}[c]{0.79 \textwidth} + \begin{center} + \begin{VeryHuge} + {\color{white} \bfseries + #1 + } + \end{VeryHuge} + \end{center} + \end{minipage} +}; + + \draw node (authors) at (titlebar.south) [anchor=north, yshift=-5mm, + text width=\textwidth, inner xsep=0cm] { + \hspace{0.2 \textwidth} + \begin{minipage}[c]{0.79 \textwidth} + \begin{center} + \begin{huge} + \color{orangeinria} + \textbf{#2} + + \vspace{5mm} + + #3 + \end{huge} + \end{center} + \end{minipage} + }; + + \node[xshift=0.1 \textwidth, yshift=-15mm] (logo) at (titlebar.west) {}; + + \foreach \s in {0, 0.25, ..., 2.5} + { + \node[xshift=\s mm, yshift=-\s mm,fill=grey,opacity=0.07,rounded corners=20pt,line width=2pt, minimum width=0.18 \textwidth, minimum height=0.18 \textwidth] () at (logo) { + }; + } + + \node[draw=grey,rounded corners=20pt,fill=white,line width=2pt, minimum width=0.18 \textwidth, minimum height=0.18 \textwidth] () at (logo) { + \includegraphics[width=0.16 \textwidth]{logo.jpg} + }; +\end{tikzpicture} +} diff --git a/poster/theory_intf.ml b/poster/theory_intf.ml new file mode 100644 index 00000000..2283a5b7 --- /dev/null +++ b/poster/theory_intf.ml @@ -0,0 +1,20 @@ + +type ('formula, 'proof) res = + | Sat | Unsat of 'formula list * 'proof + +type ('form, 'proof) slice = { + start : int; + length : int; + get : int -> 'form; + push : 'form list -> 'proof -> unit; +} + +module type S = sig + val dummy : level + val backtrack : level -> unit + val current_level : unit -> level + val assume : (formula, proof) slice + -> (formula, proof) res + val if_sat : (formula, proof) slice + -> (formula, proof) res +end