From ab4d58770f3a06de30bd2a451927990167b08704 Mon Sep 17 00:00:00 2001 From: zhangyi Date: Thu, 7 Apr 2022 11:17:45 +0800 Subject: [PATCH] correct files problems --- .../docs/source_en/images/fuzz_architecture.png | Bin 0 -> 54063 bytes docs/mindarmour/docs/source_en/index.rst | 13 +++++++++---- 2 files changed, 9 insertions(+), 4 deletions(-) create mode 100644 docs/mindarmour/docs/source_en/images/fuzz_architecture.png diff --git a/docs/mindarmour/docs/source_en/images/fuzz_architecture.png b/docs/mindarmour/docs/source_en/images/fuzz_architecture.png new file mode 100644 index 0000000000000000000000000000000000000000..aed5732b18eef5293174cebca3dde81430ea0b15 GIT binary patch literal 54063 zcmb5VWmH{1^eu`McX!v~?otj`qKtVx=Bf>*+PRtO_Ab((8 z0CF0Lh={A(%3F{}XcskE0954!=^^CdgQdh52`H$V7?c+iILI@S<7XWgC@A#4f4|U) z%;+RgP&4&%QW6>-h9~QA#&Z@F@D~jGZXi?Evkmas*_o|v6KY7*HYD}$2fdKBkk#$n zvxDFIr>&2k37ps7yIG^*#=~$rLo+|pAU7ot6M#qs)c%lqll)%_(-fMq3+G=Rrm4jL z|I~rd1??$#2kVXxo<0>7nM77#nXy~09nxF@_FoUF4Ob|_Fx1AffvlgOLtb0eBQ9d9P$g;0BZPf9`Qd) z?Xa-OLc+p64~@Yy7J%odFZyU-)@spo@3Mi{8#QVlsc4%k4cnPSY4ATfvU~B_#^jbM z?=%D85_LgshumF;MFCM82xhHrva_3(V7Z56Ufiwv?IqqvhCepz$Y{mn$?}~YVXJx^ zMV1VIj%E;;D+~I_5vlxTp|c9Co$*)qkl_T_Zhhx=&K>&GM7A+u(rmi;?5Iv!Ra7S+b=+r!e+UPrX!T_)XeKB&alP*%@8Y znZ=H$BWO*(n4pWT9P~weaf=%>2SAPR+QVd9P~?G=_C2{kf|3>nT2Fj7{V@CW7CD2y zc&W-`V3A%{Z`#)!UIyF#8gUW{J3AB-JsT_ix;&*pVgbG%Y}7nVYsl3yp$%@^zva7z zdq>fPxPWLzFI8sh8dPlB}wbpVJN!ATKC%LKLRk7PC$V=0-^(SDhs*g^qx>*=*#lkI1K>j63dO7TKZukCwn^5vDwS1)`;AGXH7cD!7M zhZ?EbeiH1_Yyy0gHm3fK-(R+<+_1BQcM`v&P1fw=g`WP+FEF7{9Afy=2;X_;1=Jv( zq{y7fXe1aM9XaQ$r9Kb#X>TJQ3RMD!HJ?)=SiQLBC zq-sTBPQEl`ExPO||J+&MERa#pU1kRIT9Banv0uTTb#L(+=!E$S=S zbx)pm(v;6Zt6uzFGecnV+3s+}vccrlj_cZ>@jmSroDcKC`?lCQO{|wR*<|~ShEvd1PFoMC~M?^_LWkX1NK3@5fvu@d@|KD9E z=B1CkQ;erMSWNB{$|trEpgK{Ht9EnfytO4TpaRl=Kvt4mf!Z*%- zns|O_5e!QN1OdU%d;Z;m0zEncY!m&IEImVS^yh%C9!5tS;I^bUO_e$+suvlUJ4vFk zqchj8w-!@(0P!oQ9%kR5*Vdx=fSGCIoz+?%*&FFRP9d_c(Nla z7I%{$Tue{1hO7eEl%eOwp8S~eKk6ec@HNaW9n5hy@l2$jG~FYg{AKQvbF0CpJ8)I$a7YMTU!Cj)2joI#8auJ|MJx8WRV3G-GRiKXgU_#(v{W zRdoHZ5%l$7iSW)z$ZG6uNyv%%4o+T_R>J$)^kw@q;|&w8!zR?8{%%h?dfo8Y@2{E! zov%5WW?>YDhd6J7ePtB|3=~`6Vh2CaPzvZW8Jma>kvJH_)uyeY7RqvdGc)(fmlNsh zsUbs@Jb9)$ikozxxyc5Iq<5(0#|a_I>ELc5J@RwWos7A2R!>qikw8net%X-6@PWVl zg62Yt@xhai2sWQcL8DLFt^iaSUyh-LO~Gmk!zk!>R z9ENByQ0*SSSW9UTj{<+=++McIFVv)3{hjqQkt-5M^<*&-GBmi8xxCUFr#eOg>vZY0fcP9EfJQGuo!HsvAC)nF=QGYuEAMeSaoGE~un zH4#&G^qSCjrQn2FRmu)^Z-Ys_(&#%f7oMt(y+JAbLjUJf43iGcsa#j7YpLkR7U{LI z8W28<7%$J%EG}o3rgXV=ts9N^h&MERepr4-kVknk_oB;$2rY4UEeZ%P5WkCVYyRKEQ`Z#7T?3$1d z2jW)Q*%cPvyA!ckmq=Jm9kn=D-$ui?CwmGyfCZ>6aX50l*qAr+5p8q|`GEP~7bA)2 z&iGqq)V;YsMq`2snewfpf@TcMkvJV_a>o)0%tyWg`qiYjhH3-POQp5_KjJ<`+EqVa zaO{R@Qu#vj+1CI{7R|9VU(V>FGl$^aj$5c$X2{7OuW5|J!GwI)2u}+QlD{^PJW-MW zr$xN6oYsxY9UMn3hnUvqAwiEQRI=N@t)|=Pxu)!Ssov#_XH6!vM6K3a>NNl?7@QmP z7}u!^7#nxGdJ@vWwNGI3F@HNP_TDZLC81vyzo?T#b`QyehX&FrYiQuM{5bt-x7r{_ z*EfUYw5!J(!9{uk|25&ZdO{msozGTgQ=TZ^pz-~f<6Na*se@c-LH09OYLptuz^=wd zHqHi|#vsm>4lqIckcr27^j@gA+cutUCw;6%^s&U0!3bmC5BLI`V2BXR7btqe;p^(; z0T{Zc{S#PRHWkZGx8dDeBJC4|58uH3Ijk@jN_j}!ky({2DxFVqXJv1@sHpnW=kHYd zpb!XCVlNyrB)ui!m9F!ek6TQvB>%*MQ6I>#OMxV7vD+j4-O4>VR)dz35~?>8WAJFc ztPmR@7K$Xo?!VasN^8MHk&FYz`qQo(r+0h=7BKz8Rs1Y%D7m7C5@DcRZ3y@415e47 z17j(OAbrLJutZ~S9U_WQ?aE3+XJG=u`mtcz^x1fwXdop};XEMa@k1*Cl8BFSs;9F5 zPvz8p1DUI_RBrHI@4?XMJ`SHpR#q0HN=|@Ae2a+J4PvAHdR~+>GG?@r#mFzDufH|o zWW6PdzGf2?tezNFJ9#yUiGbZ#b30n1$vXD%)- zV&#Wo`oJ(gm*9R**8`Ql!9fK&+GZYNw1q087|8e)=t>pVTim8=%w(pF&^%(e=`B$=QRR7p5%XKl@T9RAzy9?S$8^6 z`aevDz8;>4c}0^CrTm{kqB0=#nd|rKKdMi4KZ+n<(3v-vMH)lt@KyR5Jo>{pcZ=;csPLo5m7D{xf9(^ zgRm#>fUS=97P5j7A9I05MxhI6Bj81`;7jlKO%A_l{D*!y(eVBpnhSAy-v^X2vITVU z_ciFwmo+@!LEEk!#NavpLTNLb&LXQ72WGI2)>g%Xn121vJpD`DTwS{m)xemu?hZC@`sU0zwUkf@U_#2Fnkwuv60r9~eG zfA3Cn6V=}&p!v}*cOpIHE>llIwL3_Yu(LBjAfc^NhKnyEcO(*~TNv6yU~xjELs3bz z7FVp|gj=eCldwqM^^na(E%~>cQR5Hc)!ZXe>lw0mjciU#1j>y0SinM^($9oxc!REZ zB45sm^QsG#h920OUj-jpaE@b!!cvC#9qT8cm`nTU4A8%g+h;FfwGz||HbhL2i=Rh) zVZnJQmvzD*(L4jf`=ZwbeI8@WLgS`jxRcqk$DLe2nOvUbm$ft*NJ=G);}@>QB?tB1 zD}x_yRo2q9;Cc5Sz)#xBj%WyGx}q4r3@(M7e7aM!hGx7_Zqyj4j7T8+bO=MbvPR;e zBW@^-ihD-T^3!cL0S)SRpjby}PC-%Sz-N)R<8kU{)Gq@RQdUzoYZPfjfllL7?Jls9 z`Yz-W4nCauQZTiD&w&=wU$r#^F(N~IF|iLKMv^UZ?$7wAv`HL|U(i2%C4v#}<-?7q zSAG-T=8AX4OQVQ_`RY%MIB0p=y+LCqbvJ+stv!;!U)@P6s zl(9URb6+o@NglG?`Fq=Dj^-ec9cIIKv)5^Hkwob37dO1w_f@zd=R3TY^O)e*sPv}S zEh3R;gYMy6kcxTFmy73Ov!S4@rWrTdtZ*EUkcqF!Is1KlD&gxuA72Onq!PzX;6tB? z8tCOeKm+syJ36~5H&K$e=_7fnMGXz-XfSPP#a=#7dniIRWE~?}mLfV7o9%kCk7XM~ z*>xtHf-7K#h#E*%8ysX~w*{j!Jo}1zyYrQ#c}intiNgzUThL!Hm?S;RTl#i1DvUk8 z-b?NAMJ!ElGK&ji>%o+L@^*t=uoppgE22EvcqC?MG?YFpwYju`H~B{7Oi&hGjx74z zQJ4AXzUeNAvLS!@Y(GP!S~OT?m8x_Q*A=4vi3*LdYF;v%GLs|0jPUQ=M&zyg(zUQn zP3ZtB>SW?lM6AR1`dv6Czz>(+fCV7_03ze){RYle`mU9)DM7ze5belv&;j$?X;gJw zh6!v0-v529`o2WJi_=msvirDZOoAPh!*4RQw1qMD(#$hP_?aqH$KF-DuAl%618HfeS~&9rt1b-QF8UUFv@FM!Fi$X zc!*r2WY7M{{0ct(i!EN(Ay&2O@NvshQ-R^46 zN(@qG3-VVNCr9~gBBI$=Y8z0Jwm;veqh}249xTGQbIVR~aUp_w6rJAXek?fos9xXF zm)Wtfa74+-vnuG|ff@gOZ?##Gs{B5|92j z0asFX%U=rJYN1t>I(Y%4D55iuZh1Y~*P*(n)A_T>uYv@Ag(0hNWw4p%XYGtgW^%9P z7j&L_tdUI4ixO66t8WKC_EGhpgsN*@Q~W03h-UFXjxwOJmGF6tyI48sjgjF*H$91x zhU=S?5Ec^RAm(WV_N9&vE_J_OmD=R<{t(Q}<|+pNIN*V@b9nesR6)=rIq51hM0sbY zz+UVHUcBJDPRDE7s9JY%YUBJ~qFbYaK{o!aGmcS}6wRAQiiUAVKgGs5tD8^I$4H9# z24eA}&jA{-wH*V;$!Z<9wd-U?0qiq*B%3bakEOKJv!W=E*-TAW(gOyu^6`hm+8gx8 zj2lLfNhk4P*q3<`OqhF2Ec|;fGz>ZU9}U~RTNdvgf2bLMh&! zN&KVUn@t7%&JwLkw^s9>t_Njgx1>oGTbl0eOf%a!+!l>R2>GxU`+^)v4Mfnz>uq8T z{T2IM8Z62Ey=k5*JYiP%Bc|>qQ=1NG^hJ)S;Q1V)?#P5q2i{u2De%6O`gT|OpJq}W z^quCcV-1eNdS@E!rWzy>6j!~KSprh}J=OV;tx zJqJ!dUNHYyWT%>3H_}K6rP1gILy-68bX3OB{cd9&|H#54l77F*Lp{&>=O7<%jptYK zXgU=mKWK)mnv~Zyf;L$b)C>+Hw?~wR(@7T&0td(^+Xax?&iCZ*5S~ZQw6^33e@m~_ zQ&2hY==20*i#*rcpD)IhMnG+ou>4?SmR^?6WGXx1m%`mfx51MB6V&L&xLANOvO5Y> z6(YV9^S8f{YIxC@i)brj8HdhUVEZM!4+VyyO*C{hdA>wjkbU>5FJyGPQ8V}Op|@nF zLpy^XFR_jCN28vQHHapGV)>4c&pE$HS2GmbU$XHRBRCd#Sy4oG!W~eAg z0HOie=ft9g+WJP*Ds8xS3~PE1W6n`NK!-Uw-DXGn-kvn_}X)gH(!Tc?F6l1Ht_nPJ1`xQoRq| ziC++@-r)>n;(e4gQ$w)WlMtDo4R%M@J1L>pPAq&{t1H6;TxK3x7K5dNlCIq!EQp7uX-6-BB*4- zZ$UZ;u-iI?$S2D$4+RP&kPsEl_y0w47~;z8woIAbJ{SNxL%3tz)*N?bcq%h)rNgHY zs{L0rBP)u6HM0p<=PM7f&a*w11>3}e`}yT}b|+4k+I)#eET?-})Fto1lzgNY3Z(E% zt|yrosxiI+Fy^X^hT%zN4JP+l>q~q;Xj}NkVF=Bu_vgd#Dyhp_=r48LC#6(f1xzXUd^=oSN1zT-gHR7LPh?hyDB@5)9Z0?{h^Vv>{dPwRv zS<>|PCneKO;%5lLR8(TnM<;M5Z2})2xxFd9(cR~=z|q#iUY~*iOZEBCURL_CtTr+l z*`CDC!SE^qJ+rgW=_D4Rx5~$$=GZDJ0-VT;hrXN4<3;`~g+WJ1K(Sv6{5K&Mi1@tcme=Rg^ zj-s5A>!{TB8$YBhPY{8zu*lI_K^}lNZXuX|bcN0^a=^J@Z#2&r#g%B7LUyG&vLM{Q z{#Ci-lM?^Ne1GbsZZ2Kt&RMci1MBviQiru1gJI=U;-C-r4$DdN8xu?Hj!iqlgpQh0<#;m(7MH)Q}OB#Ts(GPwk1boxI2vw2^U^( zk)VoSyv0u$MTmu9phm|Fbx^cK?#4u+8({*}YCLSo7oo=SOPqG4F#&+yEf-^frbc&6 z`Zv_OW<`M(6AZ2&tx);)g1?260Hb$_+fTfctmp#4_^jUB8A~e@_?~4v5(!M6x%l4k z?9yMX!UFh-RVv@%f$(sYA`ggM>uG`g#V~~(M#HB%7bPN^N0htIIS>vfS5Iy4Fc@uf zShL&3*rZ_Y$oSKOm$^q;u`5uUy98F~Z4Jq8mDS8id^$ohqGnPUIW)8pup0eZa|Qsv zI%V6P#e}z3ZG)dAtlA%t%QN)1wv2=OY*PEobXxhWW-s||R~oQ-L+r7u6nFitaWw5( zfPL^^otpkw89=PvvzL1bsQcn72&0gw=*WbqyV9mA;WguhB5=70{V-> zmsOg5uz<4i`$dNiW?rG_R)gfD_6&TY*@~|ND$1?t)L$|%0jtqxsgtuL2q(# zCHaxzLl6Jp`6Z$AMawMUK!Kan)0{&$I^`!)baIW(QtyKVlHJxJSG-itpW5KESPRp8 zv)L8|##n}A?T#ihg@+`HuvA!PQ_FOvCMs00FFdTxOSmi^v59`?MAsqc!T0cs(?j$7 z{j&#DCJL(bfSlxXuA~c3g*LYQV&1_<70K`Y27*DlUA=#v3c2<%k%xEpU$-OYgkGH_ z3(+=#Yt7Di1G{?{B4SVw4|x3;Pz2U;CmDQJGE+~GR&wIR5Y~S=)*mO_j-&64Fa1#q zUB(cd*;`nT$KkT{b^XDD}tc>VD78r-%#!hBq`?dRwrbE>Am7M zkLRGHu2gDF%)c0^ETXmU$xu45kH2Bm^gMX`Ag?H zO{~MzC!UE^6hRkrz#FL!W!*@Cv!HYLx=xcD1=S`wgw}uly|=Xo*SJ-N$Rh_wf$WEp zzINsqD-`JZIeR$_Gier-U*}neto4RL#QKO$9cK$3OzWCNk)#GAnU~k zqV1^;kIUR2k9Be`t^Flg`dR2`RI);YTHSQQ(mu~5`o(I#Rk-CQJ!+Mc9v@%3Mq=^@ z?ifc+XO94kNtTm?xWl8Tq{s=AQdiL1WAz^`Ioxt#RELeK0Ss9y0E8@rQ&AE3w^n^} zG{#(T_YB-7(+ca%pc28hxOG!Jor1R0yXzaiVV%kgfcK(d-@p z<|syv3O)Jb-m-WS4UU0MO#Ypjll?QFZQ3SuYB?$uT%GgSt-5p( zRY^9!^Mwn9J%G?^V$VtZJSoz%RsAu=)!^t6HgEKEJZ%V&5Lnmw6~W5R4guAoVV6@I3fblk_23YpqR|WUJYrPMPF$SQof7^!EittD=7|x#=-5p_G z@~KYZajx1`ARbn^_POP0hYj67^A(>0ZO?|XSefPB4Pe~xl^3d@f1FnU1&K1^n3eei z<~)8@xD!w@ld#frk;XaA{7vMi6cWL9^4j)D#d5;h4hvIg14cRCu(8novKzZL8?4Vt znJC(eYbRb1U6iz|kbxngR}MyJ#A$_X=C+Vnp6T2H*}?bqA^R$Zp`(SkGDGJm`u~YM zK}kMop7I*QlIlyrWM=_9y_6h2VH<(oSwcCZ5`Zf1S_(=h9h#@C1@Z9m6D+_ARy@~;9rvJyE^{-xAK@C(37}NPhZWiBM z+$C30G#zn5_V{9&2=sGnGKi->J0?_>B4#N? zyKk1PCLHvimv$&JyQnebu$kYmJyP~^L!I-y_(e@To>&!!`07z$w|ot*y+tGB3s~?7 zsLg_W0mP&p`FWNfVs< zh}T#M=G}Mt{{9(z0y_8fZ_FsT64vOCm8yQTGhAF;oSNKGo@QC@EZqhzeZ7;T`!zznMthJq`xG=?_9hngEacyF2{s{h>IT`4ErogKxP2(8VBy|7W^Vb$xwOdgUxs zBcn|Xe`&1TW*Jvko-9%CkeNb-;wQ}PmCp0`ufgzW)i#T4oWQvA-uRAANF?C_2?5s3 z)O73c5Xsy7S;JT5Zx!&MNP}s*P=VkV^F8cl{3C*e6SP=8PBeA#JdGjkG$h#3-wAOW z5WL4z46Zgh^amsMtYZw{e{HlkxC}t54`wj>ty!T9u6jhlXTfY-2Wn&gepE}LJMB(j z$DyEL7aNL^70@kSJT7Fr5=C-j1-V}p{+-BVeoJF|`N?6@1Jqc(NsN6D{oaWy!*EmJ z3%F(#@;n=)efjn!m(wjLm~K}=)bE85^5)Qr3fA(9ip$+$92T8gsUw9j^Bh)HWRKS; z-n;Wn_BTAfvmV1&$Q&Fn+7Y{4?aJx5dwsQ)p%MY^1Bm3F&(@lQcLrl37*3I7Psqi5 z!pMYweD)o_r_9)w7)r)edc&PCJ6x_~sI{Do-t>DuU2pyZ)JFaen+-!Q>ID?@eF`J_ z1q6P$Wb|1m*QxnF&$P6>EGLPjz|fZ6qg(+IH<~t9_wt$cAzso_$2TBt`)+jwI=Z=m zG|TX+np8V{JXs9ew26a!Z19*gxM-(*I{jQHh-(NfHc&BQ z%C}%P+O~z?XVBb8_^^7B9-WDq(dL+VvHu{Q)E6j>7fJ)d8fzM`vIqMIRXyIj5w$8X z{Q|?4!$PM&iMRVJ1Hxj$qjE2lI#Mz~9wzBuwllS{qZ0A%PM1(82KVvA{YDg7j6^6n zUB9yZr!WPm(RmB1Qep{?{cPK6dCo)(iL~Hv<&lXl6a>YLsT@X+jTJ3|O6bDEf?U<1%-$ut zY8a4un{fZam5-=BnMqMAR>06UX{okDgD`@gRyH9-s$8ro;)g11u;4{l1R}suip4uA zgUB(Kd9QkA=rY+i>Ko32g4s1<{&jQ2@tNu+gFZ?jCM3MJiSw^fIX-kI5^j6e6Cik* zE9dV?sAH{MxeTZ*!rm$Y3$9LcAbz%rQmfduXK&Xzh1!>+L01O%H{XXUnlCCN?;jIg zRJsBJyo+n>HqC)YV@8-@a}^uY8viNd@|)XG%k}K(@*kc8Wgr_Yg~XiVsp_R^+Xzlj4mg<^~r_AYZ-dw7!w z+AbS0+^P6swwOE9oj|-|mfnoJT=+-krnC4?0%iBJb<;!L!`k9DL=$7@KzniJQ1)Ue zFFj2*MaJdp{Vl7=KG=6-DeGC2p}?=&9C^%F0?-Y%DFv6HLD})}roPLBC!|>%Zx`Fp zt>8=2grrbRNI(At1F4JxBh9^)+_8OsCQ9|oC#tr5hA#J>=;1}FB*L!DRY=e+(QaTF znL7z=k1_3oNH{F`{l<-OVfpO_Yw^cb^QRHl_SKYHk74 zxNQ?eqzg%wV;eso%&6~kJ-IewVNp>MW7h@;YMrciUa(BSo%sZB?fE*ABEyb=i!HZ}Kj$6`ls5pS<0w11&H7_LiBk%$99p)_37FcRr4xji|sj(_61 zZ+4-Gz3~T@*7vcnNyDHvEicd_17^^dmU)?v-fPG>Icvh?!Uhiy-KP9bJ`w_HZf3q? zLB{E>VTlc~>b40!aX{TW(1MA=!sfE?Ya%jn6fu`NrD5F!%vW!-kun|6ILQ5^eQl>z#%6{1F*2)OcRkSOjUFE6RPrTXI8s2R{xA$U z7NPu{pqh)n>TOq^ft%ljp&F~U!?ICv*knyS$j|`u^)+Xnglv;l(R#uQ+wxq0JKy_B z*4i5h^cIXht;!!_5+8-oLC4g%IlKKT~4v3IBl z`ru|-p!GWkaiUd>uk!hJbfdVQJF}y0u{09*#*>&NW^ImH_5eqX^@o1p94iwo0g;xU zvdA`4`kR4gZdW<3-B(LD$cPvivKr+QZ9QmIz}VgYc5rrgU#%^^yL*>RcmR!A%`Aaq zU4n#@w~&P)G*_!2b$&XmDH`#MkQuvuNA$q@Yr-~p69LU%Qjmx`yp=XK8~-gI41oHw zj~zG0$ir-NY9uUjHvF1{7?tBy!SOv-#{n}~Y%+cM3JFUjZp!W(MqBi!Kbgo(BnScm zLXx+j>-}9@t*u+Ma@`hGF&$lF&-V_(Ck5Z7-t2LOrlCUAhC8LXXIfeQ)4!0z2D@`9Qc_(tH+Ay#EFrb(39D!e=-pGBF z+|a)qw--A~1N(E|Rr*cdpEA}Adf66;nd|07gVGm%{Tz!qgcc4P_UgIu!51dS9NKVf zwS20C03jgm)S8i(ZzwIFV{Rn>VL4T@;YX+nxVXdWMev$GeMw|lF$d2b+t$t?ZbMXf zj!NC6P^E{{LGr{uC$!r5q)=j=t#`V^P^pilBHg2qbX7m4{*~CZdBw!pQuu@ZQa}S8 znW})S%HjzO?QAevO5=7CIYp1%+Vr(wRvk(zS>K3SeI;`Q-8d4 zfc*z?A7v%*O|PkJ_MWVani+rje1IVbQQOQvF=`2rXk<77%7F=ig)TsNkpL=hH=c40 zRN_ABp-BRz{_pu-;Xc*zL|Eik@Fq{BB@2JJL`d!8=w!u~uC}WuGccq_=cLx35~td} z>j3F3-)xh(%tT-|LST>9N~YVy^fT8~=D8WD&7vHcHPB$`$0bkKxcUTer4wZOsp{Nh z%R;{PB^Yq;4@HPHf6v=fu2323#mb5b$*n#m>C@f&)ExvDR~E*=#A_9zMpW@n>;$9@ zPSg#FI$jLEzP;R*RnGVcH;PY1FJra;8G=j%=Ng=~eWzUYs&=rdl2@{ZfXCUL@2Ru4 zAM$XpkF}Mk2+~IUT_5{W1h_r$XDTXm5J*_E(4HI9>1wQXYpj1StDAUmr?)u5eiTeM zw-q7Daw}Vc(WygX=)0au)kaEB=1otYk}-hhU(vK^CBTq!EB%X;;iAUuC2w+ zR{#0$C1Np-jpkYVSOf$J&HCshdL${4xI5y>!`}d9l8s_Ns?*!9Hhf{CGYVSi!ih%}%0&N1JqaL?5TbFLw(2X_sly~E zkA~oU)6EWFHHs^`|268^s-wA5b+BZGX2cgO%}V|7g9EEl_DB7HXEvnrkQT4+lj|>b zBSTxU*>W9jDJd!A=etuiqpRlsr-6sd9ql>`w5#3W;J4T3owa6{gPFpJxnv)<|9Cbc z)o%LK@h#+Z$IC|1Dxxw9fe0G@8vs7=|3_+=GGRDJg%QG6AV@d%JQPy(-58?M^mw}Y z2;SMbJep_D5Ojfu@YaMU?0;o^y#HyN5kk?)01^1C7Y~uTQs<#>P2w|K01_ zU4@)jL*j&dwkZ$%Y;5R$etwLqc^|$nRd>A4jz+DY@7J?X4Atj7omVUk*Kk`y=8Y#z7?$!i`f^ zRWth6CT((5Juiehfn=gcx=xf{4xK_82Kqjr-Lx1 z1j8-;e{&3xGB#+Ih}z=`P`pF=eQ#{go@<92({2Bs2>@corw!R^2V^${LN4X}SD`Qd z|83>}f95&H>gY*WSt&pqa%LsEG{6ERE;JOI=pPi~Cv&l{ z$7n^M3-Vwzm&F`#0ooFHwAd<);LMTL4CS)@+~sw6Q8rQYyn_{Z&w)zDfl^OEF?frp z3D6S;d?p5bC59+4k+yH%DpR-8&_M=eR4R>xsOHz3adq#UBI?ZVbZs@5WgOj`_h@V$ z2wPD}c(2|^%J?Qs^ugqDm+*-9q%Vd}kLpzzT8#`V26M&Jn3D@~)?N9)qckxN=rTQN&=_sBa zZmrdSQ>G=cMXD*;E}PHXEVV@Ve?4)S;iCVdJRTB9|6u<{!PYtV{(79AaT{mIZi2vU zy&^YjR#mFq&t6q z?&2i4KbLyNhU+2$nMpw;lsW?VijovY13d(!LiOiipiHJ*b2c3OQ-7!?p*)Ljz|cuS z;N!g8i_-ylrO4gD@M;WZx|sNtV4W+2a#vx#yW>iM%nsNS>v0QP)6grZ^$pnrUk-zg zAc7l#&2+DK@pG~u0++T6$J0iC4lD*1o%<&Ve&L~v`lXf^!UoaX?n7Z^%)eV9)hNZ) z2XA^GE}SneO)eH!Xj+AEZ7?zh;hOTT9(W^#-onr*LQp-qy1sl)vo-iOfXO1}1Bc)s z-g{Y`>!_Gao_Y!-gCU}ZH8fs+I~EvQ*ak;H37C(7P!DgL8s4e#*FAn--)C)?Dh0zF zk}Wx3XZ!f#*Rw|~?6s>5%meu+vrLCO$`Hp-eloO9Y<Zl0Ugb_yEbIaA2!d`Arp z8Y_vPheM`|;onfM@p;G7S8vJxOsMykkKrVeB6}-BzU5P8cF-*>KvS;V5$T8%bj7g9 z0LxVz(?3GT;K)G>tus>`98m$^;XYy9Q?nnYu|nk!k8lu_ZM?G3irDBP^~Q48?QQhD z`#do^Nw9=_XtR3~`u-btm^(2S!-gmvIHb0jG zk3tX~ez5w-nr*P?zi;v=1NdE>d_PwIuXSt*9W!N}bOAHRG%|7P1&c7tyw`hqgJJ58JUaY?Ag4XNYb4Isq1pLn7CPY1cruZ0!Ew@A4 z^p?jdVFkPJpY1Ruqu8zWayZ|ribO{CuC+7N+$Uj7h~IaUf9vZ~)9C^|n=KR>5dJxb zS6cUtzK&_DIp+mw5&^RX7(WYTGX#?hLnOvx)dzHyS2+Gp?37uwUXE=k8%&)nJoc*+X0k3B~ zC2=oMM2sQ0)WH4^i*2Z7W2NcTipzyu*uYqOam{-)JDXRhjE6Qyh@DWR!J_to|6#;y zATer57K#4Sv2vwytNf#reJ>!=i%oJb4=#37G8&JYz~tmHIm~f9@UGtl+#Sbjzy1jqy9?YNcqX%QDPVc5{T~Ay>Z5_=!i0vv3QA zKcaL;JfR8?*&LUWj~xW3#M8ogJW<7A#`6t*izPCxu|30Gnma{FhKq^qbkt!v{7OcY zcbI&`5xs+qU~v(o|VA#N`x!Ycwt zi=0NWI4DX6PPiUfzI0(17daqNr*vsEh2x~{6gE`<_Tu}w>&5E+mg9VRiijo5-y}6^ zmEoSFBO*kyBP0@53_TLO%1uu2))^hg#8DW&AR6M56D+$TF{0 z+EX`O4P50YOH>)fbF5Yae^22yJjse;2>#uzP5^=nH8MVW0d4L707Q^_wTa!su$OzT zz3)De0wxoX2h&B&)7X|r_w6HaDh-{oK_5*hiXx>{Io9O`eEJvIqzGhlE7vuho0rx&SD589`Wzi zz-Qv_UQ|J@W=q-pw#tBIpx5n4Za@%S{l(`s9-_EjP6WRzXV|=*?)l$g(H3NFG{M^> zCO}7#h3;d=Yi&HlG8$?QE`Ovq+f# z56oqfH}vrmyQOy~!*Y{xi-qj{W#bceg{U4*r~Hk8moFnUT0!{ET9!@4W}~C@mB#DJ zKCj#R#xV&tmO(Z=gn|qd-M1csXAkWlE?KcZ6KE_c{1|C}VO8Cp&H9|~N_0f{yHDipd3Jj{UfQn_gacHt4J%K4GDx(yAVK+pYXu8OC>a{t6?X%P3O@z{HEHcINqCr5 zJ4_91$rni1YgbL5UZe@#s6IH>NL%2a_5Lww!Y?tWnkDzR!zK`*TeCZj>o%n0D-Khh z+Bvhq_cI_3WY%($$qi{=Lncl{@=8+0iL_{o#sU0B?toSWq*G9c;X85{@;8(9aLmB z%|^_&CmX0Z3Iecqk2O|vlS_+LG@AVELEH!pCKtrzToJn58!ZNA;d1JBqh`(8A5-)5ZHAu|oYNd`6nzNsj&MoebK(hrAiccoLE^ zu0xd<-2V<^R z;O8v-O7JMuq|$nW88WpC*cj_3q=?cPP0kshxK{bUNPEkuxRxkvGq}6cxVuZ^8VHa8 z!QI^@xJ%b=9e=cfb4DuKnb) z_A^7eRFun_%1mG8(E}{_c4}Wd0<)uEnl`92(0+afxlP-@C+)x~Iu-Blcnmy?=k6Nl zjzBQ$8vlhl**UOgt8_NEuLmwd$8BO@+T2byvLKau68cC83BhundTYA z-)zK2cg0;6($dnfONCL9LZ6=rq&fZmym#`{oGk526+4)Zu>EviVx+%=Xj@~vFl+f7$!gH2fIW5jeWj$rr81(BTPpljLjZ`mQB zoeUdO0@iKXb;Ck`x)rt|VTCQ@i7C}i8U8M`6~JmfW3XV?z@0S&<%^G&{t3W;@_l)| zRT=JS6VsPChZ}!KKHa?ibY$_8h;ec#cmo{k*Y*$Om(F)8H-d5 zvd^ds&j#kzkRb}7FHHp-jT{&Va4KVxpk=AngcRwJ0NyuKv;gDygfh`3MFHC55p`D6 zN-5Y_yodBgw+76W8Q47_&lPFOm*BgHn(m~o9n*KhdgH$|E0REtu6hrBZX{@rHC9-r zW1#Q+4kd6rpQFqnJaibOVJ@UPbR(Kmz@cn{6u3)fdImzF$XG=rS6cJ%0#J= z2qlLS&ZM%+m-}bD@05dcGGrm_k#GPbZ?O%~wrY&mj-?-lnc##`SfVjC^sM)6ApkuY zJHq`9RQ(ks*re2gp*E#|kIg#R|A`mj|Fc&o>92r5xm!=2$<}!9eeQqTddFg64_d^V z3-u$%9=dg&eG^cgAs6cMZ2sTdKg`Ru%#O~p*FFi8cUm55wZ+Fp#1#?p|957Wv#KMx zuk#DuBq@vgH?)`XYl_&YZa9_EeE)Z`8TG&N3*B|{$abkwyD*TFk}`0y-d3mCrEn(pzt1C`tuoAps!9KR zl9|GPa?k$(f0ObD@x@UUn?f{@W~C?n@Bh&?;Bx#*=JevQ7|AnaQPAy4e+-Xwk*20* z2JQMl78jvTRy$Vl{HJkcw!TX!YzBJ!?+(6d47nbxs2?pg zX+xWc2MEeRL*4rY3<@8mZ8}{y5gQ#ALZPAecf~=sx-cEqtAWHTwc@o~V;IEo|24s~ zxfg7vNxCt9ZLcQvi$(oAI<$qb%uM34@TAxAfdNGGfw=B8X7wamdCan_Q*qX=+m}j- z2f@+^sIxA#;j#70cdNhY<9 zmo#R+8uRH!tvX>t7TVJ(!q_Cf&^k}}jPdKuNa5>%exY=JptkM(3vR8@Ptu&&nF%2u zm?v6k@5JkYHk9X&-*@=#o|K|?HAM4r^&^A5=J3TJLACYesP^H&%5OOgGN`7EZlx=x?I3chQjiW6&_#}7EnYDRB1#&Cu zHb!`3X}@X%hx^NraxM&%eDaNj$?x8x0d7Rvr=oA$^qA9wPyt$)ec|`(J-ON56pkkR zG>$aL)V7J(D_&S^p=#UZ1#11MOvW8#iWy9a%0X42&U+>4HtfcbJC`8Q<{+XMZn>dX zrRU)u5o-ada$d>i1&KihrzniRRHVc+VLC*sgpC8^DOTxsdR;6cm{wZD%t_3Nj0c)* zvBF0m`!uP^7+|bNLS24OS$-kQN#{pe=PP+`8Fujw?Slq>zV&^u~pBd;$H|CXX_-QG%aI6_r-{Wv}V_&kRyU`G(H zX8fDG+G?v`l)v{mc9Np=uiny&sF-(&Ic|xt)aA5Y{fLTVG1LrBwpHz zG*la%T$^htLw3G+aAR$#Vz;7>A?Fp56Azs@-w&@rVGB2ea$8N+8rUyfWQWxs>B-r5 z3oMq1>{%P?!>BwMKQP)p#0_*~z=-%2$z3}^0y$v?v_yH*0HJ8rP9`^;1SXch!>l)1 z!?%3}J0fP6Hulg51*m(3OAA%$*sBR07RZB8ujr}9{TcQNd`lL z?ZEaY2oI+sCdfG2%|XOWx&!yEDIRWO9g$PbVs^YuaqqcUhDj>FpePS&p)RS+aA@rm zC94+O;J1ZXF3TN*QL(3Y=ugtYJ2Q=veY9-4zdk!J^5g)I(TXau$AyN{MSJ?T@B1D& zg|LuCD5BjJ=#Gwt%v|kG<>K;xzQNn6>Ir$oVH-jV5hDW(Di8iHVsts*<9<)kiJKUY zzkx#iS*r90x*ZnZp&&~6T-87p{|NVYFWS;P^6sp3v>Mw%I66pa!OYNFkSFU-rA{m_ zCvHK4ca$SQ%Y6ICtWLX|5FuFj53&&2`6;VJ0?5m7l=dh`kWz$GEHV$|`%?(UE3vY> zjeqb=ZbW9--t}~gflVKbTCQE$b8)TjdfkA6>B-|wX&iZ-(QA^O(7QRkRO52_K^8H0 zaCvGPd>A8$&I5uFuDtF9vKe-y#7|HFyw+^%5e3-3l~=?yx0zCC9e0MW%_oAbFIm|1 z8!-ntAG;l%*KZh)p)UD%dOdc`>ru#QiZ>?4&R1@NpT8 zcK~`o5M{i=r7m`!IMyaZf^2{HV+cAaJotXhunk?z_x5cnLM)dpYq{ze8!$*Gj1(hk zM4!Yl2kvZb1wk~?_02}L`L+i=+Ktf=b0WNVLS<|O=(0qI%a-mzB`aio+S;5LZ7%GE zEL_bUa?uKuKJ`N=lE)h8Vs_`U+o9v5;6_6_1%bZ|6{?=S20d#V!8=#_8l(JzD2H)l zMrI^PW=oXR*pBrN*{V+l_K6<(VIu(LO*emA5(AxZ^{^h`f;fzVvwaT}=b?+O8tWHy zyJ!2O95MXd#RmD-aWO9I2|UQpOjpZ6fr`a8+{9k;wcvS3rxSbQNgHfY9iZogyz2r1 z4eUK7&1TSsUv8DypVqrlGhgEvFN=Kk04aeC4lH?HBV6U+x~apSR5rp@(!w4XU85=*0&AVc514psm| zN6Tw|-mnoLG9$N@i0aN4%-5yk^4ie_VbN>qHeEd)g&kI#VWC)ne*DHUy+$*7tIDMq zkq#8q09%qHk$c`Q}x;Ik_Ympuid>e=^zJ=@A$cY6IOEmatZ{p(4NM-%*$Mk)Rt8)AV!C3Cc|OenQMSJ4hXQ)O-tS6lwtGDuGy%HU(B5ku@hbEyev* zg9pWO>nn1Tzs{O?BV5xFPl4rZii22O4)g+jdlI*aPoHKn9Kj zv=<9XbOw3}dfg&iA;;m8VnZ*Atyu;_5nq zThH=+AQ?j*=f}q&e42g+zN2b6dh+ufVCjrja5`5GiQ8ZWas2_haxO4rdY8kzHyGF3 za~pSj6;tjH0ufhdJMT)Cd%@%KakHBllY=?BYA>o?JjM~t&3Ym@@@%miZF8QiJJ%1Z zroh~)O&p9QqVnf0dUa@eJUX|O)s`&}eg=hD?+~f5>`GA7;cY;H=CA2xFd=k@^NmDw zl!t(4mm@+LnmlCnbHgPS(2o}ij|!S$10igFYuuL3mM-0n!V-?>KnUvL_#lq{1xRU+ zq!Ai(j9p`q$lohpu#}}#!?{f0<;)@5y%q^M-NhOgBA1)-LduxJvt%Hbg3q3)BzjT( zW$7SeB6)anY+5N8l@5G$^(7*yM;X%ZB)EX4!RMhNahqQ{T8z)bc%afrj$E`hS0IXo zu5?Iop^Z(q%))OpNG8+RsMq5goWVwpM^e#Xa?iY{nSeXPDCKU3VA{;E+w3>QpM2NZ;I>$^C_Q3`%&Oz>QxD%l zf8UgaaClASCmu`MapR8g5o;_n|48Xcc^lO-Q<6-m`D5$GWBC?E(m$M{m{cnym4gCj z0;@2nw{ef(pBV9jZgk{}FcSgKy8LgI6qH>HurE{>olx*#XH120!C%#pCqfP3<>=o^q zIwWuZOzkc0iVbe(UemL5@F(T9YwoC+DC_jE=yv1qo$iNI1-&*EnB$@MtVCu#&ICFx zge*&scaB}ySGqTE`t@H!>`NlMg=sKr>Ox`_;oKeA^ssVcE9)3dkL#y&xIK}Dx7BO! z>9txG;RzeZUM04&;(V#}>FcXD!Ve=o&HAsYG>%lU_RT%8FGb2nL6-H6jbVr%As(|x z?@m!=<=0;HgJgR#i({;U<;>CeXIu4UMON)2k2{$c{G? zv*N3DL}Wy=p6U7FO`g`2(08aW0=^#NZTn!1T_)YrvC&Xz}z5jw9l^6>{Q`9A2D``JNW#01M#TBm2>x0~g zFZ-0u6^m$G69MbVU6g#LfRFe%qMfO8$spKpdaA;gcZRHq5Xt&Ocbg2SPN^pK@+*Ez z(@B)xv7h;H0MRG5Q%w4j{#5;4*S#kKG7&FCk$j;d#PTx_-&EpHshD|BT_`6_5st)D?YBMo|)X@$T>3qE1~s@RYbCz)!( zKoWu<=Da!NxiE%r5;!Qs@*|wW#lRpLJ>e}?~R>Y$hdLO=8Cpr-ezQV&A zxOLT;I6+v^HJkGgJ(F7P6aMU&=W1kovp3hY9CM@m55G z!l$*JH=d4>yoob|{ly4rYyy>*fkF6>6GnaO)4MJ}9W-JcODGHUMu^F>$1N)MoI;gmR=_O}jc?lFDqvGcAw zH?&($A{eHANOk1tz%A!RGf6l*#-yV zQ~|=DSt?!5{0{54dxYa<_9hFb4gJP2;Z$~${oO??`Fk2PFx`QiuD8h&?@{T~+z6Jw zf5FM7l3(3M;%@vR(v~mYRhd1HQ!x%w7!fEmClTE9KpaY|;2_FYMD66Mail2;Ht4o< zY%ED8lo8$C-0W4!7Wg2VeVc#vztb*=5^`{))d<$DlzTp!^}P+7M;(kwby;&b(vcu2 z@7MV`S^pLYMrKP#736fQu{ITO9r8k#HnSu+ZM82@3YXd4xEfolaDX{Sj+UiF5?4f1 zHphT~_Xp)dRqp%@yUTPW)_sqK1#)%7fW;9Wb+%u^&+%5gE>R@mS@8yNMj${1ZQRKL z@bbWplCChu-is z&oL7l4{fDuCpDpcz*nGSl6^cIJB8G>!syZtLMT{m1m$39{dC*zTgC?fSku1+l8RXC zuoh!RN6%iny1HWPO%LH~)zmeaWy9fZ6qy$gppuZ3*Bv{AyYZs^s#viQfn`xne5YkR zqGM=hUKC0#fOuZW8n5Kzvgmr)j3}j*t{_qp?o-;PLggf+-KmPD8D&A^@*@51o z#?vJ{Yd-d{Nbo$#{%FmF-8>sjARu?Ljqw_<%2~ql7e4Y&QNNobwf)txy4AXdNVmYGvyahxU0^}eYxf4x=Omv|K6>y zukRgw_>-4_fB>;Xpy+qy+$^_@WHKHH;+SSgH?6uHF(^C#9~JPMbfXq2x?wG0i3(W; zwEr9IW+z)b?EgWACA}&aP5m{4{Y~JgwHjkdfB9pLa5q&XCvDHw)6Y--zGuwfA6-?A zx#J%1y12UPtJF8PUfdd->kJCI+Mh;(j*Aq5v?5TJLu(#~zt^=9i=x)KYuEy$=kBM&D<6cq%^qr15HDoBjJ=3{g~vz3pMPtc&p z?vXq*G%|uF=)98FqBb|5BXAF^2amLG~- zlK?)DB>6|zYf-8`%XPrd=9gs`3l^dvBTLp=xYN?ltY-0-jFJD;ye_}#>v zLet-%7QUu}0;&$b+Y`0<`P7`_kI-B=@4s-1f2I)fE(yvmAbCa#sG$yy(Dj2{o6(AB8K^m1a+=%vTgL5jSFO3Z$-g1Oy6F zD4bOrlT+qE*C!^-{2=sPjTh#R9k=IvTv7)#;omU0n>&1kvu4@jQ!IadHJDw@Y`$e? zy?q;W7^*{(3!KTgSeZjGGV0s}Lo5eUtiB|R2kBR=h!GVFVO7N8`qAaC)G#fnaG##4R2D)4T6ToLb&HvCWqh3YwnQiUp zH~SqjI2iyV81{|U*)?3=ox+yCLWKJ&XC{dGe_+%ilP4>2pDW6@ov(x#XL8iM5EJoEgDwpfIGnTlunylVWgqZOR0h;eA%z!X@Fx ztrflLhgIbi*smuJa`VwpRN9r|`!Avh(+gf6!!4jQUjbZp##N%ob!kr1tI*VU4+lRg zj!msAq4R*cCw`^T=?{yC?pHu2k2tK1=X+UKqB3Mud^T+)r^#+6vKrj5bA1PrYt~;G zOwo&uersB7sspmeVcJtPXAVMd81onj8FB!zDg7~D-!&mb@xct(NQefIMC{4?O_eRY z4<9_01Yyd!u1_i5E&D`Ge%pBpL7D=a(xJF_zTO?`N>V~pwVSP_=VhWJOd1VJ{C=Qc_cND+A5Hr%{{|&crt>k zgpZsjdodjPD^U{&@~=#h->1U^r80HDa~WTo-j0Swz^nK`HE%0&v+5l!|D61 zlYsiQinTq5SW=lLDm~%QKaNS*PZ+*3W|lF2duig7 zjSsQ?74D+HiE?6WL2sf^jnVE=F> zm(7IMCynp&y@m1%+80bL&&Q8aL$}m9$PX%5sl!(%)e8t!ZyWAvB-Ztf~J` z-{FZ-4%eLgTkWz(yzon2+Wc@T`Dr7d`=+qfXY^iYD6UT2Yf5}o=Ss)}tLb}FBu9*6 zZ_#am??`s0+cw9^^=M3cbsQJ`N_Uz0d?EWJ@gYM)`0p|T0msZ3RG)fa$2RuU!W9OV zz*o|++YbLuy+h4{~fm z@mM7ply`1vB+>m7BF#i?vD_KmeM8YOHSNh~)+3FBQ-|t2=r!2fD*VajhS%TIQ6?C; z%pGS;Gk7M|4{p+C%-IJMapQc1s7}O1n+pa<@=H_Pt?Nn?EN^laD9H&K?b&ZC7{K=w zscb4toHP%7cQaK~d5={drv33_v!5RyIwO`0Yn@qu(fV%ITuY4TLz5Ko8j_t$(j z>Ujvwr^h#G?3%chpS@{SlFd}>e#ue7HP4fbeJ79Ei`pjE?%;%7=rpZlEL`@d?7I`| zJM-^GUhCyvDaX9HXQ1K{C6qv_=y%rFH3_Umq@9O1drPOkv!=S`*8+ohaw_o=`4Ve^ z`%SS@Mz}VZg}8PHkyTTglIXRgUDR39;XN7J*-!3(d3M=wL=#g@B0d`)>{-&6xKu&o zHODpfE2ec2w+s?Z>>_}?eC*!jx!iPIziTRMup7Lq`mhWq+9^y-@q0^w)Izb#J|Di( zJQpSC(PMc455c^OhFZm=!dLWf;$2pzsf{n?m@ss#FLNLhmq7W5hkOV+?m22ET1_HS(GQ{ z<_MvLS=sA@+4a->PZs^srIjZAjBEL%uwNDeW6i7LYWVv$e)ZdXJJg064&lLHIx%T6 z5hDpKcaa+k&#)(Fw-fIt_g_dKlWke@q^d@KMF8?d1P2H-4N1!V(?3UnIO&V)QLwet}r&2I+FOB^;2*HBs0$?WtQ z1?USk+sRk}BBl9NgDOZrHh+Ip?3r0tGv|u1T21WNhDjfdYBPN8I}@f*wHi$nn9ZVk z*go_cgPX>MF4`kNAa$%LdZF5`{8P2b^Cp`PPld9XAe7QZy0E^yf>dKagJ7AS@@1)O_HwmYI#%HvL={%<2vnRQrFiV6GuSS2!@ zbL1H6E>H;m5&0T4_NlAP7IL0(EfHXZ^m8HntD*i^(uSmWk6Wk^AtsZUnBG-RIieV1 zO?qeyqKDSZbY@UN!m>`q$bgOIgHghUbfl6~n%8&&)6K9S*o&UyUeLN(*o~TkC#(1iEb@6SC_; zMb<`>-Uy6LUTe&yfjG%T3bDRyCQYc1<83VATN|5F?@vZHXw@1l?5D{79WA9%GR-&) z94Jawong%`ZUylaq7%*|SLq;b_*{Id7dzLGUWf-AP1?NPdI@+r*)Bh+1SUq zx?5R=^}pIlZq_IwiK*GOy7?(EvVFSPmAw!#KPz`fpkxvr;^FSlTUzff_ZgQ!H9p{b z3;|o@a4Tm)NeL`i7!M%6kIoP9zP?|3oN`BO+Yc4k62Z>u^T#Avl0%VS__MtH*8+pj ztOjohX_WRxmcKMNH|KU)lXQThzBxEfNmKNrHtx(#7|?C509Ea+ld|xQoTSl2HK5Q< z>iG+Af7Uk$zHD6;D4Ua`*AxJ0xWf#_nj<6bQN0@65kLIiI)FA#fF;Qsq@geFtv>hI zA%>@+FGjJ!zyYSXtKZ;D7D(oSM$3w)XGp*lr1W$B=@-8@-8ITZYhvk06ZqNHv?3D- zV=m_Onm3a9$DGAHCXV?}kbdp%36OD-VM$*;`Sk>* zS)rHm)nR6$hi;((2p##$G*Wvl#-J*7KntOqx_r=4n{8N@$HCX;c#N+!MqmmzVh=sy zl!LXTj5BR~sjv%zr1_(G#&u_t+FjMcudE!E3kmaVbh3{QT|GaE3O<9I)qbEIEE`0& zX4#eMcTyZF=g4N_A!WY@eJuA;=d)c#_xQ0(*a#IuUD3w zNN_p{*bd7moC)q#Ls@IDBf9WNGCiGpFl%D7SJwIClhA5L^e9S-F-ej_(@7$C<11|{9CIl#n4B%Ytk9{o(@B7ProtW^>-P3{#`;9kjIzDWO*+*Ddr$?AoXfoO@Pfz zX|l_%@A*($ZZ3IvHk)qN@8`s|wY4i^ol%Oa{b^di!WJ$q%0z>xu)pD&IkJOKOtG!c z7d_p>B&`OI)UC{f-*foageUMk6O@MpHb_W4><}J#DqX5uNXI$GOZ^)}tzNehbSgiJ zN^>~rjrL$B-$gzrs))LcH%|Rr937}y4JOn*Uf=tSB;(oFU1(rkVdI5HLT31}>{>^5 z>2pN7Li1!LFU!nOMA3&@ne%DPZ|?PoNaQ`qaI71c(%K^^`#dc@-FOSCs`R7H4Tf1lkmm8PcS8Ma_$ualv zffFk6cm5!>3j`L=9WU{?&%a12u_TJM16~rJyVXLvGVIb#9mw8$YaNYjSiG-Lef3u|UF&{ZATnoZ|fYRBQ~wC-R%# zNVr`Jyd-Lw-!oP`ZGV@z`_X@SiNGqbWo?{55V?IX;$QxBe;0~yaYk-UXEhm48=72(H-Ah0cy zgll!;%tWFwzYAjLyrAL{uK0u|D#6ZW?dhXl5ICx{&Tb8<_ws2IBmW`ro7n1x=fl=W zz}W4se%q~dZd#7NTt~d~bs(L!pGLVBdmii)*7${>r0+}rvq+nB>CEuzMi8@cy0QQE zYoy1;YH`Cu@PXjpq}&oGsN$yhpmi$m)+jIiR|oFvVP4yJ@$8m<7j0~D=nRs(QyaxS;|s2?cm8oMtl7`1taK=W*0 z?ZqEIw_&LaB#Cw9==LVPZ8N7bY2hIdiX2$$UO;)*lB@p}NJh4b)jEmDDsLq>;gCA{ z+;5O$Glfw2hsZ?H(90G$a#p#LxV7a--8yAS_qPX9b|x+9)K_Ak&F@-r2hOVd{Tk?a z49Nyty)hKqn!+cfI^4Fkp4PDodq<6RC35pSUIhFC6Hkw3!aJSjE=1(x*R+?TOf1)* zqO{WQaggv%TT>SQYx-~DkHE@|k(Y~DF~%^1!f+S3vm$*h8m2xZz#wK{t&-Fb)RLq~ zIMnx$**z?j3FN=fX2Pl_OK9$NA|7u?9&Er!UR@mn`+0dJp>}%8KQ7Ar|dv)2hS4Lk!Q;Pwdtqp9HGK&!7qIU zh6M%~7QfaKevK^_YG_$!TCnJprANb|>O^Vl>&tWl)>Oaq$5<#uKBWVSq@1iZ$b?BP zL+97OCt%!qb7<}4gScn$qc@W~|KVal2i8k^s=Hh%*;P_d()w5gybalLA))Y<9`P6h z@h552*9_M5bCgLyJePvDd+jeBLfvH_gLcwjIQ6E&>1K|CyO-C0ig-YM#jn4pm9*BT zbdUT@k`zZFwbwK;4W${xO#E7^&=`y}d*3})LfdP)OFySF48RC<_bszZF;ckyV*TJs z&&IEi-0HJ38$yvA=G_ ziFIn!55Ow24#>rQyqu&26qMm~9-1 z>oVEBq+qV%6hI)F7p1ii2{f?K8%M(X?RPcpPeHeTpCL(ngTLYYp?NEReb!xFT^c@g z;`FXL=!== zp8y#CZ`07Bx8D~Eo#g+{cAW=HIuBv;M(5Q8DE`Yu!RrIfYP<_?Nfy67jd6#++VK3j zCbTZf<7p?Y^>~ijKM%=w2V495(NO72!I1e-AN~#+gEAdTqBeWMbvlskp!{i&FkfxF z34KCArGy_E4<6sVgHNZ5B8k^7w}xr|N0bVBJnR3{>Q!8ocFhj^1jXKSJFke2=1Ul} zP_L%u=Tm-%qW7TJC_qCMF-UiKjLIfAM+;Cm!j(EE^_GM>6x@fX2&_$m?#XTVNHfRE z_Er|cv15y8?aoIyI}6-*$D#4F2SS*a{#YWjlZU4NRvGA5fzo%<=4wo3!XqNghEwP_ zrg)&maNzORf<(*MyQVdv6zkP~Xw9Q@CjJ^ckB=wvdOK>jbT;0X^J*h+Fffz~X7c1IXQj$gmg!Dh8X43i8M-p^tan@@q@bW6=Cwi>a9pJO-(TSb4b7Qy5&w&Dp!@H)hvr@Um(P$?-$NFf ztv$YZ^o6(CdzZv4UhO9+3d1`FDe$A3HjVq8`?5a;heyD>$lwx{bKyn!J(;ruTdMby z8~v3?$SRvn1phsEQV?Z3TjEImAej#=VnBYnGd5P~MqM+W$kL*@z#<&7?D( zNIIwO2fW#^gE#2z!LX(l=-6uKE^^e5lORCNef5kxX@M_{@Vo0TXYlL?zkpXD4ToGt z{omTZXZ`o+WXt77zqCg0nXWhn2cD~qW=l|BTE)p;`zNgV*b<`^)ItU5c*O%nx_LgQ#ahoODz?`eO2r~<0k)=@cb5Dyt%`mM7=op9JqFC& z@Ba;Vu#2V0kObW27EOV{HmeUF>)=pF8n|W!;7UZ`Y_fCe8=<9>$yJ$v33%- zkzU`@&H@q(HAg6bIIx+kRq~GUVq`~^lb(jbkjL$H65@6j(U&u}@MTLYT6AiinPTB( zvfQL19eOfkTqN_nua(kp`Wdjqe9eq*)`uW@Gat4aEW79<%!DDMdYT)g7|<|{x-Rwd zDb?Z=59#+^rS+^5c)62~;9lPECS%t&Hfe0X-B5KdRk*J+Oo2GqVJH%_17Bhvr+)XM z7Ll-6AA1>ggVs^eiYUKJKooaCOJc#Vc3M*LlXg)F3Y=UO7fE`;? zph~x_oVYRf2YW{o$e)^=BMnbS@;$&wtigQ3f zUvA7JtGp?~!MdgfospwGsMzswEkVnm%PZU%P5e46L^uD9b>ai0))SR1_BmqGT9B)w z3~A*KiCWJ(G;UKTco$*}CvA+>bz~KZ15hb6s?>tuVTb5Xw|>+E9(o}yz~zK|55GGe9{TRDDn|71B4*X(_P3+wM>{_9AWxbA`!wn1h6 z@X^(v$zxKo_yL&rYYUYaBcjiQ5)Z9NTv<u8DCRUGynTte~2x_eQ=kee~MowO+RsK(C-uPFU1wyl2UdU?+ZkryQ zQMHOFiiSn7_}rVikofrm?omL(Cg`4HMch?Vf!e#yO%t5Lq))}^*1RiIQq0Iz*N8Z! zM@z=1wWcdhnAJ;`B?8E%1SHSb5u@&mA|oh4Q0bNW^x$F-aX|(^u5mMdzh*1hm7ce% zOwJtmtn;wbMC0=GiCDdYCeDn5)02tSK)mxEYPWP|dgWdVp6*fDhgK`;*Kon!QLCyX z#sR}Y8q2k-4GQHI@%UMh+QP$$6SJT68~*Y5 zL~0wu+@}(B?v(-sDi2Go|6pP`i^)&;cOAQKcE^*VM2gXJ?Yj}a&sv7tZ&qcy|B2+J zMIODK8*65+gsC3q?&9QyH0n7Kk`XIY0}jE7jHs8p-0u<#lrYP@MY1k=> zV0_M0Fr9Ns3$&{dfWif;!=&CWyPu);Yt*cRRj#adk?ToX$-DLNYPI%5>Cs+fG1tFx zJZ#<-OL7`$WZ`54P#IAkqys~#T+m_~7sKB^-WIl*nh3@v=viN5J-U7D2ov0r9^0e#+)TT5P4h^ROeb=$7Fd`H0m-K+om*P6|CA zI~Y%#HHqjWM5u*xz^MgY^Rs_ut+|9Y59B2Suc!^odJBw}@^X(k=5ghopxa5OzDkcp{0Sjt@3Y)-ln3;1*&N_JzFwUK{la?qXkH*5^Ixx*L&k-zfxGqA&)I*TY{aob={zvIdy z1Wdo+bvEt_QLk}Li{T4cf>R!tQ|YJRQ8G}_-FW%Y>8kwqe$n2p{s$?7p-3c+r z{xt>UsKJd7kml%Je;gu^DNI*=d0zVBdW1(oNfPWQNU`COv%k5mp)m3~AK5?vj7O1D z$zK}?v-So|M10^Mjy~2w9&s#w=^W`}hCEVNp#e@PKkIwvU#(ZWT<@sg$=m5VCfRB6 zkc3ZC#6Jq2tb?7IKAGK?xVrJuthDuv0aUP~JHt(GVAlD9d|n+PkJT0;0l%qMmn1lX zYHKFq9ys$ou6Iu+aiu%>^LD8-Vw*(i%Yx;KaGb?6^(H;mhKX=`{2;kvI_|W%B(=LT z&oSF;On50(uq~4rK(`$>3X!xy%Ik~J`RD0f5D1O%rvH(1kUm(ju9I0Vvk_%pK;`W* zwcnKItQ6aiygYU+v8<3!Bu(|a1g??&-$qyueJh(8lwFRJNQ!-6<=ptA&eXLP5Iv8_Nq&nIbBNKW= zcK(2AbMEf$P4!Y_n&L8-;Qh0W-!1-H?$p+utHhC;3HN2SO`U`U?VD?BA)7Ed3Cnd? zv?W}!HpOl9wFS%{aop@j4B1vkPVn`MVSOzs-ip-?>=49{G%U8{W<$9dk;PSHxVIpK zy2M&&hAj;RwQgUelj61JX_yL%D+)l$%Mk}nbN2KZvw9c7kS1=}s0&b5;P0pe3Ur_e zEipG}!YslE&yo+rr1ws&+j;g?UbZ=cqioiznCSyFK2O2pg`t7X`GR#VxNb64F zy>sNGe=p(t^1WZM&??Sh6o939$w<89jY*z(_L=WMI^uBV?Y?^QAnE=NA{n?~Tlb~{ zV-&*hzBjLdB;h`>O8uzeK4?LyZTf_^3n~8faSG2{EG{@+XOE*8le@NwK7V3l2uogV zL}3`Mt3QmYUpcR$m*@Iz&OK2KS&qQ&v~mp^srbNRa*#$0@T&B}3(1jrho6HW3CS-- z#n^=8HJ-t%EyhV6nVb>hxlsyZXfgw^Px2#dRhvkMqix2Kof(YngbLGlTMrC4CG0-) zDte7{lnJyLoZ~VBzZ;q18CArCg_V@OcP@kZ^*0mc2nPvZUHCk)03ghAW7Fwgcbf`j z^e*W-eD!e3z}E(foj=yyQ{OV=;D6lYMFw=vhq6xyWI2@Z*plGRM|vnByw(Sv8Y9`} zitoM7?<2nmv_W1eKTEh$*#h_Xk$}n&+9~siopkcB&lo=Y;1I10*7FGNoqi z)|i5p&axNk@g0ERl++zllU^2#eB?6*!Z$+18|KMfw%E^mT)r5Tpy!1b_|AG}nxgkE zqqv|i4ZbGcnYeX?C$iPQd)&a5IDz7LpOrH6o0S#hPeE>kf!&{#bZ)-wFm0S6HmaK; zmS`~EDCxZ60R*=v`E^Z>l@Y)zfWLDeSNKk~v+= zgtmMd*5O^x&w(6tQxTSnc1*h$ioEpfr~PwPvK%>6G^y=7Ee(bk6BQo*HA z+zJ$TcW9wFl;ZC0lH!uKxEFUQ?(Uiv2_D>?AVouP4L3dCIpf~@FJoknojLYenQO0i z&G|lBwxNYYyNv!PeU~;Pj27b|`Z)@Y@!q7i=D>=_ zsd^66`EZtngF-KXE#E40W4jQ{cdS%(nsziuorVC3(e)2-v~cotmD;gZ`Et99Ka=6} z{S^y2Q$lkI3en)jcwC%MumiXCjX?cx481D4)VLdG+O*N zoYU67zm%H!ts;xx;Obd4iwTZl-I?tr=;{Oo5_#aXaRYO{=BVrV>LnEA0+SPCC?J`)ys>GO=-^)wk8ToU+iccUMEfp*{krs%Hb6USf2oPbA+eMSg-a0 z)8>Aq7$To18my9oJthWR#G*#-D1q0OVumvmiTW_PLtOxqHKX8zAQqiL*TcVYyGM*R2)VUH~CLZvkJ6=bEWK8xNj;O4Xgf;E;K z$|^{VG&IeaGk*0u);ZW@K{2yk20tbD;l-}p0YS!0VUA(We4j1|pOOeLuqb^T6~;GI zcICI<{NSsGYuc-~*0NUM#Jh8wQm|?NRE%ZuaX#3oLeg2xZkD@@4~{lZ)Y2TA+1e!? z4%U0sBG4B?neP;_6&GrC>x`}j+1H(9uHomTk#vHoq^a0vyd6J*p*++Eille)#-B%_ z8+s_K4AzXFm<0Ive!H{$?*E2=1%K?=pygljN2;^LyQR4pR;Agx!C!NE`?e4}30E7A zSW@@RIn!sT(&A_aXFHfFdyzw|+mnb=UNiFb8AvME1N2Sbs)*dR^$x+*{vq5TSl{z( z;J)Ty+~M|$;PA%&26lJKnBkosjS-h#E3N?_D&sVuuE94M6P8*@Jibz4shtxzKSp|q z5Lb;?D|9jaq$A{zV6GiAjIDb#NT9E3AR7o>092Ie$w(62J)E5x=X$KnYc8J0=BvmXucX3gEbjNl2E#Xq{a$aMepS0|(IiM*myPQ3wHD>JDb9$1f_ zmYoK^`ptKtn_Yf9bza2Xqr|cx^r%*U^tlc06-WG1( zVKrAz@Q5gVvl|0srGBDr)yrRRG$o>{+dLYm-|ht)Y0NWXJ`fBo4gxZAL5Kig#S0ih z+~V%aT7U1gWjA-&FjO_M-BhN1hEvJCgG9_7IC#C9slgtVsxR0?rOjYK=xC((yRhLT ziCsGdWzD|gqGKnnw6Ovl8Ubj_q9-omNy(E*to*bdWj?<~S8iTZ+|nkUTC>c%WA7{B z^g!6_OJu$lJ|-lxNI*=fFgN$2v`Dstz&-YxU#zP;J4nXobTiDO)BqA?5d_+trvKA; zu##IQ-G1)T+^gx#osd~a*iuB^NinaB=GD=K%x zxUThzf?QngJx}?v;6-UVt{gyUe?-8>b)0&JFCcBQnanGYTDiqT@XyejamMTG7Nc7> zB}FlQrKYENjUiUvkC&)evUCh2{|p<9zlmcpikbp8GF2haXc z9HS1n0taRZj4ep1>Y~1 zW5ZzZQUb_ay!-HqlwO>As>O))HD#^NP7}R!yH}B3VA@Ixc~Hyi(#ROhvM=+oQC>c2 z61eMS4$5!Bn4tCVgYjHM(Kq^^;^=em9`nXs3?{^?=rn-)1F+{;-laD*X04Gn_15&6 zC3Gcm)Hc@WXH8JunkanySdhHy-qt^ z*-M!0p$PquJ}otKZ_t9*Hc5x7@s@KmrQ7rQNk^wA9~zzKfmuPKvy!mU@Q(qc^Fq|S zKXqxH*Z<`2I@G7RT_`J*7}JqT6k_gdwM-t$Q!rC*wYovch-=mu^qu6tt*d=5Hyzpw zQtZo?99t`3T=3XsdBeg40uE7^h!NV&m*N{YtF`V`kBtZDt4mZ6XRImr{_+g&0K@l{ zT647aNa{_`Y6k(+-jPNtKOp~SIH7M+<_X|qg3B&Mo6m5|r)YXBpt7VNg zJ&f|&`BkY?$Db~58#XV`hJC}NNb*_k=SscoOsMh0VvsySlz3bY|U; z>Uj5^@(Nmaz0#LsNpA}cxeJ;;!7=E4yzdG#c7-}1>)?DI*m|3VX7PnJZQRxMHy5Ui z$rz@Bs!(HG-c6&&$Gt0;Um%Q&3k$30OU9YzunwZFRBq@3j~{-8^(Ax!X~5?r8i^~4 zv%S1Rqf9m#cLH45T&9w?Eo4C!=qQ{Ejzq;p&`QS$U{TNIe#|BOy*l*6s9ArMayIo1 z<>3}|GcrJ)DbIfSg2(;{WSmHnhcbhp6P;d|Pc21aR(zF?IScTXH}J^8NKlqAWqGX4 zjkpIzHNhztS&I;m=%nrHhM2L-b%8M}ShmBp%V)Bx>MOZWuz(~^aqlS=<#j*;D%DE>qZk=Sjl~4| zIp)ZH`f?q(Mn5ig{GVkEN4qyH{YFTg1wjJ zpK&7A+2HXTYTxxNGVp!<8!#k@Ttz;+wEv1sRe9fGgH@_ancLUF;TwmJ+At2~Y~)@+ZzK=`D5I7#FjR8i%`?qevKr z?@GH;ZT1VbYZTokdvxet)$Z3qaW|IMuQ-w);xgFN14Sss<#5d*zqB<~cYo-)tmU<2 z#zt~Gw>tRV0|F$)e7uZYh)+Pto`=;xi~1O6Ak{zkpk~Vh7u9%+2+?Jg6EU&+6b!<% z1a>bu4!>5{%Lme{tPUqOxnnK=u7vne8K;k}*o*bW+CFy(o%5(47#>+G=z3 zl&BNLWF*Ryhn{)8Xv^bd63KEpOyx2|C<>sKI%y}$$jVh%l;LEPWzl3~_)E`3)8b6; z%Pd#Kwh6t`B(Y3q7vL0;h?qZXcr8e85L{lWi;K{> z7k#hHKB50d?PIsjid%b^>yw0rtMRAYx-LONR-NLhF#elTS)6lS=MGnFNTZyGfFv$4tczvb`bg`812yH#Sm%R_FFOX5 zPkqc6JlXUB{U+&IgvRuNk%fLER}+w0^2UyUT2CNZQE9!eot*=J(IuH49x17+U zxR#_zqurBOIg!m(5A2fFt2iOFlo6s0iIJ%J@$7=7WasE62%4wZw2vvAsV`%SvV6i|ndwROUB))U9z}(<{f1S2xz2jna(pdcd zkTYGaU2_U`+e6I@W}fVU6=kDfz;k<-;KOB$xEdRtPD9Ofo#nlFZdM5vTQ5)TdE&(E zIxH_QVzG_?%yaiy#dm_HHg3D{T11!jvp1$S<rYqEq36E_P46dG*31c9jWM#-Q~Y~ZtnTS zjk(S)QON;aaz2@^D`(nPm*tczt8FQ)26F(5AzMXRN;5?NviG)9(DdVdr9o#}6)v@T z4T{90M81NPL1)#AH*!~XCykQ0bX%Ge#d1z8-VM`2bv`fls%57t##0w6e(#nE$$;*i z{eD0muQv|%l|x6{2Gb#_SY=a*yatLC&L)<x=%A=zlj|a|2gTNv$Jz~g_=vWT_h>&R= zql~`bC@xjK?TYtcoiZpk0&L6EQoCp2O`fP$10xZX2D0N&*}qE!XBP z?bMLUxR-KSJdJNVTgkEGUi=HTcPwOI@Z+o@3}JbnW1KUotW?$1pC4PV?<4LcW>JQJ z2UK-;bKg#t2oUlW{wB$wY_&7y(CV#IDBmsw)zc1;fX8x_PbE{XhksBE;Ekz$Bya1s zq7Ur20<^j45ndc5^U1)}7@e#FOVcw@JBT#8EF_yLF7|e_J65nGw3Dm6^DWHbqZ&W_ z-9B2D%|>V#G`srU+jGDcATe(2uI?=)9`7H0;`HSq4;*==49rDX>$TB#z z+-y^A<4C5doH~Kt8C6B1N-3`!L~y+QBG0UkMBLF^y#?WMp^yxGk;{2K?~I zLh806h@Q*iabu?vVa54DacxV>_V!T0 zT)A2`nz{(Ab7;4+56q#LNU7zzr0F4hAYuDdKC0V9i4MXmrQoM-((IwN;I4SepE>2? zH#EWK{~}{*MJicKC4m5Gz#sFy-?GQ4MzHvcK)JTdlm`@r+iL4Mg_Q(NA2wYHKa{PO zj4QF{9_^H-E@MAM0m`&aSY;_&t@y&Y_Py+aAoZ>zYWele1!`Bnf(=$xxfYiRKmoj% zFr(hNHYVPb8p~;W!Y|cEf3DQl)faYX9EhrSKWKiw^D0w}R5Gwzt>>^iROx58z!>Gu zv!9+NN{80L2S4m6%CrXb$A!CcF3k>?Unw3p}ea+tpVhG`O@mC4hjuP!S0 zas>R9#$a~t2Lo~^?D11CFg`RlKxUXYR*;m3P4_JRjv5b$a6OBoLWM()Y zY`SRJgq;)Lqfk>UyY@qa@oQ;*s5g0D?UEc#Uf#>F{XdP#B6G}+pEXJxt?VBvSpuu+ zNhj`=)R*P(i1KQHOlH3Fmd(YpjKrnwy?^cqWM!&-5hMis6uT9WliY!Nzj7&j@1AGuz} z^T5iJ= zK{@2soPH{%@J8<91lq#^+rb6$3ZD@be_)Y|K6$S7?2SK^78SDgenph{QqfXV?E@a8 zYWB9hDb|{gqQ-CkSPz|}Qe76}HHdxtsUL-~N8~cgu9r%3oMQhp-i}wsDzOW>(*))= z z`#ihFnr562&6K-_o$NAEI%vgKkx9jVuz#)!!{L6|CA~8442c1745zAw1z{xdcV)MgZx{--C2F*+FjxMl ztUPhcT4;(poMafai&9^Hq#gO(pV;xi`K%EB!Mx8TenzwTO2d@ zOWLy)A_1ca@W)rjDXqGO4XOF&o_@~RLL>1NUW0ngM8YeYcomXg$-VDxk1t21lYg8T z3I~RsUu$udrq~?DM^3#u-#9st-@ZL|Jd66hm7Oiprp&hNlRhepq0U!AklIYW>A!{W z)V}}ipBqE2x|t+F-jBHhzTJcqADJ|Dnh&)GJn)4*&@mZTiIq8BSQNSZ#PHPG@V?rX zs16p@Urw)R{bID9U;~M8*`UV}ucdKFS$R8_OQtbMnBpQD79^(_Nyx5nK++U|ig5I? z5yE#(n&K@QB~hAEO+ajiIsN)J!ET*J(slKCAd=m_u^P{EFc~WmSfH zoPYvXJNa4e!@+~XD;C>sk6nr|g86l|D%(~Tm>kEOJkKBnUV`JC*o;>^P)nPY6=0v` zULns9VV`ZGc`5dVrL>u={<34%-+p=*a{Yt=62>@#u!`T3bIhduXWI-_E!ZV3j+^Du z`ii?6d*vN3;-Aau`iUfny*f`o@tiIQF5eoDEv)4tp9LFDnNo}C*vM89mU zRkakpLf7Jxk3cqYyFY(S_0RH%XZd&|@H!r)-M*Z+xP2`uEWhztER6~=BDvQ&p=0xq zjocdwN$n~}6RSJkT4h+3k1SNY`%YYwJ&D>_b@vMeMciA}@&aBZCvE)*$j(LkG&?xoB$y;`-efo-vmygZw|-EV3_lO7-?R)p_#YcHMqk zdoAwPDzPrtpf$aZi(9To7JaF@AQ@LI=-Z+8bip8z5_~*Me^FLtU8-tv(OU(MX&*R+ zNfu<9SV7niK2~oxs~#VI^2Kwx*r_T*nuKm0=lSB*)WpRMN2rbXx_4Z7PGw}st~dED}kcOt5nYy3OtnG)-;P7k7-GE`x2BakXW351$K8uKn?Z^1c4LF$`!A~ zGeB!KZGlV|mlM~y-O)DJEymRsfd`kz6LHHXN9%GU)A#5=`yl-5IR0#=I%>ZFGN`w~ z%;p!X(T}+{J$GcPtB9SmnOdPH$(eF-5s8Qa0~4(}m#X!9YIJxnVAAUJk{ZX6-dgIA5Dz`7_y9(KMT! zSZgxs#XoG~@KV0+_wQkPo$dDpu{}(nvy0IDB9waIb&-Asgm1}!MW{+w?IjP zF2+bOvxQ2R#2GCk@_rel?0k6aT*^PLTM|TyxpB5x3_@Vtwxe?C7ot<{Ss{4kzAhGt z6Wrgt>4b!Z^(4DU-+v>P3V(_YC4zqXu8&P3)+ia{zDPP2@~_$+MEkrGPwJuM;++Hr zJDcGTFJy%}rwlT1an};vShu*Q38`4hORd&k(EU z#jj2|S6{DL^1Pv-uvGa^t!!tTqvi^2-?Ac=IpKe9ekjx6VC~gDzEUL7Mb(1CZhg?B z5{&4-FX3P#AH_Y-L0G-_9p`MkvBDh(1>NC{yvDZv6XCiAbFn(uSVwDm$yG1ob=6rN zBTxJ9!Tk$&IYiQO{mcx@pe_#8OjT^e`zxD|0}d@D!=K|(60O56A!vZ}%{g(L;+kYv z_T_-Ho(B5X3(tB-n-5Z7?q<$IL06KKW4kbO}-@LFstp*aR|$W7>?9>>Ck} z11|HZWaR+2H*b)X`hl_$K_4DX91I~ycYxnw*Yddh^5P=Y)FrMeTQT?^u+iu9!y@`) z+`^LRhNX*x3Vm%I;P>Ltn@8}Y@ZsH2yLbHIAJV@KXI`)8l@*fo2~quG(3X21e4PX@ zvp4RBf{+ODbPGQ(_uadI>T)NvKuy1iR zqrc&b%!k`+{A>VHpeqI8_PRqsEC7C1`4LP3iXm3lO(a{KFw@P-ve6u#Q0gTwE6667 z#ZuG=a67Ykm6RVy#ryiwswy&(@}hNRTi%^8GR|4|yQhXHfbn6+m!q++j$UL7emAOi z2-x0I3!QxoJ~^b?I4HG$C4l3t8>=R1q(`(CWYHnudieR70nxbG(A6W>{T-&PGY;3T zO<--%S}w3Zvf;mxhri!@Mt-GJsKtG1f5Ts0QCx8S6PDFYV$^LH4FKb&@i%fh9cYy} zRfNj=LQenq8!yD9z1_KW8+}_0K_pWViY+wl)MlK~c8PEne0`c_OXrHvI}A(U#Mt6D z5K|ASYqjzqvZ3l8p54&I(h1a#V@8%_X1ngoR4lvSBnYz38s^G2> zl)YP99ieP_d+Iij%VfAA-ma1(4JxLdtTaPEp_B{`oPJtEXuY&_l5LnWMxXAo`rk~A zdZoPIGldCKXR+|*DSS#YnxEscQR?ARvP{Cru?Sa|mq@*OI`+dTzGhHqZ}jKc#@#Y9 z+&of8aPj8{a-$yV?hmFZgKkg2-_6!1PU8$6sdRAV4ks9k6k*>BMhKp_nY-A~N^nTf z)B^2qfe60JVo5j|=|{&bGC|E*s-y(MVfV{jW~tddql!KCQa1vz7#bJq|K^Z2{XLSK zM|y^^P(YyiRoQq9gvo?K9gE*tze}8ex= zDozad$*g4C0|-qc#w&7Z!8}qc8OO$kZak@i)}t3P1^mD(djcDe)52#Z`F}%HPdNsp z$9KL_S*;=!so9+Y%|_9P&hD8PF}qt~9v3UyOv@045VsVUjF~-o;Ia^fTWIAK+jt!+*ORY>{l-v*%~dfc?gYq{lI2PC7*A6q7&W~yT{Xk zg!!ZXBlD87DSs@a2fVrCfNV6HgVH$5+#8Hk-_8dB?u0pQL^QueL>vPx8%Be0?CH-h z`ImbR(>8fOZ;7CO$iK|<$3H7cjR)$H>-P}4>r$dtQeJ;ig=d`qvNt>>a`=LKB-Nv* zKjZU;)ZV(zslw~7ykS3OJ^r6(&N;2Ze^sd*%RTP$lzI?OF{;L@u7zrzy~@QmnW(ekFDS`~1=U!}2R$q-irq_9y`3RNkY}^{ z{uC<`%#k6hHT?*z*9|k*5iz^1c3x<+{00B^y^-zUyYxZESBe=l&Ska>W1gJr?2Gt@ zv*S{UMy7c3@jh$elbk+FXJwEg7|n%!dbUER3F-gwcwFIYvO8P-f6Kv-`P+kgAhhWY z2}g`3<3DhL^1=&A0-xGxr+HMYooar}b?QLZg?8IhBU+G<0gmSn9iKUWIy*bt%3AQy zAaaH*X?b`Okj%t*5f6I@=czioX$Ifxlb8Z%6crLHo*NYv1#K9YC{Rk}n4^H3{9AJH zsqsI6Ui;{!dNJI~%?zw%Je4C=<~1gn$hVt+CreE1*!tG@XUY=YR0eazJNOy*k$v*9 zYIapRH97op;W|)c#VFDhEDVV|FaY!c6;Qn4EM0cbI~%_P2ll-*LT*g%*Yil%0dja=-!&os>?zi7mY4=`%FiLzNN+ILD5QIi1^<{O z4v4p%N~|#@qlmtsH+Py!kjRcG)%BXXYd=@L=SK$}5A>7cPC910x^lfCCQwmsWDFVJ z?pqXruwEWr={7ux#~X?R5-ok|p|{juU!QZlJgvih5F)^f)|;-ig;+8t#3eQ3d0vbB z@s2+MvedY(2$O%)IC1puGR-dy6KwT`a%{R0@r@-bw*fYwR|l}pehIV<{Uk=cDL?VM zTYiRZfz$_-@J6AnBYRbU&G+2g)t1Z|nA8LF69th(V;-Oe!;V9#`1&^E@!Q)}^R_)8 z0buxRp(n6OTt?~HleNOZ^GTEyxEnyiedG`!HeFGmC0J;2@_++u{rB{blNO^q7pt3ca-#wyr z4u_6~6-)WAJ)*7+#-lF-?H!U^yZ9hFIrL9+J?kG!b9soINo@22ahY_01ZS%$|-(*~qdsv-hEn+=wigqKcs>|PZ`UdhY!PN%V(dvpl zXy#+<9q-;-LykuVd@3gWrj!|Cjlg9;Z4XImw10;VeLb3p$(3{7$m553OrKC#gQvQ{ zhpUquyp6`}RWVd{RJK zHC)l*(V1!y=HSkmh1d>lUi0$a9e>S*bi_&-g~|W@qe9V*IJhrY-QD?~8aAy#9GLsi z^jFjlCvgC~Aj3=V_2=Bt6%$~7eO$%AQTRItwX_w8(P9;ehh$v0r=K|HO>giYF#V07 z_?p2Rwx(q=KKl`k27!(LJ4y%K*)Dk~Ndg|%qHOa$zyptg|8_*Xz-csaoPOCjH@z9(si8Xu!A6O%SSZ0S53eo;_oWsm_hRZGpIwx4_=ePAg(?~ zhl_I2dKKk*Jxh1a(4c-L#D30lr=zQ$k#Qz*6eXZV*tq?qkG@owJV zB`)`4a&lhF?OYCn7{qA)+t`njnFbv;H-+4jKL z98J*fWgBALPN>slV;qg&tL`hrUzeC3ad@!nE|v>*&DRtcGpFA9rR`9ToI=|@X3kx~ zW9I~O6}MG4J%B&Ogn=VrqMvU>f z+n+ap-h`-TtTrkSxiN~6wMZe|H+kq;cu;v$T~YcM(u>BAYk+b^u`zEn$p#|%)5T15 zkd$jT`grY$tvhM@=FJ}(WmaM-Sk8Hl{p(Ykqob__ZZmRjkJn|-%wOsK=sjhcCw!U+ z3tlBv81O%yw4jw^k2KRdP_y=W8=orcZZ@S_*;VnQ3`uZouX^7?n;!w&>&d!5Y0O2| zI)MyhExk$%v(i@6<8*xMp0x2kek5iBlnIW79cuzSHV+_BidLg6=+b90KOcbgGWX|~ zDdsv~UUqb^eJr+wshLUhy$LK>yjUzb($IKi%y&M?InqXs-?#6aep@~H=}6)x1e$oT zftZw%y5jsLtER(|i~COdl|}0A)8d&?+tm?*O;9DoYRhV2LG<*rC-8wI%VK`JdlX6I zcpkEOax9AM@g|4G74znA$#+u%e~K#koz1Q`XC1_c5j3=OOO*5INd0K5|0Q5?;JH~Y zLWBc!Yia_(Hz3jA?a`cM^8nQ^h3Z^#+Y9<|G=FBZ)yc)z=kvrOLpBO ze`|(aNkBHWVszL zTz2(k_pLx?h|FsOiq2SZ>Ti zjbm%u?~&>@kQDnNM#wN)8}KgVtKnXiEa4No!r5PzF z%p>O=psDyHg}GQoZwwd{;nOP0x^UEyw<=P$I!ag5}f53$vk!te`aBcj4- zC0IU-2rpQWlZ_XHbi4hEZLUhzcjUa}`b`=Du01Z(Uu9!%(iKuM>a5gQlgVSO zlXMc@23pom12o0wb9^-t>U@3VJPfIj$R!D?m9F1uLy0#&lguXrIRhqI6i!Y~wOXjO z7Z29OSX9HcCZSwz;OEeJd?ib?G6PO%PtnNA!fe=d*E09b#tRDZG1b)hZQRzXqTOlL zhFTA0RfaJ{@+ped&;}CiN?gD7)s%&RF?RE&m-k4_J!YhW7(W9=k zq~rz$6j|9q9gdJ(PDz0bFo7&1-#N2hDoZ>W0<4SN3auwTGwwtoTP|knYf_UQZg1T@ z()by>u4z7>AwIXssfruDl3f|`SANu!MR!WsmUJpn)X6@E-5quB1Gga4odb) zo%-e3lXL^Sb-n3rPZG?$#dI;MJdeh|-10MK8yA-8vl{2FNErBm2Gb^-Pm7PtjE^G` zF=$1~slv)>BAFp{`ai*g0W;n2zsn>i3waohX52Z9DQ&8NM@bbDX-W41Iz_P4_@v8v z8ts?@>bHK3$Rf6z4d}7-@HWT64Fi`Py+nLgyyERN9<`;?;GIbhM@{(_QAKP(9ft-9 zLW`MJbv$1wtnDRghgl}0=&PXAmGwRVRlvhVz0&vI)&o@q(nuBERJAC|o!yRO_BXkY4}`uA>c+@+w? zVAPhy7I^jMWd}$vaJUZ@z{cHI26$ZD55e04(XQ`oJ#lU^oeOlR6)3Svl&z-~$4C@e z?@`+|g2;P0DmJgk;BN3Vty8lv&-jp*eR&+QjXx>*jJKN__kn=~?rfGz z-J`QH8K1NA>PlN}94KT*rbs8Z1;eyTN!^a{OQ{c8gHF#Qgdn?$8lr55sUqSzJDRn~Gfr?ZY!~!O~yi0(nJURGh zlN08D(?~gbNiE{C5;LzOVm!8dWOsfxGJjoyAwYdh4o_v<6{79UeM*<(Wc6K~MXIGs zZ!J{Qi`Z=4Gs@Q?d?&Ao$Dm`BK!bz8xu4+6!%YfTDN1xXsQ3QIZa{H@|D6_QhMsyQt=-R(UnxW-roJU&#xxAt!c>y)0TEGv~W07hF${-s>amdLD`1 zAku;l@zNqL)rc@?2&;ck?2*DzrtGh}Uivbu_Uf?w$Nk@nFKp%JKfS5Q3D@La%=#4J zYM9t;2JYpEf?^b=3J1ROd5}wpDlYx7y){&qrva?jaG@+bblfpBL+cF zHzsSHKBU6#g_nb!G#7yz%S{d?kCXvfNclidW6LQIqxf=KlGyt~r|RQ1V(FO6A#`?j zf40fJ0AiPMn>AOVAn4Q${L=GnA`yMRf`;Wy!ExG*!J)Wa>K#Ri%0qr+^Fb(gN^wZd zWQG=L0sZ?L+W?1@8Gns?`<;x-IY9JmvM;3gm6{c`pZ^ z6nwh4&JC*McQy4hPzW3Uh!UuFO6y;0cI#)%tSvDH&6o14xVkHNRk?~#k1dxZHUri< z_0NqRn!X&?mSoTQCLjNzjBR1aWd&sjw0Zindz3foH*~*ftQi4TIq^FzWm6I~KDS7* z{|^4Txzvo_+r+J;N(PN%f|V70E*Q3gPU_cki+wU!YssARx>Zn7v2Sg&Xw;^65@9#e zcd2q8M><@2JE?@#>u>GD9YqkQpQ;>diqO$LJeBR%jmf(NzhrONwOQ#`d_6{Eu1Q=`amA%$pGDm9^^u5moz+ z@~SeoFY}#hj@X=P&HRWzNV`H?C6QRT3%YIfb}QGL*m(PW-;<*8_61V<;B-%b?Fo*6 zJjAwTKL4NK)EV+$aT$*mJ^q>TKQ&4!{QW1C8?UUC1&?67rx&849q$c1FD^aZ6^{%w z!gU75#>SRJkv1fq#%FkkqMw0G1-fTUrqMONDYZl@i{kzr7{DCHcWw_IH@AhLeOu^i2X-5gPwC@krI}KT*#squl7o z&~2?f&miO+r&-2YaNu46ln#Qk6Pb1ntvj*QFuTCFrkw6Jr(epvi&ILSyYNK zo{tMpTyJgU7?ru-C_k2C@Jl`fyWP`P66gyF+n`}P%=|K|aL(e}0%G3F0!Ml@!fv~j z>A6^tGCy8JoZ;^Vd`Qg#%HqrXevM2q(N)qXDj-VL3lVj5H-|T<D$vD&BI@4(C zd4E@5DDBT!QhLlQ7YBTl)F*z3z-6ql@X0(|0r`CYu)ne|{J(>hy>!P~Zo9OxaW8Vm z2rpWn`m91Ep|{Iu(oj8qRm0_li?pUL6LoZsOcP&h62cjepL1pFExanD=>)t(;NK)L580y93yym44am}4*3@I~c#v5`XNMWWzzU2L9dWwyU z^IFxvss}#3Z~$8nKk0&lI_U?0NyrU=D@-N12j^b|@{;0rb2<5Rve?@wwJ-CkyDJhxfvs)rKE7*Id35{QjKh~?*-~sK+?p20<1_6VKvAHmhq|a`9c7hHChf*N zy3r)(jYlT`dohS_tj1>PbcbjJ3Rh5wdNqKKjq(2Mg1V6<7m~r5^Pbb)cc97ylyf*= zLtZmLyk(`!Mg(|s{^>>?o}?~T$t`t}PjM}q{@w;dQCWQz7sXwJ z3jfjp(g2QB$Q79qA_5vQ;PY8oS!w(ZL{28bM^%VqiZt3yli?bm!&SSm z_j;EV|Ecguh2?)Le!*N49_QY&3#bTb*K9eSvzn3Eh_nt$L0aJ^NCfyg#Ns^}s!LL@ zY5z+m`zn|lMc5CbpEGd7fl@94Ka)mcV`8wmxzTH$5pO-QmgV9i<|Nj!DV05tp zY|jP%F}+MMf-lc!U`X}rR<8WP{EN1n2pxst>CAm6TPcnFPZ5F~uKvXPpxTho(6hrD zkUqdTH`Pgs?m6<8km0H#wf;T}^_(?j1@Ujdn^T(2&CR)_8_sg!-`X}krDrYP7=0Enyhu{WNSL?RX(1khhUNN1v$*&d~6K&8%>)?U2W+R z;;E)odLTHXj@n#^WLDO5Qx3S>t9DEqZ5fj&`n;-oa|6X;6ZfAN*(MBc`xE{Bn6yiL zA_IPqZNeSRY~Z4&LAzh)>gbDm0Mt(Py|h1{lzS8+DU+-%cC$OgC*qJ){Mr-FIn=Wj z?_})SEe89Oj(y>9nXd0_WDk50291i2RXCWD_pbQ_{N;6lJsmzguzJOE*vutV1uI-X zN`-r+y*%AANoG0YI8UXdpUQ|8Yfa0661xs^4$BV&XItM7I|VNYZGr4K!l+3WRl|4A zy0IM>yhtBc>-<7zi+B16(1Q@DEx6T|nF0LP<7ppr8OlicozW09HMH`yGc_UuxlINiOGg)es2J-Ac0KL3!?37=T#eHVTNe9#lWhrtK2L%(%{q}z>*RmW* z$Ofe1J5x$5fFe;(u$eN4pN~OEZTv1n0`}1cRC9Kl;q|&+2Uz-pHPVv(90we75JNER zh&y(rRjyNpnkwQ6Zb2dLnUxvQ6ii%O*VHd=mcP5nlGGFXm$nGkO%l=T;9jRw=TkyZ{IE>pqk7AyDGcgoT0+2Fr3GEQ3+|XxH z>-%G+LbAb6XFghUH2@8nD;O>b!j9!5@mR{2&$ z-N3EndtO^yS39g5WfIFmZS_EirEFa8hj9j&TKBSjvV+-WoXV~FZ)=W|oIhuDA6M2u z;eU7q-;^nyBlg+tR(+WWLYwp8I@31|vTOoZkYH-V!K3uVzar+ZiZUCE_4OI~wnSM~-@M=P4o8d6VUB#RF_={_l{S|~(jCt}*9#F(Cp zsx_v0=j0Lil7Lv~U)PkM4A&L)l1TVtL4Eo1^hZnxLS@#>Wv**(+n+wjVp9&MkydC% zXnwDXK}SUm$RFZ!SovXsXswQWq)5!BQzJ$;f6i!z;*j+P9p#=mHGKuwicgD9)T?-b zW2xnGU&q|qonw1|SFNn?U-PBqo+`~#6NpX~!cb65@c3YhwK^o#Xekg8(`}hm zG4L672RAB}&CzKD+j?U*f95sWKDT6?Re{OdrP*U;YF=9@)zfE3^Ur*m1Oew zDaU_#J+XSb@4sIj&~BCj9nvWjsu9YLni=C^HG6lgcbCXgsss#Vvma=9PW*+QVYaaE zj=;+5?@+OTzh8Ly1Lp}cW+|4uvaS_(R7muq_P(b?nSDVY;-yaKBSI{0F9K<%L zUrj53SHtw{5H2{TT@NUeB5tfHParS=2{fp+S*cxJ!)%h z_95`o%BFR_wB-*F2{f)iIU#LGUs;bbS;pF~chSoH@NpS*6G2K9wb?7P{{D>g$=`ucUT)x$Qm{IO&9 zDqYx(g^8Yi>Nm@nZm`)7A5OVpYIM;}o)W;22RNEPDgAfiR9eJ;dPbg;N-}{ns*T{p zI3qC8hSvoSd(fTCuFAaFc)}0|Wh+feIOy>^2t>7D(}b1JfGg}{<^G@6&NP~>b&tb6 zx71Lj=9z;wN^2}4YB=YZiqe`Lr8R|8rJ-typ(sj&N;TmKHPlQish~ut;zW_6W}-1g zP(ut6qE32y?w7mHx}Wa;y7z~@{%f!GzU$e~@BLMAzG$rO$agSyc!e{FY+Y2TV6A!S ztTk^IykT1Oew|JB-TP;Z%YV9IqzFTc9dg|-;w7!dW9rz$tX33UQ(+lpt{91KpVGdo zdcsXBz*mC!s@>=y@*w1csUou}nADIbh#0$}a`)5_`08~83fOe4{yg3hr!==@${ox{ zL&$U)XxCZ0X{oXY*yBCDT^oZf+78Xfqt2y;ax`Y4-K0Y#LfJNo3$saIg(zy(CM(3; zaR3M|DqHGK6e+zXwy5++Povj#O@R*qS-=Bon;*iR3DiTVUy|1pv2rV|C#hN9&YR3y zAjDV{%1L(WpxOgNmdFLH!963Em>DjxU2KD_t}*Q?d1-bP#G5!z*NA0lg+P z5r8d_)m%N0jn0{-3fkJ7H>8g#qv8rIiTtSZ zxmRl78;laU+2gg22(nN)O1Xf#cQRnXsJ{-kg1Ia1%RJCNDbZNYR5QLn%~tP)2lcOX z&uyPp%2hHDA0G3LZdYFVUG`+XiHTQ6X5`M=M+|jJGPd~6DOtO6tB;Dt-`dxTMeaZ3 zU)|3KY@8nz(#+O=9J@UOJJ~t8MctSfH*D5Wa}j3QhpVie>NoJi=d8?c9RV=3aV7Yj zmgDUKna6jQqEbeT)D{A3GiBI`2kC+Wu8|i-E{g~^8$}oPcXab&&KHSIEfLKp13H_c z7!trbcSSdA{JtQcW~_cz3AsbRRkpVhhuX58H=LO?>6}}RPvlMrStJl^afcRbaDbKv z2cJSnmNuq9&j$bOu;PX?5K~?oDHLIZP4qv_{boe!&)WD^w-(_(94N;{hsv5;76ymo zp1hQa?I05##B;wrI1JI)R2_SbDvoZbxnrx*B-)ok$uZbJZ}`=ZOCyS&3gav$72kyt z!=dW?j52+B|4*~)i1vhui3!e0Sjgfsw|UfNf3wUqJ{*46Ij%hU^~J%xEKtgoa6Xj$ zHQDR+A67iyoUtvE+i{QMEOeJ;(`tOvZX-23HpL~EWp?$0>#E7&hDn{&S!3<(4h1A+dCW3v?p@5(``|#x^4O= znGA0T-P7#VR5yuNWs{z1>@%h>p^{)}gpRDlKxOPHNe_^EY&3fn& z>YfUdfW^);O<9Nhg+CC9e5>9VHG@R`|GZKdCFH%W$M#E*-!R<}e4vc2m ziA3I^SN9#|;|z(Za_2cGL1_b*d2do){2WF4MF&5YLmPcN&~`_-br0q-A{>Susd@Y{ zj~|K;lopk(@*Jt9&SLN1{@88a%oNwXt23O!=P^RIN-{Mk+o8or&>ZT_mY}C7^+)yg zq9L|%z8Zj}RfGx@#{@#1-%>gUwwsTN%elKGEgdELAyT)P>B@=r493So-9yuxJF|bt z%a^3`IR6^C$1RlMZc_*f&DHSHirye;ynAtJ%m4DwtcwZpSL0k=Up7HR5KuY4-jn`h zZxg(>=@hs&oRFaa#J|k0{MW<&_la;xu`3~(g2}ud-34NnajtAbT8lkZe#>qYjxr+B zW>!rR9(}-F)k5-sCSG^31p|)S>a4$MRZ~B21LX@Z1zn+B?#FOh8`Su_)0VWFMp1H6 zN9g@%q1M)%flvzO2(4EsIJ_+yx=_Xe-tMZ8-SqIaVdm!E<>QyCrdv7|WYi98V2+%h zBK30zJCh-s1$vo%{L{O9B}<m$$KMIE$QWT}Nv~ zS;zlMZ{X-M1o&zu?~}%^&z1K6Gw&L-ch%~{6)@qxX<7`Voj6?lcY@}Uy!*iW&s8pB z!R7`%r-(ePfTW^Y<<3;LPMy!6If-tO!|)+R>1G;5F7Y)-P;MxE#+sctphWmXfn#yS zv7JnImsb&?0sXD&eKOa{MqMMo)6I4*XT|+G3?o(ZVn>ir!VXqRyuz*FXB{~?6PG!{ zwx?(w9+6NnB^tSGUwBK_@4XYu9+0laca3o2Mdz5FIcHjU@dH#Qp`;N~A98=dq?<`4 zAoT>5T0?9#anc&tbss`L12S2Pt-T61tX}SvKK8I%QtnXPHKZ75qh3dIld7G5%0wO} znfRCXZFA+ITjujM1t&tm3Nf@khnjq6(_mho0hIXlBkE|}uXcDDCVe&77~RLXN(plM zsUbOLg`2qw~OW$AoCeg9h7Ethy5%l-8^~YB)@}eInLXVI_Xb=u(?UgzhAQ5_`@{!%L@I zNBR#Ia0eq6!UypleY(PTEN6)!0>@uO!tZSlR)QT{1HURE8_xpL4JOcj?F3b_O{`0+ zG$X*N?9PFZnckz56IPUSIeKH7RUxkL-tdv-Ap5?(Te{Lx#%ZmK751QuY$=b-l>=f) zPw1z8KaBMx>N^^qZ(LPbPpMGO3^jX{t6{KUBmnT0%7A zI0%QNUxpM2sUNAyD#v6| z8}Qf31|D(EBqS24c;F>E7f090=L^0Vnd*4XRPFF=^$!;^VwJ^2vgN6d&3-WH#;pJ0 zNXnTA{Qc%6z1Q0YiZou~t=rMm6Sp>i6D(YvC-5D1M}$&mKD4R64kgXa?4dVuBB(*< zc4OfjXC!>sXhXs1?-L+7*xK5fg+uR6VH;S{1vtQ3a}MC==l2~F#XZ@`VHFDW-fnZA zi(BFN0V7#IpR;5ClcMnYXO{jCaf|=ggOb+6ZyFmL0Y73KXM;8EZ`{ao!pFv31HiSd j{yjO)EdXt6i+p^-YhRD20eDL11naUewK1vt%_HG24PXj` literal 0 HcmV?d00001 diff --git a/docs/mindarmour/docs/source_en/index.rst b/docs/mindarmour/docs/source_en/index.rst index aea32ff30e..d1d3bbb1a9 100644 --- a/docs/mindarmour/docs/source_en/index.rst +++ b/docs/mindarmour/docs/source_en/index.rst @@ -1,5 +1,5 @@ MindArmour Documents -========================= +==================== AI is the catalyst for change but also faces challengs in security and privacy protection. MindArmour provides adversarial robustness, model security tests, differential privacy training, privacy risk assessment, and data drift detection. @@ -8,7 +8,7 @@ AI is the catalyst for change but also faces challengs in security and privacy p Typical Application Scenarios ------------------------------------------ +----------------------------- 1. `Adversarial Example `_ @@ -22,11 +22,15 @@ Typical Application Scenarios Emhances model privacy and protects user data using differential training and protection suppression mechanisms. -4. `Fuzz `_ +4. `Reliability `_ + + Detects data distribution changes in time and predicts the symptoms of model failure in advance, which is of great significance for the timely adjustment of the AI model through multiple data drift detection algorithms. + +5. `Fuzz `_ Provides a coverage-guided fuzzing tool that features flexible, customizable test policies and metrics, and uses neuron coverage to guide input mutation so that the input can activate neurons and distribute neuron values in a wider range. In this way, we can discover different types of model output results and incorrect behaviors. -5. `Model Encryption `_ +6. `Model Encryption `_ Uses the symmetric encryption algorithm to encrypt the parameter files or inference models to protect the model files. Directly loads the ciphertext model to implement inference or incremental training when using the algorithm. @@ -84,6 +88,7 @@ Typical Application Scenarios :maxdepth: 1 :caption: References + design differential_privacy_design fuzzer_design security_and_privacy -- Gitee