From 9596379997730f1eb5ef57f86860ce4b4dfa1c18 Mon Sep 17 00:00:00 2001 From: Sam Moore Date: Tue, 15 Apr 2014 00:31:08 +0800 Subject: [PATCH] Notes on GHDL Not really relevant to literature but explains how we are using it. --- LiteratureNotes.pdf | Bin 172833 -> 178187 bytes LiteratureNotes.tex | 23 ++++++++++++++++++++--- ProjectProposalDavid.pdf | Bin 131180 -> 131180 bytes ProjectProposalSam.pdf | Bin 116936 -> 116936 bytes papers.bib | 13 +++++++++++++ 5 files changed, 33 insertions(+), 3 deletions(-) diff --git a/LiteratureNotes.pdf b/LiteratureNotes.pdf index d283c2900399559ea3bea01a90e3b68eeedab210..506817a3c060ad8eec0ad71d3bd373683c8d56ba 100644 GIT binary patch delta 30834 zcmZs?1B@m>)9?F?ZF_cX+t!Y4+xE;eHg{~BJGO1xwsy?>e($+CH#g@bok}I0N_W!f zuFC&cT`&S0eFsZHt|%r!&&|kt7%*O}IC~IbK;c7|D%$iof z3PO{phz_*Vl2Pt-vhK7Be*!5rgh3FmB*tFN`F>@n&nNM*h*iFZ)5x6O;xGBMEEO4+IpDygO3cRJFU?U#;n zdU^iu)%tlms8pXYg}Y#9IcIc%j^-ESbYZpW&N6VK>htidNl#KZ{b=7niY&6v`7-P4P92Ye_1w1yx5DFF5@R$)L<&nDr z@Cj5lf%6Sw^B&As?8q6!2nxeQv6y5_;b34rT{#eCD4=82ujWWT7+&f;@7|sNu9>N7 z;74lqtG78Ltpvnw+pgc)d$1>~>>HJ-E#V!%^aku9EhB~bL2k1X z@Qv;far(jsW>iACYHi{W>t^?)%40TooPNl00?J1cUn{PsK77(ZSauM6mgkxd&5J{L zeMx)E;e}{L%Xe%crc#NEdlD5OVdjeS&s{+wC=AUpyhC7`7;m?bjm_I?PJx)2ZFLXQ z2xg3y*z93R6sSv#mI|y0o};i z227JXcQXdEMKcBTpXh1mn_VZ9idTCuPG#}PNS(f2RwtYhJr3ocYmwf4Yd43BdWZI+ zjutOA6Oqz6T{udYsuCF7=Ly!(o0qB=Pm!j{#wg{<-=B1h%m=(T*+7j|-cv`r$sE+? zt7FX|RKQL6h3{_hdZ8t4}A@`@ArHY zduqt;5&@ZqISGuv+9Bu13oG4SM~opS+6a+*wk z-WYtN?EN)3g`TC~E5J%t17kxV7=m$!jcviC(J5QeBbrg~_D%9rsLLArUAh@p;@&*h zMFl~MQ!X>qTSWt`hO;#gr!0R1;=YjUO?a`T~Y7Soa?T&$J)9Z;h3ny=y1I5W)rvla_@j7fWp@({W z!P=KVHu^>+bB#DIl}ZJ2D0Q|GT4tz2pUp?HM16kfM^<0JgRrRE?VXyQvX6&f6&cU2jVx;7Y%2KQil+utKkqGLe{F<2 zZrZhBDf?!cmR|tttE|zbx$B~eMHzA7-}7Ii)Jv_0Trq!ZIIn??9tqLH42bQjV-N|> zLsavsjLF2MhGIj>0pZNj7AA2}f^Xigg8f?PI6Y9Li=0@CYxVbrv+m&FlgfLu$Po5= zvYk+~hU9fSqyUtAa(nqflp7`6T@cV;Ml(do6&o2GbfdIxn(p~CPt}Agr(O%~0p+f7 z?`>k_z;#yXhZsGGx=!k*jx$$R1h3fPE}Da+?f_=_leG~g562*=a-3Sm9KDmc$JLnfU-PCu5oiY^Ts3nZ%{ zk2C-Y{$+N*m<0QYweVU-W`%|+lQ@sMI?e?jM@Lp6wGt^@`c%x`9?&l&00~ssF@i?V zCMBg7>t%{6`2L}C?00_BCtc>HTt7)eZ~?0zTVl>H>()TuGNix?bY3{IQjt{lET@h`L|m5{!w zC)ijthw>0DT$d&|D5y*!i5V~`zdR87Q5ffNNdgt-<0Gnt0HHmHjNpa%rO;|j}ueuX0$ z)bb22;XPfmzz6wkW4QzI!EyINSr!@K)u;BKaPhn=5!!)$wiPSJcCQGqSd+Xe9Ag|4 zh)!kP&mCioAcngFg?SOiu$54S93~ve0v`kol&b$k*C*z3r-*?Ilyife83Hc!(}Im) z2Vi}$IX7u?sbvihh69`U%8n0D%tR;A-fMr08*sQ$^p+6;b$vZnT>Uhfj$6vgy!@Ic z>rlI;(kkTK63?{sZy&66nzL?^V3k{gHUxUhQFGXa?UOEY<+I$AUJPV(^jgl9-v?2j zG|0Z6x7Wwd9d;KTx*FssdFm>&=q97wD(jMwt$77JHG^^3lYzG?%Sww2TGo^Ha+jYJ zZZcBM1hx2>hA*K08@k2ImDP1rbsDZMo#n)#WeOJp&D=MBY2Q-s;OhF<8%s)BXttwG zGTY)iE5RH&_QUwOj9-b%{QK+C3wPp6(SCtsuHCZ+jjG1~0 zX=+I?^l#-`VyZ zlMVh^G?6tY1_>+$Ho7ytErN4JE$1CjRgblFp7g7+s))bY>B^kwX#y!SoZ|9GY<#! zgD;i8>4P5cYjsQD?xY$+=Nvn`D2C$TUaVZc_T~e0w3_60Fm1$8Bym75eOr%@S;700 zrd#ZG`fXa>`PMd_*ic6+Wh30rp4D9Rg!V!%oaS$c#HV(=nv0N3g}yon$}dDeKbKnM zK7f1Zm!Q$4b)A!eTfdrpvg$S(42`EG+tDzGe3;E<7tA(o&lF~7zt?RkTk4!r1is&n z&X>K_Lwpec_YyJdR_olCD? zKR+Onj_XVV2nmcXJI^QVQ#kO^0qK~7O*gIRKwiC+Xf!?X=X8v1UWvie-$FTulRR>Ju`G*s_*sWa; zRTGPgGj__9YW9mS!{^{_BzwWvFXU%Yd`NkUmm+*g_Be0+X|4??*Tb_>=9oh&1z_C6 z5tYLK&BQ(|Q7Qc2%$msBcug5&nzp^zr%*n%2hyo;r1cy{X#ymQrZgbWl zJa_H+MH?(ubVm88DG~@Zc{AGpm2{i<&NxdR%Fi5$y;DjFswyDM5^uyGco^==nsl7; zf9dU(x6OqBJu}hTH$hD&B6N;)_`uRaNTUMfh;(cI$dF8w$b8mlKx@C5ZbUg1%i*$N zScEfZ)TWr1J=Y#wY@w()_EG!Yux_X{-($Att86f?;*A-uTRkWu>@Q=zG1??-+u*#+_H)kI(Im)TBI`QoPc5rN5o)f12=Y7CW?TqYKmjgu*wkG zA>9sX)2%BBV(Y?4)4u8jUKYfEb#0@wr-Y;=YY6H9&?2BAgz;KNKkPo`*!A~;qrEMg z@u;TqLckk4PH=m=c?T2eA`F=A8hkAB31l(&zu)#=AjL4HoxKY=c=#Zh!ZYRx*so); za#O=>o5MI@P=>@nmH`WW7ZWDapjBjDj4kkWg7N_iNJ*&r>A8>LF&EnnXC4n!7w6nD zd`@LyrZJ#W^S=l@M}vrrhJ7Xuj}8bI6JwMaDo8fnumfcCjHw~3jwF}TWZ62N0mL+| zVJLtUK8XVikIM>v*zqFA=vF$_9pQrKHTSSQ2dd~enjTP3Ey?g931R(VW96tR6?S!Aue6o#$w-8I>4pp zS|osgYK04>1^3bB)slzRIw!& zQ~e1u|DrVaT{!uEasX2LbAK~|j{izE?yjojgt`%n65JY(N+k6iteNpdcfI+iqX5k6 zAfn?>`6P%U;=SoAICtdTpXGU;*5_;Hv&lN(0|D25sJMGD^WNRP2Hmxrch8VnE@3J4Pbpk@U{f-8bW@Pt2-hUJ(SY}SPMr9~|2ryRod5M7Nd4i#SeX9TL>SX7 zVp6+2dZU$~A`&($%l|1+v9L39{kPJN)zWgO-TWYM@6wDRAYyzW;o$sgjmaio^Qb`CeIjSXHUcv^f*Bewj2&`O7z0i%SQ> zze9IMU3!l(b)3#Y{zd?z5p-l{CZI{)LV>L@W0;9uyL7JBf=K?`1$9hca61>Ms~b9Q zdt9d>%+=XV^bDW&?MyIjAHAOA;euJyeMR@^Zt+iij~XG5?0I6!k@Rr3^v04;FgOpY zm|S1UOh>c4G3=vdif)!8Cso~Jc6YQ9JZ}BD(%)PpiGNRh;!e9ryU26MokjG`;-4pm zS8GX(r5T;V>V=De6*=F3VsL<2F*sWnwGMEl{7nQq_Z8~Hm@S{KADBZ8nW2Hbh%01i zhL9TnG=8Hp)dUtN>DgtAolClQAd41n;paC zfPX%Rv(uIqo;T911{t<_S?1oBlCMaJ+YzFKRmY7U?bdD8@v_3ZT+9cUkJ|Bz1)buX z1~aVo7&~hjDXs{C{@fcU2o83VK5CL?+q{_@tGz=@&Z1gnzdK#bA)5r>Va2N2I(FGl zz}YUDy?AA~Pi6VU&7h4Ql7q!WH8|UL%gakrnM#c3q7HuPaODe!tY2`C@^j@Whr_*N z)3m|ipxJOJhrh|FZP^cKF!@y{&aL+`Al*>C0hK7|T%o_j?vcXUsQ2&)&tSKpg~X!mry;)Ie(kn7Aa+hz$EFvs1@7{ z9O?Lf5^%Oe8J5~Ak;<=K1%W*Til26Dz(@VCLMH|KH3{d&eM03{zkN+J-ik?qn!;xp z9t~X@PuPGL7!d#^`&gNEv^#ygobDeVj|5Zm+Y6t0ySv+VQ^fu5p#}Y|vfjsXPVI}h zheFxm|4s&24WaOaTs*S2q@6)Xi3maLRpyo@~VeaS|{SXr=Po!H9>6}H!6~ZGNB{@M0*djjwo2Z zFI^6*v}LSo7Zi;rs`wnY;P=~zR4+wyf|0r5m=l!T;KOTu*>Qh^(1*Myys z9)4b4)Sp1j00`tO5V58)S3Ml^FSt|Oa4^@!+=PlLLK^8Ds@xHBX2inGkRZ&{e=fX+&;wLd>ul zA*lPVdf;3Roc3i5Z}h?e&ul;KtU)%t>g_iya(zH`^#FmERd7Cl9T9Y=QNR;yW4~&f z)3#8)XtM86sH?-2DY*D)NU91Twp+ssk@s}gWB=jf?zIY=YD=$}%@f~Uf7ds8Y!L)M zke_~xyZJY?^rW$|j(RBgD-p!hkc$_Jmt9f!0aFNo{to*;>hdTzn4a~CdmrFMgPxAF4bCi7a!JvCOYl~FwmcUY?^CvV z)Oor?DtKWk6UMG7)L-HwDlK_*g8o3L?+`SJe&^j(+`!D!-hC-_C$fS4-!;7ay*xUM z{4}5m?!UXM+3`W<)^7%ukSjwQAkc_p!H2qDqgAXH(W`eOOg5;X*@7FuwlX(Xs z7Yt9DNrdG|6;h?fZCrPP)$cQDOeE&mvN$PYV#?2+Zebt6Tvvd^(n?}13>21Q+gF4a zK;ohEzHg{^;(i8E_~MlN4C<8qPK073=CjxmVH~L=p?CbqeM+e1tD5gBweI7AtP*QC z&=(dHwJ3rX)zPV3Tl39GUfzte9gqSV@N(el@4|1Ncy61HUE;aw6rvVusq8WH@Ghjl{Y#@nmr7E+_lU@3NBaLZCx+O3vmHt&r3 zVahk`;_r9`W6%=1QLj{&rZbxG_YY6re)Jk-qPHN{BU3CfN%seS0i82R?VuI?!C+fRR}yZ`7P z@&cY?YA)WPtu57PXGqssdoh^`oAatwV6ZQVYP1AfQYJUshy&QJu0QZ5B!Q0w)G>S_ zgjN=xT4JwyQq-U!-LLRpj4U+iTdnr)1+Q)e?zps`ki7h|0EXkMR7v2PPNeH}a!u)I79T&A3`5#t8>bq&wWnKbEI| zzT3W!pQqRPKpI~uftbK~Zcc_DA6u@H`LWJ-gmllRe^{&}jN15rvm6Ot$4T5MT|(og zFg4GIYiPhBpiBeN3(7uGzaT<^)q8==UMOPcf#xcLG3q|AtUZXz6Yo#nw_Du=oeo8% zNPl8__KG$OHe|v)GSn*umfehJa`<|LDSZ5qYmScZKJ(uN?`rffJ?gM z*i?5sr(DsS7v5sQyA2yE(!mWoE60f|^$UpGm6!=(6(jhr2qYt#OY({4OmU-+0#_zg zCibrm!@9Uy)6qqKo40nfZM$YBlKmvpj$^qZ3+Tm^* z=7#fTy@vWbVQ7|0x`yr9$qh$Cz|$5&^aE;K_fHI)1mYP>mDp)hS3_JNguW^N`rF#p zZfn%z+!EE+Vo_KHnj`MD^Xll61a7mLnz3aBwbN{UlrQVKS9k;4v$A#%!^REp6U{qK zJOShW>Z3qOJvJCdJxxpVov5#<-9=0gQA|f#0`X#%Eb@2{?9enjF9E&rE}Hzp0=pz9 z3F^oCfWK1sZ1wQzgUfd>hcuS=+VG_sS0H8pNqeb2tGXSRvaLq^Pl|*5(OIo;&J%OI z$tk}2AYJ-RG!f-6A4n47J_r9#$9}=o6comNF!em!pEdH^w&|O%dXh_BduCfiQ z8-WNV{b|(v9M3QTGy{^5QK?~iEA13QtHmKxIwm?DwuAj`gyPie`}MN`4Nb1 zg8*(EEQohv;3E_POE6TN+uLkddmmR1^UlExv9kO+5+a=sJ_%8C&> zn`L{bOo5e%qR`%GBybd%0rP34$SB5c!nkD@$Whc8(0B=>bSMK+du5S~$!r3h?#e2S z_P~XFB-%8Zy(Z42N}v-<9a|A@WZE8>RzH`|gsl~=^`pO@N>y#jW&gNF^bt1s&b7bY z2x~6^m0fIb+&2TLE(hnCh{5|^gCK_T2X{L)b$9`Xwmiq!(AfzHJ(sPT((7`AcdaxG zG`o(nUz+y|AmyQb>RUujsKMjWZUm^g3&bVBI`8S3Cw9)En?boA=%mxhDT5-SYHgPM z?p6N2#&{+>Y97E?!@v+diqWNZ*It<@_qwQe-U^uQcq=bGGi9 z6?4T3O!ml8stTQhZ(!^?4JC2YZmgRGbe1hS)G9912eK#8(^z_ZYp(0Lv9w;z=j+rFH#Fu~UBJ)wzj?t~Kxfg`mjiZXH zNQAP3IqQ+`O53B4xVX#unrX4oPCrogu{loT!zI6m80m~-WR`I+=rzTi>ui)dyv@sv%NJNphL%`l;hU1MTN&EUYn4`I>ai;|p_ zh`0E~xl{#h-b*D{iq{AK&Kxz z$1w<;F>~j%xyMYiw_-Dm%JS4tS2zAnn8q=ksnb~|rym6$x6WPq+n=4zL*Pv}Q>Ttp zJg=mdo1lSbZP5wb?o&=yTB(}2XimJD_Hx#n$dJ4mWz7V({a?P9pq!$%h;%HOwWaKT zCDt2RO)FWL&jEgQCqQK$>Gq317=$2_`iIc|p9NV>^b2#`Y|)Kje4H-tFWBwkOQ|PiC{OAcn3!08EwVIHtF(&Z=`y21UAanyuJCp_Y#nraS z-kznf3rGu$;+1xftiiG$m6Bpn$tg{|fLFtd$M>^B$|Lx@QKMF4gC;CcnCS1m$}52!NpOl3{# z9-+HxW`;FS|Biy9Xs2vmZoehb2-dnOFUS+2I%~3xj^LhQeG%CGNB^Lx%FH!Qt%U3a z!ewlE);|}uL+601mw`*GV^=`x1=3%Z<|IH1Ins3}inU!9N`;`ncm(rjIL<&7+<_GU zf|yp*NP&_GNy^;pg`Nu$8U>CF*!=NH9jXY~Ae>AyLF&n8_!j)9yF821i>h4jrdR}3 z9lDgw+ov5i{SJM@ZWY#@2c`%jwpG)($U}4;P2oAG+eOR|^IkNPoUEJ7Jg=(^{TXRp z2ARpveMvN{$Mx89t)o)}gI~%1ie`3ShWo*-IY120JN|QQMWV!QINc2_yexvT(H;s; z4YxlnE9^>WARb-frTyf1fC{o!69g(kyD0sIvoq@J;Au6DD)TkWB^+LUju&Jw6_szq zK>)L%62wg$!|wB@d~hs3v!sh4n{isPDgALYOxZHR`VC{=EQRdKDIIiS;y5l*+_>S( zG*C@j2+Ah3)7vCCMIhQ&;Nf6T@|lKv%_hZyqjo7`;qNWC!76n3AD=jH76wFI&TaGo zx7EU@{i;|e8FVV|60N!FDuz~G!Bh-+0Tspq(aPEq0caI-^8z9_V zXMi*jr5g`ML)$6y?6$b2Y6EjE4ODM2?ZcS7?OkOtI^)4q3J40{@2!wW{m>Yk^8;uP z?zhJt4RP>}yPwn_tz1tmxyl0;X1={dcfq1jW zX^WlSF$bN%9BaX7KB;c+con98E|A3w#5tms@8j^E5)TIo7dq$1HgdF}KbTC?@zB9e zXG~-E8q5NJ?C&QaIwRbAEjr@97*N*_AAwnzkIg^pCjDz7PQ^E1#7s^35Y|-9t)pP) zZz!fL0o8`oo+WlqU#*q24y~C6<>T0&m6ptwn+41PFgIzzxpFlf8zJ@xbYNt+G|=DL z7g`U=cdSQJ!#`ulch~LL{=b%+AlT7=MxX;I%$mPVDA-T|t8sK#O^0m;~XK5T!gST7-aR|U166*c4< z$Ci@hG1gg%dvWHt(4IZ`Lx3bQ8_!>Aa^*%I*a2>c14}W zG82L0k1yB$CJnlWAc>vFBT!1q(GZFrK=3_Z9!X9SW$+C^M4lVsXKgX!FD^EDgb$Ji z=xrNu@Ny}cB(9Gc@!HK^p;DHJ0MpfV)>;K?vlnTV6xyW!U}g|EYhY>kFMvd+x#hQU zq^FmY8B$hq^KBS>ggj%zuKkPv@RPtjAbCP8q~Yp)X(ZZM%IEp77h}oamAs@{`AX;H zkDju~f0wL0rel#*OU3aj1w-M!MlwYl*U0x(y+uo+j3AEx%-Cok?#{LQ%$g-!krQqy zw88-5>on~_8N}fzH$Va2(ZDzZ5-{Oe;~iwYTBIwO~Kg#q0RWNza!NAZ*KP3Au@4KKX(|Kafw6d5#G z`3E3rHkGkHSP5|!W`{TZoT!$FyTUt=7n_ni50SmsVaZh$-UI2M8-s$ zi|O8rW#D*=9tQ5oaheI^2gT7A!N7T|zgP+*BjVIAf--f{VgsfduCt$bYHw{p+YUYtF*jR!G*z63vcYj_k=n2 z%I`F_lgh=6Oj8s58t;fNi?WCqNpM4=$!f57qe(7G+1su(7t=l9gBDKE0jCpF`HK9%TvD?652_vV6o$Zm6nNz z%rTPxFYugW&|)FN2z?CzM_ET^oj7lP6j5q!YTp=i!nMq%hB%q&j*S(f#l_{23ho6BoYn{4+^ zS$C}x)!v$B}Rb4p|T z6b?XETVSegUoOt0;ZtWr29PuKbcF7S^nhJo0W|f#;zFPG^!7nq-d~0gAIVGbYRAbv zK=O1Y?CxpPHnC7RJg>U|yYU5HvLEFBA~20Sd8Z#0JKJX~7)$$KCkyZFpd>gL)+VA1 zs%O2)5ZbO>Dk>^M&X?!;L2R^Z2s8*{7*g)51h!rd1JGM0An*V72$`OXo$)j1h@>z_ z59Cl$TuwgbxlCm(${@uPE1sIK;Fy|efVZrf(Qc^<0Y5u-VpC##=DM`LC|$Q84a%>~ zU(zB+GMEIZxBVVS0&qQ4ia-3(}GnF9$I z8ReQ2g`|}Q14C%z010igD?Ec@Tq7&E$!RhSi~z&LY+_UzaR}Bi{2R4x3Ocz6pr`W< ztAe2(WLuj;-Pi2Y9SC!64xu z!e#u2+by0U&eA#GfdQLH=WqH9kb}`p_#?Nn5PR!|%gR+o^0M^Yn|S^hoipV*FGEkB z%mcQL6teoF<8)j)rv@hve80toJV(-g}(dSNRlCKZWW}1aWq)%DCs}>S@Zw zZ|-hcq`BEs+1FQ2b@277CM^Pwm(-l?o)1CmOSr@TAC86oUp$tJ`M(W}931~&10(x? zaP0r|t}biuI&8I}`0w@x#ixZUAKkt5a}l=(Z-Q+cBoqs6_CYswM%74kZpdtK^@M+4 ze}$zoUK-e#b&oY8aY$QCL9V`}p@$tQ50!4>g^31g487BP(%$_-=^ zyQ&UI@S#d^4VW;))-B3Pq6Qupp)l{iMOY+{0z*Rt7ha)^oIQny=#uZ^hpSJxohG^c zBMhb-6zEPZOW&5M;UtAOC|u_#P))%T?}I=$`c?~i_p4z4V9q8E%FS-o-ry+BxRcb5!w7=V#Pc z0|WL~tkU7>*&0Fgbf?k`Ny2|~%-+oRV%#2XPJ&w#*izQ+ zOW)CKDHWj{*uf;gV`~39U=cmwDB#(101S;^qX*>(GPaW&ilMU&gbsc(qVL~3UVAab zh^BDWWVN+$9NL6H$*YIoBPAPdt&YIGB&R}+b!TlzABXJ05PQ@_=N=QQ4wC!RbTA4- zz*kA{0g#K$Kr{UHY7GiK=R|@7O33_c%Ekg0jiO4EtME{hs~`zGMTQK@kG*%G9~hBo zuy5p!pq7LbV>5*hfDpna2=@XUqhn0V%bO2xR>_e^8BF}MR{vb94Y%fh1hj`tglS$CQ(1CJ}7wC>9eP7fsEnfh^P8?lFY51VAKrZ=RK@UZL1 zHu(}#geAwi(J3hlJxQYkTO4$hKFNA?mPE<1u$JGmlMCfG5stem^r5NPE*_IS%UE~2 zFo$=4?iKcvVs=bcV?)GOH%qyFWZBAXl!656Z_u^M{+N2oCN@(W2O3D%|6<}?qKbB`J zo3|{)mpBCRsEd@Wx-r%`kXarDAx4%V=c}c(tN7q}TspVcvmN`wU9XG!`}y7C`{TwK zo8#+6+({n^YqMRqsmhq$;iEv$moBxmty*w}k#PRLs^)~Pua-MXvOHHbL@Z(7lD3E? zUdK+~{nD00rRHSWS*vdLw!=0iNzYxwHE&Y>9;EcNIL|TSV2Mc#c&4?JIKY1kxI=tG z!!ByC&$lL&hryeRA}V1yuz@p*`w(>m>} z?{+#C@^mcDt(sQ}yt$~Yq7YnH^AOLAszn;}b~qO8e*#gm`TJpIjK1Y|z3JNLn{5x7 zoxM9JJoECDRNe0uROpnDK9eVkTYM9$%0P@ricqVpiN&BCCxtqeg(B1JxH4wQCCS0! zoVX`-6O4OmuNH1SNn&od(L)$Ffhtc6zL350`#_9-w05W+*j1eV?5LsfwESME3u0Dl zJF|(H=;k&G)%K8i2G%O(&>(>vB4WoYj#ca>c~pWb%e2>DtZw%7~NxPK;1We&-B2R+j)5q3PhsN{d+r` z?>6%0$o2vkv?B9=$=C=dOxygZK zc=_4GN-=z#t&R3wjOH$(T5|G~TgB8)gs}9AOv{9h!!i@mlyA>pD8-4EwrzNl_sS=& zxEJ}Opv(4*kP**~ig9slloF4C<$*fv6ni=4u8{i2{czPXBIEfgmTcLO&c|j zk)k#a_$AO|f8l&qiJCh?x4v2>=i(-|qYjO~rVka`#>Wax1rMGUV9*>7xcDyI7Akoy zu$t`Vdwbju`bCVHb&+sgJ_KG-BJw^FV)y5*<1q9#`rzR~*}p@Rqv3ic8VT<)imwY> zeR@6)>-B07jDkb_{Pk76@nL|vK4d;#=f>a~c#`gA@&^R+pD?Ore;^?=d5+mYF~1Dm zC2S(%CRXONGYErVq0GwfTNF`HY4pxDF++l9W*lQ5*q!*}hAJ%Gu(asm7Ex}GsfeJi zOhKr=-B(qC`gIZ@Sc1%lLz5P6Rtam~0BS&MDcQeuZe%f^gCFjCA2E7(+5WtEcrbP% z;Kiip7dc>mT23Q)Fm67H^rH4m?mxwv5_FPjzj8W<+@EHY-;Il|Oolw+wzg4pTIi9c z6yw(DsnoBMMYlCY*Q6R;oWqayWOCsW%B&Ky{~c3GKDZcyD;k)HLgl2W$E-9-E)0mt zYku9~b73q%6Q#}Xa_Uau5g6r{J>Y730wrmQbG7_;#C?tDAoicsLDC&urEXj%x<9Vr zrX(8<4rnz(cf`o2stmZU0=0+C8fHErPX z{`${P2Mk5q+48c6O?vaYniD7aoYJXnH$~F$PQ3TuB3R)pAu2D}10$k11HicUW;`8U zmM{XG!MGSB$q~noxGzf6Xu_?4_aPEPZd)!XEj*({ULHxPG6XGJ#;z#Tez>C zjF*cJVCU2{OSUv75=Q@Uba3Mywlh-`#nD2dOL95(+8#dIPdt{ym=7u}ZM37qh(cc^ zk^tLCGNSgn8T;*emWEmHJ8;f@Q|&vI%Qn2FYO+*vCEj0c>C)`U%V9@Q*l&n<2;}=K z`Vr-EQVr(kJ(S6P_Wc<~;&ZU!U6p-{S64IvM>8ClUu^2Q1vxIb%ZzJc*Spb|eLjw) z7y8~f8GLH%Z`|t|R49Ds%y}bI?kfrnb?w(&e$--nqQ;r*tc3Yf0n9A54=*UEVG^20 z+9XfEI5z*c>R$dHB)a!8sSAQxcj30Km$M@G)N&E-)vT{e%z^pO_br19=PL~~+-wOG zdKOlis+GBn;ir>!8ihs<$@e^PkePA(&8h+R7f*?FL$1mjm!1A?(Gd}u+#d*d?jyNB zW}tJ6SA9^FE16aeNSr`MU&STk4JM`3>ZZl&tXT%*bc*QrZH1;XfEb|Ii+W*Skpd6fy*(PFYpd8$d2W>pEpq$LDgb*NJgrF>(X$7vJ z=&fF?AbupEob0WyY9OkVpq!ko@_rylgrJ<N-N-y{Uq8g&9>&ognyCepV?!g{=P0r@BXj~d zPoNw~RCNHSBJ>zYk~*mMr8N>qYe4_v=P6~tP6$ZfFXFz@&oo}4DM(W!4iFJQlu$av z7-a4|xFv#OcxHew)9Meb@XrJ&WFv;DiHp0tIm8B6y~y=+C{8*EaK&G;6c82DQ~*?) zLBv2j+E2Sa_}5cg0Dd+8PuR!khX*m!5u-(ZB+SwXCbScT=oE;#p$)Q-mUbY<38)Dq z;8$rcLf{IbVw)gv4hFgf5_b^cyAmHd0aFD6un+!IaB66b)Dp^F&l6AsR5AS^fb^eG zMpl6-k41n6b?N)m%OhJOGzArO*J$bGwSfra5#9Rv&k7M0>kg=;aV@r)$n`m-Qt}T( zXl>B{gv}9yKs?vh*WcRLK!|w(W5Yv1*B+h-8ai_ZGI79NV=gcS51n%QK6rW1BNz^_ z{$8eSf&h79z|;=P(fN1TK`#mg6jUF&Ehrdv@KitYRQQ=A^VpRGyh9KF8btmmVje#t z;Ny0-w-yJ)CQ&IDif%SXu;|~%09Hi~_dpwA50)f$8 ziDJlr2G~Pysdj!ZmKKUBtb5a&K@C1Uv;iV>1hD<7cNE$^0kShdR;`Z-ExLE)SWqrN zvK3NPh(;0W?luduZ=iqXTaf3qB}22{0S(Ht>RUN*Z}M>$r-Yb7adB5?bbJsFu(1iI z$GpBjI6OWG=6D)VS4KT{T-Od+|5qfRsSOS=GlOOb**yBWt*B23$Xaul-;KcPqxcSZ z1p;hQks^rtDBc3V_eftE4@{uyr3Hx*0a;UE2jKPN0>lh}tSzvhQx#94J9rr+=v?79 zgCV5Z{D*)&=4C=;zS4KF1IT(SK4LDY8YuAD{4Yk-fXjd%5=41VW+5mvrY^jd(tIe| zw)lInAPutz#)H61+5DBelP}4E=`S5)pvgZ;T~Cd5*`I*BMXv}%2i(nFw5Qwg@0CsN z0j&Lg2>I2k|1t1a;P0YHY3YLC0XkVf{waH`pN61ylLrMdo~!h_cJx9Cf^>TBmIK{_5&LA+GyyP_KRX8lb{?FrmLJ2T}r<{hcJuYt9&?9~GoM9FXNlaS#ZzCQ!Z~ zx;AhNb4Fw_24e9KiW|}M9BI6Lzl28T4dt(~rsGj0o`# zI}S-MeDvqCz?CU*<423?6FvJoz>#DIIEBVnK1qa}yZlrj)mDW!_I;cD(>zZR_xyb4 zaZ^W&)pPUH59F^TPJkN&cLAECT9cp~Y7x#kD$z(BOf~QfjmIv!p?e3_Hj{`SHPv2F z-d{YV)6&{%SDX3LUp-)bb6D*7HK#ngxYG{i5sn)L&05glDNe@$O zCOO!z_>Dp^vjck!idGJNNq9!?g4S;w-ALS2PB8T3?!6L+1vVxt34rQXlA? zx@+;ExWmeL(ZiENBO_TymiTdE;qHfH#hi>uydT_NsU7BU=_vit<77HITrCfj6*>db zcy?Vw54SyFBbFK)#n5#{=U?);puXp^1d#tvVdoT_3DB+UOl(bT+qP}n*2LBq+qOBe zolI=!i*4JQJ$vuJPSvS8Rp+kPs#Vn&ebfE+dfugGLa3j_LK^-Gp+WbrnSygy*-EKl zQr10vw>C9~BCO0Tyij}GngTF$lG(s)P2KPYXp5)MJ`$L<6>H0Z-*K z+K*;gT9D&tv<^LU75NKQC+18^->-}cwNPI`OGb zJLudvz_tGMDBev@tc*oYqww?+`D0ffFRpW0#Whpp=b;4^{k`{b*2!l2{^U%Tw46VRK7PxXTa%A)39IhDJS_9stJS!?^dG4m)ZxMI z8OzGWZ?Vze(nZ5LdF4ZvL>Ir7r==j;7>myD^5h}bfe1$FVGKCxAW>emM614W-vUz& zT{}s+d`Is^+?^qEznsJP5bsZG2{Nj}C!gA=RNV^KGKLqC9pT@2Dld11W%tRGsZ2f! zkz^@0%E~_q@=mSGz8a!kN8=8Dbp~TIB8YdEk-&}O+h=3#Ne$=i4uMdI`j00 z=U(64J5g8_1RYQwO=s$}Iqy{0e|>aVYlvr`h|uj1H6RAxUiI`t{(Xgfjs~;hu7e9} zD;%UKUQD~VO_6a)XxLy;jcCt1V)G!*5;9UUV-KxpAiqKILAvi(C5?_E z4u>gHByUj+koz6o&s3y1GynZTE_n8`19suj5!+3)!v|2VPh46UEGpe6v%`uE6$YZ655D}k-eF;-8QuY z=bu(xI&3e1Gr^KLzQQ5REO`<#a4)XXR*rrpvn>ks%$vI5CCI+X68VZ1s#%Grwnsqz zv4Ezl&j}!Vtkoo}tF%4&C9t^BzP&@^)gmDJz!k>FGm>vCB|yt*EIckkGTc&>3!QET z(N=1Bg+QADh*W5cFr$){ff%eYYqk8)`Jy0p#D05l3YW{V>EfT#uS|#R;YX!<@xE*cIN{+F z?_LV<<7njK{KCg=TYkr>Ti{3pC74r~3s3+A>ibgsj%YA2ynLN%IrR|^y6vCFZ}mkL zYq-z&KzS6L>mYFoK%K~1O-e(utl5i>|!os$a-&CFcZ$_8uL!Z|{S8@Zs`zvTltp)0%UE7bmO}+FV zjBsaT7#$xWtQ=qCv^ebpRpZQKHnhEw_Fe}OtQ2RcbBLlq72uLQ1y1bM3sb6{MJfN0 z$~t-AGD0xKi-FIE9+8!8N#c3}co z^|}r%j0~aDzqR@rtQ4~omRvgl;Ts~=26r)pJs(seudJQP^&OmQQMXLNED{6Fn{PHF zl(sI9IM3|4+_q;ck#^Zl7U=J@cwyKYvuU;T2 zhr=FfF4C?_&1TniLmL*R?E;qq3i~nsWik&|@AgvtXYZvj2L@J&07RJ0jlz@xk1^p=(BPV5( zim)25CrO{G#p#Hff>x$(JZ6~s$5arkwYa5a`z^CQkqJ)FCQ$iMri+x#?+>5n-6Riq zv=v0^rpwz!P=F7!!z%j8(tu;+>fbQ-Pl>%<{;5$Iv80zuuM=hgtw`Wow+MrJ2^ITA zH$olL;RLHM8L^^!2pPgR^Ws~ks%F3Q$Us!>Bh*0WSDf$qh`q3y{7A~qRuMgERG(?u zhe7U-*2-Gice0alkA=~6wc3@ED`D<-@w)ugpO?>-l>rwjNb!_Old8^;7w)EXT_Xn^ zkpvBJ;>iP-4(_w+wvD;=!ADL;86S{x5e#b)SYm`GeU~krkLGO@t=6D0zw__R9W{TB zyv`YoKc$AmHMzy}81>O!?^E{8S-m|u^#%NKJJ~{Gw`oevo+YSCI!;KtQ!-I zBYvATVntX%WOPn(y3~wW)!-TS+2%L#twKRNW7dJCa`P~kvS8fDqZWa9lH`Cy>S=rx z6JZ9>N2d%NIf%skTB^ac9T!KehDN)$TzGsd8vwiZ(_9Ublbq8{O`XM&R^|cl^yf0S zY0a_h9>@?wGtAW<&_9TQ#UkL{Tztrphk!lEk;zgYakh3$DXn)CMuiVExTrH11jNfR z7Ol4FyPC@6=|XdPb!h*029L3ZuKyD=r+AltxEe~I z89o+zrM#*cBffs<(;a>ww( zT=FeXHK=IxrnP6>H=mpN(yj7GCZ;W>K|n6gSPREfVyoYL6|#C;=LGpL2=7>j_JDXlcMg@B7a?Db4T#OVO6^c8lD;bU_LM420pHbQOMXE2AT*X zvI(*>pf| za?{Z=KwBufTG{WKlmhKngWIW4IRJ}%I`jQw$Q^fTEIX#~e1=@^n-|rLUy!ZNfj$WquMLb5!E@U4#@p>3OSRX{AbLE;@8|*`X)iH%gI!~gXiv3Pna8n?|P7O zilO4^!g0A$Lm2nV4}B#s_V^DEoxG{E|ma#4yWwg>oY&7e8CUsTxkWT;6?_ zox{9lBv6Fj~3L7Mt8ny`)a2iG4>)k3@jtM{kchegPu8hfzQ3>X-iQmU?#F!gIn^`}*gsqg}|fsmY_r6Yzdu_OnB{e?(GW%&-!9-8`ry1X}|BOqBA~ zy;ykjPL?ll)B`?VO7s;J-i$zYXrs5-C;M4g6SV6b__+|Hx;1(#+9FMA8PF6}YiGHa zJ7OGKj8xds3RpIYpm2>ToRM&-B?O`ui;RSZ3hi?*tobjlORW(svhrCCZDzj7PP+hE zEw)V=`fA1L$WnAzS4or4a)Ra$@z#)B-sr9)%5t%xE`2LCI8(}$CxV?goCv|SVPsp! z7{(2NYRq$7kZChmvtN&x=s?af=mBE+MMuSceODkjphyofqJ@?}4Q7(pk=^s}l0Im# zx9b|Q+VExZkb$X(>3YQ4OPr*vA=|I{(lFGoI8)~E#vZuCWXco zl4H5Rz~-9%XnI>~Lj*A{UfYJ^F;Lc~1ye)bzU>wGghoqityh#3IyYMJFLlefmYS|C z8U1ZmKw4L;K7M56?gc2~TRDXk>BJc0;Q6S&YG@pVd$r7S61k!<_se#=iR{F{?cepY zOOccQ1*&4R!4zz9QmehA%sDAL0<^yn`7}%HBSUL;#rhY=KwSTV6zZ!@s52D~3OzR2 zks`ykIYm%rIk%Bb3rI{tgYcg2C6k~5Hm}1{01m@~Wb#;TgEJE+xBbF;zdVtwsos0QR^%kj~58Uas9ZBPCfMK+i5igJ**35pGoc~aXG(BZzUUk z6zkC;hEyq@jA`L{iaMB$y$kq^=Qu0^POyq^xj}vzY-<=u7QNM*Gc?`wWOAPuPyBU z)TGV|@a93Er`#xr-Ib=dUZ=csseL%m7+c%EA$o~^JS!dBxVw?%#e`1b;+Pu+>|Yiz z7DdhdJZx(O_v^d7YOm8#c-GGw2KjgYw7*fz+(G16;ErAt)f-@Y6W9p@qMA$D@G_dZ z^I*GbJ!I!Ql zo%39?EQ~Q@nn5+MB&W=2`$@k7*m2Oa(x5t;CMqxRc}wM?wSvamAxdYH8)>t8d~mUptf*tlzQip zG21Q`9J>oV&_~Yk^K93+4SoXs5dj%4fuC=Sz`@iUSL{2&*&?RQLI<9ZU}%ks&))aE zF6~e!=!dA~DA=GGYVE`UGxXywmWFFlfkePqZSr3N5R@q)&9g+n_!k8_( zFCMRCy|2hjkEu_lKA4<1i*$9VTF7#J?@@fJ{>oYhQ$W49@wgPMmWt;@TFMJr6IR^p zfdGBJ%2SkV4m8yRW;v9b*V7gFM#Z}jJ`8jo@m7e!a6D8-{Sx9gTiy33i>e34ZN?d(*JzPnpLYmV0m%+_V|01mb`I_LKrW69*4mW4MOIi?ebH)+~A|gb}j^7&G-k| zvYfqnVB5nUHcbcx%qa;Du|2Rw`MbYK^*qZa31_y-MvMm_Zu&Fqi57*V5B>;gQUm|K zL7^y(+bi)Z_ST>E(PgVGinnKUk<Lsl8cRB$`-?);Pv4XfyZ>_XkN) zQa_a@Mu4Nj~^PAM;`FbF9aL zn$WzTw3r)UKOw;ee?A1llWv9WN$LzGlnj?`t$7_P8ln_ciXVLj%iP zs5frBZ(E6#TvneXqlOXk6lTL|JQ&>%%5lDb-WO(^B)=VWy`~lBU+?>pVx>))B`EEL z$&ye5%nFe=!jc(4+eX(bNS#7lU3+V~5mx^F-AeK#Nmr!n@guHC52>IPU3T_ZaQrnP zQyR!vAn))oHJz4Q$-0Wnk^tB}wLib-rpUgrM}%Fc!|TjjRYcCzctfriI%3l~)Zr{= zM1@i_4d~G>E{mUugzz5pUkg&mqfz=w0uQAC(k(L3Lr6|k$$M~CrdJ>u1#?pJZb`}r(xz7xNGd^Pt{pT_6WDW^KZSxda`5wG@gyh^+P zuGt$q;9)N~C=z5GAik;;){HYhG?3Ig8WFn!%Ty2u{Y0;xwcNdP{6hG>Y z7>$VDjQmY$w#5k#3Zos5TO5Sn^yWz1zzVWGG*4>;=V!M>-g4N;2sx3xCXc9>96HKP zaxSY<#T0@#33u?%GgV0J5{vm;SK2w=<{+9-@~C&cXoc2a2$G-4#tXne6Fg4^@Gtt3 z4btd7VfJdc*e7ksC(agxV?2V&v~zdd2|HtwQwtV_Xf7y@pBHget?3GQmd zG;0V~!Ts%Qmme?pe6b-2oxlYH2+wK}N%Bv7C}gM_EKBh;TJZ0T{{0DOxv&O>K?lb} zDS!19;iEpX1bfl+=q@*_*8@$~p|=<$hY8k~&@~PYK~Uv8>_SJokFVw|m=zR10S=M~ z?%r%^FF#NK)0x;t@(fE~DL0&rV|BN#4${!WTWU=`m!aBe5z}>%mqE54FvXA)3s;}Sxe_2{S4n# zezcsf@pIpZQQI8{PGlM?BnWC#(v#wHB;LKV05t70Q?ZhSv@b%jX2v@TuCbWncjow@ z+vRGV5WrzXaFGAKC05S8VHm=37J+-+ zgW~ug6VSw=R87c@1H5ckZ7o!3;H$VND;W zmD4>$EBF2}IQrPL;)zPT9xNWEF8E2xg-UPWPEen>rVIe23t!)$zSj(S;{;#nR5Vzm2YI0jU9O^H-ct8nFgn{9USE%JC&4OkMl`3c{sIFiRX3965|2`MXAlx zB-<&!d8HB8cwbx6vt=}_jrq`-b3blN^2k1`O-gZJZJw!RPZdzKjXD0v!Z{%;Y*a86WFLf&JxIbXOy&h~oijN1>JR0EuL&Cpa zN>TG%SaTm%nL!OeiZ=8bf}ABJ8SBKB?)XiEea=4YJlf30E!hM)U`V(!Vd`A)+}IA9 znbOMS)4qmLyt<^hqW%O9=fHsTayNsOv_%!Qn=d_(;UL2LqK>7@L)OA+bM$|8YeECI zWywri`#4B0XfR0?Y$9c&6>qU-E)0tZ7RQEZ;A&*v^jnT9FnVP58SD85I;-qDZ0J=) zybJ2GSpnN^3(Q~hm4~(lxLdkVd;Ot1)Ge`&NBVwRvtuzr&r}T{m5C- z_X!8Z9h~Wef2npFLx)=+Bsr^cT) zuM5aP2sJS&)D#o0jXWmNaZjJu7Y{x4?EQ_f(b#vw>21hv`3-o5V+HygViW)^^BE@G zlZ^`jCt@;YZfw?a*4%Ur*hu_?lkCY{JhweCrqY>YO(MHO@AJpAelF~HfiM)%cN zRJMHxYtBWIqu#XP&+E{jCEntf4-LOH;)PwwO!Lv0*kQ-ks}dsr;zD1mRqFquvvA|L zMMJGT6?$K^^D-Wm3ZUqo3I}LmvbYkn>vRYuvNA-av<-j!gz>pq4~y5|YMlX3cKpjG z!umQ-9G<6{yX{8x*Yq6#^jxg?0oH0OnWHli8VwDG-!SVM>L401UngOX4~etBQ_SG6 zkQ~4rmfS#mUU5lO`QRk1S${*-24XZ6th3w=Q9?cJdLrxEMO=d!!SQ(4**vrgY5UbD z2X`SEH>`)^5Ib(&sk`C%>b}51ADd1b>Xy$zx{rvmpsl=l)ZY$xC>GxN988q~?^Xi| z`Q`kiH~UZ4o;=2Ofs4g1VWgYL}bYi`}!Mb zmw?W}#`u@)<6;ufh(oSr#r32lItdZGEICAKkjAmou*O#^X>bTHALwKUQ4#L+MBM`x z@2k^eV0%T)l4Zy}a~tJ#9u|W8m|2{-So7I=otkvW@Vc2T@2Ku&6|@@76AGNrt8*OI zo-1mP8HB}`ah1%HQmo`p&TS0Ut{^PVOY%N2#- zBoAZLwyY^KZK(?)ml*PGHX**bP5T|aIA|OpM}Vk98ZTI;dE2M8r{Q2k@+DTej=6d5 z*;?b>h;$8z1?l2YxW(&LeaAo%HU2BxA#1B%^#oG9M=;Te7}MJiKlMQ)^4!Dn)O>Y! z2R$4h662U*l-$xbA|~;@QS^zAYZ0&)lc|v%CX>Rfvjvx#PiG6h%qt$H6d7-NwK#GN zn-sPD8P^tm7J=AWwu+6uV}t3LfB2Kk$_H(6)>jGeQqg#>Vu_&9r!>%K!@Hl=0}r=j z^&P_WdsSKl`7?1_kuwxlg9bj~MVYr#R3=<3&aoP&`1YVeFKTgCf+ub$Ko1Yob_>Fp zQ+B-?kw5BAzmRod`-d0CED|NtO=!_@Jhl^MFc$q}!VOi?jQ_aFZPVq5`v;3o+O zEXNbCU@{E9sKf-7rZKfb*p}WS5-%5IaoU_sjVgy!f;4~OhaeQ_s@(s@Dg6(o#LC2x z-jV_uPQ%8+%*x8lPRqna$;3oS4a+F+U?yhlYEJaeDv*VVnT?5!`9CG;7O9{qKiL1# zO}IE*%&?3S*3K@jM4T*~{|9tpV`BPW+n_65YX@BJh3{*_dBOvIF}rOtCM}{km+8YS zGTvl6Car&F-CMk!5=kyobvxxzH5@>DYWI;p`w#|1WmN7Bapi~@=+ZidDWT1UOpuHX z(1i(zv^sn27z@0gsi7*btc6N5XcL_xrr`qy`1A%1ji_lg6$yn_aaQLrO*WBPU)2iS{9$fz}}2nsZXOsxtf zjG5gI*x$FMDH$09v@kRM=-YD)87IL(Dm-YysnNYeUQ1(cl zLY^Xsn=ThQYX!Cdgiy8%M5U>1&a+E?|U3&_9ya zr6FoylRWESWJQ3*kRuI(tH32&eFlOuhoFG71p-lrR0hmLf(_-WZ zSXEMNal3J=M51J(!sP*Xfg%L~!X@QKQLBa6AR)Ft1eVEn10U+6!HFnj5Jf90Wu37? zvmhr>8&H{o;lb60;8~g%--XiCESB*;ZwCXp7z9+bQiiidy8qrXh73_Dg+TDLI8I+W zv%FpH68>G4wf!0!xZx}UIs*fLs?(h`F!-WvgN-c z(mg4+lp4-Yh`ZAD!Knl-&tMtmg&JhrM3Ze(A0e?e)-svdSj3F-2J}pR;Mh#stO2_N zODkRzv-CPkx~8uy)4Hyx3kQ3O)1fjlAJL;)iR+pQb|sTe`6`1dR~6k;FS7l~8F}6$`S`ibEe8VY1aBNBt0*VCh;2Z=^Ik|@Z8MYa3(Y|$LotO#c zjPhqz(lJ$RRs`PLAoDXlt|DD^JQ*28jYmnsb4W`NAxY(N!XhAXDG`5B^U4ih@AoCdP z1-Bzv&4-Y?_b>njsk=ep&3M%!df)7nF1!l8OYJUbeyG5#fFHfB0Ombl^-q*EVgc17 z7TE0BBb_!Z2MD9|yC+^DMW``{{ei_Cy_RMDqE;NbrZXPbGmIvLw9H!40Mna3Z)5C! zFldIS%~>Ey7L*E<|6u1~$~@ZlX?R56iDy&@PA(v?B?Le>-V)Lx%qspZx~tl`nM(K< z@F~cm!k*-6u<1DzmlFHY#5Vo!oUIe9+#jYnO}2V3{gWmMs@=e{+vC!+aZouJ*Oe$s z-l%M6Bk)bdAXM~RDkWSTP^sdJ)%8rY&=Ac~3*qq{&&DM{)nUu=ednU=+e$dOYxZ1- zVrwoxtpVdue6ugMzR3+hhDGLak%L)EmD3W+kKke)pbjD$6XO~66GefO*v}5!BH1ic zOmV!=b`tA#(zE9*=%OOi1e!MM6O2W>&jY|KRvG#z708og(MTJ2nOaQ6UCHm3BUM5=2I`ehtbv^T=tViS1i(% zvxIe_5onvt5T7cH5?{H0wRG{)>-P8wa_{;C&pkw;U4O+ykuVGXZN} zU(|4Sf>VuzoRpGgXRkxWzm@;{U|_b zjKDmW^=e>)i|IETcFHlmABJr9L$(09*NdAn=BM_!Qx6Vf_ON%aTz+nMb=f~r`$3a% z`|sCYbn#2$P_VRHFO6Ig7f%*|T41}aw!Mzd&-M6}CWsFiN#nq~wQOTK&{K;(Z+ZF+ zVjI$fND7|6i}7r)$&KB51j*tgxf1~L(RShe4(C_vPPE;Y9Yaij2}}}*?w}-yAiYz< zi`dG*?Z89RUt6-!F?br%ghj9mRG+}uTeGVCv`;uUKJ3su9W>QOCn zr|$fh?mS=qCGkcC;7aV4_$2h9b#F0cXYesU32-cz8H(jB3UJy*BtO99_cu$Zo7#jOB(1q8 z9bAUX=&%bOvg}>EcI`4a7VJu(r@^mns`ks3V^_b1eTSA!9p9U%h2*%VhvS9mtI`*o zi(XeZd2ef%JMdKrzS@B{j2+vMk9~PV-$&h%lZAt;Qou_mu-DaN+OvaP-(oJkExmV( zs!6eV z{Hvyqbh!;_srT|?zRX=b`zwxSh1c$Vp)NdoEh%qwL+I~gCr_Owm*R1{D-ZteSJDj0 z`#tW%7od_`ADxi&hRzH&OQfvJoH+SWWTd%P#{cgI0g6RBH2LC6c8Wq{3iZayD}A2Y zBUNHDcuvR;?i}q#Xt?TxXt)jzF%iEedJLBH zqw4iX7d1A1seiP#Iv6axw1{Bsl5+ZTpj#x&mI0p01;E~$)5Z5qpYN2p^PL0YuU}Jq zUhNQ#j}Nxo1ZsnquYz0oNpuBl0u;lWHo}`Go!r5=x)3e9kSwzgE+HLT@n_r#XE;XJ z5O(c&bFKt({YwuOoPmH4r<>F zY6DKVvVY{bg*R=7H%&M#gK3FMf^HR1fx zcITS($$ zPhaAZQU7vE_1%`sc2kVp!UbGZ&@p4=jLF zmSV*&S>`>zEir*;2mv(|ClBULy%|Zh%*8kd*Pe*VHq3^#Rmsxw;1r}>HRX%mBmh%a zO5ks7!g~j-#!>lLTPm#A@y`b=okW~oq!EQCcV=wJtd6QCQ8@ZH0s&tV#sX~Wm6C(rNvX(C*oun zTkf(jalD<)o(!}R2$pjZuwDi%xTNwM=H$^|u%3-)@p)n-lZQ`W(36xHOkhoU3g}O1 z%Hw8Iz_0U_dkHgkksA^=6KUHL+X_3% z=6(|_N^SsT1Da7g#lj4Z0ntp z54UiPTKrl9sxPV_9CL4K06%sf^P|CjH$rls*{koN@2J8NJ%&*4p7=!36rgxV(bysM z^q?hoJ;j7`A1Sa?6Zz;kOW89jD?PIn)n8JB@4C)%&xvg4^JER?)T=i1XtsK20>7og z{I63CCe}|(hP@c`#%^l z1AborzZ3(`^oV>=A^O**R0Wn% z+TOz9U&QgBNQ_9Ak5yPif>T^XL`0lhLPS`UO@fn~l|zh8j6+OVn2m{|J;&s0GC6lsSUWweo-jOroux?{7SeVfpU~XG4xQzk4yCJu!7Z9Lzt#P-d7ck6z zZo7B?EUA&g-8SexD7lh?+7{?$UQh^OX(qhEqDEKyR)M;eknTz(=nnRjl=exa_e@EY zlxibMp_rH+EKyVcxaHD_OL!*bz2)*pOuiO_ytPtAOuQCxKbW846YGS+9_osc6i!vu zh%2@AL^A+zE4v+%e=ldh@92eHxaj^QC zq$f;{p@%rrJ^?Sr$eh7CA~!|K608q7Sb{f&EfOIPf3RSdHfM}?jqxMO|6KrUS2Ppa zq)3Y(--nteet`an{CY&z79${zPo#t%gBy8@`FaIRf`5a5v)%jZzO~-}I@*}n=OHu) z@?wr_j02?@LRN)(e@uE*`O(TAeqpuwhIY?jmQznWEE?>8^w%UfK*UVOxPUF;l{TEZ z=_P^Jf}{8MO!1@Hs-^@g8bE!*M8f34c*EGjG=Mr_JGj^c_!PzHJ+?h+yXsLahi0q( zC9eil3QoKhV6ujSD+lHYDHc%9{XB(v1osBz56s(@5mheR_QaGz3xOE`Hx6PF&JdFM zseCNx!~6%P9b7Yrwm)^3W@~kvN^#qp`M+x-vm)OcW|NOAWgt`el*U1levpAly{z5f zfJx;Q*u~!8xApyszHi#A;4ku7R+b!EWz?3;MS+uzxk>)| zIIo~QzcrNXQ8ujc81h`G%gkrYN@k<9R#?a>;g;rHs0+=9@=n$3D-j(pOy(f}HE~u! i_?=Q=C@~4JS35*Ve=Pzffa7Fg`ZrscTwGBC_P+prEp~JO delta 25456 zcmZs>Q*h@`6y_b27+s<&7SMA*(?D3}nd$kR)C41KMzt6r!DaCz{t5z-p)vehas_HBn3>mhcK|3M zqU|=qtNYnad{(Qi&sT0=Eb)VWf#RA&jvFmIQ z1nttDD-!R7v(0RCdZ_jr^K^5=k7=?H!)%6WOyOvg3otq)m9^SrKr7Iys)gLbv3|IR6 zYXMb4a9vV~%Zv$fo@)##37KX3EhzOfM5KtM7hQTFr0wS~gB)euu&ml%r?xl#tqo4f=1DNWnelbLVw~)Bk9C(7^C(QNiY}y_$ znrerBHT}U=aBtB!x}D01>8v@fQKlK4qhsNKGa=?=8g3?R((2Is|ap1y8Tf}kKIL=6jo z+2ke_8r~sY@<#~%T}j+geSw6=5?5Q29J+AXY4k)HWJ?@L3fk%fobk!_KmO<-EBiUh zDEt}Zy=@u;Yv%Zcauyr3it%fK_jZ&FJQIs6Mqo-O$CP?-By2EOB2I}l8> zq$N^SaE?g8z&^mfpzChe?Xx=;uuz*1wvZn5?Dq#P39D^_K=KmNyop^i^Zl2u600wj z*aJ!l{_iw_m{}srdWSb~TQ%&oq!@MBH+bq4FwFc`FG{DG>!HUY3<>>gHh@^vf5&^z zSM^8i@;vx82F*l1l{E#V6sAPkEg+i$y19Y5Z92Jd*V0=}#|KZGEGUk+)j4F#DK|Q+ zN6#~7F5NNw!9q1}p@Q`lJqdTYZL@E1b3x!(9EE||7Sv<4#}VVVHMZ-7`zl+T39Atv zFiyPKGFg;^!4Y~C;>^*emswz1C!}HBW!yE0St!_3PS?^oFnxxT8gzGgO4e`_BV5y7d&`gfJp;RZD=55K zhRtzRWIt}%u-E4`P1Ctz6cAmBW^Esv!S2tod_>X)4cgs(6{X&cRh)IR7m zd2_}3W@fdc{lj-l$YZE-rf!1?@jidWhuHl?Y|WQ6nP^&5%2=LplFeD-i_KCNd1noF z^KE;b6+PeNSW|EqZgSr0I?Y(uj8ay%=ydZq;N!8faFusCxqa1V!r>w1im^s^*Zn8& zyN;Nz(%L>NK^nOiQaAHO^8$90Msy;Rr1x7MvkK5O-~tunV~QZkv1k8!>uc@e+4PJ% zwqr4eVBu))=I&}?>hM2T|4A(ZJNN%XbU8VB$o{A30xd~>>LF}sVOK(fTS%~bjuH_3 zrwalC0!3;17vv==rZ7Kn;J1NU_3 z?Q)>}Jvj&(D>=~wvxx(f5jwdCmJWrD@BgMc4j%qwF)@0eMbE))eF*(?%D7=Wb7Enq ztH)gEcVf+mhnd3pNMdUa8sJ@(dE4`SGviq zXe7wiYJX4!q0Zp+m(Y1-QGdqdqDQyS8A%t?U1vpMOR*CB&J;usKfZpP;RG)bsxJq>m9pz(B8!|#{obbwU0ct+ zyv@=FxPZY_LnSfqL)8<#)XJ^sng4D0=%W)F);Gn)=-xL3;8WguWkTKVZF@cZP2A|c zm46}3-NL4!x zX0@%91(E|r3j@J!(w*W^;{#vP0(T`nG__xR15zz?T@owZsDG`+@m{8z$iN?#H9J-S zj>ml57JlNmFIu*#3AXFTtEeWhL8LroHZ2TQZevy0#8=;z#dc4|D;1UFT1e+fGRexI?|OVkz*eG8gmxKH}L{PKAe3dyV@klazKL`q&! zd+hra`I%I^*3|f#u!N!V`wPrMV#zxjaO^Jnr@Yy!qJ8p1_gc4B``RI4H0d+!5YLF~ z<*|@yO_9wv7_&%}8*^qK9B2SoKwp8fz*yEIHE3I0t(ZHzQ?aT~%zfS+l=k)YM|m+? zN2}d&z2hgD+Y}jQ<51C8waoXzWsrxCW0qzLGs|4nZS!bWl}2~#%ibK+j`tku@yi*h z%CYsmmcV7eLs{jy*p+}`pKO4U{b?j6>o6yv?$~<9C?N28Qf-j#vkVjyjj=^L02UCY zLIZ8hd{fb=O4}+9wmZeFo`(!M6mbjsL1Ab6+~9&F8#)h%$^V3%EM^ycGz@y9SH^d~ z(}I{u^S0oP99xw?(6vEJ`=j~8eRzD@7C+l0TaA~~p}}aS;=?`vV2k+K*}?X}K%TN> zifDeEii&b6Zwm4Ew*$SqBUO*psFz|6q6bx_Onhudl$XC?Zj8RIHo7k@5We2U4}aCR zVaC_pq=<~`Tfa0qcu8h#^H*~y*%1xS^FT3v!+d>d!m`>Poer8n!V7pJk-*wum8jN&;jb^D<|?6^Nw?RaZy%7 z<4->z(2zxm5*1L+P#A>p^?Zk4NEDGh@iy3=P2v8cy^%+mCj8A0GgTEpp>q+7gj66> z-3!8i#hSVbQ;RDikQI)zB)Z`1aJk>d8*&*)rpzU}If$T@72@9;MOTUQcKzQ+3lU{9 zLfkuD#{Ph5Qf|-St-06Q!<|kxlc`V0S-&dIoZ@(*UmS37)|DbIC>)8==^~&QgJ-D4TxdTD zV&X?5Ka;Thxjj9++3D+O);!gD7M;%2 z7zX2JK@-V-haMuq#A)DQo8_~vqxIYD4KFn`{|VC#q?eI}gP!0HwXi}F9W`z?u}H<} zDFSG7fg;0jBCI0n2#gBRfSP-ysX+D1DqBmMAt)%`l+m$pq(!jb5$*2D6Mt4ygO;T* zN68u$u15GKNZI1^riEmrq8ZnYhzr8UtM_sRF<>uW_5l8q z>Q$BT$;bYUY`Otq=p3Q4j5z0sCN$D(Ebh9pofo9`cl)#rSXmAWU*Q3%%z!d%4qjFW za#S951d)&mDF#duI+3FZc79#4#WM7Lt{!hS4#e#Kd?NNCWhq?8)AuuN9V<)66xorG zniN;K&hnWAG!UC%yc{PjKSHbcCvf%S2;FE!h9aL$JQyQpO=ao=XK|x5-~1p+*9>Xx zF|}$Xd2iD;Y%&?xpE&N;mTv8J`oWYfXA{VqN-vD>d3Dh9I$CW_(nu(9yx}%S(+8gK4X^Fp+9ryA*Cr^*qB)=1@Uitz8|5XtGH0u zbN90{tOreqEC1T{6R303_<{DmGr`WO6chW~4fWR!pB0=;$4rkpw742-JOmAlg{CT| z1!h~qKg*wgMSD2@Nn{ys+5r<6?kieuG@vjF^sYG|sYJg+` zVa{dV*Nw_v!0j|f0_~orHt6B?BR6&A@hugB9r>i6GEHD#ZM~f}on%pKnK6Kh`D?(; zzT>V*dGHM0$>sQKulCSI1D6)weJ06xf@Ql@W%DBJ`hujZYrUxL6=3wcf6qVjn|<_p zEOf%hZTTtXxT|I$Ftx}|u-{iNeu@4G1njJf9Ql!Y1<0ayJEG&|9BiBJYz%HMg$N&L z=lE3n1vK1)e|0$3oHgZleLjRL26(pCdC=2dc4$89r8fp@>qu0`@EXFG#QVlDDnG{h zE$#2e;sYV12^;zpd>b(%fGzu|O~=|F zUJHA4gSu;6GpPZy?3O0CK^S)!HtLsjT00$>wdizR-jw`7PR5f!m!y>GcTmYk8Mwizr1hAOox zpB{VTMpsVXrdWOg=8YM3IDu^KK6sBvb3Ppiw7i1{Q=rT+M%FBtEl+`He-)c&ss3Hw z+~H3&WS z+52i}7wU4in(YbCr!KGCQ@#p>c+|ilw9G2p*jot}_3}DHmT>BOFe8$>FFT*L`&JM5 z?4Wm$oniu1chW@l66vlnlc%y}vzck`T}XW&QinJ-7O9R+Yn|9l9lFX^)pt7~Qc_OY zq}h&3{MELxiviv9Yjk!aRkQgTi$@;Df0$voIeut{WL9tb_{eJ04G5gpA$9IA1>9kN zIbCDEpT15J>TlL?uJYdKMeI(Igt2X$7StVnrtbmSwE_D~y4n{-E2J%&PN$imu|dNg z?6R{l?Te%1kKVxi;q7>OWX|n~ZX6ZwRc#+_!5=C3wE=}ix{ddPI;kG3jTK1GvlicZ z`G)bi+>B1zh)k1OBcHDByo}B2$JY(L=zT$F1x(joOT5m*dR-oAr^}ME9~OOdl{;On zdWS%2aD|-f zg!N2J26IjHSHk?h2Hl*09wgg{Q`6j;NS&U4P_Uezg~Ke!ud-`9nB!Vab4V=DX$YVp zS?S%NJqUb6^roKDS zQuNz5dhM=yS(m6Z$a$Owea#`TJ&q2GnqMAPMm813V_=5uh;whmY5Z`)=HehIY0LZ> z>5Q(T#&g?NGU#8MPNv^f9m(mQN+jQXa|4cJde`!_YC%evwW-)a@fX~?C;-_yw>U3S zy}l`r6ap^`VYwSzlFFZi+E^hOF?Sgg{-Nm=zx03gZlA8WOo5?s7`lK$Q2*wjg5;3t zzx~A;&0LfnxIOy9gM~QMq;%>5o^u5H>pJL(0k_VG#-hnZaQ%}tVx2^{b_HV1!Y;_k zS*}-iH29H#&}V@%T1R`$GJtKWwD6JTcT=J2t9R?SbhJ99xjpl|;=zcr*gfrJhvMgf zec$`8^cy0F*yh~pW}2&z=li^T{Pn=rNruTeuU^$LnNS zNm;H<$*(w{#b^`y(NTP}z7f-;I3nWyU|9H2OwX{xZf0%>?&+_ARJsF&Uw{AUdHH&> z894UHAko3wRQ)aCnDOgWGN^{ zh1N?lurz;$FNxUus|J7q+Q4`W4i)$tla*!o$6EVOUSbGC_zQ&N@;1kEU~Np*G-Fy9 z{wjnZGY|(jR5>8qh-1o-Q`4LvJ9Q}ylFS61X1gFJg@QZ6HPAif z9ttN5f%{u@YyCc!zkEX4D!dGhS`WOAi&OLiIm8=m42I1PMQjm44d(GEWBnQZVVsse z&Hiaiw3_z2V?0au5H-4Ln|h0a0=(km39&-!z9=u!xa-g?U9c>Hh`QN!swWzFPO^=G z-ErdLqQ4S*UJFs}2vWyZpyI{!SF z0@+^5ix^S0h;2C%3bK`|shO`}mA->+k0!*yFXn|QQ|RfP>~Q$};_S^^I9kR?7G2kC zQfMT&c0i}5yn}`T$GJf)^2F_6ABlK!3uAX80EIzp>BBBfrXB2v(9fe-Tw8+ zU2>X%vwSdQW;bBxC)I)Om{4}+r=#rc?03|b7kHcG0$ofz4&ML2Q^mp0 z!~Va@n^;|axAj(xz^A&I^#V(Z3^I75+ateo0UKKoZH|i|apo`T1*(F-(Zs{R=ee1< zLSaTRD~$^|*hS#mMO(d~{?x|mVBZ%CpU@_Lo-|AJUuPWn^p}DRi^IMT<4dOShAMn_ z>YMYy2_`FWrH6jJt?1Q@J}1~(!?Wkho$G8_fb+6(K>7Ln(&c+fIFnN6s-XzT%kiM7 z+9Gw-@^g7}@tWJ8!4h4OV%Z;`Z5p=;TID<0G05+8c?!1aE%dtGE#)lyrQeH~-x$hq zXQP{^hKbPDK>K&?@?B^;U&lB7-<$?}*Bhv9t$Rij?{d9`mU+`1Hcm}?HTvHnm%4Hh zf!*T8M#c0$(Dptd!q1EoO=A-wI9o5sM1id!-Hb_Ga+RIlc3bzBXO8$EvOJ;wB~5{s zBnXSunk~hTku1w6*@BBi-@XLmG5--GU60(HWm}FIv?%D53c7n^Af6iU=vpF9|C@*| zT%|Ch*mH-;rGj7Q-v9X)BP${VjT!7Q2XsAY{CG1PUs*YhMgA+w;W+}4jyfbF9FDrT zW4x~UOX+zlO+MtDu+6cS&x{NQ$+OOpt z_p1!4&`ifZQ|LuyE|Q9uLOLzzxYsE_t9Gt*cIC~UmUz5FucXEBU#T6rBiVo! zwVmL;Ikb%ZgD*6a8I9rU`uIq&AC!p_EpeKmuO1sTEM;(_$iYV4V5 ze;xOYIINwV6S&Vz=a>*qjDsas*Z{Jg<)8Asbj4C^Du!GIr6->Xq`e1#G3!MfH}9 zhx!7A8PC`pKv((uB4V&im-BWd3!XZ2x=d^FSt@lAGETk+I1mDkQfbd%;j(Sj4Vs)e zHiu*}6f>AZ_pygv^44^XB6T~8N`T76cFeur7D{Bh9Yn8ny}dEKio)|pe^>p|&G9Bx z>DXi77TAf@7A+cPM~j8>W%1+IW@-thLl%7;b;Kn1&QN+9V>3=zs zXuH0_IuNdx1R7^o(}zhNEQ!p?xIS0m;sbg^sAb(T?dvZhdABbxtuUe*K7yiu$2+c! zMvNANJAuJaAHH#Iks!7wsKStvx;@urCo@R6Sc!M@&OWae%VsQZf#*%bZ(M zUt6UYzHM%CQr7p6l!X6Tai+n=s{gY6{Nqo(rG4i#`FpjnskI7~^E)Hu1?3v{S7zyxmq%?|nL zE~*G6T=qruzPQIa#!y8z2cwBrK-?QjBbzyU^K+j@4^VJ9QNibP)F|x|@!^Kr_5>?S z^1pXNrWP-}28_507$^h6;PgjB}1{HQ&06g7308*UZZ!=@!jZG%Bcq zd`-uSTFu1{7gks2o3boGkED;V_1B~ewN>R(z=hsqNg^?ZB|8kNMpO$H@ z*KU)Nba!^v!^WPJ+5E0e4{x7BL424Yy6p-5YV(7mEVZdqqv$hWU1^u0=av0A>deqI zRLLAI`MurdiwD!hn(uKp1%zS3CAwu`37q@>g>0q8|# zhk}y?J=jp&2ln=_(Z2ue112#90e~B}?B15UFp|*Yb9|LW*D88EWl*~IMweQ`1Lt_4 zdUr|9#tIS1q3z(`!S*g&S3}jJTT%aJq&CN)O|d{xSFJCpQu0bu^RV2)+)QoW?Mq-Y z(zVMoM-W6nx1$BCD1v9-$B&bc=g$XwFFX$6M`MT3mo)Ik(j+E~19gKZ3(Oxb<7$Z= zWQ>iKfiUDG$`Iz;>E(a9-J4%J=D*?Ep(J0X;-kD0OuC7zoFOD+)-`VoF1c>ke`0jI zIXDIy;ry0|;H%Qqt$C}&fIu0vv-Ps?c-S#JWw%8zChLeyl+!+J#!F0SXXPx@?LYf7 z!NV)0&F+ZZNycune-6^g0leo=P)~Pm&(Et>E?dus!q5@8Bf%EEG8NHRTQwf|!t+r> zoPT{dE55us2{mu(q-cV$@Q+)1a9t>^FR1;>G5&g^Ld}P6>pHUZvbp^jo3u;a?IC_o zsI3Xsw7G|fVoDYH&2B0j|8-Y>OECRVcJ|^{9ZCI=H-@@40zy+Y2ddZC5g&XJF)ukj|mxZ)H}!8qQ5Cx&RCB2o@AK`!}&hl<1%TFOXs4ytbZ4~Bi%IE3J}Bn zUUMXV+3d6dhiBdi4h?eMa6hpf+lDZ~8r;@#G06WboaNyXGU-v%WBeTC8~L{(y{t;( zZ(;euE9e}Nt&Qb13OF)L#l<}6ar0(1HR8}VP<%&2dxq1Ze`mjt7e7G2xia2{41B^v zf{TOw@%UJZ*uki!PL(~@NL2pD=b$MgSYCSKdsbbE~=4&Au;iXsz(t|LS-waE|mHHVCYy6E8L`2rjPwy&axwyYD6k@j6P;nn z!ILP%RS#OMyl7WQh94UfdOicSHjRer&xmo(X5^nt{d_yBs;bTmg^do)s2Q>CQ|(Lq ztD8N&OUIx>O?CN0o^}{XZ``$J(CbPO#B~@>8EAyyH3_)YxymV+l~Oqbz@SE$|6%~X zu`rxl;R=L$WegAqDEmJ6^_b-FSmjiV%*iAbP;3s!$Ule)Lcs0BivM!X{ijx5WY`Z*aE85Lw6}%$6ZAmCpwAB` zQ$GRD0uCC=lgFXcEU!j_mz$jho8*B=DI2QT_dkHep!mcMXq4vHiEWHpCNJt$LH-Lz5 z(N5LjtLDM5*2J@^VcaRCmyl}~ml2Us|MeZ(#)hE)vrindo$=bpR6J;5hCCJ^OC*R# zq0`tgW8;WP>2uwO!y8wIs87|Z$J3Uo4!xzT66dBTdL|+oC3=HKwWLFwAYoEBVWG;G zi=An3EGD{!!YCfZnMGr3jR1d#>XGQD$L2v971aJm*T;?AQAD9lXw5uZ*uVjUAsUC- zU|;N#ogr7@oPF?HEniFlg9II5!TzC8d^zylL`^|pPUgHqh%58~D?$t@E)H?9x5|sFCv#6ZQn{}#19q4;q zkHMPhm38_6r}67!@XaD5@A9b$l%D<4wR*Vbws$ zX_h?5=5+q%%@SE-Y5Wl|?3DYzKVaO1nIu zWAi4t%hZ(}p)YZZlTlr`*9mgfGOOA>xr~@I97=zaa?jg<_)Y+~OYlG7?$r^jz?;`$ zBzC#?-Pdu)=sq5y z(Rst{x?s#YqV(-oXi8aK2~Oq{G98K3H9S#LPDp0t$shr7I%!{PWn#K6kJ7l2q@4K& z5iNbsD&;1LetYz$w9Sr9q6I}hYP)Z;;<;gg2P>fiV|{i5&BIzqt`&iG<1y+}6HX_Zc zGk?(P=}7>32#2~DeJSvzz6_$Mm4i5ImE?)hs{g2k;(J6Eh<}7w!q{HqS?!%`b+hG8 zfF5KW6C5RAI{Jub?9_wDP1GKjG_g>FTi|^%nnO%t8_;Ih2vi%E4~#`YV=JQwp6{;H zZ-Kyhu_)hT)~f}!=*{@p_6+NMs>UOzK`2^Odyte-E4M>P*=Oz69hP}#bRl+^NHD0S zyu_BcoKEbq;IaKoS8%I3lN~8G`=BF-)#?iMxRrWOrf{6S9I3EfT&UoT0XF{k0*R!c z?Q+>B2G!ucF7MVEO`6PlbHwe&-g|%V4D=JoS=>C8 zB4VAzeE046J&ocC64N0idHkVqpbumH4Vl_4DQc<;|4Ft@$b2c|)Pz5Q?9S^NnPAB# zM3TRSHdkpK#uTL=vFXwuLN-t=s=BVr%U#Pzu)`yimUi1b-^A!tIM+|eum!WSZx~1( zT}5cwApZ-WWZS{YJ5ocRiMC9!=}Qrb@I|dlKcbMxsocop{#K`PL18?!{O$4voK|%c z@`y||N$klRg&%ID0Vgt(N+phJ;8JbFhBHs&DC2$Bd-IzJN(}=NN=?9wgLNpo+A|&m zBA_)td589$ko;v_;*7dJ%s-bzrVfyK$(>{Cr0cSSO#Z`wbhY6^`e$KwH#wnlQ(3Z- zg?v5*ty1xLf!h7QzMDBp1VlLpvJYTq_geddTeGl{E=VnFn-0b~X-wQ?O?jYNSP$_5 z#Mv{xu{~*oA4c)(4^tau9UFVs5QF0Eitlcfo-HmVHM$OdGd!&h5>xuS-cdHDSY!CW{*;?m1;WTVQy!)2* zitt9NGMt*T4oq;ig3j4HZos_Q!5?9VEgsI(&1@;}bv>ViUtG*HUfTExc+$l--a3y> z{7MDIB1YVDOgis#=_2i{7qEcejmWWd@PV4un`u4A5_ySuJ&DoAu&KB39$vr+5fmbB zkpmHo;#y(YO&|GyzFka9uBU=XIMTmJt+5Fre_R8vh~sa4@4 zRfUwFsfY)Fb=8I?T)(0yuZg+ZS?145XlftKf9BYUZozbiZNgz=cS}vC`=Bn(=PMls!z*|{8{obfpo%?NtB zX3bzaJ|Bk@*#m7YoNuPqTZ#JA@+F>OLQor4)_K$)kcWv(H55%-a;Dx+ojpA9R(C_52QShn^4`luSq+e4D6++I(-{iH!dz-n)n*IwI+B%|^T+k^gagemq}v7vA! zgN$C;`RxGp1M+uRi3A$Akn?YUEQ(>MpG6-*h>2O4BFqN(eY${xA8N)XY>63Xn6u?n0Y%;K1>!jjHGfHtz#K@e7Ni15 zuAYeVsK8+KQ2Tlr3`_>qxJW2+IIWkwuL<|fNzil3h2*!O5qnvs@1dCaPZk9)ShmrCUB0DtgIP91DKQYLn=oW|CjEv1e+hO3c|S^dDB+cozx-|)+BJWGJIW@wV&PpYCs2N< zBWoo`;%3wUg?jj_&A5e{w1^G?$+3ZAeI;;x{Da&AzxqKd87m)feV`VcDNO|$IQkH5F=-oE?Y$&LR@0J5FH_J zBc~<$jXSX}V*G05HWR3$ii>|F@=sIn_TLS0SH4{~M`J26tSHpxX^;2XclzGxXzxg-$b$YtYD8E=W$jGQ7EP~-GY)mT=_ zp$LwUcZ?dBejo8Fhbs_&U`9Xrp122}Q0IV&q5yoq6IPi5754wPkRCI2_>i07;qua-Jt&&=Uix;)^375i`hJ>s@?D3le`36GM6cgPz-ShE zoOiGG5A9_%?B3O0!E^2v@J0SfPZCYLCwrs$P8EnVJ>YgD@lFwl{e{6g2z)1sEL!xw zEnS_++@Eaiq1Z5^pxLa}&(E12He(>@^NX?+A+A#yY~XX;=GpV6i32sI@}ZaQ-GAIR z>qcmIqI0t2A~sm##vV(Bd(x-f<43gZ8f}@cR2?Ip&mp*?4SW9;>7%FqOrArOg*K>z!a~|bz`gAw&dM|SDe2@szjHAI~zrA{T zikdyg+;`yUVH%}viKwx6dxP^|L5wpL2J%`5%MU(%Z1P}OX`^s8b&qC zg~-L?{pfYKua8YikWoNOWRVt!mp@6tK(j&nub&2ga{K!e0{D6o{^v6_wd%PUu$lMv z>CbD#5n5Zr{GzrL9W4hju2*!+uK>c;_Cr7G_)Vli1P zXV}=EKj^)+W~OrSeuYq?MGQY1A=N~`~lbNVuiNQv>{Sw^e?9Z1A zLMI3d+86r5lo0Df4|hw0gxK8NlrH%8U5yJE+AYmz>m?3$gTm`?aE>9|K)H@)6T>}) z`ilNd2hF-uO9}Coz5(YD?-p*h1J(%^8Puoty)&F~3?&YHCmAw^s|DP5%6Y+fXbr%J zgZ#Wi24h0_VY6v?a3)%!&@80kGhr0Cjxtfqaw;Lt7VS5>xGBRrvn*>sZs$r zu}|S0;^=ba%v(ENhpIsxN#I~nw9mZ4Oh_TlL#EOVa0jeWy~d{3hT4*=75O>YJ9I>8 zdpZG?a7aX9P9WOry5xW$2~bhzC(I*UO3nu>hG*@R*bl7!LG0R!*EV<~DHj&Epnb3; zGBi0EBB&q`*bWJs>`vXamvGK*Pb#ouY$gOr%4*fj*-N4VaT!t{zAsAGS+B~=2Nv!U z`sV#n@yuEX76R@GhlgT<=p~j(*si?Nmg*jNAMh9(vqlX{kDwBhQZhgyqbG+?NJ@o%e&-$Oxd*-qKJ_b6 zrQZz+j)ih*#z>G8KBB?9J-+Il-~8yHK8^6idjZbl!kc6ySh#Fd5hyD7pS#<=U(@?v z>xW-Xr-1ZJ5Ax?1PVr@w)TcJ$`_dP%ph^ohcjpB8P6pb$RxAh^s)IQNl$Cb?=0=na zl-<+&9zA6utR5l-I@p6Az(LAn5uLtlJPx4Qqvib0@xfa}fDqRD*5YB7qz*<01Nl%4wi~Xfq>ixzJycglys`ge z02x$B$AxkQ(c5$fzEZ@F)q|p`KmexsLj4+B+y|CF#GeEK)-s(4Ac2+p#hHVPbpeSn zd|=k@aa3Tvpnq^zR?5tX=7mKIFhbhG`7(KtjHTW2uN}hOi`k~R zC;b55Uws!xiDCT^YKQ99WWtE@c>fDV3hA{a=I@(L3G->C&>4UB;L#ncMF~=)92RJ7UfJ!ne<0gbC@n1b}U!=ZY`bufW#cT@q)!!DBW8 z8dCQjs`AHtxyVUF^UtOXD35i|XO#BQY=Y?ZLh+!e{$13Y|C%ETu_1`);TlL)W=?_H zLTp_Sz9!r!IauUg7R}X%Cb2#ujN+w^ptE)RqiskL4Si+8vWA*_D0D(TDu0 z)X$=SCka%H6Cn7fUOgfb@s2!?FH2QKh{#GOu#b;KXrMzc(w8iCX|QM$;8ial^f_+7 zc7Dc42E4FUv?waMmO3!$WT3I<474^%TvWFtcerx8oP=Oir75$T1bJPC5Zt-Mi1mJR zNazV-eoPKznk5IZ$$uAfK8cb4rOizIZ_|#9c@cP&SPSj{e7;W6K{rR`irpXHUV#i% zat{vf%2?TBkNn{EIAF<=q?u?Vs5)0b6p=o$5V6UbTDsN_TNChQkxz<(Pn3!c#Q33L z(DNn&q5;=CHp*$qtUCXs>R)vTafe{%YnY(Rkf zPe(@f(+uJ)lfdV`>_P4C3bb)z;eP=eil zOQJ^iiG{P%x?Jor#r6Kp*9mEKxxiJ8P!iyP>5}jL*Xr8mbIL2AB&!R@6t91nt^?~> z1*M_qB~~X?$KfEiLlKsb?Bqicap4x(bkL#*mDiXqxQ7EJz{#15&trXIReOICxL{L! z({Dj4PlIP9>MJ-$*-YLZwa(mu5|=Q}UsYU1Sn_Gz^ZLiu@XNgQMKG%p4msiT6Bk%u z)F;j(8d+n$soB}}Fp!Tk<60ysE1&GpaXwX^(J@SCxp-G;F8al6*Lej|=+Z<}@aH8> zVs~*N@sW89PW%ObJ-&(?1oB@?-41Zq2v^K#<93VuC<9}*tE2N7lJ1SKL!z-ubNrE!3KcVt&-PD zdr|Wi6rk<5%+ZT;>fkHGiEsTL~~rY9MKG>`v2s=SQ?E;uG(jAMfZbs~|}e{uQ{oP6&{5f}fIi z^>LqJEOnPZiQtw;T-8+c=(#T@)-g1c`!dpz4NBWXk3+^Xj-{tM#0Vm1t=H+?_%&NSN3RX-3Us=!!3R>GbBgajqgew-|@gQErGrKAwBB-Y&c%JzI}) z!C^&v>Ul(BH0>D)K>e*e9|s6T!Jx*|JRlXm_<%zbhr*V(@as37!{0^a9+-K292?kc z68z_lxRS+pGsK9VF?8VsfTL3F3)?NiVsFhCFO079jBd;;MkZcBAV!Zr!agvHytZvX z23RhX#nq>izQQ$ljHTFQ={y;lFHN_g`wGQsd z^i!!Su*SCh{#H@GF4=SgaoFlk$?CBeU<^bpz^(=o2DH=@o-Wb}+-uyI%96eq2%Z?V z;Zb-n)>*By-nvtUno>3foczJPcF>6mw(UTV{I;RQzdqP?tywx3VIfAj&iRHBx)y}p zAex@Nq6=4495dIM3*_pm{~BDY@xPmnud#LUB^`3SVNW9`Brqeab&eljLBQ9xmo0oa zqGp9@a0M|>MLhNSrD2zimc>HX#`;4T>eWJn$J2F{vslbIEaNP1b_W*F^G~FCi=eNG z_@9?+w!`?V;OmOJUBUf1)_G9s7PeQgkG>T1J0t#~5Md&j63?5B- z=mRGzYb`e)SQ0=QKOj}I2a7%#0EgM$tD`(1Y=$TT$Zf`j$7R2oqtIK|mD=EPU#Y3> ze>R$vBU+)P9;Ocrg{uyaR?}iXwolkRV(dhIo*g-xy&o*=?l)NjlLQQ`jU7hQS8TYh zGqAt&$5GQuF+$CC(_HCw?`w zLhFne6l=s=D6GRI_rGwN>Xzvcb0X(j_sr`>?!Ay_f$)BAUW~p}Kf7#SVvKECHg+O1 zL~wo6MkZ!8Pnrl5e^YPF00;g zQF3+e<_TWyT(t{)-5q6+?(bQ$E^0ijkHS8QvGoxaNc^+mFzJR{57 zwQKK+)uqe?5mVmp;xX#Kx&YO&4cUsS>54wPt^xh1YtHc~I0jcDC_$&5?HZ1mtQIT* zL4wPrtzIu{BEA@2;wiabip|^G<9~dNj`O@lh-bU4!;;L3`^!*dqb-;1L#Do+40_(X zJN~yzcpN`W<~-8462N@FNkTW$w!(U@=b{sy|$fz!23g6Uf zJx73?x z#hjH_DufTJzb@iE&}ATu&b4zoa>gH_!-IXpU-};e}<<}dKxNqjJ0P^SLA{A`9e_FtO)Z~$6sY< zu3QyKXh&So0Kj849|?F>PjJI;8RYgDMVj!j9i*L`zj4Ox=_)KJ38%%gzR7LRzL4LK zFdcDN%x`OiMrWw<>LEbe>t!x#VEA(de*Nx{2GKd=9nYAVZ8$RQI_#oKD< zmzQx~vo~ilITDNsJ@>|9&Ne_9)iBn|FpSFF+^X&O1cIiHLSmXV#$xdA->R=4x`zGm z!)FJCNgDb3qPofH}=DYPqA=zDQ2j*6ua;olB@jipzqRVgL=$GRz`o5!w%2Eo%IJ=JWgO?uzlWXS) z;K$hCMzVT5dh1i0>8_`B7V*Y-Tw$_CANE?VvW^C1dJgpw5QQ1x{C#;RDr;Bp{0%2GM66a0$cq#7ig5@GJFekN~n z9&yfw1%=C=Y}FdMn^;EA9HIhs?)EM=@E1RopWT6vYevaZpHHT~CTr27VB=Ya@}aak zHKuh9u48sWUluxnSn?Gn^d_>1j-?K3{BAr>h*ldLH=NBN`rGsdprz%} z^Vdwa`681BWpMp?=PAKuZ`D2XizTRhy)(%W+R-89^h}3R5>&c z36rX3S&v$=o3J)cj%?rVUoHHzFdZp6r|#NCR^+Zu2MY7F%5r(MqyrD`(qXL0R}pNf z>uPA`@ffcWZt+Jv}{TDOsojFYEM6C8=g^*vzkp<;I|4#5K^Un zF@c-`^<^hi{^IqaRyt*3*s{?FX|8Qi813;Vx3XrYsv|5Sx)!3W@!uJyF7Pw~5$My_ zWi+g{dLa-^($z19LLz(BK>iuCt3Nf?R%>im(|Sp7=ksYp=wX)?=p5s?`Fk6je1Q9A z?qy=ITsY1?*Px?CT}WT-A%V39kBx8ic&hIwDesn7GmIERfO3A12=|Uw9i;un z9&v(Rluwt*to{OFax(GkjuftRZh4ND1g7R5WP)9&7HC%}r^+*u)V{9}i7*@8K{5&A z72uc9KUIv6>4}QoCADk=J7)aKjH{8gJxp4DcZrFTF&vX9>GaP(pL}z2;HgV)U$zn4 zwq{FBr+D>=5=TD))F6^kjG4)`0&FoflP~3+>f{i30`Rvy-o1qt3O~v^MPN6YnmYy- zxGZEIi&h0yuGB{&XtliFT9DZTXi7|xVDI%1jos$YJ?Y}0+W@=tfxGXpcIOg~R|F|m zN2;DH)QdNW2)u*o{A%FjT4OEFPPECQUdpGmx6S?QZZ2woS4op%{L&#Wu)vwR?pXVq zMWGVX3zd+gM>gH>5?j0~Q18I_O$ez95jE^=9REq_cETk*5@b1 z*)O~qD%dY>rX(}BPURJFf5eJr6I=@jD9*@sYo(b~`ZS(^SR!iW?&% z8lk&kkw0kxi#+cud*MYEvV}R9y4mUl^8MIJV*2xs9IkW{98@PMizOMfQQ}xfZE<;! z@9?f(o>)3HhEg=ksA#Nr0e-Fbk62SQ)trB`K3mZGF!;uPjO2#E)}88mgN;1DJ6{Y| zkP}oW=)mlkK;9tR=T7Sy+ph_zJ=|4zB99U)FXdSPhV5qeL3T=*@pKr@!NL}wvO(+@ zN&$=v%B@2CL;mn!2lRi6;}WSCE78VDRPq%spQuzSq7eVOs; z+v9JJ529BYXwMKI)EE(vE%Xlx(>n^&Qn-LHS-mYlak`G)k9+IO6dad>0+E+S)fCBH z^G`>Pc%jO#zaQ&k??sNQs>D^~S$&GEpG0G}8*w9fukQ^!(5YQe7NhW=XM`TW`bLXE zwUaDI6M?t)Utn8M;Gy-0A|3~;R@fd`Ml$K;mN4{I&6;M z!kzFo`NNfgL86_6_)i~|8S?L4z8}C-CW9$W-7Ox9Zik`WQWC#Qy+@@>>Z{Tj(?t3u=~cZsI2tUS6Liac*MzOI#8?E z$}Ke!j}pIfC^EJ{qdy;T18j;IjqQgLpR;Z*bROkWN$UzIW6rpeK^MK_)N{Zla85eB zx2zSc<8Cq=uq!3ATrU#PD1A0qUj*U4;_MZB9c$oH%3x9(Lsz#e9{L)f9eZM6#Cbk- z7?PsuoO>!#kw!-CA9JXRa38a*V5B4@LZmO(=l`e3w1cZl>UT^LxPvr`XL0w6I+c)@ za+UT0OnrG+BXo#rrAGj7o&vnRIe#Z~FSc0!D%A;7QsI5*xZn_yI-ivBrTW!1B#0JWyHF4(8Vi>xO5IZOb5knziD zlNilnsmcr#DL{`+_%r!4+qE6pu63vE(QcJC$P2;Ei-@ zDN%1smrKAx$ID%d(2B+2m*UzK&_r^Ov$9epVtKE7kVdl|+XpuPfIlB0vOh#@Fl(o+o7=4eE+vU*e z*wD=*p=r(X>gRNo*DdbY(|det6`_Y8)J{nvL{L zs{XOmB<;jfa5}5Y^Of(4QZE-)3N^_oOIEduu&#%u2XJW`Ehm%hHLb~c>ZziW*y-TI z;GBtyS?i$6+guJzO7X~C9(CXHiFgPSBIU1krlX*A(PF;O=Ududrnz6HfU)y848t!T11WOGg7mhQ^E`UTcUXHj@_=p_H|=Xg06X< zdcoYc7)VUVCr0SJ3EpmG0?VF}%76aVkm^ZvC?P2$#2ILhdzukIu$bZA?&}Z}28IyJ zx1juDPa3c>4-s}%Rz@=Ih}I>c^fP|In^$|5c-Z(9wlRc4)8hJ%163I|EtaBI#Y9wf zM4h0sgH?8eJ5^aP4pOiDXqk2mo-4E1jBE=y07$tho|B6?n3+xYUv@FHiO?TzdJj&Q z933;)6piUC({FduC|#s-hD-CQ(_qL8%;(UIhD8iw8;FQ@UD=B3G zpuM-AT*3%5Yt;QhJZK$xSaKO3K9jq4^@`%tL#m%XlPPwn2bHY>PBho4iu&1`jOSS8 z0H$&%)ToCN>B%@Y>C zW8hPf^obT^a{!7tXJnI??3Vs3RN=HH6g3NiVEhxY=jXP>i5WG^c$xeT6soLa0+1IA z))C=>4~OBZ zhDxqg_F|s^X~W-0SEf@?f3}NHfa2*Ol+uKJln#-J=cNUuimh{_NK2ESLf_$qPF{Lq z2Rtyol&)`P@aRToR!2wG`aP^J+g#9pM0==)untV>1(SEoI)0x$m3e8sQuOF2BzaQt z&A~4E#W9M;NnE&TCCY}A2XgXuZRW?NoA16lHurlOX}g(_vQue*(>ME!4N&9cXoVuL zo?}(0g<62xGkOKGT0_UP)myP^a95904CyS+AURM@J_vhyZGU}!FgO}=(l4MqT6){q zH$59+rSp|{*?U6`KHVaZj~j!Hmyc*cej130MZr=!h9sLEaQY?CkqFLMf&G#2vIzTw4ER;BHSIig{C&%h!v8Nkd5ZoI=+R2Ibz(Cj2BKdNn9bGh zyu7T*s`r|3V}7)qz3(1Q65Yut((t_nnPl{`GFs%GtNb;U+geWD0@)bp)~Q{6iq0W= z@S@az(37aD8)XJkA4CuiFIc-t4!2Zh-d}$ECQO(qh-;`5y+3ydDF7Djb0O<=jh52s-L}7{2J~b;E#DgWz@`bl(Q+neIeS#ojKP|Oz+V1dRQc`FQCS) zyBa1oHMk<+@YqR;&}o?%2{w^Yw0D9@DO0Tp7u2O&@~UVM)%Hq1i}_LhGgLTpsv7bk ziqFW7v=%9#&}!9w>u@&?=?il^jjSCXy)h0k4R5NcUD4`a(WDbxN}Fol=fU267JZ(_ z3&EOM`mexbn?qY)kK5hjU&#CpDE|NWd7-#j(>DvDBH&n9IN7<_S<-Ebpa}n4#1}!O zKr;Vx0TAGG{G;_rTD!Qqk+Sprceem3D;pcz|8)M==-4{0w|#lPH0)2f05xG67Q)bD zOYfD+WV74P*=KjsFq&nzG^a9XC1n@)eh|wxicTc8USdm=J9Fo-xpEIi446yv4`5N} zSo2dRLT;rhHCe7h8tcmr_$M$|;DWe~*9Or^RMB2zBSK>!n4mVJ8z7NLZ^EePuMw7& z&4K`Oet2UsTXOzGQ*~jOa|0~c}@N*DTBoV2o zu`?-xm?Tt!G+Mt^zVsoixGO)|Jv6z!*R?1jBLY++`8@)8${gCK<0QlY>Ejm&iF)*X zG;w^{f!5f*&u(Fy4##24sA}WjNiP@{3epT9^awgbIjts;22%6~rCbX;$S8i0t4N4SQ%=6{RhFpA2k(h=IW@M<<$+W~k7F-hw0|2T6~D zjR~&x@#D7EQIw5*Gji6Bl+v<;_VGw zisgxebAHP1K67_d11yqx&IhYQ^%mXJ&^{>%Q;mT!%KTB9mQ;CDv&ch%y6Edqv8%uC z$Yu9#W?j;7rAgapC-n9#7M?d4Eel>quJ;^Wp}AcW0sVgS#)Il{O~}y zt)_QQv797E@{wBuqp4vgy(0AwQl&yaMUs|CVPj(9p%|P|lGE*b_TgRh#DYeFUr9c4&*T9A_*kjwf$F!!pmC3^+H1-dR2$C6Z&$*G;pUA?1j#Bda$r zF%e>h6KE@K_nwmX z8xM@sdy^z5rbd_cOcFVWvIdKu|LgVc1z>2@o@LxZTAD`RAyjZ|4su60v4k$jXJY8Lo@6;XFwbqITW{92d z4}G}18jyRhj90$I0%D&PIesk2(C0TW1lWUj(_I6e5q+Q(nPeFm64C}$zz`1FLq42E z;7M_9Lyu*!4TXEVyVZuS(~?_vP6jl1=i&fMq_ykG;dG&Iw}#61N{! zBvLrLyT|#ph9CnCYNmg;Ue6hUg8{t(d@m1fzccamaJ2R7f-S@?iS&q~*7#foH+`YC zelUaE;g71p+16^cWesFpu@!kH&wx(}?(c7|bgjh~$YI@>`n`Q;zHga$B z%O93nHi93!0son~+^ZdG7k^(%JJTx*f~zUc0B#@KWvimA((Kb3b^zzyo}G<{Gu+L- zH4}0zb5s4iHE{0o%quCmH`rwazAA}ey58rsgXsDcFYRL5msFet=II;q+gP!m%inyv zu-6o<#N zAYY#8C>rlM`$DDvf`ew$c>G3l5q{pHU|#A3c)K5L8=pVrR&MZn@RmVZ@B5|-OP*q)sjs2nLlkd z=W?RU(r}|F!`183&Cl)o=l%$1ugS)|0Um0AxXuk`c$NR|7*8$dG#<=iY5}$r-S>E5 z?I0JJImAD*%<)KfewgMfSZ$-BIxUzjYFE4~nE)x~&y#$lj-g$r=#1X+)~@EbT! zBbCbFV_^j^)M8j?;ry+ty~@NJ_0D0eiFb2nP0l{x*R7w?Qel+?w`DL@ryW_vIrC%# zkkNH>)sd1>4gEAy#wOTE$@R?lQYyp=vj+Zq8*ZbYp7?QRWPG^7wXjL8l4l7t^AjCR zN}az*!Pch16Rwdb;5?qeqHp45jZ82tnKJa&7DZjS6Xi`&kEx~9$PLgdP*EgLp;LBd z@9(`%nJw8hKQGGO9T(&X_C#MPB&|CDI1g8D=IuAUVppzzoUJ_j3=3tj6YPJ9@89r- zSaRmf1W6P}c?a(E;xnn9rMg)<;!%6&F$U3E%IN#Gz7L!jDwJksvf39pCtIePacT^u zF|rPs(IfxnHmIKCuVn*wL|hJS9J~pNZ6a@ocskH_PFG(oMqP{{!gVxewO_#lb{uqC z%9?DhFfCclRRyH*W@Uf%eiB>|QOmWX(G}QY`?)Cb1Vcb!^9Iix8s&o8@z$rCds9Cn z)KUJ{bdA_UsjX_=*Wa|fh-Rpo&V*B0NfJ?Lc?j&$@y5rq+N_3*L!Q(m2{fQ4^3wuu zE6GRL_=b_bw`lDwJNm*#yRXv$_0@|l$dD%>p+z;VhGiwxN4E*3Y+DAeY%;g;K{3jR}grMG^8LP-~Eg2Dn= zx!Da6nbfR(%t`-E5t+0|^;k&RNLl_RRUIAO{v}!dF;`R(nPeO+9RDfS|5Dseb{mPw>fDjF1ZP+3B0I0%dmXt(Dz8PpVzSTb_@*Fb~GjQjr@E_1TV~$e()u- z58+RI*@o^KxLSXS1d3-O2Z3@;}Kt<;e*293} zkzPaPEw3qQ$#24_E?iQuCpod1kpS$8n!Af_A@Z%+njuwt%A3m5*NEpHenhM}*!*yS zAgGv4>Xhb!O#32tps1=@p;z8ueo1-(tye+D(3<=hV!xoMOi}p}#KbN-#Q;j#bW6go zQb!UES5&#X{a~}Jm|sv<7J#QJW?P`261#U3@W>xEW`>CmEZV`v{WJ!@AF~aOIOK$; zWS!F&g7_A&N3T{T`MjI-8#fH9K$r#{G4%g2bVhB4Vk>~x>Ag@b3fX&f7BQ}avCCXl z)_^j?ZgH%Ssyib{`rwktpy{T_Z1T&9Hj+Kyr^68=P2qiyC&@D9jn`V|2E@y!9ZPp{ zyyp|a)@!l3q#m}WVw{IiJ2$>1&C4j(KWp12-p2B)o!pup^n$6~OE~6sYf~$n-I(DR z|93dd8KsP2)dl|rh7b^45e)wm)}LY}Gv9YD?5OOhpqZOR(a0?*0dhl=BxRp(JO)(ao_UYTDfc|fik8Z4 zM~OHJQN5E^u^*-yDdJi1>|S+DxW}B5cEA3sl#`LEGo>Y8$F2!>rTXgv>$2BllYxojm!;2BllYy@oSn^#o!s0^TwRPU%q`6wjg4K+ja>~KjSQTO+|14G6l@47+0Ol+F_94f Ds`(<- diff --git a/ProjectProposalSam.pdf b/ProjectProposalSam.pdf index 483e7b09b301a33f56b317fe4b0ab6bf7304bae4..0f3e860e373b8d726af8491f4b9c1d95153aa755 100644 GIT binary patch delta 111 zcmX>xk^RI(_J%EtR}QnA7#SKH8Cy=jeV9=O#@YVwFe59olc9@~p{cR4tEHQ{qoIYd hft#zVxv`0>nUjl!i<677oq~-C0VUgAk25wi0svB`9`pbJ delta 111 zcmX>xk^RI(_J%EtR}Qlq8k(7yn;1;LeV9=O#@YVwFe59olZByyi;J6yv6-p4fw8%h hnUkY|p@or!g@v)Pg{z^7oq~-C0VUgAk25wi0su8&9uxoo diff --git a/papers.bib b/papers.bib index 2c75525..bbbe44a 100644 --- a/papers.bib +++ b/papers.bib @@ -490,6 +490,17 @@ doi={10.1109/ARITH.1991.145549},} howpublished = "\url{http://ghdl.free.fr/ghdl/}" } +% Look into as an alternative to using text files for FPU simulation? +@misc{tang2000using, + title = "Using Binary Files in VHDL Test Benches", + author = "Stephen Tang", + year = "2000", + howpublished = "\url{http://www.ece.ualberta.ca/~elliott/ee552/studentAppNotes/2000_w/vhdl/BinaryFileTestbenching/binary.html}", + note = "Application Notes (webpage)" +} + + + @article{demmel1996basic, title = "Basic Issues in Floating Point Arithmetic and Error Analysis", author = "Jim Demmel", @@ -503,3 +514,5 @@ doi={10.1109/ARITH.1991.145549},} author = "Edvin Catovic", howpublished = "\url{http://www.gaisler.com/doc/grfpu_dasia.pdf}" } + + -- 2.20.1