From fd3f19bf0e2769812c70b5f7531414b5e33787e7 Mon Sep 17 00:00:00 2001 From: bugarela Date: Fri, 5 Apr 2024 16:40:23 -0300 Subject: [PATCH] Update logo on VSCode extension --- vscode/quint-vscode/CHANGELOG.md | 3 +++ vscode/quint-vscode/quint-logo-vscode.png | Bin 3292 -> 11953 bytes 2 files changed, 3 insertions(+) diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md index fb5e62dec..01cbf258a 100644 --- a/vscode/quint-vscode/CHANGELOG.md +++ b/vscode/quint-vscode/CHANGELOG.md @@ -9,6 +9,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Added ### Changed + +- Updated the logo + ### Deprecated ### Removed ### Fixed diff --git a/vscode/quint-vscode/quint-logo-vscode.png b/vscode/quint-vscode/quint-logo-vscode.png index d42c03f1f0824838fd6ba4e08a47f82847d79bbb..1864749aa116d35b5255a72a5c3c732f06afec1f 100644 GIT binary patch literal 11953 zcmYLPcRbX8{QsPhlXb=yWgbpLNHVg?Cd&7lh%?LC^N!2B$~a^sBW0A4ZyAw&W}H!E z7P32pWJNap-sk)H{eFLR`n<>M{aWw$`}KalUeVW0^jJ=wJ_$h(i-Eqj83e)BA&BM- z`~+wrHrNe-KaAe`mVOX)!I1h777&QN20_A*fwty9_>AR=PdJhl( z{Sj{P)5i^OY1B%lXR#DMU;6fhr1QXo;~yqZ*C2YPJ@g%WIy14x^W`R?2Vv|2gGp!C zx|u&Pq~H57+jO)$F9d^FZ{7M-o0pQen&c^lzBd0bx1BVpw!h3^ zz+@1+7`)c7opW7Giyw-=e(O_8o@tQUPjjhmufVg6^rB?gvr0CT31oH_m@_*}%i1yf%6kLb5{2pKtn|TXdT?Z8cXm(E_6+M*Y^Bf)0`sl1j*qu8IgS zMtbD*g0HKn6^~o(#U_#NGA3%Md-B=cqK0ItXsd~Kw!dc|aQQ)nXA-kim5Aw2e)!|$_;Nn?W_ zHHm5S)&s`Uw)uETmjR3nL5_{*IeEcEs(ZDVNz)=6Zz(lL6FkgTnBbcx3w?F#eZPuo zC@VoF0)gi1RsPP1PO}$Nxc8%Q>#ckVxk~9{+4V-4RIQPf`SL-)9byW8GBPl5CFEa* z+UfZT<#&HAYNRC!&YI5|Eon`&A+z45k8kb1o)4~0YM*=q69F>o57-Xjc4iG{^hQMz%pDy5v5#tc z{WDTn>}-GRwW6}~rgReP6`Qqtp&zu|3q@6#*rz)jZf3#FDK4efA?h8%ykfZ_kA4*5 z1fp{vsyc+@4|HR^E{pNx3kNP=*_j%`-EolQndL9gi9{rf8L!7j99%dZfq1>eADmzB zDIN1c-ZQFJgDL7FYm2kGCl`%A{HUW{)t1Z?1w=>xu!JIS5ioJ(H z>$OjI$~DMT$A@xX4l&cxKfhVPI7T^TvYg3dZFhLV=iFHNmPSuWQ zw+Tj`ZL;N3G|tlUmb_^O>iMSy^1y&ZX8IJNJhM@dK~BH&F3X1IaXG+a0=kP>ziL&DOHSQQUewolMz5Q`D8hd5cdh6b%?R&{gzCCTz=%70DZcdhU zuHGjMTEr;1WTrKBdot~KDryB&Wtq}OCPs;`WT0-6(%3n{d0xIJ&KaUg&mUD zPpL0YiIp`7>#tp5K&}jHdCo-_^vq_(F_;V-HUGJTW~krG^|-Fh5MCqnoOP2+`r=}j zRjpnxA-4kaZ}9T$Vt{U?|J8uNfO*3|G*8qH#ZN!+e&PS3%Pcr-ZY5Aj$hat0pB*{L zqHY&oo$7{l#4py}tNX|Gh;iv0`n4(2{XU06|yb=RdbT<-^yK z>YprG&tqEIEuyos ze5mNiKCKq=7f=2)h8g?bs;n{;p>^QRX%H48B-JPhyzln1M%sWBQ%e``U?8M*aFJ6c zLNZx)z4Me9a4l|H^x9`9V+qZplUl(|(eSmtNrPvWJTT>Dw#5jX0Fgtpkv7hw?wU4X zJ6iK1y~7J8){0a&f5&z*w>jnQb0V}lrnSQApBxc;&71fsCfFIRZwy~g1LLhmG7<(C z%!ykLoGbjzFMGr$`YMlT#}?JWr0RCzr!*Cqj4-R=`(o?-_hM6a{^n$#me~>3s;A?u z^)s2aP|=%oKpnMe)8UP4&gLVQV-B=d{;WREQ%L&C(JgoKK&k<#uX%VZxLxiDEJo3dxG|G zJN;K#Xt>f;-N@NXokpzdFURjmsM8Is3DqiCH-}Z`-d6at*6>JraM#WWt(|Si;v=q| zkCEJNkKOR8|CePmI&Zr@zj>%*F}So;Dn}X>sR+v|VerA7+Zq}5ZQ`1m&)@S<65^6+ zsU;(t*jGRQy>)FRO1AXY*kb6pYAsA%1Akk$rL-iO$ARp~susid);rIiEK#`OTZCfq z3yZAJLu4E5O_1RD_rkmx)QvFyF+*WJ zF8!31|5Itmk7ZrLAiF45Y@*3#GP=vdvBbR#%5tsyilOvZ z@Za&XH1tH8oCzd>3q{FjMv0I)I^T_<)JWkhFO%lDDD%FB3RQIj?^2moBYXs!Z;XDg zmROfPbN7P+>Cgd9&@)>9l>E%C_W1|ys=H8!+by4~wfBzn2d|B7Bo6N@AA`-Q{S(c|>9NYZ9kvQM*_%*o0b7EC>vI{oe zr{LHN^i|2}ovHB*wJ8Au^QO&e9z6S6mmBlNKWwZgU(JYiU$pxjM>!55z^$M-lA9O% z`NaFYVDX+S_yfV&o|Bk%9Ms@ejkzLWs+TlB^SXq5g&|=|p|)J}1%BCbcXbFiEo`8w zp5;Jfo9np=`UY>WTpJpwVHG~VocNS)y{abq4fRwpr@mgp>q}Z67|sH+Upyas%)%{aH8Xj0P`m=CPYpQ2`Vek$wUdEAzXDUmj?6Utcr!e^(+Pas_ zMOH%#|CT(9*g3^h_@CR8-OS)Vf@flTF}3rXF#Nz|%vKam0Dq%m>_?ebL3x~DTIF~f zicWFba^L+|*lc4jA}s<3dmF7v=E+$UX8prDbXR&Hn>WEDYqA$E9n`z409bBf5i;nU&VE_W$&%(To(AJo_|vm6`m` zadMWs6)1V-0{@|C^L_2gt9rT)I-ZNh?RA|p;XB6lPbxGBw9#%4gB{R%-_$DVM8u1( zW;n_7(J3ZIF9v&yKAR{?FK#bBZc7tszVF^w>A8YN%Q?oHx}Tyr8muy_hrPx>V(vs} zdiLD8;d+Wv)UvNfpgkqpd9C4fq0_+jnaY#v=})_ds(ZoopOu!rrlcQ zUV%#;N-WvR@E1Ape$$?tqH{H3=ejY5$wQ>)Jq%0U#d}SDzA5|bFz2OKF!uuPTQEB< z8p01`B~0BOzClP|jC{xKl?c(5 z;?&|xoz!eEXcJ9o>cunC^HO|Rpi6R@Y^e^7fzFQEJh?lp>(O}%S+<-#nfMH54ZLhw zvEV?uij;pyl%hbqz55CS1L4Jp`D#RU(dH?NsDYPiqhRRMXb&u;YHy{g=#}t%mw7$9 zW4MLQJ(srhBIno-;#;fk9@JrW0#A$Sk)-)Ih#3fU9C)7E4?}w?Y*cb&;{yd$ ze(TUFLZXAa)4I&}8C?c`(+5W=vUnV+#=Mk*exhT({&;CjY9u5egrYk>YCW~!fgo^! zqV{~X?pfXXq?5+8#!lg6dwajYv&|g~J$~B5AlpC7{V}i0cI7l>o>FybYKVfT(FoqD z=>UE3^Tt362@Z`oI-xaQncR*GVDwq3+;Ve3L(tDb zHQ%i^QatnT(-g;b_Zrgx%HvDWVhsnaU2ss?$JD?yM3lPh5)CwceYxK2nfIZxk`<#* zP*DpkkNBk~tRZ~IV&E%d7@PESOCWHEgPb6_-|9y}q~d|yU#!A+i`oyB&pR^uSRIr2 zr>OlQufWFpjz~qT#iP=b42iVnGoke8=<<`>7$?9D_De~-SJ6^urzKi0_p16+MD_Yv zV31!jGpKQy0-0v>Oz{G+Rd1VQj{of!4pt7;2AmRT#H~44qBdZ3ZOogj+=dYS`RI#?x1RE!IKyru&+i)!K;^`LaL=`pgoO; z&(-&P+O{KhYVj4_4Bt=Eo@G(rKHy#6YYjm*Zb;7vyREk|zfjqP?aGY)jta-)nSeE3 zcmY4OS$WNmE#I)tK(Kk)1MTtJ^9(#Bxk}mWm!pwA_wWG;Nh`&%5F`p_T#^Y~X7i8O zDGXy|m_eT6)NRmiz>!Kb}}=q&q=O5wtElJ z$i@IOW`D}W83KhmE4FUtZ3Hmj1Um(qUfU?G>o;oJy-jS|d9OHfd)(p##AgK7Yc{Oc zt6!oc3}Mx#F%ALY_=MCUdPw7rXEBrhcS!#Q7{l<>c zyDi}o0eZr`#W+?W@Q6?Pc&Q7;K>H)c0A0aY-tJwKql0!Z!9R$If< zx@@b$w*In@o+k@x_5{pxD2yJ_OZYS$b3AMD6DvD@M2}oy>y4sq4n6J%-(!nMYbzYk zmh)Tjw#BRqRoPLBGv=lpJmL_4)ybs0ZJm zX|~_FxA?)IIQZG0!~iTRj10#sTaPNvueYtl5|clO-CD3kTfb?y+P^&v&p zPaXw)9!GQeUl$bx0YuYbX~~oLa2YXAc`^u$;hm9!gE8)V*_3mvdP<5{!kWv#(zAA) z6wxjbj*jyHc&dIUC43k6#ah3J9AZIL%WIdnsJ6u(lsQGMi0a|mGLAD?Q!V}ipe_iC z&dFZDnpO=)`QsqyB-Kv1aC`vJ00gz2GITGXg?<9d=#O0AW2Z0&USV;hg+Wdh(X@~; zFjYQ|g)vuo0{n$R1d)amYhr@?5(IHQ!n7&dp(a0l1lv!azc(g8gBVc$4jAM5D`1|c ze>3-JAi{kxi;?drr>d3Z%(oM=5aCqSVBNP143J$Uf&sF)4UGBDmOQ@scQNn`h|5Et zm>s|24H5E@V~Y?Z76S%7wGRzc0QeIWEkZW!NLPfKx#BzuW={D)gx9uW4P{{WLHr5J zSP0_KA<{xcs(|KsfX>-@+(m1=0ZJt%E1-v^Haq&QF=k!qdOppXCDVqwY|l>BM} zgrYdVqt!aV)(6o+PXWu@LqI_qUjZY8{FhY2nt-J*umF93!K&5#(HR&ZC5HDW!k~+- zhV^{U#-JB`q4EA2)Invr_nt9CBUWASfMel>{uGLbVl<`%LG+HONtndCXC!qiQhJJ* z^gkPlkn2uUZTnr$fW+hko zm7zK+hbA%Gvy!^M|49AU;-L4p6{c|67VO@4!q|-XP}?*U{l%`&Npci_vNVMMYekY2a?%;+BXokzs+kVP-4E9C>8Xqh=vDM?p zw<3r;&;F(Uhh(*~*9vaG+8QBh3#-+ljS4u6R_myjE`GIbng^P*hYe2nPBHvE=@b1@ zx^WHMu9wrmy*}*(+L+e!vz1~xcw`9<7bPYV(7jP!2+AQ|wB!u^byjYvi3!19n&J4c zotzWbPsStatib2KmbKE_1hjQJ7Sj&9Q&RG*Yq&+jWw`4g&xj900KS1dON}>Dq^Q0uVc{deX0V*1`X{xyrgve>SI$8 zBPRrE{%qs9Likz1IVujK3Om(Iw)zrszG&*!NGzi#w+1C*ceY!@qTJ_8LXfEY|v^XfsKDIt?Oj=RwNZTzHRT0Gl& zTUj=wTy~lv@f}$B)D@SZvlKW%Ek!39s-mAOPAS)%FOREeQ5uNE(l# z92sRk^Rk%G1VJu7!3m^a+5Niaf!4AH!R|*sY8Sq*`}eR%@ETZ{i6E7bQK!eXC==3i*hVvYzU(h%70yeCuU&US z+I*fjwDv6|Hw8BehrUbQpGrqwgzCYh-CY6Q#G5s<0VpX0BOe_XXH3o?h@c0Sa;#{z z3=g!Q0vss*BQzQFClj{gCmKl#e`nsDJ&e=}MlQ-UFHv5bQp#i@0r2uYH|+KBVo5M- zz&$B#qLKUd)?MVQTA1REptgluOG=lxv42TLFs)0-9OScMDEv&#jEW4a5yR|-(u{vm zrrOdyY!!tVykjEp85b%n7fcc7sfG{P6Qk}#!e#J4c)~aT$h#yY!6L+<6CC4Ju6tP2 zBK4KzQ&{M9VKHDy>Ey+wnI}7fTffGyKXOmwC8nK=4o3< zKV~ij=O!R*qrc#%)QGWWP{ofomc;u~A@C#X9lwz98nWwn%dP%0R<5@t&!Wfqg2H*Q zN@GTQCxJ^!tAq8ZwuH#B;q~xUaCEm25xb+L3XQn$HyS z2#vjFbx+~}f9Gw!X(JiV2GaoGye_{#?6dkr@3%{OJmA-Gs-nrjyx+e|x>yPKiPp=$ zAj5p3lNsju9jN80Jd0Jtj@dwF|9oVS6V@IaeqJR2NB1a($43=wS;tH_1%CsJ(k@?? zkF4GF8rrr?OS7PEU9ZS&A-XGxmubeScs7yp*rf}RHm+zcc%@t?k(N=U`I=7o6L$e% zVe8+#h*=FSxcA?~sR_xd!}B9w&?`EB>oR-JW$|BBpNFliZ zmZL4ZwtIM=H}qyKIShPARnt(G&gBI!8;7&$_H?D zP27bOYygfPZ8J8OSdTLTD8& zQklw2QnqGr?{h0DJMCufg&jX*@#XXxc_q(`3~Y;+nmKO-d~vGOXk|S-<{XHG5TfO zc;L*8S?L%6`4PXJzo5--M|*XPfmh%Chari|Cr+IjhCTV3p8`J#WeRsMnT8B>mq$@6u)w;7r-x zt;Vr0Jd*U+E^fGl6|d^~JB9o^r=t@^MpY;6w}SkLCXaH?Kvs}#)t^#a)~nug@i!;V z6oCC=adi?oZ|`RlifZAH{P8BeGem%6a`EG<$IG?jTGqbvGZ}x+&D`+3*;pz`oA1&Z zB);ciwk^D^f=`XT&wn*Tw_1h$`vU#9%#@#}zh-sGkWs@6Ra|4XS46tm>Aq#=+xqb? zyfZ36O4Yu$3%kv8-)_ivW2F4(gpP$r>!?L|K)jmC{KE(w`^$W6_D-3nSV-#T7ZQT5 zj0+ae+3%6nAdRA{N!~ULc0__)%EsA%J4ttQPqw@+{H`Tcvzwmy)?K;Z)(rTM=glL4 ze&aU^Eh1(#tgODLQ9h)M-<31_jkw}f;Pt%Iqv;n*Mq`3Vvk#&8=C*}lu*pUcLF8NEik%2F?P|F&F18-l=3uh*>VUK)B_;hg{2sFYBw zV>w6hTx2a*?bTbiiAHqyVupPGG!=tfkQm&vB8JubbvGgnAE_eO^g-@Sj-8d&9KfaB z3pK?;LBd7nkNa5=Sa_-$wJFqo7vp+`_DC2FYtPB1H~mYd`)+p9Rcnz>$AAKwx@$(} zpmac8>v{X-`bfwtMUcXwDOgyU_tN=JmwBCP=u4qO4=uhZ;pS=trAN!yJBEc8ed*m_ zBhUL95ufrE1z|_V=UQ#H(kuQLBzAl&hp&lM(wfU-zP4@&J?oopRiHV*6p^!U6NRh& zB?1Iv;2sg1rHAv@o;Ovw;xO=nfA1}H2$RFA0FWMWUn;92bE2a=aWZ_Pz4Q>Xu}XKj z2r;c(nt4=iu%AtLuL)>ijC1Fgvw?A)F{VO5XVy`Y^K)vS@01p+MTo(^_(ngf0J0wE`n#aJBssnfC0YL|XSf~bv~ z!5?IEf*w)GQ+yHN-=}s(0#FwM`{YUM2dWMgwI)~>w0;bHeFl)*_mXySPZRqXPG}XYd)# z0eYAqtHk<6aSHq84=h-KhTcB}r@p~n7m4*w#EB|F1m#=uYIYN)eWhZE?e zk?jjQE;7L8{_5eY9TB?$xIs0@O3^M-4(c!&(NUF2R&kS~sr_}2;cNfIwSna8caw~; z?f4XYnA3U3!e8aqX=)r_SRd?;kyyp%{_}_%B3kvfjrP4v+$5zb~Chx|1mcs-bjGmOnRF`q0wP?IN>)c}{zYG?#xl zD$TMOzJJy_c4cFslp~?F)*8{MP%>k|<~vs037#^ylGH4RVVu@B95PxeQfa;kIr*iy z4;pDL7vZn;t9@ZT+xPOE-DA5_#&>75))hG8bO>oq7ZjS$Mku5&M1BbnQRGbMZ5Zdq zbyvR(c^p)J|3O7zSs6|MzG6O*2$_Pcz7OArPc{iIbAA$`i98@HW}Wq>`R}4ePHkd` z^s86ZdbMbps(vO=Bo;^6c@{1-oFsK+-vq?0>tpWrw-emav3}kM7auE|MK=V{)~S9h zZcH1Bn7$0EcN}WZV_q<2*&&R7Jtd{WPLB<|vrPFTUVUk$s}k<5GRS&ZQ&B>zSNCKS z+-7WG0eC5cdrqKZMx`p&NsV>isHVE$8M}! z6wghr+4k3@3IWR1$7=V!?+9e>m-LqkO@Tj0G-sS6bt3EqNYCw0(Rh-qY#jTG<0cbOD45_WcXyyjuJk zUZc9zkHI@Kx4&2zOtq=BYRE2L>g12}jF>j&r#=}y#Tu$hME!(n`!9GEkzp3;M9qsY z(UpEbAD=U)K;0Fv@?^J8E#8DAshYDWQ!wJGOK*qte>6^kTEeHUz3!*zIJx6I(;bur zG`PTtJG`>L(k}oS>`|=3+{_Oc6LhP)5fmt=&nEd2NErDUW4oA3pmi>wL$&2) zzoaPO?q7hOq~}?ICl`=J9Kb*_&pK779(mW0F4JNQXo+THgx}Rbn3*2~7M=$KeDt=xXe8yV5GL>si+RfBCxPIBMVg;ZW3 zSP52Y^BKO_br^%R%|ri+)L86^9eTmdE9h;4SV46gMh>(2h(|BqYng z#Z^vEh=BS@ee*h{45DszpEEX=3#h_nd3PuOzxi5#-A=7Kvx7UpwSefCfGqCR`)aZH zKjB0G7~c5-+*47yxmMbMov+Tfq8!2FOe5Dy418Jw?m%o!YhfdMoWTu;3k+rC<<Sv(-M#ExWr!F!y+ ze6UCx=c#HBoWlpaJPiXe*1C+&SSBhT9P0;ob?W~S4A(QN76FE=2Yb4}%?sx0FAG2I z9l~)DbgKzKsJ3T447ZX>ijRf54-913A^eoe3Isgktj$<(CD%hct(hNY$E?}#o##AO z$a4&U%NLp++EJ6<(CG;k;G_{*eB zY6Y#psOCkLlV8|QPsEe`KDm{bH zyR?9ZVYlmwyf_243`EyIch$fIR!S zQJ@PX3e zPhMBrxm+rRlKwc52yz6(Z<@z>0L3CUTxrKi{|NoY z{y2~oB6fl-%j3;Yq_ADu~WQ*)Fwrtrm$(DUKlr@CxTahB6v4t>E#E?PO zVr-?X(;#d4d(ZiQem~sjo^wCm=REh^C&|*>h=q}l5dZ)d<7@iXr;Pg-Fox6FqvcLI zC3xU9hY$b&ng0vW*$7PismL2@U>|C8*E=-aJ=hBf4-c333-Ax|a1Zp7zZ>jRxT(np z0L*^I`noqFiZ+V<1GC3@`%Z?B0yr{t4DdiZ{Ap8D(+tubWu#%lE?Yi|3?;K#i%pB& zB!EWULs#!KlSk8Xt+LEia%Thm^7$&~97k@CV**!G>5HsCd@AEK4Vwh4TE%n-?JGYM z#EQ#wJ{@gFdxT&pgzchj&FPh{l`DHZmQq}d_pd(r4|>Fu@ddQZv7mTlawg0SjME$Q z5nxS_-Uu`Gcmi?D{NB{>poPEhro=<;WDS(Y@dAzRoD6|5omhA@F!yZjkTOtO6iIxQ zHyqD_1M%4j6{zd--(<98BmR?j@D~=H6sde*z46V$CHOr}m?fbck(JiA*}Wu0Xc zIU)r9*)M@LE>%!%KdU_6nci3n?Mkj=>)4};6(J(dmK6%zGo8B5D_iZ$7^<;i9mF>@ z-Y??XIRz)D&r&UP>=+JNY#;F!o9~bHs_|;a_pEP!+fE4(7XlD@&(3Yn|z|NW>k^{Gm6Hx~UVp30=4xx4XjRn+~$~6;YG!MKh5*YeNXv zR>Hfdm|Yq4S@+6MeyOrh5E*h@uZ-mxf@AIvSwaG`7vc!bvBuSPZVyse1?2Ieg6bYk zC#SwTb0$2O2T|n~%kA`_0w;{WffKV&% zcwebs=awsDp_bX&a{C`uNJroi%f&muBx#EAN3LUs9eFGrH=){pX~gpFbguTfck|w< zCRza7evXJdrnWN-i_brVPl@_D;g<^ zJ@GWcZ?5qkHf`Gyz6~Yg(2;fEj132i%It}=XBxyQ4zgTzbb;kHSCl(^?^6_(s)46Z zi=BkIWuw7};&<19<-)2IVhdNuuhNH!Wvf*`p`Z(d=B_t27Z02`7m5v|&GzJ& zqi%FU1O(W$eoA|Ys?WjK?YpBWsmq#*w#pGovO-B@(x1=R1XQ0QGHd@5r;FkbvCDp| zkH)kL8zkiCMWSaw$?t07g z5a!*^Cij%2_-0_9expPud%O?JVXI->Z)Bs|F9xN18Ptv&b2ox#3f@iZUim;rckA41 zd($!vklJyCs4!ts8k;*3Oi-5q7;I8Axz%j7b;@#ezFN=CV|%E*EKgsWMSBnWP-7;n zhej-EQbai0sGF%p@qnq2^^<-{xg~&S<*uSYAtY@V^k8`UWOniPo|1>Zguw{6++P=E z?)SGd`SbU6Q4}iIe?vBu6h+g#Kw}F=?jnV`q)^hWPc@6J!zn_ zPn*khXPN+~+lw}%`auBa;DjzQ0Ox4VNC}gXw@Q4F$q!(pzC@v(sv_WssoDTRBS)M{ zqbqu2d1z~qyU}!BP(iX3cWv@Umz-Xw^1`4fE}|9W51Kb)XfZ8_+A(N& ziT3H~>GuKn&x_#ev&`@C==k3`PH>B{7(Gs`O!6nKk$!(+Pf5t4(772Xa@2b@Z{3{I zVy{rL9hl*uLfbQiUK$6ezzuedq_2jgD>Y#hUy&$=8mlS5?ec4K@ZSv5+BgM=IY%YexDYZ=W+^wn}=5KGT0K zkRDD)Rq_YY)C3sjYkQho z5n+D%;uIFtPe`-ERuM2C@DqGlcI~)onZM^ODAAZc9LSi}-lNc>PBf7Fw*42=FG7YnJp5xzYv^mPa)YynhMD~;oTJW%(!ShYVhxMeR&4T` zB~7)R4U}hB3>sW-l1Y=)&VEyprzW`8L5*zaBfm}Fc!~F6*EJ-O&noY>j;xPSv%{Kw z*gFzMSHOn)z(VB9=NJmf0~{9n;)*ck_^+t>c$uL-*q1U<7_th7abru z?QFfER-!J5QTr;mvUWHnQ=s=elWF+N2;PT2!;HoY^C~<(EhSg4)%lJN8A!E>@M8lO zj6t4-#{<`d*PJ?ztPcg4Z%X<7b@$Sn??9p3@GFq{`^&7N*zAW@A4E#imZU)u;s>v7 zp$cC0>m*UAak;kR!X%5PC{QOR1lU{H>0;t{ZW{EMk`w|%87*MM>-|EV4xafj0O}yX zTQbNQa5>HJ?BAF+7;aroqWG5|zNKboOQn{P=-&?oz@$-iVy4LV$JTjWboGa?q`}!Nba4Ij(c-DruCnf-E0|VyBlm>#9*w zk2U;#acNZO0lL(gs_e~Z49)r$rdBt9eD7DqE-v34b#5SM*=SNiUJ_4R>X1rUW~zAb z)0h==nEd$loBJ{^@gtTZurm7Kbm8lTe|~=}=DfhUjWN;7wH!{!-@--O)W6;V$t(u( zPv*pl8@M^poF>Iqe0g0Mx~)H!I$jPjy&BU%s9G;adC6(^ z>$$h=D41-0g*@y0s*FeMBOMh!6Tp>Q7kRqNtfF$b6${y#fyaS;4d!`EqcHc^`?NBJ zCP-x_cQyZLl+)M~d4I6wMLtfU|aNp6$4 zWW;mahIiJyAeK}w*Avwspn#%*FNp%g3+$f2+Yj?O`=5#13yRNPB@d@8X9Ktz{rXZ~ ztKSD|tR2^VV=_X(0CSRXJCE5ia7h|)Gi6`*=$+6E{Bq^tvy%4qVdG#VK(y0$n@*7k zPAWPJC>|61IPAW2?}sr{XjT8w-v8h1AB7yVf@;hIKbkOIIsHrkV*_*j+N*A{{{xYr B0