From 5383092a24c7face706d33dd442b099dc3f225d5 Mon Sep 17 00:00:00 2001 From: Denis Monnerat Date: Fri, 19 Sep 2025 09:14:49 +0200 Subject: [PATCH] typo --- maths_discretes/cours/logique3.pdf | Bin 213535 -> 213524 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/maths_discretes/cours/logique3.pdf b/maths_discretes/cours/logique3.pdf index 0c5efb48534d8e8b82bf0efff08d23518733b646..3e79c777d3bb317b392979fcaedbe956f0fb6d16 100644 GIT binary patch delta 15853 zcmbQ=!aJpfcLN(!#EinbQbM~w?bTjAU6S?Uw7s1oH#b^OU^=dNB{9R{#m`!UFX!Yf zFBi>>aI1>z+&$Cn;+5Eq>rPMijeO(&)GBe^;RZK7-h9PUKP#KGhj%WC?Au@al)pOO zI&E_tlch3~xyfWkLCyLo@BGJR0{ec4e^?=Nrr?Lb$t|wki*_@Ly;Zz@XVTpRzE9RL z+9yT(ZT`Q{*|RXUbCT-Kf;p{?2Z}7_D5n3YHC9P=bIe%Bu~=qG8Gj>h%EylQy_3#Q zw=KJ3bxq(pqx|%}mHmQlE+>e2>`rO*xs%WFuROeCYW+HQj$54$ z+((U7*S}b>nOk-H4WX=)b5%@yPKF%Uwp{zl^LTUxpXsYT>_?_rd_TE#iIZ26y=I8* zs@@xGUp$RH&AUP+)omx^`T26~`|t8M*ywqt{;%_U`2F?0pYFMw3|qM(>ugn~WpQRN zzRv$dZHFks=c_L&4f>XSzxZj5{uZvh`k6@|w?{8bC{t62cwlbUc}~H>(n51bol%5t z_~{HAx2^iu=YQK|H(M;{nxkRrq>@(u$+JFm3rV|4yqh%V+B(kp8?Jrow#u&Ep?8ou zsNzmd;uFT%c8TSU_x{W-nYBjo@QE3J<~A(7owM6T%|6g^?UzHVn(tO_ef0cv)Z)D= z7F>(#ANQz~?P_I~U97j~>H5yUhA)>k`ghG=ep1){ee_Q8S(0VEr$twGpD`0K|KOpS z<)rx6H@lx}Z`l`)|I1E3Pds@ucg=PU@t-k&>`zaM(cw``kbd-$BiPV9!qe$c?ArvZ zvq$UIeuj4(NWJ&-)YDrvNp1%(rM}9X^H00^X^zzLrswrX6TaMf`Et#9UxR4fn6P6) z3yKflOR*I?d8{R1k*mPbsa~JCR7KB(U;I&LcGNwJ!|c+c6278C2ZK^wWAmOYTo!b| z$~^DJ1|Dwl;2oYJrDhwpA5cm+5`MZvyKyW3^1~a%(h}>}mPl;5?iK#2srlrWviVHU zn?4m3^Ig8V#AXG9XT5IF_P-0Bept-eS@Bxx-xaoFekwowxUcRRz~Hf#!{o5ijQwCnDAJyD_i!4 zU$Fj+mH>9~IA>A5nX)pUiWk4W^=rq*jXUaHGLwFDTdrz8`Zyu#?9^|Q>ot-?w6&(( z<#yY;RH&a#)9vl=qbq&}8r&+(-79fcKTo@7+dLP^#fldMzA;@42-MwlIpMF->7+G( z@9s}lIishbdw^4G=7K_<`w9nqj1y*iiSPN5y3ELFhhUQRfgOfFXYYt%{F^u7qmq69 z%-=UtHg&Ood{HT~yLXCtNuSiRHo@Hb=V59rcD#PM@;w0!>1{d5X}1jz?W=dYF|B9A z`{{zRhL4xJ$eHwNCT43~tSUA2^! zxavvea~ye(ez~?N*nj3X$HrX8gY7G3a<98{?-29t6*mM|#c4g;_{$*bSocNy)wwZK z*4H;`+{;(luGj6wR=+l}Abb8Po@Y1gL#h)Eria{8bA8LfSyP_EvhBFTgWXdOe6!%V zBe*h->G^_NbM|i&u798P_0rK2)7$)4SMf zy8fo$k8Ym0t8_d%zlmFjqd8t{dsi-BXCMF8>PPSI)xVuL`Oll@HhvF|zBY53QuU0% zC-{l(%jQML(jKnf->R{L!Kz%a=plDRpYQBb$Awof`*|%f-m539Lw!$<^={kum3I$* zxoi}b|IYSy`(utHX4|b^INzDgU)EvUQy_n6}MdAij<+d@?{rT6cv=w4PhDQ~gsH3Qir zt6fdX_Rl(y{Azusve|=^1v~P5>a7ZYRi0m1a?ak%%_(cEwGvNfLYtPrlJy23Q)lzB zKJS_@rgr(@*^Bk7Kd!f&ZfMLTyxB^7{$(a3lgSU4i?CQ28yQb#6x68CElmxOiP&K3 zsc>*^LL<++cY4ii-yfJY8#6asH$ITMbJuhS8@I}iY6+ViyFYK*o&Wu6_}8m{FW3Gm zxqJC}+0~^BCp0?EF}0OBAfqF*=1mg=uOu&T8Dm))gSED}7B8;=n_20$Hm4;%a}PE# z$Qp1gU@T)OC}6U`GV9s%2n=xzT?dZb{w*stJtlqj) z)Zxa}tD$$Uo@^C;rgZApa!+O+HjC&+MzL#U2@C0)}jxcdO_{+|=)8bF`FXa<2`|TM1%JWMyC~Px$ZdvcJXij8M)!^W1W-#$l^sAR?tdETT<88Wi`?k+N{!jWpUGaU+uj4$N z9Z%(d-}v9SW^T%wy9X6Qv!C17MbEhP_v6d_81_HsA8Rx^Ueo*b|4Z}#8K0grYpCkzE23O+Hj z-1u4ZPk!e!Jp&1eM}M}zu21`E{=a(mfrRo6mah)!T#0$H*|#XUVCDLfe-)BKmw&A2 z6uYc*ynE-wzT{e&*KyhtK0Z@CIaAHEPul9{4Rzy*SDQtDZf5hkTrXkp>)M3^71tFH zbx!&!hR$4?FZ#z%_xm=rD=#<#XWzINBl*$d%@xbiLPdwEg)^*ev)8|BPTt7Tr{liF z(=*##=v&d7KUY{?rX8HXXYTu+Q+Cg}kWSk?(JAFAYGs?ZeK1l{FA)7ZqwU5Gt@U3f zA5QCdH}k2m_^egt2Q519WaP!xFM9b=sCRDR-c^1Jr_}qsJv*=2aRpQG(j_amP05Ry z-cc@gXTj92OOaLon>0gbi?p}ozHi~vevqSNGDrIEG(P^bqBBaa&;B-BO?{?XS=|8{ zF-gg*-s;mo>Q3nIId07IFRlKa?%kyFbsV8y_ov^k%;pZNfBpH|!%MpiH5vrVS8l5h zjc(X=szOF@U#E3_w^XRXwa7>nweXILT$gK!OWzA5?_&JUckFiNcN5`{zNi1(dcIhY z_2TSemU6BA-Pht2jX(7>m#&mOb;5st#7=d>F)TxnC*WZ|C=CQ!IRrIY?N0rEqFHV zKv)r@`;UEIh1bnG70%S8%snrDf1~NM#JYKUYWKCLe+pfy@$=`#FZ-u1&!a8 zAGlin??YW;{g%%O;?E+^-F%h0cxjXI{j%T6hgN?UIUnU|_kU}*?w{ithhnx`>puE& z@nxiqfA-9WoGGpTp9Sq4xWBq@J|eO&R@J?_S;$%@shef?{j>nfc02c@m-fwPY}j}z zOzq{HO9iD7hfM#T=Xqq{e^yBHtWiIHLp`|T=wf8`s`hm zyVPm*$K5S)2dZXYR{3&kqu|3ddCe`eIXHqMW?$M|vgG21rKuKQD_$S7r4H=rLvXx9jduZU$<}8{`l0w@iFhZuBSgftyfiHa9+X4 z|IKfv(_6jG-WOv{C+mOM|6qCei9QFRm3G@de7dH0KjgRalao)Q&#cj3<|e4&`}6OE zm3@M8QB_99tqvIz4{O?=U73EzVuek}wXnjQO~!zLcZfUpm*v zOg?+@%XGDUI%^A#tvYwNcjubd={Ee&9>z^~!MLEmh#Or`eb>9 zo!i{-8|sPsH;b?Su=JlC^H=Bkov;36q@8>4?xn^$kNSh#ewQp-KV>~z7O&@tb)SW= z)_BR}NxiLcS@zuBaN(NdFFI|`Z&!Fqy$L+qU!TgKs}y)=q2Kbv z%YKo1_s>6gIQ5)Y_UD_f%92b!@4jkY5nz4l?5Weg&Pu14Mb_vQI_y8>c;5Y&`RaZ3 z0cq#-j%vi(?>6W=;Ue4ojj3f`n=E68!BSqcpVjMj8@GO+%)0*G>8Ap$#$4;GBrj}k zPn)q>Lg2-wC36?A+L6&2cuYPg=G5_Za*;Xf1)qOid&%UiS~GLYguW)h@TEF?%dhA=1f5e;Rv)p}ZLDqr$qQmHYebm;I1ZpSSksod?nvijF%rCcC%3SU2;Thpfu3~D%+IXn_o zE0mR=8*^EJt^d~g*F@`Sc zsI%aET=r$r3Xg9(_Z?gsdsn{9b#%~f^ggjooNaEMxbE-%U#?kqq9VoXS+m-OCoJD^ zL|MN{VomVlR`d6%QXyIOk!yNVE3FJ83j3!2oxZYhNbaEe{y?M^;& z;MDy47IP*wP84-}a$&Yc=O4C@Dn_3VE8A+xF8b^u^!wOTRcAy0M`B+hA81t`47zt| zrR=S3?xbb$Z?sHm5iBPt1H4 z`A(a2*w@}^=Hiy<=G3sjnAbT%g?5@XzwUK%-I2Bbm(=`us)*R0mTmtPO}8I4J#zQ^ zR*PB1E2nVm=AZg$mC!cJiJZr~|DK=9GXLt565VrCRtcynJ(lt{=QwVwx@mg1mz;h< zrS{L=O6#POU#d7w-=_H^GwIs*uqzSqd*0TsV=~{NX0e5F`eLzJUXKb-ef(T?c;^z9 zu9pw^+P|^OckVRSzS7FSwSFUGz^jw5+|%CqYh8V;c*VEpx#zd*t%tA7edH|2_^V`P zn!3x41`(qjzQNzN9~O*}y>&z5ym1q2Bm1YCXWPT~8QHS8e33tDyfh-hQ%pBr??%gs z*oQnBHT8$0QcD_->4?(Oorn*6sOj#c%e` zezJ2<)VHs4cjY{NH*@a(cWL^)Kbu`8F0bwLJhw-A?C!PCYQ-7k2Z)5Nep|3GJ&1ON8#I5@7X9^SW*|iTk`0u)eA~iKG_{D z?_<5sy3h1M@r06smCL8UpK5LBlH+k}pW!Vf)o)dP&8qjq4y-<UBL=#T^U%{Y|}ht^UFAmv4io80ai5KDcL#z*Npf!j=c; z=YIUb`FNj|g#V=O5^F}S?Ah@zU*C26+j;(c{`LC4@>F)y4pB|t&Q&{)-jh7m&R3=O z=$O_ggZ~LTEoOK=Q0<>}-1Zw+HZN%-(LLn&iyBk%l6n+k3wE0MCVMZU&68Z z-e%G0g&!NA#g$Ds>l0F9rF+0ItmNul>#I5{eZsrn&1v-Yy-@ZEW5dtwwLTh}zW@b!?Dv3!*z8xZXdcwY6 z&(2MZ-mtxeH~RPUJ z`aNTbo8GV175)y0Y0-69pcqi@R)}QkC^YWiGqs(d-A9K;k`FV8phrRcmABsEKs-B*=Ztb*n^$OB8`&ImHCLY#|dhqV4 z!L7nOolj?mt^aX!!IjhcjXsNNPk2=APK(URczo&X`enRRB`=>%KlV2JPVVm@4P*Yl z)8<5c66(noOT8#^{YuT$eU{b_FHWwPYS%R=t4vI1Eo^=>p=(Y($M^Y9md~~dwRFGm zTq*QZx|%n8T%_hc%WBW9YonWrPM^85JfTg%&EVeFz$I5Q>H{cq#7Y+lewB(=KT+ z@86s#ylTxi|N2-#q1cp=*m}u_hyR{xHrG6uq@#;QoW2+W6BSr=HJzI(6%hE`#GcCroggS5jCS_;u@j z5x?N?Il>#t-&RjO(qH^i&S2~DUta&>e%<)SXI!u&bkQD@-Q^>psd&`$GL~~?@n7MUYWdn=Hj3aYaHL?2mcA2o<8gL#@F8t&$L-G z-EU@T)S?Ft%aU_0r7SO4y)S`3_Ja@i<|b{w^Ws&82bCVISNnffMe*;k@_)y4v=>cr zS^xYMbIy+`GjG-}V*Bg$VC%ec6{p~1K@XmNI{M@j`*q>SwcF17KVJLgmVm_Jr!Oac zk1d?>F;8~iryI2ij^#XSyQg+Va4g$gG0*DM*XH{<+J^cItUrcpeRHo{E*qWyE&8-6 z3)_dxEltxD?nZ@1xiT5QlQ0Q-v1Oa=BJTT6X`j^8r>Kf+%M1T$xn5r`{O9oB4-a0j z%w7;|r5WDDY4>=^!kw;HVwr7Ojc0xKoN9m8MLl-Yr{=$jmO)OE(@XAZJWc$T&H0G6 zmw8i2!sqV2=H@H9IGcbH77A#s;2EEstJKz zoi+DcO3yWBAMne%{>|p}60^+;De6T#IcMjs3qO}6Q+3w1$T!J-w$A3VNl$FH@3DQX z?-8-cxpYS$v&B^&<<0xDj;LHc=F+oc$JY62Z7 zoPH}VhzftU@A{eNs!MdbU97&UEEj$xE-d z6=pj5|8GoN! zcF@De|55N$)ekeC@IKk1d1BK4tDg^8ALXC6D4Oq_@uI1E{9C^2)@R&%-etd5qnSb4 z;z^3jmet?XFUi^&&fC_m%EEc^ms`m5mD(}~sy#ZI{>kut>2|ek@>XZ7a+=S?nam`7 zcS^TS)x8s&AE($YeP)%_lEC)q@a3h9w--7daC-LMbKQ=q{!5q+9_RA6ELt{+i__9~ z&2($+$fY)i)jml}#Bv?>-N8|xFr(AZF2^8Y(&~pgIvZbF+`f{Lsc^90_`fn!)vMF8 z{c5u2jJA&=4?a2Q;BdxL??Pq*|KBNFGk;y<`6=DH;?0+@evX@x@`S9uFz~I_y{;z_+|F?L4b!_5zLSskIZ!Ce=Te z65D85$myqi_1pS@h2M4D*X3WF{w?(DyPGEsf8J#JYqvrt)?o1wCtX#OcgAa(6aTGQDrq}j@`WoI0-^WIlc z)Bc7@%Qc$w=>m(&A`1^c#)JbLUypO_vh1;Tf3aoxwfw#H)xxjhI+VHhYWgv;e|hX9 zchzO(la3}H&m*0`vedTa1?)JVk$0qhP1&Nbg^6sdKi@fAe){yWuh%MFLNA7gS~M?s zRDy92Wel#2hJibs|&w{G&Y;QzvbZ3Eel@?ZQK)H!APXUKOrSa*j(5a&){c`1UO8 z+qAboL<-_J|9+~Qc44t6~#FQoWJ0=NGv=l3J}AJ3Hgs?M_)e9u4a%UNsXzBjLzrLJ0cal)&3sjcGP zkssP$amk9TDv>R^dW5&^UXN}-|5@d}#+8l+Hx#e?KYYu+q;{|Nl7^Qt?uVyeskhs* zq;t!2&g{$?xB5k*^8BvLE#6?_=k)Q_+l3dyTFB4nB! zu_k5mz07OdpBKG&KKJ$W=Q>4Bj5{xg2fu0Sspr?+_QLsYbx6)cuHWa=Cf|9p{-ajw z->Qv$N0TQO%}*UJH?>z!-r#eDZo-qXwF zuVQSxzQwMtKWFsJqa;3a z50%x}CW)u&y)$2TtJ@=Fd939YssB}H=D&Y+-@WEQrNjA_(B=2-LpvAkXMMh0KRNHS z+jG5VjYj=;Ck`C0kI}flvxd3kO@G=}W3FWi34br0p8UwW&#?ZT$%$T#;#DlRw{v=o zbY0|qD$YDkN}arD?(vLMsmqTWgc#>v+0W|wSnwQcvg9%Ub1WBYYlZLLkn1tN?eXKn zrftoI7Y!BPuX*2~z_9suz}L9XNog)Ap@v$gh5?Xa5t;bDO?^WAA?vL76nghjG zr=4fMYG@{Pd+*VMPaZ6@-s4}@ap6+n95J2}PoHC-emZ@(4s|TuyIa~c*(j{f$ynxb zvHjn}I_W9@3uI4U)>UCM(th=N`%V528il$ZtWJFQOxkD9Y1KU0vD`2FSiwdlA`bW-F{o%XMFKq{9DoXX1;}SY-`5Kb5@Ltzb(IUQr(VEt?`yx zgm34jSgFqAJskGM&bKe`65JemQaOJj*NG%*^++VWG;&qqHT(_}b=7I+#uWmorJRedmH&y2)<&cQ`F zT5spQc<}YHWB9+l|5w*n8$F4eqr5V6+ohUP;bZq%OgFypI;?l=+Mhyw?s>}|S?9jG zet6lYl&)|6fs-E0di-R!=jVj0sa40Nqkn(xiCHjh|C#eg*CvZ{@YnHgnk15VVfo*@ zzU2q|%q22sHz{-Pf64T{BGjSJiuKpa!z*&+4ez~vJ-uM%gZXtmuJ3OD{}EcR@_@n9 zMr&7s!|lh5zWW>(cAb7ic$e?8PQP`2Gj^Qg|FkOW`~$tm^%`69j;sGMo7HgFh3TW` z+3S~Bq~|bZs>c*NZO~u7V}lHL*%4FIo#(oauC40Rn6m!+>GfZAIE-#;b2ZnkPBhxf zx#qv@_X6W>+d6co=x?z$$kV>tbpF=M3q|z-uK#VPa7*7?c=Paw8=Sgd!ukcWuRoW1 z_Tpo7yl&MSTljEQ2em!`8rS9XL9o>COb=u3_a*iw8^{o14u{!?f zrm(XXoJ|tFK`Tz~^IvR!|K+q$*SUht;llP}Is59IxN z%yH?+pN;YRCrid;7cApTy%DCW`((NDOd*S~Xd%VEy1Rzl^&ClyWrOd`PqchnD=4R( z>SAucDgPVS=Y27a+Oqpz$2Ocg_5Gue%N%)~Qq#Ub;b-4VPCQ9?U`YL8GUn);iBr@XTS4JI?A}W{Ima{6VUu3gfdd>Lj^(*NaM}OHS)%laovBt1 zyP4Y)&m~Ex{<5j{?4N8PeX-ql_s^SJEBkA@rj9XGy3A)1!YoOAKCu1dM`dL z`@H#tTJzUW@3(lE3FT*7+q~hfH}i`#t6#KPqRV;i%NOUhb!;*gt~u~r*7NGknAGa& zwFmRHqc3XKD;x{zJIloJ;PujA)uW+r?RU)ap4OGQ%=eS)%Pz6^L7|&!cbJ7-{qgFb zhNRavtp|3S7A`coRME+686|ys-M$r!48{p}X6fFxcRe%PM5BqdyNES1(|OKM3p>rt ztCAf657)G5;4;XAh^{*BsMTGr`W`qyw`yFRJjtTPY<#GS{HOr;K zz>6EUZi_ATqIf0tWy zt#|Ri9l`F&k-qz7d7r+V-G1gv^SWwjcbh%_s}_1&WnB&6xB7X(VpiqYsNFTQV+RhUAOg#)Jas(Z_?;J7E_KtqXui>Bk)^*=+Wj2@FJ`;+xo{P}UG&{|S=r2!K`Ohs zVlKE$^78Hba<)V>?fC79VQc1`@O64@yE0JQnN_Iw_U{wr!dvYwJ~27@X7khAE9ajn z&%8Y$C8qv^uYrl<**{U)ZnM-xbON1hDrbrO{p7<^AE??Z(v%o`>8rz&OeH0jFw01O z(G}XeWSkx}sn7nHx#VUAPnOWeydQeolwJRBP*u%ZQCX+LV)`hqRBdfm_Ri?@r8X%` zIy1VrEn)M$a@qa)#BC}nku3KQip}$2Hu!YlQpTb<_Scp5tQYnkOxL?8t2l|xBs%s= zpVtQWZlSw^%>AA`FJ>%~zq|MLmUiFY6+dfkZsDIDeSiMC=bK%Z=bOjZS?>DUC9&AQ zX6ck)(-Kb>95G1#aiZYV1;af-ejmRZ9_BK=mi@18_s-N)28j{*uk04K->z0SwoA8S z=jryfUw!t?y}V~8vVHYUtGn+@9(~jI>F~16Ckt%8{K%Uha`&0pnb#@l7pAB9tg5`W zr9bWUb(>drcQ5|-Gyiz(WxKgDrHj8EEZX=^?6q*zt2+f(>|Xm#TfRE8{7@dJssFC+ zn@|3I`uv&dZb#`e783<$W*keIvEKd4{j5zEnWs*iuMl}vTj|NgIp ztG?GxhZbjB&0IT;cjcwN($BB1{r>vv$NpPlTisWm{P_Fkmy|s*vU_*c&Q9AIwa<2L z+4SAn2H_n>S?~43^LLB>2wZ=A{q6U+*uOMit3RBrR5tW6)L5> zgU*4h^Jxf2l{rKce_kVob zZRW1IemBdpK2E@X|F1oDH9O|5v0l`s?etuFM0AZ(Oql7OPd-Ox2v^r^G$aeXCJ(|Is4#C z>1b~0*X6HlUh9j6@+@j}os*xCeE-4yW5+Z;^op*H;u20i{*tTSzyFZr&$oqPIceW# zZT5S)`{eSQ7hBHy?70;7_FT*jr**f!_#3NrOoIaw?|V<|wLc;+y{OfK^PcthuS+r#ii$sZ++3{$PVAiP=Af7X|E>t ziW563tO^b;yZ)rtOha*Ms7R=Ak>>T)-DYzFzkUt5Ry*_CvS-V}67D>-|Ht{~c=u=d z|5E?-Pw&iogrV`dghlUj7m^Z#Dk2yxV=^lKq#xU5IR9P1gj45Yjrcu(J`yWAx~%@b!qmHw%qN~b z6VKcx{_Jg&Z+^kVchNI`i#^!KTK)IvjPeq}|17afx?d~(&3~2j;7e9}WMSOvMc2aL zR;*tuzP3z^Q{L+SjWelJ?JGvoIDN`u{ucb~-GJ!0={{!(a{XT7+**@yJ#>T74u zt`pt6JM7EX>s{Bxx)v>9UViyNf(GE}5|R%o45WhmF;aYd6|xGq03M(=av6e}8A2*cLxy zwRt;v&p1jlK5eMd6n~=2x}J@T^^a%dWH*+*r_b>A%6nOUZp_g9yg4RpZD{JNeT6B~ z8yA>(r4(eKNgk#v)@Cp68cMg2IUW+mo&iZxl{HsiyfX*;tb zE?a(iH;HG8nbYzGUxMo=&+>R?qEg|U`(Lt0!zH}Ld%mgK+3>e*zWSdh+;?~wZV+`g zCi`L36H&jpiDo&M&Uij7KE1)f`oVU$g1xCVr*{>^EI$59`?ViW;EWrl&t=c(ed`H5 zb6vyc&7%Wb>czKm&1@42meoiImy`&Sex$%JalhTjX=C|C#>(XjZmi}^t3NBlRpqtr z#LtQf)hU~MFYujebPo7*X8+Zg$1k$_FR8h*>-W|v-EfFp7su{BzslOH_ny*;Nlzd2 zO0KcHX3HM-=}^~GenGq2r*65NKJswKcfN_aN=E#SA7d?@+%pd6%}idN{(JhShbshA zYCTPO6J!==tKQNHPUPuaxy9@|)6ISL>(tIhZ)26OWJ893*^56cEnV9w_4i4`d5!_)LvP6zr8bO9si=KY8FQyZ8*DLSV@M{%i2?D=^UN? z4}+&K_D^muF;WWjW$iwvyt}cebn=E{i4yyTyzHBdwtq`toWaEQ@}#z)^Y!Udk{NsI zcXEB2RLVNDz}Uh4Yt1j;ERPd6g!s19-gsl(>=rj+Qq0r+a}tH0>^JgSm~%68;l)0Q zuA^69L`pV_B>XaBn$v%yRO_5l%9e&^hRu?)842GkF6tYdcxm@4^`27y=^N{#TU!Or zP5IeBpG$a!>AB?njMqfp>nv^K|L&U^yj^_Dye8@Tw%iYSeAdb`A^+|F#XHqiG%*JX zo6b?$J@57QT`7zajEv3Oh0_=%80%lZdaGae^JQYWQS8~i>!+vg;rV*^33Kevr|rx8 z=iB{wba1jdd(_3&pHE&aDZKQ^E{5?!`YJ9jr2%@B3c2@0sk?fTIt0{r(`l^J(Dk;+>}>edq3(zvjo& zmC^NYOMX5)yku^%nh)sJ%7dX+o<`tR)jd~0a2wz;Dob3rNQ z+)Q(|->Hx1|4t2-J{hDsv)K9Mv(v7(Yi;J9iT-o;>z?ZE(=K)0-hTY^<;jg(KC!P6 zpZab0{CWRhf3RC}clBwR>eyoyvX$>ME_=_p64$BzcJ{XV?E72a-;VsfFm}uFx5vw_ z&fD_(+m^pu|K9m`?O(da`khnC{NBcP@ZUa}we`=}vqgX7ypopW zhfU68Kke$Nb#g`ee6`Pc^@eY6z5D#8CEjT6#F_FR>!mKNJ@Ty5clxDI8D?|OsCRF# zE!-IM{pizGu_d3>71TeUJo)=uiQ(@nYyH$dEAD=1^v16KSw#{K#H&-}jK|3@D#KCEBZ zl{J5^givb|@7p?=r}K}6wJmCEn{>8y&#e3VkI8RkfBX5H`Mc18K!b@$irS{M6&m&*1J^YgaKe0Z$?lzD#L z-wz+d?K$l$_3gEc?f>lmBXLV$b;QTyKcRd6z5h_p%zq-MMnmPo^BonAVwK?!ye$tl zH>ZEE7ixZRJ>xs)n(hO76LVLe;^jNz_;+LM|Gp*PZ?Qiy;k%W8EC06o+wX5Le{261 zS?zJnFjL)qHD}?6Wwpgt^UGhCMJ-zBQhnoWO4Y7q>tE)W+W!5Jcds_jdgn{okKvM6 z1Y0M6-!HpgUDzJ>*=lL%r=Z=(+`<5>oJy0|7gx^!1Q**bY%->gZlP|EV^?F*BtD=G?!oAs^rIS zL$xmjX1?DaAI+F&vutyvdh~oZ{s%nvvN3P#s_iXgcoI%CtnoC76L^_gwfCm+&#jOB z?g%!VUZBOfcGtTLcaLh!Tee~I+Y5VNd@P>R^FDZnp!HqfzV_M(*`*g%B;WcSpFHEi zA4e(sm;*|(zm)GQ*Q+l1_HOY{1;3NlRZizKT-?7*J7&`7c3PzWqfJ%UOWVEw|5nKR zXFAEh$dS5yykg#&yqEV&{KQKp+FYKZ_j3Q^pKD$}lvmp^S+iHc`gP5p9TOebo%`mu zzwRTOp-oKkgn&Z|A9RE{=3KZj$#KRi2^Eps(k?8i&0iAxB&^OajH|M*?|;0itW5fC z-J5rE-}L5|*+*056vH=lWE9yV*m>d;ga` zcF*+6-qkKTFZy?4Wb}*wKi}lskgxjtv+D0o?(!6AEryM6>Sf-A{{8-<@%j&eKDm^M z_OpD`E>HWhzc@@%nb&Jt=d+I`Lid-}|I2-sry;#MOKW5A$})ZXxnK5G1$*wi7P8P- z)Jb*9q#Fz7a5!EKSywW9>Vty5e)Herk=0;q*6|!}k=-Q)hQQ?>V?}+1_d&t#qi^a{H#qW-O_~HJa>lI(S z;|{ZW`3p13Sh#qFGt3qy>AzaU8hWMl^weE*KEGWpD>KI_Ui@w4R{bo8xVO)J`L|Cw z(EKu^Y_`wwhRJvC9zD?;xJO}sMaKk36tav#*XFR-`kbm`ozi0rTO!NfM`RJ zLbvCZ9p`WPUhBD3f3~J_S^4ItGS?M6V*R6z_}`fP(yM+sC(Gt9ZtchRepK?E@ajUv z^o-`H2df?`8ZvGC*DAsLe15`}1@{A__bv9}dof|2aJJXiPkQS){vTN*vMt=lT=io5 zuh}0Oo?dM$(EIFjXwQ*uuHY-P1C8W$<=?4&{QT7|%~g7d`RS7?e(PsXWM8hIe<|l> zN5_P?EgiD$7v|spJ-_}}_51IBeti)aR63T) zH*3h3qrH6T&o8qm2#TlqW>@fD_!*l2{|86Ig@4fuo?+}yv>tOSgfT6d)$rq6gP(p? z`26#-3+AtF@R1cTR&|gl^zKLzo_Is<;??W-raxZO&c`IYB_YUHIn=aFPL(B@tgX4|4RxU2HpyrvZ&E$&4MecQ;LMAWK~abcTeBToqxJUZuR1j(kXj- zgyybjF}lIB^qySmXXS-`n*>{fLIb8P3V7igFw6W%YI4!~g;yLG&)Tq6?)mHmJloxG z&N=W}o-*_pn!H8#@`%Rg^*BW16YgAfRpHb7ee<5g= za;j`zpXt|RIz_F*^!Vz~*xaU|Jxite^x5~WvE9zcvnlXO?$WP2 zI!i>S?c#jN+xzU#httzf7xS+?x^q+D0ZDGHGHrgtJ)AFjV^b@>e*W|3!QYb$$}eRt zITli%dMfgv7^_0s?1nG@m!4hdKV_|o*VdWl#R?gRa$YL@&5+Umu+cDjm;ZFWYsKFe zKKf@gJ@@~tJG=5*bT~TB)HwbzaISf;uVK z|IE4jv!~PkooMTZ58tb%r`4~@$@{y_NBu`m)N)Q+KeYr}BNvvQ6%sDdx6U5}(r}KmB&&qi;^@8ZTZp z=HL9Ob7pbr%t=4DDox(GMdz{2Vz2DyB9X_p?%FsZ^Ek`>%s8vlJI_wJcCJ48>DJGh%ddE zV)pLGt#3hW-Bn*FeZ1#!=G7vFp2xypII8w_a6jy+khyzg^3itwFC{-W{1APx^#42k zM3cHR@fp!;et%TX4p{nI^}wUII-JvT(lsqMgjjnwFTEYfwr0az(Wcbfk=GjYUoE+_ z{=mlwYyIF^+do@WTrc4I`%S{X++DAbBi^_4KjSi!9fja(b2`60b6lXQrJrm5f(=0>v0VB-sd?!o849Mx29pD|HS1L`oz3qF z6gmE}_?>b7+>0|c-IiNz36{Oe7aSG5c6-p4E8ctgy!Kvc>S&#M!{f-bmKzZs@0?ne zNY}S4-MZE_`EpCdG>@L&wwr%G`F^MP*}dm>#V#t>N|a_wTJWj6sNCaGQQ*|fVBVM( zn0rU~(yj*m$s#geHeB=WQefL1v3Npfy))A!t#=FGPHJ1z_2i8qbM}I{^KVL8YHXOM z6xk@Yf8tiN6Njr#tUNOBR+#LDX?Cmbt&(0K{AN4rRF{jhx-YoKPus%TwveT4ao*G? z(b@NS{sx43?%lH0?#3auGL`mfzt1rjZg1V@=(_Z8@82YCo`9!Z_wHp`^Q?Ljz9yAp zRmj_`^}8z99OQTt@bXObeLsojz^O?o*}E6=RVVg)z1%5!ERl)tkloax!(6`~GWZ-^ z;E*6dcT>H&we+K|N^8m6NA9X$`RVD*rO{gP(bIRX{gi+5 z(xR;M)!yYH@6S)(lVP$=DDBVH9k#1pwM%;YeVs1*M7eZvskdP%|1+JVSNHx-)Li)P zdwJmZ@97I}ihnC!-FPHOVXwf6XUwwmnOof(*DZ8-8NJ|p>4JJIgAeKfb2+ZavAbQ` zW^DXY()RqC%GsuE7s5pvGC!I5_RN&Ovf|vi$$tNs8Gofrn*Pm^S%K5of=gA^)!&T^ E0Cc@9VgLXD delta 15862 zcmbQz!aKi(cLN(!gv5?K-p<&c_oiMw-P4qD`kqVIn;WtojgJLh8JH-1`C}(h^}K&h z=1w0SW!v>f?)ogwc(pF#`qR_PbiOSvnrm=9(Ls57+x7`o>aud13-U6#?%&_{iM{-k zb?W9gCQD^Ti^+-^n)Pp^yz?KM3GDkF{$Yj8nSvi_w-&ixyvxx2Z9;C|$-D<@Mb{eS zH|j3m{lBh#(xX#Cs?nP!R&X;nJ}t0tKKJ2wn#ZZ0CW9D3H%pDj@=Vev9trMeQ_j%XIF}L6&%(q@D($Z{I;&|PVeM%p3m!79^NszeqTG=W7mY1 zM>~T8zO34Od6IR`MYkgTi_vb+>Ezg;ubq78#KmIWPJF`N+chK$q@c}>n?kfLx&w|NeuG6%5{?5g2hi<+2 z%Dl5PkM%%}X_Z{hfX_{n*oT+X)DA7W(k43Xw@P|X{vq`>TMsQd7xjLf_J;-@ zIrI4vl?Rsb--umc{(sqAwd@lHMr!rT6JDC#)|;s57ZRY}yx~YB_dm+ zP83|ewK!oR#g|uRD9wR=1u%6~W|_ zcw_b+cdeT<1iX4W9xVyWj9a{9(N8V8`{$SaIKg$$Eo#a=M?VXTRdX^<^~OkRv92k8 z+{Sx+LxExIY?rGk%+=gFMP}xKy}N}XeivBrWGBjfo9@-_SiQ1DRNvx8O#Xk(0zHlE zvx{e(Q@iTO>hY?6!mhXMYun^~J&r_Q|B!BGQ0Db^YfFNx(UmQI^VjGpTJS7>5cx+h zhhzK2>oS`+G)5j@Jip0+eeLx-8iEIw&R%rP(Wi1k$>J#|pS1NzcRTg%*2wdDV&%Ix zMQBT>UQ=6^%%*A!k!Nn#xAGPyCl~(j*nH%hc+nM??&Aly%+r3W9$0^LMPP_Vxj>JU zyQ&i!=4){4p5l$Ri+$PBM=}ZvqZ7A$Raqr*)xlJTWl>b1@~6uQ zpN&p`GHTylf7s(jtpnFn)3wP>2RAx3Gi=_?c>CHefg}2xw+bHW6}YW@^oMk+*&V=ny5Lq6eSiioagy@?9A5W zmfs&GA4VA+`n#j&MaN79)vg6MX9}%r6k4ku{yve(+c8 zx5T-{=N(^EoV3aC|I}xkv0%o{sFGQlo6pCsP}BG!z*~H9s&z!gws)tkoJ>8ADuv0{ zyPZxk{FT17xBHW-z|-HoU#_JFo_=timnZLS@YI7czq3mP*or-u-d?&wRjg}M3}cb{H#s!QEsLDp2p zUk5&NwEf)GuX?in$@QY})fF>)(k{QLz3KYeJjurC@4o-N&JS&)|9#?J?RCqnuJWUp z|74T9$GZ0zZdTe*eFEy%ASxUP^IEQEFl?h?PJ6fFLu=W&`c{ml;hb zU-&1^WNa{fq8_tmeRyfWoZFL+HtqIqICz)yonOKC1;5(Dm!+!J;>vf zyQ8}!y1;Dz_iuaG-o5qfU#4a3_b)I1y}FjVAdq3VL+RewMjIKMId_y8WLafp^Ahv& z7|hk>t(cp2STZA1<(sxJS~e>%)NT;IA)J!SFYx)xmnol0zCUQG@F@7Fd5MvUF`!!EfY=ijmJ?YS zQktu^nP!My{mRhgAg*xa66b=KiBDNJv8`xY)2R2(L99Vnf~nxwZN`Y^*c^xd51*X- zDb6VFufX!FeTFW}8=ip4*QbWnUkJF)dg64^%Tr7`u{jK@yy{QIE_kO@f59QU{QLis z<9rSOvMnS3Wk>$a{yV$1;%{!@qR$@~avZJ&G>Bf{d(w37tNh(5u{j4B8uuSIlUw(H z$v=Uj|A+Yx{Bd^{Yv8@`jsMo+lb&}kNpd7iW3}F0<0kZ9|GfciQU3&;ZykNtUvsCv-QgXVg8qVDHI85I`O)6X?XCWbnlt>f zl`&nwd*blV_f-$%1ON40Wqb4J$>00#|6V>_&%ECJz4oAzJ&q<1YrdP29X z1N$%c0Pl{o`y2OPnl){~{_q#_M*r7{G(4}bF|GI3V0pr7@bKB6^L+*XpZ`8?^jm&P z56_L$)0?M9OB^_O{511}%EQ_$0?)+0{EshLYpWozfcuO7)&E~U_5Z(a#@HC=ko~1K za>Le)8P311cU)rl`KNPJc#d$gSXItun-9f{WtXc}EU>GV{`@xi6L;*VIp1eYd3-SJ z(QEhYQ{uf_rqy#goS7@HY%oh>bL6MnPP>eDH>{dkz4p%TTPw=dJ$|K}yY|Xs`NiiK zdXBaV_+AtI=O4))nt!+J=tq&t1Tj_JyXyj#QHy0C7Dt5YV=r4KV%-hdi&9U2+d-dMT`)OeEw?pm3)MG`j>o4p0PnVo?M%sjz z>uFQbt33V~-^C#}v{H4xKJA&b`^eu-VLs6>G8TSn56_YOB~tMuhCSWKLQ#Bjpy8hx zeLgG_^ES!9`)yQj_+*K($~pdM=Y$PA?9`T?f4i`0N`8$}cmUt?j+tV+i;upv`=);P zY;%rglf!gf<)vRACopLLD~he}-e*ud_2-eUD`x-x$X3N1tVmCtxFksN();o$vftF! zaZZcYt`lUb&b14B#5glP>(}4XM=?Fm?=;MPwf^zf>l*i2Rd1JM%4%!)FV?ZT^5;YJ zoV|WW1P`7jhY@1{LF4BxG0FOgM?d0a1cwr<~rtz7ofGkq=mZr4}+ zyP&`SJ&SPiccz$|lZ4(yY&Cf+868)j)txiLuCPzdJ;waa*QeeZOIJ+)X!=uR(OZr; z##aQb-ZaK!EAB1Q`D67&$-L&H-PF}jvRK!Z&waM9l*_N@FUu7D8J9L1zss%t=^3=s z|7CKoTi~zL!N)t^Pdn(i(@m=E)A|Xs;}*_PtT*gA&B6c8<=)L#SIbYciZkY(Q&%yc zE?@g9g{9eST^YyxM;=96-+et{*Xw&;=tqNyn_6IK)AQuNskvL{ueoH$^=|b}%h}T` z9!|Wu%<9i3CheWycCVcFjlYfIn0EAyC!4*Kwp$sSxw6x<{^qeK)4y1rat#$O>pbNAYhS9D^!A5JYa=8ty)YLPtbLO6 zYf7p@f1~#L1KBzO_Ht%QH?Jiv|DrMLs=?3RxUj|LALHC^o%{Ls$ES^74ryN&X?`JL zp*_FGqUiIlmJU0f(=AGCv!9pqe_O|LpW*eo!y*&;xKfMew=*WyXPt3eDqH#1j9qK% z?BkoWHJ?^I6z-k3>S@cV6PGSE$iGnRKld))<+e@Q^vAoimOtQ}%wZp@(YI^K#a2^p zjw@^Lg|Q!es`>Qxxg5Q;BZ4dc^2k&K&sF%A{PX6iOGjG;P20>W{CiOkY zn^vx3NdI-?T=3aVtDZ#94D$1@f2pq)pK@;1Ylibzer@`BymJ3JwpVjZcBR%AO#B^m zzGVN)YVjM}uK(Vq$;DiMQFZ#NVy<12{zs_JxVwpIdSTvWTeg1Q;;-qyUv$aev&=KG z5NCM(GQ85m;H9yq;@v0ZG3yN~e4W#EH(YgeSp8kby+LpP@i%Fn9lslv{di=>R^3p) z^i%nQ+7&+%|5tvzye*;e@6*mk{@bVLu>^MR`d`QK#mKwb#-R6Je)Qc7F{W(20cpxz zCnn2(w6-hz9kVHY+lS(=8|nO23Dp80Wc*ILhDGhyc4 zV6W?ny79tFt}GMR&R*v-IqmnYpUXq?G@iX+J2^RadYD7us^ag$>t44<=qum*kbi1F z*IvzhmM=fj>cct?`tZ96WVt6h|7fYneHQmONu#vU`FY)Y$^Nf#8Om7;QqB94)uzSz zfA}_i;^#Gg7V_5htDa%o%Mtx(>lDYuOSe3bb?i0XQh!iSwQqW(H2=91#eYN{6FKI3 z@?^i=&S1p))ap)w(9-UL)d{s*8z%l_$z?SBf93EwyE#rQlbP$qejP75`*Wkd<^AvH zkAFDY&Q-Q|*=43DOeGhxPbz<3c)sMb{N#_ulFyU(|B&$NN}HRMwo&Hw@z`p++d`b{ zqn?ZOT&%b3I8gO}_oltUHhuP|{@PUCvOT@{dy?uhp;g-q=f|4-inQ1t{oC5=MrYaX zPrDL-i%s>OIKiLGU`f%Hh2%17A(vaqjN8X!Rf{ z@blgH6#@RD3PIXWC%A3sTKjvJQL%gNwr2*aMvqSHak>8C!sI2smbZ3=`Ni08yn9#S z^y~Qaj9I?yZ5{ipIvt{>Z~p9h;@WX1?Q_3$nlF5qs=%wU;ZDXDVls%duP4j zm91TS8m~QhDbv%QQoB2^{bS-v#(+g$C-&MISvr@kW1pWguX8Tr`(^AWCv$|pF=4d! z3D#NDlRa;4(j|?P?M9+11>fIpntpm;&!@Q}^LqmqMfQ7~5c+WKL14a6-)g1DOABgu zo8(U4db>FE;mykmd;cFRSd^<=_#ut!?eW)P%=HC^f`K!`Pl$AMrf7QdXG`vHRWn+# zVIzypleWa#mg+kmE=Gk@FSKkpR~*4ydiTWA?i|hl&N#(mYkCbg3aUMOc*UXdYpWeQ z$K?pw#bz7MB%EEbBZ7sqrg>G`6JPfQ-tke^t#541n}p6SHMnhd;(l;Y%^L2hQ;T<< zzA<@?(qZNLl8I}gR@w_mHngPjEWevD`6{>3$=ZEutCj7KPkJ(Sp-^~Ci)OlF*cP9& z-C{4*UasA|A!*Lq$E$XDJkM6nN${GkmM7GFe3$fo4aIr3+7>d=4-zsf!v!umJrUgb zy8CF#rK2ZoFKqDWk6->maEa6VsXY5Xp{<6J$<>9tWmQT(Yh<(`bc;NBRc+{P{C3 z&YZAdviy$i>()nh-Cy#yA-*O5lK7h`Z|~ebu(o}j{M0ysDL1Em*-~oq(frmvLHS$i zf$iH^Pig(gF{+G^yB52Dxk0_?(`7{olQT9wmd%vvNa`2P?hJ@<|GcK$<1lv^=exHq z)9=o=@GUy9dSQc$PO{9tvnO)D^?c!Sn0BaP+NsXs-a*23w&=2vC2BQ2VTU-gKHf0$TwbfM<%zZD|)8w?H4J#Wfz{4r5$ z{@fpG4hx@mwA>7M)h)xW{&SJ+p(f`gmw4}OsP_|ks>X3>uI~LC%6+$-v)m#*%+1@n z1D6Sl^?z*^`!xCWs%0zQJ-_qNq%HdX-z&3U&%VmAf8*VYJwEL(?tA{7zmM0fJ8}Q| z^x#eJeq4Aaz5S`se9_k>5uYAp{u0YvCRk_Td{6PMpgjp}0>3Wz{b|ze6s=5Ep zI)O`ND!1*FE-hWY?snf}o`AsJVca+JI}+yHn14X>oBgkXlH8m*?`K>8Y(CSoC^vge zq@PfwU%T@Cz#H3N)$TLqcU<^Xc(ayP(B$dDXT=4Z#q%Y8>pIk1xx}?O?e1CMS25wB zVZ#cyy6-Z&QtoeqRP>F5k|%xf@l4rZ+Gnkj$Uv2QH!@Aw|@Ic`>sN}0@2&a9JkIWmIR#h2`ky9zb0X=WM*|~)=jVZ z%S!L=KOrY@^lYin#=E?UTQpBaZSo0}Hf;IHbRubsOJ$Rmh`#ix>Bq15O|F+WD^w{w zP-H57_#_;Ma?^b^Bh{uUy5{w_rlhF{W4Y^%gye&i`iO+@bm+Xw#Z~Q-9c}dR)6$BqL$@ zN|Lp;Xsyh&C!S09Eiz(%@_PU7`dl{qx0UsWCwuUuzX%T8e0H;*W7EyJUrv8xFRJD~ zo;yV|A$P8AOooATM)Ja6lQz|CztR)K^_%0|TKnC%3miOH9afxre)g-Z>w^brn;PD4 z=2hIjDM0sCeozQcGjH5t9)`$$U6OCLYx8$_Jlc5XSM0{`vR^zC*Swn}`E*uwaC`uZ z~wd_zN&e8+qKs@1&iLVy?rWs_VqfY9kX7Yn)vhL zOiRrxch>ap5>XeQ|G28QnG4cSxTXz4o)~ zxe%Z8Dy4H*ZmQuGmg#D973i%JxwJX%eE5n7H98G%X4@G5sBc?vy;*76rP-6uI4_E| z>S6M<@4J~Sd;W38pG6DRYa68Q-BmLAC7N^a_*bhC;muc1f8t%ZhG(AWjjCmLJ1!Ml zmPo9>&zIPs68-A#`+UDk0v%Q+(+{s%*lXc0w3^RF?6A~9*2R(*T)k(1yzw*TTR8L6 zf-0+=+~BOb%i$44-y|&S&%9hQX(``=4Y7u^y5%<=d#?J1U#E{XgKeE4kMQ|slQMY& zllU!VZ$;8SSLZulFqo#|?mqcteBaE8ul%chbhdqL4+@SHPtN#l>YMca%c=LSX(6pG z!sojxZq7QNx5%4iv4W(j)T+|;n=WTf{q7W@?CkcwEGRqt#lyg+(*1|OPpWsd=VV*r zS%17Tcbomkpg%GtukYU8VLx@IZBKV^*c#K5b1&&1)NHt%t+3PL)ZDr3%a@A>Y!XwQ z7Lg}=e6gm?$2?>Aatm|>rS=>S&R+K|(S%)5PNs}+Tczf|zQ}Wuseydk_B@>U-S^<> zH0h%Ho$Qj!O+R>i$l>;1clkMU!O#7h%5~N%o;YH7hi9dmo{CUf9E;KKjW#Fa+}Ai= zUEVCV-&fmBCFL5|`)MB}md;%JfxTvO;6e_bgCd(U7PT`kp0Z79N@PIA>fNp$n(Gag z1l+A$&8xa?%i?((-?%*LT`3zi`_e*fV`HD$Yqq83KR#8@!nv$))5Prp4<}mG@UBu? zUHks*Y2IfovyRJ4-nz9jchOy`xn3{2GNkV(FW}kr{z*n)@UEvv4FA4*xcPEJ^Xq)k zhwK4+txW_1e`c|slU><3_g0(pzUdQOZe3b@MyO8UTb&^+YZ@N&h_RyQRF7gMf*77uMUoI$QwoB(m&3X3CGutMGo@tE# z#<25FivPLq-x$`thNZzkl zr>b9hGnVt{s{aRXZv7m0GWP4I)#B3?Ph6=lD}P>d z#Q>9K3z~FW5HkAyqAG3Kv}5A>h3$Ip516f8~*bKC>s>H$H6`_i@FPkaVWcJ)sqU^sYYFbuWo(`W#%& z;PXLB`F8FHOMOKlLl&8`t+&qpd(pSoabfA>;2YDba}<`;PtvPDZBUoJb@_3n*kdNE zww)KOU29`LXBwybry#+zI7xU<= zxAKH{&n)=GkR829{tIVX*81zh7M31%-(Sjb+}4Qo=RWRzwq|jxrIO44_c1mR;5j_cde=IR3d%T`SpAAKI0xAJG$-HzA;Q<%%C0?kqU0k-9qRJ#+ho z4*z4X^5<2poT%IJwvDKgKXfWS(y`09p{rBD& z}^=r*5Tkyvn4pvcTB+$(HSx=?pT3HLe0(%1}tk(1V{PJizF zd3(M-L|1mz^T~`qteN>1L{DSsy`21l@7THtcH5frRkCVVX=Q5a^jvf`ROnDB>*=28 zlJTv4+Kp>stLv8k3%L;KR>d7OBglEdJ`Gp>Qz1^brmpCko8_&u=fLqU-ZKRz6aDXQ zw^Xrsd*ftbTKwEA(Ym{uR*9`qU8d|c^JniBs}IWanCjVMCTP2vGVxr#XV|uwMalYA zr8v*(H(e7y?zuPdfS0Zr_xeQ^9_qop?6NOK^JgjvO-{`|cKs4pUQX=~`}(D|E>@m< zYyXIEOwpcu=kq;_FbCi8&(gbEi??z*EmrRmUcBsjY}EcE*$r7DXq6tle0A-!MQ^w(A68g#GWxmv z`w|`?{lPjZM&i@l(3QIv={tN&dk~r~t;MrUOxNSu;hlV75%Xfj)n`g8e?H>^;h%N|Dz)7v1O8tewxl()B{Yg3R8~^RL7< z{Cin=;bPd!EeZbw48x!DD4$eL68!i&EW$hI>s3d)U)=j%>^?rzY;Ik|owRp%V)XQn zRJVQ5d3j~;!eiT5XFZpnU^I27jBouZxq8$0J$z2ZGc>0k(4Rjw>rL8X`40veKXg{x zRP0G~k>O|mUYB~Zwo-0J?c9IeQ~v$!6v#bdm!5k!^;~p&#JWumW)jKQc%mLDU%Gmx zVB;(Eg#mY`p0jgYeE&w1$-E7fJ>9?KVpBc-`=md-6!Yd$_+y8a^16=O_ZZLOE68~9 zvR*0nS>_Vo;8{2GG^`GbvY7u+UccZS?5YNr_IYj67T z&P4aniBFEbbu-u)l}v3vTJ|QHO|w6kod1cPZGCFkZaKG=M>}$Id1A~xvv}*T>z|&% z=s8(<=9-N=R%M=fcfYIk%$luMGcV4cQlu`vN*!)V|!W)}PyI5*=A3f8%?3{hEziiooJC(WN9@mY(@U^sm zn`As&;&IB(ruCao?7LL`N_1Xpz6EdKjjMHzrg2jb6nN>yRL*?(>}ICDoV(wX*ZB)w_=S=Z8C0hz~+Nl0q{ z`efl4#g)<5-*F?ZIO+Mp8@@sN#NU4VV=o?fhVc0|Fg#pP#9pk`Rn|WA|7p)o^tK*Z7bgCbWD;xELNI+ zacjQGy*<}+I5SKyzIrh4MRKj5VK7e=U*Z{KA=?L{_wyHSKUd+oX`9ymeGOU@GZIwf zs@FvA{=XzWvoUj?z|7|=KH;Y}uUGHfWukqot2U53f`573Oqbr-t=E18+?=yRB6ypB z{Vmi9g+;C9*ai5u;!L~rh# z>%s1r6rC*jxerW~rArqpgjGK~GVkeaR(^r?Mj-{qyqs^G zn{D;dcJJ)=%*-7hmt0>`IW4-0pEY~0&+0nntECnfryl=sz9qh|t~kuRnKe#1>GwXB zN}HuDKMh|s)puE-!_RYBYpK~n2cF0F{ zU;kjRwEERTuf?-3B?j)hb=pWs$}O<=iP~=edm1*3 ze3O^oyWH&NUwyQ9U*8{DM)Am{Nq>CV+hf06TYvlF&ZyGA$9FHUe>Hb^sY}*$$Dl3%i#m9fhmKe`j+&|xop-INXVu}_|>zU5x*!p?yrG1$ZN`)*f>2v08 z-0?i!Q)yk-9yYN(NoQtt z$ej0kDinL2|LDd^JLVj2UcbzL+bVq<_WtYkBC6+XS$z_Iy$!m#sK}7TqO@4>v#dmw zz^usc!n_;g*e33~cTzQOLCdK>+a4b{s&Opszz*KyZXEBTYafI^HI{Hq|I}i6ucQ8I zfc0COrKyvbu|7SyzvA@S&EGs@I7()!2=uL+HaRk9)z$-oi|#y}m!dH(G(S4$<;+i0 zXS{zkdAs6`1NYX|+x8!NwA9JsQc~~L$(0-{f)kH(__%~9bU*I(b#zY&cywfcs^{DZ zQb*4{P%^7{Wpef=N4x!-pchMWg|vjPI^^~gf2uEtpRIIvy3pj1pDS7{X5SEWzdb`n zW$s%^k(dc9_w6&8;4a(x=G&alQ!`)wzQ@3)#Lj)xy6yGJihJiuI;ABym!w)Rzy4+V zI++u<^*PsUSeum^_WxSr@7#*gmpUm6k1(y$V+-QS&Rbu6pY!&`yA|8dHZ)+nQTvwm9zAH`4 zYQnnHHR+ifxHt0Oa?=Q^+qhpftLezA_GyBS8)hZ4bKf|?P-gY9zHh--<8|5p9jgjO zFYefSe8Zm^6R%2LT3;!#{OatgT&b&zE^T8B->-YIF=Jsy)z+l%#}gF|=d9jnTzvm? z*u*lvs?|{kw+1z;tF8)5S$~VC@1c{;H}SoRz2+Xpky6{YvAC^x zvsY#3tge6ks^|9XcvKg{d)1_*erH?mMgA@O8iVrYGq88mJ$9LrI>l>Ul-^?ZotsbS zUcWV=qUX`nfk+xcNClo6|P_?TIweho$M>@oV<2<{;s^u@`2Z{ z-K@W&;#(51ytB^T`~DR>HzfyCGr?5N$tz;yrI#yjbiF?wj|T(ppfd3 z$;&-2>YsP{ARc#}}vxzHWP; zWF2&cKRRep+pOpAP65jALenp;+BR+X*O=qZZnHYJWq4;@aIvi|k<0XUn&kRHHs@id z34=1fPOsXl(hc?V!Wr&L*E|!tE2xy|u=%R%+Z8O;TQn}p8h)5@q@hor{`u5UvmPvQ3FFk}*6ZanE>;Q3=m}t>r&{ z&q!>QdTm<2|K1&=)ENeA%uD4j96q~uvgCZ@xy)@xm(9PLR<_=}cvd~1`@yS6<$IFK z+pwe^p+w^s~}U#xJ;y)UMj(-eTYU)m!fCx3_`6-+X_(E_1$5->$&w z{GAcy-CsF%OYjAxS?+gV-+c1!Q}XAgy9;>J=A7v8F-bN$GhO*r zzG>tflhh~6ZMaJJEsD#W>n(nNP5rdx$KMEke0?ry;}XI63A+zIiR)t%c781Qy|u4@ z=jxa57k^t2x!$kxRLRr2?}=t_=hYQ&-~aXAs@ZF%uYPu{#3))u1-c^RK^t z{691LiriYYtLLlArMNV3AzFfsIRVGJmqT_ARwbZ!d4K%a(=ulQj=HB<9=K{(lvJ#<;xnLtj$+ z{TL-xe}3yAM&IZEn2lDwd;Dw7$+?l-=jO$7`^Ddmx)HHI_<3ag#uZ5dygH9+n5BQS z{WmjnYs_DhaW!a$gmt}Nctw@SxfA*Qo0E)pU!GIy)vqp}<}Pez{Lw3Vt95ZA_s=`a z;?K;`2-|fpKqI)|W6a{8Jf}ZATa#Mxl~spXbk2p?^^GFxB8M%4swP~yQPei!gjLM1 zmeL)!tkz{KJ^356Ix%JsH#ZdH9O&o{9zeS4q2 z-fljB-RZjNuebQUN*e)RGH>+HCR=C>BKgoFi#_?}oA zvtI93f!o#V!I9rnZ_S?dI;yd-{r?ZvAN}Ib?f+T+iJw+{_ek%)jOnx1cmLlaTzL7a zavoRu4}bA~CC~p)-|oM}I&tbB%h!*hN~c`y>$_C?GDCW4(4Kc1u6gnGs_hy}PoC>3 zO}4wcP+{ua-6?XDJ{{G4VLba^X>&+fI#qF7chL>M#ok;M zPri52^$*i75Ao}+zx-b%J@}H<9$6UodeOD;w-xKxh_5XZ|F|pW*w@EbFRp%e)NRsRL7REndpeHw zoIQP!dwS++|NHlr8m@fY+F5v}-$GJZ`RdWP>(5X3j%A!*?_ZnMy~*lw#opMROCo|! z#H9sIUHjp{-UZhp=1px3;WM5xYsU8SylC#I<&whZ@31{v(9=-luy+dgr)f>$%&koS zmaOqqZn~HHtnC>8(m6jJwoLgMski#tDx=c-7Mpq_0;E(oSw^q(au1reI{e@z^#He( z7lq%Z=q+(Dc1g|P^HHduIVD-~WWcZN6e#Zp3h z7H<2`<0i65d)LzQQj?#pE<3zzdgY1y1s}8})~2o7TA=%hYxy|?X|v2{OFryOjhG?( zAzFFIJ)?c8u@>ttCV!n;s@|sI^Jdm(zBKXbV_MI$MdZo~6K>UaM78=jcdq0U*|3_2 zXC-gp1oocy&XNmn?0(U(Cph5ERhG^5X?(1<=kdfzO#!m(+e$}Bd6zKdIha;L2{Xgd-THM_bo zC%!&>@-yArP5m~Eh8ddGYmaQ)$SxWcaQ

oUk@7neS?*fBgJ+ZqCy6c-V7)&mpEq z+x~LI^exoq-1PEBBi9lg=RqDZsz@F%O96^U32LzeIx&b@k0DwhHr{*mxmfYZd59p`sn8Ltj9N| zUfJ{hu#4Gs_KRM^bCL>gJiE>**vGPTu1aT+-?aN5R-V4Ne50e4QkpU-Q0B9X|b%KNcZZCn~j(>4}3{wv5?>RI%JOP zi3~<|#x!HA3kTj5E{ac?aJlx%={>G;(>KO%=i*kJqxo6hUQ{h0d(QDX<~7>)BE5L! z-_5?XEKfhfmR0&c&+P|yWy;(vR{X2~lkZel(Zn1mY&u6}_q^5HSEMjTFful6XG~+1 zV5~p=>aBj=&zE)OMzLr6uAiQ|hv#d>r@nQ6{v4j1Kkv@(SN9gXvqxQQ{rTj@lEO=m z^x~Lyr}`G3{t&-h+gF}sMo+Krby_y3b%7HQ?yOUDe-}cRmgL9lY~&r0?84bJzTMx>CCSZOPAfcbCj9S66>qxP6vx z{QW5>ZDs_DSN$lLoiFt6r+)c+dmDv^eEi=z#kX)wFMig0vhL=O=XE!)xNQpYe0C>b z)6b%dW$*pfKa15D+rGcIX6cqk-`;-w^Cd-L?H|V1u1jnGJlVEXLyTvrp4v zw;t!`>EPX__U&UppLgY!_BQNLo*t#tJ^mxU3|yXD<~F5ftH;fjR| zQ;HSWKl{G^Bl}y&-)n07w*H$HW-YZf-y`+y?58ig!v4((`!QaF6f4;2wF!}qZ#YUeG|3BTokauI3 zsQt0}zU%*)>*DHpEi2ji`nsi4W|ph&n<8#wQBn2Xed3J!i|?v$)Dzn6a%`=Zy~PIh zubGGcF$cci^8G}%%$ECG`ER?w{r-0HxAt$D)gI3bGu7Q!b9Vk;RaoiBLzx;kx?O9v@D;a)%bYYXuo_X>S z6FmYxRMy{``=I_$Mg6Xr^7Zj&mny97^3qEFqhOfj?kIiyUwy*=1rNc!ulDFH#_iEr zOh-;@Sr}Rv8k?AF8yKk@7^rJ<>HFrVxFnXODrmS^85tOv8dw@al}z_EW4^{{I(cD_ z=5$YUW^wTtr(hwjrTX$d1_xJ9_@Kt;{r&oTV>$Kd<>t&bjN7JfF=y6e+%o;KIkN#% z?#Ah&7R(0q-49uG=M=6v*nMfO|NN+u55G0lz7$w_et-P4V4BU+%aPjA^IiKN@a&U` zd0+SYhW(rGiKiLX6q?Kuewk`D_a*nwt&jcg2sWHvpvAd%SLVgLKMm$B*|0hH;@%f8 zv*+~41%MZm>XL7Aiz4m)PO{%x z`rKrZbCr9tl>1@VuHzYEw#UCT+Wo1k>QFaX*k5AR`7+qXds+FHe5=L9R{n7rUgBTw zf6Te{?E}B?os(1CCd}P#SAXw>!u99X>FUStDYUg`^9XrKu*^$kY7~}=HsAd-dJB#OIeX%a1mdzI(>8NOt1U`5YW|UGLKV zZ`~alaV2lQTngWQ-Q9oe8jmIasB~KXMYDWk@q6Q1&6oXWZaMv5|NMFLy#ue$Uw?f* zc8Buq0LG5g|BnmwU+;J4-*c?Jpv1oW&%+X%xh6;c@7;WgBQs!wk4d-s;~#ck>+_Av zoi9eD26yKAY_0ye^tR>4Ws{25u5?P*YVp!g-RNj2*tBV-(_g;ejf+PC_D%p3zuMuKu||@Nens{2%I0k!=lpr3=)`t*&cD4g zmVLbYR^sm6{lBkdo>Di_Sn}j?@)njU%rpBJ|8%~Vw<&GPzwB41jrY#iOWVQb_^RrX zP2I71KH*mNo(eOTnp>H?>wTWt6w-cdw~O=@rf^>VPQi|^$w?-2?jK#@xPPHpjr+_u zml^jeToZZqv^GxgUuUFd&bk?SUW@dHQmdMw;w4THy3#*c3q=l*>WQ@^*Mq0WrSDAeJM2t(o#U4==dE=koc*VX4f zzPzUW8?&%ULQtvlR0GSFdT$@4^4mrmHeKA;7L?atw7YyEadnoh?%P)wU~DcU*RHdB?VY>2oVCtf;A}e5hz@5q^!!BH8g|-ciN2 z>xz39ujW}-A2&z7=FKr<5SqE63$IR9Mw>vQQoe+t(}aBXY+QcQsAt-Q&#`+W|GfG4E3zbH+vL{Ob5|8UkNh)9=$us9 zsjKG}>@n7H`}-+u{ZXR@d&Fug7yWi=n`rmOzuo$;$*iThk523VED*C*Uwoo=&qlM4 zf7iP3+}dHkV&Y8Y)lxIJ$4ai4*s84kUZ`r8janwFZ{&~qWnI6gc5^RTGq3;gU!E8h zFM-mjD{i@5@7U$*)0=TiMI`iys*LJGbA@(>q*cdnn{C|r^V5bBv8So0>}7nzGj_~; zE>`EHXCY~?XU=@|t@lnTH~;fCXS&qW&Ruo&dUk!1&$CO5dOr7Pt(hB~B6|JRv86u7 zYCrrwABsGeyKF<5oOb=XxtmiGd6(u2uHC#X?}*ZE?TMmO_WX&+Pn|aZ$-n1^>_1;h zdm7CcYb#>QWOT;NoPha15-Dt;}@b!}KdylM%6Ke^)|qGF8f)k*XJ}j_V;Xl3-8Z+bn@K=RlbL-SH82qBC}&E zxXzr;Y|k9$>gZzN>}+6WU}Ws#=xk_V=4@04FRUrqnTm@L-J2*7XG8xt0c`XxnGSe<=)b8cXoIu*R`02uwO|TdT08Gw z+a#?O^7i7b`WD~}P7ONC<^Dip zPJ`goPrs(y@GUlAOxBv3s6D5pP_Fm=^Ec7H6MqE0G%gT3cd&8?gLr1A=ky0gF^!os z8l_@dvkPSNR)jo%b7!_z@OquQL6ti)GQ(2q_EtqdJD~BhzN+^^w!g{Kgrv@#jq=L+ka;v{ z$-z(Y7ZXaa2EYIMyVcYG%iYUAj!e${ZlYiDN#ACz^SnokmVaKnJp0yV*=nuH^Im!T z&+lE4tR}no`3%$a&Bp|G85s!so?F&wSZpiBx8bvg+ckz+D^ohAzjkC+;50ShQdM>J HcjE#8&~Z4?