From 41b31dadd35914b7a53e13660ef2638bf47fe8aa Mon Sep 17 00:00:00 2001 From: Thorsten Fuchs Date: Tue, 12 May 2026 15:23:33 +0200 Subject: [PATCH] =?UTF-8?q?site/wp003:=20deploy=20=CF=84-Theory=20rename?= =?UTF-8?q?=20(papers=20#66,=20publications=20#25)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 3 body-prose mentions of 'T Theory' replaced with 'τ-Theory' for consistency with WP002 (τ-Theory Executive Synopsis). sha256: db01b46b129c -> e6a1f6bced73 · bytes 303,923 -> 304008 Co-Authored-By: Claude Opus 4.7 (1M context) --- _data/publications/anchor_documents.yml | 4 ++-- .../wp003-taulib-technical-overview.pdf | Bin 303923 -> 304008 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/_data/publications/anchor_documents.yml b/_data/publications/anchor_documents.yml index b49109a89..66b2f76ae 100644 --- a/_data/publications/anchor_documents.yml +++ b/_data/publications/anchor_documents.yml @@ -79,8 +79,8 @@ documents: short_route: "https://prrp.site/wp003" mnemonic_route: "https://prrp.site/wp-taulib" pdf_path: "/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf" - checksum_sha256: "db01b46b129c0365741c5d8da5ee3afd70c4377ec1afbe3bc7e9a9d9a278a939" - file_size: "303,923 bytes" + checksum_sha256: "e6a1f6bced734b6ad5679f8a1793eabd59e013bf6c0631523f427887544a8a9d" + file_size: "304008 bytes" page_count: 39 license: "CC-BY-4.0" summary: "A canonical v1.0 technical overview of TauLib as the Lean 4 formalization layer, Release Manifest, trust budget, generated docs, and Verify/TauLib inspection route." diff --git a/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf b/assets/pdfs/anchor-documents/wp003-taulib-technical-overview.pdf index c15538a48ef0c675fcf0d1b285b8fcfd27b265c2..28086433779f77428ef4d9edbc9ba484bdb53520 100644 GIT binary patch delta 29148 zcmV)aK&rp9#uA9f60m)o12Zr)lOgLCe@SmEIg-A=U!gxxSq$z31Ob+nDxhyu^KOkk z^hWf-Z#GC)hie^aaZBj3vJmAkmjX|5&RE8#Y<=3ND&49PJ_%Kx|GLL#d$UW^6yf-+SAmxR5PioAYDhHb|~7M)`>V#|ijh_;Q%= zBz*G2_)j8EFin`V@(p|3+%Ozgyl9bW+&ixgXO?XQY<=AGFYS<*pOWuGzQ{g?2U6deoVv0wao6yN87Ew3j z7GjyUF{zN^l_zfOobmi(>71Ath7Y4&C#tU)W!W(7ULC=(2Bc0$8XpF0R!Q?D!JDNj zPza(b?O=xo>*K@7ssCu<`hL-<{EjgN6`MJ8@U zTC*&V1Z$LEpEL0^Ri2n#o|Vj|x;#eBm3E^I!iPPN}oI z=cc09e`QEhlF>IBWkhent0Z})#=C_|-OK*Pdv%MKo>fo7F&WxsT_#@8y}By6eXfgN zSgV0YgaJgC)8;6lG|7fqo1p()!n;qB4!H-KzCvHS5}$hI>$FQ_^M7aPCv8JW=gA55 zV~(L8!PUlm7~eMkF!u9G#(9y$8}>*xKw!;of5OY~PY`Yg7p=`^oP1?X!q9wg{?w+g z1tR2>ZL2LOl398XoEUtOzZLQsMLYn)FGQ5X%CViX+z{D7w%C zf3x?QkcVN|$8+No8y)EBO|*2prRT)X*bzAjGleTnO3l_2Xa$qpJ6zAQ_)&R@?A`5C zhOVZqY6me`%*Md}gcOCc|NQ4$f>y62CB`8tlWwN~A9nb<39v zI)?0o`~Vpz8Ern9EXkKQn5L$RjFu2ET1GJD&kId+^0S7Uj+BCw!b@=LLWUTWe;IR= z3}YWX2M$s%WpYFl)nI6$WL3;c)M$SiSEbP5K}hjN@Ywj2`kr6}4Uh^Z{g~^?^s*fb zAxiE6XlH|m7$YdQww?y72uckv5-#H=z`Dv-Fpl6DsUhO$4FEQC?^R4g*lD;f=i&NI zQ(xCP)%j&A78vn^0wXHs_ci9;e@0Yo-7^70(CLHxRMsdl!yBWcddCWYYKo{PRmLWl z5{}*EF3xL_A=bKsk}cf9?9ur_o!?hChYt&NrQ94bft0#XIlm|;KFIr{yx7GsNa#LV zgIaEzQI}*)jzCBd2l4Q#Y;DISyyF}XkgN2TgIzp2pqjCJH@on=@ z)Nl-in9CBoY0XBT@kGV)f6?Gw8t^oGDR}2f_8E=z%__5?)FNe{vWsG{Z!E7dHf&T5 zzCXG=m0jtiYDp$e)6Ir^;BbXkU1>0Nuc%4z``-~WSX?er&vg+i*ckb zGLlaBT{QY%R&>Rk2ldkBFX@7;#vml)!^Cf1l#d=?T0W63KC$)OFd z?Bvh}SMG!ra=WGuz|{b(6j}E5iqzny9$qO@2~Cj(ld_Br<78D}p4iEsYqT@ta`$Uy(R{P(y2`t+Id&$LQc z0Jw|wlhmRq+b#=`X5+TTeZkq$>6k7vw^(t0){Is?PLxe;HFq>p4^mW2W;GAcx_myb`nRBeO_nzZA1f?u#fZ;NHdv{edu{KVtSq zVEIL<%>NgE#q$knbIvGePbOr3<8Cu`@1p{J=AU%Vk%T$;s`K%n&ie@!bHUTM2rFx#NB!(I+b5(;oGk`a^{thP)1dacH@NSV$ z->R{eYwlb$S*0r9ek`OTSjrpLr+ry5X5J+xzT24?PX#E6ab>>&s`z7ss@o@e5Z^^c zC0N%Cf5Vyv#Oun~1v$>QYE)Y zks_r5^DB@``$qsn6rRkv2Jy{*+~3oq^as9->AKj;^&J)ocR9$&k8uX9w3KB$T^{Y- zBQi_Y%_)HW?V}8^H_gjC2`g+?@)+i0`VQ+NcYKuAW>ckkehk5OSLg7}WTGe!s&X zBi#W6A6UKRjJ0PXUQ24kgI@%|#^S{Jf7NcM2j3SpzwP4ag*kYMGX6&7$uAwolYY^7Kunk>ycm2_PHk8 zcY|whX(u*xU85Rp{z1rcRE0gWy@4AvskWNjmQ=31!h@M|l;0V64~B2n^W?`ee?6b6 z^eHg>`o0#BB5LEl*vGweUrXEi2Wx$3g#^v|i2>{(r}Rygr3%s>-w8-kd9`-_;TKjPKE5vofM|MqC~&k${aQe@zbUJrKa8SLN+NNr~5_5;GnrtTOA!$%Qngtymha zZj}uU)N;AJAtz@%P>CH){a#3=vlr`;jxVi8~^m0(Sal9Ed zXp3;wJ2`kk4;DY#YbNPkE@0)n62tVB7*_U$Ih>q^;f5I5-D~ES2 z-R0b5uhfY4EO$ie@U0rpWApKPIBT!uGB)fS>m(Q+%Pr+{{iW4jy-MnUVDUJsu-R)s zm#32=bgEUWx$$Z35;TXwDXu3DaXlpN0i@m>xsnZfH>Vdp1$J;@DLwTyzvm*}pBnCg zuXiXHP9kTK?P>iLJ@VW;fBoc^$a;?2)mjln1$aNW8Ju)fFQ0sgKy^@B8CZ|+*rSDy zN9`Q-+`R+c-Tele7Q@{s^$hpu1WfLt&f9-*aLV-OsVOE>@3=0vS7v;4QL*~ouxq{A zVnN-b+pQ~8Vh=XA=K04o$JmFPD%u(*ke)xu1ya+S%GoOYd|;Mde@HA(%AtY#S&5fi zz1h_Tt3xvN;u=S9KX;3qTHzc=F4*RPmG}U&7*w`_Jyv{@qqW`DA5}bYIsHF1fPwVD zrnh^~>eB!OjV?|SjxYYtg4tbLZGN-AYOhJdj3GSnVP*9t)=3}KG3e)af7UZ(^YYnQ5n$Jq(wG>GS&I8yi0tCP;-fhfs`P$H1LJimUSWJj zgXZNIa4Xi`e2OXb`|3{ggCzd`d93!73XSy`sIW1R9VJ?G^O4&DXvOb%AIbFidl8kz zxu)DBIRH{m1T@A?4`*|`v!>;wN3ABV{|%x!2D`M7_%AvTe;r0y_fJI9aw1E+}K1w9%rhamrnN}5f9 z?&kIiepfCQ_J6M-I-Z_uo`2L2{I8@Hb(PdU!fIFWga72pi;3lZm*Ra@mi&Kd6BKs} zWo~41baG{3vr4hMz5z9pA?p>F8*l*+e-H*3d3p@^7DqS3rv&jOIwY6;eu_(xMRt!y zl4U~zh#ob!T3;$K~stln`)$)K1l558oa>&I-07vJX${eKky6u2IqmDRK{$I7*Lt&1Tc;UG|-2BtUB!ypmM6O*} z{&>9k`VC+IiQ_X$z(>FQmlr-Rf5vMOyu;6bFTdaXh9Z=xilh={G+2D1*uWPt?oWOB z^vYe?z>*z_=$sCNnlt?l?JPRdh&&x`vyh~!Vnks{mqlK*|0>d(Z@gwV(F;xsEA31& z$Vw@?hCCN)r6t8nO?-?B{vk>b5?!d&cDy<&VR2BISSPS~*)u9YRbT|(y+uL@VZ+L9o z{TsOG>vlbD(F%k{TOp~NVz)h5RW{_FK(dreX!{A)ETozZT1x>89Jz`3DN?SLXqDc` zmBnF`-7~fj+c>U^$->cK@3N8$uc~fG{`21R;LZKwkapU;YPF|we^ENplBpg78fEZV zW*eV{Aiw~zm~S!lfcS>aHmUupvt@Z6M-XeK(2OJRgYIqQp#79<=9O+wcfhI6n0yb- z#!5k`D`ZvGB@av(tt(GO_Auap%&WN~NI)_Q)#SsyzSeQRq?ThP}vIEjo&*ZqU;ZZwyM9*ujn4|d&Kl7* zN&rO1)a1K=e_m?=stwO0h9CyL5PR1MqLnZZ##mg_pfiVa9+{fE@%E5sB~ADh(buGu zGVZzrp`B;CUkB6i2T-({j2W^*!Hgx`7>S=w7iS|_-xvi(WnD*sTtqPMhcokAb=i-` z$UBIKpR7p$ygNwywAtj#HR`v_HjQJ;1h|1Ip89Pwe~zueZ9Ht-406f|6XAv3MbP+% ztH4B=pWc~j!uwOKtrO9Dl`~T(+6BAVXi?jS+QHi4u!#qJo(M7H0w9d_ayS9aAEcj7 z$PK&FRhZ@3`@hYZYd3=7W-lynll>PDH~fW~6V_Ubuu5r1mptlxWX-FoEyZ1)3#}&+ zse`ZFe_}C*=wOv-0^f3odJmBEr`b>%Q9fR3MCJW0<|DWIBKzgAnf?5>vLA{2@zjgV z*M*6&mSR|oPtmX7_v$FY1e?nY7@uwUGEE$DNx%dS-XUb!Bkg6FX344 z_NM1Rudf!uttjA-Ak&wriw&t9Xozr{zlNv@Q?Pd}9?u!cn1q#;o9^7UE1<$q*-fXI zXC>>T_WAz(dSzHKG-u|$HD{_K18$d~e-K6y0=nxzor)EZQqFQ5H`N(qyxaUorkHFw z2G$C#^Bg|Po9pl)D||?Tk9_c8{X9=7*Ir17%cZSn8hdOW8d*uEr^fiovdto%xou7M zXot>QQ}N1s9$ROYjie`%)hvdLXe%!ydlFoMa$C~9gE?bPEEanNEMzZxJs1&;s=mwHhzD_&bXxIBNhBy*5alo-W^(FW;YfLVy}xE07Q%K-j}7ARq(?i^wL6;)d3`7ZH^rMT@uwg(50$)LLsTwbr^9 zcdCe>)LLt)JIU|!%yR+(vG)7@zkdJk|NDP&FYlbW_s*O-%kzBBbI#1Y2q}b!5tj%< zc%#OZl&$JBt{2|f2AXCqoU!Dw@h_c!A%u(-qP}A8g7fBVx7XtH0sVyVGUv^n(Hwaw zk}brnso1}29^Qz_iTM<-*Wq>cyoJkG-Z8a{jn|I~ky*Q7@vIq#FaP#KAuc{FM8by) zXRKUeUn`XmYv0EH-l7=`X9wdi_zJJT6{7QKZi(?+oWuP7`I)!MmLd!!Qk{%y)%qLxzUXkNyMeM~Nqe*Vbl=)+It1cT3L`@>cpx z?p0J;kMb2Jz)_`->g{a2lKyK0twgV5>6p@WoUhr*Ka!!A3^5kYA;OHc0%;awz2WEK zW7i|iVQgx@2&3*rn#)+rk>-Jad~Dy2w1Bawf4VdFQly29wE$@mV_k`~n6b`6TEbXc zr~&}}XjLNZ4QjBx5NR!ApNF&$W1ow(j4NK8K6JK6vny}=~Tv| zdY!>ocOjj|*sG9EXRJ+RcZ|IU=?p;U%mf!O*4;=iWUPCTUc^`}NLMj`_9aL+Yp7pt zW3020-p<&Ak>0`B1CZXy*i?_Z7<(YnyBTXM(iXW44D+nR5{ zJB&<4x|fmUe}7>lbVj@jKEO8h^#MkbZ60Lg9Hh`JaR}RF^M7T38A;{(ip#E|k$%f4(wQTSBAsYuR0YyDM&+}q z6Xe5EYK8&DkUvX9GaQ%<`L47yqd*iRPDdK8nG0-&{9Fb!^FRzkJ}*0I&g5}}Ape)0 zHS<9nLq0F#HP9b_nZSryNE0>iS((HLI<|`jx+Ies0ezDxnw8w&exE}RWts+>CesDOe&*TE?oj9+pp<7?s>nt!oA`WpEW(&-w~uO^1{QqIsoRw15`Zgz7Of?GDeX$E!U79tzc9Zj}1O)TBm@@)!MXDmyN^& z7k`RTB4#qX~Rv7xJBz1@feSngj%8Xi}<6~tj#>e`#MFC?cJxLzTUy846P&g zYrT0yL+$))Mv)#p$^NPk=gB`Y6u-*nHGkxjFEE12`=aI!?W-?wtmFG9@v8R8SM+%M zDx+xZ`m=_{+dYgT+jvbwK>qOt1@4UNNZGK$8qw=`t)Z!?OlI9OhWu*M9}# zD(&-M=<)1JhGJIvmF73#YetaveWN*pV=_N38>4Odh}M@@hT=lmrg@ijgrIqdk_>69 zG8wUmwZqpB_?5C5u>om-k$19Q5ERRjM)*2`zEtT9#eb?RLv4>i-A8^d)$9;9IBfgekTv64G#9Tu4W(39t zRm0F+OVu*ICiY=yPNM1#Sj#AKObs2zto2KFb7c^G%b2R0)IZGZq`t{+@hg+BeqkUbX{-NP(7i+>UNz%6V+Y1pYGOm zg0`p~j7`3BKVw6C)dP%8zVaYrla23WZ1Rgo7@O?+QO3r&qaI^yvJ>hLXod}4Q{C>L+F=!ow1>n>J7#wt$35M5ihB?7@OMjZGXn5&);Ee#7Jr{ zWB(KByNpfk{2pVIukT}Q^4Iqn8=9&1GdB6u-`!BK4?TS0gQ=8G!sA!W7tdp4)F-!pCj?sw;U`#P$nE?9E=*$G5 zWkx&`fPNVXOaPi?B!4mi%x#P$CV;vdU6=rL%1B`X=tqO{g}wzaCoyP0d>%k-VB|6Z z__dM81fW?49fP?{06Jw9G69U&2IeaU<{$y+yivgfpg{)u!$2Dc5W^Uh7mf=cb~pMl zHpUF2o(Ui>H=t(*jtgMiH%2i5#68ADCIH3$a$d%mm?s#QGbS|LxI#m9x{@)e{LljfI$*$$jMW;d-x>|H z-ndQ!eK*!>pm7GY!GOOS)Q|94;~w3X_iE5y##RlrIrQ4NkLzaa&_Evz__6UDZd2na z4b>g-l!1AV0e@{bp4C8qjX!D-yBqLJ1F@C?EjFIlKy!>27!zZO0iQKq(rx@_4K&Jl zjWMaO-q2utFy7Koo4=!>zIsoCal$yP!5qf;LW8)}_);^Omv&9qwn=RbyEYMDn<$%! zc-ll8n3(ICGd0j&bCw2UvAI+OZ8eu^5LcPYHPBgeg?|Pymbq4g*w?&XgZYtpg9ch` z-l)NR%3QDcxjr}XSA9NWlRgLWvCfycRp&)OYs}3ZxJ`q2&b++?cW4mLnfGcC3z=Ir zpMmWf=)QTM26|}j&|n-e@7JK+%?C6XcgzPhhzre!H5fC@M>L2%%v~DTsQF6``piV! zZvIA>>3=B=`p^8WhU)XQ2C=F6dkxj+84Y4H^92oJHuFUd?A?4xgBa9&Rf9On{Idq} zsJTZ&^?ywR-8Ns>P+PpAL7Zyt(@?v-uW8lxaX`1xK~0;sgAa9keZ=^eAwJPOsOttS zsr!T2srvv}O1C3%i*7pt@oF%Kp>aJ}$VB6_V1F?ajrI(}=7T-3jdlpaPlC{uXw)TG z%h)JTu#T}Y-URzHHpZAB^fidM(Z;wEtY>VDAHe~Pjd3D4n6WWV1fh>X#D_M96Ypx_wBrt*$uY>Y?235<;~CJ0>!LJ#b0q*E9h<4tfe zqkk~B4K866<}AVU7>bXB7cdm}1ute4{4jV6V`FR!Zf0zZo55|2jkXJJXKaj5!5xfE zZTU;a#&{O|HDg2PgMVTID669wfjT$_Lu(>V6eCb4Cz_%45hsSBYbQ=8hSoToSca~h zIGq_<<8a~_x|ZU^Gqm2}BrpOR=Oi+;_J84|GGZmtG)7{qavX-P!8k4>p`VV&&~+Cl z#L)VJ6J`X)F(-?mH3BD_5wuSZL+b@jgb|cyE<@`JP97r=2Rr!;ttmJKjKH|)bY~>= z(J5o-8jn-X(At4h!O-;{r;?#{1gDCj>pD&~BccCJPlm4XIK3DN{c?IUbiK!^VSi}d z!Kq{DnvK(!kxwA)$I$f~r$0k$6HYxt*K?c!46Ri-0~xwz;|yZt?~pbybj`*Y%t+{+ zGlZe*H_lK-Li?Pt3|(Jw#xWAHtTTb3>mtrXMq(UsCNXq9#5tXzIlnWR5zsYf3L~Mb z&QwM~fr!U(e2dl*`$cJ5^a+3!|{)~uavj38V7 z1w-rC&UQv%+;Hw=Xf4~>!G8#hCC>c}t!q0EFaj~Q^B_ZO+|Eu$V7zf2VraeFd6*H1 zX`M$HTKje$Wd!E`&SMO%y*j%XL3Z>@hSp)7#~Fb*-1!wl>%z_xj38V4HA8E)&XbHl z?CAW4p>?`usVDuHQO;VrcEsd7crJ#|sRtV>&M~bgkEUiJ>)3=VgYj`#P^Mw7%)Q%FuOS z=g$nSbvk<(LFaspp>g;3aTC(##Lu;eXeul1zIv+5!KIj}^=$fc=kfF6g=R=0B zi8>!Kv{vXGV(9v)^H+w}4V{k}x>oA^jiEI}=M#pmn>v4IXg$&Sl%Z>=&OaDhTXa5S z=$feWPe##rdzhhXoX)=(MdRn^3|;SZzF-vMMdwR~uA4evF@Fl|$#Xv!I_pOB z9M45u=+e3aG}=X+;?g<-^w))+x`{lmbD@=P3eV+S^O>~1ie|Dj{F0C=3 zpIm61OX~&b1DDR7&+}>*y6Ix>X2368#Dy+&(LkHJ&_S2h1<+nD#&EY6&!=6C+iqW; zOS>48U5v#B#+O4#1St{ejDh)@JB2Zzr|uaH&BNX4m&nfp9u_gr+g-$D?%6z_cA+)y zGM*2+&J>&;uH0dmpbCxRe*IBf#g~2N;w3 z^FhXhA-Ovl6EULuFk?Uq+(#Ib`WYJRKE`V;E_Bz0-WnM1-NzYPzi@xWn3zAfPcSC* z-2F9UQXf9am>3J(-!LZi)l-a#G1vVqW5O@orx{u!aCbA8!O#O2e{+mMW&aanVoY?O zXH1ND?hA~GvCM^zx-aqig$wO;U*Yu&cMoI0Ki$_D1Agd2`&?QZq5grcxo`2Bk^2r~ zVw`pNGA8WR{R?A~%|i3s_jw(}g`T;zwn2V;fH9#n?m@=H+{cB6xgYU*l1n}Yy)qC_ zxF0hH=14BI%B6WLfBC`R8IyeFGsYzU`zK?D`Ub}y=W$Y*vNw>d9>zg>TsE%=0&!dTZLO=T?Dw3o(M@COe*>_NvY_@bA=Snxlue;Z?6NcT(v=$i#Q@f^m2 ze|qpkkM0{ptmDBqJi1p9e&|IQ3tHfnFagAM9{kXQ*4eOI4_fD8j$>0fD;XO$;6d{| zw6}%Wz^i2}_@38?vEXAK<|`iE%LhO91~N8m!yC+4@K0|DV)f>hr#BJUZ zCYtg*o3YUre;$0*gHA`oU%iVNo9YeU@DKw>!+*Tn7@P9GgR$WY-kpq1=Rv&Uq0eo^ zc-}pX4PExOGB$kN+s4?4KfUdY4g2?~pXeF{G{K{CqaHTd#-of4AM~Ir9?EFLe!O2X zHvA=IF*a-_)P=F3gP~N$!hAB6##o5MLJniYheIA?e?c2UVa7szLlK77vO~p;4NVP= zW^8DG2;~dW`Ud(vgffMoRW`Q9`PGM}+A>5U*;UnP;#)h4T9mc)_sms`yFNO0N8*yy7J7dE)!_eF? z^uvbkg@-UU#za@4~%a)bWbMiCkJC% z4qYRo{4kE?VEnQW^XELx*vL0$H)BI*a{j>BI7iO2jEylm=Z}mHAIo`;v7xy+FEBQ2 ze<QI1G0W5X6B(4h#eA7YG* zG%+@ODl&_)QJ=_c#zy@ja~KKtur(F1DF8a|%JLQgLZ1h1c z{3sXsTZo5pn;9E^nv1gM(i$v|Eo@@wf1cgK8H_|-3THBO|8C)IhVFAJoWm&iM&a2E zU4JdSh_Mmp7pF58`l1+)Rty`mQ08K^Nip4n4c#st%P5?;C6lo+{i=pfB zE!hm+Ki87O(6#xNMn=HSTShT-Ur5VjhVJugnZhWEk9-y`oHBe zhVDCTxtyW<5?Zcc=pMwDD;c^+q2+4EMqJSH3x@8cZqd*+=9UK;x(Bi4A%^ZtX!(qZ zrndbj6ODMHA=L@)fEESkjmVwL=nyh2_h*UEMBCV8{mByW@Vf6GVYujOy$ zJMy6XtNc{{OG#y^fajVgpQ&5b7PV77rhcP-ubxw{ zsl95y`kT?&=whT8o)Iw$j6$Q#s4#jOeT;s_AY+s<$(U+PH)a?sjPs3E#x=%jW36$U zagVXX_>J+B@n_>T;|=32f8!nFJ>#(Pr5SIQnA6Q!<_hyh^Jeo7bF2BF`H1;T^J()L z^Cj~Q^L_Ip^Y7+A%`bvE!NOp1ut%_Wur@d#I6OEqI5s#bI3>6wcwX>=;KjjPf}4Ze zg4=^Tg1-#@I`}8YaH5?=C(Y^Z)Hp+(an3AfuCv%#=3MUFQBR?XB`I_SSf}d3Sm(-aXznZ@c$^_mH>C`&GyabqS?~oRAj^ha#ck(Ad!A z(6rFip&LU#4gD;%ePj zR5-J6PT|>w7Zs-$=M>izk8R0p$!QtYGNom9%atuxw`^~Df3W4Dmcv`eZJqm#+1l3D z=6{=|RP+}8#S}3^Tp%|47Idw=L9Uk@VL_YaeZB=fDgPw*$wTrJd02j-Ol7NBm9D}n z0t@P``l}&ov|6DqQdg>VYJ<92-KKV^N7OIXZuN|MQN6C-g#`&C9u|~tWEr`zpki21 zwb2U}R1XW9e+Ubj1`As5ThL{&pf$$z#vR7J#{I@qCs@!IrZ5xCQgf!c)Ld(>H#eL2 zn%m8X&0Xe`=I_lH%va5Q<^l5)^E2~vZ9%2Ma#&DZa4;-rRB!?;Xz}-0kaD7&7$?4KZgYcyadmK1(m>pdU>_5puye}Z#gXJ5?Ih3-rcaEt+1f`y`A2p z+JaI$SkUOuxX=_>(AvqNkm&?>znQ0#PYwLB-)mUbLhIk$scX! z9NmoZ|8_d|SyX;hQdD77H~-sLfA-%=j_MMHe>ekwlcEx%a-uq08118IR`aFxh4s03 zRlGv?Hnw4GXuGBjqeUAc$hHf`g0_p=E^ND?ZDreB|EkkOx|8*XA0M1|=#Ph<^`C#B z*N2|<{~}`A|J(haeUNtO+(YLay8O^(hkkr$@u3xe{mBpIxBn0Or|n0avH$V?Blb7$ zf8V+P;r#>m586M_|11w6-rS#Y{4pP``RH1|ESNKWc-jY;A$^!auMajHy!GJVgNV=$ z-gOXjr-LmAHyuR0d2r*w>kndFJ^0}ME&K1<7kd!#(!uzH2?str7&w@CF#15-ftL<$ zJAg>`z4QYZXAjW5ed55B12YaxJ%D)Qe*ogB50)J`ci$}^EIe@5fw}K10< z^UV3?B6Ep(nR$hIm3fW1(Z2?Mi+QKH&A)1Y*uofWrCS+R*ebPpwzr^FVbS;28muP$ zdS=J=wdnh5O~<`6q5U2DYt28tKWLusr{`EJtyR`#)*5S_wcgrn-EQ4!ZL_vp4_J>| zPgqY|yJ$8x^|R;c zSIs)@&_*U?*&J%qRY*8}x8={oM&)2_8ga6VLyj(O7T|G0fef7qi>cxRwJ z%s+Yrmz~RK&(S58))H%l^#*DI>k50i-DJn&=;Xfa957IVa0ai+LV ztQFUb8)cSwSo}&nA$~2M6u+^TixD93@Vd zbH!viPfU?#im7tGm@XHJS@LW#U!E(@k}Jgmd7fA-FBA*q`QjpZwYXURL|h_Qi%aDi zafQ4=tdSeV4RVuMCpU|q%G<=xe=QzDwD|||OZlvLO1>n1D_<5*%U8t9@;$Lv{!P3mKNWwGpNJ3S zVR1nIOME216d%ej#HWa7Kas8CU&<0+s~GXEiWNsxXVI$SM4O72QYFeRDoduRT-j9y zRgrX6iS$&dJR)a`)1V;d$$W7>tnqSLE-S<>@-ekSye1FGe;Ab^t3+QpQrsl(5WkbJ zN}&>@QeC8>lBKCqq@_~j6=JMx5Qv?mCO+j%HN1l@(eLX zP8To9cSS$hC>F^J#0Gh%*e(Ao4#}^?Ka`XaRVA*LKNXLQJ@NxlCr5~J;tY9~*eX7k zJ=Fj)UfLL+e>Tf)s!@$nqvb65z8a@aQxnt~s+XFkrmH43L(NpPI~RNW-^ zA)4QaXzUjCbHr&aYK)qz&Qgoj615Bw+U;thnxsxwf7hwC>UulfuCz1kuw7;6+WGeT z_B-~w_Fj9R{igjF`=55TooQ#;dGO?K?Y4jln1QH(9f%3U1rh>Df#g7HAU)765Dd71 zP#`N13G@oo1o{N(0>c9%1C4=Efzg4n<}h=FQDHV1l|~gJzurczF%NTy8q6G;5c$nC z&NNOle;N@BjyA>^V~ugfcw?3^$7nWY8*|Nph!4*&%8kk9P38yY2E=ziGY>-lKg0~; zBlG9xU(HSC$L6i(-w+LcV%~0kiZS6c^DfLH?lupbE#|+>E#~LuJ?0mP6}OsSnzvzw zafkU2^DB%TUz@)$zd;1~t$Ck$#N1)Fn)jP+f93<0Fdwv}xzkb@VGh|*wr$7Qo$Stb zqMc+X+bMRjU1E2$gLbLy+MbRig)D4;$8W7u}}U(ye~f!`{h5yLHW7(tNdDgEWZ(dmu=!R zrNlp#A){29Oi-RoR3Vw9!ZKN9%M4W@9aStts)r1#GWj!QiodBTVt^bY2FkHwkQ^r( zY-kHiXj zsW?aeSez>_6C35-;%0ffct*Y^{vcl$&&oH%ALX0kIr*0OlYCn|FW(Wb%Y)(#`Js4I zek9(Khs4{Mt46DI8BkqiC)G{Hs!Z8g1!bIaWV~`^ipr7QRCk%F3T3*=GoCg6e`q{! zykNYD+2+f}E5>}|EMt+e*jQqmZ7emGVfOI4@fYJ=<9%bl@qux`IB0x`S;oc2rN)mj z*SOrc!no2nWc=0m#Q3}MsqqivGvlAeRmRnrg_UT=JDd}G{hCYvc{y4lst zFuR$VX3)6HxEu4_dyTEeHscq@e|F5Wyoq_rKI3EKZ^pOA5i`n+HdD|i%r^_oBFtiXAlfN6E6hs7JiQS0^g*Q4*X(EZH(oXVY=%wO%rf?v1(+GF zFcugKjr+_|W}`XUoNS(97MtD865}JY%2;WfXIx_Z$avHoZ%!~LVV3kSf8z_|OXG9n zE8_;^M$E~7VxDGBG*8FuJHbpelT2kAW}MjtbF4d!O~$RpE#?$+syWu|ZC0B#reoF{ z>y4X?7GsO?8*`jF24mrs)@ti2>uT#->wfE2L_gHtRv_e<5q9+8X_^-PN9ik-X7vuqW8#?D2@oeup?@vAx9piG97j z&R%ApV_#=qVP9@vY_GKc99U=FVBKi_+}>{AhY0JZ_73}g#924l58Dse4_X_npV>R@ zhpdg(&GsYqWA>}|J@z-&E%u}KZu|H4EA~_N(_)+4C4M1is3_S>e+`tq)gbX_xnGv5 zezHLImfcm2ER;p6k1SSovPAWjJyd^Lrs~CZwKMvw=x^<4HCf%D?hD)!_&MgY_X~^e zw^IpfoiIc|#ET?>NW45Tl$aCB&CQCgF0ZZ*r5RlenP@c09j%wh5zPo-`F za^prhbAwuUWP!J1fByVUQ@3ov4ly$B$cHMu^|Rwb9z}B@*^2XY7MSgncPa0ZWke#m zSy55ZMs;N++8?Gf~23UDiaALBB^) zo>*R%nwpXv6`kTIQCUWLSyg34Br7YieWQ6>eN#ncdHv{`e?`MLtXwdyxoOqvc`H|( zwOXyq8eCN|GTw|CGpO%`?sC!KKErB{+}SvO_)!0A=snvGs~ELe&^4}bBvM&Xr*O8k z=tv|h92J$4oSKSLRHsEn$suDd7??Y3PT!sryC!!VQ8Z#?M2Iep z&of(}%{;pQ)7U@IasOu7)cPdtP5U0oY~3Y}wm}@)e<1vC+n_S5vOE#(&^Z30LHQ%* z_pd*#YjW4&Jx49=Q?qDf>1kc>eA=1O-Vo*8QiJ*25W%i*X10k?K9@8rB9K4?(L|QnKTkV&x5__Ow zpQ#v~f1Z)iw|n0{o;xVEM^QreoW`+oUu#Ci_%fZR%D}O)oM*W#kA{gxryz4VI`7p_ zBm1Zvm&pr1Yn>*q*?g$IEqCD^U&e^0~fD@<(Rq)T#!MebK7lHn}HnIc;28v=QZ-* ze}*$_YR+u%|5Crt``Ng0Kbtr2=F^ZQCdXLI)eMXKSHlnfLk*j3AYJHsgxfJ&OChA$_ z*RkEcQM26KVx?=Wy_4#hmIl+pS!L|dg^|>(xwWIGg{wnzf_2?X$5+)(%}jDee^(4T zEmEB}C(2^EfmtiJMP+agQ0U)M-_ri#N^BaC$;|yF}W=#(qAaZg#MAk z!A@El2^(l|#hY^9r9JYrSddzcFQJ3dbjo*>l$^V1ESC+O2N)gU{O)l7_hTM1nSlS8 z16>?oAl+skYU82*)eh>4i-y#Mvm9il&deWVW#D=K1mojD+VhN+0-o~1-uzyeeRsD) zPeQbA8h5u^$FwmgeQ^?Y5;Aw8#onyDEir#SNNK8SO5;leQBTKCPsi00J<@8*LwVj@ zFx5TD;dUi*0ZwZ;gIuYtV~RVDO_ED@Rn^mo^y^(Ne-|X>%;Or6rsWv*mwFf+9r{rF z1z2(q$`3^I8-n89$BX}Y?5Ael>Fp=|S~O5#am}i~(0ueLKGr$@YoFkyw-Paagf^}? zv}Zysh4s(3%{-{xPSHb*>*>%MQhTXNEN60>Kl3C@0Ej{dm1INPE8Gk9rdn01K`O3n zNwIcCHSZ&J<`($Gt3~eKmvUT{?a{-V3tS(aUsWVZs1Fvienv}8ZRIa@H0wEJt1GDT zv(pjv>-)2m^T@^~pW^D{yf!z<&Qi8Vw)jhPV#itLH>J-ebxA*h>QH}bv(Vx=-5BG* zB59^!CSa&9y6w>Y8@((|qW-y3wf3UQDtd=*g2sJ!M|?+7#mg*}jhz_xr`GgyV^BuP zUgSjI%4$Z|sl@w2Q?X@P*syO#`}%@JPd{VjaMe%lyzvo(<#S!bacWgObsl(jfIhzs zbg=(!PKe!SW^6}YBR3~`fd=en7gtaRyA7U90k|$B{N5s?(JP^EU6OLZFZj#LM|r{cN-O(L`Sk| zr$HN*gRegsPpy&?uD%eaz_#c{mwiGu8a7_mTHXo&!kTRSWXPb+Q>M0+u?O*r#hE`l zG&GuuhXiR|L(58!1HigE=Fr~pRspI?L0}|U;s%!vdVdktHIrvv6BXd@2Cli6ryu-C z^}?Mml|%{0rSWCWOe+nqOHoNrk5AAQ1TJbTv?&{GTnQ^H2wiRDd}0`?cbf)2&{+Cn zqlem_x3{`As21s#(e}%ePD9+pjT=*}sbRROv5b*1yICm{OyB~`mA_cO>DmlMfakTI zd;E)G2YuY~OO$#Ac8DfeUpO6YhN#@C0a- zuO;E7RKv`r56-1cTxRP|OZlL(p@pL#kKeV*SKJ?4Z z(-joKKG}9dm7lkcRnkpOO|5E~mtDbLU@{ql#+=W;cuqLihx7{TYFr9fkm`3fu{}f3 z!9~L%%+{TvX*RN3S?vP3D_qsSc_862I3mHMt7N7xKbRXz=2AA@f9m#5>x zF`48&%b(NtP;J3Jxquco(Z=4c$tValpUl{*L6bW#>?iL>3Ci$)Xa^a|2Ds&iyD5m2 zJ+ci%CJot})%mRgHJ{l_8Z=W4xvF$!T}*ToG`^PFmU@Bf->Iyp!L9FAB&X>k1Enu9 z>5a2Mf$=2l*WAE!Ou;2Nj4M`JNYk8&(Td3y};Eczyr!dLT z`3j56Onj3BfxS;M#p3@N$Xu5c|BRh4lru~7WuMWdf}h4tHpf8i1i1vlyZeu6Zi5P-u|t=^K$aRA26-7e z`L=#Xs1`7H%rpSjmC7uu7OLi5SM#@<{T7{#MY}gk<=}bqF!!0F>mvRAN)nRFmE_N# zVX(P2B~qK^!w;wJ2kIidwYF;J}zwin>Fd=t&&PmA$!Yl zmi@P{l99caRrJ8js^1+UA%RG%G%EWe0=<7r zLWi4Uz`epy8-kBy_O9T5me^ZIs+zz<4f;35#Heu`{Pg==(ZwRlj4wp`Mts!q$V*6D z$8hP+qsKrH!OT5YW>EMkr0x?YLP=(&=F6TyM~?_Q1#>xqgTNHk+B@S2mr(C3<~Gox z1-*9G&mKdc9u7d4{+YEv$BBWPZB6r!=ZttdZ}+sMTAztBIKV4(PbI8%>6bRk{c-XGRXQqk)5v|>2rmB+24^j+2TP$Nf z-4M$-QWG_ydzDjbY+Xc6WvWmzBnQOE#tOPb8L$_^_gnF|28tf{al$VTPV8JcP#G2J zv}#L?{|*!=gKTC(34>jv)FvXq0rVWEZe_l5!Ij9brHDR50s z3OGe9FaNu@+9^_{=p}a{)ilres=DA@4h=&E(jSK zgw0dlZ_b$WKGN6I;F~EhN&qR*(W6Aa%}%ml8scCE2E3B1b*bB(G*?m4R*+O&;7TW4~U|H_7mzroJ@`S&y z`bVeoP`zoNJ(A%PakHe^njTrocl|}a^E^7ZhW&1%UU%tt*2jam-c6tu&$Yh=tfg(s zNv-N3vefTTq9Cn6w}BV~RHr!D)wU!>lf#V+Q&*t1%E`$*=qFcEdl|Xs-ReQW)~SVw zi2e2YnuLp}hUs-yM*_KevHR^WbmPhb;M&a6Z~Wo4x1M71t%t+8Y2Bdnm{d;odiYW+ zp4tOXQ)Ql`j*AV8CbxU8ox|SA7l%EQWy(6Z^U3HR=rc|?9 zQE_h(Qt_FZ9yv~_)(@u*qq*Mh0~{BEi?)k$LMOd3g-kvsLkn3S+tTxn zLfN)alu63j7nYC8^!f;_CrHNJEZroPty^r(MaEX6H&=h0O}^G%Bkfx*FuAyGPKnzy zTx6NuPrPUw>25lsWC)8M5!jGRZ$xek02u1 zq2{-NbJNUcwMp7SMYby7y`XyOKaq;^((C)uXV`THf=An~^#-33SG{HCCs>oE{7hs6 zABqH{LPC0bjcWbAg5M5NPCdRiXLfTnRmgk zQ6511@nx<1Wf%X$M=cR^Z`qaoaN=4<#W-fAOf8)pBogDS_{H zLk|l#CyQ>)U6IZBm{N9KpO%~+Dn#qN8`ooH6toXDhk^T+VuYuQo-@p@>F9;Y$(7s3 z@XPTUh99H5YmQqpTTtAT?Q5b*7U2d><)c3iGP^0i)%%`^K;G6Gv(s*+^!#met`wXS z>i(*esy;ZIso~iN6+u<>*MrfU1wi6MBqL2F8%rStvAmqZSea8jiat$E$rrG|aE+lB zV*+}m-K6L9o_#S{UP(K|HVte$o4C!E+avtstyS0n9Is#8EC9$odGG}MW3>DCk2xV; zHD9i~DA5}`Y*|=$JlP9wEah)$mTsTRYq?j?b$pSZ%Y4IqMZpzR1u_S?fWiQE#>>CM3Xg34lD$AlB3>x`+A}a^mEP}YhXc2qPBtN}a14`uO9->L z0~hT~CXs*FM`p3@?0cCyL4k}Ac?AZV2Dw8uR^xb^7s*CivGRfaB28}p)$0i}aiwOS z_=98kCYfs3#%yFQW52fv(D%g~{6jrcqP1PNcaVufqq={I%zM?3{||Gkp>CGX|HuQ2 zcf8P3THO4-q42-yjpzB`{$kZ%PJ7OKr^2hgqC8UI!dUy<7w3mgHc8>nlZs8<<!Cyucdd;iI`pkn;>60@vpuNiQ9Yw*1qd5jP8KHhRrgzgxt+T|9bs<2goA--WIg z#zm@f1-vBnA2}7i$s@aA48v2zsO;NV*FPmy#0@X{+F&r{oVPEBcv&kcO8ZF;0-+oTnj)GrDN8B6U+womK7(Og*3d4miAC3k2 zf0pL_N1i*qQauPKt-VXb`454Jm>3eGw$C1(+v(4?iZ!nO+uqrZyAN!F8w+IS&e-cS z(8F8qaewFBUVr}sg4{dDT;s>8m|P5DmM6bwZ-s|2wDB56!T&AK+d0V2ZnKRL`6}Ex zlLVwJC-kP>XPN`fJ?)~&4@SQ3@`Wp@1sweoi?Y3aUv})pfDu%?iN%ruq^gO<)O4J( z$wg%fV(FR12@?oJ)^U-d-=G@&mSQ=l0?Z%5*7nWOlS_a>(h(Yg;u^OC+HtBDPp}gz z2De43xe_@Rx;X!%hA>G~c?Yj(P;|AcITFnoRDcx{tU-SlQ>EDu_YP@U7kH|`g%UsW z$Eob={#d~Q;m@)$KUQKf)%R2(F|B1Z7amnD@|QD<*%HBa<4M)nRj|cVlg5KmFt&K` zjgBJ?id6eAaFV#z!Q`U8c(YawIH_)27Lq+_%&%S)MGeWG$v@g9*;{E6TW05*hUkX3 zT6&cE){1#&p=~+G&4*nWnQvTrT%#?9Lht18B0d4E@{ahPJk9U!XLk=(EBlkfxlM!F;w1PC38Dmsx%GreL zO6YuNKf!A`dY0kj2&u@mPk@*g^SIeDu4hKH?w#*A9;wU4Nk_P5@|21n7j(P}TTH}Y z?ClNUTQUGGRZBG=2ox5C!+lwsOKzT_-)Y7$-k$pK=D<6luQu!6-7-nFzB(Q`m1}x) zKPtKMw%0oV8E@5_dhc)z5^J6vyp+0r$u>46|DGTZ5B86PtLba1_8H+L{NwwceeZEPqkWeU!nLMN$P0{`CXD4qnA z;{vwJlA2(3k7PIKWAz7CEH23S8`wj^I?A(#F_;F!V$u`UD4a^O-&495`Hrl7Kj0Qh z0F5Grv}b~$cG>>M7-yNow*$r`caCAlZPTvPD|*yICahQ6Dp@dtH#_Z!hv#{xq;BI$ z!?FLSe`H0j0?ETt9bnSqVRq2T-Fu+JQ8>1f@&Uphz;(@!!m4)9(A0131z008X&-QF$eXDl^NStgu;avcYYl9!b-q#-)tk5xice(#_Z5 zy0Nb#)^+RWo#UGYx6XI)F`e7Gl{7Dyw~jHy>NvH1oR|vE9&YROL5Ez}q3`+@WB^{u#q>|f*Ed4i&!xPjiK&5{y%OE;f zxgob6VNCpd>LGEpCN0(_<{SoOArb}0U0>_kXTd43>o^TQblob7$=2MPwi8Bm z#&`+h2nvrmF4x`gzp|#Z16<0Uk?qedm4pF6Wp?c*A@i=Gx#Mx^&KawGMI6fNCD6%cQZ>1eavVVKYHtyxv7)(OeSRD zTf|c2<054ncJMd&H-}G#qtB$BT*Y}0Ass{aEOUw-j<--8yDB)#^!oPBil9Yl%u^ZH z;%p*X@nx$J{US5m*x(*`rQCoP^MBeE+5bmN1GT?JNa24+_tHrr>3bb65SlXTu>KWC z^4c3^yg;Qbua~PiUsQTcvBzYg!cB5{ve%6w<=uO&ldGhgbPYlU&Xh8@6Za!Q!ywno zL+9n;$UE5eg*|=FL%tB_@8i(`yQ@JMtbI(8-;m@O!s6$wEw~f`Eg74AqOG>9yse;* zgA-vqN}%` zW!6Krw`^hxtTfRzAS1+g9G0BH$4GK_ZF&s-AhB6K`DPv_M+lqM zJB9oY86v7yXrn;hdyeqbzZCKE`BY!t{>14XU!^%^zma+P5P&5doZI{VHd*WI_$9eK zpacC!pR`*Uq8XQQB~y=3DCImu6N=lq2PXB6&15wHzYb?8@h<%XaR7>Ncy9OjTIq@F zjWzIM6TaB}FZSt+{a+LRp{UOh^GXKVAyJm>ddDP&n9^5uNTtfDP6q#)PZ~lfh-zj+ zlP&5tiA5pv>vQ5XA%zS{jcDS+w=d;P;)x3)U&_NVWcF4~81JXwnB-=NI2$7L`Ky+( zt1O%TP3X~LAt##o@|YF8vmFLtkSrmgC`J;jS5x%KE``@&T^k>OWGSiH-Nw@;CImOe z=vpmLxg*8!fWnL60iC|e_$JdauegTz?XL^X=#HMW{Zlpkq-_mP8$4r*3R5|KYoQop zi$_IF49}-ybF=pjnlFry(XHj#i5|Aww{|#VA^(pD0_^nm9g@duo;2f(*JQ6b(^j!x z;{l_(+Kx+-SOK#&tENHUeje@dBYl|TBj)v}YVzv~Bki9QpAelyn&hc{ehg5zOB8Dj zC-jwS3lmY`o>$kuo+t{ANvQ~OPq|E~rd0|B$kj>;q}5NF*+Sm0sK2yVp;6^MW>r-G z>qV-TlDv!}qN#(aE;J{bv_VrnNiFf=`y4>E`by)FPHm-FR?4;#<8=xJdTlwv5k_5& zs#Y)*CmN2z`W=g!s(+~LPn4>8R=2_Dk#{9%@zg#sfxoIy1YU_1VOg}+&zz9R6VFA- zs&ln8;+_sze?$6$#gBo3r^W!w$EpzhB7c6^fnor|%BM-$efa z-=*y(Na+8fIemP}-sX%bkCtblCItr6CcbwMNR#k>aH6ua`X(~D=}e;@As}{3Z(PG< z>kJLHkkZ2b>WX0)dGppxDR6QQR?CKCWRz+`Sm2TqZxr-&|P~{-F)j0Y)(}+lfXoki`k!BiTi}$7j!sL@$GDX?Y%@;?Fj|Rr|y!L%l#Ud z8Q2FM{qkfAAGUdzdu+5Xd_RDI4K)98y*ynn;HxGTScSpNECX0Od0TUGMpk>@xbo;T zT5xNg*!?{6*AWoXk;iA}5rCIb1NY~Z5`DUdrlwrN+F-JnIsY6U=VTwO0xjPF3J2OG zMD%ZK=jhKl*=BxeUthyl+d?Gn5caSJ{QEt>({wH1^{tIQY+5zHf+zJXKiZtRTv<;z z%{{(eo3#Y=;aUD=D_{YThvjot?udavz?XfvCMjM}ClV(VRyT0IwY{$mjGiAITy6e) z@L}yN-v;DaPB#tP(BbV1x4XM;&HeG#la$^gG@& z3-AeW57So^>AGD%zjB0aPF#3s)O5(H_{BqCHjK zt>1#E?fkJ2_E2N!APHHpp{;YKO)sa*S-la=zuVxb%yAexy5crKW+AMRw9Wl(H1Q@s zp*K!`>GHDgAkn>WjDEcy@fSMNhD zi<1J=FH|fi($NCQA2ynF7Iol)KK>W$^Vi0|e0p^*TXDJqsfNA=8p<$TlJ5(3h8KnG~$N}Lq|oTen5_E?I-iA@74#h_dk>16IOiF^?DE``q?fTb z-nrYig;8GnmanbxY7ErTs+eJEAywymb~q8L$T`8b{gS>o@HJ=V8az90_}FoO)`s-Y z`b(@~y+;NJ4}M9$j`%-;-r$~3*r=KI8>$MLI2q7^+HyGKmg84bS`hszo@p{Jww zfVkD}=o@1zE~05e*u4|S{#T2Osus(0mY%*yUj}G){l?eB`K&(7B9yvIHjz-NC6~3j zsRNjmBS&U?gvrJdu6G36gS0^AUevuX_U}&Bvkw+@0L@$K$OyJb5B{47usyAl>`@dy zf8w3YDIrVsCL{b>=0TY5)P*wP_2J4H75e(*+YaN)RY@~LDv85BZq*^~VymS1Fv$Gl zZJ3#o1AF;zOe(A@!y1VHU8QPJ}*B-(I`tQ28zPYCI6t&AygaHcY{ z)h6%CL`QBCND3OXwpOI*amupT*lKZ*)+7#zt88W4xNv8DPbxsIU1vwvl2w(^8e5RI zXGA01~m#bO@v0hrF{v2@KO`vv8IhX_~oXZws#28r^NAd?uLpij>FgC}d>VeX;{ z2%|g%o(Q9yVyY1^G+q8Eh5VPYf067dHjutM4J0)oZ}rOtLAjteeszHvWcP%IS7ZYe zw?Ey4&SY>5Sv;hpoIUDHhsAa|lGs3<1ffp;(Awcx%tJ7bBq2}#zcHr%8)o1pjG0(p z9CBM2rR@G;nbPfO?WIO2k?Z~853z#vR;V?Vw+zY`)y`MzS$)6%P#pQTL~oZw5;122 zb+HY28)s#6b^*FWUM-wMA5%iASf)A3icf9LhnM?EA(M09TOsTW=@b(-Q zw<{9~Nf;z6<+^I;9Glx_rvgY!+d!FDe26eyYfpnL9Lb_R`hBqXRQFT{fw)~n**(e& z*Qs4&Y|G;!Aq>hfOs7}WTQYh&gU5t1KPs#nTj)~2)hg*ayU%4Sy)(w-!sUx!fB4+) zEwCPqmvxXUS5YUs`G;Z82*-I}EmmfO5#bxRmeY^y>1Es=2n`v#DgXv@@#pmywuvMT z>yOW^g0XAd7uPryzk#?dBZ zwNZ`7FrxAFJf#iB23#yp-#WB|4~|KqC_FuOR#oSGYdNGbL*|;>j zddYBDHO99PVf(j4#M77$8iB%%tM#Fkd*2N+3$lK?JpRo}eBp@9{BwR%vdXR;-mt36 zjKVIf7!GNbwNY(KDB&x$qErw~@|);L;vnR`otc|;-Nfg=zef!H`W$7j+r!sa;=&CX zTCQ@iCb0NO25LU;F<$K<;@2QFZQJZ9-|TRnI^wU04%}ApUFn54*e|*Ar=pcwHt0V6 zPVm$%+0EZ316V^tK>@6m#;r!SaWDRK5Kc1uer|0#>fg}G zwC4Tf?Cc!S7k!WmU!n+^))UA!88K90J`I_h`<}ysAuOK?-^_2v9Wz`ux89rvyx8xh zR-&2Oti!lS8uvuF_t_hnL@bX!wcg4)y>}})K!3`L?L=Z)bs=FU>?=-nPT8GgV#bC7 zP6Y5CbJP}j8beblXJzy>`nA0xd&%N#F`IsKzt{Ng^`*-5s)|=7Uwrq>6btK1a}LV? zqt-~7*Z9_#CLXxc_zKedE++}5nAPyl@8j0jE+?N9^(l9LjWchHpn6=1Z*?cu6 zls*kQoJU&b#U2SNz3QGO(FIPoXsR910(tDu@O?R2=1eI$3wzQb=FD)igHL?fA%UO_ z!95bOh{eCwn=~7lK>n|MO2AaztZ=Lg)KgOr&QTDAR6Y_HNd4KymIrk zej*iEbb+AN>|8&wSR|1|ON!-7vq##mLUPrr;2^SwSZ3C#&#YkIY5r6dQup$7gmN#W z-b2-7N7DKdCmXo;V;wE6`Sm-uzplIeWl5QtNLHB2+87Qxjr@7zUg9< z0_FK@71k6LR`+rs{Q_m)awoB|ZBx#ts&;zxd9=)#^C|vUGkHU^4v}xuffE!&6O6Nb zqQ=*l?s zfZdJq@cGryk!L-)HvFB%yZ4-I?5vz=MA7d^|3?K2MZYsb6XWEPVB_GHiPE?fqZ^*Z=W3NEgi(o z!#MsLi|xjTCtnpi{(gV$2N(t%-CaSpbK0(+kKG-R$OQ&OH3s9cRK`ThQ1C=;2ZEUJ z&4JwkP&zq56>@WMeMqwLXzgLLx-@6i`{tN>gz`}LZXeqHcpokNs!W&n^;pfg%_%Op zldtx}+?A^(35^A7K||C<1T(0MqVqwG-FHTrbhDrBYXxhwT$m=&_QUN9^upc#gc%Xh z%~BE>-5U|nHq|0?y_wQ=n;5NC)>+O`E&Xx)o%-k|92661w_*3Hj$2+fIS7;I>np@VP26DVsLYJG-~H)#*(<*xwV zFyiph9veEv&osthqxu!PO^ySus*JM_DviA=2ub$iGe*pe}>SZ);~yWVpXA} zDjP_a7{R{wnG^mDg!R1HVsv@m9MsOFY#>qHrO|z)G)6vaTxk@Qd_M4Tj&RO?==~;j z)klvg6&IqJ*KIQ8s7ryr!go#mycxTJfPH3TMIx=1*BeKaFN(3B<7S#vcaF!OYSqam z>A5M;r)%O}uP+DI_y>ekZMew33m-SGU%FyrT}`95iAKm#7%TdJ^}%)4dT~Lw3&Zl1 z?9RC}zTjOycnQX^i%e7#@6M4lK2ZLmoKRcJI!7ft`3c#V56Kjul!*-y1W1AuRIsjI ze0e@Nig%N~K*;=xGIKAvlp5X8{}@ld@CFsHGq?~O_sWf~#UT}nt9FMrjS<@P3~evVPuL!7+Q^Q~S~as~BV zb)hL$)L9xY7(TwUkM!724DG*;{4~uG|JN(u>rx7m(WrDEYcPm8g|`<_q#~KIu5wls z-SKf()J2>rwS3E?@7t{s;FL@&5%XCRi%`b?%Tz*@Bq*?@H@}!;Oe_5<&Z7RvXr`)0 z!5lYH+iM4(zKL$%yEtFlel3EOY5Fr^xBCytV-)eXp11|dzZbe2sQg8-J(%kIyZ1Rw zGO`Gx?$AE=#7M_l{j(QaV0v(q&7BLf`c^H*QQxe4<780D9}gK|22iiV`#8EdOb{6T zo+{=(7bJYOTN{3cM^TR%2h{vaMSDa>1$@;iGjO383O}L-=uqM6jTP2^658|*o`MbP zhLNEAXIa|AP!qmDSnKMX{&28ul03i?Gee*o>~` z4129i3Tz{CbFVT5pQ`XA<9m>pK-fr+au+NUoo+!w`)_)FP%jg(KkMQD{hTdPO_5>l z`s0o}&dR}BX_?~3-CW~5QIt=yb#YzG_Yp0wo3=mq=>gsobHKGcm12cALAhu}0$~we zx!4|NnC;3Bj`YVfRDTc7$smrOk9Rp*?DcroocHSttYNle$syG*xYPa5 zU0E$mS0e1V?xnzUctwc2Z1-24Cc4%nh-w{VbXPm~agDVk#xDP|KJzxPT7LQ`--G&VQ*Gp4$Y&u+fb@O-H5djlB=nk|Jt&Ik|@P0_D7wJRHslLYf1IDc6G z)XVyV{TFe#_uB$)Q$k14lQ377m7(Gb9HqP~v8x{~^LR^~K}Jx#v3~xxRU)QL zZ%uIjH`fpAnV2PE8^Mtdi4*^Lx}8Hdkf4~cl*Cdzu};Km{~0i4wp`*xb1jKSr}XMM zjbhIx0d#pN|GsDu*>9%_AhB}9X)j4|&A&7?syzsg+dE>7Y1oc+)f=0*TE&M_z2KR= z8qRwEP0|zt`Z-pFIQT|+I45)C3|D@~HB}H-eUE`P#+0zrcph~;f=TOY-5=5|6zflX ze^X%oG;1`^z+#Jwew&z*>m@hagO>u>46pdLdkts8an2grbp8)(+wL zE}r2Um-2)T|-Au%+o#;z9T{5W@Sa8qLNUQMEPGeQcunR delta 28979 zcmV)VK(D`u#}c!~60m)o12Q=^mr)u57k_UnIg-A=U!gznvKib72m&lC)j;2-=G_{7 z>PFXP>M(Pezdu}q!7WqvtE%zAu%%3H!C1ct((Ll-fWq_83r+-%SN4}NcD|d05(_BlsSHf*z&BYkAS+4%5tVs^JL>J%uN7=pWx7rpxbXq420+QyL19{e05gSRT{UN|#ag_`TBi+jp~Qo@oMq?yA?}2}7KC<@iN|@zE#Bz}%$^ zl9nAcN0tRn7b6#6vBYhOG%{HgJJX3*dKc-qXSy!6Us3R)DtMR8Tk8BskEdDg#LN`V z-+KdAh~k4~=Yuk;7>LM%(Zsk5R@POy0SwY27&&8l;}gGGgd3@Q?_xP>G#y%rr1~tM z_Sr~(b)iOUNy_MZ=l%-HCcLGHa%?k7HEfdQC2zoRA% z3$aYwm{dsd$`dzs&Uk*YbWThR!-r9?6V+FYvTPW3ua00?15&3WjSqu0tE737;LTDM zCP_3>e3Rf7+7ufr7n^0e$?eOwl^&!HRxf8T?{leH0$A^a}7#>Y6eA`>?v ztyz{wf;Gyo&zX3dDo@NV&q`)fT^^(6O1sg9aZaWWWujM>z$n!#xK24IXlXrxl|s$1 z*!#gm8|z{uwTX8UZ$D{=#OZDfPN7?qH9a#R*`zhdlgkM}_J)kuftc`|Bq#bPuP|Vc zb5qgle=?*g$>*iNnq)(*P0;@?;oT=mhui~AU!kvEiBG-qb=sw|`M)#tleQtG^W+5j zF~`u4;A&$&jBlHN82fo84SOUTAh2dPf8k~LCkVHLi`Hf{PQJ1xp=h9$Keg%W z`U+*+YRidahL_QeE(TweF8n;c3(cAcc;aWsY+g-@c1W1=Ri+yoTcL}Jtr2%j+jxHDO_nfYPOz0E0|>6;d++8k7`R~ziywhay4pY z!`q^wX_o|A>Q-_xA0R-dA=!dNf0ANiq9d}mm3#!I=%|;TL99!~8TzSKbuAOw=u3F6bEY z67mCNoaD0kWU?ev-k_P9Dl%F;z-R%%m^m*r&1ugXXgX2^Qc5nttxFhUIA+XEe=>}E z^c*rsy_CrjO;p36g_2bcac&<`vi{*?neIxw3k6nguII)OLWz9}{RK}hF zY%4J;&JCTi->qtxVBdp0S_#<9e^j4v(G++* z+GP}>7UneG5w;`2qJAn5NCEHEw5(M(C2!r>1d_@RW@iVmLz?cxvRb*q9%gz2?53-E zJ1)~YsD$iGqX_=@-j{hakj10Jrx_co>ia^)vwHbII(!f3xGWpPcl%oS-ZuY4>Bdlh zx!kg8sYajZL~ZiXm|Yt1e>8h3X6H)wiH!8kDxsj%B2%A|iefNsEUz&(Z1fDiKl(eB zUFoE1B_>YO&4zp6aD`W0X)yJzsJZp~-w`v|TP|kyHhW++igP%HRfaH!Kk6rs$D|$> zATsq2m*9L;tG6hOP~&l%rkZ{(M%0D?2%> z!Ie89=L zqGNj-4c9doW3B|AGaVp5mH|E~4dY|~C( zgf`wEx%~6DZ-4)X|NdY8=WpI^GtON8H@^9scS*!%BLn@{{XrV?=q&4f7WxT7{*M;BtQl$0{Knm8>fT2M`piG+%!#m;iTiu}saiU_9yz2CR%c6?ENgrh zfS#0(e+%dBRYF0UgYx|Yf^-yYJ3De|7EgkI)^jthe`I*2?ZS->+&eFUBwTBqui%(J z`X$F=6Sabp(yb;eeIuF}9KwYJkjD>Fvw_-r)K>96S&-{{P7ePmj_c_%dD*6kEBz!y@4>2O0S>&VZGcvW%z8qrH1X zX34ra1+c$;lmYgpd3h&ch0RJH!+cENVO`{okJ8#~DlpHF0Xs!v$kGxTqlw!S*izO+ ze_DwYo`06!YQ>^3JDwktB!__@?Bp0IJXaaM^XtH7bzyVZYVH9YA9kJlDne`=nhd+( z)R!jL6V&R*udLnx{4-H+t4d^;V#qICJMeYY8E2aT`(>PtnnTEKGGI{S|M|5Je~feo z5PV?umNV9#iFhrk5zl)O02?b4=Qp~Yf1Zi9L zb&8<*aE?%}Xri^_Bu$f!|ANBn-N#LuFBUQEe`1s{Zge_?{8%I+87)SBJ=^D+Y~Ky8 zy``Pl&~<@owD|`i%TWpT%=QLu(3J~jmn4;&uKIHlXW%^;zFE(cAItQ7rqZXtfAH&T zT0n}Zjr(FB_tG^jZR?+`^`R9KH0vh@u!kJZH&vD@NPB!0AW7xb!ugXMdtG}l8o&g7 zGQXE@y!?Y$3D=iAl)NjpoZO|g4_EHebF^@soF2!z7jo*Ef3BswoSW>G z8quERjz|%{RpT*iKHdsv?UmfYhMi-b1jEy~rChGRtJ4n7dq#PQ!f1j0j$<>?PSa5no zhBHn7j45SA(z0`YFp9Uak zba9e!eDPlu%&ypK^PBw*drcZ<4B?3nE2}TDPWqsZK~HzM*%;{nd;@@s4>h?dz^<~- z#mjE9o*|o;&rXN{f4i=f#>8OEQrzc4WEZCuAI*tSrT0S`7_Uq5=HfFNG%vq^Te0rK zQ%s@XS687QB=PspW3{JLXspLTg^hviDAAgmk6aBvD}KjoNTz4si>RpiX{OvGIRH{m z1T@A?4+nF*gQn%AN3ABV{{*5r1G}`4_@6ltBvKL}{D&T82AK%Ib^J$@;jk1`r=+HU zs`_V;0Hp3HWjn`@{NJXC-~~MzZiXQLfJ&N8f$rw^3Vv7a6ZU_vAv&I(Yo349PyCCd z6?K)=KEi5O@RR@B%8QBReV5{WRhImJ4Ehq6lktQTvs|&Uz5y|pQ5pgje_F|I95)cX z>nr*PM6>h2F4GAE6)ZA))wam!n`y!W5 zH&U1dhmK0&(<-oG`S<&>_xj7Ho4fm)50@YpCxSJ4x&P}1@D#bgqN6ZAE&-g-0cReT zuLmh1-~g$es>2??-G9bQe}i+*B`0XQ+WA@iw}zz(c_W)YG;H|Zo1l@ zV!i4m{Lzsf-#NYE298#y=SL}3#Bn()mH$89Dw$_AzD+~oF#YWj(lftZ)AI<9&N-Jk zNbhyq0ewcDaH#yhYPW~N94Yb2bG^U$r;AAnzxaq;yRiK6aP##Wf4=?`$7hs)kAC?t zFML>x*CKd_pZ{KdzxfSCC{YzjCCX^9_(ZXRFJj!E`ts?OyRv~LI}*`39R@XL`W@O? zbfgh^KHg>_Nma#&!jdkFylDSbq&MGq&2FL>oEBEvnPiZaQgjV@Dbz|!ikF)B7!~|O zlxR@Gn~m&rA_j-6e}vd$6=fFR?H(OF28CRDh#P}4F}y2-+QW@ZzfmHf@iU?5?7TQU z@_!-CC}8eaXY)#OQ~3rKmmzM)_M0tP5I%%vOZFIurbLT87uw+5s6I33xvOBZRt_!< zU~q>?|7cU$K(vkt8imPGOdHT8W5j zT|?Y~iBnZtJ*KHD@*S`i^v$b78HDI?8CJHp?Ka==*t)wnaM9Q8dfcKF2#vNvQa8nJ zd$6i($UT8%DVNap6RcTCH5;^+0vI@Q6Y*1|Tr1Hky^$-6!zR0DY$3LBTo;ptqro1s zk_)e@Zb$y}f8NXB&Hdt#cG^R=+H<)m9cjr_j{%J`_$;%H&q5GjfLP48n0i2bLuZ@R z{-m>Id7efPYo^eQBkzOmZRDW+l&8!q-Jb4%bDc5y9-57nf>2k;s;X-qm@rybo{H>Y zzyX<8b48GVWE85&hkJdsAC{vr1Io8*4*mrE^8I3fe+ynXJ4Cf1opg-Z*o0mEBE#pp zi69+=e_gzD(Fto>ypw@wZiZ6TvTFp7^L65ewuy=I?L2c*#xp!~>t%Ngj#S&vEA=$-8PS@AbMe=GbtYed&50T3Nilkfg{tp%tyJdYTH z81zEyT_cEA!ax{faZQ6R9L{-UYVO9{L!Om1;a5aolTymK>k@=^p6PxaOvfKV(P}bg z$O;8BmT+Svemq^AjbMFa6d0BDGz#P*f_Xn&nBS`Fel$kjK|K6qO#?#BN;|sbQRgFTe_l;(Dem%IXg!HY9em{$i#bFGt3*?FW8He! z)lReX(=6DdkJlPe1qL|(`YQi>6ZL#H!W3GJTJ_*pMoL zh6v~R8;F`K1$$_rcuq#f{Hv_oH0HJq0TqU#ZaT$0D^Dl2&-d?_D#MDQe=jrdt?5z~ z8F0GVVVe=oEVzT8JSQoU;bNDE4o`w%u;X@L9|uH6VI`TK8{;cWG>drVjy2h%9hz=U#Vc=jY@Jy)k{-!Zvlud> zt-OZp`ELcvZ8i6juko+_T2i3K4e-LL_Co>fQ)c)Bze}LgEeMEaI{j5YL%8xA3)D;0 zYP{g;Pb`|?tN}>$+8}j$x_n!{e1GZ@0b0DAhlY0nhlY0ow}y8E9!HlDIs+J&yuJe!8Zb~7u>S*7^2!Go4>B;>9Auyo zPyhh+I}1XW?Y;v)mu>_E7Jt17d==IC|9{SznPhGVAqm+CxifQblADEWWCaq!9`*nM z0RbUESVT5i6gRZiT|`uhiWYGV0!38ZsI}HwYAtmy?o<&$skPQpcas0-ndbxoVr_r_ z*YEXxeP2KB<()J4-kCFJd7jUC&Y8IvA%zez;u2v9Z`9c0(v`i(_J71XTS4Q@1=ANl zG4ACvgpjd9^e>+?|Ge3&t~INL7|>S;clX>`)0-lXM6!gKiO)slT)YvJ9rGDp55()N zxeJ!9xN~zNy`C#XM$P<1GpAqo$htHkF1|;I_>UG$U$NM}PAVbRtit}@!s!cU1v_2v zHD2TV9q(DZWY*%jQGcs07h=O`d>$=K`8V;Lu!K<8sEK%IIHz)|D3uQ0?O+&&X((mB zCsZpkG=zTi8`yu8cv^U^t)^&MEQE2N^gJQ&pwHx9wU*9K`3e)@sFKI^b{1Yq|FwZu zqSsVYQL>ivH9Po6GSreG#=<#7n6Z{4&19@M{XBf^{z$VKdw&Yj2%|P5&0(x%NOM6R zw(mlk&sfwy-57fb(gMbskF=1nu0&eISZ5(EW~@zA0f2tCDvL}(i+A-4{2}4 zJ{M^%W1o+-4`b1J`!d$6)W~2GK!1wKjD>y{Qy7ctbp~VIi*zbuuS7bHu{Mz1G4>v$ z(*d0`16;sZ_kSV1kg@JZdJ$taBVEbZmmuA!p?%qQ5}; zOUAka>673o>`(pkYsOlN^l9)r@_DdJLq7U@4SDBt;CV0${84iz*bQC)*Mk=|H-VQJ zNxt&3hU)POAY1qqc%8AyFW%75apYIj4_|_JG~a@E8JU7~FC)qS{=&%bkiG{##5VQy z0Y;K-9)D!yY@{E7L)a#p|0^TULHY^!6x+8U{X65U%4du!L;4R!l5Knr(8hANE-SD} zAHHHFmFsIRyNX8o9ivERjxdUJqJ>fANLv||$EHq@4@;>T1{6d7EDg(k>e4h)ib$m7%K!x+60f(ia)j zTn!vXT#VG!Tnjt~ZW?HxEMUaXkQQp7gR+Pbw<0apK<{J;Bi149u7SqMQbzn7X_*FkC(9W@ zWvI|V`(!0Unk%a`&^Xyc11*z18PZ(YO9O3_)eLE_tkFQ@WN(IaS=MTxgR&1px+(i= zpcS$oLs~5RYoL8{07JS-KJW7k7{ri1$^kl;y2Aq_f1VM))&536=j3QcKr7@J4aQd4 zz>pTou^MQ&9LM;&cADmIU_2vep9vc1k(|i*+IPB!^lK91>)>P!#xFUA@ip-b&A(V5 zeU1DW=`;=LS0h7uDW_|oadHMjnkZ*7BuBD|@ilaoriC@v*WG_<-2uwdS_8y4T3>*Q z(V8-kf3;Gc#VFFA`3&i%uP;E61}$VrL**hyktQu>NKbv;0jd-0z7Of?Qbv(BEz^)5 zEoW3Fj}1PlTBm@@(b}{^>&|(apw=3o$UiU8xLTWlBLBQdLmIP^QRJ@|Yp9NwXsEq^ z!U(d7D;V(_(rXw&ZGRo3rf5B)7=g-ky@vElg6^kC%j6uJw!fqt>jAJjVMvMUd@1prO9r&Zu;)BM)l5c}zp?{A)&$9zD(e zsu1VNKQR=)$`>@`lP@xY%KMV$ZtbftbFAb0C-Iv0$yfDw`x>KY?E15Y#@juNBHMUf ze?#N$8;qi{>rD-f!*4N)#;~_FWb^MZipI2eHPoN`7(v?bfrk8VKO=sM^h3?{x*aLL zA-g!Jq5eO_P~0Z}s@bD;;Zr^4{GCxfw2ly4v_>4}SlrhI;wtU)U+VGfD~4iL`L*UZ z;2TDe_I;~4gJUv3E*qn5`iRz-7KY+Nf7z;ek9CBgd5Dq>X{$0Bv5>XH*AMuWvKes; z(f}jxVZ9(ImL-kwbpm~<(in>WR2PQoK=wyaY^SQBjo&J$fqg265r`j@%SepN z%3~OFrb7&yV|RSx0;=!MLKT7>T)r>ct3*4XT=-`A$l)6nr?Q*+@>W$b=ZP0bSLqqk12CKVt3Qbh^>VCRU*9qF9wlg;QAj*S`4eeDA zF*f|8f|qna1R;M7#)ej^HyN9>;w{ETyrkY{Y--PU z7@IzSm$4BeslAN-Po(cLHnsEnj7`42kFm*LKVWQVrrOWgBCK}O905ObVGXac8Mt})m?qtL;0gO9F2PS|q z#fX1p0_Z!VBNKp@8J(B_^vj560?;fYfeB!4V9b0LFiPV-yoW++$2&0?;jEA`^gq8B>@5G|PbQ z7|@>pG|HIH1n4+ufC2wEp@YWxj7j;gWK1gOWsHe=f^j)xLc@(KG*qW68I#HnJusjH z2K>larJ?$*)ow4KV~qwHXFwYa_^Uzv2%k0X*KN63gZ47EXsFGh*Tw@}H)DUh z2Ks2gkB#4On;Oq(sP2fT49t5BXuI*e2KsCKQG?jsfL|JjwG3#n@qz}LW4y?i7)uQJ ztnspL<3DSlQO4_xNqzOE2IGVAwuajLT@Cfs`x=ZB#$gTSFvgb}#HGepnn}F0Yr?io zYHQfFiTK(?*-XUKCfdNnT+f`Lf%bozGc_2C%_SOWtGQHzxXN6nfzF!CHHfjyH5$ae z<_#LmkIWl2&|>o@4dzqkI?d1Zxrx8(^AQ{LIfzemzQi3mF9KR)ZfwV$8pLzvUG2DA zgLux|tU)YfZqa-WwrQaI<^vk&p}Adyalm{~gLXF`(qP;%AJ!l)G#}Mq%rJi+(;)UR zcWPjx<}WqqGZS&U`5RrPXEf+P^S2tR&$AlDrsnT8RG;TGh|SCwHHg{Fmo%_<^JNWU zQ1dkn;wbaa8pNaK9u3w1bq#ded_zNR@umiGs<}@??ec-9Mcc;#-9`sBt=bMg((Uyz z<6nmORP(T|8?dDA4`PSz17J`o-HycVy6p(WtHErB#`RzU6OGS;MNBl>GYFdxcE>i_ zAqYPSLRX?umtYNJqd>u0#>RLP?8Dd?V}j7vAmT$05F$M+4FgBI9fw3_j1;;Zs#+V>YR-MU2ASHn^Bkn6m`W zV<psbE!1nS@z46TVcQH(&HoM?vDe@C1chOV7B9T-~UaAFy{cH(qoXpO^(W9V9n z(}|(=4kw-w&^RZ7p|uYug%K-|rZN&^mE$mU4aRX93H@|DhOWCfA%@l$oG>FWjyahO ztr0j`jG%q88CoxJB8;Fsa~N7*aB>-eIM~T!XidS%X9UJYryC=ok4`B=*La*Ve}>i$ zoN|V)_c#>{ts^*<3|-f8su&6VcX}{%jmPQ9Na&Z-i=pd1PBla84o)pY*KC|VjC=}d zUxu#VIQ0Jx>mknR49)qSNsNH5Ig=R)U3I1~0vhL>!ANM6 zGnEmDeVu8Hgibk)3|&)krZW+XgHbd7~oH-1w5jgW0y4K>H#n4)S zGoPVrEY1Q(k#8+z1eIYCqsY&eFm#>6S;{D~_mvD?hj1=tXnyWo!q7Ddf9EHRB747- zq3aXQPZ^rSJC`wZeZsk%QDpn88M@x!T+b-7llgnz`2>Bbr5F*BM=)ncQA_jb0Z_j2Jd8O-PyT|5oC{dGqeWn+`|a6 z&3hSIk9O{31legbLu=E{eQz5oEtx7+SM-wlacj`4mN*YGw65(u#0bRL&ch6?aXUL0f$_$9grW6r=TSx=rga`;Xzkm1oDrD+ zJ5MmQ_Ui0p1liFq8Cr*Ro@4~#aOYPHtqVI(F@kLE*9@)II!`kKf3c(U8-~_xoo5(9 z$NrX)WNXhd;vA&EVhs+UUB7ky z#L(KM^8zC%j~5wQ$8=s|=vuGyGDB;c&MORE_jO)nXnoUpjiKwn&Yu}t>vZ-og3kFm zL+hT-8w_1DcHU%Ye+|@mi=k`4&f5&FX*%yPbWPZKmyw9EoV|>o3qp3#EZ^X3|%*MzGf80W1K>`lIMOdbk>dLIi8ES(4}<;Xtaws z#iexw=&uVsbrX1A=RzypWS+~p$k#I5IxWTU5rI8 z%~fFoF2*1CW|vOT0~%-h0IwIglozcdz~|kE7?b+*Va9|ZxjPsWF{1k@V?Ybs#~73P z85-<9!D}rpbk~L68W`{0CmCA5aDT;^m_N8rF(&lf{WW7!A3n{P7z^CrFedfYGmMEb z*ZnPH!Y|xs8CoN7cQKdG&;u8LZpNUp|A{d%Cb};$CdNDWMaINf=0Zo^mwEldg?75H z^7@6lhcV!v?(2*JKXjpeF0GAF|3KH=w|ULTeU~vY&boUU6ZY!C1a9bLVH}))j&++lCL5LG+<}$cMPphxknfiafsW( znDA9Enh78_@}Nl`t$89JFP@?Mue=1t-%eyK=!1tkd+<>UKH()Z)^$iz7z;M-r7{-$ z!GjNb&@l_X=%q6j{Lkxu%2@C}58CQM-z?aP=P(xh(}N#+bl)Ii9S^?Y(Y=E3LodQu z&;qZR2_UZX;D;Wx&W7E3&^ixu9Gl8n!Pu|?51Qwpy)DEBUJYZx_q^VW1t0S;U-9T( zKKQXWkg;JK-eAUpe|ke03vrS+l(FEe-Y`ZXZu1s1(Uj-ejE%N`@ZhT+bUGUT>Rrs( zRB!l(hZr~-{^Q-r*p&C(j16D#?qO^?58@RMeQqPh^X_MC=(4wkvEk$1R>nsB>1|_d z*uO{pMAsmo2_BUj^{~k{9%pR$pa)&?P(~Z}WrtD8@iN!<`r#=L;t=HqIYTWNeI8;bg`}9l~808$J?FXKdJc*kSA|kh+YG`BFHK zu@T3HyD>I=GYriQLqBZjUU&#&V>}BtGB)fiJe{%OYvCp^3)}F2wM@m>h&wY4CV(<$ z#xpkjB{Pi)plq4&*-Vtjf~{ntKQrN{Hgq5pu~a5q%RpOYc4Go4Pd0oho9r2Ln{0ya z|D^Y~G8XzG8}^t@*TP_<*|5oM*rbIrWW#^5=~@`Z%xs)58+K`-53_eNHhqq=vv)BzbSC=`jE!?-KhM}0qqG0W z*zmFJ-HZ**&3=)wVMEz(FcvgF`%T8C@*ZF;*hvI!86kT>xg*Jpjq^pINfGG1jdDb4 z7#p@2feuAz{Saehq>-`VQ<0gBjrv4pF*fQKna$X!TLeCT6M;|IXoDR1XbyDSMmy!e zFLTh3Hrgqtfw9pCIq;(#LYa%uCPj1)HgvnFfl)Yba|UB$ z{A&&~bkAIWb0$OAx__=Yo1ts-&Gn3coi~qS=)REVNetcR*F2d~h=rTc2F-N6 z9QA5GkD+@Co6l$H-h$=}7`nf(`9g;7GiXNrnpg6@hRqiek3#d+jE%UU`4^}-Kf%>5@iJIsuibYTSog^B?`C_H~iM&EyBiG2a@@9FP z+#v6i56Z{nujOy$yYis?tNcv#hhTh$$E zliH!4P`^>XSG(2gYOmU_{$_MEIvdG`XGDyDe51f9HOh@1MsK69F~}HYOf;q#(~RlH za^rksrE!h1%2;FEY20sYH-2NhZ2Z}H-FVY@+j!S_-#Bc1Wp*-)&1vRLbGdnwd7F8+ zxy5|ge9Zi%`K(vi@nv}o!&iOvvony+lWx_Mjk!_AL0 zAKo%{%bah`me$r*|Jy7jqL=6=CX4Cf0>G!<46SWqw3PYqFjqt$YCk-Ac?Rkx_y)SYU(dQAON?NZOFm(&~TJy?)1 zI>Ca{j7%d37E}Zasxo@Qg8IXPCcuKG!h)9h7IYabXti;JaksJAc+hy}1Pl7o6lT0x zV$Lv^m}|^+=0Dcod##TGuxTxEOAyktDOz5a1-4$H{JEz{_YTWm^<2S&=xe! zy~MrBUE|*3Zge-f+ucXqUG5(DUH5bM3s_LVi}yTOP%$j1r&j|D8tg6hmcfE9fd$>| z-3JTW0tg8KdxVgT0Qgc)Dd9a{g_!jgzENJ$(f-T5G%-o7tq?NvZOCnn9Ti$B>CYJy0 zB+ou(yEm{#lwq7Xaw_enGVe190D_ZCHSDhx%ovc6p z`0%_#e?0WO|NH}gy*~83{}&O{{@?EZ{KM2k=N>xe(B+3NJM_~-iw-US>$N|Y-~K=B zpSmA$#{MVwkJw+of5-ku_Yd4ZX#YU}vs{39bAS5r$9%l{X&+*S^ieXs zK3I3~j)Q{_B0@WO??KF+4mKa$a1in4!Sx4kIEZoe;KTcWH|@W7U+h7|O9wk0j6d+v z!N9?UgV6_C54?PE>j6Zv@24HWID3HZ?GpzkADDh%$^pb12M|Ynxb(oe`)>bm!GW_5 z%=v)(MeM`8VIN|@ziipJc^}5weXIA)+K0OA8~^_O?>E0cX>a)brgv#gSM14o`})`K zczwg`qhFhUH2qyZdNN8s9Z}NhmrX($C-`4niMdTkibm*;WJROxLb|^WeO+qyFl$W2 z4rZ;{SAYAi)|_h2HRqWN&Bf+r<`w2u<~8Pe{~Gx1<~`?V{OWyW^gs*VYRb;%;lt$?d~>#y{>gYmfC=l!{7=N{=d! zs*LIz)jw)<)Qspf-YdHN#N(o8N8g3N+j#aJy({{K=tH(?$JwQH*ByQT(4NY(O8lib zdY-+1xb0Zmub(|vziQHHyEdZP-1i?eSLeIK?IFDFzaFT+N!NbQ9(IjAg7cwrw9k`f z|Hth+!XACXI|J=u{?Q}2>|92Bwl1->7F)}$H&MeWYO}Qry>Pd+)m~!Fx309#vNl-@ ztcCV@_PO@?))MPg^w4JOUVEjr!QNxtXWegqHQSdUhqLX$_5iz|JJz&3WJsW-4 zy4=1LIqb6Ev9Gi*ihex$3Hx(L=6bt0};v#vq zxL95*E|IImrE;~nLf$A=%k|<$xk0Rdl^ey+c|%i_2474fWmRlFkK7klO3 z#QX9y@fZ22_)s1e2jsuR$MP%jk^EA8hIsZ<*&_a>Eb)zs5#Om;aYS_#Eh0 zss!0tWy(~QBfH3;DwM7&mYyn+N8}7~8WiL_nJ3PNHC`^uWVyIqKB1P2*X02jqta!i z=p#ppo8{f&ck(qURJ>HGvoutaG*z;+REoSpG{{ErQ+d7kiM&qyUha{(s)yVnE|gcv zZ1J%CjTj}*5M$&t@v?kR^p*90Vxhc1+#>H0yX2q6A^ElVhmta)D#g|EXW~h*M}8=3 z{YMu2rkl z{pvck8d2EK)Xj1qqWSfR#%@x#v0>{nZ|6R$(Uu#F$W?(Ji{n6CYd*zADXuy zzPr^t2>t&EGl-APpPPR*H<+K8cbI=eH2A4`m-!jSgwM@;F^jl=&pd24oBuL5nO~Uq zn_nVU++u!Z-iaB;-R3{cuQ76bWB$VY77^rk<^$#tbGzAMK4`X@4_U%|*plWBOJRgL zWJlSy9bS zSSl|O%j8eQa(SsZNB&ftD=!o4<$dBdd6#%jzApYC-w@BsH^m?2TVl6-Tl`7BBVLg2 ziZ|pz@uvKLNW3LK7H`W#;vLLYqg9#=s4lXD>MCPZhU}<eI zYusffnaO6F*~LsZyP6qh(74yQ5A)p3#uj6%@e5;{vD^3)W-4!Cp0dyQ#Q2->opHpB zGNa8DGu8CWkeOv>n-Md|%r*1O0<#danC^&n%FJ@J0x?fdL_NI`>GU!Cn*EH|j6a)U z(={`HjXh>QW=6}6`Njg{0dtgDZ;m!6nP-?qW;e6g_}Hv8Rv70Qml!`W9yiCC3z()h~w!uZ;_(YOh7@@vi0%n9b{n0?2a31*_HOv8*bJ7bP@kFmkH!?@j?Y)&y7 z%wA@dS#3IIe`B3-v(ap9GJa!@HOF8qywX~KWnE=mZCz(QXx)M6=UnT2>q5jp=UEq6 zzd+n`y|pHAt9^z&)xOHU8d1=rh>7mB9=0B_cBn1UkJ?@Ai5SW2?K*qBJ=PwFsO)!$ zLl)VK?Q88D?6vk%`yBgv`wIJV`(k^A{pY}1>qhG)>*w}1`vF8)KeM;n4;Vs+a7hs%3#JRJ~=9s+Gm6kL<4c$x_u{Y*Ra;zmERSj#iV@jp~8G z?SY?TKKr1s=zcpDuht4f1Vks1C=iK%mnDP}vO_sJnbB2cRaK!>qq89sj7GV=(N(xR*{mz6S|e5J*X}o>Jq~(u4@vNnS*Sp=v4N# zvwzyB&rfGBTRe4nRn_vTi`CkOwKHa{8<#Qq>IoCB8tIplz6bdd^6B7z_givE(@uGrg@L%DScm^SB{`UEa!Q6`?#X zlS*l;16f~LLMHw;d2)$==e1z$Z+S~bU=9r}+uG_NF7s{H-@nNtW5N3ct%v1oydN(_ zYB-Wp<(IDld!S*TD<7Sfp5CWhpWdE3D7JfHe7EfS2Dz^#y?k7$&Qqo1*jUc9OqNB% zM5B|Dxg4GQ+Gmk{RF2E!g`c-fmDg-M)Yg_eag3$Qjh$sB%5qhIhG;7%BB8Z(vk5-$ zoRX4SR#{oqnQB*#jm&6TIm&cYaza!2>bR~Q&A2WdSC@NINwe%{;dSLEws6wL*~24| z;n{KxnqYT&bxqeBTbktUH+HS5PH!o1J5LhMlj@&G(s|HZ)QXaP43?G96qZ>@kwjA( zPPpZr&N+}vg{(7wLjAmwDMfNCvfdx+?-orcZmIYEmHK`(`o0sDo_oKtvdv0!+H6#t zfgD(W-k?F})$`xFGpno5tn>d;zt6pO?ATl9&b{q4r~bNW)2>H`fu#614qlR@#ex>Wx z<%en}jjGN~kM^5ZUOuhgx@)G)m@(xVS^sp_Giq&kc<)}L@>-sg?|bAb*``+f_5^(^%3*k<3TSx!!o(lyrJN%c%kg=yieGIr>KNJ{3Mn$c6kRiW9z+HNJ| zDr=@>Bs!zZ2b~tFN}V0)8!0^_wr97byzZm=6jX#e6?M$1Eh!$HTkIw|kwHE4%G?e` z3Hg1?N=Fr<9Q6AUhfu$0s#_-1J2T<%9=UsuT9J`|apWqt{TZ+yZIf0Qr6Vu&%gYWK zr)00(k+s=g`M8qq<13s2&&H zwDPOPzji*bw_cUR3QMqz@RV#DP`gowBFuzm!=nOD%xxHY$x zTDBW3LnSKZHEOwW3u^?hmg2lqSk)4(4)FW2K}( znOjvhQ(7$~d~J0l?ffC zflOX6`{V%Ma&yNiYP4*yjH$?-e|-sUn)&@8a)wdos}+yT<>oH9#lz#pB|WDwmwNhM zY@{N?p|@V3r@7|s?t5n!&+DeHhl!fpO1k}Ikr*S@(JoW-lvyhcV4UKwpUk+EFRQaf z0%MeX<_TqIX^fZsOo>eA>X3N$&m&s`>U zb8csQR(hx}NiiIF9Q36fuk;KCXN##xjcUa+yVquBEYx$e|Gn}dzZwu$MFHncENsEc zl>A3W_V-H&G|e$IhDkw{rY29jZUW{;NH$kPw4Pa($||u|?}g|;6KCI})2CX;$@yHg zH090Y^PH)sUF7W84>=-O&TPO5*B^)pG%W{}3|oH)S$YDIuC3cL8T+%vuD$IPFy*L< z5@D#JDA>yCMo)Jk<2~Zn$X1?M0HSqtl4+4XaMp4#-O-eirK{>Q$qI!3ZNn>8zpSgW z{MLXeKQmWl22R#ib@>7l9o0mlT31~?V*SCF=x2K%%?laqvP=+H?Z?&*C{(nysA*?D zZ$JCZs0*N$!oT*V>Em3P61R|4OBjavNP+mWybQjSK8cl?qxj%J*L+%R`ktZtkl!X2 zYYG|kZW}=++GZRGFHcEMAY~UD=9&8H#hP1HrJl)3b>*1R7rbfFsWym@UX8;q2+D88 zE^}wHfAfQ&TW@D4DJxKB*h!bGrK6x=O9mcmV*wad@co(*bnP*{Y3Ql=yW8V^xYTTJ zV3xN8!_~qAuM2q|FENVB70(7#Fh04ST`E|>qoM^Hhd<<-Hw9C;2yR0_jLR(t4_FJT zwlW@$3HyGVgLy_IGRS=0gRdg7U+a67vOJfjcZ;i_vtpzj&Jka?285uSgDLG?+mXZm zn1H>*qr5{O=UGeVV~sf3R)#VoMdmy)tsoN<)9i6tLg_4(ZFC%%E2cy3Fh`~RA3yZ_ z9oi$>4S^b7Uz7?AG>n+Bl4FXW@OUAgYIV&lUKT0Syl zl3j4UV+%JP0CDZx#N94Xz)cSkehK{mKq%RJnYmIncbP3hR#rylm%@ur#GmwMOQFxk zvP9JHvbcAKL?q)5kuw7(2&?B}!M@oFnS)TW?y1VkDOU;_F_*0BLTco%-(rvJLXx4m zO}_%GzC!tQ2AK9N6&KI;&g2I@F^1_~MU98cBbksavH^9aENecjU@{FGMaDOP9+Kn3 zU5U9_1EPe)sfOJ~`RkvA?>P-b+!M2C$pYHzt^pJjpjng>lsB9b{iwL>5|Tk~Cj~)9 zRvIm)m*h)Ol>Q$RPZzHKPp(=jXNgp7S?^d~t1s2Y(UtSKo2-=_y)YGft&IQ98czg^;O?8o(-SW z1=7*l(e-{RxO<(_*cDVYZc`K^f;pQh(_?T;J*G~T{9Q2~z z5k$63Jd}TEgroe<=;isBVK(dV9ZXk?Dq6oVU4Ne&75Ne3z-jl$n~(&qh$IGST9&}|NpIgPs6X9#C~u(HK?=V%T?Ga^XKE(PJpuS*{di|p4zMCO9FrbG z^(_&XJnK)ui35NV)NI5+H^V)tVWiA4exasj$gQ*uAUDxkd<-$58jYfkC9_Qi6xf7M zI#QpdzvunR$qN{LI2GS-!MZq)#`6v-ca?{DA7!hPlqYPeJ+eHFm6Hx?s=z zuPG|ZgJ}-nhd?{6S_4T2ypRSf=7*qkY?KrT|8a#3n#Yv1w5ef9zwH^jN3P7kBK+yQ zot3{L#Kgd z3)X_>I|i8L_;Z!ixZN^_mI@F~DAr zE)FGL>{L~f@jzXYz=@y^>o`^4?yB_Jdgy^{MAUIdll9R};%7Bw%|FGFfvIpl^;`u$| zl&L>6AqAh^ox3AkW#8-T@^9Pc4=88m#WJ0$#!QcjYa4PM*TXusU}C^b zF{nj*hcJmq=@52t>DGXLw>;)p%-?qk)yt23^+$mAPL8|%{_kYU{bphNew5lsI%36T z>vwcdg1ytC06}18)VZ_dt>LB5=!CDyJ;^U;#g^2Ve9bdU*|}(lA7jo{hDNsjMu;E5 zTUK)S78q-dy>GFP|F2&IWvsg(pf2wZ6G^7JNPT%*B`kbCZ=&#JF!TE8G>v7bCur)G z^%d)Z#mCJ#4`xy$hJNc=@8M%S5;a}5pL6H08;0&Z72Nu+2FT)vucXpX*7?K;707q| zH_rwG!^`c(d*jrFF769H7G8RIsw2kMi?CESi`XVbaPQlT*p8B66+sza0X1EH?_cC7 z`q)vLX=2_2M(EpLNXDBLZ49xBI2&)^RXWVuG%3cEICn{^1TV6{;9;rie1+{Gq|Dj(l0dDA4zz ztqt#7P&R1rG0rj&*sMJvn5UxOZlvV4BW z%a!Jh7pIY97}w5gRe}=U#iiq7gI%slpVoI*wD%ln6 z=?_<8B`Zl(6;5}9`+$o128~>&fX#0VrlCZ4xWJ~s!xR1aSp!0Hu-OgM5Pk{QHm>(G zZlAt>dUcjyAWQEBZ)DYK{!cE?0N{)`B4e2LFUJI?_Q_|7+H2Q* z(afmxHQm!wM7^gc%nZ`rY1Z3OQu9>fVOZ)}d7~_%Fo&*&$AHSD;MB5}sNlp|RN#+L z!)R1}f4xwSINOMUhDaT{DMYF!o-d2E#Vs!~SeF?FiddxASsFvO_G0=DPi7B1gJv0A zbMK~+hOF~Ea+rHm}nsM|Kn?uqVga3I34 zjsKA7@*aEraXs@#obdE{cKiG^y9_yIGo*FvhIP zMgwRFSFO*JOOB+p%d<&jHNiGg={dNN2H(7{%E5cd6y(9b0!P>SR(9H)KZRdV#2{`I zD=0e>e=n7Erz|i)uX_CJfUM$V5G7BhFiPe&saQ%tC*szl@K?Y}_W^My%axh)f#@wu z19rF!Z4k8g`v(9igG^H+@01C##2Le5{s;`+OO-D&Om1qvS9Zd!aUf zWv$>fhwUJZJK;#-r_B?jtS{9zvgT&@K!6in;1~J_$^f9Ux>qPKA#eh*oBxm$lk+w6 zf8+sMbQcX2^{aQIm+7p)N5!9R!vX-wjisaxV!HiYf|zMmWaRRdiO965n(z=u#Q>vy zWPL{Vw~VlwU}D z*NTOhCDrp^(*BFN%&*yBpNxGwE+xm)nvnJ5ed^=L-f_&Qi!Al={|YiShvE>+=m!pk zmiPRuDc}%z_1-pI^3E7+3_br%w zYvQM=*uIjI_n~hBCg0QBbKodBg6S{`EBcIGJ_}1pBL<46VXE)RKTpCY%(B|moMG?# zjEWjj-j8PIH425R2^l+k^9VD`IQK`mxyP-Dfl-H<~U>Z9IOZm)$wtvLHxhPQHm@i$DJ5J}w3AcfXQOie%uf*ac z?{l}uv;f7BORw@K#j8meg>;s~Ft`%0d;*r$W3!;`+#e-)7PF%KF4jlZnLe_5zNAqo zils)`ncg&q;HyycvRCA1yqK>-^@ht+i!<#Ctu2toGQT-5&v6@Vgh}hUz|qhKWi963 zpP|0JBd4Q=H?dc#Ecl#eX)A1Y-VU7CRWmTUUEt__`!a>r)a+Q{dsUm(M9TqLSOg0K zm}(Pe!F|)?G4Bg-Qtc_arVxkl>3&RE)dc(njd>`P`XhDc??>{hWY<0MjM)2IY2(Lm z++8{Wous?yuV?m?Yhl-SUZfw_A?mS+%pvQTfVgH}{+xkotS2u`QL0x?c7%~^R3a}`| zUB6Ft!4b_BE++7NoFQK06$`>YD*b}uiK#==#%dnd(Eo)~?^2R%I!XerJ}|pL^ophv zlo>}pTZt^X?@$ntJsP!KrzJE6*m`vx>AsEm{T0O~JrPF;H(%N)Uk#MJdy;MTKlD2| z>kxiKt;#vMzXsn3b-`O7t=&5yz&pwMPBr_?FhpwIRHAes4BQ@l#cEQ*U=Pvi$G54h zdK)Fpt{P3ROS}aoK4A@&VY{km7&!S3y79-CiO2bC2qh@B%z_gRS4&%G##Fcml>OW) zn^NnPv9>ESEInv@D1O<)s|*KY z#hmqRi@I?k_nsM8_M2V~C#D`Nfo9R2?Qb2|AF1lc&**N?`0UQrXMdB}c%ql(Q>vEaMgdvFUD&`)27y(Oa1h>e(Mng44h!p3qn+|*Nr2HQ#x9E^Hs8MA}n zB9*YIE^ZpkQ}6mmE+31O#31+Ct>k;;js#JUxNN5|=qO*x{Nd+Rq661k|OPl$5U@_*`%<^FE()fWn^=<`q75{ z>kZaY+wgO=?)=Qj;gpU$MGvr?T&l%dF^9@K_~A*G2GJXpJGLDG3|}k>3hP@!0k|^) z$%njuTuk}~#k*rdbXMmG!_VUwb%NpS)9X9CD> z?^g=Lf0BJrMPBgmrQ!&n5CX}@DliUwS@;EG8`=jSh8RZ&$ZJh`WP}|lb!1U{N{?lN zjauQ6WalF;6;Xk$&1dSYyG2B{ak2Z^kuC4Q@b(P$r6*JNV+W`qlu8jO_a5x+EoY3? zH>RR&V-N5(T82kL8W^>nsM#RH3(!g|ZNoDt+e%!anD%3<%{sgkxT`HVp=C3EsQS~r ze*gG5Y(hY&b?~(cZG6fxbq2ygcf#+t;V5n&LSUO`F@Q zTewcVw;)C%=)TzfS;__zsPH+mRw=->)Fgi&+S%KnPzG-kJi-oaE$3Hq^QI3QUtWLu zo87gfJ$PEf8lXP|IIo|V(X{5xxHkGB9zVTT>N8ipQ}Xsoo$CI2&|9ryqU%*Qvvz5T zpYzj5S%_W3WN<)Q{qE7p@W#uq^LDc`iiRSpRT{yq>~Hu~pB*!Q-NG1H1^ZIja?aD9 zuFtXTVSwKlMEER z3w$LOk@H7o-TD-KL-O$9|6wM?EOSC@gk<=<`UfTrO)d5+IiMce#JVla(JadZGAYLx zvp7FQ zle;%Hoy%futLyU(%SU8J|E`4{oy?YAQ#nT%)*g6=!cV_~I*-17HTVGhlg2yz4a3sO z!rjBo($w)knzNZ5hCt&83hE25fB91JWCYh-;grpTTu}5YPz+*_FuV$!1qyvq=w5v0i}!j#E=!^YN9U z&+^Xlx8#1pdX4GXH>FFC2GNss@ zCYhi3od1}m0^d+{>LGu9Qb{Q)93@aSB87h!kv2*8bSRr*QmS(VGWYx=pO!>Smj8lX zImQ*k?>h%xn&795UEWs>HB6`fyiJf#+w0To_U3RkVP~3|U!BzIp@r}gqn3=BC}|MS z|3<;)%kQG*`IR*{-)9e1nkFT?|Mo9KHI1nWb!tJ)tG7UWq`vBpkHnw(>`qU}*~8j! zeT#_j&_*m==!DG*lrKhjIfGnKFmUn0c9h=tf9a5${lRMQ+8^vKtAqEpIQT}*qWo3q z=XX9ldIZGx0@Ynv+#GwGyfVmh1OQ39NREK$&|X`bATi`8;)D6( zsbvoFNc%=I{@K7PGlee_qdX+gl)sWPc}?~>J1)jA)H>=XQ2gU(hlAHMeK=OpQ~r-l z+FmNwQv-itA$zQ!eh44W+6x!gh9<$LOp4L9?iUwk4F+RXY^(EJ%lCEu9@UwwJEz_q z6NiWFY(NU8bA4RQ!kxvk=&ot)I39iAr1EcWGQYt0Mhsv-#HY0jY-Bc-rT-4c8~B%VQ)M7T;)Gf+ zI#uGf*{MY0uTIFYn>W~5?y5ofz8!b|AZOndAj_D_Fw2OINc-raaRHS5V2^nE38#8G z^=J@o_h}G#HEUhFWej8Ap{E+RYCCuEa$BA!-24;VOTP*aoBC4gi0?4O#6VmLsoofS zJje%y4F7AnvvzoX_HembMK{2yXnXHKM)-z=#o8Joi(pqC+m7!Z`{Ne)MCyunuwq3G z#F{~Op7s{V6JBwCEd9XXX?`1q4cjaFBj1#^ilwLh5M_j`0QFJMz zrp2B*J{P|MjuIm>i~T0rZe$eT)X@q6Z8sdqjs@Sqm(wf}CxUYR<2{B(*`wpS{Ef7kt#=ht@3od!J1c7TFgN=ZjLI~dfwJ&dFZj{UzFifa*8WHWI3#2I zb^Kc|W1EZn@kzN=Sa;2!v!nhwvCw-;D5@B&| zceXotT)SYIYsa0@!BO!=aTtjWyr8*CPz)k99dLE^r`cD@iActZv)lSzBP;%;m5eP2GSa+ zVNkQc)p=c+MeTGdTAFo=Xa6A$Ho%e1hiIG|2aukK8Gf9RDJhmXr(Hi_VkPBd`NOvi zw6F}cyQ0y}9-tyK3_VtWsF_xV7#jN1s?)2++)H!(c9# z`y5tv%N?B5*rzh@fxM)LKBJ|*aA@h^;o@AK zEk=7iJah>u1Ndj#AzOqJad^O6XV)a-{%u_kwG%|b^Y>6 zaRhZk}>Y>+#G3iJU`31O9Re68$HC&U4)Jql@Am*q}HBi5CjCS z%K(^$n&)l?H1`o=XUv%hs5abiFgGVI_oQ->ZD?>$W=`7Gy!lW4q)_jl|Xth zBzjj%x=vf}_t}-r>oOWfb@H5cg**9Pc(AabhXTj;8&>#`rXB~pBV&UMw^>g@u5pLY z^nyDLehmaX+{`rkY?EA_F467l3wi5~10Jj{A$qH)jT8bO@i`+&Tf~CaQqR5ddHY1P zkIejxYw_dM>fON-yx84g_nVa*$}ClNAqS~4C&-C0xe1~pD?QT>3zO9!8@XalEe-C} zE42UNbDvs&%0wBD35kW5Bwdc);Jwn{eeiQ z$=UhG?_!m!YN5<~-;96eWrE$FIdQV0-G*m(T%Y)Cz-60f#P?Bn#dZq84P5)`^$9Y9 z5F6SU@l^i_D42%`blWh`@4lIejX>lG-*SySv)J5m0Nvm+PwwK`(L25rQ@+zRiyxxo zGNS(WvU2JUb4&a)OZ+Ph_sUG>o6XZXoM-e7jmOQQg+#UBTVABW;5`d4bu}6lm)0fW z9VjBwk@5;kkT@vY`!T0}!JpXF69KcEu{zQNpZpYVG_=0dw9tWJ^a*AG+=~x1Nu%)6 z`G?Wy(JH8;sFU|?dCwNsF7u#EbEms5h|PV6%a;wj#ije-4X9a@xaqejkdO`(KRzb| z<*11Gi-w%(5&xfZD`pNr% zyRJgq`k1)op34Q(qv(+TDI~V@Ma8PyOCqIpwX&vt4`7cnHA1~9nranFU{EwLH!o+v z^SjWlDY9;~pw9jCXj636YTkRlj3g0E3uikh6B|;E>2|oL%@>Ki6OVij#4DO!k3}djxw;$oIwzsHp|1WPAH7DG1rEsn9)Y;uSBu! zA0k#Cu?YKLp-hGyHh-o*RDM_XSEBFO?E!ij4aTrtW`uuz&~>vf$a-e>FivENNjw}7 zd__~!*y=z*k#0tT|B&RF)T5Z+vve|XtfSzop~e}bc1Ha5SEwFSQDUTRQlxCttCA*V zZMj|^`CfAal&onr&SVY6d=23)-p{=n3cb%669si>C24jgY4S`TGm;*u3Dj8$)B(BP zg1G@v$+-f@HD7EnaKg1BM`kFFT`zI?R^5W%kb9?K2<3D=lu8O1l`TI$J@ef;i$cLljg1X?a zl(2ZYxq1PQ4B2klIg1%!44*iP@H93$5bOmdutUkZ8 z4>`(bp&_XLIBzs0Uw|?D_Mos_#?BqmhDkpY zUg=<$gP}OKK@>qpMGi80CIQukN&4{>)qy(73z2nyUYQ6nHqsnbo9du#d0C(xzIH$> zB=qX)Gx-|D*7AlA%N{a~33ztJc6syQ zcq~U55TAdk^Ja^t0NV?vDCLqCrCOo-<52ei^&ywy5xGQ|=~VTrA=-i04zG$Th^4cG zM!WVI`{P~b$rWKf`03w9yZO{8B|nbiAFF-kmq^h4NWV?&gxAuV zs&rTD%B$f#JATy2CP+zlWyf|^swMV4=b}bG#(V(bUIQL)`6T7$pJTxsZO@U<=d&Dg z(V51Dh-3w?m3{sXl4?T4_&*5OTNRnE=i)NLvLGK0pKBr^4vY;E!M*l)>6MaLE!&k{ z*)<^XKZt$xRMLNtIt*Ibg#RGNf0Wg5ub*!wjeh%lNL00T^Q%5|d7z8Z)|Cwf41d1q zXvA_vPX5_p$Yx$T{Zr+)SJy{|D`|SuWe!7meqYj$$Qbo~w8?7&ze?B__p$ES-`RN@ z=ImW{op`!#Wa>mtHQU!*Niits7xM zn0*^8?>OXTWNV|P+XT-KwUd%;BAnP={${i4B*DYPuYVILm-9EoQMy6r#ex(Y@K3(wiw42(^(g5FgXM87ESj=2;yuWcNbKHO}*fYtvP9$sKaCzH1G@x<3cOa`otkp};IaDAaOGMVDQg|> zJg|bS_|FBPkT)PYjE;iegMTkRH%m@dfhZ59kSsT%WX_?ae0(1j6!bPD;3|MKBW+i2 zeFuV5YkgvG`W6)XcbzBnZ>JOz_ff%mx0a0~(q__-29PT3W0?a~n}k%@j?T&ifw^_uiuA?=2HB}ILvG2r;#jEX5~Md@K|_|LoM;*oEH|;<%PvXt#MQ|v z=4RG_xycN@J(r+4?cL1%FUA4|D7+~Rg=-H1n@+8>u#FflzhmMa&T#X0{nWAInYLR3 zBL_I`BvU@LLHwD1XM}8pDyx{*zd)mBe5lR>D5IP)?k|KIT=-TNUY=AtJf*hqK9kbD zgNJhPl2avlf}{ERabju7Wd&kg$kznATthZq|Bu5Rv@zzI#vSU9|A#ErICJlC9_S+Z z{;bIzlK&dp^)y&-dM=`NaBTZF$*H>-4%t{I^W< zV1ZYzZ`bKr@Bi?mvYSg7Ll0Y>OQyBWNc(vLVNj|71&0MFRcER8e1A=xIhAq!2>eZo z2vVeCoyNE}^4{2hQa=eOWAQuPT4%+6QX8nEvia9J=}e}144O(96`J~FFmOPjH^Uv1 z-F3j~H?PMc?B5WNy)wfT$heW}2DSw5MuiZ;u*|)8hCEM1ARwtH`&Ly2<$;y{1evuyNe0{cIQ`tocfU