From d5099000285085e1f11878dd2af62827a876924b Mon Sep 17 00:00:00 2001 From: arnaucube Date: Wed, 5 Apr 2023 23:39:14 +0200 Subject: [PATCH] small update to IPA notes --- ipa.sage | 5 +-- notes_halo.pdf | Bin 187051 -> 192820 bytes notes_halo.tex | 96 +++++++++++++++++++++++++++++++++++++++++-------- 3 files changed, 85 insertions(+), 16 deletions(-) diff --git a/ipa.sage b/ipa.sage index f5e2158..300edf9 100644 --- a/ipa.sage +++ b/ipa.sage @@ -186,6 +186,9 @@ class IPA_halo: def verify(self, P, a, v, x_powers, r, u, U, lj, rj, L, R): print("methid verify()") + # compute P' = P + [v] U + P = P + int(v) * U + s = build_s_from_us(u, self.d) b = inner_product_field(s, x_powers) G = inner_product_point(s, self.gs) @@ -445,8 +448,6 @@ class TestIPA_halo(unittest.TestCase): while (u[j] == 0): # prevent u[j] from being 0 u[j] = ipa.F.random_element() - P = P + int(v) * U - # prover a_ipa, lj, rj, L, R = ipa.ipa(a, x_powers, u, U) diff --git a/notes_halo.pdf b/notes_halo.pdf index 93b5e27c9e580cae397019642cf06d14558e9941..3ff155a2065cf4a7e5f052139088178c44f8e5f8 100644 GIT binary patch delta 68459 zcmce-1#BSAlAvj3W@dJqnHk#*ZDwX>DBEpzo0*y2ZZk78Gc!}0+4sMvo7>r)lU8@q zY)Ms0WkyP$A~GW*Ls6BD@C|$L0Hu<+Bm)a02OQW>w(+ zS3<=9NrkD(Enw)tzx4m#skZ+F#rnTOk&uw2ig$xi{l9VjcboG+as3x_{s-6pZppF! zOU?g{$|L+wyMpy!hWf82{of+8{U1d9myh`WfynuP5bc1kA{!bg@zxoyqo_JJr za86d{#M)aLU{TY~VVx7@bITy#FXNXw!nTAvlQ8Eut*B0nGH49TJCVj@%}fT|x~y++ z4}4wHDW+>qbJfB^5k;}X?O`6%gwchWFjA@0H{jdErPEW4Wiir`G^qR;`ci7r6yf0% zsNq(4^2f97&rcPjT#3O(cpAlTp9u_=ql@>8tC0Pu0I4**$fbWI#SdjsOqGn5OD#R~ z_0`9IihQfAOg&T)I!cm3l;b&>&Naqs5w2vG!6dwL0iS8cmKcmV6>S|JV>wA!bZMF0 zq%2^C-Hp=*$xfs55|$K$R?>(hj^eaOW6Wy96i_USxto)}#u{Yx=;xh2lJMH6!h++| zwy?ng%DDe*zHjy*C@BoVYgi^Yj_nC?t=n3?3%SRsB10|W!yAj@s3i4bgMY5Ae$8q2 zWM3LaWHQt_`)gp!oA?EW%z3_SSSC8v({S3m>1*9ttYeP!<~fbCwYYLOjYiJFMS80K z?l?MI%WWRfuva^l@kwGqL!PwpU4YqWhYcqN=y1ce;|=OhDM+&hUv#MXS~x;chpp(N z2vFE1B1`)dOW>JN!3JK=LbdFcgSA}f>#ZC0kK{i$$g9T)Z{y;lyN{}fi57$T@t?|_F7!E#mNu$B)_7#{V6ZA-Y(%d<3 z({4?Nw}Wc7HbHJW;*kE;&rOPE!y0LCn9?P(lXbK~k-ZD&fC<(PW7bOaY}20F(E2hc3brHu1qnB4k|Jrq9guE9EGgD0vbhOxAfQ=%*)7Qpzfyn zem=M4Jb+KrDevzhBp8d9RhJg#iG++hH3Mqp6?yMPhnZ5Ec1W9c?+Is~Q)+ksct+lP zS`UcD;9yerFF_$RP_i{1Zpry!a`sol)h7+7pPN+J?H^T>1uTq(Xlz@OEY~$8gNFXG zVXDdIus`hRI!)FtoM?gc2TMEt{jneSs4o`urahqZWK_N#nD!z=7!GOm$6HvVSYY)X zl<_;!SMqemp1W~HPZUU9LK@OX;AQc;g$oe#Msn{0yb z_uV_y0k;z7KD938*Zbd@eX><9+HAHqOW?KFg~+B?8C1k-|set}=zZo7U7;rR|23=jZKZCd$6F z=--5pO2>>3{8P|RQ?*1i+?uDfDdEPdXSCvf{>0cl1i?2jVcof}05ST@bnrFpyqj^Demb?%YT$KpGJsfqbCds1)oq# zIHxXb3#F9_5(u-MD5kH4ScsxPLp7+7dhf#I)Cr^`gUW+ID=A6O=aG?@dm1cq1@1#_ zIA$y!Bx=bEMl3P~0EIjGmO`vZ4^&5pQ*CnmMRCzC=|my<_bSFaWcNdFw)_F0XwmLY zw=mzJk1kAJSdNOoU62xk^Li{7Y9I@`j9%>8Z6jkQ@?7-Nk(_eR-jL{O^iLJPqrKKr zV{v{j) zH+F;c@0=We-w*lNlO0=OXlN$Ohu5oEY)>|`H8E>?Cos?43Vo!HMTs!M2PaLdTmD+fj|H2<)Yv+xKvgs_KXxX54w0= z-bt_uFZ+;dnu;ist|;0N zqzvR7q0IYGUKDNtWvm0z*p+x1qU8G7X~-cT4wE>L)YCv?aGlZ zEezX8$P9FE|Df-Po%{Y527GvB-0JTy3-&u8Rb%(};YN4l#oha!aUH_+4H24>LIjp= zWAXO^BncXH`atvwngU4_n*-S+{0ebCTw0_4EU}o*UOBKQb_F6x*dsD(`aaT5XGw~a zZ^d+(bG)PJyAbS$y6CkDrs8UV8(8(X&4HfpsspA5SSc{)%+uHTT@V^C53=|bBSd5w zxRkO>d;`8aiEUWVu;b!Nprhol9s*-2=%5@4Tyx}(-7~8;a%|LUuSwP4eQm@?Ley7v zO!u?U&CgBW{^HCZbD94jgKtQQE_d@4_poV@8N(43rHl_qjzb@SB@%20L>l^sWnDvt z9^j)l89AFg94i(Tm9JZd`Vq9I;TQ1q#TYCT{pbxIDx4FI!2@?|7y-u5+I>QDyi&aUd=DZMZqnWd#Isck-Xuk$grSSE@KS1l~}Zh8XB)vv!zOO4-Px!#VS zADWKT;iigxF2(;qTWk;7t7^3Y0e%qv-hM>fB&o|x; zSvyeDAgqNRvJ`?OvIGlhvJt_}$Q!}IaBD(`nU=69Pz*K8xOWXC$3XUV26HnRs^_CijO(jOX&k9E?V4R`gZ)L}Wi&%$S3ots8ed=QbbL)UjX~H_UkzkUfapG~2aFLqLu^PLrVy0qWZb|kYP@o2-($?W*tjQS*_z6=R z?U2hTY!;{8?#nP@w!T}4g-33kH+5Z?!try5)`%ehDFugS4}xZUGW8g9AO>q(Mmc+< zdrG#WQ=+Oqs7(8gRKe|R%uDMOsfVxJn|IG}q;67R&cga~ch*){9;>8qRDuOb5*yR) z=E6`=jF5f@SXf%EaP3cXrZsE2)|vAS)BwaSw)R1nWuGz^%k=B<76mJ1q>n0wdA~QD zvUI~PAPu5|(`*q)A)}J%4e{3@eV5@z5tE8|stJ2UfDeaTNP)LJuQHJVY!fcOi!KM! zjgXgfWk0xwYpBj^`v;pI@$(J!*2#oT-CJkktvmz+1;1e*s#G&?Z`@GYzPVFjg0)qh z=hUA-PitNM`fkO`i0NuE%hqWjcs*;!!W1w#0(bO_!p+ zfIUOe`{(ek^wgB|k@_gkuyA_(We<*!$fj&{=v39VZZ9{X_6gfHuAhXQEZ;h&UYK2b zMM#R{>_B^_ zTK#;dsZ#sP*M@46SV)kPzGXotI3}=2vsxXUPz%q74E`5tr|eHXk2fil#jW%WhhXr2 zQwJmSx*m4gBcDJIRO;)qZ_v+Q4lVI3>nZCgN0RwcY_^pGTeuG;j|+*-lTvMwJ$F)% zz%=m^SKw=`0VJ=#yxsl&vOnxW8yXGmy#GP}6P5z|lkFO^UnP8~kg{rW$~IFDzoKB8 z1q8-2ywW`qh{Qb@#$6|9q*rk0y$}dSS7oRxGQX9DjKBTVhXa9T!?s<^g~8zpz`~O+ z2bDq*Fuo*}7CHgubt`w~%btx@Uk}y^fCpKtJyf0G5eDPad9x@qV(!1YvF&pODN)aX zZd|pPK6_1ixp{yg!8KDZ7Jc(ArTCm=sed>9;almSsY-0;Dvn9wl zzX?loKcUmq-qFZ6woc6}c~PCp@({4jIhJ4}792Fj8p@6LwO08#G%dyS2|noWC-Pro z2_EKu-(=a@|9z7^)Yfsplfv*n*09|cK2@-o+Q@8Ep=*p-<5x@3QLp<5Fk%^CtOh9^ z>%LB3h38}T2{c@`!sMyieV%CbKjv$nIpEA6T?b{*2U>7^@6cxk&?}MBEVqsD-YE9S0Kuka{R?#urt-=B3H3o zuq!*w&qS>#n%9fyW+<|>WZqeAxUo$>%%2!aL_OK%|GG3v>E5y!U!UZUWg=J5NnkY` z0NH^g|1k#WPG6J%w?-MIOr}L=N^r+Qw=Fu8iRu3 zXS{Ri@)F)TQQseqDlr_degkhwT4Mh=%Y^}F{iH>}8BY~~M$}G|hif*jE$1xp>Qj%} zz0F=|GlSV&G1Y!O-F}fcZp@ZA?qXjoQFahn`f>ZtHd*2u=mqh_<6prcqW}%R2F>H= zx^xR3@y%~3`-`P$u8sr&xb|4%>+jhQ<`3Mf{MB_1l0$LAH6{V;de=|BTCBiXhoT=@*2)0J#N4q>2dK}&I zoN=V^SeY2Cg^M2Y6`DcgifT1~Oee5Xp=3pLX*CFrz&XMT=Wi}d?%4G(=P1LN)Ja&( zkG!#=lE{cDEEy9b&`{8!2T(p$@xNEm2@)~@wZywVzG>cUjrfc5s|%R|SAB`smWv4g zRg>v#0Zem661sIVpQF*Y!6s9E^cY@i)ax>`*)<<+F+WoQ<;Ty(t#v|mFzO`NZ|ZsA z5_*RSDP&{lHm1Wqe8YP^lyk9yB2_416vd>y+PB^+`f5S>i{b6kJuGyt!%$jD{Pmi^ zWQGyUDwf3-iNw9hOJU|5ch9P0$hnT)Pn7W=^@tsD?F;1^2-EoGahlwj z3c6;e0mIYrDwLM1xtW?IC1sfoQC1L?#zD%mz4}UNWLP0CM@} zxri-=!}i!tA%mqD3p!luYDUu<6Q^_jx{n1c|8;5aZGAY_1%krB*^!!m+-DcA3fIYfi%2g6B(OOf=?>xa&QE&nQim2rM5ntG*uTEDYJU8^$Yj}qtomIUppef9v>c{e=Q zY$}!-lq`2FA-St|EbYq`aKt!(G62D2aPzf{RJ;zv|JG$r+h8;K9pdE|haE{lJBfHf z2*-f6rp_jqu9q`03!1tm%yUmzc!nK=`)#K74Sp?5nUxrf8TT6HB~rsRwIOu~%0kq6 zrpX5{o|zi;SQ)v}kek0#KUP)y0RKlzi~is;Ti1koVJ{N7&0Y%O7EN>p86?QKQ3 zN$H+FL&OTX6ZjdT+u#Ay)Q17#`1x6{LtTO7jkr({wLVoZIw?Q0FZrwc{co+$y*1XY zU}z=bSsBoWdgUJ86HZFNYaDV=Vg0SeFktLEan2W;;syFtr_m3zq0LO<3B!o*%lb9N zq}TPh)t4Bn#!f%|SSF3lf;vq#Z@5dRM_TWnmI_DrA%2}?u%3-)u+CU~q)JtNeI?T- zvR=)sZ0d5Ye7~)6wx+x<^%NZr5jda+cPtpLjh@}RBCTjYrixGo_7)b`8()2Q*`8eK zPpv|$GlAv!1zh7Mgl5IHtwu529l^sq1O#PS zcM(S&*|pkn0x10>koyXI@`n%qz||N3z}#!n1Fix1Z>XQB5Mme@A<_KL^f1gJGJ3&&X(Ixc?G@wS4B) zn`!;FE62!gcsh45H=s$-9&N}v3LuJGIq-IOcYjQ`uyB`&@)C(kB*z1~dHHxhW1{*{ zOIsPIs^O1l;@2=U@b{{|O;tzU-Ch>e9U2Rk2Qxb0JyVLe>g!HY0oWFQ@`Wz%Q)6iI zgcsdav;6r?F+Z;3Zn%naZfDfgk6z{}vEi-bxJ8sUNCW8^Pj zs!P2~sEzW`rBf)J204+bW4uxRa{;i+8{$z`BiPstT6z1$DGPB(G6-X#d~sYh={5i{ zJJq;lgbN+S1c5Ms1F*a-cg=ty+=&h8ua9oxDh40MK6ng&k6MzSt$(9FF4oC z$<$G{D)@CJU)g;oo&iQsUYHW~iy;fgE`dSFG<3FQ2$OtnbV|A%OACF}b2k3b#&@8= zphx6%w!L&O%R&$0++mXLOr4@@dnc>hL`P&>QX?TDfIf zwSqqt`eWPB%-LvW8lLo3Fh~*0@LA+!}m6Q-&8)eGnDz{99}Ils5q1e&=|H~FgT##ipzI^n&*vvgRl zd+?L5#ZP5tTx7>#-7>=MIy-MhQKYq`4iL^$~DaGmtuZ-EQv$K3n2+Tvb^IU*Y&UP=8_`v5G-M5^}Lt-X~aWZ z_`t<@bHz;(p!oS}ax(J{Y8m5N_9zSq-yj@fjewa^dMIp;fmtC{Fxks!-OlNc##zNC zDI+Ag43vG?mVGj<+$8Q=@MA`@sErKw5A#FiDw|qL6<3F9uI~n`fjWgy?GN-2MtDux zo9|K_czgM@XF00+>uyYo%`Y1B{wej?HFJ8au|Kn7(+PW`a!oqibaf&|R?S$oCd5-! zOe(}#Rh9b8=1a^46B4O<#G@zKQXtwE42SP-j4 zGlEl8E8v&CWalSxXjR9-&zvP`$*n*6=j(Iw`^v!4`LjDuv_nhdqz>v*G7QreVUOpQ zAn+bLt+Xs-Yq5V5$IpHMI9l`h9?pk z$S#%oMdh(S2zCc#9FzAOJLi^^Q=mCMJKl|g_7`6zr&Dkl&75GAjTbosdE)7Xw zAqlWBxzom|UrPB@7Ut-9KDGmY(L!G+l>76J4S8$^;m*gYvH)EXgZm=f=y;)F6%+e% zB4F{5+6l6vL{?uJnxH5;@8anbq;~%#?adxR<(Ui0H^9~$7eMFc?$=k3^RQ@S1psUt znMuwS)*7tP5$4_F9q&T3>kf>o+p|^l^)lGP-u8G=Rv~;F3<~vd7w`yZ32e0*swI|w zvfX_U%`Na>v=_}-ba|5w+g+Pn+U{HSYzXnn?-z7Dy1?Vtew4hTjslxb@-X(_0UGA($87s zEn~+?+E78w0e4##NwB@%3=*`Mm#Yt?JE!dL%R9dSOKnliZ8MON&E5+r*G6K}uJ zpe2g%j=X z_O(WbQXyNnPyRQ~r9Mw;2)?+63t{cNI5O=b=rZl%)f&-Q>Yqvpu)trW*^!1o%Y$NI z0d!a3;^7T3ANz7U?aLxe-~XE=X8c*JiCx3R16hBfgIVt7P)v>y@2?bL6oh%BAzUYd z^Iq`V-32Y*lo7Dd9vir{2-2}J@IHLd}NCgpdazKaRL*SK6Tzr9(CwEfdw)jLe_zjQv=Y8uy)T^ z#P4*!>u5F3pZR|_Md1tA@U(}fz6oBIxLjAb++1p?^1M%pOY?68Yr*WgIn%$-O3QuA zH$AHG^=hul90W=xjU$*jD}0ZUuZ~+Ai$7J-$M>_3R%5q6af)8SgVI3slTmpcESBrN z-2on*>-I1l;6%^@Ti|qWqx9w4T$Nq5@>ad96{aJXFKm6| z-+TDo*^Fmap6~vx)*J&p4?=%ndXzv&%u|scyipZ`#Znc5``ZT+Tru&M;ID-{c#Ucf zU)x1N6koHB_6u6I1ldX8J8#|?l$I8d&&}O2*Oop@fI_dd8fS?(1ZtW{ ztsR}@6k1>=6^&UVkeQR9=TVGog#?Dgr(=_pkW@_eAsCvQo0yuLhm;nnH9OZrehwok zmczO_H-W9*ebS3gz*=71+M{#1dm#gAAgkb}dUl}SY(cOT^syNA&CNmR+1RE5FcF0g z5GNBZdbR*Ca$zh}WY^GA3~(M#UM(%nwvODpTt$#ZTEu{mu&}7lY1e>o!kN*rg%zSa z!wX~B1|Ol>g%zwkDAq=>HqTE*SZn|9*x1neR8$@w9+D<}7Lsv^AtZ@l=p+cxfS|10t@5GwW6I4cA34cs(U#Zpb+ph z4{FVN3qlE<_hHa`3qa0*e-a@Dgv1|qAAU}K7RDuiS%$H&8;_~k&UsfiT7B} z30=Z8_KV*HdV#Eaz;H+A&R4A#h#m;R#KeSd)&@u(Imn5T_2~UDC~%g8)FYJr4M^Me zxp{C0;Q^W0UI%&AP6yxq>ha;jZwCcsRHzmv3u)lKqji>^gyVD;pu&zfr{?T zz$0My>CL0=7UYDbdps7h=Y4n@=tkJWG>58det4&TpQblgSxiVuoy~h|Km6jAkPsmP zaezWn00F0mW(x=bLJ|pk9zJ*9y4{kZe}5kR{iBQPV|$m#brc>ASw1(dvhslE`ae;R~*0=P15YipmUrJwXWU&9Wz z7G~!!9s}*pdU{*U!l3tE@Q+_yYVgm?XOTg+lb?SShX$VkKWy;}2HP(_NqP$zdgQ$H zy5y+xLj&iR@#??B1*_Vt;K?FWKLCCP5GXA3qpy9RZAR71r{n$?y+oib;ClS7TS|5% zGic&-g>~r(pVQr$^)VReKJXX-y)pMPkYdXl&ZUE5W?B2GyQKC&*uW+QJ6gxAIQew%%kr=TR`OCzDS5b66XL^F17%f7vlSz(no`VyBv#mYP91M@B2CwY&#{NG5zOfy@O2<*0bfDau9IJZ07)fK@c}AQt?&g09Gm@R zdfsYV>?WZO7=1Ok$^LcOy~C&44(z-Iv3x`wy#capfuHcJ+a}w@A3*DNIrsa%|FoMY z;Bjdec*OXnsrA|P*~t8LPzRp&xd=YaXLStpddz)6bVmh`4ieroJ-uD%eL-&fIKM4- zY{lNcWBXd1K2X0ChorahcGf$;+#!0VZUZ;DvAifJpzI+A+92t-kUGnd9vjQyC@pLk zfIQ5E%9T~|9J41AkDrI1_-CA)YW9m)|LG43uOe(WH>sdkNze3y!MCEuT`^0Y0@=63 z>3ZdkvwMBM_i5UT-qAkv_*YOeZc!+=UB6sxDdI_C{E;6wj9O#5QX2NAhrYjjp8RQJ zUjyrsYnkAE=-w8yoMEQT*brv%lwSh}0hc5%Dy_Q~Q)Wg4@tTGcY$6&LuIBm^oMGdB1jx&hD*vjB#^tu_P%+iVo2D*d^2|m z8Af7)exjZjx7v$;q21?&Ol5^Jg&6TLQgS_R$u#F)wa!qW11l3uSm^f-Q%aFe2dIC< z$0p&Jp=!Sfb;O~UQ(FGaob|gVy%PK=o|QOHM2Q+7NAqJglJcbwsNGCI9DaER=~uJo zXP`vRwnb`E=&C9U7GSGRIi}C&-6PmkI{D3YlQOL7I&6q&MR=xqU|iZgwH~|E8(ql% z*R){6G0oHe@%A_Ul(YDsTBtiHdcYEHu`H3=)?zH=A(^2z;+!>2KNM36!>20MAgX!Tm4bM7%rzG(s!){++`)!>;b+FOXx}=E6LQX4OprB8jf zJSc4_6qNDejqb!+q6^_N2GAsMT2}aqu!cuNLa5?Sch;hUo89Y8oc8)ljP5F531hZau6E03ub zllcU9&R(Si;rF+Co-yc;{sZI*DMww4fuV}TP|JnW>09n4%L5_l%Z+8N_0jc9fZI;_ zS-eZWvM_fPkd|dn18y0Y89(nIM+AFlk}qOr)oR=K3Vo;PylrdOc0Sh!N_6U|@IgtH zY7162GMI+s!uh9Ce#P81WR)$084E4F?LtLA8htEl!ELdFL3L(~F|yhy`+TZGE)Ju; z$?|_FxLLjS}*|x-6k>eOey-}_H^k+y5X7y!^5ZRhXL=*wI+1`Nz=WQXg@vH z1$rp08CN7R2S9bo+EKM$z{VQsaE21QAN2OQQ1Ya}c#M5t0ec)F&K|PE-r_@t87dey z4Ncr%PBw>8cGiM7qdnWzc4E&ja>|GL^5#fEkJ0QHw+NJ6R!N?c@#+a4{fWqs#)^%o zD0N8vva^>@#Q=EMUOLaApD$&mq_NVWU9Ph!c}!nIfy$hly6dG~v{g}*_waPN4hRMU zfu1&-Z9||Zx^{T55EH8sv%76%`CC#vC{2{3l8`GoR_c3iw{$>}nmu&8 zGQsFtmv-m`x+-51h?9E9=y6U3IaAg3kmSt_U1g!iDF!A2dVe9+*+9`^qegh%$+)Xs zA9H{paH(6r$TMEa_u{2EfHB%lC==<4#R9}_FEqK{_|`?Ne3zGNTSch*A=nm-PIrEu zHZIH+AvjRco8*2~^Lvos;KU;n0-P`dlBTp6-|{N<*e(b^Q+JN1^)k2T%|y`k8MtsL z5OE1|ShvrJD4&kU(<%#nPC+g|PbGDa10ya6dSOB+P-&OC22;Q<+YMnGzSayn7y?lZ zL|##79;=R7IIon=w&{7l*>V?cDw}j<{MiO5sybJXv{B@ckinI}O>Hd>RRI zD4_2`Dkf8Ix$#Nb337E4mY5!$@Ao>5%odo&`MyRjcCx8|h5nxmsihi(W)`U|trcCJ*%JWm!-U*EXNRV|@ZU zhKjAXDuWZOpE><&Uib9MYgRFGsFDLpGkIaYP=+5_%NNYBWxCRY{E7+!p1DhBFaO-& zb8`nD?*bY)>Qjmza8#ZD#c-JeWDg^9+*AkM$O;3F4WakD9L z^d5Y2Nzb}!tFC3v%}yNp= zEk7pC`O-FQZ12NgRA#Kpd*ef7cG#b%>Jdptk>$b zymw>oo*(_@YaW!ko#iz^Ff6%WJ`O`F@q0h1obT`1@MzPwir{2-n@)8eTz2*5;xt?| zmRE&-?Qh`%_4BZKMGmSshBqOl_V5NqOi*{`6-TOmM zXYG=zt^Q_FiSAnvF%D$+rCiZokHzmH+&k;dK@}<@D2z9KuWdL6E@O6b*&ORVU{lxp zB@bFjL`S0nbtZc5)-p%>LIlQ|ANYp$s1bPxHC=EX?}SrmE3B8s3kcMlL2Ehx>|LDG zC^l2sFuOt}>V@fHy?3Mi5f0g{`Nxl6-S8z?wT7SF9Y!Q=h~e{NV+f-!Z=$5_$F%r( zze<}Nc@YD%H~mLI^Ccdezj_Nrkb(rnIfC%pVMpD{s|)&|Wn1Bwm9f5(Gg+MwWgmkG zrRxA5pD9~LWkqX9~LB1%Du2TL3T6>6k{rW!TZ9$33%UM7b%!A zYPRVkb|MdKEhR#ITnYA8cZj5N7jO=ssonoF^g8IcG4HAZ&;q?t99k%wbB-Zd^6Uw4 z&zOsQ07?A=Ng%Fd$&-3#!XZN$G@1r{A%ly;cwh^gn`rg`Ci_vmbf z$@2zqq#@Xz^Yu#Hkwhgu*`3`Awag|*_oh_NVl{`DJ>KlBtC^ zk^j0;tekKGv==eehY=r%Cvd!SN0Qr!1f(r?4z_obF$PB&@WM$y3uilp#4hzeKO}{d zYwKYCMV}wre?q%P=FhEY;i^?KCU1UArJNlsKM;z2!I|u4jZr(GYQZITsJJY?ak5g1 zS-lat8X=F2^nX1xRy~2Io^21C!^tD2`W?y6tw5CyxcinwYonjlpYeEIoi&#RnQPh4 z9}ZQ&7&S3t6P&~7DOB2#MZMKgjCQ9Yl0&`2+UXy!-dOPWr|+RPI?%;4_4$(RUwblC zI)B^mOE&}qb$rS*Chc?f?XH#6lYWHj`C|}$99gy>MC5xuLVh#oZ(@deR6metOd?Cq$$?)A8w|J;nE^diEAN5+cQ-#y1A=0f-0ABn>g@Q##~!Pakx1f{6r$)y$QF*>ei*A4fAfJ9Mt zmAu%jmNQ$ZaY76R7tCOH?VIR4;;(4kBRNkvBx$eY7MGvMu4tYBUZH%@JQOwI{0Y8 z6z41Ov3K#k@?-8vwR)tD`?9(GXJEGh9v9GjqoAuur=uF^c1~pTp1})kG&q*@>FJuj5PE3`xi~FL^ zQr%se)#cI>3x%eKvoQuapw0xQxyhn|H~d@Pp@)2k;TG{*=3&g*spL=~>k?JQ^NDZ} zGy)>m#f6oSE!m-{?6rPYBZ7<}RiddKZL|I<|fpr9Q#EipAPhREN9l5x%s~DLXyYrD=*+K?( zm*(7rS`TJj&kiNxjlYAUJ+iS9LSXUhXYc!u$pYw||0#o6Ocb89t94AiVi@7@oRz)V zwdem8vtQr`rp${DnEWb(Q&u+K_k7$5PPVcsrm$0mdF$DH z*0Zlv6Q~%?^Jev}gG)wisr~c?YT}^)T3yB`x;MX``}Q*l(5H~S7ne;UT^LxpU+RlU z6w1~e^aJy!%J5ta-QMrkhRB#vwlfPfLvtYthM1*TgvJPKS>-ne?aRHB%P|a_h#UB3 zf-6&)1;;HobrS-ufP4vMlJZ#DgKsNR(fvX@9{)*zt z8&L?$Ml4gQ&}c$rwe!z?sNfjM^~tHm@6_J@l2+HV-4ogd)s1eP>gQ$QNPXHd)$~2l zdZ1X-N~O;mjy#7naxRl0j~_qG+c{AtW&E*oWsr$Paj#A88bthLE3Sy?384t6yy1(vp376V-AXzWjU;B%v@t&9i1Gan6S2 zx^dm1uZYs!8KQq5{r=`n1YF+H4X;p`CUj0N9$-*hZ?B9%JEH2%#epQO=Z42cjkw34 zIpDnAAVsBhBxWTKMF1PcKh|3euQhNlN;|~o&!Z4%3|+Y|S$rC+{>6#JWeB$v-Ss1( zqGE}cmWy}F$GBhr2H!;;@v-t6jTrxHIeC9p@^c>}AS0A?K-~1($Sz*v?qt?4F-;0I zMgaJl8$i9o*$B94Qnd;Ep-P*gnLlUd6{vsN*9WsSlE;$DLs4*+CStAT^SM>|8K*Et z4azyaLDM@bEK28Z*1zIJ$u>k*y@F)Fm8aa>wZj0p6x}A-5mUbFt+iD|F!@E}JZt;r zE7O?ZAVDW4J)+s9s7h#dzBqs5SbY0?6)5PLa$x&V&1SS&*j-XfQ>3_0da4euvWkp6 z^CK-N?8JTG9g{7wSW~}akoJ8~^iHqR{I+oBaH_*@bj~RA_1c1d= z8e1!!yw2$NXrF}q@z5MI!R1uF(AIhR{O0Lgu_7ju16u`EgK<`wN^B_h?MOw#Xh^ME zV+*_U11=;rWP6ma6uEU{6|5(@Z`cHr1g>svh}^KGiDWA~`)jYPcrQpTgreuVsb+QT zs{2s{j2dE|a!TNDm903x%H{Mp6`(;tqkxy9J%=N2&lJQ{0WX*to>*Az{uJXp^$(-l z76DQqE0hjbOP<#=<3(wm4c`;B;z%y0Tc#dVMAz*^O-vrc>R>&o@Y=)N3l-7ZRYpl# znWbU*dvD?}cT~Ny6(muk;Q2|+m3=AW{smn}(#+->r^pTqiV%H8Z)17H8vp|vVmH5g z&c>C|LhiR`NWJ)h7fF-}w)c?2Cf7XYyiqep>KNLJ?%7@`s{dd8DlXlxZ0@zPQxD(uX#Mh$Mdz( zc^|Qzm;LCCq!HFBYk8+r`DB*6n!5?1LNAHplFqNQyg_dld85X1JgK%$Wfqr%=qQN*UYUr*cqX0PN*W07E+E%UxPMo z67A{n)Q?3a`o9C_0$cg@u~hPMMOAJ3-I45gk&}6AqVq={S(JaH{k)uTm9gx&f61Lk z;=i&_KU`wHuY-v3iUTdJ#;ApCog22Kr@NGY3hAE&!}E8~M^@I1pKX(HiKme0=H|R5 z*{+J`C@Tsfx+Y%O+0xrz$wip3oU!|v)o=@1`!xU^e{G9}T9MVzX-^Bnm-OtT=evfI zm=W172qCfe*Nhp&lZ@!YB!<@0&54203deb8{Z^IPKIpc~gn#0XqT0o$mVyG7cTX{) zis;`rN970DtiP`iOs!Wcoh_e_tPfV}QsPI+lcX}F+g5Rfp*~v3jb^Q?^f>!s{1tMB z6uZVOc$nNiz$Sm4Qi7d3Mn5VcjOQ$5r@RKM(xaU5BT@}q9EIXjwO~n}n<36qI`@QT zP^i6Yk*6;$Qvhr`H`M#c({7+pV!^Vl~z!$FY?y5XEV|0snC*e4w7;zfYph^{GB-sgC0x@gE++I?Tc zAW*V@A$JrcG!c`5FPdGt0JkBA3E-B#&adJAlS@k5IfJvQJbk$w02<`xX&l z`qh7aCMYr?@3H%9@<)dIJCt)m{q%P-{?s`UGhsL%NrL##jL5P3G+CbAlYoAm;fQ*S z+h2v&5pxdPAGcJ-q0`>2#HhCTMt&z=RF?{WU(O(tYd7cqurET`5$YHQt`qi>u$a)z z|K6~u{fGoaQ8AZCrs{!+aJqT@l+l%LP)8Nj%m^Vqzj7|)K(d2*Cx$Tj-MV#UtZ^DXW&=?Y1SFV!xC$JAKHxGA5V_7 z+q50`?p}Frp1EdS7HKc%k)W!N5@-d;YBHo3y(F-gAR@0$txqRJKl=jO%##=giw~R(x_HjZ4V8EF6-VIqOAowz4-)vs<2Zt6vZqt+ zm>;1dP_qQ^ww>)P!)zdf%m$%nxkF{@8ZH6lH5%PjrFqtx;s)Hk^{JP28I1@NvEYie z7#y#{Tol-}So-PnMX!R2#^2pC4!B&rv9dL=u@@esDugQw1VdOazEjQV$;%IZ;A99$ zQqGiNL}+!=ANL~WuiUQ8-CtKo`@3%nh>&zAXAl9*656jw$XflSU(gyE1_KtLOCzU)4hafLbhI(# zN_J29#wDGiPQZ16F-w(4!!#v7HblrGy063TNz!U{-fe{C=AV?BGE#!}7F9TBl-%Rv z6mxnwQQ#mQdjoGSxkUB=0{0eiT4^vEdt7pd=pn44+2JHJQN7%l_5T7*K(fDW_2(OJ zf17<#;Z#6Op`Q~e(bmJ62EJ%(9eV*T+NGkgs6VSmjHV4V=yZi}#1L5#5cO>yceM<% z6fFbJq!0!PB7+0yfoq*mvN=XPHB{y_+eK%TZHzgQvAbYw_p`NMEymsgSS_7Tet)2E zl`faye1l%TV%+07nmxT%!={AegO>gTe`ZxF>E=RxCqk7M*(_Y-!Dr|rp&eH-bx)+TN;N> zJQe~>I!uLJ(9XYGDygNNn14=hNEd}W3d-w&Ag@--vmp`)&$#4Y)ROA6(0)E@Q_;pl zb7~au@HKl#Z28=TK96wM_yl$pf9)YH7I6V2$>dbFT_^hh^Vv0~*~+z87RAk#v(cR1 zxC>{YNnze>hwORwq8q z+7o0|d%x{je`{>TAVl+C5;A6zEwnt+j!5{1*Gzj=2lmW|{501giu=Yt z$t~5;LLSt=^s52usj69r2qH&@h%j=KyOLBPu0bzbn{zBPqTO?h_K7pG`K&;2yumOk z9lxhBM4PjR&z}|%pfadBcN@We8ILS4q%?QSmmajjwt7hUdd#pff3#M~`aP|c(cZKs z#dosG9I^q*<+iZZxK*mJGiUKf(wwjnBtD`lfq++ucGs-%%t8ZqWg9 zPLIOMK(}4cC@6TWfidfnzWYm#4Aw~PS?#100YuZl$A^j;=v*Xy6Y4S|vCF}Wqhq#6 z#)x!EnhW+J?(?7ee=A3UTRQpXFR35JKtFK}SsP0=Yi!bYm<2nA_!_U3?wWYPnotFd zAV(O&bksI%r@MuGs_#0WwKjfiM*C~qB?X^fZN^CySVKxM;oDnn}U7?{PL8RdXQ9^a!0vcqHdOTJoKd;b%=DF@c37zIG%&4b#PgSn%{^9F#IEkcgyHQ zIvfWZ^dwS_SqnP#wLP9&U|K+)z^HS0u&SLaWz!jla68xMG)ot`A1 z^iz6be?$4NS)lZ(MeF6_@lf6&E~+3Ij$owvx7o{TdOo&w10F4Daqqq$rE@WF-_}C# zTB|fIZJ;vr5x#H~?rS!Q(n5LSEqWI#6UV6ifZ*xG2m&O?{V^ii5|5wow{#64wz; zfAGiDnG5R+3SNiKaYxPeDc3|uBcqJM7;H1;i!V>;vl(+Cd7qa?2^$f~E;#Te1t5mQ zxkyFbNcg3M90a_<18{LDOA2k0KCvi%QAJ?u)C>KFhDtOcq=&N*kvk75o`h`6_)0Di zz}a)nT6<4h^EMh(UfsUjB#%Ye^W=^_(RWtpRNx$4z^NL{p7}BR|F&I$O}kK z$9p4TcjsSoQY#fiT>p-g(o4*NGX15(bXBm8DlTy2*XZH6e`3 zPIFC}?iAH5xWZ%`+A1PGZj{4pDYk{`dO~O&C)*=-CP%rm=R4X51_E`sRr!+^e_|Zu zsuh1k1HZNF$j`I5qAO4w$>a}{?5ods{kSY<<%=8!L4-ZXgNN|kEg$xw@1Z_iLXi;T zoAo^X@RDzAbHQ;*sutpfeVfu2*C2UyRkC~49IVyXvILd2>nwmv9_oabHZ_gJJnIwI z-d<7$QbAK79UVY;`;dtAM!tmWe?6V+F01C+_?7qa>xjWcVI>d|MmrpTt%nC`j411z z=l7%eMSp02DA7hJ-m6#O>}Wy7;0K3i_x`~TJ3!Vrd0FtmhRL4${DWrvP^9RYd(}~M zL-OoaUT{7;n|GNyYySl$E$m3$nP716%7gLx!-A}iB|IqOa^4Olu>o0Qe+nwhhIf<~ z*9W%R&IM9VpwgbXK&r7{z}=zz;Oi9($l>c&)YGAyE9r>1|9l-GdL&K0Rc|7u826iR-@D*61_c5nJ{dI#IE4&^N?V;3zLtnag=Q)h`e}fQipy7>x`)VwFvI;-xN&3FUT#z7ej)dWVN1jlc@)+3i@FL0@3V36^&v#s=ANY~@<)h;7 z61=+SWcJ6=1v-Hh_T1Zhm&5kWkb;WJ1T{ID3VMdTjOo?0LSKot5z9d_{AFbBeM_ex z?|2?pv87n&oVPC)6BQ}Rnj#71>dYO_j0l=U&W+MBQpO=}e?A`bulo}zO5XK-k$Ct_ z0=s)#hd*Q>L+bQD_Yuu8v9R#!d$&$j7DRbn-0>IPJ06HZB28w|DM{!$~lb{xXP0IWuQrIDfHI@p!tSY5$SMTL<)PI zGBo|`$J#AbR8Dil))()O2mEh{wvKz3NjS>|x)rXBr*}Pmc4j&SNO@uSG0ee$Il}Xb z(}o4dXECULMTy6`1`IJFXj2DfLB_FOeiIfIMMM{vym{<_ZhGM_`sjv*RILKWxp}5q ztvPT3e|1OgtO$D=6to?5lCiGdaba=}nhHf(TKT{Y zOJX9Y6l!{wb2o+H)TP|GVAxOv{6-wB?UG_wZfB~p3L{t~-^~S$>fwNnD%;gci~7Kx z0hi9LTtsB0O#uvAIbCm2FV{3%(6}nUIP}@#wmtgD1gsv+?zb#Cy%;P*{&-+o;e z6$_rAGL>ZuOCv%Oc+H<81f`mR-(fOJ1ny8);|j#2=&(1gg1V8pn~oVEzB{S=QE}GZ zf6rBtxqoKfoE7`5qiCx7Bqgha63dos_5cfByZf6sm;2zv-3(eZu=U$D?=V^G35lIg@7Nou z?3DUw(iTl0o6MsAi*93l`l698Crhqfe+Sst08#XVu8({42pTH4KUZFh+7-hUpv<*! zS~Jfa92|)Xin(Z)COgwC(Ax0Q#PAIc68W_$*;jXAD~Qcka)}aD3mTB+wh=FkbvP5@ zlxC6zd^{*Oq9vBuwr#z1Dt9%#e~y^$sD9jL#!Yj3Cy38)C`m#JQ8qu!C#Jl_qTBiw#D&Ggh=EzroA1fMz^>G$9S2 zpb_hDYBGG@;&^o8bDPB(?8kXme_~Qa>o)*Ii4E{KxGUpLN^jA|V+izr_aBg@SCDYIbw z;{0|iU4S+n747BlZGk%2u3=UL){aQ$$(Vb%buld1?)w)>y#PeVLhZB+B(rUFz!nBW zmw2GJW|wa(p9+#V3_|@Ge=j28t~7yc4zxx~5YwD_=`EZ#@zvDnO(g{@Gblv;bsn<| z^-`iWDay5`{W}Cj7TfdnVQMpHKVPw~s$wri3^nPG`0mKdGq(mKZGEv^lz3@OQ|2St z7%NcB&Xzn>_Z)>v3B9(Ith`K?TB2CG#&GOfJ?RC$v8WDb{+A!Ye?3ay^-JO62!*`g zQY1Mg=$1b=!z7FJKm42?w^gzAP514HbkyR2#@hY;oH{CdbidFHcG*~Tb#-32P_e-S zrB?3N`o;wWmV7`RK3GUk=Cs=3-bx{~#R>d2fH6b~*^B-LC)W#u%w1tthsAg!=iury zicNzxfo==DPfLdETq~r_o#RzuPw~$AsC>?zVh7xQDLkV6nb7 zDU@kRF@dQu`L*&uiL|~|Q|y>(1-~ZcdQPo?^Kq%Z`G?1wl5|)}pEw_whuoodTvGMO z@W$D^%XQb+f7Mp_SCP)`oXz;>B5a-;TA!Ho9)=n{dLUOG#O7EM z4kzyT7`+Mu>S?U6#*wZs`yBDyVoVD$V@ zvmWoGf0U@c8V3_H(QDr2*Q$+WN*s_8W8e%R@1i$WS(T*d>-=4?iQUZKHh{!Ony%52 z5F_9_`E^|)uEf0k#7q~BCR?9i{OdqZ0QFpBX1#0u(r0|=_BdyS-i4^yVkHD-j@F*U zl#+q%7fjWt7WxfsKSL^Pp5I=cZ4z>`g85sie+NXsV9L{)1gw4HY z!V=bYE@(=O3O|a8z3H`$8o0%pN2~={dx4Ha*2BrvHfe5@p;O;Cq4pQRO9nSax}23k z9%ay4f`Hw@zUi0MqC>en?3=5r1odKRMo5_?T#=+rb!$m2c)UZY4$k$PL@}`zh-*n5 ze?6lK7MpWT_*-rIN~UM1Py4ZJu-8uCsTt>sR9GvQIPd0bb$DWSP8+rMLy(|+OTo^{ z=7`x|x{eO0f4WX4W5XQ%`phUkPVwn+6+qw$lIme)k_GyNexD>lpxUO5utEC$f1`s1 zx`JjD27K#cbU1wF9O%^LbPq4&K!AfAXC|9$KDtPE!Oo%Foa9Ff%?o|GtFkpY-(?B? zDgi}OG^9O#e5J71*4bN0aM$yisBhIw>)XG3BGGb9@LlP}FnE0LDBwYe-W77LOg(20ET{`O<;XEAu4t!f51XSoe`ye7^oh$> z-(q*HE(uK;F%!|ZMZ*_QA_!bFT}FLe_ek1ZI&?VJ1>9_?ys+Ry5$ z=kSAjIym|of!G4Pi3Zp5t+)JX*I!yR{g^p1)ueO5jM{K?koqb8ON0}FC?;3MKvq~{ z*5nndyQG6ZjQ(>_NxIkMf118vCT@lrG48; zTM!TNiU}t0ILQ5xiFxm0TVQ33QNf_hC-qW7)ilB#i4btYEj=ddYb6Z0xb18co= z7|-X{{BF~;f1oQ7uCT_gZ9}yEnVa*L8`JP~LCki~s@ z^rC+h7U970!25+HpRiyR}9lAUwC=VMVZ9v zlX-yBe}U`_H$ftlN+VJ#IhPiqiBLz|`lsjOnjbMgZ8=LGdXFULTr#1}+=fecw4(Bf zRmR;Vaz_kUhIyu(T9de#n0;OI&Z2vTe(L*Kc!T-qWj_DNDOH>}k`oTf)=E;kNK2>@ z*!_x_a%>-+rFhgQ&e|i5;C6`T(mD`)>zmyVAD6qj(Q0R*!pgd!i8`jr9{mvE>71hZbF2^^Pin*tP*@E8OUG&u?{ zOl59obZ9alF)}eUF_*!~0Tcx>GczzWmjPG;D3j2?1b^8UElh9?5+FE@26qeY65I*i zK;zIz2e&|QcXtgQ++BhMcXxLQ7T}SYxifR`|5v?NUDf@qZD;Ls);{$$6`7JMqlgLE z2qX!%g)p)*vG4-K`W{yY{*npY8DV{(0}a6R2m=$M+>km@4q6%96&(G zi%lE|d4CC%2ipQZe6j|xvIAJTcv-o5Sy%vUEG+N;69{(T1&9NkEKC6MOn?tyTaY6% zl^EF0)xpBd9P+Zxe;xre#9Da0A*00O)itSyW|wvI0;pKMJ)4uF@{0je@`07W~H?VrJNe+DoB z{@NS>D--MA<^Ib4UC6@rk7S^+G1$fqXzOZWYX&g2um%AXCFPhPE)WI)(AMO4Akf+o z{C|=UbOKsf1C3q+{-6#7NQx)}fG-{X)t{rWgM}T$k;&1*`gf1azstOAvxKdQ7}&-J zWD9Xb{>@L^!U1IbvhS|Ue;uxsE!f%C{XfXm!q&v}cN-?3?3mSUE$lymWW@i9c`+gX zV>1Im0Gup5-0VD@0FXTZT1oCwMx8uJNGAk><#KIT?Fanub*dqT^{lyG2{S&{Ozk`JfK!@c;eyjkN z-=Dvq^j;KZ0=Bhw{U`j7BWBhVQ4ATpBRd;_k&TlDz{!rJw(h!^R8g1n4@Josf8 zZ2vb@6ZGfo%7aWSKH2=QR|W!n8Gi>6TeBBQGqQ3pv2grpw{VoSZ~>VpSwM`<|CG(2 zcJ~rDsooDSy}j`S(F{ zvjUih_^$b9-2e5vR34`h2`ONS;0-q<>dp!eBi{H9c)X zwpen$hgDMFvRy&c{x)M}_R@W;nzY81<0m7j9>c*ErfxfixO@ zSKH>i!h4swVH4@M8Goi5oT!jOF3aC`haBTvfw9&<_%2&M$z zcOr2PgbIzNoY%iH3!M&Au-uKL-UuI>^p>pBCfrsjT$pcN9O{wL#C33+8^)Q2u^zeI z5o6jdVT&d?WaaLJm@H-llET#Y3&!3!YIG-CNO!H2Z4g_12!HgKbzPY19$)+QNj6bN zXSDAN4TF4)z*Fhgk!LMcYq*nX0Cdy4$^^_U33}W#+5=Bhznnfw>-43cH2zbXY&twi z<}GT11xxS0H2G*@va_Q(StOOKzhA{-8$E*!aLz=DH1byO`+SEG>Mk_NNssZNx9ZYUyVigg`(SNJ zN5yE`FMn})RHr6v7mdzg3e9Dc(t_9Gp4VrHi|Nt5ALC!Q9M^nfwbU;6Gb?%x-_B~( z)|mF880cZxW*%N>I-4o-) zf$5As0QfLtfZR)H&Ecl8f4OI?a=F${Y!D6-u79YegLd;sh>q8^V5)yVOdHXkoGKci z8nNogJ{lQmmBpYRW)zch<~G!b2t*n3=P(e3-#mB&hqd(3H*(Kl7c>0>%GMU{0U#v_W7(Q#%S~%3 z#(%ErDl;`*noQ$n>9a{4S)C7`2}e$@T0Z(bCojY1y%RQtv1}yW(hMKH+b9l#R#*j= z8=4j1ZJzSvs&lU((7w-zYnwG(=Du-67K7Sf2sAc*6D<&QVA@#6e`YEBD`Jw;s=@l_ z3YEc?4W%AN^7~E39>1*Zw^l&8A#Z}EyMH9LQ6*OQvCnS^ux+z~Bc?MX7u=21T8CRq z;R7~~v&!6qX1+iQZrURz>cqo!eK>A-?fE4u5VEtNmE+e$&h2wy5BaiYdhgkRwKE<^TYnkA z1FNbssTJ?~7K=a4v4+huUQxeg-LDCQsslArJ-x|)&0TORoH?ts;;Wbqcy*g)gsRjt z+ivl#$*#LOE{9+URtSQ=vv|RoFi82z(g~g%g%rE(7l@b80`F}mO%b6mz{yGwtpwYiPMv* zIRAaY+saIGE?`Ry=4;T${S?nA7_P5up0a){Ck7goxFgMB2#dqag8rizG~D`U``MVUpP z?pT&@qQkA2W6G&3IImF$CW`KAr{|D9e`8#g`>3H^Y;?q-m7z1t@_%XA5?4@S%Bsqz zicG7wLoTYV?l!wWT0ODyXX++EKG6DJO`7Pt?ZlI7Y7a=gukZPnqrV93Qd$VupPh8X zLyr_tp_jb1L+IA{d0C;HI-Vd-YFeFDxHf=^`8_mW|G3PngHcJhILd-HAN4tAS!fvR zSyL_-`?V}$Bv<4rXMfLczS7dn)pS(%i$?KQu@%2Qescx8jMZ6|pCr2ER;jio!RWfy z(%QZiYRb^q^ZihVPjUxOPx_tE3h1AugX^|5Y?}1V2P<*bREBO@#}r=xS{@6ReUg@{ z<@{?oMy!2td7UB+T)Qr#Hdz=xNyg!aZe(d%A_wK4QMJU%oPR%az18rHwsp zj__^-l$~=FpSW>3e+5wx^2X0H#(2Nw|EV? z#|chXO<4~&pNY%O#50eDItW6ZrKriizlK1$+dTV1huX{sua+I1srMC zTL(XNRCx`};?$o^yKg=+LiUoA_AAS(*xb^m&!fNOLj@x9t8zhDYpr{h4V#Tpc0!;s zo1kP4aev2&4QSJ~lP{+XKo}CQRUv5k>c*T$Kg8CBLw&)$oEZHsa^gSQMUq15ydQfN z3W-CL+b$7!a0E<0@EGzq@LwpmpRGii$!OX0<%<6pxZ(Yohb!u>YxnH*LSD`7}3 zC3LuR^DFx7)|#*#=}-=bey}z{nSU=@j3Nik91^w5+aQX24VYP(rS_2` z%$OKq{lvwh=V5p)U|l zK_qtzP|qf6GE6Cdb_HSE!RVt$7n6IUab=+OElWgh5KSTOg0~oA68*^!q6VUQ?S>~i zN&xja2CxvlhEk$9Mp8Q528wp|?MfayTq$H#W!oavnv#Xe#ft1vEScBm{r;}O2!CU< zr9p7g4*a*TGmV;XKkWjhF0J5m{6@ZuWRYUf%@&U_<&*D_@$m}Fkd6^muL&=iBy25g?K($0Y6$r`^x?6k2I|91S8+E<_ zMu~BPZU0zsvzpPyay#c%MSc6PR<^h{!IC3c7kl>Z{IvlCNFi}q>VDLi$GGM!RS-+= zu)vN)v~WdJ9MdVA{+dH|K7Vf}4Y9OfDQIs&X?VGMim&2ku75WBi>Hld+CJlXt^B&k zh?}FKqmgG+M%esgw_}4awn4083o~?L#-?OY`xkV@7>TZuMC+5#6?0uFL!(zefh0V6 zDfN^zD;MAO)!E-v*r(J?U7v1VioubWJUg|AHe6diVM2uqC1u_(4S$IcPuA~nG8H-U zw(0c~@=3Fm`?ppJS-00z8DnE@JwYku-&~P_5OWs~7$K|?bIb(H{n1AJ0r9a*k5&)N z+wQCI`{Qxo)RC+=Um}0>!E7Go^GH!)2HTCa3>@~=%b)X3#^2jMc2OFu`WzB+k`>2f zG_k~oY%B=-lO@!7ZGVX)O;Ygip?YUu)I480!V+idA5;pMiJj#{*L+?Uy4yRPbwl6_ zH_(f1aqxQi%Pt*T5zGwvh0=Yw$0hcaTgoh=G3joAkQe<>qlfDd9dwZfR1e!xLYRajUDCs}lNnv9QnyL?IiA&}ExI{#n zLven-YRk%=!TS5vd714yHb-pYoVwKqks7lAsn{P1s{J9xeQZ;|nr0oam;#nJxu?Y< z^uxBM2FdC#00as zjs{fVewnZHBx&B0-Jg@yQ1hcG;UQQL%ZRs=;D2p%9!$>|$CWU~LW#}nF6|bOx!w;h z{LpWBHV~&ptKxFH60;u#)8m4~InK0TUPOV|Brc7AkU7ut9oo3otFsaJLq6(eK*QCdfs z*nhGvrLuOrVo3pdIqt@aD~Ty^$m-TDU+f4;P@JpSPTa(kAFNwZEN5QD2&-n@dwf8l zeZG>`g(ZZ?_GE~ga8ef%=cn}??2 zx$YVYmBNF|!7NYgQCZ(kkttxvMbHNa4SyF6L3=a8V>L)(k+TQSZ*&)*mf83Uc{39) zh@ON`04)_(YSG)U!&k@FrqyK~gAC-Y2Ll;Vm}BU=_&YA?eDf zVuK_Z1r;I}$TR+pC2=swV|4PMO_79l)qZRnLoyzMl%SXioh#r{mEY707rKBpSASrz z(<|^Ci}6UGSTUjaemg+Ka~LmM7iHa5ADuzK#UQM+L>;a7G?7lkm8*E%d^>`TW`O}kj8Q1?Il;r37E{J>4ZW<}0toZ~_BpmPGJQx_ zvmARY0|&%{d8j(gkQRb_&|pJd$yMc|4t%_#`>m((b> zXXVGn6F1}JsjG@nMp_H#a~qABRhm+{l!Q%9v(T@vo*YI5n7^U7Q?p8{d4Ediowu-O zuNJCO5mC!GxQ6F`6w8Z4GP>JrC z6LB}$q;#Z_lK6fXiHt?vi`93S-fmz{zwh}=CDkUSFc=cvu@8gP-GA7=bMSqIdAHtj zjZ8u;HOq|Cn+vLjVyIBQ-1Z=~lsw!*exrO8J3B~K{mMioL`_rCFo0;{jDtzhh0-O) zWf${2;#R8xKdW@ej7L@q+u($yn(Xro_{yz7)9-9}$bz>YUbBV%0ya^$x~2Wsj2f)- z?pH_qK(*2~b6+lpg@1z!xmapm&5t2HEy>YS~(NJu;4&wS%g$H;Rp6<-4j&> zUY_h++;?WM`vt3r>Ow2DTT?1VRO1f|;IMk1q&>k9F0{>_elOZ2B*hrylCS+*&YVA( z$%ocGtdfgpK=_o*cq<=D+N4k#)?!KeuRAk{Smdw46y|p0YJdAwJr~=r7*(=p1oP=e z?vW;nj=r;T2AQ|)oi=&MFmZnBG*ni~y_xZ)H9Y^CsI1&yw@>p6;f5oY6ED76ztC^x zi!ZkPY6Uom7?D$o&QR!willrI+FG~I)AX>}X2gMAhv~v9v@OgNR2yd>E4oQ(USssJ zY|kN`xyPTBOhU4LkfnmFuG%9VIp=!lqLoj8dz z9EXhfuOq7UFb3BK}?Jb;Nr>1y(cmJa(r~ygzP>a>p_guzHwbI zd=+{eN~dmcf_Q%Nf?2>S;*;y=yMwGf;G0Dc+ss&6LDq!qN|LX+2nKf^=1!sFoK@sF zN)U>77k>fUZH>W9ucUG$P7qZ;jA{ZLh@Tg*#owT38v6X{G^S%u&r;^TAbARI@zKAXq8iZ1HR z=f)JhOMYm3q=xFU@=^wHFXnnvm8;MRLUax%Q3-Qfc2#7~p{^PM$pv$bX z=quXQFRf9@{A{?optORwYi2y(tepDtfjsRMv+OomWL>1U2&TuCjMKud$FV}NEojS6 ztn1tfs5pBa$Yo0cd$AmMz_1*AGL#(!Jb$XmunZ@y_}lmvN&dtT2GT6MCRkC1^^?>Q zo-!l$ttRSuAiOJ<9ce~{m#GYn98L7JcC_M>XF!VaV+{d4bja(+0u5mp?po z-Dmw4{O6d)ecE6&i976{@r7KZas?WYA2&L$Zj?|5{b@lwvo@>O+GepmUhNV@+SO zJ*DJ&6LTt$QWdk|Qz=k-BufRYO-M1YBtO&seiCgDL(r`FmS%2&U8)SAVEz#bMW}rs zd&QMsF7XwDY&*4&MEs+6J%WutJb(DvAcysUS_nu;Yz(w;8htb3H00R`t(Lsu#sp8X zwPudZ%vOMiw^O5#>6(izeT1am&QHGC*n(cT!a zq}3u6{ccnG%<|a4_{$VK=S@?0I2)dg%!&*#_xHr!!_6j_L1um4^UJb$^e=}}BqBdl z;QOP%>OVdrkEQn>u)B|#+MP^70u^)mw(x~yh0VLb)aqC zdAcq+6n;gea``@tCe2;R;qYTxyz_N~Ij;|LPmh?2Ufn)#HD;FyQ>|I_tUI}U&;AU$ z_T30v6WS{i>_Bb=KaIyqDwAI=bKk$^uKE}DaO)iL*M0L*mRwLmYbg&`FG{Nh3nP2$ zw>xmVJyivM!HH21@_)}Qu!D2fdG@OdO627&wDn~%yT1K-x~|>n;XhY5TD1s75wAX~y%8~G8+ zF&$)=u@m*KP(41HRDUy>ZLVC2HV8Fv3*h310c!hEN~SRBy?7fr%2cwk|B)~@9D2^A zhwPfDA>?QEP=64A^~aI7U8`)@UFGgw-4K~Na281MM|eBX#QgPcsra%Wexv#sjy!QC zb@bYV6Y*gD9F>7Mg#pK+Nw(B*?Xq0YQrj2ZaL2f`vX-3yVl@uk);UUHa@jDw8N&## z3i)ojEKg!<7%Vz(|2z{1`ygBbAQ&B77qb6Y2@btG34f#iT3sEel|)}E;n#52st9AH zluD#7<7XWir4Y+*NgWmLm>(~+!G+OSlLOJQLV!AwFv)l8>FDA~eb04Q7t&umUI4J^ zso)E+Pq}eE9&D~SQId`$;`!jyeBRD)quzsdG)+D@(sw^gmz*2YRG!Z zK7xHJn}3=NoBUH^&3yW}2wrSkDec6iLsB zAvMB70mFo#4%9S$cur%yk=iE|M8Ijk(&>Rim67`G!As*km?4@pa+vZ_L(jZDxRsmO z`j$yO%|_{G_JulH6G_DAj=xo*I%;wCk71S2bkr3u#M|H>C3dB zQX|!2&xHEhboPG`NSL!9Y0|Yp7gH{CK#{oK&tU}~^{LYe zI(+L-KncU)F4d+{Ypg+{DRZvNj_3?s!DF1ojFHTXi|vi3X!qK9)uJ8R!CPfVSAUEg z`R+(;h_vBxyhd1Li_;Q$4IuQOaN}$Ia1vZ@8x+K6vk;!7kZG#tv`T$6*22xJG@L@w zW8b!Vp;&OX!fp|zf!^O0EkKG!1xs2_ zWQ{;IVNyM-jD(r0fJEr(Hp0VgQm&s%5+#9Z-#>x^$@ohPb0R-Xj>=$3g z!P-Evz3i7XNX?@wFsRy-Z6N_Bei#$GAQ&+EDT^|%R#YIEA+x9Cal>+zhcknHLk zuNXwuoVIVQGSB^i_0PD~gMV7ReMC|$A795ZPfF(pA~em(kqszT5(dnEE~G5uyUg>8 z6*xr{NJ*}2D%?wD*>h+bURA7FwH8QxmkXn{cOhMvgpo&~5$HA<^}4YET7&$oMOASK z7Y5zX0gyzBSh9v;>Zq>7=w*m49DO9iPVUmFiSU0%R;Xw#D9mtY!*w6V5DMJ zJr_wI_TmJX9MkTZ%R?f&)#?SRcSOdKYuUySv)eDaAYwKSu0y++-MuPyp@FrZ5=c%6 z=9ji3+$MX(0@|$fT9lRA$woOP@+(jyAY3t0vXSy9yNFxnAMt>CEAZY$2|iWCC(4j8 z2`dy;b4P?%3d#8ret!f#QYMou1x4u*0D3@$zh?|`BQmOr-P!KJX9RDX2X4w9j(y#d zn9I0TKYu^JCm$k)PM5Puep~4lMH7Z(10l-d&)-H|RsaN^lcC-(Ns-J*hZOjmJM~Hy zB*tm<1MEZdCd+hwbl7a&*Tp`|g%#G2WFmDR$E5d_G=_hdIfW`f@>K@{ zrM)b9{fAKXZyYlCzPwYZIzZmMA1-xQ@q693p_sMLxpXhrL=?qQLKrtoo5=tb9YcT2 zgXSZTOo)w=XDBmj%59eR8vCP;hAh1n$+FOVzR{o?P zy!-+RsSIW_7+9pL>NtO|9(zh74G9=@xVA14CUGs`!q>J3!B8pMXjl z%$OEv_;x+6YWA35hJ80*N^07?kc$T16mHf}TEN1--5)f+KyH7zT&i_$vIiFv%6)Ye zS$sn9=3b1@9n;IDi?F#+>oMOd4!Sp351l>kvI%}`uB-><(;hWiNixBP9M~mX;P8X* z>vL!LJ}FuN^$9L-7a}%J{ zIqsS1H=&q(Ofbyet0zb$y#T6JYRo_sq$%45>w>gM_#E@X9cyGjP4_1cl=Zk!l<`|) zgYC_C0IsYCmv$(=(X^JRNjFCdyiyj=70tX;@azQ)VcCClftb@UhXhOspH7*`gYRYX z`=Umo6^gRM%8S@BUReRJSb3AM!}R`{XOCY36a0SMD+tOtL}hQn74I9+;X1ipkazW9 zu6{7gr)--J9EFXWyv5d+0!OJ5cmQ)|{ZMJ5!j`jVSVvsa>d(PMx27>!waf+yD^&+wvSv;&Mh1Y6&p`aP-nPOaCz0YQJ_PI{HpmsK4H){dJ#Cz#k4-fXs{ zYP}5c{Llya`kNaOFuqU6nPliLE~V*wd$q4_`{_qZpov1{Cf0O9bq%x zp+v?CN3FgB1u2r3#IY1H3f{_N&@E4Hp+_2D4NAuc*=4B4^r zy*cZm{l>EfQy5QkLtCvYVGmnfZVsK2?BSV=>WCE&B&OuH;zRC^~xc^wxI_I&3`NDK;b$IG2kq>u7 zjS`dqWGQ{)G%k^PC&W7?Y7FNqFX4Y&YQ?nqOfC&=c;)z1@0Pc6yu%=-RWHICz<#`p zEA}%{XseiYhAF)ISSWNm=P6=B(Ny?D0_^<v*?gsJf^F1*U&}W0*T7++U+Vq9)80*n96mD@5#7cZ50w=3el>K0q3K(Bpt*P;T zrTW~rpFI14!{8cqX0PCN*-z9T zsS*sGj;^W67&`z<-Hi0MOZ>oImsMS^dfIQ14M!K8S1(}?-LZsn9Zw=w#h#HQI3|A6 z$HR?BMTlk@p;3R|2;ox@sn+hnr4CK$O*E)tWXvcBfJnx!e_ z?VoBzNawsdnXB2i(#@xTn$x{kF02a_Vozx`zsV=x-3?*`t;E)n7s($ZP;({Qe%RRg zaa*~4xr4=a;?S==4qkunzi)sORY6^;!Ls)umIWEeeFHM3 zDfWX%YuJ`7zn*%T4?QjJkei4l2)pgL?Jg1S@0BXSp71zbeHu|+Q^zxZK~UT z2IOxx4-0r)7@Z?_h_9Bk?py01-NDyEd`^UwHTgV7D>W91v3&%A0m&IgPxK)r*?O&@ z6VW`ZMWXs{)F|Xo+GMr$2RrFr3eAyUZX{SpbO}B62J?SoK7P)MOV@8NwEBT@Jzz5g`JnZWQ9GoBN( z2TR=WnCL5WpwMpzf6XTEojbg1t{`i=R`7Nu>P%n(hec!)J`7`6mclW65^CO%)r zfg4HjNI-wo2DcpZBP-e%-^MzD5V}X2rM|5nl6lV zCZVfLuOJDyT*p~Slf{1$Jby?zd!|{-+P+Yv!Z%z!KwAZk za=ps8=UC!>I9{BH#>;$A8K~35%>Sms5E|&WU+XbyW1z4mnW_mTv6f%#dQ1WHcxeSq zEK@o|T1nLq+N^cxk<}Afl!9Y<(9+zurNb*RhvHDQ*?w2vZY>SN_TH#zn`4rJ2V-Bf zCb)lLrF|?9&8mVkB7>4#_g8ij-I-?}M#JaK-g5f4R^RsN<3jbUn=_GC@~TndEZ^){ z=HI;D2q#IWreOi>hml_H;&fCSb!Z0cZL|jtCi_VTdCCMed?%7i@w`mj_~5o+fPwfy zR=`-MS1BStG(V|?${t-B8!+FY$!bgxhID@uI^5Hw8xncCNxW%9G%=hknETAuE_8Pw zDd~@(l3+IO8XbYavz8!Yc*SNMuW)$HK$m!0IcGE99=0NUB74$WBT6UKT3!3~yw*2= zCOjw*r4SM=8?qHcEZ-Gb6Kuve()(p$wAk|@>t0g0q?;nu{=HgUzC%9MS95`9GeWD0dO;=*`PHI8rt z*GtP$IOvWN6`6w=DIn)V_ran$`L3?n_+3fT7NcaVrm*X~A9AmXrZNqht?gVd1G0n9 z`7(tikWUN5=Z%=r>!A+o$Y5^=-lcz#GFgU9i)GKaXM1=XroZoue-*H{=v4Em7g5H9 z9^Qf-+Qv371YYP@SlhU>;Kz|`SK5&qP6j)FqCJo8ju{C}$|Ky{he4NO#Cmh3HvcFl za`Z7whowh5l`zxP*Hhye(Qarlkbs3=8y{iv?xS!q>A#YBH)wP0YV zBm(JAl^n|Ow3xe{Svv2i3>~fQ>Ddjp8%4aF*sG?I6nfh9UGLDhUc97h>Y)nk?Smga zpR^n!SJWG@)ocYHD{t{$pOeG8ePwY+^~aSeW!v)?AliV$wbOU46f@yA0FRa4TLP|| zP3%Ccs7tv}q}AFwanVjAZUTR2ctMyaVv4)5xGt$bGVaQXEJAYx@NvYm&#Q?le2#CH zE9=P0@lpdZ%j5NnYTYK`zb;zPA3OWuM)GJGF-HkTzGcsa+nRsCkYf8W-0iq372(LQ zjVv-M<03j0mX(5su@p7JoHZkEWhs~&x~k4HaTXtENs-*8L!b>n_&u@{ zl}qru8yDBw+URbZyZvahT~`sMptYK+)JN3(%|VmEu6jaZI1!9py-gj~j(~Ws(%_-?Q_sD8S{V3&6(Z|ei9`u9dn(MaHguVF6 z071h*m< z0W2VwCawY#6)_+(GC4I0FHB`_XLM*XATc;OG&h&Q$pI7vGB7hRGm{Y*Cx48$1yEeu zwl0jj6EsNU7Tn$4-JM1PH0}`GAvnPuf?M$5?(XhRAh`3`XP4nYgOn?%0AZL1J1|}YWsJsd@6M%_{m4S(g1%ZM>&C1yZ_-`=+g$B^k z$;uAI^A7`2N1(CuyG+d3`G4I`-VOwiaj^j~vjUhoc$hhPn3w=8OibMWV`%5d0}wNI zwK4<9GXP}lKtLx13Q;?I4@WBtOXv4A|MLi-Hl+bDb8~Zk`j)``K+(L#Xc6Mw+X%Gna20(1g8 zx&qAre-Q>K7~2B>X2yU(0Z_BFa{61YYG>~3X6y(AybElsOo1S$cMlhk8PE~%o*bYm zEeBAv2ZH`Kmiyb_6X4&y0WdQ#|0mqPz5fbi1^Sn>v8kz@t-UeG!wO^pFt@S+0u&|W z7@XamKLLzEW`7wP+kZIOz55%x8e7>Io4gzRt8!z2gs?Ke_?_Ut={cD?TG=~0F*sS- z{6&%RuQ2aj76+M$+S%FyLC#JHf7K^uFn=cj^szDrzW*S2IT^bG0nUytKp(GvD*hWGFf#+ptW2E&CO``-5W=76?_!|& z-}wFT9j)8}x=io0#|&Wl>+_!{{rB-Qvjf?9{4xL6`7%n1s;Wt8(EZK$KROW+J9mH= zJsT5%o`szWz<>PLka500`22SmC1b09m+=o@X^^=cfcx)i-`n&*6}$d>0I2`H95jIc zj-_DtKD9sq^`9ZvV`67Aeg9(qe;)OJx%~f4_+L@}Z$tjS3zBfLvH6#p`d|A0kJ{MQ z%Esg02Jb`b;{3h<@^b`F5Cqoc70!uuh=BX)on^ZPEE0p0&K!~jMHke&0p3*eoe55U~c5#g^B zL2tTQ|%9WXQciIy))AIgWefw{s(ct zBjZ2ly%v){=$(;?qp_(q@cpe|?)*p2`XBkd~R8O{Cy-%|qrwEHjQ;PSo@e+=GxVEzaGg{=N${0rK-IR3-@y;O^T!1n?y z|CICIB})%`OCabU7Vk2vf57+lSpNgQQ~GBy?|g0l!1o)6@lPoBcURE+{Qg7#PRH&~ z_J4P0yZ=(ZS8xAE{T|Hz{j~)8uhz3M|6BUsjc0p5Vf*)s#O_Zk+1{Dk+qgLWBmTR@ z;UDn57ysxK^E>fB#%%A!JJ}dJS^mS|J;$Gn@3$DEv!x^OPyO%P$>{86_Ya5n7%u;S z@4a*V2YjdR_K$;n_jdmWd=KyOrB!A9E{`75?9*yCUCB4c@B@)!wQ{y_i)Xuz{lLQE& z`q+=Tn^05I_`%STR1vG{r(qFNaO7M$4$NTqJpNjemh4#%^^aUF?4E?~j zKn{gBla6l}7X^5htl~x)A=J6);$7jn>oHWyytTmk*}zi9i_Hpb2C)(kV!8Nj_Ql@= zp#jietttoI)j2@LM#zBN1CzAY;g zF~B;q(|EY3a0?R|`nsjY8I&8|uHu*7>7*{X8b;|@b>9hU7jnlzVC=oK)Hddw&0^_GrfPxaLjCHv}x({#j z30a@FJu`(KiDR1hD}SBzYS%y9@CBFg>vd{_lW&L#hN&OJPwqc+BxO&#OXezr2FgCB zMd0mPRZ+|*W|1sRA;__S;ne76rJ-N%6#CMTM41O`1;CjeqDR7k?eNV}eHg5bN&c;Z zsl+OtOA#M8N1&8pA1g|)gPp}aUM{}TcliIJi+?Dv) znCA$u_?;*2rGLPdQIUB$Qk$E69A#aYk6545)J4Idtfbkw#An(dEW4DKd63W6W-1?zarNTZ zz)hUjyYB%&IA%KxrIE7Y@!vrvW~xnV%QCFW;vNstbbo!qksOxwG7b~f5s}PlLm(pb zSfNIVkfjRgVNqn7(fC%$A+1DCZu4~XSl&dRfU~LFiF+~&92<(fAHavhlO0{4WTCJ~ zG^z3oy^|TmOa0_x_eH*(r5D$8-6cLXCv=vBHti>E5prKQa@o`ycgJ|~hG1{LY$CQP z4erRq-G7$eg+;b=1*Krg&ew_F>n9M5+KF3R!hS1xj+ugtD1UH^$!2gRgB~1r0iDb10741m;vif( z5WDK78)XUo$xL-smZax>G50Yp{~%TTF7@b3tMs#_!eiaM*RCQ4040SPQqI+M&K3*W zs=la`a*$O1^w_pns8Mq+qyo2~!gke!f@vuQn)cBs?F60%0>VW2)mPTrP9D(^bAINVCi=!JL0lWM$FBV08;4(6PK`m^ow0Kk zF`SSh^GPmaCYZ!;;=~444kO)S)^>fnkM-lyDi|MlXkAZ{*q4?e(ywStbai9tFSQc zuxm(y@A|Y&9_2y(z4qQh9o5n}nC9~2ULa*>9+ST;;1v%mjnN9;YH8X9-XsgZTNHt7 zpx0Aas&Fow6&%5X;Zirpy?J}hnOWGSqBIl9UU-5*mn~m)k;TL)l zNgy^_yN1|Dno2_SWw(r%j(^i$ufWY64?}xf62V}NUA%H^^)LYogCN^*wK-X`{%-5y z$d8&x7|Es)bLtnf(JGeRW2zEcKHgen{2bofw0?_9N z@h~)*CEO=|%^rT+09d@*#zoh=Yk1t$FQZRolIoLre!>0r-QM-G3x7G2FeEPZcCoLR z!BK=eoE!_(q%B$@%KX^tTxupnc2~>=HfgO8IvXil4W2W@o8Ngnn_%NF@kkAWxEQ5y z6;TAvySY_p_FCTkbOs(@f%d#X+Zw^wUzD4)(}x*^SqkaYS;Wm(FByX@DsB|4ag=Ad z**4Tmfu)=UQw)PL5yJ%t|VOI{k=MmojH+IpwNy}*5{6Yazu3QlFTQ$d7$>bR`= zz@v~@csl4bb2E_GNGt?n9*C4-K&ZJEOv%FLhEZbUiMUTb%c6OXS?jhI+<&UbZSt1C zN2*wqjX6A~*+VOVp})phWaLpArCb9aHk7ERoYehMg0^(kN`DRecl4ow0^runFkjv% zupmU0LhXk_i!5hM6&#&P>ins$V`2L9p!Q84=9#tw(5JO#kpQVM@@`Q(RO#^=VO#=S zT|Dpf>NV4pl0Os zcce`kcXlI{5o8ETf|QZV#YTjqP8LF_J;)iEOhc%sS0MC~m8joX zxiGL!H(Bon9e=?-Gm@*y*N0m%E>O<}Z|?JY4#RNWK9}2AZQ0LbOSooEA@{{}v=x5) z<&^ZHyZ`DEq_Y7@oBET#40jwu|2rms%J={eCp z6AlP*)5Jd5!bvH`jGTT-@3v}uHl0$A&%Of+qY2dp6Un>zOL`sG;UmLPZ*l{j`S^gR zN3m-l@s?q&h-c++Xm-doi=gXlD;x~O@m1^1LTHZ`xN$xS7v5ZfEkg22D6WOu5(z8< z+&$->1b@7?kcX=Nm*2tJ5UCXpHg+QON976d#L1biBuo#7jS&)w0Z3~bkH1R9H;i?| z0?hA~+}Zr3f^)FEk6|^R>v&friRM3`X=9SIid?fVT|MvLZ%OHq&XnoG+%qSSr=FRz zE8KIJ+6%C7%KQ|0xvFK34g^|K(}(6Yb-(1sjtbOhggN2Tc6_t zW!R&wM_aBBi3)-1Hwe0fWtDrXaf318t zkATJe`m+MH{-ba46XWNC;LX0JToRvkqr_h)Vw9Q$euJgE^U7My`;vS28O{a z79Zm4zhq(e$M8lQ5mir~70Zf*u3vBfdmFk|iL2t85CjqrZ90_g<3jMu@_c7#Izt*V zALb6pJcK^-tfGLo#Fbb1W-Kr#z14L7U3S3HxACrfc?S}0!C zbV~G;&M&ewDy{#~PZfsw4nTG_(}He^GODW_B4=5uO}`iLMb+`u!7OYPK%lpyQB%s=cV%25Oyc3uy2JB(hVDa_DM`Nj1%GsMfXRgX z>wNeYqqz_3MsoVeNYTI!sbonqdc^^ixxCX9>@2aCruvJ|^KE@&lXh=?v;m^u>;lE- zu>lgP_VY+ZsW-Txv9H924-JvLhoQCOm%ee^GEJ_zD7F6jt7Hh|OR%M=D^#MEg8uBO zd_k(XFN8nOMyk7h3nf(GW`Dw`8JE}j(SJx4_BD+NIkK_S1h12)zKnr!1Z(_Gwqmp} z3DWlZykf-aZ3E#-SZUNkC2f=Q;=5TxvRC(By%f(}r-0?Db?JCIy!Q98xp@)vW%i{~l%YT~wT;}7)`_5Ao z^-mSx?anzg`&K+smpScN_a+kx+UV2HMu&v*{o`G4x z=~6m+6fx>&u8W;uM97n#I|jI$BO=ir6n+Y7+f5Cu{J51`C!2z;wjX5T@3HA;ScC2e zt#%fqgjQqy%_jn1tbdzS7*5h}UR z>t5UKxon#{Kb^+Vc0@ZO6uY_QiHTk|BZ5^agj@q82s@)AozR!Ye)>SO-C|r?Fw|nX zJ;ALz``zUYPW1qnTQ(jq2)$QLw!~PAeAmrlD4{_yPJ#0uZa=l7>Dpe(b$G_l4|*pG`ZAb1F6(W4mw=rg z2f&S7?u8)my`joaiLvHa!w&1x`VE#jKK^3N@|b!uGQP;gC>lhL(5)JeKr@rQf<84S`iPY4xo>qTXB>os;q!U8`d~=tDL-P*r+?4a9d-X)vjG}5bq^Hk^fiSE zM2q5uQe`8kQ{s6QnKXRwnEwQME^8zJFsdu2=r&5u`?c0FcwmBq2enDOq{SeH79 zoT*g49)C=&M~}6p((*}&N7`11L5tfrHbE^G{q9({VyU#Ty!3_3G=r{52RWc!ZAOav z+0_@MyTbVRNlt-Nn*M^TR4Gtw7DP*Ng)k@Sk(XGA3Lhhj^NW1n!1aUEUXkCEHMg|Z zb-a0gNyZf9_S?kE6CLJKk(T)B_hhs|hT|=g&VR`sQd*f6RZf)7Wo@D=ID$jy^Uo{D zgp|`u!iO?QbY=Tt9nC-CFqSd+Z;};q_sBV1YgO^pw9&)KR&XojzP+)HfB$tLm<~2U zb$fc(^WZCiW2PY~H~)$50NV+xT=KPG(}1z5#G$SSYUmc+GO7=?{NX`|sN6G1ti)Le ziGTGDh>@0_eJH;uB=DJrPt($9SH3k&;B6sq=hbKDn*l>GQaB_Ces2-2BW+1nYi@i?`dMihy=N4*35mpg;m1V}=BNJQRL z_)hO*6@ZvtZve8C%Phy6a^K5j3RR{u>wlmLuRB@OS7O#HV%1Te($6O7XDbv<&N6YZ zi~_^Cif_L%2pu)n{k!qp^{bm*YgsMJ|#vzTUN1PgTuzD-- z%rm56_yjQ|FjvG)E6wDCJyWko>VLI}1$WM>zULKv_!lg?}m{OD{iO z+`R4&v&O}QXPFGW)gRbI6$F>qrl-ree$Nl6-Y_H1?Vp*a`qPCE9A6`_Dm$ktU-3p| zT)RKX5_^NgU)BXrBx$V2#%3U-Jf|xM)#$1p3baa1Kws5t~cY(U*t}SvGvyF@ITl zyoEK*Le)K`$gxV{Qc0@7UhLl0N1Pv%)1%_&EQ^y;N}OFdRYYgnyMLNP^tBR07~=AA z3;Jn;BH`QF~NI&anN%>(v0Q%4+t?g$gRV-y`l6?FwEr6*)>7%=)(~ z@P$YY7QP({8{k*s9Dm3nR<4RR@=`djj?M@FWQ5*VrEAjcLe_1<%mpByAX$$~iIADh zFd-0sk$gZD=lxnrG?)sd@NHV66|3`l*Uawz!LmbLu86va{( zTa*$RzM(H0%qrXa_4NvPROiIcE{QMNTkgc$OlJm9$Q(L&qko+Tt&PFUSTqeSMPM*% z+Bj%yndlGUf6l88>59@%pd(qa)s}NGUar`A^bl_Ptnv8}t`aa@>8y>&KaHY6wbIKx zN_1`DC_MXkl{lp+O6>7 zq#?DB%)`#Lnt!XxCE?cavX=I&UX%LB!9p3%3mmM5D=8&ndg^+Wu?|isXPARjDFMm@ zC|`MP@A);seOhraF(qlV zI`zZ~%U|NhYnV-y8%#D6R8+&gxx6yNtXZ6fOrhaiT7PD>BTO40lj|<_861u7lW891 zVx$^&p8AY}fxH*7*oC6IG+ta-Wb%#nOZ=TKT*2X=j0(UTs*hUwH*F$#*I9=H;U%rU zrbf2M-B}u0H@y?f%IXYJ#>MHh(YWciLvhss4y$faEjp2$u zNb#OPRhqafix!gPEDuvs&Wp+5=6;u&ra!h0vVR`!YOx8wP9KY>@gXRXc~~2JUB4Ik zdi~s#T}WWpaZ1U7?8STvYk2jCL{-Naho#P-->2&NDiF$)pKPL7chD|<%0frgJs)P3 z(5{_>8eX(lcmHqbP~0X46e@eVdsdj7p5n~3=|Y@M4(t;A#=H`k;y7H__z!Xrhw{=b zl7B&VN(m13pded_8(&-)&>Xw;M3%R}&8}%A1vM=oD>Je^|MXE{)`q@CugDx5r5Lso zOSau9QJFV|1mi#iu9u6hYxIM$t686UU4I9c40&+m;I!76nu!uYh(bpnXZ1xYSS%iu za)4{<(4F1_;bmgv+O=Q_+~5) z>>W;7{K;N~(DK)Q(xE+!l3ECv43y3ZH`Q0n`dWRi1b2I?0n!G_e)pOQ2+E%R3x68L zvnTSlCMg5%(UcKK*TuJ3`bU>mF~^@bPl%`$*uR1ZT$Ut5B)C{uc&D=w)?nN~w7}jR z%N}-1X({edyOGy}EtR58{6n|MgFg02H%*TH4!8SYtFD24^pEkFd|g8i%;o@{$pi_C z6jj_Rn@m>uPR29s3>Da@@xOl@zx21IC_6-Pc0cAQ)`>CSyQvK0-hcRl z>+IMQ#Vk#5_JCSa)tVgcHM0e+8^fv6(`F3c!^0Y4Y&=8Ud{;wg9MFU)=6}=}-LTjJ z0{r}Z=snPmS8mPZ?&{XoLC5{YIrn**NHe@dZ=t((?K1=mQgX4m*&|@m^W3(#XIdA< zx`^0bu9Q!PfFsiSD7}N+4 zvrUHP_zziopZ>OvY9<7KZdEP;E33zc4hswM4QPS*RXBX@#ceBVT7OClchba99Z3!k za6m$1fUSWX?Od>>C>KIHYvH7$ID|USRob(k$}g*+*(YsVZ9|m1D}?GrSI_E?yxSZk z9|Ii4o8KHxpBT2zRARY#fo2!W85Z=8cjX( z;+eC4MD*4#ZnJWp;aHA<@akI)Dl#{W((cOh{QQHo%zOmL|9_QLHq(K^qjQW>wrE~Y6tdw@P%NfWB z(i=T4EgDZ@BUV7v1O zeEH>4vv-I)FMo2gFP~q!qG9-gnk`u!^RJ%P?@3}cd3S5i1Nt8jZ@v*Yg^1RSyHxW5 zS`R}=r_*H@-gq-_R8{i|V|jE7P`_q$^z1TOwmrZ+(zefoNPqC;nWpM*mxIsAE~>dr zepHsjDXae7K$1fG$v1ktmw19%+f8@kdorHf=x>G1 zoN@9i+h2G$*HMRqt*&)#WnHH?(I;)5tjdTmHLX|0EFFiu+aY`9vlccYcyilgJZn~J zy%#$o(SLkNmy6AzD`}+6haS4}Tl&~;G?2+$C3t-ol`et2H`B_}$;ZnvAX~vI?iR^F zzguiCuqcukM)bpupwi(?%Td@p0;Ve3spHBsO4g}Nyb;E4?9!EB4NoOP!VHVY@#fYD zMW0tSph91yEJ6?_!m8CJeYRDUzlp~6yhA3bWBw$kIsi0KNN3Ac0Y zGQ-&a#&vmq;sMf{TbZ4^Y0||^WT2=T$?^-dD`4_xa~TJsEKbcXAI=_!dO>xsj}2hZ z6GnW<(eaiOBt-F`kfM<(n9JhSeBA^)KBP0tNop^zKOw;zk?XOK!$^pjNUud34`z8b zqkmh&JbwhZh;1vwrWf8s1gSBkC7m2fAuCE_i@^NQL%a9y(Y1oa;2-*2q9AYXh+Zvb z*7Wh(b-_%$ZtqKgCu6o5y7^pos<8>Vg^PA1V}DGUa69u2Z20etskyTeo3H}2h&W$ZwNwsu zFHXgHDOB_FMdn~N`XZ8G1Q#*S<~Mi<;{t|t6*Q{K0vD?c*xnfv#jm8{ejWqTi$dOo zCm~UOgqQUKu=Ff4YcD=_xaM=1z4vHg_dVOONUV+8*kPip8-c?G#^WXo9amcW{C^+7 zR}hB5r;WKP*Rjn~6~viDD4y{)AZ!)?l(@-EBIRH`yzEE3zRP#Rx$558V^u^6#L zieSMiMYKY0y=>iz3Wid23ewQ=%`9I%Z|ZX5T0x2$%60AS-1N#qw1}}RleoApg<^#e z^?*8bT-pb3*9<|HqRDdN4L;#ahkxMH7>;*(0Qg-Or1F%Iljj2VgWrz0?)yxo8tyxs zu-EbxcJ*+6KUo6UMh17-$yKA?lp;%qLX^HC3Fae2TJkokiFYpeMf$yvgy;oYS!Srn za;B7&aovVtt6F#no%4uj5@N(m9=|oKpSZL|MPfCiE>)%-Ed`0tiv)lL@PAv#;wD_M z1_cCBu>=%kY9YxMBnO)t? z+uS>al2|qgsnYR%l#`R_0e>WMP_-oAj-iO^+BCq&8zw#4{Skt3QMZO8zQsY$Q6u70 zs2jJH@m?ue4_VCKm8;rQL;1o36ovDl$NSSs;LlK`YA^w@_Gx>Ab)=EvN@jhHy<-R zl4|gmR^FkQy<(Zrt6MQ%q+7@h{Gb>jny<(4WZ#{Fbw=)oKK7)FZZC&t6yEfUqig|s zb~8vm*nP?jH^g>OsUh3D7^rn{kU#ZzxyQt3$3PIpk*Xk(n<~)hS9(=n8v2-idyFCP zKI-&guje_N?VhgN$$x&tm!q`VZeJ2%`J4)*2Z5p<{1Fv(xA}wR96@yER-5|NDH4z1 zpkj$(WdX!sw4{)86hZ-sdwCbZN7|#|dT_h2sY0leCc-m(uiZl)IK}w2| z?9un%W2YGane%!pK~ELK*y5ro1BWPG$oo1DCa)dTP^P6^JC8rz`GJc^1#^=Q`y{ml zF_1B-qBQpFtZg>c7yWvSY9q62XAo})=gb7Ak*3aq;M?^Pt<}HT)S>IYR_j_GG>9P$ zYi$jgvm)^4n}4#-K9sNPEp?=Ohx7v%Lb-R$QXfoaKqEi5)_Se(_mPP%ly_p(`!9_; z=hz*r%xA4QluD`9?aI|s$hRYn2DJz4wtj?s+HeHsRGRlZ$Y35fXs@VGDi-G93>8L1 za=fZ;&CwuGj<6{K_IY5?7|MN0Xr?5IExf$ctZVA=)qf`4=)0+GG2Wspa&BK^n8TXv zV8l8Fxv;H^fmX$sNQt}|%x^{?#%8tYe?eAutqhfgSh?wulELXbM8oglmI{1Muz(pH z(}~CJE2^s=Kmtm{2fH#q0`Vq65LYWpmFED*+9aQp+%C-rbj?9zymQUeQS1m>tFk}ic8Y6}g)Y0RkQ?<8+8}jRr*g&mWWA5># zC2c8=SioHZKI9&fVQsdLiLvI>a+$dm>%+dxyMGZP5>~9}PdV%<`W?w;yFB{*HsKZB z?K5r;DMV=qi=?6|UC+q~W`t;gO=wFX2UE$-d#)8{Tb>lGhOhI9LL_U6AwKvKSEz1n z(y8k~LQ*xB$=wXMEF@hd%eMuAygiW=q8DlVWml>7mqp@c^CTz3jAbwJT6Ra!;W3_# z-hWc4o8KnR$8And+g0^kkL{c=AQxKVc&&Of>eailrZ>WOF@WgO>=(StR#iPbm z`%rE7kJZ8CVfyx)uBRrFg53mf!D zgn`G3YmYS*ZeP#!!SBZo+G&JXi9S&&w+IdXpDG&5iDdWfE_iT5)m_V2z==e~?0ni{ zHqAeSyadSd_rA`qhgiIi8nuMzl~16EzQFe1j5sQYSI$}_yh8mbgMSt& zpI$9l zG|8M%%?g!jQe$DT>jFRjI^Hlk!$>uZ>(Eaa(2-6oXUa;X$W>p1dX$14w@q(=IqyB!8purFDIij?w#ADn(BpKxFPIus~Ul zCX@~ebmymog%(SYk#yih3J5*svX31vXtk? zlj9swtHU}x0xmG7d|yhxD}Mua@S_JPEr?ecM?>ZLhwAE!JXhx${#kTSXbTsf@0@&e z0t$CWW$TrMBu3Bf@=&AmaxSGFvxx#N^L0Y8;=JPMnM3k3X;jPHutTcKYS-r|+vy89 zGn~0h3^O#`hJn{1M6O3#>0|!^7rpjUq^u#U`Ou3IgSl1e(Z#a_W{XaTqb>LOcl^2IcH`s7 zA+zm#%mE=L1SV5p34flXjEtR>Cc`BoTYrd+?$2{V8g*Q|ZsGf3E z-?(9&h^|_56<`8rFWVcQDZmeGr%oG~A=v`I57t;R+7Di;D}RrEuKs;pBg8Gtvc+X{ zL1%kEakfTOa8&$>Qwn=vGzySDwjMoK_8Ev~r!f@6*loYGw~ADt`hgdP8!X(m_*1E+ zEY3Bxt$1s%hliF1T;3%@?&ulq#-L{Zrb#rI{LSlVcp%lYAALYl=F)k#fi*AP^f|wgzz%N;PpgI zonvrj!4|G3Uu@g9olI=owrze%CdtH^*tYFVY)ow1wr|e4b?e;ytM{t4`%hPO?S6W# z_iaCaaA3;^?SA{HOZA18ydsXu>aV1ZqURAL1$K`D16+>)W~qI^NgN;WXcND6*PMjh z5FE?<$5-e2jHufJFUqZa^-{?QZ?I@qx9ZlJrLm3>Sr9z`cF(RPW;14qpP6cA=)N}j zArsJ}r^~9D%{y>$VJ1Hs+NbA!7MGgpI}j_|JC}v-V{zJF!4Mc!?JO^tGJk(92mHdN49j*iwbsn&CnKwSn|mUY{vUnbN)LQiekKf`)kRK z3*&synAzZBnW5t;)wr7}E3dq_9BkU-Hy2Af5r1ok5+oNf7Nke<2NsirJc~iHn07vZ zy}zcqHtFBCNcAl{oRj@KU#-gqs&8jm%~)b`LppLOo4FgyNQ^Xp33pE z@4w853Pn$mCWld9vcy@pPTdJg|LOMHVph`ZG_}S$T5A1k56fk<4%x@a(-&oGA7VeA zs~d8Dgi}UaDP4JH^j1aKToU!N}%#I<~);kif2~TS5+3b*wG6l9ufL!qVd&8pSgqRmI;5fr|Np?;qdkSe{l_n})UqpFb-iu;_`IkT2`C5+8zsX^Io<`j)j}r6wiUZ;{A}1$ zVDgMI+{#>AHh)EW>FB0`!>r!Ubcvcq9GxsG!S{kHY5q3?Ygu8Ai6`bfSpP zJ!In8sxRSERQhDSf3C^k+KBc<9WF%fPN*6rCTATS{ts=70189fXXU_#=MX0|eI%|B zCggbV88%LZrBi!vHDz8V;Itq)M_tW09>FcGObxwOZrzPc*1&BYSk5%z*RqL!jYhpi15E<(*D97{Ok`&^PI~tso%y#!qYuSm7loc^|V28BT zm>gM{I-SO-id$0`#4%&B)v3?0a8DSLxxlZNNFG9BAsS2gwFo#eq1=p=mH1DLVhw-# zB+eHSR8eP=$YqZ^V5FeF{a=*6rms7`8m*u8X$Rnz@BQAYQGdd6kw)XYQ*yZ(b}k!w z;O*9mi!=XR3$G%ttuz&9lv1xjD^cmX!M21@+L36Kwu{+8RQE!nlZ*U)KNu4&!g|QM@=XGY!lu}0P|@v6mktkFHJpp3lou;t)@?H zAHz(PQjv7G>+CWkcs9!8P@Qvl-fVF|wtge@p}L|gDmW^I^E*o0D@-Lpj_*}PzZ_i5 zzX|8--3V{@(a63u$s4k_?9&IVQ_&5W=RK)@PK(u|$Yu{^wWwZFQSE%Lj*U&1vbtJT z_$C+j0*COQwA${3y3T5G3___{kI20AF83@C(&8*ME@|jdBj%u|9IFp(h|&=^+BG(1 zFDf*-HttW|N;c`SCcT`cOX+IB$-vsPS5@FQk-fFP#!6@RZ8cjd*VDA1V?oMp3T602>vAh*A|Wd=*}oDB4~hP(zUv^(AoW zZ=%s!jt&=h9-IgM4AJzlImn{|N`Kz((G+F}-fR`7f(`}I5hvydUSI5c8BO9Hr&3Hj zDT(jscC|hOPBu_nMPcF}YGBgJdZP-OXSFyWNjntY2BqTQl($TNAF%%}^DI;y4#8Jw z0=lXkw;2Ka!(_NGg;0nElztJy?A>8982Z0e9!#x?g)GOguLO} zzgV}7G7l)Qg{t3eh97v^KkIYdmH<@Ofg8tLYY-dzBH~gUwvIGwNi3HZFL*=hDTboU zs$;kBw3towP&1LmH62tk8)0%pEf0O_3QY;We~UwX91|NN?&#aL*MH(e=u!x%g#||K zJm2@P`vUqw%TbM_?(b2>*9(32MrN>XTbCZ0~$t&1m7*b zIU=|M*GjXc@}nC9&H~@x9nMfKcT;you)Q>y|3>hAK{oJP$j0kScVL$Z3pQXxd)oo+ zr^3PpO&0?{SK8TOXz}@|K{!IH8W4T79@Z*f`DxDG$yg9Bxlds{y|y5NJi@iTzU}>Q zH;Y(tzXaHIkI3Y4x? znwrr=%c1H7;FVSBc-bNzcjKZ5cLN$%PW?F$Yxmp+fd#uu%8;-}+7uQhrKpJuD2PEC zl4t2!7otjf*C)vHc%_7T5s4Y}ObUdA@2;ALbx2z)a<9=k^K9eVOrh?3!Pz!lRB@D% zD#D{GbWz|1o@~TY_-ky6a=@2y$yI|U=~9Rn$)J3YAZ3Z{pv|s!R`ZcT(;YVjg^YWa z6QiusO;#_q!hJ88cV8HP2LYYhU1i#)a;BI!-jsB#PHuP-iF~>UQ9V%{P@otS16`Hj zSwc|XhGi8RqsTAvh4I%KNE$Z=*>ovS50YWCnfPYWhP5SRgTpm8H=t1ftmq1rhYKI_ zTmpXv*M?}WTn*(OcFP04jZLVUX3g9b|4_hV+CePbI&@BVX4R;%Zn@Fw_;^ueIAv#) zA}uv{#E6m0G_`7U;jR|EsiJ19Y-02FI_5+Au$>9rp*mjFN9NsonR>&L@m&v_K^euj z2COmWs8G(KnObirEl{d)q^F`=y1g4|0XEjaN4MKLTFNhI$a*zT_=KBhAZu7g7_g+>A3s`3_!5LzxRNS9 zG)*nqs(JPETMg>W5`2gK2w{25Kcy^t33YLBt3Hq<;xF8UEncvn?3* z>3&*P0*JCwvoctt-C6jr1&=VI`E8a39g}5zi{lXD_x!AK@CUlRh7Gl6M;>ceof_E>5D_4ZMobxQu$-#R)r$A0UkHQ4O3aS6LWH+M#bRh|5Tu=9V z+^y(MKLiLu4an{{>>8N)4qWR)G8KpQo{@a@>U9>QhQlS^o<${|A@X z#tx7;=AM5Ov(zV)*o1T&TAx`EB(bzy4UQ!D22GSpP5KQU8H?E6+H+{>nz!`RmT(|M)jju$)p#_! zpPDHRTqHs$sa3&0{&k2D8S9C?4na412w`9|YYu@pUrhLBCaxr%g;ilY=~k=6zX>kI zv?volf1~1RZB`AvTg59?LkA-*T@H(J(cDlaPks5QiU6lUskKwqex{39XX}u^RJ{I(*Hx(yhYtbmD~@Vc)}Q3>F=^ zZX*)q&LJL7Jq0i6!9sXv8!9 zJ`Oo6W|q|_6{XM{&&d~9BfQM*aqjgJV}$c8$U&RGs#Tel0)~vNQ08#ra-{@Y0Ugcs zp@;g#_Nu9d-uxHmVt?6}cl+pHK*1pL^7!zoKse~S+bby#Am`3hD znqYZjlT7?wHPo|qCNdxZHlLL;QzU7YMFD}_ftLu+;elp>HVWmLu)yoPJ7VXtK{o_S zTOcZ$`dIhX^;%UdBNu=;LL;iA{JiBhbWc8_k(rK%LaH=fggsxs6ywq z>c@gzIs^|^*rD-acuCgrk`0FCYX&ZU_p}p)f4&Lif=98)cycHESttzjz7lB7iIS22 z{0N`ynbkfgmK_IqocYjoXbn!SLfQZi9tCn+iqHawG`>Cqkct-x$$}JTw%Hz|`{JZAu^?(epQ9~Nb7Vdt z_g1}-cRT?0_5UuScOKwr=vqvyf*-m)k?tWkg{NOZw3<~w!nlG+evZM}S_>T@e2gkH zsXJPaxa<3xqcs$wlL=x~Qmc0H^=0Ohr#t>|ke9r$Q(zquy9JhOkin&w7(9{~Qhr=A zsX1x2)-o-pZ^W-Xz08W&Beh)%2G1~Sz96=Q|BzHdsgH>7VIF_zc6v@N53+56m3Ton z$M|e7YV_hEwrAc%i6r9gXh`_Cs?c_-S-}D^8Q};%%J}kkjBJGjubp4?F3s3O7*a=F zDq-M7&RQ}P6Azf5S+4u~!pws(V-J@#tgE14{~*?MI|&A*QM*&=A^Y9%{?VA5IV!6k zNErfX`eAj!qQ&E%{%i#A0kjQKHPrT&YS$XafJcrmo$Xwz2}0Kh>{O;uQZ@^H$h|%i;-F#Jg~t8lLE&LX7oPmKfGCie|cAOLrK{* zoUZ9S>+3KHD_w}2OPX&*F(S{UT`5tnVVjXPzTnjDzFdePz2y8}>Uu%)RN|!D*?XLC z+73TYxCv<6K1^$FciNz}o*8^!3?F{17Od=8w^{TO)^T5Caq=~)YIq7oPmc8fjcD6T-^R2Cv+2j^|9LI zsqC%c(~jS%1ZDF10+Z>n8HudSMeBz$=->n7G#L=x_|=34CF`%nJ7j~vqjF!Z=PF;A z6st-_S>1&j``N(NgKGK=rnp=AiwoRlH+G+%crxaxvCkL23iD5M519BI&cs`W0ar?^ zrl$tB69nw!edDGreff76=kk?AU-BRk0yPGmQQO2~Owu2sQRAS29p+Pj?WxH#WCl3R zaT6dZx3zh_s^E`GH;+f-2Q=YQfyAxNOSv^%G-@>?4rJ*LH1NSFvgzBweR;Qi2Fjo2 za|3MNLl(QFX-SaZF2pcAI#57^$^m?nnp+EG9)HC6mGi@k8;2TpH|+E}`(6wd8unR@ z)@SSbiyakTYyqOoR5K?Aj2#bCxGk=s6F8u4Yq2`Hp5-~V`~Jo9s(lGzBZFP?=py|v zALythFUi0!5!B7HMQIFW(^SaR{MD2lh>FiSw!?D)=0bs))FbntW{dP~DavZu!+7oU zpI=rSzhshkMk)OxC5(DT&kwx*Xv@mzOrN9<5nUR@vI#v|3x$7;AD1;?gh;U@JShTG z{s^t&oJj!A29>jHAazicFWUSa*|Aok0BYHBryU7z@O;qEbp#qJl{N*Azu~nBQ8e;w z4oQffr<2+7lb;(|0)2|9pzA>FCaHk~Akn z7|r>Tr$w!{IHz|f^Fj^q?_^JNkOTlnmrii$e@85PhRW%UGN?I@#uDC%PrGMUi?Z=I z&I*{Yb@YI$+E)}IX{3m9fUE&_1hDAPLbu;>nLHe!t?_b3O4>m@n@m{SBDzzh@w;XT zq%?l$jD!RyQhJVls7?{zezB^dH!-EGvj9Mq`7Z%5+aQB|v@Dj}ox9|5E@?oPdn74F zUDJkijH&Slx;9^)hE6Q~0UbC8V^UHb*r+fyZw_7;ZH{H~8@N^3!iCK`^2giY4Zi>* zdeC5thoU)^OYXwe>(v2%o1#XCP{QN1WatcPzX920ZN1TZ5YsA4$~TZ|uHaByMm{8T z!6BmwcwMb>2o^0=ijK;3OfjHktg%4xaAJqiY|x0%kDz!r7|vb<_cnX!PC=|;_XQYH zn64a6-Y2j>=~geR3a^p?Qg1)WFw{o^?SBeXplDg;e{_X(v&fRG7^r(nZbDJE#ETNG zOU(p(qgf64hKBcUl-30Xm77QXxRs}Fv@h|Snb zEZk@acI>PL3zCZC9Cr?u&0gC2{rsx5LQh!YX6=LYY?5!omaqK?$xC{XK#*#!)F70S zTaZJw{w@#_9E*=%Ta6EMYhU|p$+_t5$b$f<3p5H4q9U}bGn*7C(cp6oV3cTSsuqsp zY9HqHWQMaFyQA$5=__MUS6YzH5jwz<>5&R zId^Wa^8vQ7tBWUbF+_yeOh(*>vACQ#CWickjsNz~24Cb9N*{ouB~A8D9L?n0HS`t8 zx!VGycGgSDRywDg z>g|~&%4jc1GQ64uBA4dz`w;Tj0E`?CpL>${(t5ag_!7WA>;c>|$2p|DiJVXl%48Di zQk*eVsxZWs?CS6C?4E8Z$qr#zq zb6iy2q%C|c3D&XC^8tYmatw(^A3XUMtn2JIzaLd8>f4Hz3T|>0dM><}pyu0cBkUEr zx(0}Rg5VK8sg*^bZhmRBCVo*nv@B{l={p(fYg+DBu3h9j>3&cJY`4qFA^taGli^DykgKn7WfxQ4mL%s?TQH!GfE!&;WT6WMpr z9#H&{G$%fHZ%33)!mIO!MxO=J+bhz!PfE$Zt1aCOER%0hJ^u0bk#^GNp>n%3|N))7e?ec03Yh1*cXq%8_h~wqmbXK)+Bx)Suho|54JJVd`t+de2 z!R0yb#)yloT}s?U=@<+*eiAjDJDO;Di-dQpGDY%@$_a@qGtVz&RWBaaaW*iT4vMUH zbC?1QQ;Z1}9GrJ4rM(6rxr-=y80p-58sdPs2?g4Qq4E)bDH9&Bn2NJ`B2N_v5fPJ( z&12WAyFQDqAL$Yu>B*=jj07lQ`wMHhn$>A3XjMpXfs z+7R*wh>~1}D5VQ<%G0ohGKKh{+(gKmY)G-sb=mV}%yflVZ4LhX!E}wa4xBcujP>Cz z0BHF0ltA-Atq6X!lKnM1IwZE)du8Ies?W#LP45GJ$r=krYvEJhrYM}A*$GGgal4@a ze4p53p%4eAn|m)~K=ewkS$2txzy$*@g2S(!oZ$U_QIVp7##-5ALx54QFDlon8e8Il z$Xb@i{mKH3SsJH}!mHs139~NwooVg)tND0)@@}q~Ix=38L(SCZti}dQ=$^eza&H)% zy)g2(x`{XJRQnY>Am0z;`k9SLr5y9Ey!QH?OSj4E^0eY8W%mZ2Xy7aNMAe7Dfw z%^$$-2Yj;NLE}{+P1;$uu@$iOzNooBasRjS@I}SyMV6=uRX@>OIyjMHG#nu-m2fc! zp(hcq;sPMA=_)IiMcwbSSIuKdOOfDSsLPC@rTUATA^++?@c_7ROQ$8e$OE zlwJ)0dQ0sn$R-|ujk)E|AxIEAfQ>Z)>3b=u@Bp8LAZ!VU!RReNe*%JWQ(or*@CmrV z&@GD^fDT#^w*P*O%*w{~Ke<5`HV)?hsttm%va+!y)ZJ18RiL@%eV)3B*_7Mn{4DHsq`GmD&)dO;)SW=;gW)pgvm+r#(9%Z z-M_w$ytXW|k2tqn{vEk=eY4b~($B-=!e~-fKf#{~y$j-fNLW3aqw@seKail%-~y)u zOUrrYT3xS!8HD+#fO>8=3eY>wU~F76XK;QO5)bSV(;pl^c>+X1B>CW!34aOx;DHL> z;Ur3k2AK#CWMeTz1hq|t`va=PZc;D2%w|A?3F<2VI3SS?wJlrx0oh44x__ZM{3JIqlGk5x!s20-!au32K??;@FJ_O1M zUU7f|5RPp2Sduz?r8XUuqy(90d6(nFYE!R4|63;I2N-uc$Qf3t*Kn_YeAbk_NX54mz_KCwjVfw z!Z>(cG3sYCFfcN5U902G;+G$c1N$5(fbX{!v6=MgnWKCBVXX zed?LQ01F2jVMD>Z2Jy3k8;Ly!a7t=5f!|ro1%V(23;Ij`sC$3&=b=)>N*m4n{T@&g zg=OzxbP~{SQ`Pj&XK6hK2O-=vV=1VkA(5++$N4Hdur>pkb7OZeqWwJY!wKlzh7g_$qh~0rOOvpd?E5A)|#=VVqMNXdHS2#*&#cX;Oc88 zM7i^*Exi#9L@;oexaYm>=TSN;It?Eo+=OK>9(hxP6>XG*QZoZVq=l*4aXhNqdm5pJ zuUc)Y`qEbCUisxf1b9*&aSNvycy$6Pu1Jcs1}@n5~(qkdn@*1(hAG7j#nCAg5R z+yHCm-KvnoQa-a-aO)%^tA12@NcxNzs($@#6(MH*oP5}6SuK8gz3Ety;+LcMH>7RC z?y1Z3FsH-=&vfziJhqlIvkO?b^m-{Qh|2Qb7g;3PiATJrJ;hc>bt9kPYrl9Qb>H_e z<9ws6`3zE&ww#w%0OS#1;oY20cv3><(=^8!!^%MH>%mx$Vu8M_!o6a|14gKD^>pg~ zl>(pq62ps}r1~^Y@?>D*e3mt1p$Qo446ZIVrz1G0<~JCNoEQANwh#1_U$*>=DVUc( z8&7)p{TDZQH|Nn)CR7fY?Z)Y?GIrlZ!0zdvXQE#M8wp74UyjauGuR%I^_1#puVA}a zFQ7;5wAig$Jkw9cO=Sivh_ws;X07;4W4Bk8-k$52hz>A8iNQ9(i+y!JQq6S7d#=2j z+qKWLPpCYb4|*ZuEYR;_dfY2&i(##*3|r2bI?ZmEWTL-yPkkGs_3v$X8I| zj0^B4@Zm2(PwbG?5tpg0eG?nYEN8elr?=K_+~zPtZ7hTt;&#Axa}J|S!G{i+sY7># z?0qsTl$>@dOM-XDBhV@iIA#jQ)$$72Wb6$W*1c$jC6~n%caBQ zHBm&d+pUeV1n9`S)f02C(sR?_!;H**k0E7t?14nWSxHPkjDO_JC zw&;wUmfJWbi|fD zygxdPem%Fpp<*xs>Q~R`=wA(ylTbqn+f(j}xyqG7%rE(zeQJdxWSS$|+ATVK6fXnu zxh?P}DDxRc7x}iW%y@@z{Mo4$8``^_N_@-XEUzrquh@aurx<=JPiNQ?a=a*>ereRf z0yNQTg4nk@I*V_x26_|H!%$Cu5oDR7!y|zZr$wgqM}EG$S-_1pzv1o3(gL1vu_xEu zNsxmzc@C}f<2A;vt8*>-I=uO%6Znx=U&xjOPKw`nczOgbANYU8&Bf8iSF+~+@elM+_J1Jqof)$o`l4^!2>nR(fa@JF8Wp{d+)ig+Jsj#iSi%9u@e+!AH17};sd80d=N4ED;x#h9B#$r>S_XJF4@f3zL>y$MzI6Ai6;K$}W93w;LnWmbXc8f3bLUor~xK+K}$xt#nr%lWL zX8(ZGlQWGLc~dm#xXJrUiU%Rb)Fs2DSAua<8w`aYWmq!MFAw{H_D`{3S0W`F_DPag z3*v;k^nQ-VSZh4?^q*XA@-#FQx&}P2BV=9wYUP|XDIL*FR9>nj=)S$1Q0K2R8QW8g zT!a(8B2B{9Z_C(C*DczS~OevV!Jz2JF`K4T z^2&M-$M!7ijoZtNjoxG?fgVGHlN1y?cJg+Pr+Iv-DYq!G%;CJ5tn(hlS5UllH0Zzz zMrxA^?VDC|bwu`CL0A4lg;`(qjw&mDWiZ|ciJ`h=v9V@>DHQs<;yKCuA}yv?3+SEJ zy5i0O<_Z5Nmj1bCjo-iY@~usyH&tp08Kwxd>F{1Z#JVl|53;8;Ek)hcs=SgW_Bg_e zct4(!7w_gSY$L3T{Yv^Xa&kM&_lIvjDwqeoG*IkU?O*H)_;$>Cll6DB zI&Ua`1~z&w9&*&1SLQ3EJ@~fMxtu}l%XtE|`~aV- zg?T_lh5VdlL)Dv$nDI67KE%xFAH7P1q)j>>Zo)Si8U2*(FFuFoF}Bz^;Y$2*gkOb1 z*18Sp8z`jAF~#Fy-OTi_8YOhMR_aa5zci}CH$LEXO~N<3<*zqO(324G47p*79+qI( zJ>Z8Q#W-#V$uNBEnmd!K;|zd_b$o@ukBYz|JgiIK)4@q2Xe+IL$`VbD2@4c5(b5ATohn7c8;Y@IAFM?T2F*S`!;4=X04 zApVK8r(yepextop^=q6swzF5v;V=0~HXTAjQUiLGtMmN~5FXcC*r`B$Yh}h8)5tg1 z^w}TvB_}*PLDu3eLG>>t8{7tWU zejkz}CONr5svN3u=J@ubeh@ZSC}Iv=ZA*|xJhLbw0c_cBoH@(M;32{ObvG-!`K+@Jta09z}qsL2Wa`u z;rh=!-#YPi0I?LzQh;5HV$t`E0Cw*G#aq7Ps{jB8(|jt7lX~>e6UmlLmh8)9)#nKuZ)jG5^(ozX>XO3~(aal=uiN(<5t@6k|t!SZKhhWh| zk};xDR>dfpOcNJ{A&oj^gei^OL`yIhsX9!eYB{jsV9s38D7J9|fMg*LV=xuL@DYC; z!S&7@<**>J!m&R3qe1;6oQJ7v!Sm(!4DS0t8V!fEb}~~egYQzWn9$&>g<8=nd;Vw` z&eFcawt|#~3j`pEg5Bem1%s4>pdQ~+P$17-)mgHo8WTglf-W{`KZlJXEl5mDq$to_ zicZVu!^*w=Y}$!LkpQKTZbi_k_Rk$&zEvrBJ7>Jqc5q8YRBD(XoV zdN=~`18ON4j#0q(qY8tuL|p@;z#FOP)8Ky0my;=yp65^Fnn?0W^DsfOQfbSX=#l@D z4D}I=Pb?$Da#aj5zM~Cc7TXwTBhmOl6E+8kXskl>3Y#&P08&Ga2-{(SBpO0xJ4nL9 zToy$AMoxqd~21`g14U|9(4DY}iX@ZiRrW99;cT`SQCr=t#`+-&ALBO|K7Rv}>(LdAXc`y0H zo^jpn_NF~B>Fnd?z|+~6kIPQqX11exoFt7ozsv zOUn$Pm9q;w4gq}c06J=NeRJ&UyEy%mT(bY(M}qZin9zLkShmwopf!^tNQdD0 zaV_iBl7*ko-aJ=}(9eTt^CI`|%HgZy-j`4t@kD04@sr^ZQ-u~1PD(%-4r`0F z-N$Yiox~jeb`uOOZ%p87@^y-0jG1wP%MSf@fjR7HIozs{<^);xHQqa{D$Se4e_;FM z$mN+*niHikw5{vQZl{?n?I)+w^*RU^Yw!#n2{ce*Ek2A&CuYCmEj@wok5iw0_>)d* z?LK~KP?)eWFC}qTKJb#A{=FsO_xYZ;<91vwW;F&cEL8wD-d9ImGgKMd!Oih^v?$RL zqxgl?YLxj-T8)E9t&9CGDe<2Q>?hlz=Io<796S#xTbU|!@gCHEp5@LVw7+{-!LE}m z0`0dDDg4Ynn$!b}Y=`mt3S*~kvsLb#La4zQTc2fYn|Gq#(?H1`T3;<4H_wSiqPL$K z${fRyJWf+4U42=(?TYWWQ+%>HE&6*mpG7vk^>^6*-1FK-_JXmBS8{-LF-DK$clFB{?_!tM`Ca=>BF3!qS} zRwHL74-Pt-N<)?YA|^>Yk?O+o0U=Z~Gq!P1X`8Ui5t{40SurF%SRTdB(DS)}lBE7K zpEMl&Gm(D9yQit8p&_X!FFJ%O9gZL$uV9Z)}j(aKIp)dycWJN0d-;?Wvr-9 z57^KSIIJvdA*rI*SiOy=XOD{# z?(uS2d0yfFqT3!pcoX^{T1Yw%V((h;h^&raUv{vL>otnEouO&a_~i{usb%V@>$2o% zOpyCYgf}xJm6CJ}Nkird1Iq!{@C9+x&tkQe`E^(A`vYxdn|}9Un57=vB@4q36)C^( z-%gD=Ii{5S)s?-u0;k<`5XLS)^w=fT z!K>2?lqpfCXs@3i_TM#bn&*~w;}CLOH+d{~#;+E)I*b_;IMKyO+|sjN2e-?2kg_)} zUJN;~{kJVxrDdEE{ku7SZ<$r{AJWY6bz z-k#uh37mfKt}TJGZ7>jAr?4rz7bdz^-;!wQ%(Q5=&ypD1WHeRP2fx}wo=9kf`BTgw z^)s~V?8s>sDOUU|vE%h3oxL#oko>+jD&%b1!c?S4YyN8z51c6zw)Q+jiNU{@%WyB-++Q z69*IzJ82W2L)50|Bxr;}9{5~2b=qxES~}-6cV~`%#NgBKwWO~1;hI6z8D{53f@8|i z=gMhQoULvh0_Ql0(y_amJi0dXO9b`TEe`e{)m5YEl9{#i+M+98*JmOA!O$<99;TnC zk-zg~{!=a=q;pB@Tax$gRDB{4z+z`>e z3!udEqd=6?-cug(Snu{Q)8jl`5YVoL05unD`|)0-*_C>jWaI3N_)gZvcjxo9odbC;U>AIuc6Dv<1H|6>nK!O9yC@jw3DxO~8Fxn42$4 zG+IYgT^=XwI_^e#or6Y1GoWpQ=4ixsd9k9(XxUio=yx7v6kmSqL^U@KK`p+9*UQwB z=*Ja!$ib~_VjnFn+V8Y2T&Vjgrmz=N~CF6Bx$lgLdca-xo- z(l@2tNt22n`ne_~)rBN&T2rW4qRr*Kda893$FwYS*C&0zme{t!Zqlmu(yAZvH!q8E8wiQni8RPHS~qc_}jFisM6}~sF8ZHqjVLW)jbqbGx^FcP)YGP zw}X4V(2g1-vkok@UeNx8e;h|S|8MrefNei_!h66IP9}H@0DWirhK5s=6WTdF(;L z%HZ@ui%%)T=er(R|98f46)8WR`M{!dWL;$*TnoJhC4U{|(XTM|MjPVt-Fmp&GOw_b z_V7I;615q+!PBT5>3KlZ&< zR|^MdTMEvJvHul3S+Qo-PughlM;vfGfsM$OKvvJu`RGr~l1hW!)={}A$#_ywRVSiN z6{pL)EEFBN-ge4zx5StiRHvy-d9Lpkp3`oe-O6^V_S3AZpg^tZ`mlO z_$zqbhGVM0%?VoK^?P|>l2%kVBr%Bk*WD!^E!#Xxj;_PLva_O-hU{|`Rc8sA4(eB3 zUZf-Bbo(GflZ|Ro3_`+HBcpG}AxH#hFswio-7++LZG3Ij? zti4y3KLK~fd^#~}>!`<9v+*awmbG^U>_xSBgzzTV!xGR|p2df=2oXmlzlT`={%k0k z1Q+1=$mB4ZAyk(->A)R60x@>#bV9{}=3z-rOEF z=VXk)dn{&Vl&08o;Z@zz#3#z$<)@a1JMmEaWBpi6p? zKBBxZ3tWEDW97?&s{vZo+5xRBx`dy!2F9Vu-0ZsXJS5|xAGUgvl)umH4hQ|YeRLOgrg%aHQZ zM?CwgW<0C#R*gNoDJ`oxv++)IS?SC%vlPBRlj5tgcsQSO@>BUz0#<&#^1ym9fyqc0 z-A1pJBtATs3{NTOo0^@lkFgZez3xdQ5QuBBY~)q?sV~7&osrMG0Yb7E(8PFF1x1!7 zO}Y3pXitr2*??8;$w@^E>SNvyufHv(G_|avt9RGy;(dsQVLXm$cu^x)Fvo347k4r+ zB_w_$o!zX$7trrZzqb^}z@Yp^nix}N(2_hT(j`rz4`C@sv-WmzW6$*nwdg;2IN09H zH(B)6jGwh5JviG)__%r`KDg_5Q^wiQj{U@Ww?9kks02R2i~XXrnzkYL14sae>_5x> z6Xdu-%DwJt3XT*A8?5^- z(v@6Vib-yS&`=k&2Q$%0Vl_9V3|gy5)^~O`duLQI>?e!C|1O^Q@+GcZXrE*g7ss__ zWXqaY2mimh*^3lytZF& z&9%S&t(kdqr|Q#@hX|YsSb;78*%O?$sB}VRFoDAg*ugsau&~Z{T2OQJW*2y)hfXG-ABrA%EHFI zoW*2OMO+Qh`<$TQZ4B#Q2m*{YiquWwPQOM?-zh61^5|%-s!r~gXnx>pXog3IoJ(r- zBkvlhqchLQrZ;riH%GV#e7&uVZo)23wgatuh1gwin0`$Z? z=v9|5g0}Z48Ql>-Z{9txURD!WWo?=YYx1Hc+o3QP8NnkPr~6i21W&Fv6KQgdcY(G3 zb1CL>+d8ku(BgKF9m?)`X808#HMU7m|h^Rz)SeRH?ng0Kjl=1~Y`u9{FeE@tcZWu;!D`yv1 zBIf@UUl4J!Fr^4}1E_&nNgE1lOh`RjcN*)Ya6-Gw;TO=vO*DMq*V*N1wo% zjkD{!%;3lYoVbfarH4aekAH_GeIELGo=J9dzA!xVA0!$eVqK!h2a2dyAlV0Ep9lJR zeYqGXUo{=VX+fULnq6F<2kbYoOFG5J_7iIZ&VU3mbNFHXWVr zP3Ggt5Kz+VXzo`?_!Sa;Al?U>(!mND5^ehN3ipLs$xjZ0<`+u|F2GZ{L{kH$r zn|>))CWK`&2j8YOOlC+}!9|Z-&qBW_Xo@=mw%N>CUMaLQBgV;<`rQQFc4e(A*>Y{N zJ5M>_88x1if8eNH;1VH1)GnT_&?UHhDqgx(VRO%OXpEmKQ z`K!XM+c_?m`*WRFdVd$(2!ow-tzHkvE(qqyG0LfvmxWdb%jzAQOs%V8rN74!ks*m< zbmDIJch=Y`CP*52vI#<6TZEUzYoR*?jn#dZ((36hNa96fC~uHzwbVtq`erlojt;YO z($Se%+jhp4MqRijv1iqTYnCt%Yk1xsS_d1L4d~IHiUB>Qb5q0L2l0}0ty>^>8qFnY zf|@(j{gaPM{=Z;2NYK_?yS*upUp8_`y%w2C=tU26XbJ_}-8++5cPilg*CA_WG zze#YlR;!T(0M;IXzv?kQ50_E60uur^HkTOK0wI4lH(d%ZQ)zl-ATc*L3NKe6TQMLr zATeDEFH&!BbRaP|G$1e_QVK6gZf0*FF*h|JFd$M2FG)loTRcNWLNhZ)F+@Q#H8(gy zL@+rFgZpuLoh@(I5%S)9}6vpAT_PJQzj+Z=T$L#9KZdRIBcCmX} zX=P=3@7N@YW;tx)-;mO%;0vO_D2gH!f~L_RqC${J5CRFJX3kFQx12n@@80{{-ySRx zDai+sWE1RxW)(>ZNi=-Oi`6e)RYk`=1(ne2DJCMNc_Rg7P?=YW)%tGSYJZwK?=@ky z+G_l%*QC`NtBE^a3#^L2Wf{~OQ88&b6v8^zib#&{Zeq=MOQ00$So6i05g6cRC0&O#&<}l(gS9Zkxc~|9`-Vv|NK$u0 zJ#0`Z{_aOMLKX&LGwg+Juzy9Rs@czNg&oic+f_3Ee4_z&@sBvEMWybgZ|sBp&(?1Z~{)kDL4)7(4mr@@axa0AY%v#?uAW_90IfRUc$Mb*oNIdb*@KyWr`v>f#SiS2Q%_JoRYk8h`b4Rl}{NQNE^O ze9lv^hQ~K;vY$LOo_#f*7aA`*j91;pn?B>+h%r53y#Hu?YcYPOjhWlV>?7mnU1Ofl zezkIQQ~(TN#1KY|Uc~4{3|v&9Vd0Y<{?jA>0Y`^i_X=fhWOH@ehWOT%k0tSm%KM2;plFnoM4jB@4P^s@7rR`Jq&k*7V&@zp}--;7_m(eauuS=&hz@)E8(mX&9tKu@Q0!8<*Tcl z-6<$aPG|)KzCp+y!I}JALzQHtP%31;OhZaFDY6JDGUN#Ctf}qAQ{MGK+^=gh#r ze7XHWdRN9$nxP{5EVT0|>wpp)lcJyzhm|Zn0=A&?hXRu@t8E7Jy64i{iJvrtWSWW& zEJ-ZZtu&|1{^v9%tA*#U^$@cpwb1!tsC2B~S4 z<~*^mo2}o|_96I^V2KE_9Ls7Vfwhp*j~V&!Of1SfHHBPBSz7;yB`tokazVW`gbF8zxCgBgA z0dA4RULYlre}$P4;6loO{Iog7DGdYgXCrYHO9HPt4#P`SDU?m~F#V*Rhy*NRb(!&T zBNy7|L=j`zqKjeUV9EhqtKf_0tBD5la+~E2==3exezes(+I~+5gO;m~G{xs%OD*l` z#6_oYKT$#$(wtr=8wh|D)J8;rXi(JY7tG&?tTnAQ-vUhzaGH)n2{9#BY7S&ko{%c` zS#6evO|u|x&Pu0Ww_`dGO>V~~Yxpk{JJH~6+K2AWUEls|CY%GbzH=?OS{xp2k!dDk zC`_&hH^H0=iOQ0zUD~pdL@HE>0c72wnZZ$0o!fk>1ccBMcER-UGucl2|jjL7b)(PmY;g<)Hcd*5ZzJk0IlzyXBkHBMGfRcg&nK zXd2S&B*c?LBATNzu#e`-1)dG8(9f`kR>P-|2&^Cva2f+GE;HNO2neV%qtU#%=1?>4 zx~gVU<(u{+RK3>eeMJYZ;1K8z69Mf=E3JlW@KuEj+Aeyg#C)DESkkf3pr1pH@tPkO zgg-A}C;L+&-mOX)7lt3PO}HHRmk@acs~%~d{CAr*!}C(1C-Ej5$z-8wecaGyvQ#bmeLF|D{p(O*&O!>| zgPLa&N!5m}h-^VD-AM!i**P-YhSVjU%#W-C2t*WPeDZWI1W%kBT129}WgcNIb^B0X zGKJgdyUN3vk}TZ*;26OcJ7r4*(jIMG!8m|8O4t`^dJ2!AHC9WKbMy8iG{$_w2?uq8 z_=!6IyqkhL2=k%A+aE-BYXQwdL{>0DATP=ZW056eCv5U2@S3SrNY3)*s2sOU{J`x4 zP@Q3JOAb&T@LLUQ=SO~GHCZz(N=_?5&@ihY%b1Ohi0_KB3Kh)@C@3@>OXY;OeW5uo zN#%SK5mOQ2v|0sfWn=@kYd6&qEtL9zF08>W!eML@46+Y}L$#fqACYJWlk zDp(J_#^ThO?!VYCM+x$F*5z*?t49c1jYV|SvZrajL>IoXxrOP@$_gLhY3z$1!6~i; zti)^lf)x(^quzNZ#BcEAzGFe-^K z_Uh_YjSD(2tKo>)x9Vq8Z$Ci3VptB1KT>AJM0M(SsO zI{?2Si;1KPuGfO)#W~s}HL!#r?-`p{E5B6fmd}tRA3zx>Rdl`@<4S-qCyNv+YvaJE z1LA=Rq(zi3J=8M<*fPnayH?+Ns!~%^yBE}fcvRwTs`#;J=b6wM0;6v3!lZb%#wCQk zX{cqJ6v-n+;c5-@_=H+lg$(n{+-<+ed%&YEt8EhbfEbD?4nh6=HO{uv+cau`as?Sm zH<4u+7x6%sZU}F;hDo~f7SrLCWp;mADvw?Zs zOg*dv8VAY)r2(^8$@`>nE~%XxVxsEJ0MvGOD;Yo5pjHw{JIJA$eMBbkjPI02sAO)*2Mti zWn+jKtlYJLc^SufCywmD7?B!U>FdJ#Hlyui|wEORHlS{M~AI4;E8RMT$_s#CuELvGEZ|N+j5h@by#!5=gd3StqO$ zV!YVQ#=>HAs3gh66P@;3bjEr&q$;~TL)0(e4iV^udQOsHmX(~_MRJ+!%z(wcxHv5H zi+cBqXpxAkMK=yuMMC~NX7;;ECq>ZC72^a}t+-VdIcb?k7R{8P8J9PI=1&$w-wX^^ zGf5mW=TWEJkzWHMIlLpQI_+BLSu>ehlm=Xg(4C?A9vLA3maDP zVN9eVSu25>CH>{uNn7QHWJd!*T2hv$~UnwaPA9)}6LNGZ*5r8YBFm7`+dRaZ! zH2T;E#sLg4cJB%IJeJ=cauR8y;J=+e2ceslBdYzj&%a^(}p=8Yy`8} zDUr0y}(^ai?E*`gQGS?k8+XY(vJF;FTnw;QwiB0^K+rgz4Ck#)zEX&HO zqR32#vBW&;L=Hag8PGYr9msZT%$*4;5aiJ>D6}mXi&bp8XLg7YQBbPjTs z*^XuO%q9j|INpMv^-tLYo_$E@s1RLl!xy^C`o9EHhIy{E6hKBBwSPPb$Y$BU;{ywU zzX;eB^%g=}?M}W6tjGJc)#_m*51<8<=XNxKf8PSA7m?|+@Owp% zlU;PlN_JXREx+#u;L?j!RMhondG3JuNW=0FLJsk#?xR>Y!11?>*0Zo=;Hc_U_OsXB z1n$2rl&qW^bpUkr^Y64`!5Gv27Hdueg5*?R_&l)2Mh_7c1fg`uaTp$B%5ly*Al|hm zad?$1abp}Xc?GReI_Wjf&RzIyMoQ$>+-+zzy9m;_5ccHg*1GSMG%=0B7|XYU*FDS1 zCzZkB+ik2@J1M(rrp13i=WZ|HqEWAL7bEU~1)>kyvH+Rc-xenn;AoYO+UXZ>Hc{mu zhUlbClKkNa*IIr;!xzznJ&PCiUloo9n+k4PL7(w>H-dH*pz!%3Fm5oJ6KCZKgLq@t zE(K(A;lyBuz+C$zaHFBkf(zq2=SQ~jd;TTKgy%F)BG z54WFqCV(y-*v24TK70N^IaB{F?4&AVdg6T(WwR&5No~5}2m&7hmqq~y2e69(8B4Sj z32Nl!4Oyfi=}x7-5>*wK`~^yNwnB)T@?1gXt7`n(hF-HXH91?YGuhL~D@uxx)2|*| zdJ=wor9cFW8%tKj`!!nbuQNK}ph8mwn7$+}+9x z3h=W;4YH{7{Ba#waKoGoBB(Kff7N~?6_g+4x*b*$`DL0VtW5M}>3HY|pO>51{g)=>EwVu%y^;!yA52 zE)n+ZL5PVaYv4Q#D)K|bq=<`hbeSm~R3Bw;?fois&&R~3GNAnX4VxQIE|>ijF-Ayf zYR{FRl#WnzU+p1K6sCXY`ibtCUXz8zOS3b|)W%!a_}nw{!`}5Zf zpuyqo{eNc*4%YvVs&cY1{a;l**4cExhmmqiyO^7j79=G&~xFK?%Fj{qv{u?ZuJ-Mz-dl zit8U8mz78+bqWy4-Sbls7wv8OtpY$?mRPMf*3i&9-sJVr@OnJb3WnOFeHYI?pyt@zAcj#MT^J(MV=O6S7s z8a@^SN4i#T$TLRVks`GDQUf*6mMgxxhAt_&wcI^d{Gk{3AAC+-2?Yihk7N-rJPi^d zh>lv27HH(Iy`8SJIMA~TtPXWM^n_FZdxWu4o?5_r3Cb#Rc(EqnEDT|;gs(YcI;#*? zJO5d5%YcrSSnSh^J{$v+9?W!Ynay9R3BAsAIe4WP6@y8EuZx$LD-3nEEh$!l6 zbAT>C(mzeRL^$JwCY^@WDHZW`Agu(%K67WoMX9rNE#tnmtC<^G<9i?gPqm>!2 z9@t|Kjud(84|y4YowP_$-nCT#K&U-|lEAka>UhB52DSQ7iOI|k2T`^7`Wo@tkkTUW zg^0vxxA)I7QO|QY_M_k&rP?*)iVg@Atyv2dkGXjKRFI@v`HAh-dKTC2i&f#D^au(BA(a_vx0+GWk>ZML9_rDl78G=;8$(K}eBq#OdN;USC9(AhaKK+X_zZsz|7d>Yyxfd_z8?M9K7J1mSM+3F1>IYqiFL`i zk&9ie9GC*A-LT!1th_p7?0vKjIqv0nq`QbWrYhN=}Os z!OoTMl;bQdyUQvj%xJNKlkk8O2jKAZHSq_D*`W`e%_L<?+(YynyhZcLGX4xY!0NcBM!o6<|nnn*L<2g{8;hvbV7g~R4UrkDDOsaJv0uV1W8l zS{wsBIih!&eSm^iQ_3HcKF?*F{SGHs3_=X4!9)5LOoea$64|Bvdxhnx@O!$+45n;) z|5Lx-~_e)&cq6^rSsAtd)P4UveOhtsYnS^3`?@DLuWn zrcMRPHK~}<%0|A><3JJ=u3%N_iBT3-$T+Y2%FDf8l3j_V<^PDdbxo;fEmrBwpvwYi zG28He)^i~hA0?Aoe;}dNc5(FaD9f0)DSQqz?c}vqGV4p+zym3|jaBbo%dCZMn?e~z zh2FV0*QmWydruG_6F`k50O|L~LV`5oBW2tv7*!MzkAy+4Ec3*H=s?VUxR_ZjnuMEI8|wRuN_26D&mj+A+Hf801_rOD9xF^y29xMY8<;xn43c-fgpUJ3w6`58>L zwmX#I%tiZt^&082CH-Y`aBz;@6inD=HVpMWb$|J0Gbaas|1cOb z@9U5r&sx$Lb-8U6Tka+{%6neA>?}3;+~O7x)fC*eL-fRH2o`+6r3`HAT5AYbsaRMkNw^T$U1+E*-(1^|=t z?o|JOD9HK0Dagj0zTX2v1MpMnSGXcV+n&{IC>f_c771L*70Aco#3}EJgk3P^89JR) zk|;K0OtDCE*aE_w`FFbIQ(z^8w(WSGA_Bd4wx)KB|#jsf>gLr^1jx$d; zndX6__FtCQMlCNmK%<0Bbz^JIqT+AH*uYqSFVrFIHU`t2d0!9O8 zW@BOEPG)YQ0=$ANts-5?nS2swFrhVLQy2J~kN2kR1b$U1pK-yrmFL*FPQ z?D?;|%&>mk=3IN@!4E2n2K#WpL2K284#@ zMuvvMM@GqPFN{Mx5ptuXQjGP_qkx=zVv247gSmO90;GX*4I-nEn1p85A^Ii|jE)aX zk55dEfg2hd?ta3docBPbfCP23K+rOQT#%T?kRxUAOioXXtR42Ba83o|fpAcDfM^*R zIS2DkfRuF;f=i*1;FQ34v;*u6Nwa|LfozaaWfPJ&e>)108=PF44oxjQoSlt9Hh5Ts z@uotp0N6kbX$lxX>ItM{`>bPVcaq~kkDRB_az21|dkKJ#`~f zYY-6Lo-D3ld0~Wr)iWS=ZSX!xUZgk1rU64Rh`!xv;0Bh)pVjT%6#!Qg*snDl8*|{= z25`SanvrWjW+^<>ow7{e`1o=pFc4Vwk1*HA-unZADqDaA%Ju6a)b>Cel@-rMNG`WGjy`J zfMbMD(u_&~-Mvx57J&WLN6!W~@Uy1wI6~Th%X{*xi)6dFjI^Jnyl(<9F$}!t?|1iMC^#WB+57mGUQ4$I2eS7~yS*y# zO?f;Em<5{Ng%yE)Gc=S*SRDrkw)(+#9 zvA6qKTKp1!`<(~1r?=nwvFKK)YhJv>pb|0g1pWe4>J;>9Xu_G8egNE?6#4+G`bgl} zn_um*X>lrPbwsM>vXrRNy(7nre@6(TEli;ys73MUe>-%5VruB=;edI=!>nJ}9t_iW#xYQ% zws%Zl`JorWw@%WjJwX4e7}0MiUj5dp&!^$V>YB%Ig`xemLA^o){1{;BoRIo*ccItf zhfo&*=&?7+!f$%v-Y@~S?+fw$IVUq$kLXvWmt*nW5Z^0y|Ap}_EA2D?4p25Qw7$;{ zUoQCi;%@d6{M#KNOr)6ry)b|`6e8GH#Z&OyrjoK2>TD_Jlw~7H8<{q5+Fv;RP5>_u z*hX?anKjsIHDJU!@&HI9n@$}gSx+8SR;BkIJ};Y&i8ft7#VBneMDl zsch!34P|GMz9w$_l}7;V6ju=W$~y@J^OD&ZF&9vJXc#0X4CrR|5f@}A zGc9Wtf`0m0mPJcf1;>_+cc27(fNH}BjcQhrST}dLO!SisK6$1Icq*ol*)(pOxsFUgVwUI&v*3VJsmS;1CtkEoS-d~s#Bt62=B`zmYe>O zsYBwE+C1{P`4~23!Z={n?r4E~VQ{Tq)IK~Dbv^9S#`9y*uHKC1{&-K^Mzmoq)m9Jv z9eB>~W3oGi-^p?^@v(@nJ{3STN-!V96#Z1snqehMZvl+3M4Mi|DS%4YiX88#eP(=Z zo7FRIJgItr)}!o`r=r%F#u*YVGi5@VeV;3pneh@1M$UTok6`nDn9y8&#>l6+6k4K@msO*1F*3)Mm&l=EUT zPxBHE;EYjyBtav$fgvus*IHv{!2}Em4{P< z3_gy|PSb;S)?$gFeLmlf`Dy=Ndp4QKJzP*TSB6k`eHr5j4oNwrO81u-7--69)=f=X zWdNSMxsVEYB;g&-IiBaMayiA~i9QKj!Bg@;v--ldDN9blVUJu@)os$5OO%3_$%nnn)WUQ~G2T~B7g z9-$fc*x55w+OysJfi}?z1v^_<-W)f!wt)P!Fy=!P`Hi6Mk_#YS775rMwK%i zo;YJTgL6)!_xUPkKf#07Y03>902C6 z>4rPxmt>`Yym;WI6IiK3KFTg6!362N`~w zwlaU!f5zO?WZRTBnii?rcgmR#0ieoEgngf;6M7%Mo&FDzc&TtaYH4|^HA6mQH^*&- zz~~uI%9oED6%7`bo7$#lu2r+ZGXam007fk=o?J>SY?Y~nN-sluesmNMv9;YDPSlXl z9HC6LqseVoOR0xi-*p9D`)Om%upr}65{E4{HnBw13`ooU>f-jr-{Qi>1z<1IM=!w_ z+nRRuVV10_yl0LxGz66-x>J4LixRI8@JfwDMw_-fP@OE)3Zglt(y?y^iCj!4yX3Q@ z(ry9y+tGxv(JtqBZNN1WFwpN&3n$3p;BtdO!2p$06NL}NM3!&E!CltnNx^p$kyY@~ zQXrG8P<-?Row0`Ynj5#84Ct(moMg-BsZ@!eItY^g?au+H>R&%}!clHb3(8KZx(F1CSQi9q&0f`%Li2 zxKCP8#K=zS)_R?|PU7H(r z;cUGpNVQxzEy7LLMF@IK$dp!Vo~&wxy4h2>V-Z-P7VII70h5=ne6A+)&w za68W($U}B$Xm_X}7T9(50}3ovfrbwGx^Ehav6zzXB+)sL2BMl;FjUt|e&1mio z8Z_4@(K~&{GQo{yXsyq6^T8mqCkl*c1&;hmGsTf9zOa7Y6y7vcT>h6%;B#9XcYn(^ z8{PjE0dJ@L`=qZ}5^=0BARMG}Ur^@vh7c$kWM^b&Wlj zFm3pUFPfy#-Cm=wM57(uyjP(80rn?U4TA}`uKU7oc7r%p=xQXHZFafTP|vft>6BF= zmOa{Q?|)V&3J{hQlGo{6P@CaROp}4F`F1OY(PyqKcu|J{ufo=i^|Y@2Tx&HU+STZM zO*J!$09-Z45vojYuPU{AZ zO`)z5RZmtNsgdD`apl%x5Wf%8PqML|1GQCum%UGA#nJrch(Pp7Tzk80N`h=h?yWJ4 z^6yL0mm3EL)=z!OBU8DfbyeN=Y}UD@Tb3=P0Sqw@OJpQ2xZ$iCi`?WDM??-DDH{s6 z+D=3;tcE2-W}i01F{Zx}21buV?17VBUSRKm)A{fqT$4q!&+wB`GM{e);=8w~biHD8 zQ3-Y-VO1Mt+{bL;W3lit>@kYY6m+i&drMHv?0R+o3(i^BAt2R62=)S@Ly#P4qHsN$ z0IQqEc#^1F&$Z?QwzGXd)uNIrZPM_b*Ie9?t{+|;J$d(TW`oG@O2&S#KI@rN+;bE= zCILx9)3vk!{?N4K3<5x#)jWO9kEsI#p7k?&BX)m5bar+*oI=~EaX}boUV!{4)SdQy z4j2P8c-1!MwCw2ek`(ZkkE5qX*a;AOvEHe00?tQOVvLamj>mTy)?1Sk)PW4ZdSRL$${2HpSb4-YdqgqlWb*_8Sg)p;k*_tpya?sgWz_PXC z9PL~)6$yxK$b}w)hJfIb-JhOO%LA^MV$@6zGy{>QZg_(B;41c;?Il;Cm_2b+`tQa% zQm5C<94IkcH}PfrJ9xw->YSij6ALmsv$lx~bCGtY=1{IP}b zoAA5isYvAoUd}gSN7e zkz}a-3!RLyv=Xf^_B~sUp9K!xWYjktpPuHX^wH@`0Z!uypt&@Fgu=q@z%2JPlxqE7 zu)%3HCS7sV2B!>hs_&aDZZXT4>$?5d(z=f%_+rsg=OJr2#h04_2HOoVAgx>DQHy8R zOSxN-lh=dn3H0QuTrxPHIi@!S!>T(;syo5*FoVIQg-+Hv&`T9~C}@u1Cv@OeCbC;{ z!EMJW1z17hLLrq&B2@2Pa~>iQ=3nrlTt>6m%c$(RG^u38kR9R$_Fqb+JC-GtHHCbT z^BEuV!%yOuk}v%JX8OY^KvzcMv|f0pI28<*D5pwWb@P2>NIQf5Fn%|;q%p_m&teoCJ6dyY5`Yuk8)O{h z_f@03LtpJoOyJB30Mhj>nj)Ih<-mwJjHV}NL4`Q&8h_)P1+D!XycXdzyJA)3dJErykJpiIhkOD1NgjwtOv6APr#Y0#K zWU)MbzN`|kgpX~4QSw={N?6Qg>SL$_ylpS#m-yKpaI|m^IB_lai%4t#V?UF7O*sJD z&p(HeOufuM!4N$s3;c`YA*m)h_<8Lb%$z|-9HwY3N2Y=}dG9qxovAi=zaV&*?Od~g zT~VlT$5t`AG$ErkhnO5WD4V?06Q9+7Y0vH<7(zity9d&dO6pMZ$50yEm}^rwIR zH4e_ef-*M?5EVaV{%A;;DD&E)dGc}c{CuGlwK9TYhPj%fU>tBoo*go0%%g@bgVf9S zIq{3;b^Dj7@R^_6?juQCyYi&AUkrp7Kl*FAZC7}9(Zvw7cJ(RSZFHD2^8JUr4CFUBfo`2OsV{C&<52WrxIqhCkp zk1EQdneMQFVSsYV{dg71?xkq^$@q96*+)0C42(w#y{9!?aJVbCm)L@$_C%zk94amp zVhUIf!cnxH?RY&wk0V!A)vF?7dlfg`WTfs<@?CER&P-}}A znLy96nX{oD^H^okTNG_=`w}my>63|8wQcfK(}@UjSk61SOV*Lc<|)qNDU4)xDYFx} ztwhYz`(bawKXm9Y-Iu>5GCw&u0$noLWKw(P#Y~G+#Pt0@vnYboYJQYecKX~RtJ;ze z0I$tDSjoPQ(iE+f?S2W9HBYGfvrC^bua{ZG$ujHLg8BA#4g%! zagS6%;sIAJ{8HLub23|>E?ewo4Xn5|Tf@Ar53M(DNnc>Lo}$HI84^e|k}6li>c%!S ze7@}rUwbI_wPNDap)!p32lKp5^ZRa(fVgiHR+}*3fBCNEn3o{lQ~aYnvaK839lN1_ zO^6RE1vyIK^ELgN2~O>152WgdR(#;nUQ7kYE61g4~>+APjkA%u7BXbm&w{keX= z#*ldoHpr>V&sobRH;uDr5m9}wkYZ1OL4Ix-PtpE?hQ2_6mg^lsG=JW04p?H zC33ZyQGUGego1)$~W6E68bx7CL%UX|%@O>GcBrj1WSxe+bn5 zq&nZAXgA}<$CU#gZGdgAh$I592Dnq0QL=1jw(cJJ;gSXz$PAl`8W~4*)7muha`Zoa zr%K^rv1NphEg&Zk%V@`~;m~Hq0KWDM<)aZwR9VznOV7Yj`pAAro35qaw%{q6cAnbD z5z+R2q_bI1dlHs2cz_MnmN9*g3J4+OhN1aZoCwZyuZ0h~{CFv@hNo?H-L7~P35rH2dz@9&%Qx1Erbdi0=SJls^>4|Ap_J3g__hNGWFIn=l4S89#Y%5E!Z4$_7Fz{ z*sm*)-86*o3ory!U>h6=CR1Z&q%PT*4NO)T1>||Ap`2}3Q=c4Bt8dTMYaLg&EW%28Rm-IOk5Hyz{RS0qc1$YpjisRLf$|3`t|bkml*Le4%Qg=x%8AcZ5_}J#!~St zNz4tBnTu8GAXh^aWPwFB88y~b0|pwbbdwLfkm+oPJcbJYQ^O<$bPR}z?>RNe-9H|z zYla^`3r2aim;dri)M^JYdU~0WudpFF_Z#VHER!mVytBhi0Eir=+Tw;XuChPdPVk9X z>?(|jsPRGiJqge*n&1qEFN(=jf*OLyGoz+cgkf-hUrHmRTlm69sW)Pw&m_bfVqh`( z13%u4-Ifp;i_dy7sxMBocC%jNFeSS8_C6F3MnU&`Jd{$_im}zOXLHrt>gnN#7VP;y zkOT;Mx9}Kq06uAt_v}Vi1JvTtepd@llDK+l%mSb?no?s0>R;Zo&v}E=g{=t1A~RT> z2$kwDV$x|sz6{en2xDaVG2?Tu_~K)ld@Jzd6u^O>qG7e#cr5PpW)ZEP#TmDkb;plO zt0q(UmPs~hn|0_33muGZ7A!GPw1Pr%SNmA6L$cu%03V2aE$r-ns5)bGX1M(oM++;* z{nyj8O&8Ay-&~B~7+^kQVOwAI{z4DO1Lr)%qc2fq9T^#hjRQNumsHio#?IKpu>_lQ zX)_*O2#ZfFNiBEN6BLcR#1T~d-79~4@=k%!bN#k&Hc1i7Lik1X40)fgVLBPQNG6WM z4mSzP0o)c>_epgU?r1;%lGnn$-JJcm{`f&h(paXUW4-C6tn;Nx>I-}Bo)-EZ+wpig z!+&aB(pCKVrJr!d+vmS5lQC1%5g&RqL|nL4lcxP_HB%m^QWJE}N4Mc`r&AP`C!Bd! zCkV}EWrrA79)u4gOT9UBJuP1Akhx)K`>KmJ6FVZhSW!#hv*VYu|j?o_!gNpk*MjmV!`7 zLcE{zJ$$3<4>_(lEj+Ilj+bHE?$SW zJFM_yKpV)ZEIf97?ZD3Pm?b`rYHIz*3c8!X z5eF?*p`%=aj;1Vc$fgo@6gJ=Vv9S4`@o(;+>>PUv5N$|heb;HYy{0C0|5@W00n`=X z>*-?caNAH|z>gM~Oe<&GJ{-To9mli;m(}TU4#fE=_Az6@co+}acE9uG1|6z{ zVj#wLj}hg*21mKRr;ij?eONJ!|8o~YHL5Llnl43FB_7{HD{uUNTX(V>2^dknW^hWr zw?hgp&3yi*a2*EZW4z0WA1MCzBUGz?XC{+6G)2wSHX1FWy%)`2 zeBCkXcKBjeVvI%5Lpg?1L)wsxs_VWzz`mI zx>2~NN^m@NjZ$QJMFVynz!@snvn)+n&788NFhs&0NBD__77$^hf*l^$crFRA#CzM9 z5|}IZM>ee|l~ZYe*aimMyrk{?$is4qGp&5Zso*lZI)Xl(916h=Bnt2~6%%~oxl=Ll z9>@86!-$NFQ`-T}J{dIg%aELtF8_HOu_;$g;=(4)0CCCIb)a4-Km|?Kq*|fy8$^Tz z9nzy>kZkmAO?ZL-)SYS1bHp!hSka&QWQHRqEiEF9=7Yv+VKEE)ECaJqbs75lP($J- ztO!~krDB3GZ5{~ekQOiT zdpbgqB0;a>S2iOUU?uaeH{4>5E|G?Eu0ojO(kIDY@xHk~t%44bSVA!i^k>+>ecCDa z^;9KX&}C{ZE)?d=qqB#B8Jm0wiX3fQ%U53*VdKMP=L@476LVs@G%?>?o>Pe&i->YQ ze4JY-tqxwo(f@WTE-@#HvUVD4(U)dUq(=_tS-qqCJs^@1Z~z>daeVh_9n0hRC$vqy zX9}WW##t&!-^{5UG}L>x(?zhV?@>1Hxg{uW6&C8RBT)=5vDGhr^^;H+a z1Ot}h*4?)WKw02Axa#^e7&MEH;)<`d>IWO^!`QldK2>4JLnb?DzhGMF(!0p}SG<1n zg&p7Zqk~4|9ji0(K}ChZ72htBBH2L(W0_|IG%mi`HiTjT5@jiiuW`Bh>4N zW}w0VJkM&s7*L?nzqu6NO8#BMto#d+jSqV?boW*6#s>S|BN#`#iBlq5I`z-*^ia|{ zC)R(lffiv1x?wne_%?ul%_c~C9M=uA=53nx6%I^Crz^R~Hm03Cz>q*;7vU0q@0=7# z#OF2>`3B{C8%`PLUKDdd+2%Rt22sN-Lzp!f(8yq`^l75~fca-n99tn9L;@#SK)k@0 zkd%ddn=^ba%jdGajg9HH(N#1k=m9KZcz{G_eDOa|V-q!@;Q{#W4dkaH!dzUOx`6my zOpHXkjZU8yPGG==x~7D8j>FpOs2s(>MQd5`Zn?g&blHf7W5Y`Sl-WPD!7tu^NBTbj z!vA{mIvZ;Z-Gc^RFRL0PJ|fmk@pouX3!UpDEme-{sz4r?bx!s7+ZTgC>`L+&h}PXa zn5|1yd9t&=rw&_}Gj=2L-xN(bdE5`M?2FQO9PIPb6SBp+pj|5csdl?T6mNs7B<<5W zJNKK5Nw3&CR8GgTHQN=a5Z%q=4&{vpFe4l7%N8Nd=ouwn9Q2f+M7MxbH$=@&xg$Ki z7qb}~%|ci5!?0EP?2~;`@^f0$9e;h~y1{nlaM(h0yq~>RXLrD1v=<{Q`UNN@)WIZ7 zSQ3KUI{8;-pu_y@SQZ~xg=%0g_pyx$W#xQ0@3*jjeLfz;W94FZZ^Sfwj4~7e*vC?# zmH+J+k6uf4e_QLCH8w!CZaXCapA?2HuhkGt{(%`n9FFWg@x&{xfYWw@j`v|3So9jbGp?wKV=BqLj+-anlw zbRCiDshpLIW|ZPdDCrGCy2@+<5aIlJXWWQYu1w%NkT^uHvJ=PIvI}MO|6~0jHZ7GZs);`kJtGqh2&8uw-E0b> zTW5V9sXhAV7f%2&#Hh^E;%><gpAuvN$jctk` zDc$>H7hUB1ApN(mEk>*@Ah-n4ae;amAqG^_Ch>22xXjak|ExRyfTZC>?k+w2n=Zdr z1$=(W%#{+DK1aTiOE8HooM6Nr@mb(Q*TLJM>60Xbqcwu8#jn#jUQ5FKUCup#6iAQ zaX&=KPKGtGa=s4JX14QD}NO{+Ox>%h4=mi{k)8 zTM_Ms&5Ry&@IOfyx22|>o8(gT-56`|ab5b@d2?b~^rI>$*C5)Vi+jVVY!@cUZ1x1P z39$K;R*NVHka=y!h75JWokLkGu^1#m9yZyoAwnL77LvV+Khw19D&A1RvC9bf|Kp*) zRU>jqQw44obC)n-EI!wylZTqV>teZ_AB^DK6$nFh`i20HLy;<<5~euLpe7nL1aW@Q zu~6JZSoB|xUDvqWPneyDiaT#mB)b)?z$OKe@|;8mtlxmyZC<=j*x((&)HeG)#q^e= zt1jd%b=A-2S9kU@ZT2TjWf|x3i}6?svE!RHaJa{dm!F!Dyt~gLCI6vT=%DagX1$2e z9anGcI=b8yIJSGYpDjP$^fLt~Sl9XlI(hr+`;r=ABair9Cx^x+ARyly{%54%WO2SBiP0nbWU(=}isv|FNd% z#d%l`MpS@onA6?ub9T9yMmabjnkF21Q=^5f2SAxE`hzLD+q>EMEBHz`%RE50bZ`1= zVAA*5f%k|mjN_sNf#=dMn3G7?OfzGS96$g_Lvn+7)xFL`dW=NQLr0Qf%M0UT<{Q@l zNa1r+LO%FakwQ$}4?%H^9VZGz7y4h9pKP9obx2!x=GiaT&GW9{4_M<7* za8A_krLX>mZo|~A-!`NQQpO>_oD~Y>>|!w;UR;@%U68+}yO9dGe(Y=!-$z$+t@uj%Mzu=K`xaul!5M9H6E0FW9(WFSGVGkf zr+j}WEZP2@AuQqW#lBW)z@bjo!u(F65$c|)3+y&iP2ls*KkC}{nJcC!!QRg^Reb)2 z@$xMRZTkw>o3g@=G>AAz8h&Xk$-u*?m4KB48$T~>QEYvF=euq-5MXwnBwH#cRMj~8 zXs8CA&+X#S=L|;NPrl|>y_A1UGaQ%F5$tZci9X3*R;l7E;|Cp+4|ljM z7bS*rd<`uml!I$THTQy<^DzG88?t$}_>&WfJ+!ya52j;cJIH>ReT6=r?GEjN)ey?lT2 ze92EAkW?b>8A3%y8eUw#`>T8a8d6a;-W4O!G7dk5w}w#PED%mL`YRMDL_z0Ch)HpD z37xU!i^rZ8y5fI1yA87rmknvi#Q)VH*yi_MATaq7&)p`6_I^<)r9^*(45*pN(eJkyzVGdOr} z_$)LkmEgWZC47-4p(Q@oN+Fu=VfG7n#tXNxx~+$`-fHx4w@6oUAqFh;Y-ff5&CBe_ zn8>SZs#Dm1f`%m9QlaG`L`oQJ4{J#8qM$ID{m`^2|=-CL0U);o*cklhiekeN-r9ACr8htwm| zYp!pr>EF%Bqxj!cvbwWsfA~cEkQf_1gOgmfM(JH?Qj)#LGC-bkfTtNP=-)?L8ydLG z630-U6(=~#M~!}Qp;D*FAY*^`+hIHY8%qsp?j{<-NUVvvuStVpoW&?z*zz8=2i<*f zZh*okok0f8C2+K$WkAXiZNqq)VZ$>^SCai3CZ#Y=E)^>Zt9+aYsLk#pi%W#`J^1t9kMECq zI}2mel|E0wBWOrf=!!`A2vvvE-}l!Q^z9{)`|NX*ys%c`(?&%r#m%EbYy@A-B!#!9 z&z_o$SPz3$@pjJzm2`jRWEJ}ZK3e~PF<-f|GvwkpM&By~hEPV^v#5G~fODbw{Xv;*?edMBcByzR_G)o%W=Zoy(@u)PXn0g za^$$?d2ZRmQeM0!>QI6k=T5vhSkqGz=4)3TaM6H?jY0{X?n-}X*ivN@hMbULuvZfa zc~qq#8rw09I|V@WqTlM5g9BI|DIAGxYO4avfg&gc5poXG4RureyAx_z>Xw5^n8}+f zzrU>ZFac7~Hu>=Im33bgYC4e!9Tc#9#Vd?r^H>3B!#ggiU)(gF$Lb!LV#>?yCkYQZ zRZ27Czm)+i@(q90gpX?b2VEQLEg^O)wW96DGfx<$MYV$71&tz8}B@P1Ur`VuXgD^C~Ho$4bnH5v0IIP#nyn?nYce& zZOco}kFJI)?{SGvqw8C2j4`wcQ4Yv@=_M$j=puZS3AKNfsQ!3qY~+oxm>BN-rq;fW z4@Kgq=$sRWraSfkjg^xnW|J$wN}682pu(w#(lutFf@&7n(JA(g44d3QjG=%A8jDXM z_uQ&SwsIx$P$h!C<(r?m8$B}3er8{1yjqr0&wQtT!bw|*(xZvNJUdm=3!+%3`U*Sq z%{12cmDztlrYL%~M?{n{CNZQwt-4S5iei7rEVV58|6%)rjN zrdpjScWFv{3+UE0NlD&E`rL)u%>>F*n&J=S$SHrFKv&v55<5xIEuZSGp>U|f`IncQ zsiYQMhUq7 zWUa#xFbZf)#C?ibR{?6!*9jgmd``c<<)wczRI|ZNcWBR~JA(={mX9~Dh!7)^hfywen86=i#htO!*K zRZa91hOCMYf-&wHJ2`YzbDgygf_B22#3p_<+!cLKxuafl%q^U-HSG`w7_PBN`5S+n zz6+W}&U-+v%?;Br&!vBnEjwcBH-l?Lez3u%=uhRZrD`Bg4jV2kx5*=8FYv z*4ydrnJ(eLaJvy_KehF9Ybp9z$+cv z-RaSWa>U4<{G^T}H9sX-Lmuk(a|C~eNjtB4ZMhT<$U7-rgBqg`BN8-%h>(((5iE)- z|Lnce3QFBLypqH**tyf*FVZ+xI#u)dLsEUCW2`-pY+txE zHIE)<18y*YwHiUynXEXf`UG}S_~@P_eP{UzzH-atSvuQS0c_muVO1=Sp6I?oma@a*x<2|reHy)ghjKpCvo^JvRVMBLaIOZ)1pj}alKg~bDo|?q ztBqPOtBZ2VC1B+Hr;BiXWy~Fg!HkSLiD_Q6#kyUSU~!6s^taO7~>Q8YBg!&0P5BLZ)}uWz&|{yRAFihE(kK zYqx|Ordz~gY0ajON78>iZrjuEKA(@QWXYTZ7m$TuhfI!I7pJLf*^=Zjemvp3Xy+ef)+^lRbaYyz#(sF0(!p=^&)-Xl)CT2#oR=&RrJxbW z=1Ad1SUv!@$t9JMq4S-vh^LF&t>^B#WR>d`{Qh9iQVZj;DO{J5SeMHV36U34AJ!5W z_hcJNH%t-v5#+-C+4?wMqrkDs*}LS8gdzuXc5tC>x)py387|l{R(3ItMW~0v=V4-+ z3L6;H!hHf!$xy$tZhZ%((lBvdA~97S)xwU$2~$}+;T!OyFpFa~b!OdNi- z__}IsXqe#Rs#i7_Dm3MMe}*q>FEv`HJz3!cO>dDciX`!Kji{7g95zLPMkgOed`w$5 z?U_ii1+9O+WQ)Tl^%rNC-fO^`my7?*820m>g zcU_IXW!p?W^JVBII2cmG3hvl0P98P+Rueb@w5@-Aw=yqfzGwQbPl#~s3+VO{Hq|JH zTA`dYPbE=pBp1}5J(5O+^d-3EH7~CSr%z3UgHzuOU=H)WbRrDLM=%|C^Q|HOhz}zZ zB?wDKBinY>zRG}BxohJNO0u-Y)4frRIR!iM)xI$*Ume7zZ|Ht6|301*740A|g4s(% zDtUjof=MyM`6;QeX(oUa8WEw2hp=df9E#ppB|j_^-In^TOxbB${tpMX0Vti@9V!`R zV*EGaOO-K)>6s_!n!+$UMqzHypnpm&g5F9 z$3kWzfj>=LhXefgjedVGFCDtklN;eWxe$N0ix+Fzvhfy};uo7}K$d%Weim=HQ>3p& zL8zbFzx7no_~W5;PONHmzwi&WIjs(nQoe(K*LxVQr0rPZjy zE%g=iNzBkK7VeC3e!ZD|^DYq2s(5~CFiIMU!}5a(al24 z!e4zx7H2&d*T#>Nd82xAV|A12?ZTjpzrXvUMIh$rKaFEu;G+ zOrVW_mWN(bwkMoPDy3?k36&wqWdHvFBb9`Y3T19&b98cLVQmU!Ze(v_Y6<~4mtaT% z6tk0IBQuln8xxnnx&Z{U&Xgh_0XdfuY62Cr2eb+t0y#OCVMqZJ6EQe3ISMaKWo~D5 zXfhx%F*i9fml50n6a_IdIW#ttF|;Uuw*^p~=@uUtp##|f+6<&|FV#90s)hcx0C|W#2#QKA0deqf z0$W-+Kj-<+BY@V74#398$HVxCJ3!1171=Zt1RTYx&m3=DGi_^%MO zf>zGX4*V=EZf^cox`#%|Q0hXBQWHbC46@IXggIP7$Eu0J8tnSn*E-M!;W(17Krj z`#aoU-oFEZ?f-BFnwdfD9Dw#7V0%k|1=tn@P?1(-c6N7W1OV;Le;WdSZK057f1oQ6 zYzs7fHu$4-AV6A76##th@UQ-$W=>!SXDBliZ2P-MmfvBXk6FszTmoWe2eNmDqW-Q= z66^#rdp>s$mcNE;V-In&_xcaA0Na~e{BFbC#eqfB9_;7>l9T+)=2?XLkIWL}4B%qr z<>BDv0)QL=Aa^q>mfs0~G&~$Ye<<00i=TV&@p6DT04$!{0QrC|K+iv@UQnPb2;l7G z0`l?tx8lDMDjOTX9Bk$cFa=qH?NR@U{wxMr{E46E?*w)S=(9f4j}5^3`}6mc;WNX` zA@;T&|Cs+VVirXu2_+qMhQC_=TPZFMaR+!Yaj*lJ*tu8%Y^}+QBCvE*$04y@UMSmi8 z0E_HDi2IpremG z{?Y$F6BhG-!RPuw|ANnHE&c^L04$b&L+)p#d8GfCZ~|DY{so^a1^){^w`lz@ z_*|>azuFC3qHql{Rgr?r+5DY{ucqvT%4Sq8S=;GKC|OL_>a371ab$Nq0UZ2%mjk1>w;Ua zYs84%m^McR5suTZb=a9k3yqMSd!;6fR}#l6lMpCh`D92I`u2> zw{_h=liX-7(?I<-#?>Me zw&iV2D%OS+1O5lPJs*pp{5~q%tc6S3kV$QJecp7dRt@3e1-{@Ge;q6i4s=&=dX**y zOT%_QQjzYZmnY|A{#jd_IL(}6b(DP!cC_b8{et)V!o1sKHkNOn%ra`DB|P2iRxiDO ztKC-(75nWVMLw0Dt#(|8D>GQJ(GY$BdG^P>_Q>EELgtnT%F6lmp70B@3fOpam{R53 z^4s$O{E_<2fW%C^6^`LHn91yRztupn`27J8!Do&tbCYo=4oTm194Rc zf_4+*qFcpQ&YN?h=zi1^PaeK(EfoqtX6F02{bB!{!;<***#{vEa{V@A@+Z?Lh%w%Y zIEhx_@@-$>5K`l*HYNEX5$r}|R%X`<@N^fVCk<6epbJheq&_xhKW%o4R{m0d`9oIt zLel5r1bIFyp;tErqxJApEt|DoRgh&V24Xv#Xl?jgJ7yT4!}{^!)q!?H9s8gI-TB{k-jVpcW4_M_6nYQyc?c63yBVO=Q){KvJ_fZ3jyYTjTDXk0_L3g z1sX-KX1Vwo*Kb{M-LPS8{r>+u&!uKqi8wF3S74BnyP}wxuUM^7^pW9IxVrKBIGxY@JZW7o46^Hy@ zFWjVSjJ;#?`W}Gu8rMF5HzIZ_TYApRRO9P#s|8}{+F@>`SA^okK23N>2kM|s7T@|{ z@yhMhQNyyZNC3{<#wU&3p97F1HMjRaR{2rG$TC6A$EYl)C=o3?q$Hh$_#StMO&C7G zxna&*b2|A!EtEX|r;g6SD;Bpt9oSpr$#gZLyzuI3KXg(&2(SfzKR`dRTc@ZPwXO!W zU{ZIyjML0&30d(Ho{VA1t*HJeVFy{>WF4ih@X2$SCotdkvcl&Sj>L{cGIEnFJ`n|} zo||Lz!0iFS=DOoXE28ZUBFGLe!5ji4bphhN&0?gWyF0S}^NW{o-@90RN3`7_zAN<6AuXL%8Yxl zT|b#=$r07Sanl+*DN$ZWIER?~`v)zSDes4}8=8TEtCyT-PeR9}BTgA#Ts`Kit&He9 zWff*?y$#NP>PEQXG`v>YFW_LLZ|I41-JE8;6AsL7#!!vp{`6#;$c?Q%{x++J-XGC1>RiM9!Ox^X2-5Cu=eK zOcTqAFx9eu+By{4;%$MUfErbFP4Zv~2h*JqQGx4j2^c=mE{(K4Z4_$$eaKDxO|i%* zVT=<@T2ngnI3TJWa|&Jx(r+63rkJf)cMy@==64fD8{!nUgz~EXr|R%X08L2!fbCf zWJw0>CmuaAdqA3feNXq$5Ha|L50Q`%4)RfNLvld1VaCQ5v1fC@qH+~Y%IjpADNQ!f zhEQe}K3IYNak&?JW73|FJW%W0d};$_Wm)R!sc+{^ zQ*4rds_%7cJs|Gi8?CF3(%cK`)W4>~8F)0%*%OGgWNYmN$~O{`-5@fM4-ne`Lvr=; zJr{;8(rf*((`GE>=oj@Zh=gF3u<<#5&{4Pk`dEdTUHZXsYPLB0S1vgMC1McqOFjmap>2gU@vz{)U)8Wri_d(->dz zok&7M{~&>~MAeqM(&ZHRcnW<^I0XZ%Z|o|3^X29*4*D7EH`?7>K2wR*;5Hi}?wAf_tvWG2g;JV_A<}v3lx#V!i zn(^322RkSoMCEp(6ZH6Z@fx^%@$*v6utnM`mP~W0)1A?;YGijEwg@qRvWR4q$OfK; z4_%ln6F7G-^|Sv=kpExIDBKygmIV&eqdTyyqI7kqWKF&38kz zgsMDeIp#VvrsaKGxAg1U8Xl)OOdecwA06zSf;3+$X=#^bUNUdv=rTF)WTfxbRMxS3 zW=;J{2rhyNLlso#c4lj^?O8PWV)}k75+~~j`9BCIzk8JdN=v6Kz{jP=#P>eeKVA1Ek#V$#k8aQm9TQ@iT zVII5?Q#LmKF&c{AJ=+=+w06tvw1iv(M|LKq|B(r<;^Fhb1;$QLX@KX~)Xg}jDuh>i zD-%>j;$>)xuq=`B+x$)9_!oeG>7^MOe;MNJiBUEeZdOC6NdRi%d5ZV@mL%F*e9oNZ z658Dp@wx{lESuIZ&DnjaHbtxFcV869s_dc`MVE{V#olhsbm+DG=)gv1q*4Q+*iB06 z!&Sy~#5nj4om8DfpdsokB#Axn+KGA2UTlAWH*ZrGpxnstB}5!gENydtSZ=*c!)qdv zkSWISPg4G#Qxn^>>@5ILKsw^a>=0YNn(Q|**=V!oXF-D{fYGau^M88OET*QveetpJRU8-HKCI|MACeJ&>M<&}`ngAEQ=Qoi zM&UL6k#H>vH6plnmw94N2t|IiPpEPg`d%;U$hvx68dqbX^*cHv74SIdwc32mEz~0U zQ$gWR13P~+8#YKS!7YvO8)lR1Hd$idiTRrLppDTz@$#M+P3&Dsc;4xy80Hi-E_qXS~O z;o1|o|i}FQL zq(clu6_bD(X@+XfXa}!6+pFKcrtiGc6bNOK8h^bRk_7ppVY;^1&b3kfx&8htdvcp_ z`GJDFBS&}9$~R-@64J`d-T3d`@xjoP+Aom^@N&0O?~3Cqh}wwp-rN=#!1jt7TC1x zb?NZ-;8!Y%QeEX~wntG*Rt7RArY|mmWW0s%KU2{zoemgja^O@uzW+3NalC#efk0XQ zu%B3eK$g8KGhFPAN0@g- zSLYNUGgiisBA~!qxGoDBSF~){Ttxmqrf68T(sv}sO@6o!?cDN-z z^2k`mHmBcwBj$f~BQC^8b%FG&f1i*llm0Vz!o}@?mD8&WiXaqnP=&zG5QhJRb}w_O zx$l+CBdb*U>L?0K;gTrZMq^QoJGdrNtIY9#Wx{Y%b$N0n=Cs4MWufv5HxI+*X@d_7 zPVh;26eD?R2b?wxX0QbPSf zCE-PeiH1%9jl>Qg^p+#Jz`Mgt_C=zqH|RxS@EMPLz4|CMX{b|)W-bpN&6;WfHY;#{ z@y~B04TBNHnEhq@Ln_uyw4Y zWj9=G&rk*tXDRF?v(}Ryh?Gn?u%%x8LNkgrmLA(;TVL_Ko4t@>je0CC5Bd+q{-XY-wTPS zcYwYmxj~mIy0o<^F%`8}WjGraP)mrm&rXbB_ZSPU#t)ut^dbAQqpCgT<-+p_sh-Sggl%ueHD6)7^$`1+}f`IqQ3%FLXP9N%Eb9GN*z; zH(XTrbGmBR3SMM*)@m!@E)maNi8pfxPe1&rPe>$THAgIxB|pj@PoL4TgJ<{n%?$ zA){M%{Jx1Po#Kp=s*(d+Amm5adc<7Cc>Avj^#XV7345$@ws(gkr0vK?M+F9FEKC)B>J)E9+Jtk?MQao z#l~+EO{0KMsorjMSaK#SuPVF2K%h6U5BimfSw2g{fs$iDOq6EJL-gw*{@RZ~7DU7l z*p5^P%VnJN_-izOceIqV3x;8QdY;B(*)ij5Rl##YHdm;Me{+z=i~4z+DXuhg9q4VU zY;0|ixsA31&!(e?+Js;~*{VC5&^glw*KqiInK4|S8r|k2PqU24^Xf4sIxy@nJFV$u z+6u+@sq5O7Q6FDCI*kgk)V^w`VUyPIkuv<%%8|ERqE1bJLZj5=5mTTmQJ9Qkdb8eC z9K(Pj=7y(GfO_>6KvJ3T0i{5SdxO+g+bK*Ck@N9dY0&t!p+vQTR5-(u_c^p9+ z?+fuu1Wk+392}hMJ}*twIBRIDn1qr{oNzL$xKp_&x^H9sioMopBFe28vgB2e!8JZ& zt)~c>hMapAYX_YS4}tmn5w%+xPT|uO>Ra3Ir#0Z+wm(80!!#<|tOB{6=Jrk%lW6$0 zbt8L!S~C&=>y~AO4T|Q%(Gg*=3P_pgqIVoq21n}3{JePu_-`%YcZ-*iHAR-_HYU|f zsmJf;Akm-w(|3d;xzX2q`hDrrQB)F9%Rlz(xN(iJP!6qn+hml|f{3VC2$$r`+how1 zR+7m2FFLbHSd}gyZ>$`~HFl|cPB&jLspZmt3K!9j-l9yD9t^N^g|?e zny9`jxS9^6Gx_x~O;xqOahLWU>54Oni!i0$s3d49I1pE9xf&8qip(WLZz3|HCaqM8 zzS8agI5lj!9=qqzVKKK1YY+Db)5g`u_R74XusPvSp=TdkUlG-#$r0s~ct;~ux9D4c zqVPfPT?*~}71YuATPeK8KDp*&?rX+7IgL)Lu$aeDkIdPyqofzIsSe=gttTxrt87C; zTblXhJn8O5{^l-BmBL-BHv^H#6q5X>U7i`aTYMb%K&WBThxg~OB? zhR>qHAZDgHNZF6Lokt0xDxz2Lsd;_=wu6|*ed7kcL~0CpRIc5SRLP=@Im^&xL zAJZO687_ORj4lSRw>It+aY*AU)B|bbU&f3r}UFi?Lek4UPk- zee4s1=Xw&tQnB0{k+28ydeT?0kAWV!3m1?KCj-eoIGmZiRX30Wc-Jw`{BWGWvsZ*i z_q&d&qL$6m@Z=@tjcmUUnIY}vP$s~pVyx)NGyGuao6@h1Jh;Ws|w(mFYu$T zQll4k*5Ci}lDMFCYZ+K#fEsH==taMkG2^iU4kWH<_I5HKl?x$y%e(Y{(lzuAEH89$ zc#H0$PiS$9~PXt=oFpfB5|?(0xW#`~}@|@YnbZL3Vrt(1&7z6-(Y) z8`r)fAa8s142NAVMHl%slEq;S)68P*rR$eCb{Ng;FD(jhrzmO6oV0^qhR~!uR&%PW z)m;K19_RG>98c861D5uG(S+4RKK1kc+sX&YHj>yiKgQRm#;uIxDR^QEU5JtHP2ThB zGi=#Q=m?kgp)Ty6@)3~KMKZO&WxKcov*tCUY)nZMvqZKD%uncFxtUu)L>;yi-G7;{ zN$BA%POMm&Np{bkny)QBl1LYrCk51&mW)IT5V86oQK1u@o2WK_p#l`rqpcA)0d^RV zc1S}r$#M4L`0-;dpNbBQ4^Wv>K018^xWJZN;r&A1ZPynJPG!zIdE>JpZwEm?c8&HP zRY&59@z=JM(k0pRJ=)IsDBj2|{x%b<1h#AZ@GTxroC$I@X8{7K_T#k}4k?M_)@GMr zoL5d6^-DuGixtIxW=4}7E_p(c70|C2ROS-zxWa%EG$dJ#N`X_HT>X%szAHFn1^r!} zE;6Kb^S89lwA(jb_Fv!(g!HvKsM-4hXbXkj@`vt7t`sqms?Ck7FLY8Mh7m&jEiVRAr9&f@hpKhn3fBFVGl zz@TdNlTrPohx}O!JH8gi_`YUVgXL5<`Cz<*ELFKc~TGN1xZk)(XU}oN|7B!!P98IpF4s(8~_VcrA01JrEncT&yW* zqf#9XyCau)bzdTDArH{6J?}Zn+m^<#N7+CxFV^~W&;IE%J+UFGEe%yv_~NP;UN8qm zmEd@Pz9hnjt`>AG`%#SsZ&6#>`{`i!I^C*ens<-dM)^S(Xq8jeLX`*J3mqvI)(vgLal&@a zj9#k23N+ssQ}Y@4IknX%~w@tz?iF-U1zQ=r&C^~tvHVJGm5E!CX~ ze@wtR490iVU`Ml~Ftlr|(G{ks`7S>Tj&%y}Ru*RlAsZFGye$OXw(JuY7qUHX_)A0- zb709ynzL&Jzi=^J@G)#yX9CJ{=A46n*t=*TUN$%P8yF=X-X4+ju_-T@td(P6icMUC z%82Q`H=j@_#5k{FogT?^r4wDjbCrC&Q=m1c4v9tW6?JY6A_TSR7R_jwWIKV}PS|7b z_SzTU1K+{!24y7tj>-Bln8{tp!qa`0mkv$t5%UXsT6bXW-PfNBzO880hBu*qZIOXA zZ9xp%fb4mp?i7PE4(pw^$^#x1ZED4FOEMU)z^=!vwKuPWi&D0xl3*bGq#_Q^r&sQQ(fI}~GAQfOf@`Fg+F?D!;1 z{VvCn+tv1`xpSE6&6rrZYN86em>}6W{ zh-Zi)>Y?m8fAb+_B30=!06ovhDHAjn&Qq={vF0B~n`g{5L7WVv~=aFD2G zXSDOsybv%snxHoyc!Yv>ucMmV2s30wWO39R;?67b3F_H=kmYHMF=)Fz7iL3wFS_lL!gGU8PuCAPRPuh5Y@xCEoW znxOWGFHZVB7Q@Ydi&Rd?ptQxLZy|tg?j9cH^mVGeWRav?e~wkZ{{%tGk8=ZV&?2C( zN%p&#tazbc-*67;#}=S}ZGIy??6>=*PIUszItMVz94H9@;lrPnI?MTC9pXzqF! zR%tf=l73!}V&RZ+7Ii*QWBem*iTC*tFy|c}t(@4#dwjI_Jm6!_6$_5@QYBQsoW{1A z5-u zm<}hLjISksbeUcm$5s_Z+enMyz#zH#vfX)Anaig?65U0t?iQgrACtramC?&bMUWhq z5~}SL*=Z33%Z(;C-&tmtzj3;{2<)4~0s$+8$`5lWrSzpm^;{RZt6WkW8 ztWdA*Vc$tj%#C;nIdK zue}Q8tG`Eya#Gyzg}*8QLX^*X6@Qr%@j^e4erjXbOa7d@n((`_$#7I(9EO1dJYbrj zhrRZHgVH~P#l=W?!9;QoZ3@R}Bo8_2XU>P4Ex zmPW4N*UFvE8j#HioD{?ZD1>Z zB{)!w>aw%4J`p4g_zb|Fe^*`)F`uztTN_~no(O3B9_mzX#7ynaB><$;j0Bk(wJ8L= zSq;HeXW2b>et=jZ%=%wqSM0v;YQcly$aOh2FpKlZ@%{1k%vETwXNmkdT|~k#+>WF) z-ERC4`S4sQ*4sanrzuNGC|Umc{GGLbJy(_9VgCp5)HxeCNISawT^5F#`Ns%;=~+`X zMroqW?`x`g8zJj*A|^oK3`WHf*h*SVLkN_qgM9a1G@@0-KQAdS4NgRQaiO{4@cauh z(Uqkw0$i?h8An3dyWk(2fePe(T^!vTF~>hx7M`1?_Glbv*~55>MsW^oFCCZ;B% z^q}L`)tNi1F=>4}VVk@{g1>sxLrfpS>-dW0WyJWbhrH{6S3U24*^KnzHW8((^#!Dy zx;DuYCY{`;4RsU4f)Gw5vP;s4-rr{2$qeFXFvwICFUgxw<~!m_h9`SOsO4zE*h!Yw zGkwnKqBqDWV!J#9Mvt(2zimr@8+sz^m)~g|dRh3mpQrL21qE#)Ot2sp-J^G%WDMGr zGRWk+8wBO27MZi<^ry7=AYZePl)$IgxyQ*hl`>~Mt@z&B2d4eDo*53WtlHyyALoMH zOJ`9kX4&mYKF%LBLT^69W z%=oN?ts!vld=%{0lyUihg7Vvp&ets|l_dTTxB8fhv_29sTxS{8B>4j;uUH*n>V|IC z+>C5!!!aqk4KoAtJ=tK7714oN5)*5LXHZK|ekm;8?wqc$GX`N?K8fs|DkJPO@qWL^ z^Wmq40l^!BZT2A;qlMUi2D(X-lRoH(u(SY}UO|^3{FEP2(Bqa=%7fl=db8CoB_kI* za?Skalx^T?%Alz!;iv*_3i2)fV;lvJq0i!K!gn0^NMtReh?}jce0zp2%Gq)n04mdV z1n6`%sAX6{!K~KLQ|_Vn^_q`PqO6SCM&QlQBGS~?hkepVYiO^3qe=NzWyq5Fh)6jz zWjIKoQTp6Zg}{>4_c4&4yP=kNiK8l|ey+z<-wYWcDc^R6vg0xX;R`o>66iTy zK>1?$V*NvteDrMbO{R6>f=@@O z4Xn_G$!v)w*>_nWuFud`f9-i(8lx`%R_V{dm87ToLLvfRlw7*9d6`#_q^lO{I$@)< zgqj}h`txF2@8eK@{Pd7A03#Cj@~AcxgL9)d(xRH&H`F<>g~F0gqS=vuQ}~dK{R6@SzGdH5tFt8OcvP@ph^|TK z_fUJDP@mr8;4}uug0r$Oi z|3K|b872hoP1rXO4w)$SECuL5d~5AE9nvGAn95~F_96-LB4ehT2j1;%T+=S%T(X6K z2{R(P1~M~)j_Fse?-(-#k}Hn$2csKvrb_s!5Bne!fl`x4S4`$0n=(%oI;f+1WzKmQ zY(8@+Y97xJ1nWxa)#XcHIg3xX`{ogGBIhg=C{5vb?AwO3kZda@3R^U+oD4~$@w%4; zQP%nULQ}=tT6t{HG!tb?!+0am=iIJ;F_)7(li{DdtyPXatAci4rN;=x6c@Itmx@et zS*d^-KNw~w<-cEt=97;!=C~!zGOnYG-Yyx52fd7hkT!p!0Nx)ezHM8K`B*TucaN4^ zvMbwmzN1bXHWBL1uAQ~!J+h4_ia)s4W^4Z%i?$DErscyvgJ-PQm!3-lbxr?&nuw$X z_YD6nDBdlOvf`VjhE@G!st|7T>zUf|jxYcg(ug$1WhgwC)`y~0rS_KX?LO#I+rxmo zzPO-^@~r36%HFbeZ$87XWNyY#Mvjurb@NKhvoA*@7q6lwE(A@uBJHdMy z<`dnecdAP0zQfDsF>Z|iDkEBd@-Q&4PjlCAJddJ(N^;@<22B_KLd(m9f58AnB)rY0 z)p>Q5=1o5|IDh~&prqw}}>-r3)3aO=si6aSizl zRpOF65oGxH?dvtLF{l%IeFKKR`$lDidcawndhVB{XbUEFN$(BJhU_y1oTkPrLgz zUnjsE)f|&cWwArRMXtNBF4o{^;c(+nv%o%f9s{AxJk5TBDAyv}$cPxsH2*VUk-J0W z*v)suo$AZCM+5@8NBXvZFvDA}%$$gIYMu4vYQZ2F=lDuoR735$Qr z!YkgtJoCVXad%NdppE%V@e}k?1$&g{{8-xqlk9CQ5y26(e2a2_e<2pkBh!#s`B`5! z-S;ygd|Nc-<+ra<#FT4>}09!z$ zzcx{-eVm&Dt+|aL6t}b|;kG0+6sZQ+W__6i-8t=F(YhY|Ez^;^(h5(1^Zc*) z1i^w8^68P7f17;004U-w+NsLP(^nrD-|)bA8Ye(y9X2gVuX(O&f>%jcXl$?8DL;`7 zMBqeDeTwo8DPY1i9p$h7#l(g)=roBaLm#lM(q#fOY=ot>fwg<(!uuvKv`E{fw-e1G zDacoJCt^cIDTh=CFEsi80Mzs?e~h&SP#kKyEsDDYhhU9caCdii2--m7?(Xh^V8KFg_aMRD-QAtwZkIiK&ScMd zuj<~Ss_FIl`s8m45+zl7VG}zekc6GBGd(i{6AwUCUWJ(nz{JGLz{JFYKtZ8q;cN~1 zw-|v!1LWvrVQ0(p4+Bw05YYKuCI)nVx0AQCe+9_6SOb_@0n8jc%$z(-OaK-pChq?+ zv~%PEhyh(KOaSr>02w=5kP`xhsGYrsqlKBd^Lv{A`3j&mrU5W>b8~+Bmpee%2IOdA z473Hv1D(x5Ht!jYfz|+3J7Wuwv&Vmhpyo4ocDCnXWOQ?LV*uJXG1xhp3DA53xLG)x ze*;uNP9R5DkO|-~!T<%J4d`!X3vF?Y;0#^5482Lur&ji zT3CYsiV|`R&hE~i06<%lzYKxaPImA9e?V8Dg*DLV-QZu90|64k$^hUy!GF_pGIq4E zcXncMvatS(BI93S-n%SrYa(iAV*|2vc0%~8J~0bNknwxlJsAItTtL!d|2BCSA^ee3=GA{r3V;|NA&-0RJ6J!R~!)K>+GM zORmer&Sd=l!TkTc>i=^2|J(4tqWs^M{C^iD;bLw5FE#bQ^#30<(8j{rt3P|D}6BEn}E3)7EM6z|5{=IBZIA-^ScY+ot_WC)Xov%uZeQ70~m$>5`X=T zH~@?ye-I~tQS=Yu0x*jG2XQh17$yE7W&oq)AH)J+l=_2M-#7CQVgoSB{6X(A75*S@ z0Hfl65Z8MKr9bFBrph1m9#i!XdXK602fZ^=|AXEcY5YO&j5Pm)xZe@*4|=b~=nr~l zWaJ1mwgSEXDwsO|k+c3s{`Y48M}P5Nyzze!`+G2BJL~tU{*Q!>?JtRq&7XvSjhoTr zAMiaT=uf-5j`v-h4!2BQZy-gPXfbYGq z`UiZk|DT!P$=UpY@6QY4A7&L3)c<~pjLvR$|8RJZ;qnjo-aFTSz<2s?|CrjlxBEZfdw7pO z)x5iUf*k*j{a<%(?Be*|41ec;y~OX2!2jTX{jP#Q?jU1?#W_1;-eAj`;FkL;VSG3G z-7)@Yie1fA8hWoq$5xj|6xbx1%8bBu$6Mi~!LAQ0+v3zWLQBLiUdK&!uwl)K%D8_zoyuI(j+C!kjo+Vg&K@YV>hf@}hBm!bIX;D5q}qVxmf-mOQ{ zy|%Yxc_eghS9!0JLl*J5WQsmUJz6)QaE2nsD03E<6vmmJ5RMl8+#Pl1=5`uAd;E=9 z<_jHy&q)kxzSrjsme_|`&($(D7N-t8a=g#DgpfDrBa@U~A_vJbIP+db`73=3?oE98 z#M#K7Qda0cFdVR?SASZlMAZ1*Dq>asGKj)( zu4c6Y5gxReimbNWYIK@frVuP~Pu0EwW{|bbkNq1vy`JhERtJar= zGz$fL1qsaDm}$k$bs|@mdD00}pi7)bAv!cc(wHAUEx9IfJ%2+3L-@P`FGLNE zF@5HO?gk$r_|5*^`y$q-y#8FFZDR&)-r5aaFX%0ZL*dP+J>~p756_%c+%O}QIwxJc zGa_d#j!K!g22?*2RKj?^QI5?ZR_sA6m$1dYaM4em&n7L|y*pnq7^xfRVfnzF%kW#H zT>V!(d#*Cc&VNZ1{pdk`z<@|lNDud|$-&lbX{m@l)}fuo!+E(|xX57arW$8(PDGoE ze|CqHVw$9I6hy(@_G~x25!tDlh%1RrLmaB68vo<=Xh*@b+ouv~F$${uMfqOYL%uNY zMZE>F{BFD|ex5w42(dDkioXHGGPjgok#)lim5Wzt= z`E@(A!GFou#RS9EkKiZvo;i}Tr`#oTlx_P<@xMjl?O0S&%ze!wnV&?EV*$gd*2(&Y zcD|JbybUHH)8k6~$OQgd#C-=0+;P{x#0+ zLN%P+yYel-PML3Pe=G$NanjKDCtoHJGgGlQT-qDouS1)&x`u~^jI}}Y^R@56>*a_3 zaP{?7Rq29*c!q*koXN-7hz29yp>>kluDINl_}G|d39tB_$M2=UmQay-IntUMeH>+7 zn12shpT4P!f*HZF0YxK_PO=IC7OHnH726aU3WP1*KKazV^d^vCDBPYxRY-F zQFT^Z`Ha=KXB_pBX`Qh2QeNgkK3kiqY$VRri(?)4>zwX=Hvqyh+hOne~O;+_Q^pkx6QRp7CpO??sY(g!Hb}@`7o->L5_&c zZwVM2o_b~!xP@dBxZ(j1j=R8)rGGU5p#*YKFs_^}yXvJIWikEnbX8@Rr00DR_Yp4t z09C>c^~g($^s~9bW8IwBjv_h$C6yUc&eeF<1`FDvzMzA0fK>kE$fifAL31{=95=7r zX2pntX)zU=_R;X$F>Fsx;(8*Z=}mX0bt{FEI7k%lmhs)!up9$yLeZ+~`-645N- z-1WOmYu*a4;SNMtMyy&fX-ROa6*dA$2p9dU=kO^Uw^WC5Rs*A z8>7n0&reA9etucifwU=mYk&3}kCyO*fk(G4c_=0Ak`br?K`m&A#A%8U`0Q)Y#6zv9 z4lG;XeabltSSvhJLC0>y&TsuC5z`M@(yElnaL_6THRFvff==%c#Xy{Xd{p-@lAV)v*#K*=&7wn7p;AlfSYp;)RcYh$|ySaD+AyXU< z){j!_N9#1IUpnDn%X9bhc;*P?vOMwhV$se^91$b)f0P8dDu}g3$xCu_lS|84yiz6# zFPPzP+FEmXfQQMz$4MyGU-HSq?;b0S<|)Ps3*!#Ch9>&0O@CScpxm#&*WR74qgosT z(_EU^4WjJ$!4x11c*Vo|#%KX=u{h-dZ&p-Kj4%SUlAlUt?T>tJ4Ilz?a6o@uAfQPQhEa5)>d*&cz9booq^ChO< zUBlz1ehFutH=Uy-i^(Clh?AYr&I8R@(<7J zv@MZ*eFZs5+r1dU7$uNS9R=Kc^^$SOqT+@j8izm3H(CdKD6o_h$0YLYlv;bXCeecY z$V=i|Nq;9V;Y2% zp--r}8bZm!=7wHu?TNTYKEtAUhEe0T8q#;7$ZhnNyGyEAkc}}ks@Y8|fv&g8SYYT; z60KYfA3pe1S2?K*UxKz|#X=4HBIZC}0dQ+#kbf(07?c;PN}*P(&@9UtR|!X_k~Vju zvV?fJX;m~AFfHQu2%)yy)m>!(`x1(lYg-^_X% zqkpY|Z4#u6Tn;uO9Cfk~Le2j7;fZeu<@E}LUa}JP>&xf*R_R7-UA9NQ*r$eamAQIw z%fLMK9Pp-Iujg=d*R3+i=Z@-J{*mYeyoZY^+NE(sUjY@Q85@^ToincE@>ECSp;=dJ|2wvdOap6^9SHh)A~ z`Gd8c$lPIBB0O<&rYi~4!$Cu&#MeNi)%C~U#p3Hgo$x@@dnI=^f2ok~Sl&mln$LB- z%aTNMm>;w;NLfX$*%z;#_wF~PbV;X6bztt9lgH9djoB6Mxl8N?SU6>ViM(9ZJ2683 zj{IpxeO>I1rThuSSwN>^i)%Dd(toM9F@T3yg`8WD1CuiR(Z-{K#-biC(sl6Avg=l} zC`ztJMMR%aMFeQwe(YXr@O@r8lc$DVzOWK%eed@&=2;{xM(nS0)Ovisq9;bnypWCF z#T*i!HN&sJkHsi83H%32cIK3|n#f_K)(iJhN1Ube%3I+524)!+wFxeS7JqE9N*$9w z7+jy&t^{wX7!p-YoEFK7 zgsq)(fO>v*t`Jv#X+#kCdSKnIZ2u+nW9bjSX_}7EpP3K!`In3_ys)ZxR7mzQ_9X%hLa4HgBC?jsB+D-i1t(ck zUrg7N!x1%u297FuSbML4<-#N$9xdBE7t?f@S;i!}?&r|Sfkxxu3_Y~A(*&=Rr@oAXaRh59BwIF|pRm>TvRpP~^|pp^C9E)PrjoY) z{^GY$O|o0}oO3g+)HQVC_4NmgcxCDt|Cl}SKp!z+!Tea!3eqsM;dlDB{rw|SIhTva z3c2HD^6FKR3xcVSu|qcFdV1f zytq>N_kY_kpi_;iZg+|O8dOvL_yq@pU6+Wa}JZgDs+(x!g9~;7Lrt#~y}m&$Psh+nk*6v8WeZPv}hk!Eix; zs!3AzmY2O0CeN+^_!rcUw4=kBa1pDiaNxQ&ntz2$nSa;nPWNT&B@-f8m3+umK%%fS8qzU+N&F{FnyqGFN#0`4L2X?u_66p@(dLM6dq7L#eo?=@V z>VM;1@ovAgW9V96%0Baqo$dFG=k;bVw_ny<`z?Yx@cY3HUG9Y-K6*oyoe*Qqt%M)c zee2U-;=upSnB_6~WC%RZK`$6Uj?}3fi~L|X)ixrYmD}a^u@m|PNQ94+aV6*G+uReX<=Lp&athpEEq0J%% zBhwJN<(9U!;4C{*_?X2)b@&#~$t$xXvr*tqY`jaI#P`WGzHSVyM~~IUlClYiM}OKD zhyk}oPn)laW{k?!&n5+*nWPH6h_uF|Az z?x{Qf}@O-9EMx zR+;2$-iAJ7W3fYBH`L%QxOsFhYT3iXXQDFCV6kFnAtcs25c;?D>;w4)A%6i&8a_>P z!yWmSaDlh^AA@hco1l$T4KbNn@08|dEmWV$LQ%)a0h~Uy0pWoIL{r=sh}7JKuS!0= z(2=CmEwZ=MWMf~{zBiyq+&${1n-AW3Y0}u7#78my44EGozj<5Go#lN#2tca zJf}hn5@$I33U7$8s#=|^Ox1j4G{4L@H0NLfTG>pSB*Yrbh7)j-t{^sP7L8mJ~u&pZmZeji^hU7QDZ5EAY%SsA2E~F(@!wz)dU7m);$(+R-z1cPAPXtU8MjSZ?yWo#2C-N2xC{7v>FMMh z66llLBR5;8iV>O5<8N9rYtvHLCCqvjH+Qaz$kM})_hn9})_3D^Jm0o5C3*tyM;d9p8Ec;E3g604$Pvf>qQM8>u2lPs|}IQ(T@$as>*T6}y4 zLh5t6a&Vo_${L?~rxp(ZRN&IGpfTMo#YQ#!slu-n5mk2X(EFgyTJV^XEYj||o{UtEIGAPX8d`Edv>Qy>{Q(VDWOU+oh(4wQiDP-Uwr4(Hekdi5V+yaZ ziL@xbA!B%e4+6a<0Gz{9ci8$8b>t;7Lze9$?P!23J>LAPX1?mKQq*XLaET;UP!D#` z$|Fwg#MFrR8Oy?iloDqrP9@Q)_KxNteT~E*y14w8d4Iic10oSy+2rV8dKWAde9BFG zTfTdc=K7mN+lM13RerhsWJ~>CCI$9xlfi^w7LOK3#CCApj)|k{UbddYJ{+ogSNuu_ z+o#w85%p?-7G*Vi<$MJdox;dFMZ3HgO+}6p29v(c@{d9!`|~LW!ulU8aQ0;pD^^4s zcqyD$Mt|l)elbGtsnRuSb|ULEV&njjkCCj#q(sP!rkN0keI*|d#d%{(hz8Q26jG)n zTCh5Cp3ZMSw2M*Md^ji8w8V2e^B!~g8f2D8Zaeto?H9o9MV zvrB#y?J0BOZK5-QCu9yAxY7Ort&PshSTF@GMSq|_W85%cWBxS&BH)Zy9nux0kKnUp z`DW|){joB|j>Crt<7W-a1GoynP=&KLBL5VM2Gw#8^9a$kzN7HWE{V4Wmo>Df z^?#bwhYn`Sa9-eG)m%xbkyDe`D~xq;Lf?ltNR<+yJV5dl*Y=*ViSAR117A~<<{YO3 z?O8!P0Z(|1VP3y(F}+e{@p#$la$3HkRJzmhFZyO?aMh`QEjRxyezc0wSh3DzJx)b6 z)RV(2GsK$3X}}Z~!KGzVGt9JZYjoYoK7Wm)(RDndE9`qt*JtdLAh;mxqbDki%LxIeXVNFE(~BAYycNIh zx=u+l9sD~#PUe^#J*cbrQ>vx2M#&0HVR{$J-W!8uJzK?l0##|^&MaC;lG7g;l5$>5 z`ZxDG)HHqZb&&NRt`-_U*6CsKG=Dq<2Qd$6W3TD;AYZSY8M6xs>^M#;Igq`WPGSwM z)Jjygk8+rQ9`OHEHCJhiGU+e-Rjey`hdy<_z4D$9qf%(c&Or??#;dFE0y+%0kpYFu zp6;F%=6iQh=C`SQoDB}_;*SkKieZYr;JPMY%0V2+OE*gf+bJbF*xLr%K!4o$;lkL? zvP+L=c?;a^7)Mc1(*m+GquO#$9tCEs>6>-yOzLiXlrV~SBPC=X4g9v!?)wfwmKv#eoP|4I1qvB=Ah{q z)-rZB=`pW;#w9}@7~Vgraet;}qC^m)_^gMs@*))?mVipx&oz1APH%?rGCq7}H5XYR zZ<89GyfL7M*hdOZ@K`=AKUVmdK&70da=HtoZA=>5h{u7w!zoQT-i;JmitQsE+(j?0 zfsn~S=@@rYeZ{D+(c?;Vx2NhS{Yly9UOf&$+1+s6-r6Xo&wo9VI_&7W@D@-1 z=+YwQ`0M5g5w#rqcQAp=qGYH97YhsTR5rpYjGHYjsOP(RH@msC6nB{2@az7jO2Nj* z1GlLCUiJw$O^&^GxBC!_&i*|#`~(cX&cO#}Q^4nmL!|0E?e+zDVBD==FMo~W;ACYCyd;7N6FxxwCU~N#A0SPFV10yBqI(8@gk{W|@^ z^17scfTx6&a8Y~o($|`*>=4b__4r+}PK^29O=Sr89@7`s*|9sCS(@PV0kycYB{{-t zdJ|eFj#H((6$szW!x{<%P7^oXRTBaO8xh5v8e)DfwA%uHS$`gQ_qXAdSuwf0y0x~` zar-*wJWmm6MilGLch#&~La-nu7nzzo0wz4qY)QA0bVYUDITtitcdBSv7QH^VI#9v}w%s}sO@ob-33f#n8#Ol}Bv?&Js$1=* z>_9(;VfJc45r5l7edB9`eLy15{?y*kbAv0@z7IQm0wp%?w$JMYk>{7Fqa_I!qXJCe zs6T~HN&d1Y#aeBrGhf`+1hUDMLJINnWwdr0C;O>iEj+|F5%xV`(8~Md!YaCn5d67C zxfrap{v&jFc&J}sGsN%wp=&R08(HHLTDapze(ET4cz=Kc(gz0EYRHj}c^ir{A*9o0 zPCAMMsIwfUUHi%0(sG(T($6^YhE^zQC!$ZHz^xBi**lfGV}u)CaLFR!J}2*5<7?POGI zT4V-NF@J%pavg%=QS07bcuvAs67<-s`SC!hj@dY*!!Yyh`BS)@Bq2T{I$AASE@cb) zWsc5DMTP`I3MK6LCFn zy(_^5rUud4oj*J+Ye`E@hj9XqdtT)>98eykWq)@J+#00$N{l#7XIn4czS<>Ht4t@R zODs+Z6nbNglWqXj6ibr^Xe2V~Um}#w+<&oB+Sx2+AR|bxce^xeJcXBed=A!PH*QA! z(EP0Q3c;#h=Zu#(8sn;YlV(n!txj$zIsnQ-qLBc#IS<2^T`o3xhr073H~I1Trz;vn z%zvxdkkv8&?rtee6081kxBA?#hlzNTLf{lCT0Q1c#Rq6P2qm3Lmz{s(&Ad@n{gEHf zqmzdko6+9A!(`t20P{%OHfKv(%k#rHO>e6Vd{%Zr&20i-Sq`VP>f$F!D(NS4U~9|p zjc|B@@8WQrk{b68C31lGOO=!iDO(SP|9^?YT?Aa~4{`xYYkh-b*$t2OTQP=SwG%Gx zwSc$2J52=SULv%YViy!*1uKS6!-%&V?!@aI52ff=Md*rj`*CTmy+TuK`mutKi+M_=BkuDXPLRZj8nSTyG zbmlhqvfXGPletRp`YkA3f_QJHl%BLvAw{eN#YpM4%&lDhBD1Z zV0Q_aDrqN=Do!a`Co}Pe8B^G$E5Lp}6$=S7EF2}6S|NI&jR1IbM1=y!5fzAw*P{j7&)F^^Ie&R_|m0irg z>6xE0ipDXnRJe`#1~%d%V}Ek?bl5sP&m{7TAFNs$hq@Q1VuBQ^Y1smEh#GwXNeF_A zm}k=)JOnV0VNK-&RYjhQMFwoow2@*gX@tK=zx0BTcm8o`v_Iixy#Opdi_Geaj~%Y* zEJn}$hw%IEt#~BX25szc(UtX}p*-N25kvcx)*e45_%h;rNI!mM9S{Sf$7o$jz6{TT#I~Hx_pJqj1*MH@~JxH3UcZ5+mh_q>uhI5Or_!Jg2xp|jjhb8(@O7f1l+~FHzWZ76t z?`?j)NlOSp>)LIc+WaE%F{%=Y$*%{r&Rg6Wx>00{eP~3K?8pm*UiJ6lv$9V6j03LL z&ky=$9r>7wg6F5D-4I{HwYFm#c7qw6w$eOKsk#H`R)72C{Og|LQ%1aaQ1{QiZTy`$ z8TVR+54q5lWg|AOQU#uP7cj3&SrU04Kbl9wplOF5EFFUXL>}HTrg82J@}WJ6oTnZe zx?Y`w)r~4+_FYC>+%GKQ{#9rYuvm$$=ss$PA=zd%HDHm<(=4l0P6ycNFLS8u^J^rNL+5=ul_GP^e1B0V9!t3{}&jVfCf#BEQW~GO9 z@qa}0G8H5M``d*TVvoqsD$y>IAl%krEg?r3dx&mMazjhov9ASRMB%KU*Khnk9p zR97_d!A)BUT!_NKPu)8cQVxM6b8)ezS8P>F(w~3#Ia96EG2%EL-^7Z$NLr;6d7zpkg_L^<;WmllnSYHVbw zmpPk1M~O=ug?FSftcsxg6$)`}!6DN$_9@0XTCT{h{h6!b zC$sd9EieyLefmNI;zy7ZC;8@*Kr|FCZn7u-M?QqjF;6ERE7Mt>^s`wiXY zuf*Yel(o-wuY77V-@$+{U1Fvr(c1eOB)D^5>}Q%n#go`}xu(@D@*?z)#_oPQxq6eS zV-Yx6JQOAp_K*aACMHf2<#FXNis@(ED`c5(y2eQYu(OakiNZjTe)Fj+6iU`G$Neg_ ziyxo zC8n9JoXe70Tml;tgK8m9VWtbcolEH5Er~hfb>Hu#K3HlOcTS`W3xCQYK6paZmKN&( zTL}Kbi@xo;;1)}Q2*r7U$+m^JgX{zJ##(!IHh&>ubW?4CY_M?TkFfR;c@oiI!D)r2 zwRL3nYR_X4jED!#2<5D;1Wglo8qfAfy=AOcaSK<4c4f|8(hMrBWBjrcaehu7x!%JK zh@6^?^98{tNoM_KNPmNEKDIIaC8LE=%|!4`=3$mWv6p)snod7{Ei^5oi9+0^H%@E_ z!q^ZLpjK4Ilh7zF#5TOf^^X_YX4{cW=CV*Nq%sf?6}yym$m?EJhZ)*>#t z07B<6iUub<)_+#>Q@NY&1^XLkl>xV0<>LAUb2c^-8m>vdu~`=?^XJR(2QMPZk8^xu zQi!|(XdxenR3=%lHunHE+Yi7SLBk0KWm5+Ic@mtyqe!>qs5ThwvYrz2u)>`is$#mF zqTVRZY{di7Sc-f>nMmJlT-jkm2FjFe2llaYW%mHnw|`2=(}S*#nqSkwJG*5Q5>j-J zBM7+8Cu0!~*K}_jdF5@;l7nb61N5s%Nn%$RGvpa_ez6H)2sQDt;r{xXqae7Gop2T0 z%SZet$mP1i(_Xd&6^Xr8mCSl6rG_ z8Ipc0GJkHX%wst|+up|Y`ADk6->#~bHBA?Z`?B(LNGLBM`W&S$!Gk85R)du6r)0lV zsS{%Ka-xLXor=pGc%I!0O8fCLjv|n~?L5qTl!$&}&F*s&oWNk<{eY^`4!_mn$4vH(E8_jeA`|0l2exOWgtv4CMg?}Sh{XBHGCg~yKik}olvy+A5vOU9< z6DIr!(P=Yk+$lkOH!eKa=q*Vqx!zo|8*gC6ikiU z&X&gc6XmXm2hu1J;e&nfCM$WX-Eck=BNLg5%NG{s>s;O^b!MtPv(q&g3-GT2FeyJt z>wi3_br$!nNSecnWH#K<@f76RQNTme_mMgCt*8!En+Tpy4*jZfw8(7ET=sM)J8#Em z>548wQscErH|0^T7g&8EJfnA8z3imXy|Mg#ymYHB<9rc6*za((jWNyGL3K1p zPkV)72P0nyEdm0O7q#r%qWei7eC}v5pMO&u7cGy@5?rG-M#`a85qWi`M9Lnt`)9Hl z7GY8wy#gEJO4X!)kI7ApUc}$;U45ggopSqBE3H^`_v-AdQwu{ZEA5+<;tR(d^y4xi zYpD-P_X7{+;M7)|Ga)v6QW2PaFhy-wk++uB3i`fJ!#PmsnIXwwSQQ(|gHlJUbbkZ} z%_-;ZH=L@Xc{cbyoD`dxpIU9i7HSxM>8n{I$>HX%aA5mOEk&r`rv&^bSKxDA6=@18 z6ynkI86xaK2pdRl(x=1{)=r$|ve+YM`X#N8L{}f`qr5Q0YrCJsI&B5p2_9pV80o24 zT7rlf(=djuVBuKYFE$uWfC zQch|v&@R=Ycu}N^fFu3j#MH5YNNAY8lASDC%xTp^O0;N|FJbkk<6*zk1PV(#uFC82 zvtv>UG`?Lc%73df)mo0S?SDYmXhoe_BnjIYf;!48Sekf%fkB7J2Ag=hV|C!uMfMSLPJEyTDdEQh8Pm$Wx`S?q2si44 zk@=C^GL53CF@h2R6X9beI*wH(cSbnrFj-S%CL4=Nw3cOQevU+7U4OKK(FH6FdE;w4 z+;?jVndcGq^w@SQRDweUmOykN$*6QwnG$Kswqzp3I4<^UJ37{WqF(`mbMR2wvJkK8 z`4TSxqUhg*#_Y|}<}rO)@Nc;#xo$uc9>s9$Wq#?rJS0Z{RULUN6FjQK@ryELkmVga z+@Za^ZGovGwjk(Gk+hc>BvOX zhzQ2Ri_Z?3oabW6Z5Ex8YKcL(9nQ2B`YG*5oUz=Q92Vwn0CU78|YZH1AB zg#sW3mEuYBhJO<5l=y@#+lpVVEJ*i_SiF4Hg@9N~>a)PHkz-1$g}|pLXR~uAn-3nB zvnex&Y6Gq?6nVv*U7!)_A^~9lkN{q+0F}bM6s#_GNjIFNSc59&E4e&iI-8@L=+fJI zvyHML zLnH4vv#okkXkdP}@#@{rA^mviu5yK_5!(~9mT#v4Mh7edG7Y~@M#b*IhX+c(;v)V` z`HF>qQ&3Nkg9Fw@`T`uLO>a6Td_5_YdBwPiLC~S~=9R^$i1mFYUdH*7wkA@k4dAN% z=H{1C!hhq)Q+!@}w6c%8?y4FGRl)+3B*_GI?aEra$g)k`;UhO*H|d|uzD4md->r}& zj?WkSQp5Uab_mm6#CTlFce`JQJD(3$QD+9iF>oY}61MCLTkaB#dK3C$&o?Zg|cjc>cSdxTmE`QuJbB;l9_OAP8nyk7pvW?Vrc%rp9 zv*f6p$9h*=5R?sy``8j5uuL#(kpwe(W+cMOUq;^5Q3qE~aX9;@Z==7ucToJQqd#go z^O;g?iN4ti6T_*gG*WnwKQnTxkaw79;ujLJN2Ccv%=CuhMY1&w|BG;}FtDgaK1qo{ zcz>M3NV3Bk|PO_?EzWdcdGgvi+RwSkVv} zH~8d#KM&_r6(TDk!}>cV?HYp)#eW)*>2k3yhX%pJiWp;q$fhvekGlEAf3Ctt)6Zga z)O^{vjjf2|$DK&ehY>6ZZg8qk;OiMgW#2Fkrx~>cCaWK0ikL^^u5S`9k5m$Z>$ElH#&!Gxs>mn|12GdmG@w!>txY#i}TDs)GyZvKwc3JwYO zG6e~28MM5J<_5amU}2cO)xmWP`Iz7M$CmXLOhWpHpd2i)Ib4u6~>%*!;gF>LtuGwe#o1wL{n-n(t_#9q>x!2$Iy9w(N6 zrB?2olRv-tvck~D!=H#NNl+ycd=I#{`r2uKnQ|CT%1xB{>NbnUYzs!Sxe|}V*02Po z*I?El<|wpD#`jfadm@vWqwvArfE!rfAOz#Nn{LVayzqNMK_hAh41WUeT5OD%?Ge;Y z#S85alO~m0kc-F_+vYqFzH->7nz7KKP5&7Z&4r@&HdcLQ>D)x{Yjd_jga7vmxqEQV zC&bgF9wjg1P81dp@NPZ8ws-3D*7za+Y4jKX^>FCVwh?*B50hQ0aVjfwwck zft}f9wRJwZ+KJ-^VFPZ+DIZUc)-3TgR*WZZcnMf{w!Csrl<=VO~LOS}C$O}T=R zLo&20V22dODAFX7t_fojrh)5sDBL3#KXZHIpCug9hnewLXbt^Y}vnA z!IG_vDl{sJoS?7770^4Z$PYHP-^Gc3$y4Dz@JRLNSA4xwPiTInU(qY~*i)cz9<@Z} zvrLa6*B|j_E`UgQbw4M*so?g8T~ct}u42SZd%{#j*MHYIETq@_(CHmq!`jE%&CsKc zPR`har=&O@h1iLhtD(`O%EfmB2_kOMd%?^z%4CG&J<8tp;!;Bz_jSC(Biln3{@uXmQ>=4rN)c)sdB77pb# zvYlF2WkMfrbmC4SjEcH0xh5)^k=z?gyWUS0O99QDxIde_SOc^KtTiIdK8RLbb?8>@>{6Odz~WvzS>bi_H2# z6ye&b`!6W!6ax1Bg3vQta~Hg!-!CIg>tDDHpm-`8rdQKg$e8<{yRB1D`+)GKN;J0_ ze3{JUhM)ae;A>+)SA#SHl(ap^yTQ`A!G8=CS|5GYLz)e*4c2~H#_xK9CQs%)@lDFO zi*OhEUVP7zz1bq6`lQU%vji9IM{;Pcuuhu{9>zNI&*D|@+{v-qcX>hjz*-p3rJup> zoFCB?m7sUeLtb89(&x5x`v?_GAbOQ8?Cnzkjw(a!3LYraM*86#%)6=_qruMFy-7;&% zWx&s506m<@i;gIna;tjU7|+xQ*K&+mj`LWl9YdUm!mKMj$$O|JmdVCnXrRMkiCCdV ztIjW|dZ(SVOKZyZ3v|D>-w6Gz|KXDlGd&6V)E&{+PK60P@)9$mo59Q3h&{K~4A6yGl*kDSPkc(xc(~+In#%a0X&?3K1aOHO?=szCoWe98S zaD}8Y01=|G1$sBN`;2SJ{h&drb4}@+bs*>YwG1nv#?1()L5WpK_gBeTtrjqnzf&%= zDOC=H&I-(1oohurT3|w8XO+CN8nLb9O-6o{$(h-f%{Oe4;$+XsKDd7OSQk|*>7eN+ z*Fw%{ZNruoUP4gyfr;P)xyx{R>4kMDMrnivNB&4`LgMR8_KYV>n9R@~qeC+9E3m*y zqGSGtz7xE6#!u-Q+eOu~e;gw=6twgsE6Y}~_q^!vYo>aPC%2OtIA=tMiiLICE8l53 zZ=8YC-*(g)uC(ljj7zGEe-CqXBxAsKJEMD}@&hctjr|Z)x{@fz>s)Hd7 z%B3<7TGa~ySF6@jGU~q*4!D7fm<~MXOOLp{>~5m1ob39Qp(%1-m8FBag#|p`PDYLr zwpau`cF)Rw%L`9+1-#7v?MX>kggaX6T7#VQ(30-UvVFknRK?gNHtLP9HwQ{HrRCql zO3J?_2Gz+~vuJCOOE<*EBWz$Nb)=k#w2-cMV5knPz9mm;K>+?5PTfa9Bq1>I7sX!}k63`hiPI5QXjqTnK3& zAc5NYQ6OE^vXC@|0tIA#;#-h$QD9)=cHm&gc+~TaiGfiF*&c#C)-eu3*wzwd0e|g* zDW_39O?%oB#fbTFhWN>sin8NT^R-b?44uMZ$( z-k)wBX~s^+F?ukN_PxboCIj2zLJ$3zprurh*v2d*Ci?gH8DyZd!aRP?x(jKVy@I|g zOoJD)!bO?=@z^gimcx1esmwE5c`S?fExCj<{T!;pcyk}o*r!8`M%AuMV>w5c4?T_- zttKg6h{w%XmYcpRtudvLxa^nwCJ8G$jpt?c%{Hh%RQJ&1)upS+?N8Co zUtArE212{)qbq>(7x(9ul;#EMThPRr&#ZSRDvTYO}(i~$E+ot7J;(~GSp7o0}~ zRm$n5MBZpA0`Du7`yO^Ia^bBs(3S2rB2_dCc_&-($dnl0scc^=+7Wh+ZzPEmsZnhg zjRXYmu z*L$7?%=a3_FH&PI+}X2-zeUT0r&&VeCkFub^y!$zr%^9N%Uk;-)bZRJaXC)d)uV3q!1HX9~s@A+m#t9Toe zC1nT#%@H|Vr(ewSZD}*7bf(~CwkTtXTz6!jubE@#Q^oAub?tWFzeXlkV?8&^vd!0r z=}Adq{S3yGYOxpa{ATNgp*mx5jz%6BN%jSRZtrZ0YvS9SB^VKxInf@OJXKqeIrBwu zsvwHD#$J++GO@$OZT?WO4_2|!nnA`f-(J!K=xDS%8J1L-vLOuxf974YqAs8>E0eRh zt&8>8)HPA}OLx2s3~wO>sgCBCjnMidk$$}F6@30O8U2NkGV%&9T$FCo|CVUK_0d2j zFRWO5Bm*?Po7eYq_HDONtluQKkr|i_i!D1Xq63k#?J=!v!dj~lkV^ll? zj3L7iM(C++X5s9@;Ovngt-i=sdRFieH9gwoD&ORDx5(h96Be17Wii};%lxPywkzXt zaUsz7j`Zab?d+U2f-c7=g$M`TQW)q2xX;tBU$+k!D=44m$AQG9*9>B!eTw)3f8iv! z`ys6w4a-%qDsbkQo$B*7zeu$MGFOuK5jX)HCz>`wE-X#*GM*A7uf&O2su)mxMbwY2rt34B*QUq{I-KYBUL7HNAUS_KN$4^R8>Yos?-6e z6upN25RJ=0L42b-EoxY_f3a2C_;CB#PxX8s*KwH)oa=~d#+cO{k?tsR+SrBwYKrqI zDYt}c1PM~KF@=pTIiV=MH$`6E)ER);NG`b6TlSmK2GJ|YyV3=wHxkIT|MYvBkHulF zp+n_nl9*ko#7n{3xuVvEP`>n{V}}a|d5D!g43gGMlI@gpIyokGt%@FGPV4_WKeLUr zQ4hd7<`(rETIdc9?oH*{8VRZZCcQ*2WaHNyHU^5z7DI*hHFxrAkuDz9sp7ysl@)74 zw&UExw_+Kc%`u4nmBgZwdDIZeyBrYD(-ee+em9=C=V7}ZoepVwn{riUzUCm^Q%!Uw z-A7@xE4>&0HPpYx)N5ThH9ZzOEp zG4H^&XFHW;Ly)3^VYMtTYxKaece0k-m8+pSB^*+hx;TbD(cwvO=h8YP*Qbib6POtH z1Kwcd#lUQO#p1qU(m12g3*B4c2b-TDB-V;(G?q$@*XpmfP`M|ety!yYKSUs!$HlV` zWByL&+zMey8yy!yXk{Do05?_z=1+~q<5s}yvkJ9-oBN<{-~4O33d5~`gvv<%L;`Lx z33A%0fOhu0aws_X0J0V%b-Fdw7_Ah30P;`Nw3WloTe^??b}qAVf$20c7wx-$5AuY` z_BI~t3h@?AHIyW+sZq(JKi-o-@~Vub$C8&lEXxEs#bsqaSQiLXKtK+zc~kThvi~Yp z_Q3dwIiy+QVL)b%SKMsO_SwpTH1Hwl^g{44=Sh#%f1>=4dSa^Zp-4KUY^?<~eHVr~ zIZ$q_sX6gdGa5Q;D(daK??6I(kL%E*Ho_p>r4{?S!ObI-RJ1vjGa z?Z56`1rlY|8-%B&ft|ISX#Q`;*Q#=TUKxVc!JTrc|NJ#;+UxdETP;N2VAOa*-#5Ms zCQ>K2M(f_&ug`dv%-W--YVG@{6$G{kRccV8%CK>q%DX)@bsqEVbe@@q4o{;dkp({Q z(?s}*CyvEJS)hdiz6eL|4|nq?|6K74b`NT2%%dg?`hyp70MtB8tAg&NQO$ze(PQ!O zl^IkM(lac>u-|E^VfFzxsc~QV*JyfMW|$1~b5Ak#)>&+$=2u|ZlBGuAmTpoLX55># zu)J85zf|I~k0qmBxuG@xs;7Px&Q*`^%s^*6U*~dgNZE#0nU*MRK7gWcPux3t^zC0p9R0B+y6G=HDB``)u`R;vV4k z$cZ-_>x!^#lPIR|Ir2j$4J{{#uYSdjJ634P7n&XI^!guB`l3*?B8UJ(P$f=sx zI9!7FvrMf)My@^J@e{K=F&MTUd z&py~LrzYi51bOPC462H)l%r#C5YV@XYD>2Ja#%5dJ_Z+A+<*%Le8LW?1=25NV(Sd) zLr$BrR3hy}udGwTne}#n+UNc`T*n7DJM+mfA^tT_EE$)FMYH|x(l9=ksl!2j`!4JD)G zf%S6uIntMazIA!4oztK@mUDQl6(Leao|ilZ!t!*6MJY?{S<=GO9Ypr6`UTaM4;3t) zeamHCN%W3IipN*bEC zm~~`26W+^8?xNt==sV0fZv>Mpe7(%}k}SnL8q9Xf=Us(42>InoEuw&9 zJR4{B`(twe$;K@tC>2i7?y^U#BDc4X^;gO5?WN#p#|B-x&D$_ilNo*>P~_Q%I?oq{ zB5vn=A(GdsotO#!dbJGqvrVbcc{BP6NyZ1Cw$8BWIV!2nX(1m;c4*QrX!Lx@ubfgQ zy>qVxcQ1Tma>iGruVsJPjU|dZ0AWnBTDg2ylfcW-Tr-{|TBVrOS+Ph~ z@DZ_daz71lZl8=@=zKyhNw6hHAYY@$YYe3U|7!!8SQU{|@WSBS;0pMa1`FPsz^RLY znSnF7GZ{~sWKn9Y4{kaXk#_Wwo${8)qB zB7$W9FEqfLM@T1b0Q-NU0b(|Lu>d|uKd1iFMvO8bgfIz2gVRi73utFd@;AXj=j7x< zWL30qv~suRAmd=;|5ROv#DeDd#3%>lvjFIU8VG!vKM6mXOqDc2BJ%rK)#R4ki#D~f zhIL81Y5Zo&Ls{(6>`UrYDHw(rGZQHd6h#vEofT9HYN@}d=|kihwsgwZ-nx#Sx~y`J z#y|YFw%R|87L@Me^kldO;0nl?a&Sn3IU($cV;#VJ5aE=j&U^s*Zwm;A?D;i5$>m7E zft^11v27=KOcdyADFKaNyl_%F0ob_++mR4P!w@xg0sWBBM9LqGXghci#ox&kq3qcM zu=|2q=)PfwFz@$teaV5mI!DMWJAp7VHr96ABxbt~=VQY*hioE?hkT0WP#34!j!-p; zpnWBW&KTbYFT?6oijnmMyc>M!18)=qs}bP8lR!BKw4l+V6+pT%LwV+jHY^js79sMn zf4>OoMbE#1CW8Y=A<`&@>KG&-KJk{;lI>>TpAnL5$#D0xROTB+5gXa_{MgQIfbVtj> zI|qoVg-5@+lo6#(?3uQ(xmC-a8Q{&NP3Ul84s4N{f?G;kpA}6|q_8IpBMc3yNs-Y1 z1a-^1r%4x1HHz=m*G@9=1)%C?u$W3Q%zI_C4nWEAQ5YG=Lx@2_U`bhgKf>TcSefoX z7cIfLLn9cMS%xs2hs8piBcCA!GNd8FN#rfI4i=!rErej+%Lql?CXqD0w zkb0}o=qiz`Qewup@NevK!tkt%U|wSd9AZd!+`rfp$9AKE(L`dbBoP9@D>EiRsR09c zF(7Rl?dQQ1CGz-@d2z$?5qsdK_D(zVp^F|mWj?t!gB0-bC-|LBqa}cCkCS{-6ta4{ zuXj~~EA8?_rGgq2Ya;-C4D{sS%LW3#iF5r-leJ))Ha9|zT>dDm!Hio^J74L)6xw*tZ z@6nr75dHo8nxAOqVBG1O=9ISgyCOLqd_ln~DWzurh#xOSw1@%kD%tdj6PdNbLPu;) zva_E_lZdmkb_jyEPtcEdolG^|v7XxFquCmGkmcoL>*((5y=OR(ij?!0!xW>Q%){~A z7n|hGXE63sm7UsJvnmX&Qy22+EkDyWFi4)fh$i26!GS-RF?nA5YDbpAh?RMdy z1cOyHH~S|6Vc~-P*%8yi`Ca=xgTlj93ES+k^qU-3`QwrAVBL&lg|D5c7){&YeMK$p4=-w- zkWpRar!qPRWG{w?d@G&PXSl5jhCTSlGPcD6rs4TP z`|d##EsPSwi3Tig#xUTzWBxAM9CwR{fzRuL;c`11 zvtE0#dbE%w<()4bMpG`mz1A($8PLs8#B>!A|GhB2KuWQ@o#AaGBt7p& z0g7sKa|--Ka%M(VKolwDsl+9WYdY|_az=!Z?v^qA`c$f`FXpOI)T+x%^Lp{m!}ee< zen{p^zeH>Uhn~hS)2uOkY>fu1q;|3i$(=JB!MT}W+5YRUlU|q={f|ggtS+%s= z|MFdmzVJ`c*b;lu^K_uqXRLG}asGIkDe2u-n@`WuaSdFHoB8gr6nPbMBeS7pD_?4i zObeKY*E^;!;tJR68a@(K5j18p16p=G2xr4J*?~6Ja!<_3Qsh=xgr*-d$6Gf~#!%L1 zmhQjgW~l3yIbwlM>TbW7bNErRZ(fG^xz`0s9LZ73CsL%SFFdz&>9I$8`Q&Q#`q!L^ z4J9N67N>u!m}jIJh`l6UQrQ2=P|{4|y;-(KGu7*Wcms{K0fy{Zfsv{OSqFt-LJyvt-j*GBq^LW#c(D(rS*sCJ=WUH=?vZv9>AY z;Q*ANu@${rrSl9a4Qg9}7yWEmIP&5f{YjUa{1ed5S&+#Z?8ukJlY{36ttOyjzB51{*YgZ|4=RAl zXB85~87ojK8r3nNf@!@RlT1mvzi%bdm0(fMW6l-Um6cM>&2z z{3$<9<|e%4=~c{>X4p+M@oShUnK^K(rZrQefIc4MQp~2YN)3G6F?pKRKcw@@OBC0` zMY-_qoma}SJDKC*6i51I)iH%bA-=jR)eqP!^IP=jMP%Cig_R{xf15@9%f0<4mfA)% zo84|~PSJh?ot|Y&2^hs2>HfQE%01!F)Ft0HyIT+-We*j^*;VPll!ZphGwD~aX`^}1 z1CHFC@+@Jl=Bwct@>FCz-A%UpidIX*d)&+D?EWPY{PX6Np5I;fJB_8HzqF2WXV#Jl zIDOsg`(vwdEWTeok&~_6IdrSyiqM}Y(G#L*9Dsp3`tMYF2W=CK=c>uGcj%VL%eb^k<^F25|o=;sY5r z0#rbmH2}|Mf_i{B02B=U8DKaz0`33+&d(U2_|s%%JD{$aq4m=wh=>jn69ila$bvds z01nMY9iKu-PEcMk02`#V0FY{??gp#^Kt^(qSfI@=fNXQZ0$}YwH2!04%>l~*GAIyj z+NX_(EkJv-<2nEi3c$(J?6n1$g925xeY!T>18jb}=4%!{1jK*tDzy(li^}moQ3@Fs zH#dKh2{aw>T;IWMt*P$4+PF9VJc~Z^0mPZkY1aPrluLPi*=Dx*DQ{J=KwsaLx>aei zrhAHo4)M2?tgCPL1{e)GaM1K&WzbZ7rVcHXxq;3gUy8{zKZgD{on}Mme5g!3SEyR; zuP!zezx+S5IPy4)%L(eCl7+LO(c9mnzV`qmLsdh8uA#}RxPNigz1`ui3TnSwGEXrW zVx>VF#FE(Tk{FmwlgvaO{!@a41tfhkg(rm$86xWI#M<;C$0VcwD`^kqp_1jIBqWOn zYd{--9f@oYccpTiu7+U5_6>POgMKBVNya$OpGG|AkYJmQznF|=D&`Rz5_dKu$H}SE z3Y7)|AsCD#o%fLB?4d)hKJh>q@>&uC#-KzIx|psij|p z5`mmygbFCqafgir_$P?w2(J8)Nj~uAMU<6lGt;x`Nc?g0XP~s;-%U8MG%1yoz;Bv? zK$30y&c;I7_^6Z0QvbB2e-Ark}+N|;7qSvO!DWJ^OYjtP;0T5ThK!d$-H!%tU z`*KZh!}FCTChvtEyF`;{f1(?SaW(%Y^~gi{h7#M1p;|BK+m_Or*W9F_6W*8;FLv8o z;et)3*3=q8D)XL21-6%Bch5HmS7E0jplO%}1CHVGQPu67=VVG;bW?n$llMOE@99kS zEKhQyrpD+d&%5(HBzv{fyi>Rv7M%}bXtt&EO6oMPW8E!OP2Wwl6K0BfIwPEgq|s~Q z$h&_tr2-$m8n_F`kCMXWah7uy!iFqpHxbU7ot3!tYfsXhd17PCw08&QzI-p5zz%F{ zXB|Y5axY4@G&8CyQX0WDWvlI*R8PnZjCP1EgSIDkq+^_?VsC4(<2-r{er$RDnrQ0l zt3Ah?np2{`M!Gg#*MBKAy1I* znWsIC>Gaz4{mGKQ!s#&S_0(zFb{sZp~CvQ4J< zC1#aDhc`zk25$&Ng03{IBNJjqZ4t@56`|@=)T~g84^5(#ye%K-xBi#I6nA(6bk|AfR}irGwKAft{6m4VSRhW_WTL}=wm<)MTQTSY5YiIQgc^1^4wn~PSz z;2$^NkKd(}rz&Iq`xg%Mi?_{K756LZizBNWenS^KoNLz1yO71pv053kcTd%^nS|E3 zg}y6jc{9n>P6RXF0ujEUwOJR0W1}zlV`UpLDOEv4zlcf=z(iSJfDJ^Y+ojV9klnhQ<5Go?U>wv7|8q?6+?7-qQArYDpHfM z7E`MuhLYipjZ$tIWI;ZEeuHqS1N;dK7>+G8ezR1seQ#d$qA!w?sV8W<+|JhFZQjZ8 zy>L{qvTmN(6Dr8OjuY1#oQ2>bOvo}_(t=No5HYZoDo};>A%(jgg(ZPZUu{ep(2|43 z8Q+<9NH9nOmNNaBWy>DyP0$r2f{A)bA;?lJ`LY>Y(w`r_3F8w1l2_s^q!li!97e2F zTPsQi>^HS~k~TqUurxJSAL=)o51bzT1~N1!GB^>+AC1@>z&0r}(C6tGnU*PHRhAbF zE+(h{LOx{gVVM-@(=d?~uL&{y(~VK|WdLSUsz%KQc&x`_xEq``6sj{DZBHHn-Hwa* z-8hINVE{f6M*3c^CQ(<2E#SxBI{4+D<4#7EB0|*AOvX6|ejUqSYNc%Ye_{Pv5}tzy z6Wq)a$W6eh5a2{AcnHWUozL5j)B;F*j`t9pwxBl1xi^7x|9ngp?kwSw6S5qOeSa->_oJb^-ndxF| zV2x&Zx`^kuoWUF{=&$8Of?W|_&iw9U1`%v4qZ$?2F;nLD#O;79Jq2OL({CPW{YiuOua5KA_${!lM}0S&@w?{Tyua@9kMmqpz-@g%>^D z_BzWtB@ON5ipr{VJvTx@D%y%v^Jq)+&mF|jZp0oWIwU>NRH_T7Fu^?G;}Ed&C<$sY z91n86wS65;u;2@mUxl&1_H=@mAo<$eP~<o&VEEN3Tt966KWrEm>pWao@ii8Iw6A5&=}wk&aV zo$AFdK)?%~Y~1r;@STi*uLqWKg@|O0tToM~Z3K_vNp3;2?N1Z-L{edbojJ0;A+;bl zn=^jBYksxX=Ql?qRmD|HD$gCE0?-vN20k`r(GMYC(@B0(!N6Qa*$RgG^J>z!QH1mY z<3E{bD)^Yg{c@@^bfX^qE3jt2HsPFeca1rHOYC`q4lOmK=(6DOX3Q10^H=74quLOy zu-0~F?d65s=Eg`8Ps$$b{tnQx&KZQMD3mEOllYhkD&l9DOd);!DTSaSf&-M2w~AE$ zIm(~7Ka)H`KiNDVr9uGWE18|Oer|2w$@$kZV6vD}KDVFdjnZ$~359`|ne5>fn;M-; zbLy~N#8ar(BFVUz!Er|@-d&`Nm@=yAprTH;&}y%;(CfVFi0p(FmmMo^)*LTKTf0%7 ztSYE%fUrC=+J5xOH7_2VUJB&@6){bs#HSJNn!GUEg)P0k0YYtw3O|Iin3B?iQN9{I z*Vrfy2|QIo0z}yA=u7whF3WV!@|Z}QUya%KEcucvRYrZSyc9G34>K0QTw`xUeu$hI z)=`PUuO_j}Sl2Mef<2CT*uoZ^v98)oK2JD#m$k>tG$=cvxq3}5VGSfH<7>FkcXqF=j=4901B$5wjh1UBIMy?+zkkB^H!o(ob0M zv#Hd(JJ#f*m~!3;vNP6WYRb;8*J6Qf+*jHK8xO76is+NN@`{Irm#=sJo`N+Znn@?+ zZPmpKl^IH>C&g{~##q%S4`Z5{m{Yb!%;gr1uU1+cTDcV;{+aXM9D!(Rhuz)22-(Bk zA|m|2oM|)A2ETgO5;)NOGXw%uGq{ zZGNG)U1!Y50!F&Jas*_NVs%n#t8(<(=_&i0r3b(6I?y0iw1zPCuB1BApOiW`n<%@3 zKRA(gSW@10VOcrt3TExN-Tr~N>g{)_c5u`?1S@bz+U5<-%{jlEXRMB0bLaezfQrhu!e7k>aCNt;+CtdxTUe^oPOEn^{$inGh z6S$>$12o{xB7e9(-Rq|!6 zc6VJI6uHFdzRS$?G5tklA@TIgiGggw=_4hP{kk>Z>7~yI!@b(se#ug}XjY;rln;G3 zFv?F}I0F27B`@!&;;&@6#+JU$c$G~;^7fjs;YxOK%yTirx`3L$;yka=N+cZ&-f$t? zdKJ+k72Wc!ELoX#()QEa25wCL5wtA3Votq1VzK@yy_i%88a{$vU8xDyMf<)-74cr* z`?Ea^8E@06J@3p0q6O?L@)DlEt2dhhRISi|C4iWAj!owimy2^3PN#UME|rV$F*5e7 zU16MjyT7Tw=|75@P|f%biA;=6xBQex0?61|m@VbaHSl^+Z`C$`IS2R7B;ihs9&Ay=Cl}-`WvTyyUb9Oyb5F_ZvJVqapwKD;h25jD7d<)TC0ur`u=zf9DN!C zW@i!Se94J5(JO@ZyRC>Wt^00bz^XIAjTl@8ytq<6LQ}2I=R`MPf z-apPU`MKND#h2_{Ihb%-Qzo$t#2UU}RsOhINus?yK%hvX4Y?aObkrbf?&fU4w)ZD6VylRSjprHmHx?$4M4y?v~Lx`YT(9Qu9tgr%HDt)$bZMFUwD}4ecALcU8YTtBz@ceLT?~qV#wU%Na_@If5 z!uE-5wS`l5Hek$rP zXYe=CLsjjZhu4;gP4UschV8T!))r8Rhp~Ty(X%cmkeJ{OkwYv;m(uf@D?6%*-5?L)dfk0;L%RTH zX{PC;F?jw6&BZa_?x`xXMZ$z5!SIP536yrpD@y=gTh`0?rkvG=J@nSe$=2|couMTk zYT>QxuE!6e^_2!w??m>O)$%Dp7_TbON>Rj)IqVj+jR%ViO^4f39M;-eaU$#)1cz5oycx%dqcSv72YEXdfo_z_vP$@JODILX*Qh3ZaD?w>-Q zPi=KX)~}A1PM;&*{~k$^=?n2m$#C(=@bU7vKOOy7e*_s9+kbr))U!%*nrc`*U^hpBjN_QXiBcPjLv!17zgWH0vLZ_*n^ZGP z<2Gk}=Acw@80H+DAS486H99?L@n|sEKZFHdklOKqZY!E8j_*r3l&QjF3L+@HBviYQO;=-De*qY@b z&1ZXkJQ$tPRsLkR?pp5#WOc|DOUGYRu|b; zJ4r`tiATf5M^=3|cFQ-J^}rz^g^3)+DrCQE$HpYY<+%V{VdUk>fb%cQqh!A?w&Fx< eagv0`nI$DbNMHc*7d{?NK7K@MYH1Z2#Qy^#F1_yn diff --git a/notes_halo.tex b/notes_halo.tex index 3d5a47f..b250de7 100644 --- a/notes_halo.tex +++ b/notes_halo.tex @@ -14,6 +14,33 @@ } \usepackage{xcolor} +\usepackage{pgf-umlsd} % diagrams +% message between threads +% Example: +% \bloodymess[delay]{sender}{message content}{receiver}{DIR}{start note}{end note} +\newcommand{\bloodymess}[7][0]{ + \stepcounter{seqlevel} + \path + (#2)+(0,-\theseqlevel*\unitfactor-0.7*\unitfactor) node (mess from) {}; + \addtocounter{seqlevel}{#1} + \path + (#4)+(0,-\theseqlevel*\unitfactor-0.7*\unitfactor) node (mess to) {}; + \draw[->,>=angle 60] (mess from) -- (mess to) node[midway, above] + {#3}; + + \if R#5 + \node (#3 from) at (mess from) {\llap{#6~}}; + \node (#3 to) at (mess to) {\rlap{~#7}}; + \else\if L#5 + \node (#3 from) at (mess from) {\rlap{~#6}}; + \node (#3 to) at (mess to) {\llap{#7~}}; + \else + \node (#3 from) at (mess from) {#6}; + \node (#3 to) at (mess to) {#7}; + \fi + \fi +} + % prevent warnings of underfull \hbox: \usepackage{etoolbox} \apptocmd{\sloppy}{\hbadness 4000\relax}{}{} @@ -42,11 +69,14 @@ \section{modified IPA (from Halo paper)} Notes taken while reading about the modified Inner Product Argument (IPA) from the Halo paper \cite{cryptoeprint:2019/1021}. +\paragraph{Objective:} +Prover wants to prove that the polynomial $p(X)$ from the commitment $P$ evaluates to $v$ at $x$, and that $deg(p(X)) \leq d-1$. + \subsection{Notation} \begin{description} \item[Scalar mul] $[a]G$, where $a$ is a scalar and $G \in \mathbb{G}$ \item[Inner product] $<\overrightarrow{a}, \overrightarrow{b}> = a_0 b_0 + a_1 b_1 + \ldots + a_{n-1} b_{n-1}$ - \item[Multiscalar mul] $<\overrightarrow{a}, \overrightarrow{b}> = [a_0] G_0 + [a_1] G_1 + \ldots [a_{n-1}] G_{n-1}$ + \item[Multiscalar mul] $<\overrightarrow{a}, \overrightarrow{G}> = [a_0] G_0 + [a_1] G_1 + \ldots + [a_{n-1}] G_{n-1}$ \end{description} @@ -61,7 +91,7 @@ $$v=<\overrightarrow{a}, \{1, x, x^2, \ldots, x^{d-1} \} >$$ where $\{1, x, x^2, \ldots, x^{d-1} \} = \overrightarrow{b}$. -We can see that computing $v$ is the equivalent to evaluating $p(x)$ at $x$ ($p(x)=v$). +We can see that computing $v$ is the equivalent to evaluating $p(X)$ at $x$ ($p(x)=v$). We will prove: \begin{enumerate}[i.] @@ -71,16 +101,18 @@ We will prove: \end{enumerate} -Both parties know $P$, point $x$ and claimed evaluation $v$. For $U \in^r \mathbb{G}$, +Both parties know $P$, point $x$ and claimed evaluation $v$. For $U \in^r \mathbb{G}$. + +Prover computes $P'$: $$P' = P + [v] U = <\overrightarrow{a}, G> + [r]H + [v] U$$ Now, for $k$ rounds ($d=2^k$, from $j=k$ to $j=1$): \begin{itemize} - \item random blinding factors: $l_j, r_j \in \mathbb{F}_p$ - \item - $$L_j = < \overrightarrow{a}_{lo}, \overrightarrow{G}_{hi}> + [l_j] H + [< \overrightarrow{a}_{lo}, \overrightarrow{b}_{hi}>] U$$ + \item Prover sets random blinding factors: $l_j, r_j \in \mathbb{F}_p$ + \item Prover computes $$L_j = < \overrightarrow{a}_{lo}, \overrightarrow{G}_{hi}> + [l_j] H + [< \overrightarrow{a}_{lo}, \overrightarrow{b}_{hi}>] U$$ + $$R_j = < \overrightarrow{a}_{lo}, \overrightarrow{G}_{hi}> + [l_j] H + [< \overrightarrow{a}_{lo}, \overrightarrow{b}_{hi}>] U$$ \item Verifier sends random challenge $u_j \in \mathbb{I}$ \item Prover computes the halved vectors for next round: $$\overrightarrow{a} \leftarrow \overrightarrow{a}_{hi} \cdot u_j^{-1} + \overrightarrow{a}_{lo} \cdot u_j$$ @@ -119,22 +151,58 @@ $$ \textcolor{blue}{P'} + \sum_{j=1}^k ( \textcolor{violet}{[u_j^2] L_j} + \textcolor{orange}{[u_j^{-2}] R_j}) $$ +\begin{align*} +&Left~side = \textcolor{brown}{[a]G} + \textcolor{cyan}{[r'] H} + \textcolor{magenta}{[ab] U}\\ +& = \textcolor{brown}{< \overrightarrow{a}, \overrightarrow{G} >}\\ +&+ \textcolor{cyan}{[r + \sum_{j=1}^k (l_j \cdot u_j^2 + r_j u_j^{-2})] \cdot H}\\ +&+ \textcolor{magenta}{< \overrightarrow{a}, \overrightarrow{b} > U} +\end{align*} + + \begin{align*} &Right~side = \textcolor{blue}{P'} + \sum_{j=1}^k ( \textcolor{violet}{[u_j^2] L_j} + \textcolor{orange}{[u_j^{-2}] R_j})\\ &= \textcolor{blue}{< \overrightarrow{a}, \overrightarrow{G}> + [r] H + [v] U}\\ -&+ \sum_{j=1}^k (\\ -&\textcolor{violet}{[u_j^2] \cdot <\overrightarrow{a}_{lo}, \overrightarrow{G}_{hi}> + [l_j] H + [<\overrightarrow{a}_{lo}, \overrightarrow{b}_{hi}>] U}\\ +&+ \sum_{j=1}^k ( +\textcolor{violet}{[u_j^2] \cdot <\overrightarrow{a}_{lo}, \overrightarrow{G}_{hi}> + [l_j] H + [<\overrightarrow{a}_{lo}, \overrightarrow{b}_{hi}>] U}\\ &\textcolor{orange}{+ [u_j^{-2}] \cdot <\overrightarrow{a}_{hi}, \overrightarrow{G}_{lo}> + [r_j] H + [<\overrightarrow{a}_{hi}, \overrightarrow{b}_{lo}>] U} ) \end{align*} -\begin{align*} -&Left~side = \textcolor{brown}{[a]G} + \textcolor{cyan}{[r'] H} + \textcolor{magenta}{[ab] U}\\ -& = \textcolor{brown}{< \overrightarrow{a}, \overrightarrow{G} >}\\ -&+ \textcolor{cyan}{[r + \sum_{j=1}^k (l_j \cdot u_j^2 + r_j u_j^{-2})] \cdot H}\\ -&+ \textcolor{magenta}{< \overrightarrow{a}, \overrightarrow{b} > U} -\end{align*} +\vspace{1.5cm} +The following diagram ilustrates the main steps in the scheme: + +\begin{center} +\begin{sequencediagram} + \newinst[1]{p}{Prover} + \newinst[3]{v}{Verifier} + + \bloodymess[1]{p}{P}{v}{R}{knows $p(X)\in \mathbb{F[X]}$, commits to $p(X)$, $P$}{rand $x \in \mathbb{F},~U\in \mathbb{G},~\overrightarrow{u} \in \mathbb{F}^d$} + \bloodymess[1]{v}{$x, U, u$}{p}{R}{}{} + \bloodymess[1]{p}{$proof, a, L_j, R_j, v$}{v}{R}{gen proof}{$verify(proof, P, a, x, L_j, R_j)$} + + % \begin{callself}{p}{knows $p(X) \in \mathbb{F}[X]$}{} + % \end{callself} + % \begin{callself}{p}{commit to $p(X),~P$}{} + % \end{callself} + % + % \mess[0]{p}{$P$}{v} + % \begin{callself}{v}{rand $x \in \mathbb{F},~U\in \mathbb{G},~\overrightarrow{u} \in \mathbb{F}^d$}{} + % \end{callself} + % + % \mess[0]{v}{$x,U,u$}{p} + + % \node[anchor=west] (p2) at (mess to) {gen proof2} + + % \begin{callself}{p}{gen proof $\pi$}{} + % \end{callself} + % + % \mess[0]{p}{$a, L_j, R_j, v$}{v} + % + % \begin{callself}{v}{$verify(P, a, x, v, L_j, R_k$)}{} + % \end{callself} +\end{sequencediagram} +\end{center} \section{Amortization Strategy} TODO