From a405ee4bb096b53e27a7cee122446d83c352943d Mon Sep 17 00:00:00 2001 From: Fabrizio Riguzzi Date: Tue, 16 Jul 2013 15:57:18 +0200 Subject: [PATCH] update manual --- packages/cplint/doc/manual.html | 137 +++++++++++++++++++------------- packages/cplint/doc/manual.pdf | Bin 220484 -> 221427 bytes packages/cplint/doc/manual.tex | 26 +++++- 3 files changed, 107 insertions(+), 56 deletions(-) diff --git a/packages/cplint/doc/manual.html b/packages/cplint/doc/manual.html index 3819e6177..797aca095 100644 --- a/packages/cplint/doc/manual.html +++ b/packages/cplint/doc/manual.html @@ -7,7 +7,7 @@ - + @@ -21,7 +21,7 @@ class="cmr-12">Fabrizio Riguzzi
fabrizio.riguzzi@unife.it
July 12, 2013
+class="cmr-12">July 16, 2013

1 Introduction

@@ -45,8 +45,8 @@ http://www.dcc.fc.up.pt/˜vsc/Yap/downloads.html .

cplint requires CUDD . You can download CUDD from -ftp://vlsi.colorado.edu/pub/cudd-2.4.2.tar.gz . +href="ftp://vlsi.colorado.edu/pub/cudd-2.5.0.tar.gz" > +ftp://vlsi.colorado.edu/pub/cudd-2.5.0.tar.gz .

Compile CUDD:

  1. where DIR is the directory where CUDD is, i.e., the directory ending with cudd-2.4.2. Under Windows, you have to use Cygwin (CUDD does not compile +class="cmtt-10">cudd-2.5.0. Under Windows, you have to use Cygwin (CUDD does not compile under MinGW), so
    @@ -1071,17 +1071,37 @@ class="cmtt-10"><type>. or <constant>

    for specifying a constant. -

    +

    An example of language bias for the UWCSE domain is + +

    +output(advisedby/2). + 

    input(student/1). + 
    input(professor/1). + 
    .... + 

    modeh(*,advisedby(+person,+person)). + 

    modeb(*,professor(+person)). + 
    modeb(*,student(+person)). + 
    modeb(*,sameperson(+person, -person)). + 
    modeb(*,sameperson(-person, +person)). + 
    modeb(*,samecourse(+course, -course)). + 
    modeb(*,samecourse(-course, +course)). + 
    .... +
    +

    +

    5.2 Parameters

    -

    In order to set the algorithms’ parameters, you have to insert in

    In order to set the algorithms’ parameters, you have to insert in <stem>.l commands of the form -

    +
    :- set(<parameter>,<value>).
    -

    The available parameters are: +

    The available parameters are:

    • depth (values: integer or verbosity (values: integer in [1,3], defaul class="cmtt-10">beamsize (values: integer, default value: 20, valid for SLIPCASE): size of the beam in SLIPCASE
    -

    +

    5.3 Commands

    -

    To execute CEM, load

    To execute CEM, load em.pl with -

    +
    ?:- use_module(library(’cplint/em’)).
    -

    and call: - -

    -?:- em(stem). -
    -

    To execute RIB, load rib.pl with +

    and call:

    -?:- use_module(library(’cplint/rib’)). -
    -

    and call: - -

    -?:- ib_par(stem). -
    -

    To execute EMBLEM, load slipcase.pl with - -

    -?:- use_module(library(’cplint/slipcase’)). -
    -

    and call - -

    ?:- em(stem).
    -

    To execute SLIPCASE, load

    To execute RIB, load rib.pl with + +

    +?:- use_module(library(’cplint/rib’)). +
    +

    and call: + +

    +?:- ib_par(stem). +
    +

    To execute EMBLEM, load slipcase.pl with -

    +
    ?:- use_module(library(’cplint/slipcase’)).
    -

    and call +

    and call + +

    +?:- em(stem). +
    +

    To execute SLIPCASE, load slipcase.pl with

    +?:- use_module(library(’cplint/slipcase’)). +
    +

    and call + +

    ?:- sl(stem).
    -

    -

    +

    +

    5.4 Learning Examples

    +

    The subfolders em, rib and slipcase of the packages/cplint folder in Yap +git distribution contain examples of input and output files for the learning +algorithms. +

    6 License

    -

    License +

    cplint, as Yap, follows the Artistic License 2.0 that you can find in Yap CVS root dir. The copyright is by Fabrizio Riguzzi. -

    The modules in the approx subdirectory use SimplecuddLPADs, a modification of +

    The modules in the approx subdirectory use SimplecuddLPADs, a modification of the Simplecudd library whose copyright is by Katholieke Universiteit Leuven and that follows the Artistic License 2.0. -

    Some modules use the library

    Some modules use the library CUDD for manipulating BDDs that is included in glu. For the use of CUDD, the following license must be accepted: -

    Copyright (c) 1995-2004, Regents of the University of Colorado -

    All rights reserved. -

    Redistribution and use in source and binary forms, with or without modification, +

    Copyright (c) 1995-2004, Regents of the University of Colorado +

    All rights reserved. +

    Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:

    • Redistributions of source code must retain the above copyright notice, this @@ -1304,14 +1333,14 @@ are permitted provided that the following conditions are met:
    • Neither the name of the University of Colorado nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
    -

    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS

    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS
    AND CONTRIBUTORS ”AS IS” AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES - (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAU-SED
    AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -

    lpad.pl, semlpad.pl and cpl.pl are based on the SLG system by Weidong @@ -1329,7 +1358,7 @@ href="http://www.cs.sunysb.edu/~warren/" > David Scott Warren , Copyright (C on this copyright.

    References

    + id="x1-160006">References

    @@ -1357,6 +1386,7 @@ class="cmti-10">31-2 September, 2011, 2011.

    [4]   Elena Bellodi and Fabrizio Riguzzi. Learning the structure of + probabilistic logic programs. In Inductive Logic Programming, 21th International Conference, ILP 2011, London, UK, 31 July-3 August

    [5]   Elena Bellodi and Fabrizio Riguzzi. Expectation Maximization over - binary decision diagrams for probabilistic logic programs. Intel. Data Anal., 16(6), 2012. @@ -1417,6 +1446,7 @@ class="cmti-10">Journal of Machine Learning Research, probabilistic relational models. In Saso Dzeroski and Nada Lavrac, editors, Relational Data Mining. Springer-Verlag, Berlin, 2001. +

    [12]   Relational Data Mining. Springer-Verlag, Berlin, 2001. class="cmti-10">Journal of Machine Learning Research, 3:679–707, December 2002. -

    [13]   ): class="cmti-10">Uncertainty in Artificial Intelligence. Morgan Kaufmann, 2003. +

    [20]   Proceedings of the 10th European Conference on Logics in Artificial Intelligence, LNAI. Springer, September 2006. -

    [21]   ue)M%|7Pq*!#m;S~^qB8adslS- zIGtEL2QN}7@6md*bU%<&Cr?drYdeK+jE@JJjyB`mZCNz%C+>PXc(B;2dnaR;`Fj_Y zH4!8ZRTJqhnh-N;RQKC#b}6jb4iT*RvJjVy)&fh`7cf`MnBWmz{0h6ecChtR zTt)IdneP}ryRKY|{F$hY=4A>$V0F~1IjDC+xoNSd4zwM17T9ne-F+=@MMGSn7vC$8 zoxx=0a@Q^lU)54u8ueH?Bz3Qg>lu7tBRKOzcpB;!8)S$(Zk^9kDc98EJfrORn+a!4 z3Et16t#L;8tnN`Ny|3<1URMXjyhxd0;MxzN7jUcf=9^b>4`d)#kpHF!R%dq%h(caT z*~M!$Dui%rRhM+?BKwrma}5oxX^+V`Mv;HFuB%H=+kxnmul+plCI{J4^JT;Bar&(5 z`#sxE?;d0pZIJiTd{M7*{v7S>m{`mRhtS2gq8i|}o^5$GOxWr^h_%%$b^1EmI<1GV zX-RD)zbi$2b!Xe(QfAKtem)+z@6hgHRGx&6w>n|t{$Bmv*J?|rX#3W$th>^=p?c`n zE~xt>2T>|3T@Q_{E~)LT4DdqWyNlgREKGy<3h34}WVF#_YI=UWW-E3uCMsW@494=g zHOh@RFI`}ar zKIcepl&QQn4@2@wocc?j*0Y>w$p(*yiwSaPQpiVV2anJ=pe-Ne@t_^X?|6J(dA<_I zFsG{KFEA^e>A{pYyq2-aO->vCn*RxEscTmIrzaj}PUQiqPQ5dSHDD#}o=c{a2F6~# zy(x6*;0#0R611d}Q2|X>19+$T=l0$YI@+oHSW64lvoa{5(%-)bWQFIyBa*meAnmkCm^dhlc_8q`q`1 zOjz>H8oCxS*aojxN@(QQSGyy*a1Espb&snvMnHWqai%nBO{;iJDAwV)7EYuIIaS4~ zcZp7y_SX0F@OW)d7Y9_={AY7Uc-(>LyFFTN0z__`@`yq#-(l4_*YZj8_l66{-X-gk?7R|8 zW|LE!q%h|JmXt@i0udtch;0S#0^}tASJsmiL9q=cd^7FsL(bo#QCD|9zRvUfme-;J z8uAbo;<51YIonOxBBHlAYVdtc&-r~o{yoOj#U&Z(E`QDX)Y<@cdxFK4NVt&~_>r2t zkKc?k-OAXhnd1zzYK4*WVfek27PF18HrM`DdKJMD8#A=0Kke-$;iPxOl{OxYV}+m! zfl}=lHd_KFpQIv3+kD~R489UNElB(l!vRmu?-o&xo+&VWfa^`>|LSfYg>}`(ao6k+ z+5Jim`O4*15CuGSha6tzw1w=AF+}jQnaoiW!#BKxD$8_W;@Rd}_p^_mNgtN@dQz!w zJb0Eu!`5V7-_xssGeHQI!-YF{)W*up&Dkp~;hEHqNPUVJGGmFR% z%63{vAVD)BSAEtp8-Z78(ao_G;ahivPIi}Pz9zvzxnlk4*Ym!MtFwiv9X6neM-7-v z5Rl%)04;1@EejV1H)nGT7qBn{V65OKgb7~93~XL$dwU007w{uM9EXlsNcbj@2*Lg; zL~aV<>*%8ehCyx$Ltq#0AyA290u

    0erZDfCIsG35~|n16T>Ks}SHFqOL%K3rM__ z1my6o5P>E`TNGHu4+e?c)ba^Dk%jqgs-}dth#1HR^b?ZBDGH#F0E8SEz!l-^Ul+-V z_z~Uy4q|t~h*$?mLpkF(c~J1s{`#}`2`4~DOn`iSM}h>9CT9Iz^&+MqhW!}?|9T;t zm=o}vB)ooVftU-Zp1gT?ftUo~BcX_^;YYz!l5?O`KT^9rk3*Be| zQ5Oaa|D`QnIVht3m&y=z7+Cl(z46Myz%V|*H;WTcOCm3uB|*mk{4yCyMSf}iKPD03 zzcvZQf13m>a-(vfmV_E8YQ?+J>?az%I7MC*-0N=_5dfkP->yJQ1QGxcT8OJgCb z##i_)%(Vc&<%NJne#YS+DhLDsSKKD~-!Fgy{;U>^5XiL^wZITWcYl?CsT6|H?)Be>0Em_nDAeW! z_}C%=B~BFpoBcj;gedb6WfGSvpvYkcNOLOzha5V3iBAQXzO4szB1&H#J>V&X`bLK=y!t>M6c32tjYqVp3^?%V zg9HIz#9O2gU4R#g3#eA|0q-F}K-eH53IqZ}c$_%m%QYuSfG8+cT=H!cT;PQSF8|-k z{nO}wI>VpZg^GY7P{@r&7bM8b1o?e2fp_wc+5T%Bf+75Wp*cfrNlEZ8n1{FqNQ-|2 zs1)ddlqd86j|4HmselKlN-zKq6{w(p3-XT+|L{b}AJ)GS@LCRJ2tNQRAt^hOD8jli zEF&rZ|5}#++Op_>Sr$lEph8D@9)$l|CtS$38{$@^3Y-{u9Tv>ky^#i~waKma7FtdOZRt;L5-VqO3xc zo-ZE(dOpekqxVDL(nl3&^S%#c`6>Zsa2>?(Y-UpgP<(U%Vozd3h=2iEK92y%OC>^fIJ{AQ}fTj1S*H|fQxVn(wj-`AKHOI|6Mx)5sZwGU$Fx6D^5UuSp@QT zgcXm}0e(h20M;UvfaF&;K;#=GK;yM8z!Rke?7h|j!lH5GB=4c1BNQP5yp4Q-h^p7> z;eYc85b?jB*X{t5Z?vzYZtGw1*gZ-gz-uQ!fx!50+#5fd2yu6zjRfG2=D4Ym0#4DC z$Oy5+qp1+n)GxRAKYaZks`=aRRg);n$N|>tAouw9u&RB>bu(c}XHnArUyc2CJ>biS z>p+8vay`2smZ#%X>4Q*F+kt<;D`LUBxgnzE?=eOnMOAaGuW~_S0j}yG_)82#xhIis&9Y(ja8eUjR zOnh|cntVp7S{RqsC=S0o*sBUCTG3~l3co#(@HMJnrr?YS9yF-5pPy$dulao9GJs9K zE_#2je`0tMgV~mUc3#P;+6Ox1$y?=AggF891YEJ-il{n!BC`z+)vjk-B37s~#a^R@9zli`S2 z$G%s+!Gm&zGB}+>yZ+FNm+2cUjHu5@MS3B3Q~D~-*0oqQ9ERic>SEfZz7^?h!CDq$ zJm~cN#)3?C&#da?n};~=^J$KSSXw`W)0Y`splr_LdY<2Dea4Z$<$+?WI#lBO!~~_Q z={1oMp@40b?+!;>v}i|&2vwqxkC{0x--<172qqq}#zQ#QgnzwUD`hC7)9!3~JkgXn zyJ}WTVwJs5Mwk;Sb?euMw5T5V&~1GNazg4-qn@pDdI%QsWE$6<&6*nWpy%FDo^2Bv zJtPr20~Dop=CDa zZwPg`P?^rJE3P?SYVVdlEx_MsK9*7kx70;SvuV7c^28B!Q*>NA9>M2y?(ROS9iVaV zR12=gT2&O2@`tyWv0pCUbF-$J32~*+5*rE}J_WyS`~HPx zN4f%cC}jjOhf3lTg_!v5TGrY>iI}Cu$Vu6~djnT+8{4Q0Kv!Mlqqi{}3NusPd-_-n z?qb%I!i{Z|^R;7gzWwB6o-$HU2IJJG2^VFAt4~ZqrQY02w9>|cN&Bj-uK4P*GZw}^ zy4cK@ZEJ98#Yxs`SLo5T2W=@rQ5I`k z;qEap=TG$nz@{?tGrB)@6xvgtS7RenewKQcZt-+rcrV7<$qtDU?PwXtG>OXX$Cdvr z%kv3jf}d~D5BB;nN-oT~YN7R`LavHl6)Hi}sG2^S%qxq6es`>7t18^sESELXP8cI% z3HiN^$?}S~XT4XP(fiH7-Fqq?`CWJ z4@8Iv*NAA&`mfRae;_C#vU5{h$Kv0x;1?SRg$N1VOtoM2W*nx4h~a(4A0wR?EKWHz zw}x089VG>%`p>czkY#7H>B{xH-h5K*Z~eI=+?w%em}e|6{J@ddD4II7b?yRY?EPYY z@qA3CSn1(1)OcpPIDk_xWB)<33+vd2C_gi2B^PEfT9m9C>g2Z|nZv`)1GLu@j>+I_H)Fil+SI-6!>0kCxE5vXhODlajX?K{!mWk1*4UDnE6<92=S+8A(#U zXtTNP)>WlhP)=AV5H#E1vA>sFAWZR;f&~lw#ZkBVn1k`pZ*g2cau-s4>z-$H z(+W`YI1S^bAIh34`HWgvha$<4hsKHtuNVw>R=W=ghcm2=%PDS6Jrhfe&O58AdFm%l zKf<7)+g@1OjZ$Od!f1Cy^f;zVNVS|{+9xSrykN@IbtIPF?fBr)K;JxlK?612S1GJP zq|X7aaAW_6V6IXzN_WHgaQbJY`u6Aj&(ELXyiKl@34GBnz^3~1Gv|ASlH1!YiI@%K zyIf!SKgg7O1{ClO!_9ByU90p4kySBAO;#3eJywLg&}I>Ww&uzX z`$FpIfF05a?_lFv*+I(>xft{wIO#9-02cp;IB?lBZ6rYf6I9OT;vOL~Fj>+2&HWA! zWcpkwuIOnu?~bCUK}$I7QDEo11RksC(z%^z@nr-0bdnmZFSeq7g^34+S~`Z%l&Q7D zj)q#jS#&dlyA z1-$l|SijAgecb9Zt-`bIt-J;_U5)QR$vJUhoJl!1HaaDm(F#0uY}@I5(uaDt+JNxB zgy=KzB46A30%{+5|NVs1!fO3Js_!roBNf!KZ-#}-iQA$L3x_1F z3!%G>d;aw^p6t)A#=2c)mk{v7;ddy(y3g(6@$crD>IlAS?79^4tyFWACr1kUsT~Wb zIFZR?)MWY20?^iR3Dz}c+b)&7v>jFgrJ31d$Ku^|wn?lH@q|k+%s4Q0O%#HCoA=?$ z6XJVufqHw&u}!=@eg=2>9;h^U>y?b@B>#Bd-Tmu=a1MnU#+gJv4(rP51Im(e?^u@Z=sYuguel7C zu_Ot1S?3u>3qJxb@9(Zy#Pjp0Sd%qy&^rc3|IRyUjc`aOlSe3_MLf9`|BRb`b>wzC z?Tla{(xc;;;~+Wi@vy~PnD^FL!=iWtn%nNtdh#qHRa4&b?0*7!qB107QM;~Ozn_O} z5+Y*7T-QjGD=6R8W zlDGFmD5ovU>L_&X;_^-2QkdjWkZD6P=P@MyaLdn^N;(^DkH2a#6{Mq&OaW)Y?|k!M z5$cSDsLhkYd?+aD-8T4Lyn?^LS=}eaR95vXaV|}o1aQ#D7T#Sk+&7);_tyw@!C9Nv zJ^bc4wf+1#N7^m$4%ukx((9$u@Aq@06iA`0`2nx`aj+L2A@tIK){cK@IR0Wy+-uLG zD%p_Wb^S(jvnFL*Hq~hhld=2vAD~+f;51ogDYwGo3jr`O&Vqd&lCVfDym5fXF|99A z&YE@U#n6+8f^M7MyA#EO-A`X3^xd8pS`nq%5{r{WyF%YI$-Jtt5xO0WEhZ-(8!xjG z@i8qh>`~h6xPzWd?EtWd>hz#xtuL-GG49gj1dRXbBT*(~QBX{NvmCa${C(jKH12KO zf{9=Eotes{`Mds-IBFgYaAIPj6XuM=4K(-Kb;$idvV>e4@_0^|{7}ZIX@8di(&V8WF@3j$v&1U7bE#)m=Fn{2IZgg#M_+ z;Epfj<2NKh)Qh8_R_I=Vz*6CX7H3X6XE+k0!d=1^Xb)yXdMmPIK1=%L;Di;oz-szZ z>3i~}sTrbfIp<@O>4tjJO-$>z+cFoQM~(DKYUhp62x~rj;JJ{;;HXrRXi` z3-WF+Y+cd?TEfb|aafgGn#rwIqAH!J2QF^(^GepVT~-D-&A)>my&r&f1V8tK?>e&C z$FHP&H3U!ASQZjP-pck6s}J8|eL91Z)uKIyWd6;`O{-0{4jM$?9Z^0X_qH*&8-Ui> zXH;dx6J>H*S8a|G$o}kCgGB9ltJZ@+hmfnFk521W;?269fq5Y**om3nu6h)5IK(-$(KomR-ncZEI$}dE=5%S2TF>&?%d2w!94ADp`nHDC#ARfF86jtG0gElBa$ZP7gV-WwE8~U3{`2Sks{$5i5rV_Y7kZYy|MF`Q>&1zS7 z%6cHV*4kG; z3wA5m3cn9Av$`KH)9CM}%Xuc-Gk~CvZdAaMaU2FhBwaEkvR2{ zKXPvAWF4Dpd|2Bv{CK<)C%*XpAe`FU666_=o{?LYlE<6lg0}T3K5YDH&*%GPYX+Rl zMPE~9E%00)FZ#YT*(!Q59~c3#S_v8y)SHbV6O^1aFk?D$T?n$Do4b&Z-(huG8Ax`y zgN3}evEDcJboZ5Ux?so8ED_Q2?zMXhqPw-py$fUa1vF*{T(o1v^us+z-g?5xBSen9 zcJ&l@(k82#bF!@LsE^H_PA44%Q>o<_D1D2LB-d$joG+Ux!i?7uwum98S$&^{QpV{z ziod~Hl;ry09l!YA2UlsPs+dmxVa4zV7M~7DYHM=XnoC;dwwgn_y4Rx~j_5s9GyULD z5|rKKqvLX`JGr9)dwAbECMJmip2Hcb$YOrS^ny9>@vZt6Tazh*RbhJ#D8aM1ul;Un z7k=!F?T+u?QM%sq+mP9On-X9BbN5mt6xsMQT^{diI#O@a&s(roIPIDs(|3gb)RqsZ@w|#yd$4F1cwRd_EZ3~U}VFdf^u*mz=dOnUE!?u`9 zvZ}F-TMecoZ!Xa;Y-W^<5P)V-*nt9!XvQC=lE3E~pNs9>av0Z~U7D)gF8_cl7+Wjw zR0A5gHz?*|bq|9^RV3&ZDpLr&o%h=lVWt2~z22=W#>X)Mabgw`>48e+X4ReN!&$)qL&|d{r~KjIrHR zyY3#vWI{%%IFoib@Dr7niOf)`-+1%RGoh^+yq|Po$_4bIQ%(2YPb~B1p(w+!k1U09 zP#`$!fS~9tE**(C(I};U)h44#_^x0l+ZaXHEEK-cGfP3FpCW2Me%8U4KX{2Ua5{>8 zlx0fnXZG8R_nUec;Fixj8M=UsdNH4Vu49qfD(IP&WlC;W$3CG>K17Khs606L)n=@! z%8+sB!vfelzWh0PJv~t9Nd!&Y+crzBLh^-L0e(Iqp?o)0fWUZN4`~iE^R(-kn3Rjn<==C zc8FH4DGI(SA|AvZ;dP+p{ga~*;Dhl%5uxwDISMGE^F(r>zZjM8H`o6ECqVupl({Go zVfa6C{AMf!_=FMRk^`>y$mQKstW*5wDotZZ?_xk62BQ<>a$Jg8#2;ExE`a}gJEKR<~H1C6DL{8$n^&sJ} zvVr2TBK=AdLt$HsuhIGQ?cG~#$&+DMR?e{H!iJv`muo{`;B+tYS19rG2joa*9;oVY zh8Rz5wGG;3OG-$@z4**2@_CiOS)9yr^a-X|-B|w9{H4{RHg~D^`y+zIWbaRgeDKxX zOhZT&!)&F(GxBPt^734~Re;3$F^h@(u{_Q+>(H-UG#b`^N@W0I1v&OTa3pQeyf=Kg z-f~RCuFtl;3vQ8>N^$VA&P|m?WU+ss&CzaT*w9f_ZZJcWx2~BlLFw}bx|frUyB;AM zT8m>0>q2z%q(T@u4_ae?0apib-@hSqTYCrsA95|AIW~BBH=O`A>Uh_TT~U(g$YxOE z5w-rqx)&0|`3E#egIcQH5awtV*%UR!VQZ&O?T5p%ui@w~WP=Ge1m>AAl0?&oV6xU` zlNHhPqPF#iMc@67_lai?S!=D`qGzO#{hhlc~(i~{Qi%fI%c&_W3{TqB+<#-umWD_|M0zD8FB zZlWRM?+duiUG_fNAQr3tzD2ITY!UN#i7?0Vg&MpiMUxmtR-kv!hX2qkt0(b|p&c{f z?NEhWx1;-V9h&QV_p>*Z)9Kia~@+_+asUM$nj8vb}3AKGra7xZ(|k@-0$63CiYE918;0RZ{L6(=SW<&ln#k6U_8u2nN5BJusQ~n zEqvO)@*HAKUaSmc9>i44?6r<83ZpBiAjj^5PdPVAne}H>h<&<~?!M9Qi%PN`=pQ{L zO3E%8Rvp*mUm+e*y`|axGI%s^YM-@y?b8?yFpxhug^FRwwSf`2^!#ov-Ts$&v1bTOuWmkM5yWvKMfjMB9Y!lzGpR-^ZMo zhdafQ8$V=UMjDQOX5XQSsT|>vo@04ekj1U+mcLW!BTCdcrqrY_vJ(p41O=~>QS1qv zi>Np}f@i!-dy*jv+Mf*DjqTm&Uc;v|)VbG7-x`LX+y7W`DLIH67Lz}WyxVc? z+-X+piR)i`9xpfRFs96)f~6@$Jve4z%1yPr(@6<6EsWLMcuxgVzcMxWXcp-L^{`uf84&_Wt)O)^MO{K{hHcuqoqEh@fDm+hhFbUn*Y z6`yYip>orQ>Y`^fhI9;L3Uwou2Vgb@_KR1sNDYIA2fsZPflZ!)xO{%~hCFBKG1u8SdVDuNs9zr+?2?tmGcjTswHNSg@ih z)cP`BpTZqH`nmBD#`8IJqun6ZEq zUCX&5bDi;Hv;%Es9q3~us_Bu3W4P41*)b&vfpTE7n;>Nh%NDz4?Yj_B_!Iq=8C2~1 zq^|c$*od|$j@znx1l{J#ZC1$v20%q(8O7n@>-E*o#uD&Ju!-AF?B;F;=hQ<%?W+wP zjhP3zL)&Bm63eY}dimZD16EM$IK){NH~pB6$X*?(5>gGEy$(5hG*jYF3nq|OfJ<*e zQb9RNurGsdeW37qW%=7i@E?w**6x)^6A`Nxw<6PrBL+*Y-v}r=Xgw&T)Se`m?sLLi zd@0@3Zt8ePIGYD{)WmH3#*eMs@Mop;<5*eKs$DR1BSmWp6w_xC z!K)wgW;&{SxpvOkF&YsCJ{=wT?!pbB$Yhn+uKBtBInv?M#lLw_4t~~oz~{WIAdENS zEWfs}JT_OZiT={0-o|5lRaJprE@(Y;Y}bo)=E94=;|?AV;rv2DEhA}j-5!}DDiwET z9GH)-b?V8i;3~$g8TxSA z*uS%HLax(mxOsoW%fAyuz|dd0U{FLB!3}4F$f~<8 zZ+5o;yjGfD8GuamFer}@;$cA{2#*NAAcC|J;1NNjcL)kYd4v&(3_gUMz?*j%0A?i& zL8VA@Qvr7fZvkGFnB;;`5gtKA5(8A^8kizl5a8qC7XsjfTsJRtS8^Z{N)Q=|^oZmT z1iJ%m{|CR0kW$iy4C_B`;O$l z^KPJs>xh&wGy!2A1jPd$Aw}f!oIjyr{S@^hsQdIsX=(NX z>`@->+U2?R3MT$YzL#ekmp+x1jrHDrhXGx>3hiu_$0VOEl3BbmNyzw9)$J(&-T^C5 z2bxD@6)Bf5&le8QZKFG?7qKxqVSVF|KkFqs!R3nKrf_vD>*%`-<|h>5XPZ~|4lHM) zn(yP38UzZ@PO{bd2`LA>o+Z5#K1g=(xh5~}m0mgIrG7|rWp$@{_7Zc(j(6#tX~g4! zor+Rbm92e`@>$m(3oR~W``kMn4J{O`{LO%FzAMz6yLagA*eLz*iznI0|NMiiT`->l%R6|f(a~4BTV=Qgj(T*`L0!0YQ)0(82|2sc z7aY4CK@9la`LQLedHe4hIA3}~*6H87O(YB^gwgkIU}rj!C#%g-HKX||?e_%) z6=$Ld5IC8L?uKyWJ#8?InWIT0T-)zH6;Y>@ts=5aksGTxbV)>~u=68}JLLa__6`d^ ztMY={E;gy+omI2tG_N2P@80JRVzo8O>-8(}Hqx=U{`hRFlL)3QWz+ZiEMFG%^XBt)c$xC1g}9hSrs9}V4?5?Wy!B#If95MH**6LI{CT?c3{| zl$RHjvqzsWT7y+jU0C1aaY$)myGM-~gvN6{OPnyU`lz-~NXp3FnDs4vK4B6EJ2jh> zbX+h;=o#L7JS40bxgBppV_WI9D7c(a0)zchDtatrXMorp&Ix;#hjb*WfM)PxwZXo# zPToTxP`72wsPJ+=E&$K$eHn{w=*q1czLbnu3>2A#5TyQjIOO0?@b_lYSfqQ^X(pX7 zda|h<@JtqYHFeP5UN%kV0jqXM@1>3-jF&xPo0BZ& zDLyK?vX7Yrq@Y83)Zg>LWouF3pp3R)ihRrYn1Is;u{11^583&?{m-Q7aK((jr3Z55r*rd*tjDpzUiXS4;U`EBek$Nuy034nq`*ZRMUJ*~AD^q}C1u+w;)Z_LTaE7# z-awaP6cqdLnB%d2L)xvfrrgFlHD?V2A`JzJ6$0{+cS?R0prODYy|sr85wb?_K&_{5|_>=wI{dlF01lX6oW%7MbMB!ch>hja$#OiTI zwqaY<3Kwwzr@xB@r|V89!C_8@Ic6scZ?%;28)ha@l-!C=@RP@SJz2A|ve-RYm!F(J z16H^F)dJt;t;e7;i^p!UeG*6F>&WcNc%pxS@xx&gIU6U=`hb;nN**KP5js;I4&@K| z)kB%OXGSDrF~NRZYdG+!I-}H#%pOx6?;h{^V+&;GKI@KP7wkxbF|F3ZF_z&DAJ&tm z2g8~*>rwh|w!<<^e$-4cJU+p?m(TLuCnJ8mOM##-c=7?A;7iUQBV_6V-y&ojh93}O z2yBEz7)3Yz`1Z8r@xmGV?j9PFuh&xSR2RO(ZQbN;trbQ_>AYPl_{l(RevW4bax|LX zV_s}s;+Fa6S&)#L=h=_u^=PIR95XW2GXQL#vhWz`w`6Zi7pi6M5!in$F%{q=$ngP4 zN}{-9w)o^4&cBa{XL2htip@#}cj?E`zQljC$GZLj%_>%Y`)k01*k$r=*JcVh0M-4ZJwSN>6 z#zqp~?%AwNGIouc|0e+{8jp_0l7R*&RL`F8Ao~f?K9uTNEKGpkVLD5t85$j~aW7S! zkvx;NH^ywb=;FpLU%pRFtvx^Jauhu~FB&=Is%+m-iY{1(&45uE#NR5}>CC<%U#S0tvjdo;JKa|XBYIzNr<4*Q{V zx_QwOA$>j~USxlyO|G24FsgRjS|(+CJd9v}>u^!%Ve?tI?F0As_ZwRtI_0=t76Pds zC@M<0dPJTtV3I?fqjxFvrj1AO?%{uzDgJ^ontdmhWlALh8O|E+_%(3lj_A?=EDeXj zMkgS7l8f|7bbzm1UsE2hZjW(U%oJ@y3zd+?%IM44pfh6pXg2A&Ca9m3pLvj-=(m=9 zjYk<$upm41mb>AzQ${BOC9zl8u(0~Yc;(_q%V{p=pUL?tQtQf0eHrvp7H@C$qUA2A zn9n)v*u&2;m{6vl1pY;_B69j~_A77D+CM2)1OfVgP^<`0`cF8CXazyB-iAW2LGhnB z^LH-ppM1o>bHTD>Z4_g&O)}HCi`ew3G)RNJ#(|t5@<*?{gp)sRP7IM^&O~)YJ`j=jZ zt>^A$)q;a6^l7XzHuMd5m`Cl3=mt1p-%#J52 zex3<_8%l`rGlXYol;w!`n`x_A^hi=1yj4Zx%7L1x>eJI%~xVzh~;)p?ybf}U3&c&`#p6@s4yl5$qKsX)5cq+jgZYPL`ro7=Hsx4}{L~>bK zIFZe)E1;Olf~Hu!UUT=*EmlBJ?@f?P@0MD&=>y;=6($^yT11iJ9?(KO`=!iIzi?)y zv(eNbTT?t_i5c8y)Y=VwoW@6KF)L$mG(^>aY1ZzVMVc7jQ!}Ra8ZEd={0=+2o#=V@ zR6%99ELBWJ)r#Q>QnWvi8=xhUmU#*%j#rJ=G{qQ&>?DQv@#7mxn$U}VfAoVe0{9gT- zt)WcDHlG9S=t_wuzggHk*W=TQ~lv6I-wkSTsk<#fLV_Q!`M#R+=2g(hjhU5HXqtdKCNtnJ@o+#LtCM4-sv zf=o>|&XfW2Bv)Baw;FX!q}3VfpM}=J&bN`6+O_pTV_MN90#e(9{?Tah{OFdF2V`;Qf=k;S$+1L}wY?22O(RWE!rLRC zcX#i?v5EHj6U%nPR{OxXxEDkYE#uz&gAJ^SGV?_QbtSRNPy3h{Udclih^=C{@(XFGm$u7!g%!_^Q>`0{aOc>?bgt^OyfT9 zBGd`TqTHDZH-3Qmg#v+Ujj`s77ZML4yXH*y@vERe(13+|qVMtD3*YSz(nl^T=BIWY zz~?c;!l!Hvm$8cGPQNB)6)C;W3fQN`$IP?RsdF4!lIP44>IB{QGzL4lEX5lLsiu;z zQD>a~u<(j;&7$7dLYXwMY;ufQ?ojcSNo9SoKq%}dQ1qgI{|BqyPH79j`-Ci>@$-7@ zlZJX+S5g6S$sDC6rE+=8RiyB*$Fw*Q8s|0pfU*pQONQz7KN#j8GS zB&?1g2Su(4F||^$VIT6Hc44Cnmp#G#TVJT-&*zVq?F@78y)yR!o$>Avwz$e<1nY(& z^Z3!LI7r_ysbo6*>WCNo!{$Re(GOoYH*J=Qbg9-h6#v{1^|JNwzzFp)G;A;712J8= zuXEfp;+Nb{DmsV03N5uIqp{k$iV{MEJASNE7-Qz6)7qvkSP(IaFEnNtNhG6nJ$G1W zJKmusEMMwxsfj!%+RQ1eu!o_&y?FaceI_{`tQ=-8ra>?Kd2c+Q|L99o>*pm3xl!Y& zc5BTnhTIRbqnN1Xm^39<+Y0=5EtV>=;A|yxYxPBwE1AsB_Ro15d`*uzBJ9c?YTmN+ z8?xEG8g3Q*v{UL)eb04R=Zj1cMWx;$zcftj5|X z_IK}NXpG-GG9n8bG_TjNpah#+uhs-z^`B;c&m3U~wG0m497#nn>EFYbIRE+>@wwlZsV$EuF)!&*C=dk4M^_wDBVp*s9QibjLJu^ZH zw>MjUnkv>iQ?@FjJg2fQEyyAz>nU7{IY*N0S$|xzC)oJ6^T#| zlM;7FkIx$q3Q)Iw(0T)B+|_I(^)KzD=MW?tI4P3t=)EhU7G_^2@-XS*V@Ft=GaVf^v}!G6kj)ZBg{vI&`Qs zrFR2JGmX9mckUq0qVIp^I-Cyiut(KoP}HEjOPuP(jP~$job0m*2+~vkfcFD^jiw{y z8$9WZu3vs&2|}5-8^gnnGv}j4m+NNw zV(3gtKaxE1H0}%3;h4ih2TM4HOYl-GBD7kf_ip#pY3q2Tv_bosv3Kyt1>w*-kA>%y zswUWI5ysdMv;optL!xi91sfeYS4i`7nDM_b-!I;O-F7b@lq7so)?L@t;Be*9(YST>MZT0U^l0V5R>-W;actBhVlp zqSa^ZOxKMguo{|x0D?h9U@}sGaFFo&B4acu9FZc2*r)$*1P1$Gss9Cl35g)k8~^{j z{J+rh*Ae7D(U1THf!?5C)a#xBLzha(Qn4RkwhmmJg@hxH7^UO7bpV&;$A1whwyVCR! z)DMblltE@E78Vrz{m)&X*T=UZd~r=o$fRfx2m~q;MMN%avUi<8~i(1%`y*()jo>%aqZz47Bm{oMPtnFaaHgQ4YRkfYNNXT)#%(9njT>Fe~yp4Edh@OzqZs#|-- zNP6s@#7B>TGI)SQd!C3a66f}7Bzq&IN*~P1bW92gpWtxilRLh>8bm(H*%*|V8sCuK z!(^rGR}V^id1f_Ais&};zQQk&;|mi&(=9E2w(u;JtQ0AYl5!T*bW5x<6cGuxPZh4H ztFTA@(tJBtoXyOZ82;5Ej?Nw)9?rU=)lM*3JC^tfBzUSxJe?HHcXU4wA0MB&0ML4@ zTKb&?r}QBd*R3Xd_@rC1ok?n}2H||yJZ1&D^mHn8no)|7ba$9G{aqn;zavQc68GUx zejmKuu^FT)k*X`6W1XWN8Iw+iuGrDhUNxRrLI=J!aubwis2~B-`ywVrd_q1fs3&6m zg9BerIpA}Ht;Cy8tPe?dJGyRzum|;#y4n2T11@DjeugIYwDu+)bEG2hxED1RFEBMm zC%UjueXBFBB-3aqu}i&co;md1VcS4*Itn-f z`pJ-V8xwtgWpR<1bQ#6R00icJD%Lx<GO}(vsc!cD{$e4RB zpbPj_?U%WWtJa?c1vxAy#br)EwKb^BzTpyH0xd%`KZAohjPp&-o|?ylu4bfXP8Gj^ zk%sPk5nfnaDfK>Eyo8TlF>qYLORo%gZbIqc5_BDZY)zuY-+| zOt1p=J>I!UbcF|}G0b=W{FE;BW{lwrx}&pHvZ*?U51Yp&5{(u6*-j|7GYCfJopgB@ z?uDcl(-=ia;G=!+z|4&~|LKATOZ=XG%cT=G2v&3{=cV48OVPZR=D5u!?c#TdmZmgy zfwPAUv%5k&1trhJn{yXmUrBA}GRY$Daf)3H>7QUpU#_*WA}Y^FvI_mTdZ^3&K18jP{QT3$c*R*pXv zr&3R`=JCtubzkSR-w^Ld@aMnDQlD&XyFU^TljWLE9sG?_ck&Wk|8(!C^@m5z+nn1i z?v$k7cM5v&vnhqj4U4P|HCI_Og`@|)PIkbbDB$(ns zn4|Q#%_kq|z<#u|W#&hU{4k6yRBS=a2K$^sr|4C)(h%~NO`FW* z;DGjG>km?K(JAc?F}gp#`W56A_z0y^TsN*Rb>Q>oM6r=Q{80%D@cQ|MGU?XQbBVz$ zG#7X(mx6nf?74Qfqt368X;Ba8^4C6X_>Q~AXQ3Hb_@Vjz5!0c2rJ~chk~i-@b#`Z! z@u&UZ;h<{tLM8UHj=`<$4C$j)7uYCp7mep6Xuo~YdPb7c+A-cYZ)&2@NXsJGM>!2O z7BZ*D%;;8IPLweLPO2qu8=sjD$OCTRu{%aSvA8+d4^h@ z6MILojwUPfm?3p3RVYn@v}~#^(^P*VPZK5ih9U2h^@h%vCwjGI&tEQPZrK(f1m)hgBGgTt->9svd+Cq8E*fEd}W?4}{v3<@~G|B^(S9KCm$t z0qDw+A12QRI)*2dVlL{8O{F*AiSir7J<`iH&`I*h&3K<|ovK$C_pZAr;nZqU7wnL4 zRkkZh9kWl!ApV|v0{62mc|GBnI}$;(maptD#bc+^V&kNT)SYfeoiV=Tu6yBF)_|Tp zURUgdMXB?koAYnLggt>PgBJPoW)sA zI{QT^y0SRgFG?}m6yMa0dKvwqzb(e-*U-4odCr>1B9~FA$ntes%gh znvyP4t3H-9>xFUi*?F{sk&8nGoqF6|k8#0#<;tJy6A|CgcVDXaO1=!yH_c0&EaiVI zVLZV_{ek_MCie@cZ^@bzHt~yRL}GlOnkN)pRTi{=IujXV;hoE4VjX_3=$CBV3>(f# zNIUB5&coht{<`GpLBG#}FM3rMLTbKELKb@{TLxcsGTd>fbtbW~Mn1~=7T--4@(!uO z%5n3=plQTtlHYpAR>RVOww&aNytOAQt4+)`qCMZ8g2m5I{v3rjbmVF@v&NK1zL%$-JiX zow3%)UYtD^^!sSSjDr`8_1iDP!(G}aQJ>ksT>Z^=aDNOXq@sPaeCS-nqstB2H& zY<>N<-s^MOkg^UNQYz|F5%r|&j+F%2Wf67;Q>i z#S9OKW%;E}{NxFZUhQkpSv3B~)9{*uDkamL<4HQp9;)( zkBU$)8;hF#cB>XU@<`<|_40+AH4Yk_Von>Q&897xRPH3{?#&)$8QstGnU0FoBou0T z#$|8rNRVz1g)KJwYJRQ!m}y||J*pHbj}z%_vM@T^42ufq$WxgfP3q6FN=Yh|GfHuD zEf~?bq~aHxgnbkD_H($+{9`rFjl5wQmgSW@HdfzNlqFgXkps_IO2o5vC>dSDudCR$ zd05UoE35QEo(|9(t`|HmtNt}~CAL0Z8~>bHkfF?8rm5(ngLcUS)*1$hcXlPd>cTjT za(PxYmzQCiXEX=oQ1Lst(mWe#mk;#Rlu(9V-#43yf`Jp^zrWq1>iT8_;R%plfBo`~ zqL%;-h}S$anF zg!7m-j?)DqB{SQ+x~l7H(w{5mXU*4*t5LXB{q>Gl75Vb|;);uFW#DLL=(?-nb^WS< z3)q(>s`Z-b7%H;U8D;bZzS-J`p8T5Rx-)*H?*NkwmSs10X?lcXlmpNt!Q z?Pd~ue5985xsh7BK1Pt7&((NQK<8u!r_MZf_enc;BI3MvK+0lm#fV_Py=IW!JqKYkH@W-`i`q-ZkvX zUYK+DeZ|;iO9RI{8K@^;U77fittPX=$9Tb!RnNRzon};=wqB+r z<;jOk9q%QwCnSDLTDWBc3E`bLTlP?#dx3k|lOMmp`U%}v=KI}@J!(&9a8ac2dX57l z6KnlZA+1p9f*@}GhcE4g!Z_S2Y)__;7}&gDJ-8ySS%dR_77J;bDZ_4QO6nFad4wq6ep@&3Mm&aGmCkv0@Cfh?e z?WyzVCyTxLJCUt764;swqr>a(tDEaYO7hAcj*9gPdGN8qqe(admRq;e-n!kBd^O~A z%I`Nu%HIk^UwKm?7R0xT$pTlZr^5p;IrG*Xp=eETdSw*+_{{CYTKY?xByxwAX~>M# z0)OAJy(%cu-~{RARqhk`O)sy#ri)82Kc=Mm1n59#0eji{*zqZYxI;Z!x}^#7kS{#eJ`s9l8A_k%X(Fr)rTSIPrOBJY3Y%uDxa;=^Z_9?cJ%q zYZUcs%97K)zp{-!{QQcHj}EsKyRjL0H@iOI))VwK&pCHkRi38eH@;s~aVaXeAMu>a z-JDxG!?_pL)Sd;O`X|6OmAb)TWi{HIk|noYrbGLj$*wE;d}zFTo0dw5lN5@rJ(Z``Lm@FTXCO- zOD*&z{D;ph3Uo-4C=QVfpEx#dlX)#vU`*Q>8X!ddj3ISGdO_3O>TbK{@ zX^^M&xtu%PFL2FW)+aOZDgVQk4RVD~+cIfq$i6hU2QcP=JCxZ|&irk+lUb$CZEZ?6 zmfYBmttERICe9YkupOPJqZprpGd8Pn)4!O|7;mvX@T$YfDw$$X_?h?kHLQhfWKG&t z=2J>{7mCeYVa06X7^e87Wad%R6f>2+v#iN#lA$YP*!k*Qxm)?9mdoQmGx@#ENFUJ& zxRjh6dPsZD{H#^cM25VH}3r;VF-@$!l>bfri zaazArVD=?e`4{OjU)m{3?T#*QhMlgZt*>EOUn72%k4H*hWI~YP+>%a2CnPcWtS-qf z3Vs(L`82J)L$V>K=N^+PbmQD-S`zzoi(kgmuar@iw+wEf7;u&h$Mw$~Q)OgFEmsAJ zcic`IMg;FP9X=ggKFE^U&;E}C&YJwmS5>EpWe#_i7OwSk(JVOuhaBu{{oB>Q@Ly*n zKLu;QHU8!E5=!oU`5@~edCqYs@ekEh=vph^g_=??H>C%`ZL^|}&35EZQEMHQ;&}kc zV4pO3Mth_O{k1O&bAi`j@!r)p~6R{$$jD75ZWQV%V7Kt=mNkv`5Fx3c}Tt&zQod91FZXrF$Dbz0szp*qL#` z8Oiq{(;UK|Wf$NEcJi>@pH~VRiq9&L24-*{y057F)>OIvp3O9TX8qv+hnVO?*{-fk z;fjP*q|Jf=c9Y8_MO5z54~Bc)>9}iaA;;3W%%jdK|7>h^n*ArJVsRC`4F2?CMtJCW zS!~LJqunpBY`QZB%-^q{>h6e=Kl~~=osz1nZBZ&kLQL*8p!$8a1KW_+#OSiz%i^z z9qI^?UY~CBu8}Tgs+4nyRH?~V{%Mnz;nKTBN%2#(r6OnRaGUsGmHN@zu|xeN79(-y zY;X!oojfWuiL~o`Y@GTNn6omi-m`bkt-dE>aHm)F(y|)weZFy8{^It`m>YY>7`xdG zi!a7Qv4MvTrZv_y+AW&g?WdSpFE!wbd6y4g<}%g!yy=i^P;z}_r|?}**}F*6^5xw;^n@A6@|qyQg4af?fVy=tu36ixr8wSN|ux^n4z zf%Tw4!v)RY8X29rqdnq&{uB|hBSJ@Yqe>~n`QAvS_xkzYrra3Sz1h=oIjElDsD+xP z)XBHuV(SsUvVIdzH@Xj{fn;aDtJr#f&dXShUSu$%uDm}2?HsD&W)cu9*HvbcEqzIQ zA6uAsk zjhs%+JAGl2iRGrSL3sJl;mHx>0vGWtCP*@yv-D}3d+(bADPHrGlmvL1-OoJUv7*ot zbnHz7W&K?-mwxF&2X2$ReyzLVSz^njL&10Ses&CH`#!iH{ia!aLM&SRrFWbS&b5@= z`-{5dPh`qWMWL+zn41w^_qFBr;g9RQk8I9;d>kqm|Nh)1rdXE&&o1Wq6p2l++<6gWf|Mca zy*_b6-0>+zw8zztbE^pX6N5>wkN4x;w&9G4M~mJFKYzovbbI)Cjw(sd+aD%K+D=hB z(x$DSOJ-VnHC^_V z+e|eHcY_}p;%nHj4wXF3VCkCNg)p^w6?*TDSF;!5;NG$vY648L*=0cu+3yR;aq{*0 zr74!3ts-gGRid7?jtm#sN9jH&Q=Ovcr4{T_L<-NX&S|G?&Br<0)-;dK3G$y^i?J< zRdCk8la>Mo#sU4>HCB=NDjEr@8b31EVz}SJjppf*7wf@rR_C*iW&|Isbt19~UtE>F zj}k<`ogsZTVl%Inz;$_EThTbVIJigNr70uupS-4_a61xFk&y!bN+aqQ0g{yqN%LeET=!`8;y2m`S&yH1GFvW{$dhQ&~9;q(7g{FRI z<+0JkdR+flH#ftI({x(jQEU~K7ILloO!+lu@@o)x46>JhjnX^pXlJtFDf}>bI7hqF z2cL{1E+>PPO@3IcbgzxijCJ|R;C_E{or*Vi7U)TGp?h@x60=e6;46kpI>i@G^vJ?b z-|-(yw;xZ)W|8I(iHti@-S>5Bqm!}MM2}z5;(p3cel|tgO609W>{p!CMnrbZo|jaH zoSJo4&YrV?l2_$j!I?c(a`sc?@cpQofDWgcqmNKxHjS*`lC~8HPET>ImZ`vL;LZx2 z65e!6EZ~nYy;ePL(k5)Tz^MH_?aEZ6$2Y;}raV4%VcH@Zo~h3I)@k`iZXQW5DLK)~ z(sbUZ`Ge|)sFh7lW|c}#mvjrqLf{vwFrTowu-lg^xPvk;l5>1w3o$#~ey+T^5(0Ng z6}raye7?bBmethfQze5+v6?Wm7Vfd}&h^AW59wiQQEgmQ%ScflPavgBuPIY$O;xgF z_z_;tV~zdI_jYJVRt=_AtwzIgGtaa%Q z%i1rL^3$xUp0$K&g=uR^rl_Th3Sa)7|NPy1BY(=rB%f9mr;74r7S2qQrBq&P(OhR^ zVl%pIT=HFLo+&ej_m1u+xlt#@u`gy){~T?+>`0cGQbo5;>b6j!_(M5^WWrMD?z=Vr zoIt6ttreQ5kYv24ruq8}zc%MoS6p~6xl!8TM?Jmj(qny-I+rg~-EqgBXi8(NmmCx< z;N{b!mXLv|pMvOTFRv9)zYnty>#vKg7NNVaft%BKsy=^R)7amm^YNQEO_u1|#~iH+ z%G#`5xhvN%*Evk^gy0un@v|Sh5USsP>EtSP^460wgEf_|w)feIAE6Yl;?Jxv3wkhG9=S*dyBYJT zs_P%Ksu~4n_YalV9i%n~oXK@`qruJcY>!&&Q|RFXY;wz2D6wGKhsg+VfRDZM?FgC6hrwt7%#&w2%?~R72HpxH4HxV2`@dT!lqwKfuF|KKgnIV z#t;UeyYx$@mzdyBscP^?sG^N`H9(D zU*V@P-_gxUX)%}OPd6+=F((6F%;d!m?A!?~r5xATs%UWG@)#61i_7o=pxrJEgrO(;M>TkC3==v!mgUeL7%buOfy;e9!u~3F=xy5Hk0~eHkN^LJT4Hq?% znw!m@{HoQD?tEtEkxx=^dtPnmhaxx<56abc)YI*$XS;FBwRCs@+xiqSY7C zVtnDdxt>D$qvqE?wx3we3{K`8l4emJP$&Cgeb+U=08_Ru+1yIJZ!m&zDn-e}nIC#Q950eTeR#fK zS!#emq_mnrMRmdM!!=Q;PbLyrrHp_ z#)78z*G))jgx9QvG`%EAz2e7hFRH#IPjSt5pHEPmGN1GMoivoTO!EA=@JaE$cp6** z)lkFTDc_t3JI7n**U85N$P#-rq%4Fom#;YaKD$Y0R=j@2_STGQb%$XTlSzbX$#Iqi zsNmK$ zM83&;Uo8Mr^d#@`oJr#SW#l29Mzf#RIK3}+YGt#vSk|kJ!V^!sbsFuH!nU$L(pow- zL}k3V+I8AdBbIww5b<%ctK?N?zOVXmFZjsS2YM=@0!6*QIXpH;k`BHl=euNl9S4^(O5&p(eFlA3X^OZv4V;4#{GBG}3H)XwA^!+D^EmchXt7 zr3iW78}7vDz=RKHD7Kor(m#EPQf1Z(JG!hr*M_+iko8zB68U*8Unoq$leR5+c}&2f z`^FUGL#$zIfzLEdT;;pT)~YMDU+cOr?qqGrNv_%t+R!o{oy?XaXG&bIxv<%U1vp$W zhLO5k_Z2ZxiF-$CHx~I#mpi~>-}ZaU@P2FlxX{*q^31d;z3kI0>i6bDn=01=s$er# zj}^CzcGM)A7lT>ETPv4r&{wirp1m7T8`Xe&cItRf7kZl1GJJO$xjt600?`|IdJJbf zULHC;bd`mqisvPS>U4r~up!*bktLqvo0O9EU>vLPt<+>kq#88m-I^OYB(P34tb-02 zxqZ=q*_N#M`PBKW#)#zp)@Orm-ZIj%ZI;->%jmGxGE2*^W9m;q`u``_2IeaGV9GA5D`tkC{ zhEjg0vM>DeVX5kMm66=F;bBeuIRz|3tUgp~xhi_%?<2Eny=~6YTCd*|w(g;e#w9hx zTnUp!-PP1NEz(<^LFFPu*8e;;cP8dl9jzFPDz6Hcob?n$y5;k;6C;i9FUK8AdVHgB ziAE5ACb-x9wZW3Uh@#@qA~#eiKXoS5xqWWuv~FSb$r*cdJntzcN$I*y-dFh6j({9@ z_b=3Z!RP8k#at!Y)T{G&%<7*O+}66+jf?CZDLuq&fhp>v?B0X_#e}`e?IF5cqx|P$vT^Q*FuakCJKrd z7_-Hm*6{d^21*DlOJb=qVDJ6lTM5GAEujBTo9kgK@{a$l{tI4hE;Y zV$^!yY2kE`ZZ ze3Hkyr@P&Pq$5A_yR&Y`VjAXDM&d04dDAisvo3zT@PN#`Wu%pC#q1}& zgyzkB-wH9oS)!!biHd$P}Pj>Jio{Pxw@DB1vvBNu5$Gv{M#GIcd$WUw!pO2HPFPRww3m z?1^W#u+Y()$t6rzCOK67q{E)&h?YFFZhbIf?4EoZH+*}!sb1ycLSx{@?IN>7bZOdQ zt-;?0Ftt&X$xkFt&e&R~?;Lv+@`l;gKQk{T)PMcUPAz{1>7^tEsxi84sikj&NI%>_ z;dAdVdA&BlbRUmCsQRA1Ep0uf2-#>|2-cv9VZEZ?*SFbPFvHOGTrax({56bD2aR^l zs!i%^XQz)rviWR5Z%rIvrw@O1J&f)WbcFO#Jw0tGe))l8$J)ympK&}F$v@gCF$d_V9oDSKgO(8tvomAo{SP{H?f|U(PRTbFtNY&zqe;T6Vrp zq^m`0NanbZq`iy})AzL0oqw=W)?S7`54n4{zKVVu6hzuyS%iqExo zK`Z7SVM9MNI-b`gc|f-xD7QN(DwFpb9i~XRWTy#(9U!6cmCa~ z3mbR*U@alO!U`E70mkm#JJ~;4+x;vjXIHNEx}5CdOXp79xKYJ+N=oRrBn=~D+eutw z4S9KDk>jXe-ouC+3qq~U_R}iG)yLh%NwcQ(PuktTkPY=xJ9)GNZ@~xM9u&ciN3>)d zf7AJ%ciUhi@Wp!d(pf`+-`I>On`_+UMG;(~Y5hksUTWIi@OjiVYHjBIMN>im{`s(c zOs%sJHPZ!L;(|Q+xWK#mGD%@MHkv1|aSC4?>SvCh<@jBhYnjFoD&oC(;ryGR>p2Vl zZ_>-e8`?gIaP*N=oy~AxdKVNpNYdy>j(mNb)cV8aaGS5fwI{l5#S2a%Bf_7o)yzNF z`-a|dbc~8f;IsHne@VuKVX3C>{;w+$&7M}y(wi<(hyku62^q0ENmjMBF?HLTpB}!( zCH3Y!xs^J(6tGphaB^dve9~6i<*3~?w&dmnk@iphn{OJMw)6WW9qis{3;I*eul0N5 zsB;ICugo#LPGF38QHX<@acg1IFb#KLl1!}FLf)P{*&JK@=NeL? zMpZ6X@^V;aAI{`y&sb11{h*$;WwT?k)yz^gwoRYA+ij9!D_118)%uj}g;4xa&sUxz zmG7+WK8;=^#oK8tzIp!0orm3Mxc<9XFx;FE#=wj7l0PvLW?f%>$eQ)*jZs%-NV+NR z^4u1`M2ltY50e$& z#k`bnTS&S)DX`6Hi zw{b${Zas~M@^YjF4UH2?qp803j+m%OwPM_`woi8}( zBW`QMYSfOQRhZMhR6x)zJu$}kY7KLW2~LwSwSQzmR};6~J9@cW_{I>aTU#^P@G01W zQdD_Ke(e1AIdqWI(zgcDR%+;i*PMk<%q!| zd(q8F0g-CdRj*_bwllL^B0+5*w^=yrNP-;ladqv3Isf=n7nzFxwpM|7dY{TS8SfXv z!DzG`uV^a=3>W6Z(tP8?V+MU7TXWCM9&yM76-OiV8Qg#PM#tHV-}!QVt+Yz4I-$ur zJeH1=;aJU&9NA>~ zsf6wDN@{!Qu#UejP51KQrI09V$C&hXYpn&$s?$s){oJSPL+JMY^$qpM(u;Y5N}d%t z0>jrjPrV7z5rKWKta37$2k%X+Vt$(c!+O8^5bQS7)gJrzwGyQ6N7NT;4^RCjId$!h z65g_tlmRblPAYat(@0(&U(7>V32}G0fw$%*<->27lL}T9^ODMQ;2Cg){~lH#&BQa_ z2LC-gt3ayCiuddUzzgQ2kMJM60Fd2+^gAa$iUT5oKZ7If$5(PePE|?WCdF#ut3)88 zRcW21G9>sAQ3xFbj)voVVo4aQ$h%2Hbnt5^2tA$)4mpJH5`i#Pz2Ja+Ct=vDL-|)N z8aNtB=tN&N%mo>x+WXh%X%R>^{a(eC|8mZOk|X%l7!pSOTQLY5zDpFsiKh~W9LN6_ zg|Of;;t)DKOnHwW7v4+^!i7&Fz(6Z4K1B>djjuRCatsgq!xI;Nk$@ru1p{!1Ls-am z|M@%Skq{?=V=lapI2gVP3I@m*hp^($gI_UJ^fdVG7!t}o1}LEr4!jZ!^p}J}Sjl!X z(Z&oN&Hv(XYKhKCi&&b_my!)yafO1Ix z4k^EHNEmYOW&lXNvNsrNx0wrMXxV#~*c}X1RoEr6mn`OXArLj-Zm%dCrT89qus_Ak zK$70wt{{EkpYJ^q|K2|ZqMRUT%x`H>;fceCk}wnn7fj;carUZKfn+d$y6;tZz{|)& zSmMzT-lK$z5#a8J;#E&jD-IoFNyW_V;Nfh`wOg$fG{}QYHG3%MEZuAY4jhfaJE0-$ zco{TUgdH@5h7<+E-#|ljj)-g9-tgc;q42NKkTDVrJ`Dq51{zh1fw0i-&f;G>qR6Ug z3}lo9;Jn5{e888iBt##4MT0N8KlFA7+x?B#k%Mr{C|$J{)%UP;^AO^~?5&ZYx`(Zc z7)*$3w>+L6*WNQ6JnxBl?->D}k@)jc5N`I}$#Mx=J9yZNDcCyeIb4RpMAen#g@C{$ z@Lft^*A__ub(J^+VZgh}LCElPQV<4GEDXOR1z{$|Lh&c1A)JT79T6b3n8#2SP~``T zH<5-2lI?PY?~#UZLAWH)cse-# zdbaxLt8f}LiD^IkoNAP#aP~AMep8v0Sn`5dD)h*P7XnaV5~#h&9X$gP!ha=@(>w#AGTqxre?|gp3jb5&?+*k?fb0_fcPtcu z>?Q&IAAK|d@`vp`jxYcMN8o=GMA&i$n9)H+V27m@AV)6kAxIDq{_X;_3;Q=KfD;&e zZ*T2!0vLfI{>A`&fYeNcMgPMYU;~Ck?Gbg72NqLJ=?_tbU7~;~7|7%FUkAVh4E0Cl zcQLR8z@B{)bhowkaJYKqG(o)J;yr#?9%29%3#I@u#-}L&Jx)=87~-jw_efCSk0?TX z@KTBp3NpYc3W<+bgz&TMjUfigI1Bx4>EIX%!axl8+lr9Wcz;D;#3Pg-ygUTv{=GcE zXRhFXilV{MdyL~vlz?>@BTNjg1Ytz)-eV%_@@E&r|5T=g|EWp||5K5YKzw&$LX{w= zICjg55f89O3lt6{>|Ghb{Z%q;-9bfA_+B}(zx)AQ0)a;;LwI<0*N9SF$J4{v;R+}z z3Je=T=9J>vmM(-x2{_(M86v;{E~yc~|G9ZMFehcokRWn2421%B((q?gz{dXf0mN+f zz!`O@K%k5m1n5ina9!b|BzyyfMBqzRfxYHag$OcY2v^GppTFAS_*FH~?m=ir5S-D0 z_6c>+-lz%@IDvqIH1Na-Pz;__4I;^e0g2y<+F)2TUT?RJppg3q1{oCa>7Whhj-@Gt zo>T&c|4Kl`67~=gDh7d9PzP-&LKZZlHZ%$!O=v?B>V6Wnp%C~<(8h=&_(!5PB;JxB z7bOjdAQO^MdXK0bfx+L^fM8Fekpu%t)JRy8J`IS39aiH1=(_7W|L#G!U`BAsL@*d3 zTmL>75{rcs!QkLd8lFxQ!hj>51Q>Okpg@m^)(8qkKnc;temn$lK?h(6BoTGc z7e$B!zz6p~tpPwZ!Lkw!C_(V~`(a2Zl1QVVP$amfNQ?*68tkq8eSu@y#|)0p46bkz zEi(Z|sI>TZXRrWBED?inC>BH5u>0_!So8tSgkqrt53(u5qxAqjEP-)(?C zl3?VCU=jq2N(3X^6g>bV7_h(b0PkpmJ^vd9MIlgo0tZ6)cke<`XavEV?MFl-!Ocx# z7^vuQ0EQsmXHX~xs2UL-xEr}oad#I1Tv{arl=}!n(O7~V-48?UdX4=s44hzx|Av8; z0ZM)Vh9zWm*@p+1IR}!f><2{kO7!818@)fMAkX`=C&)1mOg*Z$Kyp=pPXb#FfOh0uGhfzh=A2fb!gA*$+cQiS0TR zINyV!MoAEBDZoPz4ng4am&F9p?E!NOs?`!sNBaoFB*63zz>tK);eI?ILE^m+B3Z)u z?>{_({NdmvM!YZKpm-`VVUS?-fG)r!FodA@zX5m0LlY{o?uP*jOuQs;Bocu;NEk~T zKtSP0BCZKM1C2XC7#JAh-ln|-y zpD|E=V#Ne2OeoC#7aov50-URf*9ifVxDtyH0gCGon-K(<$^jyv7|%f%hHymqi!h)I z$D%ODiGhS8)_DlM44iOe+K&$$%mMl!;}S6~IEd(?^nqzZ99x(c#FOF~q+=qw+ zZvzi#0rsG`L10mY*A@HvA}|<2{q+4XEQU}YY99--c8H~gMITT?a60&R} z0QSGw4fp4O4G^&hJ7ZCV*O~igj3s2_-VZ}V5fa2wKm)Tt+!qbD2@!)hD6lDi4rc$Y zF$TCGVj>vunu@41R00L!3?gPgBK!kO0!$B*cs!t&Krwgi-~R}M+hh0j|L- zKn$^DKp=U*9f9{(VCDBS2w)Qb*#+F*`wieo4`?fZNf0|75W7hb(h>f>Brvc@#8D_n zKL`RBB0S)mh#e6OCxJu|pXOi^NHnn$g3$7S_yG(}tXv>=MiV=6u)bJg{Qw6gu<~34 z|M%bC25)%|7!UwM6Kg+!VTs)~i2Fd0y?@34_J71=z+nETGq^vmm%u^rKj0r2a0oZoo{q}xop@2gmW(N4#zZmpz zvvhE_b)%G)<`UO;xM>UC&VhtMdRMQ4zenu8?7t4)+o@l%y9yqGx)9#tse@co(h>@A zWf)QkDIpKu%%~t0logazK;#LWlDvX42Bsj(_5VjPrnLRUmt-bb&&)Vytjqp=FVZ|+sgl23;7!R|wG@h-C%_FOa zcp@-nVdm=&x4MJ1t&4{(pn}0dYb*js-qvOoy5rz!`p0M(93U+tM->4~rFj87Oe#d3 z>vLu=5{y_Tdv^{2Ie?eA_*fp{Z}<3qs-ox)@F2CyBgkVTHC^=JrzEaV55@#_OO*}UMCZ+tD8CbK!pU8?Jl$l&TId}RVNb)_J!KT^%$Iq@Yxr*C^z-PU7RAndI{;qN-L%_N$=0 zQp~_-FcX1vx97;~_!`8lT1JH6VeWt9XN^mCDiy;#;$C9qguj5W9F&(ChNRGg~ zw6T<#Y8%vO$e#C_5Nue=;fhe49`dq#-t6pD^=A1q5#Lf>eO-RBvEbgITVMNDT$Osn zdaBuEsVga}YL|qc9`qLGd^*)VtnRL;xO=mL&SFvFUBm<*M@pX#JS97i?PKj&-hY^# zPPWAU&XwC~M6;x5_2R(?-AFMVaYDXn;>;!{Y@MMe&KtFlI*DSG>YXxyvFOOPG)IFM6O$K} z;5h2rI<;Ha=xyQpCoHIN+5t3p&ZmT!Bsf!edD^j6j6*_Cp5kXR0`9F!FhVL*`mq2z zmBa0X&%O9(r<5Lg>2obDPD8;O=w+kMi(;izesPbbNt^7q>N^f1_Hp(54Yi4GABe07 z<&U`Iw2ldv%=fRS_eJR0c2jcDO*lz?$y|@O&0qAwAZGu5wIglM$xeJ+8y6^cWmK}R z*WfT1l2sZJc?O-%aHQn=21Cp`eU#pSf_hP4N)MXxn7Tc)oL0To28JGg9t*}1k~TL3 zvzpdSB@l5y^_btt#}Z2_2L5_ppg19|PR(uAr(MyzWm0z{HQr>)@uq>VD23E1JR&x( zbZ?MUC+6VDM@Fc#==p<$SoyZ#7(&I)lmT*5AOkm$9+Z?O+--iGc#N=gcEkuv>W`_N zBTA9$Vk44!q9kNjARfWWy-2E1@>ajUC>2YrYr(o)Nj)znEX8z7fF*@i{FB*Cp*3j} zJdwZ2u<5%QbB(4KPeEtE1Vp+?qUC(w#hv!e_kQ*w(L~iu#-4twwva7&*d1myC8Kb~ z5%Q>Fj_7Fo-LeVHdoK~JXK`PC61qjan1|tr6YLBJ3w;fLpZ^R@D#r*Bd>qt-=iASo z6uIt)Psomyz&8@l3m)~t9>sjX{U{=6QYypttJMCqC4Vq&Zcm=_v-WY6#a{4CZ+A3Al^uocXkFA`tG@R}P!TV<*w#a=XnyhF z=Mt!gKiT1q6E>l$!1s#KqF2o4*>xnpcPFU6@yv6xJ&HCYz*FZeyVl{o+T0s<(kfjB z4F!f@3HjD(=7S48IXhV!SrlSF(17)Nsw^ksSjVqg{E#mR-;3qcb;M-hAtMXXQ17iR zH~q`hv+>aGz|+MHMDNJHhmIwwa>Z(tGw;XO=$XcEq0wSrc9r>y(b6F?4pTJ|Da{t( z*^Z78_hnhM!&-yR(WdXZEZVK_vtnby2uQS;7$@gGvf1p>ZER>@(gz0nRrHmc%c9EU z7B^=ymTF}f9>2PGxP*S{E{;aAZMI2mz8=-)1wbe7bdL#9BE0aTO8Lk}Zs+<7kLeaa zyH#@3@ZnS|;OBj#`Hy#_l`Y5@CXd?$H40+Zcnq{PFcnw#=Q$C2Iv>ERKXtss>{QVf8DHP`c6A`(TYJ0DCa& z+D3SIy4zYh|I1ojn+2q`V3w4`6Vml{P1O`d#|99^_!O`kgMlZcZR_#K%iY@6gBd0Y zWEb=E!$H@U1W)L;i_0TV4`yR#5wRQ70u%n-+&pH6fv>NCAbf^fqM|nsO!1_png2FY zV!-zRRe+Mf990+~mlvk%?Z<`fmnY--QGB$i&c)O~N!e@QRG{@9q>CRceVaIw9uoLFnYX zWTMxE|L40h+n7*M#?a!HB&+e~@ zf03rm6!*Hu27`kzQXToFv!k&Zz z$)+1o`!`J>5O7aYQ0Tu!5dPb{5&KP<*k4z_W=;SfzdeA;n2JSPU@cy$`T)s{+4xt$=o9yC;ba zl=0~T);wx}2EQRdf|T2RegmKq*(M5D115ZGfUKYqfXc51tRmYyWcysm2v8DG1B8T) zfMaAkifq#b)c{|R0U#^%TdoPfk>p5$`H!UlfuKM~0`o{`g-(Cjuqe6hn87j!X zR^o=Wf33=&i}mMHfW??WAkl07qd`DGb{IufIwTk;RaO+8@>-@SL6Cn46$pGIRowrO zDiHFA*B<7dY)0NgvQP!dC418Uk}DA8Mz8=WGNfQ#Z?z9n)M&_WBWVEti-!N0>mS?U zPbs^h?M8&2KyFo;NSELObdolhHxma`rTBmhWoBSlikj$OU;Vex1u7F((W+SB0ZP(@ z|Jq5EAn1)I`&0FSAn@zGMDtIoA-_cqC{v~d=y?fm^o^{pE7|q`|6C-97|;^R3vBC> zq9ME21e57e1K7&fyNQ77Kj-%Ms@<&4Ul%v5xFM5Js+x6ef+c75u0vWKY)+{2h(V+0u+oI^Ve#-##W*hwn zH=v?7n&q#b|Do4GBLAgMK~Ol7Za%XAaT}>k&_T#ARnFX^|5HH!oZesRfgc#LAg>y9 z7{vjc?QPJYFkr-92)VFKfSCgo{eQpkH^;73(T!{)4Hq)Vsp|D8#zup|{vZu@vv~hO z8cgJxG~}MT;p-n(4kYqhfq`xUENy0x$nTX0{f?}FEq@T8=0Tepq=1HXqfe3ojDcMD zYuzFaNCp}LjShssd4MdigzVFLAk{dpG!PMVA5aNU1Go_PfqkSw>_q4TDS@hheXu?t z8Ker}h8P30LFzz7h#?S&Pz7{C4FQ}`LM)^W0>NNN&PpH&x{)U0FdBd{nBdydi2S+r z|76Y|#^pa`rJ)2!#>fCQvHHNv0Rq6el@J(=0Rskc_W|k{ zRp12K)*{=qcw^vUtQsJlpbHShsR6SIM*rAyqGCvO$qRTSk|OCrGKm6snaFkBZBOI_ zO5<+qn8n|;VI@Y@vo0bJOBsLX%bVbE_w%<;EO{o4%! ziT$@$yfL@v*Kgcxi~nOje@ixC3s9oMfJF=*#CwD3*l8F^;DG)~seAncg=eE22K<8< zbj*rq{PBT~&oL+Romk%4D!V5-4^$GYx>f6a_ae$4c_n0qO&k)BKwrCR&# zv*1KoNIo#(oa+JV*+PYTt6)Dt)A2(zHpx33TGX^HM8eN3bmRr;=>=h7>; zFfKHQA5TV@l?{y?#~AJrIo#dp7wwLsJ!oYfsHPvqWy;cFk4PdfW9qaN@1o(49UDePI6B z*RsX3X1A~T>Q&z{NAV7J=H%VAFIX%u2wA}rmQ}YGzC_$QZ^GbT^uO~3y*mTlmCn5t zVN!w4fM2MiHO@0h>+cey%^LD)(JRx+)5)s3L7?!cUj!9 z+?^t+wbKub&jyWZ_CQ2iI(mjv4L;c(V6LKd%g{LeZesI2xUMaa#`m3bS zn6!nBnh?y(S9}q@85m0R`f|(mz_nU`9-*jo|9(apI%hYr@%ZXs=*3gr;lb?#ZKdo7 zF1v5LHFyRj`U-fLwNBjD*E&53@^FA`(~eUJU5(xXUk>vq+or+A+s~aE5Z6KQ83iY`ltSDc&*b|8U5;c z{mfpUrH+ii2QJ0$t9TkC3yGh{Li-U9xXE8>xVdvIVLzACl-*#H^D?V0Ai{25`Jq3V zT3x6suQeb{toy>}GYS2Z(mmMm*X;+bd-57u@`)UMtz~B%)L9tTF#Xnxst*bFq-Ul> zUBr{8hT2iw$>_0dME2GY4_*=sEvp5mo&Lv4YC;MVKhg-8F~NRlP9EB+4XhN1wMl+U z`4lyQw*t4Ee7()Hh|)cr+05CS?A)SS)KW9Sb@_E3HUeF=hxm=jZe&;X1Xlrl5(s7&0flN;HMNC*_)*hLd+uQqLn}gM8LDAsDD!x1QJ9TRZEY)}{VFagUE>TE?}FnmY#59CE^)-P))9RQETP(r9dT7JR3n@s zh|~baF3Z=S3Eo&~o;A-Wk_5~q#qij3h-CTC#7HbZH-o?8TBt7P!((w2d6{h2h3GrPNvjIOz>eU4&&~=J_sFC9j^5Dq|hLszQFVI#S|m$yr}`lwOlK%T|+4E{-OUSum8tjjcYk|ky>6=4vM z_9>uy3yT_mxu&EwTWERb^uSi~IgO2QS}1`+S#&$FfF6eX@wIb!JlI4Ir@f8-BUzm0 zR@5gNHpVhJz(HrbBP8P~=)PU3jLCf>nh!Kg2K91 zI>+1{*P_A;_cJZ7?Gnx5`Ook8RJXp;^)l)PR|xonKY0(7J$iM49}EdO2X04`1KBTa zX?_QMe|l+uMS{THfq(nsQaM2YWjZs`VPphObI1UmbYeWXFqj!CA|i;4Lqep;0ljo8 z?msO4pB~hozUkjyI4^KkOmrQuq9G$^b7^iwpP})inHsX7f%5%a%Kf57wTG|nYGZR@ z6KYlO$|qn%G^RA+-5-`4hG`%I?ci(zd1K;kvG}9Jl#2a{?T?y2#QXVPEHz9Fo7lLm zB{kGFx5SG_kuM99Em{@6i`r_4@*eVM0mdS?t^$7=<%RIq96n)w@lMDn5mzxOCZ;+J z@x|Y=gNbkJb$~Z_{hq#K>hppUecoqhOF8yJ`i|&Q-W?Y#^GEwuwirLgd#mbfSayZ> zl((B53f+#5S2gt?6=qIIo^5G93Np)mOyxLkFJPNtsOHynHc+mgogU8N`8t>Ps;We* zuwC`et>YIsN$R=sPp%&6JDw0X9DVGQ!bL1x9yB{`Rv0T4;1TT|z{;Noos5-rP1lz& zEsafy(=}OsE8A#Fu_`j3Z><;~q7^L{v2SN6DV&JLq8uA7A(m7UkvO|O>4td!^M{81 zOacv8wE<8%L6-IPfa3nS`_Wkv^_@?GLw3(BAd*5pT1=nAyvOxgF zK!-~2_OCsw8U0PM(B&(l*iYuH&o2BDs~6sCc#Tk+zN!uM)?q4|&a+@mero$Ni$jBV zM)~EK(H#YPM+p1fAlW4Y2hLAzuaqhA5UhC5XVLG`X5@4D5fqbeZljl%%`KHbpPJq6)%byH;6ckWzx)S%i)J2E<3<@Kj` zvOiuMnJUV4sD5z=bd zI=DBEag$I!wl?L2=+T%(`tu0M>bdSZl0kI_4 zM?J$-z2=5*XI2Qjs;WxzxP7DUjZ8#c5|c$LZ@Hd8S=?rU)l7lgg?* z!eA=~FIrBB`bVetE4-?~+#-Ja6h-z{?-v3(pDHct&r@lxVfgn4-CjmVKG!c6F*s>i z;DMc?3cIR!Ho20hw0-~Vi!ewV{e)OcYYdXfWO-J_|EBy+U`peB#=}A^n!`w91N?EA z;P|+7_Y7?kg*}Sk2h#iAp3Nai_UqqSs>QVEET42x6*#K%DVM=g{$R^QCrHHSN5i)L z9_{L(xSJw!BqNUs!WB(G%gAMZ~bm<8Azs?iNE=QiCbnTkOwPDBkjqKct{Zxl^=k z24T`WN2?7q^P65Wo~w*&zsIig;QqOgcy+ja_B+Ja+wb< zhNxD_&?FtVz`EUI-`y{Qr#@(Qvo&IaMm`qF3E1d(XpNG>;%B9NKJiOohZ8uXl>&9x z?n9o#jm{n>KRjwZr`}kNz0QRS%vz^8xuYm4KIGq0!8Wyg`j8{42Eq4fyvpHPi ztDGs0Dwp-WVu!*`5E67eMfr#e^{6YypQsB?km0u{jgZE?9V`dW+sXqgbHc_uA0GY^V!t1PxD5AJ>B8LZ80*e@_)(7o zF!*{%`fgLp5%KVs%*YV=O!En({5Z;t*ekk!RIE4SZn0(ha<%WgF1`nXmrAWT*0$#x zKcHna9yqi+{d&E)dL$Ga(^pBYkj~y#sbnasaar{~gXsOKYVrkH&Sa^CSw6Rxvb10F z>)=6epAcMZZ33Z_=A&DCTmhh=UM9rKZlgefn?JXAlgzo?n4e~#^sz(K+pHEJ26f&q^DU1pTt9;l%VI0X#>q1Yk5?~puNnG4QlV6VgRjESGn)LqpyXDxS zrD7U@lTkD+#WkJpwniw*#GITgUjf5wm7iYm3pxKICZYtNmj_ulj9jeNDt6^1FJf~ge{ZB+e9&Q*`6(PsDCqDY$CJC|bvrz3bjZ_&Q` zo8(NhgU~vgoP99%C&btBUD6K_@z>AGca1+FB)a=WR$YAA`1rvpwD zd)u)E^S_)7VKRjDZOAVij4_Jn*7Ux*9}|=8Q&N$MxZMthA``-fmc?ucC?T&IuVZ97 zb7t0D$=fi72u=GpBN&H}`7|u1H+!~Pfp^QNPxXC8X0TSANoWP~LNNDC! zC@L(<3=x3~LLm@lh?uA#42EoBFhMvH&Z`vQ0b)yduW>D~Fz5y;ZO9?I0ki%CeEI)@ zhx`rU{0(OD0x9o_t|3hfBzOz`?WF1d3nLK#TR@f+YXf5}I%?tUcNGxj$0E@m8yqOGKkV9g zKr@wI;EX=(8O}}?9sZK<(YBPGG~xT!nB*gr`Y=2 zvpBZ#A#PR8sF$fDV&`hsR6bhf%T>A>#rGAX zHaDK!JJs&Ry0svQaN$v^9Q2(~R(OEFEyfCe%cElb-LGWtjp2CALniN`SUI`n3w!)S zqE-+4Fa%V=d-3#1|4Ho&2BiVi3j7MiQS8=TS$`YLlGRK_)rY!X)F1R)vFdP9I75!c zdg8)jqr!iB@saJ6Dh#>@>d=kN-S1;rIN1s@?rD5D3ea0RAQXm$=LUvtBJ*^ef|Hso zcnXk^?srBhHJ##h`<^O>ms9WOL@jvEs-9>J$iyY!keI^BpDRm9J8cgsbJpQ{bb)Ta z6ArPH!+2Zgrf@>RU&#$GE#@^(?h};Fkx&0cX9?0^VH(T`h*z9AtH}I#r|mQei^*;S z2}ZfI^F!Z+Bc7LFo7}f4^^SQL{WSbY^`~rPLg`wPyeb4Q3`6$7?rhbb$Ss)d_GV!D z=DU&MJ9@==-F>+X%>v^_rBmMT{2b*i5H{yCbkk^X=|YdvxI2xwKkHcd9IG5=4{k*q zvj&_lezKC3cOY&wRF{KgJC3?jm&6RH$fzyPg}uW3B~E9B~frr(Z|9)0GM0*b)r^fYPZR{Az z-67lT$FtP>>L_TQgED3c$GP1*_Q8%x3x08d$M@FTzu5idl!&|6w5V%@tTQF6!C_u? z!NmBLQm%`O>5HG4CL{Vr4NpDxGAHxyY4&)WY0r8hG&Oq^JMVCk$9M3vvu^h0K>)?u zdJT!rAI27RbpvwS>x05M!ol58th-aTgk(ChY98D7IZM4{F#j2`ptM(dO)(! zqFUqbAdTM_Lif-^^}B|T z5SO@syzxw|Mi$m$x(rD%i37SNv2Ep3nv=spQyxU`McWo#8{Mo}mQqR;t82{q+G&DV zduoj9ZePvIFB&IFNBy%S1Ilh!JEPUc0)@nP?sa+b_2xD`a}!T_{PAf1Nz?uyM&COe zGyEq%cgXx)&!0Nfw0w!^_lXjx`yfGIJ^sGC*DqST(^LwW76>m z32jzCf{R$8mmIv?b~nItDZ5ZYr;Ex+?fpk}G{tP?u`jOMye~#txj(z)?;26mfPYyS z`BQr=4;fhxs^=L!O?lN$w{bVwohuhB&ASfusMIXEht|Q2y3l6Jm!y;Zz4^l6>|2ND zu|r*DO=9Mar>L(!%5nbJaf8%~WK;|^;eX|p2r2%NSpo~+WS0JiF#-$!2Ij%SzjMdG zjgdw1brRusmOrBvhY}2e3kt(w%wPyqPz;%R0E6Lz$RrTxBN*6jg(EYKLm){8q|Jdq z!OS3}O@dvI5rYeY!4PJU7)($E3{-G|fQmLA(*Md>frYP+3jl`iNokN)?mE#aWMF8- z3<5(1ub~7ONK8-|xSdW8bblme`ClU-!caj72*T{*<>X`v+%2WKwr>Ala&)}tU}UDZ zqMhP8g>j8Jj2WtVEGd&U|I#P%NMwsP%By{Fm)XV`LQSpW8JF8Y4DPD7x^2Zi#OQx@ zzLtxDQ*6g|Ttmgn$5+hDchFnH54u|>J%i`5P?%LZ9k$}jOrYtd?!RDP!|VAdz6ASK zvd~M{vKG#kpgOMsg#<7bZIr^KczHT6LLBOAI65JZm>p00@nX7OQnxtzn;vdyZi%h8 zH({pytZRACOQ=wAjbz>_r{XY|y=h)!#H+m%4-LS~z1>{P(@nms27v<6|Q%KR)abSDGz@V1A$IBI2gWyku13z94x(b~o_cp zyI%|s3hzgn-j9#vIW18V{kkV_sKV8L{yei@4Ut~bGveIGX3q(gZ|;9nW&UH0E{btB zXgB(5({_u=-#2Bo)J!S*g=)g?I}iITLV>7^3%xO4`La!`uR^u9$*-Tq8z+rn2KYKW z+Z#Fa)nT%>_`3B#Jiss~jZjN%y2;ttlHXR+y`cNKtOy6OT?g%2x1~1Dl+-5!z1^NW zKL!vLQ(aQy3+&QcFRA<@aNWQ4rlq*)r4HC6QJt&sIY2z^eB;~9_6(=>h;~8x0!ZXX zTS#vXYS;$(nN-kaaf`cAp0#|75HF z;|uv&b=_iRnA%l@7l%MD`(2*yLT^tFI;;^CbF*BM2SL)A7}@IK@7!M9x&tw}+xeo3 z9j~+3hH^ zuI7A>B-b^~RKWGIQlJK^t&asvGYvw>^bte(q%I;VX(>1u7_7*LP|Tg`>8-8o4QzjVj5iNlJrtxoIQ zfK_>kkpRNSZ*%uq(h9!d*v<5>&0sNw(TGosw!M=3z@+hZ#u_L16E2!m1KCsQzJ+Xg zh73sR&d}*o;1pLF3MZ<|jL7}2JKTxz*uscX;^efXIO!(z{y540NskpHTa)jn8Qy{y z%KPdQ-Mg_=Axw<^ZA_>>DH>-!2X~L)CxN*5!Hv4;$#hcD6(8{ZEUy%+sy*rqE#TtK zwyJf8YcwzktFjLMG-M9e1m4zqOwEd<1en6t%VT7ss$I?IZTMm!mOe&;w zR!+G~ZoFknna`H@Mxfttz9zE7#~b1?@Q8Wz_$kl0_kJUMYO5aZ1`E~4(9WD*j_^(6 zT`8+=Dnxt~Rh^mRPQoTU@JyEtecoPxx{5lmbj6^5z-i@~<8Gc3LZ`h2bo~-pnJCNCF@aqM()cTuxsjWEQUwyk`<|QQhmsr_E{A!hm)f?iZxjuQ zXqzpNM>DaQ=u$ZkWil0S;>W$ey=uWtlV6%EXAywz3EMfwJjn!-zvY#Pnq{P;F}?Y6OkR?X zNnPP^Ai@$EnfKAb_=7dO&`b=9a0T}o8>F{}$=YCi+8I`D_rB*Kx(oIscLWOjg`2aA z&IN>gxqCz-YejjFS!DIp>&nO^D^4cUKUm%UMXTgTNE~Ivit6X9`e0=a@*v{*p>$DT zN<-V4<~N<#0ejCdhxDGBnd+5pHhHSO!`GdVkDhJyrEXMXBBKKwmnHjLfQ)#7o|7!s z$oCCY`b}jrzWkP>CQz6xzt)jYiE*Qxsh@rn!w!`PLy0B5v5Q0I^1# z(a>bP;tRfvvwBX9db-(dgC5pmhrVjLJe_XE_huZZ^t9WW~)8%`0A5D)B8V+zO70AG7qo);SdAm$q>iYUEBrJ0M;#j!0D;Fw*;IZg)QstMkoYJ zk~j*hCmJ?2S>s;rf~n9Q{#xq+;d4bL+_zCWT0JK=fzJ_MhRUCRi1KI*5l5R7Pfz5u zL2ZyngxlsLYF+4xT%wq;>vm;n9DJ#=E9$ccO@ET?^CjzZCNeku2 z{z>Q2DiEgOmLH~mKFh~%2<`xV?A~aAWA_Ia5ih@Oujx8K`_>m2mY`Zy~iu`h$ zEaCL#!ig8uTW zN#5W1)gphQM*lDJdPqnLd~*})ALuib+PlbNAeOX{4bw-rj8Wpb8k@IO^%47 z!W|a%weh!&(|!JC`+iRY_EYp261Og%L^hej^^q7XF(F>JL>)o4irc{`&6o8p5p%Om zr>pXh6FYr*hk=Gja={-4c0UxVpb^L2vr8*#ha49kU=8Z1pcpQlJj27X5-yzt#SV<1 zto_a@va@%HaK#CYz(>2L-=_L+9r_sxnOds)C?D91y!e3=xn*zJn=JuJGUd9VEQO(gs-t+X6!cV)pHO?1i`Ih(m(?6u!GYnBhaZPmzK9K83 zEDmDY*Wk%BN7e!KNcO|;;>x>*N9tlLKa%)mQAC@HSqFRIkdg=4?>gwx#eauLvjKyD z#{61*xQVED>+OqUB8t_AFlLrcXv7Q#c<_xF(ykO?Pk$}KiNgR99L??Xx(W}y1MzvH zr0o@NF;+ftEZihoGt=t)`2OmvZm_=T`#PKi*3XxHjwVkFdtc5SIzCc29!+Lb`#L^| zspf>gtpDkl3gTVbexPn+LseFse(d=r&NCzSEMXL}G#EGNxu9gV&$dlL;2m8WRaB*6 zD}LxN8iJbK_CTcx@+gG-cuwcm<$%LJi_zfR{l-VCd5h>7i&?sif!teRi*o@(FMjyj zBc^m=(IYzFu+ci*V$;5e2CYD}2Kcr-y6Y?U6OxgX-% z2&QC}SkR$7Ig~g{@`{>5$IG!hwr>O3_H^wHdb+qa47l7ro_@V6zWF^@1HC##k3AIq zNa{e9E@En3B~c-N2IU;9=~X^+)&f3>l;vXvL|~*A`sEStfFy&PwVLrHRv3g4#SMt% zAOSH-IJPY*Y+f?UjM2I3X0UdX(4Q3N?hYj`I-#LHdh8p0C#A#W8#*-UlX4Hpuld%t zVzG`9&Aq2>4% z*$-=3^8Qx6(R=lq&x}ZR@t7>6?l~PW%%TC6WXm6795F!_bO3i!D-{kWVcLhH+}=_`056hkhub$p}XxR)vp##Q6ABXAToc2x#`u-;qONchV!V_(sN3( zN^V(hpQk*BC2>g^*ZI^f=DQD95b&v0Aiw*Pa-^09v1o zNxbs-HoOm~Hfd*Zt-;fi5i78)7m*kWqsDcu$a)eoK}>nBJM}qo!iLIuW0vcH)V*zy z?r8-&0L3vH{>c5nZ9LkaBUGw3zqHWnvK{92Yh_UAOaWz$uS$6IrH-n-dWhP89_wkcc2nB&P{W`aO;sRkjbF%f z`0^5pBePEY_UlOhP*71|W}$S2TD(K?Y!N15(&ndTB@}AsiC~Nw=;NeP+_>bPIFGmY zp*eSJoH`=2O06vTj1Y;X4vYv$)+K@Q>a^~<(90uFsoE!|mR~*)a~M4Bihc&7{3-sl z7v+0dSBSxeo^NaYp)Cy^t1Vg@|Mrx()rFECW6VM2e&u7ur-e;&A)G4I_J;%+C*e=X zXjpcvPw?!%CS@A`bff#B#?5Yy8HnDCgNEBfFzxyIiC#{PT!?UlGuB51MDJzw)z2^7 z#9-^PM)*rSp}0e}M3=Flc&gi6xC!)NO-utK)ek1SN$z5U>jW{po0}pclxB|uN;h!3 zwHHZ)vkXLQ+94ms3hKhBvU`G02l~6!S1=B?{We4JnP`&vt%bkH-XT5$B~jisle3ij zK}KLu3V*fO<~Lr`To$@agmA~3W0q-~vzD!xITe$wAhDdxx*vie$2!#OhNxWJqSC4~ z>T$mK2>xzPA#6vLn-|o7vgP-z>KwD82}6Jj2>|dP8^Z8D1tnKlfCAeM(YxV6dWOWDxgCa=OV^O(aUt zj!NGf(c*hW85iUG;G;yUNM;(x))y$pDX}!ozSds!p$pvqn5i3)vm=%DD53$avE!rH z>Li~cj~QJ7OW}p_5-$xN^$V;4lrZIsWahMpuDG?yAzSJuXj0kYH1;>!_j8^S53?BN zCqRhzQRfY51N)TRCflk4xsKD6#;6ZMz3ODbYF40;no{Yj`8)Zc{I!o~Coq>fZR z4Pm0o0Y~Lfh+F+YxJu+1Wbg!1PgUJRkhxocr3OuLpk*faQjrED=U~|BC9RNrcDR^v z`A}Z-uZ1U>j7%&Sw?yYlT`E0F>I27G9!_aT)mgBN&ui=yI{D-fyr1?_DY1g>yYamZ zY5UdjNb@AYO4+Vb_0GT~6{Dw`f*NFNAA!dY=g#6KU7sXHl>SmHnm-5O6_7kD@QNBB zqbIA0`KkS3f0bxzL)zaV>=c}K^)RT;f_2oQUNh%Wjf3%)(C5mM%)auWCk~M&J9>%y zYtx~742=V?iz~sb_b0X9odnaLaVL}{4>qLr{W8S87`|s^K#7lOHIFs!an3Th-7J(&5eat9}Bl%j-3wR zDkOJ4{Pie}xlM5E!M6?`pKiM<-wm(Vw^MYdJ(;^7$u_Lh1eo=}(U11*mS`L18e9Ai zG^>MfnEr|i{&fJK;MR>piY&PMcNG*8=KfuP@mJ3F-zUn!;QuN-0V9vtBa4OruCSY` zf$PibGOoaBGBjlO#S}ka+fO0``kmqZPe>c-rXy<}Zt&_qOFaI=KfdwGZ|YgFL}7v; z5DbVYWx7e@BEOETa>0Ut1>q1VFq6o{^n2_-qYEe;3DP6;#GX@ZwEt@&P$=@49t@Z# zW2Hk*|9`xXjCUYl0CkX@9CQuM|50{xO|H@mFS4HF`n~^r@XrrHz{rdM2#^_Mzvj(# zTmrw2q>v#91%Nw5^7|$Qh8Qxex{g)&;n$(k|G$qSljDLQVG#iKe^3X4fsyG40Mt$a z5Y=4QZxGP^s~YHcSn_+KcWy!&WaYtii1KF%*k2(E99cMc6QTs_X?TnXlQjL*Kj9uA z(KAn3om0($JV~-t4wheB5P!Io*hPbA^*lK!seZmy!$YMsXIlPv-oL@OK~k&+=%O*Na+Ayfjg| zlGt)uHC-5Z=A4UY@Z>vWTAHhA4|7~_Qm&das8G%CrfPWPY?rAyIN=ggsVC;SN;&Yp z!Ews)%;S`WG`gr!`9a1AYj4GZ>EuLAn9V!pRe^k_vy)hvU$E6T9|Rt4InN$>c~w|} zl6SO8k%V=3U)b8O?_q{DP^Lf8{!1?8E*j2%K`{zhz1Rr-x*o;x)8WG}GOb5E% z1(xO>wt5AVj9`1|pkCvKia%9ML)9Yw)>5FB6x&xY+d<_^FH|mv~utq@Ktrr%edI*CYCUl#=Vt`A1h20Mg&qf>KfSS`&a!S0maSk z{7-!izD9A7hhaohiAB&Eu8V__TfR+~FZBxy{kL8QLvHl4;t(0_{{UcMNB{qA42fUvLPXu?S2|P{j1_%5g9RRCTosM?(cy!Pnf; zP$5;t8;?=(|I$o&#>j$FtxZm4c@1Xh*0gNX_hZr}rNcRf)d zsf*sIx2iyU`aH;f0u-GxmEL6-rzc(s3i6}%2Pw2N&1v87mA*q!#sFWDOVo;G(W*<~; zL^Y-s{Z~qX=j1c9FBeE=W@l$Jv1lE#9ZW(oy}h|eW->`kLXBNR<#AYim@yb%ypVwW zyfi;D^V0J!FSW~TI?l-*AAFEp?N*7_^C38=B*Teb4#h!F;I1GFHnu1oHZ~P6LnaZ< zCdPShwCY>z@VYRQR=F#@_y`n%oB)>d^cB=IyfBT zihKi&6s^m^FVqR8$O(mmN_dbV`R-K57&h9wsz~YD(*bjoToLkM9j*AQF{W=QDt62m zHqN+M1x9i^A^igkr2?5KQ-b5n%%kfqs>08|%IB2HZEu^InK`BO?>Y&RNPzP7Q4m5T zqm0>@p4f7dA+X^2aMXt>{jD-DDszTWJ-2V~BBtJ(I^~$9kT5SyE?~UF3Y~ogk!*#@ z;w*d+lQq7FnZ1jLaYa+|!>*OD)!Z9>!DjiqVa9y21wW(}!ES71+yHMd3JsLCkO&s& z!o|@_)v*lolQ&1@Z-cd<3uMliW+4s)qy%o?O}RgSipZEDW9BNvtq9;ep_1};#Ob=V z*}q2Qex{Ld;r(LWI0bWBxdASL-lpX}I=>E}-VPognAmNOF7?z7o}CI$7r|Mst>B?7!O5LxdYiKZ<1k z+W&3O5#vK|NMi_$mbu{l#VfM20g9|%iI7%VLMrdUy;`i+p6<5qGR^CORgVLLG-qDf z9Yx}wG~T_M)uwdXu{!YItMfTUNg;WfN6gz<)mZ1_iyD+Mfd3Hv@KSyfK?8Ds-SD^D-o3Knd##Ut0h1>D%`U z5VWh2XOYCMyJ!3ms&s^{Bopxup%eNa#DLwick(+dtq4^~b18|@-c@r1?ttjxcj6Vl z{{2&`fc&*znpf*pztC6^53VLwN~Dg4Uc$-H8Rh(#BkS_L9w$Hv@S!BHtX_$XfkC2pyOPczzPC^wzxj{ zc728A%;1A@=iaDpNXI7SY{W}x7<2!eHr6dANp3pN`z86K*SQ%_DeJWn~C99xW zd8v%nyj*r+jmEblMivazyu|X(sZ2I+RXs1Bd3OEXnAOaVhAh)s_EOzg-P2J1@-c6V z_tSni+tl7)dCQt%t9`d$iG+PT`r!@HE18YAMFz`Qe8PE#kW59R*pp*#UF=WP72nO7 zn%6ypkTZCNpa5Rr5R0Hhl{I(GNQBJf&$(nyNC;O~>tP zFqUk@8PcG@sQ4j4b;6D3gZwQuX4Uw_RI?B7MlyrY*3Lua*x-f)eeYh>bm&hW_qkTF zz#Qk9cpEdVj5A{Az)e#kcZF>;mWy@Yv&k~H+e+`Y@jKU*>e+1bT)MuT6R7ojW_qg? z(L-lMbF5TD+DS;n6P0HmljXmzbnoSl%xu9>Usg;T{Ec=u3o4AAiHh`&wgpFZ!~!Wc_F)Wp{N~AM`-_Uh z$GoB@j?~|0P8={hDkK?Fvc6yip;Ngz8u%f<_)YOdA;C-N>lQZi^;ENgi#_UJty0FlK zh}$Lgfvej&Fc%Ibo|?yMS-{scU2(ho2+-XYVVLrcn!OY=#GRJ8QZH;(^2Swi#`*^GvYI@;pn@0<&TjiHX zN$#(&SRvyQ4shf5!)~@~RU-LQR6FZ|Zta@BHLUFA@>%ala&I^4F?I`HZkH#Ok*`{` zRSwLyJ{uH3ntZW*5NANj%J*q%anM`DBG(D6nRBOS`4hBGHEyv*G{B^jcMRQ;vRGnh z!pV1$lFn}R1zQNV`@F)Xu~S^W0~wU-_gM3_A25+#VLLY*{e_aWznxVvCf)NZx&Px+ zT1?!Wlc(#GogSA4ZVHHvw!s-&&6_u3?`Mn}4DaTU<@FZ6^+_WfdAGfW$rcS>8( zSQo*u-T&Fe%(BChF2BPtxn)!^pD>^~$@a~*TfCH_XFdPhk9IFskCidAQ{={`mmWR| zP_wP7J0B4*@cSFKbZs>fdv2xXkZrc}eEho2qS5lP+4G@2HJ=w5swB4@<&-WlJiqrW zF*#UCLpZDR{%hkw>2o8@JD!@pJc~&kW74M$XLQFWBfGs#Gue&k&4ucZmS4V=te>EX zyEi(>~z=iL^yac`YBe9AQZkw=)@r?D-Zzxr$p;LL}#usfNUQ%2p|hIj+Wh*NeWDeSV74*`5}f z8~(lI_vAAKTUye&&f-hIzDHdOZ%p-7BsX;ROl?f4B1y+!g%WcQ)!)O(l(8wl&vKPW z(PGludfih_*}`j2HXy#nFtXU{5OdUDI=TBS%rjf@mec^1iE$B6HjM|AMC@!D!;^dC zhwe2JGbVi%Qdo!){X)-JMwbz`O0v4VMGPgrB(u2OZm97n$x3eyMxRw|cq=h#oq|{} zPQ73ebL2QmAFD2=j1G;32m1buN?YL)Zz}krerD<;Rn4XP(nh+A$0M%JEiegDKbPrg zIJybJq>@;rKjHnHVC)cL`FOL%)jT^dHFwSGrOg=D*;V5;{1Z>PjhcXD@`QPrt4+VW zi*0_u<&@Jm>KmVyv|at!C}_HBs27nkYWlgNc_+e#ZO5nI<>k-I^EyRe1fj$*et*7BR@ev?OSz>+(6b^L5-KKcZEzKgxGDiS85Qq;Sadw1Um|@y)inei0wbb^^#GxsI#7O4lDyuXq~C_PtUwa)l3G(q4iozSM0^+XPnZoAoCMlYfJ-Z!g{l?>AM z`-xv@)h?y>7;6|h)1m#!O-9D%i&4o{Z3`x~m(Jt&27bQU!1}p%h~Hree%ia3caK-~ z#f#L}^=&O~B(jvV^Z`lDcbOQ{GZt4%6wp_ZmzlWu9t*G9kR_UohC+H>*c~7F6~DLC z_b^wrD}z2b!A-KUM9$7YXFovG{9#;D?C4#7)2{xp&*?EYjZ@@%e2BjI1gWP|T#dae zAIe<+!g#@{$)5`QpjE9j&n+!7^-+z7PVN1gzTRrug6`|4H4kq;{XAX$e)#gDwPTji zReOZ**Gq+=-TLxQCZD$K%_iwh9o|<+6M2sI2qxM0-(+CAXJ_uw6j`(57M*IQ=EEk< zH(e-0yw&9V;#`OrUjvJd(`t^yuMqEv;A!#C@fmH)9rKx!WLU*i>ISG?#x{qT8=5h; zzCP~B2D6b>(M0}ucXs%cl%T>3A+56)dJE&(etnQB3|2z!Jzx=}Wy6XzB_fsu^U7h;JfPcNnszh>^qDkAoonWNfi{+2$glb-iR zXwZC?WG6-a)*;*4OsPc1R6ZEuvsUHFDyxe$7qYD8o_1MmUgy>9d&qKq+~J0lp?bZGF{wgSh0uig$w1umdi#Cj@E5C9Gi394oo~3wzs468F@|> zAGwBla^JMcLa>VVr$l9jH^=RCg@PHxL-yjV!^4`YC-bgPd)J%k$K!)@*e6OsQI4D(@8)WQvu=Mg(lYphQe1rX1eRM8+x5e`_+~(uoWwZv z!*@wulIemDFTqoDwmH-T^K!hQUsB5}6J&=pN8;LTH`tzg&L4hIK(w_wlzsdKiZ}kr zl(ne(g9Q53lId2_Liy!7$;*_ECpuYN^$Ow24_+frWu#13IO$^Lxuwm!^aBuIo5@v_ zzK+kn%j@$W97tFXc&c-l`^%w{;HP}`*OQkEd#BqTjXwDTe`3Bct~3cN*Q$Gn%ROB9 z%zd*`kt5E?=GwP%mGqJ`+=4D!Tptr}vhoNh_9m1{H}j~5n{^GnTKh>H=xcKpTB7DK zt9|lb(gU(q(+`LjYuIPHA+Ya~`iVZ2{&B=9O&_|Xad+3Gyg#=T7_~@~iUljK6ehP% z6RADEQrCrQqL~~HIUmd3LDZw3PDaF5l{d>@eRq|2fQ3{?SqN)kSF3`yf{Iiz-KmCC zM2NkO$_kIXxN`dK@od$OMW&jM#i8FWIhB#xdyxeXpFb@824u)A-^%;a(B&#SUDqJQ zCBI<8{?`0@k&oA^PMcMh>!@sUy%TuV1dNUJBGP9kXH& z&3~WcKB7(|%@qyFV7+8|or*$7Vx>C{eSyc|!ef+C?0f;R zJCd=1Ve+;EKiHX$Vf)oL-qpYSV(fXC@?6hZEh&pG`5_9kljo1dqKWwAM1R~)U7lT! zIHLWjy^^2%_2-J9=fSy>{ykT9spoGLhF$Y`z8*``Xfd#PeNCX&^-5#STT-7L?dEXX z$obROei)?F)(7c$XPr!}UaVvK%rxY2iTC!aN&RWNn^TE&?}+8G9~A~xXd;f4X$IY~ zAEZC^gend;<6vUlJ)Lg)#P0A$?gUy`kA3mBd2*KG+6`qNKD+#vp&LVPtUH^k-J`W) zmA0HEA2@BvQ4wt)=(pQUhhM*|jIPjm-u|;Y@I762IF=EXcIVB>PHA7SxV+n^XAQo`~Gd*=T>2>uvK66n_J8YLX=LT@kWZoZKS1=;w7C*)!8g@ ztQ!H}o)AgMGF-XCL;}t0+e|%l|Gep!NTq};UNx#htWQd_16!L<&y)-4=uIk=R5HAM zei%;8n%A@;U@SM_mspyUA%FZ;+{eim63dPzA4v3)3Qfbe-Z6#uV|!ljESxwl!uFb> zxc%;hu6yB+>P+CSlLfPi=1~#FamEkI22WI_%HQ;6>S zd@~e%b5q}B`kKx96WdX&alOg8@HZ8jpQyS{1xC?C(vF>?(T#f%psyC^t&p+KNW(N; zmUpJ7?NUs`CMh@_Itv!E7>>(+*4xe#ck$(4<_m<9`nPihhD&kwHY<0_>$f*i_dK#c zQiSm^3m19uEqdM0rl~o4O(jN($FljH$}ctE6)obQLKk#I{c>Eav90R5L7A?#vMy)V z+StMkPZuGA&UmiAPSCf1vcl%^G4JQ7w{XJ+rx3TLwtlYxy4IkMJEixJcN4Kp@m#l> zIC(Ny>bVLXxg92hzV_RURVZiRK&kNa{$g6Kdr$ax8uSK^o^-m2rVGK)|r*2_GsZrZ4HRV_{A`0tT^${b=myx=nqP+s!BVJjKaO|-tbXi_`jQYeU zGAaAA>Oza3osX}MlogrO#RWW9#0s=|KlJ^2+5l>K;`%X9ha=w}A)Q@cTYAo$`zV+k zDdlN*kE{Q=aId?6w2YyFj$vzPy~VDi`7QZr`G&V46xA3D_Gcm8k!O$7oDV7DsHfUq zn{Q-Pb7+5S`cQF2P?0eo8=Y#GsjPF;U@o3Zx;pxJTF=o3eHGDiv`qVMJnGVSoBD1^^_-fzN{!x|egl5gDA#JDbw<09V+lK7|K0l8Afrnh zg~-&XeJ_Gk3M2-+RTgt6!YZS*>9cgsW8%)pTH6`rFD3rfetsc^v1@m##D_+wm~T~u z>CvIn7^Ts?&Ou9Z=I@7;Air{CrdqYuGSXWrECxg;hAoaY%B@Z0wOiG0R>^b5h&EaJ zB)>SJ)PJXXh~4CISr#oe{hoiNMmJrfP_>Ec({Z-SOW}P1`8^m(V-)G<`%O~gPuQXi z`UFOL&(HDSWF`_9#Qy>a?@QTOz2|%*W{zP)_iL}YwY24re8o%4mdox;w7213k`g{Q z@g?(=YHPD!?FYA8GiRhvU5%o@me#RW+ad4H6Z%fNMnj`kCEK|S+vX^?(0zSQsKq(@yhA6M+-MCZyXL?PGQ{mUdekR%H&adb1R$nNl7_|!Ou2R z2y}ktV;>$=2`v*ma%4wQ*v~rn107cQo*=S$2YfIhBt^;twow9GDKv|P}W7wA3_IxouZYTc8m7vCWe|ERU)!mlwihxx|}n>vnH+*l`_ zpT4;olueS3a?88z>B#6PapL6rqe71u>po=_@T|r-r_jGm+xmV;r10w(W}Q=CJ!q*n zJA95}^()zz-1yQyJRLhb5^}+5nk<*+cG)#g^Zt1AW`zfqB?{H4XRxvZ=jV|$8$Qdu z_4RoJQIf{>8IJFU2GvBel<3yZ%XX>rhrG-YdsqXle)BcW!-4kuk_3>*gj_c{@Mjq9o?GwE=f|$Yt{C7SXD} z@Qk*WNyWM^!%D^{o7p;DURHYNiZQikqvrG(K5_M(>~yEBYs%<;m=+cKZI^A)A(0gk0%e5abP`R0ZQ-bgXL_|z#+xf7zaWUZu~SQoRH*{J^HK7Taz*|RESE*=XPAXp7^60p?CGxvn#8~ZPN=^giI`L#6nw!UzK<* zX-n3)v9F|k&RhMX$3IQ(5GItTu2LgxqDwagYo?k%2ISl(P=RJO7(`{R_W z2BXx4`gPax-5xg;^N?ev5_>ee zvvSe=>nfXpRn;o|GoTI=!Sp1GVyJ&9CZ$#wmxl`S@ZfRYC5)q#c>hv$e=opF0COX-oA!i=(jR)g_57RBf9G?A4=*Kfq6Jy!Es zeWHDQ)r;nS%%f{B%o3Ezj`Bz_>XmvulDB!4?3`0BhaAi*IQ$VVf_3O;ySy~oBKp$o z%d@J4zB4mH;S!CTfmT?Q>g%-MW}VFxJu~?RV zp^p2LfEJ6)jB4qH=<7__v;sThbmosg`Y)adZyOzc(AuA**`CGsEm9QG<0&!W{Z9D- zT-@!shO2!YGv3 zzSgO!V(F|dDK**XY8HHo zAN~93`KMU{KLe0*kqb0gcP>Yy9JhX&*xOFq9Y{{WOkOX=az9(C6eCmZdr6$jS+h>l zxAd*U{Q-KOIK6C!n-=FexstxD{a}P$G^KiE(9;B!v$(t2oO4`;vw&iAqamf8Y$>l6 zeU2z$BUQtP*w)k9KqEH+n|8-+slHpz$Bnv-lXW2sDK^RlY<#ib%613!l|yh;6}UlmVm z6YJD@Pf2~RI_fE7cgF`spCk}MK47Yt_*4E~y!zYn6tWtJ?=4>&pZ8)#O6+eldfa^w z5gnt@CNuNOTgmg8Tf+MzEaY)kRV8}wOq-Z*`L|)-$*^qXDk;7XDRLs!7&t|IzDD}C z!LZom8)eTHJKBwJ?;AxRzN;q8J{e|xuuqq^FSgpQeZPMy|Ea+A_U5{1yUTnZqc~4+ zQhBdH7z3iwjuLubt#CCk18cd_!JZk)Pr>LBj*+0_h08~3v2rxNP9FPKF`wfae$Di!ZXxKA%4h1M+v4f5iA$cx1F`m>8r0A zYT?18m03#xSL&7g2JDa16!qz++KZBgI0!!=9-`=(Rqu@*9gw6I$7Dv`IXxsw`mN5d zt~zGbpNUP-zwCzf30G#3w9&G(yUMN`Sx;o-yJAyUo_;*z{k;1aV@3pxS#{!u6E?cJ zxm@La^YQP>KTXo;K5->tA=Gxq)`Kdm<6TXvP=n&Swp^x0Yos|}-MeX^`6skV9vma{ zoT#&5dedZjE!*q0Dv?rrU3j!B{SU(&c3vkzmD}9XlOwOhrDy~`27YvY(XNkeGgg0R z++k55;PybSqxX&w?sU-dkjKe44B9uSw~jM;vlt5W5>ekMS5BIIQ=uR;QRAE=EGIx!8lg&{$n=p869EQ-i?}sMQAxN`LBiLp4!N+A&@ta&yci4sw&E&Qfpk zVW@nmbJ8Ej)eWXa)X~x$NdkPoujhLt4&?{xusW|!aH0afR;j-oi^dL83Vu@Vj<0KP zuVH>O`Z}{t*`4Im#oUxipTV{E2k7cJ2i>Qy^HYl3sHvBCpo=YcWN!>Dz6~Um7gva` zX7mU^a1{9a-E?`Qn;iCO+5f3{Wt8w!;q}a;*oy*CxxiXx{|Dmo|w$bt&hIWlPESh@K8CGBrN?B_&a4 zS)f@ug!t9YncQKz^%)_-k8EGAvOmxx!BLeKkmP<~r%O39LX*`kFZg>vn?ypzWBLlb z-_D{)Xp6fkQLbt^=i*3&_0FwNFW8cggbZD~R9GRW=+`yc?c!d`t!IE${Gj(L_*AB_ zbbbBB7+I!_@mALNP-VBuG_Jx~Wqq3}PuJ);21&c39xu4R(ng}h@?5A9i$0th)&A@9 z*9WeiL_voa^baj`E^_B%8gC4o(2RgYeF%E*Wgf=1((=o%n6*W2D%@5d{`NL(IEtMk z#3)soB!w?i!l)o$EZ|HlHo!gf>vmuL`JXOxpWUgnj;W6X31qxmwVZG^_t!89uH&qm zmcLRv=ytb@+LgJMbvFH_$bfKe#yvKgqt^lnOd;7;NphDIgd4aVRn`(^32?4X$dkH^C&E; zPfJ&4QBhL6H&7Zp!g@6zYuL&~Og}x+ zyy~nRtlT!(bRZ&9xreO(4wgSG(ZXUjuC84RMveD>J%93L zGp)Ew(8{}-cs}Jr$>#=7_QXC_8m_Agy{q&?F6ft@f8UeSNEY)Tm-XX5G?h6~_a55U zGgscBi2b0=#YU>J>eN*<($3;T2X3PD_pI*dqzlk}cglWP=ey`#=W`Z=z2^`R(xOJ^ z^wG*c46S>W;$ggyzuc`iSKmZ_d2s*Drp+bNIl4e4q2g3CgH(}9%@Y%CIx2OZvy*h6 z&Ags`y|z*Ca16s#Ph1<14~>ljUQ}IrD%lac88!ohRSh~cs6t(<#mo9 zH#$95J?nI_44o{gX7v2xn}&Nd*so_2OH-2S=gUel_J*#Q>o&O+6snjHIZK~W1`$jzJitSH&6IUh3a0K;Gx~mzr5l5B6*3hT#N8`ZvvU+_XM^l@&}BSI1J5(q%jQ zxZg4nK>92-od{zr{UTNK0LGvaH<~;&cI*;&b)R6XdeN50QwE17#L%@i*Ub~Dbv~ZA z?ruys6RW4{tsdQ}4Lii?l#6wmcju#H^$vgYEy+|=H2G~*WnI~XOY_H#EZ99(mbDMx z&b1LqCEa#kK7K*&waWF6t3FZKl5MZSItS!t)NJ&bk@d%xx_2t_MsBlA8rd>4uWYk& zQ@m=-bW1Z%w-*gWF*a1}P@zc5r zZrcHq7oNAJeh(Rw7a4fm9yncmrdo4Z71ho6DkNv?2IFvUqFEab@la@Nxs%V zZSxP`sN`!aj^5|$D4yyMl{wABeN1mAy@q08(7Hua;NBI-bz3UVXvLAFIL{+5#fgft zUnV)_|vz><=)&y(azCM#dtsf)j@_E&q0DbbpM86C^;^DX8j@8ojU4`AL zBFU{%!i=^vs&X-!z^s8aw zmPzUes!8&hTHMHB&#K?1bS) z{d$o$RB_`0@1<_;VE-$ZHPW#>QRf<4Vy_#?3RzKE2sp^s1&>O5E2>8NGadD2nZCux z%N?L_x9FE`Xw1RH)tSetG@O=@brScyip~|yazP06}->F}c=h&2OfmtQ{Z?n$e;ghtsohEc6CW`gkd9R)2gGyg(9#ePg%18Ad*Q zLflc(>yBWVN}m_eFFP*WS2UEW&+LGkWEW z^>l&(we4ifnY=@~2JMLw{6g>YZo5YY-FYIK&92!1BhsDADqnt`Jy?4vQC!6%q#b5# z9GonxP{RMZf|rbp%7x_Eof2$YYKjUw69=p<>gb5O8Gn3)&89w?v*CJVy{eOP#FYrz zEzRp@Bqxm;YK#h3zRBJ+9{NTZ_%jT4RO?qnMH~7LZE9a}^)-&{*$`a=U6gl6_$Bdr7jq`J4N^VwW3=%j?4sc9ZqKuB-p> z+lg&0A>HdQKX7%NWKUInF0^e!mRI0n7e8rW+2{P$mi)Lm^NB1$y6;cf(ANzaE2nmJ zewl@aZazPDSoI7Qo1@vOpiQ+E6B*|y>!v&QjWKLXoJnhn1y~Edd7;2dgbp< zuC4N8UFzbmm=XUm*U_<}s{&%!o$N3A3}|StXZP*6GHo%G#^|w%#Y763QyQ5d)2uVc zDopcgSPs{UshOyd)I)<5%kjf{UFB9)K9+TJWP_VeGX*Kl$_x_7%;^p4Wlx@bap&5n zgmz2CIjtfiWTUu%)IhGuKb?O%OC5~SomzRYh1Zw z)0J+@zBI4m@w(WX4<1)1R{iiFUhd2NL0mwjP{H$5n2mcQ>7u}dS#>qlRm(KKyKyV@ zS9M>o@LVPSbhh%iIHT;TpYw>bBN;D@t;9nupE)jUDQs*NM_P?UJ#qj4F zGtWG%_mq<{9A1P>E1!{^Fy>&eUlU+ns6)Et2fbX&xceKDw#Y7we+&8ysh)zqnz0s6 zl#i$cH_J!Fg9}asuiirWi4@pzKfi-lZ|^G+W#cwB0nlEVNQDKr#Y-fH8?hux!%^@P z36wpwBKppOb5|k~!PNv2_2CqhiTKMZgNY=yaL+A?M9X;I6UiRNUAF?LVO>N~+PHf` z0D77WvT+!f7!06hJdhDe+(suLU?&dArQa)D@$YsFD0YK?Z5W2rfkHSy9TuD$6e3Iy z5pT$qIKC0m#0F;ZfjwEFU8P)qFUhI*0(>2f(*@c@}yc6pR@sfdsUr5TN5_ zB!p=4j?hZrjjxXNSk{MsBheKu`4H$CorFc+pW)B;+ z+sp~7r0hNK*6IRO_PE3gXYNrsyPwLRf>j^~q~213ca*Zohy55RPHhwY-{D7e5tzz%);R&*A;>QPGQ?~*Ss9kP<35g=gs-z$z zhe5wI8HgYFb5a(f5B@mr{dp@3sH^ipsBrVL5C%|;3ol$jbx&I-F_;ji#Gd%}p5fqm z@4nUEGeU?H1I6jcK^WqP?oxs(B`Ev@%V8wWQ4S)5lM)9+i{&6(ASwDD){R(VG8jn5 z23W+82Qibu(0glW2?gKbd+;$KZU_tx#T`2XVZyyV4WWc^V&J&WGvMX^Nl$cm~42w#SQ8@RGf!t(dBUZ#7K z=KS*v1!LK(t@jrKP+%C?-jwGQAVRo2IY9fpB81cutiWE47_dZp>duN5DVWcruLVP1c1O{IH(f1aFMA9EXd$#2m_uerQz;`{@{TD z?AECH%OB5vH)Y6Q0N@To?CIJbcfcHm`0oG#Zy0iylQ@n~evb)>EZ`4A{+AO50CuZK z{iQ642mBGGhwUX#dlzS6yf{J15?qNA#1My80L0jpA1lo=t42AePD<}M;gaoce4I)6gS6T{pR26hQq7LyV1B(X*ISp}9 z>JZldJv>*3TsaKIodB=uGNSQy$nYOdXHE+IUyvULjl`L0K%^Ma`2B+a{HG0t!ac*c zfeSSU+K>{sUm6g}6L3k8v6rwT7=+eYJW({53;|I%0++tqhBws&ZNT#`;@eQ5+#z8b zNC_#c3ED9DoHhjgpio>iXrn{I2>Ic3^}up3YC?n=5qPVk?1xE8K(PlAG5FeT|3w6Y0hfIbz$E?;JPh7$67hR6he>1S5({A1eJgu6fTetAql7i0_Z$JUo-}P zYk5CC6cle1_roM$__A-{^KUzWRRC82_alOd!|_EC|JxbBkoarp`(YRfLJbCL0V5P7 zfZ-EO{im-u_zr_2|4R3N!i7Q62NVqk1zuiW4+ssPy8OTVp)g<%2`3H%o{M0!06Zjy zV2%KW&s9!H4+DzC5W@a$f`3AT!hr2QfCxvx30DhblEoKh-9KpHr3hCL6yU_WsC{@) zNeR5a{|DREK?x+GaR-CJ;GOP2#9iHjV+aR>Lhk0-{VyKa&AYyFKMa8()JrG|iojqG z5=8wmPyehF3JE>17f~QP{Jxn0b|?e}A5ai5mcSRv-48<|{;Co7-!=imCL9bX-H5+K zyRS2__83Bf;0SVXNl@qmN(BO80)+(fhhY$eJ{byj0?1TGz!l*I0&K%_W~GurnNp{~%)wVH^PZ9vC!;IAQ<8!~TgvpkRCl z>=FpM4y-X8i9R5H5R&0*kM5TOFf9iL2)rhN1hIgzBtEhu=!`gE=n$Y%B|&E>0)`>9 zX;1_>bP%d1P-1)vynQ?na0J+xyZZNUrvqQJ->88u2r$9}jN!n-5)wp!?Qj6Ld#c*c z7=gss*xZ9*_kut$6BLwiSHr^OEO;P7L7*{&0VEUwHva)>Nq`WSke&nz?`C%8|34c5s!klR0bs&^jm1Aa z3B&=L4vf?R@uR@*Cu9tKDEp%>HL`vW*?CvLslssSqkVxbKQw@TP0~QmBl>F}!@97^3A&IX|zn=;E zpuQu~l7uG@pzQDi4hD%v9Wb{b(8V9V_w$gzLJ3bKVAY`qb~@NJ2Mz{ENy!6l8)){Q zXzZU&0SCeZaRqR_d#VlQ|5yAV8bck}G^qc>_M<>K7sCC4f@1au7GRzz#KE8hI7Ltk z=ARUH<&Q$4{||LS|Fcqmj1&qbalo{q(7Qh(>=P@{kpod6@Z=zs|3Aj~ZvcipC@u*M z{>LHw=dWY{;=y$X9{ONk$$y^huVX{~A8H32?;i>NC;mf25eIY|4L#@q(a?h`CIN&% zI6GkU4w!EY*dYHE|E~UllhuJ>LlOn_gg^?CAT%KG2VhGd2tWYrz@R}miTIz-|05Xy z!yvE(<`JCezzJ?YV-VxO2=yJ*13z#Q1p)a12LlWMj8K~Z4Dpx8|KdLo^rJy}hJEV} zU>L%aD2Ud8CnCVZAP@L_U@wt`T7tKs1W_=EKfn(VgiZpOM{r8t&ji4bgkBN+b^}(P z5Dz9v7(s*ZZ#Uo9e>XLN0XY!Fe*lO%Xsba*3IdG);mmGA;Qa(a980it01rhNF94Xt z|H80~|N9jR?>Pu(0^E(udsLZjt4|Nkhwe{sw><>V+lJgwY4ue;mYQGgLjz~K~pe9GD?6#oyS{`jT< diff --git a/packages/cplint/doc/manual.tex b/packages/cplint/doc/manual.tex index 6593196bf..b1f9971d7 100644 --- a/packages/cplint/doc/manual.tex +++ b/packages/cplint/doc/manual.tex @@ -34,7 +34,7 @@ fabrizio.riguzzi@unife.it} \texttt{cplint} is distributed in source code in the source code development tree of Yap. It includes Prolog and C files. Download it by following the instruction in \url{http://www.dcc.fc.up.pt/\string ~vsc/Yap/downloads.html}. \texttt{cplint} requires \href{http://vlsi.colorado.edu/\string ~fabio/CUDD/}{CUDD}. -You can download CUDD from \url{ftp://vlsi.colorado.edu/pub/cudd-2.4.2.tar.gz}. +You can download CUDD from \url{ftp://vlsi.colorado.edu/pub/cudd-2.5.0.tar.gz}. Compile CUDD: \begin{enumerate} @@ -48,7 +48,7 @@ when compiling Yap following the instruction of the \texttt{INSTALL} file in the \begin{verbatim} configure --enable-cplint=DIR \end{verbatim} -where \verb|DIR| is the directory where CUDD is, i.e., the directory ending with \texttt{cudd-2.4.2}. +where \verb|DIR| is the directory where CUDD is, i.e., the directory ending with \texttt{cudd-2.5.0}. Under Windows, you have to use Cygwin (CUDD does not compile under MinGW), so\\ \begin{verbatim} configure --enable-cplint=DIR --enable-cygwin @@ -529,6 +529,25 @@ for specifying an output variable of type \texttt{}. or \end{verbatim} for specifying a constant. +An example of language bias for the UWCSE domain is +\begin{verbatim} +output(advisedby/2). + +input(student/1). +input(professor/1). +.... + +modeh(*,advisedby(+person,+person)). + +modeb(*,professor(+person)). +modeb(*,student(+person)). +modeb(*,sameperson(+person, -person)). +modeb(*,sameperson(-person, +person)). +modeb(*,samecourse(+course, -course)). +modeb(*,samecourse(-course, +course)). +.... +\end{verbatim} + \subsection{Parameters} In order to set the algorithms' parameters, you have to insert in \texttt{.l} commands of the form \begin{verbatim} @@ -601,6 +620,9 @@ and call \begin{verbatim} ?:- sl(stem). \end{verbatim} +\subsection{Learning Examples} +The subfolders \verb|em|, \verb|rib| and \verb|slipcase| of the \verb|packages/cplint| folder in Yap git distribution +contain examples of input and output files for the learning algorithms. \section{License} \label{license}