From 27f1d3c3948a3299f80179ff0c13fc0e2a8ee11b Mon Sep 17 00:00:00 2001 From: Emil Miler Date: Sun, 3 May 2020 16:09:46 +0200 Subject: [PATCH] =?UTF-8?q?Z=C3=A1v=C4=9Br=20pr=C3=A1ce?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- prace.pdf | Bin 552179 -> 553634 bytes zaver.tex | 12 +++++++++++- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/prace.pdf b/prace.pdf index 4f69feeba9cf7bdab8b1f7fc2a745ad27cfb487b..65a04d29a4a894dd56ff374e4937e4043d433e6f 100644 GIT binary patch delta 20022 zcmYhiV{~QF(ls3CBputfZQGrsW81b*Y?~c-(jD`}w$ZU|+h5=Jj{A)7&l?&?F0J%*)o^e1okH6V zo9_lhcRU))G#EUa1)QDDqk3P>?KXbe+dWil_CMRQT|eI5T6VhbR=%rT_VCLczL;>y z9UdeEj~5yyJL7dv)l@K#h7OV9%c_#%)A{oSmSnw{vsl*W27ty-FT1~v$gKtU846@Z zlnc>P8L3iU@imUV{VmsV#=#EcBiG*O>STIMh-r~2Pv*Ja6umh;6Z$m*sGcxGb?9ry zzufz!Gjr>osgE8L5vtC*tVg3%BujYg4?Bnm;>&~K{sAtW6g(;m|7eBDCC9l@k(2X^e}xB2M9YnyT^7_I+#-Cd7vl~8^6AcI$<(DlW`)|7 z0wX@}BV_aiuJZw`ZBTJBg9V!8vn^(K?HjC#Hj`9rY?r8i(krd*|4`E5$F4k>(W@!2 zh!B1oO)B?J*{g7L(`InxKai3ojsEZ}#hWjI1=c+)4IZ8zPEd6@XhGIeznXahXMK9rW3I~Z)? zcH*7rXW6oiZ}c&Z=lICwb&>R+eB^#=s{5jj(O2NcYJY#8=!A$Nes`7$xU`%<+;nl2 zcPs_1>YiPIW983uqCvG3Mu-36;2j;wVdN7wIq=Q)RGX(R%lxvWzB;S{wg$2)eZR!d zs1~Q|LLaNeGuk){X^y#wb%}U5?QB8F8CP;0Px+_o~wURkx>4R}s9@ z=&o9-F(AN+y(1D%Y6T~U!iNKrvZ!q^1jscFEDnjsMy_#TH2^*Hnw?o{lrruPMo-=^ zUhg+{cY8KtdDN1im|0ovHT;E%(a{p}Th_T{^@-b?s9NotfyF9%CbL|tRyJBI{$^#JTZXtm8>l2gg_G+-1XwXC9t)` zp@;ohNh>|y90e>LB2T}8;w4R-*+4gaxOy4XRx*PPC-+tu>+Y|^LqC5Rymos~-aS6r zl3mMmiEK9ONdYnj@cO!X7*S{xT}c^`-EgAgBCBpej_TKxCP3>wLMn3hAgRjHjL^ic z#L;97o8o@x4t>Y%-k+VFeU9ImZBb(*KnD8XrhEY(ETlSx+MoAWVt++f+%5GlE%jRq zC$?$wbaHv1lMnjoq>dbrLEVvPs0h?KE|tD}?7Q+h6xS+AqEe{Jw54+w&JZ zO8XRZ2R=^^=54ySXoR%}!Tmrs56RV^kDoq>VnD*@P0X*(KP-QizB=A-H-OUt9k(Bo zLeUrw8`VGiz0e2i&mxvcqFr3Ig)3yd)#JqCVJy2mwJMg+Zj+bX3hyp8s?{N=B?`;( zX0l#9#JUFLV_YtLr^Ze#f8d~1nmIJ*t}Q0lmc9zFz1S*CaP!;CLE zvLcYBSK#9Ruw%xmlDtdpUIAX9ab2x8)zE2JQP2$@z&x!8JcF%XIAWJk1Plo?rqNqK8mhCokZ^xn#fn!Q-!+ zxqtV^*6e;seG7z|F=Jv_4d1Vdp{t})2N?6+Nv3sKwZ3$gY$&YB+iI5Y0z+r0w-hW= z4bD6ES`$le1tWYv^Lu|;e4P8@L^IAKVdNcZBw>VjY8WNw`aZGb9Dd($o;k44!uJ0b zf_KMr0qoQspjmBT5vwg0Y8 zZ;nnnm|j;jR}8B*zNj4k^^IOmu-sB{u{C|yMK${;98of`^GGHl+EwZTwDqUFhgIV* zB6>jCM2P4wl^iuEcmR6i_TIpLd`8Vikfd`eDr|3Uh=iHd7mV^$JM=Z;p*4mVf;H5W z^4&CI7~R|`->kO4ch&(^1;Vr=xdDY7cnoN67s6Fsc%!YH1@Pq`2uh_V zUN1BSRrwjfi9IKVdp|8reB2DqU4txtSx}{_V?15p`%x9#)5!%U) zIPe_la)!|J`)+d;gUTI2vYTGS4qmGDihX`yno-br~LI&hUE+}bOIHj&H#F|teHfQ zXB7=tu-KM98mWYi0yf6+U575R@X5IY&P-Hq@XBio3@*Ds5Sy0UI7wO}e?$a#3pzb4 zW5Gn(1RII*xv@$DD}mUqksYa4yzM!Z6e&}_Dz4##Dt#FoA! z3Us<~`JqBDK+v2oCE&@jY|~h{x-DBwQ~ahui>F%B{O6t= zPe(bxWf~a>Gvm(h`!*xVAN6?~I5h3@%R+BXQeU#CePO@UU3dLyIj^IN$F>e|;)2`GbPZ4pqCJ5sGAdT~7Zg<6ML`CtB11TFK|?+K z2naK3sE{#1>^LYe%M4Nokrfe*#klt_@V6&H3;42WWdx6t73F-ywcwwNkQ1I^Y z#9FTFo^SHtC4nAijl+as{IDDhfr6n)fgnXv1vG8ZRd7~xXzdtH5j%+}<75&khM?yI#s9>kf;D~2l3)Lc;4ms!KTI`?Os8FYbt`j;t+PQGYKEG&1se^-S zQ|8HVHc&QYkbj%PxvIsDwQhKKn8y^^4A~*4+#2cmplRD4A&-H4cq>pbtf6*8Wh_Lipl6@U@e=@2jhc66k;gUwZ`qg>y zzFfA$8XIG)hLCm0!EAFOWfrN~oKK}w0PtXKQ$yS0pfn6%aE7>QM}SsXldoRt6LP3r zwgL2Q)j++aKF41`|M?HMbxeI)J)mi_u>GkL0b$fTt!_Dy!2`ytnNdLw+*+weKUB1F za@WtE9;-Vjp8f8soE7JlC~U8rgzu7{9e(ps_&PrgtK^1`8*{lxg z*K%wAE&TbPi(6yf>V8`tsLU7+E&C;K*NP?PKn3QTW|KHZuP$()>Jp-d-|U;Z)X8Sf z+fmB{AZ3!a3bhSIs3qps0m1T-Zz3+fCm;`a8gn}^i^vz@ zL!Xk>tGX&Tbfx5UZs`;CJm7v*$CU}%>k$j6h^K`}AU<%Iu+hP$3fG=tJNRmKK z=gfH);=Y~4RVP;y_NRV#EyoBJ*?u3}@R!<6q_=kCPQpjeem?&5t8jOZ=D!Z(#qg)Tv1-$N z@+8Yve$9xJ+Lo+YL|p7JkYx6`@>&9QvI;IjfxO(SUl|+0(DMh_h%VOIinhDTqg zyD-Il_D?dA6pn9~xPOd(2X|vqGDzX_QKU)HR&+|y7SeXZRE>{o0GlUeLAzG7^P`~K z{G9PvQ!UQ%_=@U@0J`4TBHKm##{`QHzT(J>U_0d95gIazdBlsE(92 zDbdV&YFK2u?97$`3GY-ZnvHHP745(G;6ejzoNGm5P^J2k(8Be0hati{z-RL>LC3aw zK?N+^v@|@nZM$(-e#y5D|DLk`^p=;BXFo0ZhCw~Z;VMr_py%eq6u(Bg;*AG{o%|Gr zbNA%Yfn=8hzedqXkseXxMtE|p@q8@FB=t^v&JA&3m(;$K?)tEP5ut0Cwf6K>`rxa( zuMWd_C4Ee(USXHRK}W8JB;#3qJ8URHS9YFx!HJtb!x{qTJr$;1JLD|3%h_B|CN>Yp@CG<(X|roLT_JLXHa;m~uT4hJ<;cSaAY5% z^Z21Xv0_=wAxBL*$vMP;h5hJRgS$%i)Gtl#hSNXhz=!mFyxt z`==`L64*p%4qbQnzRC}@(IbyC#Xa3(Pa|Q!#ahH@yXYLCsIIjt9`qSuwW+ZR`&&{i zQrZxtp4FIB*xK0~zUe8k`|GWc7Ehmhb0< z=AN$uOqWAJ)z*nOn&zH!?12q^e*SFVdgn!fKArwaX{r0nTCGd?A#brL2Rf_NtM|4l z!n|>ASU)Cz_r~Wvd8kim{YY1wY}HA)APS@7rLYD!j_rS|zNGrS~ z{lPV#iivB}WnMRu2}NXy-*fJS%LxL&(TTz&aou3gQA}3nenO7aLOt2)ef`F_kAaj0 zCap;lkeI4_*uot!89Zfu%7Vt;w1p(gncDwMomm6{-leJ!so%J*#8R{4(3%kPCv|Wv zR|jdnfSD;&Cp?_D>y@&gi{PHg?EbdT0*-)^bq(I3s-6Wq?c7IjFwDmVyV?7^M}psT zY}Ca+#*Q@I>nbg9xyD+Uwz@&4tsqw+-Ga)+TK7v5Cg!Jm75ziE&*Z1B;&3c9RKI?oF7eZiWWqc&$0l>DdM1vQmG+(D$&eMbki zmqC<3fwN@HQbMAGTq_~;y}{W)|27P4;2i&TqG~|~*@JWaXM+hUAB3Dl1n2qB1_Km5 z4>|Sie`oEsAk#y@+5US5%M=Pa_P+!eAeJkrJ){2-&?-ZJX#9_WzYKa(_rC-fAVNr( zC93}s0O(*~WdBD%?h3PL_Fn>Y5aKe7W#E4a&_R(}utGNfCBOu&_rZd*Lb0-Nvt<|~ z0MIkY7y;rS3^;%+BsgzItr-Lj3NIJ?|CRKd{~GTpg?==^3xO3?eA(tJKS{x<0YuHq zwa{WyFnrL4M*?g|6QKY=CGc06gnXa8@VaBSA$0;IBfC5yZdGmA7j zXx&jdXie+lihY0c&fl?`X(`~J<72$g_SG(MNGJ4;X!>`vYExr$$6#OTn8B-Ti<&B} zV?C()!C%clIkaQ5KgozJUB6XTox0U%54MM#$jv!OR5Zt=kQoELU^{xA>7*LcimDp> zlElE6szT&@s^?iO)Y6c~)VRDv2%N}FON-TS;&7o-tAGtZa|JgRj*$^a zNfa(HPZ6sk2#u6Vg!+hg9ZKVZ68Z{86zY~jS(<2IRV8~5$MMiBz=T5C=&uKTsj{}3 zrCgnh+zw9x_XWc>sb~cYmq~%88j(?(i;yb*F+HA5LxDRBqEYp&Tp@xL_{9a5kr5>Q zZ$^zx-Vm)n9TB=Am1qnSBMgJ*JolT6n9X%TW7CXt*Wy#x^bmgIA z;ALvP6h&bULDFE7tI zg}QUufC7A)Smk4wu6S;w8N_$uFj#S`(bKu@ZZ@b!O1GKhIBSFg996st$jl$Q3B-<3 z+*?f9a&`$)dn@V7xZmS*MycU~s*nZ~c3YRj(2xCFC?9h^D_={@{-6(KRiX1`$u{)^ z6A=oLdLdSN4`vaYC4F?U(2Osx_-O%ec@)3u~ok=z?g@^YXEgMz_?}^3ytm98N zOMqO@>wot~X@7oWRKc?k{9aa>nG*1#YIr~GTjmb*W6Dx#m zvlA&OyDz6|46ZuJd>bu~M>)WsrBfe999AC+8TWWlj@r0!65wq)e#oJ7%2?_I;_}P_ z(75u1KKOh+z&`(qkPU}3)^QU}{uxf7ufwhjwEeXfGWScp>%w55e%(M+%ALponGM?l zM*y5?;B2%7I3ps_8<&5szN>iWu0iNge9QTKjpf9b%~`yH;fDq3N-XZo*OhypLz`w| z;}a%Y%l@gOa@{vkw5Z%e+8>k+Bw;XoqGFLqQ==;L%I}-3BO;gQ(JlDWW>7eL&!_Cq zg2-9UI^)3S@vg1evFAfnQk#H$tW{Nl3QA33@L}`P z*f#R4??));R3Of33O%(ZJ)Wu%v0S~DoXp|LBbX!blvmv=JAq%L;JF#BFR++E<6-r< zAORTk_AzMxC!==sEv*9)WBh3|xz!vCwxt;#$UQ^un3nj*?5qhvdi%0a4?265?==|v zMKD`+bA9!_28>OOwe6Bs(63HS%ToC_XbIA1yRqe1vy3J>1I>{@ThuMGLP?XDM)C>|v(iNcfQzyk2Bt0s)>0TA5-E1! zFMdW#hZd8_*~(65Wm6yMc&KZH%S1Hsfv7i@d4&!lJzZn2}qurLb$>ff=MA&L@W&rgehzW!^|!Wpe{0<2#I zqPpvuRi(1rcj&~C#Kbm0EkZmkf05D#mA<~I^$A5E5(gvE-)QxagME;~NR4LPGE;Iw zDB|!I;VsZ)`t~z+s|)!177uwb8R29$aozO%$YzY_&iQKUFsjOd%WTT3Rcj@U!pe-C zwG(s7FzftrrCV;NXo{76Q6Qucm@pHG_H<=Ce| z@PEQzXw426i#Zuen>Gu&Dy~^bJuCx=%Kp21jr8^g^LzTr=BtNCRD+W#?gfUC+b zP(jh*>Gbm<9998yCV14!A_aRp3Cy`RMOwvjGnaRm7N6FSkL@hoh-n!fxg1uf$_EBd zMuj~=#&r8u%NrNb*Teza@*kV;s@+QlMb+#1@rgH9jE$CfkYm${)?*b$V|*65HJd=#Lsqz3eYr?i@2zGUryM#c zxK1&NO|n$9xap&_z=S(nzXh>LTE>Y?Cr$`-UmS4Inz4ScFSk=1t(V?q{uL=@mjRgR z5kCu|XsK0C{pcI?9a3Afoc4@!jHZ_@w(}AkY(y6PY$2JmH-xR8{Dp*N56OKn^kYdy z{3_&Orvfl#%^GS*@M)KI-h?9@6%`?A`HSL{*R!@af3msEG3_6;j zPwAgXDhJ#7r16R=nI(BddkswvqC-pCel&{wJ3AZWk%^ZZDhsY3r$ztVEa$!ABEljw z;Q|~|Nh(gG$Y_U_lok&!N;jT0IYDfewEd0fumne`h#@wjBOS8-L$z@i-wX9F)9x)e z?Yhq7U!}mDITqw`O_V<5&Jo-<;UX9szz0T2&|86LI3izu0^wiWP=N2+K4E2cgVKadH(bF+F6RZh_4NuKM)H?U)u!?hHaHJuQr|7}Td_5WJA~-b@ z{3dP+%AbRpyO#eNBDY=GGamdTxKCT8N6>v;90vH;OutgV3b-ClJ{?9B#Bt=R<^%jg zCxdDwHu!;yto&WZv(`l_;T0Ijo%aR(C39V)^J(Zl^0nLkMat9bl~V6t)uX(!CrK=% ze*K&*sDw+f165c%UzC)=c!4$x#ZVceF$AGMj?w657KxE(E1}Q8#Vz2*Dy0?ttfmNJ zunJ5yzc&RLolqtK=G^en&i@PyjrYipE;%9PO zSsKRV1)<9^TtaWk(aSl;dj3$^S$wj+FL(Iw^M1XNFh2{2e!n9wRYGD$hyC4-G|cIy zJ%8~dthR!##)lYs=M-C_=2w9~h+1DA{Zp@lAWIK%Bp zd~%}2!>E9mFf)lje*dWS0H(d!ZI>K0?-E5Y$0(+opV3n^;(o>c)gfVAUUH%st%E)~ zx-LY&zB=ygo%5#fdKQ6|&<={>MA!_KVjqW%ej9BPFEGB#(3twBh^#+JeNb;?vq%~{ z=#q<58EieZhoQ8GE2q&cO4DnVPsN(NNz{R0fXR zo#cd_242pi{;*8zdLj9$^xDX9@2xP4n08k`^J&J1Hmu!gup^)iGp2zUMz_GS0HJ$L zAUqIh7D37(@N#E|AC zWV>!Q<-ooD8Ws?8kSWU>4DwL6_XaA(KZZCd2vSQrz!50OapK#tmLd| zc1hd&f_s4Td*ssH&;xTwEAZ4|ZiH*KW~wko1hG+jay}eEomt7oF2{K0--MKVu#?b~ z6j=Olif4@B9qN<|{E4s)6PgM2`YA{~tXec3%1Svv+mJX5kBq|dXE zPSF5OI~B3T3APC=hVy#(U+)@CEoEUL&@VSbcP7~aWQ*R`+Gl~CzJE&>iQv^@rKm1 zo@>j|5sX7l=X2KM$i8JExZ|t#Zf9^x4@DLje63i6J^Wisuy2V!t$*5tMmG|2{8W{I zPoHs$+*~&(*^oS;D^5U|*l(Tpd1efo9jy-$7j74G)gkaH1l)IDmT;0mM6Syx2smP*!@e7o!&ruJoy zwldVDFs4ch*(iwF5Km@9tw|c(qFYBc5O}+}NFiHa8Z-IvvwNFr>?zq?5$h2Mf`0?? zPyg)liI+4N!0XOEz@4CL(8_He=s4-^HlIj#D`Vdgxc*r9WBgj>JF}rs zi;KXdu@=3o5{R>Bpv5La$Us5XL$jG*JHlDi$QPZ zvO1hA-rU}6IF08i6WFl`Va=1eJovKX#@v*nHZYsA^5<~G@!%RN z1@=zIWg>M&Ti@ZnCjK0-0t@~4_ah&Ccn5CUZ^4H->6p=3$dkt**uu!Nq;Nw{yUk>x zdmgEOBO!q4yNmllavTPHmhHf(8JONR+--UWEn~y(#(B|iMm_C@JWKjvNT(QlEm=sh z5rU6Z9%>}l$SLW?$BW{A+?4!QMGo(2|r)HXpymC}7 zB$$hjl^O8{NQxIDou%?HG8kGTS^&YP%_ z#%AAoZ_e$;@)s#~)3rZ&C^&)b+t)W^@7o7#VOp z047io0>A_^!w3N&29iSgj|qkHFC;_;0D)XF01FTq<>&y+j88m3GYB0Aun3VMgAEu5 zHRAs#bc_eU0_76{Vjwf3i2!4ud$Ruk=*R$=pe;&39Aw5AC13)?L-!xA9qm6aIU^t* zG6RY6ALBoOd`1HYzz*ck`k(ke4aEeAnDam84-NnZ=wEV)kQoo$|CAM#{D5B&8Cm@Q z2rPvFg%BAkLjM2+q5veQ3^>t$06|Fr86*2Wv4OOpmd^~WA%VN>G;Bs?big&D%^4kxMuK(BjgSz2 zWLhzJ9Y$lwh1k-X7b0i@8##=Ecr}7>51pJs>EWk%1w{0iT4-B>U`H>+(7cqvwD5GC z7_AC9Awh`9Df`rxj&Bl`itfY9tU_~N7X(v*EYAevtloaALBHAtz zWXAPIwR(MK;NZUlN74M0BVl{tPIYAzjgcZo@gjI!mbPKlG8X5cp|PW7;>`xK9!;+~<>}R^(962xZPYU{t5}HDUV;L-BlTiss3&l11jP-DzVe%h+^WMrveFQA zy_{T(p2+m>(=0PUW15KyMFx{5i0&M}&)?-6_~!Ur!BrFqRy9iZvU~;lFFUZ@tH7T; zjOT9wg`b-51K^!g5(83t#BJn4d~jeNaR@evyZoGQ;dyc!6@AwcH<%^znEws!kM(gb2dybzF>r{aO$4-Wf@wn%iVGkQ?o$^k?~9@W{> z*7KGTWtP&!zXZ-V5VI}j!9YU!eUS6lG>Wgl`{(^@0?&Kdm5ux7hEWt1QCV~rQlS(t zL-uqdGq~}$!ZJnu!nsr8qA;=5R{ z+SYgzBLJzK@;?MSW}1;5mJQ_v?m~c>y{)MIWduU*(zGt)IpI6|#Y|=dU|1{-OD|^$v zqQ4Byqj|)1nf7l!H}u?Sb8sr`P3W+SZ`F_s1Z7S9tQw<-4oCw zb`tqFG`idK(LWj{7|Ryp$A7D@9PFv@*gp(I*&He;O=%t5=?RLE{$98bcvuEMs?fLN z+lJRn_#oDdVMw|O=i^~FSZk49loyu5D*=ujvcCLNNp>nlRZ-VHD4e6JA*+NJ40)y# zrNW)=(B{ErB^OxA;%q#My3qmQeB^@JS{LYKqLfM{6lqn+&SIduR9pU1G?7^we%O?v zRUA-sOnhU8pfJW$ON1d@49|?nog>laGE{h~kF# zVy?KbD4S}Yx6MRDm)!@jD!GkBLD73LWw`Qz7U6UQ=0J#s<4_^|v#eS0Y*kdfm>SdzK>X7b%tvcft9H|L76 za~^1aM{<*U*!~S&QMtW0dQK2$eg2@)wb|h6v?x-RE_k*)$NZrNjLG44U- zT}(T4zPORM<$ zKJX+nR;3y3+j5vziH4N~V%D%bS11gh7`cp)8P(wqWh->JNl`0IP5kX6vStVYN_UuU zAGVzQUS<*NQu0!0nksucm{LW(S+N3Mxj?YexM)jAp<;F@lpj38(jvv6V;NMKNfiSq z8v9)+Fl8oSv0M@qwR9tf($rsMGWcJXGyQ4~MQp5AaRVSL!m%B7P5WALCn6kx2Er2q zLfOcN7V0SrtJukT%gS)dByKIuu;KwiIU)B?@CRJaP<9eoQ31$X^jUD8A^f8f@Iv^0 z$JMPWhq1Nl)zAJ1x!)F2J)#l$o7Ch+#(PN~j!*)?)ETGFADR@b5KxX9P_6`hzl_B5 zdz8X@Rlc*c2Nk)U9~2{w)@E^Uiz%k+F?VpYOKFS0GXJq~Z=eNrU!*S?4fk88Vnt{k zv~8%JnftB3XeYZ!leWejGyr)?Ag}hsHd@V;; zO?!F*n7?*$aM8Sa;Z(K~X@ur&ER`KnATYjO@R^%FX0*m7JP_AkVkbzOWy>l~lQomISWhiFx(!+c{wbs)O zWM5OwQkj4A=-S#IrnukSgnZ}GL|c=QVVLdmqb4yV7RHkhBMBe1 z;40&x&db5(h8p+5Dad9`E#LD8CDRQHF2At{8PW2X=G)z5hB>07f#-P4pAa2A4{q~@ z0h1YP{Yzf|K~bF~<^#pGDUS|Z=1k28PQa^zpercc_*><_dw7fHJ6)Fnz3>W7%Uy2e!AX;=O426OC53xWbxlsY?HwvB9GAOh^CFcbNRJ2l9 zDe{-F+3l0ikF%D47s?gmdAzM`pbS}uzIN8d<%FZKOJ%&#uMy2V%p=I3lT9RTfKY}! z;a{jfX1! zx@B&(fTo3Ql$5$f5vkCGujwX~99XXH0)RX93*)Q2X%i6L0oWuVoZ^YdIh_>Xr4xvi zhf_zeq@#|K#+sX@7evDC{==NO7^|_BpK1KdX2Di<)cr!AI$^4-7oTk26l3^S@^pp@ z>yY;`14`VDkLlAu^ijE&o7rUE^m!b5qaPjERlvb}7{FPmoh`WSRagx3B0M;}XP5zQ z48Z&+<4IEo$U{(ZvGB5U(X+5ov#?OpGAlZoNf^7C(@5~Kv9PhQaI&zo{y#tlj27Sw zhZ~+*%G$-%jfCU>Cxv0<<@|rsnZPvdH3xETH2){fYgQc+jTH3`@DOk;eq{Xp=ye0E zkg%b7=g^0da7yx#tum#i-}j||SG`$}`6$kE>FQ;gJCJ+br`~#)LL;Tz2o{p{#%xBb zJyvOMBOr7ZyrV;brM45t-#1_MZf7Xn^t+Ouj4}$$UjsV+|_P*aFimOp==~; zn&1+Fn_G7OX4+Qs?W)I}uN*hK^wG6g+3}U`s<1~=;Glzo5m8Be#egsvh~?$XE39V_ zXG1t3rdkBGm=m?%8t4$}rwV{kN=GpnCTMgq7i+ zu5s{(LHhqDcA@dfjn2r@YFMwc<)$-p6uV`dn`lV~(-Z)-)sLYv&T&+s7)x%FWFt(l z1}Tx0stqTYZ{1kveL$GzF=dg*;y9U}`rBIzUORO?k=h^9>BE3fMhfsK ztmGhyZ?q!yVQM7iidpq~u{xMi0GC@S3z?AfiZGIq!UmL3TCZ=SnPRp7j7kSS^Hv;p zNgNZq1?M>&UGrRyq27^iwwaZ56FQM-Yba9A`Wak?v3z#wKzv(N`ML%_h`K4L#mXdJ z80`k7e}*SO3J5-II`%`zCRQFsiy(cWxwp{}>C!Im{g z2H26ZZal*`p~+a)rg&`f08=c{K8!LfJxyx?#Y7cnp3;ntvBN6^t{M>>p)BP-^gAA1 z(mpnzG2Kp-Il<4s&L#L$quJtAMU!ivOZOn0skMP(IP2p4Bq1@!Warr!N5{yBEw2D_GfM4@n2b9qbMcC6d|-c z9V&kczOK8y_wfm1tu}cBXV*)!J2bSy*dM9JIMQM?p`)J|Fwe1N;if>(RbisfAVqn5 z$K1Gb-oee3a^vEFZ!VUxtP%N&v0?}9Q8$alUG@3+VOs6GTzl86rLCx#W;g2A6Q*;( zC$zmK%gu>{>%IzC@<)=%xMgi`o4?#DQLe=S<1IbU52W0eeo6J48=d*Q3%>2h0S=T} zmU{QE=TV0m6Fo6qnL*5G3Fy1l=I#hjcEs2YV}1jwy^XM^-?=)IEJ-_P&Y?6c3FHD}G4nKeJo*?3wf6Pz+m9-kjit7~XZ z&4Qaf-AJ0dSj@0|#AVikws(87ja8l+3G(~(*}7vYoy5aj*f_9lTRIj$PEZvVQrYA= zS`5ZEPYlmky?j-*jn0e=`D@efl@lu1bvX6?uXM>%aJjv2&sU&mm!Q^5u$Z8*OCC(u zfwx#M|GWG%^cN`=axV}>Q=*9YPRZe&#GmNe!!r17w~VT)QUTwPc6sdAm(~5EyWgJQ zDTUuHl#fvRYMQ?Cb1^ddN%%j_77OsyLcWNzU*Ftzsjv7NJk{R)Mqg{cp@F3Q^eyag z&#~RZrIjlX_L+sB9S=dsdU<&M}GcY}p)bW*I7$DLnh#Y^B0r zZh#uVJRGi^4L@$wTbGd7jBGM6f1V}(bl@Q1h?yStvkUW?ronfMx$Sa%9B`xghSwfZ z6?+)`FZ24`@q2^gt?A=&1FO{BtjO80xpk5)Pn$vN-0;x{<4v1k)sBRtaqs=g{0}Zf zWd|%S`SD2j>vh{U(xtvCs! zpf|e=7U>C9bqJ34mr_&HK51KXk#bj)QkPOYVeKO$V^3HuloUeB9;#{)5fJ%Dg!n)6 zvXuJ;HFc!6kr7J$(j{XxgeKBhOIrn#1uSF4UJGU3%6L!)3C6-V^QIyZ0CL@r5pjk!f7}2Vt;#93gyKz&Fe;GXG-j9{Br-{ zXjI6R{dmx92nu2y>{(BcSPMESjTZ3UEQHqFrF5{9F4((zrV!J&mUBC6+4H2og*v)A zNZC|c^h|1YdXgV(Db(pw3LOIaJkL&pR{IBY3T38Y`#Ejs4Wu_HNcIMCTCS5xK99y) zx7?pL=?tJ>swYk>Edc12^`vQVCxM(f4USPyS)V`Eq8alcMSLF7!WH9?QcSMtJ4|E@ zo%x#}5yQoRb0pAsV=@_Vc2cr_%sOL;cb@==@nsC1mH-hLD!HQP#DHB4l^i`|9iVA{ zl}aTCiExIok*8;(1F^|XFx-&EKIZ0gDKq9k6_*xf<*74lPOYX6R;J9FSp@n|i1QDqNYu@B_62lQdQpgia3n!m>FOA^nz*IndUnFf zM!*#u%E-!IllEW}Wn|^#C2ru+F)|G9GY@D2sE(4_ms}eJHaKdZP&&oqr5g3?3$XI{ zQ=6B*xz|7;7a7l?c0L#Sf~zEjv%bO~-XiV#MAtF1-T28uGWAJD-ggv{Ze!#T*DK4lN{cf%s=143rd;>RJ%239s2)hHs)tUgUUS*h^knVS~ zZw*GfcmUPB=cCK^d9O%^nD}KZi}LD!PD^u=mbhD>__;MrTt+`rNaypnv@bG=XGa93 zJI;-Oq?yViDBntpjdv@W%aEKbakcpFhUiY&(8#rAzVaF%G9D|3x~f{PX=Noxqi*L~ zG?mc(<1YBj$BAR6;y{@3W_C)D2SiA{9#;eZC_KRxfp6>cWD9BFc|687&hqMR0V0B> zR#01bq}m7)LRGPYt>W~($7Cg$wGuDD6yNTwZ9p9R--bi{90)0}oRr?i=P{fovVU!k zezT1xVaKzNO=gk@WQT8ARDJ_-k#j;&-RAO zieXi;O?H^S&?-)T7;X=M3r&*@RmSUKgr~vU zG-xx=SM<(+?H<{Q!o2}#DdTLSYQ^=*O6S}NvIrhM=v!||f5w8eR}1Qh_iC}U14kA2 zUYD3S^n@QSRol>bCCuW)79M^~EVf9}t$ecTJUzNu>6FP6>+oml!^MmGTR|H+Q&^ey zNUeU=J^ZW8x7-*>%g>tWp_V3z&p5dPni&`%vBSU+G&CM{z}qy@v(Nb|-#%U?b28MEC(?fyF7!H{i_tNPQ9uOjKS< z{&%VN1=U@=HsIAxbHA@Tsq2FN7B;SH5kxX-A94q|Snmu;#wr#qF99mHfAl=t2@%eY z6J@E1tNq+?w^!jWm8;tQC9lif!*^A7tq*_n2s(^=9an%_)B*!eb35WrcHqw;FjSrd z?-Ss3P7%X~Cg$AI^?Y3lsd9!q2IR*5O%JmEf{p!4G3d!Yy69FR1tf-rR8r6St{$v0 zZ0O)tBc5fj8TAUC?I(>z2Lfs7m`!5mB=91jS%fnf&LY-8oU>OTe%vE{{)Ji{EIyxu zoH}un{AFB&F1-e%kE}{#j5K3~DH$TI!20CSdEIRJ>M@`zL>q4z17j%B_O^(a{(_B4 zzFEKx8uaA8W5lsxxCG3Zdo+Pb$N>%Ht8!fE-a;UAnKQ(FZ@;PqLCVOiQFprJxbvGs zENh*DFM4NMh~ADBj&FAJt(bF4`?+yyY5j5P2zR;oh;G?+^R?{pvvtO9#24IFEi;A_ zt40YleLCh{pu%28r^oPbXJw^T%G0jW`ksQNN2h&fKh0UcAV`d>pDQ@P z);Ul}qO3Z-3u44;VnfmY0ps41#6+?E=*iv_t(RC*v|Gh;-JjrW-bN_Rs|fA>2<`w> zM7t&UiV%avDxwSCc#E6_a-&sle8BqMRk>_87`*PL=gUreZY$I@W9xnwihBvGQ?wYB z^#`2*L}r%;_Xi#86Oh0XRXPPgkr=i*>hQ$RT#Z7u|K?gG2=XJJ2V~R=%eXj$Tr>S@ zA0WrkA0sGiql6Bew`?ejlEL!;I@=>_-JR<*Enq~kU&hCeMpVAMMuIUJBnBxa!(s^% zbXXSd35G=sM8F7PGjO})xw6IAAFi3vqN9Kr_`G>O9j+lFu#3V7{iRHCZBOuEYl8 zH|P)kuox&1e11Jjax3rNMV14qG1b=I8S+cSUypO*bnF?((=8@wZ&IFtX+Ow9ioAWMb z;%9|U>?^?Hi{vZheSDJeDLHy7u#qQr2q%By%a*o#jg!DjLoRbTBJH~A5hI(!%V=JO zqVjKUTiaFmRfsI?o{n8BE)FlksvwcAX19-ffd9nC%Ef+aIoGJs$4r)vBIus;#A;KH zcpq5*d~*~}@OKdTmFA|64qh{9jCeQ_2^nn-x7-}9y54(l_K4_q1KpFSTGi;I@cX-O zqci%;Kxjza!+}kvN8NRY`yHj@x2r@Fjp`CAR`ceZLO(e6JbUV-H8#~468>=YWz*;< ztue_9#RawAFR1qZ_=-8fAh{b)%MGzh!_d75zU3n_b>0eWdJdM+0}T8}5%Jy=vpNX; z*H)l;+G&2E1o{q3=C#qYbvq80w6OxMx4t8YVgO3Xaum*pWOu_UlTVVZFlVX)eRe^Y zp0#k1!ZCn>g@M)wgVk-OwDfS|h3#?u;YrR4F-`M3d=$03UBzM-;J$DSc3dCT=6{oG z5-ilWqf0H74~$d^R99KrJRjJG48$S>jgd027aM$4OaBvIm!7aGE2A2Q_clY2H-0k4*F2UV3xa-aHJ>UD*{c)@A zkKNV1daaq+Kc;q1*X)7=^4k^iS{EXCc784(KRa)dHxcju`mIF#|Km5j5E(#H@$g7V zNbs=%nI(ZhF=k0#ATP6|Bo{lgs01gMD5p5LIFE!xgAWNk9jJ((U48B?z5F-S)R~>p z)>5XU@qJ*^9=nsUq`@m&kv6Ljd-whQNqC2cwUf>#ck_$JrSTgVf#*-J=Y~x_C(RE! zk8NV=TOZ&T>f0OX-h&y|QQjECqosv3GqJt+7^<>(loTOik-3RC_H+(y#qKq8x5ur| z+k{3EXIy2fePv~YG2A5Cca(}-SR3^!-e@F|?1V~(Ed#vQVM#qIby*_M%RJ9}H&Qh- znC}+#0G^!hqm#t!3TU)lS{2EFeDZ|EOD~LkBT2ii z!sBNE&DIt52Izioby?uM@C6~_%&gbbVqI6fc-L-780Sh(5aR^-y>ZsoG~@zkk#!<2 zzGytk$#L5`JxWZ3+@o($X z#gm-}o2i>}j!odjHE1TG{GZf-AL2MD3f9hv2|T*4egk8VoR_7=N{YbGX~oS+!%t^O z)2y6z9v1yDbsyTu14^nbn!N`QH91CN)#W!?n<=1A6Z=am^C%tkA9qpj=QHPzi<$KL z!{e}ezhU*xmKwC^6K}auqY%}1eBB5?MGWJV_cy$JIrfbNm8Twufp9iIGW($4>ZKK{ znoNb>n^k_gHHMwMZ1_iC{U}_Zr2yQRA7VzOZQ5_iHW5`ZVfYwednOCeCBOZikwG@g z(RkAQ^V;i|w&M-(sYh_7I%K$nx81hfcR{qZ+bCP?4o?(vv}9rd%}3w^2JM zr}+c3)7?qUzyoyqQGeP`oj2!)!}A`QN{OwQ4vAe`8g`PRF8IWDgKwlrEy(P_^bi6v z^km6I1jukIEOEo^FW~50cE8cW!oq9f{z9iRGhUL9mwnpL&(ldMZ(sN8VPkv+obN|9 zVKp^j^L}J*H9x%V&uOG0pBouoV_*^P_YQu>P#bRk=^VnH_eA>A;bvvLrL^YAgz4SM z@F;A|t67=^NsAQ}zIg`wN|wE$^{KJg7w zLD~-rL=a-MNRw5zjq(;?b%n8LAv5gb4W~xjF|+c3qN$31r=yFI$Wcb+=PGgxw@$MR zoQ$dCh}JUdgD-)Ao?EqT?_)|@B|v7iCpG5Z`HSS!3$&U2y?nfc%sozbJh#Oh$y~+U zjd`Yx{TDI&G55DQWx&XjFY!71L7IqrnUyIBRHW64vYqZh-W+Dsl9+qoG2d%j#gTwe zoqjFC>|PONR+bO~O|HczH6%5~9VBbBcc`rDTHC_>oAIOBYw^!m`a@R~$9E#7x~0t5 zDC6tlk2=jM*Z%XZy41z5#17vgi}!GgZYi@FN#N&A*M?o@q;FCbQ$;C0uI_xE+=yCU z?9V6t<|ad}pW}zxeOE)|JfGMw($y@grh6yvnvWk#Kd;_y;;U5ywbv%;iO0oDUe3w3 zdN$npiw)Tl}NBhV3pd(HQCPZ@wGZ$B9b7TAec#bAE zhwGMF%?2(T!Uh z!tqRme(;slY#5JuFjU?-l}6MG&C1{T|9w_sH{mH zFG+IjYQ@8~$VY%tAtMf0<26!TO|KIWSX7>Ns$H}~b0L7Y3yej76sl$DwoRRUuv43~ z!SS&5t8S~_tOjW;D}25cyzW$1wCOy53>EqOsT8>14qzaS2$=ivhtet`B-jHB`0b`2 z=G2H|L(wR@<0ll+ST1<-yz=4?7SY=~rN)P9_wgTM=I)O5KY_E7Um=Unstr7ti4@{i zi+uFJlMC*e;Lghv$M>cj)^f*8ywiwYl-$nd+WCPZH9t_~d^vM-{4?s?j`xPqFm0zU zPVy#yD@cfby1H0j_;cLkod{W3&u`7{=)PGvBqvokRXAnqYl6b0TCXi!;I?d2$apQE zRbUzoX=4DI|Kpzogdb=>S#rv5!Vc4RBLMdPONBc{gC2*-AYoAbw*2K6swI-R=##kYndCZCIv zlt?FOd)F&bz^I5`lJ5OfvWw=M_p+Y5`9)x*_z)1#WE*3XA@ivjoalNC;dq~sl4u;` z1XE&mKtj8@eU@*R?~&zMjOM&6BfaUoo2ZT`m#B78&8hddEW4d2Ixq4r#wp~*lOj8T zjr?*(X6nN2qG8+ydhx9Ga#0DxGSD3zE?G0Goa}xPbql5XJ^d9teW~~4i zFQ0le4(c93yXJs@d~$mxJfshg{oXw1 zmtk%W%Uft?>$Tmai>*6Ems_TXk1L#^kq^5Kvvalx^rsMno#IeYyu=BGuje_Nt&yNj zwY%8eognyk`h)(>#_@(5$2d^p*7r1hu=S^MYJ<&6<>_ySW;}CU{iSJ#(~}14rkpLN z!;Rlv=bGa+AnG6Qj?trL*~~Va5-$5dMf8hIk&)t8x{osQiA5`3+2Pf{Kwh@WM|3#o zjqfiev-$=K_XYHhEQTiaRwYg8#$F&n!vvIHT_gI;=LAMP?$iv@U$;juVzil{MiLA<(@S@y0?K4t@F7GO}5%lO##tk*H zzB7+7PPL1X5Hq7(CZ?j+V_AzZY<^jPFa#tJ>1|ny4_2bA-)7Sp1BY(t%NjvLyohrb zR4k67OZN&DYlj_cGL6S4$+`z|lM3WOJ0Rl}uD<@8au9*WlHJZ4`FT$GSM$SNj zli1Utz$#xq#{6Zl>xdy#{x^fnWNhi01~fz7YZmdf5O3+)lP8@UWR@p!``1IM>FP7D z4UH)CwWP)s?%N9O@AaekFdv}X$!3S2a_)sfmG38Q2Gf~;8wTIv7F#_#WSk-}a4;|x zthZ_8#D3ExMH{*t&b z6Y&s7UUdA@cPn6O-~CIpyqHM8>!&+)cILe1ULY}V-pP;A&TN^zTkRCEI}7)-h2RtJ z7>gooYftEcoiv?M{_OtTS;IaTjJHtE($=PPf^vGMIem6gpmXN7(Fq$&711?TE_{fWN7qafgaFs;X-BjlKlqRX~|ucsuU2x0h1WsPAh z-<9*z{*j2vh%~(lg%#+n5!yD~*Am!LiulK;!bTf_z|P|CKX}4!V~xSC9>`3=%!`6G z|Dde+2?sLc4Sj9u`ecfI91JKLA*Dc#uPbY>3U&TI{VM<2v6lQ^nMI+#v|*xOok>k` zh1B^gmvk#HLN*DX+J?aE`NgwgBJCtYFj4`ht>W2BA^F?#Q>U}M zPC({LdD}5G1jBh+gZaG2>bD}fibUoEy(z=$iUm;^5KdN0`AXup!>J|!;>%WDrW))N+3?wkEw-Oc$ zj8YG!?*++`W;_Cq1NLWx#$*3S`#+fqedqvtNS^;@#Kxf~QIZPwFu~+2(6dPYqlP1K^fu{zqHD3I`|q zKiW=DxJ9#n+W#|Z$p)OIKP2CO0}2CpAsa{__}^-AfzW(BJZWsXP&DX#+bd@96v8ovO2CM+pg#~SmUxpUuni@QE1{(Epy&9`lPY)^g&2mEOLak#x8%CHu;|vne zk9s(6rCE0x$cSCyDajRCAwqhq&YBu>a%u!;pnM~7^X=+HS_QU2E9v-{A#fkMsj_?GR8Bh9?k-G{<7JXADR- z$JkiWIE<7rWfZP9RP6mdQr6g5Fzozt$NYH(Y+5iE+fJTFa(Sk5_4RWB&UpbE2=TIQ zp!y*Q7bspPM3kmQTeIQ>(K;A98uMmVu~MSw43h)(K3%fpI$V`Rh%d+})DUxL!PNQz zQmH^!S(WUnjyv@uh8j^yy63SkCEz@m(E14Ph?GZ7Q+f>{2~Ph+BPq%{n9$@u4RabZ zh(A?GqNC!!;glOuKNKJ*69Lp=;cKD8Kw#w%!)1veQqNODvS@^&U`(St6z;`iKGYB? z-i{Lf0X-~I+3K=HPdg}B8Gh4*-aHMHzMtDs+mr#3KgO@VUXjqz?7|Wthet^s&-yzW zVT7`=C}XUyT8*F>16WOiXVG)XMrmgO5HLUp1Wii*QtB3nNJNY80Y4!wRa6q=L8vVS zG>`5g1=J(NoZ*`$-E0~&rqI!$%QV(1NSsDX6Mu{CHQpZ(JaDF_ z99Ix1Mg?O2`7}{tv&IRP)>bSfx~DQ;*t$lsA8=xBEkn5pqH__m3A6xY8RSOLa%Sk40un$62A* z&F7*FQ999W5()NCZ%tV=M4bo+Kg|&>bjp6(UA2}CC#iMd=0Ps&2OVUoX-;T&`;@W1 z9CgmO2@By(mVQkN(DdB1gEi3p9EfDC)XUO;tuX*cqk3j=@?4}&?*zMzgrE424KDr25 zuyE|m`_>q_6g0NoCmJxtHq5;f0?;T?@cLcz9@;TgN|R0q<<-jnDJ` z+4%|ilbV`Snyv{*Fhe7bM8iawL4J4wj259Fo^ymWa*ANWYnYeE?*T@$R$#n9G()eU z+50et=0Jq=>oAO1nq1PpFB4!i3_x=XC@R$E$WZ9DbRu^1S99VAb!FXU(lc|Fo>D6Y zZd@-#($svb4n2^=VeW&OztM1n((mDCU>BHtq({!FCu|`saLny4oZMn!uMU37xPNvX zeln)!|2_O$1m!H7TM^FERz@C-M#e|?25cd_LxLNTA#vg8~u+Sx=y72n#$w@6O zt_nvcFJ|)lclscMnpkU-%iS;9k2Li#7=F9b;wy!9&LRiarN^+sy_fv}Mtpv?DQ@_C zyScwK9%bJG@;wZl!f+(mT)4jCOKQKCsLijg_A}_|jwsj4gr?})TcdvR{b?jD z5Uh05S8vketqPLJ(rd}g7@j@2EFOf^%Z{c69d)X7Vo+voq)Zu(l$Z25bs5^z&lYNca0+tK1s zZEWZaTuKfaJs_)-Ot&kmuRV=%ZG-qVX*#k+e#u)oFn@jK1pDy>-f`t7lD7<+wMNlR z=>E<~^YXqQ5Pa5a!4E6*^#?IBlS$v?%`tr9a1WFSXh)7zb01f=U=X{^A$3?VUXbnc z+N@VZIS#ej`2Mn~U7O_9_W-EV&+TVYQ$v~^{_lk(6mx6a7^T28AI|-5i zvmjJwgWyBJl~er?G#`?C5K3myiA8jmHqocZu9X_2DcPI;=ib=!E)aW;H%%-6&jV$>3)Cf=Iat3H}x}J6Rc-5*k zswQD&7OvXqx%huw7g^M#@tzFsF%*;he^Q*rXN;VGuqyaN9s{PeS5$HJxR$<9Wo$LiPE-&Tg#sAkqzp^$QIgVTrPZ~w&)0Y z5#=VtJ1@B0*cUOO_1+5Qr*#$2$R&f|1a^CaAX-SA9G6hgI7yZ9+Fl>r843=mMd$`d zI|p6|qO8aU3yK=0>YAS7yqjCgsZ4{gB?=p%_z+g@C0y_-Vi0Z%)dsmzv+3J!dhgrCq@-1HiLcZSlAN{Rm?G-0#875k1 z1y7sGAgn3C`W|7V$Cax7G1fkK7xRQy&{f9u(c8m8{Yyb2V0=`oN-hM038t+D4L7MP z`M@DVJ%@V=Zn&wFvR#+7}Lu?=q3xCOf zY6jyN*->_!M6L&8A9jZNZ*;?-j9C_Ic3z<`{H8Wgso%aLMA`nZJO_9Tfs6cp;nJmP zr8ROas-iLPBAq4~KB2Y0uv;+Ffx6ODt{Lo9RENxe)x!$lYKvaqR}QXgF`{PbiBd>) zY8q?J^pH%1OGy^eiiaB{FGt6*ZQkz!fAxP9Wru{=g>80tHJ#Zp5TB zdTRadu%jj;q>|#>qZ^%7Oq|~cEDVaz*B);yt;6SvTE#@EUP9nf;0#f2L=9Y5owFPC zK%wj$UTTJA+;JI%*b2vEI)ET1>R0WK^;X8$t}dBT-1}mBgxvX_3WDg#xmFj}K&3$TcR&{2hJA;cILn{3JEl)i|kv~dDL2cAJ3%=TfE3aOdi+ok88D30bDs}$qm|vM8u{iutY1^)#H;yb{0vc!rU@W zX*k>L^GqRnsY=g$bWg?$X^V%bl$Oj$GP+iBG%h}dPGOZT zUbk(iDL*zQ6*P5Uu z;YZMdi27@RrcTon-+YdQI3GvCR(;Ab4=ow?ZC&lLE~?eUx=jqM?CS@EiaNhYnC%a3 zbZH=LZBN2ek~|#Vp;-+`A$!iHS)Cm@^AWB)sFB6F0=Aj2sfE;LTSu@Bt#eIlMS{|> z2NG;6K_#8k!^SU%Nsdvku2K-T9Ef_E$X{8sv_e)Vy`H<=B6d-lYmr#mh5=4|YIhWg zNfe@1<{CxPW!h361f~Viz&-6bWE)u|WxSaw7i!UU$Tt7XS!QczPlG_s-y~vLrkU0` z)JVY``Zquy?vg|27IY4!p$3VjqCvZKus)eCD0=Fa@ux$?nNB3@-jp#bBrAQnq2IC~ zam#n*kWaK>j+USY%p1WZY`8qs4n`|?PIb^pub8`QlbJuo4<@3YIFbo?9S33CVg8oS z@ilo-3W0KOa{g5ZbM0?VljDyYz6{IVBRCPqg{sZZ0RjK5&0LN5ou9P}^H50ea zsD>Zm#1&^=UH~=Nk)mv{F>gW8#dSJ|U_6oKVycPms)GSiJ5ztY@?#(zBLzq|%S?aP zDZfGkJH==v=dI!rgKWn`ZMtqnQ(rqSm(~c|{*LX?-F10GF1f?tQtPBrV(N!q0kV>{ zwi*(54M7Pg8J3RyAV60WkYJ>}^{wnrmc{TNHd@(kS!CHRqpHHQlWiGrEvnffZ#gA(!6Gd?G->}#nJ5Tv7xe`Mk@O;*X#+#Pm@V=bpp?e2Y5)6cu%DI4jeOXHswh5 zlT+x`Ny-xZGS6VvS~kZ~c&^HDT_8=Z!g`VxKD6a`xG>~mCl zUl#}ynD*G}@@u{oW;Gy*p8iSs8|*RMZ)$}9pjeV(KBfPXTV?-tkZMnCyb#)bUXYyc zF;L?BR>Djg;8EjoZOXy>bv%uiY;#Q$p*m;MyI&M!>B?`%&`OPJIr*&X(`o#zV>+gC za_=vizqIW5XVZq)7l$T_%T3T_7pP0%yF?;|;PL$_FHVKMPp2ARoB+LUDfHT@Dsh`$ z)l_qRmDp&_?C`o&ZZ4YeIZ2n}J*0MV-n^)bH{ZE}<}z)*Z{h%c!Ie3EtMbUnOp}rh z9o2Vy+SF!Xc|}xv3`>nc$NE}pVIbxX#|47WqJ z&<^*@+uhDV`w~2{@2pracE7SU<0i-IFz1NnYKW$VL3wE4=E&&H_1Fh>=XoC=XlLmW2sW)9c&z zcE4WOk04ac$pGQk;BJr)EPu-!kwvy+tA+|+YWYYt132R;>=NYjdFfHbz+;Vx!jJng zf&amqH21I>i?hhLSXKOXq4X-;?XzIx+;0b-vQ#)e>aJeicgT3+%2>B)z9jbZ?D*_R z|9h55RY`SY#&c})I8%f?VC#Af&bSDh&i!~gbOLTHokFQ3EP+@(!*4oWwXs6ptBT(< zH%gQYg!+rvNn#8qZV)X}w3({)O@!{YKg}mHT+>*(8eC@?D&-z5Vo1Olw?75i9dkM- zz1P#_$vParywnN2tOy%2X{!!Xxwa}xoC)k>f-2}g_qPYvENgTn9ptESnFBvb9trw-ttE)@x=a5qKI3woD-C!NW^I#b-7W6ggbp?K;3lP)PiQEqh z3y8zvL@yM@x?Ax?<5xnGDL58fqjUEX)N98k=m5HsrW`cr=7F?NZraUb_I65-Vu2*Q zt6=jKVt8pKbah-c!R*&V)`?y%z)NbzALPU<#BOM|8aRN_Lj^giyyY+^VF+}793bm6 zM)I_lW*;9=@T==0o5V*ghC8wF)3dASyNhi)VYy3(~W%Y!d{#VST#J5!L*s0 zt6?o2aNAZz<4LEnO@$2cblN-)KoabV2{3_9^Ckdb zr>%Vju!0G20mjg2gv0;#GuoHxc@_ah8F|#Z~)|?)2R9X zQI&Z9LmmG5Zw0lC0C{i-|9_~qq5v%L>Q_JlbQ+b!ziItN0Yy-0Yf}GE9tl7pRNAZD zzZbcX0-*kDCxhSR0G!aMZ2#Mc<=|lZZzDF%QW1a#!rhY1qf-{J&iFI+eBPmtIw)o^ z-aMl}Iy0s)ZwTT@HcOyLTPcn@3zN&)=@6Vo=KB+hnQ-vy&`Sz=8rhN{h?a{9OUf+y zN}d2wDV4xpM3G&raf0qmG@XVZO^{M7Ab2dAP7;@0+ECRzx)55{7{${_%yM;~04LB= zH6fY-hkL{*4Xydw#eVGhHa^rRt!wn!hr4r1d= z@`rJzkT(xKj#ew?Nc?x+i2s4A%sY+HRTmwVweuy6M*;7OhD?L)H{YQhL>%Nd>ga<| z+t5TJ1CeN|AC!>g#qn`sSNvGPP{fFsh3Y-uK&Y%b%;CwuAOHmQr{h7jHo04P* z$ZNHXGXD3|ef&(sMyg_&up&?rJ>->YSHciQoMyo(^CAL2&=`>mrenr9oe>;o zfbuIgzvPhsP|A7Qy#Ig zYh-iv!Nh$5D1p(vHX+6`Tg*he=$yZ;K%(IXY54>*@;#8J;kE7k8KO<4_DEvbn#0RY zM&DqY$jJ!pAdU6=DpcqOqX~c}*YA%}g#8?^q#bPOf@(-~O0M z*Tijg``+&fD^0UxD5zk)+_h*MvR1C#I=9#C3OtYRD`Jop&;kPS1be|{Bx9j_B z%D{CB&jp+_8=U^$Bi=j&8ls-MprE<;AK~KLo-WTPPd9tvdqpiGzyIslpS~uN8VRW(cW$|ZBrWL@9Fz;^NwU`NF@TpEV=K1 zZXt~Rf=)ISXK1MB;|-IqN*3rI_`L0(*9Y1AXh-V;Ku;qDeLP*FQHE2&5ue-tHA26L zHL_y`@C(BP?-}}eySNL9%^(2SmBiv5aMIV&p!i^dlg5>%LEeAuPP1u2mB@7q1YgoA;S*!T88QnNu6C1>9EEXi0#|UNo&V9n0z@or|-fp9`wT z7qp_w|4P*wMYX<^EEx}zM96XhA|7MSof7Kkyvi#&3<9mfCe9v6YU{E>T)yk=9cEI?_s zsD5SD;1!UygLsdE&f|2~pDUsd-2Scijl(5Jq`6#C0w2#+T1v0a^El%t&ZGB+T=6a3 z;QK8~g3EUFuFsz^S!mA2FP5L=&-S8E{vyb(5g!)m2tsdPXQ+#wAIQW|MB!GcPEHcu zE!}7iuGB$6ERrDa3k?wEsQRZ{O4)}gg<3IM^@$;)pi9tkZ|h;d8nV&?<=ngfq&!Ra z*KqQnBq24=hba`&kJO-#GiG^rxPab)Zi~qdqE;~UNDK6f-ZF$9@|x0d-M{Y{UwyX9 z6})Ve>#^di%l`LuCl1kbfqjhEiE~4=jkfaHITC{vPhQZ@iaBVw5p-{GUueBhb*)Z3 z@`hm$#^KS&_QdBnzV&xH??T&RG6Go02V}Pv+H~Jc2Fc4#W<`t=+-JuuiZggkWC-fS z_4_#3niQ4ACuy0<#SzhSx0~>N)fO8`6YW#7d#pxUu8qs!K2~`$makBUH zh{9#p?Vt)Jxu5S>$rC~HlFAJf(GIU<44N=pIHIS?O?PqyCe#UPvQ$bh1vxcZ2F?XK zhfao_P01LxKn&Ko0T))RZsa+}pqrmT)8dNe=$r&|w$d19Uw}9vXUVJ=IFbXAeI*4y za&86%86+y{d>9aOam*V@d4%IM^Ws$Q1`-9d}B5r)k{TfI8ol0+b^%cv1+=b(lN z&+?=&#B27&hV*q?qQ8U54e727=-D{oo<(!`%&rUwlWL0tYh0Yowj=6f6nkB8XIeC7 z4Cwjv7meUo?F$v@4(AwBQfN0j5@&|*7ir_3RoTNchgg?#ij`_Rt z=b??l-7r10Msf4!+m6_J&A@PneKCzvHthU)PK?6|CPrq^yhzTZ>DFA8#Q6i8!r_Y1 z!@8#_U+N@hvL(mL9zAzZ2?kSAa2#!eTM=l3w2Gvm!Do7^cLgF_>cP$g34Cu#>5$RU z(0it^x}2ANcy2erj+X1ei0;sUlx>r5eK$qJ>f$I~XU&7Mx{_snfzd}vJHlx;yfthY z@6FyJp4R?I#G)2I)QfVl5}Q*C*#U|k=^$Wow`=DaEDm-oxy<3IC`r?wbys3vMFSsJS)xybX3wad5q~H ziqs(vU=H%5Gh%0oREkcBRl*J0<#gsIbqhiIQ%pjNV_RF~<6B?6j$=_yGLZ#PO!{JZ zniN%T#b3XjB(2=2zsNKKcnkg+&`SWtEIT&zECm`C7affYFwcZaRJeGbS*d8+85yH! z8W0&INFeE?i~~o2KzN8Ch=hAbhDEp7emk7?c25t1*$G=U?r)VZrYF;g8g3!dh}@2H zV=0&{=3W1(U?=@?Giv8c0Ya7khQl@)U~Mi2WUK0rJtP_wh2&+cGH)RS-OMvULb%*4 zl|azl;S$m774nuM!56z}LC7RW@V!;9 zBB7I_q4oebTWE67>)GBw#qS%Z)h(A}52Wszh`sbb#0s?zVaV*_*=AjNq#@})uttS=m;#I>BQMw4^cd+`RS^$Hnj;Xv_+q5#=PCY z^s8IVmJ+h(*+e7gp1JvzFN?aIrRo01D?$CYQO%ZWtUky zZiN`~tK-z_!$)T?kVhO-#jhuqd4nzRfqRs|Bn(91ui?tQyqc)ya!1GV<_?BMTe?K& zy|nvF4J3ko4M(r}#&IsdT0xNB+F>&@xBm@pKK}4wae0)t299lB*+5am*>&^j1xfYH zO0gCz@aXK&rE?v$na1e4&$7V@a^IN5@%~X(p2=l)1z&mSl^nxIwZ)_;KELS@`I4_? zin$uGXa|FU*hKB!C$QMylq|H?5C+;TUEIAYod2ZTQWQ~QL91^0wk}YW{jM+ zRM=)#xV5gZ2t#Ys7W-*KkFW$*N@ zar12WdgFgADZCJtR8^ER>xLNPxbBqFD*7gZlFm?j0no={yU}=r8g@4d75?q)PBc+p7DF zf2Y`SDHO;ei4e`fP+Ym+l&~WNfFVgR&QXg>_JV{Dms;1;lcP#i9MG?QQYuwIgGgLM zM}~-iQN-i1Ptl1wTcF8i^?SondQJpS<8sz zN6(=mmkWlD7&+ZaOTO2(_VK+$FOzVo#QY8$-~>HI7+YZ`dt(v~itr&_A(?lWzY@O5 z00oPC(PDQDgDnZ)4%yg?d#6zgDKg%EZTK)jO(=12eiNtc+|$bWQyv^$ejfW>1?NID zzmQ?Qx=%u*#n3!wz|sZf?;Hd@u9z$)O1ZLRA;bCi(E^5ZErJTZhG%|DTq7ga{|0Yv}TJ<$i85%40i zN?AL*xRP=5aQyE{ik*!O_}?onDcWnXlwb_s+?wq|oSs6O3QuTUB$$;jm<&N))J1-_u%+)vjb6?%L&pMRM&U^#sZK17AS3%O<>gfFR+lle`sGnp}g~ z_jU{V8@wh>w>h%6?{LF?R&&L)#{(+CG37Enoi_{XiIN$uzovlwd}uJ|7CU!D43IG*yS@ z(;`T}IlhHrcCR#eIC@YElj~sE2xdXLl9id9QA)x1dgCa_#coW^ozMIS2H8=srap_k z5P}-Z>{jPb5AgfZg$u~_^ZE3|lfT3FW4U{?erZzzT3+iJH9QnWwL7gM8!p#r0> zhB}yu%yi|^CQ;!H`_H=14q<)r4x*>|jn_w8b_6x}c}D2^5D}2H<(YrU`UqlHDkb=PA!?=SR3QaeB^+C#8Rr+O&0dPYsWBcSq&>3UlayE1d}yi`*L zda0_Vm<)>-mY6erI(p)_GXgukw7o^x#aBfOmek1A0-a8j(OR2om0rPG#yzN7BU2bV zeX~7Vq^4%<@0pmYdZWSdyEaPU*h^MoGENFSRDtKt+sqMK6kM4Gb)U9C zayz36WLPud)o>Ul?Prwm?}YX36s(S^{hEWYFamC7UeO}UVwmw(dEKzFec`kz^x zhBh$Je$rfR`5jYufMIRQ!6)Q*{~I#M0_DR z6W0r9R6<1990~GWoe2hc?$jna3Ni5CidW5n=BD~hNLmcN5@z#eqzWU@ax}qF_0#`M zwIOp{%!%`IdE0typIu7tdi5*c@)#DGqZmOvaSBv86X2PpVvU(q>95aOz>GtCS?vKv z#qV?ivA(EZWY{4lhwy7{*hsz2EN=P)_Mp^42S9~PCV8d)f(si46YH6g70+KgV&uOC z+2YOd&HQ6+wa-xyg_E zVzNj}K$Kt9!N4do<4856>I%*rnvqi8thsLn=C{AoCK=H~m1vT$1_Y-x!)xW!ywAxa$j4CiFppmBcv6`+LWc-U$;@%@esPu+BJBFeBban zF~6laA7r0GFh*NMK0lJnGEwoT49^-zC@Ns(VrJ{m_)_tAWmdBN z;zR!CG0Nz`l5J-oMj=mRhCh^mj%Zvj90K`#8*lpgV^x^+BUs^E8xM=rpDd8crR<+t zm2TKpq@ncwX&R~gIY$s4WkE?v|BC0OitEaBOrPdurwvg~Pm~&H!gTJDaBpXj$WkyA zY?$@MX};8jlAC5SX4#>EZ%w>xfH4}LBx&k9{q2>88NYA)%+K5-&6CrhTwR34UtR7c z4-zhn7TXmaUVUqC7ca2Ey44^TcuXczJO|23FNc(nYT8VspMuFxa{Jer^Sao!_2YFJDL2R2C6bM}LO$qM%nx53BJ)CR zsjsY4A6=hRomBeb329P`QnN$oFqhM$=I>sz(Vae?eors2^B4D21|Kiux3?!(J~kyg z>j}c3{1iCrpeBr_gvL58hQiVO6Xe>++$B3>UAYP}SSTTPx1bT@P3iM^`rj z_3z61qHeI}Sjh@npAr+}q_&Yb8+kf`HVA|ks{BQ+bZ@<^m-9;Ir%A4Z@#Pd6l7yzJ z2I?Q%w3Vatx4Wv6b&)1GgM_AUK) zDl5|Fq+F%fL)KoMkx!-Th0bwfUl|^Y667m1_8**O7|6?li!fE+h(`@)6V#>0Y>8qB zgzltI7X3O>18m-Rz-gQIpY;NNb8<*8o44fZV@oSzE;k+w9qUifg6L6;chIknuw>pY zQR6NuKCbTLwj2$bKQ|vg&kVbL|AI~oe~ZZudt5e?J`AUoY&iB^hP|JZd6X=HH# zY_H>MCyrriApbyPR)_8rrFJE;5iZo2IiBg?o3-@Gkoe zzyH%6#)1a&u&0e$04PBm`iQJ**52l1K;VChf$wCxKr#+8;6GH=(b4rkC>t3YnJOZy ztb>K)e?s8@4JF8Q1x5LIIm9H`**ST+#DPFAUQuoyaWN@Lc1}@IZV3(`hY;ES9|e^| z=-*WT`!ifx9Sal#h&cV5oq;q#sO8k$0rR zx0^LtpEk&WKv50YKtzTVbn;*kfQq_`wFC}&sic0bQE%XQ5fg)(I>Mj9aM;o)Ie@4n zo<922tpmyAWA^J~mkXb1w6&K*j5YT!Adcze#5`sUm$_C1NNpQAy}9@?mw!;F;d05w zeDSWcRC6%nW8P)~-?Uknbrx||MB3~1`a#WvY9WG;ZGND~!8LBy{UBMx?7N;?x zUHpP#2X!U~M4qfLnd;=B-WqfH5!6zgcABY$Z;GJfDk#|y|gB>uoABJ;>u zr|$!@DPBOeBJ>4qqw_5sQ0*B12wsPFrUk?Wn(mV%f&>)llBFAf;urY&4s4=RiSy>( zPgJc{`?2V!gC!&OlqJ%qg(ah0Ndgk3f!WkcVv02tCew*)k`7tQVkx;P&skYQ8WhtB zNxxCi$H;!WFg#=PrN|z($tiXbl4rp$jmR3NJn^@PUNE$h_hlLdWOdMZ;r22+m!FXB z*ei$PfJ$^^SE*~|9sKo#cM!Fxd1MruwV*vlV-nY-J<--_J>s*NG+@v64@dt}uS1~q zh}%kSF|@xwEntQjvO2x7p1Ni(%Ey-8hmYHcqReE@IVB!g8BhKZ=4DM;Y7?s>RF1_+ z>;7HahjTh`pSPItJj|~Q@9HmhqMHowlCVy3YSWJq@8A~xN-s+FT;Densvzf<2a!f^5YV&#XnbP2uw*O|P$ zK+vc+j!r|PItp?Yi&n#RAWQ!q0yM4EM6mrlm%sKriofJMR8P7!fnKwPix^J}Y%2Z- zIFRO?Qt5P6!@mZTM&1K*@!KQ8+^HxkVGr&MAVY-ts7mWLccL z>biPAM&RlRa1fjXjKI|ia2T8djKI}Na1@*djKI|?a2%Wg*T5}s9oz<2!I(8a{H9)Q z8q9#Re_$4z2N%FaFb6Jy%is#Q0aT_tU;!+FMX(GWfO%`)ct;Of0c+qMkV~py9c+L{ zOd=9_la`c5{eawoyM!7bBb9^J({<%)K^?$#0oMgw7q(dQ$&yaN5dlX891)n=Lz6YX zxuBz(KQLz4K`X}xx*zHX_Z`fW^qlas2?bf$C_udW6*T0`4`~>_6ayAOz<)7 zyj4BWXYB$i1O^G`02T;XAYg%j$N`Z9!iPy~-v5angg3%PK9CvA;iiC_0yYacEZ~EH ze>Va?2pA;bzpx4}S@Yosx|Ob-2dWi*2`ju>17NfWcL7!jSS4VUfK`HAvS!WSf2vz; z@GjSw^6^V3r>u`Z)`7y>lhcL+HJ}#MfqIaG2G9t$fE}P6bbwY+u5JJKitf?`w)3>> zv^v2~up6{lTl<;L>jK@>zJrtR5cYt*f8aRSV{LP*PVNQ!Kp*G_17HyB2SZ>OjDS&a zfZOYx$G|u^2o8b6;0QPhj)9XvtFKc)YpxsMgtcAsdY98c3$HUk%dHupMbrPX=B zf@P-b30wwOz*R60q>Ku-02aY*a0?VH!SwJ);HI^GPNAx{1eU=HSOsg~e=fKO z?t>~=2OHo4cxdg#|8gt83v>e&Y}4AY@9KaB8K?kU;&F+`C0-M*R-i3}4K`~X)n(}6 z8?BxBP$BC3J)GA}3#C0ud!+S9>yg$Ytw&mqv>s_amhxM{HlQ2mY1=`owO`NljM7{$ zzo!-!^;pznQQv9pH`v5;Q$y%8?IcIjxrPg(uHT*)i!crbfdEDgjmB%?Af9H6d<8hA1 zIUeVDoZ~T#$21<(cueCljeiJmqTd7skK|7{w>Ep>ZMAlQip>VDDXaqwuQ|hO&hV9Q z0W3*!mP|Q|r+gb|1}%VLByR;QKXL|&dh)E>Zuhty61g?YgHk_cWe#0X>b-Gw?lY`pblvr^SL`>v+t;qPCv#f zB5raR$>AY~eH`|2IML03bKpGCdIN(v9N`epA(_+PEYdo(jM}iGl93`tRd>~9KUmQL z>4q7cewOujtc3%Pa1tJ+BTC22)_;<883IH~99wMmvv-t3e~O4&5uu{iS7;RJjS(p# zQbeSPND=9ck=_{TjS*2Iojsyar1p`184)GYg(9_&bk2wX5oIF1F(O5zei1z)MU03N zsbr*xagWWOzNt4ws5nX4wd&(jBh`&a7AbL5=@2hcgGj|AGDgZC(K1r|h@cSxBAX#m zwW4!Ibxyi&e`NO~(nI5d&3;wY8!Xz&;CpJ_vX#}()VggefBK$UcWmVYr`D3K{B2pS zWm~iPT&)#b^RJz1t=ihf7PZ!F?bCj>?%KLaty=eN-N?Vyx^L^g+^AO7*8TNUwbpI@ z+LzSYu=T(HgIW)4p8wX^{K~NsP3t9EY>BovOLWeaf7ta=iJr$L`i4pjJ}WWuxf0`z zB@Vw;;`m~TiT{+C`ca9Qg%Y!MCFX{-H=^~Q_TjWN=mFY#xdyI-8{j5b0E^%j&~}mb zhnB!HSOMBQTm#xMya(=sDp&^_KznoAjMKKwCMYGVDa!X-qo>pqjKxI;*qAB!l`h!c zDe3@gf1iTgvZ4WO0SshC6JV>ZU}aRW8CUT4RIoEqus>O_AzAPrRkVW+&odZpbM77#TXa|?0pr7Y`*;c x@}nQMng0W)FbKN}Wo~41baG{3Z3<;>WN%_>mx^)-3=A|mF*7*|B_%~qMhbhEK5hU2 diff --git a/zaver.tex b/zaver.tex index afa257d..eedc409 100644 --- a/zaver.tex +++ b/zaver.tex @@ -1,4 +1,14 @@ \chapter*{Závěr} \addcontentsline{toc}{chapter}{Závěr} -\todo[inline]{co bylo cílem práce, jakým způsobem bylo k~plnění cíle přistoupeno a jak podařilo cíle naplnit} +Cílem práce bylo analyzovat a zhodnotit generátory statických webových stránek a jimi využívaných značkovacích jazyků. Součástí bylo také vytvoření modelové implementace, její rozšíření, optimalizace a celkové zhodnocení. + +Z~práce plyne, že statické webové stránky jsou bezpečnější a rychlejší, než dynamické webové aplikace. Nehodí se ovšem pro některá specifická paradigmata. Zároveň je práce s~nimi bez pomocných nástrojů složitější hlavně pro uživatele, kteří chtějí do obsahu přispívat a kteří zároveň neumí pracovat s~verzovacími systémy. Na druhou stranu je jejich údržba méně složitá v~roli serverového administrátora. + +K~určení nejběžnějších webových paradigmat bylo přistoupeno analýzou nejběžněji vyskytujících-se typů webových stránek. Pro každé paradigmata byly vybrány statické generátory, které jsou ke generování daného typu stránek nejvhodnější, nebo bylo určeno, že dané paradigma není pro statické generátory vhodné. + +Na základě obecných a specificky zadaných požadavků byla sestavena taxonomie požadavků pro modelový web, podle kterého byl modelový systém úspěšně vytvořen. Do systému byla dle požadavků implementována i vlastní rozšíření s~cílem nahradit chybějící funkcionalitu vybraného generátoru. Systém se podařilo ze značné části optimalizovat, přičemž byly vytvořeny návrhy na další možnou optimalizaci. + +Vyhodnocení modelové implementace popisuje možná vylepšení systému a jeho nedostatky, z~nichž nejzásadnější je složitý systém úprav obsahu a nutná znalost značkovacího jazyka Markdown, specifických rozšíření a verzovacího systému Git. + +Práce dokazuje, že při vhodné kombinaci značkovacího jazyka, generátoru, verzovacího systému, skriptů pro automatizaci a pomocných nástrojů je možné vytvořit bezpečný a rychlý systém pro generování statických webových stránek. S~rapidním vývojem softwaru v~této oblasti může být situace v~budoucnu velmi odlišná.