From eed535e8bbb58a52cd630f0647fa6dd5d21f8c4a Mon Sep 17 00:00:00 2001 From: aver Date: Tue, 20 Aug 2024 11:58:26 +0100 Subject: [PATCH] RSBench --- _news/bortolotti2024rsbench-preprint.md | 7 ++++++ _publications/bortolotti2024rsbench.md | 23 ++++++++++++++++++ .../papers/bortolotti2024rsbench/rsbench.png | Bin 0 -> 55180 bytes 3 files changed, 30 insertions(+) create mode 100644 _news/bortolotti2024rsbench-preprint.md create mode 100644 _publications/bortolotti2024rsbench.md create mode 100644 images/papers/bortolotti2024rsbench/rsbench.png diff --git a/_news/bortolotti2024rsbench-preprint.md b/_news/bortolotti2024rsbench-preprint.md new file mode 100644 index 0000000..f2b13d7 --- /dev/null +++ b/_news/bortolotti2024rsbench-preprint.md @@ -0,0 +1,7 @@ +--- +title: "RSBench" +collection: news +permalink: /news/rsbench-preprint +date: 2024-06-14 +--- +How to evaluate if neuro-symbolic systems are learning the right concepts or are falling prey of resoning shortcuts? Answer in this new preprint! diff --git a/_publications/bortolotti2024rsbench.md b/_publications/bortolotti2024rsbench.md new file mode 100644 index 0000000..05cc5d2 --- /dev/null +++ b/_publications/bortolotti2024rsbench.md @@ -0,0 +1,23 @@ +--- +collection: publications +ref: "bortolotti2024rsbench" +permalink: "publications/bortolotti2024rsbench" +title: "A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts" +date: 2024-06-14 00:00 +tags: nesy shortcuts reasoning +image: "/images/papers/bortolotti2024rsbench/rsbench.png" +authors: "Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro, Paolo Morettin, Emile van Krieken, Antonio Vergari, Stefano Teso, Andrea Passerini" +paperurl: "https://unitn-sml.github.io/rsbench/" +pdf: "https://arxiv.org/pdf/2406.10368" +venue: "arXiv 2024" +code: "https://github.com/unitn-sml/rsbench-code" +excerpt: "How to evaluate if neuro-symbolic systems are learning the right concepts or are falling prey of resoning shortcuts?" +abstract: "The advent of powerful neural classifiers has increased interest in problems that require both learning and reasoning. These problems are critical for understanding important properties of models, such as trustworthiness, generalization, interpretability, and compliance to safety and structural constraints. However, recent research observed that tasks requiring both learning and reasoning on background knowledge often suffer from reasoning shortcuts (RSs): predictors can solve the downstream reasoning task without associating the correct concepts to the high-dimensional data. To address this issue, we introduce rsbench, a comprehensive benchmark suite designed to systematically evaluate the impact of RSs on models by providing easy access to highly customizable tasks affected by RSs. Furthermore, rsbench implements common metrics for evaluating concept quality and introduces novel formal verification procedures for assessing the presence of RSs in learning tasks. Using rsbench, we highlight that obtaining high quality concepts in both purely neural and neuro-symbolic models is a far-from-solved problem." +supplemental: +bibtex: "@article{bortolotti2024benchmark, + title={A Benchmark Suite for Systematically Evaluating Reasoning Shortcuts}, + author={Bortolotti, Samuele and Marconato, Emanuele and Carraro, Tommaso and Morettin, Paolo and van Krieken, Emile and Vergari, Antonio and Teso, Stefano and Passerini, Andrea}, + journal={arXiv preprint arXiv:2406.10368}, + year={2024} +}" +--- diff --git a/images/papers/bortolotti2024rsbench/rsbench.png b/images/papers/bortolotti2024rsbench/rsbench.png new file mode 100644 index 0000000000000000000000000000000000000000..b126cc68c94d4c99fc791a1b196e38d5b0b2343c GIT binary patch literal 55180 zcmd?RXH-+)6E2(|b`(%SL5iXvC{=m~L6qJ?4}^~NPUuBcL=b|2fRuoA2@rYC`cdhsH{dlt?L^$W{*)#Jz^UR#1q3Wt~WTdpD5D0`!L0%RLft(Y7 zKu97lo(Dgv4dl8AzMXZGQP8>wUVaxX-h#j1a(}AluIcpL-P6?75@O}(F8$d zN~XeI-=Jb^0<2Y#f&ytlQ3k7Yq8}GE6f7QQu{QTZ<>Gx*0 z_Yi%PD2|tq>%RkJB2!{mDSH)C*w{9kj=hgm;lt&?XyVI6^2}i{W+Rzt8ie zX)LE7UsTI{zI6K01asAv*~!hB%E>t^e!9#@lb6rujC(>e74V=p?f0bH48n zko$4UrFCZ(cUy*bXN7iKg>qSh@=j{bVnh5FPwi~IoyJlWVxw&byRoE}iZkfvLyiR% zYPw|d*`$}+-pWQ`L7X^Zb)wRlpS}7gEa}HLY z8@EJ-&$J06bu!fPC9=cg)eK#IyQMbiIwtWsXHFKJ>bho2QkaX$f|hq+1Lpr8Vuy4z z7N(sujSHP@?_L?WbcXY3kWRXKo=avqb05sU)t3I@R=A%z`6BAn;P0$5DkiB{-a(tv z2b!jTCu|qvZAD1kd6Wk=#;3Ul178ntMal1uqJOq^*(*wvG))n%cG z{Ny~iu*(-2SduBl+5AFW$tyTWf)(#Wic$MM>6?j zxv3GxfwS|<+T-(2JaoGmp2G8_ICq@+hX`syo{3k2({z5B48684NYI^e*7=t>kJNyL z=4N^yXm4iSj%evgjx^K-&bzFS?kv!X-%^g>0$;T*rxofvL@K_>`LnY3#w@-4hcbNEYbj zsgM7QU;W0<0uv=6Y*0YyH9Jo7a#}gjSXo%;J57!o;IHYJk)arC<)X!`CE|TVj)~I?fntP}+~NJgv}(nh|!_yKu7b zg_r7-jeNEWuhIul1!>rrT#zkn`~GwFIXY8zoJe=k2!w~=b(DhHTu@FMf`YJh8ih-b zKVO=<45(u<6Y9z9KVOR%hK0+Z6z_o`pp;_ti>m2Emd@6@PU_D4mR|G4h?{@@b?Op@ZdU?9tahF4{J3(1jzDOk)Y$fLXtV^+VEf`e2v??KOuUc8$z7zO4w6*PbV~ zLgsIQGyQoUD3XOiDMB)=y5%r=gTe#N;)7Y@gLB}mldYtWR;2;-0Rm}lC{}|Je`0wG z3ojlS6^PSdCVIz2xNqJ9J?XeZRsAdq&*lmz#xk>*OCSgjE(0#6NX51(u{V9XOJ5L< z4IOPnfs4MKq0ZQV>daj^DEme^&G`eB>o%Mdw>n)uXFV8@S+E00yn24=Y>;RW_oRT9 z%L!XLe+3jIOjVxQ)vlEULbB-4)h!n7Iys!c-&gK|Sw!ENSj&!yZOj&-5G zCC7_ol8f&Dewy*WnFh`}XAVTavCOS`73I?}bH`zCH)ARa1Y~@_Jn^+?>^IS*F&CCl z1WUvqsoztK??^nw$*JTJ;4LOAfK6341goY()2R2bOBvNU*gGav&vld%C93l}iU`rP zn_nL%tUuhA$Vx#`_Qcrz3-FZi-GQ@@ggUT8F+XJ0S~YPaE1eG5OkZRM*lz;=5U}5F zRatl3WAxyUxWXO@yK3dvgTW7HPc;g?3Q!=(a&+7?%Ulh8#hAsFTBclv-$XQoF#%3f zy&pC73z+-4`BAS7&1Xt}w}m{0vs;P&;-^TO2JUjcHyAC*qUoTVjU8R>ISF-tHOG(g z?9pDa%bWnh*s<;p-k=b~x-iQjQ4H9;lTzjU{-VHtCh@SoA`XO=-RCu8dhYFH_(lTg zm;0&ZDP;C5Wb!HGgYw2_lizQXAGgl#-eqb`REiJ?D+!QR;#RQ1Q_5E~c%o48vOlWq zdI&K&Qdvaf?~A717maTQZb!U)oV)&TSKP8bXTbADO^V@@`=?$fgsM|QjHGeltr?*y z$eaV~Qq~?CAOLzm$^?rhwP1(3-OEwSwqnD>V+q|kq1St2tlkQo?0ke9IBtWs1FNGy zoTwG8rC4$!xy~kScT?8$!jr=#8(k%hPtA`8pj6iPNms2CuNKHg#r=9*yxbwgp?|_% zQwV^PM!K<4~M@3xLPmdMW zTEU)8IytKr00dI|RGTxR1Da7X&|)Dfwk{9KUEJ5lInjDK(emJ{okFR&1nIyf5`@fg zLIRuW$%!CXQ|beK`Ar916GI?N9&U>REWz!puoE_mI8~)#vFeG%vJVFs8S`2GFWF4( zE(@3w?i1E0o_aC&egql{e6yRaiCfs)oj8=Uy-+_U{i$5IFPFIwKnvKr$Un5m4DH;% zQN_=2LM6#pfR~-WDd+jgR-tWo=`v3L5#2>dw(zo zsDfKpicbXl)NfF8Ux+}5$~%aH8$x&il0cQhVLE3Mp#R`|T z0zz!_&|^IDQ?|yVE&jjLD{R38thDd-U=I$&JMER5zyQs)#Y?}qUat5f##*g~V zIqS6EObu{9j)o$HUI~FTTKdkc&>Vg9PSZD&h1SlU$WqY5zoPISt zb|fWILie^x$O#yX{{umqia3G8;TLO8hjb8h)sTH`gy=JDNKzo z@9z#hQ_1O8;{jhnYHyThrW0#25FdlBxRmQXnoHFnf%7yzgRbE6pS`2xT+mSf1scS| z%Y1^{7t}-_)e6+)2@6b!I5C%#7_)19)&#srq{)0uh0H_U;`PP3uxMZ0B|&&oFZHeNWfvy>It|t5x(p0u0Xkfpb~cmUddhnc`ukU zFj*SfOM51t*WA%`xcUIU^{9f8EB}k;I(p4eQdIWvG% zS)qZ9?Sc%v$c$KG0j=B$zE5g08@^qUsk+$NU3UWpZe$fLx9#s!@T=s zozSK)>Yf*XXpoCu76$bL`!VML#@;_zQShtwgB2`{BrAor=cE2$jupK(@>(5nvH_X0 z25JRDuQaYSbmxlPl4{OD)%dXQK0GTWXJCKjC|MzY+dCbw@OIZxvYkR^Bh9U772K{M{l48v(=EOV~R2cgp83C1w`3CA3P%Q`FwL~z~rqOa!%?_T|b#PG@24E zP1f7pGaQ#I&otFo@(BFw*l&5*Fd3NdVZtt?o30KlJk2MNSmn$*tQTi*$$dKw$|It^ z)&tRDSYqp<#!8th_1+?h{8sA^SE>c~>&s>-OEUd07X0ECwCLF>08sNr?4A=lMBaai zxFQ4`4KXsSS?rD3l*QSksreXeMQE6W-|HEanOc^KTX1FXkJafnt&3ffiDPq*Fgz8c zFZ`c^QrF1NhK4=Ww*Bnt(JhQzt9iB`!h~CKSfo}H1XUk~^k{)n@s~1OHvRO??a~P` zOtAx51eqe!Lg3u>?ksf=IRiFB8n%MEF*Ns6$H~Y6e*hEf2LjlYip>M=-4f*#EZdK( zNpWs8P#0>_af$QE-&_$HcKJX^0g%p#k+tg6vx1Im_;Vr$F8P%|G3Jy4EF60w#dY$u ze!MtO#NdVed^-o#?6G7(q&4^DqG#k&%z=83H^{|QxYqUCETV#ekmmF+h|Rr01S@zk z68%g56!%xxAuLsJx2wxs+$O zM&40^^BXS_r&NvCG&()>jPIzGNv6n;MKg<(C=FHaPuG6T!G6rbeq<#|s~d8FDo$W4 zW~dv5@AwB?3k zZH-0{?QXq7+_2lHIQ{}#l|1N~*y!wN<{4qqh#z$YX^tM1JKV$=gD&|AP|$JdkCjY6 zXRXeF288CpreXCdXUtQbTq7TC2Vm@Z{t52Z6)SuMQ#JBOHUAI@@gNZlK)F|Q&E3~{M&O8L8 zU(^Ea8xp`}>2;7{NZrX$f}WnZGGqIB)Kl%{cI$N3jCLUJ+WC-i>FPivQE!7;fh={Y z7QR##ki++Vs+ttD9_L~dw|A7k*?V+odA+q;1UTn(mrtBu3K z94DQsPBweN!1)yK^fts?i3M?7)F?@$BM7&)Qld^QsQm?I_*x)m5X5dE66;?eIohj8 zZ!3T-1FbQVg!5TioQxQ^VCN`h57UXv+K448ju(ab=qw_Y@eHgMOs~|sFi-M`CN+bR z0cblA1rB&6@AN@o=mK_&UM|IDR`eOhWhCh&+1ZJ;7(&2cvU1rZXu^}Ymi-TBiDSJF zgnE!kfOKaIEgRxzf?f2lZYiQBwmi-+iS_XXQ(BzX0CB2V5XoA)jU-O6t~?>C z`3_2W2NY;aRL_c0assg`KgHy=x!tIKmbTo{>qVUG3&)+99;Kti#zyC{_f96&oj?lL zO|$#pg@M%}_Gs0|958576jux4*}5`KlrfK-PA0$5{?8;3XTt$Rfz5ph8stFgP3$PHFR1|gYK=DpdTP7xDr)mEsKoGrwXaRLjyn(7i%c7EyE6N(vHe{U!m@) zdbj)-)X4^_%T51uuK)e6+Xyv;{@hv6uDDWZ7ij3`iY3@;X@&TUfNMeONr)J8{xwiu zFh3g)13zi>I|(N7mydLb&N+E~zd?JB__1}=U5TwC6a68a`%kfjO#4O#_~A!mzi8qw zk)`d~0|Z01H__BenZhGppVNdT`}y#A*qF&|5Vj7TXDZEpipM{bcvK zqh5Z0lVs{^MLrH4@e$l%{t0|5cQuXZCg zk6ztLxHd9+HrnOs0=O#qnbQ;cv@~tTVzd2imNA*n+y8i2X1m-Mic3FNV<=%1_bb*4 zZ>`}P{X7?Rs*PVxH>#SBjnh)xHBu9ezBT4A+^Uv!#9%PG*c_cYGBcVyhE|oTR2n<9 zx7zE^zI*KpNY)YK)1sE5sib{ZTf$~+oNym$7oQfwU{HRGbF8D=S|coO#ihz5zKCw} zO%l=yk9)#3m;wY@IguB@jTnE#{a7ZO9X(p75%T5IqQ1$5S8-%QRzY~o6rWMqV2Y~q z$ohE*e?2YxO^d{zE`y(-K(yOs21`>^Wl2mq!|6=Fn3arHXu#9wvrejR|SgjNht=K*%-*uii3(w z5WHJQ&Ohlnn}|Z0@U6&8x1LWeW#spABv0z?ml)Xx`wm^t1G#u`+ zwgN*s{$$xOeE(|>-x7vuiYqv$^4qXXX)Ggn zzUsdBL$XjnFeImNNQRV?3FgW4S+B>_Omb;b@EVja;yosA2RwhGB31m~f>Be1y*8__ zCkbRj=QQ9in6))+N^Dw<=!f6LZ9@BBe7>c?_sjAjY+^L2-^HRyC8u2&1;>M&Oggpc zg|3FK$7J`kdCdp^WenM)y0&gd3%U0S(n_S`9w`h$O5?aTonT^(2?xpmyo?k$2ZOb! zpgbcW7mJk!Ud2(BXMJJ{W}vfu#!w@dlR9R(#`6B>>a{U%Lh`2UQ;^2o&rZ+?A!K1P z%{t$tG=&Jx`UO-K7tH@O!rbN-QW{N~vHtQV9eM2wfTHh7Nrb#O)Y9!TTsy2Cjb?${ z)ZX>>Olo;DPWCn$?q-`r=@9wJn|^jrq&0(53^MiY6kji1mEnR9pDK;ajm+VvUs7=@ zZl+Ulj?P%;=FS_I`FbZddKh?$k0-Zz)!e3&Q3JOkPH6%nr|9scXY-ANJb#rH-R0HW zjwX2muj1gC+gyU%FHx28MKx)9U&$fD$kVV)wdH2nn#mOpZzIV#4hOj8C|uinJdu?l z@$yFY`mBdA)EF^B6hN6_wKVpOUCF6C3U+N z`JbXxEOTbwvH_zs{u$M(0axtj%yo<_*>@aeQxUSC|7;`wLBX{1e6qAJUf5npCG5Jw zO4lU_xc72Go>O|ZaYbq@(LP`eeqXmY4i8sWXdP;#tVT)(Q&`FfUf7_+M0_Lz6I%2? z$OYou54=>-wrnbbSvG28*vft$9FG`o0Oy>u?Nj!X!^$}B*Q)AD=gAt*r%dE*HVB0) zA+jXIu8Sba*jeE=8*N-q_xqoZ`qSkv1(?;8 z5l*=lZ`NkEUffzBI5G?3g2Kw9?V`ETn zWLqkma4F`1^bjjXs2^Xu=@FTq%wK7|1WoHng9A2Fn}B`aA;Tu;E7edZWYrt}_viVK z(i317fIL**`ehYDx9USbN~#vpO9=tDK8RcQ8b^OcF2-g0`qnm%a4r2vrz(_h52Gp+ z+z$JYQqnn!`^Kf6s_iCPLn;QEsVU|YtprG{WX!|tj+1<|I<4e~pOFrTY`Qh{ka8xY z9h-R4wF*z<;dd@?)~T~E%p*@-?A&IX%avtj(&`l%FWf@R77&mDi z8Q)ront;;RIQrjWXCW)xr!3R>Lsu6n^5KoS&EJ9ZF~}M_4+qV3Mkm^~o6{xlfvo$69CaIY zYYl}jbzk>@2>1P~y{%8+3e9cg1?z{jLhoy}!l)ettja9dg{|C5lX08&!+Wc2>aDTi zHgSbDD)R~(mmnd*|2F8Vb;4_Uw2~DB2ioIN31OV`a6RfWbmwoabwi5_(a6Toe|aq| zvebdJWxL^9*H~<7`F`|JPz=kvXElQNf*UqeaQDn*SPhQE=8 z6kRwCA7l^CIauzXxN{H59+9fp6atlstsUS}n3PD767o%6`Htik(Q+d>nGF-uQTPhN zCcd!2`cjQ~qHT9Kb)N9deP4P`LEO+GT>F#C)6YC&c)&taAOGdy)C06#ZnAvFF2G06 zdd=b+k5Hdp$Gs){z2z%n9)EnwO!CBVQ$>?xkQMfS79lgobll>ya7k`zs{J+++#PrK;XmqsS|+0zp#8|nWoW8ydn0=8qspQ?nmOqcgk&$skx3~hM5R}7{hT( z2_ySN3W3<mF0g|J(z)kinLzFf7R2hr_>AXnhll;ePtgquQtT9x)Di&=NB% zp)#^?Fw*)z2blUS$1SHjzB@%NZNK3ix0hXe#!9Ws7KV1*=$E^=f%L z>b~$PCX@V+-r#@Re`}2`qCO+GH#>5F#k6y+^%kf6v>BgJ1Zin~!WtL|Dtj-|)X$K1_~0e@y>S>3tdK!CkeG2!}`A20qu zbv>-vVtvKet16ZcHiA~O*K)erQj#8TRN;zv{QKza{4M5e%4MhEon+-O*B<8&Fzp%7x0=BI%#|~enr?WrEbx@=# zTaiqb&h!3R0U$U~-yM-iz8Xa)T6rfayN|N5{vY2!e!qmV$qDYz7k28H3*Jajbz7-| zz8B~m(#`bJR@6zFTkdihi8EwEiv%71V?fA;Ou3fOHbztDt_mA~@C;dQpuyHJ{Ih}IBOaYE%C&y{Eo zp|Y-b;SGF0SIrAAN#yRGt@!6~NG+%KU6lhUPxN_;q!)b-B+8YSxSO*7^qTR-C1O^T z#PG_LJ|ypn_tA*2jhh0fq0X&yJwm>22Y`&F?4H@~FaMO>gA!=DM+I_fZp&5piaE=i z>V8lQ6JhAfHGV|Rb)U}hyu(AI3E$TYbgrTpIC`xrny%NIp%pwx0j})4GRPfx2~3LF zpH=*FBeL_@{bk4AaCKKEP}VDwvXc&yc)Drd zo%t41HD;Ek-DPh&X{{6sZh5k?6Y8}a{?>_=tT)rNS4F!d#yCxnRk4af_s@cn#ixAR zSnUD@Q~c5mDJJ1)!C>;;un7#UdNYZ z+|%ArDutXLg}j{1y>yAnN!1mJTS|1xPR?qo{k=RtrTUEw=1_$A z^l=+4E^mzt2G6Mx*}+vTXJ=|@OUowXmch-5-T)NmakpMJm^l}E{u#bsK=xt5jFzQKWK#q z5R*5l7zjQ5=|i#$ef_L`85jCm`h|{DkeQopI=n2oWXE4Otj}2^EDMWkOeZ}XSXFY2 zj|5!o^H_R39B!B%#!1ppXYtdd)cQi}79|pD>wH0nO|GRqoT$ov__x3Q=zx0ppgklB zTO;|y0#@heN!!X*xeu2cR%<<=m|R(qI_yrziWh8aI?#|L`vF~w5eC>XTch~q4=dnT^YaiVNB?%~>^KiIQ zOnM&(^Wl8=<3K`Q&cR|t%56tg0iWi_{hka3Wqw3og-jatHXQpH;NzcIUJC;E)-g;* zBNPy)FV+umH4f}+K1mh7kZjndW(lC=8sw?7MU zXn)`~c3rDRist6z<(M5#Ei-^W4*vVD*;zm1*Q2aS8kYgF=1!I?eIC9ue*f#7 zq&EGpylF7>c)?^3(;1_oI%v-EKU{dFayV=(HQ06Gi9w0C@J5ZV30d04l9u%s07Ok>g~jjJzW>>jCsvmx%LcH31A5MxlDT`teF)*K`mOAdy3Uho+~p)n1$4|^S{c{zM{dc-y13J1U{Rh-Mzwf<^#q3SxG>f z5c<#9IKd0Sl31w$HOZd?ky0ZAa{F&!>(pp8tT5W9f>Lc#IDR2y(t4Sqe(=X`fALK| z|t7%>BDkKA>%x zangabzFSsMxW~z%;PQ9LxU!hb|F@l(ZWgmlnST=zGH#z9u;F}oht#B&mX41?S`YAQ z2SoQgFka<*yDo~YrCszLHaM6(!do78XDN49bN6J4Q$i-r?*Xv*2_t7|ABJURSrV!q zWNubnYOeq0%qW57mZ)MaK*imRyC3gQKRL3J!hDiD7Q1h<)+A61a_i$#Kw*I#Dn{2ospLQl z?P?qg^A!rn{~HS!jr1+)AZ~Ck zAo1T<#2oL6y*sEYoD;32>Y!oc|8L5H2>ZWY^&g%`ua7@2n2cqai4TOs$1&pt=N7-- zsIgDH>JaEPf$=pnI!-C0&fF&MrKsUqjN-l!%fYy@#NaWZXZc_kZ!q?g&B$A9UHFk` z9nI2Y-FV;e*6KO`Z9jB#I2Rt`d=;nzdZ}#vmnqNpes^2-IX{SPCa$EUc3aU?s&d=o zYKRaXE4KfQrw?UN=&k1HMubK^ttuN%|ITtw!|GDQk+K8Aa;Rkv zj|L4VeRB#X8^-!zV(PTj?jjdnoFP7e`J1Oj=WKQYSwGCdCXbuU=rP!mp}ms50m*q*70&;0V3*1qoVGFoxTQL*8$e08YKV~opt zzJHOS=R$!}C;CP18N^a9AI ze!GTKy@pyz!wjQDmHNuwXUA|KW3h2zGCsc>&s*E&WHA?O2Yd1Tq?{VbLn}Vj_&mIv zJGpLWXQwo?sTb33A*jYe8Ect~J}|TV!1F8x|1j*{Icdhp{Tr>tzl3$7nM-FFFIrq_ zNWHM(ir|dM&Pv(IJ{WD4IIP?k+Ucj0kXTX`NYvq8bzc*P&W_*5Pu6`{p7gIPSg-3J z`je$@v!G~^*chcg44%sxXbPd&UCc>cdPO1mp68hc6F=Lyn1MkI&$Dj34<5iiT)n?Rr6aD-D%GE5a(|9c|B}(GV14@@0-lFvi)b|` zJAcL>FE;sOFi$tuax~~D!T*NaX8+XQ9cPUd4xyisbov=@=?3KcFFnm078P0ucIBC-Je@gQQ^Kk#OZ(Z2aomL#|R1vmQ`1aB-P+B&oX}S zrAAi#sV{sGR#sAyu9KI=tU&xwUM^5jP+)^VXtT4kcWfJ)(sa=95tLi-43M7EJ9ljn z7qT2BX%>$Of3On-72Q+`+T8plT~dB{s|Nd?yN$>YMZ@S1iiRIQD!X%dTkiIrMZU*k z1QL|pXIjV(n~nblAN}n)Hk7_N9bxnG#Hv(fLQ9W6$Ohx@JmEemGRHvqdVfNN*AiuyR>x|S|Xv)VO z4yW%Nr3LJJ2I{VQ7^GD0-x#*4# zXeb2l2VpyMfje>sdzB3Z@2I)g2*)=cQ5%}qSaKK0TXiceN3N!X$82^!DQo{GNQT`F z#a-U|Iye7{J=JKkZOzy9An#`k83({W)(8To8r5j3#HOZJqH#DtI_{!bxyfO^ARcxZBqxH!%0|BdHFaUCu3B zH&ooM^Bg;<95w*;u$=~*d`526BS^ntGWDFth3c;v55h*RJ{?xn*JD`KQrfm_{Ry?2 zaakbO-ZV|~oeP%3MUe~a9+!Gr^*AJtPVYD1BK(czUryC?-z$fe%xQb@rVL~TY^y>Q zw2$hw9NiMW@y#edw{IWg42^!k1^&4d-CO?)SVEoknK(`;vvgZ_8(y=yIOi;Xq9kNz zXK_3ERdMjcDEW=8Ii>o8CHA=Z_)VWWVS1#ocy59`a}liIb(1L;i=|;;XkPVLC)6rt z$*{$m+1iE`)*pmf^OL@qTyM1(Y>1`Msy1Xnsm7@0Y!VLL5r`k7qYtAKzm96-)>d|< z?Zom6ANx^vSoRthUOfm^JXd1#HlMc10XF`{o);|@d~nFj;&4^OR+;x6%gYURF9cpW zO`VZ8qNKR^%h(ugX=&;A?rvToq1LS}-lU`?r&V!gg|GI4lo!t~EG?N?SiDY4yLc9@?csn`XDYx13yB8jV(i zRMC{F1NnW3x}nsENnJ<|M(mlH^6*5h&yd!G*@)2bw4&mtV~Zs3!A!fsi%x{Kdd%{NPD>9D53qu=ipsP{&83hgL#%t~@^InymkW1#hlbv? z&U~?#{Pu`f`f7kbnX2^?R#n`<)Pt$VIHkE-BI#E%EY441=F>7lfj2$^IAW0F-Ro?|i(fBob~6i1w~_`K^V#_&GpA+S6z&fDCCSQYUNtf;e%X3Kh4Wdk zu|4%xqQ;-fJMfS&(#5hU_wn$@201Pq)4w@%HV&5GDm?urdo@5Bi;3xa9{MbUgM;Id zfI#!W0F|4Y8wVFxNkzr8YQv+a!&ZfR9EEG2+n<+O@ZPGZtkl=jn_3#o3r8aRaJYy; zTZv7Hw6oHXI_ZQi8U6dQn%*TJrq?>DJn>KtN9wj40%cDOnG#g4lfV0_7ypXlLY<%B zFUz7qBo6)dbT3<~_XW;LUtN06dn-2R%T1=xoB9GQj(4;)GIQVe+`3fRhK_pe=KEOr zr$qg;Zx&C0(Gzh?TnW%zS?24eK0b*xp6jmrYj748mNpCC51n&NIN4a{T)`3ir)kMS zy3xUjBqtvfKm>0BbAmE4S65azLS+UH{@yD#)$IkGdD52HGfu;5d8>3ZylJ{|+IirOXTG?%Hx<~baUzNr9D)dD(ct?w)YcVntR71MeS=?WzS-f0}0FJKU^_+;7(Nf+aAjZ)gW%y#`d4hMg3 zW#zrIaBY7LH#1slm5;$dA5f7GD(1jqZFm!$s|~Agj((DNzL>l>dGr=A(xSUrIm}pz zAC2xKA<@lVfwSLq?1)y0~+oSp?Y2W>TAkhH0@o` zr%VZXkILg_*6gDJSv(hVU3uQ2rFGc&E%%;Ml|5+&1Gyya*2X^mOn8NuwQEv@0)96& zk?~@~`=zm_MfdCEA-Cx0GW0ms{){YbG|AqRW{XYN;~2sz;s=Luc0~wHP0BR&i#h%J zVd+!5J~mEHR)E8lSu_cCfOJOfzbR!_(Brr%ew#u?MWvj9k8mki zMvo)T^VhQtu~M`zqNdN3zDy-IW%vSlIeZD$S^A{IKzAk zxsgD%=aT$!HsCg8Dkvobx!5;jV`FBHj>v|?Ri~ddo{_=9=b*U*X?fIWAy+sTH5?94 z7V|_F7xSFIZ~@rVh~J)etp@QSaG~Ed-}_-rr61Qm=Za9%>apMjku0jJl4rhtm*$F@ zU{Z50qqML~fV|a^OMAAhXmE5(=^#g?RXAx^Je@b`{Z(}deoOtYX3tG{AQxsAgK zw;W5&c@)e#s~Ky}nH6L-s9-P{@GB__g(6^#LCXB`OKJE!#|;5xElQasQeb2hzs(~q z{=M98cwub~Q(niD)CIsQep?N0ceQj>*~*Ibc4Wx(w5gVM!J$#)ZHZswP7OFAsjLU2 z>m?=s%u*h0gh*|x%kfJsVT-RXsGPH zFZ1&(Albiv|Ng!QKj~#Oh^HVUbJ<-Q9NWuna;?Gb?C;NPdLefRq+fGc6iiB`-SReP zjQOHtV|i;AU&8x8>G7j4RtiM~!V2yM4PA@~Q@F=scJCsh4}k)ytVAN|webQ}psioc zm(zbdNX%w9IA6@sIkM^@DkfI#zIZ*=fA1C(6BDqmcVOUkvzf?7cc5e{$o{By3-UUg zKX z&!j5)(az&k*u;E4;n`^+>c7eB9(^mtZ%I|8z2vl=@^w7JR^+s`0ZY}?)Z`ZymKGOF zbH(S`b!pV`TrnxuyBN|0syA>lEp+ws15(LUiqxL{m~Czm)Gu>V_o}Ky%;>_* z2>r_;LHTbH)BH|jj-QraoL^*?tqf;Q96#f@e$;b~yznm1C?wth)ZC>{%c3BQcXtu> z$49gETIOv`${G%q3>&yYMh4c`Usm$g8cb^XVf`T?;Z{p)>*CVV z*E!d^@>$bjJqtispm)vA$x+DZ_nq(LxOrJJHS)&~jROKfO7poZTF4~nL7x^(MDbKPnk}amasG_0;G;7wjw&`_shw6vt&{;iLj5%+@ z+h#MO@B?PlTrQgY<5g$m3y65z-h$KnOl0#vK*Y0rE_)eg)k=nZtFMb_I z45(G37scV-&b}8*x9$dGpM!pjJnjsQceA zZqmYs=xsT`ur#-BrDbHiT3vMjsSW3YfvYDd^GZqe^z~f_N&Q+T?a5@X1lnG(^ZWNJ z@7}!w`4`swORc*a%eDQ-&)w6LPh4Et*O!o+RK2CjED)KVD8I6{_AHtinoBimU$Hlz zpR;KvihAztoj}-MH!p_)#b2I(B&}kEfaj<`xEk@ydvE2I=laClmsc0cZG#TG8wv^{ zI^(&w=i-fdB_#t)xHW)_<)a(%Aw%u>$ZqSSpE1*WKi4V-(llw|0(iKGgzuE;=~n*vFV_Lp`3 z&FN1e+}vlq3VR}YOuuF(W8V2oUnL(J82HxM2=Vv#&(F^8BWxnAE3DdDtykh8Uq)5$yn=OUYPvEZ)ta%S_gl+*-xC zt51TMFDaME8o!I6!`J@BRYhLLsfv3%W#&IO9bN(};1>{ZS?s$HW>b1bMxZ5MPb&2W z6ez@Od%FUF9#4X@)MD`H#ayj0FrP}13hV}5cCgHJ`ECS9Cs3Tk3gfkDR#5oI z#?3Y+ad5s!LPEl@&ZpeNvmTmzHL^9bOudkWRWp|gWOcb@s$*r+^z^hpWzw8$f(36o z$aW#82@5l`mtcOf_2;i$A-BTyoA0s&-!B~OE)%)lwS}g0ZikRA{?kK1b-si(d`29NtSwNOYB2_2?NGi1lS| zqiyf3t3UV#Dzdq``R~Ic3D%@LdtO}emvj0@--nUBYlbfK1tcEGU;1j})?4&RM&H~r zr_r^XLC}sFVwLxhK)tne>enrqWM#&FoD;nl%jf{@oja8i9C%A~BKmbik zM~#$hb@If7goKEFPvAj+s-B@CIDEz1ULo396a~b^cFp7=5;Xt)3cei_`WFG*Y!7$UUn{A$L1@ zfk_h+Mu7Z*926dU?ebLP;`vu+NrK+&qysf_mgGNrayeY64so)uSldylsZj4z+bP6- zovMR2_KCenVM(IpvvE|d)YLSrA?ee2c-K8l<=N@{((%{>Wa-%ngBv&CPuX3VVX`eEI9=<<^+$>Vz*}q`On40&U;T zb$>&5&$<4<;kujx2?mf~o5G>8W<4o!7c{hE&5GN=bOC5T^#`vp%R75}L$qBlU80Jx z*p6Z2z^>KtN_{vSx4&zl-{M$FWH11|FJOjjcoF~#zc;k z9R@`|O51w`^9xemHr1efqcIP<^sezXxHZ*%d7x8P%v_p z6Q-B+xYuVd$j8sGwft1O=jNkFLwaH91Lq}t#8WhDK2yK;#7S!>_AiU9^<@3-kD*c1 zEdeeZyIYamfY$nvFxkP^5X%~uJ5}~jxPbJn5|^}aKUyS#sA&%tGGN?mKEA$Sx(_%F zpvzfU+0KsLv63)SC(wB!qk+x`iMo#(!aN}5BdJAeFoDE~OnGo0Ul$ z$G1OQV-$8;8{~8|3kxU#L)GYBjzAawZb&JS2?-|7&ZXb^he4AB9} z9N?0>U{4sW?C-;s+^ERN7Y+`1(*1j@Ux2hgx{%V^6Q%^uL%N0TI191Mx;Vb~uW~i~ zroO`Atj7sk^uH2wP$Q(`wn`W@LW1wu=A%5%$rCiH%|qI_^P83D$$($%*O z?!W%QEGjKEC>;+jHim%V_d1P@c&J-YTwJ_h8UE$H=ofzX-+AZzxxBXeun|;UI7~YR^2aUi5%8u(BKu02=xgF{=7(%~F<_uH)1FTH4#!3(Cq` zyJEP@z0L$5J$mG(V(QadnwXmU)?zqk69guR6gi8GhlCS8zpfQ(1WvPA#fh?6vg=c| zet$NcsKxf?`kLjP{(kBAy)E+YZ-O^ySx0@k0`E5)Dgu(+lOuZ-DU&+-{kyS|k)I`( zTb5r5uwo0_x2|6%VcV>#uwGeTpLec3BHMJS8X7)k5fCy`r@4Kdjf<;!A;GKrV0*y~ z@CJ9_rD=?Q-2+|ee!5J)%-(x=9d}Om&0_uMu0Kj=YkKdQ)h;33KPnUck|iQZ$ngGb zA&WIC>D`d7kL|pAwu;X`lz>@*-VT*W-iu}Qy!|i62BI5!Qr{{xJfw% zS88t`Iyk5t+BRFWz{$bUIM)#Y*O0Ta`<>c^1_JZK=*;F1`|>io8Br#>@|qeQ)m$27 zWguAjJ&z*+r^2VfUPAsbUTVY6$ysdTM{|3w4u~@Vd=4jvsPAqY0`NsnmDRUuGbpb- zPmTnpVNDxS<0P5E?@r-NV`aaQoDj!=4WE9a>o-D|DL&pk{xKN&tW=NNwJ37+9n@(Z zz*$Q4w}M-M`vp8po+*LnN!mDLUrsz!s1Qo^BoT+(dg6ti9@3q{J`<-2!w+a09#RXX zN_=pYFaYVXTU)OT=jtvX^v=o2$?p@-kUXI0G7iOatVJHGI4YE14YN?Mi4osgQwrTx z3vo|pWikpaznbpu*Aj4t?}7?6uxe7qoiv+dcdwX4B|U(yxw*L+h^!aJ#%}hG4{)@a+$HqeCHQsB!qR##puJAi zg_GuC@GZPj%ucA;=S0H}l<1rK`ub{^?1SimEP~(u@(hRGGPtFo_PC>#1^5!A)y ziuwTx39P4OeocI>Tg^{w-IubeY%Xy$qK`<`y4cPSM=f>JT&Wkt7twQfkA-d*>2yPS z7O;yY4TWGSU@bS1r1SlI(D2Gh+sCEXixo1^YkGRdLk9}get*)+GG7hw%ZI=~yVK(X zMcrg96P9!=QGIrtE66Pn>ADMp^g|dhxPDB5($mczao_wYl6|OGJDjb8{UJDbyZ1ST z-NBX-K-8Yb7-<|Ce(?*s=QPFxpGBuUp+A^kSghzRWQ}??NNsBM`Z10a4bPl&ljp7C z$RaWUnsilzt*5#&fXF{;MGubJsOrBO72= zA#h)OaWpYqKso2BG4hb!go0FEU5)hEkbcIOsgbqZGK-c;{F;C3AuC>+odsW0!vV*( z=1Vre=Kbmc)X2LCmzvPIZp*6y;>}jG&-;h86e!x{(fyZYE<0u(5t}% zN@e{ti>~|TC4lviB%rmY3ztAKt!IvIzXmoFkVCoC8gYXA78dkaWm-9|o*<48ONZ9Y zy+Nxiu5;6vQG9xw*`A_@y5)NL!`HM)tb(-b{3RMv_0NOF=NDM*U~^v(4Nip`4!F11 zwCHZj&d~{gh}uCW8SlrhrXU*J59T6@V_Mq`LtzU+T?cghw!tog*8OU|nTkA0;br)m zq5n8L-RVLvvqk>BHm$jAY1$qFPISpN_g$VhQ)b401e_NNjn3~VW0ir$Egk<)=j!T` z2KHt}P$ymK9$~=d&XQt9WhJlIDSrVYg=?3R_QroiC2TzB$8tQR^BoUszh-8xbgp6u z7K%%=l+Ycx3o>h0JfjH{MjO%4()u^)x2!YmW-O!kmod6~gwA4N^CSQY&Qh^x(0PvI zd)cnyv)2`Uq3bbp;UAc~Y!uQTb6wQDWomuCln8$`?IwPZETXrhL=Q|%Oi+;rpN*wD z7!ERN4rVVwx3hO20^`?uuj2z{$9tQ&P!>{#9Qf5G3dtXaGGt)Va2R3XtKa*~9#OW(IKC&G(AI(E5BV}GK0Zb6!D@^Y zzgVIilB_`d1n~^8tbil-7WD4N$NUg0mNqtDGL|j;TnZRxYO=}nYSEuPYm}sItk2gLZk!iI6&9ddt z+CNU|KrUC8kwo)*0;AEDmrNXPT|8M=odOnf=^(2E!3Wm|+Yq4EyJz=M3-5qR1`Gz9 zgjGl=7)tq^{oRfuub#zGQWHESAZb}x1WZm&3Z#k;I=E*JN>Jkb*qZBbKi+K7D!0Fs&@=q1kO*Tsn&r(Gk9fQ%nsDF!Wu$`B`>u+Y%nJK?F~U`!7y zWh|~5(@W*dv&3v=Z4inR-OTxxwZ((ayjS+yw)LrOK;SsL@p`S)E$Iks)OE5Mx6L_G za*-hR+a)s&(TnD|?ARF7jD;H6z>7me&+EKS+Gc1!rGv&y@77aSSDyw28PLO%#BU^+ zm(w#Op!)|N2lC3$(9mA>9jjuEI}{Wqj*j@L{Rhp4OJ)x9VbL$7hIU-5;b8+5fhJZ; zN-D3aN-AG1%Z;IeO8milpQ#NK&`$t+*-h79au=LRlnlHi{F^|GEwZy2J(r{Nr7!m* zJB)QM zLi5S0lE`BNKT%yd%8uQz--_AxWZo?^-BbI<(MrUr;vDdGi{7tqx@G|q2*k@&7nR*3 z{OCzzM&mmogx4+$^8|n)z>tj%R5}M z*+7*rF}>-w+zDs&d^W}S^H93Nqm*@BD4&mEG8l3e|zz z440T27Nmw7ui&Wc(pque4vx5ZyyugUV@zTlgB74ovs%hBH2q^n51UMwK_$$6@hH+r z*@RbP_UM2^S11tA-=C1o$9CvtwGLQQc%TB1k&(6VsX$#I58ggLaDd#tpH+qN1=EBr z$`F{txj7?nZtYp!85kRDM_{{+P0N}S#mez_k$dR}S4HH1x$uLGVhgY$N2gi>o~d9$ zZjM>>V8B~PK56g*0CDz*$#QRagM;Psi!iF|ha*Y2hqv*U+!?(Z%y#N`8})l{HVb=n zRi2P72Z^gUKI7ST1ot}%l#(bZ(JT=RVV8wSe1F2+s7+>CU7hQ;9^V?|M!Z{cUT}#& zDDZ8uPO2PjKDtQ$W}MX5olvTMI%kGMn>IX?r8FE-*^Rlj8rcbyr16ul)T8GQ9=5PPxn{y z`6UxdV6g0Dahpq{PTx=e*1*M#7>*n7FO9sf>x*T5IX-=C)O}DCMqt2q5@L|_ME>M1 z&GtQ-`lw_xVkiYq5-Cd(uKE1x&W|#>+;CIy(ZWo^cblXxn}1e*Z-%Ob)>(#LIbhUU zx67|md_k*B6V0rcL+XD2`EX*=l4Y~xgh!Nq(WJQQw|2RhiP7wdegE7O}cEW^YQ~QB*V&~-*r@|dA3{FjY07wq# zE(DeTIyx~ie=IjRdK8G=1~mXUCXj1xlae-W><gIPbPRBxO5=Pll3tnzhPwGFHAdoBJ-{D76lYPZo)1u{Q|FwS>YCUSP7 zO6}uyg;%noRlXjCtLW;7CTqq~#<_kDaWatY7R^dds16QjDsK7}!0xUOOTLah-`B`y z)J|Y`Uks<49=hfS`1+=%?;w)_Rk$LE&RHo=p9lWm2!$%%Gl@=-|HCBenVI=RH;x<7 zw8tORG52$#+yUX>p!Ek!O<1Akv*dX}OD+c8cD{@(3u)l>dJ!#Aqbp_)BAYO#O13?t< z=lV>z1T_~oce&d>Gw8H%law9yOwL6>`%O%cLO&u!vpu#A;=s%%%fD)__v0U(^Wo1F z94KJV(1!zc0m7(6a$kOlnOU?bNG*DL=fm2-zS9T_GzW)on;~D=9h9&OEtIH9-jNHF z9(nmU^V8(#oWH$SQw}s7pZFBwi-%Rz{Bf4Tpsyc0Cge*K)qSXSK9pBBuD(@HOdV~W zire2l%fVQ>G5V|eZX#CmmNc3gTGXrB#3Y;dU;zSM{GX^l6?jqo`C@bmod0Rsru z{fT)U=>i={5ApHjq&G3&Cy^e-eizX{IzW(6iW!209zE&++9fI>VXD-7MLsP9xM)L2 za+uiUh-ZkEoBKIGInnsHOVeLNJ=3l`@+8t>BWMK-a4hJ?Gr+h9TXV@}jZJ0Gj7f;^v3mtjGe8nUX0U!#Q zL#rDbfMIvl{2QMn)`6#~zrP!#|3@w>w5x;91tAn0_@rk zXjKY@6tll+X=wZe-fW`UEdtcfz9q+}xWWJGmU82 ze<^{Yehnv>IIKu{_eXo3#Aq7TgxYIEQhvd_N1jm*f@|PJ_;0zcN<8B5)kcQ!vMOru31lAvlL zd*RpgQ>ZM$jD%m*ELVLemWwjM9v#pBvL2DZqoehmomHit5&4Emp#QOCrN0>SwApFl z%Y?63>WB1k|HzQ*1PR+SZcH@)@abkeG-d~n0jx@wu|+Fu{}PA)vnNUxSAFET zvE&S~BBT>jo0?l1$OZ3g+NTeTgn^2pHIQ#~1(F^h^k(5lM#C_rRhGL$H7-2O1A04kfNX=}{zX zAyW=|da$(eu!*zbUec+2qFL9DdC?jHQcohT)pksL^rg8?5Mv!vU+l@WVeG}mhL(;VCH55Y308 zF|)R|Ze?YUx}LB00hIrArF#8*j@dGZC(kWxg6Qd2e%G{RtUnx-jcuf4wvBzGZ(Zit znRdd2?y9_t-$~F&aG=mp1J4EoJ8E)5SvlO23kk4&R^VKmDnVnK0qh0)3#?aBxqZIu@dE=KfglM1 zLxY4KB9a48RY)(|*rNj;7u*lE2VFL0?gwluD=UbWWNB>;FlE^jFSXyyda}YVBLk85 z0q~OEd^^%jd4)El=_+DuE-5~rd?5{U$8do2K}6tkcOd5?#pO)t>uF~A0fQqxo~w~+ zB2vDJJ(gTxNdxIA8F-+(Em8uh z>3>{6HI0hAZCbp2z)RsDE5V^ngJz~EyFvD$abC2lbwDF1PY9eG_ZGQk?8F}YtdPd( z{s0r@U~+^f4`x3#U0vFQp4#GJ3oEPS($WZ^*kFGc7pl(&@HB{bncuSm&J$wi*Y2<` zLbuX{jj|_#Mh3V%R>&*9_NcOU28;s;h#edh;fkRq4%~t^54`X}6S5M+C?#bh6O*?K zJqg=`s=9jceFyG5aWYaV>?Ab8JW*1{zYe{`l8PVGV(D3CgLzh1UyN!&1#ziAA8RN82)y4cTdd4rKS77 zaokW=25uEUKxFHHAABM)U2g`>A?fG()Wn z)dVZ!UyA7x)zzh-@ce!EY)AI&8Az)D{UNU;%6$f7GI8U)efj-;g>R@hfK=dI0{`*Q zkP4W!zRx#Yd8c7bfPBnb2fL3#GLF*N3n3Ex2Xb$* z`e%{g4ZyZ#hk61EEU9HEW+?=U?rXKoT)O(&hmoD)E z3!L&ElFd>YlA1I(B7?rUd#oTr3q~$?>VPSDD^8oaQf#zm`Gx@4K(zlDnh^nGZ?A7? zNE9pyZf=!{xk!RpTudvzQ7~$m6fw`xJwc!eg(RkH3$RDc!8{2Pp55Ku@xd^~2Eh%o z1k!{5{?&jDNEW7y&J4#xhgX1!{lV`DRnviqDt5AY4p-3!pp*Viw9E-fVz zk#CFvujWefj-T3KxKB9)&vE zqQQq*tE{fQT_Rh^MZh2SGfa1M_Vg51R7lW=*Td`pSIkuXXf1O>PhojEJa`Pq)3Y%) zHFpzw&I~21TV}v5>(i>P}gui=O^V`Q^p&QigVC6)h2b-V+JjgvedNpo%!`MHqO@SD&JdK$@PmjRX@p zjBrAwN9AgANZ*f>L5w}%_J=Vh%invM+#v4)rLes^$_^L+RysF(1HLSxL;eB2obv7n z5eb;xj!3!u;t5G~b#~Z?mKx2`f#*fu7R4~L7ltgryw5}Ktyu|TbA$0Efcf<=`N@%{ zhnzeGlx)4Vi_qS~B-mBI+weC~TVAk?ykZyB?v_$e?B~Gs$B>QZpB6fu5pwzU<9x5F z<5bG;!IWGIkDXf-?!V51gyvHH-J|d)lyv)Yuyal)z-BK8Z#wuDP}m2(s5tPuzQ)A< zy`p>84movnWQ0cr&kJNTDPXHuGcG*U`*kqQqIrk2E3!N89Z6V4zxbEjFSg)X6OZ|` zOrc*j0^(rngFE965K7ji!_^GWl$Aj`27Mn%4=|@wwcD7Ikpa~N^eyPO^Z^qo-NJZkaDSGPfw2nj5(cx zH91C%>Iqkj$6Ed$EgozEpe+fW{x)FNt&xICLl|H*^}!9~?J+k8sJI~QAnnn;kTixn z>cBuIB*5ein7@Hgg8J(&n4tFVTD?Ez9nDWC(xSLbBNxhJds{Z81yGzf+Kukpl@wmu zyzO%Q;#Rdo@J4tfM*yJS7_m@bU%rBkb#v1WRIO2%V}MVBLOd%WD&22x5dkxCy)Y>; zX`MScYvp*2OnVqAF$|bMQU{985V)^r_cq52GNt#9j*fuoC4xy49P=#WD40_05MWMP zV(V3kvXoDj<13q07{05i6gAb!p8qM4-L%Pod%B2zgi-%m1!e3djH zkPwYHlgBewCJ+#=2;lB1uT^^*UNwK0PCq0w?$cnY?Gy4UPXk`Oj9&0Hdpjp#Z<0f9h zw}V&=I#^mpI}jvwA-FNoDTyn5A!2}RuJ}DMjc$gy3V=u>YkP0v-B3i`pq3zpEYJvC z_+`qqJlFEU^0>F>^yckbWc{S~E(xcFP<_Fimy78&an{RxTp_2Yw_=NhrQF|!&k>(% z%u0v5cAi1F^iHPwX_KojXaXw*YK$;!+uPs&6dbNl2wU3ELyl^g{tQnRnH+lbD1X%Q z2LDX|j1n!UvNCW42qy(|)MS$p1}-OJMMdb`U<5mWKvFwht$~7@e?8qgNs%$ zffg*aQIzgs%lLo?QR|bHZ&S=*Hc-Rw>+p(|*dT1=uL^XK>dN3o5c@Q=JjGWPq3paS z0xO*?w3q+9$kRK?0e*~(3Jds)Y9=Q^vdz$T<#&yepBS1Sf9CE*$)V!nl%mp$NwMeq zUC3x)zq2yj%LmodJLv(~N}<((WOWzUAG&6sY*D+voIt;Mau<>eG-kNU(Kfc`XPN(c zFJSky1XFCM3Z3}Ff1#q4FT`Z?6DdW*PadrH=~}(GTwKNEcO#|!(beY9QQTI}m+!Zs zyXw2SIBcGBU1T19=+K=SM|J0nDHtydO@{PpAE~esdY;27Kpm5!X#j>Erq(^JkgxX9=%Do}0a)J^(&ZlDkAPDLI8U3}6Ev8b zAyw$QRRNfrvqvU}!0Q4+)<4jp(!=i8G2jx%n4l3P-zM%?I(ig#7{C-R111O`>w z8uv#=>%B>99pgJnl{1JjT@+?iuADA*0QD2wW*V2u$Paa`CH(9ZyNpv>UFwgq1_ zNE%>D0P|1-nATj5f3t47xc6ZFqzS`H?Qer-4#vh2(H%t7UxBZ^Zzess3S&!17!K^H%ZWp)I?|bj1 z7{1DRt?}mB^`vo8&crrD%LKxpjWX8JQCw(Vt^;`uDlNn-%yO1%iK2}l5&`Qz7mUwY zff;6`1REDxT3G?b+w%K24?qhTG{d=q0Vz8YTm6PMpaqy?{rU4A#OlIy!&`9nx%V*X z6fnZ9H4K5zfffiYS&d%T5wH+(;9r<6woM;y+L*eA%43c=)PZG2tr}#CPt< z>xa?b8%B``6hf;Lxal4DVq5`7B5ty;lZ;)sQf{P*El-PUJkDez5{D@+B&m!l#aJ+( zwuZK!WL;cp0*}vUT`al}!`0TJF?2dHj zEXpD0b8_)k%J?_xbfui-A$MVuoQEsUy4`d;mc`Tpqv$3s#~(N_w!XZw(qC8i3Pf8+ zSY_}!F{xVc1%08sGB7!r4f_J+>}(UgPwM2xH}I*`X6~U@*=I;kYETZaNq=oy0h0}C zRbRsC4(((GY9-O8kz3_SP;hXjLi&Rcv9!WM#UB3c4{zSQ85kWcPX@nOW}w^-oG@}Y z8z$=r-o{BdzasyL&hmH+`AM;{14kRRxiQ=}=BB1%n=Z$R2}HpygJWYE6vsa>iAhKl zZ@;lr$Am*j#nE5a1bDxi%5gM(K(qu7@>HdJ+W6Tr$e zI69i{$TxX~bY`J&-EOwFsDnW69J zGMFc{2G91_nQj!n4EuyJJkp6GQX8slKJ8yE7~ z&%O(y5X!OS%A~yF+3&(RIYhAp`V`yYB{jY6V5E(L?K#X zxhp(RDnOV)0dtINXpW;0u9%AID#poJ7G=K@BSE6^ zAL8q6xceAygN)R#Hpl^%=0h!ia-UM=iyH!SPX@TX&F$?K4%|;ejx2|!YC#`KQ=$jS zQwGfO@-$)cl9BGwWm{+jFAgwI%i zypCX~3g5g!HWsPv?&Q6vPoMIEwhSlfS!CzrSVxNw3UQMMb06A6zx?U3!?it;G+qIL z?Cph~mA+(2IDTfmq*kW-{STNr2#m)ZwN!yMdsy|$2V9mEW?k?Hm`z2ti>j_iG6}b} z<+#R*7tQweb~K27eG4Fa&TSuH?%`j`3*^^rH%v}sU0U~93RkCJN;L8u%qXhRKNS2P z&!(BeFxN$kGO*y+l_<59eZ`bva|ydaZqo(G;T(B^rI+!L55F`uiNFZK^Q+t|8>Pz| z;>(&@%gTwnx)p~t52yBFpDQs(z`u)%ioSvs1MZGXuqMQ6e9J=@^bc_UyMo7T_cg`w z<5ZbA1rw80{+|2aF!GFYtlF?h;}!!ftjoXV(xSs3s&G`RP4sDcE0kv>+pBw(6{Sf{ z3_jLOtAp3Q71f@*$=6XZFg~7n|9Oz1W>}tJ(4!4$prqO_*)AUVGiODS6a0!PQ_@Z@T?Gc%*`7AHxM7 z_SrT+kfxx600Wnvn=1=HJ;hX}|MYY_ttbLUT zM_I3~qw4sLBXbLjet$e#Bvw|!RdsrSB!L!v?j`wn_j!KY4mL0B5^4dmm7t}bU=t;J zRnAf^g>r?-tqq9MDJS5v~Wo^p_GHC>Q`hWcR3^}M^Gz;h%PCmYjYedY8uoo-9gLq%nN@C^WU5ef9 zWy^7u+ixUN`-#cPhd@((R`lAWsqZbz(KqO6EF(-Y6Dwa_Fpa}dae$*T8^V;^p$8*`_GqR;Fl=~k+=BiSTIqp`()aptZ~NqoN6rDR zE154*Uj+mPiBwIR6(;O%lVFhA!smm)G!(^dvh!BxSQxCC`(*CgXVmu05&f;L?~vLG zvX?KxhAbR-oTsQ^pAtOt`;wWSr-iboWB|=82LUsqHp>v2r{jW5yk@pLy&L|8oAIB@ zX?Z@u`r}|gTq)vEjgSI-Lk+?Y`f?%b;n`Vo=R7wYRr#(W!-e3lYQTx|0^~ zx=a_xWA_A1%*%_5rczkcu-mlVhgIChhSR-$jUyy9w3y5|b$cfVyS!d1W=r@fh&Znk z?u^b+ql}Gr8^Y9Ypq_1MpT=Lf$u_l5(tzVJ<@I7Nd8Go{aHyNeO#veWM@=#3I-QMe zC#F~-2^?ZIbmIu{%4Dx``mU!mq!5^qZ8u~K=CI4q5ylB<8WK2dh{1fQn}A!>!XVd#o6PRmelAaln;5VV+{MG*u4ha z3QVKq!rXkGX4ME}2tIodC1noD;J{r6EHT!Wxd&{!~gvkQ~`|h zdm;>UY481hJ5mvOs$tX|kBq@bxqBhVKlI@WP#rWiV-N_lI>H(l6oh~Wd3;C?yg^St zW4+MiElD<9G-V-L9!>ORmd-Z!EdLr_KZZWEK({M1WusAc=E@YYn%^L6Nlhp-&$X2t z99`u}16&ElOeID_iV-|5wrLZtn8AF57UB)FJQRSTB1TDg(1*W=1%gf;@-MkrSBX_-aj|ks5Ly2e%qE!|8HvQYNSuT29|CLI**a7GEghUgD>Gjl6!3n$0gm8?&HA(M^3JD64dHuekk&I1boOODphWj68zqaOS`~mEeM?24kIZ;{wi*un@Iq@NNO9iGl@1qHd-DvNf`Y04X2ueq9Goe6R!68^S4kgqN`(>(sOyE zq~NK+q+jl+3BnF8|ihdU(c3pI;lBJ zQd9evXmYQfD+yjulMu-Xaulg>DE+*tY0(}*uc5<`srG%0Yp0Td+QY#>y}T$jzgsNG z3i^YR#EXxz6w=eQm>Cj!GUXmj6jHkzbdXH#C%8CU6l);S1a8jVCL-NMXgxKww2ozx zjjKhbp+3dCt@A?1u(6mk``TRgE#%G(^%DGGNh>nr<-KHw7);X<_5F!3dE|V@5!{v# zKDL^m{YFQNn$MM))Ljq5IcgQg97$Z0=?Ns1Cu1KjuJ{{yjQnKSu`>F}{0~ju>*Ysk z3k!eHI*dCaJszN2h@1CGVvy01+_|(Quc{iMHSDpfT{38{42_fdbvbakDCesk%g9PY zBM{KU!N!&ZbxUaLrrvENy@xSM+G{D^;&Fc#9iyI5(M32v{{uNev*m>*`red^tmNm7 z8?>Cfs^2>G#Iu7o`Oi<)VEvPfO$yWz(=MQzep<0GlGc zCQK;tIj_fpfi(l*9&#LDW@aW_Z{YM>V8EaO?G3sA+;O(`R&i-*2Ws+p&KR(aP|x4M zY)~37D6oaUJB!KjlMln!ad2^^#K*@!CzcCDA(u@OYG&plRl&tPSwlC;lpj|<3V&hx z2|3WRq%*(k+h@g#cG?MT7Ungdq0(Kxl5(zgK5ItUXo$9^M<7I)m}}MMxp^_*dy8IxOJqJC{8Qf3&Wm?f7#JD_u|irw>{JgCxVS*s9jKbh=sQPU&S!DZ%E-8Vo8Ng=z!b z+$x_WUoMMb5-(jJ41JNt@ayaHKR+S$A*6Wq$=>+kPQNVD&;cpzc4#(~PzjwsGSP5V_roIZlx)Pp6rhJB=+T)m)=wXXXKJ*oI?i=Rv)QRWT}#AG{Gv45p3f9wb1pbnBikG< zPc>I(5Tvbi5C)$SF>A>s%9;8`kyu?PTN#XlN+^u8xU`dHtrl>e z!e%syIyxCJHShugy90{mHa4^a?iU71FVtD*S@yT&!--VO;eAZF9*WT&1=P+n0&Rbe zYepAS@du(rT<63jo>%I>e;YKxWO+ANCE30_BmJPNraV8Zhxy^sa-8y906{qSD7;u? z8gKv{UCAjZm{U6CsR@`6(1nF1w^yWnc@{`v2v9WXj_n2J7-X{2xnYy6O$Oou~2 zmLWd&v-_Zc!jL7O-A`Zp^4NM7_t}kGD{!Lj3vM;E;kW`LjgjWp9POZ3Mk)wDn)bbkW*fn+*#KL!PLy zu`xW+3bV+AwOk-B5&Fpa`^)D*1CH-FEa$>u9qJy?>QubkPJwD)vt9A0tMJ%xo9dT* zSp5}F{R*GQ(?8;URoziQHO^X%Eug!_ot{+4xXs@aLHgXydLzh4T-cQUg4<#80k4^- zlN*iok@xIT%GS5Bf2LHS;~xpOldY=ul6A%G#NRn_fV$YV^YB9PN*F&i~rOvcJY2+Us90<$!(>{ zuLpg`K5`ONUDHR8h{!8)mY%i=j80fj!r{r^I7*D#9Fp-o?84iXrMn5CBUDOM>Q!+H zjgU}gVkAPH&Swbnc&RdB$!>m=*X&!!zWD1lKqZ9d6B0VBgJX8>W{+yzry{Jz_p{ME z9=ed#A?ILwRJ#l2LXVG-9x#vHA4tLt$G2|9EkKm#%r`#iZ%(Q&e95z-`|wrkt>cbwI!@N7getagC~Bck zV~@TnjVXz&`#vx}wQLd?9r$xgd#@}f1~=m)PiOWub|>VXTw~BAsUpHAMHzcQZc<$w z9Satk8Am5;wGXqu#ySytIJeXJ;)$e1GE;4M9wS}E7H8zO!T7y7#bhl067%8=h4im* zUdxnRe~DFbQBhiI>T{qLpgp*{-mf~f%`YPV6~+dR5TGMpt_6p#d_oTX^nkf0qi{s_4IT5rWb;yw2P_eow!J->arOZaj2c_TX?RkCln%Pp>^) zsZ{~D0qIrpl1q>*|NPn$7%xFs+Ta$7+m?h^FF_9W(*t1PJoTf1`F)Zb`7kCH#3;g^ zAg9poz?qpajw@kdF*Vslh~W(Y=uc}7;7FM(COKlB>+hRX>S~PD(WEW%TrtXganL0e zFs{T~Eds*=p#yBnaDBZG74QNa@kf-qR%_5pfcK&oW{LhBfjko|G{imS{^j7{z%7Gg zh2RT-(&xeCgUE&l0iJ<8xMMQF;qo5cDHWVV4!`np2TNT`OG`7WtF?1hJZT4@OoIs4 zkI-yg+*4__wYtFCzi*krp2XDwsu|802J6%!oM`q9;kKNoJX9e?R=`oc@IITjAI3_u zS*~*e3Q^U0DKd3-y3fha&)Bm~P8|QU7oO*zk9?t-0Y;qu@Sz?}sy43q{> zRiGqcVALO?0X7i~nhiparbJKOVn^Jg35fgW&m^$Fak8=|f?ONN>mUjfz=P0wg8pB_ ze!CSYladm1fc^-HtmAoL1n85VFaRbf+5f({WYrBKB2EUdiX@EVAt=7Ry@^O%QHK*+3 z+YC84I0mk8$o}cB8G5#(H=o;o{`+2*7gL3dlEOG?@S)&}NP??%T<9hX@0fGD&(*@N>DL|Xkd=2L)WVs}=RB&STRlj=Y%ZDHY&27Jgd1rwk3w1PPXymDy#J?2v z+9dKyB+_va22u_>b8Ip}U)tyYy@Th~#fEKunBNlE?qr9A2?z~&I62ytdvV!|!3`x= zyg^?;G`?~3<}z|w4m|>?$d3f<3A8|gm0L^=3ICP9d-dk^KZ*(m#9~JQ95(_;8L~2j z5(=oZqrE2g$V1A{58i*0Nri{P0sIplt<0hyk*mKCn8 zfDu05l8a$#A8BzxPXLwK1E?P42|`^aryD4;(yZCYgmfq?u=}az>||qQwk-_d`Tvzi zd?;T~eq;W>J?}kJkpoc=HaOyozCmPpFpl}d+ii`}pw~w$HVQoH1(SSeE zay-S^81Mgn_Txe;O~B63$X$U0rFi4`P#N-x>h$5nPkrG<8yiQ^n$~PEyuSyffaUt! zk>?lsu=dXR|J{0NzCAlMt`QxaZsIN%23r5k66Z$#_cq*BhQASgZts7uD>}OR_xZl^ z_}`n0YW{r>FFdFhx_`qHvfSU~^Z)-?>p~*riN2s!FTQxrHcu^dO+1Kpv}X2qaZAmt zXlTSIAE`njtkv6p(#MZFcpKTP*G-{}&$kp6M(&AZD~!;KSQX!=Z5r$1w0->Vf?$$G z0i1q_zCW5X+eH0P{*l*;?Z!S&$tkbrlY)01Fh6F){U?g*tP57hrUx!anVgK-n`^cj zkkGSeCg)i_RW=U5H?-(k;8x{{{rj3Gr$B06?@>N-!>=qB7uqQq{O&mHg{6$y8}xL# z)=G_Mk_A0zYSH`e4WsAsm>3m#moP%{B&^qLlg3bnIn`yOqyzrqUQm0>Tglqbj#p z{)9h}!CdW&#WZPKtZjTSyk$=QHl!c&iFU>ZOs!ltKi3Y zBhUX^`Z{vss64wFj?F;4rWF$*y*E1;W_Z?z;%&Lwm~9#lrE*~@_oB^}GnBp#Dw`RJ zNTeoHn(k%fUHUI%Uu+auDvIAJk;r#)c*aYYq20pQIqF0`x=&a1bqg0;J{u|>hX9kb z3`l7>=IeO>ecR`kmR{9UMqldfXL#jF`U(^2`%mEI=xgF=>I+i*1yOgFiif|tXt^Gm z(Or+JzGr#szr8SW7ac`t?N+RVE+$8lH?!L|Q%pDOsbKFjR%CC|FuQeQ7$bTF zi^7Ad`m_Rzo9wv+4fVJ++^fic7yW}(EoH3Fzthm}p-K!3xvtkl*>{(Lk}x;B!s04& z(+ibG#-bIr!mcY!OR`>}L1bYSmC||s9+kgxc@h$OzB5`>ysTi z)G+=^S^a&1tuwmCy3-dOWOHa>&Hw21&3VB(ayfeODfj!;2Pr#+3F5;!;@a9!OBHl= z3sv7f|L;9;b$SM)p>xr6KV=@23$Kw{N3xJ-%ihIS2#w$}5i+_UEo62XY@NuRg0$N{_tSrI;%9c?maUjeCOi&nCP{%+03Ruo8|A z{IWM98F^Q5{Y^$^^R4Jbp-l#ms&qUXxr_%He8 z*{G!`^f^h_wgtTj-PLHVJqfx;}nBEZJ6)ASOpwR07&*`Flm2 zDpp%%)#Uuv{IPYuq4Jsd#ZmVy*)Mt|4eeUZVxa3zlr#I5GaMI!cE&9Fgw6^%1groe z7pN~CEF^b#&u8Pw{`Yd{SK4|}SEYog{qC@9PxNHzVyY{eEj4$3BsXc$!z{M2Y1pwl zHzofkfKGn581sBv%{mwnWn${P_E1b)yG#B4|8)uDi8ZJREGbz@?g?A%M{Zbn=9kmQ zsJ0x}_?Rx46*f)m#hk>QJ5tPl;ISLNGo;zKk}El!D`{b|ayC&wH5@)R);X}Pm18E^ z6!u@v`r)rm^I@l7Axr!H92}WqNfJC~KHf4ewISKT+7n@}98uiRci3{CzoM9PNwqfA z^VDH!f)~%;QK!K+4$fB|2zry%}9c@+O=Z4iLn?s>fpkfy_!ZJYXT6asL zgw{v$1*ZFU;Lhn$U*(3x%#3lz%VO6J2Q5`T*8$QRS%$YB@J=-(Ds5W_-|UaX8&(z< z((;nzz8)*t{D5yfjJe0r9ra&&v@OFA=sT|3SxW7zJN0zi_;PRf!{6PtWdQQ1@Y?Ro|)e65$ig5>rD=7*N zMsxr4ptP4-Zz-lP@l=+Iu3q^U;@AD7l3TQ+A4-xNXF$@uITn&eR%{`ZKW&h&VcO=T z{Gz7}C3*PsTL1IyFj=X(14>~^qe2C*+9+4+ZOL~h|J_qwt$GR7_)bgV>IS*>ge6(< znE6w;v9Ebuv0u0fJtkz|)!~lN(i5a>p}P~f!@9k;NzClGrW3-%!~_K9P0dEbjr2|a ztAlt;~9I|nu?txEil?)1;FrIA^~fk}23kc`&(b*q`P!R?iYk)3>nU4s zqoZ9yfE!&8jM9ry3&U@w#%?gkC#st19bXxnJ zf=ToL+I#D-sJ=IB7)4PKL;-10kra^bQj{3FkuK?$5QY?qk0>Aw0}LQJbVxU-NaN5U zFjCT^Fmyb7K)%oO+oXAvB{nM!p$K|gSh#|2j|H4hlB#8_8K1p7IQX*6`F zMs58+hni_;E_Yg?y}w?hW+&UZ$bu4>GjH0=(N^G-u7#{=BU0;wlfIHW_5WTTTZ(I| z-{H`2e|*w6F8C%ZExxUgtSZrUpxkdgSMj5bnhid!-f+IK<8-XV>C_e2JwKMBVpyaT z6Ja*W6j7oQ*74e}ag6_5fdba8ymOE|`Ju5K>SJ}Ny01sBSZ{>a#Ot zv+d(AJ-v48G!C2I2ef}FSDGEW{-B*`^v!(8Dy~nUCdU`Wq)ftn&-G6F-U=0_y3%M#Dk?~+qg_nGC8e^(*?%qJkluxvQAX@$tv$}ME z`X)%Y`_2~E&(^9$V6OxJxi!AY=p6#4FFspJ%hkFYhbTeUZ_5QD7Y=Y6^2X@fzCc@(}0X*LwuX9u^meDv|7ZJPy$8g0; zB;xFRLa;7J`p04!bhp{RfuOfe@teKq<{D5|>4p8L|N7(oW?={qGgKYoG(~RYJvF8c z=em>R*CyuZ!~R&8PO=4eOp@TLjid6xEH0_F-+s2&5rdvy)>2wRUESUx8t0tV0}Rz> zBpgeOM?=vss^<5i)41;>suc@-VP+1ld?R7{K1sxpyOpBlk{UuzK>_HpT?qv2w8i)< zb?Xs>^d5e+YTAG9eF9P~g`;WY{U+@15hG{n`V!?8nECo$11C^3-n}C(IM+Jc0uen& z0Qtm{K7UKBbaT=yWka`tpgi84HzxHye@iWn7;ASN?WX>N`H)PBsH3I~%Wo+^YhH?) ztq29+mKX>;3uro0ht3f#r@qdj5d>d9QH9TUc%Ue$lmowKeIAMEtf`iuSm1UllN{#4 zGkXdD{2{5cs;{+O3ZERfG|L6t%2(;-gyz_j<+PrU>1KaAn~PV01(q{6kA7AV@%A4R z)8&mEmP@4Pa(~Q~$jkNc@lNj-Z}&5^RH$9&KTN(9u$Zr{i7QiESg~y=e#sqW?0AI`}ZBz73dg4*w`#Z4?H>- zvU1_k6O&3U?{Fi}{ zTi`~JgS1nPgKdpLS=V}ZcL-+#(7nmi$};A2of->euUMaapNyD$sz;!{I*M^^d^CvP zgBs~mw(cX`ycCei&ub2~ZrXuuk6R&s){Ab5fG0&@p@e5?M}YYEe22TccCz9hrkvMh zEDJn83cU59Hnm(AksHO^6Y4#&1o93`;@0mq_SHH#-po!GtUl$Zl_j{0$n8*+P+ZhOgUL9rZSCLF%r{Vim&6HL|h)hjEb z_ANkK8;-7A_kRzZvrTC|`=tHd*K@15UMr!^rgD)qlUzNy9*zdGnx>aqjQAxvl@t@X zwgj7_Hm0J&l+y`EFYX2Sn(9?_mR0d$rcllJq4?+HTelc4U^LWlv8k_IJusgMiheqx zX&}R)KA>0c$RC;}Fxk)X$Pve6Chsgc@lb*uIxL3^_I%k&jg^zjRZ+mj6+ILgb3I>u zd(KHgT%R^_*21d^7@UeGhbaZv0Met`eTSi=z=4%{;7WjRwkFSH&y1JsLCLAR71Y{K zU+l5?7GcKXgLB@Qz5Sx{fp`X@$}JOvKeuatJ94xtnpr7enR%q7v1Z@r!0>WQYgB)- z!=h8e1CXq_p#n7#Yio8ngO*QJ{UtT}i65NH6iAhxiqiCl+vyYVf@;RsSCy^e>x;CT zT%k0)!!RHq8G3Q#pg zG)te!vUn)sBMO*^qd!L1!MV8Qav%BgYTk24`d~MrjJ_3YW zHewMaPR!SEOxUJ@dsuhM?w3q(oS9CQfJMj3g9Or2PW2I^aNkD5;~lc|g30Z1gR)h+bSrZt#>fVVyP43qjZ z5;t*LV(L8A4yyfm#raAM#v5Cofcx%{yUm>L9vd60W-8|{{w7a1_ca_Gl}BlU;(VYS z55;JaIzHyy+@Q9f41)EGGgnq`ZrGXsyBa88JII5O(fEA8wl235zxF4JXY_){c0+QN zAvDl$C`C6nZkB|#Fl@nk=jDxh^a3b7jJtHIMmmR?t}BcSyb^eV@eZzzXSn^plpO{ zHvTyj!H!PHREpc;2k_MJOQ`j9<77i+O)-d{%uHlUz&zKL&C-j)O-r4;^rN_}KQ360 z>whS?yx6-~%t{_3B9e9D=lU(+k#YH8Mb1S9qcQPaYzN*l9dF9Q}C^Ke9zNo0z zh-l{)cI`?z$3R)XY?vm}hULzv^`nfa3GR;{*l70t-j#(rbXGXjRxys2GcPfu#ORP`xYD6ZNP z*~#9@+?HC8$pad||NmH+JMUm5G zmF(T=m|`P`ov@9CI?IXuL6zk7r4~Fat(c6C$20a<4c!i2dDp@B@jrwlm4-ik@$~bo zDlY5oo)5JVX2k^q?(<^;`kmOZKC85?f;9ul+^9!>d0wHjZ8%EVHCAjZ zbTEdEjmRIF>LMIoMin}5#lahh!CEDUb7xsV;0~)CcSuxDnEVeuHrPr`#Ab{Bn0_H2JMaPO=RfpY{_HLP~ zLq^GmO|}JZ`O%2jP1aHe-7DA~rutmfkB(DZ!%3%e{)v7t@9}|;ZojT%Fm1d)>&`ny z-XyVnOikf#-3RYtb$CI z{S?fUNfYN+Gmw|_39(!Se+P;GciyDAZWygBb`jNG!gHd-JLiu(6Om1$iDnz)RR)vM zc9Ulv^KNYmblWN1Zazua{?pNG)Z5M&gZ%#A&`*bAhx&20Ho7wv-9YKZ|AH69x9I3o z=5Y}8)OvglIjN?*1|a4W+Bpvf=&g)kC@M_s>M=f12fNlbj>Y2z(3%nLvx<>&rwgo+ zdQAxz^-$xM3H^!eo@!QHxe^5xp4EQ8{4wpKdqogH~)L3tEUg7%l|;5;X5(lfQVdHN*E&`{?>dK#JnqJIuX;=U97iY zVa2X)MfQl|s{A1w`9`MzxgGac+^h0Q3>U!2Y{343-7>Ij)7~m|UatQ3!U+sB2@!XB zGnh#G%g!`p2VcQb)N5WOY~}c|-BRolf|op>^R|XRa=T+q<;&3B$RU!wa*j_5Kx1)B z0CaywOB{UHv^J_^=~%z6XzuQ*IuE?T#yMyY7KaomgM!OeDg`=c7ZX(*v|&<>N-WST~$hCIOOeH zrui#$*kVV3_?KuPF(en5<0l*djt;B26%Y5Qsnr>j-2Y%YmcDveFMFTfPtF2Qa z58h4O_$LHg8t#$@kzqYCp%`cBT~7vz?&qCUGU;qkapll2c3_IFui}`gBHJ}^mπ z&LMH-OC6AVglKxMXjt|UWVJXrFLWL!J1l`79$5SBWhA*Z&A7Qka#fO-mm&t&hE48a z4Rks_ZMXXD*h)ml5RITO*CEN`?}*?oyf?p!Gi#OvpjI-);ND{}iQXLSa#sD|71~AH zD+S0NMbJA>C={FB@_=&&uN(p@z`+sCqch48Q(^T#{(c3n=QE?o5*fS_A-fVLy%H8` zdjt2YK?0ftbc|TL2u243%}Jitf}16PKk79a&a80g+)~T~cbdn_^8@%XW8pXUw8^{x zytW`73%~5l@vMj(4QdD@-^UM~WrZ@BY(|C3Q-D7lVx1y+K_}SyqU1popZL$UJK}U5 zQCKOY6PM>yvZuoKPUU+Q`+il?2q0c|O&xZ7O%spjIe&RTkX&ivY07n*WnJ+4>!45W zGyxh!3xTt`)5LuB4pdGd)b|7%`JARcE-qyc4_lTv+mYZe53wRjz}``05O%RS$~ijA z?4=`?opdFC6&HNo#OgNCSAU-3H!l@&-_?kiXYe%1dSYjC-9p#0V5iJHdJ{Yxn`E+u zWVEsE+8!~`jfzj`^>WwhT1swQ*_3Bc($jA%3j8&jmriq^U;iABFbo;$M$a;REYCUk>W z#W>qZ@ylpc(nxIWDS(K*C^UiNP00v&+rbOTYqmFhD}ys$0d&5M7`d;?gr1)eIOYNq zTIQ#`qBW2%Ymtl}no_>+5=B0#3dCU* zdaT=w+tuxLi9dT<0?0{*7so4*f-{M86Z|$FBS%|iKQy87^6J^;TdO^my#eXdMj8$T zVwZu=wq(pt#7j-8Inn1#KUegv%oLr)!DM6<8EweckL*w_*ma<_F1BEGqh<63 zHcIiX%03*~lnX>fM@;=SyZY<(DXJU5w-6YH7GWhtNXUM2dzSDrDD584+1ce>Tl)Hb zac;CY>7%P4A#t)QFX8JYjB`46$L8kema@1TzTpBYaltg73F7$G;M$3V_Vn}?-blvsIQ#7MYwsu;GZvmVWgv7yWy$ z8V{$`X{@qUB4d^1m11P~fJ-deAX`kQ@m(Tbv>&&CXhPe zRORT!N$h{owDLPZxNR-==~#~pKkJQ%_~|81D+lyFAcyOj7ehz+!bCi6ceI`E-@E$w zqxOvV0O`P#ZP`-?tREo&vK-W&U^N~G%@8IHZoGvayDx*(qu40!@BU9Ohsk)b)ie(o zR3Y_LJZsb0K_O}`Pw=*elh_$9|Hz30v|~x3q-N<6s%~+umf&va*`PhuDIO<2*-Cw_ zn6Asd(FY1{%Nff;pfIma|KO`x{nmt#Gd83|yDHg(i!-y99xZ#x@57_v1&Xr;jOd{| z?-9&&hfWj3R>cxrzbJmFh$`qMlR1}5Y3i3}!l8d$B%VE*d2p@MG=gO5 zz6b3jRTonU6`>`c$rD1$j~^+oNLiCpKdBg6+1NGtF?-4W%FpBN>ElzaqKOp;gDK6< zZw5`Hb$@R`<^2OQau{q{pFfHE@*(yr&7q$C#^>>&Q8NwW_nq2r|Hz~Y1t$K-5-1e* z-}SU;21xYc`2JR@ulE@8Xt;!Ylc-mimp8-kILT@@m_kZz-~i)1>409~Y*!Kt4j5F` zNW-?i?5dFY9}k4G_|AtB1sS`A&@|Tt312T||ENKom)lFiMPixo14(Vrc$T!wHp|)+ zl>lG06LIg7R$?lV>B_cSO`zXCPm0JLslGDq#KeG3$cyU7J`oX8@xj;jvuDimSRn^P zzgXzsKMT-h!nc5_Dv-c*<&EKGb-GrchE2+cO~B7j<0duQ1K-tW+G4>M<#UPOl@BoT zy+h}91@3uyXQK$3Kid}U96^gOX+>42i<>M6Zg@f!8Wa2a4mgGi3fWbnJ8Z^zhhiCg zZ7oQ6Rp%9}s0$qgbti4htA3ieSM#Wna&D{X3$z_yDH>) zYoqy|-`|+hvRX~UT9WBWF&BD!$ErzFjjahg)WK@|c!RKk+Gx2Ib|iOQ$f7#9*TpQ- zStwat@!qGrDK{zoPL+R$FyZRM%IGM)PG=6EnND8%k{~&-APOB|J*Q55ZeF<4lUG5FFP98;5YF98KQ&6^}^%*H$YTL)=A+YGriVF}$UL`80Axfta-Qm27 zd|j&sBlFKj$WC5rU3p#wn;cZd=P_B(xZXjr0sd&8|H+mrq1!f#qLP;Q@RDG4XHt%- zdBx9SD81HqRgGxqiz`_!v|T=bW3}UvT|9bVk)wEDEEX1yQaTMis~OL$_+-TMV)3Pm z0cH=|V~O|ep{Rv~XWRpz)8iEihZFm`aSQ`9_wQxc)Ga^Ez)t+-eUW~Jh zkJ*$VO1|bOCx@q!+v&N>*fF}0-In!1Q{5)@;{c0^P*@+kbb8c}?qYLZ(HwJLyJ|x) zYCuZx7M$sc0d^3Kc?cIN^yvd>h~3ppO!N;up@*30D4y8kZHi|1zbV>qwOx@~(6J#= z<+KoHc!2k2aH^;`+rSkTf|_-Kng#Oj<>+rY@f^>TAS?6$2VZYXN2>xzlV~vE_p)bm z_9s~nCt33++G9W9cPd0&NCFtCdWonj-Zb-+A%60|7z)k>R+K+$#ds`-Gku6HW<$0=Z{p`^bRXe@EAI z_R?6BIN4PUOem!F>E4PCs%};4uy*?rSYo{=E@VICG_?8cn!V#12F)7O%=6g)lWYh) z`JuHv_Cy1;gJiCCe(*W@bj`|nv$1hMgej<~2W7f9F*-Y8R{)n$_yFj&_bqz_g0VC7 zszfFxQr;(|TXi1r(>BF^Xc`!3Jd;-BV=Q*{dwN!nFiSp5V;`VMV z^49U#X!x-*@W5*S>8vg|QF=}56?W3LX20O?b*i+9!kCp?;@GrQK66E1=^`m^mI#9N zS`L%i;PVW{X3fMrzwJdbm|(SiIvw|?mB)bj9wP3;h`h|o)yzuOwZXoMd|52wh6(_^ z`yJbPu5o)FV@fN>3qnFny5pUXeLTlFlziF!b>#G_=;5_e^=Y>}%!inGe zE_V594=Ly+p|U|MS<*bbq{WGn`wT~W9cZKii2Gp;jue)_KQ4QHuT74j=(Of-d_W@{ z`WDdxeZ1djDv6a-|5%2XLBpfU(^IVg%(UZwbZNkJWs<&VMPg~hMp*dOl`5yu(0d`N zqNu6bd}ctOWCU-Rm{F_7#HgIJ_AsAW0>vT_xghQ{lXCbfZmI52P(8EwW13!@uWPQA z*=H?oz^p=lE@zrib=m#TOA1wOjk;_7aP52k;jV2WmJ1E z+WkL@$F$l2zC;?oL``_n7Q_2f&mpHCmy_E*nG`9Gw>w1|_6BOG){@XnXndf)=f0*S z?8^gyE1n@|wqnyI#}T{tVTeGcD;lNOsY*rQhZmM|!V`M}*Z=?zea3WI*^9@!sDX^q z46oB;z~ws0eM>{OrDj*BUMY+XDMsfrBS`=`Aqp7Oo|AWwL4b7L^Yi!{oAJq{{HKXS zLF-M}bFRz^`P;P&5w{da%_64)Ko8a^&K_+7a14 z7umksbnS3QOZ>;L@z1P$@W=>l@ppAW897;u%;EHaR7$@8=6rPkhANiZ{GIBNE0*gk zqkllDB7(f zE?@EaSks5=U&UOmaNn-vGfn?KK44RhIMW~{Uk-sPeZo-!>NARuhW6IFqDS=6nfHR( zmMA#2LI1wHQqtVWSR@kE6c4ZauQMR4YiKa2iQWnjiA5v11Pz9`B)ah{8^0N14Bz0%p&Crg{hfQ|Ce4ZQA@H}qEN?372d6;U~4?|SFYn#^F+naxg+Vja*>X>EOr zs$ZBtSVcvMrZ-EH;X!m-XSky!DzD3Z`j0)LGbWK9(q=_F*vT8x6$n_%PG4!Hil)$x zA4mys9WTqy2!i2~^D;?_$kj-3a;e@?qZ>0E6gJcZfsQqo9P5dw!}FQdDFAD2Bff&z z>wlrfnPe@1m2YdoL~8-cqC49Z!j*g(iX^r+QXCML=pa6x0jxjGBEBm^M%{PM=N8=G zZ@(c!ICnUZ-%e_7f1*;AOiLx}@yk5cW#X4E&yyIo7lZ-ojIlBd8hb0<=Untsy78sk zMukykjMb1vawj7|<1(p|Qfp@ndac5FDYewqYHZBF@!PjqnwjgHHg(yEeqgWkzR}+g zyH8KH_2r(AKt*ipClig_uZv9r$p`udlcSdAxe)&-4Tf_tx@iHqJn{m>I^cF2pBL4|D>g%43Hh@v3X`%4$%NTx+_eR43+;zq4Cev;rDAzC;Uy#5-DU*` zuvDMg@vW!79bK{s^Uyg(Kf!guW&u`n%#>m{( zrM)eyc5V{Xof2VzyjHU(hbUP|0>-C0#hT(;{I>ixb2n=+BhEyI2ee?=bZSiaMeG(e z+FSB<-oEx zsO833F`N)R!@``rzlV@k6t7>LLV#~~BlreIK0IHR9JOOJgbO2QLhm!PYQn_#I3%(8Mw* zM6{p9_oXhjoB6MQ-)exo9QMV*Ay37g3-Fgf?0}^KeK|#fXmC(VMJpV7_uDrh+PCZl zr~&HfO!HW^tR4M%!szMSV(4$*2Gg9^Gd?wXGW)rvs<}5r`TdC)vx?6(taXZxPZ=L~ zHuAdacVzDQ7c$n|3=lB9+~QE(I#LAQ>jzZgK?qD;njVNWFs*E>{MrI-BMV(J;iz(x z^d1{4s&z5&EZUDQUgTK88F_qWNEOBv^=JX_TQ*Cd>nMQdLEpYb>-b+CHPXj0tN{0f zysYr)KcL!H_yD5t9KLd3F?lq}3-jU%ZANs(U+V!C3$$GH7sG}m!Y)Pp#^FxuTjG!> zTfKtk&6S$sPI*535DEAa`T_CobIV@_%RH7Bla8eToxb&*IcI5^ue8iVCCJ==d=ZdL zKvnEJQDD4Tj;`qYV#j<_Ud$jN8y;jQ(ytErw)I1er8_@YEs}dEb`c`3WNk(DtTGS` z5sOc@cCEkkR;BEe?5-hQzuGkz-i@BI1tQt724}PJ8nGlTtZ&Ba+GC?aXuj=N?krXV ze{rAv?g86i5_}svDqDG-2bZIT=--={3o)gMLV8T1fTb`8{jBqN>wZS<->CWZbiw2L zpo0vUPd6xLTd;=MKomU7wel`sCw^dt*mzIsx`16J2y|jVmBmuj9oq|3AoH}-BO2jb z1)>c;gydJ(=`-OBL&zX-p1KNY7z6h?Q5x~{U(Ho{)_9XmI|$sIzMP+%KhhP49xe&l zH=BvC9kRAy#YCyA`{lCeCQ^hiyzb|vX0)FBLv=accOt16BL%w)HWGwx=0y;x1 zbUr6`k;ur*_MeK8&8<5~LFMr(Ds$ zGtu)gK-Dv-d@Y%d{!~=NMbxK%VhL)n8x2vd0H&NC!}Uyw!~4gz@Hzh~Gk`6SO#=sx z*Y&}JyoyiMOD6ZbwI%C2yDe%bz0dJ^MXsnu8>N zSc-dqqWQY?ZGyL1SIzPe7Mx5Cab9x+I59;`z~LWDD~r2J8(|v)Nx&6YuQM3k>&>Pc z^&YJXoULpnEy+%8W#-N+WDTc&EYx+cvL|Yno<#@6Z%sPBrEv@p+vQN=$g}pSO4x;G zt5}iOh>5rNtg-9TlKMN}Ih)q3eha9GfkLwzYeR|Gyxeu6H0UD(jhT9izSPwdyJd_B zsJEP=iP4oM!2ue2PaJLKpInJQ!d5w=7mcHXT1t#UJ!lRN+Ll&^O$%IRnr_)|{Je4P zW>9aRLP9?LV5P{ArYm}+@DJz*0kElOQ}XpA!-E0)Y81?_?X_%VNH2I-I7+bj&8X4a z80Pl+WD3rZ#qHYYjBM-TKS!V#Lo*ZbLye}tk_A}$vj*~!GsJ>F$%-BQSM{BL-&&g{ z;%vGONZ{mH;SdUq4_+VS(3gU!8XJTBBnbck^pydUFAop>ww;lo`uMZULq+9~)u~a# zYfcT9N}6vvHQyx&iHCX6I5u$G+eQF$86JQ8qO;lemD(3A{r#E zD-{;viL!^EKXLMtl9oE?*YHSUnNQDh>R(UwY;$rX>OA~rpIA#7+cxb_QzP=er#}jt#cia$IXMWyn>)~em!^jrj-PZSa`NKF?7rvp%?l+*`5d4;ay;;I$|_bS_5lCG#wz+~W^%}Ev=uPDuQ z?^MOLlRx)RsL=LBbHQ)Cq@-NJ_%wnc6{fg_hBR%xdK_dovTcNPEe8-@Apbl2&(D;W zmTmEiZ;9K8{jc{+&`b|Cyvknblt|X&h`q*7eJ>SyS4PGJvx44PoYJi%&@Rk_nqh90 zr2WHGNQD*ZD@D7U&4peCV5tYi)yD<_Ae`N|yf^TBQC5AL z;={kXU9GF1DL`}Q;&UVfFP13y)gG4^`iZBk>ymPfXBki+ZZX>FL0Zb|mvXm-fu5aV zv$uNLM#vcl?nk{*cf(^H9IB4>Pnnse?gjcVnBWD1w``!)eQBWyMuD<)`1&x4$G{C% zY8M7LOiHcR@)2L)Z4n#_hg$DRJ7(ugHEse>9M&(Rx3{IXwS|N9<@^gnmzU9&i^Yb{ zGrpz1qHB{n7|mgM4QqjCdBPGm!6`YU2-*L8El6R0zDDUZ2l^k6E*ys}rj!Q_7nm+| z4ft(%!(hx8-Afz&`X0SAiIzOYC6>5u)epFDp?Dl?t21)m8@UE<$>_0+xg?{e)Ny=k$06FhIt>!P5$S{VGaZ+v$r5^VPma z+y*kLhmk>n>4Uk?1`w(Qd|bDtht^gLpwt-3i|H=_Up4(>s*$GY)OV~5H{xCiG(S6g z5Wi^Y;llxIki|l=1+BAQ4cEEh`|T_2edUx&_xk&Cn3O{tXkx*Vg)XpKPcO!(GdB+z ztEZrYUI$hD2->pcqd7(8HvZ8kYMSEjpsEHKoU{3b7+P!^)$AI1ZmW4>v~YV>c(^Ym z3sBkGKE1%&woQs8@!@VL*H&>ouqe2_KuRBcr=@xO$L0IhKWB2*u>+0A#v!1pKH3~& zd`tlMty*~(U#v$YBl`?8(DDT2q_P*2a?A>}vw2_1T4bgcSnl|$j0bzaC`>(TRv<&| z7vPZS93o2*r672-QG3l}GejddA8usw<7ZgH~#7bFVc733&G zCEs$Ez}BZVs1P(O$E}MAo)HuUhvu{ZLM8UYnXC>?v$D*G+b@TG0_!102t?@k80(`i zxOICHq;bEbJ(n4=h1A~G+BmA2QpVb>YH?gZ_Wso!&euNMzC%EWlh*) zj{E<5%Mj3=(9XY=3n$Qr0ddS#(Gl0${q73<4)y=8nCn0-NfIk9)q4b+-S>rpn$~DL zj6VdX=X?QyYd2e5`&$8#c5}94Rb@^6swC1BU2dgi81-)4QkAfIHx9X69yZR<)<6zK*< zpfe2U`JH9IV-?r12*s4Nmte*}gtt~XfPV4)>zB=b68z?9Pa2fqWWgBlfrKa+7q)nY z1?1-jg9ggWy=ljUU}I?7mm((z5R7OXBOy_+YQ@i+M8A>r7gnOXeT^MdZlfNe+ip1b zi=%sZo%dhuje_%a-Cs0IG$3?={$^TyxfmreFRwF7%327V17W(mQCew}zCX^N?EKT+ zR6|4W`9`O$TdQsQ!&*=n(9oZ8TCC`3c+GuWYSu5|8$UhPF?_ko3UKpUqd} z>b8xL4<(&183@#ywAVLnSGH*G2EW7C@7Kb=Xr>+%^y)VVGQhJIt=Qu4kSG(A$siL; z7}gA2Fg>(?h^*mQKj?bR_37MvkeT3+gJ z558d<<7%6~(j1u0(Qn!wQhJ+B>%y5~iiK{PP90#dWnZYBr`6V%cefljrtcQ#Hvf?s zn;l~Ab{+f78U%B+$v3;0%-7OtLPgp_x2gm=4Fa?Zq~vykIa?;3LJO8Rn+|^nd+{8( z5G=Nt3i4N8xmeN#Mo9WNp@pD+RnX>Rqabj$U+n;(2C&x=arePgik)&=Dp9jh#HZ_B zB!IO3{K?Oa`X9ftQ`PM+s)lTVU@kMyF!)_m-A0q*I+=nkw66aGf_dNg$v^@^Z33w)EQoq55d+sJx#;Ig9Y|Mr3S)qL14>s z(rPuf;;(L=HBkO=it;A zw_wmj2-c`C75%px)v!a2&1t7oL^U*=7vw9q{K;Kt_4+%$nY82OjTXS=F8^;<>e+AT zlvg_jzk8?3<@WdG*vM2RTguP+XQ+Wcb6P6im=z5A+wZX#d+yPi;!zjtz~JlQsxx$W z(DtUZ(QAkOd^4R$FvxBhn1uSxkQVU5IaMCFW%bIfQ`T@i16QT%{0`!yB)>Lg&d4!q zKX!?W>sDW{VCW{8$ks*P{+5dVHn5V@jiv>z9y^&k+u0+Zrfpl@M}tAxQtG0+eK+|Ub_n+dQ=92auU`!uw z^&~kn`tEKx@2ufZVz2M*8_Wg!Gpc-=U-7Kef*b}htES*IiPIzGJy3}{XY#R6EM$a5 z#>55Mtvb!rdP6h5f>%;F8*cT1vO21Lm@k)@FlZf#GS%;|oWHPeS`Q-H50ky<{NQXf zE2}rc=RgpJ-V9dVYI!q|?uRz<3XfPeOZLM=h z)q`Tn7yPlZhxXvrRIgYlMci2Ua*Z1(B}xq5Bqi-9GlrR%T^4XWVsVR$|DQp~&Sx>P zzV29iRlq5v`NU4hgWcY-ukq_Xc7tLtcWJj@Tp0h%89^?{TQC0?WfxCMMh5z4tt*P) z0EDrH!q}9UGY+^}!s!*ABwgRv_gwt$82>&#qNj`bTBw)fM<@J{tqb5HlKH5yDFNV| zCQ%>CX&+L!FFD+c$%jsqyg1v~!4(P*eJu{)=jL{@l(6{bAHk_tudd$E`Fagcs&(LX zGfkBss6$Od*;0-VQETIpjg7*5R|Kc8zkU0jw|<-IVrJdz^*B-M(n=``?K%Q>YORt~j)6a{HyQEEpFxAnh$3vLm4%_Ha-1o-LgHAxY$ zmam1t9R^pQ`}z*|aUS2k_>b