From efd42476895cfb9b7048cc81848cd1c60f394367 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 20 Jul 2009 19:36:04 +0000 Subject: [PATCH] nrewrite now working --- .../matita/nlibrary/algebra/magmas.ma | 9 +++------ helm/software/matita/nlibrary/depends | 1 - helm/software/matita/nlibrary/depends.dot | 2 -- helm/software/matita/nlibrary/depends.png | Bin 50252 -> 44706 bytes .../matita/nlibrary/logic/equality.ma | 5 ----- 5 files changed, 3 insertions(+), 14 deletions(-) diff --git a/helm/software/matita/nlibrary/algebra/magmas.ma b/helm/software/matita/nlibrary/algebra/magmas.ma index 4fac05b51..40400378d 100644 --- a/helm/software/matita/nlibrary/algebra/magmas.ma +++ b/helm/software/matita/nlibrary/algebra/magmas.ma @@ -73,20 +73,17 @@ ndefinition sub_magma ≝ ndefinition image: ∀A,B. (A → B) → Ω \sup A → Ω \sup B ≝ λA,B,f,Sa. {y | ∃x. x ∈ Sa ∧ f x = y}. -naxiom daemon: False. - ndefinition mm_image: ∀A,B. ∀Ma: magma A. ∀Mb: magma B. magma_morphism ?? Ma Mb → magma B. #A; #B; #Ma; #Mb; #f; napply (mk_magma ???) - [ napply (image ?? (mmcarr ?? (mmmcarr ???? f)) Ma) (* NO COMPOSITE! *) + [ napply (image ?? f Ma) | #x; #y; nwhd in ⊢ (% → % → ?); *; #x0; *; #Hx0; #Hx1; *; #y0; *; #Hy0; #Hy1; nwhd; napply (ex_intro ????) [ napply (op ? x0 y0) | napply (conj ????) [ napply (op_closed ??????); nassumption - | (* nrewrite < Hx1; DOES NOT WORK *) - napply (eq_rect ?? (λ_.?) ?? Hx1); - napply (eq_rect ?? (λ_.?) ?? Hy1); + | nrewrite < Hx1; + nrewrite < Hy1; napply (mmprop ?? f ??)]##] nqed. \ No newline at end of file diff --git a/helm/software/matita/nlibrary/depends b/helm/software/matita/nlibrary/depends index 2aca2bbd3..379c57656 100644 --- a/helm/software/matita/nlibrary/depends +++ b/helm/software/matita/nlibrary/depends @@ -1,7 +1,6 @@ sets/sets.ma logic/equality.ma topology/igt.ma logic/connectives.ma properties/relations.ma logic/equality.ma logic/connectives.ma -.unnamed.ma logic/pts.ma logic/connectives.ma logic/pts.ma algebra/magmas.ma sets/sets.ma properties/relations.ma logic/pts.ma diff --git a/helm/software/matita/nlibrary/depends.dot b/helm/software/matita/nlibrary/depends.dot index 8898c6c2e..9069f0cd9 100644 --- a/helm/software/matita/nlibrary/depends.dot +++ b/helm/software/matita/nlibrary/depends.dot @@ -6,8 +6,6 @@ digraph g { "topology/igt.ma" -> "properties/relations.ma" []; "logic/equality.ma" []; "logic/equality.ma" -> "logic/connectives.ma" []; - ".unnamed.ma" []; - ".unnamed.ma" -> "logic/pts.ma" []; "logic/connectives.ma" []; "logic/connectives.ma" -> "logic/pts.ma" []; "algebra/magmas.ma" []; diff --git a/helm/software/matita/nlibrary/depends.png b/helm/software/matita/nlibrary/depends.png index 6d8cfcfd912a8c417bf5b863cb08cd0dc2b086c2..c00871d4a589e1cced08f82fdd0458506696e528 100644 GIT binary patch literal 44706 zcmdqJcRZKv|3CaT%7_q^6d5IzB)iPeq)3v4%#h4%64{xhA}b?FNQ&$orC}8+JC&J{ zNHXr{QP=l(ugC9k|9@ZK>+$*4rQYxJJkH~Iy`JlJhG-r?#LURWNTE=ej~rIjqEM*A zDHN(w`jz-E_s{1V;s32PQ9GncStkFNT%Hk4q3}|UsP5NxOBm~R_tO4azH-t+@J_b) zora1VD_+)fF@^GRP@SnMpl5t?nC;p%wa^?LtE|)3o}C_}r_L7GYQERobyfSsr$GM$ zs=WTJ^jiXjsrk%$w?$vR{cEW|@sju!V`_%IXObocFDcwfD7(}+kG?fBKOrx`EcOnnJO(wLN&~ zP|*8&Bhe}|u^E~0XV0YapFK0Yr10p`BYOvj;i-v;h=^uOiPnk6#zy-~muM)K5?nI- z_SIBZQ}OWdlB$HQdC-6TUWP2FGq(lJ1Hp%SLK_PwbN-IcS2%ficVI_yJ7O@b97cE9;d@Ud)J2t z2U}{Mm>e1QH5KL5JasByWaPs8_wSRRJzFO!Dfu8bw~)c#qrB%^UcunR1;zmCeTj{N zl;WbIs<&^MaZlt6^l}0Zrul}3hQ9a9csHD^DU__0nXHpVMY&MGwc{4!(eyQXIqQ@< z4EK+Ed9=p!D3u$sgx0kV^yW}~cz9_deWv(e+6l(0W5c7#p;U}Y+Su6z zRU1XsIGdUZ=;`S-V;KSiSH>rIvxgs~Nj$zS;APfkPY;ip7cb}(6ci?BX9II{cP}g~ zT=X~^5*!@3DzILGRXO>|lQmzzeihoa>%f^a8+Pp2aZgFtz##nL!yV)v@84hf{rh*R zCf7@s{30VGk4@;f_J0{kPQ@aPkBiJaKGBq8NBsCnhGQ ziw+MC(w#eZZrJt8l`FI>R`AKlaQgcCPX788q?{6E)qtz;h)l_&v$3%e+OebN*3Q$K zIy!+jZmiMP)=tjP=UBUTZIR?qCC*vG56<>>H7yK=;`T|4j-ncrlDcmv?(k(nb$us zkY89hOqO0%bxSGRMy}4zPKVz=%<+ZJvNvO5)NBk44APTQqM}%7X=$DQ@LkDKDOA%FRo=U&I#T?M=k{qK4tgdgoC{iI6%{rf9$Rry?KNyIN}TN} zEf=NI9z395v0{bHl_fbwM#iYScOz?RlyBa;Rb4Wqm(%`DMTVbW*<%wI*A4@t{Sr|l zqoXJE^@YE`)Gu*rIRB#llWC@=5Gx0V|I3$$RSz8!*td^s&z?QO5fKMAvHfg*U>?Z3U*kRa>2+M+4xfT1Cex*)qgS*qLQZ`Riz<-2}5zxA*Q&WWZb@6404wPxPl z3VLVH_74pO$HsC#ud6fu{5&L9%$!kBBZ)~-QL$KU8-MEl3z|XoB_;drrKj`l+QqzK z!v-1G@lDu^6bdR%tc*kI+n}DImNfURJ6a^^`Ru1YA4u4HY30X{A78$DRrB$w1$lTB zB_$=w=g*&6H*b#g_ov;mWlPoT*J|G$h6G!Ra!RDMnB?(FORu-GvXXK5OxxPp8Wj^m zm#!7Uz%IzEpupqc;1DZewT4_3PL6AXYAvb{&66ij?)Ch6^F|$uT7?e~6kN%`z;IYy zT~%3`+Qh`9=+Z$|3F-zeuIV2?qHf%{y7=eU0In0~v-v`S7R!q_cf|LY)-&L6er$1G*%zzbb+@h@Us=Dss@=af{~E8n&4mGnQ3T11}uLKJ2-7|302Hb$@@q zZjn9TIuZTg-_wKBHDdg!#v}KG>RVg2#=45xm*-w6MkOV!zI8Ovq*V z4`FwI5Nb)kMwxf#&Q)})H&s+`qamvFJR~55eIne!T@d&hezO zseu8v!s5@9UO!t7$vA$Ymy?%wXp;YB)No^KthmMMN`?SS&I?vn)%~?WQ@;oAn*JK^ zwzRaYvMKBi^qeSP|2k&(;NtO+;J_m9RpIMGS2Q#D>C7 zfK@44ne(PnsuHxE;Ro;CyJz$wf_v_B=x!qkuIo2%`UmlN(Blq1Zx>QkRnfewVrp%@ z^O;R&V27b6^ZMO}&+!3y#6tX@2xW#bsG6N}l=abqhm>6tAYGrFEsF zg>p+fg$-5t(gcTw*1pqF3@@g5*%Woe>u4GjaVCFyxE?fBVnw+fq2<}j9je+%*b1T9Q{=KFXEFPELO48F;kOv*H zY426(9ygj_-LAcFAK5f>G6ZD=uue`-s~kJV%(!aR9+$BXREdh=7bhy06{PHX!uDSJ zX4LV>KyGtfuqErrDUCE%YQ?!~7W?_1R+|*Py>w~o(+)+NbeA~OGcfobO}|=LC{4B} zI*g(GG9FOTbfYZky=@m9mKT538i^{UXgYcJHn1ozuwMH1#`k!J-_xh!@ zJ7>-`4(5l)#x(hQyS%)-Cb5U8DG#%<@-DRPc+hrXZf>scjz!Y&8n@hxh|x2-G-u)) z%xYfmt_;gOnSpOnO4s5O5~AO!lZ{75S8|#8>qBRuPx!b99{FowVN6}Fy_cUPyi-$E zbqO{kJJ~-dCCOhSu?qm;dVF z8I<;3a7*bJEqycEC_6FMDz#;c>ihQgPd1(cujlGF+R;-?-o{CGi+B#2KV4nw@_o(J z)RaMe<>G9obpE4Ui}KY@HXEgF$MS6KdJfW@8P&WU9WC(wLIHMRX;(TcTg$02?@t@T z53-@pEd9(-WLA}@IY0Hej(_joGZGRK^wAAlUcG*u-X~%6Nh1E)X*$1ccfGVItfns_ z)(#I3rBh01%*2BTiJw6yRYPu#b44Lkb^%GC7T<+9gh z^`(>pw-MVqZkLht0QKt;~`) zSs7NYtLfUGy?y)kvR-{znH-hU-0$DccOnXM8q7)_O-XCLn91(&ee@k0o1?nA+F&W^ z=FKgDSf$z0dpia+JKEa?DZxz&f7Hjdf`cEhm#(h~+bF%7V!yQD?s+UItass?G^=u7 z-U}X;f32O*U+K`HLzPWx3%v}B=bvuCzbNMGLhHV%E?4xNzgIf(qaw*XzvqI*?AS;7 z#@g!Y{*wCM!`#vrcrV1GOFY{DXrp{uDgZm?(QX`&{LcpqY+45FQrg*|Se!8pn=(N7Q#S2`=bHM5D@4*}loLD7T`7OzVe7Oo^ZwuC8Evc!UB80T|LvR0TNl5S_LMI@ zo)c>?4L05?W#Z>AIhw0r)tInX07&ThM!PbHr=uHK_wV12y*OSxsA^-AgKolh&TA^* z?XA*81Nm_a#Xol_6|(F12neV+IXMNRDzI(X@G<>+=|sg&p9vA2-=pW2cU%h%4QR3C z0P5veR6KXFyW|wWiqoB#8I!1ph}90CpEK<7_-RSybcIj-Tuh6{hncaDPYv$B>v()g z-dVrNgL~*x#jo;-kjlmHcAsC}+F4^J76R}z^+Iv!1cenx#o(KBn&ix(9F>pOx#fbO zHFaq8Uqk}H=2}NJ;%qvfF{Ep4_g?O)*p(K zoG+J;I`dkWwp$lky}R$7m8p1v`KEDXr?6I3R2Y17@2jH9GpS<)z8A*F+B-Y19e5GBK2l-+!P{GH?e4=f9(fJ}2m6PI zw|8}S*R`gr)#1T^Z+9+#U3B@63zZV!L4N1(PsuU;iIR$>nSD_O>FMbqeIeL_G`kcUrk6|0cqoSkz-o{H0pgH=hk*Tm zddMrx4++RkJ!hx*e0?4BTHjz|=G&`bUkUy8oio{KX*71_Gwb*T1g6HGHhm7+mZaq3 zB6a^*yr8RGU_PEp8RW3@6jEn$EvGfsap{%U@MFjNOqrb$H zOLn8=1&$uC>0|n3ZfuGR{VY=>S-D_gOlX_Z3ctUw;~>wTPV{T6T$vH@t_d2!;Uh=DzgOMfbv97ay4`4L;kRa{_M+rYey)3A2L(|5r>0(P zHf>6hx3sf+k$NEX@%gu0!sjYBL8fqwIjpKGoqSHk)WX@>`9ryCtjzql{KIN$(Sgz1G>*z%A+Z1IidCZ4?ZV>=Y;4S?G(23nIwwx}{>Nfuycc8~ zFI_@?S663Rvt~_HY-})y6&R>W=GZ%DS=INeQ0T!S@tL)GrZ1vy-ws5-K{o;u{QKSV zo>I1zi!NXUXXd70HBc zR^+)*pf`RaBrqGY4yacj3ZTrTZ%mCz@}UU{n1O4%(fm6|24xCFAMaD4m*!z$c zOR{~g$HWBT^9jE_bLPz4Y^R-Zo^IdQuL0Xn-Zuho1zuP2@{+3$-}s{EGC%(frupU% z(Vst?B*=T}%umYV3PlV`XhZ9$!L5RW=|QD=!PUVS2v^4<=6^1Riq?bG71V#%|8|v5{gog zo1UI-f$~O~{P|PW%xnt~7Ap@=k2zs5?%RVs+93sj3X0T%Gid7S2G7rXP<(W<4rpt0 z5G`Qi#+~vJ*REa7%F249wjZ>qd;!XT=+m9cPndOCr zg>RQ1N^(FE6c82FtltWuqTlklf4%h{P9`aNsYJzlfM7Pt>3)7R3yX_v92{F#G*ne7 z`TP6x^72xssHi4qW&$8tdG2DUa+U8RV%wuf2i@KG5|zqGS5NQSlP6+OQBod0WIX@$ zj7JhG7StD;tHy&oj)pgZ0%<~0^46mY5LpS=G)z-*$xhSUeCyGpM~y@|FD7N^WZ~GZ zf(`-jf7tKt-OXN?FQ@m)%gcj`KnZjkvX8R1u{i)K0Na-6GAB<8tf+xFHv9{kleUgd zDjp}Gmef0lnjkm(jf|4tHXhQ{WW9RzDl5b$A0NuN6R>x3P4kDyxcK-JIy&dsH|+}w zfrz+W9R$dUft}L#8 z^iNKvmBSP5N*|h=edg!qMF#fm+gGCA+uh9#@ec}E(YHq5$Ve7k7m@C2^>{&aHwGTu zaE9e9Q2F87Hoo)>$~%Z@_wV1gK7KAm^DxyrTm&Ri3h&}-%D%+a&^CA6I$AQA4mlGf zPAk)2C#&Gj{pjd-k}6FFH4i1rX6`|ARTF|b3zZU3y!D5aq-3?FM2$%vSR2jUBk7`o zg0;%@pc~2f1rQJf0iW_K4h4G5($dn~qpS<`pz^sejGSJ6KkPI)HDx>@%ElH>4?#Eq z0?OI58<|$p#KpxCt+T%VpoFw^T29U}#@KesiVuO}qixR;X$+u-zBwoSt>yuTR*%o+kL>l$49!2ZXM?rpmYREU6 zlCO~^uAEH34>w9(^f{V7GBp9s9KYr)x=Mc5`#9tJ{4tOb6mlHYjMdiO*y5i#Cg;#8&?`Ue=R5@v$w6St-7~&vtTp>r4O>`t5-(}D9|S#+bu+{ z7h+-!AP9a)fG5ypFd$8^Ww0sso(cAz=pA+Zt6S=l)Af~=jqSwdy{`-?%--ZQ+1LbB z8~HStDPO)^{&p@)QbMBYqLf-?{M++mJ>?tsB|cI+d;0WgY-b7u!W4uxxDYn=?9ikZ z+>Q^>H{%x*gH8rCwP%k#qHWf_1A@J zPR}X$rA6-xRRZuSxwv=(>hsXh&|`*N{KA0RcCgvgIX6Qu=b*j4DBKWMR#qQWX;=jU z5)vH7#>Pa*!;dy`f9yYwL(QTxz>75_Z8|~m3QvrPK@HIL32kkE2$*U4`P%!K#y)?( zdLr#0d8+7I@B#eq-aQx7{N?+1d844qfF~4aN6ar5NGCdbcIV7Pol~b$va^{^ojTQ8 zgy*kc?6?9?k5W3AYxds-NLvC)c1^CgdLx+YeQ59DoCTr=(jq8Cu5H>b;@ypk* zd|;4_*RZ9CAru-MtmNia^j>YG)~`=XPF7-^_|H&qaM9?|Y{ ze7!69+BK8h_o6MuzhuP4+0R{Blmx6?72V+f;e#%CxKVrdnOIp@k(%1tuOczQ!9#(f z60;}N)K;zDtPuA8y*31B*efg`C&URje7Fh_a}N}=S>6ayEUJwAk1Z8T^VYC3`XO6b zUc9IZ;CJK3jmJjS)L6!#!WC#Ee10iYD{tPuZ30Pr?pNh9c5T@G}&cb|&@EF*$E{|K9k>F!fH zI-fT$&(XPzcZHym*1UVi4pmr1OKZ)yxA89~bncI8VJFkjt>)djb%p2b*nR*TvXG~; zbd2k+t%brHU8;&rw~;Bl1M+&FMHA1(&S%U)tGTZpOsjrk{`xVb(k{?`8kgn$Ts>e; zvlG3MiL$Prr<)WHojl1-;65RYx+PBAmz#)jipN4A+cVqlYdL2NQ{gtM#fa1eGH-lr z->)nqEBo4jhuIV!h>%iLOv4IB)D;Ias2s8+y2vq**p3uY*12bI@Gb%Vdysnl- zF$~?H__Y9kD%*M0pn51Za(~92LgIOj2lE($D4`A39ghN{qocdNvQbeWyiECRUZB9H z`cUG$^G0+uAs})P*int5h|$2scW|tK7`rv8R}^A#@oQ`*V_Vf(30MYMvHP5N0J%88qLW*i8(<3S zCftXEaYbdFS(Jl|OFg@WoNsova8XH#2?R1?H+&I6%?K=JTgw%|`k~BSJjv_FUlC>w z++6hh8_wd_Bd&mbi~*@l?|$RIQ7DDoE@$s%v_&sHbl$=RZcccs#of#6G~}jey?;dC zHS*_?;pI=I>JxIMq8SGJu7~zTWa7RE+3~2-g#C8B$^tXt!2C(x^H%B!GHh^p0^{R1 z8oKqb_;){+&lBFw;Su-IDb7(X{cgHqQhjxWW6Y(KXFSK}f3!04^$iXN0e*9=Ti27{ zS@!c#&dt7Y%;Ex{C!MgxdECFSL2$Uj>EzpDCe{z*r2c*8 zNth#f3=~La)(hK>Ud}^z7nC>T<)~1;btsIy{C7r}_GN8h67- z1R0@cWV}H=V3bp^t=$Ux(!~#tsZbRFw%w-c)>BbX<#Y=!tbKn$l6Vbo#G9NLat}rF z)Bz2!u2}<$xWdlP4gxkSTqu`8#b$`pf29`|`JYj5Jpg}3)|=4IwdHzm6;zMqeRKY4 zSGp6?u&9z>?5F30s8;l=$J6to_&?7efVE~k-$PuH&);nzT$+}Whhx3}oV7;wcYJQ^ z*W&-1UC@1eU}S%aW-y*g*U)S4cPKJ@Y`bKpAWrHL)z>n11DkyKMENhC@zMzep<8}- z4z6%~C`5tRJaK~R>Bq27pY$NWuV1xZgqCu#w}Sf$)I`|c5%|dDloTqsXEM$s94Nbg zy(pA8c}iz(nKFHRO5rq3iQ-*{$L$w1(3pPw_(4DibpK5hdw4%8nc6NJmhrWpTsQ6fu6>Mr%R1XwuIicM{ zobnzLpyd9L;Q#Zri@rbWyx7QBHq(CgdQwsZuqxcm?r*=L_7VC9E)7;r(f=b?-SdWp z0uTfC?h6qblE&&0Jx`OwSrq0yXl#^T?i;hy)1wY$U_(e@+;^Dl+h2xL`10jTCD>%@ zg3&*vK_G~#_3*Z@6D008iL&d_^1*6vm2Sf67cm>^-lU11N$n#8^8n9x^nXP8)mH?! zZVdr6;PYoiXQcK4;U;pwa;7#Tv|Ct7?+w$nj=al{C~f(TyaNNJrm4xUxx-^u`>bH} za7q2y%L`L4q?}!)nGR-X++9ae_4cm#w@PAj5goHn!Lwy#WJr8rT&qOVqHz-eWt082 zWbfuVem!bgpf}c8$PzDQLp`}%ZvTJP_3yhjT1w1zE@TJYM+!iG$oe}o9bM2Um)%T! z@4`xDdb!yTrZ1bC4#9`@XZ2gk`U9JX8sM6ij_$PqBjB+>?b4*gq`_QBXy`_<-Z+Qh z)~#VY@?5x2t=`#>yx(qSVPT3Kg3H}p?HzpnNCS)rL*rPRvc#vOvV3#{Pz4;)PB_SyGIWn;%M}_&|K7!B(RpHv_ORJL|&1 z!C}<-%qDj4rTY@cM%^!>pANTXb;SRkdH+s^)4Kdlc0u`M%_;yV6y!AL3yHUR6%l`bfLU zbGj2=BZc?2h{3)g>w=OqDJZuggLkhOqC?Z;BMwIL>>?exrKd+>NI9*}gbfbwW6+4t z5KtXsR6rG)gJm*WMw(Mp2oQoTY6yR1Eo6uB8!HpBegl3i3ROFE%W6~-R8*mQ^LS0} zANy3WYI*5b< z0Zygr(W8ts;O*TK0y`wAtGbFW!SJJkf(O_4b3upU#+#?BUZo?zqfGz&#S83U13y;k z+=}@f(82ow{KLY+_PbAe;5;iF)VHMdK}g4Iai(JqZePgV#W4%AKi=0Kl=yJ@_tzNw zMv$o4a?@|bNo0a}q^@TGjNgR6Y^J9Gt-8&Av>+D{e$bD&>PUUOeDmgJsYI%+xtWlHG7xVEXxsc_Bre$Jgl2Ably{L&w+9`egO%St5Es~IuGJ&(I`^1a^+Obid z?iZ2BgEFCYSHFBQ^FpB;N%kM~vdoXemmniES-1XNGQfH0 z`rSmoG<5&E_I*bOAX~U7@Rb{Gh>e>&oE!}le3HqqhcSQ#dT9Iyfm>WB3cHGV+}+*( zCMl}vHWQ3H+?r1MA|P?!*qE@Zy95(t0^{C_%O47?*DEY9Tmrxa59d*wZ;3=|X{)O{ zmZxTq#HSWqETE>zU}GWy`Ea&5c-IT-R(Z;6-38O*m6SZicnuJoERasFVL0Ms$~ii( ziQ3La39KL0LaeR3)YTM01+w&5LxQu>8s6Mh+zhz~I=_n2i4$yCt;biEy*J6&Q&##> z5$zsim6%Jzvbiv2R&$``)VV!oB+#m+<#BP+TbJ0S0 zCLG6)js-6J2CM{rKt%T_1Xm7(uH%C)Ixa?>9tf42|HJyo!4Sb;OiT<9ji9_Y347Va zEgGL^pLy!GyPPdGIhjIYOpxaZ(Lr-UCnOo2>A|KKh>`5MJnw|s{?cFvXi@GSi5^=xcGH2H0b}a>Vn8NZC5=WD@sLTY9S%MP=dS6Pi_Nd zB7Fg*5{!;~2cdp>d2CQ~fW@O-XbBZL5-pgw4RS}|+Q5T%@(T+1wrzWHKW2xl>_*%L zrSJRqT`OK9Yz7y?bnHVOcybVm)|)mK4g47RUr1P3b^m@}jx|uoPn&ihG4y;~Pa%Uap{*h!w<}WWJ3BXGC(tu99{~FX1!P;dE)dL~ z4|=q>xA($@;w;>rHrPAX<@6){{n##`*20TrUcaAkFrmW1kop_7>oPSl0kqsQeFF+j zgI|h6FtnLEC|ehmkK-@F0wxLqw3hf;d@zaD7#Z!=?7)jC%-S>5w~isan`?T0+ekF+u$8`lQ< z?)>{RW~isVFq#Ae1;54FfCI2{bIU9J`%GgEfth$HUg~iY4B(xwdqH3YkHtN&f~GE^ zO0Gt)(pw%Heo2_Cy?xdE%&7T;zaL7&qH(ekYN86FzK@m)wS+iGT31suO8pkO*mFcC zJ_Tn6q$EXqX}R*YR;DV1B+~m^SnHb)FWMrYCN(IzgM$&g;&}aE9XQv`Ep8rZU~ZgE zW3f9F(xM?;`p3k?ydfXk5^jR)mBqe>PD_s;5=9c?Ehi@yFHi=XZ#&t1P$mHyk@I^+ z0s?F^*Z+p+iQ57o`JYS)Gu5NqaK6+qH>l2Jc(xeF2T>>d+bRP*hOzj$2JUEmjXP%X1t+!>JNeR;ku1QIpNdYv(d&RfJEayTzv{`BdA5l z-CXxPQS$ZMx0OgnLC~myRmBxvf4+IxsrA{befU15fAtgb5ZFk*XcAqa%I^gN>-XQs zEui#2c=%BHpO;89*#PCyCJ=%5ZEZ(9I}$;#(8GxFQ(CHKoLOr0wXcu&`+>8+VskvZ z(5_%l$0glz9{9jLx{{r;G?ROUiZWg_u$mGjwa{HWUrQ*kGX3_KdY<&z@~hf=XsuaP zTzx;xd!9TQEm5B3j@5vC1*t&FxD~4a+k`~a(E*T7L)UoDysu?>&mDE5kRLe`^7HA# zhetmdo;rOx4Q?aQ(u2&*;b%cjTnX8HN3+^oHfAHAL`*%K=xo`@_O$i#+?hpjGrzm7 zE?fX38WXF?5ZKk8wxiwV=FD#Zq`zYL^LCpXhPe}BOBc{4T4!IPB$K7WkN`|VxS(un z)?7tNCe<3Uc0`1n(P5gP6bBz^o#?a!`d|R8ESW;3_h#GHcDTFA=%C}EG z$@yWRg>K{=&W6zL-G^Yv!z3q*^3NhaQe9D0#EFATspzzt*u-C3TT22~gmwd?Ny+D{ z&WcJH((%!P-d@FQ0=VsA#Z`=qn%df1X0m}>kCY!jO&9d|u_zvFL)jK5aom$jX|2(B z10WHa$?k)4xPkwY4kVBuAi%bEZ2$%+;y0$T&z!#D=e~~D{%?Jnv{qshSlpn##fJSOy5VKoE8@a%#j zSB3DpRai6r?@FYd!5Dx6j=fAhX}~h=&%iGF&jR7YgaHf|A4tP*+M*K(!_pNdSoq+< zl~0~NO;6T6bB2L}hkr|<%GA`9EFCazPj=k=DI1$zNL;6f7djvM3iw7LUR6BnUYHqx zz|*zf{$gC=%s&= zGdDk)3+C&KHbp3kh{)=~F2_|Q6hz`TfG3VIYPDhiCrP<;XZwl{dU)ue5E!$-c@A5`30ZHchevfTDS0fnuMoai=9XY!5$wAtIG#}p;VL}}TB>%E>*3mKAOU#LVCKXL@|tNojUWiIAaG@SkTfR-Q^qMK z6Jj~QPa#2CVgq4v1z{=N!2yh|V2wTwNbg`{UI~;=c%;i1CmA?^W3@k1+XVI(0&U8$ zj0BG-2)W*QPglz?@eLU)3@X(1lzTcL(~syMA0OZT`Nv_Akruo8!-XIZW*kqfK`h=L zK}>v7HJIV;v$oX`elK?+@Q87ut6k<1mcTef1Bcuj2E{)0-aT4;P;1aAuHQX2GEk!2 zFcSBESXQNdd1|ZLZ6oB}F>Uk3{iDj8DCY1xckW<#Wyx1VaghTx1my1pCKSR!q>XXe zu%h8!rS4C|6a%sKNT?6~Ln@>j7?!#fUVC-2b$zjyUK)H3CS;Xc*2M^70#IT#L`Ra& z6E-Z1Ef_izmBsS4?&`CCi|7t1h^$sP2F=TK98`gWScC$%s zAoE}GMNffK4EsGB|Dy>!Si`G!sfAONQ_x!uNWNHZ^x)+F9 z=6U^gTzN1xUNv2-AJSrVib~KV#$Sk1<~EXXe2!tQ zuOe2>pGusw08H5c0?EDCT$Flk&>AHk+uPA?qd|A6yw>;Q#dUbf&wf^rKiai5+|4gF z1G9t!#8X36K$bZKNg6MVyWk+il;-n&&&sW!rjXhqc3MmnkGH9M)B6SClEy#7CnjSuOtnR^yv@asVae*~|Odq$qJ$;tp z=j=}R6mbs$>^pdT@WVgL-=T}mmJipEpWz_LW^S^dkDb%A6{vw^n{lB0;AtXR#=3re z(DLuQ%f2m^`Bt9&H7m$@(adUt=uKwIz;H_BwOhJnfNM{myS(;f#_<3cO8C17@A{!e z9<@OR7qLUXviKx!}Qm5fHh&Qi9lrHgj5FL*j1#qwY(X`$bS#%(zk%EAi zpsl)jdYa;J;6BUi^~T-fPAiVfAzV!ln-^X?RI2Y{IUuFbVlaf&*H`V=k#N^A_XQmL zfLp#*3TerqyFuu2zUl8=(kBLLFz^yLa!0C+4ADUtfNM z9lsS2-TuqV>sX_lNLd!0j;G8|6*`PWjUfDCCBPVqMjw>|ZJNEC^|;@exYYBk=jCj2 z#&;{%&SyQgy`Ix?Kh3t-VQjXBv|U6eNG-WunsD7BStB+7)ytQx@CeMz%wC?VVXi&3 zO|h_`AOwSzRn|UzI<%^)O2meEqFJjH@L$Pzpl3o%8>Tz>D8Yz^ zA0GH0Yt?HUZbyJ&?s{c<68i)jD9JCzpjz&qnw!=Il^&SQF@gV8?p;wne5Mm3?MVvj z?(&~nG4qC=-zBM()Z?XcI_G6IDyK)yxLv+~+6u#J5fS$*sLQv@TtCM8zctoNEM(bsJR#~C3z<)Q=VW*9(dfr#h7+^N zrPzBjv(A5d&UW!!wm@+(d3XPqW6Yk^m+QEk_a%~`$(Ojxcl8$!-j%SrLE%+EN=Q91@cAS44deB~g@?yVL75G0v@u;QObNyjo{W?HpUJV)T+;t*;LPfrmKHxH z7>E6IEbi!~$O|n@>~>q&=8k_N|oqcx=M?-NxZt zNrz*2g-)%Zewjku`)*ozaM-=4TO}`HFyxv?hFcO(@U}!+QJ)pmJE+zKGekul_n0V+ zuV@(m^NX%B@wH(56TXIfUP+NJ6rQ|kY%H^gb#MAJedo!AT?RBXe)}sG6KLfyDL}0> zQ8v9=TD>g`nytps^e4R&5AP@5zFp6pm6OA5UlbD3@Hoajbq+HoFI!u0Oo-Me#Kf#$ z#3mb*Wy)d7zhW6(>v24*ashw+ipD$cDc`6z3=sKdynVa36;7ZEe0gsQe?VL zT*_@b*ILFE!$U*O=$gM{7v)FG(>8K)vQi4xWgSH_jEYx9MTMWgwWDJj1(TBZr3|gD zN26|BOG)9QO8)lkoA%k+%Pdru>6DP-o?*#{33j`HZ%6-kNK%ev?xq|+em2O=FzP;kEVZG z(W+7`YOt}pyZdrr`R{M>y!<3hM5r{J&|rGUVlUOf?oLdaAYej>75eOQ73|lDe=LcZ zwHsO`oSdBtxE|GXh($g_rV&b6SgFOD2q|0vcIhPd%1bPPaV+z%GX|=)n+}1bLniE# z4ci`2s9uTq$tDFaH!ZmfRjB$D!l-6{j{!9P%@R`jcyzt-UW9@vkL6Ouhr_T-f5{%d z(qzHJ#6(L$akg(-|L!Ms)ps!NkPGjMoQ7}IyT`@GQYg?W-Ups5_b6y8LNBNI0DeI| zf}OFF;&az~KC{=Hi?PihXmPPCQHht>ztofun8U#s6gQ=6^U`F{iDma!Eqdn_pgiFM zIpd}6zRBL)Q|P_ufunfr!CjqAmdnk8K{N01T)sy3A9s~;u!=t$6vvY9-t*nwgficB zCe2*zivVK2zvx4zVMLXcu+YkM3xFAa}nTySk$xF{rB zS|3Qx=~6iu6Jnz{Iy2hy-`?IFZEypC@YQ*<{5}8(=Y(Hyv9e+|%O6mvqtJvtH>08!? z4kP;ZMfN7&#=k4bwrKZfJaIF62*Z%4K-jbYPH<|B+?XSt8c8Xt?o-+my-3*ce_a00DM9btEYl zz=DmkhB1JqQB5S~9ftM(BzD00rKdoNu`0_WQ*hjq`_{FUmi6GKS)UfE!*`RrxS6GjHFr#UD5z{WeEP zFtkcb=s7qPs^`z2&qveTAtc1xXRGG=*uCMaqX+m~k^6>?8{fgu-L9aJL@t?PiSWx} z{ark55L(Pdsq$YBCZ8)R8s&|W`LO$pfv)ah>-KCuh)4+TrY`@fTo$;a-fpM$5pn>I z*7d_%_z_AXn*?&h%!bO+(s;uwi_VTNE`rw&tHNx|zchFpPopd&^#uR*=93!o2OyDc zSralJF1~l~9iP(3`<53j{I8|VMR6)e=xGZp{SZdj2V^((EF!QchzXi`$T`1Pn``=g z-~8!|XqziyOE$d~i8w6{A3nsw6j4K(^TNPti;~*K3aR2#=E+{7x(aO^xl((WX0O!z zfL3*RW^ITn|2#q(Z(M~=wibO5BP3x>h^iAf>Pcvdz5SEQ&LeIB4!FG(gAy?CtQ73&T+o1F|ls{#hzb)4f zlh-+P`CU*12=I)12KY|J*>>(>>|wgF9(cXQqb{HwzgJr*V`?W2lMJS%p7>?NAuwJ+}X<%jz~kDx1F4+vO6Hr|B&{d|Xl z4p$eKRt%_WNJ&YVnVPDg%8Xx{Hx?V3m`{MJcRctjcP?F6^-ui{!rprO!#wdyo_r*F z$+Ko>XP-xkN`dd0Mg?U1X2gS!@Uk{zvu$%uGb{T>v2h%={OT8y)cYbDKvfS}90pqI zd882!K)m(}lK2{4S)LRO6>Lc3$~^l9E-u7d*~{_H3+)pps$F#jzJa0UU;HR0CM~@U zn*rNBHOA1xs-|m&lpzbJ-wA`@3bTeAM+)S_^I?K}fcZDHv|LA{7%Co2GHuW!gOw7% z8>j*t?CdJ|9lrE)z4hv5!NLd~h1j9rm*t8)W_Caij?xsm2f6Y1tIL+DYgog3>9*=< zYyXd2g>eOf>iaS?l4=%z^)|`(UNesMJfupJ+lZ|O&ds^$o;{1OI5$xXkVtvs>c$=c zs*bXPh}LEjltviD=u1L{*>FUNLK8}jP2Z3_)<)3Vi3`zs>^`G&ElSAt2Z*KmX z@|n7*zdn42WAP>+%fH`p_sY@+phvWojc`F%BCL@(G0Azp=IF6w2awny@*qTa;viQ3 zerxyGdvX56mA>EF4l^UC{=QrVq4MV@dyqxFiYyz(6mCv5a|XIf+x0w$+(D-2!E8(y z=V$(2CL3F|t7X_q_EgKU?f>58qJ-`BV|tn>29T9WxCSzjxqK9pIEB9krX=C0NWUWm zO`Q4Bj@%cZi~VR3uEEhdcsmd|b)>Dr2Y^pih0T&@^-d7{CY;>G8z|ochz^oa4a96n z_@TH;Q&0p9RDG3|J5OPMgiDc^=Z08Jn7(aq1vB38LPRm5UE;B@h186x zZYq+6#+o8)>I*vvLbm{>4xnUs1<8Cx=H@f`Hjr9mLib>gkifYc9@ZX<#)SP>WMhp5 zZ;X%I>X&=0?Y*)rU$MO8*;V8~1DoqZk%IuyI$Y}QsqZu&Fx9}JLh@4Lf7}%$7w{z{ zyAJ;%5Bc=ixVRtOg0*2Kh&C)NOgE8T6R>K%{hwJI&W#%hjV6CsCr3}RZ(>o*^iZbu zXXt=rRF!-yihI?oSByyD*Irw@^D%@f#BwI_d6qe4WeGdiu&-Ied+R89B^3h5M&N3( zidPg$bsVVUByermKG^kL`^B*XRsBgiA}B}zCJP>20Oo5tE$=WK%hcw_6Yj`8cL;hd zP9T~$v#*j5f@8c$iNi1=F_xb{f6lFr+2DVlCIS(&C zwDb!ccM|_4>i3o{v;ZT*eBuLZ*izs+5k>vTk!tKS`^9c8=1C~DO;HCHF>?`%iQ>%;ydABZU&azGGBtF5V_ zhE7=vp*aYThhI)EL4KFfjXP@&nA$XBgW1T;UCU2D?Kgda-YLRA@L#dz9ulyu{hiFsyLog@RWf%+1f^jc!4n?w+2t zZEd%{Z+Y_=`7bCUc$vgzoY1bF@P7c?DHJrZf_gRFBV1)8GqdNHe!g+jJbn5Fce7nr zkuP{R#801K-gTki(zL|Bq@^XW9?6{SSTl)-n6<@t1c_?lZxx3jE3Yz=Rhioj6Ac$MMl({z;Pj*dab!_Xd)X{v5( zTT9*qh@ml1v?jHx$xNKNty{N}*UzEQKuIg&--G)=tD;cOo;~~M#OKk`*K4mKRUo&U zO1uTTr>n$ym9%Xa@j;-BLDvibq^9_!r*DO&#LCG@kEk&Wy@&?BVxeBZ<(sbV#mD|p> z{Xy;xKY4IWLx`iMvGI`xpPhvT9lG9!&dy788ZJ?0_0f3A#sG|GlEQ@Dh#|Shu!_hS ziP~-94UR3zCC|xpInw>ed+bNdfh;=E)z>GGy$dGp#Kk!txc4whd$9m}{Kw7A%k66W@cUkb3{upQJhs3|7bZ&kJxc8eg~oH(*t4Y^;)o z1`A#~DJm-Jla$0079O60P~glpU|A(z)+#iL@4TiLFJ|w_TSa@-TchCUmNk~2y6|)m z87#iy>g=3?l~bh+QKhD!kKmPdWPnv)1ZhONPo157xR2J>nzjDrp<_wfboY`DJVO!G zW9up9EqwaaG}6dKFbq`;qZxQN13P4p01S7Nc`$--@OBHXwsUb-mX=C*PmdlIO7DyE z2?LHJ>7c)i;pG1N7{RsG3d&5ZtQh*P6gPBrZ2~J46&D}4ZI>+f{*v6<0Ojh$lJ7a0 znIWDSqz@;HxsbH?sASTPCPYY5Fk32iC#=+^SUN?M9y_MMq{PA(3PF|>6tsv$h4XH8 z*XoZPJ-PcV1^}e9kvqaGB!@;uJ~QUwP$A9a5W+Thj{jzZ*#(A*N@~qhlUA*zliI_H zeWwC;O;*zQ*%2C1#(Ay)jFh-{o*B(!|)9 z4*`9W96)vsP$6*Rn+O1Nws(V_)J_q6+8Z-R78>IcNMfH@|EKlXr zr|d2+F070J`hFfl2eLsj-n@BJ^!ap~?!?F1S4mf^)FrYl%?`eWW=o;avG9D^yC(3C z96k*}IyN9j2qvjzWt)I+RsOwSg1k|rT~jX%Pb(+Z0lWRkuaXsEC zodnvFOEH<+#o zp(U?YgrdUaiP^1>PgY<<6T_7>48XO1kO+$v12P0&lYN3Q2(O?T(J~Wxa@VHGNHGzg z9bpE0I7yT$NF!5CSC-gE+jIQF!6y5BKrP?|;v|=iKW!zvD;s{fzf`y`Jk$0h_*Vsi*S8 z1edy!%LjZW@u>2>E&qORf6AH~@dwE*oyW(e=H{wPS1DQrtdxFh7F(Jmh>RY+O^uNg z4B(SaqqL8kYF^jZD8fd0)$+XYa5%fV`apZX+}v_%D&?~CoH;jE`ej=J$Ufk~i68S4 z);6gdEZX~MEq!mN>Ej&iOqy55q(v#4si#CdC)_+nui@cVvI~jhV#4`_I-NB;1P*Gm zwmBPN2gk5i7R`N%YnRQHyN{%-0}Ir{>I{mczAat8{Mp*CQ-naY(Hk1QJA~Ck9JQcv z&J1QxU!HittloU~I`t;&zQ1nyA@4INlniM$YfXl4C!y8XIW62O502P2@eZMjxt!)4 zY@EK;j_=fEnoyS~>!#yxXCD{$wDebCy?W}Z-x}>Mz8N$2#B>)IFCjQ_n}DGBXpNSK z?s{u<$L8M{5E2L``WyB+tYhg+L)5bVJcf@t?M#OI{hcLZ5QhG}H^k5xa{NYKT z1HIjq2^j?OxdzBvd96Wr3AEuQd-~pRkc1W~(y_lzxO>B)Q_V$>qUcP6N|t`|0Ku5C zv9U6XfNVEO(8ANF2P@P=>dm1!ln6EaC$(6DYaZCuZW+@xUGD|noGB_8o~E;#+cp#k zk)*o_As`tp480;o&Gg#(Ci8JeZHkNQ)=08bJ$b zq~hxm8ODQ$59Ow}(AEjWD??vQsDD3R-j~5i$_mjeNx6bn2FOxfOKS^^xf*Q$tm6$s zMkW#$Caz6tcw1`4=fy_ZQ8jBrvmwY}#g)UIi)f96^Y~f0k-b5q?Sx{{`Xs>KVe zLC9(z9VHplEDk-5Yy}uefK%$Qm7biMqAfasO0vYDY&TS>Yq{QFovPicRV&fI#HW1G z{y%;IA|Jo9ks$9I*}l*Mc@eKx8!=hUB4X>K)gsW|Th@jDrb&GrofQ`qCVdjR?&tZ@ zQR|3@?2K!UEdD^Wn-OKo=w-zeD-O)&&H8q(*BG^}K=U9f2VNe)H>P7^~KFL`^fd-jwWg*UCu9ho`LL4%>OiPHCPu4 zD!DFXnKg-GXfQi#hIDdaA>)Uo0~38~wAtCNwoGrW)2xM(pe9>fqedALhbsaO_6r+2 zIE;{K9xXyTW##2H$8?y=c+K}IdHuSWL|L1aD|o#JcSpC2tx z#>OT)XUC(_Z{h{RTY%eAPXgZY<#q=m?kE)^?iS&xKaL$DSuvZ`R9iT-q)Xafy@#y z+Zs_H4VrY)tQ=xWLt>;_OIe1U`^{(1bj6;|JD|PF(;iFFrs1FMox#3tE9NRXEAq#+ z7x$&T=Kq&&kDNgY404rg)g4=CXk4ZF;z3xmt-9U`%c(!m=j|Zs5Asgas}1XKwgC)O zQUHYanhNPMO|M6`-}Hg{CNp%`|LZPdsL7|_4{P7Fm?_`p@u6V6mTU+zRbXQv++;6< z$&pyv&L6Z~X+i575htP8z}iN(P3s$6WTZ=>X%Bq^`g(-LDghAuD$}MtH{R;^w%Y&M z{r}MdfCjyImw!Uq3FaO1QN$YHebP}N3oT(lg)A0n!X>CfuYe#h3qpW*^tV+rF=z2K znem_M8@!=v;Wi!~+V3-)0_%dH1a+VG#-n-X&Yh)76R);B4r~_BxmoWo*s>)qMshG8 zy)AtietRj~-8_8RRh?y$7<#^{;Nyv7)A9u?iX zAbv2V{l7#2uzaTzqKE-(8={vFakJO2|1;7r*jaNgsEVLp@WE^A4+6TEwFD*K>rUoA z$t&M0xn=t;!N758_2)cY6M7jhaxW7$xvPW3ojP^Odh+BaJFnc&&)>`?6%(PjVM3P- zQZWSA`uD@iD+7iPZv>;a86nSJjqPeCbyzk<1q;Ibb#-bA_fL$@s;%3d?do*a4ry|J zdD*zc%riXcf(yDEz?_kM=1gh3zN+-DQf5%r>u;(=_Bz{A6~aa43IMd{nO{o4gn*6nN+Pd|WzQPyHMQoTU?nt;GQTbU%DU6s>} zv}JPxu_*a;XyZnusq4Pax&-Y1Z=DRIuN$fvrnd$14C?MXqNDeSj@PO0CSHx|Pih`s zdLj|CHMXZd4ZDt^lzFN`Z6VPZVB2EY1ZKJP=~ibs3V>Rn^4`$y37Z0)Ga?{4+OTk! z+`a(NwL)Lbq&OimP)h^BMt_#03l}d+!1m=dt?^VX60|TKACK7DmR`L?Q;J7?eJU#e zvI`@!W53!Q2-D)&zxymv@AO( zCqJ$>A^RJw+itLLzX|X_k;<;<;o;%b<@L9n2M_u)H9^k3{C+%{)#yq2T%d+@R?_i+ zXjgCE+~RAm%NM>DRAe`RR2PBW+jy~ zLp8Ou`cIp-KGmJN<;TBqiPAn^yXd=`{q)0|17Q_fcCFrrX1K@khDSy3Su?nOQy_}P zX=AqxZ5Mcmzob~>xe*9dmoaqr(W9+Y7;%dC@f{D`Fx4Qda^K{Q^ITo)tX;d7I^r64 z1D(dS*uXe|&vIV4u#x;zaBwPkEb0qZZ{N+E)BRc;V`-=zw)V@!j?K5~>2w4HB1L+8 zll}eD9D2sQkiJ;ZlbbUqTfGNDgH{jHA6wgL^yvE=!j;}Nd<)!x(CBk=@Zp%*`cw7} zt*)w?K7W3;#tE2HXofgKh=)d)EPM(AL%-f$&`r zqk;mdgV7L8HjeV>&StRn`tMzPt=pEK|HvY|@$zLWm~9#oRTUML56SB-*Ob;NyE=Mp z+`TjTF6cpC&n*xw4+eE1I zNaT%B`aGJQvNSTrUODg1o+{7y&_RwVYd-VsR^N(L5?eX@EO}Eqbwi&aM`zzTzV%&l ze9H5$2f|`T6zmxa>I(3pw|B^0);Zv5|M2B2S2p%Axb@`8B}Zcf<2O^rYXpH0YEMI- z;T6}xwJISj!5M64*@n*4nC^oV!3mI_ObAFidW1i+Ql&UWmosxCu3T6VI` z+~4uI>)66~wE1EBS_eRV08X6r;-me>|C$8sTCty)KYn$H-X9Wj70ezWEN$yeU|sNh z{RCLJcdVu&awdyJUMwc5SoOTBcTYC}MV>l+`h~WuWrO;oN008-;Y;gdhQG(8+uyPK zv`RlHtAp(a-EL!b$7)nt{sEGT`!>E|kbV1k4MBsqvR?WZuG7}is-86B(Srwz8?FQ# zkq$&hml%2K>+`U}cqSfE+Df34le_PJmjZh2RI&TrqC0M1 zg10zEkBO-^C@d`0hpM3|#YfT&P)FoCt@&Ml^9=ix03i}#V~Sq9P;T6KhgFJ}nn@@l zS3Eo*1620FS3q~e%Tr=Tyk9%}R7^?ASEXn7?wx+_)o;x$WtAsSKX~*qf{y*Mz%$Bx z4)9w3F_#4k8d_Lb(DZO^5qH*rhk~N^@6zJ)*(1&F?CGoxBR{@5^^L@wm-C)7{oP;* z7K~8&Wd;W3z9o3e5W~Ha*o4gC$(O>S{*^2wxtXB92?seQ)klGX2ohM zCdtI62>1!gMg#QvSz&&D1Q!BS`{ZX>N(iec!re`nlZpBe025$Upv${=n?UpN1Lp;~ z4I8`r^c+-EH?pz@fcL`{B!3mfLE#kk(HK+D4hpgyL6GGfP}h$Yq@i0$C^9mN}>lwj}f?w?7xn9&4Jy%US>OyD@$TIT)b?V zw_MhgDTq6->zIzMJDU4lk=fN`E^F9f?twObvRBG%l_AT=jU3yK(J#<;TAB*l3#^dR zfP7sSQ?<+SL1dtx3^Qu=S8v|@NAAGW74ITa*lJ~J6|P3Uc)aF?)X4&90B}Kg|k3$(D5SqCQL~$q1=JJF*p@ z8U4iN5H>%SNO2IsPr)&XnE)~xlt$=si*Niyl6o3b$9HMmBfIx#;@A-J%b7i$J8yHV z8arl;B56&XRK7%-vjz>)z+GSwk9{ebivFsyCS#in7eN_t_$ z6~X0rZoXwS+U_qIx45jJD~A~f?MR;rc_$1$J!YE;_5JC@V`}vcjugn!{okTJ+tM`(w!2LiH?Z2vU1}`I5oq%8550 zDpvLRY;tU%ev@KhYwhi=K~s3?x$qK8mo60^6$V()BapDn@}=iAT@B~Wpa1H%BI@^$ zqoaaDLiEW0l%zPyYjthyTX8$y`?5ul)gpZZ#KPn&>vZ6w*#D({lbFOvy3R9lJj3)~&Ycs&e5#;x&9dt}FVS)mz;2wq>9^5zCjvF>`q^QJ820AfjiW z_Wh6Jwa7Kft`#}PFp$6)qC$k8Mw}o=CcS_EUa%pg&w6m}v?QLsxAs#KLXE!!mqpzu zj66v<0qD`3k-7yFhwYjjypa*UVze%WG;NRj>~?&Sm|pDLH-&$R+c5d;oF^(vWDLRRwRPyp8wK>?2i>%Qf^Ghmyu1%ObgqZ3$A@)plF*;m@)wC?1D}~ic#QR(xN&0f`VQOd?Gi1Q&(D3iLwV1HhA^9K+`AW39pAh8cD|T|Y+VisvpCU}II2GKa z$GBvdv!8#=>0UQ0q1k?$h(lOO@9XdAYr}RtbI~G4!Q_yR&NDlxXE{BVI@@B!`&2?} z&>Z-RFO?;T(BzI6%N8{kF^ysa#=XkcH@|^|KhXKIdpnWTOJ=x__Npe;%V3nUs<3cTS5tXZT)W%Olw`QSMxmt@-B zDeICsT#6m4d;^HnN|blHfbJ4N+imKl-rs`izVrDPtK={kGmH!dyX@Piy=$uDXry$Z zkW86}4<4v1Zr!<4VsXITrQN^JjrB>*2_)^3G)vn-RptckA%c3bE{-zX`zzpaMT;e+xq9HrRk;3k z4B6?Kdv-K^?LEAM1F)pakA&iFuB|-;(5)Nd)I|4+C&>fAcMXu4vd0~Ux7+PtaKHDI zVQJg}F)LP)&}zF95{wZB-Xjg8BMR15C2&%;HULd0{*LRJ6}dGYP0iG`)nfr%5KvOI ztUJ5t`Q>$mPe){SXea8?xrASdY?|T4s~;%dn(#U|re_@sJ%4Qc`Z5c2aEjc!hX?(< zzMO-~l&!f~r_9Is`2)q>m~)`dZU+Yk`;N_bk#T|U<1VXti+S;{u zug2SV@0Nr&?ogsO>oO+bHY(}84?Ky;`4?gOkE}AU*yqJ3eZzc0JNsM=vnvZu`_!f1 zZ=4jn?b}E8`}NlGSHR(fIbAw+lB@m!#WARBZ>y?jr6@S&piKMqp$j^K;-3GK;IU-! z;!=~_tg^miOmCqsF4|bP&Qs&B?;j3O%t1Kiw08XdS#PzTBY83lSkFmv{#hn_Dj9i} zpKj>?%4n*oX+J7@*^R882fV+aiCp}rUrMY~;#S4t$LD)iqUKv`Us*Ni{)+ocby!8u z-1!J!;_%Yc;|fjRLG$JFay1Qh!AgYlI--sonVDCT2m$q}vND3@Yh-xK@G+0G@GSh8 zKY&d%FE`hyG|4vYP9LwF@%w+dpVIW*ZDFV1X3niLuXL*?)raQ(@Or(q_~h}secznw zn-vZaM~-7yMx&OI>$YZyWVc0EC(}^(%E+&EzH*9|y5jWNvq#c=8;`~=V%DqIeUR`Q zXvq}0#FBDU*ZOa1ZB!MUHslZSU`OM&to)G~Z&7>k?6IpMX6q@?S=<95?~e~4@8QG2 z1neCJ<9C0F^0eyV2H#Ip7VJAZ+mmi+8R-Th`lk1lQ^AxDG2q-Lhed4vg9v%?%P{lh zTiZ9S$Nc%hx;uvwqt*sN&teO*rr(VGT0*PCAOn+$)=)y5jpUk=U?kdwf=U34rV7#P z4yR-|GNNNtM8rmj&tc@>T3@NG4p<6gzi0RE0kWp^Rbi9rhWgwgg>8Yh?9Y^^E16(X z7ccHdL6YQkPgo*<=XN6v_nsw`_(%Do^%gOolM&O>jNH0;Q!D@b_PQ|(auF+K&7#tL zRa}gaddK>IUBca|2;btE<3Ze9+w;i*lLwxO58Kq;mH>_w+j#HY8+AiJ{g|H6c%^04 zkzsMUD=hur82i4SxGn`4{MFmH509S@jtY+iSqhcR6n~HDF0o(j+B9uyqc9EoZNBPb zTctxpOtfqFsk-_f#WFz6#L9KhB6=GBG53$coNF4{B}{NokfJg4M8&)_T`XVXdffFW z325L+z|py@eR}++o~)<9KN9QMC8jbZCB^sBe9MyfoRXMvZ^A6sBsqtBeyXRma?+Qy zE#sGOn1uP&k~4>@!vFj`=!DyzG45YH&pKd%+>nO8BJUXJnzgKRe5g&th**vJ)2AD~ znqaV%l+&GwiPcfJU-r84z2Q>~*oVz`RN5rQR$1kI!IIuY@re_2Og><@emvVeE$4p^ z<~8e{g+B}5VP}=Qr?Bp}wMk_W9TqIve6DP+>5e{K?tD5C7Z;$&MZ);QvtV|Ez^vCt z=;k4upB|o>p58=(@ubLSv#)P6 z1q$@*r(XPm!(c!R?z%B**Q8;?ayDe;n%t(liS;=_iDlch+pzeX2Hm;^@FVT2kL_Wa zRQFlldt&st-M^PiyrU91?+MVC)qSmnx3%V9e)N8aSNem`pRX49-m)*jJ@R+pM9taX z`Ro+O!>hBMSMQrve=|PGD$^Bjs#d=Wuy22j-4XF^`Lj00haIZzeRxs<5Bnzm8ul?_ zyW^if32HT2#mX=iG!fSFYMZN_7#F($VQ%q$c^2;^|(tCZits) z-H*2&F8%y)k?K*juOi@;vy=t|45MQ_QEVuix1TEKTehaRrmSz&Zqwv$Z9ZM<5K8Ar zhaK>)qR^Kjz|wMU-m!jnVHo@$Uh>)B&(1I-@OIq+H_Jk2Tq*2pK6PpOh%YYtW`D=@ z*)Vx>-1iP6&BlgcRxzfd0y?|zH~y5TO?-<@F>6x34r^m;OL~RDp^CR}pRHU-)w9q( z_8e10*&1H=eJ`v0fp_@UghwAEJXyl;Hh*rN;AZignoBix=Lc(@Tc?{eDSU^HU_d~K zUn!1RJw+94O)lKwa78ILnz5}0?O$cqsY{pk;?FWIP5PDIC$AV=iK6QJKgWKbOWP7h zsew1O6dODX12EKXw)OJoSJsayG0}}W*KEOXN4Fk-SAwT)>OTIEn4_bAux9s4Ul(82 z|MBFAau4ltm*I=L+zIe!ta#8=i1S6eUt!WKux+U;pbILN8alTt`xPF0VP_%B1B!S% zv{HHZ?%7Z{>!A@){=HJK0{X)~^{JaZ6|sG{pwSdss9+mM-*|)>OsOsH(IbdyaX*3D zQ}?;|@{GFha#4-P>i>E`NETF+*0_I#s2NDv3sgCfOCc0=C`$c4D{rmpm}O^+>uZpL zgrVV|)02N)|B7`>x@Z!IE5^e(yt`q-5-(VnlC>R$o)F*dwpV8bs{76c6(?WvM(b)b@5 z)rad`-uC%DVxPZXsnDArKW}`|pnm-qR*f4qD(HQC#7mvh&mF>6&B$H#Vfi=lX5C%` zAHCZ!1hDZw9GiWY7Nh(3zZ#tLRRW@=Dn;O9Hn+|D*hj-nEd!2R8T4U}jIBN2IpDE% z7rV&f*8zdI>Z-i1j<~+A`~M8C9G6B}XIv1DZbh$t^ZIpfYU&3St5mwJ1_zU!{e5|P zzHU3qk#m3C`SAZUW#u1VNh;0`Q2oIyjwD~&LA@VlsZh2?i|$opL|apll9`i*c}bi^ zP*-PHR!mj4Mi`Q>`P2Hj&h684&Zsn=?HPG-W%$5BgJ5Z!v7z=bH9dlwKz7*^D+U#f z*oUO}e{5AxqP-$?dyC-d!{?2<G$cUE?MnayCO**vGIXwQzsc*nE|wXcl!M~0K|CX{{7J| zJ61V*bxR&&c$Aor?Hewx>^5w3N$}hO%j-MW7_tr`xS&A)>&Y_CzP>9YWH7mcZ585n z+jVp1rSx3~4-TV;>_FcNp?nA+?AZ*hxt=;z29K|<=s02O>Iub@Cw=Q~3}`aBrl;h@McsCP@>zxN(vm`+ZJh?f-7 zx__Aa$n!~`9HW>0iFOf74LBdfXc4sbb=HOH^XA=}B5pF$9G3% zK0TpkqQ0*%r1BWrRWhIDu#=t(pZM`(7&daE!vGKEjT_G1*uZ8ahzYE&KR-mYJ=oPv z8DjNx4)!m*Q_r!j`kdBQOW!z%RfQ(UrFD}u2M4~3SnYI*mBkd4=(K8>Ub?-EDcva9 zB+_3fO^ILuFTO@6<0COEadF2ggDU?=3lQh&d)#cSZmY5vLGj;vsHvdI5f8JNX23`V z0TI5M1Fyoz-MIi7=G5>wwi-?dP7KYYrRc0m*R&q)9ZuJm_oo)LFydQiI$UEO+vG z7#)j>i)+Ga0DnT;r~&)zS@QYKu-29y&HoSB2T(&4mvjrBzP-9o8p!*U6Vv6xB$pi& z6>urRqk10rLa-ph9KmnZq;#56p?=rVZ=?l5&*t+z+z?Go!^%|s^4{5UJ!v; z6L45Z3ZnJ~2IM@{f$bA-60Matd!A@*5C1rWU(3M?fFE&)9oXTz-`{7WpzV&9-VTsV zzE+5PdX&_tXSTiPVQI2lqbot&f00Z9WWk^RJ8Q*x)-1C}5k_iDcR+f|vEGa>xj7_7 zUJeFwGFxHCnX_B`2J)}l@6W#`L8Zt)AbPg~jlv~s1rw|dxT-X5+O&e5u9|gHpI$t` z#=jYTI5vrP;HaoR6&t`_MZ70RA0n7?2HbRY_aA)s!K8^3B_q7X{{&da*S2jZ&?O)= z=TBc1gdZbXf%a@oU3#-(meI-X!5r{N-Z9B^a$FsaXiYwtmR6q^$NL+cATCeMAGngPSID8=>CR=TH$9Iq zQ9CR~8!SoxHyguHQ&IqsO!gXCO~>(~&%EU?Bj@C`XESx%JbUKMwy4{vj}(f83EKfk zBK5Xj&kUit4AM=dJNX6^?*27h=O8`{hi72GB+*MBp+` z=**-;ZyS^qfz<^L4+-4j+OKI1gsp?+yqq>WxD(Ft!*Cifeq#7xsYh$)j&F}zPf5W# zlCQl{OkfQgVyJo3=f_q5$9S%wcH-)`=ZfWtV19!3Q7DAfRf_fyzZF@X%+$Vv?ijfo zN4^5?PDoeDZ?p~^VBHvmK%vmr*N5XlKJ5_OE8OgIMm#kyxsfqCemos9`=C8nYyj#+ zXi)t6b!|t-J67Eb2HZ6IdW=fDv-m3Vr}Dr^m#J|;{UwZcxD^4F5A%C*s$a91IeFfG zL_5Z;*nrApAVm(E#E20c#WzH&B2lZPI14??;eqHZ5r+sx8fbt0Yot;3PR4HpEEQ$% ze*vBxhA2EE0~Q992sj&*E`0aAhMmT`+{({iZqs+feyvapGyZiGD2U=(PQ=wjco%G)}~8~Gnp#JqsJj5kzh{v>%SS4Lg31$lF&=L1r(wX*#Z_ex1H4s zqeAxY|9r_*f6=v;{wg%S;PaS41B4OsEg4-52Jxc0icRyGwo+8dmo; zWR&;?UIHPBTxmwagxKKb+tP*S=3|5GA3E0W5sKgFKMf1ahnSs^T#RoW^P9eU3E6ue zs=LE~PwpS}PH%h)JILzEhORv@64-F&CCZGS<+F&E7{L4es)LjHbzk0?Q1Ljx_%+$; zEZ#QyWK2*G{6}Z|0S^Pb+y0H>9SMlf>O#2dN{i|btZHVg7ed7jpogS^$q^?Guc}&trr+AGqV@{59Ka`(2 zF6H336JyJw#!f1mQ#;RTfliU`p(JI$`kQ(u-P#qRKF;RG_g{DS|Ld21F16mr)s~LB zX*UPoZk3m2@qFp+UJaw8qO6&wOl_R6vB}|k_a3btdYPlh%2sC>BV1|mI~ zK6h^PL=2#tQBJ4g^a1_F>Ei{I+UJqe7BD*$003_MW~k{QwPe0Y0w2>0NhYDMLvwzi zyhC6ZTbOYA^u0^nF(ClHc? z<}9ZAShrv-L-aF7Xq!+kq0 zaUCZ4PG)2G?!HiqV+^6t0^j^TaULi|J6?XR-hF7D%XCo6YP+ilV$Nh|WcYNmZ@VCr zuO-~sf7-X|y&F*x<$dWqm`La|-N&>X%*;ZS1IIhJ>*yc{tMJC$W4E9N{FlqZSM6qL zSF*6@RHl)riJ1SaJ-ioYvyH*-xt0b&S!O?nEY}*-^4h!FlEjESC2?U^YU-h@y)=2} zPSaMF=5Bm8{k+1^zYBUHU)y$bPaTR{^loHV^gXOaIT|mkM^l9}%v zmIl*5H}foVFX)aRU9q?<^4ahOC|BINPM$|e&cfxCm1m(}bSLd1wIYWfVpv;l758j- zwa$bAY7HBj9ZmUBx@bzTYV&vdj~<=n^|-CK>B&>4Mx2R15x*>I5d?(Ov=e_S#`oJZ zwdHcHwTUB?H*o64n^MQ>O>K=3Or$xozim6y&2<9Vs%AZ zL~+J-Lpp5WZD1foPJ{qjUa*r>ea73-QPE?cuz{QTI^>tE$*WF!bfRSQrI?7!R-w0F z=VyNRyzE*xvfGi?jp{O6mRsF^y~ONr!*@Et7Zf7NqN_C-wVwlw=?Pnd(rlzilVjd= zEj{w~2ddvQ=bh0J$iX|RhX@1mc@8>=1e)5Ymmj$8H5_=Q(4 zPfJ*C8E;2oTotpr6=Rw=t*FCN2y=J8X=0J*CBj z4M~9vWhtj&TmAm#^5gwX8z-W(edMediBN@P5kCMIYu z(ZXZPSyzt}RQ1+xQhIz>Rj=W6%{nw3a)PX!=0(NWcl9Ts>knVEw{I44&;CYdbn=xXsTR{K z;oAjUtqYhixvY6(Z}l%Q3aL~Wn00)}%;GV6L*mO@EuZ6kwi7oTJ%Aq0oqAE+3ZzmX zHjeUmgJG53heip9c{Pz~CO zbr*jYdDu8@MF1_|M2wO$V;7_#6>9#ia!VU0&AoOuzmHJ`NaC$f>+CoQT!@-(-{A5I zJR2Z_Owa~zv{K|2PN!FA;h$mALa)53PME=~MUb0f_hQu&`L8ptOmdN@URrf^g{h5G z3fHNo)uUFk4#T}sR3XSnz$#<7-TRaukL}M0&e9O22mfr{r3I&}Jxircbn~pGuXn_m zW=}d8IwCK6UaY9N6k6jtoNb}4SFX#4AE}3?XF9MK=e2gFa**B|Z+3#tHuZzYM|70u z30zx;Wmqf#$P=y>FXnxyes81ABd-U6DuZy3*8SCuCen%UQe|L@HiRe1ON}(q?YrtwpG9|Z zAkd~rH_mz}<2doqJ$ri-?H)5#I5ON9_SVYW+#5ka04S#T4t-HL@b z;K%bJ_6^FOU+D)I>Cd%LeXG%uh%#i1p@w|w5@-to)0>mfY+cf|>AhQwXYblzE+Wd2 z3BhUWG9ebFRJWihP2*BRy?~o8Hb6-c9Hoevkz{3+x4VfXnXKSXU zxJPN_&oI-jAP+3)y=Y{Y7WW6uZ+fpz?yG0srKi=o)1{f4QMfk3$DfD+HZabixL zfZ~TG$A^~wg;3{dx!z~>svi5P>o61~KwKJF+CAh3ws5WP2wHf1qvDY*xnO+OXzJ9p7dYkvz{=9>`#()BXpYZT*{VO3IBKvAC5p(Omnc6 z##j!#n5H{jt$mNzyX&l$MysgI!sW$sD1sYq(0t~w2`f3?NdjllRHlKh2|)4jyXQHV zCN`l>e!bDN^>y#vnr=)&a}azCqBG^aO1R4k(|f~@a##}K`Vtq;-|oP;Bf%o|_4UdX zj8!KkY68);;5{(v(ZlA-x?hsNL+a^<@;OIpLYnas6u*176;+YQuvq_)jmkVbvRMX= z#%g?f?(7H>`Hc)i3T}AO0nNO2yW-qs9hK9T*(qQCV4*47mn}8SS0Zc-EwB z1D9}Ey*i}07hx$N_74N>9tE>NeEarIa1S{XQpO9-`Qqfsya$^JvZai>g+N&h31l2l zQCzxoNxp(gGC{}x>=H^zc9H(!R%>fAnOA<8&ZDncp|th92g;mzE#7ThOL$L<*_!@a z*!wrr-+2Wl%b97snDaXcK}-O1W|fItS@CTCAbsyrY8>ygO6<_`yx~KLOOO2CrHl(c zcQ|ldJKU~oe^gyXg2Ay8-cU*HXuexF^5tEt>-6WsdtT?l#bw3=NiAMn^!oK?NHv>w zfovP4Q9NonSPF5BH&wLwv;fi2GRl3|tT2z-l20-D;);dK7G3l{|?A>}dy!C8UB>T++hEVP{;vis$pUo=go zjhwv4x?G8RXB#WNy3QcE_S;;$AXW5aFxztNDA(@mm96LqoFE5xK_}Fvp$5g8fhUA2 z*ja{)hAeLujGvA8kN(?AOCO%;APAQE%%_bA$(7TxSwRHj;~)sx2svg%?%Jt|T(>^g z4f?XGstJ9& z{7hYWx)2WXogi@cYd!VeX~1|=S61N9yZ+(nMJZEIfCFTyfS>Bk>=9Dn!LFdBkOPI$ zjLy=Zck!$!@%Z1=KYw(h2xb5qo40mc73dlk@eI2$HukO3ol7;F>Am6v!1`pX>5Bu@ zDtrg5j`OWOog}*n?C~&09(^XT|4*o_phItM$;9n%Wl7tFDBQxC`%uo?>@9%J-zaJtc>dn(ZnF=-Fu7`c5-RY4y`4KkpCfxh?I*{1jG zRinp)AYNEm(P*>H-J%N=-%>B4YPnkSdB5d;WZRfh{`QTaIhsEG|8{JN1+mP=#BZ>k z*U;d(X$58FZ+}*AvkhB?pKYX5;R0!>s17oj;3FnZd|32@X5BHYZ$y)+Huh&&ja8!y zQClW3eEAmIzMj3Kdj(~s9~rz`y+wP{{lKUcBOZd zZ=Y{1*WFPUkW|oqcHLpW7Bsc-Yr(A9>GAZ+`ZixHo@X*o7FRs8e3G)JC4e!tKYAt% z$MMGXqw(WvC_IELe1qL=jG6wHdpH`SnP|PGW z=3F>GtWdkt$=f(@GEPg&t?#iUdGhWPbay;KUKf3NVe@gDZIo)jgK@L3Vp+&DJja_7 zkI`RK1=#TP*|U9dt42Uoih7h0=eEb0X(UI}j2*i%tylmj0SuAiN`m{;6py|6;l7qXOJR)Z-jiHuu_F z4{X;n5H#Z`*6h8wZPMg!tON+Ey&&3(*;GL|iWc`Sy?3<1frAG*(=+n>eY&8GjEwo~ zTY2y789*0cyN#IxAurNT63+4N3N>=}Y;&HqrAJjN`QZ^`C-d$5e<=rkIZ0*#s_6TB zstLn~d()#JLNm|!U>moivb}q8^aI z5ZyUj?fEWt*IK$eGFQwTHO$V==h%}I+tz`832e`{yHTa?wZDfrl|D%}dF) zf|o3h_)WyN!$GhOk&vsk?tNur;JC{I1T#$O;@W=RR)02lT&b$pRo=DvaLQ2VRVq_k zdIljcu`9q6-S4~gNIG<=;1SXhnVNc2ILmoJaAQ(2g=*0S+xpIe8>fCwTKCIbT2MOu zomO!>O82ls$Wa5`f?g6-oxy!S2(VS1Yhdco-!A}9jyD7b1n=UP84Zbq2u-|pqj<5? z`zML(Psc(NFYev?$C2GF=)HW=Q_sjf)L&xRKk~8$933Ss_B}P;Vx*U(x5#Nl&~Dh{ zy+BH$hKa;6#Y<@gYU5DaTg@`S- zwYr4$xL5@EcvKAwTG>)9EfpaeD1umq02+ROay#o&amGy42XgKVrFRj*x-J%txQbkR zUPOCS)8?$z(nUTVsf`+xxKIz=NNGSaELo5~nZ2Gj9g>O`pi!&Aw*AL=dV!zDE)Va! zdXxLhjQ;qW+cy>Zut&(rg0!oNT}Ok4VZ!F+sNktWOAM@{iBU1{Sl>AO${CEq>{b~Wk>b^1SEUD>Y@}@15RUZOf7r3(aJ2xeA&elvaGBhm=96gRs<&b5To@MnLMBuaLuq~&ET z7)7lTV;P*qh%|W8HOmri9P;q!2$+p-1#YFD85osvzASonNyt!SeG;{&INNxz$sddO zUC}Gn&0@V#h)EtdVgIpXHRSvfj+5H1X&iaC-$fQiLrOi2T560@^Su{KYp5-`GBE}WQB!2F3p#81xGz~ULt#X#d*7*olG|T}zPaRVkJ3^33f8<4cN)QWewf0$Sgsh3G*q>dXT7 zE@#Z70Mfy7PQ!qD1U0Co99t->oC!w)WfTC6A4M6l!9~CFBYGJ$5;CVOz5BX3q46Q=nP1fpI>0(!nk4rf>{P zPgM9!eYy{NjLMz_QEX`Qa)Lrb>(fZW=Dg%ZC%VSF{p9nh;^LP-&YuFP!Jr!m8&L2m zP=C-1^eq%pab}NC^uYzh7S$?c^1;_+-vV9^Noo1E^wEdDG#+s2V!UJoKMWY4`rWtm zqp6;`WDeTt>G>bFGA%DFdp!TKX5Upts0;-l5x`rbh4h+kS6{vLnC?KI22_E9<-5;i|Md{|4O7EQ{P0^`qc%ZnmYm=ibBry`38mw=dl&gxivY)6yt?Xv$1+9Hqgxs z=+Z)bxpeL1WBETSKuBPE=Q#~CTs*Y8=rbHR%i8*-o%R458_E8akR2vvX!#Bui*aWH zJZ#@%Z-_TuuoLWEBGC{8%NfxeAVmg!-3|NtbUAq&X2cvFfILz$fsYt5;>@C-6)=o7 zhgeZB{GBis$LY@JoxuboL-b}&&Mb?qE%JK24%o57@!;rGLA+td34_a~rZa09J?08Y zU_MHzi<6&toIg6EV=(WhAUPI5+(e;CFKBmkRDMXxx#)#4j>)WnCTL~MkKd1W`>8-N z^CmCkO7y<i?Fm7n z^ZC`yW_1+e!l+Yoxrkov&U9ryxqd9VnhnMtOs?7%rBrt7%g^4EQW3(jel80a-iA6d z0xzB&X0bBrmbwjA<^xN)so& zxHb3QDKKbp4hvStbB#6vT)r#yKn%yhi{VMMibOcSK&Y+6Bd{oV{^{N9!6#4r_ zFnD|D&SOhJ&{-!^No=5*9E1Z>%3&rqVeC;cbQ?T2S64SbvtYi(g5OHMNoXzu;P zW$o(eRSOnxF@}I%I_&Fz&w7=X80RiXjl4zaSNVG8jcv`2H&i%2T2_|ExPyks+j9ffN7^|erClsM_ERK$ta>||Y$rW4 zGYzhhkn{dP9Mlg=3TeY>ThJ?+y?(~d@cI?Kq0o~@?t*1hzJF*kY&F$U1{ zh|E~!e5g|8QwV2fvsD4Hl|!L6mYXAea*X2y_hz63VQ) zB4BZHx`yheMT-_r>(A}mHF3-sZv4$am@ay%zxU+H*F)>mH>yu{ULUixNMd%Zvt3F8OC37!lu8ST0K4U9lRjh2x^q-A|t8vdum8jtoOupvsY9HrlpllAGG_$DMVA;8f?24dD#_ o{@eB1J8!H|m48)_eEhqy(w{%BOMlF`sNmP&fx~U%Y^HDeUpSG#-~a#s literal 50252 zcmeFZc{G;q`!@PCk}@PoBB4-BAY`0_mWbKlo+p2v9{$9egyo>HQvVWpu^D743v70yy9 zt86Kh6}i-F@tZ5=HMj9?t-*061%4rlH2)A2HkCZ0D| ztTk?Jq0Xj^YFMpE(PGLde}2c_KjSM)X7lge=H^lEZ?4$3wfA>EIV5uBPR6nPXU76h z9y{UXsTC-vdS2CQgW_SME?@mf{RfkCC0)_g)I2;^#@)_^IzPT!i5>hQzKZTgWWBhF zk=G9D9bC&_O816#+OPcg^E+E!TZQE>I={<7e&nliMUFDN=dk>>Yx`@A51!b)$xecu z5|^LPe(BPsULlDXy4|5ap9ROa3^jcD;#@tIotrBkuiE~5j-Q`@{MRqWLI+#ho4&qO zl%neD_4u8YgM&|2mgA$h0p#MQ&kZ7NDaM&w`S|!m&S`0F`+Z&dwI-j0q$Igudpj>P zPm0?5e4XGwe;i)FeJhvNl8}-@OZnK|zJVgZvSDCg;I7T*(MVjsy}g}6k&%(1q=w6g zii$e9xRiYUyou)4N}ezk-h23i>Ru)*M@L`H6rZT5ZTD4nHC{dB>gpPIHYrZ+WzX<1 z@AqdL$ydj{K=n*EDLj|Gz5VmFG$ncYRjk{#HGKT&+23y*_4rxSRdWk1r4JT6L#yyk z^V|M%@t*kny!`xl)xB}&d3wHoUvo>2Gsr2a>1w5sP~~@ab#W{%E{;!5${#*V zS-EPJxgxVa8RoUh{MGH!469eXdGqFZYO3Pp%e!8@c%gdk95?fu+1cxjO-=Ff@hfO) zX)&fE)6?VQo`r>lwWg|;PkYK&#$$Yb{@fR&+>kHGvcVL$ruH)5JY&>7Hz#K+-XpCj z+R@%#dT$F0i=U?_Wnw5UZilyz4;L@*22M^+Y8o1^6T3rAtI3U2-pHuw2-Hbax_EJG z>ZM$t7cY3upFbb>?Ah9|u(0PzNyTrjwWw-otxss!+gVXjL3QNFk=~$O`zPfRHnx3I zLpgfiS|ubTK7RbDcX04(%)9WvK0a&DtE&fa`%!j;S8rru@}3*br7tcnrlzM?QdXvZ z|NcD#E9>oz+=^K1US%<4EG&dwtD}qcike=kpHWk59y)*N5+DE2=qP{C6K`K%ZZWa! zmY6Xub}wb4riO+aw{O!lHaFk4WYo@epgnZx(DUcd8I-Q4_=bNl67u%;-oe8|!>t&2 z*vRNfZRsl|>>OcU+7TfWktkf-r?=NY`<>mova+&|ro!2-e}ypUdL4FQDwi{D**0(9 z)wx~Jz}rcm_Hl7zdwbxoUp5o8KA%3FjS^)`=5`f|+<-}8IcU7Wz`%fE)25rPts14J zrQ|`j*l=RIvOe@tj6BG)VWvOIQdL#e^YLS@s87byr}?C$*aQUy{eprN?d)Ek)X&rz zzgZa~EGpV|KesykfP6wjTy{3g=FOWasgDXx_?#OW8vO3uDf3>pNkISo>g;##RPxr4 z5MW2omR8f$+}!*A)_O6IMJaymY|r_5SEkLIi;aYeJ3210MdCBcTQdyHewFXv@X6}& z=bx(D+Ppz3TE}A*6ONde?9tZNX4tkZAUj*^M6}q(bI(o`f2#`J$ilMM-j2kZ!EJN= zwkJ=XtgNe3bZ`)-eUsL0G70k?% z8_$sK;ge9zXNyQEX7i1jj$OjLrsjlp{`JjR&l;~yHx|rwj2X=S{>dV0!4@4Iy>>t2 z#;Fkd-%|VcuTMM`Bd4gi_UhHE3|qJQfBR;%bI%^bVy`uMaSRA)4c#m=Lh2VU`qRtK zGc3)v6y6ODU6rF9^yJCTCr_T}H9S5VA!f}*|Aouuu-A?q2M*Bt(sPu@%llg4X*775 zPeh5(%FYzir(bR2!M;{u55=vTK4*;(YH4ir4whYH8OxvEekxjQ1qTPmd^eSB(Wj@! z1szAVot&J0PxJUI8z5wfxzCHq{Qb6xP0WgdCyY2~Lbu(0MqldpNBQ|YMXZI#i%lM6 zs&?@4(dIggkO9@cbScC2uTApB%(YcjRd=huFJ!QC*-#V{Hvati(`jj8dg5o|qxYu5 zT)TFyIW0A@nwd|tR6dCenMg#F?jnOlSgjM!P0+Nm}qV_PT)#@Y)u{EIjO1qd4Kz(X8Jgm z{F;88aMGu>UaZh|akAwuPq~oZPS9oY+wCw}0Dw{n9+WmzURC9u8Wr2jZ-}h^$UiP3qP?@7Dxw zmu6kh%v*H8#E(DrVigy3?tTc7EJfmTkby!BC9Ncpvpj zBp8ww5mO9*4>a6-=g!*M={9}I?8~b)wm<6178mB63;4+T8<`prIDUj-yplV(yFJIY z^1}yK#-pPM1sa9!((g-3IK!)Ze*Eyoy2aP;pNs0L+Qm2NWvHK?T^FWu>tvM3k;KnO zc85;Q<~Yy&87aXfNKWeS_i0E_GQ@*^y!s|zrr=a!NkXs;O_<7>0|yQyYh*mGa5ihU zN5<=^+VjZ!(W6JTIZBSN?%cX{%hc5Lu&L?ulOdU@@-LeV`pWO9CY>Ljp03!Rmba3E zq+c=E^fDf)d~7UO7aK(U>Kw-a|nI~gd{*IH6X?AvlJqwK#HdK5BnaC8|ib}jzN%DtXC_RX1n z*eqCPcHm_ANVP{oam`>Q4Gqoer)T#Kf5}uD+)E<;pV1ogX}LR!2?7SC)IIeci<5e* zS%m|(9AN(R>67<^2h0fg>zbOH4B{gt>|fNr5*4H5?+j)Pk9Op)p~xX6;>mbkzkW>(q$p=$kt%?gx59HgKzIIe#XH42th;3XwCH;9 zDI7hzj^dr7mGwu%q112V`w(s=T+gbdE&FQI3oT~9q;rWhM~@zrQ&RFBZ?~;qM_GN~ zK$^~v(@`QLsW$CZlM=08+B-VdP~KM`DCBKyY@{~Myl84>#zePWYA@p8`mBQy7uh== zE&kr4kIQ>CnBJG5!Kw_A&UK5Fv>&`rIgF&v5_tG#|9DTyd&I6=-Q9Y{*tW(`fMi>F zT?|9~{QWmlsJCw2DpLJ4F>zYM0bzJ0g>%oIL?s^}gcY6w#x)V!hg43V&blbV$9Iyl zBamJ4ZN)2H*NHM|OG7KGbjsnqyu8EqZS^sdd+J`ke3|>*_32q>b@9>V`Dqr4xp$9i zzQSYPcl=MA<@)dgx}#IhW3_t5_IBUDf5%7d-+%nSxf-r9Kj3-q;ltaT_p8Ode7W8x zXI?EpB9O#(tb_dT&f*<~j(tauG108quyz$foEd-P$A*R#r%#`bx-2a%jdZ`l#Ka`( zuh$O0tnW7B@7}$`Hp#3|+siaCJpB6NTR{8m+qXOB-(kJ8HX|d0dcy_BeBMiZxE3A9XCexr5s2&li*U2GfsUzN|aK zP%78-C|R-YM#ZWyv^)NES{$1wqyKf_U}2`&u-)$_Sk)>&)0 z+YlNE@an4w?h8}bDSmO`B>=wFz(-E0#hE^bu%?F1%*-n(<-r^WtQkqPlxzu~$aS9V zU$;%fEIaGSVM(s=YOGxolf>Hjz`#JQ?R6%XrP%}y9-MqTeOg%=du_`Bo#AsLLknZy z1gc#+6o=MmI*hhEf0lBTTsrmNYP^2#>{%`fgOrq%MNYJ|k^N50O}c<(r&N+5NylGu z54z2odbQ}d(2f-@$#l9-)=DPd{TU!e{jCI~Y za^F7f(jRGJHT(MtB0F}dUvR$N&rj}M@I;|GYu99b<>`Ph`65)#c-9Lqjqh*{PlU`W~6V zyR*a1=dtS7P`uL8EYoCLqEZslCdaP6K`%?rb#eLfLmn&Th?E=aADQvt3?RaJ!M;TnUG-C7uW$Bfen3!(%MJWEslW%WxM(wsu4}amN zFg)PXY98uqzqT&t^N(4wTWTJ}#P9(-9P_(X}5{!jdkWbjl5|gk@FaPqI%Fw-lq{%w)#KnVw@(*wvd`> zy32#(T;i!P3FiO%gM{5??SOpssvq!?4?+oooN_)_hgqNU!I;H-1xnl)$<0y?6%#A`bThu#u;*;2$> z0_h6pzaMb=-Jo;^bqM*H*M@xHba$*`zr~Z5p^1qKj=qKIE+t@BMBfJobc0aO8UTkA z?D~d>>(x16S7ecy?wj<;jWjolJ&y)3>yLbW<1`TO+uh&4+g^bz>G&O4y4Bi_sEov{ zx+$F=OK#C()+-AN3Y3o>JAxp4FEq5QzLtxtLjByio7_r41T*{6vCG-o9yG3xy+b|} zOLu%~Dolb4Q`(?<(CTt(?uQR5^LTtkO-)vS^&4PRO3TXp%lP;0^Y{I@QT#4IZnTs$ zV`OBc^6Aq`Iy&2>q@@XrCpE&~U*DvCxv&gzj-B)?q7~;>S1_}!B=Ji1O9o!~K1vC?mB5 z2S>1VU%9n#G(nN>UpyjnBS95>`|%?{^68KIM@lFKc$wD&iavh)m{i*l5iANyO5D45 zlkA;$dpGSBKubVQ#@hh_XSB5gQT<{R?>~5e(&>Fw)jBL71#Ru z#=2doB??uP^`5uc*&6LhO{T)8=H_cCGcz-KH4%b{VgPwY!N=lNmGd?$h$glS5kkd~ zhmWu9dv!S2yA2fJ>VG_haCs2>{?4GFAfMda+)}M0WaBL8nTF+PC8ehNC??!cOen^i z%pJV9ZQEA%T~1EU>_dm!bcb(xx&Yx>KqjGN0eSeq>bU81p{UyDDJe$@jrH>7nKNey zO%v7CG&p$G+F4dsHmd8wwTl7%{zsIR{k*m0$YuZOvciQ6 zn+buYu1=Ntg}1Z5zMdW|Q2IWz4yF6ff&^JS*1vN(^#IsR@-i??qfU+-(n+}Iqes`+ zNyOAHfPq}OawP)`3$=%bhcyjA*5SjRGjD=}=|K>Jo20*yX$uqpDgqqfQS5A1R@TzT zYU=8H+&fToef_FQ?kPXNqhByDFOOmS_8>e#l;|4NBO5_^Vc1qvQBBrTa4%f%Hb2N& zZ0zg|0^b(JK07M;7b~Lol)JpVd~l2_#me6PmSzfbb;q4^)1Q8TQAFK!OKydwrKQvL z>vHj`ho7EBnp|aJVZkW1{!fLTKwLt?D!k!({`QfP5iE&YVDzwY@LV%)*Unr6dtz&A z8|)0&FTK4BEG#%la5M#%uS`!*E18<^MPS+G#7v@qsh@si=)I}&Tof7B?=qy?lQrz@ z?BY^VMjiwo2(2pZO;p|6-PgB@(%V7-+sYYQg=Ab-KYWfS3^CQp#>PwK=_}_G$bni9 zLbSq^uO+>U{PX9}_RGg!HoZ5@uih)SAdB^^)9V zI+eItWKjM52I?|uaLf1--|;}4yoZa6s#J*N zT`&%w8vXxX#>P<1w*0D)RR)pEmj(s&{~`eVZ+$W4-PB$??5S;Bsp!~>Q0=SF{Qc`c ziK3Q50e!dS#~~4s-lW9X_aDOcQ%Q4^;c8&GS1qKp(2D{Z1^d9~SAgXp5;?k;hgU(K zwVG|}5vth7uV4RuP>u2yz|iO}SwkB)(q7DwG6|Zk1xWzb!*bRQJRE2#Ivw!3h#H)M z+_sID!mPAN6_z;h65inywdw2>uuhHiZ#R$|tG=57Y8r+U7u%Jihye93+GY&T#5(JP)leVToJis!?J4^~ry7tX7x z-S$1m!$i~W*yRQ_M-G=mdPe4IO{l?Mq5awu09Z=|7^=%|$O))TdiNS#y2So3LxS!| zNht#+jcXZNp?u?SmW_qI-cs;pXOE1)_Z~4-b;;f9O}x<&W8k7>O`$i;@#AE|RAn z$=pdRn5BWX0#a8FS&xACd-uF0oW+MY8%vwC?xwRmkE6R-hDh~1*=dSla`Q%KDQ zUteF*$a4~8=GE}L^7)x{;~g{5579Ditf)c6>;@Qcd0NEBFPSEWRrhw08i|3KdAI!u za!ngHUR$>dT3P|5!kif|p(mUxL8d5GP$m`6|DEg^8rpBKV6%hNQLZxrpFV#M0c{4P zQSm5ZSW8>wraL*%GueWbS$lqG?oDZVlFYh`?t~E$ot!)WtI?=3U*^`phDQ9lZ zhrjwD(sPN6Zv~P%Tamz7qbJb)FQ@+WEXFomR(>12z8pDsK{`hG)AmZ zW)CK_Gfai55ZqvSz<~lkaJtke37v*BD#pKsp8i(=3vUPu4>tr8sxfJM95x9{Hx(QpLodvQ{B3GsgCL6iaWi_?Wl z1V)wjGgZ}Sl}EGG}sn(rb?ghE8{;-;nx zgH8$*3gmdg5oSA0aCKfE;(PM+sXp`qa50kL9-jm)qY}ogZ+$N^gK$`woyxZPPUAk; z*3}zn603iM+ZRm3c=6AdEa_xZEIUHSuY!$mnQ|20yih;3Y3NK8Z*eKnBJv*DTJ5` zLdEOR!mtUUMkc^Z7&JaVbGBm85&2FiayXXb2RP={6b#0XSdJm%+5JOS!dDyjlIpze zt@-lRAI*Q;!}4s^2)VP8djX9r)_z`pAkPyN=$P`!lV$gI9e)yJIK4KZrXk-N8JheJ z(ZHbg;i2*I@ghQD+w+no#JakqKRSm@aqPQqhyjpYRLm24yr!eS~jpC}Q3Iqvp-)*WCoha4gLz`WUtWsMH1_nJvkphHkv5wXw$K0HI+;NXz?0Ly0RW*p9vC0}xwSDC>^R zI=wdx^?vE>)X>K5+v#$&=}@tOr$@NydppEoc08QF48st(C)VkGzw>Sk#bZttmbLDa zQC-vsmkh}Hjc2YC8fFbeG-mY?P>%uQ*#BL2k^htuHHOtaZ-bk{r`CDx$eSqNwvs{^ z7KcYu#>v%uL|bv29_u<#T2V0_v6NM~kkV3-ZGErGNbc&@!H&gNs=zO1%s^**=D{$9 zEwh~)X_F6@7#NKbhK=51MqW((OILpZms#W$%!qN6uZS~E@P z7ys6Ka0v-9CM6{iIT^bInVzV=pnFAUN;noNMSrZ09$_$hR**_Ru;420QhQwzmqNIO z(m@sLGAd3fdUi4j3~M9QoTWv_s5y{lELW~vAvGcH*WUgR5#^}8Jn`3Qw>kk0Fb?VN z3)evgtN#-Vgo}LU#ce^Eq5LYx=#2c5+fK@TPzGnuo+V@fNr{jaMSeW5jSyS~js!Y& z@#`y}%|>-07>|!zfzMeBErep>wp~-VnTi6!k^m@ueNJT5Yb_To%V%4`C6*xbP_$)V z3lZ*rGE8L`DF#`Tg4l{7OYYzOV2CQ6hZY$USu-DR3{ zBW++ir$@w70w}0)*-#0UG@@;K-?}v=7IZsO3IOh z24(hJBnGUl`zTu@v~%a`y1F_jLU-}e{dF+`uU-kU$-1+V#jKX1xdwuyyf0l3s6MK3 zj|8>T1uWM*#i+5ze2 zW&O~D_W(wCgh15mNeRolmBRYV_u|Tys?6>+AxF1Gdn-j()A1vxvHzH zLk9q>iK^bO`m(X{?H|Km`aB--X}#S6u4~V!=)3=|_~@RAhSl{lbG&~>I|2}8a2JqU z%!b>t=utM1^=@HNj{LW>d+9bI#c3%TuZ-4_7lY9y{t&PPaGB&fjwzl!dv7M9dGg8G zbLU(Fy{0a^iEfL`tVmu}^>73cRuN1Y>Tv7v?jvTc>H0-2ZdpKj8IEH*6JGozhzfht z{<#rzHeG{P4p&Nd{rhYCk7LJZv&1-tFbP}2+g@F+<_jNLOaNBvJ6Y(FJLQJlw~|ua z(xQ$xImAqrYm2&Aj5#bq;&8b%{qWGW;a{j~s&=}LxpZv;!1~;0vYdnD>$c8)-Nt?x z8J77xPuO_lxzk^of-JydreFEIo0Eq}1rTc^koqle@6|*mwGHn5|Ii8eh~83-xJ!Ln zdg?yrmJ^JARIhdJ)CiPU$_`$ww>6`gnzZL54@RDNkCeU_1Qg^vZ5DBxC+QGUFovy{ zA~Q93-$Rbs2UAH80L$45;{ADi!_inH`k;yZ?}0PChzd}c1W0bhCnRxyiTPiMf2ZfM zH{t3c_~g%6SMY&?nU!ER!zGr>QQEv7>$>PBU?pp4WXtR@SWeKePlJpcEgTBiz9hbX zFSm2|?%vFL8F|pX0faAT5D-fKz(yf^*Q72Qg_e?>+)A=kbMv_3&!cSELA?@YoTou@ zS@_9exb?=&jMH8w8ls5X_Sb|g>kJ!dAM304QwWhbGx#!X{H5*!jqJkD(;@fo?+j9g zNM=|O#0d+H?9$)*i6Px3RxHk<=Vub0{Fn62G#-dk2;>F$An^qSlRgk9G0I@`?Y9?x ztP_LJgK;E6)d<4ioAxO0P+gnaTuiOKaYsATuDLA#o9-*9K>Yw`}1j- z7c-nD3`)z(d!d=h+uCL}PMAhq!IpWMR&W~xE$_uwt3i*E*M@|J-9lxc@*l)2N{2Qm zdFK3iZ_zH-O)k@;s7gz*#M1#n!NeEU)}9=65?=jt>N=Z*9rfJwSOwXINZ^?BZUCku z@O=HdtIC3JuWC9JK~%}ikITElOhA+k5ZxNX%>3Gw^)C`!KB0aL4BU`W^af#NasIDH zrZFuEa&QMMD-m3;P6N3=MhYj$9fl6;-qLksq@igLknOc*J?c2T)`o(bm&gXj#=Ge_ zWH!W{@+GLf>BR+&92-J(J_%apA^rqk9<{ijuFeg`0zyb-O^pKfKZ*u2Tm(m>D)CNB zOKTLYqC+jlDJi)PIphc=3)FqxLqh>5EQs9))B(&AevN|5^=n3Y%@l~(K=3u>!lZhz z?cV@W971m}TuwwBfLmssH(mcRg3`ZgFSTrd5L0>ihTacVjCNYZ}OW ztiphY4_V1*!7X4A@<`BdEtcVvpc5pj$x~Ig>j^}jAX)*G5AtGC_n{O8GQ0Xllh+Yg z=dhU>FUAJmm_7DpgU^7qAju=C?cKYV$OVY+zHlR9&j)T3J;ghaXkR>c zfvB>%|EI!->Q*o}Di7KKhM^v8zKI8|TR`%>dnW<6M)%h@*Y@t;UjjR3nMayVJ`b}9 zW(4=YLqg)~Gu4XnaxP)v^Syi|>T#_s68a&AY;i_Y^XfSnL>hc(5E3*zpl!Syz{5pF zhlyGM8tTT48-(LXOFQt-=nEE^yVK$IWDe}hg!(~kgi3J20m~0OMQN`Zq%?9zO-*0g zWq0mW;4Ma^6Z!7+tuh48VMg<1lI#p9HrmZ=Z>~UvC6Ag8437(+Fi161s9i2DF2QrT z+1Y;I>)P73!9rmLY9}j86v_-JeE?~~CShl}YrMW4s|!rT3C{qLE7q+$ z0=a@v{~&qbUO^(6Ojjl&W@E=|TXF_@KX_xxsP2%RM272>+6#a)jc4z=-o9dfHJW@h zT@oN1oPYQA$lq{mSL;tRUg7h_yh|%G<$8<^4oY~|vtl$hhFsE*Ot_H=d_gI48Oz`E z&qMK;b5F~$!PR8VLDv28f5_$kza09`O{POnjj$?E!r9 z#&ywE|6M*9m+wl^E$r;i6UV!!hFXqC{JXIM^47734<9lxF@ZQw<98P~9^s$zyMvItVu;13ZMpI#Xrz{+<2MlOTDrl7+uzlfH*w zkitlzNG7oAQ{tXJJ(?$X8NUcrG)$Xr`e}z44m8{=h4e#;^?zLtgH!G{Ic#8Hi>7Rc z5q~H|LIX<2Z)|e%y55HPv7G~b2Ks|IvtR=t-1gLUiYJ6Lc(c-`KVN+V?3(XhzuYt- zy~Ku~SAwWgG__tl={!$V%N`DnM~kf(;m5h`G1I-WJ3iyY#bp*w{E>yAS zO;^FI6+z>4cXt=%d!W!*2rbe~CjpTZ`d3-Y?jfU?makuFVop)P2Uu{#?xkqRlV{6n z9o$zK@0IXm{CjS3Hvy}?du)sz)j#o^=kJ3urD1cie;9Hp`{3Z9D(X*A z=MzI9rmcM|ujj(;v8*VTfOzK>gzrY==`)v!GkcjpoOq(A<6ng342qi)ky}fFf;Kuj znr}R|m``jT%PuKO_T`Jii}{_3t5YQHnjQOSm;G_zWL=of55a=Z+c^p)AmbFmC8Uen z-&5yC(9p1Y?OHA|F&5AqgiP1d(|hFMqac3~MLN&^{b!Iiu$qy`;*g$E${JV?Esovc zHfTPRI(n-@(+WK%rOq_Bhx;io1N!HmhX0AdUd50{eEngsUsKkeh>N!owRyvgKfW^S$|vT~X1fardX<~HmS zk+S0|%_Hf)CEO{JI{BM>w^?dA9=>+%nz=(Z5*c2*k(t>C3P{EPq#{Ca{A+*M3B$Cv zmWrJv42P7jUZ{owQw1@*_KM^rl_Gy=iGa~ z*YucLj6=r00>}sX%)MaFNm9?-_f&N+0~;Huk4aAns&jpPeeC_i=g%_{zXM3|9%jak z4LkHAhfWhj4I`QL_Ya%V2@!+rTz1(F<1btEuMve&$rENUP`-Z9%B_t8pFjZef@uI9 z9*;3Tq~Yhq3%Qdg?`V|n-@o6y^9wx<&8vNm%^pgy2AxSzoKWStr~OX_ATC4rH=;ap z3r}6FCRlW){3yI)weuL8sQR!cHxinzp1E-07A{W|l&st>qX0`2cZ8pw^?&|+FE~j9 zKnsJaZD{b&MK2U#-X(WYuOw|T=o_*AWGcLupTC^U-FlDJYu0=ju0fHyLrCcCyynxh z$MSYHK7s{JU8v~RD=po{4Pvew)BBx$FmYQ55I0fAlL>h6`bX2Uf*D za44%NXbmD3AY@PCyYKp2=O_Scj(_N;jb{#M^e3ZZfK-*B#yLTZkmrHf#B<1_b@%Dm zz+<7i{}Zi>BLoezxfK>3CnX(Y>)``;2V9QFZXFuy0wZ?!?%g8xm-@*FUAi6%hrj@a z;D%w2?}5Rb;_2r{?fOHq>j;=0B2Pg;;*yYf==-_Be4UpkNK;a*z^;xOq2ll4k25G% z;A23$7jy2ubI6tueaB!N#LG>C3gun;=tgboT@6rv(t})&@_XoSp_la`_WxK&#|(J6^yi%pg187 z1cXLcQZoFfb&;}1$@d$p(|>LJ5TsdKh5;-o1O{;Jvn>YX;)@*wo}K zfJD)TV4)U3Z}`T0A+U(q4>G}Sr6&?42pSzc1CfN3Ra8hBGu-+gRL-TI($O%YMfzy@H@Zibsbb)HD0>FHx;x&%K_#t) z=zv7lg6gb#{`_h{_!>|KT??a*1o)hYm5SuvZqz~^15%dJ<;#R;AapRGJsf|eLIzDf zY01Cw%+fZA%c;mWAeV`#0A?5U0#OwWFdrJ}dMjW9qy<};WXMRH9TY_8`uBS{k-+dA z&=@K3okGH(+OL*egsta1kX}mG4s@@Dx#>Q@NAwqx#wa)qnGfg$LYl+ox;Pl2;5Y&T zO8NM4dDP=U9J2h2L1`KpD?#`jh1tJxBi7-{3VvIJQF2pC9B$rF5ldibIsSmRcon^r z=bH7*D9w}y{S@xKM6(|l7c0bo9Au$fWv)@mA zmCzlBFQ#^EuLrWbgKi#Tha?&wv7AFhC+>g45bi+}DC15)pN13D0r9hwE+F&>O~CvO z@15qL6CDZsWSNi-DX=$Oh|J)6W;&+}D!7#FwxM8gg1CZo7=&&T1IP!YKM_vg^^zX- zk$%c&9n|~L5<%2TB=a70dpP}waU?MlS+=d|uar=v*+++uqn9ti#Cf;Mh|c4CdS~p- z;`yx`wxp(}5^@X?d;$oATUweOJB~=08`j=zoEW~R_Oi?{SlS1~FmOECyXYw^!+w7n z)Gsjncge;wE&fk*OT*vU*nczjT6aWoxe*I8a#{>22r|tklx-U*X>ci{+iXT3EmJ!AT z9(&$gt8bMXNuV(-4@5uZ_U6<})$G4HpJ%nG7W~-|i+k%vgmdb-wS_1ny;}-r);x0I zdTcTLxP~1;oL**T$M)+3oNVGYr9JfPUT^W*(Tx$Mc!F6x9__>S1vf`_H9AY!fHIDr zIu+CyvNH@0c`6Q9(hGyo;aXhpx9#x^>s1b-jhVNJ40jcBNIDD`c`USe9Ao$QtF%zo z=|?$3=vC+sE6`Gs@p7_v6yS5q;!K4sY#MZ+a>#QbOE1n9E^SjxXfXb=Up=)O`@tKs zrpnXz(COkn|D1KTh(HMmy$X4sf`SSWxF$w&3l;r#rtp2dyb5R~Csi)=)Tp^JC@Dyo zFkX^=bkcf=H7obB>5zT-)&KDVeC1UKlwJzXp9=~YtXr&DT4_9R;j5~`Pd}PJI)*K# zemfL1cPnhgbdM!NL7SvYqAVQXkd?}aN!NCE3&G(XHd8;S{*&>zbo14>u>?2~8*_-JZi*R+bvq?-uNr&k^khF3G zcpCWbqyc8e7VTS{8>_&auGq9`Q-=K2b1rS(J~Gb7Cp*C{Bx_~S;SD+s(zJ7>*_v@mG?R68G(6<|YOT9*0DcpNh+e9r&LA8|8`3jbASmi$) zqO?68|Noq!VM1&Cz#7UST{o4d_t4wLxxw;p1iEBUdvkH|@bm8$70puXSEdI9W@NzUTs8CG7d%qWWqj?e-&SEkjy`6~|1iW$IKF-sp>+wddx5?+M9e!(S z39@Y6+5lo*a$zy(S>jd`0Ib!XB9@))JP??t3s-xB!tSz|ua)JlHAE|iFgCebNtW4{ zPv5^EGD4{&Y(ID&mcN^=@qWFKfkp4I2zo(3E2DcV&u+eH_FGE-=WDU6gz1s;;mgi{ z`Sa@U^D<4MR09~1-ljc1K{BCruCc46>7|$ECyAE@m_wu^olsgPG^|*h;+RY@ZbG@M1(So z#^f6c%NQO_Jl6?IWqG;JTZ;~rUAuOj*VR1@1t}g&Pd^WtO-;66E6ZXRMc8gY6`hQ- z`n0wG*I!--nRvyL`<)TgMV|Q6vj#=#MN5hN)S|GS?$sNI{ zoQIK0I98MSLQIUViy(v&Kg!*Jfb|d_)|Wt=&dJT)M7izne?@c=(CHj-4%*y5LB-^A zrF-XdIzk}6y87Ax8qej4b?bdPU>_qz<-`fIL+%z9{3~|Av5fc9&~Q=gfLT)}glQk=^7W&Wz!caAr&cI) zg_w@)5)l<08(+9|WheX^L6nbemW6y9J`aa*h?ub?H4QrS6*^5k7D$E;-qF+C+H>SSS{Hvn1y*-*@Ix^CP zT9b=nq_2-I0b^t1)t)Hi-;@I}{%oW#ymf2M3eXBKMEZ^&JGSx9VNsJSSB_CCOG~{^ zoH$Y0+8Tknu?oh*h~V=)BM-#dT+F9OJ2WR7rv^;F;%P^^3LjDKCM0l!mVh}kCS7R} ziPmD$?cvY2?Gqmx##8w%bs@-~02GXD)&Knhl?o#T8+W7R{ZrS*=ANGJyegCO*2e1@ z%fO&rE@OCs^NURJxD>V*`#VQ#!bW`s^{)H(m@!-4tYU(R6oqcqpxw<5 z>64CM`CRl8mX-`=Ky5+g0?~$(2d-V(*%ev0?sr3LYwOik+!P(xdo=NiK6&=+acU}^ z!s;-Urj$vGE5MC}?}sIT^fAo?E|Y^0pe!MU4bpXWshMnHxA)>~{`KcRz}51nY9tnZ z{{6b`RVID2qn!xV>o9rR6+hy;B!BeArfoGm@vV~=8;KT9)8Y1AvXIDuB5Gg_FxDn@PIP8sS?i7i~ zl%%Fa$5m~;6hk(k=pzRassY>Jy3|t2>zKsrDjrqxq<{wi0%YfR*c&LgTV^92)z!cA zll4_)Ww)@eOX-dtFtt{>-S6dw6!$gP@c?4QIXG;vDWllf*r;dvycTdazyr^&w3CuJ z3iw-VLfhXJz}c*4|7sQCIC?cx}>Zarp`6OC38 zIB*)^uG6}cCZ6)MNnQ6T__Y@)DNk`GNXqt}uUb^*w6@mPoD?Q@_LL?q9df9Kuvx1> z&jJYflvBZ1kG16e-kLi0i}e+7kW9-uWk(52>_siDbDEkDTjT9ikV|Ep0|tV}?5m?8 zmB}9-qEr3--*7V8^OH4WU-r^+Lrm4VcUIfEUZkZZ0)cu;?eijp18pVnDK{kS8B{kqgty*<-t!S5-$zdwD>65 zdElr7kdgOPo(emS>s`m7C4s|knn8a24Yer%Anh2ghK{3roM?bt?4e#3Ef*gLsL zTK`}fc<|M_;9L|_JU2lLYHDhBU2fB76cv4%voA$jsCT8EmT5BGPsMP?SNyzs-fZc| z29x*B&)-0Ty$+{E<)=^gz@d~b1G8KDOgNMZ4`o*`J$)BX@Aj)|&nla=!hWVo1ciiGTljZqYtBn{hGS;ZYRsqW^_mtAr? z1k{iOK{EuUB9Mg3#m}Rq`8~uq0TDT)L(?`M11fYQRnao42vUa7^U%d{>pag<6kcE_c^x#cA2mw(_t@va#m}dmeV6j_@zH<* zl<@|>jUyk+-|PS|H@Bw=;gsX}D&M6&X`c^nDWgPCL)5bK338{9h{!XvUw%SEUKw3g z9J{Q0G(7P~o;`c^8-?1RwuEq>cO65ar(JlceosYPC}V_2+H*p23PV+AXDm=&vbvIB zprD8+OI=7#Kb&j+u*`9yl7c7(CSIe!RUB~S^{8)i_yS@uDd~rYhxM*rr2!`<1t5xN z_XR)E+B0>H(SJ3J5#^YTGP*JxX9HB`h5Isu!vN=-ly~O4kQxx$z-{)}BT=x*6IL6g zBc;oAk`~63@eljc4)ccxuz&T8vy>U}XDbq47;S24=>y^^10^_~D7&x@M_rJ%*jV6^ z?fLc_3z!3eREG%bS|ZtW3lHbK$VgH%nZ z4xGh9opk;-Jm1~^dtyPtreg%x1A>!|X@VBu72X=U=X5y;H9yb~Xu>%3Av^c}Vut`#?oMmYLteRjVX=i~q-Vpv^GDSH#;)rQpps|Su z4WZ4zw=$v_U5;gt+ybF;%wu-Z0!k_;7){7IDJU@m*bNHp;UjW|O%Ht^N04QS&+@`c zwH_3Bz9}gw8Xz0^3R1_nsF5W(`ag3|=z<^e&_P4i6SeUonEkPy9Nl;Zd#vV)=>N_Uo11-mLM~Y%3c(dl{Ye z;Ut{<0+ulYhqRDWiYUbI_}>vtgpApO=*Ie^Ld93rrybbqHAq&`L477;v9jFjQTD@-UYuqkBy zV@`prhi@fjH#(MY^}dncnv*TN1l zu?X2~%`b7rfYn6rQDSyPKMi5!uq&Y6ddJXBx7*S`5~{&{8g?_;z61Aa%HBjeszDs- zUAf{9BAY0aL?H$;$GLNeW~FqIv_ymkpIU+tPDoAd9Gf*QX}U`ACps`-i{{(emq(stoR`bCT{CC68{~%kJd&FimnQs6^1I^EHX1oWYd1<8@hr`HcEZGr58*qvTlf%A!`{ep^ajXLc zL%)y7f#~3qlQ+>J3((?)4Q$)zf|l9y{~aoaX}ud8%gHJCx>8ggC3J40f{l2-GnHa6;==v>s<^-|l z;JiT_5El+Fz=auUvVQ-zgF~0B{(+CnMgd4*|B-!AZ;x<=_~lav3YOdT8H`%o4+~pI zJK5NHzUMFU2P_1uD99K-Cw9XwmZjQFyH#j4+*d48P6EWQGC0Wd>z;ty#*LtPp&NO_ zhX}AoP6XQ9{-2;z+YfZK22P6At5@R?NZq~d$b8w3$C?w6n(>-j+y}@>0r2($$Km+I z9f3b!`M}2Cz%Idr+`Ks!UHOLN-NosU!L9dcxB!qMwt?-wH6I!o=?{-6d04Cl^d?jE z^!0C`f{Tx%r=w&3wUNWzFfc>LHy|e#qROWi)?InUx|*6ifv}Fi?Y9ynDEuAoAp@a_ z2AxmD6$jf1f^N^iKqc+cc3?wt>LCs!AofQ>y;pxH4#y)$R^T2`?!gTEq=~`7&aRQC zQHy!ZRaSKOv)8YM(K^Tp3FO$ZV^&sHMZ_YD)>8O3h%DeZ+FlG=>h*0;a8&xNA|fK= za9M^ujs&fFOa9`;$mTh4 z5_nj@BRAK+`P+h}1V#l()(51SnVFgQ68b`qYW8-Xf#ZeP1#l18_VA3%6k<9+fyxy> z8%onmX@1xlcjV@4nrmng#d$OsRhlwUjyHNf1Hii^liJw{lLHY!sRAA7BfBB-IwW2% z=H=r%3XTAG=*=yQyn{k?6HNdfCuKx2G(os5rauRgDk?)gi1JdnB|SsKRa#nFU?P53 z$6R=*{lxixcsOa`18V|Gh{0id7|b0|r$OSq7pVQ2!3w}iPFKa3+L;k>#jt5%E0)yO z((c~9n~RSROGKx#)6M#|3nVN?VZH8Hh z93Dar97NA^rV{I4)JZtAi|JSBZrwxm7i)dh&!2ytn<8>x97UR*vGH0sFK}Ziu9poA zR${QQ^{-6{n_a#7!uH2)7aN|xe0dXVrW~eb68N#Pz_5BxpvqT$j|(_q(mp|bJAiifrSj>lPl{^jM)Q(y)+aQw^kmZE_YHDZ`p;k&EHYY8uHvNgl*4F3t z5~kJKPvf0Ej`K|hE0R9yhY!7j{D8;s7@Xhs;E|ak9~zwD3432&z7}UOq~pxmAc?Cq z=YeW44_1j>2!rodZLv-MA%#XYiYE#sKely-3pkp$9Eq9%&J_;#nH6ZNCkNR&If=ou zBZxM|f(t65BxYq%%fWA<4%ATwl=-}cKW*AIg5@j+HORM!6<{>TNub0!gSIHdBXTUF2Tm3uL!)2f z;}6t2jgzNHN3NLLtT0dpkAoNG z%tfYTW1C4bM23>0L`Wk_Y$QaPH%i8e1{JYQrBs_DqEeJJD)N3-_VauHc;DYXp5u7- zkh|}FeXna>Yn|&n&*dS+8=me|aBzLP--%KrqN0L8=c)aE$3V*mszRXztmxO)jz6s0 zLjF%rkn|2Cw=}1xD7Ig)-v)r|->rCMEwvKwCxQHQYxSq|((6T0T)K*+=}ESYej+)^ zw4fQ;u{)Kd0O0qdS|4DY)<@dcypZwg-qV~(5;&KQM%PwZ-UUziy=bfTpNzglvU-yH z^d9+}7jhzL0g@k@koeSsO3}uZRFSG;Slf-t6LtNvlTA9_pKHGDZ0Yt*JiNbuxIcST z2hX&y6_4A99)u8&*rnBzCr`eDQUUBYr}>qD4S^ViIb67`Eg#0$s~XZ-AgjEvW#vf#@xyZd^*Hi}zbgL*ul4B)^ThVC4yfa8QR#Xe!0t?_jyt{uLROymz7r z3=Jc_gPpOfDZX3U47;O-Ub|$TiDO)oyG^35L6Ytxr%W7vTu+`DJ^15N8SYvSNH zh%V&^wXH}JmM-mt+oZVkh(L$3PE}swRTh@SEjBUH{2<^ zX^kCo+wlOB&wOrvbmzfIU4?aVYr|U~Tq93}9$L=9=~bj~(@zVfeFJk!3+l%%+B`)u zzqX6W7-S^eF0Yx$k&*q>c5J)xa!OjLx$mxB^*fAqp7(i1-B-9f)lWaI7>?e1IYewh z3Yi(^=DyHg-a+Y5Cw9CmD(dIpd0D-*qT&Jl>@a%m2zZQtufbATgK9UhcF1tcq%z*K z$CXe)dG zNvEAX*Oc2w9v~C6OIR&DfSrV{X{}`KR40;~NZiHp8LFNdID%*i#lcWw5}}x?I^`Om znfUIC*D&Fw?)+sa;B|#1Ev7fX6NGJeJDU1Wl6?pT_eGlx?=GH{jwdK=MTc7mU6^_{ z1kI>x8uJ81fXj1{k~U)d^Bd#%6BZjb_(GnM4Jb0|lfe(FFQd|G0S`*-+u-W{_xN%0 zhZAA!G&RYFFPBY@D5M))XxehkC>8b|*ZzN80J0dC@N5!7Ay1z@C?tU!_zj9tmK3x>crFC7m?EMow!5plRMUc zfC<70p^T*Rd5@z_2wo~<|VAs~QjCuegUN~q1e-WSSAl9&YyVy?i&M%H~`ZGV_ z10^D9r3p!Zm`6`LIa>R{1LvzJ)fS20^Em`b5N_l`6?3RCmtWgS$Y{#X{-Dwh3~wj` zfMt#DRY!9ugk(l!Z{^-iPp`fL(58oKZ+yyHnvL8En|O(@pZ!w`=-u@N_N7!H?lh3J zW5qwM`ekcc!vN4nmDyDuV(r^#ZJ}gMpWZBRd-dwOB#p~F*vyw*A_&FvZc9Dw?0olG z`nBuVZ`QiNFmmeB)uAn~_bS_qqU9aDC!8g)C2N2{V!-MbUF#yWuBGy7lpey>Vk;66 z@i?|1|7DhdgVkO_Oy_=lx&%giqii8JIV4IvfcjE`yHARMq}lT zn)gjF$kO{eZCZBV(4mIFvqD_vvlnd|l-3v;$UTUxs7;!{4Y|4CirrmE{Y!j!+KjQW z=}*GeAB0qR>eMNRM5?rLQ0MzkNLVoQ(o2EK|2y#;EyV zJUr@T3RT4I5g(6p)7_ccmQa<|%fO%&po;a&3;F{G#t8=qy0@Qh`*2F#?KNM9lG74T z*id?{Yyg`Hyz@@B!9x$t2LMgb(_PQv;_4%bkLti43EN&&f3s0ypu>{9F~8dJ>y0*U94PAhejhXol?5N-rKT4}wT3Xt z!I%_R=^Q&G!j2HWA(yMV z1W7^^dcy=hZVz?3AVVON12-GQ`>W_|{j4t*sCm}ZwNV|^cm=gSX4jWz2~-Ek4jY9A zib-8taP2KiIyFw$WaSnTAhDhYH(W4m@Z;1}lm_*I2IIB>Y;)JfM{lda$)G7zo8LqJ*s{F9cKM`SJ`e+ahFE5E&@ZllXet8$?fNq7`X_&=9)$HUq ziT_<)dar)J51V8b0vE2|{{5%y_wB>^2C_39Skb7ie5wTxngG*EniCvUIc&muCO^v? z@1w6&hT|xvDuK1j7U_qoRx z>bR{;V@~LjeH5~=fZK&eRcJ}@p=;+CymId+IxVBe;TyaZn zv~tYfAt7yw4xO3NW4A4D288<6iRlFrloXEoT=qbaKlWd1Grx&-4m5(1T=(^EjI!gc+pS3rtr$o z&iuE)u{5)hf-+gO0d@Yb;oEA4fXGVNr+?HW2e_c|`O~)(U%Y4mk>iVx)bmp5S^&uG zpS1ngQ5k5m{zTG`;e^lR8*iy4MfO8J2?(N;^lahNn}Zk4U9x(3CaVNaG+^jZ4>z|7 z=fAZsT;lxn_|8idZ4)NAeMOGTdK@qm^j3mc;8(G2Tht8yn}1#| zUlHj&ib^!d1}3lD(WC7I?EpI?Vaa&?x~W&K=}N6y)oAP1n)Q7(!TG$; z2Rb#Ow|-(xEXaoiw?ftsmj~7DO_OIsI;DssjcoFLM#_%l50gya@$cRgS?{Q5)(`#~ zjZOWw*G&e$bv*azY`}w~=l)n}ZQaz%SocH1ttBZRmSTIE@#>Y-%&g6b_O5%w(uhEU z(1JXHlV7PYcXW(M`xPK4!tcVrf!p{XyY69{28IWJx6gXrxB^$<#;f@Od2r!04Xm1j z>4^RcPD5DRpwMtGD5ssdWdZQ}|AX838VlN=%Z(Txl=N!S>orm=+?>B(h=5O?s8UB< zy?S*AmAK8@Yq=&jMvQoW)^YLa?@N{}?%JYp9dtGL{QQ2T!kTHxf%&;xZ`8ADeL`D% zT5J=?e=XCU@si%n7O0MbK%`_FFE;-dA^)# z>56ZMK|Q_ue9|47Fgx}PPYVTy2qrjyaQ5iiw{_rL{t=zB42;1jStsD`g?4Y2_?>-Z z63}5ad=oArdZytb>H5-Qlzi-57>9(qfV2>zfd7p9-XDyUQ0{yBYK?H z2-9V2BJwV+u)Xr#99Rft;$trUSAU1CU>{RqAdYb8c@DTd^RDA{!#2KQI&X+o4cPI$w;DYq?L)Uz} za4utg?OcA>gou^lY|vgAFbe2#=pAp7cKqzw7028Hfo-oEnd%*+^Mghq!tBTNYtf-x zdeFkfjR40AvM@i&0|CuftpXBi`lYialKPrYknWu~pcr#o2HM*Y-~tG9MAOT)Q_ju| zx_o(>m3dp98;Fzt3L2f%%eiTjCN~_GM6kk`Oi^A4J}=!8k|H#B_ntowjR{R`y6DMG z5hFlA<@Z^)w(k3DNX+Os0-!+O8#lJ_`Nt~Ix>@U?9g!Mdus78#tVvySGc7rtBMEkp zgSq$EHEVitygXHS_54r5&4?+L6xO=P+HrW2@mZIme(f#qiWd!LR%n#Q^*bV8ZOplV zyny;4A9Yqd^(#26wxLlYk0I?pW)}8Us;i^+J7U(@l!w-i4LEZel%>dJcOE;o z@KPR6Co)PDh^r^hHy>v#&J2_)zdh4>wc3F4CeEiP7Ka`5U$koT^cNELN-yoqZR04g zMAmfd*d_baLDG{rcg&?9hOgso^JrFze6mraN{f`M3Z2M&x&kTq67D+gn% z+LbF-tR5VW1Mj<>99I^aep?sRHCvv&&D%NQ%A77_o3}T-w^yYpPz{b936Q>|_e+1ZaSVRWAyO+zCl5Tb3yo34;5oalbR@S+ zp!BzeE*NALL-UsBN=i*_06GAFV;NOuTs)>dpRc}tv3bw%r=5#gWL=>7|8*c|&fGoG zo0FZiUrj}22hT9$Dy_2RvE~CFRg;fg{PTlAfsEf6reN0-FCBNjg*vD3zo!e)cF zlE|77`^dK!8io{PRGcy}j;Pzp;h>&r9NpU8&%%t;hI&V!OIyUmF+45r)2Q7&C6eaL zg9i_&8(%nfUG{K)=WU+`^t8;H&U^0N`_fCl0=Ak2IEo6?-c=<{)YMv67=QZ|?{0K< z<~xeoaK}1OXZ6A}j6k_0dKX zQVcJ+x++mkxnnCqBU47GK=IY&AQ~^(RlCnq<|+Zzz7uU5XyreTAEO7l;S-MNaOd+y z7VFknS;fjX&{pt`jR7$t zNm|{aP-Lo08)n?Rh`g_!Vn*m{)?wHVaRZ~urgp=BEFRR)%>%YbhQ+nfA*3lWwbi|m z%K6}cB%e)cDbxdC4KX%nJh!2^O_DwnEV(}(3+<+`ZFH5)DnIVh>L(yakodJ57w7dZN z0AQ8^qsQIU3Q*=*J8te1H?QMdIBWdcprkvtIm#i6B6blX z&;0x+jaUhUxk<4E}iNdEz_Ac(4`ImA{1C+!{r@@|6Ri~y3t<(T5#)XD)~z;;8#k8K2W$1>z`%VW z|4=6cC9)M|-Ub16uo%G;ZZBTBpB$hBcqCg0bM!Fe99%Y!5mU#akR>)-&-vfM*i%5(liRBs zb9k;^zb?l>M3mAJA{WRSHT8l2LoT>(pTma}Bsl3p2a!S=>QVw*E1_9fVixCPOl?&c z*)V)rVd}7n`H${jvs3Q3vs`?3&LvxDG#1^HX%o_GZ$SAVR<7{x>R|J_7E{(aPTl`V zceJ?W5r7~QY3b0k)pOWFyN0b+Ql4&Z`8;scj9y~&6g#zll$axDK3#q%)E{Y!7QG@@ zl#Fz))u0Q_3tQGu@Nn=Tp!H3OYc(ymNhA@8olqO$o$>?q&(O@XQG_keildp0Oi6tg~O4=aUZ^-75uf+s}^i_sGWZRG# zdYX;?-T*?RSl)(h|LIiJ@UL=5aD*p3Jfknheb+cFfv`Lr1s4Tj4!Z%3@Kn zs&dgwUrtDr5l76@ikoXt?U~4AJwX_-M*Yg~>C&mw*prVoUGcxez)YDZhweQ7)hjLa zQDx0#X?X{QhCLr-DD22MWWXOigT8p}!tUOgchcoe_GZP$+}!s#y(Ti)#+T3|u(9kj zIuVbzdbhJwHn}oK#EKb6j2PbJB|k#QkOb?Y$wtm(j#wAGAx;iqAudTY<=&3$!-Tl2u|Ufp1NIDI@c zx5ubai$7nTH}un$%;XfusPji$?bg0cOHDO~$#)j;?jS9jh{(tn)}c|fBX!&UYe!|%cWbDC9Wm>}BvlVTzdvG%FIt}pyLvU23&|D^*bnUN$hn2I zr{nU&7MhcnwvObraEj&XB-N@L!3m>?kBTxo{&&LmRXrl&lS(6lE_Y8G1WiT;&WMhc zY*kubbrT*L1iRsGi85_t<2_$EauWN2Vx>>Nt)_y~&#R5PjwoFZT+c*V}L*UcPME zcp<#@Y~_8&(7{TP)Tr5~zhAC_%cHB{IO;hJQ$F3_+2Qh5R{Ia4&ryH>B-;7^UMgj< zPY{vrAa8lys~cX_AWrtRmuuRMFUsF{cl+(ft5piUyuc`Yxza>9#rFTTf5DZaL*Lm} zNkE{h@vWOZYgS6{(&g^1cGL6Zpe|ptW(tt+I_tkm*M-~{<)5FQ#=19mBUS~s+!@k; zI@EzEs1>cWw5EX3E=R+~<}Q0?SiFDA*%w+vM~ymhxZmO_KzYKw$9Cy7iSCJ%mxC_{ z1??1@LM{3mynET2PciA_4Y=8cn8!?4JY?W(ab>~vJ^@vHlYFMTb>?IsZeU84F^yAe zyDWPLXWd|^6+ZOpCj)@Vvmz5Lqg8hMm3~t4wbi*-3X{{So2jXFQ{3QN%(2CZ(?fxD z;li7eAqECXXefY8swxudG{E%sw{tWU=+;wH=L5JU7LhQ3M;9Q?|w~F_}`A zv1C(1m#sgwAw_y`2%iqlyqH>kt!P=l-o5t#M&*NW=l`4UH2-mbA0$7Fgu3y)%Mdu! z?;2eU5BFy=7wo&v@VV)&?Rp*Z&V7FJ?K}0{|09=mikf?J#cG|mNR2o7#NhsV;&IB+ zl9y`+Us)0r`E(vR+;o=u#FASf1_nqyw!JG|{fR5DnIiR-f^GYOV2AZ{@A9cXd+_YI{wX(3! zq5nRla?kTgD*7uha5`&@aedb5(oa3VY-{`ab(^ihPhUF!c;;+g>`;@`eJIqq{pZiG zx?~%WH*#BA<=CuqNKzfQZcX8azfia$>wc!ZVtCx2lVcN-zU?W+aG<3^bSUuiNs(Iv zX(tm&L~Ef)LQjod8N!$j^|0_AgAViz_&5L8l{S>a&_(`!^U#!DJ$jr%AkbV9Fl1f8vyY#iRMA>) z{UGcAUzGbtX!(oeiEqD^lW!fE)D>LnrdA%f8GnPqXeQFBHzf<^&1wH2BrY; zyfOVBu8T2s!s)%CD~`jKI#2x}sy24Tf_aVVl(^%pweb23Cdu+cnnY>JlQq}c!w(k^ zaE~^=GAE_%Q_3d>ynasp4(H#U+V1R`GiCYCsylNH^BDl};Tridu48(Nvbd)GZ)l|> z!efU_r237sUi@^p_S3m1zl5FEJQnjNxjHG|%lTCA(9Ny3&P_M6tNzer8>gr4C8uMH zFd6jYicg5cdE)C)yft20rWCLKvabJ^n~izJ6H;%ki@NmMV|2tPx3){H4pov}_WrPK z+n$J>cTFh+3tMSwUMTFAb^kblVjJz~QSA?@EZA-f#aU&?vy^a@-QyIym$%f^oTSJn z|5%Wt4at7i{o}beVz{*mWG?GS-(qT|1vwBynzZ)_ zk=KRaPge!X>x^D)o>q~9b8>P^)AQ_~>KsQ;GF!8PC2Rh*W=T*;!llV$(UY7JDN`AS z%mwypd-a~>F8&JsdDAcxa-p>rmCFsdKe(iK^_#T2vVJE!yVB{2FXlQ!N&AqWpK-cW zvZYTbzdt2AYBqVg`RvDw-9(P9K!td9PL9sVEmvP|iVUzD5fD21wWW#v5SOUFea(yi zZ>v2QK(5{??%nc?k@VijNy58zZS|-tm+mhzyAk0TdF#q%dpS#h$~TWymiNt7{x(Fr zV@ET^ZY7PUH~QrQ+P7=peijKpv2pqyR+%!ju>!f&ZLPU>qeHn}G&DexG!$&Nms+7v z>{;lQW|kbSV?VmG$-ZdJ)^A>kZ{&(tl)~>@8#8)UvQAVB9XFj z4wu{X{tFlC+m|`PfT?#1X+_g`pbcY14?VqeQ%iJ^P>mcp^2UK3=je6J%P1OX;CnqR z?2piQTIAko-c!?0$9Vbp=vi9k=zQ7RwNIbRFMHbjJe0fj#hiZDwWrUun>#nJ!T)!+ z7C9%)SyJ4iA|#}d+BQ44=)#NLUF?QE_eLx21&C>w`N(M~8+8Kh*NwiWG3ReqjtYN0 zdQtZod zfp=OLh*tA;Vs~A|Skwm~XmBpzDBO&^x!%eusee+xaHv8;a|Q>1AEPATBgW7Wy~CD2 zI?(UFA+$u9oB>iKzAMb8IPBhF2VU_vGv^B>iVy@C^<6k?wOE~>9iNN zwg1yaDoMvJTV^mIW^n*F~gywsPMrD+1yMO^TI5lfjeTS9*dQQqX{enRF$=}PfmZ9t| z6xEe6zf5I5yNY5I+Sdg+`7J~HvAr7XfWU3o;r11bi5K-c)IveElcE)RrP#upX4pi? z31ysSVjgsP5|LzbYi=L?1_8xhqtDMTc=7UhO0si#mX2Zdo5Ev;k%k>_97;Fz{<%Kg zH9BJa+w#lAZd7%jJt0-E_AGu|avOs63IdtEWYNawoUnCVbPGzb=DDeTG|^o{=%1_=a3UQ~#pCP1HGg#NXg;OVd@;NqlIJKTJ&YP-JPJ%Kz`p{HtT=?KkOH zW^&f|Q&;Z3`Q!8EJ33`gTUUpi5B%};-N@cP^urf0DV;>@(}+Wt7K&K~kWJ0n&`$wA zqd97m`yC+}I};v0Ol!m@tI)P~)!YBeHCB%pyZUJ5omcgy%=M@&UpIo)AQFD!2u3bh zUo+YcX#GP$!4!(6E)k2~*lAP*AMWV?Td>_Ue&J}CC*2HmMX;rj zwOc_>UH7av>AV7#hU8l1OjW%LO)x3}K~>xk2LzKz@J7&R#D z?Ng_up>y-^1Uh{i>QTD3xHkz6U5W$bfA^XE@z2Q3WZ%h8_fJSq%Zrk9^R1tUj?<*P zt!3Y93k{>A-=-I3tRHdgSXtEIdK*%%;6zgW>(!mos~3v4x@2#tI8kqTBaP+_>uK!F zZn5a}us*$-cqVT#opx+%%E;AQzkIV!Nz2WRn0)NPjZaZSKYdvjV6Z2=Q+SwH4{t;7 z;DL^Jm8^EA5_DQW7?S(X77k!#j)V z&7+%cq93$t-@d2&_slYz6aUkryrQCs%#>+}h-VzVhyhqMh*%98ivtwU1ASVk=rnKs{81Yhi?&2a%=U75K@V>$hD|?cg|}6x0G4&URpA#{)3ta- zpP_x$P_&PqJ^Qch?Cef(id2-9m3JLEa^$OP#~(`{_L+3raRY+QI5CX^7&2OW#P`N& z{S3U{x^8#Dcq6{wpjS@)m)z}fmjnoI?jA-v_Jw26nAAHCO60%~4Kl-Cbt2;w!>rca z6%DnuwPkV;lGP(g>FGn?4V`q_9$UYABqC@Y)54X9-;@j{i6$%}C-*1&2mg7&#f%2x zZUV0gDbOxzZyAH~jvP6@U(EosYfsxfb!uo)_S)CvW!0J2KC8k;ZAo?5X5ez&tlDl% z=DPa_e;j{MFv#Qeza^*fbNYqJQ%fkO4VWrvVffJU6LhI)U{m)K?QC^5KmDqK(_c4# zgeMhi_c$7WyGgNZ)$M$1YN{{SuAg{kU8G%}kLbMb0e!%sXfDQejp^0pXyxh^zTL!_ zxvPZQdrzOPJ2UI;#AbH8I;o)4h=WDeF#FEYGl3q314cEozvBpP(yV+$LGp2NdV79h zVDO`E{rd~ZQePqCxLe{@*X`0-%obFdG--jY+-`{Mh>y&!EeITZadf!ew??`1-Z`Am z>qU*hB-+MYe~hfUbrpcsMlBL=`(=6FyL<-+AJguIkqQm&M{>cAVU6oK-Bw4&f6`#wHC(D&+znd27iF2 z{$MD50)U?=3jo*{db|2V_fgZQFyteSXKlbh-*FI5FnHSs%{AHM+4jLNm-^?dtEa+i z%^5gODS0-0OgARysDN(na(8zZP~HMRrj{EQ2D4=_iSf>JASTY*B3IVnnL{jgo){hs zV&Amw?xAnC7=a4Ow*0!`SH*_$x0&2Yj(bjfg2HoDh3&UFGFF!yx0wfT&t&AI@ zfJ}J4y<*UDnjy%ZW*#vyc*kw_4nVLcw;&8dW!{yjM~AM@j0K+vy7+zGu`{+z)%K!; zp*w1nHjF1R#Qr+wSLqlTwShV!4EI8eeJ3r})9{;gakk`nH1rdM70-UA1DPW~OtZ#I z)ZC``5o* zx{*OX5QZ|yvW%yJuK+)P+_Y&={Fm4q@YM4FxD`J)8G=DNK||XO34<_{X+h6CQfXXW zQ#Y^z1Gxs$Pl3!s4lbcVxUQ6y0sHU$<#{dy2Y!(+0HjWU)yY^z=?BRYpy`HdF!RW; zHPVL_`Yf6$BJ=z7nA*W`cf%K-?b(esdq?N5^`sSu8HEf|yVo05Wq3^9+>;}oWSOVp z?p24K|Mk~WtUWlo^P-#v&$&FW9?AYHrh*5Y!ZTTp6*XJ7bP}QR(?7XCPDch!Pjx=m zV4QSN6P6x9h6sdy8P82|)TE=q?5_JKn(I29;|1FQz)E_}tB^@+#Dc46*=(0Sf?ZWG z@Z>+Z>(s&P46l$u5izxeG0Ql?Fx?JE8U%NLk)H0sHhzzjr7`F>$MoxC^V$~NL1vLB zzpjnX6lX{y6r?gc9Cmy?g)~IiZkFW*F9mqT8hvn^OM1b!Fb46ta6=G_2xHXO%4ibh zyuYWqfMC&i&Zb@$^Ip(g(UH=7#SBeVz7Gd9h}*&bqOpM&7QHzzRpkdcRj%}!(B#Gu z@}(&v9SmlCfBNu;C6P}drk&t~JgHFDWvGvUy_MZo&y*=iB5e{&MJhLGOOOg~1HxrT z=B!@g^f@kbsjEprN=k~D>%x!~alP1kq8wsI3Iineg!Oat44ldQW$B&b87tjnnUS$| zt09{y;hvVm`(GCc@c5W%Y>q{;zjWEMU7{MGA4l{MX)=6^%~L#8VmDu({)QfxtRpV5 zLK}fOHxX zG>z%X!B^Qyqo*}UsB2Wz&+7}GR_%_cfjTGWSbCu}6QQ_Zp-N8Y1{a#KSj~xrkcozx zgnD&Nef!oIh{r4F3x}L`lRMTokVL}Z#7fs6L%V~uHi0D@D~lG(CgT-|lu9JiMMdjH z^^ARiQT;bSFyU%l1Kx8j`5ipiMfoN*-Z$mowA(4G>IK^-sh9U^ZwfV9v{VGc^`OT@oDdRX?QHf!mCn6JVtZUlvJ5`~OiPpq>kNilNK@{L_SaAq)uc z%P`Gr^zk|(x*1r=`9zz;!JragFvsqYkbYu7A-)l8Ns$wysbdSAI)A>q{U_rxO)6rU z8!wEvR;?snApk}!t56IZHq29Lc)>B4eF=Y>HG|GK%;B@97;YfZw^+JVA+u*#(J)5# z$pTeZSI;~$c^0!xbf%ve;l@=d9bq=GwC@O!ERep=`J>bJ4j6hI&Vp^~2x1ULE*3f6 z6tRd`q*ct|6LbP7mt=gVNLb$g?WGr;o4ZnM+3C(hk6MQP|0N{_3`{Sj9suR+RWUK? z8dCjz;D7-;APUf!w0ro>oFL8g=^IQCgiFfJq@T~9CP`}z$UgIkSy?7_NIm-ZPoy1S zQ&X{yMGfLyir^kA2}NvXrt`z>y=*itnMN=Ly)K>9BIMP%9Ag7OpP4kmH9A_nFT@p9 z#(|T9yJ;@6G{fgq9uK--@8Y=V6&2#D4ej-Pj7-vj{YYa+5u23MoYpK0to`C= z?x}|fXHleaY&siy@)p5Ljm^x|6|u3g3a%Du;VfFbxMO(OX_K-|xb)w@>L5RRn_dPU z01DAr!H>y)_pWoZyIZzy9du*gbud}|4BAVlFfQPRVf!SAyoh- z?G1#*t$vK;!DSN z4V~6gors}61%MHIQuM=6L9xJu9xYT}Dh7pu?742|b*ofA1+&iUt(w~T=;-Yan>i7x zSfZs?R-Ujsyj+jTizz9Qsf1_x9epqlVK|XY5(=0vQ`c(pfRgX9fmKvhTgAuRxl?2O z$|c~3#rm#ripe3`7`C9=li9$mu`LnIw(CN^D%xbo1s6c#RoVYK-j!h&o` z`2IizNO%f@ZXu%+7-0~(?CAJ? zzjhjwZ&p>I5YK2>VtwcK&9!I)kB_woY;ud zgL8HFS~W(l2GM>Qxv`$2ti0UghuW|aBXA<0pt_Ea%G-Xg6?4|au^v=}6ik?Z9MJcj z{BfjXqe>9R`Z^9VK2_w%leR6^U^oCdMg;h5CE|W({s@3PUOhqyBcgHt%Vc0!J8|jh zn}a(h54;(ld77kx%`@%udet}cLl~7Xb?Tn*%iI(~qPMm-?E2wfNY`u-*6@9^W~%~% z-^pld#)pYW0GcMv3-0}dq;s{mF-*@4Q;s%_Stir5X3X0B*UO=-MB}%uO&k9F`4c+- z#6SOhX>_LrI8J_Xaodxp$qm+*e*W^s0=hn?0K6`**GBw}=uqf29v|QlcyZ^>dPIWL z+yYGXwz9GsOFxqL<-Yrthyq@|RQo=%k%BM+t5W^-2`nXAjY zZ(q795^C{7JNr$WNXv5M?F@dm}}jSF69zn#j9l}%3aI`S;;_8P>a_r+(y>}PMVe*q?;(P&Mo>t68s z@Xf`6TQnI(aC2Dxh4bfS-~ptd!ktN@?nf4=+C3j{Zhmr0#zfBRe(kDzzG~YSZS%}r z3YU_aEdEXEJu|4|#C5(F#puq!KplW{3o9#?QKLrrA3J7bZr%~dqs5P|dLd*woW7v5 zXB$%Ia=}Or$X(3{pPkI_DJv@j+)$&6XO4+R@mrU|&!3&M%bEX}@HM2_XO4tX{U5Am zLL%=u;nq(nk`V+-d6t!x^J^Pyoby- ze=7yje~{-~xpK${efz2u=J??r!{%Tv6Awb{9QI-BL7N7121Z3i<$wA#j`EpmC>fe{ zZS8ih1l8|LSeNiCvpo##XSDB-i3$GwW{E%fvpVg5u(dp#*R5D_e`kLuUF!B>ctuKm zLwirSG-TQtG{1r3I~Lk}qbH}o9GpPCar=TA*G3Lp(D%D^NL6Z9u&seyVzK5?zs^US z=DscGaM}*Id-JCK!`eTI9GV%aHO~r~)%>hk0wQ5l|628oe6Eu{=Npgg{(6i1@QVgR zhIq#$bZOYAeBIan+cs~$J~(!f^yY2VOv@e3;;jI>K#Hhq85moF3Gi!pdz=9#0;;EsYdSn^({rrZQsSMUilSt z2oKW>Vt(H9*gbmhh^}usmMLOs29I2@%;qa(>z12~l%M|?k=f^J!MIy~9HG6#mY&w} z)Ouu7y!mUzrmx$|m$n(Osb+Xpth+XewE)>!mvzj%#jqeuhV@at(FYWA%9rjA-4SU%Lm$C%iu= zOt;zlOSgv?Y|}4ySo_t%I((bq()?SdS5BW+nsRpILrd4ndplg#_fM@^%IkkW5E(>= zukA)Y9Mpkp2<@0!<6H3!7n8jaJxt3=Gaj^z&s;tv{5m10TWy$Ze!`r@gu+6jxpR+H zH5xu_2G8Kt#kiofu};Odn>Ei3!{45c{&it>aq+Kc(x|F?A#aAQ=9c%+Q?1;_xv|}} zB+4@A%@z(h_($>1XSv3+$>3-MN+*bai_8m-od;r?dGj=vP;}<4NcGD1A|O&721iA0 zOFhxez6Y0E>pQy(zA!D}y~S+T%~nNkBih}q^&7pcW5wNjsjsj5U5L+*4;)$*?c?LK zW!sf|ubqohEajg=a6N9vCM~EUU1X9 zZD_ZE2Aa8^fzuEY311Ug%6qbVzyxS#4Ma*$Eu%av;2(bIT#Iqd_frf`4;BeAau#t0 zz}}5S2Ri$K$Z5J-%JChN^RWtLL=@qMyW>7(8qf8pS%*<(@)6g#+%V>n(Vy58n2@ql z2i~7N8@kjZucn@QDm=6w1X3ea8}fCsQ6XZA0KHYK1iS2f$AkeUWp~ML800Bmh-Qxs zzO4jC3)T=^zy!nqhRT_K2lFHD^RuVuS$Ne8Az3HEYO9oqf2JlMlPDiU%Xk6^i9`lo zA~82SBEsw71=w7hW}5r|Wp&NMze{z|rk#Km-t~$|6u9KtC}pBE9d@s6@)-Rm8XBY|_l#ezyKPe;*;1>)S1=|v1f*iD#CUD3j{r>b4q$Ul(mqQa&f zB|~$NTZ$PLG8SV#4|e>SetuR1m-=@J_9K@Umov7ORITJj@cTuNOZkiDNYn-e1HJS{ zxepIumQTa~2+18rJ8P2j2~5k2fGVlNWVwq|y9TV~ZRVFiT=Txyk5A*-LXLu79wD3CD#C^D~ zlLKW1dx|&Kh)j!zLAfFJ9SH05CVw_ozc;|-;CyTA-n@AY1m$p0jDlv=&2d2rjP1Ds z;h}s-Z@#0|TC)DmU@yOqBtym2$i+GzdCbgvAN(R=Elysnm%Lj()0FKjXaGbNnYyI- zDmFs^6+pb%e(j7cefh2r0-62t=#j?rn~(qb2LxJqiF3&WT)t3#i8Bm%LD!zV0##bW zGRm3lk_`};^z!9>7D6VmqTMBmPhPB>T)JC6&m2gLK}524NJsb!U%bW~Nx>&?u4&Cp zB-?P2{*z>5P$U^_g0Dyp;1FANJYK&bzZlj0^JTE#Ccf^Z1xiXvXcD})ge(Tz;?5Nl z9*GtptrQ(RpFu9KRktUm14@hd5!#Sp^hZRa4W>?~hu5mRj1A`{^mbP5J(r2pE4<8c z1V(6s|C~?>IG~w3X^mhVyhz!*RDp<9yWoimye>3tDR=w%dAiqq)YOZ!-;?$-j%Wh+ zpG0%68)|CryjQl~)&aeEqPxFGZRrAwLUbmlccW(JW$qxxf_#-k1{t?(AKyX4REJy> zyTWnEC}fk9@ljK;ivcU@;PuI6#(dmJDn4-$60=dr4=~+jx;xmbfXQOpN;{4-n4CZ0 ziAM4VMBDqhBYtagWXupUL@}}XeZwK@m3NTJ$6f|k09#WQ+CM^j-m-YoC=WwC%8m=} z9?#LA70(?Z$qFng$tpQp;2EvE|It`g^~1aI20^^b>w@!v%*y@%P(zWm8~` zTLD21CO__f_iKIGAVlz^JH5{7$Ol$4NI{Ha__E^ii8Px7Er*rpi|^!fjn0pFz=M)k z6QSYvk}Y`>zd*!he2%p}&?C6#J~{OL5h{uFfn)54_6X56wNhsWG-CGf`IX;tRtur> z2$5!RE6I()LP&Q^={NvfYPS~2RT9_o7Or0(vc>eyy~TGp8k}@|hE6Uv)M~40XK;X^ zCQSoY8)IMW+Y+!+5`!loSazE%(!Mc#C*7Ou0zmH0{1SHT=U2($%luE*AQ2YJ9zkZ| z0o7A*5#V>(6%m#Pod3y-I%`ap@Re_&y!i`0pG^riG8qe@9A@u}4V}(u=Bg;Tb7kZh zhfYv0c9@JGk~P)QX+~ZtZ{5q4Pq8wfOb~}lcljz@(J}*za+ni$P%}QWl)%HP%xp%|46^9MoVoyiPOxX7F(OJF9A)9ysAHQqp!mOLZDO|9qUiffLV&C$ zrv&iZo$5ojLF?8HnHGEW#*nda= zH-sy=GL77W@(_#a9^xifP$&4+znAlZ{u5JE!4Wx1>rsm0vY46s(PjOi7 zy^IYU5LHvh+$rmM zS7p}@8cQWMPipQs0IPF`FgkZnJ^Mlv(fEUf8=~AO68!@L>MJ8)a$bp!I*@FIc4W*2Ox&cH9+GJX9<=$Uvx)m}Xq2%?ZJ zBgeLvUoxLO@<1yw((C$N~iwhJC z;qbuiK|~g+Hpdfod+KS_ea@8T4FuU^mmoA!-}HqOk>TjCsQq>%CL3XwJK?lrN@{8X znkA69-WDrnO-0*QQIxd@uq88Us|+w(wxhJP^kC#j-Qez|9mXWYo4?3`CyJ6#fVOyh zSYEU4zK@C?^8{~;>42o-gGK+TYslJV%^SS)Qg7K0Lp>Z<1iEO|y0uK*6z4u4ANQD; zUxPya^0dm7qd3Z!@5exleGuFlMLLjI;8FkaufiNFx`kpVJ>~2!Qu`u2%HuM!L|ul||OA4zWIR z_^>;@Sz__N$>~LaroiEj6I+}06&Ls=+sgkGcpIpSoV2d@)aMaFLhQoDr-tMnIfk3Y zkx-06h?6pxj_-XBpCC?a#$Crj5+qDbpW6O?+*48_#%0e?FMQRPI)+P!JIpuhCXm1b z(4DW4#j<6R*_|$xpYrpi6#zseOb{*<5z?E*KicWFzfvS-0gf1}e}n&%rJI0nc8~ zdGn-q=#P}zw?9_W!@LDRRz6?`Ju>ohZbpRy9*U9Ph<0~B(}SEbZ=NT8n`JBjE8}+f zaN7PA04k?KL)9tOI7t-r@zfzWBPFG!>D;ay+J=5KD}4WIXzg&k8s3Y8J-=4^uk`7b zqJg!!m;4E zj^|a8C}G7j0YPbl;`hl7#tD=QcszrF%gnU~`8gF4;h0fFHlW_%cFB-o+3mEn;($zH z0FkL^Rzw4TUcPb#LaGYfvB_)ZSZ~;nNN0W*P3X=?tQ675nm<5U1Wm%2lnxmirME`Q zmb6(tO`3IWu3>7S%G8On4{$B^A3i)}ZMsngL00S5Z97!~;su+9R1j2M{ga}ivT~1ad0E*=gDtmM z4)BkMg*>eQ@Oa2bO9sdsz#M^j1A0QRN8_J8Td!I>bO-G~8JH&h8HkofM;0Q7lCg-~ zDu7LUC-*frKB!94t1+s5LC9iKX9*K0P6)Uu>QKzQ;zyeh9cVO8;J{Eh2hQ(Hg(ZzL z5CMurnrGS)cE}rnmfPGJLuL!yvTO^aTMeUqFh6-WfC@v`A6d&B+FgEr$^M}xpg2JH zz(#<&I`Xn<8v(eNU<{+%5-P>R8BzdU81)V9pv&Dm6A7*`+;LA!g5F{6v`6Z+>Y5ZyWGu2RQ-FV0wP_Xpjm^3FZhl zR>jrMIRC1TsZRF&3TwoEwms;uWUHt#pI7&7p<%jGwwb{#>VB+`hX1`nY=)kXu34M0 z`a2FRbkSYGBE*PYcmud?&=LpamEXk(xUMsJt9A>j^;1()T)F)^j~hYbnNAKZ6A#Gg z(s4xa~_ws%0p4W#7JOm473z#8_L# z9`dUEC{yq>5t~xlrt*bdUE}xL3_$wL#o_br&Z)$glos@i^*8;$P4f=dj&oKiE)%By zsTw^dgE#^T4IAr+tH**C8b4EBJ{sk#uc2XT1^I?7OL?N2Ep5SjmS3E!HZ8~l3(4Ob8-=mHp(I(I=6^6@~o9Phc z2Kls3*#f|LUmPz)s?C4|xIvO2Zn?OJLV`DM0v_V2*Gp&RWMgB?Jk;LOR|pE~%oRj~ zV4w7{Q57@gU?T7Zej)d@E1^FH=2Uc`V_@v$Gy-%=hVfF_@N&BVKpY#gPGsUPV>~@; zy+}_y9~>SZBsMW1gd#3ijHMu#guF$I`gDK1dY|#?MH`$g8iYIRR^h$2Q(OekYJAw!7w1q3UM29F>7Gsz!^nRv79-&&Fq ziu95MR;JL1z>|z+(qbKrWdEG=efVO2>`F0h6#NW|f_N@)s_{ZuSnwi$`02A}-6-zG z3Z|;i{FgWN?=qz0RhT2_4;awN-jOZfo+k-|B~86}u1WYFJ2>8|8zUAK9Pl*ea;9V$ zDv~yVMP-4A*k}9g@ywr}Gh8Br6CObL&^`w{k^w4Mb4=3uz>zu?6r}$y-9G1m8e1LH zr|jk_(MTR7xu>x&`b(XH50?TU>FwJw%m00SdxItT^6x1N@gz#zMLrhl)*XuU@n)0d zRl!n*fT^mcCKm7=3>~H|(j%0TFv>-G?AU9i&~$%i9idXjC$L8d>g2IrN8IjEA(yp_CA^}9tjg)n!< z+t_?HNKQSA2Pj5mSKJM+kRU@d8Y{AK5ikZiCBcwFo2&mFNDQTC$Cr`t z7i*iMUm&{PlR1fW3xf&qGU?CQcz1Z_>1Rit`QYI_VCFkmbYAT4Bu{u(U*7f?(xTrPVW+aS9p^w2>QiF}>< zrDtXJ9liOh$%mhX0}Tv>RmGcMx_0fzwcE%m#DWZB44I$%m7f-c>HJydg;se^!Gen7x4yE26aF3D{Z)v#r`ob_ z$Xb>Z%;cLW_t%W7-l@C90$xD+ zmx~wzw`FSRpkY_{<=WmvVitD;l5ZSQ$*Y>=g?i z4ff#p$Kz`uRJV&$+Z|%%loTK!9jlg*R4ZZuT@=FDQmAiQHSzV8KVqKY9nmrJiB(Ad z&0Hg$%`f%06dL~Mb4BhHWvVq=ym}c~wY}o{Ng358Ej)!x#rAb-Z+3-tRqW=xPGE}d zDLNI=g__fi*_}{R?_qG#)xM{(v02@V{OWk>_uLtfU&U0!exEI zNB28jW3#8WM1gRZ;fU%{pJU_G)W>ci`_WnO>$;OO$#{IoRu1Lq=#g<-Kr1z1b?lbF zT=!^wzP@O{-8~S{Nn|x9RG8b*uufh4%#-p_v<*LiK0LtQiD^Osg*D`i@vv0RG*9X& zpo?%98q??IMzUD5##?Mi#G#~~f{58AWGa^f`Q86f@rb|nFsHH$8HcFl9x1hL-|@5f z^`LYX_6`uTSoYA57PY~V?__CTu{K(U;So`{-M1ewfh8gHz&&5sYTVwWq|W%XRH4la z%+ISD28r7ZUEJKeOT#f%lYe56z?vuNKZim85$_ctzk@^_j_jZtylU6=`7Jb(FNjt_ zW^7}~ZYM_BU6lWN^qC7Ff#(u-I<6-pOA5tN+uY^nV41h>oxZC5+B5BXefk%!p`^6} zKjM{9k~Bj%c(PC3$L34zD!gGlW%dGgk_=5+{9@J~e0*r?5pXkRj zFRgtOryVY{BI$O=?}|ue3*}3huEflYqny*kjYJ9b{|yOP;!qL>hD zw2G5K#KFF3078jwm@?(Y)ZQ-DyI1go$SsNB@Z6jkfpV`;gin<+KT{qV`ALm@ZVb(k5Es_^~zQ zidaC$f^Sv_?qCZjya$dt7rHJ8os`aE&3tic7hSClbKBLGYf^`b8mT#bSmYaU5}Js` zv@~HM%usGj4(55;BNNuH?L(Yqe7zS?R5p?+=QDyfo40QZMoT;p>ID2v zn4toLVV-xl>ir&a6~D-7TC2behLQIQ7EUN&-Qz)`XvhGP-p5EN=;EVUKfOGa1?|)Q zMBGOL+a7hav>)l8kcPY~EZp;3I?*;q>6${J6fxO&+-y}+Ze6T6&h$GJ7zPiW>U7Rs zh9$*kWM~R<1!#;aP#K7c)}3y^!@6gF47nL2&~}R$%VA*1V@4eL&NsIVy?NlIt?0uRQMxMd}TTd z@AHvScQ4Ptx}wIkAFUIk$dNGhp`kZYNCm*viZB`^11Vc0i2G_FU=H5`gFuoX3J5

Sv!Va@}Ph%+G>zhWtT z1F=vgY{Ewo8(!Flr0z070#av-m_1%WF)3MFX05SoQ7@%s7RrY96p3cg>zsB_}?$j)@AZWOF!^xs4Y00CA zJvKA+n0donsRww``0c;>;OeI%BHFQpyl9Q$p@RqikI)Rm7${4|)y|#Uee_)LJelH! zMXJ(Ol$uq8yZ7jYf_RxNK+TxpT53Ee87mc&5C-FpTs|WXr<~hlZ$@393}ZnFX+;7b^p4*wQ32fw!yAeHvTwO2J=~CrmdE8NYPb{{xeR@+1HN diff --git a/helm/software/matita/nlibrary/logic/equality.ma b/helm/software/matita/nlibrary/logic/equality.ma index 2418f2a7c..1da7e1b0b 100644 --- a/helm/software/matita/nlibrary/logic/equality.ma +++ b/helm/software/matita/nlibrary/logic/equality.ma @@ -17,11 +17,6 @@ include "logic/connectives.ma". ninductive eq (A: Type) (a: A) : A → CProp ≝ refl: eq A a a. -nlet rec eq_rect (A: Type) (x: A) (P: ∀y:A. eq A x y → CProp) (q: P x (refl A x)) - (y: A) (p: eq A x y) on p : P y p ≝ - match p with - [ refl ⇒ q ]. - interpretation "leibnitz's equality" 'eq t x y = (eq t x y). interpretation "leibnitz's non-equality" 'neq t x y = (Not (eq t x y)). -- 2.39.2