iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jmc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]v 9[6_a pc h ] _a^;...

21

Upload: others

Post on 25-Mar-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� ��������� � ������������������ ��������������� � ��!"�#����$&%�� ��!�'��()�)����� ���*�+��, ���-��% .

/1032465798 0;:=<>:@?BADCFEHG 4�IKJ < JML :=NPO�QRA�/�:=S T 4 :UG J NPO LV57 <W?

XZY\[6]3^`_a^`bB^dcFegfPh+i j6c�fPhkc�^`_mlRnporqsfptvuMbB^`c�hVwxl�_mc�[6l�czyn{[6|�}~c�u�n{h�^`t�c�[P^Vf{e���u6u6om_mc�|)��n�^dj6c�tvn�^d_�l�]��� n{l�b6oa^\�-f{e���n�^`jMc�tvn�^`_ml�]�n{[6|���j��x]�_ml�]��

qsj6nph�omc�]V�9[6_a�Pc�h�]�_a^;�P����hdn{�PbMc{�=qs��c�l�j&��c�u6b6�6om_ml�z���{�x�����>���z�B�M�B ¢¡P£6�¢¤ ¥g¤6�H�s¥�¦¨§H�©��¥�¦��ª ��n�^dc�tvn�^`_ml`j6c�]�«H_�_ � np«Hb6oa^`c�^¬�wH�x«�^;�­�x«¢nphFwH^`n�^`c®�9[6_a�Pc�h�]�_a^\�p�

wH�x«�^;�H�B«¢nph��©��b6]�]�_�n¯ �­�H��°6�B¦¨�M¡�±H±¨§+¥W£U�¨¤1��¥d¦P�z¤

²´³=µ`¶�·�¸­¹¬¶º¼»F½­¾\¿�À¨»FÁ3­Ã�Á Á�ÂP»´Ä�Å3ÆBÇÉÈ�Ê\Ë3Ì¢Í@ÎBÏHÌ¢ÐmÑ@Ò)½H¾3¿¨ÓxÔÕ»�Ö ×ÙØ+ÚsÛ�ÜÞÝd¿¢Ö~½BÔÕ»�Á;»Fßm¿¨¾

à ¾kÃ�½BÂHØῬßUÁ;¾3»`»�âD×Ùã�Á3ÂäÁÞâ�¿HåpÁ3Â{æHØ�èãHãH×aç à ÃVç­Ã�Á�æP¾kèÔxèçHãäâ�»èÔaÔxØ>Á�æHã­×Õ»�ã~½­¾\¿¨ÓHÜÔÕ»�Ö Á;¿éÁ�ÂP»�Ø3Â�¿¨¾\Á�ÔÙ×ÙØ;Á´¿¬ßZ½H¾3¿¨ÓxÔÕ»�֮شâDÂP¿¢Ø;»�Ý�¿¢ÖF½xæ�Á3ÃRÁ3×ê¿zç­Ã¨Ô�Ý�¿¢ÖF½xÔê»dë�×êÁÞìØ;»`½BÃR¾�ÃRÁ\»èØ�Á;¾3»�»`âD×aãPÁ�Â�¿¢ç�»+ß�¾3¿zÖíÁ\¾\»�»�âD×ÙãPÁ�ÂÁÞâ�¿Hîrº¼» ½H¾3¿�À¬»VØ3×aÖä×ÙÔaÃR¾r¾3»èØ3æ­ÔÕÁ�Øßm¿¨¾�¿¨Á3Â�»`¾ïÀ¬Ã�¾k×aìç�Á3Ø�¿¬ß�Á3Â�» ã­×ÙØ;Á3èç­Ý�»+Ýd¿zç­Ø;Á;¾kè×Ùç�»èã à ¾kÃR½xÂ�ÔaÃ�Ó6»�ÔÙ×aç à ½­¾3¿¬ÓBÔÕ»�Ö î

ð ñáò-ó�ôïõ�öø÷øù+ó�ú�õvò

i+j6c [6f�^`_mfP[�f�e=|6_m]�^`np[6l�c+l�fP[6]3^`hdn{_�[Mc�|û�phdn{u6j oÉn{�@c�o�_m[6�Zn¢^�^`h�npl�^`c�|ûn~omf{^�f{e©n¢^�^`c�[�^`_mfP[_m[)^`j6c#u6np]�^F�PcRn{h�]ä�@f{^`jKegfPhF_a^`]Zt�f{^`_a�{n�^d_�fp[)�P�K^dj6c#uMhdnpl�^d_�lRn{oregh�c�üHb6c�[6l���np]k]�_m�P[xýt�c�[P^su6h�fP�Mo�c�t��Hn{[6|�egfphþ_ÿ^d]D_m[�^dc�h�c�]�^d_�[6�®�Phdn{u6j�^dj6c�fph�c�^`_ml9u6hkfPu@c�h�^d_�c�]��ïi+j6cV^�np]k«ûf�e

������������ ������������������������ ���"!$#%�&���(')�� *��+-,/.10324+-065�7(518 91:<;=21>@?BAC91:<;D2E0F:<2GAC�IH�J�$#K�>L�K�����J�*M�������N���O91�P�� Q���J���R;DS�����JT�M���P U�

V ?K�&�����(������� !$# �����W;O�����P�<����# ��XZY[�$� UM������� ��X\����� >L]U�� �� ���J���&!�^��P _��`�����(')�� *�a ;Db�b�7 aUc 7�b�d(b�d�e

f

Page 2: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

n{]�]�_m�p[6_�[M�-egh�c�üHb6c�[Ml�_�c�]®^`f-^`hdn{[6]�t�_a^�^`c�hk]Z^`f�n¬�Pfp_�|�b6[6|Mc�]�_mh�c�|�_�[P^`c�h�egc�hkc�[6l�c�f{e+]k_��¢ý[6npom]~_m]~t�fx|Mc�o�c�|K_m[K]kc��Pc�hdnpo�� nR�B]���i j6c#]kf�lRn{o�omc�|����������� ����������������������� �! "���n{]�]�bMt�c�]û^`j�n¢^ n�t�_m[6_mt�b6t n{o�omf#� c�| |6_%$©c�h�c�[6l�c�f{e~l�j6np[6[6c�o�]�_m]#�p_ÿ�Pc�[ egfPhûc��Pc�h��^&�sf ^`hdn{[6]�t�_a^�^dc�h�]B��i jHb6]�^`jMcF_�[Mu6bB^ f{eá^dj6_m]+u6hkfP�6omc�t _m] n'� c�_m�PjP^`c�|��phdn{u6j(��j6fP]kc�Pc�h3^`_ml�c�]þl�fPhkh�c�]�u@fp[6|û^`fZ^`jMc ^`hdn{[6]�t�_a^�^`c�hk]��Hnp[M| ^`j6cs^�np]k«�_m]�^df�n{]�]�_m�P[ [6fp[6[6c��Pn�^d_ÿ�Pc_m[P^`c��Pc�h�]*) l�j�n{[6[6c�om]�+�^`f~^`j6cs�Pc�h�^`_ml�c�]�]�fF^dj�n�^ïegfPh�c��Pc�h��#c�|6�pc{��^`jMcV|M_�$©c�hkc�[6l�c�f{eU^`j6cn{]�]�_m�p[6c�|&l�j�n{[6[6c�om]~_m]Zn�^~omcRn{]�^9^`jMc,� c�_��pj�^~f�e�^`j6c´c�|6�Pc��1np[6|&]kf-^`j6n�^�^`jMc´o�nphk�Pc�]�^l`j�n{[6[6c�oáb6]kc�|�_�]�t�_m[6_mtv_m��c�|F���[6f�^`j6c�h#npu6uMh�f�n{l�j1�Dnp[6| ^`j6_m] fP[6c(� c¼egfpo�omf#� _�[ ^`j6c�uMh�c�]�c�[P^ u�npu@c�h��D_m]´^`j6c

- �"���.������/���0�1���2�3��4�5� - ��6�7��8 ��9�7�� :�4�;��� <9c�hkcK_a^-_�]¼n{]�]�b6t�c�| ^dj�n�^-^dj6c&|6_m]�^�n{[6l�cf�e~^dhdnp[M]�t�_ÿ^k^`c�h�]�lRn{[ �@c)t�fx|6c�omc�| �P�"n'�phdnpuMj1� n{[6| ^dj�n�^�^dj6c)|6_m]�^`np[6l�c�f{eZ^`j6c^dhdnp[M]�t�_a^�^`c�h�]û_m[1=Ub6c�[Ml�c�]-u@fP]�]k_��Mo�c�_m[P^`c�h�egc�h�c�[6l�c)_m[ ]�b6l`j n/� n¬� ^`j6n�^�^`jMc)l�omfP]�c�h^&�sfv^`hdn{[6]�t�_a^�^`c�hk]9n{h�c{��^dj6c®eWn{h�^`jMc�h�npu6nph�^�^`jMc�_�h egh�c�ü­bMc�[6l�_mc�]�t�b6]3^F�@c�� � fPh�tvn{omoÿ�P�n{[ n{]�]�_m�P[Mt�c�[�^-f{e®[6fp[6[6c��Pn�^d_ÿ�Pc&_m[�^`c��Pc�h�]v^df ^dj6c��Pc�h�^`_ml�c�]-f�e�n �phdnpuMj?> _m]-np[@ )BA y7CED#DED!C AGFH+>ý;o�np�@c�om_�[M�ø_ae�eÞfph�c��Pc�h�� ^&� f'�Pc�h�^`_ml�c�]¼n¢^-|M_�]3^�np[Ml�c&n�^ t�fp]�^JILK M@�^dj6c�|6_%$©c�h�c�[6l�cvf{e ^`jMcv_m[P^`c��pc�h�]N)go�np�@c�om]�+Znp]k]�_m�P[6c�|'^`f�^`j6c�t _m]�n¢^´o�cRn{]�^*APO*�Q<9c�h�cMNR f _m]�^dj6c�|6c�uB^`j�^`fS�Vj6_ml�jû^`jMc |6_m]�^�n{[6l�c l�fp[6]�^`h�np_m[�^d]�nph�c npu6uMo�_mc�|1��n{[6|#_m[P^`c��pc�h�]A y R AGTUR D#DED R A F n{h�cKu�nph�npt�c�^`c�hk]�f�e�^`j6cKu6h�fp�6omc�t � ����n{_�[©� ^`jMcé�Pf�n{o�_�]^df t�_m[6_mt�_���c¼^`j6c&tvnWVB_mt�b6t oÉn{�@c�o9b6]kc�|@� i j6cKtvfp]�^-]�^`b6|M_�c�| f�e®^dj6c&|6_m]�^�n{[6l�cl�fP[6]�^dhdnp_m[6c�| o�n{�@c�o�_m[6�p]�_�]#^`j6cKlRnp]�cXMZY [ C A y Y [ C AGT/Y fp�V_�� c��ÿ�+^`j6c @ )\[ C f�+7] ��9���� :�4�;��� Y\[ ^`j6_m] lRnp]�c�np|�^dn{l�c�[�^û��c�h�^`_ml�c�]�t�b6]3^��@c�np]�]k_��p[6c�| oÉn{�@c�om]^`j�n¢^#|6_�$©c�h�P�én�^Fo�cRn{]�^'[­�_�Vj6_momc�[6fp[�np|H^`n{l�c�[P^®�Pc�h�^d_�l�c�]`�V_a^`j�n�l�fpt�t�fP[K[6c�_m�PjH�@fPh~t´b6]�^®�@cn{]�]�_m�p[6c�|é|6_m]�^`_m[6l�^FoÉn{�@c�om]B�´i+j6c#tvnWVB_mt�b6t o�np�@c�o�b6]�c�| _m]~lRn{omo�c�|)^`j6c��a�P���f�eþ^`j6co�n{�=c�o�_m[6� � i j6c&t�_m[6_mt�b6t ]�u�n{[ f{e�n{[ @ )\[ C f�+>ý\o�n{�@c�o�_m[6�Kf{e�n �Phdn{u6j8> �V_mo�o��@c|Mc�[6f{^dc�|���� @cb T3d y\e )2>'+S�i jMc�[6f�^`_mfP[&f{e @ )\[ C f�+>ý;oÉn{�@c�o�_m[6�f�+n{]~_m[�eWn{l�^hgUh�]3^FuMh�fPu@fp]�c�|K���ø��fP�@c�h�^d]jik[lWm

n{[6|¼tvnp[P�v[6fp[�^dh�_ÿ�x_�npo@h�c�]kb6oa^`]n� c�h�cFuMh�c�]�c�[P^`c�|�_m[¼n�u6_�fp[6c�c�hsu6npu@c�h f{e�oFh�_m�P�p]sn{[6|p c�jqi fWrHm��ts*c�^#bM]#t�c�[�^d_�fp[ ^`jMc�_�h´l�fP[�^�c�l�^db6h�c�^`j�n¢^ @cb T6d y\e )2>'+NK u T )2>'+()v�Vj6c�hkcuL)2>'+�]�^�n{[6|6]�egfph�^`j6c tvn�VM_mt�b6t �Pc�h3^`c7V#|6c��ph�c�c�_m[w>,+���i j6_m]�l�fP[�^�c�l�^`bMh�c�j�np]ï�@c�c�[�Pc�hk_�g�c�|-egfph��pn{h�_mfPb6]��Ph�npu6j¼l�o�np]�]kc�]��B�6bB^ _ÿ^s_m]s]�^`_momo�fPu@c�[ egfPhs�pc�[6c�hdn{o@�Phdn{u6j6]x)4��_ÿ^`j@cb T3d yye )2>'+zK{u|)}>'+ T�~ u|)2>,+�� f~�@c�_m[6�®^`j6c9l�b6h�h�c�[P^ h�c�l�fPhk|�i f#�0m�+S� � h�fPt ^`j6c�l�fpt ýuMbB^�n¢^`_mfP[�n{o�l�fPt�u6omc7VB_ÿ^;�®u@fP_m[P^�f{e6�x_mc��®��oFhk_��p�P]rn{[6| p c�j�uMh�f¬�Pc�|�^dj�n�^�|6c�^dc�h�t�_m[6_m[6�@cb T3d yye )2>'+Z_�]än{[��c��ý\j�n{h�|�u6h�fp�6omc�t��ánp[M|K^`j6_m]®hkc�]�b6oa^`�+n{]�o�n�^`c�hZ]�^`hkc�[6�{^dj6c�[6c�| �P�� _�npo�n�c�^�npo���ik�Hm+�P� ]�j6f#�V_m[6�K^`j�n¢^û|6c�l�_�|6_m[6� @ b T6d yye )2>,+JK M _�]J�c��ý\l�fptvuMo�c�^dc�egfPhcè��c�h3��gPVBc�|�M�R � �woFh�_m�P�p]Fn{[6| p c�j'npom]�f¼l�fP[H^dc�l�^db6h�c�|ø^`j�n¢^®_a^®_�]'�c�Uý;l�fPt�uMo�c�^dc^df l�fpt�u6bB^`c®^`jMc @cb T6d y\e [­bMt��@c�h�f{e�n#^`hkc�c{�©�6bx^Z^dj6_m]��+np]Z]�fpt�c��Vj�n¢^F]kb6h�u6hk_�]k_�[M�Poa�|M_�]ku6h�f¬�Pc�|é���Kn¼|x�B[�n{t�_�lu6hkfP�Ph�npt�t�_m[6��u@fPoa�B[MfPt�_�npo�^d_�t�c´npom�Pfph�_a^`j6t f{esqsj�np[M�n{[6|L�Fb6f�i��0m��

[

Page 3: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

i jMc�l�fPt�t�fP[ûc7VMu@c�l�^`n�^`_mfp[ ]dnR�x]�^`j�n¢^Du6h�fp�6o�c�tv]þ]kfPoa�{np�6omc�_�[�u@fpoÿ�x[6fpt�_Én{ox^d_�t�cegfph^`h�c�c�]#]�jMfPb6om| n{o�]�fK�@c�u@fpoÿ�x[6fpt�_Én{o�oa�K]kfPoa�{np�6omcvegfPh��phdn{u6j6] f{e9�@fPbM[6|6c�| ^`h�c�cèý��_�|x^`j1�p^`j6fpb6�pjû]kfPt�c�^`_mt�c�]�^`j6c+c7Vx^`c�[6]�_mfP[û^`fF�@fpb6[6|6c�|#^dh�c�c��V_m|B^dj#_m]ï[Mf{^þ]�^`hdn{_m�PjP^kýegfph �+n{h�|/) l�eJ��c�� � �ÿ�x^dj6c�lRnp]�c�f�erl`j6h�fptvn�^`_ml�_m[6|6c7V�i [�m�+�� ) � c�_�[xeÞfph�tvn{o�oa��h�c�lRnpomo�^dj�n�^^dj6c^`hkc�c��V_m|B^`jé_m]Fn �phdn{u6jø_m[��{n{h�_�np[P^�^`j�n�^F|6c�]kl�h�_m�=c�]Fj6f#� eÞn{h~_m]V^`j6c �Ph�npu6j)egh�fPt�@c�_m[6�~n9^dh�c�c�� � fph�nVeÞfph�tvnpo­|6c�gU[6_a^`_mfP[®^`jMc+hkcRnp|6c�h�_m]�h�cèeÞc�hkh�c�|´^`f~n~]�b6h��Pc�� i��Wm�fphr^`ffp[6cäf{er^`j6cäfPhk_��p_�[6npo@u�n{u@c�h�],i f!má_m[�^`hkfx|6b6l�_m[6�´^`jM_�]+_�[P�{nph�_�np[P^ _�[¼^dc�h�t�]�f{e�]�f�lRn{o�omc�|�P��7�2�y� _M�]&�2��������� � fphZfpb6hZu6b6h�u@fp]�c�]h�sc fP[6oa��[Mc�c�|K^`j6ceÞn{l�^~^`j6n�^~�Ph�npu6jM]~f�eþ^`h�c�cèý��_�|x^`j�n¢^�t�fP]3^�^&� f´nphkc c7V6n{l�^`oa��^`jMcV�phdn{u6j6]ï^`j6n�^�|Mf�[6f{^þl�fP[P^�n{_�[#n®]�b6�@|B�x_m]�_mfP[#f�e��� n{] n´]kb6�6�phdnpuMj1��np[M|�l�fp[6[6c�l�^dc�|��Ph�npu6j6] f�eá^`h�c�c���_�|x^`j�fp[6c~nph�c�c7VMnpl�^doÿ�v^`h�c�c�]��B+� [6oa���Pc�h��Fegc�� c7VMl�c�ux^`_mfP[6]*^`f+^`jM_�]áhkb6omc�f{e­^`j­bMt��nphkcþ«­[6f#�V[©�Pn{[6|�_m[FeÞn{l�^á�Pc�h��Fegc��uMh�fP�Mo�c�t�] nph�cF«H[6f#�V[�^dfv�@cäj�n{h�|¼egfPh+�Phdn{u6j6]�f{e��@fPb6[6|Mc�|�^`h�c�c��V_m|B^dj@�þ��[�c7VMnpt ýuMo�c_m]��©c�� � �ÿ�@^dj6c�� �������� ���������������� u6h�fp�6omc�t )4��j6_ml�jø_m],�c��ý\j�n{h�|Knpomh�cRn{|B�egfph ^`h�c�c�] iPfW[#m�+ fPh+^`jMc�l�o�fp]�c�oa�¼hkc�oÉn¢^`c�|���� ������!#"%$'&(&(�)*���+!,�-�øu6h�fp�6o�c�t ��j6_ml�jj6np]ï�=c�c�[�h�c�l�c�[P^`oa� ]kj6f#�V[ �c��ý\l�fPt�u6omc�^`cDegfPh��Ph�npu6jM]�f{e@^dh�c�c��V_m|B^`j�^`j6hkc�c i f/.Wm���i j6c[6n�^`bMhdnpo�üHb6c�]�^d_�fp[ f�e1^`j6cVl�fPt�u6omc7VB_ÿ^;�ûf{e @ )\[ C f�+>ý\o�n{�@c�o�_m[6�p]regfPh��Phdn{u6j6]�f{e1�@fPb6[M|6c�|^dh�c�c��V_m|B^dj'j�n{]��@c�c�[ u@fP]kc�| tvnp[P�&^`_mtvc�]änp[6| hkc�tvnp_m[6c�|éfPu@c�[�]�_m[6l�c f1020 �3��i j6ctvn{_�[ h�c�]�bMoÿ^�f{eZfpb6h#u6npu@c�h#]kc�^�^`omc�]#_a^#�P� ]�j6f#�V_m[6�ø^`j�n¢^v|6c�^dc�h�t�_m[6_�[M�&^`jMc @cb T3d y\e[Hb6t��@c�h�f�e��phdn{u6j6]�f{er^`hkc�c��V_m|B^`j�^a�sf�_m]`�c��ý\j�n{h�|@�

3 c�egfPh�c �scegfPh�t´b6o�n�^`cä^dj6ch�c�]�b6oa^�egfPhkt n{omoÿ�P�1�sc�]�u@c�l�_ÿe �)u6h�c�l�_m]�c�oa� �Vj6n�^~u6hkfP�xýomc�t � cv|6cRn{o��V_ÿ^dj@� i jMc |6c�l�_�]k_�fp['u6hkfP�6omc�t ��j6c�^`j6c�h´n��P_a�Pc�[ �Ph�npu6j'np|Mt�_ÿ^`]®np[@ )y[ C fW+>ý;o�np�@c�om_�[M�sf{e5476;� - ]�u6np[lRnp[��@c�|6c�]�l�h�_m�=c�|´_m[���fP[6np|6_mlswxc�l�fp[6| � h�|Mc�h�s�fP�p_�l)W�&w � s +è�rnp[6|é^`j6c�h�c�egfph�c _m]�]kfPoa�pn{�6omc#_m['om_m[6cRnph~^`_mt�c´egfPhn{[��'l�o�np]k]�f{e �Phdn{u6j6]�f�e�@fpb6[6|Mc�|^`h�c�c7�V_�|x^`j��P��n9�Pc�[Mc�h�_ml npom�Pfph�_a^`j6tíf{e=qDfPb6hkl�c�o�omc`ikr#m���i+j­b6] �sc+[6n�^`bMhdnpomoa�n{]�]�bMt�c ^`j�n¢^®^dj6c#]ku�np[ _m]än�u�nph3^®f{es^dj6c#_m[6u6bx^¬�rnp[6|��scvl�fP[6]�_m|6c�h~^`jMc egfPomomfH�V_m[6�uMh�fP�Mo�c�t �

@ )\[ C f�+98:"2��;<!#"=���)> ��@?;�BA���[�_m[P^`c��Pc�hDC�np[M|)n �Phdn{u6jL> �

E ?�����2�\�0�@A�Y\] @ b T6d yye )2>,+cKFC@G

HJI�K=L#M(KON P#QSR ���T�UWV-XZYO[\8:"2��;<!#"=���) ����� �! "��� �"���c� ]6���0�h�� "���&�^]E�0�f��6�7��9� �_]�2�3���a`�� - �4� ��c���H��� �b`n�2cwxf eÞnphJ�scéj�nR��c�fP[Moÿ�"|6_m]�l�bM]�]�c�| ^`jMc�t�f­|6c�o�_�[8�Vj6_ml�j _�[P^`c�h�egc�hkc�[6l�céf{e®^`j6c

eghkc�ü­b6c�[Ml�_�c�]J)gfphFl�j�n{[6[6c�om]�+Z|6c�l�hkcRnp]�c�]�o�_m[6cRn{h�oa� �V_a^`j&^dj6c�_mhF_�[Ml�h�cRn{]�_m[6��|M_�$©c�hkc�[6l�c��Y ^D_m]���j6f#� c��Pc�h��6u6o�npb6]k_��6omcD^`f�l�fp[6]�_m|6c�h�n{o�]kf®]�bMl�j-t�fx|6c�om]ï_�[f�Vj6_ml�j#eÞhkc�ü­bMc�[6l�_mc�]þeÞnph

Page 4: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

n{u�n{h�^ZtvnR��_m[P^`c�h�egc�h�cN)gc � � �ÿ�@_aeïfP[Mc´_m]�n�t�b6oa^`_mu6omcFf{e�^`jMc´f�^`j6c�h�fp[6cH+���i j6_m]�t�cRnp[6]t�fph�c-l�fpt�u6o�_mlRn¢^`c�| t�c�^`h�_ml�]�_m[ ^`jMc-egh�c�üHb6c�[Ml�� ]�u�n{l�c�� � l�fP[Ml�h�c�^`c�]3^`c�u _m[ ^dj6_�]|M_�hkc�l�^`_mfP[ _m]®^`j6cvl��Bl�om_ml t�c�^`hk_�lv_m[�^`hkfx|6b6l�c�| �P�'�{np[ <9c�bB�Pc�o c�^#n{o��cik[ �0m��)Y;[ ^dj6_�]t�c�^dh�_ml{��^`j6c¼�phdnpu6j f�e9^`jMc�l`j�np[6[Mc�o ]�u�n{l�c�_m]´^`j6c¼l��Bl�omc¼f{e�o�c�[M�{^`j C�� wx_mt�_�o�nphkoÿ�^df�^`jMc-o�_m[6cRn{h®lRn{]�c{� �scv^�n{o�«ønp�@fPbx^ � )\[ C fW+ ý\o�np�@c�om_m[6�P]~np[6| |6c�[Mf{^`c-�P� � b T3d y\e )2>'+^dj6cFt�_m[6_�t´b6t ]�u�n{[�f{e�n � )\[ C fW+>ý;oÉn{�@c�om_�[6�äf{e > )g[6f�^`c�^dj�n�^�_�[v^dj6cFl��Bl�om_mlFt�c�^`h�_ml{�^dj6cä]�u�np[�_m] ^`jMcF[­b6t´�@c�hVf�e�n¬�{n{_�o�np�Mo�c�l`j�np[6[Mc�o�]��U[Mf{^�^`j6cä|6_%$©c�h�c�[6l�cä�@c�^&� c�c�[�^`j6co�n{h��Pc�]3^�np[6| ]�tvn{o�omc�]�^fP[6cH+S� � fPh®�Pc�[6c�h�npos�phdnpuMj6]���|6c�l�_m|6_m[6�)_ae � b T6d y\e )}>'+wK C _�]�n�Uý;l�fPt�u6omc�^`c�eÞfphFc��Pc�h��/gPVBc�| C�R � i�00m�� � fph C u6nph�^®f�eD^dj6c#_m[6u6bx^�np[6|é�phdnpuMj6]f�e �=fpb6[6|Mc�| ^dh�c�c��V_m|B^`j©� � cvegb6omoa�øl�j�n{hdnpl�^dc�h�_m��c�^dj6c l�fpt�u6omc7VM_a^;�éf�e ^`j6c � UWV-XZYO[\8"2��;�!," ��) u6h�fp�6omc�t )4�Vj6_ml�j©�U�p_ÿ�Pc�[)nû�Ph�npu6j|> np[6|�n{[�_m[P^`c��Pc�hDC)np]9_m[6u6bx^¬��np]k«­]_ae � b T3d yye )2>'+zKFC�+��� M L�� L���� L�� �-Q���� P�������� ����� �7�|�/�2������` �4�4����` "�������,�0�5�L� - � ���,�� - A R �5�0��5�&�9��2��!�`�4��&�&� ����� c R ����

� b#" d%$ e )��S+ Y& u|)'�`+ ~ [7A �( ` ������*uL)��S+x�"� �4�� ��� 6 ��� ?;� - �.������'�_]'�)!���7�&�\6N�4�*� cHJI�K=L#M(KON +<Q R ��� UWV-XZYO[\8:"2��;<!#"=���){����� �! "��� �"� �c� ]3���0� �� "���&� ]#�0�,��3�7��9�N�_]�2�3���a`�� - �4� ��c���H��� �b`n�2c� _�npo�n np[M|q�äh�n�^`f­l�j��-,. oJi�0�m�|6c�gU[Mc�|í^`j6cé[Mf{^`_mfp[ f{e�/t)\[ C fW+ ý\o�np�@c�om_m[6� np]-^`j6cbx^`t�fP]3^Z�Pc�[Mc�hdnpom_m�Rn�^d_�fp[�_m[�^dj6clRnp]�c �Vj6c�[)^`j6ct�c�^`h�_ml�f�e�^`jMc´l`j�np[M[6c�o�]�u6npl�c�lRn{[

�@cä|6c�]kl�h�_m�=c�|)����n#�Ph�npu6j0/ ��np[M|)]�j6f#�sc�|�^`j�n¢^1/t)\[ C fW+ ý\o�np�@c�om_m[6�P]�f{eïn��phdn{u6j|>n{h�cZc7V6n{l�^`oa�¼omfxlRn{o�oa�û_m[�^�c�l�^`_a�Pc~jMfPt�fPt�fph�u6j6_m]�t�]�egh�fPt > _m[�^df^`j6cFl�fpt�u6omc�t�c�[�^+f�e/ �)i+j6c-l�fPt�uMo�c7VB_a^\�'f�e ^`j6c32 UWV-XZYO[\8:"2��;<!#"=���)íu6h�fp�6omc�t eÞfph]�fPt�cvu�nph�npt�c�^`c�h�phdn{u6j6]4/ ^`j6c�[ egfpo�omf#�V]�eghkfPt i�.Wm �9�6bB^¼^`jMcKl�fpt�u6omc�^`c&l�j6nphdn{l�^`c�h�_m�Rn¢^`_mfP[ _m]-[6f{^cè��c�[&_m[�]�_m�PjP^$� � [�^dj6c�f{^dj6c�h9j�n{[6|1�U_ÿe�> j�np]V�@fPb6[M|6c�|�^`hkc�c��V_m|B^`j1�U^`jMc52 UWV-XZYO[\8"2��;�!," ��) uMh�fP�6omc�t _m] ]�fpoÿ�{np�Mo�c�_m[�u@fPoa�x[6fPt�_�npo6^`_mt�c~]�_m[6l�cZegfph n'gPVMc�|��phdnpuMj�/ �^dj6cäc7VM_m]�^`c�[Ml�c�f{e�n{[6/t)\[ C f�+>ý;oÉn{�@c�o�_m[6�äf{e�> lRnp[��@c®c7VBu6hkc�]�]�c�|&_m[)�&w � sR�Y ^ hkc�tvnp_m[6]®^`f)]3^`b6|B� ^dj6c�lRn{]�c��Vj6c�[ �@f�^`jt> np[M|7/ nph�cvu�nph3^ f�e+^dj6c-_m[6u6bB^n{[6| �sc9h�c�egc�h�^`f®_a^sn{]ï^`j6c UWV-XZYO[\8:T ��;�!," ���)éu6h�fp�6omc�t � � �M]�c�h��PcV^`j�n¢^þ^`j6cDT�UWV-XZYO[\8"2��;�!," ��) u6h�fp�6omc�t _m]�^`jMcFh�c�]�^dh�_ml�^`_mfP[-f�e UWV-XbYO[\8 T ��;<!#"=���)�^df _�[6uMbB^`] ]�b6l`j�^dj�n�^/ _m]än�u�n¢^`j@� <9c�[6l�c�_a^ZeÞfpo�omf#�V]�egh�fpt i+j6c�fPhkc�t f ^`j6n�^SUWV XZYO[\8 " ��;�!," ��) _�]j�n�Uýl�fPt�u6omc�^`c�egfphs�Ph�npu6j6]Df{e�^`h�c�c��V_m|B^dj-^&� f � <9f#� c��Pc�h��U_m[v^`j6_m]st�fP]3^ �pc�[6c�hdn{o©]kc�^�^`_m[6�M��sc+nph�c+np�Mo�c�^df~u6hkf¨�Pc |M_�l`j6f{^dfPt��c��Pc�[j��_ÿ^dj�h�c�]�u@c�lè^�^`fZu�n�^dj9�V_m|B^dj|)ÉeÞfph�|6c�g�[6_a^`_mfP[f�e�u6n�^`j �V_m|B^`jK]�c�c ik[ f{� [ [­�-��m � ^�b6]�^®hkc�lRnpomo*^`j�n¢^äl�fp[6[6c�l�^`c�|'�phdnpu6jM]~f�e�u�n¢^`j �V_�|x^`jfp[6c®nph�cFc7VMnplè^`oa��lRn�^`c�hku6_mo�o�nphk]�+��

Page 5: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

HJI�K=L#M(KON ��Q�� �0�J���2����� � ` �4�4��� !���7�2�y�����N�� - �� ��!�!�4�2�3����Q�0�3�7�� / ` �4�4�� !���7�2�y����� �w�0�5� ���� - ����� - �Q�4�8�2�4����() �� � T + ` ����4���� � � 4 "� `��L�� /t)\[ C fW+�] ��9���� :�4�;� cHJI�K=L#M(KON �-Q R ��UWV-XZYO[\8:"2��;�!,"=���)����3� �! "��� �"�'�c� ]6���0�h�� "���&� ]E�0�S��3�7��9� > �_]�P��4�O` � - �4� ��n���H��� �Z`c�� .�4�� �0�3�7��*/ � ���(�7�,��!�!�4�2�3������2ci jMc�u�n{u=c�h~_m]�fPh��Pnp[6_m��c�|)np]�egfpo�omf#�V]B��Y;[�w­c�l�^`_mfP[/[ �scûhkc��B_mc�� ^dc�l�j6[M_�lRn{o�|6c�eÉý

_m[6_a^`_mfP[M]�np[M|"[6f�^�n¢^`_mfP[ np[M| u6h�f¬�PcKnp[ n{b;VB_�om_�nph�� h�c�]�b6oa^-fP[ ]��B]3^`c�t�]¼f{e®|6_m]�^�n{[�^hkc�u6h�c�]kc�[�^`n�^`_a�Pc�]egfPhä]��xt�t�c�^`h�_ml ]�c�^`]���i jMcvtvn{_m[�hkc�]�b6oa^¬�ri j6c�fph�c�t fP�r_m]®u6hkf¨�Pc�|_m[�wxc�lè^`_mfP[S� �ïi j6cFlRn{]�cFf{eál��xl�o�_ml�t�c�^`h�_ml�_m]s|6_m]�l�b6]k]�c�|�_�[�w­c�l�^`_mfP[N� ��i j6c�fph�c�t�] �n{[6| r´n{h�cFu6h�f¬�Pc�|)_m[�wxc�l�^`_mfP[Lr �ïi j6cäoÉn{]�^ ]�c�l�^`_mfp[�l�fP[P^�np_m[6]+l�fP[6l�omb6|M_�[M�ûhkc�tvnph�«H]n{[6|�fpu@c�[�üHb6c�]3^`_mfP[6]��

� � ô����Rú�� ú¬ò���ôþú����

��omo1�Ph�npu6jM]9l�fp[6]�_m|6c�h�c�|)nph�c`gU[6_a^`c®np[6|�]�_mt�u6omc{�U_�� c��ÿ�P�V_a^`j�njgU[6_a^`c~�Pc�h�^`c7V�]�c�^~n{[6|��_ÿ^dj6fPbx^omfxfPuM]FfPhät�b6oa^`_mu6omc�c�|6�pc�]B� � fPh®n��Pc�h3^`c7V��á��^`jMc�]��Bt´�@fPo ��)!��+Z|6c�[Mf{^`c�]^dj6cJ��������5�����������0����H� - f�e��*�U_�� c��ÿ�M^`j6cä]�c�^Zf�e�n{o�o=�Pc�h3^`_ml�c�]�np|H^dnpl�c�[P^9^`f�*��np[6| � c|Mc�[6f{^dc®�P��|Mc��"�NY #$� )!�5+%#p^`j6c - �&�0�����+f�e&�G�� �phdn{u6j _m]�lRnpomomc�|��H���7�y����] �P��3� 4 "�� ©_ae+_ÿ^lRnp[ �6b6_moa^®egh�fpt _m]�fPo�n�^dc�|'c�|M�Pc�],��_ÿ^`j

c�[6|B�Pc�h�^d_�l�c�] lRn{o�omc�| w­fPbB^dj¼np[6|('9fPh�^dj u@fPomc�]þ�P� n�]�c�üHb6c�[6l�cZf{e*]kc�h�_mc�]sn{[6| u6nphdn{o�omc�ol�fPt�u@fP]k_ÿ^`_mfp[6]() ^dj6c-egfph�t�c�h_�|6c�[�^`_%gUc�]´^`jMc)'9fph�^`j u@fpo�cvf{e9fp[6c�l�fpt�u@fP[6c�[�^f��_ÿ^`j^dj6c&wxfPbx^`j u@fpo�c�f�e�^`j6c�f{^dj6c�h�fP[Mc{��^`j6c�oÉn¢^�^`c�h#b6[6_%gUc�]û^dj6c*'�fph�^`j u@fPomc�]#f�e�^`j6cl�fPt�u@fP[6c�[�^`] _m[�^dfKnøl�fPt�t�fP[+'9fPh3^`j u@fPomc{�þn{[6| om_m«pc7�V_�]kcv^`j6c�wxfpbB^`j u@fPomc�]�+S�'Y>^_m] �sc�o�oþ«H[6f#�V[�^`j6n�^n��Ph�npu6j�j�np]F^`h�c�c���_�|B^dj n¢^t�fp]�^F^a�sf)_ae+n{[6|�fP[6oa�K_ae npomoï_a^`][¬ý\l�fp[6[6c�lè^`c�|�]�b6�6�phdn{u6j6]�n{h�cä]�c�h�_mc�]3ý;u�nph�npomomc�o��i jMcøo�np�@c�om]vnph�cKn{o�� nR�B]-[MfP[6[6c���n�^d_ÿ�PcK_�[P^`c��pc�h�]����V_a^`j8l �@c�_�[M� ^dj6c&]�tvnpomomc�]�^

o�n{�=c�oþb6]�c�|@� � c b6]kcv^`j6c-[6f�^�n¢^`_�fp[8i-, C/. m Y � , C ,~ f C#DEDED�C/. � f C0.   ^`f&|6c�[6f�^`c_m[P^`c�h��{n{o�]�f{e©l�fp[6]�c�l�bB^`_a�Pc9_m[�^dc��Pc�h�]�� � c ]dnR��^dj�n�^�nä]kc�^21øf�e1_m[P^`c��Pc�h�]�_m]c�3�0�j�����2�7�y�

`��4�4�;��� n{[-_m[�^`c�h3�{npo�i4, C/. m©_ae5176 i4, C/. m=np[6|vegfphDc��Pc�h��(I 8�i4, C0. m �;I98:1 _aeán{[6|-fP[6oa�_ae .~ ,(�tI 8;1 �� ]3�B]3^`c�t f{e |6_m]�^`_m[6l�^h�c�u6h�c�]kc�[�^`n�^`_a�Pc�]´egfPh´n�]�c�^ ]��B]3^`c�t 1 y C 15T C#DED#D�C 1=<&_m]n]3�B]3^`c�t f�e |6_m]�^d_�[6lè^®c�o�c�t�c�[P^`]?> O 8@1 O C I Y f C [ CED#DED�C � �ûi j6c ^dj6c�fPh3�øf{eVwB}F��A ]F_�]�sc�omoþ|6c��Pc�omfPu@c�|1��^`j6c�[6c�l�c�]k]dnph3� np[6| ]�bCBvl�_mc�[�^�l�fp[6|6_a^`_mfP[øeÞfphä^`jMc�_�h�c�VM_m]�^`c�[Ml�c-_�]

�p_a��c�[��P� ^`jMc � c�omo©«H[6f#�V[|<�npomoU^`j6c�fph�c�t��Mnp[6|�n{[�wB}F� lRnp[��=c9egfPb6[M|�_m[¼u=fpoa�B[6f¢ýt�_�npo�^`_mtvcS)gc�� � �a�­�P�#n~�6_mu�nph3^`_a^`c t n¢^`l`j6_�[M�Fn{o��pfPh�_a^`jMt(+��áY>e@^dj6c �PhkfPb6[M|#]�c�^ED <OGF y 1�O_m] c�ü­bM_�uMu=c�|N�V_a^`j�n�t�c�^`h�_ml9eÞbM[6l�^`_mfP[©�;�sc®lRn{[¼egb6h�^`jMc�h _mtvu@fp]�cZl�fP[6|M_ÿ^d_�fp[6] fP[ ^`j6c

r

Page 6: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

|M_�]3^�np[Ml�c�f{eï^`j6c´l�j6fp]�c�[éh�c�uMh�c�]�c�[P^�n¢^`_ÿ�Pc�]�� � c h�c�egc�h9^`j6c�hkcRnp|6c�h�^`f/i f fP�1f#�0m�egfPhZn]kb6h��Pc���fp[¼^`j6cäl�fptvuMbB^�n¢^`_mfP[�n{o©l�fpt�u6omc7VM_a^;�¼f{e gU[M|6_m[6�#]��x]�^dc�t�]9f{e�|6_m]�^`np[P^Vh�c�u6hkcèý]kc�[�^`n�^`_a�Pc�]egfPh®]�c�^`]�_m[�t�c�^`h�_ml�]�u�n{l�c�] n{[6|'^`j6c�_mhnpuMu6om_�lRn¢^`_mfP[6]F_m[��{nphk_�fpb6]��phdnpu6jo�n{�=c�o�_m[6�vu6h�fp�6omc�t�]B� '9f#� � cf�V_mo�o�b6]�c�n-]�u@c�l�_�n{o��{n{h�_�np[P^äf{eþ^dj6_m]Fu6h�fp�6o�c�t np]änp[n{b;VB_�om_�nph��û^`fxfpo ���� T ) wxu@c�l�_�n{o1h�c�u6h�c�]�c�[�^`n�^`_a�Pc�]�_m[¼^`j6cäom_�[McRnph t�c�^`h�_mlH+> ��@?;�BA9��[)_m[P^`c��Pc�h � n{[6|&n#l�fpo�omc�l�^`_mfp[�f�e�]kc�^`]�f{e�_�[P^`c��pc�h�] 1 y C 15T C#DEDED�C 1�� ]3�Bt ýt�c�^`hk_�l*�V_a^`j6_m[¼^`jMc®_m[�^dc�h��{npo ik[ C Cw�U[Hm ���VjMc�h�cJCQY � � ~ r �E ?�����2�\�0�@AV}~fxc�] ^`jMc�h�c�c7VB_m]�^9n#l�fPomomc�l�^`_mfP[-f�e�|6_�]3^`_m[6l�^V_m[�^dc��Pc�hk]

> y C >ET CED#DED!C >�� C�� y C�� T CED#DED!C�� < C � y C �GT C#DEDED!C � < ]kb6l�j�^`j�n¢^ > O 8;1 O egfph c��Pc�h�� I�Y f C#DEDED�C �ø� � O 8 � [0I C C ��[WI � f   egfPh c��Pc�h3�LI�Y f CED#DED�C � � � O 8 � [WI ~ f C C ��[WI   egfPh cè��c�h3�|I�Y f CED#DED!C � � # � O�� ��O/# R [´egfPh c��Pc�h3�LI�Y f C [ CED#DED�C � G

K=N N�� �-QZP Q R �������� �� "��� ��� T � � �n� ]6���0�h�� "���&�1ci jMc9u6h�f­f{e=_m]þ��n{]�c�|�fP[û^dj6c+eÞfpomo�f#�V_m[6�Z]�u@c�l�_�npoB�{nphk_Én{[�^þf{e@^`jMc� =8 � $�� uMh�fP�Mo�c�t

) «­[MfH�V[ �c��ý\l�fptvuMo�c�^dc{�6l�e���c�� � � i �Wm�+��V 8� =8 � $��> ��@?;�BA � 3 fxfpomcRnp[ egfph�t�b6o�n�� _m[�l�fP[�^�bM[6l�^`_a�Pc�[6fPhkt n{oMeÞfph�t�� �Vj6fp]�c�cRnpl`j l�o�n{b6]�c

l�fp[6]�_m]�^`]rf�e5[ fph �9om_ÿ^dc�hdn{o�]�n{[6| �Vj6fp]�csc��Pc�h����{n{h�_Én{�6omc�j�n{]�n¢^�t�fP]�^ [ u@fp]�_a^`_a�Pcn{[6|�n�^9t�fP]3^ [�[Mc���n¢^`_ÿ�Pcäfxl�l�b6hkh�c�[6l�c�]��

E ?�����2�\�0�@A�Y\]�� ]dn¢^`_m] g�np�Mo�c/G� �3�H�_] c � c�h�c�|Mb6l�c�eÞhkfPt V 8� =8 � $�� ) l�e�� wxc�l�^d_�fp[ [ +���s�c�^�� j�nR�Pc � �{n{h�_�np�6omc�], y C#DEDED�C , < np[M|*� l�o�n{b6]�c�] � y C#DED#D�C � �N��i j6c�[Hb6t��@c�h�f{e��pn{h�_�np�Mo�c�] � ��_�omo1�@c~^`j6c� egh�fpt ^`j6c�_m[6uMbB^9f{e ��� T��U�Vc�lRn{omo=^`j�n¢^ C Yq� � ~ r � � fPh�c��Pc�h3���wY f C [ CED#DED�C �^dj6cä]�c�^ 1���_m] l�fP[M]�^`h�bMl�^`c�|�egh�fpt ^`j6cäl�o�npb6]�c � ��n{]+eÞfpo�omf#�V]

1 � Y �O�� ���! #"#$

� [WI C C ��[WI  &% �O��(')���� #"#$

� [0I ~ f C Cw��[WI � f   D

i+j­b6]Vc��Pc�h���]�c�^�1*��j�np] �#fph �ûc�omc�t�c�[P^`]Vnp[M|�_m] ]��xt�t�c�^`h�_ml �V_a^`jM_�[Xi l C CPm��

Page 7: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

��]�]kb6t�cV^`j�n¢^&� npomomf#�V]�n]�n�^`_m]�e �x_�[M��n{]�]�_m�P[Mt�c�[�^$��Y eán®�{n{h�_�np�6omc , O _m]Dn{]�]�_m�p[6c�|^dj6c��{npomb6c��������{��� cK]�c�^ � O Y [WI�� fp� � O Y C � [WI�� f � ��[�n{o�fp�Pfpb6]�oa� egfPh , O[Mc���n¢^`_a��c�oÿ�¼�{npomb6c�|1��sco�c�^ � O Y [WI�� � O Y C�� [WI�� � fPh�cRnpl`j&l�oÉn{b6]�c � � �scl�j6fxfp]�cfp[6c�]dn�^d_�]3e �x_m[6�9om_a^`c�hdn{o��1Y e � � _�]*]dn�^d_�] gUc�|���ä^`j6c�o�_a^`c�h�npo , O eÞfphr]�fPt�c I�Y f C [ CED#DED�C � ��scäo�c�^ > � YZ[0Ik�6_ÿe ,GOá_m] ^`j6c g�h�]�^9fxl�l�b6hkh�c�[6l�cäf{e5,Oá_�[ ���Unp[6|�> � Y Cj��[0I�eÞfphD^`j6c]kc�l�fP[M| fxl�l�bMh�h�c�[Ml�c-f{eE, O _m[ �N��Y;[�^`j6cvlRnp]�c � � _m]®]�n�^`_m] g�c�| �P�� , O � cvl�j6fxfp]�c> �JY [WI ~ fvegfPhä^`jMc�gUh�]3^ fxl�l�b6h�h�c�[Ml�c�f�e� ,O�np[6| > �JY C|� [0I � f¼f�^`j6c�h �V_m]�c��w�^`hdn{_��pj�^keÞfph � nph�|Moÿ�P�©^`j6cûl�fPomomc�l�^`_mfP[:> y CED#DED!C � <�]dn¢^`_m] gUc�]�npomo�eÞfpb6hFu6hkfPu@c�h�^d_�c�]~egh�fPt^dj6cä|6c�gU[6_a^`_mfP[¼f{er^`jMc ��� T u6h�fp�6omc�t �� fPhV^`j6c´fPu6u@fp]�_a^`c�|6_mh�c�lè^`_�fp[&]�b6uMu=fp]�c´^`j�n¢^ > y�CED#DED!C � < _m]~nv�{npom_m|)]�fpo�bx^`_�fp[�egfPh^dj6c ��� T uMh�fP�Mo�c�t �Zi j6c l�h�b6l�_�n{o�fP�M]�c�h��{n�^d_�fp[ø_m]V^`j�n¢^~egfPh�c��Pc�h3�/IzY f C [ CED#DED�C � �^dj6c�h�c n{h�csfp[6oa�F^a�sfFu@fP]�]k_��Mo�c�l�j6fp_�l�c�]�egfphá^dj6c��{npomb6c�]�f{e � OUn{[6| ��O�]kf�^`j6n�^ # � O��?�O0# R[ � 'Zn{t�c�oa�P��c�_ÿ^`jMc�h � O Y [WI�np[M|;� O Y CN�{[WI+fphänpoa^`c�hk[�n�^d_ÿ�Pc�oa� � O Y [WI ~ f#n{[6|

��O�Y Cc� [0I��6f ��Y;[�^dj6czgUhk]�^�lRnp]�cn�sc�np]k]�_m�P[ ,O Y��� ������ np[M|#n{l�l�fPhk|6_m[6�Poa��,GO_Y��������_m[¼^dj6c®]kc�l�fP[6|�lRn{]�c��i jMc�[-egfphþcRnpl�j �jY f C#DEDED�C �ø�H^`jMcV�pn{o�bMc9f{e � � _m[6|6_mlRn¢^`c�]ï^`j6c�]�n�^`_m]�e �x_�[M��o�_a^`c�h�npoegfphv^`j6cKl�oÉn{b6]�c � � � Y>e � � Y [0I´fPh C/� [WI��V^`j6c�[ � ��_�]-]�n�^`_m] gUc�| �P�"^`jMc��������

n{]�]�_m�p[6t�c�[�^ ^`f�^`j6cZ�{nphk_Én{�6omc , O �ï�Zoa^`c�hk[�n�^d_ÿ�Pc�oa�P�B_ÿe � � YZ[0I ~ fFfPh C,� [WI�� I�^dj6c�[^dj6cäo�_a^`c�h�npo�� ,O�]�n�^`_m] g�c�] � �~n{] ^dj6c~�pn{h�_�np�6omc ,O�_m]�n{]�]�_m�P[Mc�|��� ��������wx_m[6l�cF^`j6cä]�_m��c�f{e�^`j6c~eWn{t�_�oa� 1 y C 1�T CED#DED�C 1 � _�]�u@fpoÿ�x[6fptv_�n{o©_m[¼^`j6c®]�_���c®f�e ���V 8� O8 � $���� ��� T np]�l�o�np_mt�c�|@�� c�l�fP[P^`_m[­bMcx�V_a^`j�n{[)n{[�npomfp�PfPbM] omc�t�t negfPh�]kc�^Z]��x]�^`c�t�]�f¬�Pc�h�n#]�u6npl�cx��_ÿ^`j

^dj6cl��Bl�om_ml´t�c�^dh�_ml � � fPh�n gPVBc�| CXR [vnp[M|K_m[P^`c��pc�h�] , C0. 8 � l C f CED#DED�C C�� f   � c|Mc�[6f{^dc´�P������) , C0. +cY tv_m[ � # ,Q� . # C C � # ,Q� . #   ^`j6c � � �� :�y� � - � ���.������V�@c�^&� c�c�[,Knp[6| . �

��� � ) wxu@c�l�_�npo©h�c�u6h�c�]kc�[�^`n�^`_a�Pc�]�_m[¼^`j6cäl��Bl�o�_mlFt�c�^`h�_mlH+> ��@?;�BA9��[)_m[P^`c��Pc�h � n{[6|&n#l�fpo�omc�l�^`_mfp[�f�e�]kc�^`]�f{e�_�[P^`c��pc�h�] 1 y C 15T C#DEDED�C 1�� ]3�Bt ýt�c�^`hk_�l*�V_a^`j6_m[¼^`jMc®_m[�^dc�h��{npo i f C Cw� f�m*egfPh C(Y fH� � �E ?�����2�\�0�@AV}~fxc�] ^`jMc�h�c�c7VB_m]�^`]Vnûl�fpo�omc�l�^d_�fp[�f�e�|M_�]3^`_m[6l�^V_m[�^dc��Pc�h�]

> y7C > T CED#DED!C > � C��dy�C�� T CED#DED!C�� < C � y�C � T C#DEDED!C � < ]kb6l�j�^`j�n¢^ egfPh�n{o�o�I�Y f C#DEDED!C � � > O 8;1 O � egfPh�n{o�o�I�Y f C#DEDED!C � � � O 8 � � � �tI C � �

~ I   � egfPh�n{o�o�I�Y f C#DEDED!C � � � O 8 � f�[ � �tI C f�[ �

~ I   �

Page 8: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

����) � O C � O + YF. � ��[0IïegfPh cè��c�h��LI Y f C [ C#DEDED!C � G K=N N�� �-Q �<Q R �������� �� "��� ��� � �"� �c� ]6���0�h�� "���&�1c� �3�H�_] c � c®]kj6f#� V 8� =8 � $�� � ��� � �� fPh�c��Pc�h�� �(Y f C [ CED#DED�C � ^`jMc�]�c�^ 1 � _m]Zl�fP[6]3^`h�b6l�^dc�|Kegh�fPt ^`jMc�l�o�npb6]kc � � 8

� �P� egfpo�omf#�V_m[6�&h�b6omc�] �-_ae�^`j6c¼l�oÉn{b6]�c � �vl�fp[�^`np_m[6]´^`j6c�o�_a^`c�h�npo9,GO�^`jMc�[ _m[P^`c��pc�h�]� � �{I C fW[ �

~ IFn{h�c _m[6]kc�h�^`c�| _m[�^df:1 � �þn{[6| _ae � , O 8 � � ^`j6c�[�� c¼u6bB^û_m[P^`c��pc�h�]� � ~ I C fW[ � ��Iþ_�[P^`f 1�����Y ^9lRnp[�cRnp]k_�oa� �@c®]kc�c�[�^`j6n�^VcRn{l�j)]kc�^ 1���_�]+]��Bt�t�c�^dh�_ml����]�]kb6t�cV^`j�n¢^&� npomomf#�V]�n®]dn¢^`_m]�e �B_m[6�n{]�]�_m�P[Mt�c�[�^$� � c9l�jMfxfP]�c � O Y � � ~ Irn{[6|

��O Y f�[ � ��Ic��j6c�[�n��{nph�_�n{�6o�c ,O�_�]~np]k]�_��p[6c�|��������ûnp[M| �sc o�cè^ � O Y � � ��I n{[6|��O Y f�[ � ~ I f�^`j6c�h �V_�]kc�� � h�fPt cRnpl`jél�o�npb6]�c � �x�sc#u6_ml`«)fP[Mcû]�n�^`_m]�e �x_�[M�-o�_a^`c�h�npo��� jMc�[ � � _�]�]�n�^`_m] gUc�|ø��� , O � c ]�c�o�c�l�^ > O Y � � ��I+_ae&, O _m]V^`jMc,gUh�]3^äfxl�l�bMh�h�c�[6l�cf�e ,O�_m[ ���rn{[6|�>�O Y fW[ � ~ I+_ÿeD_a^~_m]Z^`j6c ]�c�l�fp[6|�fxl�l�b6h�hkc�[6l�c�� Y\[K^dj6c lRnp]�c � ,GO]�n�^`_m] g�c�] � �,� cvl�j6fxfp]�c >!O�Y � � ~ I�egfphä^`j6c gUhk]�^�fxl�l�b6h�hkc�[6l�c-f�e � ,GO+_m[ � n{[6|� O Y fW[ � �tIïeÞfph ^`jMc®]�c�l�fP[6|F�Y ^�lRnp[�@cDcRn{]�_moÿ�F]�c�c�[^dj�n�^�n{o�o > y�C#DEDED�C � < n{h�c�|6_m]�^`_m[6l�^�n{[6|�� � ) � O3� ��Oy+ YF. � �'[WI

egfph*c��Pc�h3�'I�Y f C [ CED#DED�C � ��<9c�[6l�c��P_ÿ^á_m]�^`j6c�|6c�]k_�h�c�|�]�fPombB^d_�fp[®f�eM^dj6c � � � uMh�fP�6omc�t �'9f#� ]kb6u6u@fP]kc > y7C#DEDED!C � < ]dn¢^`_m]�e �ønpomo�egfPb6häl�fP[M|6_a^`_mfP[6]Zf{es^`jMc ��� � uMh�fP�6omc�t �

��] _m[-^dj6c~u6hkf{e�f�e*^dj6cFu6h�c��x_mfPb6] omc�t�tvnM��^dj6c�h�cän{h�c~fp[6oa�#^&� fûu@fP]�]k_��Mo�c�l�jMfP_ml�c�] egfPhu6np_mh�]() � O C ��O�+�� n{] � � ) � O C �O}+ Y . � � [0I�� [WI9c�_a^`j6c�h() � O C �O4+ Y )}� � � I C fW[ �

~ I&+) _�[M|6_mlRn�^`_m[6� , O �@c�_m[6�&n{]�]�_m�P[6c�| �� ������H+äfPhN) � O C � O +,Y )}� � ~ I C fW[ � �?I&+J) , O �@c�_m[6�cè�pn{o�b6n�^`c�| �������H+S��qsfp[6]�c�üHb6c�[P^`oa�P��egfph�cRn{l�j � Y f C#DED#D�C � ^`j6csl`j6fP_ml�csf�e=� ��u6hkf¨�x_m|6c�]n)]�n�^`_m]�e �x_�[M�)o�_a^`c�hdnpoïegfPhF^`j6c-l�o�npbM]�c � � �#Y e � � Y � � �?I~fph fW[ � ~ I�^`jMc�[ � � _�]]�n�^`_m] g�c�|vnp]�, O _�]�np]k]�_m�P[6c�| � � �������Z[6npomfP�pfPb6]koÿ�P� �VjMc�[(� � Y{� � ~ Iáfph f�[ � �QI�^dj6c�[^dj6cäo�_a^`c�h�npo�� ,O�]�n�^`_m] g�c�] ^dj6c®l�oÉn{b6]�c � ���

� ����� ����� � �������¬úRò�� õ����vô������ � õ��íóïô�� ��� úRö)ó�� ó � õi+j6_m]#c�[P^`_mh�c�]�c�l�^d_�fp[ _�] |6c��Pf�^`c�| ^`fé^dj6c�u6hkfxf{eZf�e~i j6c�fph�c�t f � � cQ�V_mo�o bB^d_�om_m��cs�c�t�tvn [ � fDnp[6|´h�c�|6b6l�c�eÞhkfPt ^`j6c ��� Tøu6hkfP�6omc�t ��wxb6uMu@fP]�c �sc n{h�c��P_a�Pc�[´_m[P^`c��pc�h�]� n{[6| C Y � � ~ rx��n{[6| � ]kb6�6]�c�^d] 1 y C#DEDED!C 1 � f�eQik[ C C/� [�mh�VjM_�l`jínphkcénpomo]3�Bt�t�c�^`hk_�l��V_a^`jM_�[û^`jM_�]�_m[�^`c�h��{npo�)v� c�tvnR� eÞbMh�^`j6c�hsnp]�]kb6t�c�^`j6n�^+n{omo�f{e=^`j6c�t j�nR�Pc]k_���cøn�^�t�fP]3^ �M���6bB^¼^`j6_m]¼_�]¼[6f�^�_�t�u@fph�^�n{[�^-egfPh-fpb6h¼u6h�fxf�e�+�� � b6h�n{_mt _�] ^`fl�fP[6]�^dh�b6l�^�n��Ph�npu6jL>"!@f�eá^`hkc�c��V_m|B^`j¼^&� fû]�b6l`j�^dj�n�^ @cb T3d yye )2>#!%+cK C�_ae�np[6|�fP[6oa� _ÿe^dj6c�P_a�Pc�[)_m[6]�^�n{[6l�cf{e ��� T _m]�egcRn{]�_m�6o�c �+i j6c´l�fP[6]3^`h�bMl�^`_mfP[)f�e >#!�_m]�n{l�j6_mc��Pc�|&_�[]kc��Pc�hdnpo*]�^`c�uM]B�

.

Page 9: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

�B�B�

���<���T���y ���y ���T ���<

���y �������T

�B�B�

���

� _��pb6h�c f �þi j6cä�Ph�npu6j|> �

+<QZP K�� � � � L � �(L � � ��� K�� � � qsfp[6]�^`hkb6l�^�^`j6cF�phdnpuMj > fp[-�Pc�h3^`_ml�c�]���� Y) ��� C � �y C#DEDED�C � �� C � �y C#DED#D�C � �< C � �y C#DEDED!C � �< +_�Vj6c�hkc ��� _m]�np|�^dn{l�c�[�^�^df~n{omo�f{^`j6c�hr�Pc�h�^`_ml�c�]��n{[6|egbB^dj6c�h�t�fph�c`) ���O C ���O + 8�� � egfPh�n{omo�I�Y f CEDED#D!C � ��) wxc�c � _�� � f �B+®i�fZcRnpl`j��Pc�h3^`c7Vf�e5, 8�� � �sc�n{]�]�_m�P[�nû]kc�^9f{e�np|6t�_m]�]k_��6omcZoÉn{�@c�o�]+np]+egfPomomf#�V]

�f) ��� + Y � l C C   �f) � �O + Y 1�OáegfPh npomo�I�Y f CED#DED�C � �f) ���O + Y � [0I C C ��[0I � f   egfph�npomo_I Y f CEDED#D!C � �f) ���O + Y � [0I ~ f C C ��[0I   egfPh npomo�I�Y f CED#DED�C �

n{[6|Q� clRn{o�o*np[ @ )\[ C f�+>ý;oÉn{�@c�o�_m[6� � n{|6t�_m]�]�_m�6omc~_ae � ) ,�+ 8 �f) ,�+DegfPh�c��Pc�h��),;8����/�Y;[´np[P��np|6t�_m]�]k_��6omc @ )\[ C fW+ ý\o�np�@c�om_m[6�6�Rn{[��®u�n{_�h*f{eB�Pc�h�^`_ml�c�]�t´b6]�^��Pc�^r|6_�]3^`_m[6l�^�o�np�@c�om]]k_�[Ml�c,> j6np]9|M_Én{t�c�^`c�h ^&� f �V��fph�c�f¬�Pc�h��=np]�^dj6c~��c�h�^`_ml�c�] ���O np[6| ���O n{h�cn{|�^dnpl�c�[P^¬�^dj6c���t�bM]�^9�@c�n{]�]�_m�P[6c�|�o�np�@c�om]D^`j�n¢^9nphkc�n¢^Vo�c�np]�^ ^&�sf n{u�n{h�^$�

<9c�[6l�c � ) � �O +xY > O C � ) � �O +xY � O ��n{[6| � ) � �O + Y � O _m]�n�fp[6cèý>^df�ý;fP[6cûl�fPh�hkc�]�u@fP[­ý|Mc�[6l�c��@c�^a�sc�c�[¼n{|6t�_�]k]�_m�6omc @ )\[ C fW+ ý\o�np�@c�om_m[6�P]rf�e > np[6|�]3�B]�^dc�t�]þf{e©]�u@c�l�_�npoMh�c�u6hkcèý]kc�[�^`n�^`_a�Pc�]DeÞfph21 y C#DEDED!C 1 �Z) ^`jMc�l�j6fp_�l�c�f�e � ) ��� + Y l�fPh C-|6fxc�]s[6f�^ _m[P^`c�h�egc�h�c���_ÿ^`j^dj6c�oÉn{�@c�om]ïf�e@^`j6c�h�c�tvn{_�[M_�[M���Pc�h�^d_�l�c�]�+���i jMc9�Ph�npu6jw> j�n{]þl�o�cRn{h�oa�´^dh�c�c��V_m|B^dj#^&�sf �� ch��_�omoUegb6h�^`jMc�h+|Mc�]�_m�P[�nl�fPomo�c�l�^`_mfP[ f�e��Pnp|6�pc�^`]D^`j�n¢^��V_momoUegfPh�l�c9^`j6cF|Mc�]�_mh�c�|�om_�]3^`]fp[¼^`jMcF�Pc�h�^d_�l�c�]Vf{er^`j6cä�Ph�npu6j|> �

+<Q � ��� K�� � L�� ��K ��@I � L#M � L��"!@K=M�� #�2K � L��$� � M%�,K&�7K'�,M(K K � i jMc&egfPomomfH�V_m[6�]k_�t�uMo�c¼fP�M]�c�h��{n�^d_�fp[U�V_mo�o �@c)b6]kc�|"h�c�u@cRn¢^`c�|6oa� _m[ fpb6hvnphk�Pb6t�c�[P^`]B�{s*cè^ � �@c)n�Pc�h3^`c7V��VjMfP]�c-^a�sf'[6c�_��pj­�@fph�])( np[M|*( !�j6n¬�Pc�|Mc��Ph�c�c C�� fp�snp[M| omc�^ � �@c�np[@ )y[ C fW+>ý;o�np�@c�om_�[M� f{e�]�u6np[ C���}~c�[6f�^`c 1�Y � ) � )+(`+-, � �   +1^`j6c ]�c�^ïf�e�oÉn{�@c�o�]rb6]kc�|#fP[^dj6c9[Mc�_��pj­�@fph�]Df�e.( f�^`j6c�hþ^`j6np[ � �þwx_m[6l�c/(ínp[6|0( !Bj6n¬�PcV^`jMc�t n�VM_mt�bMt u@fP]k]�_m�6omc|Mc��Ph�c�c{�6^dj6c���n{h�cän{]�]�_m�P[Mc�|�o�np�@c�om] lûnp[6|%C���np[M|�jMc�[6l�c � ) � +E8�ik[ C C �U[Hm1, 1��

0

Page 10: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� � � � � � � � � � � �

� !T� !y� !�

� � � y � T � O � y � O

� !O� !O� y

� _��pb6h�cx[ ��qsfP[6]3^`h�b6lè^`_mfP[�f{er^`j6cä�Ph�npu6j0/fO��

+<Q + HJI7K �2M�� � � � � � � �,K � � fPh9c��Pc�h3� I 8?i f C � � yT m ���scûl�fp[6]�^dh�b6l�^Z^`j6c��phdn{u6j /fO��_ÿ^dj�[6fP[6np|�^dn{l�c�[�^��Pc�h�^d_�l�c�] � O C � !O f{e�|6c��ph�c�c�fP[Mc®_m[6|6bMl�^`_a�Pc�oÿ�¼np]+egfPomomfH��]B�

f�+ / � _m]�^`jMcûlè�Bl�omc f{eDomc�[6�{^dj�eÞfpb6hän{[6| � � C � !� n{h�c^&� f�[MfP[�n{|�^dnpl�c�[P^F�Pc�h�^`_ml�c�]) f{e�|6c��ph�c�c~^a�sf�+��[ +sirfvl�fP[6]3^`h�b6l�^ / O�� y �1�scä^�n{«pc~^`jMc®�phdnpu6j0/ O n{[6| _m[6]�c�h3^ ^`j6cäc�|6�pcJ) � O C � !O +�� _m[6]�c�h3^ ^a�sf�[6c�� �Pc�h3^`_ml�c�] � O�� y�C � !O�� y np[6|�c�|M�Pc�]f) � O C � O�� y + C ) � !O C � !O�� y +è� _m[6]�c�h3^�C ��r�[Mc�� l�fptvt�fp[�[Mc�_��pj­�@fph�] f�e � O np[6| � !O �

)Wwxc�c � _�� � [�egfphþn{[#c7VMnpt�u6omc��B+�i jMc�[ / O _m]ïnä]kc�h�_mc�]3ý;u�nph�npomo�c�oB�phdnpuMjj�Vj6fp]�c�[­bMt��@c�hf�e��Pc�h3^`_�l�c�]F_�]Zu@fPoa�B[MfPt�_�npo�_�[�I+np[M| � )gu6h�c�l�_�]�c�oÿ�P�E# ��� � #�Y I�) C(� �9+ ~ ��+��FY ^äj�n{]^dj6c~eÞfpo�omf#�V_m[6��l�hkb6l�_�npo1u6hkfPu@c�h�^;� � K=N N�� +-Q P#Q�� �0�J� !����� I`R f �h������ � @ )y[ C fW+�]a ��9���� :�4�1� �_] / O �_],�&���� C-�h�4��!0���7�2�y����� � O � y C � O C � !O � y C � !O ����*����������5� - \�4�J�4�;�"�h�0� - ��� �` ��9���� � I��6f C Cc�jI C Cc�jI ~ f C I�0�DC ��I ~ f C I C I � f C Cw� I c� �3�H�_] c � csu6h�f¬�Pc�^`jMcs]�^�n¢^`c�t�c�[P^ï����_m[6|6b6l�^d_�fp[�fP[,IU� s*c�^ � �@cDnp[ @ )\[ C fW+ ý\o�np�@c�om_m[6�f�e / O f{eï]ku�np[%C��

f�+ � fphhIcY fP�©fp�6]�c�h��Pc ^`j6n�^~]�_m[6l�c � � n{[6| � !� j�nR�Pc |6c��Phkc�cCN� fP�=^`j6c��)t�bM]�^�@c n{]�]�_m�p[6c�| oÉn{�@c�o�]|l np[6| C*��fph��x_�l�cé��c�hk]dn � i+j6c�_mh�C � � l�fPt�t�fP[í[6c�_m�pjxý�@fph�]vnphkc)n{]�]�_m�p[6c�|"|M_�]3^`_�[Ml�^vo�np�@c�om] egfph�t�_�[M�K^`j6c)_m[P^`c�h��{n{o'ik[ C C � [HmZn{[6| j6c�[6l�c� � ) � y + C � ) � !y +   Y � f C C � f   �

[ + 3 � _�[M|6b6l�^`_mfp[ j��xu@f{^dj6c�]�_m]�� � � ) � O � y + C � ) � !O � y +   Y � I � f C C|� I ~ f   n{[6|� � ) � O + C � ) � !O +   Y � I C CQ�?I   ��i j6c�]�cv^&�sf&�Pc�h�^d_�l�c�]´j�nR��c�eÞbMh�^`j6c�h CL� r�l�fpt�t�fP[[Mc�_��pj­�@fph�]V^`j�n¢^~l�fPbMo�|��=c´n{]�]�_m�P[6c�|øfP[Moÿ�¼^`j6c´oÉn{�@c�o�]+egfPhkt�_�[M�û^`j6c�]kc�^�i l C I �8[�m %i I ~ [ C C �{I � [Hm % i C �?I ~ [ C CPm��&Y>^�_m]�^dj6c�h�c�egfph�c-cRnp]3� ^`f&l�fP[Ml�o�bM|6cv^`j�n¢^^`j6c^&�sf ^`h�_mu6omc�]�) � ) � O � y + C � ) � !O + C � ) � O�� y +6+vnp[6| ) � ) � !O

� y + C � ) � O + C � ) � !O�� y +6+#l�fpb6om|"�@c&fP[6oa�^dj6cV^a�sf l�fP[M]�c�l�bB^`_a�Pc�^dh�_mu6omc�]S)�I� f C I C I~ fW+�n{[6|/) C � I ~ f C Cx��I C Cx��I� f�+��

fHl

Page 11: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

�Ph�npu6jM]1/��@egfPh�[fK�� K � � yT C ���8:1�O

, O� �O

� � �

������

���

� _��pb6h�c+��� � fPhkl�_�[M�#om_�]3^ 1�Orfp[�^`j6c~�Pc�h�^`c7V � �O �

+<QG����L,M�� � � �f) ��� +D�Z|M| Cj� fz�t[ � ��� YZ[ � ~ � ��� [6c7� [6c�_m�PjH�@fPh�] ^df´^`j6c�Pc�h3^`c7V � � �*) � cZtvn¬�-n{]�]�bMtvcx[ � ~ �h�;� R{l�]�_m[6l�c9^`j6c � � T u6h�fp�6omc�t ^`h�_a�B_�npomoa�j6np]�[6f-]3�B]�^dc�t f{e�|6_m]�^d_�[Ml�^Fhkc�u6h�c�]kc�[�^`n�^`_a�Pc�]F_aen[ � ~ � � [ C�� f �B+�i j6c�[ ��� j�n{]|Mc��Ph�c�c�Cx� fZn{[6| _a^ l�np[ �@cZn{]�]�_m�P[Mc�|-fP[6oa�#o�np�@c�om] lfph C-�P� n{[�� @ )\[ C fW+ ý\o�np�@c�om_m[6�f�e�]�u�n{[ C��+<Q ����L,M�� � � �f) � �O + � fph´cRn{l�j �Pc�h�^dc7VUI 8 i f C �Jm ��_m[6]�c�h�^ûn)[6c�� ��c�h�^`c7V+, O n{[6|tvn{«{c®_a^9n{|�^dnpl�c�[P^9^`f � �O � � b6h3^`j6c�h+egfPh�cRn{l�j)u6np_mh f{e�oÉn{�@c�o�]�ïn{[6| Cw��ï_m[¼^`j6c®]�c�^i [ C C � [Hm , 1 O ��_�[6]kc�h�^�n�[Mc�� l�fPuP�'f{e ^`jMc �phdnpu6j / � n{[6| tvnp«{c , O np|�^dn{l�c�[�^^`f^dj6c �Pc�h3^`_ml�c�] � � n{[6| � !� f{e�^`j6_m]®[Mc�� l�fPuP� � � _m[�npomoa�P�1n{|6|éegb6h3^`j6c�h�[Mc�� [6c�_m�PjH�@fPh�]^df�^`jMcä�Pc�h�^`c7V*, O ]kf�^`j6n�^Z_a^9j�np]V|6c��Phkc�c CJ� fQ) ]�c�c � _�� �,�9+��+Y ^�egfPomo�f#�V]seÞhkfPt ^`j6cfp�6]�c�h3�{n�^`_mfP[�_m[ � �B[�np[M|ts*c�t�tvn �3� f�^dj�n�^�^dj6cû�Pc�h�^`c7V � �O _m]�[6f#� npomomfH�sc�|�^`f��@cn{]�]�_m�p[6c�|�fP[6oa��n oÉn{�@c�o=egh�fPt ^`j6cä]�c�^ 1 O np]�h�c�üHb6_mh�c�|@�+<Q�� ��L,M�� � � �f) � �O + � � � �f) � �O + � fph1cRnpl`j I 8�i f C � m �z_m[6]�c�h3^*�Pc�h�^d_�l�c�] . O C/. !O n{|�^dnpl�c�[P^^df ���O n{[6| ���O �ph�c�]�u@c�l�^`_a�Pc�oa� � � b6h�^`jMc�hr^�n{«{c n9l�fPuP�´f{e6^dj6cs�Ph�npu6j / T O�� y �phkc�t�f¨�Pcsfp[6cl�fPt�t�fP[�[6c�_m�PjH�@fPh�f�e � T Oþn{[6| � !T O np[6|&tvn{«pc . O�n{|�^dnpl�c�[P^~^df � T O C � T O�� y n{[6| . !O ^`f� !T O C � !T O�� y f{e�^`j6_m]sl�fpu�� � � fphDcRn{l�j�o�n{�=c�o�� 8�ik[ C � � yT m�, � [WI C [0I

~ f   �x_�[6]kc�h�^ ^a�sf [6c��l�fPu6_mc�]sf{e©^`j6c��Ph�npu6j3/���) ^dj6c�]�c�l�fp[6|�l�fPuP�-_m]�|6c�[6f�^`c�|¼��� /��� +�n{[6|-l�fp[6[6c�l�^ �@f{^`j�Pc�h3^`_ml�c�] � � C � �� ^`f . O1np[6|v�@f{^`j � !� C � �� ! ^`f . !O � � _m[�npomoa�P��np|M|�^`jMh�c�c�[6c�� [6c�_m�PjH�@fPh�]�^`fc�npl�j��Pc�h�^dc7V . O C0. !O ]�fû^`j6n�^V�@f�^`j�j�nR�Pc�|6c��Phkc�c Cw� fJ)g]kc�c � _�� �P� +��wxbMu6u@fP]kc � _m]-n{[ @ )\[ C f�+>ý\o�np�@c�om_m[6�éf{e®]ku�np[FC�� wx_m[6l�c&�@f{^dj . O C0. !O j�nR�Pcé|6cèý�ph�c�cCN� f#n{[6|én{h�c n¢^ä|6_m]�^`np[6l�c [#eÞhkfPt ��� f{eþ^dj6c ]dnpt�c´|6c��Phkc�c{� ^`j6cè��n{h�c��@f�^`jxý

n{]�]�_m�p[6c�| ^`j6c�]dnpt�c�oÉn{�@c�oW�Zc�_a^`jMc�hLl fPh C�� Y>^&n{o�]kf egfpo�omf#�V]¼^`j6n�^�_m[ ^`j6c'l�fPuP�/ T O�� y ^dj6cK�Pc�h�^`_ml�c�] � T O C � !T O �=c�j�nR��c'np]�]�^�n¢^`c�|í_�[ s*c�t�tvn �3� fP�~c��Pc�[í_ae � c�h�cèýt�f¬�Pc�| fP[Mc l�fPt�t�fP[í[6c�_m�pj­�@fPh�)4��j6fP]kc hkfPomcX�+n{]�^�np«{c�[ f¬�Pc�h&��� . O np[M| . !O +S�'9f#� n{l�l�fPh�|M_�[M� ^df fP�M]�c�h��{n¢^`_�fp[ _m[ � �B[­�9^dj6cK�Pc�h�^`c7V ���O lRnp[ �@c�n{]�]�_m�P[Mc�| fP[6oa�o�n{�=c�o�]�egh�fPt � [0I C [0I

~ f C Cf��[WI�� f C C,� [0I   , � � ) � T O + C � ) � T O�� y +   np[6|¼]�_mt�_�o�n{h�oa�´egfPh

f f

Page 12: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

/ T O�� y. !O���O

� �

� � �

���

���O . O � T O�� y

� !T O�� y

�phdn{u6j6] / � C / �� egfPh*[jK ��K � � yT C ���Y [0I C [WI~ f

� T O

� !T O

� _m�PbMh�cf��� � fph�l�_m[6�¼o�_m]�^`] � [0I C CN�?[0I � f   np[6| � [WI ~ f C CN�?[0I   fp[K^`j6c´�Pc�h�^`_ml�c�]���O C ���O �

� ) ���O + 8 � [0I C [0I ~ f C Cx��[0IP� f C Cx��[0I   , � � ) � !T O + C � ) � !T O�� y +   �þwx_m[6l�c��P�(s*c�t�tvn � � fc�_ÿ^`jMc�h � � ) � T O + C � ) � T O�� y +   Y � C � [0I C [WI

~ f   fPh � [WI C C � [0I;� f   �­n{[6|vh�c�]�u@c�l�^d_ÿ�Pc�oa�P�� � ) � !T O + C � ) � !T O�� y +   Y � [WI C CL� [0I � f   fPh � CL� [0I C [WI

~ f   � � c¼�Pc�^´^`j6c-|Mc�]�_mh�c�|n{|6t�_m]�]�_m�6omcF]�c�^d]9egfph9�@f{^dj ���O np[6| ���O )g[Mf{^`c�jMc�h�c®^`j�n¢^9^`j6c®c�[�^d_�h�cl�fp[6]�^`hkb6l�^`_mfP[�_�]]3�Bt�t�c�^`hk_�l ��_ÿ^dj�h�c�]�u@c�l�^V^`f �Pc�h3^`_ml�c�] ���O np[M| ���O +��

3 � ^`j6c¼n{�@f¬��c¼|6_m]�l�bM]�]�_mfP[©�þnp[P� @ )\[ C f�+>ý\o�np�@c�om_m[6��f�eV^dj6c¼h�c�]�b6oa^`_m[6�&�phdnpuMjt>#!egfph�l�c�]�c��Pc�h��F�Pc�h�^dc7V�,´f{eM_a^`]1]kb6�6�phdnpu6j > ^df��=c�np]k]�_m�P[6c�|äo�np�@c�om]=eÞhkfPt ^`j6cïo�_m]�^ �f) ,_+S�}~bMh�_m[6�û^`j6cl�fp[6]�^`hkb6l�^`_mfP[&f�e >"!©^`jMc´|6_m]�^`np[6l�c�]~�@c�^&� c�c�[K^dj6c´fph�_m�P_m[�n{o=�Pc�h�^`_ml�c�]~f�e> � c�h�c´[6f{^~l`j�np[M�Pc�|1�©np[6|&j6c�[Ml�c np[P� @ )\[ C fW+>ý;oÉn{�@c�om_�[6� f�e >#!�h�c�]3^`h�_ml�^`c�|�^dfN> _�]n{[�np|Mt�_�]k]�_m�6o�c @ )\[ C f�+>ý\o�n{�=c�o�_m[6�®egfPh ^dj6c®om_m]�^`] �f) ,�+ C , 8�� � �i jMc�u6h�fxf�e f�eD^`jMc#fPuMu@fP]�_a^`c _mt�u6om_�lRn¢^`_mfP[t) _�� c��ÿ��^`j�n¢^�np[P�'n{|6t�_�]k]�_m�6omc @ )\[ C f�+>ýo�n{�=c�o�_m[6� f{e > lRn{[)�@cc7Vx^dc�[6|6c�|)^`f np[ @ )\[ C fW+>ý;oÉn{�@c�om_�[6�´f{e > ! + egfpo�omf#�V]+eÞhkfPt ^`j6cl�fP[6]�^dh�b6l�^d_�fp[�f�e�npomo@^dj6c®�Pnp|6�pc�^`]Vnp[M|�_m] ]3^`hdn{_��pj�^keÞfph � nph�|F�� _m[�npomoa�P��fP�M]�c�h��Pc�^`j�n¢^Z^dj6c ]�_m��c�f{e >#!*_m]~u@fPoa�x[6fPt�_�npo�_m[�^`j6c�]k_���c´f{ec> )gt�fPhkc

uMh�c�l�_m]�c�oa�7# >#! #;Y �()�# > # � +è�1n{[6|Knpom]�f#^`j�n¢^Fnpomo*�Pnp|M�Pc�^`]*� c�hkc�l�fP[M]�^`hkb6l�^`c�|é]�fv^dj�n�^>"!=tvnp_m[P^�np_m[6]�^dh�c�c��V_m|B^`j�^&� f ��i+j6_m]Vl�fp[6l�omb6|6c�] ^`j6cäu6h�fxf�e�f{e�i jMc�fPh�c�t f �

� � ��� �� ��� � � � ���RúRò�� � õ�� ó�ô�� �����c�lRnpomo+^`j6c�[6f{^d_�fp[ f{eF^dj6c)l��xl�om_�l�t�c�^`hk_�l{�n�Vj6_ml�j |6c�u@c�[6|M]-fP[ ^dj6c)]ku�np[ f{eZ^`j6cl`j�n{[6[6c�os]�u6npl�c�� � fph�, C0. 8 i l C CQ� f�m �r^`jMc�_�h�|M_�]3^�np[Ml�c _m]�|6c�g�[6c�| np] � � ) , C/. + Yt�_m[ � # ,�� . # C Cf� # ,�� . #   ��� oÉn{�@c�o�_m[6��� �����/� i l C Cj� f!m�_m] lRn{omo�c�|¼n � ):A C +>ý

fW[

Page 13: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

o�n{�=c�o�_m[6�Z_ÿe ����) � ) � + C � ) � !B+3+zR�A�eÞfphþn{[��#c�|6�pcf) � C � !:+ 8 � � �xnp[M| ����) � ) � + C � ) � ! +6+cR Zegfphsn{[�� ^&� f�Pc�h3^`_ml�c�] � C � !=8 � � f�e�|M_�]3^�np[6l�c~n¢^Dt�fP]�^þ^&�sf�_�[�> �ïi jMcZt�_m[6_mt�b6tlè�Bl�om_mlv]ku�np[ C egfPhx�VjM_�l`j n)�phdnpuMjt> n{|6t�_a^`]n � ):A C +>ý\o�np�@c�om_m[6�-_m]´|Mc�[6f{^dc�| �P�� b#" d $ e )2>'+����h�fpu@fP]k_ÿ^`_mfp[ [´uMh�f¬�B_m|6c�]�n ]�om_��pj�^doÿ�#]kb6h�u6hk_�]k_�[6�´eÞnplè^ ^`j�n¢^�_m[ ^`j6cZlRnp]�cäf{erl��Bl�om_ml

t�c�^dh�_ml{�á^dj6c � b#" d%$ e [­bMt��@c�h�f{e�n�^dh�c�c-_m]��P_a�Pc�[ ��� n�l�omfP]�c�| egfPhkt�b6o�n�np[6| j6c�[6l�cl�fPt�u6bB^`np�6omc~_m[�om_m[6cRnphD^`_mt�c����om]�fegfph�^`j6cZl��Bl�om_ml�tvcè^`h�_ml{� � cZu6h�f¬�Pcän´|6_ml�jMf{^`fpt�vf�e*^dj6c~l�fPt�u6omc7VM_a^;�#f{e�^`j6c

�UWV-XZYO[\8:"2��;<!#"=���)éu6hkfP�6omc�t �V_a^`j�hkc�]�u@c�l�^�^`fä^`j6c ^`h�c�c7�V_�|x^`j�f{e=^`j6cV_�[Mu6bB^D�Ph�npu6jF�<9f#�sc��Pc�h��á_a^ä_m]�� fph�^`jé[6f�^`_m[6�v^`j�n¢^~^dj6fPbM�Pj&^dj6c h�c�]�bMoÿ^F_�]~np[6npomfP�pfPb6]V^`f ^`j6c lRn{]�cf�e @ )y[ C fW+ ý\o�np�@c�om_m[6��np[M| ^dj6c _m|6cRn)f�e+^`jMc-u6h�fxf�e�_m]]�_mt�_�o�nph ) ^`f&hkc�|6b6l�cvegh�fpt ^`j6cuMh�fP�Mo�c�t f�e�]ku=c�l�_Én{o1|6_m]�^�n{[�^ h�c�uMh�c�]�c�[P^�n¢^`_ÿ�Pc�]V�x_�n om_m]�^+o�np�@c�om_m[6�P]�+è�H^`j6cF�Pnp|6�pc�^`]Vnphkcl�fP[6]�^dh�b6l�^dc�|&_�[�n#l�fpt�u6omc�^`c�oa�¼|M_�$©c�h�c�[�^ �+nR� )É^`j6c���lRnp[M[6f{^9�@c®�6np]�c�|)fP[��Pc�h�^`_ml�c�]f�e�|6c��Phkc�c Cw� f�np]�_m[¼^`j6cälRn{]�c®f�e @ )y[ C fW+6+��3 c�egfPh�cäu6hkf¨�x_m[6� ^`jMcF^`jMc�fPhkc�t �sc`gUhk]�^9|6c�]�_m�P[�nû]kb6_a^�np�Mo�cF�Pnp|6�pc�^�� K=N N�� ��QZP#Q � �0�*�� �j� !0���CX�� - � !0���(�4�G�&�.� ��� I 8�i�� C � T m��4������`�W6 � ���4�S�`�#���7�y����]�P��3� 4 "�� ;��3�7�� � O �_] �������E�() CI&+^`��4�4�J�Z`c� !���7�2�y����� � O C � !O �_] - �&�0�����`�0�5��� �:?���J�4�����4�/�� � � )\[ C f�+7]& ��9�7�� :�4�;� � �_] � O �_]S�a�P�� C ��0 - � ����) � ) � O + C � ) � !O +3+ Y I c� �3�H�_] cVi jMc�]�c-�Pnp|6�pc�^`]n{h�c |Mc�gU[6c�| _m[6|6b6l�^d_ÿ�Pc�oa�-�omc�^ � T �@c�^`jMc�u�n�^dj f{e o�c�[6�{^`j^&�sfw��_ÿ^dj�c�[6|B�Pc�h3^`_ml�c�] � T�n{[6| � !T �i jMc��Phdn{u6j � O�� T9_m] l�fp[6]�^`hkb6l�^`c�|�eÞhkfPt � O �P� _m[6]�c�h3^`_m[6�´^`j6cäc�|6�Pc�) � O C � !O +�� _m[6]�c�h3^`_m[6�´^a�sf [6c7� �Pc�h�^d_�l�c�] � O�� T C � !O�� T np[6|�c�|6�pc�]f) � T C � O�� T + C ) � !O C � !O�� T +è� _m[6]�c�h3^`_m[6�%CL� ��[6c�� l�fpt�t�fP['[Mc�_��pj­�@fph�]f{e � O n{[6| � !O ��) qsfp[6]�bMoÿ^ � _�� � [�V_a^`j¼^dj6c®|M_�$©c�hkc�[6l�cä_�[�/ y n{[6|¼^`jMc®[Hb6t��@c�h�]Vf{e�_m[6]�c�h�^dc�|�[6c�_m�PjH�=fph�]B� +

��]�^`jMc9_m[6_a^`_�npo­�Pc�h�^`_ml�c�] � T np[M| � !T nphkc9f{e*|Mc��Phkc�c�CS� r~^`jMc��vt�b6]3^ �@c�n{]�]�_m�p[6c�|o�n{�=c�o�]Vf{e�l��Bl�o�_ml|6_%$1c�h�c�[6l�cw[#np[M|&^`jMc´o�np�@c�om]9f�e�^`jMc�_�h�C(� r�l�fPt�t�fp[)[6c�_m�PjH�@fPh�]n{h�cFb6[M_�üHb6c�oa�¼|Mc�^`c�h�t�_m[6c�|�np]z�sc�omoán{] ^`jMcFoÉn{�@c�o�]sf�er��c�h�^`_ml�c�] � � np[6| � !� ��Y e �=� o�� f � �� ) � T7+ Y fn{[6| � ) � !T +�Y ��^`jMc�[ � ) � � +�Y ��n{[6| � ) � !� + Y l �Y ^#_�]´]�^`hdn{_��pj�^kegfPh � nphk| ^dfø]�j6f#� ��� ^`j6c�]�npt�c¼n{h��Pb6t�c�[P^`]ûn{]û_m[Us*c�t�tvn%� � f

^dj�n�^äegfPh®np[P� I9o�np�@c�om]Ff{e � O � T C � !O C � O�� T�n{[6| � !O�T C � O C � !O�� T nphkcvl�fP[6]�c�l�bB^`_a�Pcv^`h�_mu6omc�]t�fx|Mb6omfC&n{[6|��pc�^V^dj6c®|Mc�]�_mh�c�|�h�c�]�bMoÿ^K�

� fPh�]�_�t�uMo�_ml�_a^\�,�sc~lRn{o�o6��c�h�^`_ml�c�] � O n{[6| � !O �4����+ }�H� ?;�4�%� �� -�� .�5�0�7�4�%� ��0 "���f�e � O��

f/�

Page 14: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� �6]�c�h3�Pc¼^`j�n¢^û_ae � c¼_a^`c�hdn¢^`c�^dj6c¼c7Vx^`c�[6]�_mfP[ |6c�]kl�h�_m�=c�| _m['^`j6c¼o�c�tvtvn � T � f^d_�t�c�]��1� c��pc�^�nû�Ph�npu6jQ�VjMfP]�c�u@fpo�c�]�npomomfH� o�n{�=c�o�] f{e�|6_%$©c�h�c�[Ml�cf[x���6bB^9_a^`] ]�_m��cä_�]�() C T +���Y\[#^`j6c�egbB^db6h�cV|6_m]�l�b6]�]k_�fp[ �sc �V_momo6h�c�lRn{o�oM^dj6_�]þ�phdn{u6j-n{] � Ts_m[6]�^dcRnp|vf{e©^dj�n�^bM]�c�|)_m[ ^`j6cäu6h�fxf�e�f�e s*c�t�tvnf� � f �� �3�H�_],�_] R ����0����� �=cVi+j6c�u6hkfxf{e�_m]�n{[�npomfP�pfPb6]+^`f�^`j6cu6h�fxf�e�f{e�i j6c�fph�c�t f�n{[6|�scä]�j6f#� ��� � � � )\[ C fW+98 " ��;�!," ��)%�s*c�^ � np[M|*1 y�CED#DED�C 1 � �@c9^`j6cF_m[6]�^`np[6l�cZf{e�^`j6c ��� � u6hkfP�6omc�t � � �6]kc�h��PcF^dj�n�^^dj6cv^`h�np[6]3eÞfph�tvn�^d_�fp[;, , ! Y � , u6h�f¬�B_m|6c�]�nK�6_ ^�c�l�^`_mfP[ �@c�^&� c�c�[ ^`j6c fPh�_m�P_m[�n{o� � �íu6h�fp�6omc�t n{[6|-_a^`]þ�Pc�hk]�_mfP[w�Vj6c�h�c9^`j6cZn{_�t _m]�^`f g�[6|¼n�l�fPomomc�l�^`_mfP[#f�e*|6_m]�^`_m[6l�^_m[P^`c��Pc�h�] > ! y C > ! T CEDED#D!C > !� C � ! y C�� ! T C#DED#D�C � !< C � ! y C � ! T CED#DED!C � !< ]�b6l`j�^`j�n¢^

egfPh�n{o�o �fY f C#DEDED�C � �C> !� 8:1 !� � �Vj6c�hkcZnpomoU]kc�^`]sl�fp[�^`np_m[�fP[6oa�#t�b6oa^`_mu6omc�]�f{e �M� egfPh npomo�I�Y f CED#DED�C � � � !O 8 � fH� � ��� I C f#� �

~ � I   � egfPh npomo�I�Y f CED#DED�C � � � !O 8 � � . � ��� I C �2. �

~ � I   � ����) � !O C � !O + YF� [ � � . IïegfPh+c���c�h��LI Y f C [ CEDED#D�C � np[M| C(Y � � � G� csl�fP[M]�^`h�bMl�^�^`jMcD�Ph�npu6j'> npl�l�fph�|6_m[6�V^`fV^`jMcþegfPomomf#�V_�[M�VuMoÉn{[()gl�fp[6]�bMoÿ^ � _�� �0r +��YM� � c gUhk]�^û_m[6]�c�h3^��Pc�h�^`_ml�c�] � � C � �y C#DEDED!C � �� C ��� y CED#DED!C ���< C ���y CED#DED!C ���< �VjMc�h�c � � _�]n{|�^dnpl�c�[P^V^df�n{o�o1f�^`j6c�hk]B�

Y�YM� 3 b6_mo�|Kn�l`j�np_m[øf�e [ � l�fpu6_mc�]Ff{eþ^`jMc#�Ph�npu6j � T <�]�b6l`jé^dj�n�^F^dj6c ' u@fpo�c�f�e^`jMcwIgý ^`j l�fpu��é_�]ät�c�h��pc�|/��_ÿ^`jø^`jMc wéu@fPomc f{es^dj6cûegfPh�^dj6l�fPt�_m[6�¼l�fPuP�'n{[6|^`jMc�h�c�]�b6oa^`_m[6���Pc�h�^dc7V _m]�|6c�[6f�^`c�| ���;, O �¼Y\|Mc�[�^d_ÿe �é^`jMc-w'u@fpo�cûf{e ^`j6c gUhk]�^l�fpu��(�V_a^`j � � np[6|�npom]�fh^�fp_�[(, y ^`f � � ����np[�c�|6�Pc��

YkY�YM� � fph�cRn{l�j �fY f C#DEDED�C � ^�np«{cVc��Pc�h��vu@fp]�]�_m�6omc�c��Pc�[ M 8 � [ C � C#DEDED�C � [ � � [   ,1 !� np[6| _m[6]�c�h3^�^&� føl�fPu6_mc�]�f�e ^`j6c-�phdn{u6j � F ]�b6l`j ^dj�n�^��@f{^dj w�u=fpomc�] nphkc_m|6c�[P^`_%gUc�|���_ÿ^`j , T ��n{[6|é�@f{^dj;' u=fpomc�]Fn{h�c tvnp|6cûnp|H^dnpl�c�[P^F^`f¼^`jMc��Pc�h3^`c7V� �� �

Y�� � � fph�cRn{l�jtI Y f C#DED#D�C � ^�fP_m[��Pc�h�^d_�l�c�] � �O np[M| � �O �x_�n)��np|M�Pc�^ � T < ��� O ]kb6l�j^`j6n�^ ���O _�] t�c�hk�Pc�|N��_ÿ^dj�^dj6c´w-u@fpomcänp[6| ���O �V_ÿ^dj¼^`j6c ' u@fpo�c��� �VY;[6]�c�h3^vn&l�fPuP� f{e�^`jMc-�Phdn{u6j � y�� < np[6| egfPhcRnpl`j�I'Y f C#DEDED!C � _�[M]�c�h�^´^a�sfl�fpu6_mc�]ûf�e�^`j6c¼�Phdn{u6j � y�� < � y T O n{[6| ^a�sfél�fPu6_mc�] f{e � y�� < � y T O � ��c�hk�Pc�n{o�o wu@fPomc�] �V_ÿ^dj�^`j6c®�Pc�h�^dc7V � � n{[6|&h�c�[�n{t�cä^`j6c ' u=fpomc�]9�P� .Hy�� < � .Hy�� <� y T O�n{[6|

. !y�� <� y T O ��~YM� � fph cRnpl�j|I�Y f CED#DED!C � ^�fP_m[¼�Pc�h�^d_�l�c�] ���O np[6| . y�� < �B_�n���n{|6�Pc�^ � � O ]kb6l�j�^dj�n�^

���O _m] t�c�hk�Pc�|N�V_a^`j�_ÿ^`]Vw�u@fpo�cän{[6| .Hy�� < �V_a^`j¼^dj6cäf{^`jMc�hVu@fpo�c��

f#�

Page 15: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� T < � T < � T <

� T < ��� ���<

� T

� �

� y�� < � y T� y�� < � y T

�B�B�

�B���

� T < � T

� �T � ��� �y

��� y ���y

���

�B��� � T < � � <

�Ph�npu6jM] � FZeÞfph c��Pc�[�M �8;1 !y)gcRn{l�j�np|6|Mc�|�^&�V_ml�cH+

, y ,�T ,�T ����

�phdnpuMj6] � FZegfPh*M Y fH� � � fW[0I C I 8Ui l C � m)Þn{|6|6c�|�^&�V_ml�c`��j6c�[ I �?l +

� y�� <. y�� < � y T. y�� < � y T

. y�� <

���

� � <���<

� _��pb6h�cxr �þi j6cä�Ph�npu6j|> �

�~Y�YM� � _m[�npomoa� egfPh�cRnpl`j8I(Y f CED#DED!C � ^�fP_m[ ���O �V_a^`j ^`j6c�egfpb6hû�Pc�h�^`_ml�c�] . y�� < � y T O C. !y�� < � y T O C .­y�� < � y T O C/. !y�� < � y T O �

��]�]kb6t�c�gUh�]�^ï^`j�n¢^ > npomomfH��]�n � )\[ C fW+ ý\o�np�@c�om_m[6� � f�e©]�u�np['C(Yq�� � � � _ÿ^dj6fPbB^omfp]�] f{eZ�pc�[6c�h�npom_ÿ^;���sc�tvnR� np]k]�b6t�c � ) ��� + Y lénp[M| j6c�[Ml�c � ) ,�T � +JY lKegfPhûnpomo�fY f CED#DED!C � )gYkYS�B+S�

� n{l�j � �� j�nR�Pc[6c�_m�PjH�@fPh�]VoÉn{�@c�o�c�| M C C � M¼egfPhVn{o�o�c��Pc�[ M 8 � [ C � CEDED#D�C �9[ � �[   , 1 !� |Mb6cä^`f|)gY�Y�YM�B+���Y>^d]9[6c�_m�PjH�@fPh ��� _�]�o�np�@c�omc�|��P�|lB��n{[6|�_ÿ^�lRnp[6[Mf{^9b6]�c�o�n{�@c�o�9[ � ]�_m[6l�cû^dj6cû�Pc�h�^`c7V , y _m]äegfPhkl�c�| o�np�@c�o � [ � np[M| _�]®n�^�|6_m]�^`np[6l�cû^&� f�egh�fpt � �� �<9c�[Ml�c�fP[Moÿ�-oÉn{�@c�o�] f�e 1 !� h�c�tvnp_m[ eÞcRn{]�_m�6omcZegfPh � �� �}~b6c�^`f�]��xt�t�c�^`h���f{eUn � )\[ C f�+>ý;oÉn{�@c�o�_m[6�c� cslRn{[�egb6h3^`j6c�h�np]�]kb6t�c �=� o�� f � � �á^dj�n�^

� ) . y�� < +hY f#� � n{[6|éeghkfPt ) �~YM�B+VegfPomomfH��]�^`j�n¢^®fP[Moÿ� fH� � �?� I nph�c�egcRnp]�_m�6omc�o�np�@c�om]egfph cRnpl`j � �O ���] � ) . F + Y M C � ) . !F +SY CQ�{M&fphZ�B_ml�cèý ��c�h�]dnB��cRn{l�j ���O j�n{]FegfPhk�6_m|6|6c�[éo�np�@c�om]

f#� � � f�[0Iän{[6|��2. � � f�[0I~eÞhkfPt ) �~YkY6+��ï�Zom]�fé|Mb6c¼^`f ) Y � �ÿ� �~YM�B+ j6fPom|6] � ) ���O + 8� ) ���O +�� )Z� [ � � .Ia+QY � �2. � � � I C �2. � � fW[WI   np[6| n{oÿ^dfP�pc�^`j6c�hûfP[6oa�U�2. � � � Ihkc�tvnp_m[-egcRn{]�_m�6omcFoÉn{�@c�o�]DegfPh ���O �

fWr

Page 16: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� _m[�npomoa� |6b6c~^`f�)gYM�B++npomo1o�np�@c�om] f{e � �y CEDED#D!C ���< n{h�c®|M_�]3^`_m[6l�^¬�6j6c�[6l�c > y CED#DED!C � <'Yy� � ) � �y + C#DED#D�C y� � ) ���< ++_m]�n´�pn{o�_m|¼]�fPombB^d_�fp[�f�e�^dj6c ��� � uMh�fP�Mo�c�t �Y;[ ^`j6c fPuMu@fP]�_a^`c |M_�hkc�l�^`_mfP[ eÞhkfPt np[P� egcRn{]�_m�6omc ]3�B]�^dc�t f{e hkc�u6h�c�]�c�[�^�n¢^`_a�Pc�]

> y CED#DED!C � < �sc-lRnp[ |Mc�h�_a�Pc¼n � )\[ C f�+>ý;oÉn{�@c�o�_m[6�¼f{e�> f�eV]�u�n{[ C Y �� � ��s*c�^^`j6co�n{�=c�o�]vf{e��Pc�h3^`_�l�c�] � � C , � C/. O C/. !O n{h�cø]kc�^�^`omc�|ín{]�|6c�]�l�h�_m�@c�|ínp�@f¬�Pcén{[6| oÉn{�@c�o�]-f�e� �y CED#DED!C ���< n{h�c?> y CEDED#D!C � <x��cRnpl`j�t´b6oa^`_�uMo�_mc�|-�P�Q� �irf�n{h��pb6cD^`j�n�^�^dj6_m]ïo�np�@c�om_m[6��lRnp[û�@c+c7V­^`c�[M|6c�|�^dfZ^`j6c c�[�^`_mh�c �Ph�npu6jw> �sc [6f�^`c

^dj�n�^þn{]þn{o�oBl�fPuM_�c�]�f�e@^`j6c �phdnpuMj � F _m[6l�_m|6c�[P^ ��_ÿ^dj#n{[��,gPVBc�|û�Pc�h�^`c7V�) c�]�u@c�l�_�npomoÿ� ���n{[6|&n{omo , T �!+ j�nR�Pc�|6_m]�^d_�[Ml�^9�{npomb6c�]Vf{enM@�U^`j6c���_�[P�PfP«{c�|6_m]�^d_�[Ml�^w� -9- o�np�@c�om]�fP[�^`j6cn{|�^�fP_m[P^®�Pc�h�^d_�l�c�]´_m[6]�_m|6cû^dj6c���n{|6�Pc�^d] � F n{[6| lRn{b6]�cv[6f)l�fp[1=U_ml�^ �V_a^`j�^dj6c�f{^dj6c�ho�n{�=c�o�]��� _m[�npomoa�vfp�6]�c�h��Pcä^dj�n�^�^`jMc®hkc�]�b6oa^`_m[6� �Ph�npu6j|> _m] f{er^`hkc�c��V_m|B^`j�[ �

� � � � � � ���������Rú¬ò � � õ�� �vô������ � õ�� �'õv÷Kòøö �Fö ó�ô������� úRö�ó��

o~_ÿ�Pc�[��Phdn{u6j6]'> n{[6| / ��np[ /t)\[ C f�+>ý\o�n{�@c�o�_m[6�vf{e > _m]�n�tvnpuMu6_m[6� � � � � ���� ]�bMl�j'^`j�n¢^�np|�^dn{l�c�[�^®��c�h�^`_ml�c�]�f{e > nph�cûtvnpu6u@c�| fp[�^df�|M_�]�^d_�[Ml�^[MfP[�n{|�^dnpl�c�[P^�Pc�h3^`_ml�c�]®f�e / ) _�� c��a��|M_�]3^�np[Ml�cûf�eD^dj6c´^�nphk�Pc�^F�Pc�h3^`_�l�c�]®_m]Fn¢^®o�c�np]�^ [x��tvc�np]�b6hkc�|é_�[^dj6cZ^�n{h��Pc�^ �phdnpuMj /�+Dnp[6| �Pc�h�^`_ml�c�]��V_a^`j�n�l�fPt�t�fP[¼[6c�_m�PjH�@fPhs_m[Q> n{h�cFtvnpu6u@c�|fp[�^df |6_�]3^`_m[6l�^s�Pc�h�^d_�l�c�]+f{e / )g_�� c��ÿ�­^`j6cF|6_m]�^`np[6l�cZf{e�^`j6cZ^`nph��pc�^ ��c�h�^`_ml�c�] _m] n�^ omcRnp]�^f�+(i�0Wm�� i jM_�] |6c�g�[6_a^`_mfP[ �pc�[6c�hdn{o�_m��c�]´�=f�^`j ^`j6c @ )\[ C f�+>ý;oÉn{�@c�o�_m[6�p]()4�VjMc�[ / _�]ûnu6n�^`j(�Vj6fP]kc®omc�[6��^`j¼c�ü­b�n{om] ^dj6cF]�u�n{[�f{eá^`jMc®o�np�@c�om_m[6��+�np[M|¼^`j6c � )y[ C fW+>ý;o�np�@c�om_�[M�P])v�Vj6c�[4/ _m] n�l��xl�o�c*�Vj6fp]�cFomc�[6�{^dj¼np�Pnp_m[ c�üHb�n{o�]�^dj6c~]ku�np[G+��þi j6c~l�fPt�u6bB^`n�^`_mfP[6npol�fPt�u6omc7VM_a^;�'f{e ^dj6_m]´u6hkfP�6omc�t egfPh gPVBc�| u6nphdn{t�c�^`c�h�Ph�npu6jM]�/ � np] ]�^`bM|6_mc�| n{[6|tvn{[��&u�nph3^`_ml�b6o�nph�h�c�]kb6oÿ^d] � c�hkc#u6h�f¬�Pc�[�_�[ i�.�m��´i j6c#lRn{]�c'�Vj6c�[ø^`j6cû]�u�n{[é_�]än{om]�fu6nph�^�f{er^`j6cä_m[6u6bB^Vl�fPh�hkc�]�u@fP[6|M]�^`fû^dj6cFegfpo�omf#�V_m[6�´|Mc�l�_m]�_mfP[�u6hkfP�6omc�t��)\[ C f�+98:"2��;<!#"=���)> ��@?;�BAhoFhdn{u6j6]�> np[6|0/ �

E ?�����2�\�0�@AV}~fxc�] > npomomfH�ínp[ /�)y[ C fW+>ý;o�np�@c�om_�[M�=G� eZl�fpb6h�]�c�^`jM_�] u6hkfP�6omc�t _m] �c��ý\l�fpt�u6omc�^`cvegfPh �phdnpu6jM] > f�e9^`hkc�c��V_m|B^`j ^&�sf6�

]k_�[Ml�c~�@f�^`j T�UWV-XZYO[\8:" �7;<!," ���) n{[6| �UWV XZYO[\8 " ��;�!," ��) nphkc~_a^`]s]�u@c�l�_�npo@lRn{]�c�]���Y;[^dj6_m]þ]�c�l�^`_mfP[w� c��p_ÿ�Pc9n®]�b6�x^`o�c�hD]�c�u6nphdn¢^`_mfP[�f�e*�@fPb6[6|Mc�| �V_m|B^dj l�o�np]k]�c�]��x[�n{t�c�oa�û_�[^dc�h�t�]�f{e@u�n�^dj9�V_m|B^dj@� oFhdn{u6j6]�f{e@u�n¢^`j9��_�|B^dj fP[6c�n{h�c lRn�^dc�h�u6_momoÉn{h�]z) ^`hkc�c�]�fp�B^�np_m[6c�|

fH�

Page 17: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

�P�ûu@c�[6|M_�[M�np[P�û[Hb6t��@c�hþf{e©omcRnR�Pc�]þ^dfF�Pc�h�^d_�l�c�]Df�e*nFu�n�^dj�+è�xn{[6|�]�f~^`j6cVl�oÉn{_mt ^dj�n�^)y[ C fW+B8:" �7;<!," ���) _m] ]�fPoa�{np�6omcv_�[ u@fPoa�x[6fPt�_�npoï^d_�t�c#eÞfph �Phdn{u6j6] > f{e9u�n¢^`j �V_�|x^`jfp[6c�)Þnp[M|�nphk�6_ÿ^dhdnph3�4/�+�egfPomomf#�V]seghkfPt fpb6h�i j6c�fph�c�t � �� �3�H�_],�_] R ����0����� �@cVi+j6c®eÞfpomo�f#�V_m[6�ûnpom�Pfph�_a^`j6t _�]Vn#]�^dhdnp_m�PjP^�egfPh �+n{h�|)c7V­^`c�[M]�_�fp[f�er^`j6c®npom�Pfph�_a^`j6t egfph @ )\[ C f�+>ý\o�np�@c�om_m[6�f{er^`h�c�c�]9f{e i��0m��oF_a�Pc�[énv^`hkc�c � �V_a^`j � �Pc�h�^d_�l�c�]��*l`j6fxfP]kc#n-omcRn�e�� 8 ��� n{[6|éh�c��Pnph�|K_a^än{]Fnhkfxf{^9f{e � � � fPhVc��Pc�h��)c�|6�pc )!� C � + 8 � � ]�bMl�j)^`j�n�^ �K_�]9nvl`j6_mo�|�f{e � �U|6c�[6f�^`c��P���d � ^`jMc#]�bM�B^`h�c�c�f�e � hkfxf{^dc�|é_�[ � n{[6|�l�fP[P^�np_m[6_m[6� � np[M| n{o�o�_a^`]F|6c�]kl�c�[6|�n{[�^d]B�� fPhäc��Pc�h�� ]�b6l`j c�|6�pc n{[6|'egfPhäc��Pc�h�� u6np_mh®f�e+�Pc�h3^`_ml�c�] , C/. 8 � � � � c-_m[�^dh�fx|6bMl�c

n 3 fxfPomcRnp[ �{n{h�_�np�6omc���)!� C � C , C/. +,��j6_ml�j"_m] � � ���ø_ae®n{[6|"fp[6oa� _ae ��d � npomomfH��]-np[

/t)y[ C fW+>ý;o�np�@c�om_�[M� � ]�bMl�j ^`j6n�^ � )!�5+QY , np[M| � ) � +NY . � i j6c�[ � n{o�omf#�V]vnp[/t)y[ C fW+>ý;o�np�@c�om_�[M��_ÿeïnp[6|�fP[Moÿ��_ae���) � C � C , C/. + Y �������äegfphV]kfPt�c~��c�h�^`_ml�c�] , C/. 8 � �)gnp[6| �)�@c�_m[6� ^`jMcFfP[6oa�¼l`j6_mo�|�f{er^`j6cäh�fxf�^� +���i jMcFegb6[6lè^`_�fp[�)l�np[��@cFl�fPt�u6bx^`c�|�P�-^`jMcFegfPomomfH��_�[M��|B�x[�npt�_mlFu6h�fp�Ph�npt�t�_m[6� npom�pfPh�_a^`jMt0�

f �Zwxc�^Z^`j6c´_�[M_ÿ^`_�n{o1�{npomb6c�]���) � C � C , C0. +zY �� ���� ��eÞfphZnpomorc�|6�Pc�] ) � C � + 8 ��� n{[6|�Pc�h�^d_�l�c�]2, C/. 8 �����

[ �VY e��ø_m]VnvomcRn�e�f�e � np|�^dn{l�c�[�^�^dfv_a^`]Vu�nphkc�[�^ � ��^dj6c�[)]kc�^ � )!� C � C , C/. + Y �������egfPh npomo©|6_m]�^d_�[Ml�^V[6fP[6np|�^dn{l�c�[�^��Pc�h�^d_�l�c�] , C0. 8������

�3�ZwxbMu6u@fP]�c~^`j6n�^��)_m]�npomh�cRn{|B�-lRnpoml�b6o�n�^dc�|¼egfPh�n{o�o1c�|M�Pc�]�f{e ��d � c7VBl�c�uB^w)!� C � +��}~c�[6f�^`cï��� � y C � T CED#DED!C � F ^dj6cþl�jM_�om|6h�c�[äf{eC� � � fphán{o�o{u6np_mh�]�f{ex|6_�]3^`_m[6l�^á[6fP[6np|xý^dnpl�c�[P^~�Pc�h3^`_ml�c�]�, C0. 8 � � �©l�fP[6]3^`h�b6l�^F^dj6c�]�cè^®]��B]3^`c�t ��� y�C � T CEDED#D!C � F   �

�VjMc�h�c� O Y � � � � 8�� � C � �Y . np[6|�� ) � O C � C � C ,_+�Y��������  

n{[6| ]kc�^���) � C � C , C0. + Y �������-_ae+^dj6c-]�c�^ ]��B]3^`c�t ��� y C � T CED#DED!C � F   j6np] n]��x]�^`c�t f{e�|6_m]�^d_�[Ml�^Vh�c�u6hkc�]�c�[P^�n�^d_ÿ�Pc�]��

� fPh�^dj6cä^`_mt�c�n{[�n{oÿ�x]�_m]9[6f�^`cä^`j6n�^9^dj6ch�c�l�b6hk]�_a��c]�^dc�u&h�c�ü­bM_�hkc�]��@egfph9cRnpl`j&u�np_mh, C/. 8 �����ä^`_mt�c��() � M�+¼^`f l�fP[M]�^`h�bMl�^&^`j6c ]�c�^ø]��x]�^`c�t n{[6|í^d_�t�c �N)yM�� � M�+egfph |6c�l�_�|6_m[6� _aeä_a^ j�np]¼n{[ wB}F� )gc�� � �ÿ�V�P� b6]k_�[M� ^dj6cKnpb6�pt�c�[�^d_�[6� u�n¢^`j6]¼n{o��pf�ýhk_ÿ^dj6t egfPhûnø�6_mu�nph3^`_a^`c-�Ph�npu6jt�V_a^`j n�^#t�fP]�^ � M c�|6�pc�]vnp[M|��V_a^`j M �Pc�h�^d_�l�c�]û_�[fp[6c��M_�u6nph�^d_ÿ^`_mfp[)l�o�np]�]�+��®��oa^`fp�Pc�^`jMc�h�^`jMcûhkc�l�b6h�]k_ÿ�Pc ]�^dc�uéh�c�üHb6_�hkc�]Z^`_mt�c �() � M T +S�Y ef�sc |6c�[6f�^`c �P� M

�^`jMc [­b6t´�@c�h�f�eûl�jM_�om|6hkc�[ f�eûn [MfP[6omcRn�e�Pc�h�^dc7V � 8 � � �

�sc'j6n¬�Pc��� ���� M � Y � � f8)É^`j6cé[Hb6t��@c�h�f�e´c�|6�pc�]�f�e �S+è�Znp[6| jMc�[6l�cø^`j6c

^df{^�n{oFh�b6[M[6_m[6� ^`_mt�cø_m]�tvn#^dfph�_m��c�| �P� �N) �� �� � � M T� +�Y �() �� � �

�� � M T� + Y�() � ) � �

���� M � +T + Y �() � � T +S�

fW�

Page 18: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� �9] ����4�#_m]�n��Ph�npu6j&l�fp[6]�^`hkb6l�^`c�|)egh�fPt n�^`h�_�np[M�Pomc )g]dnR��u � + �P�&l�fp[6]�c�l�bx^`_a�Pcn{b6�ptvc�[�^�n¢^`_mfP[�f�e6^`hk_Én{[6�Pomc�]á]kf�^`j6n�^�cRnpl`jwu O ]kj�nphkc�]�fp[6csc�|6�pc �V_a^`j^`jMcsu6h�c��x_mfPb6]�oa�n{b6�ptvc�[�^`c�|Ju O

� y � �Vj6_momc�^`jMc�^`j6_mh�|#�Pc�h�^`c7V-f�e u O _�]�nä�Pc�h�^`c�V�[6c���oÿ��np|M|6c�|-_m[�^dj6_�]]3^`c�u@��� �phdnpuMjøj�n{]Fu�n�^dj9�V_m|B^djén¢^ät�fP]3^~^&� f¼_ÿe�np[M|�fp[6oa��_ae�_a^ä_m]Zn¼]kb6�6�phdnpuMj�f�enJ[¬ý\u6n�^`j@��Y\[�u�nph3^`_ml�b6o�nph���n eÞn{[�f�e�^`hk_Én{[6�Pomc�] fp�B^�n{_�[Mc�|¼egh�fPt n#u�n�^dj��P��np|6|6_m[6�vn�Pc�h3^`c7V�np|�^dn{l�c�[�^�^`fvn{o�o��Pc�h�^`_ml�c�]Vf{er^`j6cäu�n�^dj1��j�np]�u�n¢^`j �V_�|x^`j¼^&� f �� �3�H�_],�_] R ����0����� � c � c h�c�|6bMl�c egh�fpt 2 ���� "a��� �� ��� �*� ��� �VjM_�l`j _�] � c�omo«H[6f#�V[ ^`f �@cX�c�Uý;l�fPt�uMo�c�^dc�i f/�Wm�� oF_a�Pc�[ n'�Ph�npu6j / ! �V_a^`j � �Pc�h�^d_�l�c�]�� o�cè^*/�@c�^`jMcø|6_m]4^�fp_�[P^¼bM[6_�fp[ f{eä^`j6c&l�fpt�u6omc�t�c�[�^�f�e / !9np[6| n{[ _m]�fPo�n�^dc�| �Pc�h�^dc7V@, �s�c�^ > �@c fP�B^`np_m[6c�|&eghkfPt n¼u�n¢^`jéf{eDomc�[6��^`j � �_f fP[K�Pc�h�^d_�l�c�] � y7C � T C#DEDED�C � < �P�n{|6|6_m[6�ûn�Pc�h�^`c7V"(�1�Vj6_ml`j�_�]+np|H^`n{l�c�[P^V^df#n{omo � O A ]B��i jMc�[�cè��c�h��0/t)y[ C fW+>ý;oÉn{�@c�om_�[M��'f{ez> _m]~np[é_m[�^�c�l�^`_a�Pcûtvn{u6u6_m[6�vegh�fpt ��� ^`f � � )g]k_�[Ml�c > j6np]F|6_�npt�c�^dc�h�^&� f +è�n{[6| � _m]#[6c�l�c�]�]dn{h�_moÿ� �M_�^�c�l�^d_ÿ�Pc�) ]�_m[6l�c # � � # Y # ����# +�� � _a^`j6fpbB^vomfp]�]#f�eä�pc�[6c�h3ýn{om_ÿ^;� � )�(`+ Y ,á��n{[6| j6c�[6l�c � ) � y + C � ) � T + CEDED#D�C � ) � < +~_�]n|<�npt�_moÿ^dfP[6_�np[Ku�n�^dj _�[/ !É��]�_m[6l�c ) � O C � O�� y + 8 � �"_mt�u6om_mc�]Z^`j�n¢^L) � ) � O}+ C � ) � O�� y +3+ �8 � � �)i j6c-fpu6u@fP]k_ÿ^dc_mt�u6om_mlRn�^`_mfp[v_m] ]3^`hdn{_��pj�^keÞfph � nph�|F�

� � õ�òøù �¬÷KöøúRò�� ô���� ��ô�� �

� c�j�nR�Pc egb6omoa��l�j6nphdn{l�^`c�hk_���c�|K^dj6c�l�fpt�u6bB^�n¢^`_mfP[�n{orl�fPt�u6omc7VB_ÿ^;��f{eS)y[x� f�+>ý\|M_�]3^�np[Ml�cl�fP[6]�^dhdnp_m[6c�| �phdnpuMj o�n{�=c�o�_m[6�p]´_m[ ^`j6c�lRn{]�c�f�eZom_�[McRnph n{[6| l��xl�o�_ml¼tvcè^`h�_ml�] _�[ ^`j6cl`j�n{[6[6c�o�]ku�npl�c��9�V_a^`j#hkc�]�u@c�l�^�^`f~^`j6c+^`h�c�c7�V_�|x^`j�f{e@^`jMcV_m[6uMbB^��phdnpuMj6]B� � bMh�h�c�]kb6oa^`]uMh�f¬�PcDu@fPoa�x[6fPt�_�npo��c�Uý;l�fPt�uMo�c�^dc�[6c�]�]=|6_ml�j6f�^`fPt��ä]�c�u6nphdn¢^`_m[6��^dh�c�c��V_m|B^dj�fP[6c�egh�fPt^dh�c�c��V_m|B^dj�^&� fM��Vj6_ml`j)_�] n#hdnphkc®u6jMc�[6fPt�c�[MfP[&n{[6|�j�np]�]�fûeÞn{hV�@c�c�[�«­[MfH��[)fP[6oa�egfphä�Pc�h���eÞc�� u6hkfP�6omc�t�]()g[6npt�c�oa�&^`j6c � � �<�S������"fPh �� �� ����� T ���! ��� $ �@8�<����)*!#�+!,�-�(�Vj6_ml�jv_�]ïu@fPoa�B[MfPt�_�npo­egfPh�^dh�c�c�] ik[0�0mG��j6_mo�c`�n�Uý;j�nphk|6[6c�]k]�eÞfph��phdnpuMj6]f�e�^`h�c�c���_�|x^`j�^a�sfvegfPomo�f#�V] egh�fPt i f/0Wm�+�� � _ÿ^dj)|6_m]�^�n{[6l�cl�fP[M]�^`hdn{_�[Mc�|&oÉn{�@c�o�_m[6�p]�� cj6n¬�Pcn{|6|6c�|�n [�n�^`bMhdnpo*np[M|�_mtvu@fph�^�n{[�^ u6hkfP�6omc�t ^df#^dj6_m] ]�j6fph�^9om_�]3^$�

s*c�^rb6]áh�c�tvn{h�«V^`j�n¢^rfpb6h�tvnp_m[~h�c�]�b6oa^�_m]1_�[M|6c�u@c�[6|6c�[P^�fP[~^`j6c �c��ý\l�fPt�u6omc�^`c�[Mc�]�]f�eþ^`j6cS� �-������!," $'&(&(�)*���+!#� � u6h�fp�6omc�t��=^`j6fpb6�Pjé�@f�^`jéu6h�fp�6omc�t�]Fn{h�c h�c�o�n�^`c�|�P� ^`jMc�t�f{^d_ÿ�{n�^d_�fp[ _m[ egh�c�üHb6c�[6l�� n{]�]�_m�p[6t�c�[�^K� i jMc ��� ������!,"�$'&(&(�)*���+!#� �_m]�«H[6f#�V[��c��ý;l�fPt�u6omc�^`c®egfPh��phdnpu6jM]Ff{eï^`h�c�c��V_m|B^dj&^`jMh�c�c{�*�MbB^ä_a^`]Zl�fPt�u6omc7VB_ÿ^;��egfPh^dh�c�c��V_m|B^djK^a�sf��Ph�npu6j6]Z_m]~]�^d_�omorfPu@c�[@��i jMcûl�fPh�c f�e�^dj6c(�c��ý;j�nph�|M[6c�]�]äf{eþ^dj6c´^a�sfuMh�fP�Mo�c�t�] om_�c�] _m[�|M_�$©c�hkc�[�^�np]ku@c�l�^`]�f{eá^dj6c®uMh�fP�Mo�c�t�]+np[M|�fP[6cF|Mfxc�]�[6f{^�]�^`hdn{_m�PjP^kýegfph �+n{h�|6oa��egfPomo�f#� eÞhkfPt ^`j6c#f�^`j6c�hB� � [éfp[6c j�n{[6|1��T�U\V XZYO[\8:"2��;�!," ��) h�c�o�n¬�x]Z^`f��� ������!," $'&(&( )*����!,� � �P��l�fp[6]�_m|6c�h�_m[6�-^`j6c#]kc�l�fP[M|?)g|6_m]�^�n{[6l�cH+�u@f#� c�h®f{e�^`j6c

f/.

Page 19: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

_m[6uMbB^~�Phdn{u6jKnp[M|øn{]�]�_m�p[6_m[6� �sc�_m�PjP^`] [û^dfv^`j6c�fph�_m�P_m[�n{o*c�|6�pc�]änp[M| f^`fv^`j6c´[6c��fp[6c�]B��<�f#�sc��Pc�h���^dj6c �Phdn{u6jl�fP[6]3^`h�b6lè^`c�|#_m[®^`j6_m] �+nR� �V_momo­[6f�^ïj�nR�Pc �=fpb6[6|Mc�|´^`h�c�cèý��_�|x^`j@� � [¼^`jMcFf{^`j6c�h j�np[M|1�@T�UWV XZYO[\8 " ��;�!," ��) _m[P�PfPoa�Pc�]Vfp[6oa� � c�_m�PjP^`]h[ n{[6| fp���j6_mo�c^dj6cN�c��ý\j�n{h�|6[Mc�]�]®f�eþ^`j6cS� �-������!," $ &(& �)*����!,� � uMh�fP�Mo�c�t _m]~�6np]�c�|'fP[o�n{h��PcQ�sc�_��pj�^d]���^`j6c&uMh�fP�Mo�c�t _m] [6f�^�]�^`hkfP[6�poÿ� �c��ý\l�fpt�u6omc�^`ct) _ÿ^ lRn{[ �@c&]�fPoa�Pc�|�P� |B�x[�n{tv_ml-u6hkfP�phdnpt�t�_m[6��npom�Pfph�_a^`j6t _m[ u@fpoÿ�x[6fpt�_Én{oï^`_mt�c _ae ^`j6cJ�sc�_��pj�^d]�nphkcl�fP[6]�_m|6c�hkc�|�_�[�bM[�nph3��c�[6l�fx|6_m[6� +��Y;[ ^`jMc �Pc�[Mc�hdnpo�UWV-XbYO[\8 " ��;�!," ���)&u6h�fp�6omc�t���Vj6c�[��@f�^`j �Phdn{u6j6]ïl�fPt�c+np]ïu�nph3^`]

f�eF^`j6cK_�[Mu6bB^¬���scøu6h�f¬�Pc)^`_��pj�^-|6_ml�jMf{^`fpt���V_a^`j hkc�]�u@c�l�^¼^`f u�n�^dj9�V_m|B^dj f�eF^`j6c_m[6uMbB^ ) ^`hdn{[6]�t�_a^�^dc�h�]�+�Ph�npu6jF� � fPh �@f{^`j ]�u@c�l�_�npo t�c�^`h�_ml�]�� @ )\[ C f�+ np[M| � )\[ C fW+��^dj6cäl�fPt�u6omc7VB_ÿ^;� egfph �Phdn{u6j6]�f�e��@fpb6[6|6c�|�u�n¢^`j �V_m|B^`j�_�]+fPu@c�[@�irfø«{c�c�u ^`jMc-u�npu@c�h �sc�o�o�egfxl�bM]�c�|1���sc-j�nR��c¼]�^`n�^`c�| t�fP]�^�f{e+^`j6c-h�c�]kb6oa^`]egfPh

^dj6c ]�_mt�u6omc�]�^älRn{]�cûf{eD|6_m]�^�n{[6l�cûl�fP[6]3^`hdn{_�[P^`] )\[­� fW+S�f<9f#� c��Pc�h���t�fP]�^Ff{e�^`j6c�t lRn{[�@cZc7Vx^dc�[6|6c�|�^`fQ):A C + ý�fPh n¢^�omcRn{]�^ ):A C f�+>ý;oÉn{�@c�o�_m[6�p]���]�c�cFc�� � �þ��h�fpu@fP]�_a^`_mfP[N[ �ïY>^ _�]«H[6f#�V[ø^`j�n¢^ T�UvA C f [\8 " ��;�!," ���)"_m]Fu@fPoa�x[6fPt�_�npo*egfPh9^`h�c�c�]FeÞfph~c��Pc�h3�QA8)gcè��c�[é^`j6com_m]�^þnp[M|#u6h�c�oÉn{�@c�o�c�|��Pc�h�]�_mfP[M]�+è�H�6bB^ �Vj6c�[ Z|6fxc�]þ[Mf{^�|M_ÿ�x_m|6c A*�P^`j6c+l�fPt�u6omc7VB_ÿ^;� f�eTDUvA C =[\8:"2��;�!,"=���)éeÞfph ^`hkc�c�]�_�] fPu@c�[¼egfph n{o�o- �� fJ) ^dj6cFo�_m]�^+np[6|�uMh�c�o�np�@c�omc�|-�Pc�h\ý]k_�fp[6]ïnphkc «­[MfH��[û^`fF�@c`�c��ý\l�fpt�u6omc�^`c`i f#l0m�+���irfZ^`j6c l�fP[P^`hdn{h��P� � UvA C =[\8:"2��;<!#"=���)_m]u@fPoa�B[MfPt�_�npo�eÞfph�^dh�c�c�]egfph�n{o�o A C �np]�uMh�f¬�Pc�[ _m[ fpb6h�i jMc�fPh�c�t [ � � V­^`c�[M]�_�fp[f�eVfpb6h´i+j6c�fPhkc�t �)^df&�Pc�[6c�h�npo�UvA C f5[\8:"2��;<!#"=���) f{e ^`hkc�c�] _�]®^`hk_ÿ�x_�npoW��]�_m[6l�cv^dj�n�^egfpo�omf#�V]�����hkc�u6o�npl�_m[6� / �P��_a^`] ABý>^dj�|M_�]3^�np[Ml�c´u@f#� c�hB�V��[)np[�n{o�fp��f{eïi+j6c�fPhkc�t regfph �Pc�[Mc�hdnpo ):A C +>ý\o�n{�@c�o�_m[6�p]DlRn{[��@cäu6h�f¬�Pc�|)�P��nût�fph�cZ^`c�l`j6[6_mlRnpo�h�c�|Mb6l�^`_mfP[F�

� ������������� �

� f���������������� X�� �ZX"!#�%$'&�����(*)�+%���-,.(*)�/9X0�1��243658795�:<;9=�7?>A@B5C;9>ED�FG58FIHJ7?=�:�D�KCLFM>N;9>ED�F.DCO�P65�7Q;9>R58S-TULV;W7X=�=�Y[Z0\C]_^8`�acb�d_egfh`?i8]6jlkmd_e n%oqp�fsrUtvuUwyx�rzLQ{Uu}|

��~ ������$#�v!����%$#����������DUS��_FIDU��>E5�S�5�SAKUD�7?>N;93I��Y�O�D�7�� 7?5�PI3���Y?D��gD�7?PI3M>EYX� 58FIH2�3I7?D��g5C;W>A: ��FIHI=���DUF�PI5�7Q;9>R58S��vLV;W7?=�=hY��Ma�����^�\C`�kmjm�_e� q¡v¡�p�f¢r�rU£vwyxU¤3fhL¥x�¦U¤M|

� ¤C������$#�v!����%$#���'���q§ ;WD�¨I7?>AYQ;�K�¨I>EHM=q;W3I7XDU¨IK�3J;97?=�=��©>AHª;W3 �h�<j�i«Z ¬U­®fh`�]¯a4¡v¡pQf¢r�rU¤�wNfhL ~ fU|

� ¦8�±°�²c!���� X ³1�#´��ZX%!���$¶µ·+%� X#¸G�#¹º3M=�»�p ~_¼ fzw½L�SE5�¾¯=�SA>EFMK PI7?D�¾ISA=�� D�F¿K�795�PM3IY�|ÀªÁ �� �I\Cd_`�]¯i8��\ÄÃÆÅ�kA H�h`?fhj�f�Â�i8jm�6fhe�i8jlk\�W �Ç8È ~ pVÉ15B�\f¢r�rUxvw�È6¤U£�r*Ê_¤ fsxM|

� u*�±°���+���Ë-��������X����g¹º3I=���DUFI5�HI>A:ÌY?=�:hDUFIH_L�DU7XHI=�7�SADUK�>E:�D8O4KU7958PI3IY�|c�®Í�Ω=�:�D�KCLFM>E@B58¾ISA= Y?=<;WY©D8O#Ï�FI>�;W= K�7958PI3IY�| Á ]BÃ�a4Z0\Ce�Яd_j½a�Ñ}Ò8È@f·p�f¢r�rU£vw�ÈFf ~ ÊM{Uu}|

f¢r

Page 20: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� xC�������}���-,.( X�� ���.����µ¿�-!����Ë-²� �� �,X�´������ /m$#$����%$�������X�������&��M��/����ª��� X����¹�3I=¿:�D���PISA=��M>�;���DCO�>AFIHI¨I:�=hH[��>EFID�7?Y�5�FIH 7?=�SE5C;W=�H«PI7?D�¾ISA=���Y ����^v\C`�k jm�_e ky�Wi¡��¿pQf¢r�r�uUw ~ xUx*L ~ t ~ |

� {*����/E!��U! Xº´c�ZXyµ¿�}��)�(=X �g�ZX0!��%$'µ·��!����Ë-²� �� �,X�´�����> �M=hH_L¥PI5�7958��=<;W=�7�:�D�� LPMSE=��ª>�;¥�.DCO��ªL�SE5�¾¯=�SA>EFMKUY±Å�kA H�<`9fhj�fÆ�4ÐvЯ� k f�� Â�i8jm�Ia ¡v¡��¿p ~ £U£3fzw�È�u8rzLQ{ ~ |

� tC����/E!��U! X�´��ZX6!��%$Jµ·��!����Ë-²� �� �,X�´��I24D���PISA=��M>�;���D8OMP6587Q;W>E5�S�:�D �U=�7?Y#D8OMK�795�PM3IY��F-Í�§�SAKUDU7X>N;93I��Y�58FIH[24DU��PM¨ª;®5z;W>ED�F pl�#|"!"5�HI=�Y�58FIH ¹�|�¹�58Tz5�D�TC5ªÈ�=�HIYh| w�È�� 7?DCL:h=�=�HI>AFIKUY��$#}§�§�2 ~ £U£3fUÈ�2�3I7?>AYQ;W:W3}¨M7?:®3-È&%�=�:�=��̾¯=�7 ~ £U£3fUÈ�'�=�:<;W¨I7X=)(�D8;9=�Y >EF2�DU��PI¨ª;9=�7*#_:h>E=�FM:�= ~�~U~ ¤MÈ+#}PI7?>AFIK�=�7-,"=�7?SE5�KMÈ .4=�7?SA>EF0/�=h>EHI=hSE¾¯=�7XK ~ £�£ f�È"PIP-|uC¤�{sLXuz¦vr

� rC����/E!��U! X%´c�ZX�!#�%$ µ·��!����Ë-²� �� �,X�´��c��587Q;W>E5�S}:�D1�U=�7XY�DCO�KU7?5�PI3MY�Å�kA H�hdv W hk \C]�f® Â�i8jm�6fhe�i8jlky�Wi�f*2y`?i�Ð6�03-�6fW\C`�¬)454·p ~ £�£ ~ wytUr*LÄr�rM|

� f¢£C����/E!��U! X�´��ZX�µ·��!����Ë-²� �� �,X ´��ZX�!#�%$ &Æ����(*)�+����-, (*)�/9X���� %�>AYQ;®58FI:�=�:hDUF_LYÄ;W7958>EFM=�H.SE5�¾¯=�SA>AFIKUY"DCO#PM7?=�:�D�SED�7?=�Hg;W7X=�=�Y�|���F63��6f®\C`9fhjlky�Wi8��Z"\CeÆЯd}j¥f<` À �hk fh]5�®f87oBjm� Á Z93�Z À;:=< ¡>7?3�\C`�k ]�\�p ~ £�£ f*w�È�FMDI| ~U~ £ ~ >AF@'�=�:<;W¨M7?=�(�D8;W=�Y©>EFJ24D���PI¨ª;W=�7#}:�>E=hFI:�=8È�#_PM7?>AFIKU=�7A,"=�7?SE5�KMÈIPIP-| ~ tvusÊ ~ r ~ |

� f f�����/E!��U! XÌ´c�ZX�µ·��!����Ë-²� �� �#X ´��ZX�!��%$ &�����(*)�+%���-,.(*)�/9X��1�B#��_YQ;W=���Y DCOHM>EYÄ;®5�FU; 7X=�PI7?=�YX=�Fv;W5C;W>C�U=�Y�| Å�kE #�h`9fhj�f·�4ÐvЯ� k fD�«Â�i8jm�6fhe�i8jlk\�W  ¡�n¯Ò8È ~ p ~ £U£�u�w�Ȥ�£Ux¢Êª¤3f¢xª|

� f ~ �±³ !��c�FE XG���ZX�³g��!�²c!&H XI� �ZX�´���²%�%(*��� X�¸G�ZX !#�%$ µ·�%+J��² X�¸1� 24D�� LPMSE=��ª>�;¥�[7?=�Y?¨MSN;9YÌO�D�7�¾I5�FIH;�©>EH_;W3 ��>EFM>E��>A@B5C;9>ED�F-| ÀªÁ �� �Ma��4ÐvЯ�NayÂ�i8jm�IaK�snpQf¢rv{8t�w®ÈI¦}{�{sÊ}¦vr�u}|

� f¢¤C�±³ !��c�FE XL� � �.�ZX�!��%$ ´6��²%�%(*��� X©¸1�����«Z"\CeÆЯd_j�f<`9 gi8]�� Á ]�jl`?i �<j½iv­�km� k jl¬z|M |N/�|N��7?=�=��g58F�5�FMH24DM|NÈO(�=��QP0DU7?T�È�f¢r�{CrM|

� fs¦8�±³g������ª!�Ë-² Xq&Ì�Æ�1�R#��_YQ;9=���Y D8O�P65�>A7?Y�D8O�SsL¥HI>AYQ;W5�FU;±7?=�PI7X=�Y?=�FU;®5C;9>��U=�Yg58FIHK�7958PI3�:�DUSADU7?>AFIK�Y�| T�i�Ð-a#]¯i8dIac ¢f<egaJUWV0 Á 4_Ç��¶p ~ £�£ ~ w�È�uBÊ ~ u_| >AF.Ω¨IY?YX>R58F-|

� fzu*�±³g�c/ � � ( X�´c�K� �ZX�!��%$YX ��² XZ� ��µJ�['%58¾¯=�SESA>AFIK·KU7?5�PI3MY`�©>�;W3«5�:�DUFMHI>�;W>ADUF5z;�HI>AYQ;®58FI:�= ~ | ÀªÁ �� �I\Cd_`�]�i8��\ÄÃ�Å�kA #�h`9fhj�f Â�i8jm�6fhe�i8jlk\�W ÌÒ8È�¦Jp�(�D � fsrUr ~ w�ÈuCtUx¢ÊIuCr�u}|

� f¢xC��µ·�-�!��#X�¸1�ZX-!��%$ �-)��c��)����(*)�/9X�� �-§ ;W3I=�D�7?=�� 58¾¯DU¨ª; ;W3M=©:W3658FIFI=�S�5�YXY?>AKUF_L��=�FU;�PI7?D�¾ISA=�� ÀªÁ �� �Ia�Å�kA H�<`9fhj�f�Â�i8jm�Ia ¡]\CÈO(�DM| ¤Gp ~ £�£U¤vw�¦ ~ x*L¥¦U¤�{_|

~ £

Page 21: iti.mff.cuni.czn{l b6oa^\ -f{e n ^`jMc tvn ^`_ml ] n{[6| j x] _ml ] qsj6nph omc ]V 9[6_a Pc h ] _a^; P hdn{ PbMc{ =qs c lj& c u6b6 6om_ml z { x > z B M B ¢¡P£6 ¢¤

� fz{*����/ + X0¸G�ZX !#�%$���²%+ X��G��24>A7?:�¨ISE587Z%�>AYQ;W5�FI:�=�¹z�4D['%5�¾¯=�SA>AFIKUY�58FIH 2�>E7X:�¨ISE5�72�3I7?D��g5C;W>A:G(�¨I�̾¯=�7XY�|4��`9 gZ0\Ce�­�km]¯a \UÇ8ÈI¦Gp ~ £U£�¤�w®È@fz{U{BÊ[fstU¤ª|

� f¢tC��� Ë-¸¿/E!��JH�/m$ X±°±�ZX�!��%$ � ����$ X���� 243658FIFI=�Sº5�Y?YX>EK�FI��=�Fv; D�F K�7958PI3IY DCO¾¯D�¨IFIHM=�H�;W7?=h=��©>EH_;W3-|4Å�kA H�h`9f<j�f�Â�i8jm�Ia 4�o ��È"fhL¥¤1p ~ £U£�¤�w�È@fstU¤¢Ê[fsr ~ |

� f¢rC��� ���%/m��� X����ZX"!���$��-+%$#��������+%� ² X��s������É�>EF24¨ª;�>AY9(���LX24D���PISA=<;W=�O�DU7! HMKU= M =�>EKC;W3I=hH�¹�7X=�=�Y 3��6f®\C`�a4Z0\Ce�Яd_j½a À �<k a�Ò�ÑUÈO(�DI| f<LĤªÈ%p�f¢r�tUtvw ~ £Ur*L ~�~ rM|

� ~ £C����������� ��( X ���m���4PI7?>C�85C;W= :�D����̨IFI>A:B5z;W>ADUFg;WD�ª|�� 7X>EK�KUYh|� ~ f������������ ��(*��� X���ZX�!���$ �-�FE HÆ��+%� X�&�� � 7958PI3 ��>AFIDU7?Yh|��®| !��M:�SA¨IHI>AFIK«5

O�D�7?=�YQ;B|��Ma�Z"\Ceg­saK3��6f®\C`�¬17 À fh`�a�� �}Ò p�fsrUtU¤vw�ÈM¤Ur¢Êªx f�|� ~U~ ��&Æ����(z)�+%���-, (*)�/9Xc�1� #_=hP65�795z;W>AFIK�Y?¨I¾IK�7958PI3IY0>EFg�vL½;97?=�=�Y�Í :B58¾ISE=hY�58FIH�:B5z;W=�7ÄL

PM>ESASE5�7?Yh|"Å�kA H�<`9fhj�f�Â�i8jm�Ia-n¯Ç p�fsrUt8¦}w�È ~ {UuBÊ ~ t�u_|� ~ ¤C�?_!��¶$#��� � ��+�����#X�´c�ZX �4����(z��X �.���1�ZX#!���$ �-²%����²%���c$ X&� �c�1����795�PI3

SE58¾�=hSE>AFIK 5�FIHJ7958HI>AD¿:W365�FIFM=�S 58Y?Y?>AKUFI��=�FU;s|��I\Cd_`�]�i8��\ÄÃ[2y`?i�Ð6�R3-�6fW\C`�¬ 4_Ç8È�¦pQf¢r�rUt�w®È ~ x�¤*Ê ~ tU¤ª|

� ~ ¦8� XÆ!��%�c!�)%!�)�/m( X*��� § P¯DUS��ªFMDU��>E5�S�58SEK�DU7X>N;9� O�D�7�;W3M=��>AF_L�:�¨ª;¿SA>EFM=B5�7 5�7ÄL7?5�FIK�=���=�Fv;9Y�D8O�;97?=�=�Y��Iac�ÌZ# � 4 pQf¢r�t�u�w4rvu8£zL¥rUt�tM|

~ f