From e8d3bbec5bd5d376022a471f0a5b847c3d152bd0 Mon Sep 17 00:00:00 2001 From: movefasta Date: Mon, 3 Jul 2023 13:34:50 +0300 Subject: [PATCH] =?UTF-8?q?=D0=A1=D1=82=D0=B0=D0=BD=D0=B4=D0=B0=D1=80?= =?UTF-8?q?=D1=82=20=D0=BF=D1=83=D0=B1=D0=BB=D0=B8=D0=BA=D0=B0=D1=86=D0=B8?= =?UTF-8?q?=D0=B8=20=D0=BC=D0=BE=D0=B4=D0=B5=D0=BB=D0=B5=D0=B9=20=D0=9A?= =?UTF-8?q?=D0=A4=D0=A1=20=D0=BD=D0=B0=20=D0=B1=D0=B0=D0=B7=D0=B5=20nix?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...ut-packages-for-cyber-physical-systems.jpg | Bin 0 -> 93568 bytes docs/information/cfs-models-pub-in-nix.md | 106 ++++++++++++++++++ sidebars.js | 1 + 3 files changed, 107 insertions(+) create mode 100644 docs/information/Images/nix-ouput-packages-for-cyber-physical-systems.jpg create mode 100644 docs/information/cfs-models-pub-in-nix.md diff --git a/docs/information/Images/nix-ouput-packages-for-cyber-physical-systems.jpg b/docs/information/Images/nix-ouput-packages-for-cyber-physical-systems.jpg new file mode 100644 index 0000000000000000000000000000000000000000..9a37878f8954d3df6518cc279c3f1a087fa33f85 GIT binary patch literal 93568 zcmex=N4?hnVHy<}AC$AtcAHRTrpa2(-kg$+|Fu#C+0LTzVkWOY64i**;0d7ui0g}Q0 z0}O&3j5}CsnHdEcm;@P_1sVSzVUTBFU}R+k0|qEyWMXDvWn<^y(iUwW$pkka<)Wpdp zCN3cY31zV>gMj@=@lFj8WtWA8I_!pnwFlCnN?g;T2@|BS=HRq z+ScCD*)?hMl&RCE&zL!D(c&dbmn~nha@D5ITefc7zGLUELx+zXJ$C%W$y1juU%7hi z`i+~n9zJ^fkcCyzkWI)jkUg{b%jpvVTnaI4^MjW|g1QH$LS5ynx^HN8(4L&yU0=malwukNNr@b=9rs zCv3a5ceks`>MiCo7OXh+xqpQTW8+8l$MZHn&=*+OzVwgm$M&wo?3DR$Z-vf2$&jYQ zQ^{4AxJCG@2;=oX_8-sOGySl4dq=50_p5!<^U5bi`(1gM@lKiRsbi{wjDV5Fiwx$* zkIUckKH}&6vFJa;;cN0tdy3Z`OnbF*#f=D$Z=ahQH}wcKF54>u?sc z%~k9xb<(AS*3t!)Au!(p7yR61{Rn|AF zl>ZEyw;!?Ac=s-;@m>1mC4vXm9rWodD_A{eexifi&PVma{QN(v1F!3vtUeo+EuB8k zTH52Zf6*x;We3L7a!n03rw`U|G4HU6eALa)AODBzjA3v6p&RU`Ycy>(%9`uw-I*3Lf8n5xB6sb!bEW8xPR#{D1dAEiD&d{^mm@TD5| z^%a}EXU|t$yQRBqn#c6ae8Yy|*2nTe8cgkn?sxy1f5f}jO*Z~vd*>e|ogg#!Yr1i& zJ9HuhW(H2$?N+y_fxjzW{HuL?xm1aj`(b|JA3NezdfqR-wP$r+$O^^}%UQR})bcXK zkEWQ>6f>G)M$4GdGG??^8m*N^+cBfNlhP~-pO=tKUNUB1hoz@F&9${@lJzzCt( z*t#F@=ln5qE5{zw^^vcNGQ)k-E4F=N`;;ady8lRlhw{b)>{I)1u73Dz;bUL#<90?? z?Op5FuZzo2yt*zbyV~M(YLbh6Ww;8%(>B8cuN~ypbxd4zTuN(E!>UyV46+O&3|rt< zL2VqRU}4Ybz{t=eI3a`C-s8i!<^^$a@h_ru`{ov}5HT;hb$f|#LAbT|ROUkI*^^&8 z$W?x{eyo3lzvZ4zd-SzE@?tALJo89ud-m&S=k5(NHuCCpRcIA4$Xdu7sAn>KlNFD= zY~#8lGW(Y4r8_sW1XRy%IknVf;trm*O^lK(1r8>RWw5z9i~OE@av%G6=J=_Gq*}UZRpeFo8Siw^uCe@4{II|Ep2YSK>sxdFtghHsxvWMq zFID;3G`Dxh@T5$aWUR-*Abu9X zV;aoD$L@>N=zdu4y5;JgSluI1wMXAr)f720mUhmWWBj<)m0?mX8-qGSL)piZG8flu z^jO!oaO#vN2DTiwM;WX@k;*K6EKXy?2mh9@_2OBHv#z^un)b;hxUHbe!|~k_2HO)0 z_}CxRci9v^j&Iu)-fdI=&2h!6h3^uhD|{StXYMcEk<#S#=ca^2>ibC!)~9GQf6F+@ zpT++5GME1hl?_XtOnX!mcz42ohRlfi^H1WxUs(BV!aM)1?FIiXZTQbH|HS_H3*EQ0 z7ku0BPX1Py{O6zIf4^vaoA6HVn(X1^5z*_o3(Ve!|@C?vsaV!>N_K}`AbC@^$*E&W!tg+C|z9P9`{k; z+Pf_~?9S;OQM13>ROa4vWI}ffdrzwj7sHzspowq8KhY2G@*kZiv+u+EPLmh!x7@zM zX}hPTwLn7fghG!1Kl@gO(93UhzU=1CHTK^gp_}v2L!q9c!|>cBZUJw)LkI_t!1npn<6m)fB8eqpi7hvbH?}E2h;ww$Z=-M?0%z z&ev)wr`gk%+neoQb;d8Ri{FJI`PX%)#jF=@26rj`yLx5+^MCcf-(0P>D3e#IX8*Qs z>3;_M&;J?jr}d}v9Xu&_@bBuC_2>WmXZU_|@y){YJUKT@@X$NZFPynEoE%%vNN z<@QJ8d_Ml@e6PRbb%^G=ro8<3^5+)6p3(ojzT$7M-NBvv_tab2?daBktzH#}D^z7fq zKSK?xma1(ouCMr4Qd=ze=ly&BWd99dyZYB9+0Xs^@J;47-m`xn|GfD1jQi*Pdu$0> z%_p?s_1Th3XSFZa{abOaBEmbDQ?$8ceKmh)o0`l8i>%cTzZHB$>Racd z_?Bv%`$zR-@mv1(ADQ1FW@dEbrJ3N% z^-B+?^+=yJd#SX1PMJyblfc7HIPkP5RtF@*l06X|}Xbp-p0WTXpCxrvgE_jEl0J z4;Vbv8)q@Rvnl*&e&9a??`_w3sqFfj$B#r!iL#shuh(Q>?Vb5W_IDTOoU{9!=w773 z+`9AchWfN_e_?sfn3}kY;Q^5~(-gdNr+)5{o-ohh`My5^?D>!7yXu%eu*{S1KRQn# z+W660CtYn1&3v8LrKNf{Ti8?+7Cfmr+xmPhgYhHxqwCx6b9{L%8~%vDgKZ|;@``O@ ziMeSzr&YJHw0JCZFFs)N_PFDmi4!<$>OXove1GVyl5X)M@$QnpT<6Mea>t(B`Yb19 zl>+OX#*!{B*) z9;2-W^A+++KQ0ChrhN-7w{4o0YN1%bztD#Nd0v_ zt_v&t-FANz@7!ALYwWYJ=X7CtsYaj1^(!0yG`#X;C=Qj_Y3*L%xjm&qzpp+^zM)>& zPNK%~!}g|qDlfnPTKywDTrlb+&$aW0VnvgbKTl+7XPBd@&M@m`o77s%V?j}|(r!~8 ztK52362D3H>e~J{J0C>fzCB~@+Xt88JkzEgQpr%AFfGl7fn8u@ zd~7h~v(4GVd3Vyws*+`%Z7{Z}%fBuDEv-4;PHOU_Z~fm6s!xdxO54Uer~dc}e|5Rv zAKyp+4cfZ?ROXwksBgAS_a1TYP~Nq5p5?-sEE7*kvxNs4NeCWfDdJdTW~{OV+%jRj z_R^fUI8k`#X~r${mzH0eZW3%O74)nrXM2f9B)f`rq0C)jO7C zDs`7Qm#D@%ZGSI4jmJVJK-1c!nwJ&o0pX}v@6>|n2J>g~6~40Wn(68p+2uVma_$qO zH5XM*)P)Beevy4X>)dhaunV;cSSw!qf;la%kM|a&S+ut=e)sN+`QgjoCSOl+j@PMb zg!Hn(VaNDrKChiw#p+}6Tgs2dw@59UztnYcg_N$DuT^!$lIWSfN3`BQH}(kJ;4d9m z@p{(#^{uTsx>hfDpZfk&(k(Bz@J)4WffP7>Gdggs-Mabb^)P;c4_8BWl^U(}4e9NC z{kmTTOTIFQet5jyG{0k)|B=<}xAG=CZ=QAOcFOJ~!xIu_UynsI-j;cgZn1#x8L02T z)V6;4jku#S+qap0=g(C-&Fw9;v-6-ts!GlBI{~a#kfxZO&yUYbZ~h7UyQxm1M)qS( z()&ZR(mIPDRc?9d{w`my*h-`DPeLW|y(_28Ua{!Y$pCYW&&&)}A`@WkH|diu|}CgAVff8sxurt}}4r|JGtY<=pa ziFdtacb(X1UdKLThRmb*7y-r?_qWC$xZfsq|IPPD*SZhh(wkZQaIM($kW24!-aOhq z>6&-Ot@qA#4Q9yIXJ`_GV(8y@mw^KYHH^V{o`uB3VYXAsEVRXg|YYuQcW zhMwGh{wt6D`TeZHZp-!hwE0c9&L7U)C$YZ4B-&T!=Irdsq|H74Ill`wui0_`SrfCk zx=LU1WCwZn=pWCIM$Lb7|AW})H$ty(&2QbOsyBDpt)GXKs}xcz6e2wo9q(*pQ)poL zvVcF~f{pW|`riH9*0-*yv#l`v!}U+_!jr3e%pZ2ozPcxR_t~4DkDOYy?r`Sh#^X0b z%CZ>V|7Xbf8~v^JLY;Yq_mTSoIW?h={iQN*6(3#v!`OXee_-dtSsL9lF1>s2V0gxLy(cXeTm1O`t$iQf_Gc%&dqtHd-0HHT`%+1niL#0-~Pwxz$T7EHgEZg=9A{n07A<)dHMZ(e?IZ}P)C{~37gA2MFdEt$3@J3>m@;>fkP+qsQA zd+#M!Oxw?+3N2Tb6D7Eq&@* z;q3O>9p-F4d7rn}{Qf-Qu3=pDk&xo&`z0!*kUiUWrrMbM3*! zYaS1F?+)1X(^uJQA#;!3+r<|ctV6D@e4F+>J0^I#&Cb3{n;^xFRXl(F@y7oQ>)L;X z=khnaJN$=jZcZL@41!||Tn6HcdB)C1$CQq#zDZ^OV!BWMk?G={r>-YnfSObD`*+Hp z@Q?L}?b$2xjvtb`6DK?QXw(}k*ZUo6EgrK%cQeJs$T26Y+d8d&%+A8mxoujz%6-m# zwiRKr%E#|B|7Xa!oBqhByHfmH+sw6Dh5m`vIhDoI(^LBwNCeL@b7rzk+8nhksqWT( zzWAUYGe4}3{Lj$x`RKR(A0}1o_q*h}bl>t#_kFA<)?Ln+U0+;yuI9`<2aAO)*H&En z@t@)0;s^g3Wb4kxN#zSij{IjRm!GJ#L+ek@)A>hEU!6%XoG`;s@bs-cI!|A-zWyb9!){6GBiV(Z z%*OaB{%zsM@MF{BCF~N1sDJhFys?n%xxbu026Xb)uv7lxHE& z<+ZCV%j9M+3>MTVK4q&?fC zHhIBUg6DOY)a1;&7nT%1O?Ru|cLV1z_!)xAzBj$+vvjvDIGm^)|!iYL(4eCSf18ImS=(I2W?={LD#Zt?BK{ z-ML#MR$Y8nRMz$K)lo~Y;wRl(yXC|_*uT~OApDrWb<1jd`5*Hi?LXWvY%^`w?$<8< zm5V$Kgo=#~lV&DVJkC17^+Y>pWjJT|LbXQ=O}B1KSZq}kbyqGn@!|chIJ3Vy>&zYMYEFXNcyts7w#g$<;XX8#U zdtdJ)G-cIE*Bh_5wEo!s+pO-&eExmXS@M#9ydS@3tMO?1rq+I>xOUmAa}~)_Ln#9%}5192!n9JDXqNDagKDVcbmA=?K zYOq}fs?V7Z{Ab8~YxnQ_QF{*6O&fRY@XnXKV=S(}!9|s@2<$id-;cfoHz1Na9Uk&>7K16U%$AlwqL_J^b&b!=Z-PO8) z-}~=UJEqtF8H7ykb5$&Vn6^55QN{g-UmxtfkhC??LP#_ zrXSw)NB=)Vi~hlFmt&nuUiV8MT(u&srFX5>!QE#(xt=_6KWG`sF2T@!^gqL<^&NjS zAM`iQWBQT5Y;K-BOU0@4QPG` zcJe>kKg?5!@3_Z$MS0)F*=IfWT@@_-tb6m$s>cn73y+^V{U@!#;=Sk}+rJC`Sbtn} z{M)P_`5!)eT{E>8s7RAlK4K?&rPL#F-l+s--6wbQ4Fz~S%-L+En|Et5o~_CJk@-8h zCN`e4#(DpT`K@o>)kv?8&YD%<^wv}*Ggaf@t<3kb)07S@TH&gYTV{FUAj5C&!_%wI zEqwUb=s&}eDyK}VwP)uT-H%W`bZ*;ro`#bG6DtbVc)gR6Noz34fcFC6r6T@@Hne?v z{<`D8vy*Rtn*=<^_8&MGx5E!&)JOeWTecx@W5`tdmSEB0Hqc+YNf z2};kL#I7L2rYXtNWEZ<6u~XKf>eS@IS$pE1ZCRxe>z!7)yywgQ+v$(%o4(4o%V~X3 zZ>tepb~noERaEP;<+4Y9O$b$qzP;$wAw_N0Fe3q`$>)stE>vV0J@3xhu`8hF5UgqeV+umPTzjMFoKldFqoIk?F57xKt(m(ug<-VnbiP9%4D}J8& zE@W9Lkv?I;wyW%OSM7YZb9KnK&BaD5?JA39zos~V%eInza{n17)c@ULe`$9{4SSjV z1C!Uu1(2a2NX$W_mH@?LFZQ3|_#FGM*MCXf=l^INWj$wWnJl! zOC?VC?=+j@6`A`5_13+e>~Z;zaecA=t-DJDPU`6HPPi4#{prbrT!o4L!RDv7cD|m! zb>Hgp#Rq@e|CoMU=y1xf`kpPj*JjmCxP4-g`HV>xTxKWgx-wk-m!7uYGH?H)ip7t@ z-#lFZqd0Wil`XgLi%;Lad)ow0k=4(ldsg#toUotDQBtXJb`MI_EQp(QS8rDTYZjTpKocEdfq}ROvfZJT%bhdYUW-hKfwYuo$ z+^5&ymM1@6-)qPF!~eJKT>WEV-zV+8-u2bBFMRuD9r4UFMcP_3Iqor9Pcd|C@?$qT zJy%M2ZRei)spYBFahV#2gT)`%|CulUmj6FP+%55cla^+7|7Vz3%m2Ijv#9-}6aKf{ z|M?4l%lXf+zBm6rgUeAj?!U(c|1;$MOAP)o(QfT}nHSKaOI?=z(!O);9~QsZuY7F& zk)vxpp%Ms+*|tXXVQuiyUHQHGUuHbJwk0C9>)4y!ZH*~G>loNGPi^LNeC;3`3mTba z^Y8fjmfLAt!|PdB+ve!2duQiwy|cuw-vUoA-~dmwAWUaiz;E>9`iCI> zo=HFSB5T}!`TtS;r?T~+|@mSjS4aj4g#v1UwX)EEKNKtHd@*0(LInZtv}8+YDU}^Y)&xJ#YFV zxL+s8Rx0pmlk2L@4rCM#{UT16GWR9*e+^=@_jCU$x|Kb1R#4f*6W22@LEBKymFej# zqE08Th&o)HYbEitEroBA=BqW!oA?(l;E`p2xcu;ZuKTjVhvgVP-0QEndG=`ARMtJq zZR<(`Dt}!NbDOsR;eNg!>-}=&k6N+KT@zu=o*nCS&AKD9-6`;3ko%>Et*6`%$gvn^ ze2{0&P_yUveD;#_?`*!imY?`u7jFNqt{}6FpQ&M!`3rcN$M@c=<@U>K9}Nz2aLPTO z|2nSLz0$16_nyzz0BEZaB{xI8fs0}(>SJ6lZrNPe^E;y~;pu9Z(g$-Ng4%bC&M_bU zH9xAg@>M=EOSNrnq9&Vn^y`#);>ybc4+j4Xbt+o+bHSS#(=Z?h47aGxd0w!PU#bXd8MVR&!KNXZw2I zTDklxb<-@H^Rv`=CY}@)nJOt!me?G#)^z8w%Tb0~8Zatlb|stMZ6;~SH+W`cnr~3K z*KzyO7I*jP*+&n?h1&l0ExEKfzsfyUi`Onwy7W>h8MT%O!_6em#ThBFCmyVnTQsYz z++prki{44E8}&`m5F{^G%#EU3YhB`O3L@l%v8fd;j~iJ3?0)K-b>&CB(cI^_vHb5RksF#Qzz z!k^#HbMduS*T7iLh-r`%g;uoMnVh^+6~1*^!t6G6l6IV^XtYd`jGxW?UQ?2Xli?LcEddH5sIMrXSW?_2N_lKK&Wi1r z!{t0#@JUD zIb|mv^+kN+^Y~`F`AymU&#(Fae$aT@pYWtV;kWGaKfezDXQ<(_Ouk{Me8cW|=6?pe z4gVSLGeLCl!|Yl-&9-@xZ8NF*ZGsPNpFX+n>OIqoX}f3n+TA~VZPMY4OTs*PH9eaa z{&cjoX}ojswA{gya>uv+?YsQ1Ht|2hK318Hpeb>Wjt+y4RkjRAO(xyQRNe3@ncOTY ztrO_eX1O>#_=>@aWwWCe_}!Kau1NNo@|0y`wRTF~&b6VHi(SJ!y8j7U>;L>Y|I2>{ zuKI}SiNDh-kN;6Im;bPD|HI&)g8v!P|1%u2|GWO%yqfpMXKrr)y}R)3EW3?*2j9+o z@t@&C=gs=_XZ|xR{}K4Lvy4CIFp_CtMKkITsi*#Dus8lU|DpRe)f={(`G2^)+5h}m z{pCLzzmDu?-6|MH(mZBlIWZR2xw5*1C4kK5^g{N7&5p}f8QP}Hg$(Vl$eJ}oEA?TU;)@y&P* zvCdW+-AOak?jN2NyPM5$%aS6SV<-N!vHGm`?YuJCq=Acpfx(I~QnDLVv4M(MS4vfuc!-uMsKuRFh$ z&)EomR1W!Qf3#kr+Y{AXbJb?3Ljr|DNN{_XevIsbut^!yaLpkK2fhBLn|e$#v^KG^-6t^Tw6 zhT6Q^36}Av9+ZVl?dVl7WkD}^JkB1j_fct8wrC0io_MqJtzsS0WZn*T$)OxmcWP01FyT!Uk zx|XcTvW;k9zt&)3e>3~QuKx_Je|W1O&6jf2iBtW!Y@y!P700ziCMi7sUbtyq$b)IO zD&-Q{moijC7YNE_KGtvA7N`7U_QU&KyUcbMF3S4lkfGlr*d{e~9iQT4b!L{wWt<1U za)mH&Oif8z!=b!l0SoDELLv*f5B=TyKNZ=t*X^4BuSEB`5fh|EG<-Z2gVx z>HitFeLP-3egdeE}*AqAJ|qeE!d%>i*dMZ%^i*=L`7D zDfhLF@!~Y%ge*aXKp?WV`#RW|dVOL6Z z?cF!b54oD3xMlO!p3^p;EnIrp!_sUR9b~Q_+}~xDesp(keDuW8-fs7*xR|9IwqIOi9v7K*FfH|`!JbKsx(yX3jQ4&#f7squ zr&>|C$M7*n`n;ph+a4}%D(jfmdziuND?5we3qJz~1?DA}O6D3nUC!N-D|LulTiW89 zbajP*O5p+tE`}ExOm|UIvYg=~{hRy`(mP7oukL>+wd-=e%Jg%SvbldI-}!mcI$~4L zd6XIuU9p{dFr~QtK3bu%zm74?n}g! zIqWJ$mJGiG*mFM$KioF)qw?YWhjX37u6|h&m+{P8D)dBKLBJD+Giwa0dji;vKb-zn z_2K@Zw^fgiNTv7K#INx#O#7C`n;hu*Ff`r$-l~l&`DYwpx8*K8%aHvi;D_zPKcO2o zUjAw?P|@rbEjcT-R_bH!J*RMqq7yger!s{92>;;i@WcP_%D>Ye#S6W*zqQYO=HIO~ z+vUQi?w5K zq|8o!f7D=RCt0I)ai4gGxt#oE)4jzJU5`G#=lON?(s`rJN@_<_Lm3Sv6p~lwRW9I5 zex&~9_QU>8IhA_hEIHGU^QIafmQlO!b>(pzgFu47T49-ae=e}+KJaIJS;zQcX@AR_ zQeN+%ro(4%magbO4J!gkp}SCQh|^(DNaK`Pd)(-zq+M0<2Fn-GeHqO0kJ=Bu<$tucwQv5)AI(RkjBcE{ zto`D8citzV9fzm6o%pkYY5$@9O;PNJ>fidm*)Q~CdgQ;WpKQ**UHx>&r#)+beEPO1 z_xz0FInT4c9AyaqvG9ZR;r*idZ?^LKAFb26IO~{LYp~mX4yW@ycr@#Oon2J3vL3V!bo{H;1Qs>v&|qNa$+<(*#Z zRcLx<_LEG$?*R)Q>||~{z*^_ zkZ?7a#4c-;!F<)m{^4$Uz86;c?Qfs$+|})~x$Ug_uE{l*)?^6S^f2%|;hDs6QoYeZ z&U{7P@qN5k^52zm+NsvKb*@XRoT+pziDT)EIU1iTm~8^sw`ED$&Rd*Vy!=E;XWqh! z$Va*B7Eb9|`J5%a*+I_y;eUpk>WAcHuWz|85dFvXM{B9x%u3!zj-{)Qd^mM+N5LeG z7BMF`4we+*6ASo5KbALtc`s3sAMoMq-Me3Vta{YMcWj*DZj-F=RHBLT@r4WQbAAYa zOZ>3Dp(Z@}(QSFzACH6P9X@+Adu7(dv$<+NZW-?tQ&nd?Dbwd*cZKnGjmwYRB{d!& zZvRLRxVp7gOMI4P@3E;xigQFP8H}}g1XYAaUi`jlO_uXB1IF`CcZwaPKqUx&M!jf`PRU>YBXSBCryWb18Sl0yx_rXa zV=|k}+@Cs#{uBKpbiq#eKSNf1>W}G1cAfvWe&VzG+<4vNQ=jG^pT1Q%ujcTa=horN zG??}uWZv7?T=wS*9^93%`*MvFp25r>9*cYwLcc{_P51zZOL!F#e2N{ z%h~*xYf3xzR3En6ShD%dniHKHBSRg0+&Cm&MbFD%p7Epex7m;6NA8{SM{c$E)}$}> z`EZxDpenwhMl<=Lwybl|l?59!+*WQ%DeA!O2?tGl|kJ$Aw70o^$+q=JZ=IPu!b8t!&?F^=bR#)3-Xe+a;bWp1b<82xI)C z_5=BRe?s?fx?*ZC`eU_QwnUVuuhd@!PsW_5huv=4{Rv<@eptUX%KXqqi1~J zS%cl05C0k3-qctxc)3r0`>bcLbdAnQo6LLV``K&b0*6lq48{|TJeXDHu`*QLTlib< zhk4-somW(TO#LXOwsYpQlCCQEN%g^P~2|Wm7*If7{W2SgLR9nwJLp&6i%Ezmylo zd0OX<*}K%lE$^NrZ&<*eHQI;6-iLeQ-+F)Z`}R788lN9)6Ic8=e)Lz?i>m(&lesf@ zbvb?3-g4Y%TJLtj?M;SPF0kLIYU@v5aUzG7os zUS6Bbx0ti_olctId5II2ZVC+*UrZRE+p+weQKS7pUi8L~ZO4z-SzKAZ;d5EktEeT# z(VqLvdfvNsdLAfpSDwJXm7(mupq+H4ypWCAKglbmx$$1D&-#)Jm&SCYv+_CcoI1?D z<0wP1J4(t@SKh_*?!n+?s#0PW7YS z=D(|-RL;L0e!B2!W%S3VZ(VNBH+XJ&?&`}fhV>tvADFk-Y2Ck>B{je6Pv~OP9$l_w zy>$~*8nzWZT%0q%PJ=o5;q*gmr5~0x7e4%J9DUuiW1YU-hx2PwLdSze?92`9dl@RPch{%Jb5UkDlng${ah|QgCjan%hE4u0HrDGi_bF`u(fyI@ zRjkn`=_5_A!#f{NU0m=`C6Gg>rAL6{g!)7Wxz&%}v%kD&@ZsLVhqHI@el1Zd;iF%e zY|vM6%<+^V3-j@X3-~QRsJ}V zEAk(f?Ja!7YkW*j|C;KK&DF+i8&@p(uxj(-_n{G2+Rr2~&uiWBtikl3MvdHse_A&p zUjCZjVdJ=1x96-&(f*;jpho@Qm4Bx{>UWmTe;coS=HIP- z(f!(|?)U3wsonY6Zh5Y3y-xsZeV07r9_x=`|4s*7`4j$Vt>l`-j8K#8FO4d!o2Tk@@&G<1Ayz zdH0To^;syZFt!A9DimH;Yp@MI{7-u0hj-1(e$?H|p1oqrX^Wgo)ho@BI zoWn^4o=FuVjE}3@-&8-i>-O(?z~o2aM>1wTOP@JOH%*}{vhz^CdV}#%hU&D1i*LR% z6St~q^O*KZymg-1tyhvBr{)#7RhTe7u9N>esYdbP-D=;Dtox6|cZ3JMoIc^6ig?r> zf1b6{?VL&-jwvb$4Q`G$T?}92#VhRnKDM`g<>$G3_kP6T6^9b5yCqwSj~Vd=b|}c% z@-kGOZ?sR7=la2Zw9HO-T{9*l@uMgLAZ++b_kU7ub zW8FsGqqA?$Fzt0!Zw;L*U$yGk61!vunJ>D>O&CE1$hY>7VTX?UU-{$sh*vTvEpzIZ z?4#Q&Ib#w}E2q?jFvdTOKd8(6(Ei)c`b| z{#N_Lb-~7WQNQfnADfScU5}FQd=l|yZT>}Fwcpk*ub&-DR^2Wq&0}P%!Tjp{NJ>rG ze*%8+KD^(x{aaMq@<;ncGtMS+JFQ$Czl2jkcg~KC+v@kb7;gMX{jl2YN9=+-74<&X zzMf6e?moW9__esV&8agTvqh(dupCKf>|46?S%YPN$NbItZFVXZ6aV1|(R%@2RObRJr{l^pVfR&LxAc0wvQ%^%qhzc>Do*17y6`cPHablcO$zP4Le zscf25RBmT(uD){tA6YAE$XR>BKmVWFe}?6C*Y0!X2v1I5{;IsFe$z5Z2m4t`4R#I4 z6Jb9;J-mIme%sw8llkxd*nIGOK6jast74gaz_y#e1RdlZFMy_8VbfD&&5X(0M@=mL zop+Db^0#_pLr&S*L-ik%8tfWTT=D(E;$G=*lYd-%xVv#%_REsDL84!K7K zv-xWAq;X67MJZ?lSwQafh#OxkBHO0JgU% zbA_Z#j6!3o=I4j)cFKQO|I@BmB*43`H#vEccKw!6?*8BJ?*3=+V)(^}6uivO{xkGU z@BWbgt>r`ivCh-33o5#<{xM(gCH}PI?~5nNHwt>cY|oEk_+=@p;yTGZ%#CsClqUjJ z0vU`~$V#LL|1f@j{$}Oe{3G&WHMJ6K_oF}NT>JL+?~4aIr~fnbo!h^bp_Uzaalq&N z+mC)|{tmy#>*k#Q@O;;`i6+4YM+#pR$}aT$uDV~k^^FGeOD&|CVDw1EKV?o~vRS(N zb(L9T+O595t8Zp*>-@fa_YRNb_|=9C0qnE0>bKgz`OmOqw|nVFWB;Od_BR*K7uhol z8Q8aiR!bdDsyi3|C9wX}#QOgX$26GbkIdhue|YAb`My7bW=-$;<6E-K*6z?{pB=77 z^Lo{1bd~Wf&rtdDcm>0&`tH8QBGs z3XeUj5i)d;Ta6Tw3@4MiD&}!M_EeteWo5w{>2Z)nZoviib5-*X+IPvb)i~Bax_@)u zuTzgbuEhA(KIC=X$ZcQDyqRISEMuy&#AzN4hD+VwmR~iII3q7q$5Qd#Ww#%9WF+_L zw697*0fJx7Uu%%4&#iAwc(}*%v8(b5E2k&*PrMlXf8_SJ+JDinIRBr4Rr^1~aSew5 z3~e`l1pjAn`rh-O;X}~=KSd4tng1EK)gP$ddFkHo*ehF>75ChGIhlcfr^AhZA&jr) z34i?FR8yXFJ&x~V*z`5-5^Ro{MVm}2U+#6hv%f=xaX+#zi7m+r?~Cr!sK|e)-n`x> z{E_sEgI#7~({>-2^r@z1qr$5qkCXodK`r6qb*J~SU;Cr`;osvUb$XqXkJK4oQN6xZ z;Fa^j=~LX;Cpi45%r(p;6KgHzuo4qaNl^qq9mbc zUHgwn4;J~rJB1E%>`N+|AD6$mBz!nd^TXNy3`h7Gqqa|9{_0j#<@9f6kKZlX_??T5 zA&2pT9YX-)ofrQZw(dWm8+SLgUS`=`v$DN=|1P<3Qo2fh%K9fB3wZs1WY#y_{}TKq z|M%PdKV~u5KV15cx&EU6#r^NM{bzWT!5IE++7G@X8b1~;dh+YU;a>r4-?~3mKMe0! z9vv(E$h_^ndi`#ms5xrRUwm)x_hNYM$dVGkL{9A_7yaAuPu!*-(GO;KtWo>?CvdIe z#tUy0e=eW&$bV`Ihvls$&uvd|St>P{)G^gqO@5euXf6LC^RD@~1dm*|YSuiLmzwm> z_=c<>;D zoc)qN(LYXqFi>y%XHj7s_|dF8hby{by-Uv>V>i2(JK`*l2OW*>>#Iv*yz_GY*7`U9 z8CE&UeEj3OWxJkH^3LtE#DZUxtJ%i{u)Zf0q8I;Nn$M(C(EZWbh2=j(RnX$k$|8)H zUdRjYlc`vhnEP^YZ5<(-tS!hkNZ#Z_U)TL?(3JB#NF|uJA6B{T}}-{w7em+q@;Do zY6ix)$gAuSH55`tMhG$(&u-|8hMe<=*P~K?UqZ z8q6ox6&Q=xHgYtidHscTZe?|2>=l`(o{?E`8!1lelKGnZ9PVm}-kFr;) z_IH+A2T9#~9Jl9p_@o0*j8=sDH1`NCXGux;>>zg(qa;kqmgD#k-;tWR^*;kg#;iI0 zhi#wD7dcb6^vVS``#+lT&GlbAYb5_OG)c$*Gk0Le5aFofs*zTf|FE(~^88 z*1ep20@qYNKb&R%C_=t>?F+VR7Qc_bo51h)!}w#r~tDtNfTY)1(69fAKT&V>SKk!InpZh1_$L)vnTcT=r#W~uoUjHin^rbD{ z22syGIhFM>Scexfm+>!Zvk73IcdJ7G+u|Qf=ei%;FYw?;@zV2c{T>$<3dLzv+59|Z zX5DV{pMmSk0&b&!C!%yeem3pz*)O7>^6&TS&i@RXU9K>k|B-CZ_MhQm(2tq_8Jc(O z|8bO|^giEzhP3x>^1NRQANkrH`yO`f`ro+aYhwN`dt_(eRUqoe`Ln6{q~viC##hJ{ z2G}3$wyXYF|EOPg;&XN#>xXX(RoeBwN2Lf&vsp^xSvvlgN(N{d@WrPWk5& zz&eZQW~g1(kIE!Fn?JQ5#gF_gkY3MQ!S>?CJ?ZU*GooJBUpwE|(!|{4R$nRpot2?h z8zWOg8~g~0{j9xU$rp-hFh!ZxiTlN zkrV$hGv)iXZ7)9^&8-zkOIW<%_xc8lBPZ&?%aZGM#f z`=pA^^b$b)+ zIfs7+uurW!9%Ymn&#*;$lIQ%;S?~Up*+$+f5Aa`qqSHa{IuR+V>ECTJx%vaA=SJDA zJ=VP{GTu??YoEXIDIR-HUxw^ zobC8S^0BYe-EAjsg-l!UtMZ6T;rmVvrvD5F&hqK={gL^QHd%l@__jO%LVrC?QfU< zwp}eMr@JSCkC|8NIs5%7XBn#a5BGP+vHe)T^lr8t*VVXJ*UmkDvuVo)8x_wjW(E(0 z5A$U(^FI=QEB#^q!@52Dq(1iTwO#u=dg%p^HA`ny=0q^>6zN-4v4C&&f&BtD+8?D4 zm;KZEuxvq|$?fSAl_z=JQd5;!U9*l+rukNbMZNgHEB9Ida6j^X&-tVONVq{(RPm}9 zw^=opv?eWVlMHD-%-7anD}8vL`o)^?1ve_DyY3OXkyZAxH0Rw?Znwi)UfVbxZ(P8y zeRY2hf1{M%%F4xAa_YOiS95pjriWh6lhEln8o?yaKA}>C@%8;%)9e%fUHt9zQ!ae& zoX?vj&slw0z^{0z9;Ef!%JjvV|I~L^um0WfHX-bCo`^}`!4RQv=1G<&jIZV?f3)j< z=*#w>;mEG554sNfY_DED-BmBlR5D4l$X~XVq4Io-eO7+cKdX&;tVzFU9o?z=AUR2}8hK?~-dTTq&Klp(Li{m0e^`K?m1 z>oz}*4Sk!NuV;5!*p>N=&us5x4o(@(XAK&EOn*H8aQo4n@8AA$Tua?uYpPt`sJmuD zE?8+;Bh0E^j>6Dq|cF|DdX!O$pjwfXddi2VI^U^vLA$vxy;7c??c1kptaa`r@9j z*`@nn+Tq~s-mB9~HKNQUgF-jB%l0x<#;yIGP{VPt)cdS-z(?C#u@Nzz*;eaj7aUA+ z(>frq!>0Mf0{*yvS2q6U|JHv?{KTg{Z=TPcajx+CQie*t$sn!QwtCx2`+u~(eK-D& zdp6Uy*#!%ilyNPXv_obhXu{y5eCL;Vt_<^ks@K-Dgh{3Dz8kYkvuNXr(*mm}RlLz) zK3AjoJGe&to`@Y*ME_o{VE=`DST7Rlx@=4hh%u|0<|91PM{$t^K^R_**>-|gXw!JS2iq=e& zi<-*vu9SH-p9XXBBm1N4nQJsIy)B(D^=f@~c4gtWh*=tPNh!CYB^*2+`kOGiKU{y@ zzU{u)^ZnaDxNX+G{c@%B9nRd8=8U3)g?o7ZUcS`8-x)9SPr62B-l6-)ex2FYzfz?? zPigC<+Jjte=MEHpZ;xWw`{D7U>y7)gUzSImZ`vBZYwPA6zjfB?@N){~^7dG;d^kLd z;qZ@EuxsPj>$mMmUhkh>ckN|~khW%;T(lU&J6GjZ^E8-Oeb7I`&-KUc!`=PeHkvD> zd(ECc@pv-Hth3Wi>%Mk_yTZ2xeDX*CGi)_KSkLrh((glc${$6~NKKpbYP#UE`6gXU zRwTBCDttJ+Z~?#Dhv%JN;zeJW$*EqMrbapZYxA=FPF< zzP%dECrajnv~FD$`Qlc6=ev8a{ynme5Z!XSl~;K~D9h9XPx?Ts+&ljGFZvPexc{Tx z)(WK!mv!&GdV0}&YOh;FYs}>1i4Jnb5BYD+ez3o9k7x2jd%lXUXSLpeW!@F{{b!jb ziEKP=)L;>OSRY{aD|hp;NuDyf+Dvam>q1!OdAxOyS%3Kc zE%S%=M|msvm_B%0RlWM__Uc8GZhCWky0SvOc!g|4p@Z~%!GF3H(huFHXRrBjJ+wMH z`gH%MBNrV$3#(naafr#Ct8xLq=--w-sSkhOZ~gqkjQjB4)l2T4E-e*yJGENoOwA^V z55*gIuy-+hJwGH9!~M=J`C=KM#GrQslo(=eTWh*y+(`8dKJj?t0-j#wN5>EQR)_Dn zV6t8|WAm%B$$PhKi_dnQQ_VB7HFa8&CXS&K1m;@z&`~me1R6iSO7sQ>n{T=iM98Q1>9u2V4w?Km2Dn zBF|j0?%!vh568Pp=0-jD56xb(X_see_YFnp&yXVC=9U{Hl%`(yTl`(0Mt71IyinjIUVdid7#X<{uuyF?~# zJzy(Q>>#tguRe2q^M3}u8qdOq_M$(U9^DVx>T%EG@y1!9j8}~QoLC~q@!mo9c=Mmk zhxcVG@=hO}C%y0Um%EOVZ=aMHZe~qdu609ss;w(S#r9+8ZxufjUEgL?{NepSA?c~t z|1)ehl~qj?GZy_F?DTQf``g>4JDyuC;Jf@Sy+Y{+?}IHuO8*&-Y!Nc&TY6&_!;$|C zZO4DGf4l$YKf@0%eVhLb<|mJTOFd?uE^+Qm=>q<^t6SHayIfjtI@jrG(6vMNyjR|= zOWL?-S`x#P5By9GHtP@1-#Y)me+JRl*W{!w)_9ld{##x!ZQF@oB`>7hEdnB^FrIvs z!F+K~{9}8*AL56n@6-OM`k&$Em%Fy1?^Ikex!MvIb1j&Bny;zBaz0Dl1$p*=%2^v< z)bW1Yy7%8ggJjvw(dSwEM7<5UwKOfb{2w~Vwc=`Ti7-C4-=_X&_Vn)kZx8=x@P7M( z`Ld1Z`Q{S&-)vF;8D1=1z`F`>Gx+m=hHiVQJ^CM-?)zK4o4+Q@eAjMI+16>Z)6yoD zJDBrK5~+Q7&{ElgovlIqVf~T2`NwaiK3lr}kL5KR)hBm2-Y&f2|6Wf?i+|>pRa2fT z%Y1q5Aani*zf|4DTlHOfxplHN)*qg&T&U%iuxsz$PtVFUxSRH6J?5QY@zO!|d(+nQ zBKIre4!u5ZWxHYfb-r2pANH>U~OQZc$A^?d7Dk~@8G)? z?S9)nh9BnVy7}T$%%b}-(f8j?)A0Ox(|t~n!wZ89=F5As*HtV#e(3x6IJS##OJ&PU zg446h)lQ`3J}^i-_4w(Xsy>GWeC!YZGxXYLymdY*c5T04o$QZd?+Y_kjPFLq{hX}K zqRJ3&x_R0Gn-UYo>wi2y>L1}%K76wB!}&wks@|>93$R^!_tc@aY|@21kq$Yn%<4NA z@aVVB7qZj*F+F_u#eb?bYX2EpLUY&txw5Z6FnY%F$puWNp)7pnGVg8KWu7(I3O$d% z@a8MGt=i{^O-&ha1c42ENOE?JNbgt_&6Y9d(R97C-Xu+RE$wX!%jy zxc>}?AHALLb79M~-#VHcIme$17@T2eX}x=_ytsk!Et_e@o|(m3Q*Yc$yt^Y==J{HN zkXT_?SB_b(lUDUG=w4v3*J9Y1pPiktR5y1~tLI6<1p)r+MHo(g`OUrjb6!sFvzp|R ziP|z%DP0WHBowywxaM=YG%s4z%KSluk!M%jY@4>oFRwFYcWpkjWd4yZhItl`JH<36 z28twxx-rN#1hA%EGFhJVep!^U;Yl@7mHBZ~7_+k;=dl^~R0ptzUNTvd@N!v{w&n>X zQ5N~QDU4|zkEcp$2F6MxPHl6PYYAWx%&f{0;!L=_c5&&8lUz;q0vb%23!0u8iyqO` zl3VpkLjJ%7mVnG}V(XvXj<|j3$FUcWLM^_W5MlV;9UZ-uvou%a6raOHW`^3z1uWY) zZQ7!fo2%He{obd?-1FCIFznd0X}4D1TE!Xb?|xS1?O&F`nEN(2S7hnhEdeVnl}xxe zzdmY^w40w;@-O#n@1FBLd6QI=`+X)l2pwh-yV$Yzp~r-hkbnhsObv?Dy)UOvIBhpK zS9yC_MabkI6CH$)%M>ad71C1b(OPkU`2rWinp6sUvI)N?ORw_Ywy}62Gf4ui%Bg0dXzz2EG#_L_v#X3(ck-05;uN1 z%b>e=?b=0Cwr=YZRabFqbhO(Oz^s1xjo$pTJ2!5h`LXws%bLQMlQftj5}Ixqitf=A z;_K=X;Xe?-V)U{q=aXdm<+V%7UY+NfR4=5#RPne^C1R1QOJHlL1Va_0gXnCJOLM#T z&CED+TxCYcq}r+g*0rm9cSsyFeCr?@?r~{i^Rk&4YnCf?gb0A-W-9lEWGrx)&iIQ}>+;9SyKcz>*bJt5+n{Gdl=6F251Ae|Bzi zKKEnk#hoFKFDnEvzthdlyP|q^OR$C|lM4^y*Jlkj+TXOgRDY=F8y#tKzmnH%5jcsN zhbe>kuAa`Cb*E;p_DIwIUUTAb^2=Ea(bdt>uA14oB3gbPy-ZED6${w>m*0rBpIw}s zZ~Rz#NoU04%PIjZ8xFE=Nz$$eQjrxE(U5Ogz>#|C%grZ7=a)x&yuCV4ROO#a0L#bY zG9DXUx;hqftukQv!qi~%`RM%3=MS!z+_L$#9P{PHJExxMFHTu@Ev%?0vd6VtsOsIh z4CZYg^*g@$^Hc-}T=`J82^)Gd% zFn0eosXxi~A^dN%_I;Gh@D{cSeB9s973| znhZq*RWkO9iZIwSI>>|{^ELOg=dvj*%F*rF|Do@d|FcT(-Q_ozJhwQP!EFDn@IS*O z*$3}`v#tNva)t5Ue}+SWax6&=oPuO|>se{zm_@ezZS2EBB4Ra~}JDhL-AxOY2xy?z5J$*%o)te_c zFnqzWa^d6r+rs~RPanPi?cslhrQg0VzMRMPpJAf8<9~(?sq6oBMKRpMRi|+=tY2~8 zdFjjVQBzO(T#R!1d}70qOCF&i8@al;jS~tOz&oqT56gG#7yqYIv9%^&Y(9V6K3Nr` zqv@&T4Ap0S=I^$vTELPb`02p}=I0d*U#~IV@i-tRd01{ygIEJ}u+ygb+xGtqldC_* z|K0JQ;bn;kk^z#A|J@(DlcKUmLF6TP*y#yis{{9Bgmw8hz) zeUENTp0o0WTjgOUyY^WOFX}`x?36#Wx4ivh{^-5rogcIQ-ScFMzvCu&#`5nixuqQe zMiCoT<`s4^ycL}~#b|<~Buj}B!a-1Xfhqp^{~2=5{}iqf{LhelZuWnMMe8(hjMiH8 z_ms~Ud~3s9HlHhJZTd&vD-&-!eHU8Aol@LB)468NDNBZr_n#fR#&F<={fBj@ANsdF zy}W__&I&sk>w&*RB&X>)+peDE z+IislPL+mIq=^pskNy8V#ry2vL|^&O@MW48!|}g!>Yub%SpPe?`ai=$Q-&&6#5$@~ zXL=<4I9_BhpZ+IVlk(B}kN34Y{y&jhHgCG_GU_grm?Rarcgwjx-M07O1lK}g zmuHqz=C=+sZ=KQ>+>=DP^ zzSrrN(z8`QusO0k&|b%Ymf~OmLTo1EvU;|8c}217{*P?yEt-z|ZkzP(ne!h(x1}@w zIb2|8{Luf%ZuQ6b1KZ-vuG(0cW* z+QI(q-~7KX?cdL`-NXD^fFCATUBP}$LH_oy`tM8rGwjRw_JMzmgZ=g|{~6wU{%5GU z`1XN(MB_92&CAi}&htW{2s^U03MyV7I9X1gm;^AFnA5_4zOV zGu)f}@8{y%2kbU7{JVeoKf_-2zn|T=H`FFE^;Y|-v$@MX<(0d~{ObsJ+4pVR<6o(V z+s!=qXV{R1SWsMl|Ng(N@)5Dkue~?aAIca1%RKwvzyAzh zSNuBkMm{RGCtf;herY4Ob{-D~vP@3&j|PrDLdxxahzj=g!TZ1GA1qP8oZ zXRe*>4{nza-eUW$Y*%di?I9OFyUDMt=62PWlTdrD>WQ;ckNm@ z^MHy%+5wh1JoDHp7w~iboo^@qW4cFd{iEGwfgdN8{J-cXCI+Tb%Ei=>9SJ;lA}B{-)&WyxO1spTS%E zd1YP5$J5`9cAlT!w^;IgPT<$_JGR~LN^YrlKf3rOnpfe*mi>uayKbMkCti1idrrb* zib%<6@BB%>+yCfr?0+HlpW*wL`d0by+QT>YJ^atW&7}W}b^qVL@()5E^6SD>Pei>5W0K_^(jl;-QG zulrlSRR3oXigUHu_A7SF_F@&zeQtfGItRmh<}f!ph}p0{_LYC6-uz|1)C;A+#y7|wBLIDUxobdSN(5i{AW;q{GWlrZrShlZ@d08oCm24{JUBH z$)EZM>{sp={JS3i^FjUlRrcGG|IF|I!|-eNJNa9$|1;R||NZLz?M(gTkN+7OTj7j3@_~24 z7rP633#|9O^L(ylaM>i4wI{%ZH(&W9@s^VJazBj2KGdx(ugpzf<@m%`cTU%2);oM6 zn>IX`uw-w_VA|fk#hRZd!>YX9WQ%tC(pyK<8Enhk7KYm`XP#fhZ~>O9$*XZ8%RQRD zy|dOXo99<}KyLY^WkmtuDSla8Z=UL{d%kDFY3nE7WZN(8P*pcCtNc8B_HM`@N16>i5_m+pTfs`NenTfve9izH@nP z@1X{xn&?L%AM#tj=8K(9*S%9^I_LT)XFzqGw!Nd1B3Wi?FmZy*H6Fo=ht8T&H`E_XzZ2vomou-XDD1k7&!chF4vm{%Ee( z!L8oW{F{AhPN(WE{c~Vm#53~;8*ECRgsv(oc)qRqY0aLyeDfB7>S}1Qtf3;{sLM2i#L zn_*hLNoKLA-GWC`*Rl2X?XORJT(hj=_nLP5iEEy^87YNawmNNnB7g0*N6b_6j<2w5 z+woMKJ+0W}(VLUVJ@zH;Q|eAzv3Kkd&U~EDm^I68VfNCDf68;ecz4f`RGxRq=k2E% zJr>f;LPo~wQ4HUqw}M&rOJu)KY4+VbVa+9;6R#>=zsNoRS)0A6*Dk+u*5%f(>AbP& zkgEW|VJmR!-pzZf_s+dzye2QXSfsIO!>i@8{K{Pn&-cmKczy6cYAg3R{)61szsnOd zEA{4^>`$8|yIrtVZ+2>Ea>MBp63?3*)aD)chm_3Bi>7&`L?%w0c;RWJABV}TeLYe; zU;LB0*0wo$riZw|!&K(|i|gzk$CxIb_|q48c$!T z@i%u}n_F7H!qdd(l7{Pq<;J@9{M^ z*-FtDiJPsq%w1J|`lIEm#Ko%bUYulPNeRDrsBopI#hde1frVwsX>HmaDck3nRy+;r zTVo{Yagc3|yY>g>hx3+xnEvong?YfWM^~;%zwUgyq|d0yB6gENlb>I?Q2nhx8O)cU zS^3PBb>|-EOCFG~==*o|!Ly3v^@;4S|GAe*_09QY{Q9W1Qv*D^Kij8VP(H`K zir0_WHvgTv@P>(JVd=NZ^cyJ?ll>>Drdy^39-5OrPdmy)D@kqT?zC2D%cV;y=Uj^Br;;AHsHjxbOSn z>zjh;ACr%KyOp+REtln_yH6ZWaWiju*ssjiU<)52fqO`UVFA~zX-k*CxK(;>{pz@b z>8YvQcVh1NJydQ}VV!xipV5J3QmqE_ll7hd8MgL!)ahqT{=xmt=fnP?UWe-`zM6Qvvua85b;C2@L?k1A z+`_It#Pw9vB!@jnA${)XXzA5pwu%EW+u4l9IV{1XT$lDBaS8*Ot zmkDv2v&z~rX2#L8x75u)-2T@6L-S+RKVS8S&yR5PhW%63%jGG$eeRUirsGD+7P6n6{pDc8Gm^n&VE|u)N;K@wKCHeax((h>N`q0 z{x~kks^Zx+V{*{uS!d_)OchdeDx5ec{aSpi+_`b=PpPd2^ZEr$4HovIK9^nxt+W)>TJ+a&{xjdgu=1G)WAEjhSmOiEUd+$= zh3jsZPnR>lx`+Qm@Pl)EKWgRkdn83m#K6&GFJZnwNrGJKXcjEZ3z4@XW?!5ofAI0jWuXcqkXY6})?31OQ9EP&uO?GuG)lU5J*+Ku^?v3#xss9!8+cp8`CcBMr}skLdup+IiTz{tx5nuo zULP~7=dlrgpqqSrpZV_XzY{N+91~o-b$|N2ptVn*uaNeaP|pij)v@2wZ!>p-({!U} zc_-Q*y1%s-@7+`JpMmqAVvXgsI{Au=YkQxro4w+MTGuxL&Saj0;gyULfA1tlvrJVG zE%-C>dGjvLOHX4imb>q`Za4v)!!j$%(wZZ;DSUXl;dhf^R8ZM0lSOY$s(8!iAsuuq z7x}ULVcYu0>!tqKezcvpFrBr(rBrhLx`)#XrX}4A>_2@#xmh}0rBsCRP5`^^qt(YI zz0{ey&!Ztt{;mAK?Vs1}vB}xl*A;l_nQVzvD}3yW@%cZdA4eDc_|I_spVg1r#NbiFfZYU6FljdW+81?#iumHIt`(JL~yb!BaGno4??|KNH4_ z;Ghy=e7ft++u}9%ypG%NOOwe>cLu(z|}Czem;)=yQXxm`_ZcFZFW30 z0w4L0X#BA(x)wEWG3%wsTkZwR`DOA>{7aNj-d1?bk;hx`{JM@8c5?qNPO1t0px?Q* zo~6e6%F>V1Th+wM{|Q~uTfBL0p63C7+hbRQxA_<|6iYKL?r9F%b>ZXr8|p{p1!8{e zcb@&QvEO0u$GVl3E3)U`HkiL5ZpOm1^KX88KV3Tf`zohDe=SUIn%uVf&+tS2{hx{N z1^zSKc)GIwg+Rb@|KyjuT%j={%ij1rW9wuNd!36$6W>|>Yum7Hz4XkhaW7wp9xDcy z51=wwgz@<6c>X{7#gBLEcLqm#l>YW+yYy)Oxq?Oai_PxNyycgYS2!<&Ijli(!qfh( zHTzN{udaK1$*O+l%ZCe3bAOkPtAt%wD8dlHF8y)#v8d&T_qXgb{P?Vsb2GHrB=!(I<;#On?pk3ovwe#Evn zKa*|o`j-arcaCQCY*^B_Q<2%&Al_%A-ItFgi=FnYJf8AKVDgmU^x~MOP`?VfRP`U* zyJykn-HZMP9_?=H%9ynGa?8^?p_-8Y46VH@D~`MWJM{1Te})$4nAvWh?XEuiyE=Kp zXTyzU>G^k0m%et8gB+|r*K*0-t<3Yv^xiyQE#zAh^5nU?`ju~sc7{%vstme`nfv!^ zTccx-gRbZa-Me;4eO_hE!{lDaw4_=Fmdlz<)y8XCjS}uZyzi)TaZ6RWf~iU&uNVyw-BB`OP&b0M?GBMyt;ku z87-W% z#}$7ZJZDgN|L?DF=|ldW`y29heiT0NeNs$j)RJA9 zfm%7!B*g<-<21$9vsW{5oMd02BH)|4qw-;~#HE$H_CGlqB@IpO)quvIxcS> zx>wBR8U5%l%3XZrxuep{ZyQ(ryqxg-`Okywybb-0yK@-|z=** z%GjAq;zPd2x34GDtX8)M^G3)s^`HlXabuv3H*u+1QO}l;g))Hx!w1TxN zi(Er3m_oP5G#-m=c-+PCYRmhZ`QJJ=fAF2Qep%h6UGF*{?Uq)lwq^J4OuUdA8UAF8 zfaZ-8J2>~OeCIW1PD9ClKKrbfU+Zs1$NaeY=&q`G+=q&tmrJufj-7aVWzmfl?Dkqa zX9?BsiflN?=3pt$TqF2*v7J$c(eX$7d+IaKi~fj@`6#+6tEz7DB4NI{$vj^^_zxn-f|Dig&EA#j};<-)sMjd+{x*=b2snWIL{F0v8 zWhZxuAJ&N9wZ_2n0K4G_`G@D<^8a@JqjX_U`lIu=jE~L}-Y9nLwtKVt+<%vgHX19( z-t&v`)V5w-v*hmu1Gfz3_yhOF>U1;WB!4{qApdB7=h7=Si4XXB;$O{j@5t?JtDfz) zC9N;$bd!qHhYk6AxF>jOPhy7S$UpwKv;TEW=|AIk!H+YiHbRC9YMOs* z|FA!NU-X~mpV%K~AOF?59(nEUpK!a*<;PbzZR)kV#V4R-pctLlYhKD^+>^Tbe&_6^ z9Kmf}*R8Tn9y08ymXw$MC-TGo!2E6O2l>S+ygjyDntkNfl8yJHZn}10y=8nZlz3}XCBI2c_g*+c}}0L#v#uuK}&T*+Z}ht@n?%|y({kX z|KV^r*$&ysD?gGr`p{^Wy&u5&Hvu^SFz*t@rrq)S#I?tNEps-ojPKrA~Y+ z+jK|E@IX>W1oO`Tw)6wc{1baI&wBsmha2Yyi!;7`m~>)Z=#hy$!snF?>ZKUo zymrY{UvU>dd;dc{;G+ARr}=;9KmE^;QJ-_aK08@1{Z@JJ?%&T(eyaMm?o939ZOeYl z{ygK?mMEF}4?(`7UnYy+dh#K9+w#qlzx{4Dy+8i3Qi*T>;cYA9U*-Khw*HOjyV$>7 zc4z-HaIQa||5jiBpHTb{zjgcW&&mH}bFyZA?d(5)%Dyb^`H^`$o3(cFt%JY4YG>44 zy}$Y9MVtL^-*1oaUOWG_-NBB3-z;x$e`{S``=6o8;6KBGm9^P3)j z?23?=jp3g9;bewt^@N4>wOc0$tll!`y+ZAq@^ux}ex5~tY<(7=J@t0ui>aNEc3-*c ze})NLm;Wt`e;)4t*!9wni!ZLekc0Fhz`bv|%8$yArtWX5Nq#V&)qAmL*+1i5I~(=H z5}IzG6rAMs;NAJzudD*t107`i_IO@>$N81{KZC63UH1p>q4upJ+ChgP11$V~f4m>v z7ypy`cX3Vfhs7a3-qwHE?fPNX?ZeA%yxhEW?z=Ug)Zzk-1)?R{Gt{4^9Qylg`Nr9~ zr>@(YKh$s7XZyqX$UMyt>U}lU^^f|Q<1&xDn5Q)Fsd(tN9R&*~D@;GZ_ryAdS!!bM zkswXAE$MxAXZ|yA#L3?ZezdFp(8Z6R|1%ttT%DQY{o2y%+SfUc1Ap3IVz}A(y+Cqr z<|d`R&&vNZY+C+j+WT9||Bmgj|DruhGT`of-%C2sa%KCHNv768_Rm-KUt6^Nz{&ZC z&b`|6dBSJ?_IWHH)5Ac)qfJ&{hwjor}`IednIZ#-t?VV8v;tfpaI_}^Ev+L|5*5t`@LYr=5H=P zjy^aq@FP0<>hpcOE}Eu(e*18bf~26H!s$GQ1qU@hy}dih*ypU;)^6+lH@`o6`=6n! zruwmbyPVyR_-5~ahNimz3@7D2^8f9Nn*Ohml}GbUt+~er@EDc`bN0de zpX8hWUjNT{H{(7H<|`|h*k09b{Wzn&YExbQXWOoNrY}O9AR%tY`6GJOABVqd z|M)-p>wRSYR{#GqN9)ZPV(A4_1Q_C)Ts>%SQHq=yz;M%rto!HeEI~H z2l_0%%hegCrkuFDW6sZl{|qsUZHzB&ExmcCeE#N1Gf)0Ix1Yt%^iR?c&WEzq;eQwW z34LH|#jB}nW4+`@?7uS;Zy%i!-MySgs%*l_+L;WR0URfpbMmy>q=hw(O`5!K?LY6W zt$sptg!7KCsXJmX^iT1}@gJ{NeE{-&m`6JmPMvseQ(~C-0co z+jD-NkI!ZVEe$eWv}VcVjU_5iW=(f~@#@oAaPDTj`1jWrqy68fe*V)}-L}dKV?4ldgvD}>vMjz{g}o+t$&B*MUp@K zXE?mNo;f>C`daRm`NA3ByqYYYMc*#eUhKBOASXAcr(q4J0-N>25BI~*XnyvdXRRXgtN$%`3hV9X`Onal`=8-u`S^E0Ix&I9JRbT8^)-nHZ@hfko8sy&0 zYR~@+asL_K)kl5(RR8Go<*$~8^<1XeFZ^vl_ZRX1U1H<^NS^=4)NGX7OEQC4NN9BOE-R>(o|u$h4B@1l~&Ep-(mk5P9Cf~yZ@Wf{ra~{86y5OG7jeAvV(sI^Uc`AS>>u`bUOswH?c=h!dY#KMt5WxD@;mmD$LHMc zqSnwGt;&TK48;=|`#*+1l5Kyp@wf5|d$zCKFZMsQzE)%TcXD>drkV{WEwl@*JqlJ$ zoGH)auOq(AgW>*<^pD!#YJUX(HoIA)*Zw%XSug*M3HOZU0sj|@WG_y{R z_)duh{PG|Co1gzU`k#U2Mm&3kR>oI*fr_$M&;G^Q-Ti(>&idyvLy?%dZ<(jL9*dZI zJkUYz{epjY_cPpo*b=9E?N7Amw5{0*yw4gwTI?0?nvo%B_UC4SL*b_fO&NpDW-Bez<|6Tbx4dzq(Bx^W6p6}Y9_+CEK z{8w<)kN!udf6sTV)sYdYQ)!A&QfO>e+;-}>$Ijyx4Da@F)!qEh!2H&Z|HZa_HXmE; zWInRDZMji$Hr#7(Q|Qjfw~qz4Pirjt-Ic<6Qu5$Iwg#Ku50}ke`(yTl_iycgJ7iUv zo}0e>kNc&qo+S}_AxqY$vd+DB(&J^DP~*I((lQAXc=KJ^jh zxnA4JZc7z>C2*pfeh zZC;-BZK6(ixOsuEV#GbirgFwDDIac2|HxqS@4mk!ziXdH-SJ!OJzsdk125|F?ay3T z@h{iFC^qwBYoR4$Wv@!UX8V?|cFRNu$$6HS>=W`i|L9$N{3Cn$%X`Kj>y|H$J-T%5 zp6ya=f5&X$@9q@sjHucFwdZJXMv%ifR)*^DZ}cC{=X-sBb9&2`v(k}Uckj8FJMVhn z_AZB%ty9h_vrep9seR&n;E4tN^^iK40XxN)f5f5ttKG)_XW4!Gj}$zrGuGQ+zy%t^ z;Gep6f2;i#_5=SJy636?==^P)G0VQ|kLBaequHW9r4n2(lzNnrY?RNcJaloU5j5- zrM~eM>rGl*?5n(I{=RAMHXYv!y5F#BZAtVCdGP)9otiI?*(K(#KU&`+FJYtlap8Z4 zjQE@HbhU%8Y|Uo5yvP0FTd#UmQ&xvnlNL`BF$n1?I^ERp=irR6l2wG%JWzxYS;AwS!_bt`ipzLtKvXLi7zxWJ{8%u=|P@I7ui zCH_oD`&Q6Gww2b~uhe{4F1B!Wy8p++5AGj1QK$Y=evA5n%r7@>!k0(P)egD%Row9Q zt8cEG#OoZw*{?K|Ej*#w)@7P_;$`UVPik`>pFU~ZSGZ69-=%u_J;e`ooge$ReW_>s zVSh-frRs2InAEI$F|W!qzcX*iIiW0ZP?9}+!_Q9E{CT|`TYc|t{OmNVX4bY^-xxJ; zdz;}!qtOD{8}(M%g=^2<+N*qpi(&1`8_ug`JDl&6f9FN<=cqM?*L596^ z!m{l}{6$OZ?C?1Wai!n1cWSP#Y0>k;^*5Qle&l}) z_xQ0f_wn7}h^xA9);+rV?5dJ+%&YCePb6>U8-Gs>=MqpZu>0m|vMOn=heg!sPn==T z`gObOh3iubAN6+_*F^kC{%9Tbqx8}37h$|^ul+mIx9c#R0{~6w#T>i)EW9$7R{~4qzo`-*Y->0|0tb5I?=7enxUp1TIoo|VdnX@P1M4DVzZ_zHG=Mf9i3d1^0cjSD?>^}_kq_{}nQTpw@$3IEajQ8@BP z^JCX-W?{3YEtNVfIz>g`5Qk$zOIzWD8;7?s+&MC}Q0C*4rcInzpT%qpbKf2gor#IR zFk#=u4E9XNKRefIzBY-~P3w1A_xTbRC}V=xm@uFFr}9U)`Pe(5$LoP(qiUf_$mE} z{fPX{^T+3l)&zez{cZk_$|V(L{~4Sn3cFp?SDPvyygBJ;in!n^6K83Tpr=J=7*EYg z%RRc=#y?7Ed1yUw{7np6cx&GJZV$x?nM|G)r)7Rd9Q=J;Nb$g% z0~Z9#CY$b0_5Z1Re~bIy-h%oU;UXJDXK~KIx+n4B z%RPl{A9Hr;&VC&bJ=@~_8HaNdQs(Q}2kcC<_-?|e%iwU=|JpvI{U1|b{bw+~vHXL+ zqqY*r4)?oT-Y{(AW3-T5z~3Z(Jbq*PTSmJ*^_lbAf2kj?@2Cn}Xu521zUh;1*L8v$ z^=~OfTuVEV*v{j2@gS?`Fa6a1gP;Be`4wdQ?Qh#=X}L1w$JH7C8E)=&zP?Z6hx_C2 zhvqZS(z5o>1`kQ)vVeO*8=Vd_KfO`b^jyuV@bJ0TtchMr z->dA7(Oj;ov3$AnhQHJPGi2RwxySg!eCZ#9A4eZq{1JZip7GExzopBvE}Rr;aXFrR zjOou$-<^SyZBp7gnz~ z`;qaVp;7X}@3`exw?3ZB2p$A@@$YYyWcu$@KmWPgssG5CwQs>^KJf?rN8VOHV%zxm zt$O5^4Q=vV6bZP5W^EQ2nj*$L5KD=sv0Jym)I*xqr^OqSGS(k}7K^6|La&tD5A$Ugy%(@bgh! zQ+B`oA)#f|H*s3~`WpSebL^yR^nS#y_@l9D^UiA~d#m5_uk&B!{p|cIZ>yZCPZQWf z8QtzAFy7ax$bOvlNL%Z?+qUiAQf_mS<${kt`rBTUxiBKOLjA!0t^U1V_!(j)MJj4@ zr)4U%p41l!S91vDi%3wnd~Wl6_wTSdw^jyq6~F(_z;OPC>7r@v<&W!csvnZN{^qLw zo2w6MBmWpLHQZjhf6|pWuS@O)llM&0`|;;^nG@$7hV#q}y2U|f(q+Q0z0%%yyJY*! zpe1uG1>anoWq-5Any>L&?>*m1H-GLnoa4T^?9M-n^N(Zn!lxUq-LmmO-P!#t`ybBx zCvv04@IOP#?BDfo%+1Z^^L~rpEdRMl{P^@|o;~T3cZ%P}TD%Fru5EQ~>%WxX_Ram8 zuS8E|fD0e-FB596=er(%9e2!cf2I19!pHKvCa#QkC;(jtI&)pdEw`1jdw$KEnqH~e zbJ}+Gd8QK=JU9+7OeouM;7P&-)+$I9Ve~bh>qmUt6_dO1F(2+tUvWR<(w1AfSMSa# z_D)q!*5}@!W@a6(>S3?(WdZ9)`PM(ik9l>!*o#+``&|3-QZn|t1%*mRTH68ZR8XXw=lxlCV;iT*IoAL6-lI@$m!vzZCcL@Bc7!(|?A?C5-(am>;mVABgx9o4fRN zVce~X`7zTY+V1Jv<|=P+dzgDM^oD3)0|%FZ6&J&s=Re{ z{P}&$1$@gIENjyrrXQ9U%sL$Zk^OK#_p7QI3f;HQ%H7L6C~IHwBD#MqL)xFBOZi*# z8~@o~_~L7qz5Dceu2#1XFYP>>;1Qsn{P z7smO^D)f za7;{v|ABe37gcu$ZRcN}SrBcq;45EpKtyc@)A_bN;t$@lxfZfF|50C@5g2>&d5qf3 zMA21e)xY0yTU=Z{FM~M^GHeTOqG0wo4F9-hTymN2Vf^&Z+Ap^JKfkW4amm{`@oZ=7 zbtB7PPb@&y3Ao9LXyK$L08jSb2 z*P2a#_%=9rTWVyk&hmLihZT$#CeF|4VmR`5?w|a1f82jqK721(G0P)9=nCtFnG1W| z+E4GAW_qY^zLqXSl`Vq^>4GL8h5b3`2-Tv~&b+ZJn&zx&fk$vvmwq1P(5WOy& z&5w>B`5S+5zJQ(V52M5Wo9A6WWkcwb zcstXX`5ha_U-sv*TU0A+L5~%PlYB-s$c&I}={@cpEQcO5~+I`VZ%_{SE}}9ez2h^w~y@ z`GGsOZ0VECSCu?`<`m<^eQ8fSZRSTY9a{=p(34qFb$9tygR_zwSDe%u;SzlAA9hImb@*3$-KjigxvOSu#Ix)LSFofT(AfBn4{npb zU3zxDahEzhg^ z!ruEo%(I{CAKkP00WFV?%s;hMGl`HcCUL_&Js6%_Bye>@kKDoua zC3TnimcQ2imvk0hHkr*`t!BI1;~Q;D&y#oex^HZLq~9jbTNA(H z=$eYn51+S{?*73Lv2LrZ+P!Bf%nQONa`PX!Her3(tfwur;(R-g>4)`p-{p6?vL$nm z<%$>I%%gmd?%Xo#P<2UlrGoaBBNr!bSr}(Fv8OO#xyI?4w$*(nSMy&osZ~GxD|K7v zf|q5p^5&*WwB5RNiM35aSyoWcAvEv?W0$I??@rIV8$5LdgB?FiZ>`b!{;4AQu$AA0 zTWc@hyT7${O4+kl5BGh!^oF^neYctC*X34|SLT)7-L^wz+Oe&W1}Wo5zT%g0+X8)0 zt)B0)-*~dPwyVpueI1|AoM-rB_2GWwI@7noj$IGcKiVx;TUnPnWk=@S8Iu=ePZ`?=lJ9k-5k6 zkvFfCOT)I8%BR)N@bSeye#QUVL2jeSN*hlbcTJ`C;3gxE6AvyhzW|j}sHGOkJi)1v zUK>~hoA|4ki4T7Q){;i2k< zgNM9Jj8Dw}SF!)^r;Mkyt*3qqM4e~-KJ%OA;vJu2j;l{O_{{>eP<-R!so(e_%hW%q z|7Vz||DT~|mSudx)7oZ)*5;|-_?7B^KKjq_{Uk_n_zj!R{|wK&|1;cI>kGeO8J~bx zue6el;g-vq9v8ih4GsiYO{(SsThMmfD(=Aau)NKO6;62y-dSVY@!;aA-|X6NymZ$| zJWQA{Kh>mY-@(&*M|Z~x{d(B;btzOtaZ&Gx=JB=?jJhEUDo^eG8|yaVRTvF&EFc zvPVYt%&wGGGoPQTYkpCGZ0B;PUq_zKllpb!L_N>zjKXh9_g=lKUz_scY>8os+AiMz z3@ydc{~6}9|7X}Y{ZD4K<~Q+;^Ak`-Grk4Ckvmq~{7>*~{=XXef4|~CF23o%p<41A z{||T5{Xaj{|9)A2tUuN6;G6Ut_77#Q{bzW7@IS-*rT-bEY^VHYr<;N8>TRXlEq-&# zJ-t#NRd=km{f$#HWeC1%^5Uy@Ft_ZwJ&UX4KdfGE&R(=oFTA*C_vRg&rW`I7bbC`RUr>F$ zBxT9EzNMlYrpeB-aI|JSv)Tdb$QRlei@!*%O_hF|RVf4}U1?7pqN z;M>G^@*ldh|1*5ygCvGrzK3s>@7O;SyZ)cyh0K43@0b2F^vd0mJ$%c3NBtq)_5T?z zSi+LX7VGvc{RRISTB74YyHo!&-1q)xQk_xGpDFk7KLf|M{r?#po`ch8#d)3!`ep}9%>nYv%d($l7CRe_Tx?c!>}a;pxb(=-dF?F-vic1+h1ob$?U)}GF( zPCemQ6E}Q3930U3^va4?-ZN*$>3tMk-cqBx`p2T54b5JgW_|p8KS}KNSCxe7S$CS5 zzhzzBlmAG*`IdUepZZmvwJTrk%e`bW;kcl8(GwSgt_4jCEY#KcuQk|$m#;G{VDlC! zR_t>O~99*(+vl&J0?qCdOmS&$h?vrmM&9OXcyMcX?vsk2rth-uRzE z$N!o3#HT-|ezRAOUlaUJK4JHNhI#6rMe5TZ)ldG!KeU9jUS7|s?9tz;w9Yb5Ek5nO ziF)Uv2n%533w>Rm^B8*S}Gi<(p zWcK<_dH&qz*Jax~wp2#@Tw64e$z!|WoV?Tn$DSUvVUR9(>mWDVfoGb;^4Q5Plk^vB zD9y^vYMUJ`GT-5n%#)kzADpqDxcb}WSg&uB-i2QIVyk!GclVCA>p2r0l~>+7&Z4RC zb@|)ncWjsJo|pgI^i}vi`ycMhD&`-({C9uwj(Ja2=4W&lc+L#T?a}ICU}x&jwR`wh z_0CuMAMRV~e}4YYaH990NpIx^c_z_AS#v1z)xMe}?(?e>(0zcHcI?;M=5k@*ny${xf`j z{-0r@^q-7xm*2@%DbG;#f+6{5V`cj|86@ykhR*S1;TZe?3n&(vKy&#YIihv}lB z1fLPdiPtBNi!e_9Q2nrM`iJ@h-|lf=){pysYF_rt_bNTgcRZCR?`%+?useLciwNUw zR*KfynW*Zxp?ILT7~?a8fEf4LU5m-rQ)V{V*Nrc%Cuul&K1f9BI4 zF6(ALVk=Z@9KEUiO|i-w?lT+bc4{6}5ewiv$5&L?q`|y%0YgJo&y|p+T&pgJYZ(>Z z?EQ54($2WpwyID6^#7c-+Zb4Csox!SZt27Rwm6NCeC@^Ga-IDyz0=EGc4Ph16Dz#7 zU1Rm*PvThmcXsQ)_@nHyAYjojvrQLI2TzhBJ1X!*^c$nfcQFTb}sOdhvgWUuW$-eA?g3esjV8(?9lq z=3jI5om^B^Al!=DwDkp_E???@b4MTK%EPZstJ|l|n^K?luzvc-`e*WytMAxs`Lg)8 zIrpFa-TxU3ew~ebKDqAFKeLbahyOD$-pGy!t#Pd-M_cm`1t*r0mc6C!)c)#6@qhca|7W;_auCpSJJtG=Rv*Lv zHtO&H;(UQ!_P1XBNtO@&f2)1}Gb|Olz`hES+8NJOJbvWgTqkolQNO#iWwX`XOHonB z1Wu}~JHx0bBD}STTPC6KPJ@H>4xI8ll`Jw%d>jf*j3SH+9atHHuh~Blto_drcj-UF3$+HD`fry1876Tr z`p#uLI{}m|9PzqX<^khy&_`d_w?0+e0FfUoa z)S$d`XWO}3(YvSL6ydn!aYLPJvC4zu3jyqt{|J9P-@i|<;(OS~yOa0L{_yCM+T}01 zE7vwm4xV9duGn#BL6L>U@6}DtQVidr1H=T<4N71=wNuZIdfrwey7EW=VLS2ZN2KPq z#O0U?dI&CM=)Ln`a_i|_hKQO|EVm;^`Bvb?)rb-B8>MS(GTjx z%L)EY`Ok1t@6vyUH_03S1qHD01~@6q zQE)^VaMi2%NBl2KQim+ z`wmmJ)PE@b(vQRO5w49mYd(KXVuUL)|#9feq5~T8u?c4WkpLXdT$MdF= zjHg|$Jbf(*tCj^yLs&wF0ie| zm4g@8U%&ePUw;+Dw^NYG7En2R+CEGEr@}tH{|xIh>c1?qVtD;e@;}2#ix12HHtN)W zaSCAfbdZrh@}Hr%j`@c-i}F#ami6^zt#3_Ud-QBKmwEg&u0i-%MB_ZG3+$dBwjYr? z-)p0u{U~4Xht==H;pKWyOMV~YRXQg9r1*fcc5_>(!t(ZX z2dr9rf$_isPV7UWpaA58yBD3um+$$b_`zD{n5%od7gm&AIvjkROZs((aORA41%($< zCiyYkskF4Yz&`7b`;V`gAC@1z^kSdk2lI|a7ixC&*ePz`_BmJ1O)}Ni?Cl8|p_}JV z_Xsh*kdyqV*8iB7?evj*^1HIJB@IFm4q;lHb1h z#Dv3-&-0yB=@Aty_25jZU|_g2i{akRo!d5ToA&9`BMsdLZqp)D3sy>LoHjOmz`&?7 zi{aR&kMA3|TJKn6@?I(nHcy#fT5Tuoy%?@sDYZ3s-#j_+>R0Y;X^+BZ z{>55HrBWJ<&NxV_@UIkMoWJzP<%74L-q>)lCUS9>xT-ftZvLZbPVB*3Bj#{1>|FhN zmR@7d_F3OHCNI0ayJK4P?v_@`6Dk^M3c?M3w!I7$>~B*at>^yH{%~rG6?>=2UO$f- z=Y&hDbDtE81gS7gXn7F8zUTEk%@60>f-G%3AL$xfJoLDb^~5GKAu!B5`S*ZM)nihG8O7oZ|x8Lbv*P$is5TM`-@x4+y59ZdvWXDj$7vzX68+d z$>JC2T^GZXuf=)rkN;YR9FmKsR%adqmMSTR57GY_Zsvz=xvIC-pXpE8$90Y0ZcpDe z@9r~k1MxDQ8xF~Vld79R8ELMwXLUFC>}u)b+jdM7_eeXCuX$?1+P)ta7T*@|OMm#! zaPa;ucK_>JZvV~y)+*IEH@A}KdRekdm;IJQ>$s2ZkXiSXwfMFP;EI-zOa9H-PI?x z{kcuiwX^g7GZ?>nUiS9nmz(b$ME`00vHG#_QTK1@{`UEz{jItWS|>ddyFBUn`J$V= z(~cQf9A(JE6(aK?KdgT{y!`cTcKzCa7ZwLzUb|j#*1Izq6Wzbf2t8P_ zoq6h=1?#HQ8f?Rl-jlt$wVpRiD!;At`Ngf?9bQrQXH1LVywCmYh7WgtEa12Npnhn6 z?=JqXH>L5CHAVj!TAJOP&;ItCW76@!_+9T*yMiLKonhZ^_kCf!UE}hhziW@{!|j)A zcpr;>xVGZ5+v~dAX^%Ph&+O)x`E`Na_`~Uk%a5+-$-XZBpFyBb|3AZ_(B+tjj`l;-1$@pI8%L_1pVwL-&fAml zc^1R^59<%e3;xmmyYfE+xAddTkNLOu^lyB-!8?C*?)_)Aci!FIX*b*U1=Iec^6l{= zHi7lYg&#gY+W2AV9)V3Uhi(jw`W-)gYQKm4D8y*@+M zKJIe<*ZsFdvaCwCJ~58H*(;>+?=sg8eX$2cyQher&$+<9>c{TGySA-=xYpVC!?``b z%vKh1dPjd2I{mHu#LsPV()&dipWCtg2>!U;@ndY?>c{$h@gF8+e5l-?dAV((3|sBR zP0P>mxn0+~_q*_3gLQt#Ji(9Q9ed1vmyZYtyy$s<$7JqpCsJ%=7O`e@xO_-g?_9ij!8PR^;^KDP3m_TLfrB)=>d z7T>zT%B1M;Tm!ql?}Am`-evb+*Kg6dQt~?cMB47nQYwLe zmx&g{=^l7muAx2e<^sO&kN$O*R)5%hblR=31>eg3m&A%pSy96%sblzV!TQGza_YZT ze+WNH*(dO!z5CgZ#rqGrY488Bylq}X%$)BhX$M)NT?j7m=&+uVt=B3CzhLOF7x@g5r z?jO$|+7IHp1v9tZGv2;;-ff?m&pZ@&WdsEsV3N;QDKKo}-^-By!}-8Hfe(B$OzPQw zlpXij@?cZ6i^vIgx3b^oYHv(-kS1vi6Fx&L<9?*R=|2N+o%V70KWhIZw(s59X0IiE zB(3Y2>PbbH4rfu8$y=Tl`OC~=nE&wlVP5u!^V=pL+9msKd1k2 z?a5miLjU&UBv1cVf8j~dgRN)ZJJ~;fc$C5O5r6akEqn{tXNCV#f6Ha^*6P`(%(Xh_ zIz{HEwa%H+U1*uR%IWz&4d$CBe-+=p(OvsKU+&o>jX<^8j5Wu(n9ZzHo;<$SVB_!q zL;tsH^!?lZ)xX`jXIDIPpC$iBWBM6~1Dl@Pq@<+ZYp|VsL`wGE!UeCwq|{dZDqCEf zZeljQm1Ta~%n2>iGaqi-$lLd00l(IVeoz7F-f8mJ`^bH{{|wtqc2_pvjo_8C*mq%u zz21kSy*n51yM4Uh`p0p7MbK}r5BXivhkqUU7k+cAFw;4O+e(}Nv^Vc$*5CH#+XDVM z{|x^a{W$w@e#<`Ht9$Z4F8(JJYiRN{Y=cxtL0+*fLo_z@i#YwbHP`f$c}C6Bt3&0^PHPD{!8&#?KugH$}%KhcWw2fknbe$V*F&XqsT zzn!R3c(^qCi7R99+*6C(pY-v2F}%;Sv0rfaRoJex*SeEU|90()y6c(OtHX6fjN?ga z@z&ygM+Yeay;^vR!5nA0?mE%Ssx3@Hp{L1KgK^roZP&_PW@qM$2)OJHvbdn7@r9v) zm7zlZ`1yu<_P77!E1n;p_(SVv>E-0=m9^W?&n~|;!+56I``eSATO6}p!F<6!{l}FW z!4Gy%B&|djzWmSNbCeSkEOAm63SX051utx==0Z|vuCx@UK>@>efS^K*3DOP zRD^Dy+b+DZ_iw>D$JciP*i#>^=lD^4>=*0xHk;t3?)6LWz4`q1?o8)5rKL|jlzCQF z*sfrn@uB=ce#<%Cpy+H=^7KB&H3t)cTzbo{w`~F~k?A@-wzCrBIuhUv?_TdZo zx*t64emS4hMm$mB@WF?FZDs1Wek(cudKSYQ#MlHs^WSX?CjMiKiF4cen{Rb$!F}JS z_OrVfzIUkgJ>z(%l(S@otp5sSr3MvBorxu!iHHiQ66TZkng1C&41dT!3|pF<^5)m` z&IvDe`EH3ht+Sc8=hWi)Qzho~Khm(;uz+v7hcSPQK0I%_!Du!+sk^v&LY}<7 zp~Tx~){h#jkpr23-u`sU{)T^QH9kLd>%xTj*4TjDq234d#Xxp7DZMgUPkt*Fe-rtv2-sW3S{`ba&e%epLaW@9lq+5^-$W!-@*;%!fPIek zNz?gU75NYCW^4Yt{PEb{?6eMRN9ndo{!KeO<{$aCfWK<%wx(0Jq^%>46daT~D#h2e z%7Fce22&J#;EVa}{!D(J(~sUa-ZQwk_Hm|~ROOydk<^)Q@1`?U&)1jlWyts=@X;mC z=!g45eL;7FiR(;OD9>&G^S!rbr~5-Civ@g-NSjk2ExwS`2x>6#X+N5N^gYWTg^P=> z{zTAGpV_&qz%t^p@^Z-}r=A8sj}z=OqbfdsTk&HC>-DC6axd!GFFvzu zdw-X1_$=dC__e!Pvs@|amQDD4!UGh`5<4QpYO-x!#l;K8e=c|3Z69Z zVNhA-U1nq4v_`7IGWqfT+hPZ}Bmc2iWCu?&V2+J?U2s&U{ff?HHn}|)80=K)t{-^1 zKRs8X@e04d?ezZ)?g7kC|1PZ4sfc7fevV;Gw-zTd3`(>QK=8x(<@0HKJ_#&(M zjJxk=(M-A56CEVq{to=H^v2fZZ!UhcirC+JZmNR%2afu=49wr=ecaNb62F=M$fUQ2 z-d|qodVaUW2ll-Tt`FBU{PFs6^rN)rkHsG+yLKPGCEw0D+u_6UIck&7t1DGES=`|W zVrSRdqrqOmegU>50W_7u%20Fpk=jT8Hzz-OM}Pd<-oAcof4iOWl-O4?ynvA`@bFhJLgG3_eV)b zTl38DQ})JutPG|5Bz`>n(0$C9JD%^4^F_UN5)B(nFLZ_dXDC&j@o?bjpFa`;=wwZ^9~4KnRlS5I)J_J&c7S>eDC#Aw|+2h zt4V%r*4;kY?c&|X!S7;L^Z$O78`(^f-y5{DtQQf)a!WIh^q2o&q z9B4XoSmA`T!Grnxj(p{6kb4QH-wd1! z_~+R%{&0Hy=s!c3zI|qX$F!zOef5kQ?d4}byDz`x@@BO{@UcJ5&3y~!6dh>bUxKgs z^x=Nrd?x8|_DB7PYF^k2m;_u8@J(7||5m5yqSxZKGD(K{d*`m5YOleb`N96t(&@+K z+qc>2H3{ZdNZiT_JG?|ZgYB#2KjEo~_p^CE!w!+aUD~2&dF`yKscpT>?!J~^;qzRhH2O7XPvO`S9QcWR$yaJ$F;A$Vo@hqjIbU)lXT`v0;uSlUa}ox9KaCqL&x zwmkor6)9Swc{z$=lNH~TAKh;8C8s}&;p6Mq_dDu0>Fr*Aa#i-P>D~K8?w{J0y6*hU z^2Hl}?|D3xL58t4N3b<_Nkgq`dS&K{n+I1!#JCsc7E7Jwxws)^l9^;!kW~|h!UdKq zq$M$lI`fZxoge-)9GW%1XOF98xBsOF#$N6^#}%|R-kmub!XGBW_+UP7o!G1U^6MV_ zxcKpzaA|50_mASkDw}TIikduin(O1r0>dBjd=tz!IAHh+2MFW)&)byE}b)3cf0 zc5zosv$#;DwSs|vDMKWp=>m^wx6o3JSCSD4O-39Gc*;JcH{b2v-)fSUW~p-Hh^PJc zvkXT5Oh1%DHT9dfmTo(=wBS;z&;OcT)CtDf0uhY1ht|-!h%~w&cXOd44~g4gLhm)=M#b zwP&xWx_u~4_~IV@jIIqY%>*J>1Rnf!L9brOczzWF{CX_(oB&~)p53}?m$W??UxkWjs9%|r zGVjS`2Pu3Zol>#;&@KDkJ;p05{NuJozA^PK-##-UouN;n%4m*(Z3p{ShDz}_osW2f z;u*5)`Axs`ul&ItzT?7@oaZGTM;88K-pjs;i{ZN$yoE_rgO7jS{;Y<7h9CJ4=Qq99 z?#>r^U7vYnnsJ-iw1?jO3;EvIK4#y_P|M0=7=38k2bYaUg<3!tATl#B-e7d#$C9jJ zO&8|YA2&a|I{#?;VcYye!MELYuWUPSHt&pO*GG{VGvw}@pDO&Lb9gU9^1n0ttatoq z{}6xp*0}{w-@i@DHT&3kGE>2td45?yPwkBh>?>hK4^h>&$XDNZ&kJvE2VC3g?Q3_H zPpW$5HH|C3Hw&;bm`7ZFTjHztJ#3edr)=+@>H0F-``klz6L)(Q9 zhR^KV<_oDfe~&GR*tX$~`}(lW$u$xY^MyTddizw@i{Kw_x*6ZYs-HIkssB5A7!`h zy*npr>ZX{bd!NL`d}Nd4dd11uUO3r7&V5bY^?iI7w^qNE%Wsz#RG)P0S#;VoUOBZc zr=E~a!Un2-MttldjBn*{i`6ImyKrQ7&3xItwY@cG59{N#cDar>g`NjoTHJNdMlokMXGG(t z#|xiyF}&ZWP~&`QpIk-U-F)Zo;;_p>92`N5^PW!Zd%U}`?^uKRKlMM+7wyC{#bzB_ zzA*dNk@9l;w1_R$uJb~yz4H>zEzm#R^BgqC{$cy$zsu#I^^VsU zF0i#9=I^djKWeM=KH{>8Znb;grRQ(Xifzo;;PpHs_mt=j(VrXVd}V7euv7U5@eALtF@G0(UJj~YNIIPNY@*-8?GyVRHCVlG|IZ-sWqn7T`1X%s^Ot4q zN-@`0(%rT)PjN?VU&yr3GzOWJ;!6z{@=|qI<_Ujr@6!LHUHw2`HcL43-HPv4byH=w zeM)6cl{mGef3_^U!UgtaKa!6|)pym{F0bgjb?@CdU9X#ZLH9oC>s2)Kw3f0o9Nuwq z0l)G!`|SJd8MpR+>o-5#-!b`Qa!A zq=iiY`?`wxN2BUn_t>uZ(f91$yHC1iH{ZqGJEw0{>C`jTRfXyJh7$|;jXuP`^?YbA z{bSMLL)+q*K3&n`8~wsZYn^?r zmRjV_Gs(`?yW?AM`;Lazno}H-C!a56D6;3>pK+e&kMBqBieldn`8_2w!*0H-ySO@Y zB@2sY;P#>u#|!TsIG*ev{hvYjpYDtK+$P<=$-x)4zD=^;J%6)Kl9z_ zKRs4_rHkSGkLZt=58oGkXDVH*f9Rk3#lATccW>LAH0`z8rvogvm7nzP`SMDG;m1;t zDlR>f*R{ci{;6N{TQteatT$;ox7?ux?RS+D=H4lNk-_Zzu>I&>;Yaf(maoa2CAN3* z@yz0HY26W9B2}0GZ^@1O?LPbA z@gts3Htw8ub7`}C=b{OVMRi)va0d4@Hy&lEcK>#C{tf#rhHCfK&wcv#=f~|i$=7c+ z*x6m)XIoJn{&)43^-@t4?nkF>yVch!*KzH-Rh8fYTqEe~B`hADIz?b#y^Tc<23|qJ?Yu6mJ^HQeU zrst{c$bBaw8kWk!^W^iT221(2`&-i6>ePOKo0R6qtbA7Ie7DcIy5&j}lgNtOJ5!Q( zynB$maRKjthR**CVqg4QXSpuhxbj8Rw~exQ&)=M;D|az{D&M8sGmKYoe|l{B%9SDg zkM56`58rovm+IX&{b9ZEi{pMCcW*~-^e&xTnZT4g@sr!Vs!|b#njny>R&lA)eJdZ< z3%^zm^pur$+vwfepBUi$ZlZzTJF71yj0-;;esr(%qrb=QYbIy8<1Rklvh%mG>zXJX zp`Ev+i(1QA>vGa<9T)KMciMxzAz9H{W4W@z{Fv32wK>!6GcJ`}na3cp;r7lY!8>xF zB=1)sFU<54ZQs#n>bo4?duch5|Rn{Gxcm7g7VJYmB4a-YPk={`MA;jm(?qk_RZqYUN~U;A%;KX}V*eeL42A09ta`4n;Ibk3!N zi;rCN2<)2Xl*Y31nB##*4YrGaC!K#Ie@kL={^aMC)pa$w=L}!Jb&%6v{O|fczH6n` zvU2k6@`4JJem&DpomMNS+GX@c#CW2iqFa$4zX;>&dFmg-=0D8m&$3hAxqbJZZr^Ry z)3RSVr#J%3Bqtt>}Iu8`b2n+)%i7Z~2S!1kZv$bW|JD)mEW zl`cnI`J!7L(f988o6}SD0dtSR~M{ZMzW)%}nU`#Zl*Ua_RFcX7nhL&rC) zQ2g#OL%m$KN{ZpakHnApEMA<~@H)rd5_d15ZTmolBZ`%sv_331E-?@Sow4+|-Z! zhra#Oy8PvAxKG>DC$8JB>K-xY-gs)#sWk_fd-|#Z*qI;ugBqS3A6@@5wC2~aK3?mT zYkO7hx&Nib)9(2!$XP5IGVycrf+tc8U+(i%toHxt-@fI&;O*$UH;=B2Ry`Gc&-Lkf zfy4>x7EF*Rmo#Dg6n^}Cf1KR)I?X@!E+5*vh2+^Px~gYyneOj!eXYpEgj@Z_-{&0j zx2{P2x`2N}{WhI{2mdbYH2Y~+K7IT1V|O0Q?YqMG=$HN5>IZMr!#7@h_@nTn5U2jS zq-~Mu7av6|);s8IDJ&$CuJYicgWS$X^`e>o#6Emm{K$HC_3jf}Zl~|8uC~~7@+p^5 zsK^9vxx-2gHm48PgR)5eqi%k#n-$#0qiSw7Z&E$CaH+fKo(iX%WkMU7pB{HU37T+m z_|d+!#^%G`<6T>MjYF?I+*WaM?Uvnzrib$j7OdK=p^&aVZwljyKW3m#%}4Vix)0Bq zAKYhnDK$EM=Wn;Q%a#ZTEOonkT3PmZIkRjpL;fHCAKMqz=v>k@?e%xMzP01sySg(Q zGro1(tSFmy=ipq2`00}8gEW}!ALbwT=dTIhaV7W5e(oRh-K>h--rYLe6}@KmX$Ik( z{z+z^FRxg@{AfBzmBxezU-}=KeCTZ+jh@l*VY}|`W~GXUGt<*Q_g)S8trIu5Fiq{H`JdWb6N5YZEQas(qn)(TP8!}$nhX9;8oTdD{zvy4 z_KCjy7PY+h>$Htq_wD?x6QsIla?Nk=lr>q=5^+1;X)t|nu2ZfMf5f{v_J{V-s=Rd* zS7e6WD!Amr@B4B7T;t~N4GZ}CP-eb(cIyjgSS{S+s~)yx-(>$C+1^XG&rC7!TOii^ zp)O2Pl6@A#$6V)cnIGPF*QD1!=I`96er-?GraOCf)y*xpcF#`c%vs|Y@O0zlrUiYg z{7o3&Xmm^IWEiYsV7?K+M8OIGIlvCT#!O$k-F?flQ6 zKKJ4K-$L>K8NBo~nD3If(91^o@%BH{<(urk30>L$MLLV%7G>r`c5?q2PTu?z`k!G# z-qimLOD@261rtAsO1iuGIsVS7f0F;>=zoUftyBJP?*xzKM_+a(v-~Smne&qXKe0G&5?fsjAj%l&8w>=Gi`nbA8 z_AEo;e!)7M?Eeg0HR(Auu@5@q4}=%G3SM6`R`1)4d z%H`Qrx!X1_i91}GS}k-wzmU7lGdXd>Dfa+ZhA7xvA)oYPz4;&6!$0U=>;G^*V#}qk zvtKGV+`VJ0*><;2HRGn^tp{>^7SAOtOc-Z=*!(cPZJ%&OnmvC-o!O*Fj%mNX1^#}0 za^so4`bl4y@2fPFnSiF0QP=8_!mDt9Tl=3uslD0$P1)uBUqX*ERPSZL8+nWmrJnzp zSKhw=jc5H|jU5a4%V9plIw6fI_@Te={->Baj{gidyo3HTT*zHPFs1Ty{HXrVpq~CQ z{NKS{;r}K(63z~2ejwS^Hp<^J|1(V7|5*HQ-}U*w%)AKYhV?66UX$9}^DAv-D(lmw zmn4=oRUAI9B)95Rg;Im@ANP;k2kW`NWOMEbUE#ds<>i=z%c2AYKV7`t>OUn>Fx2zp z0j}jY0@zbH6aZf-jbAQ9J$V{zwI6=CrM1=W}LS}q4`(=gY_)Zrp2Mr z#xQ}+^S}a*-n*;jNY7~eUKo5h{+1N{bS#uXDM4cmt{PPc+RWL%F@cxv++R+#JJ~M{-PNmPnrF;YHj{six&T9 z*mdBtuWj3sd52&2pcNaS(!)kM=0C&ab05C{?bQFzuvA=x@!c2Fa+{ps$J_tB`wz@9U??LV3SN&3&Q@z&@63~nb0 z=da@Vf;Rk1YurAht$uJfQT*hUgcMJ%Cx+^*tR03FY)x9@eG+Avc?%U#=nV2uTc2Dvmw=U7} z4-8xkTR|p~7E7!QfmcmUHuSJEF0J3SZ{D*_D}yIi&J10(a=r2F9lLkz%Kd!m?Asf4 zqQ^CN<`tYOnzwesl}TvD3qt?{C%eK0wyAAf3$qTYC+oz1zEaDZ%XQAmw)f@rDJ9ji zN>(1-Dmju7DS~&xlgh8ku3WaRJy;@u(Lq%It9CWZ&vP&N?>b)p&u}&J+@hu{=a#zq zW+nNqzki~>EJ*R+spmhh8?RU2c{)zflxofqDZ~O14M;Kze z=6CzH`Nc}P>b~=j8dO}%)|ef$ZHt*<+{E8U8aA69ye*k#Ykl!;`W@RXzi0htAl>MK ze>bk|fBtg6;y;n<$nX5Qb`Sqnqa-H)Zjc=RZ$=#|wnRNXt$N6(76~3e%|8z8H zz3EPGLDQXEm%o}2zwY8EFLsUkl?`Qmn zRo@KW*r&@K{JVE`{rT7R_qG3tR7;fclPhw}ZT<2auWxOeyzaHw#=G$^iahn^TCYEw zcYb?eOx4@CeN!NYAKU-!+uHvO_G|w$)U5vz_$Kj&?VM_MDvJrZKJpDS;`Z6Z@9y~5 zAk#`9sbtaFyV~*10ZNh%U3G^y*V-T2u+sBz=*B58cf88Frj`iGLyWRV&xmcDnWq|Y zrCe>6pWlg0^NkbDyWUKg$Rl*J?>QH5&W2Cbv$XVA^8Zmi`Jcg#_di3u{jaO>;kC!# z#Dfk4+iCy&;Qsf||1(7Ouip2NGO^;O5AWN<9e-?pw7*O3%Q+k0-0VD^nzj4WKPC4X zKTCOce)^nTiSt!<>wdRytUdSrpU{*44D;FkGwh%LHwz+om@=^!{~4YiMfOe6+5KH6 zFK6g1^6-3jSoyQ4&_dOXdQ&E@>6@fbamQ%8Li2=dv9&vAyux1XW?RIsElS!r<-_WG z_cyN9GFtWJM&i_dAFhvDX*)Xqn8jb8d0R%;bl;-N{?`%z88VXU=YP_F_2oDFjDK6| z!94!em*2=G|GM~hVdua46L#zUH&ph&cK_C<{_{VB!mqt{2cOxmmA@r1|M{QhS6_Zh z3Ri?5zWieuztq{KPPd+JUAVF9%kwiH+{QUFkHMK6Zp_B@C>qJNkYQr`-fW)Bg8ZG! zKmBJ=Qf*!K?ZU(u^J{z8sF}^vjLs~xcy)2A`V*_&KHwu78M#@X%sRHUszlt>J?SB* z?=6kYDP?SXUOpF@epu{WYs>U7_1XWEdye>F`?lT>?;}1=TXpNg{{IXuo1VN_Q&1t6G~pXe>+n@ z`Qv|v2KnIHbKlSYXGs6L_;;H9$shk24)Cws_wd<&hRwe&LY>Bb<$l5E`kQ|<{@v{V zRA>Kz8Lv}2YJI=Us06?Lx^7nFT&}+J{=t?Hm&=ANUVYK;*Wx)?nj~Bdj~4z|Tb%sy z)cFU0uk{N>XIV+Vy7v8Ep}xwhH#~`k4NS+LeDe2ef*yUzd<1m0mUzYV!*)tPqEi=S zi;D$h$LVa{xZk6L=@Hu`gXH`q&Oa}huRzy(uV0ZRCgt0DZuP2rw{PBzJoH`M++0Yf z&{;?`y}V38YX!?BKL(ar3=j7|T==$kTt6JncJkN$ZISiu z+3UK(?WgYVx4W@`S6;Yc_n~=Qm)$l#))#(h#oIVBQ9Nqyo3afvIaJhsO6WaeJaDeU zgz;4UVdp;#{}~oN{qXxg16Q{GKT8MM&X3~l*PZ*1oL%?wvHL8RUHt*(p5M}24`?b( zxArnnXgkNDEW$YR;rUK^zCVfOs_iX%svn-sd!^tr;pMF*;zkOxo)I@Db}?M|DBopc z{NS(d*YjdOx_vI1ytob$}q>*1Kew2Uhv`RVH=}p!}HUe^)LKqn15~8hfljQ-W>LNdE~~r z<|P`8lTU4M`fTqKbZm0Xsz;NbhNsIG7OGx3YqMPE_@{5{?ShKR(`Ra0T5qzN2<}R= zTYgkOQhtx`N9m*a;+Yd2b)U5_x}O#H(rQ}g(l+*q&aDblRoxsE9`9JaT-0*KzBPq0 zmpl&t;C%cy{n7M;{~5UdIDBN?I(6UTwKr#XcdWU1Ni_G(4u>~q*hET`L*uySy0czb zH8Egvm-Vj`4Tx5ayvQa;rL)4hsg`WB^7LL5=IOn7qnju8>YjD01fOxg^S!+sr)S1| zS*TaB%sV6?0BIlyoD?`b0wU%xo-|=R^s4+*mUzCk@OBH=FHv6<`COCN89oiux;h1{ z4s@5v*&5G}SKANUGiBG=Ue$T0_twNZZ1*(o+I=Zq91qI{jL#Q4n5P!E|Csu5-G2th zzq8)iSy$NmZvX9aOSf-hYW7NHE3G>c9g!}1OD1gk&%n*+9>rPoJ+JTg!+-lLAMI!S zk$+UGC*XMLnoP0s&r7sivQ;)L-Vora=$PCysqoH)psUi*UX|8nWp+2kDNh7%T)M+| z-(#OuYnR{snwtK9AO15~uH%~UWNM%1@u@d<2Y3W9tIx8oh^vg|XxM0SDfcF?_HO0& zE2W%YrJGHbwEkl`&!xRjARx>=Bx%u_(A65Sf|NU{q>uG*9H6%RAjz5Kc+>+?I9 zrdlnnD{SuYfX)=*fWzMW0udb#>Y&VZ>i9T7!9#qy*3d*^9=5I?@Y zrJj3Bt-aT5ua94L^;Au{Zs>7ckh|jIU!mqx}2xQ#_S-c z2Eo}GXOlbD%GjC*#d0ra4~kjQGRe=kW@^^u_2!m){lf$T!koffkuGaEm0>UPhy78$ z%#ZGe+uGOtU4EoaBtkxX({G)V-x7`5dw%vbnV*_a=ay4`G}p$~tK@N*_uXmtl|m-x zX_u6ic0xVN{5VH;`NH+_I>#(L17}}+`=lr-W7*EfJ9TS0pCc@Tmy7Ji`iEu3BYrGi z^e1TEuW!2EjvMEllSoPtI5UZj{S2$OOl6PTCCg()77B9BpwMKT_(-1rh1IQFF|Vyu zTmRh3d0m{UdUcc6waZK#lZ*~bNo@SgBd5V+1!=C??Ekj#TJ9J5o7W%N{ynqEw4V2V zl(ziOmo~m!{3|m>>P#3vhyG_ckl%VM{EdiBdijUPPVpl0Y_2QovrK#HvxQEqR@y(a z_x83O&(|`<{W$;8KH^9IZ?->1n=fn)zw~ZT+i%{soiHg=Jpb(6jc*^% zu{>_EfKThuW9C52$541jQcy~$gKC@>{jI;J!Uay|Kz6fn%jn(w;4Lfo&7EI zDysgi=x^hjnepN!r|reow{NZ7a`x5|r3d~`7TFk?{adr~oN(cD=6RkbjK^w}e<*&a z5C6Na&g6%C$dBxYx7UihZoL%kw_(~Lv!*L2^Ln0{D0AzXYs%J_*h@y#eL2_x~VH~{>Xat?A|+GGnHwYE-LL|%!-ZA zO&Fi=m)QSQ(u)6YqY3|Cjiv@$@k9H!?|-wKZ{pHS^Lhb2-DO?ZBvdj@s?T=3YLJ;I z_*i+p7sD@Ww`(Qy1vAZNy=z_>oh4QJN4qe)G*@Ag=HkSusfhG#XT6-~`&<9D)boS&?en+vtt_wmHE;8S zw|;M3ubzv!bNBXfE1mwylcZc(KHvEq{U~UyRrX?&Ra2hw8}Ir%yFPV(Yn|~A_oaVa zer$aB^<#fmO>X|*wJWl$=6v#05EeSI!ntOL@6N=}LjDQ~JRc=y9$MULp3<>8EO5F` ziO13p+z~r|Fn*MO9Dk7G{X6|Xh7Z=-{}b9Pq&-ve)-CqNv`GTTf7Dk>{AZ|)+_iCe zY;}dx^6KQ4D}KYCB&t{~&ns@2^$~RNbrGaZVsejV{ z8Tx0|zn=e9^kVyunHSrB%)D?t@|Fmrb4=2%oE`5%>K1KU`@vZ1Kf~d4-57O9@lx~m zcj%vpkKbG0*+_rrf2gwIcE#~Ws(+@HegCYHdim{Q?q_G4=a|1|WM}8M zwXdw)WVV#$y=G3o{*R*{ydOV5B`r# zH)ZRhF7~8dk-gY+DJaWY_GpR+xTRBaPd=&S1OJEJjImqnn0NDkkP6+n11tlMc5thW z(LuD-O>=py!Rx2ypH{UW>FPhyC$v|14YV=v*v{z3>5w0lA66fYGry?A`u1P<((~o{ z+?uIIS|84^tA@Wf-(bSITYJ8KjpYaZqy9bf`4oQ4e7OHM_Yv_p(>ZX63VW z zZcuYTf7Z{q;x2(@cQ3B}_@5#4quBPx>u;_O{g~d`-)>qxUu@d$OTDjR|4#jLgYCX0 zL-+&c3Dy^yqF2w43NisVxe$H|@ESG~azc&*3u;tv3~=y=7$PPnXv`C_6vu@aNw;zN`|zvU+~1 z=Vf@k`67R-`my;@e$I;OhtChkw||Iw881|)anF6ZtMS`evKm^)@|LnZF?5^ipki=) zZ<~kc*@i6Yh9V5^ewx@XXTZqXWhFE?Q?9S zkAJ@}W1sfd`@pRdtMu+t(w_3Rf!^x{^qe4Q0_s+Uob7)DrXYoq;yqDpxS7nw}&2kIO*L^%k z(`H2}Z~wJDoO)pwFKyKg0*$e=GI)#MUBB$q+z~;Q%WDqeF$zWKE5yepCMCL`oXrv3x0U}f9Tu%SYEPX!TxVw%ykw#R<^!+I%vu3fECN8{gqNPt$i1%Eh~RK z{#Ld75Bo>5$`8M{{}EsFP$_@q#rTn}0ZeEPtrB`@`v@RaErGJvzAKJfN{_&DDKSy?) z&PTa@yL7kpFMMg3H|yo4vr=y9_Bw%!9&DaBQ%3IYrNgz!jIKL1j>f(HHB<9b=(OqS zn`?~!uHC9H@F!x+56zF+53X(haQ~>()-BVcykg^2-)?=iXtP1&L;>clGCgcDtC<`R z*qDBL%B3&pwrEb+U!82J?bCIp&ivwA*>(^VD-6ND%S+VOFH9&|zh${zg=V=;rnXtr z8fgCksRLYjZudv^BUbXq?=#n!Z}K)?@}uw6uk2$Loij`fPQBc?xxuJ=PV>D6+cwZj z5at8_88Y8G{X2csoJ1+gLDzU+&&hSs& z^*z}i{Ex)*)L8!3s!6@n`fWnVYxf-=wshy`bTP!<_EZcF-(ai3bgcOy_xxMk-xNN$ z_BX238Xt+{i)O!+vPWyhufEyx6K*P(2_BrBX?toK1Cs{xqULY&|1NrVN&0Z^Z>1kQ zYjTu-Tg;a(NiOW&mw!tl_tWRkx%b>G?*9p4d^ex{%lwXC=7;a9U4C@G^YQgP5f``Y zntCO`RmAJfk&cN;u0etxu{VBpsPAK7pZG`N!}>0h^S7BF=XY+^=Y2J8mfhOyCAw`3 zZRbq99Xn;a!y`=(Zp9!DYtMr+7ucZU&s?=P`s_ujd0@2(GD zpYC0|bcwFcrkx$FF0L#aZ5fzN7$3|Rt>J!L>;8}P;i4bv{vXPAmOj$h(krBC(oynr z-d8!xhkDBx_9bXBsw6k?Wib6)``fc(aomqe`^Ln-6YO;F-;K>w_lwx-&u0=AWZ9jT zQg%+*=F6WI%vbAE_P6cR`r-M3|F9kV$HiK&zO62_J-X|JN_4zc`4s0J1zzov2bIg- z2pMEBUxy7Vp!7a87&q0g&R@9XoA8ZC*=KDwfNP=8=Wj7T464cc;rvLy-RY_Bx>D`Z zYRmiYj+Y9rnJ9KZJ+p*y1LrM2%e5;)znO}hUT){9DJT8le*b@lE!$i6=%#;oe58KU z^RCi*iOgv)mpiV!y+JDWw$dBVr8^jo&1KB7<5v+q$L{kYaLUdrm*P8DFZc7G>Fu=t z&CUQ@BWze(Y5Tlz$vwPH|IJ`bUxvc`dA^bbFK8D zkY9Xju0DEvVf}~GkNl7SXSjL%P{1GAkJI0Lel%b5KSP3~?v~u_!yW0{c5l1qljOAO zUL4~Ab>1GPoh;LX=IXfYU6MBSm%)_8(9fC?Z|l?NH`iJ0y;`SO6aVA>vZKp?G(SpO zyEx;+Dfu^2S;sdfmB}9qPI^3temeKfk!i=c1YneH|InD&iQh__tw0XkM4KgmwdYSlKn%qo!!614{eH@x%lE+0U4nMZzE+y z&M{azd9Zf%Xz$9@2!6TyU3%a_Rf)gPw_k@|D4+c!|DWB`{|xKuuY|kFKT3C#ew6MU zo1PKCR=4{6E1Vw2jAN&%KeKzRbwcnLEf-WZ9Yt z!HZQ@o-T5q^`rezo$^)t#Puz4HXqi_`qlgX@ay04g5FsT(adHGB4!?oEzvbub<%G6w%798!{7YQ{_rbaBIBPy-+zXnNmuqRYuRYAw|dfk9iACK z>yj9A-oA3QNuQbUYUih|pN&G)&!+VY+HYQdMD=f@xQmqS@jt5GtNt?_O8qGt`( zH$MH@lYZutUA?~K-A|9pMK8a7_;vMt-`?6awOfDXRHtr#d;J5Kf7|n8)9rNHc%!WK zjr{pH+23}(5tn-?_xbam<$v!Kd5E6vIt}5cAV|>dhI(YS$I!nKL*jTr*uP;d_klMOT;M)J5f2CxUAo z#!Ek{|Jm^WEwR6}JEMlZO#Xq%>*NA(Mum1Zz?4?j{ZBl*{xhue{j=)jACDC^9uKoG zSV6Da<@0`YysNaI<&Wj{KamT5g#Q!rKC5@(4zG?!z@1|ppV^!?KC*q=yWG0)UZZ(R zO?7?Ye+HI6KRO@0*rynCKk5hnk^C$@^>&w?^R9h6^*S$7xzT;PBL4)*I`^1MHqP6zJ1@JDe`#H+yQQ?hUM#NWKSc!FK)rrU#Gfmfvc z*e}Ji)j#R~A^z{^TI2r=p2gN|1(tDuPu6H?k2k3-8tr% zqJu=8?tg}Ui~85=znJcmf0VYR+%oHp6{xwc!LWc|`0sK%xeD(`vC~^kY@Hv4u5Y%9 z%wD7Vy;bk&B%@FFj)gz*nAtdaTF*m2$6J*zTzsaUH~G>0c>k^R2iM!~NBwyJpr7H7 z*9Y643x9WgI%>0eMYD&pXPjh+TXb<_Yrkav9(Kh^ccwk-e;d3yGW*u`H*eRyTyr*a z#gEUPySMA?_Uv=-oUXi`rO-)c>&EGE~FVpdLY@a^@H9`E&X2%|H8%Ys^0i^49Ep1@3XM z_tjn9FCzU={?JUD(CQDTMJ z)VJmQ)be9aaBrMb+)%qm`%J8>x3Ki#wU=&RU;n81{LScD{K5NwT$ew}&;29$ThZU; zHPs8_v!vP^uG&8|ZPW1F*(SYW5x?~@Hqj|6vwtzXTikf!*`eQ3lh?N_d$aVzpIzd1 zDT~c77hn9R_3xfM*Ov7xu7w|hk4V+`*<`Od&AP39;q8Mqy*it$nx89hy&e-S zQ-f9JF8t0osp7cWmP4P`sHsoR)qPp!^Zu=3@$&x+P2K+)PA>Ve``^Bj^MCc)Hl3`$ zpZNLD%!vMnoA3Wo{Li2?uk$}c!t4CMB3qwb`Eh^crW@B+z`F;3vR@X>|6V`)FTc6y zAIGmR=YaYLSHhd;{0aCu_lE6E*^1>E;30;Z>%X09G`4;G&v4A2^T+&$(~r&7Ke%7Q z#&p@4TcuMkbUl8%t9mAL{&w{OpDl+g!X$JICvbc%sAzX}AbM*G-aNvGG&x zp7Z*)+bg3t-kB9K`#(ck;L}_0{_X0MKQ{Gz?vLf=AFM7PtLOjE@Gw(tPK~$Os*4pi z=UF!S>3h5GK4sXveZIEphP_7F=MS%OZu#4PIKTSBrJCt6x4+oNAt?vljM+enRZX;f!s|)^{25vcA8EP==a`#cIM^yy_0q7E^#gXcKq+`7>zsW z*A7}dY2>MpU-{={!u~sj^50&B{8RB?z4|yT({mno{IY)Y!ao|n^iO^o& z;MDQ@_J88nY>Jmu{QGyx{n{1|wYFo4#;cBPTCLpF@HS`l_P}Eq%$val@ZvS`krB66 z?%mUL$5-j7{A>l^cm7<)SLS;$EQPk|b@M+QKX7fnVBS8R=oen|wD(*-Hq~z7w@%OM zfK!L;b+%8l?6u^cXZ3Xf-?T>@>lRG9RdQG4L~`jlqa_J_wkw$D{iy!%_+UL(jWK`o z9_B@QQy1SpsdDi)=hGS5yYrHFg{3|DeSzH@Vi&l!fQ&IhM_4c@cInEzYuk++4)m@m zd}m!Z^|_zTri{<(a*-y^L6EU83@vQ`8QR|7OrG|%jd{ZAAEoQ|*yPN%`fzbmky-YF zS6mFs*SMu#UdCm~VE&}2-s{||J(5#XD~uRUkjes(C`zT+h>G z$DXV2HrtXb?)Kr`%=|?a^`4t9o4j_tnV*@?b#VD_F~QR^4Xi~iq93#+Mj7%boWNhrLF5qt}=mr#nfQc z%VjJ#r=@?Ncm4cRyH~7sc)wsRv(r{Hs5F9N;(pQdE%?x4osXOP*IBIU-ZEJxc2+ub zT;~l~NHd-~`(gRR(sOG{U-!4&6P+Hc|4jP&#kaSLex7@8u~P|aXc2`d9Dk(g?z)s^?xiAKYTuHcFS)?==wE^mvk@Pd(k{0 zwMXsx!6$ia4V$c_wY6={&hc9NZE3r9?V4&EhhmRPq1ysh*T6$77#P?YxEN-EdaR)C zfz^D@BVp$RIs_G9||Kg#_s*@PB8wDmp|HN|RPe|>h==Cyk!_Go*lIr>GrI? zvp)T8`7v{OZc}^V8sEtQSM6k8wTJB7JJ~BVH}?DDgjF75d;&ZTpiK=j+c&-y5rId{ z?H66aUfbAz&-`-|TgQ{?XrAak=C2i=c@JMuwvtbCjLOT14Xm!59znc$z7cucfn4g!rS-C)$MEF&g;(Q zdAQf5qjB?(YnP5(n^T!;c73&~ljdFJ)zdVd_dc9uI>}OG^=^TYV|IEjl}InDETU;ffvT{+vf=tW~+_2;Pbf?TZ)*L^Ds)v2=EH5v?_Ym zy!jK`P=RsOo= z(>u#o91mZRAi^lKclDujVH@i9FTC4ay~ye#-vw|{`_aBXely#|kMoa6iT7`bm(Gsk z__)9AafZp?YEOj|3Q3+_E+_6SE}6kN{cm#f4w>*eVR;>$RKLKW=DWsPQ+D3HyxFp! z=il*Jd!P4~=*!fU{CNGyzjO1CxQF>B)!eH?Hg0Ts>K7K)D*1hbqKBoVmU*5`*j8hW zRYl9&mn}TI`|hL_yYJ;a_y2hLTf)VEdOy0oezZS4FZo)I_2aWn@tbS@I4_yAvstHR z=HfexTz=mEG3Cz@A;+VsEyqvuihBhHHNQADSJk}a&6)nT`I}kdtO}3%CYzD?w?&IYxOd% zH?RF5e_;I&r#g#2EzdfKNTz8{Oe=JIPAqx6Am-Zw z{=hDOE0yWV%f9k%JtmP-qP%edJ2^X|B!6w2rhmaxlG})fslKC1>eO1h($by1QE?Yz z^NNEVO?Uq+b~|x+qv)|mkKUYkdy@w9)T<`XH_mt) zl$iX<{EO+~pxMozY<_LIYyKo?O%IkUt{E0^N0qir|I8BLlJMv43;SbRmb05>`psT( zZmVFjYcHFq149+pJFi>H7raiLh)TwY6@~?T-bbXIZ~0v>P&Du;DzJO_&)>?kiW$xgvUFsj6sMx!JUfH*YW9;{4RH zfBj0x>L%ryb8n_iXll^T3QPKTDmv%EhEwyMEJX{ZtE>x2J@u|&liPL!^HHe06 zJX)G)u<5AZ>AW?k)`ohSzw)z?SihzxM5w3Ceah{;H(D(s4A)~%AJ2Mp{NX*N-o?AF zN(Zcb^Spc`Z_Tpft58z~oVQ~4Y|)!dhi!aAcIlqUzVfZ`v-8(%Qf>+Z{wY=A1BxgA6q>6HH+Z|RMUek{vB~bAN9Nb zI6inQ9*}8j&wFZOyrYV*WYEonu?NHh+_?FyiX2%QN%(R_}|>- z|M|K5-%pWhi!%OHzJq^fC;n%!E3Ch-)Su3G@Xf*-_M3C;pP$qJ{Uq?s!yC3!tl7Wi zw*UEg^glyQm+c&D_D$^x1f9{obncRL!&^s|lyeySI%%hva;%+b8VDWVXO1(O%H`2G z*_U;?a{{*M}XPAHZKSNFZ*H?Ax zc2EAAddL2ur2o%9_TP{HXNc=xz3$=H(4izWOP}xN!ZVvZ)wdPcdo6A6y0f&c>(1pa zjfajh9xE0vU>4ovsjXZxC3M0oY^4cPgW%LyuT4!H2U!X-nAM&iwkmlOXZvCDO@8@_ zYZu3P7rTaetg2C#tJs(S`}==}>#KhqeiOc}w)vl+$bW|U-~Kb~um4+Rx8XPY&=l)T z{4jTx%-KSnd55{Q;*??q=B8h`zHQ6)&HbmgwI;{s{bvZiw{gmxxi@F$zVr3~r#8mf zt1`-NO@Gh$Y1zLYvUQ91X8Wyfo6FsD$A@!|>8c}j9+v`N_1Uk}UKrkN7MgTo|Ax~1 zpP%x7zpOtte_MOuZ;$W%Z)BtY)y)3)EB@o++s-?x2c<|nsta{)|A-Hq+CG1i==*7R z>KW{hEen0LO?b8F#*3M^Qn$?(J0UVHf6w#P;U>?XeKnXeXFIleb5NDUlHMGwaV&e9 z*Ne<8@7g4$Z*#5OYBbBJygTD%pH_CQ%cuRf{%Xs=$@tG;|L{Kp%ldV82cOn&{T2AP zSN{1Q`v>jUgY)bD4VCe4>!#EvyZ`*p!2d(>>+u^l>%Z;yvfsG) z&wqyYKLWoVzmW_79luom#>Id2hyQWZ7JlQ`{=5ECKim?#9lzP9{=5Ft{hLYs{15*b zn&e|@n@{~`$o{hUx0L<)AN2?MiEzduRoTk5nNLNM*UU~iEpEQ8`2cf+_N5kOKbs9< z?#7cR@8;SFu9%sn3@T-$J{wl%81m1P^8S$StK+p~O+%s+^$FW{a!(wrly{+TF{z zXPTwBu@#jI9{0Jx?)j1bVP5}7=R=!*_#Y|X{_R`wd7ewPUB$vX+<5}~6{j{RG;zFe zR}f&lR8f3*mVC<=Z+pIqe4lpz%Q?z|(YFs7tk~bLGI^4x$|O&f$qrJeZP<#m^}pr* z80^0K&h##G#K-Wq_j${V&)iB|^T6ZjcEeWsxk> zuwUyyuJVOh3}55LD*}GZJ{;B7oVqqXWAnX3N#4ITx%~5r>{1k(_~o`RK96JhJAdnc z2KI_|$B)eFKQ1r*qwU`Lv-g+1GQZ@RZ};OS+gCluTM-72S9LMG-KX?}?eTFtsakfQ zk9q4K&b*iLRQy-WTbWlPpB6On@z-TA&-ju2!9C(f{rZ?}tL;bMi&w0ZTyyVg&erPV z(;rXT&!a7)g8`rpkZpZ-oieSf~bPT}r~^S`?tKsOIdU#(NT zf8*Xuc~P6-hbmiI7gdy0Z|_uB-MsTa;v}m8w*80Y+r{hozex8=hke|)^U=;_d#ac2 zz4}fna&b_{z5vz!Q(R)qS8p{~_IK=O{JLM}$JDQHjUU_h>@j9OEaP<8dvC>qpvBV| zEF^7zEa1C+U>^76gZD%>ez>>zk+1&|bFsR-zuti}m+Y8d)AP7m$n%zj#`8s844>DF z*PWZE^wGStl(*{i-0Kk z)}eFKk@|TtTdwPLh@4hbpO$1U{K}W1;@ZOB20xa4`}gdd{w?cAx|?ErKCLm#GGgg4 z77}&)*K8s0#qjN}vq#srL(fiWKHXN`5vMv!P4SV=61L!1#uL9R;FtRFpW)5*N3p_j zmrG~Qza{*LZ7FZ-6Z4?Rm{&q3=30FcM-}u>ZIJf(q6WTvSj0~4!?lGAZf1wy()qq& z#-x9zoF?C%(?63#q51e)hRW-W_UUiy58l(>_)%@~$K%KTDQ@5Vx%}m>-Y=7)&+jvH z-0MA|Y#NWnt3{xDWcM-d_;|i;zT;(^=+!^c%4b=+{+n*?Zq;hDLZP|&{w#)Pb`pOC zui44JzAklc?Z@h)_q5xx&9_GD#(jL+W~SHstRdph0mXn?S@3n$hhD$$C=)Y_az7$3 zP~rJjEi*1x?&+e+gE6^95-EIJ7}*c)Z<#gy@cg&_Z~HsrR6o{#YoGY^KSR!4oBgSu zzCS;GS|;zF@xMnGSnIp&*}leilz%hd<$ly(O>)o1T0qZ`G+WU-4sd@JHUG^Jni5x{{Wu zr+#1A;@*)-Wo=xRFBUb}ygqt=^YV^8zK>#^<2L>H{&=qx_syP_iK+EUj(G-lA&du@ zKY;EY{?E`p-Q_~bU8&~*yRIzTu(|D;_wDJrrl*xyjZSzzozZ*b*JKAd(-n1R>@@f8 z-?_K@Ti=iFoaw?gt9hb&8kKmCv_gYEW!OG%muxu~@P~dZZ{_dYW4a>4 zEb8jFZre9%D*HE0Sn}<;@-rt6g^#Zt*1`kZ^KT9@2O1e?Ot5DK+N8NBShXki{bi@#UFP4 zek9x4J8j}e_9Jpa)tp5(a%1art{}}!#EdTJI!EwjMt@+Zg=V{N%KE5mZZrsDAvrIL*pE5=KS+Fp{Hg*N` zj33<}QH%`9a#qf3y=YyR#vJbuGd0*M7 zT>0Z%nEvejm93JqygR?2IA^|5W$wbJzAB9c{8k^!-@JUJFI+J_;QE?^LORvzspbhyLg|{ZPg>^wGN9dR`6&xR1C>~Vchs-0e|illaBQ{dO3^c zMW^p*eH6JUNlxjML#o|kOL;GbkL&sWovl;7X!_PXa_8TLb_!VmH{zU2Ri~a?sO(&{ z;$cq^)1TFhTl$?cn6K8vK6HMR&zmL1J8f(2qVv_9o%(NP@pD2GhfUQ5_PG_p z-|DXak$tpVUMS06rY8T9bhW*C-Ru?jJyrMoew-qGWhZ-P!r{JE8qC{%bU%>pm-&(T zMb`M}uKjK4m5ZmuzbxKTydwBi6NiQE&jozR5Bm?wCO`bQw{Xp?`{H|IAMHrnTphaU z>U+6}wKmPJ%9F!pyP+D`a4bS1@1)t-2GM8Ep5`H+E2#4Z#>mA5*E+v(qKNf zC-%2hMfZ_=s#i>3>-X1LUtF+v#;Ivy;h$8*9y336kYTXrV)z=*|D&?Rm)-Z`x>D}7 zUfJ9hxhZ>h7F~|nq!6srGB2{@j{iy%#>Y|ZZw^12ef#(98~ZcfcWgUZXnbnJ(G@3z z6wY{rO8??{P^-awyOdW+`!@G%jpfsBzEiB2mNBEfW77ml|Iwz+Xwzo2X*1fi8Ex8( zHf=_mHlt0O(WcGlsLkl8&FHAj=%`KK=%~%;sLdYh1$ylZUhXnI`}f#V)7Cj=o8s9A^Q&5eL5<>v?1$xz`b)0XXg`>1cIsDnrquh>Mt `Weight`, `CenterOfMass`, `Joints`) +* Получение полигональной сети из геометрической модели (`Geometry` -> `Mesh`) +* Получение итогового описания робототехнической системы в формате Universal Robot Desctiption Format из полученных выше весов и полигональных сетей (`Weight` + `CenterOfMass` + `Mesh` + `Joints` -> `URDF`) + +Описания системы на разных системных уровнях и уровнях детализации описываются с помощью разных исходных файлов. Модель для игрового движка будет сверх-оптимизированной (до разумного предела) полигональной сетью (`mesh`) с PBR-текстурой для высокой производительности в симуляторе, в которой не будет никакой внутренней структуры, а только габариты и какие-то параметры поведения - например, триггер для запуска какого-то события. Эта модель будет связана чистой функцией преобразования с моделью инженерной, где будет отражена внутренняя структура системы. Если рассмотреть разработку твердотельных изделий, то часто полигональная сеть STL генерируется из первичной геометрической модели в формате BREP и геометрическое представление будет являться в данном случае первичным. Так как модели могут развиваться параллельно и независимо друг от друга, то конкретная последовательность вычисления может быть разной, так как нет какого-то пред-определённого конвейера, где за инженерной моделью следует модель игровая. Сначала может появиться игровая модель, а уже потом разработана конструкция изделия. То есть эти модели развиваются параллельно, описывая, тем не менее, один и тот же физический предмет. Тот факт, что отдельные модели могут быть получены друг из друга с помощью вычисления, не обязывает нас следовать этому порядку, описывая связи. Однако, очевидно, что из модели с высокой степенью детализации проще получить модель с низкой степенью детализации (абстрагирование, убираем ненужное в данном контексте), чем наоборот (рендеринг, инженерия, добавляем детали для лучшего соответствия действительности). + +Например, в отношении видимых свойств объекта может быть реализована последовательность: `Требования` -> `Рисунок на салфетке` -> `Эскиз художника` -> `Эскиз 3D mesh` -> `CAD модель изделия` -> `Mesh для рендера` -> `Mesh для игрового движка или симулятора`. Однако, последовательность может быть и другой - например, прежде чем начать прорабатывать полную инженерную модель изделия, нам необходимо сделать эскиз для игрового движка, загрузить в виртуальную реальность, где бы пользователи могли ознакомиться с ней и понять удовлетворяет ли она их требованиям. + +## Пример. Артефакты и модели полигональной сети (mesh) + +Ретопология - это процесс подготовки трёх-мерной модели для использования в игровых движках и симуляторов с целью обеспечить высокую производительность. По умолчанию, те mesh, которые генерируются автоматически из CAD-моделей, не отвечают требованиям игровых движков, содержат избыточную информацию. + +Сейчас ретопология выполняется вручную, поэтому для неё создаётся отдельный репозиторий, который в качестве входных данных (зависимостей) получает сгенерированный алгоритмом mesh и грузит его напрямую из кэша на сервере, либо вычисляет самостоятельно по BREP-представлению, указывая mesh алгоритм в качестве зависимости. После этого он вносит изменения в этот mesh. Человек, осуществляющий подготовку модели для игрового движка или симулятора, ссылается на `flake.nix` репозитория редактора mesh'а и накладывает текстуру, указывая в качестве зависимости спецификацию материала, так как от неё текстура зависит. Таким образом, когда мы используем эту модель в библиотеке ассетов игрового движка, мы видим всё историю изменений, вплоть до изначальной геометрии. + +Процедуры, производимые вручную могут быть проиндексированы, а полученные после индексации данные могут использоваться для обучения нейронной сети или каких-то алгоритмов. Для этого описанные процедуры должны быть специфицированы. Та же ретопология может быть специфицирована как функция, принимающая геометрию в BREP и возвращающая MESH. Если нам приходится вручную редактировать mesh после работы имеющегося несовершенного алгоритма генерации, то мы имеем цепочку: `eval (BREP -> MESH) |> edit (MESH -> MESH)`, где количество полигонов уменьшено. Таким образом мы можем видеть общую картину степени автоматизированности процесса, а также механизм учёта вклада отдельных пользователей в дело обучения машины. + +Итак, процесс ретопологии может выглядеть следующим образом. Мы ищем в реестре геометрических моделей нужную нам (по каким-то критериям) модель в нужном формате (например, BREP). Если над BREP нужно проделать предварительное вычисление, то нам нужно явно это указать - ссылкой на конкретный алгоритм. Дерево зависимостей может выглядеть следующим образом + +* *inputs*: blender, sverchok, mesher (генератор полигональных сетей), brep flake, blend file с отредактированным mesh или конкретная последовательность действий над полигональной сетью(запись действий пользователя, типа rosbag или макроса) для удобства обучения +* *outputs*: stl, obj, dae, blend. diff --git a/sidebars.js b/sidebars.js index 030761a..8a16f23 100644 --- a/sidebars.js +++ b/sidebars.js @@ -17,6 +17,7 @@ module.exports = { 'autostorage', 'information/information_support', 'information/planner', + 'information/cfs-models-pub-in-nix' ], }, {