From 84752504eaa476af9a0ea7b6249a05843e4878c1 Mon Sep 17 00:00:00 2001 From: RadioPotin Date: Fri, 18 Oct 2024 16:31:26 +0200 Subject: [PATCH] add ae 2.6 article, add pop art alt ergo visual --- content/en/post/01_alt_ergo_2_6_release.md | 40 +++++++++++++++ content/fr/post/01_alt_ergo_2_6_release.md | 47 ++++++++++++++++++ i18n/en.toml | 49 +++++++++++++++++++ i18n/fr.toml | 49 +++++++++++++++++++ static/images/alt-ergo-8-colors-blank-bg.png | Bin 0 -> 30621 bytes 5 files changed, 185 insertions(+) create mode 100644 content/en/post/01_alt_ergo_2_6_release.md create mode 100644 content/fr/post/01_alt_ergo_2_6_release.md create mode 100644 i18n/en.toml create mode 100644 i18n/fr.toml create mode 100644 static/images/alt-ergo-8-colors-blank-bg.png diff --git a/content/en/post/01_alt_ergo_2_6_release.md b/content/en/post/01_alt_ergo_2_6_release.md new file mode 100644 index 0000000..380928d --- /dev/null +++ b/content/en/post/01_alt_ergo_2_6_release.md @@ -0,0 +1,40 @@ +--- +date: 2024-10-18T11:22:33Z +description: "**Alt-Ergo 2.6 is sponsored by DéCySif**" +featured_image: '/images/Decysif.png' +thumbnail: '/images/alt-ergo-8-colors-blank-bg.png' +tags: ["Alt-Ergo", "Prover", "Bit-Vector", "Model Generation", "Optimization", "Release"] +title: "Alt-Ergo 2.6 Release: Boosting Formal Verification with New Features" +--- + +We are thrilled to share that **Alt-Ergo 2.6** has officially been released! + +Alt-Ergo is an automated prover developped by [OCamlPro](https://ocamlpro.com/) +widely used in formal verification and plays a key role in static analysis +frameworks like the [TIS +Analyzer](https://www.trust-in-soft.com/trustinsoft-analyzer) and +[Frama-C](https://frama-c.com/). + +This latest version introduces a series of improvements and new features, +particularly in bit-vector reasoning, model generation, and optimization. + +The updates in Alt-Ergo 2.6 are directly tied to the progress made in the +**DéCySif** joint research project between [AdaCore](https://www.adacore.com/), +[Inria](https://www.inria.fr/en/toccata), OCamlPro, and +[TrustInSoft](https://www.trust-in-soft.com/). + +### What's New? + +- Enhanced support for **bit-vectors** and **algebraic data types**. +- New **optimization capabilities** to guide solver behavior. +- **Model generation** for a broader range of theories, including bit-vectors. + +These updates are particularly valuable for those working on low-level code +verification, cryptography, or complex system debugging. + +For a deeper dive into the release, including performance comparisons and +additional features, visit the full release notes over on [OCamlPro's +Blog](https://ocamlpro.com/blog/2024_09_01_alt_ergo_2_6_0_released/). + +Don't miss out on this powerful upgrade to Alt-Ergo! + diff --git a/content/fr/post/01_alt_ergo_2_6_release.md b/content/fr/post/01_alt_ergo_2_6_release.md new file mode 100644 index 0000000..6d2e8d8 --- /dev/null +++ b/content/fr/post/01_alt_ergo_2_6_release.md @@ -0,0 +1,47 @@ +--- +date: 2024-10-18T11:22:33Z +description: "**Alt-Ergo 2.6 est sponsorisé par DéCySif**" +featured_image: '/images/Decysif.png' +thumbnail: '/images/alt-ergo-8-colors-blank-bg.png' +tags: ["Alt-Ergo", "Prover", "Bit-Vector", "Génération de Modèles", "Optimisation", "Release"] +title: "Sortie d'Alt-Ergo 2.6 : Renforcer la vérification formelle avec de nouvelles fonctionnalités" +--- + +Nous sommes ravis d'annoncer la sortie officielle d'**Alt-Ergo 2.6** ! + +Alt-Ergo est un prouveur SMT automatique développé par +[OCamlPro](https://ocamlpro.com/), largement utilisé en vérification formelle, +jouant un rôle clé dans les cadres d'analyse statique tels que le [TIS +Analyzer](https://www.trust-in-soft.com/trustinsoft-analyzer) et +[Frama-C](https://frama-c.com/). + +Cette nouvelle version introduit une série d'améliorations et de nouvelles +fonctionnalités, en particulier dans le raisonnement sur les bit-vectors, la +génération de modèles et l'optimisation. + +Les mises à jour d'Alt-Ergo 2.6 sont directement liées aux avancées réalisées +dans le cadre du projet de recherche conjoint **DéCySif** entre +[AdaCore](https://www.adacore.com/), +[Inria](https://www.inria.fr/en/toccata), [OCamlPro](https://ocamlpro.com/) et +[TrustInSoft](https://www.trust-in-soft.com/). + +### Quoi de neuf ? + +- Un support amélioré pour les **bit-vectors** et les **types de données + algébriques**. +- De nouvelles **capacités d'optimisation** pour guider le comportement du + démonstrateur. +- La **génération de modèles** pour un éventail plus large de théories, y + compris les bit-vectors. + +Ces améliorations sont particulièrement utiles pour ceux qui travaillent sur la +vérification de code bas-niveau, la cryptographie ou le débogage de systèmes +complexes. + +Pour en savoir plus sur cette version, y compris les comparaisons de +performances et les autres fonctionnalités, consultez les notes de version +complètes sur le [Blog +d'OCamlPro](https://ocamlpro.com/blog/2024_09_01_alt_ergo_2_6_0_released/). + +Ne manquez pas cette mise à jour puissante d'Alt-Ergo ! + diff --git a/i18n/en.toml b/i18n/en.toml new file mode 100644 index 0000000..4e5638d --- /dev/null +++ b/i18n/en.toml @@ -0,0 +1,49 @@ +[more] +other = "More" + +[allTitle] +other = "All {{.Title }}" + +[recentTitle] +other = "Recent {{.Title }}" + +[readMore] +other = "read more" + +[by] +other = "By" + +[whatsInThis] +other = "What's in this {{ .Type }}" + +[related] +other = "Related" + +[yourName] +other = "Your Name" + +[emailAddress] +other = "Email Address" + +[message] +other = "Message" + +[emailRequiredNote] +other = "An email address is required." + +[send] +other = "Send" + +[taxonomyPageList] +other = "Below you will find pages that utilize the taxonomy term “{{ .Title }}”" + +[readingTime] +one = "One minute read" +other = "{{ .Count }} minutes read" + +[wordCount] +one = "One word" +other = "{{ .Count }} words" + +[pageTitle] +other = "{{ .Name }} page" diff --git a/i18n/fr.toml b/i18n/fr.toml new file mode 100644 index 0000000..d1c9bcc --- /dev/null +++ b/i18n/fr.toml @@ -0,0 +1,49 @@ +[more] +other = "Plus" + +[allTitle] +other = "Tous les {{.Title }}" + +[recentTitle] +other = "{{.Title }} récentes" + +[readMore] +other = "lire plus" + +[by] +other = "Par" + +[whatsInThis] +other = "Ce qui est dans {{ .Type }}" + +[related] +other = "Lié" + +[yourName] +other = "Votre nom" + +[emailAddress] +other = "Adresse e-mail" + +[message] +other = "Message" + +[emailRequiredNote] +other = "Une adresse e-mail est requise." + +[send] +other = "Envoyer" + +[taxonomyPageList] +other = "Ci-dessous se trouvent les pages utilisant le terme taxonomique “{{ .Title }}”" + +[readingTime] +one = "Une minute de lecture" +other = "{{ .Count }} minutes de lecture" + +[wordCount] +one = "Un mot" +other = "{{ .Count }} mots" + +[pageTitle] +other = "{{ .Name }} page" diff --git a/static/images/alt-ergo-8-colors-blank-bg.png b/static/images/alt-ergo-8-colors-blank-bg.png new file mode 100644 index 0000000000000000000000000000000000000000..ed4b79d662de957ebe4662bea1ca849e1405d327 GIT binary patch literal 30621 zcmeFZ1yo(lvM_kC;1WCpCj@tgAb}791a}B}a69NgzNVSa5eexQ5{F9w4|o z2WG?f-TUsH`Tu|B&CFYC)~t6}d+pvW)z#J2)zwwigefb^U}KPBfIuK@**C9LK_C<$ ziRh2^2za$0kEa8#Av0}Rb6Htt5E}3S)I>lAApoiSnh1ZV{Skpi2uL6#AUgzj@PYJw zo%@Fj0p;QS5lBD%I~@z88ULGfN_V70V z^hN-D{o^eotDsEH&CbQi&Lar4=j7%U=He9QNh!-pNl`mELCmde%|Iac?>?VJ-?U4RcN(f?sj^_W;W_?PPTu)JTR+ZBm@b)1 zr0dFAcY>M7`;3V_D$u62HM%qZeMChuPH`ah1;WbCQsy68`dbdB$`7YYwN(3iqI(Mn zl8t@51uTy&>+Q1f9l2ukiI7UrBqcb^xu|)16Jj!-2}hN9U0isQtmz~V!iBEJzITFB z-;jettOy`@N|2dH8$K(XEWel!g$`?FNuK%su3tHPx)IomIEa%#qypOt=~e}k8v7LNa`^l_F3L#Jf; z*($|Nd$A#Hyks#xsSvSpz@zEY_jj%P_C+_pgW?Ipk>)v~j=3<9-2z_sJ2pjA-gr8h zsd*}@gFS7)LZ-ChVi+&ng#iF|W-i9m?sm5J&cg1Zv=4BFf%JVg2QBqO6&D*(T5W)j zq##aa)V%Dx?3`@U?pAKxv|1FB}!}Q;^H98!2yLr*`Yk_5GM-` zE+HWy4o+?kZf-W92Ai{oy^FCso4qsLJ&3VM#8=b)hQPw@86e^UXV2Zy_{0|ys7Cx@LK$G^64c9C`ifc%Zn|FDI#x`%@qhpL$~ z#MKFGChcZs??U&lAWXskZ13ReWcx52Q!s~_t(hHA)fwoO>)*P(Uvd9zaZdsZD?5jW zRsga8t)`2W`F{}W-*CGxc^J;WA_6r3C)|Il{g1IfR0e7(C<4A1(dA4vx~7k z*z6t@0G! z$<7#|0qzmvNKb2 zF}|lJmjJhbpa3V2AfF)LeXsvfNz=^98Q{cwm=Ch^q2zvAgn_{Tgf+hBQvkq2J}?$x zDJL^y7l@NO1Y#>n`%kI+&te5&Ihh)}7{4-hF#~}9Qx2>DLk_cWatm|*h5kJ_1&FDY zxyS!m?fb<;{Q{^DO!*rtXP|$NhpfL=l$x32UtfQH+FCsvmlgmW0a^j<`LIJ#Gd@fd)4$^awKTh*1%O~|0F!WX z|L+OL@%Ml^?q$Y5M*M=~|3H%$4;B7J$N=sB$^(QKAPYJEDGdLn8G!G9e?J)i|afx}YK zg>5Bp(0XJdFY^j?cmJ2xm=go!pgX+LaRz~K+V3BPZb+^vkcsLdt00Z~2LlmPge^m| zxd#NI2Fbp9sqQ|rGwzrc2-qR=X^S4Qf1gLJJI01C!?B$$QWrK;2VpCNF zn+>)v7@uLL7U0NzWhcGMR_LZzWP{0vQMC(+uXLSd#>cOk4-b?;gjFZ@N__c-{;jWX zT3nLznX`v^%Iu|YbIGLPY;ok^vCxLlqVt0Dzy9o zg^P9B%BwbHBI3c7hV3uy398aV!};PGc4yb0eM-6|U8yR-1-P1+x?SmN$ME@Lw{J)};|MY)lxBmFsDuF8nrye8>Lxs02l7j9qVUR*z zQjCNzOVbLR-3y!ke}&xt^|Del6?DcgN`8}PvDvf7kn@uK60c1yrG@NYJY#UL>Kxwb zD?ccFfUk>Mm^~71gkja7aOY|GLF#;al4rtazMV$YQFr@pjh+SvUXeIDeS4$lrAnHF zldjxu%G2*8@zohLKh#}onw!yW_QsYYE5%npE#-`Uc;AFmUnhDE6NqL=3_kH zwefm834GJdkrkRMNT_Hd(+_FpB$N3WHz4cAU$l@?ei<+(S-Yb*j-IzC3?JsL^Q$jN zO`mw$-rMAnUlz7b9F{RCOGEzikCh1C%942J*4SO&Sd(eyaAJur3F>~?ALB##g%lkW zK*Zqtc&KpR?Hlj*gUzqGcV5sOhqPX`HeIyC5RLU`ylZ@VYGkRuHjYomB`;zy^9fY- zo9MIh*m3ElL}|Qji;O;D#XXagsPR7Qlc7p+H@T{mgd1(qygMsdLq~Q-yIEH=#Ba}v zMo0bz{w(OJiD8_tO(mRi@`ilQ)6-*SX__f07TOa^$sNV%MRnUR%Jfl@WY4)f=@)@w z*7>fi@rz@AJT&fT^0w??U0vK|f^DFn(L`Qu^jl5q(L(8E#$W`=b?4Bb$9w!Crc}}G zVHg8ts;}d>Cbh@WrM~N4(9BJ#yicd>dZ1ofk}zqkoAoiOl_4$g;mqx8QI-5#^`Q831R<@^sYwg>}fInI3zL|riljb|rG3W_kqSyzwH#L+X9l|MpE zK~hA%!W@{64tjk#q63U~wUnWf83Pquo>q2T4Zbl=9a_xZR~rS z$LT~Y&RdQ1>+?y;3)9#8Sgc3(%|9l-TEa9H!A1n(-cydE=8P< zQ0&@uYL7H#N z40V>;9CmI9M|^`5O7x%?3D)#(H~o4iYe}n1J_bYjv1OS*Xhs9aq&`eS*<ATB^NBA{80ElJhTcosMBUNK*Eb`O`Ij^V-kf_{-vv11>R zk&_^uGoA?{IM=%?zd6e9yC(WAm1vDLI6iFF@iNFdIv*mD|1sXH(zBj0w8@yY$BeaXw#3733Om6U zYHBydSEb>&;ULM@AyC8_XS!51t2!f)hoev;HG_vJ>^q-aulDr`TOVI7TD)$tMnLRp z6DH{&Pe4W(A_wT}6?)YeJ{3OAcXd2Su`9Bog58p_!{+_xpUU`p{oY#gX)oFzWfM+G zT&QEYd@8xIJ{_YcKU^HJrBigi-to}AVh>~GU{9@*{-9yI~N zBq_$Fk9GkwVF4zB;{0X(q!X`1--^|WZvT9{u#;S&YP&?lHRs2%7X8wI8ZnY1h36{VKDmUy_ z_eGo_{@j&NwQ`;fG5%|-oV~GR3~@+oTK(-2Dy81-?}5C>U;i8-X9eIXUreS9L*O+O z==ME<^D2v2eN>3qWmQa>jdJ5#>95eH5*>g4Etm`O_4fv`kyYB7_r_B$g|?DHFWYhr zZ=7ZXxgQs+=S`4pp)Z4NPy+hukh8zMFPC6qaSryM$@i+VNReLpY_45J-d_u+qj9S2Ra&eTG==WNh~|8OsI%9-45)>$rZ$nA`w1jhTOZq& z61OpM;30BfLt-!3S0M>=nN<307= z_+Y`>e(my4Wv>!qA4HQu6qIt|*-<*S#-KOXx&@{wLi|H#pO zBlVk`MFa;qWGaox@@)PxZa%adKR|uMrer;~IU^Gs=r%S%hdzx9t zKNJ`Y!*lTUnb_q#m%x|w+_wj#55>~Sl)WTZ=Zg2~J$#)IopB@~Ke3l#@kD<8o{tp~ zkA;j#zd>155EJ6@KH(wzgLv=}2LxsfL<`Y4sRTHY`j4CX>U_3nyZzH2v!lEOp>amQ z6#d4eoQNF{Fry0)c}pFjgzomP^!_1TU!WKW0qY+xVWw;7AQnrw;(eo->l`8kOW$R7 z^&0(EmlJEJLAim^9?74-ejX^Q;_~~>7Wuw>1;UtCK=PNdXIyQ@l{h56O267TI_o=?A}S zxUgS{G>Hz#cM3%<+-qTx^xf6QHAo2n-3qkaD)mS1mCqK{+uHQZe?W6@NS#d_(I&}x zHb0}{dKnj+jYU7`J>tfBAu>@=lkJj5{W4A8pUA6;`DK+Wx4YGNaTDz%wM-qdF0{x4 z*f-XwvQJ714G%}Im73cBIQ9kR#fbb~Ik0nd=+*G>x!cIZ!%?qA9g_sM4$Wc?{?W)? z#1~Dw!cQ7Z>%H=iWYU!igD-4Y>KE8IeE?maqlL=d)8xZs5pNv1NX_mNdrN>PnqLEZ z$wB5UjV19m>@8x^4|42k%u-=qm(F>QUs1f{UCl2@tZK%R7n|u6H2#=ZX=5&zL(olo z7fM8`wXH4wjQjvMWaUanfn`HpYLbaE1UoPuw-wbs$60{U93;D4x1mqV-?Bj3 zmTJI=T-Z^eiEe4OG{U2e8E?yRrjTb=SLHU~ru#dxNqQ&7?%P{*P_*H*D!~)x_PtzY zH8QW(nNMzZ8qI-ld)+6su|`n!dNU}7+1;vX68pu^a;56_a@`M*cgCzjzgYI= zHp?nsfoSscSfrQU`XhnZpBNebS;uK#oRU;cq@rQ3EZGC}A&oQ0yU$XiKD1W4j!i==I>quQM>4{=3O=fuiukY>l#y%Z6x5 zjU^5`J=wb`=yy>k9O45)*Y6z47i%t6kYOoR36JkxP~A0W<5w2j&h{9_KQ0JD5g#QAH4_Z6 zw>+6C7@pTes=`}**O(EVRm+%})?HCi`FIjqNZbC^meaVd|#G$ zS|=XjE?GA#I6DaEBbeca$3^X&c{%efdTEBtTT1%~fUB!gIq8KaQv03LTSqe7t~JWU z0M71OZc_deqbO|$6E}$8XYVt-lGC+6VH7~1R_eEmx-%R{U0Gh*pLG)sR^GuoFk5_~ z@pPndc`c8w$?>2mg2gbRm7^Okj`*Y+fT&!$BF(>*vRf+C|UfYRLU>ok(bmvwTLsqc zxeDOw*}4d{Gx=1V-&B0yI(Q-)11#+uE@K>xg_+n;w)-NN@jfzasHGtUXx z)$Nzp$6j7iDX`ClHl=KKl*p`t`lB7qnp*3SYslJ%#i}()rO}#CzE-{?`XviOQ}}r( z>Q(mJ&x*sj7F{Qje)>_&TI}o8)e>~x^Q15x#Qv6WSAhvIp!l|zCSKK6|mq-|JUi>agzcph=lUf?bYN$kKX2>0TEQaD@*ZU zbE-EPpnhEXW?^r~&1O?`296O_8On)c#&N+P$V1$S5|(E&WATIFJZ1rcbL>gT=y6&k zxMxW`5hC?C*~ohF@Q}L(O1_sQtWco*Jhhzev2GVDLgGpJotHH~Zq|3mbNj5+tE(QZ zwG$69`21`m4AZ|j0;2nQ@P*M&?hKZ9$XG3`FTNop#%7O!!t;uehn^o!YE4xkp^UFi z&N{aHw4yW2C;~P7;xH#6s^6`t;=f3j~Ty04$AytSPyVK$vU4)Ggt$uh7%hko`d| z%ROgH@qIN2g}G_lA)aF(U9m|mM9V&lL0{X|-?y7AIk-l(bun}24(2pdY{OdpsZj8du5UZPB(n-NyKO?Hrja{Bfut_D z&i40~`iMmnR7ThGlK>ZYmO~4a7&umq{;;K_7J-JO4H4&E`#~P_({}!{8X3Gu&cl1!-MhA~GdOG9h7Ayj1J6 ze_i+I#hIA4+s)}aB(EHzunCb^dt61&ufGcR zh{S&~Ec%W}0?<1V$ezk9REY%lJPG*%M-;24?vf!)clX_7vAP_1Z)}=<*Ze*NKMe)h zpRi5ehEgF0Jm`Hi-H8gQ%wktNgn?y9mL}wN!2XRI{Y2(@B#UWP8|?Mtqw{b!CIu=! zmmQa9B$n5!2;7xcr)L&@nbFvHpmqJsXi>nh1rQ~Kx27^0L6`=) z(aEWjGk0Tm&u);2h2qG)DoKn2qQqvrT10~+){*@y=X08EyyOg)QF$wrsjlzhLMx9C z`rVa6{Xm%H@_H@<>}& zx<2FX$Qm!I#XNS#2gKCkmyuYXc8LIVkX4?N-{4v7bEyQCP{@G}^OCq=+GG#+rS0NMMR*+o~`tR$15`0G7rAd|q+9VT zh`-#3%E#@fO*t*^pH>W8#sHl$1zEDgdscfY;~)MQ#GRusIFphxx5=?15fgDX%oF4% z;k^1&1e$eFD}>&+88kx|&RKJMj&bL2jSu23xc6slyQbx#Tu)sxWx_EKcm?7be6)_% zK?#QUX6t;;io266m-E%owg?TxTxJAno}(u5v`t{NI&I=t9Ow<&vcrYI;e`u*TXWM|RloRY3lmAr)nfnh)X7z{4c3GUblBkAK?y@g zdP%p_1Vr|O)SWGBy4UK@BEWF0_jy+s&J{#pt<_=pq$wkduMcRZ%oemzs}r4VbG+hJ z@EJaCg2r$fGJAgp&i{J1_i&)<^$X4G#@oYt{Ss4)6Hk&+?Luoiav9LjS%)@8e#OsBkZWewXl~%kGxwEDTTKmh+r(VRiT2jIp zH^j%mF+I@S>WM~WI5|zdL$GbKN z^HB=7^MzQqc(*-jp4CYoVJIbU@d$-T&TEY8X&ai3r<#|$67hho(xmx#KXc*WC!jyo z_X`C%48fkJXCeC&X;mI@Ox$})qUt0SN2Z!(X(EZXrMk^%aO`>F`hMCbu}9LQH0%m2 zJUd9L5)~Iba`0|1#d{xh)ya_)Nk`Cm)hEA2b93$*Rfo9C04gkP3-aR%I$b2b;#(PA ztPs^dKO%8}Mx=p7z_dY>y;Sn8T9hu2iXz7OLJOD1z_5kFuXn2^_;VhMD|`NmMNRgJX;*s9 z66ElC!#8Bz>}=%mnB(EaQ<2FI`Dzm9$;GVb`j0{RJucZ4sKI{9ctTY0NZ`N}3>>r2 z4o};)%!Zo;_Rr!~glQ)MmIRirHyWr%(nl6+8|n$wXCb`Qw7{se96b30A@^kLYW3rd z11VrVTR5KNR?B`?X;>`dC!kNbx=TVVa#LV&wCQK8$DJU7i3VbM-tCaP5u{st!Ufy# ze?GZmHhoGGT7E$)?cPk+8Mn6A?1^>wdYNkIcVfXa*zMlWXDxI4q8mf_h!XW8g9c>! zC&Q0YZz*9QtJNQ(?MAt8Wqencv_6IneWfx)JG}bp>sRD!PWUIpBAlUn-Y@C~u@0D_ zH&L*=27wZV7&|}u3^^OO{cD>=ZEnw$V3FNTy(b}(Znp^iWKNytvkf-}fSpVS=qvl< zK0yDYm><6*&UW1HbV_O_U(%=H%UupM0~YUc54VPHGwMo%sDPpFi5d80wIiVDSdFk* z{_6TiEI@ep)Jb83+g<0Evj%y}o(;i@UWwd}A3lGcKA+i5aflWj)Rwfl9)ktFqsnO2h;XKYy(6-m=Hx!} zhUbARcGEwS`KF$wRXsmWjIBMak&+5qBEi^HdxDb0P8_<921@V1*-NR{C$gO1vV$7H znE+>=N35B@?Cgado?R{z8K}$nSPX zrb;}E5Vac1(0@dkDIwb z+gXbCp8a__WZkvmFuifq7g^$X@XN48lGA7dQoRa8r$EV1mRL^u0Fx;CZ$2rf_Q)a9 zk3l1j;_xA+TgeGycI0#&_P{?~wqBR(eVzgQ>E51iWrfAQG|aP0FeWOQxwrP%05)CY zbU=Z9?B^Sj(ZX9{;{5nkPA4G828y44Ofe=;e;0=af^o+QV!S1oLzYLQ`KXkKz#0p} zn=yh9+}I0=RSwoYO+&$i(ombJ21GEGH>|k}2c3w}*~eL^%pv!V+OW$67{5gJr-x3G z!I~~`WC8*--(+l%$!ohe_i!Bu<+4Eg_wr_m5W?vu;UgR*h?4CPqd$ zi2O9vreZymz-bWh!+kpsohwM!PC$=NiMo4>iC2n_!1TV{@XhCImD#XOyxaEpAb(CO zprP{Tz$%47d_>iQU_04G>G-aR>`!is#n}GYzNsh}6G8rj`Z^q$wfBbm9}O0e{d7D7 zm;xG_GeC4AXtHJ#lz`Y?OTU}|ul!mkN{oTX&O)C|lrF2x71u@-;~M5AbJ>2|6Kj^Wg^}uNe-uO-%?(UK~? z_;m#Jj8vZS`{tLEnbY%ZUX6o&?r%qa5E_^Fpijl$Jj<2l zBh!LOS<8O9JlIC9ZXqMSf#lP4XCch~P0b$D*+3nBzieC6rYdEB_DwjsFnog}r=XWO z5glRq8?wKP#$#y8eAW7}`UHjZC_#_CM0ni=g=miZJ`5n>*VE_oyq>S+G6uQg4&M53 z?GM(}xR)@}z+ONEM^-NddI+B6f?q@yir8@@ z;LA+E>4pKaoA3vRCKGu?6(0NbMB=Z=$1*duj6UVy?NZ5|tu1uNKigb)x+yV|g6hcw z1X{S=tsE~5iWYlyn1b51B)if>Khn!=9kqTAZ6{F6F-Cyg_ z{m@+9rtM@puk7#77J?_{s?yigfA2*>%_$g#hImR|OwDNLEsn6%WV$@VnQ~F#jZ*)P zql_SpUgU)HF28}LxQRDJo=TKYb58(YO8d@^W@!}jGa|)yAD@Fz1Kpm4*|qZY`_kzd zEs*=$U;Pa8SZ>~(!>5)%t%J8w7UmzP9b9r>qS2jvhqi%A`o zCQXH9u9>aL_ktPwc8t8pe}DSv9%hZt?;H28o@PRQB;2HW zZ(%bixg}~&(u3I<`RfgA{I8`I#32fCcN-;kX%KshnCUmHjgr^kB9(KlhT~pH6Ojb!>N!>Gpd> zRNYh3HVTqz@u0_7d}Y1^ywAKY8}l|_6M;07x=PwWXN9{=v8ET%qCk)cM?Wfe)LFIC zUHBCr2YjaIsqp2Z$D|eDn;$;=Zc&PPkc;y68(Gnp1kX$+W`NO5sYo!x>}WTN zzfAw29HBj1QRqR~^XT*@a~ru;wJT{@$d&yLj_st%xgyHY@7dHmPyori=61xg*&Xz- zyI!v>1ENCk7MN*bKDV0BoqcPWGAm0Hqa@>@-RyIuBLrI2^uLq#!LukA$!@tv^u(sz zOz1ShW@xvX zcTdd%d>JXPSzhv?fs8-f1hF?obHk)z6p+#j^mx#L2sjLcM=TyUg+eNcwjAH|C2s!( z>1%aF;?LM~Z}Mq{iE!u>L=FA2l7^Md zyBxey(vjk#@B{VKs`pH=>JO8}W6xWDoKSsbL_>&Zy$#vI2T7t*Jng_Rk60d1b8~+y z)~Ndq@I}sR;yNBgbiWfG%3*D33poY{YPZ^Q2}<5kv}M2WJ_@v`ZvUjF_=yd{=qnj) zlBYb$923~xE|Y|fis2`SfU7cU&IN{TUP~c>GY=t8*N)pN*RQf&r}xLh)Bf;Haw@tg z^2;=$`?yaOg4SnHspLD;A<^StZ&8K|Ce>&1v1#(_!h73{4!3ieKI(ox5p+58PuswN z>w?P*-Y?7e>E6nlKSbfY+j0{-|7}`Cu;`J-Z*)VhQ(v%S4j=xWK4ACdniyxcfF|GO z248;;z8(^P`lep>{1QowhB}zrh-~IE%n0pptFC?WBAbXyknc;?2~M|v^u_y)&QXo@ zV=^J%-4Fb~yZZ`E*x}-C2yQ2+K&TcyZt93~KgabXAJ>(%xs6k^c#NoXu=|(hT4?zk zCfXUW0cRUFdjvPlY$h5mPCZ_{nE1*y#-~)>;WtQa`KxAO<~gKfdW+Oy{KHe`-2KeN zU@r#Wca4s%-NhW&apwrCpQL{;Y5FS3VL6;Gux z6x}RHt*>4IhmObeohTo>jy{#4&rbO(XG&`c0agr~OpGch z4GFCqA0PZpl+@yfUAqitH8cXbWGNd=GmE{9dr2CUp2@^8P89|rwcox@8J%tPV^1pU z*qi>gVSO$>u$E^_Jn5KS5YH9{@4#{tVrdTYyymG#GE?d?TV!(vK-%NPx&L#};y6 zLE>f~lj8R48E&apHCZ!+o;oOpJvq0aJ@ENE(PZ4f2|q7|9g)1V4_h(2`)$S9(&L3O z%c*X^f=>qu;iFju5e0go@6+7d^GO@zvajiSyvUJKA|=4fA=hno$yj$$l`$cKIHItx z{u%Rtz6Jz8cyxF>O(CqmDHZ#48rXqT(M8$z1le&We`YuJRPbnFo{4-&bc0VD^H4z3 zrHUg9y5l67o&*ll_jewg-r=;dwfp?iD8H!Q!qt!T7QWHdt?^^-W;)8E_M}X0mosU< zHCFbZ0&p2I2GP!TelP;3AQtJy%SYn);fw~@zsa!B`O`Npuvk8VQ*mkSGMYcNd%zLo zaMAV|IJH%x36;0o+9REMyUE+vGj`Q?ZG|VJwtrw&H(E$T?h^*h8lPbah1$8n>YMG z1B0vP!IGRQ`~utG8LpVj9DZ>vC^1g!A`BVKi;)U&F@DwV2vjar&(;4tBX9V#+;E{mBseb|+V2S*ZcWI~-`*Q0Gt)DDV!n{B z=xLG36Td7~FHDp1+Qh7Mz{yAE<>gd&6fk<>z4`jFcs+G#uuTy?5CAuo*Y!)2^^r^} zpc^W;GVF%itSmJ?4WBj-Y>9J4N;llTGLwcP5ub`e0$Vf{<-!R-8+#iyS-iTfbw?wf zXsOy-eJwJ0Q^NPIrc-) zj$&#za0kh0VEG0GENsM&OFG<#M+_VC>*6~83D7QbdkEaPv{E04uUF3(_jNY~Gqy7Y zx9a{})?AFLnuSEaqd0pzuX>4N8*j*8JoQC&SgEiZuPukUdUjjmJj-S15g2x3Y3c2s z?emww>GaT@c!(ES*d~^AZEIN|uvyNb5|&QdXd-2uDwdFWk!oF2cC7a1x`4}ZWc~8I z`$wbmfY*G}sN4S3SLVZN1QK@u!v&#@M*C2W&FT#e_%VlNj~;fi8&=f!jplc_`U*8f`hgfnK+mwF5)wDa%I~!6uA71CD0y&LJjC1I zd&2%7{p#76Umn`&Hj3sU{x$<5)PuQ}fZ| zjGNpgYqLe9z8RFmFK6OV!2(?|9w&z@vESR?+1gyvP9Gz zsZ`{wV;6}F6|BMUy&k5(ORsF*x&(G-(JxEQBX5JW>|^1VseSyV$|jQj)9iQCS^i6v z*75s)Gy($slK;0$AOAJ8fx*U%AbnJRcv$77IwL&4Le=Wxwyx?3x%&}KJ(R#DlOL8!5dENq^;wu_z2)iR0F~zi?M>bWcL9?$0 zSt?ooN(E~k8}`1)2Hn@KNl5M8#;6NP_aT8-Trf2G6xM~G=*Mp0qJj|+2H9Wuo=Le9$JX`u=mO4yFnMpT{CXbj@cHX>OjFp8twOCdaIN# z6g<8=Z&s8%)P0bCd|T@Pzsg2kbh!MPZW6WOQ`K~kv~eQ0;~$Nzx*J5nl9Xp>=CIFK%jeC62a*&5Ky)ofvXY zNHr`gPr!xe%UOfN;MR&XRacFUbfWQ5!4Y&&)7EmNQ0#XM ziwiAFru*t6Xi+Uygn>|~AF!rg32rP>$E-SNJr+w*Xl`2HZU&4{XYsK0GD$sE7F_OZM$=t#O)v{h zD0|j(Hw+6PAK0Xt_na6tdhp!bFRI3A~)?1x7zBmqJ}brI_q!(O46iL*8QYDN|uQ9axwu^MyY(yjI#=I*IvO z>|qb%v|75~)G42Og=GHmOa^t&rOGqMrl(W;EXv%2D3-i`UNLy~#Sq%5t!L=V&on@vNgJ>Zv@p z%Gcf(GgekU)D7o5cQZ#~Y@d?#VC`DO7dsUdg_lCIPZ9G@z~XUjO+MiwNuHt|Y-iWC?VBfTmg#9Er%^sGyCIe5T8Q^a984PY@5zlm zT(j$pCDW*8Pe%Epk*$(0|4IS!TlFuB7Q=kjT(q%m>+Yqn24 z(A`Df^)i*BvF%%$8MB@*c;a`LK#14L{_TAGau|c6+E0|NUF^dML*BR{&g5VVJXY5M zleXOWsA%z3u;~v%{VV_$p8)7o3NVZht z-MDs3N=ob-+a{+>5r{3laoFB?Mxr0vmMJ#lh>3+jacQ^w{T139I`}K}{QjusJ)399 zV~TbO4xxCr@$>#g-%Lfel3s?|+cKmblwcDu(HQlj-PV_U#yfbBfPvZ8yMcwS`{2Tx z@4sbyp9QOw)cnbRBqgzI__Pb3hWc0xlKU(`)nFY1p-RIGwZ#t)k=^$T{B}G(^l-kW z;MMbgFf>o~*9h$ykvKGjBwFQPz3*t!K2>{FF=daT`)TA=J!`7L37CtKp-;Gdwi{ z3wM}Szqm$N`w3s6|5Y&t?e>UQ3U94E8b|1`1Mlt(5=l=kZm1Esh4*}|NId93Kn6u+ zrl2CoA2Y!c^X|yEl#1w87L-lFcq{FPOZr)#LPBhfZf-Dc%K2e#W4#nwt-ny%0muHv zii(UX#o%74S+C?xQZrYaL*Fq)qyll2!4J$k;r-CD@8zr^DHxWcULiq#`uU>Adb(7~ zK_7uV#$g_*`MV_Et?Tq#-Z4zsN4o~({Xyr^;kkJpH72@aSD8{<#C zh!EBt7!`sZv;_@BOKU}1PBy8`<&X&9X1z#WNiAG+#kC6IjKHVdd|yjGKdJyrS8BOYHp8r(8Ox{rjcOVd~} zX~Z3Yn{v(NjBnY}aS}ue0#-}|Zs`cJKgijE&>g1{=n%WVI%f=InV8X1;fzH}%*l4y zllrb0WBeHi*~l?w*G5L6I(@jOI-^Abv*9$rkUtL8KV9ei>T$j-aPOiQJXeS@L<$1| z?#X>U*D7Z6{q_x?HY$R&m)8vE%!oq(@1t;(Hsw(h6k`xrmns7dZl(hQBA&tr?@lf* zx<1Div$jLUnYv_dO^lXY8kZ7!+8?%fX5`3%(-3!fD@wok2n*zK)S zy#|#rLNSCd_b9LqXW(65z-XXvN+NFI#C40)LL$A#t-!Smv&|8_yJafft65p`s|=={ zMZ+PK#Wp16a0Rf|ROjld)r(a z#Ud4mPQLg}2|B~!J#CVNk(2QFp98AaE8tQ_L5^}Mg{T_><-XnGMb(f5Za(Lx%3&?$_-F7<#xb{wByF%Hu!P#;vKB zzP_-K+(R%jH2iQrS8*ZKbDWymmM%r+`O^8zK=8Z2_CfZE?;Y$da>G+Zle_cUyEA6| z@qQxw&xyaktZ}Q+|A*YoK~$=CMl-qsbgaZi3Y(;p1tMrD1C?Ldgt(is;l<&C>S_Dy z(^S%xaV1jusL$>8h06QgucBXuZ+MSsJMB29#lS#3FC=w3^ex%^y3ET9iWp@^b`cAQAX4c0yE5HfGs2BJ z#NdnGK=N;eD+4X$?S-@rbjoOg?Z`Pr>GD{IU3t00|66-!{S{T$KKvO%LJ5^ndK4rj z1eB1z=~B8uKvF__n4zQ;1Qn!PngIqxItD4Fq@-i$hM{X<=6krG=lch|YrQ|c>z%cT zS?la;_PNeE`^wLr6sLAcT&i2>C805Ret+(wHAof9IZYq@_`g1XcoB@&_r_{nS{Z30 zcn46?{lV42e3e(KD{~*}Y*pW9;o%k`+luu0f+^<++Z#9JFR`d+iF(0G1^FTBz=Egn zv;E6;(D6FU;}od2CcTwhVId#~*(cBZkT}}3q+1;Qq%7JEzw_no`vg}Y?(7IW=1n#r z;a8+mp7X;G6c&r-Rnd?6R6RD*KJjEt8QhX# zq!h5+$u!{m@()aI*L)SC=H7bTtsoSEe;I6^B0i2{#FX=OEPtPDMYLn~w^TIMF3VdV zgc&;i$JJ>ka8#Vo>5|PWtz|#$n!8>^Ujc=emX)QTsu08YByU^e_@pL)X{~m4=3Zkb zCPfZw>@cv^p4K$3e!yZnIwu#d3D8@juo zF|0zS6$;cT?w(~J^C}>i-TBKzus}Yr-Y!W zMJh)3>mKHPx`Hft{+12inxOR-dM!!Q#UnGGW<$ki6;euFaVa7Q3F`_?KTcKT~X_9=X+iAJ=`j<@nB@HDr&*dqX^>jXc6I=KP zvg17U0ZWJ0H4>7g>mN%)ks~hu3Ei8W*C-48i$-jZ|36K|s_k$&rDlN+#zGr?LZI$q zd+QkIQTz5!b)iTE%+O+g;ZXWE;vO#iMeMAF;&pe{D@9C+w|HQAW${bG_R1yPSefT( zrOD$CmuYK2z*(n2m!O!@Hs-}(4e#`jM^w_y*3yh6mAyiSPD*g}WlIB!Z}7`&yOj0k zv=^OQnWb>kt}V)r7h8{4BQcCTaGAb+&-^s(rO?8?;|bv+{A>(7dVHHV&~)`)is{QHs?w40E(|97^m>e_$2k>S)Hu+VX;m>3SZbD@i*aKGavrzhx+n3Dgn+$2gZ%_M$9MVoa#R8u^ymW3d zP$V1O3|QfT|3tSN(YB$wny{s4UX6^NAJK=v!lj4LGxLo57UooGE7KgW<8r&a zL5?kuzI$~$%ANhV!>Fac7#w{^tNsul#sTxS0UjA2^sn-NQeTEyxzwCW&>080eE6eW zf3$)pK|uw4xu?>Xk@$Djd_krzbA$)}P{ zJ$1Rlzs!T(uwBT`PbJQTbqI{o(|y7GqtBTS7b}G%eH}cy zGBCMyH1t7zN6lth3f(}^^XvQ0h-?2&y3}1sWxbFBzHVQ8XJa?l*wZ=Z&v`aLtCoD4 zdXugzTUBm9iPy8#jI&w6lr@ZKD&P|J9*@l!T$`N?x&l4VxPc&xd&C@eK2-f0m)1>> z8cBS+odbQzK0Q@Pj1D#n?T%ApOq|x#(CzW+R(jdA(`Q;+OyFgurE|iV0fQZ;#+RDf zYw73!L`IuAAt9p&Rs%mT1%1)_0UgZXANUr<-^poPe8u_YfGE-j6E9^Y?JlLv}So9zP*Le>c_NTOVXvaFZNkc zQvx|~z}5WR-hnBzX)B6S#{`X;=!1d_SCvj@Y+V07e)zDKOa2^a6=W|tz{vy;GoYLG zZ*zraP5`d9Vq()`(??)92-;VZ5Ug|7S|7ChDek|-N9%)5HVhG45P>XczM=&p3Np%W zVC)2Qfxv8g_^HNPE>wwx_B;%a;87iwq30p^Q&ldfz``rH&VG*_{I+bPlJ)3Sb~Ur& z&V9K(d0GBYtFLKKlSF49I(^z{RmVQ5vNN%I|L(I&^j{nP&9=47u$gl_LZ?=WYJ)xD zvtG$&(DYjRfc@j~cNKjX<8E1aY1Cm^z{w3@n*nN!wB7xitpvxvz>2{>ru8}$*|W_p zcUs%v-zGJL@fQQakgx~}9Wu&SuNH=FFtGC@l*ZHAu#LM>^6#nolGT%I-L7!R5wBEf z@xm~gu7b2Ec|W_I!`0h#WASFbvneF0cR96iR8rmRMfG{MOhbyVU0g+mmmlDQl!*gd zizCiIoPG*h4e897kq9&bhwRO>Vwj|#LeB=5A2h@*>Heaj7MqNpac{42UmtuJEzx|O zTu)RY`%RtO#ZhE9`N^Q70VwfDN?@H#_=t00&drz<+TeW8@fOqg1gO`@W{A4X)edjw zMZMbBQqKC#5}JZS+IPFh?7*N{+F+Wg2&JVa)Z!f+_|Ub8)i|ZCqmlmXQ=82EBFp7c zMtkHVN+z|1W|t3ppIDyP;8iKer{dqtrMK-bt>J;AvK0wr$!%=fU174(F~_;>-05Qe zC#)7+mxOh}$X#5o$lX7e@8;(_0u>>Q=$6Iqm-<|?+8$TOZjld_rQOH=J<@>?z(_8P za=-kU^*1;p;j60;Eb=+|`_}c0#QipU0(b{(W(_3}8EJSn2MCI5(mRa0G`dM&eGLSJ2qH6=r<`>iMC`6YR&L3< zk%2Z+G-J9pW~)ycAq3Gb752z~xs<(8sVr6DZk&m1v{d)+-zk~4K4&DK!C*G?;~}Mo znpaygFz5{oRZC^5$2%_CYCixdlIi$9$}7;5N1(i=8WDz#zr{_uJz&0? zpL7@C$5S;J^!2Fc%$|jkzjkNCgrmSU}Ti&A5$uto`bH zF}19^*3O16&n2OeySB%yH#d`{&w(YtNq_+o1yR;-=QK4yKy5+ghTXli zN{@REIh=2cNWvSg&32!4vaOWv|A>}DG4$Q#` zvYmS>%Fyj{d(K&wjBd<9Mh_r|9@l#g*pKL?>X2qvXWH7bi_Z`ik%QR|zssGG&>uN9 zyMDNYr*32TG+){2K!OuzYOr<-tY)&7+qz-rN9>Hx3Iv}5%E<>}!I4#^hfp&T6W1TC zC1m*EM7Sr0e)#MoiBEEG4^Dm8AUyhr{ozAEUvW-qt>JHgDeXA?U_Ju>SU;JqCB<8@ zurw@gDC@t9&FmmU$%Y$)e?x(@nqdkVOMOEU0CI7k-c8dbpSlB_{PJHpRuHWnF&hSQ zNqGH%yY#r9^0&+{92NbL(>~}@PO!g_*3X4OOtG%+8hgdbW06*aS;)xBesW%H}Te%Vv@@Y z&ms!5(hEj|Gr6qK3^As+S!*);Dn*(2a z&q;k4q*|8-TPX%K0Z)=`|4^6d+`E?h6`?mcl4C>sXK z-m!NywMIS?|JT|wxiU4Wfk$~17U+VfTR`xh5*g776Mj# z{-y&PZWM{GALaBHk!H@8#fKM{Z0QK-%f^ydrQ%}s|?V?sz&fTN>y(pwg_IpMC z$ABe_=1R{#3NmgOv_vQ@H23Tkf5^8!4#Po_g%Upe)xaFG|)zt!mTFitCeIBUfbO3nTH&3q}PRoZL{~ za_uiSCgzy^PI~2Ni>b3l^okJcE;{IUIAz&g(6Da6PefJ5o)7}Gk!wB3_R3>~XXATZm9AwrnxEEpcRZ{F{er z*Xy5H1iq){Kp^6IV7i&*VMOdbCcRLtevbNP_(H~_71mEF8K z=KF|`@|uw$FNn3U;fwXon6h1M^SvDnEdoj)l>K4(Xb`Nc3q5AHxZ0`v@irGr@VE`B?I)_cCG0pwy?b^Opuv z-5noEe6uM4tNlKch)xc`0d^|zmg7*`BEK`Zxrs07|KRyUO!6L5(IrWdxP?!BJ9J@b?!s zBbtiq-=}@iaaX5$q$=FIljD|npJHH-9m{H|Rr+{ARv;|O{Z?9@Mh1Zc2MnbR-646Q zcs>~x{Q25^rR&HA?wEvS-&yrq{!OAb9ZzGM1qg2I1iY*dX-{U-D)bd$)jm976)#Ci z&qXVUZ;k@Zt+N?0Y10PhItRq2j*0<+d@Q>EUAU8@Eqi{MX^_M6{3TKFQAed-ISaA~ zyP0pLElWO^EFCymGknQ6os|DA;+h62eZvW+7gqr~NY}A`A1HHG(w^qGl^02Rtw(R< zvWh0PLP-Hfk5RpXeD7|*9gjlrBci;DE=p;gD8N#gkdNFA$KM}5k@F-A_fjS^088&h zPS++tWC3|b@$va*Lc*5kCT(>xuqAKzY809zPAiu7C$Kbf?UAX3!z; zNlU8cd4A-DPNhuH2ZI64tO|zDH=`h{unjsm?fg!on`$Iy@BYm%)LIe2z#1s-N!Hm| zNDpUi5P1?OZ=C67XSaQmbPd3xbrsE^C*5|Qd8NFovH7;5Y>ICT75r`W7s{uP+=F6Ir%@%^szvi|6+zh|FS1?7>?uCi5p@5|aBI5TX6KvOQQ zNIl+@is>R0PQdc#|C&4XxF^$;Um}AKpTS2?11)L?gY=&G^nucV7HS)VeD_j;lW#s~R%8Kz+{AeofQQt43o{TW;V+cW;bADH2>&&9S@aiOjNCa#h@?Ea>8PZXz zO>gXlJp548Q#Anz<={d+h%iD}-$JdwoH+VmSEUyT^RgbEFmAQlMn6l-^5@JaZeC;q zrH{UV`*MXB?=PAorEaASw_kDR-KQT2=VP3^jghFUc1MTr^wPnttMr5IY4)o}^Q&Jk zd=Qn{=)O01ibXcTy*8J(meVZ(289Igx3>55!&PJt&eO+>pMQR{+9E=8qXYp|)O{Ar ze$QLIm-MCEl}vp4M&%W}NpKtjeclTIB^I4yW#fY3fzesAK8a_eJ0a9<2>DiFO{EY^ z%N+wyJPV5o#Ib^&Z|RD0|s_AaJ;u3ndJg~Q@ew;cG7xg#^f^AYgo5-sD`m71=;tH z19JF*Hb#Ghl+*|Pz>G>b^gRmaJ&uAgOJ-l!)zN~;tt?RO%rSc$qqKRV zUIY{@VpPJZD%kFZBC=x8@WK^^5B|4j$iV|e!yDDhg>=|9j;r=8+zGArRZ{|LEe(eH z+-2X@a4|^?sAQj<)k^Ns<}tM;tZW5iEAY+~0Ydb)8ioNZh`lkufylSUQ}mqtq$$wm zBH}ApxC6?31PbevuJc|KJ(53S&oE&o)=yR^3Qo}1C0NHLxf(XJ^fz=0mJ`_n$iOeN z8u6H4gu*Y2h<T zp@tRD)m}CQ;aWJ7kOmn|P>SSI|G2}jinrtZQmVICkL^D*Rs4anK$b*S`R4 zk@esu({TgCQ3+>?4ROI}3bFfT9fRJ!kQP}rtYB7^UvLDccygGfX&%=`}`viI*MLRIq$;$ z_xNRHkdY9QEVW_AA#!gEIyMs+43*pzov)%ei-8%g#Ss(10K2%jFDm0x<}*3soRwzS zpVe?+FLa|l9c)R@idB6eSMC<3MM@0H|Bw3gYUJLxl zEODf$SVRXv!B;xJ|DG$c^F6dj204PrlJ5kRuPel8BBP%(m^*~1Tf*z#-j7MKFm z|7PoY0v$Qe0X94t08kfT&8Jx~<25XiD=Y=1z|U6%s{h85f~&r|HaHs5 zmMDOXULn4T*WI-&%5Wja0Ab}2{nwdJ*e^}?j3Q^oP)UeYME^uwtH2YCOdjbd#ImTu@)m{T%9Mj(*q(oy;cl}9 zQrVt8E};FfRZmN17niW362%`I$A13Kond3`D zUyz(*m+U8<(%}v-o86#(2R&Kd%e}Z}D!lm*6Jb_PyDr)V_^BjV_r&{SZm!UgX%vAu z-hvklAr&UaMmrtj7l-9=Uy-OPA;ZCpjPy3(m#(E;jeKRFui&E8rAQZ!X^B@@Z? z<(&8Lzm4HPp&RX_9=#s6!OROHgOG|u>C^(VWP0J_;mT4K5fRc8y#rRFR&HedYj)w2&)wRjC>Mtx0+vb4m5oONSC5^_M5)C)>OlCdRb5oi zaH;sY5$A5F*17NGdk;<}c>7j;wKv~VC)K=xiZe+!b*kujUTzGF@q*W;W*i)9*FNj+ zRpk$<*hJ(VjLX$f)Kc%Y-Pi=$bDlFGqP9#K7MpEWKU7;SlYYHT41Jo6fzazlV z{7J>dWF*pWRh{SU7uZbJl`%P|7FWkM>_u0|C$_<3S&}XzvgBy$y=A2oBt84KkVSd; zn>4YXIYdDQ*1r`~Ar<;JbMS5do65Mn&#CxN9n$vpe{(!B^siQW zs4bzLW;!V_60?r$*aWLvvfOU<(hy2UFfFONOLGDAFTsEuGf%nx4(qLb)0j4Mg^mAY zu4~QeUA}wizn`W|Q=iH%L4cz#QVZDzy+5x=?QSA;lS}6dl!30NmUBA@5+Y|M35&~z z;8vfl#zjd_w>6oKJLG+cx-5MSZ9dG6Q93wSX*1p!U${}ug8-96$TzLcI`r|B2A*%8 z9S4b*QtzDhH(RPK36D+?*Ybr7jGw^yH4O^l->kK#CIm7!qx3oSdfsHo*o+bK8ibu~ zB39#i(7IM3jaBN#r`}lGDsc}s4qoW0;63>X$kCQ7p&`I>OmYN8`7&QvasTSe zjHP!gZJL|be=W^j*T>tuy&+cnU)QdmW3~yEAgX6l!`ETns0MwU?_93>s!f1)bz60N z<5&H77_g!B_%jB_CL$T-(RW$jKbj&+4|E}Bs;;50 z#T5eII>mD{XGxf(WSs^OCY8bVqBxZUY=oPU=0R7}3%|cm(QGPEQAX5x+OMp|d5!9G zYZxxGA8@G4!ZY9BGP`X9*tp+*^wrR5>EyPf56|7w zE%uwv&Jygrt$;+J1np12pbeTzRGb(_^(yfc2 zGh-}2SYS@n1j>AC2Ia0jx}jWJJB$4{pEP5X#3in85T8?r=NC)2h-@`MRUw(fx4xbar(A+wHNR4}>DzH}ba@qXnjJ zfc~$%9I5~!p|*ZVr33_pR$B=Cy-Z~Z!mHeqIY|5x+Q(3h)uwUcueZV29|K6j&z79M zW?o#mQ9!roc(OWMZRT>!vt?!CaU@aavtlAyL_rste1!8a*ujNIwc*b1U6{CTE3gYd zSO}p*RqCDV3ClwN56O|b&({+K>L0)aC-sr^PJx