From f0fbac7cf630a1ce0f61cb1ff488b9c1833b956d Mon Sep 17 00:00:00 2001 From: NotXia <35894453+NotXia@users.noreply.github.com> Date: Tue, 7 Nov 2023 21:53:31 +0100 Subject: [PATCH] Add FAIKR1 deductive planning --- .../img/_moving_block_example_green.pdf | Bin 0 -> 48338 bytes .../img/_moving_block_example_kowalsky.pdf | Bin 0 -> 12904 bytes .../module1/sections/_planning.tex | 222 +++++++++++++++++- 3 files changed, 219 insertions(+), 3 deletions(-) create mode 100644 src/fundamentals-of-ai-and-kr/module1/img/_moving_block_example_green.pdf create mode 100644 src/fundamentals-of-ai-and-kr/module1/img/_moving_block_example_kowalsky.pdf diff --git a/src/fundamentals-of-ai-and-kr/module1/img/_moving_block_example_green.pdf b/src/fundamentals-of-ai-and-kr/module1/img/_moving_block_example_green.pdf new file mode 100644 index 0000000000000000000000000000000000000000..d97e742306aba04706f75e09f50c388eac40cced GIT binary patch literal 48338 zcma&NW1t{SlP227wr$(CZQHhO+qP}1k8Sj^Z5!L~%I;uGIDUxo3j4%o#H>TkvA|ik#(^#{M*3)nX`ngshzNekuyH~-`Xic z(g_OMx#Mfm|9xR&q{nArrq_X_6LYk4vBzim_Xvt6PIfMiMkY@9{~##h?kuL{{1>W! zdo!T_x0{f_KiL}@{0;v?$IJUa+xc%F-C6ND{w*iozt{hwfaPz3{~zeHnf?J@M+o1* z(l9?hdr}2F7}S##RUd*Kh`b=rJU?EyI$zJAbT@Gp1w8ndy%u!9f2ZJ|lK(gI8UAVO z--iFI(&_&1H2phPf0NVWGqBMA4Hy_%{=)VDA;j%%$qOj=IU|*{C*w*Zczf6c-v5TtMH~k=^XTtf zJglA)kp<{7aZHlT*>a&vin1ka7uLn>s|8GrwSw1O1J}-4cZAlDHkBL&pHZEQ7YhC+ z4)&kj3j4KXY}Mg}-%_z^E8XoNmnOUvm}IG{R^CXu*)!{y6Pv10yPyzSEWG|9Ry*#U zc_h*q-Mbg=JqZA#CHFlyYZkze&Og8o<-kPmQ#kh4-YiNfJkHPT)JzK%!G1Uh<^+vYX{0o#cEOPVuJp?jlQ zY-Xlj2rgQnH#$rn98Npn#eV{p?Uy4M{@5}G4qU$LufWTkMx-T_HjIp#U!8#H+@L;! zpi%J=vRr#QQ8tje5FLly5*twAD+6KSMQVp&4Li*(5E6?3LCltX+*R_LsZQK zqQ!~Q5gC7_FTS%y8st?ZFN&&+ST3#cQU|s%u47$`b5ru`AJdraXE%j@76a3YKFmVr zz`I~%KvdY5DXPSPi8U0??A0SW@iEV7kJnMJJ!mSE-J(uh41p#qROLP^miU=f}oQ>c0WzgX4Rs@4pd7v2pF{rKJx1V$2->bpCh$cxmIG(3;# z*CkPPTi}gj{aGUi-}Tj4&>u?PwFt#C7c^~$q;O7`*u}Kk{K}HcjprYl{I@^Pj|oCE zJs;PJ<7he!d?9hVgdCD4X$j~%rC_f{7I^)Q zCNm5YV)n7`pOrS}`hi)+e||D{7EZ2visA+Q9GiJeZv(Iou+dtcZ*)4Y zj1w0CUoNs8&d0=-ne+REvzhAb-JKkMqk;T-55jTGM}U2C`ayq^lH_A2Fk!D~1qsv5 z?MioMK?&6B7aN1l6mQU;T6mFc~%Z?UdWiGUoRit6otyB@e&g)eQYTF5o z>Oyq;vOM44KEZ19xyP8Gok}dTE(Bg91RgkPRFuY2nV}OYu+RDzU@`s+u>O(#A7-xq z0#-to?O(7&+{=CmW6S!A&cM#{}m6M+~xJ8G4x!VSx3WPG{k-d*+JswfS(OoBZj zsjc^5U4+0x{$+eKukZW~opobGr|1W>2PXCiby#WBpI_owC*+PL8cdzhmQ&!=R;|_e zW#U}}P$2ywsJW2T&jF2jusd6x$!%BA(5iAe-Pg2_pPICsMo?+`BVOSlE5Nd>WC%Ir zwa4SoBPAX1DEJuYGG3?jE$|4`gwi@Cx=KH(qtYp5sjA&XTOvE&X+NxeQg|}8Uz3DJ z0;ZA1YjxeUP-wNE<4$o4Z|gUCu2+UkCW$0V zX#Ihh+(Nk?S9ZLLfacunhW!DOSr-lr)#%_wvzrN2U=*Wn+mCdnHW4s~2U~%&y^5$U zwDR#7+JXD}uPLv>y#RkbPD?$mOV@vN!W>zs=X~^I$ovxRge9(2zYghA<0YD-=6z%w zaan~`cuu?P;0Wg2sk$dIAfb(gdfb#2*Bs$APdNw2e4}%vh*XHMyO!9{HY7E=3-_k> zmfl3RMN|u^8Y&wo8*yz98-c=1-2+geP|Z5=xIaZWbNs3AsL-*wuY=`5bOK&wjg zUi}w9vi^(C{EzJa1xWcW+aY}T%eP1xx?u?K2@#6;lGBCuF(HS00CZF^3eaGOy}nt% zvZ!Q0S2tHvy-!ANxNVc&8;Vl|CiN4U0TycsB58K6*-j+%vImyRK3!$w?4g5RQ*BT? zpd`dsFp@vnuI$_y^m{l!zrItUNl(n!y>&)FW3;0A+Vf}e)pvpfq>glzy;Yz9>-G=y z$#3p`iP!KBoZ`UCFx_m3aiD7zETku9$BN;3#I3wSw?8L&n1_v@+9aj7^CBpKF-T|Q zmdS+N|J>HTmcEtR3m=3BUW8t(pJ+BXQ#sw+Qz0Tyd{ zQT+=P+5QEJ|H%FiDE`N8hXJ2~iIJK4zbs0xJR|&&Ra$>K+A2FeZ_Y`2j4!U87a-1p z`4JHV18ngl#PKf~00<$hR*_hN#t6x!e!&zL5(Y+w7tTqjb2C$my34>c)J~NRnc@zljm_ac`0`XGrPx>`i|kU_~W?4 z_XqHG#z0Si$MqDeWBQkdt99ARtlmO1w;CJF#_+0bW}CgHj*-|s>TsH zK$s#yy#pjR#(Hh$W8)T?4(&B+GW`;gEgrTh!=hnAdr zN_M#zdRg*W>@*gZ_mZ87R;AOMvB71?1T)9Z0*ZkOi0mSU-GL`LoM|HV974dc9Re4f zmkFGA>7w_h{6MkDEjze3Yu;nmRq?cOmjg9%-Ag1o@h{gmjO&rsB17hs=Nn;5uio-W zY~iS=^<8?sf07E}7oi~U9cxzDqsrltA?ImWNn|%(u6W*#C|bQP%y{-~WBTp~D&0(1 zzy`|Ls@)b*XWv(N=$KKJlTT1)S6y$6?&^Fse)bvW#D(4B72Q$VN$sumzE2S!pZ2a1vf zs#Yxq(h3s-P>pJ_$Bx1Z)LaA8+-pppH4_vc-7hy-9MZ`MSi7G4QC9byfN95e&O1R_}~_#>&mu_?gV zfBo&{Ca`>(9`|K#I3(imM^RSArjj>Jj^s^`W5>BodNMf+;rN$RGotI|N8X#K) z#}%8XB)_zTSeUlu0f;s~Q1=|rPi=?SBgA8$ac8Z%$qYjWd|V*q2i`>$Qh+z zIT*PjEJ17Oz#>Ic-ikSgU)~d(@+ZYVSIMj#7-k|$vu45EP*EVFCwix9wO;~;d8K_CvY;LxrG+LgzSa>2FdSe24&}qG{0V z&0*4ZTg~3wUUdEjU_>n)_bn7}5>BwTGrs~TI>9NxAsicm(YsvSMp6h;1suX5)wp(@ zk)f8cW1)k-cBKNHGM;3CadP4nWn7G%V17J`v`o~@aq)U`ZMd4AoR(i&K)1zDAB*m z05ty!;f7f~XxOvvty%Th;6hL60V;)mHW0NV~y>vdd zW?MO2`)s&dsBThcsc{dcciXXVi*2+$7BVlC@2^YQzCyA;*sSB6ci!&MY6PDcM@9Jh zt2KVQav~7Y>yVY7GSCTn>lNQ@{3INbIH7M;=vgLQ{(fU7d>h~eBi=|!A|P|@W^Ic_yb%%uFm_v!Ux^nfNsu$p%L=T+TONq4VgZYMRQIIjt%e zMXimdXWZwjW?URGwNm;es|oHc@i|6IZc)*-$K^>pFu9kIBw*2H-r}iA=%kMm^@?TW z!F8wBI%t<(MRjZYof?Q-jbbDk`l`B)KSh1)G7zFaMW`7D&6w9BZ|No?GnqpGLAvyO z1p=zmzwQ_7Gz7Ay@I|tRkMA<)QO_-~lYRmLWjn9tnsLNNtjn>)NulE|uJn4%yFT21 z^0;*Mw2#^;<~=v*=e#baMps}mbl4pHu5^qh@^;jFJhCOK&IwRZgC`2ho8w|6Nf6^ti^w&Ins>2*jMctPuO2%7kgcp*KJYp zx`t`{nrGwtH7HZz8vfoD_x_otnFQ2+AOKc8GTSOmUR*GoM+x3lIa_d+jH7*RJ^ngf zxA~k#qDNS6bNXHD2{J0?5WbC*s#cLli3S?K<9xr}kx`h3Th@RLy%{q`q$C8mOp^I@ z8I^4Lbmp|G*^GD)c~Edr7sw7gVadpLoWxyc8#WPCA>b;p|BRbUHVv-_jqjcg3}&+O z54!kr{0Qb!T{AhDOtjH4_dWqCmE#$usKY|7nQL#$$!IB?DKid4--mO%+)DNyRheD8 z)%$KoQy9;}^RS*SLC{NXK3l<-hsEAHgjL>`&l3+&tM}Nee8A(b{7TbqSy85R5W@~e zr1xqp$*B1L?+Ktzv8}jL`^k2cSTGhia}SsxGql)NqchVc$$Ce&w&7m6CcV)#he?(! zX6;he<(&Pqx+5J;n6%_V>Hb8rR^J@{#g&L9XF4UsA?mDC6U;zK0~5FG5DNKDw}E+H zH&s@alG2dADRfQ8_pvj$S5@Dug^ly3B()wrd5xFjk+~eV#E#5J5R;Z5Cq^bUPEQ)_ z)_3tySsNQ66Wdz0UVX#w_6;!}W{U;l08w`^~#9hdN%O-OfpS$8xw^jQ+ zlVsW_m@nzv+>BgJa1{D8Y%qli&Y~?3#dCt(R7m7X(B*gAz4nVf8xQ-PHQoHKbgRUIul!i&Bz{G32;&mQ>J75>Dh|2lM_hRyZq09T??q zqxe0c>Cvd0&8HN7|Is*+beR?*%n~Zb-<5wdVB9wHE?`u7?xZw(bk{~%5IJ_FxvxQgBY9{mgl%(9Tvihv z#SD|JwX_o_4(ZLbBxFi|Guk?72!Au0!iP5nPgn50V!@CxE|?Yi;WEv9!XA+9G)Fa= z>YMmLO!RX0Jz7D4>*nxWJMRLW+0M%0$g8f(YBW2}Q7XNrx+HOS)x%_Yedx3PaGg!g z4vE?(6jNl~a$<|<^BMf&a-$Q`oE6Z76P0%0hs?hG#U>aGDX?-jFg5Y3D3YLtkjNy; zCn~6o%Qm)*5Zk5udbe9U_4xTU=8n6*BOV?uI|3a>BAzlqQ!qf>m|4}GF;*^oma#Sc zIkS9xs4H7@{`ioE6qFDGHErQS!Vv?IRgD*&SSV-@N_a=0Vp~8V;9lg35V8ZB&{BPB zBjy`60mn;gUW=F1G78hAxSqmz6n>A5rIOKBWJw&+ZK`fh6s%_tPfzpty?PXa`}W@N z?B_LNhr8xjoINF$EbEw-L%=j^#gFgjs|zk6>&4rz)UbN-?)No{u}Goo;&TtUD@-_u z6ap0E-kv`%S&q6kco!vUws;K_v?&Lw=0?4u`J@b8i3uyONDO-aFvgg@axMgbQK)Ns ze~GHuPzNH&c1i)!RL`HlL9+KnS1u>)p&3APFprD&@tf$`bBNq7I+x}AQD+#kcx)X; zV@5neRKX_vb!~JZN$z@e_m*`e86xpW>S9o06`{FCkG)W}8?B02$B_*;o*oa)Em|wB zl^d`)?*?y=qu|?7vz^b7>K0zdmvOFRn*+CdF0?80ZCA7Nc{bj)ro*?w?$pdbgL>Zm z){BP8L{t+BfYvbOQSED~8W3D4-8m9-z{qigPpCvW+4NeSLM_^!>J;SEs#0{z@`@r= z$&f;ozS*J0&jFg|{rQmY&k{U z`}@kORw(7KB>99-C$Ia;=Z;|l@hUA!q^Yt4tJ{Qj<@;;_Ob5bjeK3U19M0Bk%hML1V0}) z#2?3o{DD!~w+;_5XrYkC$B>|v8Y4Y}+fl8ni(YfRy8(>a7F$L#?wNCQzLA^L)0-aa zG5xa_tJYFD7-`vWIq2)u#f^;p%6nJ0nn2|?;Bq~ zk)H5oa7h$U6ADJWH_E)SP&6t?QlfN^3#a&X-7GNA(s-~L9AXW?Kdi0YsCa(k_L0*n znRt!0!&)jVm<{(V3!3-$>3LBZUSwXrgD$$SsZrorSyX zCwWl>$>U~}Dy;-h{7tHzN_+g&1#bW1Yryw*fJ$uAx^1KU@_;Z999l9GUe)C-okO`} z!IUY@R>~=L&6Tv<0Lfakii8$uA-s5xxCf$T+JseO$~1{amky||VXNk4G%UPynt2nQ zPzIoeW9Gaq-DCb}1!GMNEhXZijAMc2yBNNwizmp#l*c`b=pf44i`K<$JYCDV=*d(s zBih4*hb#_&fr-yCekJI)Y1`>_!x^(_^)<|VK@`vd-1J7T^-^m-xW$#m;9 z?!2i;sUCFk-`S~*MCk9SxiyyU7yh;h>LzW=Oe@!P-KtH@tmN|rb}#(a9Os^b@6VgkkEK_-x$oEIN6`+A`(C{BNA_}`>(4=~ zndw)B@8H4CIOi)?X0n<>sk6OR{tM!?4rbQ+jLhW$oUX2*+k&~mRD`IGdZ8_Mb1R!_n5S4?b`_s5&^l;O=v@-jqHl2Lh0LaYZoqq6V8C`Q|AT z>wBiSwz?9!qbre0h;5ARmakxDy*yv$>15QCFhjC9Rqjbsr79eZPUx<|J%tTw%a)kp z33Y$ggIxYx+EELHD-2eVP^B_e_9ST6u8F;J#Xat32FeXgEQfVRYb%?ZwO0yOK=k1d z^L2!jQIdk0ZZz@YTCc64ug=4#Dv0t3PQF3X3Y&B9mbCsx<>>hRB-s__M5r{Y&fdgM zA1YtL9z9`fhG70~cRgB9{=ozwS5iWSC4M4WKXe4o-eub*sXB@xT6^ZtrZwah^C2a5 zcO7e;^wBd5WxpwO1f7S-C+FV|nTacHhCB7y(2K1+aem&nA1ZjvrPn`mO{Y0se_W;C zIcYr%BwXyjpF4!E)3wyCu$jlqbL5>1@3(8?HY8RC?XWu$J&sG>39LpqPut%@h(@ak zBRBrsbb5SjT&iV-5uv?y$&X@(%fH^Qk}&y8MuBYgtjaS!6dYi~ zRsxE(vcyd`ni6W2$ z*uJzey0-Ox?EyRC4bvS;_oxe-&E|W3{X=}wI?RQ(M2*v1iUrCFZIRn%dED8CAqq1@ zt@4Z_oQNdPH{H|kGyOGiM=2VN!147URz%B5^EWEUVk1;S*Ym$`yp5e3p{u- zzwmS~BIHThC^uM8J{*I)DXOsDUrj>6EbwFv>gsi%<@1C42nbV%w@*1@BtFiECnm(M zR}?Rz6WLqe*p6@KK=F2}WY;J+V6#f>kH1+h$gDP$2YH2Dv-DI%YU`@NtuBq>y$F~7qmr%-USRvH37F%%89yidKPpg3uf#-_yxhKGDilSf()w zTg5&^>KInkM~!;&gE^zANxB9Ic|B*9A0_eizZn1Nwu|_pjiSDg7`ouf5}A3Md8g+( z;G)t~fXg)E9iv-c2k8V(x z5mo4tw2_k4cI2+G>fq-kY8TUwC@x-X+{pbVX3K8ZCo}sS?jfZeE8fox>=^@?ro#V* zzHmyTAJjEGY{<_m@B{D9kDngpW4g>33dB@+i@yU&*BpVUF2$iI_QJ)F-j6Sd&JKUJ z%a{e<(1Y$Fl5p?HBMjAG6A@p1!|lM>&e@K`{k(dlE}bEBE6Tb7-*yc?0&eM`<7(gw z#Vcy&9>l6_>~BMLfRFlbK#vI4-@@uq3v<8f1n~w$w!=>JQRWHSq;F9zHAt-EHl?P< zl)#`vMCST)j=wSA0+JIz$i*PgDPls5HsNj&_RjeGX{lq4i;^pLVc4a_c6(#S?gZOG zDD@ey&nz}CE^aBt;X_4xf3X4UW7l?LUk8xw**MbW2&66eY+4uy9wva-2HGhW4$}s$ zv0E{0!p7}#_!3(hl9r9BW#{-Ye=5D|CHT1CJ2zhh6(FbXTj&P4?Hav8`Vt|HNuL)T zbb#vanu$~=5VfBWkA>{H#|1;kL%HSm+J_M(p}A1P|M5R@3h;Zx8cvc0r+dYZA@F3 zKCF4MbwWGQ-Z*C>mK^a1=3;YJ<$h@GH``TMxPwTrJ$m4~>tMM(yIZ*8Y)HEZb@2C+ zVzhBm4s^meQll|p#whCkcsHDmu;%zMgs8w`9JdEXj~s8oUIMgnIdKePreX7RP7BEC z!nJ0$n*63y(RIPRBC)e5_ddBFLB7Jgg}PI|vp#krvwp6S2gkwoy-j0VfFNTaHhr#TuPCU$mN~FI^MOB%<5y1yzTKj?{N{4Tb1Xp64H!kHTo3f_L+f@%eHM_ zx=X(!j2e%VuyBp}D$$;)p#K2qTL37^4pV-quU^kr*LH`Oqo=9KJEMnjp~s>k7rAXR zBRe@A{-&O(Z^N2V60}FQN}(#bP>{bCag6dQdAT!idmaDg2^uSPdOer(vb?Ldi1l=! zwh`+DSf}Nl`A-ZJ5WCZH-!!za8EEYcabgvEWK)xN39j0$b;KwNA=0R_fsa;1**eN) z;swzW=S>P0r*-?*YjD+)uHHUmqNbWfy|spqlZ6dLZ=FgJ?l}ghP)-g=jU|jKi#pUg zH%!eCYxo$7B^Az`q(H@>4#)uyNr^yMS+EVkSV_u?3|uU(l8R>HuB)1v8OZpYMQ(+_ zEi?qC_dPN?B^{D7G)&|@W9`}{d;Rcorc0xTm3Ux93-6Wl>|^J+ia>2`W{tt)UMGpb zM&!e@m5g_Xh57Qxg&0!%vEqj{niVUXoioTwY(=N<()9hgr8gL_)Z&C?)};MeO?2cl z_9plSFPG$_JQH_Gb(w1{Rrx*i-4feug-GZS8<@eRqnnnucRrCL?7o!F^g$K(bv|Fe zl8##9s%5}&!{i1IK-$4b!ezDUIC_a`)i!*Uxyv6lQ*E3it9xfvDm<^0?BJ_0C#Xn) zIhN@Vu8R9zf%hhBQ9twC6}+-N6`9+LU1#IL%X~|7n2u2!OTMkmLI?|SGhkg zY|l%>p2!vpbiXU5*=r%uV_%knc=hO+lEy>Wkuf5?u!-9~Ow4GY<^kn`4hI0o!HTMG z8_oeZ#GTr*99*QxeR&TY&>dy!fH#CgRlPol)X7HB6~$?qC(&xW8j-ERIdk>+F;w7>oxFNH-%-J^0Ih)jhLQ3#~PV{cgxJ0vB`jEAy7W%PCV8%) zMX0i>2>}0{u8F?waQ~PhbYCwSw!~U7SNm}SLbbP&UC-^P=~@Fb#T_IE1f}#eWHusb z0EJ%p>oR557q3d8V3crMKP3@`Jwgv!Cfzc4Voc8hf%*U~3ENt3R9P@Dxhn$Bji`Y|Er^uq#V#QI*iL=#H&yyYc z5<@0&5uaN0cb-34Dn6JEjyxYu#2v;CXYVXjI~*W@XMPPi9eg3!dP%#sYHLLGn{?Mo za+hg+!gbhSx~%>?0ur1LJzj_fBq=Q3&W(Mjm) zX`8hR2Oq&n*b%qbUm36D4BA8ocb@a!7ti+2-WSaqt9~Fgpe$j5gi9hnDg?U(7-x58 ztM`fPv)u2Hx0&tQf*EaTkJ_vp4Rub2nknq#sgc7OY6nzA{T~PZIo81G&}@1L5j0>!sb7YZmJKHL ztBy&liukRMNLugVG#rLea@G<^T8Y9@3&qLFo+YXks+1{^Bz4871zM|YYIuu?P@YZd z1h>mhB&!A_e@Bw!!1pE3rZe;X$ML-?r?Os}dR77reRkffO zjD1^nn8wtURBvz^Hq?FBLIqzVcm$JTbT|C8YAsPS0felh22CL>TI!3r$lmqd+A6ne z#pn98Rl|LbpvGyK27Vvj-B+xnj9thG;ovE&*b>Ck>sp>1oorW)F-S0T0$E_!_xs)?98| z-7B(k77|sXix0K39ba5o#aGm8-(VBMk}~#>q*@`>2&ZQ4Un?b5F?Hjp{QB z0zX*wC~W`2B$??y`+NL{rwP-)yFUDDXM=x_^VdF$g_VWzzu0GOd3ks%i`=`r^;vCa z+mSlW5b|I|fHBx0x)peQ;>~-$Ue&2muu+c5+Z0Y!PSDv3&`ufugipQ

dMulaksN-(W)FI`o>p~aoahp!NycJ zNG}CJ8w8FEXdX9cf zTO;+F{9LqY$;J2v-Eg!E@~dfIaY)T}p&E;zAx*Q&Y}#JCJk0i;bTvs6L=Jg*dqP~7 z%N1qco=lI#n5>vWj=tNX@ZH{Bkmk9AORogHN6~`B_cP(NDtvS_RrQ?;mf8N5+&Pfo zooQua(f^46fNg(FK_CHTas*baXi+&NL79?tSjw36>8w63Z9@8X=AW1pOXsn054AN< zA*o2~GC%%RR!UAYf4YXMnG1b?c2O54Dwp!S7U_5{`K~2dzpSb(Y!Y$--z@AfDS3%F ztPk2qNlu5Rai!R~n32W>StiC<5#3((V&>O!Ga0bB`rW^=8twNgxYOa#fAuvw?tE~{ z(N^mPIqSf)5(AVzD9UZTTNH4E>@xd3{CX{O6oqHzRn7bj@(17^tG}Ze>lNBdw86VW z8zD1kKD|M9n{o%yllv&+a>s#m?Z~A|RN18O0MXl+l|YhqrOV2t#j&P$Mc%5Kh2<>s zkklusV0_j1Jl5GvlaZ)kYHm)UpyM5LaA0hJpenFR(567|6pwkE=1H= zUg4HO8eWyYV13!d?U<~2%6fX#-QDKAQ91G4O`KZ?^a^-Pud@PDQCO;=EBytI4Y+$1 z>)xE=`cr$ICrnc*jw?Zt=AOMm)I)iFv1maTH>5Wu%p$ogOnaFkq%r^E;k(dCgFR|S z(CgQ|2pdi)K{FV>-ClL1XV94&fnZ%REGKHZg70F6M+>clBUNuEhP%PyR2IF-R<^OS*wKz}Yy10^eo z$lefi(z(z*{CHT1L45IALAovMyS(U}@e<7P$8Ef{2A!w}9wd3i(!0o+K(aV}4lh-w z!QUAuQ*5N!+6BXa#Gf zh6em+f6hl~Qq*jV<6$K2MAK+wh2$bLdj@-l2JAYc>2NMaY-cd-Ev?qNx}EwI_C$7_ z-ellO2yi}vjoNXxJVycjv8?n|$iw8q^5nW3Q5zzV7L4m6%!d;gCDA~$)jF|>o78Sa zUP)Co!6Lb6PA!{-qH0DtZP{2eQH8H?tJ&i8YX+=aE(2SrTvq-fSz^`!ZW#B4o5#5B zWS9VqM=b1f{B93kCj_ZX!9lBn+=ew1QZy5FuE~XU7_io#D>ElWZwSpqZlBC_c79p7 zZk{Hhmcf>_*YtDdQD;dr-EO2i5oyBhsB~lNA+#1YME50j_0-bIJICN0XbC`s zbkN{g{m;(~Xc0J1DS#1~Wq2;PvYSvu&A9Y1*isfiv@U!kS8Ol(w^tiLgS-{OVld+%8kX`A>~$d$qZ-q$75Dt<|se$eA0 zOahbmPU0#~&_)mruDvIJsOEq)jewni!WYxKjmtR6xJUoC^QRTd6yo2n%&+PvOZ88>XYteAf6Lv_#@*-Q=Jl@)0^qcgZr zuWmoPMB@E;&hU!7Rhmxf^#X?x(A7+53EKnKMI>a9+lCeuDZQCDAW<+{jNBrGEsu-b zB2F}1uQ;6_Q!iScA-WA}o?C=k%w`E`QVBSub&CE`Fj%*$LA0Z;Bzi>4=#|qiyIxN( zn7a5pBWf^V({|*e9c@QH3_W$;rEP1R!mY4D2y4}-Z4kzk3pz%n=_0^*&}UD=#kndF zM{M*Nro2~}3Wvlw)J6))Ah`$7s8N9X!>Cab4En@KNdZihp7Vm#o=5PU#7HF3#$1Ao zV$xy1@4&G*y5`5uOfn9_!CBYLh2JY!t+R|Z?WX3mFoivON^kmm(U=`FS4kZW;VAx0 zQMTn8OM~djHr8^9e+_iny?5t+cly?K$-POxmEO>~)T>+WBc7QWxHsEA#DKBExrtra zD#H?XdPkWwUGJJUInpNxl4hhNBI-!MxDy_=EN_{*StbPBZ^UaFPuZh5{A%9J&@G<3 z%6CKFi+&{3ctC@pw35+*a-lA2uO)>$;I5A^f`kHqa?Dr_w8Ln>IT#K7Xd2YHf!&O- z`?z)gd#Y;;j{9mm5bofy1Bd?c6HZr$Q4ZAA27(NtEr+^;JztwDHvh$>vQ2xFXyjPu zEyznGB@R0_?U>cgq~W3%JNfP(jgaa-FizNpOQZnr(L){rGIVq3cE`}0#y1|-^NEp* zuX_|H5D_-`t~V8Vd-8X`tAU_93+uwQ)#5#1%Rr29@#{XQw5%&VukfS6trxM|3G*WP znL(z2f2%8nW3+Aw3&)mI0b6XML+2g_W;OqGUn4{v}amgTD5ObKkmK7lH;5DE^)t? zm1-v*$uXO_WaBe5Qx&v%bU<*+}N)KxEgpI&Z^PGJ1H zu7>z`dS|AyIJ;PFuZbzxoh~v1;y&U&uTI!uvbNp7Vt(GfF2cZ!)EEF6q4)VNg-VOT zs<50*2s}TVSl9F?;2z3emF`DtXO;JC_NpbdIa$cNd??ie^fUFGe}M@@LD12)`9Ob1r%uK{`Q^oL6K-DPk zAvs{wE=FJ9y2b-z&A9op<6*&0=vk<8X2*$?@$%rnT7n@8G|Y;FJ;UUd@N(uNC3Nef z;|aNQt%rc4EGw^$Hp@{)d87pYj0;cCh#X3b_VU%^jKKPEK?STmOP>3aAz$}fbuFB! zM#*;U@+?e)GNd{xOpElIG}rn`nivi1Y5pFirl1I*;m|l!df$~Vz;dGJXI)n!bS+vA zvmqVT_s@nN!54I;pPdy+5>B7O{v8E$Ear%3r|Bf8|FsvEcMZ7`Yx8a5_B24niu{n! zRW_BS*W)+4{Vjd}*P3eB?dG~K%(+&F>*|~9W2eZ=mwU*7?DvcYL2Pc#)e6!!GV4(m zrL4Hzb?ZDd1rdUsE{%DfL=X)Y`3Ymt`lLovx>Y;d9Gj64;ts={M@_Hz=hk0 zW)W=@8`!J3@u5la7VS;x$mx~hB^KR2i9eEG*o%aVX8R{IPOn%^fjHS~`RehrcJbBX zH@`+Fa>5i=Eg`5T7^qaMGh4RTO^<-4z=6{R>eth^8Nw3Ia>pKHGeF9}I34T^S(svq z?w<2&Ee_HfYZ^mf#l=dH6t(xkh|Zg%2+x^K_0r>r8PenpbMa!z%XF|6+N7^9`d%lB zfPvTb93yR=Js%VdOO8`Lg{)`G(B%2Ru?et{2-S7H=V4Do*>Jnhu9ju&wzT_*%Bu8y zT%R)acsvHz#aMZ~KVIUlhO|E(84Y>aa#y$6KR1L%ci6>WUYX-H@Gc$baWBSVm|<9gY9Cm4t2Sn_>emR)$kT|8_K#MhNTtai_G7zU!ZFB?^mS-KZk?MU8WF%g zk0_36GbosJo+zGb!N!0#ze=|zZ0i)v?oYGE5NjpWZLC>aGH}^=>HZ$_+A(v+WJTv8 z&SW#pHV!x@g*547e(Lf8&WkJ$HlEsYN6g@3Xi$SX8^rjkdyZ8b@w$h?ZPOWtgVJXg zqFX7WsuuwcBUMn>rzP%5_==sD2UoyL+(QOqfJTJCFNo`X_a8cd%UbTMS8HjoFsZZn z*go-M8pYL~X}!r1UK{r*H{eHR&@T>j2 zUpe6gzr5RIcAH%6va?u^Wb4#rk5p>-){ths^cZS$UZb+>edx+l%CHHZb_M?*gq>q> zWhAZQGM%a^|bLRku!^Q}_PquG;%o@724iSNF4? zHZ>Qkw=!{7ZWuZwDVWW8WPP`JQ|qDDach$2DAP1UKX6^!t2n_vKPKID)66I;-@`~Y z`kH<9{>JNB{m3xyJ=0e(UAacUCu5RjZvwT>KyV4YnRus zsA^l{u7BY;PtU^AsdLl6yhiM?;Je|uc_%-X_vfdU@syN{R=y6~X9 zqm^$!os<9Nd?m+AH5j95@g1AR6LDn(n(EzXT!?8a-_DHH0ca^S2kV@fmDdtA^8L(5S%~RE?>kDMsLh z{OXL~T5|d|bK$P0aYg&0chj|{QPMrBd0F+$ex8n(K|Q4>lpZ;$7shYcg zrEHJ4H;s8A*-CfHv5V}8x3{KZ{3WzlO@+N|;)8ZST*XlmpAJq@LHbD{N?J^4r7qb> zGXRUM`yj9+AND7R@JNQFlVT(Qi!`OE^~@Ny9DxT~J|b_rFH&$Y{TN6&ZlfB~4T zUeIB5)3(0?T&?jtiBhX21eXcT*sM_K=l8!g0sps=FXr_9x^?pd+92TLdH7aY2QxZA zt|{~*5&p}Icme3s9h~HwwJig_Z~{7I%Xa=VA~%|#^(^Qb#hn(H8a&6==tsOvmvm>7 zzIFOW=`~uy!0isjXsP~rCb@L#yy|-yL<#N#d-p{mnt&0S5m5EOMQo^~!WmpvmgglZ zQ*=WiI}tzOqT|H)19BQ{<#~P^lTxi~MEsZO+b}*RFhLriI zW$WT4N3mx;byh$9N4ic|et-Z45BYUc-sIYt#6<9BV~g!x{N_i%Pwq|Lx41K=!c%$Q zl5{dhV>mD6b0vXe0R`^iJULXat|K(ZmU@l5-pQY@QXX3~)jZwnH!bgwRn?Te6Siy- zTUXtQIaa@d{0LbZ>P5mI4I&Vxt8iFwAlbR5r+)r>r1+O{9|r$PYRXmJ#G)|BFObFX zjaAl3W#8*OgX|TT)5`tU8MxJJzcZ7>7m-3pYtdc1GU8EG@K><(dmftXQj9nf?Im8` z=;MBnZ4`1)X$tZYBKR%bkFBdTU0mvFQ5SaccCcPtexCNy&0A_VN*cnKpSbPJPU@5k zzQ+Xbti6Gi+N;1d$)@Lhewla$z#=#AVZo5M_6LHv(?Y@Q@n{SGLuaDgCL?3}S^Qfj z%E6B_gvl*AArMP$JEG?)CU!VYVF|;cFD#mQ)_gXhd@qr4)M|uA9-Lr8UC|@;6ro!$ zbyS}cfSr;%CC+`q6M%VU+~bm$krgvB?e;e&KL(PCk(L$x*mNt*M{kXNRL1MP@Zcf; zKH2=1(P0|@^+Df6Qy}1T3TL9qS5|=L@nP?tsQ~ad#Q@{^ikFPAV4W~)LdKl<>4+v@ zrVimOqB{T^;SKcah*~Q5Tb5p5|7Q+8C7Cpj64jX?SI>NeEKfDE(!8me9mpYsUy8p2 zrEL=*9Rd9kZCo*zM%T@CHE~WAP8Z^eO@+cPPx;5-P1IBcR!egCpY9tRZlgcbb~=)% zy~%|SL8Xb?!@gY_h8fIYUueo)JO#(^kWs!PwjpsC0+2ihumvc00m6x)trfCQyAy$zSd?ee%2yH{@iM%y6xP0tf*QLx{^# zURf>S0?xk>K88@_bmtXAL}lhhYb<&@b=Csx`S@ilfPm9lVW!74b1HtnUd}k|E0kXy zM}rAWEZqhc#L2ahUd-cJk#<_SGTWa&5(%XAMck`7*TmC+^HQ*5{1k9 zRvN92N*XcoaUF&I>=s)tc{2jKqAlO$yh$BFG=ORzP_@4IbY$87v~BD$$1&NDNi^OG+uz zH{K7~H1foJCyuQTTV- zJw&@=NJ+>`kvzf->IHJMk-+o*R>AH&1YP87PRdP{!rn9AkAS~MnTO!M0Dlw!!ff4< z3rxPoef77^>{~MqUW;_%@64|#9ApCs{^J$BMLMsW~W3(lV6`6FV@EOpO z|2^w(2+t3qzYlvKMUGd_&$)#_2ofFl%3KK=A?jz;*G{1kx_U$2l~Y83*~(+ z^r6Vyu2e$N$=5w%34b2aR<^w?pxTD z)Ge7}X73+=2)gfi>IlTW=!s&8A!q@%ccW+iEyUP+u;hA`aSHLoLh_j=46)wC7otA< z=R!;+hilZiQMd60LPV)?l!G6xC4d8c`@(=>K^ikQM=NUD;B?G0&NJjQ9HfKYWXxct zaZI*-i~IIO!Z^`pqgDmM+5WwN{fhIA@ZFoqyZT>qqZG%Sw^708fx)0}+&2q8&OTTVABF1cx?c zLb2OH7cjqINZSE(Pu1Lbi$nZ9t%TcwgafL3l@5G!?r^}M!9o3f`u7tl75xK-ZxANUlJDI8tH}b_a?eMZ+H`&uqaRUctkc zLe551&(l#YPx?MEE>>jDeXNFh0I)r<^%GO)qyAoIpv>dmO0zlYZ9O|81&k$LHtf`T zK~j6%-5L9w@;1>WcLbLU{&cUY16G%Cb-ebV?$q7!=MCbG$PM}p{VO=1lm0C98-l=) z#5?RKpFjII^EdZ*ry^Ysqc7#f=Ia~p-9syDJ zT&%cC^dHI)E`Rg!2PHaJ z=bdgK(%&TJK6;3{9f`eybD*^ESODsk;^$i-XREsKeW?5jw1d@u^gVdb?lC^u*21*7 zu)kwsejxqsw^tqagX`N;ey~`A{_uqFf@V6xE~=$Qt`{jN0UBu_VAf$ai$eRy(eH0c z!QF_52Egsq!9*}qt<5uZ#CIF;$?b?#&nxLC2pr^xEfZ7ppHMzpgyMSsyb8phr(8nY z4XneidI#)_MGm_tW&&VW>UL=+nev|QACK-+yx}h8x5N8IRj1fz`j$#+t9C{QP86tB4R|g{% zif89Ip2&B&9Ko%_S>O5BHZ@=lCzOnQeQ~U)Zj-W1fn^Vn_7RQvUzqs@B1ScLWY(v< zVysG5pD%Blh1((nLpu>CB~$Y>o>TRP;ZeFwllYm!JO_uJ=AOIgmfoLHo*r^WZyn94fM zpA7|n_G~5na1KYFiZ@3jOvZ(c2*y3PCSh2ek0pO(hw{ zi3ZzNmddesRfuIGJ`Zp9Jr7j~n6{l4W+h0ypo-vzKQ$UU!Mn$d!%;NMoS=nx(CKMU5Y<)3_y*y+f^o3x zY&CImIC{I9hBET?S?PJhr?4STfr^g0(`aVomAP{0=u;+WIpTW4yHMNZ?xwG8yE`R? z@6SqyLwiHv8y7gMiXx{C;zm2snU@w7TiDUe9ko5)kE68$b-fF{qGh8mFEiG*t4|j( zI*V4?D&Qu9253YEy8=YzeT12s>?&dF<73$uI6E*ZRZntfIutwgKQ*OnE^?MK2?(%t zw{}#Ki|^ZjbFr6;yuJE%#9V)Nq+9*e-I)2+FW^_$RNr{7D*eWu^@!x2bvIb(yG0r) zaW;+G$WcqqjZ5!+@rQA^N2|{zkM;YpOdK$Zj{__O19 zk75OjrjHyw{BbYKTv`14le7k6`NaX%Qn2CnHe-d2+-9WVfuWdsIpwhm>N>=e9xu+! zObIh-QmDLPtg%LynchbZ85SxB6O+Y|I2)?Ru9D_A=u1U~3h3@iNzuDvWUE}ge5xAT z?rKy^uBBY;(qj6~AQsSeV}WDMxzEQBg{?EEb1OcR(fRLeF_#K0Ha4)~F~G`RwuK51 zQ<--CEVZLP(^Z;kN$l6h5H+eiSWjq3GR9BqbcpPa_w2QqrdPC1rX1YppEljI{ zsy;N4{u&Y0E>TeUX5tk}mGWu45^g_YF&UkgnKEIdF=*m5;f00|FKMz~*?MvRqOdEp zj)JA4V4d@1tLD*TNGMuwU>&}L7CN+dTy?m4xry(6VD}hOg=V`e;Vd{TSXnw zDfh7SoSN=j{=kSNY@e>WAp#6VhOh1=JJrHFx{N$Tm5*x zM)P!5k)_2J5azJsZ?Eu81~V0_n0g*3d5|eAiO0(fnMQZEmG1&j`OCl29HTfI5G{UJ zYso5znV?8>lp$h27$B$vQjbz#Zg*H@kLQJF2jPoe2HpQ7^~!^FZU^Dr7H2W4ZWK?c z(;>8a)cn4F0l!P-!Qtr@?^C?wo=zpltB7KE;g_vKUk0HcqW+!;iXK`doy!~nS1tDA zuf5q6KT9mmQn~{q0-q@SXn8OcdrJ#8_J)M1BV}G7L<|74S4#Wop34{PVa2!*4qYA7BWDV9axy|ucZodj5wOLj!^dE1- zIIQ1c^57$&To{3D(1x@Fe1Uc#yr81u5;p1}TM&*Qdk8l3TpFi(UJdRVr*`z0*4pV) z(TGvTc7$~9dRi&tR0;}5m?>zcqp(d$?@<@~hiG2r?quy@E}NEhoX0Qe+}u<>rRZ2Y z2sD(?LNz#B6?(bgqaZL;ls0U?S1_ZGZutJ4gSdnaquf9o^b*{#X}L^2k;}`A+!2!) zB=w2HpI@@*xOk-N$qNYmXE2UO=$-285JYuqyF&zjY^KNjM(dJ(nP&tan{Y zGqpQ`bUv3H4TcIegDGk)x0C-!A#WEEGA=r>RH#J%h-FSQ6=>!fE&=7us0ldBi+`4{}?G z3W7Jl213Za0=xK>Sdy3I6vRRWffNu(A|M!_sG;>2ihJZ?b>dd*FW!+=A~9tI&mvgm zG{`l~AL>N9#8bg;LH|w6CddObb!QMy?0@kp#P~lEBjXli;lYNoWgd??V_wSuITtl( z`gD4#M6!|tWl%2<(y z{s3`?a%1$DADV^slp{r(7BGS+8F197}g5>D~GyX@Og6s(i)(7JC zf`#;efoqa5KxRVE!8_uSAd!H%LDBo-%P=IKfTV&=gLlC0u?3E&yWj;DVop%p7{O0T zF?!Q7Bx&pw1qJX(ttw;oqp49kZ+@;NhgX!3E=rO*^9*Wk*6`RMb6kH_oEvb z>P&E?!UeD8Pq(}IXW*R;zPgL+BcyWQ@l(e^*A9zO2M;GEh}YKW27dBnpZ)-NK|O5! zQ=OcdpU0X)znHLIw{qU)eXH)t1R#Sx!GFgDc`OqVc|h%iXIs2L?L6$_c`{T;K(jN6 zc{7`SsEK#Y0(kDWjKsS@@osJrYAV)u2IBt029^1*%w<}3bYV(oQ!xKv;bcY~tG=5> zwyb47*%AEpeIY0nTow4Tj*kN>6G=HouX&{i$YIMIgUZ!g3&FNoUqJe$olP5;>|AC` zqX#GXD_NoG(w0ZeVg=XDJ5QeK!jo{GG%xRO$~!eb_%#`CrdWPC-!P`IN-`H2>#M72L*$i^3~~tIer7G4+6*2xK4I-e(gCY+*nCwc+jZ3i zQf&K*pk1u(`QYBc(;ipt##zbzxIk#5+aaMqHuAcsgdCzX?`mq7jGalX*dd)i*)N51 zY(H0LgW!rWch#Aic>X+X^r0!xuCJnkoogH!*W;2`*Kt{Zwo`Ftx6P zT~%uy749cqMzl7rT(wMZ=7}SY<&cs1p{+;+?u?NIepytU8M!|ovGg4m_Js`aeS!p`3ve zVOd~>n#b8(2VNwD=8hPG_uQ(tf%gno#R6YC&26UZtM{(|oqE0~6ijO@N?Q(y<-Cw?}Ty!$75(qUFgb$ zbMoEpaX(L1#-iSwxc=3UHlBW%woQko_A)(KxuH6X>jrWk20xLu%^swV6Gl5ye3Gs^ zTlQyxY-HafNsV^iNOF&6+B7E zYyBt-w>CdMwtN8p#G_pn%`Y21^{oY`-K+W^rXXM-uye==OB9^0uRY)G5i8)O+u(xO zjOz{ZgmhnL1cE%tpMM|nF*$8{KQbZq{J{kYbe+EBrifqM3_=+AU=6=rkDG4FZf`#Q zm2o^J;B5ogu}u779y{qAG(Adep#6v*i4FC8{b!PIre9KtrVU1VuETHeeM+|% zR6yS0GG3n;E@40SG2u^SK+*7n(5PN6F+e5ghNp$3^NRq`u%_N*aK+4`0sfgn!PDpx zFs1n9_Yjjb%*r6*&V-#<1Oms^dzN?B$G(mymMFrR>Ws#!>KF3PR9-*H=9R5zfZU4)B9TC4>D>C%+-f_bSSe;hihQP$rdNy6` z62ro}v;KrH<;f@@WlL&dWGweU4G!z*Gu|HpNoKc`bkmHB>GTklQC4Z8gaQGJO^&4IYy zOk;Hxn~mm1jggW|(v0{idwW@8Dyi{Y@+!`_IXGo<1FlF~OLzVfawE%3?oRHW0+rqQ z*E!pl#goPxN31O+giyx^7QmuR5pEp^+K`fNSy!4yOQoyX)q#f2jhxn1 z|Cg3hsaKg=5ZVeLWBS;onS8-3)APC^xtL0TXIhQfNnWOb+<5YGlIq=e;iV;ZGVi^V zy`L(8>sz%i(cw6onkRq@6@PHVfGsDu_o!aupFL;+>w1_S8~eUWKBdz+$?ddPu2gD2 zEqhXxSE}W8ZMTK>L-7ipA!@ZbCnec)n*B=T$wK?#1_d@Pt?6Hd3l3;G^W>XyxrN#V zfsR?v$B`*d0#*Kri)l3$Bagg21g8|v*3I2}-^2dm`X=WBXBCyWub%~`!L5e(*ed7H zXz%3uW9Bu!60@LXDHGctXtUC0&eGT?np3~LyzveJT91`>V*f?I4LM$3U%yicp2o}! zPX(XGQUzGrL2?~!k_oImQ7&MBS=lqE6=yqrrPXw;vw0bJWacRYQ#Expy@|4&zKwoV zJF`QdM_mdRl?886nRPjw8+qxFn(;WS-6(4w^CqVT1!6oURTigFP|CDHqFPGSMOKQD zxK^{Yc6K$Tb&EbEm`Z42itcs6aVR%rv#OKBBcuV)4s@x9+A&C_-jptK&{ zn^%hIY1v@0jv|#ha-Mb+i&{t!VFRqE2q`&3Lyfz!n6I{YE8ko}E{S5|P>9jXnNm{O z8V>8BP^JMUjY@8$aFvX^GSR%Ax0ak_qS1>_03SqM_XvYt5z0yljyETwZYmh zbL;pqqua~pL)CBgYT}-|traX4<+LrebNIxilQP6KJ60@C^;o}ardq8(&BM^Nw8U?j zx_XWtz-uPUVpG{ENt7}x{x1oY2QV6`DthL5%k!-5?xQ-$V{}3!hdigK>gnUobo))m z$9zaPKh9e{O^^GPXmqRc8#%T~Baeif2fKh!lf^uC44;pG8=1_qJ?^QuZ#67X{-KNTeZS}6e~ctt zdOw6UEldmLL^x!&hK;7}{c3lWmu;p;`Nis0$1IWiVaz& ziS;hZGFP-b`90q2H>1KDs=K}86F0OiKyoLoW$K>VE0pMofNVA?<2YmS+m!3_QAL*8!!GM}JPRj#Kpw2WP=5;c;W3)qo)3%Nbi#&PqD5lL`aombmdp3%JEOk5hJ#x7lPF?c_>m93d^Zwu!sSxI; z0mjGy=3LMpOoewN8?g+yEes)7GbFeoBQ@*4r6B&%KV`~NDWbmwD*obpY4B;>NuFQk zaWAZ|@@{N;VR^9Ms24D?u`E>Q0_FTyIH=EWDUIY;l51MEu5ReT@_Gq7z^kjPrP$A} zL**Bs{W@&wtpEtoKN6$H1+ocHFewBb&r75Q#W*U@G=Xvp^FrRJ75N0(YOs-ST)!Vt zYV!%QN_vY424}K+Z|%MARD_WnKCHCnkFLm5fUIWcYRyDDeQy_1X-C;V`biefJ)+!B zr}+Z(FQ7Es9}gmkI~5I_(er&EwD0e_wR*sPmzd)j92&=x)M}heF>MI6vIL4XDU2Ji zP{3!=bKIz3vdj-1n>IY7)PO~5Jiq-TfWx;f5F&M)yoj?;!6T%}xUEu9cM;;@Y5Q|h zEiO(=hyiE#>iUZM2cV#l6j}Ead{9x|gacLD>OrY747hMG!MfQJrJ{UzFvscI#ADsr zQ5ibV&eQ$hY}i`0qhgkz!0thqZh#jH8ycQasf~(zWw(mQX(QB%VSajFnjL!#GR%lU z&w8)S2E{G=75k0S3%OWyTy*JpOLfDPL>|=TzU{Cc_mN{8-v~nXR7x-BhbYI4{N!^v zszHu$>cSA1PO@ntda7(Px2QSshL&t}#F>VY@)w%ZBGvwWe}xLJPE%!^o?vMZ2@v#Fg#NdF(8w3oRuIw99!1RxzT|& z{XRZG>np87txi=HY*SQJ)wWuRU8~fZnmlkqi=MV*YPGF1<$%v294X4+aYc+cm`M*2 z1IwPB8;AEK0fL_Jo)aHeTyOTJL|&$NCplye-#{K;rx2`VZQ!N26b5gc$dYp`W1b=N z+w)})*a~b?uBqPptr=}7QJAe?u}fD1$Z_&mM{t!(HZoaD#Nq8`S;#fbFrCX&(nHV7 z&(#=GE^NvTS_fK&T9!R^hV05mI$s#vFW}t5EY}o4(*~1+4<;=nDKiHN@CB?9G9TqY zSqpr`<U=o2&Qcw`Df9va8splWQ{+oT=b($_&694 z8-IO9D&QW+r!jF|EGi}JSIa-W%qHYttBQNi$Ki<~!#nLxy+#1+)r+TNu{up4cGVUr zW-YCkO)Dg1^Hup9v!%sFf`g=Q2-qW})yf0mq_igF8z`u{=;f0Sv*@96740fjrPRtM zPE>P8vO|>OFkGEO2$u+RIzkTV=;@dA@LVmtr5uP0Z?O>9B`u)OpU#nf@3Z96kUb!1 z`~8mB22W9?1Aqv`WpneEWXXa?Si_Z)a&vF6$_7FBrlmY^D+uNXZbfe40GRupUHABU z(O!dGu`Lfut0v#FlG4$b7Cl&RPD?R-J~5<@kI|DG(*CmQg5G?OQsXN{K~N<#}jfcwm;Cq$mj2P%Q^BJuJ{eyQRt@~?(T<| z{}%*pB0-mqNn|%yS2wtII)6~ch8*qgnba0orMW$*svf>f|H{*_q}v@{RSL0`mhTTk z#wj!Wp+zaFl~{EiCT_@{Gad}gpMDY%0#9*oN#k!we^Fj<8*Yg9iHHE%E$bXLkX2DX z^_SOE#9C?`v1XjJ8gNte03}z!{t3*#XmYE;09mS&6jc{YG;?lG6H<@l69&ZvDpYAUF(r29 zmU)_kp^o+1jsw8bg7Jfqw>3b2j`Dt(zP~j2v7$m<>Y3s>=Q(a#p=Q2Mz9-`mdX~25 zH8%9$6%LabKd>h}nt9EC|AWohN?8?;P!L9rN!4|o zHCo>2LZR#!)!*x+bo57zF1xPl?jXkWV!D8jjX~u8N%!q;|JQGFh1=?*?eKiT%SjFW z4+fy?71*CEAj+cqI7NT7i8r&(k)s+H`6vb}mn#bI9R0UYzeslH{gIe=@bK#NGlTA~ zt$S&ZVB7>jmlRDl>awyj>7or=CvWBSV6jQY?%#v8|`l*MMl`)5~GLgsA>A|J3!|(>QSSgl40B9`2o8sU1R(a(m^6@gECH=aHXT zGANI4GeR>uvm7wH7Mr0G>!2ZgYLx8Zsj%rAM^~v(64|(+vb==>0bb;0j7}Mn!^Zud zilzsr=DdMFR&CYk?b3;+7-QxVltzXIiZxYbXec8XD(IWSN@z9BV0{W4qDtUq{2a?! zCKE#D<+p`Sv8_XwIUOezG_s_At7x@Jv!D^kOL}BZ%Y&cj2J29qm&;O_N@ekMxVrqV z<&Mx~YTr5=C<$OwdL2FP82yCOk$QP^Q*LiDeOQ6M`CLwLC$QWE5dS=;Z%IBnh{gwt zA@a7gQd1N7x>(!Y;rSl^n~mpwBt$4%@?Jums?p<2_Ru_y(GtUoBI2S6p-d8Ehu0qS z4#nFCVEtYKQP0zITOG^Rt^!rMj}`&Nh;=l2;w4tFl=@tR3Zz-gArFcDTQfb{(^j*K zrlf!sZhU*j&V0YIxK$2kMw#M2xbKg&L5dXg`?vfy7g^6IRYX6ihPpN2YS;!-%q*qNTDiB`fC${8o&)vt+Um*P`05-!$*;&6#;?~&_|va;?vmqPx?dhz{H z^YKov-s@9s-4z|_Ij>iANz-H4Z+U}G0d)cz=>By3OJ~>e2-4gKB=ki!Dx&h=fqE`b zy1uHg&ogOI*w8gHoT~3>-uJmf$&<1)+iUs0wY_w9MJ7t&vYATBaZt^fJbD}Qw~1|8 z(5barfO2R8iR9h#TZ+E=+=>8;iM9p;j;Fn=HvEDV11UbL!#KURE%B@*9Ua(OyGKzI z^gL@@x0y1RxEL$q?ff2oKaYnWV-jfL2okYLp&94I=eUpWp%}w7S%JRN<-NI&t(##n zSV@Yj+&&sP=J0pyeNgoj zZ{kOs2rr-0g2j0?jSg+M|FX^Z)Kq_P8ulxeIptybVJmPIgltd?<4By}ION0VE2^Mv zF1n3mGwRmMHFoM_OcYgVdCh2FRmLN&Eh`qQ3AduIOXl$}4|Z#tQMM4hjrX%UpVb-$ zXnkZ)kt?Oe5=Vyxma`rQJ7O-vJVjmE0Z>&A0D91(miCf%hpk`pU*#qwkM)K5fm(D( znu!RXC%MFlhp`20^V6P;tc>`x6eBLM_qj^5R_Z1sYEsCh)l#7F$^M19`!a5>uH-U* zEQ+P94mq9hcfa&G^@HCS&itBO&)dRuV)TC1Z})#c_7nQ;mCf57IVnjQusHq3;(3pA zyG-B8Z2B@0-ucKKuLmeC=IhjMSMB!T-Z4E|BAhReH#^PlWe=H0CUKYMY)RUaddz2> zL0ji*SFKbkbh#M+{5wPNlC(}9`yhAtV44ceIQ4ysJSZSQf}99FL4@!zHY|gqPg?(( z!TxQ)4<-r2f?5xG-}?SN`#l)q4;{%m5O!qxDo81KWm4KKSrE?-WQ<-7vaof#LXZ(Z zt{8(IfPWp*?`h5ZVRpxdAi~NA*E$FFI-u%_jzq@dKvsW<{~!p?hopZn#JLP%B^tVY zN2CkxcL$pr_6z^JH80`fIrO z;cVjxd9l4Qoe_KJ$@uu8R+)dm$p;~}(7)k0G!g4Z|A~{Fjehcpb0hW^V`bs|t}W zq=pEm^f%gER}mJmbt>@z>Zg zK;gzzP3x1kZ}9aIFTEl>w+X#!r~ti^n^#&p6#e@g-jsPo*9$KJ0Gz zRSx6}$E(^(e(24eAO{*a5uBYtElN~O3njTa@$Tl}EArQ5(gz~11nDI?pK}ZPA$<#C z7<93p>LCp4^OGGY6!3-=eL*^ot+zw(0!U0l)#PbMNyfSJyqe#1JXsuuZ$JORha+uG zc|&6NA0`%K0>s@Y_=50rfgLu$WnVCj{rZu36Kay`3GD|Tf_FymOs%XTzMAOerp}s> z?cX;>^$iAaenX)9eokF$3`B|Dz&_R&^%@Fye8)|y{SHb&RMjE!ky&TaMK`WKA_Tt% zRQoW{H_(G)#wQb`y&i>u>O1^5l)teKAd&dM9yp(VP^I>?Pmp2z2Xe3Y9!Y%);*@&N zLT;Rgb5XqF=a#6tLY<#mA`0^!XBE>E=?ybA#KT1Hsl8NzBrrc435MC6BHl8ex^fdV zT1Ue<8RKKI;@xBY*`Q2tO=8Aw2z~6Y5*ptda~wbQsl(9-&N&EP*HD5h(twD`&v=5q{~e*rOb^oBaA?`B8&bZoOC~JDZh?oQb|0K`4n%X8HYX$uogp;f~(p#*dA zz9QfmsdsGOaB@}#X0!dulzVeQ)9L!=6##-31J<9EdKz0DMkkartUc5t48B;#7DFT2 zXXLa@_7~diXm!~~S;#`gf|#r4#?k15_`4mq`CW0VH}0w55nRe?#tym7D8|0HH{NSl z$aCc8IG^s%sNZI*&BP4`QBxD#<;kxTAUdOUF<+VN^Y!a^ECu-_+|v{*4abhq`Q6ZG zz$d=1l0@l~1wfMTzQM$zD`Is;vb{zCLn)ljh{ApFt4?K6&N#DQlAV!`F(3rb37MPW zrpO_PHn(WP5zph9!<$(B4~3qXhhVoNjeek7#|;40VdObq*nukS%FYPccZl!l_K2Vp zyLL=!f&OU0#ww6NFosvU$td(m82O#l@(A~V6c1bYcL40=J>q_e!qnZq&cBFpKd`ObU_;i64YIl&(5jiiAqZYMxqF#!dYfqr% z^%R(YjHTnNu@%JSlZiQK>w3<6eyJGZbBK;`edk9VaTqzcS(LhijBoN~O0)5mWeJ!U zBCj4)khNr3bhOR6?`c>hXbJl?nO(K~HV~=a75@7VMWnr{F&fA2I6^8yWl+JnzC}Wi zDMEKa9@1Mty* z-bVdEEIsf(+Jj>lQ+cA_0tpy&%NYwVGQP6r!Lc#s_Y}?x*J=bBGbV%3nXHx^`(eFI zk!|Grk7K?5aQA?jvZ9G^2e}$aC|iy60d48>a%r7QtqxAH0b5SFtI|@^SO1rxFg{>n z9Vv`Io_ITNRnhTIWo0GZNH$lH2RwFzh0sTVl|V$}@yi*pCu7IMc;#CyMtkin#zAiH z(!xln(pz^aQx%81u|G@8A+l$Ddt__ts&v;#VX(st9+0)pmx#-AcrKAPIjZxP-`d`} zRwkkH^Q$P_E-Yfnc5iD6*}2x(D*hm^;SkT}s3EXK;52jzDG&8l_-YD0Aj6SmHd+Y% zC7E4ekyt86>K$CpzJj34tm&wjgrFc|LcYB?Ac11EGj>y!)TVVEhnQvWA>pJHy2Nx( zA0Jr3n0&UVR;YhVNwzFu+KcaoS%7$@2ptm+eS@QH=(J{`f1$PUuaq{_&ErlW*>}xB zg#7xXIo_dZt)sTjZ?nBD%eHX7QTlj2D9Fy*bhqZkL1vrp=4^n2Y-tmN$Z{zDc7Vb* ztHjvA)keZ6)OHj}O#oS-;_WKk3(rf+vlZ{B_XQsvw0gw-s40S|;fvgjrFghILVY1_ z+{M6_djc=o2y8*qEEC$ zZhJBVueZ4Gk7*R!hZM;g?`WRMCI83@MSmK?`**UiFai>1{yrswLkxZcHQg4YNO3;? z=xBrt9$?uvMPyMie`s}&SzIYf!mx((HsS7^F^M3M9 zUH&T}0^$`1wqK|sJI4W0(fplGW^$ox-|+WM9X)386=o|#?yXKFe0^;UF7@N1$IBUJ zhcsx|d%+SAOm$1H$ifaUL+<*4-=YpF6;5iNc=qfBCgh!cd1edop3&wky)+}Y>=`;I zS?;V3GI!EEe>0FKpdcFbg_p`B(eknWeafwy?@?)yMwg!S-+jM01S%xsZYMvF=pHl> zX88sj2ZV|2vbr4&N%rBi(DAB+f+!O<*ieYhh@zjFUMiz4_Hb-0uEF`^_GRh=sNH=f z%uCPXk#a|*l|$yr6*(+`yz%b4^!O~AFlT(dqtLmAS*xsT!88K~^CiTN=fWmi|KTKN%yM0pr`x0Vh;t854(?qVdbt%AxaSDWaLR^ug z0@<&AuEn;XpOYkmMB#KNeoEH%gc2G;JLY~g`jd_Mm$FOpCPC;9Q8j$>5H$nWt)HND zuaJ7;D#&&RZ&u!ajI$f+y10Ho6)a-WsB?~ct>=K zpK7JKcsaYZTr6sNdhqKg&2c>E+@G`?O5210i{{W@SjSnVF~?W3_;Fz?nitnWTV~7f z(w_cQ1L$(q-4PGTRdsFa#H-mBxM!I*Yzg0$y0?Pw&)m+0b;F5!Jv=n<uZKV?)#C^)5cW zox0DuuOYlyyxZ(g_Kz@ih3a-{{+xsd8|mk zxqcqb;0mwCva@o`8m7DzAQks5IOm;uas$xhW~mEOHF>j$M$TQ0da%#g(7>_(%~_NM zJn|r-ku|Y`p@oWuCmKt!3t_azF_oN{mUYy$q&-d)+$)ktWO3<4nJ|GJfsT(h_=fNfhSxxWhKSV>PJI?TQaq?_YBIm4 zYFaYCM`ZdP33cnvFY`C#OakwnHrr=KEl2uy$~oBVw_omeoGh@rC?;2=5A3}JgNn?E?;L4K2JX~mvQhc=tRIk2F>HjcWMv$eJ^$!}($^7@Eg};-rX3^Q7o{5GL&tZ)H3In( z1X8_H;umQXC%kJV^{JTBPp6uXCY-}`>8qX7uToVII6{mY@TS8dLIz22A;8%KNyENL z#({b57*ekg6hXk?e0AystF88u5kaS0(PS-nyDSw6vNkNsEFJ8uBOBaglja}Ged&=! zc1j;4q=2&l-OwEYQA2xPuvBcjnWNWb6T!%U%e<^yhb?al323V*1g4<$QR|~>ZmtA~ zr*1KYJn$=g;rK*5Y30IS`vs!=_is7@iY~hMyc81ZM?2}<*GW`OJY>gws8bh~QL@LJ z+a@g;byl`q;yzrLmH=`4^4_>+FYeCHqQfSNr-_lJ&&u_B5I1PP_xs9nFJwd{%I&C43pS zke$pFIz;c@O68+t+K`ly<8i{%u6U2%>G>U1u?aO{Q11{`Ug5 zwk%Hd*$?lQh36 zi!13_3_llHcV7DmK1L8C9m<}o9DX-ccrt;d4PX^Uv~+ZQJeEQffDqe#TxUFwwt z!1HysGufMYVjZkK(hb55A`wFL<*J8a#G zr}f;n{KZiF zF|WgAC!!h#50Zp%S~P3)`Fl!7g2UCs9f>~(=fsj^bQZ_nhnI(y*P8G)eh?9}-#z{D z5;lI9Pk(ckF2 znv?ne3mM1$zmReNkr@7eFO+5GWaaqpWSsYZ$hg+;e`Fl1#fdCY3d#d{K6|87CQOVi6n!t=Jxb?fTR#}%ltXsHS(EDN^Y{L1}J z5_BDzb34lYdyKkkwt<4rn;s0GQ0dIK5s*UT$wnrhYSI<`pJd4SogJ{nf3cW%Ce#LK zD($tqA4L5Yh@q}Pcl)pQzB($drP-H+;KAJ|5Hk2MxC|ED-7U!A&fpHg2?P%kAh-v2 z3GNUeSbz{LxI=>H4axcBtb5n{?)l@sKi)dKS!=fxwYz`Sv#V;i;iqKNxFlU83|SU} z_MIH0oJSvvee_g@gBD5O8x_!V_tCSWhM;cjX&OEDr*h zrj&I;n#DFsc5r0_I4Zm!8amrln0JoP3=X$mnp;bhBr&QI#tzDt02IOPLTRdeJUpoQ zMAGEumqb2+BNla8bfa;J;3l8W>TTk%D;b5y;^@HADslIx%f`O6&rpIpHBr%~wJ=)7 z2k6OkIOW|LT>FJqg2f7W#g@)Be14=HLyh8VjjpUKYO@sTsD_l$&*q1G4CX8Br|Z3` zj_)$tikoJ<4vpO-y{EIRe|R07*_+0qDhZJnzk>GaGPQ{4F?oHWiY-i2nD)rDXWa10 zJrTU6xs`+lx690z{a|!p^#7=4lPGgVIpllQ!T5d)g+O7GDn$$5K1B=HK8fT<(Yh0c zv9l79ROiNdTAq0)e@Y4Z*b-H2$|sVA)3RYQaP{ZuJyD^ZF(ty5IjYr&z(SSb^tPh9 zR++GG`9A(C_H0Vc9PZy%#)HD*ZfR0;Pd@8XQ$(7*tBR}z0Ny1g}ou3H(+qFrxGdRr7Da(0{P0!Q*cYla&cwd<7+U_OwQJv_Hc9@{Lm-RO$CFR;6>hI2a(eL)lP&gM zTBn3O$`96*Q$hRuIzusEwwPZNq?9VoWo-K(X7zaBrWflu5c=@C`)WhJ%u+cNhjw!W$nUL6(7c;iro7@Y9qnWV*#1S4n(@sg-&nPVd8d_)w#LCTe{%Tp*{{(WGc`r8a`ZeK1@#PHgT@Dar% zVQ=m(?FD`BCKx76UHB%``4+ET-0FvZ$@_IJrdSWE*{tt-lO0DC(=|Ly5tVkSYYU7jP%AACayLCIx@p7I>>a;hActYY2gUxzf&{%WeFHm5^Re~3SmMf)?sgvR z;m9CulM)SNmV%%<9lAv3CjUM>(?1Qd+RkOM z2v9t}vi=$So?CdFr`Fa|$Ih<;dnE*YIc)ev>v)8KwzqXFX8%lh6DpItN#(fBkcjSA z$gtm26xmKFMy0=rsOf2c$=FEKTcsPvo7)SNV_`ssb8o+t1-(tXAsyPTP9~Dk zlY+_O08QNoDW9{ZvzW$I=jnFz7{^CY^9u4+0+pyxx7Wv5=ih;wMsle@M7+x{pyVNh zAuC-mT?fzWKBoAcbh7QN2OAeS%oBG)Ij~IwPUIbD)c23v9_5Z^?Cr(ru%>)Fxjwxh z)xZZT7O}E2d|&SM8=w4E=H;`ZWMObM^|*agBNZlTN}E;EcSdS?9#$ zGYV1c$|@ga-<@5TcKHgCl?)+_|}J-0hN|8Zt+rV)m3 z_!7DJXr5oxKpqn8Ffs@IR9pA|feYk( zd((I{|JC+1LKm4tfITjrdW> z6*u{?d}MWQqL@(?L{nz-#a(;P;z9P4vLog+Dfb$AGO>A>(A#c;fk#$|EubozW3;z2 z4O7WIHMRS^88#jn0}UGv#C z1|Q@ZRc1YH51L`t4ZgE3&fLKtr;AZxuv6wPK@n71JNrDUA0ZKuAHF^DsXI8L0nb0r z#5zB08*Prj3~^{)T|8w%w>fMhBIR{U6xBOkxfP5am@75sTQTB~Nwx7_TTWg{&}yRd zY_F%sYduCdRkW7Owz{%em1wrl{MBV-KV4zb0*7EoG=y7Y6(nq&B) z{^rExVnOM_MNtA(zQxw;8QH!?$?3{u7b{e&Dytf04$yG<g(ajk4vM=&F6%{EGGeaD1?RMPGJLOBJ4?vHz7V0 z5pz2G~xI|_NP ztZ|d)iGAm3C9=|5>?t#pOCUP(dBNA4FXEyj-TGyb{>pE|O${f_1Z>F%PZM$RwyO!q zFBI$3pH&iD)kUqry&!)W3WNt+1G%nG;7m_T!BJ~Zr8}L(tTayE1=8D7v;6I0)08Dt>tZeS7Mry2Ljtht8z&wN!WN?5$t7bW$d3rT^nAG zbwysHs#Ft0b(%?-4EhaKLo}A2pIU(p!VDbLx)c|)8lN~RtTJ8^R!YtDx+R{QNc030 z<)<8fkvyzC*ABC|JyZ<5Fd@rU(qYA@WGoBohEJ5ty=rV$yA8QYE5-ZL9(N!n{u6DY z%=A&zmg`kwyP5rn0@bTr>p20m`minMFO1(OVaZCA+BK$Cu{@7s&G@`@5D%AP&s&LY z)=X2wc$P_IVEa6RSJ?d zY6CN}Lc$ovf$`zdPT*Gf$YUcfUF%4#AB`LC9bcpSxGpVTDzxz0GWFiojI$;{{mB_W zE0&-xJcF-5XEaSWmKuR*Oa`rEchFhU(Us%Jk66s8+RgLU3_5&%&vi9Qk}fRp@`mNr zo#vF#-ns>R9*Lq5;bjgD!brg)-K&DpF7pII)86>Z0!P~B-P4_^+o^@~YNti{xqbSKQewNK?M{e-sWk7tPuk?5DnJW5&9wwBXV>Ja%6iUX3Rlm zUvjtCbD7oDDO(N24XDud&mK6$bFIiJEUY;kfwr4Cql*U*tE|SjB;sy-N`=AFmkQ?N zt*<)bYWehI2CcX2nmLISxN1S3CK(N9UPdPfmt$FcbqVJ}cGo@k!}_OWVvi zVoo5s92XUt`$mJG{PKom>S=1NQck8s0wA<7=>Zhf7tLHJIMprK&QNW*YRC2UG+i(Y zpXP)A#m8bUyKb(EfJ2vf9a13hIp%)2A#>KJmA0h3U)WE4<|lnyHy%Ou zq@EtaD(GnK+>awVU`F4=3+U8rlW&#M783SHU2aEfHp4~=GLI@9(l_6#%GN9KPjF|{ zNXcVIJQT`UL+Y}UP&V{=u1)lup&su;)-c*mZ@q{zKjBD*@pYF4a7weSXse^Ahx3O_ zw)SecINu)mTxHVt#IMC0#f6DVRjm0^9}M%~@QkM~PvvG!awC!}D~&(y;L8OrP7%q$ zKxgSf{z}6B(ZVxR69hs+@2Yw#&XK-HW0sTj;Bg~$4i&!}AGc3ivZzY`HimtE?O4-h zWk?^y^!?0H%*ICNgsAvr;qFtt+XD8ajj;P>)7u2QVU)VDR~tzAYu|IFVlgiV1o5gf z@qfsCt+hJV;arlEilu6s`LTapbi;t7v4aF74*%re+c2_LE0dgrz5X`q*=i_9tVN{m zari}f@Qh={?5ez*XjJTwQ%>A2y+4(^?iZf-EkYU)Q2`N4aqA#2(IDnyado-!YLl<2 zI#{u0D5Y2Uhy(I`-Nm4mniB8Wxft4$$LbET8KBYzsq#L?uq-gw;4l*y^*{JI8qJi2n$dBH;G2$s%85_ zMpXpMhfprh*}McF>tH9fNvEpSi>Uhf!o=(M?n0%#LW8fJ@^bi7Bd(lFb-#v`Mnt$d z(XlEc3$?!Q*^GEX6i6HdB8Xy`u9}K0xGrga_a1B2^#V(fa`c>r+{iuDlHl^9`n8Ec zTy0)v#lYMoW3)%}fUEeV1fx*d;}s&^ydgGsjA5rc1(jH>&+ckHJk{3kwV62eeK035 ziz#S*-+u(xG;_pzswi1c_gxWyvAZ)+8b~VRI)}CRDGf+PrOrunWTLyEA8}G5p6knF zg2ghv9rgE!H3pHc23j7|o4#mh>=s>O6$rVq8vK|>q@YkrR`es>%CfGv{7rx!G*T` znl!ZbiSoyk`y^a2o@UbqIW9%nByn&dm=80|Gf8&hPJ%;LYX_veD|nQX18s5E-k%^& z%G_Yy3GgkQm~S5$VV=&0UOL1>z#p)m5+nUAUk^Udy^z}4L%H$&98Iy=a*3h-;6n@K zS^3w)Bfk ze{cu!kCA*A)zH}wKf(>glJi37NdM@8k6y>)JI*W-wN7`eQ==0>_MXd{8&aPQatN7B z!m~MCg=$LN6f-3WdL3&9p6^G67x3+7w-Vx3eLmSo5ygTh-E)OQy*(`QJ`R-4UWzgI z2n8#H4iLU34mOBen*qsbz2$SW9M;Lp7s;4jBvt-e}qa z()ngUMzOV_@-bTvbh2OFd<$1Koy9hmch=8nj{DBv#5Rcq47;YkRIH_Pa(4A$d5f~T zWlCttRYVRGJn$pGtjnej_IuboR=oYlHBi%pXB#00F&qoPPa%$iLn#77m{@_w_YD9M zsED}8G>^sSL|+E}itYjO+Kd5RSUE`HL;&3YOD7x_ky?a_hvHGemJjYTQH&q_3Vf&- zzrwJnwg^06^lh&ECgqS z*N9l_2mllWK7@e>DEG+#3KA->!nMaSl{!eem^;WadkB??AFvPvzP>=oINEtAQ-=BS zKI{W*e+Lv}M0gMgHw1VEZXxB&ik>~3zz_%Fv|;7UqAjw%7QYz}KJkZe-FOi>ua#{q z?ZLv{7l>gQNuW^rQJ(YN0BfgLgbTQ^I+Cp^+T$ZBW9}%v$b_a#M5moy+1ftX4D>^2 zMz1BUMXbfn<7>Lj77oJm3F6X~nH`(rwh^fHO=}h-|K!oU3z;>a#hMjLY3}CQS~d55 zpyc{p#g+w@o=_oq#e;)|o9C)n5u+vM!1a9|&7;(_F3D-`Mvq~^Xy|)VHD&%@y{hKn ziUqiLep|kzb7|ql6Q+ERG$$N&HGOtWfvNIwiXkvfFa9f%g#@!gJ<%hvY@v^uAIX$4 zi_q1P(E}bARuG&#u{m>0@fM-Wrg_bvq3p)pPRYTss41)j)yoAH#NY6IlOELm>Lw-2 z_`xJD{`5oUt3+nb9l^_k4KOYi`csL@KQ39Ffb%f<|`A3>~1rQQwO1hs+h*7-Qb!s z&TWN*b!1zL#T6kgDygQK=<)jE#vhljbfk@wXL)TGjVT`9ymw^oTBGDB2-wH&nL|pp z-(&E`={lFpGfX+*rM?PnV!52^oB1%>=ere!lnM4TkLIywiE2{u#n@|~SHT6(e9dfJ zA~S}O6G~dlhxIwH>F18VF=a;07BbPd-HS6LQD2Hxguecd6_?+|f zTN7s4Je9WiD2BpyRMQ>FloO`fE#}CWEqqlQ=J&i8F7k3CRW?DR^)t>YMX^e1GP4ITE z|JdH*X+PlCS~*=2pDJ!_Q{&rq!1ZJ&oA?tj!lu#_SbC%7qhm>i8=HtY)Y`W z3t3N*ID2>#`9Pw{oDx|c$v1iit;f9Ukxzp&GG%*X^s6#=1{mar&M7(5$*$$6;?Qs? zVP;s!TTe;FA6LHe?d^?8TsC{c(EHqP3cLp^r0ounPF)FS^O@zNBpp#PPw}V4BOyw4 zd~Oz$D_7}Y7M&+QGq=XBWBLUDro-nmc@VSieBBPxC8FBg@+U0xg ziWQ^G$ZiZ`mbljPrGt|Op3kK>ugr}$FqS87f@~|!c)m|yD4ag`1!?cUijys^9$cQ8 zBP%b(oX*PG{f6KCyl#0yr+kn3sq6H#zm!XxZAC)!PJV?~ap_oz3yg~;$!QsH$3;zS z_Y6MVHq^#%!mF?R>GSLT-8at=oBgd-4oZRy(5vj$G3!4w+#w4PK20Cm8Qy{7&!pPQ zCUnqX@oZG2>8e*o*^%3yyyNd)7U?&TQ!Sd$WNVpcO%o7)D%M;7x!rp#dAQ$dEWaTC z)rDBo)RR`A+~moj4}Zt*_RfwjYeL0W=N$7En0<|)6F2h&XAwG2eUAOjG5?c{W}(6>41JhVDtnGmPfOjaU*jl+m&r&o+Y2pG%8<@XsVOxZK#kj zEHf5yG~P7QzTUSDsoC(K4Q>yk$wjB^ZDYrOT#uYmv+mDzse~0(i8@Rr(fE zSW%m-tf4~cPhj=@RjX^-Yi+|42HYSni0~fcI>f57_{Xm4d;hsBR`@6-EkOtKb z1m$D|nBT!XXxvxu=W2@d4}OHZa?Ns&!!P>jc?b?T?q!la{m;(HUoHc0l=r(fnD(iB zumL0h3XktmHH3{A1j3ehGa&Vf5%MgDpRXOmD+T?F`G2No-Cni43`6@#MdFd(kT_d+ zsO*NU?-cpgPE)T{VVjdVxYsq>X0BM5F^Y-AVlINHTCp;q7xQU(@zTtj;xC%1#fzFG zIz6}wjhOOkpVd)GNU|N+94aP5M*9n6Kfr9h*0bG;Xyq}HZAW?x9re*O*|#=%%K5{k zoWj{8i%fb^Y+UT17Q-(|!9?M~e^eeYX-B~|Ck%t+(h9uGt*%%h#Y}B(h4O2O@oDvP zAsMM0MF+()%;kRNnI|(HXM>C#!FM+WDAH1iK>`|)QRS{(#u0>28}m&?`zwV?I9SMs ztmC4Hk=!@je-ho*J@xJN=U}@BVzcV=MR%OziFOlu zMAo2jbCjpw2x%Bw!mBGIhW6@k-R5~}e(3U>@wsQ^Pu0TQm?vucU)W|ZE4t{F6*RU* z7h=<=k%^5i!ufD&C2bOjQ`dL0& zkg)~IP<%VZg!nx44Wv|zz%|=q0G3ht~Ggnr7=N>?+c;3%Jdc%m#c{M%an~GDSUAm@fJz`#M zS-&k*9c@-xpiDpzeKpBN?g;@g!MeU7BscV-p zw{F~(#3CQM15LSVxkUos!wDF!zvOb%j9b=ueU*L_F6JC71{2*p3(ekR-{T$<26^ig zY^W5zX}#S0E<292eCU&WK_^uD2{X+Sg6*`CP}+QHmz$KtuJVl9BGkP|C|*^9noH)- zH@Z{0&pufcmKGbJ9iWxe;n_-DZ$VPaBy3DhPzT)18#H7S{hE5f=xb`#QBU+fH13}; zf}B2!jWsgOKC{{X!DF<3*=03*=w_25e;}%GdlXYahnAd&`6eQy!Fy*7=-Y}|^P|{h z!McU&>!pc-X`C3PU}yeqMX}a(yj6mdDfJ1i22$ z+c6+U|LZb}SfHAPK>y4;!LL8VZXDM^Q74zBJSiOyD?Nujr2I3p6)h6J0jO^;N42(5 ziQ+zb^vBkEvk`vafbb6^yd6K__6=CUMU8(+F!)lGUM0gl7$noz)a+O_-t042!%BBu zb{UoF3dXG;)4D2i(HJkm9=FrG$Jp?y>a-|ad7sw_cgd_t(ayCpV|H{Nj0bI0Q=b!4C4W7@270}kgly|=PDE~{l1jb z;l3Gh!$*BtZsg&hq;{u$vZq)Z67F&Q{zVgr5vt6{Rc`|yRSx>Bi&07bM5^>pIry(S zlauq`bf&VigPE%-)EPkUXlAYs)n);+av=5Eg(MyS4M0RD8SGtLQL?zRC_tawepgo#v&dxuZrG+e{ z7;EYg1!uGAJmp*QgvLUAiY(WRZNINtIYy33mBF|g&Yf#?KRUZeO(-In%!2xzI7!!5 zLoZI~^ol5@Ze^7E9p_Gic^~TL*bfF$hmBkDD+_kLEQ zrEn#>C4U?y#2KV5{0=>_1TPisk&5=I8fI9XQZ$<)gHthH^zp-Y{FmH5SA=Wh9?m`nx@3ep*vOLYcTX9u~=hgjR8Bl^v=hM;WBOm~`feru2L+ zU8U3oSUfd)->28XqXYJkiBRKtLg9(|Nw=0S{7prKX(EXPRhkpiA)>3M`69@ zJJ`Wrbcm-PuRbjox&}Y*t=79^66MQEQ=XCmVfFQeoN@7jz zZbB&wzY(SS3?MD{vN1F8cEKX_;VjD&8nnXUmpIkpNNX{tK%vtsSq3@uCx@O)1wMN^ zHLN=QI!7Xke0|yxvRW%&M3M*3ky$Q2GdJCKj)uSBcFWym`;cv&{lx^Y9b3pJL1O)_ zPe)6I5y8P2+5Xxv-%0!RS|M4^`h-$~c|&t}t~s@fu(VMmFxd{Fu)CeQz??mp&f0cw zz1GC6Me{IEykVN(&WM=NVst9q;WBY95hJ>6{bBC)W*2h!>*W(^SsbyU1-2C_<0ejX zL9#Za9y_HbI-d$eVeldZVa^bts6IyNb4tj2_szQR3z>76lKgzLKVdm>)b;PVMFY$1 zqoRKb(ck=xT|2@f@`|v)TsuBD6XNvT6!7Nzc~w2xD#)T=pSIy_Q4G+?G4>B$7Ic{2 zUsY;e8b$Q83)Get1Q~74XeRPVei=OR1$H#O*ok-X&vR$}PQQF4)p>-3bqax?a)sUj z1{dvn80W#5kq=A#;!JxO+zIKSW7bom8;)$B0`yGhZRZ&1Y0O*P(Iq60A?oM-KzGhC0dMMfWn*&XCjdZRlQxDtNpy2NJhIsnTq(Tz&^JTdxqVauw zl($HI#1`{l1x}{g6AC)S*GOa0i$r{i!VjmHetbo8(VE+Rz$D0-G0?Q)T)vW-!`HnL zzv5iFazh(>So^cwY%8%wXl!J?P=F^T-gixYP}60Tn4R^L;g;%Xf)A*3KA|=7Aq^|=vi_R7GJ?P5 zzfnd1KArOSi&t9}YK{()u{VQy0QA@ZoZJTJAT=v5C_IJ^(gNs#0qg)UJWtiZ0S4f_ z->48i^-{*(+yU@QuiYoa0eTR2Q8qp{uIC&aqHMfelAJuE+!DOvVjQA8T%w|4oE&08 zfd5Paf65@dQm>1f$iL0WdlM;~|}cbW!H8&Z8yOC8iFs$Mxq{6c<%VD%Pj>c1lG z0yB1oc{szd<%DZcc62&A2_;E%y5~>}D|-nKD|2-R2U`tCGq?gn{{`y3R)j#%LBE9} zW(+g7b+CYIYGVti3xMZ0>IzVpG5kM_;iCDK@h^S)mrV=_Gb`D z5D2dPouMvp(L1x6I@tYxZh`!Q@Xw(C173LlcQt|ivP!fSe`oP#D1EUZ{e=!64QjGx~cDD8|{2qcpW4KKO<%h@bvq3<>FA|uIAW+5*E`EOgfAkl)5yZ;D4TLjs zHZ$i}6_@;j1w17Pyq6+ei0ab@&dvg-U~%!ZhZ%dY*t^ie zIiLf6@eqf)m^xcI!tQOod!EK74z4gkAP^n!2WvCae{yzob+-M**US_IwT0S2?O`q; zFx<9-vjYGiW~Th6zYW;?G!}XUC_)Elp_pZO;`b!A> zCE~w(*WYmcB?SHw@&B9N^)H(p{vlEj=zedJ!(%QmxaDg1kB^g__wLr8U4uV4$?#I} zy(i3m?}xDi{^>9C{_>aa%YNtn-#zC4fj(4lcO6=nQp(`{nlzC)_#w z-7HLWg!}8~&j$zy6_^MJ_c!HVxA#H6ZY^&S5dJF)bQ1Pv|8P8hJF0NT@OA!huK)CG NdD-9}YkzyT{|7wfArb%p literal 0 HcmV?d00001 diff --git a/src/fundamentals-of-ai-and-kr/module1/img/_moving_block_example_kowalsky.pdf b/src/fundamentals-of-ai-and-kr/module1/img/_moving_block_example_kowalsky.pdf new file mode 100644 index 0000000000000000000000000000000000000000..1d36f90f6a1a24280106b52587843a28a537f927 GIT binary patch literal 12904 zcma)@bx0RufFJ1c;f7vSjRV61NqaLYXRgmqIAZhKHY z%+#rKYD2Aym+=rUN#rLdG17;PcT(}M4dR(Z78mQomLm8yh!PGL@GDpzY7o*6Hwguo z^G6R9u5e8ZI7K9>)WIIkmHMIclk?~hU|i8 zIp+@pAtNvfp@Jb3BbL@TUxI|2cnzLBBcZ=y!%?r{Hts11QM%0iXs51Ff6 z8dk8*K>d6t9)P=@#@ro;Blp1{As&P90G>I^^o&ySl^y&s%io)|dg*mzSP*N9LNAM0 z&W;!9Zhwnh!yBZ{_)nr<(%aw=E-J3Jz&?GL;${qkeCT%*QDoB@O8!<~Ia`seK2q<> zvN10%9_hl4hP;FAqB~k#SO9&Bwj$iPcbnEM59Tqd%l)0 z-%I~ckNu3G$O|5Mf?!Axm+eK9!B!?EzWyT~-=x6%gXD*}5fK}YP$5T&*Dve=<8P@J zhsGa)aL>*UQwr&3`S_Y$pFK_)6xTykSVX_v#N+wN8U$E(Wra|#4H|+=<&+l`wVydo z!XEf|Y=LNoAI&e>9`SD(im~e)CH0?=9EE3~+|(;v!gLol^c-Wo4Z^p(?t| z{!LEbc{`R%a>;dz`Lv{+Y&QZ*!1{SJM;2Rh7aS1UKCYS6E$Tfg-K>n*ENBK*kgMxOZ4%MN{8n=Qn{23G zL^w<~IJjgnY__E}*53iU-NOR4aU!%)vwolgH}%b(o63-joF~ozSR)L72GA1 z1RN~jWGG_pl;06;m1c{8$Mlz=ogJH3U~mlsa|2EnVZM+eo426f4wRs)mtc!6Qo$db zt`IpLgQU@Ugss|IdOfRHyp1aa4AS(1{I;DnVj{3KWYjr?Eiw7_D${A3Cy~h2b9?)Z ztLX3;C{EOGUoMLCn`<_gAvJ>&y3F1Q32i%;^=kg=l$0A+&S9&s_ZJ%oTSoGpIvyTu zUY?}4tC5ZlZ95r+64cYB&|yBI5!hGj}h?A(Yo(mzW)wz=B`bam+e%!g*sbK{iB06 zU{b$Ev1t54`)TnZHuv`pMfJ7}M1KyQe@n`di_&LfCkD!Z^XLIe?Ke+;pc_j)Wp*X7g}8~s$RDK}Dcut$)okE8&>&adL>d5MV#_xf&O^Rd60s;d)k%d?2&FK-C*f1=!Hn;0> zIBH_M-`{E7U#(Fgq+K%Z^+gJL(X3$WRF)g%hwzG9uGs52cv*j0K324QO=(qgGEzAP zx!j|yE>XoZP0DtF8JDU z?l9#t+Lz5c=c<#GW<<>Mf&~-w#q<+WSc*3rW-~VNb)szzR~C-re%R#d5*Ki-U5&`&D+}eT$J0s3AF$(6 zXdcC-CMOXhE|RfPQEBeQ|JGXxGfEyvlF_M_5>;z(0RWC}4FxSyX09Z_P}y+P-joS9 zN}rD1Iz+M4afD*vI!tq&OgxO8Ks35&nt8K*GkOrz zKZsFe<{h&`1w$<0w>pN<_SMz;fArXwM#gDXKf)r@TvaO$+R6{UtJ;)wIlOSx%VF@) zD*Eu|Y~0dDjB>^2T@#7ZQ5#U|kWR20-HW zwE6`*;N{6#m;agtVlWjMu+xVTuf{jaFe@LgQPrQFk+smRYvU#(QP&@DIo)>vdOUS> zbVl8klJFzE%??ilS-(o=fk#7S&f{%jVe#yGDlI4pWd&HfwOFm;IK80DSpx6%79MYV zURq)HyZ!zi)|Lie%RHq?ErN`$dW&~+Wtu_Ore!JnAWGWfe#(3r$GI)wRdl_T@MT!! z7S1)=!z(ktx6CfhL&0#slQ%q4hkhi#lj%MI?+X=Bk3J+lN+WAlvv}~0uVo=?gJ5yos39KlF)Z-22j_maz7(tRd_BK*Sxn7#oOhX!m zMQRKi2BDm%7KYkxreF6vx`iF6bidKjN=&Ph4Oia5`RK6lw;mFMP7CT?yTfa?K~oAt zGf5q%+;NCBlth%P@gUa;5Dj+ZX#rHXivq=oJ7oe*)U!b+<4?vKu!>~+y-P~T$SWSR zwB2iC9+pas;Iq-(6*5BbVP+2<7VrDif4+l^BpDGAwLM+!8>M2utdQX7NR&`_9rTQP zS%cf40iEORGddgWs^xXk%L7+A$4Pg7w%*ZcjYIX+k2>xtnnt`Qz+BH&|7h#ka$B(X zF;$~Fv4Py`+>gXneP+Dpf*5|GKjkE=wGQOAwNczVcf>ZCPUkRuX?Q79-W!g_KBmR= zlKjZ+@CT=Fbf~L;F)_Ilmvy|qNKQ{UlX4(gwN{Z7=-{X}wUTl&iiP=rVhRd@fIfEC zh$fPZ0!sWaUSPF#XjBz~IOcgJK@TIi#Sx ze{f2=`tD|IYA&7CY~W;U9=>ApSXkn&ZeL|so{B51Qy|$Q_osBIg682wh^6Uw2V29$ zVs=x-IZAhUu}ZtZDXue1B2}kDbm)@5I{x0*EB3lK=R*kvAeN$9%b{R_x;c4hs^Qv9 zbM0G(>&DR-PL)dx9@5yA#8ll$6Qj}_Oh~O)C4#efBu}zV6DInq8=qSaSZ9T6(oNEd zI;(A5!3aZvwF(QKlvYOS5OwYA?(X{90xFuSg(Z&aajhrZ1fs08xR)nMW3>9r?40$f zdp#*n)dm_K=Hdgrp(??=onh`rn{-eR7gBO;D{pmF^9TdlT(4zCV;*TT;+;82=nLq) z3Kxh?3padghqD_VQ|GV21?yt&!VEW`njv$C<<%}yZr|ZSIJS~`ry{egV%u=&XX;ko zS-tM>4{chTo1M=Pv*>%_`O$&G+-yAOh~4|n%)hPVFnP;+mKWV_80nu}xO_Xt-)zz& z!kV3(j0tQC%G|VDn6&U}lqPA~tJU*|93@X##_!J-5GVF%cHu@SYIvVthRq@_EVSbA#eX z*H6fE)_cIDV6PsX%WF|)kjfH}{5FmdqW8S5xM zAq2gHSUcaC*jJ^y))IJ6s;ZFP3(EYoTM75d}pxs_@(*Zf)Jmwlc=AVr^}V zsHv{$tcma-t@wjAvB0`ri&C|TC0Rw+^UcS3n6bY33QDTQu*%eqj(sTxtG7Pg1nGeFgX@@n`eiwuvTZ zHISU4tfg&aE*nDguM1ARW}yUkGWktdv}kFjKFu>p=M|f+D{3R4g6Nx2$KteD;c-n7 zL;1a=KeJ+PzL9)9j_I&Q_qW=X8h0wOIcT5;_-2{*riYr;dL6i^J}!4FgI!}HyB*Y{ z>tQQ&E3_o!H<2Ln=eRoXu0Tv@coWEp^%%zCFe5%oYy5pyTMW|Z;~T4Ba#_pH?2r`4 zW*mTkw|`9RXBqS!xv~p9SrQ#Gp77hQSGdS}%QuM5D`kR~hVOK><}+Tfs$8|@Kl)dT z;%W1K&sg{47CB#S2e1jzY8W>!xVNMRP9uH1fm}D$h&2j&opA5Mi2(bX1Kmg z&SEVU7;9Y#I6uHrBTtwzu$^zJo7e^pJ8u*Xt#K|ahKOeln>u8Vcu}QVP@idbRyDGC zMH|j8amLZZ!#0hTnY2Sg-aJa+_)ab@5@aNJb&_44S7$^F?3?b%HSX_kTsNsKm-94P zP=9A_`v$jgu)x1oyrX?tx&v28G?N3cLsybsQ`;xyhKXIN05_DbD098~d;S-RmHq|P z2K%7sPqGeUb0f!U2fVaXN-x$Rxo6|3U~6B==-<+^!?iebFAN2IH^KZ?11C501BK8H zaEwvPp>N=!SS-nc);L@HO3Ll@-*&7~tegC;(^iz#k|Z3?gDj}^GDcNQP-EMMqA;QK zDPrB_K1w(MejM z&`<>+kDOdCi~fbC^(7 znnyokBS1bn%F1@`pjYD+(fvj8oaU9O0N%=}@M@&}lbOJO^f3WNl#8k=@l!%4OvvWh zOjN;Pag}ZVQE!X*vY0d8x_KHoI~Z&$S+@wr$u^^-alEdPn3_8hknvZvH@V#pnt+@j zl>oppMmI||;xJ+oCLofFo&bt9sJI_}Bhui=bA#iL6(=&{5Ec;cjdfhlF^03Ro)p#* zJ3>VX@c8`}G}9d%6ZnAuq?wr}p1NPHeqx$g|8P=$u^1@G%Q*qc5^cbD0_>}OH_*EU zv*~UcosOLy>Zc7@&^7d$e=!m=3Q(bFgy(6FeqO*C-GDm;mX`hCg!7Q$H*ER-a)x*v z_1$IQZbBoJP&+J7H!NQB>n{e7depjYCEre@-2%_?+;&9ry67!68k;Pw`TbdiWfrhZ zz&O;2wKp}_*`pl?PW1k38!*C&mv}kA{vc3+mty*?P?csh#|70^4{#Zqqo22N*ASf! zs{G407!dF*6ohyR6uHo(tGxg5E04Reim(TN|m z5Vj61Ket&i&L+_|P^z~@>Q{lyUbhd(Hv_T}&>&fUOJt_LX&63Yg=jIBZ=VvY6x8T( z7GjF2%AOkzG)Rx#12l1HYW;E8Av)P0I=h4;^aJo=SjbF0r+!Y5G|ZsZaey#tpbY=j zo8OYvZ|w(*FqLIG*c?k%wrMJD`;wxwlfjP88EmNaQYS3Bnc3qCi+M{@_ZvGm_{=@~v%K%e{ia?nXIY?Wd2Z;5ZEBYJ?0g4<+&dlX~JxUIOKC0+Gc`rV}Zup{~Y$@cY-*ZX; z@wPNLKY=-?V~>?|);}%0hfmv2znEQlVH#Ql@bzUVevz{I_951Tk z_O)$-QsLdNzB!#T#fUF1$P9Qdz5;djCUZHCt|8KR%mb_XZ`m})Gku`yx$u))1FPI) z+!y`D@U~3_xmYz`$)4R68RdtDtQR*+8CLv@t^OQ*?H%}rCP{L#Ze zd|cuKRLM2(w1jHWc@I59ZeLrOw+Wc~dNU3yjAxqyQ}MI!@22K6hWJ`htAe5Vs7qNm zmF!;^muBW>CwN&?*HpLacKQ5y2)41qh<0Z=BG&?;MZ)zEIJSwU0bs(zz<}SJrWJ*2 zAGe1jyEIZ#a?npX6-ZUPMCv4xF^L4~bp%vmxwPw{K7nv7Vf`VwZ^46(B`zhXwB|Aw zz|Ae#P#05Q{mrMul^uBIVL=)B*hF_Bo~ZZzMC_|xqobSnyDR&5SDky|Pw1)2f`i01 zjSpv?#)1Ysg>!9};V3nq`TE8sZ{R(TuEYKODwft>?QM8L*MR0B#h=Ed`44bM8nz{N ziPf?uCoN;os`jn{)xBy;=lLWzP8}^JEgwZ~B;A?{w^=?4D-^oQw55B4XFmE=$J@w` zY6l%vj+#^9$H@HZ8wTOZj{G`pS>f#6QP2&-UctTP&$G^hAAp^A z^xYdb!5_jp;6WKcxH-61*vO=ez9)<(?c!xm=#@#Xr5CS)1pX)?TM2oo`jVW)w!TGpb{sfTe_3-@5M%^c42>uu4{ zoAC4a?b3nm)DlDj@ut{%4u!P1m6TRe3%9-X?tu^un^g7s!IW;slX5;cK2v<-_D>p= z$tZynMv8GX6ig#Olu!!IlQ2fdjaPn}jzHc}xJOj(_|nb) zHNNeBN;bc(Qw^$wyAC-6a3JSjTezAdnaP^bnX|B37cW*-&8S#rG*qpkuR5>hqOYQJ zmT?wR7P1Jj1}_UR3a%5P6Jl4ypu8-??-(-scCAO}{68r>vLv{e%APD6_`^oa__&HsnacIlXMQ5q^4fpKr zN?}u(IvX9BAY2J9Nx>ccNd#+iGU7kPFc}nh1=Iz?MK6~#t%9zDa{xGyo-VYU zpWb?~@0bw%~yBe`&X1t>On;W^hsu%b35;1-hTS7SGCZHqLZQ1;g4 z30QV?3Lz~!XNJhDM~iVBAbLTM*{nB<^?;<2&M&+B)*hPGU;HOMg_1)egEIqaR^^3> zO4JO3W(F5_HNtwj<_Pk8zf0Nh!t{}|)wdIQ;Clla&BH8hS*%v2I=RoO8(efDwwkXv zem!1g&6$egJdrbtf^L2dY3iM*dZi$gASh>;3vPdlucWVOr+rS+Me_GD z)CGhStOns&=~)nL>BQ3bi(IZ_Hn(!y*|j^ihXOQ+>Gv_N^mdli`C*2pQKg`!*nmg1 zq)vF*QBj}u(3x>N6G1wt+ITDYjH#4*<%wxt6MRXH(HPZF_Z6zkWIp*9b7l)XiHL&| z--(29W^mbUov4Ssqf01{P?vg&lnLN$f#Aqz7PHvT-uHk8T~0E(lvFBJW+dnAqqqE9 z(Z*<}G~;Fi+=IDs%-|X|=GB?VNrTBVG>tBSRie;QvK7L^vEUo_6=J$%)iK|MN6Ooz z=rQ?8Iq7JVg6iVihp9k|)|cF67xUR_G>HP-lh|h_gnIL)r+Z6OlM5av{Ki?sG`iS1 zPOJU*JE-$wzB%1vuxtDib;PIDKbZ%Wo&ArsrW#z#6v1kLRIjv;$PChj6uGUyUaQtnWlUVi6;od?rbX zd!u5F5hp^Jxf{V;sG4L1S72DNAKlhbS4h@btbS(rd!kqxKh{Gp2cF44SlaUicU75o z8?M=PkGX7rFmX*y)!m+1!X~OEFl1yYL?jU+2+2kkX%@)?G1upcMAoH&+{cLAd8vhn z=Iu^m7ld5B%`7)s?u~Dr&os}(&z`~xz$AE5-QT%Vs(5k_RM5%9W3kv3#Y#+q^&+<^ ziEw;;eGlfT~U5?&i%q!FKp_pT){>rHh0ZL+ybv z>2y*nZV@S}=tP|T;e90LxnW_hN2M?_acuAGB%yZMw8SQ!5W4`XP zGQ}V5-QTe`8dX56h@%zX`@7Tty|0ydh&Ti7#FnT|b}-dgk!UjvP@^pJo0I4z!>^-` zC?fBDOy$zui>l(tR}XQ2=*Sc?q)03;>`V%6w1;vfdhu(EDlVO_NVJE*udo66 z+{}9^#iyBdD}=>PO#qMCnA{wCJ)*P1a`S}w0g2C{PMtOU?%Cj5YeL>g8QPl#c|v@W zLkZZ64?{_hXg)Ge7t}Ra4;g8vXm>1}uTB}2{(5gHnLUv#PllX>Zv>rq#jaX1@8PL3 znynmO*DjVyWSrg9L7QZZ<5aI#;idkRHa{6clJ)KK`M2YvS$np{uy!kAkaj4F$%^ib z-DA(F@9`09d2L_sau%Pw*?+kkzK{3t`3{yUzmv+?GJkLMGmV@etK4)<$+cy2?4-A>Fs`{pP zBoDHub|PM&?TymQf1S3Cc1q6gIHv?`BOLd**v&g4f2`xJMs_ZHHXt2NBOM85^27jj zYuUI&hX1s4`oFKJ?{-h7Vs$guO?+|%8L(goxXf_1yEV4N?v825>9^aiePW7lc4861bO~ zC?(S4aOu-Eut^3Hl`Hdz7g4~nL)!pUBD1H5lw#OnV?yCl+2JOG56{`%!=>{R`=LUr z04Z`qfBGfXj`PTNBeP?9p5LaG8TvQRvS%_C&$#KaNP{fS2yH8EA1X;E_i&~|RF>$1 zlz{T}Ph`Vq{!;Gw4Q8r;=<}Va6MLDTrH2E|wxsL?>tn03hpZg@E92YT>BZT_Ch3S) zDD3#Jmvd@_O#ZGwt9!H!Qaex1B7NvR>bKP?2W#3L9!YD=cZ zLN^f5hV(?$hX2&kLw*FhE#V>e9^@k(>0fa~xSiMl(VCrKR9pT1iJ1r9D3+H2TBY24UR{a%C9?57gRTQ*uNVRuju{`;!0Qp)(f_zw4ed>iQzpa8=^}} z7L*NWQE2<^3BVJWv^7`XGYQsthg+MqSSmUqYU%%@0kI`G8``F5t2DHig$_g){itLM zta&c-gfNqdx=k7LDbNkwC9Si~)q~Wl zb>8Dz2L4383bsyThh(kH2a;nA-X&TCwnffohi|Qlw2RgS?#93UYqiXw%Tt;MWXki$ zQ#^kIm|K`j*=ui*Em$nfTiOStThgY=qyG;MAAw7dPYGWLyaLyS$KF(5uE$~1GZs|+V=^5T_b^n}MA7?sm8EC)5BZ8}r9=anzXC&?1SU-&8=^i>rAK_5H z)Fb*UTPKJo7H{~skeKrJW5##Lr>dUIBh>9~Aj7>ZdkH?Y58V|sC+J(eO!*}c-Cy+> ztu|2xT$!`rO8kB^;tb zllj!LdpQi4<3r8-_`Q8M{S|?X{k?MguKueNK!%U%pTP75Ffx3^?C(+AcXI)AvR|=j z*xwtr?-ak_D>f68beZw9JpZ?K`BeQv~eq;9sY{ zLQ=55=WgExew{_m^!f7p)q4yLS%Qz2>BDdL0{R6ICHTmhUAlHJKE21UkR_KGnO(AW zFT7s>QF4j;Pk0TO+rr5F=-R$}{Ia2EcB$IE==2_YetG{lT*At1QL%g1Y~OVT%sm2R zwusriW4G^kz5qsMi-z61dHZf7V9xdHPR#M4l(hRC+~sh*=Y-6ue)8GB?0gc+Y`rm+ zd`>&Qbb|&MHhlva+Zg>H;ow*6AM!&01H-=w5&t*kAtNL6|Ii(3%l)z#poi~xMd!T0 z`)=C@RD?;Q3C3-sk$wdkRtd<9kKV<-c^$i84F*^-OhjRd>$aD~c!9kS^**HO-R)zh z*47DQ+T9eEV`nxW$BfyUq9%WL?52S|j2X&JhvM&sYbV*g1ww``8J)iYZwXR+`Ax)je|=&t7asKT7E#i zAaF~)@RQ^*w!1yVK6MErUec4|TmgNFE(dyF_|eJ5I7RO-HmUs7F6?9AAaXrbx9zQ~ zz3+d@6yyJIrkI)jN2VGRCMCds!4F@$M`Q+1nIt@Gs6EVB)8GMApkF`?-~@sfAEB8P zXDpm44H7v>_GJ^EQTl-@f(kiliOf)f;bE9LF14WwsmM|kAp%v`{)zqlOqI4*%IF4R z9dI%hHPaK=vbe$4>=|tGn5Oy(0YQYh-Z-~ z7W6$)4wYeIeq45*bZE&iFS;zL2Tj+EJ)^gEQV}l95Sb$*pDpm=yUbM-=^B0myZsAt z%iT7ptEV-#D?xEa0oXBGDe%g*TM|S$2KGM{zscghamAob(GhzM{t0kJ-TzbmpOVM? zZ^=_~w=*W76Sg)mHZn3c`YO6FeXF9gfzvJMzj{D4*GUx zwAOAW|MZm8chI+XB>0DLR?*zUn1F$amHi+2{$F*oEMLOfe^<>;CT&@+(IXFUy{f|S zSR?%*{riXny(*AU?c^j)ps5oOHr-Teg{3K;`Ek#+qAsBCi5VqNe^5A=b@|G1N@k8u zi9o_ogit!+NT`0>2n)Vrn{AtUBMDo;#g-ye^`CqFmEEqnNBnvrsnLYwd?XoSLV_|tEAw@^vTiin^HJGn0WC2T=bQxali zig(=OYQ}Ygl=7v;oORY8=c0TOy7;UaO3nF~?JCwQF zn|UO(T40-)lJ_C49N%#+m0^s}YlqA#ZcP3#sY7vTuGLW>OIVADu&Fx?V8|_Ej%Ur= zt>{$DkiqcZW!!@)WwuClghCbpIT&iCNa|cnh(SovhL&|BHD-CtwBd$tKQ4LhMI+mi zeR-3voQp3)#C7>1LLoH~2dyvC@Cr8#cU;w?c{pH)h1As!9H4tq%wte9PW)nxe{*5R zmlNQMlGU^D&z7D4mP+P@q)G<+;IJd1BTHUsv1tlE(GJhlfwS^}B7@Y-gvqvqQ}TPa zXdlAGiO^cFIhE1k~jSuuDCTZ|L6*J4f74v_5X8xXcacQ;!HJpuw10{;?#fm~D|SQbfcuN^2- z8-v}KK*QY`U8w!AAkfV4@d8Z1#E#zL#^U~5bFc8Q{5AsR}hiS?3j`^^g>6YZ}SLNzSvrvtLPe)GhMet+Z{Y1VOT z?0$r9Ou$#q{&DsJfz1Wkx+$1&6X!^oz<`Yhv6N>NE-?$j{Ng&pZKPlytl;SBbvgEq z5xbf}2a?=umhS%@$`Yxp0PX2-a~n{Y3>p-L&7A_f6HQ?`Blj zmPeUSTvxIKwk@+Y=9(3gs!lSyS_XX+5j>f75wV@$7V|ijgix|nH(++JvK`gpk|N_8 z>bR#_O{sNjxv7A$4Z{pT=l+fXB~r`vpC&BpzfIVGEgEb9It5!>CxU-0>IwilaT^m` z0;Yep|Cbr9reJLH-}9IC>st*~0!@Oi4>!IJ?SBL@GIski&=WAQeeu7qH->t8PoFvA z{yF}jLi7PJWXQenL~8sHRAGAHC}#u#f$_im{Qcz($>L_X;b(_NOD940PqHDug*d~* igFp{MS^tMYIXdY(IJr4|T@V8!D;qt4lvG$&