From 45aceb9f1e1c2aab40b57babfe7d6c35f410bfc0 Mon Sep 17 00:00:00 2001 From: pezy_mbp Date: Sun, 10 May 2015 01:03:24 +0800 Subject: [PATCH] added tex for problem 1-1. Finished Chapter 1 --- .gitignore | 2 ++ Foundations/overview/P1-1.pdf | Bin 0 -> 80823 bytes Foundations/overview/P1-1.tex | 20 ++++++++++++++++++++ Foundations/overview/README.md | 1 + 4 files changed, 23 insertions(+) create mode 100644 .gitignore create mode 100644 Foundations/overview/P1-1.pdf create mode 100644 Foundations/overview/P1-1.tex diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..058c4d1 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +#mac-os +.DS_Store diff --git a/Foundations/overview/P1-1.pdf b/Foundations/overview/P1-1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..64bf028e47152f079032425a394f6726da270679 GIT binary patch literal 80823 zcma(2Q*bU!)INOPv2EM7Z9Cc7v2EM7ZQFLTW81cE&GXJT@6=4qziPfdT7A%c*jM%X z)gn_A6{lmOXM-l2TN+-2W+7xGv@^7X=H-QEkTtP2b2cYr;$USb{C_TJ25}2(XA?(4 z261ZxXA@BqBRgXgXnuZZCuc_!0~=`fjb*J#TU-vr?pqC6TVzD0D+oO+hLP54c@ywJ`|%8&p+7~33g{73?Ph6m?8S(uwGuChrCH$`&|^_rx%#SeVw{A zAIic;-_y0>`7?(yi#u}%c`D@g9Yg!uupXPbX~M(P!##|?y98Q2sHK}Ufh(pz7D#vgfM)J9*k5(;lZ&~>3qfy{3Upx|am0}#K<7&_ju{R< z6Y7n#UY90qSnq1KKCZd;nP`g#f$o}*zSXTP-1Az4W^aOBBBWTa8hk??T$;asm_+(p z^S+W3sw3O+0A1~MN2KxCJ#h~R#`-Rp>v zS)K}x3qPlM1;l4XgHA~AdwmL3LK;E9=gSH2vp5bkB?_igdT_yvLgVfC9$-+j8v2sX z2a6qND4LhwV4sr|@tMCE@J(6ukOFWZ+>J_hyJXi$1rwWu7tHoV* zCWPEE+A=7;XMw$k3VrF3@;ADPqN0OF5lQvpL9!}IJnL5y*1Cl6rfhLcUQ!Y+Ux&(M z75wye%k(Z;GcS`OF^F`=motOdd|V`LRgR%8J#WVzK*jd3U{h9w@R-$)UUji@tmGaW zh8Zor033(o16DeCiaNY2@9|bbi-+u!3~hdc2F-fw)+arAxUSa9 zapO_4#xs;@0}a7;<(9wQ=b|gy9!a8aq?N}J+Nf6+*ZVQ5VZOb!8q%Iz1D8yz`3G7~ z&6Zd&Oo(_TyBB|qZv%k{){kzEtheU9m21$w8D(THpLis zYjbly_I$E_)8->tTd3gWi`&rBz2G*JKVFxU?jhai^*c5fqtak+0dd-Ho50EvBNw`` zg;<4|%7wzGpX}ihjg=YtG2ma%2}4zJ_KQnkSc`Jkx9C=ZxIbiV)AVbhC_w9ymR5wK z(upqJlwqf2LEuR$-}#*3_O^UP7&J!=Lc^NuF7 zS&Jm(kJ4!69mjrNy`$3ZytQ89?EFKONgDgBCDlKj9{e45AU%iJ?Ap2xADQykA1!}J zp57(TElX*=L~ff!{FqeAQecg3=w$bD5NP1YMw(x}(T1hEup`2GZ*PophN70V-c;MH zCPJRvp(7DB6`0@@bSht#&k?wghGE}W{;p`lgPWrMfQ1!*R+8TxXH#@JdoETAI(IE4 zKRi@g{tS?5=Xm_2QN0AE;V8^QT?9qEf~=Ne#plga8J-zG%Nf}sji@IDbzL9n%YVeu zVyHJ>@^@$*{<3=0T(;rwv#yoRmf_Z6v_F-#Pozp)+rRLXXG#tH=Cuums}z14pF`1& zTIHm1w67#NmAA0}yj!pRe27x>}$Edg{ZoLEs^sB^KD zl--4vyWx*;jtDgzGvtyyNCaQgqke<* zM$phEw#NUjaQm}ZTMmTtZ&eCpFR10v#`NjT(ba2SX)RJNS zJcquyr@lYGm!7*;t1UjWTzM+Hk6eA19PH?LKDwGX#cZ-r5&aK=?}CN^4>>tCMo0iK z)Lnq!m$9`qxP3Lsl^q{e77}bs011-eZ$P}n5aFL}d7!{yAhrZZ|I8{B04)Fj6BR%Z z9v}$tMU;H9BSfYHSM+ZmumNOx1K3D`Ly3%%Bno-w?RmUt>1TH(01(M20CY5;{>Mo? z!b@0@p#nruL6pFjFs?&pVIp~e4=F1AkmnBxXjm{GdK5AU@b>ohJK+o_Kk0^iWD>+4 z{OAVAlRhTq2AnC#+d8u#%mM7@A~pdQPJcgs?7PjJ#D?KEkvS%y%sx=W01|d)7|j4g z1jK$F=%W%FV1o*Kk5he*(+~3I#06j^c+=beasPz{mH2WD6)cc6Lj~Q3l2`+>-j`?e zZ%qUzSOJ*?@h7zQ1tyZmB%L8R01x=@Id<^ZD-i)mH+BLbYlj5B4f4%7p`-SP`g43= zAiuD{-KHZUaXgBfSYQK&z*t55 zb+ipCq5T*+(boH1Tp4KvAxR$u1w|nNPC)&<`7ix>P_Vp8^?KrW3T(9ydUmMDVD-Z- zK#w7tgZ2W(JDA}(u>N9QgWf&Ai+2hUu(053{RMyg*{0xQ2|wMOv$0J-wMM21;9ddg zf%Z=zAc6t{zuXyzn5IFZoE|?oKUV()<@iuQawN9={{EyX$-|!m-JPKALEJsS1OW8o z^C9536Sl-))D3V1%fPy9F{_WIDe*{ zS>h2PBR_$E^WJ|ZkAEc|^OSxxN`KwNq-*8n`>t^NfPUlf4q)9LzJmIdR?(ugK;%em zu@HaZ*h0T|bmY?EwwB-fYAXLg+Ts}_xpGQB27Rg8w`s1w8@>{7i;!GMAIwFa-`cJhnjv4%FbjtP=W7Fm5S-H^Ga6qFOvU zeZGYR10k|vA4rAb@XI3uy9YT~S%N&i4ch|Z5d!`lXam}FeSlgeS=VQUf*e#Jhz!I{D$2eLi6FTQ=FPNwSSO0VHCos5*u?=H%4k@@?r*0>n>vBpl+^M zhoupg0=1g|Zqh`tu$g0t#q@eF46$pzVpl_7FMg*yj=x*%IVNkmN2-7DxkRj>G`hb+ zPYmbw?r2uZmvSTkS=uV7yZsTVSB*UAiG~i;pouok+kHz=IciOjzqYCIRxzC{y*vgs zdvIu3sr{a~N#%l(F#H7ZsuJC#yu+wNA*WuVjnSs&=CGq1G$rRr&d4v2px%cxT1o)d z@ZiyVi5OR+WBs%3_Gee{1S8k;!)iiO+JvfhN^r#}rSUjRt4=!cl;X*nR`9K*!MyRQXN)_I9;va`O~y$!+57d$67-zy)(J(aXwczXf&=}G>WCU zr**P?K>Ot4kVs7qO$Dw$Vx{B*tXKmWSa+n|0kx%ds(c-YF&$(ewf5@fa@?v_-6k~ja-H$86rWI`sW$(BizE2dIDv3RqnK>|AA38$XKj^6d$)?uQ&1(!;MlzXbRG;Y5!3 zV!i2RK;@48^^SG<3@wsj#AW%*htjxoQ1fKcK2RN@f`3ygB~wMk)CpvGhy(uIvj@pn z@P_3f1#Lr4(3AQ&J83L3ZQPo-(o=wfL?&eT%$&WyG`D0&Z%h2nBUcD$I5{43_Mrl2 z+Nb;DxyFyrV3RJ|ZDxXWF05CJD$*YA9}ZhMJicb>70dFZb=u6%>#tA+RMoPZmxNXcl7o^pHW6 zSVk+i1@aPGyFaIqi@&x;5-rNr)s^k+&j4HCzL&|xTnw8GbE8iM!L2VQVHnwC2c{i+ z@1?-=)N5X6T&L7jrYYwbB-K;h%PjK3u^%a+c-nIR9L>F=#~O~eHx!$4NgXNTNxi7m z4iEe&_~zRu#7v60O~_rA$bNi@$Uu+GxJ~KnS+j<1E(_WVy0)F_Qdy<<)QbQ=tXrR^ zn}idMf`3?5Ez6+XSXy1NVDp`;$qb)?qzv6M+}co#^X?zueT=W(i-3H)RPmJNpt{1^ z8CXD6@aFf&kWg2wH!O{yJsDp47&V@bpzl5UoaN%C=;=t&|!YmBhZ; z{g1!&_GRdl&;#Y=^DFbgDBgp6VLhBHnM$l=ts-! za?F}#66UO5zaISzl`9|6G~Tcn5AfmSI!!QqZ4V9=e+AC3B(~ykSN{FnnNq|vhES6A zB2fILKS)jTLAp_kA6t}^Mwhs?)%Sf%X$JH4ZPNvN`KEP9DQvchx@jd#Mw zp5L@`2PO>%&86&Dz>~P-;#cc)@2`F)vE~EbP%M>u8k*XS&As5@!spZ0ax}U6#D*}s zzj?S?R+4C|=z@S3QlqQ&P2bOUZok`3B4eOp%$Mlmwq(YURU$-XSYSt3cz-Z6(kvd> zer&{yvu(_#w(@au6dTrqOK@(U^Q^sMhksm=u`v9(F0Y6j{y^G?TKn$2iR_)pad8Sy z=-2WbsFW8biT$O@9Uts%C+u2nHLw_QINmstQc84HrEMB$GxX=ePH#nO^IVU6GTMGV zcNlvvd}M}_eIEnUYV%&6LZLgNuv~Rrux5VSzZ`M5N5b$V#qTE-nUmR*Lvnr~e2fPM zw-*8*lC@l#d4ZDv>48=K_5OiiT}yubKBIP2ciJt!X&sV1k@htcIo*~cUGdRMlcmPC zrVA6Jp4)A*N04YPAas>ACR&CW{+)l52xPVN?w~cJP|yy^w{%S!oXDgdWMs?s`-?>rsKLrORgGM!|zl zd!5&#+^2Pe%SFLrm%;G4x?%iTbTaR1iHxt#hgtEM9!Mpm>FmWiQRi3YO_80wX3Q@1 zqWw>E#p+_uiM&9rD)p@=g;jw2VE^qveMxxIV4_Cc)8lv$=LhO9fg`mMH-`5=pbL#Y zD3#Vpdfb@jKbkeo+~Gju_jZSTl^z#<9tMBLMqH?;^j{q6bZu>@47lYB?VQvoBGJV5 z6i;?{diHk$;7&p@W``ypm!(Ggx7{2$ z;3P}yo1xv8B`)B?T)d%J}xtwnvQ)hX={$gD?!$yw798wnM_|hsQPJCbU z8Ic?=6^+24()fS#kQIj)rm8iN>PnGqV8uD@zj*fol&D;V?9g)e|3Mo*+8cAFDWE)J zY`*Ob-SFEwa;_dT4@`>u6E}i4sZVQ5;6m`X5=qu zGF+S$g&Nm1oX=gd@fJht9kOyXbpEShkNX0`H#fqC+ftk$pATJEkey!eNIXOzd=s&< zSDyVo=K2C_ezm#4NH4t)4I^f}n^Qyf05z4BrZ{UN8JY!oQ38NTl4*4)(XZgnvg+*; zel?3kBUqgpd&9T;M8P`6^IdFvNG!id|2~JTHN1k>h~y<` zw*H<}3zO1L&{2*_zO;}l!7gjp5J^XcFm-64m{<*3D{loWy$TDZj`L%U<(+nHb)C~G z=+!IdB=IUAV+7jh8Yc^n&1EORBDtVJw!ay0uhN*7GPn^)*?fq$+biqvfzD-TS88qI zbBySyK`PJ_kYeQ9wmPV|XBr~odA&C9@{r3r-;Mb3bZ`-tQYv4&zshm@Gi z=yl@`uKlb_xPvJ#Y6^R@1MB(Go2CCQ6A;dfqsD1jf4r^k7Ifm)Fkh_l?_Ep1y!RJ9 z2vJ7L+m(fq>R_>1mQlvBXEze~{LBaG-YPEddPVof05ZdomYs&|`p7MJbQyd~DzDm3 z&Qk|1u9a26TxbVeYJ3qX5tE^Mdx*fdHYTJ(P*~ zm+Ur$sODU|I3;@IHf~!w*9}_FZlxBDi4haz0gH4}04nGwi#}~FBzu4Zd zpXWfu!RDxGdX0ydZi>KAt z(_Z!64q?KooFOIrKo2vm;SnaUP;Aw7rH;{A`Q(YHNJ5R>mnzsc-5m`51ZTCa#cfGh zqWv}Hc*Ht~@~bN=PMvgR9lrh1IYz!ZJ78oUY_qvi@6rk%9g3o#0h|&|73@u+q zdIBRNhO{o!4qYh{uCQ3VR_UFRac4)W!#$2XE1AVWCgX}aia^WsUP+9Y{Qhx?-Eq1? z6*s%Nt-{8I`^7%vRMot$WOZIm6|=E1{kr`fm|2mmhKHoaOnGr2K5|9i8h5Qcd~ALi z7bw!o!@;%*F%Vtc@x(MT%t+@~XCk8x#dND^id8fi_#E7*Y7@lHEiaG*PY0#&t2cY! z*@AfJjrbQL$H+Ozi8a#L%wr!}&qf5pH)~(PS3%f?959luNGH%`XXVL$ zq8X`fCu9wwV$yh7W5Km=Y;nq6jxDiwA?MX|RuFNlkK6w2Y6MxeLL#$MW^Fv(>0F4z zE?Qc5u24De<6A=-qi9JVI{B)Zj2Iwx(@HNIH~6iy+^#v&7)~&2-1%te&KzM z_uA7mOeTA)9@D=`sL|gWYu1K-rOJfdZfk3d_k#&APetTEV)G;L>dbd)tiL0SCsO5Z8*o`_i!s3bdljBtxv5-8E z@q7nQilc!)LK)1jMK3?N9p#lF;jMDx;>h$b0e~O~2C*;vu#p`FJk2XxCuvWbLGP;E zj?PP$qMi*+k^L;~kyBjw`LvZP?dC-OHA-;&GfCj^PMD*mdL7MAd=i7Dt5}T<5PT_K z&ylI&FVzTsdybH{cB9gh;EM(fWy<TqDLq-C4K)&r8@C^^qZ*&GxpEFZi2~fa;Z}Rl? zwT0oNwXX9Zi^@3M*pSzTqY1>FTZ@N*Qm>^SE?KRM3kOB+m+MTm)3{JDIX+A4$jBdP z<6ane24e=nkVVctW>T2=tXlV*ER0oy{4P3GgYTY?XYd7PRF$vY8`Bs(Ww%0hKyIHI z-Z@Lrochl+1Dqc%8MIQyaWGJBUU0j|O+hX232!%xLgCogxZO1B?kE=ris7CB=#6Q|ngSt=VX%^PX}lwY&>uWBo9kV=)j1Jad*eyxjtHT7yP)B>y?U4RkjdqXH(uGKP*fkxcPO0z{}ao3R5^X=_2~K9rGP>J2<_O>3ank zf{E<}yOSv2ruNYDxlSr+3yxWtk$=a+c>HYf8OGzo(Gz;`$ZY#Z-Y0o;d&t!H$#bji z&o+1bI5e2WqAL*$DMl_3MOMe0%iPOk zO9KJD_i=*HsH}|>0kp848$7!8Gbb6g2P7`0af&vN@nZc;r-*gUE!$t30MsbFRlk@! zm`*si*ZKWLT!E-=GCv6A)PWy-T@Ef~ybD*g$<6<|XPK+4mRwmJDLiEnnFv%voGR7~ z2rAKEV>f=69}}jf;ZALIz{E8js9eRAEanC@p~>13ynF-UiRlUep7zAqP+8;;yBAb- z6z3g}hIz#&;jQd=2mw#%iV6XU%x6Pz>Qg}`K_I0F{g8Z3} zs%y_(kjmU{PXpKMWXFBQdF|G&pfAO@M+Zr)Ao3tMW_?ZT#TT49;f>W8^>x9ilrGT4 zfYL-w6%VLrPhh^HweoWBu31(ugELt#CO1+_I`@_I%#7Re0BlsQc5wpr0tMGq3SfBtZS#E zG%~XppL+yPF3Q1-rU@C@H*evvKtpFBa2W&GqGMrJ6m6Gg1#1Jck~*vF4USXtx-Z8| z>15{v+I;U|G|5)`>&>>|X36Z*fCmA3tz)a0Xh}P9Ac{H2o9-?;U)yKo`ydwr=0kny z7a+CNZ~cGJLH7TX4zh5v{VxLkr-O{_9RIuf|JFff=KtF|=nSTseEULA6&@^^2Fv6; zHMdQ;T>%L@1Q3}*6bXV{kc38Cwjgr{ zAmt=TjBddB#0$ftaJFV~!UT_X8vmCKVqhG<=fKCig?0@5j}5{EHimH(DFh2=1HdII zaYG;8C7|G`yig~^0`qn!C!-J!u4clVo09gAfZPX^UI0GnJX6ys|KT7Tqaeb#3o+2Qbp{3er5#TX(0W3w2ei|{eoO3~!ruo2Dca)K1NwgP z-pa%P;2_p}im3hArVtW{UuE1Ia82JvMQOL-ui(7E1sxFJ{=VNo-!GVQ3^=5NKjjD6UY?pW(OsX8|4&k7XuTM4 zf4;zWVcoeNp4SfYnGvFPLb?o+7Ugz-qy#XbxmfG|w#f#jynXBGLSp5vM)u(NAJo5wRKZ z2+7r)`7to$O;FhH%iayGonuNIBQ|j3w_u8(Z=Rvze|S)*nCEM?4J-!?_*(H=EMKnBPTS4& z^0FjK&C6Jntl7r3Z*>GlbRVieEk*A8%LMdcVCWw^qlIH$Tfad39DI{lzmqqdWIz?rO#0J zB)MJjU0TKkr>i7j+JRLvg4nin{|^apt@$L{`X#$8H;)N8nh&3aWM6t%64)sMOx z5UPGC*8eJ(P3gKx=CN~ZCH;Ky7nriFSgPx3B!;sYtu0voR z*&n1Dv8HS`l-3R&s+o#`O~GrW{-|u}>ISBNYLe^&cDhIIO=YuHhvzjvhD3nV?hmdX z-e=Z^MLeY@$oX_rV=CkIE74mIRtBYceB|`caBcL%MAk*WIZb6tsVG0+4fqE` zuQW)DJgIncg99#Qf%Y+P6ju!4sOK(W#D=h`n;z@)wij4K#uH*HM}evS=8rgU(dg z*8Rhg)|DxVq6mz&OtG@HXVan}9oZbxOmDn@6MFio9g%h5Tlry@Q;)QR^zsJP|7@!4 zhBRgAy(ov;YGX}5sGVXu#>`ph+zBc-1Y!lcBIhm|u*|An8pZgvY~25to#(8SCvD#C zKLIUp-oqgBlbl#RM`~9JRMSOI>1R~>&BhHGWGjg5UcJxG$UvjV)e}h3ZR_cwml8gW z^2_%{pDhQodD^-7ZjJShAdGid4N9)k=WqL%HLPbmfbX?EOv(0Ne}+dz3TdR+AQ7!d z-Jn7^D5*8nwF-6 z8cqvtU#-Q!`MKE-{pka>nbjyCM zw}(r2P!?VyOKd-hBasiDeJhIgXC*dkYBPax@roK&BL#n&U|2k=c zHqVpQ@#9>bdmMiJ2-pDCF!Y6UzI_Thlw%?#jnDg~_)$#81ZbopvaAn}Qq7)nB zfUP5&!DPQYi)TxvL98LcM1dP2qVF#xQqO*YG@cQ>fs_~{Tk|h1CcCrRrK0h1B@zjG zk0Xx>u5E!$A!-3U+f14j{9LCqxRec(_bQNi|H@j_9vaYmSMvpIU?=xDcO5Ed0;=Y1 zZ`Pl#9eWrQFTcSDrowEev;+#hh5eyMTkBX={l@viGmF)^^nn?J%GEr6mf4<3FWO$Q z45D$wzk%y@5`qWI$hZYi&gF?8hEaUy(S^rSISIwPDv&EF_|)Ev%w(hpAF|j~Kt0MJ+=i=h3YuDcePu_G;N{;O8f!1q{7H5^6#{8}=G1Tb=T~eN9s~JjOGx@*@h3lXim1fe!k)psJxqx0W zbhet5j}PFP+B=nc9nfcTijSaW$HfwowCa$67H1Z9V3Ql^0S@KPK#tW|-fY8;S4@E? z1UY2eB`-~C_WcF(Q7PHlEWQZP4FKaBTC7y;ZRm8JNn*fdZp0P7dTwOgnTB8d^w!VW z`GrH+mR_$#>2O<%o|jHVrgnPZOknrhfxBuA8Rq4{R!(iP?YOxoqF%${$}*mDE+Y)EBstTf8ka-ejg4 zsY`Bt(>SKm@^GG|b0|LzD}TqrXD0zI)F^Gp=HpZ6wwOsP9jz2rq=RiNd76PbUe{zd zzKpk*_7|u$K~E=`XFK2I!w5Is$5zQm%!oYWzx`g<37;22#|rszXJoJxNC5*uG^Z+m+A3F+)eiQ2(wf!SCKk zIpSx|`Xc(uXai#rVb8s+oJRF0YVnxS7~Q}q2gDMXtTPgaRWN0~;*GefN$^ACY)-m> z(fFNqmVPaG*pbLd28FsWE9=uY4b_7!>DfEI#4{W(-QIdm?tkl5-7y}#2fJE>p9>}{ zp93??^sZP^vgo?`v^+cF%{pbbv?VGw4u)^%J8rqFR?bE)w9_HybPq9+)MystrZaWI zbT`(Me5WKd*)DmuF}o=RO(veQ0z5_XAD$0E2ip)D%lJz*Sp?6NMif4%ha1##Tc?zL z$j_>E^$B}B zIux#%m~zFPOGE^`G?@vn?b!S%Le!8fLwT?G_?kLVd#?ozKHU;`Iwz=$%ZAg``-ErR ztvEr>-%wsU>VVeef<3mG&FLVj*k?8S^(WxNq#LA>ngv8=p8`8~psZCG%Y@fJ+k+02>cP1K$r7zXs6c~4u| zs9pQV79dTraXM(ZjE!i#Byr{4p3e*2Qmb?Sc>R0S(%-gUyZnDVhOKw2In$TuB_=5% z>9sxGMz_A~#(cUx9ZKUDH8mY?<0F#MjziPn+-UG!3}32AySZ)E(+spsV^tw{`s8c? za(NNlg&hK@h?Lc+%_r5y$y=rZEfq+RD+kWrZ5&av6<*N@N5^i&&k{EK>}9$ln+)Z^ zD1Dg7e>dFd)>rj!Mmh0|gWX!`diBj=2~@4i9e{D^MD{qXW3TdGwwFSaZ3f%7Efty| zi;Fln=c@M{@H|TD`>QSb(l?LI_fCuw;26`G(bSn;b=xb9Aors}e6zIFyKl(#F7^J{ z9Hc9VH}!Sx;O?-XnG$v zqo7ArUj1=Vv4XGij@m6~^ooWU%QD2kPD#MjTO09CBS0Ih zLrea{davQQ*>LBt7B6>hXD=T`?Z%}gslEM3R|JrJ06M=- z)4GafcalO;`$~x)^;Jbftv5W!&y@2{x5J9E9?5y8Xrg@{s2?7hUj+y%+r1pG?7D-y z@?wvbvDwK6dSh!75{A`XDu0Ks#jJ6%_QcB}xOSP1u|#RVDv7$2hJS~Gcy}ZlbCl4* zqHf61YQL5RpvqkW*u;Q1<)SV9X$cx$9;^6AT8QOTxdi_i5Bt%%i*<8qAuZj|aLYST zRm1KtovGA&Yw%8) z`I_zTACfHA8mF&ohoOxmF#N5Uo>P>CqU~Xm^H3*OAuhkzLU4aY-~}YkgG@txb|KrjQ{JKG|XwBYc{q>6xU^t8u!} z<;`v!UhPN#AnroreaLth%Uq@3cN zgQVvB*jZtkl)Wj-f(vtL`WqIGE$+V9m1nu;nj!@0CdbWeZ;{XT-1p6l+cKQ+&ye9lamhiHl_Na>P?mY>7 z@smLtZ&@V zFYZYzcnnil>gt=2DOBFDrcX;3v$31KJg%3FpskjhcNW6#!qd>QWD^qwoPS>j%6kU=WYA6>bE{qG#Ect7!xytZ2eD2&f}MC71_E3U$p1) zo5ez-7tt6Vs%HJ>5~eBse0Tr_u!K3^lMoTDmI|(hz4C>w2zI7^F`PuU8lPtHA#1q` z<7_^X9p|osRF3e^)S5|yU(g`{6% z=0Q=UoC?$1j5J67n$mt({A4A6QXMgfEhQD%V$>+=H*l%EjmRHX_Iyd9-$#&USqCT{ zZJ?)piXc_QYQG7DkIgV;t_YE#t7h)|S_ut&HSWnqh?~O%hr!Uus?F%XUP!5Ko(L#2 z8s(>PZ3<;JktnM!i=$4w%^?4v3gA#e^=iaU$<^@BH0ZnB%2<&Ko6WFT%|hLu3KA9+ z7^V}b7U}9$*114`Yd+!|!lg5np`ztivmr@YTK{+VeILHF6J9J9@0v-@(Wf%mQ|CFf ziB^kOdc*?S(uJiffl`D{uBF?P=2hY;9aq8PnL8H2x9>jg{cZm+K^Z0dX447Ia#CEM zxc^K9#7njuv=T!#B^5GipioIYm;85jMeE*5E3x8V&XDXLL|K_skezl|)@dz8D-xF* z3e;Jz8>^cze6cmR7u`skj^@3&Uo<|gbXd)|~pNY>B1U%WiO{$5v>#8EMZq4Ag4 z4ZZS4hTlM*orOdTnK#Da=7U$T(+)qIjY-70rSIO@fRVC-K6m%0tU+%dZxoQ)-2oxl zxPX62Zf|tB=oCJsL*%T#xNr>%YZ^*St}h8D_Y!~%h1VqJT3=fzfxom$27O;xv|Ts7 zjWxOc z?E;7%mOkLyZP(htX%RzlfCEmQ2M%}U_+Q!Ll)!odK_q=~xkUEugse)*P9-|HT^BR-vH)yCMxk?VGW6*r+>Pasu`=XH$a_Bjq?3>DD$` zxD9XEk0dRj?cy3Ru>n4DzEP7McJ|9ZX5B}_?@HqhSDF3eES0qrvtXzgt;n31u#tlK zExheTUq9^9zeg114Szkp3MvXNmnRiU?%R4k+DBr*gf=A}PQEr-<^Reoc$PN2@^`vX zqk!WTFWq?K;L0w=C^NYwvBuE&Qk0bC=vM1swC5Eo%%!+WU%0P#-qkCO)lXJTE2hAq zRkqfMB-ZwOOE)(qyzLBj)&iAVDAiwlhsrZI?B`~@A&>2xBa-qces@T3DFgEJ+(AjMowj$Hye1(24ldhb*d=p; zXN9kxiF?QleTb6iQ#3V!zyWouZHiu2o;JtUio^Ay;bq#`clN{lOvr;y<2LJmJM&pu zoOxV&;~0#IYgLPYOC8eFb6&=9yPEkzkPpwv`#&Hb=l==$I5^ne1XrES4U5!zqR-|MG`cUh5 z*)x5e!y`6;acO2?Zvvr4>(C0d-eSqc*Z?eFO4SK5W`CiDhV0G{4*Dmju5NB-jIA%H zjBkyJBqss(ZH^6~<$>8k^0tI5{RD6zs4+G|el8=yf>4TW&5l1ZwWfAA2ewzBz}+y` z)v`jaGq?D)uBL<({a%j#nbEw0<3Pr*X$@a`;IRIEW*`7&pkI_5yITQZ&GqkdYimnO zyGwoRQwtL_AjY;vAfRN@;|y(HZA`$3tEnF*_9o|M-zQENmex9ERyWRznVOsV zi9d_M+0|gRq1nj=bTZ=4_K{BLUEB=N3DBXTp~2yy0Z1n z`JGY1hyMG|eQpg8Ko`y3HZYLJ@B8Q{5Z*-XC1Cjm?WY=HFv#BXc|W{kQ7PSH^F-QF}k6z|))4 z0?;paTG0=;wID#2zeL^m(4f)hFX*>_*=Ii8pFhkW@zh`J@n1KAq&jvs{|bx$iVvcN_=6?!cQa3$W+6q!9pfa>*H}rlluYN#hFY*vR z`P49|0o$+eGx{MQL-sHDk0N~YMn3_<0L&-6kNo)e8pE&n(AX>814Aog+t2v9u8G~r zD?R>wn-){oGrB>7TqW{ZPPtazC?dAN4ZxsbZK%0 z{x83JdC}cJ{W!bSEN?T@(#f5Cq}#)1U! z36w)qMZJ{z5w5}#XTG@*f!s&GDFZkseQIE|#cxr{=~u*1HdMB@ZVPGu>=Tz4`C49d zA+xj(RFlx}lH0`A?_W()LvI6r7 zwg&nql}@?4oQf&Xjdr`?B|Lp_Yc#SUw71ncD^5~`ed^xlFsc!Y(KWc_H4T!Q1Ej%@ zh9p45!yPXIx%|Jp;fU=&V@22!@dn>m(rQPv&9hl=4F|1@rE*s~!Q+AC!P6lg(Tt7K zrnH|aWYNqgyK78*EjEf{`$I_JGYNfj5o0eRUYu)Fty*-Y{d>1Yq}Uzk`B4#sWEny_ z({=QB9|spAWgx5Dh8eK_mFC?bN1Rt|>9`a>wVTy$55!ATzJqXakZq}nhF$qlpe z_op;#k)oGC{t7&gsLXlRDmD%zjtF(B_n*bsWO3O5;^O`SVBVgYICnoawJ2;u+zl%} zUG)yJi1?9Tg>xv1h+8$-@e2pFsZ^whuutcf?s+&nA-^)ZD{-rBr1**wy2p0z^~dA& zoB|=SoTP435d($$4E}9%Q9q5|QoK4kK@6_v7Sh1xLaB>9a9B!g8=`ooZv&X5-8$=L zk>^Vky;MP&pT5LxE9`3jv#(RSi;r9S&{mmNeTr`Z>cBW+GNfg)glJa_c7kg&sQ@za zixu8VSLFfSQiqhrpQj&0iz^osAgL7G*67%ypu?pKmV%C4?td*T^mky($hqb0;=;5u_ni5Uf zSt8vG@mOQP@zT|)dEW0P{cR~}JR{5xHkgT5C_Wr`^GL7Yk6{@h->o#NVwOxn0Bd+$ zD_$#*#A;zAAguckrrkY7S0^umjN{vnL%~ zTSWBaXx7&H$u-#t6u*(z#4<8aP}|giU8-A!ZFc74?|q0w-}jk`qBrWSY)N0!{jT*D!|Gyy6+7P~s^VEo@Kumd{+|L1@$PiCGc>!Y!hH`uz+uW6 zXO_r#7`Y=@W>WF5j&{6-F8s?mr7ay$+)8F{i$h38T!pF~Ixu6xITnmmDvqlrUp3NH zj=48XSu8VX==9>fu_~1j(_Fh9{LKW9g%it{KL$RWoV`(GRLU~ZNa+gIkDNO&eRALG zu3TZ1E8wd2A}b{mpKo3=eMRsM)UyG;)9E$#Y)fS$Z9yPW2da&d_V)dG2fkN2nkU_g zs_=2A<04RB-i_gs{8o1oJQwA|EXvEMHb1&tE!B@+4m#bU(JKMRkvnNB+qZs$w1NL& z3)qTjJSGAPV(rh1huBo|a)qwp&8vXJJEIdDt^lXvmyJ8>a<^bf6I>|Ru2 z%n4`Zr9xo&RR;+yyd5$Es6EFFOr7s=(i45TxeJmYNrVo1Ftzu8P&YcfPSFw zT%aal8nsf3Yr65U`VsGLu!Qh#-#6l>91>Y13>_8?Fipsow(ABTWUspbZn)XJ!WGhx z$nlE)+_)a#B7(Ccoi4QRRVqUx^oFzi!Feom0aO2O!PVS4X*!6U2Be45Kn^gOr)bjB z%&DYIUZ-_bRY3y_F>A$BQz5ja_RH!mD=zT`JaD|B@`HlpDmk?VaFEt2O6(dE=`-(g ziEMzDI<{u>kTFFE#5PT@!svkADBZ}EsS?3Q0xo5qe!DC9| zdMze~xv;UZ;=k->tH)k0x8RnS3L`>WL!G0rigD1>smA$Wz!=A#PDB`q#RAPFb7 zcNevD8??6#xKZjxbhx&z^M(xfLK@5D-+YW9w+Ddqh!;trJZugi@@3XLKJjh2 zu;>L5)~=#(Nx>5=$#mX{n@rV_-cY@i1EoFhI*1|h){+!_iw%Js5^0iB*X`<);`1j3 z>esh{;f1}#p#}|ugo@0aekn1bf*Ix=yJ=)AE^kMV906e(Ad_XF&aXHYEpsf#wllyn9n;g=S278L#sds>!LrDiXA$=S{;f0_n&l!CA{8D>B8a^dA|<$yz@zNEn~lGx{++)kZ3o zhs9&c&MQk^5ha#XYqTqk^+)kADS-U4G0`Y7K+(f16|4MJZPJgT>O+gwXLWd1T&X_3 zd5V0wBRtD)ARcdO^vOi1BKx#g;ne-ULm5aR>j)J+yq>U}Imywtn**qDg?AQ6AnJ;V zctWX~n{I?OTi(*rc8aydrdb76esb(NP1A!_;@xXxdHc<_*J^hCMSm72{r#wuH|7@T zP?gmB0I(6`$Ye1J4;cJ?$e;_mBoimJ<(e$5ZuB-MF+7TrhEiOx=y;*wf$e z`!gWE%026dgb<@56Gy&|F@_p1J+4{u^%C$I3^odHvpGVvI;hPt6dUBMeCcwt{$)z# z?HypFh*4L;k|oJ!@12R=7K@iH2DX@aJyjag&oi|fB;kj_7U{7XA9xz}YlLo}avvBF z`0cvv(uKbHgRs*Pos4Nyw24Y+LyxyQ=o5yD26UforiZMdy{i0s>xP;Qo~ZF_XhhfL zsgnvLmz;JaHudDNicFG$6xv+(;-ODpXIhPgVCq+YHGofmn;n1rfUJJmo@gf%?Rf{3 z#ZHcqeMTRjntdAlfw$ys>Xg#W@HW^~InAUDKjf7U4JM#Yw+TO=mQ7}6KK4{;2A!>U zf~P?RLqQkZ$-=#zG@(2jTouqmQia0vor70FjBm?hZBdi;P_!!^U-j*8ohmv3R}qDc zP!Wx_?aTG>VV%)mnme%FSD>g3-Q?oX|8hVCjmBJ4jNKI3*MA+c(Z%WF?NAc9?6ypC z@*|Qf6~$msYHY7~Y>WjG^QwMEa2*mY>*zw>^*0H$6wSVu^4Nf@UZRAZywVkzcn($#Y5LTEW4YYQ|y&l(LcA?w$IaivXpo3~kZm=tt>h3INrf->Q7X6Vo)JBoK9P4IY0%zvhIMI7LmU zAftoj@S}%B*^JJ60E((yd_zE^1pfMo5G+Qps!5KpNo}%(sx~I9WMffxmPK(GxhYUg z^)=H57lq@bbErjENP)Ng+k7l@OmWeAX_MR1q3yP=3A<|_3>^N|H)X(Q0cb8cvfQjJ z=O4tAI2$zGKW%-RK7G7Driho3Cb80%kId(Tj;NEFI7bGl7zDTjIA(XgIZvZN?xHe$ zOhes_`4aTAlB>@f!vO#_wXJ*%#pE->tI!bgt$5VLv1PbES1^nVD2c7r#PSLGx)u=} z$@$$+Q*^Yvx)*BEHK!r3A&7rr2>~wS8(hg8-P{bikiTH9W&`$7v1~p54zJd9T`K_5 zdfMQXte+R79i|lu?Pe-77_wSYvHZ4Q$dx=(AYkWau$vjcnIsVE)t&u>Y8%8pvO-jn zpP$p+t>*lM?<^}3#Y-8!lv$!7n)1{ zQBnGE`1RdgS*q$?K)DLQXy6yQa$m@qbw|--c)7{%DBiYG z3s6d^;Gc^VXaw2@&g>@tRYSLk+rxKliSw*l7*NZ4;zB57^}$L8YBA~{pZGe;dkUbc$4F_ zw_fQkMHnMuI~F>S68w+|XtdvS61hY!QJjCnOe8sbt3Hm2 zVKYdzR(t~}M!6e-uMVs?*jbog>iSG^#5%W~<~(D+fYRpRsjI!dcmAwJt zV9l3j1MRx$mmu3UZkA&V-AUZEshfnRClA4r59jx>Ts7tL`0+X#%Vn^h1{v(7WZN#^ zV{9}!_LK>dPL0`(Ao=B{cy0YsaO0RP=vzW!B)x}Q$2f_|FeIkI-M9+@j0 zV*5JbWzeb{a**6nP!A0A6X+QV8czzkXuLtt(RUv@6uj6p_{K)rx#xqE$}oC6OpdGI z%_J9xPGo9xN+hVgd9GHc3h0aN{j;Xqj9$LS*pj;t7dc|@|1>sUmxVZ7l_p>ZkR+ijfBCsaNB~djuPLdeJk^HK9}CrH&}^#_&7m&5Ly6VF`bI-U$XApjv;HO2DQ2q zcppLLfCESO7?M;d>3!8Ac9cM0n{dHs`}opGa$6|zjI=knoN+7daJLXwdgoQSbdcM{ zfs;XpHv{I^ZP)am5BP!r6O7%t3oX3=C7_y{WI$Udj>BpOi&^7@l*4@HHOGgEsgGvh zgDDudRGS+m#QeF-OPHv=d=|F{?Q10?6QHv1YT!z1j}sJpV9l%M&O!C9g3@}&eSR0{ zH!ei*A{Ox!Jq6^2N=?ls{nb~r%6FU_j-4B|;>P6EMT zMN@puEJe+;_s({yL%4j)w##Tz@P;Fq9@6?=#PnJ$vpB+&;#b@3%}lbE2gB!9ssh~i z&-!)juza-SK~E>hy4d8`hRmP;bXvf9;v+4(t=oq-#_7X<~ezBvaZsx z@VUkcd2I+0Pf%Z@o)B5lS09lxNwlb*C*pneKUT6aiqIjuOrt@5@M5(ftiCQ5PqHse zn>hb>j8E0ekK!5AChPO8$oRKtcN(%)KJh`%a2yNm^X9|Vz9k*Xpy}izu<;h)^P(g z|M~SbzM`+W)JRT|m_zuIn21A>5^uL@}71uQ6`RQHT?PX$chjH$v|WnE0>oo7P(NMhYiVwuc? zx<+UM6qVg#Zl3rSGABU=saHz`nddHyhtiI@` zVS8081oGO5-98z`zA;AMSnIb6PSCmljCWcB$Lj3%YbXGtuy~y+kd+whxB3-M5t~sB z6>Ir;h5hddgH446&|kG14oj7cpk5}aWDa^lW%buKRGLGShyrakri!` z!xZ5~f=L)|%^#ZYDb5OuPcR0G&gY;o+3;aB&w7dYNpCEu+u)zZ3sx7F>rV0vTX>EJ zC0wuSE){lhszk)T7_8SS#iXB0d2MIQKn&KnQ_k5ATQeEGWwq{jR6~d>ju_44txKD@ znGLd>P(pCZVbmUJ^{ZkgWH?8K$2R!6jyLC52-pW2>;yeam7!SbJy?c1&AMCKYh;7& z2)$kvVG|t0J}KR$AFH*doL}1Ps`g)$td6WltgTm96!!ghz$GyA?UF5Q4(=z7)A=)2 zsOmpv?WZVq!mHJB0`Ws&IR70CuH355%!Gv4gokfU(h@~?-(>ybH)481m4(Z!1j--# zsT;3%=FvD;MOL`HhOhnI`u#@KPLrQ#;0=A+xaD|m_E#90saCK9gH;Qxa|!^)TL#rP z@fHn5#>wtNFnkor+^VnEUa5EKp$dnbr4NxAlM#rR3}PT(M2uR%{Tw~7Bet~)WO~I7 zr|Wl@`oWZ7mowpwV}EK(+kIOne1?sBJm_BzI^{$xT7PY9fq$cD!j%K5^4)d`1bkAfre?nGzHhk!+TRD(>`KcD?u}!4SPFXg?ljPm0L~YI<#6%D7MpRUF+?63_uOs zA?}kZN%9Ml^;EXWvyM*0N_GOPOaF-0~HkTMpAW*=#(K|OuWRQxALP^ch$W{M#df!DN{Jw7iWR5jDGB9BE2dwDE?ZVVM)ZS{`5# z9e#JEc=S3$$qPQuv9TA>_F>s)VUUWpqDT-8IMCRL08r9SB8LqjvzjtHQB;kzp(uE` z*!wWBVXpg4Z?%nC3^f=p3S3vG{P1vn82(-Kd7`~>j&WDrD2o~hl689nRdnOvLs4p~ zh&*tyJ&0O|t|-i&AU_ZBD47CVq{*Rse1Z5R&EY3khjZHK`R#FuM!xfO_uLCnJbybo z{WXqk7foz_5_tHgUk2>;Rjym^5?wv0kQ7Vx6J%aOl=;C~qo3oPLApK6olZKC?^Ovx zsUC=vjVBD7uxFzm?45hd8izzO3#4DOZI5(Df6D7tm$!g!KKUaizFQ17BDJN@9CTT`Kp! zzJ>@)fi^z^`YLc^8|?wcZdMG$$E*Lqe6PosfHx1`{Q@1(vbz1xHt!U&$0c>!R0+GZ`b(GlSxhmA_sf?|Qv=)+>9}L# z=R&ZDcXB|%t6ddQ)g2u!l~;Vddj6jl-8s1>=NvDvVAoRztaD`T4WY?EO0xY%Ue10C zqxf3u=Yl^bd{;b%Gfv;QK6lon$I!m7QfKTTWhs!psUlOd{M_KdPqY_%PiV>~K$<62cnFi-9bCLs~o$|89W^{WCm#o)e#0`Vd~B%YixM(F5F039?~60-oN< z1_JyVFv94{pEgbcdDaKF_duEXgkNbuoN_ca%~YA>DTy7&8^Vyu;p(7Y3& z@AmDtI2LWht~Izwo?|X`=CJ7`RJ)E-^Gp`TJV?6OC&gbin*8a?$Ays6b!an-WJUyv zA-U1{3<}N&1I@9d@bGf11NGnyrNUkhzeR2vGyJ0jZ#%>&3C#ND6HQqyGYtu7(6SrV zzIDBh3WvJw@%?Ws@-}VO84g9(J_BhxzG};I@23eYX7#-wNukHXmOMJ;`fP5qM!~C? zDYZ|rY<~-ip6a|!fvyrdoQw3VIpxM4lR3>QZwizl5ysmn;cYud&0o*j!8jfAt5G&Q zONNEVdg|-9y*=y79ejAq5m(~X@_1Q8ag=(2&8cx!>FoVl)#h(hT-{G7!CVdnNHDK2 z<@CHVD9;X;T@VA8^A*J7Geslt29V!FVQnS8dr=Kokzwr;0o{%Vgx-hjR@wN<65X#+ zbxGrGB_lG}11wpI(B`ovY~aBf+Ap$JCB02XH=mXDGqv5*c50b8*z<$^gKc6iccYEV z1j-lfVwIb8aV(Gm=`FIFnZ)Ti)reNAc2P)~R0=Vf-^vTzLI*MXZ}Fiz0~E5hc^svj zcHkf$p*1i3EeA>iB3G}!O89hx{>5wb<3C|cfyWO}{6@V$Wq8o~8Y}=K*is!Bo*>R& zv$XnG(?;`HMd_4W#;8%y0E1#4E9}rtAN}FN`p<;e;hh;^yw)PbHfG{Z35+N()x9+E z5O8SVPJ5o)?w#-Y>+Sw&TJbM%#(x0|whYz%ClFTbSfu%+mz)9SfxS4+2@+&Ht4DzPfbq=bAx_rI@#+a>Fa5f zj+wcJDbg|7Jxw%Bf$am>zFa zoLGkWe3ng;HG&^@JZ^&nx%_{q)wFY9fy5vSo^X)*NKeJf{uIB|8gAitonRydFBs5 zSPx_LMNC{!`7=`oov_?{X*O)AUC+c5tgRlYKTlsr|JSKzdu5W?83zcEoxS%l(;4gf zMasgCGIr;UA)__-g34AmBb!H6qi%6Lx?0bot$i6>%1|A$k8y)ov$A$@ka0dG(0+wQ z&Z~A1q_nhHf@H)|-64@y>UBtzY_$?%^L)}vV@ue0>SSbs6WXvFQJtH7Py&rwrGMOw zCs1zJwKTUKkJB9tkDvK|O1$(KHTF6ClaaPG^(@Jb(B|mn?vcOL&h8a#zRpwl^QsG_ zveLK`q=kxeColq~&SGjJ4Qs(grvQ3>ODR8*PW@#D993LXBsJV{1)iX$yzt1+o`2S3 zw*L=2K1g5yW^?b8awOZBQ7XP2!sV2@pz#r=X@j&*ds5osZ7(6eqEaq`OQEcOKfB3J z+xjSbf^N5kW(#p@GjDpi!qvvMpQ7-y^}5c(W>WB>|FbxsG7>IX+%ZKxpOtZ!hH|bd zbSwdP99)QeHC74R9Y_uCc3uPNy}vd=!r-F|{>b_2q07DqbaX*=B#7Z;RHICLN@F$j z9SfU&wfwrg!Mobete%8Y{hufjFVRRLjUn4gnQrldUw_PPQ~{OOL!soer_z2h1b+YQ zAs#|x?lpHJ`n^G!eP_o>iWmi&kQ}hHZCH5xO=}HfE%^}DuMK&pk5!PMW`*vL_NzN! z-pJS-yg`?i{GJx+UepnTrJsce{tl*jKZPY`5F`6$Nq0z!lHtO1u>ZgEeEthrG@fpi z=897@>zd{yX5j)t2-vx2#3+HiTc(zaV~I8ieW;dO%-6AU?AVK!^=FQ6!m)YoGj{TA zsFzUjmLpuwH2M0I6$j;N#17)%w^*xy?h>aAMC(q?DVWu0Ovidvp0&X~`^yX62|#_o z?)764B-M@nK@_QA-Wz$Cu1M4rMA<%Oe>5ve-hBYSZ@5=zv#0weB{T~^@}BYX%Z+|7 z7e@|nUPMXyHX1*UJOu=-^V#NMTS@tz9lVL*AwTK7`Zku&vz&wZ&@rB$`0 zz!HJnaiO;vVMIaWvd+`2VlEQYZoxl zi=|UmRAj`qI+G?(9ZJfOB1yK0D!%GJ30f4Pe0MRKS{VGkYpqY*vGHrWXoUyy>9`~I z@tqAqe?mM$XXG@m352!B!bo7K?{nX>>0q~_pH4PE`O`KnV|u|u1HrWVJcg*Jg2&{> zamE=42?NU&1R||@^H(yoz7+z;5NWFdj6x$X(OcnRTbG0&M}#YN&+L0_Fdd>o`PQ{b z@<+D%BQ_T0S0kC1pW*kVg%4y6^Sz5O(_ zg!&puVH3E;>~;iRMz2uUAe619MAqJg=QQ#twtv1`93_>IQh5oBs5D?7P5zPLVmQkh z%nBW!7bZUL!j*(R<3(5q6ZH10(X)SK{W5zyvWy}d#L!V~>(+W%v!7vMWDL`$CJx25+ z$C#zD8*4SnOgkP0>_)H&@Xup4Jv{mzi3Hb1rC1mWrkfo`&kN7(?C6gE&XegI+UNFC z&M~~e%05V$`F_#Jm|7D?6bI{qmrbTce}jjOW&Dy0n{SJF$>dJ<+Z{9Ky3(VMnIa-O z*+(bG8(ZT?9c4x%!+p7u3>~8f;?=os5Ci#epu^leP|{~7f!ac6-McZ4ht|3{+|@HW zik4Pq2Q^&Ulnjn0x`g29t8sw$Js--Pu_kk-${8iGhUJ_PSyR7%b4-BLYx>Ifbb6b2 z$QwusY+F&P#kGgn^_BYZjPhiKW$u) zbU?kq&+Q5huHeH??i-3r9>q@+bJGW{O!s)?y~q7Ps8UBOVo>DVd@E|)|HZP)mJ6WP zU5~U;vO`j8d6Trt^)r9CKC*_#t}4*fwx+c|Rp{f56|SvZ21#w3a2LFnEls))E@Uib z-~o-_vU-i?y~4I7IV$1zVkuGba5b`X&jZ>NU~Kwzz0Xl9BfYsG z`Pu7<+YqLjTZqB9J}NZNP~oXbQ23t8(+0DBln3vHX8xf4Ocfgeo6#z6q)Aax@-nPW z$Kg`~B(FE!UZJ773kPp4i_KJv808mW*v)%bRR0_719BO;h3<6M8)Fh`EXCw2_YvV2 z9N<>L#+|M#DYFwpoTtoDKo&y66wh`b&{9~-B`vS-#?XeXvw`1w+{|9JDY+0`FR&58 zl3i&3O)Fn<^-Skm^jlUA6_zHFu(5sa(Wrl~;ESdc@1-JPgaw;HU2bs_d~PO7ZE%Ip zjv0cp5R>{1WC8DT2PTq`gKiO7*wwoY$w*d}^VTaeBw#7t-WVFt;~u2~tl})&zZECw z5Th#@-x+zLEcY8AcRNHrCZ)ngF#jNqc(XjaI+6R^R;QzU{GH%nB+s^A0OKT!|66SV z>~->d9P9H#cR?*VkWB!hLO8?3MB$iV1%l|3npa_*WH{U?ZD2wPas-tz=g;Kx+w{L>w{=Ve~T6hrGv&v%c)t$ZHZyj)P8ax1WyH)_dsy zxq>8pKI&ws@0i3M{pTjzA2N?Gp1Gb4KfJMuqk6GGBRTMsq=yChW`ux1?|w(z{IN?C z0lV4b6Hzzqb``U|v*hHray8PgJ7G%jkG&|oVqyMioIIwi6965snRpr*K z-H?`o30R1u00mFprF^*8z0Qt3B;U0|tqiYVPVQ&Gw}9v&i?;Izn)29^o1WFoyfBahJ^OA|;Ri>|)Gm`JnNa9Ub-&)hPB;7S06Lw`J_B)r^ob39`M#yPBEC(z(+2zI z8WPl7Sj+I#3sG^`V>;fsEhtjEM@adXtx{jc7A(Ve$15avET(xIK z&$cxoc}mbh#%47Lw1o;691DDqZ8jV^Y>t`@?K&SBBF80Itr!X5iF)ZK&A-d9mJ1%H zCRj5d3NI}tJ`{snmC3a1m89P(u(l+L^O^4C1XA1zIB(f8E`am{L4en`-t1?fHkGqE zw`{BsS{jd=9*m$HtJ^D>Xji+yrL zbBEOqLGFfRX_FMOOOd)c{wc7+P2!8Rw#vs`0KjBv*=G8A*LISH+`a0(LD=viO|{?L zG5DHJ$y2n-bh^3*&5XMUNs<^Cyo^$Yr)NsH~hpd_NFeIKQT^luc3CX z-~u~Y8MzHYpb!%mYZrbUolY{Ue!A}C)S#hp7I0su-#=C#jZVZyv(^#*xqmaR!@e0k zw!(|Do$){^fpk}%UFVtc#N~0gfc(A>N2|=MtjJSP6hZ=%-mp4_;aMWa&Dsi5h#*44 z95?uFM4hUSOBUtJUCE-8#oM|7!H8J6*_hJOZ>Z*3zeTsJ59yg=T64XOzDo_Mkdre- zGfP+{g^6JGWO}MlfRVmd%LcQ*jtvY{A|dtofCwJ}M=T={3oppLZv)dFfLXz| zy39nC9h$hMTL-mo8hpxRS}rf7nEtF)BelbLDet$Lt@hQ3Wky!s>oVhhc>UwAvNQZz z#9c7v+t(Q>Kn%F*sDxRYRLl>_$jV|mR%h_mX!3Q8NF8-*|C^Amxt={`C`O07K}!r_ zg%6`mZ1gW1`>___{B~|LBi8C|)XBv2kmInV%gCg01OGjo3ylpOcj&*GLP_$rFbgQ) zsASaE(r8GkKb+q8N+oY_ZS&Tyrmd}$QW+%nVyR4sTKuGj*iy8xB)?wAYX+wunYSIg z7aUHD8)Hms%$PV`h916?lM2>Zu|^mo)_(bKEo-L?GdC2c%w-Ad)}HaO>r|gm%(-&W zPDej{h1iqAQ}K}Q0<;!)3ir~ZUmwb#_0F#XE(@VwD^tFv_L-Sqfq&nX3VtN1V}TZq zTJG&mkU$?GNk8nU*9k|VC{CWNTtmz}Rb;s4py4X7l5&IY`D`^ydERAY_a>VitGBxdidHcd@} z7MoW8Ey^ICZwlL_F-ysdVz8Y;Gul$q{4BEhxC!~1!T5GXl#wu`iFp^vxwU#RO(bU% zlUP?tT`><1fPWYPrJx^5r*|p6v#*g5AQX0zP#b%yJr}A^LQyqZGLxJ_TK$-*vtrjT z8vJxJdJty}?Hrdk*^|o#o7DDm9L4t(g8uHKC*-nn(4QB2z8^~2?O~TP1}83EVqdxL zt__-*5nobd&)o1+e!cFdXes$;n2b(FqrLeLP7dD-%A=Hq$bPJiHLCYoYY>FrF1cFR z_Ge+Z`9_KHqVZee1(z#Td5K;+MfX@s=|sHyzKZu$`&2JUm&8jWxEEPGjw%(=!^DzM zt+i`o#3*3{&(|(c(J0C~jr|o(S0K0=CApR)DGtEGg53{ASe}+1*Fkd3gP($f{;5Zu z+K2r3NcU;So`UpLdj;?zTEJ^_gk5W|OVr`!GKYHi{D*5lGK-S2D#6_pUJxK*^fd^N zXdGW|*BgOKB~`~TKANgr_9RlVe;4^$jH2mvN=vL$t$(OxZRW?AjK@&WGagC3Q?T0Rq}rjK(iy^f zEA#-$1IZe{yUDK39S25)?N$>}U2%({Q=f`z`QJcBGS>kJ!DzH!4X|p)olr2D32>?SoILErJ_s(>tczGA!LF#(BoLM-_P+&?N#!p%F8&QY^&d$R2gY{ciZYx6?JngA6Ipuub5XV z-9y7PMfPr0v|kZXV*jcy!QGWAZ7S6cy$mr74{aPPZteYH5FofBR47SbGxb@xTxHw7 zP6#;1Mzr(;Hwv&*bbWfJF6gQyydvlEou?POG&RNfT2`D^0qAE{J`#1{q?b`(W;xrN z)*#j1FqFO{uhZ5PQ60_WIs9s@4^PY0*$Fu+)1Jeq6dN{DqpfJ~i1ahA+m7Ly*7n&h zK0gF3ZB_ot!;RT*!UKyuG>@b7g{gp`r)DNwX;T?nq!8@KWi~)c=$WEGrbg}`u+Y^% zm+e{1NVr-Z%|wsRXGU%Fz%`9bYv;`mL28$TX2fcXVqme4JixPZ8Q3M@Ra_8e!vz$ zgLaMZ%^8`>?W9};#+mx?THHFE$WJi1q5veT|5+W@sUGr!fO(d)g=4_1*tcW*XP|eI z{k7^L?Q;wU2Re(+LztQN1U&T3tQv zd@#L@(EAUY;y4=>VJ9w;SlKjZVvbRo?S55uBP<31zX&%bohCks*+XFsq-L}J zru7;d0pX5rFbf3C4r%NXr4$Uq00Q$7!@xrBl7s|1gcLDtF1UygS1D?#@}cm&=lsXq z*Pr#zpVw;E*~VJmYu{Vno%Npex~2>4JBqF0s(~s7$|U&&d^MSzy{z>^?5+0E6R(1eEzrp^0Kd3*{h#;Tb7$(NR&Vj)Nc?cD}18|2h zVCNNl2jWEu@PGsrH}pgk8>nvR@J`@@IfAS1A$zI8098?501LXo{;g+L!2tt_b>DRe zXZo~I-%`%)(^LxDq#4oB{~5iHeyQd&fdIC3Zn?<^^2@J6LOlg|{h6){7PPtbXEnG6 zLt_XM(r*u7P5CR{67={pcrzdoK!E^_l8OTCqXRHZjS23ndkM>Pytgagqx-A{*0bY) zfv@kd0=|Z>2j1yVP!^UK7?&8&zw3AVy<%|&l!0t{4UhqH z5-NyN%?9qp zAV8fzi*HT^6bt7!;`hJW=RLwd_Q1cX$G@d_fAo^e)9df8*_W+9{|-Sq1oQcR2=^>k z;oS>;Xg7Ayg}<__fWI6~+6LN@*^~ZWEQy63915YE+`nD1h-xYj(6*IO0$ZG4lLFoD4?2K9-0ZO{R72$0|OJG&;EoLf7%HEz*gx4=8Fvpwl50b7H%eli&e6&L^^ z0)ae_0d7Lb$S9y5&^xh3w3yFY!vFw&l&~IX!0pyE=!Rgzd%xU@4h{iO_A&^Qbai>cT=+krb87*&xU9dL)p+P5yQBT%`a_bTsaTt zB)w_*eClbCpT=0Uo=kZa-{R0c6l-rxN6dE^R5sr_{dWv-t{rP3`!$n!-vctil5Bau z+r{FrsvFvDe7Nk*g{>MC?-+kowmEcTlpmf3lO*1Gt}EtQU>g$rBVW8GUzCUA$qNw8 zxpUfPGa&lBJG&T%#P*FSh3irC`qB0? zWq#$>*qW{$B$wUO$IXRRe(`G@Er*79DaXYni0$G956s@}n!IzRp`-}fq}Kj|&X^?* z6#J(CZd}O_ohy!L^{6Z3>D%W$GnFr!V+Tbwj3fnn#Xh>-=q# z0WYogaUGjo3t9!_&1-AmlXmK?ho8_vMC!|gH zs7rIuQSl^0ZiYfuVC>JkS)3TiP@%CBm5iL6Va%p?FltkWgUrB zp4&6QCr`qt^c2Ud-P}kF=y(cjrH>AoY+q;5YA{xvY~lr?RF~RPv3hr~<(6-A?ti%p z6KW8&g9R+Lmg(R7;kN3s__rhrG0IWwtO77Usm_CTJ7}{UZ{Uqf_EO- zxJX`%Dw)k;#wGkw&Kr;S_}n7@eYnI>>z`=UHrML{R)+?lT&5hHwZi`Lp|5BcI8&|l zwv=V!>Q-kA=l(F(@_cK;)45G+N4banie|Mf_-=b3P=+DVAwv{2YzaOR~{+x;^f7Zeh z=DCei=MfKWV6cY89S)^x=Esao+Lb{R4{2v7MxA`y77Z%>2YauOG&+X6FxHrN2sKZ? z$Hx8Z=V-tDY;eYYV@K+|W|vPlXG}_*bZQB@Z`)PEwH|ZpE(_IQLW5Z& z=^J~DdC4z*dRT>@ibuSvoW_&#O~E3+t#A|zN0z|FV@M!Nk#g6CE{f=(G9>SiRYpJ` zRPPWi{-zpAomiNnkNyQ_7_v#_y&Zt`=k6PemU6>qe1WY_^yieRVk4EQnxRO=GI`*u zJOEj`wnPjgJN7_3Z@qeH$^N0*?oK#*L?S1z|i z{JFOy0`RsPuE=xxETjsahnN>~aGBtJY*!>Wh4mmolx=7O94t4d!MSUgIKpJ}+W7Y6 z%kOM3p1^F2M2yDo{!tsoeYmtWWK#IT z2AJh&)7-eCvuXtE{1e^rM84@^!h}NCPuWgDC~IFdj~42jTl1#i-#*OhjUflSiAdv_ zPMo!bIkC)_Jr>ch0pQs^1Qx^pk`81iOIBU#rr%Ce=s`yHga_~47WaF+$z9>+Ogkb= zBZ$AZ$K4Mo3W|)a2WiM5crLHf5&SM=NPh_jsI`>eTgf1KEOu+8$f|(}GSr~b9&UM! zr7Ouu3?1l>qHr=ZJvvuU~@N@99nst?<>=SIi5qR2K)E6C!| zH!x)!sBC4GKt#n~V&!`43w&LZ@aGlB6(;yd4JqKc%$EoVOt0q%sKCK#1B)D8U9{9YpHR>AU96D=0v^A<$2`D#-Se@ ziGZQjvRUa_$`4eNqc~+3crV|yO`W6FN@er$epJK$Mm~Guf$UfdxVlKp>R5t6@0n;l zlx5y>j##l)NgILuGBCjyLqpbsRIndN>~sYy6#L2%ofpc1z+;+8A^E$kpm_4Bd0Y?I z9lyb7lT*jyR8571a~&UR@a%H{55TB}z?goAXhO^_oou%$p*v2|U4(^M{Ja6(*8W#2 z^oBR z^H9TXQ|`gS@N-^qMWO~3r~J%GH?l%Q!l$Qjp}5LL#ubgInT`ZdiWrh+F{@#SymV?k z!O8|oD+Q2l%Qj%NkP{xvEA*qsP*$`3c5W}$adx#!vo2^m6zxqf#y1V3H7S1aF(TW; zKek+o9RAwmD*IS`H7P{ku`4IEC^BCDKUgaZu6 ztgy)}2gElquEL4lI>|as6^ch2skOF{C5vLH2nM$CwRbu zx8;wO!yOK9)wc%Q)P$Sn^(2QLcCX^wQmAA5v#=joITEwUS%X=~-`G$-se2+FMCf40 zkhPhS(g6yCDKqlag04D!L1C-kQNK*uv5=SHzJhaxu%!2>YTRR7VY^!o+-BFTQ{a0u zWfHWJqTRTkS*pRv1-zYK+my-vRKqi7>Ua_ExewRLmLM)QES15o-x#6E>L`S#Bvwzw zsUNHnEu?25oS;gdf<=6y6VeIEJpB8jxR}=x7A$}ch{NV~Nq#MFM&GHPkW}1=n($?B z;E#cGGAIDK@U%T?RQb%P2uTv0D;Z5JHH7K&mz{MemBd}#p|iABx;m%Z+v!GAWD#f1<8!X)8V zz5IQFsc8cBbir7hKi0dOZ%{7qA^XAN+d}WM zK|@{{!2{07cqn<6B7+Q4)>MmOJ`rCq+x^MMU$=^|IRNoim_;$p`kSVEkSo&~98kEBS7nb{=Oxg-;dp(zAB~BTLZ3a@ zST9E#ArAK@iV51kMcm+ck)U6JY*JL!(ofgJ_}kN`gqiH>gj-K?Q{2;*788Y)-_0-F zoZ~1kejV@zih$ACG><;jbIL^%me%|nK+u(Dji^EFhE0?42Om38#>mf4oC?C^0<ePP} z<}ZxJ{0`N^%q5N23MNBfNNOca7m-pp&mB`Wqid+Qqw>;PxOl?rDT9l4GI2V+*~&qLwS`0(d`mU{SXA_^6hnwthd}VM{P#4 zNiOj^2KM|GrG@p~6aVU1yb?2{B#$Q5F@4H(Sqh|tIfIJZ6r`f9Ttn%X*6zmM;D1=Y zJ8h+wEIB%M_a-X)4guhTn##Gdj^?I$>aq+9hK(w3!w({S!QG4Rif4+%Qv^foK(qF;t^c;PRdTvj>ZpuB2Sp7cFFb$Yb9 zLy&-qwX?bc8&Wiw6Ky~jHj7$9mU3vuTIj20MFw%_O=VE^^KKHdhpO)UHhVU91~OIP z*dNL5N8xV1aueS%qB2zSmPIq}u(TZ3C2S{5ou*Ec7w!Hbl|j8wrV6<)Sa4Rp)SkVF zj9N>-hr{)Y&|EAv0^ASO5Ntk7O70g$@`&LA-}`t*K|u+j_6)&naEn{}ou0&a?Qo9n z0_{^D$N24}d(FE{L3c<4(3F}1j5dJBNlnn_CUcs6JI@7uB@y~7(xQ0`h2~; z-a%B>GpUQ=jLzfVFZFX>qom&x<`_y1684=IlL`L4br&5c;;Qd%wH|sB{bM&aeX%a9 z>&@W=m(1+dW79_GH8iW=AgqG3;U^(Wl3|(V9h(7ollb(S373!QRvm*^9A~pk=o{R8 z@Pv_rDci>wJk-Rr3*Jj$Je=fz#^+wTsO&q?lMrHk!Y*n*Lb9}L?k#PE(n53EM`p7B z$UM^IWXP!Y_l&)5?;lf(7iEi3F}M#+&{9lB*7MF7U--pM25yYofgpc`2}#MJ5?b2LMEc*ioPD!zP|A0 ziBFlSpN(n}-(ackE?JHn;C6nY=*(JI?S;X6i?%w`W4qN5S*%k==}y4dSn7N{n?7rO z;fCYzg0ZLdQoZsX1GmcQ8P0`kF7vvo7VN%ASejeoL?6IKxn&c~ACO>&UI3L9H4Jz}9)u zbpv1Ij@8AMgju*eqevm5*_kEC!hL^??f};Fs!2B&!L}Y(9j4sk4qPZ=SOAaXHqkcT zd>q<@lpEpMj6Hkvo~c%6EXia&P^Q%X`ZTub8qqPjvvxu%0{+p>C0IvUSHS3Wd^%h$ z%9A~*rG7(jyjiRfM0Mn6vU9F#|HNB&p&h`1gg6SnJ71R0PRav|9XINpfzhkm>80Ww z)|Pf3oX0-ebqySuA1Mwe7!gImM`IrM#iq4*&`#S8z*!9<58P%j!Ca+$GN|fO55mtu z8$Td3*DXkgo9C?PMoe4*J;kLy#tE8??kyMVk>$xKs)<8Z&YI*@5)<+9klgGvQfL0H z%Nu@;GrJ1U9{x{Sr(9Vx?n4}c=`5#+0^ZuswwibQtXK)a+@`y!ShQvw?j7$k9J6#W zdD4eK3g0+Mjz1$SPA6{b??QFUi zBKWWm3~A?{{dx$Ugac4W39`mXi?sL)z>n}_hE}iC7uQiAG!ElY_I>t5+^*dYSi ziz*`bDznLWHx4LgJ~#|YYw(MuXWLg=hA;Vruyu9^rCWd8rDUBy$$P0*50<4SpgDE3 z>-BXLFlJ|AN|L42H5&2=e7^54shx~2s!%uEqPQE3wQPd+PU%j`pPjRh? zhwN?E#qo`1CjQX$Ide|m7y_Ic9<=WA2vA746K|`{5gLL8WJMGxkW3Jyk!w)|udgF_o5COmztv>Df_-&A`pLWEQ1^!KPL zZUw$a2L~;FX0b=#`ac68&epm?mtgRQY!skpy+)?E8>?kfAJp$#(js@8lJl<#`-HpN zRZrSQ%qPKeBOT!c@bS#Fpov}NU53OvnL4V(0;#p?V^iy8?o2o)i*vsTQi9o)0;3Y= zrGuP<2<}6De_d#ZB(FPSWB)T>c;?J5dU=vefo4hmPBz`0&mdf?e~OVh0-|8sjviWY zh7q~sT7F)k?p{dBM4YEvT-K&-2kT;3?e?-GBfuDEamsX0i(t(|Viq0JV}JIYwTJ$@ zXIN$l)yJ@9^I(QT6~~lFZR_3l9? zY|R=_HAH&%yanoGfMOw%Lj?^em*1kLEzymGN(0~#AZ{Y}%2={Y@sCw6_&*QJXT^A; zCbR#s-fF-gw2GUqcB&42y1P#sSFMP(l7)Au-Th1pROeD3Cg*B!&CAdK$UNlkagr>< z!EOiNw3&tfD>DNoIKaw57*EgGVpzo(?7OKuzgkmuxEF?45I#T@;WGFNEWcqlj>1lX zRyYUTxH;@216w53;U=?*&%bRcK>S#q|CwAL&C5UZ25pik+%JK_6#$Wt*Au-;Py94n z97t(bvtQFYas|HJD3@xPt8j7hj{U38;+NigI-oF{DwFsj5t$XvecOap>B1=;OF27^ z@=CUf){z`uX5GeEJO`qZvL`yJ2F4rSzopeP29_km<^>$pD+El2-#J%abApD>~3-b1f z#7R>u6vq)cJ5}Md1yJ0HRJ_6Zh)Il)YrfhH?8HMLIyr zbtXwRpRF1;dv)ijaL39(WFC91SW|{ZRQGKPXYZ7h>PVxnIQ0a)pyaV<&-(mP7gHSk zRR)=p1%Xce1Jik`H+Z4aBe(W7=kr^AovVqFYm<2xr#dO3%G@)>JSXB$vz0J|5ey{fnuSezW_>A zqmipg8}NX_hU4x#fyt4sGI>}&fMEZP{+>Bc&eCnd?W#wudxgadN7Pkq>oEACSjv`C z0qr#mYsJdhMW~|FUIS9AAr0gMi#jjm7SxRwZN<1(st~03G>2N36}4gw@zi;#ma}!a z`x7V=plDx@PW?E~p5s|D=4^7isCYeDIf=~(O%OQo&DEocW;QD4?RUkMP;6yXur$VJ z)&sgk0W(l~O{>YO-cPP4cjqFXludGY2{M4EH!nJ3UxJq~_v~v{wn0_Of=axBSR;&N zkgzC0V8>kuY1t?(<RBqg_0 zE|T>+v!|*&F8mdwwcQQn!y9lF*Drqp>fkhD*=UxVdq5f^oluIH>!?&fEirn@HqLiE zLX$1ad&w|*y*OpXW>CzhXK=|Q<7J-X(wOLcSn0vgd>~yTf*zicVGXPoiR4aL0&F82 zSF<>$3;c!&Nac=~;u~1Mz`(Ty_x|j5{Q-w zmJSiNbT8vpjCEH$h`zCWf_`fKrWy1XNrin`BD{*B+xS}su-A0dr8IbU1c@Wjs1@Ks zeK}H6M34DIbHzAdF>&5@JcnF8XSTagbd-lEio7<=&lXdRwjeX?t~iPfc0IF$z^@O^ z-3>l?us>AfWoU=z);MIq?2?(yXwX{4hD~wM)XfdWpa~hb&R|#)LuKArj=b+s=-J^= z0FAm&E5kU!e`ozgnPbsK)-aUEeYX(ilPGnGwf)5COSG9c|51%^taF|Zw`28m`itsQkAQT^AXlvdi+2BZM_i0_Qh=_Mo zE_NyVBZrE3GE9;!(60M!dTKo=XRa%%0ld4|i!zSL$4jCvG#gt|bOoeXf}n^@1rU;p zLKsyPyAZ|aXM|{kSG5XlH+J?ur3kkqJ9iK0^Q;WAiiR$c7!SG4fz_LUI_i%tb z&JS`NVk@bzZltK#0vx>8E%#Z$bJADO1%KYz@mSh-igGVYMDW#5QbfA>|DsUhKHWAoA$#WVogs8n+8yI5$pY|>Y z@%a3H^7arUmi7=a$C;j!?T;Uon`Pyz^{p?Lx~G~amsQhzl~u#E`cSPv<2^<-S9*ke zB7RAcq$ornuzP!;fK4noxWD>pP^Wh65JB`~>)>!<(BF{!6WGRk@25$v_C7-ueFi`x z>`?wukbO^*@lkR}P+<0;0U$ph13BQp3mDh>R{k)M{KyEP9r}#o{rElE{jILGag(1H z=zZ41AiF3?yG9>L2=V@b+5M^*jQ)`!RrpZv?S(1eVEN!}AVJza-&J5u^*L2lMMRWk zVPTMA;7cK(*VeQX0}!`BU4MaD1n7y(+~Qex*$w#aCdgvxBC*x&SP1_Hhyxy)XnzW zss@F-27Y+ks0SXbw((7>cXc{k3JA#As&g9YLQ=Fe4i z&F-DF^5P8q2J7(cBE)`u;~2mPW{V@^_tnRpJ0J{=iwfa}+C9I7xPN$??eo*Z($)sD zs!yTqLotR8HTYEenul+EoAmAWHmj%XgL*ChLl1QOa)oR1^)KJ?DJDZ*Jrc$@6*fj z;VJR6S^K*AF#GOeR|ophkwX8b(nRuqBaFcX^$1XnL#+KVEBTRl`$2uZq4{Bt`MC)- z-XeKF0vZqM9M1o{7qNw>qkz9<9NI{^p$pn6@>(T0tV@7unckJ7(jidG# z^YjJ6ZD$_2!99Wm;aK+T`c?<|1d^Tf)6$OfJOKOJ@Lqy1%SkKRI^cMPyh{gqLsSCl zgZ>)zUgD(u%=;YOJ;3^myOjbed+X)K@$xqR*B@s-wRqn5!t3AjowH#pmgy&?-LLyLOxTAIor}Dy^)>dUC#lXh9@Ow6 z2{96`L)P|l?feZ)jUexk=i*}m5F0#eYjvsIt2oe2n`P`*gKCAR%rhNtmcc3{8MZ$m z8!{5ywN{SlI zo7iQCE^+KFxjnkuY7gghvO{Z{aVcgnMZ54j%NEl2v4K$OTp(q;S3Sz~5iGGz5Fh<2k%pfR$=*JnxR9I(HvO*Za07(}7z)n@W}vLJNWy7udC? zS+tkfQI>p2A7hDiiazSa$mwAzli~7=t93fkSy zy{GM(jB7O@+Pqlt*8Squno5B~E7R|J&0j3dc=eBue&M-pK;{AcCBnA}r()TRu*kC! z>c-ajHh-3`n)MiTmg^T>%n?xL8_Z~YD?H3_6)unI1+FBx3^163L2BcASD>DCLGqSn zgG5>YJcFb4uMrGZ#IwZUxB|xj4LaatrHdzyL-Za~6sU4ApWNl&`ZPue*c)GYN$_Di zze5X`bO6xAf;LuF+`m5%G5?q}?=K|Ic7EOGZHz>1G*=EBH!!o&Z6|?fuETjUckHnW zK*8ac{xO5gx5t7(K`rlXQ+?z^`+ns=d%yHVb~7DF$&2t{cTw&4v^&fENv11`yv;; z9`A;Hb&u8j*0}TFVsEgN3m)!>ZkbjPmUaffTC7Ar!r%a3b9BX}SwxEB8r)MPql8h+ zk?JC7QRu@<)jP4n4yI|>Z#YMsYOica_mjGrZ&S#Bx|;oB%)gHn;9!-l(`;QN(=IUm ztd84%N8c8nN{@oPa&P3J2H;frPt1{RE&k1uL}sHO_fPLbq;7Th#F;CcaF5rsH-bBXa0Q7yA52qM+_vw) zR_sWyKNx3+e{@cS5huwh`Z}-@JD<)Y&(0h-?K!ZhCh!Um5~LL{dD=sbP*<6-;{|=k zC!U~`#jBtW5AiJjYv$PSW`hCnb+xV0=CaBA{xW7=L`bA3B%OA142?)oQN3^GD()*( zo8@nHEf6+hyPryaEV_A4+1`TF&~6NUbpyo$axm>Y{LvAGkaKn3frnx8{$ypIC<{Nl zEpXekjinCLm&D=VQ2R=ky~A*cKsm&IlabGYpqeRpO5S`>ZtPxR#!4Na(Rc}5kGIt~ zmV9UU^n^oQAW-f@7(bt_MT#WCs?-dvDvz^zkp@iU64xa03KoVC=$ zbi^%QdffQAkbYY#H;u;|SBNZS#5X4Fos|2P=0iSetYgJz`TAk~E6#3<6KQy1|G}Y< z$d@=4w_6272Zr^$7zmA9v+jQeO{@wmV*a=MVrs^^5;m8k*6^Pi}sd(Rye>=ds90z zrYHQ2qg5>-e{51qH^}fJW(CR_HUAKOv4uv6UU`fp1@D(7>@4GR`$>~Gs6;w!X*cKJ?kWl!H$~A2dN#-WB5Hr^_JxhB<JjO1@M>r)sLo=jOhPtyTc=t03_urg&&t}s#RjaOJc&xhZ1YGxp2Wo^a=FjK zek$5gp^d#+nS4D4KRi5hgYGqY?SQ95xSagkQTHVez38Euz=cSwR@HZUIK`*)-)^j@ z4N29M>nAvmgf}M;S%n)4DL}}j7sZDij4_q9!fgM>?N(YFYF3X9UX&8)W(eKBX9~D< zCD&1w0i2-Fd|6b40fRruZ#t7|y7LNHQSerhc!(8^8k69~3*fj|=^){K;qcJyX3UE} z;o$KBeei&z33<^+c0L8wZr1DI52TXNQN)CC5%CKGX$wobI7H^VtF0U!~x-b=jl?2b?46a`htDHme9; zhkbcC!Z$#ttg<2p#pWvMri3`cib^D%l$ zyyFOAKB3m1#-YPwe`uc7NZ;B@->#IbRX&JAm~g8U&%zF3_TLJ`Tn=k4k6~1yQSog> z^J*-!=ABtCE5>tf*%0$KC7hsUXCC1Rtgt7y98gB6CL7OM% zI)=z9PZRI9i^RNvtb((>O^j74XuzPxn?aio@*l$QYOqV5+M@cqd#*&$RZRSN2GC)y zSp!6qXFf1t*7Fa>DMC{GSpfXvUZT~6!U#_U0U=$APNy3B2JY*WF}bKo=$bLh z!T06g2_Y@>r43(YzD8*4Ng6R}CoI9GZrCUbp$M=x7rb7l@+Au-c58$}0h~Ta%7a#i zHgbaQ3Ri18TUTrCO7SeVS@C?`@=xMGmV)MvZITGTOm%1>WcfFimLy+w;~3tLvy?Lc z`5l|NT5su))NUs4!}t(A3rt91t)M8hv8q}&tqSmK`k?M~G*TZ~NAo=dVy?;SdkyXv zUEX9))xu~XW_VD=>K9!jBwgUxQkz}VFlM2{A1gs6tZkp`2YalNchxW<<<7`FZM+2Q z5M`D1V8_sKig}`U3kr0hBq~0#EkF5uW_oSODxH$9)~nAf{!@}?`rnO(JO(s-yTObd z*_ks^UKbOwo>t$p3&|TJ=NG%V$Bw!1{mM_JO9IP0fThW@&DJ9mpOj3O?iQr7wnH11 zycwf7!C}+VlhW0^_dd$i3U=QD=vI0GQmpxtoe&>~jVe#k3v-IpEu*7a!m&`^b2~zC z-SHA?93)>tPN_aoK~`(W!hWRBqAFo;uTlQ_wi0WK;*O8;?%?@0O@p9tAW)YuO9lt{Ucl=R`=Z}hSuoqGE zvLyZ_p+U_p-tfTnzeTAk(t|YJ+MVQcfoIM|kWv>KWYD+LtWCxsB9he&E;7r6wBZ_| zG^O*Js_N}}9*g0*4P~c+Qm=s0;7bRl1azV}$B3Wuq2*>b&gV@F(^}O!02pHX z>g9ITZFyjNGKQT$(~(a)I`=ecpK#6tm`(lU8^^Kw*n+H9*P#AwZO)fB^$p#@MU_X4 zv<7Wxh6k`+pc3TIMCx)7&xJY{?fYN{VUXlyzr5Q>?%kx-&xn`HIh6jUo(F=KMS|7lV@D za0p;s6G`Uy+s3B+&Ez+YOd4rU778=X)C?t5uvf0Eenq^UZ!)C_I~7iPuSW`L<`YJq zp_B5(esgqMMX>uN2mag!e^N?q)=U$a7yFSsvuB{Gm9OcIqA!POn@E3tb?F{XoM@?q zzsKD*ZFK{1#P2Hm>6ir!k*|^l(?%E{;GiFfuNMGTa~a=KEMg!mnG_#RVq4EYB^Ad7 z+W?CmxRMk-g?3*Y+gqVfc}s=VJF412E;syy{*zqcW}``yI*f)iQ%+LC$jY5te`o>HtiB6{@2X{FNgWp?%3MBD!=if5f z?OPStghl$&eA%+CVbk{EH)iq^Nm^#iOSybvY&Pp==b~`!DW|+ih>6NrvYzbkY8^Hn z+5RJ6vB$oeLX2Bs?0F2fYW6C6k?!hqK&A?m!;>cowRq(_nd~NTA`C47%ZSo_)Mo~} z-#f|DL*qM2==`zGWm*q*TAgY0@~x7qxofFPT*-?`QoXu9-uks;-lsZ$JB&u5EOiz- ztUc|$h-@B15T>bMh_^(gJ7YZF0q{bH8Iwuez0DDfElKY045@BR&M59u&fBU zgo$#TftSr_`23^QypbGB5u_zH)Ck6FkRRH_M%)G9x@g9z_QN9yF(D@3W4`Kw$en#+ zCT%-$Gl|wXp7l0a>3%@Foc?#w+XP;x?moSs!Crc+3zIxukOpEcx*~YOXxot_?8N}I*&Iv?M|X4r`O!(cW~|9!BMNNUEKxy>ZX%jM#h;Jm-UfX^M?Oqqj$pb` z#4d|?SIOew$s8cP;#E5}n@m3p)7UlHDzoVboA3>GX>2B;6Zu?eBN@q*)!(B`0KJ;T3V znw<-a-ay5ppUOA>ywFB=%*fWQPQ zfIIO!G{bTJnvCHg$(3CgS52X}LWZa&Ns?)T@9DV2_%LEo|18Q)7Xh5jI4G*RAM$&B zS+*HRSgcm|v;X{R%a$_zByv)>$ZI(w2&lFBYg|8eVUW9ic(jo^;*=_ZaB)`G7<~4y z|CKdY`Od3?^d)*bdzZ&;Q*fl&>cWjyypRt}?^ODsgfjH-Kv20 z%hSm0!}wrp%OPilIgcpm`S3}>+bN)*B7zym#39nrGqz#Qhb5|~^;4Sm?>;4A{C#YI zi4$B!?kDt+#!WfC+zpD#DZ({!3mSB`xSwFsljXKazm>2UW^sDj^}5+4XC7 z3rirV$H-Rymh2(zdgPZ=0`GHQyvBDCN7Mfr&tW`ue2fS&icL+vB=-O}dQJi2U z^I+nGPni`2<>rryQo&pYIaN zn#K_*Qfi#VDIZM^>?g5sxWe?&El@k1Sb{>WSN+8^)gU~DIoqKs)Q<|ghIyNdwK14#R8Fv6 zDiIP(uymsb)zCXSUGwj+Sgwm2kT*}XZPNYB?)SS54Ob{FgbiVJ$ic&G(u1WLJSwwd z2?T7gt^zZbJOl_S!_Ry;6l|DX6s+z!8AT$oa=gXfqNM@%yY$|1y^D5XA!TD3tg26Nn|Yr_&g!jY!behao# z*x<==K8ZMfinlmQ++oLgA5{xmjK$BHqjb(#t~MpAMp>UM?|+~CtMTxoG>y$tATMPX z0MjsBZf{v$<946Va6z_U%!A{0%43dVO<6vuZB5uY#nE&x=B<6)?#g{+GmF87|$g zG(YaI!=o$hK0z?bhzQiZH_c}iunr?&lx-_b47Gs{cD|plH{Q%sAM_bm>~vOW*iS)= zTf@->RG1#3%8(f6?>yU(>~FQ^+o0L1T)z?&un+pMD`D@+cYvh7VoWZvRMMvj7Gp=0 zYmiO8@4+q?6lWPa{>=t{q3I8$=M;)vX7L!8n_&22wX;F1v&OC5rbV!F1s=EP5$XsF zhLBDHPW`xav+ElYVC`CXQB0nGQ=CVbbSEE__N+rZ9kXH6oP;|aWgWF@PQL&h8dGKL zKFX#xkiT8zoMsuEPgotEZ3Y9f>porw0_WEC4Lir*@II3F>p_z>DB}9lBwM#BoG@@* zp?*bZGnaMaK^+<3;r&*IHz#Rqcf-1ZQIHzRo49z0M)1P8At~pmY~^@0Yvo%g#!l`MCnKUEYp3)AU9#R&m8;a&$C4218W{MyCLZvve zTyT8}(V%g7;Z+i_Y8SLa5x6iD;ut_0$J3mF)v} zLqe{#6RxJE#%ie5;%kX3wXE0e2si`-ncBaxVltq!9S06)DeR-9)i-gxQMg8~J}0Xq z?yd2G{W=2&{;h<($cq<>f4;R>BR|DTLq(WN+7}#PJf&Efgcyft`EHVe!);9$ir7!9VzwQg(H3M);|Mi4uTwR18$ctL zFmsqz-1bONXz-CeouX!DInyQ@MclqcCl;F+(rH5IJ-vX3IR(eBoGnNpSHH5hYg`MF z=hFSJ)l{lu*zod0IJhXh2QAvB3f7q~tUMjtnluMqg}da^RmYP3=vC!PH#0vSJ^Ij- z)zFF@lX+2FuH2jO#!tLmQX^C9n_Yy$z;&qROhkmF)j*|EWFTpV zRnd_@flc@&Ml%tgYlg7dm7pe|r!vT$^8?=7{8WO09DzlMP(x?L8T_;{7n@8bL~WqFpSsvGyKR+nijig)P8RK*+m z5_@mW5cf%s4?20rw*;^iqvCiUd-yu+1r*W1oT zEk-x7EKZm}K_aE97Hp7hq66FRHYJ2085OlD=uO4OJ|J%nCm3B83J71Cm^Xgy$eFTN z92NL5RM6HQ?4htf@Pq;uT2G&|aSW_GA=krKWH+5iXa`^k-4tJ-c)v(4KGy{Wg7Gc( z15rmpm?q>Nj>A4I)G)Q##+>}Mb0BZhAX9u8s`u{yy!&67msw4FSOcm>iq&atfz zG3iCNk+q+VSx1f1_eo)B=yesYRiY@`o$h_Aq3Ln}*~&`vVj^dj9Od3vl}s5Flttno zIX6HXQIVvifVsOMCm6mD20Ks{EVwKZCDb8+Kw#`83bFVOg_51Du8Nbjj^f`Ga-EH# z*Apn!FG7-)SmpnqH(36Q-eCFtzcSryY^=Zki{4;o`_2A;rZ@hHLD0@u*ob4q-Qbvl zQG}!<*u_cVLE#vO;24F16crb!p~9UdB!hyTgPg@l3#iD+Z(}^KJ6<+_^e#SDs#zbd z&0f0lzG{JgTV33Z{T-+wmbAx849mkLLx^8pLWl6@59}t22jWF4M-<@_`p$pl7YgSF zfeDNF3De!i2N5k~1ZPAsDTNLLUgF6H{tN{2MRxF2a6p100s@Knnnb#$N00~d60`x% z>;_`xfD7z{oEX&c*(`WQ5LZt1!w1f0(+2WoVp6!?xdzg}4Ch{gfCDuTOh7=wR2Idp zXXZz=1q~tc`9=;@S^$o4Mn5@txWC^A?;>*FyMB&qZwJH{R_?m z(Z%n}J`#lpcFN6y9e)A#5&<|L$gCV5ER>(qz0aEX8c5mJKerNse-a(!!>Iah z)F1bDbs6Z@n)q2B>$|t8NI!gw5S!J*t(?6NEtrIW59smY;bk0e z_?H&P)cVQJac|fpWtoY&Vd3+x+n`_7;oHvCaG~v)9=O*xtItd?MiA`nta{uY)rcTa_76onwm6n?(EI)m-{NQ6 zr_ceSzxH5{t3e?A@KBF> zTuZ9!90dgMV3BdXDo9HUpUfpBQxLWvR$XAhB0&0XZuN+~mP1q$Si7TfnnGIPFLn^1 zukHr+WE0^2mJC4pkZz;@=!9g{oxD`}TS8&9K1iXXZ(Jl4(A)kWAyJWIA$}eOhJl@M zBp3mQr?k(wb8DW>ErqVPtUu)oKjc5YP((;};qc#|aGRneOAQpwPu-HKGf`$%%IBo^ z7voa&1ic2hpFIf*dJwXZ{0#pQC-uSnQb&y(&fGT3z8og-PT zed6OSWOo(lWglRxSNSVWo}XMlW=e3R34v9q)(mBx1%BJJnL-hTb;GwnIE`PYUS?sD#s)xVOKyLl`byYA;DxT9xfR6Fg^o3&%?O zxF^{Mi3Ht_@m)ZS3!>}2rhTuIu(QW8>Vuvf2AgVmRI`*-&mOyR-8G`s68+4+4({%j z%gb(%XV$1b6Sd=i=a!|IA85s^kBKnV=y)Av>jDT$X%0%~u_J=wF{UIf_{iLJhVn$M zI1N$-goWcUe1|3HbA%I&;Etu0~NN@W)E)1n1m-(RfyM+mBHlD1+_uB7cd#C+}F6Bm(Gf4)%aR zkp&8)6Z~0JMHa%Gj3*+$?S?2ca<6A!A^T)ezYsU8EvdM(F^eZMja|(Bvav=Hsj-GP z_5S3wS7&TckvX_xE5l5@)JAH_me1ZA&%!ZEW#s2lCnQ66pB(njTTFJON+9?|HTCMD zjpFaOeL0vTBz0}h56WtATy&koA=&P9-XSE*8Xp>SB>XC=_X{$m=ViHaHxmz(BbqnF zF;h4jQsid7{aYb=E`0a!!ebS8FS4A(W;pO^mO(S6De|hU45@b8P9AO3!Wh z;8O+9?C8HY_*`I#&~~L3>A~RjzeC?fLZt3@dx^uV)E^68ymeQ!OpEp-g@cbgceF2JxqH2;UO zb8HqY>XP)eZQHhO8+C1~u5H`4ZQHhO+tyUa#7uNYydU~E?6psvy)yGjws5U~C75*M zRc5JJ9o8yX7?$JuOg4IrWhuD_sqm&Z3sqL7edfsYk^heMi&rd&Q~Zl|GVB|>gaW55 zGLzwh9~Fu^r2enZagNcva+GY;^c6UwzIvDN<_krv$S>RyRv8sL{_cdeN&0PqxVDIT zdIv=5G!wwljdRrz zh+dBfANB{4Cw*x{*LZ08Piw9a-=eN*m1l3u=vU=vD|%*csR&S>dik}FDtt5gav+N{ zyRbH!?f!D@v*+|4hL&YH)RD`CNF;1f7wvuYX7QJQ31LdDiEFd+A@M0-7M#~DACYl9 zo{_(U7U;@-*ujDoomh5*kj~lKo~NDSC%qV$6WifhsGFkS%2LPOb+flkO77vAsCtVb zjgh{XK7(!hd27e^zT`f0pD$a9e>rOs&o;F5W_hsRf-_W!C!<)Wm_{VS_8_;GxR=gy z!i=QI>PtZn5n_d>*51c%42J`_GLZKp2jqfwkK^H9@;0xnb0eXqma?Gwhx^_7A5I`o zPn^@z-I+C*nkp&t$Aplc+?zXDE1?JL9tY|Eu-cO(v*q;SyR9Pfa@%8FY5fg1mXvw+1%^8tfSz(LaPUVdnk4u*APAjqdnLGQ*3jMl zTu9dRF;_8Y9h1F2$L9sT+UFTb3kj>P%94#HOA7X=uO~uTvTAzQ?Df%X{p080M%koaj>LT_K9%CE39@kRifk!@xa4w81BK*`df=oToNaINHt-fHEi)|OG_JI z&dVd;$~o#b&b%QZE^2R{Rbq-MetsoM75RM^k!+$f|J$g3{9y_1oKI{TTkfZhppry# zWL`qI3lBJ;8PwPc3bE+zN?qvMsdo?#*Y*Nuf^;6Y(eAu6!^`rtiBu|a)MxvX@ zP3Q~X@tM^Xu?q8EAii&zxOPoZRIKyo|?ytcYL;U&1Hy~pFMtaG2gyADU6lXDed zB>t~YMPPizy3dA_`wX9(IZrqdBXu$ce4FbA!5SkPUyY{Wilp2A`}VzL+tV zg}<%Zk%PIrKU}_+V}`^g5%KU~aId76mZ`3^GX#|Um`!&229UWGK`- zeDk40i6A1wp@F&`8+kLCGkWlkKAk+;B779`&`<%4t}*zPYtYn zt{d96;gt+-Yvv0$_{q^g_=F|c4)2A4mnoq|?NjIQMPYy5=J~mT{b{*yQqaL4 zR8ZLpKzrlQ047-_y;$?d544R^T_TNqBe`Tuxsd7*tkT?hN;i;~$Ql%O2|+A_0iuse z_fRz!=;R#TM0OI`mGk4M$Dq_x&8V|=Jh_(~#~dldU0WJ#{1V91kD~CHFe-mJekVno zEu~I8bFvfTYz$-Z%{y5iRLr*qzyr zcx9@U#eVup2%#~;rQoWnQ&!vg_$q%e4(C%VPP)iUptYexoOpEPRJIxKoL$>XH1gDP zDb&ZVn;bG(QC@K~R;Ml4D*ewD^lGlO0L8m2Vm|!dD+RbPJQbv&!ZMI@463;M$h=~vznF3>$az<|GP!p+B0d2@7sw8J!$nlu^*jKb z(I@&mo5=2zoChtZ7CR@CD#nf;k|`wzLAe%6w#c;&61M1Roht&}a<@-^uPo#5(;F0@ zaf?B4a6}45Ss+77Yg0P?wD~gR-i-aZT^6!_hK&3Q5&MsM>Je8}MSd!(Mr=3yWKl(i zS~=Sy+N>|AiEk4x9Qr?phXcl#cWxUO?NL2Xsa%YEcC}b@+$q5;by0R>1k2y*I-#Do z{m?TRG-`y*w$C}HBCH~tv4Zz1p&lm2U;2@IL^lyFoQ+kEj@g3){s6Yt@QH&)4S%)B zP3hj-z49SgrV3xvSf--Zc~x*f(^!H{UvwL`al;9RKWMH(UEQ|eGs^9F4YZ!?t{Sw2 zUE5jO0JMl&$@v`*fnxd$iZS2*!$$>l@cA`&$TtZ?6upq`Z~ zxht10+>`#jeZj*OTvu0=l~`RgO%zASVMo^LCvX7vsF^j&VcRog>5oWP@4HJ&B96)%U~k|!lH{J51A5;n zs^rmDI)#voi{TQ-n$8rT}kWtg*WGv|83B7s!-)6#b?jwy=YH zco1jhY#iIwvQq^&7}}wV3em8CL|$g4QLWe=?3&35$(9x%bfD?=goEY!9eyP7Pc#J z7`)2ULK%m6m1i95(m~LEq^n1c=OOKzxY$8r{xoY? zRdzY^Wm9%m8$GI&F1`byx)?V=wR=d|$54KE@HbO#n&&L^fk|%5ZyGTlJR}E_`&O@v zq#9CT}th8g$S_Whl?Cekwtb;yt5~KsVr-IIo!)NrQ-R-mvQe)VNnOL zEp0~SeX@ttG9TRPAx=esT%-zS*yzoi#K+O42}LvxJM39ebnr{bt9v$es|~|R!a`-w z->BNlsGO3-+RZy+4xbWZmOonB#p>lLcPh|W-D}cE_u?KJIMY0Kk9mL;pb?Z)9 z?3OLsYB~))T92TklL#zqoV=>2UJ_p%)r&!IYjW#l>#D$2TlU#v##9F}8QX8lK9@F( z8d1uzX~DAhLA)We!fm23Us&c=akd`@NrsxS`PbCLN0Pk13+bvW?Xz^Mo~*RZy+yl>-+MY{eV5DRk|5f;2 zp;~JQ`Bq+FOwnzCANxc+}MZ)MHkB zOb9N6vsRipIc~uT+in2fqWL=+C5qZaj)-kS%~l_7JEFUdSD%OVk7&R;qhk)b+$!(l z#o=)>T4`*rb=XBnbO$>ouC5p=sv0_zl4x#f&QjX~Qblj1t-W2Nf5vv*Yg`8?Icpnv z(29GXwBzzY58=7Vn)9s$t?xulpy>qKeb%J;cWQKdVpT7TGalr`UfJRYFUCzB9mfh> zI8UDAtEo)306&!dl-c${Qs~!?*a@x!wp4IU7yLO2CAwoUZ+A*B2pS3NtkXm+G4-pm zA%&2=9OEG$D%&L3+iE*~^LS#w^aiiBb=9SJOsDJ}^}j6%I_4i`mGJKx>reNR|H{%X z=TZO^pe{w*jn+~pn?zg2otu8#v_hs-?0AN+;mwXLKb2+^J_dO75Q8@-Q_4+^*AjMn zxAlR}ZL=-J_x3ogH=aYo?coY=b-62~z|K}aEDoe3NZ*tIb9R-TwY-`E=l=3y)EKi^ zZ^eWM?RnHfWWjgsa^u-hJ7ssP|Is4XY3PHL{NvRf>V2GLG~W-{JDw@+(eR+8td zFQuip4@~M*F)N;%HWEVRIZl()(}is9XAS@GXMH$em-PsG>jocQb?fb#svdU>Nw^DfAtmqiSaMPiAXy4k7l6 z1%K$<8GN{*g;sD;EFiYzr$^!e&>AKx&KHR@QxT*6L&JqA_u@5+hG}HCD(oY!F_dTA zEcFCYppKZh+q${a$i(ULxHUcLe777!cRO4xJjKxyfos+Zlbfc`QCzCno1()9Uq&qC zmMSu)ti305zK`3QQOxj;L{ zQ9cUyltea#OUR7={QKq=eSW=2|G`PtpHEuc+Pj`RZY1p)-zR%DL%%Cl@ssE6lQ=-< zi5DLJD#&ceBR#nS@_R8hd(yE@(!sPQ4o=Fi_%E)}KlhJRy4zO8{oSEyN#WNrKnBwz z-XzMYL84&|^hxo!m}mh(ebY#c&Gm`=#7pS=zRj8%2j}6&m(QV~ann&<*4Wy)bulQv z)pyIj8uwM*b1mm)gZM;_+_xC!Mb;VlUU{k9_>sPE03XQGly)k}K`R|aF) zkRh$Bc#9n24M?eX<@9!)!I4G98woiY5DW{jvd@rgSx!I<`gy|2vJW67BW!3Sav6&T z4UIzi*=B^5U4}USOz^OV0Z(}ka@RW9b)Cg~mf`bNsT8`{!iMmN>w{}LM|5LQcbQG^ zbR9EJc)&V*W78uh{{ihu=opL)=>8`xH^;;%+(^YTP5-Bfd|)~|P9 zW%S1)vCF=4wY}sUOo{S-)nEV=bTgrx9ny|FW9?Kp^xI1<6=@Ooy&ALG+Ly7F z;t$)MilL!`AG>7EIs@ln0rXA}K@R_1xe$Ff&8nb88ehhQE*ta7zN;teAV2X5)F`}3 zPxXD$q9q3OB_fbqaVJ*PQoLl=jJw)2Xwcufut>*5cZRIgxW`&AWJcKfgK2Sklm@zv zd{ax#_#LI-Ro;#hV%X3sdv|bES)eldp=nQhBeUJ^Gv8p-43E2?3-O1sa7j}u_Sv0n zboU1?VCev*9Aei$EMn0{ZEKVaJ)GRKyR(z9Hkj$~fuPvB)ao3(li9Y#R4Q&sN3MyG zD)Fo@xq=Bc>y_IUV9`8EM8aJgomQIB!ux5@U_ySLD$2e&k)H^X&#U8c@DI@u`R*dO-g zrB!C4OnoHqS{axW;GUby=CPulyAF_qK;G^HHS}b)bHWt3RDuiO`R6zi5 z_x3VQ32J1F0qYA8zk3;qs7cDPxf~-p+m0=Df+l~lyw6Z#T{mv0ScT1SBcyXl))hU( zO3BPk_VmhDmaTPHY@s3mdf~=A3W-e^MXZUQbUu-p(q^`OBaTP7<_~PN{I|-7t#CNf z5yH#ilb2pCZ?DvsYLbxMh55nx_OC)2kPDkt0ed+S-d(wQS+ML?cT6<2I0aBlRg2$# zlk$k%dDXn#oiv!cHwL+*AU^Rgb1ruNgM!TVpA=+P#{ZuGXJP;Udh-9s|Fdv1{;w6}7El#r zYi#xyKPTb^CdlG-3BmIlxpGD@m^HA?F+d`UXul=`O4=|2T38?=Qo?Mc1u%(6S?`@w z_uSWC{?pHynf04X*J1DB+m2Z`TPzG{N-iSYJWB}>F$fZvBtVKwEXjY(5{w1}3Q19+ zqaY#np+AD-Zc}*_EHL45@ATbFP*5X#45$oXW+jm#08L$6fCP*H5=vksq`)9RBK`vB zzZgV{OaQ2L>{Ez&)G%{GM0w^+cqT=m_)sTT0sY$#xx{|x1K= z(TgDfh;jTdfpiwebNJS=W1PUb^kII<;lL;;vw-;7KYy#@Vg&@a>(33Cr+wB!iTVWh zvudF3mqi5)=0m__T&ep|F`%FXTz2G+-PU&y#_>U11I^_WDlw!mEpju4;?Us_eP;`&K3;#q|JG#g(B5NT>io0QifD0xGo$ z@AVd9_!;<`0Dg_CBku=+Nc>8otrq{1Tz#)Tx&Lay@b&c?ofFze1p~SL61K4_073M7 z`~T!x{A?coU-?)M;-~k$%)Pzycje(n>DRYOpJQtKmYz4JRu=>3)j7TmR^Y3)obze6 z<3b46K=r+Y<1myh9s#AoN1W+FZ>PkEWn^7(SKwq$p)hX!X z$CN=p1jB!5PaB}^0SHh|0%g6{{UA%^Cn+fKm%tDJksKpt$QQVP1K>RP13V5WjNtG3 zH*AER8Upm4Xn-N8l8;TmJ!;QBIf2eOP-pqXL6Pi@tQ7fcY^?})b;E8D8KiybeSbZHwiD@%yI^VUsv<-=oFi8?9{}u17*^!{xu%$wh4M z8t3Bqe-<$=Lq&~v+TmtL(>cN!gsw=woIZP&jKD(+oz{g@aWo-;jQuz34MG1@iq4ad z9{xDe%Zkj~Ol?i6$y|YeJK>Aj8YHtRHDT}@L_(iDj#hO;5f7Vg-dQgNlBGx%-@NxD z-E^hglD4&R=UO~%LcX=^fR8XCY`6FFWK=NETy92Rjd_|ufBY(v5o959qB6wiAgFI8Tk` zxUqnHV^0!r3ldsXX_-xEsx*AdRjIn`D3y-Iau{(*J)rymz8_%~fX4wG%t}_CY|o6P z1Z@XB+NZpts={5@anmV0DM}X;vR)l2>J@V2YT6DkcDsIm4x06Yp_q174zH3QZu02c zLO#FLcpiS{UT-p4Zm3SmyvLDrX0o1q9@R*B$jx6f+dSukd6O~zOZ*1o_q%L)>X}ba zes-zg)CS8&@G_Ec%BUK)Fu6QDB9*RLB`Y(I#HL*9vgT=knnyL61fUux%8=W^&= z_Ye2RR);45t4;c<-==Ywb8CPWZ;r_;o928rYpu`DledA238WJAK`To!PKNTXd^23; z+s}W~Sg#h*#oIhEMO18T@eu3zKubBz#P9Uvd!)O%?R&*a&&Em*uU)9e?8)pM_YvIkWTHFeuHI7I=pbbj!pL|sx-F5vDZ5S;i8!=M)B#Q0 zk?aED7aIZ%eh|*X)!U6>J5C&n#1O5qE}h_4EPn~|Xeo7?j!-id z{vr^hauOEeCsA)m-cVt-Sc9tdb^vaq=5Z@Jey59T4u1d1W1ZC7_Hg(S8Ld;3#Lj6D zv`|dr>KoThsM0m@I@K2&p-n~fcclgFX1JmylXIQe11UN4sbPT~f^J>VX?99&GuzK- zZkJ}})@&GBZaIK^>4HVP-D*3x^P)pDiAX!Md}UY68LM=CRBKbIQJaq&m7;F^0L)cu zi%r2rHbaeEEeI-3Qp-Bxrqxg%ofpP3hkjl#E*Z%D$6bL+s*Unw{Rn?+?8xZUc6<`(Oln zn3*qfgkdTju^K6i1dS-uG6U7q7KUG+h)1iHcoQ$ zIHG+W$WUhT{cD5r^z$MouZ5RZ_!`y|^*U^u^VneAks7_GtCll*w{DCiQSf55sBX)W z8%r_0!D2Xx@BzxEl~5@1_FZV}`5U{Wr5$n-nu~PJgs<+lP!rV&i#~HB)gmWI=7J#N z8qD%wn9V*Uv0hsahhyR90M;!l5B^6Km@8x64Wlfjpw-LNMnW@{E{Y>-#FYc^?=+C) zhyUpN41npVT}+Y*V7oA_tBeb%mJ?u$w7066*V>A%l#3o|w+x2~I&*nD?CX=n%H=5#4;Pv_rsX{D;xT38%@$pAyM z>|Eq#&m^T)EXUQ4nVcZ?xtj}bOgKR2WBqh|RZE~O4;JIWLK^s%f$D|5sqzR6(8GMc z>%n~MwA^!DnC^V>9~|)5WoLBQz!BqIjHlajnD#^OpL}7f zgL$L(8DXpAxB$)pI3~L{ZBtjkS=ReWsr!JbH%R?D8fx+c)52X%A+e1CCy+g?V7sLH zy(yE%P`ewA#C9`Py{x(gl&`98d`7N}LYX@+quE$y>ICD;iDcx=x%-G`BKKU8cjLvfItouKjoOH`LDvmu!3T#UJBHzj39uPlRi=-Ll3tu2@ILCR!WD6Y6Lu#p!kj3gCYwny$F7gNEsj{C zb7~3A+?&skV9Pl_Pbg}z00eRPAxg3&w*yDC1vq?Rp)=nQLtjCr%{mAS`?0cmE9Wr& z0WG$q7aW?fAU_DO%)dE;)Lo>yPb4aCt>Y-5(yk6DoZ<$zIPh#O31hQ-YuB z6O?b1syCQbejhqEF~sQO-_4q5u?dbRVQje*^}gLD0|~Tt`mXJvm|`bzUaK)uF{|Mn zu$0kUWk#diY2?`^S`f40A{9~3V zC~?h!VZ`Vy->m~i+os5lmO$TphEI;`<+<-sG-d5;m(a0~MbL9U2YR$boRw`jDdpY} zPIVdxT@20o-3~lmr0NNqn74)wFoh#X46vcrqXkvDG9`$Dodet^`F`Tn-&Ny)#V*_I zXRqmK2bc6)A#Rh)bo<6($=qKWX4WZghND>nGj4)`hQL6 zqL@fAQ`GpMMMW#}Z#yP57VU>!YnIi)nQbJNm34skDCP=56h8mp26IV%^2K!GlZ0g$P>U88W!C+&a6s7o%YXwl%)}x&M`OD)ti(QbKWD95v8{I` z!X1K>TSIPpNgk6sS~Sh7Jh~+dnD{mLtsLBDpSq)X8nzM(GDfyCJ`Q*XS5;%IXDPmf z#KZzYyI#{g!C~ms)hxL@z*3?>y7eSQl`FaSf}LtvH6^tZO*rE&r#R$D<#um##=2aR zW{2mF3}wuU{&drlZ?MXvNEPtY-O5d$bIwZh7BrOOqxtL|y9f~2qK`2yCJw6#`K#;K zu435(Em0H0w0q*JK1TpOu0*Ic^DE$s!yq|mCTRwr+ z1nXo{y{Ri;=!3|PNq$%n4wbDC&FF7)BkLietA#fI8QCJb2m9^j!QxPKC7_-^j_w;f z^MtS3S@JK_{o#;miLa2=5wzyvlh?H>PAHC#;@JuS+1_iQCl|TcShb?_@u{f68HPF6 zU5aA8*mExEeh2{)q3zB35|#5?Q_4(JUBB2c%2^N#uvkpu6YCSfHf6@toQCJ=1l z8rbqgJSXUk;=yuv=J6|UFS1}61u;pQhtPV+o;|UQ zz?^XRC?#b+r(u#{RLN?L^;aVhOxT!O5C%}FN%XY9+B+|DuiqlIO~IsM~_nmT1dH-U8si+kyz zn0yWDNNr{pfXQ+fz|{D4KAR9cvyw}J;Y|hXu0k%whsS4Euue%uC&_NS!Dol)8v>EQ z+I4#z}RxCLP35@v#+*yr`bycsnJ&D zjzNFH&(>GX<*hK643yoj#l@q9&pxaGIePdWZ_-TysS*!)5*cPEZ~m1&sSu5h8)A6d z@b!ugSV69M>`)DP2<`iW>`vZun;JA;uSNIb2;2UW5?<& z`HjxepD9HC-HjSC6z1fPZeL%s-eI2zYenm=&TEPjTM9Ol%w);% z{gbYw7iTfGB45d1q;tRF!=B)l<5o|HE=5|TYbGOJSMS(NM4!nC(ObfMor4R_8uo~b z1gVE+oNZnrr&NW_%vD=dq^xg*uqNttJgMRgCF`Dr8pX99s|UXiY`+re>Wv>Q2_uJK zaQ%(IoC~okCtNWEZJ>0@2jU#B45l9@yNzYD;H#?;hU@bszagx5@F^ucFMW^AZr|<6 zCX9e~v}HmhA3IPO#hoPMLoe~9rils`a~ObSnA z0UnTO@UKV7sIRz|7!uyJwt;#0B&pB=;>EDeD~`1tfv`(gsyS;S2;ioSG+N&>We1*^ zuA{_7cRn1+v#B3|K08b^C7-PmT@S_|Z;&~KIqug`uyJDJC8(=^3zCu%%unrC2E{+q zfoBTEg~KWmlvIDuJ>gUXP4pjbeSVbpC#!&*RNHbRhL8{0T?UP@N%V;H z(0h%)T)qsmDgw4Gto!H~cN{8l&GQuph;=FRxC;gS?$-@~U`Ct7V-xSd@H)YLZ!>(L z;glx$Tc3kT!U*ethSyj^^KZxdW)93y_v$!gJ?6|-2T(6BS)4%VV2etKYl=Xz)IU0< z4iZ?Lg|ge*znF^;m~Ha^(dE9h{0F%p{~^^-mjk{C5%aS62vcT&3LsSWgs{- zn-{E@uHWB{FUeMc{*9xl z0e7OWxTI;ehe+Pd&WxjS#m6ORN50XUXsmmvxp7ohxw}4bk4bO2>;?u$YjC}HWvxqq zpD-P$N0}@a72xH1;RxY|L)R-%pP?;nI&LdbG=~;pmuP<%vM#VxEO3*VyNbKma5Ml)aTW@@vNRx9FsH_L}(+@Dk>$)Zh~1UqFr`%r5p(dvEpRm9=_ zd~r>!%^6)|5{iCrGG=RNIed7_sSiWwY$K=>1%t;^4N-7>vg48%&ET7KdxOYIw7!+~ z(BCcO8$45;n-Va5$ACJ2u^>;ahvVVjigi6^Iw5F4$uin@!ip%;El-jbax{vS%)G?o z^l}V2MPW8BA}K^ahLq{M zdo`rRbRU9!rnD-TBtjcrRKzGiw}wMx6t_%`C*=pPf4L?Fs5OgH10HHl`JO_a)qpv^ z>EPXit4a_mpYw90Eyd>%eR3wN#T4L{?aE7pRR-Uq!%XwmXp&EU z;_X-w@kjM877dPFWf1FH%B!E#i6B0n#y|9VVY!N}qT|}tDfTt zs_t>N2f1AYQ+|2Bs8`N;70`ERp%j^^JR~Nolqn4+=mt*{Q1m$3N5vi%=W!LWBq z>}h}tp!8^yVzhX!O_l()z8RzwXYca zM`J~nDYM+z+Pi!+7{?^M9F+G6J-_a&Ppqj{2DXY0#rm+2lf4@ldwcNLA;A>-cnG_TAz zIx5ktw~y}aEQ_YVQkQQraPvTE9JOW&`^hfN~9<1h# zw zn&N6^Ui_O@bSj*NW$6s{{+f7S^O-$R^zX?{ zGHrg_PjRNM8`;Oyc4?=T)@(vQ)U|5wP-(m7@7dKCa2puhvm6h1XEhN1BW!BPFBtYH zFY*+ZVoWQm`0{5Sy9UNF3A6)lU0biK=he^3v66ER%6yq>5LV{|&_8WPk|d~Sr~LG{ z_*?1#Lm2L6yT@KH#0T-<#k$RqRktE6N=HR~NrxloGFHl1CGu>He{bY{WZ}S8{bG}Q z+1mAfPSu9OvQ75VWplQTHKlUglLFl%l|2=+#;FfmkK5s~sF4g(PVp^;Y-1lc1X93k zwVXBVOrWXa%Cp^K+8X)W((Gt|W7Iz$mjf*mD%XV6?(|@n3lcHY9tBh8PZ4i2bTr1b z*irHm7)G-12qwe?-;L^7Kh(q7w@5FjDqfCqIXWZup_V3_$&#jv9T%x%PWZ2DBX?+; zCoWJJZMJdCL+(b;T4K&x2aWReHaHaBX#=CV)pvKNgt5CAN(wxxOn?U0ImXpxoO0go zYAr*^wPYx0@O4GsKvacs)Sb!Geq zF}`MhOu2U}xdcue$jjZxW5J1=Y>G=7P0R$PzQ*Gs6})$AjLErkO6OW?W%!K764rF? z$KIWEyWEQQL=VW!*yiM_Dw9;d^-ha*j%AW4i+ibi{Q(kivg3hAzI_|A-I9AW^ zGgDn@>3->VqQSk9TQF~3fD!Ha9r8^iMlH_uUzUmE++u2GpffRW1lMChPU<7XWKb30yc{f^$ zZe#8_0po*o&`;sBg@Mz=`|4Foink%RUuD#qW5L~*`0HGmXmsyOOoPSE3hEt=Ni9FB zWtOibbu%y~mL;xy^3gU4wE~JgcnQo13(`GUq(;n7C7j?{_MYD>WnEY~r?ZA5R*7Ak zu2C@&$~Hi9h9~mEaKO8i8>8z6(dwOdH~Wyd^nRW>sj*4avD)=SWgvHO|8#i}W;R-y z?(`WG04DiZPL6-YiaNYS7LD$&cq|}Avk63^z23J=m21j}5${ABcpRQXsc+AQ4ijSc zJyGoz)=y)6kKC00_JcE_hwv*EKsN$)3PuCT71eWZ6>2&zn$IE_t14EnCQ-uP3qIZ&J!@gNN02(^aV|WcAUIrajJ-@uqKv_FUIQBs z)8uKHgFhbk+hEPyxzY@muZMY2E^Cq)K`h66!x{Gl==4z0IyAy6HKsvT$&YfTeI001 zSGqo=QUz%3*g_op0s`U&M_-K*0sf1+HwrAAwd7qp$YJG|nD9_Ko;68!Zf6Cm%D24m z9;S*UadKLXZmu$?Q|tIhND)m`8F2 zzDi!Te^?4|MmsDarnZ2snq1sr7tLpGny-YcNnJI297APIL0bM%w|ICF&zjeV9+ygM z7G9BR^eMxmIt8000OP3AZU4{Fmi);&`TtExJ z3!VZ39(D^tc1l7>1PDkZ`GG1H3z;l}ad1!)w^FEabh0Q#6y3xG0Y3FxuRX6nznZ(P z4J+g8%(GKD>yJF-8ljQ6#xzARqMUs!3KCHW3V&3<@+!=%AyGiXA|jw8BO>De+Nbw1 zLagbzAki_Wfn&u8O?;sXEdzs%=-XK8!=ROg3IW}?5djF;11KngQIHZ-K_MWcCjUT( zJ;VW)`FHOr_~kI{!9hU^C;lxj*z)GxlbgY~;`7}GawGHt$ZKj!+N=HR*ML0*3g|P zY7iO>^vfDE58fs4+d?)i2wMLDM*P?n1&4*%9He2DFu7=6RbPEp?)xHtC2`zU-+#}CdPqu{#plHTGSarf$TknTvYoE z?9Y(+Y2oZ=0Dx4qkd%ZZ0C0f^c=YFp{MzapTE%^te4mWECY;;FJ%;-`)B*?{#63`_ zNAhD{hYsU+e-{M$@!NWsOZ{&e0D^@X0Kn6baU>sHU8*oo-aMnTd%^#;tT3wz&e_6cq%b}ts!T0G&$Y2qW&{9GH0Qn~XP*Oq) z?D0SP_1*D1f2mioEg*u%{pirWWc^UBU&4dC{Xzu6-_2@&P|!FU0POUJ`>3l3p#*dT z{LVW4qCWf@z0cD8QqTYD#D|ar-A~SbV&DC~_1pdpy2S@cY0tr^f_hT;Lrd@r%NqKf zQiBHr_3HH5s*VjjQXz3V|g(tw)EUCj7gljteO$=o=v`BZLI-atH94pl=qfBMI>3 z|3_8GfUkE91_ALOyJ8Iipk-9Rk9Z>R=v3by0MYe|K|!G^uD;qR7UlBi8ZZJ-gr{## zukqdDYqSSJ9v|)`W<6|nTb+{-`drf;1Lt`MHQ77= z%fD8cxpnCd+GU1xD(_fl!p#!?5=I``W^rD6EA;M7Il1LeNNo@G%6)nuK3~_& z`K33B&!4XmcD})NthGh9(iX5TaIy8&Dq4@?g6} zQ15EV?}MCYxsM9MRhXMzi@PdONtwx07g`*q&1%z3FI2+L`6Qfcnm^xR%E6UT5spl0 z_3ETCW0xbPMxY2QE>pjAnIg$aIhq#-Jyv0)9r$FnpYB&9>E7CEND5PAvUv8LzlX}G zk_Z9I-edD$+ripcej)LZU`5fTvo{S#oKDILZPLJLj;X;e zL?rVCyjGQF%;kz&2S>EYn7th&C1Pe^%NC=lahVL5#!0D>@RrweNzFD32?<#v&aF|$@10WP?D9v#nMaGZ;E_AI_?x{2rft~*8jTLq zb(hrsHU)vBJz*I2)pEL_$&KFOe6zSy)go?#Y6rs|5yv89JxfnQITNmn1l$=5pRSKM zhdsl-8r(IzlZ^^B(G5Z(r7m(H)oZ-ogA2CH=(Ab(4%VHW+2l6U;*~#NAilXH1`5h0 zxx`%%it}*<^93LIv1}Vl9q?6~E?Xj3^Uovo`)|~ga~~=%E0$rM*B;$JIiIZ$o>Z0q zmQXqC;0p)Tvrhr-#ozamg;N1bV?A3XWWce@p%Jpg!S-3W*b-`p5nQ)tP%TxQ_-w-p z%Q;pZx4BNtzIhhq259Yzx8R(^)KJT9-_y_}KR<LGMtk{p9GM4!s z(?NXmJG{_}8D1ZExUY+TO)vkszYI&{bge{8S69LY>$uMf*tsk6P+?ha{ z3dUySW~QIl|3oz`DZ@v)GG!u@*~j+Um(~~)tg-maZNn}U53o9b@tG};Idf3>uwhXk zgcB(9HUgrcPrKeDg))0`%H|Qe@o;0Lq+rcq?@Fu(2r5L^KCe6v{GJ7W+ z;@3SKM;Z|P`AQU{1fs7#JZpjXAw^c)2O-m#)NXIOTyL;|pbcCdoKk3x zJ?YkTXiY@zv{YUUEOA+O_Z4%xyDav5e3d%JqJCPX> z;43#KPurAdPZFNLk&;C}-3$Apyut^(evqM?6Fk0RU*-t?vIPFQ+iz_*K}VFV`B z5)CdZxX~Q*!$oW|Xg&g7)H#@H**o39cJ6?AL~UbY87x|)FiGp@ zc5ussn*skIm4S41SatZ9jdos{r)FD8Tgv`47cTXIC^tVf7aVZjpE?7DQY!dk9I55= zz+#>(*V2x=MFarD8#a=7Fa!2&;Bt&gw3v)v{%<^g8&-{^rdy8n(QDGl*_izxzr$3D z)b#sz{g$P_ujxsH)W+P2)86}JPrG(g8gcAJ{Oy24v(E41_^A{d!pbHktAtp&CyxP4 zZtaSOhgkr~BLinBKyTN9b4YPH#Qw5;c0aoARGOuewHL#T-fVH%%#&rq$%yE;JJ z%*ttJcxMB;QaLG75gT!b@gCh-L`y38%{uE6b#kNSwT1dKgr;cl6 z?~O9_W&Mr!_Am=DCFFI-O6l{jD{{1>+NZ+uW#PT;uGD_%rStW4L=V?Kq2}N;AAh$z zu?)YYU+FNvFtqL&Z?PDpl{R*)n8tX@<;`)rbm( zTyWAR0PnQ!2dkGOe)9)6$CTZyCr_0soPRE% zthQ+hBLLF*XWUn?j8SSs$FkyMpVI%51{50sDHx_1iR#K3dW}X1xU9r~QeKxh$O!pP z5IaGV!E?>O+Q=C+G=*x79Kd6m&)Y|^E6x50@KNr~{o)Yc(0JCRD4`g?c#dm}uw@o? zCuenO*q&Xx?Ar35A_6;sN7qZJY>B(_WN!YNj!nk6O6qV>!ZnuQl3L5~S&erQU5m|q zOpr`G6N;07Kk}7UvJ?9y2pJLVcl^)UI%oJK@u}ZCQ99`~W(qPoR@yi6MpdwHml+sb z|M4Lbbk6qDIw<`rI}bJ6eZ&G(0wSEtmfQOHA9lU99!U_S4XEhUh|ztakm2hhsV!fC z7#>Rg-u$PH$~Y=V_r8Vpqmvq*$~t*d@+vR8br3T+ zV|80M&uO$7E(wtk`M%T(lvWVw4x>B_|1tN=gtmTscc8L22-w*HYKxjmN4Uc)f{LQR zL=ehj0sXS~RNa6peH)_zw6>{jOYb2%pU3`GC4Gumj4c%N!0pV*DZ z@8avum^cjJ#uQv8%N_kDZy$lGd6{pD5c|P%y-G4K7IdomyD<&(=7YKImU{Nt&0HSD z(hhOARS&L4Pa4-K6Pi@YuO_5vI>Rf;?qstIa zgVs6B*&+ERF+guS;;=`rc7Q`c@^q#`#C;=X1b_0+lNulZosnsan@Qp))(nAH`%3MS z8z9;{s>7jGqIr|z?3rQ9;F{kGnJzW+8fTX~~pyPr+ zzG-pUJF1}m?-A?DUBp%|xd)o1VceJNWBtx|5va@f{$EyY7vn@ZHB4`DAj7;6c zCPRYHvy(X@_xFClG(XM!aol56o_@(MQuQ&8H*}Isz$9#345NMl>j}V-xtz zJooPq9ciDzX@zk{GmdNEUh&yK)H=qHmRsYKW^BQ|g_knn4O%ngUuUBYfufu6ox(>L z$xLNIoEDSGOPQFAoaDaMnbp;qY|TyO=C{v;F|x16s)<$QFGr_Rp~B+Z1Nb>Sj%LCb zYP^z+ADNiZ*EK3q)O)_pMPDb7^^#+qaM8ExFRt4qiDmKJ|Fl>_?81FfT22Svo!&>s zWL=JsLRxUEHTsLTqUIKD4taQYc1zkj%n+>|!92qL8Kp$>YR*Y6&Fdw?mU_IzGx{{B2?f!ytSA2ahS$p{+b#U z2<4o*p*-e1hJHPd!WTAkL}Aa9+C$)z!oGDJa=x3SJfg&*^X(L%J+d8|h|bs6R6Ut5 zf(ZbIe|8PA+;K@6=YgdX8=ImS0cC+Evk^}?cGi5f^^D}k|6=Y!?z`r6wboPt^JZ1< zm^@w;eO!Kc_#<&<)jxXm=;6Sw0-Ie<=ZmyFY%$X)wCtJT&-0mZGGjwquxOUM5egy{ zo0D{y!RM_~a69+_Gca4ujD$$2Fw17J3Y_qRkyP!-aubFKr=`|8pBrashZpK8-v6R%AK6Zva8S3SY;+WVW!lI+V`plgO= zZ~4GGnX@l6a*XYvb-1e?TyY^d;1-`j+QXEm@iO$UCoPN29 z52N}p$PMDyeN5uZKEc>zn=qhga%!I-%fsm#r*jm{VK6PIg{f0G1Hg0yQ@32!v4VuJ zV2YqYGmaEgQA4U1O;?*MiSV1&Vw~!zHUmWrI0(R+f7)~_Cu5_Q6G}QBt2N-=?V3iT z_{>DMLaYH_utTkf+S`q^mm9I{u$^3qJ3n4{p_mZ6W5IDwE7#7^=J@>L%x34W$^OfY zng&0yk2bhhVJF+&@@@2tW7E@(1#g&Y{bY2wR*~B4Ym0-nbG*XG{Ch9*?DNmy6t_VY z(I^&9d~x4mK9p5Z%P`2b3k-R`C?>~ma_XVOW+Av4Y-nx+zEW;BY39QVyAFC1SUw1F zz6sbNYgjNzg-i5QTKJ?zC>14CRy95^k6t2FWvd9dNl!kVrQ`M|iyHFa5fXYe)jgs4 zev8$_noy-ZSTmu60*x#Gv!J&rjJ8nXIPWZ9t6!?b=WuVeFo|86U3;vc0^al*4NoruEF{C-;KU@mFm({Yi?VpMUaTgHYw68OV68ij%u zMPLg>mQRoBkm1aEwauSiHgHCp>G+W%Oxow%xf3>7;U%;IOrDH94Fk~x4Kn<%Q%BK` zC7fF$#?va-z`V(G3L={rmkz*+67=|d`y;-GiTOzP9Il0Ka1GdgG!=$csrm}ZL|=^w zdWY%mHmT%wsIm19itVx9_u|=Ez=Rj=pIS&wFjFa!PkDcZ<{CnXctvv_EDd^FBkBQf z;B4gO=YSd|TW-MK>HrG&g_~~YhWTb?%{oc~Hb1u9HF8hM#t?&BlDbyx(Siu$#^|@M zX|BphQA#0hTa91{Wp&OY5lm!i+xQC2UJcWhPpMh4AU6fot&vEN>U%#f(AY&8K<)j>N)KoTD@@bC#$!?fH#wd%|exWzHc1Df8O7^l%jQ|i%LY{S-uuex7;jdvBV$wbT!@JUatdV;xKou)ny;163=GTMx-WG0|DS#Pe0kmq*tSu zU$T)!Yw-`|r(7xJ?nGOQv76P%svY<&zT>YOH`wPbYx~L%@t!{WTt;5%CWf7$X=Dwn(80Sy_U3#{CeGnnl>{)) z(W}GmuQH?VLa+%ZJXPM8)!ht#9SalrT@W<9Ob`s1BTMgIM~F{-T8J!eg_7!&WkVPJ z!**2*jo1JQ@y*djwVFo?DUYTzpH&*UL(8ygT2LkqfU%0t@!zYu$f^^thUy&>k{?t2 zX)Lsv@ZnQFEm!vUB<~R}O*z*;rRn5+FdCfKT%@-UmW3TQ)9dd7qx_25J{WtBX zxzdJ;n7-r3H#A1AL<9QU+UAIPjXB5lqFWOyTee{tPNH>#?*aLyRx;srx3lUunBI!K zNprVYC3W68F;bx-I*jLW@;wX8u&ZA4sN2(HJi6pK+%6YHw}P+w;MSBw9QJ`TUP-0} zgHa?i5MHOn6Ql}ZJh8oV)=5%5CcbJ;5zH=qo-F{In8I=ELpBf+CdOx22ZlWbdO*sx z6Xg8K%jRNtHa>EfYptVHNtYx^3kWlEMsECaf%xo=4mwmT=qdZV1_g7kITtzGRv`mW zRJuo2pWv*8`PLoD#LnHg`y8z=Xty10UtBRUx`bsg>GR;;`|7G-(cj^80KXqL;*P8mISQY1 zX%h{&GD%K7+dUEAQ;`4UUEfp9BMWR14bM#Px{mtt&odF`6R&=;=2#8-N-DFu$gZ$S zAayn~yZ!NAN40`)<)+QGl&X_!)WhS`sObvqxlO{!ML2afiYIqWZg0ht&j;^*=EFp4 zx_|H4x!9d|y2vVQ6Z_L3=Gke*i|ne|K_o()!lgNA@4xa^!AH@rU)A-Ig`eb^Q5))2 zs$@d^cd>(pZH7AA0KXaaxyaSFB0g@c_OvCX4asPdzw3ig7Q4t0U1uHXlDxOCUUl%} zm04vDP-$ZihQK|StTEW9y$~wjMXt~Gw)QTCL zGoMUbmdN(a=Xe=r+=w%^)0;NtNZ(|jKs%WJDa}h0$NcZ^-#J`-<_P;`VEDZlUXpfnL z;eSGVtepR|6#KsyU$b$rG5lXcd(L1giI;11n-tN7fgnhI3=M_O5`hgn4FBQph7oon zCMA?0o|_{KD|99%gphD+4g&ec@Vfq9Kdy9{N^jiq$a(L&@~%ENF`At_{8uZYA%Kc# zj{+Z-A`e4QQf);7va^r8bGW}xZfGG3O zJ7e0JU)lsEfkpoWALI7P*#jaKaBB&0P3gp1MYpAf^gjApY&1%WbX%YEBg9;1JlQFw58b9PN)&fbhJ;>)~g& z0vB)T?fk;4)VG(e&=b~Z;{eI&GmxWGKz;2-Xb3;yXS1S!A{cm<(9lpo0dfHm*d%1@ z(K~(Q!O82+%GLX6TFs{$10n8@>IqQ_KLHi-MSSP@yIlyFq7Zsv_}q{C%Yz8yFHkZA z1e88-V@PlKR|2k0$e&Nn0(yK%C-BspyjF0Ko6on;_e;!l-DHTC&SAfu?rU`O!m296 z-2P9qJ->Hj6T~YZdb~IU|KooM5I}q4{30T+zUY@QLNe;y8O2&nNdTEII>YXPb&FP zKn;-rqgh?FqBA<)I2j|QPklY_sZJIEEM|+(f*zd?wy3b+PQ_&OBKEqtAVylf%4tYH z1@(7F*&kM=tpy}SS2Q6+a|c% zo7+0aLERAyaTZ*norSrs7)_<0RJeOF8_+AY_mE8>%f=lz2GluOebGC)h98FF<6cqb>D$}t# zK$^I2LQI+5-Grh2*Jooo1S|Xsu`aM`BUsPOZi73bG^K2G%qPcLTSqEaReby|AmmIW z(#?j=;qpjZ(czQLpZ=DWc(Mpe+DWnx_qtf?Yme=Ojd}iBQKi<*CRcf2k)oR5d3`k zi7*%P6sFE168e2)8CA79R$roO;6}=Bj|sciPLb6F55;JgaX_*`eURbWU~43vGviQM zByD&+i|hVwZ)|$vB3Y`HJ`H+JWh#iE)y<;-jb&fE@7Nf!*~>k#a%pVgk@n7~#`pAAK3hT3AyMSBxdjNpCQWzV%O;y53B8&gV<+7U*~&-IG> z!f32+rvIDn!u+0fF?DKe{$7G>PZA%LaS>&c)T(7xw2BG@W7m0sU0~_Xk{^ZK(k5=l zJoXvG*k#4>i7}OhST{*3*?Z#h?@s75@SM6a-<^05iYtHo4xW+Z=dxt@t90OXvgjGg z2T88(78$Iy+9h1cSIcCPY`VZUnntfzPN*L8YNxB4!? ze*P4Otr|$%w#_s`khNTsmz}2 zo3vax;Fw@MWHeWkLBt(Q!^7rnYCUGv{4fT!NrXSSHoPdP4Bpz3AK;DvG`}5l$_uXT zDSh&|w(jI|K79)9a)uruyb^CBk(yCD=v}^J6X)NTPTo-^0GMSDk$e;FQf>eeD-p6> z)O@Z?=QQTg&&{QA5!K^VvsOl9Z2UOZ9_IWIRHPXD)-N(U9Q~-lm-ERvg=8+XU7k8Y z4n|XwlfY~GPax&q5wdnoBLK2R?P^%AT-9@HDw)O$zzi&s(OFsTI!U4Jyd3|K`caGN zAoG{+9$b!f$KzQbDX$$1K9j7@cg#gYbkp&%DUHLw`9>X>e!@1~i)S<``nJ!!fH3Lj zc~JBvGbav3c&R*O`M_Wa?Z|q468T-ikFwq3%LP>0_&)FuLC}WC+K6^*-}z*>pT1$z zD4HSo)7SI+?=L7~9F#K~c*YVmw>2ZMVAwP@J#@TT89Cn9@nFeLmb1F-3{Nlfg-!zP zIUTrk_$^X+#!^fow=XC4wh#+t9tUz-$9|a16RkbASOsXASr}qeRcRt}*Yx=BSU6A7 z2{T4e8d41jNx`GXJ?4tVM|r3o>|KJiJ^7VkEq^~!JGC@l%X~ldV`x5ne7;V_U_l5e zUy&P~q}O~?RAB!h;4tbnU8QUVEXV)i>Y=|6amuVr#ir8JrN2cWHjm!F^k!Z`k=P&b zg&B)e%!!$KA*dE2Al!uZ;sX>}duj$@sfO#vcP8h0xjRQ#Bg2W7pWX0U}oV3TU zk2HDmm(v+p4T&_vJZ(CVK+bt<wTyouhFLvB!dyg!D6AWh2q?II7w{ zzQM&`&L03Z9;5f*b}cAunPjB6V)nV+PYCC>stZ$)3?6Ead2vEAO zR{sSL;5>39+C{fkFp7O1l|`Jx2hy%J{M+_2r

Tm{uk~(G)$LfLFbM;y%!p$vR}m z`eXCC|S6M$&TQ(p&yRN$~W(%70hTGnvZk4GZ~W(1%Y;(pJAZx;t8uZ8M;>b4ry~7 zIJd9t0#QsI!wE4pUcvGDh;(jAst)h;Gj~!UOP`Y3Z=fVpU!A-Ogk7?s3>l?%vF{et z*LLwfz3pPDIRaFHxzeqsD#djQ@tDIApDv_%s#$3>pqB`b- zO@^1bevra;YsX4Aar0xPbD$XZ$|N$`9w>%iBx=MFbF~%(52B`hQ~!9$&;y7n zq->Db^y)Y{?D;fKx9M?;96?WN`JrQc<&V+RSaH2o87mVhy{*EI z6=;Qhoq13`ps|6o@#I+=kf4m70l2a*2yl?z`l5ZAsH?X!Aa{>ss*!KPA6jV;mF1!* zwzUKom9QkPY<}zz3(m*!(Ob()EH&L2>Zgo-VT}ZXh&{PutGpV(p6m1j_;T@ogVM_h zGNacINq;pu)Nm>17&*NZF!kicS_=_-~5;%VsYn0f&Pat+q?A;0nwn0& zkPb^n0-LmHdj9rSdLuqnPivISc?Ou@16ro;W=}idKn0d30y}NMxuF%S<(sdWJaF^e zbznl|TJF$wELZnc^^Cwxqs23RA9Fd711xW?PIW9#{FYC}ZLT9*<+C09Nb1%9k{$SW zU8c%tMm>rUywNq3 z&YfcF!ul`V);~ORAacwY>pNH*(B?~<4WyID1*?>^wTaR+CZ)HDw%AylT#YfiKMA#L z484SU`0M=T9`jlKFpWM)g05g zket_mY7Jh$)KHSNo_~h%(8xnTt{6>avNPJ63YF-ya)^ z?dwThdz_n_b&5QMOx_3RteaEEZI!}ycO6|JoM*?Y&g5n+Zh@)KhvP&XMgm9?xe>jb zLq-_bDm&*w2UQtqpM9mFKu_LIW5{JIS0)vO`lh)!uW}^*#LH{sYCg`EnPNF5<(cOn zeRJWKrE|vA`J2|MEZ$6+)xkl9_X6}?NNR)zDiGl5vdldAl_rVsbZbXf z7VGK`@a-RMnF!zcoDsrKe%YwpVq^;nstR_S6qlR4uDU}6WW<1LxeXLXiLYu-ZTfX-NY~F2SOVeT%!B>AFW0*RLTo{e_I8fnT(O&B26qChsxU7 zHD$XdS`wwPsd*5&Pd#tvhcOZASkr^T)VLIiHZ)KMV5x%vl(x=y#E{DMAi$5>~Oi^BR-7cMd2cg&lcg*7}Yog3UH{58i9t6>n zo`rPsLuPo#eDvb+fcSA;KHiBB{S_>$%OWohQ&m9-!s%~@@}=uwQ|0ZT7}9T_oS$THuy~lK)=l0LO5h8WEN$&-PWIi^OcJ)k+)|k=t`jZCADlTY6SSS39|q$0I4vI3>7jgK6cIHqVW+nl+ot;L>oloRjtJd?2#x;bkM7Io*2A_f3DvwIbX`^hA4)RzjpZXnda-wVq zsx5P4(yZ_LIAA>8ij$jeQP=&NdrJ7YTb`j^v^#&?Xuw=|CYt^GR6DeKRxs=_zevOs zkn@1lFo#P$$NZDqnSIuvM&h#bu5}r-KW)!WGQ=wWR}ERKtrcq{Bm(rE*A})-_Rr=p zWhoZap*G3wY#@1xNnJT6otxFG0UI`{zFEW;?4FbRQyMu)$fP7R?EGP@5K7@9_G-7R z6XR{yV5pJR+J|gD%a^!VOOPZg-46(Eq|{721vmTT4=Un0&hF^fcZvo#rDGyzH5x6i zdw)!PU4ND%N&Ry6x|nRAsf#a%8KTTn8tz{0wp!P)^4!L7tjlc>J7L6CQ`${earH(t zeK)@`kkK-QoOnxjz!h1A$fy2}u8fl?Q@RrCto1r4 zxyx`LZKvOM=6D^pqqIlQ*4RMEtULc`Qc~U=Q{mpFcFiMi4_HX~*6jOXzSwZcN&WYZ zVeeg0;26H8mLM)%dH{m1+^wWo=D}G&S!;6KM!*;_emy!783zjk3j`j2LQrYCAa zxs98*hFp&aSih!q5BYpanXtb9JZQ|b(sfp;J}9Z{Xaqo@B%49gK(N>5{rc3X`314@ zkw$alP(3su|!IEtlF6bYg)p6VS&Xugj7j_RCgT)gkV%9KOf~ z5xv`!^uO}<>0w8Iy+C5EO!&OijVK+aPe;XUO;0LuWq$vIGMB>{qZ#+DvBSRo zk5QCe0Og6u{~xVY_4i z=A(?Vxm!L~{6{}Qh2F%z2g-((5@W*m=SU?u7{4}f&U>j%gSx1|$d&~6kWiBUX%q)g zfR#yFqJI6JUA5#@ssJDl8(0pQIYK^*TPuZc7{@}|x}j+m6NGkq<}ACL=s%oPL77+) zo4#haWi&GvHbO1o=I-VMGMl-3yoE}u<*cf^G(O-ZMVM|w6dNii>qx_t8QR=aphh|K zJdv1lTH~D2b8@iWiwiK}(}NL#j7G;=T3UAXUV9L*^V?{^3zncctx3@gX?Sr$Q@k)s z-!){2m@%cgoDi!&$9f&m9>R#vhgqUoc)-FYI>yWE5j1t0eLs$jm7O+pHFYr$OkAK3{J7O%>C=1x|hNraT-_T<06i3_4=)3s}jgutEm zG=+l18K}02Lqyw+bx=JHR1KUDh!Na{30+#rJNVn>gf<=z9{)B?mhnpVE>C3yc^|j| z>ln}STyO%+G_r;_IhtQq>BkPsFiK&!*gNlkc>@OJZVtJYR7?RC^T_u_QA^N}*}-#| z?eMyPt-d(-zIfJgS6)Tc<|&n1b%-Jfk5xSH%og<2jwSyk=G&3+dlE64Ac0D3qwF=w zuN@yK)_Y913+~xY5LNj<4HD-JxeYQHmADS$HPt*E1w)78jC_QpbqyWynK4yUV<(>P zBTV@I}*90oJ|NQM7Wq37+D!u85tNDegHQnY6cE+ z1_tsUIaxd7|C5M{qk+A>i7^4an1QvE$&V5$q8fB!F4oqD2DY~U(M84F!inJL`7fPl z2-Hj*oqo0^V5VbaVPxfGVq>LcqGS6Xy8gc!63AG%nh^Xb#X?D7WpChY?qp&>;QIfq zW20lDW1xiM_{&RH3|84^n4|@{=dU-=jWoH{GdN~5-A0}rp3r8ns0w$*azhsbr zk)4h6{}w*1(y(zt7Kiz|(yPT^Ki%>1%P`;)_Ll+uB_Z@Tem5`!C)_Na!zcso?fhM$ z{b_Tx6$zbBV{6`$ls8_j-A#-lPxSX~p9ZaSj~*IV1WM+NWTAP`6j26A6cT3qZzVEe zIAq47f3^B1GQz?@^CAZEV9d}JmFP2;v_U;}TjGM1sW4&oQoDrEW*w+<(8q>Ye{q?t zv3HSZz<2AM`k(@IARf@Q~7kNs0KJfqv-X@c1zY8Gz>K zH~=~Nqy%5~CQU}hp^!!{Ki=rRDdRg2zZDt;7&BbP{i(6tlV~Ot1BiC`syB|oE6%wD zfB5GcwbfQA+wDzW+X)3elJusFxg?m4lf>y1(!#vdQ#u z3h)XxV5HAP{?rk3PZ=yR!-~o?5Ea5e+9VPo7Dx!f{US@imaH$Jnwcd3Fi5{vFgqxEa!EtWmKB0O`7FH?MOo`D0&lU@gwc%@`;ILx;4lNv6-=tW2 zjic1~4y_*dX*uaEG8c!>E_o1@y_J%{Y+)mu?bVdBg$gsR!&(4FL0gL9l&~}RwoJtW(Vg|ZgL>AtrcCAjj4YG;jBGfZ>rgj!(vpQlGj@8r0S{0KHwVgtT#AYQ>oA#I# zx{i)jNoDNonD6dg^{ipUK^hn3@ug=qF@=e0aZec2)Z>wxuf z(=cz%IK8#Pm6K25`%=u%YvT}QQclssZJ6U3(m}kqn%4UYot16Yet4%*CyT~tm(aHA zge$3+0ijNt$+X7PS@|{@OF3iuUcwLx;9M^HIkS2KX3hL zcm0-bjw`wrIle!cvo1)@IvbMY&E2f?k2;lLjbm8sgQeBn`8f{`2u5+Hk!O`8yVD6#2HRg*2> z%|8IdeEX!sI^t3ssQ?G8O76^^76&p@0>_So=#zSr(b_WIBSqS}QyF4(-`S(ncNHHc zY15v!lI;V>JFBy!70o#K%nI!>dx6gbiM}%KANuZalmhkV=a51Jii8i%Q79bEaeo@2 z=h(&H0ohl~bAQu^q^Z<}Tu)r+wz13b1Y;l& z)$RDb-Nk@Dd$M&@+f=Wx%T%7FOt7jSly-~4ZnaYE;J4&>Pe*s#$?5&b-9b;89TpR! zUI~-1y1@XOt?L5Z?amdpZfE-Rd^}w4Uq~(TUl^7KWIwDGU4PAGOET>K5yN}~u(?^o zI&tU<^V8Um9r-wOvSq71f!r(w{cvz`JGf2#g+rsk`Q&r5c{+g!g(6xUYmZ*TKIA4(Tsw1;Kdw7O8U$+9Be*#d$i`#+jC=Y za}2Xv56iAwU&-ySUE6x^pKLN@vqx*KH`+KuYhT-X?Q5K`H+jxCIq|L+H`=&1cRI{i zuQX{j`OqJAHQKl}Z}Nk($=EGo*#tCN;ICVkY|=ij--jGlNjX{cIBsp;nFemubgG)S zp?+KjNl#1T6n?(*GHV5NPo*F|Y_RGB62?FmV19_X;yJbBeGr zh_NzoFfuSRGck(t5&WM;es+;Du{CoxCtze|{x4rn@E=!i?fesT(2H6BL^dKOMs~&~ z|A`cwoPXjU8z}cR(s4;RU|eNa~n_M_7R(H5KUr5AvbpN>f1YnI{R)ZiumS3^5F8#p?Sjz<6h literal 0 HcmV?d00001 diff --git a/Foundations/overview/P1-1.tex b/Foundations/overview/P1-1.tex new file mode 100644 index 0000000..9cceaf9 --- /dev/null +++ b/Foundations/overview/P1-1.tex @@ -0,0 +1,20 @@ +\documentclass{article} +\usepackage{array} +\usepackage[margin=0.5in]{geometry} +\begin{document} + \title{Problems 1-1} + \author{pezy} + \maketitle + \begin{tabular}{ c | c | c | c | c | c | c | c | } + & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\ + & second & minute & hour & day & month & year & century \\ \hline + $\lg n$ & $2^{10^6}$ & $2^{6\cdot10^7}$ & $2^{36\cdot10^8}$ & $2^{864\cdot10^8}$ & $2^{2592\cdot10^9}$ & $2^{31536\cdot10^9}$ & $2^{31536\cdot10^{11}}$ \\ \hline + $\sqrt{n}$ & $10^{12}$ & $3.6\cdot10^{15}$ & $1.296\cdot10^{19}$ & $7.46496\cdot10^{21}$ & $6.718464\cdot10^{24}$ & $9.945192960\cdot10^{26}$ & $9.945192960\cdot10^{30}$ \\ \hline + $n$ & $10^6$ & $6\cdot10^7$ & $3.6\cdot10^9$ & $8.64\cdot10^{10}$ & $2.592\cdot10^{12}$ & $3.1536\cdot10^{13}$ & $3.1536\cdot10^{15}$ \\ \hline + $n \lg n$ & $62746$ & $2801418$ & $133378059$ & $2755147513$ & $71870856404$ & $7.9763389\cdot10^{11}$ & $6.86109568\cdot10^{13}$ \\ \hline + $n^2$ & $1000$ & $7745$ & $60000$ & $293938$ & $1609968$ & $5615692$ & $56156922$ \\ \hline + $n^3$ & $100$ & $391$ & $1532$ & $4420$ & $13736$ & $31593$ & $146645$ \\ \hline + $2^n$ & $19$ & $25$ & $31$ & $36$ & $41$ & $44$ & $51$ \\ \hline + $n!$ & $9$ & $11$ & $12$ & $13$ & $15$ & $16$ & $17$ \\ \hline + \end{tabular} +\end{document} \ No newline at end of file diff --git a/Foundations/overview/README.md b/Foundations/overview/README.md index 6e748db..77c3716 100644 --- a/Foundations/overview/README.md +++ b/Foundations/overview/README.md @@ -72,3 +72,4 @@ for n in range(1, 100): > For each function `f(n)` and time `t` in the following table, determine the largest size `n` of a problem that can be solved in time `t`, assuming that the algorithm to solve the problem takes `f(n)` microseconds. check and run [calc.py](calc.py) +see [P1-1.pdf](P1-1.pdf)