From ad625daf53725818c689f45668c2f246565fa3dc Mon Sep 17 00:00:00 2001 From: Sebastian Kutny Date: Sat, 13 May 2023 20:08:50 +0200 Subject: [PATCH] Change in report. --- report/report.pdf | Bin 623151 -> 623239 bytes report/report.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/report/report.pdf b/report/report.pdf index 867c6dad0bf3ad042d020ffe32953e45f5dd3f7a..9c9087524096a3248843d34cac4349cab311b39b 100644 GIT binary patch delta 14909 zcmbt*Q;;r95Z&6gZQHhO+qS>8ZTs%twSCvNZQFMKBoC?NHB)t_s-L@0&s3j2b)ggy zVHAmsEG(?tM2u2Ix`V>Dl)$>|?94>}&ta4nBhuw#wP0goHe+MuWacvAHZwOdGdAUBF=yv8H8wZ3FkxaB z;A7(CwlL@7U^X#j`|n~iV>aVvGB#s2=Vs$#W9DMzNI3*11BOb00wE{3#mdC`^)w5d zwlu;cj{qHSH{aW4l0m?O2I~Ao!p@)zg1%{T0$Bu2frIP>W=k1`WCF-+G#T%nUct(x zJn+)HVqw+dXA_}&eOv99ismV!T;X$%Hfp+=!OAV)%6BknvT}O&S9f(#XJj~B-)b}S zuJiC5j8@FpkLb23yySRHFR<|(gw>t*oR4xCWTxp?b(I~t(4|tLAT0MgqRvT|!Qlnt z2C)$$O$KlKh6fRz#ie*ap)((}3qKq@Kx{@&rC-`!7(R16@yIZfH{u-_15dDcaR~9_ zjr3*yD*(pBSx^U}b2CT`>4s|Sh61+G17qXn=FC720>;b`Fb5_8th=IdF93FXMG{zd zA!--s#qI1ur{Ou6GF>^mtmI5zm4;~@b0>t~@zB3u34Ua0Z2l&z%V?bA ztSvDB&&%M(aZ6YO%!+N_4)9O7{)E6M-pNqX)$Pk7WTK+81(&(2jEGH*PjKa>t+cQR z2&=-ANPxn%C{u`^A$2yeo7rBciWBJgn#T=l2y4UISmCEVuTewUf=+2NSZnL`JR;r(n(-_E=(HTE=*Xhjj$^jX&h)>&gT`+}^qYFfR=}m1Pw=2P=@ft!+Q;^XzOT zHj|O!uHZ}NEYZkGdHbb2v5yH#)MOIenAKOg3I5pVeg`;1E~yG|u15n~=r zVbq2IL3qzE<5wUejD8^&o+ni$F~jB055W?amwjr`Ad!^_jJtKeZ)_1aK_XR{lNqP5 zMtqtT4eaQc#2ADtl(f-eB_cguKYPcU{um2FQw3-!1G7p}+o&q#T-0X##HG6=M~ADP zFUn)xoJbe7C@hF!ZWWAXxfl!bP#wctvj)2W|4*lku6r+3VB!Hxvst00l&y0#^>+Rqyfa!2#&a2)A$Y!6P&A`1 z*hQVc5_bFCKR`>lzWrD4_(>zLrCA)yYD$^0+u3=$Os(Q~CI?jF6wD zcAj6c9TtKR3O2Uo#gpkw-Mz0q3B{A!och)akzB2WH}wmle4F!}Jp>u2=Rbg|ZAnNr zB@@fSSUOHSz@7qQ)Ygl$$yO`&!QI|VcLbNhL7H)C?}~fM;gCI|`^cXn+w2wgNt&ui zKh@W+Pn+M25PqnPh)>PgNn^8_$8RsEVYI_?v}-wLPYgoA8R4`N?#d|Jwq3@I%lC-a zaW%n8OtInlnH`x}_zndfwOlxmf_hpU0TthmcB*@}}je%AZ_AI`tO5 zh@DkKq85RUOwo_ShX;_e1J+W_m^z`8f`;eZHH}kPJEvwo{d`ooE+CRMkW#QQt0q@N zbwnc$wPjK!_`RY^(6z@PSkM<3j|_Awe<+`-i$4SA{kB`En!N`zHJt#yU#4Cye0s){ z_Ov>ox7WF>N+BCGdG*o4_)3h*kG9GH)#ZxH86gTK&?QhkHSoqdAxxt`m9v!}#WYI$ zh;!)}z{>)(3FTPJcHVFspcy6W^T#-dL_{;wvJ?b}YUSXSk1D{B3zenD-@4!HrNqCp zh?CD(XHfj{6cgkb-L?R_tq)W!^p!s58#41qmyM9c?hur^YlSkkDeqC`39{Zp*kip~ z^2MF?Jg9#*#mE&cyucoO$hzd@ox&!8;}so|}CqoTb;stAb#EG2YvYej%g3W#GtOT3E%yyn1~ zJ%s!d?xjhbDdJc?1u@%;Ng~a!6HBswmjV)R?hJ z3Hg6)FOn`2xI%=8JfJnomd%0W^jRc3QT3c=sF0=$XrJvWAN;BBOveUf?uol6NDE1K zF$gtis2l0Xh(`d}3W-e@c~~?gb~65Ika}^C&bK&5y^yPvuMtt}P0&@cO523`2|Bmv zt)Sq=Tt;D98dTfUc`JFIVr=&|31A#oVL06$O5*(LX?MMv`LjKkR^~h^b9XNNizYM? z8-=E;dTYlZx>R6n5XICW%S7@tJd`_6{J-RT$sQlcEKqt5;kNoWmrS1l4>#6{+RXHfSa)_ z&SdQ;b1)zxch2enC+~!V+7a4S>sg`zi6PD)hf8BEbj2lI0#jZIL$a{xNOb3(EX0&< zzch3)K3v%{Ns);Q2Y(})f==-n2okgipE5hKK3wsyt4C%EoXlR7X5k&4t7?$^` zia=hQO&dJBnnXTQjdh{_7b|Y3I6=;Nfyd^q@7P!iLb=B3n~ho9|QHVa8H#ry=k- zRIO<*T=8?*Yc!)Mu@%ybS#nJ#{ADX9w}M`!MAibQmtuit>XG+Il{H#tvN6(e1Iee7 zTffIv=oh9b!F9eNw)-0nwQ@z-<^X!st~@%c;dnf;QiIPpdf=VO(LoFQM9LUwtBz&o zIeNT(eCU#F1Pgj8F`xnqAju>Y4}&ksGd*z^I-Bw+VEGi;cT+5P)CLP}ek#}t%v`C5xROC+7t^Dh-%G&dox_J9h3frGh- zF-n&j>(#RJz90pgb{P{_GPeMQLzPhuhCX*IA?H&aO1&CP=}3tO;B-Tqp?5lO>gQ$? z;uQnV0Ehr-Nu}22ldWKw;|QKPnk0mgK*>#&rBfb;gPCFPVun`sj#TDDHq}&-i7D%J zy~VfWY>cUhF;w#-Y*T62Ie=J`MI@(?Y&*I687~Bqh0%ZXm=7j~lHcjehTRJ*uEeTj zb4W&V`;a=eWl|gHh~!R`<#l<*RmrEyq?nD6!@Xdquj3wFX?{9Z1(Jld5Z%{bjQU&l zhiQc(qSksXR4P9vgda>m)Kxys%n6@>|N0MA+~M#89F`URjo-P3Edc7H!Os|n3Mf5F z;cVcYu8B^(HC}|i%!yYasEeLf%7`FB^karqpvB78h1)^P*;gS#xGbx)BldpZtzuf( zU`+chsX3eDM1}W+X()@DbUIQ-C(s-xsvO7z)bY_c6MT(+k1nHhy=$d5mI(hA%FqNq zYb4OPnx6~V=g^xC3{WI=dM1)S5TcB}_RtSQ(4>t@wY8X}JK;umcl{s5#jW)tcyO-B zBaZq=MR(>TC24#64msxy^fPo;7RzclrqJ0%?Of@Or;s->cEbIJl(n~4NGdNk+6*&4 za;?DYg8~ABS`+3Q_~Dl zmu7cpUK3MZ>M^2NmYaYAzVMprC9N@Fs4V;%+9itFAw5Eq~!5D zUnkc1` z>EJjv-)$XnMV+?i@cX+3!IN-G7)sSmZ3@q&PxVYiPX8rka4lMet$L!AIL8K!qycY| zR0jOvFRV09+=vNd#|gz*pupHz)2FqdwusHJ?im6gwN;@yMS|z?=#jmynSHuUEjOQ# zAgNWYPlJ-Bk=gV>F&FM0WY$M2Z=&HNZYAA7uy%2CnZbg7A~&ZCPqnA;_s5;yQHm|f zmG)j6sh=yNj|TIHrFY;05??rY3D%LfWWx2t#Cy-Q^c3%%J*D+r)EwBgjn-+)XZ{C^JMr=hd-`8o^V8>#J53;47%cQQW z9UNPlB8hn`G^8|WS~dCqzEp)=XuE4oSH1$4k#`X)1k@fc+IcE4mK~R^-8J$wCofbx zXjJsos%-T2H43U2msc+mE)=7n3=#+>!Q6VnIJ3^Okbl}qfvs=G?SRg=k5U7-7HWgQ zoWA=LnTWs!pPv@Q>Hqa?YgTo*wJ2Bln%l-`NdH>ZSQzQBottcB4yUfFVp$xRjGX}@ z!reecJseyeno2(Bab^L%xp@cTWz*_Z&ZsbqocfBoP_W{gJcupN{`Ot3{*n>SV}d%X z%Swl#9jm;x)12+(FTBi1 znzmS8Rl7z4+!Zqzrx{h3h&0}`mqZ}$2?v&uZK)B9k@1)Lr}uh8Sd7{ z8_w)*&4(D}wIS$ZYqKLO5DS2J941EGgd9UX*Zo4*K5<5e2-^@&!Ok8IE$sh3qkgpU ztvCDa{-#Z^gD)QL5#cw37s&92`@V|CbS1ytR-=y)PCw*$o^Wu;`ac+(kQerDS0(x* zqrdATCHE5V^0CjpzTf&A_Iw_C(YVJs`f?p@^d>U9Ynv}VZ%`Olt8AhD zfbC`AG}+H__Q${gvWeBe=^&GJ*G?&arX_^q=r4)C_t!3Cjse~spZn}a&l=I(!3BA4pUZ7i<83Ad1lRL` zU7&B9s}K4eh4j_H< ze*DRf%zd=uXj~|DI!^*CeynWSJ7%nmNBv5@KIZDUqP+NC5r%ZX2xg+ zsSUnqr45>cwhOT7VmYok=I8*rFVJ`-6%kF43ddk>)D&ABGe91ED9dAIIZ(Z0sQyg| zn$DA(T0H)Ki1d=D4?!{LaqKP5R*_Ri^uXUH03y-<5t7M(^uV8%0(OZCC{cS;}*L2L`Xr zqTi;yo&R?KAqAM<{WF_5cF{?^DO&Jc8hKoh%V%WoXb|-blyN0s`<~dWiY&_o(WgO- zEluRKvbA3Popbl!>fADcu0%Sf2pUUUx`9v_#W1H@AL41 zdt`_R7drk-%c@McFmf68Jh zBh>bzo?4;yUDGJo|5vQYD9O;;x8R=Kobr+MdABr#y)Th#l5y%*O+;IP#y6QDRfj}2 zH&NwUa#^YN;U8H9P19byG+x9t7pF+lC+u#yp0cN^B7`W9 zn7ua56LsAujkMO=Q%co~BJT-F<+Bzgmb659K}vn=d0FllfOJk`ZcTSE{BaAOfKt|> zH6+7Iylj$3{{v@$+k__VG${D&LOw|K#>`pXR0OzxKU!&;kuh^(;2?>%X6NN;nNs_^ z>~Mc;DKT){Uocni!JX)t8T%=PRp+H-rmw8CX^sLuYu16RbHa8tF`(vf=^xNT_p9^U ztaTsxM;WX)_s>LLDeEX6yt3{P@(qXsD_fw@m^2Z|v|1$w@wz(i9RXyVI_L2+wj3!X zx+*~D6(aWQ*T7M1s*1#ObH0b>%;9?fEYxj_lH$?VN zFh4SAZFzmwycE1OBPM|1ecz8+_ut1XSp@)5K0b(dMRg((bWI5w1cp=^!V=BFjPBYa zRsnAqc7Wk-Y#$_YBzY)LtR70qwJ12lhT7Z7`hr~Y3dy-NIX<``r*_!iMz43D@DQ5( z?HD>mS|q@b&g9Oc(P6>upzO3&w|(ge_9_faN8A|8jW+`^jeMq+$k{q1-JKrWObn2< z@NRu^6L`v*MV;55nAFl0m)5=H6p*9+t+7TVGNBZ3*=JCzE5}Yn2kZ-n1N^!i%_o5i1IH9wdP< z1PUewe;p^WGARfOI6W$an>x=f&=#B|?*JX55zb_rz4SHn7PqeDJn_Xy+P+8o{% zjKLqHG)pjG_XLL{H#V^&E0Fo-BJ5G!djG(jAAMx3!r9%TKpZSe{p-~_f}q7 zWM}`z*^1r|jNh@*{KH)BO||2z{kz8Fspjs*WWTp;vzqx(M677qQVgY3y|g-dv1ooq z_I4l}Onm6%qE*So1jRTQ9YQi-!pON~$`dh8#^Gs=Xv>~d+zX4AS7-iPy)5kfl!3qJ z$exR;I9iHK4cu96li&$K2=lvj?C1LTrHRT;RSi%&y3AWdDBnoFcY0G; z3#EB#Po(1k^t^aOz z%gfbiPhA)PtowCV3->x)EO;7`6y#qXlpqW=WDprpHMcl=@jxIVB{?W4G;+Yf5nE8v z{#@_1SgwTIZJ* zQzFFQ;D1I)fwf3`0w}=Z$j+5S+y4AU3Nu!6dA*Lnd`1R=k*TSreYZ}5$+%0P5D>&b zokY#7OYo}5aKWIlNk&*`*Pnm{G`_|etLCoe`ueuEHl#6l^3W%zaW9U??3Ak)CXJ|!?1)Ptx%A%39D3m{W^ z{JU~zIx(i9TO%Z_ST|QlVn1Uj%0K`q90K@R)g@Gs z{~QPq637EARB%aRrdJ{+6a*x<5m2u#B=Axi95B&TDBwgih~MbODisL^;+MVTu8u9! zUPDw!Ez!Y22@FU4sY*~i6A~?U-P3SiFyb;=$cOa5SB-lB32D^ORETdoOdh#DB43Gq zSr98W>TH*Tk_v|iAr+9Eh=d6&LgAZ8-=;Y1b{ zKmom7KGyN#!VMBhfo;9+-t9`#RTr6C|E(JQwLAiFr==wc0098P%G7~{sbEM%BqSuj ziK%FiU_Y!0z)&yc3BQrcB3vZEDu9-l_3~cbmybcxXvoSLW&W=05=q;rIIV9ro_`P1u2{{gx0cyd&Q#7RD_Ji=OBQ z*9PHRwzE?S3NW>J-P^5Wg(Lwl14Ri}0xo_71AO~q9#OPpET9w#3z-ADT zF(=jl>htDZLbQ=0B4X@UfGX(X%4H_?MYT|6GA}x$dIVHuN33XUNQB7$D^K5x6zrd1d^UGaa7eu%hD^`Dl6W=STKCJfVypX9`LH)5nVUV0f$AP$F`DV-r;=Mf0&4@VfpGp8R6I{crj9A7O#MUNxQN*y?m~aC zCd=@XNq1!{e}VaE=d_>--TjB~sb{_kfm(n*W3|O=$gC~h{y{%8w3eECM7!{WI)cTL z9qiJL$+TAoE`K*pb`Yem>Qd{if;Wnen!jnOKi@HS5D^Bm>6=Bu)8UtlR$6R{LLMOi zQ1|=jY7Py`74w-`^8WS54ks`=C}lzjRx)AQeBJddK5(w>w7VV#b_H!{++wk-wZHZ+ zDA_0h>$8|uvAFMw!mP)FE&cr>BASJt4a%9$HMUtfzN3i2fLXnA070#=ZA5r%TJh2q zmTzztmUa;IaBS2Jghn_)(Vr*MKZ(*V02P|mZkCgb$264Ng7Gl+@ju(Jz!3DY_*+Ws zU)e$iT|Sfbm!I;RVvq@-#>ybN*Ix*(Z#clFM$>|AYh+Gwkv$sF*iWWO#+X%HM+DAYU&C}VD34wRaH^yX7* z7|&{M0?uKTC4H-Q!dwql|6-d8fH_Lf?k%LiAT^9?@9W^C(AA-(F|2=-XOGO-%tm)% z9z5=2L~NyT=d{;+x@U$=JZTOU3_WVu4yF#)U;Hz@sM?Jvj@?Qd22q=`chso454pKr zg0+(yyT?*QEAiyq0)x!U1{PfNia!MCw-y|fawY{|douddflZaarQS%@0MQ`(Bf5uV zasJu;`gR+(L_rvZViyNcDh8di1L8=d2bWxt@JHVGh2yiEtHu@Z{C@PzKEIgxD_`~2 zeu*?gyNPX*)iJ?78ItD7XGn^J^=60R?rgtj(~z4S4p9MXNrpIq%iQaOO**q7v z-A|Otaow_6moHF_UVm0N09aH_RmOnx0#E$y`<@2NL2srIrENBCnumJL*iyrE4t>0S z%HL+V9RyC%6@L9YoAJ-=>N)j{37V8_Ra(v`WdovO$ClFKLtx+G*O6wr4d;^W90Lg& z>n8Db?(oVPv8U3MXb%wYZ#GeGv+LSaHbp$VeOwuxQ;62JWB05bfUCCJFj5V$yr3q* zU6xk+Y=T(&TF_kGNJtrkj(hyi2C4ZVRk-Ak?_m0}J$ToEVfPM2tPUpIZ>G8R!u}GY z($@GAT!LItsy^FZeDANH74aIawM=0`N&fbFvzX?7se`03_i&ygkH|udTeyZpzYrLD zd!=xC@tX*v_STCKfR28|totV4RF*8Tf3=>A=AU)}XK{Wh3KjRed2q@TvT-QHeN2oQ zY454p=xDs|kFseiTICF(qS-3UH!G`V>SB0nIVj`K)AVtX7=DL(yg#O<&DDpYLXTQA zaMPA-g*cOxz!5_EuZt+}$3tyZ58m~Sd)PrUHBrYCsoq`+09fVvp5z)+^9nJ`uQVA9 z(Yg9`{jMip{~tltcCKHb9eh*XzSlH*TY#ULs54@Idi@K|@)SDqy#|-F`EWXC%(PiI zC775?Y`0zqC#Oc69O{O{lmSsneU`_$b&NTlXen7hDs>T^WP{RKnARAZHu>KPxxe`K zrU1484GD8nKrAO67Ty^l{|;wireN00ZzeUYgwJ6m92}0bBphA!ief_IpQr?n)!OJ9gQ3`lIbl0cOmQ^HTKLAinQQ! zNq6U!%w25j&Z;yy4yc_ooX0xc_AJyc1xr4=uT*XepgWDavPow5>Pq)9+dRpI{N+z% zx%Hgfi+hH#5`LyOcxn6GZS+yBG$EGwnp(hw$K9fmve79VY+wM*gT-dGJYl*Qi<+5P z{rLT{d(+eG3*tY}>w6nd3(gp#t+egSyx8FBxS?CIhEQx@;M|D&AZ6FQSm!1}>!|H; z0(D(|0Lv5FMdA*wzbnft7@yk~Q}jRn2z~6FniB1&BJt0|ac5Hk#}Ur22=6aeSR>ip z=AHeO;;$=QF*T3Q+r!!`aP-T&pi~Pl&DbqU?vfVMa&xQ0g&<5bq%g%6jHPxpzWwz5 z1fLnb=P6ve-K)yk2?rX;l|POhEA(!MjM&!?fGNeejp!MdWYC5*hPs|k@n)0ZxJ3JY z(5-=_l-r*4?LVA)jzzW6RCm*VV5FooUrqjOog&KkCCx6RRIUKU|K8akP-?e1T1vEE zq-I$_@_#~|s-R}0b6Xaw^dA3dYwNEiMwZh1N;5+g6r3#+E)|O6xR=+X0rW}0&+0U- z1D5txswJ$+^;qOKljgr#cZ(%^wrjT#;XMF14_%^37@dJ8`3jvk%^PF>K7#uR?s2XG zs65*m$iUOgm7H21H!#Wmh7gt4otz^qTG)nc__WWAlIkd8tKGU~1@ov(vj zfm2PZMbGHl7BKY+G80(6hjG6C-N1R`4~Yc~JrvrCB3-ysTOYlA`egvEhaGA2M1gZI zYru=V>{t%Dlts^Wxr(ztL5ZqP0&F6~a#_~~pj=IW z0i0eW6vS)r^b3K6eX$N9s;i}Ozmn%OT!YJ`$TAKh80tuRQ<=BzD%1QEg+T4DD)Nro zTCc~<3a=phEw4QB?;z&bn;QT(&BZ(37SCNokg~PGs^@eJqk24tp@9(WIUw`~0TW)6 zIN^r;$;KC#$KU55e~{8dRvd={z=n^T$Ggy?DqC%ef$H{fb9&r?J8sWq6*?6D_@YVt zV)8k(!qSxyUS}-V4`+MhsNj334RL?3Jid0&BZ9FH%_WCA$mosO%Y>edc4dNIAR^ZM z2&+#^voqT12UAN$W+VpmZ8gbmz{1!h5bK>+4@$$zxpnXqlUdsJTj{+5H~<$l&cM={ z#9Ujv*MstWP>`#0pUA_U+OPCn5(p*l>e8%wR8I}4(x1B9c%3TcK&1& zp=Iu7z<|m2=q0C#C!lT!z&9%!xyFm%t7&u>7@})IitpG1vDa zic6mUUL)HW_VDtZXS*OF!lnI2*zt63io_pvUR=A5fG7&G%s>Tp5j<>U`nBvFdIp8- zyysBXR*4{|yAQIxr1le=`ck-&AqHUwaXbdmqY)dXR)ZKIYwDE;AXDC!YjX1CnUf%5 zY@lc`nw#NS5rANnmBhKE>zXu#t!4cy8k&K7$}5E+o-MRpbhwf9eJx3Rj%IJ6Juecx zMrci=2p*QvfU9WZNzrgP(wqFLRMQa#bZq_HEuZxxVP7uf4BvObzctV)Gop;Xh#BB;E%*~v^I>Fi+)QV1 zY1?;=KTREqN4YPQw;8+?L~Y{O0Qidd&*5IU7x&(>X0eo;`DxI!=J;GL{Vy(6HWEtk zF9x$J_OdssOPRPkE8F7jnmM)J!#5_w?m{{L-TRot-n85SsAi`5XC6p_Ia_EwE}gAA z_@_Ug^mc-;^K@~ZoRplw6hv))Qv3(x#9bfxUUwihH!4bV8hcK;ee%f))xNHa7hVjC z4to6UnhpGw71{Kj(7jWtlGEkU7;A30wVg_w_cIF8&s`%S!s{u$yt1HG_5S#^-cNl? zZ)F&X(>0<4I%R8DL4g}(NxK>I^WE!XS+7=>Fu>kjy8Ok*EwUZL zWICGG-HkG^TBiZJhYTx|D}Q$ld$NcXqqlW=zD9=2@==`WEQkTUeTv2k?wn!@w_o#d z9*|(rkEp*9%?Rmy4_B_QZybdGNljhpAJKWFnkKV=1_2O}cvCjbE-4hXZq4jjdxKD< zHdYFiTcP~-Dsojs40pj7guD{NnNp;KLJr*>Ckvs|+>Z{I_D+|zt?i1k5q=~dNHc>G_aNq+x}85qv$fOL~La#n~{)P^E zs$^aOGOt=V;T-^@(|YvN^?iIy!Tn@EtP{URXOL_+VPWa^h)?k7q@=^g3faU3)HyWW zJU7~vAB94R3e~;jbQ%}OozJ>$miyLlM#^Ad#bPX(6z)ib{++FW z%YjPsPE)~~Z%0#iqfH`VmiOG2m7m#f#jFp+OB~hJAoag2n zZ4DEXqR6R~QjtUKT1BNO0si2}eRvWW;mhkEH)fwv<>w9q@i1d`M~cSEW3L(VX(xUx z>=VPw=zxApz2hE_Z;K&L?0Ai)_$cn7JV>vBzg5`?vN)<}yWE?Vk6YhnlOQJXpxG?1$>{(ojIRb;-;FN!nV= zdimTuj+m?7AxHU4Ylj}W&LO$BCg=xu~J|ABXCUh zZ?R($1pZnZ^t6+x+vk!(uSU4*`V0v@_`iLt-eG9T0eF%1@u#Ks$vNB?Pv+hU8 zj?LP1LFY9{9OQ$fu>Dy`K`Qtnt$9>;cRDb9QvO@n=wpZ!$5ldadPmQEFk41I=I7~| z0z)+Q6d51&B7fsMgS`TyYtBFn`#rMvh`>VIffdv2*jig3(UJ61!FO= zNSi^4RnI~0fAsE#Q%uKgi|p=kPop#VrQjGM6~m;zrPahAZ^OAL3|>SwlU<0vF;{!| zOCRXUng5DWu1~P*<>bPVBiIKhMUC!8H84sXAdiwrF)r}2c^kLl-Odvv01S{kZlq-R zS1FtvlsN17WN3cQ^&fMl74n45eD2o_j9*-#l!>qly~Fceq5dRngr^`2`MmUxM>}`q z&516p95}QiKJ-jK$Z>D_-pWFMD~bdqJc`WmiuNC%L55k-ikiEBrJ(`D>u9TX^jKs^ zRDSH|mv_=pVfrol6K8mu@H2}J>1c}O-Dj#9L4MXHvl z_p$QNl70TA48=4KE8+#TPvpm<`qPYhF)))G4H0ye9fO9~%$SQuiOQbi+3EkX=XKl5 zLqgl>3N56D$4ZW(SZ|qF@X8WOI_MXOmQ=oMl3O5sY`ws;65D-$x;Z4B9i}@5l%Lu@ z5XK*MEDtJTh~NMQPYLu5r1x}-ignuENjGYgx>B{VNr zZ3@&A4IR#;-L4S6_mnIXt>Mrg=F}#;yzi-wQOjYzBs$Jq28`CvNe;hLZHuEJ2AcpP zlj%LLCNn||Dk^b%sx8&#T3tx^an(%!O~HD8BTl@$UBjR-<^Hn9rAOFy z>))%lcPAf0L56otHdRgUxMwQ`d$#ZI;7b<&Va(i4X&vJjU9z)-aBaqacViWhaMJ?_ zRfpS>ofa2MAwu^Bq+hi1j6G)c82j7yoERk#vF3{gXffEhCT#$H!rz;xI~^FU%fBn5q=z#Mp8RJ} z`N$I<%R<)*6>!&~wIe7O0Ku(>ay&9BXT_O2M;)5wF)Mm(Kgfc7QpEu_86# zrmy#2LvX z7QI5xDGvnz!>saQGrRaHH7}@qQ&!jEcPjjp{UxsQ9A0;ju~RTzHi-$=Ye?;8JMk3q zy@+V$pN3C1xo4**08J0ci9T5@a8-^BB?9Awxxv5MN@(N`ZwfG;g%UV?*}{b@v;d?S zB7Fi^14K5rU$#6h%xUm%)yfKgZNEcLaK6uBm0d~}YJFG=Jac%#s^`PI!6!lpA}}sYMX-7=ov_SyjSmTKLYaNL#h`4Dadp z-h;#&cj$xT!g0*GEW3YR(GsO*_abh^6U2M48c~L*#r|Bs3f+1L+YOBzUtq^=aP;)i zEXlbAizsAZNDuq!GCc{j?_NE^ovZw~A%bJU$lqrQ#p4#%#wUh!aPdJN9?qW z8`TzaXXgC$$k6|9RTOi+{uV%ty6h6p|GSdg0fK@_f~s<#T#-bJc&Q(zQmfI{O)Gx= z4n45CNtqMC_^(a=U(>1ded%6=GZ(r-oa2rA2>5*m^Rc{7)vfM0to4DpTlMXA4C~Uu zs#8wmtaL^nM6i2F9A|?1)Uz!EEJb~uKH1f31IxosYY&h2od;!sRx{u&rJ~%V7}b%^ zOOUwDvIoO#`2Z75%upMb<9dlI3A+xbRe#I>H{AmeW4UR-9n@J!r}p*u2=#Kmm3puN zQpLy;p&=qKJyg$}))-R%@1L@o=5UuP&iqJvlIyOgEKS|Ps4hlF+d40u0sJ0SLNMo) zf=V6#-t{VSr6IwFMi`*ahN~gV=&x?c7M)Np^snW)d!92n6O6>5Hs?Sno4Wg@JOWwL zoUFBjut?_`mhIXr;W*5mW@#aqby_I9TQS-BjNi|zgJyS32(OFD^gIjI;stT{9Rq~y zIiV~!y~-bS#$!;c_hdW!_+fS7t0$yO3!z6Qq6hpqT_?mHluE;?)kL3!t=m5)!%Vw9=!4$3y|y# z{#ASb2=eb8Yv5j_0Rb_>fHbax zNWvNrwB964CQ1-_WCm7M0iG-e5g}xEqK7mNSb@f11d0(0S`Jxfh$CWYL=t294y-bE zn*(kzE$P3QM!v}6M!FiyAxhgf;tV|x9^1PnN~*6hT0}#pSq~E`bpwh_-G`VAo;Kr- zQ9Aqt7i-)Il4cw-4MJio5L|eneFnW%4^2N?{M;U}*IJ0q7@&4*&oF delta 14786 zcmbuGLy#^E%%$75ZQHhO-nMP?ZQFg@wr$(pw{6?D=d1Y_Q#0F1)w9SZt5hX*k`o?E zQ5Qmyz{tYP&P>E8MWjQ-%+1P5#LB`#q({W4NW{rT#3)Y0&BeyTO~j}`#Qa~XM#RCw z!p6bUU_=S5!^Xi%^#25-v>1^NADbDsIR^)qDHoF&3!5=FE6aa%jhHw&O^n#gj7`~C z1o*g&n3#->SWVbWjE%UAjF?zWIheRPxXqb4xy`xQxJ;7|fysculA%Dz@$#_Jv3@dwY7(kpkfoQ-PD?H_`)JzP{77`Hcen~dEX-CT#`RdY6D z+U#?#IIlBHtXzj-4Ho?t1*siyYUfu0?)KusR}Asj8G zR)K(AFbraXyP?{;p@7YG!PuFYn3I*^Fw^+WfC&KF4!9kS{(XHx@vN^zHzx`pkdP5g zl>bhEh(&OgtFm1ot8?Zs8WaLy znj57#RT7!o-PC3vs z=6}SNXLdz5J)$FkP3~sxrxAINJ9PrWEi4{q_rBFV8t`2)TaJop6>`q>ba-tqO?6n; zQ$x;7Z?Qs&i>R>I>0?}Hs1UJAG+3Nj>_BO%q@_-_i@>}_yq;IbbSBN&sw^^AjqXSc5{AW-f9B;Geuv83YMdfrxwAP za;uisGozxBq7kc#T%yF1MS4B`e~&l$F&2cTcWKB%@){DniHgGtdgaI6qZ9mt6XNxE zcSMOjc7@8j zH+2p#xx3~r1~kPvEFM1cc~3ea)y7caxA~cp(TJxPoa)BpU6?NW`DNU)O;NYQL^U7Y z9K6|i2C%@qB0%9Y$4E*wGf01-ZE!&N?aEH;@&tB#z*KrYoxm+JQ5FF3p&{!&(Fr_QQzW^?;`%`HiR$R^RDx?Y% z>2;V$B5Nc^VQ+xP`69q~m*PakI}2{-{2AM(@Ft5@rabFsl@DX?ZxBcIFf^)5d($dw z!8XZESi1l1eibHTUI5#t1Fh3l2%A6AjJv8GER2pxoB1hcj2&`!$Z8{s(=JButGmJN zf@kkzDS@EXAm=qxzhTMD$A;a9J=7B8E#KSowGBvLss+rqksM$rs&^ajI>w=_#H;i5 z;$&!yP05&Di6Rx(oy)O}F>>p~$#|<2+xYjsrVG(Adsud8+_C1eH4e3ndkH&jwARXd zm9DCq@mJ7iBAWQpvF=hP|wGmQE_rMt0?)XN|lpGpGv6a;?Kt`s4`>l z*i>SjS~mB20b8sgY2hLT(ACcd*7FT}dOx5|c(<_Sr)-@$2f@Xoi%%;98PM&D9ik0!mT_ZPKUTtnlV{>41@)JfpJfRr|LoU9s(e#w$pjW`W&2SZgsF@mJyy< zoI*}DaoZo`BK`2Ymf|Gfh^x*JmltJ*TL08!?y9>~XQC!RF9AIRVJ-(;o#w;VtISv| z`zphi-%(o1MhBS3r;Mq_n78tQT?bALT9#&mwVpZoBp!H$dxDEs-6>URPPz}N%#wERL!B8` zldNv96ha!dQDUWPz;h?WZI6fIz+pr2K?mlq$+YU*cyYc+M0*jnGV^Ox13gb{11wl@ zxQ0#h&8@0*rh$KeQ;Ct^Jj)5oQ%c#I!379DzyTS~0cfe%W`Uzo7pYi(f3uy+qh01e zUi^7IeNUAbZI~!ka2wWjH3jbLG%l=^z??yFp7^gshD4>3EDtYpudNi8sk-8x2nvTvC^#AX`3 zA5d>Wzz`2Su6QO;x<0(avp|x>!eTP% z{&&a-b(uaMj~j(kiG%M)gsHxtVzSZ0b2!i}eUgcINQoT*OcBO}x}a2ypU#FPR2?9? zH0Ww1i!)XG!5jpsdLo0mO69Rl+tL=oP3Kai2$d#LCyz&KD`LYfTNF(}6-_#){Xl%{ znKZzh>ZmekB{@{yG){?y7mHvgj+$EL9S|Hi7l$e@r8Pvk#LYV`4MBc4Osn*kX31RA zLWEp4AzL6Ha2^iQL>>nLe*>a$$^a-RW^xN;cO+@x>#)+h05>xf3C<-Q-)KeKQU>fU zXt^4N`;Qh;M^jV@C94-hCt6EnuJDObC@vP3Ge!l8#c8XHnNCP?n~WU=S1X*FYPJC&`u^NvQ|)rvh9XBSG-t zmqRWC(8fcSTEdQX86{7Nkxdc^E{5LeJgD8!;3L@?pgQgO-s4KdF}MpWLi?5*_5U<`;kj8flb8`u8yXgzucbjqGBq58gXQU|B{3ky>){-O((E-Hl-wq} z7>4p+*-Hte>|%0R4%|!sbHqaHtfqD#LsYfV9@~jby9^y!X}fr{`o_Yj;tDm9YA>ga zw?Mkygd9Ep!cGRR}6!j~834;ryz6!JvJclYPFxQYofTEc8I*-jCtyRk30aH#)oECLBj{23(>);{xD3tib1hp_A zY~#vA*6d}=7Ee8Ex6+RERXBuIprC^t1`qDQm*LEpQVhVnd}OQQh^iA|wvOyGGDf(7 zm_VYAd>4m2B!a8TkUB~hX~CllP8v_E3vjI{XcX@%&%Sk!ln7fAV*Qs2=|77J*@`lB z*oK$RN7g%8o}k7O_EQWsD#7MJjYwA}2)>WhLV;B$WDkaasBR5)6D2X&Wf_HND&`7J zN13B(OU(d70f}5H(pfCoKLHe(?4sQee+KEPMGdfp(gVr=qDjDp5wUqe+AsuQMpYV@ zFSJXG%$<{_I1DI3pOTyiFbZUst#vVeg@`1D{ zcnV-oo2DDl)_GuB(g&}(z;Al1i2}Xw5YBmL-Au{YQPFP067fU!G zy@)OLB^RtW(q*sHhp;S4W7tS(tbkLk$Z|o}*t@sGjW7&f1DbS`%x}HBSb|);Nqr;T zOmP69VGTcfVrQ|Z^GG2eIYqGAFo+WBhEtHVp3~;?`HqT`_SB0F{cWlzLue&#=x%Il zvIrA_l40Ei@o^gdfnyGZJ)I0K)n)QJHtDq1VQVK^lNqF~^xg395k-xyb>eDmHMf0C z&)oAchVZ~;+g=mZ=`khl|c5RHXO@|sPuVH8X0PXSY#z?NbzBvA|FK=WhW z|9ZGT0a`t7Y5RdXb^=w!sRuzXvZ45LAu4$IkJ3kC>_02xXbX&$2gj0(iB?yfh(~~9 zp$lg%>iIB>7SG`U+st2r)x<<|!CFbSMeh9R0cqH;6bc|rCOW6g$BZI6@m__o1<y*7B-$s*k0mU9gs3@vQ}i*>5G zsnj-+?Fs`LBy<&2*PGIR!JiSvT!pj$Ro;cHDOmEBPRvhmn~=?={cXTfZOwRkmS^)3 zWe#(0ogCr_3q`O~COgBmbQ(gYO2TNvT(af~*6!-s8z1B2oIQv1>ZWkAc{v9N>>Bkm zN;Wlpzsr0tWgBE?PisUUpIiU9JvUk3$v|>+Am5>kZy&DjchIz%d3dB5EIV9;Io(aX zkqmnAy)k*3hoIju#GO`d`IW>_HYLBGnJ)$}UwJw?K0YDQ9M+U9e;uJ;fgi~uIn@<= zsTR9yysoZk4=3cP(UQ@kZ`uKFIDKXgPqdqMr!!w?fDIt61lS%=>bb2kW^QMkTo$r9 zrcP8la2K-KPiHDSECo0XGV5mYW(-h}yAcIrq0W3k>lo&{NWPpTK^F94v_Vam>d3KJ2wVwq>ud7RK+qs zFdjb}3v(qE)mY`^T%Z58j6DVDPRHG!EPUJ~w||7RWz?3^hlCc|WsPlo6tq5r?@k!u zJ;blL$qdnMu(!DF2e4^lD7dN#&2;*yS>9$HZ~&# z#?RuX^4{wXPJMssbZ5SOv5`tcC}&*K$qmw!{?r03$V+8X{lcprTXldz0jGi}M%KDo zp^z$Mu+`yMAQM%c-1HB@$0(23C9Imw@%g7eov=!D!!zlaMU*CcbpJGI)P}{m zuN|uKY6Zr8+gbzEiE`>d9}6Gb-`CO8;CLW)Zw@5d**#B-URvfe9iL!Mb)1^7fyQQZ zGP9U$9oXBf&IBw87Vgk{U(rTcK6a!1`RagAcl({{`jO`O9U7eScPPdLHq5-g@~Zi9 z7~>7bv;a?>+a=qjCS#%Pe7!q;e`z;JO5tLAtkS~kVg>*UZ_b3Nn4+>}^GAH%{%=Ec zJ$}P{h4S#3F6~n$yxHRcEV<2L#IHOi#9m@huLDAjRj&h1Y*X?2WWVxI+q8kLuysA4 z?#XXyv=^|l5)lP&X#|E{x!Z;d1T(Bf76*XjUcR5(lxqeA&)iN6Ke2DE(0TjKx3M<+ z-}?$rY#P8sd~hKF2&=b^YR%h&2XT>GD4btS>m=U7$pM&Yz1c~5%RwSBFw?q;0J~WUdhccQDE#)<9h$LLxsd4;Q4!~|vNoA-^cNVjRqZXIHO&MS>nf0f_iCMKq!+mWG(&c`MR! zb#*~Cas)MOwUuKB(u5Vz3*R_2Zut-nfg-A!sVuz}fABg_Nn=cEWYRthdVWgQ5aKeJf|(uy=s0dtQsL)J8=FIUcBCRYD8} zI@WS&6g0QZ&}pI#E6tyn2xmwnrGFGD^dv1g6)$P`DRH@O3>6IO&?$9aBI};~Uf=K! zb&wDemI1}R1to0?Z9g>%GE$Y_5cJPD4tGn+EqOU}<}H*1vaR@CqXu5StqEr?8LZ^_ zI=?iNYL!14>v@K1g-Z3~bqTL+;tQ1u<*yPiKOaQF*p$#0;RQ;XVPt{{iwJp#K5Z<`V#3 zR1M%@ClU~VadCAvGqQv6%eio4{1+up4kR{^G|B-c*eHk;RZibRM4?mTlXh}_nt zY{2J&2Kl^{je4M+x8t>(A0a~#SCL#Iu9((jBR6E7wBN2R4Q4)cJh;4x@n4~2d{EjW=3xj3M7_9P1?+*#NznO}4_LLbbbxH} zT#Awgj5p`})kTHf_EnWfTP9QQZ9X>aeP9#FYzxsgUtAZ1au~rQ73@tME7&(tnfJV9 z+He$?ly02wFIDjVVRnsF{fZ@>%mFa4+D%x?;J5?eTgdX6R7@Qu_N!$6ZpJM}9-4}; zkrQzL0iO5F{79A}0JSD&|J15WF-&XKh8;#gmZZr@|DJonzggV-fETnS`n#uDtXo3; z{(XiN+?MQ;Y{tq7+V(wIQs7|7NH#|iN3wG3E3g#DwV5=W0{dsj!!!Zaj0SL9X7>S_ zyL;050AV7*@x#G!qf&HicQT`M9t1@#`fis#GK?0)-$m~|c&UOFa@g}X7no>s6BNE* zXA_gH*4G$aGV?a7)3VN|9%VC5>}JKv)7c&AkfraYCwv2fIFAu45_KLVJ}&?YCK|T` zC*eFY@V^Ng84OOHqZ@#`h6-q-d+5xDL0S8`XxUp(;1JZcy13&sK?dW|`QupDE|6%a z49SdWnh*9d9hB~N#v>ELp7LZ^tGVDCtzCPfa5cQ2p&kb;PLzlM~<$pXP zA1wntETg~S5=`tazu_i``3M3-6e}b9+b=inE!o=z%Yc-Yl-Osa(n|KnSU7UXILw!| zz|NwB(PHnDCE|x;nU8830W^g(_;?1IkQI#`_k#kcKayBgxYez})y+RO$CAxlkj1w3 zIKhl5Z!mJ$r;0f%KM`;|Gd%+0Vi59gxi3ZDr=;+j0L;AJ8wW>*(-piJb@}Ujg-=MU zt_t8fbgKM3pt%SQe zdJvj?Z>0voXzxkg;i;?K@OV>x0mb34_iVnpaZx}#Ytm8xrBwYS7{Bb1){wjx&1hya zx_?x^0^J0~I2IL5GI+qi$)d_5c}~aSVTEV|pJ?0;iaMwmK3t#!C z!KA6l&cms;mJ9%+S5#m#{0EIn-O%+?_Z3wkO`isworJ#N6}~1hF8{lz-0KcSgkK#D z2&;>%kw5O}QwBGa!N@zJ-4T*m!vhK4D*=mB7wpDCgnxokOz`OPluDqNzAhIavfZgTZcc>f{r==1`60?Ur_EZIjD$)%sCCf9FqSa zAQTKu5Zmf6@^~P*o28}jh-6=kRx{)r8hPS9Gaw@H`@*_Qr1OgqLS8El5TlgcF}`NW zyvD-@`IOL=kNfR&gxsU#1O51O*Ng@u4kJsmTc^Mx9fn z@J*$PTU&44)~Mb^0SQ9C1*hRE8jB-Tu=>BfJ?ty8XGbTbIfVkFwn4B$c;lvR>_H%c zuyUsfvqGS!?n590JR#LoH#^xu7K%xwIEi{FhW;$L8_DxxtFw}wy@eD7h$Rv=+ z!2Uv%pW)~P1ppB#sX;-Z5$_+d1)3n$_g#}^n=>J@;f4MM{2+!zLBhohY^V)j(J5hu zf^9vD0SOfXCA70iiQqtiMF0h=06>)q7J$_2G4WvL&_T9DiH$5#6wv>6)j@7eUy((>v6AUEk($(flw{DJ{ZH9Cy@`~ zUjl&ZA;9oJL<<{;bET-JK?7};Dg7bYS1BrdX z14vMlGx#x2p`7NK>bo@j6_&~KnbJ60ewR*kgEXjFME7AB~2Ev zfCki`3`F?*fG(3c5lgOv)tJG)1;aLNcxZLuj*fu@EVhZdAGLh~CMfq^ztCU2T3VFj z*r#8gV<<@xd_XMlvnwWt_#mO@V6)nU^CkgD*#JLMpqXOEPx-V-{8S zTjvnKpBIqTzzX)!RkQ^hx5jK3=qQQx5^z-p`ISDbvL(PcKXZu z(3d?qNktgYmmh&9q$Gm}1r#WB00a%qEVKs@e8dXa2YkH6Yta{z!Vo=ccCGn+beYu& z;_bbYBI)-Fx||o(Plp0~{>Z!9`Go&WG2{f<2tX#Z#y{(4AW@S|kl9i*`}CNq z!+x|i;h}|v0g>`za(F;5cR-&>hO;Vnb1p@QevGWIPsueiB>os+(bfQA8!L!ecyyK?;+zdqkO8%*hla3U;%(Lv)OUENT( zTy^Tk4;Wv3GWE?{=*gz*g!Ezi-mk;E+Tlz(CKrK?{LPvEM-2nIUPni^K&ZQ`kIaOZ znjOT^*qPv1cr8Eb$9@BY1rCyR*@o3hXhn7FHDwRT&QskV4i=|-|PlVH|}RdR}`^o#ehTatGn ztjBTxEmyr&8qnH9go3^Q@Xr8r-de@mI;8se(nF4mw*)#rQjjZmmyku z`!bSv&OiDdaIa$5MO?j&a|)qk+OFmfuXf~|Hjz2KB`k-ksAEf3eWGrg_Y^0T3Xs_7 zM~Ar09#-R9ntwC13>Dc>OQ_fiye$fw;*u*QZK?4K(D>w~6%IdIvX9?IQr@yCoeSul z&yxoF!*3~H>MC$<$W#C;H9JgK@9x_i69Xm&S|Q^aUHO;2O@0*wul&>7WS)!e3nO8T z$7cgIhd_0*88>yA6<&O`6>|!dGfwTZ+hwY)`MW?YQi}#!= z3CkJN+bu{Qo3Ro-{I7)Qh=0|Am(aFckW~t+mOBS@Res)z=goyHO(~O>O!p#3l@hg! zk>Z+6P$zIigna^QEjObMm1XJFzdhhzzZdmS;@RxnrUzdkzKJY6M+z>I1iRtH1btCj z=P&`+RUsF(pC156pY72v;AHD^ds^Y<rb9Ek}7wS8qP|c zDdo)bAF_NM0aZB8@YeP&UOsG)4Q12QvfY_y`z9>2suKLvEAti#g+qehJsF)Du`P|h z!X|`;f`fq5BIE;eO zjn}N;X<MNYZAqYudH+-xj}AaTK}G~&C3t~fHkyQ*}kJb5D(wwaVk z?@CS6i**3TGzO)AQbjZTE*z`qvY`L%a%x|4;hbuoyAB0?n}YpOaJSG~zqOTF8oSSN zTj|r4PO?PTYEO*X!fDjK3%q)cG}d?-`Zd@C?XxRe35iZcuL@zfLpq zP$RTP@I*_;mFpQ6y{(CDh(xu*3=_T`^@bnci|{CgkCdr@zW>JdPi2*(ZeLA(_QgL= zT!ww|pPSSzA5bJ7NA+M5_4^F{sPyYzOYfM8Q*Y_9Rwpvrx86(zYd))L0WVRd0=WYLL?AEcqQw2 z3X?MSyn{43;Si(@v9L9n7A;lQ8yWKhv4@I~ye`1Gdzqg93};yq@MqdCCm za@e^d>kqoA_i+K2&%f+52lTAZccAPQk16ljGm%vR%?$eLSokov;Hf6NI8HQkFexVw zM0}>uh$T4-nfoK!Z_7G@E)|fX8O~=F=}{mZzF<8L(O1?3O=&rc8iE50{5sR9%UcUu zSHxO@h3^#aQbxYJg?$m$q~7vpN0xMbOXO1vR2-A4V8A00 zF_U#~7PbA&5WPxUVnpUAW{jUW&r#ALWBlnMF{xziVR_bLyLtmRPv(fjW-~w#kC6TN z(L5JPVEh#DN??4RwIjHpubbc!8#1c!D!*0IlW)vVoUjqImlXNQ<|;3s{>Ja-N`w^vcvha<6O+vj;Ah;ruXZe zVN@$_MPKu*P6;uu&ROcEZ5e8Uau7_gNN*g;6tQpP2@;$_naY*wy6@S=AU5BWYZK&2 z9x;ise|3-A<5PeqlnUs`BZg1uF^9Rcx4yvYD{`9%{0X=*_Bu<6u9J56m2xP`*xXAS zn}S1>+2yK$V)f>puz6mm{ha_$KPYu zNQP3S;VkN1tKtx*4RR100|(8!_(LjPUqyp1=-1$dRQ}7|_XF_FCp1xj3X@&5AJ!-9 zxDPhEL;_K?gQ5sf#?vN1MgBK)yB@J{-0t8~680U6RETHqQ5AF6W+UxLGH^y@ z;+NSYtfPel$}y>o^>vpONIy?G>Hbwqyt7(^YPaP*@Bn!yk2>YkDmvZ@o$05I$GN<) zIAZby&Rk{reQuf1`(>tUEvY=$nkhtgQ`yH@hKqWxgSgSf7nu^rKviASH|;O0%|PYh zZd6zqYK5Mb4PPB%j1B(w+nLPv?~_}?9%W^Zfp~HF_1;OL)zWJKUUm#G*zWN3U>iQAyh$4YRtQ+Go*ekN z-iVpWu7&sT6DXWFG{@Y!3S>z&bf8V1>bsQITh3NW5V$qC{seftT2zE`1zf1iQTB8~ z>6O_Mn?SBfDICfMng*kZF^)ApFov07jC0ziF~BKwEu+V%_+Jd%_7TK@qM=Qb{Y|*R zt#|l3iOtF@{aLDzD8vrHT$D?AA`Dv zA|zCPT8-ZewrxECry{qF3B846MRk&Q$Kycs{Wo&drYs{Sml5AQaYH?eiC~$sSuESfm*Xx?$T+k*KBkI19pTjgETOTdr68xpw zjE7rTs938SD>;7Q`aM+jf^A*3Kd%oq0*o+&;di{FfBwygIvMrKJf z=9}oZ3eg!c%lQ@|2lZ*k>IpmOwG0`Doy5>2r_Z9=(dj%z6P6zpH>jm!JxPp>DYyp% z(~e}-HS=wSrVF0f!bB3si$ec^tvx9KS}$q%v524T)S|@pu&JnPJ)wPDBsy9i0LV9n zBKmb~yU#Uhmu3;G+}OJ7wU>n9!&2I8k$ZFF!23+CvK~)3eNIUjbgr=}k;aSBAKjvV zP)}FgKun$INa|j?3MDlRe+srA8%~hU3NTKz-Iv=~F11W+KH;^X_{2Q|Bl)5gb!>>H zmS6NNc-ueHr8g&2N4n#F3>(mg0^Hl%UlTpX`G%Y^Qjj2P)*m`qNhw~JW>bciQ-)4% z+~Mhe1cn<*?tI|Qx?p;}!VdPw=Mm?-7sqbeki*y&Rp9$fNA`H>(&k~h2=#3Eya#QQ zKJsP#R8V$rPGeBiWjLL)M(^nN)f2Pag9Ov^Vy@&o1cW0t_bbtL4`#UZ07LFKi=g%b zol}q)0~D(X;aJ+G8Cus`T>e@krf z!>T(5g&3Za6fYYNJDte^%Q0g`{4FK?w9`jH$-Nvd-TSI>w|I<4_ALG|erZ+p;Oc0h zcPbkZ8cgO14l_)%dyWt100?WAR~BtL6>WL3sv;{m6^L{|5;*pm~Xi256lv168ZD6 zQ^izzc5OVNidfp~%-|pT9iw20*3{&6xFZlUMXsf(9dpade}tLLH0^{a9|{8YJy!MO z6%4Bc8?0RUc;b#c0KlK}0)C4<-Cw1;fl6=#n>Bk{9<5Nz-H?9{PLqkAIa=;Kr1Uo= zN15MxSE}0ZY(DW_htBV$;ePqZ%)sJQ`yvT$+Dyw)xe-++$Zt@`UWy`Yj1kUN`*Sv4 zRi9i^pFJIb+MB1s^1-g*H|K59EQf^?I2O)|ZhJ~`C3F2YfL3A$L9H)uC|BuH5QXx% zp|-3uaNJL8rxW|7sqn@946Q9+Ghh1PW!)&^5S*#eUjy%Kz~4t0;<5irM* zjR46~kEp1rFliT#m(PjmG32ZCYMZ*NUf*-yi?sSnh4w}zh}Fc8LMG8-VA{%}qCaaO zuD+$K{{0XnPSU!AhM)QE+v?lz@%`v%KvN(soE^0W2n`EgjG`7MELp>i8!jJn(gkjb zjNNV!LtGTJR;!+oJ`vm@p{*vKd;aJiK6Hjv#cAyXBjUwk6d|}eS&LbJ!ae9^E{mVb zlQoZVC&i5N$yDl5v^8CJvmrq(p}cfHg`HQtnS1Ud2J#WT?pGAA z(?sM~Cv{OZ83&DT4`TczD+yt+klkFx$Lje@{3UF?{RLAjYD_+_3sqqftpWNDUA)NL zkowWtEP_a3#}L`SrUrmx5xOBMJTO=Ps!%ZihzJZXe|6b7DSJ`gM2N$CtVP$+k-K)F zHS;%?mN4#|_oOWe3+wF^?IuR6NK7P~ZyOo&ji(Pg>J*DwmAoyJUA#Q6Kt(j>J0<;m zbA&tD*LV#o!*N0&P(5z$lFwm?V)tMXXdg(RXqjjKbYI6hmvQe*8&9cRvW_P!X$s8) z;$J(kl%#6#G@4Gkon_SHW}y7Juj`uI1v=WM2vbgH)Qs2K`3z+%Am<-eFwoAi`Tqt#RubRBpKH_Sc6~ zxvo4=4eVPT)Hm!R#}#tp&Ef72Rc{Od={_{pHKQ(5K(%u_g&V07|dx&9@9{C4iHKT*{|&Q(Z+?DG<6#= zdNd@m-k@u;xV?A)`Al+ZEWF0ToRvs7hJN|_;?kPa9MMSW_63G-xt<|xvGNRnaV)9Q zF)M~+Os(+e6^6~pRONqn`&#iCJ;H4_hMswE1K%J4kTH2fr-gN`xi0}X67HQfe(#%; z|12vVjV*{f-g%D~0}(LiSaB|X4dlTsj<@<{K789vRYcU3&N9=FHo6q6$X%6*xn8va z)R)>Bmo90occZm8`Z1Rw!s=uio-uLB33^w7jGf`UP8ltdB^?ZxT9-tAQ$zz**%ZQ9 zILoAlv9dGD=Z^s|f1iTUVQWklS;Hnwn4ws+RZrW=Gn76xX`~z6uK0VvLq_6D2oA-f z*UoE8*ZUyYWbU8)r9i-UihuD8Ug78|YFqp3er5XzEc&Fqx}AofNSLN_95sNNVk;<+xOLc?! zGM&$AKU+5h+-&=BD-Hm{J#ct-=WEIF%9WVqO(s9vtxr!EI%vugfM0pGu!**)EIL0U=P)W3!lsQudmv$4Abg~Y(g!#BqHbWb!N3t z_Lk6@6=l2HhMpfV@zs2TWcLCo)~d>` z<-afIdJ6JidK`GFx#xl{XE-_Dx@w@kT)!j1e&#nU)&AFfx|_|ZDYP$Y7DSuJ%IS1` z*j=kOxp)C+@hGX}6_oh!{ybvxg}=N-y1a>I%)s#Fjm#gYdY<{rc+Yv-O8?*)`gX{o zh7E=ibNPYhzmlbYHrhFFF4rBg(7X>3-zUI?_+=7VSkS#t`UW4dqH~j@sB@ouEq_?Y%gD1D5y%*~76pTb_&pUH z2tsSre36VTkupCS3-M*gm2}z7?!mQ(fq-{ss@ex-C2y|wa;-G->Ml00n~Z}@ z6OI`T->c8F*$u?=I1h={8o&`7ve0`H9Fql!j{o21xo{(Ei2s2652!XHYiJuZC?+mu zE_PN{=Cmb$XyN~p;RB$zfd9wth8zGb3Hbka3<~J|Uk@MR@qI9X%2=bjF8?IA0t-!9 zl`sn6AfgNZe!Y*|-y5lmU^_yJF!a+EVWq$_bpW7)<-BtTxQFW6PCs)_yYn#cYL;wC z{)p8GTfn^ZX1C>g8Y;~PR;Y4Lmm+>>PKV2FJaJ>5=JSF)pWc>>fVi}Y3Yz$#);E2I ztREr7l49*Ii&Eh}$Xv5+}aqKUz?8>0;N3y?wD*Px@l4U_| K(wu{!(f=1P?}Oq1 diff --git a/report/report.tex b/report/report.tex index 981c28a..49aaec2 100644 --- a/report/report.tex +++ b/report/report.tex @@ -144,7 +144,7 @@ Entropia Krzyżowa to miara zgodności między dwoma rozkładami prawdopodobień Obliczanie Entropii krzyżowej: \begin{itemize} \item Tworzymy rozkład prawdopodobieństwa wygenerowanego tekstu, zależnie od używanych n-gramów. - \item Iterując po każdym n-gramie tekstu wygenerowanego obliczamy sumę iloczynów logarytmu prawdopodobieństwa wystąpienia następnego słowa w modelu oraz prawdopodobieństwa wystąpienia następnego słowa w rozkładzie wygenerowanego tekstu. \\\\ $\sum log(P(M)) * P(L)$ \\ , gdzie $P(M)$ oznacza prawdopodobieństwa wystąpienia następnego słowa w modelu, a $P(L)$ prawdopodobieństwa wystąpienia następnego słowa w rozkładzie wygenerowanego tekstu. + \item Iterując po każdym n-gramie tekstu wygenerowanego obliczamy sumę iloczynów logarytmu prawdopodobieństwa wystąpienia następnego słowa w modelu oraz prawdopodobieństwa wystąpienia następnego słowa w rozkładzie wygenerowanego tekstu. \\\\ $-\sum log(P(M)) * P(L)$ \\ , gdzie $P(M)$ oznacza prawdopodobieństwa wystąpienia następnego słowa w modelu, a $P(L)$ prawdopodobieństwa wystąpienia następnego słowa w rozkładzie wygenerowanego tekstu. \end{itemize} \begin{figure}[h] \centering