From b616f570ec1f87fd4dfadae4981ed7411731f6f9 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Tue, 25 Sep 2018 14:14:04 -0700 Subject: [PATCH] change to png logo to unifi viewing on other devices --- README.md | 2 +- assets/logo.png | Bin 0 -> 50968 bytes 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 assets/logo.png diff --git a/README.md b/README.md index 3597e83..46d4d98 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@
- py-metric-temporal logic logo + py-metric-temporal logic logo
A library for manipulating and evaluating metric temporal logic.
diff --git a/assets/logo.png b/assets/logo.png new file mode 100644 index 0000000000000000000000000000000000000000..f4ad7f4f71e477ba3151a40eb1003e351d1632f8 GIT binary patch literal 50968 zcmeAS@N?(olHy`uVBq!ia0y~yU@K!_;8f;dV_;ygIazp=fq{Xg*vT`5gM)*kh9jke zfq{Xuz$3DlfkEyt2s7@PKK&L01A}CVYeY$Kep*R+Vo@qXd3m{BW?pu2a$-TMUVc&f z>~}U&3=9eko-U3d6?5JkWMpJuU}%`|Z~Z$Ckkt&MU^E0qLtr!nMnhmU1V%$(Gz3ON zU^E0qLtr!nMnhmU1V%$(IEO&P&1PoMU;u-{|Lbl6p`&0l1V%$(Gz3ONU^E0qLtr!n zMnhmU1V%$(Gz3ONU^E0qLtt2hfZCg%zOc0bcs!K&{$8{G{@1_y?9FegI5e>E2(TpY zP;rvT6P?7s>gAdtxNyZnv6nYC&ehx+W}UlSyp%0BcWddTN%j&sGpAW?jS7?r+@KmT zBjH8C{u66`I6M{Z@TxR2DJs5{zi%rr?S7uwZ|nP~EuVj!@$-!S=Je11_SvVOe>bN% z?*94b%)@!WWz=t@Aut*OqaiRF0;3@?8UmvsFoZ+E=gomTybKHso2!aSpGm#0-T7;N z_8N8uh68Uo$`}|D%I_}y6;it1^jeMU*I=;3hHkxe@9fHj85j<1`qTSrn`wW#j}bVB#;S3B1a{h&tKAM&N@7=7|j0_BKR=r+re*P{C1H%R$_Ep+Z@3ZFm zhvmsIGcZKVpMNqehk?Q2>y&HKukM7!+PvgpU|`sGpLtcZ@EZn(1LuD0ueHBnS$|2A zfq~&oTe->&MuvvDWm%=kuX#(?<=nW(%fQg^_196p-#lsjISdRpbj3rzM--pEe=;_i zfq^0U$KjpQ3=9madiEP;@r}NQ=TA??%1B9ZN|WGgEKkj@Hh6I!8{BM30~WhnHd^n3$DLv zyS6{+d1kO569Yqo++6853=9dc|5m)_FSU!8g_s;t+Pn4!14F{@y$LO|>TeWes53Ay zT>cdg_DIk3dslte)*n5$dD$EmkO#la0SD5t&x@|fzq%7J*XXGV0|Ud4Wx>z$7#J8N z&d-jn-|+dACn$_S!Nh!S&AyAjn&*o9S#p9iOGE4j{;2vD#ondIrc4HlFx+4TxqLY| zyc^yZ90DiH?DDj)M+9H}`v?w|9l|Wu3=A7;>(*Emw(MFjxlj$P^?={*HDB`&mpxr# z4CXW3U`!9&zU5!Sb5)3s_ku%g+v)x^X)~~jhTad$uI-O{-uCK=raE})lwrf$ch@a$ zZ`fM|4$gv+ZgrTv1h_O0BN*|Lj)fk8$cly!3UJ?{zmere(>Ca~T&OPH^!NBuX;*&h1b z&w?K;*08p`?s1D%xGy+>`yg?-*|vPiuJzI@^}tFFoU5vTyyiybJ$Q(h@#oD6c>e6w z7S89O9BH@-lsI$NZQPbvonCs_1LUq7>|h71lb2fgZnoPhZia&Nxxujpp#0Ck@VhkY z>(*m8yWX;^&tYdcFmXuR6mwCvNfkEcohpATW{MzN9h3>td zKOEyM&09Us>Y)t-L*9E2?b0<+)9kb61Uz4THC7Geh*Pp_uWT%0XJBBs5wSjhPQr6u zP`o^tuz2m2pAlc*Dchtye(}i-UAI$kr}BclB!Xs>`dl%Rl@cu@lsN z)w#uQe($H1|C|Cj28QE8uhwut9P;JTG0xI`A#+V0+AuWSElYQrEBX*@WTD+Hi-YHu zg6zAId0ZH-q0sMf?%{9VmwlNTZY2KZEDdY1W?*1A;8qd%nAO_e0Bp>bzJPSs9bjwk zX-lhL*|~Gq@s`gF3}xr7oMGliu&+9A>bK$ZIZ$-HnP&*M*rPvlPwtI4Bd|$EX)88E z!ddLOym{P);)`H&j*Bcj*HyrNLz4X&D2rOCtzSFOH0bU7%paFn84_a8t-Kdvo6vuJ z-O71kv0I;I&x?zVvaRbsp0{RRQ(Ih0pbidVvAd>v=7Nnd$OkO`kx#70&1_bTu)Tw zJ9n3XA!p+5u;pj(vKY+V?OU;yTT1=P%3U=}b}<~tn`L}u<*t2IZq@D9-`B)VFJQk> zpnm2q0|P@r`@c^eTkjhs?P58Q+GD;F6&xna%ot`jJ}< z2i`?^frDY&v;=krhG}o}t_r)Y`n&X1v+`9ohO*X25IjN%nS^t zzqP!YGBIoa>RqKvZZRCli^y8Bxv2K=Oshk(3E47pb~7^EV5|@N`|6G_!|}JzSIN)* z_{(2z(q3Kgy!7hNcH3=S<)A=&w2z^$JAs|y*!P{UKJA>%(0AL_ zIR3wWUqtnK+vki7eMgspgC`;T2Bw)R^iL~>13@|7 z5HUzNyma`wMDR6t8AC(z)?A1o9$-V36|er?7xH`Ct5{F~Z9BcK4HR_=kHPlOoM)5t zR(sWJw>A6>IqkXppcH(-O%PPu8r^K;Wtee!9mFfi5aq{WHhz95n9a;EJO4U3k!}zK zM~_W<7{BDkf4{*&wk?(yY|bNa*;uJ3v2$MnJHw6B>)OFKUxeuBm*4p9_-cFkjdlzh zX0}+}_uIj&1M$l9KZ4o&%RzCSCiLo!?+#|2Nnme3b@;ji;>Fv-uVm&Hut&&%iZGqi zJFo6_Tl2m~mLb7)MR87x^?^lT*G3+@)3$ca4Mqkwr@7YdJD7FaAjW)DzP8UW{sIGo z)7;0U?hnsNuUhVNOK`(vu)B1U*WIYhFTLIIm9gQe@T)iHFCLm3yxQJ#2Xl`PI58C# zeVrlr`gR*HL)q+rblVo|18cw0(Ob1VABtF$ucC^pYvU@S>=#y zf(gig8TT8H#curk@)fu8HFkz)s#hY_9`YG*fdc-_`!%oPl&@{)m1f9UAG+f6-D(@P zD>LU8ut!*frSsq9-mtSMs%1!!bDDcr;SS?9FHi`6mM)gww(7q%NTSMV?pdWfjMv;C z64gh~xr4&V=XIac-2GDm(mU6!pEt39{RX(QJo7$K`TG8%C%+gDl=P`y*;#d{ZbxyR z#}4KVb!4E*}_ zRqj>k)z?j0?6ws$->`9-`&R7^<2w^@1bA;S-pkB;@a*MP>SipK{4=&LE}Ro%`}0CY z;o(T{_3PrUet0@T_ZP!7{}r31K{c1bRtoEFFV$GsoTVFZ;t_)(7xVrPI`t9HMKdzQOSDU%P)^VQd@{@cGtvdG;19=`wfhC?qSjlVN(SUqQ@bM5OhbGN_$c;nR>*@t{@ z!2O#u>2DIApPKmk{8NXoOJ1d3UA`(j+&=Pd^|@u+P9(3o9yUF+f7VX%hFGO555Kio z9}on`x*aIiS518F|F(K{eOT?1U3;nm56v;OU7Gmyoa$BEw0Eotw>e91bQiGSm<-B$ z&x+rj_-b!g^jGt*<6-fr{b6&B^R=y?CVbs|m0fCI2us4>7Au+F0`?z#;8bzm*==3@ z*%M!vn|#|=DswmTsf` z_~gGyc)sk_X65+iyQTlz^i}?seZ36|v&SM`gh3pweM4Zghwx`t@Y?OG$|?0bJni!DQtz*wubQv^ zUiCdJ-}*~7*b_T@_9h+wY31|K;p?PVTVBPVyTg6p5@%_I`a`~Ai^acIUp1DFtN$+f z(u#dGyR6jteRtQ#U;QwvuJ&;DpKj$?d4?N`;^uc`>wi=no#V^+yUert|J}NucCX{= zT6Vpb`d>N!ukP7)>F+;{zS;jfDfs^jgT?k=Db@dfSC*E3i|O6?(JwpV-75<^I2{vI>|0mxRW?n?v}ulnk|X0-_+K$ z?acn#^lH;9*{kvE{pM_4JQ18qtN1g22-Wz6y)kHSzWP3-f5vXX23CPr2C5JFewU_w zoxh6TG-vO&l?P8eUiCk)cEPWU$Nt|j?QRBl9j!Co2f}cCV_xo3`ehWf=eJy8Vf)=g)`b&)q)vs}R`J=jJ_-nm_k})b2OS zK#4&59orud=Z?=Sul>I>|3blsci%(#*PmNGuj0k?p!W`c_PsJ+z2B@{nZa1#m4W(0 zzVc(vQrlv87rb+G`|{(J?$y()>jP^G@0Bq$EZwTaJ zU%7;Z=hoWYy!T%%?yiY>xx>}WtG93c-umNd&S|r$n`b?gl^8V1nXYGH-GL4X06MP+1P(?TGpwA=h|1LSBr=H=NfNww7#(6>&>HA zm(Tw1{5h*;;okQV>^Iz;WT(09Fy61qX00B&-!L%VTV{Kh{@Qm{>hp{dX72gQVS3$k zTVZzZ#^$-JSN*@R!SB?uGv?`g()&x#3b_ zsckoQEc$c-Nug+fe z{@&w_*;40nc2^y$dk}Faz;UHzCE>8U!^R=1x{KYGBfwuW=ubI}&4rupPyK_@k zJ#76dy*axl@_t&ss@|$x__!0O#dNvq0n7CpM-!gEzFNOpF4A`Uu9|ygVsD?dIOf zl&?fT-*Fxk3GP|SyUGe|t@BQ7kdCiK? zcK>D`G4Nq%lTqPlR$-m0(#6EprJx|`Qqsy^79M-Y-DkCp8cQLosHn1qMj}fXOUl#) zhmc7^DqSv~e2E;*20Q25uZnJ)S-t!GTf5NGL(l(KU0vO17rg)e&Mzh3_uh{VeaO3P z-#7c3#f`>|xkctmo|7IGAMLy1le+%K&RwT#QhSfL-weOXyXMAB{+jl4`fD;P_!Qn+ zE9CnYM+cRh7TC8;TyUFtNb$}fci-oy=2jG~xnXG^c-E}P{bOajif3>724&OWn+MO? z#y-=|zGHc2->P?I4`L2=XKUR*x}=B<{^@xK?(UqOv7ujx@4D|- znU7~p%v(aNeU(_2L|?x1{&4P-Z`oOs8*^{!CBJ;ToNZg`ZP^`0h4ET>LLZ*?e4Vej zW>bBO0GpkA#pA;{2}T>379RI(dArhFan8?(Qfq;24gdDj;)Tr4rvYJSSxxNB|k$JooGFGojBcY9(qt z8D0y`Te7^O=#R+5lY2ta=Qho?d!TJOJ4lnK^h#Nq^;1vLH)j~*I%1L;KL|evNLXql zzvSo|=0Da2p--wM&sDHQSYE32p0uQgr))`@mhp|7>rTg{_UZF3*3Uekx}>^j&l5BK zpt~j9WxpDfjlM0NXn18J)8V;AOSsCC`kpteXV%yMxl!`ewgZ(14hepV`(|POO7?p~ z$vZX`&q+(fB2688)!X;Eym}SQnY~vpQCD+oFlY6r)p0h#?o}5L%(T8<`s2=lnbvLA zXSXr@$Un5|9Y51|wRQEn8|*)Dt=ioC{@(%XB6CJIYfwCTtyW!;xMA_cAC@oq>h9|V z%4)V3wv>NeH+Q$7Xxa*8-LnPD_vR_>;e5XMNqt?R`3C+C>K_uG#WC#jjkq{%>cKu0 z&q-7KxUb-)|7a&;$;}S9@DhbcRSirRw$RI@3^e@xsjhanz8=Oozs)_ z*y1?nOx)RT+L&zoJz;~g=Oh)?Ct*3On!Sat-jtD;x?80tq;d4oo zRMxiTjn=|fi>%GI9_>8vZs+U^-V(1o_8Q;GTxQ+y_Lu#&ldK1#8^w*T-WR`N7o6KH z>p4k9bKz8>D-~vryr%bgJ72AtzoKu-?TiOG377Bmau{5h=ys@Jd88a$8MEB^yC)3( z@>wuMOj!9Z-RP?6jfpCrlZ2uaKmF-$c&>CkzV-tLK${&4&VT6SyxslY1`UniRwSQhbaPYjNH=N+>A za`)<>%X>vF^vZ>GQ&uQXJzubVpPm1WV{1I^SYu`{e7Ej^*vf9HHy)EzJTrCt|J>i7 z?mjR6?MIFc29C1fZ&s|eW0RS*yHm{Y%EU*8cUI1S-6&jSE_jgXLBOXR-`bK_O_0PU zrFkx-;Ar2eO$;+;F6h%PyArmz;c~;;V)IK(ZB{`wZPs56r7a|8%-=oH;~ksbq=oMk z53JJUhFUA}W<{QyS3t68LQa!akf<*A9}(trGk8jul<<_ldU*MO?atX9Z>&rHS@mSv ze9%YHmZrMGaF$8E`I1#p!WR7>nkJk|U7@@*eMfNacZTK9@{}6w9?ak=z3(0|adrzN zNw*#Bd-d$6OR1XrD&^3t-&)GWSKG8%1=+P(UoGV^FfSMGjA4zLvE!NB0qI~-V{mL< z@(_G;#xKD6ZQ=&yrJv;($q7XL^`zX9Y>4y-$U%%$U5O z?N)N&BCE+lS0}zo&?+!AP%T$BOk{LI#0#vCMK2=~vDs6@r7 zCq=C z*s%V^H z!_VXHy53*qv}$GGfy@JQ56n0I9%R~P6;vzvZb`9nLHRp1tw%MN*sbNeBM+#Hg9=Eg zyrW_HiyL|y-!|xS=xg~gUpxFfRM}LmoH?k~mr0Llo7!75qtLV!%2($<^pjfmqvqmz zPJ8!o&yalM1k;4HHB5GlpuB#mKzm!&OqLwZJ#rPyiWed+v)#|8ZcygUi+xbvuw7u= zeOn!wLfn)Hdc{nCXp2ES8xUDDdDfUGx~2T6wAqr!lGZ_n@(g`v?z*Tow_1HqUZH&Tro)cn z-1hU5?|AM%-6_3d!Rm&eoUh*s6c<6#7Vq|?)qPtz+h_h0{bBnd@X$}oQ-{~ySn_C} zmQ&fQv`6~O z^8@!eqSx%T$#$1|&?UQaN8y3~#_3Pz8z8)?B~y|WS&3W>+oj%hdmpX8D5!~ zvcuRY{CVDjLut(ADr>fTuIc>C8U?Cxl#eog>=wGRVv}g&8OfArt! zT~VsWB!A*=%OAn7h97lN>`#PUH;h}#e zU!1<{a`dld;ojax_EYm9RY;fq)$aP-+g-U*1&n7amhXC%ZuH^k9bb>XW=!W;%NExu z?qArqWTC`6k?B@jRxF;PUB(dS_~VxD)aZ?%r2KJb((;$!Rcb>_vOR=DUkoe#kYYwz@yB(6}-T*6as70qEY zWq0Q+56L%c{92wjL*1p>G}o0g>q&{qhpTsdJ%W7KFwWucIe+(rkQrN@^Yeh`atZ7_ zr7EJIc|Mpu_{BGWHb)Fk&ipNl|H!dEd!DyQP0lAGn`cAN&B?oJ8&y0fiNtq_s`=h) zd;9jl$}QPT&)GLr&a9r{Q1N{KlB!#LKlDD#yVLvSHpdTD#geE?e-A`|nEPx})n}6p z+y$B&-U`j1%@f1+hA(F3j`cA?>zr2ZzS4g+>p*gyc?411J(a%S0VefLhtecY0U)R(t-LN_9rZA+I{0{U2@v^Yq|JEOS`yu>P@0=0DFkpUE%zrMZ$1gCEO1RvnK!)0d?E z;P7s@V&3Ot?IfFVzIK}8)36*!6Y*-$DpBjj8P}%e+-HfKxVuwNjM1Da{7e68gCi3| ze3KhCH{>?#HvVQf_e1fk-#W7IWE?n3`IOI|_whXYQPpX~<&zr^6mnLde0%Z^@0Am4 zj(p_-w;ZLszA9aP(Xut^cK-*a_^UD8e*`S1Zw^E{@CIRy`Xm^Usr{yypOiaWd>T6gt}%`fCvfsHtv zxZ-l8bbY*R=kkWFLRXEzWqg)K=mul8z_~NbnEOuLIc#&tarbfN|0nKv`<;H0=Mc2A z&LN^ULiF-)d#QIGuUZ%Sm9ISCyK?sw?KxiYk|`TNt@5MWI|`OLyb%@fLO7%!-J zzN+gLu=w4a-MrHr1bRJRgl0pSt2fUMdL50 zv(jm%_r5WoIS+ZwtrohzcCzM9=?Nw|;(~Es)+~N0@y^5O%F9ss%rcIQNm2Pn)4;*L z^kYqvROwx-Z1aSrEnmeL-yaJ|*T{aB=WuDm9Zngy=Lt*nmL=~{-a2!k-}{)gm#xF! zfSO)XL0t*yH(5-RED~OLdwpenAl{jM?QBIt);l$ouWvLT$R04>DXn?1gr|Ionb8$V zx%1aw&V?j1#icj8*7hAdSCP=)@->gqZuW+_*tL8;r|z~anWw{YkM+*n-4lg;j~BRS z2|LeyXnf;k?5X2xzT968tpo3Lt=(+SFj?rDHQRT2{X@Aomi)40`%(E$O=(8o!@etQ zZC1*UzaPBU>lu-qcT@P6J*d|9I=uFV)os(nwcZVPaE<9yj`z{G7AU&+u`Pd4Th2l{Km0 zaJxDsdSmIf;zLpDDr-W^Uq8!Rz$V7@{aKz<bi*j{Wt=>{k&)Fia7{H!??H|tQS_1=|V!*U?iiqyIr zk+-IGzWT!WTy51=mc@;}#pa5c9`D)LoxSU#cG>XG#8+nm)caQD2u6vo1Lt-VmFBri zmvZsvsmYYAPrAmg_AJlo(t>?FbLQ>tJOfHDS0^s?vthH|3u)V%EV;>u{A-mqqdptA*Zvdf<4md7$9s#&Sk(>zZ=~?yKaS=k8E@nztZLO&u1@S1xmAU3q)* zPFv@zKW2e*m)+1SXP&fc7q`WPbB=D&XBqg87Pzmna-RDm?95$LIG;f!dG{SM@(1|Cj7=>)&bw3d^^rRI_1Kq2|JWSyBGRJv03j0W%wk}aKI|f z=DE{n%~)}6apxocOF+0R!ojNwf5+%Je|z*>ZQ=u1Dmz} zRIM97-4|K;e%yA4*Q2U)cEjO@eRq1V^gQgFGJT<++`1c@d6fwvhpHgam8Eqw@%m)p zD;nOb5}xmLDV>$TopAY%ug9(IMq=8k)3;69qc zeWo+!u&A|n@ln4*_UCyHm+a57^RdXCx$ALO@|{Pf~ou=JxY5zbXH2)F~rQ=-PvYvXW}J;D<}0!BLdSkoj2G))o;CV@SH`0 z(-W!GNVCAXA&fzH_cBK4mkUo~_`&w!?j2u~o`-!R(--=guHo%DdDq2v&D;&wE+5#l zNgdMuy3{HA#-TRs?HS*Y^qnrHuinKMnJaKM+-Ha24K&t1=}ui9*u7|m5`CTU?*E*y0FD`Puz{kgjy-4gFS zl#^Ek$F4th*MZkZbxnl-({mD&Ax)i^Hq#ayJH?qbMe%A_PIAH3a|wMcVJGgkTq&B* zeD3UB7jDUS9*2`x1n06@JKt6+w1t$@rqh*ftUTQ{SL8V_?+vZQwN{aWKPuj-Et&RP zQ}ITiT$^=JK2PZ?{nCs;_w_yz*@6Y-J<#4p$(^pZuHV(yY>hn>Rr)FN)#gLqS&OV2 zz6->C3AAgo4l-=B`nrK@L)AMqExptYpBW~e6NAP^;n8#5^OWx@KD@2IDp-9z%Rk+6 z;h^rbOy5}MoxR(^a9B1|qs{8;qq3Z4Z^<_ZImc7_Dt-1H-jEv>37=cO=JlFx1Xn3j&Iz}Oe@R+(x=Xg< zx6oBd-Zzt1gvsvVzhMfp_pkbg)pvYXC?A%6xs<2$RpxP!0oM*3Y5BUY8*YHogOevr zUu{WxzOH2}pHIZIjJnXx5E@1gRwFmF_-d(~|Ca3=B z+GR+=8)d9~e!q}`R#ES!7~U_cYrZdR*}Ce5%7d#rXHSTFC758JkoV3lWX8k3Tc-k+ zOO~Cv>%iKpx+cx*>8u%(q5Vl)k;;FC2d11bJ@rZD!}XT0-`LH(Bi4KMG5oVF7Y_11 z%lJ*L#d?+aVcD&{3;l}sSe7%3ZV@%GOx%0_*ql3%aUt!p4a^&=nxs;HIvml zYle1}bu%yP9q9k)>aICmm{b4H>U%upS4!Hf&Kl49;^=nu?d%QLavm(3!3v4=EkSE; ztPI{zENEa~cs8Huve5N2iR=&54;bx~o*4Bi=)vTjvjZ}D%CCg9S)JWl|Bg*7#XI3} z%hx(yosLN8czNjc9= zs}|mn_D)SJY5$S0dY!Q_0}|3RpQo<)sr7&<;U>@4WNRsl$!Ygyhp?Y#`pw|~JkKRi z;@t{Op3+(QCYjsiS8tkf&`ftb$(#3Ir*`9j<2WG#`PC}zW?^!&EWaw z*k?M~b1a+g70uu}qx>%UQf>@KPj`K{rw_}r$oprl&OMm5+&82KRz%_^0 z`-dk!U(Y>yPRHrMq{H)C%CGpI4cV__&0x;_{^Z?`D@F3^2ft~rVhMk@VqMJ2%X-qx z`DgFCq`9lF`#$-|R~64o96Ldi91_}PdasSrBOiYg{4(wIwkNgbkK-GC7vE3)sm2hm zxM#zR&mW~v&WQWgtfac>N!Q$6Yo~=+#_U{dRk+lzYG?SHFBjkC9=x{n_xBeO$&*#e z)jTJ8C4(k`dJ>**(JP*2n%28u`cWISOgHpi$%=2+`k?5vK=}7QdB$n%etrR~`NQ9=*f)*wnc%q{lMYO^UZocP>Pcv; zsC8}2gUZz>zDJp^teYPD$1qO)PLn5G`n4h&oe&p|H$^sGu$hj{%{_$mODPR=Du)a zY{TP*`;5iLcOGYUe@)(??0GnO$6_smD=XWySgmVY);ix-IR3e_cJiG_`}zr>#{ElM zmx_yZHAkdM@3B3QNGMMTdgnIHfUhF>zr{R(FL&7Pu-xIc@wjp9P2izO>EZ_QU;p0} z9oTe$>+kJWNWq{bc99o7=)Fxz;nQOY*P$d6r{3A9w!!Z7=7KVifOOp)m-WcUaK9*K~qrbg>!hhM`T&d#5>v|vm z9}u;kWMZ`LP9Wd9D=Vk1T6^Oq^FH~neV?P`cJzPg&)lwHI_u&}Zm&ryo=gwso%p<7 zy7J!*KPJ7?cU`(`7=8r5Q&U-)n8wg9#CIj`(!T>YCEl%wS$8E+uzhl!tGCv2p|FF? zzc78cd&HC%+++9QDP!BtQDL4K&3yE0sM|g!-$_?yKI{uJyb`GI$9nD5U6+%5FXdOx zWwe>OYXzh>YCm}Hf*dp7F=LLTT|FD#&Q;NrJ1l!NZN=iawJd*RA`HuwRc}iD@N3)k zxl!2o3Z%|7+G+jiPcTQd&-J^Z2aXq+Uktd;_&c#c%~Mn2orajREbn#gM(&2xVsj%W zX(oGSwbT{0Rt5EKyCBtw+Q#rV4#r_`8RqcR7?un37HfYfODKEirn1tNr#!^WS+@7e z>;~gT!=2KS%S;o)O-DBtvFR$8a`9r$_R$erFV8B!mz6ZZOi-Op$D%Dy{7${r^7z^Ve#*59za`&z1XZZ2M;@Jj3^f*e}UL-&cS9Tf3IQhw&Pd8M_(tHIEDLJ!C>cZ1PFEpV?{?|kOPD`%WCRq>ppvh|GY#OL=7KK%(b?cR`;F7+Yw!OJ~w zr@T`YnWHClBgRSGjtI=RrV1V*B~G{BwFA`UUR{a#t=iDhPe2CiR5z!QGb6 z-C9TG8Nea4-F@EvwFl2Nv~#xashjlS-Sc|pZKrNs{GiLA$GFeG;(5Yy@!zLPj0@tP zNHJVjU!mw(`ea+q+vF9CCq}WzFy7(NnZ9%SuGzeASZyZm7WAAXGCg{u=UI_z?QNyI z&%|Gw5gIh#ca!J`)k9e;??hYkm_8FYG)K81G|5I{(vnlf(c8)jes4|l+ADgyVX@HF z+*dRB_wag7y21rc3w&j6g7IjlYso6@!&}+rc(~~UGdr2EZdO1`-(<(PIS_GUo*BF zJQh3_tUqi&@O=EY--h*%pv7DPy|)}X^1szoJ-4Rrxa`wrb#|KZjhPM=hXdYCSd#bn zu&mtaQy-=Gsd!GBa{ufBGr{Nc-8lM9cC;SI{rkAR`|o$n1E)Fs&s={eAI$N4nm^05 zm;b*ve&!bwWK!f<-7rrjr}I0@2Z@IQ*M2uHUwpSyWo4&L@$yQWV0Xj43~wAOHeaf$ zj9%I6FLZB zLh+%<{+-NIwR&zh^m5tdO??b$M42AB)0eAbp!?|0Bo)p6gWFPX^INbVp1aC|@khn< z^E>~}3fd`pLu`jyx$?}pygBX_#j(1Q;DNuZ1;tN(ns?glSMfY`xM2A&p3)FiJsZ|7XnIIb9Gk?6XSoS(j{sukv|)&q<#oIm*RKe$0937uROBYLVrEi3b{6 zHZ11VV~KN(SgY(g>5KoojmoCMtBlL8y$V{s#&GeII#ti0uQDzc(d#e2XPUQj^1X!g zS2bG6@m|Zb(%+Q4{`knH_L;O;RzP0ZN#f&2vxhx}ueQ=BRj)iYI72(jJ~t zlLdYU`3`J4P|wh>_R9KL1gQZK3FPZd5P0w?ZO6c+419}sm#j)LB_~E_er>bXA zDNoM9U&_U>#5L7%(DLQ(tE;ehb={?DX>7J89V%OdAJU!JaYgS;3 z`MkNjHtzqfT6p)hH%x9kn{3N4NoD0v(5fFV$v1n}c(2`bEM4h~j_0IRXA9JMon=k$ zx*YP_U)-R6LimXe!#|E1#v8K)Y&<8a^mageF5A$)`-*n*ACsW-lT=pT;wgV*bS3b1 z58F0IJD(fBKFU3^sjuYN!D1nIgE_+P=-I1{_qV8ePFj++Q|^ZLr907Xv%)8-gw9TX zcjWO*tE|PY2TK1YA4o}v`d?wWL25(M{~1mepNl0AotnS=*Z(tj{?*rQsz1Z>j``hN z`OQlA+f_U#X_qZ&^V*yAd~)oosiw=^UPVt*37xN9e(I^0tY;)NOD&nc!|cl^E|j)5;t?R{KGdqhvz26tW?&N2G0$zj9RCjlPl1Dd!y&1D|v0!%IPbVHMOBq z^BCWCS?t#?Q}LYi@Z1Nt)o!mW;co}oqKO- zJxL|Au+93eW*UXNlShi z-Km@ivI;U_v`RB=!)K{Ok=Bz`JiU$X7+wKQ?ngaVS+M@_565%MRC;e*fAOdMclE^A zeu{e*Tv}Ns`Pg*g@98R@U&{mx=AYZ|KF7WI@Lb^+|9)RyZuCvn^Z%1B&_be>v*xk> zlPUbS7UG=sz1rn5E0tG@K^jA^x^~LW28Du@*X%>G&a$3c6E`S>5`FlYg!I{9XFkht z-jTclB)D}-`Wuh4Q(pJTHeB6(MK4*0MNNGNyXT}UJifNY$Bj!>uJ(b$eaWj|)&>4c zcDggK?=#u1;+Zv1ZQY&1rF~1HpgukO_J)dQP^gI}$d@6}ke1=rqdaBX`Yb@|m#MW_ zw^@Ogah$&~ahBF|No$77yRPUb-WY2>G=!-w7-g?Sc#_;dj(srX` zt2o~~Pf{`Uz6iS;@=Cd~fP*PS3+;YURulZ#*U~$(nuf|3`P7zg3Ux{>t+&EB+xodm(6= zcgeb4b2mONu$W~TG;bqwL3-z2eY1-}2YEDft28G&{3aI)s zOnF@<-@pC1<1k5OYBpPeM&@BqJgzm+0xhRBJrQ*vYv=3w{5 zcf>ODJSSa=V`oagWO>9=-eShNhyLq%N{Ng1>oI9b zn3grj$za2$ey{J`E_-_yIGVNwM?UNW2cU}Qs#f0)@i#KlKG>;v237Z(z;$dbvIkkA zvImsX@(%Ns!<_lHX12w_bIh9gPLou&#;r$~v~+LBcG=s%z*elxfF@qgNmO=VMTf51Qoj<`+=E zVW|ZQ2Nm5!WW&D7K4P&p4!YN(;u*v~H|*VxAoocPfjgxqsCZ5?$*E=#cb`$Nwt?*- ztBB{MwoUpU_D*{KhvgwJPu6zkM&rhf2R0rkth^n_o68at{Ao@)v%E&7-%9o5Vsi!0 zNh+B)^w`swCwtE;H+>L#;H>I-ZO^P_sSTpu^NMdydfuHVvq8&1ZU&1E(>(TPO!e$y z&$8DV*7^MS6~+A{=~>*ZB-Vta{}Fr@(>`qdBk{rM*uJ)Go~QNoQR|-kTrv;RIQVKR zzJsYEy=7-PxIE-gyqw+mw&84}Z^KuP{FWDKii&rBazA|j@@vcdoBhXgwk)ihvb&M3 zO7dZLm2g7yzmG);xd~qs>fdQTsCyvxK<&Zxmi77JmEdG`rTM$i^Eq=*3*T#2S$U6d z*`N8&?&^D+m#$^~qy2$9f$!;^%T9-;1-xJWN0cSVT$|xN!#;-}Rdqc@|JR*k*~geO z`&C=j7S5;j^;WhoWkG`+lcdsBr`bj9=rL^Hz}l|j>741cVKdvqocXUgZm*hJ>)+k~ zym7K*&DDMrnc&8~jq91r1(=S`h(F!kZ!d7JVT};DRQC*0{X5OV|6I9urSPOBw^mhe z_+0fs=8)L(m2nL65}P@{TdDnuU8TFv@z?sts>hceXxo^-MWI>N^io2#8fb`OReQJ6 z+1=SoDpfsKHQnXVma1cyVbPhqu-&s|s_1^kYi9!DyAs0>N!q+Wceewa5JR^r7T(LP ztUfh+g38sfiK5oxLg%JxS{+k=@p}tX?Q)rZhG_S_$y*&o!`|rF`LVgV?tOf)cj5N; zw(^HWtyeW}geIk=a^`X->FGA_)ecx4xbHPDe9{%W&kf6q%mWLv8Nvn5Y3$T0)(?vO zH(6kYjGx7Bt*xzJzU_VfGosfcwMg5{bCSwRNxdGE_j(hbO;z#qp3U?}e}n5gwrTB0W5TVWLUZQl$3OTUH7J%e_OSSCN;lXJH;{7cW=-Hrd*%9xIQ zjYyVB+{9sx2|L*6)gsXyAd>?w) zB)fx(tSJ|^cNV{RTLvmmLacpx%I2~9vBrf5t-W~Qcq41`l{Y5$qJnC-9)EQ3T=4@{i1<<FO$SwVDyIHDZ*QnESi8;$ zpR{CK70Zsj54K)TGE#r_HRyCc`-*v`yP+LapJU8q5YP~G+ zpvo})io25ocTWIyQb2*Ttnz@X;Iq57hvrOD*?M(K)AgOZ97{I_9(?^z49Wdg>WAjs z7TA_DS;bR%yW7Fn?|N^whRoZ`75Du&QgB=sJ#c2ya~a+@v7f-EEn{83TQy5O$nqLv zT>OJw#~ZDczbl#Ebb-X?PBEtEZZp2m6?`^DWo7O$hG_9U-*(OD^-%rE_3(9-#&d?+ ziPaNly*UdBo6U1&6VJ&uPE|gm?HM#XhkZ@NgI)H_{BG}DrB*gK)^f#c7qCz*(hs`4 z_b#|ilC>?nVgEFn=Mf3tCp`yQz^7Gl*EMkW1h+i<2R%*K=W*T<-YCA3_a0>JiRt}* z)~X3zH6i@Qb~X-}S9W*1mA2*N}P8v*lqe zmiM`Q`V7{qc;+4_ekywc?54ysguA|TeY;ie!)Zr5d#Q+d z8#d)!;do`kvj?<(nCG{Ry5+TJYrEB#pI&0VXf&EOjL3TpyZPga)vwa@0e*G?Ia|JN6$gS+2vKX5$V|GM00 zL-EOCuSr)zw1wgX^fvu^DDq(0j<+6xUl_%O!$f6R&YZg4cSR##{s%iG)@{#q89cXE z24#fHJxt4lx9yiY#e86SvYE1Lf%J#SgyIDM2eyS_95wefEZIdYy1Dwv@9b-&q&KBMAjWMDAP*_fo@EYbC{vA_}ZtI_9q9e^PTlb%Q*Pdu_QCO_Q zRLAlsyt8;6!yB%cm`8Iasa(CO@u1{^F6+9#><{PO=y!kXQMIzYF_!J;AB}{gM~@vl z@VcS5YRzX*i$vkjDihDWx2-|VXwONXX1j4z{PL1XSKG_%88lVq%msV(bEmJx%Ed3c zasE8(kEXe=Qd1ukJaDV}9sAKT;Wy9UZ?8Ps_D#RMxpeuqU%KA)vYdC`n~q7IWw1De#BE2VyZ28kLAOp_0H$P zebHMldnP@f&9Z0j6H8UkRkO>PDllI_~{ZhOnyn|7`nKQ9bp_{Schmlhm! z_zi2%$-6C}Z7f+coNip+eH4$BM*e>7+BB<{q~{iT3wA|s zl6R6=h?9a!3Ocx`);@doq6-C8SG+OgS0 zKG?;q`R%(~*54BO_p{JA*vb**k-m!vJ^_;3_(A2dYf0!bcAK3a`@Z5t+ zwJi6by7Nr&>~_XSN`*OYThu9+IS2Kw<@=*qE)1&mLA_J6c^i!xcXTDCzdFOR>}h83 zsU+L3zjrOngX^0=_Q+msf^^#^sdygkRb~mz*C=>v+%nawzW3I|5Z&+0^_m5DUn_lA zG@S;nJV1^9GZGKl54>YtS1Wged52<_dywhfmH7oMNF4IM2il9+ckl#EfnQYN#au?l^r}!c7LH*-x%Arvg6Vi`@s)ST< zUh{@3OlT`DjKg;QYO`4Y67;WwmzdoU+QBj- z;=!%?jO~owi^@WD-!sMCJp6S#qkY$v?p3cpG+n>TbEf}h$CVJ66NUCL?GTArcwp;( zHogV5`d;r@-`qd^RXkzCWwY5r|MEl%Q_r|9Q7Z3T-iZ21)xW<*;sbZOoQuy2td#Hp~6ei5{jh^*M~CvIPc+JV+lBYZ9p_m*U%N4%|M7Xxs2*4dshHl6IHa}pX!xqL%yMjU zjA=qn^U@nMTSVFO2$ptyo0^5`D2c3<`Gy*P+2*5n&ON{#xnU@qc5LJSQNK|t z(A}M3KHEQ+ia*7X9DgKk$o$|juus+xO71-i8RPeywB*$7o$cBB40#<_JFIpst*_yW zkiNluqjv-EEiKMh_H1Vu_VL}ByI|gxELc*^nqA$%Tx5Q6@ol4Pa=dRMKHPF`nW}v1 zx#EM{f0+}Q6L$aGXllSa!|IR}cf;()c;@NM`(ORfpCklnd#HE@-9E!~?(|)k-Wj8U?+beC^YbCDf+b{|?#?Dd!gbJ?UTcg+q=VY*%`zr(ypf07Ec>!jlOaWB)4 z2>$E;g?=P2iMuj;E_aMEyMf?2c^z2pZOnjb5>1M`3l(%r{X#3%E{N9 z56>m+<2&PXp<89;e0c2pl}SDNe4bH#d4|iRFG{fT&2#Ra%8v8%S#0Jl67;;(4G$dM zOrsCC9PR#_eAw!;*JF|xbPFS?LbereX&&{0aZ(jW0Tz)@sQdsDt?H$%vS5~fCxBcDkdDZ8qLdwTcax?@6eFy}}w$1VbwZp;r-Z#tcL+i51GZy`4 z$jh+mtV>IDpR^?F55tV`4?n^g(p8@-c}`Nf(932ETMOVhX;-ddLGfizpNrcLJoQz- zcs|W^Zi9+v?JI+X!%fHY=S%@jDyeu*`gNjbnJ{S36dWR#u0((v%V5qc4sOtF3fKXj zvWbb{aUPJ&N@X2z9}6r~+R_S|C;=CTOZqmz+Et#Dt_X^OrjbAzJSSNtg*86_Mkus>18(og)=BRVY(v z$&od)=4bOih&zyX;Mjpf6YI-`3%Cm;3)l+8Hf(8|^Nvr3;SF<+)ui)(3@vrp&N2Vv z`@LBv#wLvcetK;-8$pQm5kh-?~j!oDNikav^`%rY0l<^ zGxgTLqPMf`klB&;r2f3>KI=(W%A60}?b!IYPx=4%UkBQb+^G99$DHSmPY-{d`Z2b} z$-lcBo^DOMYv0x|x3O9{dGpzh*IFIf&!ZbxHyFG3&CWiNS)A~HVlwxm^1|kc_2t@y zy!CP)_#gfHc}%M4mHOt+YSr&7VuJTK_C^?s$;(FH;km;W zf3|ZP@JICjsA+Tiw_Ekd&v$7L_#Om3I5hEbQ9|h2$klq^8OqfEnQcotyR-1yjQ?qt zg@0>!3(wYY7S8`TDatsv|Ki7^-ws?ml7ITyk@t6AY`uD6#{W9Q4U=~GTmRZWomsqJ z=K7V%+pgG^ij?uO&EvD_G-bY68p%3`sfN>H-VdSlo7@#rA5tE%*o2;LjAy>jysw9O z`AiqbH~$X&?O?jOZOVUNUG+SH`A&Q8FK4trbM`k zRQRbLV_z;{o@lbswlST-Uoo%7_o#uPrrGcG<@rp+|OnU_T)K zp*+vVxa0ku@78?$%ivHGQ-{rWlcOFUyi^`q)7@_}3Kr9PRzcKQ#Q z(;e?G$2Z&;eE;~Si=fA=Z07^QRW)xykMv)3dB^&P|HA^g$NjrRE7(6Io=U5J%e+Ut z!Xwd6;OfJE=J#nExNM|_n$M{V*(XU~`!MJ50r|%DO!pPOD=qbtX5e4_a_2qoGivXz z9&emn9OU`gI4Lb@dagImpQ^1)7K)nFog34c`jyh=ggzBoWbt1$Ni{7x$BF0I?RP1= zs?WV%)OtX<;keNKiN4u&|B4&_Gw{(VS*m5Gtfpi?b4O-;c>3(qjqe4XAHJMjbx!Z*j32pLADxp_GgsC&J{P!u zbEVjw>Oxt=nSWLvap_ohvtforkwL+Q6B7d^-X0A~>iNn1Ao{>m-lrE+ql4~EO^tpO zvz&|fd&QrEri$Xmeu3uMamoGVbNqFj=dY_gpx(KvJk9Q~i>t-rfGcUnjqXCm`}36l z+s-++agK%N^nW|d6V+$czTZ`Mr}$TXc1EFdZ+M_*^GN;?YMTbCV#!!y2s11)jp)H`Wd@t-ivt` z#oB}a&04nkP@4QBwq()oYHC(_iu>MM`zfDyG+?eUDXdrgz5Dv9!43e+!Ojzsd36BD(U`=^Z^0Y<8j6g5Doj**We>k+Lj3n)4{_x_#z96`Om7 zT6eWRMBLD{)_L)dvs)sD04>W^FNDXg>I74YDs&YK*kE$3Ffs*PpcGi_!6ZZq|; zQ{jIr>pRMPzO7unVY8$mvwiia*Cl<{9q0HK|CZrjCF#OGX>;bg%`@Ia_>{EW+_TDj zf%7b#H!_}IzY8s|it&lz-tzQ&q20!!m#1B-UoN{pKW<<0`-QWvPWpT7ke~aPUk}&B z-ncpQ#*ck{`j6^;9+tj!J;Sl;^^*_JG@o2y-Q4(JrOsxS-9x{p7Bg=oY zS(WyiH?C*qWd8ar{oZ0`hVw-hZtLdk@<&Qbc#VyhSI4-Xd9r3x?V?}Zt#j}7*J;18 znWQ0P{&%0>Q;Yc;4qGF`64Q-W%@wiy_Tzv^-1V>{zvHi`|4p4W_XYD;kuo`d>#*a! za@QHo&wKX!ioTp*@m=m^)jEn%iqqcI-zxPLDci=nZ}x{hp)%>h)%K=|b{AKDs91C~ z^74DvV;iT;NZH`~==YU;oi`;e>*degICSot%l<>V_BCjC+Wio|$+%t&}t4}VwfBvQ1>dw86W~b`CgHlAw#De~JHJ;q% zlXJ(x?(l(VwUaCPLdD9S3H;_V{aZWh#SgKsZw_B$lV*-z^7H$i>5pw5{QH^jseUE) zMx{~V*}GrT?QU+As<>$q7u+d%WZuj9>ff@ne{Bsf)nSbD^eMVNH}b~IjyU@{7Z07Q zc{Mw8%eU$Id+at!Ux@j=A@#t#*A@G3XE1&+eD(Hg^wE#*i%#5d6DvE#$88;~|0aj! z&yEi}U)jVNAH6>HQH3UF}2AB7r+!sw0bH z_-qV*?mZb0bz`REo7aKgfA18sD4BEJxcNr)g3j|5rUgf=?!DIv4ZU%5LRHkQsdCQ+ zXCL~$**)mJ$`h@=&?9!&nzvOgUw7!7%!AFG=R>c5yt#5uCFj1N$Jtqj3)SwvU<*;_ zww9f6@%p#PCdLvG@;^k%WB2`4Oql-bGGl`6gU2TOm(*DCsZ3MeKcVc4rCwqFqO&f+ zr-PR+%jN$wElq#I(rq`IZft*G@oRJYr)4hd|E!(m=MuE~PH)EHUyezKqNm^Owdl9s z{?cXA-g!H2#%!N?V0mZuwT*F}#jINtAN|@nKQAKRaf?iy$Kgt!qvwunJ-pv^u7_(J zdyV{!T`yg@&N9UD%yFsj%babp>-^2)S$<1ef4$seBl?>$UEsH{_uRlL<^LWJUP^X; zc~S7-{_#Km`0p&Iw!V($MD6Qz!2VS~VKdm#It>Lz3zJ^c9-FYUvm2#$UomX%FAeZ;4QC9VXtGv%Aq{?0V zSMYzC@XWTKE+3OOg?*1TZqJba>bJ}EWm)Vy?mzQxxQ9M9Q|?M_H=WadE7|U%)92cf z`bWFjTu#crs(DbqSxEDPSW^B}OP}1}6IOesmGLV)6EI$E$9yK&V!GBD)_p8{R=jjs zGV6^CkJsHF{>^zEGdTZp@3OZJp0w;StBdv8y4a)NjUJ_WPtV`N!#F?Tk!|FwPeDmn z)sLK7x9oFcMDK;KqG`@Y?DW3pSxuBXqiW`wpY;B8&gaJY4Ciw!`d8^FseR^swa+@z zOm&_3uZ2%{f7&}I!!`YM_SU$Q2YxheNw%NtdO*0dd#2eFX2a%1YfsO-u3TmH-~Dpu zl?Tc@dV>Du3qNpo*)5bg;jBW`mVM3tW?a?v3@+7qt058cHuK271-bJa%xBKcJbw1Z z*G|p?ccXvvtbK2^+z?)W`W~Cj!j~#sXBhXf$=oSXVohVdzi4iCacY#uo65WIe=CQk z@_mR+n7>RoaJ8-E54MdH9J1C%Hslyi8jC?PB)-cJsL&zG6)FY-KrC6Zw8wY;0}XqSv4LXYbvm*H$EJ{?0v+ zdZ6`yuc+A5^_R}7e!R464`W5Z zWls;@+1?@+^DmVsO$yoUsQs#^O7!g6jpMCIldb#$4f>VCOPLVCs%F$QOLNl^WOP}{fyiDf0l1Sk*5~T-dyj3y zZ^7oDTDP8`QJt0|?-0}D@%KSOlD=T(1YW`FRkpj1J-6Zip=`KpN5PXF^L7Z9bC>^H zJKOimhkI?N`zv<~&Ay)(lYDN{uk+F?m#-+6{2={6e~snyyG}kgq;2o7b)WP3-MLwx z?;Jd0dcR8a=~u-EB@cSK9$kMMe`L)A;l_FWx4gjjYqB?`TDu@ zK;#kAyDKD*WHq)6UO&HE&F22&4&L{>pIklSa#<)`*!;zRtD+dE7-xOeV^-1vx?jpv z*3JCRD(AIj!|FqfNB$j+&Ak7Q`{P_m`Lper{xh6Ynv>D_UT`K_=?&e7fL$%`g}Tk!rsn2 z!gC|;uULh*ms;gN*FR$0t|oVsd4_Ifvuu8${a^OMqb7^u&e^lvg;{^R;j9%GG+(g# z6_??}&mABA+nyfbdc$AzJn5XvGvVr;dwQ~>59_FZTT`uHK99$8;!I`By^}YcT~_bD zw|b9^U(SNKB+I>T^S4gXm{r@U5#;w>s#L9jqk!k5?CE#$#}?@|S*2&|1;1bWb&~N&`QjsCYb1C7@3;}Ib6WP! z&tH{W6s)7B#Pa2M+_`?M6#F?XVr(Dw+kG9q%1l$_wPPEwX{>Y;eq$88Ro0#sTh5(i*)_D?PTPXz3%5% z**|S8FiD+%`fPI2-bDu23<5X&)C=sn-@oZCNR6{|DJZ6?Q0e7GmY|>zuEom?yul?TlRJoR(!L} zSKWB%Z=C4Uy@nf4Wo+3RaqZ*Wu1|B%RI>i;vz>Oa+PyVB@NWKtq^kQh|2`gZITbhm zH{YwDcV$Z}9M`F?{}_?vnm;YK@%)7U=7ox1eFR=ymNzI>lgEGTk^;D^`m*Yb0>d1zPC$4n(c2Uf9Z(D4`WTDUTKL78tY~FC$FS2#6 zZ^u>Zy~loGQY91Kp9qDyt6ZBx$$57tH;yc6#~R*15rr|J9;4Z96DXc>l3f(f;(( zby~TzTIcqi_;L83kCR+m&>4(V&kx8zd( z?c)_TemXDm{^^M2Z)e_mBE)T-HLG>*uPJBd$-a;9ne%;B&P&sY?M&uA%GXc!ajz_& z>h6~K{7H+=HRb&mzPGmQc_v(~_GQ*#Y2l(7tE{-Kk59a>muoY7g0*20Yvo#YV_lYY zs^5*R=2d-fu#E=8Mbe9`&$&##aVzA;&aRBr zabM-kRm~K?b)Np!_jk{|FVd-r%ay(CmrQl}sC@Xi@Fz*zb<1<|n>V_B=Xv#XMfLlR z!1uG=`hqR@xqp_nwV$$M=iHA~a&g7)N;hq|>?heew|8dU@2T7!|8Dr+p8Ao!U93#a zj&HT?4mvnHE9|5J%tue9Fm*||>KB#H0oT=!#gs=r&pp6-28 z=k|WlOr`Jdj{FmjT>m(0)y?=NoRY0`*LJ>s_|oQC)FRiS%i9?34#wV&-nMW&w#Cx!fmrZ@V>TlWp!XId!$CEEoNDU$;5udnP&dmByQz1>3@l(~CQ|ose9g zD0)$An{Js(x&FQHS7-l=edCt5d&T!Fv+GigxUA35d{+P8H(|3?+#QoU(iU?~EzLr2 zM4Em&&$s5~&&|Ay^2*Px%`~dtM%;MWaf$!sexc%-uJ?kjOtP)Nwyojb?S|MXGmeLx zQA~S~x~Ki{f!VKo>%HWB{GzuVzc#nRSLe-^;LOD5Vax8t6-s`XQWY2G|7>GgKq@rH z=WUOClGn6z){C?ERN0HKZ?lF(_0``tmCyGHYux^@lk4`x;2l-@zCWjlmDx?3bACSe zXGz<*33INe+CJMjDZ@CteHFL${be^fCvl(5KL4+IR`L8Z=_h~p?DMcz+xX7=-oJ_4 zFYbHfqHn}yo$mK>e>Cf!X=Q(Od(zcDSUs|fxZ67Ss>{LEXWw31mZi3FeZtH8SA}jF zJ1+BrMDs0k%lY$Fo|ITu=H77oYLyV@yEp!a`1cvlE8H&|hpT<|Iu(Ea<<|6Aes1fx zAyGGGzACicxN0GH-=h7$9M+#bIpN8le|jX^Eq4FryE|X($)wu;M5R!%GQFig!=4Fj zer>Ggx{j@EmF4%3Ies_gP9*miH++5VTOTwt`L6kuIn|;@T-L#sdFr>iN)I+(`F>N* z|BZUFgYWt9>ANRy-v9gZYrj2=Ab&k!j&l6R*6?2QOs2#S?;^hdGlRRkn`(|3_iyUe zIxcsA!QHi|+8X{Z{!=O!SpLX#!-mU#r6Of{ig^qxWp&;>naLgFbg%sB+ONyz=dl&& z6iz;RsBczU;_@hawdZ@jhbJtaRXl&4dB8ub`$5k0mbT7)!*r^c`?I84ntb~C5PeJY zD_0{It~zus>w%-`-nNw$>Xz$Q^Xl$1IwySi$k{)8v(D9O?ejbLdiSJnVxN|;>N|9f z>w#hE-UWR(*S%!X`cif3f7!mM>T6#&Z@4U|Du01h^vUPItn&sCq)hVOH) zzOCbPJ-A`*EI%ja^N0LO`4pe;+1_&F@WQvx0`3)k)>?J{%+4hnHWxi9O|#mdF#qD> zuFi?)wN5-=D*D8D-YPEZ`1P9qS4PdB!@1ykVEpVoAI~V}E4|)m`rIxwdg6B5gT`6s zY@@HX&b@l%uRHI&pDxQMPuf3!^^5u0r#d5Uyll86Dj6zLrsva9Sm)HU_3!Ej8^3#; zPD+wySntE%|QNpFN=>nVky<{A9o=@BLZhvRp#-RN({lDxvSHSrpCuzb>{(WpQ zcT0pOX?@IwTP-_`7i1Rn;S}&s^!hem*v?x5~Qm@iZOpMsxKe zH+d?YoaV&Ya^0{}JSVzk`-Wmu!$c+LZ~G$uK65@WeU_h7?+)G{F^N5E8*GJ&CU$Mv zxS`n7sYi=#nJV)$E4F3lRhK(_%v&{cW9Za=CUY^HI+|(mNUxjjK7ls_av^iNQDaOhA*E7H4Ne}9|lX(s;OMev~&Tu~4igTrtCn9c9O~XZgAG zT223S|B2bV%S#!9qi*c9Q10BiW>F3++Y=r4_-N17lh0n-Bys=X6CK7H-Hj?6v+Z2} z-2L+E-k0yk3SQ-}SK^uzWPfY&k6!JqGrnzgow%ekhr`BD@!ax;{pv?n-uBnrebZ?E z9O(n0J9aGEab48z-=Zlx?{Z8Fa{K$&{`$33%YI3YQ^wW4#e1Iql6jEGxzp#mpv&){ zLGp{gHzm)t^L=wYa@EOemAPN#R#`q@SzQr56=HeC*Bb{CH>c zJ$8oKX=+A&JvYyYGu-#;xZI-M7%y@xqgX#LQ)&67eP<(=`b4fSz2}}&py?U=LFH6_ z!ny_3+8^C{nd3EkE?(PMD|&t9g>$ddU)Zi+Cst;6yM*a=fpCG7)11XZNj}#f3ni^t z^mqQn710g(YDYH8-kuxF^vD0Q=L*w*5kG#!f?V_^IWb-G>e&N3mL5MIYH4tG*2V93 zr^5D{yj|VeZ*QZ@y)th7;(D{j>DSCA-wFLw?c6 zzb$2*vFcG+Y3%*iUq3q~grzB&?vVTudD+wFV7X9|jOUxs=;?|N6gdn17DWr!8mWEY zy?D>5T=<^b&v_}YSj;TS;F);;>OCN;3skH%R<-Puw;tZZ*Xkwmi_17?D{h! z;@$n#hdUknuZY$&)m<(T3Tl1leeOudd1iB!BNLZcw%lB{r8#7?Si+LY~9;s5*qpUw*4d#_erk`RGv=mJ;!*?F~E(KK`m?efoQy&ypu!^CnGmwXM5Q!W3L${o!G!_+VDBv}WxIW-jM?*Xyeu$!MO; zCBMJkODyQ?I>vq1ON4@s8r9wRV?XEJq3l^&n6v-b$=3dS!6~1_VQT>%-`Ll?_Qt9? z5|KeSG~ap!F28y}(^uV)cfVi9#jS_VMIK4Hu5ni^DF>{W~>e{iV=Cv9c>G zCLKDb8?t@7^Zu<#%~@>Aeh1YF?UehG>!g?a;rXHC@8?cx4cYtn<+phemv-fNp5xt_ zuX<#{l3i!i()C;3s~^c|zI5+8&`~*;O6^67I&VB)O>6EHJEyA0^l#<_Z|NA1n_sWT zZOP|9yK3FSy>)qEZVQ+Ar3e4pzC(6HsFU97O$;~e6wjUHG@MnyoT~fW{q1al#i#eE zU2yT*zOw!gcLW0&P-C_(q`1*O;)Uv)6x3h}6 zSgTczL`=VXLi0jd<^7G9u68r*RzLD$)zt%>zUm9FMTPyS;I_^R@l0HvGGUvZD)YT< z&q9y(EbfUEU#@y2qg(XARM!6cUGH))tvvWS`&atZxh50;3MG}~ep{nrxo!XIZf^Pb z+|5qE_kiiOIzY-4l~HPfX@B zm~2|jzmEOPYU_)d5$j*FnB4faaYOLapih%-7+>DRA-Q?xZi~$sv3WW*f6O!^J+4N$ z)z{@O-T2M3qfofO)k(&4)oEMJ*UK0__$SFvuPX|E`1rQTw*2hVo3}li3UboAchAc+ zoqDXo-n^M1@c2=SgzqlK9aBxscT{gxZjQY1a{JUZvBuMH*nd4RF*!b=`d2z@WO&`` zE6Z<1-6%YEao5`^0*?>1NaSwb@!@0ct{;=Hee=H)@BVlFma`f>&s*(JfPgz{K7B$Y+Old>B?UrC*>2O)4y#gJut`C;OqM$1tuHZ5AVFPQhR^stKi(&jgNyqm7d=5 zquTbvA~`wp?r(VlVO9|{=Yy=x56c!vIrGm(U$IT)s%CP|e~CqRJ@w7}D*kD$x&Ps@ zaphkd+t|pBm!Do+A0D)CRWA1`?Ke4Y=k6bT%4s-j+Q)LUj#k1{d>WBTW) zp4_$i>nuNqSx2t=sw-SoNPcw4l+!R|?Q!P(T&qqw8}1)YmpxbLr;3!7gy%}#-v0I1 z&b5`LM;C~ftJ zBP3hrvT_>kI`;Z`%z3tRhZgl+kmr1cmK7W`koa7NSSEf1a z@S(m{*PfciZ&x|8;?o^dbw#)7_VYIy#T~!XA`$!eYjIz1qdrrAj+LNid0OJ~*?T^$ z_6x7F%r*$!YPj->nDL379r3dSoF~0{@?)P=-1}8oKj%nT3V$o@HDizUVPPYRi?D0AOC zcI%>-EL>amMob7adG+bJaoDla2MX(MeEhZZ4C8_K8&)W9on|~^*Gb9ROAjJh*MM5u zNs{~X4@caXcty9k@W0Q>)w^t-ozSQXiPSmKarf!@^flY+!*WZjFLRdM@H^0d^5*}L zAXl9?C6kSREjjo&N12x?I?qGOrSI+1cdtGjS>3b9{WiDt-%Ux&->zPLYgIf~b?I%X zAC_lDOT!q=nal-rx8>s>JxCr<1=mDJce*Hq`t3O;tm^(z(Lojsu5pwI9;R3Kg|Lac0;=Hp}6 z*B_%x^F*Qr&@gahusE_$f2I3nQb zl3;G@?36ux>Kxfd#vPANpE)wayP=%%zxSQyoW*CZYhOKg$j>}gq--CjjlN=^if3e) zpt-ttzR4M7Jr$Le+Fsn&&jqC!yjO+06)w@tjc1)CxH~@TOWGd3@HZJo{p{a7d%inA zux~sqlpMA&<&COop4(;473z}4y4Sor6g`8s^_=96Ryi_ZiPhA3zh!QFpN+Ut!o(`3 zawMZVarx=_=Od(5k8IemxbqCly-6b3svo!>Xxxgw!pLp?%7WYa?v#s8XS?k^gQV|H z5J+C#A~7js`K99d$<-?*rOoF$H1^z?u6AUG$FWzheT9;?I37!XnpNieeVd@6aXmef0yoEX6Izux(gQQ~_-vme`pYCx9S=rANpJ~-87jwOY z=~eXf;A>uI5A|K?anyekGh1NssT^ZT;M%*J787 z*WX@}qUag4PFpDH%_LCf4zb!c-}}y-i6QIt;=|LotXsQjL$R#o(N}u)Zj0Yd6F4kt zEp~U3~j!PfFtQ!(RITjM&&FsidBc*f{y3a@3?(QwrY|*XUn; zFXyX%VR7UXahtZ4+gx9AJvi24(Jho@k{js66aFT{rd{<&h3LoHw^HG+SA5oaQ*vFk zwSRv9)J)Hy-!an!4j<}UvTmn|Vq2^1%DUU8a~=A(E!<=JU-y74=T0BB#S$Ae6x}Y1 zsU9gf+IOrt_lh&L*%4sO3dL-kLo3i`LZlR+o|ou%$4`19^yOj&$DpW zgu>4^5A_|}yyC;h(mBklitH1@E_-gdBRge#^5zY}hTPV7znwmG{5*r)tce{_si_Yi zKVO=n=(*QgQ}GzjgO8krD!%6m-RA{s)Z6!;@Nl`b#b&`vmSvgd37Zc|Y@d8tEjM-@ z`#P_V%U7q~k)9ZQ<7c)L&)4~_t^N9Ur8ju`wM1@DT(l!N>2QyW3COB4uBWv@{bxK} z);{VC54s-9HD|KGb5Bk~h$XWd?u#C?5DItnEWO>ogYmwoq-&qChW&s4tNFr7GV=r$ zbG9=X3qMNP)BehS>D%btd-5*_`l??Lye@8cudwc@&YP0kZx5{JN|s^O@i^i7HgMO$ znd)(#xgQ?4NU#UqOLDmMM5g?SmhJak|1IJZL*~ys@OQRfl9Umb^>R>W^S;WF8}su- z@4KanELpesw(jPTxt9)|%him$@;>f>p0D~v!EkZAy4zE9Occ4T?}k@>+-~>bNsr4F zsdICtUg0<5vUWbuE%eA^){Mt}G3shZEYuX+mb|P?xygXAahemXd0*Z6Z|2@Z$IttoTvT_DdG4-DhtBb7MrJsPmF;@(a;kpG{OJ=rqLK?A zKHhs!X(g{8Yo2e%=a`t8TA?Qk-PdhyJk6DCBX`3>QQR~5yTq=Ig5Q}NeYul)g729X zS)Ef#_qnlk_D*)j+p0%4^3GNZ+VyHz$x(mdXN>;&R-Jr1H+}e6y)}Q>wC$+W(Tsn&Bbnod zrt(C)BAE@l432p>=n550G$}owXVq95Azu;WH0QnQks0eA3n!gnn>SHlIp61#nr~t_ z{#YvZ{kpvA&~g1!9*f+J8>gGjbvZsK_{Wc*N0OLAj~w!=|DjjloY+&_xLobYqGwaj z&DqPo?frx+eDzAV@~7MqsmOMc@hqQenEiVmr{S-Yt_SqFl5-gLSc3ff-Qt#Q^WT?G zVxG^PAdtMPj$w^Q$7i8M2QHVLU$iGx?m)Rv(u(@n@E z-)D~w9e?jz{>|%-M1}ih&yowGQ~c%XbKI1q=C{uM_mMLpHL=In{n3is|0W7NKFDdP zqIr0F<80waXPEZ6>99|qk}g_Mm&kKmw)`veDfQQ96mIR>**-C3zBqHV+1w)*a{O;5 z3Ov8fX;?KibV&ubfx2dx=seyxGX$O|J^0dM@hVo3detI>3 z><-j%R%XbEmHj&Y^MJU}BO9rTN+%i9=Rv2;4_52E+o`frHjnY%e35Ma2Zud3-bxVM zu;HbO$|?1!Z(82oxVBBEBHC$=Y~%UIJN#CiZgY9Kz&DNgxZ06O*L(lk_x>>3V4-;K z+yQUlM_sq>W9rnuh zz+$0CTkiTDSU%ft5z}hT{RcO3RAf|YO`7t^dCK<&xl*1FdzM7_?h^lCo#1%6)8oK> z;UpV-MYsJwg+82bvG7+|C;aQK+L70H_P%s6`Ovp8cJt(TpL6?!)Pwd-+HgeIWuet! z>5gqVxu44tx?3!^Gtc+xSp4r>^{MXq{v~&RU%SJrzGKR%jOI!c%hhgM#kj5iJ`H*> znX@pBA%1CnbbVYTS@C!`{P*nn&Y4tjGqhi2+L7J*^KL06 z-}%Us@Vdp~Z;I-NWlJK~E2r1@n%$a`v9ZXoaPzfkv$JmLJkUO{XPK}f*W5^Lhg%o6 z{at*-<{%QLF$50o%|xZGl~RF9!U*7|lXo0{+%Ed;%Z;Wzt71|= zylUF>YER{tHBC0x?ZO!TM<&0!nI`bpr2gcO_4*;%A)Q_IF3D zAIv*4!}Rr?@16;Jqv9Rc{q3B6^|a*wuc5WV&-ZZ7D~~upoy3X5F-{QoQ8 z{YLBo|Kf5YtFPTHRL)wKMj7n~=L**7Et?t4D0JRbPEQykUd! z-o@`C52}kjvAXv$HsNtpyyMK?&eSviQ$Ah4y1rFb;y+u0{_&*;=9xaf*RS)2M~>V2 z>JJ^z6!?MZneXFFH+S;Z<){6*qx)usZk+qM?}e-%&Qt}zZ!w=#eeXB-hUm5H7o3Sn zTEAd&#q4jT)j!#G&cDe0+V}te+p}J1 zO!^uXcESF4Pvni2$7LS475)47k0mE0|5y1&*$?Kc?6>#J&0qgKb?c$;C#|3FoA&MR zx{|Q<@-3}%U&@w>m%Tf8#JsV}R*!w2S9P`0IR-hOFOy@BU5N{}7cYx*x|d$B{ej8m zE zE8{==fBnJnbz8Q*zz(IKrZroR{aKxsxZG~O();`m{U+Oso_G4>@0n0ovu|4XHNN%< zzwiAOy0Q9N_=V+Fe;IV%_`J_p)c-%2`_tSvKWsl7kcvN^($?^M!?OL~O5(lk#mly- znB6`5=goh&H~vrV@m)?&O#cvZW97N#llJ?2<&HD|zVbcjT@puy#0TwV)7H1jZatZQ z@~_=Jjy%0&Zci@WFL-0iqdTut5|`WUo_zb>2csnWsk`pXy%+7T z_x5Aq;^WV=D{6B;Nf(`u*6zH2%>7~Qv3XxUKl|9UUdVQ5{8X9m`;PD~-`o+Y8?T;r z`bw%?pk|##;l_e~srkFT*D>y6w$U_vHt&FVV?U$4@~y-_f`g`+3E`oO&?{V%(A z$KQwthDXw7%d4=hU#(p+Z)>jMr#t^Uji+CUl~*=fd~TEBhqOh!H#3i%*>_(^`{p{I zntAJfXd51UcKgY?Mf=!4s6M!R;CScNpzCVK;-}9%vd_|8;Q7JY?3%ole*J1{@AmX* ztkCuE+RgZ3)5IOclaric9&fL_zqwpUIHTONr_%nB-EsED?@ZU#kI5;WD}KLx)}xE3 z8>O{6R{#6X|G@pozblgO{O)M~;xTl5zG}&i?Au*4SU%WP-M0SV?{d9OP3=+nRqYPL z%4-%SY9DX^$arM_QUAy^sc@$5&O`of(T)BpN3%q^t^dB?dSKmwK+z-j+9f8`iTu#K znEz4T#ZmFH+JU+w3a=eq5;cnt+&X{HQ^);m+_(LVg%AJUF#P|7w&uN8}Rq z7wy`6cHhYdYh?n~ZD(?yRDQUwLt}@{+#k1X`Z6@5v-mFFeIR)x<-Mitu}H@l_kDVb z%N;+lKl)tb$GY*kfb7h7!H#ddH*Q$m7sYGSyTfAjs;y^g9xc0)?Dp@!cSqxS$pc4^ z_-^d(?0)|-@5^~5y=U8$(s=T$Kkcs;H2$`2wZ?nL58;p49Au3J%p@&Wedz0Yw5ncL zVOnze&Dqj*|DIoXcZl!Et7&srY_ol_&86_?)FWrE+6(A<>NDucSmr6*QeKTbBk@dYTvhbyQf;T@cpOBowMiK zD~5H=agOoVkA1!WzQB#f8CN#h7bX{GJT6M3U%Z z|IY7E?@RUFjc1$ZS^X{fP55yE?G^Hy*Zns*xXk7E0%f%y-%m#vS7z5%&9~Jqz4*G({nGEW zht5Y*`nP^>i}EdTYWQ_r#9XNL@yWa$+fK4~-k-C^Ea>sgrV9USdMoZT-fC~Ue{@#I7PhN|hp#%EPm%HQR&nR4Uz+RWto z`%4^6eMDrh&C6XEbGox^cYLOm;3Kv(FLs_^)W>#K_sBi9n`sx$%t&Ir`1WDbtohrI z7!;UnoV6^kxbysq&PC_69zA=N$!oLy*JWOp?#));#9K8w@|@RXS$E8sP!pfD_4c=r z;43>@ZnW=Ocm2ltI?g?7U#dLu{pwh3TVS#AOo+82hZ|zH$EF+&SXRP+Ubh%Pq=VSW& z$JT>ukI1dMZaUXveuebC^qe`Za}O4CUvyjey4pXZ%8k9wKG#anbJdBrM|gts3%uSI z*nHTuY_bHy>Q3p6`Ae*GCoie{^1fvMiVtN;P6^?6IsQm*%y+k!RoTnVK8Fe6a7dnSW+#@UpCQF}NEWcLioTq%g)kMeC#PkidG8Qxb&A+(F zbef>K&HW>@c=xHUykEn-L;T!{Nw*$MK5)3>Y+>ly$qlug`<_pFRWA4;W0AL8I1lrG z*ZQq-yZSO5@3+~WFzVg6ZoS#u4z@!@izJGYE_aIT>b%ka^|-J4rQ=~j-0XACTxH<4 zwi3RzmtB=azD5H}og=XOte+ zZ@k+nW`CIX`K9;k6r%+9PPoBRIU$B|&*Z$^U+eyTj(!lZYh%?ru?L+8+-LbMVJa7R z`!UXO%j>thE_e7o{ava$>DEiLB-Nzw^Mduq-}}zB^NgvVf3rlX`N*L@g=xL}g?6a_ z-F&4;$((sU!#mzL%r#qXmPnO~ZS?uO(qeUNQ2nmC8Y%DjYIZ-2*~BBPJ*kX6&ZYj& znhOa#I$s>FjeoHF$UTEq$F!36>^^J*o|2;4pvkxmIO5;vyUWv=Xmh?z$7>0 zNlR*`3mFH=yOdXJ>$C4;c;ma}O3vrAN|{FWN>SBs_-Yt-thrh8>sIfP9p4!qu>4v+ zV;k2G)}#xly23YB^n_XU~+pyBRhU zXVm;o{Pq0L+J?f)bOr`CUr!gukaxdi3@v{>Y5N>8{dC8)8RwTox2~w$G)ZHXK2u!p z+Zo!aiSCboDh4L*wZA(zuu?eiOr_8U)&i3cwsUUUOiX;R{0LiRG=o2bov%*p*3_;g zb%jD793H7Xzy89F|H0~pa%O9W^GxS5&15ytRvtLr87kJ!@Se#}_11HZ>yZbN8)7@f z`n+fRE?3_!oP1SW=;)kwfwh0x*4~}7>uFfhwBO2|_dhS2%kYMCPus!l!~14wOweJ9 z>~5-gjVgr>OpJ(^(gfgfZ8vnz>jD{*Vn+z4k>{dD@eHz0>!n+~`j) zf7Eth-GRG}Ya4iHdjw44n(Mh`VGVC~-TikrGu+C{tUpG7t6b!|YJd8x^usRQb1s@$ z7I!{+Ew@Ip{0&DATMi$O>4fC{I~p<`{!n`$dBkfvbLRV${oNf&=QSHlC|9UG&9*Rk2T=4^hD(q9(kD6*#B<%;4rb+uAio;N%>{5lyryZfY>fa>2!pW(O2Ki6s=f)iT{Ab>~?H#u#Wh}h1dTNECnQUBdDM=FV%m-xb;3-^^1mv$38%V{g&36aU}xZ&6vv zB`u^a>Rx~Uo%focGn=}0B$l#et7(Lk2K!E0mZev?_~*XlK3T1bc}tJn_$QMTQ_uDx zeNpbzkmYJz*2%f-GNwf`E;oDEOm%tqA>C!;1D{$TqK4HZ|ITCqTUS&-=0i zYDauGRUYxIWz0@<(pOyddb=R&oYftXr>_gyTAx2Y)nd|;XSpYS?9X4UEq481?e5kc z3yWk8v%eK3g?-t1z`o$Tx#!&ta@pr97axCigzN3iBWLdXJaSg1qxiPbBe(CoM=T3U zYU(vNZoj0kmMwI*Y3vQjY_&j-yV5tfcSwJ8Af0bim;um`N zGVe}vepGz3F++SyM@FdK^ck^s-~N;fXP;}_&JZrJda0hw&->a1|D$-P-8}L$$9&P; z|J#muJ#0O~_3*3vzuiZVEa_kBBKSP)(Hyg?y4}03tx*LZ>Y=jr+QTEg-zF_y`K@)5 zO6GyBrHg$a5}uP()*c;HhiY8