From c790343a31fc5cd856b959bdb7c0ec5a7a8c8e73 Mon Sep 17 00:00:00 2001 From: tpajenka Date: Fri, 18 Apr 2014 12:08:40 +0200 Subject: [PATCH] Rechtschreibfehler --- doc/ausarbeitung/hgraph_doc.pdf | Bin 337882 -> 338088 bytes doc/ausarbeitung/hgraph_doc.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ausarbeitung/hgraph_doc.pdf b/doc/ausarbeitung/hgraph_doc.pdf index ef7e82e1efecede8e4c2146922fb4bdf7b23b987..f032c428f979a5fd58fa5f535c4801b4a9814a21 100644 GIT binary patch delta 31674 zcmV()K;OUG&lIT96tFA;e^c8q5Qgvh6*|fXiPd*>ghCkTr3cS21Lcs3MeNqG8C!0r z`Sq2oIE6qMV5Xbz4`h%BJeG`~3O^Eunx~uq>hg5iY4zHc?nctO9&nf4RDMemgYlj0kOT z;rh7H_*>Wha6f(6@wpHdi)UF*7R)@QGfjn-h%iBwoKnz`gaPOH+%>(c{{*m*_)FU~ zZslFZaFI^Vs#QJo-gP0FvIf&&06u1dk~9X9cpRAlPrDA-PRo&>we z1jEa+p495nBB-_Qf0mm~6`J@MUApC}bm?wrinRC|FWP479{pkXNKJ8dU^DFMst>Sn zE*MA-M{3{C)vipD$~>RQr}erWxs@+BL!2#U=YZwgu-yd71Urp@p?~-;j4ZqTsP5mj zyZ@aDz^?P71J_D3tlw3$N@*5j6Sh@+zK?-ON)yIe2LI8|G`ykSzduW+C?dk4;VCxH zEXQqpJ}%l+cIdEwm3Zuv@lZ5Kg@_7=Fp>GIjEj8s7rylWezV;Jj-dfFlK}!Kvy`R8 z6@SfS4+jrIL)d2YbS9rdnqy?fFacK_2W#wU?n5&BsS)zoa)H@z>5#sTDGhb_j6y}Y z>BZz2Hu@J&`G1~T8fwqSkGqrH@B*tA`gfIqx!5{|P+{kYEe?4u0)&MXvTKR^V2LY_ zA=UDlv*>i*<#fOr-Ct%!!F}9yunj9zb$`Y#;hdJ8zt1_I=4Y>HXf+@DTjyygzT1}V z|KMG4a4E0y#<*3D(F>X9yPySmtW5=kF$mFMv;ys<*oFcA7Y3QL@|x8C-L{F2FPmWT zk6AOXc&OsOV`O!tG(tmxhWZ7Z9@-E$Z2C*zus)k3*Hg&Mrbr64!W#Z-bw0mLRk$?)A4>10jd=>b-%3@NCU}Wyd&)D1wz6$|;3&HA#NiY= z-eZ6$jpy^W8}|ImUe8LyAlg0J{wAHsYqQyfGBAL0=xqj~K!InbFBV2dar1i9?ydad z^^^YvyMTP}gZ;dR{k#E({k#IV{k#Lba1k;v3NK7$ZfA68G9WTGFfcQhK@J5L12Z@< zm%$|kCx5iLbyQp1);^58yA^`FJEgdLarfX5B)DsFX@TNi+^x8~dvPgRthmcZ&wcMb z=ic%A_Zu0>&NKCybIrB(&ImQRiW;-1Imi?!1#$p0v$L=X02CC}OdMR;*_g#ZcIE&M z7B)66Bx-7LXP^n#8ss2h0tN~Ic)?ZxWi#-bpMNuegN=^2X$AfhgOi#0PozKIVk`hT z6Ejqo zHGg`Rx4>$yj*cMb|KlRArmi8)1dtF_QkMh(HJJd?8fxl)KGlH^Z~QHp07~j_`agNz z4F9+*N~(*h>!?Vwv;L_8zz%Q&I=fi^N&7$CXx^9s{-*ZkYT*pB|0@B2&I$~66kug_ zcXwy8baer8*2*`hH#zt}#NHYK{u9&gU*-T8An?D^Sedx|<*T5gq5!Zrv339h z9ZVd|-VDJeU{@D_@n5pHH_)8+Uj%^waaU*OKRFctt#bZPntxLl1HDzIZ|Ci6;(z|X zD`w*0>f-f}-u!pjW*`R_YZtJ~zajzw7S?vaKkQxpteLgLUou5eC0Qv+HFai%x50B@ zRs_9u$AJax0shPSPdrfx1pxpb8xMe;p9{eDHl&gc=HeiG`#07uNPpTVVg1%8Fv!`H z^}mPO)&b=1;Qc>B3u^~+i$6U#cYk$c)o`$Oas|pt{GaKY2Ko2u3 z)<22TN zHUqzn_}ex?`YXDug9Qk{|1a?ylYguJZ}I8=+M@Jt`_mlcVCM-i2U;MpDu02%Z=*o> z|IZHlpIlO|c6Lf8_CUJ->gWF&nb=#~dH$E#|5#`N{}847fB0IvNLhOT%~h){| z>A&Q%V3W6j7j>|-1HP@tUm}e^d&ur>Slp$lefSH|(=YMo>b7*Gk0CaHy@Nxd7 z0={+Nf9Sro{SR3HtA@CimVdk`n+w3v73>SJ068Q5Sw$Xh0ITR9(Z3K6fK}{o#0y{*{~PfE zSS9|0c-a7~Qhy^(0ITfZ=q;xF-{>u-!haCoo1e&G`qq{cX?v#~kG9 z{Eq-{CYJwzZzWj$1HRR6{SWw7yv;x0TNSqdfNy2k{R6&nvHu&gzt!RJ5BOFG=s%F_ z%@*YFkGk03h&ukQet*mB2z0gv{i6}=Z%qGD2m2dSm%r=$gMeg+dgBXr2mQn0tyo54<8%O2O-Qus~knQiC^nbU}zpxtE8GmF8)Uq~zdxZFhiJ}SE z+1f*o?d>dMf0Mtx{{7A1zY>&e69m|8M-~b^-tbJ%DCNOA8>g_aQc48^cQcB=e_AVX669j?3|cwB-_DmeQu$ zhzTTeeo_F13x5Ke0@7&;KngMf27XC_4u#s(A-Hxg>&=N3lUL>+MYc`+6#ao%74K*c6Va$Kt_KPexRBe8R5l}_t9!r|hTp9HJm3})^E?Fs#_*Re6 zMAmF1D1ZIl0HaG>^PL}v0<)naLV+*u$*|i#^*aggJo56H^BJnxlOQ+h3N~#adGw&^ zZ39x$dk=;Vwo{*|HrvIV_R(Uz;@pA@Ty09i`}bo`X;O^{{V9!2;WS?kT~cVSm2hN; zB|z`|tuVx}h@PJboMNjg?zygYX;7XT|Z1Y7EeBMsf0 zhfgbuzUNC;HHBvis%_qzq{pFPK0O2kr^AAmNcJjJOoXsnaxk^c*|;??kFLLmL4PEN zv~k8jUP7+7BIsa=%vDu=fXD{aoRM}NbC2FG3|qo!FmwCdRs;6{3VhB^S^g9|+8*kb+ZVQD$XX{p%d?gj`` z=Oy5A;J>@eX<`f(-~4XyWTKRf^Hq}`Y0X=fN=x#-=;S=uhEc(zg~5||GN-~?3@9=t zw&;SYKP@sAy#QNDA46UrX-S+P23_I3-+v3dy|%)QCYNv3o@6|UDyfG?MR@0GAXf49Ta1Refj%RWQR zCxoH?JW%BZVH|t6hG`ojZfO*jlSHu}Lg*cN_Di{WKE~m$X;2kg;k{88^pDQU3Gdnv zH{YsDPGmm}@$pRS3dmetWP{-DS%2ovw%G-d_dYF10c}P50W4DGCkPhUu+osmuir|Z z<7MDzSYfiP#T~ePkZ0}yD289!!kSH*+SNZ^wDeU)z|vUk#ov`ra}3mGZv?N=ml>uM z)FT)*9M}xudDV+uij1{8wHUtUsJ_BOM7Fu?g`KuBVVD~+4IMbV!a-@1o`0^{#lf)% zSq4|QQ3Z*_^kT_n^lZDFkb#6M+exC;gcAAP%WW0RC3%sANs;z%m5J;4HNupnVdcke z(Ms>{dVSfo{Gw5<3YwC*U*Q>KApEkbs>TI_ibr^)ac(D7K7^#BNZFV4vu~YGpMAMa zJe24|%G9E%sVxB?q}(vR#DAZ2s1b(H0=dsEv!}zwJsKOAUZFLJjH^~7 zSUzq{&cd+(4ulIc)8&ivAZ^mAy`3IwSf{3XG;33qqwV%$D(MY=LF}~cpFMJ3b(h78 zd%~NJ`LZ%1taGH&C~VRPV>%G#Lihg4aiTW)xNKgsya$7Viyk*|;C}@UzNc`nW0W!L z$XYKC+ZW|R3Bd@3eIGLW`v~c008Jp|a zqp>pX{iErFEes)T_R@WO&PsZ7pRjOgCM;}mE7INvLt?WPKUL(gUED}j~@8+j^ z4aUj)kj@NI{VFFOHh-Fo13tOs(JQH7(oPtAn!E&FU7{j~)g-*?K}V`=4L@$l_)D{t zmaYkIQ@dpzSt*UEx#&Cow4x$I?8wgo&>z@iZxSU#bMk zFYItK`hSS7xJXaiW{BzVhs8l* z2T1>NW_7>Jpg#l!eVkMI*6Cyp|Lca&h0+(7QhK(ONy~r)(LR!Aa-M}-+F|XHhRLb$ z>p_hHAA*#bAJyO*(*W(Kr(XH`w15$56>C`>8ntRvKN-33JegRj9Z^keO4L^MQ{1if4G#0?b3X*oBRGI31a2e#{+#c1%B3i>(2J`y`1$yVWGSLq9Ym{gI zwes|a)DlB7l4qdY^7Xp2VJB9NOP*RkjfMJjDcKrfo_`ehws^jfKJ>-wmCyv5C@=?W z3PUQTg)LOk9{u1u^tSM8riTvc(SBtt*eD|Gqj?gd-o_!%XGKWeRcs|_7ge(n1k>IA zvh-S<1FNL<^_a({vws*r!vxj zZB1P4L)HsZpUaO0T=M$?X%N)U(DgBK3Q}&?1H78Yc4K>%Uo}xbGmmG}v)xCO2n#?& z-tSgv=&KG|?!^sT)9Ru3KC@h+oirI^t-PKK`j(3~h^E}SWg$86rA^g-n?{-IBN9RM zyMI;fYyBL%awp$&k?uD!VQS%)-du1`j0SO&e5B24ST!pU6+SSRO;q_H+a3*;T(O$q zC>;l7-eMoaU_(k?B$pp33Yc8WOHHpEh)f3>oD?DP-VX8R`=6xr(O3i}-t6YHoL<^A zpZJ6VL?<>Zns|t7YGYK*!z6VW{y!-=)#PF0YuX_uMa6-WsFW)u^WBJxH8}WE^SKqloxx> zzC%w<#&qjbw&!6}P*=B^^ac9AKS_fKZ7%~Sxws=APouOmzdN>1<%6(B zKCcA$e6GXU>2XFsMipUe8#4V_mEdSU$s@;E3Sa@Ky_Xn+zuA7DM7LHoRx;Zf;O~d` zbId+SYbj6)vg*jMLPyu;M_fL_MSsp*WBRg@6}8KInTHj)`=O4eEkiUdVsZBhX{*Ph zjY(VCvlRYj?wX78Bf?#jY%gp%vz?4@J80T zl0hj}1@psjI2SBXrZ(+d!UA0-){zGa)q)4psHEwUna{9&3X(oF)&c(PW-#j}VE0kO z26U8(l^>aA=5>VH5)HWVQ^z9A-S#6iiUJi%HhEiG)Z8K!sY^XCJ z3zsdXr=^4v+wsSs72QmLrS#8k7H~VEfv%0jB&xJ7egNFbM9Rh1HM)+k$+~tTkaN}>t{WE-SmF! z#oiE!G^hJ6EIE4m-joD5tzH%BOTrCx`!M-jFbDsjbD294_~^^_@?aEE662_#Sy|`O zz(&(+OC?dAV(BwSsgoHb8_`Xi*yObBV^gpaT6BltknE@T;*o>)?FCM1l13P`d9tS! z8Ud{zsDOCp2Y>R8C%HTj8hiw*j{N0dgh)b#TD{zSuB%__!<)?e2maW0%@%x6~FL|>a{X&8p5D`%KkDkG)8 z^$#hKW!w3VlZy+hBgM(eIOEL)uOyj=4O@#<02vd)FMnQhW!1lY4I;-E%nriKGTL0g zmI`yr!{c*77HH(k{;=R&{6!6L?<~c1bToG*JBq>W7+>qyK{jF*L}B;2S2)8SbG=!smd2>US~9D0`0aez}O!QO&T8tC1TRY_Tm$OS9jdN?mB~}LEvy{pws$Q zmN67-xPLt3%Fg9`&n;U023j(Mb#C?OuDNW2whTSiRZs|oa(Z3<2Xy@3NKbeCwZH3{ zu5Hav9Me#!J&zv+8$Di~3U23@uRH8NbBcmZM)W4ga;PwbXP9w<)U zO&jFj8z)J`e7;;J?#6o7-!*poSNmP4#w&MC%WP5G$N$J1v=u`Y)sE z$bT~^R|Z<_4x;pW3f~iK;eOZLq7L&~Z%1m%5`ym>mvBz3`E)__PXClc2S*9KZOvoW z+YO9W(%s+-5`AyE)ila{yT4&oPrP~%TSWcs@fXHeN%5i?Q?(`_PhLZScB?YJbN%$1 z-^6|Kz0FVQB3jz4+sm3cTMg>8qdX&ui+^o@PA~5Q47OT{kTf~CO7l<}Ab!ny?w9eZ zbQ_e^vq+rsu(do{uwDs8LIHnVfVWvkG#44A$!!iU*g>-l^_}5$va}4vk+QQ|bIy}7 z?5oIEW~Xukl8^|E;5AluAKRVnnIm;e_?_lz@uc}eF`|@d!Wny`1X8}AAU2-ESbui5 z{$AT!S^Ig)_xX@qBv;YpszhINs{wqON8zHQT)XKOC{-%F@9c2++obqzAg3*{$XK>{ z!|hSt1rTiw=N29=1xHYFF-K8WBABm#e)7w`(hGScyeNSC_k&!l$KIB#`Zw9OJMm3> z03$jI`EbIyLR4+0v<0uC6k^t0RW@jg+YDlzd1P-K&f32@+!&{L72jN1eKZ zTEy@kUB713w3p#(Q8&2H@4gFE`-Ho$`zF(nKvlh`-8NIbTTQ!+6Mx~aTavH`(e_NV zn}H$o10VJ;A;$A^tMC%bwsD_M(>lD#HcI2M@H_5uID8q>T8mP4Z@r_++KI6zZ%VY# zex^V7D24;MBkI{7Lw430ReElNbrkn-CBYn9p|qzFHRA*maaO?AQzn%a@dlLjr`ZL` zbb|!E2M_cY0wQZr1Ao4&mOd&TgWJ1dVk*ZiwoerG-(u@($!B?qG@MBM+n?s zsql)YY-HVs^|(}Br+bV$guor6Yx%F4ms($~uq*aB%r`=*uHmvE;cg;B!Wz&vOMgkmwEJ$r z%N@e%;Ar#P2rupqt^sCoAi#&52NgxwUF^!Ijde+3fq&0bWXV7kZ?6j2$P$E_SEaG| zD*bMS1@!yb-i0-#M)vybfl1_&$s>kQM9GdaGA_) zxnA>s%YWe|JwG~hoKNI5+5iKG%wmibwV&UaG}wnoES-i;!D@N zB!hsDEzM(g2hPt9L@NGVp?hNG-TVa?syi z`ir-ebn#zJ?bAN$U!QmBVet-5#b2KgeORVn30(1F7r(jejtMq@B(TntAmY!&GPN<&Ip;jGXVR`I9 zFX`pW5E_e^ipd+WPd!VByFv_*ea%Kf*nglR*SeZrfh9bQPdbGL)HGJ9LjfY>aBt8` zbipIsx+Y)0eIvnJj7t_Yqz;B?Zk5z6b`C`Gl&LumvkKmiP7^$2-AtM*aU)ZlB=w&? z;e&?+>z!UGo1CF%(MP?n4{FWf(d0Z4>EM`_n}=}Qt#2Y;%m`W}I>xyP#XO#t>whJ` zY3CNg!&8wHgjqWuUNo)kaG^Amo;{C_8_sIak5$Y3B6-yiXB#WTi-Ngm3u+?EzYI}$ zq~sI)hJvl*bm14q92|g^9Xo}C9IDLXBRC?^y1-x=oyfS#ZD3{oZtg;Sn6a=1yt;?- z69Z$rbV$Z0?Zo7;EbC}IgCFT|SAXu7^2)~+FZw%8#t>AEq~wr9lu-?SGNIkqm_%}u z9OV>f-n^vtA?xx3P=re69te|Fc25BB2H7%c67@@P+8#G`&~DUd`lfW9`z5vaI2JUj z6AscA+2cu)8s4CIjJQQpCp>qX3;BA#&DBQ}jj-!eo|Y2RADoA_?@SCRwSQCYk((@y zZ2gKux^tb1=+NS>%25>}$y0xqa-s5CUF|*(r-vFA3fwz`G)Q>~)102=8q)03Nsmi)Poe%x9h?)!86kMLS{eKg(er*A)(rUC9 z?T%J_`-HEq^%~}l8-mKS705FHmy)>na+wZ4$Utc^Jy8 zF{sM(;BYWv4B-Z3U4I9c6>>`C<>7z<(U5h)^&Nw<@i*+ir^`9$EJ^FoIs(Cjuw+D} z%5016?2*;y+)0j-UjeJ0QcePSjb7`BKcC$BZL&~Yudk{ob=_*>zYhV{;*6HJXG!fs zYawGjxG7Xg&sq+4?TkhNo{3TTqwPO8_l}&GW7R+-q-Vll=;&%-&$sE<-x}LUVZ5W z{^zML4gCu%pD((!m01>4cP0h>cxzYuEn976%8Qd-!+)MWa>q$GSeR^tJS|rIU}Nf= z^ouEo+(IXm5_35&x3R0{T=4i}XvdBnD%BeEEx3uhJuZeGc`<2$WZ4`JhtiDMeEmzd zCeLR|DWi=CM!S%TN_2}_AY+!(Y!wuvrD2*(Q}4bR{Ph!N5oa79BJJ)4I&cqzWB2_O z%2lRF5`RV@ds3!psXdpPOGC^R1S`zXi|wKmQW}X$c!Jhd8*z@H5V$CYYW)KXt7!DK za+#8GM`=CI%7#(-jY{ruqvcUs=RA;)-Xo5K9-lc|V9C4OC94IS=VtO1DHtYaXqh{K ziPxeC`m4!?QMy$0n;oM~L{8{9;vFpuDp$!?zkhb*M>RaocliLrI6gj(R97wQVR6U$ z?Vh#qwcN#_jN8U^!Ey;NW~L4b@%P}w9Jez0^=WJ|HXzbWrPxQ$udjX!iFeC_xhmvU z+0DKObl?|lcb1@+pKys$!59#6^tPg-%e@7UyRmXePW<1!3ZfG0j>Z(k0=p{aiq?YL z#(xOnf$sp61H!-gn_847p1TD_XALAPo@SEoR?#P3E9RXbUL$?w*NOY+<&Dma(%uP+ zM8_M=-S^b6jV?05A=NIal)*6msy#X6u~Q@zefg#UG(+3u2`r=v3exzk6t=V}tmTsgtT5I1JZuEPz{kzd4I8D3CY^_AT;EB{zyLSj;y40;ylcG-Q}TVexOs^Eoy1iO4Qwtn^YMyxg|CQ_3!Z=LeOOOs1+AX&R# z=(*TWr?aTKU!hq0fI0tT0@ANhGBWBwl|tuwSyBbgqdMe@(&IQhs1cre>;1iRq9>8*X9;M~+t_8pD1@{6R`k#=eruaLs)(1CTO%0j^&@At=-y;r9=+{V$`r6w)rgI`v;*{bb zj^4*&FV1(WorDs5I(1;I=Dn#yanuX$$7fRY3}0VgRjp2_5KEpICZ-QM-mX|Im!~RT z3t?oxwc}2{5&*I2wPrVoJTTSe!VeMjrre<6R+{TYU0mO&HXmYn{KS}rwSV+Zlja}r znhYxK!SNL}Lnj$-V&vCb-3r%zXT&91Ezp&e?J{gbArL-K3jU#WLpj9aY!?IIdp=Z86PqZVNkaUqd1# zh?YL>xxD8kzBK0IRz|BJ6wsJ=+{c!tnlWrbo$jb`JON|vxtpY950ZM_Q zL#0%r&-!qE`^Dj7_J4=l0_GvA8u8+`<{K6Pp(H|XNEOD%D+CLBYam8#shq);La?3R zWd8afOE3`q$ISbT2G9KPBAEyq1EN8P7rmJy?MlN;@6%ir*8PMdU?ruF=Rua(;78G# zpl^FvnbMUobhU^q9Za&!FA7Hvy{iCeE6NldUtYc(D;X-%pMQqL20;Wk7B#r=>E_LY z;W5k}A5w8p#9>gQSKAK{Ih7wc!!SQ+jP>POIJO&v$ySdO!u+5LUW@%n``I}89Qg2E zW4Yl6HO7nPIa<%RI@?Gx6uXL&X4p$An`4v*y%)bHo*H|cc?eY~?6G*{Q!ug|Mo=Nm zRK|xD|A9Omw|`^n*ZUg$E)sqeHZ;Wni5L!A@Ub8i0pydH&2LOPli6}=dMQ05=JvyP zKZ;}?H~7LZyw0_+o=H+Kk3Yj(FBc?3j0NHJ3umxXrIbH(c*WHNV_MTF@F&mvwl!3d zy%0@zQ5Qp#tp}%(PO~Z*r@OLtgK(7O?x>BDI9(H}vwwe+hC|k-_j4unC|5$$NAlVX zTV-^u>p8@IwK*Upmc`{~YX>}&-&w<{a;TeL(?fl04B_=EQlY7Bu?}-cdOl|7CLuT* z79bw?HIW|`y)}D62))GQ-tvx4VGK^HxjPZp+w{|al5K_;9(`)@)!jO~iOZ^&G$8dB zIn;E!&41hZD&tikPGvQjs{DC$9!LB{!~B-IIXbXNL$MQufx;N4sSZlvARyu33onnS z$;V&h`_AOkxgmvV#AO4I*o9=&Y4c5?g()U$joj6AI4u>)&bdk|3&l2y8FMsM8B4ut z&YOkJNH!tSr=)Z|URWLzNp}v_n{|>{;Zc?oGJgyb;gQn^ILmWr3Z#s3^T@|GG! z@3MoBIq4-kqBFy7m>f!86EenSZ7Sr_A3+mxObV*(-*!hs>X&Ok%I7XL2Pe{+Qll(>A2A+w>6aarLTGDXXwL^vZRnTrOGgLi3=lVF5V|BMhd z+rc{kK$G~Yfatq9$xm=vN9q#BZ&~o_KQ<0Cxq#zVFKd)^$)m++DkQY#tpJxzV1MwF zKttZ^<61wgF4lw-$gZ3^at1{zqc-~Jyx#bS)dp=dVLf_rKnf&bgZ+Bf8jB>$9g_^I z{$Vp&)eKLczvO$q6$s0CFS;Yc6z?*n*pAhfTVnP_(IiVTxrf@(d{I&|E|j&y&9s;g zFW|?Dw`Wn|k0~^GsRk4@{0bkTTYsbp=Hu{u8o{J+a}$PuV}fXT=|?wu*DVFm;rG@Z zvW3r&J;Gqes~YtysXJ~H*d2Z=SAiVQU$x3;Sq;rSGb}xzbXpUsbhPz@7K$_a6n#5R z<(_A#%bTz0W^lC>*!c)u{cW0VkgCbE?&O(OQ#*L42Sl5mi;wuvHDpmA-G58^Cf|u- zQ{?2|hf5lG-Ob0?KZCxhMqOfdFfjIlQ|uoa-O9jbNJ&Lq$wi!JP}rWYhAeeUV@Q&NOLy_lj+if^XN$#?h;mYDUi=&`v!h%i550o3hHKTp<#H?2`elvDJRH#I)b$`;CyDBULZ{7GP zvkfPWrkt%oFTH<#w%0?zqqW|A?FOQ2-WoM}J1&mMRsXo8@_>)M2!Spze7}}QZ4*ui z1^4;;53{GIB$@a11S$3o1=)zlL>_Jj%uv>uTp;Vm={#thR58BGM(D$kh~KIEj;B8& zljGhE&?kvsi%z%8J6|Fld7}~hD^+EXrVzQTko3vlw`I#yUq{*T^WNq! z;u&rzfJYlm>4fqxG~K=LkzC<9p;`|R5OaQUEeI2Scw(B?jek25L~rU!hTBk)Me(Vc z2oaUeUCM|^%hPB2JhTJps27T0oE9oSLq}VfpbcPmdsbk^BYYR`_St6%y`BE!R}IC* z>9XhL9oZKv0ySEEWEfl8>#Q@`;51e9Q}1`3++<5<;NfU{+!WL5k{~n4S$G}H4JLnZ zFOrnhqO<)E;eV$-|0SaqB+C}@g;1io@%MxLl`Irv-Jil9+QJHxk{1d6;mrv!C6Zv8 zi@;+GEw}Dbe#+H;6V{Dg((4^U@yh2nBMpVut3XGgn&bLK5*{s)w3P z_}Zdh+C$DBX{k2hF`uL7uxXZMODMsyldZsosz zq*S$KhuJ6VJydCeNc{3SCH|=HtlLUD-Qg2+^9f>o0wT3X%6Y)dZw*QvXIGxY*s0H4 zlElr<4Szc2DyJ@7rmJ=v->0UDCsjTokXYNwUqGl~-z?0led-cA!IZJ@Wj2dyFYhP0 zp!A$kV1N(c6sQ{)$kGtUaF(KUw6vo(zWUL*eDMtzkHe@rQBGmEjQ z^e*C4RCZSrw@&9}oT#by;v>f%W5D5X_}4s*6MwQA!w*@m%!y!Ul^@yMq8n#EWGei= zEFXb@L2^~tfFZNW<_mkY+SH5-j?7)jW@Z85djX%7uKQ{P){|$a$ZvA$!{q)A516dY zacpWWrpW5(iz(1IgK(baAB(a@L|ZOqJH(&-qPG;X&vBrTf6dSkyktav6;KAva+IZ% zA%D+pqt78zU|Gzou3D3L{1gH$x7!7(Jj!;cM9HklYWZDk;vOt@-H1>RI>4&5mfNDu zoqb!>@Fmqez6j;rBqU$B0biW7+#s zz|x>h@vDffEJj9^HJdMQCb(15-XQAbXn$1C+R2|H=i|?YHOhdoOjUf`5(= zv4ndaT5}NUn(qkNn+Jpl{uQx`QBK1>TtDyc@lyrss+YUWDcjWw z1av);@fOQ4Kx_LB$yt|7>XzqJTYv0&PDabn2`2h3B|Yf}QH>n5#W8tr(ETLq@6UW0vn6%Z6Jl8@@b=k;it6IEi}r4-6Y=kEp? z7T0Iuv)oGhk8E(q59U)TG=|;|ZFHt(+C&j$X@Z6|VK7ZZofTWD^WtFe6@P{dk~8}h zC$WpoqjrOPwDHacsYY4_q!HkXncKVd5e;ixhAf$y;kyV0_C|W`7P5Mir9trZ;>X#~ zTu3J(ESXObl278ffiO^{?ttzRUsWdf>U-yv6-0__@)JDls%V1H)e#BFvGCA^6@e!k~fs$qbpB539yg0*lw&0+e1i>{*r zex2goG|>M>7jz3y%Df|Hx+QB=LEB_aPyYm_^gEA8hz3Qi+ zTX&7Vl`X&zbK;{%__@MUv=Z+({4OOXRts+^D#H#UrRgD2xUy_SH-F%v-Q*O1tpEI- zYGtIC6dp~(vGm%OoQ1Vm4I1v9+F00f*Ef!p=#f4iT&*R(C%MDJtngCw8`5d_%KCS0 zq0QI*Q>CQm{2esU-r1hViSalBR30}s!>jGk#?b+yckKo2tQFK>HUA&~mXywU`;|6| z0rK`pWZD^{9}XP43V)t`zg~3g_tRWCyMP$e;irm$KwH_o9s7_)=3Cm(uaf}HU=!G| z;*Nr^2bS6lxJyQP-Pl7j^KGDcEIdOScQOJ5=jliZ#{mI_Ju7mSN9L3;s>4-+Z|W4K zfPG4ar%v^gJ*M`66iu0Q(XThCT=7dAL%R?kj3{r%TmzX|M}MhY&%ilz$~8;+$B`a! zA&3I5w;@Tl$;az7A()0q6LTnY7d~>rXVY?FuE+ewW#MVn>q&H|)t;QPx=G5GAm0bs zJL1Ax@`w5dW2cwK$H{~1DQ{KM>a#FMMON^afCEbrKOWfi@l5F*i*#y~5wSb5SlSi& zCzcRX{v%Jioqw0_J?+gdOvo3BuHrX!)@`*ZvkguY1N%R14(3u0CsvRb$BYHtUHw8OyUy7pyvZ)>eFyTnl;k*i>f*J*l`LO zcVbi-!&_Gpb40~{0s%kNf{oc#A#vH7%4X;lp}rYk5f^(aA&l&11w;1(5hr$flbDvW z*qvsmXn!ss9>b}A`o1S~F}L{rDQZO2h|ZL-Qea;#2^yw|>r2dK{z*S+Z@w|#awgR( zp-0uCCs&o;OF6{J?#dEB(ST_|Q1T4yFk^M9KGn@V2K7hTxKLrukoLroi-l%oter!F z^c6b2lVBQV13+s*9FXO_w`!DdDyKAEdqOAfg@2hNZT_Y?uQ!U~eELIdcTF9;%WJTH zj#BN4EDHTA7M||Uny=rt^VxXM%Ck^J)%~qwQM*tEDH`?LX?+YX>uYE=MYW}-J@3DI zm2&Qt1`fxmK%FrQd2`vfven|451T%!KJ2%86CJmF=1_$#@EefBU$UA++vcKWMuC5* z4SzylKB1XAYJrRgknqv3P;9dMx~ya|o#vcBd{3I5k!JJXP_?dCEGPDgs;fK^;iHt%mgpO8 zqGHY_v9W#LG`~Np)=7V#CwCUIudW#BhJPz7Rz5K$;2yddAyDsbNhF|tE#$vc>mQHD zxQ|z?Xu^rUc=xjViS~CvnP>mB=1smoLX=|UXlc>dCG@C_9EcnNOA#W^aGf)F)U}!M zH6Jc0f+-khVz?bbR}T(@Tp7u(X;u(w7OwsBOWFK${WD$RiRk=&9Xbd1*J^bIw&Sb!Y%a(LoXCJjpMsW%hqCf6C>d*&NN=5nq3^h>v5~v@n_}A^Er0Xd0+-X# zwM%kDGceAz9t?sHul|imu;U%V(N6TEWITbD@ijQF&rz3p%qvc=Z)AXJ6`@9MAzMS! ztDjn&H37c{in>UbIQ~1E=TDn_;aTs%+Xd7k0?Sq3CdDKBBDT*LWH7e`5ScC7onj8u z`dl7;-gjpwPja0hH_)izUVj6HigjGXk)}{gn`i^1+?9#%(4KggIuviEC0F;(#gj%u z>xr_oT3>d1Sb-P~3B_gAMfe_u; zOqs2n(bN?M@59)LLiQ6&)3N04B~AW|v^8Oha}ktIog0wMVZx1VQInEzLWoTK%=g3E zx=2q22E7P@t2TmS#(x~bZ~xVw!cw|VrLpBXTLaS>Wa?%o54Rg;>k2g|@ykzE*#0#R zQ)r3NZWC5bS_@X)xAKmepOQ%ysJAv>R1vJh&{tNy!#>t}mN(g7L`?AuheeGbTA0~< zO7ZCihVL5UtSuUVn_Us!Fv#{YD+aOXI%n zDD|n??W+*~>5J{5y$KO?^$>F`37GT!RBTlUq#oOzDh9!Y&BTh=??lRoy5$#QAR0`QpSLkiB0oxGZZZ8y}zC zHUDyu_Q88OVt+*M1C7~_qm2EnFPk+rSqi^!iINxZOi8zYec4dBUt3kJi-pJHy15<@ z;50h=VnD_VZj$3q_=HYU#Y~tL^Lsyxp)_Pl2#h;~4oQrV)jF6ap3ti*aOQ4c-bYOR zjzE4_p5RhDTY$O(5bLU8Oe1@jNU%@0VU|)#5*2uZPq^ zrz5VdUVklCl#xuD&abVl4zGt_H4jh;cEoXQbL&js=s0>I=*=+2BW;$m) z$jE_qEUQ;#_FBcZXD~D3bClH&g3F0XU_+w;4|y6!P4(@`d;mJmW)f=ebj@K7vBKE_UNw8 z2&snh2R?(0axKln?If+eB;Jn+xE75}QBkTeaiN#^<#GA(_8P0ui~a*ExHB1ZtQ0Us z9e)s_^7%GtpX{K&LjlGc_GEz{%`^_DKVF_R8f@%~e*L~aDfqzkF%7D`nuJGCDX@qo zN?h@EOnJd=K_#(|C0E?Ll5h>Z#N051aQVXBGvx-slIytL3nt#fy_Yhx*^3x9$q~G) zu$$;M89VY5Zxzv6kqVB=Fyv~^Nou@d41WQ`tbXF%-5i8a(j9wca(>|uWeKkUG2to~ z!Oo6dc5w1AvC`-h?)Lyb-0CAU*=udnac{4f1D^F_Ec*D2tQdk%qPW;bYa3$@ViW>jvFpo1-*iAUHw0KPreBi8Kz3JU z)v#`m_U5o^+$H9jxr|l;h9h#PzA#r^lct84gsihQUILs|6t#rnsdpiax`schdAG+^ zNjWb=|Ktoyy?Ws5`%Wi}g|v~ub%of8D0U;%xMQE5Gwonl{QK_1Vh8B(%Zy+;kuj~7 zS2>h?NwmxPhSk?nrbAA&7hygYV^msQ!3$Hw>*NwfK`Ujly0(~%|#(j>{b0xhFE?19h> z%mIAcW{2t?+4Ul~cWXjN@fUeh$80MPEe3Pbe`Klvofz_}E=HgNgFH5_&g3ctsMf5R_sKx27ov2Pa-KlBw+XlzRz zwqz?f^F0ugUP|2x91y)LFxu(NuHGOg+OvYjY^bfZZW1vn#l+4;Y-jPtUn zB_v5n4X3AC?RslhCH%= z`do`c6?Ju^KEH=wjP6=Jn9~eCwfBW4PBd(eK+PfJ$Wtyq&1}}gZlEJCpK!{+^~W|^ z*J&c))tSoxR6GdzMb)<49N{qnU<#%}(UfW3eJG|_`q9x|SluR_`QC5=Vo(3DBSyy8uXlr>WcDDBDK0z0;R0{+a301F`+C)EV+VfS!k5#Uz zdh2-!Ee7)E#R1h%O;Lm4O%J$v$z{pQT{-%t^&W-K1}S1UsL6WQQ%Qe6mc4HGAw+pa zaW=16BOAxv5=SyJ;v{jJ@=USb`y%J7#4aVae*ztz7ys9hT8e_3+48P}&hl^CEj zGom?wHC9=QmKgp+p_=%+`v2?-*J05D>F3_fDw(6~pYbb3qE*-A^p5y7i|KfAkmA30 zfpvt&rQk`p82Y5^xqAQX%IBNHz*j5jHB%DLmAq~BXLLz0RN{%+kW>d<$;lYglr~VI zq^s$Hxi#j8Xj&D(X&i^C%hJxQsQ42qH2!;!xJ2J})H@1C-K*`q$06~!?Ym&Iz4gX{ zF;@khpX_nzn$5uqTRbhDy4l=ZUwzUbd8HvteM%%;Q-;0l z)i^7Z_+H%j(S?b98TMccgMJ478_G_w2*_F{g~sbsK_08rdMz#P(ocBe(T-E0>{7-6 z1Mj9+n@2Hn8@g>9T2-oP%*y?UMh~Zl!Bxlo@Gr@vprVJP0=##T1^#{#r`k6<)R#p^ z*rlhG2xH)%W=?y7aHSw5y@*w>EC$p~NG?_%p^JY%m;`r5D3IN8XE$c8fZ|O!lo*$j z9Y|}VX4{w33sJ{-sI>Z%l{rdge%~iLgbI5 zhCNiAE#XM}D;X`n$+w)hDlP0w-6tgE29H2hZG-LK-Mt!d$2L)Z7u-_G0caUO$`?7m z6hiD*lcHnTLFKBcQuRqZH0sMQxEfXE$_?>hMYN@zwdxQ^{Fn9W3EfUnCdRyq zWXD&!`W$Rj1h!#2@Q_^R;7y*tzJ|rVTM2&UO7f_(at!;RM`tJpLb)S^#Nh9pH>?$u?`Al&SL&8p8b>RYfr(dOb5K0FVY07^6IIHdTQWLJtcjc*C> z60p#hP}$Zha_%{SziW{ob{`>sECh;*AfzO1fM`C`EvlZ|nDxim#{=~l53k1)ejHev zl^|XJ=)717E=OMq&@G(%rS*uTZQ+kEovUHZ>S?Xzc3^j#mM@#!lyk2DB-k;B|Cx+l zW)R>Z6Zg1dXgN^`!bK1@SCJNSiA+I@d#t?Rf2Cf}= zjcAdYhSeLN7VQ*->5T@2L)QB>+@*=nPyWr(Tm|digQuPD(Rb=w3Fej9`a?YEII7r* zyCb?|6mLa44o<{kZy{v?0D?-{gCt8RVdUaRc>g}C9T})Mx7H;P6@A~U6KbwupW;1vuvh@)3bNulg||nIY>Hkz zU=V}qePi-dA?Ge8Uy}Vg+ST=Gw*I3*k|CjhbvWx3J05=sM?mK)#CVWKtJu zd*{DB2)nF$CEcY8=t?i8x)*-k%)DL+Bw7DT-gQ)VWx`IX=0_r&d+d zK1=-`M}7Yqtfk1pN(Zv^D=q9}j-jdMnN?f2^y}y6qt2KE3}j#G3rR9qu9KUXfhsE) zNL|>&P=OUia-PCHnP;UPIsWN=9*s^O$F;IXgPD2Gy~F%XT*FFiHT-z z?Mg3N;ua@wi1qwa{7(m0PZ(}|WJx-WRM}`&?d2Q*UB#8ZGyeqg*G_~f>BL)ZvRWu2 zM_ybK4$iJtnm;rM!!qT11L{-p{zHe&>>%^5%S|iWG;Vs7+z~odng%XUb+ybh{K9n= zE>*{-5JS5Ks@uxwkjoX0&{L=gn80J6uQff6db>YCCAu1Uy?x)K7}PEGO~}+!!4aP> z_ir}fNN!46zIPxq3n54Amt*MZj_KaGo)NmjIvt2>b~VulGAvQ*1X!VOU$WKo_}V6zpK{oox#&LW&lWE1J}q z%AC@DVgDb4Gf8;NL1v&p6d-_N<7QMX@fi-#gXS@Yf|ES9-{}!{a5t!D-ofE{!jf-W zYiCkMi@3uXBvZ3o!{>r%l`zmIWq+8k1hl`aAI|edn^u6Vt+BDT7%v?C-c$x#sf9(3BiisK8p!> zQmn_hdPSvXMLJQ*C*ZY<=o*v?13QAFt(kb9B32+)zy06=D~4fIDDC?qN1%Q<%`bPBY8?c1o9A= zFUC2)JDFqmpkPs7)4B`g3KzXPGt^YDD1cbzxe>UUrV^8deCc`9x^SDm~ zbycJCw~I87gmCZY=UCcl>}Fwb3Va3~v1(!5h2Fhu)H0JzQ-54ts(nEsUrNr!m`;*j zGR?y`8N}}-N)1<2?(x;Kou(8n5+!ZXBOl{eULo54P*-yLyAfq>bbPKlZczb(yB-6t zJV{0_V~4(dJyWJ9Q|bS#{1tyMUzrEcRBkuu3|TsakxDt<7gMOxf}SkY@OFR~g&4|} znv{q<>YPf)#+O-sscL{on=|*H=Wv zTW*JgQp$&<67w$49vNAO;d*^cYrYFi2W>sxYW_%u?e_<5?5J=OG=zvlO}gj2C6LM- z7W}Q`mr%m=ZU63$?Iem{QVK}UsrU!w^{hCNWNqx>P+8v$HG{*j;S>*$S|3R5CQam* z3iwf?6q`7@d4=)~0)EfnuwLGgex^7LfKBd+3XF6EZeMm+T@fk2CfzHc_}v}|TMo_? zEe~pb20ol^P$jA%+);|6eYid*2;d}@84;8G$I4O;QJO4PA6^G$Nr=VR!&8|6wtL~r z&O6ca@kTdX*T%^`d&2{;`;#rT(hbF&@i!RKJAQ0^XbghH2!pbQaD)y{Bm>yx%$_ztcS??n_FSLCc#nt z?9gv5frS9e#6|lV{MB&*_Gn*&rR{zM244eWiCgO23ylI9-S1iXSDzb)ZX*I1MEnK< zW*e*p3ru6K-F%GQ05{g8EXMeO_voOgK6us?jb$8f6j{@=2$1iteiS+QPx7KY(8tEl zUdm9OxuHMGp5;$fJa+%&uQqWaKX?xqq9DtM;DsI1-4FIgOw1hgI^W!R>p&S(r0 zl?-x=eMXVSr!mt-OA!08Mwtxve+g3|u6u8cFjtbT*upb76r{s!959?d?s}|&Z6|&k z-Ib~gat!<|bVZ+Q|Kau_+H|e^vuPuOIWMR4hB|g33_VL{c>$CM(k`7NV6ctAmC8t~ zTIv8e&D{jUSh#ud=H%ZXR7*+)w?c;F@YFa-w93J?cSY;^5>3hK{{^0^ECcuBYLu7q z41Gw33s^YeT#yRR@83q@Lr&iF8Pj7;tGtqJt&2QrL3u8!qzg1f3OEG>qr#;o!dl4U zGKDMCB-xc&lxQ}?fBvmOA9#?-2G5sZH1hypFCvrdvmdD%p4ea!^cWeOEfNT2OXn#_!BDi%gg{ZSUDe?!IYdhp2vW!_LxJ@YllO+&lm#fJbQ zJQ=Vs4d#nM0F}C(q^=E8#yfDh_su2j0Hj z2M@Q+wB7!Y$@{-&0y}DpcKFe?4fX(R)&`aFi!>}Ks-Hb3>NA2U?xQ+e;FOHmV1#G4 z$Q_4K$_L&JCSW7$-_OR17HW4!3p4;D9hvT39qOCH0z(prD0dPiHtFjL^reGV7m~>) zBUtYO)k(ntnQASw?H0fu2OB~Mm-Rlm=N9ax*KJSiEI?Y`V~e*7_lGs}8rb}&MT`Hc zE5k9VXDF8ERYh;^KS&WwOFR)ze^KgWmod$!nWim27x=Sw?b1AE{_-zaly1(ORt0cjl#&~8M(wefsejEvy8K@@4rugF#|sM7d5K!Xd$yMr;W@ZiStD}zzv zjqT~R%sUql38?ITPh~i+R2BFD&!g+WR|A=$cN>hZ z@QQPUM~Ea1==yBouVHC9-QqDhNHtRN3Z7V!mbW1ZeiiAl#xA_bKdQ=X)j;1?2MhI= zcVtjWl7L?k>g+l^0R@1W>AdCv@xqpVo(St%zj@ci#dq9MXVhRZ3`v5Lq&A z7Zxg-+2aAL+p)3BaC z(ww0kx{O0w9Y-yGxol{f;;m^AEkPO_g$oS$xjrLAeUrh)^aUX7D_8%%e6mdvoB6re zPw4+8)@exbH6-#kkIB9ux1ehI~R&+hxhxCg0z16 zBZLC`>;8e|bsd$f#DRf3GEuwJE_q=?%qzTO2-IqEue>-l$d$^`CM9TEA;_w}N6Tpa zW$~59l!&oOMiJ=I;wth{+y9`ZvftD!nSZ5SqMi5e+6awmW0Om2(aR$XSFkeg>c-SP z$9apBmmh#Qod6Ebg>onuzu>Woj;FN*Pl>4j1S);sBfO{O%;Bo}xrMDLa*X9*UG^wk zU9NG&X*8gBGzy20<-3Hme4k;L)nZP1%&J$Z&uV!w`NxOxb=6IPa8>Brjau8YumZ_zJch#H-8~cNIGG*c$VP7- z8MG0r%^1y4ODahC4)V&ng8Wbp{+UMjQB>UiLL~YZgMj-U`M`-BTuoY>0*`%NbH5(_ zsJ8+AHGs8rYQ0HKzdJi#mXB||awf(BI7v4rDa0jS_#whd`7+FGjSGI=dm4p7s%UU~dt}q+BCq_$!z)Mu_Zz;sLi!~7 z>Ps;DR}nkG=Rmv9HS6zRJ*p*aAi zqS#u%jb=5YX6>wSEIs{ocb^!`ma{xU6$QXQ%Pqy_M@k^|nfA!TQ&JgW48Q`i8K%n> z!y7@z>8?sh`8Oh7G+z3(H`$eBrnnw%7cJn~;qCDm zT%^eE3)M!F|Dlb^jHF&G`GDhcQvXh8UvV4%Y_5#S(`}jzw9B+cgUn{2zR?M>OW>Y40X`ZcbcwEA0 z*!T=SN{4PK2V)M4)A;F|r z6*psmFX-TLfK+t5}5aCnVzlD9&;7;6`OJeVDG6&=HEaqfv^= zvx)#hsvlA=w;c1G?y>6VQ2h8~W_n3i{yN%pIB8l&Nicy2p8B>yg^ZpxV^vTQY22;n z5~JX}JH@y)Z2Ylx{C`>svw*OI7o~9LPNnkyNEHv*X1tn|q~cNaylAC6e!-j>NDTL! z3rz~aqdd3;NuD9=DSX{3^j|C(J7<=7oKUiJmENoIm7e^2I0TQHTV1Ruq2Isc)XY`~ zxB`rp9Wgh@TQn_q3?4%>bkw2eX!hE%qXq z4$Q1a@SdhfRpJRd5or)z`yO4C(2ukz&$IV;kZ3aA`5dZs_IpuKKSy1s=)}^cfLHHU~Ie-yOm2^I>-p0bEw2jQ}Ig z&apNQFXoC7kqyc2HQyn#g|i8<)Rm)&syDIlqfAK}MZjAtvCQ~N;b>m|YG&EQgH1hym)*fvS)le)=oaC>P|tjrF&lp$p*QizkIa6k z4DT1-H-8~F{qpiRm3owzu~LNZ`msW#=$|X4qIe#q>_h2h8^%9Q`8`a`7vz)Fu;qa} z0$4CQM*xBVYji9>{ZYr^WekA6_Z4}vMw^)Y>e>$d6*{Z$Xf3M5bFl^ss&jTi2=bg~ zO~@Thg2?xUC9JNdYAy-Vg=~rdpXc0SKL5qMHDaLVlcdA2c8a)U#g$Ij-F8h{tK0Cz$k#NvMUe!+$Pt(y6Uny_5& z%S1H@x>yJ@(Ef>g@h^&x*5-~1P1x8EAiCj_2qtlsOZ)pBfZfx zI5>I`EOWW*`65EWDVv?5Jca)-Q`|Ue(*RCHub1Sn8mXjihW!Q?pIhQbhcGcTQVEg@ zD^$fdeB;>MzcXmWCGCO(SF8g3=Mh{(8P|uN1Q2C2tjOHh+~a_3Erp?6p~QjNC2oG z6KsE!X5zGmT(RmBY@Rmq$?&F154nO$L87;Br4@klm-H} z+M)tg*jFe&Of+Rma8BroejSm^z#64I0<~Et;ib*vwd@wskw%4mTYW zl@V<)&3~x)H(WE*qP}M`U5iCKsaz^#0O`nA&LL%Is}3XY9)&GuQsbpqIX8RsqCXK# z6Jo@Zw*0+#{Chy<`#2emSo)55c`TD849gC^`zD+x+xh=V@r?4T%rBOStX zO)mnFYev#;(UlUma2WlpjHbg=V*50tDGXl_s;$lGr0*d>t(~fH>}V9@*-3w`r+QF}$p`%cQluSE(Uk4R2V& z37|&aR+XX;z23Z5(T+uh6<@^QNBw*ssH0@{vH7G&rct&)z%|YNP}G>%pC8TV4aeyb zjGv$UQpn%+hneQ|9s`_@zL2CFZa!Bh_&(q!8X)uFc`bxpQ3uytfTn}AD~V9+6obag zmU?>JQFHXmKm7>V$2GQN4ykr)xKw_Uu)$UG!VSZDk!3zI$Of!8COfQW@OGd%7P_dt zrq=NVziC4Mh)I8@5?Dk9JQ9!@RRNCu+*}=kKq3EYxWh63 zEuG3Bp)hvj_64iMq~R0J^PzoiIj+1&fp0c~)kT3`$PNK;#H=-DO9#v|^$|N-#&3On zFb3dyc)9VMN$anc`{b8pg4G43IlhTJ<4$P%6GWUz!#*i1vYF%->Bm4YocWnoh}_P6 zvJX@Wl6tGjTmh{OJWtJ}0?%`pOA_Z&4DsH}s5~7glBWB9OduKchpDy-w&bSBPy13` z8bauoAn%i<1Z`BNeX9@xj1xBr0GRhm=9Vg=U)k#kXdHPUpKNMe@X-1vt|A&VP~>=d zt4V#xY! z9S(?sTa-?C1vlqA57qii-$N1|iV;AeqybX9^Ft>!a84QgW{8$=!}!|wrY8^%N_am4j=7t$Gm6lucmWJVj>w3^Avm8Z#@HTY*EH@8!&6=2`6~J3CL|cR@w)E ziovb?IruQ0-G#&K(7&b+)P0;A3%xHvdm5x_8vZ9#XEyr{u_7*Xn`h1HFBV*^=w}?7Z!{cDKwS{HZU4&;) z13*zV*PXjaF6G?phKHaisR?OpHg*!S@pSczcoKkKg+2@ljA_O?!`#jC#aH#)2%9A}3o6N>l zUG*rfsq8gQTu;Xk5Nk=FxPtz8f7$S)_6?CTzc9WHlLq4K2z&#h1UQIJ@F)u1CO`>w zoY_8AFUOHMK8IdalEnh9n6Osi$PBC0=S^-H+^iv-WlAmzmkTp+_gc;{?jYc(Q(-l9+?2=CJw< ztwQ0i?*SVqrt~l!a3dQ1e?Q291klqp$(Y+}2@l0gOL9G@G`V;3vrPLSnL~J)0I|(B z#93Z_nk4DIrEE31V*^lx|0QW5>o zvIFt~*G!;nOgZt&3_6U5-aO`+D+wg&rl2h7hYC0R#?HL=AM?D)1?d-+0+?SbCHo{! zZDD||L1`OXQ+MNE>!k6eI9Sq zy{>j;#Q&9S*7t@`b96^9gXtCvfgG@v0Tt)x+=3SFXr&XVl8~qWdxPT;o^+|DsTw;% zn@lnOO?x#XoSN|DzgrzK0gyv<>~icy%b0h6|93{g2~{UqfyB&IU@M`3R80RvN|KoA zGCYdl*h%m+>%49x1(9HM=D034pq- z>9{~0Xj~Qz^Ktkuw=q6D0%N8Wf=TomDG*Tpn9ici1IDdc@_-ieBritP#gZ>q z{buh@wYK9a6$M8Xn9LC*)a#2x?_BiFOm=+SQ7P&Y*|6Iti|qOMXC^boJ!b54D9bl- zR^4MKWj{+;-I;6&ZUsc7@2xh`V4tX9cCHV;2GB;wq&BuD*FcX|uPT>&D;Fc$5LNI* z67>qzi^KT~05747X@if2{l#=tGCrH3U$QLW*rw_fTB2Qtzc{x5Ul zWLr>b(VGvdzdJ6o zBih3esqtp*)_)!S58SEWf0J9*tT-Qc9>EqW5CQQELYunsCaIlnhlc+6hH7hZQPHVZ zwhXmyVW#!@jUGUT5Kj8HA}mB=aCdi}zNoBTaYqh}5}Am(paH_TR9tC+)XEM0MNPyp zf614p0ej>TFuHa01;KpWCWvIFbs$)Yz^JVJ$=iH)pb51lP#8fR1(;hCv~Cw;SZ!~# z{L{UqE^4qjf-QM0gheQQUXgaKHbE0x8cnAK4yd9LlmY_t&~HPomNSW3GRs(T5@XN- zZhN4{$P!IKk{8ncA&`J+^-kwHsZZ>NVk2<|KrpVQPm@}SEes5m=@M~Nb7sZ^N8pVy zwaJ+Jn987QR<|oMR!wr-MW1`S6NfqXQ(P$Hg8(6kPSYA;{iZze?P0@qA~w{b!?IS) zOePFtOp;)|;me60$XrOwns3J76)w*sV!^Y_2AFrw+oV_!%%AlmO5q-^LrkRLieK<9 zz$|z?GZ`HTyc1O2d|Y&q1$gGw0J1}cUz~Bf6{Q5@UP`Vx;G~u%IhgyCa5eGEy4=ee^X(fF!y(e)#x~bp zWgv46L1&U0>=aHf4|BkoKroTIGB3=8FO$9jc^#+M_lnOC`=N@MmGDFYv@ccW0v(n8 zPaN_fN=HBhB9`xsWWdg$z55G@DRqvLtb$EW5aQ*q5*t|%VX@_|Awe4qJ#f$xKtV*TCNPY^0sSt4Ey5_61AY^$_EV){mu5tp4p6~#_ z->*8_cxUGEx@kvuEbEFR_`P<&k6DSHh5P%UGjLV8H0q_jpW8&%foz0Yb6*jCyaSPg z7V{$z(<4&6V{cYh?=Q{5zz>B>jl9>`nrAppfe_qo{`!I_*AfjHaR z-4TcPfof58)n+%j(SB+5G4yX-iJny8{)|ac|4#& z2nNr2^=3p2;ERv?_^qr-AxqqWh2n(tYb_#k`>F>dSj#BCRdMyAdDO;=WM+^gvbBC2 zNGm7J@e%{_eIADoFks_`baO;s(YsVX@@Y(qN1TwXzTeyo7dWdZBGlGWC?YK{CPc9f z97C{8@Bx{@fm z29DnyB13W6@ff#di@pn#MY={on9$M-H3&Hqy_3@Gu?5T4*BKg#q#r$$F@rDWAcLl>V;Ds zU)KUGZVLvY6<3BWEXZiFo$$x>dB`c9=3boRtgY^V}Gc$5Bai!g0f#d&giHr?C z4$PMH-y%0ax3;Zw7AMB{jX^=&ra1*V3P?dlPR_XZ!jRmB&Be{l6KE`YSXqlBaG53G z8y|QCBs$54k7sdB66AcV$a}VX;4eM}f>Ex7NB$jML>T@FRUzpHKS{Lr$$%KeqvJmE zpFOt|nSn<~17v#45i*jkw11oeC1Q_0M;_z>crO%N1!!VE;$kSMJtOfnNg>`**gGL!1k44B+^7iO-Sj~D z^dm@mp)?FAAs@(J+*-&gACs6kdW_3KGy|{`a$Xo%!+Hjz;@OB=I2+pYF`yPsQDzgg zA5wR~G`RY4z~*71qy{Hgi_tDDVR#`#o4$Y)(=rLrz#s=wuRye#idq9sAzrGlE@=%(*0wT)guq`iMVT z*-sBIpAMl3k5z~gL9e~~FOc`N*(~iGb4kYlR@PV9K`Cib$H#u5FVUYJ)L4-h5C3Dm z)%2O}S-y_EopVodL900Y&?pu>IsA!It;OhTrsL-`&p+}-o!{@Kl@W_Y92vR3U>o?~ zs{ACnE(H9+<1sU13{U>}^Qc~O_Gbi7siCa665R8a$qPJQ7_(+Xcq($wKDecbPr3Yn zx$vJnzXBERB4_MHa5)QUmX6{$dl(vd;(u_xAyJ54y}v)ifirdr2(h*5VDFpn_jS$Q zx&hb*V}ArHXW}aFNx0vbSZm&m*abW(y5sQKy5rKIb0nPQOukA!lx8il`R1>P<}=N9 zjXy*v9CIMDChA2Iy% zw@;&?)ei=ZY8nLc0=anAEz*3AYI6lnReMNlm3w8a(p)(@e_PH9|BRE=*%x{ws&pc3 zC-P-gNz6SK&B)wg>)XvJ2;gn2E1zDWpLObTGIkM)wTs{Q4TQX=Ycd_a>!fo99q#yN z@zfc$G0LyRGacfwfy8&|3-w(C_8mOx5kc$*JYhZ&56;^Ly>`#KBJ?bkxt&A)b~DX2 z?64Z_p-(l(yavi4`vjhK1HrF`?-G5}#O)98-4HpaF35F&I9{`*LTFQmhga#=!nARh ze6c0#=f3`S@B@{6GkUkZ^WzMw3|_6oA4XnLAw_qLaXkQ1VGF%P@uu>|Rlq>@on_&k!Nal+p(K*1OH*EkZ%mh6=n7OAdqmOS~9LVJ=FS>`s z^ulvSKN~g*%V3oD>SoS>86M#|jT~`|dv{y0tzz;~0~%!Ep(QMj6o|YYfzA%Tk7j`L zoVmONdTdov73pYAQJ7WgCAD*0ekVv-cKQc>v7eTnobNpDDS4JIA{AZ0k6lxwQOhDnhR z1(dS*Jq-ASmL((Tt}#^TPS-34>SMa}@$IVE_cW$;y+)cu-xx#yuPfowEC-v8>%oEP~`)Kyz1 zcVfPDZ8RydW@zG=XL5d?@Sa)m+N&Kh=%&m&ba+51<<8gVnh_z)vF4sjg_kpYfjAnn z!-pw)MUoJGr#r(9-&q7JNcHZiV7bX*iD0}vox#Squ~QoYQqZB^49wwp68w#MZZVfG zmx3DKrHveCN;LXTv$lP)$oFmF{}2aitE$$>qcv`)P`2)ufm_q(sBVGN)CT`@J)MW> zgd!2p6~L~awonVFrWVoKXUbdL0Y42y8}VbmzQv}j=gZ|q7X;TG0N2UyJmFYZ3;tT*4L2S|FHMK z+KiqC^&ba_X;ZMzS{kFW?My|5!(^?2x6s|HXRdjmW~~pi*>8=UT!ZMmTE~#H){5yE z3OycSV>!DA{QHy>LCvrscD@WCq_yB7s{S!aXpERcWlw(_O z1-78RpK-deJGNINL0K&r?K`<2SZptQpk{itA2j4pjvD=LKR@Rk6P>TA;#s2EYwV))y)Lbi8i%xX2w_Q3EF5>e=r=73?tP!t=a1*8wquv)W<}pvBjA11UAdBD7 z!_a0#10QGzKD++9t+4U9+_anj4IwQf`~`3N9$RM45_f)7ok5~r%K2$72i7MQpBuLpE#;NCTG-};LqlogXXFM zzJoot=pH4lGeZ?I7Vnl>E7>O@j?mqWAH9aLTNINT_^I5?mMPuL;;PL!>~HH1dvS-| zy*aefP3<5<2^y90vJb6)37GmiL#JU3ZG1d6e;1#Z>UZhg3L&X4F= zwkOu-uJaAh@x>X6w36BUS#N)~!1QncqtySw8E_n+HiQ1w5O1NtMi5)@pt)E`I1oN8 zdu+Cr2iE+J%Y=REIEtW68~#}F%Me3A|Je7yb&s1n$^P4UD1OH=4cU^3WXQj+FJ92; zQU?As`WAMnZTpY-$}wH{OHsSU$a?=pkFoydV&+dz7eN!)OXMC&okp@5kBox6!Lwc{ z_BQ~c)ZzuWa@5-Qq~%Xol~{F_cAvV)h@P0Q^kKPBH!SYm$Uu5t8f(diVr_C}oBlw%_%V6m~?Bv^i36bj+Jk6FGa8 zZg~w2Siap^WF-BFdx37*uCKIjQgA0>F=1v=PB9iXaV~Z?PGKfdRu&E}MovZ!4o*&S zQBDqiLSFIz=So^V88`<3Z;?v{O$lxI-n;X&p0bLBo|YP}9IA*gvH_~ipC&3C^4*@+~zWK~1}~lr+>2k_Chgl-M}^SIW=zqx&Y8=XNSRom_!~^W{ zs0Fh8?Z*V~I;#Y$A3K=K7I+qc@mDc%QUx%LLk|2dIL3fDo)^B+HJz?K-j;i(G=Rx6tFA;e^28u5Qgvl6+Su#oAGDrBV8y0E*v5u!E&e?x5;jrpv2h~ z{q@*!(}hA2Anj@VG4srL-Z7vx0(3Ef13SwmCv(9OlT=8}QMN);ML`&p3QbKqMOlvS z@nu~sD%bt7?bepdqAt7SA-j4*izuK53=1eggi9)wi4>L)qX6HPf41tZ+xGQ3Aws7( zw_R9heA70+>~H6Hd@6*&;#HQDIZI#CnWjQZM3|sTjwz^5!hmypX6w#YPaZ5J{?XL6 zT{@dEoX3+{xvcum+14jhCdJenfUg;8%(vqHpLy9XbWfO8hfO>t6&brZ2)2`*N5O6r z!SJG}Mzz|w@M^8wf5m1~`X)XGmv*r%Y`p91JT9)oMN@C>qdN>As4=ecY=&)Bb{;m& z1p~?9NbUQ%+Lb9{nP(&Uv|2XN!<#e(d-Ct%!!JXUnrGJelRCUI_;GEW*zt1_4=4Y>HOf{eOTjyyg zzT1}V|KL_|R4K3W#;R3~wF{Z&yJ!Wus!auiF^J7zm;w!?*oFcA7e<$}@|yJh-L?sf zFPkXw4qF2{-KaOCPU3np zzj*!Re*xL%d>WS#R{;})4!wsCy#a>~y#lumy#uLm5il|eFHB`_XLM*XATl*KH#L{h zs00-RH!(Lcm(k<_D1W+Rbe-$=J{;Rlqt)29Z8f%6Y};y#hK=pUNt4EAW81d*Pxtwq zv-dgU{rZlKWaXN?=Dg>;pXb9O`>d!;CuCx01QfTkb*5vYXXFOR$|)P#Ix#WQ3ENql z0GR0+8Cl`T$V420hRzmtwxWj4KyCnsvpGP)*!jcH5x~sI$bSV#29N;S0v$h;CIBN3 zfE>`-P{qR@$OND?{0k`BIXTlA89IHafwpEAwm_;67ZE#q4@V0#bLT%XSm@~fMEc_` zOb?JYG`6yHbF#7k7}}Zur0M180rGZkA3_TNrJXIn2xx9-Z3?h61*iZu0IJGjO3DBU zB?VPQWh(lQz< z=>O#TF#O{#C#E8#qNymx#PFvE029C!=;&neC++`mBmZCq_?y~?tEr=%&0h%sl;+OP z_S_5%Zf*_(N1S`;J*U= zIT3)Yg)z|93HZlJ-0ojWn~zq0IDN>S|3mDf5zc>NTK~%&-~yvQJIdl zmye;_|9_sCp{JX<9<_><_bIr$@I`Xl~mfRC5Gojt(R(Ao*;V_^#X_<-|rGIRw3oE=?&K3@M+ z{5OJQ;sBUf7(0KA_{W;S{S{rx*3=Hb^)K-UlYguJ@9-)AT2ZQx{WP(&we|p*08QZ- zgWF&8QNG_d;FK#|5&I4{}848|M0bN61Q*% znkZU08=L>Dr~i^mIU9ZqypXM#HSps+{t~JF*&*wXVg0ypEdJbA06HdC_W#j+%%QQB zEzrpcz{&EL3i#21|DpTQ_CI6+45GrqqJLVNH2*y-f7yuH8rzvz*qQ;D+1LSwj*f;N zaEu=Vz|6)5@M8LyViTbIUlRggptrSi{%`@KWO|1aWDcH#Q#Pt00ybQ(ML>~ztKlb+5aHU4?o4f5i5W}u>a-GyEHUa54HDaRC^N|AUwqKO9Z|0hs^{z<)qy0E6k@kom*c)Z#ywjpYw? z{o9`HkGY+T<39p?n3(+oew1MT5BO2L#XsOj@s|I9A5~cW1AdfY{SWxT#pZ9w^ihZH zKj23lcK?B_AGUV3|EP=UgQ)%A>VJ>C_CQAqyMHu->4WJ%>R|d{>hyP=A4(?+_kXBA zA~^r8{z&d@?g;!xV?Nk9yV?E2;iEQ}|3KzHjdL-v06GFc?%01=eU$9_5BO1r+dod@ zBj`UkFn?tA_y_z5>G>D@?=?~U^KAI*@?-paZ~pJ0`4?7pcC@nss#}%J9jTSR(3`J9rMR@GI6joebmFk>hoW| z#{YVL{dH@8Ecn0ipN9tk2y_P;!!6F)8S?~NrZk3@`ikXGltGel(VtXc@oPxOLoB9G z{KCT#&DkOb3KRr1`+p}duz!=4+av|Lc zXPBBW9IesZ7f?R6;Vn$GfjYlGV#G!nb_*?1PaEWgVvR^c*>`oI?|*?imw+F(WCQ(IGx~IHy?Lo2Bu@ZR^ zZl^mp{T}8>wwek+e5 zi6?4D;Af6X^b{2m&rwbk6Q{wG+VMljm`ZcBS7;(>M$En%<$vw9bEyDWxz5{ChZmve z>Ns>(Ros*>_M>Crcm%N zpFu4hQQ#Nh>&BMw@%t#B|SJQKhUfY{Cj9y5$FepHYYEMpX;Owtei zxM{PZ&=}B7ZqjNf10{Fo4IZ>4Qn5bD62q-|OXBHCURNC~2ip*eSQHRgG7cuBXbb+u z26(2OVD)Fk20~ZP<`O5Mx5w(Dmq&p&SUh_H_qXPlQGcIhS~Y&toJN+`gCoKaxabO1 zKdeblY+iHY?`_AlAB^_{cuAcdonYtnLQ43it#fm7A5hxYG4tq0r_?s2e z6d5N!ipp#M4_6R_n1@wVt6&i`{m`5w;{9M;uZW97g`cz0w$CI?4nEQ`v38doNgg%V z3aU&GjC-il^}D(G+^nQAG0|6l#bOwsyl6VxGR-y=nzFYaA+mUq)$EYee2(6bFikBwl;< zs!^jC@FbK#9W%t0!|#YGLvU>zREgAc0p$%{4(ooHnS!rI>1%`A6W2vGt(7%NJ%GIp zYs_t@qxg0D%Wh`awTpDdbw?g&z!S%IYJUZ=O_qK`7TNVxdSxz$ z1JyN0&*@K0mY6g5zm^`>a)v;!yJo!1LSe$q4!eAD<9`$21;t+$#`iDT7T(z!(|z90 zyMb3M_yur&UtDHnR$$w{A@UnJvB)4v7!^ijAm@M5hKPIfyzp+6hjz z87YsnykOdOO<`koC4(rUNV9*#hQR#rzP!QFYsMFTg8Lq?$}$mQg2q}7dTt^uCN~`O zE^gpA{=#n?By_d{$QZJ_MSsKZ-@BUaE{Lm!=#|ccqXxPyLSv=OP%?T@9CaAs^PX{w zz)$K425lq8=n7=Do2v_|v(#$EIL8~y=vIfqCuwFjirvvMeURanPn;59X7IrVJ|!Sz z4i11YBFP3U&U3AY_p4&*U_=$_c;bBzNqi9qTdTe^ridh?+YitAX@A<-{zL4HZv>}i zT|W~2%XNx7x|wv*lQ)I?w;jkNU$b83X}R(VMa_z{!K$Sy-h13sqQ!&bU9%!kL?7sq zwx91ppSz2@z`xZ$Q98D|1^5sWYaGW&V>@1Xk+=i!4^!SZ2Cv{s_usnloXPzV0U=L-z*o3-`)17_EB>>4-2>T!Jjt{pBi&YIgCxDZ zV_3&GFmliAaDbS&SytAgdpdGQHTX2DH9QspkTbfIrcAA%A%E|z8Pamt9i}g5MN3$S zCBQUMJC171V{U*^26fn|m!5pk)q4DVz&kAi;^T81uJZcw16E!87WXC5g@uiGhKsqA zwiHb(CzA>xd5RW$Oys>ls9)`6vo2k_h^TMdU97j6=kd&u2Xl>UB#SD8q-X zo&oyX23mEN0Tu47gv}( zrYgN;o0#DK<7I8y6iDCHFDTnN@Vzt%>IC?;Nst>t&$^iVu`tq~o{8`rNgGltG_+nk z7#Q>+UhDJ;q$d%(F<@SfY@EGuQ3yrPo90L4z5bX9a2}{Qak%$gBU4fGi~E`yfqPrwOQ^kKg3<}X^hE%+b8x& zsR|!7P7hjVPIl@{wJpbOm&^p=3UxofdD-h;{6L3D!W9`8E5PsJR9cQY!qBLGy=N-d zk9W>(o_|ZyZ7@Q}Q#3tXQVZ#dHOsC{44-P3El)&;7o=~PWCh_^aE1DJJtBc#O*^?T zaSBd!lbV%qLG_49L+(HUq^?>s=%bO!8tq zcK`ZDNg+Ff42n_=zY>v9GUu7dNE1+nA#|r0Hh(8#EGIj(?R^^|n;oV=MicgTP>;ly zZe$l~m*u{$%gA5Z6EuO5O*P~TWcr_w@g@Q^9tGVdcy@2R<% zzkl@0sHqy}UOU6-;E2Y-YlHyyZrqt zlvk{;pCdGt0C{SrW>*qmWS= zufVSAk%G6YlbEDItlo5KD`7TSto9SQYJX*{ocu{f-wj6Daj6{a6h=hJ6(};U4#Trr zNy++6&&m8K3||zCERBdz#yEbpvGFnc;TN|4xTF^4riP2caLdHoM{MQTmm4Pjr6ozR zF;gJ{mPl6Ug_G`yW#K@wqgaCnD%-+endD?hBEJVTJdDcb{K*&Abvh<{2DBm&Q-7i0 zKF_;C?OCbn{4{kZ`@JU<%<2F~I}~IYV=cC4xd1U}pCKgFo*91GXuaK!`ii9U+jnOhmuzpWX6>JYuhy|g;NhI$pr zIz`M!`!&x%lwfJs)hnYqLp&bApYXMg)sIuX&3b)!pc-<@eF4_5f~S9u;~qD zt>DmHy&6XO%MJG3D|RtNuW77Zm`LasYRj^O!;l8_YtdUzl*P$)jpd_N@_%%!oLDR! zy$cf`iHSoYJ#ZY4&s8iztzWNEuVeg0p4j<@p>rWoiE#uo8s)RTc3=cW4IZ}Tja>_i zOYk?t43CcZBR<;=D$27V9=8zxSpe50vgh*+kvC6W&BsD?HN~9XRG5qFT>OI&6 zoN;n^!PvDdt0uCqbV(LbUw^?K2MD^*JW8j=(HjJstS$7A5+MgR<-$fy&d5{|APPvl za0-MDF6@`df_)_-tMJ{<8ErPnHb`=mI$hKQtRvknsm{t?z}T(rHI2|$_NJKLh$XJa z0D0Pe2^;0vm}Si@_UTI{`idT#O-|0z9Mu9WUtV2UCV!Sd=+AuCeh`)I z+C0a{8k*~unt&(f)RvfPtFKmOyFF}M=qV_nrPmAs+m+%JzKw5*{4^$ym6oOL7|m|k9SHrtM<$(;*;nH&nJQ&fcky!{ zk!7e50tSSE+#(5<=9QzCb{uHDLJ5ZZ&%rp@6?Ze$PY+KLr?-6{Uhd z<3{#aYgTLZ6vOP^fy2cP2azp&!)enY_m}-wZHm!-pQHA}HLeEgsfiic;lb0;0?cXD z_VoH5w5cSysaaB$G!SKqrL>)Ii<@sTP2e70hWM)&4%S&D6o2Rh)$+s)CFcdL#94^u zZ~X!wB+C;e&_<-ON3zZ{;cDh$s?RGJaGO4dM#e?M%A6M}`rVNr>}yKSS=&Q-X9lVm zC&ZDBmc%NWMyuu6unNk8*q~>Zz7_bMaTv)DR$S+u`Mvoq+PLbq6>R1AzF1^^2+?w( zRk$0Q0iI#M9)IE-hK{w5iKDdemWA~F3&zU=olIC65fvep@uoN}A zE!l5VO4N;O+u@bGu0Hz_@{Akl3dv(*!uKV}wejuQ&3|8;$Q!jp^PC(zL`q!+9=|Rg z-W&6cFfB6q-&vv`nD?yL>b4Yguh$V^7lAH#6zb${9J+g+2{U--<8gnH-oyTm*jB}2 z?1QV~9i2dU3=t&TAqvsppPsC`ts#0Em`WL}ZXH*c@2xfKn|@3khJB}u!Z-XlSy*$p zU4El3O@Aw?Y9BE6ynrt68B4rjOAtk6o_`?F2_kakN9fdOk5vdMnVf??mjopD5*y8T3(&tg&9#n-hn^kk>IP2{)0PW z4~s^Xkgt2Sb%`Xu?&NlI&Hc`op854qE?XmR=#pWkLHZ~=`DF~3y83Q>7>RH6mpacg zCx3nn{9El$uX2B)u$rotA|V>fmMxk=1s(<=O1*Lkz&p;7yp*a$w=QMkwjQa7zG~i_ z_2KJz#d=%)a7f_Nm4CVrG{XY+J~W+wpF)~8Qx$ey;gz+cDUK@P+;y{#ZoS6a7H80` zej^-_Qt%de$mxjIh3&>z3U<*W1z$7FhJQo{s7(70Gdjx0L|W$D&thx?vh|0=Uo${= z`qv2+1I`NU_*>|M2t|X6gZ|zg8Omr(;MArN9;T;XSQ5qx#1z}B*RjM&dfHTJG(&(fPdJt zt{|YH$#RSi+iqXOyBquQ*8In@LS@LH8ZVt5M|Xm_XPh{@M;-%Y@9MLrJo2a!O|@yh z#VD!stZnH;>;Mb2uIMY3k^Q$|WXIn-1GmA`;PzQ7gKibea*{0IT`mUo#0)>sGvdbm zqLHP_MY?pxO^Vd}M3!8oaSaibO@F>J%mXzCj%jTkoUld2hQE{D#B+Q?R}9goB=P{z zasQ;MqdtL^m^^8wiF<~)bi4SZrc;QK)kH2*U-fMro~+zDyIYi8C=zjHd80h#TU|01 zmUgzIqjG64ks>jRd#4>F8roZoJPQH{7Pd>l#kEB_e33`Xu8h2X@MM65CVvv7jQ#dC zLW_#C`RPstfZHe=YkdW)(cA}dd(dTdZGipBI)C%~L3}w(#r_iR)-7@sQe#@bCVUC8 z8{fVFz)x|_zb5WmZ& zSzaIHky-Li$5OMfFwknF<$nrf4a#p_KE=VN%axN1vrL21txwfsrH^>|4Iz!Ez4}X8 zQ=sXhe92W+XrTl3A;PJ?86FdV`huO?5*Jgs`Abk0u}wk)G&msnU2`5XXMsnsq)vqy za{V?R$J9x$rj#j(xBB!NpV?WT31m-kFo~=72fbktjY$qvd_OXz$$x6#WbRbTWD36_ z*}K0U_H>l%Z5_((;Y=JYF|H&LJ-r0ZOJ43$o=N7(E^_#5Ts)s!qmbWO6nF;O!ssnl zneGB1uT${RR_k>*VIIZXjTsO5Yfi(mskc$xZP5G%{EGx<_!D+@#b-3~U zR^;OLs<|9q41av`uq=kd6~)xnv;&7vk*QgcI=0S)q1%Z~0>v3i#a>#Ft$Y$ZY?uWs zfa)eEq%w0thg%K=)X6VCUeNW>Nn`DIQTz8$Gy|)7!hOr(HX(sNNIZLkL=Daz=Pf+O zM%eaSbXXt=;OMG8>gxTZ|J#&}$`oy<@MiF@ZfOL4Zhsuy5ejB;7>?6^0NeZ&b0rAU z`U3Oxz}PJ!e**3!OdaOJi(GkyWi0wh*i+7S59{Y<5NqB=cI>_CnvL~SmpgW^)tAWZ zJ`)sav_0Di47u-vNbj~rOP(aVZQxagPVi81X~Dj=d?Lv|;EbS9`4VS%BirZ8J5=)^rEVYJOLVsegFg zrW)^wXHHy9qH2CT8r0vF6tvl0ghT42s0a2a^7yiHkKuj8ESyx)2OZBcA0y^%!+qJx>bRJ0JFI_(Q-MNhYsl_Bf6%ZgcYm}}k55p`11z&x&0Gi_zKIWL7xSqL z6{fsKW*y<8DaN~~eEQa4TTu+b=lm8~-c==A{mMyC-VPUp_1&5SS8@LIncTknvQSL* z{mo2Gt6`m_7@LV)zmK+6ZNZNCl)s|a&IMUe|3@-;jDK+|&$3b+l==nEJFy#R8o9*K za(|2@*x*JWos+pRoKvbad{sq@yxOnI$_&15JAGXFSfU+he8tgon7x#~^Q$6_9$nR! z82$I}4BcYvaBnpf9(!#_bQyEU9>-doT)!FwhS7Z8DMbUmLA~;Q?{3&5 ztlFZ&iMG$&QP;`4=l!-@?9|{XmGn5?#4FkPDN@U|&qHOvBZV%ZZ4z<=Sp`~APvX@c2d@(bmP|P z8!sv_NeK!Jf`1^z;mOw6SM&BNSh4<+xXvf-t6{8;wSz&fH8`#SufhLhteHGMCrbdjxG9hSdKDT6N*k_yx9?ekbH+(f(JdOMrUXxI^F8;=M?}$iZoUKh1G18KKrx0k$%pY zuw;!^%1=WY4Aus#nC&i}@vlBO{5_^?PX)O=5L65H5Xsl_Dy~}B36KwW>AcPSoLgj`exM|AI`dD+dQs zTNWs<VKR7p+^x3O3>c-$ zR-em$Ao_E8hwj><@pt1rB-$G7usC{%&15CulKwlW27kfP3pm0$aeXDyDn5SYZ(j%M z7zUB2y+~4)>VqMN5$NWW9~LsjoY+6qa5GCW%^2ikXkCqn32ECke4G6qotex)sE6@| zU#*G*U)MZWvuCv|-WU%Dew>bN*M_m| zVX3mq4WWy9=B>iv=3o8VjwRm&KsYwiVpyR4A*DX@E#@WT`-*qKND(rQdUok9tKk|} zM4>nH4$*H#UuW7amCLNY6d4~Rq{E;ouDr9t-Zn^S%dC8h7y$>P!pxdncqOJ@s>RIX z4u94m0KeU*RFg?Y#~6Lfmzce+vs70umIaJBqP4pIhB!*$2^TDrVx`2=xOu=QSRPH`@N=*gXcaN^NRO~zYo3=f zQ%^=3-?D*GZK7Bb6c^N>MPDer9G+_!CVwWn)oN3hqOA9#tEhC3cpv*Tx&7Kfa2iAM zWqCu!m&zA^?e&Cfjl&|wb*H#?P&}>88vmf8jb%K^YKFSzX72Iv2AMoI+|nCCt3fly zzCULviVJ|aMO%X2S)vpprT>ks6L=M&(jY0k`3X&SNmpG2Iw3-z@3fw2*gm9rVt)$z zRK$y9jWL}a`3|9kI`B)on*A*ZALopQO}`{?MCpD;!VS_dO1=M^GN_nx2GIVd?oI&W+AV>LPIrKta`}( zHA+liTIQG7<@fEq>Xn9RNDmxn|9`+q7cdf3P243;WsfcPazTkLrOIlZ)LJ&`IbC(* zujZh=1JX^`x{6d*@IsMs8TT%*gjvzTQSoaINGDYknoTjqbtx1nE!K0(JSUvak7X?e zlm1oIE*Q;s+h`CS^DfVy2GG+8+tuBEtR?Hyq0Qq?$B5Aya1Ow6&=zUT&3}2GhA+KJ z9!66s!c~QbBu|i2HeH7`zQ*`-IFa z0iGs4VA2K%&p!uMjlVvZS+Hl%lTarhryNWFq{e^|u+5+EQS2q3ZSQS~gqBV}vyLbr zGOafGIz&*xO4JyI$PH-+zJHkN28T#oGwe2#4knE4T{wIcH~Dka#^Ig*6z4fr7C)cP zRUc%=%k$1`c>@lr=*_zd6D7eXI z;Z7nCQsRiO8zy?Wgk;`3)nEtJ>>P4B9CLPa8RV<*JnK!V`(ybFk$>O8EPoccP2}=Q z@6v&MV&ZbuK4*@J12%ZG;I9k3w!HCDi$z-&lvfGya%RT~RW9jrW$#!q>LLkgogW59 z!TRhp5*gw|xG(=`!8KKSZUdaN0yJ+djcw2NifC-nFvc}`V=P6N*X1kH_92MDq#aNf zivn!1bf4w=vEB{OS$~6cypb5%Yk;;k8xGM%lK456Z)f|rSoK>eZm_3qd`(qftX21g zZ&RxcdR4F>$SF_9Lc^@mr)eG>gzt?up?bpyxuqHOBV9rwrW?)>s&M(MPo!DEi4yB( zMl|a$m&#Qj524z7QN|x75C^Fn{B_4H<<6sKcoswpUQw zGN2$XYMVvc;UblKQ4<`hNoVpyqu6@$cc7XH4Swt3k7G5)-|7z09dNA*8?cAh43Et4 zls24NK#So}a;427KI5T_9>2?Blc%#JQogx~h5-CB6{H|76YTnfvMGJxVNq<}`7KdG#gHurNyJutOfZt(W zP+duXUR%2o#&7Ei=Wn6i$EgiNI2Y(?%wgtOcVjNQ;4#jtO2o{!D#mU@rR_*~a~}J6 z*3&A~1sufAF)a&&g!??;&tk9X5P;o_-(uSe{APCQU+KMq4=;m1%lZhTWzvYQqT#iz z;JBS_dw(ez2N3Flo9zOuus@rrRk)16S;fxqYDghzKwmWT?79e*4i$_C2Ug1L`m2xl ztSc?h1txrZdHQ`g!IS#sCHAa?(!s$LJ~{E>1^I>ae0Shgc)9P@caYEAZ$yqD=x)^v zRGlsq-;>S+;`kN!Wy1L9l|>1)95Unm!M!)NXn&|~%GuBJnR0I-aP9a))wkf4!}`Ra z*iHC8Mn)T2R1JQ)hin2I|6+*1q&&Au0zu-|_MB2l{=@Hg@;kh9pHIMpV(1VLJY@!tdOs5K&Ow@mBtg6-J1c6WZLL>V%gt$IU-rp0rt$E3Py(N9@!J=P1 zqA2}7<^6Qc-n52~Wv&hWK*}r)T#UGK*MHTu?^mx$D*`J6XXtsy z+`L&u-Xhx>!HJ%1FqEHH!{|VSy-m(Jt@vPp-Z1*S`f_}$Tk}_F+BNtsaXw|ol3yV(;CE)0&ojKEPo-gr|T4* z7qpks4Rv*xMZj}{3AXNU%nAtS3y|$3-T@-97Y9a#Na;Da74@~Z9LpxCCCR;BrFssZ zlaZcMv9MAws)|xbwfozx85tl@8_MrZgd`-1$4O63IImCy{yc%)=^c!M-^jrI%YdXxpoU~r%#Q|9b#y+vT2c`-(;d4UEJ zZ|aQ#M5ztjX5D=8`B}N!jZP~x_lZo0?ls!VxQo$wP(;pl8Ht8haJglvF>}+{GZr`E zEg|Z5Qohyc$&5Kr?|-l`N7zZdXzy{ZlP-N_Ik=#K9=--aTFywXj>HjN+VQFnj^y%6 z1Uf2RmpE~OTNLU@Dl)w!cMy#5X?h_>b>1Ndafv5if4c13ds-t10Y%nH*;;41=Fh#_ z%7TeFGpv?+||)NH&-?D_JyoUY)+i_YytmMHrPP*nd@TuDp#@R4CSuM=dT9 z?!(A6&;dcHeh_1M>Xu%_j&e{;2~o}rb66Q%qpkIj*5Rd*iL;ZNL{DBOpxoy-{lb-X zSLqW)y;L}WS(wG_^kib6#Jt-8YsEoIgNl{aqeOg)gV9~nPOjxB`kvJwZT@;Hs)j}< z$$h}sj)2ChYJcjG4-3SM8vyelT4V|BRvG_wlQ|<(UMxc#t1=0unG(d|UbsfxM;0lX z=q&d6)BDi(PDB05nu{iP_I9_@2tdb~n2cn@h9#;5i3lXWY6 zO22}TfZqyDBwHjA4Z56rpRctY^`uAiW{C#CnmKiJdVi35-a8BYFK^!8Vfkhr-N6)U zlOrT3HYj62kUo)B51B!=dL9D0G$17DEby=~czrNe=cRik(ZX4fd9U{@Vz%_I`xiSR z2Mn_v6)DgNX%-nFD|a*RhCYRd65S(Qf^5yqh^nz*9Irc{U|6lafd1ej&6c3#Nu_|f zf6xiNi)xUpFwMOpm;}GgW|%Pz?k4nIXG&bUY=1^WMy3{_hOv2%LnMdG!NEbHDc|o+|xjqM`6;5N~2Zr+t}`Q-7Z9R zQao^bfAp;)rGMEk2cZr9S#GY-E*?xkOHiUmIHCxE2lWjwpqLBtKK`oECq0>mv&QOR zGuzS|{49G~d*~wc1{EqAte>plk&u(~GJjcUN+dZP8VXHxqkr@DSI$jK!R#VX&1yt; z->Fmf2+fI&g8tz2frn$Q34!W84gvL1KVt3O5t~0hltPWmEE$9T+Vu-qRW^D0%M=sbbrZ53(UNBg!kxlwX38ch-g3Bcl101DDNfF-7I4zS551iLg&*#~MPU4>#B<|kbs z$0LnJ>Dusdi9q0rakd4sK0_4u2+Cb}%5C_7?|pwB1j2kNGp>- zc1ejnA+!A zD9h0xFtJVhVHI9vv3%>-#uti|@a|^07t)w>FLp^-wCIu^tRo@_XfO2dT38(_rb;4u z8xXfXLe7*|Cj(UHbrr;n+Bgfp>Er3zx2Qz-emmIk2%KQYP%%_mp?_SBfWRT5MUv2^ zXOV(fDvV?=2yyZ{2Omm(I?wN|9F=XvUv zxAuK-N&jg9H`i0-*YTq#_7_Mff9dbM&wUW(Nqr>Lp}5&yRJxIUG%Xp5vDyNrJE?<| zsAIcdPU;3%h8Rg7$$u7RgqOTM96+4Cos@58PN8HM&ovKWhHl;82iU?j1?C8~5Qlv8 zcFO3ip?^_1XrVq!ZkVX-G7ylW;wN7f<}U}hKK3P(dVGBhd3DKjR`<4RPhu+saHB&* zJIRYIQ(@{Rj&*8xzKJyk4Dc$pq>DNs2J_?@-gVnFD9)Co_ylckA2D5Kz5HvP! z>>BQoH51cznjutqUk+)(mx^~TMg&xM_TJ9Rm8xUoq5YtDVJNdJ){4SDvt`NBVfJW> zl6j0IY0--qy(7{!MY~4>qbGaN6$La-hIl_W!%P4(9ahk z74P80+ATJ0!d-kbM+3v}nRrf-fgiuaQMQ;FU(%TDfcQZdWZCFkbgy zk<=Y9BbR<#VL+sc7%i4iRq1Wol-(-Zxq3kcPYhQ!zeQn!+i8p%YOc084l4k}AJGlX zH9GbOC{fQ^xqi}M)hzDk|Cjy6a1NL=m}`=H+^K9!6jW3^reY5ntjrRxD7)E!i|MIP0F>8x==H_pc57KW(S-YsEYsuk7@!enPWyiq-kt|M+4`)iP4WbnCrq{lP{-qpSx6YN(V*yYBNus7o=VsLURw&G6%MnMFj&Hxo{|w{F#2WT z(ti|)a~nC@p_nQ;9Nb-}_xJY$$sQCQOuV+fI4yPpLy?i|EM-9{Mv}PwF;dBCuH!fg>q~icd55!uDDe zFi+`$NRP^#jAs;os zJ#}x5;9&^%2!_IhjWBt*%23R76ZH|Pu%XgioK2uZ%5z~Z(O#BOx3~(<`URJ`$KRTf z5r&a{BT3PqJ$3DsX_8*RySH!iUFlQ!4rdkoJ9GCzm=m!)S2K~O9SZJFY%D{(yWpn2qT! zD56oXXL9Bjn90&$9mWeDvkeVGHhZrF&gzddP9L5NdpMMCr89?T&6JT4}C$b2{ ztza%V7(QnO(E1-KUgoQHje#)Rux%Q@mBKC?1ptXpo`~EpbLX6g^ zTj%5q+Xs5|%hjl!ZJ#ts@by?1d%&oCA(u|E-Er|lqZ2*Riv33Bm4CBMixv}9^23HtjS(hATY&E#bnYl!BwflJCMRN(v3lj3^K*5fvy$K=2CUwSE6q&_~np~M@ z@00CKo0W>7MhOokzG5vXsv7omsUNBJp*FMQ=bIjQW-K*sHM)YXyk(5w)bgDxqgw&i zIw{4kzGX_sUz;CsA>f}^&%f}eG<^u( z#wnAbX}XRr&<=;Kr^7yjKp}y+y3H!(0m~DPYzc&&MK*Dxyp4F)*?u_Sr*(aL-IPCA zQINANhGcJxF?}m58RzxQs}>3CaF^6dwnDds@yjWMp9+8CTXR8=p$6F|Rz_9y;%y>} zbsDDa>?ch|n=y#>yeI3sGuM{H2f|wFh)>|Y;pYF;6G|RbN@)H{E@t)E#o{n!?!73)yYp!g5to8?#U#_wm{7Si$T(3f+V$^<3~k;S$)2b+8Za3n&B(- zq!yX`hW_|k_Zq3B%0HCVDXrI&KL06mZ+#ewb}W~zMnM65LOZB&ZEh~=E2&SKcT`d# zB7uztt>?EjRwunRGsF3L;^n}%h-wKn3vVm@ubqEnzvk;s^fn7JtU|S2j$pBJerAql z{FJI^2c1r_tL~w~y|A-c)=r2hPp~kDuaCna2^Iwfxe;^a+2jJr|9B~!Wg%Z!U~qDz$j=lA^L7IjqHhK>E6W8~v$)t^ncYr` zxjuj35tv7>CFMwjYIeJqzTuGlxN4aZ<)RSf-Pp>2IAI#Wj0-TuQ-Y{bB<%EDqIJ9Vh#%jkMfwk# z^ONk%CY<$tFtmnt-vm8eOC=(iZsZVQ0AP$?XSSJ+A~y1TQTM$rr$x1vS1UK8#wB-8lSjLBMtX~TCMwl^`igBcz4L!Q zufylnA3bEJ@cD8S>06dIQ5bmWncZ%so=-W4uFYo=R#1P*9}bF>lNN&fMt&%EP;1%Z z%{L_ZgVR)w#-kM4ZQYkP#2~FxZIE2s!-+=X9yq@n|L@`dM_Ye$h1GsSK5C-t{+bK zu3;gE%j(}JF@vohqvlqlx{%Nqe@z32r@XRi!4TqN;t%kkOQ~l?r@#V9Mo@%>(T?J< z^2J$yhkxboP+ph{9TH#}*ePYuo<4q(JJ?@F(SR@>Z!ZebfU5*2_A`2K7Qs0B+ydk* zx4nu`?)SaZ6_3)^8=zFD$*X^SvC@+-iiGh&P*!MlfEPEKLo75=6rpS3qApw1Rq9N5 zaT1~>&CoH`Gi)g>Fg>g~$sPSl0F9$&y1^<@`MIs(H4aY4*Yq3Bf%#{Kn6bM?+_M*j zF%tRSX+g22IWB}?h%A69r)EaMx|F>b@sr9N=+LIr>#GJV%B4eCuq}T9N(;c%zn2^$ z6QRa~XL&)Daz3)grL5R$*YN_1RTyO6&rA;qq=9vO#y-#2W@xnBfvk~lAO2I~9oo42 zmZiB{*|>O+tB*8KZ@0A3V?NUyjyVlgdt-k===ZPL-{&PDnX3?0FjKhkuW2fASUIzN-9x0g5Pf*R0!MKNf?cgsGLs8fo)e z&|z`E(difka^$&)=X-S+(TQ-qJKQ0ZW~2#(gTu=vCbG#sdI~kl%2f+19Hbel2Hh4; zNMMa~ZirnD(&n_qi+KP$9uU@24n=)yEHt!B>mX28j`8?tIS_xq{B!&YLL&(v!a9Hx zMP8exrIQ6UCvZ@%HT~HXD@1t!{ju5ysRdzaOqs$&roxJ_7SCW~(74jYxjj5#7Hinw z)y8IwVB|e!e(`!6 zxeW_1kZbwVH<;-c>gbQl^vYK?7uC_(?+)}*mm{RqW!3*w={puT#G*Eg;{)c09_loBAfl# z5R)R`jNlcl6$Uo~IzxTg1kF+IhtRBzUz=r;BEL|bL2)?&3&}>x>AdX>`nyR|L|#5- z^SVks2jl0{@?3iGkbjdAf)yZPjbGxsv3~i8HrD(E2_s4j;!sT#5ui%;ZLR*qxxftCKOn=zLIjDSe$>u$-JB zTr^$O!Dbm!AqyGVrBFybXW(fON7c|#*rH6-Nm{{$*Cc=>e&Ia8FaJd(S|U1`TFsaMD15wav0~n&|BM`Os?nfTfpkLE35g*?9&hee$5#)xmR>xPJEb7=5^}2Fo&gH73RBj-PVCU z(4MqHuBfQ;@iZqxnQ^#6ivC}1Sr21Bs6x5lWRz~ALHhCS^#GC}Ji@Ws6XQUJPc45K z8-v`g@)Y&^08XuL$4N8$Yyicm{z_;e)Uoms!kWGOXC>R2BDxx2-Lf%#JbAh)sfzt7LQyUxQ}~5?BCI z#NcxjLbV4|&lp|q9awM9Ao_e$NGX33dvP*hXBaiz@noBq$~mMWdZxGjW|C^g9N#z}lLVjVScp;+C5G(sV8-!9yL2m2Z7ZOG24 z1Lnz3BNR*)cl>Ov)#y$xQO4IXv?&32e;0<@CU+?FhCDYNfFA{@RYDmH&$*?#E& zgLA2B3$E+zsB(!*vvS1sgQfIj$t;$g>qT#1rK|30^qg!RzR|uJC-AZl>BP~)Y z+=WT)d;9Ira;d-=v=m0lZ+Vv0jT^ zY-TNB#}E13lskLdxq)0#f7?y}i)gj|CmO%-)}YPRfKCgFVfoGI5z3s;Fjh+CI!c z);}!EYNS|cx#M4jWSxcSc6qGog9@}km>hCEnv7LGWoQQ))VY1VbM~>UgS8`f3}p&D z0m%OQbm@=7<_tHogH3-EO9>&PPi&rUlyM?M?N66>gdCcpS~;05OPNxX`yM0_Xiq zKL0}5;9O4OY=AIy*lzkAe9a(cIQF0X6Pvd!WKnZ+_F1`xod$nyv4s6O4oRKK0cC!w$1Txwu&0!cKFCM8H#_sIv%g(~ML4_( zG%y~EZL?9Easq$k=4xbl8Du-G8#U(LaxME7``ZmcxE80G#n3(LVQUHw;bMi7)z*8+ z5Qz2ejxJqImz+F=3{*CgjMtZ2t9SB+fE8DVL!S05;(xNBNi=Ma5t-p6%Yxxw15V6^ z_l?Ql>@+SXr(fC?lt>ta!yd{ySeGKKU+A!Kr z5$@^`F*jj`D#i5^FhmW$0uVZA_a_B)#>aaAe}J!EjFSeMIw!7b@0gprly4L* zVJA4WH8OX3WRq~UWv@!}i|&qErR^j~QX}rrnG=D#@dBm)>2Hia)+2sWz;8A~7i+J#-wG9RQTJkA zV<~PjUMw=65a&rPt@ob;;4{^Sy=kdk^vzF`fmO04R2}-=$T&B5Z2ar)nA?14F%pU| zuQ<(sN`gI+_QJ&d05V-QyM{_f%px|rh6zrON(z4@#JrZFgr>7888bIXh^AOaL}@RF zrg|ZZ`^=2&qu8WbMrPZVLmOI>(?ozOQ4~{O4MOsN75l#unLG(+j~)S;0!}rIx^9{K zmLVI`l&L*iB(&Md4|CEG<)Oadq}slb;%ZvWjNWSR-!Dyj;S!|;(0?>31c=J91+8yP zbe(_s2p2y4iY=D@7TPaTjM`O_!z6o*-%LphIxFzzx*g@yxjfJPMN0=4#msfOqe`)} zk*V)8!la)Q)}Bo;dfHv9=!&h`WO(s_T*CEpA{a`+r(GL^O=NAuO8^kvohn+)`ZONR zJ}LJYnef9-Bx(n{n&E7{Y>7=`u8;d&H)DTIigAai=rQj@&mx%jP9NzuhSwK3{*_ts!ld$>_8)&9 zlG1wa2_wdR?f{35T|}I+TIXg%4nxsy4R{TxC9E`l;W*rto+8=+GJ^rV%w(hhZDH2u z%%e&$eWQ8ckEyq=>NdYs=Vp*Nyb}IE7i>X#1?5&0BXU*yyP@c9H81$7ymfz_(^gu^ z&M=?|YDb{#anu%`%vzf9Ts9v}pv!-a$VV-&NLeEm>7_1GcTVIPvkHWZdnvy0Ok2;qV*b+b8OZ6mrz) z*%#(4nBTBY&k_V3@h+5!1>)FH)|b8n=*J|%I-vLmpCUs}%=Tt9-d5)`NwI(LWT}K# z^J$tQ85o880R9ojm!&Encn7u@g z-=^bsx&BQd{t(`KSJ6b5j0Wk|M;m%B2Tf(1TLodGN-q`#%sU>&Y!9t{{IFgZg;nA) zL~y-+WbA#804#yH&B-xe$Y*~8P>myiCy%+f;VPHS!HKLqM^y_s-#xsT2q#=dlZ<{h zMVgEM>!&4A-r6%5dvWrzQosE3TrHaar`&Ck9*60N;O=BUOm1s_JplOe`^7H?SrCIp zwK87it#_lVGR~ZQcbW+izbFf9R?l{VIPZ5rBZE0n=grjDS&Nrj>o>s!I3zX=CSl%L7V) zIc<&tIlMetTygNt?IA=?<8r>KIm+4OD&S0yQ-n+-XC*s&hs`px6@pn_DYErsbqCZb_{rWn#G z8sXvT)Jdtbqv=sqNFvn9j=P9vBDMx%17cP=Pw#Z>Y?p^sVJ&|m^@@a4E}E6==IQ$> zrZE}EF|+)Qc&X!Q`69|>RJ;*3`p%w%Jx9np#a;D0R9xO2E}`c0N&TqUd`HPQAe%kg zPcO#Z=6#;c%Il4Fe9H4tBd4s~FGvJ{w&gxM2;mUV&dEjbpf-j}=VvE$Kays@q7uDA zi)XmCXm_f}SUZ0ou)JZ%qGFVX0#)RxVEywkPQIrtS(+!n?$%k1>Y1TGWsr$Rx&sfa zmy(4a9K-~HV@!8&7{cZF?C~f({m!fF{k>zwx6Y6M;nUOvd&3lbMbMa*Otb{q;rii^ z8hs}8w=u)>hw!d0G!b?yrm))p^Q)fAffRnq;+eF*fB%2B`D^Hp$W(*9aB>vtIU+si z*I8!J_b7O|()DA^H8`to`{839v^s&qqfhH|b`OxmP4g;Oq;^gWlq*3)gyYLNMQe8_ zM0@Ks4h3ajS$jNbALdKEcaga{7s`?)itvk14{3PQB%oxSmjSuYwB?(+(%jRyHUH3a zC{|W-ujGHyV6(-`&C(O%!kiZ5eO&S(0jLRnLzJ6&j$|0f4@M&?$$LHEICMlWKjjIL zaqE{rg~MP5Stg;FD{{FEaiZv8VtjcG)Y2f|HzRkF;Tx-RkXOFg2F#6D$rE}ASNo`tl8dx#QyKyVjLq16>U*9?&QP6_Yt`e#_Tk**Wb6UMa5w+2lGp`>bW9TWILl}Fz%0yjiZ z?tUipWBp-`|11O1Nh~mtkXaP6dr#%jt1Zqqmp~u7ln*qpSn!W#`HpX4@0T0V{y1yI zu10Yg@!?fxZ4juVSyj5*W__^%gb{y^CZHBn(UqU(;2vWhZm!OR=94R69=@Dwn-Xqr z+ZL(-DM`_s&9-9yiW*(k!x325_!AHmXmSBrBP64rC4680{qf@tsrtDg+eQQ|asx>C zI?n&6i7E8Ywa;&AFFbGJE?7$um$T0G-3t?TXN@=?YD>%|SyA9!;0)cQb~=Br@@XL^ zwEEiuEBE*BcHiaHoAeW^8dOA3EYEnq_d%U}xE``MNs<7XD7Kl98yatXooRvEgpso2 zW>vz3FI<0aJLRX|WI$O6r^*_)WX~PWJ(c)>8qdNB>K3x5rO>(V+#oXC*HZ|UOb%&E zAhzLoCb}|#UJi3t?|s{Mj$nT><0Ld3Cs2Kf#J}1Elh7yut2s&y2tS%IPK4jpsE>}ffvw?QE(c3JJL8R?wE1i-R9PH_(|bTO zPE>s{VZk{GC}aVPEyI6Ud*7H_*HpM73*(XnJWd&fr&V_~MT_4DbV)5R_A#x3%9Ve9q^}1X0XRdHjH2jxzNEaF&egJ(@sVs!`mABiNJH3hv)_pO zvq_;i@DED$SWj!r3UCwA^zjcL47O1FA-8ffmV3dLNJhSB|ls9Q#N)caX zoz?@NQpnkA84!Kh)we5c+g4~O}BePbwp-6{Nq}h$v zmS;B+9;Ys6p)yNl>S5`7C>igQBSC^pAy)w3OBWbE)1wbh0bJggKy%Fz=z`ebmctNe zHXNyaA_>%b*Asd8*`?_s4rR*&{Xkyj%12VBfz0^Adx(<+AB6J8+CxsJ5$nv`W}HmK z3RBH+rh0z{+#a)M&EdX)=<}Z5>r9z0U8HwfP%&gu##e;t!?N!R`6r07=t1x$YLqj$ z+q!e6N7#eaMl)-FV#H5`FwRfk2S zcPoWUrl_hWr?tu`pnQy!4FwQz7?7_`*vthO^TCT&LM*Z1mH8oBrD z127wy3o?*|j`$I@s$CVDEL(@qpq${#d0mf!YO=Z~2#n8akC53K%8@@E6l*Lws#ujYSbV5P!1(Ix6kXs!?%GsBrxblylR?)C>07tAm<{Q^!!A;(qIOG#x+r>p_&1yBf2MXy6=G=-d!%r&z9gE~ekyVSUM??%8ueGs;rQVqLg8*6W47Tl zMcR13rLHjg7}(|Ji9{ZW4CU`0?J0%qQo?Rqj$+KXX`=*{7sIJtM;@-7gXUz{&i9Q` z)FSM(up)9Y=Kkbi6HDF=`KW(KNehDREM=wGc#t0QoQxheVzV~#Ny=}5Zczh6BisjW z`D5xZ72n$`R=TqqUZl>ij#$_>tq_NyP)b|2e6q#7G?zSPm0t1=1Ha~xZx5%|9xPUe zU>Qp<7tF$QpJ~62PZ;K3ngNdz2(Zmt2V{KHTIHEw{6|yGtxj zq*MvD>HsDt0?F8UIJaK+M*Ma*3gcw3RED;pTzFd$m!Lm?9H`giS%a6O zV_HO`vSz`3W7k2LBWZsM-40VD9Kavtxc$EU9C-*8klw=q@7SS1@>@aiK4+_WY z0@LA7lXl~44(A90#6Mdd*xG%%1Q#aPj{NlzQr>d4A1k&{VcUP0I;@SBlrWAV3~hAOTitk5}=tj$tW86>Yv zKpp6AK)b(RuN!Z#;0jnzYs?ESw(fcE5PS>EnJ6%Nyaa!ofCS85GHR3I^rg(G*!GciSaq z#8wt~%0y3HMcHivj*)k;h(X9s-LGep+TT747Lk9e5phKS;m_3d7LIRZk zJJC3>Rh>RqhqvmSoK*NTUscLp#ozu4_S+OMos>y~v6@^$1u}x+`>Ibc>1FyL(0cD} z#KX5uqr7@4SdWi?j+{xWGtk>t4&6s-pT&z3AYxf4`XWU(Ov)ByJe-Pxneb%&SYXR@ zm1%!w>Ztzo!q0>74=O(it9J=vZ&J)c8A$@D^ zC0*peHPSFTrfv0QCZrs(Kp@KEpqeqA6zzXj?XX=??|w&#=7V9`k09N6jEp1YrXckF zOWkA_6{QPQJfJRZSjpZD+K_RQg-O~|RclO*B|h8bg7=ch8}0AHWI&8Vqve*7p=8Z1&x~6&FVqrFfc3DlUVOLEh^=$1cW;t> zPt)L%2au(GuAq!t7MeaLofylu8A7)!Y%^HWldSKy;pWwb(n}4wsM;Garx5+9;hdJh z&r6Nj&T@Xg|DUi;59giPFatb%D#m}TByL{fc19!bWd7?iU@fAx`iKlue_-J`MR7SS zIgcNm2f#tnPS6|CS1C-$%AxV=u4?IL(afARK}HPJe{||+=Ik8=Jpsm>~Sw? zj-_;paH~Ija~mGU4mGokoMIR)I3d^Z)brQbCNXXplKi&Qe7r)Q>;y8|KY!`)UTMi#Z7=v<_ zn{W-a0%B`+Ofhz>`+sVbU>=ES%3rbc)+66z;6%Q&Kkd}0_-JV5FfV@ubaQs?J!YWB zcf48Fmk>ypw#V0J#Fm7Ws{YHWw6Rkh_qQ*wVP12mSNlYy;g)XxLTV_M7Vlh{EH^YPQ4{YSV!Zdu?)QIyN> zjtgfq$}KDo+gzp2U$cC8oOxcC zr8gZ<9l|h}d)`VpNzsuHX1d^TIneg0R7%z)LhZELReQ9<_PBqTq{a9OX_E@AFqZKN zj<)Qzxic&M?9Xj*@07`0Xx6+n6ebREK)m}8UcRgz>~vadj{*Hze=CNS$dmv9nn(5F zeNSJG#$9w7TtllRll)H$hPGrC0_AI{-fMQ<0gle1nH7g5!vKMJ1N0?ikC$|XY4Qd4 zghSdE2gI{47!`lr^{3>Ybh(lj-F(nmd7Ymt-9pP78#)knrLxM#Xw=YkIOE%stS<$L zR;O8D)68Qyf$RQ8*mW;=`48D{h_^K;-dx5%2`Y;2Io;v#Nh>{m7p0o#}Ja)#U{dSm_b4d>5-VQAej{BfB>i?+pgc%5%sW*k|mwD!fNwI2|I= zfIbrr64df0GQoX^L66ux{x_U>xW0=Fe~LrT`!@F3hL?a7i#8b<&)Og4iJ0!WybHcv z#!5%806TvZAx3)^QG<81y!q+mPI{x8RS2CE9gHsrUy>JBq;2~(@=fN7D)$*1zDOgA6G&S|i0pse0u>v4Ggm@VI31^C+hRQ)3beX& zo{OLZF(MU|&$abvk*!8YjXlO_-fQ(P+#6JW8VS9M-o;4P*P{EhkS>znXoy`uW$z zDYJh|Ame!;DUzOhT(aF4?4vDA8ob5M9aCh4$e#_a5-Q+(TS{(h{lD|LT~ckpE%ddW_qwA`1`WOxPjzFm&u8TCK? zcXSR7GbpQN7=Bm5l(4`ey%%%&1CI5v~kf3c24_kUO!;E-T}UQcr;`s4=0bXlpF zQ?vIh{IN_C8#8uendVp!ggV^8>l-b>XhI9C#t(ANEVnf<{|qO)wJ5(1u{+i$ zKr^x6?P_Dhc9#A#zNN^RZuF~6CEb5(Fq^PkSCPBwV5TDmk;TX}xJPQ&GYB6eC)Ba~ zduK=Rpvlu^HhTza9831V#>@r}v=_F+9U^_sf9Pg8!4qWXL;FH4J+oUbRKdvOwWj)A zi9oVVtJizGR+OMD$r5K!!5zb;3>ZoycrTSCpJKHnnyto}IR9W;m$Mb0-phaC>Cb-= zkL?JO)15-Y>mA+iOpPpV5Ze<|dc6o*5Wef+ zfTW^ud~EC}(Ll&L;qjKAIJkW4kt0&w@iV1DE~M#!J8l_e&=kx7`7ZFvj7t;bNKM$WPIs;qo^-sI<~i z!+VG_0-_|72qdy+Z!pBxM#}Wn<%OVp!cmcF_F2EwHNjTZXJw1g<0pSPi*-8lDq5&j zDSbmZwz9*~etJ-3!&e6CDbZKL92()^ez@9Np{#+eZpaD4PK_o&S9h>uj3~6@{r#nO z#dV{-OAhh^&08!T_K!+Tag#id&yu>tfA*eU7Oz~3^mW!;L7dZTohvB`Z{UOet`qt( zo?kd4+QQ{Z?w4RQi0Oa5(S`r_ZbCA_KBrBIz5KvSkmSX#Zf^u*qYPvB!JIcf?=`vB zcb<1X4^XBV`r=tpf%U<$$pbmV1_l&f_IH>$Zqi3>xH#8FDmOEc&?Z?F8-8F)6Yz)@i zsQ`|Vge}{y)nI?huBYmw`~Rcc1gq_c->^*XjvG^&D})rlT&Z+QD#Xm4%^Wb-w0Bv| zUaeZkthe=_C#u!ul*_2pvoXQ{E8F6H3+!2I0PsGmgtkMy``69nw;)i>?V(|MSF-?G zUog9XUFyyZGZPA6hk5c=W~cf$>FeGP%vX>Vy|Z{3Rrh~A^klU@u^?KoL)&CSeJ)^( zlc8HMUwZ8o7JD(~J=!&HT61q`T<`AeQ@nrlW`lJwbt(n*Tcy6~w(*g=!4Hae;wK#! zs55|&dG!O3!(=sArZy{K;fOQvq|k!`kPyVS2_=)JQuIl313);uxC1p(2(R7*3T19& zb98cLVQrTiR{;sP4VeV1fdw%&H#Ikxy&44`1u-=@H8+>w8U@J#Hj@DYD1W_L-*cNd z7k&3%p~vmFlL`re(9F)x#QELEP3ml#wmW^mvEuO6HZI^a?O(q~fUyAMBwNouG)5AV zj?TUJ+$+1x%psDQL!lu#H-8T<9;EDX?C!dP z;B3-WU`zp>A!OBN`Y~lNveD$p9IV`J(2{j>-3lm2e*8%O-V=^P_FzlGT%4c5SYLW{KfTrSjQD}u zqX*&QR7aEhvT61-V|z?_J$jaf)97}8KACFb^ypQlXCHvJM?aQx1Wrf~?!)9tXXH29 zr-$^IUeYW27rmw-4abpAbQ-1fmfps*SxCoJQ#~Jt={>!p_kT2^|EFK+l+Ng!#&kgw zn$nCe>BFny6vq*EhTp=)hrK`ld=^2c*T?;%ixolsc78mVc8?nyz;{~ws5(EY#*gUW z$I!UuhuQq(o%Akx(DW`|CUhRnHI4Bv)em}3)98_A_ledt`ySJuI*IEvh?mf?e|qr# z=KYF>;0ZVJe1Ag&f89k>1I7~=KbQIoxO{c~?Mqxrn z37R^a>bq?9oa77|Z<@yQ%BRNh6h||z^=%nW;aL+pNpzU$q~&9V?FC(giJs@{=1;|{ z3!Oyqm@cNvlzyY%mNDk%1BF)_n=I*aKGsQk8z-7R(0}jrk^Z1RH<-$QiK#B$pL{qy zT$xHeVJb*SX(~7bOcngHsg%=cDr2IzwMZU;eG|o#oZ5Bhmh9PFJ%FB{bzXv(@N#u_ z^6~Jxk~(LvK;PxUf#C&0>l(TH1sC39V#SQ-Z(-&Xj(Y`eZo!7(!Z=w&#*BB=2te|B z0Re~o{(s@;PaxnboToT{Kc0>|PVXC?H?eC{9%HVsPHzrqo!&H`;T6oa5AOw=BKR25 z`xZ1@B7Se^=RAfB_qc=1SxPtQ3dFV7J_Wb&7gd44wdeAx$?gD|_l z`Y{{DQ^V=jVB?DHDNu`w$VaNTTuOS*w&dCEQh%a5*e+i>FyMhh)u`(=1v{f0UdWBzSdPXY55OWO%y&=4Mc5?1@C;!VQ%vDp`P% zNUB{B)*XW;NvyajNZ5Av7isdroBqvNe)f1CKjkI@70RA#T*O82Im}-l8>Om!?7UeW zn}2iO5q!StJaiFxmsYGzYC`<2k{?7&oq-pr@5#H%$D^r9 z_$Xhi_9#p>?m%ThO1PwVg>0dOxQlRcDSrzK+-vM|U{mn`BNc^1QIg#MSlpwaE7h&2 zXiSlitDX_JLgsR5%tg|OUr_`WHDX>F=0y(fHDy^-Mn5h>Rt0rj)=+P99Ug$G3wlWc zPKRX`{(;^g!9$yC)zrGqvg#_LJgdIJ1+u2+lMVIyH!IbZ3XKb)FoB87lTY_o3V%*G zcj&d%3f3hBZl6Al*Da5)l^-pSPIQ9&4}+y&o@a7SAM|4ev!+q*Vz7B-v{5vfScWrA z+09GDtt<978cY z8sV>`U-4HNc1;087x?SZXCB(wsDFS}Rv_SioiXf00*dXtV^FVC4{qfvg~bh*UI3qO ztouAn!r2-uxc}FpqH=YjnC-4axeY%pSaa#5;x1TuCH&8!kIyt2LVUD@E@WTYst8$H zjnYnwXkOG?yuQ93^RH)QtE@X6IqqV1FEo-bCZ< zJ~h==@$L$$sW~>w^)_H{-yfa6J+VsWb>3=V6D@4a#)i1Fu<>1BJ31Q<&-)f>o!C65 ziA~gaGhabe*u*ZdZTVKEiH$e087r=N<2E*L7udSL&}c&QTC@cgG*7OPF?Scpy1!#+ zB9l#IZaol$1#Ks!b>FF*(0|lcU#r=Z?IaGmueA+mK5NN`sf`?Ktb|xN+g5xng=4IyzIJ9{Er9Cf0B?quH^V^<;1-z^qJ__qHcmjtVvsw#05}}p z+?-$30B%t`;ct&yX2k~&c7gB7?>3rY(#jN$1yCvrpK9Xc{~}19`X-?XPi}*U64b)S zcY&{Y*KOdDEg_b+;03llmyaU_8-J9sU?iYm#NTCO$`2B_y&P0OpBOm*+Wp&oII&|)-xw1l%Q;`4m*`9K-%%;)Y z%*q)er6mnNr1a-YXoVBb~fvrhi*G8@e6ztHQ(Rc{Gc%29W04Uz(t6dspAk2WfVZbv3V#9!M2E683n)sS?wjKzu)dti6tu|l=WVHb?0ILmn0atnLZi#Mx z+adU?=7gf@6=Cu}wt4*z!TEJFA#$82yN#m$Ny$c-h z#>QBmmo%lzQMJ?SJTRJwtlgS#SIEl5AqzC-zpWIXe)%cO&oW!ct+Cv-2~scKHUG_} zl{ODT)XwpwS7fPmLL^&dAWQvn4p~qohlw79`UpOP8+YEgGRF7-uGzWt35-i)VvJ$wQu}|{{Br8vs>)aQbVo$| zt3;$ZxBwR+RGFI((vCK{MG{nCCu{pj1(dLhwNX-n4%p4wK2j%i!5P*@NNZp%oM&w> ze`y`8hYirJh?>W!LXG>np$;2im<>{5Ep38c*bG}>8}umj%dgrB4W1?C9xnS}0Qwch zitpRbF3)B*vJb**{?s8D1fNDf_$_RtVa4cgzr~+5sHng5Wt01uDl=sE7@m0#$us+4 zM-)R-e!}PHgPnnv;^S&F2jCzag2QkGe~!X2I1XcQ0#3py7>5Zs4U;eh(=ZEX70at< ze~!^SxZAn}m*EOrg=_4(yz3-4c!T5`Z<5^LEfO`R+i(Zw;V#^R1-K83@BkjdqxL|5 zJQMRVn^ULC&)=Q8l&TFUe%{&t09Q*}nYJ=*W!lQL om1!%}R;H~yrqoz!kJhZke-33=1($y)1s@7AHa7|-B}Gq03Ka!62><{9 diff --git a/doc/ausarbeitung/hgraph_doc.tex b/doc/ausarbeitung/hgraph_doc.tex index 89c06df..225bd55 100644 --- a/doc/ausarbeitung/hgraph_doc.tex +++ b/doc/ausarbeitung/hgraph_doc.tex @@ -233,7 +233,7 @@ Der rekursive Funktionsaufruf findet in Zeile~14 statt. Hier werden iterativ all \medskip Anschließend partitionieren wir die expandierten Graphen in maximal erweiterte und in weiter expandierbare (Z.~10). Letztere filtern wir noch (Z.~11) nach Duplikaten, um redundante Weiterberechnung (und damit einen erhöhten Rechenaufwand) zu vermeiden. Zurückgeliefert werden somit alle Graphen, die maximal expandiert sind. \par \medskip -Die Funktion \texttt{expand} wird letztendlich für jeden Graphen genau einmal aufgerufen. Der Rechenaufwand der $m$-ten Expansionsstufe mit $s$ Graphen ist zusammen mit der Filterung doppelter Graphen $\mathcal{O}(s m \cdot (n (k+m)+ \log s))$, für schwach vernetzte Eingabegraphen eher $\mathcal{O}(s m \cdot (n k + \log s))$. $k$ ist die Anzahl an Attributen und $n$ die Größe der Adjazenzmatrix. Allerdings wächst die Anzahl der Graphen pro Iteration im ungünstigsten Fall exponentiell an, woraus sich die Schwierigkeit des Problem als NP-schwer ergibt. In schwach vernetzten Eingabegraphen ist jedoch zu erwarten, dass die anfänglichen Seed-Graphen kaum erweitertbar sind, wodurch sich der gesamte Rechenaufwand stark reduziert. Dennoch besteht viel Potential zur Parallelisierung der Berechnung zur Verkürzung der Rechenzeit. +Die Funktion \texttt{expand} wird letztendlich für jeden Graphen genau einmal aufgerufen. Der Rechenaufwand der $m$-ten Expansionsstufe mit $s$ Graphen ist zusammen mit der Filterung doppelter Graphen $\mathcal{O}(s m \cdot (n (k+m)+ \log s))$, für schwach vernetzte Eingabegraphen eher $\mathcal{O}(s m \cdot (n k + \log s))$. $k$ ist die Anzahl an Attributen und $n$ die Größe der Adjazenzmatrix. Allerdings wächst die Anzahl der Graphen pro Iteration im ungünstigsten Fall exponentiell an, woraus sich die Schwierigkeit des Problem als NP-schwer ergibt. In schwach vernetzten Eingabegraphen ist jedoch zu erwarten, dass die anfänglichen Seed-Graphen kaum erweiterbar sind, wodurch sich der gesamte Rechenaufwand stark reduziert. Dennoch besteht viel Potential zur Parallelisierung der Berechnung zur Verkürzung der Rechenzeit. \section{Ausführung und Auswertung} %TODO