From 1260e202951802140778d420ee434cc331e50a6c Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Sat, 7 Sep 2013 14:46:54 +0200 Subject: [PATCH] Resolutionsalgorithmus --- .../Resolutionsalgorithmus/Makefile | 36 +++++++++ .../Resolutionsalgorithmus/Readme.md | 3 + .../Resolutionsalgorithmus.png | Bin 0 -> 70259 bytes .../Resolutionsalgorithmus.tex | 70 ++++++++++++++++++ 4 files changed, 109 insertions(+) create mode 100644 source-code/Pseudocode/Resolutionsalgorithmus/Makefile create mode 100644 source-code/Pseudocode/Resolutionsalgorithmus/Readme.md create mode 100644 source-code/Pseudocode/Resolutionsalgorithmus/Resolutionsalgorithmus.png create mode 100644 source-code/Pseudocode/Resolutionsalgorithmus/Resolutionsalgorithmus.tex diff --git a/source-code/Pseudocode/Resolutionsalgorithmus/Makefile b/source-code/Pseudocode/Resolutionsalgorithmus/Makefile new file mode 100644 index 0000000..d4bb3d1 --- /dev/null +++ b/source-code/Pseudocode/Resolutionsalgorithmus/Makefile @@ -0,0 +1,36 @@ +SOURCE = Resolutionsalgorithmus +DELAY = 80 +DENSITY = 300 +WIDTH = 500 + +make: + pdflatex $(SOURCE).tex -output-format=pdf + pdflatex $(SOURCE).tex -output-format=pdf + make clean + +clean: + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot + +gif: + pdfcrop $(SOURCE).pdf + convert -verbose -delay $(DELAY) -loop 0 -density $(DENSITY) $(SOURCE)-crop.pdf $(SOURCE).gif + make clean + +png: + make + make svg + inkscape $(SOURCE).svg -w $(WIDTH) --export-png=$(SOURCE).png + +transparentGif: + convert $(SOURCE).pdf -transparent white result.gif + make clean + +svg: + make + #inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg + pdf2svg $(SOURCE).pdf $(SOURCE).svg + # Necessary, as pdf2svg does not always create valid svgs: + inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg + rsvg-convert -a -w $(WIDTH) -f svg $(SOURCE).svg -o $(SOURCE)2.svg + inkscape $(SOURCE)2.svg --export-plain-svg=$(SOURCE).svg + rm $(SOURCE)2.svg diff --git a/source-code/Pseudocode/Resolutionsalgorithmus/Readme.md b/source-code/Pseudocode/Resolutionsalgorithmus/Readme.md new file mode 100644 index 0000000..f8ac563 --- /dev/null +++ b/source-code/Pseudocode/Resolutionsalgorithmus/Readme.md @@ -0,0 +1,3 @@ +Compiled example +---------------- +![Example](Resolutionsalgorithmus.png) diff --git a/source-code/Pseudocode/Resolutionsalgorithmus/Resolutionsalgorithmus.png b/source-code/Pseudocode/Resolutionsalgorithmus/Resolutionsalgorithmus.png new file mode 100644 index 0000000000000000000000000000000000000000..5744070cb0ecb2276a1f580f254e21f2598ebff9 GIT binary patch literal 70259 zcmYhi2RNJU8#a#Es%melW@|TA&9-WU;zf-bMO9EU)Q(kq6MMI4Rn=&%*s)84QllXx zV%3UG>`&kK_kI8WbtFfQJWrnIxvx9-eck7MUFRA1kG>WyH3u~j5fLp&`-u?|5%B>L z5y=K6`SlUX4xi`OAEe%oLC+|!4NCbc_WC=Or}lGiA|e{bzi(oqyaKlCgY0iK%-so;-TyU$9x|2RG@P><^XHs||~% zeoICZ-+oMT?1wr`bdELRbQSYLnt-}-lvkEPtKkWY+kof+i z(eHmPhbomSQ1h?#KMi~O6L|lxfk|GyElT@q(u}tm5B|G4m#FZyhK>c70=#e?_V39w zLv~CqO43E}AMu|1FjI=?Cf}-mufKmkFNzA>__&Hx_J23m>`x458T={elPTku2~UQd z>T=w6KB}mEF?X2TnJnYn4t7ZiY#@axYOf1aB$Pd$dEX`hTgjfNs`~Mo=DT!uSwOiR zx1#R4sPl-kNzC5{W!>v51fb0Y-9xZ82vG!Bl(e&EK&KXOM zt#ABpWuyjj)Ll=F^pOypW%4It8)xzP+hLz5hK2sX0*PBmTy!nIa(RHa0Wl4a=hpk2 zumEh*orgwRSPb*}VS?`$R@mhoXEskI&u7MK!<+Z9FR^4mr5>a{u&$K<^abekmZD}Z zo!tIc&3s1h=3!&R@2Ssb?NW8wVVzBO^u;6wxhOi2Ie#A$u$2m4N4t@F-RENh7G94r z6#hchbgq3Z^_1YFPr2ewU{=8{OOjs&7tUa<9MlVe{3I3}z3p?`-HPgG4ii<{^um*e z<=+vTkAY_;CN3swGf(MzksbHzXyVU)i@EEc z>60WAwdk~PA&}8opMO0XU)V*9A$Gw>pos;hcbpy1Q9|Qyh>|H-0FC72MA`W$+2OU$ z3WOp;9h~LGw?Z5e?NL21RcCews`3u_lhGWB)KA)Z9yVD@i^)gzWm3c5kk(R;bYI?5 zxS2z@>VD9B=2-QoQ*w9{3d$$RCz8)W1*aLX+R8#1?_eJTfuL4ECCMsobFTy8J?NdF z!QJ{q1rMxS6+9$vjDH>C3Z6FG5CeHHr>r=b9rxlQ=ZxELmY8koxxxIHkWdj)kNHF!FS$^Cp|w z`xh>n?Re5G1l6HPfdZ>@2$!=&FY7`wLKr~_E&WNQz<|j)sHns6kZDfm9uZ+>t$2bI zJgGcMeu{(mu~fEWa5WZT5*nfbp*4xvD>7WLPvY5D7^BXGtVp#Iz=K${KiI&QM9L9; z+!JTgJfBTM(R&C*m^>_pW4ILftCg^UB%$$s7&3o~KODPP_R(m$9wXe>kW2aglZYcwR)qLq98nGEpg|9Ur64*IR0=a50<` zNeu~&K=7%Y=M5>=5fu)qb5e}*5rw8eKp|~GPTPi3_ux4qkEPCv!M<^rBx zpgAifP_^qasNGWg(7}9sjO9!NA^riWWlr!COnR@_{8eX2=0|7E{=s)6I{+O|@oIpM zs?w2Sfob*d?9v({cL2HWI!o{+-%f6B@GCGQL?u>(e@hv$ElArNx4}ps!Y3tE%}a7r z^^6KM7w$8>$qdX7>#RIPZk8(Kjyi&QpUn0XZEIU7@mx_}P3`Lfm3|`o^HFAq&^`gEp8;e^MX8D%>6`Q=6F1_g8THR=<5x*9*@L~A?|^FA2Wmkf2xl|LBGH4UcF>6 ztr?$ua!#657A!D%0h)RfpA!CP@S+s)1lTGb(nKN&vY_#wL;3;&i8uN{7y4H7c_orb zaj)Y+y}x5Uj(%+){pzq*de!3a?4Cyl$MOgB0c5g#oggIX>Y_9;KMa%mqst~`?<@vp z!EUzTdUT1vD)5}jJAqej z=LZB%Z-<5#aOJwnvMAj{OG+EtR^2@Qx5cq%#0VWkoncKk(Qq3KoH?PiC!SdOrjL~{ z=#$M^wZ`Bas1+1X)@Y_|T(uoY=4j9I&K~;9N=U>3*^|L>nzFEGBv3_zrbbFQqbT!P z&HOhspn0t5NXxL}o$YPEY#Em_45!(*d-{oWi=0*0lUcX_&{TmwUv%%{)*q(G4ujgI z1m*Y+wws$JQepyYT5y>C*9RNK$h?f~tgEwRQ>Rn!_%8@;|9sITRGdvO+s0S@RLiT z={y&tU#~o!E|%JZ&g9d!Cv-vbRns=^+kA1>x+kbhh;Po^qe z2mD-iC0%{nTm)zB4(9FeUwwlm!%_i*ZpU^nq~XD~uzE6y)vKFuB=QAKNu7() zeC3C|e!%o~pt@A(>L8uY+K%^la_Iv0>+{ZEz-5nyEA4#UyCY$9N#C&+NSa;4%XxSq zbo!Ff))5%Q7rR0XFE~B?Gs^qe^%)y~;5@QA)+;p11FQ(V3nPPR+4vKSTav;T-3*xpMHUzlJ3JH0VXQg`J$OkoXTUvu8>V zB3~_1n(F&ekc{PP0?!g~UiWbD}L-;p%Z9I9a71#F5b;=Q#=m%2ywk3||gw z??!0{Wi%7xvG%IxzgjnjH`8Lz_}v2!foQ!IQ^X5|&G07v=#$MvDILD2Eg{$BKwGX| zeY_Dt4v*qQ5NrLya0LF=l9i6@l(iAEm5T>W;6^OPE5$^btxzcG(OeUuK(=D;M!Lvkhod z_ntn)^AEMno=xq#W&vP+>`;ZszE3w@07Ii|+d#9k%%YgL@#xv#ztf{7#C* zE)UD=74LF@R+H}x%fuBcBG))~U>?D~wbP-94WVGs?arb&mE%vD^Ys2*^}J?YK^jvp zBQY=9DUYTbyeTf`INOM~uUk1&FTUX|%p8jF6WeN0qPsypRbSyP|vzDlRfj1=Fd z2g@Njir;iX94+QGG8#=W2^DKVR0N%ejszGRzJk5gt|v_gTrO?$`0=qkbFB z%!XBl(+J$9>g-1vU9Da9u_o3R@h)&?y-p5H?t4IgS5CH0_@1CUNwHjEnKaVuorkk> ze>Q@3vDm_%U**@UFB;q%hsHMIDRFQR)-V6W$@{dv4;`VnGdTga1+x-qH9oe^ySGXK zw4CPfCL#azyTZuW>B!uj8Z5^Fr&#^SY{wYB8a}Ku7=*nPws^~JL9nWmYPf&Uj0<&j zHdG&fykO|oYU^wiUu-;{+8tz}5dLVK1a_2BpIyd7-)N1l;XDrZTxI*Az0S}nE=Wt8 z;&icGEv_WA?2{@ZHB`{~Ec?Uq{O>$kkP`N$8P8{aH%E|5mP+-YN_!R4)IofQrQmKy zR9WA$YRB22lO8`AouaejL(i{sCgn-+779 z1pB^7dKI&%Z#JYK|9V+TL89g}1BP2|Av7&=7$BCNobR-~*B2zdES*rs%wOYGARx}U z*&n#kCWhbh_b*(_POUe(`$a3UI0T~Rm-t>4l-DfaCgz-GWErGwVJ550Ddeow%kfib zD5nl?FtjD^eDr5}IYFAkKF9>by%=~TfJrvQ1Z;d#AMlsoPyO;0lz-NL0fm{yzUiB3 z()q$jb8o6MHs87rwA&S?p43qV z-e?Ii9J~S)ksV2Ja5yI;{8V^xPp<4hoSNu17{1p)#Aflb`ijVkK4mmI=(Ht_+^?Jl zS2RkUyTgT`PXn8xl~A{__pu^Ymw~!V5oPM0I4SyLuftDehj-lV(M9LY;(rn%!qOp< zPI@1X63t7rkNvm+0HYL6+G`rY=|p|Z&4&>9JrVWWwnu5QbfTnhEKpSXg{rQs(W+i`5&PS6pb}iE?$(FTfTFuRSbiIC2Ed%BC4S zLg2|?RAfr%e-2udu*v?MR3mYS${q*O1JuuqmWY~2b{ty!1D z6I^-veFWr4E?IocX;@p?YB>g-s~?|DcdI&*ue6dROO zJubNes$(|9+5iXH8Sb}(aNiEx5yP33Axn@O9U&d!YXr8My2U&1L$$uWsZtQYNg6pU zBTpbVw>$(dxNMqg5`30p{f{(3G@7R$cJwx}{&ba#8%OH|Xz^PoGQ-xJyaqH_iMC&a zVxrEjz8Z=jbkMp*7aTL}sCQs)>`~3<1q)lg<|dsTKVRw*UyR()I`8tWCzsR(N-73F zC3n6;IPrHOvgb0LY#m1jvA!%6$s+_SE+QzWH=L$Af8W5Wz>Dp2?qnFo^2zXuTt=N- z>Zb6$poR1;o`U5%`@3^q1Y1>Usxxj+6RRtVVzzb|AwO(v@M0ki{E$Je=!t1|SuPNN z)_0)+x#G0atfSrm#3_?zyI6BgC*UM({A%iW$)7xkS&Tdkuv+_MG~-Rhu2`+@r_XS# zT+1E`<(~~QTp&F(^#CykV_BOPd^KV?;Ft~{_MEa=g{$52SBX<2`z>ER z-H+;I-z6^vh7exFBwGnQAj~cM$G~EX1NTC1#OkE13|<5hIG1IdpF! zS=8BHS9&~pXRig`zduUCirf5(!B*R}nt*~HdIhuW2y|5ZuFPF=dwHHQ zPWyhh?VJKH%!55fEPQwn1ojFA)2A@D45!1B7O!sFp1@h$v(*aunH~NRz^;>URRAHt zN>YC@KrZpg!0kP>c(r57RSalpQvp&X!kSV~lXc2(9i%TdN5?-_*CoGqmNnGLYJNZW zs#Bu>cG4=^=5u0Uvs0U?>%;HEyASr97@F8sUnuoo*dew**ZWXbyNvPSQ$#ZNvr8lw zL-qo5kWIvyd-|sVKgQ8;Zl^`c9k42TzSZdpe8UU5)m6 z6NDV2EUs=>lL!ovoiufPV(Dp zHoNyF(+}P?i;+MbQN-p()p67v`J(!>oW!Nb%|!u>{I2n97pxl*Q0c*XfJnzJvGfT? z9;*sEZ<`gDXWz^3D%;{|paum1NL8+isrc92;5%!_FyF2RWQ@Cy2w-jpT8g4985Uul zRcu61VwoQQuq*rsBCBilOZ?^NO*L!3Xk61rdJlHRjg*qIF?`T)3>J2x=$L`iqbleq7JzD;#!1@|s<8>?U zl4d6=w>@v7)Tpxz&Y|#Z9OSQrF!+7^U4u8P-dhs8S*BJ@#!?bqCwFo&DdHiIjTq;` zr}bt}qduZeR*)~ZP40bg2KM1fY`q{O9jutbII*g|nq5;3x zK1j_qc~wa6?riZ9PDd4rFl$~bqa6mF_Dho&!`_#`O{^P67< zL-cQgkJMv@Z+>(jZMRUWTxb_LRsyvyk}g>QISsdnfoDQ;zWkoPs9KH_`NO!ed>Pk} zN;{Geh8A(!jCw&@o%~EGp4D4uQ+~bpmx-aAU+`xFbGBdu6CJVaLzURhGm7Q=bHuQg zTvQV?4`_hU1a3^U@>sl8K)Ad=WH4+nZF!s!PGN8FD_-kco2xYW6<-#Uv`ZjVQ7k%l zl)PA_wsStg;J8MU37YW4!2V-WsCU+pbyY(N%U6%j=PO8gQ3-*n*I)x7NV*f@Nee^& z;u9q|V@3TurR|z7`AjV=&U$BfaFtN*wwyF%KS*4yETkqeXZCv4zo6Af*>a?``HkX)-t|4+SOjzy(Z~8nk zfPSQk`WMnqM?mB(bz?QcF^iJeB@Sm_V)q*_C9FP9gp)fYri2HS>hCX#Z9X2`sR19g zH?tf=;7?b4ZKIx%bKEbh=wlY}QfoFEn9);V5?*`pH(M?YY?X}bU|2;mIe+-)?U%4e zPuK7VP+L1$k&Ff!WW$;P$z@f4e5`TK6S=FblN~ouxQ*)2ydYk!cR)M5!HI1# zG*u=hw>^^aKmsgBKJ5n@7#aGk4ieEH#x7OQmP$soMqr8_KsF=PW$%0 z`QynlTqT9Xxl@e@S<|nRDgNRL**OzPdIeiar#vIZ+~9d)pS;5C+`bfOr#t=qlAlAt zP9wNRYXCe;aTsW(D#j@X3 z_4^wr4Tz5hP?{Atf_%m`il^}){h_91fSdN=F z5|znum}v6`*3Crjq2^)pYi5M4&qwbI4POyf#oRUi&Y zv!%ncnl`G`Xu2EmQ29Rj7qbhSAKVq*x6qp1MiUFS(JcUiOa1Y8u;Ng_;r$W4KTHr# zoKE7bR#9E%X`^x5Y|M^^Uy6XcRzcw*OWf0{1E^mC7Mffa%o;0~*yT5;i)Dno%JWlh zCF(HbU|il#@3m&xJ}dH<2kbo9QT24aTP%U#O+RbLHGfsef3vUSBe^`r4ljF5ppwaI z$H)F~Z0bV!MIpT}C^3B3t7fr{=#%rCW0JG|{(qj`bCiZM?guDaeot2#ml|+Sg4A)T zY9&aIJ-{D#4J_JPHG7VJFBPsPZ3K*vsHqikGubctLy=o?q59+<6<3@RX6X3n6E6XY z_y_s0q_8saAVx)!w9!zV-Bz6ap$?SsaR2+h^5e^*FWy((t0=s*&-^GYv=oZ#;p+N3i;P{>M&gn;4_Qu=fP>S#nm%H@(dK+X>QN9nOpTeLz#L zuP>ZrE%9Gli{8!&fJ{H6-q9alR*2L#E3L^S%~S?NEVgCqMhW^GrmPhIyo!TWGZUxU9nL zX^+6BKUDc#kcu$`R`}TO@wgaR?$Nj_{Lv@Sht+$@A51@on%O>13c$=EI}#Zek5_O> z$zZvP8FTkR_+5oa4V90+c;R5h=6P|w{DZD9{x-6A@s)fRR3wW$U^t1o4mA};Q!y3cAkoE7weT+4rwYNBA! z0nCVWJ)gL>zmkPw`6Qc*+`Wd%O`j@r_2S|2lI;y~0Y=#?PtS`4sQ)oMmWCTy=WV~K z%XvCL5WlQQ5}3OscF^bPKKiOx>GLPb=aKoSX@{4FE@BPjFN>z~j&1s{n)-0hC%*pc zNSv=lAO@|hbHe=pJdr=VwXdx-x$PR5AG%V~n^zK1CMj&X9x-Kch1_i2YmMi7med$L z%@z2}xjK&%?cC6;Fx*}>*hw$3^uQjundGrNI;`Q+>M*&f^(<anP7s}gKC-?}BV zMg-!$*Ou4dg=z%_T2{T%))}{e-5e-9J2%9C`e3s99&L`o2sUW1erPzYYo|Olow8MV z{rUE>&>fd!EJvrfDDNW0=bOSx_jR$ zZoHrl)e;ZrFgf*(PJf?|q6HsG<~agS=pvoXytTM(7(P0>WbCKqT8A;Nw|v&zKlRo} zds($U{kcXAJ}Sv|W5oDg_8>2R9vF*jmL?fNw*ym~?+#~`xR$`1bE-RtCG3pWLaB35 zJpa}~oxz+IxVm5t`2xG1=tiq}_i8`Ynk8a!WyB(Dz#x4TD*>JE-syGTy5mMCKbaYzU#&JhQy9~kVdK?G z$w8G%dJ@+R8kn~jp zth=L@R({|@5fQI^-LYuBgGvFTREaB8=oBn%b>qS)=~AR0;{rC#rh6-=_I}{;1lY7< zT_n^L8V)izuo-{2X+dNEY4bq^LnFC+Tyf6cl05mbpfZ!1G+d}k`a(gmas0a5+Bx!y!m(3@)=FYJlpr<( zk-}T-$zgHk3PQLq-EoBI3aR2#=L{PKhCIpBbt?450&`apXT%w+0#g%3@XLeg;9UvL z1z&W2q?HZ!YUlX;@qr7+mBG8#X8EsxliRu#uo>Bz zz!@IEh}sq=v|<2FovL!D-!xK{x_$$i`sUL5d6re*F9cuLx;xzUi>!IBQ{EKwHJpq2 z1Jzy^8H8XvXa1heKg&<}*R0TTgkeMnU&6)BrsGg6n7aX*oZw(s zYz%YFLag=_D^3`Ky1j7YHB8p{~WzO2#J~n0Gu;$0u_L1HlUtKRF+zohAh= zQ;zz0%FgitkEcD-c}d^uGLiRIHQ7;?OqouoSkjpk8*!U(h3W;+rTh2U#CeHva_LfU zN#-68*%x!I7LDCG$5nyNTi7AR9}kG&Z6o!5L>p6S_?)Fv66`p&^9!=*jP7V$NBpna z=I{ueQRWf4mIcx`FI+r%q;xYCX~~Ktqqr%!($H7DwRTo?fFoVp)PNtM@1hRzliERy zXL^?PBAyWyv|9+#vPDs1R#hWIEeQKA(WqY}cE)I?ugtw4OmQyqs;- z(j^r%-B{wPp+p&7X?=<(C!RK0n|6pjVcyH*Vh{uuS>M7oXbV?Vm^^YBG{{v}mNOyy2uqANE!(g<$mO{|*=u@*HfcqLbpwsaTR z`Yp;w#9Z4OD@hJ5X&>u8f4v}s^#_H@)CJuWOsyBIHh<$!8cefUHgxkk|DLK*Dg`{V z8mEBW{P;*hMpA0Lpy3UB2ct5#-?`D)kso$={6YdD`1o- zH0lIj(;N?b4E(o+y4K>ngl(T1g*ZaJLPge;tw3({Xy8Huyu1P!HZ9Pe=@R$j#(bwJTcm6Ec0@0r$8^(~=bF#nvf)=YeW3I`8Pgx3P zb(SYM5)N&{a&yaiJkv(?A)(NTCN{^0p+K4(>+$yr6cy%Dod^x$l;;ty4KrtOvei3c z;jPXgUv*mK!{dAsQB7etVc@2rZySN9Zek6Ym6|4>epC(msOUslE(jl_X@ptfTY>nO z4>YP2iz(Y2!B<&lF2zdYHg8)$a|=6HeeW#tn_(iySv8U5lQeAp|^h;y*HE!M@JpMWJ=c%*$9cT5-j{F-G)rR`Q z>*+}~Z|hD!cWkDTiCf&-|AaY)D?1z;?dd;lUii$^C^xcx$@dDJ@FZA1_S|N`uYT6t zEh_8!B;Z_FBIw?FXDUaiFiNfYl4>U<(lcvghE6S*Rq2Siq(~IIxeO@j7+u_Uxf4Qt zX4nQ4I7|~IGWqNgvlPNaTU>r9GFid4zq;UhRqs}5TA@VvSWDolp!*uDJp+`ZO}bT( zTIrnXL&GZ0R9rO|v2m9PZS00{*J+Dx0RyS=5 z*o2M^#dsQSyk@e8dbO1;dq%16Kz#jf?H4J;IP58u9-ZYV%>=6rt_kV8T=fQfusT%J zCxozzF4Ew75T9N?74VUmpKeE3!B`T{19;BU!Ou=G3 zxsQDXV)M?%7yne!0-VpIem*?UX#SwLcCj5|YuEfj_dQXQ2DDt+m zVcWj1e4X?l&>K5s_+vr%R5*-t_zTihY@DuZxh}{g&W0Hy=tp)5zSL8OHTE+XgS&(g z&2TPvUFdG>1hOd6cwqryMd%I$E35H(GIW?zoAv&_nH}8D;T(;dnQwYlF*^izb;rwW z$Ijl~Yo#O1aMX{+ENpJSl%FLgv^Pgzj6(W4SHpiGJGV5(RSC(5dR8IL9`(ESP`-0= zOzulsj&qlV{KD2<#;q!8@}mL2p;eq%P4F(`ujgYnoynK}Kau$Kdhde`3d2#qC5tO{ z$Q`M9qrqK8C7{oGUT1Sz1^<83@2DgEEMB}9)p=6IF1Qx(I(@7PgND!@-YLFNS zxm3S5pXL(jk>c^QDE{=QU%rAa2Nmb_0lv5kk)txxo*~Ij@gTkt=UWiP2&eUwMpmS4 zV{mi61M+^IO*=foYqzYP9w=0|Up0X2I z&K%T^$f6%&L*aN`6-ukX!KyW%JUaRH12kwc{_FlCS3d9#l(}FBne?M@bfD9dK&1-4 zWI0yrm)~>LylRWMPUS(Os;hR=7mCAIOM(p+HV}detsyp0V1Pu&7@C%sGqg{BL4Ehv z;aV2-E5o5O#cCP!)^TUNYT)mCPQDcM$^tV7w5mL--ONvl6MV0jY$)O-)#L^S5CTxQ zqQ{V@)rK9K2Pd0^ysuK8ucB1dMv+Il`0QSv8!X)p+oOy2_U=$usAk0Yy4p_jS9$#m zVXTdTm0KJwOEbg9eL~Bz%B4>aX>(G7=EYrB+Am3?D9JBFtlUX6Ql<0Gk=H2o#Ssl|9jKU!D^9^NU0yXqntAT9%L6$$h?O$KZZ+gJ}`)o`9RxEka^H?ODBb4$CVJ={rl@0wM(qM z8oIywW>jRIZ|Ksy%YR=k4dyo821tTr^ zQTMHcpLGlP*WLg0Gxy&mQMHt%KkKV_bk~}nPGdzvKfB_k?VbNbIi-<}s_#1=1{ZsA z8}n_d$sC1b{7+6p=BD#=c=H}GsL3=>%0nT_+1&eVsAkZb_diin&n$@YIP zv(x{o^3JN|ISvIkhTes$V7ugYwhRAjWY5b$Q-xVN1r=IK)1d9A$p8K>4*M2?zmguC z{O7r37&7>4j%WY-%Uk;240>gkL8<=}OMT+~CHOzx)ORPIkGfew|MP2KO8wRwP$g*Q zUWZBXT|Q@1(1z~JyUe}W2HCyAzp9}e>A$~tr{qZ{@eCnnN z%Oa70$@GNQNIDCGnx@nAVS!Crg@3ula z1!`|ejUe5h4q3APCU2t05W_it^Zce~qbZ;`C(WTyU?ngRn6Jy>TfE;k^um;gk()dq z(I?ita&?{Bc>rOqVv+IbLR)9&~zwchn)x}2vY!)MC~dtO&Rtx8i)wekmuNUCLl=@Vl}p~-d3 z-vPG90-h35D@d*8ovvJb@?HyFLy@RGj;Fifa;MWQ8~{7h4bxj}5#AyFc^7|`lMyWE z>18EJqnx({k;4;xq}!qVDcwCvVw$*7OzhZy7>=-j%uy)_R@0G%q(x%VGj^GFg5L3W zj1frx+=93Owk_*VZO>_T$X&pbBK3vd>CV62qg45%$>rP z7OREu1reNg)hHEYtAmJBgq=;vB$79}5SfNqJG6Z$(9Bu*^Uw9=G#w{^99n`IgP*`p z(droDpvf_{4S+m}_2Q+uEibgRNzZaP=KM$J^{er+LGZ@~Kh_SU5|$9AGQ61(dsdxs zM6=#AH+bj<4>0$f+H*nRVB}aHbo3MSiOhFc5b>O#_-zm&&X1{I=Ww^`3|zx%2kH27%&SU|t?~v%8s$j7LmDz$ZbjjrYWt z!W1SG)G!h!Cr5;W<0Pw5}d1HG!TYxsUG5D>w*2l11JyN0mEqMerOd_>jULUPi zJ;m#woks@0bxbd%`qn1?o8S9g!qDG&`~Err%^`X2U+aI2S30jL%R3&bvVU@{I-`qu z;;!hzc6VEO6dtVa%1GTcAG-*<0{HeD3>**ayJQx1k`RoeB(Kr@ae_Q)IQ3g#yS)>7cvJ!r7b z=S!D&YTYKzcoDg2zI+AwUnQlev^TC<5)EaOkdb~57+f~Y59WLE_Lk4YV^{Jv3-&8ujCF2@R@*T7?d;#6 zFWvJ_{NjC0SaF*#g(65X*?b2QKq!GJf-ES_$<3dRTgiSqCsErS=5vOem-*`VTHizp zIsXy~5--rO#@@Grtb>7PT#maR%LnZcZBd5Vo@0vnWzWO=!cHP~#L2n%DsFR`^Pw@2?sw%d4rDK2Z zNROcx{)Fk)#{Kr$sU9L|0 z(Gzlj2d*4lOtPJe+9|8v!1eB3rrymy1Jm2uqB~r`$4>|r2pDKwX?QatGSz^@JCl$qauLe>ZJ+zj_UfJCXt-8eJLKh+@`(6z_TNaPX;RB! zZ|0V2?73>y&+24Cbn2&#Vfe>$FPT3=ZG~kRvgw@8(gHKsN6vW+d7Cr1MrVc+gPwN) zvv9sI&OtrnJo&qfJ4wD;6=QcJ0nuSMA-dgoq9dugZ~9$tC_tP!&+|E%{zeQZ@p_cs zANH$#I3+8qRk&z}TXgX!N79!aViM8Ur@!aer5gNUcZ>c<%#y*ex$~CS@xQP|?&1Hh z<}3c+vBX@W+;@)uDoT)~PVyfVnmzD+5XScgkY0kgn6zk*y{^K% z#4H*4%XVeND%dxoY;JdSxjzRr4B`PeOMTxLx^%l3l8tX~dH^>17xsX~>VHtFYz9eQ z_i!F66R|y0ik9o0hf|@la9~?9><#pE;KHM=AKzP9FN0MPvhan%9|CR#OS?BNlc1sJ zoIA%5{`=VrI!^qa>i0Zw{nq3L8o~eG`J;Dzf>A*kzY#w-tcYlea^NVJ5t&F?mTj&i@T#>E>T(O$Hn{3gyQ-C zoHVMBxe@#Ts|J(kb@LdF3lhsGv8y?MgEa#mVSGPX+EE{5!#RiD2~;QjQdcJ*GR@iS zJTAFx>4BE&_{)7)^z2MKd~iZMtdwz8Qg3qMA6s`|YfD_28u5#a`qEr$6RoKTPhlYc z@Fq@Z{9lxgL^#pCb+`NHl>rf`3EQvvqAJx_c}EO?%mK3eXU^L+d|}~E1AVvpZzGeU zlix^vsylO6q5qc)V7cVC@MT*V*SspALb~}999sD^=PN8(xWF$`d`Asegt?hS;6bER zsGB_;Pbr<#(rNjQ)HKy~0dG_6s+k$}r9*88{>f9ifg$~G)GRp}zvX#R)gex%mZ)@+ z^Y$GD=VkHWg*bda6?|PXHY|M+rM4XrmP{s12YuVR#AU{R_N}jOJM5TI?wl1q{q^Hd zPQR!3?=UVv^BV`|KRfA*c53nz$%S~2;_|`el=&kMGR75Z2Ht57NVE2OVwcTD|5%_JoKjW zi};POP}ccsouGx}Hy&71kbEx61$5y0p}sgW>wI$J_Mfq6gU@~c&Z7TA)|-bz{l$O( z_9a`AB|`S>H1=hP$PiLlvX_kPGqM}YP|2RLC8RP)*0N2OG4||I2*V7rWgA&$7|T8N z`F`);eO*8QTCVXv=e*B(Jzvk~;|%IN_KpSe^YNd9n$eJ{v~2)iMLmP@P*C}+DGfjb zPfl5*%-}`~>X@;n02u+%n^~tspLHdC{lJYj9~Li@LS`c+Dp^~SWZUIMJyr3BuDY($ zpn+FYX54@5xL4Tsvg(+(q)yF_Gxa!87GqZL@*7nlK70k5r33*#@T5r-6LCESIfwc{ z-5%pblY1>sA{R~vOkZzNqWMkY*Zq5#BdM_nA&Mqnfn4$= zwGey(WYNA-03j~d9HF8(+Ia8BlmFf-$Nq2SnU7rY?f`O)`MH0?NEyiF1{JyQx?H>e z6;lV-590qX38LBZ?@mGang1U%!k!Ir)FqYq{WJT(t${y)YbD&%o!R6-4$%616^MSr z6D({Qr?n9uU5;ZWCQooS{t1rHjr=jU-}m*gLPsT`dT^sg{1zq(^ANT8-geL@w2QK{ zGTox7Qm>8AyFVv~F@|ajLwsQqQ?_F{;Dfmz4boz6#sN_5}Q-$yuIL@@`Dq3^o>#H}=D@t-~O1*k;5tQJwc~Bsut0%S~p!P)=<+Q9jzdIj< zg>YjEFe4I6`|^v?=MJB;QxePw=Qk7kn1ZHc+2rk4Q;$Kt3&vqpbbeGX>ol@(v+)n0 z?4W^#k|*1=M^7ySMXLaQI;D(+r@5_#UGi*!X)_#ScTV!eB zEGnmKgi(&aaWQ7{!&WbzOlWDOVG|f#*@<$xx~12VA|#)dRwkV<@~pdqV)zX$i=vcY zIem5%%l2II_k(_v^aA4!bU*6XIOD1Z*u(a!2N28mT@ds$T%Q9l^WIdzTl7uz@LF*QU9B!_?hryNf{CEHYKqX1a2Nmscs#sI~M_48d|xt9*+0cC{}TpgH}63qcgqkG9e_tGFsN} z=%7n{JAtC!H9j;bW9Oojl!dgon|8K%Iew6gL-F$RlMF z>gSG!!D#oc`cd!5xK4==@nc+yhC*l}OplBZLm?PJo*-7_F|ReWBWSj+5r4hNyEuXs+Sc{`Zj7>gR>i489lf2`^#pIj zawfFNpaJ}Sz#7G`r`#97iMLLy(&^r*`kQ$n%b|rxc&q#W^lLd1CqPw(HPY%{l+ZJFjiW zf{og$arEEK~E)leHih%kknDj~S9hHW$>?r$-+W z+X&t>gOQB>7z$Is8bd}22S8|)MR<<0pgg&v*cj)&TE+PdeaKcvJSGc@1zT+gUAfbH!RbbdfgL@GIhUx*csa%W_L!ERvHHim&;-g?~kM5!5lXB+w_19mfll zq?58v!cY9Y-y`Sd$nW9ifo06a zaQ$$_*o)UMp1*yui{^!?6=$(Jiz(-M11lO~)9Nvim@#cSldJIklTQ=Fxy?_8TUQ#y ziQu^v&5@~y={LF&2hITRi3;AW3dFJ$24}XZC6mhAnIe>9zHk>l$7^>bb$}*PL}uGk zmnQOL)izSpN7b?DPMSVWO7m0-h{=y(+1mnP1u-zyqd_hWS$rs71vcBPip#2pFJ5&vHK^A_i@}bO@2cnd;Zz3nmfaO=Pj%iABf(*n+O~P&d^ogq z;i#NCNy_V&edx?!m2&OwppUJq8;JbFM4QvLT0wX+TD^nVnR0AFHHV?sM(IbqzQ3cx zofVeEIfCEkhklovAez|;NPUvNiwC9=le*0)55L#M{?o-%F<42o65#^mk#v-squUee z8V|cilW|!e3`V@c{<%|6KvUz>`KLxh*KVLPCvu2y-Jpm8jC<;+xqe?+OO=UwRnkWrR1SaEC~2HCD2X+43IX z5%HC3+9Xq%nXDFzZUqssqVH}Nc5ohJoi)aNLo>TBn(A*a(^+MD?1dKh0(aUMd^GwRUh;bDeu5f&kyq&9(Zf>15L z%0X=I%t+JgsgOY*)fUS)uaSB7ZZB2%DW|e68YOj;7Iu9QcBHqM`L|E8pjgNy3FO0c8c9MX9qBY9Q{Y6-t|hpcetbx*XA3qPZ8`%?d{wo zpU2AsifiNtj?2a z{QO63Jst~2no_(_@BuGYqY86(&=kiqCp9ps%`%DDQhJKIP&Swv(J?a;?1&>=I_$@2S`ka( z!dY99%rNsaVU*RFe+(PHXE`loV4njLwDXq9(xI`m$j+!8;NkjrxvwpTC8X=sWEG##02Zrnz~OWP=(q z_Sy^40qP%u@_9GIuGRSOWl^41QrGSbZ=>N)#ow=|UFG74-~1N_uCI)aPCOiVJoyCS z5n<)Hdmg4A#-R!QqHkSjqy^5P`CL4N*>zqB%v3&8Bs<1)MDet`M z+a+lBFy!`_=!qkhtJy$xl4Q3YVEx` z9zNGC%*|@N&kZ0u+qmi8xf22)-x{O2cQB9k{KTu%8a3F&U`%KRs}1m!E<3jgbxo9T zVv5w($8OZ`b?dUFhTAyIY^1PcpAFj^%hT3@nXiZ^X89A7Jz^U<2~-#TfKTF~56t0kJw8wqecm5U~y zX(YuD8wK*cm(V;8vfCazXVA*P?tL*|>!NDoe*e9rpzIwHzji18qlGtK=NxwHkC&@f zat0m)9tbT(rV4b{i~B=IwpFtlikU=CeYiYJ7Wh-b2VkZ3`(EB%PhJ%ZW~jYc5>%=! z6_1qmqz9CPue>Tb5k2+DHUBC|QaNyvVW4)wr#=Cj>3wCr z`cOru7xpSjfo;Ya1C+E%6-Sef@%wf%NI-D7n~e}lS>j?$c}HF(9y!=Rv4+u7gYIQAaF zaEE^WdX;k9L?gT#QXQPvO76v!gV^v`1)nvi_jP zRRovj`Nc!Q3fAc<^$nidiH&I8Bkr?pB}MfbS4sUAOPyj5xoht#@m5*Bop;b!kM3W2 zzL~@>MFAJ4tC)`cE+zo$|InpAuo2#nZ-1N*z5p7SudCp-ebS)JNC>M)=jipo*^aE8 z`}ZUUg#xd_g}PXyJNi^ludaPy+I~isug>yk+Uox--x83*AZa$uR~j4n_O&2WAjl_Z`gZY`K+fx_Y;eOhrK>P4e>m68K^jmV z{;5)L!@&ZAryHd598V{f;dzsY2w8}{L8rzC=?QfrCWUAwpH>OBw4pWVCwBIiyu%UApUog_W^#_<Xq52o%j!@%;@10h-|qM|BBn0N`Il8=eZiaD*6x4az4nr#?SwF%jOC`JJ<7JMnZSA zi$8LE>`)`$xK{Zx!=O@af;n>Fukf%+wfb0w$nc`laX0tA`SU7QQ!+cc3Ty8Z`$W5x zqzW;)?LE<9h#5xk+@g(34RXOBdF3vg3U$&4THnaclU&)QB~#s0y(0`!Jux&#{!^M( zudLn%>|N{lHc)9^45%HEn3eN)z(qbY^9+#8!5+&Gb$ zJi9Y?9W#HO<50+Npe;Aos}#+}J99bXsIl|EB|#PV7|xzd zvsESaF4yVjSkkL0F^rgXhaMGsS#7d|7&gT5jl;$?~T#=jvi;1jf8O4arb z16$a>|MIv*snB?FX24!+U@J+0`oBS>2@Hgvz6^@;*ju62HnA_d%qcE6v=Ev7!*Z-0 zLy?TO)&A@3_gprX^jN#X6us^Lddi_v&O;R+35Y23{l`*DS608m@;@0Piu?Y$Ltx__rpGxX%MTaG3>$f>jUUn9RqCx%^d6w2W%KyY(P$m7ks1R4cByWnqifwWWrj0KgG^aU@FYl^8YDIQ!m)%MdRK&FXh`#w-zqG$`AB-mh@bGQDNc$)0Z<5w)_u(ch&V^2u|4oo*M{(I ziK_o~2)L=eH)IKPgkask6mXJtL;X~YGM!#{>^|HKQtdlF7RPejB;qN7e*z%449f{n zhp6rH3#dp%W*yJQ_}bt7@0B(%DncJ#;jqo_!yzZ{8JMLaCb4vi0EBp}lpLZj23+8_0Y9VnaE; zu42VxT4`YzvBwBnl-P8VQ#IiiU8_b^rKt|yXXxA~v@4$!zz4`ZZ3XROEi zV;JOyKb1i4l!S(7KLwZt&C-fWsBLFUfz8H9z;kx4>&IPcLb}5TVgx8XbqYF_nfr7} zp8|H+`om;6_5fpn5ssnOSQjA0w8xY|IVjZ$G6Af6?(wGxM{N60F7)_je)Q=ZjkB;H zyEFH`g3+`s%#O@HEOK0)BeXoFA|gXem@gQ`BCIcjq4nQ{(2u{k3is3Z2ax?m@KoZP zv=xuQE5@T-m^qEewJa3%EEi`Z0|A*kM3qfb)%onm7i_~+l!f?gOPzYHw&SNSf9<(t zdcu@4=Aw)j5sDeYOk=#k2VQGY!_*4r0&*r}qA;{n?IUO&LiDqKr{SEa7r6!JeZc$FZVdQ!ZmSESKX2+R<`QW)oa(36 z^o|+6?~dkOcw@#u6QCaUpxPPV-0-3KmLhzi|b79 zhsWRnD`7-y%)0X;6(DacS!bZ<%nOm4vgn85Ml2__+x>k<>!hX1jZRVtRb4>SLGA_s zg-9$hNC~(C_`tL)g&|7Da|(aYg_cs<024^e7^EHJHgm=8Ol~_~QWJ9NLep6B(8jXH z8=4A+3NU!`#!o(ec8wPS!e-beKc-vRb*zL7Ro1UA6KfvYed6f0-efx;Rw5bq5{i-k zqq}x8@R}OXd~=KmUy50)43yWti+b+Vu?7ylap7#M;{Hd(fL#7%93AY1qHjJTv+WAO zNb|2lsi!3|wIaZU7FBIZQq{6L8beY6jIDf(5$use@OjM6NCr)ZupyF`Rds)%w^#cv!(ITcvnbzr2sQy?7 zX+sci|MsR;402W?rHfH|jWwLY81~IW#ou=YZ&SB1uvhWmSTA0z9az-au{54d3=d{= zcz$t&x^Tfv$b_Foj)7uPLQ-I()rJ0CzH!KwQFD=rJs(so1`nYDTbAow|c9Z%hwC9)y?X>hb~h1>r!H{wyc2$>e~@uyzw+zP6L}>r;JX9q~)HJC#dOu9US)jyd$9KCIA~EJL4SzWRtNe zl$9{%B7kfqJ;H$DA>mh<9S1&(0AGt7%As+gQb?&o&EfHG$T4dHpZmg=ec@haye#B>yNV8>layx$o7V2}ffYbw)#neYa3U=S_JjJxo;r#Uy!K|m^@-`l0^P$Zg9~w94 zoMIA4Po}@nAO3AcYH@4T>#Ntw#xUlY9PnFs1-SnTPp!LMTqZt+7-ywlhX{8O#+1AqLif%oWTI*}3Op`pLtyKncu zm054?UtzLT^IsWA?#TUC(y$x!(O}Gg4&Ws11H1uW+}zdloI^2_{O0sbidqQ@fsh1%VHWk=xWR zol`>%-oK{Z2&ywtD4Damr%#J*-gLut;c!e8;xzyB8>3@73I|(^;!eCbtGy`aR(eA) zf|inwZi47Fhy41&9r9#GF!bx7kZHd&Ux>LjZJ}q*rMV{jFUh+QMD9hGgob=!m(;7c z$ttU5M$Gzk!e<(w(lkTp%`paWum^HGja(Ydfs?tf)2xhfLj==OXbNuN5cRP)twqNj zE~hirV{-JDQ=5NA3X&AJ3>sCDfWQCc6TQI-!xKV1{u1T_G)jbEav@q&;W%*@M2bJd zXy7=7&nGAEDqsvTv!FNM(!qiG+dL~`3$RG+%2ABgZ*3t|i79Cs#X&+tqj(fdLb@5L zGGemC{Dkop8gnedFIsteohX|o2sC8~iOr^lMoHD!t{r*z>`!1K+j!>%7QCk!X>6^_ zh>9_~3!#j#D^^`>w+0exB;G3+65zdJ`fV?oIW!bfd3z4$yzAXU@Iv{IO9+KEPC7Ym zi?H(qIl{U)ZVI!zuT%b?D=YPQ{e|~xDc)cM^J++emNlo&kC0pK25!vy6Ig6;-+u5% zHjPrFhJSy@k%_Aep$REMsyK+ue^x1-jA3L2h?EIHq!mKXsUG)|To>PIICF=}EEwOl za>FID^rgj^6`i_J&zUIf0Ps9dcvK-hU;0#TSXE17MqOVD#IOty2~$tPY}(Xn;&PpM zuG5+=`7vRwnufPy+FnhqFCTA_^QIUPM@FZyc~NXIV<(n8s`ai&?ui4AtTCT7Md4#H z=4RS$F&AIt#@~&fJ&jUc4f&k&n>to?bcz&IxX0cz{%O*t?*Km3KRBKrv7IzRCneri zROWvY5(MVf@t!vb3%H=hj^jVLsKB>f-+$1M0^zq6jdH`6+^8|fc{!ftqo>%fbT8}_va=>iq)PDj{abJI-zYCEygKR}(Fe91sixq=&Y<8e z?qUX2R`^kU?Vo0bPrG;ZxT(7jL&2HyEJzp)@LW2Z5KwlLhJ5r8!?Fp zPp7BEXp2{J?Fdk3{IwJ9(K^>WN(=28O7o@~i{N9#UO448qxIh=;R*Esp-{yAZ^PfXawyD$iA?D z3}gIMDf0(o;e!#X?BoL!YoHb)|;m+@xW;`)Si zRT``{#vdOSs|Ys|LreKp*KiEa0_jOEe1AAMgT;Y(K69g_QQbdiv%Up%%$If?2fW&p zU%)uA`&vH)WH_jaSEOdoQqe+DkYSq&RpmB*|8}SA@e&lrv;raj*?s_1^~%u3iTKb2 zW>kZc|6AKaTzn!}!_OVG#YL)6G2fK}MCd+U=fMPEWKsRiR*C@#V`|1%Q>WGo3=6Se z)PW9XE*BoorO`M(2ovdw$LO~Y;dpVYRtiX8cx@$3Km>dG8fMn-3--@S3+3Vo}* z5B>X;jEx;c{+}AqYw5q1e|q}=QyKbPw53O6(@u0ocI6aw)Di0==7IeYucr<&J_3{8P**^HviqI8Ycu?a228M$)n=0Oz=wTCH+ywPu39o05;(Fyh^6C zjn>?(TkiZ@rBOVVUKAp~!G<0C?ao8rPylTCC=y?4z2)hR zt@pKcztwD4VurT2DQG*>8>OIq8|;2VbLi>JGdY`lbZs+$gCWFd)4 zQ(1szFuoHZg#A!CS7m^Dmc z*#^0d*-lydjKOtQV~&&f$+>D0zC$4!dR|sc9QjOMxS>pI8YW4@E3u+TTQ0dWN$V}S z;`H86p!={4V+B1n$6MqFbL0Iz=VbPs&XMFt8?#1=q|o9Jp9=>9SfUPT<3tc^8_B6B z@+UcUR~znzAZ_=YnWBaaplKZ-|J2vtPn6F7D4zYP{?evnXnDnxNojTvc-5$YPRE;j zU?)mrwshWL=i%Ec%J(@)Ig}9P2w`fM8NS@&Gl<{^2M_YH@^*t1s+n z!URu*FQ0z4S*m~f94V}o;;f-81c8_I;f9nV^qvGvv}#O2Nr?BY|1-!8oo#O%3)-Qb ztDu+C6K_!qbF&|3Zm*<|C#koRKB!)`8qbEP`=tOSPV+ieD7a>3P#cDgr!C(5 z+^N|j%?SiXrNZfQKnn5c%;VYFUa;qm5uWEc`8W5^OWbW*(H zwf=T0$7Nu`?of=jgzv@4sSjVpJRc%+8IGH;>ZdLd;KKm$!TlR4w0`Mzbx7|16n6@_ zVk+G#KAjRZ;A&IscmENKtdH?uG-F38cM7!gie`rSfYY8Qwx#8or>Ooi5{m-DSf=Aatxb#k@OVi5pB{|- zC-yluTRlB*@Lhz?NsJY#>A-`d#ja@sdu8*}i8?B|SPY;HZHT zVIr^OBt@L1<+e(DYAERuRDc+1!WF+3lJV0vHk~Xv-HRiSmNX)fq5p{Og3P-u`W*8F zLzvp(6TployX}98o}#I*G9k7pX;kdpDHVUKK1yMBdHL{?*5Ez!XwRU~TmN)s%F0Qn z|DT#vO5f(oe;(XGnn&>eHpXwvFLk@?&wncR@o!;c!!5Fn(&AQNIk~e!GlSWbi!rPf z%f5Lhw-e1Ruhp*4lq~zQfXuq1j!MRS6Cz&aagbOkwX&{|f>&Da%!VO={0w;l9SNjF zGM{YPodgKl(y`MytJK=J?8?hiJVC@Wdoz>h--9#Uc3p$Nm%pUJPT<>Avx61&6(P0U zh-~Fr-suk&-8-9kvoX(N%-~sr8$AtI^{PIJL-+`(xdmgf$9kAU4)%`?zQKNmdwt#Z zf1JvTHm+;j=LR3lHYl{|j{XQyI_g!A32_+H``xn1NI2Oy`Wc6^jG2nGjG&&ZyF0bA2t3Kl z^QVDCvQ&TJ2kPf8o)qWqpQ;aAk4^`KFIK&X=nB)rgYkKrw^x`^o$s@M6$q0)%!PPb zoIxy;)K$bzZo5JNW7W^eNv{@(_BWkuQ?{*hB*%Oc$y<*r^5Khjp z5zfTQ>_^vXL6`&imSxA8=+~IX0NJ}tjdTL|s$4yKB`N14=_*by@0Phh#BZhAHE~?} z7eR2az;McKMM)~!ymYkDc7J|MuI_V7AlgTCOj-lk;3PJcLgm*t;cPrM`V2PaslJBWBb##%xZ-iBzbc!I)a7UytV zRe+Pv^YaR9>!O~wt>PgL&9|k8&Vyu)n}a|d5oY#v3El_UKcrHsN!%?>KFd%3k zyVK<8cEM7J>~ALtiygV|4XZMq?_R9)&rz-SO-f){LK0kRe_wK!yHi}HD=z=iF(d{l z1O>jm)UC(pBU?tGdy#8i@=kWK=XW;n3|Ne!|G46H%?}dM*7j}X`*!O4vx8*dgleqJ~Xm#)+Z!sm%5mwppPR7mCPsE zrpr2sR)y@aF2Jr-3Hop^hr!w9UhGDl>5qN$6jSF#*ibi6*Ysry*|nN~^YrMwT5Lx?Epwep>4|CW}v92KXr>xhP| zy%yxU`2Nel=SU9mO;OKFAln76+Ju0!9sK%G_57As-i!?;?(}-|#3S_XHb0c1<2MA-#F4dtp6Ymh%k%XBN4WPvAJ zHSQq%UaH(0YlK%yoLpyPT%r~CrK*rvqXRWd5@&43-e49mA41Pw!=lZ6Ck%nqxe9B& zoDEsX5b;Q<={*?ipyfSsQFL8F^d%>VT;MwaNoW$Z4MPn{~`NC zCdcm)@uNpfl>=~rg;O=gs+Uj10^7;m=UuBGpM^6%Y8Cg5ZN>t1(2?DkBWVyWN5yKa z{+pzs#H{$51Srq+C>zO<5quQVmGXGwy)}f&BBa%OugyvPL^nYNk6K2*G*!Nziqjw50sES*r%I*Km`i;-S6kftW|EIHp#9&r@rq|_ z)?=`jmpQsLdv1!a%h*coG*Xp|udH0~UPZY!DJINtYt*G`@fMfaGtuAO5HImp?K5nu5OCXY}J#GB?*S8KFsYo7W;{ZWkFlL*uR)ZpF1u}k01 zcg*A>O1mnkth6eEMoMahm$nmu4!wOL#ApqDN-H;=+<;?`ZUiPADdcs{GWc-yw#LL| zpbTSr5xcc90%n_EtSION)1$oiZ@K{|(lvJx#Bxkp#_nVpPH5>25+F_pS#W^1X!ogK zoes>>IMpT0XgJH9GTz9eh-3R^#GHxfbfl%sW(MZ7hQs2h2F0!}o)G;?tBor?iV5vA z)fPA++g*QC|*%TzEZB&7dw$0!cw{#4pF;$0-N4p-O= zUhSc>?X!;8UMN~({-e5`laTATHut+7Mtb|J5YrfgGqtbz#JZeWBK1{%sj*wn)l4m0 z;!k8OOP{TTQ#?n-T-P>n=vP!Yo~Nh2-*hs-16a)?T91vQDJ+v0@pL*~62259Yl zW;&oPk#a}F@9x_)uP8!0i)e%wdDc@z!5Ocn#=&Ylc6=V|+M=KX2mD)&xpTrT$Vu}{ ze5K!N^k6SC=(s~Arr(CP3DE~aZmP6x3}~TVhlOo5lKR5poji8S zEqBu&l{H@*m=u3!0g37Q!ZMKoLHXvNQH>W}Xzo@T?A@E(^`sHbog()g7K9dtagp*I z%Y&I~;^{$|xvi; z_-d*gihV2qnzpMFk&iO(UvKf1ha)9owigWW>hf~SSgkSGop6!F`W!UscI7i?jVBJZ z4Z68g~C zgm9;;wzxvJAL8BV&vDzQ)V=>~F|PaPu$?7?HN#uz4tBd_pa%9)3al~EQk1s4>iW@8oVNkgKvD=Vzgj$;9IRo zjn+>Hyh#b$fe&Qyy{Ok@dvLwEUAaV7&Ww(VN2{!=7C*C&7kFgxcUODB>A}R0H3R;w zkFV}GzPf}>Qk3VOIsQCU`HVI(h*XarlHtzC$jcjI^RANuup4`NYJpS;-YeyT$ zH@Ly#xURV?m|6D<%WH7ghEToudK8GVKRpM~mN<;GvZP;L6NUun#Ej?V`d_IkiQup; z7mU%iH~AjOn3}*CcH@`kC0tS@AKKz1!to0C`nUj1beG;6@`CW2=CTS}-?)(9DG`o87`;96!tlLRYBUvl8i^jB1Q9FS!Ax*QDFMq# z^mB@72_E~itA=rqca0HsMxUZ0sDJ=%**}7p4pXa(EU&&fB<@7DsRR4?;sm;#ghw8& zhf3NS3v4E~g{)ASsXSFJG@7O7 zi}x0)rtLAFjv^7?l7RBhy(RUK56wP3{1L`-JX7np7td9MCig}bBv@Wx?_#{gyRf}) zVKsbeHLQR!2*S?147Dg-z;zT_eWJIgFZA7xZN1>fYMR81avG%kDX)oa3bY?W1T>ZmAdzwsKUx*0jn=2(= z`6T#w*#C``NBWQNzi~GUme&(Q5-$qhzgEk!@2^Z&K7LRV2JF!LiTClpoAEhExpqZd zJ~kTZ(wO+MOdS{++C(`U7QJg)W-(J?hPGDmct<0a)opuA-I=zZR!i)!ni&lM#`&k> zFM02*W!HLAbdHMplG=$fXj^yFLNEB>3(^^-JOcoO5#hO0b;#pqi$cy>l-+@ZKi7xmS9cAd3xwKRbaZOzPtO~4-5P?VbKS5OlD-0X~lM54!Nx$P5hG9 zuIjWDqDg_q6MO(hxDOVP;Gnd`L z+b&qpa$#kSO#G4?>G<2>HaX%48*cuO<6hrh^MM4APZ90?T(8#PuJW#f7*6ny^OsF; zY|e+h@&Fh4Ndef@l@lQqQq|;9$@uqSWj6)%&F=)D)m|GzBzo@_FJnpGl=dIrD8LNQ zwjQ8OwNE_=girB0DG{QSe!5~ssxJlhDj$K*)JxY9-*me44^&_WXjzDnTU=an@)tph z&?{CH#P{3*2M$zvRSiNXM$AWuv+O3Prt18?C64m7O7|7;e@$8cp9}M|{{Mb^b&pbG z+B|7uPq{t@MQqt}ZCS1aKfU{sOTtNh%@m| zvv8hW&&D??y#Bm4-nmGDTF6`Oft{CdnzovBjU2ZgE~s;GPNnucwD$@}?vy6@fEJrR z9JeW=LB^PGhXQCc##0 z@JLDf8?xw`W(@Pad@mKoXod!vFFr6jyJi)AI|iZ{F8lEyN7SrRNcR-dFf+I-8}l7} z@G*CG`rZP>Uo2cee4P<>ddMWLYSPdG*!C%wTjuGIrv}$}V*Ncl^ke~ebmQkA=$!WON=98h(rSK( z2^1$@Ddky=N(=JJbjd6@vUI*aYzstXD)?puWdu8!ZeiO@W}L>R1KxneD{e2*TuIrpbo$-u%O<2hR@@P1>%$EPAF7Hr)h{jUmV+02fd^xb>a zMNhYN7kavOKlb<7vjT2Rl`s}j!$`-=>Y{C^>(suw)BQ9sP^9{u$b#blyoWNuUs_@{wn_?W94#ylqJ0(o)WE~Dyk?+V(J@evA zCVQhV5{p^4{7Eq_8Bq>ikr7I(k`Y6;O0jQ3s8Ab z5f@M1e+xR)$ML~@uC9saAMBGsxk(G?N*6|8PN4Bq|M-aEW(Hxp%NOUx7Q$we$kS~m z2OfmdZo-S zg;|buQl;=w5!6jmo|4qPl)ltmkxV_tpTLCXOMK^hC#i}uQ1Q&72#sh)Vi@b`JKayI zWP9e7Df!F07lnT)aL&nt$lk8CNL``o0DsGQ;kE+in^YzbOf&4@1d2$MNLrylrg^Sg#IhV`B8#r;but!_#aGyle6o&G8HUY= zBj!)Pd{^1dnJZAu*o_zqF28d+OS%$tQ2|p$Z=5-n&vY4)f5z<6d+PpcjdR{@;mp`| zT>NAbBH8ku&Bb!Tc$7d^;zUVm>SfDpO9N4>mwIh!T`2dEnH*VL9y{6T4#(4mNc7rL zv-BP^6bDbWg+?!G>c!oyiY4yOERsAl;zTs21}lqKT8#ptq(-H}Y>N29)FSS#ExJKu zu%doO#{~-L$Qdf$#$STNZK;Re+p2rA@bRVJ{UVrMPP8n+{=>Q?UU)PF0kiD9MO%DP zy8W2-ZCn0rH{Sf${w>HIQhcj&Toq%+V%0q+-rupgx(O^5(14)d9?R>milA{dKc4+E z)M&PVOIsNq&aro0LTs6I1Y53qSvV`-Lr=I|@y!?^q_Hm}`P~1!3aKzy{d0+ssoClZ zbvBdz=IEGmH>ZkL&J|3#fin_yMb574-0S{XxOxV9l-nahhEQY81Oyftockm&%vN~k zTnUAYR3f#6zOlJ-9E682beYm!1qU-yj6T)#X3R;s_kTZx@&lPpbjAd#a;GK0kdybi z)903sEIJvvYxOP0K1tU={zPF@y(vqc1svR%>-3bv#1FxB>*7zA)$Gi}E9f5qk_w}^ zoIP7SC3$|#KuWIDKWu#r_?lqRGygizeljn;E86(+%;1LAvG#s4@@({_4+DQxo>~_L znQkoLL#1LudZQL0^mMT$=LK zhR3hIZTNy37rj=a#jR`?GGlY3Xm*_NS;j{Om0D=ChbU{Y(=y|J^BtZPJ~7Y{r$Pn0 zG9W{7msjoEIm51K1vtHg3WREuSAJ$Q=Eu??#4I?SEd$=%`EOdB(w*Fc2I$WO3H1JUXT|fvlgD4tIqx^pny^4mhiZ2)N9IE5 zVq9}wew0d`(Aj5|tN(|s_YP+({@=zCvu2A@TSZ%YMD0=4BDGqI+FBK2kJ>AtbXXNN zVz*+?Hug*hiWrSmJFTL2?9K1^j?eSEp6mI`A2`>^$@{#<{kmWGE!JbjHGA7jRh>oI zj^MJO2OT6$?#Qc$>rG;vU+Ey8qS}zIAj3BYM)~0Zon*YBX0}q5oleJ29maD{KfQna z3oh4(&i)CPQ7NB_cvaR617l0t=gbBmaER&nm1M#~K`}d1e`~XW@#yDL&aRYgIkSHH z$FLHEwdPi?#YNkKK$*T(8T*(kQIIU(qmMT#-EnN&?qaPD+1y#oEl*tU6K)Zq*7xno zS}gZRvuaq}1r=_IQ!AB$UHuJyS1E36Yv?`ABt|t;n1k|T$8)C|%AefyT(z*Fk9*Ad zvSVWL*<*FLw7EKld!e4uNsjE+cb-*qaIuuUn>u5VWO&+k^(<}?R9E__tBDmJ2@!2QIBSdgm}_rt`4N{LP8h zru<|uj9S6ano7}@a0e1{&2IlpRgTttu7yC=`Fl@dq;g-D(W!iXFNki@spx%W!=llq z{6xWv)>y)e+tL(^6zAXZX9<(*Y#=1{t{nCz!d$qorhz#=nq+a9d=PiEe|0DQgL~8a zm{a%rrg0LkdxwFrOcQwhM>~mVDR#NNw&!^Ibl%{w(AEkg5jV~=0`KcGqvJXLI5Cpn zdj4xa_0ZNex|91)_!O_0!%wd+VyP9m?CK}@eyM)l`!eFf@rQr#n|I3ohWEErR_`yn zzSi^dwES+NyqvaOVZ3DJ)|af9>=ZOObK!~cq}!XdjmHQf)XwbJv1y}3WoxcQo!?T6 z3f@u8ymR4K^(X$qPv&j;6mLxYRXCtOGqLtMV>92+x!+L@zoq^p@T$UFt7~?ku=F0T zlhIA_J<5f|YIkJRa_9m*C_+4%?m(en*Xrck3#H2Lar$$_)v(`}L#Msiylno?%5S+N zxFy!O;Ahd?mF)f$lf+0TbNjIy%OQ%A2>-8C195=~YF?l|KoV-|vO?gocTLDdWvq_H zw0G2}(|p^NxrsLw*TbdRkywzV*9NurAAdGxoihXOk`2v<%~8WgMexA(bx;=1z}ZXP z$=hEIzo)5ckKF>q$JAQRrx`*e-W>CJq&F&6n-ORR-mVzMRYN|8`FGK530)5r@Tm5C zu9`Oe(H5{8IH&M(^JyLOc4%-%ZV;p1o+f{;Og#Ags6R13E>}CFt$`Q!)4Ns8EB^WH zt>X^o_74q={k{jy4SwJGW0-&Kz20K#oK4$C>?Q~Ab+&8i{5~ygm@V+i|IxhZIjDsj z?G7QSg^sFU{so2)bZsKLjBn@seClndG6(AN%@0fMWL(PuCE#Y4G*~tURuB3YXS2@x zyz6e4sG|dlrenu|r~^;D!5HO>QDjjugp!>x?2xevCr zZhm=^e0(~&m81MMBzsimF)^ZxaTa#(*RzJFL|XdHccWA0I?l;);@AcIGt1{+v4oDt05jIY` zpoJ}5kGKceIw$Wa8ru6*aWyr%mASf2@llu)BykUcnK^o7>$ACZhP#zmIMXv0#>1A( z*bj z0hSjO_n$5`Wm5Z0FaKzrL@HhG8d>wc>^oK&f7h_R0kZD0%{sNe4PB5_wF;g-|IPMM zZ;r1(HUoj4rVv{bqy&@g6h^$xiw*I)yMtr`Q*ef0dkbnd<(Lsu;0n^Z*__7dEdsl^79WkHP@5 zenkJ`3!T!NUsT&;_)1rw$)8x#{;lx(5`sjB0Xr6R-$m!VP>CgqkG@6X&VR=}m@B2* zmX2%&{Yn?bexl?CopY3%E>#s?&c^V4__)Ef`!DVnvtkdv?I~=oowfvFQI1i&40pH2wwR|)H4CbJQShAgwQKouQL%q<2M1ijd6z|NDhfTm1_7Veb#fhLC~}X~ntdo- zb5qoyen{m(o6#TKEh3L|+O75CXH=TBdfVl#T^$7m>~KaJCSu#RAEz`>+@B2*r_(#0 z39Be|1fD_B{j2{*WR%W048Equo^OdaFUWtQ_yn8i#q*`qJdWQTyoqQ>k7IYuWb5>& zh2ftuRuX~ZDy$E_@({0O%T>>vrF9agb+&~qW4OY7V2@EDC*k06Aq-`vhEnK zQ&(s!1jyliTaaK6;PuA5e9$7(6hBC+`g2^_8%R?OV>^&(JM{=; z-G9h@6?CIkQz`x~;l?M&H9mWD=&QOq{F97pABm|V8+iQa z1MBhJ&EZC)2=f*-TfMJ0C^j<3|H_wnK?IjPhysw1K*JG1U}hfX)mtN*e=MIZ-Z_sb#k zE844#xl@w0rPld0@!W-B+NXR&r52coiMSK@OVBdF*260S-70r;`5o}s$t~t*N?1yd z1}x`p_#0{hOZTox4^xNP?G4?glWP<`Fk=?=jKE6i3zq*M!O3*}f|&;p#>p)5>LFl> z%T{?VJ}wtb<8%xpiX${-kd$pIn+!Tp$h%VQyr5DhZI>*Mo@1NI_ zX7RQ%SbDFb+cb4~Q`txrWNz(8kBd8@9p80T5!|!kXLNh5;%V`E5Bohw6LONIw;aXV z6zT#S%G6cQI> zE(0ML*fggKKK|hK`$+r1X||wMl8x^Nm+%^G(@ztmAWrLm_{V^_Dqs3-&F{uEowIRX z=C~ReD#6*HRhiZ$`0#=*R?GoBA<#4baOpJn;8Pd2VjS@#OB3R!9XKB6ZU!Ssf=&R4)7ArL&b1QH@=I0iZ!q4v|?yf(;M+*r_qFC?t zXXAf`xQgI5mmstQ2)=3Y_VPj^Rwjko+cU`p%6Ur80tRDQ1`AXxL}k*~p=`fYP$2!6FSxc4^p6*!FB?#h9Qkm%nE(s+)&3K!IuTRl&As63{9j#(~W9e7W8*@A$hK+6vQ zbRL+FiM~5%L(Ovw{=B$*pT>hyl97G=S&~!jFH19K?IF3w9uXW`Gucw%Ykjb}=+)y9 z=_|R}MwGT5hKB}%qom_MlVb!@AGq)C-W9`84++*`-R0{`8>kqw?rnOgRsEwBj>5x? zx5Dtq0*O>1CaTf*H71G$N;Df%db*aXa+F0BR?rDc!WG=31FqBVzSfJ%F5#7`mM6dX zYi{vVmM1)%ms%WQArH8i<2o4o_8?deGOz?FlqX2Oqk^bWK4+Ql?NFQ{jjb2vrOFZo zu-Dfs*y172jEIo)ftjFJ7N#~~2d7B6`}f!$eaib7$w>b;?=h$!Uk@?%uZex4OX?@(O-gg6EZZm4z zu6)86k@HGaamZE%Wk%CUQBOhtK>5o4-}9^c9DxSLV=bqr%m|aM`?h$uRLsyOWcJXS z>9L;h+KTZc*caG}l3d~nCDw?k>t?=XuInWB`xHHBV&$YOr_6GP9hPZmveZ1fn^nMm z9sbA~)Cy@EZn6!FgDZE+Gn2B>22#oUruM)NsT_w*|EPj;K#Qy7N{I}1)AXNlqklgH z`?mk9p7InRUy-|o+M_u_TR7Z5qL0kWW`XRCcJq_a^P>meHNkyx^nh8ay=T8^tFlh6*lZ z`K$?gH{7hYJWQi0eRDH0FGa8YRZ{&S;k6SWrMpv8PI2J32eJ zvg(~&NqV|I_j7XMeH_U-X#RlhpG7XUF)kZ|up4U+0lrVUXE8HPKTaLad+_SOh{{K1 z6c9U%cW@MuKWR?MaX0#H=7}5VkV@oE$-$r6d+UYXzTVY}``1{G9RVU0+QO8^b@#sU zqo+9nw3d7_TAsqXT$EYqk^{**G3Yg^5)Chk%HX}HKJS|3-;~9XogusK&hi5K`($yV zPpftQSWbe`L#9X${Axc%SO!0{X>&l>OFPl$0+PC@IlWM-JPW8#b-wqPWPYS=;MAE| z-|DonBRBeOe{Lb?MhG$Dn3rUlbD|pM-91tTHs~<7u9U@&m5xmd(3TqD2d(HtZtROJ zZIwUAb9_&$=);FUg>}sdKIMNeH;BJMw4C3byWD*iqZ1}pt6>XL6@^QMj?0HgqDU2~P?=o%FOjEa#rsH|g;&-zxVIz8x_<5{PPXNDHCdR$z zb-g}SB`)n4d-CKN^jyYXCKUJR)?=3hqs^3P9yNry-e1ov_*D?}Hm+T^oBPq!r&Ty{ z?TV?{$6|B3)6JAL$XiZdFRDAYc+)iYLy~R2p39!DPLtNDGzWiuM}@2`P+L>`#p_QH zcecN@w4^9D##43{C@x8nPwHCMd`Iul;p`#Dw>C^4pLF118RH{&ZbHja{`D%lFtQv7 z*zfUGVh%5{i(bVP-fIH;iTG66b03IA(U|0MDiLVv-I7&ZulNs-Zj079A-K?>PkG?_09DB4MZoXFc#Yn-+UeqB09 zL940O53o~e&RzZ^Uh(qz6Yb|HTY0R)P-`1bU`p&n5OOS2AVpP<7TIn<8;JbWHmD5E z_?bYy4#A>&zrqDRLE5G?AiHx7#yYd$Q;voyd}qoJ>~(dORobb{X)#`~2A>ZcWsElW|?btlLIU@b#GN z`A;rj2p+_Mp@XL;uYVdJn&}_L+@WtddsZrf&L(#Bi%%U`KZ z*L{I)Rr`Umsqb=J`zswQ?unOSVs9})2;X9End&yb;ls0`q;L6K1HZ?x{SdHCR>Ey+ z&A}hQ%_dMMeEXJ0Apj3hecd}t`ZZI;CO$45E{9!|b(*yMa{qp?BLqDz2MMWsyJq%v zti)4kHe)n0MjiU5)H zR7b;DDC6}xcZko4y33^=YZR&}k#VckJhM;Yi|&Yk5S#HMoz~LyiLiaQ#<;%wm&mX! z=y*?icB71O#{+m&!ZKzD&^FdxRsr@1q z9F@5bF4@WPXd#)`6x(+A~rE$MGs%xl|BlPZuA@-<#1&f#xV z5Nom1@8uFPt;kwLwDIbB|NX7Kq?#v5AvVGlIlFf6hP4O;RI0(4jWO+1Tn$uWl#del!Ln7dmX2ZZ zzeRGsvDU)&t)&djYgYKyZccCh{M9)`{mKEOG++uIIsQ?0=m8*1NzRv6!%yP3r+)bG zRGc5myXBBsG(LGPFm!hVG55FB!*gLwtfU?tX8G|A7hsjcZ0*@1#`n9@y1nUlOvSJ- zu+J2sZ|J0xR6mv7bq{iEl@y{!p4_ur@*#bE41Op7?(7HjbQWwnAAyZMPy-}{Twz1W zg6hVEFR(o|Nv-B$^cuCmQV>xYdM<}88xnBSA%;LyEC^gU$ic?s?f9)h&A|u2tBYqe zN*}jbIt>H1zT`Cg_6>l6=buQ4XilVSk94md7s5o&vU8WcFu+ zH~$?Q4RWtn^C~%fJpE^;w>;J1*N!olw!;%tgyrA!U!v`IdpVF5yIGC4 zu}YMm=^B|*_q=nC6AtoCB5VIfBc&$XhbwT-O{TY+ih@AqfNM-zBHR9Bo`E@9Gc2o+@^xV4Ly z!8RkC#g<&7#a}Zw^;|DeseWb{FZl>Bv(62O8ChJB4o!u&RR#U-l(k}ql0iKIj$t2`pfM3)q0-|ueS?Nmco*j0EK%-n zV^p5R73$WoZIL!isD9HKPXpcTwg+wRVo%1nE9#8wr1s_Zc;f*|47T?YV}xWL!dGPA zZCwb1bjThZ7|iLM$P&AZ)MDF5~u zEEj6Y&i|wZjqbCfJh|O^eo14c&A0F$1LT}>$GArWi z@Y@_|+6lU+gOf5#{EL{Dzln<UFwb7O#ocuKRI)WAZO;~2PUYy69Pura z>L_)#9Xfw>g>o(BmlktrB!&sUL={FxLZVaDmPcNf-?wE`Zj{D13nvh2<(UfoS1=ho zR6HC^aLqwwpaFUu{etg=KM1~&F@7`1Vira3|DHir2wsed-Gp@cev5CM4~ObOCpZ*& z4os0PLngDq@0TV=ahLCmn6q(3qQj`I1>nD3M$r9)bE(A;psniFad$#pp`3@#?B`}! zeCK42%rm%5twsyv-3hW!e}Qz)Lg|i>{->EQRH9v(7N&nVW$M|SkHHF0=cKijVcKDL z6Bg1|1ecgmXSd*iLOZUPp=nU%q6t45%|Z2xazRvNb$KZ;FXcw!S&C|nl#^k_`Z;ki zBT>}&1;ctlgkiyNXL2yFApFgxqg^_ZbhvyoG)eA8*Qpk-}H(p9}zZzcC)^Dy&Ugy26D>&ctd^@onB?`mGyZc*dDp{Owek||zX zm1?%0##tvIBnWwi>U_ZUZXMvug+QYKqbfM0u|^E#pHx$X@gwYtE(H&Oamnrue$Wui z4{xBN6$I|D^Et1*m^I?L*PgcQC15S#w-u&gMt6e#3Dub3fVX2miHwGvMps#UEn=VS zEc;o);_|xKl22Ypj|MQu3VHTM?l|Z5EAhThbkYeF*rUh$(7?Yn?BHxEc+m@2HG4av zpM9WmSN2M;1_Ige?+3X^n3C%7@@T`eiFuJyn@5D6FU^Nsq}@CfNuvp+R=f8TUvxZ) zo(+Yko4B9Do%8%;*3_#RfYtREH%YxP9YPGsmfDP39oL?0Jq5@DWl%t3&0DzEqF;e* zl%*<|NnFwqH`e?@VJ$L%2EhJ%b!NVVI>;bBCu0`viHgadi@jU$EP3FiCxSN2)O_ND zRi}i3SR{yWj0D!7=_{M3Z&u;eaa8D)R|r4I*f~{fAo=g4ELjN2T&pQdf}tx7^8sMeuDW7Ijf6WP@n z8*~Vd4hX&;O5q^;jrS3*_T**pt?F@Kj~5%$|FCY(FEZhJVE#5&Jc7oyp7qUv-b^tx z>n(4appRWaiB6UK6hK3?LI(3USg>XE$n%Z+?$qTg0B5%rn71TmU8)XznLSA0Toi){#a6-8O8)tvRsI-H6R%V|zTeATD}JMliBhzb;j zx*M*D5Me(Eb^`^PTppJEz)Wp>8(TGGd-QObi^N5|4&Bb6MX5~ zKBW`nieQ@ono!qT8KOdmu$%&PEDFg{F8^Z1*;+4z-MZ`4eJUiIZ8G$+i)WesF{olR zBD}XP2tulOT51Eq+(f3FIlhn6Kz^`T z)Pc6AyqW-dYq|?$=|&kSfJ673wK@SKfiOWN1H7a33iEI*pgYUUpo$!L0d$oterZv& z6u}g(=yCdk&pXdhd!1>sRb4a;QqX0IB`I7RipgmHCWQhZzS-S;#uh3PHdlVL8PF4y zG~k=PNuEeN{<)nQ+pZeLkDP>T72m z?uju0+GU;ZKFnNv~Fk)5AFA@fu+2zUq_aH8)hoe)KHZl@u>xz|q`Zg!6g3=sM9C{e)*0sKJ15fx+zW?>U7iEn++Y6*w`NLlvi)=*GS^II2Ml7|{~ z*G|7;>#l!vq|}c2Fyf*?8yR!)VzB-FT*#pips|3eAR(kO-}nCFNgvO|-4C4FaTz%b zP}S`ZfcaOV)pBxg-j7m|JmsNWHLutM8big4u=~u{8d(NSsxf9Svtme8tv3OhrXKu<)Ww2&&sQq zTb{!_3pf|bD2x{FMn70)ilbWZm{%R^m{%&|aF!q2yN;85tjTuInBTf?7f#fMPGdjb zLdk#Wu&nGf9W5lA#ViJMm~&cz8v5|C0_o4LQ`)PZzs~rOJ z=wkodM3nu6m31`#!ak9Mo7>1lPv@2dXsWuc>IhHpN9tkKMN9b4EHtuyk^z3bI{3jT zmu*ImK{K4NhQ_;LI)xXL1y6|IydAOhVE0(5YqR9m*>6nRKqMu;*f2#tl@mK?O9AJr zx$A->_O3)&=$%bQzYZH*hhsmbzutZ#S=)EU-bc7UOV^GHS`VUzur16}sO1CdvGDen zmfutvennBlaKWnXSfh`2Z;`Mq$3+w?L^1k&@F@d_!%|FddqU^!Sy$2XTMPfb?Ul5Z z0fU*fRF6K&1uDZ18Z)E9Iz#;X)7u_98{af$6OEO?*)hzkl_2@F$6k(LMlud+!{iq% z)eL9H-eFp~BD52fBW&i0<}G-JliULv^vVe7+FU$NN_NSJEVE#Ln|MCeTnIozpN>6m zoTuRYsV1z*6#iPxU0&{KRenrj=yIH~dp%IIy{$^Knvn+h3u+_Jcv0payE|>H($}8c zu-S;AZ(~~-(?BrFj#*JC6ztnhjEX)R*eQ2OHZNol_30}i`joRvPVhC0)?QQO=_x?ZYLpjJ4u z!^rn|OGTR!b;GPK{gYa%elG_yx3l_zFI;epD7(Y%N5H!^VcwLqbszLR8F;Zl15E=I zvco|yu$C4hC*gh||HAduyYkd0od=>{Zk;zEn@T-^g-(v>$xQ#EM-y*A>(Dk+M_7a$6Mhc1+i$gWR${Jr&G;A zkBf?tTFC3oW3a^2O0_mw>2Z9UeozdVk;U4~GN--u#76d0*zE7#uZxAjshv(wnHLoR zaZuf0Dn*uq6w_NTj3XrwQRQa**)_MTdD~QT=JggZh8Y+eKtIr+Z?&sNKMr%hZ~u)H zIbYHXW|I9UL-cq6O8u5U|5&5~q!}`_XM;XwoPikq{rlYWyE&C)N)4x13?@i7iY+w8 zHm-S70!fbhw2*T|wn3(m`Y%L1-zx&a$##damlEdIlUsH zc6jKGfqyM4zYjEy`;Z&Sb7OBC9Jp|rxT?NY>|Mr;aXp+3zCfo5Q;93JaL8#$Z8>!b zy_2PJYyGi+JEd2I?85f%m`|+haxv)ESbp}&Z+Kg&p^jeUG-OO`vtVz^iIjx#lijb! z@06LKn|xnTUsz}#2@lF#TNgZVV)V#z`rUh6CbPI5fG=~EAevemg@1M_nll2;>T{$nj1=#H z*iy0nNEd~k?gZ2R*(_7;qqg+!?fv0%pRAOL2_pj2!B#jwG^F6z0gw~mMP>Em7-C0- z5c^=>w942pY8nt|2zzEp_=%GIvcH#mJ1uVd+Ak}D{6YCS^MU>1$Z)?N%1}4ww3%W^ zcr7<0os#FRr<667svvxKCp)n-dzI;ZjS!WYgY1d!w0p7`=?jt7QN3Nj8T)d=a_~Cz zcu@*%adssj^RBTDCC7%*Bq1w>X85Lw}99BzkyHA9Uxx{ID;;b5k}}X z)KZA9;&Jo3Bq|l37X1BGU}h? zu6AkwBlp^Xk>@Fb0mH;v4m#MD%!^=omfU z>1xU|g(37N66Oyg@e?)H;8#W9de#UhPwVB{Td+M5K4|6hHi~&$^6;@ib!yEJ@Uupm zc+HI+-_PjQxLlDcd7%>SBVQ)41cEzyo}{>_K@OB*Esbu+y7nMIX86XEmc2A-(0X)I zR2pkV1|C^_t?y<-sVM}M0mY)IqdDc@WbG+CNc5>H73(;oM%2k=z{jQ;9VP^K50%%D z@*?At_g5ztUvV1Lp>Rt3*A!pX$W{~8-o4G_NhX(93MSD zL=5wA?2m4{kb{@O;k5%Y2H9s)(BErL2XW`D#2lCKcFnNoU6frJqy3%$+griKO?sFRzOYfr?Qi zUT}Y&9w63cMMgteYC?eT+ThDXgU=|S=BD+anRiS}L(V25BfQN4#!MlWKAwMnnVX@- z8g?EkW3L2VS!ktZ6MOgFqMs~0cgab;HQm>-3>@+l=F!IuKf*{z9dl^5tae2B z6nFEuG`0jc47NCSN?+3&WDcy;{Ul7%G?ghNHz^xz9U!qMk~iqP2>O63>fcV$*ioUM z!c1i0jVB;);d%k*df-*bh-~(1?45_e%P_fz6ykP|AI|C$A4A1b2bpszr`%w(rV~&I zx73n1U^*R;ZgECXKG@oPb-?G*|7-VqJzYkMT>d(`PK`|dd%di(u4O-d=Es5pmL{Xv zHG*K020Ljuknz(;>*3ikWxKRRYbh=lFQ zc!^YFF}2{`FZ)Aw)Mu!E*+td4V>6c5FmK{D`@Snd{gnM>8;ARHWdH6bIhZY3A9XZr z3hw%m!8Pm%w9v8nwB%tO!Y=fkaOR9A!8AHGPWaT20HY!(B)_mgt~1hn)($q9%JYmI zK$U4L7mi&HcrM;0``&h!%+55BPf_1k3Yzcj?uTFp_eHtpM3C`hZZUkL3Ank?HxZR* zbLEftMWN3RauR9gwDbGL3&*c~y6UKRtn267W=ninMZ&Xoz2)0!j&wOX*d%cdoVZ9-+(gEJZ8EJ~gduC60!1((+<|s8Yf!H*-0JYtWorCmL z^_Bm1GbO0txKcRtuFt#T-9oi`>M-)9_rrh|gOc$k(5A{8Dfga*kH^)9zGWs`c1M8w zUa557=7O{5$=sbW%iakJ)!TGHXtF$hlm3B5lMg-~z#Xbb1geg;B#sw_%X0U*NA3{h z1Mjt3S@yczWvPK(bUBx|5(=qy!56v3@;_ZqLIss3IY9i{-Fo~Zy_9m-v_{bPJ*233cu@l_@~mPnxK{3G~0spccbz=V{V zf;>ei^}klQqK4Q;UM`Wc5q5v~@vEQiskrFlp7tfBzRVOZs)|t{7p~nlB!kp|w?16EWNcWevM=j1nNiaeY zh48=;hloldCL9>6J$6Dog9T7%=<%HyAW2BVM(^JhrYr`A3iEjs!tTAw-8Wqe?e8t; z8+~>qCE;$iK2^hA?ZZWhnkzyVx6^Q$V?O;I^jJgnAwH-vij6~ zH9gtc^5ia`>0t6mLeEQ0?u$bMB$G{8-Tfn)3{Q1M*SElYBqL+)| zOrw<>kJ@n| z90J54OI6g>cRQakQsA`=f+1xLnd^flD51`A`PW^-8md2OSfao$sm3LGn)5z8LosF^ z4A6QqRsmG?%Wknlc%J9A`%O1)su^j)7IuFNS-&WJtPy?#&H?RuV0kk+9D|`5YTF^- zdU80qm@;ifm_hkdJm_v+;M6>&32rt%O#QA)ME+Iy6pLXsuFe6%7#By?wM%Z9XE*kw z-g&;nV8QXpJBf0%Kc*)i5|&WmQt(Jjl=0C6R8G>)8;l<~TVm-M6qtt#x5wulzSi~D zjP1e~>P>(GQEY;JcwlCFLmG##lQgyE6AR;3?L2x&1HLDEJn85Gp#%w%-0@BA(zTma!hz+Md9}u%QCBpP3D1Y?;za7)L>LQew)Nli+ ze>T=|`o=W&LPSHT0~x4ak3##{@s1;C06$|eJH3cwg!$_u*Tosi z;V_-vXm>utfwT4<6U1MeXS?(JxRw2CpT=w&FjWXR9VPKW>VUg!|gVAiJ25}g^W57n6gPqA5ze-Jvd9c!-&+K=5!&e&~kY|!4i$#8uR=l$2;OjuW~o7Te&@e`P1`AKp&&Y~Tm)yo%AmDhZM~mWl>QCK# zFL_cW)zF5&+_-$Ak~tTGb84|rE*x;C^tw~PnZ7 z9MCHNu{-&ST&r(2?)sq)#hfss47RJ+G$*URhfhe4@JZ#*1c?k&Fc^>2!@K!}qvb;E zRQv9Y^+5|#pMu-;ftqV9W4sr)&>-hh(vr6L_t|#(UF5arVLY9p_UK_l8AIwBX>2>r zEdm5)G++v#0)#Lta9hKd4vU|heW$gLRF&5pxIWP6TgnPlt%7aykY+fPgTvCNtG!-} z#CkP(UgvQ1mQ3?GAHRT~{@CI}^V9~mh_1w?R(F`u*VQjS9)_BNovHpij4Tw4UUo5n zD$GINbRgD!!qz8OE-SRq)P__?Ap%HuWIGs+T5u}|ThA<_Y>jMtCANzS`V}@K%EkWZ zq;4%Sw1{g&+5H@U4r%6SsQ=oc08%hV)srRuv7BeT-iPAotk=DoRzpdG!rpM$TRf;T z)bBiH^@+;wK5#lT$#^6cGZ2_deYImCiTV8wCFv&d33Pyr{*M)v9!L7p!av%Ux6HUo ziD7h>VQ5BDt|RPK>Nyy;Xh$9R6R%I0JkXDL^UM*y8UjtE$VbioC@ZPdJRk(qKr?@b zoHe!=X`)iUnp3P(o`IJJcifICI0_|-rj(8aQG8#{uU;iEkA-Js752qG)scjCI&%?H@?h^kaevQbO4M zmC8T&#AC^+7?u1}<#{X0bHjb|)C+jMOPDuChb)wl876o634dbLy8%XADozNt=YV#a zU?=ZI6U<{pMkai6R9oH8YJ54`!)qu87R;-2qU>H72M|=C}oVC6iRpmtuTR7M$$_dzDh`U<1I7rvZ{j zpRP%ZNcb%hn#k)j#{cPC8WGd4=kzwJI=ye2eXKh{^`sMT==!p$UeE9R!-Ss#pvkcG z7^2eBczmVC{p$xo=R|x@^BIJX=WqXw^{%%V$Da%Up0Hx}25m!CE>L20d&OX8Ytp1y zbSUE&e?xJj%H^6cprTnzig1*|uc|{rB&7xdL;^c`$nE}qac3&hy@w6`2&pb9;U*&+%8_usJy-lgn46_c=?MZV>jfi z0Ji=uahR_$M3R+0{F*hHV+bS!pS4jez~&*e^OICvqB$se5jg`M^w`N?^-kV2K#9>@}tn z6G9=({}slLc=txc*R4 zVCCCtLgTG_kJ>Ovt(=t^e(jhIWPFUayeBNZ}JHAhjb3m^wB5jvW1&CEkr?W_zr7#-enLc^|VSuo0kPM*- zwQF&0YM1mfe51be-2qr2D0|yV#bX2B=*B%=3JV|#s`9Bd5c_1&Eoq<-SS9~gnn#Tr zA5DVWuUC5qpI?%W2yR#Q(kx6&&NvQ`u-$ZdYYt%Bdw3QBF%4zb1{%c#%gfAOb3uxC zGEVnCS;B`@5WEOiym(P-tE!~eBPS6JrCFP3ol=$N$dLs)n3*mchDju2ngXX>(w~4E zWYY=_Au>T7jQ7@2S0RA4ss6qeB$HY{Sxy-kO7G%zDtgRBn$pMTQR-yt?_ZRm=U>%i z14gtGa4qX@H({cyy<%ms`Rj60_Z&_Iwca5N+d$Q*OWu(c-))AdbJ9in-v>GaH3$V~ zZZn_}3$62Ew_b~_37s6r`*4ltd*|nhZ8u`Lh#DdhG^&3l-8R!0&c8V=dS+ON&mHi3lDXK#*P@tiPTOiD!)Y`#uV?*<+{1g>M`Aosb^35EWD$hg z3rxCGh}Xs`LRW5NJCl%KzAc?fPho@a0-0ET$ojJTQz-Z2O{I16qoQj{WGFLe8SMbE z_oQ*>K0(0Izg~7@16TV+#c_+d+{rFHO6oVi&Gi9Wz+=w8038^H|6Zj^D~awF>EJU~ahlodGuQ6Xf(%9=k|irDsEo~J<}+3ER=A9LtN zkmH37=%oV`X%v;(;rJv#9&2nn!|^AipYg7-l)aU`1#~5I{6(nLxiu6-AOvl^4+|mQ zfv!L;LB9ZOypSl>ir^j6=L0AtV{7UFr$}0<&o|L=4q}!OAX)k)Q~|BXe6M((eF50P$LWg%x{T!Twj?KRLati;HrjW1VU9Hw$XW z(V`l%SSi`Vkhw?1obJNK-46=yvX_h$up-^BB~zg1EV=HB*So?}sqcm%kT`&h13k)` zt+U*1oJY1DJm|7K*dvPJS{fj81RQJQhD3@5=e|v#ynFPEP9q*N{O5eQTV05Uo!kHbH9eli{14oD(O?77o*QUF|2ydar*#H0 zz9e+9R_fi0$E-De2#hOXd<{TEwJ-WMNg3=IiPkGBGp{1ni#&}le%g$MaxLxR2*83_ z>vkj1W`3K+O38S3gl?9&-jz+mL+`(dT~PkX0V1mF+fa-~&hq09^(4L_(I5gwT> zdE5qE{0Nv%I&bVG%dv6L9#&wcjgOiDyDyoBgC5pyTB+!=FbUdn$t7AZhlJir3OB)} zsVnX?iLd0Q%a@IS%+-8RrOYfnhb3l=4>f3>wPFtOZmM2FgR}T`>e1WS4e!mAOuSnQ zT8+$25+1HvdDsKn`-rx=G>i%S>-VmP&r7d#qp&dOJ3znzeE?EIfO>Z;pb)V`T{-Ay z@gQ7b`dAzqv`*2I!`6zU(n^H@B5u5*aFskEY0#5vfsmomPFxPITGqu4c%-{GE^g-0 z%&tDM8Sghr9C)C&!uxqER*sSe!ZGX@Cg5X}YfdhJrUeD(+IRrqxbx%x zoRR<6P#O3d|F0=Cl_0>9ig+-Qk84c<+lVibs7I$;Lo0!02r=Nank8Z&V1uN`q5}F_ zE4F3?dK6QS-mE4;3$^}kr%F_QoTi}%e}Zs-TbvsDMfpq_{;OAfTZ15({8}07@@`#0G9f zG$LI<4Im;#fzV0ZDk$Ah0tt{P(g`3Xlu+KsIp@A{?;Yp8ci&$bgF#l-`qo$Gugp0q zpF111beBO!M*TBh@4rU}B%HpsmB3OgA-64iYovp&c*HeB;=T$T`Lm7KmGLxTRK8-r zcS@&ST$}%2yV>h!k3{kfIvECfCt0kQr*C#ivkUtFoWl)`e|*<~e`8tEEe`yuClKzC z`lFK{_kOyi-s_i$emZPn6%hL^0keL99zGHoGA-{lRycPFu= zq(0LM#^5Q(G1~oK6FVpn6J3^rTV=p;BMZ<9!|Q(V9pHwvx^}kc(CIs%y~01CEuDlA z|7Z0LIDIf$j?Uc|6m%%JB5)cNQKRMFEjLV7Z3*(FuUJ;f$J@I6=3VQHf8FB1#L@pJf6 z-1ysL5}6|>22U7^4yvLHdYYdQ0-Emos(-yQA^)^OGGLJ0Y+QbBer}w!wDq^85il5( z{tLUINm$7eZw_eixO+pezsllSFAhR^MY%Zmc3WwvjyKKQJ3MW`hw_0Ui8hW9rM_S2 zZd<+);~+KD&t=-T+gMYk^Butl*m?^I zVf%d){l0M`}{QE3rnsQ;M-eb>gjHSMG4(4v4b_m2Kn5j=m9CPO5%z1tRc5?ZB zGXB5iRl8?jQO@tz7Z|=j_ne9GuJV~m*#G%Zn$RyXm79OyBf*FhN5f}NtGRDCe2Wbd zX^b-h4WW5DcyBkisPj8mh=$c*XPF~UT&>TBYewsz9>a)kC}LFiT@zuQMCo7l&uc9WIWn6ZV+0dECl`63X zvEvH7XCZ$XY2Vy$F?A1g@da9|0dyRcP)5tdO2jnji5izT?4L&j^yu?AW(<6}Ow*yL zSKDVobTbCdou?ZLcyhAw20yU74hS62YRS3oo#e18d=S6cHuKLC=oRDI{{F~wA3xw1 zms3WovQVt-_wm)l#kQHUQy9z>x!(+{(bi+#Ia?a3nrZTK_i=P~FSyKT8+ zzL40l{XDer7zBOOV3Sd%cAW{tlq$Nbdth0peFn$RDKALJ{&@NkcqA2e zP@;7+ze%55y-=*yd%C}X8?)=5t8I64L-*R;I@=XepRxQ+x4h`@->zzW?<3VR(>iFS zW@}`|@aUZ(kW9i!K&%|Pc@{2EBZ3QWoB2~8{pgoyT=1X}IPd<4>>P7F0Z)0+vjhfFJY9?7Wvut;cVqXGI2kg4M(FM=F8pa!o%8+dzRK;vtvGaR&nb{ z@%57f{ZOzq-I25bKj}^|HCGpq6o?fWe15IC^j`e+hFwnmZ6y#+YRIm6XX>nxy`7D3 zNbsNuQyAnOIKrB(Ts~TKYxi{LD&Hs7P1_$S-Jq{7hQOX!-5Q3Njr{37_UZw+*{;_+ z17ujvJ0GjwQ%Lj*x|RB&x?=pUD)TQ2NI?l8thzmOne3wdfl!X6uTC?6J=l8ff1Qwm zJMDGl(cwbPApH{xK^|rX_0pc8*&iRZ3P#c@2M*hnb9U>Br$@Ds#;}rO6}z9VZ$1ar zSCM3}-^%as6X`#1c(oKC10EWM)P>GRl^EajNMBncn6tSy=TT?WMrkM<7q7D_aI{6{?8F zr8gWwN3vQU>#n#^9(i-@Yvo~&t#0+6EJs&=s?+N27NG4S$DfuF96W}0){L%m8wcE? ztXme(86WQ??caxmCX(X>{a>RIi7}40Vg(}?VMQZR!z}Kf`1FASKKiu48Nv7NXn}5%Um+}tW$R^1 z5~Z7m&;;#%>;6E))R?6jQwbs=NlWma4TE>jj&40qH_W6q@@+l)zK94qH@057+O`!L zeE6OSE)&<@ZM3APSyyinO@=*yi1ida_tt^s9PV_@xs7n*U-f(!ePHWMUdOL(QKy_* z#%@5)oB-s^%_>krfR9?zR%b-MkS>b??cq#ifZnzleY$RDzlfSE&cj*85oM0jKmyxj zHy>Tz_VW`uNG!Yu*26AY3%WUz_a^2?_rf{S@ZC;&PT+$^ko}9;iS9l-%jk)xy?Bzg z|C$Ffe)P$EuV)p4Wue!@%1km3;#@z10>lEE(Rv!$*qYeDAK%=8l{5REeAFH-MZ!9C z5jK}TP!+i%DG;@MDRX%BZ4HK zJfz8D%H_~@NX*z~7Lg1aYM;?Sqk^OxnZw$>i&|yUCBXn@b@@J&0qp6w!pCZ&kK2iJ zkF4;0pW22~wD#%_Ga%7c`p|0L3Eq&-BA-CkOS6e^@Nmy}9{Nw(z-PiRkN1r{B%=7v zwkYl76u}I3u+5)Q;S;M;R*=34+HFw!>!YGzi$B&)9l+ptOY8&>KjEl*#Fub2MYK69 zl_HER`uX8&bpDDJ&vuHI@I;D-gq`6ykFmx2OX641I3!Cbrn^UMA9(ZDJFwUHX$8D7 zwQJx79HePuY4?)$f^UZY|3n1h z&ng}eKMe00~H)BoZN%~)pd3MZgv{JfbuS2KHmX`-&O z9{y|Y1@GNKqmOx;s+KtLgYZJvl!gl`n zf)^pj%LLS=>XOp2sitU2t#aL?@AC@@@56C&Uhj0Y`-{)RhQn!23-?ipoMgl)b9mj1=c(J9Z<{UG6B<|~hWal`G$d8Vi54czu* zy$P8MKn1g0fTb{R*(%gHi#9AvnSRkxfmr_R^Q998N=}!2+oyRwBd@ol`1ouPld93{l3%NKtCJ_Cvm-+JBr4VmTl6D2aF*GP~Fkdx*F3VKd46Y zR^*-vx19~KQ&^zMYDy9PC|QR$qNB|_e_EFH=|XxU=-<{ys0gx@d-h#ZIyJDN$|PFJ zF8a+;cJ5AbOi6&2=UVG`%Pv7y_{_2 z>PXpDh0(LDKe4q>5+=;ix07D^hqtgQB{0U9T5a-qOH!`mx3yA?cfS|hc&8rdv{G}Q zdU+c!KYWrY=9DM;KGV*#p#JmL#^o7Cz$I2-F(1Rx!bQBgG9DXiQ<&%3B{rUv0C|d& zKbOL8#%a=90{mPX8!>BFS)GZmMexSGY>z68)Oe<8p`dMh<*<=9H}pD5-DQtXe*D%Z zJ&Soo_b=17L)72$CttwXCg|5p3u?k7))0FslU*n4mE%ZNs$pl2Mxv6OgPOIi$AG}M_1UN=@(iEw@tQ8;m(qi-` za)i-RmAYh)G$vH6Q#@~(ns)B(y8d=uYF-a9LNAjiF;W+1*Yb;@NCn;}Fwr*`7T3Sx z>)H|$8ox(RoP-a=no%3D{YzF9M18Dxr5b+Pf7_hek?h=~sF+{W({=sgvkDwB6wyAc z;_61tAROr#t+H?_KH@StCEXfURf4IzO8JL!kdo#?f}apgbEY1pd{OsU`8y$P4BW=W zrxkc&Fb;zo#ZSu#UeU>GyB3x}EQK&&OkVX=E&HLkY9gp(261{uXqXvl$O_vxf2HN# zvEqA2{p_IY*OD{V6*q(9#l-_{JX{~iWD`Fmuk~n@ZFabj6z0z|{CY;MRKK5hD91hm zZe0ods6X@gq#R`&FGvb3<{sdSIUwy-*Ls@jr?w%B(q$<3el&(WqI-C;X7v@XwGhP& z`S13sI(Li_LN2Pg3OgaGHyOo7GjbTF9k~j+6hmoG&e+s62`=H3oO*rURM=8*;-vJT znP4N0Zd7q;>nDkQWF_da6fX6YoQrA5yQNpn!kru}#S#JKssqln}$b z?~VJrY8 zynj~q5|9i55xtx$73f7Cb_z%e5E+s`peG_O@+dQ1DKIx6DTDr=30e`6q+IAHz zBZ^#1O_eQ7l4P>kOsEu3>r%x_koF!2@d1&@+yo{kA;IQZ`mbwc5xHWFwfr7v^qoT<{!(midO-^8A+gG6 zPZmGxtfl%N2{_x{kt`e|w5l?Hg>};MBH4^uR=ZtK*gBhTzPTHviK_Cj;a)S8OrG>q zc-O4IXVn04f2wlXCDx-L^rf&rWMj`N+$(l<5uvt{AB#&!m^`GtG~rm;7rk%ZkKx$& z@eM8sVqCeol5yNi0u{&r9vEnZLYWp~J~qiNIJSyyj%WC#ROHnel(HWZ)Qca{`nSwQ z+TvjfRoJTyDV{K8SZcqK1C@z$$D8B2aX%>yn`@b-rWb?+Cw?#;@_4`U`HpF-SWk6Y z$_`j~-wsv!WO*!Ut$%%mO*yBXMwXf8`Bj-=kSuFVsik~KTwq{~&qnejBuIzs?RrB7 z^Jc5Dm-EU#^05Hk3;sP&J-RD#c`hsQpdZ zAU_ILhi>4gov~6u@7cx{8DgtCCp;Tckd%j{z^4_WUZ~-JDAtspB#p^Arjp_{7ckut z5+-=SE8h7KoDdfmKX~Zh6ZwCi!3PUE_{d+ijK*&w1(0-4YRD$@1<@Ja;7IjY-v7^7 z?boU4C`0!4&qBR%8$zQ>A!9PqhnGNly7WqaD9F?tX_EBB?s>@ph?`cT?WP(_l3_j& zn^%{Zf4;10^EG>9`d2ukZ-}qnp1Kh@xOgSF@AMkil$t@AC6T?kBvtY+bTfyk@;#~} zYnZn82NS%E?irzth8K#VmKOAi_|R5bNXgKEaCJrea*xZ;hxSqKf&YA^>~>F9uyM@| z42CxNRQb`$+~)b+PGE!ct%18IGKV%eyT(tvMeZ7$W0 zWl$7pn)G6Y!*nohwlYb=&mThxpyXIm^S;bmRd+wY69puTvGw+ThAn4i+ec>k4p^e2 zjNGa9p}qVhy63c&qCsw1dSEP(@ z{(?d$o+!9nnH$xKa09i>Uv&S5v;>fIEFvVJ6eM=$G>$5eX?acGKbb~ z#JISgBKBOXG1b;~vwzWUZ&}3?1A)B4m}3ks#1+B-uQhlxgdB|2m)0w(i{-AfPViT^ za)v_dzT(PpeE2xVmfyh(x{_%(xg6Q0REUe3U^rw1&-Kr_WZ!B8@uz`%=PP+u;WP3o zcT}fkt{1_0jvI(-2>_-2k#f*uu!4{(ky6NB-uK!?#> z2@;LCp~Lft5v#pfOiY9?_Zcp@vx>AMZB5NBjFu(>r5FKywOc0NOLRIoUpR@=+YjeN zAHNCI{>Kr1(2x5;y)Tiqtlc<{x2?MUj?w5z)lBADtyAaBso7t0oCY`x7E5hyocakaYdQMqJzWhh8WL7lbOkv=C(lCt8=PSEEO{;4&Lyfo~8^C`feJY3At+6GI0yIw7JHW zqrdL!TZo|cv%DD^y`#lbx0-oA`y1PQA8)iZ>^MXD%iZ14-T2tN5^A*Rq^l%kcpld~ zcARApBGEN{%vT{b7HK2a2%i?+T1tCqw?4Qab3}xta&mpbKfLB^xD>vjVbEjIq zQ(m!4HG2=8Y~p-&XJ2-eH?wzFr4y@Yez?6^+XMaH_8v^N50VJa4G!gbDDLN! z$uxvzVkz_m7J?CHeOJG8I+;0{B43h9Kd@C#9Eherp(>CAG#FZf)%>}lk}-GamX}(= zL4X#!4s*%Q`~4x1U8NLsY(Cw{?VO`FH{qKYl^dLpP zYfM?@Cv7WF3MIRYyComt6yTz9u=SwW<+9m}mb8B`q|QPw%}e}y8lwa$IkK(Im!P8v zk}@qGPlnb3mcE)AmWrh%j)eQ5SrzhqRat+b9Y6OsV_UmxK{3d9 zlziX#M*~6y#_MYHMz||Fa(4;h^>uh|Gwz+zbMDe?CA)~(R^xB1Jb4;fv>fzayy3t| z081`#OuzQ@tU|4d0SU7gFQsFRDsQCe;4a$@U0VoO|+|*nvK4`xwWqW9U!vea2@M<{F-W zIneHTb`pA12OoHY+vFiiyRy>uV2S#V5?T^aHli8+fshLBnIFn_%VrM$x-Fu!>%GS+fVk zj=L$>PGa2;nU!*SfI{)s0}SrcP`#aA zE}Z?>q%pZItm^LOWkScGuHiOTk>3&;Wol|F0Ot6=K1`Bg^9Uy~XzQ~^Y~5QWe2C)9 z0;fULjoyiXBy)c=wl=i%9FK{G2TD8zh^U?y#9ySqyvKiMOOCH=2Q60UIhuZXtp4vX z;6{G6^a(=B>l=!h0(!$7q0mM)Ms-eI4CYXYbsE}&C7=Eg2vaXrJ@afy-Ewy74<&ub zT2FCu4@#1ChB4GmlNbN-420_Vk23Q?FEbWhfH&SBG%&|ZHzZf&1k)Z~22AU)a~N|sXXeo)dIRx*H_gUnT70~8i~%}qnHK#Z*N znVu5(x`*yM>yLe=l|gX!J5Uz38FQb&jNt{DBAd8GoK(d1J1-hkD;Gz(bD+{Ze=7J| z5P|o2>$JUlqkdA@%fFZSS@MkW0V6TJ9IC?BX_OAb_#@VPB<+~?lTf|+Se6fA>_C~^ z!-OmmgPSqbO`;h_KZ}S8}_2K z(BltS354V7oNqbS^vhF1%^-*|TqGmz5oUvREKRnGF;?{5PBJHg%Gup=+~QsSf`gVa zqgyEJsv5Bq52-7$hVua}Dr*N-lqNiRpS-!jn+XF4VnO#W4<$wKegBE@tY`mU0=*rm zLdZg_gEpNi_T@ID%|&^VoLIex-VmoXaRGr7QCV!*9_Ea|V!nfD@i2(q1Np-Qp3HjH zy}{e7%)NviLI<-HS!h-{MOR=#R!LFc#ups<{+`N{*IEW=3{Ue%+}TTUH4+^}aaRc5 zkXh;6*2f7GdV&*wjv_z%j+Jv3()kbF9WcfVsg~DQwuzqEb+J3o%+yo?kt=pfJ8v>x zbunK<4efzaV1!$(AD%zVk|G4~4@3RUCs(%IMx+g((>$FQ?=1K>WG$*uUQjkD4ismC zC^%n_Sm+C`eqb+hR|3FoIp)V6{0H97?`EBDkBxWXU{P7@p{WHnMTPZ}r15-7&~o}Y3^dB;>a-j8#RrqSKqqPOACBnT3UrTm zaXwI&%E?D6mD8zm4C|?Dp1tH?J9((0;x&Cs5$sK_vKM^Kf-zocM9I>|pgpsMj;j}@ zGh-r*J$+0~mlPq`UBNOYw+@v(ByJ*#5tBlc+azTxx~R0!@k8hleO$m$EjJ9P69PPO ze6fmXC8RN*4%GWug`?wmF>KCdE+_B^x`Nn_`$LI9&dI%v2K3QonSD|gvat6yg2Oa= zV^IoOMA}|AdRGLGQ{IPZvcIu?)k`@iST*ic3l_;b&rlAz)%YR#(jT>Pd$a0J*HmT3 zR`m9uyXlv%{{UdX`}{9B_&>YV{{%fWzlvO4He4*m`(PBhT1mk$E@biISgf(PtlKs4 zke7TX&M~}_g?*zr6_>EKn}4CSf+XgzBOi$_eLZh#%FKIUbZ-C@Lw-qFZ}6`@bpp~a zQ!Q8B%^8A4hl-1zMA)5ExCd`PhW^X?3jJuNC-pW#@?9&)>->vQd%DSWJ)*=J|8@G8 zo+Z79tlMY%RI3E5fP7@-^5GWdP5#6Y0GR$JJ}^qKpzm7U7jy(frjE$EfyTZ4QmfFs z(;KQRaTb>1PO%By7N?9)H>QGR+h38|4RWr11p4KwMOR70a2`)y8%Q>xf`49$QE)Lo zep9gQDG{c+NDe%PmSJF##j@h!_9_tU)3<`wHW0A*MqKz2CUZBqt-!!oFXi-|(?Af8 zF{e6#*i{K2&rcZw1Scao_xT9wo1n-bMS^C&R4<{ zKG8SCo15y0c3+o!ii-Re&~?@aafC{TDw^q{qfz#XnC?%uYc2VR4cy#1fCyaMNX{BF zfUJ=2ME15t4?AW;->ASwUDSa*#ps*6NPRnelgp2aFVwT$c{AW*w>&qwfh^+sCY(hv zI}vZEH2Yn1Gf1tokKDdUS}3Sm8DMscjXz3A@E{6?JT1ct1{s#UW-GfWpyp=z8$*9y zM#&%-c`Rg`{8X(9z7!_sHio_Nx3TQNxX-OxQdBcr|a$t#ehOn4%oULb5_@Ph>E zgS7Eocv>M91RK@X#N9<;cds6phX=hUF5<4JZjN6^9Q5VpawPh;7Q|>@laL?TiwO3G z$s7f-Gs4G3W<0o^O#T_Cm9-S&9HTLh9QQaOA;Nm$mDpdQeWa6=p^|M}W#3SgNwj!oN@He?#v7jJCTdijqNVQD|oGr58eDx6o1 zd)iacpo(v@8hkR7VDom49A3%HC&V6`v?6#b;HK&4sRIOuxaZBM9jSSQVVWlmkY&$# zmp+XSCD%|L{gbh<)jji&7E{e=&L5{}XcDX(R=zx<&3VXf#W$-wr&hGg!aDdQVI+TM zLE~bh*oi^TVN%XiYt2r^(pMu7+MKG)*z80rXL+@mwz8HPCeR0!oS43)s5tz1=Vv}s zq9_B2A463IowNBJMk<|$qRI~jJ!E&%w;Z=UymLT2*X2Mu4t7#gDMl$0xqGon^-QM@ zYx1B>)6Hamwg)(i;xjGn+LQL zkQsotn+t9wA!UcZt~>jcEO`&yL<&{DXzy8V%q9L<=2{?ILxN|20Iv1A;g#_>f#C*a zHyE)XV97hvl|}n{3xPh3EZ1py(Cf09PqAiOFA*MCxfG5)3>?^1Z9+}sFmoRT+wjB+ zwZVX0Pyl(ou0O!vz3K{<=cXt59dX6VrSTF8)Hgt2+~+WA$U0;Oxxf$b&c`6w`81h+ z+0~O>>&9EoD%%f&VM>u|BhFRu_Vei@*i&WvqxjrP8-nO-EvC|>0AZ{M%Q1k((+>3s zdt12R?V^nwsZWyW+Z%)@XoHn_mBk;OA_oM46ExPrQm1;m>+LHm*>lLR^r&6cZ!qNZ zxEz?0%3^ztn`66xzeV9IvPq=0FMAQvGRV<@kl&JpLb=YWVvsk8mtCJbPp8oG83)g< z>E0|Y)DVe*MBE`LY<+3c_CGqwOpZ^j!;MVOiRGRD=}P%Tp{ZD}_`$YIx;M;B>$BN0 z{NLmE`V0FHsMPJ#3*4Pl&W9+pieCFfsgiAthUV~xz2bcr2eIl2&EakIAd??0p#Jb8 zx=Z%au)AT791?k6q_!5k~t zpg(}`raCK}k`=lpih90|4PbS6#I~09#63UHXff|wh|`@NiBA^Tt0HziiD%n?rd-79 z!lw(NYqrS(r7xxzqL$NKFU)OAE`C?ek(qn$?{}`dg;LpmhkkkE3X7fi>k94}Dd}x{ z@5rVLJ3@)YsGRPTyBt2i-V&yMS1>-g2h7ycQK5>+XNyqR7R zOwM0-maAMiN$E~je-Z6BfF+gs&4?k=ZA`yR6Tf3`y42c();noG zm(PZuW91}{l$eW5RBp!}$eY|!sQ+Px8Fl6HSq@6P=-bvaqM?YsD^J4Iilpt@pmAO; zFGex|6053usia5;VV3o=#U@hGAe{GLN1{&uZ8M1F>B z3@z`B@Qgp#i{-$m>cuc&ZpYCGU(Xt1r0V9NT6hn;qp-E;Vn)%Nf8DG>VX;Uk&!8FQ zMSV&V_8_Q@WkvIgx*hm44hj6Lg@= z!LQ8Y;O8KVgB8-^C(l!V8(F-)P;ql|s}Z>Ltxl8hOqeXrw|pHe`fq3pH{P7;F&EIy>1-t}QW+ zryk$_o9)@lWNqVCtZLI2$oO%8+vEz~(m=230};xYAqh+eaH>6dRS|IDVr!iBS{2=i zTBmY%y^l}ccf%F?j8L})N9y)6H*YY+kn|jVswXuZ_XelYdmYqXGA5PI{H#^HmVh)` zI&4N=r}UA;ro1=Xl1oOv553R%%6U{NY4gU+*nT?tI^!qF(|1;={sx2KU821bdl-F> zE#0KJ`ys!*`%t@PE*%5j(h@ z|M*>Y8VVq{NPygSqBEJ%{}#9@{Nu}Cx`@C=%Vtd%5sr9MlM@o~&u}0FYZP7;LD=`3 z$-@I_Bj8T+?R+O7Ui>v{z))I+T#r$U z+XarbTb9|gr8Hhe#>E9<&hC2njfk8Ei zcu;ln$~fA9ri@R5u84hmX=*BbY4TiBN!z*as>2I6M!0YwuC)3ayR~+_v;L#NPvQ-G zC(|qXfKV{Vxf{yJxkP;|uZ%9gq4FpJbd!B0K)I$}sY-C*n+*`YEN3(FsWe||^YA?0 zA)OeCtHD>nq=X_6&nevqRmic#rv?U?SE8%&CY94F?*$Lw<19gU1g;+a=DQIZ<0zI$W0wBU?mLByu07rpNf!3NqG$R%vm zbtfdG*`=?CK79&j1yWQ{Fq8vpA4`@YfRu%7NLAk@bZ~AD?TCp&PsUzi}cfXY5#l3|G-Fn`Wk8lE3Fxf4c5&$=*25DD97x)f10U z#<8VvKDg63&)y2+iXC+O^|Ew4v=ipji=8DdC9RB=Y}F+KZE6=lkY^;{$I+gKT--F0 zn3q8M{@zcndvsvr^E4BIH+X*cjNFaYvCJhqVV0i%j5D(Ii8dQG8}-Gm1N*@H|e zX>svx+l)bhhx9M8`v4EpJAFeVlP9MVgA}?b-(`lBRYq%_2p_^ikeaX@h%nIKRgemK zS|drx6{e2kFSH1Rl>;q@s;?57U`kUp`M>dsI}n5atH>#WPA>mdmJ6#&J6D0?r_>k7 z8vqRpm|4d#l4#EsTwz5#aRLtfeY{5owoIkQT@UmZTv`fc8B%_QuAOFhvP-!DF%&-k zw}krtjUXjjh4&I1cvA}MkA%5sFhqfIDP3mvHe)-RKXvCBFL}7i!QsV18`5bs&Z;~q zlTS}j+U$ER2Wh$R!aV=`eefnip2@Bsy2||vDFrcD`Z(!Ad6F!6-GkUByt2yU=>fDv zAHj*21=>T?5~Ml4#uJ7bN5F=Z$h!owE4W}N9FcZPYF(3}jIm7)IpDS4s{l!Y3c)gA z#yh8nwChD`e&dC718llSM~!F@%6+4dD2Gu{K|{Ud!!OyrGZNV7;0zH+{GtUnZZH)3 z52hWA@Y!1pwhQ^ma|%2JZ-J6m!WPj<@Js8J3LhKdhQ=SYlc*a-ukINrVw*h1nhz=qiR$Gr(yJZagE)n=?%tt%o}3MP>}r$qs@ z#BOeln3{gUee?5!T^B+LvN~K0JRT5^dvTj|G+--?#@Fh$yk-!gp3x-Ob~#oK#~xSx z1PZ_l9p`l$R;jy3^)0hVh@#m*kT5-X2QfB|x zM$KN?O+D6w*yy%ZAdFc}a9Oq&&Yz*%9q(IFc zCmZT~)4Rg875(&6RBWEvfa^5#5rc#cIQj(aADTEY{wOXVYmpK_;5@A$5Idno5DR+N zsc)EAWD(M3pVNog#u}nH#auPAo$Oh4`oSsZwgaJu7;-&Z3zbv9)(I(PSShcd;aI}( zvB{Sd0lX3>=P+6jRa4tZB8*LTGQo__PXru~2|`QS!s3+uJ3%IP;uFPr7w^! z2m1*NQ$qul{y$uFWb}S;y4`20q!E*k@go4EcG466mPH&0QQmC}2YMNdBT+04?TKZFnaJS-fIGMF9&nQ?KKhL?(mQt0VXVFwNM-PweLw#2d zV9=A<53R7j> zY#~pUQ1mH27-RKGHA*&#td2elBwRk0ZZhi3-*(QM=#hRuyILXnR~JOMwT)iL@{80G zu$jp%BcoX96_nn82;0$$xnmJ8rUSCX;OC?A#)G80%LhJ4OjhJVITekDgv zDASmnTgW*WZ`)Pw+kn`PAyqXv&$c zWzHg$au>5=c%WZw6)Q!<^3RjjvFBLtnrhc@atxAZ`EYBHr3<|d_a}5Hkuto@ouObF zHd5mI;-3G(j0X2C7~sS!XLKnI%iJ~!8UIL@J0s{ub21Xz;h7<%!seLirLDk|IWY?| zvN<5Y&DzR<$9c8fr4+&2cW(%<*0B2`$6z}ATNet8)tmj+dUScWoXOjjPcFvw=Y=7M z=H4}_KH;$mFXV$A|16i;;mBJ8n=R<^H>bI9;xOdPoolsNIEL>%s_q3T6z!3t6l+L# zflgt!`Z!k0Q9#u~vH7L1a>qmK5-0M$z7ewt`<^T?FPxVzGFs&(4{$~a2*Wpqk5y_H z8(-zlC2qbta~#Mu)x1kG%%c=-j8~Dp@B8+cG1rUh1Im{`DGicm;dEaf$BMQrx8Q<{ zUsxYt{_Ley_XQT0;w8u*w%x!#i0uovtCeyn8;VNk$LSjJ`u_+UPNb*M0%z^(4mi9P zUy>7(k>eRB9poNgx1gR`{**ttrmk~8gCQSL?ZJ$sXy9*=6lT2QmX|aB&Fsi{Izl$j zvgj@nW>iIh=trj3LkmCIP#2PoevZR2&a|raMQXS(<6&oG6;694c(kLSAnM$ z3B(WW(QkEN9kZh^s?4XE;>q|2f$Xac$AK+{ywU423^9@sr5004Id6JFS8xKB+qW_7 zDz);q{YNxx1dl)*>}ei(oGUCFo$EYH7}+pFTJ_?vyXHm7oRSqL{ysvDuO60W8ksmV zRoi%4KSnQaAV!r{v;GtiQ|XxFdXp^h95KCocJi(~tUig5x+w$trDh^Ctf~1F{>m4xu=lud)K!n|+#j=@ z$+=r!qn?yc9ct_&H$Ncs6^ls}!8CQZibeT7QbJx6SCINpr+&^CIxiW1B8iBdrhGP> zimmH|0QMTDqj0H^he!M=()8@*qibCPChU=bMtX=ro<`_p_iTSI$LN5MT1(w{&V={o z?&R=yr5LT!sy=HT?<(wlq8Gl|rG1Q$;+sw8AFIK5GE`g-M)ZI{V|e%A4Q|bPOJ7in z$%lA<qah4`QNg&c@zwEgl!8G1tMHc1)blt@SY%9+}+l3 z6n)|PkOk7Or|?E*v$XnTF=1?C)J2n@g#1jnKK~y-aF(03*TH8v7 zD@#FoFt$(+2+4o>6OH$nCnTGnGaV4SmVsr5S;{Yl@=s(dD*m!=iJrKdK*Zv${pZ|L zo9!0TG`tvuSiUm>TzkUU2jBoU<}n{=%$*I^M*R6^M``wttLJCe;jZ}GzGnQ%z9d#kej z-j)mgS$?{#&y);Us3uTmj6tln`WCZxo;A?4@Huf#)yFO-$}jqGvc@r059DguJcXYfTg4}SGh3G&SD7@>YS6Y3KR12=@g{OI@5Z9!FU zA~3My9^CI@u(0>mf1)q)e`CW2RVO7VXOdAyLi0R9^~8pPPlh07zx*w?`m6;32LwAK zKJH__Y~N1S5p+l2Ey7PV#cT7H|Hno*BMXc51Y$JYo!J_e^CILWu}Z7O`$b3=u^aAw z4Bd?<{{rAIWp9^&Aj6n{3-Wl{tGg1vUsd9B#fESi&kS!H0bM#GsVbVzGxX_?LJ?{Zu?k%J-j|0qu z$A&*ZK$K?;x+OH@1=d8RYU!&6-ZN%0(kl+E+l;!9TOBX(rI&`U#PNVGqG_irx4c+7 z46bOuwK)JH|9zYJZ!!*+#{%s5uL+VfBb?6&wPD&r9{?BV2%PX^LzTG{&wj=Of+&9p zpD15Iiq?Oh?-<15hRLep9;X?Byf>e0wkh)OJ8Z5h^0FCY>pnYG6*fGqi0+7b{07&I$#Gq& zIZ$0$@SL7~0a**3zt;X}OP$50ph=$ZyyE!!1j0ywDmFeLU%g9D)amrjnL+(6`iMpj ze6jR>9V?yJG!zmn#eMQrOS6m@L1}bu?ITy|wzx2rD=^VXfM%KI{;UUE(lcoxNGK*E6 zNfwl4$+}CB1br&!11z^URWal8uH2vCoI9mba-OQ5+&Cqr+CJS(k3CPV!aH1Sya(`a zYEwzh$4xi3EmOwn-lmAT?4H_s4Ds$97LsHoEXTXyTv-ry2f~pz?_vq zG8Zt6@P--#K)~AkN0fgM^Do=bj`RHg33eVf{_vPMsw#LT`{QO(tp3=$WE$-Vy)ieQ z?T`<5OoyYxQ0H2Xhe`o0+PDOvsQBPPPgiSCDN`V}KdISGQZI#Il4k`%3iypRd$kOS z)jfzJ#_r7sH89+~!fUtyu5in}lbexk5;(c2ftgs#UoY&Zj8>q=Q=QYmKL6@E7+_ls zQVx`qK1>6~m6un$_(G72_P6hM^1l}yy3oT_uzu;_sRZgSJfzP#U3 zIrmTXPD6nWM2Rv?X{D3`H@JX`pxu_(s@S{_>Qq?{+fR-gVDr7aQF304RYX#ooThkC z5Tx*_pM#lw(b6LI`&aYX!BLy9z+}Do!SJRLWhR*w>F=J+rzf>~&0XF`u!{x@EcP;o ziD^CggSJF@5Y;=+rPpnycyw%9S#B*<^^7uk9JTx64(mg&`go(h3wGC!rFTE`7;PzZpik^H)Q}Rk=im{vL(4hJ75DdZ&)BYrO<2DGFfw4>D;4IYEIpRPk{Gcy#r~G^ubX<AGIFRhbO*1(*?Hwdf$uMHH>VF$)c??q8dU?aZ)1r?DgVL0h*UG`csoD zPL$mo!Vb|dZ(U`bM|wW3xJP`W`YF-_S+sInu)y9!*8t>3B(t`7gPyZ}T;-51f@!d{ zE7U2%Sgvp%%;_xEEfF*JRO=Nc^9no>5(^!KY?x5(me-%WT6zNxCh+TH=Ta-6h=e2_ zb>HPwt96vxUFyE=<7HvjX*s=(e(++E_q($A{jCKz#OOx(sllbNL4WSU+Is!@oW9#? z3|XgYb)(&G!u~Y9HqWUVSH_@=aXSX&sRXfem=ElZZEFNMEV_ZQI$;6ZIa2C}K?8QM z1`|sDld1Gyl1C`H8BS(YPI7otG`7M2#8WLugs#`MOeKF~!0=BSi7aE_oMUF!UaN8#cWa0^-9v@~A3)}@}8e5X%XO4z>~n7 zk~XR9F0cD;2W$e|UmqA&ZM*(&0v`vi0M?eYCM5;yQou%(JnMg?OcVQgNuz=HNIJy! zFC{Gv>`&>QSg1~M`(E2O^z?5P5fOvjKqXqI?*!(qWj~~3 zQfqDhOW-MBR9&74xB|el@jpd&J6M@Zu_W+kr=7IklrEhyoW815M zlN-yo0DrCDXQ#~9{xM3v^s9jj8ryyXxUhcTsb1HnjrE7uvhj_wOMy!p%e&QWHf)r= zP_Jti;1o($wvm*Fr_&qT9Sr<=p#Gin$tRzD@|iI{16f1gp$0oi+On2CMoBdC1=}u_ zVlK4(SY7`VFn4XLevT4oud@9dfbCZ#JyQc$Pg)byKiDX{fKsDf$@cYin>p+8Cjuu> zF7^Y!y{@(K>RMnANwWisQCbOpSFh~d}uHTQK)Y`k+u1S>I z^30Tnfd0Im#VMKC0G_SEylEumVWMdirFCF5Do8lvIcOy%c%5=fqQ|qS}W^7yq#>{2K*CPuNTy>IQFbvT*Gse=KGfRe)g6Zn+vwD0ImTRZae?VeH~O75fOvafCY4yNmBL) z_L1~yNjpgTF{OVRNgu15t|)1PI(TdKTK19pcMnQ`^0AWMMQP?<5LisoyZdk%zm~L% zq=P86>v!6Iq&7{j2#k>Q$+pqpKcEEOGbFuN(y^49@UHc~4D1KIRnj*l?Fbx084Cb# z5HP=_A4=Lz(pP~M>jTPRz|p|BB)zNt9^2Rb4rm13KLIO9+EUV|fO%WTuA|*QLJ9b* z*59S+Q^2y4zEjWtElPlYk%)-sSOcC9z1B>Zr!=2mR|6Y$^mglk;sIbXC0GMs`_jfS z<^mSCeWj%Jfw_Q*wlC=BoQF~dx6KJG3OrP6*RA!70P{C?xyJSjZO2%=?t8WEC%QPt zD9S^@@OocQH`WaYmILMiZnXVi+rBeXYW>&Lb4;kK{$l&3y3K-=zWVzpgZI|0+nf(9 z!E4x literal 0 HcmV?d00001 diff --git a/source-code/Pseudocode/Resolutionsalgorithmus/Resolutionsalgorithmus.tex b/source-code/Pseudocode/Resolutionsalgorithmus/Resolutionsalgorithmus.tex new file mode 100644 index 0000000..4f88789 --- /dev/null +++ b/source-code/Pseudocode/Resolutionsalgorithmus/Resolutionsalgorithmus.tex @@ -0,0 +1,70 @@ +\documentclass{article} +\usepackage[pdftex,active,tightpage]{preview} +\setlength\PreviewBorder{2mm} + +\usepackage[utf8]{inputenc} % this is needed for umlauts +\usepackage[ngerman]{babel} % this is needed for umlauts +\usepackage[T1]{fontenc} % this is needed for correct output of umlauts in pdf +\usepackage{amssymb,amsmath,amsfonts} % nice math rendering +\usepackage{braket} % needed for \Set +\usepackage{algorithm,algpseudocode} + +\algnewcommand\True{\textbf{true}\space} +\algnewcommand\False{\textbf{false}\space} +\algnewcommand{\LineComment}[1]{\State \(\triangleright\) #1} +\begin{document} +\begin{preview} + \begin{algorithm}[H] + \begin{algorithmic} + \Require Klauselmenge $K$ in KNF (jede Klausel wird durch ein mit den + Werten $\Set{-1,0,1}$ Array + repräsentiert, dessen Länge gleich der Anzahl $n$ der Symbole ist),\\ + zu beweisende Aussage ist $\alpha$,\\ + $\beta := \neg \alpha$ in KNF + \Procedure{Resolutionsalgorithmus}{$K$, $\beta$} + \State $\gamma \gets K \cup \Set{\beta}$ + \State $foundMatch \gets$ \True + \While{$foundMatch$} + \State $foundMatch \gets$ \False + + \LineComment{Finde zwei Klauseln, bei denen ein Symbol verneint bzw. nicht-verneint vorkommt. Wende darauf die Resolutionsregel an} + \For{$i \in \Set{1, \dots, |\gamma|-1}$} + \For{$j \in \Set{i+1, \dots |\gamma|}$} + \For{$k \in \Set{0, \dots, n-1}$} + \If{$\gamma_i[k] \cdot \gamma_j[k] == (-1)$} + \State $foundMatch \gets$ \True + \State $tmp \gets $ Array der Länge $n$ + \For{$l \in \Set{0, \dots, n-1}$} + \If{$\gamma_i[l] \cdot \gamma_j[l] == (-1)$ and + $l \neq k$} + \State $tmp \gets $ leere Klausel + \State break + \ElsIf{$\gamma_i[l] \neq 0$} + \State $tmp[l] \gets \gamma_i[l]$ + \Else + \State $tmp[l] \gets \gamma_j[l]$ + \EndIf + \EndFor + \State $\gamma \gets (\gamma \cup \Set{tmp}) \setminus + \Set{\gamma_i, \gamma_j}$ + \State break + \EndIf + \EndFor + + \If{$foundMatch$} + \State break + \EndIf + \EndFor + + \If{$foundMatch$} + \State break + \EndIf + \EndFor + \EndWhile + \EndProcedure + \end{algorithmic} + \caption{Resolutionsalgorithmus} + \label{alg:resolutionsalgorithmus} + \end{algorithm} +\end{preview} +\end{document}