From f644bb9f507c51a535f1fc2225dee8123d29603e Mon Sep 17 00:00:00 2001 From: Mitchell Plamann Date: Thu, 5 Mar 2015 20:02:24 -0500 Subject: [PATCH] Added introduction, sources cited --- proposal/proposal.pdf | Bin 106413 -> 109905 bytes proposal/proposal.tex | 26 ++++++++++++++++++++++++-- 2 files changed, 24 insertions(+), 2 deletions(-) diff --git a/proposal/proposal.pdf b/proposal/proposal.pdf index 6fdf8a2fc6e96d3accf2a8c01cb3a4ff83e4f9dc..fc82785138dc8fd793ff95993d36ef7165faa324 100755 GIT binary patch delta 35132 zcmZsCQ*fYBw`FYG=-75Tw(X8>t2_B(+qOFB*tTukwv+kqt(mHsx>I!?)_OjtYGLnF z)eSYf28BwYBqqVY!pH$fF|#nZ0>{o1j}iyU6`$t{#=(||16ei57&WCL{{^y}0Y=2skBjMOZ{MVpp})zGgKsR2WP z7SZ6mFsZw04%|d)K0Us(3xl-p$%}v~E`spwJ%1AHnu&XKBVMUK%UJy|e%?z{UIXn=@6g)+))X3-4KZHneH;38 z5J4;gMe$*gqBSX=oY(?md3Wlf<}|bGyt=D2UE+^`#M6l@d5;zqiW-GW zoVu9yw8y8WF0xTXOBq+ws)v0EGa9zE1%;32Ae-7grXcGNOd$H?fl*wl+}TtdZtGlk==hG2V-kEZe|i@lK%qy{BTTi zX7(1YmLzN}EIj}Hcp7!2Q#Uw~x{fs;7|NgZ>YgZE>awNx$a4;&`JRkep;HF_CFoL| zh9}spb^F#R%W7Y)j824ONCkj^f)Q&SZW1_jWL|gQ75VtSFV0_oTnxo-Fv|pFuD55h zw@7zxJpTATYU+4R-M@b7I`*0xH$U<4J!&}ALQr47`0{z*2j;KAu7{pCHpYGQ&NnXt zM<##hzseSRy!QlBc&wC6!7qZ3#%7yPkX5_>0;fCsUQ%l(ao^g9*vz!{eDTH}j@fNI zUP9o%R!MI2-RZ)E+DvLY;1REi+Vz*w5!`wgzJU<<7^J^R z1kC2NJH z!^ao!29C8DED|&)fztFdJGXWHd^(#T?w3Z~06*2?2ht*YuhYZ_{AW+}DVsN*Ovr5B zL^&SHft~3B1~d6ZJ(j=fE(D8C90b~pH8#kpA<-A5L;F^KWH2WDG|Zw|5K{~{dY0Jr z&WU%XELwZ@o3&;%dG}j6%)VK#L9hEBOi%ir4*J69Y{5Z(O;*rX)O#6xI_c266%#+7 zpXww^0Q+?qNrlB*v0>Oxo#_}YUFnJ=qDd;gl-L!P5wOyQw*4&_%|b44xzb|cqx$iF z6h1uHgA* zPS%8l^0|8vn!VqX|12jOzbM|tny-z688jPD*D4QlCUOtW=+@FA zP#ZWkA$r_|ok6Q~cBVAW^%se)qz8(fEsCOs6XTx0#nyC2(g#m6Lcc<|Xnd5R}X9YTpM-q zm%NL}=B>)i4(!7YQ9}CUSV8g5UQW;WKyTTlR>8~|VZ`e7jhb4%S5$Cd48hx19)d-f z4U<359))a5`T1FSnyT7Chd91Gx~6kew!AosRz-bS53jJKgZ}c2OCrC%-m>F)8>Qj0 zmCE|OT{1aUGlyHC<$2vuj*ChNUnQ37+COkg6Yvos2_5@LbW>Cxj(2;4p{;)%z<$%3 z%)`lqX%Umobe$ZNd5O&Ej(A{p0|*ntqr+%#qel)HEudDgeI=dn*Q6A+c^JEO4` zX;;y9q_3TB%|( z=EJ)Lij9}0h#Gw}!tyO>7?Y_Hz#DAvb7yY5Hb0NNcc-}<_srznLfiCxZ8=4BKGcux zar5sEY|jGmJTn+CJ5iV!nycBh1io>Mo}}%GhW_U^VUs2lW`VBZQlpcu)ixaeWA82U z`}tB`iP%m49M)`JxX@T5W;Ml=w_lnp# z-Q083V25?IkJ5PkTD`tHKG=Asg=(a-M|W@y#agMmr?0Pt~GSab{INn`R1&@N;>~>8ZNR$)g5{vnq_@ zaY1-{3A8~ljRaSw9-YasNSn^4*SIC?AAOkZVYihzOQhPHq% zX4{H?gMZ#%go_s*Ui>l3eA3g#=>8-y%SwEZ%r`$yxQP~f#d_{a&{cxm3Xv2A|GMM` zF?Xf%{Y$5BbB!vXxL9(ybvM+1e0J5#)r#3AH5qJfP*$(RR9fD&*|k?r`7o#cGR&ML zZi!5$N(#0Nkab4yroNy^yVY!jxSw-R_#wj>UGQ-b41C?xRKIefbX=|9dhQtwMteet z=MA(<{`O79&%4R9 z&TDargGBH3h-`B9W##sTl7kCG{usmz zeKgtQEi0$omZsDrR@KPgowSH&2CqqjFi^7)Mio9JfCJ_bHFb=LT53~$&p`dh5H*$p z2|i4Jp=C*uF|Q%0Dua2zyVUqun2k2A;jLg7i)4Oe+sE%bS4G_&E)MF;1pfrtJef|$ zZf>##{xr$-%DVZUHb{Nq4bWYDv@T(7-Xxz+P9Zy&Rt?w7!QVum;!mA+-_fB`M_M`e zdwhEw4jwuSQ}2~8m5HuzwKHIr4l^8SpByPg1DveOlVmRfBi(sRCnT=fAuf}?XVBs2 zl3!5&kbI5@rQN{2@c;O^{iQe$%DFG!>*-$ra!K5u9LXk^Kcd^}sr?vI=FI)^LvGjL z4ZrGrLz(VRQkU@K@=|}lEs^Dg5((3>%humTM3ddzZ^+l3)|?uVyI)+n)a{JJi+KC` zKEgxD$B2Ncuf%FG=T-4f9BK*9donIkGiy54L;RTkt;+sM>zLxUyEjM_Y9SSBlH}?S zc+a^}VIZEmg0J01!h`;=}riC00id=da#7 zz!mEMsIxOI40KGp^_#YOj5znTe8$HCTtwL#V942YNg)3otdmG%A%BN|M#KGGi+W_9 zebpqo_zODsDm`xO91#Q{1Wps%8+_8kC;9LW^$~8e`)8^)PcYZwum0%6QWrj(6xDYm?fTZxxg}Ek+Z5y2v?JG|D>A43JkesZq zR9gpoQNEJMrRsx&!br0BzZ6Est~x|GApQL*(Q`K<`$RSkEfhLF9gL`V)$@4o=`)3a z0~0aS3ZbeqAT6o-8foodoo+FM_#Kom@nAw2Z(W$YJKai|FD(P%Ew?#nCt0g&f0`;t zAYiSHysqA9%FN_mNUbaQu1ZY;%-&QLESG=a^9H)z{`rg$32N6rN46CVTlCnVwQm~y z^${TZ{*auK%e>Nl@T_gTHO44PC+c}VW3Rl^v1yhi=}%w76l-4D{Aj~1=t=sI&Ag#_ zzBPM>plmg>`@ydxz|(!3X~6TlCzpCVoM5|Yko#NX34k<0ynwfQL7$-mB6>CFrlI8z z8*i2o&_C37k++yXnLR{%b!rC%lic%ab~OTiqAlsp;iM+>{qB>xwC3o+_(Ky$ zI-%R#=k);&&R~}=BFIc))cYfOHmEME3k}9TLd?N?wRpH^vOz+dCSvd&g(ChK)a;HQ zOe%3(QY&RKSsyb}nf?~cfrlMkRYIAiuxy2=scMJv4;+C8{;>PLm%N>5DY{1Q|-Z=_@Ur$(CzE+&HJP8~o>GJSSE&!ki&xBNCBQ3(3b zj&In(O}{tTu37tMo4@nz)DDj+!Bc(6tj=?dY0NpXK)R#T^o8;qpQ& zj_Dd{l(T6D%lxqYlW>HPqL0ZJc8C=uZntE}+q{?zQg*^AszINGlDr9ehE+KJb7{d) z{aRm`Q?Jp;Tgf4keU}tGe4sfjP!N=z6)DP5^y8}0*?bu$MGe{jB?(l$Rt1H!3Y)A7 zyYdn9?sk6Nv|Z{>J*8STD(&4>l++~`vx1x^t<}~mcOb8GdMCfb63?7OHlw+PScj20h|5gX70s9vdl18{8djP|ww;Xtm;QKNbj=Xo z6QGMFe&9*KpS)Zz%w-0%GJSOs^D~+PY%psK~ zYE!CrRJ|9{O!Y0|HVD2)h`p)c0?da%@IN;!X;lGZ73sVHWPEboJal$q4ho1|ph8lY zKXzs}W^t31?R(QB{98p+P!};0bGl$W&|X}%;Yyo$Q0=!3t>k4Lq~yg>!*4%|YNaYe z3^T#oXEJGCbL1qOmsd0^16{iINPXw=cZ#{Iw@o46LCf*~RlVq9LHdjDhjyR}dpgeX z{D_x3E=lkSP~n=FAchQ~Gyb6LSKXq=VG*+*1b2+Njn9r%64o(M$c3GA-cvn-OwI^W zOv^oaOX_bo7^1im!d8%hg_nVTIL1dqn6Mw))J}tZUkpJfP0hDKfVlwiVBhvu%%z{= zd=A>f4Ie9m2m@_)b5J%wKWEw)Ov`5U&Hy(}!-d5JoMs=qlfST93t;(=` z?t_nl303o*M>T&24@;hR{7X;aiY@dQ>K43aPMal1nfTVR*QRl?82BTB)~Q;Rs#;!n z*2#PvlSN#{EJ8>yO3MTFPCQ#4e@E{_W&_8qF}bO>yc2{SQc3T$sJwh^-eoNDrx{b&uLr?Zh_esQ)LxH;ZxNIq5D z_XM}50{z}yFltOYfF2MO!sLBddIS~bAjT3X>pEN-gE^J_j~JfG+L*ia?5L$_%()?n z2X;$ty3X}r;q+5UXvSf;C{MOp#={vpx|u5h&XjhLJFS_Mg}I^#1TCMFfpZ{p3{=+q z)T7~8Cwm)c z=>=AWLPqn22klfY`gB%9*H+J0`;$SKx7I>jAu-> zY;JAN7h^0!%mn>xD)8$E0y7Z7=E{DFW!H4DC7$YC8D*w=@1#Z3pd;21CHY@0kiiQ& zQ%K7^TxG5r^pjVU!NT?s1aG#3PUr%eq=VBI<1B%?$YJBKz1sm=82*_6`w3N$V4i2tp;aW5ekS3d(1>YV3=OWt) z5MBOpKBpvQ{f^k8U?6oH78pU#=gXWu~S{f zHZ?{6M9J0S8O{%DV5;*9)s)i_BSbMAk<@vt$>ccp4brOd#+56nPPixP6XSe^zTXwmY)ycmVX z8bB1DKDq5Ed%lUr(yMSoUkA+C{<(49HkAaiq{0uL!a^>-5zV@~yyvOR!=~c-EioKd zM9B5PQ*)hd|Ab&5F69C^;r9se3$XUkVER2P5(Awk1xg4Y@Az1af&|Fak-e$g#m<$5 zYQLSk$WTX>waU1QL1(`*?>|mDzjydi z-R5_x#>6XI)JLY-Uk{b75JBYN0D5-3AFQR5TIlQJdZjZJ%;eUp(klDUJ*^f)K<#20 zvGA}LfyDkg&w#6~>VyV&jIY~yHoM0;Qz_vfrZ;m3azc8s4n#GQkT)p-o(!X_{kmgP z$|##ZOl0JmTDlY<%|z?D8@p`e_&R#xm5JXs<2!MnYqfIHNbLOzQF1zt``|_FDtbxLHSDMxpb;NDh*38zIVON>CrX~by8ht* zq_iYWhJhCb3CpD+RN9UQH5ycevEyb`J3faO!|Mz-w|W8;j;ww)G2EhY|4J?OdI%;C z*$Me$MR(~Ngb+AeQUlx)0 zfA`WnEdSFZvT$;+{&z3!qbZxX&WX@e$KUI-n=fIXpP7++=hiN zyj;pG6ENtY7Cdw3HwhqtK_R~ZmEkOvuk(728+qB>?>}$Wu9Hq|Q8;tGe`)wzC!f6F zq|#Hl`9bva>*Z^oSX;b}`)@qWV1MM&v=ruS2J2Pc=TYrUV zojsghu|$D~LB?*L{@!*7T`?OsWvfDYeels>aBZb7c?c=dt>VJkdP!korSyI-H&)Pp zxSc(Ayuf@Kitp_z(@tB$@F$-iv}^e*&(>AM0g8{a_YowUTqn`PNivtanEudl&!DzL zJ?on>0X?L6$+b2BCl@<$eo>U0LbTcQS997@{@ylS<2KJ#$=tRdbSAOFZSi^O{3%Cw z3*ik@$}E{*EG3_??Mr)?odUOna=dNZ7g4hI^PHSynuA)@lkL2A8iJo@wFykdSxXqQdUQDuV24@ZD-7j zY^6#k`NE^ZOn;o)3Z4(K-Dl%<#>tnO1Bco;2Ho<=nGIq0#<}@_f9VvP+Gs8~DVy5b zbZ-_*Cx`(KU53nmePOR5+PZV2m+O_wzMghaShZ1!mk3HXMiWm=)u%BIkz&Rt1|kJ` zm0;qN1Dy}kB5OghSOOf&7dP-3_?WXCAB5l8bw{)o3u6jmqE2qye+{L68|%bt8f}i{ z=Tw#{jQ`3oljG}daEz$0QGdiUlMVP24BR#_kcmsXYb;v-w5nY{cZqmNJwu)i(AoikTUY<7 zKh*hfP5v~aIBa@@NEYJ*Ha1dV{ZW9Es-*Ta5OS2)CfAZy1 zMa~W2{rRCxVvVXNb`eWHDgjrGai4((Mn<}>`c()6elyohe}Fq0eLNAhG?o{@WB9#FAsv6sr@sf}1pE*>cVfI)sSQ z5BX{YvTmpm1vnpJtWe0RDv6r2-rW;aA+1=T{_;0O=PzX;QoP-&Pu9NdfPt>4o3#X5 zYwT48P^kBTwVd0}AKWtT6`(~Sc!t!vbsYycWALjmQTOepUct6h@W=H1=@{HAJUT}Y z?)=IG;K)DDz%EArb|AzA; zv@umc3K2J!*>d8~G`g0gi=tA)$f4u+JK~yA{URl!4+;Njb2|zJYX}u1%=Wt z`2#w|vDFLK2S-lq3R|an{#2H6{F39*Z3jPMRDNydJ$2){`4~~Ert5S-1zsK;mkrG} z1~$Oeu_zmdr1EFb%v*s6EVv)L!z`wWgY z;M>-qzi>L_Nlh==k-*jlMG=ppIxIlaQdcJ)9g{%02I?=b)Qbk}Hf+?3B{p=R>-aNt z%PKgRIrV6B2<0>)K2d}$e|ny73wy{2AB%#fO4k+lSTw!fK)d2~dfpQ(>?wLWKtQ7c z%WdSlpvW1YH17DZS01YxdlN&@h0(EkB@_loYaIG*}W)VA6W%+)XRmN(j`Bx z^SyWkQsv32O3!gsMO6Jy-yV`ZGQeG1}bz!);ebAV5}5&~3ZZ zUt(-hf~?;xw*^gTx*0Tb$gajST$NqHCv(RRcjjcvj)DnVNOpNNgu^T~8fBCOlPnpXeQv_4hjU{0uEi#fw4=p--0Se= z>Xco#h+!xcTA3*1wq7J-1gP|GQTi z%Q)h+#9=aUg^V)vHGX)8h~JBn)^ z;I-h4u#*a<2|^R_GY&HMSOa`wz6MQ7mCQu{v2pwtj%OV;|+4BOJ%ZVIOf_14zSv3PP zjrhw+kosoDA8p9OHH49Tc z@~MUhI1swiUnegt*!9wG3^?Fu(10&zd)X*q1XxIxRc4=YT* zHB%`%4{ds-Tk)dqeYVFwNAC$Hj@vBKD{Mwh6gfhThoniCPG=1%t})R{k%q#vQPE1b zKu~l6eN$-eCF>!H8iKPzAZnA!yYQVL`@xUC^;~`{peN2H0%Q zd)|N1>jw~=YKFbJoc552|8(FTD|uA3Q$SgsCaXXNL={OlB}oKUmPGsY?&cd#LE8NC z3hSL;C2W;-Du_AvNooioI13J&IavO=&7O7T^FfhPjh0m=k&F_Ij&meN(yVO=Cc;tcn^bJQz80fSCq3U zp7{TqM#k3DrVZ5iy__jSP2sz99MTtNw~xinQb3WsAF$#C8pFmYlu4ym6D&oKilpbK z@xU6+aG0e<>RxHc5YkCFms{+Q4ybCaz6Knx z)mjxTs*JbmPCoi|e&n>DH8seCdXAJaR1S>_M>(O1$5RU3c@YzcZb2rL}~@VLhy@ne`P4l1@r!f(MuSg%~3%7 ztfo?Q?0}d>vI&(?DuBe9&S5lp{MSOszTC*L|EfD8lm_8c7kN9LIeq2=S1)jxSrhmB-w;Tn- zzv^NPR==0Kf1^L4uzxMRRVO!8%iH0aqIQ#i-|Z@cZAE><_Rk4Ew)FGO!VTsRvtQ&W z>0I(O#S%RYxpphP6*zjIgh58x?Yb^qd~B>vpd~_Sx8cg=iSCRDlcjV}v>Ud|OFGC- z6_Bi7K}CiIj~c5%01w#jM!N~v8DBxElP>ywseJjysBnL_-qg>x6|9kEzI|1^?PRY3 zhn}XJNUN&Zg|C#C_u4U8&>?!HK2NOOdYtD(Q~Vls&?HG=JbOJ{ETgadf+4b^&#B!f zQ1>jq&l1-*cu1~)sI8~TX@Ujq3$U!%iD(0tQnZ=Q zc|G>H{`Bp>_I<{e42@F)3#5zo|5J>XB;-yy3kso5;#UC=dwkM@3HS?Pq{uY+Q;R{5 zVEjmzDT+ixB~9VTOh@CJ~_TMLo_zj=L!W zS@rQh9y7si1V{PNp8=wvHSY$plt7mpmIQ*mXY_pVLz$U61f-Nl7f=yqp;!3=eu4$O zf?+rs3+rhyeyJe}0m7&gMp7?7U`QC0Y9_EXgf>uc4q-rus1ts@*xsNL7HP#YA}L%(wc8#(T&0FK|VwR1l+*FYfrGY!OaMy0>E-2 z)8H9Ul42pqcYX1|v9A8Wh;`rOIUX%N-qU5J{vjuz!A`jW1tK!}Kz_iK4a9@6hHUsj zu!5K@VS*I(giy3e6;ZoGh9wt5gXUoLPTGaZL4|dA*@LPalYHQpc!P+g!z95Tr3+@j zff~W$l|+3qtn;Mar*-&=DvQwu{V-&teer>X7em$RrEHCpGL0JU8l3MERGc)G!GwiC zMia`5`w5DS2S7SLyZ(F$<&7Z_u6a2Ec+KUr)ZrR#?eqyx1s4)}#ThNr07Pck^JVn4_3WUA|CM zbUi)W1OVr@D}AVYRrMY)qbUR$t^1wFN$?r9L(xoDpQ;A<*bS_3C!#d6&F}3@ zs)z@?gyuL33&AmXzPJ-HGS~dN`Meg|`@shhHceh9yI>T52;;qMvoNLoKcRmQ-H`Q1 zm@t(bZpPmFIJx<-OtPs>BK}MjrABs>+LUA<1lsxjjJSRjFrK_=X??ZnC4PECrE^wm zn!X?ZST3xbc8!-P$(XzbyV$*e8ezBK=Hx8HzZ&NjUiT&0JUdbPPNZ%BT{eyazs=#? z`M2OAY-L=|VShcRoX_KXjp3t!Y0C7)d2b#*x4M^Dj*;#GMQF=rAN;<)y5vvGXHor2 z1Mq$bK6}#|^*ko0S2XYHcok`f*#C4i%b$D^ZM7L4vXyxj$?v74F)=X)1Tn+rx39T| zraDZoXU)p)Phuf8s4~+1vPu5HY$3O^iYKgvi2Qu&rz3Wj`=b$2k+tllxi6`6`BV{= zt>Av_@rQ6p3q!3Kr>+b;>RfQO_}Rt17}z(r;hjTc>hS3PR}H4`lU6%K*ZL?J%rcSZ z?l0UhDZd`He7Zfa2Aa)b@~zWqR){)v&c7U`-r=u|BysIE--nAGA>3tRjDAPDd8{)R zE6IBhRN))I;D-2@Vihz$HR_w^E`;w>NqeC~Jv-CG5E?P{sBG(CboEaM8eX!NJkX|H zH|%o>(O5vNpxp$_>sXp%t_5OAtm&(Eo-b+$Ahy@v|8x+?;8`jU=d{8qo*HvzxM>o2 z_P6yDtoL{h_q{h@wWESAi=ocn(YU-Kr-F$X0lWPUrl))MS~Z~8$jDe1tY3})=;^~W zFkwzhUbvZH8Z*n#w#z_iaywf-1_Z_#sw}``%k{deBwcmh|25FP7`U;Xz1Q(!Mx)QB zx(;nO*Uq;vFeV2T@>o=_JoCeC9k_3i&xrkUo!u%>Tl&oA-q2mfD-+;$+8A<8_>eML zN!&(y_nzPL#p@)(NZVYvQ~h&e`8tIN6`+f5KSiir3WZ)ES21oN|FY3}0c7!flv}+T zF8MrBT2vE~v+K8fg(krG=6~IGj3L2)b~S_AKg2bgGa;ZXZwxp^tRDH3I*(0=l0|#J zpW&&jTmN}|@afmLBjpRJ@c8GTxLQB89GbU-R*t{$G4@Z;MsIRPPdUY(QWvC^kq`~3}WgcXuf&=(caKoDZ2tN=q{tL1QFuYnqA$I;Qn0WD&PlC#a0qXsE) zj{!Lc;6cdvbWI`w9hZX7NQxZ@W&nhHH4{hs1Ch;%i?#N9SPZd-%c-H((fREivBnWB zjR$Xq_dDCap0KBHX=H8iB^T`LO#bpqJ+8BG(*QZMyQ$mo&Rt=p@H6@{O7F|+)S#)G8K|0q!fH|gu|W4Y2Apv-0FWq#tcxl{ z{;#7ic=Kz^+iF(5EPC6?uX-?Rzryfz|H9hF@Wgq8wCc7!ZI?nwXnGaW#(iF2J#adUA{8WguZ}b)=PkR^cxZ5yBXzUTjcs1zx6x0@cR(; zySwZ78;;@3*p9)*@ZJOT%f|!+h>h}R*tyOIl>-0bVPArZ`R>L6$A`Cx{Z?H79yQor zJzBq^nPDvgyG>AQINoIue=>Y_Cu1oTU|mrT-C<2h9D%5UpLeqX@2UEOODhAjYkf-x zOwHeTbbcZJIbYo?Ns|mwmA2oc{)gL?=(_vgYrO_-U+RL{AqfppH3W;_M?GKT%3s$% zxaoecd{*2BTDlj-ea?acL)HueGB@2)0}=_<={liZ#%AL6R)~ zl9Y$B+s8Q8%pBfJ|2+05KisusYU9vWEFV=D_=k)tZUBJJQCdOcFB*|#+td7cYt?C3 zehhfvOrxahJlnkr3MjB2g@)KtgH9w{cw`F}jJNR@q`gi28Bjf2{l?v(Fd#v4u+~@a zGFOy%OjXxg8^4>MqkGc@PEel3ZHdMRj@yq+RmgP1rO8>k9jVP=y(lG3 zYoEh?EekM048+#*Q6rqD%DtFxgY~>We8`44sn}~8<=50kiHCPAKmb7{$rNtqys6|< znp(?@XI?z>m8_cF#teqBc!engb72u$Om&*nCxnWo+Ybk z=QXcVVxFi4FE*dUv5!ZRfre8kd-k`%*GF5f|k?Q zR}Oknn(4w^l5LFfbd%SomReyIF8oB>`%^{YXD*rK3lT4N1e-7q1F&Ri;rpSnqgU2a zOCSgML65V9z`?0vBc5$}t+r>{2w!6UBvyAt;j(K6mh&%t_F3xJtJuC zFw)`=*%(m4v)S}n-CP-s3ejco7GCy3=0>@5gF7;DTcJG!P4~|tK}s%?;4NXbPoV_5 zP0qWui$W>si|72#U%%L}_wSu6X2PD@Zvbq;z+c{(9V&h-?By}ja zCnFK6B%;f27gT!vl#{5u+A%W7oyIm@er+aKHRTl5V+>u&6-h4?v=(*z^)4TX3a4ER z{TMipEUpi((6U9b0}~m45ZO4-QbWzv+YG!=#wCJ3NQdw{0G%X2J`3v;yn5R`Hk1uF$ME!7%NB_MBG%o20P>jtUsCU8<>#?k}@|>==>E^LrOTc?> z3|3{{K5456-|JIj;F8P%*NhK`kt=r^{`(-Yqh|+MGNG2+`wc{J#KD`F$;bbKtQkj| zlwn9GEFMZuWvuJx3p8g|kQ|*>vH?6c6o;~RJK^c-v}}C`=?7>#IDmCg1~Xe;ABvq| zTJYJt!Wxh4yW~3z@dSyA9(piIa~vZ5jddpG@ykl-?EGOwp+Y|ziCnGYQJFSGNd&W7 z^sR8Oc4J<-mD3+>-X&tM`OsZCC6;j9)Jz4l5DpxlPP2DX;+^VScOx@%1@JOQ-y&y* zRH#Nr$LoI^N>}W3g`ytO3Zh_qM8JBI!I+n0fX9qN3 zJ}8KP{mEs)iZR8)eDQ%@@niys3<>AcuL!?TDXXg1eTrGD4{DW!0VK0zuTZk)pBe03G8=XB5ILC{0S*j1HFrMgj`nQp!NBWx|UK5;C*-U6}}LCV~(&iU>a3nCa6{ zwQ_vaFijKGF%L2l99coO2m+jv2CELuI95v`;&&@A{`;y7;C!;KGugfMbdhe4q1>bU z5-`KDHu>Aq-l7#MJZ8p){2Bj(NS(_Qintqi2{eWk2$I+R%L!Naz`GM3S29rNL$@Jz zcKCB?9mVIiJoNUy|A)No&|cu&0K)Wx9t3pAbJD;nh8C>wv2OO23;$AW!sn$$YjZxw zuMhq3SjMS5V9msQ+G3`Ew!PU#r=#h1FV$csLzx*d+vm21&*Ec1ZQ`+N85)#ExS2PR z(UaG@Zg9hdh~064>f3Hoqp_38A{Zy`@Uo)A2?~|jh`yW$b(Eg77z`9Sm!;AxPH1OE zzF#@yFgA%+EbAxXCRr!xZ*STSpecs1T!S84?u7xC0}2Z>=X`|G zwJVJb2Nl_WLC`UeMsEay9m7$`7V@iuX^_Ja2A$d{@y__Cj(ZAQrf#M0WqDOuRkho?!|g?C@vc&Y=D_j8%hh$$sPT$esYGf()^(i|^}Ir{nC ztWJgRNiV5($b⋘XyZ>)Hi#`CApsli}&}bT^MxhFyy^EU5lcuTD`hmKFT2I#Eu(Y zbjkt9@~hd9!gGmXRG)}UFp*jMu{BMo@?94JP-Lt<=ou@YMBYfMh~5gPhQS;<@a1UV zSj_fs07Yxdm6)9SG9~WBg1iY?899uzwgayalJNVz>p;;Go?g#jP4jQ0oNYPR7PHbC z9@>E(*Yz?A+-nxPXu8-gNgkYy2Inf48xJS#MUBsg(?JQPr_PU%TzOObgsEhNdq%Po zKqDw9wS=HLt#|&3L#nl!mLT`(;cWk)Q_tyj3(BVHs8V_$r`b$04E^7BU}uH4)E=nw z3;N2@sW-a9k>hF(qWP-Q-;#X9qmTO~aso?KNC?OI+`Wc&yF*q(bt#r*b9qs`v_v_H z#i-Cge^zBa!NAFZPbI#eFzS-fA!!29z{rY}S`@BRM5?aHqu1x>7JgT~PXOW5rb(%N zK2;`5Z4f`v{BdRWvPOdTks+u=5t*d53YKQo8EZ=6Zmxl@u`mSzg$-=!y+4Q)l04z_ zZUd@@jUH;(A?*4A>5qW5`k0R2yNC7m(7Nlj;umavcW~moaL2VVIU0!ST`l#&03+#y z^Ehk2@GxdfZVbaYRopC+EE;l2-;l3aa(EXG@p({qcV0O<`X^@jU$%fZ-veFiESMXm z`wmO%;qgvK`};(2wi$9M6dolR!Y&Aj>b2$82kh#<`DjfU_ECMJ=?0GD^gqAs;Zfx3 zT2@5K|F#{w%OriL|6P>;ZA|4HW?Bi3xMmMu_~K_t_% zjBdlN4gdBr3X&8TYCDqW5$k>1_Y5Yv)oU%z3lFkQsglk)mXoQWbHRT;f0+a+iV}b` zSwQwkc!GcK4ez~;CC%D(VAf)=@1Epu3_q~f5yS5umHPMK!2V3ibaG61%a|Z&-cQDb5Amw61=c_4R?@Xv8m04ja(9`i}*sXS`G_X&GQ~vPiS9DK{ zW+teaa$mDvnYgpmupjCM_@84q2}(rbbU2R81^6y9y`a*R49oe?qPZ{ifc|b2>r9NF zE<%Mhv1U-28kyEqldH(c<3W7>rLWer?V>6;`o~Dp+1JZ4s~CE`4d*=N)^~KCT#sle zC${!V-4I#Punohs6exH?ksA#^=hkED$10pY{Y}WlZ9MXhrwtF;=YYINWTZdliOUC*(Cl8o!tXk ztgz8U;NM@`Y0*W>Nmm#wXwh`aaf(qRe!4 zo!cGqkR8=8~CGqL2t7n7IfHT(eCd-_AzSG%Y3tHm)H{Nu606MJB5~R zv=La)e$-(hVaR1R>ilh5Wj_jMhF{WTgo>VwA}63R3S8Gk=L+;h>%p4OZSb5IjG$#k z>QVF$q#FOYNrB)UY->W84L(0MMUqt&v_Zb=vphSSni1>Rfla?msQ}N95Z~gD;L0oLwSF2Tmj_43mwhK}V7<>bRWyJ)#k17iRd( zh-kBTYVO$0n^D+UT{kPaC;l;<(*BO_g2h)g*rb|&a3N`(43W6%L+lLN{6>nqR5Kq! zFa}u(2_ADH#_^Kr1v|DU{5T?xav2qAFLDB|`2gtB5?pw9So0?P#XrtvxwS5$;J3K^1sY+klH_ z*#HBBc!!b9POn7J%i-y;AC{^n{ZO3}8zx`&3D{+_e~<_qR1f>rR2!Nk0+u|K-UGB78`>*32}8qldhTpq zn;!n2)=dTdF91qFwZGw)Vh(38k5dIPuBD8|(Fz;Ae?Uk;S#@d>|A)u3Fygg;3Q&9c zALFtOy_hpUYghU3c3d~P1nGOB0QXw*KR5$d@4RZ>;!Vnt_o;&qoD5`^9HOhr!qX3| z*9dH0?jl+9YvsfHsyN#(39RfZ@fKQ4V6roNESv7$v(6Bz=%TI>P0{(n<$F_4 z`L}+2DdsE#&^6IoQ@FK8M(3B-e+*nA;4N$(?ZS*hbJb{OQf4CA`YYT}t?HP|*kF*SwCSW`~kN6GbxWc>+<7@D@iD4Ld zf46B+Fy7`?K&D;iYV&2`XOoMWI9>gK?XK=)LC}avdYjP%Yi=epI&FMp38?8=2zNyfntl$M_oOgRBc9Xdi7sM5kPH&6?ety^kAbp zA#71jTkjWWsE5!*)357aZ9mgq6igX9z@0;AB@-L;!`ui#)c~T`V-FCryG{CjTurM8 z0mfl)hS1d0WoQU(_fbRVm^6W6j_K41yi)=aHsbRE8e+OIm znd{-}!SSBr_Y-dWwq5gEH33edO$`J7i+FUF!t?R?Q*veT#%r}B52v6@51dG(aOFc& zVZKjZwy5d}$uQwS8PoS7{u*&h;7n=XH|Ym6Q-i!(swVb#Tn-tL#tjqDH>^X|F;MTeW?afAqJR*59FC zUzF(6#>L#@7;4PYs)W_|S?owy+;d!fC=|Ol7^|w2a5UK|&nJZbEti2}p`KqYvhiG! z4s;ctH~GBufhf}9RNNojtCLYjJ)$r6X!c&>6LT;{R+mM9xC|IiciWJRAAi>lFhU1= z3f|R5q?72Y3So$`eF%9>e@VN*lHyn%BtBW|*Q*s9Nv!ljcQW`gs(?p&{9#Fw0fs{K;lxixijyp)!E)n{fj z;!u8hN7pfBl~6W6jUH+A7(-^t;QB}i&ii0oEVX5uL~KR8##~2me?&f0Tk<(05ypc} z3+D^JgRYP&1v`RVyxM*QvM~AhT6mztqd`Nw$2P(LC;lePM6r8fINCf`ji*bl=;bO4 zaEyVil(mT~2&TSFsTm^gf}IgM3#ncIAKf-56W4;-n3CKa8RALo62U)ROj3GN!2*xA zbQ8R1XW1d(8m`T%tAZz@`hNlCG|k~xEEm#eABwcmaPqx!daw7s z)+SDy`ue}1Tj$Q)fnkEC6a9MC8v z&QyCJ%N8*Q(ZLNXJvwkxJL>)hdR|GjR;r{_v!#H~5ItTk~ag?u~_568oyh*{-UrSE!b{?CVKr$BAHh zU>aX%q*o6&+^w0|O#aY2ihZaxBeZSww+J%Fz8Df25amgSPKvp3$ zE`7?vfApFnP_Sn+6Q#964^QAN=k4q%^G6MNZILF3PC-N@_HPt`{(G)5`z1Ye_uEBP zfx^MddRm$@nr~^W=UhBH`|xdGJBOl531wRi4X*iYZSZ6tl>4Wq`(WOs?*hZ`HK|pt zHQrikAJ^?05HEP6=0>g=_Au79Nk3qHO&F-Sf1fO99pbw~;hZ`73iO1X5|5uBW!>z` z8Haq1t(tbAO_BR%Oa5)2Gu}htPbs#=953@Tj0Md1;Zv#Pk0%pz^AyRsguIN8w44dQ zRJSElVknL21m#BK2dd3`hWUjp>?~&K_sL=m?3Mkp!T68ek4Ih+kn4WzbQ(!?7cim| ze|2n@1{Ws z2Vp2zJj~uHX8EzRxWFeK#KdWjKA!!WH`A0@((KsC zHNV^}qa&?`60+jECUr2-{xtW3B%I?dhtP@hAWG1ccA{|qajt-V7HlV){?$~uf7Z1n zN?XDi8g#NCnga5BFJ?qn2-1vr#gCp#f|nZh>Yf0-0)GkS1;OEsFUTG>?I1bVunH41 zbO-V@PstxH3E$>fR3nRScA_Kbra^^`WbJFH=Gt(=Fbuv=t<$K2TI(vys&QHx6L16Y ztRjNH{hZ(Bvy)Pm$q?P_gB-bwf7F@V*H2M_MBL7F3dWaprJ85>X<0_k^Wo_FQO-s* z<(sivYqlaoLL?RFyx{bsP-Fgt8Uw`dI%KAAc6&r)$hP)rlq3#y;~KAEv6UDJqWgMH z%9#&|ceVnSET=^5YPxp>G3ewd5ZT3BZcD<=cTC%@!C@L?h>1U=0tC~ae`+d)-EFo7~21e?t$Y9YErP^r+?`duC@sy3WQso3NDc7@DAFw-^wC!Tk2ki4#_W=KW#>4ycCc~uikci$ zK)USD78m*Yu~$LFz0MgXfBQz5W8u?ZroQx0@YpfWCmQsd;wM2k`TEdc@zVR%vzw235(^+o;5rWS!|WmdQw4dHgQ`{g`J4+KC6o%_ zpW6@Jg?;&Sw;kPhAmADi|$tz)2}fr|$fDw4a?b-tpM#vhsSmC#;?F#$f+- zBymYiX@`W@yL-91t~Pc^;Y63d(c|qBXuCFQ1m-r<^(>B!^#}BP@Am32gU6PypUb3r zPB8wI1h~i6@vDMxe@LTk2>D?XHB={3*<)LAtE>oGoFfX4#8 z8dG*9Y)-Xvjz>y|%{JzTNz_4td9gnd(5n`0rKXji^NpzEdssbf&9%~m<<%ftB10b} z`_^JAJR;pDh{5Eq^q)(mVR97;qji+4k`v_%(vi()pT4Xaf5U3TJA0Q!n{;OVN{rT% z+x>C;1uy<%FYI_@RT4c&Rr`-k$6i+@7R_cY^f= zkMFU8#7}T6XzCwEDWRe5l#fGo8cL-x5Ao|KsixX$f6zym(bBaEgSQGc{172(GN*Z8 z;|5lte!XS>J`rs+=(Dd7(TBov#BjQCU#*5e!;`9vjBJa7tmaX)8jsd@8`vZ!(WRpr z6eddp?@AH03c^rAKia!!={kxhH2u`d$si1Bd-MLbi->Bn)#k68o8w7;+XppWF@RNz z-m_)Fe=_bmx*-qs%DQdH_k@j6IkakrlLIZ1%_^|p;556yhw&-@xlS3Ql`4UX(~T&W zvbYLUq}+F!9n|uB)jw;x&i@72Gq~OA1E)9{;Sas*cpS(Zq*9UW*kM35YeFyCJ8<__ zu2Zmm=b2*dpnrv=mx%49JvUkP)W&zrd=gA|fBB1o{FYmIubJ%~G155?z1N-x$D8r; z)N_o&0x>@`GgZl)GL^qQG&nzY73twq7=eX7NKLqU+?u~(YR9XfVAPK!PmA%@hzthE zHF1MTL2cb6MQm<6g{fv-LFrsl$%w3=bWMaOd5bagcfN<dnrwWc+#CUmIzub~oUYam2O5oq=CfluEjfI|O;)zy!fuyZ!G!l^z} zxo$jI$JzQe?*>) zB#58);Xz9xUU6$pZbuvD%}aro4j@{25$Wum{h=_Rngr1C*ZV zhB@#x_~weWBl zXWG)&yg$vPVEBDs2 zk`L<5;+sF39(hXph-zvrE-w*nQ(4LI_C0%4mtsA6bu2q+`Y}X`3^{81BAIiTZpK#h z%pm1sFyVA~5b03^4_q(5fA(rxhA!kt@{+DtfIGB%*ILgsNjq2&D1QGmSttw(d8_a< zp6|iX?0%zDrF=^#2g~jY$onnBwI7|Zf1h0_pHCX*`GDvwHpomwI9tV>F~8lKWZgGFg&Su;CPecilzVUF zAs!j)s^GvSmRH@lq%SvA8*m zIy%b`MT2+I?!rblCz?+Kxf7t(Fj|OgYSk0f(?vX=oUo!ylKj)+sry!Cm%) zS3MQCG1<*^S+0H`#pn2_+XA{B12g+Ij-03Dx^|#RMUSdaCiHbDm*$0KOCIW6D##T!AJt3?o+miCZTA@RZ0ZGoP`J8V_ zvIrhO!UZ0e=K}`;+{dzl_FKS?ABz<|Q^8g9DixUGPD{7i07Z|*^m7&!beE3~^@!?y zf&dtvZqy4noh`m|OgAJ#G8mHk*O08yDQLicF=?v~f3mcN=nyu%cLCATX~^$iC&+&D z3qIqMxc+0SI$voT3iM*Y3aU$SVxL->yzSUJa8z@dPO@QCM`8O3W<=QjfJ%y-O1B9F z7UPFVEyHKE8?iYu7tweTj~1TS@Pq9%x2Z!&iVNJ&YtB=A^!A$}q1j`G>N~^T7!z+T zsG5aKf8x~~OecAGv|79jNr0CuY`jYob9$0Q#$klq)CKTwS>0pf0~TsLRl_$SF1I^e zYCd7ZrypB-*CF*Tc!+b%D{=CJe0()){4Gu+hTbfx+3Zzh)!%=g@3+v!WKfVF6R#d& zx=M^YqvlD9A}ddRyTu53_n<9w7nabeuC(k+e-x{2f|`{r6UeVI)E3W!0p{c?e1Wpm z2lutn7O^KVSAAoL;6EL;cH(GR57(jb1x*M}Y06K(=$vGf>K&Gv{FD}-T6Or}WHnF} zqpIWK7fEWLcMd;UE?XT=ZvE--y-k9cK<7ZjU(^~X096t!a;2r>r37Q`hp=Kl^f@$_ ze>B+qiRt}bHIg-Z8}JCnIESLitrYDP0vY&Ys~;g@+w>3~K>!c0$^honilq$jLgpli zF_TpgO(o17EZsd-Z)c4ahIBBPX4!KxK`GKd(RL|#%3!ibXirq7!c7*)jSdRq*$`Qtxf3h&HIVrDvrW9-Y@Tj-rIk({Y8PM%3n;5?^ zq$77KnLR2RHP_t*5{IqYuDfJIi>%gMXJ5(mKztJO%6!~tB$%N*@=;sh8X+f-B^>Z6 zL>XI|fth8zonrC)qGFiojex}yWH6-sb#MgZAkxfe-IBXZ)y{*wtgT8-ZQ1WTe{7*$ zWAZTOxbFQ~F4CtNhV6g%UwG_(nBi3sRI^JKouCLIssw>pGH9>O*oto`qHI87{1bsze}g?-CCA{CR{OA4H#4DSc{uJHZj@pd$o!NAQM0{T z1HLq5Y+61@$%yVQ;=NbXwwa!Y#nT7};^1hEF5AXnqX%B0xX6n~Do0k|kn%R($KaQ5 z8GT!{>Ask`Lmr#LP)(a=qzt8MME+rOI_oNG#d+wye)P2QS~xJZ6im%xf3B_}ZFJdA z&fz@dOq-ve^YMl-z%H~_G9j7y5QmegBsq}m_QvlPo6{)$=XBkMkT+_0%oaNXyn>pA z^era`K=}F@mtJcR;pRDu!(zOYHhgR&&Ay^Cp;VcxYEDKaD>dl9NHf1!yC6_$Ki^+8`B{v!L$`@=?KlFCkuwK$@fv^|=9 z_&~-`NqakXq@iRWQ)V;1K^{;b@U3mr7I?KpyYSA;{F5Wob2;!te+}dygd939{K+9R zNinPX{^D3y&rTsk;n#E|cx`eGXzp*(@-k|M^j}lwjbmJ5cLdxl5pwQBnODJ#GC9Z# zGPrfr#H4S`i$?*QI(xy3TO! z3;9DaFAi5|iok`}e{)U+c^kp>zeZ4@KJnugOESE~;Ik9%`nvFEqJbCMLNux{i?BAq zWSSXn!I!{qc?fqiLQ`ce}oLHR~Us)Z?{0(8k*_B+p%w$ARL)=7>h~Fx~}s z9%Pny^YErEPuLZML`99DYTHcu>1XMl;G+9-QBO?H*~mgFedbB3vF6ox-D%t9*iNu324ZPMV zecgru%o5P+$;Mr7dmG9J3Xcn#!hv)v?`CCK)*Nvc71u%-*Ttw)`3Od8Y1jzI%#Jcn z0+5CdF@R=|W`A~sb{14qQX9h=kpNteM=GycW%r<@e;-_RIpEjj0}~fXmclyN3twy5 z^y3*+tGp_Q5p!L}T}m5=z1n=0`U(^|2mz~-`R$@IDK3RfE_?mRQkw@eB{+h(MWYzZ z?Y5k3cY@LCQNkCrFOoU2QEbwh-v=6VaVy9mlLKBCIdEjVV=0J++L$~ual+g)jH0ic z)thX_e{YF^1Zqejt`e z(53y0L%4b;f#m4dv;KnRwDJpehZz;8YU^+0e-Ns#;(MWd1K<)2^$B5xowU(6%*4M2 z<&!Sk3knDVvP^!A01~25Qc2?)%{%u)v+KUj&cKe%-}+Cc z<*y+j2q#t!AKAya}kR$bpuCwb=`9OGp!gNV*Zmdkx8%li)7_J2KS zKMy(`Wef-czH?t)D2Gq zuplERDT-eEJ>0~+Cpfl{Pl{R}Y9S)uAhil%QEkW~&@Jc>rE(GqHJEHwMQoR~L(d7` zl)r3xcX$7CC1nl~D&xk!Q;*?^QS2Wo9O2XW_2ckBtoa4)+UMg!TJ|J?e*$<3q7P>y z!v+`~$mb*MKAM8z;ng$OtdSTBlwCZ%xziI1BjU_!o#y*& z9%ji_NxwKP8e)n=v|Rk>v$V{0dg4ZCt|;EVI;f|P$O+{j)el|sgVBtxbyaDhedXxg zQkufEMqa%pcx0{6|kW=E@L_7 zhlDZuDg|cjf9n&sGxYE23=K@|%~POxeG6sEvE)Z~mrl|Jyj)`|f6Lg@JDkV^hWVvO z&%?c@=KL5zG2N`8eWYP4e#X~B(WQToGAT1Sp~|-ylc1Iqa|HAEVRCV_$zB zUK52;+ag=%d-R%J{UKr90>=tg&nwLDlHXd6B)%V&C=Ni0*-gJUB#790h;ECP}yY?^S6R zSZ9>85VMrrJWf<@%m>WK-6g%maRnB#F*7)i&SUqV4cu(%KTNY3yuO-87XLg8tt~WW z-R&Q3+xkk}X9`Fo5M9qJbT5T6%6b`lrYPefIC==`fO2YfPS6WO&s?x;Gbo*_l!sWo^?L`uRKQ5uOk$hd z>s!^!^|b;&vDB}Q=g`)mR-7*GmFx1cgPHI#^k}NuekF^J&x@K&YH2+J(V_FFw+{y1u|M7e6!aw5|&#jH1IUxE=)?r_WP?AM*lak@! zwd@OM?n3DkAN<>v*g;_K65mYMA8y(JnuInrx%iC3-L{T3)=NvawRZ5Xg}H71srjU1 z!xGO++Xi5zsAtDD5w*2_VZhr!Ae@tsC>kgOZ+X?t>c5uX(b^J>k zwZS&RRxzBn(-+06i3Cywb83OwBN~`pp+&uGtKLb%7fB;|+yHSX;!vS!xX5P>8eYaA zTZ>1k=?70ZM&%e)O0aaxOmqweiH>z_)@DRS&d|+RgCDHfX2$;U#xO!B zeUBD|e;G)g?p0d{0E;B_EorfeCfv(t#DU_fsJPGPD3DD>ufE{kR3{kr7<+5$%_38J zVHj1NRTb76#q_Dl@-trm1JLjl)J7SQQ-y-+=nq83wJ6nRpCEm^_!F7;_#MVm@L zlu7%jJqvTwE9)AHJM(C6HDKT)vO6<{M0M(jfA54!(RvPaU`?jcgdK%JN6TIEo{}6k zEcdn93oJyi%Cj7oI}nHLYkMt0ulXWBQDuE-Q{as*m!wSR^LIVSCq98%nDQKT-rUiS zfO6*p3jg`9_JRudtv!_UB8V^QBI013TP7fP7t-TqzHR5L7M4lew3vWq?^PvhcAxt)GT-*=Ty*!+T!MTJ-MP`gxT{Bgx`&%nzDIaianQCu}g~xtDWH zu&iTodR2Qu7SEkc>FsPM2PEW5&%OhR69i1&H4{lM^|8uRC)gJuVj_IcUBoI4GCij% zjhTtVW*{F)Obb>orss<3h#&d6n)T=ne?t=vC=}SZK2d=1hoc->Q2yGb6D*PMLvK14M>Y5%_BjWfku*p?9E? zpaOJ0ehYSZN;dFo1Nk5m^7vug-*Mmw{4w#2(CP4h?)ejQBM}*sO;f*IHpRnZmZ6X5$AH5NtKj5}j=cgaR+v z@7;79kx*XlER!4V*W*-tuJ;BWdgKw2r8ecPTZxT&*4)nf=+Jmm&Gu4@e-W(WrS68y zN7B-=NB*(q&g|J7P&KVpnG)#O^OOj03`qAcPpp`t7>A**`{8dYisn#!UgZ}e}6LBlc5sP#!h zP-6DARZz$K7*k$p-S`B}LAIgbuRQd>d$)CS2)qILxqFhGiEmWaf7+_hCyalb`GK)< z^1(RXh&Ct}Z6qC;3dC6jF{&ex;k1wPn$1er&tuaGUfr&^-@GX1l@F%Lk|@ri*C9l2 z{j55!^qQ*5X9x~F`F42Tt-H4+w{!R?v~q#ajcPeJT&1d<%9!7)zmfntW!6Dpi_f@h zlM{q=vqwIA_X<4zf3x>`pjogykAtMh*Y7tK7Px-(Cb{pJV zuCgOcZqdV=tv4M=xq>Nk8%Libu60>&L;Nh5B8hBu?JKoD+Rgz5=(D46Kkni_(y4<^ zl-;E|iNVGwAE#%6ClW{NmG-2hZfq^->#1+J&Mjm%QADAbK4|kh*m#VE*`IPO+UvX=C&Lc$ZbZ3m;#`tAn&%KbC9%Fu zRGbV7mBx=)fvOrO%4O9?Sz^c`^I3u1^&`T|k0SU5ojh@QNja3|Ncg62>Glu_7!KZ6>}JzhD5^g!WG!^YLiPswrGy0!5Arist9{roh{Ie z%E65&h9RR1ansmz-wNDP@&1k)LD(Pr;VCaff7Go!tzAVoPLQ!$GMiO)ml3hG)8~zx0#;lM8)pFp@=?Pi@t}B0|(A9xta_{w?fP0`!%vvg$_O`Sk$- zf4`&|XU~04q(2n=E;5ih?DmIB;4<~8?^Go~oHqrmT;8ntf@Anhds1cWEbe;hb-6wZ zWxlkz2b_2b!b|reOMd7JRsc@}JkL6y2}?XcQWCv0hojc>F*HRAMbjc0bl?e~Aax@iI>a&}f+7S`e!UQ7Wpi_@R>MLe$a!bK z5J$MdNwH!>D)}s*v6^tlG`u)ruM5cRb$;sJ1XoJLbx0y6-O3Br%dnbc5tPnY@$ zy8bR}1}i|4M|U>%mlQ`amyY#fQ>J#9CsDpbh^$R~H8Xf?2f9V!^XVV@iR*(_#be@B#!q00S>Dqe!Tm^+m!?ONj ziyUVzm)^hGK9!7Ki|R-{gw~~amJPRE{ZvOnue}_KFPD1bFv-G#i7B+px1YWIJ+1*L ztYFD23tmoJCKcnvq_v|qiU0O{rd%)&>!IrEkpIJaf^nj(n7kezVg_eff1>1(vn}|k z>3X)bY6icWT46M7!8P9SWkeDK;lPgCt=2IM@sVp%OUbcc_y?Hs-s1?%SydTI4Z$MoV zZ`~A@TU8n}6+K$a!HoA06`-?nhOqG^eq^CQ*Mng%FHSn^c(l85e+*mt;M88qA1Fkd zAP=?OF>3+jJ|<1IU=3q*B^yZt*o4QIX8KC0J?Tm$pOx{eZGc;;^s(keQ2aPf`jSI$ z216`<+Qax|QG$KInxBw+)I`e;D&Y03-DZMNR9vAJq-bTxMUD2*ZJD$IQIo25xK+Yv?ZV&tLp? z8*GoQJdfHpJXQvB@QC08eOj6?ImfLC^116pZBQ*Q=i=ehj7L;qy0;hx#!DwYf_e}% zMmSCF`RdM)zV7f6QN)zLmpoK1jOZGXgUq zwx7TDb9QU3H)*x*U=H&Iy2jl&H$O~J1&q1JxLwO!C?)7KZWmYCh1^A3zWl(eF57Nu zHCIBDoUd_f>e?mG zkqi-zC*olhGU~QYO6=SE5vkoDK40p%KF(^$+nED%`@t=L!p1A6j?;!A&8S4moCeb0M1$Oo5+-XrcyMmHYkP9gV174i_U3e@!5cPv=5%D}EN^5;v>xkSK$V z^0)QklGRkpgy{JANS(;Dz29>_4ob6vgecGK$yZtcW4{rb7DzqQ;NJLf(gG;j4+cE$ zxnoSP-*M`}B3*2{=2I|HNQboZ`5TmzvsFvJJeOfhNt*xhFU1J;@T_0Fp zRLU%$*_6DX!VLE@f*ojW5J%UL`^A|d`D1{6k}wi+OQz&*a7?>jmdj%Dim^$3_V*aH z7f?$#FZ567>xUU+lqOI>j!x~=Cfm!4B312iUyn<07!!qOqe>}uLL?H_J21<%frs`r;T0bX1OAKyosR|;- zax$MRY!EPpOgkFL!=a)xKLeZo9-X5R3KvUZHv5FnLZ}xe8*Ae$o^`DXT`nVOeZ>VZ z$l997N!eksP{d~^XDPurtf47wJ zaMlO`#UNNYE(1L^fXDsnXQ>oasA&-9K*oYS{yab5Yd)rVPq* zlOhcWW@|x7Mgo`50k3v?|9-qlnbo_8fB4!wWgpi0!8zYQ6h=?lB(!0BTs}A#n5jd+^;ruW zF?E>m&mNWClK3NP4Ngcnvw;MZd6J`W36={82Q}i@AsDzvl3VEemDZ_oty}AeHI74f zp(~)l#AEZ=ETJoR(Gm~~Sk=Gfs3_+P&#ZO(6C1D~KtYMZC3(so9JW1`e^~DHOZ~3Z zZUq{tQ_Z%4g+Piq)LQdbYK&}m38f?K}5Z`oTm1;c2+5_r3<9g9q;Q{;jD_7_&x~6olP_+vNbA58yuRv-#sTR7WjTV3@c8x7y(4LMO*o* zYq4&BPQXT%)))NsFhO6yMx%7-f=N^f+;9INP!psE*?rIJB&)oiSINWNZD--ECybw( znD|D~-!De^Ld$|4e~+cLx!jeY-f#s{uXot)wCVcV*?Zy#KJ-h?r7#aG#~5P>F)a0- zC-Wh61o5~9mpLBx5w3bdj66Gd$7pOsj(nrkEU?kA40_%ItVn`2)Qn z>ugFKM_TUo9e9D?EPgZF>vJ`PAU^vYAEi^OQI;Tq2~PKEc}ugL>WYwarbar*F#LTrQ9S}R)LrccPLu*hM)|>k2A~gZUH!CjHh3}E>%sKDHL!<)Ue+HnlgNC)3oDBiy2TB8NWQ~`| zM4xm;E%*$ND<$9~@)c&-z_PrJ^&n9_F;w7pH~}_+N(fxBA>1zu2YO&F4iZ-&4xu}y z4u#kbC*i;PP%&%PwW3SFbhPW!4oQKr$ln8|^n%ns8)*LoKzM@UcNsV%Cpf1|ZFHQv zn+hBde{?IQjL$b=gqxP^()(ErNDz{oXbeX!~w}^p$FFo&cJX zgV&S_42v`{DRzbpH&jMB38N30Z*n{_kR|50FH=xrXx9OxHsw5LN10wo*#_`rKrPE zhzPSleSQzpgiraSAM=AjI~iI>kF4sa5aVx5$JmZ(fEK+i;R=&Ll$TEVKs5~Ot#R8Q zdif;xi{y&XIedIeo9m)N-Wkns+);9C5BxgDJO45&mXC`e^^IXr<9?3pz26a>qDX68 zf3ADIoQcn8f5!%e?{c;eNKpPx#_rOoCI>s3i*+VB?En<$k$J;i;(s7QXN%VSZC$Rd zpa(90%^rXWbL6k|mmv}@6v=b&>vx<<{ur@`a7q$Kb1C&_ik?Rha!PyIY=wF_yAuwW zazoHq(4RBQfgN~!M>GHYbZ6GmK6-ebf3fECpnHqWK!XvoRGx|PKAT{=!2Km!$h)qZ zNq{Sz=sVr>){;J6tSxZii7NeJgZvfPkRmSwCD8t(!mhxRC5CNBjSMd5;Fv(yCwf+N zp}>fPA}VRKq4|nwZ($M?QrZO4(y&UFw#*feU3Q4?=Ed$Ijg1OrZe(+Ga%Ev{3kqd! zWN%_>3NbM?m!T^G6}M$`0XrZ8GMBKF0UH}JFfa-)Mrm?$bRai4H3~0GWo~D5Xdp8) zHZqe@7ASx1T3d75wi15VufSWA>6o|>0Esi1&Nz15lg7E!cGIM;A83iP*+`;7QiTG#UH+*=3?R)qEi^MP@{j)EVPb=s5uld)8MHk(^d^MY7w`Wq20^rq%s@ili10Khp{GRe$N@uik1@JJ{}>{~`0j*bPN0M; zATa_WJC6{lfYOLTNI=An;m;@)lhI5F_+7+|RwOz~D;WW&0XzPT0rpY=SQ8Pnz*&;P z!P&ZSAO%_+G?4_dBNxDURzMhuRvUq<6oh{dbd=C13S+c@E;7*4#6U#RXeh~M5?0j8 zfv*A@&!i6%z|G$t{O9~EXZ(MV zJt@;+mF2TQK4m}sG$JMgNBJbby4}&CQSV)m|AjVoI=oIt zi%Gg!9$R;K@g0fvFz~Bdu{N+!N*pA$|be>wL6}8LN&>3jRlfqz@4_7)SbFE&Av%hy3i^?upu+?TznM{D$MW$a_(<*Vx# zJzr{VJm81fc${Jm(PTSUe4Js0=jA*ZraZkFPLe7AyvQ-DFDHDq@T);~HRD*oCP~5P zDJJQx;>i@XGMSBP;v#>$x~}+~rsgCaH?_JE4vNp^CqADnN_$@FSPx2xor0S;Oq9F6%)-skLpQN45{h(Ki43%kKb#I<( z`K=acoPj+~uMtmYBLZiXTwMYAx*#X2txV#<>qeOWirgc)!m(_~lx znact`23N0=p@(ynL1b{pK}Yd|a2;Y-!bCuW;n$1VRZ=XblVnlx{0hGNi4POvlTHZ= zrj+6PFHl50FGgcHD)}uArivfep7gdUUJ$_)#$8N2g_b;_!jLfJ*BM@7KB>v`rbsy; zoCYjwxxbuZ<@DPMZRfP# z4o}mHonu2kJYpAvZF@Y<$}4-kaSzzz{gy?t9O0~LRdc|A&^Fv87e7mHsvXkd{;?um zq`yZxzCWAg;B(IWR(L|UB460Ls6n%FU3kUmLgar7Sr@e~QLV;`w4QtK5OAE$K4A-o zyQGDeOJ4Z3?BJZ3VabOgu-SPe10m=t76uwO7OCUF04Q8X0%1dt?X&Gi@<)}z#DT+Q zL`FK0xR+TQ2Uh5jJu=%P0&K$s_}-)p{ZBU#uQg z5@Q2JckVb2C?a9tpu&Z_MR|NLHSkj0yXl-9Xe@I^hk=c@&sh8TQV8rBlHx!z2$3LTq3;Cw4h7(_zhwy1;1Y@dIzabF7Ta*^4+8UB~HmRQ`|S{`z_B_-VU zt@=I*xeaFY_vwkcq@Yn#cN93P>$n-l{|t+06^qzB42#%))9Gf3jAE72FS|R)G|f6E zcaeq41lH{wRM8rbRdxp%?(RV-%qCm)?Q>_h2in2iJB-EdVRmrho9xghQ!(v%mZE>Y zSY6CkT0+?>n(n*Eq|#Wt-S@+{e87c=>+Q&b2w)!ULipZ+(tX>3lA^LJ5Swp<*ev_7 zaltxpSExc8P;h<+S?J;*)H}J6sZ{)ZCg`s=+r9am0xACK1#9|2mo}i%24pCh)TiwN zJU&Km?}9o_V5<#wwZRlBbrVSG2W5Zy!J2;1r481!?Y$t(U9cv0{b0?-;9R>1|65T9 z$6^)vN34X<>b`mG<53g`H_o(@7e}In>d3 zAR>ZNK$Js3CI2J@5{3i<2@-{b(+h*d5abLP0tf;ADvE*vIthnj5XMD^Lt?m3A%G&_ zKmZXCPziEKI7BWPR5tF^?rhag)qd)J-+rq5LqFA3&xfvGbznaAAHJZ@o3|xh`cs1q zT$4lix+(*@8IC3hpNB$;aAlZPdu%)z<%rlHs{wS;z+ zp9MMs{p5g}xSNvf?6w08V|S&T<K@nYUR)lJSsPUJ;~e>;$>14! z!q(CGMbf6Jrk1boaQ61FraE8nq#ie*f-+2w#6Ir&$hl{Iew)vW((JdrBz(141*bIv z%Wv$aNIR1e3n}|%X1lA|5#Yj7c^dfj#1OAs8Y++Gcpb_00e^b3MBaV0YbZCCzQ(ua z@bWzbTqi8QWJ>DV?4DL~Tf!-cm}_qNC3#VXK$W92Jf3-?gdIi)Y{U+t}(vPEqqxV9#E|(cjZ4b6V+BOdsny( zHauR?9K7(car(^c`=rs-72&q`ix^(ahEW|WicvC$e?K?GGTd}R5B56!L5uQYu^vv^ zz55)sC|B4wp7Uvq#iV2S;x>;SZzh*Cu*GBCX9m=ug1tqb+UC2D*9n9N@6foRn)a%l z?YhSc`~z!D?o5=L-I*#16^4~8B}x+gpW*CJb?~z(9-TYyn2_@I8Knhvm4da`B@YHt zEUplwh&Z&uw|Vy7;;~id%M}Lm$uEgYqzPJ2LRrP|5#w181*yb6MopZvSYFuKX1OWr z9jM-8soJ;lK;e&^uFrz?6XS>dHDfXY26mM!S|0C%-j&|)*0w33B3Y{D)kgPG(ejK} zDnQg0`7{dgfMjF2Q4$Y(o_%J|yj*Z98J_R>f&d%!?_yhe^3xcWE zvXMp#wW`asve^8)n1Ic=cuG^fs;_|xG9@0($g8@){0l04GM8 zuB4fFT=QLeKg!=xo`{hQ*+7{VM`L0+MB2FoDW%UdQp1UEJTjNvFl*ilAAco54g#J~{p z=T^Q!OahI~fEp0Y5da(oAOREt01yE35P;eb0Q+S+haj)NlPCblG^jLIl_Zp+corpwlyJXvG71ev~`>$ZYQ43&v(o^^(0Rg>H zmAlx~k=vSOV0-6aa@@%=2OFCfi9Pi%Pd<}Lux+#V;Z$bL&4;cJ&Cc>pp0L%6`8kYTa@ZBrmog z`s=r(dA_Z@YPUo4*Gv3 z+i>12+GSedA@U$nH@RIfC>fw#+#56f@qgYqmnrO%08&AS}+=+MTaZSg$6-xw7iFVuR%? z-(T`TU$gjRt$h!V`;w(i&X$AF4eAy(QO@ z_k#OPv}gZHAjAeWWxf4aHpJR-lk6KssnHCD6Rv2QEx%8^(LucBkQfrU{c706l}Odu z+UPvRD(FMWYEf}u-=#w-6Q%r|EO$M&e=Q*fYByR94BosMnWwr$&X($N>&>5gsNwr$%^#~q#jKfCtDuC?xF)tpuH=B*mf zJI0vbfU53=LLpZYlb~m2V22~0TN+-2<4iV~u z=4!lzC;`W0VI^WBax}4lWXmn#w%!gM#mK`CX$iAd}!zTP+1aLrYlWK@dzLl)^au#s+Ab3r=I`gUrG)(TCY zPVi~MhEyjYXc@E^w2(5uiD_+~*>zsFtvc>0z6^XHd-~X|+fXs(G z;F+i?8v>4%_2;~VG<*JKBn**PxFu2qlnYP{C(;&SQW>;J0lfP2Z*@Zj%{G%lvhUww zc~9lo(@Jrhu<4OMh>8E1nEal%H}#*X7fmIUVZ8eaN|vLKydo-9Qn%i7+em5rBSt;D zU>A6A64sOxE>*U5J1SHJazEyFf*Y{*wCML+#TBSd?f6IeQ)-WCdpVX1L=no%(UiFG z(pGSD!iF`RNfqxW1B_vdk4$1FS*;?sZp>U;R5+Y+1kcX{Y^ z1pI=ri{6BuMAhJ}^oOgvL)f}Kh^r@Qac$fN0!03nHmQe75%dhsPok`+uYz*9Il%t1 z&_H4S+dV4jq5b{tZnO!5+G%Vq*8ac>cNd*~=?W4bvvM~D5J!YFcQA8xb1^rz|L^I) z7Y4PprXfmChP*SMbZEyI>%K(=3oj z<$!(2YV4)Jt!nN~I zKEQ;X^?h>7gxWFgjLx&VK;C4!V{7#uG)I(6%ulH1?gTCE;Md8;)P{qJ9*QI+r>;ed z^c7s{zEKlQNEkTI^~NpP8PzfDrMvd*NY>WWT#+Aa7PYVJ*KyF}c`(rIZnE>M!Cj_r zH4mE+IIL)hD>nsBsJd$us;#H)joYt^m9LYwjfyXK+z!FujnDEVss|({-y{a7;wSAI z;o$`lOm=QMiKZMW=@p35GQrElT8O}UY&;D;EpUr>mTeNxe41myZb{LW zH!CU``4<82>ys$)5A|E;BPYI&^6!R2xZMkkW^0~kkpiG%U`;VOshIoe^O#oInhTQ$ z?t=&`)c?y@{<_?-BptV4W}+e(*`jrTp8A7NQPRP7illc6o|6P_z)Zbjj&b1N-Z#i8 z7GAS=%p4EZ3<#K{g1?OT)2n)2VEAVV=HR^ewHH z`4D)|QN0;VPW`x5!pWHY=WG3_-P)bK(0q2Yp z9N+XLY|041EywZJxMckyt(AAh-padeWj12D8Facy zZhq9=eOBR*387q^ablcV?C`S%Dl3wsuWKmV_T1<`u%_bzLb)i2h@>*zCp};DPm>am z6%HJ29+F`?5>gIJ8UO0sKoBWYAS!o=*V!`UeDku|dpjU2K0Duin`c>20O&dmT6oho(Wa=S`WW zRS)wEdG3~9fX|k6vdD`Wj;2PXL;}*|X#T_0 z2~{f9yZYjCJdpW%IKCE(>QrIXYN7(0QvdR6s5$+?)`!pG@kX%GqV5|Z4;|nkYzyTb zPC`s?d#-R8^J+j{FGbfV>of=@fea8I;|W4#9kq2L3$~AELS2Yx!Q5BOSRj+qnix|I z_WdPx<<*Hydgh*qNCYFOO96S>4;R<+nU>ObJU~Qurp?WAo6Q#?i+A!o^DC8%gO>QX z^%RqL{HF&{)RM*?HOeIKL-is0@+rz_NOPp3o0-s8^zGa^_802A`ENdgjLTGu!lolAha7y4qi-_yg1 z^jg*7a77y}V%XI2AN{qLeat>Iz3$gAfG zl{nDBq4r#JgDdt5ek9> zpd=VkY9L_-G{DJHduNLhM=TFlczTR*8)ngh3%vto&y{2-WL?;g;2Xs)UQ4d;Gzgw_ zJUWkMmOFy!ZvN0}Q6x%eNb#QV_y@L@34Qq(M85Gye^bMp0T&<_Ky=jRJ?OrgxeYh* zfu2<$LX_5yKs`aeBcaV4q3z0sjjQ?Q_3Qhyp+UHUGUb*4|`C*#i)=H8~t$l0$Ch)#$Us&=L?2Ou!{TJH8R#u zw|FV{oe39L85yetv_OH@?R9g>dc@S~#GAsDw>rITX%GNjMNm5GxV?^+X#K9aVDaJ( zvkA)b@c1u&D9lUtN^c!lzxJ+cd7D-$XL@mLn}X(p+x?{ZfIwUtu68l!Lg*^e&s4FU z+07tu>IBFaVS5N4+85cJE|fKG-nOH2I|(l6&8sUyZ_zKns0#=PFMtuA?JdD!5>&b| z9ms_q&;hhC5AJG(YRMo4vjhp)@Et;X&C~Y7LmBx@!ko`XIkjXDkcv3;qB zh@r4OFb*M=VDr|DUa3i~P6=Wgb1U`vBy__;hb%a=h#9KcZ$L!^nwTq}C}V|6MW?2` zAZ;8#50AV{?-b)R#h^a}*DUd}#ofjrO_naxzU}KSi;T_YIuO_9aJhmqAeaA8TD~ye z3p{Ipb_!pU2dv}TD*dB7P=#PpR^FN=I;&vj9ou@Tl4I$#3;7YqN4K<+k7J|^Ib|{= z$u}qkJ2$}bC=ofG3Yxk?9x*2Dq|7DnGI>o%)XF5=_$OLQCUVg0izR((m&W~Hz8 z5I@{u&BgjI0SYRPnph_LX??X*m2O0wLanR<{N2QZ`(?Fa|JAm6q z*__87?cLfGrF8p{b`A;@@o*4L?v{{YL3a{IVgw;|WX_Tj>$q)VzWNNYTT3*J0rI%V zxa}v#p=a!XEBOh96|3`sfqw$cL;F5mOTsKQ_inDww!2+$sIMb+)+eUxV4@>uUEfnt zr!q=8-7SO4+06lsYcMADNtrRYv>+$0xY|E)gIi*&o@=~JjK6%2pAV#DSOajIFWzT%x*07dUwgiLfO#K?082+r=BfR68pL4TJ__YKl}iI38SFQ#L_Bb&&$Sjhb~$upWa9W;xm$_l zJK(4+YNLtD5{l9>{MTuKLp6RbOUh%cF%}&P;bD9u1B(W07|6jq>Zv z#LYX+&f;IO`Cq4osdbFaJeIN+$DzHbZpWHhxUwXXI%!KAr?^k@<=7-A)_wA;B$+4#dshUJY*A;|&7hTU5wf^-HtV0*&tE zK}7cO@D#D`P6}J_eB~t@oq1|~EI|1uo;G`{ta0Gb$VXxLAtpuSX<~$OZQ# z2a}lPy&uvoaU{-BZtj?&PHjFgQ-*^~9^i~RP+nT-rI&oi?7rcL^uJCBJDm7XL+wN( z_y%GG5gh1hyw zI@8QX*l$Sg_rkf#1~#)bTNCY)^dMNgqJj6iX-tC@xtTPGW|4))7qY#axLWMKS$f*~ zdGq48GrV=D;fJmMZ)4sBx(2P!1B%0KSj|$We_9S{OrmZ{!ToCVPh$baUBLmFT)zKEumJf_&0*HNdKL3Dqe*d0QB7J#4t{l^rzp%VSj1eR*juY;zsNajW$Wf)~C8@YdKg#d0o47)Mk!WlfwS70=k=fcPFP=cp);euBr(DXh}|z_!1E$d<)K z_kp%>L($0KEgD5s2wBiyVIj z&X|Z-bYe59*ZF<)MXLv86v=~-`9lkY@T~PA>9biz z*-O&o&zqYw8;|0Ahcr=Ksh?ixF5NT8;ndC$ySN80h$x)=*#zb|zoaq7d93-BENdH# z47Fxucc=%(R`rk=KqV~(m9I>gnPk272%rQR_K1MIeY_tYj=md$;zE5}JPwBE0zTi* z83>Am0s{WAt-1(OO6h+y<A`!z_EQ~8P*Irq3$i0e# zR++apXzk0cVKIvkqd{z49-I$o-XEq{yr*iqi$zZ>H(B_w zWvOVaHHy10%+3jtkf>QLX;sh{ydr)nPie40PjHZYZ|d z&XQ}Nw)2UTiVeHWG(#e!$wLl0bm;cj!!R3So=+NAX=wNLzfDyvbu2bG7S4VxOs$_b zN)|=((}0U*f9g&6oey#F@bQJ56B*N(C*wYPu z`|Y&?kLwqbt}m!xHHeOVe@~_!FT*=E9Zi9RkWCW0g5|+O8ii#0tm8_y$<}wTUhgsu z0K#$8yT!XZvXLpmU&}Fx3c_QsqDOU*%xs;CxBA=r^=C)O{uo~c5+#T_@RHvE!;Y{p2QId1|4*^B1zT*N3qCsYPzNo{DV)`2vPPj5nU-Jml ze3?7mfQB+g0#&fmvuP=%e!a+V`vQQ=q66RSXcA;wd0#o9IBa4vMSfyk=PvdJi+ziH33mkUi~Ckj7}Q#GTkKQ;H4R-QB!xxU}$QpW=6lfMl%YOk{k=1 zLRL`&8dj-KWHR2m0)&7sA8(8PC@u70)(iqW1;k&XLY)~%1dME&ao>}`tO5W$i<3A$ zyp)!4>^l@vVkl&Bpri;5U?#kA%zh5Q&DLNTqW=AwID<`F=ZOD2ID%0- zX@Gc-6Sq02&*lS#(;*tfMkC zzLH-i$@wkgfcg`8Vm_ygl7g#H2+FZJ^%0U|7($|}iFI_Zo4k`>4DcX?Dj-%Kq+jL~ zqpUy0>a&KA8hEpa=pxlCs*63JL8ieH6 zZr~6wB6}eXzCj}RY>CL+gHRGZ3Uw^F#Iu)@TpRI(KnfvQ0vMasuP1?r3$%Bfh>GT) zbLXe#i-gHDVN~22XSf)DswD*&%W}iO)pcs@wDO> zuLYi7X{iFGfxS-d@i1%VQ%+|KJ2}U$oy=J@tfytI)*_T2n%NQ<42VdgHeT5|TQi8V zd1-y%mo?tp)Pl3I1#COw{gnFZigFw|t8>wtfzmgVY41gUenRqW#nFh_tM5KQ-qz$I z57^*9-#-2ETjs8Zy^V|4jU2iki7F*0i&-={(%}>afDac8mGRg@5fRX#(*|J_ij1tV zdqg)!R!SV}SEYfYset7HSEUt@kh8OS0)|R)1Tkqp^^Jh#CjK946GmCkXDRd7QKoJu zqluT2V(d};-Uf7A2L@h&pu{9_JGyO!mi<+dw%#S^$g4^yEa-Oa_P$m+^~VyORCMd0 zY~B>HfJ2&VNk7%3$8YNt6#TYZP+|1PmI61srf%3gwXOxR3!{vJTCSI21g@nHaM>DA z>9dXVM)0Cirn~^vC70M5vuxw(1)DFt{_8aNC201zhTpen(%a1m!!`>Ci+la?&A@ozEoo^fBdx$Dd!jtpwq{~jYzt8PgcsgTB{%K4)af1 zDZ5U60-KazYWBz82+yonl(taG3QY)oRhmcnhT1{fxep3*<@P+Pz^ z01R_5kh61C3}`$b!wjcbAz-tbd>}=K^2-LVByi@ZL}KHW=~_ZCi?4~JtSBUi-xI`7 z3Q!o2q2pkpFIDaxR&OED+2-UxVvR*QFtNO*b*`bUeA z-j0SyKFK^9jmD5D>2R)ykWvL1Z|+nbkhDqiTlmFrwqk`ZGkbS-GL>8peUGD&@6?by zfO;XQr`0@JwI(0r_I+gkEHgn+`);P3mmUQB^o!}f75z)9FwO7x^UrK0$_7GWcfUm) zI?&OrgSM7$m9fD7US#xykvS#iqom0GY5r9#IqpFjd0BgKr<~T}Qp4Z_vW<~nRABf@ zJ@kJg;{WKKeLOn75Qa*zT>dW_&eUj0<=czN%KbmnQBEeVBuE-St>0mj38DLi*0(8e z{f}8^WW0S#3l&q9mg}a65`Hm;jc!;G-DHn{5f$|K3gTKMnz)LuucFDg>_Ac{JjV6( zzk|OTbs>!f#)yh5n`XpGkhX9d{SL{#(v-F>6WsO^>z#C%?6R#Z2u(?5J(dLu#mf_f zW5z9Jy(|=Jz0Tr5N@`ZIqP|8cGUq4haA3Xq(WdS0yvNTH9sCEdyoTv)iLE41-uV zH>HIUQLzw=k$aP4rnCD{lbKBDJovLCgK2Vn@%}4>_N)eAmsxyxG7j}&yWzTy3v7H> zgd`B*^!NBg#D|?GIl47VU+6*SbJL&jmnoqMQ zyyr5?z zEvksNl&dCH5HGM|3bLi(SVyDUe**Cgr3GSxc;DnF%ij_I3ZLzvSA`UnuIp2S@#=+l z#ExMx)Dd$MDWGb!SN0GZpjO+fAm3G2*bS4a#C_X=v>M5TF|0B$&pf!UT>1A7!4~)K z$!`V=$1ov;yc&$YVpv4AVi?14{2-Dd^|QlXRYbI5&4BqpWd!BH#tpkVQnyZUE3dv= zOYK$4!+}N+FjXDb7|Nx)uWW(#b0Oz3d?-+H$FbM@z0QEcm~NkQscAn#tFEq4*t-g< zO4>k)UV3!u%b>o$_= z7cqu8*kfc+D!O|1u&^iXA=dwCi!c*$vUC35>Ie%FH#<|R5i{sda5gTE z|KG=SSMlLev&Jj&){(EGN^LqiWzEH#Cd|-v*kCwMv{uW1SQ}Z-yeuUVNM?Lhq zhz5`p5hQpD8lnz-;yL?sG9CyoDop782#`NXWj|(pWZtmyxaIEo#D|(%pcBU2M46ZGg`RAWK!=W7ObeGoeT;`7Ii8LQgz;p7pkeLH z9)339Z6A=fF8m#RuT%~)ca0B1m)s91lflfvm?0NfgOFFzf)mr}XSIQmpnK8n znX)Vlg;}u)9V@yd&&7e3xiHgVDzM~c+yyIB&%{N&a!$f(CZ}$*0H@f6w^1eyeDb6+UNP_zJDFnCTMS48NrF&1UWv+uFt0dHJKTlfDv-NiRj+w=f(Zzljl;#(w-3rI92riMNeTUh^yUj+r88ZHT;#W=Ny z8}&rPN+aAAMm`R=ooEovU@vRj5SQnJpvOtx&3+wZd%di>;UvU}e5-8$$~ z=v?H-&+zl^PQ~@5@mT}3D_Pw{n=B|ZW3h^VnT^qi$}6%9XM?l|15_>zLVD&+O&7sb3aIq4p__|v}|`|&@#_5 zPU|{g;~F~sCKg+%je4Arq1B9C6}0`>FB<&AZ+tdfgsePXMD!QH-Hp+_Db6teXZ)e} zmS!*>yRg!6FzFkrDDzr2ZY;(V&`Qp zm7zFf@O`x5)o~;7V|-n?zxnj<#%6*4i)5AdQ_TkB7}*bYii-v%RxWy<_a?<2gv+;bQ zkU?Kd1?oF<>Oz)Ob>blmf1S!=FOQkI?6tn*D&^(!awI~qzCcBCx&3^JLI1Qgqd*lL zABv5V%Ow#lFkZ4zNW9@_Xge@E6}>{()6v@?=XRQAFpvpos2l6+{hHu+PDku4s(JP*s$gw*W;4o^zK>4RQ5 z{_S6R`Bx6GLbTU)kI@{x?K$rEI;-z=_o>8r5^X`x{gU2=XmG!z;EAE zP9Jfz3sya|+s&NWJ*uXc<7mS6P!lz;9b}~AavQYk_G)3zxkGm4n4$ik?8Ejyndd*+ z&{+3u1PR8@-1y^zj2(=fHI;`MloXtmoAtjcfdS6K%AA^?0ZIu}wVJwF=(kefsnN99 zZ?@RudM5F<*f%Cc*=yRVUq#t(j%d!lKc6oi`fdXqv+?{R20vDZ*jKkqlYh{bFTiK6 zXM&JjUF)5tW2bpVpa-;2)XdO4x4=DbxjfQGUJYmekqGt*y_$RR6}qCPtnDR$tyc;Ph7! zR9`)9pmtaIcAy>%0P$BXzB(uf38pMaBKI7W5Lrc85q&k0v>17Lo&p(c9XJ>ECJJ?X z#u|uxd$+8QanE`eq17^f96h{8@q0gR)B198wvorfUWniz1>pMVxv}g9cI`CY3!oH-IWJvXtw`m1PXxo60p*!^ZG%j%=L3dsCRy&%lQL%=&krBoCR_ozu{xrvdg>I1q%x=OzbS5JvY8e z_XwNIE0Y%ulfIilzBE1wPl0KEkUh}<#JJi`oX3duGLv$i<%3iB87Pa_x8_iUaPCz0 zO0+aEW%alBiqUH)HEiCsh~`#V2XA%{dR*?WYpMC%Sm(oa`B&1AdMAf(Nh-k0Pa;Pp zH>U*x2xgq$1EsmvBVLBnllFd#`$h{~Yw1cF%v8U=;{=!cFCg5X#PEeKG*AL0p3egI zEdMnM5On`2M};V^xqFNud3!xibTM-CvZ_0UDsUuB<)9?U$Xdl(WIX=;8XjGmxab#r zPB~PGTk5(jq7iL@=+e;9iFpHT7SIx}i*9kyxc-Br4IEBoIwMG)E0FH0dN=pNvcr>A zP6EN-PdjVMi0QAL5kGG&yNA3%7%IrXV<;xLQRP*hh~gliBHK`v$- zbR^hrn=`(QX&crLCKhwp;llnhDRLdZ^}SI+(D8Qb>{uLH58gY4h%Jf#hifkDk;jJ{ z)>PcVC^TV~4|#z8_hSuEahnl9Igz)4#>G8%D~x|?p>=ND5LaRKDd6$|?hY)`_zmif zuTx3>wa) zyM3MPR;&??>It-d4gM^1Gn}<`jVK}VTnm17cAeCd8k?+^pxg#7Nwi*JoUiTwDu50z zeW_NR&L!N`30yz(+tRc5H;fH=4>ds(VQIwBX;GHsASao~EH$;yc+<3V1}b)2S2m(Y$;AJ4U0~LK z%5v~(Sc>u@6G3e%#MGVIe`JIT<^H5^>T7pNWJX(Do$)p7Y0DO3hhR7>3-X_d)GOP; zceo5(Gk(2x_;urwHq#}7+e|f}C*hb87(;*wE&N24>uGQ?!rjf+#!ZTS4(|CQ(0X=XXx`hK5=A&;clUTv=ems z^o*Rp`l<85ET!_t9$Wkm%2J!J3|O7I8zXywECqIbEa%nsBg5H5SWG8l*Qj$mO0)T zAGKd9crHY^;cB|m6v zuMk{?!$;hl_;|I#fb-|AHNesZE_((3lzK#l?xXP-I%DC(<3opoxdg(>7ZjJ6y+^NF zOEmzBi6#FWGxAp(XPo?0sRd0yyB=@sDjj}|^9ASP7b%nFkIkkP`PHoAj)YFftYC?u zeZA7gT78{a`?F9hk3EcWT;pCS2f$Dxa8Xq&UiOj zF4WvU-)%S&5;*+}+7ad>4Js_4Et?D+vHUOaXHEGxR4Lb$QmKsj&fPDs1XQtNh(4pm zE(0kAI~7f|*&0!TKGsLwKMY*stecUQ`odBxs~EB#qpt()&0hT!W~HiR2fPCuE#G^b z{*)ewQXGAbXF?`cKTzMMc0$y3{@#22SxMka4FqK-drZCsA7J}Kw_*baNpL1=np#>2 zkX0W+`&YAz*xD-^oR=g*f`!h)=#y@PL8m-xR3>1-@P|jK@7~NIh*-eD{0rYH$J`g? zep0(EAeOBKBaA$kt=ixu1!@Wm3f`h+?o5JaoA528LoPlMebDIe{N5X(g4|(zF)BDpfEHApwrb7 zXTPCgr%CrJZ!K@(;r>-w#(>bjCW_^(xWB~Ab%$<%F5+#&g)$Qa5_o!`!xaL%bSF(d zPN45onI0>T^z9M50uNbx=~I1`0B0A>`ZEl6E*p`r2Erh|Gwv)A!Um6AZunI|h8bPh zCbFT62zfk#6dz7v)U~KA40_!SsGdXScP*_o{uv6sY&M72d8Yk&Pa=&O2=)0@8Fyz% z`=>zOqf+*6&%+Jg9wTj}vzrBS-5%N?gR4Q!GyAiDgU&@ST z{IPGH6Q32`b=O`Fgg7D$H)1u^#2j2@>9PsriPJ(u*(UgH{wlIJ#F452e%xcja5S(v zxMkxR!3H41aBNGCanhftz8TS_UDEk=VCOw!PTutS%!*@Kw`e)Ln`93*@~2PWH~;*7 zg~03YKd=nUW?7xB3?T>lv2DhcUAFxUM9TlT#K|8e4+RO+*l}_F)M-NJwsszPff-TG z$k@Y{N|(-{+BVmtNk7#C!kMcgBN?aK4eLZo@NE)Z4VT&l@zR<`%DsObKKR9GUej?W zjdwXrASF_4^+0)RHY5~-{e-1(qFY3y%%b0K=*FRI$XA&j#Gwm4u^VfjCxwUEFA*%l z^4OR-?o}rpHPB{5v@w-$$XKbvLx32UbW9G>l6ot2_eQgg`5-U@KADP-$TT@k`{@mA zU|G>%?f~1@iDyLTt%r!rj=&tdkpYY+U#Z+?XKnqjegSw{GZ|*zGHUoPyXB--oXFSL zt=|X?`wZIheChBcK}Rd|FIY0TCw2WlF!eI(-kGIjv^+NwJt+weg z1vRx$dl&<08#42*%)3@vZrr!FB%|ZlMb=^EEmOEd}$gY2Jv)um)ZB1 zkJ1Jb{d8TgT*=xIBXha=G}14xWQ1I=mzgOAQwk>v^<5+Pw-3(0Y?S_PtVHYo6eUov zxHL}UKT)%Rp>gf+!=xC$`0SaBV(kM2j`Q)^*4*YUX;>p|A?rRdI5@2x6CHxWzXhLA zr>|rIyHLa`o*ueLr~ zOlTS{b5cf@1*#5tA#dei&nf1*fM;)?#1OmL!bd z7@M;4*K;ynAXDGq$_8Vq^x##URxHgp;kSAofrn2Vy6pe7{QtEu`%-l6aXKjZy3ByX z{R?9JW-1z@A0nD=d{S2m`ePfYB+SkaF6bIBZ!$A_C+#I-i+11fRk)OB$LXBa0B!wk z1M+YPU}ALFN~K+#@;7`%do>N(Y0rErH2N3#EVc+fZ*%9k9&J;BtBies`uxZK>K*g> zT||t_ZXx?>4bFLWOtS4EAyDao9@8G{#T}hsq|6*FQ82@{rTI%aP-)ivlWen{|80Hv zOF4y@Zd4@8XJiu+NY?u0kc0Y29Svb{G8~YzvBB)TXlfuA#^DS@aQ7^8C1{(rkJbJ(bLQ&Ou3Ms-8YYG zA9(NL``&1f54LNCe`>}^aJ|m1YxKPX()_jTCc-$x$Ku{$$SKBa3;wRruI3Q;e@9;f zad-*D4_93}vRiHhq;?6Z^}kAe_#`?%cH|Sbx|*<>i{h0E*P&8KeMuHRUF z^NnC0A4{Ys)EW7%0_1?i1+p)LVNuH&TGF!260>rkVJ6Qky#!HqwkYC{208^m*jZFz zmpz2pl*l;gFJVI~7kt8`Ki$Be zHYR9XZBdU|eIm66!*cnsV49@#I0cD#67$#!jaz|QjJyqT*Lcj)pU?3Cv1c~8>LMK^ zZwPB9XGYHw%I=`#d3Wvp6?nP4D-qdBUQunDSH>^ zVg6c^3}5 z4JLgh)79v z>YbLi*5nIyR{Wy@S=jqkAu*C2^Ez(>xp+b-1a57dUCk@6Ct(zon^AMZdrnrVdD zRs(HW)QGOlQ~on7TR(fm#Wjdm%XO2oz9aU5v9L&Iq7kN{oD6g(HKJ~t-R}x!qkg=Wm1j32lUiO8 zhj0!2602TwN5;gx%jvp%Au(Kc z&KyRV#-Qz^rjT#7v`9(qGr}&Ztv2k~Gsh{kiQ2cK<1{s9Y-A&^D7_;1;b-n39-@xj z-t5maS8Gj=EwjepYw1;C__s-djedr-Hn8K4UGp#Jxeru%nR{=MB^z6*=s%C!5V(7V`hsVa4 z8G)~!R}o>@#)?E88&XfnA8b9DMh*bJ5WzgtRAVXEA81+mmA99R5%I)wfn;w&TlO1% zd}j~Xa2q@A+GBc_nNUqWT^zM+4C0k>_|Q(oed5r8Es;XF-21m0`7s|xhy?A=%EkmgsF1&>m;dqDHTBT5+=6B z#8UFF38|p_qov_bvNI#PBKiKvqNECEtT4I{XE*Za&cQ}u-HK5L=710*aEpR9Qfe?i zq|TK|cFhBmP<*zPHH8(ZJ*Y5qGDDj{GA2jIsD1_GT|tYv69gyP*B`n`nWTywk*Xvt zE5kIlTt7)Zj7GVLoxE{Cv-|>X^d<-(C4Uu;u75*p=c7hibJeVGtK($;MaW#vfe5jWqkNsDZ1%3X*PaFD9E$|Y~pHD@!>+JH@Dze2kQf&FLAEk zy=i+f=c#EU@5&w1w+e!fFrw0Di}^(7UsYWb?&uyA=u*nFK>$zGlpUjxOJ$NUsGC}q zum}CVaETQSg~}Rp6G7O{9FX-}Sj1<9JqD*8ph1*Vw9fm$I7cJE1+ zlRlHMM}M9sCe@u_eQ9ZD!B^^-*DQsj6Z{TXt4no7`a;X<(vkLWC2Zz(@ZanNHiTydzp@t+#~1HmL8cf- zZWL56ZUG<|a7%HqNxl?>HLc5aRT{}n!|l5k@y_<`LK#p!>*cjmHxfJ&*VDb)m#IB$ zKjRb%)R&a@?hQ%GuEQLQY7rpAgpWGk>G$Jm&DDQIic@q4NBV(BrJ}gX=Ph%eSR~r{ zv6E{s8hdZjVtyD-T&LpoNAD4%2&IvjpJyR;H7!0a9q~Qoy$( z?E$Xb>UBQmp<8L5Q3yYxVEWi6wV1R`v}j%uRUnOLLHC_$)n$|m4Maj&e+3cwo0uQ88PsxMNv);`!#d&-7?HQS4j0yBMq&EAaEGi)>A%?HtHh5wwin`1C zN|5WT`GMbX^F;MZruI(csd>50BT*)Ihyfds^-|Hbem7w7Vt;?s`i*=ih1$F%A_D!6 z=?LQ*313{bBrCDYTisb{*wiF47jfsPaOmCXW@4l++eH08y~`y@(wtr54b(pei25E- zFeFn$nab)hmFC=q+Iq1&tk}uz4YzyggC;AaVn@hVomEkcJOAw3g90xTDN4K|;{&LY zezjmfbC-ET=B-W_E7tvv%O?F+>R`N?{tzYs)ku;ej?(g?F5M^w!3OmDZi5A+?U=}Y z!k0}kGP*y8M)tI|MNo+kX}|?yAA?pg-IZ91Gyn#PR_xM*o(x*6y8E52p{r#-L!-YY z#unEmdA*&5us@0fb!EO$o!Wy^900MDdIzaokmuWmWv!lu_Y2IFRLFYb@*-HmtsGoP z?4M9ox9~Yw(v8`Ti3CDE6_PWi$lS__G`+gqz5e;6kU+9ja z-qR__*f>CK%p{lPPa!Mu`BDUY!m z_dw>zU&zVU&IFkFkq%%Bz7N)1vqm<(MiH-L%-N_Jv5y`-wWo`4LV)C00>$R*t@t8D zv3NgC^z5+)phs!YW#F6@^Vh1?b>5Uv`kz-g>D&ZvFvAQ!-=#NOT;c;Uo>w8WvpmSJ zja=u@k;(7ETQJ)|%7)LoX9{`{UWcR=$Xl(EG600-VK&&aWU zPRnG{@1ImewcOj2u$wEbqQ#E+LXp2vFx$|}A6urS5Wi@KZ7eiZ^f*mnhNIqmV-r7b z5ZIl-q&ERr<~U-SQ4wxTWi(?4w_dXA#vqL!;r0p;PLA8v^XYzOuF1K13-z1Yzt8LZ zj!)*MTC*AYya0E*=DK0q|6Wc_c9<{YhSm${l{=UCJxOQ{NVpq8vX#58G-f@cHw<|1RJLVn{U&Eg#(=Kr{M1yA9a3-lYx~KB`S;8o z5B^TW*|f4elhm`xkc|y1S&LOGP`m=-5XUNN1cG7cKm?;!WSxgQtkEdt#NcWD9`A3R4cezA-W#%M>OGi<3!P@-Bf-7 zJyoAix)BT%!{BPnQ1{_lg%Tf7oa{^2G zn($Yw27g@&)ufnMrD_+n>l_2FgW*5rLc9w~gxi?*O~N&z&za@I8l4{2aTuNlRC3-AN&K)7G-F zsN^9?Moj-QdcW1PVG#@oC~S3MdHxE>(_#+7zM_|*cwC;rO*75)4^T?UT7CN4%;Mj3 zCgV2ku+eX&;FSaz2wuYk_UZS2EW25&7j8*Ir;k~KOefmj&))F;#eTwVu* z$hvK%21!!?@*gzA_zTa|%3ES&dUtzFZ45*{Y$O;!esu z?&uSHi`fwf4FMR`!H9qS{GV_9cYvq)ovpM%7xBlQV_EkFgx=lNHC6m51b47Y8k7NF zW6yKj(Ed$5#4?39+G2=VTb|YS>%M^=8ZUoFP;8me7>WEt9J}J@SO?{8HD#uL8N|k} zOhu!CP@bMz9xQ~EN}Hr$3j&ABB|6u;zC|djmrB1hj?>RDGKQ`yhuXzc`-X_4O{*;G}s7s!x*obPvT+ zs1=NglM9!=TpDy$+d$AyXRWY8OaX@sWupDC6me9io1&{C=B8eg58$G4Rj8y^$#=@8 ze5QrN5W6TqgT~+p(W9Mw^pjt0uXxy=$d#8u<5iXq9WbfB<87YrHeMv-42{^{KBCJn ziPmiIu{zPRj8o@=GM1kC_%#kb7Y1aCBg(1l`Vj{<&Q`)Q+_8b8qH^$jPbEAF`5-^K z7L4Y&Rn1noJvh;B0pLL5N#hju)|F39BRQMIOfBU=u@_iVSlg#(?xEa{I^C7%6ivj| zUhMjib5t&a$|G7rCy4)tj|n`qUKMm8yI}y84N9uIDSyU-p7N=&UNDBWny~YIgoyJV zM?|_se6tNkOvQH;!D+=~DRNdJY*iu$MYcCD48DwdKhSFu1<>$A<1QE>Lg-NhzBrV& zTAepV``78U_aNO9u!#OM&-TZhLR!f@cGPncaYruD9nX(zYg5iL)NyP0zE=!ZB?qWT z<}yd-4I0e7`HM4Qd>qd63l5H<2OCxr)Ear6-;?4;3Wl^-6eAP;!R7 zor1R!h)};`3-AHkl!`}ZN$&Z~^9_eh;sCw@wocLZY<3Y7EHzr`vOohKOxo<{&f^Q8 ztf_49rpw18%$zJaB0pTc;H~LfqTP1lSqdyXxTRi*ab}E4__|_OXET*m-@pDQ`|QiY zwUMtrkiezSzZNWh#w8vaEZC3FCAZ3N1i2GR?`=X<4!FmgHBPUv{xc5q>Vj4~YWt6K zJKhH5plQV?el-zea@@gQ!Xl2?6yNPt)`BlOUQfXH|o4w+ye;?{5_Vnc-% zgOvzoGpSS(nAV7=N^5%qq8mqmVQYHkV$UcGeU3`pjC#!ETJ?Ul??y|4$#c{Ma{O_K z6^h^leahf?4`6ZA+O%HnIxn?>3hQSqi1w`!4PYBq32>U0_CjVWH`oc5?8ct&3}l)L zus7Tt_>QE;Y}KDU)n2S%DwE3td8*;iRsgS4HXM%WYNNsFCCQ=?HPP~{LJ)Fk`$$pR1lif3?{Z8mbiy;5=E z1=MvT@LIKR@XcuNb_2aWJzJj=hgbc&%;$Q*e%lP;Fk}{)swtDb7%|aW^sZv_M%K0T z#8pRfHxBScif^#A%xxF%F{ais(33WYvtSczF6_FaFU_>F@Vq~?Gw#+2Ot}hITqS6c z4ZLVCa7@~6J>Bx9Ke?S5QlF+45gYX318Qe58X#%aGJ>45?l^QXfFNGKiu(#Bv>6U& z5W$(`yQkF`U{TY`N`F#fGHyu%dFA=HFCw{oZ=jIuZ^ts4=;ahB7R)c7dccmI(Q4ha z37h%lh)dHF*TJ`MpE7k*7OCZ8TdXm%n6@O)#I}4PM;296-@gaHG{*$#%T%21O%}3rNc?Oz z;mN?t!s7}LS;?Ye-;c=o250v>J6DJd-J2#`3yHOO>rI~_Hs*C<Sm)ADixxKpolxuW3U`FFxgz7)1nobLIdSA{o^4Se-R$kwlliosY%sV&qFD0ME4u!+F1( z1cKoE0T|bdIecw*$VzkG{orkA{(>r^i?DUSQyt~R+;!$cuzU_j(u>>y`eTC>ogadg zQB>>LMd|e9!GAGP`5mCu^G0UQ2d`kd{K_{;JAB7uszal7b8jK_UX+xL&U19e^BO|wn zG~#FA7YFs+l`Gf6w4 z^CAXjz2jSCoTRlz_)^luDuk!m4O~9(o4iB91b(~Ece`WX1bzr83+rQ-j5=^8dngdt zmtfM_kFVtVFFUocQ$ON5DVOke?DA989P^xu_>f4*G1MBCVCKJSVjZ^9?LRwo=2f}E z6D2{HVS12g<=C(T8a`y?d>;|*_#C%c-Q~4qX(Wy>%SaoynxtWEnR)1V(X!oXQ)n51 zE_|51J$F#c46nwRqKO#Cui86r{#4vmeAk^%eL2^H;HDmEH=F6V^gJE(oRQ9*3};l9 z9t{6w-L~n7B-;8k6MOD{_5p-p{{~!5oEvu$A&X!=PM@vEKkVi zRSdpf={9sYejH&|t4ap{Ouf<`ag@ex3%k_m*kVV)#3YEWK3WLJg2d|xq*wcUHqIu; zLVyUvY*0bFG?!K^Ws|Hh6%Uv}h zk;e4}R(x0vu==S=P$tLEkb6>f9a-U^eT;=%B3sYN7f|G{JErO{enrue3I>v?tGsWz}moyo1=&wm6jRR{RT z2rG9)hM$;NK3wzK1rM3quR;S0upA9Dyxh7W69D#T%KmKVY7;s)O5tCxIN$@f@E@*0 z1iB>xJXPab3ePv692cs=r@1mITA4bCEZ=Y6x<1!h_!b^jTR4S!SFS^cd9_}5V~aZE zA(8*8;!Iq5;-8&NwW#bVjlk_i$VxI{eW8x~e7&leTCJ414_dv7q>r566NlRac*_5lzNMerqU&}VMAE{kP=7Q+p}zX0Dusm@7VNlKZE@G-(+@_Wucz-dpWeJLA|aC(EZ_QQh%SgI~Mhuw@|F zwFJ7dQ^Zs#tU}zyn6S0ojPz&D?=GUh%^JcZn_^6?H6Ci?b8n?X?Vb^ZaVxz8nCRSS zczyxX+VdeItw(%!{S=!7&Ll-+Fy7%p+LAEwf5XGU1r7LsCXU$r=Q4z1`UIXQKK7AE(o^9zJbIz5A*1+p3YFw};?2|G}IV zCIjyB?Fn1LETnHUA{P^~T)FOYM@uACMD;J;U0fXis&27@4hK?3hkWLBo$;XT7U|83 zy|{=^z>)kLthdud1WJo=>MH1TDi}8uM*9-wx{Z0>vP$snO2%``v z7(Cgt$R_aD_Uem#IMeIy#s;LbGnOEv@FV2q=5vIv->;-zIVu`u_jCVU0)i6R)L^(Z z1BkJeJgNIL^n|#Bp9T^H_(gwL`XBn0Dn93>N;)X$D_UQR>joL#<57;Jixh@Enl4kn z)?$%SNS$qxY^?AhEZx-t4rWl}TEUlsp;lw1+xoc4Xowo3ME>cPJ1{PF37 zy*>kOcxt2A&3mQvXz5jv6XK00JgNq3x^Y5LK7B{?nX$~gl1`f4L9}~BfZ{O%!yzET z2Z;}8O&0*w;yp-u9Snj#%FL15l$$f`X+-bhTgE6+3hKaCGqtqtAKuH4_X}13{IC3s@2M175eKj1I$08j%vj<6>iT4B2Z*73xkf`stOa#8II8@>^QfInGLjIF)7S_f z{o8U>(H8u1hrN@|O_wg+E2T-*YV!)MMW@MnFYBH##b~Vnwn&2~I3A_u40)X|IJ^M8 zv?d=>iybQ>HyK5>kciRTV2@%@V(b?V#E^z%(w)3eW=b6yOV@dnl=Qh-@N_0XGT%JQ z;0NK(+qbsaFEZ3- zPPC#qhbKLNK84>9#Z00%qPhKZml7eoW+lD-vwT>+s6|E(9gMZkv$z$f;uGAHxvOEZ zEE$BR;x#T!%y5&tWEuWjplu(fc3h&ZYmd}=n9&3gD@1e3Q9>d8t4?L?`h+u9lW9UIn^29Kt4&n+4q$@AZ*(ifa+a?4sPTMp1fS zanq4S&L3WT&3HwL>#yos6G$0-C9jHHm`6d62fRbI@?6QlE0Dw#qGG|N_%c4CK3tru z6gWx^t8>OK|6+4_6R)CRgeNL{-7(&hG^-w?)T* z9M##HnpaiBCE-`p+QaOwdd*Z~iFTfey?TA3U}GS;DUN(z%rZ?hgNEsK6g;QbnlaP~H9YzhubjDfTfqXGS$8XVe}`?;y( zUu5agEW6yJO;c*n!p9*g>~41J<2LBr ze7drTn|t7Wm+w>@nAgGGvNZjkR12vNB`K&Tdw=HA3jGRb|LTUv3#dNYhY1ao0J*QU z#zq74+@ZHGMij5QKHwgKb%)Xb^t{1FiDNiYXkg7At<^C@u~hK8O*AgH=+qE!$_E1;=+C+Q-o~ve)Q3vEJZhUB`Kx1gxZHXHyVn=-o1iHH z@qc=tDv=8p6FR!wyS`gW7-7!ySB;i@HtIkAzbu6P3L~ zOMS{2)N6WvMheKp0Dq|2!C{jg;27Kqhe%y-;HwJ0&-wij7o08UoJL|NzSkUcoFmXy{cl2HuUv4KXos=+)^E1ZBI8UG+b)D;!>}@7r>yH zVZ{!?Ob}qIFE?=6{aecJbkC?C9i6nF)}zS_n&euLg!SqpWT^8XD99GlpYGc}%A7<) zOwm740d-2-d&ZEkkh7-bU$NNHBKT{CECxJByY|~re`Q?!7tf;o?g*YX$fO`nBG4Bamc$Cx2yq*W-cbbuD-RnU0wp$ z4_i_?RD$4q+8&v!2;J}d9$<6`08l0JX|Q_ee{h&AfSz6bH)T9Y$(&?9F~Eu#T3Su8 z8`j)2lT5ky!Ke}dRoRsVZd__l7Xh_vlF#OW$wptvVd4h}NpMj6SO#LLY@+!l`ktjJ zkpS`aJk15trCF9v;g{sISzoh`w|qJ0=b42RU;|!8sPg8|O1tQ`h2i40?X+b|)z!&R z=7b&V&H!iQc3sx@OLAJ5Llb%w_a-~mDY#WuQvWBt3QQ0X9;k*x`g-;#D4$xnIQBp% zJ2jTTJy-9|o~K+yVNDA56?5FF!7`l7Iz8%9n|?x{+UPSe|4L#NoEl!egK)ZJ>5x~9 z98f>_*kzhg!2(x^iT_9OC(;7!^ceV9;PG`-2sIIU0Y1xf9yS>V^IHu&i~YY)_Vi;D zuVv`kwTU!9CQkbD52srP0@kbq+Qe@Dn@f`odJommia2zItV*oQGG7u&9l=aZnT_xU z8HI3ksRo+cton{EK`ldSe3?^8mvy?}KgS=Xyr#0ss+I&F_mLs+R;P*?O?<; zl>IHgBXohh2=YT>$c?tUOaxRxqZ`cky_eK3o=Hc*Nm6}i1@8fcjt-X9^uCwDHnyG_ zWf;l4=URxt)n7m{#z$Z$x*vx0rXs6`v)jZUT6ZI{xDDX{aH0IKx?0Y{J8jQtR%F(7 zzG;yy60TQj8=oo{yWXX6Ou(Oo24S>H%QT-n1V-TV8NzlO49U+!v%gdki(22wsK zk7!=w@gIn-*A5XrElD={=QmpVJ|=_GIpmKzsd+!mF{#S)u%0XlWWY9lu;m;D^LY_s-S*9=96J=n1W1d>t3 zY7JT;GZiL5Ehz{ku-F1LP*mo(!v=Ds1dj@APT?wJ7Ycd$8F1p+Dme%Evox32=7i|P z4QHy6dK@ZcmWqn?oli{DkTXNn?}78VoF*J37wCbwXNH>mo>iKet%)So2X7JOs1!WF z1FE}ov|P5v%JfXYgJ7O(r6Owv=;cREh{Co(pakwJb+AoOF=paNA9FUI;EQ}t&jzSb zB!X0fI?%AYQs4S|xKn=?k`d=u)tOi)1sbYE7T4Gu@`jJs15VE7h5KY@X&8Y?gnJ=J z*@dk;NLjEQ8gVDd3}h_6^${O+SqCZLzA8s}ADU6B!lC$Y0!}hotP!bO=cr;@aP`8u zeCeV8u01!`{c4eDKc!?=kS1>})66=62YwkI6aSdmsUiy|7MrfB{|Rw{l++?bz}Lck zDirIN=^R6Vk>KwHpL18LjOcO!7YxQp=*jz2Mi}$F-G<1(<@v{JfxJI2Z;J`wyaXfg zBkl!++zPkHq!gUt)rt9o#q3U;ed6d@pj}ACSMSEWp+GZPYYjcYvYgG%%u7!@t&0;s zreMwUXR*`uMQPyYobWDAaNq9a=gh|8)G6D-HyL}W=e0vCa&ues38DY^-f{_I6+**R zmGx$XT!Gp>Y};r(5yP>!TnPDI`F zCd=01n~ck?5cnxPg*)@k@w!A!PLh#@`CH5=MFW$L!r2}V!6Q;ySQ7x4Q5(ekgPh>C zx>e#xSclKC?Xh!+u<0qo4E~aAyjQHHu7*h?wg<<;PN>#snmF(14}vnS#VV04`zX{N zM2PBNo-SR1>#*V`W9UBnoPmsUrjDPN2GX9|T2U*@bwr5QPti0SCPFR$d)_R7zk?Kc zj4AjI{Ap(`D5j*RKUf1e;Q+I~ZcIc>j+ElGCqR{BsHiCoM$tFqpj+c!F(Z}cQB=EA}?&|`;y0mTGeEMH3*43EI zZw!2BmYnaAO=K;6Tq)cdacsuB#>luDaK`D>(sFKM{pp*Q>Q5vb=OBeBLcMf)RV{NR z^zTLX0Nu3{W3rr|M((SHIvzoekZQVbdiEVOW-We?-}gM3{u(T_@p23ENg=AHGF44` z!2n#}qxUYM5F7&N&`j(f;UzeRO*1f_@Y6$bIx^Py2(Km?L2iL)l+`v*Fb^4Cf$e4744IC>0KyZ|J=E~;HMcsXvH{~(JtS}MjA5XjtZjRswp(LSEVgc2?K z2V{JhStCvqZhU(`R9BqbPHx5YHSNK#6(q9(cQ{_8JU)*Yqvyc~6dWS5MTjW+S{y@I zn;O&y$!h?|uJ2|R=J9x6&f?pBolsP_$vGehPR!XLrfM1xBJYgMtec0lg@|+F3}2yt z?lVJc-l1|8_zjbmoM^eP%vMvJ~B>m=+K$R z^y%}@;7e$h8zb{hJ4f!mP*!V0eZjaJl6W=AAMN#dC;esCAC%PG3V}LM%nU51Ka{r3 z(*6M$86g%vYOzk3_j3-FoC79a@(eu7FLUi#nxTLgf+O+;`ajYtE;qEB@(KkiP41ZffZ7}>6) zOxR8$)*OZ*ZhS5tmqM^V-fQK$is z_r-sKFyL#6lM)9jWi&h5+PvW+JkYu1CsJ? za1_I!ta=-#QIr7=%Yuv<6r%ymqCNYzU2uw^B?>vtqn7B3acqbk=^mFF zzKVt~2d7-p@|vmVcuP#2W^nJZ?(iiWgDWPv%#h=`(pL_$?zli2%=vnVx{{_nJJn^DySiDz^ zTI1GKTKPVw$1xl;zBzZ#`+pWsG@f{~`@zpjxAtJ4Mz2bqZc8i|H#e6|fNGaJWqvPl z8ruoMRnNVbU5kR*6QTD;@+|?afj9L6Ddiy(DB91Qs$E#o`rPJ4Kosn^zFFbk@C78~ zUwB#gxY7Mko$i-ow4Id;$Cj1HzNgY@-{bLBe8r#@a1M_MPwS zMnrOf8{TMWILei{nU26Lxur?`3RoRTvEGJ5kD|vpfDsFPQ@M)>^OK-2daTa8++T%O znP@A&zHp_1$!yJq*s5ZI!lC6E%en!7tNvlLI%ii=mH$v6X`EnZnqL0n6UC-Deds|3IN|>a(qJOP3)jh`@z1Bc z?MG1Q>XhWLYO*38f>F>n(tGVR$Qh}>@;te||71WRa}ELy5}UY9zl*i#dBett%Dsu> zA6OLWPd&t5^jR=IO)tkO7}l)GZ!sI70_cWCvmhf#)io6}&%0{PuUCl%NQXwy@l^*K z{_1MYsvi%#$24lsM4j6RKTE8MWITSX8{O{HMU?=t`w~thF{ZwH1oW=g$`haJ7L%F5 zI$l_fk&OYAF#{Xp?W|1Cuw<~4;YD4x)pC(^=eZLlGb|NQm2POId7-mb#XEBo&ki&{ z-7VQu3DG8|OS%swk$2}ONm3s3#)S1t6J`IF0>@}Il89}yEgy!_T(|MvIlvFYe2dZQ zRdHGJ6oHyxt$=WX)f%q8)WF->8p#2NamcL#yV<1GsHUgd`U-%#@5F7Y(%q>1?@SW9+%Sw1*3K@jM668A|AV0;VqxL> ze^fMXw6$HfxlsJq>j$>UQk}E*XKPo~xEuMCC%M~P;t8oxlDG=RLM2V+>-Xw`Rf5bW z=UUaf)pa>ytATy}fX?m1hme<$ok&V3|B|6BVfKX!XpT4$fe;^!priam#j6fo+|$A^SF?J0(YKMVjo{u>vdL&G1CvOOCei^(ty$o_IUfu*^l z&b;xlnMNYr0GS`d5UQdMJeVGQ^`QZmg=ldOD8Z3Hm$1BsjwDP277&7^n5;>5 z66M6sZ5BwLNdkm<9f3(OjIlsH$c8o|!MjkI;!{Z>kA={H%po z3)8Mu63-PnEjEiBBtdA3lCD)*Rn@GkLiYdtty9s@#%|OCT<1{4D^yO55*Y@j1Z}2O zhJaPr{+jBZX*K#=KH9vT>UNV%MJ2q6uRa$;Z;wX(+NCxS;I42BW%{@!jYwX}f6n;W zTzRMyOj3Gx1JM3XIfg=SHB%0x+<^M!6P1%7g{3B7Q^xuDy4ozEC0R8LX)`>o)!l?;v4_NKJ-1v2X6goXWp*9CN`eD$B7mPsBnrr8 zc;=m06aBOKML_Vv`c$HwZdbT<4!^mC%@8AtBvj4Q%rKytjICsy~5AYT4g`0z#`Kk zYQ@DxoWAQrYgL|EU&$cVTxVJ3Ac8?h=B$GKf`oI#jXAfq)l_T$XhN8RKC0BZ)^X;# zgVQ`!>9?}2T1*3Fp=l8~=!w}RHakAL@`N7C4@#J|%-kEf0l4S-r%w|Voc@TUbWp0> z5@R1Z>jZ9EW&CI?$f>59H`+yod01Pjk5fdRY1FaJHwlMBCQBJhS+BJ=;MLYiS29RX zC!Jbrh_W2va6qU!EXzf+G6G>&AKkcAT69`?rZ^%kATQMD$}M+gr(3V9u!r9Gm(ZQK zt>lOg&hy|C0E#0js-B?XQg1Nodt?=3$$QVEO(`-&JM}B6eWj@}frE{^85SZc*^bo> zse&TT_C57DFo%~PUPs>@sC4)|iOwJJ-tY}CK!U%eEG($1SeZ(;i-% z;r^Xu@0tJ1FeRbZP`)5t-jnHB64LQ#rr*%->p9@&0BHaD41}%^dJOLcLav$O8O-e$S-{}TkYe>H&K0;`C(AI{esCiFx1-}~@d z`Wc9e{G~e^cQ=86Gdei9cR0snV;|{_eA?OZ6#vHuJ4vx$64Rhv8MCnBtGS~@{{7u!{>}G@ zdC3x(&c4Dc`CM8W5hBj5C6|ZXX2+RnuNCd3FomB1lb;EZ{)|Je8X|XEOim#Iwhk4zdxY9*RIaJ8MqU# z0i$$UQ3$K<0}6X1D|w>TlRIHhz#U}W1Tdb?!As$~X+-gXVG*~NpZD|ez58S$aGSMk z^V=hnN6>)Ukj;)gb~rH1Us}rujUU}k)#$Z6i|!Di_Igj@H*Ui4*T^29PH>I*k%!M9 zyqN+m{~ReH*cHDH5&0Hr&snS=kHinbRUT^|*l#=h1Mfb2|4qgc*e(&m8HxJm7jSsq zu36uH>{eB_qbcq4@A_xS{YZGLu0M?fr>(`!h5kls*OAG6(!+ygNI|?OcxG86dWVch z4#m6{gci0z6xXk5RDt*Wc~XY6yNRQBNZ`-NqI=zVg|k%e-x9Ut#f~zqyKIDCLd5yJ zp3Opjj28iT3MI*r`MAGJMp$FGXMoV`H7{sR_K0oc1!J_kUU-B;4i`R_+=~NMrC01c zf&S*fK0xjduBz+gpGXd%tyKMBpQocrc4UaXGyzm6kvlOIKgCB|+D13}Y?lXi=|}ar zuQ6M9RzZRezpd{zux>(o@;SfG?JNfn_vP3YUZ;LYEfZi^e~^Z4gzdDIAiy6-W255a zMV#C()P+A?EZJJ$p19E|7#Mp&hkoID96j;$)LiTCy9puOx7yp$4%yi7B^3QeO~|^a1f@&~Hask> z;q*d}4v|3JQvc(L!To=Nz3klS_|?Ef01hU77)DiVZ*w9JCKyIdB3))8RwCyAY$^^8 zu0-sd|M_VuFpSdn77j%Jx6}5&7GgxYd=i`@VodB@!dzl(ED~(YTwLrNOdMR?+#=i@ zB3#1U%mPIJ=Oh2!0`vcBOfz$`{x6Mb{CQrKK_#rw2bUzGL*#i+)Olu82?taiSY_?d zARW4a82SzP;$^GJkE}i4e_uPgdO+X6jv=)7qzMDS-!Vd2#1l_Db7etAlzazJny%ss zX3%%mjA15Zk3*E-#q=;FL_z5%Vlm=!bnEUKDB>hrT46TO)5qs^NO%7mRPZ(|sAy;9gy2(XtSLJp)XLbgEil0$6r#E^Zid Ka&bionEwk4>Nk`C diff --git a/proposal/proposal.tex b/proposal/proposal.tex index b326882..ce266c6 100755 --- a/proposal/proposal.tex +++ b/proposal/proposal.tex @@ -10,6 +10,7 @@ \usepackage{graphicx} \usepackage{pdfpages} +\usepackage{hyperref} % \usepackage[ngerman]{babel} % \usepackage[T1]{fontenc} @@ -76,7 +77,20 @@ This proposal goes over a detailed plan for how our team will create the C0 Debu \pagenumbering{arabic} \section{Introduction} -I'd like to introduce some things. +One of Carnegie Mellon University's most widely attended class is 15-122, +Principles of Imperative Computation. 15-122 contains a capstone assignment +called the C0 Virtual Machine, which involves implementing a program that +allows the user to run arbitrary code in the language in which 15-122 is +taught, C0. The implementation of the virtual machine (C0VM) is not an easy +task - it involves higher level thinking and a deep understanding of the +abstractions associated with running arbitrary code. Because it is difficult, +the CDB (C0 Debugger) hopes to improve the learning process by making +visualization and interaction with a working implementation of the C0VM more +accessible to 15-122 students. This involves creating a working Javascript +version of the C0VM, implementing visualizers for relevant parts of the +assignment, and developing the interface for student-based interaction with +the application. With development time and effort, the CDB has the opportunity +to change the future of imperative computation education. \section{Literature Review} \par @@ -258,6 +272,14 @@ Mitchell has coded extensively in C, Python, and Haskell. % You know I had to say it, right? \section{Sources Cited} -TBD +\begin{enumerate} +\item Amjad Masad, + ``Building an In-Browser JavaScript VM and Debugger Using Generators'',\\ + http://amasad.me/2014/01/06/building-an-in-browser-javascript-vm-and-debugger-using-generators/ +\item Mike Kamerman, ``The Architecture of Open Source Applications (Volume 2)'',\\ + http://www.aosabook.org/en/pjs.html +\item Joyent, Inc., ``Node.js Documentation'', \\ + http://nodejs.org/documentation +\end{enumerate} \end{document}