From af4e509feb4dba5f1183b0966fee55e84a3d14ba Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Wed, 4 Sep 2024 22:18:48 +0200
Subject: [PATCH] =?UTF-8?q?P=C5=99=C3=ADlohy=20pr=C3=A1ce?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 prace/bakalarka/attachments.zip                 | Bin 0 -> 10034 bytes
 prace/bakalarka/attachments/gen.cpp             |   1 +
 prace/bakalarka/attachments/greedy.cpp          |   1 +
 prace/bakalarka/attachments/lib.cpp             |   1 +
 prace/bakalarka/attachments/lib.h               |   1 +
 prace/bakalarka/attachments/lib.py              |   1 +
 prace/bakalarka/attachments/main.cpp            |   1 +
 prace/bakalarka/attachments/main.h              |   1 +
 prace/bakalarka/attachments/rg.cpp              |   1 +
 prace/bakalarka/attachments/rsg.cpp             |   1 +
 prace/bakalarka/attachments/semidef_prog.cpp    |   1 +
 .../attachments/semidef_prog_sage.sage          |   1 +
 12 files changed, 11 insertions(+)
 create mode 100644 prace/bakalarka/attachments.zip
 create mode 120000 prace/bakalarka/attachments/gen.cpp
 create mode 120000 prace/bakalarka/attachments/greedy.cpp
 create mode 120000 prace/bakalarka/attachments/lib.cpp
 create mode 120000 prace/bakalarka/attachments/lib.h
 create mode 120000 prace/bakalarka/attachments/lib.py
 create mode 120000 prace/bakalarka/attachments/main.cpp
 create mode 120000 prace/bakalarka/attachments/main.h
 create mode 120000 prace/bakalarka/attachments/rg.cpp
 create mode 120000 prace/bakalarka/attachments/rsg.cpp
 create mode 120000 prace/bakalarka/attachments/semidef_prog.cpp
 create mode 120000 prace/bakalarka/attachments/semidef_prog_sage.sage

diff --git a/prace/bakalarka/attachments.zip b/prace/bakalarka/attachments.zip
new file mode 100644
index 0000000000000000000000000000000000000000..0eb29be4ef53517f25a1bad5bd82a5fd4fd07943
GIT binary patch
literal 10034
zcmWIWW@Zs#U|`^22uWHQVSgb+NQsew;SeJO13QBZLwahSUUES}Xb2|*^Z!LQX&_u$
z!Og(P@`9Ox0ZgP$xSPdfDA2n8Y%q`ZA+1GM?`4KhPzu>1nw6=)X3CC}@7T)JC!LAP
zc)7cLk=T@bspoz^Q(vBGpqsr^QS0owaF<0t)$g1%+I}t|&{ywBNY#4TSkHNL4*m&R
zb+IC7?;|ed;Fp~Oi|)6#zx>N&^m@U!JDhu>mWbIlIyPOu`MGLel^5IN%{w-4Yk66;
zv+8%nob~a`x^G(Tl;keVa*NE|KYb-%^0EIe^H#{7n)K6P&m^|TA13Je@17ub$#J>x
zD(C2$?qe^j3kxPc*>*Oz*FjlD;pD6Y8M9_xY2L`mt-S~JD%M_|*111+ao{?`w8tL&
z{a@x8FVg9Y;);4DyI60Ibo0#Gq6@R$ztZ$H%G;d0Z_C+3OJjJf8&y-Yxwc#mv1aLe
z(Ej)jD<X)+woDJVXY;(tz{tR`myv;i3lzjfsi`TI@KF8}*q$2x#X1cwlw11`W*;&T
zId=YJ{Ksc{fmz$%Wvo5i%szAWhErt|gtC0n7kI1qo_6_jfBN*DjRqeCCVk)c{`b?p
z(Mw(L=Ba*p^yA&;5UYD%HALOa`KFY8FsnZM{IvK91<&(udksx}#Jitb*Ux*t`sHPv
z@1JVDGSyp+%X->4O_se=ac=8-u;xeBqm93>xlR$d;`LimNnrOSrv?0V`uZicRZE^2
z?V1{YCuC31w!)g?2k$maKT~hu^XujO@97Met-cvtxUrrmSTMoyq+tEJ8~<07O60BW
zV%o&B@LmsNlGF9~D<23t8TxQZJiNtXzLSl)_1I+lO?gjPKdS9nC%`5DJySb2+mvs@
zCE>qph%lUCJ3GQ;iJ$&Qb_RxaF-S7a$xMO=;Q0wUX^meo0&r?XZvJgEfqydpx%^y{
zGy`RK%YResG-k;N6FEI=VP<&FHuV!ixy2JTn<q_5TlxR@yS^nZKUH7zs7&koe(ZT)
zx%+-0qm!$q80!mPzIW*Lo=q*>qNh#b<E*Aw%zo}QrCV&{q(vH+?;TpIS{PUmy3NCN
zWy_r1OCps{uhHG%Eh&&>dVhhf=<+V{%B4d0;(q$AFBjT>{_U~jeLd6nL>%QzZ-{%o
z^Ri{b)Xkeib*>ye|2}`+&B7BOe*c)XG<43|PomT7CY@fCa#AVm%?#DkCNE@c%K7+O
zbZ+YOIy6pLY(Dw3nC5yf=gWG(v^PH5m&$*m;KZ+k?@|RyuLUkmayC1Cb?<wx6{i<I
zoN=&NevZ<5zDYXzQr?UIwakc0DalKC(KUVQq&Jn*F2!Z<JgAa#Z?SmGnypQXYGZ=p
zHn_27|9BjE@cRt;H-`Cljb?kUzAAnFxj@<dgbmH!`HCsbNzxf+|E8+Xd_UK()karL
zu43i?{eBPZS@cr&^(7s!tJ$}cGwc8Uu1o5&*(W;K=S|tUi{XL(%{iwv!n97EW(^M%
zI(%72YraC5gt%l@+_IUiF^(@viX{3wuV^2!zoYJcU&edWt6L3gf9!r?ys*n?mR)AG
zQOf$SX6ZZioi3#qF5lvucSblo%jKJUlGDtNnMpU=R`7VTSO0LFd|}3`8(Gfm9M+yD
zJTAh**|RdTnb&ygJutYjXu0Pc)xe2QPBoo4vu=6iJVBXUp3ieR7HMcQ9{ww)v%z?C
zkx|ONZ|~X_Yv<1>F{u;0zAW8aL+qoizS*2?r9bii-gW=%zTLUnD1A!mhWURZ+5f%J
z*(?x|zde9s)>1aMEgk+#Bo4n>l=##CzJ$lDB+h9&CKa~*u9^C2<^&msfR!GnH2i|?
z-+irO^!}Wlb~<!plUB^Rn!}|@JB|6GJDQ8b!VN7Ror!eKzxwl6p`y_Wal;h(XPTjz
z%+<jgUwU5uJ;73c`t&tSZv&;Kf2?Hh57i4|>vKz$OZ{mxYhh9Fh2FQz>avVBD2lr-
ze)8$y_q@FOiP;~Rs;AW%*f3t^n0I@#hgy)p(nFa$oXVtQ|9-puwSD^=X`8yA6~7-o
z>kq3mPMSVD^}XOPIrG&Ezlxi$VbJd`5a4N_EfQ2zb;?ehfvZ_8=9B7^ing;YM^pES
zbZX3>^=XaomDGs=%-2$R0>eHhF>jpERC^?9p{vjbwT17dU$N?cE3RX6#bWnQ=BJf!
z7ItndH#1@gR$IJk!PKmKiUtqmPjt-RuxtK9<yCDh>$d-S`R%Rl>`y|UrhQcE43|;3
zVPyUB*6i92V@A)z$}>EbHWw>@us`K^VjuI0YXOaid!JRcd~h(B^m|1Gqh<p85)(cT
zhCZh!LK$xiT$?_7xbnsE2kS4Xsy%Q^KKD*t-Tr?S-~WAcc6NxL-Nl=~>%l|y1&6o3
zm7ix_@}TmK>xaARl~>iQDqfV5ewLGW*0)VdIn6nwH4Sd0_DlKj$7oKK7g+kBAvw#_
z@ovqnS=Wv=+Pb}o@!B?zSAU93sA|BORZ8=U|6EF0!8Yqj{hylhukWmO?cVp(GR57&
zq)GR0a{kHbJFB|hEmvb(v1<9M49WV?qkc0B-l(qD(mFcHoz?Rz-*0=XMWT9NPqlMw
z+waSgFxfV1?wd{bc5rTYKH;?8%=G=MXV1QQe|i0Tw}1HlnEQK0tZw_2s8v05E8jZT
z=lSI1CAI}KgnmqVGvQgnqqgS%+oDoKu06>4_+;MS*n@_LtHMLNr2S_L^F%DQsCl@j
z@|;7=36W(drufd6FpDWWq{8>Na+<cS-p<3*OD|R3+%Iv9@l?XiS)2_uif@^s<PuLB
zthKagyLSB5&(}{}KCdm0+#2QCK7*&dnQedR-S;b)FLVB`-+EftXZG2PC8h5TT4(gB
z%K8M{IoGwzedY#<*adU<H15;*sT?VBaGIL$*6YRHPcJ*CZokhOW8yX|c)Rmy)^LVN
ziy0NnCkMWL9x>~WZzWsqoL;r9Rc~isT$XNjh>MH6Fa0M^AosRXbB6TFIc7iPav5s2
za6eRDZYyK@mr;D7;|-R4-fz<+4t86MIs{MlRZ-x3abV)<wd`lEX(;O7Ufg=x@4N1|
zx6-#&X1ytLJG;%_dQMc|KdIB5WvA7e7oRHH{#>*y#M$UpM3wD=n_H#Jwl@9EF=2my
zVpr^iO#OrIUEO(Z)q8UaZ)}v+w{K{de*8=C`Lhz^-{vdV7E6D)w}fw3^rx?~r=QmL
za>bp=OBSmVTeL7==I+Kfvzk36Z|&&Myj_u>lHPUv<@Y)KpI0B_-o5>3uUZUGnePsR
zq`AGHbXKRjs8&TUkCn=u=5zLPM6QJT*~$Z6p5YwFrFauco^Jmt<hXd{R=Wu$Cs!;v
zaMNJXC#?^s3|pVgKHcplmZZ0^dV*5Sr{4kde|=kQ?r8O8eO%xvd6qltwf?@UUhZIF
znja^ty5nWhJig!0Xa6v<m!0wL&fZs>x)pcXyz-Y=v9aIb&A*$aze=rl7WS`wk-K${
z6?5Q1zkRFU?OWIT&gk_q|ANZ`DGz%T3~z5v7Tfnz<AGFJa9qyir=7c#Ht2|5&6yUM
z{=)ZXjE7HX&BKHPa}D0qifcu*cs>XYTo)Vh`0e$uA3OCvtX)=de*Uf8qHQdddzj4a
zdHfEF&&dDiWW9vP;p~yM;cmQ#Pc}&1c9uzH;BN|>QLeE`KuM*AC+9_c2Uq5-+1CWD
zmUVQ$b87wD*s$*HgiU2P-mP7gB<TD2$-U(^ISvKy&fC2)$hf<rcca1u`$=o9|1%+4
z3|b7y5gkop^B9>J7=E%aFt9SnFo0SN8Q^B^f%T75+rD777lH%xZy5;G9ozp%Wr@ZT
z!IJg7&RL<?7G6}Ex+-}7n!{x)S~o5}vLQ71fA!lLCJwtZe;hq|_xbyM?`z(9oxRf5
zt+-ledYa2F-vsR$rcXO^v{p`kut{88amw3vt|@vC{GP@<DX`tA6#HFqYeV*g%0Elp
zcR7VVGN^jDc-HATdyW?iC+~W(b8pYmZ4L3~jb)B?$CZ_}**dW?d;Hs#VDO<~_Q}UT
z_}0yPP*i2Sd%jK0{?;_s1N$Y9<ZFBJo_TSq>G}tYee?a(%5Ns7CH54FF55i+OPNvq
zjz5O;($!xD7hOzuWh|Ivx2RBe71PWQEKm4fw)~c`TB{tv<-1X5<;L@imhjvS_j~KD
z_^RxcNrGa-Qa!V6(<k<wHw@_sJ2Qn>q-@W<mmFsVi*&WSwF6}vqwk$RKl$A6Jv{q;
zmnC}yeW*5K+UFQL!|8=Z$qd_MPR<Rc<?M64l`S<kFOkuea|(N;+WOaHU)j^&f9q;D
zyqzxmTu(ss<&Jf%PUaceTh^tX*1ESb*Y%`oG0VNkD}RDiOE@fbyqy>BO1qS!xAChS
zvvHB%+J$k2dQ&Zu@(ZIwE=3B7m@c=rw7$T(*Y~0Q6?qfhtCv`==!bM^9uC`*l`6W_
zyESh9lBE4d*w>#@$hTaqeCdVpwT$yIS9YzQAJ1}D<eKWMg}0Q~+`a0*Xyb#-SJkW7
zA5Yyg$sCb>bY@JAc(>%^Ck7S<h7+6&3~UUL^ixm?PC&_Ss%asZ4bIk3NQ3iT{J~6l
zowZ$$RN~usv;-3T1kZFgFNrnW(Y8SRRHE`kCeNK;xBdHmZ{idk&CF-~Z58_GZOivq
zZ`vgoB)rgR5ntA^H-TFtm0kTp^&jTmmGM}`k#BV|UA5x7?n<GxXEMvLty#ADX8h^j
z?X$n?cAiWs+ZwgjUakI~&7S?gl7BKRdc7qmA$W;Z>*f9TA55N>;=c2|^Q2R;1(wPm
zvK=ay2%ntxTUtLmGIUPUTJ|klzf>l~Y^%_6S^c>2_}#O2jZ}UrpPm2c`=+IhjirgR
zPguFES~=s}=AY_z+u0nP0;3vy=bG6)wlcAsee~K*wrhQbDJN#Hn6l{HtxZcV9den^
z`gq?*%iVXF4m!z8Nj0Z(XNW()W*ge&v{%bRdIFQs@h5-8^Fk)Q3M=ACSb2lVRA`TI
z%TX&y)ern9=bdVLdMos;=#54$8F#Jb+{CT+`wXV9-FjelKi3P6r{#(F&m8`F;mGHl
ze-So26rGJ4l%|BPmSg|U;Cnr`Q8(_3tC8>DeLijVOI*t?gd|?{75%j3l<-t;&xv|T
z_NS|7&Cy<-mHoeG!=xqlM<o|tXijnTQuLHcn_&L4-E^O(#-Ewp(r#;JUV16~L1M~1
zSFv9cy<V_noKl%;WcXag|KVz%56|ZI`|f5oTHMH#a=>7p&(FSJ4!0iiZE|wU>2{m#
zTCwfz)d@Ypj=O%OCLOM<ZjoTE6`s5~(YNa8OHIr9XLq>?TgP{1`O6A(G;e1u-gf*@
z!iL`RP2bf5-~8Quk>5@0m*}&!k83_!UuoFWd$M(|od(Y#8Rop-g|FE!zwNsB?9R;x
zpFE9rC3iHnbNsJa-SX>!+rd4*qTdMW>9q??5f^Sy{48(I5|);jd$-~StGPhVGXejz
z+dWbRYLbH99=VZXxUqr%D2ut<x<|>(#!7B~Ym(Ha1q4g;grD_D{rEGYL;A#tkIBz=
zowQ?m)ml<L_v1_dYwJUqBeyJ;QqlBr)Zg|0L&4X)nKnA%*AH4;NsGH2b;9}66v-5p
zW_P8Pm)8faT$y`sOXtog_rtfgJ=;2KMxEzst@SSdp5*-Qvyl8UJ-cI(#}*H*jow~i
z7wgpJu0PcNy{rCP+<mFCV*!&6urb@sK3bCgA>sG`)k~ajFlgj)++oex!EF}YE&NUB
z(X~(i0$-UabOdtcw03FSH|BiL7PJ2S+H3FE<%fA!?8|2@_h)<~u2=HB<Ru61ZH<!*
ztE4pz%voPK9otx`^v0|HW9O$s{&%<=JoLC;Rj<|aulw56ml-5BZAC`HdJ8c{u4^Z+
z-o5+jTluH?wzYfW@2~sES10|}ko&{7+t2Tw3VUa}`PYXToi~Mc{OuEZ{KNR?0*U(%
z&tyj(z7qDW^wOd<%ggM$kA$%7U1=4u;FBz({P=1+JEFR*p#4811A{0FXsAVoAvZA-
zF|txOQ6~*cpT9K7xBr%bfbHXWL(^NKn^;61u<>q}tIAv&_KG#&N$=bvlO8MF_T=yQ
zf3MJPn!+~m)5f2lot@pk^UBPu9Sl*1E5lV)KVSSjb>$+nOH;2VJ~}gF>!BU&(@Wi6
zCB4epvZZhRDfStYr&<UYJy)6@<)F<oeWthMbH?bkVTvDqaRpf$Ola7vu>5p0<5r1_
zUN1NzcC^R2C-50cP1ev6GWdP_evp>n6Q4*yp-T}W9J4|X#YLz&oc#WGvhZup#WQaS
zKMMWP$nx*7&qUV=Q_mc@J$w7D2{9*qo;CKXoMelOf5^?JxLWVtRk`cWIbLj9n&^?%
zF^6~W1@XE|CQbJD>;C@x_t|~N@d<+K45gC(+&__%aq6?&BweNrJX#kl1fFGCZu;$W
zZHH8!(DKCA2k9<7zsh$zy*SW+a<TdIKDG0q$)_2%2brIHUVSg><CgCUR{44dZ@GWi
z%xNZA(zdG5?e632)Ax1nF=M)TkLwY?qHXKiQ0<!3o8jlD-Htn&^qW)sbl`jDtCLUo
zor+Ce-+5+NERVJQy2loF{Jg&J6gq8-s#3mGEqdAcF6q|QRlY|J61c48B3b&wzg=-S
zJ>|)ng(YV%Hzs&U?tT~YZ~A)MV--^0-%X#qu#9zCk+MbL{^%(@`g6W@*E!u)+OslG
zD`VL@ztGqvJMI55J~Q6M>=S79+h@7^o%bKy{xKpF5NO!w{__b9l?)6F#~C0M5I6xr
zS}>p?BP=bL;B#lZ&uRL4h6bEE>2v9Hz@tZ(u7_VZ#3}OSt0UJP+ru$`Mdm1p%GBQZ
z+ic@(QzM$du!vzlXH4qKld3;m%{+hpv@GK~`qMIXrPRzyRjx`at^i4e^L~oP>lbWs
zac5MS95H3yn#B|5OpI7EVb1*Um_@9M8-!A4U5jBrb@)Z+eZlRF3=AR65Qi6~!-r}>
z4#zfB6Li||uz`Th@%W9pLSDDFOpu$sEQnu5K)+MTA|!AM+xD#@IZv#n3Ou@hbE_;z
zD|frbxijb9yg8=s6ju8A%tCv)`Fp20^_ABi(^CD;)?)IZqHzD7J-b_ZCS5t4y)-K#
zCjP#ysQL8M?MJU36?*x3%0}k(J(rBNW*m;Y$}Tslz2~6u4^#Ks*N+|1;pou*x~*&B
zt*KILelMt1EbO>p&3!~|%7nyb4iod<X%}*Z-88v(y*u@0$1$6&5&p}g^}2&zA8K+9
zeUuqIV|%z<lG^OW%H<nFlMkJAQ2KW{TzuQS9T!_dq?f)eQSuHlbhZ#ZoX8>(?x0_6
z8TP!grMc>@*8vWp8Yjd5i;B;@x_Kw)?M?lzEDi6Q60M2`a$I-vo@#X7j@fvBNv!nM
z|H|`<c#YHlmwRn;$>qMlztC4@Mg4cNmP@*Y@wut*-no4^$Q1Y9QfB5KqZb!5Cv7+5
zOpKpkUMN)b%0x=_+J$aE|ApRsyH(ECTrt?lJGZ?3_p(0sS39L<ce4IVQku4j{~IT2
zG;Vl%reYZr1A{OJWXP?km|#3E4ZWQ=+d-f<ZGY0ERfZBBd+SUTC*EEbdS%PRS*vP2
zbX^RNXz%Ra`oJS}QvLfkteezSyk@hroOwED=bLkT5^bXMr(5#y@g3VAe2hPg*=f_H
za8rZ0!~K)<#g{*iS7eit{1_U!F0rnx?4R+^qN<Oz|9(DUx;nW-plEV>sV3jWj~uIt
zYA36Q&gBYc`pA%@`*?Ql+lkSSHXM2?pxnT&w0?Wj?Xq>^g2%sUzYf)#kau=n+UD1D
z)K?003aLeQ#k&UmzxhOOQ)b(`-`mQTE5CC!kUN~hrp%GaP{J0uQ_t14Y_01ehb8V7
zQv+OAPEIuJy`k8p{Oq?}0vFG>B-uMpQyvN)H{3U!$7#Wj9dA~I>KiaFj@1bLocl^C
zcf%aNU2DC0n3~<#SI>)K%jKBz(Ednh*0PAl-`dp`FK!n+@$Q6BfPdIq*}^>DzL1l}
z3;#<MYw|4pGSA}Yu2Tz{mnJ@woe@yyE6yu1byHZ1a-@%9Xv4M>?ic^rm8=nY{M*j$
z^a}m{<7)mbpLpK4^R4$=zddX1s>6#uzhUDkFaOYT&HRq~`Uh^``~N@G^FJ52olj$$
z!@0%pZuU*Pw&~{6qYpw#Y8(D>GyIi1Q2l#{GTXfwE3=mAPIxY_vh1Z1ue_C?;ME}0
zy2S537q;ooFG+klH+Iva6<-)iW&S=kXIynU`^3E9-?p#XHf`N>sA}iN``@k{>0El_
zrP|%SYP<GK-nQvnMa&dE?i5B_4Kt=-y*sPoo;k4?RLtgOx}f|rV*jHVa{Mm~%;r2W
zmO8bvTOf9Syv*MnA+zQ-o)g@eZ$9BpU>d9K&RV9+4Iwe<j47)_8lnmoKWpuh-nuAm
zXTueV;|y0nyz}{VyxOb%o}QNFo!P%;IxkLZ`gFXi(pPy#rpw|3sf%tU<ehHjWuDCX
z@73#l(TDdVlKG6bsSyh&PY(OY%D_-6z`!8DAj43cnwy!DnigMBl#fX74jQW1hM4z;
z|IUBxBJj`hpLW|Et=u^#>mRpFIpWwV7E)NgR&OcC)C9|KYIo-(&;Dvv&i<u7J?(m*
zye~ti@KmYWn?L_3lbe5C-{nbr<bj2E-}9Hv>-g25``T4;&QdLoqpSW~tUs~G<Y~~=
z)VftmI?O@?rBvp<u1<`&J|#}%$nKq~yle@t?RQjs|Esird+wz3E=!&{)CX>hF68_u
zCE_p2f8cybR%B$?L573AYMts&u59{a;U&62_D=lX=$QL^SlN$Vj@i@oSU@js|Gu9m
zYm4{p*!|;SR^w@Bli-@^E%P23+aJk2c=ygHBT;9Ad&To7ZeOu{?z^f2_G<l-Hrdzw
zt5tWNN?}>CB+2r$e)(rh=dXu_os~^qmMptAIrVL_phJ^q(D$gur&W$~);ig>*YfY%
zU02I$wq~+Lu$52tTHb3u-BoYdGZq_*EZ%u+XXxZwc2?h`o2N5wsn$r0PVH|y{BFbl
zRmncDyH0EV5!z~cNa%qyfA`OcSIehAw&B~-dHIJ<A=jbE+j|4{-l_X_W)IV=lv^e3
zHRtB!PJPU?Kd+hlt>^C?pP$ZG|4%b!`ng~IOv|!q^PQ#ItK+^Dniea0T@d*0mObyz
z58Ds&wwzUQZyq&qSMy%)u~BwCE-A>g$yoX2C68Toa~2+9^gr74<s1KD)t67FoezC(
zaHMqg)*XBH9?)F&_rhD-=_@;w+cuwFs=}|rswBK;xwrk(S3yfGw$0ays&ak*D*BM#
z#FJN|edTmkt*;k8_V0I1W=Tq>V%_tcE7obH-!&JiGE3HfWh;_h*do5@Wxwa4r*lQ(
zws8Jb`dD*r%Pp%krnye6FKi2a%C9s}Tv;3ZQ0s|xpK(sfgpOTD`?no<614irD?!Oi
zj89&kOgXH4ee$KNPATzwqIY*CWGi`>{Ek@rJh$uXhseF228HY~2HO^Y7VPc)zu>M-
z$J0$aUiVG&eqmK$_o^@VSV>OI{BAxAK9Tb)Opnj^D_vi4_Z!R3+I_DV-ut{l`$c;9
z-%dUGZ4w;sw@J*t^;-VYc`Z{N5wR+jQ>T_b-R$?AFL>q4{RuXwy7JhR#Me6AytYkx
z-Mx<{+*i+A{988jRrKN4dhKr+o*n2D_*d3hWwCPY!3AEj7EP(v*Qb|FT`H6IYj()H
z%rz2smq$0x`WNlSdMW2Q&+=LSJ3<SDS|88vU#9R(gT1hB-N}uuRUyH`&krtdQEm>E
z-#R(y!DYFZ6Gi)<i}<KNJ*jor^Z5HD3(M{g%WuD}5v!TRaC7;ElQOc}dAvpv4x)8@
zUslenT^y|K*qbu3NwTj!Q`2e^OU>KF;2qCaJpPoSti)$AD@MuoROULdqeahK^AujZ
z*>Xzc(!GZ!0iusodR7H;%ND(tk~F@k8LgcXW&Sn!<V%*6<VhbLu8LlaGH<<IeePD}
z<b+*{=gptaJazf)BaYXPLXrZNElL~O*UEOyO*g174_%X;ne#5AJyN(+@y#y<M&C(s
zOFyLE{hD(#w4`d6)W_bZ7cVSpsZ&!e>WiMXDfH94ciX$#JRN$U)v<;x&^{r!J9PKL
z9<gJ)be8R2y(TJt`CZdRwHGHSOwGEUoltr?a_OJ;gR4qieB;k^RJF|de^@5ssLvzK
zYjdV^JI<LRr=9fA@Zg%H;?V0-Eg7?VZ7$gr7j5C5b>&QkPnS90O7S}l^M!wSd8f#v
z*e$#_w?gvffqzd=pSY57R%%^($h0(zl!c2=6<aLgiLzv0ci*kV>eJ&biFa47P+j7*
zs@eSA+tSp=Prlt1J?igPSxWTy9(FF&Fp0g#{EKS_LoL^wTFC?RpS??MP<OTAdU1Xh
z+myr8n<B4xNNrm3aZTgZ{RUFL4WWJ>G23{&w#-~<YP!)wnZLj0r}oz{t|v!lU!9g%
zx#HKa6yami<{zdUzojj?|M`~AZIdLgKTrE|`0$k3X_hPZeG52V!)sFVWqa15$5IoP
z)QPS8Sj2Nxli#uI)<2`)(ytBvH5}h6x~VWA%E*|pxv<{DwZ1ReK(431^0$EZoQnJ2
zmBMEVr?Y1~5#ZN2{4e82)*n&di5Km~mc%_Xa*4fnvft__`{uOi>aX<?RmTdu*%3Q-
z?5x#dVPIIw&A=drR&~S|C#I+Bfe7%B(dkK8=P2ifL57TU{&M;KRkG~-Gf9-W$tvO%
z+u;T?zByZ7EaPO-y~vk5Q^ez^s`Rh>)$X1fRaQGo9oV??@!jI{d$scGUgmFkb$;gy
z<Bh7b^k$yDJ~PDfqW`Tn`}wP$nn|>z_+<GXJbJS-BYc(S{BZY;k?H;|SxQE?*>?Va
zT2=P_`4_e`J5Su5n0|ZzVvFFSO!XW`lj!0fy#WFX>%-?XWtDjynEFjG$NL$-PowQD
z-I*OLf+kLMHEg}CbZY*lQ>QlT?iE=e!^0UbuvqNFhe^WIvfR$Kr6`I%T;L@l`XJ|u
za9l>T<cvF_K06**?q)UXS{JK(SvNR&i4c!-{~pE3`ti%Re`g7>yBPCvZ|>WJW}jJa
zyGF0Fn7jN8t5ngy4$a$Z?%E1u>=u<<;p32)>oCE#ro?S(+T-f2i3PQ1zT|ZL+@Qwj
z!nHu{QNw(m!xQE-u3yTKc>Yhrn*|*FOS85w%1u->*s3~vYT@F4^XDyXx~dtOn9TFB
z^QkmzOs@7cr{}A9<nq?A73IsXnJ}9(KlD5YhwZ0#H=nbx%=DkEqQ#*3&A-sZeAZJz
zm6=B^?;DBxwTf`J{p^=dIrZh$NfGs%7rq3{ZG0ZSeL-e)&U{8LZzWmpqX!Z$Osy$$
z>-zF~#<B|)7dD(!JLkBUiF=jI_b8>{g>f^#zY3VbF>6cfcfMU;7U{|~ZwUT9sYG*e
zp7yHAh6^`d$qT;zI{nVJf=xoRE+4q)>GrU1y<+^aa|eH2WA#X#=rwD1#62E0qxLh)
zq?g^@`+T}O|LxtaSy=@KY-|oW%WjBW-Iw;>BlUR9;Vl(=1Didx$~TxjD^eD6Ui2Ya
z>$`ivqpB5u1NUd{o9y*`L#fGX)}o$54qm|%oRU8dAH01r-(mZsQ1@K1Rc$x-9PksJ
z$^THbi1+S!A#wFb*98}yl@ypPz2<MP2+uZ!SuUTKYnUBUu*u3aF{{oMs9Lt3`>gJc
zDW_~Jgn}I1?t~nB+-PrMdiK~c=i(>-HyN(k6vRGHNXB-xg3yBY#`bE71=X^_L17<-
z)YjcNpJDi=Zo^_}!=EOnXL!W;C<}CT%RF4f^n8Zk98tyMPje&>ya{XTwBEPkj8EFD
zm#y#9JtuCIP&NBieDD4}SNY}jF6EO~_lIwOQD*k{LuFC@^8}rs-ygc3dU3Vf`S_>N
zgX5s>iDvm*&fl%Ak01X2>X1Ox4{O%-n%5Qk{%h<kXm0&{fA#kZ=F6*V78t%sOPIfI
zpWEb@CEp${ceaYyr!&L!?(ULxcb{{}IV;3|IhOp`wdzcq#Iw>T^(~LLc9$6M{rS7f
ztTxrg_x1FnQ<%aU)}Mc@QQ)=f(B77(h85ELtWJEM-~Z;%(uW_cG&2kqR6BWzT}!+h
zqA0l_Z^?0?lS^9I#h)i~ua<n|9k7Zqw{h$9606;P_x_9e+TGuu<dJ=B{fUU$xuz1+
z{(FUbAOFV};LXS+$Bb*;jsyb;FfuSOENKL>;H!98A**=M)|Ma}1{!KWU7><(STZ96
zLpsuW6;=jjP#+$Td6=s;kj-1p#J~WWiAe@6F=Az42Cdz|V;JT{4zgi4xgdsRgody(
zFoULb@EC<TrjKltBrn7$&<H;(12brZACFm><9o<vMG7(?jrOrJFoQ<>@R$aQ0o1`B
zWYcB|LrsJDl0fK#%t9T1K{hK`gn<Dz8bdfHL1v*20w9|uCC0!29}*yJ7-m-s*)T>)
z1}q&fRt9EJ#|ux;Vb;P3Q{Oh)$fKHyTqm<KFoWu346|9;K>3H8ftw+XnSo)OGKdEN
Dkjv3=

literal 0
HcmV?d00001

diff --git a/prace/bakalarka/attachments/gen.cpp b/prace/bakalarka/attachments/gen.cpp
new file mode 120000
index 00000000..723b72b0
--- /dev/null
+++ b/prace/bakalarka/attachments/gen.cpp
@@ -0,0 +1 @@
+../../../gen.cpp
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/greedy.cpp b/prace/bakalarka/attachments/greedy.cpp
new file mode 120000
index 00000000..5d377048
--- /dev/null
+++ b/prace/bakalarka/attachments/greedy.cpp
@@ -0,0 +1 @@
+../../../algo/greedy.cpp
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/lib.cpp b/prace/bakalarka/attachments/lib.cpp
new file mode 120000
index 00000000..eab98e2c
--- /dev/null
+++ b/prace/bakalarka/attachments/lib.cpp
@@ -0,0 +1 @@
+../../../lib.cpp
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/lib.h b/prace/bakalarka/attachments/lib.h
new file mode 120000
index 00000000..86c09306
--- /dev/null
+++ b/prace/bakalarka/attachments/lib.h
@@ -0,0 +1 @@
+../../../lib.h
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/lib.py b/prace/bakalarka/attachments/lib.py
new file mode 120000
index 00000000..890f80cb
--- /dev/null
+++ b/prace/bakalarka/attachments/lib.py
@@ -0,0 +1 @@
+../../../lib.py
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/main.cpp b/prace/bakalarka/attachments/main.cpp
new file mode 120000
index 00000000..673a70e1
--- /dev/null
+++ b/prace/bakalarka/attachments/main.cpp
@@ -0,0 +1 @@
+../../../main.cpp
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/main.h b/prace/bakalarka/attachments/main.h
new file mode 120000
index 00000000..f6b1d061
--- /dev/null
+++ b/prace/bakalarka/attachments/main.h
@@ -0,0 +1 @@
+../../../main.h
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/rg.cpp b/prace/bakalarka/attachments/rg.cpp
new file mode 120000
index 00000000..37afd6fa
--- /dev/null
+++ b/prace/bakalarka/attachments/rg.cpp
@@ -0,0 +1 @@
+../../../algo/rg.cpp
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/rsg.cpp b/prace/bakalarka/attachments/rsg.cpp
new file mode 120000
index 00000000..e680d71f
--- /dev/null
+++ b/prace/bakalarka/attachments/rsg.cpp
@@ -0,0 +1 @@
+../../../algo/rsg.cpp
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/semidef_prog.cpp b/prace/bakalarka/attachments/semidef_prog.cpp
new file mode 120000
index 00000000..f14c68e5
--- /dev/null
+++ b/prace/bakalarka/attachments/semidef_prog.cpp
@@ -0,0 +1 @@
+../../../algo/semidef_prog.cpp
\ No newline at end of file
diff --git a/prace/bakalarka/attachments/semidef_prog_sage.sage b/prace/bakalarka/attachments/semidef_prog_sage.sage
new file mode 120000
index 00000000..e232d327
--- /dev/null
+++ b/prace/bakalarka/attachments/semidef_prog_sage.sage
@@ -0,0 +1 @@
+../../../algo/semidef_prog_sage.sage
\ No newline at end of file
-- 
GitLab