From 7fc53e95eb33d964d4b386ecd7755cbc6cd6d468 Mon Sep 17 00:00:00 2001
From: Guillaume Petiot <guillaume.petiot@cea.fr>
Date: Wed, 20 Feb 2013 10:14:26 +0000
Subject: [PATCH] [e-acsl] memory-model article in progress

---
 .../e-acsl/doc/memory_model/article.pdf       | Bin 116719 -> 118955 bytes
 .../e-acsl/doc/memory_model/article.tex       |  84 +++++++++++++++---
 2 files changed, 71 insertions(+), 13 deletions(-)

diff --git a/src/plugins/e-acsl/doc/memory_model/article.pdf b/src/plugins/e-acsl/doc/memory_model/article.pdf
index ac563be3a3d94f432b37248d9c003ee6e8fd5f75..3a24546c80ad14ec0d5c1ce6403775a46efa7b12 100644
GIT binary patch
delta 36662
zcmZs?V|XS}(*~F)=ESx+v2EM7H8Cf7qKW;)wr$(CZJU!xX6JqP+ud)k-5=dob)EZE
zpE`Z6(|1)@-^RgI=EKw-0e~8huq;CUS<pDE_#~%NX+(`81Cj-I8+5E=hTwZSQ<k-;
zAMgvIM~+OzdD-^86o+jn?0M<)_A6v(Xo3VdwaQLgvC0Fw1MqodC~#+@MX;B_qGw<6
zf5o_$Cf*(WPae(1_j9ro%fx0u6CklU?0z0;KCmYX7D!aGqA@gR6re1SpXYNr>N>YT
z4F9~51p`u{u2h52tMH1uUBu2xn*7CyRJ{}40|geu#(9*bFqr%P<jLKQmH0A5G>Pi$
zatP7EG2@Wr;jh2*KEL>op=IM1uY!R|po(JOJ1E7ay)V!5=0rG;G-LUz<o)fUl|2GC
z8ut0d23NRdpRZ@80f?v3bu#d9%BCwwLnw(PyZrZ#6=~i&%vxJ`p#J#ewozTz(t-~8
zI7BAcSTqNDT=1N9JjPtHtA?ThL}rzb>hEUdCLns2S;p?55Jc@o7$0%#5yH}UN7_74
zhq@gI^q9=qMJq#eK^lo3<j6dB#}XI5zYe#Jk5Cw~n1h2U1iF_Dz7FgV#YaZ#t)UMh
z(ltR2*PoL7@f%3_rsB=cqmJW~Y^b+xxFAR<%1#IkGEFAN(Y#sQLbI2OC-xj6NjDKb
zvLi;u)}cX!JwEugwa8n${xQkkUb9UNUm*J9w$N?>LR4l#8t+R%+2+ktT&*E7g)@W#
zZUC&eOBQw|9O#uV1xfuGna6F34*l2{-al5zo?~`hWfq!v7Lc|pfihPpE_=>Qs&&bG
zk)(MTOD^In^Y#I;ie+Q;tKXPkmOZdQ{w0F^jVkt4#xO3)y?^JCg@8T`o+N-2HQ0{y
zkC0giddA+=u4}QTSI%kgd4O}cWwNz|Q@&}mlFB!^FQ8hD^P<X=r~SrYJv=%{HA1cm
zw+neIUjOD1mM(71A2iyrfNJ?N6NvA%_YDwOW)gCS?d))!#q5oprVH+C4-J%K5JKf>
z-BVDF)NuShH;3Y&o)2QBkunvn{v50F*+W2mtBzf_c=lPaV`9kl9AN+>Ot$N|No3e(
zh^M521I|pyocYa_Z9_y=*hm(kn@B|=O!aC992cNWYa_N`qIa9*-zwwz#oZ%KbCIna
zK|XGl$ybf_r854)8@lqI%d>S{6+~35;H^%-+mJ493Qau6jSt%vG=5v=KHT*fTgkxL
zW37%Is0A}kp?l<TvANGEe`Ou7o+cw1HMp3w0Iq(_WNaBD3CiE`lv?-=`Afj6f3vx^
zE0QFw{_fEK(r<OTv4<v<G3h-QQ+J?UkuQ{wwa6X3VCFpy)hRRo?a!V*y}{w!6+`-f
zaYlZ05dX+gMAw6}=Y~l*OUn%ETFIvT+$7(d>QDan;79c@{*A;U{MJt!#Q@|{GoQE*
zOCYVJ5(5?oezGcoOY#Xiz2+(RwZbFkxeD%f#Vj|tYSqR2kZu6g^}9uoCQ2;1WnfhU
zSn-G<7GBiF_xPto(kpJV!IcOg;*QyrVzTYGT$8}+$dzEvvDCCBW5-Kk)wf_wMj8&|
zYn}%^eGu~bogOj+)V2CE<9Et=sU6zd0pO2c^~4Odkq!C7Jv)Ly>n>m4MR_R0-Yi&^
zog8geq2Qc48;T0Fe1CSEDG#(22VPhi3{{T>!BeZb6!jOSs1p}$Bi#057fqzOP1%se
zS8fy(O?1hRCtK{auEIm>kww`B#Pt|U^P2^JQ2G)RB0S4&*K;UIR`QzjOZr2N;Q;|O
zijRp3pcK{M<-43C&de9k_6}Xum%Po|p@LLsfvEgJ9!fS^!`l8v4OJ9XC4Mv-j(Rg^
zaE*%=<HxgV&6uw~SJ+jMVtFD#+-R%LPuOLlBb1Vou@rMYGwJSJIUSB=xKw*u==Jur
z;e3mRcmL=J!B96M-<k|Xlq+5^7GNA&O6!{s+v76!%eQ)x&l-pbLo^lCh2UeUj8V9K
zg$Es>w7RoHjE}+*0n6mV=cdaR_z}N6Y9V6B!f4ID0`36V493wTaG6n64qTZBvanV#
z9w8TfD|XqbkrMUB%xW?Pz9O5j4!VgbXQuYQ*r#+6NsA^-6NEm&j4o0Gmq4<@u5kri
z0S=*qREvDHO%lc`i*EMT1>`*&SyUU*;G0i5AB9pe5v`GF8rFrnvT?J6+Bw}a!e}pd
z5%!x>txZ=W8lT4Q0-LQImf=f7M57BuW7eLjY;3~P%_c=*+p~5>9#6aRC8P>Iy6c-c
ztMhPl9k0%~MsF*p``zoYWMI+3cdQ3yRlT_-8U7pH@7Uj2bXNQy0_v48jOQVXU*uqC
zQwFP@A>EDVw)CZb;tBqY_0Q59F^pfuY>g(ESLZGsRePniUCO(`!;=X7sZ=N}wW4r;
z{mXn3C`Rq42#Ok-v9-5;RvtO;TBYKqvO8DRh^k;d4{6-pFEorcss!$kv(7Qab{j6`
zIE(R`BwGq&s27bjQaNh%G*@7(#<Kp@h8yOkTT%H?=fe@MB;t#OMBD9E9E1vKK%GyC
zcQthn5^MCjKf^-0p-%HBo#d&pb*XV9K-29ou!?L`G~Twc{fZgjTXw%O{97ev?P()v
z^Q6Z2BU`mNgi;A_lpH9?aQ^ef;An9X$litj35lxR@w#M=Jpz;bxoK8y+xg|79O&V4
zhv>bPC>;+o6+3jnVmvs58i~YLOO&*fO(_S^m4vCovB2c7_#RK_FmG^OT;S<lJcs19
zDg#C-w(Z#8I`D#j3Dvy4=;fAZ9C@QfozeQH564THNq06&>jIROk%8NGi4T<LG(7DW
zwp(-nWr;n!^33TvoY7>AtmWB1!VVheN8fuD05#@&zm2_9sWRG#;f<ne#lBg%kH`fc
zkqTWacjBqjyA<j4DCoLXmV!x$3D5tc11)~zo!3z}Fv}?wOW47Jan`UARzd!oe+m8T
zc(>sYa^*0t{onqJKJ`$vhHGnj=L?>l1+UXb_wgtSzRYBK;N9C;UO+Bo!bqEpVQetI
zDCLMkr0AU#+aKRVH!9~myZXhb8+fPykJiDE<C3ScqL|epuk9r>YDV~jxyw9#tiEOj
zWgkNLung0*=S6reN3KM;_{ZVGY>-y^Xj8oPxokg%#14?O(r8kIrE+y*dKJolg}`hA
zTu|{hnjpI)9>Ya`6uYinaA?uD?}~(aTkO9O?JNk8RAAG@ZuS4rdYW|sg#p=O26>s-
zkzDnWh3iCVQB~!t@-D$DES7@$l;PCs2ws0gv?!Dr98g;%Ec-T_%;>1ZCKnHr$Qx6%
zkVO`Msq+Ad!ph!f_O<Ty9HR65=IOVvwCM~_=z|Io{W~Pf2v}9|n7TCQG0gyElp_LF
z?S#kHe{4-UI%(=p!VO>|ZW4bYXTxHrn+NN(^h)AB3`_RhO*0^OqKyyd4h23mkazB-
z)%+<K{_aK@1CTVmLvs~N3FUW7Po$WX8{SOqo=gH>g<tqFsbz@psBu1ws)KD69J7u5
z_!D0cmGjLCi^qWo-HnUoPq><f1m07*Q<T4`JRhl)Mt<3LY;6+q@st~0Avl&0bjNhQ
znIUBvwGo9^YH&*#6Ryv6+(C{ahTPJt+rs5VUT<sXpab5I?C**~-d{S*YP?yZ1J3Rt
z5oSC<fMH$uRO3QJfE|jlV1{heQ(Q@fzXt_Z@rqB*aEsaL47S$hx4))lZ*Lxg=M-oG
zu*8hf5ceyOR<Ui)F(@B2d=d|IszxZE_({YS)PSK`!xo<blj7aE&SBLzwT-;RuIf#=
zUj7r0Z|Jc$XuR@A`P|4-M4^tPDcYL4I@>8gou(;@f^6Ofi;|5F5*~L;xED;gXv8v$
z)>QXgClUiM)>5ULhw*Sdt!C-yI_8n=OB{{_ftaa6F%@DHTL=?Tp3fO@5Dzgr==|Q%
zzblJq(Y_<v+xD*iWW5DAo1JIcAMl)pXh~ITa}jlN=+I5#hW#_4Fv}Slb7!NP${ZfZ
z_wlr`W$6U}N1d{$5@L9(VI!?5xBh6q`_SixyZglQx*&mh#ntI|HLM$Q4?Z=+@poQD
zE&k9uL9gCz94PfDkhm@kdUYxM&SPL(^kPp9Ryx;6CuP2o7)Dn;O)RZq+KQ4`j+1+q
zrz?tbNtcOSxzl=-@>wOw3d_F>CgvE(2yNV9LE-oNB)j{aTWDu0?)34n^)gn0lsyE7
z06+NNP2p?pAo}UC<>}4Gzblt`x2l6;DC>9c+P2o=QDY~ckY>4R>Cs_FR}$u?LS9)0
z?Zh9RALoQpjmgq1EN-}u#BOi;@2&g~Rc;$SgK>o!J@7eb0a71y+EXG|AKdgn*GaAE
zQA-TVo=2f`W~G=o=RbUWh@+Rav<{GSB|TmJ5)s%u1+DD2zjxGv=+C}c^CB{91a6)m
zwt!KiPOQ{|)u>Ww@)`;*nO8Boe^-_G?Yx#H;J2ra`n&u90g<*|p}2Ig$kay2y4w7$
zR~k?5psxrRE)=Bs6t&=4KNzO~<g2^$wJtyN4*KH&O3XO%_7~d{;Nq)~sTZ3yyetvn
ziu$Hw?>gq_GB?@hyPB#8Tafu|sYnM@F)KAshv%zDGW~_tFwUA(V|rn<rBv`l%KxxB
zbSP<NL&$`w5)S#h_q!L@Cx6cEP2(b{cP|$RF}IJ^Vc}@*>gHl$;s9>}l1D}Zur?YY
zyK4aTHe(4|QT@g?e~L552?Ul*e^81LnGV6(!$N1-=Op&UdlWBg`zB~L5YUeGo?@(D
zF}~DUS!&T!ql6s0tY4YdU#Mr3eT+7r9qZ2Z?w`ItUqtoNH1_=LM7x|^j-yZi>LBvZ
zGOF$6AB6orzbJ)z{QK&dPAHP`{3CB*17Q&;cerA;TG{K##Hlw=PZ*=N&1Wlj+6Axi
z*Wl*0|Lx{l@<~#f$^F&5aas3Cr1Iv%qfw)$b!6lwOW-|vLs!?1B{Xz$Cw;AZS9{a$
z*o<Q@w%dR7?;U@0a2V`1Cid0$67~Ald5_j-@u!l!4!N(d&0n;yAsF2#9kA!3a$`ln
zC^J#Kb5jC#%U`#@r-f#F`d`FbTl}7Opf`vLWiT(l8`{M*UN$1wN69zR9#_rIPPJh0
zSqpe@Abq`BMtz=9KD`WEUh3EW%1?Ps+u%i0SQyk@Xi;61QtHUJWS;YIG(DTP#BaJR
zjxSPyOV7GCR4u*zC6AX%W;&htlAbXSyky6iMX>1PYNwT8&CmNTudwRsUFr+t-W6sV
zf-af9wlL|TO_6g|z06XpL8uvB0Ov-N!Lw;!o!b4&_?A@Etvj;e!@!le<ygn3e$^?7
z{a20A+w%HFXYx`#w#VmV<Pvsv_@z*-`JEF}s|S^F@APk<;^Gl;m#cQ&PxpB<V2p#0
zeYn7p6LctzyT@89MI1WWP`^nt<^%=OE7{1|n7Bs3Sc{i)G-=z7+!?qpLl7ms7K)77
zW!R}GvyGUE_{#7Nhk#Z0FB>Zj-09=SintJp;FQ1f*GRP~W@ARb=m+c3nOQCgI86~e
z&kYzVRl!4>3puA$MbF|gt67*Cfcq8A%;iQUj>jRK-&JBL0(|m{tj5=W-H|n&jQGP4
zQghgsjE@?1#qw68M=`TBArYPw{hA1+&YD?FCr|mdSa-ZEz_}!BGoM;=X9@Vx@;<&X
z;V?N7C1FNBwpFV&fom*A;7jB<zwpwZX+Mvxqoycw)HJRud|H@{XH(fd3zYm(px$7!
ztLWF^$0wY8kKB5@pFG{}3mHd~Dd{?-SP)q0CDe%SnX7!CTdbVVewY1pZeH89i~%>t
zK7zMFLd^e!3%t*ZM@+yXXHRi$UzjQ18E=M~>mPx$NPv3+r^38L_w{IIjdTHLi*48K
z*0%xE1h*%79z5}a(i2K@1?ns}cp{ypYSv~CaEj+5eetZ&<U1F$t-xV7OKrq|*TXSz
zsn7Ro4K%^G5NMLB-m@;9Aow1&1+EfLGTuBOJ6c3mOb>7dSo`!(-4t-%7P(gY4Kb3w
z(6GX)CN}0{`&^NphEYNh=WDfpLH`Bzk$|3#5$z#vOGl%LeeTi>fsHm83c=eXnZ%_6
zr%Y(x;^`u?IO{$>VZ!=LUI#ri;_LbFkYdal0_Fo^YvMDS{SzFtyprei47jFgaiPdL
zO<Wn9TyK8|ixl9RA#0|#oV8P#^LFrS<RWr+YS$S6jnNfTpq$6nwx`zzZkK0cDhY5|
zxHDwh1_j!rfDsf!;CFs_9p#0?T+SpI1PH|S`#&GlDI|{!za?f?pdJ9Dp?^IVLv;J*
zLM-|1_DljDmQJNZZ4F4Y*Jwr=0$hXeTaKc(I8}yM2I?TdAto8N1lqS=qa$X+?pKD?
zuul=gO^K_gg$q#1=bJg2`Zo|sOSMAI`q+0r6TtXrls;Zbff4&Cwf3Hm3_RcRwmeq(
zx>S4@LGtapD8n6OijrB%CUZO=gPq&g(<SN8;Z;|SrIn4l%0Z#UvPD)EzQb+?u0siR
zRC03W;HY6}Ru+59!3Jcx?#rRhM3d?FHy$Qo5iz!9<DF#k8IS9d{qJOmcc0Myr8F|W
z31L3pCzr-CfsSF0PD!T`%H(7lGWKfk%7$rVzo%Dy6QqJ$ZX7oXcb8{YDK4>f5=F}D
z`6?AQ&oVg?`D4-FO~=N`XN?oTtq-xR+UbB5EvO>m`n{UFz6|CNjP0Pvn<kh6)`-=p
zD3m&m+@e@X*NHwez4u7MN<5rzRmiHL8z3ZOuWY>JftgfjsF6NG5M;)cw3f1aY5}mZ
zEAo~Aan%f!xzwaNfZJf%h_={N6s?NQI3$}(w-i;fbr(y$Jl}6(rVl5*&Kc)^XoGfQ
z&uSJo>zk9GZV)kxAZ&zZV#X<n8YmlBr{=?BLZa>zTQOoz5tD8bAc6+5>=c-}p131+
z5>NRRuu*H9=8OyRg@ex>72gp0Z=@4muN{3RJ7DIU;Q-InzAc<8j53ALVZ!JH+n7+2
z6;q%D%IKNDl6D~Tv93f4X@u!87G?dla!9{zUnva-8VXk|;j2{%{AECtDYOLIvHnRt
zNmWSzX2^D?p?`}iT=`SKs$Zt0o{4*-dJz96@B(VZw^tP|8tq3lZJnU0dz=a#sg=XB
zg={&b>LdqqG8uoe>>jTGxA3{QbUB5x1wLDuAl8NU-db339cLl=V@#fWuJy>@mZtf<
z=Y()BFsz=0GQ}dYLLGeMj5CFTqcvahQ5GcKzX3c%ikHFAThhFi%y9~rG42gAmm-ja
zz=0F$IUlHKFmQa#^S00=bIi0-eBTZACDZ(n7}x`<d#$Jd5kh9kPD@wF42WL7f=-JW
z*DtJ8siRYkzJNN$M{=<X<i|NEQ6(w8@xRR3i@jj^Og<QWq55KU^aMWNE>z}lLFPUo
zRwVy&bQCF6xR^ZhJ~KvzkKrcZyh|VnU;^I4>w}YxdEh*GszhvH#NPC85N@|n#C#{J
zu^_q?SV?2R2RFtiK$-t^B@*0w?1(pdOE+%ox1DMiJJryQ<*VZ;&hzpO`NuW0f#yZO
z8}1lf_3v4UR3sEW67SOihB=EvIMUa%29d2_ZEPJ`!?Dy0$Luin989V~+gL=2z_vw$
z93}1Mv6NYvlW>ecP0>VNJ!E4htLcgKHrp|T5UC2j6PNdFE*UP?-?B(bWhoX3A)S=h
zP6A!y8HqDazO`!y%u&C<3NOg37}C>9iWSB8F*6S({LSD4xX>rBJT@`Dkt>f=R5W}C
zEm?IYudA0nbjBfMoFe4tWq5R~0(Wvnk-UYtoaoNEN$L?AS*0(a#qxEU*v|V3I{?i3
z;dL9xE2yS<ruaxLY~UTYz;XUIDUH={J9So8d^<-4e&}8zM=Zu$(u$M|Cpr|_{?Zmf
z#pvl3Q)3_a$_kjH(0mCC#FNS~5}}-!Bsb~#RNFN4S>Gx5ujV}=sRZZOfnnJ^T)1j|
zhUb<8o1%wc7YC(yD6cLz{+?5xhKo3Iro-bn4#)Xy$PBNFx*gzLFY?Vluv^~a!Cxx)
z+-ml%ma|XcO7DDMNeNG7?A)}w48<=arEQydhBdr@l|1+x?zB&-Evz5PBvWm`62{v%
zH-$zoE4z3v4V3MgC0c$X1Bw;&RTC7^2yb*)c2=&mB8E45aSHCf_~!8h*;*H|2q_Tw
zSBZo7YL7fWTV9gKZ<Rw!n%|nx*>uPkC5;Mnc+R>R^(M*ksdMwLD<zmC=zZ9*#)ank
zh=fVkmYQ9T=hzK)cT9Y0zKeayiSY+L?uqR=6XQTniLyEHja8@b0Lv@4j-9&wEBoTQ
zn;V(CYLBAdf)fdU+V}T0Yfih?xv?Jj0)%bw-s;1J`tXwCqZ(59eTe$bk=*W@l78ec
zdC4O;HM-49xEqz)lo`ex*`x5Tfr6e*8CyL$Aw;bXzv|=2B~GrmBHfIt&3k`}bh7>`
zWk`?|S3C98!nE!(0gkvolU*u8xBrxRthicsQ%;JG(a`|mOB@Mz%uu>8+w6tJP+`1M
zZdU!qA0<^|R2eR{WMqj`s<S^{Ldm^SX8QBajeIa4@>=RJFM72dKP=p5!D@pE{-!TY
zl>|@FV7^U;ZEn>?GR)^F_t;s)o}YES6y3JqD<6`>t$Qzi53FHrGq>m|(dH+qH2%<!
z%jf_qT!V{m1$ZD0Q$`&I3z}mFZq2Hl>qAuVo3_xii{kq&L{J$~zarFN$7ZFg(H7#Z
zWiZ_tnvZ8U5_*<)CVUI5!k#?c^KFk`yvIo_PISvRLtJg76Y+*f#sP=A$(J|Iun0mT
zES2LGCB}kl0E)=w+exGP5M+o1-t8FXsET=M?}Kp%PrWr_ehYoPD_(4+2$Z4mHbnv}
zZ07WZ%t%3f{&~~h<r~_%863UuLJn60H}e+sf`IIcVC(d&@DCTQ4QJ1ijN3C+O`&J-
z#ga&zycn4CtoKh^Vt}v-<|(BJ_}*XBI~@2HGv02X1~3P-dsMLHT@lW?gh`T1<Nk}^
z6X|uU0uNsC6XS&jA8nfLFsQ+;gWEwW8SQ2nwE^CA=I$Z51do|-obiSA&Dig!WhMGx
z?U=(aE?EoAvVfASuR4G@cllGE0II4!DWUfn`?kBScUyvVXfeMg(eapnr*ZJd#Mt|N
zzZ_eNB9M~2prK&XVDK5oK6LpaKCF~fl#zEICIxicc9%NX=r4p+c%uz<sB>-4V2gxm
z5YcVBZ(YfsmvrFiC&>hnHm<JPv(8r-_xzr*A6Dk3p(zpd=XO2R0EIrgv;48Zjni(Z
z4%a{ta`HG?cglemiP=&TgNV$LL936>Tg_Ez4_I8qsN+p=zV&*36VQ0Lrw!sUOQ2Ou
z4b=ATp`1(5qGzw>FREHs$o-%__f{)u{hp6Kgy1}|a$Bi~DaF3H1o*M@*=rrTK6Sms
zpPNy8`$LeL?!3ZAkW1~+#kMCiqxKuTcsq>2%9nnHnXJ#cJ?C}Q_%6l<c~4ZKh}o@t
zHP8?{yPPGsd$+@be5D>Kjd!=1H%{buv>s%0K;qvK_(BH!vGpNm&fCFU8K3eauZtmM
zwT)S0JKoB5V6rFPX6Ib`<#CRWaPpX_B25jRD`m>!`B|sZoB`r*$SJDrNi5w8sIHXa
zKyGxQu}O@UcmJE)sUiR^UivCLx+2iF2RP|Khd@b`8}5>f>jcV$cZjGpWv0Yyyb9{D
zXo`wTGw37y^%?ZsxF8|Hjm7xPiR{l%tV3?$H^wrCsNAo)-v3tR!eeeM*BT3QEFZYR
zi}sIWVk*{J_CB;wao_tGAU?*$FVwsyD_0^oOo%LUr_2z{e@QvIfg}az97)r30s4hA
ztMgNBN-3Mqa8O!7%@&&lI>WpN61B$lqja$W?9C2@5msYkmygfOeoWzh{Xm9DVp;eJ
z4OTGNg>p@rQBAm=0w0xIxe67-uDdBguz&jb=gu_0NFW?X;_xoh7Pc8?CXPiKi(ZKy
zWzM)5!C|^N;EyaSI7tTI>yAMXB+x31Mo3G_?+-H{>y!rj_MZa9Tofi`UqP%Hdx2rR
z-?p;qo~!NWh;)fEtrH2BXgGA#i&`Jl+gy34!nYLyU)a<mzImArLGD8N<=;=fZMQ;}
zPLP~<0y8s|a!;DA3$YL&<SfK)h#6Y0v1Hv5v~Wc`Dg+0xKV)t1E2(4hB!DQ-?ERT8
zipxgf_pVWsN!2zLt#^dLWZ80Iz4ZZHxz*Lr9jOPm$#+mggSo{HJP_F_(@+<`IL!8f
z$sz;O>E=}EI#BxN6e`8$u^}u&*vNmu;Q}S-H1|8T814@p|JL73e8FCD|10_6X#T_0
z7M_QLgqh@@00qy^!pQ?-_K*N>#vZkx`rR5yqnxQ^7g;oTd7_X=??Ey@9C!uruX(R+
zUd0Nq8TuZ)Jv{SB$g0;<K1XwS1Q^$AGiH)S4fB>V9<65Mxs|@nzTH-K4#NB;+3fb?
zF1xwjzYLz~^*9u&z3C7#G7*2s##e=9^w3%jdnmtYVuSF%??<9rzqtV3-09TDQFGvs
z-468D2#%COA1=kKFZ`kXC8E-|s#VMKCNv6a^r%~T2J+{0m5`!6=e~}j`#{)i8y%Oh
zwEX?!#cxvy9rf~RO(mqf@JSqNk*+zg*!HalCy0`6QiXm~N-Iq1+eVQ{`%PysUV(yP
z@y!nyLd=te>{saSl1@ILa-_d>{mT}S;Pz6oyUU=4Rsu98q2)h59@*fiop+W*xw-4Q
zNso!n@%eW~bhAi?>yybPQ(wKOS0D#A!<jQi%zkP9Rmk#~wp#3OXeVtkj^BJLhpOx)
zbY*qU%r7NjBu4J*E$*)MB*HO@<6#y&A?{meJnHMgJ+;5eEn?b0KLx6wCDD>E`k%1m
zk@GLB?U`My9vbQ~5P8{&hWFOh>dMXzH_SuUPE(6Vquvj{bBz<nKZdC6BbVd7uq>Eo
zH-q6uzRh?LS+aS-eALTI5r|_qO`mx9)=8fCkMN$nIQfBPm~u+2?e*~N^fNN;<Ak=F
zW>P_G;{;p<NSsCj9eVgh)dCUIUHm7g(SPDxtLPk-+W=kNm_=Od?Y4rb<_~zP9(}Iu
z6=xt~sDh-RO`9x>58s;MgOTd%GZB$f1DqCn9cTF~cX5*I;3TaH3PO9LqfkqYd~q5r
z=U6Dpv^|LrZ?SPO`p5ynb+3C5R-{Qp_+co#EDCsJUztz9e=q#svNh;!RyhI81MZJ#
zkp2j7rkQ-Y4Ouf`d9wkz1hMH|jHi!UXDi|sgfpiOf-q%+Dt{duN5KdV<kz<R!a3Oj
zSeSM5*dzCeiL^|DA)Jy+T4(lw!fMr`ipD4Zl39@U6qjnKx4Rapg34FB$=gzq=|<5b
zCjH#Rc?^3%YHQd}GsD3>Upg`2ss0#wRz+7=BY%=ZFvy3snC4Gpsn9@=l_AS{E>p>R
zG&X32Jh7A3iigVu2ek~#ahNAXf-IEJ;<KJ%_B;ET^toQsdR6)QzYU0%NWEx@W0bd#
zM8Xc!kxWD3nZETiPsEut&jW2M@)D(xyDD(+ekpxG+S?~<bVUfZVGLUC2b*j2^o=Z;
z<%622ub7rXNw}ijwU;(vp^mdo?#5&68ygaqPr(j}Xwf|+3&hOP$IpqOyXzlA2ZbjD
zrjWFYx87JG2+Z6Z)i+ef_&WiA?y{Au^q=rqPLj?!_e0cI-Xhrd&P-l5`Y6}tuX=+K
z-y}qUfACG*7jVKfoW#%tH)NLAA8m^@s+OV-(HQ=afP=Vx-R+BPyLH?J+0`teka47X
z{5~(n#I(e%hTZDC=taHu{<g3A=QU%#pG-7M;WheuB^IT5%bG?33_Kfr4%K_q+erKw
zUeZ@2En$7l<3itzcwi?XLG-l+r_Jora_rt5a5d1o_YiBQVLRF$Azv#&!O;npJtyKS
zpl(YZBt4P9>uZ3K7~~%`L(y~`QoZnCd{~N#8(9nWXT+nS&H}DiMJ%vvKj&UuMh)WT
z(uGWBxOA_p50@tdo;)l4sln0^eztjBi<>*vnCS2w2k-9_&Fra!R8H$k8iyS$Y%Tve
z@Kg^1s+w~4F()XW`kp`TIb7N(iHfYU^#13(-eoz$tZRItrk7yA-4^aFd8CLb8dVS{
zt<FJ6Yq)6!sLgm-16+ngj?*Xrm_6Mrb@enEW@|C#Q^pB(l!aG4-*C7zlhp~%;*(3?
zClhwI?Y+?6aQIy0y6hlfy>sS@%sS}<#EQpLOb6RP$jG+gA1CAfIRrYoM@vLD!-#Z}
zbVUy-xxyiEK0j7H<NMwbX%RIfr)8N+^i^)lM}IjNe^T^kb)inrynaj2x0XPiT=lm|
zpYla1QpIDK?z%s2{C82E_6`D9qU8o#^dv7o`*k}4#`&L~Q%Tjvsg*cOM7EJaKruvu
z(=!V@IkTC8sg*?UMy>bfYwsDg%>@|6K!&<PDzic>sD@vQ#yECKDW8{hD&1=O#erdv
z9eI!SKVQ9UP<?77-}>*51hA>+$dKx+xBo_bOfiojNgo+M%Rf-pm=EAtJSyPsxg80d
zN4rvA+a!^)_knu^Rd2b^T0&ro0BfAxY`st+Cov0kB`ZUIn>y~yOlKAvZ^<!8I^T^=
zwglg5#zGw$X7HJQU|eqX9+s>19oezDs=;J*FBYe7ql}3^E}dn&GL}k}??cw~Xyc)M
zKtUL%@YcmDl|%e@?@<uI*%Z@UC1v(>V$(++0f!K6E4PvoNQ)9r+in21r)%5t7Q(a$
zw%Dv{!b1-Zso)P4FL2cS=728S(BsTT=%Qx{idhOFti@JqZL#5r{ez1(_zdo-%G>_^
zke?6UF|-Yhx7rrvRKW)o_s`RY6MOJ-Hf3<Q$Y}?o7v0DV?Vm)qnoHgnT=%I4&MvFi
z?B@L;4dzW9gl*kVpe{b}<t{ZqSNIOKZDg`o*MM(@evs-Yvd$e0xF<*Ql(qmtjFy+d
z`~98)n$fW8L6%|CBEs>D!0JeWiwPxR=}aGc1lw`0<)yw1Hc3|Ly&}?(>N!OXwcVCb
zxu{|{PIMJ>qQyhK5cLW&3-Jo~;KNF*5QNiX5c490j{Ds-lwu5MU6@vv5a%$G&T84g
zgufiVauV%EPs%`!w(!bi;X+r~CBcEUFxZa!(~zHN^d&1^yNCX+a1;UT8$WbV!Wa2S
zw#>}$EP&k*+*rY`E3R3%KGaW8Fczfih*?y$$$=T2FjrlpF)H$-M>5sv=sn#=R+lkW
z9IW+30na&6vn>GlTThTrXwBJ_n|}4@-*||StIZz5h+iUp^s7WxoQ#P$M*WU@Ts4H0
zJsfOTP7Xa%jl6N`J~*GSzm20?f~ggpaBwty_x>ON{U@Bkv|DgFp2JmykQ8`rd-VIV
z^Z~DA-_n9!W&BpsMvi0^P01GEO!765VY}8DLh72WTI(SH@sEk70nQR8wBkpKCh6m{
zt%_+?1%Z!Z7h1VS+T{oTl9EE^)g*g0rOg_e8hO?aoKS4=DQ~l8tJe|4G%PS%E{{=n
z<RE&-Hg|e#MktXrMK)6f|E%?ZF_|%;=c`oWd9Hxpa$`VNdk*6y`J~u(B5`kDdNmc5
ztL*ju2dEez)@GFe+8MeH&D+9K{Ky))Ofbq8DOEyI{$Bo)MY2N?RGmd+2+#KryxIe7
z5vB#EnhJV>;shr;ESYcMA=1thDVTg<nJ3dq_LPu0xYsIyTyF?Ll0&~@`fA)&k%*_G
z5JETFx%*-DdG)eF-sk92u<a?#Gu~}#<pb?Ru>XCOr2m)kF~t(U8&?#G&L^d4q#XnQ
zZF--M_`;YIpDOwKc7XopWEe{P@&KI#E_9~W)KXYc0EuKjK$j_2<%{K;FJwGRYI6=i
zx&v%XXRrJe4*UlIZG+7U+|C4ej>cU{@^6+&Ftb!q$RX>MAWs<<ml};q;Ii~s&*k>2
zf|hcC+d=A1vLb&doo1qx1U|5H``*_MFtgn6H^{MS_YeufIra#A@tk}Xs#_@-YXxTY
z$V&69yyaX0S&e;|HE{@kV7ZI?7I^fZvNYmxYkZ-~_mYCr2y<Lh$_LzA<<YrYlL{FF
z8{t_8-D^pxjOIEuQ9g0x<m<Aa%ICJfON;gZG5;u`7l}6gLwI2o1+84Vov4iF2uMQ7
z+l1RiR6@_zAf7)r-U=Q0$_S+G{f?7OCb9N^B>C~Qo0<wn+cBLnt=Yg!MR;^=sXO3~
zc&7Bx_HJu^$TN8DLDW)pOcP8%?Ll4hTwjr1exN_`KIvQ&`I7@%=O*gkT0BTpb)*OS
z<E<pAjQo~;r(9JrJ%|b^nPJmtcyePgfM=~NW{1roZv6A<^t?Iy8%RVRXrtgCZ}}6F
zjQUq<;;?TyMmaZ+wKv^L=gG>)6(^`t4(0w&cEbHn?Q-1D%&uG(_avx*%;SogBS`ku
znv#lx35X&#*L?@Ia6QkJ1(ywMrpE`MlDBUP=2U8Ki=gTB=Yxg3D-VNFn|*q%{b^WL
zSCB2E@H+1V*5?Y=G2w4f^OIbsb5)*9g~&Bn{47$&!WH_e^XfQ-lPiVNQy8Zn?@P)_
z@Tk+|#i8p*+4~|@qVS&;&TJb_{w}03E*6{Ze*t8V0`TW@$ot{MIp{IBXyHGAd_9;5
z+d}>7Gjeke4yFmlnQe~8QPGbZY?CMBxdOcOWS1?{<WXB($cJge!SP1mNL^@7evT13
z9(GczbzVHQ)Tm0LE%I-%)FE)Ewr{*<GJhX5>P?P~pPqX}1XJGfVPS85U$zfO9_?cA
zBk+074&+SlxO;zGC{nQ|m-_I@)P<7?^8CRLDxz=v|Ab2{%&h-syadn2#=-^vul+wk
z6bm!w|7iL7ndB`Tt=z0hSeUs$N*+`|xj6h$)Sg=bE@H1qW@f2R|1&HER^xRS^QdqW
z8cE?>(EN?6ZVkhj5LfHJJ!?7cJY(O95*9W{7^XRLS!3Bqpi}Axc0nqF2ykMzl#4pf
zU)|EVT?jR564Xk~`q@DP%-&(>(G3=pQ~pg;pkKwL_@EhIbQ=thz$DKUqgMs|p=jv7
zxp^%6#Ornb(=&Z#LASEQzrA7ON%7*Q)Izx%PS^8vGTB30Zqoth_Sv7-hr9^pv8E1k
zJKJJ@?%cZcEID?h{05;0^w&w!*W$LCDB|=gS>l(YFGTggrE&7*4s(tjBZ$rU_qA%f
zU>Zt?Z-J>1GuukIptu|jYU>KnWvF{{gnMmlT<dZ4!{RggXJPw~q{!}itS_D1etad9
zDvTYP<?4lzfa0sK4s}3|atEJ+Ix5&xPRamGb<lN9s>JWHN9dMzoXRIu$=ldBfpbjM
zQxrN0sUW>kAJI$kDr$C>VNxm-B962I)Rsw>eB)i~OG3R~Gt)Lh-bq=Y_qv<~HhsCT
zo&1!Q*IG93w;MMMGX6+zzfSzH)CD5ieJOrEG8pj;%Dtr9?6jeK!o!{bgAKaF#SxJg
zLWHPH24%io!m_ZOG#9$>B7UNiYY4d9@jr<@Nwi!i82D$U5Pal!iXXw2lwF%f=*maE
zOH>R4_s+2O;?XUW@;AqUhOtn%hrvH-^b(==%W~NW`^mQm=4h(~mAf0h8H%8?jlqx_
zw2nwpk_&gqwijTY&8%*%-85c+5#oC^TwW4NXkv(Z-ol_xQ_`weR$)}EoG~QAEH1ZU
z;F<jnHyt29BQ&F(Cm2C(&khh(6%Vi)??XXuLd>&>g>|l#2|||yrh6&>mdR=|(`E{{
z_bn%`a(d?Gfh%fp#vsHLQ_Wy`A}cGbwyIH_2=LPQ-K#;3$|#8F{-Ax^ZgCtLJe0sw
z#cc>nlcSj>LNj?Yy39Qr<BFAFtif@U!Vilc;JP21wONpTMnnHv3+dS;Il!zt95A<r
zJoFgI4HKnm?e7>5d{zSAwr;B88P4Z|9-n8f;+@GjXbkjvWf@k<C}{g|Y5!UU(9t_M
z+(xH2h0Tgkr+aLtbhhw2Os*p9$vdy|I)qNF2YSON4>N0~r(c}Jxg|Dq*-w77botDY
zL_3~MAd8;)gk{C&VrwH7MXewEzo@_dRVxJAh1y#h^k$C$FT}o91ix~%eNfU@xc|Z>
zcynD2PE%KUbXf{9&#zYSYJDXQsh<g=k6haeI#@m0@M+Q2!jNq~eaL^>H#>ZT(^Bpe
zP9&4)w;tm4ajmgvgQ9V&x$~?#9E>aX-E$#PUm%ZmQ&Edmu~S>Ys8#3Xkwc)|O3TW_
zViYe{udvbvB6O5Fmt<9m>Vm3M!B>X_eMntjpV>DVS9Y_j{ytRrN<>D3c~Ym2yIaF=
zGfgHVVD&s~M^Sb(moi4YPs(lTO|=*uQ$?f@p!HekW%xwj%O*?zWArRS_L+%#BM-+e
zm?2QoE{2on7bUuqv{H#SAxLQn=C4?YSYD%K^iOC&Zb3OR{o7xsWOSI;e%VDjRz;^R
z2D6N~gT0F?8r_1!u-1=jFsEkfQ;y+O8)c0WM27P)n#SQ=+pc62X92S%6UPnAr~AC+
z^&Jx@@ZuV;x#gkJMjqiY><lTvyiRO{ofW~p#%#RtXgDWFSENnn{)!MW59~t7?g4=r
z?mRBQtyuZjm6CHpN`yV6M0*w6!o^{%%4QA>W(rx~?N5QhfcIT4r0@iFR}6b5;q`Di
zB~GmcC(x-BI-%t8&+8$B71?HOfXr!O?K95FuK--nRZ~wR5|kMXmj;vz3uy~_<RTTE
z!O!=^{CC1%g)U_wX<rXE0@L-=rMr#Kawp5cABm1IR+~2}&v4W(96<7QXjjXkC`t+8
zwD3ZDMn#$!f_&Erg2{s42rZyS`;&s~>qAtDFr*b1*l*ie?D{JPw>Sy+-+FVc%JEq4
zLhFg-THm9)WlH4oy9BC4VLIBckc)_3Ik8dGc^)_%1qLs_!Fc3K3@)Wzza}`Ix9Wrd
zYXMeU*4R-djK*B3@sYodP$P;xP_tKOR9xprxd&~(D)599Ln^VpUKN)73VUoOM`QL?
z3LB20MxFB-Zk!fza4>1*eyFxNm+sLo_1x#I1Q_dhtJ#P(Aolat-CiE}1fk8>=-Q_a
zPp5UyFfE?Qs5uZ=(qV8UF>XyclwSA)Rj{Y5AgYN?nU|?;L~q6Vx?u)0=o-Q8#xD-P
z>+oSv5(+Lb__2c=BY5TFlAE!E@*{$ye_RGod+#JcCWuxn<W|uk!%FOaxBCd|&rzed
zNj+OG^wCZ})ZR_BHbJUn@y!`;OfF|9R0d}9lvOHNRM2~30$`u(Yg89fQ@cKa+OGMU
z4%Vo%(3pn{Q+)(<+t*`8{D^FaWlM<E1q`z8;|Ht88}b4f{bSJ4P>TT4bm&E3iSj@)
z8N0ku>7q}u_rPZcU*tl^p1hLCt=d>RY}}O**Obop!rO0Y9%PYct1{@K>4jZ3%{Ozs
zGR_xg0g9cx$W(rDFof;1c2V9yDWwT~-dfZO>g*plbo?0WU`{-{Fp^M+59}k)sLxJ0
zvgRkf$Z+^#`R!I;yC7~1<UM8lmLw@YaZ7;azO|CjLaEx@0y_Qfs@l4Hw<y^oPcX-b
z>R;to$>-S@f3F@N=hmhq3@mpU1W>dMi=}E-(kO?8e)Kt1;!WLvg&6|yJ+gY1O-_77
zRuaozU|seK{`oqSvOA%I#I1ukHoe=^+b}-1;+YUVA-#C9M&Ay(86_iBP`Yj2Irge+
z#%ffkgIa2hDWmTZdc#0eRd+nXCKYi-jeh91ZL#!+C(VmfZVpb;T%Oi@s)L?)wftq#
zn(xs2S-@?k0R9M4usku)%m=3i`gkPy&^YUd(j(v(MtfT_f+@5Tt{pe{sT<aj3xK2%
ztF=!e(M&M0bD@7<Q==Cqa2aYwM1qN=n&7!5&qroAfm?d(l?&-K0!9VFH={nMl-_eZ
z1522{%IodKJiekU#N5=UdB!R|moDkNc(t%x^fhUu%bkBZdm<m$c875FIQ2d0`inoC
zAU2wOFir+EoWY2hC!z1IUrzfz)ab|P34t7H(@rL5d{Jssinot>l;)`LDo(HPbz~3s
zZBZAkcBfdKPJglOhFtBB+s?w=fqYJD6K`7U(^c2A+JG<|h3G{#`@N1p2k3J~-g{6o
zFIY~Q>Xb;%q23LsW{_c%vHLC4hLy2DSxC888X^(i(jVghmKh**1I!HadZQpMG@;<j
zV)d;vOS4^@ALU|lAWU2!?jA3`M+#dF{c)82xMnwuJDE~{ij1#Q^w*Oa@nJT6Q}?$J
z;Amf1EUN%th%qm;XYYZPIdhO#VB}YNW?)VDTgRK!s1qj;!hO6fZqvrVA{<FY#|FrY
z!k8LHn_6}M6#D5@fGw{R&qi90WH*I2U-oHDlPQ>4bGAtS9GT3L&=Y2vC+aIxVxY82
zEwndF{F<p7^8dp}x&DWFvU0Mr{9k;O{r_R3Af5>G#`9m=kT}e2|Fo*`Op-qw-TtxD
z|6o+%1qI<jHjxAnEX*7rrU*w)7MA}Pisk=CF^M=j{%~{EV_{+bPe%hLv43VP9Nk?1
znc@U_L>i<0Gx1-O1|<L5-2dH!8?+bM58!Dmh_ZkIv4Mm^vzg?OtX%M{jgFvs07x~1
z<DZ7KF*(@=9E6c32SNd1H5#QY06_d1axhG)Y%K6>ERDe#iU80<=6|6e>MSl$WY&KS
z;b8G_!t?xxb*uh!;s2)LY#_gEVzmGI_8(sUkBzHx^T2cSfa0?F{@KR?0khzc{#OSU
zW>9`I7U(*Q5rcz=gOQnog@l!pi;<Ism4uU-jS<A0Ef4sQO%l}qHKnRtJn&pRpt>wP
zBqmiB78dw_$A1R$-(j&ZbN>qmxc_s_q{_+z&&u=PCW~@nXjLV3Sy2g4WVtc~$3M?D
z%g11#C6z^V#HB#x^*W%-GI)@38!Je-fgOUInGNLL@CEW|WP;L=SCAJ4)ikO@aB*>g
zAe!hQSh=_wnVJ~E8;4twz(JYWNFd*GIFM@#34jGOUx43O+ky>fWXTZ%fU~iHoXgP>
zB$Y%&By{N2Bvlna$~l<-Kvn=|5MQAN5*OEho;N!eGyFdZlwNoZ-~th~6a702w2Ohx
zi+BLs|FHlH%_RjTwcs}n<SK*zQ~d|R{SP7vax0)|ye#Geht^h7mXKBkF_bxj{^X$i
z^8_B$Ue=N-#tfkSAJ0==m;q_9)-DznOm3b(Qg>hh0qERpEP{gnQx5Bu1z?Am{F9o?
z0-%E_LVGnsebr8#V*$jFL2+@ju(E-H;eg?Sp@E@;VSqt{g8{%G!K}gV0DORIaF$jd
zRzMX1_*UvszVr(5TK_Oy3|PK@HGPD5O?W-P+~`&z`#=@9)KnMF?XxDXEh?z0bStoP
z`r%{7aIf$R{fc{bdb=aDN|{f*Q93dkwF$e)GDJ?ot0H7s<Xc>kn_pIEm+l@-)I6{j
zn;ivPyc$d);b`LLOYC6p7NHpC6&V~E<qzuznG}^pluF4CpoILE=a835S_ME)HDL!_
zr3xbfTwD7%0MM|h86*I=R$f7XJZvgC)j#dKBw!ah6_@3oD5nU>M^07b_$L|}0+69n
zM+E>bt$StwAH@GzDXGRz0DJ&<>Q5(t5;z-c>a-Jp5}=rR?*!n3a%b{j@=5iU1Ox!t
zSvZ*g*Suz@d3&k3cZ@0_hKPNKO7+5j&QTK~cnS*Oby2|pV80l=EO0n1E(kazI<99N
zQQVIAxXXY_zB^>xV92f)3Fp%kkTA#cVuwY|1jIhJ?HFC`3(kHPOVqGkbkFdA7G6Id
zWj*G+zP|hS-r^In>@xy`Mh_KqTP&v|-yaKrf>_?+*xqk7W4#ZqZ34SW1PVE@^*_V2
z=f3VfAAINMeU;zUoBZ(lPwyY(DpHTJX(B1obrwQ&Y~rY=jM|*~uR=;sruEY5D75q`
zWaP%>v_WLkXs0F8_d>pCoX4dyL#h%3RT4U?HvO)yrxWH4)M`MNsN5;0iJ$lP>u{_Q
z?DQsuZQA<kbc#w|970MNb)1x1S<Hsppu^sj<5R38>0t>tyNAVL32#Ud3Wo8`7WUq}
zGHu<40(MGwcU_&|y3Uf8DdvkOSpw~|La$&V^3*G+2obnLKBf@$5o_{YiuR;ABrRxi
z5f(!P2NtH(_wYcLRIg;O7;VKW5>2#OlwL|rbi458Aq-PGm4CH2o8s~$8D4s~XphwQ
zo(f*ZqQ+z#^JHEsPUZ`ZAb%-G^4_d20ZZGdz|Pk#Kgt%bi6z?615E|WlANrQ&agI^
z?T>+OzT2n>X6HgY*uo*Fqhv7T?ocYY#gtMlDi&D~v@lTd!rq5^8Qw$=-%XTj5in|M
zwPx3MJ72flw4{F(f_1kcFthPG|9L+~$DF$2f*hPNwLLLLw@jku-7kL~2AK5!)8Cqw
zQh(Wva#xmbi^MI8*zMs~zyh|yijo|huUksR^InZ9+C*q@y;q|c9rZ^7GkOZ{VeXaO
z{q${h78aNepN;WURG_JL>fi)TfMNGS)Y1wm6w?ZGEusfnK1Hlw>A0KA6@+k^OHSyv
zgz*G=vsNc$B;}ELx?2(UtVa>Kc5w8S1(wgLHLNypU4u1LZEP<c*m^+O{QXx6iH!)l
zrFdn^>@`bnieAW-MWPlZ8(UnCbdfpsVUD-uN&{{);5VuDyn;*l1R#1<G|1s<ENk*Q
zK7ofwd7BuDqo&jA2Y9e57Gi3nuK9gIXmVXz_DlIB_bHdhPZbHHR@Gxj@D-{Z#J1;K
z4%IL^&(nln?y>UdB-@Ur7#wfns4TywrwJQ~HH(!}B6iosoxkUoI&#<*aa<9xHHr8c
zbOT#Y=*5SCzlT$^Rw_&tjQ^F>8KyWYr?XShkS7z>sX92J=Gr4<5engkVgE7Yus%Po
znpa)P^*7_mpeFQwJ!n0<iEUAKHF^v$4s{2-$zW}1s56?g`I0~krA*adR0?Z4m=REI
zSis|x64PmD=px~A*$xC`BNzC!k?!v76#}gUQ7RT=HYD1PRYdjYgbP&wKJdeNX-td`
z+@B#~Un767G2f!Q8V(4s<(zY2j}D2SGCz%<=8+^*;VSx!O>rpC52psWP%key^`M1A
zLV_-1E<rh8*Y=FDC!Ef!zmkn12`epev9gQ-jn(_$7vWO)khveJ6tg}TaEzg`QNXcL
z(oG<gyTOSRg>~&+rq)i*tUx%h#C6fC`*8w^LKK-4UO>_rP@|ZZh4Hm_W+?8~B|`l1
z>12Q(U%Kg8BbTaxU0c-1X`ey?j*AU&l*5@O>U2I@m-{2as92VaQwa)CuMn<j#?5l0
z4;e{X=BQ!Nn@(e;YYiSe76`!N2I`(=bhT7*1&C90zzBr;ySg5}4{v%}mRK!bppVDk
znn~MYz{@Q28v92U)oRkGu+oX)`YBSnHMO*GEV+k?eIt(loYuKqwQ>bvnCd=E%v>Ro
zXsH`CXZG9QA9&bna1=D=E*UTT`5#(wShaZMhgBoZ%!Ee0Xxb@k?w{l>0#P^kz<l!+
z$3<&;ig4h^UE&CY8p})hO8qt`iU{9bWckw8>o2u1{Pd&}7&M&Dcr)DJnHeS6qlt)5
zq=+JiU>_A4&}c~M4KVwS8-MH?KYR`A{~Vbr!md#daa(eJcE+@)LMTRPTbsZ(k(PZv
z*W1XCv8Q`Y!8%E~+2PLe03r!=A}iotCA89XtBdI6d>>Cfmv`+W!L=3i?LO9a_aVd#
z`@%OPg)g)K?6kMO(QrJJ-Ib8+5%G~jeKzI6D6~TLDgI8nVWrwlD$ZYMFQuMA9a|#N
z;w2R}!e%)1L9)mrF}g+1eY54Z<<n)hmXDTIqMTh*WdJm&8!WEd13k3;-rSkCUU(0(
ztU}^?1Sy}2Jg~nBbFp(Qd%pSD&IF|sJbnk|C+5>}jT_0~_KM8;uB|Jyk`Abz-ZZX6
z*el!!>T5&X#P`fm%&R^W%WSb8V}VGo-;0GEHIQF&Y(JcCp*A)hD~DZ(rp~to`GPac
zafOgvyJKwMXaD_43?wmlF3B?0$f*gMNz>?n_K0s}!pP>{Wy5(=aZb=^bzr1=Xr5a(
za|XhiH=^r>!y~#8F_=7%V5jK16k2O(#n8VA(~mv>AB=qkR9wrlb_REX6P(}<GuYrk
zgS!O@?yf-x2@oJaaJS&@?(P;K1b26bVE>$R?|tvQbKm{f+pNW6*Hm>^e_h?p)b9Sa
z0jHJ4Nw$t)3YugalDNv4mWtNiYu)<KS)}Fc$5Y{H%ECWHLq##o-so9zYjwdY)Jz{y
zoLb<Yk3*WICOek4q^jTMo{1Z_eJ^aR%pK0ZEG(4NmZvm{VXy|n^LV7zKHL@k99b`k
z>v7-B+x_yglPC5OgEPp_<u^sadp)JHtXSS^Mywd=$VPo%Bo-n`a`J)GW#IGP^X*;q
zP&9A$cb*DYo^MMgc0{+tCsklNP4CydW<K_x-SQzW=H&Nzn@l=ITA3&&fEu3Hocw}_
zmJ@)Q#o4()><v;|1B63D%|1LD8nn8YOO$IAc8xe1TLqR0L?^H9A)f)h$(ejHm%C8|
zd*N^PbF4G_U-@FmoNG-=h2k9j+&{q;v7Se}xm2-R&Hu>zU`(0ERV0@rorii5nN%`6
zOB4!ekNYs_Q@CVDAHqC!l+C4CNuVeZl_T|1yWM>mTIAv7#4sN&>h*e*bz-Uk@$d#_
zembS)pgz!qO>tBXQ6*;Cvk&w6cZ0(#)@HGOO=X|}kG~B$otUC|k0|YflnFg#Xt4>=
z-nH+=M@{?(+*s!Z{nP8?&<0P39IYS2yqrXk*!I?xm{Iu+xFu|gT_j(tN5Ygu^>;I_
zZIID}OS>~F<Y>!oXs&2@_yWcFjaqCUIwPd8uIXj3d?m3dgcpk^(97g`Ut%@u4LM}D
z?vRA9ZK`lqIo!-qKnbR)d2Mg-x$|T5N^VaN9ioCL!Ik<f{u*Ma`YCVVAhAn(VEQ4X
z_^fwdNmh~Y7f*<%r%(%)K!74atU;;SS0cgqmYUjD!mxMRn(MJV@$l9D-VEnMDs2+G
zPRX`zpkrZ|6jxEIyOPw}Cp@yF>f|BRgrSjLwl5G{kDrpdZn%a8^G8*x^2^6%q?2%V
z^0FBfwb>+_k8{&|?HZ|F`Ll$svuG?3y(XCqbfD5NS<;vk6l(@MHLwMtZrv#cuX4S$
zovJE_jxlr3%-)rfYY0(TblK+2=3e--$JIcYz521R-|b$PW20p9;OXa+=ioCb{2x1}
zPg5!!y4r-S$R^s=5Kd+AzF}+uu8bdtMiQZ2cNzM*u3>M5Eqj%U?o%L4vKa|PbWz7I
z9oe}+foa4e5^G<L*29&vh(BvFz?sN1X`DP}q0CVI3ZaG@3E)u49gf&1^<krok9}cg
z(EIR1YtE>Vi{Svw2%(qJsQ$axg5+DI&7Zx~y=yVzQN<kkyi3oGT8`0XVi5ZtK5pMF
zbqIE`q<WZ55p;Aep{7Lfx7sv9PMB>mQEs#6KT2(XYUEM`26`c=R6Q~^#bv#C=2Cn$
z^ZoI93;pR$+k?69=cvuY1<Z4G$(NQaEacLNy3_f#w~4Eob4VJa@gJj2l+543GuSHq
zz6}oW3BgWPp((+uabnP8$YI?%q4|h6czzeaaW=gR&$j#>Pcd$65#=o`8N_%SJ%qWO
ztdJ@dS0DNxN9d>9u8k+UhlwjLB~p8?YzCW|22=;v6=8i;$$UhQM7DD(a5RJHPrG`5
z<I%IqV>2Rp3HzTboHj);qv|lXd!;ppZ0TU{Uz_>bs{5+LY67D~oH5!_ek9fN-kL2V
zH3U&J*Nl*N(vfdj>NIb_&5+$6h*Yj|B(``5D0vbz7b<;Z5@fU`8=qdHUx!)x1lkGm
zO+sD`Ue-<QUneoco-A$iKjv6Z`M_SkeC!XU=^SfyooC<Sd}|5a+E{V>bAkTlp-XWf
z5i5HB<jCY0U-M2))4EdVi2RjPC)JR*-spMQ+>Z}MWS95O{L+01X^9Y?mrry><b>kx
zJ(d^8wXkeuD@}A9uu*iIC0L$oI4e?Au%8U}NYm-j)PBmMqM)E|)tQdTAIl%lZ0J;p
z+9M(AmVnM=tL8jwI@+uSZe&Vi(XBq{G^SFG#Lfn(&nwBC91QaX9H#F7Uj2<*QZr}Q
zqL<lLzt4QKY$5&0MV}b5Ldo_$Ec{V<YL79yZ*Ou>K3|5W&e?c<y^Mva>gUO(QIqsi
z+-@-TYGKw3Q-`K=H4J{(4qMvg9b+W9_;iZxSZTUZ88dO+S1bHX^l_MBgI~Qv=Z%Fm
zZ;rSV%C1$ULJ+xIbv%eB9x*p-v9m1+sP*vbYHN$Sf2*m63Qm_nI0zc4DGA@coK2An
zw|H_Vr+zb5@{0ue_aB<E2r(&K2#fG`Uthcpr&>iKwbf{u+W@*770`5$aJDKLzURUH
zK^v(2#-}oGVVi^ha8!-yL)eIOpad=+w(DVI7NK0e)ji+I_NQ3oD9bP9V;DTvB@L={
zlS^&r7Wm&D;A{;hAqQthW8&zvU!};^VZH!ewPeXE8|ss@<Lv@pF9y#waI0F+n4Zy_
z^tJ@?H?v!3R~Dj-2DxNNSo?dD_;Xt?H=5=|E4FP;VzfH{?iWV0l}{hBF0d(oSKGhx
zqwi4)T<T}V&Tf_SgHSJd?zVu`-oES<U4;cvknW{_&{Q^W5ppI(RdI23S1SM0bK#(e
zdn33(GbH2sGcg}uN=g(ODG@J<n{LJY7S{&z&t!Q6AhA0z#YHLd80nY!O`R;i`!1bT
z=0{2C-hImr6d*=hHcBK4<{8HN)Z*ndPfYBuxx>gxBHOEoleRu~Mq{qHaBi|uzNLBW
zy>n%BpOt9{0fhhJ`j?thc20eA-Tb4=(ye=hqEn9Q%e*~7Sn*|DlZ%klFg~#f5%QkI
zly%Qd0tTJB7fSd--GmD0vk{iP?me+8ufGjy83T8rZ{Eez049YHS`@=eo~^VFkX{vi
zI(}7mCdrs7;J(sWJy}gS?MM4VNE>5`)zieW`n9Y34TN!Kylv%+{_n^T4Y+&yP`nJb
zg~SXNreQWDTsKeaQdS;Qjv6h0>X8)2M3b_S@qBegG&Hdd_F502--0P$p9)CZH}xJO
zqqs4V#rnoPJo@@PJjVL6m7JZCWDhHrG9+vH2$PA|vYoCXCVzf$$6ky|pgEb+IR(jh
zYvvSo=NMmcc@i_54IdPPS3)w5=m|OD*4`cw+t@iDpNt9LS?BM)*ds6Wm8sfk=CNBv
zOLsW0IP;=~@hg5Nv5n;BE2k#Z-Z`JiTFUa1J(oin&}~i)ORl7N&EM2VMlAdK1y-#I
z#FJR(58y}nGdZQjBqpzt$X*D*OT-KSq+vMNxH_{ro7!3$+uPXNB^Cz&h!f}K0ZtGO
z5D@&Aw1j+&mz=6Q?tndmZH3CaLY^<pi*~ZKW?{IlNP}C3E;v~5-Vxa)N(_Pc7U6kF
zu<=s!(I|t)6e^6btFqVu%Ctc4c$Nb*T0T-#1sv~A?sWh3aN%dIE*5PCrwe}Yz0c)S
zn)9c)9N50i^UvAq(N2)l{W<<6QL=_Xf3HByUV)-C0qR#A<h_yR_{eUJhWSkWO=~wz
zxS0dfdl*6axkPoL$c$~HAiGexlil4GwVlo5V>(m~rn*o^ln7?sY)yt)l(x3_2@-j|
zG>q4h$-6}H`k4nE-c4NwXDWrR`V0%7Zxfm0-(X)eYUipH%$z_p`$v8jSX@<)q135x
z8;@JlhU6EjPG8HEF$>V>7tJc+ZeOh&_=!x=oO+J<XsE>TZ@**tu4RSKm5Qxe9!E@*
zO(<g%l1ozLL^d+Aa}8#8nB>1YhrNUM-e`;fft~ZORF`z<Lde}Yn_VLe9%Cb@PGT6+
zqB?-+Z<+g=Y!e~G%@;UjHX0;H3U-6lWWsvBb_NrgB|`$$-`J_;89gMJ-&c5rJx-b5
zK(I48y3J`+i49g2#LyxXwpeSBXJGHS`pF0baIT&bcBux~L>nUnt1#WVrC!6f0C8rp
zs^C4d%pcb<H7kGG6=<$T$S?oacON?48|ed96`)RtuslJQBg!)oDo&9izD9*ARsCe%
zaeK%UYLpf}Z`x@4CH!kdtF`6OxE@%bx0oa?t8X`38g`+3w)2tvYmR}--D&+2>M$#J
z&a;Sw7Gj%LSC;Hr(N{7qn;RsIh4lu;tB3UxmO03wVfs1eyhhYJoFw4-jl<iX16B|J
zsWi}Zsr4kp!i6s)|J~fu(&Xf*Ooo}<`J4Ctot0~?JxXx2d=<HsxfeIDe~d}E*B5;)
zvb3x#vZd*B*h12A%dNiCdUGt`0Rvq(O9F3?w}8(k^cWmmt_D>mBK0m-a!Kg`1ToT?
z_f5*x=|#TFLoo`1IA(1pYO?7~_r1C=jKkdzmyF~P@^1nNqe^Movbs|&$PF;8uxR(#
zVw3QC9fbi#?9-+}JCA`E=;GBu%hDuHNaWs>l`*6D!AJ;SMtUOfL=wrk5}y=_Fn`sx
zOpbOw>89aC1R%L+yKYiU-UkKU)6y4%WM0l%MKxY2!)Uiel~Or}E}DZuVuQjTv_5cL
zP|1`-suHKNQSQ$Sh`d|{_4hi%@yY1+)|^M!W4rJTuOUad@H#=WO6Ke$lH9T%q)X@@
zgpF!7yKM$5wX(`n(uMF2x4fB7m)OaOcbqfVC}73l#ftf>jC}|2UIQpCz1m`a62OVR
zf+LN0FBd!&wrGTVI&=29wHPUjc{oFr#~!4B;9%+yMHn~1p23xOxi)%~c3`BRB=Cqb
zEph(z&=BwX@C)u;B_$8DwPmj7?Pzj9gmr`KB3+zkNR(jgWfB7Y&zf~ZCJN*|ljuIy
z**S5=*)P~~U?=G2+fP3qk@$|zk;YRz`|KBE#GO=4TU<UIkVQsyR5o2lZe|QDNV+43
zKw`W`du6XA-Ll9tyt0&p#M444J~b(-u_akgXt;8}NmUC8UvtLsx{!oCsArL9-rl1A
zs-xx8mH9qY(A0E;w<kconfCq@iWuAnLw`Q|iLTPt9&*v&9nX&b5vsoco+tBw$tZ0G
z8Tw&#vs*e;{xP3P)2NDU=l%m<Wd~)`)c03Y&WlE@{gE1;Yu}KaFltN;7?r;<cS{nB
z$%%40*1(PLYp~YhbH(RrP|oYnRFAc9_l~<=)qOG79_icA!9OPn`;E8*NYG4N4gstu
z9_c}o!|b5|G?+v?W9Xmd;Q)4|#K!`_OQNVFG=*$e1n7f-<=_A|tj7ZI0g1f<P@z>k
zAQn4zy6HTz?F+!UhNq<#Ay#>v0pTBy2x9%#+hGh{Vg)y(;Y}S~4Q*nBHdJHRHoO!0
z!vW3^FbK%~m-##06WLo;ec={8?^Yjw-YA#ZnTj9wEk#(NP4%!wmQ7IgdrgZ}Zrg=i
z*@fKs*jT}_1s2QZJYp8v`D_~$6?k!639K1Ianfi<a8XF|{kZMaRPyPQS$o4iTL*Vj
z)2+aSN5;#=lEasFA0&*BY5N{XbrKiIy!8s^VdB?Wq0ssime;rY-3>c+YC=K)!c7_J
zliU*fCwF>X?z=@wadM2^BIIxoeD_jX?oq*<2`#Ouxd3S_!>{ynHa2Xys-4-dza)~w
zgJi1{%-C>PCWiDV6OP8iKc;6^=2LL+S=wGS#|d(H@#NacEyl6_0zULXz-(=g!>yFD
z1dopEag9?GM@ctF<@+EMb0JO6!+V0@NFyX8=Bk8Gp@dSURQ))Ip~&KB9MQi-<lb^)
z$A-%Hni-)~1%08x$I=Py>*X{euKN5b;R{s)_B1qgjAjJph=t~i-;KV7=8SPlz7Tww
z?X@vN$C4kV48~FJMKYp>aD)-cv-j$MCqL($$|Mv+qu9ZQ*+4cD;`l-+$4njkS}gRq
zmpwrCh&qG%Q?Kgh&(oP8zc2kw)b!mW`-|odnJrl1Z&`2kW^WBm@TFt-slOlWvs|tF
zvR#$zy@<a&z>>gfqPO1lmeRG8)!LplcHL0sgzyGG+7?<`d`e0vfowltZGp*p9`=gH
z6!nP6_#Z2jalW&Dy>rO5+3Hd5nhKZVe_>z4^gtUj0YP?8efZ43ddQ9ZN;Zx+E*T&r
z^0Hs*bqqTny-UT(NOds!?ttwcV|j5g#Ph5rM6*errfz05Dg1lsqZpx>gE>73(>f>D
z1>Bt?BWPu=n@72G7gAdJTVTxe_=c9~U`S@|E6bP@3QUV%5`M40oa8G8MuSN2M1kyZ
zG*e}xZ`O=X1YWi3Db-^R*v}C`vBqmh^bxY=ObFOn6YAS+Qr4Q;brspyLFYlp6|acw
z{8h+~5bb+>_uQ!Ur?yBxNvvb}Vr=R9BWu1*=?VW70A$4dVGG&Kd5xE8`D?5YUWss+
z5+t6$E%Y_NocwNDGm*69CkK7h0@Vz1^3uv}kaoYD5UwhPiACJc&`29sd&H8ilyrDv
zv{i{GY;Sk*FEtfjl!{8ST>c2Q@)z@oY^_V+fpl`yAIYvFs4jfz`gBZRWWM<N9G}#|
z&j%&X-|vG%hp8bVs9E&lp<nm)l@xX8OIAN_mX+F8EPh-(DY{Z`EVjVe$JN~W-AkV1
zuiU<*1pGFQAQMyidUNUebZpr%twopHU9u>rQf-~-oHiqB;rDX_vCgU{Kc_-`I=70c
z>4}x1=~#P8eTq-~^)@<seD*N67gLrPy_5(%dW3|?duw_K1rvjEyveCTI00=O?ogPT
z%7RFOnsiARlS))BIUdRMhgrAIj7q1>>50!u!i-V`O>w<Nd%4KQfud*~WdVp{l0)ow
zS0R;$icB3O<Hvgjv0_dBi+eCGvTd~fFNJ9^Ryinz`*CXWDROpjG`tz%xI7Kj!%AES
z&SzqUPjumsfg^Z*2lwmyzAk~5UPb_!SJRYrUQ?Og>@IYV9<p62UrjULP^y8#E6!Ub
z{R~R`8ETg(#E&$GBI!c({7g2wh(D*M3Chw`lnmhDM+H=3?29&gP<^uFt<L6Q&`2bm
z_{#%`E$gLg!&0tgu27v?iNK&e^0W{LwTxBwG)x*KILctU3`vV5ay^?a?{WZuD;;$Y
zcO3%p6FYr@d+2$d=z7l?^DgIGy19d&%379iv7ci1yVVATjNeYk8{fOEB<0)DHp+{I
zX88T5*K!?)S1@p5`cKS7(`r6Sd_Mh*Wq+7l_pk#)WGksUSz-aZfRy>}a!sQ>^|P|V
z`)9Z{h{Zx)4bw$gg)HY+i|)}N<1XyVQpbn+Yt2hx#7zGOypMV<D~@;R!40pxv0KC6
zJ{3kOn+-C-)()7kZHp0`a`ED!)X9~Z=6(-I+puYFFrLhR?fsMd+4$RK51!VIqd4p$
zr*Cn#Mz}juxNQn=egPf*66oPhvXT1rOYj{#Aq0?lw?oJK>LwXhn$w~O<9r<Mc@ei%
zoG8QX-DBfE<A-<sEc{Mkm>;wK2G$VBevk6gu?g8ov`P?Vaa%a#KXf(;)=dkR8xn4<
zqC|B|IB!itv^mjnc_vPI;3R#}PmWu>Z-3<-q^{BWP1AJ;?af|@ssiYH36=eXHf?ie
z3L*B`VIr-)XnC)YUOka8V5NRIk|eG??~y@?BRX4|WWnDBBRCDJuGyG*4R3R;m`Bvi
zGouU4#pYQ8xMj;44Cdp%oMkn9qEC@w(J1Sd9l{7Ly0UTR7k;FrnHq7b)}T+fiW&yL
zb^d5%z`rurH6ajzKyg5J0Q-<BJoBkAJ_<6tW|0xz?DGoae*a=>n^@+}6$w0dY1A@H
z?4bz)ILTx@Sh;xm=-L{no!dqjP)3PiV%Kxr^+jy?@>76Wag%cDckZ>(Gjflj&z$lp
ztvuj$*%`pzSKR0ei|cN^7Pk{EE3J@3jyT-y)YSXR9n@lYlF5glcHNv;w;gYhMkF98
zC`jlqmgQPWS*ziya1kcPc}*#{an5UD**;RT0W|&X@fb0pNrCGLIlK>qc96Y;vJ^<j
zLd<IhL|`D=q~#k8w8oqw%#pRhQ)YbFN+5zvu?9X2!|TNDhiexf4+#f|iu%F9F^7(c
zH|$pBxAK;ET2}E!cZNu0nCQlVt0WMTaY4s#=r6Zi8&9`H>oVFY>luX{Qr!dxgGNdg
zoitd9mf+El{-`47U02mRc$+==nT@p3^HHZg+SFkdUK64aZ@k(8F1jS+qs8Yp)pp?Q
zvyepTU@r0?3E%Un^(8i8`^|V%1%eaU(}0%QNb;^l1}Sc}@HA29dUcyn85c;ehCj|#
zP{W8~>s+;SP@u9OHc!vfxT(uV{*jb+otvw_=obQOit`IwBIk1ckred3z0erxFMhDw
zbGeTg+tDt@ByAS)CL>E*;ip?5zQmy@DrL)B8KJQ6e*Ibf{!H>fx=oM=(TKoRmR$!m
zTweAWHNHuAxKJq4s#ognxE)0L3TDBscJa=E4BiF-fBJSdDbhgP{<V^6R`(aIO_37M
zhVCpl8KG})OtX^o8+q-1&g@S3;t%AeYw95;cFp;d+qXG4K6zimzj_F`HRsF{O7LFJ
zU=(S2L9Cs3^K`ycVPc`1`f&9&CCDwC%R%4+g8OQt?)8nOuRWL{V7&nHxba$->dnm)
zp7QI+a<XwBas>?G4VDS<9$I#zu!ku<HE9@s=`|b;IuaIMv^|~e%#S;#1j-^-aWD*R
zZ6@o@Niih@gj(nWDoe(cocQJ0o>k*47>d?)hG7R&h&@d_Ubq1v#efJ;>wIa9vp`9H
z`frA#XDEmD`t)G*@c>mwS-knz35hO_@j)f5_zXLt?p-o}NWtVM59-_e&Uba(hnsg6
z@OAX}eFWIIo(hbFJ~W+}MC5Lv3&o~PboZATq9<fJ)(Mra0%?nr!QooJRD11odm~b)
zpK~-A8T8UMbbGO}+@oG$WHqACHhK=sMpv&0Eu`A@u}{m?@hqf31oUAYICK?}ss=(`
zqT95Ba=f{Fi_qA1kQs{<45Tacd<+i!8EjQcfwIw<YJtOt?e)K{v)vCX;K$*0#tm3R
zSY{>0v14X~t(Xx-^rhQ@!tOq9a^s%r{(K*`D{m*HAu_*X$IDHT$3^F1(6hpx)Y#&$
z^(z9}G7|YvnY~INnw*NZKK1u+WJ8+<a|UE+UwNN4rj{sZu7!-5Uuq9qP-#O?c+_=T
zpR~2d`}#$l6OHMImpo7BFJ>#k+TWM!8M9UD5`g93|0FsH8%?fFfayChl6Snpo-$fj
zNrz?#m?~w4emnojRPFfG+PJ`Nj90!**c#)u7Tu&e$`}p<p|=#w8;RX5q?VBG8<LP_
zbPUys4Hqs!9xjQW1?$c0HR*Y_Bpe4X;2Xmmqer*#iL4Wx1{SG1L_)L%9@w9U(Z326
zP|(R;TBR;LhP?7=^BDvBG6ucBlEL0!ebjY`IHgq78b7%t>ElS*Jj96%z?l4Dw4b$#
zW1H95CwhDWnQ@u*Cn8vJC4hZ{QVD6=XERSvuK69*<{Y%`QP(vbmU8e|Y|}RW>IzLx
ztj8mk{)C~@<)I(%!v|Tr)n&Id`#hV~$HtfTdk!%}dRnox>J>d<1jdV!>C{cJmekF$
z6cs!rK!i%(Z2n1PnBJQX%SgcC1Pvu)NA8j)PU(dP<c#UjbQVwj#;BlG?Ibo%+B-(Y
zBN-PLP^6_jO4bIV&aU_C7E#D)6l&1d&GZ(Ku~z40_xp9kU6W@CnW?&b;J1faz!sH-
zGYJB9@Ol_KDZr3#rl{_##h(b_<hkJg_CvgT#E7bbK1fnzgjp~0wMaC;_g8OtOQdyk
zt0K<~i5Bn_QBPf9`)MPb>PmDN@ox1I39-AKt-GDx>hh$t7gwk?5`KURR*|4!DLNsJ
z<^8B4Ov^hNk(pwLlBG_m7gaCaMz=@w!6LE1okG7KSw?*!Yk15;%@04Hetgr^R>6CY
zR2zXv6}uIehp5TsGv#N!vrIma`v%QZ=H^a*fJ|VzD<OU;jVM=vr8hlzZ>NJ4k>98Z
zIhLs%A#d-~4`0-Nqd$oAyKuTw_ZQIp<;rIoLym{(*eUB(5d8ds=sAAZ_xM*M1YXf4
z!yA_Yuk`fRM#fl&2?odr+?Fi7PE}ZNyf4|0oN=+G3^TFtLIQ1fD_`G)(A(`|>up_%
z0wESi@898{5F|@xv?$j?IZ&U+>B~e*CaYL-O5@?TxwI2&*v#AWY7R*R^=z+0*e$Be
zlOq*lC(2Wuujue&3lP98S_m(K0!fK1tfRw4qv!}sOow+E#an^90mNE9ARLMBzJ;rT
za@u0eD|Rg!BRq?v7)uKHGWN46oLb>Un-EhKWhd_wR*@*_fEn}58L{8|{HyQk{WmWb
zICcB6cG$EvXB+%s2Yv>X2z}xGK?SeZhBQy|gStfP`=)S=atSw+yWx5~-gh_K>W^JE
zC~4ltzYOsbcfizCH;TTn@*c4Af*~1i4C8ggO*_qN5m?HpDnHJ6@UEk!`DMz&j{8Aa
z47^=vQRpL>C8_g_*Oiu-Sg8srf|sLRJBAZo4uw*u#)tcytROjMQ^#giJfHP*FI-U=
zhP|&au!C2X?=HroF3r$_J$%P4m!h1myiLAw)+J%U9|Xz|j3QPtM^I-<_2hr2oSrg>
z_>c#O^1*OA0eB{)jgaFQy6<M)5c&fGRIT54XjY=$KjU3im|*#Ji?Ow4UNYvtjG$M{
zd8-Colzcv$d9^6X(qN#j3D?@0KQ2L9I90Ko)23$S<?R3xn(mawnNq@aM3m^xHpkF#
zKiaLxTDv1NlEq1iI`0uy-5aOsyi{HbzU;3vRzLCMdbOuIhpkCK9QKZbyiE?`|29H}
zVM1Xkxe1o}75^%Whg8&Y%8KmEPXe)g=merC9+f045@dC)@|@#oHE(u($lH?qX^}h8
z4eV9VqARK%=9An`azvHT^UeY*cM97pwCpt#9@Rc){6^Zx@6CLqq`b??FvU5lO))Qf
zTqr&ytkV3t2EXeR3?=b&_jWlU-e`Ed01~a<z>xO^vj>lEmkk!LJ&o`;C{P@QL<83b
zF<Hs)Dl_bBlSVs57iTo&vpp+x$4pLFqN~ttUM=42W-#&^@WSv}7~`GxL_Rc}{#5wz
zRh1O$9*weSKSR~{8(L2@;}esOR(JGr>L*py0@Q>oUxq0U*)A0#md~(L5YHrp&B`~r
zu!+E>R0l8-U@prR?e+`NVV!cL3BpBXmH!g=9iw+s=*|jfQ<~&lq1W0%%F`tgH?M|Y
z-7CQ+L>4K~MtH4C8*WzUn);m$))rA~=Ul7<lm);un*66UZzX1A3ubwvM*!v&=|!SP
za2npaQ+?Pp{7(&`M_d(3$jpl@O0A!neQZHC?Tpd)G3tD(G95Z~+#<g(<Ja4>vz{d|
zQX4SRAWgQ^?yH4wWGudA2>SgW(jdecJ?oi!9QQ9&R@Fply+moY1;UTTMn8bI$KHj3
zQ!_sNN04Z|Xv~*Su3>Z&ahMkl$qMgoJt~un8EWp|@cKQjNdgZtA>ZXkht>*O+x4s9
zC)<v`x@q>H?+TX%H)qKLOP}Mo;aU{XcYR-|mPSEJ*rDE-8la(V?K*AF+X2!ry_QYM
z$iNy2dv8Fd)e{20d$k)$&DSm8Hm;HrC5fWBo$WaS&cT%H+Q3%$@{F^k>~vg<1g=o)
zE3-D_Bukv_BEAnRkXOu|HkGg9Ka}-ji_7A9nzYM=%q_;P;~XzDjg1*Wzc*{3vd<Lz
z=jvK@CAz=w#Xm2+H(00b({26?Bi+6n@%F<PA`gs%qfjNfOFR#JZ>1yMcO`{Eil`bD
zNo36`-7eiy0z9t$PtOl}UDqY`_-y)wRD5nHiTS5hA8n?^6d(k0?buVJb`tQjY9-5E
zkQosgbL*O<qZiM$x=c)G`bi55*1`#JWlsyNc;Fm1>KyUf?NRTc1{dXds`a|Ius}E<
z1%gV}LVmvL=^9h~y!$)?NKY~B({%0<(#p)BFJ07U?UhSW7*ICwVE<j-Tfj2?@XF`N
z<Win_I8Mb`0TP-~p%6<=6KJ_cp<8ztcoex6)>urezDf%F5q9vM7@M5?b~3eKA5N&y
zb{9%<|9-LQ3YEPuZq7QJ{UTq*7q%G`N5RUvOB0gRmLc{7olx=`NG7Yz)`Ay{jjB>j
zY+WVt{BNz+i!CKeno%Inc@J!11bbp)5z8>3$weW#5>ixEosYod=4z-%)bpfL0NRtf
zwhM1mraXx(Cw9A$|FkKO_WIkwR-N6w>It#m^Z5!v<?3={lo|JVI7?r?(MZfip|^EL
zQ)g8h<7MFu_0Gs)B5V80=5|x;@Ehl7)*6yYjPS9pkT-G5O2yw$H^ph>j-qp$P5m;s
zeZig^+YlVtm5DV-JlX&})0EtYcVpq&&p)<8cPSZ6ue7j<Wh{A2JNs48ErJxv)^g-O
zg?OS-@hBQHyMgqb@2f5j1`N7~<2s&V5*=;yR}3yyr0X~j+|H&naR+&J{JlNHfA`_t
zW2d%#<52OfX~9;Ts@tg6HO$r;)G}I)bMYfyTY^X|hPeC^?|bBdo-z17K=G7qNZ1-Y
ztF<_PqWQ^#9#OTRZrY`+sIF)`?H(x$GaAsr8c`>6K6DVb0wYV;Bnn6qbzCHJNM<R~
zk*7VWA~CX6319s+T>H&Fz+K%R9ND&mdr5Y*bLqMCSW)~YLDtiZ@a6VIx@Vbku<B@c
zwE!ZrW?<{8Zkb&$Nz*1oIh^l+3;QOWZ3=%~X8!f}&lGdiC^91^czt+Yin$r@!R3Dh
z@swn7$>tT^?XRLkCxH4%%#ipze2~Or@7A2^#_f-FlHx>un(PxSbU{$Y$?uFen1`5x
zf@A6h(n^H5B7IV~47jeu5?%M~8#jTc!;m+!byY+y&5UAr^=XwcF!B8|irVT~eYz9+
zO7vNgX^h%KQm3kG+UL09N4QMRbxj6XU%*uDZ&%GNV2?Q;Q@ZoIt-@~d^&K~RZDdsh
zFX|ffnltxJlM+5o*S68gi|QdzVTk|~RL$x=$UFG45pg(fuUAJmaOPKE1R_7m>OmGE
zr>Q*4Q#ypXccgqz1-D*Pvf}=<_-*1)DiKn@gxFNBsdI@c!l3QB9P6Leu#a%kE)%bW
zH|(vEa~i$4Z^~>EU}vP)2CsWF#c?olr0FKbR~1%SPZeaN!7VXd1wu7>{RjMLQZAiX
zAqH_ZRkcIQS{;p6j@KpEAfkd0Ge{gtjvQn7aQ1-s2f*m8M#Zkfyy5A3;F<K}A|SJL
z&qcRs#BP8aFzc<GqN^2Cz_2x<D*I!rC|uc1%~4c2fH}LeZA<C=`O~1hf9tVBVb}Kt
zBcC4*KeVFU1Hbn+zsIF4rC@rO*OhZd@T<WXZHmZMMD~zgEc8P;Qx~lZ9T6nvOXG(o
zjq=zUv>943wY6d}EY5l-9IwcxMk0W~Hvg#WssDq>;#sJ);{>;{B;H)e0D^(lSY@EQ
zLH{yWCi-qLC4p}*=-XQRb;02r(ZOx}G2&R3x_+{Bc=gsk*wknV+w>jPs$5%(+o}ww
zJL89l{G4a9E0`@?6PU0pS|rE{>@MHJ#MBbG)uJpW`5WX1=1y9>&IS2U>kC4vx9spM
zXo8RHGSl7i8vVTiwcqs1C1J7p3Wu~Y&UsQWJK1`i-Qp!3?=IbS9Koz@#OK<#vaOu8
zs6C%I3!lXiv#f`#UURA&N4I4xoqsqgUY7kCsVE5xI8Yp6aJI|CJ)DOiD7wOuTkG;p
z!rg27^3J$k7)d4eSk}O@Nsi1LMA(sNVg8(VL654SFFN%7?)Ix|GX_J;>%F%T?=5O0
z*-Fn_<MkB@>n=3UrH_fi-mk!#>wc&KphX=*<)+D4)ljbGR4#kHPwv!rHYZKHwzXf=
zz|PybGzB>oxtDY~WdbJ<0{p;PAhxdXvWHz}pGlpTKi;odjb%#1nIb`V>@KI@LH9bl
zELxu)Sv6F6VAt1MRSt$j%FI`rliBHL?M4pYN|y9sQh>HK@Ehy7%8HcrA6@&{>lg*v
zgPqS*3p;SIB0ryAex*(_O=`7s)Ua|ISExkn<#!_5OUWvrq(C=;?Cjv}7$oE+=+1kg
zk3SQ#2I7#)!H;99qh(4wtqwYxYS(lcy-rW6WMz`BLOsgOZ1?vO7tW7seKk&clTmQ(
zz>YZ>0i>8?mCfWOo!m5WIHPMQhEgEU0XS{afBMPBucFce9PiW<Oxo{I-BuiU`-34l
zU+VS48W+T{_S{w>5U`(*<{XG}Uy$kp#mPxe#)UH><qhU8cV`}+02Tj(lK<Y(^?8d6
zpXo%}OmWR!Kv_I%{*K=*FR$dOri*P?qV&kb_%M=;)rf#wL2L(=z@~6%;T(GBxo=~q
zy@}5g4dKrEYpzDpS&XvyecyoEc%pRg@(wji72uLWM1K~9^m-4g2$nC4XHv2@x`1P^
zP6U+`KVnS89g~*SO_jlmQwX=<U}{2e-~jC?zZ{6Oj*PiRi!8Mpa`=d)zD|;{f^c*<
zrS5fp=LmZ4vM}tk%hyU`W;GK>?&I&o@GLNYg3te{OZJM(B|Z0pl2#$33OoCL(aTea
z*FYWp$Hy8-ocvwj<q?_wvBp^#=RI~Z8oFd)L$<`LHkip2o+%k#0D9G)4H0oLan0-o
z_U~=7XK`K!HgDw4{Z}pIgy<oilo}<ec@%c3c)PF#^I1HE4k=)s(nj580t28limyA<
z#wGg}R|X#zFY2Bw-9>)i2=K@By*0r$>#NN@0U1k(Mk3!>V={VUD&ZN$)yi>s;F!PP
zHKCr2PyHG0!NlNT-$G)2AlN0pgF;D9U0*f!V{%_YOr(Dg8Ti?C6{2Zjv*cm3M3Mv%
z+ISnOUBXkDN?kGJJnSpplQQY;mw~vKtakN?%lV%At4fhcY0sRNiw432vugb6aj@9>
zB#r}w((m$>ZXE`3PpCuX&(iv0e}M4SQE<&{-dWG{GkcGa^Ed*fBmD1jk++0cH(jIx
z)8pf%fqu{7cuuQ3hz<pjnc*P8ZMhWCY&!w!x>j%2y#;K?=jtpx2ecG)p1{n`o)mk`
z1vw0m!z4zK@)*+lqWt%iv&`=^b<VJ#XS_Kf2nt;f9K<();cJq<49Gcom6$2;lO&#)
z@ETShmy-&()>QiW^u2NuNXHxR*`pa%jTjQbXxjTroN^mZ(d>H6y^MsyNCJO*UvTEK
z)qchxGqLwZ-)$-+9y=RCEQq8zMgf|Y%12lc^(n1g@97mCJ+YDAAn`fDyzb&ifsFz{
z(0yqz*t)-~xv(FvIh>GcVV`W}&Ct!#%*FF=l^co3no3B>g#RdC*QEDmtQamJa^zdg
zb1Yd}!19#Ik1yIvVVPG}QID1>9@Z4EYEblxVRa(77hp~78LFMFn>#Mi>?h*3Hga?!
z%F3RNlitzTc;&xncrnS1Qd@+vw}6HR2}aTDYaewpOr0!p84~onX=>9C`I%jPaVeX3
z^R{J1$VfI~iLqvcnMy8haihMaw7~kiw_C-sc?Eq$wGPYC(iqdFO!&5wDRL~c9Cp6R
zkEN1G)qaITh8%cjf4q;%y9xZ2wlKgv{opy+n4{1gYU6f})wGvi!xXVEyM)5KkcaXw
zr!DcV9kT1VFGrciCwE@7rKEyH4R}QJ4=xUhn!T7E7)UC>tD>)Qqyq-~38r@2J^T*%
zvs;?|m&!Qt6f<-{r<-LPU~JnpaXvk#G+C&m0QISRddKpT?pqY#cU?;}g{DSsC3P}R
zLv#mM$DU^Rn(0JZ&;^MY#_OpLh!IHOHxuyV(~H;+e}~l0D*ThN=4Wz5miEirq<JIW
zZF7d%@HmHMk4V%5501(Wfos&wt41O_I+EwL)$HX})Z_FHf48_6VMT$jOfRS(Mwq6q
zal@C&uQ=B6V_GJycz#KGcx#YnG9l&_|G>t1+WTQYnL?`gzE_w)hIbvF5c(X*<p52+
z3oSQ2)a6dQ^<C?`>UWf3KdfDB()Sta;6cHmF3BV;H%`A6%EF6z^*vf2KhK&vCNI~@
zTdNaabsBtngok&`;tw-Thb4cvD+SHC8am$A2-KE~L|k+dp4l)Qcv)IH|JYB9eWd`u
zyM|WkED}@&qvrR3LWt!Pu>&ES&uq>!8=*gum*YxN{^HG<cguv9x5jdoaLwY}vi+?C
zJh?=)gejVpJ(%hIsl}8`ORgeEB!L6R<j39+3@3sF@B=ow8~^%Nj6EcDaf{~*M4^Zb
zLAAnwDkQph6r@aAe_7U!qmfyK76)kXZ`%dXsdSn;00<gAF4kOImLYqyo0_C3;TLs@
zK|1hqj^+Ar)s~!5FcST5De?&VZM~zFiEH_eKITQxCO)?wo!M2Enm5xFOfjN-ZHfI|
z7qElEq7mpCw`}Nm)?|y3C*5N)i1*VKv1=^Du)1XThu|Q*ot;qKBY~l1QO~#!5km5j
z`+4^Z$#Vi-R;0gAq%j2VDu>aA*OfueCTfl(w9Sm=CZ*<JQ1sixiiW~3YwO*R)f^eu
zn;0X@cG3Q$;a{a+pG?(ETd~?-Z*)qzQ=NQ<6<F1=C+k4l6DIX>6zWJ)QH=6+T@EWF
zZm|8bOph;76feU<k3dAlMBN>2LaO_k;q5HUa=mDi<TOZFmLeR2CUHkd)b`%ZEd%Ux
zGBYddUas{b!%xp^@p#RlYBoyDc4b!o^Zv=TE5HDugqAakDa7>nt)s|~7Jkij^U2|9
z)ru11oA(Wtxx8`R87=KVqBco?ct_;$I7YE(<d+KOS-zF~#uJk-=WufGN)dnQ4C=e#
zN_RjWj|#qyS#S_TY&#Rn6H|?rS}^=e1RLrd%Fo-qg<CurM~*&_{G^XpDcN$aU?lZq
zGNxJm*@}g^bBl&>PPXA=_!8rPpI)UY^UTnJXsCFx{QbdU-@L+yEA3%BYMr=svMYAB
zpcCxysltPy?0e@y+I@+05RJ92h$xfHHAcTgbq)jC_!3(?1YwMgh+s;_N_nT&{G-mC
z3pd`#&jr4Z&XrlTBcqzJ(h{PS8=Zr{*bG(?GdsU{O{{thjk;?u<0s-B-tmYIta`g|
zwLxDZk-`J^HIp>8(_`0CUQOGUH-FaVJKI*$`i$dsu;6eK?RkfSsi8oHb93O%aZk;o
z`07DviRy^L1|ojy125-f31iLw@*Fss%WftdK80d)bnCtKeT!!3t=XHmyV>pG%9%!?
zx)><0%%suqTq((Bf*&M=4x|JX6m0J>eFvA&q<Jw94X2L3=x7D&pqD;pTQikd1$g)$
zF*{}${Em1d+~xmK@Ux<T7V<+jr8j(&Smw9H1j(LdwLr-Cchj#{0Eqzw;~&bnOVKQG
zOe?KMi9`;E8UyCSjk{RCDW$AUC(W2eV09D%_?TfWT++KeXZM}r_(|o&F0;dW{OZ4j
zphYmO;M!L+kWmNp9cb!@v8h3KX?LMi7T2s@usPk}aV%Z=UHU|&`4IYk1_MG0VVG*Z
zZ*I8UA@V@{`tz$i4;CKDXg_s2<C5e>;eOPbFxf|O;s7F*IEk8?y4f=@nZMkU_X{+c
z9B*oWV=;i{wB(Y1Kzn)&^MzXuBCxZ!K8)+KJIBy_+P;608GKah&p3li0L#HrJd8Qx
z39Bx(5r8ZmdOt53{NO07UrXhRtMM&uF8uj@4+4ZUAVdX1-L$&Y@$+8Ur>wX!cu19C
zScG-(!dlMB<_RF_(2A2(w}bvf&^+KM{@9W8>oS$z_u;p52c!Q-TCM;k)}P2x@txut
z$li(pejG{%6+%yv)8I+Cl<h8(4{<t4G{t*wP&r#0C>lA;^n5Q^ef1v_F2v7ZM4qt2
zq2Jajr$)tclz(I5o)JGq79WiBq)cq$a3;V>+`++X!;e2Yp+mm)lIw2;CezxZhq{4_
z5T6t=41P;B;-ei&y?#M_J1P>B2tWehCa%Q-=xgx0qXCJxanNm0Z+gL`4Txv}Fd*@v
z5V}jM1|6`A{m1!QMJ@n0A_&NU0^Pcr=<f*NY(S?30O9_5+Bs2z22h#!n+CuD0|Nb1
z7xafN=uce;5X8>)m;F*f>RxJUvqZu@o%1?W^8HORzrcd!ZcOqsKg&i{rflLTC`J((
zhI<g9?|^w@_6<OilnlE|Ox8o}@4>!?hJ+M$H^|AwGU>&ZfUu0#;-QHuJAGJIhk4kT
za4V-)GArzU{4_EDP-_3ue){0kkr{vj!T64g()T$DZ>nT>Eb1$ow*Z4ATqr1x!j|-q
zBplseiRLpx!+4Sd%~$3mQBk^=GbFrRrANyhp!|ns{lr`!?>brz=@CJ)GU>(sr}b~&
z>Ek6^Hqg_37jKSoU0YP9&7{UtJN&-?ROXnOp7~g)WhICw!IHzR%v9(xqcdY=1wp@N
z=L$l}QJYb-D*hTNs)j|w_#?m!0S_T`xOr{A>p?6(SS@HNJ2O`?J46|;+236u=}e@`
zh=pt4f5Qx4eGQ9BFo1GYSbQP4peQn0(5Uve<7L|JI~Bvwc2<TV7i`Z<I-tKYdhA-_
zV2=uK4qyKwoRFxexKm+}3{q)V7{opV(`eSgG^eJN;X7jUZEdcrEnB$1JEf#nGH!vq
z{J26uBE|D%cS+x@5|x_q8^5BE>W982ggyvjoDhf17*|$({dZmsKEIfVdW&Ex58qmX
ziy-e#hLj7tgi#T8UD<&43ylP|UrgB~!=IfxVSw7Ga^C`7$4NA;+eT*FrXg+CK1M$@
zsCo!~jRt5_4DZL1!EO6cc1Q^!*}x||M)Z2dwHa3wHMz~qkDpee;8#}P5-W=`cBD#g
z4?g(vVakbOtc~q&`!F-KMG6TFOqkUO=Dy2}NXRu88Y!i?uC1td5*B0k!FZ;;vawU7
z4|lZbCgTe<36_JtyQiBW@FPS)+`C!c(M-*IJ4L1S#@)579+ZtynbW&&Fk}RWkqyJ>
z5Jipw@*Nt<MzE;nfjQZ)v@<rwvSIs$o3ks&@Kf!}=X>+bjwL|@vd<$9BhK!3P9G=k
zccT2{{3oc3wT)zLwk0q+XH6qz5@y~?Mfa#!KwtgzW(>b%o^g)Kd$S3`rB?w+_$jL>
zT_IayMwY^L#rGh6HCT?-2&0+m#rFJzB$;%b_06M|*snHOPfU+dLHTQNGR=x+M?7Vb
zIS?WD_wJkuK6;ZV>(++Hz+4m>&r?a}{xlW)yu3m8c@XNH_$jHt&}%jim?DL{Ji0+E
z>V|-)0N}_JKWQ+#sNP!$a$<f_FeV(mQb=UueO)PT2*qs1k8dl@*ETE2ys!k#H|cc~
znF_xSUUy(Qrc~#Y%FQ9Z_cXHqVwF@Pk#5_Us%?o=-Ime#sQx~fRDB0CJbev@E&*~R
zwfUK+Mc&sjpQ-c|RDJy8n|aE?R+LfY!lLtxEAE-pz^boQ`3<urq)F2AD_2f2k0g+_
z)3VXUU{%|uKs~?l$GBbyRiwy3SGB&kL<h2C{oOJ{LVE&{7y1nQX9*?aiXbBI%OK2;
z`c3Tn>f_0q*W7%mI$zO~(WJkr9n8OXb-GW8ABp9zO>aKmu8RJU-=3>q$kw+h!Qc?;
zyp;Qv9Xr=iYoA!>0<x&K)DgZ!Qx~zanSLIk!Yaa>{OOP^S?&x*RQl6q@#rT~rf(&b
zx$Es&J3NaUO<P}=L$#4BNn=`*^%54ki7YxzC<FMiF%HfK5~Ds+ywkV*A&XCs%l!4x
zw=ycGzPY#JF^twRImP*V&Dwjr$dimk!QIKFYEdaNE%vBS#~BdZny$tm9RhUi$_B<3
zltoh$^y{@QJJlThj)C08PjB09L+rYBZA_6Qh;)A6qU+U!JmkH{;6lyNZNW$Ls$uDm
zE4<1pQbu0Qjig<nFRxS=p|LxzZFvL9(g`U*K;oUqJA=F%g&od(U!Fqpy<}vh__Xb^
zjZ+!rsU-K?SpW{?vSYrBJ5`67#ZPvh>1<#5R^7`|`c2%rlXVlzYC?v&VXe-FiV-EU
zTNB6!`ScR@jH8}^R!qt+YU%9R!-L}12M2b+p;wmm{uoGS>dFh^lXorQne@Y$nd+z0
zfwLANPw|~btPqY@m`NZr3#Ewt-6A83`6}CiOGS?=79|g|Z=M;Zv<xJIH}19B&ri8i
zvUVNw-EsbXn92O3rsYn&EqM8UWijZGlHD%W9=`VM4fb<e7fVM4VNyQPG1*)%to~xc
zs-;nYFoEMjjDm(YQeTXmD_>?w2y@zOmZiPBXIr&Wi?espSF75>_w-?RTvxwH0!1T>
zkC3QmK4a8EE`T`;N=^tBhF2ug=jK1s%C9K+B}eKs#|6nnaMo46VivT<3o91j-1|Iw
zb->2%%u%w|$R+H=TT~w294j9DEHlpau8n1qF}`{9R($DrxI**7ltn{Y2)ZH3Eaxfr
zMJ@GLm!7w-6461JyIcJ{Te;JgX0g6<b?%ber=6<^fl>nLNPkb6aRUvO&`Wl(Qu^<f
zIi)&qFjmFmC5j4uYOzWi3%O~-q;rV6-w3X?Dbv{GsOO$hSJMP-em8K45Il%!@%{8g
z4Sh&d+^Ii9Q+8@Tz$AFL@+wJjK|BFe#~EtJNJ-mB`a13n$vmUPP+$Fd0E_7NQ(>I5
zZpL|3$iupk2V{T!B4;f91XeG@uG2))KaM>_FU)|UgZ^pxh;+zu@s*AxLv3?RtI`<@
zS%~3ngnV@D215L5m~bK31<jK&lJDFHQ%0_qb|>lR8=dB(y>A>QH~{%fQo)VpTy=}S
z9Jsqf%;F&@(2#8a`$%-6TJ`Y;>?nR8zo*gy`K_2i2KRW1!^WEO=K7-8^r$*WySa3<
zbkspFxUTYBNUKBTyltm(^mm=1@2>^*2sN9*WSpIN)+RMt?=yv-x{5$_Y?$6WaKc8|
zH>EZ_6U?7X6Y}{Ev*PzHZ0sz@U9E<-=OwyS9#N5co~wpdDp&ZomJjWRFI{ehH_Q(b
zAnnd8s(x%&G;PfqEf(?7TpwJv=QT#B;qMJt3+c;^toJ??#>V58NZPx#HoD|Vs|d9@
zm7Q*q+TbmpIMz4pr&%&9n&Tc%1>y_4+8?`rZoZ^JZmQbzG=a})esCSQzg!jI`)#ti
zK{H{ST2L`{ZzBi4eBe}9Z_)y8M}o^pr!a8{S4RKLG{2jdrzPS}>wESZq^w=T>jES3
zgt>B5q~8D~Na2J>;N{{4fq4^ks-XMVIaoQkIk<U&iIvsR<3xp301_k~RxWNXUM`-0
zh}NqBWbj~aDC^Ka?un|QDqvO)9v}~x;~yf`KSZ3YoE-mM(AR%xaRWh|9H2k6KnT3h
z8+NY5{b~RQB9N7f0}SR$B(DMxCg#=vh#;K2U{)SZPF_wBg`KO7jUEb{jkAl5rL&8r
zojEHDkU|IiCs7gwo0j$m3Lr0#l^YBtT>(L<bU>`UV0LaU?!VaCx!M|;Izi1?IsUUD
zH#;j3%*p!?GsvIy{kPr!r$SCHR<1wl<M>}I1pVg<LF~{La)H3W|HY67$jbSjEjhSY
zp`LO86W`VV*pNUVu0K6b)Pdfi06`qAP?W*ET#17<0O>@@TIlJoj}-uH$X@}3y2Zi%
zCzI5_5CpRVfm~cbE(#uYD40+NCN8f3#V^nw2>vHaZfKuDk>CXXZ%}|}SfL>PM^he7
zRv<So2k)OD001Xe)Ix)R3&_pN&dv?w<@t*%{}lvKfc|H3U`|#J5IZlJf)mOm1>ynn
zg8mvj|LRPr(tkGO<zR)fJpI#uq5lyCPzV3B9XB^CnCFk5e>v)GYMh8x3!p#-af4Yw
zoFI0NKU)UF!Tx8{p!BtztlS_jPUtY=t_3iWazLF2gLpVW;D43iU}$d2%KJx^T#0}x
z09|5x82}NPkrhgI^@l8>41h<$%?U*uYQ^(k(Qa(%V#@kXOjYi`l&H8tJWwML50n+_
zpF`<SB}pekTSFGHf9c^PgL$F7$NtACMy&&o1OBK1pBOqSprOsf{?CR93H^)f3j}V^
ztpnHssJXe#z+BuQ5Q`BMauyB_Qxg_;=*0pyF)@S=M4+LW5qIKoJ)r6Tra9aI5JLg7
zt8sw%*tz&P6A2mt9Dlu6X#|A--%0{B0i^zKnl?=Un*Wn#LtPU<28IF14vjM|PEICv
z4mx&rItCOrd3zIaLl;wealSu41O8JZk-imR1>s~z`2&%ETol|~Tp%tAGm3x6Ks-F$
zP#U#AE(*JU$T&E-c%TvgKV;BO=Kf>6{#B11#LWSn9{-07N`=PG3FU$Ns~!Yu%<~6r
z++T%I8Tb#Hw7<)sv(evVyzIRHrpL<x9piu3<No*Zc!5xkIGVpJg24ag40N{2?grpO
zc>nzq9&RXw+aK4z@L>n>^8PO}@W0zaTljA{LeEe^x#a#@9uzX@diJL*@qIghl8@ux
zDg<+a{@z|rAQ(DX{*Qv719hSofCmBc{0&4XAsvwOZ@tXU$;$)$H$4ts(BBc@<N<R3
z&0}_6Xz%@7dC(Q`Pd&(ApyGwD%YO?Ib`Ti4NdC=p5SaT94(-3f!p_Of&h>XBc%ZZU
z-<{#);^Fu!643hD*?B<FUw<!<i;L^;p~M6HW6Jx(;=lVBx+rq~4H<Tx|5w=A>qZp=
zQCKNx@)X;o#y?~GUI|6o5VobD29#ovB0-U53q*4tBTqxkYw?*}vDaq`TFagpkB`qB
zue5VR^*c7&*U4Hc*V23b4F>bvOeZqtvrzeioviKY(v5_<t$^7CjaYf{yIclqB8Ory
z&vS2(I0R@Ryqw)O3n4Z|uZ0|RbBv9fd;a|E>eW)BE+*<p(;BULU|KJ@V}R%ZmukzC
z!%S)GMz$cdT&g-oYQTb{6N9=m)dmI?tOmOL7}sfI?=J`~20BTK69`h%pX-R=zJknD
z%>qT*-TAI^)gBrb(pASf4cDYQDUgT{&>Z@aw#{WLQmn-XVq-m$4G4+aopCB$P+4rT
zMMb~Gskq&x=8tKvX|UJxZ)keGc9w!Cq!wI7AV8Xd_8eVqQ<`U2o@@^N6KdOeJWZyy
zxU?pILLMguOaAN-F-7OWWxX%!)=5CX`D>igv}SAhSFMbj<IV{_QYOTpBOfY!(kvJX
zZAdj?p&TVM<lmrHbz;2a^gLSy46-{y@c>RWJA6Q98caci<V6gY%p*<5AOSblC`B@_
zMoj7$H^+@tO4d4WS;bU9`Dnopyj2}7Ln$hzLMxM_TjWUZ$~$0T0@MP+CGd20iUj`f
zXhkfFLB3rPwNj!XAXjk=Q}hpF48d4Q)Prv_Sk0rqwMn8zlvG7}jGcWhPR^%?$FIi|
z&3$*TKRo_C?xKa~r{7n*Pj+{gtF?XM*^a2X4~MB9?&I5(_i;ZRZr|AdW_;`ok-wiG
XPUjz|;};tHmU*78Z*JbbKV1I-=nn>L

delta 34505
zcmYhiW0WSrwk=wAmu=g&ZQHihrLSy%W!tv9%r4uu?e5om-*eBqKO#rOT64{X$Pr^i
zL}qm%^lbuk!x1PT^)ZrJC?E$48(NR!7seymCqmhnePTlrbx&I~LQ^_O2UYXB-Ed!U
z3rXju9E~;ACes8rBg7ADOZMzmn66MH=utX!{C2XGhO`E-3K(&)E@Ya)j{@W_p`*XZ
zh^?-D+4=AMI4T`f<!Bdkk0lRB$WIc^hzp1y{yGREp)fRnrclt(1tKLyz@zDB`PrQ0
zhdlzM2-=m62J{X!pQ7X32F^mHfIiG}T`&Q};8E-k9;?MWE5UC9#rm)kfyOac@tm!<
zK*u;YywY5vbgzJ?mYx$0Tmo}+3CIX^h|Sx(`5&6xY6yb*QtlzmI)yfZeIE=8rch*}
zy}r6oiFR**`1<A=NsRi=hOhV7G$h#wl@Qfup&ofL_6-tT%tUAV&i7CH)HI#UNiiOi
z1>%gvQ?Vu`A8A*zOtgBssH>839qUk{Z5)FH<PS<(1wG&%tRb}dK{tU30<)iVEwjD2
z*Ixd1(`h>dZHRsd%c1kM<<DG56lFiYB3yG*pbHMbeQ>}!_x!H6p&hz}^bqr9m^lQF
zLB!>X2L_PeP%5TQsDOwOZdkgi*_Pg-6oIS|F;Jp?3>}{O$=(jJiE=cS%OY)wjr_hb
zHY9-w2QJ#_P4e0@WB2lhRiV!AH7dAbZu9dj>n>0^nKd~afToW7hhRRXrlj--iA*qa
zKT|ybHJF3c@C;=@<`*e-{CemBKeH+G19jY~Hs57NAvrJci5CjQ6Lpd*ul)FOS3Ga&
za>t?coIdKGKmDx|8(JpJ*a@f#1=K+Q1DL+3L;vJeG7E!-S3iWY$wDv~W9i{NU6{YK
z*!!WB+>fvNl^A)a?@qkN_(eJtx+wY;*oSI>l%eFmDRx`#=-&j{FU~cC!zJnmsCH1d
z;9TVCpZvj-WNo`gjdkv!nZ0g%P=p;~!o;@NBp(v`dVEy!JCJ2*{e;;AyQou2;?oS?
zz!cL|J$QC@aXgK)5`@X53}rhZ)@s5xQHX$QGf$n~yr&KLsnc8*cwwpIth#P;Ic|7>
zd6Z0Wvn#3(5xebcf01n#%DMR3`~lb_6Q*$|wKyAQh{K4ullB>3isY`DpV(tuBnQvH
z7bh(m9qV1GTp<*TFClwH)@CbG2(U`gj<SbSm8Q1P+z0B&q#X%6fMe#ZouH|e5~@SK
zy7-PRFr#$RFHT>#$MT|A-qo%dX50mk&g;JZ+}BLWr5%EV<~L)bL)2)50+uSK`-xkr
zB5fz9*WiD*-pSc9oN(ew=uTF{oo0KcR58LnQ}Cp1=r-V}+5#@by(+uP&CVxR#++eE
zT}+(7@{_dQZ!6am+cdV;4WjLw6Yc2%u@9X{>CYa2s!&23`T3{=APa48=sp9mbJ(X7
zJ&zV6F)dk&9-&|QJ{-Nwqv*TXqu`@1*?z$mABbM<BiM*pAmba5S%49G7^y>CO)p&8
zm>xD-<O5IMYYxK~Ki=SRKos(d-K<ucHDsl2TwV0MNAN&F$&s=75rO{4I1FC)hqiD0
z7v}1b81L5#xSR-|Mz5Tl%u^D;YqI)I&*Tbvs=CPDy0N}J!MH645TmR(K@yOOfS#kb
z;UNOHRYzZWwoGVri=D#kXjAZ^gXKckR4_P^f^WlINwExV^E&8z2U*EVN#K?Rb5zwv
zUCGL%=4z4odfgg4kT!mRyI0JFjXJBn7cj9SH75G4>SaF-oUcN}Nk{@1fi_8kL@)N3
zFP4-p8FTbdbxxOko42>aRST)%zIZPt6;>bvxv9m=L+L#`+NvjtCN7|gA)qvBrwgjL
zQl|oXQ|KNDSEot33)HH}#}4luFo{H;k$6HYX__e3XRuXoPgOM)JO(NBqD4FzEnTcL
z?fZz#iV{e2$MUMn&>#Tah{C^%LysByc7FRkhxLllOaHnQE=m_y4}CIzPdafC^#=N_
zAW_nPaF6_{a7oZPwidYVsttA_I-8h{*rYDTXrM+U4lbKw=@edQR9BEp?it@_5S~fE
zU&V<-ZEmDlzOt;AUPQFnD6ETqFx`^7`8(1nOM2|S7ULSRQxF5#O1kSBr*?8xlT?~c
zc(c%{80L(Gx6@&ou6+Xc&QcZ6nk(@An{2pvt~{6O!WJFNPH+2=@kZBzX$wteXn-8|
zdA|Izg%!PHUvG`uZY6);g*BAkg_aS^<aR1CcFtLgmWb<9r#7>#%jyww5ii@#_oTyn
zAdb0nb7;SVqyGi);&Y{_^o|MRk6prK_dreP)|`@%lTT~S=QqAWgVbghsr*JAY(93j
z!xtgIX6IT($qz@$FD5!oYs5P87-1ljV#iQCzhCl?#^tE!4wqCR-d&_#Nb*qg^Cek-
z*qxKfUpyjhY{tdY6-aU6y={e!pU~}6UoN7R=iR^ZdaD3n9j;crMj|}LnAKyoT5TmN
zYM0_5Lt@Z8)I@EjI@QvSv=$=}X^J++M|&&@E+azCRgJ}y1r5K}FFJ!3+KabP9OY=|
z?#<B~@^?vue8QF)jl0HIXXVflM1-a}u4a<fp=o<%WdVxs6g_ggSA{N-Hw>~=aKD#k
z^vcy~OeO%p(fddwIo^DKtoNrUq93=CLLv}pHv$~%VfP{ye_yn#H|hX*>IJ#@{9=Ud
z<fuoW&18)}2x|>)p{7GK)zB0kRuig$Y4f1;k~)wHw(#asdhS}jm1hQqH16O#9;m_-
z%I$i0wGH2+J|YgU?1Z`G8AYGVQ6~(7TEU7FWpIEGx9A*IRaMb;d~;%8-0Dx}xefPC
z^3%jGf5a9|Jl^Os7EbC-{y}DKYBT=4Gb4?sdT`gis1&)4#L@fVRI&h_+<R5xpW{k=
zOLb7o(fBrLPC(4<3mV~hWM%il$)lDKMR!b%)r`|~<&yRh5q%9@<)tCOS(k{(d;1l4
z&@<r8%rW>8qM4t@Gdv6XD^HlJTokim@=s5q@N-P2_s*?-)!Dd8hMX(~q_)<>QxaZi
zgc@O~88dn9<h|<FW9zRN%{^~ma42I;IlgsDD_S`N8m8gGz4jO$0+SA<YfUwq_#4O^
zw{2KPy#R9CX)=xS`DVvc^Pa{D3j?`smnwi+BFSs~V%1go_eHDgqeoCa$5=*FU;?l&
z6e%tnD#quGG;U?1fTU6^Mr{m}OMzra7e`7A9qeR|4+}84jeSd`EPSerb#@YVpipyQ
z-3EO^YFC90+%i^=%|z0IJ%C*XBLvK0z@p3Pg*qhR+;LuKL{H2;JaHe7*Bmd4%>mp=
zG~&ldZ2R2aG`=+P$gGW?;MyV6qSN1__ozei>riMTVpB%p>owd*v;(E1T#)P>rFd|E
z>1Nz8%GU6hu8I_OlkbXA4N6e18>d~@tAzVCCNcT3O%2tFyWUf|6!ct;Gjf;F{jzp}
zH;^$4Ov3IN-bySbK{6;KpLkHce*swBvQqFB`Rq=mSSrt?#C@?~fV5k`$KK-!m7Eoo
z4`oUyW{*K^D<B9RsB0ua`O|I{<s&aDj;m-;+qNIl9gFd><&IVajwA#*x}9Zc!Cp*Y
z!R{OvFkHxm8$K3yl%tKHJ`3bNb@86vUf(!pkLp>)EGp#zFn^~YmM1#v697yOv=sxf
z=t&=ITIlz1Au<xm7D&H~E35JeCKM`L^Q;=L*E%0ZmfMDYtzirH<tp(;K@bl{z#j_t
zJbz`9IqH)Q3r;E~^+YdWiT{N<j<}Ekxo=Ld&2!d1=X!E%ME{e*dB*N^={d-h(3v|F
zYL*p>i1w3uW+*A5P%n}qEft`t*=~W!z!qg)9&evn*~TcXn5z@)F9AjdZo7VMu}y_9
zjg|NN9N6v0da$CwfJ#Om>vGB~sbH=|_IReeB$crtoT04vtGVBNW^CBprze|;seFt*
zo6#%}*RSDc+x4y+RfRUQu>fUA=7e3=N71{t9uv$qq|p(zRgOqlyC<L;Hgj-Bu$QwP
zCkISO1NQtvn5Dgjlk(h({-^hCM;@PIeWy;hHF@kaeog=#*mlV6D6HJinD|AE1d<-4
z9VaeH(B%X2q?G~j%gW$aKVrtimilUmlel|FnX^@7NGJMevuL!k=fy-SeS*_%e25ep
zr!`et{TEX7kBg(sFe1RMh*@V0Xoe$>On%=_D<{F31g^)!_pi6>E;BWlAN!zVqsIIO
zK%q8nvhN-SfxbMV+tV?wYDQR=@;^+Tugl!;S2r^W8dXa)?;VUx79*Z$)K!+ztbiFk
zpRsv+3RQUogV8T&0zs`m3<>;nxox+1hZSY@!Q~Kp^L=obZpeU7!I{ae2aU%@oUqK>
zFD2gJYKLa{e`gSf?mz5g@jzQDnVg(e4kY5w7^b`XUQ_nqy1=s#!R0mfJU==Z`ej0!
zp6LRsQ=(Gi(~&rEs^tt~)RO}6Ijxk4xHUops@}lFWbM_?&zUQ=H;{DcaQ-kQk0x_7
zpA#J<6kvQ8JsAM5?#vbu>AwhdX?^mD0h=WyWk2(Fk-cW8746Ng=9*W#Z04qm#4tDU
zo3inrSnqb8k1>PKEPFG7lSWHxG&*I2iuNJeg`xIM2&L5-A6TzIYJZr7FOK_;d2QV>
zISF*qpg&IVI|@Pxr`?}dPe)8|r@PZnn1dFM=5Fq;7A8PRBn(iFW_=_N4S@cpBmNkQ
z|E`fV^3|c^9>MGP0slxO+8Qz#w@F?Oaf5V}ZZ@eybQ&4t`)kg{l>D>(tgDPl6bXzi
zhp$gnb+uw{)y;l_9m{xYfza{p<7&0i-=g0i57V+WOj<&9<{#%>Uv7VVzTa^qt)uct
zqN!J{n6%zi++~CyFjfpRL;$$$g1)^UmXD_0Xdw&p+^wC(ZSFJGb5FY`0YtI8J?qf}
zFz2N^eofmp4B-XKCl{98Y5@(SqtiUT4|=wCHnk(zxQx(N2PfAn8zOW>*`V!L&%S>`
zPAduc#n<#*26l{PF`)6TPs(y5chHwkl7IcRG?@e^86gg>6YZKqV+EWa2$ICPvtY*Q
z>~jsh5Lp?S_!jAHlK41*J0#4PL_Z^<n(27@dj>fq*>INTJilkIr<p?6j@6Y7{N1@}
zAPNcH5!}AX!E0e&dLUHOlPZ$&(U#lLwEZ}f;aWm~+L%#5=-s&q_6$K!W~VKLv*Kc^
zTtpJ3jFUrYw3PXjp9Y+H;6|T@HDwdIszsZNis)rzIi5Z!A|YOQ!;ipF#j-Y*ryJ;y
z=i%2Zv(#%4XvG%6x>scJY~IwQhlCkBk%+p7M7utA-w0k^G(VZv?^D~rZTH>9G%v5x
zRUQ&weVk%cGV!9U0(2+#_6;4c5n3FNKb~dfxU=rfW|uGOV*rG9_N!)M_{0%xmd>=F
zmw2dSuqdYYS`J~XG6NxzEWAz17{raWiuh(Qj*mR*K@6A!$w_o;C8IOxr=rX@LMCD>
zBh#->InS7Bxf~YkShH0msEOzlfBoH<dvxMRx-shz$0Yj)Yuwf%2zo4>8|!3Y*Ov1(
z8f0M$cb&Yn`2ZgV&6t$WQ%kiub7fRjNuf#!DNpq8UC4%^J6mfv1&1Z!*X-|aMD@it
zcwF+*@TqYM+_|UBui9L{2UcExtVw_?NEl@gW<$oVA5-Z~wFyksY0~?Lvh+u%0yD<r
z1rpj#f0Kp$w)9I{K13H+<g1267sx70YFodvKc|$X=mtn$FGb+Bg7f42^)6<tznT#s
zHWpuRPPuWEc;oxS#fJErm~oe1no+<Wn3Hmb?9{Ui@otT4_TxGliBLB7uiKN-ic|~=
z?o_9~&FRwK(T1dU0y{)G%zH>6!N7SxyK$ss<x-VdohFkO?p#VDPU2SwkKsUnLK0oI
zk7ONqngif@L*$ochW+tuqa<t`U9O5kM}@$f2&a{aJB2~1e|H!Mo`pb*RPCO1`31fJ
z+m;D|v8ZcpgX$riuXGPNF&GFJ6E>|ui)XrfU8@qj7Zg+pFgfQ($ebC{PkwruH<;eZ
zXRWtS0;nWPnhq1I{q3iW`%bC-Mvm-}1^P7v???cymB8uk{7>;*5EnETZ$C(3&jM&d
zIDT<34dNqEkO8vAyp%f_+ZEyoJ5{&X1+F_4)6|4;q&#;n+|7T)+a+?WuX~-0a<eW5
z!Kp|ht_HHA-p!Va(pi@3mYHcZYJ+)V87VYD(aKX#h!sK?#T!@UNV1?5=GuBax>EVA
z?|?CeBtw%xGGE0ufT?|k+6h)>7Q8rMEF2)|Lb&)Ln~q_D;dM2D^Ghg4nUnoHtM@M{
zk_zo6;QaXKum%-;mSuVVc-n5d`<N{fu{xq9GC0`p*je6?9QejXORZF}IpkG7<N#qS
z*g@lx&`f8XU+>@w$SG9UJ#zJKkuaWa-v9?zMR^CV`d4AY>uF)h?9U$-bXw$SrCM+y
zGwVn<FI=mejF}+l;*h%U_8u>Kq<q@t5X&mrTJW}}okpti2gm*Hq=l3HZj*H(cwLsz
zGf2zX%{|#+48_BWbZgbsgC#t_C=4QCEI&Qrzv&JHnI4oA7_!#oF5+!YnXy^M6al8$
zqoSG9_s@n$^Wz||tKai%dgmv-SUSm_C|0dDc>YMMsUSod57^;~_?z&jpu#(H03S?{
z%EV%H&sg_ASKZ(|!qKtGjgyTac}g^BXHj+PHY$|PYe@<$(OO4yOLg+DDKM3OnBWr(
zZ!$mS@isBQ7e12YQ?DVSGi=K!s{q>f5b-O=ks$H~*VJcnMe@d4ChBJP>sK*Ra8KsJ
zIGqC_)h#$Ik3xnb`)x10WCcIET!e0P$>MEqPW;@V4Htp<>gkg_SU6G~5FHzC<j2Z=
z>Xtv-f54$LT(ET71f{y-iA*Dy7j%&o1;}(IjfQq~?(AOU#2a4kHvc7nmH|NYjs=(8
z!%3b9VM^mh7$-3JE?<dYk;hSq{sc)Ll|%J{O4hmZCY3JZL2iB^rC_erHG0U{<j-%g
zMIm!TewJL2l~%Rd1id=0Syx7^!yS}^KtdTC6bU%>Scr@5QyHR4k<blAZZ9FIiy&$$
zD`8uHLc?^9rEb=SVXhJ!oCG9Co&Uz7rR_0w>lt^Fe;<4fWyt<!v_MiBvqojVx*%sj
zXSZBT;ds5pVxPt0Z)cBFSMUYE5#I$k?xBz8Le_-p+{taLQuPL9mx({1N2fw<;#}c>
z7_lPVs3>f|K)+nkkT)O9&`(G9dvQ6E*Xxx|H>2?QO?(AY7_Kd`cmn`bfnaw&rOY(n
z{1`kHKXvY&Xs-Ahl9SwvYn(M#z|0=b^uW;atI89qH=f0prLRH-Rk3a6xk1jp(ce4M
z-CnybZqlVYDH;#VW83cMGND%n{gt#d5%VfvrUyBR)cQr_%VQhWJCh`jqw=Y8nnsD=
zR8&c7=S}YY!dEbo)B)CR(bW$fTi!xQ7wJD`tIl(VnXJj&8z!GyFbPN#5?}SOpMB*Q
zEW%ld4=%Y6%_(@zA*DB2pZ%NrEQE7Ln(yEHc718R<vn&~FKw;cBPrHuCWV5GVxa+@
z+wU;sUR5C|>%JMXU5se^t^)#{UbF7Ied<{Q^DJW%0k)}_ZGh)Rb3y{4=inJ~?FasK
zH@glkt<GIqz;A#}q?9wGpt-|KVK8X(oc!iZD(fPj$B;q1l?|UolBup<&+0G*h1D>V
ztmj=LB>1WiuVyA5_p&i4wE_4qrUNYP5L8x-_M`bn5Jjf~*CEthexth#P;0C6C1Hm?
z`9<Y4Fjvh`M8HdlaqsvsBC9KxG#(PrUn=_d6<4(Tp4K{((OjS6eiX$*q_u8<*K*(}
z((jHsL-Xwk;&i3X`U^va;~;bU-&I|mrt%h@;c`dD3j?rt3KchUZR<~7$$L?9?Dv&Z
z6estvX|*|7DAW13vmxH>``<QtEy&PX2+YXNnew_}%z#MbWY|iO>XcNE7{3p$DR|YM
z!!~xI*mBro`*KSPQJ;jUIW#FcMRX^;5IN10P4pOObBwFRsaLgErwW6hNW8he;tq2c
zzq#%jQk=saSt^Xy0lzjnc2PWkRf3p$;3woNywpsN8ci|pT9%WrzWGFMGv1A2yBTk&
zd9SV@G+=iMQgO^oI!%^$!uq4;Mt8RX4<54f&bG@Um;pnD0z+|%G|4_u^~{?}G@%p+
z9d##r3e672-T3btE*LR1`Frs)vaE=E<ySH}Gc2<bJ+yJl$_a6LnT5DOez%^NQ&TJW
z6LrKWc?YHWAv|x52tIuUkaH^=j*4P>bTv835wJ7t;jX1#9?xrq3)bR0Bc{-+3>n68
z&IF5!49gh(sJumx`MlpsmIqDcbR4h*(XMJ5=vS16{jlX=Iapg&ytkx;k{FqEhWTTR
z4ToH9(Ubk^uAn4Q1DS1o3MtF7za~ZJy0pV=$fDRn<JO7OC=nXoDP@vY8C0S3{aX`q
z4-mK@;Y(VAEXMmVXVWFI=;lc_5L0@U#N8Kw_`n6v>0J>kpPG=DrQP)d4W*#bcQox0
z#XfxbA|s-lM3j+tpHFi3RsU`3p+?Bue2E~tgP*QA?zt9qE0voXKfZ0!Y|2XGv9EMi
zTJ@{q-7XoMbWnHlY|U^YP)13M^^7w(8n80%UZ#0*uVr=`aM4qdYfup}ZB4Yf7^5kF
zHi9^lp)+%b?P4YXZhxdO4IY#ZW7zb-ZRz=!+=+Q6KEy106$gHSI~S_4I3`c{wMVzm
z=9tA|I^Kt{tmM=nbLT145SeKhR<GHz#^n#hw7W-tcKa{%Y3A(C%&b$j$IpoDSwNI*
z*G1Os^HNVvmY3S&vPw{-@0@=|LMd-qN&2?sYG1~eL7~7wcL$es!(lif2raLPM}q!p
zz%XwcsM@JP{i9%opO7c30{+Oqgp8HnX9k=mtBc{A&07qqpPNqlM#CyWp!25Pj65G3
zw9Zv00?K4pBhprFk0YW_#rH=q0G;-A4=+_?tasH(O3H#>>OFa(0%4I%+lQI+h^5Gj
z?ge(2aETzKjpaS+sWp#`?UkY_svjwAT)zXeztr92D(Rrm<}(`MFVf~28BIOG&Cp-e
zR%WZP6$TrftBZZ1%%d#h)-TNz#VrG)hdI2%mlRN%nHx&&sASsJ?Y(l30Dp)*42!g;
z=MOD3JoY{ZiH>9AN;SWIDwTLf(U#>li`f0+4;UtTQ9@zXu+4mqKC}ntj#$<OgGt>S
z)m$|{^?6CKy%O`UT|TM9_i|y!Im_^^_Xkh>DSUXJ@py)qUi5`=$fl)0h<R7x=LzMS
zTg4KYP3{--+X|8-?Ybk$0AFYM`DXO$?J<!m?lS|G;d4HFU*aL=jSnqgpg%Ob%4$0?
z6OCv@LB!oo1v@ko_i9SMR@_ws>f&F>O+9@w;BC8nZFKUHnG$>jF=y-rMsUj)wDf)}
zb)KVROqA#yOS8cuqyo?3D}Z%`b8gbNSpt8slwy&Dxi%p#|Adyc0W$dP|HwO6A(;L-
zaZ-C+Z|=c#STZ#+uCyQj4jF0t7OiyL*A$Z`l8L(;=^NMnsuLx%MiCc~yDQ64yKa~I
zf;nVu<WP9V>^rPi)xfZ(>n2j3d)5527gKzGnI+ZKWNxto_ZP%D+i(N7G{SbHI(gfa
z`}Hv&QJDPo5p1gEC!mzp%DBN1QzT*g0+@{G++p@R0jjm6x~;9EH7&OO5h+oK|BZL>
zjdB48mbjO%U%)*ZJAu>_<-5gK1Y4dYExmtJ6sJ~XtU=rC@<4~dby?**Mi`}{k`P}G
zDINgXz1slDd{%0)EezFMsb8$^EK$mot$4yt{8I0Q{m80s1k5AYt|uUgFl<`G+hz%(
zh73e~cy8VeqSbA(BRVU`LZ!@O3>}+|N1(7*aY6;0s5?QfPT{XHde(<n*?!rzo`e5(
z^elr4@drGpyJF%BMJ5f9`en$!(%@vyxwCpM{bDiq+}+bchi&CtVIW|h{{fy<57OqP
zxeoIL7bD+Q2?+MOWn?bw&Wr0=QN+?Ayj;(#<H}RsCJ7T~Qkq+jB2R<5d|CKGRd@Br
zhstm{hUG`pNUUttIzeU&*|39Bk7m0X?{QQ!^-GRKodv2S)=BU$q|*?9&&~x|HA6ro
z2eqeY$~fK1(Ps5@47ZY5?m|@0f>i8IuCyU=XD}jJ3lM{^_)h62t&vY2{YOYe)9P%o
zEx{k@b!|H{tCCG}167-J=40aBu8NkI?-%g1pRSS$10&t~R#8vP2w_%~t-hF_IJxA0
zi((fY6ONax{hU)(I4xxYrGJ5-xNi*3YlrwS*;BJauVy4qxkF7XCt$I^9tmJ2`%Is_
zS$g)|4_F`+pbk4vd5I4YT<kvNBit5kec~fqtBrceT4X;KC>5X~SVGSW1c#pQJ>(N=
zNOR}M%Dd`wiVjL0AM_IE;CvPl=QPt@GLV+LZxzjozI-xa|1LtRN+B&@QLOiR7N(;a
zF2B7z*QeUmo14c?H`XVGy+0qs^+(AO>MwUm1W2DAN-AhxO-7vI8edl$$`!%M9!+_p
z$Ug{w8180Y80L{m&6gJ@bhzeDq(p&Aw*3?&3Z{t9$<gnCkk<Ozwy<;vF+Kc5S)706
zyfhHzMW@p<-bG3vG6(d2Fztjo8UEih7YDe1JttFJI35mSX5#;J*x6aQ;DDSS;s6;Z
z{V|ljSphDx47o(Epz`I<B0babAPc@m3es>BJWvMJBXNCmL<@;Oot?)<B~_~z?Xejy
zvE*|i(|JAypIRE<J4kjj!&!&FzW&BsE*D#=)-%1(O?T-0GPr*x(h}vKEivLN1ivw?
zcW(%<RQ9UVoDG_ED_e<&ABcr6Y66h7n2A#2PBR=Pqoxvwj;vx;6KRsdwaxtP?J)ei
z4-u*c=Bd3WQln&8m%P+a%HU?$-x)4rvr4sE?G(N^jrj&|7K>l^K%`5@v9+(OecFmw
z$Ccw!-jn3HHl*veANp}~bbc{0aWR#8r^`ZD(Qgp}(?edv**pj}6MJFt4FZrz=EbH+
zdM&mJ28V<n$I4&+&4bwG1lc?p!lXE}SNT|xa-yHHf7`LLgT3GVjn&~v8W^rYN7G{-
z|50_rFI@c-OS&?1rAh13hl~Iy60@&>KEcQQ>8y06l<VG{l=jnEMJlO>w3qZ@lUPKH
z7O>7^7~qtVbaFbb^y<}~YYKSYuL@b%2x$_J=yGd8oP-&@rf#WFXJIaZ+mJQYB3FTn
zhvyBGD=X+ixp)_=GQFevvX3<NIJF*OztQ2!-i2$*isnjP60tui@yhW9K4JWRWd4eL
zcj~$0RL>tlt3SJ64<CI%(RisrWc|HCsy&iY+D6TXjsf52N|>>XZUlHl9MHPVHP1Pq
zJB?p24unzFtaCt?@3LQ9oi`2FBSS@e7d9Cej)#PqCk%(6W~^N%Vc+`Qpjc8n_cy==
zOL&L7h9kEpIMmwu5;g#hhqj1_K}z|z%`&`c6tOL*6Xn^axvjTfjl8PZiCsJOA_On&
zBV3sjn-?<Hf&wXQ!y>@d3JNZ)8{%PdUBWn6UV~Nm`(i#-^Lkrg;zTYv#GVawt;{B5
z%Zx)~MGWE7P)#h<osE*|ZWY1?`DYDrmM`U?AFH@AtGUC(2a1lG&+cL|cmW<x9|6pR
z3a-S;Zz_Js)`;EV0Jw@yg1+sR2&zQs8WoWyonm29<pEf9)F}XBn0UGQs;e$i0B;?a
zT;dtN+QX@E5kE+j!UkOOEtVH7D!ALqE7+$P_gaRQIe*sA0g*}lWb-?u;Q?ATu~9RN
zD((*AMRaJq$LLroHYRRvxct8;_%&Ia=KPwA(IIkmLXjaFiQ%zha7B<1jrbPyBZ8fQ
z{wb2>FIqCIhXw%ce&w<U@HtaK{M)P*4AATqj9dJi&DKDR(~c<lLXS98<8t%t1TJhc
zeLRjU#>k;FKettAa#6nav=4Xho^@Mkj^n{Qi1yB~%5}aBQI~0s*e0HbAM$yJ4UYG|
z3csbIR6V7uu_9`#QwT^R8++W)5H)UXe|Gsj$%nUsG!Fm{ttV?iLRSWA+hy6f*~s0Y
zjnRTbj(px=FqB7W%H;y=>KF9;YmroCGb#_VLZXzfUi!1;F#sYmB}maBR@5puT%k|L
zYkN7e2QPV25q3XB1KN1sx4DM2@Dd`+)SpP9vY9ZIun6lbH7bs&=a(2ZvJNmWOKz!W
z5`h-P2iAa=h-(m}(D;v4m3;ny`FS_4V_Wqetp3H;_VJ3zKK9Uj%GT1yVw-l=xw%3X
zQHxHa0-W+FNEp^GQR%I}d2_dCBIq6I2kCVvdZf^fyg`mJ(Vj9Ax*n9I(4%3Oqk6g$
zvTG1X(Z>BWum*;SAWSSsb&hJ$mj(T%dnF*Xb9Vq*nMnl?RUU-;4q}MGhPZ%;wu$=;
zuT9rG%)2e@)W;fwaSy~!vc~o)7KGgN>tI*O>yBU0NhVK-s<GfLycY;E{BDU|Oel;$
z`1fKi$%?a~LnpTcMEnY5_pk&2&+&U_@q&Iy=FN#2#du}ZO=q_=j5crAYzh%RztlO2
zsm1}9F65Hytz`!Dst(d+Sd*b6$bF;WB%z=b>Bupd8Jp-sTf%b@s6$@lFS`_=r5MGh
zl<^3-56)7L;i&U$<%N0gW6BY{Im6g|oflJ_df+2t!B$e<h;}9)S<<K{oIqg~Ua}-P
zheyz39#EG7e0Er9SMucXzsfTA0gXuUHQazl=J>Qa9R)D>utu`CUpZP#T8hgWiaB0!
zG$Qv9p%}=TfgtmMg&|dhU%S#UMkMg~E<~4{ylWzipeaTUCl{>lvY5v8IXmlT)4{to
zTf=9OCz|`r+95+E{GRNx<(-5?r7R!e_-s*H=O9^yaaV=!4SX7R1lY6aXQ4Z02x<UC
zOJ6Q1*Gl9#1&KHnd^K;XKz|sHJ>d!!G#Cj%k`s0P!5gWLVcPXp<fl#w<dTA)dFml9
z^_z^xYM*tvJW5w0`LKSLV#=3HshQhBlptX)WbS=AN&P~|T2$dP&T!rq^xlxd2=#ZJ
z4MVVPouq*%Om1>0<q^qvjk2J2yE_1(l1uM1j)sA~Il^DHQcv5TZ8@n08mG#o1Mcf$
zg)4I_bn_C*MyF=%pMs=bWW{?lTR=qX;Zj@%6$tK|<)DxFG1$fIX9`C=$|aFdx(j(Z
zD=RVcEc>&L^q5jBM5?d|@6?O*K^YjVQ#wV)Wx|hzFx>My-_9jFrrz}8^>082%xQ%)
zbG)x`8tK*#A7pXmV_oFLBxO8mD%wcVZ-Fd6>^KFgy5QGJ6Q%4^4>!*mpz@c!z-7I)
zdu@UFG|S5yrY15TCZSc_z0P)zFVP{fyCuJ02haQFFs+^if~R}&gLAA$k+qh?&&@QZ
zjfZ8ED3%-DQiZanGSmbGi%>wtoR~HjKwRPBp@`vj^WmXDc&<xCL(p0@BaMV=*d<6J
z_Q}<=Gk^Kw&oA1i1ck&!oz>gXMxXKB$*{j@GE_-6?jNLk0!cr)E{7JOo7>Qvk=&mk
zHBR@CpxhOO&vw}k9Xazoo8McqLnf=cWC%ZOpoH++rga7_>4e2l$t(cwn-N&isMPJ=
zjTP?6-#Rsf%=peY@6J7g${A+b8zuAWbQVOpr5(d~YF)kFWYSTpO|B;H?{MRDUJ8RE
zh7Uf!UVpgC8oft)*H#zOBJ4V}tqeutY~77OO}5J2g10GRTNZSFi&Z5n1N~c^1L)fX
zbopr9sD-sI3WC-+D7gTkM?=#qL&P!pqrY7Td{t`2k&F0ne6^7jlCcBU_Oz7uTKq6~
z6gT#5_y<|X2n33*f;$D{%W<m1ikl3k8DR&6imIA^E0MtD-5T|ON?Hj)5XdXb{9B4t
z&}a%`R)<bIXo4X>bJE<-b>_|n_$!S)GKY_mHHU=8@RPrj#pD6~jx2PxL0NYl4Ez<)
zihN<@5sr$#X$zn3Jg%%uhM>B@Kv`@LEaqL>sk_)H+inAOjC*{NC*&0x-lOrF@NfBN
z7gQ!I_n9UTm_a&5K~2en<Cl)pWU>qVF|~}nfVk2G^iPvEH=!mgFr7OG=7<I!pytT4
zzSgczdRI5iupNNqpM0_~S78Yqsk{sQt!01w6l>mb!i!r#!rmOoY%d#<90b47bcCo3
zzsVok_UzgCX$1?jQ>OFp?SI5s_D`Ua^(Vv+;b5_&>$<P}6v3A(`T&0*r{Kwr@qECK
zqgG$R6H{RJa658V$@3B8gmw7-=FhDnhB8E3D0R=CUAqKOckL}?(!eQrFE;Oz_+oF_
z2ad}p)f-<`uJSE4e7dto;wFDF?qvi3<DDt?TCVd*S>%yA2ndh|MCT%h+rv49&pF(>
zVV@0Ng9h4Q5~7TIn`9!UF#o(>SA4d8b}<lf1xq=k(;KPstr(~h)Zu}yhoy|j(Gb>0
zUNYLXFv$Xh6Ki@HeK~Y&8#EvMb@bzELVeR2+8z(OsF;5I?(i|y!?RU`EP$GWEbfdl
zvKv1Ase_!qETCz|d;sk4cE2^b3vyJLaHpo3c=)EkF{*<&-c_SFm@Br0<&J4jEyV;A
z;X|BxYjO7uK2cCa9tivWJTdMUlK8%z*d+AhB}EsI)ZNb&g^mR8rhKW!pM|HuY^lWd
z6Eo9wKIz=|cVkf-dMZo3x(0WKGJ{5HP9OTii@<4*UWZ7Ox3139oP4ZK(oNYT){i0a
zH4%knm}csO<RGJ7M+J}7kV1qx%viioYTU>_9O20$>2Awq^+j!pv{}x(<<X?6lb)m9
z1??<=BX^L5D<h6<H2NVdq`7Mdkog2MsxRhj?e`Xw?WJEyE;VPyycTjo*zW>${HnQH
zP#**wRgcO)Inoh+_EBmU7E0p=#=P^+fnw*B7Z}}omVc{nQU3A8awukDe;xko%a7O(
zex(f8h8%-IniN?3WvXCQvB=`LIEHe~6W(A4$P5)P^M|5|h5YN600{5&0X&avj~c6D
z_fw2`pqGtg#JeOrt(J^>wRuBEiP6vA>O8(s=;Tu+gW%AOb5dQ-7fUmO?h3B&QB*$Z
zkAOB(dCrsth-iyn^0|tWVrs7QuPSyHaB%b`HRSTbD;ZL3?<edRLq4Qm_di;;bX&^+
zOdz&nm0+Fl(?s70!av>~5c>(Y$|b=h?Dkr}9$&Qk>S8a)*LWfy6$jcC^3+6sfZ1S*
z_TVsrl@6vJ5VxTrUYK-ED8RW^WU^#G1ZKoiwazbromRjfxpE4VPCJ5P!P-9FY}Gzs
zmQ_87!bsPaqr><RE=-y_JSM~XC5guY#Qg!=SNspe#w0_8myg_Tr!_X9;zQBlPO?xW
zj~db&v8yXG>F;%-wv;&+U2r4JaW?1P$+W4E&V}Gtr%_pQY+s&RJoGJO&tu~g{kRcu
zYw*k$Yq2ykhwHrQRYBmvEc%7y#1}&yWRl#lr)T>Rr{ZMpKBx9`_+6>w(K|Q*+WTh4
zN#DX4qE|h*4(;AGr^@w!%W7-z2@(|3>*4s>3P;M%sK|$`7GWR>wL>{>j0KC9T562V
z)o$4cI~>+@>W(r11&{pv*^f?~K^Rdx<F8`#$ae_hc~;Vq^Y1HKscYNFi|?b-*sv1!
z7@)rWuJF&&^N<!-#%;}<B>QuKfDnT@s1Sce+?QGjCzKGJFp{tR0lDHAbD*tXn4F0*
zXM{#i+#?$>h!)euB1!00)^o+fOU#pq%fW#JX1b{8>f6?}V@+O-QTFf-_0ze?Dm$5&
zDk5~H21Uku)51WFvyW^0pj!&-R|tCI6RA<$jQ{cH@r9A535LRdw#PuHU~F)17UpKE
zxLF8l7UqBZV^ugNNhe2lVip#b|BeI&;h01m9i80W^jMg={v$E~A|~Sl_mWlM42YS;
zoIL)4xqxE80Z^`H$P^1`Ab2Sz@HQ6~IF$_#&7{i80msS#oG-x##$*#UuVnuQ{a=82
zDOdAbt_>JE8w(uUf4%*K^T4t4{KpH>s6e54uwVi7|J8Ewz;XQ_?XMEi=8GcP|DTMt
zgbNt`ul<jAcqUaIPB<RU|5E(}|M-{3{~QDSO9L2Kj0xN=WyE0T;9}%q<sxR~<YMGx
zVI^kg<YZ(8l9b7VG6R`PiGc5|2mn<!HaIr6{}3^$vM_VN{cHbc@c)F(!p!zh{y(7q
z&4Edkn+J~jzX3C;{%`C|s_Yza?Eja82afH304&Vh|2Vk+hnowI?Z4F)Y}RU*0R_?~
z{{Yg}!vO`li9tDmDvh|!-rdSzpsc|78p40i+8Qw+T^|*&paTO+T2ow0M;_SS5d_Z7
z$_*6g)PViZ#IkcS!!ZN%JFh|6{%gec&qx$_)5QxkX-6kikyDY=lAse)P>|vN?+YMq
z;b!J)<LvI_O3cCxRBps0;o)JDH*s?pvo`rBVr6F1vN3nJcGLS;v;Wfbumbm6D8M;*
zxPgTOY|W~Dd|*(L;)=3Tl0aa;3phJB4=|__2S_;32FeYbt3ZcRlu{8FR|DddD}ypO
z+n0|+L#fJZs!OQ=dFyq++1a>&pfxnW#7b1)Y(4wG>40kZ1IfzG<Zc24Yh;1c5tmlg
z0&+L1|I;Ki(*0xTZDa%kQg&kk5!;A?`rY`=vTazP%~#C`U|?+QK$csobaNrl2~d`F
z6L3&2Xckr)I2IOG;O!uLdx0=$3l!MDEQ3a=+oK&plR*EWcFX^RV*3w@?Z2paXHXu3
zbPXv`>i?;5dWaNgU%I$7sC0U=G^i@LnT2Eet~6*67z=y)UO6ZyGz<HGtl87^Wk5Lq
ztQ>5Dg8%&n$N|nfC)Wqs4^6A>56od^A(q5I3IWBFFbp|_C|r=T7@IL~Sy!-w$$Aq7
z7Du(5mVu@Rke;j4L`@!A4Lk?}hJ=Jfj(EaSEIB<i-St@CbGO?}%(M9u;Pm>J{`(22
zVR^&z%D4O8$990+>x+VqSU#I20SlnZ%YS)5c*&oiPwFiyHuWUAtbbrspg$u5|9Gt<
z;CN>e+s`F&-Y>X?LhI$up&FZ>#e{i$RCUYOP0CHq>OQRuwI7%f_<Khxf;_dm*6d>V
z;<q216V@3c9`pE+9!bFmpPYt8Sx+q+rDTxVM(eLNc*B8X$F^z#%lX^SW(6=+-^1&8
zH_S6DFN^<twL&xNkk4ED_Ksz~Xq3ZZPA-OA9F;meHH>YF!IGw}5KD#{c|VM63f7pG
zAzeeZf(DHIF)V3H*cg?eBu~PL1|NAEDQ-%_lBz8(Plky$i{^wX7kNIcdLUtn!xEyc
z_?ui4`F@z*6dOeffl3mYEDE3kA#+9ffvkk$9~Cfc7aE8y+@pv<4u#?tH86~93eS?V
zhq@U_1w(jGPO|@W{6wa?Cyt7~fBJO8QL);a@slOpm+A7Gm@}eef*w`n`3dSnIUmQL
z_5<<E_g8-P-=;rU(DFog)BV#SqX@2ugdA%eZ%ktJVnt%l`U0=%R5O4F?42>CI>5t1
zL)_3GHb?!f_kE%`<ydcKR({(*)UQMzEWnJRug0&oa!Emf!}C_9U0ea1r{sA(Nj=G5
zY$us4r(?9E0ql%FzZ&kPsCu~fyQ3DYPLvM5v8*yvvEPh(Z|aGEqjWH!Zd32Gb38!2
z(WK_0Tkq>pBRgxYf%gGUnmn!0e#DtmI6Ki#yTFTX24!H92ir@6(9oL4`6uu@M#dc}
zn<hFX{X7=*Ppz{T$O*i~+aHGDW>Y+6;XV=ui+#@;9I-xTZFx{=>Ef>Be%BBl`k_1-
z;=f0*2E83MLYLKnQBTdwKOU4*&HQdF@8(XZq%0{x8qVN{UYHDMQsBd>1%V^`c|@30
z8;5jQiTC;U>DgknNdtklz!Ua|DCMtHf0OvmT%-~7$PC<4kD{UM9=(3o22;Ix+(jgp
zgpk|lDCZZ?>0?;iO3Jx{dKtdQ$#*SYtDo?P^ib8HXF&tT%(&<hE)(~Bnm777DSA1%
zdKszdMT(FuAkn0Nl<}Nn=;xNWCg>23Ka(3TUH+}teUrjr<<V`4jxG`b!e6i#L|Eeq
zC7=`zMdUWLEHehXd0PZSol{nBR%u<)avDLXfXU7d1tR;7&U5fuxziPH8#WEiliC-J
zm8)8t>UBLGqn$ZroJxDQHZb1c2MG1GC2DX{T`5ornW!=VxtEn?GIOVRS)xrzOB8)&
zvgQOGE20$v3jXqDt71Q4gKItCxVSPA?JRP4;&A0z39MU)EW)qqU}#dy3FWsXsk_Pi
zv;dCS&G`Y!hzGFxb?~z^9|P9ECOnWWmOthe&T+cr!xj)^o%yk790M#;D{YTX_sXR|
znK<*8k-qi-I}dJ;Ly(G524H?OuFboOZhH0V`Iml95FMRYPY)OBfF=%{xvdaL$g<!h
zw7GQtHz*zGi&&Ep9Fs%ZhUh$Ar}L5`QZ{N+OJK679syC_?T>49v3?ZOJ>}$0mmgcd
z-Q^27mY%c@t*Gy9Q-1gVJ>d5ar>=}rgmu9c3|D9em=*A6^@}M<8xesk|68VrRE*xB
zxsU!ZH85R$g2hUZVY8$1{G`O9hGhIWgnNU)e>1xro~TbDX2dPAXgQ)IzRx-#E5_?k
zaKtUY%B3c;x$@y0<azXve{w{>=gc+ieB}@>ezr#S0k0LY+i$k!+!}sOW}f*mVFZFN
z;ftUM&?xke5Fd*i6%g`b*9O7laO7$J(A_`XV{`s>aCynai`ct)#~G*;_^ND={LD%x
z4`~tjqLWkVcUEvk*)ChEVf`GduAV|QTk1;-RU6ZP8a!_`n3G>O*ra5NyH*6N`lHpS
zM~}yTo}6`?Lu5Z|eTr)cvakgHK+KpM|L&Rz&_Hy>0iSHWmsNY<F!AL@tsUjg|D999
zqQ=n@EwAtXMo!cx3z|Ox@Aq`>rKImS7w!G%E^N23FaH``?_pMMCqJY-{)>PhO2qAL
z?-y(qRJ0y4LY64mFHobKUccM3(hI#k%s{oVq0Y0o2U9r|>QQ`^P{BiovX%-j+Gvp;
zK#G7ZC^E<gq$+7!3->hQ-k#JlIyJ|BZ=s(3O*6t#BGo|V)yvZq-PdfURg=yIpp8#X
zP1HV3*J-G!nq@x7=~0<Km1LEENNyr7va&|sj!)<VlY)iz!8NU7TQ`4HfZx|i)*60i
zRb*B$?1SV&ZVCQHz^mcjn2soQK!qO(;9(_%|21_?7PFeddIkwsqtokBE^4EkkzyRo
zfi-HQ*mzn$VVU`23ehIXo!AN99%_c@Ieh|~Re2)m-?b9T_U|u(@?<uT%*nhXaVC||
zLOxA#+QU}2cBkDok3t&^!%<{ab!&%{p)95f%!XZTbf|}EF#W$(%=B25)WqztfRcAp
zlO`7~MHF^mT<VH#oAOL>b=gZT!$cdzDJ8EwoC#r>Ui`&xvaauQStQ#(nYMDIC8*T$
zaKctMjb?)c68`E?QeVc+nSr@1Dyp?z*wR5AHO$r}ms50upQ_cYX-+b01$)`V5vA@!
z3WJ)}m_rGqciQIEcwZlP%s2Po0Q<LJW08OJSq4*^9KwBjMseY-mXchR?FSR3f431F
zh&@s*t-FQGe35cKk=h0rzGz#rJS8g}bK<kciS<Ekpk)JVVP~cR@aqj3%8<n|<YL(g
z!aB-+=Gd>*vzy+>!D=JE1HOBPt(R7JiXZzN%cSjdS$0^P2desb)%`9XfG@t|v0bP2
zw&9Tq;i&ZeKYJ|QE-EjDS3c!!(iFon97*2qh`AiQ*=Dnl?qA*$5aRuRCNEV3B0ikc
zc#`tk<(u|fTVif8S)mdrBFW~@o@@o9ivwp$MuMst;JDBl-f*Y<p8D$w$iYgJ&LGmv
ziyr@AqkTUR<Z-oAj38N;1J=*?hSt%YGqe?V^~`u;ae76BQ-k2xEMvcGH*#r#xE23y
zS~Nj;1iS(co+g;`-szJj_{%#%8AF^zg?0m8l|MT#9zkB9h~({rd+o!*4KxB@{vg>m
zzb}29gn8=96s4X~uoE~)(d}usz})ow?7YZT`y%A79Gs^LIe^h80pNTbYN%kxR}qeW
zgDA!d9x=>FijA?DMt|N5sLOx_NgyL@QW4ScLY!?L=Np~eqNxbmrh(D)mYUyGg(llc
z;b{MmQrjv<VaKg2@adSLi&wPq*uz||MGALu@}Pqt(g4Sed$Er}-NTD(Q#DTbnP8;d
ze(pCx;|!H!U(4?h03bmWypE3>uc)EFG!cAd{-O&Tr8VnphhVH~UC$VolB@V>!!#|u
ze$7{C8k-8TYyH(Iw?rurlhZQW9kj*KwL)v+!XLXi7cN471=WZZ(xH+*30RXYwX|V7
zW^F@p@q#rLir!R?o98QwSASZXzoF+V%hasuou5B?%npp$2Yir5e&>uMZw_g2Po9$I
zOrH7W6(nCkwAE}Je^TA%FL6%PHB5jN;HvMyv@9DX^k@MD+&Q;gaqU2D3rRe?5^Fd$
z%y>ZHWZ{;>-mBfv9yINuTf#1iwgHOYY8UwkiUON^_9<jbAXRHl&n-=Pj~Wf9k7`zd
z4qng6Clj@^01hELy2eRA$r^J};=8)`&I@(OJ|3|6z}i?&phb-C4nptwHi0%S#2Z^c
z^Rm<95@5rf>cQshy8rp|3KkR3v>awaS1tE<mck_s@#>_<!xm)G`(PMUtB8ZTNow-r
z>5`C@-@Ua<tHTLx>@h@7vge+f_hKz>He7`bnFX~n;KYW!N&ROQy#^U0%H_komxqZ(
zYZvdW>`m$yon(1lZTJSJ8>Cr6q5!Wj2KsFnj)t?Qv-KD>^ZA9sZ$T;&D%nTd?2TY(
zQ2%285z+vtFzF{-+Jl*IedpX;vV_f<t7n1%7G2;4Fd-0eZo%}jU>D1wsKd1|z)CXB
z5)cOsxb2DvLV#SeGW@7MFSlaIZ~Wvi`6=Si(Nt8{)j+#y%?wHg&Nk1y0}<_uO25_Q
z8I`vJ)bng3INYQeYZtohcJf~;WX1rZDC*4C5kX>vE$d9nB;`)aXc|;PSqCcC&R?>5
zjymXPwK%51Ud}?IR5g_FE2GstXx-5TTP$M$G!#4abgB@fC&@u&Dx2it%!O$+r`DC6
zVx%j66mX}kQrFGaW384G#4K)VFv=4nmJiw5ZD4slZS~FQ1-41dfr0AmGp3Z+Don|p
zm>IfNZ)Yv!mLD$N9Dv*f3C|s~y%s>Pme8W-;)g22-jFt2c*=uset)Z@ZAudcC~4>c
zHkelId4O(kmvKS6e-J*0c9;fss2#s&a#Gv{dx9Xx#L#9FD|WInv*@I0<RSS)e59AE
z9&CGvh5st}=KKn{0y|nN3~FW<c35aQ5WAzrBr@o|B*Z%6Xsd(+tg27_Yq{zMUTO@P
zRav1>mX>zSBAf-MNy(<Z0zw-i*G_;&E+1Kif|N?KP6rhB=mW#gTH5&+<0npEMn@|P
zcSa@b0!2_emnpl?vYXr{K$XU|Iv55u<K!}C3>VA^1Eh8zw?!VUUO$qkyN3#~kd`L(
zj<@`pOY`-&T&w(Btyse<iZp&uZ@3mdTzl?_C^vRtM=m@<BNN<20}VMOPY1vdo!8=z
z?tIr*YuM(&6K(Hge_CvpCW_|Dk^W3?&Uf2@jkAYVs{r;u$q1nZt)M(fx8qEbk+xzU
z{z;25&e!T0v0+^YH&s2W5Pn@v&0%*%GLjKYy~*?RBQ@r;h=1QOgWX-K*GApyLoH%8
zd^#|Wb>kV6V8wKUJWM?$Ed}t4U{0xA^rBg4MeGBbYFDBy$ZT>$9^nxCQmdx=V!J=6
z__9cYXcYe@EjW)b+&=znf!)6NP)J>QYNfi}Y(EvPu&v(BaAX_3<Nc&!ijk4QStk58
z+Z$A&E08i@VivKT&Y_4EnR#=FbJk>y>INU*3pai!p_IgH9EDYgp8x>8WSK^$+T7rr
z_!>EdO&e?DCBE(SKrz*~YU0`C+L*JkdS?CPqjM8ikX|7gA{*UA)E5&v@1+qWdRg3)
zIizBk=mxi1jM|HhN6EmD7E<`(yr^;+Krd%Dfi*ujVST60E?vG{5%m8x_SSJxMa|<d
z3(_Ush)PNCvb!u@0us`tG}7HjE`o@3yQGvTA>G~G-Klg*OZu)){T}i8eBST<i#t2#
z%$%t+_ue@}h$jC@HeS8bhnClPz&6DjGZizpOEWY@I7JAPo=DZyULC&IQXuWMg?n}J
zT)O<kq#a|KDQTD@L5b<O6OE=`@SBa9agUrENN2ovd2+9X5>8Q<%(keJ5VgPYex^3;
z`^lT_2%l>vQrfwNX%PBk*7ar)Y3<ehAE>0&Ta6w!7V&&0gn-NMr*Ugev9#S6n`AiM
zE>;yFIG?G`nI;dWjaSiky~mZ-(xNx#jg%nQ5sGc&+Ky{qHdX7mqX&~}p_A6`%e!XZ
zY;_DgI~E#jM~L%OX}bx&8$BqYBzStv5Ka!0r|r<rO^~h1Cf&FucFi7}cr%vDnJyqO
zA%8)*^l6x7B&J_d>cf%)&bfL^jksbPi*g`IGyDyRUg%lvp4++mPLm|sh~L)x0M_;k
zO8mEvMe6H+WqCHvn3bT?><!PlcFZowamLm;?|d9E#GkI`{$(=aJ7zR2o}B;sf$Mye
zbCFxCcgl9cv^loy^Qo`Yu_mmO8ZQi9wGoH!z3fWX71Ah1IhBp%*2W?qwcy%~)NE5o
zcs~GN#;J~4S@aJbai~VMHLDJ)&@KvZkJ=h)>%?%HTc-ID&z$7dx9XTI{J81fl-6$Y
zLUCusy|4E+gY_(cNgo);<il0{Is^EYok87@3-NTpm6Tl3Qy$T;u?~jZwC>zt)ieH)
z!+J-DLXtfp4osn|9B&%p2}J|d@15R+pmL_eXO_NO=LDB)Td)VuMK4-M<(W`3WFDiT
zyH?!h4X?B-Zy)zjJU8~Vc~(W<q>sk^igU0DZD{pJq<ix9uV}~%d_`mY!4G2(eAR%7
zGZAhg;O5ucjU;Cc-67qWL%PY|*^5d2QSruPH$@1cY7o;12DGc_2a5`lK4Yg(JiLBx
z!38z*p(wRq1hY~n90qEX@-rUpM&lKT=0-NNvjjQ9uc-<*5?O<v*5KwRmLH|e(k5LU
zYfhY{20!j>PRztLXlBuA>KIJ@O4r8msAkEgH&;+wW!wGd#i<m2h}q-4NA>~MT|VxX
zeCSDJ&sV9lCM*D&vl1715pjGdG{s3aV(_d9tCD*oY8@g{>7#4se0$jM-3~siZ}4CQ
zh!<fdSXGFra#gI1)iD|;zy7{sxGyka?ShT2iY7=SRem3Gq&uGYEn0Ei`Uvl*^1i-=
zbxw^E_6P1n>YA6WF0DaA+^(}%Etp!Z`3T#Xp|oTM0nanX5%)Rn%FTxxI0|*tWBqVD
zDf9{T{3T@4B9^_j?VK<V_gb!qBs^vvwy@&L8=7mHXd-J5;8P3HN?wlKZQpT&Jj8x!
zy^_cv6o8!sr=f3naD3qD8k2WBcgqe)E$NCFT7T0}EF!G0Ta~T*UeJ;}_1T+_m7iWQ
zevSQ<C?_K%169SWYVrjhOwx@|wHSC3#%Dh?hnX`%XTec6;(R;J8wXNvGzLt3e$fdv
z!)TWP7IL5705bLPIkmoer9}@0={EhDddtc%?r~foz4oq9boaX5qp&MQ;`W86DKeYy
zvtArFYT8xd6~#R@o#C(7ETfI(5?<M^%3P^f8;Nl1aQC5IxacPq=a!Uy#-M<^xjO1G
zx83v_@=(bj6UAy3ru~p28qamk*T<X+_oKGISJ?ejyG0lKb-hMWJk-!0nP$J*XX_L?
zUzsjcIIM5T>13PRE0QVt=4vfmo<j8J#gR2hFI9ejlpcWvVqj&pO*n2$Jx>*fM2e}u
zvn|&(6h+u{*BHDU{|#4Uy6qQS06zj-D|5q=3?gWB*hkWp7Vs$!Xe?{PmfaACO(V~l
zu7Oby5;?g-w+#)OM~#26Z+bm>l(jYy+5I;D3EU$E0kqNQD)z|z^pYB1=VH?uhcpRS
z>|ulW)o6@FaNCRigxvHA9qhc#myRzQi?umSY-pBZT>O%kccr>yT*f8fOxJ=QZPJ-@
z3^y4@to0ES+H;A8S{~@EgjI@OU)DU;tkwEn>==nXV3ZV>WVViv87<!uM(KN0BLPTx
z>NrQu(@#FZ$)e^qLr@CMWwNj{ec4^r?3FakF=c06>q_BvjJ{xZ%Qu17$F#s3_RIa$
zWOe)g_nEW912qPh^vc>ic=@!}ZuBB0#fEatcQJ7axf4)W9E3;?>xeV6xLiTyVbQdY
z(6`r@K)TMNN%7=dcDgUOKbZtw^*GXdg>eE|t8%nEm1O6lKb9v)tg8q&s1a{bFAgJL
z)a4y~JS@H)p3>8Gtu=|4MF)Gkq)9lsE7N+@b<SVh203+V+7@;e!V7!V136i~eiF;B
z8P(DxvnrV^V<E-KX=9Q9a5RER`dU#4n`o|m+uKJZ0h3rUw219IX;w@SzbS)9UHkdS
z;`n2``RchC^(ybZCx}9GF9C%<d&}9;ROSpL!pB5n07W&oLRao4c5+OT<JpL&<c=@J
z=WyW&16jSL^R+5_5BN7eo@b|mZkJjI=f#NksLwgPf(4+Sm8dUe3#U3*dZ5PSnv3s?
zUi1+Bh-ErlK)X(8`pVe9T9`OpRr-QJg~g8@dDIIvT<|S3t;{#HIn=qEIUA6*9h0>p
znx;;;umcvsfnOV8E6n|sWo%W6ukXb5HsAIah+?<`J6Y!oFcco%_nyWQy;yVZrcu%~
z=sJj?ndL_VnuyBCR;_2`Lc{=S-bDhqp!$=TR=<{6oCzE6de%J5qm<)CwC=pVlX4?B
zw$s={dt6%MQmQ@eG;j*f)VGCn){=+h9a!w$a>|xRx&BgvoC%UAW@y7>7`^J58q{*d
z*bDD4zAzN(=W4;J<7_akkVmG<zqH&wDTae~zZ_fj`2|&~4*n2v=1iyi+5D;6E7?(o
zY)VEZ$WVG<7|ng<qZhjfO=q|S*L8yVqZXelZoWdk@dM5|%p~#rQcyDa8f)26Z+kUk
zZ>w2jyr=!zV)kZ5j|G2H$mQiQUbjx)TXiEn%6h^<xAHW2c8%ynC4yc+2=y!};JI#7
z{En(7DUaFHW%AeTN6TOGpF2;@P~pmtN_du#pURMCF@33PU)mPA7a6p%%QmpOxp7co
z4CAV&IDRqJSFcb`H}-bt{o!lObn70g`<3diq8pOtFV{Ow1u4GLCcnEx8%JoWPF~AB
znJmL^+{O@@gjW|gp&u39y8P%34yDu5wF@Ho3Dg<9$By@^*{ZnL$l|q&w5;Bg-)shE
zgsgz!p7`OR(LDFE)lVjJDrfg09qi8|uWp?W0}dW;Q180yJ9x_DK4zo1JYp;P?3KU1
zcYF|zlGfmMCWTqRkOueNdW-&LwaDy{CG)w^J_R&(0SZT*hfR366%80y&Ag$5Rk*c@
z8_oA16ZU3f&(57>v!O(<U3yK`Dv1%Jde!Z1nF900#&{w2hmLIoL|J^xG|JjX?4d%*
z$(rLi+_#m+2`XfCI&J(vo`4s_gF9OZUz-st@IBXsh_XE9w5ORykJ0tOcX>WNbwB1^
z=`n7|u>%~DO|HA(LpOMRkIVm?o&x$H5mV4mMkB?M5dRr1&x7_aj77b&8n&2on_ujV
zAB+S&VHyf33%cI0cud=lCRc{adKy~Vsf2z)iB5acHK!4Exs`mMx>nA<ReA0FzT7if
zp8#8s!8NAaq66jnJGd2*tuW{6OZQMQch6sKnA7fX`~{MjkB>9?R}1xbABqM6SC@J0
z&~&wtU&_h|@!t>WrIs%kD!UKK?qTRK%)i_+vO2qpe3Nw|G7*pe6Py@W!|&A^GYd)^
z+grB}SG=NN-!`g&OfWmTNMOzSr(wQOb0A_KZ+-Ez#EepF6r0;sxKA)<;fXLlL4exF
zGl7b)@TY|_OoNf~22Iv_m!4o0&fvKco32s1z7VHXmzSy3hP<1qh|*VOAZ2P74?D3(
z`+$@q6p_#eO>bU(OKA*o3R6=GmS>7K?G8!&R9=w@F$8Lp>%!lz)9-v8?8}`Ob|RjB
z$J$2wQvSK9|E2G*4IhW*E=+aXQa23W_l1X_pTMia(Z{x4bSXFe`spl4`(tEJfl{!o
z&7$8bg_~NHHTg^E5S8eI;iB9XKV17O!?ffy%?uTtx}wD&4+`Ha{xlHfDZY|$beTVQ
zNPYVXt5u^VA<u$-XcI-zyH3^Xa2m*d+jec%bt})MK+;F0QtHh<EoXmRATl)mvQIMo
zU12O-9XBKt0wP0GOS^7@*O)hl;dC^~y?E~pkC0lZ;38A{%pS)|YH^>soN54VQ^QZQ
zKJY`Uqebz+@-RP-_{%+LBu~!CVOQI2-AW&dBKmYu%WD`VLFHV7&Di(K8CNJB#=9O1
zkddK--7K)VZhiR-L4CX8*1w_BZ7t*><bnYoMnq63$g1x4^sW}AAVe|4GH_WdG<3Er
zjW2;Km*&mq(dP%c{KK?3Gm)d&<L1svnT=uoDMfG(+yp6e%utC5jWq})FrJ^|Cq5qS
z<?w0bvl~6jVn>Q%M`y#8nuJi8SpyM8CV<r%XFeotWSIFxK#Uvp#0JCDk(ip5xD##(
z#&KiLD5KiNb9?t8FMSF(sQF>niY|&dTD1*XW$CvSh6WAmDO8e1s^^ifF?~5B2HR#;
zTo{g<dG__RiTA!|Pkoupo`|oGqvuc0#z|DLRTFf*#?cV_Hgyl&rnKhiq93j$I{)m+
z2~N0b)k8kTylBf$NfH{gUh!x-mWf($@*f^TTzq4iQ~Fg^`VAxH`c)&JFa^@vD63fO
zt#&2-rc4h<2yn_R&uC^9$Ufspb}a6?86^)FoU!`&5xl<fMJ#5Q9OKGoD<-OK(>7*E
zTWZ0`Dp$yRt&atS&(t7}fG<l_4w`YD{CiM0p>?gF*-qK2daa+Z)dII>z~@QuoliAm
zzN0p6akgFN;Meh7yLNsOw(85Le(L5SkO^H2u5xk_C)#e}Yskayi$l5oNIk1XgKP&?
zhxH<C_ke|f;Rw4Yvp560YvAe~xqhXli=QXLop{o{iqDH%drOQl;S`ErlKi(BMXWMo
z0y{~idm5AF&C0YavPc7&SznF7e_(#UVc*yX^C8~1hOrtXrD|~%;%meQaaL;>Brg?P
z4fcNxv<w3c#RcL2vM0rfyp~R%y8VT9vVVYm;x7Knn~C{-0Qu65b*lm}<s?6DI|H+N
zo3;xry#AiHV}$2CW$gfF6$!!BZ5kD9x~(}ik_vYA0(I?x{XXFu+b^^N`1g3q+Llb0
zJT!&!!0&?<g3lwO8~ucvH`v5;KbN;lh}J(X-Q*LJ=7@O@=ltN1>Fi({M_KL#mKuw?
z^)P9UT!pMcVjyfPDJtfMj%J_Ap~4?nKXt8IIeuuH<dW3wDCvE**0o2U+_jxe=UF#t
za*uf|Yl-N+q@JUAnaSpDBs}Blo6)?E^5Q8iVFBA{Ch8CH>q64g#`0qRQ}sn`6qbN8
z2kH-x(_3``Y|TDoVZlv`&V&bj)5>K=jOQN|%}2wZes7Z%ZUVES+Xqzb+3U>NVg?Lk
ztWW+BxevfEHC)W#tei0vX$V2(U$=>Rp2ZR}JjVKAB-SEo3ZLbJ_c<J9CqK-13u*9V
z?XM2GAy2_B5W<~UflX1v><AP3#HfBGP0N!w2%!rx6aMhiVIi1z5E$@%>^qTNn!DsJ
zRV~}xeH{KMN<M3bG%C?lOm678?iFzsWD9@VOpb<={u_TsMyjC-awm|@G9{&S=KDrN
zHb6GJ%Y60hOW*pc^Bi2)Dl}pwT7Ea5z)xp^*Ffn!cg9@b!TP4BBl0w@fPiNANrH*f
zQX4L^v4P-6KLMPx+6c{I!u(=x@F!lHI?fd=8*J+mrWAb{@&JjmZTllT8RQoj5e+Mc
z58c^;Z0Kb^L!PIdT_jA$1Dh9Em?HHQ&V1CX=!?EP)23p-wz}c+MaOG#ZdTVc`5$av
z)_DwcRv4?KXckPO@ee1uYWvE(>JfmkXg;+<e>cz}ms;r6AFt4>0J^54Zg}eE_EE(3
z?0bd0d(rH#ST_}i<!Krvr6j1=*Wt8<mlSxDfuYETY~*MQkG~fe$T1Vhdb({;U*pYs
zNLvL#jSwzniXoElC;N@C{PdAz(uCLqA*BLf564fqYwqIdK8q{MqcCn0>~GB7`dg=E
zB$Af_ugpbEY0Z)+c2VANWR1owFZkZq-DyM(bPhjX>q;DmopJlzWfVT1b801m%#uyZ
zdEJia76KW6c%EMq96Vg4I7>vWU#vN_>RD1h60@Q6O>lnz=eph<C<=0Hy5#qarQmnS
zykvyo66{rSeS(l`e>}fD@;2(hA&eT%Q_TuJjM}}29m{(jYA<#yzwS|<l!OpotKrjv
zr1ms#msWBO({knYlpIx<<SDQ|rKPMp#GSsn5^YW3HmJWUjXx;yvZWXNFh}vIYthrb
z9YGS=Amn8XA3gSBJKkws3AtRSg_9riZ8mE?QXx{@?b&Io4%%7C7t-brR9Li~A0&;L
zM+NLkITDr~=dB2TgEOV`qMy0l-W)t8$;2itPTXs5xuunPBBv9@Y)t;p3A!!(;50@)
zPEPq=xf$o@kXkIl?JOVT2WJ`dOkbdvK@28#Qj95>@Ka?smUXCRpBu^C$<}OdUXp`2
zE1!%mLxQLCEO+s*DZ*vH14OHc1&@K09fX;}#B9`oWg^{b7~<#NlKrEH*R2k%@8PUO
z;;ukG!LT%_#3IQ1@iak<d@Pzk=wu%6HwxG0biOSMmjG3ral6R;`8{LmBtlJE)bem4
z3oC_l_?N3O4p|2D{;9@GC)JYA)5>@s{7h4&5L+_T`x-#qbK#9HJN$Eo%lqf|XfrW5
z27;9oz{{e#C;~x)`}x+mmkB?7mxvtRig1WFCG`MF*It?3*Ibk8?M=B=)oi<2Y6`ph
z?jIj14UM=@K3A>w*?_9^=IjeR$wM?r+U3001@3ZQWz=%u8+BA<wo)F<HrcZ#rVyHk
zBUy2)Jh9U5;AACdR2a45JF0sBpqDb(l*Bw}mx>yiz9JNN$lG&sc6&M)xnm7EqW&zV
z^A+WSfhDJmwL}s#q2*9<xe(&jEn4nHE7SjrzN4@yboIahzQV`!<8}I@_upTo{&<ER
zW)6>Uj%372l+13~R-;H7^k*LainlS6dA&-jB30#O{~E6N+O{>XwS4c|{|tZai6MrV
zkLvet7Sk4M87izhEI9WD#I-bBHv-q4f1-pl84-zysVGL*71PT5$npqqqm*&pQWM*{
zt1X=ik3??Kd`lc_A{4*ob6g^C`Cazr>_UiaKJ=f1a6q1a6huAxtLRHY!v3`m4+AH%
z5)cAGmW+X8?@v=cKpvOF;g&RVcxGy8ZsCH2B5!|}hnXTP|B$G$_fIKMVIYJb3xJeH
z`@fNXmx`&Gy0CJ;;x^@e9h=qa2Zus<{;Ld1FVglIi6ctq!F+jNXRmQu-a?xGv$oF!
z68N}QOjHBU%6LlM>^7jz?#^`{ilEe@vZgI>_s?U&PG95WR_k($#R5g7M{v;t(a$m(
z+kY)%z4Q&kr2n`vcHrTlKp(IIqyI9t;|#jZe!S|dD|G)ceH>govYKK0RfYrx*-_L_
zb8Zl0dh5dGEWN_JZ((JMU9$@W`7^C=p1vY}*4M9~gfTlluHY~!E%;SB1mGD`HVh33
z{Q!y@qAmb$U<AJ)k0?u%lU?!9mz+tVo-`7Pjl+A*ZVvD$k9AWYW{w&F(ROFsfTurx
zo^hkIE~|sh0#4vxgWY&2-}SJCgWr)EZ<Orru_w@mE_eMP7|AEC5^8N`9<?XHdi@jg
zvY3fPr@bvtu!56$TA>=_06jnn(_CNQSKTR;3*u-swH+=7WMmZ5k~7>9NUpo2zr397
z9+|QZWsge0D>iHVoO8=H(_CHtJbnV*Y#VCxZmqagbO{&!#fTlaeO9-NCquy*&s`*v
zj6;|kz_(E&^^CzAp9xF&)D|DYiBHenW6;lDjT5YD?%-MdYW%@NLCKb)MnAZzu^GYT
zGK@BtIWDv1aeB!?B)a$6<Ghdv(TDqLWPA(U0YWWdQ|DJ7=BB2cI}4u$F}kWVTufLp
zO3o@ZUDgT1Q^Ujc?O(+T$UpAMpdm(o$6{|D1n0JiDvPF&j4dV{6s0uJ44Y-mdMaj#
z+IT`A{=7$-C{G=IC3$k98KFE!P0R3Tstxf;d+U>Ct%J*Bw2t)gA<>&(M0pI3gB3*B
zu0s`sF?#-NVR1{$A07fvQ~2l+AO<NmcIl^jO7`5PG?DGH?>^G4{B*AyKRh}y>QKzk
z%V;icf|oG7uPP4*C;(z@yPT_>BLN%4vFk%FRfCxT;Jts<F(S~v0E+L~S=yN*%D({E
zVn0ti!$Dv$^uG)`P{T`IeS%uFt$9Z0C_2nJy4cy%=tWXa0litGUu7@f+b6`CLZoka
zd3f-;Q3(3`-yGu~R5c4xMgaigL=O@_f5vvQ*QRoj++Ek><amBOIol>sxF$?8VYL9?
zpS?;eJAbis>$7xz<ts|Hwk6(U0xz{RvX+?QenCySdHcF|?O-K|1=F$1WXhzPLIKg{
zGBoM2Nd4gG$OiOkQYliE9yGIr>aWrBB<TcpO0uI-;%K!WtgLaQxDO|I5|WgqTI3<9
zSLUpxIsf_Xr|(nb7+f!E!!n^NM&o7U&g!s=K%7kfTr4a6inpGKmrAzj^zbY*<+3La
z<irOu;)um?R08AVKkO1Mt1Pd?OnD5R3T;BV@_To<Zb*GFq|)7J-yeVWP_*`8)hUZk
zx=?mw59qC`L*4VA?BbW0mGL2C=@!w-Il{ilq!3p(jBb3`+oKD*nJhA)&Z1=cSQJB*
z`5+6{l6-H`z+0U|3nzYAzYR{d6iMG1GSVw8Zy5{cKH0UF-Cxw8#yF5nD28&Wrjn+S
zVHQc8XrWJq<Yh?bbP}WJahtl;l3SbpqKd1k@sHC*v$E$7GwG0I6&WM#bzqzdK9l?y
zg$Yy9m~4yjz>>BO?sAnebquT_?oC%`MdM&d1sY(^z!qX`Z40Vidcn`8i7VSX_qt7f
zddKPy<31H}Uzd!WFUmgemf7cgeBAl0T5pl>;&aT7m>%7=U6vur<EwO{4#q>TM8*j3
z%}>taEGB4+A5|xZVq$1Ezu{g>K>HM_!7nxo;>tG?A)h|l<rfHb-&Zj38+yCAM+eL{
zS|gfP{1O8$N+ev1dyoxxl?$%^Xp2Zqc4!b`b`QUie38E&l8dIRud6>86OYv!h?CRY
zpa|=QNnr+2r}xZbRacEw$KuNrvx`1bXxkzVm%WcAKO_S$b5|C{(^{##S=^ksT?`#a
zLrKIpc&}d8O`hC~(+AK(e9$WWL>^D^fd)t6DqJWl1hgHlDtryE)SDi@VK#IO{aIf9
zQkTNP<hI-D%xUv=E6f{vD(R~5dXYAm&Q}xr+OuHj=3#iMklnF{x72zaJ?qkQvUork
z`IFm=f&_8Nh$uAv*F8O)-?E<nqBgvQV7ZvlZ92HL9N}kN1u5~ii+_9?qNaE#TS_lm
zVA%BeMD?W5semv8{_a_SRFUyXR5GgTW<vN<cStl=On)%`lLEoPjgS7$4!Kv&9>=3K
zZwt<x%pNIfc&5Z}UfvH@+CNtfbE?S6Z?F(#mu48-o{r*Upm)>S66GrOBjeD%bVPYh
zq;EgQuLsafyXEd4%pj^OT0P<BQp(OcuRet>D=FIfD&?Jd!+}qkL<YB2Cg#57B9=Mu
z=mZ?-lPv?eN<Xo$<op6|3hB-UHH|-I7$j}r8yQ|weO35|`du-WReyzYfPKTsp|v%l
ztD)sZDP4rLytBNSB(<dR(?F+(swo7)FKLLYDsK7*>=nbNK&Kt25<b`;+2k50D!QfF
z<{yhw%dFYP+QV=7$q4r!>NwhFeKXNIiEfu)mZ`U2VkyJYmu4lh*Flh{4&r=IqOg3;
zz<ROw*@8>N)!s%LZ`U6t^Rg<VG981O=S4)iVord-_0~iz;(d^0%0(Uk=N{VQhJzXD
zV8O42JBlx2*|mFK412If+7s-(m@nJxULEy6(&aIvKir1<1bf<=kybq+1sTFMG|8ay
z-PGGH5w^9`;bv)EK6ANojcJ}(&e`z~NiA)tU_2nRGv|;uv{vN1{ALh~b8{*XNr0**
z6MBa?0!-vpmeZ;Zh_9~bvw4-WZ%3E<jd__kzyAU<Lf8vu;+J!JTgb&;(D-XHGP4SH
zW2(ZuY6}1I!M7^ecCw1{B?@BLpmn3mcB-GLBU?G7FU<6_keXcK8x<KT=68~`jMJmD
z#v<P_SJZ4OS!E&?sG7E3Gq<N+0qm=ww9Zivzr0xe^od}D*_*8DY94>{Y3iPLy*N+p
zX~ve4j{_`rQ`@yi<pUORE<A_vgyBAp*5eM!#1{;3WJz>+)2f@<=cuhF<@#(!+nkEp
zb%tZIo4q28!;5<&npwu@-o-VBxYb>@leSglTnxUVR<@&8rQ!x1Plw`|>75cXZ!?2|
zgS73rp>^6*k6BYbJyH8fi*K?VhM^%7)UguvcJ{-<hjvzG9Na*OU!oF9T%*08a*h<;
zC7y38!`Zokd2}6Lj@YEzqMw>m4`d@~%~&jR&yG4M7A&p{N^@7@DzB@y${EaQezh1h
zGYXCoAvD=!k6(i4eKrQyYM&=l0txq4aAFgEnij@>9f&YZ%=Zy<`V(Y4uH$UrE)~In
zHrG~v4cAV`Z=*>$X!e}`A?}vr0N)=cwVvyyhv!@ShJHN|0O}#?SV5WKvEr|ri39m+
zXS+RN{tNfDqSxC83MS|(X}v<E^W{mj>Cp{lylibY=ZA?t|FUYM3^M|;hcmvnmVkD>
z?F2n3xe#O^#>5L<H0jLl>*AUMN}0SPK3Vtf?!qv^Ss~}ZxK4?99bT%p$%}jV^Flv%
z6He2K8`#XNmQAi@7Ui2e*#hOqwo*+xWhiLn8Tgz)`H@eKv{fo+TK%Ou>gn=kVF~yF
z|Br_$tqqs#I<aNrR`J4R6&Zz@wMiGk8av-#X$D8j$UK{P&ltn#btIKdnZ)$o^EDte
zvMQK}@ojFltc4nIq=l|(df;0(0r1%)|6n+U!tJ9Q!#8tZ@)^_U{n$;>m}L4Q_}pg*
zT<5${Vm&U5`yaWH`D<K<#GRM9b+H`Wv-#AqH4*<k`}*LJ6wi6?yUmj)cG|ZMJ1k5=
ziemO1j<~*tG9@LQ(>AG8PE642h2SFwongRYr)<R5C2c%~#+LID2){-FTm^x%UlYOi
zou~Z1w-h>FxFR$x>0mx?ls}r38cH8AY*x6o*!(yOI|(Zf12>(hzY+%!*7zENlKr~4
zLhP8>>%lJKCOu~s$^flTF=00RK4-f!=7Xt?0zccZuKk0Dj$_EUw9hWRHC#K59*@mT
z&yS|OQi(5#X$#2MbiY3v5L-qo;^PkQx#C-lHoI9ID&&siyrG~qM={ur^m>)$*-@(i
z9gEWcVA?K}nud9K9g@jb`K~ZfKz6OfcvW+QJ%4ih=|!0}U!_lNazUox?uUpo7kN<M
zSZ?4IIK5M8Y3V0g#=fs)y<K57k#-B~zR#S;;i`M&bD@c*qXG&yu95LiRf!2OoZ1O1
zTic#eNAHJNLV{}6&ghW)g+KiQ$lCx5r?;C#ojUquPM6@2OK!^1)9!yh3;li+itTR!
z{`&+9T5AHTyM64=k{=0_AN*h093UT6{U#RL#)e5ld~Qf|t`%$E7EX7M4+aFGpirVv
zp%9~xprE6o08s9sSfKm>2m%Vq$lJdHVx>D7?~U0o569Yd{))x@;ZnBJg^m>)e(GHI
zV)!{0!VnGMTt+psgn<B)A^);o&LBi|(g2*we1F_WM?9qmIF+7x;{EG548ji;Km&jv
zQcwX(s35-Ik6Cn>;@lG4vfK&?5;TAywu_M~w=1_Bw<ltn1>gq<^T7T%YNF-wTFtap
z6nLLN83)!WFTKxC)(+st%6Uv-YT}%+i&}~(v`m&bFPE(~HCWoUPW~(#`+@Pf&a5hH
zwqINYYbJxk!usm#5h9nAu2bJF+Wq5sZcfl(&bh$x_sGvfvCfU>UQ0`7rSE~~L>%PS
z^YC8R9aRdhXWl;G+xzSyH;q4=O3y)8??mYaDRE_Oo>7lMZ{A=Y$ONcGyMW}9CBlqK
zLfF-3<2#sQK;rt1Jf?1EDRF_J6x>P4NA3RTp=uu}j{5G+BuYKm0R>)Mw<<imH8<#8
zU$p@ku*xPjFdDFOc$nRKM?X7xZDw@wtpjfAF*J~v{D>IqSPgpEcVQZTof1b88v6Fh
z4lnM-ldLsikxO$^M<dz5D1#5Bg|Hw4O~(GO3|Nm$Jx0#RI+#q?T0_Qr`@dGqXz*Xp
z*L%0Db9$YViCpyujA0vNl)TYa=x2lybCV<obGEa$Ypw!~X-fRHW&0n0WN{<nzRwLO
z<|fL2uWk%EBt6tI<}8WOR#JGxOmfPBcF1E#27HHAQn}D&9{K8k{&+c|S=;Js;xX;U
zboH068_b&2Yp3f7>{u4skI$Y9eJuAOHjm-ucRgzFNmGzbt+mNBv)Z{yKClnpi3uXR
zFKJow6Bj`4i5>pUtf)8l`IIa^4hk?AUTH<EPHDW3<<bn$6HIxQWSNiIq+_H$BB54;
z_Oj)bvmo`NIH7_hc|>mMn?wSqQio(kb#~0?el+Io`zMKnD-RkAt?4`#(EwGn+mmmE
z^RlK0BPTGMRnhCMhV#aqVu+Sx*D~ogr3IZ|**IM*l^S~MM+M%3zBhC?dVI{!hpXU<
zOUhA`>MO-QHvAICJmgmZ`Pl>38741(#~~s!ZgJR&@#`m5)Xm_$zpG#(W*)Ca;4lL^
zRn3*yZS$VpNlsffN-C`jgj()IwPih3Ofy$EL(@Ez_t_ODVb;|$$Ay{nL2sbo6jna#
zK;l<z>Q8TAGF-Xj<97ErpSZv2F@=LMY~v30noGDC(DrNn<x;=e(WDA_QyI5?rDW#{
z9@^lNsB<A`Ko1itzPJwJ<jU&95*dArP8W}kJVC)4;JRM=)O=iZ9!N1xIP;xMk@~se
zY@(2~I?G&*tNW=NU6Gv&Ge*>un(eSrgg77VxU0{S8e%@@3t6WR^Lw$Zsu8%_FS19U
zeU3U1VWW?Dsl|rSva8u-*m+s;l%?br3^N`%pet39afK;%?gN@+2;@BDRqPA52Wl#C
zIPViQxUT7dON5DSw=AhZQ#7e4zN1)$0(tjwT&@@>ey-O?Z|{hGD&5}2n6-Srl|gA`
z>MDnxC}h)&Qb+m}(^0aqp+g$3)X){bu^BJ#&_{yhC_xhbj(-yy40!%?b-Qna-g#{4
zXHx?~TJ)3}H%ONB7$_rjDcRIR==osblRI@fK{-aMqTD4V$vMQtg`Owz$}gxoC3%2m
zEbV$vmpRc4%F9<%k&aoRVmD6J0x;uwk<68KX1QrPxN*BiRhITTEKv;3($$g0Am~Ep
zs{g7B-9q#{nPO49`<fbV#=~pYbkWM$E=l+hM_3LB=<FMK7TMtLE&6EIAX};4Ymx?V
zq&ruL&!0(kJ>hcOr*qFzjJfO047H@Qj6N;=lC3UHcAX8~Q$rw1mFj)GW<dafq|4hE
zsagG{laV}GZkW@lAKNV8(GBs1+#%naa2OwrsGqQ24(vTgeAu6kN2rPQDVc&dBE(c5
zMq_P5{r0<}P9Uro5~&J0QU-C3dn*o~db}9OE3W)@ZF`ogOZ=!<R>u4(+{nJ8CcboU
zGeeD?379K+J{iX4tsD8`{GuT3drHq}@MoPQTDs?2Hb(M3Ch1I@@M4+s^A_J9a^cE3
zxvW8|rL&x!=I?3=c5UYx1$@j)5>(GNDh_VZrIyxIgbc`O>x0b<XqvNs3}*71&m0D=
zl2mtKsGzGyRSYH>7I(N8i+&qcHG8@L^<+t}C^#=S_9zxKE%5<|0w`NC)RG>xJyKpN
z{uWQei%lMv{oF<%8Gb|LdC8D8zQkk~@0k<xEE=+qxY1oHDN1Eq<4|_`maR*kDeG5D
z@p8v-FUrp9j!hgH{H<3qi9>k*GYQe2EeYPQfZ}M8+<ZALn{F*-{{Glk8;(z%?#t8N
zPq%l{1TD<6MMV{z{7~|7g+3IN8)m~3NPO3uP*b6cVv=3om<8`JsrvcDm3wJIU^Ub0
zeR!ito2xk;>s|obeH;j~DZw_kUoh<mXF#Q<%!D0zQyl-Lf4X_IqhAC=>#pmmcD;~w
z_e21$bt~Oy9Q8dpx%x+`FP<z|4V#J9p?2FI-R|>7pPw6i7Pg(lP}sO_SP)!a2bGa#
zjqyNU=1%_F-r9!)MrSOhb-377r-p0F*r!?)o%YvC)eyCp0U~Vtjq8Q|&)>rbT-_4&
z4$x*+n~5Kxaq8XcbCpuYV($;cw#eU>rt*g28RKuB;v{)&Dk2_fu^6BVWf-?V>31P5
zOw1a_m~yoZ4x+^tR+R{RipET&XF2+^8J{4w&4lH^k-P-XRr_wZY2K{s_#5N7x@Fd<
zul41bgL!U!Ic6$8PrgSd?oeU#`ququ?%`drE}@BAa6cG5{t0*9+C=zdutpI)*yW5x
z<S@DjNKR&pWAxnT%a6=tG9L+IIc(68iQM-|rhD)}X<e=s`OU@8q?1=IVTmVlP%!mU
zfBEg&-ox2wxJUZ(^iX(_RfWkb@+hX-n>Xn_D<Tqggvq*tAGzW{1M~nAZD|J$eKnPg
zEKOeeLTS{?q`VW(7ZV*~`#HisKb{IE(F(|Q4W7H7qh3h28CSe4f?6Q^<V21KIT4m&
zyo=gpqj?g9a3YD})Xf-2sLBQO`vIT0`kyDrGHE@z2Tzi-0v<QI1XWTWc{pQE>2<vn
zq8bp7yms7KGaoArIU`fe+^DW(NJ!cLW`E*!jy6NarR%IEj-#2qwubVA70ci}py|-n
z#!r6#;kW#Ip!updHZ)T2-f{VL)cQYQki2xB9lX9&+$e9V3V99vf*v+4w<L4*`Ne#-
ziu7n^89SU5<9S60aleu|tlx=Y!_k-Hni4$J=bv+IcJO|jV!^meZB?y$LK(NBVgho>
zrX0QY90Ui?k9v8#pC9*2;zcI*2-W|XkFg)_Cu};N9(SvdF4D@&Wh$d0fA&UK$H{wB
zd08p7Xr!d<%ax)e%gHz-ZaLs*DIcBqcWi;h_FlMafY-Kec?CO0=M+X=tw<f2(7P|8
z(dk-SCph>T)%m5hw7ufn1&6_s8gEb;5ZS`|xxoBX#n=h6%o~{@D!O4jUyWxoI^R0k
zk`W~q+0~vanU>rIy-RQV6vd{EKsC1Nn_@cEbP~&|<>VJ^$$7w(U)}^aY&H`w<8c~Z
zW@o_z^QYe9irpjD$<|Xgc$M28o`(@gptV<rnR2gk=OFX5S)qhMpi0)H*n;r5vcL$2
zv<QyRqA1~w%9hU9kI3fa$RKUvr$ZPoWQracVA9x%P0X|E@}*idj+zM*;(sT)&7h!y
z9@|F(+09c8jyi_$4%|Zs=Y%^G&QWb~od`4GH3lpW!uPp|`%OOjb9gIr#!{Uug(2F9
zzeXnee{E43(Mc=)X0wa-z~=x><D|(siKuII{zv6NoAag5qFM1W;DTxErH9CPR4a2X
z91fm#26M(SX|pHlJ<DZxJ#t$2J(7x`+(4OE67>l#+a=)i_-fSxUAA<jC*`Aq2-Y>j
z<=-*VJ6fus!-t}eB)@nKor6{Oih_n2UrC_IJGg!n^(GA)!YVD)GwnL>WN{3K#**zm
z?tOF0t|Tv8dwgz=Ea6-RWb;J!Hx?gmU%UZSg+i&>(xS{()N?ej%tY~wS$W6>=Ti1>
zV9C(lYbG);rkNKDnL{Jv`3LwOPk^)VP7MT3A6t8Tj8DuXq0FS%hOSHtiJuw*-t|T2
zJW&Yhk0Ta8-j`Q9PwfM+ed4h8bIyOMGK4XiO{QAU67?Rv1%#KCjEor~pAhefQawKv
ziX9j+Do;!;;Z0pJeAT~%X_BTBb&iu}6kqfuUIJe;It}L>qH`|Nv=+3|SW@%={`{@;
zcbb_XM8QG@Hz&o_^=8By`s;+#7Uc(Si~B1j^J2DH#h*TvKb=>eAhyD-P?0}ibQD(E
zB{h;+-nf43T~}4$JTA(n5&x3EfMcO8YJ%!$v=%jo(cOLhLEGto(`|)F&#eFH+`*)|
zHI`m;15M$3eD3$lrn@+KHLdjP`0%2Yq*J%RPQ#pd)jDWAfsM6Z_>*&X=3uHW1y3`c
zy$R~erqDXFFV==Y`;}D>=SiMjhNMwrTOjhSe}{#FgOX``SxcszWkoU-@(iw3{-ha%
znnq~+u*`?MNyCdEXk$zJ%)_GBRNVYI8YkX__D3v@=_6enwP3aTf#OH!58&4;Wi%9^
z1fW+1v9cP5@@rk`vLS!Y!}I&0ybE7{j{fA+^=dahPDuSs!13Zc;%0Vf!os;cyIedU
z!At<nPqB+_v(9X_K<64lH`DijHl7-r;>1I#zKY*}Jcj3qFD+^OtGq63QkupUXJBdR
ztr?m}6bYa}HJneKE}ZVsJ6`x(4)oU^R{czT)2&1#Z?~|Xh7;9eO5v@%?OImI=z6#i
zKP?om{8AJ1vubVkSFq&cGvfRX!8{*}O_Cv2i>pN;_nikAwhdETCCHwjqA$&@_r`C`
zA)owl$^~ll^OSZ!(s-3ARR+@31*q>3oo_X%JRQMVajU0%zca5VBHuj<f2QNDEv@^b
zb9QrVUt7(~D+k%2Zlv*>VcTgE9=$LWQqhBg5$lUkj7A%cE)I8HH%u;mrR11&G!q}^
zmliuv^e}cLzjT@BoM(r1uz3H$(ldqC_%W~k9A#!ZmtS<Lil4Q_A@*a@*KZ;w#SoEJ
z+lMJvf;Z&$?U|}rd-$Bv@caoSmS1a)BhSD>7ioH9ed-;(6152rrQ|Cf1)_lK+slAD
z)^!0^umIUTA&bHXPi5ajdas`+;>nc9YsOidHbq_B#s(456rEzPbI*NjgdjlUI|89P
zy-DXU`wSoM>Z&n~rwrK49pCuJ7*rj8A&-+jXh27=02YC>OqWWO;Z{-Mqv7-NrkKt+
zPfa_R-i#6`HFRuc_A@^=W3U8MTOl^=Sy|IfL3osOxvlSZZ<qDJ^gBv4-d&fQg3wt|
zcld`YQnGji1zAO$Ocp1nib8=X?^V*stf9BBUtrz{pRP6Xe^X38u%YXJ?7lc6d#H0-
zPhB-WwQC7VW(_U7g_{t1);D}Ipz&jOC~jg}ogdTl{*GuL`DLFxJzx{HA7#4zT`0h8
z%HO=0D$YG6WcKkH)`uc>OXn0=mjv43p>FwGwI%da&Ul8;i3AZ?P7FTo;`)bN%CXp|
z4hb9tG_KbRW!Tx(Es1TqQ*smW>1#c^6D<VR?be@T*!>UV?HJsJ+3=i@jc}`{-{zC#
zV!t9skLj$Mjfufpg#$<yZ)FkWqyWKxHqbz5k^(9bG-Lp31Rn>$2@VAE@%`8PkLS@o
z3To!0LH1sjUM;;^4dUYqZaN^K%BP&ROoa?-J~9;^->?kLoH%hnU!ZD1mM@Aa%Xo&j
z0<wz4m_sd5c}CgAhD~RDz-H5ha$aE=du|?YuI6+tQqK|2!QyfJF{QpqXvm9E-7hZY
z8KaYr6Fd*P-m!;oRQojHA(?*0o9b)nUm{ejmdY3@ABl#EBfKf8B^)GKrQ{heq^?fT
z1EKPYmBCX_O$SFUTx+XmlBN?VQ<+C>%D<aXA3=IB7EQo3uS<HyK9QNMQ+gybTa^TF
z;C|Z}taw>4g5j*<@`mZE;6)i^l6LWvEQFkjlL_9*F>vJXtzXt@2(@Bf&SX*ac~euI
z!1of|gZ@HVUPMaejXjsb`y{fg@KhxgB6Y?Nl{f15$)p3-*g~@Xp9-`2<;6S1*v8<h
zYQB8jpj4DKhi+cH%pvlm-pzPZ#oW5up0bR-h&Dnw{F{3HP$g?IhUAdG)nWX`YnT_a
zO^-Fa#4F-sp72!DX{!V%P=SSGCRbCK#m?lzO~^?%$zdv+TikGpl{fnCw8?XG2jZHx
zLJViPM^*tQ#tNl#(aqM6k)ek(eROkx<Ym2QK?8NA15c>Pgm_4Ve(sUk5IcHa*xBr?
zdp%ZfGD?YRF-yr4!hhaB#pk_5sJoP-G$5x02RhOVUP*R!^f|<O(0VbMnRy$R7kGvq
z2p2YfZ5yo(RT0)fG%;`@yGg?vgx{4$XTS#qM0hW&N59qWXu5)U@j2cxrf}>5+mgE5
zvuRv$PnPiXY@2SK2`P3(-$kcVE<CyD6%9Juag4IH!KkVuJ<I8mS@V)>v9f(9UBM#(
zhZf7|EADO|vN&D!^$@uh^Tbz2h$=bD-&V_gLv!*&r%*qzdSpcTF?0uI1BKZqM3&Ou
z=mDP?q&h(|zVN7Fmh5T8hq<SpOy9nPJ<DN<ZDK6-B|hrw6)?0Ss3o}JrgjgV5pgMT
z7<v;smBoQBNj^V~tKea3T0@eTWV^kT1uu;95DOFgu*=Z*j1~J=I$mCLPuzpAUvp`0
z2{fjv<ymdTsOc3rn!lxON2k!Vwn>&3<6~-5ex(F23{p<eLBwzv_vYzS>*^l?$XiAO
zW(%1%zF~f)$RP9;S`;4j-O2L$K_Xe&gOZGHtz(-N;rkkIYFS`jXnrazc7MFGl?CoF
zHc6|2z>qhDa0HS?Xq?UDu5*&~VHORq?2%XC*pE$rOKYtZgA6ehC1KVye}6J>JiZ1s
zt5=EM;}~<Q@i^iw3>tniDGB?wtI@bWpka}EO1Dj+;_hg(t7QNBfYQ###4=nNJEykq
z_6F}&)XqV`muS{0f*8X`@+maQleqB0&%F40ww2JaTehFWJ*m|rQ;uW_G8^AqL!sRI
zX<wOldaek9e%eb#=K;kZiU!MqLhD<-4R`df-rO9B9m20+1MHMf-+ZjgMA@Fc2tl^L
zdZZP@a^R$gk)~}RHg(S`_)$sT?bpi{wF8BRdg}Qz4MW(bSNx-*A0PLr8RjFnnH2d2
z0>xf9l*kP88TtBz%P3azvDS-MF*}L_9PLcgzi8&xuW2fN&Vd849|?FP)~Eq12re;z
zQx%LBfQO1Ol12VmNe|#bzGJlmupwmF0S5>g2Y_=`E(ai%7_q?&xcv}`ywzp}bf8u_
zmH-~1V*sHb7#M_zt_6@H3Mv7#SUg<FHc&iJFk++<0K|fF!T5MUy!^lK$Pf>z0QBe}
zD6%>RQBsE-pn<%{f^mWQ_&~h>7(j-IszT1e%f$!$_Z(!1p5GwY?@m*E{E&Z6gjx-t
zN0Np@VSEVYY9t*VE*K9l1jdgjs{wH1ASdJk0U<od7rxubdoo@=5El$tHUNe(*ty!+
z=;3fXo4!IgRs$Z81Nr&6KoH~w{`XG~M&_mnU_F2YAzz7<0;nE9gGen05F=9R0gtJm
zVB`Y%f&WHE&f{WfZ^y<3Lpam}sA(WTAQvw`KZqanZ;V%#E~Z@Kl4=V7K%fUB>4Etm
z5D?@K1ZgKDTO&@%f8gLCdqQ!6K_Cbiib!h!JV3bA1ITHS0Hg?b!T+9FMC9Kcxp?`i
zel!4V0gOOi6C-0&Qy`}?$P~s21e%&~@*poxV=yldFU;(fiLnU`@umq-^MAwCZw5%>
z0QuEHJOaEB0bWFYGXVJC_v_7o(Er;^@ht$E{}bkiRshrg39(AH6(EO-3FHSM)y|7Z
zY6sB#=cc|LU<K!e;rw3vKQ9KP$?-xM%ozR&<Ap$h$hKj>F9y4R!jOHcAV{tL0YlCV
zhW-UZc0WgU?D}IY4?o}U?q&ZCgChq+pm%^s7~kI$LSVn!nf>=*BpyHbFTzkBF!(MW
z^nWl21%mk*;CCj3g1~<<gM1x%XC*vH$nR!te=-Awf<S-4`2GhB_W#C$|1E0dH=)0Y
zAQPoOCj|2FBUOT!>I5*u|DKo+8Djp#=K&*igKYNp2cvv2{=X!Iw0xwe-NA$K@ZRMK
z3_?2PKk(rHu?Ze13@OVygTcQ8-W?cHtFXK30`q`>_s{!-K_rR)A#q;NA9$L`A-sHG
z$Q=XaL3W_KYbVHlcaXoN3x@LEwH+W24-8S#1t5U~?+Oz66ED&;?(hlW=ew(Mei+~1
zEJ47?u=(d$elQ4fN4d!5Ano}#9?~lR?QlpS^v{L=UN=&$cg>H7m;W!*MLHbxE@3b-
z^!~*(58wYYNu)*o!z+0CkZQQYH80Y3{(>QQl)Gla3qz{^?pPS`pR4=t#UTZAmq8@c
zaM)c@1HpVqZ~aq*VC4RCmoSVU8591(1OM*!`1|^gRACU{U#dfvoc@dMf7v$DSN{%A
z$UX9|_<3Q-8ofJ2cwrFO-!Q(v9E}$SgZ{DL-||NS{}we;3U|edl+0hwf)w;$&d1Bo
z1N=*M{6NTE2EoV{_3*o%i|pQstknHeguKYz`wy;vGyOja|D$)~@4^2OKXQBi!{C1Z
zh-CWTDu(|D5$Pm<A@cG=pm+7ji`-i7t`5wLbf`N_^C1oRZV2M#N9yhmJf!@QK)$=8
z;YGU6T_Q*Z|MG2QEd9$BkqY@c5c5L+5<fC2f<fSaaD&XpkkYwJm=^;2-KF&R^&e>=
z3IFBq$SC(0VPuZ<m-R#Wp#L#y_`i00Bw?f@-ywpG*MF~$=YJ4EW}SD$k8ECwG{d{|
z@$lZ=J>W>fyx_Yl2J^xG;u?Y^e3wB8>~ASRkz?;l3ku_h-8FQ+-xho~E8s&WMRx}y
z%QOD;S)?BL_(6BK6r}vXe+Ma~-tS5QhD>$;V}$U3Wd$&P=<mL*f9Mz)^ZxB7|Is@?
zavQumAwNIQU1=dVF(}U+>j&}xk&hjJ(f}f}GQQuva{rq!auY@J_$Q19420ax5P85L
zWJtP;2ZsF>^}xvB_@5R3Yr)9)21Kfa_z%KBATsGe5Do)qQF&nq&S3z9zBCk>aY%}T
zLDKv%DM=}i)Kf5&4=fHrhIKHHI8a0g{QrlchlA|Z>+E9W<nr3d)a-ZvRb<^D4il4<
Ik~Gf$2gEILBme*a

diff --git a/src/plugins/e-acsl/doc/memory_model/article.tex b/src/plugins/e-acsl/doc/memory_model/article.tex
index 17c22b46e5e..a841f62e1e0 100644
--- a/src/plugins/e-acsl/doc/memory_model/article.tex
+++ b/src/plugins/e-acsl/doc/memory_model/article.tex
@@ -417,20 +417,14 @@ local variables or global variables.
 
 \begin{figure}[h]
   \begin{center}
-
-
-    %\tikz[grow=right,level 2/.style={sibling distance=1em},level distance=3cm]
-    %\node {0010 ****}
-    %child { node {0010 0111} }
-    %child { node {0010 1001} };
     \begin{tikzpicture}
       \node at (-3,0) {
 \begin{lstlisting}
 { // begin of scope of v
   T v;
-  §\highl{$storeBlock (v, sizeof (T))$}§
+  §\highl{$storeBlock (v, sizeof (T));$}§
   ...
-  §\highl{$deleteBlock (v)$}§
+  §\highl{$deleteBlock (v);$}§
 } // end of scope of v
 \end{lstlisting}};
 
@@ -442,7 +436,7 @@ local variables or global variables.
       \draw[->] (0,-1) -- (1, -1);
     \end{tikzpicture}
   \end{center}
-  \caption{store and delete block}
+  \caption{$storeBlock$ and $deleteblock$}
 \end{figure}
 
 
@@ -458,6 +452,31 @@ local variables or global variables.
 These functions have to be used instead of $malloc$, $realloc$, $calloc$ and
 $free$ from the standard library.
 
+
+
+\begin{figure}[h]
+  \begin{center}
+    \begin{tikzpicture}
+      \node at (-3,0) {
+\begin{lstlisting}
+  T* v;
+  v = §\highl{$malloc (sizeof (N));$}§
+  ...
+  §\highl{$free (v);$}§
+\end{lstlisting}};
+
+      \path[draw, fill=gray!20] (3,-1.5)--(4,1.5)--(5,-1.5)--cycle;
+      \node at (4,-0.5) {{\em bittree}};
+      \node at (1.9,0.3) {$add$};
+      \draw[->] (1.5,0) -- (2.5, 0);
+      \node at (1.9,-.7) {$remove$};
+      \draw[->] (1.5,-1) -- (2.5, -1);
+    \end{tikzpicture}
+  \end{center}
+  \caption{$malloc$ and $free$}
+\end{figure}
+
+
 %\begin{lstlisting}[caption=Dynamic allocation functions]
 %void * _malloc(size_t size);
 %void * _realloc(void * ptr, size_t size);
@@ -476,6 +495,25 @@ It is designed to avoid multiple calls to $initialize$ whenever it is
 possible and improves efficiency of the instrumented program.
 
 
+\begin{figure}[h]
+  \begin{center}
+    \begin{tikzpicture}
+      \node at (-3,0) {
+\begin{lstlisting}
+  v = (T)x;
+  §\highl{$initialize (v, sizeof (T));$}§
+\end{lstlisting}};
+
+      \path[draw, fill=gray!20] (3,-1.5)--(4,1.5)--(5,-1.5)--cycle;
+      \node at (4,-0.5) {{\em bittree}};
+      \node at (1.9,0) {$find$};
+      \draw[->] (1.5,-0.3) -- (2.5,-0.3);
+    \end{tikzpicture}
+  \end{center}
+  \caption{$initialize$}
+\end{figure}
+
+
 %\begin{lstlisting}[caption=Initialization functions]
 %void _initialize(void * ptr, size_t size);
 %void _full_init(void * ptr);
@@ -508,6 +546,25 @@ $initialized(ptr, size)$ returns 1 if the $size$ first bytes starting from
 $ptr$ are initialized, 0 otherwise.
 
 
+\begin{figure}[h]
+  \begin{center}
+    \begin{tikzpicture}
+      \node at (-3,0) {
+\begin{lstlisting}
+  //@ assert §${\tt \backslash valid(p+i)}$§;
+  §\highl{$assert (valid (p+i));$}§
+\end{lstlisting}};
+
+      \path[draw, fill=gray!20] (3,-1.5)--(4,1.5)--(5,-1.5)--cycle;
+      \node at (4,-0.5) {{\em bittree}};
+      \node at (1.9,0) {$find$};
+      \draw[<->] (1.5,-0.3) -- (2.5,-0.3);
+    \end{tikzpicture}
+  \end{center}
+  \caption{$valid$ assertion checking}
+\end{figure}
+
+
 %\section{Instrumentation}
 %\label{section:instru}
 
@@ -619,12 +676,13 @@ $ptr$ are initialized, 0 otherwise.
   \centering
   \begin{tabular}{|c|c|c|c|c|c|c|}
     \hline
-    & alarms & $\tau_{exec}$ & mutants & mutation & test cases
-    & assert violations \\
+    & alarms & time & test cases & mutants & mutants killed \\
+    \hline
+    $p_1$ & 5 & 22s & 27 & 2 & 2 \\ % sorted
     \hline
-    $p_1$ & 19 & 63s & 6 & pointer arith. & 57 & 156/186 (83.8 \%) \\
+    $p_2$ & 19 & 34s & 31 & 6 & 6 \\ % f
     \hline
-    $p_2$ & 8  & 28s & 2 & pointer arith. & 27 & 52/54 (96.3 \%) \\
+    $p_3$ & 25 & 32s & 20 & 11 & 11 \\ % BsearchPrecond
     \hline
   \end{tabular}
   \caption{Experimental results}
-- 
GitLab