From 172a804cf981dd2f3692c6571e96ae9aba796f40 Mon Sep 17 00:00:00 2001 From: arushs Date: Sun, 17 Aug 2014 12:16:57 -0700 Subject: [PATCH] Added paper on computational complexity. Important as it shows with formal proofs how to classify sequences into different levels of difficulty based on computability --- ...Computational-Complexity-of-Algorithms.pdf | Bin 0 -> 2067115 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 comp_sci_fundamentals_and_history/On-the-Computational-Complexity-of-Algorithms.pdf diff --git a/comp_sci_fundamentals_and_history/On-the-Computational-Complexity-of-Algorithms.pdf b/comp_sci_fundamentals_and_history/On-the-Computational-Complexity-of-Algorithms.pdf new file mode 100644 index 0000000000000000000000000000000000000000..4a660acecc073bf6d39883e3cb0cd9264eb96fa0 GIT binary patch literal 2067115 zcmbTeWmH|s7A=egx8Re&~H=2h3P_rX(u7o~XzlNeg}t@h_O%dpnR z{j)3)S1Ec|!FSYXWy#&3W6{GWlSG)X7~GYmy?>Hy%&rZYZO2Ua$cMMi(obn=px}^vW)j zHzj1l2K>j9ScZ~B?eADw|0yfuUp-+Vo(0gUXhELG{tlDvpJK8w|HTuXR{9+hWE;E^ zj%UryY`ooceegk|?*U6&XUk9Wh|dpX8aiQM6l10D{0Qm5Z<qkm) zwDmhy&VS1KH&68K)MG_+pgAqKe}~EVOUM6{$N%jc`?obYMR=$dkX>bh%?=1-L5>LD zxE~S3J1xO<%t@*LbgbrbKVSS?*1v6d|2NjZxiWUAp5bx{Ex~m0ThPBL z{r?8~w^bRuyQL^m1aXFX6@>|tKehHW!#G&z&Grqe=>2dCdLDo5^n|Bp%BxtwH!Jg7 z+JC3{FNz`_9_d=f4Yt1p{db~I(cd;%%4L7DCJ%QH{@x)VJG~u%zLSYWE;1z^_Pv$r zkum9sRc6zMRl;!cx3vFG^&rI;xRr+F*iLo71^wr;|LX=eQLXSw32Eu>GO^;gh7za- zMYkItHQi>rIueJSUr0Y63r_Bnp?l4PnwvBCTiSmod{885UVUB5ROFw(1^wsB|LYc} zk0&Je4r~H1XYiJ47lFEIK--7--<;%zi@QGlqu}tkcB8w=y ztf!%=%NN$ENP{%V@|M0%RxQZG6Tq~V#k_MZiT^F_zf*p_WU>QYSrUWV!*4| zdK#%gu%plUThMalcnyrb)m6Vz31>D zryspO4mY2m{Fe6LDc@>3>+qh8yMTZ9cc9GwPWf$8v*{=)a>Ib`RI`t(5+pi@=42l) z=`7Zh9+oLDohxy@AZq%aP0gf&cYe$I@05>G*@YcR5{Z-H@mtV;r~D@5^aXzr#(NDt z3;p>s6}v*Dj=N52*mcW@kiT%H{+9LM z3EvWD4npca1D6@@x1j%A_c7`_2R&eRRh3B3~5gxFe#Rmt-%N| z>_+ssSFo)7WAJh|F6qZJ1;^v*t4tBBpbJmf3j?w zT78rLV{$J}FptoFaaKzM`>E})71mfbP=@Natp85<2H!p?;pIkz8z=q_l;xib|F6rk z43fl7K+Qjn3p16`nw&D|lBN?TEu0LZ6KaR9yJFm{FH2E7C{~$Nj&~OMTiSo8{Qc2W zrt6F*k3{R=g8p;m|8-e()HK+TR|L?D*Tm*oX?baTX#}^lcVr@< z|18A1M*G5fw>I625P{%y(BdpgW|qF-N_?xw8_IA$vzviNfP?$+#2%7~y2#odHYEht}^Mv+zQh8uejxZT&Atxtv9 zS|8@xelP@&rk_!9m=I9F_WDwhr)^dQ#z29O({ ze5yB``#Q|mw&QfqKEyfY5p+99p)X{68Jvze2M=LA!N$kbKP`zp53uul_?gON+hQ^w zRo~wW+0UN7H5sPESG}f4m3^Camve5-7YGPBARHG;`HmSAv{NHjB^A*6C~NUmZwM4( z;hA^)Bu_zTjF39^Fi-U9uyPW5HBmHc>b;)?xdLz(2TJ_`L zQ`qz*!z2Ge=Q^#AB9K^gi*m*H7(TG?o@omDx4Hm(Q{^|H!f_egBdSM;A#-kDRYeNa z%uJy*!#@@Z(6hf668A&zo?{Up=4j{BBRm67MaMJV^@z4-(CiUD!_}EKWJrm;Dg@bb zLmeilwaX3kyV6-g2Iu4Onx+Pe?v~YZzG6cwr{mmliFdNP)dog2e8`CjCU764Lc^BmY)q7(FE(B&XQFc|~ai2UR zvx_B4WbZrHHFkiO=W{LChn|F(^*p*B#t4Ie8mt#(Q0Crc3I`{D(D)Pp(-mhTh>gE|j<5xi#<_Jzvx{e)$MmYSZF=;K1B8J>yP_^VtDM zR_&_}v7~LTTgDNt3N=jEkKc;;|9zvC12F$j&`hkHY=2R(YYF*xN{3W6sJpf+YgB*Q zZ1#@92SSrc2j5_YV0`yi`w2H?zhG8)P1|+lA@@Q?E)l+DfgoEpTQO=R%KEQXLMBhV z%`OgQ>gr7ZSX`*?^AdF;S+|19tfM zm~7qJFpr9mg?`m$>5&s}idSmjD#GepDdXW4PsK*fLEs1jFN+;OvZYolABU~@{JjMb zfrLfBY0;B)K?mcs1sN;1np(x`d3kH#5Ki+7uSft2B<9VmB7rfwXS~PP{LF)Wz=1%tnFn45H$o!EPMAPfj}M z)82Lx1I*q4onqrughcvh{oN^^latA61rQHBIMABr^}P8ovN&ZUT?dz|5o)F?L>a&C z<3YiS61KQdIlf8V0zNsSltkh+IRh;?6ONVjojBa*B$GM4L#`hHeu7t8SRj-rO9c~J z8n26IogR-(k@|Pjah6GYd45zV`AJnsD>(N1(5|)G$E|srmvmSFi08Zk^v};Dg3Ud-te(A9#Hm+lplH#1C#ka-mYLnSPcv{!qIMNr2M!nhCtb2( z7b9L8Wi z;60ZWsf;{6_Y*yPs_MZH2J6_p8r=8B9qD!39=dv6&BOZW`(us>d>E~^A1vYpttsRJ z0jM9oQ_Da=wKX{B66?v!s(@}}ol4j~cIUv^5qA~v)Ok+0uO#Jh@uc4!A#XX!Cc?h! zNLVoyMXymaFI{4AlC>}N@1b(U+f`aF|bid@D!|H{n>a+QWHsNuU`EyppteG ztuEz)%vzIpM^pL6h`d|+KdMviRy2eEgpjFpECUGY=V&wc#R;M z;fgIe)rQ~Tc;-DC(!qj>1sfgvcJI7+Y!Tqq>$~}K>aTB@1g9UgR8-Fs74kh@O)-QO z)0Pm@7J1LZN9&R56GD@SwWris!I!~|Swe1ocB>$y@c0iogN&JD$F^Sn?S=6Rhv3Vf z5braNT(E&_9-$+vRZj4&up@Iw_77Bp)dgEx+1}Ka9-Kid?V4O%;{3Dx3J4%Y*V9NT z$fAz8c6b7~ui97q(sj5=jSL^BU;PJ~(tZYsd|i%cmq=dO4X~zrsoQs4Ekr%F8^dOz z%olbLzMq+~fWZx+{azD3xGNM>U{{@vO}G}9R42y(BD=zorku5>V#pv`*2379G?2-z zDD~}~eiLh8;1h1udB^p5L$Tou*b0vg&^&p|a9B)qG|0y=#UaeJTXxcANS1nm=`(vo z*8o2^GpDCGWTEHSXF1cvp_R zS9eNYP=omCZ>h$K8}Gm6U~3feVorHLawOx%U3B?cAAf*~)_MF|eLTDqzNPRqoGXz} z?q?(YC_v#I6AxP)`)CL~AAGHbbM?*;({D<1CVh-NGC*ZCOMDzw(r_Hgvews+m83d2 z?ou;AEcalE0Quf0&{G&tp6j$FO;@#(SVHVsJhw-)!e$ z$Q?GY^Phv8GQxSvl(D~eZ0WaOTB89fA`A>$nc?YQC1+G0Lw%2Q(V@n-{Bqft0cyI( z1)jj60y7dPa}&^IA2_FX@;E@AP-Y(J36jx1BZirL}?2mf`dzxd423Vy3}>B{SJ zdWF7gx%I*ra)d&mGu_ROgb{bbzT%@#2l1=t4=DfBSayAP8-)O6gq5SIp?iFi#QWQl zwh6GJHIurYEvnu3M7gI%qm!GHNRwySFiPLjk0JLk1vjEuO-ih#&8$MaBm;e*)M0tW zHk1_ZNOlTp5r1n}0Mh2)&Alvp;XpO{O zSgu03j!T9x&K?ps5xa}3kZ)I?J`=Awpoe@DAge6XxI96acp|2k9`o;$VZhi@Qp~c3 zv#oo_tD#xuu*zMXDfuIAKGv22EjG3MJ2EuYYsiHa$-)3FcEtdfQy5cFkKRf-Ue zE`znddZZduh+z^!L`44A{^FRSB&De>rG{x(r!PX#Mv=nWU)2Nb!OX!mcFT_k*51sv8n3QKG0&DQEiC=Ez?H ztAZ^PT4himT{xU2PP3??5-3P1cWIe(QD~(zA$dX+c0oGZxeTJ3XA@4)h5Ql7rAqIG z3OpT|(;()U3r7V zgkA;pxLi^=UiG2nZd@zWD01;XhVhFTn`=gftkph4lwCU&HrytZ3`97K!BseD`o!sj zo_h21N`8etF+FBT(29th&YJa?G+LZUS&)0;<@}C7F`sdpc)&RM+ZUiLe@nFdpZWk{ zAyqMXEov2WYoMbX&{fIS+Q3FZSyly>UIgf9^!C2rz{cs<+kZ!ZHtVmniqc}>nVA7B3>l;1OMCph0Vgw31E6V|8-<#Vbp#54!pVl zM;sU#8UNRM>w80a8)ba6?LRH1x3&7iTt?=%dCZ)gZ=-MC{MpC)*2nth3?no9pM7r` zL~Ty?U-RCU>c8{YnEvDIo2_sCZxQ&_|DP~0a{g%v6T=(sAKv^5`>&bI>?{CnHU<{m zH{rZ}F;#5EB}HTn>;UwCs^M>H`KvDeaXOKMf&DK}h^8Nlp(N($usUnCwaH`jaNJF1 zCw=hxCT7@H>(UdkyuZdtwO#mPZ^Ql><`6rnpfDwyD+pDzBB`-W@-hS4>BSwudnjbY4$-Ef9Did z1}28;6!j_TBB*ROp%#)Jnos`I7BAdm@hGP=B=X{M(W7=ZjNql1@`boHdnu}LtKquW z`+Z5dO*TEnI)A26zmzRkZ`H!hr{jp`h@H^2qhqrzo#7=~ntEE1ojR`0k@@BW->GnchJnF&6n=OT;}F`eOpgbq6Ah}#A_&cQ2u;d#xA?Ni zgj;p^RLqQC;;Cq9BlQW|7ICjEKnhtq#0lqqU;C{O5zjdaI_9Nj{JSVd^%VhuXKs&t;_L|`#UIcRrMAt(mZD=2O zB+QgApIt%dj*EY8dXIEUT-$yRBs56E0YE_Id-&$2pqOeIrN@>Ltmks0+h>zs8RfyU1Q$LLW{hx9}1p^1`{}vZ2*}6IcSpUed3fo#aTiZCkZT-w|HymjI zE#n`z3w3kjx5C8#bPAa}IVu1hgl(!56BVDwhICjxXaHv)<~7`XqriTqi;_D>xWjMxrCtAF)K%nJ@{uDJjW>J)QNH)42>0$2W8_F6-bMrm9b>rJ{7Fz zZ9?Us%q4|c$5L8|uVmS=NC9}XN!^`kYG2)I;23chGY|7vFa;rS`4iXMF~0DtcW!bt zU!-sY?k*<>>#6P`w4jybd7vKPA&%7C;dx9lGDG{dJDe#PZ}ATK4GmG}NJxm~w&yvl z(a8hOgA&}?Wem7k819_4&KHO%`{@HSUBcOAE%k|jOgA$)IA)Vri454R$dlNIM^rd) zui)SKFCfEvN13{wW6W8(WMg4pJLQm`?$U-j5Lbz&u&^9OxTs51<0ZNeY*Iy{u18We zl$3^mpHjbv@5*oU@c!)K6lha4flMiyh7R04>pIQvpSNV?-8OJ2#0%&j<6XZcrz|(+ zhFr+no@gq}CJ@gJ5v$WS+8`IneOiZTn3;vqZ=#N5$jQ zg%1)lLy2H_u)tV641<2ukfjxmbpK}@ih))jYobd!B6WCPRJoNp&mDCU8G{ffoH+}k zF6hQX?3kxG?#1Rrh0>XYLW@26?8AAT3HzvLiUx5gK}QufHr58d5f+@GK9}|B`fj(9 z#kb8_q>pqzBcB&4p7qD%Fq+?^8at4BLmv+q&sl(^k?Ni?^C4${P^(KeBlcfY z)&ehL==8cJ9)d;UooWNVi0HOs%Q3V}MQ!;rO|30as8O*dh+g~QSnk=DvY6S$94||? z1Q?U(shb5d^>rz&T)KH?YpHl_9ILn=(7__XDS+%hk3Uge#z6~#BZSQE(&C3rpp5Nh z@n~otNabDSeHQp^duo%fmWT-9Dr#deKv%H(rFymawN;s*5p876JDfkb8%#qhVYF^j zW|G{jYpRO*lkoCQ^GT~gpbIKy1m0udG|3*qNTdJE|^Fyn<<&O%FX*D$J%c_7hiGysA zob=hNgPIqVp%DE{<&pVzF8zV8Su|W5?rN{@C3CbyJ_?>M$m^e6x`>9D0xEuf;||u; zm~4jj-Sn`&rDgjJ%O$YW`qlpOghgK1CklRcT4E)jfBm*Kx79QARuKWR2Q91~5jJ`< zUy`?DyBQZ$Wj6=TxQq^Y#RE)_QjMfMbk+P~DwZs$$N2Xkn0pfvX7QP_sY9zM#sgjFc5OXU=HV2w>+K6OkK<)U4Ijp!S3k z*MBi4roIDiR`WW`tgV{C$Q?@uf3a`GB@llwwz>9drQNtM>?*NU>c%*&Nia_6!6d^; z1okd)E%3y-+nv4RyTZ%Cd8hwv{7bB8jcOTml2`qS&}5 zPndi2zRqQ#AQY>3V8}Iq=HrFG`(A<$mP5rPWI23YdFQQX%j#qQV`3a+;VU2tBeGyM zR4o|%{DC-%`^FqoyaMad)~{#7q$qdB;-`5TCPC8 zQ-!C>DS9YEB*XSXfNMwrA10nYZwfr&d=V2GDSg%HP)0Far6xzv4Fx)I`x%@V=MXk} zSp$llgADv~zZk1dmb63k#uYM(+=`nJSIhB;BCRkPA`aVq1 z*z(a@|B7dO(zdF|?P-x7`^OHC+hYFoo$^z&jZS+n4P!gy8kVsZspaQuLS1jfvHRxy zP~B_JY)bl`&rafK#yEn!qW4#p#Zq4;@wTrad>O4tUos=0as}#w>I<*>nn(Ge1yH-& z9edsLjvOZONJ>BV>pvSuHwH(%gGYyzeqS=&y%vEUAZaS03B6J$iexC%mt>7qaY>aa zp3(yGGcmOZV6UfvY{+}&JXTUOLOW8mc=(Rg!O^#M%EVh74MX>!r21jpp4-s~GF0B0 zN>FLC=D8kXIW!2>vo$@X&Spn`uLG0di;5=qVQBcy%}inuBF5b{VKk}Z<8+@U`Y0lMG20K8LrH{?eB#bsM{)_-WeW~T-#<;_aULQ`)1v4 zn%682z8_fYW}QN}$}OkcrV|^+3%+bv=-i)WEJs>KiqnH~g@LK@4sM%cJ!V`)MBvI= z#@t_J?fSw-6zpfwQ_7jx)`gmq_oWOe*Hox%Q`YDco5iU8>{r}@H7-b;>T@>LfTQpbf<+}u|+nHmwdS&_hIvC z^3}Bn(y>LrqAj)qJorm|v3XPIr_b+UCZFFgIB?xi`~|oeT`rbyc7d+Jv~#n*~hzZL2iYAuOF{3c{pse3Do)(v$N{lN0{?YHn_k{{}!ac#p=h2^QH(rY3v z_9Z~_3U*a_b^Bc74*bxp=A3K3(AnSGsNdAm7St?9GhB2f@>< zot$3Li!DXsEa3@JR++O+WkX3s2JOXXOX=e-h9XLX?nvB=b)R;dd=Po&^PJVv7V5P) zxv2iFa=#bSXCpigTG+RYSj$)TTdfT`%x}4&`_oKDShS1$s;dcuF?>}R2bj``>FQy!3sRGf$e3sPq~ygyau#GA)tgbGEU8;;DC0FyLT9T&i|~ytJ5-G=!WDga__q17uZ7vEc?_B zkIb1WjEu-T{IsfAZ=*C~l8Ai_ZCH6W%qVhP;=Zod!r4#xYX; z)OT6)Jqo{^k{CO<LXkeP0qv`hMnuQL;^xQ^feg8>3rz zAorNAu=1s0{qD+hGB0nJH%fNauxC2(peG8tC72P-jmp4#%#OC#%!NWMWkCZs<>ml7 zgCi~sLhsv{5KCdlenF|HJu%9&uV(GaltBQz4W~RAaFnNPl0+=mcpO_216ka3J0Ipr z;Ve?Z|I`JME)`{nbDb!>6=w!Zbb)7M+3<#E_Y@pv#F^R_ywNk~ouY*nJC)kKjJ5bE zIkBS}kwbgnlyM`o!fDnNnei9cCR3KR~gwzFRY0axdB_7!rS?TPUEOF)Aj*EpyJ*5#YPu*iWo8f7xpXetuPay&nfbc#C9k_Or(YA@_2X%3uUkT zkZkWp2{P_`^Vl+xN@e}Wn37Mh%?(1VMO5?{yTQGzF42AMxdEW1iega$Jod_154<lb)d>Xx0zS?@;h5i z+phPS;Ss&-+=lO)HP6atb)7dUgltG>QoLjUV#nX)b9Lg(!H__J2eouCAHEnk(zEGs zHgyw@#}w4yp?nX8!Wf;qHf}L_PKFmzvezVAqP!~403kGd^mpF@po8u(`C~_*jXruA zEnAix^o+Z-=(~IgnJUiNilkSx4!8HjCSOCGLQnAJoJ5h3E~M9kS1(e-@W)_t6OQ*m z@8x2A)MxoXGu3d!)`A5 zQiK@F&|93vv3s%XoGrk?x22ga))-(PZF*eNwL~G7J(%r5)A!zX1`z}`O4NaMa6v!j zdI5Y^FvLqL)-5$Ikp*jalvUpkZE3n6`bmuB(=v8Il(6L-xET|6jKkf!a`e86Mv0j3 z-0<-_{jOjVLOydtXaFm+K<6Zq22|;sJx#vFcf$bv*j{i4bOls>etN>g*bIb4uegM6 zGHl}?BEw@Z-x8(w&8_o4My?78m)FYWAE!n(!?y3H!WD16VnTIJOe26U|1hD-gy_17 zEsIs^ORj2Cup&Gp$Q@TPMXrk-;-&uiA^$`5HWtBBK+U-RX=MrgcxyG1bng12ZZ%&} z6NF-p5Uvrp>Hw1=o@u2#1YNe8EL+?IQ#e zSHG!7ROH_A4ObJSCwsGFb2ZwQHd5U|0WOtj?~D@(Uni60RX>n=zzi8Lu>6rYUHOJo z9kr^BPPxq6+|jdYNSYxWAWi-)-<~1#qo+Uv%8f6$6vT^g{H5}JJ{nOd_c=V}_G^Wo zCFl&JP+$6k5_K3ZRvJF|R_Olr%!0is0(y-yH=3aYL!Zx61W}fttPxXXN%ujuVjz^? zE8{f>$Ii>=?huuQF%90)V?8PD+j)nt?ugWbLpaX36<=Ak`nD%%ao);hFlbn<(zs?#6VG~OVOJWT#bas);iOkMQ zb~bB2`>qp<@U!ke*e0ZBNZEKhM9OJxjS%5B+VN<{J_10G4KTsx`VP~~9PoceWbEY8 z7v|k!7V&wU3)$Y(aMB(u0H~qi%W27c3Umi2X}jD+JwsYxB*i-#U_6>Dx4k7T64yRi z7ZT_PgXjTDZ)#cvRSQbHmOrTrKQ%J@0%5Hzz89&h1tl&0yBW-*dw5D$z0ntcN>TpE$);F4r$7- zDc!z42MLeaw1=YJuWW}0O10##?OOs5Gj1dRl1ICcLrw%jC;qymg_w7T`|1E; zby<7L9L|}{S1iqu@y_#=39sGe5Lc@oTW1RKuVJ*iW~AWva>s(_VAYo5&TyGWtdOA>nEla%hLgw zyi$$z)+RYsEO+ejWI*l>m$ICTIQYW4d$lYR&61 z!YghzAw0zhLUW2~(&I|?)6SK;k4hTZoO>Yhm9tSQ-^B9|Sw*EztLzu=;(x$0g?B4| zO>X^uotIoIDi;TDitjs;HbZMS#8R|R{S9r5t;w0r=X>j<0l`YA(;25J(V}0O#Jz8v zL3UJ&`0KzIDfdm#_b5WWExW5!Fa<(!B^sFENGY=dZX5fn70eY6M7LIBl*ToBT5JGb zIPQ-`r8o}wUVV%Py#+fyR*r&x6s1hpxTf}&AI~IKci$27QuGIcQpbPl(@4|l-vIAZ z+QJG*shu5Z$-AEOc;Vo7r-Ww;z&mM8#5Hfymbe@4i1Pl-Fqo!G5z*iJB%W~>Hy3I( z^=!tLew+kLCnFvcYm$z&BMN&vbVR`&!PMbr zFc@+89rn)cviVa9qUM$%L>`v}$)3qww=tTPG4?QttMOI3iz+vBE9yy4*~U0PoFEgx zz(3%R2)UYfgqFFO?=Qq|a#y#0KlpW%#C_}Zb7)k>X(ThDI>gU+uqtI-j~}r-`d#RK zK2*3&E4{*Mp!>8X+%HbUECSM=Krd_|28E;|Hn!HO+8bZe7b(ySYEo)Pvar3YDy`r& zoSiUY$j662;Ns(9E!Fi#3l@fudcMwKkkp-X+SZCKzkip0x1?L02ie(_>!CPa zoNrypSeca{&4K%w=!$!~z(-|b?FrvamYBgm(0WhE_d{kJ6ZVw(iPm*)YPCziYar^D0#FL8dqE=!ZWIRB{-**Mb4~mHN_bLV0R#j+4?egA?x3MWDM1f1 zjc{wktxQWvl8GYXyp3%N3&pPV!G6>Gs!80Mnw8;>jNf`nAv1ieW!zGjTa%PREFN{Ox~ z-g2Gv^)%gj`5ZE)QL7TYr*ef&&=Jlj(@)Sp-lBuNuOaD+Ro@ zA<2tR$+V}eT`CQw=_d>>9{(wNIgg>Ayoz>3=WNj0_xK?-$?c>BhvMbLSFqHbc`>?l z{=M5ie0~0;5>FvWrmc!M?gAg5x{w9CovQ5-iVeY|No#^|{G5lLupM(Ko#m3REb8j&Jxtj5R)!PI^i1b zH}+wZ+|v&yX&i-*_B7gNL-&FY7z|jsQvhx4FeSrq(utOXSRQc!xx8Px;`vdEOiWeM z;koZ7usQziy85xYPUd@wW$^T|sciTqzHbdLI-|ZrKkg&`!NatSMsPF6oY*4#2INgb zzL2L7dt8Wg2swG7>_u9(bcBU1{mWu3&iBz1eUB0Q0oiO>o{pLtHL1Zni26zoWV5Qu zg1UE|^?7F6_?DcdA-F%b$v)rcvQP@_qgj=B;&YY5Jj&O}rf*mbg(ciOys~3^0K_O> zD(IX(9~1~Ev2U+He)lvAl4gMvgL~YQZ;m^!1VOzfnISy;6xrjUF5^d~OnnmmL|Ct7 z=6TrplP9~}yO4DdBB6MJ^)3>-As!lapaZT7T~B{{0%__!2joHs`r4Yl>6SZob- zw#+^-dIB4)Yqc9ucstGIP}pwC-?}ad(CBcR$)AhNle#&PcC2j6Lt3R=MSF@Mx(3)K zowcYGY_u5?bg(-|D$_W-MqP5PXsd0w&)(?;DHIHE`-u({clA-Xupj5bO)9RAQIAw+ zz+Rp&TTIj&4R4|CP8JP*a%khT=qX32vcH5|dHa_(d&nvMGp!7JWbWTQ(ybmL(KYU} zAsq+F$I_%GsY>x#?iR~EOHyIOj3QY(Fm*;~MX%BOgJKw3wrf!*2J@7{IlhsbVZ!+_ zl|1iRG+X$eH%D7Vz52kA%jYdKD|p6;hGW@ zfN?!#zOOZ_w|`bapcJ%l>GM8HWYCPIIgHEKfthD{IaOmKOus{6PztDY$UoiGf&ZX7 zXXYIE%;5~9^XP@qb(DnBQcN<+K1QGnZF(j;%B7UDFj{GF{t9iZF)a_Bh$LHVRf9>_A#0V`1O2i(K)IoS(@NddrnmI+3P0iL_MBK)#-0l5ZdW3ZR1tX?G(es zvUGBVsR1MAG;dnGdmnLwd;oh);O?rzdN?}~9a&BKlc zZoX$Pi{hAGxc7l>D6hI`)Q?2(gX)P(Y63@p%9wIJvD*X?y45%CykuRwnz18h2Jwmn z3!YB)XTUR82wUrz64W9H;+I(=+k)bx-@qUr(RL>VQXCe2p}|Mf5Ug2b`9Mffi`B8b z9ob`BY;Y(l)Ig{*)xSsd_Tyv(TQK*A9~>XdU^ZDbXi*(^ON2A9?|Tx^Ft07Db>lc4 zc`nm@!bIi5EX9D#F?({2=4{UM-F%QSXxUH1AzhB{>SZ#gn|;L}sRe2ootO*&S|Nj-z+M`8h0u?ZPExNMq(o{FNJh~{YR;&oENAffrM!|=b60}d8i9Z8Ll6S1l=_07dZa$e^;Z1%qOc^~dqq;u$NX zG%6rrCrHX85m`+N0hvmfmtsu9+EJb_?J4^=M=|%Be*kORq@EyA{gIxCaj2-Z9AYk`8mk3< z7+Z3H``-K$76+PRBi)cj**ZXHnS1mEk@NL=I8tz>V?_c4v<|cui?&sPmL0jW>1Q58 zZBQW*_r!S^O=lGcWtr;~bMyoc^_kr5r%JH3wN_L0nH1srCY(=N19+n6Pg@+&6*eC( z<3&GFrah8`ZAk`mM_B{a(wxO7szf)KR}aqXkK8=!*OZ^-=~)AlJSPq*<8$uN2LOn2@1S0f3n-ODpB-NYa?ed$C!R7wEb5J9{ZL`_(X5Ik z!biApJ@7{jDk{UZ>-8o{5c+b|AU;0nLD+u7w`l-wTsD8kDt-vEf;i`zd7-hpKGv60 zOlB}eNWZ0IM+Kj2F#_?}HK2>`;}P{X(>Zx}kn7}Dnv1m;KMS= z)_If@j#j%b&!!4J2#Szc-Xf(cASU&eFje5puJ%vypw`_|{10A!Xvy>1xa1UcLPPgp zwyHvUSwE~Lco8%G1!=?Fj6iuCJ4w*+mn}>%b1pRnrKipxwh)`J++A9@u|8dtR8cOQGFRwblgqq?PxqOQb(%Qs1M=tY+#F{Og5OnqNEtJ>53DJ#!9+gcfu z%(hH91JtGfF?F#g5(itvQr*nS)Gd5s&Bnm}!p?)5wn4uN!Wt3`8IFyMcEd#@HTz zcA;cz0idh}C#2@!w0u@V&Dc*R>vmPPeHBdGHu_|67iwhDyJi$4R8ddsY-f4sHsYXv z_?(9v5Tvb_JG(J$hGcA@7zcgecES0fT%z8^rZTLQa?=xxq$H@QxRvThVYT52ubw)c&3Lwa?FdP^KQl} zEx`;{^3$mhMLm2p)klr8NN1Dl(2K^J*P?llB0+csKDY`}qH$>2k&e&~*vl3TAW&=|=6dV52MH&QB|}{~090$|*Rh3G?M4_JQ@6N z>wvY;hh#kg&BZ9zxP))u$$t>c`v6^fQXcJHW6HgLwt$xa6W+(vvK`T z&|(8B5z*}?G3P|HBDJnU;A2$sWrcYo6-1%ls~za2Tt;-~48>|*`1xlP%5^7K`bs{9 z+oc!HvXC&Y83q$eu&CI^IWI<7&sp!maHN)Z-dnIa@jGXipXF&p)ZU7YR>(EHZp@#G zBLwj7vyUQ{6K;dic6~xXedyY+^Bn=mX9-#`Pul-`dxW&b~V7h^>Te}mQg z0F_b7?p@AeWD)<5tBEG$O0C0@Az{{`6YOcv>4@AblwK`LaP)6zAnsGq_t1;d*aiz72;-wVtCk7MB&jiwH7@wdFoMjAm#cB-Rt+*+ z)K|lR$yf%I2IMe`{kCH3k1){PLXZZ?sRbC;e)Q6PaVaA6^R1MLFob#&8f6;)_39zA zyOYYGyz5(3wPL->Wz2wCgnh%C_crd`AF_8Kw+`{f?u7D;D{|j1Nz!^_+o+3vUv6hS z>W~P`S|?gF++hi;n{lFzYYM`(zHH}obxCOZ;%UxHVy~{z!YbeVvtw4;$=RT@A)#VL1 z=@ik>exez#%!l8gVo;)0izf6)GA@~ALF?%+^u@WedH|NcOhB>0Zmuf`f?{Y_tPVuL0|n*~(? zI-8*&jMYEFBYFthphL8HH6z58{$_Q$7%aE&Q3fs)DF}w;(qM6$71H-3(SWiU{cH4U z?eiV>0{8IO6OaDwG3cZqIA;v=_J&Jg`}2p+lEsl-E-P^<4ncL@i{{k1P_%vv{w3{X z78Q@k-xYM;lPYnHd5&~!yjT@C7<0XR`_ZC31lFMrx6%a^*+xvWGFGJw0#Wi?xOeZ6+z?`AD^N=N&d~blD_q@c3l>F6VFCEPv_LjH#;z2T!sRPce_5t zlX89r^Bn$D7MMW`SPQXOp6XwRnzE^_RUEEG&P6?~?|xRHrJfpYKU>22+&%&?XtEqa zmf-8P@QNvvE$e@p?#>PQvc_puE$o%e%v{f_BzPEEe=x=htEFiQ?3~hDGAH%GNRBX8-~Ky3Z_$ln1D^oGMa3@Kn!R((8(&+qcCsc#z9BC%QIl)Hu zO_sH3BIDzOt##5id%`SNdAwh9?Ll@lPcP4<8?W)Jr3foDNKdcG5dnL2t_9hY`zwOZ zFn%kk5TgAGESBFvyi5Tn?q*Mk3fkrQ(d32KZT95+D42;ReKiI$$&ZMbQ0OzIT_2e% zV4nTE$TU~!ars3}BK@%b_#M!j-~7>}(p&{JQyLFk8(A>%O?6QnoXU)}SD$G%*Iu4n zK>grKi70vkpZ4)I3aR+LPo^YIkVKAzJ>oqw(t7^X(YX#RNWWFG4oA91Kn6D4-9tS$ zU_N^)K7Cz66lb{}SHM569jqtJzz$>(D(e-CDO@f$PT}4h7k(xe17kpVpJA1K=Ie_X zXSq1Y%+qrHT@;KJ+<6Qz$bl_WshQSalNnj??FCuD3Uy5dESJg-cA~wcVt+X~+e<={ zO>+5`3c-5y4qA}TB@<{waqmCd9N-OonB}w;8PmFTSWMWJ<{~nz4o4ZbZ zkW`;C(*&h4*rkcERza0?c!yfKZwmgzFMY@SNIb|4e5sV-a=~A434BpTvKAqRp|nl6$nIDamVJh+f8q@f z@3nkKmBdtT?GseX(8*wZioB|J;VTGK^52>ptL@M+Vh)Jor}Ot?*k$8x5vQx8`14+L zFb0y#RJ!liopTodTxI(f93{jUe)x87u4ndp3`wipb2D3~p!r1avYX|R=Lw4`;ltP* z(YbQADMZ?9euEjq(GS4fpu^(XyOCAs9i&9T@;`a$4cU>D@h4z&)zdrjc;J)Inx*vR zVVJUrz7TswVP%TBW!RC&jkDH!D#XzKjP6OZ6}bU+aP;%oGwo;QzFww}W5P1v##etwmgflKU1X zk^&vcpJ{J1(7*vWPxR)MJWqHBCZLAzns><0G`Q;ZPnzizZoP%-A~fZyUBC+ejY`!< zzkbdk7{Sv5hL|dPPsk!0dVnERu|=`Jd4mfWY#NBm;Yzz`+?QHoR1l1R_wPY|+%}2} zxDyP`QhqoWqM=h*2zBPH4j8p%k+B9QQ?Q(lZNx&aEv&~9xD)Av%1@)^np`Vk`NfRZVLc9VL*>0QUvl4dOFAHZU zl&2NvjWfhn)*>0=m_d42ArNaoqn4c21vR=W{i%v#`%#o&G6KgTkn?;HIr{ zOx{`+Ac2a^XQ##v@OZPv3pVade7T9Y{}FdAWdFW(Uft|+N3W7-WaSlY`&CU&554gR zN_6W#+6d?VKBcMW9WF>YR;MeqoE=;|KUsVFUt`gSTFi0JwYfA}6Lw+C;Cqk@O9=V# zB4PBcvel361^Kt?CAHlU4vHFV^y)-giH2|t&(A~vHd9zp{7Jby<1E6R2U)&R?T z5ya|57sr*? z2;!$dwj0u*$^wx!7AyFMm$C-pO{X8muk$Uf4C0dKz>$nN3#5f<7R^re_bo*35k`~- z;%4J-mi_wMSXhZ%Rro?)P<}4imozU_xmL&}Nl~V`80t{5O^bk})mb1r;V0)4P$bQ7 zFSnHhpc#DCBOtDq`@*DSi#A>My$QoP<~V1l+A(hr8KnHG&cuSFJHR-81LUvUXUPRJ zXu)f=r7~wEn)uVemT>eOB=U_G`J%TZc{%2JTcVe${?)JBwMozaWwqLaqG++U2WlpA3d6QhRG!2T)wkwLKy z!E(4gvNc@6Id@dWe2_mxE0exD8Nk|jTP!)~S(^cm0kTbSDWlEu%@sYy^r z|7erYDIT;9`tUQJ6NqNcNnM8Je{1FY0*B^cR|#^&xkWLpN=7<-bmGQ@xC5<`3JzV2 zt#Z3F7AE1g6r?_ps%DyyDt zLl2yOG+u^&X=IngGYHh5j@!3f3`Tw!X~aKrQ1r5(Ut;D}w(lDTuZItOND*6JH1neB zzkR3F>UBknU8YY6-fH_m*)(snu*pS%s$0NaBm-}Qu`!O9mYnT2h@>jUfeL4C{acQ6 zq_r{v?e`VhI+H4FO%}+p#6GO&Ct@uB~bhU4h5v_*K}*Z2gnj6}h;8aEZ*e%k!}& zF#q|dnDQYYrKbb?ecRFVr#2W96&1J9oyf)HT{sqkI93s3p>!Vu@o+@RK{~T9e#7V7 z>5Lrut-5nx@kl2oo*a@T3}Ix@Jw0rhLsOphEE3kF#mPFgu-Is8D`Cp4aA?DiOuTZr zmgful&WqYmJk=L{_zW9q6so9TJ%Krg`JgW9YbC2G^a;%Mf-p zPICnpNU*;ln;$WPr1f(}ZDVgZmnWsgWtY&JkHWQYdp>Xn7#E=3H~*D_lP)x|GQKya z2Gc*IZP56~%Qsl%DX+-@I>7e?O`W@YpK*pZ-kjZme?Y{C(bq5dw;y7*oiV}rxlFfz z>A2DFNk#!X?8O*!pZK08JyHmUO?j-HS@rM9XVaK=*?o-PbS;$fnWg^|9;Cw!H~!_W zeD{NY@E<{rN2lKKtvX5s&oC;gRUfMx&SMVOD1NO5Q(L|9kmWh8*hL<$t|z6QJ2PmY zIXc(DSyXySs}|geH$E03EMdb*K9xNPgCIDNc4>#D;*Y7SrW^7?2i&WD#YU8;1=+=v z3tHB=7B|LKh#2H*&DUR-S_Z@LLyvv?D-II9l zhr@U5p^G0lwbKkfRm#B> znUUsf)-qU(fH-CgQ9QQo%-rXPksu>C!pn3&^ZY(hSo0_>r(znVz}#4$TX=9sqU(HmRcy%X6Nh?N;DrvYi)Mz zVY$$00Z=*`$e=EqK#^_iysdISdm~pwe2zf-lG(A}C z@>!b6MjbZ&nYJDNyI&qt^*6XpE?wQbaE9xQWOGq$EV%GS_@+4h0&PCQS1R`kf7BRs zuAPXsd23QQ=U#S$RRQG+U9KjIj`ts#q^E>eoG{6@(F(d%Im`3yhN;iuMWz!&Y_ovWm` zF`LM)>tZVJ)VJH#qGk$v{3gX0zX^!0=TWDh&E1!52dcB2>Dp7?(&yVy80&UP)79L9 zJkP3SYbPiEJzaB6PSSwij@HzRRO*%jWSrfR4~^l5B? zW^0HGAw4El(QQ{-`PT9Jk3}0uj?kipE*| zKzRrFr2RcX(1I(aTr)f^W(@1BTWggD55iu@&s^88G4T;gl}UmH!9o8k1Aqlh8RF|+ z9&6m&IOzC26L*fFV~JY;2c8Z2;h{!cucy0R@v|UBoZ4CRz_m*)xV|1|5W_qnc?u{| zXiu7t{;lG=zNby2_K8^=EaN6UR0**ZurFK^ZSb6ciX;75q5*J8{hXd*m{g^@b3=nz zxAKyUaza}-vdS9cy}VSGe%O3SE7k$pMMtork?)Qra(u8Ah1}Y#uzN3fEL_4_wUo)Z z=eomBGWh5~CNEmsTqpW>_dYfXQyT6lv>ykA*qxS`K z_kj|tABN)nir3m%h$?LA>Nfg|G=AG`5wydDn)cg(a>No%l>avR<`!<*IBV|AUcM(<3 znC^x6^)O=QGD=WDJrLnUCb(n=(zGh}3O+FH0-rf^)|om#+Cr#wrw( zs{1sW>BeVE8!HRl8SAFHCJyQ$le1MTTZ4Jy)KpCls)})&zjzN^N{hrR>n|lL2%#45 z$3nt#+~fG>7-t&VqpOY)b+O$k7Vy#$Q?sP<)#QZuCWEv*5wH0eD(J)8!LvFksKA2IBbpa37d3Zg3mi-<0X*u zKYdM(?)?ud7h`-d$M}|=i~p+*wt&TQR8sg(geXpxELYi3L1N<((kS%O{R1PeXxrw! zY1$57LkOBm*;O4wrf6ZjiSvf`LiF2h;3WtpZ4_t*s67DNyC;-So5m!hAp8N(4{1Xx z?_-P6_Xp54Z@_FN*HYnm9+^tZBX2yWn1^in1m)2Ew6p!(FwuIEJ&iK+Msd@2O{Zun z=YI$E$Lk0-$D}>XwU~y7wv~S^gN#u*Lhlde8AyM605x^L&?g9}2LJ!#&KH^m4V4`8 z3ew76x0z3Fa-BMZ>6?7zzpRfR>AUiGDhBo}boeKx0+Y5%;y+2bdJo@aCRIu(Buzm? zSPdM|f}2dtH$!4QvbYlchXbb`2*HBf!SNyJQ;y{{(oqU7NO=9xYJ0P<@2GHv{8Op7ZU zxZ=josk4}6!eO+rhJtdaIF3`{!G}-wwGdBI1@rG({(!?KY*_9@2`WQcPi;Uq)4skA zJR8Cq6)jr^7G!P2k40tfDk&*r*Q^tpg+Go-sRaW1VffQ^RMx|NkWK!j31{Lo=Ozp# z<}b!HC+*D@(^1v<4o6SAG;(+{hy%|^Vp_uN3^wt;h9a(~>?A zFED$x=r*q!x)f`;Omgtp%JvPW76q)Sfoxivf;4u$%Gac8>a7W5B~YqHmWVxQnY7#X zQ6BILZi%1WpT^?DWxtRnDd+MIB(0(CLE~cZgK%MrCyq{GzolzpsM zjZxBK5{k+A@4JPI@~E9HT!U`t5ZyDTj;wgS8s2^xFnGBUC)%1?KrwP5q*RX>eeO!2JYeqC7}9&?f7uc~MGpd@4CV=(FqxxanUpTzn_Z$J z;n=}^_KPSU0xQ>L*q_BthzwuzG=JFUW0^*hEyq5$iZqS|!S@hCqFL^&&x?M`I*h!c zg}I=b;fan*_;p>zyI5@(rUHR<`IwJQAu}>n@!S(Dx*i|vX#(W66)|#|Yi8RfS$*6H zVb{tmf8k$U72kb+DOn~evDb&<#Kp2j`pyECruIov@qq-xQrKpkplVN+kcwr8TB+PJ zaGdcoPoEp-l9?DyG*`kf)&ocAma=6<6E?G(tUs(IVEcpVX!bnXROjL}q8iD-uKCe{ z;*FWHfM()v3NNz(R~~`zg}~mE?-Jftv`D=C-$sc>ETHllk;l;z{A&a(M)5WLph2$I z!U|1DB^v4AU|V!|OQymqwWWj&yefUof<=l{z!na;2{MJ|T1@n+3PNTU>DeMjZLlpg zq%#aiq@_)?_m6GF*irs8nrgX7CwZn8M;u>PM&hISG33{9j0hR_Uj@q>{{bSHpc38{e zD$#CxcUefuJHUSiLMRkk);J@CKJU{;m^wg^uac=%Ymq6gb{2_92H?lf)PZ(~D7fJN zFvOnbOxY+XEw;0O%rF{YtZh4Y`AZ( z;$8!fvfoC+EA0W#zWp^*nrYvopmf-i7F6l36dnJY@wX|EqK>cqm=n$QRp)*)Pf_+z zp6UpG>PolHuoa&%K@-nBs`A#_mp{;2?Y3rLDolVnS6P_(R5SlXf)_U0!eWi^!{AwO z1zV4LiD|YD3>#{Lzs&97UMQl#+0og4wS&{Md1Xpe4LyQyzpz|%?<@GcYtCl(?4WB$ zO@gQbv8J4WVZZqJdwq|lMIUWBZ_BEPaFsVEs0)wG0~;o#C-n(nK2b2Pg!6K#8@y8R z5;^KzM3$+4Eo;{i;vIMkY?-2xiYn*iA)^0qxM#>xkyuPJo-Kzc*~MdmzbS*KFX6~g z<;t!9VQ=Mw1 zW^QR5f`9`Jd})r|bwz6JK7vgARx&Vzd(fn#Jwkqh&{mP5cX?B2QD=tafv!s9U9 z&fyt=0mTs8Mh5OzH_iTLk5NB;B?ig|a$!Fdp_?$qt`XHRH<{F9J|>AH^i8Ue7IcX= zmzRQBoZGZiq0m(@jTN5AbKrU|8PE!(F5zbFSY(BSp#@FhT)~ zB&8Gsx%Vx;{YFBZ9xdm{&*HAUgp>n8>8TM`?jzw(=-*BT1uDLJn9}y~jH#{ZGgPdKNYW02tdse1#LKBHVllkpPl1zs_o_PrYRtYNS&j~a zp%HE9neF#1JhScpCR1*dQKGxHx(;=?mR+M&_J*}kMSgfTa9WT+0K|4_pDF^h6BiU6 z&y%&wBS@X+*c=|>SzH2b+$M{z4d;40JJaBz9#D*pS+{XaQq^q*`mZ|?{&-;Svxc8OYOaYHTu}XE&_nnUIG0+X^$uueovU2nA9+q7UHAyl%olx~StK z7Dw372N@OTS*=j7epUajRn=MRT>`rdRBl@%9p=?73795YyT>-VN7g3$0v+kAL#E^L z$+$U=Sjuuh(m!NpHJ!MaX@G08Dvr6$p;$@QW4w@#2s(|afJ{B3N~fy+FEF~DbJ2P3 zmhA#e2dhJU)Sg5gmTd?~T-DDmNvE;~)_(X46d;%ZJA2#E?kS(p7n(+R;&$}TB_+*$ z>9~~mJVqeqZVgInwZ#RTCzT1(#Yq0ok#iZ|Y&B(o2q9|8mAz%n`grOPk13;^3XJ#M zN9M_bdy{8xcWq8@rBqJO%n&$H}l7n@T-yPACBXhf)WmMo#U=|GJD6dI*9)C zIPULHhDN$?yi{D{E!djEt3I4RTgB<6TLjeqFCN}=TMVG)jM+-A^e@q4mve4g4wX@R=;2tAkl33!T7YR-G# zQC-IpyZ#zpS%F`oc zVWI)$qn_>HNX{ZB8Nb>&D_Uv+~U8wqt>8+HJ6sL?9K2>f@B zQD6B=)g{PxztrjzM;S_Y0)&!pTQgb2-uszKq-DFMrN^v?@g%H?Y@NS71k=UVipAE> z_+GU^s>|mkhbaS{@@nraH;R`UYU||S+mLj^Pn+RbO-M>?SDR;tw-I?_z!5v)NM1T~ z)JQ>`Z(_sL^I4?#k_!=Y<$5%-nddFOl^Y+JbXg`j4Y6=Uc?@|*!)(@hl2Vc2Y;PTG zB?>YJwIrqGgJoU4utKP%zF{wP3!QQ zJ}B+Vopb-U{q-u+l0*#l89Kjcy7v|L^oURzj>!8(*%sdKrb0xOGcmOFK__U1-yh!(~VDM*V?JqnJhd|*RJ zh&o>})&;xh6isGVtZmt8Ezt=Ya|QEfce=n%Eo)4{bySVtphiA^RO8skfx-JQw*5ZRr+_DX z28c}I0TgSPNoQYDQGlsU2Pjyd@=6MBvT~9uMqI zhd3rm=C<~d^y|h`(Mv#o8uW%61q8uqw@2lzs*z=5i44pWOEft-cioALh(3X^Bd8kr zbGt(^03q=8A8U(9c;-c!+Zhmo76Mu*CR3YSlcd$$H!K}U%Zv~9-|A+cw=O9PT&p@CK{ct9k4@0qRA!*+dyDaYJt{R|UTH3?6hqihai4&qI zIHIt{Rk{6boL8EFF1@Ip4!gso08Vm3SxNtH-*ECa`N(M=uq%wv_aT? zG}7+Er}l$gIny@KWTtCXkFuo6g_{VG$W5(4tg>#JF}6nDb{k*`OsZm z*7EKety3Ye2&@p>LB7VKOz%L+&3aIvW@Np5zXU1DAt~ijifKr`u`jMvy!Z;VEeoXc zN_?XI0FwE9W^U#w~W+bu8%t<-n1;x*p-Y1@2pTGI0N3+&UFuZ(ovM0xo9h)#BGi$cgQ|js8CIi<6^=gcEQ@gwzr(q3p9k44Ie{-Qz+T1AH9oXY@83%XCbtktu)kw;+jtUfoZoaij z%c1?s2{o@&{*N)1cF(`7{PG^^-z;E32X4%;_&9~$ZYzck=APbnbJbI5!I3U1Kq|j< z<^b)`GfR)1nRKmNKfV~XjLz1sUCrAEtVnzLfo^xyhld;BF-@uSyuHfrV1r`&7m{<^ z3bqi!25UH?iltU1QH%F_+`R`rW4sU!k+N4N+h%numu;c+76l8Nc5kAKctr>KwuGf{ z8YciX?|2L;p{H$C+2l8enf7|3*#E-9dLxwvJ|b@ZAMY_oK@a2xI8 z*Cm^-!kBuf{-X6JU zn&Knjc7&l-@3G@2gC_`&i};#%2myt9H4F?06$Q6sY@c&}M%tGrs)>AJi{!` zD$)`A|9R%#Om>Aa9Zj*aVV_DiXM)V{QFvZ8ks30Y)dBtd@dgCTYdg3X%I!+}GiTnD zjh{4@JL!3Jl{~;)I>BItRl$_oAWP2BS;8z%q(%E3?QkUXK3;@{?U!=A!AMby zLM`uTd42_ZEpbD}ALlT`|1=ePQ0RBVpw%yvTi#m3~7#Y#EI0N_>h! zM$er;kHb4vlAg78{_~?{50x3x;b=}*2W2vgvPZXG3M??T*7bH@VKH?xALiaFhGS%^ z^9$5sc2y;|2?`eDp3W5&hWcM(SRyCG5SSFa;OX7;5J$zLI!%z_NX=jkm=fwCJ%ov>$;=DgW0%{7V%fsRPNFMrK>zsGLpYm$`%}-e#FMtJVmDOv zQ_7o^f_s#fVU+R;W@Qi_L5;IS0@3hzv&FLX-;<(iT|Nlk)&>R+n~rX+D2ow$S+)7W zg;G2zxc|+B`b3=0W<{e+NCYq1B}Hav&~!+>_Uh)M$AjGB-DY|Z7eFZ{ys){jE2@@6{`UqOPhIt zZC!fv8vHm%IzZ-8?V?Hg0y`AYTaXmehmM>6Rg(Q8D4K=kI$^KvP{tn0 z1&?8H1>#cZ#+(UF#XC(zCdiqu4l6K*k^Ezzs**^tIN7zi&VKzL6 zA7qVLZtjvm0J>iKm-k`#&G+*S05}SJ7imfUG_5b@R&zAdJj)j{%Ld}ru`v_~HsCK? zmtZVMwdjZruQ_&CqMT*!7tDG!tVl$q3mB+RqQS6E(K7tG)2KQx47(NP!%8GU>|O<9 zff8+DHPPhsTlKuoYbK93hBUm<4e;2nzHaqao} z3M3)km#L(!VvfBl(^$i&?2oXD18p;4hrEu~LL9Nbd)$b~eK^Vu;oDcu;MD@@FXGQw zQiKNj$R342hs3ThPwlDh#*6dqg+UjBc$2Y5;sw+AwiKYtvzAf^ip&xW^+Jt?%?W6d z20;TeyWd1L;R4tay(^CTcoB5O!Ok0LbWCeWV8_-Bj!W-Mic6Y#_Ndt`@Q4pGa`rGnp*&6?UYDrsrtab-E9qB z;t^P?@I;l(^b6ad=Y}>_sFAuOJoL$xrabWKvuEaPRD#m?3=O$ z);>H8U=^$@xbk$u6YSi6hz-i8?w20~=YbMc)j+hQKed`0-Rg{6iQ0iCDEdKwNnt~) zN{Y-)*)H@BxqaWKezP_UA|P93)4JH+8ubRqt5?7-cPUa}bx9UXatN@bM?*lQr{XL# zbkh}Y3HHG1XPQyP@9j-VaA@M;YQD{0N)V<)@%5jH`rTGL;9A$l0e^{}$i@y8c)C05 z5nTkP>5@1IOpEi71@zj6 z{JUYsAqqZKCjk7)X<4jqB5$a;SGny4#&+?w9pq7DPi=Ne2z=x^IEKA@-^Q;f~n3 zZa)WlMW=?(^J79w3!2m7KyC}OH3gZjnY|0SXX}0`&H@u3A8TrEGzouTVaQj=3e}Mf zZbX`@KlD)_3R2?yC>IQRMM82eBxL43IENV89(M6Tv}!%s7Ld+DAh10;Aoa-Kdr@e5 zmf-;$W7Oc!;a4m_SCjd5DxcNc?7n1a`*?kp6f0du|BxNXHL;uS4@R|tD+Is^HBULu zF?Gn7nVQTxgFQxWn9>)=mqo6DQB#xj49X zh3FnLiS8K(B?url)s&nc91cU#C3p>O;sFU8C(*rZcvwZQ2QtREa)=zo7$_VV_H@Am zZ$z7a!`}(%_#A$?1n_e;I&Kf>ZplzILj~7Kv__bjb6B2!B})V0`H@47W|UbAf5~Q@ zo45Q2521raIQ=9)wlV8OF3o${s;(HS=)LA8vquNHLIIt*lsR@xF(%qVu+H%@UTS9O zY+fxoa|2L7i)t>Hq4ny>B(uLEFK@q4uXoUd#erFG+GQ}nYGvR(Z9vLO2wg=qM$Xro+7IL@@#JP-)fIT zh-2YN=}7nx>U@u8$q8dr^I8RH4u&noYqKts^b1|@1Y?k*vV_k7=K-KMW3Isw#Q5@E zzxTWlL3h_ryU0-B*Y_Q>K5#SUv+$KwasJ zpZGJ)ZDrSayZJkjGje<*c6$nwSXj+A82nA5n{lPETmiVe0DAaK1a@n5>MNBc`Fsw| zzR-jng*e&YFcBMswO6#C$4PC5C8NPrl~3jwPXh*=^s#Z?Z;culSE{#4PI;K& zh7QXYV5(|T8U%$r&Z+^n`QFGwK5MB{Zb%Y?Tc9}OG!IKu8W8X1Ot>$Gc9^sIbi;$} zZc(yZ!aE9;;?J)tob_>Fpe2;}5GCeDgls=#oX>gD0g8p6+oIxPNNl8-NbvH%GY;K0 z$Aux2W-UAJE8^Hu%GSb0RcQ~}+7r$M6TR&5*82B4n+6*`LgG?8_DCawj2k!Jjx08l zDNv%TY*|+-*1HkxH8n24`3~`?i+yJlj?XN!D)SkkPX?D6X+;a_ zILFR}Q}XYVay1_ETB~!lYjGfE*C?6q_)B4&+_np67vsz1yp>gpspB(@C_${#9b1hG zWZB_*)j<;QesEPyA-uS+)Hj8BctWJvIkKc%H(_)p#v1%%@e5(5IgNLuMl7sh7Rs+*w=F6@nk$E=dUU2=~^cP{*LO9DkIPi3GBA{6RY=pa*eYd+I+ z^YFtMKjh0wm=!&zv-Hp|8QqubP1OyhaU}%s)nG?(d3npH0Bp5f{54VY)lW{-JU_YJQ3e2c- za)e)#A9Nk>H0%UgI;rhblK6HEemvFZeOFV8)Pet00 zgw&Ncnw1mLFpv#{%+_mrm8mS&J&7^4c{7(NmzUiKtpiIWKCDG-J&d>HRy7ddRt!3kJY5v3Tkm?qLia4>L9=r7vVy}ir6NC7ZSoKH(0TFX zC*Xcc5U)3F%ue9^V<15{4=PC7i*$0%sGD6Ik5W}(LUtfH3GpKO5^+o}sbfAR1Y(O! zRf~x|2XK=zPKNJx0;a^yZJgCSVdDEVx|dngLC+$&1_oMR)YmZvbZzmFI-~0)tjWh; z&v@HdD5#>|$C5gYKJTGThyKh^S#OL{l*s{dxm{c!)k;Ffa*jVY^gY8|D9zCAiqyD0 z+{2~YnENiJZuTbmpvlJq?$NUn^N7hmvcVv&=BCBq!39HzC^I5ztNLkSU#}6G*fFUR zr7kcs+%_rozrce&JbaN=?A-GAEhB5lBRJ_l3KW3u4HGYisc!1Ncn4(O)0pxc;-Vr% zn&Mcf9sD?2jNPIjg=>#zMEIhx95pC>o9XT{SzkP6v(m|4?npG0i4YaRR_(i`;Xq9ZDWN4tJk|y_Ff7# zOPCO#&m z&U~C5Z|aGGJo_25`kSihair3I97Cn)s((GN0-linsoGUA>a5WVc)DqXL$IrI9bkzx zUcoufcPDXU8@ljxO9JnZxZz%oj`{MJ3Xc#8Boh5YPy;&6W7*BB?Y4M0a-^Zjxa+ zH=BSU+1VigH$ce0JR5EsRa@C8aQWaSir@3Qfa7LzG3#Cu5p5U!glPb1^OSNsVes-%)0YF`~WP3xKeB@d4n?s~a z*!4fT6;17z^m73_BMO)oTlEI|D(-5Q8?1bl-tZwm+mpX_TVZvytC{U@AHQ{e8S?cuQG19pe? zd}SsP5%w$MSCCwZiAPWGTO?B8aE&e~V0mXV(4 z7no>+oJDhXlrt(Wai!@}Q!2&-8!UPU_Gcz>$3Vd>Sg=j`q)YdU3kk+Lcw$y||AURbUgnEQ+^Cb}00a}zjaE(a#&bfen@--EHF#jcFah2gy*AMIlA$ z6WXv-Y^&p|KHA9z6j%%771DJ)-a=7>_c$>RlJ=aoxfP%YR>v3bO}rMD=0SL)qG`7G zg|F(oLd)!=SrB|!D5yEtbkH=;khEVt?gZY^<|}4ot{yt})VbYBDBBU}vzZZS_?S@I zh-Z4V>U+s4O4{w!cxmpgE_TN@30~+tW zjC9=m12Zbcx}o*s&}2rwdsN@|8OuaJy}Gp3JZ84vn8urmZOnCo+DoX0PfD6^|HAH6 zoDD#zc+bsyv)j}C8D<2wDMwCW*5`7|Nj;Bkpo7T%>>!+c;9gt<$#FIc7%orT2l?g<-V;?b0kCv0LK zxvQKDGqcFV6hoGm!+t5VSR;+*Z|9-tWs~NvjX|$3>;YqO=87ItC*gqeW6m*TLdv5n zaZx1>KmH>8ph@o9?{h3%(REP8>B~AcvRAo}mQpdbUE+WCSm4_gnrLzbBt_ zSd9CHk@H8QCIdn;C(q%mYZUf3wMq1Jk>8jFm2O7Q0Lg^m>NwaS9^p(5Q+FEq-ChxH zhGt6Hn?>XxE+JL%4A&)K9j@^N>bU!tndSRz6j5?6`pL=AV#FHv&Q!VJEMRy6r}K&< zRBGTK)FjutL`FtfclHMQo%l@x1!vxA5P=$+$$J=0ec{GlbFsEsH)A42WHCg~WJUK8 z>}r`=qP7|DqY*7b#TMdt1tD)tGkq)7-48f)nLo7e`=}`Q+l~oK`u3wl4)Ycw5Ae%3b0pt_&RLn0XwaC)l1n^DQ3LW)FcKPNmF~om zKrL7U+Z^B3`}yy=-?CWEY*x3CbKMtkYx5Cl3}m2}3tXtLz4%AWaYH2J#gq<__7b^D z5a!i87V&j#={4Y$KRf9T0b;Y(teBhtr>c|cQ+w4K&vh)jA z3jy%9gK9(?8c%9(6;Op3pyFKp;gupLE|Tmh5l638(ABS@m;)K6=RbB-IZ+Au+;Lg? zsmtQ>0E%%>!WhpnGb}lAorHT8{W$qE+b;hyV^^!4mh3~BFi4G0^ohdq4}@Q<<=L^? z@1SibZWu*^>jk`=NpzY>IolNO4z|^xZ3P>E)K(aC1MMBQqyg@t>lcie{cuVsJ3kxu z{?C0GI29!ZyJ<~h4cg9?gCg<;uBlS|FYAb$S<%Rc3IBBNgKmF<26x~&-YziSJc9~= z8FHlSJqoa;vck%xGgMIu1<>jw0+i&+2NA@XW*uJN`sg_ zmA!x7-s)Nd|0x|N77l@&Ql%gh)ZNr*y2Fbo6skXPvU8|q-IpU>9zegX@}Qh9uZp{w$fq000021nbf_qp1HZ?avgB8hc1EvG6+HEtO>w1YPl-n_sAxx1E91A}i8 zM=8-m2^dH1MXpSFfE$=*mu&;kPL8z9gCaZp))3!@Q(j_N5aUSfIMWL zR}VH?>%D8yIykk=BuP?zs>umjN*jskgA)(0TsnE6W-irK{f*()`~!j3xNTJ5-0mb6 zYl&ijIwnx~alsQsn9)%oR9R)OAd7*ofihfZawf5sE{|5>bA0OnH9G&ywCDM2+Eq}E zqE(OW-BFG`7;f4+{O~dX*)9;bQRJO5BAOn6f;k>H=9rEVx}*DaQ+cCm#zyhuCUuwQ zGp&Ii`vuJRVX#Rga?}yEB&4%phJ>VbN%hflK?=Iz6t`-$$bD0OqCSQk1uJg=rij?< zn@8doOe)k`#QZF}YQcq5^N!RR60H}M`i4htbn*75&hFA$g1i>hka+ZWsg165Y{~ga z&z$yqD}G zeRja};ZL83v-~SsnmF>evLr84l`}+4{BWzA^mF}jW1`Z*Oi8+i+Mt@PW{Aeo@{s2F z(fk)%q$fLRGsk!9NFsGtbjmVAXCdJLYX7>gkia{LjanG!z6^q)!i^(FoE z%(CB^&iC!o2ruK78!5xUhM&}&7@5yYCyFb8 z8bvb&k84TmYo~|uF%Txg@B^GgDl(|BGSVxow!a6K%zTns3L272{fSOCHav7QDt4s# zj&cP^qNKhD8bE@YOP%reg%x32bJQUi2MXlu#p7(C_gH zrFD4(5V4xNYJSs3d@bfvu#NWc4vz0CVX9l5_rS17t*tnJ4URBbL910)!JE?ZClD-L zE1eSWa%~Ep{w(AU_HEp3rGHb8 znQ!~4JhAp^b!Tro_MraIxI;{Pf?nwOZV1E4EY|~QT?p-nxaLx73mpXlzc}`ghDz&x z*bHsfFTX^3Id&* zh!X15?70Vxqkq`DS+lv*!#+ihERdHTz`$p&N?6WjL~Sf0oF6e`Wdm4vE?TpsTvRtW zkOG=Opta(lH_YQNRW}O07u;7%(+iZ&!7`W8%x#i17?!P2ZlKc5HJj^=A6Xs*Lg6WK zIE2&luBvK*OD-l}R7rHd^b%yuJC@8<@y}x!8dvhY1&YGv^s*EDh5~n_036=t->v2v zJSYRDaY)?sMl!{mJ)0gj4waZP<_5inDgX=D8W$m4kzOOu&T63y4FZG1%cCS*2%d*krI5 z`P&HShStnLjz=k1C6fI#nc}D(+cdv6I!7p-;0d!79e;Jr+~+0)Mrs!mxPaN1@r-`( zjm4rW^#J-1h!ae&BhoKEcjUe#qxU@$3W1{~%d8kFIm}Ac%~}#DAX= z@N~26)xe>GF0|6$L-^F|{f>PtW^@PIc+)=%=iBoTF`n~2L&`nvBiDde7UfRwTKDcb z!=UMKUSbw8I~(kTHe-0thQ0H^O6CpL(6MgivXwMLeh?2e_> zX)bo;H~fo}!3=>}4ePVo!TG4!YOo_`)WoE70kDTy6wmJUNN^EBJZeIQnPZq{O|!0f zU#jEUmx8vGt^abo96;2gD5vXzJv5GhX1v=M@RvA+UhD}ErO0l<^jsc=KK%?UZ3s@l zyXkgksp64+TiP4zw&0;BE0_pVh@p=-P0g*j48z#e6$S#m`*&mJG@n@ z-+h;B$Ieuvjz)l>p`!EhAW=LNri80@ke zo?BXbSQE66Fn&J=Ylm6yDoxpCAC%8mbc1U)EKSVnA~17eyQ3-<&{glk6PGRK!5Vvo%LEZFh+_4;vyRcVwLbsuZA{wNH2 z*SOBc1kFctW`M-%!wd;VX;-q${4J*d9oU0Nj9%**Lv1-(*UCYzYBBIX+72pnn=*(s zC)tTI&#_Uk~V zzkFgdg&nm&)R$uEM=<9^EZxwvaGurcM;OZn@sk`Uu!ztxa<8Hb05+WK+uju=^ zOgo|W&kkWaM)m`q_=|Up(v=}qV8S*&%1cFN&&}6a?hcGS9_nmc-x6%;sr)YXx^C^+$@uR;3OmENkRk?GwP9Cu#*U| zc%!<QR5_aRL_+xNs?ujS!ddv1J$ zfXp~S#b3K3^u+Qc8h1R4YT2X3?qvw$(hzU@U-GY9T+{p>>u7Y|$k&G;g1yes)p#K` z?>b@Jj6mz6CLoqOy3p$8uRqZ@w!?#TLCf`ic%^9i$i9}UXca( z>Bac>MMQzGeyvG^2jePTG2%BEcIFeKaglG@1d#n=;#t38$~3>FTu({RqZMOs<=jG& z)5ggBgSpnkv>S-6m_9)f)zr|ikoGTzBtPST-f+WK=xbQ%VP{R*rVjIw(?+>mo&@2Q z*?MbMS)U_p$_@I5UI^#WyeG{c__nN2@Lqf<1(Wo9hv0L~B~JX*v;SntpTj(_OqwY` zT?G(Ns)CT~wUPP>DT+0o=J_Q1%o9Hjq1d0Uzg@$AV(W6m=@z5y+}QmFR4bBcAzvky z;9>!6#wVu|62!FV34NYh*4>kKq{O5HC`DUTe5(qaWg9@@G0Sn`8Szehk&1ojV1U$= zpiD>O_h#iqHK4#=G(eB1D1&@W;MzD7kQ6N-77U~mI%HiO|Efkl>SUH|KdpVhgiQF%O;w~<8{Y&12_H7kVjmWiQ3NAgk`s$Rk{2;{_}aF1HcoNs|{$P7fk zF>?FF5Jh8&VgC`(+}-X)Kz%?cpcXGLZ$AcZr|;Hz%-(Z|R`CYM)O~ezd$V=9gr^-z zg$L`{dNV9*|y#@(d;tweXUtdcDQ$4=wtWLBy|q`uJP z_K!*F)OJ3uxGhwDU5nS@Ye}!x0mZlxCc>m%y-~Mi8TsL{s-``J4&Gs7zWecK6@yS~ z#|`}^Fev%{sCM{b=~v6rs6u-tGRW0t6sV_>JR4e}8#$5-^|DSVi~( ziE%5$0b-mP&Cm%P*f}I*rr|Kg_!U~o*N3~Dk}47WVSUYBX9DxEYUmR@Ypu*{=gO(;g-!w`;%@Q0^=-(!UM<34vr{BlQW7>gYk*x9 z*0qwoO0s~Yj>?=}AY94t$r{_fSx5~vO4*>jK@+TR85jMg^2GKpXxWEJ(xoAnds2- zFaVmyxZ|oFsp}VGc8Ws3z#D<2-?>f#8SEvyeaG2LkQH}M83mkS{da&p{`VkCs~xincZwr zPSCE~F@>#VS@_ZO&}SG6o&OfzRj*!CrIwnEAViC8_X;eqll!M>EmoZK81+O!9l}K` z(tNqqJ(54_@vcjcU&B66=v>6T&{|t^bh`{}eJWlkVQU@nDetYyT_g#c=1U6@?{q*t z0mBl*k*z50-x?tC3rXr-+vyo*&LjokuG=&oPIV8HJ!QW2qtxgL7PEKI}I zhi!*3()8XeH!j~N!K588QTlLxgeZO!k%r0D_|eXczTZmP8U#;ry}(*Xw=TO60-~SMAtmQYzNZPHe_qJ< z?M+bLNZjZkz7hIgOP##)ZTXC8W?dw6^O*$)TRS8G>BPfP?|3WT%F-i%wFRPXdVLnV z|B#%YCR}1hvTz>;QNqAvMzl&|Tzcf68(1VU22)cj{GZ(+sYg5(We(B{lez9VH zW>S!sre$k-hWexJQ)vc~M?#Ip15PgVLmzvXuZLFO`hNLs7s!`&72hrKJUegUZ2_xa zVS~h_+5`3maY9JP&x_bPD)>`aR|%L(G$Wc(zO89l(}Rwx1;{{xT!{!MDn^$mYlPK6 zhBI9v06sIf2*DTs242Kqd7h8?G7vh2Q%U-8eaWY`I8f8}?{L9VBOjyf=9u8l&p+H6 zLZ1_1|3ENZZXw$fj5D60VHRV=5w0RUVqezC`j*LnVTSLfX}XJ1bkNDDMyPqgSfsU; zdHlbj4SiOqkR@j`Ld8ZZfPNaM^f>t{XcC1()A+JrViS-fmLXi1$&J}pD2)};<{#e; z)G7mOsGiVtDL(+0jI2f__x6=>k>pg{)@PhlVKI_YHCX}?3+CulHj0`Mut&A*<0}Fd z#a7ezSZEDr_~iVHiVI?!tyb`NsM|y578h)&G;?@M4{>R5S}Y$>EcQr!aA9AM=%2hk zc2mc0bDnC$+!9YRgD;MfsW8z!@h@z*IlxFdL?tO`_%P+K6mo()om zxO&3;W*~$byNkoxCn57wxV=D)(XbB*#XMl-djxxyV