HWP Document File V3.00 %G 4'7 1. w G)cccc1. w aaᴷb1999e 5 14 qa, 8 58W p[ev>;/prC΃lڲQXdlMIr$&+(,x*aqhcX40Z;Ȗ 8]fCSXeve:l6-Lb;e]ɲuIVeu|g:A,z0[[qڊ^ڸ_ػ/ 3<.jDmYףqYٗYY/CVNAW,rJDtV"|o=m^إ5(呺]jK\_+bqїKM[iuZeDg"Yֵ%wHl^i|H1QxQDg=5շ%*O]D":sQ=D;mXKrK%z SOWZ4}8]D&Zhәʥ-ykJ2jglXOߧ2x{zʧ6y}Tf!^9[-e~e@r6gb ofmo^n{,+or9˳WޢdG sۻu'GOxNOru.rG-|[ބZ*O[%pt)QQ-QQQ[6|H\h PhSP'0sa.Z߃Oa0tTzȝ:cvf?=+clyh-zќQS}%vu:=/$RZ8F7Xa+1&;4uv{RVT_V߂o'LޞNzmSԽu{NF7ڦly6 $}3qu9RVpV1ylk˟眷ۺԆ*&|P[Wv$9*M9dE {?Mגsgoj:($!Orkt^TME?[Zn/XfuᲽ+Rj{wi{T-QqaA!HNxSm[=Vq?"}SPS(=mIc{VT8K':X@I!V љ2KfFz<Gx!хJDKV=~Qk">]OQE] 4wLOR*{[ /ֽm68tAMYQ|-/ PBo:z)$gѥDo#Z=h<UD*JV-YQk }HyǠ 6un&:Ul'*Ih bNpÕM>},ն$%[h0N^YLO E NZ:9ifȐEx'ۛly4MD)`l ۷fzmYpTP-Ԕ21xZXW sؿryaAVq;_eVrfim2X/Β_=JE'Wq]kaV42}/r>Kz`eo+cq]&?}g>Q|nzԐޥEPx[wF.^b8wEO֚ u3~ՃOvDW(n7 ܞ݇xbM'n9.:=a~}x!'CXb0S+[s\}BmTa ##0~kuB`ԃIy8 ߍ%<2j$%6٦NJ4z`X/U2) Y%KnxřehxCLo\@]:ߥe\>ebLi#^? LXkE^#aYo˩Tl7 ?z9*plI&pΣh| }(r9f/"Z ie.֓xJflf]#8rW:"\ 3o;߁w49d6f;V\+T`}I>~/;G4z {G4z6+NGhP} A^YXƀ[2vTbY-~JNEsajS'ҺW|5F&F 7bNַqׯUa.cKҺe3AVV1M~LJӛ?QcHf䗥XvKhr t"I=4|V@X*Q{a=%F2ԪY& GaѠ ڴh|} +s譆Pb %8~Mx>:'qVGFX!A?կ*nd> mqeHMե-S ;Q2)jz}`_$x64EPcj?0Qxpe|DcmeD`$ dibT Br$9=N]wH?fnꜞtti'H9 ɂX0aq#k>Ŏ۫~R$oOW;MC b?wC:'Ӛ>xiݾAw$!Z2-S"QoŬUэ>̓:imEb/V-߈,,Wo2J#yxֽ2K#\D>`rr 0Aήkv. 6dH+ &V;lo^f{?gcY,9X&(G 0w'1'~HRBg⑷Jτ:SZ "ѦݘEYULa-.k{:00lAg!V\:`_wu);ic^H1yn.\ T3x+Sri=15 h>a *q(ZW1_f @ {\z`,i-&?gK~t6MZ.ՇnV<?QAPj0bw_E{LDoigX4k=x&W=Yv>9PD#G@}Erc6٭T1k!|qVoDDJMGGQJt@CcQB D%+"z5DE}HyLj7Ltvj'z-N">ۈ͛a6<_ℨ¶JSq":&n*!=SyD6bb=rc0V ^Ԍb ծz qPہ8| . uT@k#кhZ @@@ k@H$O @ly oʅ #4XH#V _c;^(ph49F;llaGX3lUjPA@BqK-ۧEw>ͮCT]=h˜Sh+B2OkmǂՐ3\diD+IwoGD{g34=QIYyHu? @GP [Sʖ5umy%$0+-}B" ,3X"[O-" RZ #ge鯴2*aX9 e`BZx\kuD;w P"3Ʀ}j+#ҏIk@95 !j׀$tV#.F6R=~ !889xKKĝ2085X.X{{]{O*1 m:x$ EU"Wmwdq_[""_yL&Z!rp\1܉!-bpNe%Id CLp/1_F=QB>AC ۹FěլWrՂSK>l­)݌47:#a׀LD_!gq Fl,D(01DŖ`2EN@Ti-?8]Z蛰Jn1[,)OnLxLJaaD[Xjau K[ʖ쎝yt709:AqX%L3,T(+e[$%^}7[}Mݾj;S`\jųQ2i~L7()^ޘW]!DpHs:눎3$?"}@4߂QEفR[+Rоp{KQ5l(ײf 7&X0,qჵp UZ(''nV'+02уVv2 \d, O74нS {S}uX#uReKsގbVnpƻ7YVI؅Tb8p2k<|'z?Y#9h" j/ۡf 4#|7<1Jn! - N-wē[Z,$CS}uMFelus{ZAM٪UȸsTq^:;?*^ow4N^WԤDSG0tƾ'wX{k@1_RZȷtdaLY֬pbQ[ +GWsK@>rHz7w53Pw*m>A*, ʱ XuelsiUP^k7Dm%ڽ;g[sćSQ LICDAHPѰ ljW>eD7?ۧNf[cAM}yoop"@o]9f{b\pZ9 1DZӳ'OwQa(q#њ~IHCGC]}ϕDqR7owt^bQ|XfE7 W$yup9[^\B\{߲J*@vh՚t_RHk 46=GSH~̛m]_dhx c)FiKh sĺ9DS4OBV(*85jKE!DCŋ[7KMZ[T^![HPj1߬iW$eWhUk^~KmvYfc;I6}oeI\k_~j)rpHA(gE6|u=XЩFDZ jKTϰ=^Z.UT,ݎU8ZFf0zZczy)7Ш⒔yA̷1[JϷ^4YsAe_CS,m|J WV85+,zPFdUF ]-.Tbh>*nM76ɤo\aUbO85+.B2"ӵGsU8xh9Į :{ь "m1z- >ZTd']ΤXxr}20?<S;@_ 4k:r&!ď:'I)#g P/?wjfw4|RUW/w $&f0Bb_\O(F>-׌2/[M?L潡+Ud2"ӱ/yoN25Tf[:TyC#۰s|Wfuγz$1sS;Pwe<ȑ޹J6X6C[y8Igs+5mժ]oj}ZcCj515Zmj"*H9`*y;V4w[HhJ`ĬD*HUotWb^ ~]X޺ODgtǒd8nU8%ˈpoϟ>V}=6MַŞSM/T p25}"D"e2"[jWѱ].%~K>@t<0 X3a*PYAM Y뀎΅E%@pXxv]&{6ۀ\A?\om\#g.) ݌5N/8kfh]UWϹw $1:Q3(nz/z'sz0ޑU10ke2"'\g"*Wcryۆx2 uJP%c:URA՗<_2,,4t.oX=7PADigerJE0^r{ lf@x 2HB.P㇇}03In~rt[=G(3XϪWy6V> :iѐ5wutɳ1%>{&S PnlW\rW[~gƬ'V{]CG*B#Mwr{3ۢloAߟ:L`x4ɼd;S0,C M7.U?@zxaf pT^4p.tT Kyˁ x5(L5ll5;[ΠX#/NZq۩)= \?2}/+t_;ruXsˊ,Jm|+yocfύH7!+r!S34/Lπؒe,=o"ddG Q22H+ ґO4 b>=a1u+zMLI JCskEgC&O}|$}c C )L HPVaA+g) I -(#Oi"I-i,85S+᥉t*2"Mza?gfqpg @0QMO`aAko̶ a)c6fI'-ap8Wҩk+=wI;-D44 y QPvG%)rBRmDzd U;|Va|,&pG ]Կ,;OzxfA̡kq_Po 6]LgҚ1.&e\wv,Ho>pN&'{xa6]^t_;t_uq=~ڗuI;&)OdD&?İ'1O*D^V\UɹCr쓜fn^S3 ˳ILKթ8[4 } /o@eCts Kyˁ x5qFgM5ll5;n-az6gБ.V7Kg^!N=2g]5EPE쵞 "iW9 m2#_|W^s1U^~."YKϘ*,nOW)]YuQfcG}$?z#O,pnHCڇQn.J9Թ K^⣅%u sC-'y"[deY򾑮${޷f{6|棏d 2w/H'=Ƚs+J%[d3^>{}TI߯|ܯ;wɑ%ӾӸ4䳯$VHn]Fm}vu.Cvt6_pNO\e)-j7>R~c:.ݏ> {\a=OȟvG|vcش3/ D۾r?U>l TսWt湆;zS3pm$ŜYpģQY2bTs+mSܰ1с@Ii FT˰J0\}<2Vg{>:g3:gԣbۻ|AA@k > ܳX\ҵ7fA Dͥ#J~1"^+cґ܋q+Vw"K4m&Tq:Ҍ4#1H^9"gxU4n\Ǚ#\/=%r)i;ncއ_ d)sy\gbY-{*8˹Sf; sIAI{2}pPBP\48vA<D 3!YV޺8~yuPFݶNs ̉Xʊ'_'/i<挗B9j[@>?Tqt?(-'`qf|}c@$`@%wX6p,u@|`B`"`|:UXCzS? \zE儡S'p`QvsdZ~or}p J|l FC%w1:P()->/G+ [\|gqaV Ps5Q:^-]4pLug<ˡ ui{/;3ʽNqZfvpM9F4!ۓHZ-`~@s0aVQ-a:cU=..]6Q8_E9%4.SCsjY =O7 hx1QikY=mrHD("tn 6. u()%˜ <%裉6 #2Ƥ0LlB6D%n-u.>o?yULFP˚8ɕgprcʼn'\priȈL\Q`T|nZ\.P88e`g-=HfojT(!gDj2Q3,P)#7۵q'XuRiNP 4?8*zf2 A!H - "z  wiH fՅeXKtN*KZ*2kݯ2ֹ%Vj_L73^3U? Wr+fst_p R o$\S\M[qzXq}-zpWxJ~1/}f~O+U:g9mQm\N 2v:켹cgVVY58II嗎yK 3$0]1sK̰V41c:ȤwЀf^v%SehZx*7% fJbruP ذX 6m 8*p 6U44+44?.+E,C׽Fh<W߱^:LoƆ. kUBZн'ZeT{7},wkИ-ytu>/vͫ}<}2lbgLv\ )&x[ܦ5% ~ ꬇U&^P/cbO=.mևը>4o?vYխc$R_ D;ZzࡐXj)Ğq:w:f a N԰ML9ĘΞ}~ ;F =~On4Y*HY]FkԪ> 9ڽOTQ7g\Մ"oaA#X0~91j>ZDm'$:[bLO|l$\imeڦ&c|+;ӒTC4)\5Fs"Ǹ [ҧECQ |D2ԁ` bonM1FpvUg=?i=iNV{>xB>|-N*J v֭t>tt`y-#7 tfΆp`Ӡ~v~#qQ׏U((I80牥\YzXT#p(p!{v芨'r+ ɪ>jD#jgž3P!00H0(?Sn_1~Q}smrStKVKcكP$%e{m *jL{Y_c eJ$3Qpq 7oNL aƑ|EhCAC>S`kFI"[A=7KP֠($4^Z8^L\2s)W~\ D@bD*$)vɞe I)uOÍ$wtX/wwXkJL2;Uk֚m^yYzd4cmiLPOWZ@, @cr,K%S( l1{HHMp0fwizPpL ̩$^pS |ISpPN?Cc PQ)7R]jU"N A ]u^uw&kt^/)~^gK nӇ7JJ/LZϢEr ApTch h/W;X{n!0 < %GP25F=Wd"G,(a=(9(I |{S'ÇZ(B.FDIgk-MCFངju՞UH1uLg$dr߂,F0a%5j 8% b,*y7.P"g/%@2bT$ɵz&YԄGM> hD.%lP/1KEőT9\CYbG%K축=NuC{&I諸0Jxכ8uhזE:V=T}n5Y,fȮ|-bLc4-xx|m b!L'Q$񒄪K8.$X+nrLun@l¿F2}GQv_wgi-g2u+n ^&=Da[_9<@gǖ+U5yPh3V)$=vk@AIhN?BˢLI#M=3MQ@HƟ% -Pg^<ݯ)#te)$aNĔ!cxPP]]aǠ~Gh%uSZ71]cD_{w(}̈́7v500YORgӢ'/(jp=ңvq%¼JKħW]e,ct 5X|Ih@b22uߛJ&^b2ө7ڝ"/x^{#hyaQKFt4hii R PyL]ƵX( 1H=fhEMaj}?0X`,&c:b:"ЁUpt,zdb."Gרޙ3:^Ŝ:H8jb$ r:[38UM& (yw)<*:l5Ft10>?^>`6Kt%}d!j ^ȸ~ &8& lB~-sM+vӲvm3FC%+_vOy<֭t>?'xYAh@;e` D Xqy用J]հPg`j_0Ngd\=Ax=#ăa[ J]|e.e>SItL*2a|I͎%ͣSyT_ `{YPq*&V?w9vhCAVR⬏hODk1" K~(IhDjY+&`. x ?t:B֖W!%5/ ~|]˔ؿX(N:Le,g+]ca=1xbR:Ɣ+ދ%`G%&% Ma,f=X+_ɰoO&Ow~uCVJSW6-5 ?'1/YjQWj;~h8A|4]_izCI!ď67"4mOvĜJ3Xȡ ʨ6u~߉:NC$KO C:m:!ׄO|dWu+ _b< * "K3N<ꝔrVl1wn-إ_+yO'yxÎ!%Z*.*,d,+9`ue*@(s2ו~W:6FIK^E:3ukYk@_5Nx23!ɔ_lǟ6q P4q-MGb\l"(IX=kA "ADDyj 1uP5 9~عcqIm6hS A=w7 gi7o|4_i447.ތͩ-EYwڮJ!y_ttc %o͖\jo(6 ؙ;QIKZv^V(GKc2Q䓞< )잚ƼsψvWe:A䨶w*џk1jdLfQC&yʣINʧ>mѼo7,h--oȸ|nҊ7TB{>JcYڑph'Zo{IZv뢭 ]T!5% -3(nq‘pK&͸z r9Ӓj-r)!HE47Wܤ' &7n!82d>M%b Ҝc99u9HsȤ9EI/6l%Nz^'Aқzң&ҫ'S(k*6bͿN`8LtUl$s1J# 04 0_? _3 m٠,zXjrl-[vb3}x%ARL[>{BWC5d"oaA{~mф{9P%k(aeٜ[e9Mbq!TQ!2\hI 6;Gd+ۭK[ sW6m{f&%fo B){,"NM#/C/eO&-~2_Dƈ*t9YrDr,nʼWV8G$17fMfr6q\q:-M4${x:IoKV1p֥pj!p طYTPQWJ<OW4Ev [euݎp2fGfr2r ĄԻ'}*z]lk-Ǯ.9?<"Idx2ܼ**%I>]#r8L "SlRxOؑ yr ow; j\ ^/)ֳK[\h>5\YcGfyfTi SMS3 9z"F~|?%?wgAL4WP÷Q|B7 {@%~zN)f{3Ī; RY䮍KZO"٨p?=JYOjk-Z{(bwdQشl3knfzt`8egoIA^l~4ǞGIM-ŒvkAZe/T֞D ݔC]T ""*id(8ZoR$) NT {D7i"JYcK`*U1 HS?UT͉RwJ#͗fP0z::/i=#hQ(qXڡ *N90~l FUi|3yҵfh#^cCJ'񙭨NnA5P}tx9Ϥuw'EbAl<koxf7[MyxMk7OOͳ].D;:{]GuOoi`N9f.mOJJčIJ`Vϧ"VÔSLS_P* !GM1J&ۦ 4ؐ>?a%X%tl!pm4 i{(JfH :Bf oF_ 7 ]\3|Nk {pJ|^Ws]B#ԞOmH}IgE]2b׼"Y51ss%iSKzjbsuZ+z׻UEYT>*g}zlkxذ!֗G$[vd+v_@4\DT`1釗\@xE~_Z,-j@ @] xV7o?8a+;Ih(zT񘀴=Xc}=ی3#g;]M16՝\gѵ̨=R Ģ8aPHM9tme.I xD2 3[M#mzL-fl er0)6̏Z-+Z,Yd<2F#I"@l0٢lOHk-u&SH7K1RT)Kw:Ƥ#rE)&3̾dJg͋JӴ=FIv.@MJm;UR;p}+`oa1Rv*zJ BZLVJ>~VKA#4>STr{跁/w)qh9POЯ(*[;TZ <,Ga8)zI~:Rpdt,*a,R!/Q5Hk.LtN%z3[S+GWAiuIaMd~Ou~TKu!_vn@73i=* 1zT_kb&Gx55ZKH{Fv`)8jU֔ ;d;yv"GNƯ(R8EuI+GR;ς)!v>Da"93 ܬL:6N7#GL?$N 򷬖_Mcڭ9G$|\| C-%T/ e!?2 g:zhK@:bq8|;RkŁ*e'ϓ7j8725qtOh_w< O @mP9X<ΤnpZ/NQx طYT+u%Y x 88F֢:`N`0a 7=0rdřHnVG^2ll&mdv4糦n8GmRِ:H}אUJߴh){ {j)xzR,-Hr'K)̨^Qsz&RV(&1Gr]>:hIZ .NyXG$wvWX26}/s{vh2?>csEn7S1s6kУ\Ƙ+3_c!3?+Bo]ɔogڃG#F@m $ yf@oBzMHq%U qfLF+ Fj%%ѩڭ-]kݕrgMnwι ވ5R؝ܾ[ )rPV-]Ϡ|X\НdkMugZOɻwS4Z`ZNծkMh4TE fQ`" xo;38W[[Ɛƀ  wid_<֨A9?]74,FtH=s׿wy4"M-hat<~Ń;]}ĻF0g̣fݥGq?xOx7pnnw>+ٻ~Y.:p }I?Aپ: Ww2&W>'Qv? _/H.O+č:0w)9'\i/ K8ll´x) V?l \϶j'{(:'ZX q'S9اy+o_vU wx=S<9YZ4{ë*2ʧ'F5{vMef<.k>8=@u.oڻS6Z͗GP1{ J>ىӘ1wƇݫ~Ӟ9)9=u* ~ZLT퍾'L?aܐ|(ĬCWx<9œFH:HPJ&]QS.⌚ۯM0۩ xx[0@KZq"gJ>UѲep9&D F FrZM|uM~K ڮG$[$A ńw>NH i7$܌TYP^tߵ$ƈ$F u3{"^By9uofcl{?}3&zuM?"Bn ^3!"8^'F,MD)ƪV2h;5kHz{ e c;rو5{w4_x-ze༗8z|[Cgq.68Eou8.2]~.]gxܓpcƦ RɤmpJB\TF<9x埅bu{L5_( Z%t:vZOSVS >2=h ,?>[]c*HCёE/ yA&Є`6L>EŘ жɧT/bRs촉6l=ۙ@ib[Uȱ8`26F\MVZ^YI!ǣrx^oN E \\Z(|.u )ƽ~Q/EmxPswOouM-{{]1n;%)zo=oE`go;k&Y'LQWJ, Y %LFA JN!k ڑy3ՒSؤTr$8OX==l 3HujyүW)a.ڍzV:=U'W$tLnmǘR@!k$- q e=8ezKSznA+^JOD2ɝ 6?Mj' YTWMNugAhf3k N(<_mz+zK!UQ`it<~O.s.AuI:{+F6x춎X+qxm:_q ~*~4WwL` Qei m] =k9.0ql-tK*i3 m6p gjmٰpbRj|qZm𑢰i,g)69hOɄtf}k K0sG뽝I͟T)@D2Ig3sՈuFWke@Ke" 2Q{7p}+y.GIvoLĠ!md$"]>߂h3o=ƻ (dLH>ʙC穵qVZj%=fQ"d ܫ;n})vlR0QαwYqњzZdD@Lt1f4x$?b!9x4~ v^]jc.DK1]*s' o 9Gyڕ!*dZuPRWjqN.Ѐ 7:86zG9^܊9ɓt^)˜\Uτ3|S\ÿFmA*-QkJ?cj6`dݸCMnO(cQjfhg-KS'(5F[}<,C.W#jtiӌ!ڢ=wRgM-z7ʩ09u~i)FM_l$d* A͑)R{۩Lj~TJI-X陞pLv̨q`fbfzf=3O*( "\R|)J f+eK{cwؕ.NUɵêpYwzT'eRQ+j7$|DEܿyY͋w:ߊ}܁ma6kViӯw{ۿĩU@{w[q~,9r.i{ԓ[0Apw΍j--uzZz*P*e*/[i>h~Lag]'عLj6L鶝} В(?9b DžSX`EO,?o)5D12~DˆT&&0H )FK}父WBCj!b ܰ*E0u羑wdyQYeCU3Xm$s ڕ0q,u]|8uf @!Ŵ ϑۢiT GD9i@Wq1Hqm'gc&f@d;x)-7,f jULj9>˥kmmT밫BJ.+abWpZ}㸮crͷ3Lj=a`gԘ9p"Cb Ѳ;6CoQ,\D9K.QrV&cDD~DTYDSDK>+Ź-$zz;QNug?oafߒF%֦A97zJY#S4(:"V$$x#?OD"ƱqJ~W,8nwN8i e0|7q]58z QaUk%SV?8;(s5]tCXhgيz wꍗSK}|]_L,hVn)"+Q:BbuhaKB"wZdBpa[]w]औ ,S,.]\+8PަKcNQ &y:~+,y6z>|m j %?8ay=$`|Q>wa`/c}ʫV3f^"79Ȭ3NgSUTtؒyN%G%/~d<_>DŽ^R$lIK䭽Z^^ZOe&h'~Wq0I7Wjy h`TX^+P<kOZ-b/P=~Z&[cjEVcWej.zCZeg(g^(sWI%XlfH}?ɱX-'rN*E j Aby ҁE9fgTg@,IœR}(E)زq_,ٌ:El A;)EΤ2D6^N)t6ۨG{ nHAZaI,K!4{!Ӕ}o|2FYQƩU)VWaa\@rWk#r"*5+$fьT ī@\?cA VG a*U4XO:AئSK_xʪ%8Bb!-Q&&&%v9;bْDtՂ./-Y}wo\ ~OC:':m'] NG{ăSSҿߤa@jU$\0v1WDJh:(Jz.(Z;2k?bV uZ':]Q*8ȀÁO,g =Y)JlA&,<=Z,7dz[2/`c^Ǣ A'/7f HHýߥ.7 $"Q̉!gńN(YE O 0Bo$oJr +sJ*x\,YS&0U"ST^]5*@ ?^N'%Q<&PMT2X Z?%4,a01VOiшB4KJ#q8w#Pv}TOŕ8*1DY嗭K6̊Q_<ĔR~1G#욌gda5-1fd$OhrA8LIXo\C>7cTDd{4ʵ{)̊}% oa>||i)MFJC1*;NA1 A`8H1 L!`~7[xx3]•Q"trLeg%V݅OcXxuIvR!CbGm~OE3+h0k R6$)ӭg}><\#@T9PT 2=O#ss2 *9.@?pr13iqBBTU!֧ӘG\HM^ #x*h /Wqz$ [1<15X($Z# \)s$Wt" Oaߣi^iTA0ѬֺR_E)tWO!J UTSF)tL̒ҾڪC>1LJRO~Q>ҭ)u`k(sSks Fd'8%Y("&} FY(B*A:jvZ ".J7 gVJT+?¼!DD\@ gWPVQi Ѝy,̽uTQ0cf{^ I94z|}!9)P7b*©XKC,uxP$X|qaybP.BSGB HxsF $CڔKEiq4䡽\UQ[0YQ4tfhM]5ZݘZ=uZ9=?8 ?h(6O|CbxxKxP榬*3M 4`QIb2;ZRFiHr1~SL_"t98 PĆ$4i-Krm(7[(ZΑqWX<F$AԼP/У7&5TaB2Vr}ZqթH Nܜ#@G|XC"q\:B[}Unq|nWOH֏YIcQ`Wg״o]r<;! ڄDZx}&C)W%pyor"׳58K/j&:BBA4C]٢(GR=Ê^ZgV MbXepwiJ-H ʕ|vLJTT gIb2!-h+`}[άcԪ[R UZց||| W=Zfq@DpJ>9[r={ <v.NYj ]iIE (̫Fۼ!F@Dġ'wU*¶A1Œ!].c4P\`g\Ѱ(SQs"V4ǢgܓZ8. 8"$:Њ;b52X4pdȗ{I%۩&䬺%.,yqf2<%O/KX).DD E%Q-MYDͲ4#5x.P'xyrwjTTDGm~⃓Ǎ+]~A4/3a&C.L:pTYJ!ᅩԵʊz})dWeaC<pC =12$2.26$2J`cK\xz?c _M443>|5ӜZ1Rym.P*iPqP7 rגism U@>oF*: :Cї=}pnO؇݀F+ڧzv ]4[lbd۳-!χ9fO 2$4\,Ƅʼn#3ba3#t="|0W)YDtutt6kkԢy #]]&mtnj_- [/Vl dH:I]`NԌFu-Y v^!Z:͚YbR]iHu5 5Mm-Mu]4RN}ytV5,,M|;YpqvDo< ul]8qNm.)~zhщ[φt]8c}ޯ+vf\^4 /S16X_N]܈n5螴4:ٵԀDk'i;8s񱃥_ zY 7Kmq߬»wеn N4"n^6}wCFڬc6uyDNypb7VmvgOs:5Ҵ^:;^URuK/UoT|qZhS%7klW1F|n egO-5Is3lpŹK^6d^w+g\zZ?N-#~-Ct_G=\oE^9"kT>_k"s7~zY͕VLM䓵H= T'H,n7⣳ ?L(/lx͔#{-nߴGXtxkwvɃȟe~X2M= ӱ8q_Sv(2OfV,u@r{j#o%v2}uݦu_.} eԋo Ӥ-_W߭xѫe*dd>.f-soAZIKJ 3o'NMxdf!6fHYy08+ǽ] ljS4s_y܍5ꖺh*t!sVּ45iߩ&DW[y&}iļV{3&YPT|րoddU;Ip4]W3(%ay!qj4k!ճ%u-æB $Ͼ4Q}$x" UzVAٹlঌrh'Z ^pN)׋ZȉsAI%7W:W&* jaażJf߅sW| |뒎<\lsAΛ4Q?d[ 1m,q)a|'jOiRw?^irz|25qsyC7k/$>1whytޑ)6~y+f2?ҍZzkB\[4HX^XWơI x6ȨF+%=!u3W*ߛ"+y5b˯~5Ы3C刚imaû4{&U:JQX=mp|i%߸?w?hx)&wݫcblpW0 B^6#Zaڶ$mQ/omʒʒm9 Y9~ʧ^ɕzkM=++m{geN/:Li`gɺTQ)pްdˏz <1^&c~:g âLqzQB OCͶG^$jj_ЂmwSZ?NWY6q<'[?mpwO㑸yՋz4bW9AqgFfo|<쌱OZF6֐3/XZC(*B@!~Ct21k`knecDK3 rJuus⺐Umiz 519uFOU,^3-g;r=GgL[0z,6kh{0sW*nE0:Q6N g# a _@AZ>NAFY&GZE/JD$0( *j:TKz?=4T΃y0X{O[- *.bjnֿ$tQy"}߭['{jyjmʠTWGǻ~OubG5ƢyT-z/z~:DrFFb2T_bV׈/^UMOM&Ԯլ7Ng`h\$߯OTd0֏# _3@a @(f`6` h1 $p d3\eT[4<}c`̀9AȐ0$ !uHA6탼!&@G(:Beu6 C= h@ 0 &X7:1l ;»ao8ip, (J2A٢QQ,!T2*U@աFPQ?X4ME7-Nh:}}}]AG3 F Xa\1ޘL"&Sa0sX,V+ZbݰsJl;q8-KzqcIusw&GфFciqcimfJ܊fUf5M{mDg(ٰl۷m>c[6vN.=>CÝ{w^91񕓂SS3.2ySt ];Dn8wgb~ml]wGn#O^{oswyߒGǬY -6e5A77؟;{'#Äqҷw֯ď_/6l  RJ  aYC!Lu)  =9F$)><ځу A<&Ď8\{1>=#u 8ZȝJ|~l]IrVlLNY:A;wO>dWVj))4ôtRztی5oY{ڳ5 r9a9#mN]:s/ok^YIgy7ʯ(/H)X88?PhQXS$W}{!»^ҹTV,RR\,)u(m-.+,v9.+ʓWk+T* +*Ska>\wʺ΍n&W'@5Q53|nԺvns];%Ry ƄF軳MAM߶myu޳V֮?6vۏt~K[^槦OMM.~LDtvJatgg_|2k7z.`nq>:?.,_X-^V\[^d gS#XP9{zҩv>!>ATMՍ)S~ +h4b0XN,#p`"O㉼ğ6Wo!KWMY㦐~~ 8@2AA$  b! "J0X4pKQĔ`^d aQXUW"zZfl/Nz)i[=g9zi0 IH0JJXmu#8΁_E)Lo}CfD"CANpt7Uxx!45ݟb!\2_IҞŦ%Ӝ|’S^ˣ6II٪NB6%1R ";F.?2d?켿"+&CJeGj3ab냨ۆYnIG6 >xh8Pսs6Ĕoo3KZ>ssVY?;ZR}~C[ZCvCM1$KoY6IU_'! rRWe06Jر_*lAJzK, 4WISIϮ}=`8լ ٴ&ɕz:YܗTZTh2dOdMRnkϽJbzkFg7zU-= aE-}hSIeW]~DzPI)_0ƪopn{t[=*Pv;{s*K{j^q#ufM w#s"=:(E^l ;o;q,unÈfgEwEfUJsaArЦ9*xn_AM:R*(A@A^$ E@ M% -"Hǹswfwfߙyw]:>]z'.#/Hë3f8W\ky"ڃ22<{Fخ&z 7%׭iAQܼ! N!BzR|%!kc{ƒ'6fF}7"xsBI2 $fr#uU}f FTKwӕ]ciԚ;kɮ '".H_7&mse ,mry`+|*+U.,+G~\w;W 1 K 'w VjDgo|.1%{wC$5,#p2:~k~tHg@,y+D޸BщťesbDhnF,MĉaR% v_Iy+6Wݥj}C=WQgha4 Lz5.ƋWW}pБʳY"_4(qäθTƤJTEc\\HԷ<6I֣ps>@Ozvy YN =X'oiYnQڢZp, msfקKو,] 3 6*(^rlZg1QS3N1'ц8nWoʰyUkm+f<\rیO\[c3h2EBYܘ2۹jSZ'ѭSo=8ww{]mO@'s{DgWάT.7] 6lhiӱPϠV+Gd$m@$0oQ, W{(t{})=Tu{_DEL [h|Ϣe;oaxuKXoerud9G4WuF c(vM.\̿&(?ag[r N3#jlˀɱN]䈩dPUkB#i2eE]0q,^f>j[A/0qu>R|헌u:z`,y_6хll757ƨIpie D5J]6L~ZiFQsSw* [ْ_fTG̦%G):VG>H/`Eϒ2]ЙU9$R3 H JSpn* u;'F)<;c!څ5Ɲ<2=8|~ÄLm;4^IPY64C|1MFcpM ޒ,ze]RQ%kV]S孱z/!H565~ ([lAqǂ(Z;vm-9\)x߱Dk^t@_[]%[ד4\|KboM%ې13wb5ySQ,S|Ʒ.O \}PduJBj $ ybX#&_^#MjpCj'Ĝs!@ȕI;^&Lz+cٓ_9ig=R=]m~Vr*MF[_dء9ƍEMgib4n1RثOB0w$Y:ûkLTDD匵-yhr-Mƾ; 77`JHWb>ś;:k&[#ʚ?+{^ K*o(5ZKϴ.y e;ٕ+n;&3pgaF:HlU|v&Pj"@{OkARHk "^hҭ7JÑO{}de_t=YG\a~`Q}?lM84$6΍J/[~r 뇐p&sss\4oqUϞmdN;Uķ嵎ևuz4ЎAB_ti͑cJم2R#'vY3Ϛ+ߐI/ R;K6_V]Fý.9`[RQƽ!Z oC{f_'ǎ̰5 c&oERGgh? i'm-R8J[E1C.>AR'tmZ">aj 7!{J(1t@W:B8/f#fl[*pX6!e6C/vƬGcӸE]>Jt_ьJj7IoID:u4g8z,QirɹP@YjKpHZ'@=ɉekYNx" pxm8 ED+ sR\%7. pYe~%vb9XQ^8?"e  nI=BM=6(h9@ @ @@@@@`@```@@@@ @ @ @ @@ @ @ ` @` ` ` @ @ @ @ @@@@@ @@ @ @ @@@@@@@@@@`@@`@`@`@@@@@@@@@@@@@@@@@@@@@`@``` `@ ` ` `@`@@`@`@```@```````@````@````@````@```@ @ @@@@@`@```@@@@@ @ @@@@@`@```@@@@@ @ @@@@@`@```@@@@@ @ @@@@@`@```@@@@T<Q1AQ1Q1 a ww (Abstract Interpretation and its Applications) w w waaba bЁ chang@cs.sookmyung.ac.kr a Ae ai eae a⸥ aϡa iˡ AeA ie ea A e a ⬁ qA aС www e A- A g awA e b ai ae a A wea. e Aea E a i we ae ww A wea. >1. ᬥ aϡa ⬁ ae aϡai aС g aϡa -e bA e i awe e g e a. e aϡa e ea Ae eA aAᴡ ea. aϡa i e a A a⸥ aϡa iˡ AeA ie ea A e a a (abstract interpretation)a Cousote aa aϡa ie e⸥ Aai aС, sE aa iˡ ai eae a ⬡ae b Ii Aava [5,6]. e aϡai A t A a tii ae a t(abstract value)i awaa qa aϡa bA e i eae a [5,6,7]. e ie a΅ aA qAᴡ eae e i eС ea. Cousota Ae a e A⸥ ww A wI a a AAeA AeAe bˡ, I ai e aϡa w [10], aϡa Aa ᤷ [2,12], wi [3], a̩ A[16] wAᬁ Awa h a. Ae a ⬁ qA waС www e A- A g awA e b ai e a A waС a i we ae ww A wea. e aq {a. 2wAe a A ʼne qi wea. 3wAe a i ea e wA ea. 4wAe a ⬁ wwA ʼnaa iaͥa. {a 5wA ii ea. 2. a ⬁ a ⬁ ae A ei e A A(concrete domain) eaС, ea Aee a A wA aϡai Сa, aϡa A bA e i iae a. e e aϡa e awe A Ё ia a iA qEae A e(safeness)i wae ea(approximate) i Aea. a e aq {e 3a ae i xea : (1) aϡa bA e ee ea ti Aea. (2) aϡaA e awa a I a. (2) 嬂E ᴁ e aϡaA w awaa. a Ae w aϡa A aСa ae ei ae q a(collecting semantics) b A a(concrete semantics)i ea. A ae aϡa ⬁ Aa a {e A (fixpoint) ea 鬁Ea. A ae ʼn A e A aw b(minimal) b aС, eaa(sound), wa ŵe(complete) a ⬁ Ea. ʼna wae q ae ʼn A e ei aeA aw e aa i a. aϡa b a i ᶁe | we A ai ea С bA e ee ea i e a a(abstract semantics)i aС i eaA Ea. JN