From 868ee4c7c6c4513f0e72235547607ce48d376d23 Mon Sep 17 00:00:00 2001
From: "W. Spencer Smith" <smiths@mcmaster.ca>
Date: Wed, 21 Mar 2018 13:15:59 -0400
Subject: [PATCH] Addition of performance as a frequently implicit quality that
 should still be verified

---
 .../IntroductionToVerification.pdf            | Bin 403529 -> 405648 bytes
 .../IntroductionToVerification.tex            |  33 +++++++++++++++++-
 2 files changed, 32 insertions(+), 1 deletion(-)

diff --git a/Lectures/L29_IntroductionToVerification/IntroductionToVerification.pdf b/Lectures/L29_IntroductionToVerification/IntroductionToVerification.pdf
index 27fa7f5622f63b9de0f54f5f94057d9c9d776743..0d07c18a3ddfcd93d44d629e57429d4defa8452e 100644
GIT binary patch
delta 40740
zcmZtLV{j)=A2;gQ8{76~W81d9v29J9Y?6&_Zn&}ii*1`5n;V|J|Ic$?oT~G#=kx8F
zsj2F@x~F?|1~+~eHy=Wz&l^)JvF=Gvu-72j4=N0W0K5q+mdhq=7J7kCFsbk3Z{`Fp
zc`l<Go}A0abe8|=v7hB`<Np5XCy90sxMwa&S%?Tkga`z9iwFdS>=R;ek18(v+ZXxI
z)T*@9zYw(GJZa!UQ1mS)e<A*YBfe|NHiQd-*C}Y#w4A>}L_;Eud{p!)_iq!%856by
ze?rheA?kO+Sr1$br4Ns8wlqRQa`FQ@js#q&0Z%nMMWLEVmR>XxK@097FtjskqIalA
zWVI<PfpL<WHm}>3w3o6Sm0fOCMYyk|7lTB|Jlhk)WNpFz7QtOSs9_W{XvfcCmvGcy
zTxdANq6ueePeT29pDhndt~?I%b#6;l8cr-VJKgmkQ=J+Ax-xYqcerkZ{Teaen;t?)
zOB+^D0tiStpCS1n$I%*1_LU}_zha6Va?ga^@c0UGXS@lu;l)ypfOdyFMmMkfpY7F}
zpsC`9%sh-i*S(#Gb8_KxuFO$61|*%Iq$@lEzH(P`S1a$G2ktIuW5SSpr0v*5p1YdN
z+ZW5L8zwviP?KFN#cL%<72*}NqMVUsR%uiska9q&<+7cMNphP|1$~k_^VkBjC$xQi
zb$kUGrRSEo(z9cv$2DqpkZg4Je*E@KM&x0DOw<7sgo^}!3T9iok8}>b#zgqmbu_-`
zmJ{>Ad@;HT>dxh$BaJycX+KDpQ`ThY<+&grRa~MF@&GJj2!9(Yr*VbegP5TfLre|Q
z;~qfgi<3AHOx#e@$O)oBO->Z>Y6es4`>n7eL&uGhi@t$dT_wwM!<riChqPZt_SHGS
zn~M)i_l+pf%h#KYAfl4BF@ss~D^vy6Ot@MewvPt2q^o*G;A&y`!gfARm^2w&k2t=1
zM{l{X2HAA4=x^s)1<E=Mv%;54)2c&B{%rvFm8!pRLH*=FKeB*j1x74PWdyyLU2m**
zLvC48^6=UgY7N!Fi9sS5$>oBRwF1^S)Ay`dm0|@t*nrlAAt(#aGq+o&BPc!w?p78f
z_8|M094j(~Q9)f$42btqgA5l-6iLER58cE~A#!w<SAE`x&$@VJ5TQv=wz}MDE)dA^
zEdDdKn!DmDd@eyMN>^tYq&?VM08NFIJ&ZF5$1LafLsjO6Jz^<>o;)?4YOkL6tEZ;@
zD98$Kx{SBK;R~B`d+APYurI=ta_vQO@Rt&HLoSutUz8~?=D+=(mo@)h)7z>(c^6^3
zUkZ|G9`p)nrq8~PWj!3rc(cXjTE+vYM#=RwgUAD$76aNjsB$s}D4T6EWw~X$ZSAA6
ztJ=Y2Y>ni#W6(cy=bobG*vJDBzw=E*9?4-Bbo873zIR6?NLHi{vr$8e(sl^(Yn4r(
zbJ_HJ-VF#_rAy@|)A^P1imB#7lp)Fs=@LD$jCT6I2Gvb@1d&dks9U^%bD<09T$oB|
zo`GpL=$4Jz45uKKw-p6B4rB1TuR5+*(~=-~Ib4V?DD|U}GZAE!I%h|eE+FCQwUArm
zE!({&x6z#B7UxA4mlvQ)ZE#S2rDdz1v3Uy8XD~H9)QHHok+t3M?k8%Q_R_qh<04t0
zuw+@Shsc@YB5@1P3Ah7Y{?P?aK}pC*w>y7xUB5n=H<=3e89E4-W!aD=77LzD$VJ|}
z^<2)@_}-rpD>Yy4@=LLQk+<vL+9L5j5}6AOI09`|=VLl)3rZyoey{ZYk=e#CtCVfz
zcm+xvzdJo_?R3}=+VI#9TGUTWbBDHM_!E8!-%7KS8<=Nxm8Zh5=(z-3*Zhi!aPu28
zfR#yk{}uAC5Nex{ggHiWgl7hNt=$hafuvu}h(`UR-;=DO9e%A(yWZdw!MO3()C6bb
zG%e(=s2I0>Fi}p4lgcYh@$>f?ed?O3Q(#I3TOoT(YhNrbfu#cBv0juu2sTNld%M(+
zyReLpyRAFh07+^~hcMfiaM1VprRjwympGTQ<%2iz=9~z+ew01?3_OYqskckM+K=((
zXwuGykFbCw8xY7c*xDLcZ&>$w^ORPio*!2OKRw^S^@fX$!1<wTL7ZHu`v^VujOHy?
zqqgxECbIx3Nf-h%ZCwHq2b?vHOdgWHg-8-|0vefiUul-WCueU;i?$hWF-ZghBMn~u
zUnkC%f1Su-kj>v(+QPj{XYPft{uF@!S2tDtS7-m<O?X-wRUwa{k$L~#8T5C$UcZoZ
zl~jNGuTzKi|NA7mv^Q-?4x|WiR*3+9;+~ExTIn<a9Y`7gz~{&UEGiXB6^dd^{|X)L
z<?D{0kTFVNf7)f&zIm@b+%MnER&ImXY6(RcI6npmmql6BV<81_jT-J|pDhG4D9fRE
zct4(*y``CkuiAeZu-ux-uOl<s@iU*a;Utn7fM`89_;`CT&ogtoif-ok9@8JP4|||G
z%q<6gqJsm3E>zC6p-D5a5RC<2hG9@;LQ04`F)>nuqik=Vso`Lv7|dN_TD@bzooYD3
zCn1koF=Bg<@iY4#Hvt1PKFw{&dTyk(fHm|G>VySCQZrcb@jZAD{U&S>Hheq0iOjFf
zpUU^b#@{F~59#5v;MzLypvin!W)((6d<(6$Kp21sk^{9QDawUxD6O6H26={X721FV
z1Z{p8s(yZRw~sG}sYG1kTyFEjD2+4&n^|4H0ta@g1>9&37Yn9?V^5fJezh_p!DIq8
zTHSn@aLQ8!I0Q63X4i+pOzheWraeg0%4}tyRT@zgOeUOGtJYHrfAR~S*gV+I$8JPH
zawxz~SY>XV8`^wC;jL@&S_e=w-Cf{gf!Kc?(&Ky!#a0-AlZ&VN*3G3V?+i=TFOJ;E
zYU|N)&hhJSept2Qx}e)2{!>p&Al@Pv%!P5*TOgLu20OX8!}!QMoeWx?z70nvrK+}%
zXRB5HhR#zD9Cd>jvwwN9Q2|d$N#J+sPEQ~nH#olz{l&Nu0f;hmF^|AQXAafqLbAsC
z#BAI#EEh?ILQ*h&)t;mO%zWk7Kwia@5-i~r{b8_>r++G~8O+aspyn$44tvx#)2j0c
z;$6#{Tuo+$bl$1Ob82`QKG#$OcDWH68iCI}rR%Yt$WP({ASGgQ&xp!I>Ed&#5O{~V
z$A|`eccUXvKeY*K$jMx6?SyVT^`HBpF>*)@i$5h^0Hl+r)Q~gM$fCvy<A(cnG1;Di
zyVT{9d$FW@+fjkvv~nmlS*(#%rS@4-Ylft)UEM;xzg=8x!;$F9>w6`?FsoZ)4gu1t
z@ztw(#%+)7aXq}#HC^;f^^~0&K$7>=+$%#@`*aE>WMpM-rEFA@Fk6&}R~$Xcb?P`|
z3$Y1x^K`dh!wA|tG7m-N^up4E4r9fe54lxEm!AN}#4pbyg#qCaHdDoh6^RA064CV`
z+yuh$m9AVtM$z;)ELvZoF1?ub;GxL#uW!1kXto>%vnOfPgkxf|zoEBv0dN>yjW&Z(
zq$YR)*aFTeDKc3)$>T*-f7NXPP6Z>mu;1PD{(dyCFN&Ve$VeL7)wH7lq+1X26(QL)
zZFMg?JdR*D9&TIaNyu|;(hSS)$VD?HKYrHuI(0r0_Yt6zo4J+e*uO*~Nmpp*m<+k#
zxZXDi;@N*S`9ed{r+gfqLmku3;*%W%gR7by<AXc5Z^qu6xM#M|pIDtV+ic+m0Azh!
zM61JT!3K~?$jU=Xa=iRXt0zKa^$A-43BzIdPZ;k1G4!7>h-pEFko5mwW?BsY4>Njx
z7H0~j?*Eus{U0;3<0q)8<k0}9qV^lVz3<D}!SUkN4xV;wK30~WNvv%FF8y#2v3&LF
zUn`e}bj9Hx|A!fWTqDJ;CWQ`*gVE4tBJC9~<2l!Flw$3{D(5x<ZUJ;F90I;l`z4;|
zEEhb}0q`E<Q;`JF5CHdqtcejEO#vd5l^8)R2WcXV+@>!bH6t|E^1+QgDiWsFm>I6~
z9U<h7p)FDt?36PNVbClGd)P(CXS=*-RXePiGj8K+BQ%Txc{z{p2zF%nAV#o8J0iqa
zbT^`bDEU`{g5#iGMM>H*4fJL-7l6%0)T6d2C%)@Ze7-uE1_;L8P>c~KUQ2;XSkG^j
zU=7lyh>V7c7egd#6}I>P`)D(DODt0^V11gT5T9%zZ7P!G!dNwdn#kv9Lc6gQfLI`G
zP=L;vNufY)Qi>Qvf2IKrg`hs-`_3oHXCtcC2+dcJ@I9`QbP^t%60cAj1R}C#=Q2Z5
zfDDX?xQb9k1?HS;Q>k>&*K*<xtTQf$cQabYS_ssk)Ur~?^*d2@7tkmeMX)=c4dqw{
zi7=5c@MhMkPA)2zL;r-pwDa0`%wREWd~ShRsDHs_53#?4Onq}wi#}-kO8!*p92_~Q
zIzCI8&^OnyTR7@sx%o++K0yq+FG&sv`;(js5l(iq1&Eoz1rNy{2hY;J!TXG+Tv$r?
zqH4Oc7OT8r%mn+E_~@WBv;Vv>ktuq!y=+ilwX`Jsn|umK^{4{4lvC)y-&WDePX@lA
zOt}^~cYK7nH*&2v(3!*R_5Nd~<A2Pk{KriF=k@<(27Ca>iFnvEqBfEG$4vhJWyW<k
zS}YP^j9pGZZR2Rpdgfz#a{`GUMc|wO2_Gb4FI|T_x^R26zv)+)-aVvGxZJjG+v5Yu
zk^;WAm132g?7ADk)EzV$sHw~&LV3<S!M3U?I!wfqQKevOSAvJ1#%w&J>_Zh-K4EKD
zcU|t)EZy0bMnyBiJ1zodsSWqLvNeycRD)o9?MGvYd$cn#Ca7CQW8hmZ-aAWT69bQ{
z%a+(Yh1(RC#Sa<ywSsq9qlMLicZ+r`d7C-Q39w}2xp-KnI4WOC(VJ}drCk{JUVR>G
zkqYj$@*m#M9eAt}7%Aqs9tbj|?H2sKON~yQXtn5?(DDf+@T~xiKLDMtI`uta=o&9c
z7)uFR!E*nzjQ^81mp_#O=RaL;a?VfrHuw0L)eAa0?OubtmRW8dU2+eGPAv~Ri3ir_
zz0=%vWh`la>#ytl6iuV%>^=pJ4s{?nN>|0tng`yYNLP6OCrrb0gP_p`V;IK~!#`nO
za%$FCc(ciBd~g%<YIt$ycKsIn6W{z6L5a<Gi`5p5z#v&)8rca=+LH-n^1p=;EdAHq
z(zgc^1=rlLf5Kq4RGC7uLm-w|Ix8>+z;;`I<^C`IG>4>vMASdWG>zF)GB7j^_@72C
zlGczcP)K2KOtC?O063%(W#)fzsy!q!6ymvxK1K8=M0Q##&wpv3Gb9~6;z4Dj1Qr0P
z&GFarzZBjV@(~=d9C<EN{S6#58IAG3l*k|QD-@z=0M1b0o)9uJILUvhRS;wgI3igH
z2J-aF7ir<unEz6N5XjdK;0F<(;^R=hd{(1O(V`a^vFKhSb~)Rv$^y`Hwo*Xi27#sE
zTXwN=c9!ev=YXEigD{hpWbF8hSuH(}6g{8Wgc2FrBoS?lT%AEZ`^`_|e%nG6`ZmNE
zV$rpcq+L)QYj6a``8>*leEAcCPVACqlf;3zW_v6kHz(U*7D`11z{Mh*M8L#Aa~klH
zr=_&uX&)3y9+TRS4{t4#WbAA5-+4|msMOttPPVkJWMFI0^Y=xZj#!bm*ddOp0%-T*
z<H<~rE}>$QzXpvb7LK0={v@1*Q;|g{OQ)izO(2(yp{9hV7`|8K@NrPz1QR1oi%lPB
zsz*V`vDP__P;E;Fbm{gr+nxS;6fD(@k#F#y)}KFw7~8nue66UjI&ZeD#1ke|Q{;YP
z&a5Ed{J5N+qn_`PTjUOkON|<0`MzgWZs!elC@@5TIN{1}L%O2LbUSl0$2LN5N|eZu
z<W1G2g^YQJuOV?ZP>b*VASkUN+EZ7QA?iL*X3DEm?z71RG-mKMj#pa~B}B}6QS^<q
z1dk~hXs+_6RW7QP+H&XzShB7&S(p2+ovFy*oRCqx9m4&{YyWK$u4E*C(kyqDg}dxT
zz#Mdm8B+3nWt$tf>NMlPV96mUqT+!}y=^_mUCw+hZVMwM1S8;HLWC#emUua(WX@CL
zJ?hUL^^;dR@Vuj0hNr%TtHH&Tm|{I|mvej-kWjr4tJ*E&vT0^8-<iG4*<rXEU{Cz@
zd!Mv;zbRIzjpE<v`ALyLNFNRCtMecOMaQY2cm7Aecb7Z{C(OCNqaWrzz9jjC==t36
zNw@+}>#4Mu=-rdeW#aQ+iF`g#aVQg5>+g9I68ojYzB}HHXM(|lZrsY(2d%QjMM6t4
za7>SmHax;npG{81wrL9VHm&9>)}$cuf!pzcNh1YYdu*7l$?R;@OQV#&07<fjZ(IXc
z5NP@<zYM(e(ZtJ!CHC2{yX8!kZ%{f&85jOH*3)Q2p|BvhSpK&OMF&i3>bS0R{%<R(
zmx3Du#O-}wlGN`oFF*9VM20w#Um26K?vN}gU*PYP0bye-J%yAEwLd91Q|-=W%l2h(
zAy(mW3!)D*D=uD)CuxE7Kz6YxS*}x`R}AmZR2<-4>ZJ5%C>^F@6vM*rnS$fTbj|F-
zYgx6LMw+&Fv{aXaJYe9{>DAlU=3(%B?>5ssk}8yqYS!+DYGIkU{;yC_pIwmPj!=gO
zhJsg&yQS==6b1;&A<ZNC+28<sEG~JJoXdP&JkJ8iu0PH4YtICaz^!LAk?s>EM?H#B
z2C1loNO6eOtWlWVUJgaFB+?E3?ubedFUd#V1$RHXTIb(`2R@KKf@~FR&nZE!fux`{
zxg+y^PWSK2QWeLOS(X8o%0F%<3F6t}hPAxCyeHL)rBf;EI1-)vc%(3>;ZuHa-9F5k
zil~rE%1E;PVaE%iRm4rmxc5=>N10_sQ_6`DeUU~8!tp6b+&?nES|0P+-*Cujpmv=2
zaO@e19<@TE0o2Rcy5M}~o0mE?VO`JOX20!1q_ziwqO2J<4<)~KC%xaUpZDPL)<z?A
z+T4vz6CN<X%-D^Q*Hla!CgX%{rTZCLe{P;sOdOeWgtMfqsK!|Y`P7zNqn(jkpc%I^
z|Ga!<EAwJp)t-<>K+Vpu(-a^^+mLIvAK57)`2&bq0pqXN7Xk=(n<Y?6oo;O%C3ZeL
zwgqCU$nTNq?|Nh4EMSm~Im{x-NF@#>1S7G1dCDRc>W1rwaFM5-c1ZjkmPEK|JDbVi
zZwd~OwHVc<Y}Zm6(Q3mv##dLr-4DnP^xJeJDsE8iF{-CNz2DIJjvdFRaQlqn8gBhO
z>T$u80m}xA1v->m!_715ner`lbCqxlC$58?pN`?F6=xo0*itV8{>L#9?njoMK{)Lr
z5rR;q^PXa>C%RmwMDFH|h~pP?+^BYZR#DhaGm@V|YrRcPcPtNf+XylwgtkXwR|wk;
z3CZUBtS&+!V(+0}1l`?R+>owpJeQuPmQ9O)0&M7(t2o@Rp?n)G)cqOYrB7%4`ZD@y
ztMv=GL}Mj7M?a15GYrG#mSB~m5=LL~oXGuqxK({AJU&8C$XE$8#Z5L7k<(D}Xmxub
z7VOCDF$G%fIne2Y&RR7pX53&oA`nMfCXy&+C_6Juh*PzQz%7#p=G)oNtP%&=hvpf+
zDeq6`$&DkFT#s9$c6Ff#JQA-3icQJV$pP^56LB>J^G(fY`-94@e03OEOL14^+N(Wm
zd~ID4-HnqbMCVbP@3ZTJ^>R$Pp&a?o-ykIrasK<lxg?>m!8!liWlr;wghBzHHMzpF
zTI0YB7O*oV62nLtngiElv6^6B9*6`3c^v|AB|?}6$gbkiuV!NcIpDm6(4^4l$Oj#Z
z;gmI9YLKL9cw`a95IvKo0m2u@grXpRTx(<P{<=o5)8vPE*sJ*hsj)pO2YNCACjaXv
zmmB>@dk!Ao2&(*j^q=9U$ov48Xvjh?1yu!>e#7d!KiOA;m-f|0ltJ|Z6H}5x3nPRR
zZ9X?H2zRwOgB}Kl%JCzn2Tx7KHIACHUR2Q^WLC1=(5iEeMY^`lW}eYbvm}~p@S%*P
zw{y67aCiq(Uh&$us;i;LHfnKDp|p$OBQxP)rYP^tlP<=`$he8vc!|Js5fOqJ+IJR-
zROW6OLZi%>_~f@1{o@o#<GtGgl<KEZN42ZOU4Jrx@yHSTj@XXyOPcQ^x6;YE;+_MC
z2ehJ)k`&%P^5QPG`qxF{U<WUny;10CjXEjBkIw7Z$<7P!yE9ta#5+;K(p;TxQ!vDt
ze5KanN#FI6vI+4fQ`fZ|HZbSs5XMvQibq%Fdl1z6r_yv@*tM)Z7B3{}6N?e<YwjB5
zZ}uGsMZdx~zibT<$GB8|!|+LFjq_zc<?4&PQ+Ces`zD9*$5+OgdQqn8$KE$1Z_%<e
zeQ78<aOVFcPpgrJLIvhg955loEPZH48)0{LcxBJ6O$hYJW{kEMDZ+%)lkdS{^=_**
zw;VltQs6SlgB71fiW2&yzjwmGi||`;AEMWVejhVgpkrTseH%Dll$58s{WeN@`s=vv
z*e^*VoBUH&&9af2=MyKF^&ofP{rcn1FYB@2%JDPQB9b~?g$|gp3RY$OAuL~<9&Exc
zi39q+9?po|PW?@GF#@fWf95Bi#5I+fOn&=mqO!_CyUppf&AoG$8USU@9E@H#f{7*p
zfe9}aqax2OHb@9INyqEJxsWJEKq2c)O~qzKHTXjwL|6~`2m5lT`3psaO|{Jz?p;%z
zlevk#oh-G~zY4%2BX6lawc>K7mD^7P7DLRn!99uNM<wkj%Be(3PGr?^JX6|22#f@7
z*lA7&#Bf5DV75dRTNxHg=0a_=zSS>x-h661bVt|{FNhLXp<Egc)Z{Z2%Nha(pVM+1
zv6_Hox^!F7`qpLRsO3~o#nUCn<vON;z@zJ!#4MxDZ(g89dQ-Rcy(10tU<!9oGG@Jb
zJ^1apdg@4{u9>F2)~SiUFA~OFI;6ebuuMxaMO$Tf@QpMkG#=FFQ@U((+NDHAX|vWA
zz6-utDG`qoX5(&%gN^$pP)I1ZOECAMIbJ_EmeE$>AnLU#xS0yub(svWx9vDbZ?Hpz
z+fhy;!UBkzCUiVfm@=84uRG>UUj~#}^2S^UrK08&F~t8(Nx95nC8<1<Fx==$u%IN#
zpHtotWQo4X885gfA+=G!?)c^Yvtk~LP~bCU^tOi8d(p?eI*-cbuLqvr0mI~-t+h+y
zbhlLddFEi_xqxfbkcD-X=E0@^8iJUUc2m$mSP5Xg49e7f=x%r|=EGNNzI8d1o@g4E
zoKYgVOWD<?rbgbuj(^yT%4ebN)thL*{CZK(v&S05m&cM>unS4AhY<26h}Zin-kT+R
zn&lM%9*zlea=1d(k>4}sc4GDLqD7L0FCg}rEd}>%s7Vo;j7grk?^R;s%3WL&kHT1o
z(-)vf`EW}9V*!)-kd={Qgf0_%zPkG!B_i5o6m!Y;p;s49`vFDuR6&Yh?qKHX=3@Tc
z{(mh;6B`6pX6^(u3~;toAt(kQdE0S~8FhI3FT*8ELe$yabn7<^2Dj5<1^oPrf(ytH
z)WUExL=mgc_o)?)AO-qN-3zkryQfRS*Zm|O%-&tGxIAsjXfq(OPXr&tS}vjuQpUA%
z)qd=LQ@P(}6#L>lBPyoXTh9KWmoiF<tb-jDn|z~pt}gs+_q==O_NEHlzc+e%hak_e
z2I+#_;PK}5gOu^a5ae;3(vY$mzsV;$&UK4tu&*!i(c>*j=p1?LElEToo$4%N_K4n7
zmt^YbbjgwYA~9M!?8&*Ps+vvaMFu?)1{VgVkV0)zaBTZ292rp{W%V!dL1uu9|7pY~
z&XBZlhk+n+orAJykt+mtz`ab9uIRqlx6$5`PFuP=X(}|q(cw$P6AKyfQ<eD3o0zQT
zVACGuB9QO5{2GFWHcG?$TFyhvhWJI2W`livDrCKcoFb9<`$5ZHl0^-_LvSO~yz=UA
z6BC`!6-gJUXL4~*a}6Rj0sSj49tb&_^CA=3!49fxn%?Q=4IxOtS9DfD;%oZsQi$qQ
zQn&9;Z9dpVkW3oLA+H&x{A-s;cUkZ#NZ?#1sXC)!$!jJ`r_xHChz><hl4gNEqiWnC
z<uPZMIwK~S8V2%^%sNM3sqo&KGUVxZRY&Jf`r&i>cBYl}cH5JZczzwbBZJiik;_cu
zo?n;+!+W_!nbWxv`%n6Jw%f;*t>45DhWz23=?--Mnd|ub!chPJXXLQ3kusD1Zw&GC
zBYcxLcd&G`BIV@b`X9>-z@*YTGiJ}7)^oaa<&9_JCaxPs(l6^q6WAS8^p>V%Zbs*!
z=c^~eELC30Uxn5YFFaR&n|k7K((*aTkLS@=qcO?Do*`MGoClqzs7&zslj#<08+l(I
zrRIU?bXiQCe>yK)3Ax{>rj4oS-}18yjO)K479)izVFz5F-0U?0rxAy<H&VK!ncpQ#
zgvYVQ>L?*t5=;@o%zsuVjwhFkKmEy6R!Nz1<IHg$!(fw0n7CNe{sMc>+ocl_@MSjZ
zc_NKj2=gy|p|mjBek6+%v}CzWkb>N-&Ql*LbOnM+6e3+lDLvhkSuE~XCy>St@25ty
z=T8`u-Zs6z=~OLr0ApAAGK<j}sLFoFhufwv-;375Dm4^l!pMH$@O}qk&jokL5QWUX
z%5w_8RIKh)HI>G{rqauY*&*AHXlvxhA9S`7Wb?!IA5n_g>wy8snp0=MRho+n`P^5E
zmu9=n_;St?e|GCkMcR%@PG>I3KKm0aFF2I^`IT0C3|cT|z*60q%q(zkGj`t50At-I
zZ?|2^y70FzVKQEokJ<<O=1Px-{3y#b3bF0B;vMZDm!drNby+wcPO+AhYS&*;nL<d4
zEn?iJg=o!g%xYKU^DOipT>b`JXf?xQU)HrOwMO8?t~M|`994Vk&n~!Qc231Y_s8^{
za6@A;?T9$%0r}%!83OP%XGirt_&<6wXyo=hwvoeACOUfyuMPD#QPsu3N4^^#90%|&
zku$M9>s>2+(LLwp;DPe~5zVN!MH<u~-z#hG7c}jI<X0?>{o6UqO_R1TaghIDW%S2&
zp<G5blga6LcEqNqDN&5^2zq8u+&cMy>scp9w)|3PG&R9oHR26x*x1J)@?Tr>(eh<q
z3}?ELnaJoH)1gn<e?Nv?&vn!FY2u{Nv@HnoP{agjG|JFeEdrKMA%tm6A^)0-AyAc^
zX&oidSm><m>^%SP5N9Q2VPj@Z+x?eAv#_(X{rjN|g`x!>p_K`>=VAU$3ClaIt-em4
zX~v-MfuJ1FCY5&JjswU5LL^wvsb!}c1W&dxdfA<I{`9HwgssufZ?EK;cj+1)E~*eB
zv9U3WNx6RvX0dB*jsqr5Z)@e`1hKN(roFn#lVEMd{u|_x|2djq-6+CTy%dWK0ccCN
z2L>8P$^!^+;kfjCykM9c=U{~TV93Pa$cEq^9$++le4n34L<Ue`s=}VOu7Ru!!k}63
zgD825ljDO!6MJju@awlLhQO^D@LtgL^!QsEpYR6pfr&kg8yGDlNR!kTt_W`iIe*v6
z;tPcDI}KD<JQnUbW$)0R-CYnuqo=vMTOH<iV*tiWJLEUmDXCU`G~Wo}b){J#!VK}f
zl6BPxJD384?Q#zmek`^zN<JbS7}|<XRuG{+8IuF@A5t8!P@;UY8YpFV2%b0ls{0mj
zww=5`VBFd~A77s0o@#`bkO3aZ$qB-XoIqs5CFE2vL|Z;oVGYS2Sm*E-FknOz03O7J
zK0rkFA?%soL^OkGa;<eL92oO#3x=w?EA-Ho*{01GWT0d4`yya*<dFfXcybQ;Ph#xj
zBPnbx!)?u5ag~9vMSQn!-MedRGjc33vf!r}_7d_R?4B`ZPgj$9ms$@G$Wgg>Q%E$j
z&s3e@UN8p_4-dgdEwFetumfw0!N+Lfd0-s=J}q%S4OcZJFD|JFqZdLIW@LH|0_tzX
z`96XhEO;-I1F2A+5Z0%}2q7Vut1TOIFQ%FGMc^ABuQ*cuGlAID_TU;u{xmY45Hi?n
zO%Kq6CrUlBF$<bHYx!#=H9=kQpsO#LaFUn!sUa)P?E~Sb?Zpkwn7u&=7GNj{27Kcp
z>AmXtz7V+dSq%DE*VqE}q4j=xHpg?me=~goBm+P4-i^WDxKg7i%$!8PUbbBwdZ#8G
zVE*nrfAU`dZEv3hw?---Mn`X-7L@xImQQK9AC4iPBmy&AYg1<=h$B1gL1c3I=WsgE
z5udg%F!xV?=tCxcZ=QeFXc8lZ0*oQ8AtjqVKN~$#>K>soDs@68t3GnmdJc7aI47sp
zz>EJJ+q|DSfY&<JHhhv0nRQLrkv&B)n9+W!29d7c8Od71vPs<;*$$0PLV~rof_25O
zk~IvBPJX%G4LmR68M&)rfvK(I<qjre0+aR*07I0*IWV#u>;Gbm@k#YU0Ne=wIp*4f
zu9f+a^aJB8-;N~drGEdmXAWCC`X)&T#<{v3iP1~_MBog*asW`kb?iApeb;*VNqRok
zgBEIV$Q4{$`4Rn0dT#UYQt6#5_}cnSvIfj9^MBQ|e^uL0Nz_NKPx1gbh!4qleR+UF
zy6G2_Fq<Cg0ahK@Cy?s;&hY7r_@N=3$n}cT6<iF}#&`ild~(3p{Q-pGz>kgKc+5Fx
zfW4cyIlc~&)T0)}Vp!}RvVq<`lxI2XcRtePZ^s|7{olHZvc^evNvTr-Vd*i=9>hSm
z*|G6agj@Bu=D?Av&%pR>`;WkQhqVuIvWqu1Pif!t&k>?IAZ9zEjjS3ue(+fgg>LG`
zlNHr+__K^`ko#RzESN`Ri$CHsdx0SqDE<^E)rzmmA@xk&ziRM;whm3o$vPvsAwxgf
zmbyV~3)25wJKE-q4|tzdK$dn5klG11J4dK*;dE_$?LWdQR@CCluUsT?h<6L1fo+pp
z?bT$;7mED?s1mI7-=M%sBee*T7EfOOd*zy85;pLg$2UmPKHqn6GK2e%974)Ou8~8>
ziq8#63kRln&frfU7E-On&ugO|Fkw=qc)Z)W&Y}$CG6jFDSO4GKb+F@?xNk2Omg>O{
z03}zt2if$nEIgT*$C^&xKxdROyM}!oqo2)ITKWxe9<VW=&&P0V8>P>LE87m}?FCZ-
z&$|`t=;9Wa(q=rMEc~XQ?jM&Nbm2b)s{{?^vi_2M?-bB~UG$Yu%Bg<!c^d}v6(0Rc
zErGzot;t_{_dKX)fN-jC9a#--LD(D}keT(Xb7^2cx@F1P6a9iE6vc4;#rcH7)>cdh
z^1U3;PlJx?;^5cV<qmD#LcruH`VkWPZQGo#u~l?d)@fTdl}bDnF!VyyYuhm?s~#@%
z*TncGgyUo)b`%@v!%xptad!?S?ky%+6=A5AQ$0~oIc)HpfyZvdc?Mb`LyYVyJw?VR
zcJ}X8-_T-g63wZJ?C*Ur?(r&)Nsz|Ouh|D4;s3%h{yP!#|3Q)ZNX4S&(wk!Gt`^L0
zpD>WXz3`GhF>Xh87Da8VuhKLE>6w>EU#MPr1D3h`6rXFU{xLQ~{uf4e`oJ)@NwTZs
zB44&c^BGasspj&QfUTJCLBKUO_@dcKsvh@kXdlLN?ZQ6~qb8SFND1<=9#zQ~FW@Vn
zQ;6pX@_Y=7u^qYn?R|-rWh3C8VXV}#obKg`p`FSS&B%6F(J2{x!y@BxM*NM}?zQP>
zt9JV|gI{kK^m$Pg#QIhUW9SC?h<t`!Y<A-DJa+a>jTh>)wTU@A0Ox^et|LC*Ra=q9
z=z!nw{%G*LkRQxS-dw6ad@yAWUS0;|!X4BWtFM%X5Z?QnWX#~bvGG`ZD)g*Vb<C?B
zYuSnZ4x{qOi@5&q|2UHBz-AaTycsSbsnX9)k;(p92Ioow3g59uQa#GfJWa_O7G&qn
zSVuyHO11KSIr&y~`P=<S?TT}4li4?X<42k{z^^gqB6F}?jJ1wojB%2<9rJI!w`5xi
zMBZ{)%Z2Y+4?7BsDqJL}gp&az24#5BnQL(sA$v}Of7wFcW6C{zK7TZ3%F)Y;sfi>E
zFjtRK*x#xru#!EE+?ka)vgG;TRdWcam<aO2tx+*L&fuqpZpcN=ojGT1X;9V-=&n|L
z9pmt%Vrjy7&@)Er+bmso#IFN{&@{pY^OV1ZZv==iQorkvy1=z+GI9ni@v!5aZ}`8P
z`Y=g*1FyO3lrv41?AHfhs85r!RU<9qOJq$1J{~Z!rTc1b5yiOv9c(=}fVB3N7_Z8z
zV$<hd?iF#0X3LTsW^1bA!(n3A1)3a1kn7$YrSMW2EUzq96IAkVq^AHQ41CtJDuLKH
z(x5iQ;NR`}(NXe6@6BPi&|E8D+;q&8&!3=I2FA>>f7+Cm>e2Z3V!nmn>*b4)3>`tT
zrHDd*Ga=06G7Hs8scI4WeT$XAcNNQ}h?u0)?@_7N>8$b)n}_GEDcAqCKr$z|l))pr
zFQvGG%dr&VsCFf#50nJhVXcs$vbL*oN`)>pY_ijqA#Y5c{wcG5n3|0JLR*#9B_f_~
zM)|>@T-Vq1=q?l)jQ;~q`U2C9c)R%UgVv{saP3+#gS~dDqgH$RWZshRFNbLlM|xh9
zlTCu|&EFq`jjhBg){fL}rg{U&+Qu=WG}i<xht!HXl5xJeNRqKYT;}VzOqBo$0b!~M
zhM7@ldbTV%MVcAX$zTK&LCT2ZQr2=7>Ps&UZ9J1sT%P?cf8QD(Vt>Q(xLai03;{*@
z_2#A=`kvnys`DOceCEY>#>7?Pg6pXO7X}46Pm9t?vocjHo%;OctvfHXazkObqr4s5
z6}CHQz?@Z__~$tQX802k&t`gpGaL1%3(-#pT<Zf@qEC7J77_cn(#vB<(#tuV*-S@q
zGM+;@r-;<L4WCzQVqM<p$FpZ}cC-eHw*x*c&nw}Rn{mGh3;m4^HYM<i<v1iib5Bu;
zYkX%7P|ADQ8Jkf7?P#RN7{854A*0h4|7%@BoYw05NV5(=3B>*I5TC+hG{Vv)%7j~)
z$4U)f(t7k)@`V1DXuI8c7Ca!W$OM@udSV%)qR&_=9s8&mM6mVN6t)w)f&L)7EN^!A
z);AFE7^^oPsx`~poA<rwx8Lqb_-@f?4uej{5hqs~`V=ieedyYxFG+a<zg!rkgA@_L
zDGi}zx;h9zx;2~#1(6+oWC*hi)>Y;O2JtPH4kFJ%p7fsw<w?sNDErkYhNHfw$)hQs
z7Zc|TiTm+H{Ipn7$wyLa(9ndhKI;=Hg<?nHP^Mt;#~-fTbFRTrwq-#kj?RAZk{QcY
zil6}>aLCvFtazgL@Ol`(r0J)Y0q=6itXV;tJ|qC52{Vw8tdXVG%!B{NG59`fMV^LL
zvP?0y7<V%I#uu%p@&<7g3K~#09pW6WX}7UuHG=O2P((<Hc3+XeL1b)@>!$2E3m^;q
z-g02Z)A_*E*1bQZ)UlBw+PA*2<sxgyQ4@M;<zeJx682s!k|a+~UVNT>nwi`qSNb#P
z22KHNJg>N`XioCuM90qm!BS~+_VNm3Lv^Pz8*XyPr$YHk?+4C>{EkVz!5qe_uhPXy
z;9K-LyoUHaybU37?CQs)kP{F}j34a{ag;vQns58;ilg{_xkuLvOBM&}>QgxT0f$I-
z6g#v+->S`1DIq7XYlt0#&(oizukuYa@=^jY@}sJ2%U3+T?;9&)_zCN=HNWbtOFYO9
zT3J>KV@1;wb-71Gc@($ZR(g*<>*ChAXd*te!>*BiI)m*rw5h!0Eu{82SY^G3Zj>iC
zUaaDHBOSs~PZ+~5lMA833o13FOvQLDcU(HTo%1y&v3Qz^Pw}>eHRo5ZxUbiLF_Z%o
z$)dP%D7Jo(`t(vip8FX3x*<9`mM2zz^_Uw|MozFznqyU`4oPHhaT<W~Rz}<qw<a@M
z!eOHyO<}sB0KeO6&JGJa)}G?4n|Qpv&l=UJJbvMb<x;SA2Nnh5bDXM>Ei~qC^|@cP
zA22r`r;?pb<;w`eP1dR-i63UoSRa8d840&KcV<{YXUd!JBErK^5p=QKU!fa#ziqQi
z@N967W}MA2hTG=px^l2(%<I=QSP%cKru5_05D^_E1xp<=(TX!+ESsjJWi5tSL;m(L
zj`=fJqQc0Ni~4JM2h{iGnD>dsPO#{zCL7ukFA`j%F6^&L13pMK>_#`-x`~lMe|#--
z!-VT_K`bfR>Cx}=epxlQrr%Z(RSCBvjb2-49P$TK`8o&g!G!@xKbf2^-!^Apia5*a
zqKtp9A&v%UK6Zz=k_vJ?^udjJpVa<|8KN=gY^NY1C5{ks6Y=yqZcf5^mBww0E59%I
zJ&=7J5&OM?*MKqpM=#4gqv{nI;2LQnTPR`A3tF8xDKWcPlp{ss-FSu3KJ_E4wahZ*
zy)||Wb8(H;LosLjNU;?fWNhm9O=;xfXjk*?`m-{bSS`wx)z7SQbS!B#7!ILURsL#G
zMmWUeEy|Hhkg|TrvDrX}LGN>MD_|?x81*{bXw9KTt)gH%fzLpBfRSScs5FRQE&mc2
zK5K}GDb?Hxk69qPdvqlXKxpD_^0yVmU>NwVz^6&si&w~>{2tl#+P{U+?^?KkC-+Q&
zW(e`6-jsI#R!*zrkGoOU&ELVcYY(i#16Pj+shF10%s1MEi9AB5`)&awAN5;iw)R1|
z;_p0=`moL2LZ_rVlS@(-fV7JrxP(?|maN`MDS{=Mbo8AytmacEEIH$Hw=r;VC7*@&
zBg+5C5h=2>(N@jBGOomt39kSYHmMO&b~&(QnkT@QJ@d7Zt<6WAV;a}4sEpTq&upUq
zsSP({yh+)u_+U(b>$im}f&Y_>%{e)G@9UV&QE8YKc>kMkNNL9ya66z1yfPor2g7gr
zE{>o(`Pc7LvHDkP>GPCeK8%}YX#QQ%KpIS}z*|Ka6@w|bojMh^(^5LO>kra@J&MiT
z^ZqSdk=^RfP(51n=sAR&1YaUbP#%>sDu_iiKshyPyBH=|hE>01Fsd)aSr%rpDwaU`
zCM~t^5pa!k8SB^wP}5cvMe=I<oY8Didp5H9mh?1SOI>N&a8x|5BdK*RnT6O^p;5Gb
zIo@=pozgq}j`8wG<;dJ<k6Ia_K}q0Hv|W-vDoP->tmA~$;CR9I0zDuuH3Z{5*%QVd
z+Vk5wNKoR1GfLidrsKy*%idJ8BHBlZvM}mj#W@s-ZAW2lfc&J@-LnT)gQrLH1A;j!
zRD2mPrGlXFRx1!FgW<DdSgwj^BdEBmhgi6KgBZN2?NuWIGhp_JkTbJz9b{<8R%G+x
zkl$HlUibJhs4sC$zsknoZ;hoGwA5cdRNDh-mYQBC)A=<3R8+)&#OwMsJEsEK|8mxw
znA^QsvVxfl;Op??TjpKAu+fU(_=Mc(-%kkZWP}&fkPUIejMhC8fiEj?G*>#asvYvq
zh~(DjaiS-Beyrxv=N|_%XcYyxp-c^w4Oi6<!9Ff7zCh3WO*Ki_f+JT=V{S;bAzo-G
zgry7cDd>?Ostg8KMVlVhG1@%HA*5w8h=hv)=Y!Dz-nlNQ#K15wnru#5gS7@L8d6_F
z{*?y5hJG!m_~VaPkl=dszq7ol)zxNG+0is{_Y~Uk7*pG^_A>ai4E^vYu7G!$%DfQb
zCXB)3mYc|zzK6q78%K$s$c(9-IX5!#Hf+T<Evv={DXy~OVTBHl2E5j?jS#iy^C(4g
z>&7=gq7vjoRJGu5v9B;ZDANd(p;+RWYw@O(VMeJErBHa7N&Swo28FHOVfR7?Vn1wd
zRaA}*XOWyvIx3i;_f?y`<#Ux}Z_or3dCTEQ@KybVOMeM59xaVW{=&mmPfm&kz4J2e
zTm}w85bt>i9dZtRli*GF#${GU0|}(5rOfI8jxKVW^oe9&l6e;r_GmyJSvVz@dp~2~
z&HdhaNA>W>6jC);ekfldy0O>PzO9dZ@V|IO&nJtHHu#(G==3KtCjDCrID5Ug_uEc(
z{#F}v0u~9OJ(25Qc40%GoAcva3mIXeIqw|ei(SajY5Wk~ye#wKWihSWmx*5Ijq7)T
zHxmK$)4-ODLf2|c3lqVLWKS;*IlCse+L7mtxT3=(6HVe>&psZZnY6-(k&v*owuPx<
zrg|q&7(5d}p-fSKdoHOad=uvi>%TJ=XiBG4mgWc~bmMF=4Q?G=2``1VzUi)SHiWx%
zwr>qpVxyo9yU##&8$W^R;fXlL8VUtq@Lp)7wmfA>Pi-i+dcJukpN73^m`dwUT-6~z
zervAf^k}cj?vyMb<2R|^>zo#(?o=m!Y-oAw-1=pzwyZOYNP(E)WT5bX!Gq?0)w%=h
zu*2M?9l_IpfL^a<a^u4>j&oc*dV?Zz(v<nPpzL3RB3pLly!h_JW!WLRRw^DK2M1k0
zz4;Kqb-p!5t&X?(cZzK~^h?2mYatZO`54~7g2h^4_Mg*zVS&4D<<B+FPEoe0wKP8`
zO*4MuLfX)BbafJE-Yf<r3nA~LT*pe@tsaM_HHF69nF3Hp(|oeGAzpT~?-=1s9`4lF
zAeAS>cXxCm<dk=A0e08t-^?Ds7wfx9ndJ1i6L~cCOc7!t&E%5E>11&pzoyEfO|8U{
zjKy&k)0APNXrm}DNNJz<w!4v?tyHa*OH;W$CX8Rq8ck*Ah{MZ2wwBn1guG^Bdrz~P
zyT5v3l)dl%WwHA6>N>SF?aAWIaD-+7{%y5|3tEtdAJ$->n{>*cO?K`Akcr(?osoz<
z@+EoVQ&#qpOhw|zk=5=%H@S4QrcrR4AZBpV9abBsm-!Y6RgnH7fqH4jFl^*4$ll{W
zFo}DOMmgUuE{1Si4L;3#dZYFQ?(-bKptrUJp1Hfd%8!F-%Rc_{`!8|^@zF_Ru;mVi
z@mO};U(Y|y;LiEm(f&|f12aO_`6r9*B$0ahF76%8StN|`-fihLR+S#gO&9B7@_N$d
z-I51v>*=qW)Gjs-7YrM)H4|SP$y0Yhln-&=ZPz!xsN|76@NxGwv33O17G4Ss9yvG?
zkSb=06^eXOd-)YE3wo5yFgA>O+_#MpQ+g+bF7*!?&}vv9d*x5k1XeeCL)h$_7{GIR
ztax+Gj;+TzU4KC4L*5~@4R&OZAjEWjNPassKt^AZmoyi58Iz3-j0{*l-EJ~>U_<F_
zeH&*%il*HE=GAzj4t3Kfy@HCenTOC>V+8OBh3&bY=WHKywpr0EsBcA`5(-TRqG*#Y
z>SHUrcR3lWS&q5-0+Ys39hwJXZ}0@ZkcbuaCre&1SjA7LgQy)-@1sg>SJabXmAn2Y
ze_FX`MzJqxz&qzm)Uog*<SeNd@C=slUmy1g)omLc`3}nK_(Tx9ItKa3x<sI2ZbB8V
zaX21Lb@Am@zB3lneT$?+Sx%!i;C-_w+2wz9!*7$-z}QT;0up)}9uF}B{X3fNb+OOC
zq}kQ7-ttlBN&4ERdgd8qOW=QXzdNU9`_kR=ZJ9Xyq&uQUoK|c3p~?$h5rk2;gD5<L
z_o0}3SKV~vZ1+6y!vO?8O%&UM{zvZ#fdldVO{YF*0Kepf{LC&!SUOWuuOew;kf)~C
zwOI5UHliM60RROLYt^-acgRwtp@nkCOE4wF5`jMa#44OnV)y3362Gt#4QdbI>i+Rb
zA%EVK{*FzLG!^kkC)GX>O3$#l*2QJCG6;)dTG6IwDI3g$s55Y>WLtau$Z;aP)-SmN
zs=*@4^c1i8)-5!T(!J3=wv*zsIw9{sI9vxVWW+K82^@v#94E4XnX-242sOGLjr9x7
zm4cLyA((T0H+{T{u^D53k}_oH)S?{Fd6EZutX4X=^0pjS%GD|;^PejN{>WD#oG4k6
z-RgBlp&70|JS9Kk9QQtb+tYzxchFR+&~*7ZOoE;)-WcB5_u`rU_W_o}_1;u+%O8cF
zngbT#KuA~EnccU#BQHTw-}?0+!iqM8%oXP8hY<H9R5{RxliXtO<Qdc9*%l)rUGBh^
z#(Z7-PcthOV)GTn=4uvn5+7oSd#JH5GIUW#<j9U3l+iQr$#8Y93`p%~s$uv;tQL3D
zpiC|z$g)4FB@F~T7GBdCujlx+l0zH2<H2f3K;34zLnwEg8PicvEqJqj`#?F{nMO@4
zUCQLNf&)GSY%CQgpUPRt3R8{GM5T6#Lu~ZGSCu>28G{@9p%)Kr(9^O?NKJ6;7jxN>
zG#O^%OR*HbxnZdQ*7ndyX|-PoM|XS4K+mUSU4+WzNY*GJd~PddjL>St^2Qf7)n$x*
zAdJ4Dqhpx7+YSMKTNX{vjKZKXd~GGTjdw9o7~jAG3Og%_{`T7-uJly*Y-(2H`-oX-
zl@pmaMAaSi03o{};&Y70sW{^PK?I}ONR*5+2udE)U$4j|W$ot+%v<s*mF}P{ilVCC
zC>SvHL)GrvBFa|8rtFiSoc+{sL{Oa>04^ZXh><+cbIbCR*D(d^mx9Xt_o44?0-6DZ
z`ljtwUXzbl!_9x4rYLE+VyiY!GyFPQBXyV0_9^Xmr-Oez{hLKfrwZ@u(sc}<@o4tY
zU6P5x6mbRWAXzrDnCcF^S|RQKxbX&rL&^TWH-p+5Gi51x4+X&|4#NAoWv>OR0I#g;
zH`yfpb%?dlXbD%X>s63t6L;_hjOrFo?2yP-?kY5<A!ggy9S9Nc16?EEy_PcL(`I(Y
zdxEG?%mh1PkfXOzQdA@FZB|$ZaCOvNAQyJ2r#8EkQE}jgM{$`d8uxt5oBeSsQ);o3
z@3Tit=PPI}gbsGqg)v&*uBkk}16wYf%uJrgthkmfEvBUj1iG<d5Mx6%$YU`o@J0(-
zO`r&Vuilk~U|*zO^1Pjgh8rsbc_(=%S~U15J~M+AvL*E0WU1^W?h)>(jbk=;Avfgf
z=7~h|Gi3b9k4f?GR*EKz_mY7jANTs<^=)p)#zhAVM<&(Uj{(jU^)A0k0jP{+p-oBX
z=91K<KS%bHZ3}{%iaLJ718yQ44%ee=A23)xXV!%!gZ5hTbgVZ0M?*@#=CRJX+Fvw3
zqtLW=y>AG`9%2sH1pxmW^aYu0j7(w>&0>9>XyYHp#izvrm%Q+KDfjQ|MRx@|7u|b#
zsx%56$n9trsW6!D?A*LPfPR;7<e~CiZHh4FX=o4MocVTY$H3PIpH&SfynsRI#K29s
zO7=U-TEl>z?7rN1uL=B&E1fba47z&a3mpVA4ov8m#a~U+c3E7oEwH&WqH6n&2H-R9
z={dP20}xpSdt;Xb8$nM4cBzcr#Ro$Na_7r^#?Icd^Y2cjPCHR*z)g}-qDKXu5@PD*
zIITA>dkSG?MVHCL4E<B<3i<$obr6R5$-@v6bP*oo*y)w55UMCizanT1)+7|p#-cD`
zF>05SUx+CFoGpB0n<+=R2Up+WyiIMQcMHvJ>98eV|6v>=fe;@MJ~7p{N4r0(+~^AV
zn5e8vd>6R1krcE5mea79<4Ck$-78Xd)j|d_y*6ut6VJvY;(lyu_()-EgpZN8fxmwz
zT#{l0`F_W2^EJAXjYZk}yG!A%{%p)RG1Iq&<GuS_zb+0SBRFpw$)u|yLUG}LXNWf>
zJB)i)w{x>HrJxLu89-az_}*u11fLJ0NIiXCA|?_bq~(?c$XB+IvdT~C?3me-1>-yl
zrbsBcDqe#JU1WZ3d6m7xxy4tE@3sqsHBR{qa}lf1yzpz2_NDgVPG%He)85`MgdVzZ
zy{YK1*@|an&eNDw{-QSOi9Y_?W!yo$t?sBj<WzL~x_nVs<BWu?VHu01fytI)%k6u+
zdaG8#Rw4}vh*eIQp%|gf|LE_sF4<E&=$b`m>@yH%>MFmADbRlY5$XC<(E4{bMP3=s
zg6PnGiP^q_#H};!S@pf7(FA9lFAAmhh#6&IDrZ4aP_p;w+$c^hRU^UAuPN@U`L$Os
zqb;b&7vi?0Z$yi!`du<9Jy$OkJc$LE68Ok2+H6C}z$7cy2vOM)_wjre_w}=m>aEk$
z6hzMd13Ey(zfa+VNStytlfv;)Ne2%$ZM2Tja$BcMGDgOjiEv#ZL7uRqRo4~~+v3<&
zkESmHZGXA$NfnI18F^xHahn+H>KmLgryuAfOpcGU+b#_syR<h9{b8Uhg64P#x<$a#
z3AWF2MenwdyEuRHVS{~GdxcM@kaqWSMXN3~Vuuw<&WabS%lSL8@xPK!DFZw_k)yeh
zx~@+c;bN(5#?A-FOAw5AZ1xs;GV!ftA2!ntZ{%tk4W&aDl{^xX&zlXBrqNaR(h%B>
zd3&2m+&Zt+wnPr}M_5N-Hc^hfSChipG&SUnY2Io#4w8S`V-NzR7-@$}?6|jZpy>Sz
zTZOYRG))7%HH1x^!xw|DK4S^ux8$wlQ{A<4ovUdUDD|f{ykBQ`MYXUVl%$hvozPA)
zXGLbZ;w0H;gHm~?9_JbvYzJS6E3zZ<zz`AjCJ)>61I;Bn$$LhySP}+fa)|V^H+sdj
zOz2B@okD;9$w5;xW3?#TX1zB38#W<r#0uqXSzxINeBgw<*$ysEgo<cgOUda+?1n-l
zDp9RA8aLX;y#QEi@aE{jLDbV2Y|1=_R8Bnf_udEAFXNjjmW1f0ulOrDr)rMi-$o4e
zIemb6(AJpGcOgYwFUIcb!AyiBP_~b^S?4q4o}zz^9(l|zU*Sao>ouwLLSbiRJ0fXW
zocXUn=?i7`s}IRqPwn74t}wqkk|JXoSQ>!Zi`rr`!${crB>$dWdWfP{lX^4w3Gr2j
zR`JSsU%zXy{lwj>c`vaaHFxiI&#KFKNILy7N%I2dL{7ZiSd($*CR_2u*!x}DNL#Nr
z`JaFBYT0kDqV{Nn_h0O25%zxW;t6z^eyUe;DBm#8Hfd^pACbzYQGHTG#PvMOTcqWq
zNCFfgdjG`NdjybMVBS1<E0h%Jc+;10&0y)2VqC0qp?zoCjjvZoY|ftWg9a}Z$6_+n
zfm7pQNWPN;>=wf`U`ZL*Z9V>Jdb$_k0y}@}?KGo3PxRpTcY#OO2CF{YUHV&;U(hEJ
z=G_{3-Me0W>iO}M;=J+Y>B7++PVQUpN5b?>wUdAf0>M`!LH#l^p=RTc1&q$)j+U1D
zus|N~%0?!-V*fKVIDV&>#Qm-Nl4FNuUyEK*y2@KB67hjBh&d;GicFz#^sVp>Dq(-*
zob0PG&fSy~h8HoT<a{q+P)=RKeGiJrX**}pmmm6IS<(fgcAzY92lDmYLb@lo*{Dcb
zUZXoS`;#iTL}pSBfa|r^)`uj}Vko!pr=E`Y;R$8!-%!e7oFsS}bj9AAn3@%*i57t_
z%ss?mip(>eXnDe+4u(yiDJC-ts^fp_V6w>r&9N4H0uZ>-daou1ppPH8y4>iYS|1fy
z@5l?JIWDXM7Arv<aK36$sof`uoi7K<K{onY@f0YN%97mPTOw|=oa$tC1=+UMm$JB~
zX1VvdG_(mhsN{QZ+ITnVJ3>_)cdHbpbv|IFFn$Y~UjM*<JkQcc7vjDDZ1aD)<Xfv-
z<SqS?VT;Y{%~TdX*|u`sr9gYVfs_QMz!#JSq9KWFdfYR-4N<Sc42e*yOB~&sNZRsQ
zT$0#SSUsU;y%ll7uk9w38u*{4<s!3v$3~lm6W>@r0OC}?YpG(&ne`tg0J!PDF*f1Z
zFON?KcWhzE^o<PrY8j8OToHfs<avL=9X;C_v9F^8TM4Ow6?4;Q&fn)2G61uh!feJZ
zEV!NIi3LAi_U&OX%3)s?2-EwwB^wbI_|!TZ;NWtfMZN*{z}~}MeV;XRW}bRM?mtH&
z(?V!&Tbb1)mQZtNa=v=97bP=PPf_zhQc1zx!J1QVp4KAbjOTF<8~lH>1VpeXKbeUq
zdzK(j<G)z5sx7eNdX_e7h(N;D*pn^-U!@fN#u3r?#D2Y*fiwjUGo?~w&<pl!hN`VP
z>g>gXG?ns;vy9w=y=N=4bCS)_LRVAF1;$Q2Yq-W~s1!k=jOD6M5o*)5)I)#uQZy1c
z?8)&@rwS;CLpp=1(+z)4kwm+bK^8uISmTk;eM&zTGT-EV>31S2H<!vFsBEy|7epVa
z7P%|jK?`~mINPKFfIA00C<2lDp$Ny;DXAXJe?UcbiK5P!V7zp@_^3y^;i%SZ?D4&3
zAVOTeXP9*=wIH*J_DJ#KbF#XjGd3dIN?fj)UDBei+pv#;ujYR<!mvd%F*Lyj-H5i%
z^ZVqslv6A(G@6HW%(@UR<+GsmnQ5-JI)*0)?2h$1w!`gVU%3~G!PZh(XV90y`#kV9
zo0kb3p(^Jg7T{^pL^3X$x2&qMJN)!3ABnU_8<WVnleh`le@sx!2vrSKgnyPflB{$H
zAd%SzZt@iA^NoMmPzqA$<M{G@r%DcL8`@u`YCdNTQzC`NclZe-hMywta+}`Q(+Cs2
z(@BWxk&ku5OZiP&#KGQEhMA$24{ZSC6RQm$oY**+@gPc<jVB*K#%~xW?p05h@D>yJ
zlYjF&bEoW{Hv!j-JyNiX6I0o$3Ct3y%r`;|zzWhidn|u3TFPqU3snEmUCu`XgY4SS
zes#KcWs;med#a>#Hgahw>UP7Zj5D+PNgU?}EgtoyaYK!n1CmyT_8sa=Z~QK9b^Ge3
z?HsD(@~*7NNxx>~$HQM=nb1UPXzN;O0aKY-#t5d(sg}=j>f)E@t*1POy7#4KJO+E9
zd!c{olX-s$a$eMNkqdokUbs`Gp5`IWC|%r<i<ryi{wd=sbuFGfO%?3lYQn0PwpC*O
zJ}~_!0*iPK8je(n#*6sbojvkThcYC_j83XIEW6pPj*+<V1<=KH&qlWBM~du?)UL@5
zHvMshsbes!P9g8`oDG`O`|NQ#xJ(FhRNoKza0Gv$8EJiedBr1UrIWkTg0nyKiDiS}
zA}TkBYgJ47XG%)N7tMK#qMI|<DT~KzX$Qp(dz1VctBnMU-VBidWQozz#>b+3Ke4{2
z3)iIzivEt^^dEWi8zdTR+K)mm3N9^b(czpYSXInB(;l1j4DB+=B8jdqmPENLGGR+5
zXefW;PIVeovRS<db1RY(w_bI_ODl`)y_Y?;6ZF6LBO6Vf-fl{h&@d$@2_rRnc*K1U
zyK==0b6u+qFrq8k{S@js(m}wjuRbENo8qOj<NJCr<fqN*vN9=CfmnTP--OWYsF-OU
z4%q?W+lDP1HzJ~005s(b(>cJHj$wTlBj0~cx8J=--zXIGImI~I(a`!`kDVSz2N~Pe
z9Ea$qYqjBmTGH|OcS?brM;H{>!A2lu{*tx_wrV0tEz3G<<9Gp;?XS))ZVj2@g>*Di
zF(K+}1q-K6bd)z&8?MAj<15kc=Hf__3+V-Qtek#=41?)VD2x4t{6x?{?CY-XZHRwv
zF?hAR74<v%^{j8U`)B8=tB)li(O%4i9~qOq+~rJdwt6Ejrec7DsvB*NOPnFoa2<i@
zj}}~jSP311r%ijn5CZfha@jUtj*{r#LgHiL_ozGNx8<KXUM2>W6%SzA;}w%KZTLg&
z!$}#QjOF<-+PaYmq|n!U)|+Xyqdb33*L%Iz1&qi6z;in>aiG(Ss&{Ha`VO#PBQ~P?
zF?ipPA6%_JC}j^4wyvd<pWh`r1l!VWTtNqZ<9yuq?xo7ZSz0R$=Kp9{B^1ACiMX~)
zu+&p7H+(qwUbUs&f&~MQ?ojxB!73P@vVkvxP@=tVXRk;*Wl3dBH=+U&{>FbYgB$PE
zY}ywQ<|>!ini;PXJuz+v95*k;ktmgCDIDFRH!F(ZroVYj1Uvg$<j^DIwXd>?n5m0z
zk}-TM@}3aZn(bYax<9O#W#&>1x1VI==T~sk78&+jH=gi3PI32_w_kFwPoOZUL>o67
zE;9Rqi$}9O!$NDObz(fl3j=>X;H3phBh8B>RAr#BMiU$5HGd5O`XOe7`A6#V5Prjw
zXk%WHXor%94H5};@%17r0H(NNlgZw*X_}D1P=4^?wiR&<X#Y^5NN_@WZrPnfYxHoS
z6j**^d2pExX2S*vgK^cV6Rby9I5+NgYio48gt2n0DZVsJ>Q7{`#g%{DvZnU5lo%`s
z%wNoVgb)_FW3LT-4+RKM3GKvtC-YQ$e%IjPFfGqTV^8%g3lc)eFJ1~%8jPI(?&vF<
z;CvdOon&lyr;<Tf1urww{U|%8`j*knooDSySi1Y1!(-}P0l7b9r%cCqJLyh5KH^8J
z(dIBp)i+7z>{{lD9RGjYywS^Ey8>9Q#gF2Ha=7VDR?q{^C|}sk8<;JI0vednCK@O*
z0aeX(@BL}d;86#_x6@WSK1=yZ94CuAmbOLYrPQT1i8521h$S4u8v+ZAt3@iQ1x<`)
zdmop_q{)`uH!d99vT}MHdIOAsKtOu&4XtB{C5nzdQVBi{2vL9T^Oo?dX>G2mFWrWU
zsv55sdTypnCM4LmmJ^A4Y#g%3i0j5uXXwQu9M{JzP}%*Eh|2JCK1w)zeWp7uo;7-+
z>Ledi@7B;FiliWEB}q<x58ZIDY6cVB@)*V>X%~Wa(G;b*rPSQjzj|0Ut?kjxf-EqE
zKhMtRM*Fqn0e*kZ$Qc>(OTiF|8afXPF3Y$X|0Os6Y7fRbU<UnU@*AivK-JN_?e!-m
z%Q>##5qDc}EbX5W)+8jXNy(A6`=-s8Q}4?6xsr!RkmnTEMsx0@MrP>Dw;YC?Xpe+U
z2A9;u-!s>A9#IAWF&UnCd-CTl^tu!1P-m*LN6Q1>erkUzt;e;#n$^&nS%~h^BlHt7
z_dlz_9eD{ayG90Ol_GVhB-~{&_>R`T=i92j55JS+jZwhYv|GD2BW`lc*DWPq^Lc{_
zW<HV>-QywDxMQ@?KT6lg&}bzMcVLeBeB8C7)v0vM<m<Qy=A$UBZN%fV8eTU>4#v8F
z#@fW{(kFkhJnKRH5@jYWLd?{DcdrqfP{bPT8aQ#fpsykhw@<VrF*g4$js%{H=F}|P
z((bK}{HkKncobKUTdSgF8&50`%kYwKl3j_yDOyqA^N5yfHf{KiX<7qVxG%z|>^^g2
zde-E^Fgwni?UEIhwJKk%8IM9f^(u8w>mEEYh$Mf`Ek&5<ipFGUZ5eGA*hI<$Y$e`u
zKDf1H9(MY+^~Aa*KfIu?+t5Q=hmBR5rw&L-l29)4Zz}T0@)r^JRlQ!4X$uAaC|+9h
zE#FMk=Yl_FDgeT&4)2<DOeEhV_?|6G1ZeBz+o%Y^J?)s<+uozYA5AqLc$~$K)YMOG
z*NcA>PYSyCF{=K+KqMXDXO+u3-%-e9!kI%j{`%OWl9o(_@4$Oxm&X*7iYv|kP)Mv9
z-v5)Hxax74_EoW_H&N+SF1k&mIKH<6o!LfHW&AYXYw6Jm&3A+nUV{%fEHCU6mWU6~
zdJsRWP($r%*N@&NE7eRfsekgFr|go>yJCNH^#WQT5GpIKhll98V}0V>@}k1Fn6=r8
z%kR`LKT<X!zoS|2CSck17vpiNXY(7x!O+<~p97fK89qxbBjd#jo=eY@vFcv00tuZ{
z)iy7Li-yYjJ=^KKI2}DI2_k3C?DnYm9J9Z}*y=}5s32@)O9rZM`M9m$0CSeICrW>~
zo^XGvY=Lna`Nw#szxoJR2irO@^41>OY$ea0w__Bn5FGQqNFk((q?q`4gZz#UtF^9z
zI#%-it5@BXr62}FTG~+Rhc{1mm9PUa<YB9gBIGxY`yB0C>@c9rH(69q)%7-{U77_K
zdE!c5@^24B^hRZ(3H%u)hY*09OQnC_U#}*&a6}TaT0oqm^OGVNjP(0hp4bI*G8ZF=
zivzi>{@j;pgPob7k8i7bl-={8LH-eoeX6z$Wy?tXHz|aV-Q9N5l`6=LC<}3w1cZgE
z8wcH@mssM4r6?ada?RuqpYA{6WlnpeOo&ceWm5aUPe|{_$3Yisk?b*$G|+z)O*f36
z%>Q&)ie<Qo(!*AsKgbKXZBsrabnSnJf`ezZO?LS4=6cpye=5QDrKsrXoCFNAR*@7+
z7)@Y#Ps@eZRWb1tvd-$d=1&r>uonP^;l*v=$<_l2m=(g3$j9~G1g3ktYXk-rPn40V
zcFY>-DB?G0Lz{<Fy!7NIX{~>4HiVBV<8&XDRgRk;lD2B;@T@;Dh{O@nk&ct%l5{0?
zGp|&Kt-D+mYkXQ#0&+R?tF_Bvj0o!nv@H&vY$3s_(APc9T8OW6Gkh%l&~7mX$G+#o
zQ1{_lr9iY^8aB<-K-bU_^M~l_j^66~X44?5s}C%!?zq}(9JOUc-GzVR3*-j*RU5lO
zavc~l2zwHoKHz4&Qu?!Cy#QJp@nL*EBTlhkL#3>njBP9StuDzIHm&MTHb0SRoE5I|
zvW;CmI?Lth^a;WwS_Mu`1fjlG452ns9yMsJ-o3nt5Ayw-+M51>C5F|6D=zPIz$lmh
zkmE>9*4iE%{!o3nczJ)O*;3|&a~~~sh?4u&V1UvwvPaKF@Tk)F>K4b3JpBkwJOqll
zOP^A|wCR;VRpu2|yKs;3GXaGAzb{OZ@l(cJ`d&T-rBc6Rv;SbM<KJE09ACkm0Tu~h
zyybiMrUuKcLY6XnEygt8;l^lsPKiiU#-VZr6^JrUZsshz8vcLEHZ~j+jN^z5TRh%6
zuz+rtgH-=@*$Q_0JX!2}aY}-Q!jtNAeNx*)MAdQr4rVJEG1hYo*CuK5Ec~K)<~ul-
z-Toj)x)87@`1Q*={S$0-jh~_7nL8A5R3$FB+l2%hewaIb-oB{5x94_2?(d#AXr`@g
z)pC0$-l#R;sf~ZK?NEKt-7O&VDx9V`DOh!Dm29sF!qe1RPfS0Oyc-|+ik`dr6s&eW
zRF9nppG(Np0^7kk<Yn-~kLYGb4bvZAZf7_*W{Ye_82um@89n~IRdKbf7U+_$aiiiV
zy%0oG@`WECEo*t?^l~snfDh^OSoXDYd~J|$1j?eoEKh&mt<cByNb-wG2G0$4A0RNk
z&C&Q&K11h0TXnua$WU|tPKQX#Q3Ol4UdNqwy?-Y>%E+PAn(Mw+Kat1u70Vv)WF1}s
z;*j}lPff2NLwfjx?g(ghom9pB6mgP#$0Avh|Cs+HLFT&bj7$0`FtUS}S@ytG%t0BX
zIJw1Z;C6q|_$kK7obXg1|CwKd-0up0Nz-&~XF>3MTYP$r*)vT^S*>1c0!=%PEdS`@
z-U+AXP@ApqB%@il>4JvAYi_glIy`y=N*R{8C?4w2figt%U@!%a`<C|Zwv`y;yLYOR
z>9H!Sbd$R(>1tbf1BDV&0>DL$&)o90QI#8u)?$Ah20}KT&#FU==sp7)zP9ekP%Gg^
zT}vBtndbuZgGQ{H6tO<;f>Lan`>Dr-wFmn)g)uH&T=!0A(_%)k;M*AZ_iy=csNE*r
zM=P67{0GBrMk8%EW#uy|QBnO|C?i%q$rbOe*ystg?Spf@zI$_EVy;%R!pP;;!Y5$u
zznFi0kotHfu~|vc9y)@nT=R4(RxybDIdOjY?l#IZ*kZ)y1(ec*3%f$x+aYru0H@Fz
z*Esq+`OKH_bcR@<`bYGd=^+3x{!~WUhJk8A0<RO^n7Mmon}6UrfSuo7D5*4?|66R_
zfd7?5yJ`sw1`4bhX`G4EfX7$!E~=5?8JmAmZz{c^Pi?W>X3XUWNm<>==;M!Rjpr#D
z@j1Z$mk5*38`#FoAWDUIuQTUeIlWCt12L13<+>uXoDLS*{jN)|@jF&6e}ZUfspd;C
zG=)D4%>fidDPD9Bj^!;iOBAFBj6EPa@B5cx@;e)w#(yATT#&k!iH%^?d9fePOPPOw
zXI<JAPG(As*MPC3v#s)h42GAp3kMCSWeEjWYEM(10GT)%QSwZNs?1Kk^zF;{=tMmv
z&Mx|76K8W3Vl@%ZFHD>l-^Mx#s2!imcAVL>Vp7c67-yok-tO!4Jp0@Fa2E2eaI@{N
zzeJN?*0$4MlOd!=S@^~{9aJ;T<%fSTkfqQ?oL9;!eucT1#D)`eqbT}p_)X~;b!u>I
z0or=_JblQ`b-~}VeXeh=K>_KQh&=PdIoghkpWy@(fT4Bdi9-eb^NSL)zFM>MU4es1
zPx^<m%7q6)zV?@6A5@{zTLB&YL9p1B1=k)siZbsDOo6A@f~puh9Wk1_N-lrG3)Lg4
zG|P1=i-JzfilfoJ63N_Z5f~>8*L`;Bw6@?oQr3!KmNmR)s-G`jv`Ka?VtSe2Emc>Y
z9vwV|n$W?yaT4>yi|+QnTGv9>mc*%sS?OULCZVt`o7Y{%5y+pzehS5x8%&@#KI<<|
zH*m&pSZ>V;u%+wzUelnZAl`pPoAMENw}bKP%6oC4mT$8UO&x~1uL~K&Foib00Jf2u
zvnI1~SLd3HnFYsC&grF+89xN;Hctj4Oj26)ry0T2R({ebd?l#>bJvG-nT3i3?Mb>r
zrI<(z@-qX&S<9NM!ZT|C+wh=?RX>4dNP5pKn<H;)>0s&6-;90_@ySg_GvJZAiNUWn
zU>G#b68ho|9Y|et1Jx9^SX-Ma{}cZk-hQ&ZXSGtu^L|`j&EYGioDai*Qmk;`2_m}&
zk${Yf@-csEI@A9H5#D2Nm#M=AC=)U;H8Bb=Ol59obZ9alF)%kVHkX0(1r!A_F*!6i
zmjQ$XD1WsDP#oG4ElLOk*Wfz11b27W;O-0(U<P-G1oz;<9fCuU;O_1OcPBUmd2{5R
zoO}PTdatI6nbp2}cQ;gI@6{MZ&B3NXDKN;Hk(G&s4<N3nrpC$*U}0frVqsxJq@q%{
zcD4onM~+CP33PO_27~ziWg+eeG;xN=ButzkhJT7+5J1kw7Qo65VCCXt<>q5y0kE;K
z@czdT?8pa@Fmbgu2PiTD<iH@H6C#y3*xtj@+S1AylIK4^0kmdx09IaJZiYYI0it$5
zM{6?^5J1ty*$QX}$!KO`3s3`_Sp%It{woBnfR(eeJs&f(o0}VxiJcP@*wIpmjsf6i
z?SE_qPz5>x9bJLufIlb$luYb^e^X;Zqyng0Sv&ouPy<^yyO}rw0T6+$wHXlP1aWZz
znFAdGkn8|8Sp|TyJrMMlvBF;l41m9z17Kxh{U_Yt-hTwL2L0)5VrB-mvo`^GSc5D9
z7S^^vfU=YVle4=s1Hc4i{)eH7trHmHZ-3%yVr^?;3NiSzbQ6G-s0zRY!tif?PG*kQ
z_RdaBPS&=6aAf`?45ZDHAailBogEP5?1cD7eG=A=Kr=|+J(&M~TpJMB4dnG7WMK_5
zxA=pGxr;rs2FTjM1t=@=w+%#u_*-TPbOvy;u(0s3Z~}l10HC{>74shn)IIEhe}5`j
z{}4ks_;}fa?Ew}L8bBXw3n1hR(aXui6$o&4bOHK!{af+h2$7W)U~X;Z3@`;+T7wXO
zM~8@k7Jp&L`#V~@1N2xR<HrhM`Q!7?F9XPgnS(*L9>2~1d}3xLQAs&Pjdy=j{zoY$
z26hK{F>>+%7}+>k0KDwH0B#8I`G4;)?@g@#E`#N_t1QR@4B-8%T1cDzQ?cvcBS8E2
ze$WB_JC+g{GPpnh?e96)XW?WqgZyFrf1dU~UH<=u{EsOA*E#>+ilkg@ZU5BM{$=q0
z(VN&=+j{(M0U2BuXUGyLf+4E_`d?Em;9r}o2sF2LvHM@Gtg{JZ8AL&rwtxRL(%MPN
z+8t>A-rCvB>aThEORn+9rrBD9fbYRh)_>d<03$04%m3&g>t$vGxgSoDq5M+?glx}$
zr<4SlfzAI|Gd4~xfQh4{i3cJJWR}=CIRRd*kbN`<y8k)G0A?l-*csvifY9>+Sb!Z7
z|9Dd_P5`s$AELhyH-K6EH-F**FiZSKyZ~m&e-JkdfLZD{Vh1qG{zec#rQZnRr~D7%
zf%v`ujo1Lps=pB=irR0)0bo}Djko~Jn*ShPNS!9X5hS1KZv@F__7CEKM1kBQyWiG-
zbeY-wUyv2R4Ez^_lw|Q6{(-FjrG=De`7a2GZuKt+Y39F;A$8gQ3x7fiv-=HMA!UI6
zft(OVAjpgVOAo0F{F?{F8T?;rNM-iF)sSHJkYf(A1zI@&ma_gW{c8>X5kq=u4_Q9&
z?=EmbctI|p)1QO*I|qcG<G&z;p40D&AxbC6mHMrQg#Dcavh2*xR*t~mB|}D-+1U;J
zF9!%`mw!P>yIlX(d4GuczoN52;(7cD|7-ruTpS_%od3L0kmdLf{_}qh5a<pxLtLB#
zoAC#Ks0nVls}d!2W84{iv$oL|7OT@6%IQo!pY3I(0GB2`<sfEkUXC}M{C=V2)8w2t
zA^qvyn7e-Gmw?qInJi~0$=)robH<#(`^!#CAc;Acz;c{BIe%;m<19{v7|mD@Mvo>z
zYwqzQcNhC!#cuvno70{y?-9TbP<Vq*mPF_rC7RiG1RbG6M!DfUq@#}>jp?YD;-W6A
zG5!P{VI6%d))I+-@3Ey9ojSC#GVrCZH<|q+SH8QFtNhbjd@N5nvdrQ5ethh>FLDh|
zP}E|aH{zu_gMXCzmMdOY-{znK_+R&Di0tDSPbo_A9l=ha#i*$H-iFvaeXnZGfa?bw
zl#N#BU{4wn3uq}kjh%aUo!_PRma1{)MoNFsNzsiS%2kh-4m}}5$?H1#Rwv``RjmCM
z6b<N7W3z^uRQ_<0eYF()Y1{kr#MS9K4Rl@@#Y-W27k{F+s&TL3Ml0SuJ&9z1s_`L{
zcmkgI;Oupo9^WI+j%X2_i?96{aa4k@hfmGCiA3k))~GAag@yjC*p~jZcNOB%Yp4%m
z8boz71Zif@#X0L-)j!FouX<VUMQ`5?>S$W`^v@VMVG-qwW<)rN;G1ptwUJK)kl62t
zgn|V_Ykw-kuNo1;!5&10`3?kE${6BfAGg^Fr}xBP4GeYKJ4?1WKOtbcT78!KO3~+Z
zMVFrWQ{|k;pK;dLv*Te=1J^ke`oew%BTar%BWYabs+8-rXlPfnv_EU#J0FSoMrx@`
zgzllty8|2*;f{AW{2^q@IEh9;G(ZRwn+N2;w|`<N5jRWN)za-c@6HnLtojzsAK|ID
zP&3O(TsYYlkR->O0bn|ojQ_Qi+<xU)_sgYG(Lgd#&R!k!r%-S18kZpV-p1<$(?Nnh
z;ey5;dzu|#vO5QdJXripVYM}n=5d%94M9FE1(eJx+h8}%KnVj|XUS@0N3T;DxJ`3k
zW`7y^xq$bKt)6MLT`Vc><bm7M&*Z8IRu}C0_=Dv^3M{!Vk8sxLZ`Fc;y(#6`E(M?w
zW%a9SX(Ria%0oIKQQ6veLBQb$DAKni>vLPHdXLLRRPRQ~^3paQeA{L}c7CD4tgu=y
zD%4u-D|=8|Q?G|DifUL&%8Xyc8>q`hSAVlHNo&d(?bYcLagUE^`TkrbfT_pGjHssi
zgQqQ#jw@50ZmaOXr(Q4<5&ul>TEwI^OV{VXaCo(n<HvhxG9Sbx(oP(M3p!#Sv06q8
zIW7CX<mNZV_5!AfxeO&wyz`TcB?Glop2)fpclj31vIgRlvhPsJEX0ySXr%-fx_?B+
z_nxI!*2&!bS7%n|<|ehzsUKe`ab5d7kBQhvOg|=9bO)WYw}^D!k=o~5r;~S4O}#@f
zuzzA_$~Dpuf=+Gqx|e@jYUdDHdxAzhGvv~z@Gc^aH4y6T2mfHrVkZ3={VsNT4nd)}
zaU^LUe?Tt0B?ImAuMs~+tQ~UHAAfu=BwDgoUm}Cxcxw^lcP((`^9G5F9Ou<>q@egV
zvf(&lGs@4YM5+t$uUvv&SRcJYzmi1T|2#3#P<l(U$A1ExT+BIZERiKU)K=YcTv2kO
z>0+x%$H~vyl4{o952K_Do;kT?FKzB|ah(jUpR<~B(Ahd(3;-}O!HTCC@_#NpGuBPb
z7DWv+ezNfI5D>Gn<y%gwxlTzJB>jZGSs;+o%=pcy-x?@TycXN^Yh(PhV_C0g+xN3l
zvZwy?>s<Tj`C%qcvM8jFI>fy^tTC^ZPYH;Ra3z}+$#V#z$+$kY9v#7%Nf-DIK6Sx1
z)TzZFfkH2icecn2-^mWG1Al&;`CX`BDT<5^%6jPC_k}*kgpsODi?Z10{Cw3Q;B!?{
z)OvL9yzYy6I5MH%EdVzb)X2w|V}^V-af4YBMijohDkPErTJKUvbk*xryNk(eiG^xY
z1$JA%x;pd7lDQ3S#JNY*@0&u{x!1T_m;ZHHFHB?e_jjv6f*-HWI)4T;ZfcjHbUdgJ
z@5wI0F0(#&>RoM2v1ig{vWUH&3TM|UvyIb0MPFCE8X(p)Rkn*Ri};~I-yGFY*FtWV
zfop%X(r-DRPL>^1ZH!*58iWy1qM=p#m2{G1D{o$=y7Xw$(=4Dq!5g5P%Zj5X{Ph{W
z*G`2RQK?U47_ZZ^@_!C@oS!20C`8>ybIbSnL>ImCD6G_)K%a*RMRU(Od{r3xGrg$7
zjZHy$NAY?^2~YXS!ZRAy7>af`EYZn@nhx5FZa5B{Jm+1sx^q{AtCGJL`+$5ofMn6E
zeKV(91SK5a3YWAQGujXdPgl@5G#r1QRot_Rd2yWB41P+741d)jUN6)>-{JkWND&|P
z&?F++j5pT4DO&RnUakP&oY*7&3`gGPm`^-}QFAv~LGe+w=vAk0ys1C;qY&Rh<430_
zG>Vz%hWCO~Pw3`4QR8pP=?L2peC5E)mC))&eC<d_=W!35p5Yef60|5c{Mw$Hre(5R
zUi~x*Lsb;<xqsb5azhP~nY&lhIf9f`JU`<Cz9Dyt3;0`b=&Q0j^;c@gAf^{hBZR^l
zFK_hYVlfu(=XLFj^6=`-&41-BU#YvlJ#SMv)LtG%If0`qcbBZE3fO5I?Je{XQP65j
z-|wF9Ps5;HR9q*nwQi6aZkeS*&oJ!)CO!LjQwnLKX@8@ORoVLEr;Iy+Q4qgs4%JGo
z4pw4S0-gjD<heOG+}Z9`&t_jw|60Ue;UE#ds(!nY_WfYr7hF8^rdG;ejO8hOsv^K3
zOo_;pr65eNNQ#KQFKg9-{~|~<1^KmuZX2OD(oAI8ZV=%3J|$)?b&Kn=)Uj_)y*hot
zjPSx}On>k);N&UtW8=>w_`JxB@7R2$NEEh+^$jH>WdjKSqTKB5thi|HL)aZStsR_0
zRfnp^J(%)=fO6{VJi~{AKn5N89w#fegqLEoj_CKsMW6ON?)^(FRyhdEaP~cbxyZF^
zu=<qyYi`-6%RRl)Z3GWilEEKvIr@H`jIHpaLw`x6ZUKIwiyK{{NYrdn@K7L~w=VPO
zaZ>g$`SN(Shgp~#*2(Ti+k86A`?2-yOM9NYRF66`#k!yI9<GyE9k1aPfAY{rMb4CX
zlotIaqek2ai-DkPOpza>%N@9mc8Lr0Ir*%b7_|Yd*=wfctR`=8_}Js}JFTxo%N}~4
z)PKYYE@zbd!fHfH%_KJhe-2J%2~-7g-0Zry_K&ts9LtdIWW^c1FkbTL@;u{?#aTqc
zkh7RzaR-g7aG#0>e#4W}<HqFORWBEhn)D%VAw4q3jL7jOH#)y=*P1dINZDyNGS@pP
zwN+keGIKe~X?s@6vwOuakWfg;mvUOE<bSctJ{m1IWiG=I0b{h--w^gq+~=Nm)=`%f
z5z~qUAFr;G+|j<|)W24mb$U_q0%p3lzw^nHey22QcskRj%Z(;oXxXR&$`=7E>a3;+
zVT;gVpDBA)h5$v-DAsPoM6w|a#tLq#lnO5lm3B}Dj?l%{&eMOK_AW7u*6?J<sec2X
zY#kP_-MzV~3%hW|D|;@jQ9_$xwkCtIv2S&I+x?BWO%C<>2c6|)1H?S!?k_0%VHU{M
zj=9jv@lKP<GW5cpGE&?zZO`AE3^IMZ)}up*Ie9KNPI}J`eZ714k|b6fd|j^0t*~fb
z+R&*^6bKOk<M>I)VuKI(E2i{BYJXgg#{_H={)yx{bTxrhbRl<O4a(d}_S6dzVo|zQ
zFd5@(9^X-nv_j)gHc2rkhqdQswkP_26tapMtK{*8*>$O#AIgvm7(d$EE&*n-v(@@a
zzrRSek|u~0qg+t$)S)rXBC*Y9IE*l0w1LW$+fG!S@L30cAsZDeM3}*9?0>9*^gc7>
z>sQ3IB3RObm!K7pZAmL@RJJwg@04tVKNos(6WxnXTApIGV0rV3V0}ltub`qn8hku|
zeC53<MmKw%#{Rrna&`mfjk?pgK6$sw=?+UAQ~zpZ+guR|-gV!8?d0KS`wqf0g-5$>
z&8ui+rtX$;sHefUB(zQM$ba3mR$l!;f`adgRYWk#*9_K$ErPG`4#kwxVb3tUEB!QL
z7l7JjZ33^*l9uNx4m}Ki-Iias+`O4m3EaPApmn1_%QU^0Q&4=;P_SlF{-qT9-Nc>x
zsZu8c+l~%tbuD*|98W_4RC=b>V;;^ZaQj_BTc~~er(@i#BV!-l)_=ri!F=}ZjBPTD
zThj9?qFK+T3Yl5-*iy?ITCBp<ZwuQm15GUr*n-$zl>@{JP5IA(Pf;Op?sxs~8t~Rt
zD+BHxNXQO4@bl*6cC^8L@lpET1iXgIB$ci2HW$oOW|8(^FuSqx<z|Tsxs<}%s#>?B
zF#Yt7yG3fV1wNdQsedqh3{A08SBOb_JCE8WO@`!Y!t$drDUOnCg6y2RenYY;;Ed>9
zMi@hb2j@FMq>n_+%Pf7JwJu!T4g3C-3g^Axu=rU7D&z~R`X$7H=E?<N>8oWA1O_51
zaSdbLRVjmf3#5p|Ora^)QC&EaZOtG~R8<#K<S$yDyRV(NKYt91M^Svv{8{nQUeFZw
z;$)Q9G9!$FtKm(=Qr})cmFWIs>&lm)?^!3@o2D0Q)P5mia)+I0g(dZ-3+fic--f#9
zcfgqvWVf!#w02FB=Z#GD=Yr7lx|COM@<_?N=YAf}Z8#*dA$;0Q_ad1w8<d>}*iV1&
zmGD#Sh_F0iD}NyA#}u%}i_J87xy+%nh$<OkC_c2yqLJ7nC!j!3;1K3>j~OKYOaScu
zQg^qd=Vca$l-A2OZ&u>3?Y%sXWMLB3A4!?RgdX!l0)J9}tO8EYny-4t(Xco``N6g3
zijsmX8@D#yO25RtU<IeZX^f&l^b;a>yK5fuv!21otAB7-u~|bdEb83XEvY9}G6!Q!
zc;B?Q^25{wFF0sOl<}yY7+IW4sXwcR)|m}ix!})EKJO+^g!vaGPvxW?Es^^$5FsSm
z>nV3E;LlcM`fgz>X>nnH!%Ak7NjD`at?!}q=aNE)dn>VhZYz8d+O(va*FC@VcFi=p
zyr|PAIe&R1Pdx;PgU<0S=^X)OTL5fAofh>{idJaHjVS(o7);Q<FNJDtbsa@?4m<*<
zaN_za;^@V^2yErkuV&9#OoTrq3@~&zsMCs|%Mm@^elYoxl**m!78ksd9^Ua#pR+Rt
zW>tsBppr@wO5xxkDxQpBBMi9JV(mutJjy3Y_J6`SL;O0|Da8jDu?HW$){h@w^gxkV
z=9NtU+HgMFgWP<e_cBBj2hb($B2*kknlu!}QL*w~KJ*cmq3Zo?eQXv35+lPKTtA=6
zs5aHZ5YyQj0ZI&s8M1@tT#a_4J_4IM)lA7AJq8E8LG1g*bIMZ<w6%>@NBgrBRpZmH
zqJP#J`t#)k(pn$3+1ME9JjsU#&G)kSBri5PX%YhbcXVnj<HQNYSs9PrmqC{5n-1#V
zxY^;3nEVH9&whc6hUA8yt`+x9%p1tcsj$m--`yH#NYb9wVQ@YII_P1`L7Sz;o}#-Q
zSWlOsF8ny`90mAj0!N7xN0HWf$s$!9XMes`Qscc?fUpqBU1*)`Slw5LvCnGr%7P|+
z{vl+0<oT@dmkKd8c7t0`s)aL|Md3u!+sTO=<sG54wZ1`gCt1U64&UT*h4<h2l3eW5
zTO4nLVEMvi&;}<%^Sq!Ds3eDquv(B)4`0PC<$Mi*!Z>1<NDwZlz{e@0{rM>`zJIkw
z*p}6^;=7pKJ-eJsZpHQW2aK}Kb)Z40GF2GmbN7#*9JX#7T?O2JZpbvdu%EFKwnpsT
zqIvJace8w>eO_^RgI|luE{?sGcjtR`&-eakt&~NW%*4krp&3uIv|vkv++!=>A$CpE
zk>=CFhCoz$wKyraB^lX0f&2twIDfWMhjVv0*;b``^D>It*)=O<Xfxsz6&r$*%!*NS
zq+$d+y79~}p}YWsbqUT_C7;gJytf2HCX|+lvO(Tszm5ddGu|68`c`w~OJ^<S+Sser
zgV~!wwzV59_=JHDXNCiP_*;?1aYB;m?NK^9mSz?&X@2)Nq${ZT6=){1^M95H!81u=
zj&wg>F!4#WmxIsFn_GzLdFJJMo~A!^TXi0>B9#bFy{91P3{mTp_{gq>VKG~zV#3%b
zB>nM=rSU492h!u@$AsMB=Dfl*Z^vbDe0Vy%q_0+|bim9>HY4A5nnhzCP7u`hO$01!
z?bV>oLz$yTkl3_>(p0{G*MI0RxkoI%R+fX<t_)jzWJ4ahHjflcm#S%&4?WRdpFvF%
zZe_G9gMiaSDxcqTQiBxw0VZedFg3{}-#(q>8?&Nx)bs`uz59G6XW!^GLvJ1d50Znp
zit+s+nXkv+<33z`FvkiBrKitcB8XbyA0@sZI(-fWmcik@Wf6aXVSoG-u0U3tRqY$3
z3Ctsl#HI;f1db+5R=)C1sgCc4LB5FjaIQUuBeOvbJ%N?VdA{4EMBmvyKspv<-<pSp
zg5hThQ=Xio$k%Y#V>pVWCXyIOx^S+KYMOXQT9*jZx;#A0J@byPU8IXcwfB7hR?pLm
ze}`F7e|mK<?vrfJ&VM7HNa7-i^gGu1qR?eQ6eN0Gqb!B?W>_vNA_e(rbJT)c1ThEK
z8^k9I3yazZ;dA>pX*V{Z`br)|0dg3V-_b6^7nOx<zSM)SvdLz(SR*%=?8Ct)L&sV%
z_GtO?lKQ@VeNW=P4Bjoac#rp&Fh}860Pm%!YU9U`-QTzCQ-6ZeF3La4dG-F}ewl9k
z!V0r5Y!T1G)XZ>HI<qS#68<b-f*J34bN8UGyr3fa+&gpDUc@`$n_aRS{2gON={Q6$
zL9E~2fL8=ZzWa{0k;o{h<C3yhb}Tp13hZ@g@g;fQVxf&l@%pLKPgjep>qTh3XF(#C
z36}x)Yg*P2FMl<d@WYjM>gheIe^HeM1uVZIyd%4Z$`&i^atT#ZOkVU^Oo_t7-rmQD
z$B{$UwvEarA(lxo8YDF#pAdD6epDYG{Oa3cTFrW#$^=BSW6yVbM-dE;^@z;!w9L7M
zo=RD)F+DVC=;hL{mBy977UP|*2SxAtIHI;FqO^eFRe#NVWQ|#wCu~lGoivsBpPcst
zxL~-|_8vf$11>NNo!d(XkEiiO@=&t44w+OuI*lcg1)qDJAK+TKbXr!rlw5jWz6Z(<
z(7R3ig4^|e_Gq->sZ^$4{HO;|Gy*-1|Fn+WQW5@fRQ*zWqjS=0xMbZlrN6Y3+o-FP
z^CR*y9e;QBhZ0%xkL2>whN16uTpC`)jFI1pCj-U82=B!L&$zfhBBrs_N6(fiRlBz`
z?yhB4)$kV`_@BVC+#*a2z@&yr5e$1w$GD#W#v<}YaKGF-uM*OICBw)R)@IcVd)Qp=
zWMdc@0*oLkhSp&8WZU;qHrrCh=t)=)e@(M^J%5|G8nx{qX3BYG-v@igjClNkIp+8*
z@I80yL^Q0zh+~4TPbk!{eQV;^M19t9PAq-4#&w!ioa;ET66mijiqS(P&-u%V__h+%
z(cftCDfrh_V^g)hixfWm+_1miQNur!YIK+B^=3|)yIx6rw()uLtz}`toe`Ui7_9H}
zEq{d%s@)Uo+%g3!mUu=otM;I=_N}gqOsz@m)EG+1cN7Il<ApWRplO|$CT%$h_QAI#
z-BDc2gEZCU-2{At)`lrcW7%6?AyFYq8%iFZkhpCF;Ret^+_-p%97HqX>-Wgrc0f%%
zdRF_-<C{LoHNbvzyU5K%TlYo{%(-7gqkkY}-S1z=tlbO>he|u`v@6jG5a+}JrNJHE
zhP<N<gxz8NW8oFlk6BjGsVU|(q~US}*J)*C)vQZjHiesBnfkRsi>sfy-?^kUStHJM
z7y7kVcE_|peG)1eYN0!sl{_Va8D^-*K&hoJj`DQT<jl01=FMxO6O|{VJ29t|+<%j1
zn#mPt*yU*YM5A|x@Z7>3sL&BzL0@uWJy+s9*G$$E&+nCRO@CzIRG4elz@|(=oRTu#
zlw;+{-Shr)#zU3G2#mP&mQoRYTkwv!$a7%BdLcPB7KI2i{VGpPG&WUm(LVF93YPtj
zN?!41E-E{zMUIcl(+CcWayjs8%zp>3{9+5%C=`oqG9$(#1ATP+1w!_Voii5SlczQ*
z%Teo&gdFR8W&V1o;p`+k`idv^M9&nWTK?*_2j1Z25ra7+Q|ehcc{ANKgHB7!d|bW1
zkP_RJvV&|93u^)U^^cqK1VYNXHV0uYLPRVS(jZT=Fr?uR)h0##K$7ieP=787JM#^0
zoQLFbw6-vZXREHQ^#t8<^r0_G<R-g4C8trIg6<GS=>!+IuC2_7*{ub7d`#;DUIw?q
z?d(duCcT&C9HJ8})+K@+=JCaR$nJ$zgkp#p_EX|wnk$ufc*E?bhT&=@4QxC>3z_|x
zuUh$2P@MhxLHjw^kBvcWtADR7(kUaQ<;cQFP;YoT{C7_}f5^u(FFq8j4A>=!A(=?<
zv^Z4~#SSl_zl$bxDp%<9p5l$O@2am0e(U2jd#pEQ5bxHCdM`jirYM2$HBIRpmsrLb
z4yLl$;V4&fb>0>%6__2zf5nlSLs3Wb^1b}KvZ5!hqg6n(BI0#YYky};Y)|cmJD!U^
z$V4b4f%MDtII%`ocf7gqd2x#?--RnT&yN^RS#875lm?lx1R^ie@gq3pptrbi)6nV4
zO>2!9`2w~|?J;V2qmCo;Ra(hb7*PE|;i6CEXf0yWP#~p}9(%;?YhRdySkX6}pnYz~
zvo!hY$eTK)^uwYHn}5#|35GSLPz++k3Ohj!;GdkV?wm!1TM5yA%bO+T0k=>IPDWR#
zE&)C6UlG=xkgw?XF|1tTx8hKYO}gV)5Tx8cFl0ppUc>kKxLZosk$c%k@I5MTA7B`R
zFt8Oh*fWqdgkZx$#YQj4z%)cJi9wMZ8uy$t_T5oR>}rjBdw<}c!upf3Jlm<K1FA-F
zt__izyKotH4f27;O2}W;0@Tt~5fFxYJCyx5++qpIR>(1d=qPIN-8#tO@=e(;VV34}
z_KXuh*8~DdUq(2h$3pM1X<x!K6p2_5fb~tbbDpM?Efe@V{fIFq<wdn0Cz>KEKsrN5
zGVejW!e{h4Gk<Yu1J<V6yZf_70@hKXgPBq#KC_!|<Qq$nwBijDGl~l4izT&InOw?G
zJs5o!PTIC~;27k^tSI!vvF3yHxz7lK!^}J9B_{y1KtWqng9y>4Wv;}tebC&V&W}4L
zar^AC!b(?5>Ak&cD1j@(NO23bugr<-WrW7ZP@xB2Z-1R1_SK-ce<gJ52bk%`MiZ#!
z$yPAIB|$&gssal>tgC;i3cb?fVpbcPIT&gD_KC9N9>x@n2tN{6B;=79(2ZjJ=~1ob
z6UdL3(V{1g$oT!$k|?0Ura|n|Fx*q!HCZEnU5d*28nDQqEJ&L>l$=d(`v@QuZqq~u
z@l#tk)qm6?HT=++I7{@GQ`%RR2qhQL1e~6EH|zzNugaE^StBn@f3+K}02Y$n{7SA~
zmU9y|i>cU_6ilDL(Eng9jWkWjA<SrC!T){13D1(=`3()Bu*_4FtJfpdT7_1!rru_E
zBy+(1NNsj}QeQps#M>gYzE1;6pIusb;0*5MIDg_6d4B$~<X?fiA@;ZpxmebWsT`AL
zQfKy!hc^;WYZIbMh}!=?MIz+EC43N*Ud_y}<<o3f-q9diKmG#kAh{CGz=z<<bGs5R
zEovhn?pVd*&>bda-IgCmcHBDXI|&tS6!bjb->}2FvzjiMDwR%2-N5z9Y9ut{h3U3K
zp?}P`o-J#Y=8fh$J65Wsnvb_vd%g<oodZD?0=hCxTIjM4sr>tf>)Z61YYW)oM588b
zKXePDvPUY*)J=A|2Dol1&T7*5{rQN41tq($>?Tqg2O|f^b<bb|7x&VU9RS1Q2w}N>
z0~D(0(OF&Qz^tNI*@eqJ5j`9#*>fZf%YRta*BE)EqDV&UjqNYvDz24*t>K&lLii12
z$xi~UpZ2ceV@zT`xc8CJs<bO2>0`f!FJGjkEQID-62(%!sZ@&JidPTbdME`bMEG{Z
z#DseqSF52ZY}->s;~ptbB=w&79*i6KAyrLw3w(T<Y~)TcALHS&5S;|a@R|vN9Df|t
z>CY=x=H{qPWgb_8<QNx1#8O${<68T|-w(qxO{8k?y}o4{T0J%=Px2{)lD(eK{xI9#
zg{z`kAjlLr<*m|cG7)HVPg{U;5l*IeaOrC?QzCEa<a>?aLH(I12kVVIIazmfVCuCW
z?e-3t<@gm9YExlO)4Qe^w(^SESAV7y{@rtHBzZHY4Ef3SAQt5wo1^Nmu?iu$nWHy3
z3K1y@a2TysbR{t*4wM<67eg!P0*D#lWAkjvH}?o@dmpBZ%J)|v((|N0ntN#Y(R^Nz
zmD&)Rfcx%cL69)U=VI_9^o;C&uX;xtD~|M+bT6Fy$+96LnR&eloM)&$m47b&Z7|br
z3NhkWKdG%^Wi*>P*$lL(b6O?G9>C-A-Hb)2vb*nv=?(IpVV03#^iNb%kDW@&VLJSP
zGbvzWp&~yS$c6FKYla<P%++YAcqHwLL+20Ko9oKHF7SF&n3h1|0gDnNp9vs{eB)%}
zP085ynZvwHLz#WuNS)B({(phoo%wRrsza(kFS3q4U;|fazAiY5N9%4w!BN$%bhSVK
z+na8(QeAv0(_x2?)8oDpw1!q)@T({S*3GM9^DA1?ogAtbSZwx4!~HS^h%cQ#CxV9Y
zJ-oIB2yyxrbA-QFD|v<ET+rb}Ome)P9Uf}Z&!REPJ73r#7wY#D#(#Nz>URwIRJ%A9
zn}=sN|Bg8Imh`=uM>D)9j<Cq3jED#6TOcY2&!n=6tcZO1JxxfZwqh)6AT)p4<2uC-
zDyfxU^^qD~%3$dL(Hj=YQlmSW%aof&7l%=M0JJ#Ft1k*d{g(^|N$LJz?h=~Zi0CPJ
z#-AC5OmyH16}w8!C4aYo`s0{L97ivZCR&plN0imdo;$k(`LEX`seL_@+F#QTUR@El
z9WySdFIOifs5MQW3JpM=(ih>E=YQ~~I&TeU?^}M4424XScVi|V$zYqTamPTFTjZ&U
zEdNzVAB!%lnh3S9MSS-fM*$C~<|YCssCw(|MZ+Cgmg>$IkALeUGkmY*(NoG~SPKbt
zgJ(i=^B`RJ<7NO(ZvA7GM^^N!H*fFSD>rlb-9qh=MzPqX`o6@DZ(V2!tA2JU)_YMO
z4vweYc1np~l;x}6S{%#jH&VXTkVuaR<?Z2{*hG{R$>VS%5Rl!U`KB!PwK5_?u}rF2
zGEkdG=yQ^-EPwO9=Y$?-r??83VQdY1-r|`lnn&rZ!j1#Cb(2+A;lt|1`p;}tIsGVs
zd_A}x<m`Z4;@r<@Ko9G5DDDP|5xT3bP#&@vRI7=X!I39NryDm`HR#V~wc)`+>u$q|
z*EC9}0<KZ@*b@a8zwl6GtnZ_0ka}>pJ|Jh#(u`Yq+<zYJM;LyC$_VkzN%s&vqAT2W
zj4C4Gz3qzV#o$-;6p!jCn6MA@srxt^{X%%l<9CK2zqHuObOny8Sgs^SqW9lt>SJxE
zyk9z2qKDCOn0h-(I^}-+Gtmo$on=(i(YN=hp;Nk3I)+9<q(M>|iIMK^{L#$-5<>|{
zrzkZv(jwi6z>v}{(r|g!^S}4iUF*Kv-@W!(=k?y_?C-|`JU~JvYD&;Gb27;lBm2b^
zaiuSNHsulGA^0_Ef#RX5^0ejD5ooRd+xxfrq_J^6GY|(sv_XzfkoNZAmv8V*p|B2!
zmZ+ei$ozuKn`7r7&?&HANK|cV-r~zPl7&|Mai?}<WRC8#l8W=}0gd^I#HyaMsHp8o
zI&VqwTjmA8k$}!y$MFLn=3emv2g23{>(y49<z%}F(~E9Ms0;aR8I_E(4q#LC?Q?SK
z;gsTEbpNn^L+D~~tM`GJZ61F#Uumwb{D@tYpg(5CohmbKA0!j6IU~??ifFFtwxZ`r
zI88qDQ~?=EcKG*CmPH0WTc?IlazKA}pkekGyQf9{#EIg-gxF`2fY!>(EMnoSUTZJJ
zI_|c=`tw_j`oG*pZmyYxUZCOLM4|#qj*@XO_=8aV%;~u6Sd$e2i+QLOBU>d`@z8Kg
z$7|%OCjlUzws{`Kkzw|m_0E7ksWHHT^st0=<C0E27WZX)*Q~Ck&#>X?m`3e$sgm}z
zSvpCg)K`QGk;f*G^7t9XKf5m+AJ6U_%KX=QTlmjgBFUMJYpUU75b%#Vy7|Sk-<e2E
z%CtzMX^m2r@;A{=gtOQFIwuu&m5+CUcBx!`mWnM_vOk&DCykQ&DtYGN4OGdfTdZ#@
zS|bP5F-B@S0+{a&PQAwkz$*Kthx<;ERG=)&feiL?sCN7MNQG`XYq!Zy<Pko?&B}ov
z?ajBQvsBv$u3q|m^*{jT+@h|_=QYr<OZ>hQjrC1L%X-1r`qSBNpn{Qo$)n@o`;pZ;
zWvYk;?^Nr#kfcOKx^gDNPOrQUag27UkT(ld25YnI(Z-@`FOJhNRo44V@MGIsdq^9D
zAaSRXbe)(rn>D5k^=vAk>msF81A}R)C}~pLvZcn?FDQkYO2B0gB0<;;*I9$6(Ij@*
zkRY23WhKyIw>InHM?k|R_Oq9}5>asU$Z(_+J(Ey}yLRim#C6Rf)xXIQwbVa>NuGQ~
z>8<uZ*CcrP?uOnUempZrZJCuy?zw$T9Q<48Gahyfz2NC;Ql_lQqj-XZ?I{x^H(Sd}
zzW^B0M!h}sEP=xbsg5#c(ti*>!s6wkl<t$8Fq>at86B5ziblTp1O_rB(0jbze$ZiJ
z!J6N^skmg8ymdTK!H1*vO?#=1+{Bv_%%><A+ja05Kv_0CM;(GbkKxgAoJUl#oqW`w
z>!$a)1FMih)Yokc$dJ9aMkAH}pxv}xx0B;Pj)cXk1OP<lp6LZ?8^7f+jQQ6;BBL0R
zkT|Akwtg8wOF~toDJ$l5IzM{{2a_526Rk#RiFv*FdlW`Vv21W?D2k7&1PLyY-fU{k
zpsNJltCpk{Ge0rByI*TdRRw{p*o`HvgYD{t%ZJntv0GlQRDHyLVHQVo(<?~6N*Eb^
z`RDz>_&&fack5BNDT(DwZvmM}*e)z+j8gfxCjt9SzS&R|mF4`rK3ZkjS6yKYm>nsN
z`KJY?rN0Rq)Lo)RY8}}gFD<9hD5XxQD1SehJ7N9&=|jJ<>@I=d>Kp3^f}SOK?Enrd
zhcZ4Ym&<i5F-?8NawHx`UVOXr$y&DyO(ytndMaQ|KVSnx>n?QhiYfM)30km_#O26N
zmY|#27}%9H_IcSkMg7o|t#)hTy`*1#K41#Ey^Iu;OTq0M67T3`qDR$te}$GSpqN^;
zB>t1<FZ|9nmHM8Y=;)z{MZ_xc$CS+MZbF>M#j8@jZ+$X!5AJh~(AY|p0`~PRSUA0f
zJ2wzt-Oz%kC;=vaGiLt{Dkqd(ZLbc+L%+oJ)Am=S#!h|fdPIA3J-oFtMfL5$1tTlB
zE90-*yXjQyw>p=7ZHLyq`-t!DYFAXRMX2I|%jRst=3f!$ypEn$Vz-r57XOyR8%}-f
zU2H2zb&gz@5k}v7oDo5Jm_Avd{xP!KRX+fS?ODIghM;IlqgHkjq4qSUu!sCt-xk7*
zKcSBEZBW1H_)hrgh_?YbH8$(btBIj)IX9)`voKt1**><y*qIc|q#*`%OT}f}%n!Mv
z!3Ay!w88%M^;ts3Sj`qwxcHne<75tv<xXXxobHSTH!9*DeQt_BqU_}_30aQ<^1clM
zBEX6KmF^z~5oj#6u!6sG58C?brjfgyTjxa^tO!uc4R3iotp8z7Y5!SunWG&~VtRtz
zlyZyD?d`kdBUyoVMt+q6M5vJ&V`C3!xC|fKNm2uzOp@dKE059GJ{~-)6yjv_b8y7z
z1MNqXqs`--mm$TqdCUvFjB?z9AVYCLiku_wyOU}W@|Yu1288<6Qv@?QfOX7|J3V_S
z3W3<C-l`z5dSiquU)tkCj-gGNEn!~FipCID5%yITQ1-9(TpWu_=PSrA3$?%|lyo$*
zd=5V*iqC1G5Zi%MHGfmc=yy(|?q%s+9q(W*_BO`JuVyvTz*rt}FGPgW?kC_l?jO{6
zEcqHF-l<{`bjG~m$s@e{LViy-A9lpKR+@QQP?**1*i1>lyCiT~ru8F>1K#TqIc0VL
z$((xmqRkNj4kA_%yS_f3O2*a|sUnl*A$nVj^p9YQ`mirCEXn9rAsQ-MTYkIG#G2(4
zMo<;$7jDkRp2}%$NM@ru^#mND%u+j~jmPU$8ibvp_P_gg21jAk5WH5LV@26}9QyOS
zxNHX2?m{856E5dKpxKvJ6q)M{32WF2fIzLj#CBykp=M~OA}~+8HWl;9%_YgDv><I}
zS&Qz;y-kKQ{@n%R3RCPOKLlC#-Q(|HWX-KR*pMv~3d{uwH^xlgWMf=EAvxlCXTg#-
zo;gBJ44`&C*!zoTc#xzP=v)9<2-XvUMgo_M0QoUJi?Ft5F<A;aq(u=Dg@GeLB=G4z
z&^R5k5d8B7sFe^!nE(H0-7Y}sv;<<W{s%h5AoxlQ#-N7E1sJ<hE7gbW)a?#o;xwGV
zQ7w^GpiXR=8%<6_aSUie!kI0fm7_|WY=MVL)wG=T6kHBtBbrSL{f6@PHeQIH!9t4Q
z62|AqfA7RF==DojyuiIyEw~zDwCgiC<U&CX>lrZ<?6Um_+)UF7FF&f&(xPySx;aPb
zi^yTb3MGB#1gPCvFpqFYl_<QwE3-v~zi}v$&Kd#@_qd@vPm`54e>#1jD@!W6VM&xR
z)sBWn+-!YLGgp}J6(bl~@AaDnc?luo4P%SjsX%*KY{kX<&T;=ymPYDfZ=>xZ5h_xe
zCq<L~#KL((``IAUt6du9jlNaE?t~<Z%H=Hd9fNF<0`M4OUrQ6Jnf}g(DzAu|hn+DU
z%Jv<Z7Vi_<Ev7AxAsYQSb^^UyDXQ0`h1QC~<oqs6hj0s6Zm4+RtzXP-gvcuDhe3*6
z2K3N+g6uV-9tWDU#hz3KS*X|x1zbg6+|b;_7!I5+wKYG>q#v9XLvc=|Zp|`Vm?8Xy
zRr<TE5rCOCosqa({M$9Nh_I3=ht2QVORpCApXn|Hh6zw)NN-IHDLN`jOd<&3S14e{
z>^6z@{YA|*`WgwD1Xd6#SCbxkCo=7k$50<hD9U8$RShc4&dN%v1sAoi$OO~vjpS!o
zVH&bBu53Ay%Nxx!34tNjxX66r*5cH1PxMWcVL<Y4;!p<i%1MtdIT3Yo1J+p#UTLQ+
zgH~CLUj*Im=BFV#w{zrK0c5zTK;^}?yV7eS+c!uOXBjCcAvbzii%p^Vam_eyVyBMW
z{8n#vq<u?C&)p<xG&NiU9<Y1kGdm8)Z04-cdK6&@AYV%A)1?h58Y8~f)|8(RaWXxQ
zKTv|@%Oo*P5mS0Xxgn4`Nop-yO#HUsemJ;4eml(Ud`0u*$@DTI(Q&ypp%Rwn{?wQg
zCpdXAoSITsJt6q*>-}YcC@Gbjk@xqnQ#Dj$Whs(BzCwfa)Q8|{A;P8d3UWhp1BJfe
zNA7VgIchagqeZSM2JIc%HL<;<vXUQ_DS$%MD%v&nSoEw6flVNWv&x+?t?q?fpONv+
zmf81mk<)dV&}0cD`lnopO&L_FHnP>JAmNVfM>`>Oep@f6;(XQp$si@VL^krd$gK*`
z8@2o&axI}H{?MGTCfk&~cFJUJ*LLiQI+FHRIxCZU^T;cEM|YH`>3rzLi0#MCA%I2Z
z_{uioOgaCjXkGp$!q=eT*Vtd6q(*T?GXjAjYG>su*_!V6Qgevjrr>)t;<bKSPmD}=
zOf_(j#2a$ANR7|C>p{R>0a9xGjWM0sNI<HLrCBu%_hWd(L(cS)_<p{C^R+zf><Dkp
zKjC2vx`X8=$=}*z{UD9JsB=?t3yAF+Jd;;2Z%js6;d)~-D$XaPJoep1f(sJ+H^O9X
z?hWOk*m<7UFuDYuWEt9fBo47C+VA)XC+zXEC|`XD)c4<rpKYhqs_}G)YBncaHJOI4
zpFkp=?k1N<D$!wX(U0K%@@z2o*!gTV^B;A5V6paZf_0gDLf_LqIQ3N<Kzns7vtf2Z
zc(rt2Fm(5YNOsjEq$S&=i`*9H@_4_?)5`l#(*gR~(@{jz&Zh<nOHmmH^O4{>-D<dc
zHEGJ-IsBoXCri5_z>D|9r9?5vm$vbEfBFlH@U@=syXeWJQgse*PkVQG;0e(yhwN}Q
z;WEcR&gv?eWS;v0L_u#P0rk+3#I}P%&2(`_*r68G6MRsKH_B#5LBN5UB=VLq_1zC9
z3?a5+CY7`*-VFf-Y;i9)aDI9y+Di`$^JYhxGc;!*7xO<$&FDF(`7R2^r!jBBNn-6&
z((!x4ro)~M)HC)rM2D+X5n~Z$ya8)Jnfb--vZEK=3ydA7P;mZE0#`o#2j4A_*!;E>
zgB{*cG4|dXDWWx%ytACjjz09<GNg;ku9@;I&!lUbw|62gvPCU=$D$>@CiaVfg0Dn6
zC2zW%%-Sds)rHtk6xPhUvfwj(pZs8apG6W-Mb@R9s;mL^EgqfOH|fZ)c}YJOIAv+#
z&h*WSAKukGWCyJnLzkUy2Fk`^bmZt{$PzGNa&&rNRn;a;xz?Z|A^2S~;z^d9Z@}<p
zv~Nbevbr-adzdlm;>Lt@99VZNVa^$xwUmc0p4`gapEzaBPb;8+(irh0$7<4VJ^vy+
z5RKNdn4WRS{=Skxk$Wq`a7nf=$d63yZW>W@Ai{IO!DDaegzUOEjjnvtY6zvIWI{d{
z+p-4k*RcV^Cg`6y&cc;J;*aBNvE_bRVjqRxe#lATXS+>o{dgw>64%8Y{8a4cMK+}3
z@s_34PG(50|32B;G2d9{WP#ff(i-U>6$Ia1C-3lqVkU`LAfE?uGf$Z}^Km);U4CE8
zPIYG0ATqNj)1aS5YlnALIbawmbqIoUtl0xYwP#xhG=D7i1$alb|4?8pdnR+^Fk!rW
zns9(3m*WUn5T2>w!6aj7T3le4kfZiT_G|Vu8Py-ThIt8WYE7)5wEEwTqvdX_cnKVD
zbzV#+SQ)r7VpjfqGZQheMWHM2%b#T6`QX<%AUEGfB}P#gFeOh!O!{Ip?k*iOxU3lX
zB>S3bX}6y=o;&i}=jf4LAR~d_x3kUYknIF4M=~*Yo4KEjf|ayjf$Rh2U5N7m>C9HP
z4*Y%<D-q@H%mF8%G#N|bUoIzO=HH+@i}qk{N^RV3es{K9YdnRHkykquiWQd^bzHHa
zJ<M2lD6kEou|3v5P*_R#s<>pTDU<^6o7u%PNI&r>{7l>tV=unJ!GqiH2s0e$HWFl|
zwczD@kS@l*o=7L+U#@s8ZWsy_H_he+$rFr=j>=~Lv{16sF*>%3w7U)>m>l#+aK;l#
zMpaVm=uoiOw)9!!eLdB%3(VOxI3QJBq%PfHd78b;x>PT=c`$Y`S!Y<PoL2*MpWfvP
z%yG|BRjJ}mY}9qD0;vw*FO)%VDoq4SJR*u2#=(z`MHX=}*_GQxALBbmqd>2Je8wHL
zuFtA&)o}NU=;QeaCeF8HEzLLjjA-kwZyPMO8`a}5h%!l<H;&q^j|$r_@NgV#5OS$~
ze;S9ZNw3*t_=lRmh{HLF`idG@w&S^4KU7Y@aY1F{QrZg#=UwFv`bP{=XP6JDm{dLU
znG%fc8`qr#B9vYP#vAZfv^JRtQKR*7Ea^%n42YBE?lid$osN8Fn`@M&Tpk@Heyrau
z@x>F2aSieFIp3m>85){s3Xd~C@!+J<p_znPCD#xo@9xoWzo4Vop=|}Ek2V*~wH$o6
z%uoIp3Ac3Qm>>O0Wk=tkv(F29eSnAY@G!OgHJpe-?33Ptt9gv?R(m}*C&~wpx!g4a
z4a9J+g8&8O@Ef`ks-dmgrc!Np{q9{K`2=vE!6V?vJ?)vGcKwzN)IDGHczxT(#>b}T
zs;|EFHAlmMav1W<*>MZl8-cTx?>5iOc)Q>X{K#Vr4K{OSHv0m9#}kz4KqhVgcZ1OV
zkh_r&;Y;4qxlwx!<J<ZsnJPUDJ12b<=SKW2u-5E?ov?L2p3FHJ24{`k5pS{IA<ei+
za(*!V@m3#L{ug~7aSslCqUZAGsN0$=5H*-n#^37RKJj3$+g1jk=*4fL+Z0RGD&230
zJ@@$?(T!JeUCYl2ZibwNOUp?gTWBY$60YQ!3LvNPad|)Y)*AALf0cjh$e`b5yD@s?
zc+ycHR4@N!n&)%+2Xdz*T|YA~Z&TPA4L@p`n}$j79IiFe8@mKHeA*=AEl!QvJPx`t
z50bdq$7kWwTR;Wy^Y*@qcFHE3s#iUmFmg%m_?|5fKVC`Gbem5M%;jHHI*I1`p64M3
zJ@tj9M6Z5dl&VMPS4l)lhPDv+fZF2(PNLB3Lmi1HTW|{bpal<qFNlzH<`2=NC#J%x
zcKKGZIb0U8eM9LsE!AEg8nC?VwNv;|hvJ9YLDNoe&cy&US6lk(b^Y37kz9OQkJ*Hy
zo%ghR56PS4Mfqv4Tn>mi8Yi0+=p&DTCp=XFyzj9`QnJ3L{UHvUdp^%?6wQ;@`EB~C
zi81%KSd8Ex-zy*bb*y(N2DNx5tD6_s)Tm%$@STpMXWOUo%5u$QO${?Li3J+nS7$P%
z8KMvm?K$9ZS?hyIn73&4;Sxu})9pSCK9T>~w7bTWK0PN{;PqPV*|Ef}L_?uk2gG`J
zcIhV}!L);Wi9XGMA;US5I1L2<w$t3zi~j^VDCjRmv7(X7ewZGB=(t_TO@kmsEz~W%
zBG(BYIANlFl-2XBoyWsH^#}{&w^3JI)S^D&`v~+n-e^3wb&X~%M5KVX%gZh$w)^{F
zcYMiaPn*|XPkxs&P@=UnJPa5=ZhB>QfyYV^eeb6mhomFkx+Yrg14e#IF<KE<jQgC?
zMn5!zNd~awt~%H4S+_Ue0#cY6;pZKCD0<o+?i^uO9^|hBxikT<je$-8o3-uU$d&2H
zG%%*P*R!m$VDGy(A}T*Jy;AQr>&|FOZ7R5W%p20$2qB|?zu_$xG!{VYOWti#z?+~c
zVR-T!>W=ZK_&Q+ht<x>Sf96?(Mr}Y|UpU;77aiw7Bj>++%4gq$W{<JC>77Q-jgMWG
z4Vs%TkBNdtFn)gYLU;g^2Z;;oCo%}2Hc7gn9i`U8-YD#A1d2F<`9yT0(fZzair!g0
zpvJ$T0NGL6P;`Lpz~v0hL=r3JWSZzVJqEdsyMDgY=JLyHN1`5Th+8VFU(Zc&%Z0Id
zQ3qpx-FWOdL&yeKNdBYQ^39Z6k0$G;4|~D(dzj<vjPa8gjrAUc)y4>PyTJr#_ZVv$
zeXvRw#o6KeI)*6E>BbiX(uyRvx>cefT*Z=KUjrWk9vM#VWv0(VH(6KbC$dS^P?RvF
z(KPtnrfvN%Y9-xT*J2fDY95Y<Tb_2k=5t5?p`B2it*D%Au6<mkod#1FM>uHqi*QV`
zE>H=Bm&%#~nI!a;x+qKtY*c|9A$w!-1)CK*I%FPXx|m=`u|splB`T=ca+yZpb%~Lq
z*ydNrd{?DTT1W(PXtMpfC6c*mzGN*yu|x}!11>7T(b6ng%<tJ)iiQ5_InhAXt=vYX
zykKMW4Vw2o9|(6Qo5|dvJlA*|CLY?(6gBnK-<6W6W~m$Dn4WKWurOUbn`_M@U%?yU
zg@j#n-I9m@c9X8R&9w+1;gD+S{n--42c#cvJfUyG9gmFMVqF<=k1=@!dnldB!?-rk
zOLLLCnO0pH+`WnBQA8jSl`k_gk<}QxUL&RKpo3VU=%Aw~eW8hMo>=ALClJQ86fEos
zg&0LZ6z<Q6PL9mU&o9U?EF{bW7GeW~**LKI)LpIQ&AqG{*yY6q!2DuhL4p62z}lG5
z^I^}YaAA9d=r2gI`4sIvJiQo1#r}KAo<Udu)?<mv2?Xnmxcmkab{uf|B@)!Ov<IO?
zhcUGZdxyW)2qSP{qCmNqEg{)`ZazwgIrRgU&g>cmX>@kq*hfK046_weS@ZQN9sR_&
z8`bJ01M+1+jgrOj-)9_2J2$a76(Kw@y-t^Z&UJKOG{%}AaD6_%k!ZgDBCwf-%udNS
zDo>o%1H`dn>o~aesBB-ARk^kYi>gUZ<fu2jH!YJL`;9r`%#g@ODS{+8l>#PCG9T0s
z@-REF^^7~H-jDd8jqeNLPWR~GrQ{gWtV;1fA;o1Y)t2#CBiylU9msWfO{O9-m5$R&
zJ8R9&Wd3uv|A;|NNIy%v?}c2$xBiQoY|ViYHGtjc?3I(hoy&Meb}L*ZbvXy#uv$mX
z-em+F<zK&AY9y*1o7vvG!1Xsv5B3bY|7&TNk73s3^62&3W)~WxiUAWSijd@(ILxby
z3Cd}JKW!fJ+Ip=6zgD}0X8zTr^5sLs)1;sB-|Im{<r*Yhs&DfV=1H{0`A@8B&gJC@
z0IKQyQ0;nR7H#TlcbD4X90G3-X{}k{yL*%oZ0QakZ~!sODvB{#$TJHhj>d8`OE9sy
zvh0FxiO|E`Bj1sgekuf&*D~m5{p+>M6p2_ge~)Pq%WM9vzmc||M6P!uei*wy^IWAL
zc5c)U`^Xp1_Yy(^dE3R_Ma|pNCD9ba#Fy+LrF$Dv@(=JdHW~h3(CebGLKbu;Kvc*S
zn@`6+z?wloR0x~TfWerbL6Cv}IjQaH>h+xDe<rkRWAmxF*tk9`f&VCZ24hJ91z{1e
zn7pv8prWFTtgxJ%0>7-NsF;GVf{?tJteC=UhX1<+@A;ztaNkA2BL9#3&H=ofRaezD
zrx-l*EZE7LIxDfvuFTHPNvf+f%DH*nm04C<T2`7tf~G<ulMoxL-(*LQ=6tNKrA0`3
zRHd#(_!o4GE<++eHDZzTB*h?oveP<FGoH6&Avu9F-L+#cco<DKanb7)O|kWcx1X^f
zfmw68^olOc>R(5r-(wz6-zXq%o<@L=;v$Zh1_oVhJmobWSfpUQ+IZq@?lg(@Trn?0
ziS2*7_%V%_q8Wh8YUmOkdHpo)qr&JE$)m**a+?pz{hXCN)*~a<yQ<Glv{MhMCi$tH
z+{>6{?kbU<kkDO!&@2PmL(vh|jaQXy^uo~X;jJJtxL*waq=kc*LIM~(_J@mCU_hB1
zNDMBQ!&%o7i=-x*cyD^c_3a|??Z_AIr^7qHCMy|Ri6ed5SZbjEO<+2Sv9i&YZ#0S8
znGzo2{_tzzHBtl^TW&+~wJ{i%`MYEMV88kwBQSo)Myy~mYyVh&Qz)H0O)Z^mPL#cS
zf-85^#aEaVf#-&P8#l1V&NMFhJ{;uk_{+AL&kp`R%-Ve?55%^{k{71uzQe{X1}gVQ
zIoQi-xx_$oz&zD$WBE2c(yXL87uO!Jkg2~<xclW#Y`gvk<Q2UGUa2`W`He3I#tuz9
zguYzXs+?6`+BgF%CUB{$8ikFJ#$O*<9loIjBb-zUn$RlpGgW{Thx$+y$5-5_b2Hdj
zibFi5&F`^vHLF=Dy3LW3=BNq--gEU>eRvL8w4`cbANGqtLi*HU`y6vR;+02l4rbpg
z(KZq9=1dEhMlRt=y%;s5Y%~bRxpLl5Tl1+_e|XXH;4%}6)-Am##BP3Gt<Hf(ZuVP<
zW&M+{2%hS-*Pucf5tj7$k`U)Q3_o{}<vzEQ{*$i5=ULgkgfA#bT8?OXQ^JTe!#{Ol
y2;n%a>otZ@LW>mCRzjHJO2+6@ndT}mtXP2rV_-+8!x0h@6TyD@QbAJ@`@aBhr}-@a

delta 38767
zcmY(oQ;=p&*LGXB%`V%vZQHiHjJwcf+g6ut+qP}nRe!(F7yDozWJKl_BQj5NjkVUC
zaeG)}vsif`LJ1F)F{CCpEk6Doly6Wl1neNzG<Xh+Fom#x-F?V|zaH4qnM8TDN|;j)
zKXW-g7U$lk`>jSsmVN|k{XpFo2}*;6KthE;fLnw>K%`$_UJa<=aK0gAt5Q<)=|E9a
z|Gt4>0CT1qii1(NoV|g(0mFRK6l)FS)_!PIwOoCGM1sQX0@RHD?m6J`8KxRhLZG%J
z|A3%_!Q$!vVKsgwNOK+AXlVikW#<LRIN)+1b$@8wQs$!%V0R}L2%fhKfudR3<#P>k
zfi<Jx-WJ9uuYbQ_M|8|zTN`*)7GinFrK}$zgl0J$AH*dY=B67uAc*e4{049L%jXG{
z3fh#Knk9y0wdFR-Mfle8JnPWovP|)@TC{ynM|Z$a?J~oY>CTE|IJ(Aj&!;k~f32(Q
zJDNEtDeZ|y)c*v|2{?k%uDhc+ZpDbmcg8#Id(G-1$ddie-Gq}sIo!QH*gCX-HTrBW
zTMJB(Fk$AYHS{ptc0MB$Ipe|_nyyCN1|VH#<#ZLl6uV#g=|6D4rH%`N@(_k#;Jfds
zGwxiitZf=|;et(dtro2n!&!@#Qwp<({XI=369Sb13^mv^|79BABv4zD!of1rPU{F{
z*V2$&LQ3FqD4_V{5ascJnigyln|2y?_)BWsWspG472vOntU#t#UHwbBR2sd(i1o8z
zDBB$m?v1rf6b-D^`))%@3uM%>HYGYCt&ZQ%GK)+p{uGEyu%vF7Lx`fPIU;)m=5la$
z(I3AHFgR_3%#%m@vZ!jY3k_CmikL&!o9JkR>Y)rX9aIX&5kga;EZZ5yMo2KgX)S4!
zWw1RZAB+KjB;3~Do*drOz+RV4%f$d$g0U2tD^1o<4xhtIrZ#N;OBBs<Dn_OZ)lU%*
zu|)4kt*AE2QmbgA`x{m25-k01_Xn0u8}bYXVAyZ0meN&?n+wy}5}~<I)d;N~jA|-{
znf7JADPD=|3nzg65ALRPJYkS-M|9LVblUNDd(|S8TYw>E#H#eJ`EYir!@NBqDM?`G
z{2v;w(zAr9fk_QZTSAlC7;iNw@n9s8_?47DSbC_&&W#95job1#RBm;`S1AcL<ypTC
z0VkkkZ7$6e&-h5*$YF}oms*7COpd2Q(4Z%GVoV^DC<X<p%CyI`?}}oBDD|Sc%OywC
z<#b$F@O#*579Pz;;L<N>n<|b9eb_L~*~+!~Ny8W9Fw03r^R1Q1h(GJp1o~!jIQ$Na
z1yfrTgAsVIBQPvp2A&PS_^2F?=N{lt0Q-^3&qb>Nts7BT6{yBkR;T$q9MDs!Y`hvA
zYfQK@jHV&#VCrr8b1LupN?zh%jzqSh*mph?#BlDKmC4=qCPDLKMap&&LdX+#aflkw
zD%#bVhyt56j66dq6r>Z6&bh|p)g&sC7J~NiZ`{IN2ARF7hq^#2V#<+8?*)1^fC}Hr
zQEU8OYjs#Qt*h1qA~tu{yDJZ&Qu+@&9<(DB;F&7Duy-p?;XyNt2iBN}+oTL4lM8iH
zx`Q0MT;><jt;9#vcve@m{iu$RB5*Tt4DD?GI2*Iciq7*m6&b5Yo}1Q#XY87BzN5V$
zuR~f49re70x4oe0+64ms)h%rq0H4SFneH#%9ha)3?n+lU$<>JgNLLv;(F9iWY)|O;
zoa-09ci&jQorAGwzO0k5l7MhK&W#U}TwY1;*<9Y$4g4e!gozc)dQRIWdZmUGiL>yB
zi)=nkXHWeuywnwZ-nfllytNrJ_x07gwnLk<e84YYo2a*_*<UOXBS+IXfbXTGySNwy
z&vQbndV$}yJ>iaY&I!_<hrB_w9t84uinfAeJTA!nSr;wLFdIlYux8#E*Kxs_KX!Ee
z0<9+iSNVt$2j^qe1Xvl+y!hi~S9lpaD$ZW%1#G1Z9bF@dsO$!E`A0gj>fN9*>YW=E
zemtc`{48CAY5EY78(IW;!<c<OpD*n%yvR_Bv8tXJQ`)XVLH6{J`d@ii{Xm-&hpDk_
z-<|1l4xuEEK@T++4HFxg9^P)aH9rVvW2Ro7)PmW*y8MWJcelh!6O%#8suSJ4t>Ejd
z=V<QTz!?f~#fd^7sHvM`pqRi+seJ;V)GfcnK_|iCu{fkMy|VYGH7HH77ye^lW&bg3
z|HsJ5g1&;oAIvVW-k@cCL!u|;{rtz6EB|9y{$o=AF^DZK%AhCU@KTP}8SV)BKcHPI
z)pY-XJ(~Y_AUY^jiWVpv9Hb7jm>=)2o{k$z%~T;RPznG;bjFlG!&1pYiPCW0=R_Ol
z-(_bnD4F=7*l5%g0fmm7Z*G3CCms)o6cWp!;oP(XZOV{wr##358#jKOok@yB(qux3
z5ds2o#Id7Sy_H59@ti2Djey{2NOHaxVdf$ltf6XiiIdboy@dvMR(-FLUky18pQ(l|
zmr<=s#Qp%0YEpz?N0fI#fA+?`RUl%k+Qpz$<9=mDC%IocV10s4#j-KT95YNn*G<E<
zp1XMN{m58)A}XuhA2pG-Bj?_N7@<NN3OdHKqzM_Ie=hwkwRnj%i$4fwiG?_XXvZ2m
zkRyIUU7GzV&?PfMC35E|Bs4|jX@};rRA9ZL_8<m?^-T>z9p>wWBL%}p=#Zj@u?4nD
z0)aOo1;Q>aYdF-HSDwbJuP-$7zkykqh0tO&mJRpM!x6PTkcaeNU9}*=ETUT*6>`m!
z61%k{{k_*`6U-9~E?DV-URT1+D4<(~iH7smg|HHWA{;|Hf_c7{ENmk(vBUw|6!>IJ
zN{9o51U1o4CC)zkkSa{r3OvsYnsw_H5~mF}>K^R}&lZGZ89~<{4!wv+P+jMlri})u
zn@`!Nb`7%<G|nzrZG={99(=!GFc#wU=Hc5W64dU8W{Q)}*kQK`kWmq*$W)0Zio(d;
zAYjU+@LYUj_L;gtl`tef(y*2`qA|jSzaRimM37k3g$bh6_Y~%2sxKKuKtgKEQ;Dkf
za|1CpY1l>+{PV4B31qa73|w+c$BB3jMoU#CDC;8M6J_wnq~k2ajI0s<{_OH%;&5CD
zXi9iDaAhi+6C&WTgW9YAq-|NBGvG-Wr99sld_wELVczWoz1G~<YJFCSUY33BXg30O
z{QZpY92k7=koE~857bCS?W3<KzGGkkt%d~;1CftCl0UITU)#=(_+U;+>gcv9e%_L2
z9KW~k+mrk(6a47fO3}^E_FPpU>JA(2RFpPg!CF>cAY0Ys?Wf|1$kZ@a{{n}cNA<rV
zO2N#tdBf7K=)c@)oV+z@42h-uX|V<{&uDo8iZx!^5{!YImR!`NoX{-AnV@czj)1qF
zJ$IKyCI_F_RxB{M3U-JrOrO%%+xa8Kk_{BV<eE}zECSaauRFuBpghedtuQ*my#A_M
zZeWolm|%CTEQE?dCH8=r-ITgVI_b<}#dif8OfVZ)mC$g1&HoYclq_r7)u93O3RY0J
z(4^<H=bsQR4!==~QVl_M;S?yGcZ`&r*_72TxwpsOm>TSyA?yU?pKqX(tsxF}<Vd;3
zJ&<y!3(%av6K=;$ci7GgabsE?wND$NwX@dUxgy4_Y>Rk^2>*$qZ)%VuhzFKhDp#4*
zyf%*UTc#+i606)Z6~%(ts!b$U;t-EboC6YxNK`@;@yd#V&{WQf^3t4lWnN#7y8bZ;
zyUmTcoJkGQ15JcyRA1A}DZP9oATo?s`_C`j`v3gGk=plvet}I5(Fdje|4XJ*|NkUI
z$KUW&ve5odGME38%)B%ApW@N|kzwe_+)_IQKsH|2J3cSy1ahNsqQayT9h%4y=WNgz
z8xMh;J;uTrXZ(MXDM37#80%=ZT8ZLKpKS((#YL3$x(+s#)L@Lzn~I%g0PiTVxUuYf
zjNvQcJ6U7svtPq@Dij0)gz8FN!tRm&4gj*V9H@g3oi{A=W*GWYoVTCB+YKKWurHks
zM`E920<>upZS>H~b^V8gu|1@u*7wCA^(;p1#h(@-$St?IH&2R`4H9Y%WUkgjxK`R-
zC{HY~I!H6#3P6I!hqO8dCDtb0&n|rJATB?O;MRy*zmj9Qu68R5KnmIjM;;aFKp}F*
zMQf2HN3sEPiU)GGBm%?yTg9-WKc%%zLe)ee=UWe*Fb`)%YpD_woQy5(d?E)Iys_ax
zg!Y$4wO`z&NJ{kbH<6-Q7q!1&0E}l1V8l{F&N8Cekb;%@(h0qYi^!i;1dWEXl_dH&
zBr4wu==S#ZOA$sGfP=7HPbwqa@et2TxA4Wui>mSF78GG<z2KZ4i76b(ZTyF9G!S#g
zhN`4BDA0%)R6CQcOYbRT)@N2wqtp(w-8lGT2e&t>95~3l*3PdtfxzB6p0`Ep@S9a0
zsZP_HD}z*7(~CowRqML)!vHLCjU=r*X})GQYhJmRk#yS|APFZls|l^gh!ZRz#L!m%
z1qY4QUoIcQ8UX;&cC1llkO2uPsnesiN&-yzrci%eMv>$y<L3|ZpDWP2lF|s}pa+*>
zEB^F((zDvH0BU2N&Ar)+Ck64a{z*pTpJb^2lZ^T^f&TwVM!^5I=Al;qb3*j;@7E5_
z|0fxGA1A20*r7Xa6yla)H&nn#Fadqq>E|u+7sLFIiDXX;o-V8qUa=bZM)3{;)mO;0
zjy~o*qU(GO*-K*qD_>{z1Yt^6vkkSiSHLd9`!|sL_*gVHb5YSehz(n>Vs<?4k5QKY
z@272$iKZ33&m}LvD^;g>vc0Mdz@&2uzwX(RUv&|dpze#VmNFiAh7w%Aw<=e!4n5+g
zS6KQg|Hu0zvBabIVN@f(3h1(hAB)!Fl0|n0-El+51NS|l=^9I+@g;Hjo@#-c9iCK-
zn2*8CuN0!BZ<xmJ+$}l^xd1cK_Yyx6)bQwbhMPwje1s$FVs?<<g_59EfbmZTv)J)J
zIYEj#Cxwh9tfY@#SOR4?zb;B@iYCN&&gi=n^?XZpd>})pf2XF}2_W5YlW*%!CvIwf
zRc5UOd3bZ*)XUSHT^1$V@Kh+B&JPZ2@NuqrXzam<qcgX|Ier66vDN(N7YxAiNkw*X
z?Xiy-7K~ocgBp)`=mU`&qR9P&8l(t!R*jctLT(MW=Db_?`cl+0z$xr@Chn0T_0t$M
z2_DPliG4=p`yEk^C@1KjU(j0WO+Z;eVE43iQ6qPNyD{n5Tkgz2`9NXu+#;C7?<n-(
zOnm<5p%z&yP$n=q@E`h^fFS@dC_HJ}e{q%_C;}MlE@gH6zcfoMh2y_;)CrUd8g^H0
zy&$3oSmWT$?7tMz8}u0%HXPDQj`|x2O&FQ_zm&umlnx9w5P&)Czb^pa35@?=Y99dF
z0t_3_2OVnh1tD?07V%#y5(N6u0T^?=<XpoIVz!$nk5)eb_Mi-3&@LJql~DTmsy0dW
zn}t?oy~=NPsj2avzH5^bG$$oAkPqy_c7({vWkiW%+^0n#+lye?MJ{6-Q}FAies^F2
zmHH%XBYldx46Q~~6Jxp)!Rsi<9)0Q&91s7XdI`-OxoD}+rJ%6Th(l700tBI%CM2ef
z2_n%OL!_md9;STHa^u2@Kw0U-dx+Y65S}u0EH|~m3KlIas~+w8-Cxo15*V{&<azsR
z{s1ATDH84B-GD_W(Z@}IjGDRjipN-r0%;PHwTO~2l9}`q8A)Mrm87;aH7KvZGmAPe
z0BbZZKMT$IXrmqH&(asC0@{DmBzE}ltW;>2A=~|uQ+j+ia@01b&(IK4TC<x`XZgbk
z*7xU@F{50^;d3k3Y<%&P{`UbGzczK4$?(yf^4dMngm)ANM%szyIa^<|bA0GDT8@x*
z@-k66y-H2d-FUvSej&9(HkLX`%{F8i^(BWNt4d`ICud1vaka+PCLoC=)NPKfisYUV
z%U)FTU43?~Y{FXS#JS1uT()W@btk#ZF4fA&YrR4U?(s1W`P=zVfx?zLQ)wwf$?uKi
zCplT0PWUWE_dH80yl0MTc=adQdV0H-UX!JBr1Hrt`Ho=vjo59}ksws3M=>L=k^5gO
z$;I>TYF`n@59BW%X@J-DD$NFUPZQOJR!MEyO!Es-z{|s#@(txtCMk>DI@{EQr(MHE
z^3}@m913}s7}Bo_LUmXq26+ZV5Z%HRvG3_$t4EK=c&jreGb;=)ZNw5~v_A2gB`q(&
zV~hb24UFMqE<JWa!ezG`wvjN*+w=J+u})(s#l$iOjKyFvghsxZ2Fq|#l0qY}3)7GT
zq%g$XzuK?_1TdRfii$8z2;TW&w$6u>s;Yfi{a+Ie$nC$io0rXvW;Z6s!uP(_sIDx~
zSU#LhKI!B7g6-DZM$nDGc<IAtI6GxbRPPYmr)lT^ch^(tgu&23*|-S*_v)tvOsUJb
zY_R{Ymb42sEy@T4;`2B^HekOXJ6u&Pg&>811}<g!7AG~E^Z7yltMQkbcuaz<R~*o_
z@z|C_&lb2Cjp&>M=A)rmEwkp0ps-SwW5N*1T@var>LOKR=j(-lxPTp*Y{4x>o9Gq{
zeuRCj78y1SK<haAnY2ZqUnK_c$?!z5$-kX5-<_tXtKWcEm*hweo<XN1PKq8D8O5kL
ziE#@0-C)Bp_lH8$RlI^fV~}?EYQ7qzCo)SIP$ZiaJZFdMoAKo|Uf~dNW(|R7JX#+{
z1RTLCp2Z?;5;KlNT#oIv^ouAFkwYjdURT<FAUUdt8Pr7*F|EU62Ll<PaAy&QC~Tu`
z!a<b-3Pz=_&%F}Ovly&GP*%j@kn@(<N7~2XAUMtY%K&}vh;1g0)H8#8S!x*i1WzuF
zP_<}#Y(>HVHiXGI>5$c8Istif{||CJtOJMIOB@~Q-J}>6Z0;E6Fl>`*@tyaUcXl-g
z{pB*aO~mje;Mt}iEovIzC|u0T5@E<;XVY}y>exd6>mWj}pE;FrHmzA%&uDR<=Z&Fz
z>L)WFw8t_^!%pcfI|xrbHzS%pvi$v0OiZghn(8?DekQy8H`B^e+OVvl3||K1d0+gz
zMP+1~nE&29Yx&Jg-hQ322{Z||prd)6)`O|2W6f$aRZys3+7CRSZ0TihO#<z?qa014
z^LLxKC<otdlWIO?sGsPhAKigJmOpTgyrygsRF!=(&fl2%p8P=Nvd*RoWTd5Fd$>=x
z9oJpm2zMEXTaIA4UitQ%>0W{*I{B_^FmHf^9U)@=@uM|<`>;qOU2FU6$sN_U5MaY?
z8136DEBT}$kqijn&zqTTDDN5ec&^VDApcY{UyLxYYfnjtBLGLIwsNIN7c&|D!HA9c
zF+Gz5!l0@J=PM~+dJVBvrp;zT;A+<hd+uh12jzyxY6i<mS@=z0vb+BNrs?HoA6$SK
z(Dab+9(}VWDZSMiv01ZwqZc=#nSMw*_P`K#51ra*q8bcvhalXpiF7=1G%=MCF;P7Y
zHP>U+XH#y2>8f~vmq{j3d!h0x;O}Ww_C9jG`*TIaj8`IPJ%ECcikM5O?GKW{9R2{u
z*J{ERVFvSJXQP^bhG30=8Rt+&CYb^AYLVcnsqYFF7!RUgW4Am<s$dyds-ZueD}b4T
zsl1=MK<FjvjsCIaefogFMN>@sL1ydH(`_%ivMv>gDRM^NC2y<U(;X?;0HAVn_LlRp
zD(&NbO>TuPc!@kp&EkW$5xg_VCj{C3@3EE=2g69Mw*#d~jSvSz1c>`cZlT%l^Mm|W
z(y_#l!U(Kf{a4LaTf{kCaeoCmZv{3+gKtL)?G%yjlwg5b&fEPG#TPpa!|SOlAZ#Ix
z+yvrEki-bVxF*m2;e6aF5CyejG&R&5sB82%Pog7)7ehwmQ^sI$QVD!*eeK(s7;;%_
zSvtJLPw|&W!GT}G2cXSU!WY4YXZ=-oq%(hc!Pa7WbZxLAsJDt~!}2C*dQFH&y_(&k
zT$JN;`=altqR;JE+|lB)TIt*e5xFG`$>Z8{Cfwf{Zd$foyT;fn5U6ZKh0+pCDrP!_
z#!i|>6Vx1MZb6<~D*1&CrBcopm;VGy@$20#({yGQpV5?#5ny^J!DC7Z(r+6<Z0v)|
z)y;}6mi5`9`<g6nba<ctQvEXLpmI~N=PMp88MbQIfzT0hO<^K=Kbn*y>OOdM_}2#%
zg2c*8_D>Pp^v7H=q_b~@;ZV5Dc2+9*<v=st;jq)ohlqiZr#}sl(bniZ*M+C$S=KSK
zT%Z$^q?>7@rlx&|Q=*(qMWyC+p?E{O-%+V}7DM8rRnEwoS_^KQWI=hYM|O!>6oLD}
zu8maq(hK>cVVsCB_D*4z=VqZ$kCJ%yN5n>vx0X8NR^%e~o>XP}K7#>;a7n72Bp4M4
z)Bo8!wO0}h2{4{Out^CPGX1ESV1?M*=bALQFo@7BoY&J`ApsM>NOcB^(0r&@)wy%+
zN5jNS9+h=nCqc3c#i?KTC!TYUHIi(Ps<an%o|<|6<8$zINgO8OHT5u|(d1t9clQ|e
zSQx-8okcq_>jzeW%Sqwf&*R6lTkgZCwgmvf6_Df{2MB}{CoN2X?iUjWMh_xtgF-lY
zh@%kNKsyq3H9`}?I~|T9enq)wRkU**6HE%O&fxCE@!33HBoI1>ul?hnMhrr%7(e{S
zC6D&FD2pf$JMO?-gpR8b8aS^lX)`ZbP$fN|%N%lwZgcyJHwv#jy_{`-FxIS?!aN0R
zC(BuR6QDX(;JR*p_}c|Fy19-fBvQFUvlD9T8+s<J=%1{Ig?5u%<cX1z!WX$bnw@l5
zqo5fx8t^K~6lD#;R1f>to+8(L%4Ziin<?uJD7h&*%V1cL1Jtvt&+py=`ulE;?>wcl
z<M><8Zl!WeuHS0e?ln$3C8y{4xgxaV=1Mk8fOfI-<^HSft|CJBVM=!6&E_qP!x48^
zri$?<zOmro3N>tTBw1mo^K-9!eJ(X)F?`I2AVw5n2-u5k{fe>|{^Yd3P8T>KkiTm%
zgp^XOt0UVRdv9-$2UTHq;+9*q<*BQ((ksr%2Uo5Z><;o4s+f%~+U2y1W!gbaIG#vo
z0phl_&MSVVlf|+=A61cOTZm7xp><y)C?HKD!OT7N^VupGBCcJO;~gCHQHP+aIFTC^
z=1iR~T#a35VlIh8&FLNDOXo1LIX``-ZyM>H)?MwhGbo<-ZrDDDG*b^YR?f<@JrZ8?
z?2&gx50g~5nZ^0q@f{CVH1K^+OAsijfRqxuNE_>=x9RJ|YfIks@rf!DmKAzjApze>
z4SCe`49+|q$>m5I@sPiQ4pvzfrdFv_lC&zF57>oNX99Wk#f;-Oi2<Do;N3!j4*PUs
zSju2u>0Kg+&@zF3Gh?rN`HYlgA?-I}xn6adzEz)A=0$MzpaN4{9_luzWoc{Te7iVh
zkD-OE94w2KJCl{42~uvRGYB^tfhf0rPOB%kI(5U8-(Y0L<-cIe>`h&MJDVBV{cq-A
zYz@QA)MB9o#*7Qh+>&7nmWl_$%#wOb0gl!p5e`<)4#Ld#-wK75g&BrH*391Gw<R+n
z6EhbhYwF!A7&;g$3nNP^(+4;u;1ygIZT$rTZh>x#NF?Yt$Nbh7U+*kaqoljE6bF=K
z<R5=&cPV!n_ZOaj|I`{cKOf6pJ44!xGt(9~4KG|k@WJH}4Qa)RT#D;s$di-P{p3J#
ziu1FECqT7zPWAsr-t4SpVDEG9&zO>BV?eb%A%#SM04=F*fVp9q>^vL*j!D(o8Emv;
z19X)O_>vdovJ=GC76^fz{rd--yA1}2bc$Cn1&9p8zcZ0!7Cu<Ke{5|7-P8^=<nV1r
z0;mfd)IU2nH}#Cc-9HU<7Twh77)p^DbOQ*V5SwoD5*SAwgOG6bLxAWs*tXZu0$5#L
zK|uk71(E}ULc<0bg4`cK0c8uS2-yy-$LF8oZ$Ji`G==B?lQbMC3_9Bg-1b#9>sSxs
zozVsYj1<5(3UYc1;pF7r2-XflxCV^l907!Gk$12&909;(1pc-{@XrqZ+Hw5x_<;d)
z{+w8w?C&4zTbrE2J+y?c1z7_Hrk;<WHDq8!?VX&vPt8y7%0vYW?o1BAnL3ywFug{$
zV+(4_!W%-A-R8b;(&`FL8**T9#C_G^XaRx)8nwpfl>hAqd<x|z@;0P^atPDt|G1U;
zlsnMm^85bx;}=0a2$#0@7xlpWR=U~*^5H&0QsU<b1hMcNT?0fQ@TRS;t&goPP#!GM
zshQEhJ54}I3k%?uf$W2UsR%;Az=FcUAH4`Jk6;uA>MdaZ!u%K*%wKOSz^@xX{T->e
zx(1v=2+P=uX9@2t`i75B459rMO>}Yta}R=5D>NL7-}`)Vv7;a!2i@@7x$))O?t2Bf
zVccp=dTf;CTjjn-+R2H6!JmNz5z;?BC=<VTW&(2e=okR{`o$4dj(tjiW80&5gjbaX
z^a*GPZaf1-@qJ?hzXP6wfNys+$K~Vtz(Gy{Gi^k;9GT#UxF0_!RzDL*KRa<h5%)jb
zCqJq2jU8QI243$y@ZW$(a|A-~8vrd~&;>#WZ9oF5DLURyO&P-N&6FC5cHk!dca1uN
zErb>X6F|b|1Aq(doCx6wOs6Jf2%Fh+a^%pqTqD;2$pxa8y(!ppjRC~MgS+uFC$v1#
zkKhbw6$-g$Ku4<Q`;ntMvfML$vzg*-^#n4nt~TGMw2jl+-#vzStrvNoLpgm~!2;FP
z!prVO!UQVf74T0^q#3VaIogA$jrc<OiuM4i1nl=9Gx)3RbL@lGN`H%g0;!h)kQs3O
z)!sRbA#2A!#qogD*LK2Cnag^RNjv%-z{aXyafRw>zQp4$$Nv|N_k<xP=sj@+9;*CA
z6TY$fk<bHG9RH7d`p4P){NuQPi2b0LKcWeBCjlgqO~=*d7;b{2G{)fHbSHpMjeoWL
z&kFyzmRC$CAxa^7nb4g*Ks0d05dl&H&@02AEM}TpfjbYsGrdisiH8mFdC-a-BxA!T
z$j@T1FN9ZE?zWEaJ$NJgFUUWPjc-$!^Q^cI7PzAmw;LeDpkKg5Xm&sTamQ=_W?LVL
z)J3=m0L9?NZysij!6oE+NC4oJsEPB79Ms9}Jr+kf>cN4HG>zpj+~sqo&#~@@<m;x+
zQAm^LU&p3&r|Kk-wSR4U>nipYDSYB)`bYR$u%&1Dr3Jpo0Ps5ze?Dsmxs@nt%O8Od
zmf}Oer<KsPeJ!(X?Q;(z{~;6a@Z1!9qZQ;Q4OG(3P@z-+kC18e2jCya?)?c&<jMDg
z1svA0LV$#_{ecK|Rxsn>94E;yxYDEYb#h<l=pNjN{J8=O+?M_w`r~yQAjpshKEBzQ
z7;G43rzd$K7mXE8@vzL;Kfb;)3f6TEWzTpen^O}_Y#cI)i0Py<A>H5iQr=)@bg<wc
zsgJ)E<$>L70Zv~!4mb|XFKXu)R7iXHaG2Ss3Sgki4y%&z+>x+1#P3ld8DM1dXUUV9
zPxpg5y4u~We%E?@U9!{31rY24QMUCLNs<ANL>&2Sg@!K|=IMhXo?;sh8+G6mwb_hY
zMf3NI2JKf5>6nDscX7b&&qJo9yw`iR@3`ckQ~p+ePz~8b0_?qysvN?RKcnn*O(Zz{
z4k|!D=}w@O38VbsM}^m5I<PLP{*nIp%e`ng{?nT>4T@|BP`qrqZfL+RpO!)KeOxd9
zP3Feud)<E{+j~|oHKSq2?7xaz{@nWw+@d2JY!|GI+jti1gw>j3OYxG#v>y)g*tFT*
zCueR}cHHX02`I1<2~S7iv*(Sp**CRnD3T{7%FAYUh)l0^$*4pIPbOB_w39BsRjzu+
zx7_CFc;pRoJ`q<ROI3U?;i#uwI=?b-qi(YK6RHp9dOmfbNoY{<(`d@D`igS=$Q+XA
z_mc>DHQam?;4TrGo0_kzRht^b+LHoz_a}CjC$wKf20-aN<@t+XMU}^zrBDCaI_-6(
zP;;57VG?zLx^p=2j!Ej7CWq0^ZEJlvYw~J@z_%|O+%||71ed>SQgoA;GAg}N9uMVI
zpprAM%_A<x%GfOI7uZHbePzL^q3t<ogaG13_BJ#Dj$aX6>=oq_TbEn55Pdlb1ot!*
zhTB;I7+^bk8nw+oH^HRYwS8-5HH$zbr7pbD{CL&JVW7R`E%)XM*N&2B==$WBCTACQ
z0_XW0QfWr7_%1vgb86OkdGN$XHRkQS2DW<Gq>}TaK!_%9hE43qPE~WeiQA)R++-au
zullTW#K~R}IuDXD>P5T(!o<w7RVg6M$L5_38<0|(ocBif;v3qCLhC85nr}|K{$bCm
zr#f;_S8CWyGMquM5o@ZJl@O1UaSu}@?v%^7FpPjsiR%2)iGa~={!n(Zm$`sCR5}2X
zuP5^0CFEFixSf!+{et^wPwYuXNS4VEZ{G$Re$!Ks4KYZl-=dpsJ;+Z)_2Mg#mjmC8
z0}!Sr_ohZ#1J|WQ%jCVd&Up6QQucmjLjT*?<uqW2v%AcM<(L-~{!Cecb%}0Sm8B`+
z$P@#P_ELdmY-!;?4-VkaWw$c&lQ3%-Nn0)kaN<4%a-YF`Z9=rwSoAE(e88MyO%U*n
zG8!;>@{NTA!bB^0Rf?Mq7Ipj<xD|x)2E>DDcnV`;$BTQn$8i6_Jw)K8VWxe?W&W7#
zw?Ym!uc^_XX&S&P5^=-XT@AkT9T9F*+|C3G6+a=H^8}w*N|fsc8DF{hS{mp#O_{AK
zS0&J8{rWo5;EgOcT2>62782mM=MJTkR<F{FhLkm`qY4Qa(G)NS2u{AHw6ha70urvO
zg@l?8jFfo9<SGERbq<oi*0;bYCf%gI9YE+bx(A9Mf_Rz={etEUHQqIeDIbc1Yy|gb
z*(h3qRSHIR-7XXE-fd*4J!Gq;I37z-Rj;3e#@f0wqpaCVU8~}A_~x1iaY}&-w)KUf
zlR+Q&(IKE8-tb#TMT9jU3NbEq0BB~$zLHQBN=h<p-}k#dp<yy-8`l)q647ob@Ox92
zy!b-49B)oYOe3&n?lbl}U@ufrmF^2%XyU9CIAjYq;jyt84Y7G#P&EFv*z01eGkV*`
zbhzaEXczUzbpgJc^a^vNfmew&Z$Ir$U<MYPd^qvO^z2wDY%2v>KW@TbfWu8(UAE=X
zlTCm$PMw%dbgBKtx9I(ppr}pzujI!#hCWd3buYelGaPN|8GBDt$c(fxXrs&Q%uogY
z#ZfJOb5MHw>-bcl<aIt!gS93_<Uny<Get4?z41Y2v?CdmBj%a&G)Wq~YzqPP`*`V(
zP}>cyd$dVR??XHx=VT%^08zMqu2;YEEQGX!^650Ps53rJvu?aWe4-3Vk@9=GAsXfc
zbzDza%87WbY6Hq<Qg)&KD?9QWBOlB93;9Tw(_+V8g4-0MCz-d&12U1sv!;y+<{Ef=
zd9f@Zbu_1?2{ePT0A8Cne0vH#opT91%+;4b?8EFd=q_LBEmYtF0L;LNf`5)p^2i!{
zJ$~8NWe&w5sWT;ibr65iHJ6L1s`r@ADdL{Uh@+Bh`+ZV=xtsL3P}7d%EEO=kZ|+|u
zG#&9<8c*JHFjZW+zz~w*%<0k9`?K4jsagT0D%uN|p=SmJyCy8(6r@>)QmtWg4|;=a
zvl&xENtew9deq4tfWfPjV@#2LE7n235BTtmGZ1%MO$F*ZA@;18q7EX}(%|^7wUVc}
z-?%*6sCQewgm8wx5gpW{MxHk9v^urTSeyM&(lUJqgt%8C*e4e@m#p9C?WKKdtf~xt
zi~8SpiX^L2QdN9EPE~g-N#(Fk#s+HKk_=#qX)P^eO}0<l08R#v$c>D?>CG)+`!emP
z1QZ|iMMI``hw};gL$HgLL#Y0)n3~kM3DEXIvB>(8R<+95di452t+63LF=ra{?*FMi
zp2_C=qodV)PoG2$weBaF;q%eXz@~##Zd`IVOrmD)bq}&2{J2U-mZkwM9)?gt(;Yad
ztoZU3n;tC00l-nX>>MflYUGU|_%kp;7d*drAzc5+(t<E3;~we|dC|$GiPv~-W@j-Y
z({ka}dDp1coHdKW_i%~T{)sz+R9BwL&liUTMJ;3gv{=#?k3gt6lQ0^=kFDwBI`nY1
z7P7U@W^AOrBZ?0lN6SZ(+CG<%97{Sj6y{DIbzT?E2WU@Q{-rze!==&pM&>p-EQt~B
z5<Sl?${mzI+v3=ZR;&U0nLaOFT}flE7|5dcNd){bT%DC3=V7o+Q8#&gdAs=7`Svsp
z9)l=nrRIJVjg33!NOxKA=c&$dv3s1TeXHrMV#z4qSu=v*S?tmBrNpF;s)V30LP+Qm
zjP&2<BLMu{uJH1h)3^~$_Po<afO33~Lo#;rn4D>|T@|-HO`luAwLPsx?_7$oNCllV
z=@Detva<P+Dg?Ac7L+7VKzQR|1TlKyRHy63#$lw0>;Z{lJjE^Tm58F37E~EJAMFAJ
z_3ujOC@L`gLFzHhrGykx11>VUd5WhU_c98(D1cvYY?Iz6ro7&Ji`=A=^;U#d!44Yr
z$Yz&x9L7kABV?Gv@%qtq=bXmQ(3fmaIhmt=plDJKS3<$(`UBO3GPP~%oCIfQaqMsN
zZ+}fZp&jV0>*^14{YyTjLG}`3nUCJK=bTdOHrQhg+KmN<JZ9`zIs3egQlyo69|&?-
z3jl9;h6^u?@$c6p1;@oVPQw}o`7_F{Y=UGQ=S?0;T&U@-b}I5Re3hhy-{nuk05@%8
z4#`$%z3Qg{@n40wJ(TPySQef=b^*io`xz9fa&6jmO8Q&;>D=X&JJc(6rm_{aT?(1%
zzV<k8p5am^0ZBfO7ZamW`$@$F`XsJvz5wzA*ttH?rjO38%MLms^?!Y&64pB5&Gp6s
zF%Y~yY2URMO&vr8b}aqEVtUPfxxrUxR!VuIn&Z1oG+g!V)fm|s`QRpMR0@KIvK<pq
z3Y+^vamFUj{nOm-XD{_z#xCbrWXS<%;MS+govjPveT8K)Q^{IH;KK6xsbX8WZ2+tV
zvUK>J6{M<bQ5w<oN^kAf13)elD=f<QWf=^~$^1u*Y#nH#SD9Eh2sN_-LuxC%X@JPP
zULar3(#6&(*7{v7t}1Z6wX6Xeap%PtO}?dn1(fV0#rb;4Wc^gf;$VOR8AzW#bBcoI
z1|;MRZD8ag;(l<x1tFh4`A?x22Y?!xY`5LClm+eG{HE1eTFSc9_sqO)RSYgTVH`R=
z7NrAD_{g9Fq;{*bwjtWf89!&EJhHS2<gfF-x-I8O3VyX5<1mVJu=);-D(Q!xEeVmU
zlzut&qu2-K!2@0TgHf_JWeOdb)@H0Nqy0lbsk@CSJiU+*{!>$7Q>@Uw8o*hHCei(!
zr=sQbDq?C_&Cezu1~a4b_Gzi0NaH&@GiJy$lDAU0G^c4Bf$SQjxOQXlpxRW1G{|z5
zMAFNqS^y@SN2uC}gTdLc;MYS;p53m4>H6yMSOJNF_4B(Ax!=RxdbK(*u)?T7oDa*H
z(B4!THgBEkW<=;tRYau$3jhF&rKbD2ft(z{lQ7S`YZnHAtIKjy6bDO_G11Ap`0xlf
z<k!<{f(fL@=$5ErYHZiX(~u?4V$GzwyGFTTAG4;cb;`R&L*r|Yte>;I(6;`!1Ku(|
ztxmk2$gRJyg7t{qi74w!AOC&z;lio+bq*!{bMf%-b4m5Vv?J4(4zT<P+8Q*%0&AuZ
zl2V=o;mLqewVa5eD7Q12viuDFCnz<HRiDF!5*^8R3yD0%ER6nhE>8f<L`+eBOxF{V
z=>0q)(24t`zq}0ya@rlQTk2WVTS<lgxU{PTzivKHSZH~yd)^VF=^Z=R=BbTv;9BQ$
zEfM+>r>~7pe<zW@9sre`x(%z&(@LF&5X-uq+{h=j1%C&k=SH#cn1+{_Xz)x$b{l3x
zqj+Kf&p>sSPnKoojI*Wt?n*)DhuFCyk5;_XOK}au5{FyU=4IDu!gg{XEEu7iNTk)!
z2SZbuq;juKdGEaOL?aiTBA{;kZg2XI$@zIW0Q6Pxkb?eq4Ir5MEfw%*Ht<$h$2qE~
zwxRy-qTqnB^Pi?Y7FG9~-Rlw9zbhF&s%Ty(tbADz_S7yyt*QpRBQYbSZ(%nhS;@if
z(SP~#R2FVhTrMm`=N=!aN5_YE>0e+yIE|TtK3e$@+T@_5<K4;az2TC@9AnMYid;4L
zJ9-Ql63AiWHUUe?hZI9@xqfmpqqxYZ_tJ87V-hgqdLino>5>2_?g$M{dhP<A*zTos
z#wNvmOP#UH(}gU!!YcD+Kh5_c3bv`vCz0{m7HY2hUzZFQ?+(ZZJzx+c=w?iszIC>c
z(v;}LE`+SYp}z2pV$q~BFWu(emvZbGIaMO!7k71vj)1Y`LD@-(#7F1~+o-Ap7!>Su
zuhmQeO7lHrKZ>jee}2qjg<qt+Gi6?)?g_yiYZFKhU)y-rZA&OqC9!L5?RNv16&}nE
zTDUHMps;g{R@*9a3vZ0N?H*mCvSJCh0l07U2b%RPY-?L2!59W33rTB(l^90!*0(|#
zYE7)aL;=`5t->3UK{>ZpWb|#s07I&i?b$0%Z)uzy7<XlBN~P#J|1WOPwq4Vh(Zc1%
zvLDz^B_&Uu4Op(qBG8Hiv&))UiO?#Lq?_ZhGk&krHRZLonj^Q|?Tu;F8D~U7Hn;)y
z59(t8u5LkqwGjVQO?+6QyMi-6Jt;5KPXf)P9N>UkcxeC8tW0-+xc5ek1Jc_6C#BLz
zR;~p9+^8BDVUdL)>is_T8$1I!rTQ?tkT~&|3OJGMQE&V0z?iNP<3=A(tPf9e{55*!
zklTLpA9ncdr>U9r5p*Fdolx2Dt#G5weXJ&`b8D&JoT>;UkF&By8vUzFrtrEZf0^XY
zq5ylU838$V>`BFvGf9J7K5UUeS0^Zx>1q%01Lz-i4I)D}-$mIDZ4dhW5~+a3jp3Bu
zYzk?!N?X-!jF=i<U$w1Up9?u2APd87JiTjr#fRM`G)||NtcLGLdUE?c&dq*;SUVHB
zUGILEUGNx^`Ng(Ouq}n~JsOyH$2y<fFMz!S3`|W}LibGQJ|PG3<dy4H(OmPGuP1^c
zZ&OskVw5Cdd7A;}+;NEVXWNRM$RnS<cx=tCOjQHs==asqt`vo@U-_@SQU_2pEH~C~
z@)HYmT@vG~kh2_&ac1G9O}LQTY#KM)(XM=$(js5O)V?J}hk%W1CK0)t<13)eeL%uP
zMRC<9A@u0P5UaFKTX@OUEVb#jBzYHJ&Wx$eTM2Qzh>NezH@T%zIRL&4j)1+)8%t;7
zxjpvXqh@0cx;uUBDhS^7g$UUFBK227Bb6ymqvDW?8Y_%CK3Tt&)H*p^lpaHnpy!F*
zfM~VU`L10KQ>LwbLpF)sk_&JS6~K~v%k-3B*?@M)eG)GnW3*~pj(4<Y-`6IJ;-o#X
z)|8u)E<r`T-Xi4CJ>RdC&NsR3VCt<IZ{V*a@%JBzOnEINfutmKtCfSg-V<TF(^sU3
zl`<Evrme@KWJwh(zWa+&Cy2lwxb)*r|A>unk_v8<oDQ5Iu50CZ1}RwfX8<*Z>d*;I
zA~b6rKc*}}=Jixx;$^m#$eyvLMmrfj!teUzkpO|3B+4a;=&d#qmGdYE!f3ltWVdp%
z^;32(>&u$n^y#YosoiP8evLcPTx9uj{E#MAEE19QF=Zo3N_UOpVcm^S^5R`S!1=OE
zN;zpe%Y4CR-R~pRz#X5BT7X@a)4#6L(D<kWt~cIgWzLS5n=5iz%ko46!31lkO?J&1
z{F02&UqM=pm528*Nckbm*U^*Mv;}}f&O>$EfnV!SZ@T?3_6}%H56E+)Z$L)6-#g`+
zzEAkPPl_3{I3cIp!GyQPS)z%4zzNiwJgxb%g6MwHWpA=E=Hf?`Ie^c1GSb$=A{b9P
zi^Jj@X3~sAqXF2Id>byWz3O%5Q?9lSvjE}3vX+xTdnEf51(n+F(c14Et}gtEd|1_q
zLm>$)2c0=`8&BP2&dz2YxalLhE@%-A50~A*AZwFv;bq@0%i>mgpN%m-bFi+4SQc=3
z6!0=k`+Mp%fDK=(0&tPp;dZb`a5`^D`5Qb<wv6rOx(p)Rh-4hfg2FcQE{O+KxZ}Ih
zjaQ)gphB)zMsd|nMT1BD_7GO65b<T!Chp=4XE%(3D`uSAu$;-=d<kDT+D!b}p*V6T
zTTWjDn}{dQ7`Jn6v(a92bl!#YEDNnJyU)<(koP@(wN3!P8o;-FEs3zC2rXxvbn*=R
zs1?>`*wIs0f1-SqIWK0Bl1!>#d{Xe{cxBD}X!DD#wWe|>M9TNf6KW2XQiF_?DkpN)
zS2ey$SX^m9EY^<klwSI%!XTMROB_o5qVXwDOFLD*`dD*Uz{0-4suw%cF?0$xhGnoB
zw+(e~v*$M-0>J;F<zSJ-Q=m?HtVyBF)YH~W%V4g7q5B!Viaze?vU8w5LG0eSM{*K}
zt_Ex?y4S7MCK24n1$k`(z14wKPncgJ!pR%8U@?WC`Sx*~O;a?2Ihr>Yv-I=&IBB0k
zybaZXTm{VIQI_%B5Ld{BW>HhmAPKX4^7|bk^6=8d5wPl2eo9NTMhj)_ivRqnD1+ze
z_?@g(N0tuqqZ^e!SQOKInWl$Y*p=`ZJ{X{Ng)2BI{}t?iv#YU1X_WQ3n+}Jq<V3Cc
zGgq)cM$Iu+HLB8(GU-r5qjlORRSt{2d&3nEQ&kKhwBdMhra!lsQuE2kcwCt$5zYbX
z(v84c3{X0uOX&Agn*E*SnB@?ij7zujs-)g&Ix^I4w3f><+!sw^(&It8LQP)qE@vko
zrSsa6_ZD3sb)G+A^R78b>kt?P%H*UatpEgB*?k&Ad40q&cj)noZ&&i0+b;x6y6VwX
zbUVUVY3S<Dw$l8X66Ei!j6k7K=8pKR(C=03RzTownER%I;J0eZo2a7tc%lH?m%HWD
z?65JYSwZC1ACX)~1!t_BCh?;|w%2=xy;0D#nCSxHgBB6eBa%*mDqJHtTB>$XYbVsw
zYNNv;uzpA8_eg5n*IQK%H<Kom6p+LmR8QMXbW!|w-fURQ{bPqvV~dh13ebJ$kLf_i
zW&rmF`$b#6Svpmo?U!{vtv(e>r(faySSs(|k-^OfZ>(P0)ZH)Do)%(iPTJMfFt{Q7
zPU1@}n`n<w5^)<8OB4&MPy7r5?vcy#$qeEPocG|MX-gwXdE=v4HGo7AfeN;CiZW5x
z6N)bVP*$Domhmvd1U3O`(NfMPBse?i$-f?K=@l)Pnojj_)iooNUOYSho4H+<aImgt
zy0w+l2Bt~`-1>dnL(k$D#vw;5mYw4_jK;U;GnU9v*xO@BPqhcaIpOqMFuzfx^qS*d
zWXM8!W;xPY%J-uXU+eN;A4;$fvp|vaA_DuaYti)LZ!v`s?-7egim<xN@*KB)Nr12c
za`nsOD!b{7qfFObH+oiZwhPG6p1KGPZ6}n_1Jy&BEp+$?E%KXw@H;CqF^!Ubu{o`H
z&D5v$yfy_pEpDJTD1v2v8T9fD@M*j3^h`nlFubCZ8AmSfq`jnORr*d`d}iECogP%s
z(BWSw6*G9neVY%g7%5Ho)pY^u8o*z`aCddpTdR10`~eeY#JWr1KDwF|*Q^v{BlnIR
z@|)0zpDda{lnQIkd*fB4UAp8&GmF+vs2>1ur8*^6d2pM>yLz-O)+{yf4BkSM_N>YV
zapy0^f4Cm?IU9Mvp^XcPirx95uw&J({IqEhCT{K=5=PL|13bTaLtFo$3b;Ka$0?+?
z?VOmHw?J}3<BD$k1@V`zL;I=Wh|y@M*481}*XFrB*Wveqnu#%$KBLF3Ewu=M%WQWO
z=E&|lg={k5<<F4iJr-Ssb(HDFL?$w|ax=FJ&65~aUwB4!|GWnIXHyXRGJ|qOjpOJ8
zB?=du4&=&h7e-HxTa<F9I-m#&_(B~Mm442^bxLVK*Jf1*WkMp>>_@Wm03E$&&JZW(
zR|YR3Tv~CekBy-JV;Iu<RnGY#KJ8XZ{-)uARh-G+1VLsMbb0^fF#-k5-ARrosw5x%
zi6zzq=;m#w3Nql`4!yxtAMdiG9Z8ZgzXEP_O*#`6Cq#wuQ;?;1CcskRtVeLrGxPjt
zxLB}dwwF7I5nF`AKuP!QHl_*HYugU41OEl<Fkr@ZrvN9S$YVY?Y)NKV26gaFWq%mA
zhO4zAd1-<^PE?<;a#;7Ew~y_)x9dtXVwenxhD}Yl#I)&jOMCPh5>a+dDk1Yq5CzsZ
z`%Fypj6!d5-Uf>s0sxErK1Q5GY5vUX4OTqEUKWU3h3?yqV~M-5(ca|fjWVVmxm9p;
z{f14&wFBnWVO|i+{1}en2szbF-0@b|ceo<faDg(uF(+es>x=t%8|}75)VW3|L^F`K
zR=<TfC;_VX<f!JD^P_vlW#p9?da~Yp?^;k>?YMq_PzGQ50VpXxTM~XNHF0p|E}o3(
zG&@>5C26*G#--!0B2?J|`U(+lYeDsM(#^#t2xgq~^}pswRFbK}ec!Qg=y>?>z}Ht=
zP9QuHC{<&N)@{TbV>7CBwqRJ@D+FezSxq(Wls&%g%#A>??(~Z5p|Nm{@zjT^Ak^zY
zkZ~Kd2NT}F1c<rW=Yb=hV5%i?-O_)OCNfSYHH{NaM$zVIA|@tCtGH<sGy8Gk;LtEx
z?*-S%Pkl;4M?L?9zu&=mv14*R^zF17?Pq7cf3dt}SvIm96)-*0rwpD$CC0~o4=+`y
zOqK4DsTg7fKDa~HaHnmw$mvY(-8B9|>%BJJo#9Jx2h3Mh4k%8}F*_d}3d=^cqOm6X
ziPG_P;W|6Gc_-XCkN6hv(}>~3v=gg$GimsFutYx&$LCCN9(aMa47Z5uMF@0sT_X51
z*&`%Y4=+exRC*{+(Gz2qA=_@_p|jz$`xOMU`}<NLx>3%+Uq?0RQ;xqsjz0)#f5h~@
zXdAG60+7az9^!w2FpD_%<Gj=(RERW(m|Ws!W}7MsM5tnio0=><5+a~H;;qKjSr&38
z)IuimW<t~@Jo0Io8(?N-pUpOVq5bj-p$yO$){^lrz=>9gTsw=IAPmN`+Mv2x=3gJV
zl00g5^cX;VEBc$6mG+w3Az7`z1GT@jKlT$x3oz6dgy?LBV^dU^Ycukh>!YQYU+!wD
z|Mas+v%F_kvK-;@%Lh3+Io=Y?yFHBP;dBZ_(UlK{Uk4FT6T+!GUO}8TGZe>7!NC5e
zEvz;J%U6seoDw}rom88RLw;gX@XB1n-#Z`KLw=H2=4CF|(8WP~cHojE$VBA-t3!^=
z3Lv#uKl5=ES?+qc9#rTNrO+aJtXq}#=U2)Vrrv%(4R&pjG;qGQe^aii1%^ljX(q`!
z%&z@-v&nr*Z5|(uCMO$+F(XK1yZx>Hw}r`W15Uje8jQL}3>EgLvr&N*_@KXYr9++|
zB8NB*j@H<jNhtPF(G1x~y7`W6*F}QT24JgF@F&GUkJnx&t6S{XUO>+>fRQ|^$aH-a
zJ&?m!XP>7u&d!fJeCy!}n9kYgOG*cFvW(i)S?WwUEck+>76}-4#Na}RH3IQ^Facne
z^eLvJZ3lTiRZMhkGjf}b*c+xb+l%39t-?7nZQ=hzkI14Y@fri})D`sNmN^Z%05}Ws
z(WyYee3rh}NmYG95-NmaZ!xJg;I8Uzfu~H`JyTYU-l*<F<c#Mz+PtB=v;J0a)&?(o
znRgJ0UL5ljqy>NDerJHgzp{Z4J7SuAn=J5NJna$V-4}^eh)Jw8eCa#5i0nOcOF2{1
z!-+0S(j>Z+n3MT%#+`N_8w&2A1blUFKh`|-_>QN3%SU99_a@d~q5*=AW%?aEQbkPh
zL~NrpMLm&<RT!|W(}~4h?9rk<#F%KvjI<A93^gSd6?n=p7LWQnJtI=cOH|1p-zOTj
zpSPI`g<yx7qj~l)WBr0@{v>goNITRmnFPC>YxdKF{67FwK&-zKka(f9-n_bNrM|p>
z5_-&G8DC@PWU<-F7C`SoUn`0Hxs3mupOpJsx1MB4N{BUQ7VOHK>%x|7)K8<?>7nsz
zuk*PRMM`O*hg9hJ&E)5pI=Gx1wBBYUJ7uyL-tb*^ek<ID_Z?ci;ld#pE73aaH^IK)
zg-g*NcHZ;4!(3e{G~VNIxa2s^JML6}!z(j5#R6}BboAorNkNDF+Shy&*Mv9){Q-g1
zD?4qbP5VQAN$@BMWiyscewh24d~D7_o1Q_q8nazE7joBeLd5qXVbsKlIJ+Iv$}PO9
zZ^y$3Ql7V66V%^pRnGS&?yoF!GYbW?t4(BZvLfL=dbf>v`?-g<2D6CE745Ts%Zq<)
zn3FZD?Vj4y_1UVBIYyo`N|QOW-N?QINk_kT#%(Z}(bg-2KEflzHn|Xwidi`h)F}TJ
z9&hfus`hdlPlFI@@1@8-&389zEdE4d>R6y|ne+!-STrBJJ{UTcn8O4%pru|E8=)~>
z1VS1&0v8=&4M8r!PM6?X*b5VXtOBtvWgCJ-R&>%cXUx+%aCJ&^oH+gJxTv_ybAmD3
zG{NcExni%$tycE&TZgaZyTKCuUr>?5`)C{z`G~eUF2AM<g_CLxjNbWjl{NI06ss~P
z(COQ@%r!|PPahJ;IYctuZR?Pyh(91q>$Fk9!c~RMkPL=<((e1etvB9(2?%yw{Ul*S
zI|3UE1?z2jKKJ4J1oEf2aq$rHPd%Zu;WXd0pG^%4Nu*aX{k&zL>|*$(?@@$X(EQ&i
zXdi|v?Wb=OAH`s)S!yJdeNHthS9G5Tbh#7?SI*qB;quI5uh4W@CdhO;+6r~I7EKZg
z@G!QF;Up%z(x7pZ<`6-D|M2ABb#X;35vmd$Wxw?%G|p5P=}gN`o4m_)U?R7$SUmo5
zUZ>`m6T;im39UFkB2U5LtHDxh$w`X&5|bseC!#PZBZNk!jG6&RpKkX#D95rb0Ye?B
z+VR9C`Tby=hO*Iu`%e4Ywl~t~#GKM9+h}i25b&FBD=+zr#MK*r4lW3R_GSVu@Ud?z
zkAoAMHQ)FhULLuHT}lJg2TnD^&=PI>M(U@Th8IXOE^c5e5uYM%-BbkzaXJxA17_9n
zBG+M+a?YPeN@isdVAe#ptQmFR@<h#1Q?zD36Ehwph1q_YO+-O!)O}d2gu?<zy1L7r
zdNM1!9>i$Wgu~x|e*a0O7b^6^I%Mk<S$bYt=ebgjHmd)YmK9AjU$){~`@y15YUBE`
zS<3nef6;mh$ZD_9`rz%&xf0aM;q@K((%IWP|NW2(N@HQVnG*wSSDobu%N^SHQ*Ihz
z$M43eA@Nxj80!0SNy|rAQ#s}<zAShy%S1Ddg(gC12|I0ngGmWOgmJ|v;`EvPYN-+*
z0oMc)UolaA3`1?QXtk4*?w?6|%d)nHPcIEY_()q^dnV5a)A+-a%x5m6(BEP6131$d
zUErboCU~@8jZb;+uK`-B+Fs#N&76&yZxj0{=E`95qx8ejKKcz&T2CIoJ9@^ZYkSn8
zG!l7U)TlClYzNhb#7SH%+Qr_)EukMZ3fBhlJ>fbtyGkw0<lSx(sq8Ux2dfpy`^LC`
zo;-gU<ub6Ejhc!Na7JLM8Lo;nAhiZrtydyY2+q!Yh`2sf{6Z2G$2V7%u{?~Uy)$K9
zz3r4*VilHMPe!bK&X8A!E-%Je8Y9%J^o5p!`5_&D;~+GJ9vHbT@j;C(CLNXT@&-DC
zmNUn|mT9Ts`CV>v`S!9~>dW$*!#pm<_XvA6{8(+_1z{KBZ5F)~qe8(ZD4sssk;v7$
zZuNn=F%4wwcWlJRw6c2CA&=Z?I4@MElF1m6-OlngRBOjXWa&N==mE3VR1BDk(nY_<
z()2%nXPv&l{uCKmlB)b=R@o){V8wI>U(K$QxKVbuUc7?;>!4TK2?LC^VcPA|%UOD|
z3SseXMWA(}P|)qn&#cfX_D=sj;8SV$HeW;MYYZNg=+Re=Dni;&qG%i`j%c=V7?PBH
zlxS|YDkP1wDYPe8)InhA2P6ALL^-j=tYUS4PfB1eqZ%c7&se8~qQ=tWFzpbpM4JV|
zcFb;jP3m{7?f1@JSPt*UNw#klD<=a-euO_*`4tmh+d$9D%h|7e@1|7V=EgofE(&F?
zdwF3dAGhoDM)r&Oq56?pveTJp;frd@jAFA16Bu4;RX4mbZ=}S05=z^w^b@*VYpr#E
zj`=64dAoC$MA61AQm!@xLbz$&Zz25)&2;_=i3J;WX5W1DNR#v!>pN3qu$o_}_+NsF
zdbXQr$8Eijas%>oX+cGsc3k@y()_gLFkJRay=0NE54)8Vi(D;?kQV}4tvO2wG8jS<
z>?=QTAb;wvcPM{kiXSzGrr?LAGq_cMEHQC6y$L)p`f<Ew539WX0;5F}Zi~msT9xB%
za*QqW#iKmVAs1M2Y?8eQn$Kw^ZA43#wr>$6p?PGTb~+#sO+`X|;hcd;_bn!4)$lTy
zq;#)%Iu&s>vE$+`tDr&DT<$f|bT<~mIN?(bi)M*x^+DD9D(Ck;yD^l{dPjwS<!>Ti
z56v*O4_SyR;KYD#P=6xU$0z0lwPpY}w>r<?f1R9J!fR?$(mt3NWE@^0ODEK^!nd+f
zM1(hSjvO%9fS*P>#A_Km8xBSt<JlOvSP^TxK6^Q1u${GbLZ+3Ul(@!hWNp2h7eCJ@
zHEC9?+Y#3{D1BbIDg@;2<ngF~DcZoPwM(L*+07+c)4tt$i^M`Y21hxi=n7jPg$R=>
z7R$6HXyye>@e7_ey41|U5Nh6gnUlrvV|_C%qCp5@p)GI(Uc()U4berr03XV!BFAFr
zBuNGrPbB9Wr)_W;&Q|3?dN4oRs{hlSf{_Hl-IUCckr61eCt;y2Hi~n9E%oMfBSUkR
zG6X32_2CXyyzzegW=uN|Se3ie<M7xv<yfZYK=Nt}k4amm%ddU$%l5lzMt<Wy4hxj&
zR*~9WZH^;z13QL{$6=<u9O#Bm1Ni-R@+9d-Rj}Q3^$27(Xjk&9iWRRAVA<Za8ug96
z5iKzv6pSGZ8}Y|?76EvF67z1w(N#u}*?ti6{iIfU985ms^op%Hz&=N;IO>>$K78nw
zcF;0(?^28apFmEg@cx3j2F?*?-WxEbry1CG0yNQV=m{SGM7XDtC+iJEG(AQ8@tyn}
zrsh-AF`Bmux__O`HED|98MbsVTfhPaZLc5p<{OsI$j_FimiMB6WR>2SsGeC#M$O%)
z(l=CFm4{^y_^;QdUpt46nSJW*>S8k>Vy3AdvLkq+TV}CB)L}K#J$#>s#=2=!=qtpa
z>?N@H=AASHSL-~f`^7u%2dFag<cBAgozb?p3~5@~V{<Na(du>Qai6o23r+?)i_}|J
zm@V?#YUVx?cre6&-2W^<54`bmu#f8-_lb;Lf+;;mi(I_it#9FXb?gb+d1}AivjJbS
zuq<MqP6;BVbH1^vGeMNl=aHdOM($aT$<g?k4%qf!%|eMBhf#?>Euwl8smm$I(Ml=H
zh+1V=Ke<A<-OyJQRT=b5-g@7Wrpu{|7-V<o+3dV*%v<q)W^G<b^^+)7{zm2!pINzw
zf3N3tY;QQN$qz-J@ZRg(B^_i|^pryFaVC5e9|Fe{54$Ydlu8F({;sCkJt)gc5;;J<
zGD;)1gg|%Q75ZBKDb<Slg>$VnHq+Fsc0rC1C!uZp0$Cp#K~ZJ&OAfd*WhLZK+jA~p
z?qjcoPq$=$xGQ-2;idsZci?PjiCYwEsF`~_&QbsJ*{5i8*d8)FN%9sppWN=IynUjs
zs!0?X*No)o{T6O=(PLc-DhIe94?i$n1a2bK1LmHbtHB-*nXIB5Eef=D6Csz<HHp@6
zG$*skx`9i9G!~kG2+z%qE~7OIMYz#&zbHD%$|weZR^F83z6T)&nf(Uuv=?oK4MUj-
zkMbD^0gS*(Iti;|D6@dbEFaO6uNC+815t+rnA>APrXJ)%Y!^=I!p8SaV<!h8%O0rY
zb9Hv*6d3IzCEzJ5UZThva^=WQ*l2`)v(ZIKh1AavwvWB!WSDXF$M*_9^4~C*`BW>N
z$bRd82@o|}*%<4;m(H<Jsr()ZcY5&wG*O`&`sCc+nC`~FlQ`qRorv@F4q^T<XeYT7
zh3jGA{&<~yCUoA_U5!k(I#K2QUXuf0sHpSfklm9fUKq_@`O&RI9<ob?cpXj<)X#Xq
zV0UNU<_PlQCNV=B-6gFRa#JaIhjRfW4Mt6W61z3Q^)HI-(dcoVYrVn?YPHZB9yzxz
zMc;s|)`x=JY6S1u+Slj!w_v19LqV$ou6<no-^Qq4@_%pv`<KV%exn%G!v4IPJ#nq1
zEVXd5D6z;s_$XO+FP7Py<uSQB{*jIL8W=vmru^U-Al)3;t5@qcU`k+~0GG^M^}XzW
zzNZz@pG#jilJ&jdoq%)_ZG`Z>NHeG?WH{(f6n66?v{;quDXMUH^H0S!w-4v*LRLQB
zBOlJMZqkp21Vd8MzH^YAR|HPY&JlSF!+cUp|2db!eS?WO+v)2%=u3HmxNbG0^S1op
zcH1gK4JN5d<Mn9l$&0Y6dTmd~il!xh$>BZ+ANE)eRQA4(j>1J>6L+$Zb=%9U8!;;+
z_(zI&m{_All{fp?IG}yQ=v-$9OB3{cJK;J;!<P!hghuuvRZisT-7wUK-^zzpXq<9h
z(<X|D5v6E0d~Rt^f!`C<EsPTAVBd+_iaj_Ud3oD6s9WD%)zJQ;T4<=ySap_vwf83A
z%Sc-*S~^aYDvxxfS(O0H=i<d|!7b9MGBxYWyJXzrSE!%g2A1DAa}CSHQsI^*9}#L#
zI>Z_7>^x0l-x_I&mZl}!?Q7FD7V#}O+CB}AZ>xhcM%6&iLmw&jUm!DA&iM3bHW}-C
zx>4k|y3a{INHA)dB;Kxv(kAkMM<H7rnJp$<&lO(s=p~a^8QCsn5{S%KsGe2LifZIa
z&EUXWkv(HG(mtS}+p$0Rx(qZQr0BI-U^94c9ao(S-AkoUcCm``_d=`AfscA_cv4X-
zIrEYWtJQV-TcXdo*Zc+Vcy7c{5CL`Nm=~!}#EhG_QUUSxHE`RmM~It$qc5%iUVWkn
z`LyUSEzldr%31M@e}3os-gQ^ZX{j4GftHSxX=O-rCNR3HV7J4dma=MP@}j8jrB9!E
z&*yP>uHxnd+>rpYCi4ekF0}$quPU&qcvb-#tt^?TXTA%^MJ2rKi+7XleMvP$Az`-9
zljlBK1cGx*R63HE3tqv0SCichbM(UKHMpaG7CO51<fQw<<K>xCcqO78j~gU2mWzzA
z^BT+gxp>-Xq~@v>ZI&rXos9+9fcn9RBBFpfTkv>7v7UHay&5bx^=sWxpl1OuVYC}x
zNBgBEv<T1x<^|!%?nRz5k2yT+whW?k>>(}Ez>wO;aq$p?1j>kil<8X{?RNAo59V=q
zGh%8_D~6ob6q`JJ{1VHrYfw-OdA_Cn3}qVMwyZyu>*0&p3MD_R4mNlzVdi4he3!h{
zO@qq|r8g}THsRn|E=0xOp2q3ncgv%aeP^pTTGL5`9@rSQ;ZF}lsxTdEZrLuKM|7)s
zv8~}#Zaa;-NKIycw-igIRC~w<AKbh3wt$Az9p2t(S%0^*96xg|#(!>OWvO}6?+v{_
z>Lpen3DSZ89iFicJN$65E;qhR(cI?ZAu?|POy1&x_*e8M&9ACFJR_o><P<(u6#h$l
z{k44YKbQ^7aia9_8eveFd3IrMdVSG|E$6tdJ*JklJ0FUFgc5O04-?u9U~FtY5A?_~
zr1EdwtunJL_ic_jdy8R_YmT`%%;ol_{QQ=AR^d3YN=pqlqsz~}ZcSckx52OTHkCYW
z*g0@~l)1bz7!zte@8T_T`jK%3-s+VGzJ~bK^ISMkA<dJYm@ujT>ia^X4{nD?Y+feu
z;F4b|Yn>i{va7CJfnibhoE95(OzzCelbDEP4wm`2>f<&loK^$!Ten_3>Y~@p+(b=d
zQfo^NdbKmw-i%t@A{oQ)A|JvkXx|082c72Pi#e#R{S1i|{jhfUiES2a2%8-l(GjuS
zWodx?QbTPx7qLwuIOtwXW%#BsxKG-;`tE9PuIxsCButxzxlp3jn0V-zGdkfZmJZlE
zPJqfHs=~I<!z0tBkTy5ip(kAmE5Hmj()1bAlD)BAYw(9qAvaTJWdmAe>;96=tgl=A
z;G-v0{R{aVOw&&K{u}3HIiA1%`BSc8zIPT-a9=fk(X4Z2lkslV$JQ-M%b_|__zO3x
zUtQ~e%aH49w7M|Q@chpvJ3U-}8K<u|mN06>yf@;=?z4B!lSE_#%#+Yc<Mw@a+6+I>
zj&_zKndk9lV^7smgd94Y!RXa12w|r4G9DZ$B!LoTo2$9xKa>tvC1JhPUS972VSD}P
z4E>Psl$i$i72uLzxiXj3*6U7E;Z`iNr|VLGn&1LDGPv>-V!Tt5e9WNW)duhIZBUp6
zJDJ^({5UTX#PJI^YI~zY)+7$l4m0;{>3#hw=skmkS9Rtz?MXrcrq)1l_|}gjgf75i
zZU?O#qY(z5Yj!FE-E?;sm-C%TJo4I7TIyiW!N|@OR9NWr>{(|eCl}YDw{t<}du|MW
z{d@N!`>cu=8a7fqpB-Qy0F7qYNNHjxJMaS}%Vd?5Io%UyDFu$1FFoY}KYzSTC2x7v
zp1BoETac~WCMj!d?iq9stMLB-EL=?!3T19&b98cLVQmU!Ze(v_Y6>zkHy|(|Z(?c+
zJUj|7Ol59obZ9XkF*!Il3NK7$ZfA4|Xfhx%Ff%bZm+|-n76UahHkUE`1t@>D1ymI3
z7B&o0(nvQ$N_R_lcQ*_J3<5(8NVjw&(v75)fOJTQba#ieh!PUtc+R;;@BRO^zHiN1
z%sji^XYcpfFZ9$J+H8{65G#-z#0kpA#m*@VkXF^!<`MvKa`Lcqa&n{5)9Zkt4xs<o
z(dhL+u5Mt6lkguA(yky&D9nE*V+n-?szRIqO70E-E*=0Ezc818FefK~o0C)MKY<We
zVStRK2iO{*$_`M1IDy>I=%pdfUanwUJ1Fd&|NI0n0+|3@LP7$pf29K?9YL;OprsQ)
z)e>q4a)g}-v~&PyLx5lq)a$=WFpAhgq0Yh_9IsxzVz+d3V~4ofiZOq&0$zckb^tAq
z8_3lIWDWS$GC<AJ5%f=M>}d1=9Xqhw-wthv4fK_zD+mBHIDmm5CpTD%yOTA@6#zRO
zpslC^P<IA7{T;0GcK|EkpWy(w*tz~K_fPh(LSU!Ak}ZKih@-QmlNZ>@7GMK*00GqH
zRM?@OP*#AYll8AaO9y{92rS>y!xHRZX$1@Ti@GI1PEr$K3G48m{@j4BU}vZsyBpZy
zSC1UO%D~1f>trnradZSZLEX@P@sk0&f`G8OdvW}8xi6g{ubh1TgKWS~);7P|uy%Lm
z&~*a4xPugB{)vH^(0<!&K~Ml6Cnu*MCm#Uh0swge?KplNpyPk#4EoE-^~((F!OzDT
z;ta5XwE^-2+kjwSXg+S19v}eJ)g9#L^QYs#5gHd4z#0sM0<1u`U?;TS)nR6k&EFVy
z|E^$9fH5abep~>~U!Q+}nZgui4RLbt`W^n)6?4dG$jBOMvHa8WzfLJBh$p~@jZYB3
z#?8kG5aJO62*7`U-+!0Uumt}@gY$Q)qLU2-AoMp|*qHvq*yA4wF#fY2Oo0Ecr3Qfs
z7X)DZt#cDjK29L)57+;*+W$)V{}cJID*soV|1TpscL#^R{EUAG{D1tGj$j9`e<EPQ
zb%(;1KotU81*iWF)d&5(xvC&*u)E{`dKICTuw{^RvUPv>caUH=Ij|?lS_2FP+WoDU
zzwNreHq8O-1k!-Gfq%U%05&d8&j0bj)(iL&_I|j*MEREs1lykfK2p{R2(kXPX54)I
z083X_OD{A|n3lNt_y9g!uzj=!dHyA100+Ah1PV(5z}oWz*g#y-e%&cQAAm#hm+5aL
z0N{}RjRb!I95VkR0UiK{;%@}=sr^Pm01owkksv34L*qB%25@NoMzAW{zY#BhL+3Z*
z2XN^9i-cfYEPo@|c~-v>>^$JVh!<7`_TD)Dj{Y@C4(mT47k~rw2ZT|w`3-*|@E=|n
zMcY3hth(JF5H_$sgJHZJ{(vxIj=v!njE2*{kPm;>krV7z|M0_jL4NlEONRWH8^+A}
zw;NW>8TMd1Ie=`SzpY&VSpQzNf6cI2I>QzW^2ZdoV4b-B0b!lE{U!%<y1^cu-)>li
z-}PX-%K^1>1^s3RQzQrU737ZuSbOe&K-gqF{unYW{O{`jrC*@CD~vnzuQvuJ?*HJw
z{%3!HK%O8V+Tt7p_#)K)LulJ|jU?GCw%t+W_05jR1jD`vJ}AR{o{yahN{0NDi<E_R
zCGkkA#zI-x<eV=V^Xc`Nr^%<RptZLOxllOSzHO;<w)~-+Z=Y;Il-3YZ+i`)^$n9rm
ziJBDH7RHFi&y)4%?p_OY^Xymc72S8Z?Hhjy9RVBx#XoSU-;zONC38BCo<ti`(``bB
z4NY+3a9xel+;tRn$M2s+gX6BG+G0p<yta+w(uY@92ebP7Qh6>4lzXcAE5q<e@V%9&
zb4HQ|NC*<Mlp5XO7^L`qNS7N9(V5t;`dogTgA00rFpw>AKxi?gDkpq|G=&|nsqKG%
z74GcTTGO75G648eF<P5XFlk01qOWp4cJAAKex2D@uFY2vBX4h*W)wGEppzsYaYBt*
z*nRS`Ucu9+)Bw*Z4$!U54ThUkx4+1{TnY`_@qIIKdAjlZNns@IV=+!Qny;2cpV?+R
z@eMPjY><}4A-i-kvGmaF_X=a-JHdZl$r2QIf9ElZ*kpe%zYp`4GN10YM?DBHY)odQ
zwoRseYtW7m;OwPz$?IoGGl0<2{0;uvuha~eeOxz^S1dz@df?uH8FM#$^8C^4Xg3KG
z;7)%B%`^a==bBtBR5ap4b<|}OY81qa+^ooj^iutq^w{ei9<u3uY52k6PtJc(**54s
zDz1m!8@czi{ce{`nK@rI&jkb7X8papZWnclpb<|loL8S^C{OCX9ap$4=RYkO-qR}|
z$UX2aLZ|p4x701cbX(!u1&NLJBt9Im51+Dl`&>jaNDP-i(8)!3)l4RFmaMz2$79};
zGYYDOhaHG|-&d@c>n1Ip>HvRut0a^SU_X{k`ni<adFfjJ)4fU6R5n=2SqJy4SYN?9
zzo@|eCPK2+5NW^oyQW>|=ey$6*DfxFNF+Jp+Us5|<B0LPqQdwpm^n2Lp|A9UWlSBQ
zvb7klKBtH%Th{&@3d(aq8f@*}8I0YWX`M8|JJSy|TBvpxJSHSVl_7sBoCS|}C}12s
z?GR93S|x$|JEza;I+wNb=FUH=51GUy73)|+KqI$sRCtsdbK7gicgrR8EThzg8JoBM
z9kZ`LWzpkS*=>{*>#y}!+-k4uG$574HZHx*Nm?Wxtk1*IercJ}oIl!U*e&6i6y4VP
zP$PnC%*KJHt+gW9k-~q(pQFRHUHrwbK{N-A<V^d!gk^iKk>3}yk+o{x6%Bc6KeQ#P
zPlToyOcZ`nb!;|D`p*5SEyxzmB33B{tY!B?^OJ04gLU-Y7)H_8MK(}HQ|U=X7R(A8
zsnl>rInjk~$?^RM`PB{TSAlCYYjbmx2ImZSk90&H{ocpqJfDB9UZ+;|gq-uVNqoAd
zaxMaA(sa{Lv7nkd-}A5+nCpr?NpJVLQN}BGbcv}u!KRoQcJEhViO%2(hC5q%G4x?E
zhxv?ok03LjwAj}ohN}NXP{C7MR>p^)p99$NcWJOzgdZvO745QOLQsV2P?h&=h?EP5
zC`w%CbqM9)gg1ZlP<RuvE6?dAYTuDux`#Y+-T6ekr;Ky{dSa=ohDW*o;si9gn19w(
zrbvBgptbF~s^<2*oBKm1VNve3T#Ly;Bpp-e%*ho`c}uUm$7DpqoZXa*;r8)j5P+Q>
zNjl9;Xz78iermQPc7!d=Ca_CH%FaP}`R#}AX_=x_VK{$V??lpC*gl#MfI%Xq>j}+2
zH^)!AmW@kx{NJdhdYddG6gbDtkFa}F$D+SBr05gmibqgCC8anbl5J6?$tR7Y=6~IO
zbc6zwf9F4R-;LB*uN{x>6mfC9yG>KfqBy((SUC&0(8O1j7#&jdGQR1Lc!-ar(wvs$
zd};U<zEOX~@3O3<{pbd|;g5UxdBUVe1Z6CwNmw`^h;cUY1Gg-aJZgDOOr{9I_?w~R
zn$M|0H#=~NlYUDRX~(3tHs{EeqXYXhv{y3Vqe|qt&$xDX;P;9?#HN;3mNgLR3jA5u
zQ1*|yB{)MbhQk}`i^y-eZ$24cZcg#!Fy(McAxwWo@#t4LB<f<}Y^YuiQW#sQJH}N+
zujn$j#5UHq(EziFoR3xqZ09qn^FnGZa7wj8o<*1G>X*N#nxxz=oL8tVKbrIg1~nx6
z0*nf{2#v+xKRoSo)MP+Y>z5cI{$yKyO*H<3HsL5-$4_tD|KY?4r}`+e9878=$d0ME
z4~~CY6DN4XEUEJ2<-5wR(v7Mz!OD|`2W<Q?OoJXI@{<c~L+nSRC_)rvzUw$0Xm_-S
zTA&ZlpmHUEauL|MmER+Q8THhTh^hrQ&J3N{NYo-CisXPx+Pj8hahwA9bjpw#%O%M;
z!nw#r<GVzOFvIX98ug4X{(%*C%Zd<xkbi%E!qJOtSD}{pFhR1|xgYo;NwIY}HK)kF
z3~vT7DXyN7#APNoNm&|2^+D24nC3oVC0)@lk#(T@D?yg4pXiticcLGiC*JaTN7<aq
zFk=3AVc@N2RiVi5Gw@txxP~^Vpl4WVxG^SY?{Yd{l&(hbYhutxj8D=cfi}D*T0DPl
z1JwrcXqhF`s1ZmO%bNp4_-w@oh26WOf<ne~^Y4W!SL<)C&O0;@4VFhSPf(aDJ!Ko{
zgLXSc`-=S}RP;MC4|?VYGM+Ims%}u!fg9yU+Ggo-vaNbSZy)@8>BRJ~4REAt90Ezw
z#@!&8Xz%rg>txr4s`0A<_oB(l0=$2`p4>NDXR`>?KNksBc`3y&Yw=byTE86lLrQ0m
z>*P$wIPasTs)9@-)yS<l-$fdi$dNPm=dQWDxCoI<!$5E`>LBw)pNXm13jrM8q{XkN
zZ}WdEckQ3ksm)vfl3kdOiGB+@xsQ3>^!4azVN7-_fp9rGtpi#^W7+45!DN2`c|qPz
zZepClA<{02{x0F6mP<|3K4RryP$k3nLbKa<!K{YLy>51|k{?TfU2z%~C1D3$H-Tj~
zYrJF?ga=-r0*tzKBon%W^;dbP%e{T_9i+E*vZ3}wy!}5<##Ue8z{#X<1AgL2n}5TU
z`LIPRNQ-{nzAR|WN7u{lFX(^W8EIo}R<C#v_cH9TaAo^rR%fBIT(1rW?M8sbK9QSL
zy^z`Ei`3!Qs(film~AG_=1oM=HiIGGaV1tpm%E5u9a9#V^NYCjp4A1l=dD}Oa9JV~
z3iBiueF9%fR^0a8YfF=Un^6mh{2);dl-&&eIy99lQWMPkW6!gFV6=aI;#h%dH#gDz
zk?otHk>CT-SfWh~A`Pb{zCg&hrogFW@JC`fV*y;DJ)KJF*hxQ%HmW0Q+~|B?8uRn-
zo%&OzgK4`h=GMk1<qqnr%|Q2~{Ei2;LPz))BFV*c!fB_~YF>Lhqj5@8)(WiAh~|p}
zjgcRv{ceP2U5%*FaP5C6Nr>yKX<VJlP6O-YxuzFoFA%5e20q<;Gw+tij!fsg?0)q;
zQ*7D13eF!DKlbcH3F<bP%K>}dngS`NsCk0pXG__}NJKl7sd9SaNG!%71r#!O2S@L~
zamMSENJg`hUAHb0>J22~PS2L+Zi3=fpS-z@CK&_P*$>%lP5pmsJ3F4p(l7HF&g~7C
zQ%%tdF?zBvO(JbDYF!JSs3*Bisw*&ydn?EZ#CJTjHk;=7`E0~RjPMCwY@YO;oB8|p
z?Z1^-b@6w<w6?>4{@8&-f1*N$1{f!Kiy<|1OR{RkOs>uEdQ8eK6PQAi&-5X<hAI3S
zqDxmW$&-E|K_P$1)DEF$LlE>IeU?#d5%%(JJmz8DInd$6B!E^?Rd<ahsW`7beapTA
z;~m>;XNM)gEJ2=je|hVpTsu{=L@DM4!)`q`+blZwe74JH)@L0~73v))T5cp<Lq9Rh
z-z`J~k#u+0os8eG7MWDVx1-uJLYAJWU^q}!f6&~~W4?b@a|nG?>@7fkBRy$*`m7D#
zS4aZC744>qp5bWd?)(nkcT0+C_In1;!&ceZ4-{Xl-KLGn>oq=4B#QV3_|+Y2RrIGG
z2hQs!w_iJVQ6Ff%Ivqa1$6>Jdw2i~v4|Tl7-tvvv%V-xe2_}8ls#-&isQ#T5T-+uK
zPkbn)mWh9K_RP0BKsR9lWKhu|0+0Q6d9Lcv%k1Y><@dH9$WxlZ2j5s3U(sUcSluY8
zsNU<UfZ5f5sztO~dNSNs8)g$YGNG@n7p&6|>xwv)pXv8nN3n@qwW=71b?$t1O`LUQ
z>nGlx*m^ggcQxaX%K7T;!x|c}cT1BR7&o@mhRlD6U!4ANVdrtMxvh~vl)$HYkYb^^
z=ppz%HayYudVr;octfi?==zqD`b!r{;hfU00i-`E*2I@o$V{EGx}9Zf!8&ag{ooO|
z2fs*ZmZF$nEwZDgeJ2(-!1%aFqApLw{(MZ6^>sv=osLR;2HreYw>&kvw<YIF)7wNk
z>Ir}9bB=~h+2)`#a+d5!)<!Qr7E$!q<Somb{h#XG`2`ve0_jxF`yi1?v#9hK7j_Lx
zXoD@)3!rlNWiM1#a(Zc93!^nT(;^%6=#(6>DUVSj6v`dF5I!s|cPor6eeXR4Hv#(*
z=~&t~IbW+@JBwN&U7U;x*=9%5@;4$!FZF-#2h~U(+_kS}g|z0L2y9thtTP0JODP?G
z!Y(druv*Zuq4+r5GrtSTk)giwNM&?vmOXD`Z#WlyGH*n8iCjoU?K}7NaBkBjg&Q?&
zE7ON^1~{ZR4RD@r?UM;m?TWTN;eJOsfGYwfPROx*{FcvT6I(XST6*Z1`&?#=hLnF6
zRfShv*fV~J<_#&RC#(K?+t>$~h@R2MJr67kH1J&>N4K$z9f+aJXUB<Oks+Bh8LL7u
z1`F5jx|)>+so#2hxTK?{&LgVJv@<F5e78#Y&TWjgQ8EmTpwpue<H6YUGkg@6)T|jl
zK0^UQTlz_j!k002;*SQ~MUmQ~7rcMZDb<M?+}Jpw<qU7MBI<#|cJ3szlMj2T6On->
zsZ;qGM@uw*tmLRE&c^Cp3na5uIsV%OYWn;HAMsP!6*8?T%Nu&>0{P`|Q1E1S&K<-r
zBAS=93VY_4@Yb#3DoZ}SOile<s1pt%#Nqw;mW7nABM2$EUY}tpO+TXRha`W=O(bH-
zfj_NQU2Q#WT>ev3KJk<dc#62i!e|2Z)AzuKTz0Y*8PjJ*n+zExPb$&8@a!$K-lhu_
zyh;pR&5Y{0ZOGppgK+6QeMT?$RxFKIki2v<nwu=>N}sC-%loK^GS%nV8QS}~PjbR2
z(fd#1)(1$EN^WUWDtuCz5zK$)<Gg6B2m8K-OA-RQ<=w?fBdOjF$MROKYA8qCA+gqI
z%r+$CvZAxGA`=DpRmXN{9fn)Yeh{I1CNo3*<)J{g)4ZSbWxZC8Y_Bn^i}4V_&Eh%T
zsV?^V=9;VXS(=u`X?IEc2j=tTWU4wp?%9O+Cxx=Nw|W|iB$SUY4KsgaL|$AoX>*QK
zB$wu9-}QV8vDMjf(fKIAgL1?kIOuTp6H+p)G;;r4^}y1)k-Czepkj~Z$|75q@vQzC
z-yNWf8L84~tGv`(a<2>j{#%6m3ql^=cO=*%M=29WG2p^fiJGo6{~EdRK72rAxa{5&
z!@L9|_``$;?Rj-k%l?1BaO!=UBCe<3RN_B44sF9}70=|9M3Kwyq^4|Ec11AO`G+u_
z<c@H=d{inBKVb2vyf|RCIo@$X5{^{B9-53O^m&3xFFRa<--eNX2%or=|2_!r*%60K
zviQ3y62c0`uVIBr?H|M)xV)=crIc=Xl-vudzJIrWR<X4KGL3&wr;nt2=vn#7>+ou`
z`<+0*D~#uRNN@0yw?8|-iW9ny+ROEi^MmL0g&;^NE{@?TdkVwf2y1+;le39bn0P%V
zHsej55o&8%aBSy4%%f-Zx#hIDF&K+kJ5lb{l7iyCNKrBc3U|57xhINZyIO;F1?|=B
zx*f(7AVr$yOVWR`oT^c4^ioturtzGt2q6IJh72EkS=gDj@3v_8gxV5$o|Es`&m$3?
zYz<R3|61N6`P{{Vm(JP^5S|t%hq_Hp60%^IGqb^dlI@t%L^0XS&R9c3TcFKjM!?Mv
zs#UC_Dr`%|dD}0cGjAhZnN}WgNhl4LL(k4z+Q=IO=aqkY@2Bm1>^>cFp_hqIY0#2>
z3fKN5^O{Hhnaym8rX^dynEdN3TZ=UmFZ8>~*U1GVErrDyzOKuVq^QiNvi|y?<b!5T
z^4NrTGHjX(2}9sow@~rH25TW(hYCk`PEyk<YEwml-J>HkUI`@nxh_(B3fxICjfFS{
zf^vx6T2_C#e$3?i{iYw9iK^o~SVi0>(uD&a-ZskNe8J_b8)2ZF6h2^*MFy5+Vr4d3
z8s8MDLH*;_&3pw#yePjUR*fGFE4)8$O|-wTx5f{TU}nx+B8^>rF-mbke)<prsz4#e
z<CMNdWDAQ@p)Sp>^$*bl6;j6#JdaugjV4c4!~1`x)h6{IVqC=ApBs!3Dr_=5nZQry
zJKt+oWB$}RNHrGk++K){`7FQ+u`)GZRk-o6*K8DBTOuWqYT?`j%PQrXsy+p=eR*U=
zV1|XMQ=*$!t4|{czxVzzunSl+kXhSDbg!7ddnYWBvPdb<!ZlwKu`G&-&TM3!tJ2wm
z#7}=uuA)3`jrHydRm#QV2im=jjZNLH__;H3#*dc~CTd>fK}ydiTd}`IEvk#X%xZvK
z=26e;bH!{eIY&WGhL82*ow19QWljA1`|qXwS$*3ai0^K`As$6t0(_TZYc1|x_q6Ub
zq=jT$RK8L2>H8}1INg-Rg?J!tlf=p1!g_yHKC>q!5%r*4hMVO2<N8)deL++9p>O7_
zvqWgZKd)>rwDs9%wc~K(WT^pXQy~dL<(_NCCUWzTu5WaGiem*Sb`YOKo2=A%n}rT?
z)$jM!0Y>`#-H&4Py$do4>_n_Y?=y0Tg%}`Y_Lm0fr#D!EB{ep*NH5Huy7G8wZgYPj
zEtk>1jW3Kli!W2T-QRzGd-wT}t7EgeS&Va1>N&c$m|wV#%>b64AW7|2DWhHkVRbSZ
z@YtKh_$ZpywE>MonUSNQ*jp`^E57%622Q0sg4($H`%>bwjgYuKKUb_aRm?WXQ!SvM
zq6HVn#LLrAH$Al%_t1kNenbK7{ab&h>OptJg-<(6U+zwm$d%y~iCl8%1r3|ZWZ%8%
zgWjUF^BcCUcB{GfJ+=lb4l=)*_=&RT`{32|Qm|T`dGWO|K-Jvoe*7yqW?NHy<*4?t
z?uX$?pV<<)dCFvIx1h<$Fn=ZHTPD%$iW+t5N@`_!<8W&|zpf7jTg=DO$zXq}NU|HL
z;4^-K*Jv4>4RNy-YPFv2Y<ufDH6LD-d<i^3;=Dqg7(`5ulp`JSnvVB80gOc#ekRJg
zg07J<y{CSbBW}Q@7kRt2{E3@&a2W6zO*P`fv)(-Ce!3P1x_Dz5@W}fN8-&@ywb&gm
zDJ#B9=YFJX4zy!?j`-uVU=4qP_K7$omCvrpMt%`+KM%kZ2;}`>6gSR(2a9^W8omv}
z1Q{Fzn^K%`+4C2b<igv@IylJs!YYCFwFLC-EHUDTZyFCax<0%ZPB*{K@j;$b7idtE
zo^5)V#Ir3<zBcDpkV5i*xT5vLa=ho7Tc*Xrm(EV*G8nQjxH58AsIz}em>R<@YsFNN
zwOCk}44F2JZ#Gbp;TgiC?1|-H9(rC|*+VKk1U5@k8_V1F36Bk5+EnujLl<xeMj6C*
z5+EW*<0YSw-nhZ&aRliZGjln=8Q=0t{Qw%Uc8u9daqw)?#hv>}KI)`y)cSr5{K~X=
zxcrl&K{XC3+MG0?JhXqy*Gy=%k*p_jU@WSN;V#$iNqU;~bE+t%ci%HADr&iwvbMyV
z;jIEXo=EGQdS1I{G=tIRdWr)&t9#<x;KIbphTE7<W@S&w5l2`Xo?+H8l*W3y>+$8-
zO$!w^Gf66wF`Za5$?nUu&lHF>?(sH<JvTl>eP|O1R_ThXVlIC>0ne2|=US+HlV12F
ze`h{2bt^6aHgc=eQlzC#H|N{A3iN8c$-b?z`HUznzpYln+!4AfE%6ZCxKT_)fKMyI
z!Mr9IA4fnRT5`bgvx@Vet6E69g`eJ0Zjtx(@-(W;qEi0Tb&fCa0SWKcX;n*J=0uOj
z1p65ch=d=MLbHDtHE7b?Bfiu`AGa?VJR2pX!275s6rW_=E{%yii>>r7?@LN(!a42F
zRP;C`n?_f>V0#(n1B3z9poLb<@ZDXe&*G9x&Uy<f@iWEe?<KE|H73Hi)bZ@&Skn8C
zw2%=`fL?P>#wIycYkZe_XqsU5#p7<pXNr0^KhTXaE^mL&KkUzI5@Eav^P*#CPs;T3
zf{Gix%^*@A9Gi$i6{}%i9qBuJ`swgz=J9McG8t>NB!dQ3^P(R_%TFXDrdhOwau@FN
z01oP1X;>wSyxzw5TdU3Oi+hdi{(w9^Hxz}GtaFeZR~rHm+6`3Yi>vX^D9o)1llV@3
zR#RJ(dYXTQAFA?)&%JmS>OH!I<V0T2EnsGN&XPHj;eCZX7uqn^!CJQsAEC8n{lRLI
zGEDbv);B-Wauh%sK6~IZyN8bx*YS1J*KHczFIWnX(l;#DP*ta#_4sIgGfm*ZXlK_x
zoT8KdXgh)>L^InT-sY}`{;|nNL29i#S-K=6-SdAaw+cQ+iybopz!4937F|+Wu!JWA
zFNVPhp-Jf9Ald`B;E2AC9eEknjn*{$f`ijgG)LbK=Uz*Qf~D#qRXy1LW1n>ooK|P6
zPkHFgU~=kwHRl>ie=xhB(`c@rSxeBZz0dTMy-JScP?|t(`@t1YO4L-(xbRfnth-Sq
zJ~V$CaW{1gv&d^ZTlWVBC2$^<bp+D$GxZU;d86`#0-X%TSA&4c{rdfkLa&cuaYy@4
z?82tq4_D$picFc^pqq)WI?q@df0x;~{95U-F6J0HW&hR`&b&Wfpdt?+ak}(#EMk68
zW1xkH`F0sxTly&Yw)Y89PngXDKdRH?;1_?#^Cvm91^0)yC6#db*`GCTgcjT;-jNX?
zWBxQ2bVAZ<tD&&NKeKyj%Q0Ay(A1Q}r|Hp1ZNu5eP8+ia<YJ>WRQAy?&*db%Hm)6Z
z#^Ti_gnQ|$&QFg>_L>*zlrmqx&-4&U#i1|<X)+(pNyT2oJu_lg5%}^wQRRf_u04ON
z-^CP7)*yCp*ZAfrLM#>h^y>?|4Qu?`g5f=f+BjUImYf&6I+Vz3%ow-HQ<pDC6s~_7
ztVdt4?WYvH((@Fb#K$7&iy+6I&;J5sj9QS@L<&05OH+-Y7*!06EvCI>jDr8{TE&a9
ztT^#i3_Ne$h8+YaVi9M~P+kGNx~G2~xSdpl2I*1^%4mcHjPy;xQNc+x3)d;BzO8^~
zqM`TPakJWOJ@vDxIZzs(FR!r^rcGzI-C7A$1nJbLMfd1@OE1x`o@?vQj`?89m2i3{
zY)%JFYnCjYX?sK3{6<H>@kaF(HF?f8_^uk_X4E;MQnY~1mf6lhczf$E`J8{;#At{Z
zSu664TJ`q0P~wP`JmZ2_k{PrgvjKI%4NMR#s~_?VUB3(cY1`eaCg`U*5N`_*$)29?
z(5?Lu0h%pD##FIBVR9Zd8=ba7M`lwQ;sh|%V&~*8E~k$=SB%x~)t61+;Aq?6e2+Qp
z-if^0-4d-lk2+^wc@Fp8!q9*6-Fc}9+GI;rjHX6zB?+%eg8|ANgIA6cXZS{1^ZDk5
zu<C%mtM8kX55<YB=zJ`7qd@^LX-&4Hkx=UN2}>Kd3KC7LMMJz=Yj4Snc1x*;0>g{u
z?h%}s_WTpszOjFnVE)*oa5;Q1P*i;JgM@5O_>8sditgeToLWGnaQT1X;$9TLHMw%j
zJ58#gGzU6ET=T<Xtr^I}u(}VQ*NXn4B2`IK9@#_bSXH9+@I5E61~t=CeYT086hO9?
zbf($cE#EVuIKW^Uy@b0vLns$4Mjea~1;!V$S>NyP?W#9J`-;k0CJ#9=3j5qiSQc9~
z0z!UT*s!Z><8%f-E6;zrm2p=dM!yv<6PEUw?YE3?+|TUL(L5M)%Vb<VsU^LBE~HFI
z6t5z)RNEUgs<8f{%b7M8Xm0XlhFI)G71ek`_XT`YOvhqT-2n&k`^o{e{qDnXGtSw(
z?$b5-bqbX>qKM6S5YevRhlD_HCzCI!$X^<Vj>|WVI*tekh2ejANWY>|b!UgMM4)Ig
zK2f>-OebT3hA;c%*a3@{U>~uGk8JW3v;SVFP|gH?anzdCZ9{(*HLAyWsN?>JLz3w>
zT-!}@wZ#~dn~Xb(9|=PGn|SRGnWY94VetizevP)|xlv&PqenGb*1l)2{898Mo%J7-
zc~a|bR0*A4<`I8+?_cwBc}SgB=?KspP+@d*kDceg$FJg0ZmyP>&qg!l)?+t4u`Qg@
zPw1SucU-yOcgZ?hG5CUTM3A{ajZ@5Vl!Nc+G6?+ik)$CE7ZaJnsy6W0Bd0aCF~3BI
ztHlFn;Ucj0OtuapmvM>9ZUEtE5wMt8eTX$&R%KiAOYMKI*auG}HXxbC+`nGwVS)Er
zV)sdY<a7bOpE=xG<ygnpc{QS4Tdg`w**ukglKmX_My~L33i7_(uw9O&CDOa`@KHzU
z;>9)ac`8M#$UAuE2Gj4<ih*5v!o{N;E(BT;Y?*MG%bLjP_m$*|lzn^wd7jmnjI)?4
zpDZ`@n@@j=iF{b=DkO^<ECl%m+~;Gx^V|$Cl(!E~OWy1SELBIYTo1`piM~jjh2Ax^
z(|cR_`3R_BY4?(*#N;Ji9o4fWLky6qz&dJ=)vLTskSFnb7f#ItgY2`F`9*^cOnBU}
zIJ}sbSG@wFb7H-7jkU5EH~3j{(U`-@v*iN8Cf|ReS{1SwuwIAUSDG@=^TL@9IwtBG
z63{Jves+4w$2Fwib*MBUYEO7JY<D>cT66&(8`4Jd-wcN8^vk`U#D86Cn9$rChMSCS
zJwqn1dmk%&RT7PH&mE1o)s1!IPkH1}n;A0`MuDJl-kd!yY$dU9Bfy{&;d!G_o|23G
z_P&3gSU94H+fw9nW7oh{!_Q80-Ou`2;VYl8Lmrc{u*U9)uMH;9nwIplxDQaKw!BM-
zgB>jMce$l0(-`<@Q{r(>D^Uz=N#7yD4Ry}r$@-W0U184v(_@d`1o|HMFm#|5*I2wZ
zu}Yjl;B`I*_2PxC7-!R{L~V9wD+h{!6BU2_*;8Bl5Mvk%uOn4;uL6eGf)w?sxa|^Y
z=k4&mp4w+2R5R}YU9KE7Y~Dg$I6?Rj;^!C#Li{&R>YE_rDE1Y?JA4;Rq4b&o>zz|P
zBf1)%hCsC1Be>OW4@$Wn7W$iT_cF#<pO{imP*40KHX@oueLfcVbCoOi>}Neq<hXy@
zXy`ox9T?2I49<A|K`AtLmZPy*DtJfEp|NnEs5q`n?eFS6S87xsykW>+xagKem(<4F
zqdHP+rLhb~IHZvRC{7l?uVQ|Lial>Jy{{`WI?EEm&*ZSKKSpa{N5cuzZB{Z4gYE}l
zz$K&=ecaIVR-<xQwEVig6zSLP*yewF^rdX9cw0%C7FXxaAaicYah;yM-57JhW5E}7
zFK~7!>e`Xrmh%kjhWF`KzgU=8YXtmJh8Z3qmvZz=ys*vm=?x<}Oc2jyo(fS~&`C03
zf@RNW=Z{K!=?mz5Dz2<to3gz=e&>ir^w_GW)XHLzeN?ytkr?>As9Yf7+f9Ez9Hj5s
z5uRSY>yB|uU>RA2h3|u9<0JTXmo9>gMdN~iR?5_#;6-%t)pE5c8A;9;L<8iq;nY~i
zUVW7V%WRj6+K@*?^sVA-!H#rPusiRqIFI-ACdP9Cpd|u-A4QJ*juns~i~Ef@w$n<X
zTWBb5tLrV`{gprl25Bq3_?myg7ma5fr*k@-t*Z!`$z;@wlbEG-eC|!Hjqf*#Wl9Q?
zWC7zEnW+X2c1apB<3I$1KE~S|q-<hYYmCzQnKBv=5_9sXT5B9N22**ng>VszRdT7Z
z^S9=26=}oq34=cOK~m@;S4R<3gg@lG9ps+Ms0dq>EcHvJ(r|^+$-I9Z^IS~PjERX=
zinTT8ySJ73zF3lKJQO$r>fwnVlJ+9m1VXE|i7#idkMw#WMdT&T_9C1%3_L=3VM~w5
z^r1q&sDgxeA|Ad?RKsVNTn$QjEmGM|{a4b=*CJOKp>1p&ehP-si|*WU<WalrZs<%0
zt-GI<scvuE?luRo2IGI3*YnvH{hFM9AYAa0j+4<YwEXPZmsXBhRHaB*EQ@Nd+#Ezu
z1z<08j2q&dn?v2%kQyG=WMoPBfnu{J;diZ^pR>xf?;S_D{UH3VYSbQV%5`b)RxPrH
zW5;ZyWU1z7@>K?+mbv07s@FO#IBK6#K4u*rJGmC2(^R<a9k_q+lp>|F)GvV1@gK<R
z<J=V2=aWAKDDAXUd*=zNn|`q*YsMetf79+iB#j}$Q4-|)=EP-G(xrkiHO`GIma3ar
z1-0-UYMg>{x{_GOA>Jkw^=QvNf@WiN*Xa#<)^sZ3f)-~&xYJd5zdlwMYRmVP$SFmx
z9`LS?krNl|X<L6FqIlnS)Q9u256q85t@OA0wUl3TgsK;qsK2N0a%rm-rZL?NS4n<+
zm4&vF1??{o#*rCVqCD2>!#B^6aYQu@1*^8T=lL2tv`~CZRrfS)5hDIU(L5Iud}1Qh
z`{v6F^SA9gDOn4uc>WwF<IWQb(flRkUe&z00~TKQJO+OXIxN<et{TFQ>3+J2Me{i&
zEl|7%ZzsyYuc%ICjQ|E2`JJer9eZQn57Rf^7FyRXe0uHB^f($3Jgp;?dNrP&`WX1J
z9&-X=p?~za%pM`&#YvSd^xm;*DC`w3RtUmaSMA$;^%@PIAV98)b)HDsQLLZ)>$VW`
z2SggN=PZBTX`T_EzB~=GdL_%M+xaFQln`>UXMx5a!z~;?jYgrOofQDRB*||5<|@Eb
zZ*-8NK7dJ1k<{rg5}=&Y<%!J9MkiW(-yVWPrF-rCB*ds5ZLZ`vn)%I$U*n#io0*I0
zW5hd=6i)<$J^7m<7b;3mQWM!KVtbApop+B19wC2tdR&WAmJ-?74CF?Hs9(fyfT-KA
zdMZQg+FSX<g)g(&RI;mii{ti5J$o6-$-rnzrxz@zdx&Q#&&N$g2etwrIUcs`>$l(V
zcG>#XS-25Q)**G0J{xv1h^)Fb2!jZU!S16w2HM9=?$k_4g}zQz$Xq`*q_vH$3Z%l9
zwf2AJ_YI<Q0{H!*_w9)^lt7O!))I-+eU$iYk20ezZML~DCsm$pX9sx1g(A<gql_Vw
zsaeZm4SiL-x7Yp3y@=Bwfgt?yeK$cySHM{SnRJ!sY+X+3{X&94U{aQ<wk}`sVoiAS
z9@=C?D>(`}1tPqGgFUaUC45Ig!9^N6fpmX`KiLdk*I3f>Y_S`rSLh(o?8+$uo*7&f
zuVAoS^bd`tBKXilII+3Zc8u-U#H@v#XHXNsxAtkF1f)vn5GeuzCWIcEA`p5J=^#a<
zBfXbMm5xFrbc6IN2%&@Ys?s~syL3c?w9CBr|K3k`=6*Y8=gjQP?uR|I^PJ~r^sfRU
zbY(+fhU@)KS2Ex8Jl2DXDBmrwyI$%!ZYUWiLE|3bIU8aSrbA_NYG_Dr*rNSHuNqi(
zGPYu*wdU;$7wOdj@dqL5?x7eAS;elAiS<m#N6pQQn$4eCjY&^}8ZGi%cs{2Do&eQ-
zor;8F+qK0kDR&A}M%pe#AI)<IPo}Z~=E_mezaE%%|MeD>`?!~1eWze`dZ!>stM(})
ztS9<-n5e-V-lhCHth$hKl`MGd-A6-X%l4_7y)GH+d;Qk!bQj>h7x~3~tfZ74=EYM|
z>7)%FHTYWyeASBSJzCZ4aW2{-LdR^>cepU(1?+&H+;Bh=L|^IbG%7qicHuL+2>Z$1
zMdkwmpspW+X455}{SHNiKP%u12WRNqe&t08XVnGVk~pm8nxpk}iTLUX`2fujbh<MU
zef_v0-~@&ij=2lxVgY`f=;Lp9p<M-Fj}1L=$BU`A9|8=sqYroi^z|CMfC6fCo8etZ
zd<po-MlA&u`~T8zu&A(z)c-?-BY%6+^?kjq{AMlJ>ka&I=^Y2x?`_Gld>0q`gwIfI
zCa!|c)PtL;|N6J9yz)u80W3K*3tsYUWpqzNTR!C1_;|C414jhy9Abqv$mm1zNC#=k
z3QTgvD?%G$HgZ%FX~-^@M@sXhCR&Bzql);M7irZ(JC@#LmVymDCQ4A|jO_jZt`&iD
zSWVz_W#0!9lzh0cWM|+e=_1>H?jf5XP!sB(CLX()0wwlVWr9;~ro7XNqBkaAlM#GJ
zzNX7CGD;-MEwGK@kpiY<?d(ttiOkrcXbt#LbQr=XjISfam<{-N1+VD%hUZAtKZ2&1
zmbskqVBs9PM!1neyZdgWNOlH-Qne3*o&FQ#M0m+yI$V=|RbHezrJo}q8&!tAfEguN
zOL`@^n}#aeCQzA#hN6OiDnB}#`|~>iyl31lPZ)6OQ`UVk>m5d~+J&UJELCmnLUZ*w
z5l4;q@QPX=*;gG&Kr0cD8HV7kvmm&Vwo=j6p3QQq1Gujv#tLjljuFyJGCt|lB0zG&
z@c6)CY%Za)<pi?S_}er0Bm4NNi2d6ah)60Gl^-g6$4K8B1khvki5aaB&&sX0jZ$h!
z8Fj_)Iz@7BBC{|>_E$jvxwowvp(L_vZm+|pEc54`WunN4at&tk8o2eWK6)}*FruhG
zmmrQeXd~*MmbEG%{YLSUsvTQ8vcvHStnymBz-JAa1jQ~gCZJJ6jNA+<ACoqmmSN$|
z;LPInrR;@HOZY|=hXv`y=Khz?ZaE`jjyfvpn9;MI9{0mfw+pET{jJA6ejZ+8k`7=M
zhk?@$=P3<k>L#y??bE%1QD>+VINu$^%aMc-aldVQpY#A}CX}QgkMV5OR?fdrRG3aB
zOVAPu<^hQkzxwbGgAO`9y+n%fD)sUl%=S#24&c^{(_?%wTU~t$ZO(GT-JK_B<V!L8
zcH?ovF6A0q(M*D98zb#D`@*%~1F9kgUP{kMe(bm%SzZ~pJiF%ty^hEPGb`>kkg)QG
zkD~5N(SAi1L(}jqV!79KL)pJ?QqH~qYYHzuc{XIsa<Q(}UiA2A<!)NJ9#8H@+PByD
z-k)u_AL8`KQEGGEC}Vd^UKh)m+4FasfhQe)9&;KhiSShIjogKBa+R3AVkV<YO3HU3
zy@ZqVZJnqzYk9j;_J4zLjC50oJYmkstlOXFg;pf;6L<fwlvy{KWW>p2T=3Q9N|1PS
z#!V9HNAax#?(ztju$RPZNBd=c6xX#!H*+-KXA8T6$}lbOE)nOAFUe6pjw<rHdyHRn
z(Clx9);`!j2j)lcTI`t0Sl))=sW-7$Ud#h#QU-AUVoO_lZfyHbi6nE<%vQdp$m7p&
zT~r}2BxM|4%J_rV+tM^EGY6llx*UAJ=kP68WLnzsmUifuUvtr0U{=k!Qc_Q1ABOpc
zl3y}XsGSlye?Lo;<gmPr{csO`{4>C_MI!%N`gQ4okgNypamdW)KmEx0v94mRgaqHt
zC3e@Av&H*|nhv*gYd3{73NN#R8#1z584f{6$EB>ezW&|p=}M~e@mrT~hJg!#46pXO
zgh1GZb2aaP%vuxtMhG$!GXIuetPHVr@<#d5YUXc@w*}gVr=)`<K#@s7K2^M6Vz{73
zaJdz+Ui=yen@np<um6}VD6~0o&WU^Lmw|W9=)Lsx6Q8%j<Jnx+Ez2oAmNe}VDEo6H
zF>}yOgrf3;IM$J@_*ibu(x&L4`~2G@9UXqp324#%F_E)vfF8Qq(T2!$r+J_#iOjFq
zx@D?Rq7s^ME`GKM!UDo`tDgddumt_!fH1O*rtMIHr0#9ZYvz}I!EY**$OT89-I>~L
z)=&x(yM-a%Oca3%XgJG1y;jswXBGoFWjplCArdz}qzy33`a16DI%W5YKL`*9Gb<6C
z5hkWwzdcs?=bNneZ{o9HoO`<q!QtlE)L1Z9eG|F2wAz<HqNk7JRN|D9T8xKjmw6rs
zd`%4!Jyc3^?}_P7?pgTfm^8|&n;Ds}d8_dQJ<LuF!e>EmvJ-P4f2rGss!W#cSzAmT
zU%Ezb6fmmK9#uXEm6Rml^SC+T&A%N^C3~jSX7r0VyyS<&)d8NTaWqrjkTu*UmdKvu
zgV+G(xKnlua83&EHIP?G9LGhfaD1yjvgg1?MqL~Uy8SIcHdkiWelM!cx2guT6sWU+
zH@2*$Y;B^6`q$ng(OimDA=fr+Kj`$IG$-(KXLrzOA7k9O9Z>C}4_;~gVe;fT4+nY`
zGsa6Jj<*F9Q`S)`9;0E2>CqP)L$fmVg$IVI)nCjyTNK(%{~Y0`WpgRyRT#aM;TTf!
zO4}bAjLk81y065Q<2+>xm$jdA{7P7nE2sQm?<J%`6Mt9=`6hvP_+h`wlg74<>+gZT
zoRoA~b2X!mxH8H|c}<K>qtY9(UQu*p1iL2Jikag!u=}0gQFS9wjtuOgZo8k_uX_Gw
z)uAAu-B?xHXHgeqtBR*L`3m9;kijlk*n{DO$2uIDicBR<o65YDEf3|w-vw#j7uF@~
z$ZF8$AF+cYC-`Uba)q?aa$6J_O&uHJa||09J;%#_Sj+prYs~el+%+w=0dkAJ>>=1=
zGOwiDCn+p0Y3yN<iI$9{ap5n!&t%s3UU;Dh#3j6Xa1`~G6Z@fdqfY<#Lb>TEF-cZM
z-&?YntjL4nvf}mkhCb;qNTP^u+1Y37ut!z9N=8qcku1)-UhD#JbC4L*u)B`(Dd3)j
z!`39n?-#XHX$cMYa=zZ5iIp2hkqa*rpXBNF1;P!}9|IJrw8X#5rvt4K_Ighb>?7=P
zHdG_M{!5Qysb!EQ6kDeZ+;$CHukTf@YuN{8tQnrg^6Vu%cS=U?%54UYmm1tA?;1!(
z`;@}ykoqALg&LDUY}6y#t{PnH%$P;~Zd@6FL+6npdC9^YU$jWPd_}Rws+Fx{V^%&4
z;;9;H!7dQ)o-SzXP^rWEYtAi>`+LMznrexS!FK(@m-0%#`*)s*8v*Zsk2L8=KQ?77
zKH-;mEu+3RRSNjTc(ic*BJy<`fGcCnV4-1Y6{+mhNM(mGF>_;)G?r3hh*)V^6935}
zvsjELptZ`WiN1Qdpq3|Om%=2IJfqj*@$^T<hQ}<JQERkt)mU)6`nybJ4tizn^Sd8^
zY+x-J3A|UhZ8tYEk-#q@K>@fUjzAKUOOuZ7o;w#tRy`R^pY3@$&H45j!NyTGWdj1$
zj2x#6dP1z^qkV9%GDp0t=9I}GTQ<hp?I5Rj;Cgo1+V870yxHE8h&a*q$A;6)itI&U
zc~~r7S{BtqT-6SV|D;CL+Bn<P@-g)k)31PqTb?-fecAcj9mBf*@@kb~A=nCw@%<~4
zIIUhZn$Ta|fw;z&6Oysx_3^{i@*6#_BxKGvIT?j|Hns{+Q$FQQ3jDp(0G4Bq)&$3u
znis~~W-cq0LE!WCXBR4RsoLv$jgU_Rg#LWU)Zq>Ct3{2r)NlQvL69YFV%~2OHF29=
z&WoSG2!8^oc{~D8t~cAine@9O@(L_Zv2xp|oHO9*f3r2|FOvN10&>yZ@*eHMjYM?m
za`kyo?0?KZ+>DkwOA`wh`trE4=!EK`&s(J6(EYZ7eK=$MoIz3U+cG_!)W`7^JE@c!
z?N|On@`KtZHCK8!79vdb*|zoWb2nv0NjX>jTBdaAp?{edtJVzEEe>m|BF95^8}=t{
z6HOc9l|hNGmJ+`3E-m=3V>Uhdg^?nyj2gqE##<?c#y+#aq6?R-zqpGogsVl>_^M;k
z#S5Q|AEr`2TvtWQ=Cq!n_aXa2UOM|E1nj~bZ^*sqFNC1-^)&JGVBFsF&hR&xheYEU
z#pkC%ti{$hyH(o9sa2myuH}d>M>)F<xxoaR5AlUK{pm|BI%_XTtCRXGDUnn9jjzk}
z4m%E#<k?#uzUOE$_T}#GX?$m=@Z2Jyrp~+gUoFr+%0CC8HH8;H6Vl~(J<&7%#=E@@
zj=MP8pjm0GgATe=+QnOVb}x2~V~8qESQ=WYw~i%<EgxEnzizC{HqBPm&S7O`mxK6J
zN})VfpQ#GCwr##B-D@dGlSGpIt~8j%>d)Pr^~_IefBJ0hI^9SmKGVvIyS8d*K9#V2
zs_Iw&Xru(I4`$E!v5Iq+jICx|Upui55|?2zqfjn7y+d)Ppu0xTY7;sQO3o+aZiBsX
zARWI8k8Dq29;2Yu?W4frL99tVw0#Ib+?yuGw2}(<^Zh{aa!}%A8hOUk)ABbwf?pn6
zvGj=dKz1qk2Dc$kndn1h@M(b&pWPzahpFpH`rsAH=`@&BVzW%FuDNB(r^@+lx6SgO
z&*uM{#nK&)IX`2bTH-9BF56|dKZ8xli2`<V7DN1GvNY_9quST6oOR5vU^3a++B>qh
z6$Ox`S3>F%^=ed`%E%_Qd3B4n3**#-)PlT3@}0TuLBHl!+y*SfIA}Y1TIl%W8T<_-
zq!DZm`qXCGTH1ZN-viP2R3EFDBe<+;{qrWhru=QAIexYP;D9<XyUEfxL;{C0DSJEj
zGIS%{#W<wzT4-m`!1R!^qdo{DsOrmhPSX0*kN$@F&#yV02y$Lvgdd$sPio4CIbk~q
zxzsT2{YG~^YB2U{BY3~5^BCL2-)88Wz`MLED|r=3TYc?tXBTwHDA6Gi8aAZak@GGP
z@86NAUl7B=)jXqa2ycfxn0mu|z1#50;5fVCl>BSh(s1{_j@%IT@pKkb;$f85O2@e?
zj;`v&xYE4Q2YGP-8$2xAlwV7~Ew#DHdwX%YzM;Q0Z!?314LUWSPAd=nj;}xYdfEdB
zZy#;{(l$1{yj^p(Sk&^eaXDIvrTltj1-HI<*U_i%lZKoKgh;XmvF40I9*R=*{>04D
zRI3AP2fUT<#rrtyC-x^!ei)8Icg-e0beT*1Iaxm6fkZ9QEW6M6Ms-nwa<W&VyUcfM
z!%6(?B-g4errIj>GH*bHcpT#$eR!QsEp{eUdD4<w*r?EVKIV>bUFMF8-+!O&W@hu8
z%-15af(?mRS>YX))LSE1kb5E<?%t}IhmIJ9!K`UJBEe*$-rkjF69uQG-gK7kBK175
zcfAu%UpX9&K{0#qrtmk9E2r7c9CVjHOM~~M-{ZIC=1E}YdswRyl(qy^9tDd^O-^Hg
zMcB#GFdV=Np`OzowCr@pAT>C{vke6STx`vgM&u~ZNL^O6aE}!q7f;zMnYQ-4_wiTf
zb2-W&7Olr_w#aMBDwv8?8VDRL=u{ZQ)w?0%9_%j~C5`mDjE)>QjgIt|2^YvROse(h
z?1nieSl3FJ8jaM|PLdw<XN1-3S0d~YlgCk+1I1#F1=%d6la9xQW&7RN1_F_$6_oZ1
z5NvXTzGLK*O=gtNRF*APydnK+5bNJo3nv^*HwV(`IZEomu>5ioN`WE}GlNel*;2Ab
z4S|$~T`@T!nLj_(1%Y-JkygCk^bjaB$G2i5<EvXDHvNzP%b>V;y$>HT1O6i@Oavw+
zDlP;S<%L3d`GF8kR~tnuuh(EcMK}y9ED05X{ig(7&rh6#4@D2S6S6SgVQ!TjJUqR?
z!Xp3k837ZP{BPPcQtZ7fc_)<m$@xueJiNenhZhyLU92CgwMs39QgDf^4ZmGn$bJJs
zuglVEsM8C4fAT<4pMEF%w8k(EWVN8|{iEx2Yag{ZH%qC<u#>WHCYi!0m&bDXnJ3d^
zR#rp12(rkA_TNTq`8U-2O5pC$IwvR7lI;$F-%Z31DIzpn9=^9yBjC|+z@Yf^Si+>N
zei~7y#`DB<lL=QFg+Awdxtx|3>cOXg0o!(>6srl9s;LVfsR8+%LLj-77p;*^%1tW2
zOmQl~LCx-`X_pQ!sBgcWlXsJu9{g_yi5?Lo=0u8%ngbzv4gs&hFmX{J#1L#M3>E<k
z-z`3Ob@jSi6uukGe-4DGzOi+^%V7V>6v3u45>KDPo{B#e6BAKT6cu|aE)0c2VZ!2K
z%F2>ZNihi}Iq?5oLV35*e{+Yy;*ui&xdxswbyrPY#@^$z1MInjQ<+|A>6~Md0aa=2
z;$dw-?xcY_L`|K=fkGu7PEE7ZO=3AH4UPx}KNO?>fCJLn+7`wtMyy>eX@&St2TV!L
z2JZJsG1wApc|j(g%t<l4{>lv|@pwRWBE>3wEU_s4aNwXZzQJ-VRo5rGmLHGm0TKx(
z<+a39=D|r>Z_!qfd2r+OZ2}wL_cewT3Q?;cU6vGNKKS%U^iTByu`1ckRSg%Qir(i*
zE>U_Q$oU;-h&V-`RdlPlj^HA))>Aq+!iy+ig*&i0_eIbmi?ku}M*b^}K#W4r$%lfE
z?+G4@SJGP49s?)a6Z%NNLT!H<0mw^BdDbwK;}SH8H3BXPJX;<AA}C3Lz%Vg)Pq)@#
zXfph2-3xu}X_l&vYYgne-)vJa{p}3X+9r4jKcHDU?GAg@9@!Jr(V!i4Ye$YNtqv~M
zgYt!NPZKm7HDh%dLGso1_`b~ZebQZ`_^(#&rUbElSWDo;o?!_SH_*=xq<<Rd+n?`Y
zOlgt+X>`bqF93#RPQlJFT-i0qENn<7^vp~33VTW9NO}Z=KZpr~)FHGd<18AT)CIhW
zybL|Nmuk@lO=VN&0i~+ZJxh;jCLEiUt{jVmN{Yu+g{YBsvww@ff?_ScV0knrILVs7
z%_hq^3G2uTeYjJh5&-Y45TIl)w1;?D?dwo;jsP85O;t&+Uj)o$`cKYKyZqS`CKzwE
z-zd1Ftd3-Xn;IP!pP7gC#_D#Od&Og}(3Z?_X?B8hWzHqjgy-sJpin&KQIWGF+CFHF
z9?or2QFA9V?K2?WPu}h_&1~ZN_iv<-J!Z<z<#URf5Xyuvc+}xBhDMDGRl3cpLtH?i
zrtXEm9cn_w7yTHZrNA5Wh+R|RgQ6o(b9u<}4Po+L!6MoYO3Y3U6O)1hd3cnxm4W{S
D(3n1r

diff --git a/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex b/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex
index 7a242764..c3ff9046 100755
--- a/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex
+++ b/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex
@@ -431,7 +431,7 @@ Avoids potential ArrayIndexOutOfBoundsException Exception
 \item Even implicit qualities should be verified
 \begin{itemize}
 \item Because requirements are often incomplete
-\item For instance robustness, maintainability
+\item For instance robustness, maintainability, performance
 \end{itemize}
 \item \structure{What is better than implicitly specified
     qualities?} % explicit!
@@ -481,4 +481,35 @@ Avoids potential ArrayIndexOutOfBoundsException Exception
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\begin{frame}
+\frametitle{Does our Engineering Analogy Fail?}
+
+\begin{itemize}
+
+\item \structure{If a bridge can hold 512 kN, can it hold 499 kN?}
+\item \structure{If our software works for the input 512, will it work for 499?}
+
+\end{itemize}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\begin{frame}
+\frametitle{Verification in Engineering}
+
+\begin{itemize}
+
+\item Example of bridge design
+\item One test assures infinite correct situations
+\item In software a small change in the input may result in significantly different behaviour
+\item There are also chaotic systems in nature, but products of engineering
+  design are usually stable and well-behaved
+% consider the examples of weather, bifurcation in engineering, chaos theory for traffic, etc.
+\end{itemize}
+
+\end{frame}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
 \end{document}
\ No newline at end of file
-- 
GitLab