From 36e11395e8c06280584fa38da54444464c78def5 Mon Sep 17 00:00:00 2001 From: paul-loedige Date: Tue, 2 Feb 2021 18:04:39 +0100 Subject: [PATCH] =?UTF-8?q?Formen=20der=20Inferenz=20hinzugef=C3=BCgt?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- chapters/Logik/Formen der Inferenz.tex | 28 +++++++++++++++++++++++++ chapters/Logik/Logische Systeme.tex | 0 images/inferenzrelationen.png | Bin 0 -> 31861 bytes images/syntax und semantik.png | Bin 0 -> 43551 bytes 4 files changed, 28 insertions(+) create mode 100644 chapters/Logik/Logische Systeme.tex create mode 100644 images/inferenzrelationen.png create mode 100644 images/syntax und semantik.png diff --git a/chapters/Logik/Formen der Inferenz.tex b/chapters/Logik/Formen der Inferenz.tex index e69de29..6782afc 100644 --- a/chapters/Logik/Formen der Inferenz.tex +++ b/chapters/Logik/Formen der Inferenz.tex @@ -0,0 +1,28 @@ +\chapter{Formen der Inferenz} +\label{formen der inferenz} + \section{Inferenzrelationen} + \label{inferenzrelationen} + \includegraphics[width = \textwidth]{inferenzrelationen.png} + + \section{Korrektes und unsicheres Schließen} + \label{korrektes und unsicheres schliessen} + In der klassischen Logik wird lediglich das korrekte Schließen verwendet. + Hierbei sind alle Schlüsse, die gezogen werden unausweichlich richtig und gehen aus den vorhandenen Informationen hervor. + Unter dem unsicheren Schließen versteht man hingegen Verfahren, die Schlüsse produzieren, deren Korrektheit nicht unter allen Umständen gegeben sind. + Beispiele für unsicheres Schließen sind: + \begin{itemize} + \item revidierbares Schließen + \item probabilistisches Schließen + \item Fuzzy-Logik + \end{itemize} + + \section{Syntax und Semantik} + \label{syntax und semantik} + Eine Syntax legt fest, wie die Sätze zur formalen Sprache der repräsentierten Welt aufgebaut sind. + Die Semantik definiert, auf welche Aspekte der repräsentierten Welt sich ein Satz bezieht.\\ + \includegraphics[width = \textwidth]{syntax und semantik.png} + + \section{Menschliches Schließen} + \label{menschliches schliessen} + Der Mensch stellt die Interferenzrelation $R$ mit $(W,B)\in R$ auf, wenn er aus der Semantik $W$ auf die Semantik $R$ schließen kann. + Das Ziel wissensbasierter Agenten ist es, dieses Verhalten nachzubilden. \ No newline at end of file diff --git a/chapters/Logik/Logische Systeme.tex b/chapters/Logik/Logische Systeme.tex new file mode 100644 index 0000000..e69de29 diff --git a/images/inferenzrelationen.png b/images/inferenzrelationen.png new file mode 100644 index 0000000000000000000000000000000000000000..80d84796f4dcbdd1b55a3e3be8cb07379d0b4879 GIT binary patch literal 31861 zcmZ5|Wk6MJ6D^9;-BQws2+|-e-AGAycXuh$2uL@mw3LEKgEUA=gM_poNO#@g{qCQ8 z&mV)sj%Uv^v(}n5JK}|sG$tA;8Ug|WrmT#FDgwgYRRn}P^eA`XfBLo1Um+m)3Cc=5 zSNF=?o^#hzpZsn|tzE?cXA?_6cwQe8k_QdHd)4KU9Wy;Lled-~2ycXz92as)#iF&1cY8g?G5zjjgOa zq>?K|Pe&(np`*IL)ENc;D$}d0tgKWGDr9;5m_Ok1wCHAQt|4V;U4HlS?o)$CCs)^l z-QAx4{=}{`Tj{tfdN>gm>JuW{nXlFzrpU-)M}H@onV2FD_YMvk-2WygC5^8QWN2t; zV%T zGlK4HFFZ3dGYtEojkUG?%vaeZ#tQruX1F(-u2q+-tE-6a*RNmupC3LD^!hB5^VG2U z^y1>=&(GzGmg{)$S1kJ8-gSkAma3}padAJ-kN(1ScnfBK`t&%|cppn~|G#B=f$Zyh z5&KZ&-+WVp=gz#1jm!1cw+jx3$3j7)fSb#-HV9BXO|Jn8pXziJ#cH8rtO zQN6D(>l#h(+&rbCLZHqoD45tvAiTGHdv%*DD=S=fQ*0t4E&2@}b+xrt*4E?RC}HiW zn3z|WXPi-;VkpKW7FJe&*4AELe1UZhkB(k-sWao49vpNy-CbMvg&U!EPjeT%`GA}?reZ@;~{DVO^*fDkXLv)*&Zz{iI_XGrtq%YUPV$|wKk z0>_`x)307%U3Bb}sTC@Thhm(K`#&P@cARfa%gTyg<_k5Rn3!k}#l%N_Gho3;PrrBO zXKQP_#6%gJl9i>Huc}+)aMe-;%Z#w}`0?ZLq4=exrO67z(G54e2)E5KrbXdj-|WRv zj{f}2{rXjXI5jm@rf@VVF)>)=dyg4MmeNAKyDbF9X?0LgP-$6N2=<4cR_EvEe<#Xl zCmx!cnURo@(FWf|L_C4j%gv=tRh45%fY8WJOjIA5B&47y`}9e!aJ0g(<=^URet9`- zZBb?A{z$(30}LrCsji+l+7L?|W@hH6dbOWFeiXY5ww);bIWa+$z4WQHRM2YpJ%lNW zXM@WsnplzV$v+hp6<7k?Y^#qSKXQ2Qn<2fSp1qm+V*2URCmkIfzL=JPtC{KPG^N6l z;$mwXn{0mfA5&AQVjrl2W$5BJ12Hf$@$vDU$roxIa|#LyWU!=jf5QJkNXcBvNp4Mj zX&)Yb;e--u3`@1PwiXZ&AQ4ugSrOlBMnRFqsGQxO`AqHfq#!SEWo@m?j6-s;cX^Le z&};aU1~ZNNa}q2pthl(iHlc+0_^;K~uzwN~65xvX{m;=qt#ZEil^;OR&j-DUFSV{R^-uRieRTFCbpWnIX1eUJqXH8$qv z>8YuvCaCwz2)IhMSxFuOEw_a0@J7eZ5a-B%w&aB^w8ai>GHd+Y=fZ z8YZTV!;MiwLc*bJp}yW;c1})L7Z)*LW5d?b z&`3%(>M-MAe*Cz9V8HiiQ!cx-JsboZD{>uYkG8I zB3Xh)LtXtIGIC*IVa_vGi_6o!plrBDN=nMk&Q1#pi(KhghJ@ao`KAj<33CmeymnJg zyT6~e-aHY`2|U|hHSbGiPwW4gEB$MFdShb)HbHPm2>hzIm)C4d-~ycC&)a3bgx=Ef za$&FC-&q2l`v(X2HR(eC7~Pf_(ShJ@O(*i$=xF=#PlOQ?{4Oiu@0FvMnc)zy&hql| zrd88HU2Sc!zQi=a3JMDG2?_VN;d(}ghec5aazsQpITKDdht>}c_V-!!>&L#?>r%#s zp+{F(+1kQR6Q-vR;q$h(-biNAm7&86HQw9XJMz|t1JD|zl$Za@7V^DEJTNfe?(9sR z&B4PX?6F1SjE>m7*Wa%oARrJt47;*Uul%=qp;8tNe~b5l)bQZ?0i?Bo{(c#{k;V3~ z`&kitgu(CLylICD1_@BfZLp{3b4`sj%F)h3OKGXX@XhcC@t`3)OUw1YlNEv2muGz` zPvHXk`ua@2XjNGbNuk8`u58|X)_Ss3-3VKRgM)*SQQGSfJ=|LDuhpd`8msk#GuUz+ zY;P49c4q4mP6Hv^rSvH(Db3e9FDEjog%g?h-KREla0q~a+uE|DjO|`OfcOj#?*0Cq zikDZ@sSXl1o~a=0nv(KzqOa?#tC(aw7}Q)Q9VpM2;b)0SNfE@hj*fx5zgwZG1)S~E z3k$>Q-S2k(4;+js&>1csoXMxKN}_0MYp<@X;P~70YX+=BP;~fbzIui5JU1*1S**yk zJI34FdnpWO8M*dF^V0UVq8Zy=c$^)de~8>%s^v^dt}qjztu6%K5PEMyiAVYHvP>r= zG&EAs{qT9-f6}fBX%SmZc$8WO3zj+Ai~W9u6D<@ybwI5rE-O}}rb5_-8fImJ;RCQ;T? z?wR1B?xpr>Uh2T-^9d3c!Cq_?|%IF0ret0JY2KFKq%mnkAnlR zo$aF$>(AFi>-h8rp_pV7kQw(lQ`6HUzutb6KpelH0(Ox6l_6Gy1YQe`GiONOYUE@y zt?I}4`1s07j*qL|u@8%ji%CKU(z(&Qov()q6w-olJo>t^74H> zJ)$UO+Er41gB%eOG$Rss&_Zageg95ZF~(J(m|0p%OGvzUl=%D&(q1QAFbN6C%KCbX z|HaD{b*KY8TwDZ!ENp?do7jJPW`Fcwb3EjY*_t?@;SN84(pE5eaBK z9U*BgS#zmtt5UShD=SlENTAm`NglB1?&!F@*lEcT_CG(}%atLOFw^WXZ7um+S!uJo zdU$v!5r7EUTSi`2XL30IyjW)<*Db)`O%SyWDLw#+fIHE4|~ka?C$0UDA&}+hTp6Q$KU@7_E$Ea zvsf+UaF6ARN0cJY_+dlqkb);`$Mg&hAGUu!-&sWX-z5$gC}!M8Cn_~)I$!BcKqq>F zv-2(~X?1lK;FY<#x%*mw+G|8)v}`$fc>(|PuTIT0r*!T4Ev6qka6LsI5uiD1%FHib zwm@KBU7S=+Z|yC2JI>W>ylB2p4UdyCzCwn39C9fN8rmk*oMq+v2e(w`5I;2_P*34DCJ8iq5N<0cr5x;|IIZ3rZu_qneC%b{VB06Wvu6N7v^Hd^Wc2> z6cduQiR!c^$~btN=xK)RW=Dks-Uh^VaL>=?Sl`@3EWM z-{1fJ+bC|(jel-n0F&Acz*1%=d7LFW8XDF^;n`OtU%!5piXo4{fdui=$mqRS80<+P z1^88Ee-ZzqTrG<7^0r5t<3$DDjDT5T72sKNTJ-N89|u77hyA6L#lQOJPp$WX#dAgC z*M!V3r+)o%5u(xB&5}qovhj{>QxQ?E^E8XDlrC6Q$Y!?AY1am2-rJymsG5 zM@OHExuJzrn)eZzo3D}P~l9G}Guf`ug05i{cv6ohTz@DQg^r$HX<;EFW&da6cG&+7ZX2pO zllf(3+yDM4eRv_!CW->TQ{T`~^6As&pFiP(=8%Cb`bj7#C>BTTNkX6T^CJP=L_!kw zJN^9mGaG;oS=nN!Uo$f^2kS$`Te0Gqt?+9?D^78UzDEfWGFD)&dotv{g zlh_%_k7{UWkU0_zeit7K<25PbBBr(C5k(M^s?0*5F zz^If7Ka*2bltgjg9J?)J0H%NbRQW7l1+fCm?HM_iN~JP+!RKW=h`Dqw)|8CI#EwO$ z{{DUmVG3Inz|=2a7JT^dvnTS2OREuEWK>iH+GiIgR9fIsG%PI95;VAE>=WxaZI{tADf(X{GLYre|3_Cz++@6fTUVaCLnv_ijjmqAS0W!{0PBv z4cBsC{1D+0772X$)mm|B>6WKsvD?o46-2w@o)m`Fv5^obTq6Pj#Vqz+_=@ajj8p}N z3f&qdFO9wmk_QjQU0*UFa3Gz$fw=NEVIz@v=J7ZQHuN|^32*6pqV27xw{GU_VHC?dTLu(0%j@7;t;A+e} zGK7;riHTTrKu=&$Ouu&~XZpW=gQZ!nXT8uYB!<%Mj1|^yQMJ(ITjMZS4AhK@m?tiy>*AH;TmUOqdDECMMneBQFn)31_#Km)knM`G6QIq7#hUD1q-}_$$ z2{lgrji~Ck#KMl?3i1kMeh3oaijW*(C6!XyUTam-z3ns+^4?$RPvZpY1ZQ;P*O!*I zgd_qKuH^?ps=^w?J5&Ze0M6Rl#ksl5OG}k@(;RX7kr33!Ln1f-6}0fq&m^IM_XdC^ zeSdX_+hHapC50FV$7y|#qIF3dHU^L&em=hNtrbA`kRbgadx4xoV`%;B+x91o5`MQo zqHd3vn6&HNto{51#lpLnQFrvLEG<2^rr3jrA^Sn<15DG{)Fg?91NGK@V8h_4+;zC`wt6CW&{Bnspo z7e4aELO@9H>|uYrHBOC-Qvs%_sGtyzy&Qqh7%9ml%}3tMele z6xyRK?U`%A>G544t@QNtZCAvsdNP8NG;x6Nxw*K)_XyEKI6#mDL>))$ z4oDPoUNBCmaYtxW&|a!|7#6O-!$PxS$7lOrJa7YXB)~F-0X-h}_w{jda+d5R)Id&@ z$f1`{#*zLqZ5L-mLraS*21&9l8Yoi7_++`ht&tH`z)^7Uy|@E9Mn?2_5;!$vyCqHO zyo@rP>b4A&+a!SS0vU+e@*a*DUrd!&DM)m%A%Qu8pn}h+gc2LH>(vPBPa)(pHazSE z@Pk%5hKrq@>B$p6D5pTc;qm}WLivzgx#K5%s}lgoQdd*cZSpw+k{SK>Eoc#-ZVo{N z0eAyq1*)tnT`CY^ka#>cM$B7-?sue0i;9XG8U2nXV=)9wDU8!8$$T# z=m>H+Y+w*FfvAG&-~|W}Fs6^UH>wgDE-pLBQb5SDDEOb~e(Ue*3YE&uFDyj9cTW&> zSXx?fx=={d8R_Z3z>;g#jv-#4m{^*dQ$U#ksThSC3OoP=Vc+AoUQG}XL~n=xY;16^ z1$KiL2XYZ4Y9Q+t#>TIgz1-YDb14Kc4)^bRw5jntJt-$=XKn3xwU3xTs~OY>xD2QV zAW-4air>F~KN?khVkL_W*7_Y9YD~pjN+F-~+e0Xy?Cz3qS-p#i!4m5k8R3BRHMEZY z5RZ^hvT(He>sPo-YL{=I(5gKm5E5#_ekhE?0(^jWFmSQ${^EgC-E7OvHQB9Ldwg}_ z`CNd#*~HGyZ+nJ&@fsdPTQI7G49Fir9(&Kx$-BJ;=RxGb6@zCV#f&V%D*dky};FV>`Xa8=ej@5{6kIDNxq|SwLW+VF!mRJnwYQgxEg2luclu4i0Vy z9P97q#wGS=r{#tyP5Uj*<}I;&j0$Mk87dOZs5uDqIAS>>kZY8PE(qmR!>}kIV(B^h zYGJ&r(_$y70Ak$wl@K-uFb=XdMr=m_@eU*3Zo0s+VX z_5ldWu`2065&*+SG+S=vR^H>7-EE z0ylJfRW&t<)7~h|;(!)F$!(LUCl>$Yzf0n}mn5hE)#@iy5+`zO3=Ali=4>Pi4EWSs zUb{xnzcHkk%9kfTG~B4;ub@c{QDdY*$IU~BxTckQ3({l>Ai%BZDhhIPAV0-rWzjf3 zpeMra3yGz#d_YK;)HU`Z?kZHS+Au4XCOS{eUF!J1Vm>TNfF`M{+fZAZdTIsBDZx^i z#%ZaP!BZyO9l4N>t8#M(+hn(EY%K9~59BzB%Kbk-X#r6#4%zMfVD9LV07xe(c|UHn zCqD7ttzbeOT&wpFG_COc4n-Z;o;rY7J@>B{9@Ei~ffm&922l05cWG#-6iAG?VumdN zge_sJDk{(W9iSe{`**S2szDzpOv;f!W0RK`M^Vh+v4@K6j>QJm)tKZMWWU+jS^kP6 z-SFQLdUE8rTJG-EW>4i_K)Xt{_zBTp_`(QZ%iHJwF#_sSzw0vHntPlg;a$MbXoDfy z;1UySE~|8SM4(V}q}e$-#^U%K{)sc{d?zX<)&^*y$IJ!5&nEuc*jQy}=Pz(m`T6vK zOIOrPx4li;Dn7%3Y^|-G`N)CTkxC0}k|UoJnqcC7IoG+IhFwG*3=*1zL-ZnFc3Rr> zXJ)jVMkp72F@|+6Au?fI5L+fnayCHbA!M916;Ww$o!i_KzlLb<=X9R@~g&J7> zN)Im0LA$e{kPygCR}$9AT`x2>b2u$QU5kv4&Jy(Ahjj&v4 zr2iz3u~v}Diw1tIAEYT*$jZtpDPiq>a4H7Tj>nubRawM1J`2 zAtNJ0=8kq?V4#|s+G2Gr&jg3}Z=`k@eaN1olfN=T1|DdUa=DD`#b$xv; z!DMhZLV|;hZ3^TRK)~>2Cx2ZrNO!@g_#n@PSoRkc7vJW~@e)mmhaw^(q|vuc%{@)% zn7Tr<39vdK3-p@q&Q3T5ssUA~@!;TKkY(=2j|z&4_cc4%6acORkbVCAITxv7-u2c% z2Cp?&I`AkJmAIa9K>&0pw9Xdi02wx90u( z?;ub8_+bM)X-R;JCb-$}43C^VGcN9V;izu44Y%8$7troA$&=R5aG&~Yyc9-9M~Aa4 z>L;8d_F-yj3Yxzt*#o`35pUl@21Z22B6#-s{d+1JnxO7wNbnH^Ib}sfwXW+}Us~=! zC4)92)bRU5$;rv*XJ?>Y?Rg2Bnwk<56YJ{!0`>acI~>wz20bBqX6C4=z4wq}CHzTW zgFgUd2COhnt6{3Rwg&EWc+l|N0HEPhQW{uVO8%#Law$g-X^OgbntTbxen^Rj=K=(> zm30CQYwg#qVPZfH*6CEZADVxVPM{YEK>SEAARoo3nFW44EC~H5072zC)p9@;dfrh( zZxuEJ;8-Iz5>UwZmO6p_rg*+Rx_?XY;1}Y0&G@sjlarxo=;!Z$e;a`JEue-{wo3AA z=YJI06qp5I3ff>$n#_^<~IA7p<}grVmJZDLU9Jhx{wpvMoNW-`hv*8i2& z2}lSLpB@8vcvtZV3!^>Udji(2;~%mjaevLN5##^&TYw>>GrgtFqUz?3gn_BZ{Km35Q?!>V}qB0TAcjT%FponjO!@ z1m?pB-H6TWYYy|LCq1~dKt)z5(BbZg6kqQr+0JV|BR{Ul_Jz-YN8gY8EW8e%m}7S+_ax$y8-ZdjU~)e96cT+pqFl#i6;7xcdT)A|OP zR{EL)`8HznB&h!(gI)_bgJJd~AnCF)A-6wHi&9u&uFL%W^+`k+?T}!$x3_ET<~)`s z>>)wMVZn;_7bmzxV8T;HFT^>M16u0gk?a&z)d!WQDd6g&q^Jm`Mq0WB2y=#AuB|g0 zhU=fPjo%+=At-5-{jV>XI5<>URbXkYdRKBPocJ=CQ=Ud}rDy2AC?11qld7u~>2}=g zL)h*70BK6>$kT;%dyREOOI!PFvEA1@7!gz_$%Me>eP9T+QzUU+8=MwY!Ri_s$XKLw z`-wR@PcyFi%!fpS01HWU)!>M!?EKf%eO1~kV(5K*2;KO6rzkKVl)Nkp?`CC1gv`BL zl~3P!=MG+p5Vps$0Rwv$4rWR6 z&o*wT>Fcw+*(D8aHGQbnDKq6@M9kj_6iYWEr>grVrcu=p1qzBJ_K<<}d z7$U89u(!2ko?Tj5Da|cmcKHp!m(Xc~C8ck!*0{Z)r)R6Q^jVdVzn`B( zFXz7?P)Y9hYl?{(K>G=`X4r~rNIRQmuE(sh`>QogG=KolH+S<%4G^I=dK;dkwHQ%5 zi$o1r_!>5G^tnnYDaAC3+lF_?QYIxQqtsa0SVNZYWu`l^4!-2(f+ z6)n(omn33E81C<3F>H0doWT5PQhkhtB_&nXDF7+2x=ceit_x5#)93K=&Z)8#ej419^u2^_=wG;kP~ZE$!0S4}mA4!V1|$KUg*}wZv!_ z6fDqh@JRywfYe(sJ9g-3-v1nh2%jktmsVL9t*m;!1YY;{%Md$gs;Zuwo<$Ct*!JB)P;Fauf`;ZH)E!s~_yth;djx0@ zR%C_Gpp(Me{ed0z@T&%+m7z($*V zjvXe;DPorK(&!R_ON%8FgKXmk%D{e%*cb%q#R+j%&HNKcHumXSxc5SWmigYao}MfO zg1iqPz5Lbq(>pJ?TzWJe<{OzRFR-)9w>gZAvXJ9@S3b0dMy)XW3E#AxxnlNcLZ=X8 zXd3c!i?0!Feqp|l&*>{Kzr#O^@7@s;v+9G(BH5YbC@vwvA9ik)rE)`E1Bmc5U0qW1 zxZDqbHiPhU4v8Vprw{v54*GuZSU@&dp^(9B4!j9~iUcA*D9U1$maMF-0Vn^moT7G} zNb@A#7q^?;NYBpyP|Y(Eg~a|)C_pF2arX&PiSOiKh=?-(&!0c*0+wH@Y1g-{y7)UT z7&KTU8Ifk?hjhLcmp(t-{`K26G%QS+WSuqbG~l_KyzQPz1tBxp(VcgRiDP12nkZnG z8dMS2_5pPp{ej_gl#R_zA~_q6bUHH&3!r|JLqj`IQ$Tzf@mi*jlUWLM><}bD3yFtz zx|P+Vy(qLyFv|7yp;H3|AtE54YeIibBtPL;&^nY8rOBJl>-b#AkryzPVkXzwSTBCt zZK}nloOOJBh87~Wm&&gZrL^$PT+PCQLF^GXi~VtFT2y0lshu7VRa^hq*u-G@v9KUz z&VU7BN}`#iIVk+&m3SW-OSgWvBIf6tL*}&KZK8&@7W6%Mx26hcI5{DNv-e{@S_t_Z zS{=9C0Q!eS(<6YU0ua2xdASQ{PgJ0RC6%_H@I#A@APa?pGql+5gOd|{Yc5{i9dN{5 zDRTt0byQg@Mfp_<*Lr$RSBii*PLGqX@Ro%ABhauC%`!jyYtrsLXmGTLVI?Ofg5jXx zj%%3hSWU}lcGHE;ZKjCr2E!8g4(xcyy7%((@*1AM{=)tca=HZnLG3L1`j82oU0-q; zCVGSdgZvR$HjUAB<8r(hxFiRzPbyM7qe0_Xgr+tq1<tm+hs=8)6A59pT-Tr4EqvqNRT6b~=T2#_^SYibjD3hr@yx~nkm*5!%!&`IiVCpR zi3tWuFrs<@9fIN)5YTK1K=O>gXVvAYKHox%;mvDB`yft){Sf0+Ao39ry@2=OY=HNm zfdY9ohxO&ZqE=up%geO&y%9#OaX{blSns{k>)|roJ8BxR_##2tLeHR-#YO<|$w8!XMj#*ue-iX$d3iluT|r5fS5guNng_xUd}xOhXyQ6F zoq3bo=MctZJ`~8hGtz zN~zA!#H?m(oyGOSBDt3Mu9qY~?;0o}yy{}(<$Va^FKpQMwzhJx^Eu4&0gctdz<$N{ z;L7*A^W~3K=8@*emI_BTriETJj-l*l2i+s|3$8bsMw9*hmz&%S2f*_L#&l3za&@2)0J9UB_i;B-cLQ2}!q>1pZe?RH+^73;E^+>avw|82_ zj=i;E{vK$;mIIk}rWY?wXh2hPaq(#O{x#X!`h5Pw`1elpSJBm0`FvO@=)fvRatjN2 z!RZRx9O&fz zjYz(kZ9LR$s*pERe8=^oSRJo8)U!7@IJOcS=~Z&5Tt2JL*FPZU)Ya9cuC)EL#ZIPe-LaqxfzIMiIcUU&#CMX? z7Z7&${M;w-s;Sp>Q~g=jun}}n_OU+n)&>mt9&};)krP+gJQl_bA6k!cYsYQ7>2pxd zdd3SDf?}y(dO`t*MJ)*lV3cS?w5Hz%N*N!KOk$Obl7Y6+B9c zyr_upug&5rz}L^7Hck`Giipfz$%YVW?7B8kvgp!WLl`)*{r&kH|Es$o)u;bcs0UH6 zMrf&c>ryKZHt*N`ByL8b%tQjZ%RsT^*!j7fszAlGEf_m zJzpTm#EtDB6A}}Lg@i_O*%aB<*4Oh~uM7^d0@;TzwnanDnb$0TvcLc7N(Dat2BCO_>$lA z`V#uas3PJ-8Dzn6Y;jMB+CSUt)-d?XC)&In$o`$8GhhaY+3{EX*~0S8)Qo#7zxxc1 z=463@#B-WBXaIM`K76_(itvuLc%9kV*%{;+Tx;@`O&cSl;nRc~NYA#s(s7WZR(5uH z+efR8d8yDsmR7cAPf2WEFW1J#4y{I|-0zJ9|LkV1xsX z0LsjCSuB2({KC!-vbGN)QF7v8H1w~$8dt#5o|l&)EKISr-L0HDT&QdaiO#zl9pN;> z?H~#2UMe;_O*F`=;P_4)qX+-^%!k~oi$9Ozj{iEX-0 zgf<1(HH9n{0*N0`UvB{sgB@!2P-B$7_G5mlp{$)#QC*o=sTHS+T(uJx0r zPY)Vc{_51+)`TWs)9(7f>qOD7!y7XK9^2YY7G(tm1STxKi1=&|2yd!3sXY~f8XdzWEll$e1Gqm#QeLsM5f3h`x z@v|M7W*eYg&NJKO^73-Cr3NPAE=J z)bO>Gi<35?Hut6^2E>QfAjxkY9(Yle<~VlW$9^XrC*4q>AhM{otuI5%6&yN8`#N~g zXau6^IJa9|RP@`W4*2jQB$bDPY+PLAJboPtL)swI@5c~>LJ@f;w|lS-aDXN{fk8fC z9x>FIQ^+!6ojFIC-tTR!=L0s;CCy7hMa6+DWNbhlxYT3Ct|?@^j=g(po+A)Y3(c~} zng2|?%M7ZdD%b5$6O$4nkRPONUxhN&b5^n`{_=e^yz>W()B;&b!>q zHxWM#y7F_xm-T~3u_{kYOG69d!w+sP1RWadIqb*a^x6HLEt4A`zyEb(G~c-n@~PIZ z@PEBwIQ3q8L2tVqv$FJ+a-P-L49xhRJme}&^P$7D-aOp6$>w9)5lyEX39K>~>EbmT zrN3+uyM~q^w0Gj;Uf+Z(vw*?d!L*C~YF+E);K}!f6Gp|fSvT9SJ;a6>niyg2xE0s^ zmk$(p92fJrn_U271YP>YNr5!VH1G_15)ZkooM6s}W;@PtA>jP5cYfZ0l=zCUhTYVO zoY+r-8&Rq(da_iX*LsA`8+k;%+Gbo%O|7J{vGhIFt$$x${%;M|&GELbwl!1y;I_Kx z>39J$2>1YDF?SCDbR|Fc?zKSb-h&iua8Uk%L97Xj*ypYBRLP{{+qZA&@JOs8^O7oN z_fGKBkRbndMdwiE_fZEIC}nx99Wup5C3F7RnMHl)+#F>5@klnK9E)OG8gRM&IR+x) z8;gUFW)-d}tX=jqiGi$ry@Sp8IBd4ZTMPV`fE-LT>LNd-XJ==-nb>`}4&0a+k{6e(>qVoOZklece0AlBvFbo6Kr!wc?}{6gX{4{{8p*ki<-mh;O}7s~Awr4gLD*?`#T^lH;?p{T*Ya)nA~g%L%uZKB~{+ z4d@<7v!QSxAXvt0q4@^oTl=C9<=<`pqs^qg4pU`iW$TbBRa6#kX%uR#FlcIJzzHaY z{dR?THFxhs7^jw%W&IsCPAF7>-cy|BS4CV@TVdJ((dNAP3P@m?!oEs*Dv$_ixK9Hm zWo4}olFMAz1_`YhkC2qx~lfpVTadT$rSm!W5ZMS=N31(N`#YLc9j%|ijT2ETl=H{?ceBxAU;6?*s%pVMRSqL|tJ2WManL9Om!8ca&sn~sIjn8=`&$vCT&-T}# z#Tt;1+rIPzy!Zpd`!+#9r9whF$E-P}-je^UcTbpJL4TEuG>?4e9XDVaaD9NqbkzkA z(AC+2<)WAtNhoY>nB2)xVCZA-S?jj_*|xGm*BVO_`qN78jlRB+U;!369}bdw9w>ab zB8NZzwQrd5)RQ4?p3fV1P9MOOX%A+I7{Ds{#CcM&DE*!28nx`t6gEYAau)ZkCp;Wv z_^SzOl2A-I&^{s6U9g0U%0K_`0tu6nqqE)g&#*Du`;R^E4~21%VQF1JUUAx)*M}L& zOPR@!*bmvofJ!v0a64vKtz$gk$aDWYF?RE<4~b*AN>iC9Oy4)>;r+9xL2v5x9LSb= zGQK%%1G$C*X4i(Oh;n;*N-)H@v;7N}=?UxO$4pGPei3;u9tnJN{#ZR8J)nQ76 z8_j)mWCSQxvQ#h&%!{f*_zq?Y3D|#<9&6}<#Hx4HeBJOXD98dE7RwAQWcFtd`|$8@ zYC`yu8M~76bs7#|_t5gA$-9@K1!hBZ>QbmciI$(7&ucfi;%0%27grz;^w;gVD&1^cUTHn76xvW-{A`kD zoVcva*Z06G3;s4&zRV)eofQi77kq5ZcVCT3N=XDaVMwApsCH<&`Q8fJXSmz&$VV8X zyKOxB*8G!C@mXD4nMK__(Wx9GN_LYQd`~U@q^xv4xTV~PjSXXTa#Li<-wPwy>EWf^Zh3=e8SMacWtJ6eeH z;hTLKgF@;HQ{=@BT(BA_1*5PlJcIb$KHyF5b8D zkz-X+!u2P!=)3Iv6AH!w;6C-!VE#2?2qKuU-^DF36-C}y1ipYMDY|U*3m%5qyT6y6 zCL}yC(PS!(4UI$C6p~TIeRN%G*4;7N#Dh7@H-j?9Aa!OLck4 zZGhjxU7fVSnOSm6j+r2^;mg#mA;qh^5TerZ(@*@l>_tZ^v{uzpdaU= zG~hWC-GnaYWT|$IRqJJZ{8G^6r5fXny`#OovGMcsosyLpd)@o;uc4RL_x-hjd~(mz z`8Dg_5pyv7{kXUm;#%oU?8Q%ca@7vy90pe4Zm2sfsvxx`B*gob8wMV2nrmnfrYRV} z#zMP4Pj}}9%C0glg0_>33%}3S>Ax%iJp7i&%uFzYi%%VFeADodPUa;@aRmdZbyh!@ z&P)A}S~|PBEc%k||4x=MJ$L8Y0QT6&#CRkOPK0;3U`v2k7Lf7!fnaJoT7W4g zBdGz#y9}w^Vq2?sGAr;F2SDu;#cGV+(ld5-u@v(8KaY17G7?k6m%U`2on;kQHNb~e zpqNwV*NFzMk7?v-J?I~X1~=}W9Duv&GCPC0C`2Y-#om5vCN-5+r*R7OF@SE(&UZsX z#%qO`5Z)Vu(si$djE`Jt+Y=w&8BoQ+$zA;wWU}AQZzLq7q>eYo(WwEs>1t_dndZQk zzke4y9OqA;!Zh%Ij+LTM#nwf(#~YKLm#3)EQ>(;m?1kCQMDWXt^$ZNKfYWAW z8ph=>>jLb@8a%80mSB~jd0495faSq}%pFuCgRmk6$P_;FDqs2B`28nJr@_Pq^$^Tr zS9{CI83Pl;!&cz2v$d3d;){ewKt?8D`EC7VR&Plf+})&#vV6|Q93@&$h;oKnyxSSM zxsMLhs;Zy7jb7E)1*pkhlW<^($}tgaBkP}PWbJRMVg$la*N-_ z$g(sxxPgOzVMf1|iuG_M<3#fCNnl^fXaa|rpQv0r%xQ`E%ZZ{)PtBa2pG9Fm8nOBc z6$XP+(Cj#~jxvD}K;YTMS!@nlF&LBg!-*fU7G`!dUq@|6A3Ngc`&I02J4 zP-I5sev=-RKZyN19P1_!j~XlRRG z=0y&_yXt%#4>Dj?9v&iUE|;$vU_8jW0_kYFAR1Nd5!Z@jR@QU*|I#==dH2cAFS3J0 zp_pZ05UhwuN*TiK(A=t325y@lMJ#S02(KLgJJfu=cf!!XuYI)II+zo>FrAKfjJU}` zhl#Mw1Y8W{?ViOq`!V&_YVa11Ulk%^f4~zCi6iR@W_RNgvJ`WF z!b?Tyul|VQ=Q^FC8Q^;(-xtjd4r!7=sjjXhKWJS$*W2H*zv zzXfrWY8cmd`V-z>5rqP;`EZ=CG@shVMfp(L-(OVpXj*c53v}Vw;!!q?sOU4Nm0e?x zvfL*i#1<-NtvK;1U1ddJG9%y=Xq~))=`A~Dsh}A-qGOOo_r#Rnq`B zS49;}mZd{)&TXs#j6QLsEbm)k#3=Cc^feACr$uRXwflA!Oo%04eYsqGbAj?Qcf)8Gg4A@n#O>&)W9dHjHj(h6JY7;qoqVe!=p)bUS>3q=>^S@rmyP8sXz ziHV7+s}s!1AStTcdejCDomPflX9!O+KPCZxY=yHx4a_~+&(tn%XE>2Ydn}HC$fh_Q zHlqiF0hrDdK8v%{g|U=PIXq3^gsFA|QAF5%$uRg`LRA#lPD@SfvIPs2w&x15Vc0${ z;2abpk~9T8+2=B;R=kG`+v>qMc33lQ;DJ-s)4QZOElgwX7%**(#gOtAeI>HO{GRF7 zCz+-IFL-cO=nrdn{Tc*9CqNA@9=L8rFlkCgkO~_rZ;Oa1xyIpqwthogFbduhG0=(| zgY(U+7f)+*nyoLTA{1WNA13%@ihAxING@8eLa@w;mq4ajI1X#!#d4?95lbCny0c zE_{yAgSl86s5ob22vAhGd^{gxoO)4PuPO0{G^ELIy2kM4?cpIjSWrH|dI!WlP3Q1N zQMuK*5gey%R8&tzV*3_f6n{1FKi4}rX2=#hy;`g9` zD+T+8fsUynj^$3xsxM!z{q^;QI?jQOgD|{8A>_gb&Q-7eRhNV2KoKvag$jOGzAar| z$FbAI=q!rcs*?>zDuz)uYU(x?xB72Tq#G`#p5}<4g0p8H_AShLDh|GX{^s)T-H7fb zHKb0*DN_{ux{6rZU}Jb)0SuZXy-Y-qF$94cMh8`NL%NqE6hz={9XE4$)x*QX@07zu zRhT52_cxD9Mn>=!iBj$$LcbJp-v8o+;hxz2UHUeED(+@IKp^sSm{3vrG7 zmWA`x_VW9YKcR=K5zAZcTiYA6;>`SfWgc0cH~|FB#7N?sgHf!lquAk-yEAB#Qz}Hb zxrY`q;)`jd>>Cxc#)h zMB2LFTFQzh^uBU7y?V82Wku?w?4zbK^sxVQ@7h zL((Fel>oiA#RvCT?GzFv4|tY-HJ9C(6g^25smjoAPkM`&tbTTWteL(syeO(UJU$B@ z7$;|E)IHCx-#&JSrlwKay0N7tfMH8B^~$H`C*k|7v4#FBL^p9Duwvho`+Qv_dX=54 z%zJMsXTWH@XOH*Vhz4oO%W(7BVRu^PXWQjol;j2p6byXgwVwPqZ%&IFc#|2B2|p6# zFA>pBRY99O_@uZbHdM6kRLS+z3!yqd+rYG+?l!M>^Rxh++W;@$;RrEMcTTO;HyXYU z9TBvy@Qn%!yRGQg8fcfACbDg7j?8^?@82J#?-zz*rC?Nk^vDYil=Sp;Os?G*kw$?&i zfnwj)`|1&iiHW$=+_jdcqEz2lP+gzqSvgnHnPn;x8@5T{=VhyxyxhNH(WuFAKOq74 zz*U^+Kz#(lCl~ec(AulglP8}_UIvmS=Tg82K`w!kne=-FL{tjcX0=%i~U5uuhyse@o_^Q>kNC7ftliR*Ue;uNLoTz=)F)x zqN?PP$;W1Yy{Oi?x$m-zi;J0AHymsrH37fXN5+4z%*TtNF}$Q?ZH6vI2HtXzgf22M z(Nmm4PlUIGi?gbMk)`r7BkBvFdaU-BGaaDEmh&3Eoas;{2Hy9+z_;w~rxPk28WMe8 z7xWqO$)zP4PQ^MZNd@nP8_m7mxwd>~d|$i}p;eYCk-0kd)h)b{GHN(4FK=*g5XCrM zRN(~#GS*p04ULQzCdVZK!g$!3H_R7Iy`S64ghd^Ck0f!QsO0I%?CdYHJGPPv?5l+& zTF-l|Gq1yD1%2M&z9aE6PK6eciEynaTEfz;7_bUW>fu*2gqY`_!zlw}^76vU%E~_4 zuI`bF!b1V-(`%fgC=WJ06!L**&rlm-KWcnOkF4FM{nuBTgCaVQpy+qV3w11tASLT7 zy`CiNQ?wNqLZIb(KO6t)76F>@Uif0*?fGN9n0)L?+h0RI71y|dkAF{qcv5REO>tJL zspv8gV5@Q*kD81(G=`9(!#sQB$mgD(b(l;bqVnWSnSuR%cIx=G?lUXlB3i)5K!}Ep zA*KJ8OHb!lQ(^1W@9!4(P-COOp2#^iU;FUE{D+NND=W~(JSbTBkFNT*F^`OeM8sR} zpZsmoL~;sAIUnC6W|1T+Nmb~L;O|3>s(DzGz*FP-Cl`Vr#4I(wE3I1krUEF@;l_iG zMfBjogS@=2!GPyNn`Z~Wm)p;tC} zW{A7MG+;SluZ=hg#@BuH^le}6V>^ZU3S|{KWd!yNIdo)%Grk@yMD^|K=;($y2?oOg z|IM{7|6dLIDMgq2U@aHuUEy9?eOVg;8!!(iKY{*&lM~MUd>z&;O3D&j8^`0eulW*n zAGxW+poT^-couL^Ai+5FP(*_yxn+BHSZ%6>G|uifekfi9^~1gWvQrH&?tass9vU7- zdd)NZ>1?)sikgMlW5aZ#K>w0GAz?0G@4-uLH@97`T>XoZmM_HjFcg0R0vf4T<`|=8 z+>U(zyMTc0hIJWt@8kRT+3040YP>=pMNeoPbeBSee1yMYd#qtlzSOI452eSSUTm#I zsf?v%;@1m<8_E48(sIJd_0xT6(GlHZ^L1*7j(mZK!;XU6R>PLL7ZrYp;2NEu&_vg- zcNn5P8Q{Kcg@zxHKCtDyOlfrSlI{GI1ldYAy zQ1*UcjT&ZqA*Q<_AqLOJNK6i!?9J1uuP*oCg)F+px*>ai?`V5JG4XKk%BrC<&WRi= zN|{JHa>QG}x>%uRaZc>OWqelj{%}}Upr?(7({e7ey}J++5hzJ6L5+Ev|91Nsenw)`0AB$c4IdCCsoyFqZ3fCWD}0V*^betLfuIer zigUnz-mR1Z2N4!)clTo<)s7pDFmZkSywaJU(LZBTOCw%BO&ZXx4kB+ja zsDY+VUx`=ry%oo-o(;5%A?Q|0@M7df>0yY{RpCztzOkR5xd>kyNgmM0(IYVzm4$_t6Uo4pmfwAUG7sIowuGOAtcB2e>8J zm5IzkXCJ^;$I6PPV?X4HC_&T?Jh)W9beV#4m^FZd>M9lNcMYZoP_e16ub=*z2RHln zs#Z`zj2K zt%*07-g^1h!L7n?OgL6mA-TeB+SQ(kfvdfu;`?*1w>$=Y!-F*8d9!Ox$R@&3J+vhp2eJxP;=z)Th7rE;EgBd_qpMMTgk^U!Db`HYW@q_(x)uh>2t601Hn zH5HS8>p&y7H5hh77fl~HXqx7%79z2#OhZBWnUsHaL+G`$PEPJK^B~blt`tJLiH7dR zDpgGnyq%YPnzJEAhtePC;H8^4C2B2JaLZ%C6plx3$BrE+13&OOEzT<8Yo@kNL(X-- zwO=)vo_^?pEuAtWrFVC3?9ZRqUa}vGt@*A-eaM#ObxKxBcJ|SykDoFSg+s&J=PD#5 zc!M4E4GrhdmbgH*suqo1az@Epdbq{Y`2$;XjYiy)Aw`mdm-8D;VU;=59~>c8Lc`kG z&_)E(c6Lf|uTr8&>^c7%R4%SlWZ^B1jozb~;-%MJb3jtczsOMV1cm<#-eeu_Xrv(= zvWCa>Eb)Bxn`}2KnyaxQpwk7-Nqrv_r;!wESq*o3u;i!?gIR6qMCJ$-flH;9T&vY+g^ z1y4kzr{rX%l={|YHkrN!(5L-IMUraDfi=&Kz_9yk z5p2gVqy`5EtJ`85&oa&7@$e_`1bww9BPA_~-ak3*Q<|Ai&(&U6bFC}Mk8CeH&g28) zPVK+nSitU$`ewy8M^EXc=#Rsfo6$MI&Ruk4aAUf-SSrdeqY$)()d7ls(<2aUxM+X* z_@jX9V(jzg#M0h{MKpiQR(jqYgS|({;(a8m;)~e=Ql>Yl+|TF+O1^J4=#X9n5q5m?V``3uC{n+UYZx! z8)g^{x}x#Dc5gpGFUxP)VFud2|F1{rJ9A>rr3jFX|3XZ)&7nX%Cg=t~61K2k8aS&$ zMHO*3Bs%+So*ehkBn+>wbrR=R8c*==>0&|J=IHF)Rd6Dty0M|*m%9|6d4otwF%<(g z;x34|d}tEHnnx2sHy5Wmes-Is#@1f2tk`X>cU!rkrRmUprX%scCnh|`i>9#+p1#kt zGhQ?C@84qI(IXdHN!4R2Dz-<$7^eF6jJS8R1izDTy*e}VZC40Q!sa=%+v?__CBCqJ zA@3cfzg(cdZAZ!lE2m<>6x;GQ=tmE|Vy1U^3E^g7FtJJzCib(Z$KtH!jW5-`y)X5W z@z&5USlQYvwaXz@x(mLXYj5G|la|PzA)Dz&nUA{e*J?d9Xvpu0Dm*OZvvy5ipG!GZ z6O_`@^;I(MB)Q_cB<$_-Yb~=&of70+wF8%)Q$X7NY&-V{EV^Im4IvkSIvur~?Ok3= zJ5GkXg)VdUGC$bOeV#?)Lc4?GInalGZ26aSPag$v2Yo0=bPq-f?mQC!DXrVU7NSg` z1vB*m05SC6Oh)gqjV4>AQk|Tu{pW|TPu@90z|-0PqqB1f-MRvM%^Sx)T!fHF)??*Z z%ALy0x4+$`?l7_Va_rsqeneu=6xSf2m$b6H^yVo!mqK$|Oa`A`vI*#dej`dR)CH|q zku!bhrew#{ksxk-!&we?4jHd0dWQLvsbDxig=(=~YKG?47wB~CaM~|g&wU!3zryAQ zE`|}d)?%JmdS^Vqf?Cev!UV?5z;V$QXV8dcg?!trYKh7U3Ilqf+37~V* z@P+s8Z6%!7rl7uecp zm*WYnx?8Fj zL=&LL2PNx^x|ZP4BX)V2qg{z}CJ`pSrhIYaNYV3H212TUaznO%T1G zWfTFCw3+szqwHD?5E}b$@bhp?|17IFbKy$E_yD#8Iuu-XPWGL}S1&n+kUiO#F(QZx zmtHbigjJYw?7u((++#k={fgTg78?R9H%Uft+d4s)lqBb`{a`aa4OJTGM=PTlkBn{v zMdUUYgGi~0wl*@vr(ad2lIxi**Q>{7!}dQ%VefQAa&nHuW`Ljvy1KzMth-;Cjz??r zvKEPQb99aAF;^cmiz4+`IkE~u1aXNqpOeMKVmU!V$uGCD_?@rfQFbVm&;A1}EK*Ri zYN&Lyp-t)|WW~5Be7}0IeLMXw*%B2;R(fWV^i|i;tSrWt&Pn`?ngjlu-E7yB!M+6n zeIh3<4Qfblnx}mW+WoY&c{-N>b~rkB)}{M1`KFvk(CM{p&L1w#v8Tus zeQzkbZUhP_3YFF_E^@KEeb}|W%<%rkfqUl0o*OHQQSvui|6ZdY?b!Ibu<-1!`M|{& zVh7$7j9ho#@s*k=+p+Zb-!XgsFJ}{9yD@D#>TjP%0SQa#e6zkhEwcFQ>^%tnXhBvq zH!~xqzJ^*6+Po3_WIxdbX@YiQY^+*HQ_dx7aNj_>Y-7+f&ckQO}>Mn7xSL)DR4_Hn|7)94J z1g~MT{M9E8avlqu0>(82ot?zDocJ#CO=RSxgQO%G*}9A@7lT-8$E$|W0Ur<^Eg>E)v5P)@Xi#1&g2{l0*%j`{z&Yd%){7 zNF*o~l1C@WWdvM;2d6e*gRAWP*(k^%Aq@+plm`83V(&h7{2>GJyt@t#8qjo~Oap7ANA ziOCVWmoq(i=MLxMv>qdS(sA3}`Z`Ax6oijXFe!(=eI@Q+MFK*QKrIC!oeuAYU*^MQ z5xPq)&oow8woBC_4@lo{Fy-d%pZb}%hs(~!74^Ym#5|{dc$6sL{GD%h6dg(qz>sg`I^;VRe zg`C`NlH|Z&l!M>9_J>ACWWBXFF*OA?STyKm=1XNm0}e5VnGdtWXhrY-A-%#xRMP;5 z_7h#!lFAU){rhziC3No07HXp;ASotFFMRkO?aLSeqknpCcOe{o@L=2LUc0zhX#Mr; z>`)r25>2Tc@1tl|^z7|_zm5#3px$#a&x~6y{!u(vps=M}0N*FKmC#s=_m^|@M*UlN z5;08fM8KfVT$jZ%)Q8xz> z&28nJh@haN#{z%qQ6=K{+^{2R81h!?-FNGUW7TQ!Dv=2Ee+P7FXv`d({4f>i1)E9<}&c{ z)#IT2uPH!JH8&@9PB`IoTiffNpVy8Z7f(3hl@uS(q;f5aDu$9H+7uE&6O&-~XBZ%n zm4$tia-NSzP)0_E{}?S7*eX{R{^a2vj#K9uq(T0z+E*IQCjRf!)+V3sM$>4nNRlGa zws-ZaSsk_iPPYg`19?QP3?f5hnsf7WK|Rvs#$%%lkq8uU1iKF8of@uiWKbG{BK79Y zC(9jK5L0ZgEoz;0I`XLL)pyScb{VLni{Sw~=6>)2ZyY%rP?ETt^R5nX%XzjC1G zeBI)gFZae3B+nb95ozI@R~H%{AF0-zeJm@XS51=YIjUl$ZeXlq;9Sqbxy><}9egY^f{7g|xPU3{5 zb=md4#OFSFvlPkY{te@^-y`)j!mX@!A>e`ypH&*_@_=4tO;2BTP#i1Z7U^hqE zJ--JJOFgZ2{B#?op`prKuZc5^Ql~(;MpRDzA}lU#qQ4;RVbTeCc}bVvK%%d9Ys){M zA}8nu_FU@}OpAhs7x-U)s z5E^^_R0_?~&z}ffM(55|y-}k?ZA|K@gt9t{$^R;Ezury!^TMLsJL_kGU4x$)!tt&) zhU#4SN$F)t%EWz+-O5K;2%!+$!my6SW+ zXgGVV&z$)*n5!6|yJD<|elr3VN1Gk-LrQyy$V!7QP-HOpW?zKo&`KT>&$Bo8F*9>^ zSL9?DGFImbTb8yfNHe!5qoNsHBBT80$9FzzRrWCQs9~tP=;9K4Sl-8~_uX@p*38~xRdF+j_T~3?%tz1hq}_PRg^FiRvLSxlB0=wZh8M9o{bEx&Qt-zJ9nnw@r5Gs^)I!`sXia5QBN=RgGzwZ$h^Y!vWW?= zvO~LrWVgC{KIY(Hjk1$E+_#$zUIBe`@Kgw`TTSE(jV_Pt2U<(s#TGu&yoaA9_eVlgxo~Wh3klV(Ir6$0b(ls0p+Vn%2KQYc(M$KTVz} z?FWOI^V+=xDrO;Y?P9#n5!xfNvc~VKMSD&5VwcZF`xt!o(hu3&^V9g7O>!msY&O>v zrP-Q`Po&Xd*1~#l%cAw7m{Z?cRc#aMLZbI*2xp$Yevm^hC?X>3J+#sx_{j8)`H6t7 zoh;I1I(Ndt{$guHrQZk82sE#%^k6&yw3-n}VKW9Ec{G#ee+wb4Kuc6tE6ZC=9x6Tf zaJDwar?Ia!N`16|8VW$v;HN=zFs%alnM^rvXl`Ycs8}XL&bv5pEH{EJmFK zO2SaiD{LWczTryd=Eb&ZJ|Ln|4Jh7b0Xqmrh<9#omX{C;!KgSxJ( z#DocU{{Ousc$rV1TIlOnj(SWDltI=x-fr}bwFT_1n%QC4g9{4^;&eX}#CpM=S)Tf_ zSgNM;Sjrny7YxYB2tS~Jc-z83UL73$!Ee3ubtEf?;?4Hgk&Q)@vUaqr4rduR{b>`l zJG+RB&mTMnB+Ih1(-n|I|MCbZsWdk*@ZDI+Gfex}e47xHhjC`h-@aA&80GZ)rP66f zcy4s(p*6@IctcM3c&*_r3`we?6rTAY$5zkmBlMS)$@Jodw$#SIj(<_mo?9-Jzuvoo z5lUbVJvU>Nx28h}?t|@^E@q?6R!PS`82u4f4^GBnZwob{HqhoVvi|)1@YlQ#)*qyr z=2Tmi`K}^ZzvA^s`RH@|Lu!#F{*#&~D~V<-FLb9Hk>c&P>|H5$WklOa`&zbjClq-&FkX9eVo<&{# z+~m&DAKl$Zk(d}a$oEiK_BB9FX|Dh-Nt5Y6!uLl^AYpLG8|^=qqa9VV5BfLV#PK`mC~ z(x>3noITT(gLG-^_ix_m&?nJo26d!apil((lk`$c?5Pl%>*G@nd!NoUp0TsD)4h(E z!cs?vXwUf``2H6-IQk|g^p4Q~#AqEOsD~FsXiZ!BxwBRLo)i*2Mb&WY$&;UG4*<1W zJL>+sd1=FVKk30MIPH+l^!4eC zDH{#hZ@mVNNL7nGkB+-!%g}~G;tSY}5Z-StLV>#4+Rh(veoXxA5X2xMaxTnl1HeN| zUbMAcZ1TM_hu%UD--Hp(lN~R8_ea;qL8J4i{PyjVCudbIUR)C?+P`ygVFk>TOS-VT zrS$cd%F1X8aI{_%AM_2Xy>O+QEw&E8riQ~T1fEw=t{)QGbMl*UaTTUqVMrbFmsMYd zu=YT=L`g2A1DD%U1pvnhvQatsmSS56S`J=CMZFI}M0(}*7*jcd7)Nr;-aQlmSSpcY zm_&7b>PG;ZP;r5aXD2JCM0n7vivuODQ|HMIjrISw<_-VidW)XM83X#n$K(X3lK+@F z#n*{5`aa|t3!XC5+rfxYBN~_ish%=(T9>W<3P6HV;DQ}P%b)-=(xdvV z)eti?t*&pu*?Gr-Lm=(ZB!oF+u72*wGEJ8E;qHYw^7ofS)Ps)Z#1K~EXJ*`URH#lL zxWdM46jXoZSxbG;36{$x%@fjBe?5#L!4NgP^Nt^H@?Q>B1nZkz-##5eG3x{xsP_L`Av*h>hhQuccZ3Ec;&#gRvjlKOZa2 zY7iJhdgtQN`lzK+QELbqlxqH+i#!kHVXg3Rqz)e{%=#TKT)4UTlc*uk;4>f`XzJ)# z{LcK1hqZwvQZ;LA^MW&L55j2OBvBQZhJJ!%_)h~HFc@3-H{5cTEn9myPbs8@;@;a<2WQ%fr=e@s|{VgRI!(Ao=)KXz(ahMKVl{jx@)jANrK88?RWu)=y(4>lBBreo7|sTjxE9le z#YN11yy2ti6s|wsDY}=eJ-E>hpr=*ry=_`1j5QFb?Gv%me!<^akpoo#B8Mhf%D+P% z#jruJiaQyB_%XuXv<=yYxwiJbk0~*4Lqo~ELkLf#Yi}xEetbZY2@o$kPKxwI>=GDP z1YIPaJ4BI0*9pjin!e4H3EEJKUUM$C&qB@Q8#Mm51aW*%7GO-`1xYcE7yEpZZ1}bp zlm`&^fVOG=98%u{I{o?>Wdi|~_|W{y9LVi#lNf@?2qV!G=w0IrGaapigS ze;a}(+3tXrHvAwE7BOBog&51qQnt#8hxn@4$)BifZBSo|y*2PMH5IP1r$j}ES?)m$ z-H?;(ZD|palVj7Y)(FE*g3jJ3d(ct-v$YL)iT5!BA0fRZYE)Ce1I9(gCj|kvrUwE4 zMGh*5g9jp^>%$Vq$E&HSK?(?o&}lU_jKupaTWDX4p8UasN>EXq2E7@R>u&!iN^+k2 zkFsjeCK;>hDJ~9-ZgI`719!D~;mXDO`b_!+G>ZxfThN{m%NSilcDSV|UpkHn;_Wbt zJj40GJ=rY03unS8J$(!#8F7Vx!0(4~iZU{582^M51ur!hMFiuriQyn@8C&l!SzI%I zykh9Lz6>pF{$2`owqTn(bdP`nzzkO0ijV*@GctxUQjh?Xdr!Q>7oFdMVuoCw7U9`S zCiF)zwy^j#Y3gV6RH~{jAk4=?U<{C_6L^-uq$lrnuEdU#;C%Bb3t*7AAl_HUvaO2m za20ur1ltIjyn)5`zLtxU1VGjxDLq32J~cHpV0#l>^;m47xt5IB^lUv?t!*Bh0H)ID zk|d_|WWI&guTfo3+3{+G#%jA`6bBU){8w7JxbH5p1jni`viDVP8~R8J$@H~s>q36c%EIq3wBoA} z*N6wl6X4#$LTt>v2$oQ$`7>2saBT!(5JiTzkd$41$G#Gk0E#Cc>n+a literal 0 HcmV?d00001 diff --git a/images/syntax und semantik.png b/images/syntax und semantik.png new file mode 100644 index 0000000000000000000000000000000000000000..2005b5d35d3b56f5883a81d0198125db1a7e9fe9 GIT binary patch literal 43551 zcmbrmc{o;U`vzPR5*b25NRrGUB$-L3j3LSxGG(mD5TX!5NM@0lWF8_(LK!lKLPF-y zV2ba2_V4|UH`Oozt~Kv^39Ck~5L-+O>=Ff{LQfu3bdcyLRoS zBO}7UNxM|7xocPM)CEO3z1vCiUp!3c)^{X+CM;ys)^c(Z%TZA1{d&8&*rB^LFSRK( ztXr~w&!(2Po~#lby<%pqk!!8>^xu}vJDbB)$DMx!)Tc(?8QEiFV`EzSLZsNIWiI@i zM1(9gu^ct=>43D^UF>85>|}NWW<|U3Z{)Oe|9}1;mAnJH@PProR#L1xx;piW9F`@v zS5qpuL-Qmv7!=IIZ3y4Dp`7t-lvRpagW6M<+fGWZI>l(V=u3>dhllCdwZ&s=cjUe17qW1F^Xq7Ioy(xHTDBV z{r&xpuCh@o_a-F5l{W>0W@!%+e(oPQl9!&|&802Zb?fHDJID3;2+g_W9jO8_8pr=3m%1>GO-AJ{YrG>>)&#m6x-qq<& zzuzxHLPEk03Hq*1X^2n_i&mRRd#-%H`pT=Xw|6Uk0>5ta?&0C)=4MA)dSV~H>oca_ z-^*DgO!rJrO-|-YCiUN~CL+##qQ~>4+U-P$qSxBb@y)+W$BrHQ`0-<+FL}fSWANz) z?VrEr26zpM)Gu7PKHTI>AJ(j6V6YR}w>0T`CfMAOo)(|ny!7={mJYF8!OH4>a&o;R zn)a{DpRubntE#H%=<1$-$k_er&R@w&{aigBYO)849D$AO)b-JyCnN;u$g^}#hAThQ z$@O53Zl5evBXVXrL`E!}P_S*jyV|5Fr9)Sq|T{x((PV`#S$=80A15*PZc&P}JvNh_JGnXYx&MS%L(KYe}uGp-UF95ey! zz7BuR%aP{4Atvm3z1*A}+lhDKeSLk!rVS})ZwUmjA3UKs-iXFh%d7ibeSK@)Es!*~punW=_Huurah6VQ zczC!W-`8rl>0I4xX`hXI>?#@>8v6RNCIW)Iyn6(-_4WIb2J`aro@*w1{pdRC;o)Ip zGu_tKws$|n*7|g+PA=U%H5;3Z`;V@(w-#;f?GqCdvoka2hbxy>Cfm!)%gF-9B(`x^ zU0qrsiUI5@+S=U(Mx~lb66xvb<6~oYC)U<+KvK@_zkK#^~PcA|XxlZ1rW zxVR#t(y8r#o1tcLf~LMd$K)uQxar!kL!YZBe3Bb>O-~Is5nzi>rScVA^mfvis~R9zqmqDk@z)J;pE0{AJmx$%u7wMFj;r2M4RpN3xlR;#7g^a4Gs?8 z-dbChPp58Ke)5EoDg5Tfuj?!=ldkK37KRhlrxw4|o?(el=QasB%BbGLu)s=KGiab4&MDHW@&o!!+M_kF~FhHo@<+m_+ThbnSZn_M+AI^#Gb z>gc#|;$q6(rUQ&ZuLlPuxVT8%S)8j!K9|}sA3mIwogH|Lc<)}L%a{9md&eYvSH52$ z4{{xUvloXkzFmn!+tt-oQIYt^8%7D|w1kAuP4}tfsP^7(s`lI2o@j}5VHvG*ITpZ< z{jaK~c91+siuK0Q*H?Nxzdt01jLyUp%k4B`P1I)GS>#^(-Ko9hxA~_qFVODPAR1hr zB0F`C9#3e7B1e>FcF&AEZHW8M_P>>t75)56hZz~uxK%l#Hh#_YH2Cd^-}p+$z|en& zD6*y2Z>PStb`vX#LWgn@t9n{gRBv9EBZ`}jJT!xjd~cm%pu+B1JpI3mUsiwrK61`W z^nsSK@tyURNh{$qQc^5(j|vJ3-oJlu-W0sPzOKzp#}W13qU7;?u3l|p<1ll^)K1cB zqFB|1-dtTXGxpGonVFg8<>hDRBNqpX*%|hIQ)F!!6i){qDULU$q?qkf`UR8z#Zx4@DxiD&MdAR!IF@g>i6qM z_r8N%RW&uze%mZ9F1dQ46Sr5Xf--D}Q}~E|j&*l;&$2|UFc3w^c&};cFPAYTk?xjT z*dLC-1#T3V*FW?o)3AtC!>S~GQWxwyEFosW>Z^T)x$BEv+Wva(WK zNa!|NG`1|hsBzn(Y)t8Ee8axD(X5 zqEv{9(w{#MZkaf_H2UFJO-+sDi4*77LxdA39*eAZ5HRRML}X;=lT((O$&%MBEIvIu zPsJK}>)YE9G#`{ko>@xnM=G2@7rfgZpWMBBwGbipPp_Crc6Zn&(qKU_3M|k_u31e&6|RP#of=&A0vBXCG5AkP>DkD zd#0zQv$Oc+%N5icZ|Q~-o(o5h9%Ym9O%gH>2n^g4rJ}B?8X6hNCho)%B!BAk>15$+ zZ7JvOOm!rm^_bP8qzwP?;lutz0_smiuTOnQ*clJMmnNpb5hdv{n^{zJ;FFVcX^Tse z3TNEo$3JgNy-?zc!IKd(y|6wL?jyiSdqG2klJTsG-;YRte>oSIl9etN{g0LR2+)Wz zN~O22Pk+%Qt!DwMrwRnMl zzXwcF07RMiB_yg)F689oLTPp_E-vD~opbs27RXM8^V9t2QsxizIeK|1DJkDxoV)W! z>gN0)o8Q(cw<&cZfA;wHFJHdkk0~$HXwfB$*hJLSY@nZ_n-%Bh*ZOS!dGh4ReJZwq zc8<`Dr%#`v=d)X1yx5t2F}3JQZJaFo-5X~3UgHXf-2*MAe*a<{&FptD2Ll}$Fvh8quJen<9T}r67I3n$Ea}Pl%tH2 zkdU+u2g#eG(OkcNGDyCpqN1X#Oi%qFHF*$zBRDv?O-(Sg+2X)`ESjjO=;BDVh}W+l z=%**2A5rCue)#a=%8DyfxV61~es;Ej3@vM*G*wh?Z*QHk-QnirqYG=kbmc2~Zf>i_l}?QbHykta^6a*^ z);Xe7E?%Tk($=ap1F{*diQNW`XxQG!udlDiifdsl_{u6PP3yhSsMFO)0{dO5y&0mI zAvtWs*N?KSuCA^}tM5~LbHVH1hKHV>USOfo!oer>1yykY#j4wka@RtEYAvY{fL1dEeiEa!X}LOGig1g7sWpR+jz={vRXNt2nts z7m9YdI>%B>{?o=8cN~0yQk7m-_E?280vv#y{dH5*gmHsYBcRW@Syz z%zQ33m6328uN`-mIH8&J+QmdcL1En~y|C~cINP5X-k$aiAAz2OD!IaLN1V`xuxY8S;q6{6)qF+zz+k?J32U!@82JL<4>xz z50j+3Et=BAw{NfGWOlYh0EWD8s&GcT#!>Mk@W}joAGIa3UG?{dS%UZtP2z)38csgp z-LeG$1|kj&42%^I*r?4T-?!1vNbwFF=3O}R-(=H)PoG{U^t?^KVe{tRK5&(sQYML* zRy}hSnc!KwmV$!iF`I)iC&=E|7qmjd?Y5OwQfltWz6d}8;9d9X6>4$*U};5#n55*;yLa!tew7v%7ss;e>h=r_h@U!D zl9~Covs3WgxqsN;QmmcB!*>7!=*TBQ4X{2uf`Yf)-B~2vb6itd7$5)q-Wn4fO$#tx z@3ZOU>3Ler9$Evj-0KV@96bKKb%k^-*;Dx&RQrP7;1npIKfgan9+$j(56P3nMBe9r zUU{$6wk(5vgJJltuk39Sl96c`8X5vUymRNye&T?iKYwm*d7nL73m7*$JIg>vC*`{( zfeXHPQBXp{(6f#vV#3qY^J1#>-tYyS21+tAt%r~Poq9jHg5yrYMjN7NWMtH44Ez8Z zDOa>>N}orDC#F?iUVfJ4JDMt(b~n`1)^mfIg*1h=xh{9okx31Z;j7pg}=XlQPCnUosxnAz+><8cMlXZ05VbaO?}rV z2TLpgmzkKDuv~4etqEt`tc$O{LUp6+7ibZhA1b$RY-~hh25LM?O(vW$|2E_x7=fFM z%kE+iu=nF?acF3_Zv91h!C5H9qm381qNCS8`#|!RZ}sgGuC?kaiGy+uvypbhYu>&G zgF1jKaH;Rigy@V>P-Y{AwDbf7fmves`e*77i!a86wC>ProjlnpOIo`U`n^dGBnkx!{VOSt1`icp~OFgv#BKDpPD*BIWW; z5jVBHF((MU1-r~SacJl=Q}~~;#yxCoY+{M$uC)V!2u(r`IE*%(DFpce z;Mawv;pV~+07D7R*BQ4dtz12S*%#M)o`b}owfkdLkDPJMEGb#`-$Uwzt~B=AAD>Pg z@)khwu!uF^)w;D*zisT2-DiPf(LGRsBqb!w7_A*0lVf6z#i~LA`m;1DbNiW6&-EHEk#m5vU zR7ZvI`mO3I;O@g0r)OZW%XiB4xW@eFV6&p1&l-j18v{u%rbuZ!fKePcZ~zG5!Gi~D z|Nf5RSyC3A1#$uurJ|(#*xIV?E%QXeyRecu;Ar-EZD-NJy+rw#N@w z-e428r5<$r{yxf}$fUKkRgPMbn+{wAINzo*U~d||f3pSP@En*N7TwOe=)*iKf$AkL& zquUbwHEs7ubMxfiQNPqvmdaLEnH&Z$N=xr7e+!C;h*&vf#1mTs`Uo=PZ>jl2XdLI_ zAeXvfg~Q=Nes1pfZEZZqkMEslV_*noe~(in7bQUCFN6i7qKZUy@c3bp9)Sw=PT7Yh z96gDo(Ar3R*4itV<8l(th~(F1%(jbt&z?Ozu^W9#r_V>QR6BiFX`v_%P*#tmY1CO@%9FCLAf3o8F6M=!n3`4^{TsjnI2DJ zPtGnO#)rW0Xf6Ocr!3zAh6e=)qpZ^@&G9V`X}&fYKOdOE&3IhP=4@mO0hIVylLfpm z%*?8)s>a7ea@5r(0#Pb!-qN>4t_d3fHhX%W36k&b>T-y2b2xym&L?{M^l{n? z$z{6=j6PNDacbOBKYR9UGgAopixpbp)BcTSW%|ZUVa*)0A+fQsZOnU#{1rKJbsvs5 zpuHF8w{C83YHIBposb=J z8(tgtJZ0SHZ*GVx1Xhis!a)yV7C+ZYdE@!#E*ly3WenJrAJ_`JclqtdkKrnu%8H6+ zj3gE4!GnW_M~)l;&=vDODw(|a?b{0YJIH-Nv}E}^SS&XmLiK$3koBAwC*Ahw4=I)w zY(X@Yo@Z>A(?MpgUAu;=`MyEpA-j_8^}uU)j>Wg*vE#PThl6N=W`P%yl30Y~=MqV% znVC0NCe_dzbai#l9XC5p$B-Yb>ewj1y0iBKy)OfH707ihDmlt8tO(#=%@iq5Kq8dw z%Z7$!XTJ#bj~`)mI_wYQeGC*w^iC@6#|@(T*U+84T?kq-JRKRexjhEz^VB%Qm>Oo)lk zMVX!2`s35ss3;exv#52s`T5h6lb;6%=SLgZ%8mt`a{q1I5Ta<2Y)`i4&f7q~M#ft) zI5ZS|?_PmvgYWp8AoLkgroxPj0Qq!oWpUlyUP;~jAsL1+SO_x2a$pQ#p~OV~uH#C? zat{>2QpW(AXoz96-6oUHf4e9}uLfs_U&=1_e%U z#+{)(+d4TpUAwlIK#i|n-G(|lKkq=~Z)RyZv9RE1YpcRZixX*L!V<2$XTl46;7Ga_ zBQvwTgTsiKBO9@tm9UYww>OHGEW5L_GZ_U%Z+G|ZI~I(8#+yiq#nz}!J z)F}B{sm1O6Z=)Rk6@;2WD7DbqRoJNszjT`;zCAoF4BI$Ni(6Do460`ZP{Sx2_8J-* z6qBLLro~j2x&xfY*sEs||tBeh7AL)=VPVB&-x5{_3D*6*Pdh=i3o#B zm!Q9M4^$iqQFN`YD|{Z@X7y6+jHa>w|Go@#q!_wfBj+wY?w|~)=1?D+g(&7pF8OZ= z3Zh_L&dyLcGFp9gZ;}YXjF6+;{57MC{l=TJHuW*_-Rwy3GLED#R>PfsA4ik~B$TC! z*Q^fk6v+b8f>C7pjMxvgxODk;z4c*gdJzyngdH*Ey}9#qTmi%}DLHv=X(VZ2L)xtN zzx($|HW6s>n7efIrr2>V<(%S9=UYqPW@eU_Ol`zjBP*dn_4ewO7>;~6W^Zd-U|iV& zsjOsg3qeKizhq$l_FccBQSKSZ14o228)Nw!s0fY#uG=&UG^@m{@#or_IniziF~p79 zzn&E>K0T_?&nETWN|^o*IdK5YAwVv%ov~CIze}2YDR4HOK0Y;-@#SPEqiLBW3wUO` zX6kn?LBwV@l%D5gEamY3dBZ1hCv8u~1=l_@b3h>H;G(sppvWX93Sjr9o%#LR|LT`o z-kS_$#GR=!kW_DMFNcMOLNubJq@*DpUtPbJeX%w^E_$1v_;YF5y-@Gx| z=E*ExF`j$+;QuUWZFq(@?;=f^Xyi8j-Zaw8zBu<~I7>HsXLwKHofD4DoO_#TwwJ1R zwo9K^-0X?vS z%FB2#aog$Y*A#n$aPHoX_T${sZH6@}tC zeH~Z+)AUp1S}p8!ZUz(zcb_cA+ZXY~awKbX?>vBB$(!F0@BU_ur47=U-{w z!N2E@tgiO-^(79T|8pa9k13Z%VXkVSmH6~~SC&+Ub=lrGwe=5F_%eG|<>d+Xdd7+E z^Mq^wzM2FIz53>4dmr{)S6`u%^4?6rzF2pnaU~Zyw*%Wk;v%^fmp?_Pn6SuMP*Cm( z3w@rMohoyyXr?)9h~a;mNub1#1>NmkBwL8Y*X*j>j`0Gq;p&?@BMYev-!)5aEnai@ znq+i5!K6b)ZI~haaNV`*hqJS%^^InmQN!Qyd+vYnm7Qk= z1$@i%pVK`(L-}hsx-$z3Y-mU>Sv}62F-+07S-_Dm#mV2F>d28O zuir1d9>?`>tzJZm!Cv!akeSba+ht?N!os48hUUs=k8F`%E$+V~BU~4s{FE_vVTqcM zh_G?7KR+zVK^8zumaQwJ@#5wW8z+xhHIDNfm$J2vyUte*bc*l{a_?^5rzp);d)kaK zK~c4^h@!KzKTCv~I7CpeJ8f&{C=IbHG;r>k#_<|HLG?%ffwi+(WCRPSBQ zNV~H6Tw_+FqjzoT|9$?W6F+~Ne)=?fBl48!ys%|(VxqCHuk;{Cw5365kLz)Z5EG}Y zqTEh14zdh|XW1&`09g_%%-j~A=9>K2Sr5{vU z@s*5sQ(g08b(vMDPSo+b4EM5>Q)`}!TkE7fpSEs%?cExUrnnj#J3U(0+TQNw;qg!G z#=D*WHMM_iaJ;!Ux;_+yD$iXpDcD}Bdn?Z+l4nrt@o$rNN&Of#>1PS*ol1GJWW}qK z-SiZ^j850@aL*{bsMb(-X(T>tbMaiDq@eiMB3;`{vx0GA*t9Y8XHUxf;%FdR7Z-sK zzshn(cz&WKLG|2$YQBDcwRT#`BlbCUmcs!P|22dkJDi-H)H=G;S()EO5^5!HbzCd? z&K=7Bex@UN^C5F~R#sn9Aosg-vm!_JPQ)lzcK4n#e_8MK0Wdg| zl*G5UTaG$2Siaic+@J9WM39+^1@`a4Ef5a(d`SEs>%9T{thP+H?!fyy+fY zFODLYrD;*J))ut?*w^~g)2oO4)}zyle0$nLL(Pl&`tDtQMYLznoXlkYz~AMHh{Uh2 zge~)~f13Htc8xk@itjYf^4wnw1U>eNSdWB<6bS z3XP#KJ@tq#{G{g%ngJ~M#)U;mTQb?{`t`%q)MhtsT)gq)-tY(nA($A@Rg#`Q-55Y0 zdLm@rl_obj?vbCDC&3btkYKcWX!^BKL1yMXbuMPct(`wvNl8iN_5&MhYkXH~=&YpB zy|wQA0WW!zZ{Rz*Bi`K|(PR{zBvpEmZ3V%UmT>zoc1ev46{OOBgJXS#jpy$h4^vfE z+?Yy-No(@T-eB-!;;WtYY(H(9L6x`5`%a$BR!{&C%njEI+gN(qM$Zb9@JIJCOG`_b z;IXQpkiq6qVn!=(q&|H*Bu=h!6iy35A6zluH3+%PCR(ev9bl382_fVJCnr#>`07bG z%Ey!+zNn};KuM|Z@O^b1&j*>M7UtaM-2fovY@k7vnn{Mg8+56Qjg4zbNIEu0FGRQ1 z4;9^|?aE3Xp*;Ms;sMP*GBSeZe{X(%yt+Cx{$_E3yVvqJpm&gK#~6d$CEf*ApfUoG zC@Fyj2#GaO%u&*9>LC;fu$Z~|eTxq?Dk}rILamkm0IU5MK>#XSMmHrnaZl9eb@9#J zqKu_l+y%M0*B#0yNla;4mZ2C+s?|bKd)wR$3b(Ov(6xFipP%yMXHo)MI0yhc-I+T5 zIKDwx=)GkL)MgGc4o=#on~UDQ-5Fdd+~*$^i^)-yy4cpL(D3sYjyDAdS=n@|swvQ9 zKGcj96Qz5kQgSgxDB(lM!4tk=5ld4M2JBHPh&aJ43<(YOTAd1aEz;7}U4_VqbkjG9 z#mULj?mx7eea?x9tU|=~_4S1+Tj}&AFDK_GEH@ErikMd7vz#YR*jQVW5EEPq?Lg_XrzKXM18duBR1Is!?lkj+!3MkqzfZ#$`FBKGm)dqF`* z$)HDpIES&Tn3yEth*gYAr~6`UqIlxkH~sKdB*Q0}HTZ=myF zV@o-WNKl581UC^fi;mY;%(i5VV2^tD&O9zIkevJ`e(}~34U8Iq0C;ye(dsMw_4U0vU}Y$18EI`vUOyZ6hND(%!e< zKA>rdIMRd2Ui%~xZ#DQjTqu_QwV9A2M>q0h&ovTnA_PVf=mPg10_;(;4BJ+t2H$_s z3p6A`rJQcO+ zNCJC4MiyW`h>hM~Y#Pb_;Mp@vC#OY7{7@Aty?)#MjQd*W=>{r@M1!`rHqsC+E>SA( zxC3T!r@Md22?x#%qQ@VJTTUuhQ!>0)#sUI3NG9&Z=*mrZK$N$i4*@~UulySo+u-vo z!kRqf`^83{qRIAv%ubo35dVAn@2=}O zP1Pn&14UOF2dwt-xO?}n!&e&^3TR%LOxGE#+;^^7Z=y}b_&cHLj-%O8k2aS>)6Qb`dL zkT?jL76d`Ev$KPOnjvQ+DQRnIxo3!8i!Q6%R%z#e)b6kKKDC~!Q&=X%6HN>Z;#(#P zfx6+SXliOAo<_P9i;@ZB6g>so@0#%EPBWsvpR(p}NTEQ+H%I2>BSqSo`eUE%dVacl0W0Q zVx^_^$Th4P5hQBjC>2gA){A@$q{PHYk{;xGui{j*Q27}c7?hQj5rC7UMsYoV{yd!$ zq#RpY?jU)r8rAK&3!I-I%?ZL*hYtqd2KpMYT#nxCOi#Alz}@QVb%ZAIAC2JNA-PN* zB+n7``s3B=FRjDF%mm36fm_sLl=t#-4`te*&_x6#Spgx--qZNJ6a;n@bBg2-MLM;6u8``ue|mWs8(79toCO`MJcGv z@$vU3s_dNv%CGVtBZ@ftIQG@;WecQ@G}w^x?G3))^Y$D0i4)AXZt=v1nh!$v`qa~t zc$g|&neZhdByFD^%uQGdGvw`TvKPj?75}0)25D=1v`G+sX>SwDevYREog0BN1jyK_ zw29(M9Uisi>xLZr8nZ zO08BeEpme32_RvB^vieGGwv7T^KXD>VF$1nC@4MY&5-IWVI0Y>e%XH!EW@`Z)oJ9Uz z?nn2hYu!e^5@CwTsi~FQQt4WTIy&FR#=1T{KLN8NCB@0yeEi$Dj6w8LQrZLlvb$XO zK6=Lel@}HV0LG+i;wmlLP?v$yz56Fp&fbqwxlB)gMcO;9ZE~-d7v8`u3Q6Gb6$Xx-NegRVjLeMfomhO5ZoPM#yqm zG2kiF*Y`rouQvZuZg1Dho}XS4xZ+IljFI``a9M6bP$tu_SQ9w~g^8tx9kElV*4LIN z;Nd}~dVGS+S%L+QLpIb9fwlGZ-w>-xDxb)*3ni!{X7%=pn23nmNRR6*q`-=gjP}zILtff@;Pb+QfKZe26(KYfh(Vkp(sdU*JioJUlye93#EHBva9M{(D(_-fYQ#n1h< zfp2H#hFv8D`ugxcxr79=0IR(GrRL?)N=N(Ow7RCP^eUV>=->_x4$xz9Kj>O$!+%i% z1N&)_nI;J=fkP{KgWUGfjh}asnJ*|%KV_3Hjifg0-?wkyzIgEh@r1j~TWBB>0v-n(}%+z1r)ks6QuSFe2VyrK0V-t~9>^Rp**>0}{_9H&cd#Udu!JY_L^ z0Gnas?-F94+Hm&hlw4Q{g<#Xq;HbUB)8hf`X{iBC<0@G?N^Jq=jPdQ)N(>A0mk4P4 zv?&_vo9<_B2We-$_sq3fkG_1t7!#wg_4lRV`R>k|n(x}r9vi1ID{{qTc}o*5@^L^n zyRxfg8PQ*BF@9SVJzHA@(&$FKWEoiwboQ3b+)=;*DPG?Y@Z3(ydMxl*h!F^j^lP2= z*Pghh!_*8nhnug>&VT;6FSmY5ELw~EF|y!+tiQ1IZC1j>a#B)KaF1b@5J@uaLdcbl zocXLKvbV^TK02zvq{byg!OO#AA;buNK~$;F(z5Pd|4mFVz8y3PXCEUM#l?geI#3`= z6R`M6I)Z9{_3Bq75iW2>b8rgDzD%$oA5sB;qBoX3ejc$DfYP5zrr7?Ey+U3a!8L#P zX)ipDG$ZRH*D8fG=~U+)FFN!#@sMw)`R8i`JsAovW{BS5Uv*sF@t+vu)xx zeN{) zgYBWN{sF)ScJA)QUvPjpIOH`n!kaB%fGvzv$Eb55X8Nq8--9CxK5P4=D}M2mT`xDC z5|TXxB4?nl?|%ev2I&vP8NU`9i^DBODv_BPK=;eY2*Q&nE9h}`&f{+YkZ#|(6Qh!e zXcRnrcngG(*_rH_#YKVmb_IEP-+#Xi64YV)z#DRRcgMO5o4wxUFe%3#m+tkGRJ$VfRJxSJ%(EW=W!pgJi%G&#IOetE^(ap#p( zh~l&E$INzk4up9mjAno%%wrK{*}H5-Wn^ToT)EP9=^{Hd0yY5eO;*AP^4QtiD{*uO z?A`x5j};+rL{t>tnGhUcBHwc~Xwr3jer=gko1?uOII$3t`mFE{HHJL%x4bPq*i-bevSm@kkqX zhIVhCb5G;BcLBltZlQSkTZ<6~JHuM-(F?BZ5Sq zL1~q=iTq!nW?YEjI{8L{`fW?gG=_L0cDB6?`TCL2G_AX>efe@;ZtiEmL*WF(z%~$v zd)M4d6QYQ42rw(6JP6h|r*$A)@_Bd|CL2Z-fG2;<%#2Im*FDf^Um&xcB<g$ zSmfZ2h~LLVag>s-fq}onugHJ>8<(heooquEjN8VSn%INSLF^6~?D+V&jPvFs#PhC@ zgLmi;1^QX%=LYec*1LbH0hBigzQ?yVy1hy4=y=oCHqibeFUmijYwF6ba@1)A>bc7M z4u2xM9MSkzW&i%L*;%^-_nRzAwCD-ov+>rQDGhe|a2cukk4)r2!qy+2d|Ui-c(#ax4keyk$LeywM`aK zhxHc~bqB0g=Zg7gJ&k03QQwJaT!Ql#zT;us9|R1$#65zCcjmq1kqZfaaG zspgRj1nLeiEsd=lBXh-U4Gv_o@-xisnBAwkFK8&VwqQ&w_ujSI)7!g;v|wqt$SMb| zacYXBWu0*0Jn4q^RiUc?M1+LQ+UR~dvMO~8wzk%&mi}4e{N&=dbC>4WQ#V7N*tV?! z;1k4#_NXqIF}}+=Z)%zE%of4|BoWB{&IUR)`?lsusD3%a?UN1LD{{4hZ!OwV8 zj#$Y8ZQ`iODV`~+nmb-o7gM~aN3F*$^)9SeRKLNP9jf;z#?WqT@Mvvn8yO`a)<}rG z)v9yZTf6Kh3($+`oJIs7c6-yqL=Jv(z4|RWm|UHWJ&est&0gC18;Dx4}Fx1NtM-w zmCOtJs>w{N@(P{vgS%BR^(5)>?%{l{?*1q06iU2_rL(Q~fr?jdZI| zVcrDYfR~#v=D{7Rx)YC?nxdjO6;21SM8x_}Qv)1=hIV)>;WBATlq+ zyk@92sYlie_vLRPLd7bjqNavx?fr8v zPoIyt%eTD6FUEgq5jsUi5A_iSF!~BTJ$+lG1tS+>6!khN0%l;KKqSV*?75_vx2nX{ z;-V$V<9TVH>(7;g?+KIi4W)Q1Ty$>gv0LuKb; zW6#!Ks;!ZRL*>YI^r*i&7a`lWyc>_i5AG3$S}@t6!4Va~a)waAG1CRzEME-68BBZX zmyi%OEx9QRKnZsny#o1OB-s!JI>dk39pih=!six7>dv^)$?Ok$({ty~LrG7ai=0Hp zc_$w~*>~_#;g!w4*bJssK-7SM0HrVn0BEag*J9)22R^6Q)g?hCUElh@vC7)&>U3^9 zD=WPndZZ1|x?jG0i4ren-(L`?{B3TIceG?;`9s1UVd2+wZDYTF@$wqfpY`e;ZXuPU z22vHt)-3UKza90xdgLL(bxLUMl8BdQVtN#)Rv%=vpZ9PGkXSnb2!gm@ePg z$gf%7oCDJx7^n|I)J^yjSmfF)x-zcPhs>*&jN9AW zp>buP#01Gc%oz(=G>CN3=g&u^y{j;n6&DwWg3#H~!7A>QWD%4JHnz65MhMf?L~W6} z5eDoJb3Rtp*6wU?E+rcdJ&OI5Y!;V4s5W!+n;TY2)lHXU9(U{(pB4|^hnke8Ncrv`FP zJ~!ho=`TCxTD_lv??-nYNAxHe5>G=uwZ6dK+QfN?7|wfv^=_~5iumWT-~ zURBkT&S~9TJ;-KYOOk)Z$WU`0sb+yFboKV~@$%;DR?^5l`t(VMq6szyosV<+k_7eLy+F*fjJ{R9he{c(B*5opu~5BUo)7M*27d z7}2CQNkiY1K-LYr%^%>QStf6cr`To&^!cP}b^gDbzQNvu5`+ zW|A<3DRI)G)q}!8mk16f;Z{x0%G&!*0LaO@blqDT4`cZ@!a6*$NKwI@)a9mQW={Om zCA*)n5r3|40UaZ&GBi5s2Q~XdwHe@JQ$JK`i-a>kBO&=YSKNSe|0T5f>QSQTaZPrfHZ3yMjn3tD|NR^kkPZq#KXc2 zS59i`C<-NgxsjhdgcGo5J^=yvA$0&PDx6+B+dl9j@gR+i4s%C-89RsxdE}2V2nIic zFr=BHPdJwdiX|khLtkQzJjBQ-fteC;=Eb4%{hPNOKP*w;(GH_=*VT=@el2Ti+R&i@ zqR?#NU&kDfb`#W^q-A--EpZ=l0J4$L8_$~v=V{=55YRuO8qM%h0qBTG&_Bl1&kr(A z+FT_!Ds4J`US2hI_3zFS1iN)$V6?>Y{QhT7%!o@3kq}-4pv@K2ckvDsHvHfT>d`V1 z%kkqdJF^rwyiYgeLt91p*uI{v1#hlrczF2jTf*1_CZIh?<+Sw#;>8VL=I+BcHQ8kkG%r{ zqXM2~YDJlwp59}){!q)*_A{>BuEREyJR**}tg13(r!M=`{Az zyDwk&UC?T1;`~5-Nw7=A^YcIA1%3GDFaEy?OJw4#r$jMWs_sv-@@{X)6s-?PA@#L#n^(;qFeD zZ!FX-ry<Unr5!50_p3F2HV^7(eHR3QlgBhUbtZN(kjH22J?X(ldiyXfG&sl41c=y z-`;LTZre@-mA%=bFG1u&x)ypWa0Z5*^yyImKAvZ%hIX91LC(hz_R(4pX0E{eirar% z0BngAC(Gs;CU%f6hm-klYYS?CDp4SN&N|AkY{|{Z@c%{|{~`#D(tfvx%TNBr$$fSr zX;;z@U|bta1OxVXua80A0csGCJqzR>((iG17*#+P80y0%kGubSW*9!wqSMgSy!2nT zHU&Tz=Le88nd5C&=dM3Ehspx+0}YrTiq6dBWQ{z}Nvn_7E6MQ(OjN0J<@bz+>oe%Z4N8mv$e3gN$o3ZRYe|TX zUg77s-pw2xAO9B?e4K#WR~D2F%(mH0T`}Q^+Ja7t02AR2I4O@FY1!O|Mh;k{@3}wN z9Eb~h3NIU3gjMvMEz)5CNB^_TIX3>GWl|QKW&I8 zUb8c0P=l8T`2pu9-uGvJ04Wi)USxm~bsU)z%q%;y1|xxm(RM78+s$`Ee2^UhoIW-| z)rQu3)78~(Y8#D8+-byiRfw7x*zt&%gW>95Dk>_#>Y|3^mI-KLk^^ydb#>tGCkJl7 zBakicjbFKSb>2vc6sCwkDI~lf##&4bv!>|B!$U(Ai{)t*zhxR+>6C_Bt)ASVQ&ywe zT=@Ekf&VA@n>B`Nd9}_1d>NslWsJN5?5F{-qCNW6QNX07r2z>sbDOh6*L-#)R6J8D zN_^)%|B&f&a9QDjjr$u59M?~nq;5?U$Q7gGqFB z>z<7GqMgu>-WM+~J1LB6KFhb0*E;CTVp{Dw8GT$0JBE(A8PXqjLFtJomCSBiE8+D` z5;D22fs)VjcuNX00la?lrzj?tZ+kdVVmL%T9n+e(ceekZ*53Rf$F=?b52>`1G)bC} zR7glFX+R-K5+xyXhz3QbMir&fP7*tnBr+sr$j~5Zhg1?7L#31{GGwUF>$0Es_b>SR z;n~mL8t(hL&+{18vDP|_iv=KrZp&@arlU>u+sIGD3600kNt)l@+w+b>>IKwkzQ{gb zy;`cLL6nQIFtwOf`gRDt9uWSZD zet{6pR_ikoXPyt`X_%9W#M*8YC7|?Y7GFaegIx&l-f!d=REu~^&_MAQCK?(RwPPmN zFTA2uF7aCg#tL)5bGf-f@jqzL6@C&`b4!c6s3kQLqm`a*BP{GAm^DODpdqUpuc!AO zXk&8PM>_nmNwgkA#*hD!64*88fA?+eAf<2y-E=rH1IOJgFJFVS5ycR|F^Qd~jAEN6 zFe|1%x0c2`iRm3!KUns>*HoZN-*gfF@tE%*I5~I^X_yB25 zQ8H}1nK>GEY+v{)$_a?_L=Ng)eX><*j=6?2&j|6&I(eLz2d? z+s_@&>a|m&r40iJ^+{XzVLEnYv!`wXig9Mi0Ha$>4^w3B>Oa&`RpV$+Asg(0lf#GC zwr^Vv?q1)hq6^KVt>?~j<2|N?hg)O0k&=?~$yz!3_1m`~Qyw%xSw$KOf8sPuR-u7W z?TsbWZY&Sz5FAx|-!CX?|6>^_I=(liN$a)fBB;cMzWg(p-cee3Zux*^SjeGrtH2BZ-N);6zZaKx+`59NAF=-kyWC*lQSa?~Hr)!Zl-CwnH^5EFAxz8E%W7M_jopMA8 zns=xFjtKeh#ECf@Ou2~A4WYB~nx=$H4UT&eojyk?e9^V7e&v4;!!YG|_wl&6YJL|L zssQ=r=(=4ON(_c~U%*Ipmn=iV8Bu~iUkj0or{t)FVx)pIT;Nt50uWTHC{=>Ca?6(d z3l{{bdmqs{jc3|;^8v9?*-y9-dhy~nj&dN=Up^Ug9kI|ktJT0qI0*oc11D|GBeP2` zr-Vo%lOH~;hMML%R z;!snR#j1DzZtzeQPQWS@_I;&O!ZnWf%DH&4(7Pc#E4{^yR!7VBKu`mo8MHj2w>Lp? zE!^>wCb{bN?Z2$5!KDc1c)q>hJW+ZHtQCv=o*p(K1;%Oi2lns3+5CB)s)VTJ>4-nV z@k13Tk%%-M(K5!<95}Q6ePo^lax2H>( zr@H(KCVSMn*fj0Yn9hUXsl(2c5jDnCB|F;_{tQ3X^Z8ZG!qin%evw#2Ew$w%;lhe0n|$bCIOhu&ETE$vK0K2aKG>oP zxPVgd>D4WAZ%voo*hN+Dw=ZC!@X-mDd^9hNbwFfR=qp9Oqsb)EwJ`nX93$QmALT7+ zX}%kQCsS}75xCR2&Lc}tiK~?1AGv{B{_fo@CT$o&3|hU-i#v!NLva2p?a0SZp3Kyg zmAC3IiiN@*h!S*fXEHK|CEm8YcNVykHV+pqra9qZVWh*5d4`TV)Ru^o%-6dqar}k@ zW6;Y!uB+4T{=&%B%*13XT2!ycnxf|eq4E$t@u7im*n4@0h*Zhq!T?oy`MfnXS__ER=EPH2U`%SRv)vIk-nlm@qMjv_bp3&jF3(!BNw z>MGgfQ+caCqCKNZfr8)3tbs<;7psxUX;c9thD+Lqc6I&qJS!ocY-hgh>!~YOu7LI} z3;53EXs$Q}E7JGddmz$hCY9j9?=2McmtG;Wf?v|DJgFSawb`NmtbXxgoZC_zzCchi9ho{N`Ps+#(Lq?{?3 zwr_n8A#DsCzxF;)nx?1C<6>?uWJ>`OpW(=?86t24BiYv25s1q{M8s}iv5>^@lDZvm zrbjoZ04|U2cO&~riKX{CeI5GZ@e0r_g9{e&N?%GE+JPp3d*%kdSt~$#uzGNSi7!{) z&d_b=bj^Y-pP8icgiEB$7-m3;cV4g{I1qov7f_KZwk$)RE57yHpKL@3z%Iq$04QQ3 zWI@HK@k_7o6bw}A&c6H^fpU2x*cDLAy!rDDzqioe&{3V;-iaL+wy(Hk|^z`g>6Yd@u({QEixlQzINhS)^s}#@k4=Z9bNWlEi+M1P~o?eHm z82{nj>(>uD)bSN~T(DysFe=VOmY0K;Drvu{Q5@d$#B%{OJGCIRo1`Fiq?8mY<33eJxl_z$w4Phj|ZZQ2Aino#?fw6s`r`Knyl z#-+`lxt$96lff);FyfcMW}dm^Cl8y$;T85u-I^zfVq&Mjch%9;qea;R>i6qJIuKg zRoOg1L4jVQ+T8%+G$b{#C)vQ+W2CT&WuED4l5C;T(%QOd*D!&nY@ zG&N~n)<3^GP|-g;HO5LW5pp=CA8u~uqeiW#L=vhL<3Y0f+B<(y;-c!vFrFB(b0>|) z>gpp_WDllbD{~(~zon`>Xym)B*8HYmG#d9pwX1h@g3^|xS6^AEHWFS3! zxcFP4!)p!kjy2s;u=;UM9jSiWe=zJdP0Pt?=ZJ%~Jl z|L3TBFp|&5L3`h-n7h_<1hNasniP*N_bq3T;rWsDbkh8@mp_&sQg$-J4JO!vBP1?r zdDP(zPlcq7jsi^$TH6(A_aD zpfjE3Vd<&s)N(H)YXAQE+qYl+Q-ja2wIu^&QtV>d$}1itRiZx09&_wUPF?#0g= zJ3OwyT9{CfIVk@EyE=y_+fiHK{8dOqAS2T_kz5w$xeMmXZfB~hg(3kE5=v8bGV|||BLK3^AqhSPI7)n>-KARl?2w~V2XSR#|dw50Q0CebrQ3AC||(fNN)EH zlP5DY9mI8wds>otyia&%3oiY`0@~SC1lII?yb4d0#`;13oIbriAfRBnW@L0Ubc2PLeNTXm zf;BMGGqKmXjx>Y$JW-zZcXjR~_>Vn@uX1;9X=+kXQ{xkO4{s1QrN%B8YII!~EYUiT z%X|rI0%Ioa3ZY!ER2961>CS3vdoTYrNK~>?YLMYbYPu04+9(R(z6w^X&|eFdq;^+0 z{jCiDaKL~>A_#R9zL25O+L2^VczF@LNCoS42Lb{H~rC?gq#3~`g4yf+kLoS0=f&d|=r zXaL6&8aV19gY_f5Rp{ioW81J_v#=;)%s_qhh#rMcyl{Kxx#Ca^8P0=`5{!TW$#I|t z>rdwXaXt8Y?8uRxW!_RHdqlG7!D`|qxA}i*2ewC-eWtkHFeAnmyM9OIdNju$W9Ujr}ofw`ta)Cpj z)j)|56G<%XsB9?`W1Llw4^_rd*5Ch9e*P8*hrf~Kp;h1A@x}A)yW)$=JDEWp>MVO$ zcdL|NDbvxw0swF{D)W3YQ`Yh|XQan1?Ik<{6N9Q4Owh^tFp1~S-=8&ftsbo$-&OTZ z#3zh|vul?GH7^d*t-B8X^}k&clY(3=wc^|Tug1(9kf8kr5qx!5JV|Zv02pxrdLc%b4$5QmZ}HS($eq|S6VH;W8J`k z1C3%rKRDrYi^HddOd}-)>X$6(cY^E3d8YXcA@2eH{WmEK55Eb5GDFj7OV>6yq(6TA z0GOaix^V+_Hh0V{r5i}$t9hT^@3iA5a@jPFH?&fD+u6mOIkSOM9WCk~NTm0Zl9CdI zYqIa;VDbbwn5xBMranBmOdnjR=+tH77u$MUM(058*VF5Q#tL>9Y=OJ7LqMpZwFGH(paxQev5@T^}Np)x^qiPV_QAIDo; z3Zys9wKPxULQqy{4I37%Zhjb2BK^X7Gr_(U-^%Z@ALpg201)3J$`d!93~3A}jngzz zaA6;p_j}K*5u-=bYXMvd7pH*I7|3SN9>E!NUc^^FfGIQ$HO%>*T+C+v8(^Rv$w%6S zfhEOOuaZG?iqpFVxKnlQuGZ)@aE!knVMP>z0ZVcPptFBNc!`A$w$X0Uy%<|sz_aak{1>)Jk1 z-^o4)Q81O|&AWHsBme2%FyI7rDp!FWC@ejg_eH(b+tl1VrQ{_KAums>0b-KkNN2=9 zVVw4hbIz_OOpkV89B1C-CtgkjWYih6^XcB^->YsY-M*7Z>e6G5E;dw#b+tZh==cR;=KwgE6|h_ zdyD)bT%_3xj#-Q!y&*(cS@lLri6^7Iwo*9PSLe(DhZA``HK>Xu`aBfQkJWJuM=Msf zwYJ`K&jS-ROQ~FzgRnKF63gTsp`Bx-sEpEU-Vj_Omu&U(I}cOKf3}y3xTjG{B|n%* z!PS1Txx!6fC@@WREVSY=QeaTY3(<-{L1RLFSVvgp>E}H1kSd|iV>;;atY~Q5baePj zTwP5G#x&y>-)o$vorplZFZe*yEPhc>xZMN;(%0nK_3KA65<~Fqb}iW62|g;c&GH^) zVqJ$9jGT{oBWz0`S%hUIls+mB$(W!sH&Tv1mYE6v>f5u$6UL2;pPc6LVQx+~fWS2?J{o!f8+#WxXpS)py&_eJkCnq#Nf@v>p zkx>lVVTQ^4Cf1qYl=*QoxF}ZQARqzluX-CzCY7QOpe8H!*<=(WynL)7y!C*l-veRO zEfT!pGB7oQ^fn~E+)D-W4ZH$nfKo(ZY!N{Lsw5SD@?;yYOkwq4)G8`QFB%(<5?lC2 z9`DMP?2}16a9~%%C0D&A)bSA!)3_*gDHW@-UC!TPFvB6kQiTSFDa)HD7e_~w%n?OJ zw3W&QF5|V4Fmz)XY``Wf_E#UAHcIw08oUmO`A4B(RWLsaN@sHpU%`v z3>^iA2?6nLd3g^{o$rePW|G*fqol+`eOef(UZSs32Cat{depsm@xqOoX~l{aOP7vez(tp~|JS6hK%(6|C#Ot@6BK72hFAQ= z*M!k(4w3Kyun|+|f>T$6x_FdkxG_)>!hC*yxA9GNQ4|bk-7L9*-wiXU#HB8bIDU_i zPQ?gTuo0L55SC_k!hx#|M$e}@^b3fK9=~GzZ};W1DRY1XMs2<2v;^GdR*hr9|1vz_<&w<=KYHLBv;%mX z?9up_Uq|w6eDh|@s~df|2TX-AYj$Hx1MMQgMt#BtSMu9`jcxG+Pl}wL!F!XFe=}<0 z&J322Raft(*a1HW*Y<6_KSL}2+K!+5%Nl~OEAf#-*g2b%W9-|qH#&OOj2Y$p?tq`~ zCV*c-9Z@Mm@J}{iN(xBx=EaM>2?>5JRcSD_zH)VlyJhXQz%7fl3+B zG!?PZ>MkN2qcE6^l=)9@-GZ^+0x8`Y?3JZ0pbOzkDU?!cMa$YLP}wN3lzt695c@;m zN>Cz@1|l~KQ*JUZOehNt8F-+-7?bkU1(N%yQBKU_z(Kgac*tRUkpY2&-#X#KYPrOo zxV0Z~Up_JKl>5ErBGi9Nz=Xj5Zn|<=i6=ct1RpADx|V+S*W)@XNS8xNvh|Auhv{=1~JEJ8mhT zrWX4R8X&oiOoJED(vtA}%a;u|DV#iWCT7nbbo>A(!s3~V3iuM#TyW!Qm-#`_zjqKp z`9^S6iLl9=H*apzau2F(E(EUzHsQdMh&Z#*?M0_-^EZ9Y;eGq=9n31Q9BeURXD~J{ zSoF*t;~ZWOVCy6XxctMd0nZr*yZlG-_t`K9xilQrhnzcUHB;y2EGJjjU(_K)3t{P& z?+t(n5g4obA|Qu8($77HPi1{No_X^6r8Lr_i;X{e)tSu{4FRg;NWoPdDeW0MVBOa?=WA5 zJ{>gSD4~>i3zu1#${e|PoTExppl@iXB_n~K>E+8V)220(HsF&^9YV3g7xTiohv=!` z-*SfiK0IH#WbT z*{qrape59Q-(G;l8FL~CXxx2$DYilMaR0D-*Dn7rtqMuDYWSD~==j@}m;1qOV zyQgxn$Krhj`Re9|X0UNmE)_0uhDWNHQaM^%n~hTfb2e_e;99Y~?bf+RZ^=_-H*W$+ zlDkMI$gVJ*88YM*+|i!FMQHW8ocNDmSpv3T#ZoBCNf|Ah}t(Jryok9u6CFiVy z+IcctBSalJ65iS?o^+&aE>B8c za@gR(mfjY?*OMkq@(O{dT~YB4P&c(g2c8zJJHSTwRh@Tvwfhnh(2P5b=}L{^>HV?W z@n;lX3PA{pENzs<8OmqaV+ymzi}ti+b4h6_r)0F-shj-z{d$Wa`u`>f!WzK%3^oJx zV(8>Fif!&G?Jm<8ZM%UhE^=ZocDd>0K~^ZWvs?YEzRb$$LW3Bp0nFdnVWr z1}d3l{Zvf0!-$^hX#sFQM4e*Kcf5Fx(!UiIUp{}P-VglMUdB;ko2g(l`y-BdJ;?K< zi4%VUCM?VGr?jI3=BaALp>+c5?fY7iii((tfl)H8S5)a`a8Qn{+A$b>G=+Qkm^#0I z$G=YSF-IvyfijY2uCjFB$w!)3YfT3964438l3>b z0&X98;xm{MmVO{Gq4f@$?GM7sfyM}}gJp|ANO-d2KFG;TTV6=TnzDj%1c!r=5@Z@Trvcs3;!)!xOF~A=zLAMqKk&aF(kcYH%M5=wDEbQ z3FFyJ?8C4Dfr&`n!VWq{h`QEBYAhjvlFeb3qzIIeP?2sX$J`1G=8Q6SIfP!66tZ?L zIeRY5AYqnB+D)=GByLERkSmyk$cQo_7pOG2*HI(SU9Gu_(wJ{x69LyiPDUn3V>);Q z6A(-hV8|5LFAeP*kN%0%Kyn2}!I+6fcNn}2lL7eA%OaR5&!0Ds_VW&t3Cq23H@J(C ztMaL5BA37C7TiBRhw_QVu^#3%K~LC{NlT#}$sVGN-LoyPKwzn*52e86iqV-_%G>~B zd-7x=O9@Y%lKM5Usj-m_F7ECU?`vR4Fmu0^IF6h|fgF<~E6@rMHx&(||H{mg(s?zlqof;LpWlT?YmZmZ>!y({^ZSSzj z)%Wh9-Ps=-J3Bez;Nmfl>g&6+3%hLW>;k@jOat%Oy}O(!f(gz*Ma8eJwP1Inz5W^= zU;ZC?RA6atjOn{62N(wi?gt_ymDntn(h=K19MQK3EJgMeXV%~;>7u-L2MLIhPaR`T z_vx%xse&-Qh1I6OfWcEmw@=X@KfZT=lrggp=v#JvL-Bv|fE6EL9%+@fmXQZe9awHs zmt$lRI+e){d#d;wZb#z2eL)4IQlUD>X$Rdk`WO>D0j@AyCObl;P4e zwb?Sr;v)y4~~oz=!>x@RE!v6V&~+dwp+c_A<(nK04m*OsX=+m*4}F zjlIk-E+7IH=xscIW^02b?qU9kB`HCg>HI1Ff+m~l+u`uG`OU4zpsl*QJG;7K{K_US z3rTZ=O{p|#d`R4`id7>n(1n2xPQtkoT?C0>&6{ZkBSu8sZsM7r%-J7Ag-FrN8wXF) znM|urF@T!N*hk^6JL?)5B7nbglOr!Wu>oP#D$ebLezw3Y5MuZoB1d82kmz6`j6WdV zsSgP4F>Wjwa+JKJLVXS+c_O;}!};KsVjoACS2Mx8dsolY)O6y+K_itx7zN!rm8PtO zs8EU`Kq8OtT9vR_J3yK0r7M+Sy4 z88xMEIPxd#D}mCzy~$hzlYz!Qjl3pE$M2h)0bg0vxRCS3+{ILlvM0bNpF0GH55CxE z>M3pn@PGBGffk1CDylyI4Wj0*Bgfe`O0Fh-|KtR4 z=Ef>X!4d#N(zb4_wbYc=k(WI1j=&kFv5P}VKl{my7HhMQkHfFebYDV+C>ds#d2v~q zG5Y1DN=jdAHKZfh%Yx%b!V<=%fOPX+V+;DTP64tgzYDtxVUv@T7^Q>Yb7^kAWXyFt z-mqY=fK@VFAFlY~g$w^OSs*_V_?KRpPlp8@Tq6CA*%|fY`-`SkyHgZD&08~pLMKx1J`3V>DO{{5?9PQJO<+jf|S>~2mg#A&0zE>l)65g9H;bn!E&@u4QoPp3F-&|4jhm;cmw6s_CO(e3g&nOcG%vwjoc z*!^ygunE|N(!W#Cu%5p6rXp`s{DvV+V&?1~uxO}CndQSSh(ZV)gMKZ1Cd@annP`;c zuX)abohBSDm@)K|ByftXdCki+L~hOtn%Uz(JPwMfrq(yuJ#3w>vw9}}mCJG;0c*nV zR0#D1%sf8wex39S2PB@Sm3H>HuB7i4bY%3W2=T}3iYryU{fFLBa1`18Y1GJ(=;q}E z4FDgoW#-E8NYJZjM}m~HyRlR_l_To2{9<*dyn9j6ZI+fphrD&DV4 zJHaymE)%0DBL4uT^{L-4hzD((EeBUF*uwqDKf73J7&pD6z5NlTVDh02SAHC~J)l3B z9V-9%*=+Xq1`*yJ6Qf2Cj-6}Uhf`^36zDNLt#0@?kbKL$0i6l^gx-*NSgvsYg#Gi7 zD7Wv}LE{0NyYCP8g`!r~G+;vCLxYDlh(?OCVuqa^&86NY)g#&_ycd{Z(2pLJl|fYF zaP_u5fi^^72+(%OHw>W>f`(zQ?P%)-KL(6ZU<^_>D)stns{<1hF#r00Tv^`qo0rDO zP*Pf&lQu4*gxQD3k?~ebmIT6zqQZCrEw!lL3owm&0ZMZJHmDxF&}$x#&Ot%l^yXeE zdnkd=I7rB-DG6qY*FfE?+R|fdF>GR9PSM2)R#zs3XwX3Ly{4EMk@Sj352J4%F+xy9 z_(`+6f=-Y#$;z=wrlxGawY8NBwm1Ok6@EBQ7Y(uIbY3P{()}5o)=<~&+$jq3DXb(s z>6ttknlQc~#Kcd>C-9%iIK)`cl6aepzsnmz{iBt~OYSiem=@qK0uPRQM=Z9FqE)Y< z4wjZ#g85cqpP*0E?mc+03D+~KMXYtbr%#`rJhJiRk`SII_8W&sER3K5iknWkzsqOl z>fibS9weO?$sW|muS4@gBR-WI4^`EgU3V1=O zcc0+L5+s;_!CKG|nV+*dUanq&AJ3hp+bVDJDQ@(WD%m$z9H1W|4UZ)68BybuQrli$R8jVmb>Dp-;7}kK4e{N*$rBIl|Y3HLF7zgE6$i zSmAV57EGGtSJx!j=-DwQO9_z;g2k5HSLp%j!qMl)5`cYOplIedlXNGYeaCPU$ zm%SilgHSRkD^7G{dIG2eoxC>CoHu}hn9!10$;FTgJqv$pDMlr%9!8Z58D8ce9~&FV zmCF zD98a^IzguM%R3t->&TH(mV0?5LEbY(!k02`xPrYJSr2kI_1u|1gE>O$DtM1DxYX5C z*m?D03?n#tUvBmHkpjVv)`rGiu!4T|VPKgza|c##p5BdQQ;GGHa0#eH1^k2IoL8LX zoPBngOppzqrSVhQ63vywGvkO->5+d-IFd}+Naw3rRT;~rrZ z;ttsGHDnhkc=<(ajHHbs@(WV@3#%*DNWFl;9C+aW#>PhCB?jbg;Iw}4ez0CNdLSPG z-;nxLEvA9%K1F5)KOK2B*uW@V-L)TGnPyw0R|nwj$}9`8m-*0-GApo2}pqD7-*cOQI?4n=2e&sRp2A~=FQ zp}P@AOM}9fE}7&w4!S$Yg1$(unXs@r$7lK|lqkptQz|{5S>9OY4T!kW=4bFymB>Ik zBq|R(?5pNvIWW|PdU?~Xvv6IP&g~Ur^%DOQOERP#%hPjAvv2wEq2Iw3t)?A~<#Jfl zvRPK8j2a)9q!mEF3H!O%uZ5+UMMZ8%=U+%buq2*=XAr4>al8p+zyX-W-){cwt%4LV zwV;_Zt;h*tngogjWNdrbG(Rs-zPtW%G#(CoX52kyC8;7Aj=JcL*$n!a1|Gf(#qR?C z(LEKmQek0XaBwjZPEJ;qYUTn~)A+GkJ+r2BUwu~v85MG=Yg;~R0ZWlC1V9PtG66KE zfj(X%zWl|xkLm1w=>7dPkv(hZgY`S}uYaSiYbRlPa1d>7Y}^?h z?y_J3N?pc4_NHZYi@YS5G_Lr70pqWOjdt=R!XfHoq_d@IMWW(-B~?2NV=xw+KrvFV zmz;ogBLoX>xZ7$ReSdyk4+;%JA2fIl2bi%l&dp5Xc>rAA^&eeHGSTnz@vMdd&&R`i#fACA31g2sef?ww7(Itc!|wHCal53K ztF6VJ$>`Dy^DUpIVju<<>LaVqy||L~=ZB`Ml))3Z*0ge{1PNyxARmQrMh$Y3kCxC3ww7*Xp#4X#+l z@PNjQqW~s$bHC&%(g!of4I9qzh7sr_+2WDnMHBP3-vdP|i@A8fgiVGJMK2K_6C*9r zK;s6nC3V;0X@V+_c8OKhRX%6Z(#BBS!7uOfA9wx9Q*apK;ZWJ#MMquf%E4c7scRp; zChSbFJu}be=AJZvqE>PigDdHX26+2Rogs>Y9&XuU9BmEbv5gw;KrY`-+0Mv;0(kG? z!)RNP!wcJ9GTZER6G#L636Wex$P^A=3cV1>Mrf>N-GY&dNNW}hi3>WipUd$;;)Eko zpSKMSHO@Mt?AKg5ckUj&D6(u0I0iK}HFL)#P1j8b`E&|!T1u?s`E#|AS*$PuRb&n- z=s9lvee^Vp<3c))t^WQ&%FXo~!_FG^*ccWg-Y7|~(b3fnX}cB>7#SvmPtqTvr~ODr ziSZ1F=>&t{Tp6iIVcaTSFk!p6h7%wQKWIa8&-wP-*qgWmvttl)V55Em$F87q%8EI@ zQea%J9SC%{bZNEafS@^}stRh|qLf8{*ACJBqLcM0J1bmNLztFfY2qh;THMnx3ksznpVOvyE=?xkOR#$aZVzPPNz?o? z8ZMwf-9)ROX1I7UFza{Idi=HF;Y+`)GXx&_F=)`!+yV+Fq*TFi-lHN1hP3+g8G{c} zhb7GP3YbmS5`2Jhca@tb*@_q#OprN}A z7&I*=jKOE@4}V0?gEP{q#uV- z&kbfS#(S0T-H$s)(kJ!%fbNMt=b&;I0|4_>>M zET8;t7UnI$kW3fh0AgTXk4}YFmOR>&)mk58q2Zjf%xc-PS6m90ACX@Mcvb%UuMxl| z5l+bc^i$>n!9uRX>S>Z$Ccx?_k;rYZwP~ctn7ojcspl z=PVx_yYd#TTEUct;SnW3YRK!{pSW5sS<(%2fC8zJj|bS}NnJvWO$OXBxZ-1hBH~8e zxOtNf6fG&@hSJhubo|D~`3j*sNi9@e%?!vdkNweXr*XaPyXJSkl-tSyQYARpK=(?%Ev}uZDktW8ONu=EG_QCyw`BS-!`*ndxAx%`WngJx24RBijAdPPa3<@#=;`# zkIekHS^SRK^r6^8w91TIg{ z#4puvd}(j!oB=3C_=Hh2Bpo_LO&yY9Z>h!Dju>Tr+$7995f&z&kcXYYdnA@i!O7Cc$&H)hD;GpQF` z7RJ1Hx!8K*Nwz&!DyLMX*kNS0N6gSm1!Djf zOYg*_@XQ(OZ3;2b(U|ri6d60Ii!=;o6TroK`Eu#Pg-;TGTEC&sgVZYKt@L4o`dtKP|C7U9Coxwpq_O#@8&vCV3 z;Ba+MWos$4%FTX$vpiJ0rpb)36$#OR2+8sIy^qtSX3>Yx=+ThQ0y zBfl#)woLyNQmD{=X2;K*ffw|Kw`VeOA_W7Ux%RIERmy-^pqM!7_LY#J4-`6EROH*Y zn^G)cmfBC|_=KsI1GTf4fgU+J-X~(>=S(execUS8oOuzy!Eu-oLd?aEgU0@J%^Nbg zAbDnq-$9FV!nvkqBj1NL;iE^LyH9W0y!l&42byHvtyKfn)Cw3;v1Z6iaBTX=CS&q) zDT;1Dk>h`prJOHrNG5cnhQ%zDcm}srH-R(WaJUoDv32bhQ?*A$iCx9P^;vKYOy9lh z%8u071(gj5(RpV#$(KwlTuvJ@&!BXG1PAtnbux&hp&?G`Et?B}COeO0 z_aM4j#i&yEs=IFbj9-;9+|#SwVIF{3LauQ>>((Q**y3V13HI__`+y7d$8<>#A3iL* zaf5AWvraf3#z3AHhLhD2qlbpo(-X?dRc5Bbj7ri9gDp02>*x%;xI2T%9KSDe)Zx0d zKz6iAkS8|ax(QQa-n=yi2T5T9J}c-7C|NUn6@d!aCN-`xovH#pAvu37^ zjam1vjUgK31w*|dFMaZfzR@>QA122SexRN@oUN^lBM?cw@-iY4Xn!+{X^;#%Li1YIPV>#prjommmzVmMP1+SW zUI4(lJB1)FW~jdT`IfSdNRHojvu-Mm6_dMozVwTj*r(=Q;fEfndBdlNxDs}_R5)k= zd(e*i{o6!t}EA5vCF~CSoBNf}2`n8DA8pEUJV4j{o zQ)Z`KCO!>_lZao(nvw1kY%#JUSkGQ}-a5TczkXbIt3HQ`WTO&n#w%CQ@=yobyRG);5;#%#^?LD4~Z?? z)^_?LO>ULKKq+=|!I1~AY*8{vR_outxcT!KDXtbBJFI=YsGlNdxaw}ehkPgrHFX5% z_Nq#R}^@JY>a1UByot|^#$YkAwbIzwG)Nh}g z;UHL`#>9X&M3pYfYsMFC4Z(n2G%YRKkH*+!+@t#Xta`UG*zjy}i_5RsFH~=cYDl2d zojoLum7R#WPt~r4H?YR|^0kQYa0BINm($XJ{k84x783*IihK8DCk-=wr4+<5_KZN!p11k>b+=cf(tmo z$jBMo=+&zblU=W0uTm)!xQZWNSbmbyzHT*lzli^{H1Q_y&z@CZ`-0kg7IYq4lV9wH zoQe+|G851ZfwD5+J;W|^oRXBm@sD}SDI8gwI{ofMt!(#IPFwR5(9=h-pQY`Ka`a8x z1lV5!7Z>gh-5KWW2HAi@4{@pD4nc@bODnFgSHI>AUQw_(o2lTJOEGbFnT2|bg6*|6 zM|2-twIIlO=`y!ExlOP1m7}4~F)wI|&Cp?Tc;01}%#G1o-+Z~V1U&`51iTazy-|fI zduxuo$V`^|tuP_bYTLGLyQez9x8e`u8~l4&`LHYpV5a*06OIA$n3gZYC8yD+hOSzE zAmrDr7Z-zFcdc-lE+ZP#fEs+lgw0Q@hC-*vZIlS{@5(z}`MIpz-Qe!Q@om|GzuPXI zPP=pUZJ$C$2+li@^6Tq@Nbr^s5jXGf_cH`yAvB5E6V#V3+rQ%;n2IMB?yd8-5luNmuZaL-NufFi72K6$eGAwAozV+aH3)qC^h4)40% z#FR+x^nFAN5|WaWo3zCR*bi?3*R@OX9Tdt-1K}}?|$g|PzqZi1A z7Gq3w4Zp3}vcDuG{C{1kdi4^XXaX?p&JA)V$#p55IJCcF)fWS|ZWbpWEBn(mAAA zRKxRX`%RR0Om-4%hAlY$u#GYag?Z=p0JvQT*Ocdj@PbTqT%EV(K5ltYF&DYSjkyTy_4;})jBN!M)4UI23hIC1w7u1O|eVzj1yaju20FL?zg znDN&Zo_AS~Y$I$kd`Sw&Le^*U3p;B;pCCC;n(f49zc;==sLp2n#f1AER{&J{L7o;4 z+l$&e2S(rg@nfr5ilS=UD=VhphjQP?p; zrO)HS(lUX9K)&7`9sQe%gWO)f?ZYH0FM8VKN!t`l&So}61_=BX_5j1&UHv*Aw+r$c zrwu$~g_ancKni_cGp&z~O(3)%My15rjsAG-`%Ob`nGqCPhJPRG}; zLQx2LjwHoPuukv%Skf=0u#d>qtxDlAid*=0rxT9glqj*69k~j2 z)ul_qu7Dk1AFT#31TisCeuvR2Gmhw(7_F2KDbqYXvt9MRwYPKkDm}h4Yak2b7qIbD zm=*0mHVDg?r`u{x`8*h^BtRIhFQ3YXr;J=u;Hni*_juAV3wi-9>F~P)k)gndO$qq1 zX4t~9Y5eSDBvGJ0#el|W=}5q3ceL`_u8hjY`?21B3%itm_AG(vqH$U7?=-|P)q zNx%VcXVP)3X$dR|FnI=(o-XbNf^!3D`i~DfHIh&}Qgv2OK7pkWc1RqJxRX}}2bIbc z7EZOif6so;?{{YR2gr)pE`9at36tkvKL)}JjL#aozf55zVJa3 z*#YmEzc$Q|C>RSwj&swvI?EN0IiG38=44xeVK|$DJ`20^vb!ubFjp#+oKDA zy^0zQ0F(on>|tIk;)I1ftGYU+tw|=;wLM;ZNq^V|F$6hZjJmlR-gUpC1`qGop(%JI z;!jQR`W&wiFpg+nKwn9iP1`pP_kioyL&_S`R66O))}B``YcDD);?o9|F#~lvd$#KF zCJxUt-R(2u_(Bs6(Ce^a)Af)u+sgVe0sx|uly`$YIg*xnDD64iprtxq_1k@JYP zLPQ_`b76t2c6;LX)T#z8gskp@})~yB`cKZ@5|cow`r*5DZWAEs<6O$oN~1Gvo7=>Orok5 zo4Z@?WK$~)M?O~jeMpXI^guKsN|H3&gLQT(@NGd$5{un5#@%9>SbDXyiwkm^=`q^e z#Jndl=g*H%sl;E$-Mz=GZAZHbcW0S5E)!l|z@lTpJ;Np!>))xZO|VYK{*vWuaIfju z)Lwxx9G8KMjwJimt+mUBU%P%u_#S;7elwG1eI