From 56a258405a4526ac0601fced4be765947d8ed58e Mon Sep 17 00:00:00 2001 From: Priec Date: Wed, 6 May 2026 08:10:52 +0200 Subject: [PATCH] smal changes --- prezentacia/2.tex | 6 +++--- prezentacia/main/main.log | 2 +- prezentacia/main/main.pdf | Bin 95816 -> 95781 bytes 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/prezentacia/2.tex b/prezentacia/2.tex index 5cdb23a..1596406 100644 --- a/prezentacia/2.tex +++ b/prezentacia/2.tex @@ -117,7 +117,7 @@ type B = LibTorch; kompilátor to zastaví ešte pred spustením. \end{frame} -\begin{frame}[fragile]{Ako vyzerá model v Burn} +\begin{frame}[fragile]{Ako vyzerá model v Burn-e} \begin{lstlisting}[language=Rust, style=colouredRust] #[derive(Module)] pub struct MnistModel { @@ -125,7 +125,7 @@ pub struct MnistModel { linear2: Linear, activation: Relu, } -\end{lstlisting}] +\end{lstlisting} \vspace{0.5em} Derive makro \texttt{Module} automaticky vygeneruje: \begin{itemize} @@ -146,7 +146,7 @@ fn forward(&self, x: Tensor) -> Tensor { \end{frame} -\begin{frame}{Ako funguje autodiff v Burn} +\begin{frame}{Ako funguje autodiff v Burn-e} Burn zabalí ľubovoľný backend do autodiff vrstvy: \vspace{0.5em} \begin{enumerate} diff --git a/prezentacia/main/main.log b/prezentacia/main/main.log index 7a13258..e94671c 100644 --- a/prezentacia/main/main.log +++ b/prezentacia/main/main.log @@ -3183,7 +3183,7 @@ ona/iwonar.pfb> -Output written on main.pdf (13 pages, 95816 bytes). +Output written on main.pdf (13 pages, 95781 bytes). PDF statistics: 196 PDF objects out of 1000 (max. 8388607) 115 compressed objects within 2 object streams diff --git a/prezentacia/main/main.pdf b/prezentacia/main/main.pdf index 42d96c0544e65fae0166b6420d5c239c398a68d9..45360dfb10a8fe2ce4d8af097d4830154cf6105f 100644 GIT binary patch delta 12073 zcmV+^FV@h=>;QFk1288!q)5tk zSrUl>(8uf7jbn8C`0x{}=RX&uo)xJN2Q91o`|VlPhldY~SIm(TZ*&x=OfZ^_SKoeB zPmBAbX8t#=b}{DX(!Sr`Aw6@1vC5R?Z{wo2HmRRqCM>dOA3{gsp@{*$HR3GbfBO(^ zZey^n$R3+|_>Z-Y67&AlCBYAzB~Kw{r^umHJo8fz*J@2tW`Z^c857p*QeXDhVcUyv z{kXVoJm_Mboa3M#pL!e^vzRgxbpX?kFY5Ch5i!XsESc{}Hml{0@$QbStjSuxWP@i1 z3AZL`HYB`mC1mZFwy2QUT@_eue+KpTiHs%7yQ;iiQEawZcKPM;<9oBxR|)B0*afsq zDb|A78!K6i5=}0&5c0xB%egIH=BKXK+C3hmpAzT%fBu60FZg_fya3r>Me3z53Q}Ly zr&12rI6jw*3*`D3ypA=7SGAatRkKDHB}#`dv)X<6epOc|188(+>+rF7fBC8wmB(b~ zhcdg1-wvf<=1HB+N)6-u!h0LF2?_F8ut&x^+y`bJ(XP?P z+`q_h%)}i4TwP`ZCyaCZe@09LKwLpOfW%IHDLCBBv@`Jl-uf~tBASBTw<68NN=_o5 zN+KuG!nRX)rVYz3ZxCS~L0X-!*(fumU!1@=!k9A-g66Cj@~F*fYj;ejZ3)HkmXA5& zO@|`)tW@uI+tvqFEkixlT7Df0XA939f(|(Hy7Jn!0H}2+H8_@uf5T%^Ei~{%w3~H@ zosfsyz)^ShA980=O`-QDU4}+$M@D_FJ_gTX2i|jj_q=pvBFJ(~eVH_Swc1r1ken#C zl(Y<3#S^b0nXn;lJeh4;;&Ox`+;l>^BV)FNy^XNJWuYYpjG-`3mtJz(9k@ENYL8-O z2|9Y2S}J%}4Vknme^)u+8E~dm34~*+n0LO5WSdG4H$vXFQH%7^7lX7d{kV;@)Q&D^ z-PY+sQo(D%Ev|x#J2R`>R}4-G@1{D805~)qmI3h6qe)aJ5Lt~VloTOA-mN>?z)ROM z0|SQIXR{r2N7*ygdaIjRaG~psM0u6!Y_5#lZvDyFT0UITf8@<&d`xtxkx5l%bcoLI zxr7?pa$)s`ppj?Kh#yU`;j;KAIs~1Z!XXbekW!-} z+3ge)MINE&n<U{A`|g3|W(UcL z7eFs@%#vVZkbI(OYq|?X3<;m}$U!gz;Ra_eE8L-MeZ^VeBEZI#`O#yU8t$NF;P%It zsJ4F~*!!y!@D|p;0a>WvwF+f!WOH`?$VL;jkS_#DX7nt5-sSYv)vGq!BT7(W;l$@J zc>jj>3GxP({hg(rCZdq~p?=F0xn|=_!FYq*r21O~P zCFxNU%peZq3N;Fk(rI23kFm*Uk}4>RAqG8mrSUqX+*vCES*6HsLS41fe@Gk?R5}so zK8h%Da!oF|tg^mAJX@Li6<75l!J~(*L$hc|;>U``)_9wxT^-(d2rVfNalf*jLDhsV z305xQRMHiz7!nltlM32Ghsb$%u#h%7p9k6Oc-sJgjm^J-^Wl+UlSm9hkq~dfa)yfz zJYUYHy4sIT0B;hn3GNahe}Pi~q(Q)*1GbTExY;&`xW;oHy}@UjG}REo?w8O2j3B3C zE7!vvjKjq+?k&U#k;x*ykA*kF0oONoGJ0ItG+Ehaq6t%Wuw;-%e*#kte0(n`AMfk{OUTqYz=`;sbtMrP4gw1(FpV>qsLN8FM$Mm~$!f6d4`p3L`#;hrkO zb%Y$Fxzg}Ra1A#SG`!mZk`v zs9KSe4BKN(gQtx`f1^91`7R0Pbe(OJsViI51a4U{cYAgeP_QZ(+#09s8poBD8np3w zi?&%YPs)KS2Sep{;rUTbX{9XlU8FZH3lf=1p>vF7ZSetgXqOfy1~gxoD~z;jv{)K0 z&-sRJ(VQ-_NX!@6syTJ?!L_$jWnA+d$+`4>e@w49r6UGII&f;=;Fpax z7}VrW8!IahPI!D0o7hM^SzNlR!915JZ~d6KRBrD>fIIJTNt!+l;c#TH zaHTW2L`@&_@4Gm)D^diQUT}Jtmk)yxmi@x~&=13lptK&&Orby>47g?C0JPWgLJ|G|w80y8v|q0|_EQ`gqcO}IB;JP@m%Gl{``hE$d!K~hnV9ehg0P-7efDCv#Uo~f#VNcLQL9JJ4GRf> zjW_Ik#Ic+_%|gc6^0>hSC*yP0CcSa!g)Qm%s)8KM;}I^FhG+KxThkN^JN#<%&|-*T zrNiQV9)+O?m!50B{7>;69mkIv=Qw6sSV&lWSdubG9;Ap@$X7&gxX?ka3X2bwFI28p#wB3sGoqv7f#<}V&I{xzc`>|1-cH_sZr(xO zVcuQdkG!9GzY=1?fp8?I5il*(oMckdXhUyJryq;C{zh6MRr)s9n)E+Uz&|KOEk+j zyKFwl+{1jc`2~y77SR^P{rLSt`kfF9#hb)6mW<^B%S_8^OVr<~|Azj5x&2=bh#pWh zfU~l;^0R8R($RD1Qu_Kp|AA!#+Xnv1jAu452bp$jE9+s_ldS__D0)#1Pp?9OhAXSK z0?XRxm*;Cw)zs9`npCdjRX(G4wte*l=S(fOC8sgAub!b6Te80phU&|hpv4on1D;PK2M>wIycglLW#X@WE0g0 z^GP^Gp`0oP7|sr8y&WmOk*0-W4Q$t1fuIpiHmz!=dpK+Om7%$Rs~I)gdlC?hu0@VA zG_uzX=2LVJ*gtN7L15;3#(5WuM393iLD(8T+Qrk~nME?#ZXlxdoeZL(7~ZEIwkh6w zf2tA*Sn=`Hv)oTrMC*A0Jl4%+kOLZk%+Y$33}(m@#@=Z-QGAMxEG8pX2F6X3A`6Fy z5ClzJuY?bZ!i?#VQV?;9YQOfkMbf z<7?44HrlH1i`v^f`-3V7;qZVxhH5{eB(URy9CH`w_6`at2!ZCww9IrtDJqGiJAr=Wy zDkde7IZU~BF+0DBg?8j8{Kl6A3ED!fUJ$w1pju@#wgW4>#kx`FHXl`^4yc~r>(&VOpo0>lPqPzrZmK>tKgRYLwkYwD zf3^w;zs;b3P%*j!)p`NhMxh#xBE>7xYINqmCx!=9dJTz+DKUJFp{NGplFmY)v&6d} zQpj0<98KYllg`v9ILFRW$Km#_o;_gs^~HB!hQ1W9fGbzJ-D3~3+JpG-=bn+v{f3NQid}i#}L5@25+eUO2G#&8(#GKu@X-9K@_(bj?5JbdBPR)NlsnOa|!gD{5_f|Lz4`kjWC!(gDV+0 z`Lhsz237ex4x76I5v=$?Y8Ce!hrJ23O#)CG!fr8Xn*HzwKd@D>AXc6VbC!&r<~_p2 z`&ii$S(uXauDcZeqZDM_9bgLmT+5JU5sNGfgHK$RT&*wbI)7&E@+w(=5vf_c_~=-v zI1W4A;w%AC4Ol^JqdwdlmiJmT=q$h=d(tLe?0avuuQ&ywgB#qqdX?HRUN7LLfQW$|!k0b`$b6B{hWG`t z%;n^PYR#Tf>D|0wXLiXjA(A+IBL1jO(7zt|q;r~Ex-O6Bqly7am|{nq(g_YvJM_h+8@t?ST zR&se>Rd}lutggO<$uM==V`R>*)ql=-`sZoFSvW4#=9iXSly+CoM5B;{m+NR&yab;) zPc6~XEPx`6izMR_4^2i>?hOZjNrN^!{}dZtOhyNXCNGsb%*MG0BQ9Kfq{&+slgAz_ zB8!#>WO_3nXyE}20mg@vp9^KhFRI0aE?0-AK~JrG~l7FXx8biy|-q*fPyPto~E(L0|R zx2PS4vM}tc=9_i0&t=hJp+|@!bcR%%nOX_{;I{$-=K0q`}Seo93nt z>C-b)4JGm|=w_(E(EZ+j&T);N_g~7XpulctQ)A~FIcQmS0vA&Ot{MVN@KMUp&0$WS z_$(!lRi7sJ2Pt<4NF5jZOk^iG`aRIc)N?UlEljTUsU<*~M}*u~U)js7qeMqaD?@y49G_he4gT-Bl6?=lbO>}5Bp z4}Fm%r60S3*_F%BuZEQ^I?U34aXr8F%=UuaA}kf9#WUTfmrQi_Tju2Aqv>itUE9ry zo3N?L6~CR1jC#6%1G;e*yLl-+SFq3^q@Ng1M?GgLY$>fQyCOZGAL7L7`SqNcknVW8 zq-mr~jCNuawF)M6S>31$s5^ zy04jt9_(SI?hs=PBlz4Q-OP2`&qbS1F?pH7qgE*?MoFn!ori(vX+2#C zi&B|`**nwsu_>p?&8h3ZTrZ7YmzBrr-WAf93`n*@x^PxeM6Jxo$Q@U~+}FJAf5!Xp zHE+9-w~@Pl#f0oQ02AvzC&kcd3{9#rE*t706^Dj>oxRsO{7XCMGIBHI^*P%~+6Zdvw++96adMa4D zeDl5E0NeZG-jWwO;Whs=-v$SnxGJ@h^QttQ#Wp;DYZMzw-(V*@T$3huz6UJGx_aOv z_;}(^h-H_WJZo^p1E~Ex*I~mvufs5~Z@TuB{RfENx3gd^zDtL=!E)o67~ocC$+0^xwpOue3%Fy&3lFzT<Har;v40m1VGPOJqOrlue ztvVJzS2D*t#PyQ^b$);>BA8T`pNqO9?dht2ebVh+jD*M8Q8{4;t0grRd6&)>Cr6x- z9l=F@=@Rv>B1n~cQW ztB>QG##0z5{05gvDcDdr?a_d7e)rIGp<|`r&C-Hzvrow0Fhi8;u*&Ke!*PEIg}Ow4 zhHm%TxfV?<*i2s6fBPR|))`x#+He$MS3O%?P7NZ*ucP? ziu1)liT;rln%}k&OtF#wCeRRk2X@gCM?o*(Y_NRP?F-oyD%ZP`0nj7diSMR=rzt4s zT*=p@!0*dZ%z?Yk{eLy@S=${-a*Ke;AsK5_W+nSxEK zD%s|gFOm}_;?h3Bc;v=n*Bj@5gk)xzx33fH^c(Pc!#_1D?-aJ?9%|K;tWPSCWtWl% z1N{u+*zr^icTYpKHX3hhM|IA);<+O;v<9uYim&K{!L|*|U=1X=gBcpkE;D&t?T8de z;WK8$2=51=07cFHN32+$oj@2BDA$c-d?~aHSsqyd&d*8xU+ab9K%9GjhKuPle2HFz zMYwoI&hchTR*{vb%8s;1uWNlLBhv*lP#W6DF6GRH=~X1UNWp5@aP2nONPe2}1EOT& zFg$yeR>00mD|lKT*l6s;u^4UY!Z=?aHaCPU)0FM6leSm+yE)EMOlKpg&-}xMhM2bFeL_<&ta<4*Q)sIU_-5Qb`fzh^@Fuz& z?n4hQiXElJXRb(qKdRPYgrle2tzh|$P#N9r7~(T;oCNW@T)`R!-fsgz_fqZf5*gi& zd|?c8qxST*_Or{UctiwE4U$FfA;+E!%l%%0Q3vWHn9&}86?bnHS9j;LdF#oZpwr=# zBopQ?9fhL;TQzV;L!51dBJ7WJL$XriCgN$^`i9GkOLYb3irI~5y4(r5d1vCX5OV>j zC$LWf6X(1@GFhs=KQq~Sxt*MWQ+Q)(yT}(_uLTpTS z!jWSKvX2~pUYi|-n{8`W!dsh(yHfUk#;!!e$Wp2f-XV9Xcka)U7)WJC9H{Jr;-U@Y zF|mDEhmRPr^iq>Q;sehp9EAAq(LYrILad`zcuk#f^r#xIsj{P42)2$?~A~Hgu$c;E%mV4qk8CI6)4ooE z)^#GYC&*S-_#HVGY-Rxkt0WM00myE{w6wE{T8?O+xm2W0OH_Q;{u@Fk5F*;8V}FB$zgsm0L2JRZ-<@FRuZYJCQ$ z&N!R_{EVUu3I%5f*X`w+_JUwGL zPLIaaroKeS2lhO4)y_=pcD>zf+h)46$=kO2Jk{osbv720 zhT05GdtkR$721q{-Kp}_M~&0~2qZ0;7{);8Kq=j#r9RlJ^i!z8hQ z*s80|*q4uUivkKDGh*SWc9GV_w8T=ovwEp+Hb=eIO#$ zg6AMoE&P5FsTK-4BT_9wI1yza?MP_SA|fIl3s6RsgJMsZr!hSyWg>yjSb=D|;OOah zk5QK;An43cmy>5=17BjO-r%XkP@S(p*u@s~Ir0~;MAm4?agOucp zP&vrgp^Jil*D+$=v$z1EXF=Oa4b_^1;JhYZWa0^#DdxdlnZi#Ug5Vi^kr~|8pcS59 zfsHosOvfOo*5s1R;fqc|c$x(^D)44$bSWY{ckEaA-Q$bmRw>2eY-3{ zXAYMoCKQ-1F~K_`$-9&*suQ$Bs__=d6&)gfaokCAm-X-ct4_mUj~|_1x^eEhHLdx3 zq5H0PRrE`z{qhgS(Nhup0WWN?JCh*(6th|D7;6GJHEB zxuwu0Xn#PatOnx1TtS}!cnd%m0u2pChXfH6CXB=|I)czdC=kGu^cWqU!|GxP7?+3y zJ5vAx-x$}C3Sf?4D+NvVs6~n%O*~;P@m#?sl+-k-52Oc4%}6zYu%fmKkZftji{uXk zd?F5rb<0^c-@IG1RZpTRC_A6ir1s=U@WTHk1!7nKf<{14IZSLxy{o14<9i` z$A7>v;UGNJ;JV*$*!;1^F*kOxLl!sFn56CxN5@y)vr=UK!0u#Hjs~I{;_27Pug8<_ zq=aSC4Il`hSi*fcf>sr*FcYmS2{FiMcy?S)z)JDz$v%KCzkUyPc)}d)dNZ)=um+N= zHr@!5#XcU@+u~Qmuv)-dCgx z+E%3R)4ZegrF-5RT;$=th}JD;UC-cKJSqR`os~zw?t&a%c6$S6Q`t_k1{L}#wH}Vn z#})UpkM^$zXOrG=kdd!0cowsCxVjmQc%z$M&V{5~omhPw-&15){D-R-_DcI#S^#V7$*Qm}=&}N=Z5A@Dns5y+Qw_HDo%(hK@7lx9k5dh= zU2E#a+EX11uZlOc_@kQ4fq#+X6wNj|FGnY=h123$@uJu}p$XI}#mF=2Z9RC@6goTB z3FRPTpxt`cabRu>c5wY^f-#H3-r$d7=g}jcq1a)JisRzV(E)va`7)VYjsH;;pRPxP z&UyLQ1MqWKo{%Iu-q7(zN1>q8K6WIMxRSDCC|2K{tK!pe_(z+yynh9+*4nVYd+WTv zuY&F9sQwpPYpC1)tjs^%4E#|K1B2pzV*=TVv>GpePJA;dUDYk)3 zaXcw6-wKTZi}zJG2j%jd`@McihoIGZXz$<&X-t`!vb7O!>VL@jrmTV?rJ~~C96aB`T+^M3qZQ_!)0C>u zXx{O0@Dzz}V<2}h_&j7oKPoSJSvXHA5Tc}ENw@>LX`ew`g$bYzngV@H*Z4<+xllh@t<2<3bDu@3%{`jgfEm+5OzdKs$&Te&gzCEj~ zmQ$Rab!TVpEvGCKe1Sh#Rm-eDJ9qb-vJ~_=hptZ+-|?$J8^|f-70&D0Z(O3KizS0{ z2x6ynynjlEXKZq0p*GO!C9y3l$3AQLHVr{<3sIV)CR+0#kp|H`piPEo$9-+0DY>un zY`HP64$NCnEMuY_CVCT#?h{slJvFkt zTJwdL43?23L12kj^V=t{4-VgcU=up-4#wMu$1bWtgy}Gmi-VXk}568xb!v=hq7R{b3&Y$_0 zf`46j-zBw?`Mj}IJQ&`0U9sW_H<)vadi%Io6bf)PtwZ<;pn7BO(978jx#qLDhEsaS zm=ZQ%3r2RZERR2?8zq(M#QKZx7*v2<5LTIl!kqD(NjOS#z;;aqWhfTskgJGH99cOM zV_42A)K76F_JQjgt)@|&%KJJs(d)95d4HJZC3?v1J=aFTt(AAiVY2VNs=qoyBE%*-Tlrsir!sMs4 zl`LamI?qLKGaJs#ESu4aHz=4t={Wxp4(V%&uiL>=3NnbTb@3YIkSGb zcxHY*+f>Na1bSB4mMx2N8quMlvmHpq#kZRlIyxImwn~1ZnR>9b3(xNuYSaKYBBEnj4vn*4;zB!6deIV4*H)VV)QKYWuHBRaPTtcW~?W@JpBLi2pp zh2c>x%ZLkV7NW@|SD4mZt5p=wo*ul}c{7*Pmemrbt|g48xWK^Pt(K6hloCPBmJ&hU zS1GYX>IFqaFbj%^pzmBnEW>-QeDG;nKKQt?B>+cDlUKvB-u=v#c@Es{qJKGBr&hG) zs8&T{_RcE$vJtAh`^2Y+RV0pT8i~DhO(eFh=$n@#Ir3@Uima&>SyK~D*+Z*nn%4|D zf^rnAA}F(ObL7d9G)GS@n~2F#r;3sxOrxZesTCz{6B%<_%aM^oMim*OZK5LcRz*d| zq>73hk*i3U*A-Rtb4}!9+<$W93pt|kCIr+StnALrDNGOyg9cLy>Zb2gTm>D15} zM-DL2<@tCYf`em4C&}*_C#L;$os>AxaB0Cs2I0cVT)Boee4ph{d2MN!wmha|I`6e4 z9y6O+9y8m4;`_YD$~0^)8$#YY(u_9eYWh(NLzA1aoOuo7FKS`?q-o#XRz%;zF>aMK7K?EOdR zm39L@?7TVt@Nj2T{(r^1-hMU|Q9o{L`ejz4AC0jg*X9vs&BMWA8uJMA2Schh59E)j zc>u+|FWnJL;TJlEEDlBSRupH$%ge4Pz*9NF_wS;(>W(J8ZvVXZ`Ligl2fe4ed#NIx z*2I3OiTI$gIicc`#rtA-jz8|aI{vMJ=V*A@9V{(v!W0}e4}T7vxebnQ9azXEj+4?7 zWG+Q99F(=dK=P|7{!@;IvvQhstt3wx0W8?{qyzV?!)KZ$rm)}T@1GO zo^9_A`{&y)UpOm1rd%Ye6x&p@kgd}mSR>^!A(u%=KOJpEOf%Xn|Ge(@*`~`uzx+I@ z$Pu-jl{i!q{}(iJLu+LAgr$vBwp#m@Z^V ziZ1Ql5~x(^e&<~kRKrP2+UPpHTMkQAvaQ}NgBlp%q5PI&(BdvT<-9ETGs zAK%zuE@OPk_;ip*`Aa>-N?8rVDL4&hRKBq7Yu@+~^KBzA3VD_J4jat>G5#%lB TAa(&A3p6=5Hwq;sMNdWwGI4bU delta 12117 zcmV-bFRIX`>;=f|1+W;10W*_Pl@*gNh!lT@$832cOUrC)BioXLm0el~{(V0HbCDcM zBxSoSiNpZtgVS@7Fo0pp(pX!#0cLSaTb5@ zeTX)FK(l`y)w?G$mMm|p@~T;W*?oL(HiqgT9SpmGmMO(r zCLMxN5~71{Z*u%hhiZ0RedUD zaE;@0$+$pnh{5YvV|Y=E8Cf-JbWx&o2s5kQm+u#KbuxfPXSR+XiQdCTg)>8Hy11!*=J0WV62yz2Vbh-;{7@$a;JN>{+xcv@!QD zG8{8;M*y44Y~W;Z?$C&70f>JqNC%MEp)Uo88<}<{9>H5(W<^9(u!mNp-LsOD$gd@l zlW1Yvt2@($WtTUIFpnUu&ev>|nbI##U>sr083#dg)(d&mWwo|tZ94$eIg}b4%bvqiQXPLZ@IwRm@6sz7R5GO2$l7dk*1p{Az9!ZB6YTi*w>Nu`H-A#b|CMFs+jLE4ml+{9U; zCs(z8BXuFE;I-gR*U`H*v${k5;LJcodpZb{IJ7;M5%AKZNmM5gS&b-^EFnPNu6o(P zOV=?21BSY1vl(?K2{hGur<+-Dq3=yZxk+_47e{V4{?*tzK3sp&SE6K9FHS&KU9D3dWYDV_|;{1>6_BIa(iz%ti8t#aCo;3f}O`J!A67|;_%;y_uUH1 zJr9x*uY+FVlqJE&Ao+aJ*7Vnl7!p3`k%M4H!VOMfR=82w`ogoowSbK)^OMIiHQq?e z!0nIEQEmP}u=iId;4Q3w1Cue~kP2mPWOHAew}7(-pq>;ihG6bpF{#&SfXiCRb(f+R6|mOk%tdg|&`o9z)5D6w$i z^B25-L;D1I1Izx-Qcn{>Nc~X1Wolfr@ugtAL2mNFcd_{JtQIF^)k&p`?4^U7vg|JZ zKC7#P0c$!z>-aJ6@(=L5_A{8AAd_h&4aoamEy+b#Jj+1W4okNa%aXSyAS2w zY&ib^k$?Z)yt!EW*#oi>@579Fxzb@hqaG0c=9Nyz&RDNF#?G6m(xL3=ek2`kNgIP= z6w;FPs0n5ehjE44gh%N#uZhRlWHd?jlf@8&9=pCid75=3j9e0ZJ|TtygOJ(8=cRAY<9eD0KmrP-@y6M$goKyhM`D^H(@!$ zMF*ZQXH#A6$0mR`iPr>oiIBi40DsaTV9x>D$Tr+;n?qdVIgj4pvrU?62x0e2XaGi# zQ?Zq6;SR>(Vi@-p;)KX#5#Ptc8{vTKn>!gjE^L~t>@(4XDLYs)NTWZ2sRlm27Zmc+ zIE0zed&6)~ z72z5}j?r9ccqF)nn+O`-?SS!A-kpql2=r*{y#3kg!j4gJ4|c1t6b?&Ngnk0XM8Q*x zs*p-O$f2&a2jX@zK*g^&$13UCyUuY9<+6U`c*ZczgeN8i7XQsfFTA*?TYnA1U zOSMq7A}1NP$C?ID8-+%9M1S*L63*#5+a^<2wx|i*vS9A^>?ojMRWP_UPT4h%D=Rf< zf}RfZ>P$*<~fpe7o1dP#ck;azdM;;aeqoj42E>z)V{$l z8*4DA$(=SYh4F>$Hf-iH8p-s6%qeG{AmBc=OHXuGeARr(hARr(h zAPRGIa%Ev{3V7Ppi?I!WFbo9G!9|cLJVFWz#;{Nd#_}kP!e}^9F#`96ZT;DSS__(U zB^-L@rMU@Z2*Hdr8p4t0HQF7l1gaKlEYFA6bT=f%(I-|F{)G3$-+elpc(<=$H@;&E zf(m7BWOHRX^A}Vea z#aa->6-7}t0Syw6MK+PhqGD^cEn20hMMQ%ZH}7wwC-9_QT!FHRcqB!--%zi zyu(k4HFL8onR&voTGzu*Hw>SXc}; zoZPl}pGRTnLFK2~F8)(|2ZwPZ$2yFj8Xgv&5T2|Ik%uS}6!K*;u}SfU*YYtAqsNTE zUrzS&h0B$4kC^1}s3?WpJ!VxjrVM|NiIyv(L*xsUQOeMm=9!rMt&OC&=e2 zRw(7R20e{ma)Y*VqqeRgF~Q22ACJL98RbAT|>_h{MDY;v(@q@tAl?aQr@ehA-vI z`6Kva`BVAR_;LJH{$~C*el|acU&JrwU+3TAKj8nsf5HEi-y;x;;zUWJHKO&R&qQB{ zwumxBJ4Cxg-;1t^+C?`+cSV0ci=K;gq8?L$X^H@=h(8N>3;6hH3$GC?lT2ucF1{&0 zgujKK$G^ybDsU1c3$!KzlMs_nOsY+~$oEN4GK17p3BvwDm9R!+iv`^=oniWg**LQ# zvqH0r<^#+<%r}~!vlwL&V^P|N-zTikQL#|GL0oUiSkAZ1wyd*6eI0-MuIroM_hrAB zekJ`lD{HF&s}?IAJ)174uk{b?U(x?c|KFH#%sOTt({62LJ;r*vb%6C+7=m8Z!PCo7 zq~R*+tiZD2`NetK2GvP$8(9fwLTN?PI@ z#>?oQv`4O2NC} zd0dyP8 z8;V#YL}{3mMCLI0>iOKlRuhz9Z&@LNwLD>ZCU z30djov)>t8YKIlLR||D2qp=-W*-h3hI@fuq4s}4?ydKvUxCb4S7=4nPsB=~Is`)Xt z$MA|0AN+r3r-1O2JB3QoC8*O2$SV}8=O|LVG`(JD{zqbXKxNjGsFV`JR~U+FCNAhK z1UgIn_CpFe>5rhv+!4}=nuT-h6mYph1;AJz61ltj(aRz*@Cz%i6 z%Fh&7Tna`aWHl)iQLOkPhG?mQW4#ciXAC8Ci9()miF}gRSpQrCeI|W}Cdkl41855j zqR@Y!8U~L2B7_08feu6GEJXw>-kVm-J;z~h1#PPU)P}HIOq^;rtT_N|6fB69$HSc@ zqo#TfclJJ9;VTPQlHQFMB7T&Dtg8b|p^r-ivMgbdWpU`yi;~Mt6`iN6RxhcQ6_${i zMT-uNk&5H7(=ARC5Z#Ow#5U?9ykSX?MYDg-0s^ro2d35O2C9f>EpV$IwbMfk4KE&eKN<(ZDMs!5-|se+UC*;sfbz!G^rB+Rg2xW4VKv&x4|ik#~;( zEz$|dSrjDTfS$t=PNX+-&F65Wj_B6Y#X7YiOcWZ>V~R%TOvxD(vcr$o_;D@;!!du) z6^gz9cHG~$3~Up=^l3)s z3w_ol%$H>^A@|m4c9u);7KA#nzC(Y7NaEy)_#<2AJiFL%xT%EATy!v@YJJx6fiXK% za+)M)i8JFKTz2_(^YL!>0kWm$Mg~UAkp4*&ywpWAadpUZ@ZN9|)cOPef!xMJEyZl6 z7nb|Uzmhwc@{9?7>V|2+(LUPioRXNG~_ve4)?Aw>T zCxM0e)_*#qbvJsb|0loHr)g3WxnvClsSc{Fx|^W1l`e!UTs|}1C&Dk3g-RivIDZ4# zlb{vSg&AkbB?Yw+XQg0u`6Wz(DN`RKb9S}xj6;7sGzm?vrIb`w)pc<5rOL6R>{Qm~_9AXc$ub zmr|Pl;EgkFaH5GWMZSLp-3HYdy3gA=uF>=UOF7jP*k-i0+<0Dz&-0}8V;3;Hbn*G+@QQ^8So#N-)0?Zd7VQvWsVF^x={n&%!6{&|qqC2u zv;9Ov7b|YXrlx;X|6UzgO>_rz;VgFbQhF|Bp;<^jF;+(tXDK{WUQ=;Ndb%*ok=65? zI5Q#L@zl3HwCZZdASgG637{drYcStw1>=N}e3 zo~KQ8F)U1D_T^?|?q*X@kQ>w1ez8^>vnHp2)x9gEFBp()gmm$YlE?;`k&!#1f;q2w z+y9F9;cI{1b|Y^KcasU*wihNeenyJnmN7JG#<;9&f;1c&?iCJ=`$C1sGWNTafYO=L z>E0op%UHT*<6Y7ZyNt7>=#Dd`l@+I@^#!lPgyU9LVL15TxZ$Wd%3g;)?M>XB^1weg|ytjr*B`<>O!TKl5w0mx*iBYB+zd8bd8!!MjGOq4f=Nw8cGX(yjM^ z1zBe|d;}j)_!+URzsa*^7rcPl&2zX-lG1?2%?rkvP=?Yq8-e7+{#o0_Q1} z!C(^20&m6PggKJg-eE4Yg4BgUvdB%p6L;Z>Oj~Uu&>{I_1kY9Q&7o{Syxj6!EF_!N^p^^G1 zG>(fRXHzgwuO=_!)z&?|g8QhR$kTt>2z28y72azF`jyCnTS?BOkXRp&Ot^S*9t8t1 zLpud#TsVmI;pBBn?1N?}!YX4w&E{qbIA6>@mqMfT31|$LK+d6H7Uoe?5u@UQZR0Y6 z215V5>eHn_iT;rl+TOMiOtF#wCeUDf2X@vHhd?jj24eZB%MWrXRH=6%gP?y~n1S!6 zCn%`oT*%j?!0*jb%z>xQ{eQLZ|Ub%m<*tNzzA%z+0?dQlk{tmp>@Jo#a*GQOe@0-Gyf2CE>^4b0FWcCpFh zItQdc3ZK!#hkHK&1t{w8KVrr5+(g2tK&5U3<42*z$nxM)aC%Pae`(7}BGiyn7o`RLI?&@tADEZm_ zdql~^;du8duZD~oD|p%z++v)>aTsmNf_Oh4Hb0E4&{XVcl(yFfx;o5IOk*RdPXovb zihg*%C1l80uel%057>WO8^DG}kPEb@qpwSWxqTZ%-7`)(ZDr|aSF=u?yf1k;;|dbV z#9!c>up3^zy6}dlf|bl@@bRNIARiJXQLuoU=C4Le^g-lOs6cL~!0o*T zaibA7;EU%N>NMgl~5P9HHVXkUeb4O@Rs`e~Y1bVy;q?H^$P zFjKB0DllwqQX~s1*e?`sP1C?L4fx>TG(&l_0BX2tjN5|Hx%d+O@z(D^3<7CMewr$u z%_}3nU9Qabm7)(E&|s8`+!~P$i~^I+E*Ju~6VDCD^F+?PtGExtHnC?*8Y?bHFV_d) zi$5=5@@Q7V^oKJP+OB_5p9I-D5h>n-`*~ND)ydY#Citc) zqLuD~`_PS>Vn=yt)g=k=M>g0Gckq1iWoqUw3|Sp|R*xDZ3s`lRF|;?`+%_ zV$T8f1a?bc!t57FCQH-zWhVJFb_2hmwd?0{7c}}y)+0DTiLa38Y}zBD;j!RFCli~P z7#EwHc<_Jl-rR!+R_8|JVS6?w@vWCh+f#Ra$}U4g$#SX@-XXWEGxp?245Tt64%GBQ zaWMw+*tlM-0|yOQda22u@quR)4nq9%=%1TxBm(OqZkkj(^K z?Q0}x%`Ig11lh=nza_`Oz!^Zn3JFA?1G3BT*OAw35ZWSmfZ0Mvw9`*>%!*K@oXwe=#hjtqd%XD6XGJL4>()M^!;#g?b5)gw?4szR=g~%S+`GFm> zZ!r83M~mzzvEjcReL1PckU=~i&(ZLY47t_XEKZ$uAPe|eC0P^-%@VHJ#kKAN!LFiR zA{4dDR5menl!a-!g?WuxlX;DWMUzDzE{6vBJAbTw0tz~}oq_ej3E z`u4mY&s|%t?ZB=VtL3Vx zhZ~o?YRZpeWzSiclje3;H(x1#eh#~SwZBJyzW@A@-;Ye)ZPuHnAKllx_hH0+&1*e; zxZMAxF&ASOV~kq-vRz-d%^efBoOAa<(Nv3e?|18?anQ%cXT{sPsk$JNy?M!zkgTf9 zArSp7_s%3=ygv1V-LIN$8%?Kd{NjTB(49!}O*DS$D%;h~j$L0==rY!S$HU>ndNqtk zvl*-G)-`tCJZ|=ujs4=Q%0=tpblHKgir3S@GD$2TwrnfgA2y}!HqFjPQ)d95v8i!C zv&c5pKk+n_y=}|)O-Jd%rE@+JGf#2?lAr}h5vc?;A)3UXm?)8;1QcSLNOMpM%0L-W z7N*ZZp>9Exhu9JnVg*rufq5|pp=S)$MuDK(`9MUf1usCPT7>;#QY{p8#-v(I;6$8* zv?rlSi-?JMB0xD&0ZIa4p2qZql!+8N69uB_f}>~HJwaWbf}k@;T|u6SC45PsdWol! zKy@((k=Me680rjq7Bo+~u@s~IqzKdJpwNY$gOucpPz5N|p^Jil*9l_5v&4YV)6lk3 zL$&50IIqbUnFc~;hIw#TX7E!_K=2H{$QYXtV522G(+LQwHMt}U_@Xlqo~FS@ z25*)|7Zc;TV?PsiPtNWuuD?E^ZfV$4aS&7}0Ybf^tdPajs3jWhxXvB=$8)t`QMGFClmbz z9bmFTlM$5@vpVY;YXLcvP?Z&b-CJ!_6H6BU&adc?S{9jpf7!CE0u;r?mkVAMDLzCP zF?S*1CgHB`uixjKp2FP*Eu7g-Sw8g^$n{ zS6=9Zt01hzgCv|$!bsr)9(duk+Av;(B!!70(L_lk7ld&_NvVa!yei;-8&m0Ig$+U( z@K}TIXob_Xs22`=KE@4)alshj6uv_g9(*Y};hoS*1_4&BFvx3sryv4kGhhk^;({+& zp&jH45Z?v25g;_p7r_@XdBnIR@jT+&;u@kVC>fJ5npA)yI)dK|0|L4L8eCv0<7M1P z5#P=TsA4=WlmroRrKAUcL;#PZw9=FQMp&hw2w<@qD=P&6ES@XnKwuhrY;8&#N`vqK z4k!U6ni*2tNJfEeobs3lpgJcRQQ?xO34xGOWI+Q+Xi;r}87-;-nsEU$!%P;kC>YUW zF%TGK6ERBwYr!mhzzl#jSSW}uk`0FSAfMA`<*e0SJ6!UPmT?J3_1!H2I?z zDSEJY!d&9Hf=?)^X;B}@4wBf&G=Z=pUNGAY&3F-Nfq+lYMv>@Rk!c{iGBUz#NMQpP zQScpL4`)@l4Ky@=#RynUB77rhO?tB`*7&gT_^~JsMe%&_ZXk-M;+O(UiUU#X_Qv8w zJbA(#@4jD^qIlaq$NxKn{-6wn!h3K4Ff3jzM4|KzOSD^~FUa=Fc(5 z%^_C+R;~$s>t@lnW-aJjy8`;l zGXDbf+hIU;%f>ZX!kJl1IJFi_xK+~mvdn9;1T`tH3dLR2dKYdFkYYD!;nrm$Z)Z*9 z^;%5i%?c)3mU(RzcN%0gzrHfYGKhl-An*JD`JiWikq>e$$Op9o^2;)>KRE8+*Q30F zcw7(SX%)oNFGqYT1u4{mXqJeApN9WNOB&bHlEzh9(ir}}4xjui;>oTB@#I!Od|BrE zba)ijl;%17R4B~fE8M?bl)TZR(wWN7TSm!vV_Pg&=~9>GzE|V?*dA-Jfx6M0(wWtI zY_QsYaf8x--;|{Ejkbpl>+TQsVyoXD@It9J!!e&L(ghtW()UR|(fZmw>-Ep`bYDg5 z7K^T@@GYK}fAvnwgXh~I2bbMmpT$(RldM69enQ-X;n}E?e)`ewb^mnS8}u{s)djC& z7EV{Q(Tq2S>BUk=y48u*$MHQye#QTA^%`G)Kn~RQ;JVKegMQXO9h{YUIyNGEPuV}i ztuNh+QCa=ZkLFl^V)uK2wUd%|b5U)cEDh?-A1XGurq`~u^nB~7jzv_(8&>>TOXkFX z$a#uZ8=jTJW46Lc@uGNL>>Seq>V$ISDUG%sGHObl9qWX0&@s?yz3Vs#w*f!6{yfH< z#eT2y3^= zL#KW0NEC4;WyesizPnV#=fU7#ZPD_75xiRI!2a&s`Fvjm+tE?|FK}y^+y1J`KRFEi zK^tI%U;aF#ar}d~3Vv|f6{^_T66(nleo*Ulb^hgQc>Y-&PjqS0*hwzrjt++;rC=p1 zGGE#-dE!+=nh6=E`9m{Ph!Zk4L(%_F$S^hZq!loP>CV>QgdxV+|W z@1mrapw)h8XYVOlOqr>+wNY<>63F?ctdb#>qGIn1GW5pZH(wxWbVp_8U#NN(`m75X z2Gk55(~HL3kYVz{@BJQUSv7ezuvipGO?N7ZmRNhnQmTGO^MPLnPmuUN0&;u(F9UY; zgYvvL8V|pV2U}-@&*ei=yrIlUx<9COe@IeYU0sxyWDl8>KU~$vX@^sP)0Zu$lMShF z`d|BVB2wd_%lYA}mq%|7o;83_lYM=;zzscOKD(hpGx-BIO!782T;zmt$_eXtHMJ93 zdtXktNbh+*80Pt)zq1c6gnY&Y>(^2r_~!=q?}D(O>rgE|wlbn~&Hu}#{)Ol}iH3@} zDCMg89;(vJ?Gt(#eUmePKQeCaB(`yL+vITAWOi!T1dnTi$ITbbhXr!nWDU2mE{M*> z?5S0^d?TirV6}8r+5heE)7!?i;2qZ&-QmJ;cFTwJ?Nw#Dn&RwqI6HH1HD!_FbK<$` zTBhUKxx3etg`m#_bp2-W1OF6g4K;tq*InVR+Sg%;-K=(b%Z!&En z%f>V#LchzS=+FFrfvYj&z_JC!Iwm?{qF-XseZnemq(;_PYrfEu!7`FG2(0mPar^Y$ z-v0X|cA>*=f3&$z;gjQQLF@*gw`m-m?a*(`eh|Cv){ZdN!3*44v1_Jcw|>JpiQRNx zv3slXbKAV*Gn%Qt=X5EZd zd_ckSNzWBfH5E;AVc|;Zq-|*Jm?nH3V_~^E6AH(F^iyv(l5J?$s+hi2F{7-iWL+uU zL?_R-H{1<)Zl5ikD1!D4?U~0iKksQPnomXO*YfnC%9-uU%`?mE*{4G8CNQ$9w(MC{ z(})fYo&7*6Zob{5(b3sivR7)w&S<&6(7A!J3_UJ*uITxK4{{tkCobFsJzTIiYs(ke zrY1js;Wo*c+z!ds1a<8XlMmnI&4|t%fen$D(2R`9OK4uNzThPc>x(9WmawcaF6c>! zCih=q(ts`3UVM7~+sm!}nF_b4u`qRGVLT-XM)_`yg!+t&vF{%0vl46mB;f@L8fCa%~CU+8am_1*(SQY9v@0@ zrmW~B`A5fzX+POCB~CQlXK=?sxNv1xuAvRzXZ=&&Xd0$1&*_-X2QP`|%x;$F%zmKw zK5w`(4WG-7kPnhHqs@hz{=$W!$!x5DXI?|e3|e(j9qRBlR-u3#E3eyXgJ)Y8A#0l2iQ2Rhbz1(&=Ht=coBdZ!uDJckCO}zaXH#Wo z#p?d#kxjhi#3qE9?CkF=J1^9GUVcvV@^id%eqN0EOok3_lA(jW{|vp<(ZJDv*6)W$ zkG6*8Uo7kGFNz|X$xTgvMVII=$k>r<_XyMO;Sey5dxY7yM5=ZV)Q^dK0L7iJ-634z z0lkte_C@ht6sLpB%dRLOQ#r=>AELPG4#&Oj#aZvm7g1dId(XCaQbjzgiQP~W@nPe0 zLd69;`T6i1e%g9___BfLU~t)g?JsO?!UP;O3l4(04UTWUy^sq6C#40*T#91QFKdN? z8iz{b z{{o|^{@0Tcl@qraWC5`c0y8(0LH-qgCDS`klVKFV@pEchCY(VvC}*-mM5# zipteX0kz<@Iw>*1gt!=^1A`7OnwThygXv`0bg+qu4vt;h*TSzUJ5oqvORL9$emD;_ib>R|Si%&y;b~EPF z0IYx@T!u?VC1P=$=e7Bc2!vGvN#9ljwRBF{x&(2`;|8cxNk8$p9#+zYEa{+2d$$@I zReIig7ll=D-jWPm*1L7EMkU|n-CBsjC=cbgRDu?F+bKsoIc1-3i$jyjz#HGz3@s`% zFG%t{e$cy(uwLccRL^nc}s56-GVzFcS48C(~8GCVHYQ_vt*j?o_A^3t@5nZyFJil z(^;P$ghQO)FMA-P@;u@3VK@R=I11fx4ECzLN{R8;c>Te5?1TMq08T)EpUV70OXhzY zZ=1a9hm&whr5v?E`L6M9`41i79R3mx!VnC@h{{6Tx`jF8)1t>`;4GX|`CPWamz?n} z=hFg@@|Svym9iR#3Ag|kRerGTXVLhx{E-x45~frZCv313GyY|KdIhekYQZnBsV1|& zx~|$E_0