From cefecc1a161b37386434c21eb023e757bd22b911 Mon Sep 17 00:00:00 2001 From: Robert Jeutter Date: Wed, 12 May 2021 14:45:29 +0200 Subject: [PATCH] Vorlesung 5 --- Assets/Logik-beispiel-10.png | Bin 0 -> 6886 bytes Assets/Logik-beispiel-8.png | Bin 0 -> 11937 bytes Assets/Logik-beispiel-9.png | Bin 0 -> 12582 bytes Assets/Logik-deduktion-1.png | Bin 0 -> 28478 bytes Assets/Logik-deduktion-2.png | Bin 0 -> 31326 bytes Assets/Logik-parkettierung-1.png | Bin 0 -> 14221 bytes Logik und Logikprogrammierung.md | 296 ++++++++++++++++++++++++++++++- 7 files changed, 295 insertions(+), 1 deletion(-) create mode 100644 Assets/Logik-beispiel-10.png create mode 100644 Assets/Logik-beispiel-8.png create mode 100644 Assets/Logik-beispiel-9.png create mode 100644 Assets/Logik-deduktion-1.png create mode 100644 Assets/Logik-deduktion-2.png create mode 100644 Assets/Logik-parkettierung-1.png diff --git a/Assets/Logik-beispiel-10.png b/Assets/Logik-beispiel-10.png new file mode 100644 index 0000000000000000000000000000000000000000..b71c4f3310f6a9b1d29bffd80b85f895bd0f0129 GIT binary patch literal 6886 zcmb7}RZJXi(C#TvpjdI&qQzZ{7I!EVr$|}cDXuMxEz;t$xVtP;oW*USILrQVDeh8q z59jJ6=i*DgH<@=b$#XFmlT7CM#pq}$<6%=_qoAPRsj4XGz2wW6aL2-U`NwCJR9_Oh zm%OSz*2@dR`WpRGQ+g{Jd4F;Pc>7v;+M?LGy1CeLd)au}+PZq#yLq3Y^+=&* z0C|2;IbYJ%Wk?Cr-zWIUkP|^5Fv>hT-W{562xN}<`92dO;{-F|+J$xYWcug9-QcII z*o+afNyVSF_m5GTRUIh>CX%+HM64p~BY=0@wvcyYMPpMXZ1GT`z|S2djR zw`(6m-=t|Tu-`99WXz}=l9?mabk&xGlr1q<6MpB)G4fuc%yXdCs}yt> z824A^*b~d^?$tT87`Nb)gMyAHJ-_od!L$^=Lb**KD6nzzcLmSB{I+Y0C?)pNT^&#( zyCZhydDhS7SqfJROYFhS64e1s$-~JFlUl|v^VWwFh2TD!UX;=r8wZRJ(9 zU&q^tFf`l0hk50-P?wAU1}|#iTJ0>-ySwE@Ksx5INnbToXaw9_xJrBcEW-CUtPvgI z3j`8>oTOXeHXZU!7$2b!j%-l94k8VQq7SsN6t-kleo640FoTZ9ep%W&7+=D7{dYj~ zje;{20IK5MS_VJd^KeB9K3=&He%zh1vY*Hc_0w_GVJ%JeIYFw^G4&tewRn2Ib=|(i zd#%uNI*`wKPhhs@sYXhblSTl<>nKR->qL$9rDwcZ-caZ$;(-tz@(N}W9>Ti_F? zUF3~u{Z4fly>=1diTI?gsew&9FYsrTq5tT0VP{IAdB>7V0&BO6FGg`*>&FL97PS(L znm%A7N8W!QF_$VShFrSPR`k+g2iy9;eict1PXCZ-?GnoE84LyZ!bxY zlJCTIXrS$sbJj6c0q8U`xtwsFsJ)~imTfIWUp<15|Rl--wwJv810l6hu2)I#wT0dpc+^Q>haJk&;w&W?U1G{w*J)A z-bi!vN6u@De{H=;ge@B!za7tUVD!nR}1Khdl?I3En0HwwJfF+n!qlK;6r_n+u&PJN2wGufcH_y zS?tlYm%C8FF2~PhnS$T%U;Jin*|TBL@581Cke3m#!7}RK9^Ap&ugo&sgfZn6<2#AA zC<^!fmCcIV9>RyJtk!8^P?d>urnpYT0nuRnE&dzO%8x_Wi3Re(Z{}OT&*5RL(n>H= zC;U{9%rlv|ry)pLxft{(w-sdA=o!&XDWiX(gu{y+t-f3Nud(qyYanX1&CDx9X^=;lAT8zbYo2@d2kB@}_W;Z<5@HFe> zB8@BaW`X5`1&)hAQ`gDj4z^mxMY~f#i@`FZ6~o8bdG?jA!Ai-bU;5Ammj}KDW8Tgn z^;sVVZkDvY{7*Cz8N-=^L#)UOT!_Ami`aR8-g-8gsj-K0<>DAS9Fj-uLtcDa?3Pc| zdP>hO-*%8C7hOZW6jF+jTt;oD$efdeAf_uV;gd<6ofj5rrjEgdY|kdpjSa?y;a4;n zu>VI7V6dMfVU75DxzO`gPuJzLmkP$;DWJU;h6eka$+l!jpSxem@ z7oR5k+d!<`T6h!+l!vco0g@_Dt4(-TMu81;>Dy!wWZ zviTkD+&*i1W~bZGPy3eSt+WS@s7vnPqcSW1StDQ5^~#JUyA+_)_f3w{GlP!0N?0t4 z^O7?USo4E@nw2Xf0Fs%NMdg-0UCB;@y}7kT{bkQN&7%U%o(nc93>nS1kZ23whK7 ziyDg@70)EK^4$DF=I2X?)6>&m0f3~;%>84%$0!r!d>)i~8vzqpEGp-m`BwvMWuDz&8s;oT7Jt9~5+trMvCh5pZ1xJp+dlHbCADMao6amZ=`zy;L1)d{tReSWdC z7u9!mo~O03#3WY-Iq+jDe}F0%J^Z97^gv1=dn*@I| zakZ6mR5f5e+DRfrFp$!12jG6%kER-n?R;^6v|z$TMw}Lga~(WiIL|?Slx1S^S-!ae zf0=cb@x%9eRx$=(2umK>Y%5y~6${N0l+bHD_rJ=#c+D@*vao#JID29_d*X*;&T`ws zqhH?ISd4sp_2^$n7r7zLj|_)B_h7fy zzj`hWI)>&T!2kec*PIh-j@E0E2{m2iFV4t}801fDSGp}1FjVX-^ zU!B0b=|FZSYckKHIqB}HZ$IINKTO@gji+`9Y0j?FYeumpsboB%u`KmT-W_lSX!GJK zVL)kKa#8ik#F>jZ&zfwIT86N$>tCZ$`+Gxuc<7TG!lB`Bk@)6~NAe(8`!<%UZei~g zeo^^{rq5jdo0R8c_nm8NbtP&f$TMGlhxJtJnOHNo&r9fJ=l$m9K(z|ucJdp)uSdKe zje&gd<38%5IPu$V&XexO%>34I#G=s}_{!R?~>1l8*P?OhS-yO`16X)(d*@KYY9 z@vT-2^Ei~+Zd;)oAs?b5JDvjOk;+n3cE5_FHVyN`o zPLr-LYo3i=koZJ?_dOjQ4aE=7DS_4h%n;jjx;2xT$JHzK>BMRJtY(Xe+v8MAA=K+% ztXjw#Tpt`#HfSklcpFxUQOiIe@z45bx^EPe{5LX2h~sQi=wX|f^Y$mF7j-DeddYU1)#>1(5^?;HlHZFI`P1Wod2c_&tT7}BsQ#q-M)rN zR5=IRK_R4otyO2O!gq~MZb=8~jpyVoE--6D7oz^!_9RZk-8=%BO8hjMd;~XBsXI3$ zGFf}qoSI@AJVrifW%liX+w8c8F`P$!qJ_T0@4)V8DeAV(beHCvo0 zYm~S(G2d<&*KnjnGh~|6U$QLC6!&@43?@&yEu=WE!GYR+ZVldnu&0!N%%OG zd0=+Kf$9Ea`!}?!ukx?ojc2ZTBd|QsVq^Y2r3HHBuG~P zT(+a3c+8WgHi5#*_MyAAkK_yIt(RBZncnvY!mh4G{g}i3ZW6=q7q~OVIT7Z#xlcq8 z!G}N6_5N-np?zj1v6?kZ?A_cZUefmmYF9p!CxO3d#EyK-82Oo5nTh_^$zfVY`E6KI^kFzK}_|G zIjV=2NneM6)By_VcVIa-Ih}h4}-|A7H+0Iv))e1R)MobJ4;3G*Ja>xG*p$?s-AfR*6YHl z9djcHS9ZJ%o|WG+L8qwlk8H7na^cjUW&2~oct@456_jU#ujY$uL(*FfPi;5jy6JfI zJjth?xj2bNgM3IkIGv**f;u8kRx)F3kXknL{Q(cxB3E9fHNr5H#Yi8#6`oQoMggt} zzJ3o+uY_N|gg-#7R7z-*Gw%*0Z2zn`9dY0t)Z5D&u!gKQfcn$Gp8%?wbqxUT8Umw+$VtNH6DmuSsAM{=AM(a{`^-M+ z1J#IS{j9zFabEU#q~ldHGy(%iw2WO_V?l$7QS_@%fV4}G>du5##ChHp+*FB`5YJd! zVKbv5J@vNFnXzXs;d51~xjYj!z~#;0Fb+FIZt;z(_gO2Sq*FyRiHCfq{L~PS3q}0g zk<19c0f9@$HN&VEshaD;egBb|DwGmUxD-X6%E1;_`EBFhUR}pofjtCg&hG`}By!?w zuThG+g{*%6@VHpT0{P|BavtBXt-IImPIvG_k+-f1oV6y>%Wa-#yolj1)^O!Pz0lmN zHSq8*o=jtfSfrCu;!b-AxA;-EoBP~?Ugs%_xIwd!P*q)dRlfJ^aFD00=AtQpALays zs-FA_=&N@8IHhaz+e#l}G?e1&e@1%1b!Ill%2Cb=I|~LUaYTAoe|8>y+3^77hoD21 zR9G2>Bg!_nF^MPR2syYbYj;PQ|$Sr-)%#ISOAN&oT$L%f55D&t#u2@x82DN-4GZ+e+@vofZ@K7_`8kN_?}t_$-Ce)}1PI ztB!?94b4c*>x%7V3;iHfrn&0!A`=|KV-a7PN=SWW)=WaP0zI&e+Ji4n8j90qJdgOz z$djx$=^0)L=Ji}kfO>dYf|oz+YEr97z7-nl12BgU_CM}~Pt{Ku!NTwQW89IByqYT^ z7TH16Uihs$8@_9H3#6(F7TYW8t26EWM_ikSq>}ZDWoPMf(=^7HEO~bH>nZSrt`;(7 z6>5RVc&o>9&b=(7)2ENmP@}Pi6`96rONOa<(8kiP_T3rCMPDp63IZueu>1P0-{3e6_nOjMuh*>dj9r>V zN^k*7(92qsNr_aJzujJLe!C5XymS86#+3t!=1$Pk$Pq+5$w@04Wlu6kR`7~hWQa3H z=*;Jp#TwXZY*a`t*1JHJKio_b+)ImRZBwlE+;$m6!9VN7ex!{MSUr^hSVTaE$M4u) zI}~M0^fhL~H7L4+a}-UhJS;?`kaQ>TY)#-ha6uga668!%09#gEm26N-ru29Mc`L1D_;6JrnJ*j#H+`(uYTMcf z*XWu>U$JC%n!Hv>yk;r%?)$u?lSdQvsQ%m5F>dAY-icq{adTGB&(t^IilL(|yL1z` z3_Ku7k!-{O(MrJDAd43z?i?xkrpoc=u^x)MaShn0BMnVU*o;4ELo+75$1*EZ)YZz_E)+{K)8QjqCaGXCN$5E7g8<#n>cerVLo+vI`-d66SxMC0 zAj(bt{L|oqjy-sHs1r@qokFRn$w)5h!KXM?Fs^nL18#1+t9JMlL*N&mj}w)Ko<) zD=YQRlTrEDYG=>NcDa?SQtym$3uDg|v!+|kOf zpA2hsxEhgdlvlv0e;%;(Y8metM9Dvz5|OZN!ptij3CnQ_5eg|kE1v;W{6m-+F908M z(EMRlD*R7C()xetFl{zGeYV8)dpg31hYM*DfeF~w{WW8bHf>lbqFIB2AhtA!whB_& zX|5{>U+VS|6c6BZsiV|H?qTK8&uK>*J6fqV$>sds$!$x@GI9wul%NNR1e)dPU1<5|DnFN3nHE$SQY<) z(A%VLa~SY_Arh|n?--gS-|}Wb2?jk@13U;3L3c{)UOUy>r}Qpmd^=jtA&as^ML|6V z7%zT;xxR#Va4BSa(1ZEZFGm%bJufloZ0hM}cY-Pn`DS-g2#-5jlECQ2e9^|IEL-Z8 zJ^lzqx}YzMmhm?TPY7Qx{ooSI9a!PzwF30CDBOFd*LjW5StgmjM=RVD_G0lD>@rs+ zE=PFIZeBMnAR@nx|Bs;L|0gOpD3a;@vAT82Uu=dfPEoZu)YL1=YYSScQ~vAh#lZBR z#fTyxBvyClJRo9kw!mgo;B3zsd>RuC9{KK%gl$%DLN2j|)AfKHOvw*<0WpKg0w&ec rs*W#S_Y0))pZH((@_*^h0P+=d3jLzoiecpiRH3LUYAMvpTYmpP)1#Jv literal 0 HcmV?d00001 diff --git a/Assets/Logik-beispiel-8.png b/Assets/Logik-beispiel-8.png new file mode 100644 index 0000000000000000000000000000000000000000..187172dedf092687c77f88f2952dfca777fb7dd1 GIT binary patch literal 11937 zcmb`tWm_E06E6(GLeK;V!6CQ@cL`2#C%C&ySeyiR2*KTDan~imbc#i5TI~0+r)4T(AaTvJY@h6Mfi40QjN_rZ0R!W zq8Lj)@${$lt^G4n)fE5gV{BqN3V)tl`GkTWYB;(7B=lJ6vM1!eHzvR&t%e_h zEAiHp&rX(*^0k%aOyd{&`ame@f=gi1jzXh!*$m>rL-0pKz>4_Aps_m44;+R)vZnbtCAYj~IN#k*7Rg|Bs;MQ$U7 ztc#lmqD0njb)~&69Khy%%YE_Zh@XYdTjjRT{9381c^KmMb^PrTR7>o|8UAA6y?a8d zx+1|pUkhLQXJ(#UD%eWI&*@JGztZ?gcj(lbi8_Pf36`R%SL-_G)^>LMsIr8#QfO+m zCkjTn_Z-Y`*!Ii$&UXiPzSxSL26+fY-&ApDuYZL9{Y_0}AnN@&Nu34|%I{d5d3XPa z!ovE_91g)tn>7B_(v@&QaH@AW$Ia`o7R(4@H^kh9!%tXW8I}duSbrE;oyf9$ENd2M z|3(WqPmHUujF#8h`?qw;@Bi22GaR! z;bof#*RkGd^X*-vw->S1*6t6424qNG_C?EAPle-<&Y3nbxhQ7BqG-?L%_7>?#k z5>F*ht~~`+^{L`AKA=OC&d$NLn}kDe2`v$onEg z?HbF|DLH=V-jnxyLjQ033MvA=62eo7;_d)?Z={z7;>X(WfA^#|{w5j-du&W?pj;e& zeL-Zz)UD5eblfH+YRRhqQUK1_-tgU}NJzYY72%W7e10H=g_qP>2zoYLK?*@?yO9`2=e5UpnVV-vT zf|N&FFiKOQSTz&Il8kb)T%SlV$`zkYDfAwXBjd8^qc{c=PF8k&bM7QUpkJ4=jab0i zowtyNmY$-tH_EI06nb>HfmE(c=b)!A^H?zhP06>bo+B7={#}$>i;Ho*m)%9L8I^?| zaq*znuBbPeifP0wL1!V3-24JWlY+y!^)?1d0~2HSHdML@vOIp`3_dg7hAbE`Cujw zq|&Rk`tnX$vdneg2w7{to_~QSec~oTVxSx!w^yafBykqgt3sr=75hQ|vRz<^5gSKI zH=VkULs3LogJ9MZ-({9x&>Hgl1NGVE^Xs1zYE+)WW`sESzDSEQscbAg8g0gj^EER4 z{WH#YyY{#71s@8I){sYs${Zi)#cMR}3hh1r4)uLe0JvNsA@kcKaD5j8_4J;@DZ;-w z?XLmVBl%++!jug^AAZ>Et?xx+5LSOXWjbh7r)s3BC~u2(Ch~N7bz?VkPNPhRv?A3} z5=AE74T|&-Y|SXP=d1716L^pq*5-B4mDTekM5Uom#9z(9&h5E8TD+N?8H2S(4LaqD zt54Q#pnQ>XgZxprRCx)zox@i(0P;6ZZ$q5#qi}TQKKLHuR}&?=umBJnr3|@$nf}~$ zc=8m;yiLiSd)9Piygpx!o*dJHH}l43516kv0l1EN9ZcMnSdcUxrdk?aZ7PY`cnW0O zOBB!#Xg*!)J$4owI2F=%cg10U$IEKz>cjCqiNb72i#o#T7$iBBKg;GHn%>MIEWm^v z*fN0Q&NTYo4Lfyu(gY>-hYJIX!SIUMNTf26vYo_*JXxRY_aSD6qRs;13jvs@=lhtf zFF&g~Zm;$-<6Rzal4GK7DV=-O1D4dk?K9%IkKUPjq}-T$oo=uzN9-MLvF+wq!w)|| zMcqM9IbP3=8>C){csc%I`U6;WbNb+=e%BcN^!x0dB3a)L2bOtty2C5=u~~xbKH>KT zGq%KwJ!^LIFRn-_X%+>(1Jer{?#)kV{D30N*g(oPqqEX3Yr}b0;R^?Zy4S}C;pI-ngiTxHKb23eFy_$n+M;de06TN2Q5lh#=8B4U7c9G z6;dxRTaFn{0$4RP-dwudqUrcAb~iK%riuCs&Oo{neg3FxKivocuU3h;O)0y~^mqrp zQe^k^m8z%RX&(P!2Is6m2_&+F{s;#c?e^8q;;s-Mf2&>`<%<^?o^Q_YeBRFE@c>A;XFpN-oSd$>N*hb8ddB|97cgQCpL+r07_(cPCNgDV3Oc|xa=GK|>EjBV zTV<)y@Tr!>cX@e_I$Tpr5$CtGI+pvEOC7X{ZRL_{d(O%gQZ@I z5_QD^Q>?H4!ss`Q)=!TOcYgQUZc5rQ#SmSRC;>AJ>x)O)kzvXDj zZs>FoRZM`Z$k!R;U8u_bL1rQj^$0)Mr=0#GM&~Qt z+p{rHHT&k-DdkTb3-$BEVDK^_Jw5w?D4fYWKCsJ*-krkt&#hRdtVJGs(r<}k`a@F6 z&1H!>=@%;35g`j5eK3PxI-DHM+EAsa1vy5@sVwNlGZh(wWHqiJN71H>c-Y)9z-CvMYe)9yjOXf1KriB{&ahMlzjt~EUi0H^uF!Kes%84PTNmJ z__l;9qt%S4NY|jGqhcr)) zsjOu2Y(J`-B^uL5PUT_mL6d$USG3#~%584#Ryz`-q^7EOmvlR)b!UUGIAW|b4m-(y z`g~p^7UO!Sqp<;%Z3Nq#6;?cY-&{l@NiBToKJ*uZE1WQ3K&RV@ zlKSj3o64b#&V}<2D`8$o>UmDf24b+XB5#tcg0&Y z%f1g{(3!Q`-2qx@pprl?Xc5x45Ae%+y(jFn_ccwq`RcN}7ziv#QH`BNo{f}R z&;!N9{2;UzCnLLZ`TcPyQO%z>kL3t}X(G-@p`JcrMs8GJo!DYuB(4R8v52!`Y4PXh zYLBD)576lGPL8+JY%gP$b+1SDn)hd?nA^lSHuGcSKSAtVIc&bn>ZsdRTAWWe&H8%d z&9at2_9H+3%FbjwTOkXq0xdc%`Y@XS3+hLrU@>f6`f8HcXbu6$pZqSIt0|@(P@^L= zmY9x6j!w06Y=l05uq_N>B!Q&mB?CO^Q%Iez9Ne(u$^7{;mwH~4Wf)R}`y(eEN1C|T zApF5$nYYe1kWJvo>H7S=OleR_9I;*_F_tnf*S8y{j}#u%lm#S_`B$plHvaeeIC${+ zr?nCW*&$YL)B5}O8&%TBI~(L_mHwK(4_imOvhLBC9|==ct+?~OpyKPAx$Ot4G=5|@ zFKbVK(#9vNaFG14xYN53hzT+tSU`Y4k@u-MR7{g!b-KjYHVv+T6{?@jBXMB8-E9)H zOq$Jao(-~O{N<2WABMDQY>>Y3*mh`L$3gO(*)pS=>nv3mi?e;E*(V{J@x;mG3=*#j zv$kA#82jhV4aHdg(1C)1BJR%sPR)G-%2z3+psL~@%tlgH-89N{qo{O-A9sXr?GL3R zRt|nVynzm`L#h_JZo2O<$tPN8Ew)H9`BWkrEZ4?MgvoM9XYBSV?C%zpOF@Kt)*GuUXla;$$Qv3V&QrNBE1fCTS*4*WEV4;=}-f&@CwBm}z z?qpdWD2?yzo$fTVOZHL3dKZPoFuZ5tO-2Xw??ws|(Xe`pJRUS+P+n{%-b`Tq#%pS60F&P|e znWks@naIvsI5dUQMCZsiu;PlO6zw{u+QX;4 zSYTFh`Mys{8i1IdDc=U{0iF0&L=)?Ou1)DO9^Yx2n4XO9ibkWy&bKyKA@D%vrT)&m z=XTy7EZ4P%4jOj2E}LRosEDuK4Ys|GJR9$4XLoM6q29EYRTin)`ssSvDnub#|Mpug z?6<~#>aAxfj0O%16B7!&_0%ml=ktp9CkEWn^f_tcbCVpxmv!KBt`8xUUC6SO2W{S;mlHNrgD0y|DxnpJ{MVtG%$v-@+ zT81J*=P{p@$ulj~?z{W0SrA&7)3Tm9*E070RzFZ6(}$({yd5wOT8{DAXJ`RtH9 zV7l+)&6d!$woxWQZ)&dJzZfCHyxW_8r9ue~0A4C*1_^mv;sFAoYP);O@EA#M;Kb-H z3+;~`i;^PD0v&VamPQ3Ed?&pg9p}IynVO#~o}-=yq_biBl_{TZSo~A<2gQ1$1eXuH zWY1;)mig*lJQWs^c5IekV&@OSR4y+bfZiM9vff3H^PTQ$s>_g5xxLj&=Ljo<9XYy* z2(z`y`PRp6rY{f;!|#!TofL&RX%nN2hAw=KsggPA!HZU%+emWWE`mJW6Z^o_^X;k; zK?feKSvz*J46Rk4|Fd%J^ z-gouTeIA*v6m{ve0iuU=_DmH5;C-=)EP&B5^ie#Codw&uV8m=)JvwbI1C1=sFt|R= zylAo6T73@3KAzN$L+-~tDv~_S9BNXbb*n107bH;N^;Kj;K3KhU#iI0EITaQGPf0iZ zYQKFuLimuA0if#V$(f)`!xwGa-T0@&RyaEFJ)|tb4!6JaiRO zb8#45!_mI3V6YN(D%+zIQNkc|<6t!ICFUeP@BS_|zAZsjD4$fkGvmHwpl~jf@#mZvy%K9ZR2px+i!ocynk2Fn6qFqpaWcjL7Gul%-L8M8%iDg{)-6RmwdK<{X= zvFoRkE2>9(oV%8BH#I72MM7azfRwkwv|MP|X_uE%o2RR$QBE8R+H}72PG*@3$Q)fC1AIE zZ~qn^yRgO1Pr8_(tXJ7}-ORklp_gbBQ4n23YxxaYRs;a}d~W#*Y@@%3E;%Ifx5Q0&iX1&KmUr@n!<@9b&D0tOx*Ot=eI$Ibp&hQYH1J2Se zO@SUetmU=@dA23vTas;v2S*#8m-7N?atp?~P8#m<@W_=M2^gt@dfsA4N5r6RQx}m#>72 zc8{X^JpHt!V}go_r8tCAA$Y}(HQ_fid3<^C$1+}}sM-YQR)bWb?>Wfs9!X`nj^x)| zJ>Hk*@$UUj%uztq``oTr0FSb7eY$C&u(B*?FzCL$|Ij zsQk6k`NrYQ{{o6}mS<=+SeET_^)^4L=2sO{Y77fr-w;ixWA%%pU)y0b?{b&ZhUS_+ zZ}RQZ2_87BxFD;iK;qrX$|1={c%ZDPx0d~s5Aw|LU|17VeAgn~f!odh>^NywOro`!gp*TA?K?z)WCoil%DEJX=S2C@=7Yv%=jP}+l` zoVz-@;7RgpD%)f~p<}rH%P^EwHhqt~cx4vKufzj^Xr`nTxMB78&J#{p$q+6c#b_qu zYXs1Z;@iXceIMWNObwY^?LNx;p4v$mceJOImAS^t?>%^>UfqN$Ay<5h1~29+e`QO< zAsJ?5Km`ZvG>6pS($_;YbTpKT>kzFe$g0_ta(9{9GQVH%1*Qu^`9?^xvpT#hCXEaL z=Ol2CmxLs`H>yM{7f~_AnSopw2xVE9v5}wi7JXHf%Xk6+?e?|b?aCRLWO{TOi+3L3$;qz|XTtC9?n?OT8BI{6PeTgMzTnhx z%ZCzY%S0C}lvO!DUGNac`aK+$R)LJCo^6`+KH%XU&es^vkSy}g1#mNDxaU2UX&&(C z;Y;UN55p+*_d0QmoAkz$b&L)VI771AxMz|viMff%maw_arw>)X6KIyXxY|9Xw{sK6 zHWor7fX9s5y3+`H1ha135fdods`)+NX9Q38Ux!KlCapRt(7qJS&&5Qa<>BL@tXFA; zvFF3Ju@O2y5%p`_s-Oadn5-B7uNc-lzqm+by+7yutnc9`SVd0QMP7-OMr_9+Ihc;T zOB2{a(X>PmtZ+O=#l~fT?)o{I3(S@S@Ubi7gQ!_odU!}%4@W`tq%D)NVw1S?pULCc z|&eU8$s{3vkVksWFi(~?S<{R>HLUsFR}QxT={L5f6hUG)Qd z#!!=ov#=ilNz`Jeak>$*w4e=hk z8xt0`yoCzfe5c(Yk6U`bA)Atr!$=zk|9Aai(YBSZ0M$;k)r$@;?-DHH-7F2^`C{W+pPhr+c*;3J7*^U z$cA4!a+j{-Nf1|MFLGf@V^?a<1p&^e9V~*C|1N2y;F8)I*AoU}F zgvGKPMkl=ahA!@S{jM>C08Kvdk*;7>84{3nd9sqpY~^eVcUSbBJs&q|Q3_{j)dx0F z*oN){3%Eh|rYMhBOyKl?5mh7XX$fik?Z8p~-@XyqC}dt_1`38`i~21ZmF@%V9O=*d zLj~`!by_29x{bf?y|K z?82y+!g8J-6Lr0V{Pp?j%L|Zl@@I8ayY_Wb&YBCN$$RcF^lF~u?%quyYuWJmV1W{% zSKJr70|WxkP60EVb2^#{H>>eQ$DN;CU`jErschD!^x(wn6QMuR54OV#?P1A4cTz*O z==6~h`A5_DnOGpqG!LXg{ks2+iQhzD=a0&@_gnN+OO4f(N}%e_L55zB!PmvJ`>_WO zLdP1Q_elnMT(w-54)@*d(L_WYAzo@nvREp-Z>a*?1GcOxGkkX6*}_1P+BYmL+~x~B zGkT3it@uN4P4DjP+d%F__JPkoC+1QG+KXl^ic7vk_dEObyh}xP0vtH8UH=9enOav* z6&Z0S>dT=0Zt|ltW?7Q?FIZ;Pj=4v>JFJ?}-Cm16rf3Z|ty&3qt;pJ>#3djWww{4A z<=MXXTQ`Vp%@^DRhEM3J{RMloe=*OFo$WB%ZHl&dr?vShtQF&vFLc!aFKwbG*MDg6 z@bm?FPCaGt#+&_WM1~;vJmX)?`>OQ-(vKi40$K|=981BCSS*2YPcLd3w4XjKDfjkv zut`IOt@W5yJJ}=83B%QC@?pk)tQ&AO1w>!ICt&ZoV$6&^y*;0_VlkWemD+axgyhk+ zuOtcr8gm_|znhx#2*D;DHH=>y)`jX>b>Dn6rf}%qrgwncpFC_5ki+kASI^Ujvz8y5 zV;Ye0{(UsrY3iLsIS$aU(1#SJxEKHAR`2i|kWewTYF z%Zr6zU1>(06u0v@FvhnqZR&Qdhi7;SAQxYR%i7?BnhH__TjIbofse9O=8IAa{2L?l ziqc=P?E^&mY7cd?NIO&PqJH>|CaJIuY=bBklT!!dlDq3X`cZiUxRa~(yDiV+=&Y{Z zzm~@Z5gx;x9f^|B=Ihut)CW*rlfq!eY{!)8Dz7<8c;M47o-VpC)6!uC@2L9jd#qS2 zZdDpup;ww_!Cfw}>*ATb$d%jOkHn;gD@1Pf$ED>k8!a||iihA`>7=wz7dkik<>l38 zk00@#*jz>L{Y&1(Rl@(25_WLGwvjthSY9y(u1DC8R{u!iFW1?dx3joY>?yh;-v&p* zuY9icxUhm=_lG%%k6|?<1QgxX*N4~S6T&dWDK4k{_{?{eJesLa=HG2`y`Hx#wEvln zS&w!S3BwOf!@8e{sCP{TsY3YK8Ty5EVT%~T9hAA`UK5*DXal&_o*r6Ny=QzXSU*iM zv)ovb=0t`M5|h05fCLtM+UkFrQ?ULS#*5wp7iu+k>z_K(S2$d`bwH`T5k%(~y3T~Y zsmvj`r&*y}TDcd0i-$2=FTMB98Tz*lerK3*xtSc2mSCNZ24z~;?x=Ec87@`~uXIMK zh^a_sbLT9V7`lOx*%uy12*tO*nbeGW-}rx7xivOwwGy4MfdK%mCU2MfAL21}J#M0^wbyDz>; z_j~_@Ibniq3KyP#e?D=SuSSsjptK|tUi7(BTnxP&PKo-{_aYIuVY3X=`Swz<0CDIT z^GVj2t=(QrCeX)f;R=}HC)ZvwVZd^-$9dTdlo8upV+?XXl0#vnb=KWkvvnTwYfj$v z3SGwxHAb@~c zy6}Dki^5Soj(uFa)A0NC2@NeStF`@>0LFRodSlHHg~QN2Y-oiT@u|I%NQp}MUeTHU7v~G z-J@-}Mron_xlon@*a(2QlZ}NL3+Xt$#{&WWn+Bo>%hCIT9?yf1iZHA{nh;gP!T~-X zh?3v;X_!FLES2Bd)+lqS*4IjkzP^-_5=YMsPEH-RN?wvPI?vCiU z(LMKF@}l<0DD4mL=j<-EatS!uU!1OGVhqM@?9;z`?|3n{%RJxKztB523lfu`3A#S9 z#1kQ(Zq1!xl$?T*uDu-`ftvx-GtE<9DBF5t0Y4m;7+L2o4bUAa@{yX8OT zy)7lg=1Y2W$%hA|%T-g1w69BKR^FFbtjya4H9`fu_3FM*p0!(Gl!B=$AKAcaru@2w zXNFLV%NLQ@#&>Tiz66OHIr8MmOR7q7`#;`Fcrhfg+Rr6;u3Vi}lUE~$Bj+`w)y+b< zK^V!X(lb-l-tlfWcXQfWb*3;M?Bgf7h-1GazE?n1p5NogALK&?t?phQgu?NDYQrrDF5%j!jJK9lR@mKY;?@dt+Pi}8Va~<#P z`5P_JGjjjnOk2sX6Mr-Tzm-Q~yOB3OYPI*80*-VUzlwuMC)?;2yC5mmHyAom^9aEllp0ia)AEhCA3Ryv3bq&NcLEBvv z!buyU8tCk&Y(BD@xARQn3vpra$Hgwv-ch{0y zTGFOY8X7I2%0q!3*)vSw3TGM*)_*^dOeP+4W?rfdlSiA-b$|aiGYIc>yVA{8Ygk%ph#4!$(RvVP<)oFuqjjShf zhZ0-pI%6ZxN)8J~s8gv4)6iKmFk1jsh_uYs@|X)*vMh^8@6#kN;f^4gAR*z(7@Z=7 z;Lki0x4`J}~9ix+8i^`WjY;B0e*5gae~Q8VOZ82@Jf=l7^mQJ$ zKD;H4*1B-YU$H`qwWfSnXOTrWr(vsv&P{rCb9|E~GaHqV0wERc_~a?D#M`N#Wh=ri zUakXe%~2yudUpB%*zqEL=#DDGY8H6l1a)MZH^Hc^hrOKQNrDU)y#)2B!k%%S_)Dwr z=BZnN!Tq=YY2Vg%cy74RS_%^rlYKcy(-(h3GdcOQC$i6GMmbJ?8G_Q~;X0x{{={|WfRIpr^;uFI)Ezjbt_ziVOi64DF8ROl8Pa>nA< zwqj#F4}7pq#8Xq0DomSZ%{jHqIn$Ld%?DP--ddS!(V~Q+EC_dAqQ}yl2+J2kckEw- zMu8s2n2QJ#c<0g3sECyGA`wg3{(5*3V&W{J!+y|KZxARlq=f-X(Sj9_tncHyd2+G> zkC$bUJogK4@{G-<;a1hwmeN)xasnatdBh3xHtn>jk#A0dl6~;`n~g6?3on;zDbJENc8A<0MP9C)1;r2PSy!{y~3lPFQ(A@6IgP~0uj{Hx-Z z3yj10F1(KUN~@g;Z zCl1hSj~ovdnl2jB{^nH-9gOczcn^t>uFm?q0X5+W-Tq$(*`jwAcaZrnhdp3?mh_1p z9$V5n!S=El&E{0rZuX6i)w3caA65<75P|m39sePNBjT7WKFurTj)V;PfifR?F!)Fd z)~0x}ql#m)M+rF}fmk-O>qEgU#>%tzSAJ8j|KWxUkf7u)SnXgW+l@0ZmH-PXcJ zOQ^_l()iF%%XQA<)$?H`P_i|72H0gC3hcONe?=$j35rDFk}3bob@#S5B|b9sy0~uT zmrbP(;hz{zuK5qSZ2em3c=f2+|1lDR`-5)tHPDe*NPkUk{(rtyj$;##Xt3fiWdY`O zR#ZpY!dUQk$nskYK3uskwiwH5Xbc~%u3TQhdUu7h?6u#Tig9)o9bCl0IWqTi{Zj;h zSG5aZGg&*Vqc!uk^QnDrZ$CdEggyk9{uS!_O4NU-+W+4~{ok|mf)n=JN*$Hj8TN`X PN066Rma3L8`SpJQC=>$L literal 0 HcmV?d00001 diff --git a/Assets/Logik-beispiel-9.png b/Assets/Logik-beispiel-9.png new file mode 100644 index 0000000000000000000000000000000000000000..6668cc3a1a5a4ae4d1d1322b394530a35ec99089 GIT binary patch literal 12582 zcmbumWl$wS7bVyYjk~+MyE`_$w) z#?I7_s>;ZW%)BRW+G!i^M{Fg6ZkYr`PtA6?NwdnJ`4i@_JF6xJm`1$ze zDlV%I`+51nnuULs@!TY}-P9Z{+&oQO%)eMVINF;txth9|n>)B#Il5gz_6mRbLi$Da zyO_FH*2Si!7v|FT$jw#CdC4QOIO#opk(QVWpaLGgKpU<9m$qm<52j>tL0%at5uiv0 zjiA6y{E95ZZC+*uyy&qU1lY*N>RbbgsX&AWOkz05Ozm*U++XWfB*X7j)k4U7?q;q_s&I0 z#ebXk%8(jRupbG{$P+~234_W0Ji+XiB#NSow_)46i+=CBA%i4KwZR*_*xB!{u$dD` zif$r?AG@+0Hrb0BDJ_YXBcOx2xzN2Cqcw+&p%F{RKDE;4J01(L|21LKqt9($S86-O z2tjvI0_uRIEGb|1uR&e8e>+|Qo4~+#EgPXGt1&N2;*qq${_5Tvz50V%(SjYTbL4|s z#fcV$!w4M#x*kWgq?g6vb;WrZ*qx4jf{OVvCj{$$i9l_@Id!rG$-<0IHO0>n)92!` zXaj&uW&li3U~}Yq%S$H`Arte+{hVk)mwTB8y*fSCO7}Yj6kliB9|}Sv9#4m~z)<}{ z)oHO1)PhqPgmP?KzI#dGScah=AC{|WYrRiIhr_nV;32gQ>@#V*6=Od$+&0vL3|Z2p zA7nz8#%6IJuc~ww7vMM@x1p#r=&eEj?7{1VMp4)uh@wfQPtTE$|HK}42fe8AP`B{b zeD>88Q^S)l1a()W==Xn}XE6gi@dqQN|27KahYyjS8tCb%!$hldZ@YseE*4*$Km>uw1C?Jbij9J&=)A<^7XT=);DIH-4EW%^-~S=lI)5D(;BIUztodG{ zu>H6*S^|~ijFm(tYF!P@Z#@XAM-=}a^bQ;=+mO79>n?DQOtT0q-@HYj2`<(BoIejH zggYPbCtg}0D$$P4`e%oTGA-2C4wF*1pKJ2%Cwv$Ge5V?3W6w(@3s`7SI=iWC+HWQ_ zk3eU)x&}#6k1XUVwc^F_&Q3H=`lzmQD7Jt$_0jc`H?YfB;DO0p`>8Q=Dr>mhfFb>6 zNv!Fi!|9P|WlwE-ec{YM91&$mB@GmWk&f#cC9@R}5}w(aU)#X*fr8Aiyzl6}QypXG z)3oz23cY7^8G5-`O9FMs@!G`#hsoPzOabuR`W2?TD+3F7SzL8&nQt=lsL~m}l4IRj zaX$)$KIp}&mWs&@Bfzf=a@83(E4{Mt2hd#Fp8a|r4ri5Ald1LP&mJa_C_yX9f5MgNti@gvo3@~NBSYoAN^VwDB8*0FuHB@ z_x)f_mC6J`bn!(gF79|a_<0!_t!o6>LifE6EQbncx1XxXEFM8J+i2I(Ok1_ol;g)kbS?<;DCgKF@^%t@NeUiQ?NMk z$Us@CuPy~VakoX35?iSWJ;uKOfL>e`#9v?qllPZFsQ^wFQmt9;`y{BWDMQM-ZDdHx z#fqh?oh8EH7m2-|LebF*B#W2xT|4`7D;D#dCC>KbH<#_LODacL+=2K&OQKWB_Mi!( zxG1VZ@C*|FV?lPO+Y%g^O=||4j4;{ag*U_F#&QBKQXZH>umO_CGa|IWEOBANw{AR$ ziYMq|Qsl>v@xNOB;xiMP!1 z5*iX%S(ebDEbdwZ&v+gLpUA8G!;#}VV2nZzx1wVuv>E%R`XV{2L|<> z83#v{CCJQZZTmoz5P90cV1ywqdMEqWyWh=Vs^G>fiW1>pPWTq1EsMq1!Bz7NXtM82 z>aIr(3;zJUFWp^_)6)91B*pOGXc0xECUq9oX-5o4fXfq{!-`V-@RnDrj0cY>Y@CecuMPR|o zWA(mqgU`(wKK4Zqk2oJn)^Z$>r^xmc5C0=wOgsOvr|%K%4U@*5$Kpu+o8z_<(r>NX z#Z|Ka<<##{Zq%BsJr(#24Y&&-MO0knex##Q&Q!=r84kCMKe{*sTp5PGx3m5Cb3; z(pZD8udh#;Ls1J-62y@H!$E$zt^I$~j#R~d)x^QA;zpfRvc|E`_KlzXfLq`&apARV zA3>9dP1DolGxaUUi+0$-(^}O1H#Ze{B>a!0^*;fCqa+JKWfuEiVe|jH%7)*To?&!T zVY93z`h|}u$)NmR0^ei$?{u3KXTV>KfEn5W-4kg{aeV~JcpLWO@M@N=83`lmd7BA{ ztuw6Ool+VnVGrl8n6BG|;)_>Tu2;4UtEoEC-SctuA!Qd$O9o$3Ol#7_217T zf%72s2E^ihOKMl@xyD~aZ2cv*9BI0q&&cLvU3;QAt{c^u`@PAt9go@+P8HWbxr6(@5B z911WhasB17A%B!UZQmG~>(#do)EoLDg>v%Ue*t+*uOS$;(NIbINicM2g48h%YAvS+ zAhrE`t_OrJW^F33wpVv!``x1M3+*1rm$SyHjU1@q$ZF!hsUoSjSU?d>XXG!CURE4Q zVMUvkX)7rIYmTFAaHC-elt0kVuf|892q_!?Tp0Y~aHO+9s+k?ByUZ8#;$@X=?-2T5 zmj-$mr+dcRB)v%h_3-bBsJn79q)VJ5La!ZXgxsyT9d6;0)iuk!5TsQa3( z(^zV!W&dHWHso+c8Hd-*Ek`)l48r5}`|J}S;D=KUY5~~! zcP)oA-h>j3(@2G=8)7|i#py-O3(1UAf%v9#Yc>^GJ8q$DhKzXlptUOTX!yT4qCeqRU@0|FdxZI$@DaR^ zTZPYcS8Xb@Gz zJh)5kkw2}}6ZT#!)@DK;5T|fnXqW0#gav#Chb7hwYDKHVlF-E@N*%1vX0GtEmPoka zWHmV=hLP^ME-f0(lR5OZf|4dKo5L2kK&K zNIuz888G)>wf?4^NG;YmvaL3areoDzStU#$0CP6y5UK0h#S^%5{24UALzI`?9E)B# zi22pi|IXdzaCWo$a-dk}1GXi;5DqQ2gs<1H!gF7-u+Tq#h$rr9uwhg7tdJMwvs3`* z51L`7icf;wVDE?Z@IOIeAPsUWKDR)$Y-unCyR;nOt1v>tBgoB;ZuYBTjLvfuCF;V_ zi#QywAk}hhJKc^dnhE}+eVBXykT#=4T45oRiC3`<#yprVK7))F7qx?9vW>U| zyU4WK^3%7I`!KjZTJTZJ3Om@_6Xh!Xke5Y9W4bB!di|02VO}*o;L{Y=UVJ){8&^MQ z%WeUV5-o#YuLsHKIF>8|qvc4A>Hf4C2`mAi)xUS{W2(v1Ggr|+R&C|lm(v~@IK55?rkp~hI*Sf)a=7f=dtq-I!7h}fcI}$qCSqtW-+Z> z7&YwkVT;P1bTsspnw{2r{VwS3$-n`_N3qmoUvQ$qrB3uf*d&N-qdZVu)iz6IM1+C z&IcDfUp100L|5~Nu4fyJZq#}v?7L&sZmehXlNm0lzyb=jqsB#AVwF8cuU|1X8LA|> zGlT3SfI49z42hy0X2^(8IO}0Ct4=y>HgRC2K!)@#O}G2*FT&((fyqNh@SGE@zLJUVt(k~rvY}NY8>R{P>s!0-Rkp!z zR#-(FGlPr5#`nVj({fG1F>2B-O=ech?rg=pA6fa})SJ4`f*ZM3fC zK?}Z0sOz<^?VoNE4?3hvN=sPJc@#;X$oqmf>r|bflp_CQ*lglZTNia@wB2NEbF=|x z%UGixx_V8<(Bmt9>yJdCf45t$S5AQ#aTN?1dItYyHf61sh|p%HO?8?)?XZXei+)FE zvp4smK208lj0`#EEZxJWflK-5^IeWRZ&;2T4fJR6PIxXRzI22Z3ZZ7mXL<{OqdtoX zDyGShf_X@61x+a6cr5yIIQLvlvr+;obHB-emCQkS4;PV}M^y>od;^G2#J$URNe{!0cBDMsiCVq!Ey~;N|w;zn;L}OICoN4cA_%!hQ~l9_ojSa*-U| z4T=;+7Qd{{oxrt5yF_Ld@*ousaER)|EX<}RSBFNIrG4vk(;J9Jt zS@&~dvJfW)c4-RFgo<|sY73Df%rR2(n`Nwi4Uf0BUG?yjG$ECZCY)GKj8jpuiu5%S zy45LZV=7$@j}6|ni}|(*-{yyTL1|NTS@R=vTXztJ0hmz0wdh?|RTXu0_XCW9B|e2T z#d6Ay<{m4e-5Gv$TKD4&${;s33yg^q3{39!*g6C|i`I1+*~y_IFezzW!O_g`Ht6(d z-f2pe#UiA9oK=uTV?stsgw91!@8^Jt-{vJ(6*Q-*4^bBze)U}4>6vh4|Co6vJQrg+ z`J)?J1%D%=S@^qZq5WHPn+j3G54LRbcVpt%yc9QkD)(dE&#}dj6-FSCiN{Ao&LIqt zuqjIXGqv64LpvUw91v3DnwM#L#}Xr27Z$ao@2`1ue1=pusVYp)agm@1g*_7Z&A5#> z9w{m@&X0Y!he^vNRw$oqjlzEnsJnzb`Ria}t8+sBA~L2Q>WJbAMrdZWpMD;Qv0&EsVF8lm@1F_R``XZaHP1 zg~B|y>{ojWKl34|t%{{tSLF*!5bZ#1g!4URn-}-v>)zAmBj9Dl$uikv*z>ybG8pj} zj4J(68x+Us%`_9|8=)N2?R6Cc)7BF}>VuPWAi3=aJ0s#M(v2u`yS(nIT`xd%NA+s3 zMY7%S^dhnPpxfYmszjSgX@d^E5KZMq_)@>8YMHcU_tEeJKqG%wLbHHq*GUB zDEKT~wUaken**LyY3e9j!kVCll8#+nYwQqo*7x6*UC*qv6sqv3GL|C&7*UOx1b zf-_clrgmTDY6Pq1Om)48*(>fOQyJj(GAcMvmx$_#BU329E4Fdb%3-x)SW>0a*T5YU zL9`YIeE{4}9#D?LZrIIBso8^`t5qa+<SRQ8*<+8(YmE(A*{Q!oXNj?J^f5uFL1Wlni{l>L zZKH`HP=@g4csV}Pd2~J1!E|rGo&kOFE`YiwGv6V}sO|ctRd}!M?2tL+sJ1d?ciAfv zt&lH$Z`lX&ZfR%7mnfKe>W7MZY9&8iI%9hCPod{aM4yWQ{%U5Q8dYTY;`PB*L1Jm+v7Gxq+2ga8i(PC_3Pb+-~ z6K4;{O0AkmH>*7nBw%978xaHF6p6DZn;RRj^akk7^Pw;kqxQXq51V2+>pQ!I9-6_X zxicD=2tlWfA|~r!D|>-2?$;cyD+cY&4g#JgM}^GB-s?dUU%o7R_pP4nmQvjj6IOu7 zE@DOsQ$;6jO}|gLBhQfQGHTz?OkdRVBSpoNs+ZI{UjAll1vLYRb&uS?W|1dXE0M@| zQw3C23Q=aW;R1N8+^>E(zwlL7#ys_^385*>;l|7KxN9#9+F%g`R^ErkU(p3$5c9fw zNr<^_n&wC5Yy1gLR{&3@qr|bf6GN9p2J)o9v)8x6p#@~!=6Jraue|pRdP>+%%yp1F z21mil=5b~+x|8yc%EsWCFsD<&%nDN7W;?N9D@P@wKcnUQi@gpYU8QsLl^_ht^Ou~* zFn3DrLh)kNe47B6+Ukv|@miz398JSAUtv(RQBsz6*&msHE6$|k{X7lVa)~dvk9F3Q z){)h7h!KWzSZxrC3be_BA}&D1mk z8D-G_Og6TpB+1%Q+#l)qN2l}5f+L3KO79VXL4IRmqWO$(XCY|)Wn1p3#kt8AeYfd$ zQ7#g%kS=(SYUdsncxLz|_QJwZlWsUj=wx*WV`d^iQ(P}h3XQ5t*d;vclF91y=&H+q zC4!2YK03Ssl29mH%qK`Z`)_5S2)fKcym zu0SHrqiu$FsAn;!Df)qCR%ZqJa&9pOnP#XoZ9m!Vb{Z&F_o#8D$!suD_&`-Ptg_{M z5}LsUQPQx=E~`L4V&_o^aO31R(AYTkER^i+(NAs8MAD0kS2?aSv=Jqdaf(Oj$$((z zxEp72JCNSDrL87Gs}8-rEHYFLdrwY_{~j?60jU4pc2Zfy^>^!n+W|@bu$1J{iM$%* zEui^~j&>T?8yCrecY?W(!)xA(F0;F9mtK_1WkQ{H9WUDShrVM!hG=NelZ)(beMaa0 zOpHB?OC(_=^)G4Q=Vsi_M0mJZsj5soS$dp;M}Q<#F<3fVrKyAdG;5w`=MvzF+HOn6 zq3N(Q#%DS8yccR@{3T~AM@3t~A$^VxWn7LlB8p*}V#R8>;FfH_C|D2Ze%~>7oMV~h zRY())#~ua$718YGw00k0l0r$~n?Nai7KU67ae&u}U|th!@Z9G&xQg)p=(YU6 zv!`>u4!S^18I@wCZ_t8hSl8 zNoWCNm~TF(bLu9fK?H1rG;9wi)0k7fDG7U}H=F&86E(L@k1n1PS0!H?gU}oC8Zo2> zC-R`3ojnlp^2+YpY}IkPBKf#YDIb*#hWkP6gg`dPr~C^$ZLa9@M#F<0f(#6&-)qMu z&Ju;ozotT`E{9&!#MOsNenLcQqEtjG>%Tav9rJ)GxM}u{-47{HJ{liUB~}6_A+Kik zhdVpwXJ6nM67W^NYBFGV5?SgmYgm&O7Z=w%?@6JfqgUM4?UGBy;7b-t#mrjKxA7Fs z_2;1P5k9%(;}4Wd*<2s zvZ&isk->p@zR~V#x7C%NE#Rr?2^bPVJQn#`v)NIwpux$KP26o5bBc~Hl|ejH=eA&w z#gS1ja8poYHKV%q;RFQ((aCD_$|2|`fiO_Z8T~H17phe4ESIKkO)4oZ&Ea!@Tp?KG z1g%Wsw`9{4iI=n%gGkQKJr)7OE><;RPjl8Udl4<9D05((u9B40v%Kqn ztxkjK>2F|zv?e)mUy5_k25Fvi3mm((oi$r!%_8Wy+7y%t_w+ycwCz|-71s5IZq|rm zDH0|>?%8cU@dGUi4fn^zF3QiM@yIbDp@Z=nb>!=EQ49^)S#{J~jKzPsTXCsq$43o1 z1WyEJTy+&SEBFU8jp*h6-GuqKz(2&tVTlREr)5v?U&jgbMCr<^Q^s2)WmY0k$c7d2 zxgDEk7`CY_I53&9KbWj-*_rd@eY}rwRl@zs8%a08Qcwko>diDcz;|>M4KI9iC4Z!A=)xie$!+sU}=Jm{b;LQO?>Fn(A zV2yhgW>`xt%mvw4oVd*L9+!+%xmw~lJteefg}*z*Wy-jgHN}wEM=19et|IK&pd8FQxYcdYn^-Xcp%3yoj+vsV6@7AS}j;;j_O#|km?@Q^q zCWNd$1ksc(_vnm4%*_y+OAK}C)TJKTx-9ocf{azvG-p&zuv+O6NQQz*AWmV%>cmYxTx$XET_Q3gBE1-BY=u7L)aFBmJ#) zTakCfrjP5AMA1`eOAKJ}pS=2af(e-!2esFLbPr={TUcMdpjQ1y3jq7#I#|9!ndn5L zR0Xe+mi+zC8ll2N#w>XUasroSe0JG*hG&s&8;>y5=#$W#jI}vU;=?zXSR9O{Iw&!+ zY3u%1ssql56P+U8;rTXaUNo`k_Ohg&Nc^h(>sCKrU!n+eZdNQ8?)C7%+)*#nSJI5< z4!%d5LJdzJ?iSC3AoUCMAJ!cel$x48;_Zzo|w6#IIbl;+uv`zapI zoQvacg|>i`f2m%6S~Od^H{XOPy5H+b>vF)#(LbCa>MGsqOD)1P87+xgy_GM8i_nU@vVSSQU zm6m}zgUJ3ucltiRY2-G&$^L4_Qq@*Q^h}>G?w?Y~2j*fUgGFXJGTRbApX^! zvzZoKo|hP#9|TL4$vW*qzQWT4j~;oK;|E>;rU28}hMVgB8gzl{Ha*X5Imyd|-cH8K zfB5R%zx^c78da^pdQ3|gs>w4jqx76T^69y{CEE078_axVppMRN zbkt2XZ*VCk)r!9CsB_8v)Wp4SCj-)-t@5t-H!-SKbozv*_$=8q4HJ}a<&O}QfZqv}D_|wUy>?atO+L?U2bjQ+oufjiE6we!RrIg+vgKRcPj-bx(0z-w;A zwtI1!%qx}pF;8Pm-Vv{_H(sG4*AOEAQ1)Y}DxWNNRI!xjkE1a;uyB^4#^v?|=)kv1VO8oXUIQX3O~MiJ15m*zunoE!c+`3%U=rpb`FuikP!fkshqWB* zDnb{>gQEJHqf?p1F=;Sz`geZitDFhBKu_j$(X;d%xFa_L#q-|`KAA2AWTDkIedKOP zcGWWlWHP%8!u(ni+C5<9+Ni(Bs`B zuL3tD>5wCDBW3suWs;B|DvDR>J&jHg10wJS?-@x1Qt)2jYkYFyI+MaLR=akQARPCD z1Ts{c&M~mfGU}J3Gx3@u5nvL7_9^sq1Rn+12k@O2>>;i6rdbV|!vx-U$japJcs=fM z4__JKl`biY-9>gQ&Ze8?qJ+zc;{4vBt~zS>mmMI}+fI3ZYjue1kp--{<#ncZ?53ls zn=D4n7p{F^h?MHpEtSE9d_Qnf$*PMp!e%t?ZbzPSBp&+PaiH$)$>K)le$B#Ea6JS- zk8U?R$TE)W779MoSkVfBuU6(YpqVncyfF9MsHF)mbs%p)hgTbLelNHTZ9`Zj%QI9k zfVkaTYih*I-_*ngU^L?7{PUGcbrb~(ajf|v!fK8TrSi>!d!Z=>;4-D<; zj0Hi&iqbw_2K&&JXp_&z)Eb-y;?}eP-hJ5qZORjOj_@ zPJN4DD7xU6up70&Sz`q5D{x@DGop#%x6?7GG;qkSH)eX7l0FpZE|g13E{xfzRJt86 zA}>PGQ4+5yC%8cF)!wz;2R}Do$=xl_Ny}d@;oPZH(2*+%4OUOLLT?!Q&7^!2APHedNXo; z+;F3Kg&oo39Bum+v2qQ)aldLK*KsaPBxJ;2W08fj61%vNwkkYy3$HqiG~)rJ zv_-ax$Xi^OZgX@^FC|L{4fftit77}xiAs`4^s^{DKUq#U`y>yewDud&I8*jbu1AGm zqi%5h{ZxisOVrYfo<#)8Nc?H;s%imH)tS-?_IFt$jQhLMRr+eIinzdGsvk<&t)~ZZ zp;+n9S*$T;u%})a8hAY{p$)ZJGdNpg0nl*l$;#nkE98$Hh^{%X<2|^$H>#6&6=L7& zLadGKOJN0|3!$Qj?4Ti^>FD+~oXfx3g{p#C3GAliLrP&arpHF{Hl zfl1B#thpO6xVft@?3P=Z_cxxNOO=R#Va}a7&f|?34|>Qo%f@kfM+$ke@^$XpVd-tB zZv@DlP*IX!qrOTg(T^7|IazM2i}%;cr)kZmdJ;!=b{w2xK`EV+HJb2B^IX*$XOh3C zxslAg?@o`+9NwrRpls;hXV$m4uEiN(Z6&vOM(_4hV}omSM?#}}!w7hzpR?8)Lg*Y7 zO#luE)S$G91tNb|%aVBgc=_9&PtLSvaa-}vgmCy*yBW*&N8)JTjs$G)>0A10kJeN$ zi886%^a7)x&Oc9DI>{_uo~TY=WV4J%r)3A-F$$)xBJzk{@5Oxc8Ix!tmAKuhN}Y}u zl2oe}_GzM*1n;Y^ap_*Xlb1izeyqFvO_Jl3Mc4`MelYTu0pphpL>B(TmC3a;nG;);lm{B?ZN^OM*<<1nmUvq&46QB%e$!scSICnELD;(Z zKpTR|691uwZ%9-8&86!^h2D7*ShaY?X>>|2L8)O~VLrG+KibVAEIS4%jsQ8X%r9%u2Jc;0OJ#Qv3*1fJLE!#o$tp)fpFmY<-Dz+Qh zs8T-*R2uF`Pd!!)-g-jH#1`?90&J^=`W#414LOK$D!TaQu#0@> zreq*EqzwW-k}83y9nch)%&)HY*)KU%6^zo~&7R4n$3g^WCRM^Rcnm(QKM}|-04>uo qT7myc-*o>MGQIyJ)&BZ7{ zsDgn*pYGFJ)>^w~PnZHo5*d*I@y(kz$Wq_Ll-|5~+XsB3A;1Aw=wPP_ftUBrB2p>{ zz?V0INht6)zKghqi?Y3$i<_a7=^Jx9ds|aRXJaQ*Q#)r1dzVv~4xu-1KE06=`>Nue zcC_-{Tlx0k@40-O#KG$1Qq_*CH1&^#-$*gxFS{{nh3(%AB#(G5y%43 zuEQuKfEO^4RHO(3nHX;zUJ#l{s1pS%B5-y4n-Lapbttxn2DmAKJWLU|g+>x12be)I z`v2#~DiS5>vMt;DIBL7Jzdx8p!$PgT#;hwRKX1IwTgUaABRY2KxH5$JZf^U5awJm` zo^rG%ji*(YU-#9jbyiV8)7*3(3XabkbYsS^Nv|8>A?;fx?xakqeBpLvd1;F+8F}=# zh9{1kr{4GaFA#|b4w1AZB}{y4==$#k`KoG)=&#E8>>MC6>*vqyD~4odH`=A%&xl%< zt;B_e+*pc!JfqTM^$iJwRb`Qrp!fG{v3qPxNb=2lJSix*qV0CaCBnbSy;HS?OW_Z@@kuD4urR;G543) z$PZa+vYB3jFvJTCdS{&4I&2KVMDUn0P#ZkC1Ovh>EgQbY>sWMA$BW!d9`U74) zKX-itCQ9_5nBDX^kH0TG@k!By;XZ@pDpCX{#5Mb29=dAnyY7Z~KUO4jT)LKuOnX_W z9DG9ZwOVH4?i0a8Q$9!Q4Ia%~b8Q)V(_UuxyG0Z%p}UX%JpeA#cN!e^X)Bk#k0JqLi8*NfVd6 zzPjD=m=R)iH87D(KcV|;*U4YdTh}`e`vK{$SQ0Y1)hIybp1~6X^?Lp91`I! zM7rC*CW%($P?6(ieUXCnO*|KyYw90JROME>b*@~UyBNwieB>K{CKV6=N&iZ*ltCb$ zNXa!TFqtIKy>e=k4MU;LZnH3PIKN$C>v?CIyUbw%WTIO;_Op;9-xLX&+<1mABUezBwj}zvP6Ef_H zaZjjo#SLeSN$8E4lvMAP4QC3SSbbfCHc({oHHG6Apqf50I{$HgoRR&*5+$j`$5L

Lg#F+&M`ZK%t>d%;n+|0J8r*QJ&FBgUV5kDg*OfMgO=5@MFD4NEg#!(5y$6C%&8E8cM9xpYK$$x0Zc4&}#l!6n(36&;22~=Z ziNia`&l=R_aWUS*<2$shU;)OlkWIj-Mk(D~dVLAL*|`^(E76IYyhDfhB5><)|Ab~d zgsLaWZ*9sj=RV0sF*PD%?)nV(cxD)Iq^5aOQ%th_j!s2fllRH zP*{0vs9aAL!`hyP!(j@pKRu%0WZfX=XiFyFphpD}UJi=d=spql;lFN_>#0UAyJ*!y z$naz}OINBIHtHN>cWZIYtL|ztzj5`jZ0~4ZCA8AKP=r;HKw#nGSvKk5io(A=9;lK) zpUku0*rn}o)VDnfd<6Z-8CM-4*xQ}a2s*>+O&F?Lp}!YrPkfXRQ}t0OA~si}YQnAI zkDBslf98=KG51yL)Jz*4yCvNyGWECvd4)EZ_2{`gfzM-$rXR#`WqW>Td+aVyl;6!Y zw6fCre>awZaF-@1w{TTk+2b6n&Yis+I^!26X>*Ag8<5j))1=PsvL1D!zgKfkSh3hz z%NMJDPGuF$hTqi}J^=H$F_SKHqZ+hh;M= zHRpI6>(X&7sK)&IqbaF21cv_3d(aaUMD1{SsejR5LF%k6sc#=b8)*KgdO)x_o)|qR znM8YZPSNr${-f_sI(G7V8Gz< z{>&tXVudbj;^M%XA=AxoHiB11WV-EcTxmq6>15htuZ%To2|VOya>UJ97h3$*ug!(l z9V(XY_O@G!+Zi_*rXSvHNI-{5a_qNNW5gH<_@yFuN279Rq5?X6`_+XjjODWth1*b3 zGQVh{w555O$>k|mUI_&8_;Df1c@T|Xn1A7hp-k@A=r9nnFCP_iOfvXBU)gw#$KcT@ zA=u*d^GpKTKPs2#z)7>xN(3_`ozWNnx?-xOu#B8|Ub$Vy@!oX+i=WjW6 zx|Y+n&7J0Cz?xU>d`M=JLrYe?#-eBgq85b)k#r)Ww1gdv$TARc!s!#kB@&dypcHJ# zi0QyDN-JS~7sJ?W(x{PoxECI2zNf_@=wo}0xNYvtB-?X$upVQz#KyzMFNLWqJ+D{QcAyUYEM? zbV=RnCTS1yIYWqH64*ZeC5}lJc5XuyLlpljUBo}JfVSaXp9?izLznGuS6muFV=x8XR)NJoUX)+uM$;W0ealm2K1dLmG zJLx_?=wGUoZ1_epa`N_Iw5Qs77xHz3&XAg7s_5+aU1fysgDCgj!C21J6R(>;zs1fH zH66}7n|9@bZR@@@HjTF@D>m!aNazkzAuiKSCx;|Q(5zMk^%(iN7{jqwmtAd(AIHmU zCQcV}YPo13^NFGv#_qcJL?KT6*ua!Fx!qrO+pV;^^~M4ZI^)rfNE^-3ayQqUC?0@m zsDt!<_2leaw9RzBQ|g+?D=WfNu&Rj@e^Ia?Tx>uVtmsY$QF}D1l1)rh{T_o_Xrj7@p_@6nR?Q=6!yQyZ43UL|K!|LKs(ADF$&pBFIFeAK zQY&iB7)sNM52oHf&GdWRpt4t4!S?Ee6T?bJ{z0`fdUn*-g=ZFPGh?haV4}&@&7`?0 zThQFD+h)nHx?kFD+N~1X?MdFAP$M$F-tBUbI==gHSL?UhsfMHwf1aB*F zb-85wU)Nf2NjKW>WvW1)L8nl!jD_x>Rof(nZdM<7`y0+7OHk)&$>P1hyNIaI&Sc5b z_GWtgv8y3MTSY-$tSz99;siV?{aecM*GmaIU*Y(5d7s`_y{6bPwvXfozp$Vx!y#EW z-A((6ur4p_m_nW#bbXJ3m_%9P6^iR~t?;5$tDSx%N8hsG93-5koS7BbUXg`TzaxjO zcuxA=7?0S|`k;~x@kHW9uz!Qxu8qBPBSa$a+}aE6+~8X#6sFCmfodVT_^g}wYLTR} zgbRQ4-Tf*0YLtvaZTds`ciA__oQV!LB~4CcJT^jPJis6$Oz>Ma0@~4U{qw$jRdmEX zx2AofKFRCHjX-@8%q|kjr)N_Z+vcfy1!egyfE&w9@@G#3wUE}(#Gj!N`*=XQMF<}XFQc1Aj1S&FgT%9 zo)qni6{-}b+?q^B&@0v*44y4ztog6DbNcz2zb!i4VOOg7Y8slgU3-6&5Q6s+)v~$4 zx{$*H`6Vzg*lEYfiSXx#i;5`13r-89uYqELFEf}BSj^Lc{vV}vp?#ud5H!3sc^5GY z&E0Wg0ayj`v6pTepVOCMgNLE zkN<1YXBig;F{`O^*;jhFIgW^lL8VJ9?tE4*nRyQf=d_)u9v2_Kc`RIHv9WB&-Qs#| z^l-J0hXhxlPm22}Uoge$er8Z_4?O`!oPnt{6PtaXJx`hsnQl&@r^gCbvK4dAn^D{s z>mj6`{8*4cVm_D9f=u5O`}X_3rR?cHT4nh%NlZrzHSl%KQqjaItyH%i-1(7W0PU4qP!OM#w0o=&n8eZ4Q>avgfQ+2?{cv^_ zrI)-`i_z!d>f99%9QN_Uhiti2u2qz7@@XqhMy=XUbaX>Y*$B**as1Gp-d3)pc};xHL?gUZ=6Y zey#QH6(_~VcmH?`Lr2+{%x><yczdV-I|M{8HVPS^l@_qL!AlOAYqBTZ8eY zwggeZ<+?4Cb=K;quvD$(QdAN=f>xympY(@t4eKS*8pbuzVX=n$-Dw#%)peG!z;&&|zEu|9BO7N(`50AgXW(#+}ecyn!JBJ$J=g=RA8HczzsJXUiROi4*gBZh^A0lTrn zi3rN{dub9`+Q04{ZpDf%WKOX$nzpK|wVcZDS_}cx0KrfLL>;q)TJnsQ>3UZX_97A- z47=ILm%O-swXlaAkINm^v7S=Rnm!qH)ls{K8pG~j#8hL8I<1G>Q~BZFjDQCUQGr5;W?3nzX&f#$)dVy_F$Y5^Rq_`N_%$DK@ zz#(@Tuq4!BV`Eo2?}Dn?YFhCY^p9Nm0qaszQs$M8_VfIkNO<|IP8z zRGZgrbv=8KZ7P@Tg^`J$A{J~8WT4t~n6CEm{@!svFUgaZPBD{Xzo!r|)k3vtkoKoH zZ0zisEp}yYKOYE7X6SOnAzA;z*r+EI(Kb0b`Pz(c21sSAnPS8Si#->FWnUR$>Gova|ueebXD@aU8sPw*fvf{rkF`^6lodG9hKndFqSLFD7EYX;o{mo!DYs$7qwUi3@uhSI zz;7NNYR{T+5G*t~Q~!IWh+(6uO84^(MBB*)EI;ZnbcBx|$;rsFySiFN%{B*O$%zEq zC+J!KEo(JHH)7`e-?BZS=t`eH9kcL>eIB>|A)PUt+ z;E)O{UCpaB<~#g^`(sEeF5Qa{Y#tsSoEA*0Vbcn~0TcfG`Ew7F0}mh}jWsz$Iyv=AdN?14(;2K389i5V0R~{lFVc%8}{~r=Lv|fePXvm5N1_pUuTp`_Got)VC z>rV@>FL7~k)fer7An#oO<|1s$R(o_>hACEChBdq0STZ?zl#Mfzq`MOR2fV1eLql{ z-EnIACL?1E0A`)5Ui@GWbH|esEzZ78cnzRuVawEHO4P~#?C{e}1=ES#3w8B;h=C5efP|C1?C z-p@mevQ(IWl|Ks#uH@{}(b5_MPRCwV2N0{x%MC!Rs9?Q{0^64QtAm-6(orDWl9LAk zh86H+5?34;AKz_&`j$+P;NcA<&?*BLA$Q-5N`tk^gr47QW@FpO7e*=OEZCUsPv&7S z=9<$J*EoA*`Z z^?Ss{#ToS5TSc@D46+1%X>jludXv9D-eNBT z$tO_XlCX4Ku0m7rpM)~)3j6?!vsk8J%?OgtD|U)#OiLs3eSLO|N$WOYQ%#XTMnL$L zQD#wFoC><0<}~F>y}zE*r)6Yhw7$H&G(MWIdjI~t`xX({F}}wgWk$CL@OkmMu``x9 z88dUmB(BK+Kz=#I>!YH+xR@9VAi$oUUg-XL>u9kq0uVn09UTic6SOq|h6Ze@!SK793jl*)WI`&~cVLK8$qa}6YU?D- zPawptTYXOfIR}JiP{DfPj1@R1hkoWGf+8_+;*wpT?;9y$oM$=x_wSb`H$@IlV2Mb4 z-Sc~JQ&SUXdp>~ndHwbGkB{t*8)7bex>2jz9K?X5L{-CB0W~^PqQ2?E$9y0-j)hRF z-_c$w2VgP|PT$@6rZrXt+O@8R1|AF?$|nkn+|p62y10ad9!QQP^MjA+sGj>zioQ!U zG_)@bb}JS$#j2XA-RqwyDT8d6>UF2RQe^X`Vc)&HyZ|JV@;*^ob=&NjGdT<}^ESW+ zfLJalmCJ#k0c82tAI2J^+`>5ofJhs~A#eDZ{0_+D!v&*f+Lm5Eb?l0C^ zYc3`C@7OHX?*CjJw&1AtzP~_(edq7*|8GNS#S&3~ffH|d1aVVG`+zxkeV^PlQ`JiH z05OPtV}`xq{mrQLjcODDvl(Aq;edwakR*V=$|@@^2SbVU%!QSs7NrjCx7||IWV~`^5k1{G3cksC|-4Q-s46u&K-GYWi%M zc2Zq>6RzXoY}xL!5Rh`!X3PQ-7@M#Y`!0a43=RwotmXnTerycbF6Ztw$$wd?=Fxp7 z!_*`O&`3NMHg<2L<0f6LY8|=CcOdZqwQ6E!_PcKX+SBuD@9X2uu^>T-1px)CURFwZ z7%=>Nm<=GTjmW~nLTMQ+KwJTWbf*<@DLg#f#8SjPfuipt7CQRiKfcEr#EX&u956UM z%zrrk8xS9Er+WX0cQ${L>4hw~#o6CjWs^agzva&wyFN9N7H1AJ4kM{iI zO2Bl8A3qK+0zw3z#o*0oDtASqhWI9R*!gDwLRB@TZVxLuGOl-v0r=p*uVl_w{}X($|Xyoe?OzAOcfsn zq^ohA*6`xf(-WSMH;@JRY3)G;Ud1izIhkUz?s1l<>${o z(a9xMXl&S%Wo=fP6PK5lrTf(zILM|7!TJAg{q+kC4hc^o+gwXYNkmBrBLtPS+@Tae zrtV;5z~_l|z^srCKR+WQqXPyrvIF+09T&r;wax(gTJ`VpIm6ok6QxHHa{sO?Qlb0& z`7>SF>qp0IU}lPcX|LQ_LcoawZ0ulR$U-r6=rj4aJykwnY^dKWaY(n~EDpd#fKs9> zeg5dkO2In&MU`^Ld{zvo)X(N%!sg0#wOvP&;W6a@uw*lJV}n;eA|spbO=M$dNLc|o zvCbN|Knavsr`lk~JXP3*`ELRPgHJ#ujGZqkBO?RkB~OdnDI5s;)B*ShNa43{-vX6i zq^72>0bsg%j*|eHm6i2htq9u0j*6$~ zBPg~yD9Fmnvia}lkmdAXJoTJrqzDH^Y;0^Ksc^f9wy&=cy;>S55|AKI4~G?|HEa&e zdu9MJUCeW>qsQS{7dH1aI&Dh>_0|6VzRhZD(-CK#maZ#%4H~$5ZOs4Isvo zg2G?0cm$8j9vZ-<4A!^j=h@;BI9G>r73HGXQ3(_hsG*^ug-!>%Kr%3;zVMP$P>6Zf zi=>H)xo=w+XJ!2W&NlLgz^TC2)aOB<&=dvQaIianXz&h4Jq{RR@vp!FfJwAu#*^KI?4V7z#g)}`2#bx4Z3qBlPN1ldi;JtS zueV*Qwt##F_OuhlB2G@B%YZs@cwGx{V^`3=YfIIF4L0I?Ko;P0+oe&6lZ}b0va{MX zw1_B8@4EoH{c9Zfj7BPw1Opx2aqJPplt4A~QeD;PsRan>qB9&4>M)3CS9do)zbgYl zRQ}Lhofc!6R$cMg)f+OgYXBkkXUmo}GlhU&foV8k8t{yj#N-WG-UrNeJ+paUT-11SJ9cXe)4h;K3i-Csr{x1s4DK^!yCy z2`u0sYc1J4BikPO-adp%EFf2{BrG&E3t%un_!9xKcG9#j_jR7ksUFY#YX zMZVJiv+bh4f9WlU7Kl*1zy9pnPk19KAgD1-EwUHnLfr2(+~(#WdTL=W2{dYe5uI8j z7#&jC7CMeF^~;G|J*1-FcEYugaP3`Qe;R(k#@8B9I*rCQDzlxGBc!Ux>&c)tjbY&pa8l)pn&-)w3%pI)Xwft+)upR z`5c=&NV7WossDt2BIU^#$T#`dN%G$~Jb2h5NzD$9FqDRIa7}q}S+NceQILtr?wp4U zaPBx31LTZiWOD8)0Ka>~jpaU^ericU8zZ)*OQ(VL&-jy|m#2SI4RF^;Hqs1?neEQX z!s&4Z{-ujiq#2YmelEzYf=u|+pS-|-NZ~_KMj-3q1>E@FoUHFB#SOnFdwB{3oWqiC zn>lL!QXv%S_vEvh@d+C^^Hd}q^oh(cU^C`T7BRdns&&L0T&@dE+V$%sY5CbQ9aYj3 z95W_WoQFNv`U)E(XA!cx#QITjoR$j{pWknL%HGe&R!QjLjbE(=OD+Cbo!e^PbUmDX z2n_)(KC9=Cy2ii}<))siJp?BB8?ZMUqm?(Z|NH&vLI_y7Md4?cCA7HdU*<_v8O!Po z!{6$SHEKh*#VYtU&xY+8bnh^seoq1o5_TKwv`J^Jqv(58ZFayxh6Z%zQP@J_W#Rzbz3_*{J?i^N6e0 z^y;`eZaYqF@7on&Jame&-IdUqE`QRRLCx-Ye#Z^HFu+Bo;kp3XZ0GFGu|5U(v5S$< zB{jMO?`6^!;MedbZZ?-+6|>R4+e3&t8p)f&n6Q0~dwudO28m*U4QcYu=FM;f9uVwF zPz{y^$1kq_bl9gClF{&_D0cIKK{8wM_UaiVoWJp^h*t+rW{vmgr4*-sQS_y-rB>zU z#X%|kcg*=g71UX#GF{=93$30oyx*}i(U1e#AKz$rWv?^z70p#(sSjHp_CV%ipwmYePOlK{>v9%(wKCbs3PsK_pZJPrlW0RZO2{rTg{q1qG7H0$98+E z2m=S}ik2>WiVA6Jlk!C7n_Xhfs~qun&5@cMS^!mb8Rj?gBw{u*U6s1}oO7s$B}R%q z4xXJ;R@<6y2Hu+ zsJz^99y;7a=Oa$Mp)ru%o<6+|75~xZyeA zFyraBkI>2=r{_@}_ImQ@VY-U zD8sTtw0$e;DBynksVSd;Uxuxt&54wISssV)`tIbM;T5nWXGH6=vM;E{B()~_+%sn&~t=!{T zj-=TNuMDZ6WA8X5>FgkW{G!kNHBU4ZPit&X@{D)2{9Ji6hZSwF1U?-_SEYxSFU3lQ zK+rQW`tP0Ivis{X#hnzT)ux)rBpB7>a(J8KwmFJBBW;-T*%$&No+`An@4*~m znJ%NH->vjqDKQd{Ifb}}H936=B|bedsHwRdix8G}>F#cnly}w%&zYn>J&-Q56*7Q* zx)ZM{8v5b1XIuY>x*_+iDrsVFMoUOk2!i61|Hyy2^}kHX=!qZ6zs`&afX6u5AS>~QEu?8UnGIrsfvh7cGjD%&IdoEEdyG!oEYP{KqJtY z;&$Q}iW>3Awj1T6sq@(MQb#& zW|u$jm#=rYuBx);xIgMzsYVUSeznG>^}IPIf=?{z;QIleO03wwFk#Uyex8SajPHizvjnp(5TC zlXi^Ci66c&N*={3*aoM%Q>sVbm_wXj4ON?uudKr(;?i=S9&X5W{GMN{crN&aUe2vE z2<~rF6I0*uQ$xKHLfV%=tA+jUuk~NW;L?r76y_2>&pvs<`G9K+7e}{(pts7F_sksr znr`D}61z&j+pbC5wOUfstekS1hYcjIPQ?aJ@)#C>4H#bP+nWiu#+jCIIe%(|hw*d; zm&v}($dAZ1?XbR|Ya>Tkx))^jX@9KH#OnK`R;`zT55O2}a| zuU_v}m|0%y_#3bK^^o>w!ryEv*4y%i^4cNY3Sau^a96XxUA+@OptW@;lvuuo6Lx(K zb`$mqErQ~QB7OW);w1Ww&@(2j$LI7pwZ5J1uhf9<_+_z=P(_C~JGbk;SP1JayPq_s zyH%9Y&h5SY#o&oe>0HN9PWJ}F4EF?z+TNS;HeWtJincNHkL_9ZNjN?7N1y?yFEMEV zDM1+ugIby^Kd8`Qg?Aan#*R9?EU*iMkgE{FmqXDPVbran^LG&F{P@n1b#a-u{f97F zct^q>UafFI3pv2>UN!+XwW#Ew+jKy)qS_Z#^Di(&meWT_3^WLN@+e$$3 zol^MT;Jo$eCwl74*Qd%q^0RzzNT0mqc4iMN%%xv%0XGqH#PtP|RS_VGg^~yA$7HC%b!=>Q7MIhn}7?!j(f=bfg8SS$? zxY=~ibG=|ke~7aG>TU8qIA@S(Z0vLQOyaD0yG+76PzH~*goMyt(i)9mI*+wTz7lhA zcjRD#M0Gy9;F#m9QGER|=ISG3^1JRgC+*FoZ{J24EE5U-awLD4;1!4nicpVp{}eST z4bS^c{~YIb#rxwp#RL0#km-@!Fr_mTQIGUs=hmaaX+@c|rVqxN3>>EDbidyLt!$~p z%U}I#${28NKano?w*Z!00y*0}6%B<^yX({o_1E(){!G2kKD6eet}eVrl?ic}m-CCP zFUX0TVQVQP&zD$L9(`#B^hD<9tCeK zt6WC2!HvG;g{Oz|*%Nc6bvYrNDtb^|-uSWox%GayWZB0EMwr5dqRTs>2j>0`_6{A& zmX^ErMFa+B%N5za@=s}Q!Omo{4847bk{@>YW|As3P1QY%!;uBp$A@qns{Zqzu3gdswiY~v?T82*&ET=W7Vr? zC0Q`Hk@NhR8_C?>{<3#1q`{ze#3dEEAwWy5(X{i4D-|Xf$;jbH_Q{P-z0J-{>Pu%w z2eea4#&(%uUoxp&H#8%5Fwd7c^weWIE882tGIJF(I0 zI@09jIP+WW`ZCj%{B$Ba{=irmPe@&{QR7F7uyYa1E{i2|z8E1+(Tiw-ivy< zX5U9sdbheW5>AdqBFYTtJd?j_xBI8Je?TIgh$nGWN}(H@dVx8juQ#5m&yxv3s9oec zvVEvE?OC(qiFd7{r-xUzMItaZwjjY4DI6LIOHkgzeL4>IlN3tUyvO?Ua&WvTU%HhO zBedC1?yuu|jV((!*-4&bLEDa=vHNZFTlI$!8UIH2C(e{+Ml=M15lUmNi_LIKis(bJ z!-3g5FTNjUv0}mR(e^-}8OcLF=MZGTus@Dz4~}^Fqe3&fzteY^7{sW($0DJ0 zTq23))n?mn=l}D4@JkAJ_)iK&T()Rpa_G(*AFQ%X@3W#!`_oxWYPO@LUCnyBFf!YX zee~^hP`W%)6)Rcb`{sE^x~Qk8&om93-Y3Q5?srYE)ngdq(ADFxTJvgVM}B@e!^lQ! z66bOPd3aRp>cLP&_YBr3<@>zGWzWU_hA+Bv>MVSoI(~vvSN!)!E!RZSB|%G{-;swQ zA$(HUq+nzwb#{~rN`iUN?QccJIfFbcAR!MLFAbSK`GNy~E1zr!oOWzJH?i-LbF+ni z{N+rCTr&K@@Vpjj0$g@ze>#6Yk^u>7-TrvzF^BFXD2Si)fr^I$L0_MgW`G=Ol<%#n zy_GfG=zNnHi8yFH41PUd3Et$vDBli}@7UdZtjN-@-7TlaXGI(z9;95_?t%@3h0js* z%6`Qb^yhWHaacQly|Af4*cm4f-9?c9O?S6}nXFqi;5LJUr4w zB2Z=lKH9<}aBNvdBM=Lf*bY*RijJ-!S%1A*9h9l?6LZb|5>p&baY>$^NV}d+qxlsap_Lu-LnlJ@=Cw^ z_YFdqyo4a^jV4ezj-Ng&ZJv)nYX`8&zIw!fQ}%7C^#DwY2vZPB06DIHY2Qz-S;i;>_`RMh3Li-ab=w4 zD__46^eIu3=ugEE4b8;IoFAB@vUzM)EW4iiEb}t@&t?aw_*7ZcX0iW}fI)$e7M2{S zHleW!Nylg*6n}f=i9|QEFn5g2zW*5WOUD2_eS9yS%#@_p`PXfAyKE`H+G>Ybz+p}< za-T@_3o?7ST1l^DS+Ej3O2Oe#47gZaPcE_ml)eG9Mtx>wg`^sWe!S|0Cq=`3^yxI186et<~CeIzbmep-yX$E+BY`n>YMG_J!Qc|*o2YkVU7T2xDOO+(4_ zXo|1zcgbnzh8-h)Qj=X&LrHPxh+_)yiUVhg};h=V1NoNg)Pwp9?5!7zN z7SEh~bj%V+U37K#P$<8Ph&zup=BxWXWi-jld`^pp5+3JbBtZUL6eN?s;vwwJbSUp# z2tRwaf}*gzmLpyQaX(IpD^gkaAnOdYn6XInE01WzZk>E~HmkYmeKkG-d&3Exe~8gZ z`SLMFaJ4&pMoGFz_pPw7_u++^HRS#N2gD2UGBy91KwU>K--UI7#H0J@ke&7(Qb+ak z2kRRAIUqv>u7~_*tnzE8QG9*x9uEYs+HpY`IcKevG+-B@LRMu3jjP=RJ>A=9Y2K@Q z<&nqUo?O4S5y5ybjLpN&k`dLPGe!l|>jC=T@c4v<$J-jvR70b~zm!3KK)x9keXNj8 zFt6AgEr1%iwP?29oqb2LCk*emi&H4oD0P*V!45^Fnpium+ntwIEk0}gu~Qp5xt>!W zpOzf3v>ilw)h&G9S0E*(#~VT@;dX7K^qvJr(S)w^;Adm#w|6im*4&CM;Em0*sk<+F zbhMOXQ`U~(rD(TeP@y~2b8lYm$1RcUHal|>*4ScG?YnFoMcm&*-ukcMawXzRmdesnD?Vj->3KFj&+0p8h?{r=Roe`%ha@EG;)BTB^H8#K@-mm zb`7etmMs1H@wW;npU+|Xx(!K6=5Fuyv!|XXZvbD<=6*X>xxmH62$nWykGLczh6@R- zZ=D!mQUO&oLC<=zf@^={N2zLF0r%H6kAdZ$IAkt9WJ1xF9mTq8J%zM55edDwy>A&U zr`Xa$4HgvirmI1^`#7cjbFpJLcL_zI0-D+}6vluUm>1vf#d zoT86SWXhw~A)ViE0+Ba=M^O}OJB!C4fCVb2d`(e68Q-Y*E8b{D)Nh1 z_pU2NmG7ZrSF>!MoQZo`>GOhoo&#IOkDov4U2F*DYFJKv$_b9Q89>hbvPUoDIvFzZ zYwZOcYgO~Y%oOTxwKG~XAURCCGf=;+Xf6^^w2vek*MlGmsldRHuv1fm4~4()clNJ_ zsQW!Vght5|&G=-y&bCD&c-JHHN8UT$@(yV$QiHkMJYj^ZQPHEut@SucB|20f8=W!K z2sbdkBQ~=yeEB9S;n#dC`Ks(XTV^fT${i#4CE>C)U{LAc3CWybr8Z}|?xq({{{ zA}WRUD*{b@+2rl7bx+0?`dWdRySDg(=I5&qnyqen@Y=kMub&FooU%9FA8NyMfDe_# z%jR(z*?FO-W_AR5yttju9J;Yl)a#roVGjKbA>F{abvj9V6-E?jL%`$tl^oBvZeCew zIzv}2BYjXB&SZ7PK+dN+bU{lAhu5C&T{*M z*7Acr$)DL>7p3FwDsl~(8xaS`Whzr*#m3|^a~j)XihtTQ2zrz>Hu zB!2mc4NU_}bwOnNqBx9VQEWh$!@1qF@8`ZHS6rE z+tQY9brsH`PHwQQwc=<`TLM#XOQ#I~iVcTAkEk>`9UI^mJz zN-nB9`2~= zH$`rF{yg#!lB~gOPfi(Dh3=HJxbS%2PtXznl zxl**52nT=MeBFJ?)&f2+3F4)dUg*;1mfx=L)vR+y>eX9f?Z{t#^xNnVegc7Wn4RsLBUuHF z3G_t<1pC6KIjX_%EPTZ&74XBfC^ou%>PzXhq&~EBNFOVf@P?g}2Ns`c-E^JUNr|lY zL<=r+5l!xLF8|E16F}|t)~-kQu@(p|tQeL%=Q5vrhA5E9?bAjnMLjX}P`QYI_h=Mw z?0G*SP^Fp-j z`Pm)GZxtss9Z%_Qr5s+BON_Ien0E4$Ryo9^ue+@d%WYzY-p)!y*A=ob66Oqkjqv@T z8iONq$y@v2wff>fS?=g|-X%IWsd?Dj5ug>)hxW7GonN?|cc+c#Kx@Du!{gAAN;3cA zB&) z*64bx*NN>iI}$`lD|wHwv|M^DCN)ft$7SeOO+X@?*55L6!%dbWPS2b7Nd?X>beC6- z2v<`V!oER0CpZO2DQOveuX$IOG`JYxpeR{A~L-Dyr9QSKVj8k;>xO`I78sC` zkIWaXM9DitI27^%B%dc!l_H^rcsY?N+n|??ClOH%Rr2tX!HvcI$d-#7O2>YdgE%3T|?NQGRLqAOSru z>OxLmm*#WW-zys0w4=p9lGrEW6AQ z4ux68IMPZ#$PZnY{lvDr*OR(kUJ!@b1>K8kUJRxV)qE^@zM?rfS{aJ-P^a^O(=8Xc z_mUu%aO1MeqqxkvSg{RAFvBEKRKso-yexN(aN0O*lCFT`yZ`dPy#Orw;+*HOrpo8g z)wyj2ozzVAhr0)w%p==!s%s^_cY>;9#mM0{RGPdIs1PJ+TD+N^;Yu=PLbU% zClcG}j`_eb)?Xh3^~8t-2NtnA90!njoW70AkuS{t^gUmFuABJ^sqHv=b^k;bKX>An z7F0x{MdZL&b-XO@G;Ua1eu9@sK

6rnm66-NWDQmTOuGZ{1S7NnC?b&1gwoy%x5( z(A9;AE#)Lnib20IK`{D3;VQceZ6>A4nPk0hBWU@)f_Ywl$_UH+L(rlA`XWEn)NR_- z`))k|>BTFkK?_E(kF6+x1gE3Z3;wnB_wvHioeWoeU*GJ3h2nHZa3bEv+bT;)!IRs% z;%86f%}E)Fsn%lXU+&PXJ&lb4vfI74H~G!9a)MGjVVemzBof*c%(j+i5&J`V^6fo3 zuh7Q(;)T}6svXs0rhp~Nb?5qM` zt&nzEnebPCNDnMdtOrG`oaCWYZ^+^ojTS|LyGc=`)e9Q-SJq6^K}y_Py>LwJ6DqyN z)9)C^{w}T8zIH{`>}BtC;U8*|B~-mb#r;g)AW}RJ%qG5Qi(yB=>Ea`=mP>f<2wI;$soz)g?^=;2#7pC` zKeZZpSB|rmMh=^vge%T_uA)lYuN^ZQH|c_F8~^B%E;kbG+dxVCDw}qzoC{(|#QmQV zMk08UEL^0W2kHrE*?Oi{Pl@z*>5vOMjs8z>-~3(I^Zng6W*g^*ZDS`lc4OPNZ6}Qz z+iKM0#XDQZt<38kXL-34E7en|st^m|d!gP`a4 z&w><~g*XW9VTN{U!f2JcGz}5q;htyVgf!US3M7)&g^-}(KZEg)Y!pp_uWiJ?^pq80 z$;tg+y@)!xGMT+XIL)%!AC|3JUGb$i)_wkzRd&)S{gvm+Ri$K1b50~9Bv*06TkG-y z7!Se(l!s@MM0mVS6sac{xeW~#>mg`u_(dvFOkSUDAB5EwWqpc=DZPh=Q}OYro+czC zr5=@>;2pQrY`Be|;u0q#Q$D#(T^{^4wMjFc8mZ~b>WL`{V_Ba?!)Z0)==u2G^gJD$ zIm`OMXw9R?%NzkI`?_?!&+;Y1ITFQ52fMR^CsGv@@EId*ad9>x0S}?dl7@-!Ip}e2 z24b69dPvt`U}H+DLOn$GtPC`ZoTx(z`^m-C*1bSu{5L+ZjV&Q?Fxp9dC8~8Bk8j^@ zH(MAbV;rna7*ERi7Na5dxRvAX{tH)kVYM%U=03LVsq-FA>dm zIo6#tiYpCctz~fWUAG5IOiNorM}|;f`fifpi+*WA8*M@&0YG=%Kp1WXfV)N#)_&m> zZ)r2`D5G(QRY02|rESceSLqi`+(5i9oDld^pV?qI#_WNK4zVzv9;(9P(lfrhnX4}z zx_;2z?Ob4>lSSzkd!>nO#)#$Ec~)7~NcjUm`X(xDuH@^^7CtkfIJGtgB`5t)$Vzk8 z98^eZKsCwpf(Yly+nel0oTry?FW$mYx+Lk@L-pmEm8TP)&3Mjhv8wbNPbj02^blER zk$rHiB^5oWK)LjvkvNHeMOke8&LF1&()SuM+E*d1$=Z4uJ=u}t#^(3_dUw7T3@_r= z=wDtp2-a)`+dSdr-xnbEHWvdG6u+prad6cb44=g^7Pk-SR)hSsGaiYRsgsIXs7cM- zR(-q?%*}~}|9xsk#6(=>dN5lpcVnh2<7}936OKo-x##O}-_k)H=;&g|(b1LXVed@s z%?(`Q;AFk#ELTPJdkar0RBhT}I=2at2@hr)P#5f8l2$|{Q$~3s7{e^cF&(|{P35{X ze1SNWe~&xkabhJy;J>=gz`yc#Mw7~J3;GNH8#$B5UXikjD;NWFHW37iHDqkRR!iGL z^Q5@0Y;LkVrlW9lAZG7=*k3FEKB658`u8QP`_IS{0H@OPA;lamIb1OM^%h}+$$#O^ zjd+crQ90OnK+!dba8PP!Xxw7cMYZ5m&;6$)RtifYk~2l6w_ZJk=NF`Uvox_`e8R&9l0e(BPhdI$T5tQcE9+)svYQR>Ks>~jKje4AU`ZnwG#YvTj zWMc}9(!ydx&bYmimin0l7tgYw_eKFwzLt-0!b~H`CZwaa42=Sdcicb9#hI4J$U;)k%sSlb;BJkJ-dtd8nw4 zVN4m|kcKisZ#XXzp2+9cwTGcd2Z&{Pk-O@n#h`slMM_X<21qg%qFx+)X0|;zL1bvd z`c;nI`{+l%UY!nIUasNRUPVs3$sgm>CF((t(|KbT5>g-FXuq}NZnE;c@fm zFiAB+@5*nvw>*)hurHgEtK_b~ul_P=ZP*Vc#MG|(vml>6+Cg@4)#tZiRJf_M z{}B13pdqL(()##XF1E@SjX#Tps|q^f)tWVF_hM1DZ9$zV)7%Uw&s&B~0~oyi)4T_h zO_(;(EB8Kjw88vFim!MiG2edo{q+L^?1j=bnVi2!n*$+8aRt%jC`&1%p$c`mtnxK5 zpCd#-jIEA|VL&!>{RI`TL1skmsVR+|PB$5PH;*$)hnurtx6KWSLmH{2Ruld`65G9o zi4@{;tO;A~o4%Dco~bOGi_W2Kqy-^Kw&R-n>lq~GRF(s^)q|I@@C&`Y4oWu;-_zBQ z4Zz07@X#stgQ$Pr>`ug98BthgO%G8X(#N}@qx@HYf2!1YOt`l^m&CfXM16hur+Alg zcrkmzmYv}O^(xcqv6a<-Do)*Y*sE$aZyIm+=`!390#$h_(um^y@e;jQ9X~gDdgaCi z_LLK@iA9?2zl0v0yV3i9-@Pw#?}z-*qxTKLN4?eWy0qYN)Z%T0eIX%rp2H%LliS?mBY{K!dma*sBmXm$YrZ@tD zct+MS>XB2q%i;>jWk{9sPzn0-X&R?qBitZ{`?wwVh~J0i0Fl5+IF2X|Glda7=5LO@^W*3c>-+7~xO^g@rR=Rv7BGQNQ z;P|{QWK92<{*dxOUbBYz1XrKO6Enb~R?fL)NUJF05MK8b_z3RFM=go7WEF2Y%_#)9 z`Ta2A+>h*;BW2gs>^w9&imKP3TZ@-6nv+NZX%z-D_|V%hv~nRPXl`#Lio$qFLPy7~ zb7@k}snc(f?ps^z^pJt)Bhf+2+2H90M2i`vodR1v$*|}~N#aw9xVk&|M;Ht&SPBUC&vv%CAnl}C*Op*KIWrRP*WVA zzRVSn7pU1nl_Gi`pf;$m%5R5FLdc}Iu`E$o_F{=JNNr_sts@{H?B7f50GuUd! zJ6smy8m|WC>6glcjV7y*!^{e2zZo5XR-9mSi^Cj5^RJGoO)t;n$`+8`kfmG0%pIRr zQnt+-IFuQL=f*ikq9d_^k!skNCv(|fKO(twacb~uQl&PY14m(|(ivN;58uC_m!#+K zmjAG1*bd5GSP*_2>n;{U^x1O<19XBE1-0R)s`{ox9nJ=lI!f; zf#|8F_WRVOvs$mT7i<8%)6%l-jWEePPeP-feK?WYJn7W9@L@~k6ml?Oo-Kz7c)H6~ z6X)hpy05u2N99~@sP-0u9%vXd9Vn6cE-;_uA2lzA71T*dCtAs_Z@U3_PqvMi;-E?> z=aw~KOf|Ut1>4MN;8th^O19yz+!6jrp#9o7kE0T%1~6bTX~tcLO;)Ab3&)Jg3c?Bvn( zIwQ87Xla7B@i>`AdrH-w=q$>+M zFeln0ndAI!EJX@W_XZ-CfXwgD2IzC(BLlv}+x(I^*SJ+hf&`&${j)6CeBRir&>esU zeN_?@L*Kl6S5TSuLvI{7UTn5tZ|+y&;1Wp*vH_F#o>-xrHfH4P3WJAz=jZ8kO&Ooj8q<$t#8?%W^W z@Qk9ahEP^6U>`^*4J|70EofdAXgCXqB}LHYxl*J$ZSh#J(Hto0F(;Qhjmml0h=|~b zNgcS2)o!qpEvTC9M!L#UE>3dX{k`>0!^Sdtiwq{U?n~Izuw$l%LBzT^ttZ_5K$qoD9gmI}+_p{0mtCmt zoFyv-^11O;@}ER&5i-i}9&oi-7_mRB(;pU>>+5UH8o)<(cN#g9QHGrLwUIz-58AgUvf?w*myL@gXz#CB53s!%I}~HO6_*mbs(WqgMZn0gv!;h>qkm^Xk46rQ>FOdMH!n!%fJ&KYYX@`bR~bq7z%+oogo zACKd6a#4kdzsnOS%8eQiSl1fDXk$|E+I(jW=lm~|s&auJhC9b*}|)JXo$+0*;rY0+kHw*W^l%8( z&i!3NO)WD|PFu?8V0?t=8WL$R68p_tJHx)!jz2p?)IF}viW?xZ$3ZHfq82e>-b4A& zGdNC2(TareawDvd2`yj_^`%G9L4h)tHYSq`DS4nJvLFA^LI_)DK#pvFur*LF$IPe5&T zw6E=hykzbD&iTfCVB;%8Bed{@v6wy(JK1eQ%=7?y^sYT4?cYzfotou$rH@?heW_zXyO_oR%uV34dl|;jW)3gJ z^gQg+vlZdUdun`jFa_2kQq3KIuOT7y@wu{nbx?pF*pOJJMOXFhi_jzeOXNXZ$-|cP zXPzH(T@;sUw{(efZUHK>#q69c^4R<}qpQ*~`X4W-|5$yF4P^ zduAOlU%RCCb&o@<*?zepln-z z;coO~d(`?qo|LUsrOB0C`Mz`E0?H`(dXe)ps^b~U;)tp|P|IfzXcbYgCWjK2spC`l zmttPr<}8B-0>P#NE0Ij^{IHPG4K}tuf@LMQDP*Cj2;BumCk}KrN^t2uE+DnLp!16U zC4VK=>Ua!Dn(Mwzw})eX_NsGEs6gIF_I1A%iH`P8W+(1U<2%!qf8&eX#_qL=8Q)y4 zD{Q+PrIIXt2U8@%Fz>~sAtN}DKi;@Om>y}dqARxGX9?evi03az3dIi~2@9F}{qcp? z9P$$HASD2I0R^9{w!^=~aqmuG_VL6_Dzg`Ld%*j<#!BIi{Xh)9_^)$U)v^^KS7vW^ zwV#Ep6ucLHi7PL6%CsIy9<9_`EfTH>=`6wi9k#__*BWY#(267+R2pfXk)r^^lAjeO z;t%pYJS$xs)P|H;(jvy$FHw6Lz{{{`lb+o;NP}}m1-vNwM%rX{+~n2m5URTc{k4+S zf!J?wm%or$@htvZ2Yu;@^Eu&4nEfk}u1;OTX}sp3>RY36_1oxV>U$23y89-}BPvlP z-CBLz*>iL}9$(_Lkl~TZWS?Qb!n`$S6qEC}8H&5^XS-$$yw%k<`^Lohglqv#3$2_# zuc1R(_DFaGf$w;cWjw)Ov1!Q*3s;O|E{9jKar}#Tg6-7K3bfT0>h2=xy5mRY*PbPK zOAC#(354=UR{CCk{^|NdPZ20&HD8tTjZ2$3*<$UCI0ol!!tqvVA1iYIs9M3DbAeey zD^(6Ot?Y;JH4Q)iU-Un%-|P)hqmOj8LDX>fk=A1DHCw_=o@WSb=X?UD0_8ihx^Cfg zD-RAF_0hIMAaAI`e};LOjF5ecwmB2yBIX5RHtNM( zs~^mPW{En0MTU?GG#S6m8k19!4tV7_pC-1dY`aSO(A!yMS+z!zJS9xR6R)gGH$;j| zK~eji*iU0BN8UBo_#w%*3A~18m$!872xaTtGkT|a#m7JM>FCDe$Bzr~IZ`#H8nrI; z1#{@38_Yi|K5MV3DVh8r8$@+%>I>_dl0`nmm<7{Wnz9wt%<)W_Ay?*D4!{J6`59D8 z5wMH2Y-?`x%UAikb;eM%_p)SXuLJmFJVO8~yiIIum~LwL!&hEZ#U(vI=;Str(xI?~ zQ3!^E;LeRAo!GqYNfR_r|9tqBM#4zJj@NO9EiaTG3%^7h7AC=-O+?}8ei{Vmxmd=1G zj^;6iliA|UO;e-V_X(-D!RM<-b1jwU@!c}*AvY~_@grY2xeb;`zFeE1ICo#wT=Zv? zRAS>3C38pcV=i%9LbZ?dLXn3#BY&ZLxUC(TdZo;0VZcX4^e!}KuN%%W@%e3g_yUo) z+vRi(9SivHDj!vxWZrclEv-FqKBtsrdDk^0`DuNu8RE`o!++l5f?Nm&3bxRcDbDxZ zRf$rvLX=V@!AI7P5!TQjk_pV&ia5L^oT(y*7Hz>DEZGH5PyacIj7Nhl^n1|YCB%$g$MymMehj&}YJ3!KRc`pU!ag+v#JRzKBOE%a3i{fHSI4-K90ys+JROjir zia7lx)*7Nv-VZp{Eq2Sy!}G%C*+ijQ$K(mW1smG>-CZHcQANieAluJULX0 z^WV?~lgv(zn4TUWbs3Q}Dq_z@>5&tSqAV&FB1*-NEy%*ZYMnJ!BNL_eYCh|h!y{*fI!j|>~f*txvZ{D z`PFpKvgYs}$c6jxVc%uc~zQz=N z37IO+8Za=@Fu}$tYKs5N#l)-F`COrw;@i-zEm5*_&${FzRJEkaRRS{-Fk~gks6Q2= zPjMU^Ba&)WJm79NqDwt#Mqg2Xu4$m|4VlTrcyfOnX&-3hf@EPsb z@YQ~K9Y_J-PxlC*efP$6O1Yr88{*QLJT7_3p!{+K=#m8&z+tWG(mGR;Pz9c2gz#%||wsgi+TP@uA(!=g^usyy#J=g)ci z)}yQz?_Q1SHm<4PHQfJfmyid2Px-K2WKB_yXHE?LmGuMcwOK}2nf4;gwugfGfsy=N zcR+@a7<`G)9%xqrIkIP9iBDn@rh=H zT|~(c5A=Ij?x2;@D0rVx^nVqE<#V&w(t!Y;uPHrbnM5B@XSP4Jt1pC$m`vODvoG`V z7!K~NAz3x6Op9x z(B6dmlY8JCY(E*MhE}go$P}J-yZ`iukEgs)RWaB8s%uO&t3Nwnlyq>Cg<@i|pF9`+tHPr0~D5iOjY`&45n&2fmQM9sH65}qrn^?`H})>#(3)HMe;)x6lzzyH!LOZUJ) zCAzei23vlttWd@>rM``s!K658T>eDYC9x$huD}2(JULb+HLbvDeP}bY)ht%+vWD({ zagSzY$}D+Uk*TRl;r*S^oE-L$I%d)wNsH;+MpvPYy@*JL9ySG;I$M{-h zy22&WmrLx*(~_Rj15(rV>5K?lzRKy%`CQ&^SYEPF)Oh{++{%*e%?9KrS%CYM(L}=V zp1X(V-#F6ZGEtfmID~`xaH?=@gL*^e45lAqWJ>J5HzmUqG`^gAHsgb}JK~~I#4_T% z3@X%#O|7jz(jpHfuc?Y@^S$3?uS3>*#akP+s|{FHV_j&2wSAyq0vXcMEhc$-KxP}8 z^8)x9dKjDnCQqOX2y(@%rVXaUAk4dTHY{ixET^_QQ07rm6 z(4bBtW!8x0RBtk!S@zbai8#&x=c3UInQ*W;$F15@?TDd z<>I|?ay{ezrGCm?OYcA=Hag!=pHR#GyCVP})K1F(FsNBxsH`OsjKXv3-dBH2Lp3%` zT3TEJ2(Mi+XE*+m&&+Su?US(NIlsToO(dlB=#WK~%Bp72;Vw1_wIOm>4r9O6+CAp3VaI3yI_yiTU z=h~;tw0`IG$wi05k5BYHd-q?-)iE%J&e6nDCD$&mp+OJ)E_b-9_X|SfgEE;1yIz<7}?wdr<63}M7QI-FE0lgy=Y(YmN%tg9bq^m zRBz2@mO2f2RoEv?gIcp*8S5#0jSifON5V-ZqTh{b73vS5$b*}<_;v;O))J!6GQ8-i zD8CdCNs^Vg!C|6|ebBU=GCd$k=ei<2FSpFusJ0yA9{oDQgild;_0qQQUmwP>RWI1T zF}ve38N8vuCR|P%0k+Zy;~)tISW8PvDIj^8iLcL^UB))sulF&J{ePbhaQyr%t~9Q% zCl$A5qW^a3w<0D41`H`MLpVBc6Y2rJN~(k+V#&;Qip0wg**ysxWhM_JU(<;&{g+Fq z<53Cok#RD=82ve$@2Up=`T<2+%qO+q&`Sw1)T5_Jy0^tHzs4*3_-0Z4OM$VuI zZ{6<-CD}uIuRUqh{UG{>@azJ2Cq#k~&jmACH6VifT!Hs+Iq?WC!#_Qqg)I|#EA1WG zQZXQdbg3AuVwCuq9xt;Gl4id?hmSiaYtGYl*&VV}kl*kx*OS6=*AdIIo**d!uH$o5 zVswIkL9Bld(uJ*3+RacE_N4GD#xU&CsJroiS0aC1IB%sK`K}|*lNH92&%mEZQPHo3 zcn$QgNk*(d*i{#HDDQUj+YSp*VV!2o619IN!#Z`6kJBd@ZjJU=+8==fU{;>G?x08~ zrT;?^H(ZE1E=EGN4+rHw2A)h*WZ*NT{RH} z1Bchjq}J{IIe*#dbs4Vue#64D5mh|*Gg zrYx?%qS58miG&d_84Zz^X#~v)6#l+4CyX?R8!+z=U_{c?K>&_9D zXsEo}v9l-Q#}@dpsD$~6V;Yg84yvh%&Zq50bgBZCvYcXxH$0Nnwyoe5#N~~8{y>M| zITzhmF}DYwSS?!HUs~{T83SIu9hg(%^b}=8WJm_*_u@^EeooN_27JH|db@W6!07iE zG&}FQklI&b{d1!SAbs1gNA~#GF9FFf84rbI!&I((wwHn@YxaT!(f%aglIh1KHw?5CSvX?EOsTdk2UhPe+U9rIqZOHe!b73lJD=t<)W4~sMn)f zayN@KG$6cZwoyK>gy&E%BWjr+OpVbsWzZcEdn${OIAChEc~Bl&{vy&mAszb`PH%R`v*I z9YU^@3Fnymf%>>YLLBO~nvf_g17yHl@TKehSv}PSb2<~R@h*Y*caoXt;9G$+`0IxO zwUY0hRRQ6m*h5Q>PLyhJOpxp=ND5hv;V`+Z)g(hf6@ZejIv6HqQvY6z+o8jRZ=>xI zTFFSW!5)%xh&U|ECFV=Q6<~eoohSStZ_5jxtV$9K3Lg#_( z?ZML>%~j48=k6g#bdOT_%$L~-?9=bM`w}ugh;vishpcb2y zC@c|$+S4*aF^1Ae9#e2EF2z93VGG>h7TL7BaQY1la8Meowvj*x#@d_RUa8CI@S-r} z68*N_ngSV{!NkH52(9we(~Z}ORNND6^`8Ow=wNfJG3*8U`H3iG0i>}p*Uyglys?S- zx&LHut(TwYv0`Dx`ch|ri>s0AE7ASh6Zzth(_Z;#TIseD>~ajiK#DKkYx2X^;@M|m zgiP5Kd^u8ywa8VQcT*YO`l*xLb{nHQC)^mkmZH

tmMz$oaNNu}(#f%i`iX0#aC0u+%`L5f3%Lt_7}WC z^G8Dw(5cuO0L=WMk~Mt*6RR_LM#;Fb_@5F%!K;!q;}WF~hqHE8GgNO*wu^#7#%h7eve`kf^$m&XGzrRTGTj4mkC*y% zBUWaYN4!}de1ss)Y{NOrcz-+Z+V=V0bOs5Pl=^7VhHX(>;mWM&ZVpv}(MEK1jvh~K zs$0jJM9qr1uGh6`3$zzE$K@MF<`HmD_B`90FiY;EPX$UVhoWP*FZTYIa8im@?Lc^o z{F?}y@NsdMb)t12C(huvYM!_28EqQRh#nEj{r~zA7UECi6}P`4pner~@W$vom&<1} z{GQJpu8}j~uFV`AreIrqvi9vBU776ijb!ptC7j!>?Hx@HIclJ@92PZ-pDF7L;{l<; zYe?@bjPP{66=}94fb!)KT!gd64QH@{DAnz&dOQ;U_&5xgmb2Zv+lXClFGx~I7+jkC zK}yPR<9(BrPGKy&Dt&Y~u^7_{1(KH4&*rsB;?`)enXxgP)-i3@Gk7>jehtuG(bc;W z1Wt+@w!-`!TI{|?p#UKriZ{x3H`SlT%!Mp6s+iX7)r)ypm-}xq`1OMU?V4+z^0{}h z67i(uv(N(HptpFK1}Wh`7-O7o{tDkdp3r~)lK(+wf7kx?AFB^7(DeI%LV*DL&uIUN y7@)Vl{6B`d2j+hS@wXtPKVAQy0{Fi}VbF5i8pUM4eq4a}NkT+cxI$1r;Qs*knOvg) literal 0 HcmV?d00001 diff --git a/Assets/Logik-deduktion-2.png b/Assets/Logik-deduktion-2.png new file mode 100644 index 0000000000000000000000000000000000000000..1b989a46999873d1944d501909e0d7e37253357a GIT binary patch literal 31326 zcmb5WWn7fu);+8uAV?|QCEeX2-QC>{Lk}I&t#qe!cY}0y!vN9^(hdKcbI$Ym{k?q9 z8RwpRu50hL*IIjXjbRFM;)w7#@bBKeLzI*dQF`|dN)ULw^$7;}vkb~P3;64!laQp! zC*a5HlSwG>9NSq`!&w<*<_tD;G<|1o2eLJ#b24@`HMMiH06CvQb@IP^NAylo)orf=1aTS@t0_4%4`?(=?Mf8zYYx zMPm;ZD_Tk-7s^~pqV`*EmWjuZUt@tJrUruJx0mP0l`NNdg1h7Hr_FmMXrhWJLZ65O zQG`OV|8zs%|L5T+;$D+qA0__#n8{e;!#Ch{;8`-$xA$NFd-W(*>^r!(w|ycuLy+|Q z@9QWm!QTY`?{30hiT?X~ZzM6?&;NdiQUA~X@7sn+UiTmiR2lWb+t}DB6syc!#MIWZ zBu7 zvapLweY5Zvp-)Wy7nhgCm6aS|Eb^(fH91vP^plg5T_n*@wXq*1WK#eBHPF$~8O0AC za&vdzI6AUEWdvd;ll|w9AVg;s_;*Q8F0PHOt$?_=IN*leWwc}Xe#u;$o0|Z9h+9<4uVdUjJyG%Tqgq>Au}M*Z)l4Na=toy( zF^E2fNA|b3w>vmFrPbt{l$V#!&d*P;uC5ATU|@*p=%i!keKoQIk|TptuQe8qPP5qV z$zf`0`n*M>Ua?*2`%LrY%NMgqI}2P6yZ=1J#>Rd&#)%3}PR3#pBMU?^V*UsN^A#Ig zQcEj!Dypiqq9uIAt`(7ifq_Mgqwe+Pw)5$J!Z-1wMCf-3xb$R|0empt+S;0!vB2vS zO9&D^v$9Cf%+a-lQ~mbd-fc{=3N;BSX;^qTv#|*PDDshuossj)OBS4!YU6?UlOi=u zO-VaDdPGFTXX9G4F`>LEgyevr#WUX>?W@g9XQ+1%`n3#Y}j<>mAM)nsNVe430QgLx{1+br{uvsSp zsWv)%%Uug8t`t5#{^Nj_wzj0ad|^YweB>`|8cIsR(z)E3gNFeOS`9&G=Q>5WETG!8`CS;)o3#o&121qX33Dcn!Shy)sSBn{|gVBhgp!9XGL zWIxdX0p8!YU=amqp<4$6frQ4ynBN>PJsW#_dmk^?TMv)wdbAUit68&xfkbxq^yE8h zhw1~2lH50p4uzV%+6tCWLCgo1y1l(^|M!po3zN0AH7gEcPEL+lqzu3`&9wULRS0%_ z;~DYs@yQg~>x-Sf0?p0+QJzoF&tcKgiT!*+PvPGLyJ_3n+C!tF`sU{9eUAr&r%Otx zS;SnE)k?`27?1&{mr%r!k{`Z}ngR8G_waxdC7Zz9l+)5Fd7lQnSqBLT=^HsY4!(~SBbJ1u zB$Fpg;M$sAoz{t8KOcY>3sxK!G4kHox4@-9nCzj*+_)+1W%!#>V*$F({n?bu!{|fH^Se zv;spy#9uY^^$DqXl#3`i)|=r02yE}{U`OF=KHs}61pqlsp&%yC1a6z>xDR|JKt)kn z^70LBZM<(c?k6E30b<3bEFvVMdtoV;JZG@_x8ZD2ZYhVEMfBs+(vs2(Ie=w_`T6;8 zWMqhx8*BB}NlR+}+&nx}R`qC@n71)Yi;E~DkLKl$$I+52n7(AT1R_(A}XpdE~nkA7^?8@Xnda0X#`>(9#6r0Z50)? zDMg?>15q}siuNgg1O!x9S050T78Mb3a3mEJ6iCL1m(C$+y^yc22V$iIKsi<`(_qSu zHyDVG!GR{Ot7f54BSKItO_L zg~{LjB)!gWsc03A!1#iKVo)d330mg|;%f;4Wz}&G4-ZdT)w6PN+{UUKVmOAWF^6&6MHO{{iR!w*2WLjd*l?c{z1^+oY|% zJ*ppkyvS6%M{Qzi`YS67#EOBBFRKz?_5u_KBL)yD4Gk;+jnBpa1p=2SDl4;CIv}XM zU|?fYy=@r~Vk0Sy4zGJZa;TL?V2vLK4H$oBWXOL1?my+Gq7sisL;-C4U4oRTqvHii zsbHKkjJmdVgjy+^R1=_3p^=ez3YipvcZ2{_#iO923M(j}0JwNI7H5xtY58WG3&0^R zDM=joc}>pBB2-jVY-(wdySokoHZ2f9CRkit3|xYn@LM*XbO+Q4EKE{HW;9S=JM=*2 zD-jb}(VW#A_gb(74sog*7F}>?KELTFny;@ffERjt`e$QXTU!$o69q-4b65}Lgm-U6 z*aIL=274rlfv_%bTqLRMz?r+IriPN5`jD`;s)~r4J2f;k6t2AiK-vKv7gx&tqtgZZ(t7lN~3jf8PR*xK}XtT^JQ9K+2Po3dbiWfLI(I4ULZeuBfoa@zIlEw0V0i-D= z2<*)iunKQ`%f{{omI%lwqJa+1Z`? zIUT);UUXtWYY->STils7upy_btyEN0DL)bO0l79YH&@otfe4scT1o<}2Jj_$XXYE1 zPZ*R6wt~-g|M-V-p%&cuclV?P>*C^K@{t1X31ZWBh=T<~qTzZRuSWE)Q z#m;C7O9&vl%+~W|FV&}~cGJ_-G9DE|uCDCR(9mL@5dhe5qF|(@rT_1?#Kisp0nb{w zylNO45(fnZIlH>19&`Us9>nC{z)PpyVADPFmzkLvCcd+;w^!m#A3_!1c%7K|Jt1M% z3zMj#gsd!^CQBgjnE?APHiGnDlk@Y*0MqpEpM9K;aA?XKR>5uV zapD`U6fQ3A(AZc$fNbB+i2I==xArR`xI;B_%aDF;Q4w?*ggJ%E+Jt@|*1UmS3C_gmE-{7Z@7fh^Qzs5)vaw zCEc6l0hUL?#N_Y?l8~CpeX5#$bK?qlmnf+&AZKCIBGm@p2b=V?LsP`wN`j1>{3{BI zAE3K0X&7i|k)Fbqrlw?ojSdbDeqjQG!MVA)kyecWdxTB_D&eL{Yz$E*X26y#u zz;XfMMgdMA$RG^s>68U4R0U}uC-+-%Vqjv5+uK)71y4i4B1O6jAN(3C0(Smvtf!|Z zA}R{_0mIm2U_YZa(uuU#3NT5DiR`<~O~=PJZ@SzM;O>7ZV|q)OrJ9-=Ai8fY0c(f# zLIqR#hm)mR@i%iRBvS+c60lJY&d$e#)>c*|Kp#+2Qli+Yr=~XV_mL7{y`rKbhXLwd znQuT?E@I>2VAIFqVq=*P19lK#pa8RuhK_#y=Bfc-vGa}#=yu5Sl!{?&gBcU;>{V4& zw|94y^!3*Tc6WD!0U`t3RphU?)X!M31_lOV*;4W`6Gxf}TLJ|ERE@KX%XQ5C<73{G zg*{M5mZJcc%o_S4Fp(wv03Rrf&F38!jm=jd}1Y zSCa;I4D?OU#>B+LK;0OCKmx=}pMl0<2}atlrnVMv>I~c&r$rMJqoeTvvdG^mW?4c` zu7BOPV`{NNw^ghTK0Y&(U*tZ`+4rp_V*X zsaPtX1jr{)t#A>V|D_09z?z_Cyp1DU|`LZ<{|tH{(I@M3TNknI$3`2+yTVPYo1g{g+72m$D~1?(+gRP0?`P6(|* zAanVC0%~gNU@rht7@oJMqLmA`F`^F61B0EI=`AVZK!;lm z?sk;yp?DtL z|5RJ;f1Tce#TnMWyV23n_vWv?y}c;Kzjk4Tl7GCV8(S7zM@wrNkUhtnH;+4HWNj_& z<<&OjzZRbRGqWQk*Sp_I1!&VXH8sU_HvzT{1wQTDHrj}#C}_qRa~ zd8$|*@wacilwnjfG{U8G(?ByPz^-wxZDUiG{!AJO_a?~szkmOJZ)y+tIWc@Em=y!+ z|2Ub^uHoTufE(UBEmR^O+F4ox&O8n19bbGKYimgXq5kvdk7Sg3sBy|0Fv4SEC@3ih zErcxrZg^u5XJ`BUN#Z&!I$2rS=hxGXjqiY+aoQVa6CZpdlcuhbzc*LvG;h{cL&IXW zNjz@~820>UbHs0(10XPvD;g1bb3qv{q@{(^*Vp&Epa4nZIV>h7X^s$pnHee$j+BN* zvLek9;B;P|OWs%z0|SSTf}K4PFo{D*s-ecIZ|MW%21ntm{kL<#jd4(iK>cT&m7Ek5 z1PuoV_YoQzJL+tyHsoZb5tzvc1M7Wlii<;?nwk<@-3mn6q5#s@U}R+UAFu=i6{*Dk zc+8@tq+|gCoe|z%UyJ5V{RKQgv;v?7pA7byn~?eM4E`L-%g7)ALlr=?KcT*vTJ6Nd zM4-9cJUauicDSBsxgIYXvXYky0O2V30r(sMs}8QNr-as)mKzZa9R?Gbd}1+t)6FWM z47C7qwX_9hSy01&Jv=-n51gNU)r(aC2Y}qP1$1;m$-+WH-F{rfjg3if^P|p*RJMqs zBFeV5HgXeEd&w9W5CLlg3RTwVZT`~x7wA7lBqRo_VtxU^ z{co|q`E5Y{7cakj{rdIylPqvq{Kn2skXWAKe3_;&KRG+Q8ZZMS4}FWVG!WxS#l26T zKY!lb+Jr-b&)hD0Gc-AfjquxBTf!G zyZV6Lq`afkY5G}JRV5iM5t;%_7#(CZ+T57Bx}enEfki}XnFGc|NQND-6F^2_Sh;}l zVa=;}C>&5@oa8`skthRd8yd*@`7?otvWNn`w-ADDRhqN-vdNoceB0P&^52saStX^f z|0$gF^K%g~F(bgk_y2Dh0F_~4n$Hfg0=+2^Lty&VTP^>8v&KM1=qRy(`g%6t4Ie*# zw4dO+t+JY<{tu#LB!T{kR-@{z=K{up5tt0S<2+|3Q@NtMNU{JFr4-TnAm9HxbOi>m zKfiJUD1Hn6|F8LJ;x3Zl=)04U#fNj;wp(M21Uh`@x`s(B%wC72^*`n2WMB5}tWQ4; zRJ8u;&Jx%Qknc2;cmK?%i(f}g{}JDpm_yf{o(2k-Q04$ZXPQ(stJ+vazB2-ULBzLZ zWvdSW@$RkJ<0e&x{#ns8Jw+K9oz#(9Zai{3yUgO6T$D5SGh zTOjY1kifNJ%4uO1*d4lMcF=NspOl3c(0IAQ;;yB%@b7QHnNr858bSLx!shNW{!T(c z=31<7nf@(XN{I!1%f9ob_sRQx?y4a0>osrIY>?AV*6Uz`Vue|>3J{#ZYsH79&uwkB z0h2Qf+hxC@M{87}GLB#O2_etZ1Z|ZaF`f)sVpUtt(r8z#$M=aYxQ$BaZq(}Owdq9a zG}%eZtGM?QPM~Vz8!G~zZRE0azSRzPVlg=+A#~IN>xCoUnw($xN%~`=13?>hrKhhP z+F1%_3pN{h6HbaD;$N^iLmbv+tVg$w&T2Vl%>(xE%*zJu9eWN|I#XfZYf32fU%(u(_bz?g~JZPev;@Kk(HW16F-y?!s*9-Y~| zpO6ynF}{uiJF8MhXJ|K0Pj4SEMCmrsQd%>TwL~e*aQ!OjUjY?|Ypo73TuL*voFU}u zgUwgqzO%lcZ6J*k;-MSLyW{2svnskEY^@CyMOTjc)gOR0++<=`2<}m+7LK^g{&APO zz||P*T;udyKF1IlA~erpVs*?#u+j9)?N7y7o7e^X?AAbCDo;y=U8iL#VgxN`yZzs_ z^}iB#;oAHud(qzJLR{Yc-0WAP00ffUh3CW@EhQ)D3nAn`7OR#HjY zcCHs3E1VFi4zw<`WPK@Qxth{u!|9!0!e}pXHWvz8(*qtqPqDlG#r-O@s1WmJ7fs{6 z>ixaDsso{689hT=*oA#CEFWo#k;6r{*g_nx;T5zb*IVLjO0no$AH0mTKTD1c8{rYe1T1IDr_rh#DQ>qsy4^cJ@jXR?e zev{WDYk`>Q1p>LRi=QUmjJ~yp`Mv>%@*XY?FOnY9h!}@dJ~Q z?6x#nAgX@rgJK-!(U?TOW1n2Fl)Q*{|8y{Z17uh-np&k;o9PQ9b3&u=f&b}eH2fIzx>|01T5L?$K5dIT!e~i3eaJHl z%BZJH#3!>^YRiCO5d+G{xWKW0p*|`8tTV4EKPXJXAEB9Qdjg5fpn-!RpuPPljmqs2 z`=#E2P*0t&mv4`rY}S$&eCmv5ww+Ht zBkecms@B+GxsrzRy$p4Me8z2()86n1|?9xL~ph9_fL<+$HRgqxYlA5y{#R~8Au%oN%Je|Aq)b+Gos;%3|) z7qD2icN9->{gNVZk;V?%o@3PScnbq}`GeMO^o~zFD5)BWwqqaNu7g=L_D@(lkhmYL z8lLN-;2VkP!=nGJYXxx|qEpb`g&|KX59y^!{8Iq8iAhp16iQbA8D@Al5e;Rde@g)J zdSJ1!!3OOu zj^CHYzq?w$URx^HH8h^8*B7e^x94z1hl#pFUak_9%#7f{eQUQH)wpgZtVPy9U$J=T zao`xW6Z=TGJuGp#dP|tfR$Z$0<>f%$hT4v}e+3E|weg;Igs#U{4=b8reE(8lZ=Jz= z^k&nF8^OEIS@W-n#kOE02Lw&$&!|(?Ybwed;WJ2X zs*bTVR9(iZ_;uR8h@f3BXzv3dLPCnyirIgw| zPx5w)vAKV32!{jHmqqXDC|R~Wr|Kb8W@uqBDJ+NgC=a1;&-ikWlX{F^kTt{|0v<5! z9fY{Z#Gz*^Do=trex5J$rPo{`5b$92x1V`;sb^K1uNEG;zh(xRK$_D3X$x#;pDxI= zOe$9;5Dt$*)cRb|F*8p4D&z%-@;b1UInt@d82T(TksIjcCf6ifoH#r_!=~GoSJhPY z zlEIEZ*`!3+U%9=w&l)FtXwts#epZ_IdM4E`*B@v>B)rH%rE#;-WGyV4x>%WK&DUm+ zTQL2T9s*N>nKdR#Jm*z^NI(GvhWt7j!&kLy zWm~u@MkT)F87MqxNynePy5(+eZ5IdfUqww{t%zSaQ^IEP$yPUlmA~q*t_xJ0Su1xm z-|Ot;*sN{`^CpKQ4%o=%v_&YRY07%-hvc12s$ z5{3ygmB$gzRnlX9E8E=vajY8)7fv_blJ1lcfrC(A%DmRkM{aW~Wi6#%V;s9yvuMT& z!bCnfu)<_atG6rPFB~d}?tIPBX{zx0EBtVnaE%E~!#O|&KDnRcor^1f+Nsly2erC{ zH?L1|b3Ds(aT$dGe9nCFRlV6Xx4vY(%=j86>zD#Z=`M|B(uB}wPk1( zL|Us^PAKy?J$~JZJjzm-w~7)F#d4gd_HEwg-P!E){{6c?`7h6!W|7zRc}9a8riEOgUh&ycQNuOsV(eG5^g^+-Nk>t-%StfS<@1*@y3qiHJt~ zoru;V&TC?R&utYSZJqp@y57gS8O<{1*oR@?r5xpVP<6)!x|$#NL}dIy&9_{<50mbT zUUyix-)SbK4>2rVQ@}zE8jvaJ+Im1hXFl|I>I$VsbiDoFYyLRVB zT3NATbJ-07@kX0+OE6mpa$DXW;{ql@rIsUK-&ZMSC!ArdM$3-m4j5(l8Rw zEm?ZQB4S#4jN48r^*d)>J~WVA&v{dRQzQdCac?Nrqzi$`$;pD_M2t%y4>56kCQHNxrn3-7@c+S-~w5a{o&1M6L=NuJfuOX3=}wee!887>Bt zl-bM11Qp}8!E1MCHKEG#p*_!k!8VJD@(!1a3q7ebK1SBn1h0W2o0wRgs3jz^nk|zV z(LbD-9ZLtiqDbS1;Zs}C(Xxol5U+_^-?4s9`f{c-ego><-Mc7uc=xlf?7lY>47Kp_ zcxxS*Z)gF1E2Fi=g7)c$!0JEDjsy6ee)E?x7yr(TR+}mZSu>Xln=(g%zkN{&Az8~S z122TG8%UN@{!!GaCo_VkLeo*AUA!rfH^HGEt2J zt&}M#%Ejf1?cjz!GR7!3x3G*jVYCE14vvjwk(lZwHU-n|Y(Adtq|eJYzueyblUmkj z?LM%qq&4Y@i@7wbryHlx?ZKyk$wDeCFV{q2CR7E}Xe%@CD|#GQjhG3S@FbNnn>zu+ zBc%MoxEkkh~iJwe^@|zx;w)S^9kGGz7#|;~7p;m58l=S9UkBviq zGnfw~uEulI5izL={{d+$m9}fP(5C!cbDX|4sqsyBIYdmj-beJ{-J8I^aX6(PzZ!$qg?K{# zUjEEaAR{(>U*x%RZ)MKCdNsB3t52L~wP~|=ga3W#fk-M*WT=1UJT*J-E%%B?x#3c? zP7?1d`FC`UroWpxV!F zgJ?9{4oFTPw^nt0r9L{Hl=nLqR(@*?T;hl0hS6{o<5N2o7i{vE91 z1JUx6{mVrQ|GCS(YT%C6%yc^G7?Lhm;EFA&_c>BMOf2VA0YCh^VZ+(+2BF3KqOQq# zDPd#MYZ!a%KHK1qMDF2;TgR%t-{=z|*fya8#%!?q?opl$i^B!D1lupx<0M_4XzK|T zFo&+be_p*ce>_7t)v{`FI*AFa3=RDwYEk!{omG;QmzKoNkh2uso?M>BeBiy3ziw(2 zUQNw3CHV5z{!&X|i#FHmy6?f)Vev$=OQg1-H1v(=9zs0(H<38w=I{$ALh)s|0X;uX zb1vBK!!CWHYLe5KzwbpipZU*+lPF&M1wu}SHB9p~CdiDc)!+&!>Q-{RshPl3y<{0) zG`}FH0XUFSU0-rK^pYaGbTX>d5t=M9@ttrBB}v9{5Mymf##DXd>ks38w;l=0oVJz_ zy#Sgom(eveb3%w1iL8yTO8Np1+F)|_WgwJ99E!gRE>_Aah4?F7`wigT-o`o1!!CF_@g z0i(JD@RELF-IK!L9r>~qo#6Z^n$)-nBG;x{Nom|;+VbxQxjEJTvEbLSiNf^><2?T3 zf)K(NM}GCTG0CE?=@Ri)jiKtHI>G0JtmU+u<7$c`9l8ZpAr8@pX9rE;k( zMdUj6t>03{Nr-c-j_EpU6jj&N;OUZn6vl5BXzT826zEz|C0}~sj^t+Nb>VotRlV$v zXsod*g0l9_t1S+T2X*8Lf@0FnjMONQl@YR)42_Kgj2I_ZRD?};>^knpQ*rge*ryhV z0hTmERTrGsE7?48_zXnHX1)}dJ&F&l{|7pXObLcxGg*%}^hhu`k{{v+NF zy|KJHMFzgDhL(qsDcdjxe=rPuL)&-{hd}=xIyrxjg&#M+?=F4#joSG|DY(Wc&`BL^ zO+%&cBbzyn!IMRnUhCB)#E#D1&_EgfKJ}=mcx`A;U&Hb8sJh_(Yi~RenLX*$jI8Id zT0%1fyxN1o*-L|XDfPHT@N%-rsu284}1T~*@`@=agxi6FlM@vm)S~FUxDUTE5cV{G8Icl|PE!e@JL0fg&t0mbKBhyJVO z2xXDyFG`%mh2nUZf@VpTDgq_qj*b2$y=u~G&(OFdtZe8|_R$fkwKV*k2b;&OMdASR z%!V{H9@P}P^Gwxg<*#Nf&e zbt6SI@%?)QQD~Kk^Zv2EYf4z(8wYz|?0Q+Z!^;XQJfXPIm~;Uf z(Qe3Zlf--MA}MLIb`u-PASKoBaTUlPWy$gj=H%5PU?Dnak%WYN2{%3=}&?Ty7-Ta^|c5#C)Ht+MoaciN$@IG zRmx}<#YQW>dRvp|w@#@*rK16r{wJGbQb$!fX*gUD7SZ7s>3stgmUD)UhdFKpL1!Fi z8r4liUg_U7*ow`=i59M-xhSuPUfFcUiJ)o~ly_M0b@9!u8)j#W$1jBO}iP?SUA|JUCUk$GD63a9qea)$gQ@HT3g!$@~+(RES=@DxA zf>&Rm@bNgClG3}W+dc?~h9fX-NiKIz&HQ@hcC9v>+yduenGH8~N;&Bt4DnUt8W&V91Ipw=dE9DXDJt3ClQ6&85q z{8^oHXe_U!J*^{8HW8NNe0AcHGR1`%7_p1~gD7SeX47ni$gXg)@}#3H8bWdWMCv9! zb&LL7n@h}+FxsA1XHdMja@0E+!hnFUV&*+k z`udQZxK8t5|Y6| zr%s@wM`AZHe81)d$GNObYg;V}-S8fAwVkEOzsYkP_q#H%9{J^0W2^j57$(7PHzxz$ zfbwAF?9W0zLGeO@&k-8}ijB69(R9s^#oAslrCY)&0?Xc!E|xZH4VV#sOfamvIUkM< zhJaHA8r##-FBN#xCE}Vem30aZMS&L=7-h5}onwo-zsWB5PSD)MYqxt*B?;`Z7EP2| ziiRG4sb~451&q9OuT1C(A8QORD&{CH85kS;FHie(>2-+vhLaf>26VmZWIkOEP2Znj zeS@3)R8&@G9}`Jr@~tr$4SLzi;&A^1deb=ej?#t6WJeEaWx`jdi7lPxLENPC%*A4r zys@Pb|6C|m*INW#vjUpEw1xGZBO@ppP*Y~Dk#I8G@T-6Dan>DGE$q7JkVqhsFLGg) zEhCK@`QPQ_iRefhYO$G9Im=yz10VRBTg7$A=+B@}4`Pn&zC9G{77jWt^qoAfCLan1 zkymFLFVDA>gi|=Y(nZUoOBL}#`p+`rdb6t;$n#m7EsMWrMvIW%_YOl2KC`FEv$*brto9#D^CR-q(j3>-)}iaa z`Nyp4R+@P2N}eqAFM5$Tl(VsP+Kco1GK;a4xiJk%SD!ljzLCS`R!WfamAW~TK~`1c z6ES}2X^0vtZ%xKnuS|>+a{P1f;E0%L2|Q90mrofES}QSf^}e9j=g#WuLDm&p9`>+87zEUyp>2$9x2R6$c5n-MOnfXczr=y3rL=ooTE#PL5dCSkp#0;8 zT1t3FN_%|S#96Iv#w|(5?oD-2R3+~K= z#LMbj`Z0T^Jc5;u*}cQVJq1%^VM=bB4UBi1(v|a^mFDABIix)wT|io){szwuytW{# z|6aRTdpZJ-d9cbgIU=77IS;&m1fz+kS5kq~e%PM6TBNe)V^|DB&7yTpD$_ybVcw7kzSp0F*KHAUFR z!pBkQI_sb^S$^ky*I^Q>oMlmVaB1B%I%&h^WNlh5FI&pmLt}{L*tyt>|(Q+{pF1B#)lQYr}eE$ z<;C+(4w8V1Bw;FR_a|g^#{+J@g^p+JEZ%e2*y9$-l{nePj+otv*Y0+0?%;Jo7Hp*F z!GSc@bo(32yB5yqVyG1mHvC1=KkZ>vFrNHeFj%vdENi(!|CH~DhqG#jkD%#T=k%o` zLiy!|9RzV8S9B7a>bMBq%)0aOB$G=uwGet12g8n&MXL@eE~@SQj8*2`ymXHb7iKNt zm1r_zyKMQa@p_7Bf$Pf!2091bH4MGxGY>nD8)*b{zHZzJzCqDn%I4KN`r2Lo@w7MY z8GlSElCy)C-0A)IAY;myqlJb&(oeSHW3Mk`lj2}g_N>=O{uldOU#_ZS%lXc85^y>* zZ0UoSlC;M`(a=U8#d_`^t1`qP@!XK-2}nO()^3i#S(cZZGJ=}%DiNbpK7*drq>ZNv z_1yl;(<%B*d_%OrJ85~j=4-PG-2>4vT>10LsA9B+)W^6|M%>TVHct$jL%w>#I_IsB za~=4x=hvd_E7qT#8(em+$IJxfoM8*>KEu9t0#IOGDk`po?7E*13$SjL{qRoffv3wg zzbcn=oA0h9%vw`-pYv!d(UKOWo3?Z)e4ehPJBEw0p9gC!J-Je>U%SvT*Lp`1aO`{y z5#@DS(*G#h@^h6@nSM?~)?xxl(kgcKWU*aomsEXA>~+swPm?nnA4C=_XQ&i6#~csZ zW9TYy#C_Fm4LKymFKJDqTzMgmfq0>U+x4Zc@EI;1@;c4$)2SS{kQiB2lxs*6+PF%a z4u9vxYsUlz!1|c4jyNTSOg6lT5-i=6p5=cR2Sp`TW_4yAf$ll(r8AATRx0f$4%Reg zttGh@#pT-*_g-6q+rrXYc}m4OK$@Jt z?yfK#ab*|>n#k-=Y!@8u+!*xvUwyr*xFVL}#{CNupcw01wZ0T=Bb2k7BjCAkMyHpTj`HAejdJc!WjdbAjcBkQuS1(Id;6RtHygp$%6a&!!~ z^tU!01(kB1d4eEGeEqmd4^hoSewJ4?)+2UWr1WM7Hkj!$=QlaC*>ny4w<_i&nCqf4 zz2LUnmmbKS2~-wF3;-X08x>2-n4<~t%@{C03?}?@wV@rQnXn))H>6 zqQ-u@Oy&-oFoa3PwHg{`=%d>p|9T>Go;C3SH->TC>%#cMSN*Nm%(i6Itjws=TEqrw z{6vDBZ|PoS6YDrp5jc!j4(9^;h38!%?ysqrln4k!Pd9sRL>8O76%QQ1ScoBfU#=}? z0TkIczKqsbREV6GeA#>hVXet}_M=#T_&Vk#Fdma(9E*D$pwt_wbiUJ>@VLI1J6i|* zvH%)UbvXF(^>523N4WWhX z)n(=(!rZX7`M5Hz3MG9^KBf0V^)qDI*GJXeBTvopXgcc9os2;z_oK%m6=yGHqi<$$ zJclc#uC1>4>rAow)dN!ycT-2e@Pp^L0xJQ%)V3~&az%IKmNjs#(?|sg-laY?i z44(5ThTv@fF0y?}kQOLaYfoWd(|I>~L5<2XC*Ea>wr42P-~rdnd;f=Cl{tf|?&U{CuNX;P^}5 z0%~c@vt{_Yd)Vy=_te1pc*a1hfh|`s$Io_H@cZde_!gjf}Z2bK}#JLem|7ci1iXt{q%kRP1E{yS^k)Gy9gz`^;P2zD!!=qmN5Verut z5x?yP^{0Q58ycu(<@Ix)buzH)E;B{*pozJV|)bmh_CpntVo)+U93gKo*Cw&rK>jfo0t4zehxsJJz zp6V!q6e*YI$)|tdZg+$XhXU68jAq;Z4sg?@G`m|k;bP5XdKM&>DJzSl?}T=1X-a#wfLAW9ES#7|;#tqO zYgW;!-j*W!W+_@Fo?qE#&32`XfW;}BSk_PFj#-#v&N7)o-?0lxWo$D5JZa2gis z@k6tkh!X{b%t1;2t*|Y17%tf_raq?JhR9Odi8 zW5H|wDVkU^MIpF@>wa=%rY7LdpL5etRBf=sh8gF!%hQ(R!}eu>XOnrZrH>%064@t{ zzDYr1s!J&~b)~Ck2%-pQsF%8a-qa8IE`!p!lkVH+=p;@oR>GH*;ZBEzhAU)jR7EI! z;JU|gb}6ZerT#+toRY{c!pPyT*4yiaGtD58f|`_%s8a$sZ?KjcOUDV|+n zJ(tlp(GnykUkeID5qe7e;GMsH2IA5=I~MSjLF9s8bC0NZ8s7|7)mzkly_m=H=31a% zxO`bAEIQt2el+}5;WeKba?OsUn&a_mE3PQ`$*7W{3ee zCWd14U`@Yc(2i6^X7l2ulDGP9wk~CXpOR=dR$9`&?s0v($%=jN^%P+jdidJI|D6SxsZ$r|n%@i#ldPcCb#Mar&#NIK*3W`nC)vKdor-6& zdbkjdzrt3q+5N)2Vsz!HKC`xWji657w2x-Swe(zh(dB}!p4sZxuJ0peW&C-SwA_c@ zEuu8{$-a(r8DiS=^f>=Zk?T8|s~mwFH}_`IyrSN^pmxZCIsMyN)|s>qDsu|O+)qen z8y>Sx)38Mvx736*G)-H_D95&uG*xq@6@S70u>A+A8~wwz-df5 z{~NOw7r$W)`6NY*Ki50wr)et(T#s~Wp3BD1D;&TY zF|0pOfv>~nwC16sLC?}R@kBbF9s0|=Z?z(gdu;N4z{7)Km;a|dmQdKyt*USH`|cZv z_gFXPB}ZV}O7C&oVLaxl&u~`T?t$|D%E8WeTa}%yIWJ7NpIH|jnyc9BVxN3X-xph6 z;F58n909kh%_1nEoQyq@djB9--TZ;yz6SVT9g<(1ClL)SBc3VcCr|Ho>DH)`cgATp ztLyQ-JnRMb;Kys1`%3jOrl+~i3qPp7KD}q?c!0_J&GDDjlO5@X-PniD+L~t8>hu0V zo;+|49yof9zPj2O|5MX112K{p>X7*8B<9X&4O_=49X2|^rBs!x`mm-pbo?<^-Z9mJ z{h1xdxDVIuCP;oT9ZXi~eGiq^sWb7~2wvY%R9k`?=wyjYkvxlv6{E}v)D!VQMNg<; zeUF<v)yQMav&Cl zN_}!>{Qs)^=Kr{Yw(q8CoThE8O&Z(grm=0?w$s?o1`QiDw%ypaZEozm+xva+H$1=Y z=j_a!Yi6#QGxLRa=-%j3Ri@ZVY!}1iD|t*9Wx7&2do>UkP(3p+$s74&A)+^4tr;1kZHnRJB($Dooa^V69du-4*|2WiZ|hV%k+ zKbpN>fHu%cg7>K0ot(+CFYb+pkNrO#xo{vOD;V`V+)w*~Z^z-9P4cnc3MvAh;i#{4 z?P`A-!j)rYK9P^7ew~Yeh;~5e-KLkDUH`w#-50Zu#vF>qG|#YO`Sp<+#YZDzZtUGX zd$4XUD$wURd|{8Z>^0}dXVSMW1FZ?3Z*=GQ{qlg-HQu1jPGjR^)y7G(8h#$Rj03?o z|5IN0_NgB#>`11i2&HSVni$+NeIX)oWcGq#zhq$^9yWLKKbFSl)~H4*I4-pvYN5E| z4($N6sSIvc{Mecz!`&Wg%+Bt$hsG+2q=snG(f19jQ@h4KyJ4+u+;c*NO^Q(Yb?H0R z=<0E)hSlCu!IUCXOv&C(@ReOghgh2-9Z6m-CpLN5>zjyHoj?g!vZTbf#6L&!ra=BA z_V_*%c1>r^&z5Ydr}CZ^YT^d|2(=neYFOIN7@hkN@)eQr*a4w1Uo;{*2@cMZiI?;$ zEaq$KNLcti+I|^B&zQX21SG&)qnODAL%&gX#QPKwDJdC^8Ynlnq6^oX6;sY3Eu`dW z%*g@5UMNZo*BLPgeN=v!F-$IK*o^neb8w;)0s(BS`lHWd90u;KCB}&>sZr`inuhm! zt!r4fgdv}u7aGI24T6YBqp5V7+U+ls%}uKAi4gLI;H>xgZ{bf?P$XEWN>n3^%Ts+) z4@8F8N>5&S3&{?e`Df;$ZXDI;t!Ku&7|9k@6_QJi;$wpaIg^M`{-2tgcNFJrAk-po z>!o}^y`}QLGV1gxWdRHZnLoxzV?2vKah?$GTkXUj)~-M?CTXXi^;!(^AhpL}?>8Wl z8T;#C%r(Ly9EyqjNk1#44V9oQ%2Klk`VzX}3-qPETjizd+|s`^y(|dRVp?Z@8hl(6 zpCP42rO3V36l8XXiCNy!T|R?3J*A>|hxeQMr@{^_cq_3~-C@r)>(;fevuBIpu5>BBX`}MsL@7%jb3inADWIwbSM9|GVFw~n(XZphT-6gRGA5Yr4FtVxgJ;e zUlKmrQ}ra$5D?W_;Y3u54S^(Cd>@kOfM-6`$(m;%nnUZgfA64PWob@`hu{WM{o zH_sHnM-Xib$Visk6M2p?sA9ty2OLDXkY++AVsTuPBf?1LQ?;`&wx`V_c{iI+KO?#0 zXFXfa?tF4+@D3W>F?T>j@NHs#<%djOrm0yor;YMoGR1I9A|~8iP5FGWF-09CwD2BAVf1d($`a6ReGKN`Rk=c z+TdOE0IeGV0*{w(=T-puIXZN*8hy@=coRK4P7-WqFWBpY8a?j_}vAYo&JiO^t+k8UHd3NA!~soy0~FLjnhsl zC5H8CE`ih`20Qo#dbJ;deOW-+vSd^Z%)lA}u9tQ9z4@&lua$m(AN)_%?i$zn+hEfR%(Wv4pi}0CE~Vc zivd+31fXd}$Tqr2eBL_7ZeyevpU@Tn3{dSW({gcj>6^e{uF%^$H4(yKtw~nonsM50 zuX9uF*$0(L)+wYY<*aV_nrs}oZ$o=BRhiKcpMcsVRFaewP_bf8H$z9F-LHy&%)V=x z7XK){?wzZN_qY3L4f9 z;|5={7cTa>Uhuqx<1O@*qxzjCULv~x8{+X4^hc7lie2I!f@GZNUnAv0xDAIfv z)S`47)0akKm_1yvW{-b0UKB98Ql$IwjNEFY?JvIe;zS5=jkZ)`Ig&4;*$7y{-d+eA zSDAtH)aQj=tvAMwnvexUHzeLM<3A1Qh9DY}-)?)LoOX!Tis=?uRPSlqq)IQ57MgLj zxor1ao2gZQuVCuw7oDN43IZS;6&quqCs1VLY<>Sc02~WMa=Y9DV|YKDC?_K$|6M9J z?W?%?e8GI3cZ)x9-Ceb*(N9lx4xLZt`9j0XRtGm0c|u}>ufLMDlOc7z(;x;r`A0*& zpj;cm;17#XbPsPgOOTinWvWqtgNVFi-Qd zYOTS&!#M2vI39`TBz>D>^4D1rNmE{M;TOmJb)B}gq976Ud3@yXfkiihj8?ZCDTxJy z0Y$~7moWs~JA65Hcl~fc&TgIKmy|1&{-F8%)_IjqfO=H0)4KDdjqz6n`b8pGcF7kuw{AANC>g=no^_9>( zQL;~SmQIRJ)9aSR>QXfq|8!vKchzas1WqUFbXhl--w(Olu2*ObwO)PHG4A!oha^Vk zG@b9qM0aKli|JELq^Tif0LO$onvu?x9*F}jY+w_#!spV7VkCaza6*%e`16IgwpkUH=e5O0^Un(U4|XxTiKEV$HX9!$E#Xy5m!$MXtV ztlZsleN1vYyVaQo2iv;I$bPMpjUJ~?S5&zjwT^CF^sO@^jBTYP)!zDieFkJeGG&!@Jyqp72Z%B6b#*x-f~nqu zwn}!fMAFUu-h3`;vFItL3JuizIv%5kNHLeITiE}kc@e0&`VK6N%-2$keH3|IRCbL( zjNY7&S~2aMm~GWU``+^fB!+v7NyXpv&B9(>JGvW_PrP!^6b{ zc@@l?&Civp)xEbl6OoUNyh~P?uwnRhYhQXB#d`qmqI|zjqsz9&hyzE#qAY(oo#kz& zk9Ve00bJ|c4Ng*y(f&Eux^{Ux9rv&k+SYokMxVcD$aG*R@3ENx5R56kOYNp|? zTF!D(rGari09EpnxGd(iy-%X!mg@}*DV!f#Ir;sj%p%-xAMf_jsB_=`tV^&GJCB0h zM{F!Tq^a1EY)n|(G~`l%Qv z<7vpd(6&6uRK)J4U((sl0tCOUrl@=K1u0C78Gz5GKDF}rZ_#daT$0AdtoJvi99)S{ z{CRj!>)Y4a>NUY2GPu3GrdnZA$B^BV8qo5byh*vme>tP%TMnLHuH9ajl2jyyO@tw1 zMFzHppTI(=!J>I)BH@;X3#KE~ONK6&@)O+#kUctlN--z*@r##GSwjhRDA?;Eth(MR zu@yU0(I2EBAxqC$kM6SkYd%O^FCJK$&O%L=&6|jZTaQy;NEqFHEOn)nx!dQsJ|Cym z)^<7lt2s46IJp|WJ`%+&9Ttm%j=dBy(~ble&TC5n@a9fUxa@K&IvX>GzwQ;Ll-X^e zX5cUqvh|`n?|Va_N5F>0x5c&YRe%+rrFoiGZLRmhZzt#Z^DK6Je-Etlj#hihMMe4t zvV{yMUeN^KV`83gBgP1 z2Zk@y9)9h_=T$YXl4^axmddN%{vcq7l@jv=Ky|+Ds;%ZhF&YRc5gl2+4QFoAf$nSH zAsIdht)$|b@6@(G*D{%=i;tN2c>ubQrJ(8ucIedI>g)wGxKfH$U~shzy=SwjEWLK2 zn@s9_p|*Q*-nYBx^dt6}z%_XckOR#fM3Lzlakl;NaB=@qu=83;1=LOSSq_ykMqW{GDI>$tJV(JjA+}^#d)bc_Uldk!DvST5|Z!4#X9h3km^*P_oQt zzpVUT?Vm{pJsPc0b@BC6R-Q>e)-p+Mzh#3kE;_$P#G@R zQMoK}D`gK~8b9YR|NV};HXR&-kh0WlKvHP^b51~X-$ZtgE!V3FIb987<)|{1--zHu z3Ge!lW`dcM`_n|H?P>I>^uj)rJAu~7G6|RzlQPG+_CO!^wwo7xUAaxfCi9(7EZRg} z9Tw=<9AtM-pci$34%^qt`Ts>5aD+lUoK7EQmumcNW&uNxGs0GJI{ zP$DpE+TcoV=S<|7CnR|^-4WY&a4pvxuOZxlKc7u+g}ckwb>RDf#n1+QGW9o0aJbJY zL!!>8#WQ|4=wva^j!5u|P@#uQ|4Ur(ZtcKQ-7$qMH^*)=N_$hgh{Ur%9p}-i!#%4J ztvCr4UCO616%_5u%`B#Gpbce(vRT58&65rK_k)RaW=4{L{lAV^9><0i|F%7Aco{S#u4Pz9A~U_!iWP;24OFdTP~RDQyq zl9PB8OOP&q7l6GeQC;VfU50L&TZ68g_T#geYk6-(TaH5> zyrV^pdw(hvYDM#4Jxu9(mf9ON&_CH}^6J=2ho**dx-*dN>eN+=AjISH$7=_bxK=WD zy$?ohLGa3nMSNnEl%31JG|l&>xzj-8RbEgzZCLJS6qPoQUmV}SjQwXj+0gOE$)_Pr+(RvQRt>H#f{W&_CaqFgH((`{R`pvid0IjV1tB=25iw3Z-oGHf7zcuY(3%)p7Od zHZrC8S4P(f18>iRtO;$sF7`z8j2IVcdbn5XTbp796?5EHuT^_;u>nFm>K!swUx(D6wrl2?OF64^alB7_ebXD; zly&Qe0_EwiHF3WBFcTYV;mJCoOjb*ncixZFGGstXF4Fu|#+9~kb9KpTc_CPw1=KL5 zw#y1aX&*ZTV!>H>%pSsLzh6@&y|2K|+WmtBccNtUcD%Q5G8W&V0V?$8%J@*fp_)8F zj#t0-sH;`YScBew@9>%d;GrU0wGmP$?J zd_RzFQL7nFI82>N2F8iwvbBJ%|A@k9)+4%{i`)TtdX{pNqmJonfw`_lH=hO-%}FUn zekz;=r}%M3k0=ic5b+QNM;_E1vRaVJxJ)aQG2=+&mMsm0!x4HWPp0S zHAAUyiS)HeN7V$}y}g8jqSmB5&h|u35eUXkq_D1!Q*DF1)_0AIn9_Pzy(5&Nf|9QI z$C@!GmS)U`EU|x-9=fu|v&}++5z!?eJMB^OF85+1u zDVdXRe_RHm=ZB@OBPC&O80)yLNDaQ_nJh42{6R2B=BhEY`pjn6-tzNISIEO-2z4EQ zBT-a$kLUM5lAeIBEIql*2mh|m2<3Xo*%P9}%~tt)#Ye2iuHAd`-xZ{kJ+Y*B@ zStnxKK>N3nI1WyX*J*?rmrHKiVc7i{2ZW~fEZKf_D9RGDr2Itj?)7N098YuVO5uDS zKlui(Eat1fG~UJ}^y~!{5h2#pHap(&a{W@|uYWAg2ds_C9cUN(oxqd3-aAS|lJk`z zmnT!`$Gq<7i68Wvn-eQs&T9fEts#@O4xDo)3G4XJERk3hJId{?sju6{A&r;q#Z7zp zE`p^qhHkgLGYeSncqp=#0_8CEu=mM2IINDyZfr#;p(F?jOw>TAtGnO2!tO&S((fsA zL2ST4?>q#GOaczQjbYm?N}1O`!gEdo<(jXaQz`LAAv3^1rWs)Wu9I~J zPeO9E*33oU=iW5HRSn9Yzef|zJnE4puSR9kRSGhe9O0V3!%oX+GB_QxW@nYJq*|n@ zi1)UAlYKhE^G$tHnQcDWnA{42Y6r5mjIUtE$66W-}>tx&fc+ zklqe31d{Mkr>)&vDVuo6>^HT4Fkz()ao_PFt^1_dF>5heJke$y6Q0K{5t2Ql4$QX= zolc^`EPrE=NeFB^qChs zoxXwSsbm@2KQr1ksrUIiqMRG96nnq4+#3lDc)rux!qn%hED)?}R>tl23Rf7TZxGfN z>TRYJWM6I707#oX^=nhBej!4!94%DXUma@Hyi4#%{@(3%@O;G^ebWCTxe)rW+4oI& zcDn1+d;GP=y`Wqh$7s%V*@XnV)Ttvn9I{X=>Xh$?Sbna6!4n?!dTXSGsQ1_FUyh2L zHCrsEqwc{X#baq5?l^?99iie%mR_wn~EO@tI-q`X1FdGc| zd-0LRsc&90b@^Fa8`Bu2YbL0-Dn;rN{HVYHQ^H|7f=RS|;%QA4EIU7ZKm=O_)1wy(?$y5o=6FjUgK zJ)OYRuE3dfzX%A4C`|*c5ve=h)%H8ofTX4_v{H6K5(&P-bpBPfn}&FW}DjtM$yaiU0jCNf3&W-fpC6rbdG?&X=`o99v)h zCi4$wz}%M4#-pWQrsyy4(FZtBxz?%NQ@(Wg`TwTSnr;};H|1YdVNX=WI3Pz(?+m%D z*Sp-?Hp8x!k8Nz_;ZDab_rpH3>r8R$ZzP`Fx!2kbbkgg2I3KWfx4~WU{^dB(qjb3P zhlyV$?E_iX&W#7l`8PTXREM4!&tYlEQm|s!x1P@<)OutAJ|S0~NFU8jBDQuVF)io# zJ>`>jv&G_Ug%^?1{>)zNhj~&I=p>pFZP%1YtpK%+7OO-e_D*_=G!^H z4xeC0T#ZDM^{>YftQ)LyUz_}TfB8Iez~AMyB!W%%h|cvmQ|AOUt@IAAkb!onw8djd zgh1CSzUs7Vg-6^}rXJi_3`3xuIR-bewC{H$Ml z?hk86WyfG-p0`_Cq*j~Fa8ui)mOafE5^50z<5cBY-*7mM##`RIKbhEz?OYhuzqouR zEZMUs`pYi@qr%Gg*9ge2d0RWZ!x5a^w!8<7yldQ1puI~L;BhaXkth2#>hNmgNEbYB zw4B2}2M(uZSY|rV8%T1#r;C}tZK9&)W*Z$;a2)PcIP@wv7J(v~Tp!dLY@>(_=bdgC z3O+RynWFfPCT-v{S-8tB2hIN_n$0J9sd}Xi-U2k`sY$h!w(x8~mT3_&g3$TzGLb`|AO+tQ`cFlKF z_PE?U3a`FT%R)~uxwht$!QZ~b9IPWs`sVx$V#ULRY%1k5Lq5xp>hKNqf94TKL?rXv z)VV1Mf!e)LKGbP*aCM_!S@=BP)AGe9s5)9l9-!4rb5dbYJA@tEB(ZOe>`_e0$yQK6 z3S=7xB|1C=!)zUEw3oyuYrMuFXEA0?xqN?wVkur2zwBwTA${V=*#ih2YM~jXEW@;m zaT%(GqiK4!0GVUXZMoH-2_g+68Al|WB>zdla^xN2hKs)I#frmd^=%{K3%eJjLFytLeQ+VxK;;r@cxn;yH)we zs;`*YY6k1&8uweKov32YuoB#cf#8eNkpxbvwd+TrfRYxfcarS7IwyR7+}OlyLb~O~ z-=I8L{!qSo@2K2kW>g;ac|Ck zz;V!(SasHb^C8%o5-nvfh+?R4bDH?La^AED8i8W;-Fs@yka!pw`FdDk3So4*F!y=A ziYDuL2PYQ3!R>ftjMrMi;j+EefWRy@8iJQ=Jmtuyu*Z_)P$TxBg9Z7spJh%R4bCUA z`GL8-kn{IqsZlOtimW|#?QiE<9jwuo+f56qT)$mW{;oMEVXQE4p1Vk)F2%EVjhoYf z%a*a8pS!Md6(PFk!p%n(e7m~j(oL}_a~AJ%vh>YZm5xKl5v6jU3=B}pJoBe_&H*wT zvbS8#K0JjbFInY<9;M_>Mao~D!dNi5v}KbL$$uuVg@9MD?+4$qaVhObX-1n1>7v_B z-sS33(#6(;N3`pjHc!{W;6wZA0rXkrIFoEiMnJnQW0e7V8?Ga-; zVPeSmtq)=X#s-}r>{5AZ^LiH(9xm=mA3*N>Tc2l+ZV>s`6w(fYQe=dUvFVGxKl6%J zEX6q~1b@waV#2_*=X>LBjzBSU(>sRaVRyAyTeAS(pgd*1Mto^7;kv1R7sU{F7yfEl zk7y|8IB#4~;#9LN34xwiA{ZGE;aD80-_UbD!zxTn)hcN+cx!z=nBu3NpYV$GGfQFG zk^h^JKKLbYO$sQYRW35;N&ViC{I>cF_J_NbioWEQU~WK$J49D>F1ENREGkKvmK&l$ z-oKOsQgM`^8c)cid;`q$AXRbFazchqEoy;z4V!GKAscanHCMv zyq7nq5FPW@4+k~<70jw6$alAb1s_L?NehOKgNKRxh=PkStQT!WM@390%^jRv3MFGY zRPX_NU#(xSqIu*k7Wn7*xA~Z( zDG5>A@^>w*;eaGz8t`kb&zRlSBy6dnYBbAJrT;|OLNu#jGcqzJPo#dmRvFc%F=?Ss z7Ac%K7vK|{^(CeE&(*4lQ!}f18#a;|0@$Dux}E5aNc6w=cJP@Hy>sa#u)#C__R+ z;WD{hav@s2WZJ)BK`6uAj>*}*!JqAz?!tpJhAU53PJSehdj|P95LP>_+Xv7*&P5nG zB{*sKUO?2c`yoa%jM&Kk5M!3@5F-=M+hY-9V~GLgBo8El0Q7`C$XHBT}h zAmJtQ_JB#9d12tb)1(O)6ZT(=Txnm7b1Lrka!+fCm>ZY0NOZKi%)a z`|#q{#P>$`oP8!HuTpk2K0<^C0|S5QBHA7HRZy9ubAaB>jc>6`KDb(nY42O72f@xC zpTN5*J5Jtf_JGpwt~iKMlo1f7#4WE%5t*|JMEoPDh%DoF{Nc&dzfbUoF24u+a7S5A zuKLv=?;9OMd&jrNV!dipO|v%q)u4AqY({l-bQ{Lc?b^PTB@l0wT+OMI8%U*AM2{XG zyQ(6mHJAxro@5MdO^AgQomknlv z6O7HGBwo$wd6Ez6zH#z?-!i;&$sEU$Q#H7PUPRrIXrSK27u{j3|MU$qfkT|>=^x-= za@la0%<|)`U7b&B3`RQ!L)`ec4(M4l-kj&ifFG#BEzqeDS&_*E3zKnjB#BuB1ZPpX z-Q13YS$pNUqNm~{6-z!EptLz*?#0#n0rWBuwvKLh;OPe7vkX}hUAN6#TON|mpe(Th zc-94xDii!VN*xwHz_j&*mofZ9uqumba&R062X9UwjQ+d$q5gXQ7q5XTyA8VZ;X$3x z^p!Ebs-~YFhSAi~c0$$_Hra;%#}w>LhnkbOB%-(^uERo2^$G^Om1vOa&gD>5%RjiE zC6XLN8!_IuVh)G-xZYr^$FKWGIaq3x!$bNP$$AoJEFdO@y&>PfnsMWADWa2=(qH8L zwb00Ixq7Av$kw{0@ngf^UuVzQGmnbq2Av!KHS(Omoz+$vtvx(7LwLMz??+SKzCOD2 zqsHk{Q(~!4ma%u_RX!d&BffE06BI4wiO@$e@K`-Y)Vx*12FS8md^8Q;+7WUz&QLF6wE?k*vseUuwcV?wAul^HZZO~6t8?mtFp%JFyrj|z-BG8LhgB0 zli1{Zp0J~DSDAFuuYcbpzT_pCpT&K8FRqE?E!LVcTlR&xG zhB~`_L4Tq&Br^uc761dSe>LxvGfAY<-=}mpHRS!^>YE|6w0cIsp_i0X1}pQsk_IVM ziIQ}N9&e`D0b$PDYvuK=Tl#~;3IPgWtuKIn$@}4wbbSp?OjQM>|Lr|4>+es-mO7iD z1kli9DmMMHq@QxIyz*gPR~_CB=NC5yBlsz=ZI&yR?J`$%5vqX{02$;X#MJMnQfCcI z2Yf4kMCdbzSYG@M#9O3<0^sZW+u3FV8+j=M=#X)Z5~U;i>%%g#XTpFdsC>14c`4A< z?oD;P>2^TvSh7Ef^%>gubZMmeBa-CehjWWUA)1pq>S$5{myqz(N4YD>H=9up3u-qp zxSj2r0WtZ#A2<18I6H(Rxgsacamj&s=X|+_TnknL*SdV+4aRZ4`|z#XXE7cI^+;LK zPmD*PfujSx+oAq~@)b_2YN7P5DBEI?OuitzLiAB!K=|=W=%&SVo><3PIzf zF7H#nvTf<{VnKe5%Lvhx4Li0w*4mm&ja&h$#7AW@W1I8=t+c>YmJXiZ>rb7r{D-dy z@Xm#o58q^W_my@JiD`2Uo7i#;ob_z&3Q5@B7`6Pk6im#hm2s|#Fe~4p1x3UP;mD^Y zD4zZPWeFz);-33!7Bdl4N5WTc_ zmv8qnr?N$jQeZ!4E7&7QZk`iu=9$3lFXD+&c@%HI? zMB~*sbhG(F?Auil@0FR4@Mc{_;2vG&KHT40h81cd%oHb=dOt$|DO$uHckx85D3=K> z*KEJge8+g0ZoU>@cgZa;r=5R36bu3itU&+R&C5U+9u!kwr+-{{=b3zPr$Y zCqz2E+osoP^JL=T$r})+lWbL%$`*U(F<$2l=KCYkoSO(C+a~Hc(3$bnWeO?09%@gQ z#jpjET>rT~rbm0#eGD@53fif3b7v6|nR%LNd-fU4;zGV)0bX_SNO5V(r>CG%s=Ia$ zL))F@SM4Y_cr(X*jb2@c)Gs>qG~G1PKAOoFk%N@(aX-eunW2|%loBp=oo(3vCo=Wo zIgF6NDl}5nFok3grBw5L+CMVL1wV3JBlLEV*>v=SfZ6H$$UkB)cp-7YF?H4%`*+DdHpa}xTx%--S3 z4Wpb&d;$vLF;nvEOLA4e+N^Ab{hayZYR%Ci+}o|{0gCC?aKeh|z+#Yc*6%ukC)x`$ z6Ywm>wa3$~euuBer*AFGZfXW_kS#x38j)L&W4$0UIIbEo5_+>n5-IpMNxuDCDydBf3?DPF zJY1~k8~LxfYX@$>PbvR6Ew8Xfd!~dg2X7a^R-EaBzhIvG z6%qLB+NwN}KoT5K!(2UbDF#5+Vc~^)m?0%=`SQekm!)ccN4s+(WMPbBA}9|}B#gm` zznuv=@Qw^LeH!)1wrFI1vb(ybI6y%@#Fc2jp`(3dO0GNII0@3(aKUy_R%&ZE`6>sm z0I|ohtd1O@MXYC;U{Ld!<*jKT=#zrwX>h}A(iiq|8Mp&!6Ad7$i;@~ANMLcIne7mvX z(4z5$`xD$2Njol)FwS6kZUb|#z5H4Ld)D}&)FaJ-v6+6Y#*a#|g5<`33j6~Rj}B;J zwT?`W&Zg!Q`n-~pgCk_Xldn>~gL!Hb`=8*3*9nP)m&ENFlWY3$$vQk( zKRZ7u&I_f7^ZBG@5C@CO5Kr-p5dCvV#TRexe)CD8q^=RXp}T>%@3|FiNBhiK`oW4o z49n+-bxPMN>iSo^Vnga6N)kvkiz7oPHqi(|M75@g1Ax1PrVIX`kV{mNPY7aCyr>o+ zhBRL>hJO9f)P!PB2dG?QvQDNj+ZRqlQL}>aG}I@vhh8 zK2S2SB-uhF-@EOE23%|;lx z>&2E@^(a?LMuQrvMW~8%vx_w4n#j`_n^s8vO88WS+2Vfq@zyrGYn6zr?Rp;fj$+s7 zk>%H}_SOP}sl&?OA@2jW5QcerBhyN8?_tiXf7ThwtTGeDqkd1Wn)vF&Qow-(RsGis zASS7U`|S!Z*B00OvFPO;g_OthRz(nv8W*OXfPpPO4e%+VeP{_C)Nrl^PxJwlOWB7~ z7ltb-u~`bY{+In;u=ht&`rS_^i&1f&n?(OhoE z#JU~4eZT5osoH$wS+-5Zbeo#7e;^CZ`;9|+*PoQ^ z?4+Q-P=$OCqRb=}sF%5mmG)qd3EjvPudDQ;BCGmmLITMkTE=TiHcs1=;4#e^`O?H) z$O89o_H@R5DoW;ZJ0<=`M>2VwpH=^#r@#7s3tu^8g;)`I2Bb?@H)^Dw*ua`8uq>EM6rXEBET zFMnYLGsx-8fB*WAfbyS*XL0_=U-gqamPVd^aJ4#JO4iiWUgoA^_RFId}fP;f)g8iODLxFu0c=7GQHb`!g z3R-Bej~|-V7ubIicNsl*O(z?7FLPIGI9o@j&(?3A{+^FUY=wA>U|$tkm)ltO6-!)~?$%iHc}FwYs!< zjxIDBz=5dYuAg}7vouD6vZt+$*IqZrOF~Wt6GZS_>i_bF&RKwb?TbPh z8qJsZ_)_o7-SqKYTJbGsf&H0M?BRGSId%LLI<0umlcn=*h^j`H&$Uv3&CW>5r`7h9 zrzbxGI?Xgj<;=-KIqbvvTGQig?fBK!V2=7c2KrJVybQn(q@-is)34z z;`H?NLZdA>q5+W+rwqlk5xqx$!Y2Y(K=}ftX)!|H$0v-?u| z9Wv})`(qwvi2>}xDkV&)fP8Z|`5t7eGA9I0GC4x?#YYw`6|lSBYDI`4IU{W&LScxS zS;~`+ta)IKZH7zR#a!!6yKvigYb4qanQ|5lq2pw_-8U#s!!2hrxlX7dRJ)K9q3_s=p(t%6}o|YSp{>7+|REmXJ7(awg?{Q#?YnG zn7>$$=+m@|EMc@B#iE0!*&)kS ztm>WA|J+*nF}3qGzvyV2SVbn%JD@YH$g0)$8$|Wy@!TKo;(~roXi-7%X!!^%KF`-@ z`gL^1#gSfo1%EpP_=d}p^4%)NH1jTN1p6dkM!|b<4_@F(C?BtqMolP%h96a@6A+%TZ$ejhqxrz& z{vd*yNDCSMe6--6@f9~&H0NNL@j~&CZ)7Vx7^~9k@91VMl~xoU=F?tA0wFX`j=r`V zZy@8ry31|)ox(Bz>n7l@ct{ei3X?o*Pf=WYZ`x%xdq`eQwfwNR`qNZ@Af;@cn*N6; zR=cO%K(vuWXm+6`_^n5!*N<(+A3vVrJieToX5d|4zk&oL8OZV?R5UFG$&MJf+n`~O zjDib|s;~cy=jybUq*44TC#rIaR0D;q*VgnR9$DURIXsKUiWPqgvLB`PsqOx#cH^!? zPTu>`ei^`~tov6ZEM0GsI~(fH=3+2xEMoh`>S$~7vmeHR$LQTIZN^zIJu217%&C6@ zE-r*Y_u4hVN5?p(f~Wh@>$yRsfiWVl7Tr}M9H7TTM*0`7d;l7CgON%}I?|XyW!V>r zImDX2EEvM#&zeA7Fc4v%_$g3p`mI>Rl{{4xRGDx^d@)7hAaRUc;qIg7G4!z1>kuUN z#{s@=<8!pq) z!GCf0jaO(N9!}W(2n&n|XW7Kn+@O+Dn%03`q}JyU4JVsy{WIN}3-?@-!IqZ&J@eTx zSA?PJ;G^FMQfl9|b}7k5|7FZkOwCGh9U5VmUgVTirSlc*NglvHvGcaI=%|P|Ns*UT z7nf(_1&m7NSJ9PU6oyxdU*R#W0?NPXH*MUw-Q775;LkKQba>@*P-K8FT_6Z{ow0x}7v;d4VE$Hc5}#AwH#|rqMrz z2dwX+$czRwEu{3)3(QuDeCD6qn*Rt33IQ_61QFBgBX6{=s^zn(|9(<;43FJi3mSKQ zRj6knI8F`vaC0`4PVCyReK=wqO%Aqd2wkPB<^=gxc!R*VA{o<#UO zoj$D_QcfbTkWuX?Vz)*b~vst+ebC=QV0k_o=Q=UNQ zd|5-!$BtRmDll08>mM(ddbC}SIJ5oz5prGgZzWCge4@yr!!nRc514;@$ju*XPkEVH zXar?68X*+Z*EEciK8=Eq4ZVSe&UZ|iwT{^TGLN_s-q8Say3l$k*Ian`4;`I1pIhyB z<2EI8LiWJ#Sag3XT+5oBlwNs#)C)qn`F_i#gTGnl0%W*8Dt3tF@=WWK!*3m{x zWE-Aj`q&^A3SX!7VLrE=Em$!v--1omq7hKzncp361!4F{0j{W-;PA3rE66|d&+;=m z=-_Y#;JsVkT~!w`WX*a#RvsP`4LjtvY$vWXyPjz#;V-Mul{-JSrmxH;>f~mP=oAWQ zNKvK~;U4S=(ZCmQH7YoOi*)$7BO*iPDx~VO%G0#86qFZBD>!C=JidmQVfb*lIJ5Y$ zm(?^Xm|sgelTruN5i`s>N2~x_^CJ$j>d%`@e%8Xcf1zdMzvqxRxhuQ+ETt%rMQ=Z= z)Fso&AffAu@Uxa+gs#%^zQH2_eFUkq1HsV`@cQ+Hyb}9nuVBULjSq3kC4QsX z0lEjVP`mqOK7OUuiQD8yt#{v-0vKVY&+e90)*kb>Ns^PDAF7J}R(k$Ca|Ex+db#!^ z0l3XY#5p54m+q!oIysr?%w`E&KO_HipNMZ^XuO!@${ksf`y%eX!x1i1cbKt+L8kw; zC)4}ImstmzxrgKw7e_Oo8v~xBC0a^R`!Cq6(p?TS)?W`Su9%qMARAWCuI}kXmQ{mn zoM!u2cFib7sHPs@@pULj6(6fqp9*0qz#eja;=pYI_K5$!QJjhtC(A z(3YG}{yldgu0oshJ@}bd9vh1hcS{ATumsrvJvXd$eTNrcBZm80`7W7=%Yw|PqYZ2< zvMjjv*hn;C?SHsVGBc=$L`GE$P4Al%ShyPLNqY-2hmJC~$A2m5HSKUs`v#ZmGYm~# z)g?@x0R&R&wAv&fPG9A5w@uY%|ALTFj$AL3k{Z6G5}e(j*tP9k;JyD`e*Ex^Njdtw z)DyivI7qAaYV~#qqsC`3D)Sc(G&;_veRy!AjKIvoRTECNXUl5zF|8Y0qd%&Lz~HL! zF(thhdmHIPGtN>?u<=f*o@qp^_p6SFoy z_Z`R`pVlJ|&{Eh>nfH0$k?PY)hr($W;p7I)Lx*x+$MaV@(BJJl-e%RTgx^JGBUwo& zZ)PCZ`}wFQptEZAemR-60sNc|eCgpz^oT^cl>ar~y~?b@nQlxnyTSeb?m5I*Cx<2} zg%j-oE1r>G3^ejaGw0LNb$mWPa)5Z5T5T4^#M;LaswXKGIE18c19svt6zWB6 zEP@gM_c^r#$y&)~pg=+-Um5XmH9t9If|0xrSOY9-m(W0#!WU0PuHsrCpu@dbQQXDc08j1<2tCz%S`^M>6So|xQR z3qM%3hYCf#5Vg-k;c>|lsJ}sP8&64UE#CNn13d`cqtHya;pLHeuv{+dO2JnfI@N_N z?_cKn2^2>28t=|)G?ORJYA3r?zJ-Z((cE*a*>R<`z0akIp)Ri{ej;L_Ic1Iv^iJdp z@2TJ4cg~exs`Ah(?hiC*)pWgV$vAch%v3CY!TYW%4~OCvIpYEENo={4_6c|4>!0(6sGjfqwU7fB2!$_04OA>c$-+HOE5aPx7I&g_p6KYmtL}_dr_2Q#y(tHqX6IJsvNC+->C&9HVhq#l{yl zJ^0Bl=maWIkJnL)OC>;99?+GWL1F)rFuQ9eh1)o`jogJB5l#D3XMiJK%H;W|Fs5R> zyBg;aljrk2BWB7rt++- zSIgCIijH?QF;1sK%7gCD5#>NzhE748X~(wC^p*6gt2WkL{rAEN_Otm2*eo=+)a$Rm zccNjFDp8V)m7zKm96Jf2g^uxsBa1 zPRZ|pD6NqPb`ivsM4+}?z~+7}r@Cqh*xiocA|vn7P zgV`SnrD?lf#`x{7Kz|{f5W}J%nfK!Su$B}B{o2NES@_7+qJuget1j{?Q$Is{ME3o8 zuHy&H1SOeL+~E1AKR(9jisHyFrQ4Z#jf>A(v?>*l-}>qH}}42ab9VHT*{!8bzD{sB#a z7dPmyOM*uz49yN%S(}B{k5yeGkjN&k1SSCI+yX35saCsSj|=Pi#{E0_Tvem3xl14P z6J;~aR$EijWg&VsM%_o}cRNn`6L9i9fUvp8JtD?G7O329Dz?AWe?9K;pK)l=&^`wG z-5T0jaI8=c$0QFAt!!C>UydDCJhlnLdK6hc_pd+-)qOp$x-v7yXOP z?QfF#kX<6Tcc~f|E+lzUG(ur94w~Phxg|aQ4O_a}Ft!RG)n!?V1prDjK^#rjzVedpS4l)M3Tdbxqg0x8LQc%mb2z= z{2LVs)fI#r4i6`w|HlRpBm{kO^?EVxKyCF z862J-Fic#jJqqah}{B*Ysq<#kXqpd~o8e(voSH<xytTwgXUXsMuxFlj50ed%1C zUCW)ex%#uFlk5c;r8Oy(xgo()U0rY$GIsK7zj~Pv*cC^m+|N*^E6&>PC^Km69<_qMOux0r{)Zx zBAWEa$A2d=Z{bRZbUx)zLNzsBCUK8&uzeU?>-`$f@6O4{&xpU9o%vyY23?CS>9M4E zTiE{A92n!1%lmtTf?$##i^qw1P1ePy&&t}sN|$l=WXPWNBZcxt{z5C=wdLAtqp-*G z@t~_t_L%7VMBNE?^>z>w?LUhX>q^x%1j!c^jqlmBA7`mtbuJ+R3YSPrY|oC%LO8qx(og~6BL5#!Hc}_Lz-;c z3)ylXdq-b$Yv_CTSfv!cYVWfoSar3n;0y-GUNVd4`KEOs?x&oO9K59C$Ww{_G4Z!L z##KT6Nwhr(_Isr$CtjtdHf(=E7WAZ7fS-okp#tQ?;=6;C-ZDX;(uJ~LGq^2LqHzV* zfkbp+`Q`%=>B?y}g&82m2rLRk2M1OSTi-1(B=xPKMzL$kXuxiw93>4aD=_P=v#GLn zrOsPgIy%mKHyR}6EI#X{CVK($+!BLgxiSH!a+ocXp4^1sm1r0*_LNFZwZ{+R!r1;- zE=+-Xe0lKTYKDQ9(u^mgMj%gGJvk`X7P&@HgweeH_*jp{`olz*n`X9cKNSE?P=Q53 zMWy8P@^^fEd^?J`39bwfC`Txz`wT8~gwIP&Q$qN)csQ;IF!qgH*fX}Xvv-wz z+=?d=0&&wnV2+lQlthq=BM0aS0%%|-cYi8jPqebOaXDV#ZfJONLk;?qkd{VNH{sX& z^MHz7t(q)M<|DF>;rEOjDTx{lfv*8#cN>WDaUC4r zI8H`%^QQ~&+I@FC73vH(Is17@Xp3 z!k@3#0o%Hmq=g=As!`sqnfj@T*!Kh3$tgs+H zuimh!$@YxjQ{Xs~ZU@ZU+A7o(#JT}ZB-p@)ph5tSJ(#lCk-~;{6w2rI@>orYO{O?f zDsL&ejwXly+2CL&Y%P5M1M@r{V*~;9ZxGS0w3|@L{sCREqVskn3JQ@0-@vL@oAi5k zdh$EXqc71z7^bTn-WD$GED~z4a*@uB2hHTK9p<^^RfdE);Zw#snB@8xazMrjh5@*j< z8AKMc{L9NR8@ss?*!dmBHsc-4HCcSs=YiTQUx-{6WX zFNhTN_O2U+q5ACHKjbm>eNc3t;S&c?N(FZBbVx>lqOlb4x9b~?qs%mQd+=aSPYf-d z5^|GRm;<5TxUx1&$jrCZ^3W6k;qjC>og(iuo16>TbpNBDIl>n)T2>G&|NQbg@6@DE zqe+TC4aegBrVz^$z5btzeLFY^j_uI*kf+>fRbDko`VK0>m6j&41KA;WeGEYoV*E%l zrywYv;@qI7B>ky4JJ`wvv2aKWStf}I;w=E7&<85PnpZIC-ckhM2G(K z?hkC}n&*4Jm{S5q)MXnU)$wvlr6Cm3kK8GQ|86hWjBfyQeqdh!ydhhoMeh}%DCVa& zd2nKVVNMv#RJ5Z`f$i31#W&^qHSKvTqFUnQb+q*bo{Cf0g;ejZaJ@hf{QgF z2cc$4RVDTJ!V%db1-Rr!X2k)qN-%UIWj3CSBecp9vK9B@PZ|*)cJ14{d$;#Wfc*P7 zSV1#HQcbWe2~#-RJ$Dc3F^hetLe(SO#i!Tjwr{;7*fasSPdCEyn1Gb-TYZ7$KQlNh$@Th~i^Hh$p)o>4#?TOcKzuT(l8zNfT=nfFpD zlE&q^Sb?)&dF9YH^opXAAXOQyU|<}cwycOA+{jtw_v&}v(JHU^${m}B)bn)Mcs5JR zq}$*c1Nj@1oog!*=fma3^~qravVf5I!A__f7JE}ihV~j;7#?ZvzlfsgTpF4{_Bc%b zh&A(DwNE{Sq*SASNR=jl=jkHmc1ttrm>gPBt~C%?y>5H2z~yF$7Hrmyl}<6ybsbmIpW-BOw;W z;yY%s`Ffxzzi`G9o42nUG6GGh@}5wbM=mCSWL<`2^5T3atxkj+Ox_1_@TBcvz=~73fu>e`w+t`k^gn?mYkYwjyDz*W~8_1sGG*M}p29 z+3#B~oA`uF?COe#V5<{`qdoGEq&6`BTL#P0ic3;hzPq2mSKbD#F2BY7&|l)u#YY+N z07c!q#aa|hVmP9>(l5E==x`b8J*KI9VWl$e?U{1pRgWKW_Vh>dZ~)|SRJ0hFPqpH# zwaS$mcj7S>Oc>T#_Ef5D^U{A>J*|*IhNp&9Lv03{g`R@p|JmWr6YStD7FUJB;_z zcm}zNnjVP}yJ1@Mh{Hq?h(U=$CLV#1GKd5_+O&58P=ldJ*WgNjsUr+_OT_+XCMrx& z%FGRsE|gYp2Or2%DTP*BeL~5k!v>SIw)e>mJ$@gSWDj4L zSPE2g)#RnTVBg8B*-o?*o_F82sSIupy)6T9NO)(Au|vmpu+|J}>~x^TYG<8bG&(HO`xuxYbCrv1xk zob~mQNjYV;Xrke0Db#{>xP?c5=#AwxX?gGCdf!6S7tS8m^M=eO_j&i=&8(+|tfM)S?|uA5o_p5NI3v9B3f7rHP=T zqOl}@_k#SlwJY{_0T{DXlZIauKqKl4jSZYnK*-@G~@?QSS80XX|x2xt9GkZV%5lFD}W@8CN)O_#MgI5Zj@ z$%G2#q6Yy+?L^!nX>co!25VdX_5(BXiF4o%*hl;cna0}8ubPmM@E?57RuQkN#K)sS zdTY>>Z}T-XeM}~1WYhWVazY%EnkpOgWFJFMOB;fMNs2>CYOp;~oSZG_79kahwRv{i z{cMefiCL^aW2058ZhWNHsnYvTK|o!HHZ~;$6BP6e|HGHT9REO!S-#RgEJVDI`wvv1 zwEy@&yUs`GK{D!fi(0F1Oz>d!NsYjpX`9A^yQ^l!CChp}uB`F2oToi!0R*3bH?53= z2Gzeu*H8;TCueJnLN}eAH+tchTAZjR1CeNumcM^4gcWys>@w?okpq1&X~gJh&nx95 zL}DGhh3Rv(F98PMF^Kb8kKpf)Wk|t_r|87;QDy$sAInZX$}xm8PS)R;fqDKnBoxA) z^qickJNvUzXni*)%WWs$mpg?FSJ^Tk1Dn)zbaWd#TI8En*4BxMiEk!dMT!8W>MSSOysBqSv8oJ^)xP!nTAT^X%nmy{bn?GqDfuHTQ+^TAc? zYxKNZpX%ee;l0AYn>+nrGppI}*qHs1D!&s}yuHwKyI<#{tN+u#n@?e0>rCB@bu0PI z8U>_!wO?03fTS80d3M#80B29KVW*eIVGqq#Qo4lRcQG=-&q7GXlwXruDpn_k=cuj% z#kC3ighs~@Z!u}uW*SXx)HZ9Im<0xA+p&WOCy-MDljh`pUq(G+>-e@REq4v)Lpkr+ z{p(P~O^^0&;d^OlOyM^(vZv|BkB^MgzCXI|*A1?d!(QH%H7f9kIR4K1_oCp&Kv` zxnQaQ;1U{?n>1fpxbkwF^U|<;@A6G<%NhrARGG|WN8AZ1Nq%+hJr%|18aw-a4_|uU#l%RI z^d>5X*v(aFfw$A!VqGo$=aQ5Zn9(S$2)Je!)eQDc^usCirwg4HKY%TXxRlpP# zDT=cPzF!k&g^v13l2{%M<=Ywk05I2W>G9P)nURu=cHcT|p`U-N4}(7GYQ(usv8_FO z!J?~=L}&k^|DY?LJN|;v$ho%7jEsH4!_D{tnnY*iW{ib*QLj2K@}N(X>V3~$XU_2B zN12bcc53Y`O$~PW`zpMUh}G&x?oA z1%69qd{z!c8=U$!GUB|ombZi!?4A{+V5#D^iroi$;6wuohZl%{cjtT1!y%B)MVNL+ z2zk7Vk-RnrI6%fj=v+jSJB?>BMvOF_ZMxe@W_l7a6byd-fN1vBYzk`t@fN|(IPrS{ zFM3tj{BO^a8bEk3w367%m2g307MuE%xZ?#3DRsN4oK5LK(r{jnWE@hF z-$<!ouQEZwY$}JfiAu7@Vb+V~BG17WI@(Cu)p67=#VHp%S2QK)BpFR# zxC1A&<vA19I^>u6Pkg)&q@Y+Zs%m?O?bcP^IAEg$opV{fSBZSpDg#|Hs zm_5ptnNAGPvx;S&hUtG5A*7=Ci<^uMC}$98?pIuFc)){XwH6J6galVxLRjU^_6qt$ z%7nR}2M{~Pf5Z!JjpT=<$F^JVa|=ZfaNb{J5KO)!?|wz#XcSK)wBulM1~|M-y=hWf z+J<0M=(KK}B0ms9vf%f0E`LRN_3nleRS;#HKbk&+nNNM)r&2mFZUgKrrpu5Vmuo|( zK$uVfcJc5&F=5YcsI4wqYa7k+D!lcm&+AjMG?6R9{JT&Yxh=c2rp3yT3LUw#OLDgN zl}DzajS7itW&Md{$V@&L)R*a(@KCO}&xPGuOZ#~G%h!z>RZuKNVCrvE;*i7lBANHA zop%^nAZJ57y$;aK0Ych9W!88~YQ=Wr_JZ>m^QVeyjN+Uc3KE(-%W|=gpfsuc$=4MJ z^8WsWpZwHKItME0z6tSISVf=vYWGE9#n&_gbLl-ho$}dEwf0kBd>w9*E>m)V)VDVm z^tBV5J83OYq!uIOQ6kAtRbB{J@a@p-6|IsWnPJ&8_vs-GYqfe0WK`X-yPR|mE9VQ> zKdR%b#waOX>0K|(jQkptp79w|coVLd{3HSQY~Ywqp@J()((!M)GSHZ9$q%E<3w5N2 z2c>t$`0Wt94-7y(KlWb?Ww>hml4p+>IQ=7FK`u;UKSzesUt z=X#2J?C7t=<@=0{??ZLAsL5=5jSHPojyp&-q_a<3h4y)^-FhJoI4ld|Gm6a>FUu)x zq~W>chUozotoV#Z_gmg__uIF*D|xSwJp7&*)gyn#p*Z2uoII44{OtEqU`xGsjlTGW zfGp+762U41;QNnvVgj569|ikh&ExYoB3Z3}8$uk&-`<%QyvB}rM}H{LJ(OJ&6Fj;I z8M%k}2VVWDkrc1yHhv><=_;UTK{0({iEf$QjaydwANIhUGc{WtLAHF}HXlWg|LG7D1IDPst7B*#T?@!&j zC!tOk#{cJA#`@fk*FY8k-ijKP*h)c1223vDw2h=jD0~?gUtrm<_`y|Kv@f_V7&gWn zT^js6w+mLx0+{zq_jmDYO@O=DgPx`}Tbn;Wk^a6&4}7-0g2^V@zs6es&a$aX&sXLJ z2a;)>t*2!iI^f#4lzpIaQ;92-w4$dgT`S!T02$C7WOnCN>?k*Zp5tW0ZP8L=4=fy4 zofsWKz;G-))W4cehyknW<0DxEmgV4-lr&1iqQg-%zhF~q6%HiRRQn$DW1QvijfzD~$Cvc2u}JseWi_ii@Sl7qeUTcW|?o zV5bj6--QKbXPN0xEo_SOeiJQG+uZCbuR6)TGKFanS;Oji%}0a-n3#=675aYsYT!Qy zUm}}z^|$2X`Ea=MIB5p~E3EOW(y^-z2;RbUft5;Xh`y4aHUNj@JL%*vtdPU*m-W~K z$uNMcQ<%4?x$Si?TM`koNCSV0jOZ_Q(Q}~j_bP;RE;2^tb2f>C@4H227QSsdO>7lx zUI(H3^}SKalU;?#keaz8_<8ApClcq?>%mG2J@(1!%1ViDQS>;}A@Y3uk#iNWE#tiZ z$+Z4eI2zve8pb947m~9Nq<5wVJ3aWUE3e+9N*zQ}AjbwEO+ZcMqxi<#o-&C84V8=6 z!6tkVO)e#9B3uPuX8O{)@|6ghCEMFc;_S~oxGjsezc$zW-Qf?0z~*|$2yJq?hlz!T zRm-R?jPYu9P-|4CF6l=+5IW^Ff`?_>Jjtg6=eUMNN+4qg&d|80D4zeLkr?7UeETCW zOZtMri_X$}(~Y+D75V*UY4atE4zEzntV)NzZyCgP{yql+fO1+ljyLwT3UZl$t3fU%6NKG~PB+0x z)-R-w)=oLe0ZIfm9GAQj#(0Py2?xINgPE?s8*GN}nX7U3;A+tl5bL%GYtjj&nf!au z@0g-r`u6?S_&Zv|c(0QCut9$LSfsX-o#r6p&G#h_dy8>jN3A^pg2i8qJBFPxGIFyXM+TQr-7wZ3bWBD|(Mc<*cDLSz~Xiql|>k8vpJ%JTaR&C(*xh!(nbu4>1$KVL_@V}qW^%pFY^w2ga0 zV48|Y8KI9R3U6P^vP)Ze%kC7+=5@d7XbK8)HP-i2h|Ig^p8jx$e@=Gcx{WJDh^8KW5DzLFeJi4*guu{Fwjq3ks_SdjZU5>0_N6@~9E+eJ3#O!fV*ufKZ)w*>iWAvLg%g0oT^Q1|Cd9`qgKje2G_d zi9!_fY3XQvxrM($d@K+?1XUxmA0v{{X?6Z(_~|iiz9(pNtyHLyIWpcj2@fIc`#IH) zlYHpfU~Voo*x_BXh;T~OBWl*`8tz53=pyhA9p3R1+$iA(NQoU!&ZMm+{ff zyFcs%890kMZ5}39{<<~tAhQlq!s{^Q=H^O?9YOEiP<)&2l-;EpX>=e3mo*@kw6HB- z>+>7Fv8q~keonp|OvcL0G>)WTHvBdHB6SoGV|Mlo)bY%An`4J?oXG8gO9pJVwE}Cy_yhq)@ z-G&O|+lB>${%rUkf~{nF!nhIhQ$nEJ>+8O7Tbz^N;?+k=sj+ ztriakMt+wg{Go~Omb!&8^PL=3CP>PpN3azxEa*mcpsa6l?6x`0EqSZD>;?4oSm!Bx z)xq2e>+*4+oq64qZ61nln51`Zz}jEX7@n_!%*YYZnwW_;vR6G25$=()G<{zYmH9iJ zBPJ~I$hZ*9mxW#HCgs1-3N&b%+^cYoLC*ETjld4tO%&@GBVpyHub{d-a-Yphhr=;* zLW%JmAf*Db4oj3)D~u5*sCak5WEfk{{mI2#>?$4-_g8WFX67C{kKi^a#&h%mLPV{0 zdPA>@c>%UcfD)ZvGjWYWSuHGe*$L;F*Yd?`{+6cQwuvfR%gS6^xa910HqsB;W)sa$ zo7C}5KfW&`XQF7y+gg<%(Ng}sNi-L}ki%syh(S?Pk?;3g5m;AOa`Ei$C}NxjYk+Y3 zRrhZrdjh*MBvxl}QpY1Bgot1op^b1XuA)5M4zNP9?I$g4!nuR|DcD>_t7{2j@HcZ4 z09P*O)t+5NvWy)-B($BXQ!d}DFm-m3M+}wg(BCR3xmbg+CyUSD8N=Y|$QKVFo{evL zjF(3;o8<)&ciS6;+(0Z@EY~@xq5@w*Y}7F{hIA>PEy8fTW=k6?XU5jL`Gqf?;}q zVBpsgnR=^(;I7ZL(K?S%x{IL&r4NpM%T{cBq-ns-{$ycE`&A72&$Q-TmlL#&iHWdk zv8sIl0WesKlEQ#nbMpXG0pz#t9#AMCTKk~~7k5oRn3?(P!0qI{pu$Gon63OS$DMh6 zi%O;7RyT41{U7K+5!?i&xa5AqCDEk0!`Q-lt$1ia;b_0gaWY20V5;nXY1Vx+2<@rmg*sGHUiFcUh^CmHpFd5r zRKDk#JnBXQ_+{?E1 z!(xMVxn?Pr^@x#AK|{x9qziwzFHuniMuMkty|A~mV6-nvH#HmtgoqgWq4$5KhW}rz d@%AemTX_*da`9yp?0q^o1sN6T8cDN|{{aXxO(y^V literal 0 HcmV?d00001 diff --git a/Logik und Logikprogrammierung.md b/Logik und Logikprogrammierung.md index 519571f..bcffbe5 100644 --- a/Logik und Logikprogrammierung.md +++ b/Logik und Logikprogrammierung.md @@ -488,7 +488,7 @@ Beispiel 1. Sei $\leq$ übliche Ordnung auf $\mathbb{R}$und $W\subseteq\mathbb{R}$. Dann ist $(W,\leq)$ partiell geordnete Menge. 2. Sei $X$ eine Menge und $W\subseteq P(X)$. Dann ist $(W,\subseteq)$ partiell geordnete Menge. 3. Sei $W=P(\sum ∗)$ und $\leq_p$ die Relation „es gibt Polynomialzeitreduktion“ (vgl. „Automaten, Sprachen und Komplexität“). Diese Relation ist reflexiv, transitiv, aber nicht -antisymmetrisch (denn $3-SAT\leq_p HC$ und $HC\leq_p 3-SAT$). +antisymmetrisch (denn $3-SAT\leq_p HC$ und $HC\leq_p_3-SAT$). > Definition: Sei $(W,\leq)$ partiell geordnete Menge, $M\subseteq W$ und $a\in W$. - a ist obere Schranke von $M$, wenn $m\leq a$ für alle $m\in M$ gilt. @@ -843,3 +843,297 @@ Beweis: - $\Rightarrow$ Wir erhalten die folgende Deduktion: $\frac{\bot}{\lnot\varphi}$ - $\Rightarrow$ $\Delta\vdash\lnot\varphi\Rightarrow\lnot\varphi\in\Delta$ (nach Lemma 1) +## Erfüllbare Mengen + +> Definition +> +> Sei $\Gamma$ eine Menge von Formeln. $\Gamma$ heißt erfüllbar, wenn es eine passende B-Belegung $B$ gibt mit $B(\gamma) = 1_B$ für alle $\gamma\in\Gamma$. + +Bemerkung +- Die Erfüllbarkeit einer endlichen Menge $\Gamma$ ist entscheidbar: + - Berechne Menge $V$ von in $\Gamma$ vorkommenden atomaren Formeln + - Probiere alle B-Belegungen $B:V\rightarrow B$ durch +- Die Erfüllbarkeit einer endlichen Menge $\Gamma$ ist NP-vollständig (Satz von Cook) + +> Satz +> Sei $\Delta$ eine maximal konsistente Menge von Formeln. Dann ist $\Delta$ erfüllbar. + +Beweis: Definiere eine B-Belegung $B$ mittels $B(p_i) = \begin{cases} 1_B \quad\text{ falls } p_i\in\Delta \\ 0_B \quad\text{ sonst. } \end{cases}$ +Wir zeigen für alle Formeln $\varphi: B(\varphi) = 1_B \Leftarrow\Rightarrow\varphi\in\Delta$ (*) + +Der Beweis erfolgt per Induktion über die Länge von $\varphi$. + +1. I.A.: hat $\varphi$ die Länge 1, so ist $\varphi$ atomare Formel. Hier gilt (*) nach Konstruktion von $B$. +2. I.V.: Gelte (*) für alle Formeln der Länge $1$. $\Rightarrow$ Es gibt Formeln $\alpha$ und $\beta$ der Länge$ Lemma +> +> Sei $\Gamma$ eine Menge von Formeln und $\varphi$ eine Formel. Dann gilt $\Gamma\not\Vdash_B\varphi\Leftarrow\Rightarrow\Gamma\cup\{\lnot \varphi\}$ erfüllbar. + +Beweis: $\Gamma\not\Vdash_B\varphi$ +$\Leftarrow\Rightarrow$ es gibt passende B-Belegung $B$ mit $inf\{B(\gamma)|\gamma\in\Gamma\} \not\leq_B B(\varphi)$ +$\Leftarrow\Rightarrow$ es gibt passende B-Belegung $B$ mit $inf\{B(\gamma)|\gamma\in\Gamma\}= 1_B$ und $B(\varphi)=0_B$ +$\Leftarrow\Rightarrow$ es gibt passende B-Belegung $B$ mit $B(\gamma) = 1_B$ für alle $\gamma\in\Gamma$ und $B(\lnot\varphi) = 1_B$ +$\Leftarrow\Rightarrow \Gamma\cup\{\lnot\varphi\}$ erfüllbar + +> Beobachtung: +> Sei $W$ einer der Wahrheitswertebereiche $B, K_3, F, H_R$ und $B_R,\Gamma$ eine Menge von Formeln und $\varphi$ eine Formel. Dann gilt $\Gamma\Vdash W\varphi\Rightarrow\Gamma\Vdash B\varphi$. + +Beweis: Sei $B$ beliebige B-Belegung, die zu jeder Formel in $\Gamma\cup\{\varphi\}$ paßt. definiere W-Belegung $B_W$ durch $B_W(pi) = \begin{cases} 1_W \quad\text{ falls } B(p_i) = 1_B \\ 0_W \quad\text{ sonst} \end{cases}$. +per Induktion über die Formelgröße kann man für alle Formeln $\psi$, zu denen $B$ paßt, zeigen: +$B_W(\psi) = \begin{cases} 1_W \quad\text{ falls } B(\psi) = 1_B \\ 0_W \quad\text{ sonst.} \end{cases}$ (*) + +Wir unterscheiden zwei Fälle: +- $inf\{B(\gamma)|\gamma\in\Gamma\}= 1_B \Rightarrow inf\{B_W(\gamma)|\gamma\in\Gamma\} = 1_W$ (wegen (*)) + $\Rightarrow 1_W = B_W(\varphi)$ (wegen $\Gamma\Vdash_W\varphi$) + $\Rightarrow 1_B = B(\varphi)$ (wegen (*)) + $\Rightarrow inf\{B(\gamma)|\gamma\in\Gamma\} = 1_B \leq B(\varphi)$ und +- $inf\{B(\gamma)|\gamma\in\Gamma\} \not= 1_B \Rightarrow inf\{B(\gamma)|\gamma\in\Gamma\}= 0_B$ + $\Rightarrow inf\{B(\gamma)|\gamma\in\Gamma\}= 0_B \leq B(\varphi)$. + +Da $B$ beliebig war, gilt $\Gamma\Vdash_B \varphi$. + +> Satz (Vollständigkeitssatz) +> +> Sei $\Gamma$ eine Menge von Formeln, $\varphi$ eine Formel und $W$ einer der Wahrheitswertebereiche $B,K_3 , F, B_R$ und $H_R$. Dann gilt $\Gamma\Vdash_W\varphi \Rightarrow \Gamma\vdash\varphi$. +> Insbesondere ist jede W-Tautologie ein Theorem. + +Beweis: indirekt +- $\Gamma\not\Vdash$ +- $\Gamma\cup\{\lnot\varphi\}$ konsistent +- $\exists\Delta\supseteq\Gamma\cup\{\lnot\varphi\}$ maximal konsistent +- $\Rightarrow\Delta$ erfüllbar +- $\Gamma\cup\{\lnot\varphi\}$ erfüllbar +- $\Gamma\not\Vdash_B \varphi$ +- $\Gamma\not\Vdash_W \varphi$ + +## Vollständigkeit und Korrektheit +> Satz +> +> Seien $\Gamma$ eine Menge von Formeln und $\varphi$ eine Formel. Dann gilt $\Gamma\vdash\varphi\Leftarrow\Rightarrow\Gamma\Vdash_B \varphi$. +> Insbesondere ist eine Formel genau dann eine B-Tautologie, wenn sie ein Theorem ist. + +Beweis: Folgt unmittelbar aus Korrektheitssatz und Vollständigkeitssatz. + +> Bemerkung: +> - gilt für jede „Boolesche Algebra“, z.B. $B_R$ +> - $\Gamma\vdash\varphi$ ohne ($raa$) $\Leftarrow\Rightarrow\Gamma\Vdash_{H_R} \varphi$ (Tarksi 1938) + + +### Folgerung 1: Entscheidbarkeit +> Satz: die Menge der Theoreme ist entscheidbar. + +Beweis: Sei $\varphi$ Formel und $V$ die Menge der vorkommenden atomaren Formeln. Dann gilt $\varphi$ Theorem +- $\Leftarrow\Rightarrow\varphi$ B-Tautologie +- $\Leftarrow\Rightarrow$ für alle Abbildungen $B:V\rightarrow\{0_B, 1_B\}$ gilt $B(\varphi) = 1_B$ + +Da es nur endlich viele solche Abbildungen gibt und $B(\varphi)$ berechnet werden kann, ist dies eine entscheidbare Aussage. + +### Folgerung 2: Äquivalenzen und Theoreme +> Definition +> +> Zwei Formeln $\alpha$ und $\beta$ heißen äquivalent $(\alpha\equiv\beta)$, wenn für alle passenden B-Belegungen $B$ gilt: $B(\alpha) =B(\beta)$. + +> Satz: Es gelten die folgenden Äquivalenzen: +> 1. $p_1 \vee p_2 \equiv p_2 \vee p_1$ +> 2. $(p_1 \vee p_2 )\vee p_3 \equiv p_1 \vee (p_2 \vee p_3 )$ +> 3. $p_1 \vee (p_2 \wedge p_3 )\equiv (p_1 \vee p_2 )\wedge (p_1 \vee p_3 )$ +> 4. $\lnot(p_1 \vee p_2 )\equiv\lnot p_1 \wedge\lnot p_2$ +> 5. $p_1 \vee p_1 \equiv p_1$ +> 6. $(p_1 \wedge \lnot p_1 )\vee p_2 \equiv p_2$ +> 7. $\lnot\lnot p_1\equiv p_1$ +> 8. $p_1 \wedge\lnot p_1 \equiv\bot$ +> 9. $p_1 \vee\lnot p_1 \equiv\lnot\bot$ +> 10. $p_1 \rightarrow p_2 \equiv \lnot p_1 \vee p_2$ + +Beweis: Wir zeigen nur die Äquivalenz (3): +Sei $B$ beliebige B-Belegung, die wenigstens auf $\{p_1, p_2, p_3\}$ definiert ist. +Dazu betrachten wir die Wertetabelle: +| $B(p_1)$ | $B(p_2)$ | $B(p_3)$ | $B(p_1\vee(p_2\wedge p_3))$ | $B((p_1\vee p_2)\wedge(p_1 \vee p_3 ))$ | +| --- | --- | --- | --- | --- | +$0_B$ | $0_B$ | $0_B$ | $0_B$ | $0_B$ +$0_B$ | $0_B$ | $1_B$ | $0_B$ | $0_B$ +$0_B$ | $1_B$ | $0_B$ | $0_B$ | $0_B$ +$0_B$ | $1_B$ | $1_B$ | $1_B$ | $1_B$ +$1_B$ | $0_B$ | $0_B$ | $1_B$ | $1_B$ +$1_B$ | $0_B$ | $1_B$ | $1_B$ | $1_B$ +$1_B$ | $1_B$ | $0_B$ | $1_B$ | $1_B$ +$1_B$ | $1_B$ | $1_B$ | $1_B$ | $1_B$ + +Die anderen Äquivalenzen werden analog bewiesen. + +Aus dieser Liste von Äquivalenzen können weitere hergeleitet werden: + +Beispiel: Für alle Formeln $\alpha$ und $\beta$ gilt $\lnot(\alpha\wedge\beta)\equiv\lnot\alpha\vee\lnot\beta$. + +Beweis: $\lnot(\alpha\wedge\beta) \equiv \lnot(\lnot\lnot\alpha\wedge\lnot\lnot\beta) \equiv \lnot\lnot(\lnot\alpha\vee\lnot\beta) \equiv \lnot\alpha\vee\lnot\beta$ + +> Bemerkung +> Mit den üblichen Rechenregeln für Gleichungen können aus dieser Liste alle gültigen Äquivalenzen hergeleitet werden. + +#### Zusammenhang zw. Theoremen und Äquivalenzen +> Satz +> +> Seien $\alpha$ und $\beta$ zwei Formeln. Dann gilt $\alpha\equiv\beta\Leftarrow\Rightarrow(\alpha\leftrightarrow\beta)$ ist Theorem. + +Beweis: $\alpha\equiv\beta$ +- $\Leftarrow\Rightarrow$ für alle passenden B-Belegungen $B$ gilt $B(\alpha)=B(\beta)$ +- $\Leftarrow\Rightarrow \{\alpha\}\Vdash_B\beta$ und $\{\beta\}\Vdash_B \alpha$ +- $\Leftarrow\Rightarrow \{\alpha\}\vdash\beta$ und $\{\beta\}\vdash\alpha$ (nach Korrektheits- und Vollständigkeitssatz) + +es bleibt z.z., dass dies äquivalent zu $\varnothing\vdash(\alpha\leftrightarrow\beta)$ ist. +- $\Rightarrow$: Wir haben also Deduktionen mit Hypothesen in $\{\alpha\}$ bzw. in $\{\beta\}$ und Konklusionen $\beta$ bzw.$\alpha$. Es ergibt sich eine hypothesenlose Deduktion von $\alpha\leftrightarrow\beta$: + ![](Assets/Logik-deduktion-1.png) +- $\Leftarrow$: Wir haben also eine hypothesenlose Deduktion von $\alpha\leftrightarrow\beta$. Es ergeben sich die folgenden Deduktionen mit Hypothesen $\beta$ bzw. $\alpha$ und Konklusionen $\alpha$ bzw. $\beta$: + ![](Assets/Logik-deduktion-2.png) + +> Satz +> +> Sei $\alpha$ eine Formel. Dann gilt $\alpha$ ist Theorem $\Leftarrow\Rightarrow\alpha\equiv\lnot\bot$. + +Beweis: $\alpha$ ist Theorem +- $\Leftarrow\Rightarrow\alpha$ ist B-Tautologie (Korrektheits- und Vollständigkeitssatz) +- $\Leftarrow\Rightarrow$ für alle passenden B-Belegungen $B$ gilt $B(\alpha) = 1_B$ +- $\Leftarrow\Rightarrow$ für alle passenden B-Belegungen $B$ gilt $B(\alpha) =B(\lnot\bot)$ +- $\Leftarrow\Rightarrow\alpha\equiv\lnot\bot$ + +### Folgerung 3: Kompaktheit +> Satz +> +> Seien $\Gamma$ eine u.U. unendliche Menge von Formeln und $\varphi$ eine Formel mit $\Gamma\Vdash_B\varphi$. Dann existiert $\Gamma′\subseteq\Gamma$ endlich mit $\Gamma′\Vdash_B \varphi$. + +Beweis: $\Gamma\Vdash_B\varphi$ +- $\Rightarrow\Gamma\vdash\varphi$ (nach dem Vollständigkeitssatz) +- $\Rightarrow$ es gibt Deduktion von $\varphi$ mit Hypothesen $\gamma_1,...,\gamma_n\in\Gamma$ +- $\Rightarrow\Gamma′=\{\gamma_1,...,\gamma_n\}\subseteq\Gamma$ endlich mit $\Gamma′\vdash\varphi$ +- $\Rightarrow\Gamma′\Vdash_B\varphi$ (nach dem Korrektheitssatz). + +> Folgerung (Kompaktheits- oder Endlichkeitssatz) +> +> Sei $\Gamma$ eine u.U. unendliche Menge von Formeln. Dann gilt $\Gamma$ unerfüllbar $\Leftarrow\Rightarrow\exists\Gamma′\subseteq\Gamma$ endlich: $\Gamma′$ unerfüllbar + +Beweis: $\Gamma$ unerfüllbar +- $\Leftarrow\Rightarrow\Gamma\cup\{\lnot\bot\}$ unerfüllbar +- $\Leftarrow\Rightarrow\Gamma\Vdash_B\bot$ +- $\Leftarrow\Rightarrow$ es gibt $\Gamma′\subseteq\Gamma$ endlich: $\Gamma′\Vdash_B\bot$ +- $\Leftarrow\Rightarrow$ es gibt $\Gamma′\subseteq\Gamma$ endlich: $\Gamma′\cup\{\lnot\bot\}$ unerfüllbar +- $\Leftarrow\Rightarrow$ es gibt $\Gamma′\subseteq\Gamma$ endlich: $\Gamma′$ unerfüllbar + + +### 1. Anwendung des Kompaktheitsatzes: Färbbarkeit +> Definition +> +> Ein Graph ist ein Paar $G=(V,E)$ mit einer Menge $V$ und $E\subseteq\binom{V}{2} =\{X\subseteq V:|V|=2 \}$. +> Für $W\subseteq V$ sei $G\upharpoonright_W= (W,E\cap\binom{W}{2})$ der von $W$ induzierte Teilgraph. +> Der Graph G ist 3-färbbar, wenn es eine Abbildung $f:V\rightarrow\{1,2,3\}$ mit $f(v)\not=f(w)$ für alle $\{v,w\}\in E$. + +Bemerkung: Die 3-Färbbarkeit eines endlichen Graphen ist NP-vollständig + +> Satz +> Sei $G= (N,E)$ ein Graph. Dann sind äquivalent +> 1. $G$ ist 3-färbbar. +> 2. Für jede endliche Menge $W\subseteq N$ ist $G\upharpoonright_W$ 3-färbbar. + +Beweis: +- $1.\Rightarrow 2.$ trivial +- $2.\Rightarrow 1.$ Sei nun, für alle endlichen Menge $W\subseteq N$, der induzierte Teilgraph $G\upharpoonright_W$ 3-färbbar. + +Wir beschreiben zunächst mit einer unendlichen Menge $\Gamma$ von Formeln, daß eine 3-Färbung existiert: +- atomare Formeln $p_{n,c}$ für $n\in N$ und $c\in\{1,2,3\}$ (Idee: der Knoten n hat die Farbe c) +- $\Gamma$ enthält die folgenden Formeln: + - für alle $n\in N:p_{n, 1} \vee p_{n, 2} \vee p_{n, 3}$ (der Knoten n ist gefärbt) + - für alle $n\in N:\bigwedge_{1\leq c< d \leq 3} \lnot(p_{n,c} \wedge p_{n,d})$ (der Knoten n ist nur mit einer Farbe gefärbt) + - für alle $\{m,n\}\in E: \bigwedge_{1\leq c\leq 3} \lnot(p_{m,c} \wedge p_{n,c})$ (verbundene Knoten m und n sind verschieden gefärbt) + + +Behauptung: Jede endliche Menge $\Delta\subseteq\Gamma$ ist erfüllbar. + +Begründung: +- Da $\Delta$ endlich ist, existiert endliche Menge $W\subseteq N$, so dass jede atomare Formel in $\Delta$ die Form $p_{n,c}$ für ein $n\in W$ und ein $c\in\{1,2,3\}$ hat. +- Nach Annahme existiert $f_W:W\rightarrow\{1,2,3\}$ mit $f_W(m) \not=f(n)$ f.a. $\{m,n\}\in E\cap\binom{W}{2}$. +- Definiere $B:\{p_{n,c}|n\in W, 1 \leq c\leq 3\}\rightarrow\{0,1\}$ durch $B(p_{n,c}) = \begin{cases} 1 \quad\text{ falls } f_W(n) = c \\ 0 \quad\text{ sonst.} \end{cases}$ +- Diese Belegung erfüllt $\Delta$, d.h. $\Delta$ ist erfüllbar, womit die Behauptung gezeigt ist. + +Nach dem Kompaktheitssatz ist also $\Gamma$ erfüllbar. +Sei $B$ erfüllende Belegung. Für $n\in N$ existiert genau ein $c\in\{1,2,3\}$ mit $B(p_{n,c}) =1$. Setze $f(n) =c$. Dann ist $f$ eine gültige Färbung des Graphen $G$. + +### 2. Anwendung des Kompaktheitsatzes: Parkettierungen +Idee: Gegeben ist eine Menge von quadratischen Kacheln mit gefärbten Kanten. Ist es möglich, mit diesen Kacheln die gesamte Ebene zu füllen,so dass aneinanderstoßende Kanten gleichfarbig sind? + +Berühmtes Beispiel: Mit diesen 11 Kacheln kann die Ebene gefüllt werden, aber dies ist nicht periodisch möglich. +![](Assets/Logik-parkettierung-1.png) + +> Definition +> +> Ein Kachelsystem besteht aus einer endlichen Menge C von „Farben“ und einer Menge K von Abbildungen $\{N,O,S,W\}\rightarrow C$ von „Kacheln“. +> Eine Kachelung von $G\subseteq Z\times Z$ ist eine Abbildung $f:G\rightarrow K$ mit +> - $f(i,j)(N) =f(i,j+ 1 )(S)$ für alle $(i,j),(i,j+ 1 )\in G$ +> - $f(i,j)(O) =f(i+ 1 ,j)(W)$ für alle $(i,j),(i+ 1 ,j)\in G$ + +> Satz +> +> Sei $K$ ein Kachelsystem. Es existiert genau dann eine Kachelung von $Z\times Z$, wenn für jedes $n\in N$ eine Kachelung von $\{(i,j) :|i|,|j| \leq n\}$ existiert. + +Beweis: +- $\Rightarrow$: trivial +- $\Leftarrow$: Wir beschreiben zunächst mit einer unendlichen Menge $\Gamma$ von Formeln, daß eine Kachelung existiert: + atomare Formeln $p_{k,i,j}$ für $k\in K$ und $i,j\in Z$ (Idee: an der Stelle $(i,j)$ liegt die Kachel $k$, d.h. $f(i,j) =k$) + Für alle $(i,j)\in Z$ enthält $\Gamma$ die folgenden Formeln: + - eine der Kacheln aus $K$ liegt an der Stelle $(i,j):\bigvee_{k\in K} p_{k,i,j}$ + - es liegen nicht zwei verschiedene Kacheln an der Stelle $(i,j): \bigwedge_{k,k′\in K,k\not=k′} \lnot(p_{k,i,j}\wedge p_{k′,i,j})$ + - Kacheln an Stellen $(i,j)$ und $(i,j+1)$ „passen übereinander“: $\bigvee_{k,k′\in K,k(N)=k′(S)} (p_{k,i,j}\wedge p_{k′,i,j+1})$ + - Kacheln an Stellen $(i,j)$ und $(i+1,j)$ „passen nebeneinander“: $\bigvee_{k,k′\in K,k(W)=k′(O)} (p_{k,i,j}\wedge p_{k′,i+1,j})$ + +Sei nun $\Delta\subseteq\Gamma$ endlich. +- $\Rightarrow$ es gibt $n\in N$, so daß $\Delta$ nur atomare Formeln der Form $p_{k,i,j}$ mit $|i|,|j|\leq n$ enthält. +- Voraussetzung $\Rightarrow$ es gibt Kachelung $g:\{(i,j) :|i|,|j| \leq n\}\rightarrow K$ für $k\in K$ und $|i|,|j|\leq n$ definiere $B(p_{k,i,j}) = \begin{cases} 1_B \quad\text{ falls } g(i,j) =k \\ 0_B \quad\text{ sonst} \end{cases}$ +- $\Rightarrow B(\sigma) = 1_B$ für alle $\sigma\in\Delta$ (da $g$ Kachelung) +- Also haben wir gezeigt, daß jede endliche Teilmenge von $\Gamma$ erfüllbar ist. +- Kompaktheitssatz $\Rightarrow$ es gibt B-Belegung $B$ mit $B(\gamma) = 1_B$ für alle $\gamma\in\Gamma$ +- $\Rightarrow$ es gibt Abbildung $f:Z\times Z\rightarrow K$ mit $f(i,j) =k \Leftarrow\Rightarrow B(p_{k,i,j}) = 1_B$. +- Wegen $B\Vdash\Gamma$ ist dies eine Kachelung. + +Weitere Anwendungen des Kompaktheitsatzes +- abz. partielle Ordnungen sind linearisierbar +- abz. Gleichungssystem über $\mathbb{Z}_2$ lösbar $\Leftarrow\Rightarrow$ jedes endliche Teilsystem lösbar +- Heiratsproblem +- Kőnigs Lemma (Übung) +- ... + +Bemerkung: Der Kompaktheitssatz gilt auch, wenn die Menge der atomaren Formeln nicht abzählbar ist. Damit gelten die obigen Aussagen allgemeiner: +- 3-Färbbarkeit: beliebige Graphen +- Linearisierbarkeit: beliebige partielle Ordnungen +- Lösbarkeit: beliebig große Gleichungssysteme über $\mathbb{Z}_2$ +- ...