From f950b4767b4bf3ba78830e317cfbfaa3ef31a15f Mon Sep 17 00:00:00 2001 From: Hearot Date: Wed, 9 Jul 2025 14:05:40 +0200 Subject: [PATCH] feat(eti): aggiunge la versione compatta degli assiomi di ZFC --- .../Assiomi di ZFC/compact.pdf | Bin 0 -> 73389 bytes .../Assiomi di ZFC/compact.tex | 64 ++++++++++++++++++ 2 files changed, 64 insertions(+) create mode 100644 Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/compact.pdf create mode 100644 Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/compact.tex diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/compact.pdf b/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/compact.pdf new file mode 100644 index 0000000000000000000000000000000000000000..e4a77bc32d0b8d6532b895d45d8cc6353d9aade2 GIT binary patch literal 73389 zcmbrmbySsI(=bkVcXI?p`cQ|E?v^fT>F!jz8wBYRkZuI&?(XjHknZ0>@B4k8^?U#M zzV*4*8Rpu1_Vmp5$ThxI5EW-+VFDq&9h>T&Lt+Ck18hH8Ao21d0cDMCOr6XCEbN@j zfIokbfa2y>PR0%ZptzNRld-6=p{Ath&?dI)r zFy+34FiRmyL=;e*C@Imz=$nal==izSrTfcdXXo^Cbn&_9$7X@l)g{^D-pq@}hvIv8 zHSaI1tuHLC^{FJ0%?quWBevzeN=Ku%Me?JkHpRig7k9&>_wucF!}3vhCf-33EYBW~ zH^G$M62i>oR}=L7DSc;g4&Ow=TMLHpMmSBv%o+X9C-$}wNRg=GR!SqX5v{GZlO`;T zw=9rxwFpdbN*Ks0S^NTn9$7M&ZBelM*gvb(F0sqX{ja+7;^6ph@x4Km!|bW0c@ zh$(r+siSWJD`olfBJkrVB~l(x=JH{F(I#QWW#`wP3yTs~c{5+p$Ax@onWbFij+nGG zBB|R%ID&tuVN{7>`1u01;C;p*-%GABQQrGX#sWM#l%>sQDeJlGv(4gQ(20k{fEjVN zUw0Ym#f+*#KJ)=;WVasdBW5URMo-3{2_!}2mZeSlVh2pNEZl9Oo_AyFtxt?2K_0ezx`qJc*mY%4KM z$Ev2&!SSK3tnNWsaCOU+^D~`mP$4L0FdVgu_j84w)c@2vGnu}LIQWCUh->8Bxu1e6 z&!0`jmp!CW`3pwx_bg%I&DOK7d>JYonD>=;s^oIg7J0K2p?4bi0F z2#@hADO23=8^^f6x)Hdz59e`bJ97^+>D6Jx4+;l4g{Yj17CuGevNBhMiXkuMjpsqx z0Y2f+AzxDK2K?lGFVrD5V2AuGI8 zAtAk&`Fci!l`X`Qp&{?KC1+?+{vHz)K!q^Rg}6xbZ3uM^rJTLapCXW*@+U!}|BRkL zU9M*2?+Yd@v}udJ+v6~*Z|}aMy!~1M-KcxNL7?l1mMDte6?)KC#;ESPEX|^kw#|1S z-Fh|X|6(*){Xjvp$(OWrGJnzl7)!*%F99pV1 zT}7J{SHXZxo%~=T+IS9t>qL%j*B^84J7M4_+)ZR0`9iUFlBdneX`75FV|?HxIx zgd&I{%t1yA2iDrT0TEG6BN`ej;cmHY)>jttJS+MLM;kx-Oz{&L?HbD&3lwU<+DmUE z^f}S!{QdyfAVt$M|DLjE4ERBf{GCR#GCYi4dD8@(ZU z8EONNjBSkmY2;w+^%7wHuggHi-Od;QR4_0#Mgof1+Bg~8I5`4dZwnUD?GP0Q09B0LoB%qn_t(E_{A;ilI|~OBC*Tj%`Jdf???x>Sc6KJt|E#|%`KrAZ zh>eAb?LX_U8vj{m?jT^wp1~!MC?G`^>u!CN8X6Jh4$PVTRrsH4(`;-lAB|9?+ zECIyK4c3R1n+3ee1>yi}2m)&k0)YRz@#=fb>($b~@HO#3AkZIeU*TVhSMi*zuQB)s{*n8a z++1KUaDeUM0)SXw{ldxl$FHof8gjC5fu(`C!4?9zz1LE((HfWUzx8~a&W(<^*{E3qXdr0pYrAaH$=|Au>e!O76RCt z%;3oUDU8?T;R0}Rzk2#lEBVuG{+|4YH#igi#QI;}U@ote;G_mS?4Jh^IQ#zFV6d|P z3F~W%{S#Jpw%6qO3qfG@!QBd64s77m0mJ{n{_gz0z<)UY<;(sW*jG8PeHLu`ANcyr z#m)_u%Lz^*umk?ka)EUMJBIDmmcNeV0{0d+@afmy%gzGs7hEjhI(_YK9N_NA4R!(t zC%8iX61*1HUthm6|5Ivg+^_Y+3Kj!yY2fVTc&(Vff>~HNz+L!{4u2sBxOo2c#;csa zR{ZtDe_I4%f9?CPOkcagpPwwR1;+-y1;91_$FHxe|D5@|3Qi7i7yV-;_n#>IIrl%b zpg;TUpjVHugHM2a@GI4SV)%MDzQ*uB-|$!fEL^NC|9;JI1zdPW2o0F6M z|L~h&&9jpecRK(?zI>AWs`lNHVBzezR423{jJthXr1E3&- z=|Sz2T2qZHNV)~%*Wfn<*{TIc1AQ#yUDM+yi#k?O<#IoHj`nH&2rj@6Vib&(zhF8Un-WnFqsc7sh=Az5%NA*e7ok(pv!@%BX7^qHP!L`leB0X4N>OmjRU{F<@@dzis40U+bNerihTqsN;?P)8Y1l-y0kK@)rQI zWkr4WDaViwi3X^BCW;BbUD*05L$2>-jzMSy!Uo)BbjiFR`Y<6JIIBNBdHMteL+_!# zd$7H5MCaE;m`2gHF`>Jaf~)*`Z00;DFrxm>nhAVGwc~GSxB7Vq{udnyT(c*9^jdF+?KV6Nh?h*K%-u`!fiiD% zpObRf@9>YVjK+P{4nhzO-T^jkJ;Nr~kKNBN3^xKw&o3&^jRP;LdoP2MJ>4TG=mN`` zkT2u{V=D_Io8=*<+YMX-w!T>6DOxEA9?yU z8vTbU(We#6O)fGuGTM0`USMJcDL_N zDSxz^U|g(f^|TK|LkNEtL^rB6rM0(ngl?M4oE<0GdJYbQEMd?Oxo|{UtLG;7frSZs ze2DyQ2d&ZVo%$@=1fka7iU}n4QQfiadWpDv78;Fh^TrVHnLe_;Y(!VP@D_4`px?8- zm5sX^#eBA2hpG6e(fCXsusIK5@B3`M=3!#Ky{>=th4@MNYTo1tcq`j?trvsdW^n^X z$DYaio@LK6m6k>e*LKZc2498!3P`+&17^Lix}Qi+E}I@+sCY*Y^{PGiyXTRR?q@49=D8Z5`mbAa4R)YB zO*S8UfAb&i2;4?562LgXC%*xX2o1sbTU+=qdaHzE*Rz~PA$$K=nf~y@^!j6fOWjgV zt8{kxJwY8>Gp0PzLA&;RLS7@D7RAH9^OVvHT?t62^tkk(TDt;Uur&#+Q?Rkyw0^b$m9(cOxNhY_%&}Do+q})$Le)zn(4@3<9jE} zchFN5;ULA>rnvKxt6^{uMuwJ}D1+iz{W)=3%IBL-uNM1L+%gyXyi}><%exFyqwXOIvzR@f z(u+_!35}1oO{C^$pmZAHU7v8cR^Y=26wprob$o1*u)+ z74lV2YHFkQkj%?+b|-mJc4~u=U>e`fBeg9}KLqM`nLpv-=_)g<#Pma@`DL3GDhNw8 z6HkAOdLO7hI~n0oH5gI-bbS|e|H*Jg(Qx*yTYHlVIXiB;4JF`(@XD5zKfApiYd|lJu6lS9pHY&^hKJ# ztc!@1%-v5I;iv9?J}PCiP=&4jiIK+Y$;ujC*Y}UIQ(q?x%cP&RlR0vlb7PLi6aqa` z7MGGXi`N~r?D+E?RC=R`)jxRQ3mzd4Wvy=ypf3bR-`BD(Prrmo)qS(iRgr;PwTiCJ zto8^vL(a4o2%D~Cc|`QnAwFs0B4BYLO=?-hm~+ZmdV;milUd`MZapIAU~ zWg6be-}1-mjq0c2{HesUqXdZ7&u8*J^UBF~9CF=E)a00H`iiJ@F3!bK58GN9a$xWc zJzLhRUoH^gu|t>6Mal4>SVy!hzy*t6ehgVoRNUPU`<6#|aWiZX%|u3;~HlylNF#m;N*i1_{i4Nb_B)!fs#XEU2r z)`!U+x*DOf6XR4)sru8Q$WtP0v%DUa=V8m7&Z+ zKN97npJZzN<(f7#!QbwSdQSj*-J9`C>Yz@bK(d9uV_(M9(cK{UlH0AQ+G5pH#8lh@ znFfw%u>BN7HK+A9-j9LFY%%re=8BXpB@9E8b(d;hI|SrtD;33KCheM-+?5}*ltfEV ze^4-kB$}u7TRD)HUg#4N$^vlVM`v-G9uYdrpevP^5X)P_QRKnKDYj^CU?q}FRB2?y zKDNC&KW)E`<6M-zAN`P3tm>tn3T*{e{m?zqo!!+HO(WNZ9Ouy2rnP$B9ACcQT!fXp z>(J=!cF~M)TrSf*Ap~IkSn1kCE$*wmdb!uy!g_~gNIGRD-AX5>-x=bF;EGr2liH`e z=~$Hd!oNKyY~XWVhL^->Gmh8NhJMfn~?l}UtBGTLu{y471EfW{M* zyD$iia{z%yI)BPXu(I5q{je0EHE3~O2brpW&RKY5DWVg|%y%^v5`klSGarvWO*(1Y zmq_Rqtc|0(&>JZC)bmB2JW_o-)=L_0AQZ{o8|Wi3E_mfcS0r$5ugET?_VEmOoV)gv zJ9dW)dvfX0di?2~)3;F(Sd4vVd(70+^kWNQ`GrmjTxr>%!Mvdjb|}7ex`9TudSF*TzK#1Ph<9c%FYD?^=*A zn6iDxQ?C*ekA_=XGLVX23@@v@f75_{by@e|hQxD<6cKXh+0JN=D{bpUmUL_O+s)Su zdPk*INi9wxB2BZV5(&4zCUp`511$inI6(pWHZd^`-D|o~>sF)Q7#ob6k8J z1{E%5HG1e;4hW|KwyTs%)uF4be6#{RwW&blA`i`QiTI#W(hN!ZWAWp~xbgzaM`hok z&`VbxbS6;WGE)SX%hk>-k2dOR3ZKjnPI?E{nU`4~GiG7H z;8>ViDT=M9OOctq`5U&*k5pk_;n`9U+DXVka8a?Q^zHeF|G&7-4H99;OE`OvE*l})W#rB0K?H_S3SnWjYBtBa{ z)3XY^UyfH{|5TitwxujF74q@$Q~=(+S=a+%Z%pIRs$rvGiXx&|#pPpWlviEb*Hi#2M@fYRg1_x{I`qiEz>KzQ((21&%9OLpM8C1EmT6p^I|ly0o{5SVAYL z^}UQC+BAIvQzG?Mngt)#jJ*EVK+)mw@uYLaM4a5sbMXel6l}KPfkra^?Z!dR1b=ShTQpCUFbS~foyh~ z#`5AxQ~#c&o-rHlG%>ge=>X^OhB-H={z5)5=d^(2d-U?Au{|2gWJO%hZu(@gj_iJ+_V=Cwd zQL#i#AJAL&*s_XP*Xvp_N4xmG6xU$fdWsoDPH;p0d=Z3u-dBt@r*4H5E}Ne|gu_LLfv z_P3VoA8m-`cWYL8s4M&;l4i~Q=4}&=&RxUqCT{rve=sm#kAy|1#Wn? z)wR=ZPPR3Ed>n$tqRw)x3i27gaYM8xJ%7Ef4});CkezMOayufqkK9Nc(~xN62d!_BaI9ssDZL9+G&;{N`F&F-XZHzLY)S9laPYRkYJ8<( ztE0y`KNqic`C4O2Mo>yW)z#X!_pY!#a-o`)TvfxsE}nUkm+mph&g9w?ctyhVK{}zY zWZOXmssO2)N`jr0V98(l0hL_(CT_pHucTVvAie&Q^=pm33Cgi+C-l#jjxNSRUMiSd zb=_Z+S{)iM7D6pqCSGsKxnoLg6-&Q&@^lXTrtV@u0kT3UUTlBP)1qHt-VZVfGMZy4XybJ@(d0RN4C`yw-Yiv9<%Vdu6AE0Vld@Y$71*pcv66 zg4UTu4H!-d>ObW--sxNp@xS0~L0%kdu-#I%)3z3<&ihopn9ZPa0g!w5tRt;Q7-^QQ zG%oKRp_y3IT!PmVG!mrInLmLpVSRnLawq%pJ{J8#G}!?uGRb-=bS|yBU4l-x_~L3v z;nD$z(?>D0Haj~S=S;=xU3uMskd@(OA@E#=R|?wd2!e(7>1R*wX|5kx8rMlP9q|`g zfL{|`1~5GY_<|>A+n#c`%b4>HsS9xX;XaC)^u&|GfSzl6UoeYxN7x$i3f|?mlv^F< z8dpYr+|!#W1!!%0Ab^A*7 zU!R}ScZLopybkR-Q?x|grk#w$jC+3tGHqGvu zx**%k4{*X>`tbbqjoAYQUobg*FwoCRjIgs?gYtqoy&3ac#7;aUS$sJ-WLp%wo}Tza zx9q)Y6N0`JK2XG#Q7n)0mCMlbV}+ z4$^H~*%C*iHx1fZVeW^d7RsNId;lJa5|Q7~a}3vB2sf@1Y93Qn<$tkX;}x+f4i%BBiMemfgHDrI2P(FZ**T8HoOuf#Ca1?FJ6--lS?NJXN zcLUZarz^QgXcv#pGYeY`lay9xkeEjedxyViGbZ(#zZh_WZ+*{Pld@NUQpDq|q)|+w zm_9A($t`9Uir~m{E3O>eV{ybMf8-~<`@H?s6LHNY5jl?49<8C_BtKsiC*f1$aDC}E zKblE~N7{3mL4zkorokX*vm$xccS89>!uwT{!jpu3mOIkAtvCtzy-ALr$JWEK%DjR|xU$ZS7@_ z)r7edp@XhwJ9**99yB2l#7u=61i}}-CZi4Icc3sex&g?Qa_l+DF zelX0@n!*9qc%wwyy;IRaYj=)z;7KKUE#Q*=|*+8&CfDri~^IOi;_eAy8(oR zkpp*>NE__YZSl{GgV=uB%)$f{(}DcudR8E%G{lNF(z~eqC&Ao8Hv}E4F+u47MJlD8 z^0+Hp6PPGh2uF?6U6IATgV@ZN#*?eD5xzGGIbR!=%^?uT;RC6l0HO0yfTSMmuiBLWZ zuYv{ckiOYQXrtE>tI|R8wOb6xwqA{jY2!`#4{B8n$GH$g=~XzMFFlm1m(vNKE?tN? zW)rpxORn_2jXwrmNCzY93e{#MRGr4VT4XvV5QYVZ684HgiWB3@C$wsJQ3y*eP<7%O zod-t7DkTMyYWl();C?{bsZVaut0iBDjTL~qF{@s9cZK4Lit$6z_GdLu=K8wiMk5i0 zqd47g1{=}&5|ixGN6&*(s&en$cfYV~D$AgF$oVZj8kO-n={QazO*6_Vf{u!WrdwUH-TXrRQi3pu3w`~AS%2(O zA<%$j4_EFOYT{eO<*{ArQ}2d|hcAy?I4mxoD*2TfP4@qO6nPeYBkJk#B{+Z8$;=!o^10A9*t|F1$vXoM}~3%U)m%! z8vp=r&84%NYB;i$F{+;s#JXxCd9(`TGub>gIJ?64-dv-O&geaXSQ6`I z+JVo5G04NsWVP__Hta;MqWim{HS5?{dOJP^xTd}I7vW`ro}Iar=&~J8$7&1lhF`9q z*a;$NqeH~82C$R0D6&@K2}8r#w@0T44@3>UHxAXbTgL_4L=#|n)?DZg{Ej;)>&WgU zRR(pm6lc7VlA~~L&5p}M9MroZA!C|Gu~LE1g$RnCmhzq0K=qffd2+T(kN4+OoF{D* z1mxN3iKjV?K&z|pXdeco!j9+act$;F|2Re-^O=dqRG`Ih!Sz%^$GR{uv!_&K@V&{% zn3pUMKD#l!nO@&ly90z(%1rz-$m&?$BRkF}zL>VBCGiqHn!3;F8>M`w5r?hnj1jtu zX1We)DS{uC3DP=fV{2QY%Ms+m#A|HMKDkl*q_ALTvF^C z_Ql9tj>kQO=yQ*(nqXY-YpuGQr)bAssHHXoiJ(@Hyo^O-0*T)-9W^&8uQQFNYdjT> zOjdA~W*wvtw20Z|IldQ)vBxJlo@jatu{|G;EtRAzyiS{dh;WCOzEz9&vXD11$8gWn z1wp#<&KPfAqg-w;g^TyyS=MT&T`obOXz%72-TQoR!K@N7BVq&E?VT_iiQ^gOZqW49 zkjzS_)HfVH`K3%KHTZ{aC33Mz(a7kHC>R6toT#_w+h|i>NS{@+RF@#+wZ*+_NMt5E z7kl{R+jJ0A1!G69c%KzELuk_aSA($-;5gMWud&4~2S4b)9Tj7ZKV%m36v+HSawuo7 zlxL&4&loEoiNJ-MCRV<3-k=_p(S`4CBOtfwR&8e&CGN4hZ>>;xj#xfE^hw<1n;Xb! zc3xnjxG9kXb(1{W+wtdz(nR0MHQ?r5bCffn#Y{gnPC-nu>U|M&zqm}9@*b_UQO6V? z$qYf_6dyz=blJ35fGiuwUB7GduXMK5QZ*hQ024K=A?L?jTjAC^!ouU(VXp`~M(u!* z#&FAfnWkAz(3NZXA^Hej`3f;k<|llG!Y`P=PkxwwmaOB2wT#0#-^K=dtDNbdq|rpm z;VKZg)g(E12n1fXn}!TjEX}fAz(~J{>V8VFxP&T1aaC5e);_x&MyDFWS3n(=J=$7* z;pd#U*?p8b*dZT2SSb{hPHqzIjd!3Km^KqUV)0p>O0f9$rT20s%0$*e#7*jqu^z*< z@hx)uAj#={EGF{gFhh$+lp?(G$^-!u-)(_dd+Iz!c2JAL(h`to>!3K(xO$6h9cL*t z#}qb}|AOgsG`u2J+d?96a{mO$^Nan_&}3fwI=+K>v_J-Fk=e#fK+NKun^%D~TsQ*p z967XvK5qu5N7d4%tU@l?{_LfKsX<{gZ=pZXHiUjrA`VCxT5v7Yh*9(KV691oqk&*b zCs>w$mL7Myk0j;W#EypXRkBsd`^(X$(L?s~OghLM9fQ_6edD8!2}tA0I^s?ZYk{Jv zp|wc2L^^Jm!g~)o{7KHXK)+^!3->d5w8Xv-vpEMtyAjmMw~C(|veHNJD9BDTIWg9K zwZ_9a$Hfn{nr<+(#&42GNLBoTVXZEg^(r8*($AlU0}79N0#svp=`b+Q6O*OAD0V+X zSq#(Kj(Z2rY$X72dNJ#I%IB`fxiz@oUN%!Q>u}Sx$ocCXZ02OpR8lk#q|?AhDw5&b zQ5$}GW4s4fjcCD&V_0=@I`Q_1W;u%okgHB4zO$y`>Bj7BzJ-r#>{vVo(k{4Sgv-y> zplmK~=)l%sEWNjww3PRaoQ`yMFCKWSVeV)s&(KM_V)A}EZ!jY*-v<`e#L1bHw7sj< zJ0nknu2*I?W<9l*M!&{s2qZRSqO8;lnW@u&s6}QPC@C61{?3kSK#u;?&Nltt$uQ-& zaHe;Zv(O=KH1l#h$b&p+TkpR$2jhP@3zoW26`rO0Ml@k_Zq#RL8lNzz^l_d5Z@#>g zX4++CKf9pgd(;Y1*7wyd0ScWp4%(1LkX;G7b8lKNs@2S+LufHict%pP>_&Ar^E||5 z$>RMSBky`{)6KN%O~sGT1|P2~a~nrN&f_Iy%r%WZnF68BnS5PRPpnzzl&Yb zho<3`W8)a;hClIVBkqZ8+P^!;`lz|e8_o4SK%zm!zBoVz>*vspJwH|97qg(jZ|x5g zUBOew<_Blt{v6gLcc^)Okl%kP$>Mnw8*1ES=$Zy(AvdeK(YRtV+TudlFbZK2fkISx zFkC#NO%x%Qt(g1O8A7InBT{3{V}(nJQezT|pe}?DV>#>k)n6Lj1h65jh^_1EQ)M5v zsZY<;Bg*s7GXAjc+HrC$mRftF@CX@mo8MB$6)wvYpA+%P&DDFL?q_@@BNjg123A4p54JD z#I()j_n=8D4RhSuiL~BACPZaqb62N?k#Q((sNj;WJCw#rPJ*peS~w`sdxD?Xam|8Z z&xr73PgP&5LdMYhYRJid4@Tg1cBl**tGD2xs$r72rI=4dkIgzJAM-OfzE|#>?<+w2 zH9Ikcr?S^l@$NSn`POYfx8rUlfG^*tGK|3YjT4nrIzLKFPCuNZqS~zHK0j;C%9O!L+D5maJyAUn!=FM@i##R!`sIJWkl{tOvw6q_t)I;A(--z1X z>JV_jKIrJo!#ngMY$CU?-luo8u|6UUl^LE49BfzVo7g`m^s1v`4jSFRm6CeTDR$O% zjE&cGaM!?M@0;>F5$SV;K7|r~yVParCYkOK@1Sz|LIJYu%e2lH0{^IED-2)pogLXC z|3L5A!Ie*?iN_>Ro#s}=4urKQE$JxB*2^`SX2`$2s36i2BbYYu5RiH*9i``}O+NQ~ z65^drv@5=WpW#|`*LkN_9yt}pWQ;YyVszWZkG`G>KK&6w?6K_~S@90Xo&@5#@SenFda3e-xUECkibS&Ztjh__v3&|mUfTV4F`6~$ zHwfxgQ86Y0I}f^L8BV%Lp|fYShLW`qLsbT|d1Eyizuxh}jUIf_nNMfzBxf6#3dZ_| zedEnV+rXtdD>fK_mX#c^?vl2>hwt`yulm3x)73$nz0|21e#0Tc-1~T3KBMtCjzO`G zl;kTduVG<)@W{zIB6OL|Nv>|u^lm+4j5Kg;lUSoYa>&YkqWfnj;xPQd`gH8vVb#Te zZDf-c2_r+-{JTdhz(+n@MkZ)ndiW`KwsLuc*2u`|jHVDLi=G`9OKHl6+uVmT{En30 zGoe}TN|ep#mzd!w8~`|8y$5HAewT3+Mg)!{)=O?8%1iVJ_7fNglKbPaa$Lh5}3tFpn=Ruc-H96=o@NYh{?(X}8QEn&b zSx@-VD0-imeMe^?&w5mY7>CUn+Sxna-`km%GlI@Cx~{a5x)zy`7Gu8uhko8+Q*dT zd#ABii*09L$KH2vK9gxfT$8^-u67LBrGxN$QUZOz{EN{kXlJpC;Cp}O7-DKmr1w1y znePW@mZ}5G?lb%30m<*``;Oh+G5!$zA_v8CU+BEo7%nNCH~fh#KHgO{$_s_<_nD=S zSl9m8hj(NdBtwFz$i2_SE8=5jO#=)NjbJvg-m=Rk{iy5msr_U%rMgXlPRnYA9CgE` zh?7+Wm1)t^!?(H$uyon8_5M!8Vm6rvf;xCr%nzAPtlKL-_O^%E`4ql`}iPq zD$Ufw9gvl;g~`P9beIdf(j@*So1-AFBgw@<2r0j)I?`>v7OS;?C@a}Fm1j%*_hATU zK<-Kd}PZ&A4K~+Cp$`& zrW2$U5XJ?)%Nf;3z#hF}iMOvN4q@oukI=j$)J7KgH6KH8`D-udiwZOL9ENz<-Ra<}S(viIlx+zUU4nK<2p?T*Thqi}h|E%U7Fl)8Pk zHy=}CT_Q_{U>tSlhi|$cd6S4MgYB`ZqC+c$Xv&Ss)k)X5u>}feS!zo&_pL6!EMvK> z4g~Lyl;dc_!rXzD%DNGP5Kx;a6}TKH5mB1V2S%ka55`GBExZe76S;&szv9C~(n(Hi zDXlxXJL?yF-}f&kdTB(=E))Frxe#H<@8Y`tY7<^rns-6?Fn?%T9?RtfyI{$&Q)nsgqaCxbL zM8Z`;x&7KhX;h)+;jx*>!yK2!ow(BCjh+tIhP!8|y}U4X?Tom<_Jl)GNNDv6KAt|u zaAD&zG!5{5_+X3tGD+1a+9JfVegpXT`yc{%Q1dDH7v}eI(#WaFyFknRD=j~JSO)9_ z*}W;2T62CI^N^UOvxGxiINRyl<^UG zw?X5li4=gO|K~D~`g&|ewTAPnI!NP;;RaJcEE^bVGkdf?-|EH|P8xs zxz&6@=?Lq$7d*|1E-++fY@J#)jb0GHk*X{PpJ;a~Q|hqm5cTbqq+bAfp&7x6@h_Rd zpar!Ct3o{zhU~O2Qim}}!8%9pr?@EqcS<~6KSk=rki4AmWVNH7&KJlGWj7{|7tQqi zGelCnk`0EqvNL3HMOqY2{LyFO)~mFvBTN!-oNsx?6(Bh29Ug{g9Gk`AK8`RF^;F6r!*xtu8? zyG&=Z6C9I7T)2quIs6UnYf(Gmzg5(GzqoiSjs0M{{&39fu&8sRs(;5!%f@g+KtrA7 zwsm*Q)zX$c+?ylv1-rMNMaWvvpml~%=>UUt?uBv-Lo<=&ja~2)oAgsQZ{~pCa=1v1 zVK0K^SC}OakqFA0ar>ahN+P3#&j}h5^jif&_las5G@)i6JAYMv@Yu1{i@q*&D}Nul zT%=Ce2U-bW0sk}fhBZe(7>v!S^nK#c{ZzA@0LzsFBtni2O=ktJJJ0FRT7FD!*r?}E zl&GJTX|;v>_Fi-Dk@Vgt&B{%b4xGu)=V};*fV`O>VlyWk#GB*^mF|{&&eYaiN z$=F&A{LVW!5>VrxL+tFYJj@InUZ=%qfI>hKpg8a&&;V!%Gy)m}|8NGHn7bGQO~7++ zKr?qcGh-W|InWYl1+)g*0By`|jDfa5TQIbHop`e{HgWokIlL+bbO1U69gSVUXB^Gl zfKEUsGY4a1pp&aD?O!9oQ`W`+@QlLiaNU2V(^&s|O78D$HrN5|EdTZ9K6oq$toh%) z|9)|wgPWQ4|8#^q(g{{2{&&2yk8UY)hh7qOU3`6o30t-eO zTE%IaK~N9^gN6bD1_|5IE~!m{Y^?RTi^N1B7aavM@fke`2@6Twz^X_eC#WFY2m0jB z1457jBBqXAQkVz<1_9bv$r~F}(%gq`4t)m({37|1NZWV*E)qI~azU!0Zrs5BiyL|$ z;tpsCDJiM57Z-RMci~uO1Ol`%*c|Qe8A%Zs74U5YkiJ5SzAp&vjE7;u?o!BzcMlK9 zete!Vn3DMJWL`c3DBDQPe)od0UJCEp$`c?x^yT+5XJA6PA*jokGg~1H1K0-0BLbk9 z;m`?SkZ#)RZadPmBq6AI+B9U~vrb_HU&Lna!rRbq9l0T50DF4t&u%YBF#azta3TN% zc_1?{2AnG-S0`^4gr_s9kP1W?IYbc86NMk&7YqXL3UY!SNS7`QuS7Js0(wHIwj{Kd z%Ux)pjwS_uKYr$DJwBu-B>#F7P+c5S$0RnA#2v;-HBa*0Ljx$ zKOvl}!}D}dTzO&)Ey>O?^0d-ZXM0k}i?yR~HpC}ES_4FTdx$Aw2vnasq$g>8tUcH# zR6nm|7QTS2W(-{jQ(59Mj3hRk3yFwp$Oj=vnp_||%u{BYfP5DKqYV*G2$JMG6EoL& zYmVWN!fxwG(jBD%B!neE+zSA4HhZdPTT2kg{br5K_a*OztTLu7EUY$`V>L731(uGU z5(>f$(m>J2ry`yU0|E;d8&*;h0b2N(unz*|LAlSH%d$Nk6QZ#7pj&%t74-0g33-!= zx(@lsmOutYsYB!QuqyovG7R!f68zpv$;~R$i$L;A*zZ=lr&fBUo2#?iNXHkkTW`CH zcSDqC=+KlpdN?MiPMAr?J};cpB=@r?2g2$4Eg3J77T?>FoE7{U-5w7q4EPT!APV9j zQDE(#WLUiC<-Ctm;8D;(g12p6o;nav0Ki!*^N^p=5{n)Nc?5&Eh{DkGBij!m5dj$9sTWG$ zG;B(wPgr~VMk>~$lMwH4^Fr-$8|9zMJ9NlqEWC@A=~MnO^j#h2!qQ^tT^PA0(|BX4 zT!6hbI_l!6Kk$g0Aky|H_Gr{NY7=l?)#AvMqJdIByN>Y7KB*PndemarvS)P8*rNK^ zrL3g;;1|nCpPuJ1`O{DNoG6@@-8E87bks0k<>IU;2B^8iNG|dS<`5L1WI5dm(V%TU zWTbgz(YbjKJDft2+xO{KNzyJ@XmV{^(V2Z85S_~pK4;3og~mQXoNl!L@bkCY4BtJW zll%V0q|^+KX}KjT?4fcTLVV*XHWSNxPbFxGy~B_i{m9=j4m%mFP)RJp*CQzQn+hV- z8~f@ne#?vRROuQ%ECjgP8FE`Q$c-I&sTyU7_@F_7SVB1>$9_;KwMb$fK2Id|Vo6av zxjRjywRnit4jhW!WW`gx%~AK-Ew3w7+q9=TF))uUK15z`)H*L%<8_R7BT%^uQO}<0 zm>qpNx2(#os-GigN}CK-&BKRh|57x)BmLuPP$n*N=t1_-Um4CFl2xADD%L$d?Cs!O zz$`6nyckhHGH7u9f%yA~z-g%Xsq{$3_b1jV=jd?nfF}*l_5|XOSA+tdy)Tt|(+6ut zOSp^$?l%WlWq5dag}Z#nH(H`6ZnW&mi%*{bAEzI;ZpDHi4}a|-0HZ-XCr?1upV-f_ z^i?~F_jngLqT5co>j}}2<1m?fkKu5pYB=N@!d01$=HpSPrjJK?bZB2N6<0^A_tuK9 z;+1F})5c&cdxhMfMi(TFckA@m##stVG4sN`_ccsfd-YRMIX5#O@6zu-sN| z8s%t4*fgZ(81096%~{bLbV<8!vfM;7&Pf+uVEaaem{>wnL}F#EoRK@YU3ckyP4tiG zY2>I6(p-w)>bIUk%!^*Nfc2b>aM#6m<7~WT!pi))f1Q@4;OVm%k}JssyWXGgk9$`D zxYJ5a=ls!f7%6a$eR~W3e?VAA14H|jRdw@R7}I0?@J@N0i?=gLpiQ<~GgqpO1NbOy|MH(N?c=0Ur-U%H&|Eq+et3g!bhtWL#iD$vzpSTmaJ#TUb(u@ zt1C)=q?vRGe-NA1nE8w&N<8Vpy&2mv;n%yZPobW2;Y&5&jf-tXo^XnsnJ{dZLVDu` zB#4Hg^j;pB2y~DPLS4}=W$<8U(pnd4t|p_Exjst%%=Ym1)`-?Q%nCwY6t`IM-fIH( zWWmkSUoGN#rFMRJSK@&l{aNR>l#HL!CC1VGe0G8AN7Op}3=(?BNKm;*RVTmXp6A9s zzF_)U{G4i$x&7jB{^7?}Z75l%mL-rq)31|-F?|WF|x^{O<2p4=yDV_-5 zT0K4TW{KiB;_m#54hRQbPaVceD%TeGKebGut))H~RMD>vT4}A^ZO_Vn#`@?fK*LBv zFL4rivf-M_ec9(72wr$(CZQJa!ZQHhOyQc4( zx%2Lgc{B4q&qw~8h>Xa{wf5Q{OgnW$O%*m(Mnd&6JyR}|qzD4kj9i;Y+Z4Ub(U$PBjU&Clg;mBI^2J$D9M zW0&1~)R+{6@~dS~zXqb|ReR~bx2M?&6V!RS-HfUl>U>q)J={;AFHHs#4 zp@B5k7}B#yW&c1d@EIQ>^NLaR`z}Wyfit3JNzuqGbf;A@P2U@kjd_$3c~sgJfQ#WkJpj#QvY(NvS%wn&vYGRkgQx44k7aEyuJU2C0F)kqPqD z->FWExF$hP?fU*Kq)EDslXmXdFs8s2YLE&|8${Yq{8T}zBjB}7U%?1>oY;rdo%*QD zZa-fLPpkgW?wX%|Oh!#=?|Se&6pr6iGR`LpnDr}K(Hx0$=!OE99u0Kn#cU?^GHk8P zq_HG#mHLeg!+?FQSy*Ls8806D^}HHJpzGi@@BIxWORnw3p#qPC`Vdk`y}**r|J2#X zZ=$GU*-~i#aMl|l34M`BfMU41Y^4j=?`}04%+nXxr;3TMfSxvF(_4Cx z+_!V!(dxC+reII}62Eh4q1>OmWL$+6p5qW`twcVRueU3?8r~+h!yb>$!E-jH%|d07 zzOliWg4Uc&4i{WWH;eFIkiSjQ4(G%8ilw65m`>lLTlMPoQ@)G0`e1X52|kte`8s&c z6Dyu3@p4ir?%G@mFQjI+{0lasQ>29PlYC+S?xMbBO;|U4+fEEh4u{PvIyz1zQ^eaq z8CTzH=&|HDL!}X$V8LK)u);oGuC&~DX(OaR8@hO;!8!<7mXLw2nK9sQY$UI9vPW0=P!nw#3o8(@i@e8E% zK&zWk;dz<^k@WuBy0$@neV}iJ7mEjx^cV7xt0Z8U_^P^sPV;ZV5w1zsfisTvN&l$V zRE9n0lecK7j4_W#+S!S~kIdHU7HF`>`ja(oJ!#!$AS~SZnXOjO=pvm2YXSOWl3uFX zKJVa<8*_*tXd_yzhWY%!+~1-hv753>8nGCpp50u6nMsZMlD&`d`PHeos$UzfXB<-n zYmesek_=B&(g(G`8mrl?@HWJcbP}c(vuf2ix*{#!OJ;*`>m%*4EG_*EVCpqJHu&{= zl%-KDZ){QamNDF)v{qcj*VX3oUAv$@2jAj`31(Mue|N-|^+lh01&K)uv zXSc37lDJBiwwZE9fa!>tx@j|i*2FlArdTuaMD?B;5<5I_qOucD3l{ccx#klXZtW9y_h(ZEAkCZsJX#%Zxrt-uM*mLx}MEn z82|mgr~VWTIn3;ce6>QRO?$p7usQ-^b6#-c#q#-Rq@&WDK->Nip;_^T|NGgZ<=KSR zLnkK0a<_JeCo}z1Zs(&s*rN2kE~}~-1mz|%$=oPu55;e3)9zc4ss5*Ee-YGkO&rD|!`7zS!bu_Z zXgPic82w243Scb3-#7-E;2$3CCn^A70^-0XR+(3GhCf-PTnMfOMQlY-^We^-#+XSY7mku2T(pWayQT$lw+>|eGOTk&oj%kP_ z>8nh{HsqZSgx&_Ii0&E0Qk`e~l{<%fqg6KK>;?R9j(>b~8)a&9VJxJ4fGhf%wVJ!} zvxnsozHG{b!a+4>*>bE#)p;Q29Lpb^^2E3_&GsB!MRa+ax=mn}%!`TOY;WC?vIW+! z^a5MO1Bx0&JKv6RCZ2NWISF}5j24=Ke2}`fW6c{NtM1zHPzmV2Z#^lBClRcxH4JP`Wc}9mrV|GK5CFLA-Evqa{a1QAQ#s z+4NCXAwGm1xkz&Z1KE~;m?ynx4MPZ#_CL3z<`&GXCh#1bZm|()wZ0r3RPH{{v3hMD z9MPk~20fYMHR*l<^H*^lz;!qBlS65=$S;uKkaoWwhfa56;Mhv)hI(M4F8z%hyqRI2 z#c;&jU81W))pVxRKq9-e(}unp_ z?CR+GSNU5)b!|VY9kGSIXS=%Xq)HbNH%;&hX4^<4&h3`V5wI`G(B9Q`4b5JjdU&qT z%%@74k4>OSOuam(1QO?Wx>EIiRs@TLwl1W;-e{{JpBZh5Iwc><)stc^+OMz@Fv`UE z@X(uo$#XUS4Drw$CueFG^d7UNGIxUf7W+H9p`_vaWuef=L|jNvNmV6DBqo9bsq-hV zml9eWsh)HKMeVmD^{xO@?e?55>!Ad8^$G^J@+7`D59O!@CfzghBgx{Z^t6&qqtcRR zgU-jA0*7gL&Ehlrc9`pRS$X9nVqP0dyo2yaouXXP!6^q7X1!1F%pHAiv%_&WjE=PP zjiuJS;QKV}t&e1kyq*={8fiuByyBSmZ+L}vnJa?nT}FQ7!%ExWIJ6S+8M~4koUr@H zj`JR|72-u_4{m|E_VnK_%+l@9h}`Cg^=v&q{oq<707jg>ishSC7Qeat32>_#i#&^V zDK568$b?YEj-zQ8)qUWE!6b;=NuDV$`Ls^%8`OM78u-G@sqT14hfYc5oqXOQ$@4kV z;qSWFh(mPavW*w+86!KW?IMzCp6=7P&NpdjT4dCrA;qMOrl)9WPFI=r_oo+|7oQ`e zGJ>WqHxL&VRY)mPN>=EqpG710u^aGT5FB60`dg!rW3@ zP~%4H-mhiO5JiF(^|VT0-|^btZ`%iw2V~EKpoK+S^~Niu6xWq3R&&QNo)o{ZLFxq(86Esk*v%PnB}4-9zTE(1tF%JHBG^&SNTl)E0^ zwt|0klM&sxG`WkY`COCxyc$IRF?>P7(rj|z#qHna0mX3@5)_Z{ksdolv6AC{^AX@X zhG;qb!kZn(s8Uqgkrnq9An5DV42{{dl09c@v|a5RGOI1F~U zkUjOxONf6Up&=x&4|;WesuG7qJzf5S#b*Iv)B*WW#VjBeR-vn+k*qvWZSvTacebUO z2Fd>;Pz9?uG*^Epcw)2ZT2+QPvv-NaU(O#2FkIu+uow>?+*MU{x4C?tYh5_$jKOiy zNNEH{WC@-_&W-=HcJSC;%m4Q-i__Znuz=X~m7F*-wlXD?CQgS-eu`VU&4u*C8^p+2b$m$(GPD+=!%c zmHg{SyG~C>we;MeWYyIXnil7Bj(!E#?9c0~CWf_2M^QcACE6deL6WXu+1j<2Qd&>( z_-B-m6u#s@pee@uafr>(e1V+HV+xxB#MqoN^5hQ&UFW^EC{1kfAg2_nR6|NXj8$|R zM@*eG?L9mhel9%l50n&1Jf;M&Vu9MIFfC?NeNX}6LH(tK;G7T-0>t5{Kq-B`fjpp(C zt{g*$G^qnn|O%u+9Yl=Nad8E8sO6W#M#^6lPN)PB4hA+-9$wLbd1a z#ers3o>BWsw!bDsMzvUa|C-1C(oMALGKK#b-1xCI(AoOj+X%;_lqF4sqXrL?dx)1X zrV5#ovA)3N2@%-L<<-kGqXmFGN#+&;c zxb71#4(r^UW|n@IQMGH#4ab>ixy27!1to(uR&E8FR_%8WyH9^@i!2m^%I%ml$BvQ-*my&({<+9WrHl!4h=Juuq}t{YeerE29T`!6Q{D+w8Iul-N~#2 zlhvM3HCtdjNh{4M#^_wp2FuX3K3)>{#+U4$Y*F)i$An?wTUmCKHB74F4t1KHqvWT1 z6I|I}gh|8xg=u}lIlMi3I;IpIlAQd;Qu9k`?T=bBfYV$XQhW1x zBX-L=h~PCYXh^k`Od>fYi?UUU)vPY@YQ} zDa`oBJ;v7Vax{V_>=Auz$O)|FHI3bRbxPjV`8$qG2}lMZs>>vz;YZh`yeVY5>{8%p z$%TgSG_GAR+?tcfUlu}ow5ptScQIl3=_tOSJ$ci^uhXe)UD>(phB#LNG0`eF?2wTG zx6rnQ?TJVNxU0y<0vVENA!BCW#tHwC za{NzX$@KS;{{)tQ5C0oive5lK{g=3siS=J-CF5TL_@A`Wz(L>8(%9)A%+bKyl=goe z{{uY!J^w3V{12e`Z-numh0A|ygR#)D{gWyF4L|-%DePYfBRw4(E6aa34b}wClx2y= zA{8dHcp8;*+J)5hvMrp{2f>&&SMaj!N$P>F9^LxBOp6SNXXi61h_aS0FFSasXhQ@ z$298My}E+pHf}yF14y8Lu5U`v!ZK=@W3tJ72lTv0$EY#J^y?VeA1l0kZ*PmjKrz zC;*&A@m^)?$8$kcdUZpAcMVS7W!rlSd`W@+GEJ72#vnGfj6iNaJuE-w(cchqsfzlc zZ3Ak6$9fezLXMtfhxFT$rE48rMo%--d z(eer=b+bf~hIv`A@L+mJ$jN#MN8tfD0R660nz4JJPu zwX(In0RqLsZ~tVA4q!j3;%5B}QUp}t$0GPXf4Ir{zFfYiLZJVw|03!2B~=XMl0bvd z`xHGR$@0odiPhEmneq7RXZ*+>_cVO!CV%(fjJ2(9{Op;2Cf@$sWpesma(^3eNvwcA zw}O?&jTi&`&?@7;o?Mp$Rq@fl{ah#qrSnz?60IJ~&s%AAUS@UruJg;W$8pX|0E09% zekro}t~>kEW^qHnEc)^B_vq5c%4cQ$9C&UrOti$-Ae--cQ1iwA>&{Cw#`@lU1v#SlnuO0c-doZ~TU>U|Z zd=rU^2w<1?!}1jl0*HjmBB7W~4{?MoL>YMgeZR0@qw(hxuch@&Nr8u(T z;lTbI|6!!?6YJ-09|&m6KLx#E2S0^?-^H2VI@M0xfwlQbey%jsJQZxysxY`_PS3j@ z$%GfFv7zBOY2wJlv+Yo4!?|3XUHh0yI@hCmNzwOq_iIRmy2V(~8sX(@4{g6iXa*W; z{bnZP*Zq@XQCW~=*2gav=dCPZWvi2t?+&RsB(F2`3L-I+c6WgCg7?PLOW{w5b`8(%MI(jo?>e6sH*lCt>B7x#Ob4JM}egT2H z3@SZI5;5!Q9rO}sTczLFw1R6forc@_VWOa00~*FS(&Eb*7olI+L9>U9&!vGs3xy&f zAT1$7pu-;awC}b>mV<5?nUfeC&H_ga+p)RIj$r2yyk{WpZuPCUv1qH7i9XP*qeIva zQ|-wLCi!%Ret{8AzuhH;X4SXCo(gl&RK0dfYBo)dosNe?Fvgv(8pGrxj5|&lSv{}t zX>ejPPU3CBO?Da#z&i(Bm-rE4i7^c0bOXXKAy`qxzwGt3VMKoV5!>i!eXzf)j^CQK z9h+y8L0Lc_C^7?^vBILGTx}|;l>=yf%?0Vk+!b!Z5VJ@<+MhfgoR?ZBY*_NbMNjW-w=Wq26t4X7n zw=QmAN+i(G^YFbM((R)099rVl%p=Q>Q35wmpt4Cl%!PkJ(0zez%_T+15-XL%*UM4Y zd9f&i-eQGz(a?o3C$vxW*U^I2IR9*q@+ec(FlU59 z+9c%!Wk_O%cXR=jiXT-BVhvn!8LBj5{|>Oc*xLAFJqC?J+y-@qGZ*tqm>YxJzN<25 zOq3Tgi9|Q5kjF~n62C6ZTzKjx#>%w9Z=}5bV}EUzh4&RJjtW;^SSc2u4#RxO|NAV+ zNAh6*)>Tmnap=))s{m{sk`vmW6aZ=}Nx+o(3(ox^3B_t2c8D7Jy-r|w^crye^4F&V z+XDBR_nDR&$0kS{w(>~XC6m6hWir=G$pK5-)e!bzx%{Maxj?}_%2`x~-3-rG{AjFZ zKiy(FXvNy9Q}RUewH7u$vN8A%f)neT@;rC8tr>MOMv`bf_&wR7pph~a^gTQ2Y1RaI zX(@W7jcnEl)gRDt%g%9&g%CgR#oUj(+q2>bT(m4xR9c9pDW~@tlrC-?X0HAk1AYO)KWL62A}g17_Y=9 znN$58cra4RBKJsx=@STcXM@|?oRjhlPB#}&Wa=dY)1AB%Q^*GtM1T;|$qbmT)v~*g zWyLc6y;(trzryl~r`ElQ>)a>qP^GH^W%&o(q8){H=wU_V!_Ql)nXjLF`)%i(R;A~_ zd7p9KvKS4t#-7vj=N^-<)WknjjWONqOO?%yTr-~GzvkXGOTowD+U0X*g@6pwy&Gxs z5+FA;({VEmw!#h z`8T{-RaIVdGaEwgd0k7ZBQop|YtZ^v<(01DfR}hTlY&iiW!O^~D8LuPD6leovaCUa z*=jO2TSum8I`N(ByD%z3-??|KS@6ZTCp&oUGwFgf%(che4-%KOP6GEwL*pubHV;z< zzwm3Gi&`=|baJA=Opy+erSit*1`sbML{id7VM;c6T7h#=O`WWuP`L0^L9K#p;=E)A zUs^M@?>mxLE?s01t(&a-J^aRe-i~dSW1s@-QUGtIK!A>EMR4SB=IH^uG>|b^-u2k@*NX`L zda|TwrCht@8VY=s>!QZO77%Y3(%6h7cY%7MTW*bOA^7vf!|#|W$cDB~|H;5aDQ=!xlizj@KAG&q8u393RG58Te-Fa(C&h9swyH0f8E*RnIZ_<%;K`7LG zD3%>A4M9@D88dr=_|vuf>TIv^z=(Q@t>lZf&V1KLyDr`2&1kB#QCGnM^2Y@oZWY?u z)30@-UcYH<)g0XPw(4R_V($4`&)xh55ulH6EQ?kHr&ycyDG@pwXeh$~{=B+)#rT!- z2)jEz0Y_z*1<9FxyzEgT;Umdm)AMV{RehGv8V2oIb$J%(YSXW0Y^EkQ;&)XdDyO8e zz2`G(tUlfDRN|ck&n&@n>tDgK^%di#`rS?&+4wAJPXKaO?1kR)9W*B^XCpD zde;zCJDMQ-^|{a=Sqyc5G@LngZHM)}>dDjD-0#1hpsRiv18(@&GK1SH?_h9_MDyU!50ItmTwf~R5EFV`ATg}b{P_!Oj^q!% zn1o7d?aBvIa&9sZo2>P%nn-Lf5uk%u160qbBYeGk*$VCj7U{l=$hkya7N_gR{i|rj zIpikLG%*(w6$vLRNM71Sm+eA!v7CU2_})FJO(a_4#+lk*dv7$6aqiHrL%^&{ztxtj zTCVE86qUDXR$OL`A*gJUq2C-*Pf6z;s3h4LTf~N@tsion4*7vO>&!DB@a3@G3F_C(`m+mo^9QVVa=P;kM zNY>xV$bF>J8owaGu3T@*fdG&GWW(^8Kp3{)CD~e#eI?jyzVm=VB~rP|~U^g=gW)R(G~n@4dczV6s{S z!9;F9#iYh!DX(=r`5keQn{9P5)%Y8m$=q|=JWJpMjZdyw*(c!CuV)j=_+e+O$Uf9E zocuaVF{Y0=>|4v|cYJ7b#aq=c4=L^@(0_2+Fe50aT0BMD@W1x6_&kA1%?Tus)(v|& zQX>5HtF&PawIj5DxgZ4*&?IzCjiN|wY8@MOJI#ahX-9Pf5A<%;o zvwo7#ZZy%eYt*zrP(kYq-gLby-8dl_vQsH!PPm?SMu!=Ei$JHcqH9*>x707sI*@xX zHgKo;w9`8FaOqm^0{C<`x#*oM!uPYphLSlyYdk6twWZ>Fw~KyVq?Kr z^*!eqOK#GekAAReiPLySi-}_$+0$41^{iLa(1S|G1{rfX-?2bRT*EB%)#>Qf9(D*^ zH?33Lu+z2my63*5I$%D-UD$>mROL!WzxdrxizdeqNn370d5JyNWk*xElPD>7I==^n z@eGp`&RBut-^rWe`9KE{dIM=H`dL1CrlS=$zXb7pse#PA3fHyaC|QoF z?9YDWBR+9T7r3Htu*vgBrT-X%NsiyU%f;Lq>tTnsq{88wzP-Z-Ot&M5B6`Hai7W2Z zM_bw;y@WCMO0#K-T%|0=)gLZ`wwWX&1zBtj(qlIG;~;A`@GJM0cBO1(;(Qu=TcJ7~ z)l@|d)fLzwB%v8gaycroAdC;@j0_*U6+<`}a-897k?m60@Lo7AWS*20_@a4i^={XT zjQNusFOx^8!r!Oq=IKpJ@7;%6SHUS7f`HvuSp5J(wD&>8Hj|O06#2nNrW7{kheS5o z(tYWvG4Dui{I=(i0tJB}+4gli9);cdij=$!XdO7=R0Oe}?QdQz#M3S`I^hjs)=JzJ z&9>-}@qIA(bgeHukkZ#(GxNb)QlIY^gj&q|iOzhW$xlri9cilST8t6ZzhU}*lydl83Yo+a;3y@2}S>F(Txy0Twi$c&|&iT_*_W<|XlC{WiiJ$jQ_rIv5i zTPCEnHIJ(2sY96q<}VaFEHTSr7|E0k8@o>fZUXj$x?ueN=7KFIOY#n5i+ z%o))2@CA4I>N)o#P>iDxVuc-)V&o(gm75ZddboE+D*jF!ZxiQV z-Yk`kp36~xrrPE_LxOVmSMA2uA^1D3pXA#2SX-s<%AMQb8CHNovowi}C(J5H&-x4r ze$RcmbkTvEv^H|AwHi7Tal{H#KTl!LtowVHN`!3BU!pQEBHEmd1$D{DSnzroS=G%z zln$<5_mf~R*V*}3{{xQGnu#cS{O}bnQ8za!^cW=c^jndJt=P6M9erFBf>1cqQq5|+ zy-xyCm9}70rqSgDS?l|=utp@z1?V`+C;{ax@2^83L_yC)XmQ7Nojlq|68wr`|J4SOn&!}sqM{DhGwKq?9n)0?dq2Bl{-D zNj-2yWBK}5{_So`x@IdzVpGAIE)(mU1d0cz%Fh7=PmXCNaDm|{T{X*~VpanDfQ{f= z@_7-}>`!rHgaIW^tYnCqLin5d=S~mu)sb-kAwDrwD;^`R~nl$Fvo9U*^W^&pCoS6N=9r*C8-15Z zlijcq6fW4VCK^+l`&#z}&-gjpbeIHFoDY}auTE*mC`^}rX6s6F9~a5q3pXt&bE>$z z06=D->*`2L=**-KoUP6E4zv6rBNr#QYBhPQT7t+jcc>soQ=Ln_x-i$c4+D+H5oY{Q z5)T8s_*J`)wv9So`a*n4DK@-H=UqZfqyHS*>4#}vf7r|SL@c7HOA>Xezg`ic<&ewM z8vw;39;1MJS{ zYUpWlA5~(eUEpm`xiQB~iVq`L^6e%6RmHEbJ!?v$8DixWE;Z3_DEekc2A^$-;H?l+ zTp7s-GXrW+*L^lGfam!JpuYtW{e5@h$*t-ZQDSEgL<;y0yiUYQdf=02Yf-teey};FxHTa&{W1(UdwLqWt zj&)Pdk;cdBparzU?(W#?dx9&Oe?yCx-!EKvA(tA5*S67#68HDZ0`~x+)`o*c-j~OlgC7axee+_#-Z&J01dpoTF!rEmY_f6}r7lNx z)AK!rgLzN+|V)Zop-DRXBZUk*R%EX88jl4s`jpTO~ z0|x^8N6s?Zg$+7KRyIkSVn|$Qw6@y4L1j1t`jpxwniAN zU<|Ig;Yb;wUG!y6x#B6PKg;j|xe8aOg9O028?)jy5(dUQA0=v~ZrU$knrS6RgCbM( zT5(?NZ)TI+@TMUzH8NbVWHWPny{I96DXNvpp>PwqY_d^xVZP@xBKDd5`rdFLBp87x zkEz80l$)ilJp1nr8^o%@izAm=lzDlrvZAt#55|jKro9J3X_r`W-3}ZWD9#PzMoiBx z+-}^*Bef2VphPe9B&~JL_X1;?^;SUad0csXoUD-53)~*7i4L-oHx9jY@j4}aLg!rG z6}pd9`kMEbiE=pC_7`kEoSYcxc1wz?5c;}aO>3GwCoX7qD6L~UD)GC)t-kJKOvj#Y z0w_KLO>0Jfn%7T)V3VZ%yNy}^ZE)~!J?b>M zPs>WpnkJYDdZRt4VzJvRg+)SA`FtV>Fmh<}6MY7kaXh<1z zSN<&E*qCtkXI1=7>PgQSlOYeh0lQ7%qr2t215|f9XZ^wSB zc8^o%;BT6@#pAgKhaQg~Ec}wjrjSNjFam;9azU`lohJ*9qm?#%E>bAs5yTdHG6X70 zHbi)8=SUfzn&gE*c#icvfVxNjL`1ki$@;vD$DX69ugftTV}E^Bv<)$D1BTlesUMUo zIfT$6FP<;|0=L%xOgHC`r?PdbSB6_YP!MIOMIalOC#1&=tTlU^=+2XlLy00$PaoK4d z`FJ`!ssX3QhNHof#utn_YFtVHQ}$jy4{(4{eP_}q47V%ixbrT$g~*M?;c_!*#Q1SS zh&sf*qrfJYhF+_oVz+rCDc05>ZH*F!5s=MJ&Vv3Uuw!;K9RpfcS2fkgiGcscnQ15J z5=V-!sh?9t`u$)-%D$$1a{aw!Vo(OTOhR4up(_U8($WvMYeoWt3LMx!+PuM#WUP_zFDrg)+2j98C(OQ%Plp5Vo{dzssOX%4=#6_}UiZ9~k;1Pudy+w zR*|z}u3CDJNV46#ort>d(XW&)9!lzqDwmU_t3l6I2&NSp;P4vRucd;nA^Wa-o9Ji@ z!hrrkePbre7KD(D1&jNWWOI0MsnO~qm}Zu%ERv5RtlT+!AEwQiKjDj;$Pud|?-~RX zPwDP_64EDt=59JRHei?%vu}I9x(lyi%^KS>7BpYC!V`%dHhd+e|bQ-E- zX2Y=QORYr0H@js)3s};-%uMuhZ2Vv)_IsS%Ur<%i=>{~KA}USH0A%l|=$}OnT3#OZ zN3;9#u6A99!$HeC?N+7M#L4@nw&DxcQXwn5<~4{;ujOE4CDvu zo^Ms+^-Ym0J0jSBtQS&qw8B1eXDaSR55iw5R>yRW2RYhBi;Y`5fSxEM4Uf&JdMqGd zEcL_bMDE^?F;SA&E!v741|~4-VTzm1vjs*td9z@E2HsIHnLStyizZSV=g+fnKYLIq zuEW`Jd_7U~E5nZ%+UN@G%(Uo(tN7SD*rL#nYw~gsJL}C~O^6cwcTJmiTGF46-l91{ zBHorVOM!QjQse~xRDO9Bq$4++NtR$=k{1U9Y_9_T=wmF}$}lX=DILpb)2?x6vCKz? zO77@fwPS`9Le+P-z=q0B!bTlyp(@TEO&R2=Sa?T;{P9&U-9$NmP{kcDw_hgKAplG-rK{aaVOZ*RJ86RRcV zLXGhZQUtb4?~N!hDc-Uy>TlO>Jl!1kyiApHR0g;Fr|=Q|+E#{9S~yWmlBPZ0XVe3i zpYI!r1-QH95ff0Vj%ewa2tgv}ef;}y`l^jo4G;#wGU3~ew{<{sn{HgkL{e{doEdYo zfvCs7rE{*gKtlbhNb~7(urOfMm?mMJd^?1vT3bx^jG;xbp%ag9%6r1CndZUE7&K$ z40_S$Q#m6IVF+qjh6dGT;_CT_IJ>(iGV>d+NKK2A4k7jLKR^`O9=J6SFizl8*>?et zKikn<+_l4bauE#6Gd0er9eqkW$2)d%2e82$*pf6nyH!L{?=~w6>yz@gDy-4&Y*v40 zE%OvV3%Xv*99IzgaG$5K*EDs1fZ;{ovED0ES4S*?Pno=-!E_z;KIl_P&4kK0q#*kY z^s(qwgtj@08I!774IFk{4QOL^747yUW#W1fDbWTFdKGdly@?vgwi$1+hWJTyE5Z@CHTsd9oHb~Y7%CdLDRi4GquAii0D`B=zi~2Inmc=S?m`Qf)^CC}mPe@e5&Qwj}B&?xdc1^qnljL7+3eg4yei1TB#q;;tf48%ng_eFZhT~kzmTcbWGE)&C(7Z9n z)Qp<$bm%NQMRv1nEdRmpHnyiwl>PljNoBsIJd@WHC2+l1-{66&ml z0L_tb8k+r)Rt94vuHEezB=i8djfy5o7-JosYtkj#o_Hj zfxbgy4f2t9tDJ!@>XdZRRwrcRs1a-kS!QA9RMy9aPh+dMU2oxgiTsTKi?Q?jmmo%S zA7=dw5Wod5?x)yh*{sZUI}^$hl7c>VFnBo?nd1-on!);bdgh{&-<$hfPQOX8?-1Ax zWyZ%mSpXOL^_F|3^2Xrq)jR3jz@ORGnFSQi_I`?4qIXsoG~;z_xF%|758T+pPh$bO z{d+eHnPqFWG9mfy4ham!uJfbzBTS8I@uC$@OqlcK;`Lh~?$SHdWf>Mt%RN^T&bDHSO5>ER?-v8qoW1OMFay zj3wK;9uDgE%d4JPYk(UC`!e8me~gi(5G=sNw3l1dxhZf^FFwBtlAeV6U}oIFyls0? zchqp9mhd{0d{(Nmd6%Ok;4%jZVcl&9r@CryER7Mw;Q%h;t1-F80dd(yx-Ni)rCc0_~q=tyb%*deNQ~u=6e-w<$ zs`TpV%lMfAxuYRwl;v7j`-FAd_y?c0dRytEsi6$+j7K+atMghuE~?~bDW=fY4!-$Z zfs$UD{MiKN%&ym0zUFwY_@57sqJe>pp-HC?Znq^W|_;2TEm zamXHB&S1M6HF2h!yhlB{oeCghkO>}XH+&pQYF-pcltT$CYKS8+j~>uBH%ar ztrr)`QBXbZB*uZ>L&xKvbDQC~VjnQV|C5Qv{M=aswAL3;e~s*(X~bxbWr2~vw>yK| zsCU}2E#@83IIQ{@aPCswp?8R)#E5rYi^V2`1JMoTJ~8yzq$_otmBX0Z0~)`u2AWMM=l4FH{YZ?WhN!V8?` zF3^cKI64w`nstz$cS?>hr+oZ7H%Fec)MufcaMN_Hs6Onb3^Vv1FiL3+b8j)mms9L+ zkA%%QW6?BA8fkh$YYLa>wlFc=1@*wxF0z~7URU+BD45N+00r=r1ycEbB8L4<=jvX{ zjSWfMrCyBw{!JE)4Fl}bB}juq{`ztA^0~W+OE5vt7FdKv00;?rc=Ji)w}t!3#b|27 z3VUR=_+f-mK;|^2OAWeiF(c_PreI}Dt7Kbu#moB&g}R-25x%M!=XKNX2IrT-w==cY z=DIT5riG{;8uiLbU36WAcTdHWllhw2r7fH5UHgi+Eg*1X^6~CtV4NHeR5k=r-R>02 z=Yl2ldwF_qh^O2vk!)Ma~l-q$SE_L7d-bbVIGHwNR_=p6r+`98tdCC z8XsEivJ~x!Y%zJjaQiEfTMP0e3MpL-7j%HMtAp5p6$BKUWQ zTu~~FGgE<3BqTZ?-qY5cIw#{Se)?(s946zkP@Zzk1ImfsT^k6WayZy$g+p%_CQXdFYfAv_ zNN9T@NF*kKJy7Vh6lIJSOH}gF3OzL_Mf=w6cSpY*c1oB{4@qm_ zV484MK6y^%5V#w04UJHCMFWZ`wdyr-r4(0nh85~$*e-MuZOu!R$5H3(cLE+!*XzT$ zoL_taU>I#9{|nFepUd0-JD#tkl!Tn*Kf*-P;{UfW5hMLS!bJbrAvs?-=q-UQ&MwEAa4Z;Tk5LSzR*o}@3a~s%K z@B>t^IS2q+2Hp=gdkDHHC&rc$Cj9$o|0<-mVMH(XZH2NI?f?L@dUAl9vr-X$P6 z8|L*fU<;rREQ}d{_MR`v0kHuf%q7Apua9>U^)S*o7VpyFh zv=A&m0&5?@d>J!j7Tj|{VK)A%I=`K4K|o@4ZGZ@z+Z#8tG^~Emz++*;ET8DnmkOBY z6qI{|!I;NRv5{CIw_Kp}vYdoB<}bH3$X>R*$+qP}nw$HY0+qP}nwr$%s=iJ-rPTx#-dL}b(mHZEts)u^0 zZ>{xV;E*5KV(tANRS;S$0HFSM>Rj=BR~pCm!s!22!ou$54mZiGZwvsw{MKz@Q-g#U z;Klvg*8Ix8_bPm;CI6yL{&o_OxRRCb8ocb@{}RDCi?X}_g6eBr#`IJ2BLy!5KJ?~~ z-0@W`2W{eSW&d(jMEDyf<3~0PHl%|SjzOb-9g5{8!|U2%;eddd{Dw05eueZlodod@ zILn(2)y6`zLc{#jqO0oDi(P?(M3bE4!XrnkV4b{T`mWnm<@~IN5+a5)ypwSI5EuYl zoPa%(4%FaULIU={R|#70>GqcYxw|J+K(~VO%U*}86KO~I)_kOkxg+p>5BpI-JGnUt z;dx`jsSEv?{HeBK--3oE%E%V%9}>dR4PnJu9b52tsOm}W+Z|_T-9L5LGjhjSEM_-p zPAd9k_LS|`Hg7>HFgl+rAUXBOdbIc0buE6;&2HTznB^&U?(|%NR7wq1BTev*JxePQ z*F8MKDjjDCOYU&qKbsRvY(bRVTys8ejN>-+TxUqU8u#dwKJU>~PgHfZl+kDz(cx4m ztex~oV_WG4s}$rbTXRUwJ`~~|P2-bYoiI{NHRC0ae5fMTxjMhiCc7-Mjf7QvgwXw- z!HywNLcT3lf+sFx&7f;@&e6K4PnNi`td=J5Rnue2Rfvr!Q|rM$o`y|+=LqW?BKWNL zW}HVw8Sf03q8olG>w7{1%zuH8f7*g9f#@XH!wLr_>FzsWTSWN&nmVzKp7wSY%}A^>Kvi04MpwuoJvE2R zju^khgR~;P`{*;aC!yv-lM@uWqO)utExkh2O0&YF%4cE@fsjL2r6lUQJ;s}HGjke- zcYFjBTgs~xSx+h3C^O!WDjGJG{H|&#Lh|9dorcd|X4FRG0p~5HNHQ9-v%Kn|ak69T zu-K=aB@l<@#h`KT@paE*B8zuKJo^|kg29HXNL(f?X~}tY{_)p|c(WB>)e9;9Ths%a zu>$WD&(2a87piM|R@`@bb>ZPIm|G*D?;B54R{GoD5eqVuY~}4ZF-g-7#{=V86o^PY zMz<_1pgYX$ePvxhASZJ6v`acVo4U9Z5H*nsLq=u>&P-+&?r~L)^pcuWF~;wEki3$| zvoLhABF?&bFgY@R{Q*%nTsBo(5AM7W>%=K~g614`6boxz5ek5S#UyO44&=#E%qWa8 zsMF#G=BGwqCmnn*EnrL!Dquw7ccq%cb-#z zdCEn+j`NjXaKEbIDPjFI_2q)F2Eeu0{e&6Fl7_$o%wpo{doyYG%m8*N7dWRC;>&{%zFUV(U_0@CCU?cTWbNBmFI z8!9KEv$gf(Bu$E#h(Di$s2)!`wP|}-da=xe^7r!M*dvMh_4sV*$!hh91#)JJ*=6tg zO|VPiSsa3m--k0pP4%A}MS6NPM?PvbD^JCL8TGtT<6Gb1&j`P{$cji~0iWkN(`N$b z(3#3i=n>woCQz5kDA@W2HS-6&XgJTI@RGstnhso8Y9~)B9y{w?l5-omQD+ATq78O! znqi3<-NMLIJ9JOQfRRK8%IbU?sY724n^$9I;N4;UYLSx;(%joX(M#J4c$&kkNY|&P z(v(H?2>xKj58e|v&jYD!hOI3$gXGL-hmsCKAdJ;7P3K#-!e_q`f3bk4xf!;3Q<&xW z1j5Bx{Brjau6}2L&78KyB!I9Tk#7bW)E)BZKM@D^+g~Kb=b^-j^MrntMug*yi`H|oK(+1H4Xx9phYr)FZFQ-m56SKR@BNC zN=mU0Bgy6o2oRysmNN)RT85l&Il7t`>Ydu<=6zKvKa)*eA#6ya@b^H4rrsm2vK%zh zITE?sNxU61L4`IioQ%ZSqXMF8K{Oyg^$3kt3vZNW-_1i`+geOywyladtK!~ppL5(M zZSC(fH8ln{*%e1K&`34x=)4MMHf<}{XO=GXjoF<@k_as-Pf)R06Ra$V(sCO|*fCd> za)TBPlHa(hzHmQTI)7)S)7wX~Fl_S{hJ|KG=M7AYjSh%Tx*V9@oK}D$eD9JptNL@r z7rLbH?T+=k20B6ka)b0OTfD{-J@RR1Jo$bDjE^7-YpvUT;XBEq^K(sH%kJKtq1rv= z`q~^pH??%|EY+dqfiqYf^hL1cuqRG+DeYC2sl68dDB;Z0=T~~`dRmma6$(`lfuSAz zP#jblos@=O1!b&yo!~sL6V+yQ#VAr?2diUpR;kwx3I)9fp0`&F7wO&ZR^6cJcWdvz z*SyUb#oh`misXxFrN{;T`$6a!MPt@@Pw2Nd%8jN;A>cI!r(IH$sbwv@%&4a?njtgE zPJY`Qq5*6&U$V=#AoUt{ zXrP~(_>eF@C9yj(IoREyt=r4WtA`m`5JW*%QQ;vtF|Wv2(mB54$uqg8>=d(WbCMd2p3Rrj=@$51TBTc{ zBBZRtr-dRBBlC4Y#mYRzQ*pj6JT%-Rvie4JQ8%yKio*8vtW`;)DsmOJYe#o-J6yJ3 zZp`G(ew&MK>%OSx-CTp~wWzVZ|59He*CAg^_YTPN*Qdf|4qy%am z^b#a09=w)hEl_q(=>=z?J{DSUo$Y8@ZgM$y9DXZ5W=!jFb?0iab8x0jpx7s~(WEDX z;D+$f8LFgk_W`&8bjfcq*$prEQ3N~ps=XjQ`nX&Xi20{ z=zZF=fbub1N$ky^aev zO{!QnQoz`kX?M6nXubOy z1uD>sip8K+L%J2}F)^!;!sxZ~(oiNUhL+|qw)7w2hTOxW3#cteW-21msj#oK=5)F@ zMpqC65)aoj|K(14#O+&RuK8TrK8*G#s>9{MDc=!pCT6MY5W6c_eX3oq@!-sEr8xYiH|IRDFnqY?`TXUq6A4};jO(;*V$pkv_mlLX z9$xWbrd^@7P_w+yz2i+z07QG9Fm{tt3e|Ksv>pIVsGS2a<=bYhKcqidbv39qgQXXS zZS*-K-RX-~I3+vwWS+zI2Tx*SaPq=yR1O7=RB4ID{n^dKq0LNaVlbu1XKf#fT05gC z*C1oHFLkHDsm7pV-Xi(xO#N=~O#SV-09uw3LdK;hpCyRDcin>8o#8@ji!j^I4IRM)ht1{M! z;v>)J0@mv1BJN>nZ@jXreoZf0c=^qnVnrK7*k&jdH&`7+w61Ek-%Z>XR{TAyWyV7k zGp+d+kNJt>2yLslY`~p(58dz3lQe|x-{7&Xrc`lDP+CEr^QK>~rt0sxOz-Gnybf;p z4D!Fj$2G&{J6n+k6<)^Cv2<>QBBEK-3B6i6!egv&_it0T+fliV>j-GC1Cl@CQXaE8 z?0bC41PrWS$;HMTTho!QB^pgZmi_o;2Mt%2<5{&~&$? z!-p|-@w9^i_tK_&m4u%+?veEA9fYN6w6(sN9K1GpD(LBwJT^;9*-mZC$oA_p$9-6- zE*akBiP;%vrJvuXaH)^rlUf56RkFkI+waTzge(dydxI-CK&vFkxUv* zV08x{$om9Hn!?7p5O|?aWRWphXuI8qxaxcj+25X+dAS4$SH4ukJN7)(axZqSsYFjC zLW19Zeo#mil2SVfqpU-L>a#_v#gc>P3m$H$uYWZCak`(cIxeMoqe@$(LMMl9$L0W` zsw<|K{>lN)bsj9~@HRZG|JXMIJr!}sPiF(qWg^wyYiGn}5anhjx(f|qCA5D*;@HM{ zsC`yhxb~2_|Mnk(zA+8G3|S?JnGZ>tDs;cu=Z0|NBTZSY`N+ISV;%~|km_D4Tx~=b zXcZ?#7K7hd+3s?s=IUrP53*Dj9&X#+QY{tT=dndnylYxH3)InT0Q70G2=wW`0 z8)TVUK(6Xd@g7T@KpKS=2*`Wq#i{H^dhUfnei#QRYg>GiFN!RPAbReeXVn>`r0~=V zN5aPn%Z4Mj<#$y|tHE53n7Z#Uu@>1YKuqVvCvhBOphFGhPq$;NBZ_=a&kkI2uL;ez z_ya46Ylf}3_3Apc;K%x4S{hR$0bFSNCi~*$XRmB6*eY^%rUe*0lRz|yMxijXW)Mbi zXxH|@;!bH9F+=9Z`1)<&c4(ft+dTi#uZYvo#we~sCmB~lnu=V*c3f2RVsHwCE{*s^ z;b6BGe{z?|2)LIkPL-E;bldzP6rf-Z)kTjD%5vBthte9RKw(maiM(V(TIO5qLP$nlOnTBiQh)EY7jsoeEH1schL@w6a+ASAAEBX|Zs9`z}Mg z5y)3r+SqTDqoLa%8NoJ|RG+Ijfy0}q0Mqu(A4;rf2>whDnEBX$ET%EqJ1d7s>uPsP zJr2CdRF_Jv+P{%~)o&7!tnSfA)uW*~w(9bXW1VTNUf6OukD~-^Jo3(1$#rTB8e0kqN9hNDsVkolz?jY-bSNAFDI8Is- z-!g80wxJv~l=|wh0i$fzJ3Ee@4FQz91+Vq)A;t+i!cI}4MY0NQBVix4*528|ok;Ow ze;^Q6G0aU`EK^MI<}cbqA99{*zVP-H!ld9CD8R=GqgAc>N+Y0+b2L3Kh0h@=6|!xa zSP3^k4gvrlpBqjU&^!#+`jqeGr5dl%4nh6M`okkydN6+^Qr5OI&uls#|FJ^ycA@_D z=JWE(2z#>lv_b1J@rNnai=@33vo&c^g!_$3lV6?yseo>fC%`eEgHJfty6M9Rq+v=V znt|g!eOU<%Q_Ki(S7WF}?Iy-pVH!C`I&Ci;H|}12=(9mHyGp>U>h|-!E=0`_gvQF; z=5-#TewAHy6?%NvFS;phK!Dklg_kv99j4PWRITUV*PMcEyM#?Ot@L?vZS1?3=vStoM z5=w1EP_=n|-J**3onv42l&#~Uz@fPyLw{+Ne6rG8V&>1_K1|u!i5X-nP5?g3-*h&W zKz3@Kb7*Le81}Nw8?b$<$HRL6rZ@2Xuy-t!2(NBug<3VZ3J{#Q%J>eNv>8{X4arkQ zd;>-tp>-;0(#A}UTJTxI)Au84xsA2^gTIQ#HU#Mc3V(@{xG1gh&{iT9`&Ri@SvFc^ z+U@14*Y@bChj0GOF#SuXY}k9dP9^*Erjm-HCdcJgX z&ZZ8i~`)uIJOl>_pD-A5=kj*gH{1>IP>>_FtJd6Pqi)UQRmWrwW!lu93&wgy@y{tW3Y z8W(o~6Mm+jBbMVR^~RnWP$rfNdUF_Lqua4!lz;7+g}O5@Y73S1;$OdfF19yHWQh}Q z8fy2rAQ~`U4+`BT4b6`dfaQXVFyRj8Xqd_Ezj904mu;n02gf;xh#Fz;LK-wu%ujrA zZ}#IVT|AXTE9#Q0vX$~1o7XF^9XWc(R>}y~fhFMT^4EM0#cd^%hva|lwK$kGV50~v z9#6j;5oxr1*?xc*pVk~2m9t@UtHy2$vLD>6BtZLAu6MKeSQ2-HXQ2O>CBV)v3tm3W zWm5;ydC-93EuYaEvnW~mO&XNP@=XlFhde!X?vchYFM3qFnF{|*#9j~?Djlfvc)d~O zzJw3n0?CY?d3dDu#V^vHVC~Yr4Td}^7g4zTd!^PTXv<@zqMCCVf1CqpOPbcsMPCf| zSkOhXEw6-6sbrao=R{;2RLmHA_oFplKO^=0xh*w}lg*By}Ck zipogTp1EYG`C1x7nrjqr`DKVRa>bgqJD3hUim^d@T-c$w71@4$7R1tAs(qLxfBB(Vx%AWEGvlSBW4!&ZZpPrb95S~FHLD@!V+ovG<%lF@%F+bKE;==u z-%0w*=oQ~wh|DcvRCN&fM{d!AyuflO%*2HGOM0mQ0y~1O+dW$^puqO|Zn(^S-rI~G z5ErpMQi%0yRH{I>E5!jD{WfeBudG2uBq`%kT2)?+TrJwA5|CMd1-qPUPxqj4qQ}|F zjOhS>uEfVgm^T(&H03C?60G$q)d=LKbvG}hX{Dte?=;oH%(xv&OkgC!E{cOD_a{fi z<1bAf zw-H+zrZI=LXq41%h+tqEXsTqr zKq~z4^^4giSNMtOz2V8XOEUQ0PIiUqB!9%knp6~?f*6iu{$RWjoHxZV%e-r9zLLR- zpwW-=S)yLWqT-ZG9dGNDtUrhCX1>JEXz-3qeYAo7!`RdZ!9lDKzF@ACJ(l_S^B*=O zj)bZJ8=P0|w7_Sw@tfp!{FAjPtcb0;GU*?X-J6JN+?-}G2$t71e9}$$-Tihye2-4f zB=iP!hQ!71ZM0^Wys^=OAe!O%_46YPCng#}02ZSCZk!@rEHMB#Xc+ zJ3tqIO66fEH{`Zj`gaNg%lRFxh=b19(=lniI*AfA;*I704Qi_0x9|_sYWcY9WIXn* zL56y1kEA?BN_8LXN5T_CN7*#|LcYJq9nr32*-8mRFG!MNpD%)l-dY&f0D?F;u|e;{ zlxriwcl8)e$-)U_!MGNck`uU-DB9eFC{{F-2=LH`y5z8F;hKpU)3L8&q5m>oZr=u8C5~_G~&o0Ay1PKAEN7E_y>{97Kuw>xXBoKW* zB3hWW)Eb>#kl|e6Yn08jR0(d6r%bhdskl}kK83RbI#FJjK!MJ4*yS3!E@NWMdSP5C zGQBf;i7=|!Br#W#+SD$y4=HbmbAt(=dy?&@j55i;ZI2_sN71H97mz`dbjjhHfusFh zlnkwVY+g)%6Q;o^3sOGrObhQWY7kW%!lkO5)uygP=c;_|)1kJNvU^6BXTU&7rb9Cp z`z8%VpfdkND+)43R7yT<*oq<(7rTfs*>lIP=v&M?v?KdgZ^48QJ_7cKIKu^1rZ4 zw*TqT{u`hC4G=mpk< z2+U@EllM{_1qcS`+ASsHwyE_n=13DkYA(<=4u&NTdQEfD+#r=@$H(Z?rR^* z1r*>vFD+k@KNdAi*#~fLzE=kTp}@Jm5CKQn!|UDt z;=H{^sH>v`glrT7y1&_8H{- z&iTHoi7&1#Ov#7d#vc3*DJ#R{0@wm7F!=d}wf!5il7zyifCYK`>5L$N_*kXz`z^BQ z$AJep=L_xbDei^4dQtmr|IPS=+t+J(PE;cU4QTg!cpu7dpZEQodiUG9=v(@=3-ePs z@jH3=>z(I`j(+8u_UZcd3lXTDM?c#Ov6?fSSNmNX+Lis@>?%d802s850{Sg0cMX2AkY`qM=G-?%tc1*k9Cjbwr{O(FEM-= z_)w0U4Wj*A+jo;@`n-<*WAzvD=*c%TF5oSPGWbbW6n%OrC6yhhb5$1i)5pp| z2j^@20{3O`>uHL|K;4RPVGABFAKoxltZfUzY)|Jl-^*8{gAN`OLZV;!Ldxtg65b<# z=@#mhtaVHm89D{yAW((UtL~rJj-G|!__=eL!fHxLoP^wBB%pZ{1vp?`S^J|+4UF4^0+c23i_cA*LQ7hSfjVoOS{d&{rKK5HEZGyzl0&RPHSVS!sg||&2P|U#S{VHV=YtXAh0N{Kc4ytqpe^QR)GmV&S>|!) zsyp0!dXuXyPT7XL0hv+%-1(+SIPj~~kkm4)jN);t<#a91FFtmYhy*`G#)S( zGS`-#GC`f!RgVK@udvrl2;bRSg*EzU9#~gKF(D!R@7EVAN7^iiyd$QqmksF*qYE@q zZ!q&$;~E(5GzEV`h=F6PEZO)H?~GKfTc6vJazkFdHA`t(sJazvD#j8g3fyFiB+#)O zSAvjQSR>l2?`>p6t4xa&2G3fCFp0JP83F4StFjFTSXrIQVj!{wd|1xWP7x zJiKJfSuQ${8qU_=FItfh=V6P|pP+kA1xWjNr9A?=ZGeIu~a7~3L6yikXR$g2^~j_{tH zt}gqLW3$S}*|(?R?MyLZT;Nuit7#{Zc1*>xv7-ns9d5J-+-m^ASwAdnf}<5US{p!E zJT7JSu5nX3cXP2-2({s1Vo%%>5J`%y_V#o`D_E;4a~$Pk+qt7sv<4Jqku5{^ zD-0~XY1Jyr(q-W*JHioQZAViY1#K*uur5PGkxC?)J7%Rr@nsK(qN{VHq?|)NBg}kj3~MPB>>+!%)Hi!aNE7`Q@sE$))3kz{vtZL z3)zv&LLw7xCY^&sY@^}$g)RKKGrWVdEhc!`VR`zB{t&oodoDC^)GIH2%DC3KggP@lK{2Nh zNBFD$>m}bsI@VJ2j_70{ej~`qYZkqi0}RjhurI(YeCH!;UpaY6eSB1t3?>M$$>1l@ zoUj}Q%^Ck9ESHW$ymldpcvw8Crp}Bv+@6fS8G7QcFK|@D#)&k$J;5Z|$~$+$wkVC4 zkR?iPw7i*gq+%JvWD(c~^9bva+{wtjLrd5-k*NY6cY$wBxR9O3gQ0cS7*lrgiwth` zkX1v)fRz=5sMjeLXpT5lb4)FNO-gu@#Rjb&{0YmuaL1)c0pfLeu^Nnd8=J#XR`CWz zrBR|32{>~wB6Q}EV)QA?`Noi*iu4DPv~32<+|=Ff-v^9i9heBHkz&eNka`zD24M|a7RJ$c@7wPqcHW| zxc!qO(@;%TsDeK)bVnWxu1O})wOJve*K)`~y|bpWqt=W13osBZW6J3kNlBqq3A|Yu z-CC~z&%B#S|HM0VgC z#aP&&Mhdka?bAr;?R%J8si!+6&v+H{u~rHr3`Zv+Uk=@9d10JZvedl|iXk$CYg0Vs z?uOHDa6V=vusW!vsGmN?Nrhp}La94DR;qa^te7A9|YxB9Ae(2=*rUWRMqMJhho$wPoJ~@p?rE|m7Fm)?yw6Jd;O#B3L z97hvClp}->>M|GS?f*MENf9Kd4Bq`FWTLJ!I``)DVxmsEFLCpSm<1_w+Kqht|@g9yN;lrpJ z4Q&d+>7`9$))6lq;EXKVI;|m!K-$cae5taSTI~;!dV`tX@mEO8{>0Ynk|S9xEtVux z2JfB9)p;&TXnLqMpR{aJMYSmny)aIv_-7f7HstBAc6RV;K_(9J=dP;-&;(4@NK-QS z0@K9?ij}USWaqK$i2DO0qJw#RUM3lpao@*PXSsi{L`Pzj7XIJZF5H&5T>TcPax=Y+}on>B@dSw#V<%KrYDCWh^ST4s9_W}CeM93aGGrJrs$=%JV!*&Zs{o-=x% zSTqbSD@>d2n6NZaFc+&kNQU0<7SxMu!D#){>dPGsy;jb@N32@MiXi+jh{+O4j5}C@dbmdBvZr5Wul47QciWoAWKt@1{2)ow zDs{p-B*MLFr1*&M6knc-`k9?-eG_fVd^QZ*X`RLTq4!PE_nX4Q<=?E_Xz7{#1el6C zuYRsgLZtJ}o7x_2PK2ke$`%+9nvfSsW~ShSQBxKh8LINnkw+Hht>XL~8h$*9U&DT+ z(#r;aSMmC@XAX+>Y5Zu4_?^V>Jn6&yy9dgG!XwA=gpPIqPOo2GnKp$Is??<)Bv~G& z_h9o3Ug}Xbz?G!lx$L`FhM`N*bRux0Xo*APRc{_L>+CO%n?yO6b%Ms;SgYDWDgQB6V!m`Y537(ctBG#YPbqTenA(ZvB4unXRw_Kl2k8 z%~SjY0)-)nNzIB&L(Kge^*m4qBVM6wklDm3l~|l|-g*+&5#!};5YG%)LJyqH+6Ypb zE6J^6MdjfU7&+_4ZUIpyZ!xKgjyR5ZYEl(S9Zp(jq?$_pX^Y@n`1_)DZU?;V>P}f} zQ8FT`Rd>vl-JN=xN&(lfs2xBS7dkguVnmu?T~3!5@&gGZfnW=5>yoNu5R&d7vt45* zb|}e|5S?u0Vo2Lz-M|H{`t(!c@l!R^LU_(-w@jsfxI7+kf9%D=jSDGzb&WS=kgmPu zB1Yh|)gKJP7*F=uQeQ2hy(qDnqiJV?cKy49tk38h#* zEPSDC5dqF3#LyLNd{7!9hR*d18YN+#*yu<2br*h=*Otz3h$tQgIBPwu-bx~V@4sUK zC0e6TsTdNT8U@LT=Ubq(hrcU;ITQz?Ea=%5g%WXR{p)D67;f4TbB#cninym#S_`aA%dlQ z-{~ASQC~xEC&jde{2RS=xc@O6PtTTm9L=d2Q`nf(vef};ap~YLq_Vr08yPE%3SN>$ z7gJWw&i8s4cQqzx!Axw5co*5EC|k(sCkneQSbaY#9M7kIuI9qzh;K!T=Ot{2c-x&A zof8wd_!c>VZO$D7&9(1-k(I^3SUOt#b#)w2A3&*e8Icox+wM%Rt_Hd|b)CbyHVWxh zn?Ehp!}UBtjCm&1U41bhdqy2_A@+Vreoj>^;$0%kWnXr&toYYqy64HD7m4w>?XlGMrL8WkO+v(dQ}9#Rb}jBe@OzOlx0LfoQdK)%z{AZYR=b~E z%2#v{Q4(Fb#~}gbHVrc(=@mBHOPDteHfsS}WzR<`wtbgDw6;Y`{aab4pC`#}3GTa<)!Vv2gk7F{KeVD*+JUG*UQ2|KIIj1L zsmUQ4dyxF?ADI^q1~SAO_$zMF(Vo)lA;nsdlD{Ur!A?<%RM`%nKI28781>GZ%#nRb z!gMTDYjp*rb1rBcC^@#5D97I8$>}IJ0+{tugQ@ZSUm>bDnb;nr0-Ah(YdnoWONz&{ zT8}ceiFz-g2x@WP=>x<(uU@s)KdsFnZJ(r_O~Y$cJd|vksA{_p;}@=!&`iNw4OPmE z_W>*R<}%reW#UsL>sgTnh`!tC0w41d#!49DM~?W3wi`IdH%`ZDGG$u(CGp&&syl15 zkWZ_%1>+*F^thpv{J-38v?3sCJ8siuBH5aF^`BIj$J=}KSFeZXUeb5zio*>XVx_)o@1|BKY47|K|4-A>bq-1+W_ouneCwpgt69cD%g#WIB24?`Ltv(qd`4TBn zy#@yfc3jNc)2ZQAp8Be6FKK=7au47-6Z?borTs&vi}f&t*X5ZWc#vJBj?{@4kky_k zHehrzO%1=S&W&4!*zX1~77b_;TTDV_Zl z>1n9s`07NT>zjo40MD&w3RoDU(%4t0h<0Qa*HpI_ezwm~X=5XLCum|KtClwcjf$&C zGqG8IVTUwv6gtBE4&t6uevxQ-1ejiHzo-Y!z>E87PDvx(YMJ(isItuNYG!@0$Q1)v z;#s}38p-@lu7{Hv<_Tarq-zL~VK>7)*>x4&1DGChvKw>b?K@GS&F)R-xzesXcC$bK z;ZmKsvM{~^FN*|e(}Qr#cr3u$qB*@(8i+SjT0;RU3l)vgLU7-ncZN7F0H^p>HUV-=8cI}X_gH&~ysd$h^LslWAwC!kuX&(Ejxlhy~d(@%!Dw+HzB%H-fnyv`HoC-}z=oV+7uB{JT>wysf$$3HWlne@Sqtgwx*arlnOl<-bO{zTff7 z;W4BYbD_x&a;Jp>Z$nH1_BPqgju{f5yaRLiy!EWJuad*elW*$`x5_)djUIg)TRBd` z$}`mZpNWK&9E21;zRWq*XT^SUg4y?0sHhac)~cO^)E*f%Ua01Pv_&!(Zd?N;)1SjvamGrZR^lBn+LK%@#a}_gg3>O?p54(hVIi zBIjwi-v|Cwy;)zt5v{*sq1)R^xi=1VmSs${j#;J%tJeRB7) zApXVKQcNza4~m-hDHO4?%Bc+2he^M)eUr&F=G5<|*vS~GTyh%dsqBJXT%Rx|skG%{ ztw2O^tDNY|7K!$p$eJEZHOjB9}k$mZA$cY39E*1t$WGkrG65UD;_rHyKtz5*ehP`t`nF3dF{GLS^ zZAF@WwU_F|y{Ot;Q-K1TyO^l)ZM-oYqe%y$*uz<2%wqGQX_oe&-&y761jv@!oAQ6% zU}7|+RV=u5doeM40oJ(bqfJKz`aqM)F0^+9PWbVd7 z&9mpb-GNr@R~Fl0O9HDcp>c@d`s%sU-l}NX($Y+BGrCWiUQRMIx4|BSeJa$ZKh>dh zcXm6mKJt7IwEH%1v}ZgFv=1XNeP4Bs3i>XzbF2hr|A6Fq_)cY8%c`XZhD&F=a#C2r z)2(JtY40Bn76#%^daisb#5>X{9#kMd?vbQRE`}&8zBhPki$)3UY3$^rr)!l-mDmys$?6bxP@9*CpWWa~)Yop3H22#_j|$f95n>~YQT1ZJ)Rh)j zcIjq9lETAhqdnJU#T7BgQ&}c+J2~)~g|@xGHc+Y!w0_i9%qM`EZoeI99_ zN&EPe1s+U9JKmR%3<`Nx@=)+z^UWpQ( z#8oN`x?YNy0Rer?Ou=A02oPnUxltgQ z90&c>Pi74{&^ zydY0rTzPcLu+BOPLh=$nB9SIO_Veo3KpAPw10$P%Xbh)PQp}z-#_UMCX*M}>pOse8Hzy4)(Pb4ZE=_kzVU3}$e%Cl$3Ut*X{(iXq%Y`9s zbyRnnxyB%h7YeQE#HlceX#SR@Wcx}UA%rU-8TvOP4%tEW1E6x%dU{@GQvfFSDQy;L zZJ9KQ62|=TlgdkSX+-i%2SX{maEQzq#fXbv|4Q)dk!VasN6Dkn{Wdz>jJ@QwD6sBA zb=prAle;h4vw4Shs7{b>Dc{d~xOv<}uakwFl=10Lf0j<%A!{mBs)@luCc#aM@KlGj z^_(H3{hbHbw?ZYvx{)TQ&h^tDzClUhSRJF|<#OWsr3}gQ&wf~I)GyBQ>>?Q}`N6h7x(iDn7zpIG;!%Xzwum4j^L}zU8Y+yxa zXW(FL^Ph+RdG+6p{#%pzzoY>E1N#4$6adHn^iuvu3V?~_e{_}^@mV;S|Fy0E?25^n9(NPGLomA_R~mTJv+%IAnNu z_~Or)kMCdC-rt?(8=b}#uG1^iTkjX%Pj^_X$Q**)E}Si}DxlE(H@~j{MF0_NU`W5b zJo?_eJa_`EOau^6(BFE*hIBs!aR_YE=UqDy5cD9y%_M&Erc73BusOR>Ain{CyfkEa zZAp3fe?1iPcRDe4L8v^C2fsDIrguP0J9Ko3u@VT^XHkA^Y=twWpJoud4F^EKgoJ~x z-a)_zT78fqR1jdZK=~Mbw5RYEeDXec8)(47uHX28M}H!yV@eYIz4P;NI0u1;K?GR1 zb~nHr_#~n}fG7|m?mibky=x#Re%ig==zF9Fz$k2jF+LNaHl7KjAOPSwF!CW(7@-2- zEdv*Q5CCu1K6xGJyi2H%Z~K*x!#?P@OA7#gpS|A2ZS9{R@E&_UR zKOPV$u(JxY`@$~yE&%wcn^Yo*h@iql0bG0tWTQZrHyw6}Ji=Nyfc($TO0FUrpo0j( z2O@$wJshYn$-o{XeE4P2nc#^2?D z?9NI*2AG2rSk-?k{J_?PUz;ZYqJYAnprFGf{s47Y09VGBzsvne~2?;dkN?@nSZ$zF-)LaKZ|Jz6c_*?`~lpN z3dEvz!hyW}%`i6nyM36@@%!Kc3+D&`oIHR2wc7*kR=Gup0fEj;&r{>?@WQRP5g?kX zeBf}sFM3~kSzy3C{jDKQOZQtAX0s}CS#nj!ncN<#;U=Z)s`)(nhfld8&FuNeMx>4_ zraU@=*i+=LfB8S&BN;E;V#^uJnb#b)w@AXCAIN2SI+eREI;2j)2TN9;*(isZZS_)O9)~eU z)j`l?8oC?Ca|(=yMeZ5)9TRUo*94HJW22jR#eyi$_ihq>4`oYF4GeO$tgCo?Cv|Mr6qn5kO1R^AC zi+tv!peJN2t84GX;ysriS}HxwgdtsdM#k3P)lI@b6Ym619&Px~Jx`n}YS%3)A3*Mlzyc7^)Z2Ka&@sn#j23U#k=Zq79B9X?q!dy#T@R-XhfuZ?fc*QWQabW^EFkW zE#L4nWvvpMKtiYcv3n?KMXEGREj$}!YPT8VQH)M~M816v4S<4hg`s$51x{9+X=;MX z>;#IxZg-TSYSR%(cL)s^Uf73eO_Y|`ZL`ly_HpQ}5Fp$bG2I6;+5@ZYBbf!%#MKRH z0Ry1J_8XPeye&Fc4C#7UF_hWgl*~-RcVt!+Dmr{ z)xP6WRu(?`9aPt&WLq8ljQ%iq=9hhB`QsgsjmEzQbh$(`uySc>V;*Y8Z!kYwq&*!6W}hs-Dt)QOuJ87w!Tpu?qhk~yM8{^P{j zOv+k=q$MTL5fY1Z`|E! z+}+*XVdHL%J2dX@H16&$jk~+MUwUTVIq%5%&ct``pBr)i5LLzA!Dh#kmCve`D^q*J z+@zhg3dZrQu@8iKLGAhh1BDvN;1pGSt<}u)o`<_4D^k1N)>*o6L%L``{Y|5wU}eACMW5jw*Je}0W9?4t9*XdJ+(6~iJn zO!fCj@*Xv-- zs&TPWpTz^j$k~V2btqWnoLT(|npJ?jLKow5y)wJF&aVx$>#E4E=F2}CqVRzX#^<)4 zBW;#ct^zZ6&Gnp}q)U{-W#x2}U)kd^CvH^xh$(he<<#aSh)&Wb#rpCul8L^gn|Z_B zQT7*4U6_X46SPTAIcQ9Hb~J7~A_)a8?KxCRd}KWu?OV^mqt2t=Gcg3Noz+Qj-9dv zCw+4OOpBy>os6IdODAq$T9=Y=V4w4zMGJ`PK{REzY|ag%B{ z3YVnu@GyxgdxFjRwxcxM1N7A0Y>(b#}%yq7~6mg`$CDKl-&=&~_KhDVJxp_n3{BqS>*q zBstFSQ^&3)p{uga;%dg&aSur$3?&aqLARAOR=~0WD~Ge>$R-0bNzmFN4eSz#%H_&V zD|B%KN6pifqEpgXi{6K|fPy!e_q_AoO)loEt|yXd673|bEg`Tt3;VIbw$FrX6(&sI z&-il`c1HHlqmh2RR*K!FU~xy?c^60TsHWgpDpPwO=O*X1p~=|LS0Y=HJ}W?Ui%qI~ z`#O_9Ck?JV^yhao)5s-?VsjOh};x97V{-1NeO!Nh`SxDDW_4Lzcib4bG%OP0AqAGsi{31nj}GNq9t{B`F>`n zcx4vdA}u0cm?Yd1vSZ1v4VWXvQkGAQ6i#aTB3H=dm0VyS0%X~(g+o-{-r#h1Hu`oJ z?`WXhn9^4PrNnp~jKKmIv;M@q67>7ZCE=h@r3$pgcFtvTn2Sb=)@_G4E|@{=mGWt;&nT^>=a=!y2|%+>wcpk)dCdEO z<>!cI7`+0p%kNjb40|+Yl@wgF|HSz7Z~-QYqGWaX^kU9H0jc5}wo_A3AvIuBv6?=K^c)A~nHKMr`lStuVPR z17ofo|N4}br``Q@j?dL20ZX*cXD3Kjc8Z?0UK5FWy^-5Frkk71-2iopr*?)_w-o90 z;FIs`TG}Q)djhS4sr2zHyL%S*;jIy*QHdnQ&nY~^>t$d#omVX@%EQas>qT&0vkTC^mObdFoqs+!c{+B{aF_267is+-S7H&WJRWkbC_(ma)=Yd__#2muef zR_;OAX1B*b@*@=&x#n(M149m>zMfAVajJ7J!9yi{acL2VgG<0GW^cLnUJnyKmq^6SMwA4*yb1c-Y5&$D0>`^k)=nD2c5u|TdIH}t|EF+ z*)tXr+pyY54l_AbCz5tjqO8y7b4=huz@QA-6fKl%bd&4E5^1D|eh)AB3kG01`qUm> zuDcFH@ITsFmJ;!tU)z8fwv2gS1qR(~%p2^ftTI0m)svl|$s!VNO$v$Y=&4=g&RIa^ zBGC%E3NFL}O_-6qEp*7K6pB136Qy#R`!Um!X)BSEUM=?Z2wD0;x!bbPy(&1?E4rNh z(%tAE0$pj>21efM#yM_0kQ?ptY&FdR>fCU2*gH$PfVHJnGHUNs#)D6ahm#Ex;9FGA ztU`t2>Um!4Kb|Mk9uqJutkY{a{Vv;-BtPXcAdj1lp=!KpjC0;$^2GS-l%1`Om+gv{ z7xxb=RT41({eu477v!74tZ@H*=aid-Gy{&Y)Z5X;s2`nyehlnf(@o^VRcs)c!~oL-#2VzOU*i{3ulAd=Ce>Omyz(J}`lTROCXVj~U*j3E65O1(b)V4oqLhR$epf^I7SM*J-w0)(pJEn zsciS3q%x8$l9qiwmp

O=J|2<}?7y2xhZjIvs&(rT;~Z6RJzIjOnDbd8QpSSqR)mhfzOQk#8I7(pdxh>-im>@ z5fOq4g>5o*W5ckTKD9e5XMwBi;oX*fmR5@fMq511H2rtkJHIwZG0s}a`lP+96T8H| zFDr7K-MnP$D`G}#{N&Ab5liRd1kRlP0jT>hZHc+~eoI>8883yX^h7D|QeBCoM zfD5xR%}kS29|81dl;Di4&0=l^x2jUnEphv^9Lc5bGuQ!G!}#?e8JMuSLR`Ab65dui z7fPFI6I>LcfjR|DeCCMkeDGfI{cc>4^15^U+nIeOf5%$|SxtI6ep?Hj4Ec3!j+O0U z%p%yO>P;SAl~neKyqo{dt2j-JT<>a0KmGgMLEy&TDX7j_Pe9_i+6AEeNvI(>4`#XV zhZ{-DF9;-qX{`sh)*ZMil0DvjqJgpH0J;<+D189>HmZqLM#sibkR=$4(cb0FK-!P7 zuECYp#2TIc*2Snr2R{~tf;_UexWk72@vi%*G^>XXPjsXoS_xE#BEgX#qno^RH(n-s z1}ip^ZJ<*Yr}P%{$k!pIjH5Uz&zK*RY1-!G2wXRA+ljh>6(LqTn?@TRW94@ugZwh) zPOaRFu&s%1H~Pd^QeGiBgN+9V=rEU0KkluRNXO=b#=xEkSQP=ylUKpPw=}6Bj;rnB zp;O=$GUK|WCVZ}TZU@ftb~?U?CJiDO3UQaZYMHmVlFm-wt|{Ph)jqREl?UiEbN6tQ zOzh;(ei<+^TH`&=8vrRqd!7J{AqR|}`SjOiL{-I&kbH-|$UZZz)H1r7=zvKD1k>MHlWtn+m^((bp%!=Z9SUC$Q?8}0?of*XU z!KX&q47pZ;Lize18SM#&Vaa3C0n1Mk5hW)Z^#MnPO2jx_7QJ{f2XmLwznrGmz<3|S zC5#Ue-Fks@^buKkGgu7Zw^S}B<6#jmKckoI$VzAXR^WW0p-v+gT|;zuKmcbX*1KQF zQJfk^5dwOZVy#Iv%oq9PMwys&187PRS|}s^ZtHj3MnwJq+{M+2HX8jJ^%mA8GA+=9 z_MJ8>W!QcfZ_(7Y1?EPL^l}aj-f2-X9!{KaBzGH=vADaR6|>b@jW7?qI4mvWB9U%B z-`XKVOxatzt(HiaTpTezGRm7qH*yix^Wq`{%VU;ioI&GWkFz2i9#3UaYSEpuV1_?P zM3z?-p?yw~xhsm6;&Rx0I~fgF7VbON)}@IUX#8hN-gfv((ncK*L`E9mFHSn2&WhXR zOao{8yeEI*hL5)YGHMPU0>aa#Ss8{(fs}rkGb22PWJS33B58>}i&<8(aiSiOYZ;h1 z+j`{(NS#&0Ta2?Q-M^u=Ys6h5pA+zB8@;H^0|QR%1?o7+4x^J+jukLYHcOVDFC9cK zY;dfiT*aB)_Za=Ra}_ySckDBn7Zm+N11(E=LvIh`J%k@5Lv~IBIn?9k3zRA$(hJwM?qt@fB4~c`JAa0 z&fzJN!BGGT+A^Ahq+@%xQcm1)HOPNhKeL|Tw#$_wB9Tar1X;LzKG_15G}@w2|9JOR z(T(}ZFxz<34QSy$Z*NjVi-w3Ivd^nSn)0MdRE^5}`w8D5-9-17iLw<~;Ny*Xt^y7S zJ(3=EjZ@*H>ZoUy>VuW^z9e^q5xBmHtaw`x^Z3+Jj6)Tx}%{avS^MReMOt%bSCR+E_*={!7vdN zh%+2@b&U>YGfn8d4=A(j1ALhVr}oJ;y_1V)pD@RxhsSeP?3Wok%99nuo$q(Aom;}Io%rTW^s)c>m1#*tj+bS0v_R9k}l&+VpVUFM>>=X4(BXcJt?N2 zvXpW%uNS|RBc%yF27GZ`Jf~RBfYLx?+BcQ<4wmVRMzsc$q|vOR!P!zS z5N%}1D$rzcq(=?Hb(pNua=k;H^x%e)Q-o$44fR+~m|@Q&zbw1$0BVjh`T4J%Mn<|n zHP!y7PNSl;Kl!@ZUR)tRMEo|INs-jkVD~v=>KRCei$CJu`&E{_TiWO$00r|J01IfY}O) zue+~5FHKyR=^0NlZ~SNoTJ%-al?7wvh0g^0CO6U3AP+*s4?C4Z zzG~1`aeoVgxIp*>-es4Bs%PDft1ChZW}n$X18n)t38B&+2O%a62F~N{#b=eYaAS^?3w(X#(#BUfCk_0P^zkLi8yr zqQk#fw*y#pd0#!i>o^vH!s34n$?mYfCRESkeXe@NKyd2pFfi+h9tHc@_3b^? z9OQ|+SsmZKs_@ubV-~S~&@4KLgAjFWjJCIj^acx}N2!ws-(8Cikv**xpWe`y204U!Jjq3$Ecc9&FI} zF5xkf(@0TX6db(?-%Fjc3WFf*=XD5$a7T5Hb)0b!1|h(DlQVsRzxJdbcQ4ag>=d^( z@kZ%ZlsWYiC*KOe5UCpLJaC%n8x>18Q!Xs1$iec?q*I2aB|&BFu{C1fy56vm8nSCq z!~5o}G*s9Qrt?0W?vxV+kK+pOvXMMd8K)muRO3?nMu0biTa*lqItG|FZ0wcN2C}AK zNI6_;`A}v(q(u{?V;reZ|W=c+jekWsm`(7&JmTnW{aOG^*0P{G)vd5;?1%;ZNURslR zA_*m_^i*yhX2ZKa_A5!={7yAL0zFLb{d9J>Q`U^TiJk~pR!IrIgQm;P3$8$ z)l43NK4_*kMeqUt!OC|WNwkXmX&_?7QR3z!(n(ry8WEe}%W5k3z{)Ld2Vw!NnraIJ$p{?EoI7@`-Bxs}eE_N>$ zk+EyqgnFk>+-+wz=*nVFxIwKT3(A3h;FUzf_@5&6Y73Rd%usljW8q6Mascew)b zg!$%(^P})~*?YZZ*p|7hUQ$dbbnvX;LR^=aF>0+}uehy(T)jc0`cp64GCm?)r10wc zOC4?mkXi_oLV)`(2t|bya%@w#2E3}#iNd@z#_nd&EThiu;iL-JZ6B#=hyz*pSIX)! z>pGe}X`NMMK@gCu#)X1mDpbtCYl5G1w}r7F$T!nN5Vsd2S-(S%esh&g!%nef!LP=I z*#U1slax`{4>_t-T!ou(H|2@_*cD&!U|)c0XQ2j`1bg03qiR0&T9go7jjQ0!DY;*` zIL}P?rmK@HmZCB)Nt)*G5LX8lbyC?qdHNPtTxIV?bT-$0J8mnPV@Og@;e~tm%oG!! z?!uX?aFQAJnWt+Vxu!(6a#Me$+ASRDdrmG7Q79^0SIej{`F5aWJ%k5thLnB8dD)Sp zFjU7$QStE+!~HhMwbemF!_Zn5t9r~@u?zI{(%=kG*wtH}Z*G0RAgE#D57;wp^Cc)n zd+mN1v7aCO+zr1GYa3yo-ZcdF>DJxOQNeMYm3;gr#7mW^K$4iTWev{=)@Ar7H<^fS zD=k5Cv&jwN0I%-ri6rf$@?qRvn4jM3rtU*BhwJ zPpe?2QFP^Z%c)XoXIi29mN)XYotZTC!_BW46&G)}v7zH4;i&5=)757(2j>PZhm-|l zsM-4m8<+3BkjBWchqM@g=5VJ3u3qD`` z^mx|e4)h@e?qI)%17?qLUYLbPgf|os8zG2{XHOrWTivy7kO!!)G&&}x>P#7qcScT) zO9F)okR+&&t4X*#*jv$e61c`@Cw_Gv7%Jv`byx48Y)Lulr$?qa3gmUyag$5L!)>e( zkET#5N++~*Buhdwcxcid&89~Bwp*%#jXGD-gS+OVGDOO8YZQyYyJg)-VZEso+P*Fk z8;2ZZ^W(zi$kcXJLCq$O`QJHk9bh#N! z!TZ^>%_SDN6I#kSlW*d5>uj0$C`=hXChV>uR_J!`P($k#OWOgkMbp?W2(=SoPTp=E zt0?YYbL^vNGVJ-5W)~vxYCAFsQFlm0c-bTL)T|+?lcMp} znvobLeyau%I?cp-bZ5X#I<ZM-m;p`k9sk7XfNbJbGAvq&A=`{YlEL?hdGbLVTZuV7> zNwLRwDd3mQBGH7K&Ql9TF0Vz?q-|a?T2@kdSPp49%N1ol-nqQzOzV1{ag?jeH;eFT zoMtZqYd@P(kKt!)sh^5_pH!$xuRu%X5*DUz&y~sd)puAk>f2AhedDkYnYF&6mW37Y z*vM4}uSIO8$No(FEvvd$KWIxD#U?S347yo@*~>}pWLl8U;KgNPUY3MssR@tZGb(p~ z^#+ap7JA1=682lWPX!^yvxbRIPuW9shOoiBFYSaf`KrVkCk31wNhYy(y8FxzN0Aly z?OT%`)4pB&HSON*`knT0(QqVm>VY@L%SNxLpJunDk97OyxtE|@*rL6rV#R2zUM33iXlyhq}tkzpc^6i|EU zVtg*jnvd%M|JA@pN|gG>saCqR$y>G9=kN(4%S@chfxjl%UO+ zL=tS?b2{d#1G0*MhQe(Y`=s0JoP07r02yme#^n#E20%7F*Nl4=Qy4} z1$0$$wujgKh?34!#dOO66Y1H~kK_X@#^*p8Ij%B`bVlktiUTykqUWnyr}iDbOgDrX zlbENhXcoys->aZW6xIfF)X323nx$RX%1T@gg}Yo?xq~+T95E({OS(w&BW{I|nsKRQ z-#aR($QUCjb%R%T+rH2Wg34XMabAt?3_BhII$Um~+Ig02sFL=vhTlWul6WZ!pdql` zcA$WOqb|%%^`KMvJg;#Gv=0reN7&aTJ9ScHwh~`?I2$psXA0@>QtzrHUR(^J5%dT> zjrhb~YW1^-E1YQ!Uz3z#n8ssu<4aZqhDyV>e~?_&r>2ypx|?W?;~t#HA^fgbX71`! z8gP#7nE}b5tzmGh9kKCgHW?}-U{sBX*Eaf+a;N}s+E7I}?84@wzzj-5Yb(R^p+seb zN~gy82pl-%$;wu>3sjZ#qB^{nP)HG0XJq?bJF7SSClOO$EDYjOGrePXgCHyqqmMuAcbq+cJYVLAllO4WGfhrK zuaE^`ukZY@n^u*xI=*UJfJl6v8A6wDPh?-paH*I1=@cr?`Q#G%+>t|AixujYO90{+ zKuvRX^h56CzK#aUF9jC5eI+IT!_c~zf19435xG!JoV^Um6e3ow($}60%mQVeYRn&4 zo-)@naDs;8kfi9&BG|@xZ-hM)%;%4c~IE!jn zU5ye}dxgH?;70CULS(C5y(Rwl49JvWuF?Crbd@FeA9L;DjWc=>eYp|$&K));{UkkX zwEaJC^Bin@^M9#aAl0L}hg5?>@`T7~ocBv8UTIsj)l$LspJquDF4uW)R;KZ@DE_+c zXL@#J|E|Cn*)_70)K`MUecNTl#+1X5OJ1cr& zav2w&ayHxtYsanK02J1aM`W`w=IYuz%;&XjjcMru;T9g9lM(5_zSsAI8re4AZ~_O{ zfz7IXO-4hDvhl{VvtHY(r*%U|T1vHhvO*-WXJi0G=hBSZaY3kO(wIurS9;p8IrB91#dA3kSxzAn2G$J;p57!x#Oka8BL6ui=&lUzk! z&g;l5Y&ai$1KcpCm;8Pz7b+n|cZI1gSQ=VPedVy*&w>ZCwy_ADw$NAXYmrE1Pc%7T z_fsZ~VuG8wZaX&72Z4DEC15#c*!rkPB~U?H)CS4vg+=?4C%#l;635$YgUwOWa z!;mCQ!ylT9Uk~&vR$C9Kwj)odi#aAHE9L0~IlDfjX)5#MWM02*6dRm>?~%~l)-aj*z>6x5Qv_XsSW$BsluQop^nB!OkC!th0j z`-jZcf@@+!TgvEWzzczALLimitB|`$&zWpQqUKV9n5Vhp&?Hl&{akMywNldOS&$=$y&YQg8GAyTMzSj zdrd0TwkLH#H%gZ}AiNUbNIc*coKC2|Z$Q}!Cx}0mmMu~3EcUS24D?u!pBU4o%g}-)t?zq z(~#Z~Y6$lpVTjM&rPoVTp0(eJ!4kqQt6zTND!9WD;#z=^E?jGX;-8A-qxO=X^YnAs)kCO#k3ZO4Y^MroY9-%J{XC^|YuJ#V3t# zSSzi%(Z9QIiVERUVMbXi*{*2&P|Gnv3Tn~1cczJ05|k)iPM5d6#wVv#XsQqzM=lxR zOB`ilj$bw0FTEM_xvFN+CH*UGkZNo4+}LKdQz3e(q_%594>X- zvrJdiFr!JU`8(qNYxMv$kX4UR%qVP`}OE z&|GY40QKjLV~%h>fV@v*nWQoZJB4dGTeIv~E3R5Yj81997CYY;BwZ1h1SHO@hVT9o zR^SlD=N zC*ZCs!}!MLwYUtR2o5$cX|x(~rir3DgVLokd$4zlX7Z0?r8DJY$;UX34@%J$mQ4gjUI)FzqC7#XPIg$@@W>pTk$%j>sHDUwy7;|8o5qHSXLUmWZs9Q27Y#Vb? z6k*hrbg3s?I)S{7z3Lr&JW#d*izJeUx*syEHGzqe&oTqR7Zf@ zO=Bl9bYY`LuJom;GO5BYH@N>;>v|;trBvT+a07IPvh5sz9GX%HPC7)r!-KKr%2xrZ9(NqV*9dk?kwerjyL&Dkr*7%>kNFp2kMF72tF(oPl#0zy1kJcUVDL_ z!}5MEt&@xO2^aq%F5hc+5+b1M$dwM|TR(mc*+Y6I!JC)Nvqb5kiVXQeA!E~Psw0wy z1;Drh4Dwc@1q;$+&FWNtM&$TbFVl^ZEt0gdZXJE4b$rY?jXKD187JdetbWe8=vkUq zKBLctvlV%JPwpruaG5HIeEze(>oq?eHRv=Wia%ZB!}N$GR`o=C-*Ex2Z4=jfL0Sxd z))X?S07g8a$Iv3D4k#@>uW^1iNx2m@`^ZDB*_Uz^5l1&w10aHNhciwHVmbLoJy*FL z1R97+ZsR?IsSEc!sT4e{cGos9zKT}=zB)Jtv?Su#xn_7GJZp``J#MZs!>pvd)m7F^wt5XK9$K#Y;w;pvqXbg`|q$eRkX zO9jTz(eKwI&Ow}-SKX5Yx2OpVOl#PS$M-*zOI?1{+h%;SiX7wUsdwuPaG5?8jVr4q zSS6k%?Wdkc1=7mjPXB_tJD`1sSLcb)hGi+ODLyh$Bi2$b(bCXrE9?7u$teX_}&HFSn*N$g6Vx(~h8|jVtiU?b%QPH{iAo#`(7Yi;SIjl23Hj>;unx zj9s9+*|%^$vo|YFBSMfGPyVPD!;mpgdx!q=azls~p_jF9dH(F2$zRig|efl+CLC=B*#fwIANQP(PCLzUC zUF|El*U?rCJ<{#yek$P=c%6~RyeRjkn@+mxEHB8`D93WGD%HUmC21Lv7`4(mnHYQa z!LqVPDmM8=R&LxtdRi%sfHG7zb%#s75jpPXUyeBh<#COThfb$6Snyyx0{~?9JVV*T zMz^SvlYtp)7V_9+n&#!j*@bIrina4u=;FAADJ)~=EzFO9(HC5D_9RCs{ifn3Eb4gP z^6l&f4J$yHR~3D~BbMIfG98jy?J~m9LF1c5 zBxKj-(jZM#f!tP5Tv+I6*>3J;mLVl8cls{9KnB@Ma;G5D)`acSUL+WQL>|+^%#C}1 zv%xJumhJ_qNAm@y_-XCEgXc7?dB=9Ow(gp(DtbTTYa>`;=Jz_skh zV9WB-Usf7xu7mH(6u(~KY!WgSu64KEsfzTFr7U{nEhKi{j%R)Q+B3=EzWn5ypt7lC z3aFS?tv_HeIeSzo+eYnuJRj(rSrcK*t)f94zt~2{SmB72o=D;ugf81=!ATWvmk$zQ zN6?WtqzDQVsaO#f)UP>yT$^FEd(ga>!l|b3E{C10#;Gg#1x4cuIMr78`uKCHj9R;0 zB(3b5I(=Ua+j^BP>w>Xxr}e>b75_kXtNJIYqn_Kb`yTLIh^n@QX|tGLsAx5NOQHgo z8oJLlDd2l_DvzlEO#%(MX#%fC2oh-{>Z(HlJV1@Lgy4$v+G|;|pUK0(mm25&$@4{7 zUMc+-72&N`oxn6!^Hofl4q0v<_ngw(irrj2-!b*(QRN)5v!O>JbatS;Yb|y@BXtR? zpF82LjD4b-qTE8mKJN-0#&gKGs~l7zr0bBx2Dwp|xTl1&QBqNwucJN8R=DxTZj2oX zD0N>MLRrbBbSH9EXu%H@>N~o_@*uZDyn{N@vvIvpbGp{6))luRNiLzScFwAQ+Una| z=?+RXP;m?_aFT>=%7e}kbqcpv)w($KgnLR#!PEZob@~41a>Dh1 zgk-+62yk~75i27je2@dt;CX=I`pnGQz=ciCz!^$3V(3Q`67aL8!GB;TnA5(W?bBJ4 zw5Zkv7L|VN(PApZ)up`RK`#RWXK_K$Q_-5P!X275->3!{{?uFlpHu_Na_TB-k{_x81vUDQ9{ayF8)wI-W@q_}+4x7AGApwd zG%cTlfsr-f_qZ}Nt$?1bsF9h8Dd3}H|DUEQGkv`8zflh8+1uMV>)QZKY5#Kcx7lP% zBdd=;NNeO`<^cFOF#DKPwzM%ZGtjftvo`$W(Aoy@$Dxfqt)sP>laalHp5>o~2!GKX z{DTnTcNFs<#_WF;BH*(!(f?IofdBD@m{|gh?D2npF#sb$BLf>lBWNBTXa|73k)9Q_ z%aWCnl+6|$O6$Ig3w**7XrGfP2r7T|HG$oNl~T#9HUa&rXml1r-f4$Ul#XAb6@1p^ z^@D3a?&xYm;+UY)>9}OK$hh`cQyU;ZId8q8aN~@|Vq|2B=@s69LLs7NpY(3JZnyvD zgh$KdxZn(r%5^n9NWw^XZl2g`?YLi|3ckggv4dpS?p|bY=u95(sX5s;dj054S4?M| zQNyr7Xb5Zm6QaReZM}MRcQ%VZyQ?@g4~iLba`HC_Osgp+z|+Yno{B`o&Eam zR0af^4bONRdqt`z7FD9x=lv!V57^9p1%uXVYt6HUnUlE#dpg`F26T93O6BCX zQ`6V?1>Dc6UWb>%uFq^3B&({?71iaVkG0fN4OVMXRXZMiKZJflODepwCQgQ~dgYP) z7~X$?R;q>m!BDH(Pi7lt1ss=M(7l4z-MtkIjRrBIs+vZoQpKi9k|Zh5v<1SA;#Sn> z_@&fBF?v))X!qQT)pUOoWP}YtbWfP=njqM_p9gBBOosfxPzaIlP|&gpbhFh#Vr&IH zs5E4cvnV$z8^JAX7t~=m(~Y12m@NsS9ieSb+6%vcVl?edIQwNb!O(}UpZ^8c6KVSJ zOx|ufKblRWux2?J*+&u4wCFU2uOmR1yW%nSfu=X#|LYy*-^aCo7!Ww>16*y5@M(YFbv~p#{CW;X!Zsf_3R)2raYeP? zq3!&tfAK;1xF~4kU|?@%3$U@rXZWpilK%}hdk27ksh&Ol?;C`q-rr8>=|6-KI7G|RgeH?HWc5*%NY$r?rnXxvcceOqSf6PVY_=psa| zqYd#x>iR%`s-z(GGc@2HI_q1+;$2`{s`^>B!OWQS31E?1?NWNgqEc6p8?Ag({>TPu zt)~Fu;l>EuTi`77>1ruqX`hTIeswk!cQ5&Kbtd0l=$nt(hg<@Q@X1$xTw*a_#`g-~LW_VoVCKdXlea_`C9GJ8bTJyV3>1uE|UmSLVw={N= zwkUT3l87dPwNBG+z_0wa*so&Q1ho-uq8+x-U8PRWmJmb+{Z#R7LXda-&iFHjHt?8- zHoQZ)9tK)syWYF6pe=IA1Z~*o>~S}#y6sx|c?kiSk*`96b|>We`e`b}y$5Qe2U0CO z4*K&ZLMP^SYh>YjJ@d9Ucpb!NtDa(pHsPyy4QbZYwglpz?_aHsK9#OaP`^FM^vq~% zzJh{DV*eX=kB>l&|00C{V$c7t#VsWuAR+(T<3mXGFC6+$i~Bbn|HI<`Eo=K@ZGSN4 zA1nKBulv)={=Ja@fvkRKZ~PNkv9PoJ=PO(BH(4RH{XtfE#JCamKq7>btM+bJ8Ibnh2Q)@yGsHU?AcxwI)btG!4tp5+>R{di8^R^QU&r4(S; z7j=%dWgC#;uH3n?aSjI@_P*Vr8phuY-0e48WG1=nq;cx5Dyz-whC48|iR;bCtz=u5 zzLf->X44?WDmk)it{Y+GkethOhjxd&Gv%-%bF9-C_n7X8V?v63iV9^eyy)oCKl@C<|(k4d@p_ z69kG+cb~iqzN3#|vnGN$1CVIqcc7B&NoC)zCJ;ISH%YAr*lztQ13-)z2o4l_u?exR zDPSs$F0EfvIAAjzgbuz3BM%GtyTcK7bkHWOxgi&9q8QK-OIpkArJKq1W%G!4%i9sG z3QV5eV03IQWg>1S(Om-Cr_0d+i{3Sm&!1^R^h+GlqwEjS0`pS9H^KMNdiTHUpIb$$ zKD7r(tg{Z(iLSGX;2b`q1w6M~>whWaA%Qa=UWl&SaZK~AY{fu&O1Pw7QBJ;3*jm{J z->Mr3k#QuR&9w7YIlxk&{Yvky`GD@ik4@lH_)CJ!RJ1rzaq`DrhJTBAG2DdjM5PnR z{K|0`w*}(MG{Zx_(uKr?pAH9{*CFvk{>(<=To-LRL`OKRSF+FrB{FNr!AK4*)Vt+L z_VP3tt>^h26g8zfvMPe3h0XKHuk>gkUiEyd zmH5p+Qeyv(fBp)zKk*Oqhlcj=7^P?UKC?1IedRK|)4NbI z=c2ZBVQwIFf9`Ck(%lAh^J1oRgwagqr&hT&UYQ?aZeO&O7M1QimJ;gM>+o3A?c4Q7 za#V%t%iGh%&J^x~Vp2J1GPkn` zeL!RzRiWYY;G#tnVfdv!0Ub^wd}BsgqM&0_0WubiDu&7AQ-yU3r(qDwA_6A54F`jb zpm9U|K9e*OOqV7Hw5P}B4>0Jql}-n}qD$k82oKt1fcm!j-JyX;``nU8+xgLEUMGFi z+?NRsL*5>+JH74D+dkcmpYiAtv7nKa-St&Y(y`)Nj%GC{TCoPdwR6SqVMX?&Z46Oj zJ<;~?d9M-e<3|yZ=enQm`n=T1)~|tHJ}C^W>L0CWAqxH`rATg_${ck-O~Uu%B%{|eGS8$$hOAQkz?+^c`0 z(ch^02O9mzzWOsrf1mvU(!XvA{|wT8YA}DIT=f9cF;){yK``WJv+Oq z;J}mQGxyU-mftzXKtV61K@HM^dw&G7SFcx`#)E{1E1 zjyr8ygqPyn+-PU*S+j3XHLmZsHXo&aG=(gsu=7Fo{M zI(j4a)JLO14jmO>(h%Ki;hgB{UOrtjCH0i7I`XAdAEu^reSR%ectDWUd0M)WdhR;2 ziC;{^0++gum-C zG+nLvsi6ElRl>B-iB%q1V%NbVkV5@aF)Z~Ddgv8>jZVX&V!DRFs#>-jzdk-pm@wqs zkLu6NZ-`ich-OkCJ4jvA`De2*_>hO9;_Kqgms2iHT?`Qea#vWYVmNRv;xb>80GN$n zr;Sc}z4`s>8V#6qdC~be$zFOMbQ7=EPPY4P*zGO6w?T3niw&rKz5q5DVE8*?WL+`M z1LSegc}CrRKI6!3u0d>da4r9Cg0O%iXcuVZCje4YI5xWZ98 z=q*v*tIfLvKWnU~{5*?MU*zr!9C;aVX;E$gTYe6r&)idALD=Gg*$~;}_`I?SD2Bec z^`|{dM(-#>@Dg}M@<1H|oQv5GdtE6u9dh#~BA`93e~s=73-Pd0+%?ICOhm}@u!dIW zWQk~fRDEaHd7&Rw-__r$zRHiP&*Fco`hFLL_pZ}{A61`c2E#|y2bEbU`NU=Pr>c+B z&GWXzVSO25io5=I)i+$wzVJKj^Wpj7ar}b1RAL~4;QEE3&-Rz20v8v;pH#YQ?ncizN z;|71OdS<;gk;i#@G<3JV6PS@^E3z4@YKXTnPNx1j@pTXFh2^#QaOtnlaAa#8=Wuj4 zP$X#y7Xa~f7E8??WO^D0&;f>y3ZD~Wo-5$)h^t&)?J!66X3v`Or50~yr8B<2^&GlG z7EE|rJr#JG+-C+ZhWrK1!GEAR^Y+!kfzI+NqJ?t%blWruV8EABQo&NVUBK{K;K|B2 z{1}^W)C4Q3@&5Z6&Z+g^pW(pDW2jRZpfvW?`wYn{=vl+)nb`?~hxs$1p^*-wQo&7w z#fg0v*31gxhp%fq(|3%3j(sdDdTKeOU2<*gWQgpSzd~1)$ANYcRRx`Z{L+bd+UaZ1 zT`^%~(tyU1A6-G39Bkl0H~!+{Yj-w)(cee<|Iqv=G*h~H-uy=M{UmqYA85w>8=CtE z{#Rqy8r0Mgg@Y()w8d7jKt-d1l4`$J9n1$k0NbqP}`-yzcBe`_l)nvc31U=U#DE! zb#nI+yQJTPODrwt$L~EAZC$^wGA0=va7f%LFScB3oF=9CC0v5j*sl95Jru%^R4h4_BssV^|$s z+W*PDZJuVFH#wGqir%7T)0MJe`DjGqwFJ3%>xvBDvE`fvt`9Bu{OeN}vu=N8ynIuO zVl9WWGD|O^Xu6T@yr0v0pE#dC-lM2!b$}JY)!y|FM;0+%+7lzgN30j6 zY){{kru;c=iE%bA0R{Q_QqHrat~Oc3KA`qEf3v zYiiqRt?aCwk%x6L_T*3N>$yq3|T zAGq-i{G4PD6EBAOId%}cXNl+Bj6)K$o}-fM?)mM!*-QP-x-AD{YNZC<9+?+}-zN55s9vGJ^_o#8=TwHa>vNtCd1t@zvu0=G z#>*`k>jFz8&T{GB%WrQlaH{L#R!q@#q+_i9v z-j>ptG+%x(J%pdUhZ}Sk7Sw!H)3H&}V`zTv<94^S(Z29km1L8mqHgTIB52>?xQBQVWu zp`9>H2(T%p`FIuJ6TRcni%JpI#@s?AqHsR|FqydoID3e_SivHH@W+9<7{o;g0A1Mu zph=k{Hv{CiuK|)EdjLnV%25-I1{3=FfL4SA(q)&5!ov0hzJq;Ga(j+ zFrjx3i@cu_#l!5qoK|Rjva$RRi_aYPM3v5Ac8In1oI$`e!x5>AfZ+t;KRY9N2l?? z^iroG2&qvPAuzfu5DFj?dRY`F=xx9_M$p@Uags+biy%CRt}6tEaC%u3OgcIrilG`h zz+enOs_K2iz&xPq8KZEX1|OxVE6_8I@xV!lq>l%I!w|hb0>{8dr`2U42vnn8f&?Ge zrt^W}rR$#HQQ-P&T749yp(|jc2wl%40weS`0F6|UFDyhD5GW2|T3NBoHwHwBm9}N> zE|G)*h-_k8v^L0J!cwYNxkp-S&+@jiU9}psCG2>FJ>`Ic`{#KSm~ika0!1On9$O7r ev)<1lU;&R68YT=08@Fi^K`Df3YU<#+n)x3c3x}cr literal 0 HcmV?d00001 diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/compact.tex b/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/compact.tex new file mode 100644 index 0000000..6e0fd1c --- /dev/null +++ b/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/compact.tex @@ -0,0 +1,64 @@ +\documentclass[letterpaper, 11pt]{extarticle} + +\usepackage{amsmath} +\usepackage[margin = 0.5in]{geometry} + +\pagestyle{empty} + +\NewDocumentEnvironment{axiom}{m +b}{ + (\textbf{#1}) #2 + \vskip 0.25in +}{} + +\begin{document} + +{\Large\textbf{Assiomi della teoria di Zermelo-Fraenkel con scelta (ZFC)}} + +\vskip 0.25in + +\large +\begin{axiom}{ZF1} + $\forall x \forall y(\forall z(z \in x \leftrightarrow z \in y) \rightarrow x = y)$. +\end{axiom} + +\begin{axiom}{ZF2} + $\exists x \lnot \exists y (y \in x)$. +\end{axiom} + +\begin{axiom}{ZF3} + $\forall x \forall y \exists z\forall k (k \in z \leftrightarrow (k = x \lor k=y))$. +\end{axiom} + +\begin{axiom}{ZF4} + $\forall x \exists y \forall z(z \in y \leftrightarrow \forall k(k \in z \rightarrow k \in x))$. +\end{axiom} + +\begin{axiom}{ZF5} + $\forall x \exists y \forall z(z \in y \leftrightarrow \exists k(k \in x \land z \in k))$. +\end{axiom} + +\begin{axiom}{ZF6} + $\exists x(\exists y(y \in x \land \lnot\exists z( z \in y)) \land \forall a (a \in x \rightarrow \exists b( b \in x \land \forall c( c \in b \leftrightarrow (c \in a \lor c = a)))))$. +\end{axiom} + +\begin{axiom}{ZF7} + $\forall u_1 \ldots \forall u_n \left[ \forall x \exists y\forall z(z \in y \leftrightarrow (z \in x \land \Psi(z, u_1, \ldots, u_n))) \right]$. +\end{axiom} + +\begin{axiom}{ZF8} + $\forall u_1 \ldots \forall u_n \bigl[ \forall x \forall y \forall z((\Psi(x, y, u_1, \ldots, u_n) + \land \Psi(x, z, u_1, \ldots, u_n)) \rightarrow y = z) \rightarrow \forall a \exists b + \forall c(c \in b \leftrightarrow \exists d (d \in a \land \Psi(d, c, u_1, \ldots, u_n))) \bigr]$. +\end{axiom} + +\begin{axiom}{ZF9} + $\forall x (\exists y (y \in x) \rightarrow \exists z (z \in x \land \forall a \lnot(a \in x \land a \in z)))$. +\end{axiom} + +\begin{axiom}{AC} + $\forall x((\forall y(y \in x \rightarrow \exists z(z \in y)) \land \forall a \forall b((a \in x \land b \in x \land \lnot(a = b)) \rightarrow + \lnot \exists d(d \in a \land d \in b))) \rightarrow \exists e \forall f (f \in x \rightarrow + \exists g (g \in e \land g \in f \land \forall h ((h \in e \land h \in f) \rightarrow h = g))))$. +\end{axiom} + +\end{document}