From c543b267ec81d2cdbbb060a06b916cfefbaa77fa Mon Sep 17 00:00:00 2001 From: aver Date: Sun, 25 Feb 2024 15:53:26 +0000 Subject: [PATCH] adding BEARS preprint --- _news/marconato2024bears-preprint.md | 7 +++++++ _publications/marconato2024bears.md | 23 +++++++++++++++++++++ images/papers/marconato2024bears/bears.png | Bin 0 -> 54637 bytes 3 files changed, 30 insertions(+) create mode 100644 _news/marconato2024bears-preprint.md create mode 100644 _publications/marconato2024bears.md create mode 100644 images/papers/marconato2024bears/bears.png diff --git a/_news/marconato2024bears-preprint.md b/_news/marconato2024bears-preprint.md new file mode 100644 index 0000000..b8c533f --- /dev/null +++ b/_news/marconato2024bears-preprint.md @@ -0,0 +1,7 @@ +--- +title: "BEARS preprint" +collection: news +permalink: /news/bears-preprint +date: 2024-02-19 +--- +New preprint on making NeSy models reasoning-shortcut aware by uncertainty quantification. \ No newline at end of file diff --git a/_publications/marconato2024bears.md b/_publications/marconato2024bears.md new file mode 100644 index 0000000..60ccc79 --- /dev/null +++ b/_publications/marconato2024bears.md @@ -0,0 +1,23 @@ +--- +collection: publications +ref: "marconato2024bears" +permalink: "publications/marconato2024bears" +title: "BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts" +date: 2024-02-19 00:00 +tags: nesy shortcuts reasoning uncertainty-quantification +image: "/images/papers/marconato2024bears/bears.png" +authors: "Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Antonio Vergari, Andrea Passerini, Stefano Teso" +paperurl: "https://arxiv.org/abs/2402.12240" +pdf: "https://arxiv.org/pdf/2402.12240.pdf" +venue: "arXiv 2024" +code: "https://github.com/samuelebortolotti/bears" +excerpt: "NeSy model can suffer from reasoning shortcuts, and to make them shortcut-aware, we sprinkle a pinch of Bayes to quantify the uncertainty over the extracted concepts, showing it is correlated to the presence of reasoning shortcuts." +abstract: "Neuro-Symbolic (NeSy) predictors that conform to symbolic knowledge - encoding, e.g., safety constraints - can be affected by Reasoning Shortcuts (RSs): They learn concepts consistent with the symbolic knowledge by exploiting unintended semantics. RSs compromise reliability and generalization and, as we show in this paper, they are linked to NeSy models being overconfident about the predicted concepts. Unfortunately, the only trustworthy mitigation strategy requires collecting costly dense supervision over the concepts. Rather than attempting to avoid RSs altogether, we propose to ensure NeSy models are aware of the semantic ambiguity of the concepts they learn, thus enabling their users to identify and distrust low-quality concepts. Starting from three simple desiderata, we derive bears (BE Aware of Reasoning Shortcuts), an ensembling technique that calibrates the model's concept-level confidence without compromising prediction accuracy, thus encouraging NeSy architectures to be uncertain about concepts affected by RSs. We show empirically that bears improves RS-awareness of several state-of-the-art NeSy models, and also facilitates acquiring informative dense annotations for mitigation purposes." +supplemental: +bibtex: "@article{marconato2024bears,
+ title={BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts},
+ author={Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Antonio Vergari, Andrea Passerini, Stefano Teso,
+ journal={arXiv preprint arXiv:2402.12240},
+ year={2024} +}" +--- \ No newline at end of file diff --git a/images/papers/marconato2024bears/bears.png b/images/papers/marconato2024bears/bears.png new file mode 100644 index 0000000000000000000000000000000000000000..771ab053f48bd4e9d4fbb1c77bfd573b5294e264 GIT binary patch literal 54637 zcmdqJbyStz_b<9l3>xWf73q>zDM_V7y1TnWK{^DL5D}4(M(IWbB&DSrl-RUxI?jCj zj^7z~jQhLyoPW+3cijEHFYo5ziS?{C=Uj7sKA*M1A1lk^T%)*#LZNWv9!jaAP#4Tm zsPm#%F2j+xl~oh)zl$ypIUct8O+evDN$4Qmy1Z8*{a3fuPOPKI8N`j^U&v z+i`aB0_{qQ>fiGDwWHQXHY-JI#uB%!$MkLsvim+%)KpUReQ<2W7Lt9bkt>T%nkJag z6hG=2dJk)_`@Bm}GH>(OjG?LU6B=Bj;qtgU_RRY!1Vr#vc9zgX7L zknZ^8WNv9G)Muj_OD2P0Zf=f3c3u278(UmTN@T3W>FD9Fs?qG%`}VMO^*F&8<8vCgur-CRfY+$6Myxw{MsEYl&r7S8LtT zs~IxeG?0=CZtv|KIW(&-myRUK_2z7DZm#_+q4b`Sl~s2C;6Uz_I*L|8e`t8vnwr7t zLqmi9#fulK){bqpe0_ae3baaFVyH!GZqQB`FsKf&rE!b6{Eo_7hhrh62EP3(3sfTR ziq3xUjz3a`Jyf1N2_ayVnVoG4;>dUDN?_lIVO%aboJ@v}=k(vcUboZ9#*zOA`aX%* zBBpB;rYR}(&|#h#iBKlIw@7n7vBP7DJB1L~X2yNO{#%Wrydw8F0+G~k= zj7LI3qQIb$hMSu^9`A0-5A(%ezvg~w8npJLir94?J!t;$_jCp0U7%Y{7)iqZJS{D4 zQ2<)gnyr+wRoQs*!~E-WaM!l1FS{f{LPGI)jcnY>ig$hYxrlffO1S+FUE${XPAS>h zEH_9<7&tlc9O^M7*REeTtJJHoC1+838$3H}*eYB*a4Nvh4}F8@P`53UW)~2C7@OA(7^-VF;(kf(i%ZrB1evbt~JE0{=9kX)_q-F-B6xK zWT$sUL@14njH-Sm=zJJlacraZnEld5^NPxCK*QPD+1piufdTFT!*WNv?8>J{X)?yf zAJ;0(OUVOH|D+M4(bh*cTx5oP6i2p43PXv1b6f84@Tl(Q4TED-H}GuAy{>tjnVC6S zKR%-G>3KJXRw8C}^eJkYDEeD6uZ3-hWhD}KjE#-eN6e~)-zFrO*FT-Tx;ghw$mQ|V zr9A2M2O1xz-l>*LM5>-D#9Z=aqVY2clgl46oA9$^#`B8Na-GGRMe zrSj!E6Eg1kkC@H9>uCb^n`xQ4y3JjRX~vdQ92(--)vO&CA+i}lh%u#?Ti~U zU+f20&GxY+B2sqk;Juju+N)QuMtF=*J{u?{ox*%RX$rzJizO!~4_{ukY(3%S<*jAB z!>}3@|LT<)+`M%D1zkm>ROXX3`EC>)2ZwUS#3=ND&$@)DSyJgR_V*} zK$b#@nQcJ$!$R>lNm|N*+uPeE6Pcer`uqx4wR&IRG40is?)CAIA+}?Ck6~&bM4eZpF{fKb-l!w-?Xf-~Y|G>4|BaNpTUua%+T!et686qp?rzkD`!uVjla)v`^SaW=4U_f>8 z_wV_Za3Yw0f;vneSXtcypXwhP3WmvM|LBO3hldbPbPEM;=rdJaT~R?&U0r?Gc`*!A zt}`78bNj_hmzvtzuwXJD-n*B(BU%!6G@6J+*Sij9qaZrD=gb{ zp|s;-$`2kqU;832FHaS5aD4EG0qk!X<2@!U!U?gPfuCQ4Pf&28FaUhV9ew@UHA0(_ zBI2Jvf8w^<_qIloO1rw2ZSCz<(zIFfMNo^l-&KF)=T{#V8A(J>Pyfx3>k1?Y1mxtm zl+(o52RyTMtDU9EurIgn^|rOiLVQ$xClSyfJMVS0UfBvch{jp{(}Y`U*Wy3({1o}&104Yw*-f3aCPRD}S%JuY%Nss>8*cmMKSxH`8b(qjHj%Cw@tOU4 zF4Tl>FY(nY#^d8-CW$}W3vH3(h^sAG&qh_f$jq`a>&9wn1uTst-fVVLR^8`6WZ2KONGl%%WlEg?9Rrj@B;J{407 zRSeum8?~D)w5MBGPR%%icaM8*k(9%1FRiGqPIuC0vp#QiaK#mApyF(X9iYWq0$19Hl2y5Nf3BkBH zA{R<~#fe;&dfW~-TT5En+9Kh52hGxw#F*bw<}8`~C7lak_Y_=G3(E(IMPdbdUzLV*1U*^PSu`^3z~>$h)L)foo7u3}@C z$ti;EF;)IVV?KWP@YUYdc}8S9;LJ~>n4N`1#`z2^!F7~FLc(BIbg}*82%7j+&%vLi zu8owmG>0h;Zf+Ill;%)8h2f(P*0eB~6@;lh&Q4ESBRLx^_a1QOj(j32MUNCmf>AxR zpC~qv_~Liu-imamPMM`j;#vB+u)e;>ts(cX&_fpTu4rav#sDU(_S{-E$U90{5v$Vh zIL^z@H$y*EP;j}+V)0JgZ+u0j-Hu=D^|PR+~Q(VM%ftkC^PhMA#Usajo5HxVtgMMnOqwS0Um3H^6`6AuDP^!TBy4D z4Qy^yp&Kd-rnK<#JM!U@OU!h1U(;Qxo zxsmezz5O14Cr0pzOC-$w2HfOsrpXYg?n31=Wpa%^P50bm(ey41KNj6^kzW4lXpy>> z)-C_DqnX;p6QAYuP<06l){$TL?9z^&KR-VfJUxB2oRzQ?5{vEGAiPeRCCrFH;?!P7 zthlOgS||=B3x|H)a{S#6F)nV#Tf2n3ns-i5PmRIL@_K4ht$v=mV<{A;LEcsytNK)3 zQ)VtRGpvgu{>N3Tdx4qU+(!oT7erkBM+d)+ zwJ2HzH}+^oEmDbjt2>`TJg7ao*6+TfRppqjKr@Mhho|ZGOF5Twm$z4xv33ShJm$S> zm>{TYv{$UHtgJY^mLUgdvuEJk^SWTCdHbiTHTEJ6F3Cp=!cxfZI%rI0zdno5d`L-2 z*}B}HK|He*6@{JHBDe7jJZfd5<<9Nfd0mYCR{f{$p%D?+;@-Vm+uDAk?{T#Fsk~ex zih^I>S)`gHH<3e+P%;Et#kUuda8nbXrBn~5z3PP+k(MllM5aBhdhhb)8R^9utMhhK z_eIp?yM-&;b_u1j>|Q;v^+ z#fl-jORu@}q)__>?B`!7)icI0x&-{^LAOi6uVDHOk%}C$a&2l zCP3m&&&xY#);3=6Q)!#bNVGfU`{#!MT3cKDv6@;&O$>BHfnF^MBzAWlXHkSiL=a1V zZAm3^Htc^~3-9?hGei4G{2XB)YMf1RzCyL-i|x9$&9p1G~L=8|8# z@f=@I&yH?CZrMxrK#q*lPja5jo~aL_w+x;7GT*-;(kvdePC*H`&?U_OHEz89y&CkIS-;4qa0@ z5$!s3UgupTu6fdiDOphgS#*2~lNw9c6U^@*Z;R33s%fCnb?}$Q(eRFF6w0 z5zH-Hha^aSWWgGch5f}>kC?j7pFgk8Y;MvP)0)I>;s}=7v2&f2V-|W{uclT`s(uj6 zhRbKywr+RaCjQrE{T>aC|GtsN5`!#Y7zp6v^V(JOXkrjBMHOxB2ry#kT8)kcNO6Ua z?W-T(`RTtgQQ7-@!)&ScJ`t<(YsJ~!^@&i((mb9*0nXw>;5u35{_77Yz z;-mOt{qy$POd~C&pnVHe)@H?jsU-ZVAa!b?_L!vCad33xg7S#@k^jNL!Dy)k-tQkN zSRd9qV}`C0TOJW|c(i`kgVKOeRFn$RTcpVan`x6v2GAQPM|%s6XGe`91ri<`?~GMP z#N*0kb7|-=78x|gP}*1Bck?UyIP_x+O0DnEEt-JtbNpct+{ajaAA0*la~Jp*tu!c9X%LvCXvH7EdP)JUjZG%HRKi+9rltBok$ z1b-)b@#2MEMB?NHtTVb>yO+-Zl6yRP_AAjKVM_DUpp|gg%ZzmgIl1up;P3L0Z|~;@ zTT-TTiizp{lxl_gkO6R{iW96%tk{Qga&c1)eo?7QH?Cu2-+0jeD0s^2D_iwBp&{%r zC#V()sHyEd?vWyODg{N}-MadI%d%Vpt1UcP7LU{Yh1k?XpU1V69y5Ma_$)qpovU6!>1gYOZHI- zd#mZ8H1U&_C%Z^Uj7c6aA$s%X4T7M2kEM+b!ovGzE8uYxCP1Wgbo-pRx@vvn#*M1K z$^5e3)i=dtSFS-RXjwTtL;9I5BN%3$S%b4fQb?9;JMZ+q?TGHl2!WEsRts{)X1r5v zz!?%H-re~n*mw|aOWK^5cU!~lc*CQy8IU$B7eX6L%X?3rkkEL}o`af8+j#~mwJ`!d zu_g!qKa@<&%yJ2GZWpS24@!*vVqDFj`c}W=vFlLG<}Iw!+0oH7-x}%jH%V%d+`jR| z9jY2ED2Lj`9OJ#o_9^qP0Z+FH0Ei& zH$OyN-GS^$|D$y>ao?)Nuy9u8cVA(SSJBk8_>-&^f3e!$e?9F_JbGhgX^C~BzSoq; z2!QPp(o8_LqF=v$ZBHvU9@i%Px*;GWG!()xwQ}3s!opw{flMwA5${z<2I$Ot-i41C z1WaYGK{5t5mG2gaW$`dN+p@ngAOOH1Aw7>rS8#CFov9NnegK1Fu2x~zMS>s}yVj|b z)Jl&C@bOV#!9O!B4i67+CkP4(=8L;8NmbSRpB#>fCFH{>-irA?N)4#2E%n8(sOdIfcLvDlK~V8F=F?DgP9p~ zwqi0v%GUaH{X~{Wu&_IevWJaRL0U7QWaV{8M8KE~S8CMZw82Ws&ReZgNp@P7dH5tC-Gw%7=)s13_xXEDF_KH$`Aj5D*i;V^H}*TNdIDCvr|RF7$=JY|?| z<0gOdb)~)siY|&qOnc{mqkP&M%|6B>i$!xVwdv1Vtm@COxb;<_tKvj!P@PHnh_t zvU!u`l|jG>zxe6C$)|aij}1of8dXd0eVDo^C@5aW#ToH#Cfx9_3rNl4E6)DK@#Y<3 zfh^6tfBw9xzgO+Dq?{s^>%zd|vDD?M}_DC+F@@&VR zCmEu4EC4PGaI(hKJs?2=gX`MW-23y##q+cbi`EzaUlH*|*k>_LR=t;b-a3^v$oB*@ zvJI3US^kqk=bQI^_NF|xfp}A?(A@~mbrrM$4EH7nM}^PY{JgR6;mW6yU-FxUFOx;E zP}({=>ohv@kbT>ZOr;$!vMN7XzFIc*<_Sgm_R(geg@+7-s_Ts3-mPi=qpfB<4L2*- zk=+q3`Cj@ln@B3Z=|ZvUT1|KvY7YEWjCYENIT&aB1p`PFj}LkS5()%w-Muuz=38^{(JjWZMIkh=Z(NHSh??1;!n=0_1oHKJ(&-?yO?=Z1A0S|L4(@t9F${&wNN zv;cmj&_aRYd~h*@-b4t|)>^T_PmetIcTeyF_9YeHi)#I>5aa&xi7I!46^I3dKMk93 zXru->rj4z*?l~A|%HFss4?PfHz@vDs=6*7zoQL9REQB9kQ6SmD+WK2Ov%(EZPss6+ zY1-a|kAj$}6f*ht1i#aRrFhNGZgXDnSH_87l2(1Op|t*FP(sJCYc@~!9Y9K<%=$)Z zNU;08n9jCtd|cc!1jKOmum@9ojj|svldC8IuipNaDF(z_UPTJGNr=(|<~Ide?P4P0 zcH?|wCO2_t%7MOXwKxaq+H}@ttX`JuAY|O%(^VpEtgX4sI&X+#hSa!{6(c+d<(Lau zRnfRFllObZ!X4L@R&SQ)BqyoZ^GKo?02oH#2lpB1`LLlOb%Gl=hKw44!bq`OSE{;I z4nRH}%DhWpdL&&uBEr}21tncy~^8w~qSEjgC4)a)tav)nd zLT+-$WXQ(e-k^ot>yO~zG8jnC_lK!Qdh7)6);D9v6? z^Zxy3RqGWKrsxTnB2VzX$3S)Z0GXL1ijN?z)Dy?G3L;W`^}0xzi`{Ih#x25)16cSK z&obyeB-Ly66t2X2P?q{f^1*|(29n&X+3e6b4W%S@%{G9es1K=tV&tGy09N1lNF1PY z6$67Aqcr68fp@HJb8~&Z0@JjffU=Ngk*>ISh=k#`2h`y1 za{xf&!wBJ?Nao9R1NtZpA_8Nv^z?LuU}0imiGYcZ8>%j#tcsFux>f*u8%lXuHW4r| zVa&94-QNL)2#mz;sEJ-)BU?|J#LW7pfu&^*=nyI>y8usJA2zcZ5@B6;Mt;$#$CK|! z1(*q76++~{rluz9PT)UmSI57Ygc={GQu0~+KuoG!* z&~?zQEwZ$JOx4A#WsN;a;(j&8ig9sq4D|H(p|RSW1LqKY5-C*OC9+x+e>j~x2+sTX z@d3tXb#v2UPYkeewE{-4nC>(Q1BBQCI7ElY4lqCj$gVYb#AN>9ii*0r>E65(l*I@^ z1l@WAQc`1JGzIMH>PI`c>v_2U?Cm9`4$0B0h`s(yRTBK_?EBZHyPB| z#&h3ZC{JNjN)^+@^)yt|7om_R2BPuP8n?dBdO63>84WlE(%P3jW_CKd4_yJZnK&%wOj*FxYzO$C z9v>+G1Ux2lG(<*PT5eUuFR0vS4{km2Lg0e5l3=epdKolWnwUNIy&ttUX?Xtd^K zQ(MDOO;Be20n(y%W2#o#+q-5>K(!-UHN}cES;P78uT`s5S3j@}tt(G+l!_I*#|=`g z8eM;_dLqa=qACfs0w^5HY^pp7c6KFzQSYAg0&va@P(=EFsIjW5yFaHGhwcEN<*b#l z1@eU_J7f~ab9k-5P3SpC6;(O^ig;S>oMk(|*=@{6K`q~jxLW>UOwte`6&3Ow-N&7h zk|GWKZgZQE<7}Xkp7R$p#v8_JaqB2uYDJzA<+MF7ok$bweHqL~RZp*Q^m|rzwy>TD zFo*Ninb1$}1|AOJVgUa943B~O>HWkT4vuk~M6i3}Mz%49wV}zTAv7jpifkgkxL8w> zPoy%m)?<_8!A*&`bZ*=CRvb1FEQC0Jzy=uo^ud4>AT7Gz@^`T}e8OA?v*_yWC50(v zctaN{?pRp9=W>2s2j(vl{EmQ-a3FnSSK;Bqu)#B?A3uJ~!@WoWe#(n41K>0+DJf@^ z>|t(E5lKf!N5s_CHFgyhm3V`y+K<5c?Yh;x`u<%8*n<#UJt8VSp!%c%6iYN21E4I4 z-zFiCi5;=(_hJ)s!3Fhzh1O0vK=_bC-rWVVNGpLeS-78Ggi_3}Yj%!~pMRX?ljsGu z^8*3)4#=yAr;R`~8RXxY+1YvW>S}6g@YmPJxTMt7>q8z@z#xq=@dFkJe;z;f zgP##eNl8%L1J7XRophytIL7U?2gF~W4mXvfp=67Tk7xLpk+Ck`Wx+)z1>OiX^2&~f z&FVwe;BR+FGjkD;CL!TtZthj68vxl0N=u^!ffYa;8j$}xySQv`x6x*N{)`V)AxNpp zVs0*OZpK1JgLVc4m_b;0d_$MHXSCLXlg96_N(v?b!1?WN-rlNX&mu#fWXH8pZYm+? zi%{X;1p?mM+PZ*|<6wV(6hJK^8xLtErD(Um54)H$6X^YbMw{E*+>Bp<8ULNA7a>$< zUt$D)!{cDm1x#jdl=ev(E; z^dJ}7K13HYLVMx%FiI^zp%pSdE(fcL2CuRN(K&cuCaT0*VIiPH%JUy$1jsA6k)$?$2%$1CO z_&3Lm47r1peYhTZ_`g2j``!}u@5@6I#qNJ!!u~IZsE&ie!bD?=i#ef5FjlsmA$YX7 z4h{}DACWe`SH41DhWk7$tes#c;7n|Fb(QXCFlKXx7PL`)E3On$pu}9H`kyk)1>XNH zjV5m5BPl7GC76Eqce*(H2L_DQexuQm5J{ZceHj>bZXykBUjTq)Huux}2YPy`N@J3E zV!?>^sR}qv{xEo>cA@{A<$HFrms3 zMwEeJfDE*9|31-j?q;^d295sv%NeoW3?vK;s-Gd5vYo2YKy$SRA#%?uV8-B%VL2m5 zyAux78#SZJQ!R?0291VtRP=WOJ$aHaO#dYv?d<0{pGV*zyg<%I9m)RUr!1ng`ub?gDc3V|{ zotS8{v)BRgw&}zDAQTGx{nxKwH#s@mK&A4<{0D_E2w_C4iD0|~?F0$pEF7!Y7QQ~a z!0o&5h)peg1H}bj(Baf5kUNE7lRpRU_l{P{MMNy=IQP8kyt2H!vy~q-xt@B$o`GR+ zWW6_uJX$9B#fv$pV%+5Xpy(}EScSo1u(GWU5A)WK#Xf}uZ6Th`4CJz)F<$q+2bX7t z!P8ZGR})(9h>JHgZx+?8CV*t4B;N!6_?H&BwCq>kEUh*0MQ;0I5bzKG06&J13%U)y zK=v(krNGl~ZG>BzlX`&%~d4%QH)lmUPZE0=&9Go2-nalgHrRa7G z5p{)vva*bV!ga{_gMq~{`5r|+T5dxMs+!CHksu-sxNsR8g;LkhnCnZIq+TWCG7QA* zgCGG;Of&`eiX$0yFNKk_b32I9g4T2BRvGFcU?E@|W9xo?e%!##03T%nZMOt)QdN}@ zB%LArHp6r*ESHH`6u$!TQFsJZZxlIicJoz(P5?K;0oJsgt|LziI2B6ZG>Cx^>I;Q= zl86Tf5MvfoyHL3#aT%RQ?o?LB2e>A}o&k{KIUmm2*VjjMaliUydZ@ z{Qh3d2NJ;-NbMT7RKGVZ>FX=1s-|XV{G+#57QPGEjStN|g~6JNwi5(XaFzf$`f{B! zbm?egfCTD8z}YE;n~E_fpqK8tuaP0vL@ybFvJ~l0lL(-J5fspz76#dpl()Aq38#LP zM*frg#b>=gYCnJGf`-5>;4#W7E>4po=?!*g9q%30rgg&Fbo;hDz$ z`RmxU;=0XYWiBA}Q%n^mhGJg845{J)I-#3T{%a1opy%8R(t<|XyN;*~ndp+!o{AK( zdbe26-%YxW=mCg*=V@T&w0Bp!aEs;w8N# zlGA*e=O)8Ojmre`P(%-tO{BGG0#6H+p<)tOlX(E>ldT4`>6w`?Jrdo%C=)|<6*XLh z3vx}gqjBY0Dcl<12XY{k!R9ZZuqpVi!27qr&_CAD_-SN0KRKxjn)27I?l5UP+18G^ ztIa%C%NP{C`1AP0Zi5&j#350NO(R+*+2|TsS0~!Bfeq+galRx9b$q-ektpgkJTx>5 zc3*`qsx9!F5-EKb{OH|XBe80oB8FAhfq+>Mw1nyxw*l-rZFKVd()G`vltRXBti)^> z@WvmX$~{^8b@6Q!y-C7jlN zhqViYuL{HcKRIrm9AaMS2CR?s4-E}{`0_=?-JpxO0?7*nwjcgIzSuWR2W=-qvM&vd zH*S7lBrt==xS@xeYy~c$fJ4D2A^FZ`5A(FZfBC3_v4F>hZi<_dQc>6QiM?kIXOA6y zfOLsR7wgqtMpdn3r2qik`-uF{MPw_-|aG1uGl`3k`GbFvbLDwRX*{MPaDAQnQxFrvA#bA-b5oNFC} zDvCM~qgQ-)w?F$Bq66X>a7Qb(T|finhOLr6 znN8Pu37A3lk_5ywP@tj2Y)>BQzk#XInH4dO36~AsSltE{Oq}H49s{z^YWvw0m_{-{zrw2aX+7#>c$8YY?Hygq)e? z7Z#Xfg?{FvVC4RpIDdYEUrFxHqLRP`#~fbm(3X(s6SWKu8$AO3ur}W6NT3(J-}a;2Y0K4+OrKZ{EC+48=W%0zp*>f>l10m;VOG z9gp{&kP-pK<+WoPMI}TCzJv+{TShfGY=h_!&aXLpR;LdGnsLGY{yy zp1};?C4NKHxaA5wI{suZJS<1{3%sb3)cdCNmOFRubRXgulp@P+NJz|Ghp%ZBVHb!bL7>dmO_K* z=fUcze+S4ZD7^BmN`fT3tgRv?tn7PB_k9HSo3aBt|7_7qvo>CS9rajWKL%XDaJesi zikb$JBDZgFvgo-_#hUbY?!aTu0qS`lh5;gB_*Ej7r?j>k-Owp)PYMFZY-O~yDHAZiH3P-cW|Gg;rf2>oK5e?1pmZWZ@ zKQMm4Mzp}BhKPDC@sT9N1xfJZ+HT#t)r4?g|1>9%Tp5Fi;$N+h0YWtfhFBAU6erB8 zMn_9Qdis4Rf5O6QLjKQJ3vzwyV;45#80X%+&UCvu6t3yaQzsh}Y(K(LD2b$%&g4)= zrFs_XU_mmFF5-c!f9qDCnS~8C;km#u?Bab-&qA#WQ`Ih8F|k;Ad1WyX(C&6-z)ITw zbhca8`an#tFZ%21$*wh!&M}oPsaI54ydy9Fe5A%ruejYdWUtO^YrO720!=~jp{on+ zJq4pBWgi$$?nP5dUUTgGA@^!cabw6xJoDCjkxKUT)$_%fOrFdv<3#~ScFUpI&osTg z6IVBh;BpZ^3e<;*I&x^?mUhX-n(l6npDSW6*`_1X(DpeoyGBsi#q7h&)ck*{|OMqfd z%!#26s-3fffNkjyMLpZsC@E&e+-|#K;dR=7JUT>I*heF8Km+BSSAxyRhlvUt)Q4Kf zb2VZCPlX*Zd8@0g%*BM0T~w7B+4I{o7cX zmeH}Y=(qgV&FE5yw_j(QA|{r1c3#U`m5HkTeyA$oRT313pa<2oEar<&LzC3~b~Cue zf-`08Ro=wzObmPxh#g#J~cd^DWXuIahMohv<(4;GoHW5*Oji(bS!@5sP@YS!N zp`2KjSC|k_iH|=ka53a@ARv4`+#lYd$)&kzYKE36((M;Gj^& zZs=LeNMoL`6#CVpkC@8Fb@|tR@nk}Th5h{?fTF&OnmRj>uxm{Eu_Z6Bx>uK`A3IE{ z9~c(BZk!1>mfAp?nK?|(i!v~%omh#8m@PNHFnqrr)eV+X_F3wz+O|X4{jT}8Y$k0n|l2zAW~r?=os_dVYbRcd+h$nt!d#kx9*Y+!_tmx^vNvBYoRrG>(ns=UEj}R%aB$j>~ zLWx5ViKP~c;0jrrR6)G`IlNl+P%@s2>?`A1?+|TJdzaxnYSNpng)?AfvO!}1zRtJfcE+M;1bu2(f=-Kt zhrN?W!IDf%y|Nri28KxJ|95X)3f%e`%ES*$1(AXI=NBr)eTQqMxOf8e4<4Wb&g>&# zsq@KUy4#9ss0Y!)cQ;8cr|kA{D@gEb!T_g(we$Ka1Iq5Xn*7$>hb4r zFzv(9e5CyqXhB%J7}A7K6AjcgBl;H_j(WaObLu@GNpX0vcXn#9cTr}`d!64iD_giO zZ37N0Px}&C+OCD1dXB9S=_usw&C8i^Q{jm*TO(3><<-)acdf-XKP1 z-XmjUnfD#GAtS3l`%aE#IC6W~Ze6W0Y138JOw-iI-AvR!-`Q2GuPJ@0j)>@4US842 zztILPD^7MtyKb~R{Ph_2COPj15sw}>w_Rx*oUQl5Kg+|_y@cvMDM13QtI3KyC&kEE zhNjI1W9?}-y>=J@!Su~bl%9VB8ohBnFK@QqliO8Vnxj}-^D(M;>HUSgd_8?ZU zxK27T4X=2_V6)*+;*?BZAz^DHim0x_-p$(5_b0|-@=7sC2qsn$qZ%NDE~C=W*g8!+ zJJ)TlkrJ6M*$Fh6X8+zYd7JTFyNq_wc+1RXW|CVqa) z|6ec0fSX<}C7=HDJ2$|+V}!IYIT;`P3^>WT<`rC;;Emb)p?m08on3SFhR+Uzy;`o6 z73f6{?|X*j+ziEA!gR8It(+0Aqy6^=kdn|ev5D!O7}9!+X;;|40K-Q0)!33tJxywE z8`7(q-4geU+lyz;BQobUy`s&-`|KQ0-{3yOX&N@x&o_3=WSjp*TO05g#$_HJb%%-g zgv$iv2WiA`$H75r^uRJYayW?$i(xGzFYiNF&y&jaz;l*UHN<3m%MxhF*YYpu(LJjW zv7cv^aI&OD+{pvLY|-cA91evbRTJF~UOxp|nkaCX-^NhfkAjS+B@X{6`+g8z2%cuS zm4bK8Vg+(yj@)xUzy1<0UhR@nYJdBeh>1@jCQkSJM`@#y`VDPlX`~J*rwqC~xzi1s zIs$sdaQ0rP$y$EPt4HHg*=}PzVX(NNOJ}&S)Lrb2n6fJ$q)~xQvyT5DyA7o8FHTK3 zusLvfa%uDMtWC>R2IHLjFD-x-D5mLUqL!;lrg)W&o6cKEu9dF&2`~s#6tX?JsmWuA z(&ptoXJC+mAt{U`6`^E6#$W=*;Qf887Kxy9>?wlzwOwXhADDTGj29oG0=X!R;CQu12kLlJ&(EPi|tW`w{FGwS<&)cVaLKdPs;H$jgbh&<(gyjeBDI5 z(jjzjvE!bXSKIlZbA>5_6VsQ}=olC$-f!mTm*Nr*7}1f!*nHHFfL;iJ`LD!=)Rpzo zc~l*%A_@il)-UW)fYfaECz!N$F)0AT^)pca}7tV#EOGZ((Q zj|G>$1Jc8He=fAj|D;A~3<2!`d!7%WwC|(iL7x4ej9X1r^*OTtft#C~fEl8vu5w!V zm#fP{RC=4A+iykv-1_vi!i5E}Q{I#xRo<99Q{&-2(D5VTK(DzaiqFGg8Lw|N$L+?h znXP4u$=OuFf2fY3>zIy~waox@vD=lr6Z8H(?N9(>7fD9_iBuehS&2&7H}@os(kq9J zMll2O6QSeb-s2eb*WQ5N8E#~GbqV9aShRdLfRwwv8rP=QmvcI^z>s4C?kPYTGL*W;0%W}J!LLLy0)^OW{}URNpcQq99zXw2U^1>1HZQvu7Vb3@We?S= z`(HKi_mW0)c~9=m_?)XUKy#^Adu}r{9Pi`}8@Z-{YDXE3-`= zjm8H%R%|y3AwlAZM&HCCvvb&gOKAN!wd4PP4`plC8Ue2i>%+qzNu1mOuJ!?dEgs*c zrG`FDxlh<38$mdM_-yXbejus6DX(6b>G2 zd{T9o`r;ZWH(}|D0csWmyQCZxcVIa&DJ-_saOvD20xfJXvNeMbzyGnPijGdcTbTXa z%-LzB=j<~qzO$oWa7|)E4M6!afOh8#Td)DqWM|j<>XCRj0No!!hGnG&CLwbM_$tEA z!jc?I>T6zM5+^H<_Q!htLjd4`13+H60WpFgQZ~Z{Uup}DHNV5U6GT-ifX2cm3k0Hd zuHk6IMO>bNAsz$E(=y7+%9?9nnfzsFF9Mh&3TC_WjIp1c7Gw}{O$j1*ymc9uYP1=# zEF2JeCHOAd9PIoe6R;&iB%Za!w#EqnlnG9IW;E9z@By&1NqknSq~Cz|<%jjG+pwIN z;nuB=8u))hGhj@gK~jvv$msC|=oe^TMRSeFW*rgWq|LC%EC@DCu(?4FI7}ZbV+WoB z!SnzLAI8A4-#av3iv+MK!ov;Li8o*V$oX|AagSEJu)gA9_(L4EbrLJ+-TF zs+%9+hR7}&$fI^)DaFT{n(@QheoHBReHzeOBeezw1(XdekU_S#fOYbLZYO|2n!GY8 zXH8D>gWWss2AtMm_5g#UV`J-jF$YMFHf(+%2?HAH21~}qFG|`MyZEHOdl!{rUn7@c z85VZP0Vvqj+}FE7(Eau zQ2TF=6sO6=L5Pr6P*4b+5lPEuzp=!9;VagQ@UY32UjJR*LPHb!Kl?&Vj?Nx z2*DvC);Gw@HTCqOVe$3Hii+XvZqVGr&Oa1Vu%pX|@^WGW{{v1?r9l2q?H{2iO7un9(NK&L^W?Hz=H3g;cl3^(w*z$#veTtFH$&`HQrZ zH48B+av>Ygl>plNl09H0D{<>+=BxpWk>OThVIiap!m!rIUX6u+g^wVv^*U!=Afm|G zL3|D%aWOK2T(}YDY^-)Ohoz(vZ`L5mz_gnOzXg+@Om_SM@>f^HZ=e_Bs zZ^oQYpX&Nt`tsq%t&-jH#PYzJh)b6)5;tkw*PfQ}O*UY;6o2pGgZI5c@0#nAyG2dE zO?sJcOkM}AgJZRBdhtlE8YuQf??qGa-xex~kOV|f6&H5bAWD9H?jDe7_S1D*;RJCz zuqlx&s26j)bYYEV{73p=e1_|=K%EVPft8mUs!URZ@EdZGgg2L%-(eXcW1i=0G_$-W=kkJzL(z$PNuo;wUac|#7z|K62i;KwiC(}l8&QD9tabSCt zuBIqj}#0Zl;1%8C^d5@Ol^@zT50)VW{3 zE>TlcqwWFw`t94dEzpV5v$0+O8awt44kHWDl9H3<>P|ps~ zAT*6&#c>vHy*MKE8GBF8)y!G3UA4+Q&-?LNdfD;TUY`hT-+g8!Dv*SQ$Vs@x40M# z0et}$pxxH2105E~1h0W4%n3cr4wN541?FhvlXU<1VdUTt3uk5kQU7Z^=3_OS2eb~d z$fM5hh$Kzi??I}to1wAsbD+1$Az7CNlb6O7ymN~qF;b_}eh$_C(Ab5ojai5JCD4|!gm}~b8`k5OdJZnz!xtry%ltbfeV_T z23fUJPjHxNn1iiJ?)o3!1%m`vz65*7RMpm+jF(yEJSluTiU!#{MBs}sdBO6#=dh3( zWF;5iHIWAC>gmlbFW>AJegXTDwStliscs+xq5sd?WiCEGDOfnuUuy9Po9Zq;SRnMW zDA@N^Wc3!ZviR)O&v$?894Obh`1z%QE}om8KMyOQ$tWnEj0%*Nlps0)Ah}=>4I_*( zP%vBq0y3Zh?yGb#sH&;?_Vw!r-HC(E#xvx}ux-{X2q{3F(FQrg<4SuyKC6L?xVX5p zj(07gPPueqb}fWWs#w3i3I+dw5^@sk@x^gRd;6?%64x`GLT!E)eIp65`$-^Yooe0C zPgb3k-tx_v{}0B#I~?o34O>G?WfqEtkySDhN-5cC7`M@|N18G+GBUFwo5~(#Br76& zM93&q$SNaJh(h8$KYD)e@&5UC9MAFmj^e(*-_N+ld7amJ85>(zSz5jT^SB$54whhs zP=}|hKi&){|B-yicl0d2fc0Q1JPiipceKDnM&f(wui^e^!PDvM96562I!smJkKVH3 zl*f;)pkY<_R43OoRd`h&>Xw!ur48oq#33m>;xOHZ@+(bsN^)||^X%+?G#N$w`TCA0 z6J3&8=g*)2(wl<@FOh2F(80@X zPa4Om`hJbHy5ovdu0xG3-5D%n%OyR~1o}Y=k3laQFI@p@F$EAf>qhzUCV5#jbA8S? ze<2F0*N*iG3)}J=akkpui!ebK z;9BB`Z!Ac|e-8JXxIXDb}fwQHk2Tjq|$3=~^u+pp&T5s=b#)ZZHN+*r%PDLd zT$=q%i(W43z@5_JyuToBXD~a_&rtH11BRNgR+0rjgVzWBIEd>Mw+$jV$33s??*H<8 zyh|LtO531h#ZdDhNr{oPDSi{!i!w8*e}lEZzx7t$^XI~7V}|xnWa@dym2KUty{pxM z|J?QKf+{L1${^k+pJdiPf8Gd3pW&HHeJCH{Yirm>Lfyg-%@#gIOk-ca?nWu{*RNlO z`}EMzL_%XBp|bZu)qv8N5OqTpW}&y-=TLUuF2pkx4?>l{$JKO6OI0XHv4jzS7FeB z9RJQ!5+q=60?-laUE&BSH_~-_lleUeP@fwj_QMkzk0N^KI;UXoZFT*{)sG_Ix(gWr z2QWPCYHZwyY*6h}l+)Z4x73j%lM8cJK0WUt<@2qlWP5wM7W0)kAVPNb_Wj_FFE>vqDv0GWlD*wzf9wbz~mnF0aOD)jBiLbft4HPr{fXJ1_qXU6_Xa4Gr*2HXzWjD{B8 z^KHYy85tc7ci7dPW#FzIOM%0Wk+OG#x8G3wYp{VCR(t>kF2ljf%4z{r(@X7XTShyc z`oWF#!>+$VCK71^0>m0KGqVL`!%rYxkt$65GgvoOpo?kGpexkE+FBMHZvbBnDv^}a zJQHZ^jXC!A_8Cbksv{#KaiAyJ%}=M+nSgZUg)lIC6xw+$*+vS8u*$2eSHl@sVTnoj z1LlEn18&MDTzU}7%4A=Egs0C2Pfqh9E;fl8uozX9l`FA{cGDyD$cj|8wbxP2&d&&7 z6Ny04^vlZhxHzhwo}P?V;uD{j((sidJtc<`5TQ!8so44NHuP_h_&S%(#nI#bl%&g| z6q-*fFMOkNexzUc@?|1+r4F6GXkaDEZ}1zrJ?Y8Go=B)GYHFxKi_GxTm6w;NGJe0u zC$|SmdF#0jLxtr8)}b}eTpb#gYrlT|ibO`A-3);pVmOL<2%F!#J!Bah<>qsw>?V#G ze?!*}QfG!MF7N{7O--Aho-dHcrMVvx;*M+6k8a@%zkOgHwY0YrOt9V`CuS4W0X>g7 zfzC~WEkwsB^z?R;6$AtM9@;jBD$60-S3Q5&MDCGQ6>fBPJ+hUNj;Gtv$gF?u+CB7r z5ueV_?;ECAg1v+ZmDkp0DY`Yze@g|PU<9esQRjuav>P}M2&KHS;3rO<+60e9h<9lJ zk2FC?6^ zlYRb*^Q}rQHp)k{Bbul0@{!B}p^CeoAI+6Q;##0?2_}4_s~Q+i$Ozn0Q~9X+a83zz zMz_?_2cFviy**UU)3?v4s8r*wME#!s^Cvf0LKkrbi}-c6?oXcx8ywPN!q0FHcS}e_ z^1&Bqsc%p(`wp*AL zw)#B*4?#?4-5|RAd|+yhVZ}i*F(?7Wa@B#$ZHj$I5ZIbs^h6itEBI7lqgNX*nVYZQ z>jH`@x=s9Sve1G53LZr6)eKC#grsCPg9D;bz!|FmFfev9m!RnZ5e_7b={j2kD%nN* z6hwZKjAVAgHFf(T>nANH=;!E%y8xk81~#B?2JV(n=vJ=%1hIvx_wThb?9jPP>)LFB zcncq-e>%&q#BOpWw#O`*_rR5ojp*oi%g@iR8;300ra!-bFn=J-_H75R@=hOtju4om znJwwI*0n0aE$pKGOn(D(0G%KMsx2D*@%?)M$n~yf>fd|I0?~z?BN%)S9tyfPDRCn3;_R>%%_0xXG#hK3!`+sA4L{ z{##B3A6zkev)=){+L4dBJZ$XjIwhXaaUv{x*Wc)#Ufa~vl(G6H5`}eWlST*X>hNaV zO~iuQwUS7ImWja+4$!ln$0>#oPea<3-qIrwCz*h~rEzLTGXqf}Aqs&bV`28S8}Bc4 zTR?i0qbmz;4Sr=OB5{+^jhi;z#CF9Ghb$m|Yc08LTkJ67n<{$n;41(&P-38R9rT0b z0(hT$FTA)vQv%6TuZW0>cN9bu#IptwmQWB#tqPhvMQ0_m=4(g zNjTjYx+p$iL+gt`|Nx(O6dEG+ZK+yp2s z5tUbK8yk|r!!%x8vwHRN)AjyD90F!>7)2Z!$wWKp!GnY|R-lUoAREJRjkTG)pj&-J zyu0MK_}FSa7A-9;>+jvHF)=Z-cpoY%c&l1?4#V9IT>?_3^H!oJ**!Dnp` z7wFF-ymIT-trk{RMosHAGqhcid#wLNi`OAAuK?dzccCb*^M%nkZUpD@5Cg}xM6bXE zzj#j3+f9hGGd4PcA|8Z>As2l$HQ1nIlQ2IC^}TfnEe+}skCR@I4~hHEX>0d2 zOD{1w+*Q(HVP)+{cw`u;CWe@?qupLGLZIc7OeFke^w;opRG`<>U6B=oO6)7Y0s>U#u`dq7wD^LS*j)02MM+U!vd74Z9ycUy2~MBl-}MTsDY~8LPc&Xle>*e}xPe zpoiK>4j9-5GnaDm^IrkusotTKgO(S|Li*iTlp`WPA^oKc9eLtosIOl>|M<_soaorE z>-I!o;gTEN%qqAtB{2=>nbCGn-4#rpw%fVYsdzb%aHr60*pK^SJ=SsRi_i$-A|v+u zCB?;D+bZqK@2tpJBiB~G8yTlT<`fQprfO<%g~-ZBOWleVM{CPEHM;bRFExCQ&}$vk~mEf&RSh zK)~SgPfqWU@xD~tyzXISq_^0v(>$C|{Ba6_B^;o*_ik+9n3W7l4$J zGKM;8y5z_=u&ufi3zv#Kj>{o1LA|Kj|MzuPs%(WQbATG@d%ww^Rs$~_xu9|3`>G#+ z1h>rl-{URT5@xc`IfWFyBl_e`B*|Wst-k{l)&m)}{?QZ7hv+Lib6|yZX62NwTuxS2 z`Hix_dv0dj=~ME^d7_iM2WTU=b1blkv8Xdt$+yCwjJRaPM7B zfc(8#$b@i3N3@hd(i~c;-AWzjDlaEiUn_%|YAR|_qaPRF<@8Wv+p1OWBDW_e2FhsS zFI|&Z@)Wvx#13Vb72Qourw1hE<^q2%xT~-D_F0MwhE?&~mq0D#G%YV~8u|2UMMB*r{B>+Bw|-!=O63yw-XE*&s3yREUFWnTt=KMP-A&#Gt{2HiH1=+Y zXfQdl3SIDmtxsgQ?Ow`K(Xq_Wpwkt-OD6S5av6ANxVcI`C-GwEk`^CABlyjOfw;U( zh6Qyxv>0d)j895))|E-;=H}{f#@LLuDUJHPI;El#I^^O{Czq0#xC)jnW$*Pr(SSKd z-<%~&bn&4^I7uU|*(lRSeh4NsKK-;`%e^Y;aMO7mo$S*6m0nkeOSY?*IM_`8=+zq- z4?R1*-fynis2Y9JuSQ?1U%0S0%SD+amKnoeK6Q7;0sWjjXx}v=expZd)q~K!GQU^- z7F<2@>rIXfGst~iv(#6XaP!ZvYuTBXdJC=Y&Rqm#me7@xU}t9+dYipclX z$#I#BOY1H)w@hySR^jJT=IP-Z(rBn*H=D2 zJcre4aMb>VBrT)$8pN|SGxyuA7Z6Cde0CzTKIU$Q$N?DswDju>7qtX7{7^bf1>`!b zo+2z6F4p6I-M}EeE|VeW!{Y^|cL4dcP2|cLl)cmX#$z;rYYhENh8JxdapdMtxSgE` zZ;+<;=PB;WjNDZnw&A(1ag>MxZTiDIueI8BnNc+=wl5glG*QlNzjo=8_RulOG}*5V zqMV$Z9ZyG_W2KFdA#j{o375WKsA%_6R@&R(_T$H*6lNIZI-Aon1XAC&baZTue1ErK zJ7?VNr;|+dORmq22TnV`onG2cv&1gkLtjMI8SBBj0Zky9+Y8VN5M*VGJ_vnK?lWl8 z*$-LMN$wBhGH!R)N;bL&ki3njG3V0Dx!XBsU+z0<5%E!(hXORBjK&$M!#mh++#u5bD0#Fl)Rks;P$P z5V+KpzYn&_4Qi44z$`NCxe=SJ9uf}Q`n=af;7ozaqR|xm4)q!X#)t_y^`!T1DfB7Tp!o&!;7 z6y=1dAPHKpy!h*@fBkwB|If{X})^+7xa%&ugz0h-hN90Ot1fi3yMm1-$& z9JJr6LSSP zO0dGEN!`tbG`v%0oj>Aqja!wXDKWlG9?KXxKPjQ#qI|GQEW3Ue^lBl;O0 zNY|?tVj!JvEf_L24<>?+$)eI(ZfIywdMv&S05)Ig9_Kv#?MEE@c3B*1Gk*Xc(QTf=d3cB5R)OYBzeXM3a;yso|@Go_m6np?XbnBDJ&v_ zC&Ws|UacN3x1rFecJtK_Su03&LGdkub<{|RF6OsSFSXKkOZzNL(z?8K{_Buh6pq|x zGeQX&vv>g0a*#WZoB}2wcUt!11H^iYpM-cToh3iGk+3wH zdh8LJ4-YM%r(Nb{-1OM{z_}yne1bO(x7&`}A2I6WLDx?}LO~q_&ZMe_Ha0<_R*{L% z-{-MxB)Z;kd$p^^W@0-O?;x5CNxRkv$u8_TI_@3feL~W7&@X4~>Cs{ynj$ovwY0ks3b%eRh9 zoef7ukR=!nJX!uryF{M?a{{E;g$9Yy1Q^9I!`R&1OrUw>bAe#hZ~)iVk3tzCYlkuF zCtDA-nwSqY$2LEB=Sin_w0OJ#1v=!pK4b(9@Du_qq9@Fc2$~{JuK_YAbfc$u1FKw= zMk%uBoO)Eu7$sF+@*>85l_2Mr1+@hK?c%5VY!nm}I;yM52Fx0EqJxU-`t~pJ&@vfV zEdsHXzHTpNxvT9E7362_A!G! zfI5)&#msfP2YJ%|YHDfSEi9A-Anid==Z$r;p@AhOM^I&X6N(aJ-{7FC{PWIaL!1VHl>nNx&7PA!(5pO?2Bn>+zUaZwu-rWxk$e?^?G z`tsJb6vyEvb_ofIT}O}VemVHPr-TMIxCNNFfknv;`!E5fY;j%yyqsN@QBdpkdvI4@4qz=777T)a@XdKdC~XP*(GR<`gS{lntP(Fh~YlqGmw&b9mWY zLFdSa4~fpC;WZ;*PZ`$}kSThGgfQZ~To@e*+j-Qn99ghVh-)DGVa<_y3@}AV*K=d! zx`8Im|Naq(+}FGN70|=Jk&!wT4ZU{W!6*L6j~m}n)cNm* zK81q)SFT(!eOnJ&1n{}gEzB;qhkITCaP`C4jIu%z^UIe-UMm9|L}qM&LY!`iLq&Ht8$fM4d??CXci|&8 zsIW+)-(EyPey|-?6%@}_!8#c&GGpx8hTFGqqw9U+_wV1cog6KDH+^9WH#IC1j zW@@f;+PzLY6>MAr&^{|C$M8rqD1qBi27Dwr6t!}vKLSvGi$ei`5L19+qbBVS z%_ag)hf#rf=_S^(RvMQa81Du&hZ~H7OyCX%8?GSXhj=0O1PTm^CvW(roEUS=@Q^|A zPdnCAswr8ys!JZ32?N2?fkl$K3Kj4JMg;#}(n|}B7*J-s z<1Z;w!9ZF-G!9pi9+)bjG9mQD#(E;MfN0vzjOOR?f<%43ZXBTiElNE`7r&GM>MgSV z>V}Y~qP3MCn!NvO5(ax%`}Lk(c1@J1r4u=EueQ96&&BwcM)sA+`%@J}L$-i21KkGi zPuElc%ffAX;IM&Y;ttDGUQ;9YCR4xmXcV&MRWM>DNFMUOlNtU=#+KmgWHqvM8)02Dq_jMxGHgNs}3S#6ciLx(=KWPQA4;`3q-Hs!a)$B5M|ZES8#QDJ%26+RSqwBf-r|LG;L3A zIasD`u;6sq;aqQ1ie&De+qYrFQfwV^E9zeey zvgigjqJn-fG&r@SZiXL;M^$d5^Lcumpjyu5kfe*~S5+VdSJV;gZr?sR&2|qzjv$K9 z((dOJLFSGb@@)o4*!|M>Oa{H!Ni>6#;G|K5FBtw(0uxLcif1Wk!6qn`V}LPE5s3w` z;Sv!2t{XIV60EraY%N29ngs7SRG;xbhNq8V**_HAh%IL`89+g+7U~@q6Me^hdb@y! z5b9w|OID)^s-#4d(I-aiJzyn7Srvnp)J3^d!GlZpxe(mYoH=tQg$=`oEVNk8R%ZG` zpW_wiW84nmk5P?+AU_F$a7KvUavVvq#4d-{we}^khv$9S5X$?OEtJ4M8;zWQ^c?Z& zjSUUe`2O1cZ#j~9V=?KNAgMB#j3qlqZ0Y~CTo+mZBWkoA|QCd3>F@Q*s3OvYgcaCAT;A|KU;ad8CfhA1rRMWWj7 zHlZod=OTBGeC&nikd-QjIjgzMWo>OO1c`tP&^^ap$@u=Xl6PQ{OO{?vUf!_6jhdlk z7{>?`&*Tsk0O?%^>eGkLP6Fe~L`0x^HSTb-a~y%Ll9XW|NCA_0EuR9N@SG-!@=rjG zK5OMfgoTODIT;^y%T3?Zl<>6mQOPu%QG~ooIg*i^=%vpC1Eg`V9U2)Zp}|;JR#e0{ zelE^vPOg6opo>(mFnWebfbXEVcrAh?I(GJb6ty)AFC=pzwuxI9hw`#vi2~{;xNAh{ zO?!MFm4yTw^pH;Jhn`X;HyJSo4JcT9t;$}Hx+rRfrU@7U$%4z(+s$(vnWKdL6c>@_ zMplG6bHL0z^t&g%e>$85O*f}qpj64Bkf$6S`2l-`N?=B&e{w5oKk)TY!^T7;2P&QT z*$vj*j47}N;3nMvI{q8(r>duC2hv6Qm#v^rx%>F6M*&Wt{ovD#3}WJn9p@O}EE=CY z;=afY-`k3G4xv&xEC6r?h8u~b3{q&x4Pv=3?hr8SHT!jok3ks*ES~^W_$uq`H^6Yp zqOK72eLv`6uE;4NTSq;gsRct29v;pjVG*a{Vrv2xLN$;C%-RWrap@;9I~JSB8z5y) zMB&K7(ozPy$h!hdRBS2Z+2%O@<)Sj50Hom7UhVn0Nq%BH^TL z2GUo=YxXlp7(s>Kg*jXat#`)|BjLmjO>R(vV30oKZYHLtNH2l~6s%DhVn&S*IGCHO z>k6{&rB1hj)K`4`7$ufe^ul3!#1$pS&p4sp=&(iI1r@yjQ0b8V$AMx16DNShe|5Qv zY&|M+yGY`4_#Er7+5n+%!fpwJv4gpdr2WC}=g=k$<|DCi+cUkLh>qQIb47^@zTBQh zsk;S`EP$j@I4y)f09$=OJlqT3^2GV`+u|HNPP!DJj9RXj~`zFX}qA=*g!Nf z6r=8rlU$BCk#76;h9WEB%Wb^dGVW?fE?i_yOiVmkGI56K;fsr`VM75rkfa#%NJ17T zfiY5b!_{e&^j8=7P#RbR#!9(kJRvwCG$2KLa1v&x25A7>XpGj~CWPal(_}b zsL+CWgF5_`DKLMNH}|M+1?PuQ%L=P*fyf%48^Q?sauVd{I3jy_R3gu24y!@6JPRZa z94uj*fz7L+h3Bhc&X9|1CsIbf0&I{$T{CdMwEt=#%e(O1hESltxagKSzu9)_r1o!i z^NFU5a^vE=llad*0N&zywCDAPhIFuu8h-=_h@ctIZoL%GGX&0iBtJlRh4*Qj1x~2cfdynUR%dX`WiBCSXo&|$Kvv0>g3m$u8cUa z1ysC_syetTxe~CJ51>sBQ=DnG?mY(YzG8vJa?gJ&tw>OfdpV7bJ*EG?4l zriw#!7%63M=~;_nOV}xMuZFdEkSy&+b_twe6%}Dgpyfga(LJuw8XR8mF)ILpGBU+M*CE;3#Kdjsx}H{wr1L`DUz67y~E zM@H72dlnF|8RUR^F=f%+zPq4S1wK(@ZZPl~vl3^}!%YpXa0$UzJSi3=s(Mv9Eb{Bf zNFNwNgc<-2Rn$BTtN|dWWm?!6;?XMnV>Y6MLvvh|o@Zr?zR0hGp7HG2<5tz5HHxx< zKUj`Bcjecqt{^@HhDnHoqATem8fsuvbU63>HNd~1wyXc&ANs6DHNHT{~H86U6eO3#pBr~Ex!X%z9lh_@GA zLK>=)7I-O;e`vtHR(o1iSGNw9i2!%pCP~UKtcC-se*ov80ljXI`z3EFzIJv|U0g~F z3yWjm&f<>+#Brq@XYYTtYI=4$`Vg`=&%{Jdzi zS>OYYSqVGR6VJe*MIvIOelAEhRypK~a{fJg~41sno>WPcuw1m4S0ZIwFf_ zj(hra-|(gNLG0jIcTAs>wc)#{^@>!DDu6Ko@gyz@+0RO7-A3`40G6r%{m{5*6UWic zogQ=vj^trMcg(xdy94RN2}EHA7>@cb3G>D_AVn8BU&ikMn-76F^{-vY`Ff6dflOLq z%8g$Pkn4jiMRm8T0xofoJ)l1EFJ?B%vVp`%$Ph?ufKqe+ut@WO9X9+&tttluCUEU# z+b_SsUqOb6)fsHcrN&ef-#&^WE<;MGTzWiJh&-4~wQ6u^82KDDK@744O$kW$?`OR~ z034|n>t$Se@$#PGd-m)20O@9C+q@RpceuJnn%}Rr=q0&1!DGVhwVB-) zF+tsKj=@@&NOS;*(yBZQ+?Z{}7sBZB@4M~K8t#dITWZV=tFvM%oWf=g>$Wr4JE}pFXj}Rc@J!!EMKCBPy*wBo)Sa)deQHpzU|dBD_O8 z=U%=moq2piP0_c}{tIwd#Ld07OBiVdgG$YGT%3-%=wRuErgqb|&c+oK@Xn z*#s(V6bQ*r5Vxc|Ln&;f4-#gQV3_Q9ECQ7)7ckGJzkLj$41f8u8l)f1PtbGAvj1u7 zQ*gesFcRif{V{Bmg>%Z~YcA%0Ffh`aZww|BDP34j;Ot~ejEB26wUr4gu|)p|U1sy!?`bdpD( z>TH>_6OsQ!r;p+2iwlA{c4$yAX3tdP9ruV``V#Y74Bwy`4TWbisI%v~&ah$exC^{2 zEEpx9Y%#h#g>ATF&zpSXbjHAF{+EHuC-!Oaas3SrgMua%B*YuiZqH8a#z(_@Y4zVs z^Ue8n7abxkA;QbI{v6k-`q>C`kU-S6E?n4%vx_|Fr0FF8D)ZnR22g_N?YhfBjEoyg z6dHKsXMW|1Xc?$FE6={k*L#%Y-!LdLQ@s9Z1~xS9MPR**Pt>}%&aahG3fBi^KBEXc zuRB%!7=@HrIiRs+;5#h}`0+m;6Z4REyfZ0-@UJ1d=7p$K#0E(gP5{#O3!b&<8|yd@J9WRkyMF!L!_r&kqJUmOs&-tzj|$vMSJwAv<+?PgarO5`U*-Ywv zjM&2`08I5BK%)HJE^z?1WxL+E`OsK zXy3wR5j=bXXv?I*0rZh_rN|8`)hpw_<5BxG+^?tE)m-M{vFT-|GP%cG*A3TbEF5LH z%RkPkdSH=E&Uiqb988}1C^b?5FqWLSRT7U=LUu6>tf%TM))gz zaQ?H{a3?~$kSqyZ@0M^}T+rzgL!gD>6Y)qhEWQ2f-XRRjhSDFhD1BrrgUa>FAh_>> zC>*`?veDqoQhO2eN2Sgv~to}Ff^2Jk8-18SY>Ra=iR#vd?Xd{(Ae4|`x)F$ zOMls$N9?CO=As!yYh-;`Q`Jb95C7QcX#Iabh+6y5Z&U(`U6ynMT6trTI_Jie4E`<*Dyyz(d^>im&H{u|1#bipI>hGrNGm;KH^YSS%_V`G%UxoirX})KG9tiE>-RM zB+oV&;ZSuhU!SF)an&lqXyHtgQf?$UN7@?{9w;gKvGKJ_taT@>4mV= z($~YAe6q-sldJx>eml~7eyJO#T)>v|pJ=CT!V@V{K<4K`GiD%PxyHq4l?;TPU_uHX=T~66Pv2M9quAs#rDm=&8wA~XAC-4Ye{b?EIZ5DX5lHkAN;;t0 zO3G`@5&i^HofIiFT1m>Es9xT>Sz7rtyFq{ajw<)UwX!rDvoF%`O0qJTB$)$cQ)b4ugO*FfHJG06is!l&iS7giNqq|Da}iSUvn6%2kLAJo$Q2U_r$C z-$T7}G0>zqG*0NZVg3z)G()VV{Vm&#o38M%DYx%X> z^JBk<^GPc=dMm3w7uT@&H`GT#Av?Vo6b8qI zS=H06rTQZa-1 z{coK$P)e;i+2DpVhj};Z|$pSMhRiJv!f)qJe{Q%j?ATjubj&=74 zwhd_O3-ej(51@-ehD0yrs+rl^&38F#y%iCy%WDJ!`G9cm>$G%!t)}IR!M5c25v~ah zdy1!9L(gCaZh0Zir+wO&S1=%$WFvF_$q(2=q4sQlg znF&t%E1!zQ)Sc1ugX|rrY57}Ik;s4+aUlJ4(Ei4)%*-^^;uwbY;p4~Gd>m@6Seh?O zlX^Fc(B_0tp6l_Ye+z>VL>^I5tm>thl2f@kLD>8)S9h69EFUgCP4^6E{XKl)Vl0>t zK)&nK9)jgasz(1?)|2ojE169(d+-dp71dAEuP=boIndUuQC`?pe5c1E3+yyK(Nd5N2V~5Bf132iBEGZqF+*_!xZWZ44pbxXyrAWMVW15<0zXYphG7z_ z$MS=2kgg>bS0?ElAd9QLrO_0^bwq;mOzrar43IPF@4e{0fbi&97 z8PObM*naIp*73N2<>P(=2;=G)@rK4m1c|nuH_~6cAcNox-aJf8PWHrSU%GNdYxbA7 zA?z@nFls96QGYUSf2v!u4OaI4nPbbwC>0c7YHXotJ1Ll<<8(_AJG5FJ9kvaiFheU1 zl^e>)EpOrn=+>igf*>OqMUV?8^iNCQe;yURalDY0enhdwpj!W((xoyTKgP%J!K7+_ z0z5?BB(B)5fJl-7!EHo&o#M&xy~i=>=)cqaCQ|r>eo{5c@+#4Xo?jSa$2~;np^gn= zWtPLYt`>Hj3=K&sUbRb>bsR&Ob#-+KV_jX`WziAscNDwdYh=9RaMSyMjsXVUYIh11 z2eHd-_fKdb$U~2|Jt>|7hlzxU<>q6cU8L1++oKYB2l`4`qeKN9aZ!NyrfLldGdyS)C%Sju&cVq2M*RzqPZyGI%= zY?x*eOA&`Le~|7EH=t-w$`9xvMWvZ0-5J*b-RKeO8vlMDgwu-J+Pf5HwEnxeEUEPt z0JwvKwjV_tL^`nlk}8e3>hF>hs017i4|fShIo%nhq|is?GE&+Qx(Gr0TNBr0O!k&J zVDHp&<5nzAHEz4{R!&txqTI3qDC0fs5plbtNVVObs4Giyc zqh>8+PEh9#xApd*+mZuKamen6QfwikMX1G%>O<&igJs3?%B&z4;mh0mINOeI_t7kWZj7H;5mxbLz=Zr95I9&>RRirL2 zOKut~Dd+&I#Z0J*v|duYcdsNnmAVaA$rCk?^-lNX^|(yPy=Lvih%40I-lQFNnm>Tp z=6-baKD-MtEHv<^RnP$PDBZekn=e2lEwl$k;aR=?uXX0FCuF~NGVB`_4!fDrFh@7C zh>D(vZVs#_O;#wxtaCbo@y_^n%*1*6rOrDC;o^N|vRp!EUV~9a(0rH0Ifc`zXkJKI*r4R7LFH;9lOR&XrF;jckiQij^Mu6!&{x<7ojw)# z0+ORk$}el{D4jynk$&(9+$`oSGoV3dH5CHr_4vH3{Cv}W!x(J^k^<#ihU_Fc58Q|_ zPhjVeiC3k?V&K{_TLp3^d1D~QV2B>1m5d694;=!~z7pBLemmSc6N1%$cL_BO0@{Lg zYO+IA)e*;>V=d`_ym!wNKy|t^&`%a==i+}SR8eP#lpPi7Wy{7<8aIaY7X$W}=`};@ z0c!_+fSl39goM6t-~5rjHS9G_U?V2w^aHUgUI<6g%XpWvbKABJfc4O9P{$`io^&1K z_U$zISi)bUl;QTe4%f+He4IFjRyL&pP~7n-IvPEz$s7E_cz41j1|BF>C=Lc@&akQcmiemdA@YDmr#X(W`Aw?Q{OQvy- zYWqx)vrkP1QW7fQXemZykj7pI@`4%xxUWW7%Zx*~pP=jypp$9e`y!D4=<({XubO|s zXT>m$R9m;SrCq(4jczyIb$9tOCQXYKFdN&-{mvB z3Dqo5AbEm%rHyGjv9#z%@Wo1NjQkpX|11!*k`VuAkA5B)Ao~lBBmUu^ccnJQxhMMz z2$|x7F%qDcaf*piP6sU;*z>O^W>5voaDaus+WkT`r3;xh84s;(18jonkd$;PiS}fV z1G)SR7WF)mheG)m&E#0W=%& z=t#Ou3<`Atb{MlN+$g{2XRZ*E8@gXCG5iGf=N$NG;5JKXM&tOm2zupczBN(P(~G4@ zgFFNtLyDTw?l9sfLd%I10{||~ix|3w>8Roev@ZU$5)^k7q6lv|jZutO!GvC{P7!r! zLhy-*^uCJw=pD>*;1V5_!SpX*u20j;yF`!i3VZ+Aw860O@Lw+DpX@Ja3@)ynpiRFj zSh&(nvC!{Dvb0tkS9xDTVPdL**U;O6zJ2?;v+|fSlda`WHgcb`+{Ac4UHd_5a)L3x zV3PNXl-K;b%B0H;ni{EAH8w^?{j~3WU!2)2YBuCpqW8mo=+7go7jv6}3P+61)y2CZHH1zNWnKy*;+u5W#MP}_tde$IhO8P+jalP)wxu9%o zhoQ)-Xuwi421)1DU_q~Q6`9uqS907%QE^@A-(Tn95`CGX&Vovt1w&T+tMiK6A|efa zh)NNuLB*h;{A?jk5fL1@Y9PJB)+1++FTq_2q2&&Cz#F=V^g%a2Agw3N6R5u(UjjUo z4erWKw=@|Heyu-ZK{zDjdqKAeO5nI=XdrKlNkrVE9v-%=xkL! z`6rMM!G5Kmeg?_DA0@wI6jjZKs%WLFL4Fh*A*ef%fI*{$ZqgIQ^W^=rp$1}zks)rS zh-`O(YcTkBBR(w^QsVoCzy>)U3nnm9v%7$N{g@~-#f$S}u$OYUsMLRN6i==xU7Wu{ zo=_i8_yzZp&>fHWB3KZ@YcI@x4&;!7manlkd?Z9K_l%4osv%S40p0j8QQm<2LY5z* z(a+;tz}7tEvhLv5%`~DMjAV8hNt7mvLx6z;kTpOE${`QwEUr@60vvmp7I73HLH=9| z8Z3t#@hw-6E_KTA5T zrcvSl13iE!MOApMuX-R45rPfsRy6bARNO(3=))BD>tk0J3e4;*!iFAkF0hW|pw+DR zz3k!18suXRumhD5Kb*#O^T_ag(c9olw9UW!4lGI( z!}pE=yJpsPnxPOHZPJq`hp?+raey=GVp|hN&=aYlV;Bov#ZW?Tz~?}i>_yyCV&G9V zo!1}QAVs=Vffb~7LRmx>9pSN7msgWd;017X6@o2zufO)8lqFHu#;U`@NB#yhx9!FQk>x)DdWH0}nL z(GD`9vSb>F;%$hd(FrE>l%j&OWh_Ay@x8xXk>37)XP z95_#0#!ZhT5#n!|uBonm^5_)Qenr-x$SY2`CU9Rg^MHqZSFBp&%@k%}KNzNk+Wwm3 zy~sO+QDu;_pOSqPr?_vcsVoB{Dox;ote-~>+a0Kx9}~`y>dfHK5C_svuxuEnL6>Gl zMS(-kB$Dhi)c$DZofqfK@Weh$^r=;q{)%o$PZBISr*X{#&K#Y?KtB9Afa;k)5<{ZM z(Xxcrh0l5zF|Vk~nvXaW*SnN%8XS28P`^3kWb3i%N^N8}ff*d{Mg0$pyDkX(&GA+R zyM$&UY9~@Wm$XchSi$N;Nc6eQM;S?ZmKHt=AK^5+UY#I8;J(b z@*a(rU<4*c#6F9=fzZef(!H|2brL0ie|7N-h~4;vz7jD%e@|BWen@&(z;Ld1Lf!$Y zew-rKlYad^-C`D^(J;O5!V5a&{>*$FpAX{Pf>d3Aa&@n<|BGAx$+L@+J-t<7s(*Ma%vV z{tnEV6mNPZMl2=+X}rL{ttMMXk}t9vK^o-EfFA`FJUn2YAR@0i9`*1cl!G<^gP1A> zY;bH(h!0EHbQT_E3$ioy!XZZ_w_uwlE&qO72DE%g)o~i-(F({%CV8uz$DO43_B<<{ z-#~^tDbg#^;``MEq@>tzcHK%rHr@rOoE%I=e$?!J~6aXeg3y4*JC4FIg|U{^J6~Ajo*a zRE4Lg#e2#6DsIDtPz}S`_Uh}?Ki&&7Yp=5kvpU}ZbtbX-aZGDw0z!lz?F2906Zrau zd4%KWPvBLPO$o$tHaCX04rzKXhHf3H%=@rl2cwAkDM6cBctT!-7sQKaq=InGE8Hn+ zC$>K}cge4+*biMrR!%OBVk`84Q-MRAkeBx={#54T5+-x6dh(-LEa@hi`UQrmhGrwz zI9Y*h(Ag=epBV&c0j&she6Ro_w@_D@#du(9C*-*tawkT4hl%J9X!enct&xJbHX8eg z-9`u4z8jCB#i$uFoe2+b2QA-LhysOa!8GFoci-}sP1-$p^7GNzzEx1%qa;&Vj596%gbM&@UaQ*s2?rjN=!^_DM694f=uVIgx^3I|Esay$%^JO*bb>1zZ@Ehs znp=vk_nCCgpHGBABV8`_=@3m3LgIf|mLshazfbvo5tPzw#n!VFNCaq1{lud6BOv0C zGj<^RdyiD85x-CULe~J9fk;oJ-;ENa;@{(xA%*Z^+GGx1&rX2m_X~hkN(iUR!G%0| zg)7B*>1Usctn35QuYgtn{u_rSB=kXFb~HzZ{geaj$DV!SApWVeS8Cs z6bC=Qay9N!9SiT7FP>gr31D+zU)ozy2Ey?1^DVVLI?KEHJmI@;E{erL2^hC^q5vTf zCWgN5LcnB)_)ym0J52yw0?7Xc7ub$>dP1|uhb73IoP*~g2(BP0Bh!O|>k6|b#o@)d z;hm4rAOku^di@w`0uV>e{;-=tmAWl@ALnO7w0_E!Ti?OiYkx3RF_-?V6g@gIWPy=F zZ$i>NLt49-AN?|HL0C&wgT;HDqNKLZql?jPhG z4m5HZCuZzvq=<=c+#7dMdV0S3!3aH~_hkPPfeMl466Q#I3Mx6VWIc=hcXz&!G1|BM zOJ{fJLo12;6qP>?k{r>2pMa^yXnx z752C+9CDb@?G=}lMCctM1yGLGiHu?ybmSj;c%T+%A@4HIg2m07K?U$Buh*VtgzE(r zdlI`+*G1|x2+-y5V{g!z28$kAfWe3)nV{zsIgQh&I7ZU@B`e@==mX?4JbmX*jFO@hVbpnIGl1KdIa(OMVPnuEDrI@)GvIw z>e;iq3}s&}8=s3f#jUsi_J_e{#eXvj<5n=ZPgS!uhesW(Sr{4~{+Xd8M!q7tk9!j= zyW=;l9oy^jCVZnh4RHJp#XDM<;{Un!5mptc4v!-^jsriId~XNNi}kk;sy#<7`lxbp za%BDMUXV?R#*!R|%NiU<@e2d47)#19mwt-Ko1ZOi-pE@L?Ro%FlehH{apigV z{Jl`HmQA`*@A(k}KV^MArup{nRcRUe@Jy2IoG6kzraZ|jco=qHPaUKot!Wei`o!H% zU*TSf9Mlb~Z|~XQ@7}V~($ZE`rPy2S;Rp^u+AGBWiA7peaiB>@n;Oz0&zI=f8b@ zeYy3T0mT=OMeG?Wna2|Z zHIYpVPC=+!)!t6|CZxC;rWs(}*25bUm)|V_A0KppPmt>P+p1jC_T`t!M3_&KykaLb zV`1qyIGp-vt;~%U)5&r9>N!v$iLNh1%?!fZ@O^6+g(40Pl@SXYq|3YW(Yv>Au`S-- z)1K0e$@k`-?I8QYTrcj@TWqhMq=*I7gFNAGyeP+izqOp|H8nOeEx*88P)t$Y^I>1( z19Izn$YdGbH8`;R@e;VWol-{fvc{e8DK(p2H{O}5-b*3TZIue0E7$e3{Eg&(h%4@*9!gfxjldWA{qMYWY_}&EEX` ztqFhD)GATae@}w{z<2ol{(s+Kc{Pjd_&AZB{O^~c*SdOqIT-`CYkuCrp(yU!^`_XU z>XWSL?!%E+%z@pK3ELkG&a$G609?SEeGNq){eA?J{eT%LE2uC==4AE>AwDu)7{#BO z&F&lhQDj*vOWD2E^m+BpC@;@Bq?V^p_4Z?Tdkx}3zl6%=$zD%Wy8zf~VhW7$Cd+?h zUtyKVpa0*#atzQBGx=iN_xoiTr+|3+LRbX#T7k6^orfx0Gp7ef`!?+7*`Hk{W-rOg z`r^-@A9Zi)gUhCJa`XrLsLm@Wdu5OH2b=TEvJ3GMP~RN^@!gA~`cwW*3P zg6_<2pOm;c?C~o0%GGx)&Y8{=HZz{F={qy_VZKnZwUpwintL9ryS)QzqZuCzSEbxE zdNDs&(f*z})7d#I%k-%AAQD96>&uGh=q$Y_4Q&H~*}1t2s1xe$P4amXE@CA@@4~rb zy*R^t3(ghXysaZvrb6z|(w{jl+{(A@xS90!en^zh_Q}a)BRiRuXA=ydGEI#)NlXmj z49je6Q~~dR6KxHUo8WB~Qb4oc)MOWCGXylM-pdk7uU@*oNK4O0FY&-8Pd>IR!iDzX zyMsnnou=AR=Z|;jczuk?Rjo}32%Jo6U$ zh9Kpts*@2G2RT+o6toNNJQF)GA1F=!x031{aP}q<*3ps)w}Vxoc_hR`Ii%}yWFqwJ z2Woe^R0oAq+GuD(_k!kIbr#_ZIw72WRK=qZr(_N~4pz9h(@&M`T-Q%|#GGIzx)UUnf%{vPYD!D}CG*>6v= zeY6=*xUK6zhfH3|{-y61lVs%w0{5pkDTuvw&D(eWe!dBfl<6B8v#5gz1Sx?V(IG)xvgP_qu)v8rH!5asDtoG|8iVAuBl+fL+iGXOHJXj~ zI&Qvm`(wH=l}*Iktt(!v>f3SWiphTJf}htv_m(Yg$06eE6xhZdGZy!M8awZBtl#kO z-?j+RZIfA6_Lfank{QYtl9^GmM|PRF>=BWbvNA)2jF43*BO@#0wj-YN^Zh-)f1l&I zkE3pIW(`}MB? zv&qP0DAb=*blf(2Yav(J!HP%aCr(oxm=oS?Gge*v?)p*i+|yx_Hf_gDD$H%XI$e1y z?trn>AphvJSYeYfH)=IG1+Bgyyb%v^2^xjLjBp!qhuX5_IBm>pl_yo=-ebIG&!UxD zi@ED57>gELLsnv+KktOn=cvUK1jh#BWCyHFKuH_|XR`lGxDz4FvCxPe4d%#T7>Wen z@*ML1aY4G7P}xuf%AqyK9DGGa0AAHb$T8$mXv_t z<=+JN#yqGF5Ed)^@_Mh8f)Y5E4litbN-meW)#JM3ZRHbM+7PzkD6Un}qD}~B1yPc{ zl6`!=9he0kjWaH0&&K`|qaQ`9{n$mRT2*ltaZUA1_?KC#jxr+X_k8^WT`x70w|wT5 zeOeAI-u!xz1Zzaw=nSS0yTdnthtQEFZFDvTrr$__q#|WtsGH;c7d;LRQ*hpyw3q|- z0m`#aVa@$ZZmC$`On{{=C8(l}Ye2o0+wW4F2})3RmT=eQ z=N+q~W8xeS>$N>z-O->&L=cx92NJ%91mE+W%`&eP$B|SwMo7E zOSS9iGH~wNpu?~YeKm zGutGFggKXAzp(l{IO4RuShVtc1?sFKE`)RlKD;?bamzodc$AxeZP)CErnUTT8hO^?mdYzNVHRp> zU>AX;FBSx^J;z`_*oHgD77Qk!h8pe-%*x7o2MkuEW&;q3)B^-33XfkWU}^JKBGq3|_LQJ)X8d=^ibT|@ll-k|um;4# zmkLuJOXYcKbroVpWi%mr-0v`tFu1=9D5K}p%D=A?yYPYYPiZW6I_(^En71kmGi6Q*1uU% zjsC+C#uM`B_4-D2V3rDKiT>tD@KGbw4n-H`T&TuJ6tI9qimZ59L(f} zOi;^%S-G;qF>=Z(fqSGh1HScl7-{_*!v|?!q$P-mM949Z#c+kt!SWkiLFd|RiEkGW zOEZOj3Rd;2xms6t^T+&6{DOdy@B zVCSEVv@{zJ&pG4^D3PI1pt?}g&>*I|c+tBhNJJK#&QQ4$1Prp_H1zz#KpMBYrAK$g zX{7L`Nn(}q_X!F`2f6iT(O_kidT-P1SLKR*jr_tdzu?Q^TlomMOg_a>xBD;iF`MgU z#95;M>ImMAXym_}Z={=WiCu^s1g-5Pg-ika6Ao$e<_D?sEjt6(z$_^YVLS^6hFt}I zP<~=Mr}19sZjiOy_-VuY<_@Z0mR$n^Sy6PG63XF5=0x}ea{L7y5B9SJY#&+w^F3*J zFUvxhK#sO|n0MD8ju_i&a4cGa;P>|bR0^*#>|=;I*`y#l+y zo*MA}lL5V~WHxEi0m@!aVdSkA64m>CDXXKOqy6~SwuqK-#BeIDUSmyO`;U!&4$-fL z4{5y~eAkQ*iQ4?w;3<{wrSPt0`~8VooPu^&mCmv2V|1qezFgwd8tuBlZJuAO zy&7hynj25Uc7ZYl!+L#1tTE&j9)-TaL-{*4N4oQ%{zl4ki!R{IM!Mb@69m7Y-i>V{ zt8<H%bwWAzC=$OQGE1z&CFm?o{hd~di6UOOhxx4%<~3VVEvmKtr|f&FJ)v^_ z9oya*YVO;f4HyhJixkvmTx6l$m;VV1kHI_)Wz@UdZ91G}k#5Xg6;4gP*Y4mh8yq<> z&7x@Qm#^f>+X-VPp15!YHtr?6?%M^6fXltseDUahH17zGloU#!u}58jn0B|3fibq6 zL!Echj0)!F&&)}r8AR?yP1<4i?4UmF1L2yBe?U^gl;{(O)~pa}$_=uVDp(92UOeI* zI(778>X8mDi+}rTb-qlaSF?TRR_#gHuC(>}$JmYH0pg6}ljDO#D$|^J-r*4Tpdi^6 zU+RgV)9CK>^v_fEdTRt3`Z5WRf5*LY_z5yM2=)sE10o#@ zOt+D`)ZaW0wbCS<0vrZbno6H%-Sv9=EDDE?3fzTsuV7u#HlblH&&$~QH4oX8b%We)Lvg^q65eFtHbC=2iCy@Z%xD4!~5cRHHl)b zc`I*pJ?C~b3|y*mU)EjV``KSgrnS;G@mT|{ApFn2cn6~Rh$kc5b%_iq)_WgPB|1v` z?64+@Cih*N#JO*=y}$O3oI_ZD`cVk!BWv18r9O&cHw&5@=?ne$n3|vHHXREoN;FDn@Ia((j*QB(<*kBji$L;uCcde3V;6#r9D*6*IHBuHbvq5~jK>UT8R8>rsgI46l2h~dj+(3?GXOG$748JV*X!=&GBgX@*WpB{v|a+??G zYRaH)-Li(idrp?u>EK|5j`b+lf9ZcY`lWU`ZfSB^^J*dH6-jkpyudt6+!mRC@=nvB zNOZRYuFEvcXs@iq7FndpHTu&Z48HhX5aX5i$?TuPx1=jKb!`e3MbmTx=!&2{zKB98Uu3W{~rq8mb2B-B^JxcRnF6uka})D@GY ztLYIJvIIo-wiz$PMH{`s^U-}MKU@0GUkrD)eCWlmLo!8o#!v|MgGsjT%09d!4nf(z z4Fdv)%G~tX>d>xaaAaiU?9uCOC13R&lmaRK?hI%q_m#J3R=C(qa{#NO$!c! z7-+<^3>CBT?NdNW3Ev-LMc{AH0Y!u`7GN77q1b@K1;6J>zQLvM(b^*=eyiDZRD8hdc?*6SFm21w2fLNEbPNjUT*Y(WS%HtFCUgvZ_G z1yJX#7bbC|iH6o!(ms}wwv}N2oQa)XEGsuI*%f?S&6L_N=qOq5fR5ulz;4dDFU`f& ziF?F|nlQY=8(;g@q5Q;jH=q6cKt|!-_Z&UhcfV(vBKtdvGAZnU3m7V@3u@gI*H&nd zrHGn9^j6!`a~TTm;!rnTylM(rLO?|`oO3|WYiVdG!qmL$n1g*@_h+;b%IBh6J~5~S zI61BHB<>5o)3Om+>=|3tDaS=YMm#sw5}u}JTLjr8$qmIP=@KP3D|juH^i8c_fPDuh z4i_OT3EKh<4bYu&K-I0_-`Ij=Fm{u~VvoI&NSoAtO3bWek0UeQy&p?QNJEB?;xxI! z+9RU5R@oy?BjL96WAtZ>YLV1bk)8~MNN)a)$d+iWS@($0|JF2s|T zyeY}j3*u9P>v3UWDuq*PNPczIjAlwz3R)IC1k*5>{bal||yub!GYv>uY$T zCO+M>6g+EkOe42CaLrSvfTGthHA6g$Ab&3=R-9i?E0Wcor@mtAz}wUF;*aDv&M>xy z=C7v%Q3U}Tfuck;<+!ZJ4F$#Ln)_dsFRgh;FKRHu-EZ1JVidI4Don6%y3rxu7cfbo zkzLfj^ybIizY}kXJ*e%i#dOs5D9gW9jA_cQ!eKYmX~SV-9C|<`e0yad%B0l$z^pcE zPypVQNvY`%0>$uugTG>K`w;tp6c$RI7dhx!%eJ3lMD5PLG7^2}!%^zLqW18lVjRzD zAd4qpC0bdAQ#=r_UHC^&3Dzlzm(f<7zLoDdt~3x23a@>nRd=cS5@nJaFx!Er0kTg@ z-~DKC&ADmj_agY0)`{tpq9;~h`((LA{UTQ~$&2+?hr!<>#RehIM~^D3`t+%(U7?c& zkf71~xzJ{QaLkvvVi0#@q)#B~v(IRa(8#s$?R>Pd`Q1o?_gHwFi+aUg{MCuCR4%(3 z>;n)~sR>HwMuA990Fo*MqY*Tc7}`MbEHUPT34v4%#BC198}ND;07i#5JVRu$e$<@n zmTK2cAsU9BVC&L(NmeG(=bX$*46QhGCMIKYzfcG?1HsTiGmj6I2NqifTD!qfc$WTW zx5Cqtvxl8q*?!BvK8cTelwpo*@4Su~@SxL_v3fms`AL!Dk@hG^s%JMW_9pK_0{~Wc z#bYgHyj^HJUO8T+k-jU@pM9hzrC$gZB^n&P&rfPQB*Vmo57LYXEqHOCzE2qb@6Tf& z9{0f+;uw=7Ze}PwW>kE5{`VpO%Nz7YRr8EjUYc009a;_wdzMge*L!r=tnyN~M&oVticA#n(1^zuG z*X@2a2m<9oE4SF5irPo~;?c6@<4D<_(jCz|Kj%iu^L!@Q{i^nj8y96$M|D9Sgb&U> ztVFk4G`0PQj6GgAGol2pJKWSwyv~o@hRw62cJoZ%V*TM-483YvSyC|tDdG^^lu!I- z}g38RG?w}*#VQ=5_WmChL^{mUio{exo^`!7gt)e6;c^e__(gb6K%$)J$B^>7QU z$#Tehm`6i0SiaBC&+7rO908U=HWx@1PiHsLZ3bCvCk9C~ohFek9iXp9IG2D10_{1%e*ppuvVA){0%ZG{nH{iw7r640=|R_p^{Ue=dXItAK%tSAlNfMJb#r*%a)fTdi$=mwpfibk*$zZO81I7i}4PwYe*u1=U+?sNBpK~(2tJ3|ORUT5s}TXzTv z+uIvuSt63+sEC7Zn0)`9w>b3DCY+-bYC`RI*wl0VvC(R|Wq;@_#twmVe>JKT=tvpCu|FsExHP5`6~j6ww5;CP~jTaG%g3$C%?hux$TkIsyf$9AHwz^?`F`(|8P4E_FQMig~iFp)=1V5& zpccf3X*Bi`1eRuKh^hB-8mHkD65V`aO^9km(UIltC!dIW(u6vVL^e=#DE)0_?Inuct>DKHfkyhhK1C#98@qY zJUwlULKXz<@Pp;!0)+mCe_dp*Lvco-`z=wJ(|>)kg?kjEmA6=$h2Wkbd_nGm4Guw? z8Ze>2?nC*~64V({Q~*qUIy)@_;VaEhAj4@)hYxtSisIlBoT7X@|g^gMHX{?j1qN8}8+qT`Y!2Ivk z$b@}1c6{~KV&KH&e&!_eET8E1L~&~je&WuQRib-Vrl5|YVIU_ zUQsN|WA*x{m~o`b#mcH!NDQ6|G>Dr@Q~!ZZlNw%CRJ#ba1lA9}6AF~{arfWeuW=cA z-#pI{9Ds`1eYcZe6~JS*GyPuat|~>;c*g))vay#KLk<66r2L2;@hlO>VjJ7<$$YK- zMh7)BnNWBkDa~ z{o4-a8Nn&_J5P+^JCn6q8nSZ6W%urgH#%X2TQPAF*R!$y%N)#)^<)Aq^_Ht^>birM z@0&GX00Eu2hd+lNIDn|;+L%fbyx_S_ zp44e~9-L?&Amx_J_%VbXh(Y;N%&MbENC#@2hIIDUvsG)e#m?nahaU}j$_(Y1UrVWe zY$yQDPl!4QZ2=!XSY!!7zFjhFAnpm--N+w7z4xED;_Jpk4)%_r+K0xfemvQQjbXz$ z^UdUsd|K9f)!ydv732wcw!*x>3KdXPOU>H+v}bB z{5O#6sq!tt(%JyYrj&60p11ce07UW2Q+0yCvE|!DOnP2kVlu+&4>VhZ@PY{h1$5;+ zACb0^V@@A@>oSPHg=a#+s`6d#Rp$jJVyR#na{iik7e}^!g%a>O4D4daYv@Gqafry< zUJ~r+r9&zb4WPEryAXu_63Oj2XgzxlOQ`YHV?dlo!4p4&B&7lu27eRjpCFaMH!ZnQ z+8t#ZZ`r36F1dRD?7c>c;>_PQ>^0(FUwAO___Ff5((t?HlAn&d=Zy}GYhmlNr>kXK z@$u^Bby)xV*O-k_&IAchhx_PqOAgvei8ZvJPPLvEhJQ$_Ft!Y!27H^l!RN1_Gl#&d zXV80_jbsTd-jjc{IsF{G2R3k5fm$W;pmnRA6o8nYTGI+hDuwt&Oa5@42rUrJg|aHH zc)Mom`Bv^eA!fO3nWBxUU~VF5vnF=4!WH^3@8!HR9pO7}wshBYN;6q#A(923G!!Ls zlSoDQ-=jZ!?YfRLMxREP#-}%g4`)U`MoAIO^6SVEq=q)p|+S%$5p9#!CWX0-M@w%Oc;yDsbsZx z#$C=qBl^nwuV*n*U7vdTNO3^&DksZi{GN2@Wv5r3Yu}6ItI02)6Z4_zn~*{TyeE*X zKLF!emM+4`gFK^fw}ONS;o%}#d@u?@FRC3B@?XnMMSnDUlR{?|!5=`DieQ?l!6+b< zo<>BpLokMAkT|;tJG}S4&({&f23bCfLKpUBxnVv8;tt^}iee~e_U)#)$?59!e0TH- z?q%Dh%>)E?GG16`VxFsWpa`^VrsL5{&2~zPb0{h1WwxiGL3Va3lI6jfp!F|c3RHqA z7C|X2jt9fb_!rn=pmYBpe(&)nIk*vz=*Us9cUa*QaLhx#hh7s4Oh!N76Y>AdFYzmsl^Y$Ja-zf9z#OBmbQ)v&TKr#Cj3q>Y{51+YcX zc(@CziL=yd5KZ1n$Gw$)et%$~Hb!q1j6m_Az=roZtJ=*t$T>su`MxbTL82pWx;CN1 zl7{Woe%_((N{YWy`$|77AAW!6O+@9&3B~Gv&VfdaVjH*$#tPb-Qp|gA)|{mE9o^SQ zh~nU3eOoVO_OlXCl8Q>#@Z&^Eso2Ia0Vrgar2=Hi*F;$+MIh=Cc-Djn*bsWNiCI}@ z^P3D{Hb;D4@JKldDzYcx8xt9quQySB{1aNaJ*>w0L!<5adImoWA}O*ow$yeOrOamZ z9`|@PJUhD@12(OEb9W&Dmmg7#=gxg@(W~}{la6Dopil!tI+>ho4O59%Lt~>2$g>ee zIJ6`a6B2?M#rySuZvbxKNDw-I43jREps_b1b|+N~zPsX?gd8l$RRTZ!D?cv8F#Pp4)v3JeAxK69Tr!E-~23QtTV6H1*7UyTXWh+ATC{U#nQ&Pg$oySPEm_cK* zybK<9ivO!0f*LWJ&4XR!G90#=>L#)3Zd_aRH7-O(q$!yUv&Hc8A6IL0A0oo2Y>wtk zzm9KXv~rpIqn@KhWq|WrW~L08rlhR*{Dtqz$vJDUPvucvm5^B|&+fvyZx{^{vyq_rR0ulEL|M}%-y z;FR=E5p)t@@tVU@@Rm#(GM2@ zZ3C$jNe6NOQ-oO|)~_F)Ok^=iS-{E8vpiA5xbe^K$?S%A?+WkV8 z3mgY??oU>8H7fX_wKU;xs^KuQ3plL0{G$pHdi_N8>ywA#VCMaWx=T z|ZMXB)6r=H8&8x`Fv`V)Sxe7q+>)?9(+UV_6slvv7PBe@@Ydy=**yhT^ zwDgo5W=|XW^CLFBQj_NTh0mX1eHg`zOPRQkE%i{j;Lj+HJ=C_TYX-BV4UXZu6yJuR3W7f%L5W76 zqb~)rBk?4JWc??Rrgj8T>11GSxG88y@&5qU`hf!MQz=bnH47YGSV~Gt)Yk+y{Y$Oj z1m{F#zPtU<*2Z^PwA~YBptgq>2Jr9`Unq01=dXfh7c z1qnkeEqEwC{e#IDf+TJR^c^1(=ke$L15#1I=s+#))-;6bU4gJdgrmzJsimrFWZLW_ z42}+h01(!Lj9fX9<$De^KFZ2=cqfa-_ zPXEKh1Ne%+gOfeK7YQ2I(9uB{CIHfA^VtLg5{Qn1!E^dD_SrM2K}I%b!zv$vXaj6g z3OEC_yP&6i30hZZ-xj%1T^xltvSB;=qR0 zLu+R!4)s)^2+#w=rVApt@HZi4+VkWJ`!EO4Ct(h7`wj+&LAKlZ^yCP!PJr#?P3(Q+sKKQWDts%DErzh3 z5K#pPqT3;U7^Xu(qcXbe?D}tEtVA4C0Lq8}|86@N1lAKi6N@_z;{#q#6_(6E@Vy*F zO+ypI%s`o_Sp@+a@jv0VyZB@0Zi?2XFyaeT1;A_{5t40GU89 z0+l4ydtOi=OUTS5^;Ss(;T&WnBkUOEd+@#zN3_$(N8_H^B*^mq``!Ob!McCO5V~AK TcggA^3O1Fl& literal 0 HcmV?d00001