From 797137da54adefda7f1f88f0eeabd73dcd733815 Mon Sep 17 00:00:00 2001 From: danielratiu Date: Sun, 16 Sep 2018 14:30:46 +0200 Subject: [PATCH] nusmv: release 2018.2 --- .../models/com.mbeddr.formal.nusmv.build.mps | 15 +++++++++------ .../models/plugin.mps | 10 ++++++---- .../figures/figures.pptx | Bin 1790968 -> 1790906 bytes 3 files changed, 15 insertions(+), 10 deletions(-) diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps index fce96a885..3770bf855 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps @@ -8,7 +8,7 @@ - + @@ -347,7 +347,7 @@ - + @@ -418,7 +418,7 @@ - + @@ -665,7 +665,7 @@ - + @@ -3064,14 +3064,17 @@ - + - + + + + diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps index 5cea8946f..17e490e58 100644 --- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps +++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps @@ -24,7 +24,7 @@ - + @@ -57,6 +57,7 @@ + @@ -380,14 +381,15 @@ + - - - + + + diff --git a/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/figures/figures.pptx b/code/tutorial/solutions/com.mbeddr.formal.nusmv.users_guide/figures/figures.pptx index 5c72a15eeaab944f61e361a0d18ee651443e8656..477edb4be60fa901198de81f07d2fe95d05b6133 100644 GIT binary patch delta 19361 zcmXtfQ*>or6K!m}W7}rOwmY_M=ft+1j-7ODn}b zl-YHZ+5H*igF`r^KoEce0jVNRp5r3~tT}IRV)$LleS;1@i*3?alUk@)SeZ9??vr0L z!^-3&5yJ~LY}H-2gH%jA?epqvts|pBg0=Paw?jXJ`9HiA+O29+>v=d|K_dIb!)m#j zF<`q~55Auuml7_7O(t>WVz^wZSYF@G)%Eh9TXfL;(3TZAaB;Ab6U>%#t;b*htRQ#l zOLbN8E;$G1TeHw$3QE@5vBCNY<~DVuZO`g&75izbyOHF%4_9K&w<)Apw)KxaHe5Zf z>Hw0ry(!o`>T90ETthN3%jBhZIskPczp2{&3*HvK#MV|EmZ_qaC~odD4jBw@DF>qq zvOZ~)5s{OFkE83Ues-3t`8-4bfXrO(EYBcc6n=%M`H}F0aGJktWuuQa6c-uNfIpRe zSaJJcI3?b-46yBGsN9^)MEo=2Tn20!Rf0mZ#}N^^-EJ%CzGmgzM`anY_am>wjqr(0 z5>>WdRc=&N>jw)!oQvl4TscE60(m(`2bs~rzv%EC(0YaW|_y*DQ(TtzK&e$ z2EXZL3dcr$v`bC1Oc&_u@3-6+>Fo3)YRw)3+6}vwQ4D(L*_~q?t3{s7Bym=Ma3tjd zyZK?!Hw;hYb?^#)skXWR9HNwsKw3aazU0!L)^0kSfXuT}vf^3weto!Th_2UTj;WjD zQX$X3jVX5jvSbGMbZM#DnKSxd2q|^84c#(qjLziLGa!Kj54cB((vm@BlbLyc`=*6| zVGM`{j0mHhEYuCEddTa=H8r47#NiDucl8%yL%I?-pK?}V$vGYYP%2PWFp?M6&ate+ z*&W^}JW8~9)hH_yAymHIwLIj4y^-SmCB{rdoct#B!D$H=w%L)W`TjWxogk5ObWbU|)9!X&&C0=#vx?el`+nFHigu zH|pRRjonrH>R%)TC|NtT1fFH={+Se0-P9OlS|w{dJ}rSDqtl0ZQd4WLmd=b^A0gel z>0=HYUOs48Gzku>ph;1=XqR9dakSCY* z^sgSeW#u)5t^KKNElI(p2R(7kXnw(z&-2UOFEYHBPYM$PMvXw4H_O>dd1*&ar-KJY z{XM&XWgRHUy!e;pl-O+Uy!s|AB+Ui5?~cT0SHm%T)B>l>kj>aCp-6C9+UD{w0#e0D zSr^AV3I|5abJw*A+q*946sE%0)h4C?&N|}Uo!}xpR#cSJ?$+0P2ajZ9Ejv@S#%^f4 zPk^>KZ0W`TL~C{ZCi{(+e;cwSU3)Vi5Np_%?L-(cpKfbb8R0;KLJXlXM3gykHuHAI zf&_6tfmaI2!6#EgUkLrZID0DjG|N|dH~g%7RH69nG=jY(q9Qh|W)mpH^UpA)_@ z9Os5;Q$8IvfN{J&fQFmr>THw$Tgith7yuuBE83zg66N8LFJGdC5vIf@+d{0^IAndP z@PTp+pfQek_qCpF?@Ur8(Gl8K!V!2M!m@il%O?=Zp}sY2;A#W>EWAc{$#q@F$fdVK z>mb_iV=?s_zyv%8qaW31;dSkB&U7d<;`?rxa!Y?$F-vGFU#c40#uIR^IVOY%bLXr< zz%&Kj{OrL^KI_Cc(91^;*L2yx(K#Bj%6c;b94f#J@+0kkFlY4&l76sAhU`e@-Fr1rP8s&h5pj7`*^B%LXvO58Ns_U%n6iM0jg8)@c171ewt`;%BerLSn5+p+yvMJ zW&0KvpE$EJc)& zqj#y*w=@cVIud;+?_p!X{ux+;4u%E+2~3{l!%4OkfdRz**HoBh0mL7hrcK&uiPDJ* zX;`PMW8~rnR*?-Mvnew3jSm$>^Iy8X#V1Kg^ggVSsKxTya)gvdtGlPQ0C{=1-3YOue3q46*b-Wat_X z%Np0$0rp{OvuzZx}`D0Zy0fu*G3%?37Z8^&t#f83o>tJpzDqTYv9Et%F z;3_<{^ATI%#|f5(yozBPhlG(gaB9^M8a{IJhF%|@((ReuU!{=3TZd?)9=1fZ_pw`G z>=T2os51l`C(+E4dYF6@l2#aE@Wcuc5>`26b&^&YnV>afpd2-}6M>ovMMIg3fXgJ= zDQ{&Vm}4aU_N@T8p9HiVhEb;4Zj7CS>!QhzJJT1%R*pdMc?Q^y zyODbQZ}3UF=>nbO6^0e#k)~7&hBvG>{md)ajMuKS%m!zQ@@n>{fo-WhO1%5AbW3!A zQvOgSe=h9f?jt0`2iKHJ0@!RSK&Q~Gs3sZ1obyQz4(aSVdmUV+PLoW|0wVkX2hk}V z(ZMo4t2v&j`t(E7Z51IY8>ZcVk zM>WFWkuXmNi(?T`v!ewC){wjeu6Qh9S`THr*#Wgnh#_m9rnd^9^uY#lC=QYXSMo#%O&$r~?OlO|I|+Vy5>TxdO0^&(tV`1@4Z zFs3aT8=NOl4bIZ!4~Y~aX+F_QknOr2S$-GeP3Y(oAoPAF{Fj8OgV`H`iUmQ zJuE@3buC;Pt;?aYS5uLdz9@_*U&qh?eC=JiPPBGUUg>&p06C)N1BrPhS}v z+rA=(IsF~~H0nX0*-*c4BH5wih<(BrIYJWounei@rH1@z+IhImH+j}eh!a$eU!6?E ziZxvn*A%ktrh)^Yy|o`pp$4xeVEa#~au(18*$j>H#ui#>-v@(X_Y`J=KM#Cu8~zi# z^VC|PdP(3!qSglO+z2cF#%OK>AvWHyE1aDp(-^y=SatB{FJgCKS8&E-1y^q3m&X0Cj{3USgVIfC*5EXhhoJS!hZ!Vr*P#{O3k zzph#$i8H94EYTaC94O!bo)EE?#FIkWR9Ig4koCzydN2fKbEK3UBw=M^oj6i2$jl!< zL%!NbT)RvaH~z{*L5JE#adC5))fnffN9>D@cZr*7{^|-AcU`WxY=yg0(Y=?a8Ww$; zM$At8zIYY{FlJ3-QI+o3?R-Dj-(RjV_2i`*mVW>G$vcqa&kvOQr51<=G=4b(-Tw8aP#+0+@AI>3Xsgv{G$S+oEb^YOvXThFNg*sey zb?H?PvrG2*1Q;FhB8vN>8kl=_W)_SJwy(=1j7x~+#2UKC4qAPA16L)T_8x`v8dQkstmJzE z;2jG-Ybk_vuljh>?zn7$CfYDTLL5v)3k5cZc1ke6o}Ov0!ETlnmS-SiO;J^4 z5}``mc+qqZ1)b`Id!J8_UV!(21(m%&5LUHMn#6dz&{#7im>m5VHF|~xI_&SVh*#*$ zT(h$IDI%aEg;D(oKxdD8X(?Jg!wUl^jBCkafk~Dem$8)fjBp;sizGTO_>SQblWGnn znK+RkhESqtZ9Ht%l5-P9k3lftN3~$oghfl?_ay9uGd;ss2Q8kA(|H+t$3&!5y@Fm3 z0~0P#mRYYc3}`+S^*dw#PgEllB9WPITn=u-VqyA-tlkSG;451g_f9vrf&y9;rc_=O zVibNJSaEfWv)Pa0!>{azgt5{W#lOTsVTebU&=M@IJ7y{I(-})IkQiI&2=e#GK8lwL z^#UBen6C`Q=iMbnIWGQ{ig(YR|*l=(cf9@ zo!aJ8Q%_K^JnG&b+m?;sA406n;J(vIog8i_2#{+(-{0bHiaL9ZJ5Y%}E$c1{^=qR+ z)y0zp^^wBRUC-v#^v(F{MKs&`^+N8f+EHS-aGvJ~0gse;S^G$ZTmeM>*KK=<=Ybmz z&(QYWN3ZrwmMfd3f;W<}>wk8*alTwN^l?-nqbQh-(?dg&MXp&l+A<%d{;KGA2KDyc z>mYYWw_9d>o-a^8{=oF;wGVJYiRWOAebk68mC;V@!N%ysC8{>+9;w&ADgR8G*G*1x ze$Y}T2f&U|b+JDg9eJ|jVUJ5##}NE&56%8OzWsAX(AjO?dA*Fhp0@!f0c~Hi1Q!;p ztaPt4?FN66GaL|lz1jZU+B@3d40yLdj|vVq zKylUaH2&1)9MK|I=pwLn=UmNvD)eX)8@2wIou{^};(=b_KZOE&!~wM(4y=mvE=V+5 z3YVEUP66aFD61G=o?>~|AEOSvos1za!|J)|&X?W}Z?%JF+UD(DIGunO?!OeZsy38t zlrrO^SBQ06*GPc(>{h^1Io4Wy^|CHcpXf3fr#rT`W>Ii3uij12lEXxl?62(fN<&=2 zrD5UHRi?g96lnimA|ed>^xCbutH$0O;C)Jd%2~s%3La$?eCgiDBWc}vn2sBfed<2P zpMotLN#2n65+bp%oksZkSGIgUFLy+h^JjtQ8wR{Nfmbo=lPExBJzwX|X7FGubQ@&E zUl^{HCCOo)xWlFA$~UE4I$x9h@hlgH&!EnOk0BkKpGrLGT#7nZZnH0Zr#P@N z`|hp!Au8ddBNzde?tv&(jjY|(1X=^B%4o->#Mxm?`b0Zw4ETPkfeEg)kgcxfs7RDL zZ&^bdIqjG-IEX?gQmkLZF~O#K{E^qlCc2U&Uivr>d!WDuW3>ux0B~}kzkgMof2kPy z^1OOEtcir=W?Hy1vF9gaBi@iP)D8#_4*sP<%6aldga@F3uv3%?VQ(vo@U*zLsDrMt z8IysM!V>?|kQMT$3D;883~B#rTv|uY$&=V|>Wj1T1@fDO<2+nnT&z&_4Jb4k!e4=d z?qt z%t(1X-Ua@b#ma`>ac!ha#TPpUgF;GrkO$8T%(I;HruTDQIXPoU=bvQ;N*=ijKhk~W z1GyTh>^1^FBPSk_E~S~=4Zlb6H^)B}iExLzxL5%T2H$iic(0U$5t}g+gSzL2qo>=@5KQ=7Gu1PQQqhp*adc8*_mA}a!e3JJLi?J#F>O3xygY_?S zJr}6CbH#!edWEY?bV*IJF1mIXK8!0~6lKxpdI`|?aLB3rR*8B71$(b4=vF{2`d$96 z@E4Bomrfdd-$tGUP1Z&x=m{>09VbYjlmh@-td6udLNs-->KUe6D{^2!XTRgD>T4ZbAj`J;T*&iZ9n$_@p60fy}qS^r0H`I+80#CH^Rp&KJNH zQ~vj(e)sF$>yD4(mRfHHFHxBMGco45qz2C{UcgvI!A!UiOzJX4j5+qt8R7csI-?Z5 zfrt_scJhD$q^uvmxY!uvXQzaeP16RJ&^g#pc&FqxrvjE3#Tc1L@CKMxGSl~; z%?p1Rt&7;@vAL@=GWo1#YTp6|;S~Nc6baiOTJObwxfPce4v~~%8 z7{0h6)YWXI<>*csk7-G`8IY+qoX2DahlsXeRyA*OS!z^8Eud)kB&8X2 ziE?~-Zu?58osyE`_JP}^9&k+|R!o4VZWvVEc}7o=;yl75TLAsoxepX5K!uRHU#)?h znG(_7(U!8&T}@l8mBm~KM9e0%k?jXnG}hyVe4#L<$vXNHSL(CP9iGNB0ATV9}5k=q~`@?H7>w;2JOq!?ah1m|i42-Pn;!r4L{WnN$wHA`&2NWV>Bf*zZX@4KA=Zvx)J|DK*&-N$P6rp@{i)V15#{NMXHE(21@S(;%D7%phEut*`q zAGG~+V`aK`D{ImUocXyD)^Qu&;lo=XTFK>~2U2X}RWjUYwGOKD%_ufLLd?ILXI+wk z$LIBDuH6$Bvi(>HH=``^bFZHEa82z}cW8nIx>xGKE&qh)6ozhVl#ptMr9NWznt4sc z^`t;i2}!>QO;EdW?*q%5^Wuug9rLVz;shFSNpRpMzi0Y-7x^3cKb#Hs%U?H47Xkz% z8YP*zfHc|APZ(fLEM<9q_qOT6STU&EyMdWwn^}FY62tI3Q4fP|m3d?=(6TMaaJfp_ zTu55fg<)&^SIe$D+xL6REp?H(4j8TPrxscai(rY{|eHQWA}st|e$8zg8jJ!n3);xzxrQ;#PLdY`b8wE!b+JM}C)D+29&=uY12 z%z1-iFpI^nnI!B%O?nKf%R_G0MP9nKc)7{_7qV%H6AE7#Dv*G;2fOQ-B8n6^3Sv6? zNH)rXI;x(%s9xyaYStpDk-t}`5lY#m5pNC5GzZ{u7r+t+8~kP{Ycpas2Oj@1g5x-f z83?mZRYspizJwhvUPB_cG3_7`yyO4ugYYs}`^jcW>4fNrfw4(xLF)56>FZRS zbG)${W@`ca;n)y{n9txm^9arVcQr+}p#*;>hJX<5w-IAXW+d1Nh&oX$PW2<-1h}>P ztI_KIAV2eicey_b3ESb_4e1!x^}ku4v!7!35hF5FknQc8z_uu!KB1x58W>U>$f$mG z>+lh%L<+<1ALvUjmdnj(Tcdwhad9A$UpFGp_=UEhqXLFvJ_XrG$}Itsk^zIn^A_Jn zkIB{n=?E6Ckb-#!Bi-uY^cl%WfeN5D$$EiAn4vbz`3P{|$1|TFXYnOnZy#qsHumJi zKq7dOCggtnEkRVue|!`*fjBuKoHG4g91pG$K4=jXE}KHw%)@U0@=pV>8=Md5M6d_LC&-g`}nYn6qvg34Gz*D|NhD8TT(4weupV zLnvNSoin->^wk>omPoMEbXHJcfKl@bx$=S1uJVy2eNy*!#l&nb;N|! zGKkF z%{xm$snlfchD&QrDM~ed;nYS!EXwQr!OnZmR5|D@hr^eXD$R2kBit>AfZaFcmdDw8 zOl8s^x6XB6^@A&y{ji-Eph|}nhO)_th>A}nC0M4t!qPT~dd{m1j)dXXOR4xM2S=?3 zIbWGJ6dH4UNMJFiiDC+;rT|*S$UBxiz*^HUJXEGOj~u@|n>mm29I(Ok995S#1yI$d zqiJrKV8eJx#ln$7>xwbJD&n0$yA0H>hS-De*}HjFD^j~=Lj)E9*5|Fbhb7zFq%FgF z0X>W25^0b=NS0J+EZuI=6EMPnGxH7560S z;&(#FVd(4|^Wm03sGvrUFB2HX(BniQs=GI}gKx5dLHF1)?;@L7NtnWk@emANMuXVRB zcSu0sN$XWpw9g##dyQgIHL$Ji)eABvxXnRa;ullRoSd{yu>+*Iy2;?ORXky{fl3yh zipq>o1gW&p&)t$+*60>VV*NTw@rG1f6G@*mN0(WCT#jxHveq42~wL%~%Bo<>X})<@yxVqwUp66qX;UHdLuMKU~tMZuLA)Ql&)1EOjZ|q}%P2r6z<-K4}3=A?FQ|E2ij4v~nhe`Dw)-U~}8dyRAd4_Rhgj z@p7nM&ciCvqLE?nG9~piP7E}5=C8-O7@GSkxGP7;D%#@fAy=XijrpscnFew8+>Uvn zb)9l3_H0@TqbQ`{%kCmd<$Cuc#4u+XI?^_Bgf-GV-u+zTCrqAvTVTKXjg$e4znUVx zLJm9}jc45|AY>fV!57rDw?U2YpfZjNW$aUj>4r9y=0xPvvKgI%d$nW^HDvuN>u;}= z#0-B3gQ4bH%;HAjTCkn&W8T?CEN*C}Ug4_P-`K>Uu$I(4#3_qni3Bl=LgK0ScsAan za}mC{vqu^GptR))+)MiToDTDD?-vWkD=3^8NNZwPRz@c=M!7MZRW4HtgrH%LNc1Bn ztMKKSY?Z{}KyE7e_^s~~FRFSh4vu?CGtm?L&nG0g*ua z-`Av&A_l;K!O!~1-*xR%a_>>aFDg4x)nq6DpTCAxNY9v*vh`e@e>GAwE0Rh~PomXt z3DjPg@Lu_T%D!i#vM>sBT9wTeR1_%{eaSrIVT1ZPn^`A>F0xb)d@e zg}CCk;cFpia!F#X`U#BZF_<#9k_#8_8lyqa3IQy{z$El$m6@5XPMEC9DA4^@E^8G> zyFhDVDDB;@p)WS{g~eO_CkNcxr4dUwufF6>OH(T4!9Bd3U|iw=y?D{#G*UfsRJ;Nh zdJm55yat!f#_z(4*b{9zqL*p`X&@f<1rlc5v)Tk-%w7I|%uzE}T76vjlL-DTddh;`fgMyc+hDzPT#WFC`L< zfIJny8hw5(T-J)lVx|)*AE9E>A`XS`@=K$e)P@RFR})y^wU8%`3pc^alZWm8y8Ef| zipV@G4zxn7rFC`Yq*OIyv?&7vZ|L_fH(+4j3$&hh$$f^_iEjBvTc+3=>mV@->6!q! zDwMELVaSYsNX>bHMW7V%!XkA~e{j6f)-EV~GR!3iks~`9D>nK%ZX7YT3(FWa=$kgx zoaSoalJasLO+B+6WP~sH)6MN|07k~RF z{%njHf&@Gw8zF-H=_jcM1!-}Cu>pVtApS41CHf0-HC@gT4RnywCQgyDyl8r}aFill zfjCwC#)wgq#8<@p`%bx(0au=;NTJiVgz)dSATKOR41?l=@T^SXey{5Bq|r+TypN(@KHWo z6XmZJezd%zP57isbddwd0&nro!*;DF=;~N4$ho28@F=Da28#=cYc)U0=?GTHPnJ{{Ja{_}X-RaI?%Ub;Iv(i=U~xvkuUDo{^; zDTCSH{#`uI0y>GHTmvY4`5rfJ-1wIU6w)2aMpk^2E-k}t&pH>N5e#-c^pE4eb?O4} zx!A&R`3^BYj*KR`D6FK0NO!WD)d>9Tlx2n*lR_R*Nb)6~mdT}_sW6}7q$`Qb*W96i zig%!=9==|C8=^of#ExL2NqD=>4%ZHQx;|0(iZ>zJ=U=Kzbq5E$C|oVbN|$g&mq z*Az%Z6ANFzpQNH*%9_zVTLQs?qa%B&e2`k?(;F=@eJ>VWo*x&1r9aH3NA@Q5pS6jm zAyyRL?1X>M4PXmU5#gjL-Y#t5mNc@+B$lMqi|48Kn5FMBT!LLwP)7UKSs^tosme9N z?ir%!#(=#Sx~czgg=VN*Xx1rUyK35Gc9j^cKiFqp4RK5@nWYx)P$hf5FYBfHxV$d| zY!f@G`_0u+8qye;mm5yK_^9YJscSBiT?^Tz-t<7xlNBhUj2mr#KYaghmI5cv+F3gJ zkK+}g{;$~OWuhZS0;2w~|9KoIjk6n?Nbbob0OS;KKpKuEP&{rtxL|k7uw^}Sc&AoQ!&9=6#&=gZTJN#b@FK({#}$!Kw>Ir z=Bdt1v>`YBAcMTLS1LAp@D3-BENpn)r56s%9kgND_$+?xrjg9PT>6Dp`s1rPdbn#I zAY5IBO+T193kB(fsntoDwy6;QAB2EqHgY$ujMY6|v!{A5GPm-FH zg5$C`X_GUl^?S2HR7Pl}-*z-o!=jU*$+GCo|8=Xz&szWF|2)>jEkYkzfP92JFXubm zhrk$SKo8K6B42g*#oJ8@8X~r#=sLCu02MSsg+0x)G4f;M-$HCfwy+)iyC3tYWCudU zZ4W2SWF6n*KB{(AZLEMk&F!t8jrPksJ^WghVX|M*wbz}gYlnvU;m2NdjmBvHD1X6x z?U(Y9=vq2y>G|(bDV*(9c0Xc9Py2VF#yMW7XAphVaBg?KBu5?~O8k!*}ENRCprhO_CIspu_ zPHpOmq>q#{9<+!Y7z~7O-+YK6jf5++fe=lpZ<-R=%{;|V%)Kz{gOsJvQgKZ9)^(sX zeot9uOKC_A%^~@qU)!pDzyiHDfIMdRHp|CQLkh$qfSUSRT!@*iu53r;Y&44cH?ctr zc_5n=B@~>sM9C{DsSwGz5__Mec=qJ!E^g@wkK4IgY}2YC9+XNc9fAIlkj!ds`8ap9 zkkJhqdPnV*u*7gB6dV2TuuWxW7`wfBG2SJmmV<)SWk?{u7qKvTp4$K(0I!8QP{Gqu z>mKX|MQneKihuA9fxgKedPs#Ej5G?u6*u7L;*D8A1S#kiIYkf z#3Llfx)dyG6gh6BBLJ1}GWkYhyyqO;f-lNMxVIc{qypH&K13u8sNhnT`d&~D!C?=k zrx059lkCB*K^x{IUvn%7!C{aVL5cME@6hr@OmdKiSsc0&9ME**JsXduk9;>ba3L(9 z?O7KMjUo*mM0A2JT%}-wG$!gYQLr_VBP;PkQhGk;hL!=4U1<7DB7^!ZlN8fIP>7Mc zL{1WFjjP&dDa$j2T>!-MB<(+mMjrVa%a*lqY{;264b8la6RhK6i>Pa2PfuXO;?gyo z-+|vuHb4`v+7XjaCqYE(8*#=OAR;on?8}R5(4Wu4`myjE)r0n$o<#|J1MNdD>ey z-&pV}q2niO8HeF+aWy?au!Ug1b!%(rb1>J(mA>6~=jXy=kd?OADG8S@jnK%Mb5%3- z`Ei@?H79IPQ-XCADCf`_5@Eu=q`eJW&I;NQU|gNA#m*X**FBt;$-R> zAh{j_v(Y!N5)9(;dXym|BRFq8T1ix&lWB&Kgc%i6z=3v7bPRyj7gL7{?E!vy zCgY&`WnMpvmeiIDM+U>51yO_F%X0s_@?39)7cm^qfI69tGX%uYA@u$dEy+=sUZi4^YH z2QSe1Jd}5;%Nb!X@E$<#x1m=ne_@q;=_PwhW;z~zVlImB03DMC}4cd{2t&M%pR>krAKd!1#B+sJ4@eu#SQ zrrT`!V!2Q8AGv_*Wek)kD7PtzlXO4sY^~+WY(?jh=^d<{Eb#Mw+!qPdFW{*5@d)F5 z({ylO_P`bZ?BvBC!*_DI3iuqycRcm!cvks)@LcE9_i8mCqpJU&N6m#yRv=c4*6)95;q`)lqEmCdt(_Y2; zn=~(&l+=j9&D4l6gs$&xcN5e)(=nxAJaQSE#=xKP3wb6D{CO%5QNpFugVp(OK`(E8 z=U_pvZuLhk7d}1%y%sJg*tf;W_Ri<8=$X$gAXbdcO!_(8KtWIG6vN;Uw6?ALF?F>< zTYDz$4QDO#VK|CjQTtX|Z?bR+W->64H94So8Nx)_pEOy!gbA==zb}E)Q@7~x$5-)Y z4GK~NHoVe0OAK)WxWwUwo%9A*ua=u48zexT1N&ZRt4HyGGRl!1!O@~QCI^z5F zLDc&y(Bt1Kg>DyTg=$e;l&u+7YlLR5ESJak1}rinn{5svK`S69Yb#=MD(JoNf1h^S zW=uLoVrcxa5C90quv?rfi#hsh-Uw61Ek3NCW&+kL&zeOFWpL)gR(J~8woq*KBWy)Z zS?=M^Tl?hAmNimz6F8t11)EHcK@}1BIm|u-Kb*E=G)co4AfelBg{E`7%iuFE5j`jS z#Qdec0+BJZ*Hq!r|9wLf$sVM_eM`7-0x`O$_Mvo076o7lPk8lU2TTxE^z8tNDzGF! z-tKt2wZ4=FhBU#Lxh?JWzN#~nd{_#so^hK=aMlZpL}$`I&>2PSx(v0c6~itX_a2Op zIdhPnerKOU8TOx-CS2)yH(kV)Z2lNVpvr2$lMzAH^-d2Zf{QiXrSdT7z}^O8{&>z@ zI8m*M@dZqw>FyuKlM=!i2+4{6S>5N1PTRa?`M{=9=A&6f*P%=R)Jr^t?+( zusdS+)CmnvE=MfwgC?gF?m{HpJVpMEsIn}}9K=Z@I^8i~RPGv9LGR3vHRo9QnJ}~m zE!V^%;Tl6idx(2ANL)d|LpeuQ2s5?T1|1J?9SlI+t-eD*GCM`4>eHtHX~-94>rzk# zfbhTSyx3iz`kRupmnF0|D!>+Pu^;KL& zP)-mV@X^AfC8k}%CEa5OU&4`{u*RLNwxKEXC=@nE6E3O*#|PWY z!5x~zaBE6mXjp>Np>XENOt#BtJILE;fo9x5E<4vIE!WMy#W9@UsM+vnO5;^q@mPGO z{EcKdp|#S%)CNBGQk&(-N=Y|Ug*4q}3jvmD*yT36(-s4p)KZaFk~{uYbYhYR@9Ivdjl`LWHjly}g_Tv3UC(lnz>3WB|pDQ^*9aE7|(J1D;bh zWCsMHIxbmww9{M&G0dyB3J+^*F4YU;CcK|6IAtAjd+qSMyPthZar?196wwZV`1B6v zHaOEIs@Lkc%{jjvzjw_{Hqjk2TyeUOTuO=8gC^1f4C}ReOza+dr>pv+`hcRZ_8xD{ z^=7wn)y{cTOVll0aOLzdz`A^|Ark7tQgGQO!E3=h`ucEuIsS`HYtZR@2@ zaka<*;>Q=fg6Fj%DP)c1#^~i)wj!ce|Gdnvhqj77H@Z4lZm+uWP_kE{J$Y|W_p#aI zw(3`{IDVwf!BiLQ{0Z*EeF#spgW9ePi6#%*GW>J3I`I#N)cJV-gCRQ>)VlSJ3dGs=8PaCMjy;%AQ(L3)8RwzBja#CO!;iKc3&!8%lX96rz%xr)uC5(Ie~jYxCjm z_QuXz+^fzl&?&AU$-0&(NfgME;JE+O1pG(rVtGVBD4wrfZw4A`(gJ zM4QuKe@#qUY-uW3H5_ZEiV$cwsu-4z3v8qqILb^}N(aiKWLAr}B&}BhXdNI+Ch{Eo zQI6!j7#{W~rQ4Dq<~#kY$QG^fS8! zbE>?N_Z&Yebt^U2xSDJRn5hu6ja!;nP;wB}_?7V31zu&s2srE_u@m%MLy(=|sSGeb z_#$XW;d-EWDsV4mH|70_bkZAf_R%lq6F)=yPUIO#b_=vlwT6t;qHs8jBLRADGh;{4 z4_wVEAgBxNr_}oQE4c}_)Kfg^o)1w$AfSw7*=46nJ&VQ@XAk`bKoB_&M4V5iJej*Z zm@$^cpxG{pQBh@iHsuu$xaOuVlWOS**3)|_wl^1x(bF^xF8x%wF3nZV(?=J^m^~0s z^Or(E*eyB|RxNUVxDEw5mUr1Kgp+kW`OIQAY~aUaSTB=*NtO{Q>6iHa-L?Vetzza$ zMg^lx!5eMY$zL48(sLpjFq?rW4tWDhlts&FNNnIdrWZ>$?-{Dt+aL|{X>)^rUWKu0y2`LB;#8*-R3Ul9&HRFK=&JDg&?F>WG+@8Gm|ku zvm6Stp`VX`0M9E?=5AxKN{G`l7+fD1Ep)9j^q(_G)>R;Qx@}*lg$!pJ%*DH_ZrJ&} zVY9DJjMr5}*45AKoBdfTl$HDy^ws53IKO!vj#XAc-r zeSiKku>yF$aH;!H6S)!+5|*f5uiDvkl)<+-UL1_2oRi{WVAr0Wx90NeZ&_*hDx}dD zo~9G{>K72i<7L~qke6K00>7o}oQO7|{_ z30*dOy&=bzdR%3crBhI>CI`KzIP0JAU?O|YT|)qmAg{;M-M*+fw2?%WdQ4%V7j|t4 zxh=Zy4cY&`?v0&^Zj!O1ie`cLHEdLOv8<=Fb5SuDXYMeM?nl!2|kufX6UGS^#b<#{bMMB#tswpTL zZK!E}BmvLaZLJ zgxuA}VBeQW-dNloD$78C)`*Z8O9&nX`xC^l%-@h8Vd}`yyUo@jf3nPA|L5Dc}=fRG!mkD)J zSh1o>~MI0dS3;pY&FxpDH&$|U|rS_D#LKis!}0L zpveJD$RPHtV!i7{$Z9f8n;YdwilO6s7C(y$ZNLfKK=VRj@%}B^r`W=afRUvFb3XcP zaxS3#52rvd?T>)wfm=7?Hv!7BR-FY7#{FG*B<5`E9vXxxoeyFlvWm3S_WX} zASzw-dbsT>u7@eeEi)$4KnJ`I^;Z4u4h52OBHh|?$qds>A*0g=t-*`p;JoKg%ApdIpVH*A=o$R~*<4j-wAt&;B z?V#V&_`Tp@J$?JP4fNGe?qkP-Q=Q=FWM%d<1U%_{%+&mQRPu$)FVd`L4-o zJn;Cs>1jS0Xn5pdP1Ms+dq!n%(7O5_`_)r9R9uRUTMNuD2Ku?%GN5Kc{eB>fwCoUZ zyPrgxsF;lBQ6xhOOCXeU`R7D`wl%$v~o~hlUIcw))QaJjiW097jISdyj!@T{dcUiv0 zr#d}kKhQ{KLK02+&?YM;?lFViV;_aiXJ+p#LxAW`@iNV0GoZyTSBy!Xu#5PQd0Q65;5|l5vk%B8 ztn$a?=Z#EW2-M#?cTjaKFb43gGDaa$%Zt}d-mW|A&+Xg8vuj}}Z)4y3iF*c8&{4{j z+%8oPs~=URPEfD_I;2V>#o-bQyd_F0Cqt|Y*Dqy~w>18gP{VWy16jnpKJ{l2J=X5< zd+T=SW{p@;nJ!N2mc6Ft?}$$elFs)KG11gjXJpw4^0zHjOk=jDpie4kOeZFc;Sr&g z7JqKtwY;6ty+S_2{6B#QNFtA4-)LB$601>mnEbkyD zbL!F2f`9h`S*>KcPZt)Ua-|-9Mx!e4d(EekeTrg~@d4LawLBReia*@f_d2f$UZ6mbREmU5P`f#GFWSMKIb zWD3Cg6;Xy^aOGT!-p+LF9=0>DCr{?Q)$UoRzp@U1*=BH${h5y|*URTJz^`e3#d3(u z|I@{FKsA-D;Uo}{tZ1YP6GWsaMX46Rg(UPA2#83>Rm9CI0)h(!4ZMgT#Q*_DK_f+J zqG3_mE-I{8Sc-reh+sp&Mq5#yNbwC}_qpqw^PPX@-tW6JckawRGxz>8!v<{%HSzC! zRPvJAZB2fAnnW^X8_!LVw#L2RG;Y&;cBksiMpn~sl)WG=9 zgxp@;@0~klj07CVIT^bLWnHDj#O`B4&eCXso!^j@-+)EHA&4P}Bj6Dv5F`Py?C9+&loxQ6{P5L$HvR1Az4dGpLfj|eFkLs9TKSM7vn%9uZKrGnv0jlA6dw5eUS<->y}Q|c)R>IuS^{r+}uaKP4*U&Wkc#&2u_vb)NXHPVx z!MM=cdB2V}UtHRs6y(uabWGUlxk-F#+XxY}u5t1H^PjbCaro2GR?*FlH!3Y2ScS!+`bOntMIuq6;G~ z=`4E#g!5~6u!cJ)o-G_x<2ABo?c|qRn8xf(@UaXgcUxq%I5)0M6uYk))|;L2`49Q* zEPS@sRV_g?Gv1G)?M*(}V%XR~Ug=S_x$DYLf}?T1Vq1-$$n`1PKZ^pd|Ey3&of@vX*kV4)XiGqSIBQ2B7}CmEm`40t@zMX zICS*E zu$@sa^0HR*>~6G0r#oz9WsjP;6@kHsQngL#2d`5%cYHoc{xL-M>N@H4m^G$@w}^7G zzH6JXx(Dw3$0|=^ z-nB=jqui%| zE$@`ER2$yO&t}r#aHG=+t6L`&ua@4`qy1LkTy%NE@pYb#l5~?Z?h(|mON#x`TTA_(=nlUiK;Ix z7eu9hVX&Vx)1(7iLMwD)?$~aO+t6Y2F*Eme*#~Bo>YL!$pKtoC-J%wp!}YF|Khy0{ zd8tmV*EIg3WTz!Oimg*O2hNiJ*qR5%P=Oiv|Go zw>6xb8Lk1PZ2*xZT8oCZa-ivBFlt}(L$Uuxa_Ld(&=0Z17aiSUm<`gti9=ddSZV_{ z;f^OjLtCJ+=-O+7iez95EJ8PkVj*`zn$B@y@5wu5$o_G>#JAD zw=B&wBG&JY=r;9v+!US~%%Px)Ui=692DxBrEc;d=ED$LIoR9*0VX4UR7YOjW6RP>e zpINZm3DvyRMG;NX8T|D%6{?{quA@S9c&9T`^ZDHGs`Ny)NLu`Gp@aNZ##VisUt5(( zF^|-wf6Y_=_4rL{5KEQIufdDT&&_WjqPfi9!MOpxpc7=djST=+x}d71|H{4ct0J60 zacmh>rlB^-fc`YpR!iXdMUw?zESj@W-4&S&FnH0dhNZ~hx*XwKSD*z%LnE|Rm50i= zWj+pd-2e?Y?FE@`fGj3=M;eCTk(P&%G}IbegJp+jf_2+qP|+r~mJabH>;g`zB|`%)E@uSkGJ$ z?WOjwrS`QWywI^V7{E#pKtMBz!Xj9yMk2W2fJ>bX=M4^|-#2nUzymL0ovMps(?!$8 z>0{!klwP4yO8ZG*+CT|MzP}NHR4{oI7P+La)ck5afoprO*Mhdd3Hi4d(Y0BLCqfkQ zZ}KmYh8rjt-%QSZJ%2v?R*6-Va~3N0?9TO=&-esBzFH)A~t9T_NH&*_qFC=25! z0V$Ow_r?n>F&^TiHWf~^7=?PXvQavkq&sd0%JQ<;u3tmUUzr6|tj~>O8tez-2qaqK z=oSpA=CmJk>!uR6;E7nnj{<4)*cvJNYHi=iS3Z4d-TN1q1zlE_{hfXdInXM{v#Fw7 zRrwf}i(RJ~>AEo%tyu8wjPLQMW~yQDfJ@|TBYQJex4ciFAPjFFL>Uo-TpN0ERBDR$KH-EC`R&Ji*Y1h@YBq* zB!tcEQQLYQoUHQ5!UB7TeC$iC@W>CyST45U7h%c`YD*~IL2Ubcqlw!6$e$*e2fD*k zW^k)O8ww&4C(08g{LFYRyUJyU0AS_g-se%wv~s55+de1!O=ZO37k`t!-K%^I;1|z^<*M-Y&pDvH;Z~dj-o}?8ZDU@3S1!Z>Gyqen zh8EsiAJDz@d50-dtcKO8xG_(6wt%^6vKJz)sPbheikUnu7XL&qXx*Fxps6AN>;sQ% z=`UJr(?a^O#FEBBqfP3ffc$=ST}VcW5PvuGMUIuw%z0t9)zpzD#Nq278b)w%`>`HP zHKtG~^=!_xOj`@`4N9QnhkDTQ&Bxi_wB-zo>O)ag#u7XMa-Rd9=vmI^Oy9c$;IAL3 zQHM5QGtr^P#Y!Q{VUfFY{19#pqHs=74CCD-aDo%>5hY%MeCDO_wT&_`+*i@U%Q|PNT zJkAjz(2$l-(M5GwZ}kE&8rtQzdtkyocD973yoerCaCglCItk|+r4IyKkEH4*2lKb? zi&gnIS^SRYc3N5(z^N(iQ`qzdfrRsbNA^VmXFtuQQv3R&DubO*P@lt+ztM8gjfKc_ zZyLwuDog!J{7n`08X`X;orVALp93ar-1?nA#0FUHISzU8$CAP@i@@ug16Q`0o5Xnt z$xl5L<`hVXr1hWMhnv-lr<2mO|qp=|2tnL5Jl0OOyN5A*t zXprqqN!6WB)inNt1EU!rOUiIu9nI%YCTPg&ETU#?j~qNAXXuaLUyZ-;`o28e4_2>< ze7i7BPLux1YP6(pVH#UIr#d1Sg&4sVaA93&5p+P9C<#JCAV&e4VxB{G=3W789 z=&yyKP>j)E1Jsc~>EMFW%qD_)PQRZ!SrkBaATzORy{xmuLQG!*u>_-$N3&QaVot7Q zEy9z)$7D+m4~Z0nZms9HdE-8&!F-r_(l&c$h5>TBoE?b`Hbvt&Ihig2cG zj_E`Zn{_LpzQU*H2?6CW_7`9VhdzFqDi26sUfu2t>2~hXVksy%Xl?~PJQMI2{hZBJA*nNT~)}f=p5V4CgS3?2; zC6gu2@nQnl89eRnE_K!%Hn}i<6B>O7%(_r6YZR*xE0A8%EeJ76WU(D5lh?_JXeEW1 zd8L??zPcA?QdLEnWc(kwkwwkKk~t)DT%8t z+qmHPe%?N>kr)j-t2?hz{leLVLiPQ)zXABnF+>CCuq9|44oij2?K}9mnZ?PQH~AcO z@^9_7PU%}(mogJo9%v`qlPP~;O)EBcY6x>05VCe_*IbBnIz((~P+d^Yi8x0lXI41K z3+nnz+ErmdEVRz~$a;r!(lVGy|Hyv`!wPGj-)B28uDe_j{J45mYwLs5_)~X-)AdQe zg786ob9TbnCyqlZ>?)C2(~j>=tc zayN+vKpIR?_Nn&zubMnHkpq}A{d8A5(6Ltvuo#GpEAYE)Lx}QsV@yj~>U#Erv`#3GC($8zp)`JfiUTB9o(ua zN5)R~`OSDIqn7$H(4!4ZQ>yW~;1Gd^sDj+Fc-z|F>!_Kjch)HK>L52*Vhh$bZ{#x$ zp^?@%^5`axBe{(V?PV;X9q`RSKYL|yKNQ$>B``fPD_5ZRQw6bfxZ9ugrMhjPKq&!Y zH12LVhYg;`5OO(owzO=CPtR;x!H)-;;$c0?#kh7}^k3{?Qb%P{j+YFzp<lG2Pp@YQ-mE@f`k;aBQ{*wRb~ls{{SLr5Cv$elQ}`PvkyH~~XrxC6 z+IYjTL<(WU4P=sru_`^R{5p~#HaGz7RQ{T*XcSA823dx>3vpmkCXd_kEey5Wt6CNQ z5-W--mo5Bd0vm>nh>vBvZ8wVQc=)2Xt!@ReARmG_cj?(=&X}WDM7kQb&@Gmq^3gI8aZQ2jBp>*Pc4r zJvjgBtcaAR=IJ7)h9*lDr?hW{MFJ)71{@nm7w1XUAZM2db67huN38xZ^#TVt2fXj}sy<9OzQ2YDrx!v%7{l!D(y$Ra1lP%Haw4~3_ z_ZIWt;$UT}miWTi8%{g%cIdi{yq>*|?&TN`U#tM6}gs z0_e$lgRP0gXA?lKrpz~S5+2GDt#YUaskHBf#~Aku-`3??)LGDSeFjn^bKB+esi4wI zC99u-Af9q4SC-3nYUsqXq@ZYNNyB0RMYM+ubFy`Cf}CwT89zIS-<5`3vebt+87J{W zfGJna8%tAsDG$v+>uTxL-7B=hLC-;{8k;9tdB>m@8U$bhxGtmG%pMLf%2^e~NrjIm zP=1YF`HZWw#KtRT#qdH24QB;6onuTNiY$7mV13koB=a3V@NSQT*t8g0kx$Z_W7Mu+ znQ|Z>Y7ki-qRe`zm0+G;E~^hqc&iN87xwz795YuHZ%`fm9%SEXR^hYU*{VHz-SPXH z5%1dCivmb~K3@QSgSbB*=lbO&8|4zNsBXjAhGs(yJ!9Pmx$4IGiTMuM@+Th|VJ_1YP-X*ucea}SHe6fO!5Glv4Z1yU7 zzN7W65PZEJ66f+T8g8UDD8ULM8W0ktfAItAt5!uWiS9}xo26%4wOvP~4$`2+%h8Tj zsbLN&_$4E+ofET)MCY9a+<is7Th`N@R|dy9@?ZrL2`FoRI*p z_6cK2G``8HPh#`7g9={!x1F^)Dim2qzHMWlb}YusaP_Tn!c?#%0jhuAFjZ49(RI3^ zbr|x6uvkB=Wo+V2o1~&}X7Ek+58)(zOGArCEcu87OSqUUV7REo3$)cPBb?*R;9Sf> zB7NzAAJLdUh#nd~)iT~j8dRmV3hn?YTnfM6jIk{Yz(e*#zt$cnV8SIH!sUEE*hCCQ zJ1_ElVSf)vv-Oin*+CwJ&Ut#*Q*h)Utcb1rB{YKgn_F<-R(1O099V%T8`)Da9-@-< zP90eTL&8$2n(8%SWAL4UIs;U7X)6$9IF6HJ(L-*2!naet%#{HY*^hGm&A$Lz(!RJ{mJS$47C4}t=1hgq{itK9O=nB- zD+D&E$j!WOK8Zk+HH;heVHFGTPK1|tf}F$c zMf^FfJ%Y~&*tmIwbZEGGyH=jHZp|0Gm8=@B-C4)|c1`F4o+0LVaaSw zf0DXVG0=M8Y3hC0K9*?F0Du&|1EB{JG5gHPvk!Yw=nZ>vH@!bYz*4 zI~kR}{#EQ4;>=fneuXPaD8eS;26p`g3Iz1?0}7-h3krq?1Ob%TgAM^M#~P$qp9tf| z0MK_h;6U zSIR%In8FZDENm5--S~S@xNkXdZcb^@*f;caPJR3G$ea45jXXrj7N;laF@c}dSXe7B zZANT3{bO!m-1RQkBK}sxPYJSDe(t5*oxAd63QVG6hn2b)gIeIN#8@%wY*yw*0A*=R zSI3J9W(!aq_TF)Yr>=7hsn@rZf;U9s@8gn8TKe9_G}<=p(M0f#@+n$ zLIx_Xp4JK>lD^Un0E8H0#LHJhnEa3YoKqgZ3-=i?N7N+A6(|iFyq-~IW-!cpfg3+;si%WFJq`_7OFk|e zzZk}yItER<=CQJE94xK^s3-=-vWeEI(KIO3%v-c?az-xis6dw)=b-SzymA(bR$7pn zZhE3GPbF*>7JMY=_RjaSD^fP{PT`_lD!SM)7!Xpj2R~?8V4CHaH~UiV$;ujqIR84} zUDUs@>L)i;*@ zrLtW{$i|s+5hRj;NJOkWKU8{u%f6t~x^RnEhWhVvDXP@>A?{Vg_R#JP>?g@ke8F>` zY|xe)H<6QBY{>07s#E+gn7S0_@L=ld`KZ{11+TH5?2EAPvoxp?BJT1oht`Fwn^t{F zomK=c*c{uAW8}qS=A56G4|GNFRC`q7j_$wVa>UU@N`M>ys}s$w5OocLdYakRvK-&Y z(}k;TQ?}UGuJnd{_)>NVHDin+x@c_V5Jx6d9za=2Wor!xNuwaaPeQ?%ORB zRA(&hiK@qbyOyVC#TwV06WTT5pRKQH;Z;JnPlKL~@XcQ}2jcNQu3YZ?lrXrI2Ev+c5{asq zCwW>Lm`pO$MuYoUI4DBK5KnNG7wI9xe=YN<=4Ji(LA{c4pwF?P@VzN2EqiS&Ns=w& z;P+DP^vrnw2t7()5pAo>&5CUe@8j^;YfxK7NOP{0ME9fty*!Q^Tnr`)n?@ zWE8<3Sno}^$mTuX@cXf2)6h&=G_W!A#sIBkfKeZOc-Hw~Q-x6Afx4%Jc^cNMC z#SbSBXMDJ7viiu~h5g+TQX@)zE{Vkmtm$E-Q^3^w7xtV`tqg22C|^>}RnEkMMJ&n} z1Mr&CVs{U5FM4iIv@O#@$HkihNp3~38SLl~Fo(cSE`Z%ZtuEIF3|l6q-Qnakrx zieRwf)_!Y9A6MunfvPQi$rp=xe{+P|Py_RX3h)#=q8)WkUH!h3lPbUbF=<-cpi4) zVUbyko^*_!d=S7lEo%jqeY@2adH~{#VNlq$1>jmd@`f@HxpA1jjVXWrIq&qf1yn^G zdkyCNWD_F6d0_?>v5~^n7M*q#=4E(_Y(*s@c0c|3)P3;MTV1n9>s@FTRWcg97n0gz z%Yyl9e)Ny4hYjuCmAv{h_u8tpUi_cGCV#sM5M+W>F(hP-MpLEwEa$N&b3vQS&ftI% z+sd=gKDhmT)DBuU+l`x3CfwH+vaR1{I_2lJw%O-Qx8Q9H9(1{jW%?|2{NjD>`bn&d zL^29q=^RmKCR?jA<;ww(#<GTe&R%4Nkx|HNDE+v}5t%O}6)_YeH z6m8dT3P>ebV&!dF!LLJJv3#lbvS7h=uXbOP%$c<$3>{`r^n$KM)5qDy=GKN&*p*7z zP%QXyY;6K^wK5%!DK!w=34y>u3BikL6XygM?%G}15C{3q%u`fWy){b+ZAfHBQ5QJR ziYM$b;arAqmqM`SRmq8QZnv2OX4uKMQgjy9jrrq{hlMY(B=|f|Ukz?EQmG>N2r-Fx zs|mSdw0~taLF<#-c<5UAm_1>C+o)Uh+dh>&XITT915h)7SYCnbxrai=()cq)2heQB zvHyhFBrBs%AwCA1%r}CL;iNl^#_}l&G70BkC(pn|Nb7;(fkU_SrH>Mn6$t|Fa7W?g zfk2TKjQ`{-pYJ^3xO;bD`imLgq1@mVEKM~a!&l(R)Gn-rePG;e8XtyKc@Jy5oD3t9!)2IL9LC=~PY#N>6iPkxhP*zl5e3 z1mJXiu^>YX5SI{1%tG`C48Yd*@t-{oQPP&lG-JX z3)3(ium}uOoxL1k@vlmThfM_jO_Derga!a9LPD=d$+gyz{M)oKbS>vhwT(yVf(MgL z@g)C@m+8L3d6sy&O7R#gZGJ>CIL)2=yZhm8?E^A0DUtjCWYmHSUp~S%`%tuqh~RrU zp%rbBJ-kPQp7oi+K*|x<^#6}hE&g9dW&QsdHRB(n;*Cdolbn&8ly(w$8fYm}qfXNp z3Q!7WDrmz6(J`nZjR#8Ys_lJ8VoyZE&;tU2-FifV9H{tQC;Rjz4RM#KL%jeqO_j)H*G%}`E^e}8faOzNt&(l8i7hc|D=); zR`()dv7wq2n~t3M`bH_TvoMA}q;B(~qFezo9a{L6nJ*{qi~`5taKm26sdp35wNV$9 zJ8ug*KRspHc%9wrMTH&J(Bc8zw+>Rgadx|}t^r?;rct{EeC|vbxdHQ#F}kH7jzGmL z2sgV~`H*r7o!cJjCwn5>{vRHIsw_eX(k4eV5+0$HV5!aubZZdtIgk2p1T?oE62&Ju zXexd1`HB>>;wZ~Qe9JpcBr^~-1)vUw=XlCL_BsJUQVQiogalRjw8hBRz%7PX=!W#^ zKP8RI$~NZehg7$;^h|MNp4dHf!ftBxtH4dG(ETUAQ+p5P66M>LI60Dlrs4&sh*+Cn zsm|u(k%J7@mF~3LUMO@C_T^jTPTfjrDr)QqcDe4S z${pn7dWi|YAViX^VeWw$t5UTa`9bcy*%=n17qNKP>w^CSQH}pQiORO_(gD-?+8%8i z{NPNiUp?L6L#<>LK3DvydDpOTP}S=$eH+`%5`FeP%PhyM$$sY=p6x)2R@OK50sLFD zBvX4OaA6YPBPJUZ!U~{Zeh{_Knm~YnMj`(D_VD7-L8zJ&S>q`IPs1f4tOH&*@Sz6{ z_G6Xs$rWX5iq?@;O@SFP=E%f{P29sc%_+$2p(2f zNlm)o2rq(TTduhWh?Fs8ddhPUm-n+#yjx3qQzBi#gZjzR9Z+yu-HxKgQ)<#RaV1%` z=BeRiqO2s$TckQ}OaCHgDE_7Iz)-ASB!4Op%=Ho7mHBpf8UlNw{n|bOw#Sipz_HvqJtr#4nq@A)SUmqw>-%z1&_;g(Y}eAA{}k)2~3KLU!5REntJ0ZvC$ z`M?fCzf+_eKHi)6@4UX~IQ%y*X|UWGZI|g{+@Cn2Nu@rCWXA2w&%tQOZv5ziRRTEu znVh%6ZhX%=-WIO2nZm?{H_dr;@Qm|?mVH$9 zkfo$61n-fm9fEl851xB3UB*sU#zPTFB)5R;&Crh<*)^ZmpI^bl>|YzxvU(f`i&0_} zJ3(6Zw+^CVH<0dXW^y2gQD1|euGY@3jI)oJiFIJ;FcFyCjL6_XKoThb%_hVoF@US- z!sFiF?;YCg9^E5s9TkIO@C)tN$z~+;U-3nk-IiajoDP35D!`1P$6zFUmNPV#JHA_X zvQm|k$u-UN>A*k`G{lQ6r~XhCx_3mJuu(2)E2}{KOu^)!0t>$V=G{9abvn`BsJqI` zPE68%^75N}GvSam<)PabS4f{F%K})4`F}3)(bEoS5DaKI>i|ddbkQehrRLc)e?2*v z6N4YfuJ&pWvc)jWr}Fu~|N(cNz8`1KQ`%mI>x>b9eD z-4EWL2<-R>uY_Bsz=`^fRh)dv*}bb{Oc&c^!KaY6t%~!(VhqslLSgDa9+S>(pZ3S* z6&(WE`Kvw zvXWPzB-{&AKpu^H=~ER!gVl$p92E9G@peB}PDcDT-ZhN^&L8MS{EaCpXLaRfL0#o0 zgd>{9q{O}asD1T;pW49!$8HV^BwLEGY2g_xUkMDfycP76p#=(5*#b#B;6NJm&k+n} z2kM0gt%U$uohGgX1^{vJ{m*enG-fw4Wa*OzgUhVs7HG?h;c$s0NY&#BP{Zg8ZPWX6 z3!VNoA(`H6#a0~UaCGhGoor4yi|9q8kf+)93*>8t`iOGYhebj$k5KS?!oue*|E1(^J;`Z1iPK`VxgR(3d?2EIen@F^ktG3EZQ689Qv4PDeI0l)wb9eN| z5s|-?{S+aDp0V-Q#r#=&6%gXxs)r@e0i>p3QNC1>_+2ZvU$}fSqpf8 z1gzj=mambLz>uP&ZPN5Gm3WHEFou`HTZ(>QOD$|?Y8u^rR|)s5h9dJ6MR1U?6EnDC43fmv+$k(kHgDHGS>aPS7Ux{tukms9*tMvQV#|g~UBy3>c>fI_U{8AfQ6z|9*9b z>8S8`iV?MJwNGOtG4_MgiGXx`Kz2U+=BnD?cQ?(YznbFu-5ZwW&4raR5xy0fm?713 zd^G!HfQ<7V{%VPUYW1u`X6eW*g(uLeM~?>jtBx#0AjMFM^^O^m)e{R)_a#jn z@6=sV9-eX&uEYysq4yfW3f9#&W2l*6x!F?&%$OaM3Meg3Tk^l7SSEaeiU=-&|`b}<9 z!QdSge5Oc83$!12q5#Ck+8q{g0hR+Ai8DO>#J7VmNDKpwV4XJsh`XtYeDx>R9{`Nv zjTPDhtLYygpp>8kc0sLHUD zj~l{({*;N%0TrU#PZtJR>U7_5l&iAO8wZ(YNTqkXdM1Nn8*>&=B=SN0>64T@ZSMxh zM(@y>tPQ}q7aJpP{38i_wkX719jl>3$airV02c504DDzF;3)v}-pe;1fbA7U3O~uZ zmD}K~n|;?ulHG#}qe7Xr2Zm4@H~}V!0DDyM&x3aAYjF6V?FjrHGrEb*KpFuCr{Ev9 zEJ&S=_3xdmMj-wbL00N8lBB#UCz14!C3wlRVbVoYT~0f)(U)_G2#zv}GRCqw37Ie@ zvN@^XNWiKwVQ`DgvpS(?U12N7V`PbO*1MggC?31HE{j4&;8P6 z5>+$tSO_cm;H4Bwpj7AoZff0tpwrv{Ywt>#)`h4{H{H1V^ zKDm0Jbe?crgb3DE5w19ovslMlWfCxgSG1P^803~v$`Nmx31%EuNX4h(@+c~0CCu!R z?n$D)Nbj8ioG89MuSN!jZNvR_5)Wg(%z<^oc>21iK8NYBE=TJVZ5NC`i$`Vns0v;Q zbL#hMtlpXjvU0h=Xecx>$E*V#OcaZuKGl!Gn6 z3r7sRrF?>44RjE*hJ5Z0mf%i8sd3OgVUS7@^wa~-1l7gh5N=?{?L0u&k}>2M*Zzq< zpIc=$(??TwrWHruC-H6cj&hi)R^xjV0mQaVOS>7{QxZng8l-_^^SWyC>+>#G*ZuD8 zpa&F5)Ajv$ijd$g6@+=H=n_+9`zjcHlbwa*U#9qp1rjg3kO*y3MyP4=Uvky(uhR$u zwx+WDka&^D2Uyjx>vKnP{Iarvl=lXbz|j?-LrR>s~8Do_r`9^}nbH1CwBXu1QcUE6MPbXD1dm#!mcdB>#;Rrcs*Fm(dU;E?4$1 z)3%gH`t3Sq(r+CC`d1|3uNo*Ts*IkrKTGhZz<)(>=uG*rg2h9ywB~==RMJEiw&M7nixjX5h z4Pl@c2=2YYo z05%%->>OSosx1}2j8_mk+gdI?FdM$d_A}LO2~^>Eri{`ZV4*KWbZbC$5lW9~ z!(?GbtUH8B7Po)Z{fpz4*8yW zbO}2()|yzuL4D@_YrejilJmZJ2&<4j!%y#1FpH6Rv20fT9rolPa;7Bd1SV)iA_wj{>|wYC>t?SpV6w)hIDvadBV zCP_N_8E`Bw>s1-7PO0WUrMpR$-5)3)$lKJ9KptdpLx!Y`L5J}OcTUPL?w>luGptnu|;S-r6P3|}600i*30oCYm@lfR0efYn_VZZcWHXN%T+~dVOtkS2_An*W1 zR)sMF=5&snnc`eS)HK!gc&M+A33F)7uhO}h$l{E>*%a~gyjb*d;Y$&HYWG}gA-B{xfnYT_ z|G1va7wUV^9ZgeNaLr97YobK#&Ues#Dp`?%3buXBcis9`kG9Ta3FO+CADRMEc2OvQ z(C(C8K}=`@hcH^S8xLb*_jI$wu8NEl?b3x{c0F^_NPx@m_r?@i8j}}x?a>hw3OLe0 z2;(Zj?l{7n3I+W+q_i3Ppw^4v*e_s0^XIWk>PMTbBnHZ#MNvWtndXME=9oju;%r+H zgNjlP)5K!KNSG`S2>2Mv;5h*P4dbj_N%?|VKt9Ppqkafew>;v|t3}!;Qs9V{2yU?A z#Vj5~qXA#U=0|Fq2uuqG4b5_rT1ufyaPHdN>SO1X+VUHm{0PtEltnDV{6Dvr3Mwy#!xqDXX&)6V^Ug6d#NZ z{b}KLQjp}b5DrYd>R6Ns=Pb|}GjaP)oxHdnH-4-2)EIcZd3s{|9@8SHoN@Fmo{ zGfr8R$c?F7Y@Uai%W?^!-+QRs^Zme}^K$%@Iu7SL&RXzTDQs3&&e7=b&~*!Tp#K~| zFWEC|K`qBX`3d)Fwe8_o%T>l=XRl!Ma351N&hs<6_c zFOM4NRbPUSv%j3-j=k?W$r)NOfwXdT@jNyox}myk9)?PK{Ehs0fxqut?DBii;%wNZ zVuW&L!CWEc7jlsP$P}f9s(?GbuNgYPV{4l_DDgsH;ZF1tT+Zkx!%_0bVSBq(Vy6zL zOQUAT31q--Q-{7|Fa5X6>3UGk1>*PYMD`jK^W;7n;=u{_5F%@d%X3Q$(r&o;W`-O5 z&A64mcI{1z9}uuE*OXVN-Ks{?$HTx{si5JnEF+aI+1r`;Lg=79Zx3~romCnDKZW86 zyo@b+5?wemaRb|sD=CA?z`m?4<~G9C%zRhAm+8t;+H9rF>V+34=uE5irgxRWz@4rH zX>Ew#z`r77mQd$k5%L#>Apy%hsIT3W_T^!u=lX2vBo>gH?=&>s?5hkG`e~kk6czj( zb|2d2X_kB;tC%&uSA{JWBDw;FG@ZZQ@AdItah4zI z-Ggqdo(#4QGMtcpmJK??6}VAsq+cmXM!7m$IABeBWv=gYO2LAhpNxDXy`(GyOxVvZ zJ=SN2|Ha^bwDhK#yMaSZO}lTT*=K(h<48K*;?u$I$GhWHyjfkkU$q}bVdObRPrx zUs-0G4$qMcACXHmvZs|&=UL9yQBdPyVBa>`$?CRMmnKzcje*!*AH-yBw8-}2iG(0ZM>p_G@M4|)vCn3`#EZ+lw8Za%%qVs zmi)42Y^D72gQUibE~HScM?_~TMFAk>plNT@B7tRMOVT_A#jcAg;U#$pcCfskbB{bV zb2%+SJDqU_kRly0Nme+;!&?4kwW67^fN`1=KKlT1Ewr%rp}^$aO-v3aIx~`2T=okx z;3Qb|s;CK!a@ZAn;>s)j8m(B?m((Sg@&aUuW(fhML1udtUo_{g)0hECJ9sNU8>_;9 zkXrvMF#p`oZh+jE!EGNE1Om!5dc%Tp{%e+Gl!BQG&<7dCRPfGH+_i@HJAHz>5G*F+ z^iT{nb~#Zkt-4`ehs^eZGKKtxx+Ntkj9lEk^`5ke(?09|F$1c=pWs93jhLCqKQ;wY zK6-qv2NNWXbLv+l4c%P!i*3LE*u7e#RW8S#A`Nsh1nyVRz60&4bn;$w7Li!;DP8l` zeJx7}Am%{AIFV$*UZ2L)+Daq~vl=58>6EK_EuFqu zRC&|8XR#_pCA=}!Kow77+*Fh-D+)+61N5OokCx^AD8g|RC4U{Gp#DHkg>ld#VTcfL zJ8!RBp=R)3ri$7CUnhTF=eZmGJ%}18O=G)Vz&m8?HIXZNgu`RSs4H-%2s>3A{PrI5 z_GqM9!VZA}czqu(-mSL*nD-9Je*=O&_%GoXcb_S5B_iC;Ip7+QjjkO7)EbbrU3~mK z_>jGgOHT0ltU*a<5yNj7euTC!`kH}rG6<(qd|Tjkc{skK{+A6{fP`7L=7?r@H^4C0 z=cp9L84?7B#bn9g>o`PpUyHSrz=17XqTM=w&L%~p;|#XBE9L3mp#>NlgR?ut>$kPp z^fv=Xo{VX4zr)rp7e}^J@asu^ILL=HrmP=h&UrTSgmJpk$jfSs#|n*to=7=RsVg0Y ztldHEY|mLNNNxza@yQ98dgIJoalqHnj86vhc&y7IZP)!KUR4p3^m`Qrh)K=V0>Fyx zs?9XVASKC25$0NT+$;M;jc-@H2bC`svy;+r`K@r#iW^S&ErA?QE~vq4H|uFSXs+=j zl(ZDnE3%d|jKonucejfQ=9yeiSVINuyNCAWVx)&*Xlx}m*C5ZSser?AoXk_LX1N_J z{WU#F6ZiLKx+z=&rYQNhpwL`daVYt?#0OyT(D8o}cSBbV9x&J-Ns?*eRxKl7%ejyP zt@}o9M|gmr!zhXw)rayJFJ!|66KkR#jh0TdfmjN~hZG6ix?HK{icOU97ct<*_ zV7*dDSChFPjQ!;8H~vl+lNcx0P%8(GnvA4Ch2ivVl79FnB_)@H{-g+q+2-jxevksv ze#q3l;dM(0W<-<86xURVzq1h8gzHcE4uN!_pP8&2xbjWJXAUZfvfUE^bmrz>w>m|y z#(`Uggu1}M#`OY|U5=l{zc0_H_ET84zmMnm>=gu32wW!?u69-8yPpIvu1Uz49a~@~ zWFiy7t~HB2ufrRZtIu7P$=$&Ev56-}<3s>Cn8fF=I`~lSqdi79BhrMBV!2usS0Eoe;+ms5FAEu6w*7TFn>u#|8zm5y`_uG@Jx1CK?n8K~P9= zXugWnM8R@*xjaoNua$ zc#i(~^(2VDsD#U(wfF8x+gL09jis1h-ug&W9O3(`h%butWaAY;pF_mJ6bQkzgv`_{_I*{>J1;bOvzPIYaEqsV_+A74i2<@GZvv77dqT^W^6PB?jks=(_VV-pRLQ zjB1fk@)CN1IXw61ukpYNztPGkx+)FWQiKN*L40G>{Ywq5oy_DAU&X@rbvRGhYM z1!q;dao3ty)%3TYlhz8w7_i1VNc`;c5d#Ge`}bq4Zs$YHiQMNU^PPfKhF9yJeWrX)>-acpWp=tE|*%~=J7 zcR`7Bs|K(I*&{ZI`KfKjUC)2*u>uJp|FwS`9f;r(6@QT?IyON9rv7(=yW6AW#(ysx zMLHa9s4l7QX+acq1NATWAw*){C^J+&QJK`V8HMBgi4_HBk91BEtbZK6Zn{j9cfOeO z3+VHQyWs8RRC}J4xMy~%omm_Hh)D2|c|ya{=({O%izw_8NCVhHLVSD^anqB<=LMss zy4u1a{dQ8ckbfWG94fX_E{x{f{ep`Wyqecs9II1S*1!n3#dl4f>l> zL+c_mIW@b{w$TBBuOSp+dmse9{N&mDg?CTMH1!#D;}_*6@R_ZaCD~#N{kUI)iUD2 zNa-*4CQ6QJ3!j1x3*gm0cjZ%m8O_IfyqTnjKnxGvyy<@b`{t+{n?V^WZI*o6Xhuy4 z%@jt>3YH>(8?p*2Y%(9@Q=^=H3WB;=`lU|1J-5ms!7Nbews zjfHik{F89@-(CJW=R5P}&iC%jxp(HhdGFmfzCDGdQ#XF@k4U<`ck;NZopK@2dcN(4n3;y9M4fp?Uz}dpbWD);XWm-XgLBjTV&)Ur-099FX1T?-yyOU3 z&3o^XNqQ!a$>I8sg`}dymt?%{%QJ%(b9J^b2ATOHOU|-AhpT$zi5}^Tz6nL;qZWFj z4-Sv2=@!7{f{nG+sHKk`4d3!>x~}fgPJ!qUPwh6(Q#q0a4T%X>!G;2d@(Dc5iP19|zsYrk;rGkYZ(%ou zeVz`FzCTscWtY6zV|{*xr5)&*AokYZ2w1h>Xyw?;Gs27(KM8v+Z#1HlWy zSMS!yzxO}bJ1w(z>h*wzTf{J=Et|!QLao|d4tI=eXjThKPAio}XV;uymaIK?#bK5d zd8;f8x|2hLDZ26kSt+ZU6(>4s1AOSW@=f{4iiL`Y)mCDQ&w7sNQ18dKd%rf7bV9kQ z_#0@9P4WIF9R4QzBv;Di%I4P@#$tQy$xh5Y3-?X@{1WW+^F;R8RuhdF&jW~ZSZQGrS>6S0jMF*ko(;rh~BGtuAk)uGTCL>+ zx4Gc%egdttsQ814zWRU(1#7r6|D}v*E`9L*cK%x$w(isXE_?&&2dW!XgD0Mt3E!CU zQuyk3%JlBVwzp^2SJdK7qZuA^gb3-`gEg0*znc+64PRF7d%%;Nup*uG_qrQ&+$oMjwuq36|&tGvb6MT%hSBRNOlsVZMI3aYdmzi!Nn(Y?o)&FLBdb z8vLy-&rRa2J22KvSJAl<1LI0ojuOj!j5OrIN>+GFq4#Rd8Mai!{gfMs3lO^gzUk+a z{@WkC)GDe#^IxsaQ60(7V0ifE)k>X7RQ4-%402so=_V7VN#A?x=?vb==e;LRV|D0Z zPRYBZT_Q)|mD~Z_#U0iDSU%9ONWc>_(l&Rx<9B707JXS|LFr+?+SwTSABWDK!~}=* zWGMwqJlpQSx4bFX&PuRbcKGD|_Ul)StivhtFN8uGU*SP}oo7*=&#F1=PHn2|rKEQK zOo`9ld}*o5F^QQwQ_r1B{1*8wfkldr$4PYuMM-f4{L#e77!;{OJ%5f}IOO2tf!#Y=OW-5FkV#L?O095Fx}M#34u!a+ay)*pT-w{yyK7;8|#X6oCg2}ZiL zT!p*cc<~~znLRkOjj?NI6o31m$n?5 zX7Jus@91~>5O+}n(SudzYwdI)TtRYwMPX%$-7_D_qYm+uK;@q7HRRyCgnrY>D1Mz& z3m(1Ug>PGIjFvMj7Y7vXKYKVOCxY8uli@94Bsbb{XEs8&{i_V`fo%Wty%sA)t6O12 z88@+>s)49uvGZE-ai;ajdl3yZU0R_AF8-PyGqE3B~&>3I9&rhGRm|uE}d+hia3ho!)yEQwcI>kQXKYa z!c9O${*%=XvO{9U3vF&2wWVVMdEb?EZMXJTywZPE+V9ob#ygBs;cIN8U>HC@c!0}E zPvix^LR-q6!b&pA(Ti@Jz`t$U^&+DgoxijmL(0)8Jviz$Zd=+g9iVV=Y-T7*i*m2B zv#A3wJJtQU|I6pIBrTVphcBZZDJsyZMd&&@g0=D-z5ViI<*1?3cwR4VVleI;L7l(~ zOI$zIJlJagyWFu?H6;Dx(yH2&sp3D)ZH_rdO3WXKEEq7lC6+?mq3Wb=({X0MwObcG z=IhXO6L)n{>tslu4yt}q7qR8V{cnpO8K7s1=puh_!hk}Fq5hc+K$aG(_muwn#_3tJEbN30NGjCj^YRp4D7 zrc@Rd*s!e+e!w?UCD zbpPKEIGcyjnY$dF!gk0WbOtc8LtHW0P0Syf#DTUwv}WBgZaf@%f2CP4U zk$M2r5ivx^fR}8#I}mk34Dp&;2g0d