From 0db2b1f6ee3d68063603c65fa618da28fbd7ab09 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Thu, 18 May 2023 18:20:50 +0200
Subject: [PATCH] Geogebra file semidef_prog_estimate

---
 theoretical/semidef_prog_estimate.ggb | Bin 0 -> 21765 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 theoretical/semidef_prog_estimate.ggb

diff --git a/theoretical/semidef_prog_estimate.ggb b/theoretical/semidef_prog_estimate.ggb
new file mode 100644
index 0000000000000000000000000000000000000000..dbd8993091d739c5994fe436a3ba8b94721d3eea
GIT binary patch
literal 21765
zcmWIWW@Zs#;Nak3_}sWLi~$LVF)%Qsr{<@pCKV;dmt>UYCgmk&=I9mVrO(}6ZZq}c
zZ~MCWk8earT7L66b?-HYY=~Q#qOsAbdyl6$sUDwZ<ZPy>?KE+&q*GY?o0+!t-+lMq
zpa1^*_rL!>uWe_4W%vDWRqXoLyXKvLUK;z|IM>(2@+7Me1H*}{S3~j`8D#zl9&>PE
zsC&HpY7bLGw*HmSDPQ)uPh*zZ@-;W!e#dvi+t<E-PfWV_=hW-g>y<m#yH?$;%~w@d
z6<d3x<JPZz#k0%5cf8BeeloZ8`0npvuCr&f99S8)rp4ybEQ#Nys~+4t9TMV|GOfyF
z`}zKZRh@F}o^7*_?8_;d)%SmL(UbhWIst_NyK1-WowEFWc!ZsZh1d>@)LVOlXK#>l
z^r}~V6A|N>cr-QX?(Lg9mmhx|cyvnnC)H&io#!bm-&u8SL+K{TN^wssKfiN9zZw7C
zS)|leS(zxg>r2!<tKxe1<I+O>$GMNqU%S2T-rcSPtNQLQl>4%H=aC6#yS|3U+>}kr
zJGe>h&dM5tn4K0OZ@ypl_B)urTcK9)-IX1B$r^#X%Rg5vQTLe0b^OM=@2~ecG&=tK
z@+QZfW%HX*|Fs`DLib%wZ{pDvK4xYXS?0(;d(Yal^?7%+dGGryjG0pJCVj8pwS5yG
zYvm$Y8L{*6hmS1DF;3q8L;m_7{q5z~E?cL(yC!EpJ#p#cwR6SV9#v&>-`hUpVT#cV
zqny~cr}Nh3e|>8;Z>j9M3PoR6v7Zi;yBWkAIs|eW4l=xwYn6&=c_R}fTjAaD*remr
ztJ(id*LX6&S^vI>ImIA%CU59W{X<y|M}iC%oPAViG)L*Z_%^>UmDf+K)Z3H9>K$_5
zgO#H^kg+qY>d=eS_ZPXAKj+AekecH)C$V(myG1WqA07ypbXi+&ZnrbTQEBOQs~GtC
z`M-GZsm)1IJZ{~n!CtACAbh-Z*Sac}f&=a=C!ILfUth(mtH=EI=bsJV_xL4fFda_t
zW{g-^D)d2ZwZ_h~?cTZblv_k@O_bPr?Cv!-X}9^z?{s!}eQ9B3{o$d~_CC%frPi{!
zT-ScXd!8dq{vVd4+&{FkM51f&*Y%~U>kS`%X^?T?a6EcD;O}y8v)d}sbt~s=$eTTJ
z$H5N`bLQCmIy?K%+sX{l{Xu_X11~?b;&qx;AhM^COSDdQukpL^nj6!qe)P<JX|}jC
zMq@+ehOJvgWkrv^d-6o2JFP`n_muIvGso?J7wxOcj*w=Rbd)s7nmpn5!ykTguglIi
zU-V<e0uG@MiTd&TL^i&4lJoe?Ty;QPeC@N>oce#<SDbHu-Lx&Iq38Kkg`D{xzrDSB
z>C&a81%b^eciMmdy|0>P*R2(^Fyuz6vYRI-d(^Tv{+gs~-2IGI8(y3?(7gWAfalP=
zb6;QUM=?beyubHRga2WF%LAJ(nZ5t_SnBxObEagA_1?{#W&Ek^KyRh*5#H%H<s!<@
zOWNM_SozDN(P1vnbMfm>OYi1y^xh{Zw`<a*6#e7nPYUvuWu0H=KI7@nDhsABm!?%*
z%lVN~{CT_iq{#VpGq-Ku9?dU0v+Kl(j6d^EE6i_8PfOqbBkSiIJG%oZ&tmI~Y7C4;
zPyOQa6MgtS>`y`6#HNjw;uqRl&jvGkS{F{|*<URu|4T+@dc;<hr4=VD->GnUDRke>
zk-G1b!WaJY{nTr6@AdQkc-k69{@hW~TK()RuUrMU>g38-e}8}XyfAlziTS4cpL#aE
z4_#i!Ju%FagQuytT|!hO<h?~)_MLB8N51~;IOG&t^yz=y>$YQ)J0~yhlw8(%SD<%l
zvwfF(-m6)&KF+t-cHDlQ&HwK8^Zv3koY{6~#{RspPkQ5*drW(*nZGgBd{R@6w%&N?
z-j|(4g`Oub&YgR;^Xl2C7*F5r^(Xh|eC~C4;-2;3-`~A|7yeRO)OO|Z&nw>~bX)Jl
z+c2$peV1k93>M?~uNn$+VXF?!-*)+mdPnfz<lxXV(FYPvpHRD_dg(yA^ukrEb}cO3
zv~sKAHmMAW9b#v0?J}64FaO_>U9Cia@fx4-`2wkb#O@iaxxC@hvvN%_Ki4x8c->pK
zzX)8Am3Z^$(Wu9b?0$Cj`#f)*DO0U}x719a{M7mL=iPt)`8oHsEAxp3ufscEetY*h
z`KJT_qC=eXo0sogedhDmHwr<Ujg5=ncse&2OyBKiztrZ+KDol6$0rg(9)w@bTW*-z
zu+XLJepkuQ8uPsJd^6LlQD2l@8%kY53=`B(ux~iHXY;{QS6)w%OjG%rCb1fpu`@K1
zJ{f+vyf!-Sdf=+0k_CCsZy$EJ`<VBj@bzzV*G8)RmD&CIc0z)X{lC(rMdxKTd6+I=
zjs6i-QL^_DTk==_X{Bs&649HjCb+O3=`)yS!)3dx+N7ZTjns#OZ~tDtKV4wf>?;n5
z=1pw=?b597XK!saTi;QvGx;^k?h6dlJTEc0{<|aS_fevJ-br!!QYCq7<^RirOKu;W
znL4d&!SdG`v%)VXb-v%J-Eibp49DWYE|xlGCob;T>uS5UeOk7~E}~(3#-t+VS5G4J
zVmjnje>_$GMSF^x_m)r3+1)&r2BhXBJ;^^9d#WyKr=at*lw$#PWm1eTll4`PZ#};4
zezbMm-d_=Ui>DSRA6Ymf>XfVSj|V&}68kP+J^1=l;p6a(@>hGclN`j4v7CwxU_0<;
z)5XH?Kf->lUoWM1my4ZMS$ESu?OjIacds;PR9Ak=rxd5Hb|`<J<MX8RA>ZfzzH_--
zNy&c3Il~)5jeWmnaUFH*FAsH?I9>egBU{ef+QBvgccmp)J-#XV*=z2<zt;WVeoy!3
znRq-kI9N<c*Gbi`H7sYlYiVL)eOvY6FS9*MLpj%(%w=CZmCOAsm-?+OE{>W8`Hxa|
zZ@TB1{XJphzZ;4CHivsAP8G0E+@^ecef)kq_W)1doh}}{s}>rua&r5fi0ToMSH8i(
z`BwDyw-*{0@2{V=q=PY0%*x_{vv>Y+6JB#02X}?iUr$t7;?i}brKC=sT3;pZvn8kI
z%-OSNrLFc=|M;pW|2AdCqr|GW58c|?)=o%${Hx{lw45J?{R>+zZ2c>g?&)i`H(U2F
zv%-z&oUl`~F5XX&>VMG7x@`XOV@Kaw7X3S5tGwp$&3ARufjg?wyOv6u$_Zx{W&~x1
zB(B{k<)!_nDE6)L`yWqS_sXs-Kcr*Rr6U@%qDkM{_SBS}Jwo62oO)NgyL5r-_J2=)
zKS<c}MR&&Me-|%JO8zF|=F47DzyFO(+14;~z3*Z<Yxi3oZEn80fmPlll7HJ%HQfS#
z*N+)-*~>QlTM_VBqW`b^O5T^ssXvxzyYSvRfAGp$%>eJPf2=}|>jGB>#XB69shl0a
zIQ@L!Wtksq>t>anH*IZKlDcMZSM4S<eSLD;GS20%5&}$wg4yc=A1d&qrnCE;P)@g~
z?zQ;v|Iy=WqlLMOtoOBqe>%%3`!VQG7TvwPb7S8H=07vHDlyv4xOLvgVycd__v5>{
zRaydq&!g5n5nOT7BO%<RwPV8B=gyg#CQZG5FK(p1{!^eOQIff4f&JG&ZD#(isk@!G
ziM6{3hQv!o$g*VR<$X3YKIH#@zi}5!bK0)n#}C=7oMVrO@3r7NH}~Eg!E?{nuub6o
zUNfbOEo8;)xf;y8-lDCJF`+DsM%~6N3er!71w0llG*D04ttE5geE;ITBHLH8F6+Lm
zEo7N#IO7~g?zC0x$wq}SSwC{5om@Xkx8D0T^QvM%hog97*ixfeytf^W3RPEC9%axn
zIon!twe--hnUaCatr>#ZcXS=MSRxeT5@OQF#=5-8@Ctv?v?`lV-|rsT%o1F!Ao1Yg
znL{l(p|AIv-}h+95J>FLaZ0+T!*_aHr37m{chRzC1?K9H8vR|ElrriRY$x74bR(?6
zndgXIjhRaGqJ0YQ`ZC@u6k~ZjAyDc@qRY-aU#0k-n%cK-eyA1hoc?j)j02}~TTaRc
zsVb;>y8GKj?#YZ5ERW3*vohuCwqn|`#g4U{%WUQz`;F%gd|mqW|B0mY5wEvS)3?;0
zZ?E3CVfE_O+|5r@Z{B@h_wUco@2~dQ)b)RunIvPF*K^bJNwdGz%}MzN%&OI&Yfjgk
z_CBp5G~vkKKVpuqjSD@0|B{@?J>&a*YsrP)3Yi+|i6VO(wcj2nesyBe@^cG?9xhW#
zwYxvPbgAGq&gjESmt3`rX)!)`I(zO#e!&@*x&dv+I<@Q1oC<pT`u+J;YkV%S%Y}aQ
z63ctD)Z<n4)%%{R%a4gVymP9qTDA7%nSOzpk&);3MJ+q5zI(6cyGvZRx14oVHTS&8
z^jlAnL2weA@pBo*ORJxAh!{%e=mzkuRh0{qK784HRn@Nuf$d9nG~AQ?5Rw1#mDBO8
zcRJUb!tRz`>R!h$|Cr%n(mGY=Sp}bd`|VYD-NL<4)N0Pp)xG~Kvo-zvo@$rBwwlPG
z>UV4Fkt@mFCs)3BQxeIwv~k*Q$7Q8FXMXi%R{IFw;<&Kay7g?%#ZR9;De)hFy3ORH
z^sSut_cC%lcAm7?vncs+rd7VjZLU*7)w15-zRA5aU#8yM#eDg9^?udPi3Rr-J?Y8*
z(56y);O~LzqA5=W)~7xCdP(ZnnIcD*$@{P0n|xI52|s)9HTmbK_cRAsq`DoyUsj!2
zQN8tM|B6JH+49?GRc6|WdcAEdVv%Jq<vj81{NWV|N*NQy-lsg%^tye%|D)-O!|xt2
z%UUac?_0wWuQQ$1>3Gc(*>mhAPZ>2>xL%w(cjl&`i&RFjm9T2%ZkHz$7Py^#zp3Z-
z9Tpi)elHE}e6#n$ahBeCufrSpzdUEuYT#ez`{7^|r`)X%J>}Cn+)ljx&Rbi@R^<})
z?d&Jsw93isE2E$L*(?5$%Kwxkc;MljsVj>F&#~2?Q+UGZHsMO~nwBLg`<Qb0PEOG0
zHDNo^Em32{V42VE@klY_-Vw`3zklB}eG#yEr?39Ujdz^04_CLW+;QXHTy`t-4bHP%
zA3G<T|8omH95y%f<&(IJq7@m_KTK7*bL&<$<K`&kvm%x+B_)^t+<khJpl+blfvxMf
z_PyFIzV1BFzAYPknp9-;@5DSh%kYoGvDCSKZo0)o&qvc&f3NMU-KMlAr+wAwOVgVV
zORU;G>FNK)Pt@G5pL`U*Xv2g<uXGh>O$^_4X@bhzX+OWMP2Ju8{YjGTx!Zv%6Pp>-
z&v)0FP0q2fRmy&2wccH8jbxpI+xE`awLAMX4;&Y`<{qitxnQ@FPOi=T3H%2fKCQ2o
zD`1K2$YEjLS1G(d@%V+_YHLSjuZIDrQW}IylkT28vGkE<=8`+gUdtvvGPza$e$zWo
zX1CDI7Qc&r?_NFM^?<Hp$&00SXMX$U^|8-A#W2Br#uLZ%y=T>DWgcC}^Gw=w*XixX
zR|B-zHq4iwH~smqU4BbV&gtw)dXQ^&%)RyZ%t!ul``#I)$lR0+ot8M|L{3b`g>P@8
z@0>W{@mhC*x6bs9bq}X6Q7t!qa@+S_c6j3=rR|Q7PqdY6FL)QJnV9&kruk4t_%h9+
z$Q#u^V-sVTRP|pcP8OMR<dAcGlZ(NDFwV7IjqAR%>{T;TYb$m*WcWoh;a*SgI_pF1
zD^GnbIFUbV&+|JC1?5(vyG`12-R+~7KI34!Hr>DcxtjWAi-cPrR$r_*_xF$F{Zp=a
zuAia>!=4B<eGt_1>PTGhW$}RzMn6|EF?K9j&a&1c^X7BW!&f%WnC>&_&z+ny72e&&
z*N!&M-K}1BvAnHoWnn<l#wo?2Y+WK!&5?q<Sxa;Jr=&~jl}}x=bfMY5KL;-}tW(im
zviVJ3{nuPK`{Io@sed#>W_bI=hJQ>_{;}cusV8=9az9rc;y;=AaQ3@O|61o`@rCIh
z^qe|M-%U|^ZE$dIu9UC$O(DzNi+hDO^=BH~m-(O`FJOF%f5Y8hE7EO`#Me0s+-cOS
zs0;hkaq`=QO}wfnX6ma%@7yuP!DRW(iy84>ORd)*UZ-@w@|acc{<0z-Rv({SNy(Od
z((c~^&wp8Ubn)p^r*fvbpZXl5bXshE>E2B%x1QlD4>9+#G4eWQ<nZFmwI1gAg-3TB
zzw+%0r)7=J`~b#36}C<;F)RGJri$%$i+uRy{k;15l^b6^e73S^myTNo_pfcsSHDtb
zJHz%Rdl|b>QjSjg?b~0zi!8aRB|78YuENHbraURvC528%{1IyWn!tYT#-m@c{4au8
z(<8Po`FmACD`M*YNAK=6&MUlg@iVL2l{L3k-rJDC{%)$|>}8g%7pwa#P72xx7qQlF
zwEhssz3QoX?}YGxdGn^v{TKJ_Xu+GKYhJJ!?fWkhu5*|5f!G||<@R}g4-PMB+Q;$W
zr{|WnhMZX?HueuqmPlmOzB1eP!O&{fv2?X_2Ah|;U6WeQ7iE~W@afH}{;4r?x&<XN
z-`P{j*ju)2xVs?l|7>HGdyCT#HgL|Lo7+=1@5W3$o?G4e9JBTup160xtv?RGjOHy~
zoSfs>=up`>LHE~{*^_QCUVGfL@b9cMqWWHT7Sb=fDs*QWJPDonT1!dzJd;abxW%Fw
z>+8c`B<<<<cN3NrO<maWFPmw?zOPxrH*&r7X1{y1l1YA7_H@=L^A(S;*0=;)d=$zt
zd;92+tnbc(#b16lZ|(h*96o22n4nu*+s!No9f9?3yqB!kr6o7*oY}5i=-zetyIRl2
z-2UzqkHt%4ZI{PB>DnGu-_rN##=Em$Z|s|SK7X2e!IwA(fx`c-A63$_4DPlxI%Fp$
zMJTP)xh!X~TXFH!9{-*xnUcC$Tc#}CZ(Ce#w_Z2z_-2b$<sUl!-+lGTd7|B<Rfi7E
zPRM(>sQTj;?N=tehKE|e-Ph3g@gmm4B4qcUqD0qY29p1kHuH7Y#XsOQU;HB=J8?^I
z$IKgdi|(kGzkhUlhS;?Nwct&2?!=S|Y*$>h;UN1}?*sZh=d5EVd)RsYR#e+8usEdA
zKzpLtN|iM3&Q3$d)t~n6$u8HwzU!(~fW1@XznagYli3VAx=nZwUpX}EhlGHfv{aMb
znb}A7NLgLEacTON>q@G}1yo~23ihvEV0KgF<+q2oznszks&VwXP3rBbW|i)Nsng$n
ze0@f@u8)tw>w`(lT@j5Q|Ht#hw{1ICHKitS>jU2{|E5=*e7n`tX-2@7hFdz#HP?47
z4R^{mD?YPy=??9}*KxJ0ZhuMi{2tpb?|n&tG41B8liQgdB$@n=*(?04CND7Sh;x3y
z*3j8o6z&`;bU#+S>wx_xmFD-BWi6?WL6_%qpUGLfyE&z2yT6?K`v#lkucTEsx_mx;
zzu^j3o>OpaY`Uq8H}kzNUKP#B{m-(u_sjmOv7fc|s>EHn1^?$NpZImRyYIB_AKMuW
z!CN$<dh`0y)ogS2yGmZ!;%eLY_k-x;^Ec*BIy5QcwuR`?&Ni*&6~@iIthF;<2&>5M
zKb$sU{jEK3f4n*t^fLE9H`BJ<{=3RLG0H`&M1Sx6b??5&{0o8KS4(mUOFz<f-#^1C
z|3>mFrHZQo+w)w1r|m90c;lQ9`*QZ6TfR%b1l??KGKq<=eX&_p+575xiSK8Yvz*{N
z)E&X}rTFO^f7$3Q+?x8r>m=T-;mh-X5;ytuiDUOx9Q(E@@w@(k>UULVziv2g*y5}4
z`^Y9{#pQm#KC{oSaH`((sM&U6Uwin~{o5v)Pq@pac`x6|=<*>ZubVj+xtw0Vw(7Zh
zPAb_aX7kRu?M<?;S?0~Z5zGFxO;+S~?#1H^g5q6cQx_k+>^13^jgK#P!wI#eJZmgA
zZJc#qcCB_;Kw8R%d1?Fd-uABxaDKcdT7^~qA=jxJlZ<D~h*}*c{_>sum4DAB{>)yG
zd(=E<#%H(vo^CI%g*}RUZ!&4`?CI_4OLqU>`r~U#kYNO~ruYKJj0etFUAA6U@zf6t
zaICm9efrhsu^Zzqt_`1d;m&n4T^p&mZyWac?&g>r@3%p+;m1|=zc-HTc)@l)rQzh$
zgm>P1>h`<8&)v37jm3bMW%GqAo+VTNINd7Sm-KxW#|oQCyUn+MzU=EQU1DiHOa1$l
z8wu|O10uJs%;LECKx3l+uf`hLb)^Cq54qK@<@mES^<v5n#e%X3<Bez3ocL!xudz=q
zi;B3l!B5l0$)L>ZlFqk@!R)%#Q|oi{&pXfTWPCTxUV7$z6|s*iq`h997g|3jVH1<J
zZJB18%?-CFe-EY>o>e?qUU}$L?n$$5lRL>f?Egla8t2cQX7^V2dh6;<mhVn2D>?mM
zrFTzwiIm{#IGt4&Z+n0A$=j@Ub87q6y_3qSx0{3+Z&3@aRq(#^sJ3^pWd5<!lVr@d
z_GW)F6Hi;Hevm~af9jo1J@LK!40d_gt;w|!p7}I%jdRZOgLfUwGy<3DXI*(YuV%%L
znLYbWg?;Y!)_8n7lrpvM-@bLOS3YvMi#+ANH+gdS{3+d0S~6^F+<o1a-blJ{c0Yd6
zX4lQz56|I0xy&Fw{zAXg%>edkWnoK;=G^ehmiK!mqah<9@47VMh17c0-!H^}Zu+=;
z*7nOh(=)}^&hS_jUm)|Te5HX}g`wcurPXVqQ+DWlx*XB5YT+&0^J#~ZYC>ve^j&Os
zT6@J&;b+0lq(_#{Z$Ca?lso<LmZ#?(S+{@FOv(=_na2P6i>6BS$_orz-_Pf`_+V-Z
zmuj&P^O1%R%?1ljPBql6pZK7tAoFPRp{UD~y9B+q?loARyVK5ov-TO~Ig-<DT^#1h
zhucj1{xAAZ>EUbn-h1NB?`_yt|M=Lpza8c2GShYi&-)oVv(6+(GSceeqezMQ|G)nF
zKC7$SM>LLIPCh)}B1=Z!z~jpQ6wv^0Tb?~LKW%;xl;gSi1cT_u8@HPI&#--!yY^mq
zNB&C*fit!fn5S;;@JNe|<@&D6X!H8Amg=eO-G6=Cd(Ssyi=CW&{F3~1)}mWs+Fa>h
zPccQ@&v+rb>z-+D<DoMb9-Uf|qa(ms;@Yxv&e1!~svoEPt~yiEq-GkTH2EHPLR4t8
zztp~0D^_fO{q)2?f3ahFL5T(1HnZQoUi-fO&%8;_^IqG{4L@eKSeQvBXvf6hE!&UB
zo~rt;_hkQ%z{|C3S<l9<FEF?J=H;pJ=vBCe{gI$uRjVGD`>avlTP3=3e*S_u-@51f
zf2co?-?*d9_3x##GdezYc-VYV4HFH!k!mQiWl7%q;~g(wW}5Qze@r<STqMn0F@0B#
z>FeJWCC{H{&e;9C+t=KtX?fw~QzD)7>r!^!Tll9;#y9H9e%~8G2^=%oB6zL&X8un(
zJ0r$?lgs@+2VPxX{TZ)<oq2g1wo0Bms;05xt4M$2*O1nxKie3c>n86hHEArLaO>cU
zP`7_=LE$cZ58ejwOuBmK{{nMf0i8m}XHEB*Ll~?cu(N${xERF7TePVviDf~P<<azF
zC7<|^^~;>KcK#CimAS>wrut#TLRTM_6ElBqQ0nmf^vu5gA5YBZ&ekic)(TBxC3j3d
zJzXWZQ`p^4a7n|IA9I~O^^WqlJEfepQdW1@ef8e6sV4kX&XINNmOoIw*mbwV)lgP&
z;pcW<)s3HP-?n`Acslt)_{NPf=jYkp{>L18;mNl8h`@OEYwPaK;!#Y$v^vdttHxB_
zDQoV`c&}}>Yq{Pr`+qI_KfX5qd;M(5*V}?q{pZYh-u-KHdS1j5{Q|4goLNWb7VF-5
zqxoh6|BZ5gk!@U-pX&b^eTrU`;jOUbXhwm*s@2-}cQ0?)`c(GPgWO|Z6QlJ^pEGrY
zG1VR6{c`q2RNmw3v5)*8FIj(xAxq$FbbG1Vbs=Tt%PLv-@75e%th#^c^%72rjdK?t
zYthI&yfnq~fIqilz~tS}ET)P*>MpC9c&G6C^5yACIv<ozRW+penIA}zP-VSvNMB&{
zT(K2b8I)ACm;FDoV_(9SxXJH=mr8wAPOsoz!ExZmF_w8IHix?FJ|BDErzZ0J!MA2X
z3F$M>Pp|nLdjIBUSswjDi|~hYdaW)9NG>_~w@~u@-P0xt4<>Kjx>ZVp*}5TJ@3-E^
z4H+;0@}+F_{CnHrfmR$Jx8VBOH#!PaB9E=p`*85WDXnH^GbP^ETY?ff9UWKLRN1>T
zl|D~5&<padPt5AvJRy07J3~{AL2~lrw}}>8W?h~Y!?vJp*>}+#){SPbeiyyd-F_>Z
z#r27Q-l-jY67G37ezr5r*3H=<UNSx2+0~k7#oC2T3k(7rEQNWVop}*d8QPm4$sMFN
zckiKNA&eZFH=ma~Zv1`VpyTw_2RFG$Z@Kg*GgiQ_FJ{lo{wZ7zl^14)>`vWkEOhZd
z|M!Ec43n8_Yh}K_zhB?i!BTlejqg?9Bp3auS9gTmD>Gmh?*G!!J|kIvD~~3-xEo{M
ziiI1e@MWKmuxEcC$?KM~uX_2zXKJhdT<5taIDaj3&z-jg3w?gYtG(7@dSh=}#CLw1
zmhb5Y84}kbcd@*&HZM`@((`Bhzj2P*RpsqZYd^+VZtniR`Q2^r=q|%aTPkiZKfEWc
z$+56bIO2AE_L3{#55zP(TkPjQraWi+R>zfRWu{l0-ErjoOAnVxCcb}m?Ow=~@s63r
zU?bPo1TDS|aRJef*1Y%;a^mvdq~#0B-hZCG=fihzx6aw+-=;=JY<HNs{oZfpCe7B5
zlj6nd>Ne#qKmUW*#jAbKv}Xb=Y#)R&h0Wdgx~^X2zqoc=#)Ln+tLCj&JeXtO#%v<7
z{{OqjqQ`O<zE6rS+@5$%IP}`*oths?zIUw4sEL_v!f(EP*V3oAm3LMg`DkUvag*Q5
zb@>Fd<99?=xcZv1CiVZj*tx)Oh3?uTf_YB)$3+Z7Vy(WueRwS3#K(imY-@M-z0*9s
zanjGn8!u14ZFWnUXYKCAPZG~WMG4ui*!lm6zVX8Ob2jx)>s<L{Kf|<c`8_LFMjrh2
z?AY$``11L4A8&o<HA%15B2YY2@4IuOaasFo(<`T@1*Rx69?hI_`n~)o+vzh!>Xv*I
zZhZ0i>el(oN@o1BabSI%QyrtEvU=gNWq;isJ$SM@L7_S(W=?@&!t`0^_*o8Y{dx6+
zp~``omh%`|t`-#C=Dz=S{*BI*xG+n9quIjlKh1168A;j;_Me)PSXvob&()$M_2K=^
zm30SqoYgPj=dauG(|VopGlBf`rCCohmx$b2{nk)CK<LdOcB2QDOK#0PYUk{@H*eL0
zS;ZnVk1tZIFkZOcP+Q;g#c@6-R*jljek!G%S7%+Uxy-ea@j~Fi&a;v?tr~ucB{OZk
z&okfpI(vPLo_K-e8=(e=w)my$3p~uymwTQK>y&>{yK&yUb9M@U_AOEAV)+rR>AQ(p
zgU2G|(3$tO`vU#gKdZX_@mv`t63`snYq(`k_pjaE0uB9<rl<by&Yt+{K|*4TldJ4?
zjib(YZTFm)uiTyD;VKZ~&a-fWOX~Lz9~7E7|E@g{T`Q0`GbxLubM?7kC#`uhzZbn&
z`R+o(#3{AeOCw%!zbctouqv@lj5YiRdpd*C)qpuco-YLypO#H+;Q!a(w`u!lSE;}o
zIoe?}!r4Q47A(3DlQF^m@9*y?r2lAKII%qRS>?Xxi)LOiu{W!FDfD{nt4|dHzxub`
z>s<b@XueQJcd}T5M<7e65wl`pc69WWv*tpFI@q)x=&Y-bo_LaR%CeRvU4N?Fe@ra0
z-}e5#<JK?Dn$yLMzgKQw`I57R^XX}w?FxP6w+t=PkKTB`SGwoHqNhRe^EZVoZRlR!
zVAjDF@?v&&Ru)^H@cd_=_wQw1$2IHByw{o0+ds)JT{R^yH060tP2$dVty$N6MQ2n8
za4bH!#msZA=)8<`Nz1r7P23~GR^IUMOE_}pXpxWH+r76>Ye#&x|F|;$rTM+&;^s7i
zZ{NOoG56QhGdr~`=jC|a@zvwo^rhjfCi6eoAB*3+Cf9c72P69r(Jh_}Ex6|AI?rfw
zi;kB58gH*>(Y~`HA#~=>q`7Ar(?fpzyRgD)X3lr<NtSH;Z=Zg=a%+rFiOKX01^Eix
zpQWxiw!dKFs;E!<a>3xi)$P@C{aRDjt*MRps<wFJjDH<crR&~yDc4I#1nY0KbiDaQ
zcGJW|2mTzYv01iSXXlrUOP6<ODcEk-YrC(0Zu$EBKjHiTJWsgBaOCY2h0XpJE5j{b
z)+g3lJTooaxo1z!ZLMX#s(0Skp4^)+-m^M3H!tF^Op}zv%QX>Rt^u3NxuS0^+RAAn
z^21y2VdIB~yUde<WlH*<euy&pCs_P_vU<lS&B6d1m8PVHpSS+t7V>FwsdjJoP3ExN
zU-hJ3*`bU3Mm(?D?{{DKCM)N=ZRT}8d*!Mh$FU+M=38tT?q9rG=WYv|{H4)PZ1x2H
z-+jfYZweP>o1Ry{;+XgIWvMe?r8{$)hU9&T`KQcdX5LtF$Z#Ta7=!t8*4(-LTa<)v
z9?5<8N+{stf|UBZMW^@P{i@vaXCco^T?xTd;}Giv=YQW5G&&4-`P^c8ue&^s-Qq~s
zjMF#nC#g-67kg#g=d$6av52_1^ge}2|9B5YJ*odCG4+h(-4*|`<U*U~aj>N+sW#0&
ze9rm8*R4FdO7TBFO%&IgQ)(jgQK~NBdWzAsoi%?xGw#$m{C<PQjORDE?69cVyLi?*
ziJlavZO$5#f`huQEVwA~fX6uR;I&(`XTLaat8VQ7ydeFxjPD7#C;1;fdL4W3YA$g*
z(IcR2K{Ml>18*XonY)to91=yG7vEhx_Zrun_WuX<x%)40y*OCAjHPm&hp_mEpPR3U
z-}u_1T^JiXD?Qhw%z@dL?RM>qz_`Wng)crSeQum)r+Jsbd*i>&%h#XGy_~3cVETiv
zKPq;)1m5mA`!-kVgXMD02iv9WW`E{WdVO+E!ji&}b!<0%uU)^kyIyBQZvWSY)eH3=
zZrh%}-%MzMb#B%iNlDY2MSWjn-kw@|qbcR_CH`+as~)xO%+m~zQI075Z{@yRSKqB-
zR<*F`s^vR#7Wo^jYrVhh`un5h%;%e=XT>@0x0|w2llkR^Fc$k<x6{gj5C7iySD$_A
z;M1xN<$UVtF-Pl{*QBdGTl=KQif1j?tn9NNol{f)F{$0(FoP{c{lCt%b4!-GPu%7w
z>g%z8k=SO#FVV>pza06XbnmULS<;lxt9DHj+qPN9Ys0rYFVlDUnP0l4Q}uC?)!CiJ
zzoIty?z($%!Co%Q`<)ABY@FP@+xVW9=6(CC?M4B4C%&&@ycQ);$nmF>UAXFVF5|l^
zC!{9IUPu!4Jo2-C_V>ynsl&G(Kj&%BTc$PR-s_swg&dqk^Uub8@hM3D=@xEs{e#px
zJI5ds)pJu!_3EE`PTv06D_TT-R`=Z4mzQrkb<c5l#b%ljup@n;h|t#TY~9;)7v23=
zSaGXd&v3n6$FbMbp4)523!9ng?YDA1I;|mbLCmE3DTUAX{#+dReE*wC5)EC8O&;=H
zI?&+}ye-%E_CdFr*Xu7y|FU}DJvXRV?haox`>}JmLW^{6ei9J4-FPE!<$vLK(PF)!
zVLh46$3lz`ZaeR}x$ggtMO`mGpW3re-DX$$pXDpHM8C{+ues8(pPesJv!aSsMPkl*
z-&ga>oDMx&`$x{9ZB@3@4?T|n#~;VG|GD{yefhyV!JBq3`1Jn7!aVgC69rGom7K78
z*i?3D;Zo~4^(J-OYir(Kyl%Zp<lXbduC9y%-&-Ed6||cm)1q|4qQl^J?a@b>tLMz<
z)mN5$x-@t)%PJP>DVJq)W%ry6&&g}?x7qMZG4M-MoPk|i`0F$AR*BEN6E7VIVb@sm
z;ao>!tld*5fhcj=!;HHvR-JyjG?c}y;$EfA>G@CfU%wK$6&0=g{d?{C6^rF&Of6!Z
zTJa+#^kZ<7$%+d<9}3mf7aqw!^2~3)i<snWPk;aXTgQt{cAN^;PUW96RrL8yLz|$s
zZI!IolArAr<EgmMm#DyJmi7JL8~0Vm6AiDa89!)9l+Ze|wov%_lP7aNmS$LK^vGWJ
zVp_dxLFkMBa#`1Im>xNK{F05uA;}lBL$BTnuXh)7=M9sH__szuT|NJI<Xg6)%#4*2
zR<%SuyRx(4ieYQw?Z-;)ll}F6RhECs-Sudxw{h(Jo2PAOR(2*I>Fw=peDy+zL#BSF
zHtUr;>23@7th_f!%<%}Gt{geRi81i-`seZUCnrkyys}xko<sZ3YxiEG3xB3^<}b|1
z=VJ8n*&NP#$l=?85T?bfm*j1qsy#g?5b!O*-JtDb+kH(F1G}@I|En;WXny>rb;dGI
z;kdxYo8K&sUgU_~Q2W$VTiA`|@?w?rz9&p30Z;wrUbyLOoAu(2c!$9}Z`RbzNkWQT
zKJxLCa@lw{eKTIL^i1Jd{d`I3)y?ZzmsW6ydU;(jF<CTwRtVp>Yu96IuGtBj#WCBd
zXh>uS+w1KLdSi0^+J{GH@7^ejnZuSmqt4>*&(B$nja&~FZtVFNpIw!`U-i4p6#u?}
zhyOD}=k>CSi0%#K_;KT>*A7F2g32W^EIdD(Cz)kWa(y2^e<Rn2(|5a$KGyS=y{F^8
z+j8T-Dw!oyn>OCxn|Jd||9zH?bC2~t%-fnR#%Z`@kC#|fk-uWgisQ4}yS3Y60`khY
z{!_V-UaqxeBgX_T9>q2Kw*z+FuIaN`a=dSa><Q&QmQ4HP8H^lDd9NQj@5Fto&&sf3
za<1adYhL`(C6*s=JUF%~^||Ez|9=)J-T(9GDEDOnjaAo*D;OAUUfV9>JD}CP=D0yj
zSztom)!%R1ze~GCaxao7nl12?p>nSH>x&mnj?J$*{rQ};U6t6!gt%+FS(dmwo-Nkt
zf39Nx-0T0oy*bn{_2+fbsDDSk*URMYk5)*R+bYC-<bTNusTDVMof|A8gJxEEF;(x>
z2;<?5>0hRBe#-A>Z(hHz^skoR?UFQU(u7~(SI(I+u`vlS?V0N6qj#cV$-@1wKQ88u
zVyde8XX&P384~Sj$k@6vt}#W?^x9KSIW86U^jD%r2~u;srm!fl>hcmj5&3k<BkuKg
zeip=f{=E2BKS+Ir)puR}(2dU~9nUGbB7Q1<(*N$T3Bf@}6#^DJhku-N<!WiF2dCbH
zEf0lG%+Co(Ta_U*H}C!~m%llCcm9luuCD%~DZ$=UaOVJD(G7#(id)OiG92;GyYyFF
z?=s7M?RK}nC-$-5o3!=j@1@rima=W#`ufNGB1hh`j7MTV-XbgbH#dA|)xACQ!TI<l
z5qw|wzr0=l*J$zmiBsn-T=H_NkfX>v0rBN^Z=*OQEq8vf|Hj38!%Xy``qH3p=2MI&
zee7RV+1U~Ax@Q|(>B$f8u5A6eGgay4vyzsEm+pHt9_*KC<}L_i^4Z~Oug7KZ<j2?C
z`}LRo)|*W`WdAw$m`}j(Jy8{@l|NnIv7Me&ANBCcziE>u{I#6?@gvg~j;<5MDzoy=
z*U256+WjNi)7RK$%l7_%|6=p&DsQ%N6i;hfP<T83l)>})an8q_)|UzVaga-#@3ueg
z#*^<lvESA!H2?qL=p#Ds^Zbp|)g<1;@AxGm@Ye5mhG~3T;}Rc_eD+n0Q|rFy#0wm$
zFnjyi-fVk|5p!D~(<Pn=(~KJntekQ*vTjeWjH}i;_U_x#hQDVk1y?`&(7p1dmbsg%
zaQ==xG5_ypMJuXUDDU4A8{+xA<4)=3hhLw2e-fQk%=5x%+kEwpA3v_Q^Omi&e%JVf
z$H+8Br*+1R8~gs>>%6|hf7_jlY5Tnm6_$28DB68VDA@kd&iuVy>4NK<nLkOr`{6r<
zOG^3h-(SCeTmHA0mvQx9xy#8pOagTQ)Ba6)kS?Qo&~nb)8DH!8!<BNAN_v+hKELsP
z%lzkYN@uo*I{Gf=Y|mi|O?r2&QM|eP>apn`>eo-<HrIMHaihxo$?bxx9p`FgNIc2^
z(PSw3?)Y&pwR>xng~bGI=9}jK|FTL>^iW)0Ny(LGKML{>n#)~l*H!L*V>5O0G&MEO
zDcq+jUY^~3-lKBu{;QqNNB`@xg=8N-va8EZW7_(tO@GtvIF7`fp1-O(lPhWRdKQTv
zhb^zpz4%vzx$T+4ud~zh-*qqFaPY^9(4w0i{*uW#EX*>iBHn&+C|$Ye#tr#ROBBTm
zn)7*1rRscBzEeA`ziryGgao0>DJ@bKr<QMhWxRdaA=?{i%UW}Tgd3R(_orpPnwYsF
zT>8Yavm5qoY_Psre&_N33qdP3ZU3Zt#6eN#N!InyJzvyT>R0epI$LHp@K_$-ET?AQ
zTvMCZBw{)L#bvk0k!)PW52tuAOI&$*;=^qDeKOr~5?l12r}sbqF7lvcdn;SrPEMVx
zy64&=7do2um|O^1dgO{%PZh%srAY@qFF440T>B+AH|y3P()ZVzJXYI%;Ktl}=i=nF
zO`JH+dN*vGd!q8z*Hw$|XL`M;`m^(7w4|)ggzQ5bcf`sRXRf#*y>hAuPt?~nrWMm{
zZ_Kj4`l)ZX^J%Sz3H;1FI|Q#}&sJX>8#_;2<J_z|fz53_p<hp&H`;t=j{lFwrqG&8
zGrklnl}~0(&)oIk!GoadlD&8K*my6xEdAg1^?c{L{avTdENwaVv|4Y!#QtPoPrajG
z9^EufdR+8-$Bl~)2RHLsvuup-Sm>rKekEmd(0rH8KUR3`zL;=rO`X*3y0UF1imLOk
z&Hgv>fN90_59%T7^yAm{u=V@Ayg$KFW#yesI^G+&oWD+;S0DV~^3f;m))j{|mlv1F
z{O>5bdYnDI(5r02_iwuGT61!rUFXjh%#txZraH~&>7s@>2BoAjHSy;*a))ak+~iug
zwf#rZvx~jWH}Z1(!aF;~=ZE<i2s$gfPxoid6XE2#ti$ywWBJ6TyBAwFaQPQoH7HKn
z<>&5pV~@seg9o=%e*2o;p35ib;p8+aGD_<2cTuj?3TB}VQ!d~8d(ZDix7)-?_KHU(
zcRH{hVr`WF_tNgIT+W8Qdu{a?q*mD;<p{A@xcW}m?Z;EgoKhc7ITmv2bt7ZxwYKl;
zk~c^7Np?0EoG{+)67ccH_mqidGt}~Zy!XGGXBqD;sd3HamaEZqqjl5D8M!Ks@SauD
zIISXm#{PMD){0a2f4q^g`@Ld*z<G__y_c;l&Sq|Tq-MDA+e+>~Umunpc(r`x+w`{_
zaaL`spI`cV`t#RA43$3;9?pG}(ef*Edu#vCEk(*_4vFe<=W+6X|Lu4)xBt8A(^-KB
z)Hqkodh6l!Bj<zgr;vQDhf~9u61hHnNn2TQ?c>(-ERif5H*#90ZMc0^{QSB<+l#Yg
zG&bl>xHF&AFaKNI86$}art*Bd)<jF__%T0Q_u>Bmw;NWoL*G7nRvRTH@_MoNojbQ}
zSI8{<*#4PwcHG}Pd8ghl%Z@KLvpcbPc6KG3o_NxY3t}H-q)WZe-shg(dv{+<{+{Dc
z9vfd(R8m`3RQ7y-rQzO{tAtt>r@wYR9$vGpeAjKyyJyONzHj>Q`MyE?`;9*`(|=2*
zw(fDM+Ot1c-acFVzrn$Bxtd$~3{o?g>zp?$o(;X3&|vn)Y|7y)XOmdA?09mMnTg4)
z@Pfdv{iddNrG`Go`0KXW6{|0F-Wfgb^oAQI-BZ86FSHT!4-60QuluT%zT1X-F<(T`
zBOWpR^Xo5#?_TBSzuLX_Q*h7i@4bhVLpGK>)Nfs;xqRvIXYVE$ujCP%$Lx8v*Z*tj
z_jS82-PtH<C%H2s=6zl1;he2H8oLi|)=!Ce_wV3Cxvv?2-?Z%6_|V;V+Fiyy&pYJa
zSkBQCOtWw~^W?wbqnZ^Bi;L!&FWhr>&J>H_;9qNAWqtV;WGb%vb~%^R`d>}E9e;gn
zS~IaNO?9p3C1+#*m(Kg-OVrHV)Gc3~nKo7MR!#NX{er79gepJtHa_-SdadF>-@Ag!
zeTgD}+!yD#dU&+Iem3X)wN;gm4QB-eyp7g8d9-=GOmu0T^Bq%t)#H-)+-=Y5Z_T^x
zA7b+}V)yUYe^0zWCuDkd-ImWKx37Qwy3x}}F4y*+YmM6*_4eYf#m7&7S17D1cw5g|
z7+=%SDYn_HY@M-dnAls7l>(v#2a>HnzgoG#(0%34#d89xn-6AgTKx3Xv@=2B;c{;_
zOuz4V<8`Hz{m!_ra$AGUj8mVUIy1|9rmCK_x-|DsneXq5CtM1)i9Q!EU}__Ir+(ko
zj{&b=^iE{ByYI9;&mZ0u9%k#4qo#DfX8QUhTUCCJx!%rGs`3d+_A?7wukASY`P%1c
z4-DO>tq_?efBwm#RQ-)zH`7zjx^#Em<w$fAT+7;Ov0!b0yWFMs6YP{ezw%N299I|B
zcsq4vZts*XR(Vgy619Uo=_Q+PTwwZnVEXabvYano?u>hNC+1kuPtT(*OH`)2995XS
ztylcZjX<&Z)t4HYXRj(a`$V7hlYFbZfssYO#CHS3yT6mA=dL<Y{PEGwpxJ%1ug>$6
zZqGEkRjdCitxa9z)9Zq_EH1q9@fXgo*}fsoS^3bG`k%KRU-<g5@YQd={5%^zJO9f0
zo>!vt{AT?4G<C`i(}xeL;tN?9PL)4qo4oyFmrUS>IW=mvtFxAy*T_iBUcSxG^NxCF
z`%3QM$x<8I-oCxqzWmN#{mz?HeRkGXJe*eXWzy=|t2#9FU#Gb<l}#yq{3-R^cK_n}
zYsF7HWF5Hf?`>`VY3rG(v&}7!eK_W#HMiTy*!Zf3uBAz*RFkIYk2`6*H!TqQc>e`o
z{mIwAl!J~2#LtnJw?B3?Ixi|@Nu>RprDx+}?gaEtjQqi9RGRvsX@afX^vBz;=c=8b
zb75ZAUiMYr#C4VYSC=@o%n<T>5$)Xn{VJDhc(yHXFS}IQ<MoTg(|1Rfo~nr|XJ_MC
z600*iqN!rm$EMhv$sg?vvt6fM^a_uv{x<8(Y2Mfno4Dhzg!K>2EHPHF`+t7Y{nX`(
zw|AD7UtXQPN#e`N=zp2IvsUn53bwyc_npVbTTS>_wu0nTapU`Ip4jMDz0`QQ=f=;l
zoCj*^-w(Q6IC*hplcjFxx_D-#r<%`S-@AJ|;E>U&^k0R(%m2GgJOA!hwI|o+6~<fU
z^oB1>J@H@W(bCnAYm5zb95lDLO}st-^b2X3J<BS770I|9KeR7s;k!F4pZIgAt>(3v
zb+&tH#%2Svb!Tec*F3%*qkrg{%;AQooaG+vTXQrjbA<)O%3lbbzqO;+cEiaPYh<`8
zSC!wt_fPjoil<-uskb}~=`UI5@coIslTdZ-=?nW?>sn+o84GzLK7E+=y5!yWu;)=0
z=4$b0DvTtb@W&`GtS_|b`4v9BDR`-J1Mkm?8@K!DC@Y7*zTm0DZfq>cz3B9%6(7V7
zJ@fy}w7Y9%-^Ek+Biwguo;-P#m*>$@i?At*Nj0xR{eu`kujG!gzs#+Fx@MRDewnAu
zrt21;ewJJJY?Dp$`HadZg_$w0lvX~Ru*~F}n);h9|B9Dw@6gd`xIMYqS$N`^O=qjv
z%gwZdkIG&-_4?SVyI)TI4e?cNH9b7jD?w()d<OYH-{Nk4`%w7!&6hP9{|+;EMfg-$
zMCR4~`)~2ao$bJHakrvr(uwztbTr=Oew^AHW^wmJ#fAI{M>+M>RxG`LBW&g3=O-V|
zS@>h>uNhCCq#CNEuub7Ibt`K<Tgi8FCWDWbtH7xZI+f-Rrfe`Sd$ajq!|vn0{_Q;G
z>z+Me&`sg_m(>tk=q~Vgv-{PnSGSjxI{toWxS%+_{!hi%;=ex<z6N<O3x48SDZqN~
zjzz8b#-G1erMzC6v_vi`sBF=#wDLobHxws?p7>WkO>f>G*&TgcpI-SL+@1Pq^7~1Q
zM#r9?KXGP5Zh3pyg!S`gmRGeOk(T^+)bZJiUS6-%)+uV54-W+LciykwyV|iS_2$?7
z<FV7GrOZ2UX3z2un>pq^2wG9lKVwUleBX7i>Ur#co~HiYvXasLb%)Bc<=={$mWh{~
z`u02T<&+;*k^x?u<NhaRHmuzn!tzRNi%0QyjkJf0Hf~<}bozwSly_ULv;H*rDGKx*
zmCIm!pSQ14z3@r1jpdwB6O;J=QcAznQg^$g<~{l_yVkbQx$we7<||t)w2bw3mls}m
zSbgGS<Muz__*eHXD~`G+_xFt7Gp0sq!<D=HPRZ`K*A=^Zr7ov)!i_sWrM?*%PtNAA
z-sD}m;ol_BA}iY|smY40D#vbW?t9BW^O$<+=|xJd?@p9odtc*q$0N@6N{{rmjF5Rh
zbbnl(sJBk*_mh_C?Z>wZZ%b1)FZ;4-)t8H_M1yohHm}-o@l<C28ePxz=j-<Kc}3or
z3|tb-y!B{L$%M!6^gpB*%Rc#ZSj~CaqU7f3f_wh`_@_A4`WOF45s&n2=DHh^XYZzO
zscA|NsJPuG{>*yfHKBT$7qyPBGgiL~ub0{RaNX{;pFGd2#b!-cK72hVa@oiDzs##`
zvv;mzh+&sMapS+UxA*RZMQdd4=r$hNXH(;ze=I=iitUyw*7xV%HGF3Ju;kLqAL)tD
zmrGx3%B;V7DnDQCVA`wG!JC!kOipaASri-;cIw1rzrONUtov(!r+qWBZnmkBY!9vZ
z(A?1X@3Zx@UuzFq&srVfd1v#xCDU(C5|WaVD%$@~hc}r2`uvs~$8DFdtdw{V@a@u`
zbr*`X_0A={U+_<5V$Y@bKT<v(G4T*n6P`FX-al94W1`Yww)&4QpMyPrasF(5=Ks1!
zP)I>r-TGHZ@U(lM)=5mSKD5P7U{d`0`HjkDYj!S}s;D^4s(A0tUlm*LUkTF`Dz128
zACn|%<rXmgzOJds!qc6nO=FjaB$TbnVp+Rsf7OSG)7QAtEW1_r?>5U{-g9-;dFCTF
zm(?fSty`}v;l1p{@9%8d?A9Xu(#=}xEOJttXE`#Locv^=!u)sdyX^I+PK7ly>%CyG
zZx3|j-=S8v_Jhmo<;&N0$A_j)u=YAz))>bY%33F`a((?Z**WJYOtE~v>Fk!E-|m;w
zt8aW;VY0XNy2ASU`a@o!+e)8bZ3ul>_xIw8uW`PA9q;6Bnr2a?zuH~BOLRrI14~|=
zqtGY0JDhDF1^rIl_WId!GSX1B;D6o6z2<^K?;G<K>?6DsrcdWcxOPfVekO<ZGy_Ym
zJq-Vf(&xx`Oqih~yleAH{^EN+u@e>lnz|k_yeW2Si>kGdox^+mU^CZ=vmWjE9dr6Z
z*52SP)z_DO<onV8QupR|hSM>VP8zOf7QHn4&^+JWmXBHDh2CB&dCzt0dEbS&phBB{
zfl=2cO-+8DrMxY&{*rmi0eji*vjXq`t;$~=(#;gm5njQo#QQ#zq5NyY-MQ7rwm;Z&
z+cPX`icYcQA92miHtuGpdY5S|YnO>!@%gB^zxxbhq4RN(J3M(0NUb|4ZDJ^Py2GIB
zx0zX(cg~iUWwqfx5<Fu2A2W5IeNy@FOj5Djj~Jt#7ZN&C&S({0+&r^bnEh#xQN!{X
zpUStq4t{NVV8IC&+dXe$ZcU#4d4>L}BPEyBlyvRm3^xlW?6(T){r>OPA3@0v0V)X(
zQts3ple?_q+I?}Gk)~SFo<ieyOa9(oep+4MVdI&!+C`7+p6{x9^xI1}@A>xLOW&sK
zV@+$hsxzhfOZh}LS^F0+nlm=H-%4Jk?;z~9BC~jj$(d;_CfRxm?XE5Rx8j1m%SFB^
z7bVh7pFMqgrQ5{z@TKtQKlk~(7BO2JGmGCO^LFLc-vvJkYo;Cyld`%P;y1zJsQNV7
z<m(zwI~INW_Ufs@y|W3S^%*uYyBD(DRS%jmlRv<EpO&WLrAwDZ1v6!T`OTVbeW1?z
zP!!)2@t@_V*VU?joaN2Q+Z1gOtN2D{*|MW&wubbY|1K=f7Vy@rT5EBZ#kp1Vo9&yc
z+Sl7&vga?7l$4u0c^0qs&r^4!TA!_Db>;YeMWlM~?>%3a&d<Nkc4*cmj+oY)84OZq
z^sE(Hp9X5!&06&4_Qt?8_MiMJm*wJru6k0*tNSve#qV9WR%G}|hi&VsD~{-V6P<nP
z)1C#@m3QkD&xqG%*HlMNnkEsNn%sBufpx9@{oWOccmKa{xazE%<9_||<*ku_F14)<
zH08P=b^cAi{`&1oD|0U<7hPOkS$X}D&xY_lk`epMqd#8Ro${oj{*mOmNS$np*&5fF
zC)}MRB=pB5^U?E#jhZi5b~YVaGEdAhTUn{nuw{)-|MclE*Lp08YJU69_*KfzV@Hop
zxfT{-6yDOlTOvH`mFH|L-RC#<S9~<d<NLW%)w*Er)o+{ZOv1lu^UXN&+|BaIdXcFc
z9Tz9pc4<u(nZi}X5qtMh;QsU7&)Hf^l+XEZTIwQk`c%)7?!X@1^}TK{6C|^FM4XsA
z%bIU+Jp9&@rBTv-&!J%YhR^THcU_D#Uh(G?>kBdKDPHyGCp{1q7v3Be^Ec7ws$((V
z@pFt4o|7-!HvD_&|9}5~Uo4eU*)20Oh10mSIoEtQn{vfeyU6LMw$QsxF2(WsQai7w
zW)yFkzkg%UWUE7$1Oi?qM8xb)7TaY~HbL4T%1qj}DkLgvTk5aJ$J>9ecxZi9I)81h
z=I1%PCW*Pquql7vo3ncY+t;w*_#4~X;=9@J82t*=*_5;K#$>-&yFS=zzn!8gBVV&_
zhEnK_szy`seGeo)DqYNbv32o*rx}XVx-Hy#tDb(iz?ow(G4%HO;yts>muzh5`t2hB
z#4oEhx}`PJ=TK>4_I%EDQfJDNf3h*Ov!zP9rWc3r;&58|QK(zv*tu^SX{U}f920oR
z9KE=@WOZ@djjQ@B;hFdBxu@>iF1>Tty|-MQr7PSN53u(<aei<6?W<|zv_D@`(kyGv
zHX1gjc`ST%K*!`x7ngne<%=x${CW8H1v}f;MBLfGPf~k<Se%=f<zY>M)RP?ZGAwS*
zH1wV3DV_Js`utihbICHZ!u+dSLz}n^J<sUP)A}L7cJEman-1T%62@X3kN+2rE-Q>!
z!dVpYog?Fi^b#kXc;@WQn=kHfcYL)?dD^9`ejG>H<-dt_^Im*;e1CGGskpY&_sdhA
zPxfU!l0UfVypxC5x9dR?oD90k6HP_>ICs9)-ML@uu=B6iq9L1KcfIOznsaY~@M*2L
ztBjftDC}{4nRlB}>jHN~;S>{#b^kYZoo_s$Jfma9iaMEPpYHD#UVGy5_E)#de=cw|
z^WLf79wb#^CF5c;dCA$67kI4_CwnKR&iS*v`~bg85#xQi?;TsE+Vsl=^5(8B;^XAK
z>O8-$M&&E3NZjvp5(nq1Jr4RDwfeB|o;~x+u3q<Ed4b`Fdu(X%(if|KKK{=i;LXl4
zcS?rZ97hI*BW?@~M4s=El~|TooLrPyP@<Pr?5%y)TkqtV^T8he{-4f&K66^<;)ReE
z>sT2;hF>$^yHk>ZfkB)BpWz@`_~8*LscDI&IVHtLDS8#TId7w)iyxVZ)V=%1)j$7M
zdqb+h1fLUrW$9LTXXb3XoMKfg`t9Hf!AaRC4?ejbKCMPMVbTME1;KI?`qsSuE-U-e
zW7nTK=T?5@*r+h4H}^_m4)=`n%!dwboO|Ns%@hA>zP>bKkvpVv?Any$#X85gO@FF$
zT63kb4BsXb8Q0|7%Of}*-41ivc&4l8?SXA;LMCt@%l|0j(o(zQbGpHC^E=0bt{Y7@
z+V!GLyxVno#`?pLH>_SIayNwKuE7*p(Oc7AnFuFa_s6WL3ir~l+BN63#fsn8ze`^}
zCz<G!^sG5|B_pfBQO>DOu8oIeW^8$4)U?socgFnEcH2icwrR{`I4gDPbN}1M^!VCe
zFN4nfIP_@p{)6F}Mt%#<tZvPl=3e{nlxF|hik#hk_qT~G;ab@F@3_gVMA6qgwv%T+
zQay4_dD+eMxlO_+YhxSz<|b(^II()xuXD@>@xLnT+@48!d3yxtDBKnjbXbs_R?@dD
zW#vuX*Sp_56Ij#e*g4_pfxImNOpR6Ntb~@GdmCUO#qq?Z{gKY)eay}aUn%pvdorm>
zHT_6^g2I$Vm0O)6pO_1=OgJkZtoEqor1hsM-w&={{%TcN+aV{e^OI+5c38x=&6zsm
zU)%{*LFdDVrLFS{O<6l*R{bbQsk*l2vT4mLAEouncYe7rD@?oUEC1K?vMp>UY)v-b
z7Cd(#y77ieh{WQ($$N4)t%>g4dsf6XHrs_;I;!t&wvhd`hi|^l<vsS8`N4`T+YNUk
zf_rm+t$gF*YdJOLuT3vw-OA|4cR$GRnJ$Q2AW&-iK0&L^?C>wO%dd*%*bjLf|E9Zd
z>)KQ~yO|%}DzFPM2Dh9PU2@USgWpZ+rOu2Q4^}k3t5>*S|7!KjD9y4)@tyN-hNV3G
zzv>Uq!~8e=94Ak$WBlsJ`FyfNWoZBJwc<M#9}YX58X$6Wf6<p8Hj5_6$^24_wzZIq
z{(Enl)YjuOi|hrb{!U*abo-*WbsyXEhlk6ztiONwp^EC12NgT-UAk9Ru08Mg*;Usc
z%B4--<39hPZH&f`_O&+@7WoJSRz|(v-C!`;tK>b`PNkIXd+!UbuBo=FP|6H@Yp$j!
zwm{Z?<F)tf4KLzCzc$}JKBM!E&xf7vYASuN#dO?l)#tMM&W|$qcPVlH?%QfBD+SB@
ze{9G<o4ua-Vx4*Mt*-r|J0<kDOZMLN>-lee<L%{)Ei?Y~uZoQG{cT^o(Q1j+#H-(x
zD{ntw)L6{hlyGepKWFCFZ}+knmhCB>l48Pt?77bF|61qldqen^*H2k&xh5<3{xwF<
z#+j0<x12t?UTb=v<i4*VOO|N(M=r8?s@eY{>&lCyNm18bcfMBoy*1jU%5_P+%O0V}
z;y?PX#H`R|IseA9e*4+Snz5VS#Pi?FeP~hE8pP5vHLJ!r=&iu5hzXj34u&@2tUmP|
zznlKH8$9FWzLroaUtP>{eaqPm8&miS&wjcmR>V0seM0bEk1pYrNe)eu9C|bSrsU1j
zTsrr0h_?Pb4nJYe@;aUatJt~O4zY4R(J8)Wx-)oE+TZi~hth4-{O6nu`o5;8IeV47
z`I;E_+*#)DzGXkZuEWc#wrJ)GDb=?#E_}bE%75K$RfNIuKhpY#<JFFz+$mXdCy>8)
z&pcz7!^Qa~6{_JGA<s|MWVwe<?kqN+X(99b>d)BonMuWeJ6){pK5v#{=lvab-nQJf
zr0!n0;QFs?W*7J|hR=IE-DzFy>ovZ+)ee98Wv)_vhx4cL2YEG{*ozal?>xVM8t2u=
z3m@<KdM!ET^shemd3SFWug?3p?e(j8P&sS2Qp7@;m4TsFjpTCH7*ftg94xwRCSYqG
z-+0hg$zkG@mxgmMs<fA=oiv&3z20Ewqze-mm>m|qh<|PWWj0q+gO6!hcDBg&vo7q3
zjBoTBzL$xstdDy;Tk5Strk-o#%bo<5MN>q@Uo+*Oef5;JuJrGtEZ!ns^R9(cLwJo@
z{n*bo&wYDVtUE^{IXC*jrnIQfLW{Shr5R`zv<lwJuG4(Neyt%dl5_qkUXwR-b!HaE
znH}3QJ@88DU7a=Nle1(ar(4~6trfNY?3ry6H+{Kd6ZB)E_PbxZd*|lSmJ2Vge}8|h
zG_GhNudr%D3V+DKuH5X!YdK6!6nKnkxmmYaiy3UszVe3c71RGmzw!+}iLuU$-v8s*
zQUCBNWowoEy5>uLQd?V_C%$%R?webuo4s;^R>8dFl)&DVx%oAxUzHu^@=1HSB7U=+
z$SuRyEj`LP*(on$c3c!)ZORh6`$l!-L5s;fi?z)rJdZuIBK#?n-OPP#DQ0{A=s3Ji
zWUNoq-}5w-)mfy+Z0VF$mon^kY?RuYpI>{scWvn2E}NG4#z?P&r#WZXb0<3=dzAXq
z?P=KCgf4Ag_n5zjjMnHJzGSpU*IIt{?gg8<t#%*&cPK=B*{<7%r_J|^^O3Eb65uX(
z_AzJWlpgz8Pg*YZ9DA-bne*O`Hx9QPtOJ@$xC1O-I?U_6c~AAtmHV|l%j?fu)Cex_
zl>3*fXOLQaRb%$a$2RfJHzJQL*;MFg!*0ttQPAz1$q}Bf%G=`#^4@fc++Uo!A)4)L
zs!U6zz$Aqw{T$}oo>zH<`aii;t}f{IOg&Yv@Q(0to0%W{_KBW%e)P}VM_Iqw_PhN4
z|IT&%nlVPH4#jF}o&Tz4{Lub(^FQ<N{LVjz1Ga5?XC9!b`EK33lNV(BitB&Rarzy+
zarw(T3+G>2|G>ZIr1$3@mB^xPuV06l$+>+yJuOsk!{0#rwtphQRY5t&O7@6OYCW8u
z!N-v5Y4=A=(pNu2=yEY*Nngox-{{YiX1h->{ZtSszuf8RyXFGv`70kSP8Dl$70_#%
zVE-uWLiE;6{<FVN)wC~_;X0YQFyZYx{gCeC&yLM~oUR%2Ws8&Q0ht9q3{C{Uxg@{z
zrRLI?`xf25eS3Pi`-V%;SO0jo^hlnaymr)|zYkXJ$m<JSdcGseY~Qcm70+&dZ+aCp
zRr;O->zf~vNB1$>%5USpfAD{5&f=5m9U3+7cl;9u<=O9Xvvu>C85kxC;>)u<NC#_y
z8$^+>^KV-S{lD{9o1-?XaO2tKa;<k=FTJ&E$k}+~j;`4E-boU(#Un3y7CjRAef&L-
z=E<@<C7(6Kt~*aYvE;-<p6BL=XD&4UU$$HC#MaEH=&9WezL^d_GedXkPVY{*9P9V!
z!EN*VXQnTUnziNPlTBIIc15#rX&x{AVAi`x;CM-_e$$!@x!Ic=uC%@@IH`1kIq9=&
zfn?Fl)LH&6GiG;&c=<oF37s6{rC2gWMa`H|@%FWSdaJ)z<=%=)f2I^YbF1BYqq~-s
ztJkfLKc8l9Zhkp2{qm~Fa}E{Ox3~Sw+3B<V0vpQ}?c1&w%Hx>tH(xbBwD$3oO*h}$
z&#$%=j@~v`uTXi#uVeduK0Es7*tE)0=e(SIYZ+Fwd~R6N6T6Oq$IbadO<RhoL(uFs
zo3AfxJzBlq?{8i#d!NsAi~onddl+VkO}G<x`;JL>gP)|hp??cYPK8V{r_$<Uvo^i%
zjMOhN+b}ymy7=+Wr1PC2Jkv@;LzhU+oMg|T+;zw~!pYA=;vk2*k07VAVULT;gBeMa
zIGR*^1T+^;wK(H6<6!2GkS?KP32g;l7V2{Z^&W(3E^5#@v{feK@R5&;KPZ^K;gD-g
zb~^C*SW8QLGQWi8dA4s0U0zh3sy()YZHY!-)ecRG$($XB8AT1164XD)1v1sJawYmn
zdvg9WR0`zi=jiWz{OU*Wffu*7nd$QUSfLlSVXv;fbisj-d*9}9KX!P-UKW<D{()QM
z8}kHhu5%CWvc@*gdmwyBIrF`0^|guZ+ZclbF1%%tekOe<PvV#6tK%y^@P6<8()-Ee
zlK%90SF*jAE}!^lXBMAV*KrNW_nIdII1RYo-7{@^uy5vVd$UdTynk1Jwmg+#FZI~H
zNx#8UV)r@YQX&6Ko|jardLFF1d8d7;*OiTTIOHti-HUF{3poGT@D!g?<cdk{uTRZa
zE^ZNTlKj!=Cw}ndPyYAk>TGL&u-!1uwOO_Ho6Z`Bgg?dSCwhEb(NU0cSKWi>>HT#n
zF8{?;pKn&wKl|Il;g;y7Z|APeEbV^iuc9KP@+7&B%dquJr`98tAQi6fm#%WEtqFKr
zB$l@3heG<w9|nc377{ykI6fIX|G{(Y>4YPGzf8Uz50q-IQ7+eHH|tm<p*TS!Rzs?Y
z|4mc>&30`c2bm_(CH8(!Jaykylr*NVy4H7NoljtYSb@Q<P4`OJFQmS%c~K@B@cNLb
zvu$l$YIu720kd6i+w24!-)_(jtkEqDIJjqqxRojElxFc4>@6{`nS4Yo{!I_PIni(t
zOW$1W>Ce(8i<)iU^@o?oUPSG^`RgktM@qFrE*c(unzCkfOpMg4RV`neHm%C~)O}k_
zrZwk(u2h7qp;d2dkm7T}bi-zWs@LgB$Cd>-FfG|QL2H>n=`Ekd?b@2lJH1pMYfW)d
zGbsLjQFDdgo`mAs#9e$_@;mR%Dr3mId820k|KRE{(VrP>c5O=i9(Miivcgi6mIG|2
zR=U$$3oWdeoj1;mU3&G~q4wh!KL2{2+q?6`Y5(c@s~2T)%&}YNa5VM)vVEl{J2p=A
za_QrkeZ{no<!7Htz-}w4>&y0)h9so!-yIijrs2izxJ~un-vdkMv?sjWrI}l9x2MEx
z_pO&*U+(>5?r7J!nVw`h|8C*l%6b(x_n7dVAN_P}{vQ1E=ak7(%{}L*Cj9W-nrXXp
z``X)ImznN=kyje^Z2v4(nd|W;ZfE$+9(k7kdaAZLJL1Lh>N%#n4(@j_w4XIQHJQ!k
zPud>QUyI#t?J~5=4?kA2Socro4fWzvJh$gN&(rPc{+u2CD3<BRny=g5A9P$*D;~Zz
zGC8}XXp&RGej{u5bGh9$pKRX>P8Sn7W8l~5YPE$e=C|41Ratlbx|UlsIVNyR=YMRo
zxba!&(Rs1vTc_V@Z&I*YeM@GyaZt3u`p<t(`@XEOPF!Y?z2p6zxwk$R3$n;GhP<p-
z$hiA)zTK19<hgGXm{)z238?2X@Lc-NSNyA2|AvGoyN?!Z75^Y}d%ior)S(4;XZ>0C
zw7h*~bmQ$qe|h$V@OlN^|9SD*&W{)OHC3;Bo3~K@=w9XOyY^g9HnA7IY^*tXqQyey
zXK+G{9lP6(Pz#0qE)wCkJ=*+>i%)Yp2Gkb);l2}gzTDpG*e89??YoYzy>~eGTfv=I
z=|7|AvnPMu|Gt3TV9M;RnIF72#(BRDVE8z@E;=V*f$j(C1$IT>3#DCNZdu#qo33Yc
zLj38w+XnpM@s5SBlx)@r7?vfZpDLZREjgt<A=loaO?qni%P&`!&)<Kf`C>KWOxpun
z=G$=pW@~-$rf!ChMzZ2#eiH*}AzhXD>C2C`w3j;P_N=#X6U}<?LThX6tm+Mtmv^VJ
zXnNht_qgC?dw1H&@aVp6HM0!+n{H;xpNaF6i1~8DzN5~xpt$wVai=JI!=ehVfW$Ww
z4yk=T8_YcOHt#*9KP&FY?+sS^HZ{51&opswaAA&p595o=1#@`|7^7Y$Pqg}NG*PPI
zllyPE6`Qj5UQ6}!`u_H$<(#bv<(b#7Sk6l8Xbdm7%qx6t^D9Xi$ByG=E+^{N&3Y`^
z`FW?M(7UVub#0rk#Xo<uOHb#54D<XG9}c*y*Kn-=p8P+!v)u5&vpz<>y^If5E!=7S
zKDg?~WCw;F)@t#xH($S9{<ieRr~Lgs)9csYx4skm`{4HZ%q3=_O3M~5*x0q$Vw$48
zqVNg6AM@9FY?#1xuA-*rXL<j@KfBk@khik>@zrq2dpYKpyVp;6=j^q-Q=m{LP*vio
zjGaG6g(0`Al4g&~#wA{^#~0N9m$<P1|9;lmZU0Rt{l2&3zx}`2_KcvGM4yy^x&Q|Q
z!(;_eOM;O}gh7M>c1S1k@DAvZPNXwCky;k<C`Wb%c%zzuJc@&A#sfzN2KdMg%CHc+
z8OS{p(0C8R9kxzLW}uG#pc{hRWI{D$sXG=!AYB`DLy$uY)Ve~rB+?sU2&k<U;LXYg
Sl4WIJW$<BSU|1Xs;sF4LXa=nS

literal 0
HcmV?d00001

-- 
GitLab