From 2c6f7830a902e1de39f3bcac81bbec9d3e404f8d Mon Sep 17 00:00:00 2001 From: lukstafi Date: Sun, 23 Mar 2014 16:08:02 +0100 Subject: [PATCH] Regenerated documentation. --- doc/code/Abduction.html | 8 +++++++- doc/code/Infer.html | 1 + doc/code/Terms.html | 7 ++++--- doc/code/html.stamp | 2 +- doc/code/index_values.html | 13 ++++++++++++- doc/code/type_Abduction.html | 1 + doc/code/type_Infer.html | 1 + doc/code/type_Terms.html | 7 ++++--- doc/invargent-manual.pdf | Bin 139410 -> 139395 bytes doc/invargent.pdf | Bin 312819 -> 312819 bytes 10 files changed, 31 insertions(+), 9 deletions(-) diff --git a/doc/code/Abduction.html b/doc/code/Abduction.html index 44d3955..6f3bc51 100644 --- a/doc/code/Abduction.html +++ b/doc/code/Abduction.html @@ -63,7 +63,13 @@

Module Abduction

are not most general. Default false.
-
val richer_answers : bool Pervasives.ref
+
val richer_answers : bool Pervasives.ref
+revert_cst=true tries replacing constants by variables in the + initial candidates for abduction answer, given corresponding + equations in the premise. Default true.
+
+ +
val revert_cst : bool Pervasives.ref
val timeout_count : int Pervasives.ref
val fail_timeout_count : int Pervasives.ref
val no_alien_prem : bool Pervasives.ref
diff --git a/doc/code/Infer.html b/doc/code/Infer.html index 3f77cc7..163fd39 100644 --- a/doc/code/Infer.html +++ b/doc/code/Infer.html @@ -40,6 +40,7 @@

Module Infer

val annotating_fun : bool Pervasives.ref
val annotating_letin : bool Pervasives.ref
val inform_toplevel : bool Pervasives.ref
+
val time_toplevel : bool Pervasives.ref
type cnstrnt = 
+LetVal of string option * pat * uexpr * typ_scheme option * lc
diff --git a/doc/code/Terms.html b/doc/code/Terms.html index 5f99326..3906d40 100644 --- a/doc/code/Terms.html +++ b/doc/code/Terms.html @@ -38,7 +38,8 @@

Module Terms

Since Mar 2013

-
+ +
val show_extypes : bool Pervasives.ref

Definitions


val debug : bool Pervasives.ref
@@ -534,7 +535,7 @@

Zippers.


| -LetVal of string option * pat * uexpr * typ_scheme option
* uexpr list * lc
@@ -577,7 +578,7 @@

Zippers.


| -ILetVal of string option * pat * texpr * typ_scheme
* (string * typ_scheme) list * texpr list
* (pat * int option) list * lc
+ILetVal of string option * pat * texpr * typ_scheme
* (string * typ_scheme) list * (pat * int option) list
* lc
diff --git a/doc/code/html.stamp b/doc/code/html.stamp index bb5a97d..91beac5 100644 --- a/doc/code/html.stamp +++ b/doc/code/html.stamp @@ -1 +1 @@ -28f09b073267850f329cd388fcfe9996 \ No newline at end of file +199897d40a8487a113d547a2662f1c14 \ No newline at end of file diff --git a/doc/code/index_values.html b/doc/code/index_values.html index 2ec5eac..be79c4f 100644 --- a/doc/code/index_values.html +++ b/doc/code/index_values.html @@ -326,6 +326,8 @@

Index of values

return_type [Terms] +revert_cst [Abduction] + revert_renaming [Terms]
Union/conjunction of sort-separated formulas, additionally @@ -333,7 +335,12 @@

Index of values

richer_answers [Abduction] - +
+revert_cst=true tries replacing constants by variables in the + initial candidates for abduction answer, given corresponding + equations in the premise. +
+
S sb_atom_binary [Terms] @@ -356,6 +363,8 @@

Index of values

separate_subst [Infer] +show_extypes [Terms] + sigma [Terms] simplify [Infer] @@ -389,6 +398,8 @@

Index of values

tdelta' [Terms] +time_toplevel [Infer] + timeout_count [Invariants] timeout_count [Abduction] diff --git a/doc/code/type_Abduction.html b/doc/code/type_Abduction.html index e117b33..271d7fe 100644 --- a/doc/code/type_Abduction.html +++ b/doc/code/type_Abduction.html @@ -18,6 +18,7 @@   val skip_kind : Abduction.skip_kind Pervasives.ref
  val more_general : bool Pervasives.ref
  val richer_answers : bool Pervasives.ref
+  val revert_cst : bool Pervasives.ref
  val timeout_count : int Pervasives.ref
  val fail_timeout_count : int Pervasives.ref
  val no_alien_prem : bool Pervasives.ref
diff --git a/doc/code/type_Infer.html b/doc/code/type_Infer.html index ec594a2..d42ae0b 100644 --- a/doc/code/type_Infer.html +++ b/doc/code/type_Infer.html @@ -17,6 +17,7 @@   val annotating_fun : bool Pervasives.ref
  val annotating_letin : bool Pervasives.ref
  val inform_toplevel : bool Pervasives.ref
+  val time_toplevel : bool Pervasives.ref
  type cnstrnt =
      A of Terms.formula
    | And of Infer.cnstrnt list
diff --git a/doc/code/type_Terms.html b/doc/code/type_Terms.html index 1af8cad..847b87a 100644 --- a/doc/code/type_Terms.html +++ b/doc/code/type_Terms.html @@ -14,6 +14,7 @@ sig
+  val show_extypes : bool Pervasives.ref
  val debug : bool Pervasives.ref
  type cns_name = CNam of string | Extype of int
  val tuple : Terms.cns_name
@@ -153,7 +154,7 @@     | LetRecVal of string option * string * Terms.uexpr *
        Terms.typ_scheme option * Terms.uexpr list * Terms.lc
    | LetVal of string option * Terms.pat * Terms.uexpr *
-        Terms.typ_scheme option * Terms.uexpr list * Terms.lc
+        Terms.typ_scheme option * Terms.lc
  type annot_item =
      ITypConstr of string option * Terms.cns_name * Defs.sort list *
        Terms.lc
@@ -165,8 +166,8 @@     | ILetRecVal of string option * string * Terms.texpr * Terms.typ_scheme *
        Terms.texpr list * (Terms.pat * int option) list * Terms.lc
    | ILetVal of string option * Terms.pat * Terms.texpr * Terms.typ_scheme *
-        (string * Terms.typ_scheme) list * Terms.texpr list *
-        (Terms.pat * int option) list * Terms.lc
+        (string * Terms.typ_scheme) list * (Terms.pat * int option) list *
+        Terms.lc
  val typ_size : Terms.typ -> int
  val atom_size : Terms.atom -> int
  val fvs_typ : Terms.typ -> Defs.VarSet.t
diff --git a/doc/invargent-manual.pdf b/doc/invargent-manual.pdf index 97d4875837328454d9e7cf8976b21d51623a0f55..23918c798a5a7e5af9bb4a1d2480fef35a3a11c6 100644 GIT binary patch delta 7359 zcmaiXWn5L!x2=axNeM}jlJanhknZkIk?s;{4lUhsC<#G8I)o!BNOwy&NP~34PU%8eT#XH$M=yt-HSk2yEOC%t&2KJx@HRrT}<8AC~bUeFsdV7?WVM zPn*btmFM&9=^<^W1y4Ns=0&_Fx9bgWbFX8Yeox09UpFt_`7JJpwN^0(sIV%`*9;r^ zK;Z0eycho{;=c3@$3zdO!yzGHVq#TYx$Y~R9g5VGNmrKjl8K|S)s-B16?S#wyp60o z9&hsA_*OKr@(~SXxoiTrX+>xh7Z&HB+4qwZFK>}u=M^afn8Z5vGc`5k?00MV&U{5> zGwWX4ny*YahBKjGqOH@B4!&%Hd*O=dwfXQpwVs-xwHgI+#d-Wks>x>w`Gp!~ z#fq~PhB;%O9KCOxn~btvXlhzmeP?LrdL&m@tH&ijo2$ArdM2-V^qonM zk_wx-H5M(>-kMcDm#uuXr^b5vd8$Eia`Gqkybzbq-zAFFWc%`p#8Nd_O4+oN9GLat z&F;#*Y&`^Y(`P5R*F9fI*xWqLqeZa9v^I(BLuhlfEA%Sl;< z>?T>meTu!$VomlP7aV*n>n3X)mPvYRaPrYyzuh|_F~K{z+<0G0nN6tD;ev|7C|}@LssT{@Mgf$UO9k+HZ_6 z!?KumTp#e;_(d=^Mea7#8Yl@QTG54++2uZ8XU5A5bYc(nuN)sl5zboHVk_%_+>q`6S&B)(R;4h6MJ$?!9+bWL`nu z4B1pxPut>(JelMA9WB&;yE2&J+JRgm^MQbz_kU3ZO`4EdM6k%OXou!622i#itRrR9 zcBQ15Ab|_kNA+U4F~D|uEY&x^&Q}Dm1=xqY>PiIi+`m21{MpWCU0^Xf4=8}=d=h-- zS=z4ON$a+*xj)`*hIyV${UqttPZuy+>4MS~|5d0nSFG#rB#|5$hSe0HbAtKJ3~A*~V+Wn@eLe8~t`eLgEBUl6sdkbOJ+ z>D?j!0`DC=obguxW{ASlTf4V#^FqW}B<(A`18S!`u`~PinlF*wPY%xo`w9@LfrJb> z!qyQ3=I^l!h%JaR+ei|?1jb8rwqrG#A=%`F2z z3L4RVGM(OHh0Uwu)%^$AktM!(ur(-<15Aep?)B zVRkaVeR0;-x5>AZ~x-;#{N^)eSh~t za$)NCSD*J7zs@>gEJS5pNa}oWWBJMT@%57NV2-Egq`YG*-ih04UNIe7pu`Q=n)8K1 z8qH0;G+jgG^^o2+4>?m_Rm(4iphUNZnV&AmQPhjO*!!L2UI06Q1HsV?_(C_Ep4}-x2PBg&_Gj?^qxXwPm;B})0h<9|E zN6q-0n;AF#v_|d1SEfR?^Ru(}{*!(mSXN#Rnz{3Gz-+EDjIc07hEjy7qAE~JC#~qD z8)3J~xH&`TMe>tJ_ka*al{eV$Py4zV^lz@Nwf$Irt=>m*c5Gg{xjTlZQ;};H?^I#t zmbQk)9$~OJ)xH+$zp1A^dmivCjWV%q3FuF>9z(8}xo!VuK=sgdxexA+fDZt;;cNWp z1%1xJ+(Nu-@Dpi>x!)~ z!{4K+kIc1ISUQW?pYI@RA>GU_*U*mV8x(QGOhxFh-o0d#QfnS1g1XAWw2_|U)T zsJy;Jo+~|+BWPJ{l}Y?15_A~vN|Vv=w?h2f={(2r!9ixH?wwYFo#IObQiCf6H_rS; z`|3AQbG}%MA17C(oB5nx9uLP8rzXIfJO#9Fkc`Q&^_yJATBObzf9I5ev@ws|O;eLE zP3cS2TR#^>%sHIZYFv6>$vs#^o1*U9&|#?lhU_RD7|o*;Nld`3 zB?nRReWsDq`4+Y7^n0u#wQypOuu9|p6u27y7G^UFu@3gp$nlO)ww?p1^KV1FZ%9va z_OE2zLW-^?P{$;Zhl!>h6YW-tbA&m)*W(MOtqCIWbZ}-B_)yKzDx#!H>uBMkEQt}LfP>7T!qf+Z{0dQ4%?7K?P+^MO zh}aVRCEgR`M{&>|mLyoLBcj6?=X*EEUOcPcUodhyjkCpF5sz?ngY2)rL$h$y%ohDx z%IkcRpm{eJJwo8?z@{d^)_}9AJf=fz92YS?V&^v8`+b8=`ANbA!Bdh-qGF}e6=L0G zC(_~{W=7AAlu8ZGlCvN>IC$?GIlbiI0gy@g&bPR{l3 z2(l|N6JPO7bA>i)R#z^rbk)REh1GVBNWT_}dCbKxFYe{JWH~Q7B(eyGdOU?Pj^BJ_ zTti2bP0)`mlRx%}mU1nz5%dt}U~Y#C=KVm5Ym`%~q(O>A^ZgZ!Q+^4gof;3MhSuO*GcZeFt$-17SWeCKT%C3QTX2!B~mc>R@F?&{{A+jr^kjDD*JD!L51G`R0nP&)dy!q|U7 z5*OH$1NqxqFs2@~wX%ek*Twg?p^0!a&t3qH9>os}KQ`B!H*d-l_u!R5bH3otE{~^9 z{Xqs2vwnElQ7_pq^BxLsz5XJol$B1E=QYH$<>o&_GxA0~XSPk(i#I)sB!I#IYV4fH zXH$p}uR4N--%`Xn_G@{+^Yg@eF*Lu$3khLgfXJF)sE$$&C)UQS!V_-XvS_Y0OO=$1_hMS1WKKC=n3>}|Pp z2E<+msb;1b8D%uUF{~JNt13_hweU;z1e*fHBQyz6Ru zq0;3TW36TFb)Jf!(hn3w!4*BKqum zw2PF!-B4lg;mrN#WI=e%0`LJqWY{c#935_~Jf=d?sobZuo-LA ziOXet5{}n0HUvF~E}PI?;=<^$CPg&GwSD~Vn`Y+?pk8LR^wpn$voa);DI3%t_i(>~ zBF@Mcl^x?#eIuba9V?W(7FLb-X!p-+olL7k3JeEf!C}W`MM&6Gj6iLCL-a)UC5HT?k)ci`au7ytF2We=@c`VkPaK`%p{N| z9KEeE?%f-QU^J5>FKq;C#DWOpax}c7%fX9ZmzyJa>Z4C!?9kub-M1WU72*L{L$ryW zf@khCBgQnA%{pc-dP}P%!m!@1+z$a15}P1~y^(BC4y{38#AUTuN*kt|qU{w6E5QE8 z*;3s5$We_WF&9*_NWJFl)j(%$?+uQ;7eTQ`Y7DIOvbZk$lpMp~G+CeVXw<;N2xeoO z`PQR~@{_)^iDBgLdRKuEHAqmYRVu^6UA7}KDLe1eTg(sRG{dQp>s3dUOay%u7hcw~ z`l!)&$Ai2bZ6!kGW2czz+3y<5DfF|j6Cr*O--70{p;+M|CRbMnreeA5;cE7}o6uSf zop$4>;NuCL%?TJow=7e7QpLL|VeTDNuizOl>@)inRrhSRTaxIWl=nO~A48UZz5IZG zk(`T`np*Z9PZ7>mX`<>PS+;@w!JTx95zj|NbU(A(g~ugnnOj~agBf?hA!jie&&lL+ zF_~Wr@VWXu)v7TS;eU#b5)7jU(mTGh!N-Ad1MzXp9nAi71BNA<{1HUjtpeQ8;Mt_X z^MwGvrgVLjh+#Rhd~qH#=kTX)Y_5GqqPrf*ubk|x-KKBlpK_{X`xEG)(Xa_wAnET~ zK~oTYg|n`A%+9GnKRym}_7NX7oKB9+6Za?E{WNxQq2*)Q@Dav~P@@kuSvg{GoUFeI z6!bD=tW=bfQp0)qm5s4qjy+dx&H0clC5sS8$2PT<_4gnw!3*J9h} z*1=Cc$H(ljXUVL_4{KpKcnl#AZy`H z0mtTBF0m0-jBlzaauUTVAURQr^)H--=p8-8Ik%fQxfW;O`F{5Zfe^z(&W5xB6Wr;v zY~n%LNOFn3eg*Uu`p^RVt!y0o?gDSBD7`PI7$GI%4yBe`p9oS50h!} z*7r((PCYQ7q;T-sL6cSxy^`M=DF6*O1u##bY-Qa!P{;j~;_@!wRoJ}>lDslf-I|9pQ81B0)YEVV%L zxMGeHw!+FZ)Dt4t{-$9_r}Yzmmn2uZgIk;I#W6u#)Rx3|Wm`^M<~F^jkh%<;Wy)sC zh187TVqXtA^s)V|%prbd{6R&Z9@}nR9r}E93x@!vYsP4x1r7J}QmtI)c77NP1Pa}< z8;85NkaM0S!pUEL4tK?^X_IB$ioJJKzWNGl$9Wq#@a9NQSSN6DW_|O>&-LS9(>)}P z{7(PG1WP}n-e7nnK#;~rJC-Fdq2y^?{}V8Y!4SrA56$wFX+(~3ow-fd_fgcVw2FSD z5mo)rgzz8A>0ug=B%-%63jR!jmVQp|0YY+ zP%4w-Axoi4CdJ0Kv@0m?-DQrv)Ht2SZ6=Ve%(u|#6&8(J*f)ux-PB%ADa_ys{oHfv%I5o!=&5D*m%M57R+Bm+m>HI6skcCGG3Ew(j-?iFsVIj<0}{g`Gy z?{`vP3X@E`)>Dkh@LzXvwyL`t4U$aoYu)nFVUNdNfgWVDCt{NRfCi>&P z`3IZCF~T$=Z=RE`GptTOJr&*(!UjVrw$tMQ?E zG(j4ygswl}>WPn$U5_nW33Mw*TR)IvTflHzE*w}Q7OL5~*-JM_1d}h*abt^3cYVKEe^rd*9leax%pl_G&b>iSDmq4|GqSt2m@ANH1 zLj(MlDMCF_eZvx4L6*MRDFpFbKj{_1S2e`t3Hq2jD($``mzUL~;YkIAv&C8vkB+LD zrbr|!npX8^OlXuLf&5Kx*ZRF$CpEYwed@wVY*GuUq(lpqVq=lBd(K|foH5Afpj=am z23a5|BqO?7XpJq!Zh-;l=>>*&b-!tsG_`#8B8bDv)734yMVFGsxK)=^=#z|$!mkR# zT@*5}4`?N%R9!)bBZ2LJOVtvMO-bI1WfJRpx?GQIOJrm5 zsL^mJF6m>2-OFcdTfMP6HsyYaZhi19iRJY5&Q{0Zoi(q5;E74C!top?6Lk3XfCH!hD%I=N+ADp&CR<1Kc|7q@bXS+nqj za2?&yrY1Hp(x~Q-@KiN>A|R9uF?$WbLjmz3x2^#hs*F{3zTIMBBssa1z~- zppXODKtOune+_yEe4PK9xxo++FXSH^h?@rjLI^)YVJ72!_?r5!@jrMFFOZKH>HQ2v z4M4`t_s=323I%f`SIJOj(Ba%X|15$Yw*A*T2n6EceT0L7A3qD@20y~_K^`#&KeU?v z;NbrkWe5=TFH;bN`>_)Ug!d6a2n6~_0tgT9BhoP7|0^y0L0b?E0(}gG@;-_V#>e|8 zIv5}H5osRqV}iUuo<}P1LVyqP|C=}{@DUkaUMTbtju*`RuZ@oz_GmvoKE8jI0RzFH z|80Z+PsM|l%SBPHV{|7-h)1#2%@bH20ahRAS Hm8Jd{_zDqt delta 7414 zcmaiYby!qi*S14Qm&A|~0t!P6GXpb#G}4lSD2};e1qqQ(=?)2{yQGl@ zfzRLbeBb*#ul(_yfA)3O-e;|Q-Rs_aUHka8;KsDzdRKtj+W`w(jUSZ>TqXkTNh<=$ zc{zezL|}~YW$_v$4Q`7!9fo|Em2oNtGm}m^+DN{NOUG-Ao6(G+F~e(XqE*1_9-VJn zwo@=3t3RRzWtCjplk3XgXl80{x{=^sb39u$I_NOnJ}=8h>GEzcDS&}AEs z7DJoynuRE=)=gCqO;ZZ#omX`+{@6OEQP)HV%IK88dgYef^ekUan5i_*qG+|eLWH)G z$Ex`mn~Khd_|Ixlajd_0s}b?JYVps1u1r-}hAWk5D)#kKj!4!jzhu$;n1fc=%u*_h z)ryBGAjtut`TB?G_?4hYOZSU_E0a;Y__~I2873@dhy&iNWaKbJn_HVr4*ZyBg1h_P zHd(`?3Epn96}(^AL0G4;2!g2qn%482x*T3B`+u3py!FZvqIJOgb^1;Ty}De*8wXP;dPiOur)A9 zCf~3?EY}V}7a-zL}sZM%clcdBdc=e`+ zo%}%O+NN@1a=Q|n>5escONMdD>#gZv?UIfyfhg^Jl=EVE%NCRX-Vw`o0FfHq`%1WU z`fHl?sZ)0LJz9x9gsWbbnk=<3seb{(qWjx)tn_%(MqRD@BlXX`3k{6pD>UFgcfEnp z;okI+2CXITSCMtUIGxQ+%Kh9GiSP8r8PwAFYS}#WWVmdf*`aB`&c9O!Q%{h>t=xZT z{LTU{`Fp))gYZPLbKj23q)i$#GVuJ<&gG7ymWW=ZPRD}+ahXznQX<>ZfRDRFlB4OM z=VO$|(l`LXU_*ZsFLrP7tDhvhEmQy~gN^n5d=g1f>`aUTm@lh-z5Lc8;(d0RzB<~c zB!L?}oPp?AgVp(K;C;azTEy#lAH=&KS^0CSP;!_cSdsYiCz6>3ryA-=4oizlC+2IH zrNEkt-j)rB_x4l63M_gq5tGB|rJ*dFbJYCMX$aBX6ryBRz0j;;Zfaueg0Xf$REmqa zhNXR-9K!12Zs$M|=w6r=xE2(1%;fi~^pPS$_G@6OVFZ?Lx_4yVS)W;q@}MmIXiJB%Y8f#X3Hu6+REY=>sUY4Y*#&kd3GInvz~a<1A>4!6Cu5z4~(Tq ziEtk-8R67H+}X8#K12W458J3oo7Z;t4br;gsuH(*K{6oOM0g)a6%=0W-v=@R0cK_; zil0eTT;~I+9F)CYlkhGvUh!pA?(Xa~w^@kQlOK?omJ8EU(N%h4@?v3Tn)YW9$xQfs zx2TAGpr3Lb6fnH*KAvlFe&a29uOJPp?gDKR&Fyt{1!*Q*JODZqjE{cT)mOI*`02ng%nzzAn0dLhD1BOcUF-0QDwYjQ~GQ-?S1QP&=?+>;vo*y#_#h zKu((P=qjo;32i8TyqG)}do?q`F*{t8oSl&Wr9i#*liZxQ`b}H~Yent&bDh#qQ9!2^ zG2zh8W1-Vu933H^m|?6Jeb|IrYNEJAF|O~NRN!2^P}%xA_PiMzLB^$JUQ8Pr@_k<} zgTwlJiej_7`&Td{p(?jcTIZJEtKAKXM4mwqEyyxaeh{R@Uqa2*cV2Lkq6d}%RaU-S z84vsX6Kz*8&qLM)TqM3TWn9}U6;n=e91I};jq~_uh{HhWH!`tz5X1;@@9e2M2c*OS z5=0&?ca#mJ(_QRj5H0x%T)D)MZ$UoVMd%j5Eo**OmdCNJpK0w;j4Z%qB z8JR;-t7E=&_fC8R9wD=>_vLXr8w@{#W)70s>%W+tGZqam8PbxA^a-CyEy{k&3w{7~ zFTx<=wCZ@5op|(Y-8#%`!(JnLNo`V797yVnIrDwiAMv`#Pb*L4xhqE0CokKi;Bak6 zbIQbS{Ge>@4z|OQeLM5j^85yj7LQ(h^TXc?3c>(MrFHs9PR?&JW~&dZiHl(%s_JjU zAo;t1hABnYUM{z&d9lW5(z`kL*a2(-%-}xilp55%djp)rLt`Pl~ zFMG{+xsL*TJzoun)?h!hM47&Jc&n(pl)y*zs)~fGZ!M@1P2kE?%c}R*Ai?s6}f z&^>{WRmNm{q26aZRjfancIpuIWzw8RdYncykaxJoPCHp+ZE#2`#{?fr_x6#*CnP=} zOX5z`8a<~<;1Gy|;uIBfl0Yd}S2g>;X=RU_3|I2eGE5s=j(DIF{V zR0)+0>RPX>rxhKG!HNUl4`mgIp-$w}tz&e&w8ada?0Mg3I$;kTie=V%L~_~M1C!jd z6?|P{#*%cn1-`#QBi7inE4k<6e$YKVcMC3Hiy(LOXSsn$CxuZ`Q23iX{1MTTdiH~! zLo2vw^V|`9uyzHUzZV-2zp3;4Ye2Uz$rQec3GT`gK;|ekAq1U;Eyjp0Q-D% zSVNl(Hi-26V;hS)3y}P#FZ@UIDYzgI$C_i3eX<+$|NeYMQ`Dd8$+D4$DH&@II<8QYu8RdVj7p z-eO9|w7I8k#M87qJs>gT9;# zk_ESD9#YCq!Cuon;XDv}xbPapNYRZmzkDhhXGA4DhVdAGMxIBdODqtwvHR26f-Uz* z{r%CD{i#8F%G=}Y`K7Gu0*kNf_O%6@Ff+IVMj^Z(00%wW<`Lm60PlMNT%ma0RHc() zLyF^>xthj&4}&Yb$0OyrZrq&Y0~t#=#>hQszT_4+7F&FJARJ3s9+#s>QrM`hVsKs1 z>AE~S59Z?+UGs05%kojw5Ai%sZNiJ1g(tkHmk)$Hu+k04G_4rNtqsN3Hb8o{ z(Lu4wbz9Lm-5p1l<)1wZ+DmsCQuMR~RKD@b@*o>LHp8;w?EptLST+uK894P*ac%Ye z#~X~+qQa8lKth8f!|+k?z|w||lg^v!fKhi#Ikd_<{%AQu9rb`1f%11#ETx3^q?K#m z7j|1^)y#bN$lZ+VZ3eNY62@lPQPJ|jp-fOF8)I`Kd_F!Xf(RdNZSt=-c&y=?X!XD} zXb=mSR~c2M=(6e4f;?lFmZPXC`X)`)^C;>KRHmIKj9rRFrKzCr%>?eWA;dupDo4LF zHOd*RA%53yfu6VFtm+{-d~5~L;9 z=7jpk=U1nD4sSKLK2Q4gYqeTFc&hs<-G1Q;z~P5DX%oKV&g;~V5Ln@*8ZtymEnnrI zokj)FrEou9wX0&5PIcC-tZdO*`5Z7~^@(=CG}@18BXJYI>)1uGWEz|z*U^^E>|;gZ zHc>J+x5Z$I>^d&LA``t&eD}jAF(&^rIq@=*a_rhX)ib{E;&+2_=(!lT^2kW zfJ@Y^Z?q-Eh`C*KiQK~@nb8QxSj~rlP}=1rsekKpMq6bQdYg#By-C}|SYcuLlbAqj zSGJQ6wfF`;%TB2TT2iEjkn-?(05phrGg<3+NEKtscBh5;Csl6GO2CQ`7e%FqL>KmQ z`boUZ<#%QD z%WtqJ4OeRO)*KS@kQU1b%s$(?SR5#wQ>U!zvaB(e^%Cw%l(Hxo6k*(y!pr0ye zZ_{NQfJBsbXy^vfR}3pw!$Q58PT3;6{`Ao*;K^qqUxbJp$E| zD(9OAN~Q0m6lGrf33-$|;QtU(A0jPJ8a=Dh45ho++~+3{GocRuc!O!+O*j3oUYAI+ z3?c-S>#)`z; zBv}=~75Fe|Y18VnGe2~VSyj?@WQWocEa)vsnoa`SigRCSc0F4%_oP?z%F1Iq<-v0= zYKm-e!nSs>?ELpiw%qBXx;MtzaUnUHVR3m;PzZOVycAGs>H6Tl#rWfxaOf6M!e)qFw)RWwBG_2s^h&1kjCEmwz(jKUkuPV;K!fPRF6(O3#2-3e zo+k8u2vY*S>01@utETyMx9>7gWJxCW8@n|}DKc15*2I(vJ6rYfyAL)T8pef49{bh%x4w&M$f!MROvzz*(B?Sv1JCf zjop&=C_3=#mvo%iQo43c=p+@AqNs*oCgUQ%uBaiv(;$5R{ewEP-GriCbvoh#PT`j! zWt9;rc0;Y$XVhN4_R6ZI=>=+NUuOkK_(yiV#^?JP^e>2f%3mSk8CMY__?yIBmZ$J$ zpe085sO*ll?GD`sdDhy527Fe6?!d_IyD{Q14VViU$oVbX>gr8{JP!1kVlfrp9~)=XRN64#OwJYe zm3=b7*qx(*(+x#LG&|#CEQW=Z>3VvRD>1L9>LrV2AE=qQW)}IgmWQyrbD3(lO580Erbx)y83yBP`HWIqVQy~GGF%Vg|C zU;ZkrNR1Z=n7dcksD|gFqGO==CA)I`-OsBIqTUBM5_54jKP?W=>Mky4zbU`(I)4}X z%X2M-tM;CoBsD0JDA9T_;N`;BGq0Mv8R<)HeuWC_%pxV>F|`B|=koy{*P1 zTzGi`R?W+jQPHp{ph{oVSxoCoTvQiJ*J=rKU)wO%d+2EoZeHPELG+W4K87QQVi;m% zsH-EW!?lXOp^Oz?@VE^fW zFywzaARj8$XicO#bsNNZ7r38EPE8?!CHGZOtU9xTwNkDHDaKa$h~!bP$(#1COzlkl zUkM38fvSNWVIRbJ9c^w7T!fcT%S!vj$bpxk*Q=ohJx=-ce6rU=(kH3AGLYICm#VAA zAU72!#-B}7o;8grvaaqJ^-iZ_(-hD#whU!gc=3DmcRtcc0XDyHrVC zsnkVcEXM9i849yZQr71e$Kbp_xwvfG)BRBe7rh)j_nbtoF_JU~g|L@9K0{n+AqA?F zoqssk|Bf&eu3z6=Tn17y(i?z^OGuY<^n6327vv`4d)YYQ{2ao5a zVv$qaV@Wn_uVJcTmXmDlLORNs2i2nlPk9CfPuG@`bORSrCH*ml3w6o{Nu0-%t!Skh zUji~1h_sc>6)Pd-`3DSIHf*PK?=%la0JnA%^JKvrm$1#F#jCxC^c~zQirZh|D1$b3 z88tpU(gvM!36vjsJ6`akDHr6LD@J7A=KA9#U&#}S&ZC&{oQ=w>M5IE zI}JCNfuig@^w7i6P13h*F&L?Bu_Tzn0cTHe(sqICb$>6b3bGVT8_+y(NN?!{Mn;Ga z_>x8#L7{Qtv>Pak$~04}igbvnmF6`^bW%=7nd&wMm6H?JCknbQseLsYydzxM`}Ag~ zxV*aqxMF(z;n8A3bOXtwVEoV`X7aJ5ZsK5!y0t|NX^BA}r-FtxKFHF-Ax-$cI^X!W zFIZ6_(w}V`-l$@Y>HKOa+kMUeoO0E@9lHt@Z*JV&|4~9rys`q@K}W$jIv0d=(=(Op zDJjcD@ypol3NW$7()=_?1B7G;xwN0enJ~Yz%D#%#BWZH-O+LlTBA>;tj#74i<>mRx z-h%y;UtE&n{k=hDkC#)rliC696zWf`LySHM@e3}V)K@iq?vWT$?X%=a0xnL_CV1*N zjMjM%x4!J9AdHJ9D26An^rEt{WE6Iju0wDs1brxi`eM&cn3t~aZBS0(&0lCMg__Sc zVq{kV9homSw=;a&#vBITuyu*>gbMdcaps(VaW9Mi!qzL(a`5}N^V$20o=?I4ayb;H z+A{YW-`hnhD+vWcgj=?kWK?hHbLL7XV~HG{8K0SRY7aVgnc3GG>IkozJMoVlw@M7S z2I&kFWfnH+BROaJ#b#V$}*kDhEao~UvQt@wz4_tx> zFyPSYsY_5Q7()<|=t7PmgaH#wtoSp6_^bEGF~A^BI6o8gpNGks2>+jv4~~Ed3jSq- z@gWfciBL)mb}B*m-*YHFKE7&8N(^-n6&&%`B%GfgAy7R=g)xN5S> zXcU4ExP=jE& z4f!{%@IPYvJ7YME4|;1IOhDj&vkLr?HcXK37HT-`7F}>S>{gB8Z~^|mHS=ey+y;mc zfZj?DfkX&C{%rs~82v|UCa+!#z(tuJ|Noch5#fu965-oB7}+_v*r8wlxvj(hI6@KOv#~uAGtM6H+V-UC`DY+k&kWbO00IdRWA z^mAvR_L`zBv&m(1)|!4OJ7jyaTy0v{*x)ohXRVh_cek3I#VB*R-1KwT zwWhIuzG<&hwwp>Ct7UsblhrOaO!KL<)l}N8RWHfTI(hdDYi3ZM5t6?PG|R6z<%Vj9 zt)Zq)p2mx3729g=VSi_Q8@NAGv$w&MzK8GS5Ac0_KOf@5{6T(zKg196L)@JB zNmg?gxNE$gAJmvM7R{J;m3Ay)bHdvR|4Mv1u|DxY;!Sm@NG&5`Lf0^l=5ei>E0V_m zJxV|c?l`%A!ixFMzqtPi-vA!|HEzHZ{9Y&o0SE|T4|KPcZEV{wEuz$C$O7a5$~a1Y zJ8&KqhTAW$eiMYAeh3@&GfTWSuEq1Q&kTSWcHBYpu&`s`nM*Aobag78?tr()Yy3sU z#g#v!WpCw#9)WCl)V=8CESXH3Rz1JP?FI!D!PBSo4xRmca6tM8rd~t~phM8Bd9282 zbaIr(ougWemo#AMD4C;^Xdb1~q?s9i#Vlh_JVQ))pGvFHe0!42RXV-;)jg(R#xxvT zXn?h~@}pH(}YIf0lCoKnB3Dog1jbJXdy;J=`CHTVagRT9Y!hO}hVb$|)-Cz?o zYQgig75DBty!%7PNaq0s_Or&gp`*K}JD?a()SfB5KpNzTjR^pCLTnwS(3@nTXB9<% z@q$(*M3NMQx&(21}dZs(oz;CPuwi#Kbv_<&~)~uV|w$ z-hRwLEmTHDUtMQlSBvDyGkR-XhsbqWZZfVcBuIkAoq*OFp=g-9vHHI>wVPc4d=Y)jP@^+anXw49==5w&%R`uW)AzD@wXyrL4qyS*n(;DmiYsnW!R3G&~v}Pd7B&x2d7w-e$eQY}6j;WSRB*H!xco z8@Fy`?rmsjWSVpuqjtZ#n`u?Eof@5*l_y=y9{ql;hBY(mw{^0t;o;4HoBR9wH>q`| zO?u;jM>lL_`n7B)^Ss8SG4^TNneF;+mU%|4(=g=|ZQ4MTY)e_oo@Twy(93F!Osl?K zW9;7Fsnr-v+Ae*!yr7C+_sG*~EkOdw5zC2<#1ljdu}rQLF-`8OP*yyyNK|gA{J8i9 zEQmC=w=JxyC2BLGQT#)HCCmUn4+uX{g;&k8_t0h+Yq_oVf-O86NpYbRPbKhnKCYaw zf|*+UsA}L4=;_*wWgI5M1#o647zB@d2uZ6KlS;eJYkv$-kG#e{HWHz;d0)0J4^!L} z9D!-?5%5*tF@4lMT^CHlk)#cJOm^UVXcO=; z1oSChDV?=@JRXOWmU0rW93FN%VH6F8Mj~T=UnoLd`w>5hA5u>3o^F|INgq7+3a$k7 z-OQy_%nHs!9@n6Mi?;XmSd4&nNGtJKf#WzqplgZ`_Flz}g-`)2uaehJ1?CmlfDNjJ zLo;v!(8*6=Zl=xus!rp!zD_$m9`FM4XyS#7Sb6mC^f}Oc5i zE7_LX2}rt4s&C!eon-S?dS^Sk4?56}&v#(v{3RhhM_oRDGC2XO5PsyJE3;>^GqKtDJRjxa0Mif~=G`39y1Jnk(9@i8ux=-~#)IV`OA-*aJg$wAdyse1$J7h2y;N6->#&{k~w(7lkpzd*c?W z&*bi{Gl9`7cQA2AC~m91gEjhk>l|j#TcVIJb4mYy&*hrMOqt6^0U7`2GBa7`a+1q~ ztloTy%Us@_tqZ2gTn>0lz*}e|@8v)MfAmZ+&yD4-aXvo4aS;LG`~On%Tqwwa+`OT~ z2;V0~m0=rrz=Z}nz%gi%GX+PYR5?=)a@-_LK*~E&$`qe-b9D(Jnn+q;sJ(wozUP`^ ze5fFQt|^e$f5D#b@J$N}@k{)*Dv$}k0|AsgJYh1M2K9DoU`lghmyF2m5+l`1>+bxr z`Ooh^x*Uzt6E9!tTYz_AI+rO-&BiXs)rwibW%fD`jZ)^Op7u^a`oZi>JbW@ZO>bsZ zE-QG<{T=GPUHbrazL@&q%;fdA-lu0TozKsI!vdT#BzDWJ94qe%*ZfW5rtfnX7KxIEWcls2dRAk8Dg2T=M+F@>EY+8o}JXY;F zsLg2u3)=hMfh*TPz^n6AO>b6gjzl6@pRJPAv1Qbam5t@U{s!v7r5mZh(oOP6`Kzn{ z1B{{6^^>tj7PlW41cU_v#FwNT1VMjtujBLF)8{#TdYbVUsv(qTVqil}?a1?~$Lb zzehe?agUUZpxC_P(-pd}wcg_ra8#ij)-~;L*4#DLTYP}~Ij)c2uCz#4mMg_SlxA%d>&Lqy`oT;1{oLQXTa-QbQ<1FPY=e)#unez%~6=yYP9p_cfCQdeIGiL(E zn&aj^!ToBOjkknX$9r%1`r()P!L;rXONiwohmDMn8ZoME^peq+(l?KpIp$VIeC)ij zWnVue99Rh{=I<#kGne^J;OaD64*`KDq#>fSVm?)+uaHmBSQ`UDvpZxVo6%CfwL=RM zAnrn1wGw3YK8TpZKsQrS+CqaGv_`c_Pq2^PjqugGOxi_2D3nm8cIw?!`&C)eNICAb-XD=Lonw>O_oij~BvQPbE6ra|5^bT-?%WQEF7f^&B-F_tJBMfX7ntKQR_N@5a zmM-dO=ewujBZA$^E)>)mwT5!2g-Wy5=5Zv=Zov4M0tN#83au4DcEzGKMb(aK=SCoZ zie9G+C7p)j-5qv!C)H8alm|NrcIph4!)7er)c2vs?6J7X_fVMM^5tjf*N6b(?7@`n{i+tcm|!X7v{FHqK+ZC4(DW(5T6WkY;zqmc$3p>b(kPOH`BCZmyKC!I&O%T0*MLG-) zy$gsyb1)Ry9jJCuIn6~-hk22~j#>45-u?=+i7Jr2z7tjxORsD|JT&X%Uz(gchel^K z7>uN3*KWmR%b!i=ePi~;mZ&&th-(6WzS`x3=OSUvMnKLtf zc<99_^L>PiI0Mh}2CPh6;B$DK;3onN-g=WBbSm;LV*B_iomvY@sP*bSdV={LKM81U zV8NYwy@8<0(P*RYUPkTwjDd6V)Bu&@Uj8d@;Ligq1a_lKt)*#oBe`^cF~8Bb@j5#e zqhVkh*%G#josS-2N28Zce&zl2Tk69Lu}{G@v|mbE-(V#31~+LwI|hi!?5NXdZo3oB zMI+ES>eBW9I{YQ3GI4P}JDd_3wYmwIBlae+hV5j=4-2rIpcHpt|Cc=U>IVW%F|ENO zP@@{sie?H8q#+3^MmeZ|98H^sMzHg#yPP!n;IF+9YqAYWN#wqi(4aTe5ntGTQl&@I z(D47<$WD~1*(KB2G-}t5XI2e$G%>BzWOkduZVOTwKa7#5kTk_)VjS-Le{gsbjbg{6 zO`qM0pE^N#WQjr_-du~#9woxp`S#|(Ijhh2mf3vPOkmN9dbD!lkwA$f^pXO#HG< zoTpFDH4wVGUz`T}*xe-mfti{>*+jKp!NMMby$~`*Os#Yn2*-VOmz%1=QbS2CU%Trk!UL0&37ungf~PgGS;Z-@lj@F6Pbi7wj^{OzyU)NAbpD8=?nywpsp!3 z?@?d{YZ-*3i_6Smz804tBm^XX2U=;wtt`IpQFVj#WFV~-%w|{ElemVm@j_T>Zyi>u zS{*5zwUgzst1xl+57KSmjy$PJp|_H#H#LsA@ZEuL$8*NlF;6iA0%y`TQKoUdfu;75EH68lr0jXms+sEATmSbLvHQD#@Pv*Pi-w=zsEm)NtGy$qYlg zxfvo5H$}mkJ|)^}jAmjMMT2UP)*1#UAhTk*@L&QtY(e5Ya`49=MHAC*?#tPxY%JDG zDb;pE9Vm!}e<;1$f8gup!KRh8R&6BfcNXO30#Q-zJ=y9wVM|c91U|V6r)kd(3tW%94gFtCxiI6MhY@?hB&p~^Pi2RZ7X!G@foru+VY86tINJp+>Jp!#rCYMz=YVu2R zfG8+zyZpO$G%S99fI58RcrXdX`{5TF47Ao{q%s(%I*D5QJBRX+?kgVi3Nv0%sH+o! zj1WiF&9S{rM=mZ3zsCNCrC5@so;mk4dKfMG@SA|6(W}wXv_?ZNdXgOpH9#yYIr{dG z31|P&6Uk#Za~+{uMc8*w;%wmSX9`nja=$Ohy>c6Uahu0~Ji$3uKeBU2aRXspHe zV|9+tK29=!f+Y9$4Ib0Z@CCLY*ugvmtF*eh+CVB2#T}dR;2vflWhbyx9)ExB$A^34 zoqH+SQ~ZWptyoyRvmgi4Z96EfHMUltvjqY~OSNB))4XuqP17m#)P)1$NL*e~uJBhS+7rnH$>!X(3k*uV3a{C=1H#|`wHJ}W`}EN@7)a^!JM(q{A=mq3 zac9^aqdW<3!rSIc@D)N zwfS5v5FA3Jv_f1W?2(*1heoDQMko0f^aJ1Owcu1r{C-={I+nMJrRoRE@R_YaC)s-D z#M@_pXmu+}8fctca2bEcq&?IhNTR$WT=dC*2j_0{(0c>31ZIoXkB4SAxK;9JHME4( znCeYXMbrntcLcN=Ev=&)Np|wx^L%{`7CxG&^C@BpegC6v> z8jnd24aD*@B}Z;|pjqbofa?#te=Id9t*GBO|+E%{}n_R{)T z9^`DZKt;C6n+=y#QNuebcpVfC z!d%HN*;bs%@?nEp+SO%?wL+3;t?^ZrmrHl9d#B(wTHTlVDg+yUuO$RgIAM$xV=~OY zPX;vQDvx;{%@gS5jY8T~U7G*e8X#7{yUk~lmy>^>ToIgvnurrSySGf=!A`3EpUrLg zxc2}CBjjqRlxnKfQtCC9gmMt$m(uO~O4=)XG<)GZba!{{iLJUo`|woSBH=C~))P1b zR>EKZlkaS+UN_`_JMp&v8F zW;Rxc#1#sU#;GGi^^pq5Cw8pF$$0bvxDq}&^4LMLq z%=n<>k7(ihsP|(sLmpw4c|1NOj-;_Uo)P4z;q&br&b{;%k>uQaqe%6=(fB*LE!;`T`7Pmbt1X2b8G?$Pv1Tr43UApG0Ysga4R)~+62ni&FK!`n{J@JAxUg3=m zJD1=x1Qma3!EhXJIaQD0!vhY-Tc>;M_0s!>4Ktp@jdqKH8jPo{=>FRct7g<_3#!o# z=CrnBj$H03#LyJFe-ZsYR6_?2*3eW7(T-ubt)-q1?Kd;lWhQIefqLQKKFo^a)V#84 zxA%72?Z*b(lYV}Dbj-(gj&!j-{r!DM*kg8kKYM@5#qr}K&I#7x^o?;Yr_bD6WiPl# z#yOv#?Rx0@e*qw5GOjQhsecQ`M{U*j&ZXWSD$_MFqjv5&~Q zyG%Py?B94)8*sZOr+ggGI^35ye!@IxIP>l>hP{lviXGp3AgqWhmLAKWl^39F{8q+| zp-O*K>n-gIC;+9m+=Z%z5h5P3P0T<%r!J>8l-AFxYeYH#(`YwF3Lrxy5|*OZAx!yK zp^(ccN)A<@-~Ex0rWM662NVIO!DHT&d#YKw$mxs5jG4tjjb1A>3zv#IN7uM$q`Xbzx0aGb(@e z75T^4kv>n=OD$e`)8oe#q>uK~|xv9lQ64u;P*41IkH?0dR{cSY$peX(ihhY^htY4cp3g-DasI zmuxpPdo}~iN2C|b5i@Om87LbM%lLm!`m+rc$#~Ej&w#p-NX7En8c>-vD6Y&e&N8FG zMK1#ngE1Z|r|FK602BTctlszxf*VZdE+R&&FIF4RS81SLx%m0L{6apFXC4@R#QMSx ztN^u>gko|oKF9DLnYZ!4E4=x@9@UgPNq2ZAHIFSQnwm-2+9*Lp4qlFk%v3|~xhfDJ zkHS2NRP`C%I;bDk&+7C;y?q-s2U5n+l0Ka!s~;>qff}v;4>7DpKZ#D(8qxj}P3U+H zou_G)ZvF>eWX+d>{{j}bNHzrg1b?asN;=i9I?2}V9#Q1sV=bsfagT1RRw}-_iij8! zkY^GWBA~$_Bz$CezXS=7s2K58v{sLgDqG!l>#1&aD_UvwbkS<-tKv8DQrQW1+ugH0 z``^x;bI;88&He80{=V=2?$DHc5Jl7U(AnN=*@QU@7l(#;4Rgg&lsK9e$A1hGd6_su zK89NG);mLawGYdG?Z@AY>gR{O(9dW1DaKF~9pLBfR}7bWDn#lAYyG{3VZ$hvrrErL zs+tC;DI7Fb(*=U zDJIQZamiZEz(RroDDRaw&<|MVq$a0jn6w7X!qjzIL&}PT=mcGIT$DaxUR-i=ob=TQ zIm5m*c3i-O;E>Qslc!D#pFVSCOzb9UH9!~B4$4BwsTZihln*tG8h=jtQ!463>LqF< zHHsQd@zf0Jb!rQ>nHH##60Ov7>KZ+V{)T=w=%Or8Rv^15A0oHQFDVu%?la9wMma;- zpzK!mvA<%&Su5M+QGi=~wwK1yUt{-9nRwDOgX`O#)XH3OSaj;XCZ*19d7U>VG5drr zcoz;q5A3&r&scY&GJgC5%63QjG5!&QW1%Uko{VB$jISpME~0d&eNG>4`_zR! zu20)!B6`BOz7H5H2~oHh$01=yd39OEU!W3LyvJ0-StzrXTZDASS}8=|`M&L(_%Ty~ z(-j8B7E_dN&E0BQ4jI6b2aFk(Kz^0A*1p?*gf%dt8CyBS3V+gb(m-apPGZjrFNXDS zSbXB9J*pitk;SWAWfhcw14;`^Z6z#;!{Z9fW^g8)&^3`s(v+!~q3Aos80}zEqk}vn zTS%)S&jNO^v6d>>#*3$zU1*Wun91~cX(UvF(l#)U`}-DA-tx#zcizV--57pfCXU5X z90u2*>^3}r?|%u?Ljr5qPUT*xyTiA;8J#T{)=Di1bb=?sXKYft@(yg$tD}`5omr5hCOSs)D=>oD_S}@KCR3O$Jgg{o2sKc`R&S}aWZO1bYxJ5Cf&T(K6&Ur)J~A5b zas&9H27luDiX(~8^fcN@-}_L8Uy^(d1aNF@Aj8pr1HKJ75is%~Mxq}MudR`)L14=Z zg{^s^^N1>nUqJ?KCNh`?GpotaGemKY_}zH33fQs|p&frQFn{8|Y4boKZ7nG*tNO>Ms5;A^#6ePh zz?ZDAXZveS_9 zrxP0Mcqz|6g6tGW$iz22tGLoyF9ids$Susvv+?AcXOW76O&}p1V6v{Hs!H&V%xLzE zY=5TT?Z%33nYacoad55Rn*MUk-LU#NSOk&jYlAk-Etm<@VOB}#p@{dwFJ&GF_B4Fn zbmY#S3#DCfl_ffIiCYIzF7sW>Ik+Y5>A%AHiqnlaGHd`gN$Hego!Y_nZBy!On?v~x zUPZbI9a6gq`v&&I24$$N`heOS>Iy!7{J`yh;xWed7+fk!C8FvI*ZW9;A;_OQ4fk1O zLaz~DqL>{#Df$Em4f|>i?J)1qTkTL}<6AyCec(f2d)^BVoBqy>B@5ML2}x8~ynj+) zWL1wvrKAIqk`5Fk=f~#dY;HTT3UYY&@$pN=(#DeYi2c^)vNavxSQc1yFbmDV%(4$ z8*=*%q|vvh=OHgm4c8ZRjcs}k5eI#T3z~66xBrQIE8Up&wM5SoaVf@dI3(;op;oTR z*6Vm&u5@l~&)*|yv){#@+A>>devwqa1?tQ#f6V*?#6wK^swS&omndQLz<-*pCdZX# zu-273gt8L8y8giFFW?loVk*q_>mBRh9ai-e^svYnXI!^FJq99S@dq2v3PnOuHL&ds zuGZF#uEbn@e$3Ph<58|wJwf*2T~v9Knb9PEa)s`6-MJ+b)5Kn`(z|V&SW?IkU$EB} zHcAITB3UaPDMEea$F()(Wq(~zE5VLuEZH*%osk$yMkNw8{6@mL`sh)3zluMpgfqgK ziqj=6bvKTD#QNfH=*84t`bMt|mx#Vxo3S+|#b``PX*IUBwYIkLq)Yx^Hfa=D+Jv*b zBmHmmW;IJZKKSL~s@qw8G7eH<=KR_D)&U*JmyV(8&#occX1}~tZ+}ipPj5)uU+RG3 zV!ph%+EG#NRRw(6E6tKFPn3D);5F_i1@621vyzH;$TIFHx$gVsXF>HM6gr*;cF;Ju zLxvSZ;5x=X4g9u)jCq!${5S6q$vfGzg(G9)zkL=sJ|4#~l2<&}OMf-MNFTS;v?Dno zGu4pRlD>PdbC=627k}bsw^zUK-;Fn5gIl*ATS_rVrmTv zGBP4GJ+bm$Cl>J-3@g1il7;SxggA6n#U>bP5FoZTwJPM+ix)1`EVg za7nZ-iHZt}U^Kz8j(}1Mb+DossY}G(h$0bfL=hJdFmXdGi3tj#lBiL{B}ODD>WBM> zzNt@BXS_E#Irn_rbI)avHViQgW096|}7DM*E)Q;?LQm|yO46p2y=Z=O*oNu?Q6 zrg%J_WWl*P+2t;nWtq%-iljn5Tih&vy0?hy`T4FAiC-c(MPAL2Y(f7^P(c;!E@x@E zB)a)b*Lu-iqNrMHN@^NHu_z9WMq^O8@&}ZIIvE{P5f&Njhk*Ppz>t+cH9;Xb-S{^; zzmH-6S~DZj$SCZE*M|CP^%RnF;5z zPtthq8XFy)QGOv9c7b{IjXeLRk-v}u<5M8b)KC3Do9%OeHW5GZ18Ew-ir8n|0JdZ9 z?>lb$`e9Jo> zazb#Fv9%gD;<<~c20XxR%Wq(RPs4+n-m~1FY9&Y21iUJr?LIgHy-JTj_x~KLbQ7Sy z&7^MoM21Pk^8oXK=t=W0jXX?pi~?J|)tkB9yL+z7F*V$Sqn|HnmWRNy}Nwi+rv3! zQK$Z>;}(e`xcvvwcV1?Qj*v8aPbhm16T_AE7tq5ECf%oTG{&5pvgY#6ljmDbT|B+BrJxpH z?;NQ)1>8W_h6P!oHDRwn$>rPUEAv$;4VB!sBX9yomp94w22xUA+r-j!M|C(tYdeHc z$e_n_LlJm?C=#cIaBRq6P&ghNGDQ6YjT~oMld(q^x2jGAu>^mAOcQ4q{;mgi2bN#X zIuqx2CtD&+g$hKbOg7SlB@>9s5cda5D&E>U;8=UuX=nveMtMPq3Ic-_TC@lbBs0?y z5*$llYRqJgp=KtAErvJ~6V!cI4%b~5|J(P+llOU&?|t9z`5p>I=nzFw`ke6Dx6zcp zCo{}*m9%PYL1^a8q-sZ#x#>udDw2VSY;upG+EfPZCmChAw7G*)7@0n*^s#whDVhhiE?} z9uRV+3Rx&Hmy1I94JpZp)mA{}FoXq@R9;yni*_MjIw0CBG&O4V##G~$wDj#e5UN3X z6ps?nO7t39h1MdBqBUDkF)Bk>(IWK;HKbdkyP%t=-wN)95#`wkMbaPBK`NMKSiWxY zGk2S7t^9v-Cu{T6WMhYgX#x`2G76W0tZ3+J1pS*MR(3OVT;!Fn*}vn*{?t@OAXpC`#!{2`ozD}$SP*3(Q6?&-|<$YSI4Hg?( z&q50{bKS1fwMXiYy6f>W_s=_#^+(}L@Nh>u>)N_o&vvwiZ#n}(E_KpEz@mleX(DkaFTo&?l?{FWIW4jq!cK>qJtR+FER0Y$UXZ#c zw9-sIG}xGis@h%d+PV|j;L>)_W1cSz2d00=W~XjnhsPX=SwE|;QsXl-QulpV-{v3a z9_cwgT#N^Q`MGZlxTh04wrAw$erDm-6Y84|ERA5SpwH5O#5LfO@z{ zq`zr$j?5eG{a7TZ@up9Am!`K*nfbBi_KVQV4LN*el5}MM=4S;YhVXwaJiWK`o~nQI z;pd~Hzrj!3edCl$tMt~QEL-0f7Y4n)z<{&2tQikqx!ryVxT`m+GR&@$&&&9OqU8Cw z!S3-ueIw_o^VGP`KsO&t=76xIgs{{z!qP-iq71{5ufi%z71n?}Fs${%>g|aCXsW|L(%wfXa!CR;TFAKEAi@(KIUJbbpR=ou}2n{uvY{P z0W!C~R|FIVf3FnFG81-Qf-(Y5DYc*l1=*BM@QCFgi!G#WXhYj1WNF%TNt!gxaGme7D0a54R;EeZ$o66jmLR-(woHOqwZ@d5f|L_0r z_y6}NiD3x@Ns`G+xMR~Fm#xj*^mH2cWgR<-U?-F8f0P84;j!a}G2g7_HR0pIh=eJ` z+H)U2#)wAH%#9FpXWIj2^wP!ru zI84Nk{!hyk#Y(M4suHhNg;FZd(H0d+e>KvbT3LytNGi{js-)YCq@`+Yj#{cI zlB(5sNK&L!VOdrGN2N-dE6tOtB`TFd7xyOqq*camc{y0$cFm*b!EyYOqrlD;NsFa& zO|e9&)+n@cSqWB)4VTK)8vI!%DJqg^u=i4pLWwP6fO)c9ZIMKUMHO|xTjCu2)dtuSqbz9!Z z-nwmj{th`7QIUYqkWSJ?x=9b|C4FQa=_dnZJsBh$$VRe>Xdriy%|t4ZPPUM(WE&YG z!^9gzHjzavBsz$x93h@0mJ?>8lcY!$e|bG2H6f62pI5;9X;>*gonO!IrKV9Ts-5~$ z@H+vdJ7}1=GO;1?)^PFgNYe5oc~WQ6#b_(kN64>P$cs*gdSOc|2!+akUKBe_>C1pl z*9uxh$?yQ&^e^(8fAQdY=oWUW+vRe#S}t!_cXqb7cQVPWtv3QML`Z!7Ai`r`f5k$- zq~CZP5p&ZYpL$~sB>s8x#xD%ofKr8XS6se!?bFNOeEr#qXP$X+#XJ!=ISlWH$X<5b z|D2i}ZS9W0RPIOiMrZM&OW6g&mbOP&@AP90fo2i=U2J^67p2_DZK_=N&=%iLW=?YJeG- zd^JrLntcy7@*8VhzzyhNAP@{#eR{tr7J?2w>x=37@s@xJQLLM)C>iuDe>cL~9(iT^ ztyhcCWHc7dMROs(!$tq$RT|<$8cxI~cTbCJ3qxlFy8EHCG;|5!a|f?~c_ z?xuYvTGO+neNGFVe7}ODe`N3d;k@V z@=r8)+%8ZD>MU-%b88EF>^&)5U~6!=^?)`TfWaPEb9ALBRNPtcr$V}~oGR;IlU9y) zXhS%9BSd0jJh+EFEo_(WSL`jlkaeNj1?UD4^fx=4+B(sSw!Ci5f8LE}4Ify#9A2x( z0!+YRu^Tjq_u@j7P*hQC2S87ofw94TK6vCDb7*hJf!%M?eOZDsP!ek|X+oU6 z_ou=Mk5-{f)HjlnbZ^|ZV^?=`&%PsX(b17q>i|Q)rB0qW{ViyugH^y{#!Rp>B~rzP z)$5kOvQqhah2G+Df7tDI2e1JIUP-a_BDcFs&D%#ixeEvG%_b}nZ`_Fvx z{-+l%b)4SS;&VD(E|(LN(Z!t(7j1L#?M{cY)Q2WTrr*l^f5jMbI4c2dsRG8TQ*(RX z;QWbaL>tG;0UWT7z>xp&ZX#htSDoc6O_2lj?SG<%UcAb(SR zM7_SSSf$g^$Q;{?s1O{W8;VF*PH7NRThKM%FIJbJ~~IugGzpFQ*EFM(AD_Bf%R32psVi*zPHkA zY6MNd6ZF*6D4k6c!o3tm%<{1T5P=cyN3vUSdACKM6dtm<3z=BbU=3v{6hZ9ZJ7iHL zMhzKHf1VX#XC55{g%6`*8rUWC0DdNgl@5T`v3Ur7ZMyNM182BxuhhO9#ul{|Ua+na7j z$A!rIE3WfcA=@kLKx2=g9p@0eds|Rj4?H-wf32-oubh7W@|QGJKtI3o*?go0C=n=~ zJKajB(IYy2+qSNLZ{w^{9c&8A5Oz0K8Hq~g^SLz z)n`e_zs?%3^PqaauoM`9s={2WE(Zp>#tXd6CEF3x-GWb5pQ-+e8J+m!y(3<$ySBQ- zY%CXPD(p42Rh79VHYHdEvYXMg9=N0jf6Cz!04+3}yaXno>1Z3OMpBeF^`qw@?dwYo)%rrjp6gNF3FGetPxgdvG+~V_t_Z!7*2-qX{!|5I-eDwEEShGBgixIj4=V z=WvSoxiCBUFrNCLMf3S_Q zaK>dgo#7OQ+1|*Y!cjt)f@WPrqj8GPcnM8sV!XlX4SyBDr(j0c7so#`$<8o;*$iF= zN*eVIsqb-xSGgwU6c4iO=R$Lf#bd(DVym%K(#RF-gx zhFAwbP{NTazN_ORWoZ!oMjiVTe|uKwYjko69W(`u)s~uy8U`6+`w&*ZH@BHxHGnpn zOhzu94LF@+AMpKppEUp)fxFJvL?^QlgyDJIoN*!Ku`Rgt4`$Fpc#IlIjlKlIKnB5M z0&bUdhuQ7ztPF3IMVEN6o9z>V$i9yuS?6_nJiv#W7GRv7wsDDrL8Stae+LS4cNEB_ zcCDk!#s$0XSi9DeNi<%j*^Xul97G0PoWeAr*vKS-2lk5lR$-+?_8YvZmi8ZNyu^ zkKgrNbuth`dIxkx4!zZRf7rF#*$)}Sjji%*={EM*g8jBIq@$o~%i-LE%j;$FEx{NE zF8avYQ`orCZR$skA!YgXU4`M2&g%W<`I`JJu#U$4F@|(M6Ne}X_Y!lW*@N`_b?y+B z#G!L?@m}{2s6>d%Zgu0p($_YK(D(Nj^DQm5x~hRS^%}U&>;GueDb?-KMYye-6cjMS zhh=yP;=zbSX7PjJ_@9LT%-9DbMm)Sf_HV5EBWIJbM;5nwXau4OeDiVyE7#-Ue+Q=~Dbg(~3Qn`4K={$+d}hmX zIXocrMH_wXwHi6fMqpmC;xc31LLOwe>Gbc&M z{gTueRJEiY>x&wwChSAU0)dnDs8Nyvs7=9oEG!S8kZeS;A{+M7k9yQ_3>!&Q(;77l z?NmcUB9ZXRO5CsNeW!i(C=oNF=n{@&{VtB64t2ml=Vb+>f8B%pK9HBZ%iScXD%zld zbrez~SRc^zn1b!jA$0>tKqGM4UjawKO<26WLiNv(Hf>Ehw+pCVKEFT~7d4U+{{#wC z8d22+GB3K#b01%t#tXPk-#O`yiOVM@rk|5J{=@Cp%B@U)dQ@QkopvtwfIKAQd}=8> zG5u(2_OamJf3{e~Ds5Rc@hYSpo95q5r@1^~i}hSTEkz2QVBX&{VyfA}r$ zj=$MD^Qw?l&lU-ntzz3Hwgs={a{ZsB{{Rp0<6)PPcLW!=U~~lP1b6Gs%CvGHaB z#|^2>qcpoK$|Hf)UJMeXMYVzjf|jHTX;sly3YHlWgV$@;iw$`=b|RdFi4z<*iDDy# zHmEB3M1a&b{6XbkTGT&O_;dL|LX^A9fWkULsQv5FoHLqp@965xV6?)9Fvhj57WTL9 z2()z`+fy|sAPlKDEzUSaRALP}`kytspvi;Zc|HcgK=YZ}FVh z(SQ)%_D)rOYb-^ZEU_P|uNqPvs==7gWT%SXFUayPk1YEFYV5ogKH05HjiDxKXG_bT zX2~bZEmEsOv~VaGmD+-OH&KGRb%;ovYA8(f^HSr!Ze5RkMjIM`pD7fw5}Gui1r%J-+!{UdZV-!H;XuQodJsfkR97U`ww@j`xz<|a!# zJ8aas;U>p6vx>v@;$!x18TOTpcp1ZnigCSShuH=9Ihvxe-pmE9hxYT?iIKeU$LP<4 z|AZe$?|7pR|6V4e5 z>s{8ReR-ef<$bQ6&zF}%789Z<$~H`9WaOg9>%BQL&`j+<2g~4J4gAB`z#YR4oNTjpAw++jX>0n~cH*d?nCb1QX3%jG zStyFh=2zYB%PzOO-xG_AiO@t)dr-yX_wLez2M+qz-|+7c>0Uwjg-7y@Yhq} zn+-$FOQ&t&n$mdjcIMvP>Q7zDYffF-nId}1bnTx#4cANNht?@MNzG_3-@+l}F=@+= z8ErC?YuNO)q!)x01nM$8nOXb$p!DiFVWEL1SMVz^`$V(^RFx(k-B`bO^Ojup8>g0JI9NgW6szaF=0KgvHC$W&2fH~iM$S8ZP{+e(-He+D+%K&Q;mqZd zvr>Dh&w2MWTmuu#o z`_hH8D?I0^&%ZMLe-}#@$&F=yah%zPZ^-4;{rr5BOa)$Efg#ZFqgvZkKq2#T20{OtewdkbYu=f|}bdf0byUaXaVZGZOn zMe$<0xn74$X9zF-X&P16ZML%grA16zNr=Fr&#yasUA6Vh7yMbX(aBcead*Ii#gdBJ zs?Ld4>>s{8cV>>d+rsh0zgKAM1{Iw{FD7bTK4bjnkD=A{>*nurBpkZ)5~eDMJT@!{ z%?$i(v10+l<|Grjd28z#bx(RO2ZuvW4>%kudssfP)|)hWZs^F)^veqL%PK6a3(QK) zO!6!AON!$Rm~^qHapUa9&WVQ4Zs|9^v%NpPCjI}u3jW7uZSSWuMjC%N_;2&YIIyJj z_Y$6+`?GRp=B|zWRKNCyvHG^PQ-7~Kv~6Ggqo|+z&)I)^k1`djYsn(*5!L=1Mh~!^P3qt&0AmcuzzXr ze(iHr=+aGLX ziRY`gK$EjDFfug65Hm40#}Koyz*J{pilNTX*aSnJk&!uY-WUYp;Eu8|GQ+gk$lMUB z5TVZ4z}ytwF~$a_7?v0tTN-YcImq&fu^u!_4FYgOEX_=f(G9UQGc&;qDN748484|S zM(ASZMwS?276z6OM{Vyt%)-Q!lA2;^V31;%WNc_`o|u|snUrE=W|5R)nPO;QWM*cb oXs2L9SV=4|mz^CiS8+*VQAtHnY8o#W(C?O}=Db|0s;>TS0A=oZ?f?J) delta 17977 zcmV(}K+wPQixcyU6M%#PgaWh!-`)#|iW0P7f>AGtM5&kR-UC`Dlq_Cbyzcp>IdRW= z^>H zTSHBqJdGF6Dzeqw!~V|rHgJEWW^aRy@n$GCrtJ>7%K5E59jLZBn(C}AGq@Gq&uu0+ zqr-MOo7ZTCSt+yUm=+tjvST12VOkOjyAlyQ`Q zcHlfJ2)AEc^Ck#A{SY?lXO?(vT#M&ppBVr%?6`yGVL`{hGnZOG=;~BF-2rcp*Z7Ny zi>rP{%iqcgJp$SAsC&`NSu&Y6uYP`u+YJgRf~QaE9Xk8@;DGcGOudK}K!>1Lb6Jtm z=;SDmJ4dw`FKNKiQ8Gs-(L73}Ni#Elide>;c!rqpK9yFX`Sv84t8{wxt9wktjA=Nw z&;aXd1S42YW&x#oyLzY&cl( zUhC)H0oJGw1XOfz8os2w2%k4X zg#V#(`Bt?7j>82^J9Vfx01#%_eVqXke+g&cGXan3lrt~B*LrZ*vAnll1EIs)<#G2a zeTot1Z-uRKwybC=Y`~SaTo(*NFg{qF z(7s;*k6SY5o5;AHYIf0lC#?Wl1=R5|jo?yhd#Cz?O7Ml-2V46)h5M?1!>Z@ry1^!F z)Pm<}EAHKQc=v~nk}QQ}Lq~T{cR(?os6A79fi%bw8xsKPgxGpYp*P7w&nk+4 z;svkJ5rXic0Q85XtAF@68ppBb6HGsXD*;ys`l%m_H(wqR9|*?B`nq;X5pT8{;yZY~ zZ!rq1F>Ny%*?^B#U=-9MPzz70$(V@~=kcLSnEYqt0>MB4dgA+SYh!b*NIqZjrUKGX z5&4!=WG9_+&f_q zQzlK6&_in|c^PrO`0TT0^uyo~yZHgh@4xV?-=hYL(Dx^d{2WicjVt=`alkxD)|KDg zZX1s-9OloBtCz>MQx&(21}dNo(ozUYw(xmbp@{ zPY~qV8%w%zm8`@DS*lj7E;(+#iKrq;G%^;RNH;ca+1%K8Z;RewHfj%cvCM`88<~5W znzn9Y?rm&rVw!atqxOKhhiOx@T^gO5l_%ZIKK%i$hBY%Aws*0t;h~0qhJk^B&1#)# zv)*{{;f)G)(zKn>P|Ad%CP;Pm5k>=wmfTrcK|W zG4>qj(rOGQZMVKhUQk7^+qPS+B}gDSVkNPOc#LQzR>*ZCX2?Ai%8Ex7iOPE_KP`R< ziz1Ef?Tf2xiQ0^46#rCz3A4a20K)fI;nj2O-L%=oT5hX--xeN=q_|LurxJJvA6HIV z!AvcEQZ;xO^mJ{;G67TJ0yr}i41vczjHFwZl1jVIYkve#ue`=SJ{qC3d0)0J57XQ< z9EBP0QSeo-pE>59sSBpzXwn9~COh!Gw260c5QQM{{urt$UX|2;1@YSg`CDin+rBg?eztfT<+kZzyZmViKl4+uUwIy)Oq z0=kS>NoVaIkH_JprJTeoM@HOE7(>IM(a5;p7m832shzPfs{_uK;K=nVd`x2Sx&P zcd|XT3y^f1RNuC>C&}im^sWx}1?WUOzu1YH^B08lJazGZ=+pv4P8{0GxC-kMR_+!p8utK4mTkV^*&kbntK%!6vgcImkcZpJkvo+>DC zE~bLJ_CIUr8g(btgSS{Y4NwyB);yy z0Y$MvyhG)G4!8rr1D{XCLU`N1m*&o7XJd2m1wP8f0cIdJ!n--7b@f0WpxvCZpY;vY znVm8ux=-~#)oV{~+A!~?^2wA3ywevL0Gg*SNNYnYaU`+dQnFAC#`_r@($ zzscQKX9A;F?qK4KP~2XKta!TcVIJb4g!+<8sYXrp)ETfQ;9;%uJQJoZ|8z zt2bZbGM9H}>w>8=mxCS?@D|$0dpQumA3YPybK|)yoR1H1TtqClDrd?;j+=r>NO>nqnd0+qt}Y=&6G;mUcMOcn_gqtq z4;RFLH3jnOuh{cFzF|=zeuckL1v25cA%K!cCQWA3kls!WPHRr=krBCFVx)R$-5p=G z{Pn{p7o$;n^2H1Ni|`K2T1W?C{?Od- zvA2YDZ~~I(+$-xWg7&|A@Y2-}@hy3(rY|eDL?RKa&sIt5*b3_U%BJ#Pe;xI}^7T|;`38BU{MFU} z12oXp6_c??7PlW41cU_vz?Y;P1VMj#ujBLF)8{#TdYbACc!kO2FcZ1Vq+txnV;&t&-g=oAz}NlsVUsv(quwzjl}?bi?vtNv zxKBP@ai5fppxC_S)-pd}wcg_ra8#ij)-~;L*4#DLTYP}~IjVb)Mj zvuAP!uen3_p(o2lWn!6BD9Hp`E7~oW=N$wce=SFc#HolshUr<=Qr=(n5DXZde zfotYkxK_>>&Lqy`oT;1{oLQXTa-QPM=Pcu_;JnCriSsgNHD?WHJ?9n9W==L|3ugkx zn&aj^!ToZWjklCn$9s49hT&KE!L;rXONkXDhmDMn8ZoME^wQCn)3=P7Ip%goeC+(O zWnVoc99RV@=I<#kGmrUJ;OaD64+DWFq#>fSVgXg9uaHmBSQ`UDvpZxVo6$19wL=RM zAnrk0wGw3YK8TpZKsQrS+CqaGv_`c_Pq2^Pi}2OEP1?mkD3nm8cIw?!`!!p8<_(wV z9t0$R>rd#~bsp1;CJXw%*pD6qFX2~#z8;J+Em^Z_&$`@KO+or1?XLU!g}0{z!A@r< zvy<4YCoevWi2gqve&aM1Uv@&(0mRwVv8WIKsggG6XsTXVs#8HdC_sC6Ser_Y~wik&o#oij~BvUC42icf1jdIz|{Wwtnoizvd6?l_wBAqF-J&AW?!dro|Q zYZrB_^PMyBA;E5A7YXW&T0=S1LZw-2^Ei@bH(-2B0Rw@4h1LlmyJGR$qH0IAa}yAM zMX%9?l1{^k?hd=Vlj^8y%7a}5J9P%jVKbI&?)$)F_E_BHyC}?W`QlUbYeWEX?oi1( zDq~;=o0DX2CAk9=8B*Z&TCLzD+*)U&hBh`dkgT3H^K;Os#@3Sam2c*@{5udU#GC7t zez5s1cBh5%?QQo2VJ{q-A1G_hwkwZ+umXbhvLU{<(MW@i(6}@%r`76mlhMfWQ_(2# z=Ue=yU{6n=DYUKYi36*;He9D$fVkLkGBh|w6|L7ADYZykUjv(AK2k}q6B$fOehMuc z#5dyX3?5ZZF;b3ne0l6vdH5F<|A>Au_a28iB&Bpn8a z-UURUIT(uU2~@kNoaQ2^!@S5~$E0(h+XZWgWmh*M9-4LPFHKIJL!&bq z3`SD2dyir==Js|d4CDtD3223Q=-8!wL~lsowMOh65Cgj@VyM#@O$GQ|In>yQ4Aei! zilt}-7ZoOXsIW-@o7JmdT#ZkEG=iScy0nhK$2ZaFw<`N~?5V6MEs0m`BU_r9%$XVA zKlDPB`7XjmoPlR}16C$3@HsqA@DqUsZ@ozmIu&^jv3-1%POSwc)Oz(EJ;8j3p9Hiv zu;5O;-at_0XtYuHuAp{)#=v=bYJf^{ul$ua@aKV*0=v z(J-)$YzbS%EMTn;0qpl<$ZysnATts zs8J1RMKgs4(vSodqa0L!j;2jRBiIGhJx-c@@Yi05HQ5HGB=SH?XwVz#h|g_5s?sBA zX!w6_Vkb(~?9%CM8nt`p)2oL%nwVB(`-IxCa`ElJzBeehT4;BD9V(;9*~$N z=5h4eIiBv&9&P>FlFN(cjO3;VNHUk1X##_bwt^WfW^=rWxO;_|T=plbM=8*+jKp#ljwfeGoE5Os#Yn2*(3;mz%1=QbS2CUf=>%Trk!UL0&37ungf~PgGS;Z-@lj@F6Pbjowj^{Oz(GS2AbpD8=?nywpsp!3 z?^R$0YZ-*3i_6Smz7m%pBm^XXpS045TUqkJqv{6f$v|2wn9Z)RCvhER|7|p~iiU!pntu+izKxV~q;lTuQ*n-3bI#3Xc{!n_Y|KL~6gH0=Gt=dS|?<&a41)`$bd#crO(w3lX34D$Re6Uy4Q5_Zg zWiD)tVJthNQ{4Vfc>`O2m@5KLPt)F;7Q!AhN3kHQsS*$x_TXj7wUxoZ^XXIccqmH0 z$xZc{LUnjtdXwH{sC#)CdrDcliG73}x%F8fURu%pb&Ivd5vT4j0!&(q>jn@ZKg4WC zkMfsD`+t$ssdwvSgzTw}Yz<$X2O5wQ>_dNBiqa8@CZOTy(JnH7gSr18ZT!cFJZ2#? zPEgfV-1a)2&?D@>;W+X5Z{AsX>(tTCo`Y0){aJMzq@Xp{+!^cfp8*@;SAwzLWDsjf z)$7$827%JX5+PU0*+w}NomV!r8#r&lIN6H#IxP_xtG zXuRu)tKA-pMO!eP5)fA9DUF5L{bixLc%mbI;K;Vtt-H2KUK5k@0?p1UmLL|T$p=~O z$Ln=1&7@ny-mA>g%M{PQj@Q2us(pw2))Y91m?9_@mq~>?`znsV-TQ9LN2V^u(O8S` zhw2=kew1W?1WE3ln>?nS;R|d*u!DIBR%vy0wSiP5iaWO8!9C1A%1&UXJpSIgkB;=l zJNHqtx%`G)tyoyRs~`u{Z3if=HMUltvjqY~OSNB))4Xu~Ez@Z<_u|bn0kRxz7vOcE z74o9o*DG)?+*1qP*Fh1YERLE-QJ+Kb5G1N!J145akAU3t5Kkn8=i zxHIgIQJ#c1;caubq&~O#tRAZmJVamqfz2~^uoD%^09XTNyVpv#-Re#4$6D^zh^4wZ z$y!{0PU#R-jAp1J_!22_f?ka)3Mr%FaysrD?QQKOTlA0l0>#SgS2o~mp|UjC z+I+4S2o51qS|KhG_DIg3MH$3wFl+$#Aq8d^eX zO!X$HBI*O+I|^Ejme$dYBs=-u1-`xp3m;9?`4q8)KN5407TX(Wg)MMJdqxUdKo5Fa zjmM;i24cn8lB0Jz&@A%4p!P25=$%6?|k*8DP3dwD}F z4{|_Ss+7tK>NjEweLx6n!bt|tg^%?B(dLwis~ZcnVoEDk=jmm5g+6ApQ)tG67AijE zU1u|}2GJV)zm)Y*)!;VRsW#}s^4<*x3|+uxr%!Qvt>HjDsAOXB*`00J?R>v~3!L&E z_Q^YUpU1f+17+f`nP}v~<15!@=ZeIX;>;$08SIA2idwO}xOP3(g`d=RHhlbt+8Su3 zNk?5*3eMg*9^4B=Pj~r?d9tZxuTYY0+g{&_-#lt=cx)D@*@mfDZKt;C6n+=y$QN!CRcnuT{ z!d%I2**2WX@?oP}+SO%?wL+3;t?^ZrmrHl8f4krgTGN;LDg+yUpCtrQIBAR(V=^pw zKn67B8jpDn%@^q9jY8T~U7G*uS|C=!JI&{kSCW6AToIgvnuwFTy0=c>$xf>MpUrLg zsP`ZSBjjqRlxnKfQtDNfgmMt$m(m^kOWG@YH2dHJba!{{jjg^&`|woSBH=C~))P1j zR>EKZqwj35UO(i2JMp&vNX@FZP{Ctxr*)EichvtGo2ivah4?aURo&?hD@E zZZ=kk#1#sU#;GGi^^pq5Cw8vF$$0caxEeare0u+F(iO#hg#L9OZyY@M(>^f48*-qK znDKteAJL-sQ13@%hCIS7_jr6r97$tyJR`_a!xz{&ocrk&BguL9N0I9Lqw#lgeR}$T z1M@oWlasMW7Pmbt1X2b8B$tpf1Tr41UApG0Yv@waR)~+62ni&FK!`n{J@JAxUg3=m zyO-cH1QmZ~!EhXJK2?vQ!~IU@Tc^7n_0s!>9W$Q8jW&yctj5zebpLJZvKcknf@-wY zoVGU1StvY(7@9)&FQVTEYv{ni8k%e-+As{aH`nu_{bt5G&17pmP%j+ZhuLtPnp2h? zj-D=u<5<6EBEXN0jQZJ*;ZC-@udnwAd(7eJV^4p%Ieu)|HO@L+{!z~D@|&Bh>;=#8 z80QbL9j}l2{S&VpJt_!7m&@(z^6(>XbRJ=aG5;w04(H?eYuqLFjAz`>o^!c5_7PcE zr)j4f`!^od`aSN6Nk7N4PR}KdA2$!IXWkvcu$Qq{vEzFWgq3i`(rx*3=LM)3zg2K! zaHoH<<(BpZtOKPt--W7$5u#qPRm?%6pe|-Ll-19wD?~O3Q)o9%3Lrx?8j)hxAwmU~ zVZD%3lmeG`hW1 zlJD3TAq9zrWKz8aDz(?=3dzB=7SgDuoi~4>qTjCQtKZ^=MgOJcXYz+k=*nzNjLk4| zSc!s6O{ZgvIW?J0pzm}aF`ovlE+c>>%3(2zgcDb%`+>SZ-qrI&T3doe6SR@k$?fqT z#wWR@$DnSL*FaICQaCCHK>6RO3Italk9so;rMf)xAHsd+NBsIdZiI}#Tjp0(HK%`4 zUy*-&9qskT0+Nr3$RW8^%tA63Pvzt2jy^=>uY-Vg|04Ymfv`XgRGowpnU-4vCP+q0 zCaksB;!F#A_wYPG7~RqD?sH|ptLl%FvE-h z7rP8R48(cZIZd~R1sD%xVEM*p5L#n8b`ddBeX-hbzDfi2%Eiy`73Yh|BJ;rLC06IR zVF{@1G?db_iCKpC%DkNiUg6CL_Nu1bNxI!Tp?U2g(bP=C=2{t|a_DkYWF|y=&Q*c< zcm(D^q^i&8wgLUHepaU+>TO%7DVQ+^Q~Fe%tbUMs0yWqIA7WUIeiEImHK6?`8qx6@ zI#1Io-SiK?<;^aWu}2oSNj3!g1buKHUR%)fSr;AqG`l$4qc&Y3JySjU} zXaC!|bMBe>zPaE1-QV}!-yNEg520w99x>Nq9xiepJBc@mJ-L&;(z!dA}Pyg@lDootKtwF(&E_X3fNeAdNOWd`7TlYFJpfW^Rhkn3xcss#z3oHt15~ z&C*MSt0Q$rjRtF{^g)xO;)1Wpjo0b>5PBUt<%g; zOEqg=k5AEQ1{V?%MENf5U_WS?mzI*AY1SDvi_+HVjH$~LV-oc#@zI9F1@S2<@zPhL zWJ1HwAr-o9)C_ic>HGhf;ur{{as{oJqXb+9!zQ&%NGVz3W7T3Q$xsAEvwCdIU%}Tw)`Z8}yX7&o* z@D3b=Uf5>`zX_fsWq&Z#?Ny6Al^xEC_xSq^PJrg<1~Qg)GydKXxQNo7{waN^{UbN_ zx<6`{iRcaI`rl`4BuwFEoCk#+6*c9Re}O7s@q4BQ&O*7Z!YX7q*GeJ!FZ6Hc#1EKC zoT)G}_SoVKTi#adGROp$++{4V6bh*Ov%-R z!bErhWm7RImyJ;-LS8VRl+5fCZbdvG33R-+szx!9f(4*8s2 zp%4j+b2VhLh4mNhVwZ>h7=Mz9QDPV8AwMN6{k@mTTYt@Xwi81-@tlk9@~)GK4fq^~ zW~ROgT&`@$RTDiU`4t$+Ytjlh47T?&l;Wgi)b zx4A)l(SL*S{KYXuXnq*uqQ5^Q!!Jky2Ld=ZHj+^oxB=e)oB|ki0HZJfN7dCz)gZ7H zMZ(s6?E<2T=9iNpn~4l&!0Z|_;xtj5BLUZ6tp>KdRH#rt4UIWc>_aGU&~3#LOHr{H z177?vAK0x$MO*FQXtJokoA_rk4Tug%V zAMge1@7?}VGal{4cU`oo=#+_5a3hDi|CIxY@ZH$K)I(EN7G&q~q=R%Q^PaFKy)k)^ z?Q%g=Jul_?XOLauXqot`cNJGw=c8aS6?sMZ`F5Us^C(JDxCtbrgG|PDpz^%~tON+qJ|3fFgEfnms>I|X-G zWVBa_KT*sLof>l-gvPzK2X|O@7;FwGw)3qYp4xu~*xtht;WJmvTDnM0mXaie)qf`i zCRX)8R7yG!CFww6NcMoUYh`g_&D3z7M z!}x%^w)4zIiKlDRx+ecNa&cr*OLn`*)zW@^73A`sV;Ac70ekRtrgpRAjf^;T%F0B$ zvDj8@auk5AxS$yFS=Ah?wE`OXBY(`b{R@J~xcRAZYvwebHK_L%dRpKByD#09YTA$& z7k2X%q|v{(_Z}}z4c8WSPiTG&5r=$-3tMn>PvG(IS9&n}Yl)s8#WyjQ!{Om~2(@xe zjzQ1kGNo&4N5O7Mn*%QP)|K1K3W}xrEmUW1`D4}}AOT`4RyErMheQdR4}Z2CH94lV zfUUm5DU_G;H4XbueGVtV9b0K>Snpg1D_GS-Fu-C{ylLI~j97?*CGT%MD-;XGHNbW> zy4%_|x|8w@1+g!FJPGA$)sM*DyNxPeGBcaS53kT&?prrxV!GJJRr$7UGfRpX;t!6x zq9*A8NFr;cBSmPa`k=11qJO*_>Ll0+j5TK#p)-@TWNZ>q!*3*1E>Dqp=iycEi30cEeyXJ6E%FxkM6Ub4c`B$rghJ=T;7%Hc zb;_`k2wdl+hr!==lJSpnmH*})E_tVUw{T>9!ncotCnex`M)Hd1`sgnQ8R_SCns=lm zW~CX^TQlC?E2&+IolM)x>a#zZMG<(4I}w6lNR9*zyIL-o-aG^>v^`%KF{Zm=kt6X2B||3 z!!WuGrShg(vvOuC^8#rSk|r}!Y>0$a(nNJETC#Ly1U7%@I6NAK-!2d0@#-M1hzgBG zh(S>bYNKUDNiwM7Vifv&98xn3SG}jfY)(luo0F~1vPxHRVUfri?Iu1cHPtemPd1xV z`3#5PDz@87`7E1QBsgrMJe2S&oc3ZttmKVzibSz2ZN?0@+ns20Y)N#w3e!!~d3Ui` z#ODZG1lNC7VFSOwSt{~NZ4QA~G9;Q%BvQ^%KoP7?M_Gj^xcDsR2EkP-t7>ynatcDx zCSKJNp_uC5AusniBA&VMhVm zbD;OY0NjCR(6g>|AT?+@;P6dM5?FsS7tZCJq_NyJHZm}$;zA(g0`uw{ zdHzi$eIY~or$Ab%kNSYNTIT_6AwJ>*(lUf)aX`NjEXQ2mci#36!m#Y|`1qZ(BQKk- z%k-AeJl~fOvtT&~3n8s)S^3o2Rd(QH5Bcs!zrUFwcR#A6xWG7ldo66jnTx3k+`w%w zXkvd)!-Km1v)rFrIY;#ryt;txJvavaa*sjp{~W6|Q=qZKpltg@MoHLnKl6cTN$W3_ zG)i*yHnw(~Cu@gi_g)KB0Y~%Mhc}<~-MjjJV5A>@a%2LH7^LxZl5wsn&tKzf?L5(S zvAnsY4!7OtZ+`^b=hxXLOZMXQMFv_+?V*338ZUVFa1Ke(C_n1DMIs39{6Vzcml>iV zEICZHD)NSm=s(`iF(xd@O|GWl(35ZIsz2HRXShqwGn+O$w%X!J*cvjK%=+>5^YFYU zls$)u?n>ti=;MYH?$a0=Wz0)jdwJK%^KGXtp5E0~SdXuFkJX(5Zm4JD!fe4Dx7R@6 z^zQSPd#mM!DsKA`IDsQ8S|n=|DQ&E8Vd?s#8XTs!96~6l)8fov7~UTY$09A`L_u}2rTsZIp31b=Nz6ju~|vja0DE{N2%CYCp&Z6Z{J$N#p&)+VCe4P7Q(I|N?9)`Q9z*B#a(m}EJ$jqB_vpzK-HK+EmcWP2yKk9 zCMKwTvkZ1SYy8*y)7ulFaN{#9zcgM&*FQuf7(Mkz9Xdn|zryu-%GPrnkf=n`<;CI+Tc42i=on+k( zaM*p&#S@J&ZgBYfz<<|;wFT<&-o-s$YFhb_R_cRAhSt+?0$R8p*QxrN#zXE#yu|(c zUS#7T_zFB+O;MZAjk!%@rPvSA+26u+$7dD$9gM(bi zb>}&a+p9`|({^d*_6=Y0Qsm?xH2E_aYdG&|mhg@|?m+g$G2|D z$lvz4g;$TNha>9`g9ju|F@`_TIXF#dvMxZ_h3oy)+yasQp~*QiZ@B+cp`gZ^KHF82 z-Z5e3M_W2BLN7Py@RdnY&Hhc#3P?2J|9q&VPrWkBs~dKXbFj36)mq&4t;v zvtM2q@cIJ%&fc;XJalEM;}URJZ&qcPUBzFN@ui~V`J~D2@j&A-&ePzjbG1PaA4Bc} zVM#Gzsb_?xiKHwu3`xEUt1MMm19Jb6HV>;)5&zS))Ddosd@x2$2W2|gM*cE%`=HP7 z05|{gT}S41zPkBfqFQNqoy1!HWdc(xgWchWPCmxzRZQKaqP@+_sOAn9M@3||A{5du z!<$1X1JAKiCKV;sQrJ zD09Y95IG>~92}hSzHn2S`%-A@nVECuz2t58zyJUJ|NZ{|{v6vMo|KjpOuEl2;QchDl%K(`7O4eJS{z0MhL=9J+jH{m@&(#KWS= zOOxfv9myACEl?jNzh)sXHWliH%`G4tE(3Z|{4k|213Fy`Xcncw190QN$Z!6|gX^G2 z*r9Hd%hhVRyiMKF(bm?%q_Fm$D7+9Q@%4i!k9~g?3;mLD<8egH&3HWZ#vDle^X83T z7_=Ux3Fj`meC^t&m%sV?vt>^|{o=BDB5ra7-VKvI?AZS~H6_;46@_WskL-!f>ap%kbidu`4?+JlR4e24TmC%Bf)+* zAc=o=Q)m&Ih{mD}^fY9U5I!%0yQzWkFoj2Wa3~xHCqW9IvqY%2cZINDKie`O{m52? zeJk7-_DuGcFyssPKs_BY2MskQo5RM$-$RXjz1eO7W?=GL8m%<@9%|q>Slqw^=uj{i z3flbofG8e@PCo08>-zAPfC^E(i>fFY@GO5f%Gw`!W&f>L3(+Jr2F*otA-=YD7*Q{+qMC}%r)l=RK=wQg-m~gnwnLU3$e+}|a)O$T{Pz!3U9*1jdGkWYj zDO_N$cY5@IHXDG!5nOe2xhP!RQShfiy0@Gv>syl+j&^8$Bz7ZAVq-kGhdnK9lkQjS zExoYiLbV&v^&k{za=Ns&qGhdlU7CNr8_pU&uy#6qHm?fmdE)f9pn(om0jn7^!N!zG73){7S^COyO}h^sZ*V%jI^vU6_n+ z?sU3oyPNNDIbEfGG%-5$*4lqxjA5s%642HvV5~YdxBCswpF~Eqa=h%v0c%;F@Z2W{ zu7ChtZv>_a;MAFzoLO13(Ac$=R=X2e`kZrP?O_v4+Va&irx5Kmd7bqfc|d)j_{wXa zh*$&l+REa^z)TxLAh-*-!a?T9?ayz+u|17`j|)>I0n>rwqYI*>6Z3zsZ-BHdXmc3= zZ88Fb`M~0HD@E~kv|d=;A#2NNJKK3+Z#Yb|7pVjCH`Pbf>k5liIvt%7OUsR7$|S1h z5gvQ|H$`&+Rgbep@B>T*IAI25Q^tSEwv0jJ=@d!@NbrLJPM}jjg8xz8_gJ@oHx|(X zs|b!2G=Wx~4wRNN=&XOB9F$^ewKn16ds-V|)1y!wCINef$DWK$5&A;dT_0U%t}|3w z4MrO?4=MTR95oLr`8AC-!74yk;{ylQUnzp_-Y59JN}s6#Gy-qPTSub|HeCq!QW!DI z#|A(YM!6r!ZpG!@9(z)F$nGg*;>iOwl%-GhyRH;Tn>5GXit4 zs!LcEgjXJ_(hm~VqP5gO>cm<=g#8Dez{eA2#%Lkzqz0GqM6rv2T_Sieev_&IB?I%K z?7i@#dBcS`?Q!@@Dwz09bWqSgjlDBy9XhF$NkiV=csn*WOx|C1oyQ8<9$`Bga}4b` zhv?ngLfSgu#j$^FX}Nmk^!t~;q@e-^_?6G(BP~Effzq|pqjVX)@}q!0di7Y?Z*|$L zbS8^Yr1m(P9DD4Y-~gTvdBNKH3MTP6H1aH5c$Td`OG5s2)_9!<)%%5|zz9?o z<{EW5Fwhns@G+O{M@)AMK2?3D`YUGi&>!y|@!32z)g@+Qxkyvtu+&sl=9bu%UdK2vJtfv4%bWa52lu81$4`JXaJsC zee`@q53Hmb#9usi8q$k2|Z)0V6qb$0_gI#Q| z5JdNV49Qxb%j*Sx+_V7W)btHmP6m|YNvCC-Xy_ zJVs2U;M00}5ODSfB-qVXNXbc*Gpvh-+Xdi+xw){jBqFa< z1isqSbppIkKZH~eVP%m%NJVI<5ajNB8IhJgle7_U0Y84%ebvQ44Cx)v89nq?$6 zZdV^N=<<3BUz z!SLY^?~nZ(-Vq|_ld(q@w|Zy)-M34Z9zX_-tV7-YZ8Uji@rN(-r8mb9<&eoWSaR96{|$zlJV`WQ>3I4)S_HK~sC&O9F}ui$ z0IcR$z;SRJmhP-l^)sZ6+Y{EEBC0wU7Rl05oTSA+{^E3;D9R#P5bgSfk1uuY1>B(T ztaMk$&hhc-=VYG$aQC%*C)<}95tw(kjmtkGkI5LHUe1kAKbf4J66}9F26L^^<~1F! zLE65h|J}0cE2B=D`$jQsAvD6%TDFgtuuk@jEwEecCM*8cL@Oyrt5=q1vt&3sn9t{g z%LCW)_Xy7%&EJ1h(d=t!m^M*R#oVkc;5l+hWVSX|k!8om_?}28lbsox6gNj#A5yMw zJ+ZEB5S}*vq}->cgA*~ssh(6gBMv7fK7@e{4W($rRQW;8Vc31qA1X6o(D?wUR zD_B%ONl+RPqOFu#W<(5Lue)As$d6+u!bzAosbi8THd26~s?D(iBp}?N@-;2$t!lWr zTq;#9-!20R>j>wgz%0xtLj^CDcWL*{a}67 zkm^tk#(X9_RlK$!%O7}T*%we_7qsx{Ze3~&HA%Z$TJ|(cK3Q&&S{0&&L&2!j7Sy|m z64b3jMCw#SVWMA<8uxYUdh8>AuQ!=YdV)&aqiUx=X=;{|VZB@WoWzNiAg82H)u=AD z2Nfc%M)EYFD)Otk>I76Jc1|an)TW*yS~RAG6+$9JAyNHYG@Kw>JQ%Th9kOq4hZTV0 zF`Pp_^c~`?2SYp1*XSqwK3=wQ&*~tthyj^$_o!xYpf;&G;b99_9r7ovaLxTfZ!OIi}`Mfm>3W=B3Xktxw4{dRi1ke{Nt$r8^F8Fg;B#j$Oy;&46tn7vho zePttF#;~bk{8+KW?1K9|P0?6y=Aza^`}yp|NM875^v>Wv;V035NBXjrYtx@kZ{;tJ zXM2w)&J2hdC7t?`5_+Q0HFLD6PIs0b&Vlg z4>ml7`tlEjK{`B?9va@1Eyv`&ps!puZq)zrd5jb&WP^J9l4n=n!{V_c|&-Ac@)5 z_GHSXr~Ljq7k%9L`dpr#q)^ix*}ATN|Idr>6qqO#Z2y}$&zhy!(o_12ME&2HhffIe z9v5Pgf4=8ppq-qerD;!qy3xeF3vyS5NH@nmKAgTP>|d6dTGp~}i^AH3463x(ZqMnB zFZ5ZpsYEZZF(_1f?}^8uchjfN@0!5$?18Lq6U!tOU7aNgr&Z=1_N$b=Vx+gCvO#8Z zzI{dV)ZkTGTA5!Nmo&~4QJfMrGrp`oCs#l3CgV2~h0npP5h?m1@y}L$Q=k1|l@YIT zALH3o8C*IH$*WgxSgrkJ!mRh6zH92U?l0ai@?5FdE9#`xlr^iG&Zw9z+%h-*7BE0| z-T###`Y9kmiz(&EnpqPHE(!a_vOZ(myIMc;e_+|As@Jb)TvlAQ@{Zt?`!7^Zv=qfn zN)J*ztTNB>>;EZ<0S>@Y+kjbUvhI@WA17`(E$TG8rM<7vidp#9o?|H)x6jOasQqel z_LqNu9~s_B5py%Ipq5frk^VPXF6G+w|HuX)zz=JChkp#HPP$Vc}sk+Wx(T z5)AikKelWo$B<|aI~6zGNsr_ zYgf|L(;Pt&lbWCXUw?0*jOqNira}+blKV zw7;~7X(|a3SoAr&^DC>ip80}3HzStGb$n#ixNxy&!qiDl26LG!et%xbxHiv;<rTEWZ+wXtV zb2~T~a(aNlV6eTihvgG%y${Re1i|Z<=3H4c=gOl;e->Ribm_>PM{|zs5n7#ub;siyhP zwW}>V+;WWbQ~kc0`zNF9H*Q_NclP34EBDFe7`52MzdR)Gy}T}b&e?C)nO3`H#Jhj8 zu(kcSnNu|H|IUUP(dVA*pYx(#PEO-2H$#8K8Cy^oZr?bWhg$1TM3sVerhQ=ls>Wqvm3?SykAuKjB!?f7Q+z6@=q0ZRA+zj0@#s;Ps zmKYmb8f}+3$nuG?-W=T!OEXhrbVDqG+ukrk%F@Cd%`!_fOEY71F>@nJ3^5A>OGB`_ z?Y)Otn3z(G%#tipQVr9ROw!UUO$^cu4Gm1wl9LP*Q!NZlQqt1w6l@49iRI<8v*YC| bE=epZsVGWK