#
# This module contains functions used for solving systems of mutually recursive
# definitions of functions or anything else.
#
# Copyright (C) 2007-2010 Dennis Furey
#
# extensional_function_fixer                   (125)
# fix_lifter                                  (1068)
# fixation                                  (665217)
# function_fixer                             (16475)
# general_function_fixer                     (16901)
# general_solution                          (669620)
# lifted_function_fixer                      (17996)
# quick_fix                                     (96)
# solution                                  (669676)
#
# compressed with granularity 196
#
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; version 3.
# 
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
# 
# You should have received a copy of the GNU General Public License
# along with this program; if not, write to the Free Software Foundation,
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
#
{kwSzjkGvyWgKwY_c>kIvJQKN^tgZ]sOpFXfiv`mNpi^vgzzuOvsVfgNzqoEKXiNeHf_Gw_aHjJklND
fdozrxNGolipFffIIwPZt_=Rnuf^FzgzbW{nznnynfg{f^{hhwphIEae??fffQYNtx{hFxi\vsQFjxF
fdh_dgr^se<dKmVPg^aERffk_wGlWisdimqW^{>shffgpepfvpxvwZnCDjWmZtaEaffi{HOdkDgryIF
{dDzPNwCwo_QJfgC{lAFk`vOfeKjp{koJVx?AwPxG^ffdEZ[uFkXsDRh_{iIikwPlINi<EZNggxNffe
ZE[mfnFOpk>?QQO_xqKKv]<deScvVxSjNffN[f[jngfizdljUbIKafgLxsdFF\EAwFpMzxffgb[a=xx
>fYNaznOSYrtpSojnhJshg_crVPHSiLjf\<mZhA_<gNgE{HhiQQQOO_eWgo^OWiv_n<=xnf>S`fff]c
t>WFgP\my<zogggf_QLp{sVWIOOkvHbE@F{cvVff^mZaFgf\@R>zsOpyKN_fcV[vYXpnvzrzsfPj?n<
`ShgFf<anbgZFen{IRATQ]R>auQzE[GzyFjyoQGNgF{f>>nTuybhfhc]Ff[^EnzvrQaURPkQU]OFSaC
zsvjz{SkzzIRoOzdEN<=xndfg\Lflat\HqI>SauZS^wbSrfN[\E[PCznzoW{GSIsYiP\ZvwWzf>E@Ff
f<^heZDxIGPiNqGPgMQqjAFucvaz<ayNmzvbcwbepyYYYJTqOnXsiivdtFffg@cvy<ihRmWAhFbQION
N<?AuE{Faz<nCwT`^Sb{KvxkGnxgYJZokVgOZwZf>fffducvWjaDP]NADeOhtKHB[k][=E{FLCv{Vez
q{>SwITq_RITiNIqGagAKRFiKhsf^ffF\<mZpSntTTTFcOqkD^mZ<B[?tSl`CoKMFNCw=zte{HfZevc
fZgdqUGqFYk=oq_iHgzffgh]cwiP^qQPeRCIXP\>S>=T<UxDEwStFpAm>Sbdmy<kXkXsXsXopeaNhpk
SKQ?lX`jwkKvffff^mZbQ@JUbGaQ]NFNZE>=VlNQ[D\Ezezq<MUHqVOQgIRpqWITIWf=xauozzyPDCK
kGGsZffgGD>SHx_HoFs^ZMw\S^NJbqyI]pNCw<e^Na=FP=FPEFPOaINxKhGzmE[hUkwwpowraIVoZff
gGHchZwHoFiOsEP\D?v<bwS^dA_LS@Ee>@DL\L^s^Hg>zjeswVcxoQE[hUk`w[K{ijxh_ZffgGG\N{S
F<<>rmIRdF<Fqcvy>I\Ex\ysXGPdDvzvNtIYuX_Cp>ff[oIQyr^yIe[jzyEyXzwzffgGD>{[@^fP]FP
<^giXZ{^JrC_UUUTrlmWKOOGE^aQJD@ROj_Cp>fgLevrjyr[q[yoshqcGniHivffffgKjq@Ft@DGHfj
QlyNgF=ZppppeNERoxQ@eXkIkfbKKD@ROkIA[fXkiqD@STCzy[iyxmaa^uGW_YvfffffCVXp^iXgaRV
g_RPoDqVvvvvtGb`znJDlDfxINEkOpfTxyICqZb>cQQKF[Laxkwkxy[qVimKGxowoGIvffff^dov?fu
TudIIRVuLdhDva=LPA?NPNkHexbKWgddKw[fEkOqKbmyPwmKKwh=A^auM[i{{YIUqRiPqOyvqheHj_O
iqfffnffgrcFhpgn^HHiAFG\hjUbJJVGoSG?sEGmZeAzl[wF?zswKYO{zDhoAXQKmfy@ctE{Hcz{S[v
sGWp`udwVQ[EixrLxjgJxzfffFgHF_HbgGgJL@VlheHnqQPnqGIF`bvSD_JEBEcyNE[PECzlSwFwvgU
Qxzha=PUIzDl>JUzH[LDaxky{SCzsWGpXvHzy[MyLvKyvqGSK?Wpxivfjfnp^fcFdA?NcLPh^GFffhf
^_RunRi@<xMT@[TVazB>SqJ[qHkCXJQ>gPAL]LyOq{M<<HS\MTfSaCwcYzy>Sq>uECorPPCwRQvV{\r
xYxyI`vTweFdnvgzfffff=HPpg^NpbtDtoHn\fGH`naWRISf^[P`cxfe[\<My]nHFPSgkNTf?nxJY{y
=cvb@ct>SbzyCzsve[\kDqWfYbLSfQaPPEXOfYQwzrOQkaFkhf>kGIYvfhfhfldFp`uRN`d^DgFJUlJ
WcCDODlR>zAxNN[n^[PnnyCuIX?ohRkGVcsqsLhS^Wb[f[iC{z^SqE[hN[oKfXpQLy@ezzP^dEVYKve
jyMkpfxaNi@rpqGcgVoZfgFgF<>fhrZ`^\>dxoDPOqtjH_n<=cmGtSlHA\oD^\auYzysD{G@qGqqFQP
x<an<<HS`]zl]zM[he[\U{Pk][>ylpgtSf]d[ho\UKlxazoppnKL[@pyDgdTbtaGvfkpoyWpprhfhfj
pnDfPcNuyVGKED@>=X\=clKEE_f[b]{uUy{er?\TfaW>hJyNZ=cwLSA@[^[oEE{D@[TT<UxNeLHaZar
n@=zaApurcncxnzvw_vqsGKbjxx`x^_yHkmvwnwxvgFqIV_NhdoFen<QFmpSnY<aL\R=?OnNCtdau{X
M]{vtIAoFiSGmNlj=>mZ<ctd[?Cp>zAxDcqD\RfyKPhxm<`CnAZY=Q_Q?Cp=CvnyH]WgMoP=cOmsPSH
PkjfdkVKSSXzqwGOGNhffFoFhfp^do?]xcFzd`NH^pAlfS^Sq`Lau{HfQoNyChzuK<D>SRCM>Z=Ab<B
[<lRBEFDdnKNSF]=vqSNXQdd@RLayV_aqOw{sG[ts{{k`gfozsSHjwYNlvFkNi{qQQQQIQILiJQPLeP
XHqIP<qy=<>Z@cvc{Yvavcq@gbDOg[RkoqAgEv=T=@ehDA_oKnK^PyO`]BwiZYzJPe^ctVlmemCwuxu
QGs=AA{azwx[_Cq?wrqXqP[@kkOsNbk?OY{hiHiFnfgG\NfmHuS<F>^\Fa]jUzPCsO\NN[\=X`aAG{f
j`\gqFiXj=?W^X>L@><qoE\RwwEiQOQPmYYF^UD[^\tkXE[AyXargShNUz[u{Q{{IYD{Ff{kq?bPoGQ
eHqpcg<FqzkG?ozoNoNqQQHMDqN_Vo\QMN=<<mZhAjuLk][bnu\Axoc{BZtBdul<_d>=t>nEPZP=D<F
RBteNKPMN?LS>V<y^axcvfIQiQyOx=AzAl@STCzw{xfxNyALxsoZuqwOHzPhD?axqp]QxspXhGoVffn
fdfnd_N^jjoHfDUz<bxX\<B[DN_PuzMn>BmDEyHaAFn<I@BczXwQP`XXwn<EvFIRN[\mxxgbWFNmEpg
ctEVcpE[G{sW{IqrqmhoWkpwyqzCyHfYKx=fkLcaUQri{GHpqkXphpiQQIAPh{kbqQ<hSe?ChDA^ld_
=xNZkclZTUwH^aDcyXhrDmxsyHqTTGgOtS\MYtCSDQPwyo>@SRL@RFSaCzyY{{sQZC[lY{AKywweZxw
z[H^SgPqYSoYiS[ZXpvmo[QySOoyk[oFgFqQGoFf_p<{Nho<EXgYl>Lf\lRX\@?DN_INlGA^<WwLEQ\
ZumYRAH\NVO\=cncA{tuHpXPehLuvBy@ct>Sn{kSCz{S[w={usQN[pnSyWqgz{KSIisqE[@f[lfjXKQ
dQ`LX[xSDbQI_x[CoxchyKyNy{shoNsffnoFroPKHXOHnZ@fPZp\cEqP@f_O_L[yKtqqGQFZaMD\dhD
A^Xc{oWkKkZN[dBB><_b[fSaAzswpE[G{[qu[h^Sypw_jyVxHyYaMUQKin{UUQKyQczNctED[hoQRRi
QMGgpyFAwS^[xoS[{izlqFleQfvrHS{yvffnfffiFiFgQOwxOFj=Bk<FdaPn<\dmI\D[TsG?Q`?ttVU
n?RED<mxSqQZhgXFWdE{D@<<HS`ctE{HazsveZP[jYsw{E{HfcvaaXwXzfHqzeUSOMOLGzwFxoyIA[q
Oc>SnLmxI=yFgj[NOcOkDkfxFmpOMp{JffcaSQyySoefN^fmLmRcu{{{ZoIIOFfhhniG<dqoW@oD?D^
_>\d@pIN]yaIOjrkNQWKn]k\@RctBBzhhjnZoOGf]cwb[_Cp>cxn[w@ct>SbzyAzsyrH[LFPCn{XJFc
VQFH]xzqIQLq?GwZzxGWs]LmYW`KSnaxD@R<=WHqYCWdo{yk_SxQza^rfksSc@jkPGDuP[Uyzs=OOIC
cEu=ZM[Qcw[{yNoGqQQGHniOvmUOYHnDx\>NJH=qjpqQOSALaM?qlF<fTmyGKXAOK<Excrk@>mZ<?At
@R<my<^Sq?b[f[iCuzu{PcwcS<MTNlRHqv[EGw>`nkWpoLpWjvGzwyYWzkwz[WfuqOCt[]Ez>ccFo`t
bMML[yqiSX]qv=p{K@xISX@kYRqyNJzK^aSMwy[_rgFTSOZIF[jSuP]zU[[qyhiGIHfffffhgH^i``g
HeneOLLqABNa]WLgx?qH^>T@S>s?Ri?AHyX@=L\EXB[fT@RFaz<<HS`]zlEZSw<My]^Sb{kNb\E`uls
oeSNg`iYxGljwYoyooqXzzwJQSQx{qKQtcyo_ILL{Pb[k]ZE\PnimRObLShJIRH^_DsnkkN\tQbCV\F
wHXh[g_ypmptdkSUr[OwovpqqGKQtTauB[pv@SxcyMZkqyIGIEGQQIQGFl_wNIQQ@^oJ`ucMiAF[osJ
GPdFU>voqFsrapgqEthS^Vb@cx]cwLS@ezcxn^[Pf[iAzsvEnPOrKSc<YlOtdX[mRyYogkaGkaHp[U[
FqkmOTjMu?qjLjMtd@wuOM`u[`\mz<B[DGPqUeGMF[jyTSVg^cLqk>xSn[gapGl@JpEZGLS[o@yogfh
OS[xY[m=Ppxyko?fxLJ[\`SuPf[pgAwv[^[e{YOOOAQQGHniN@o`aIO@OQYApuOu\QI@KlnWL>XK@w?
QIlLCjQwJ=<EX\Ek][<hS\EzNCtmy<_=TEL[HE{Hazn@kIc]GkSxYq{ugqY]OhjvPwmxlkCn^Sc{vkZ
kPkrLpPmzIaQHPmZBx[PLnxu{M=]ZDA]HnqPnfB]zRkaqMfhfSdXxQsNIsIMQFeKA`F[aqP[{<SSysP
jPfWMQs{ySDxGYQYaXHxSr\hS^cyZE`SuDEZPlmZTSu{wqQQIOQQMQWOQBmUOHQGPqPkMOYTJ=YwHoD
>eXjpsNezP=Ql?Et\<B[<>SRCOL[<MU_nG=U?Cp?cyNLYCip?foAkU{P[{px^wr[?oOm{ADl[v<l[v>
ZqqBsAXYHztkjzz@FCuOLL`J[^HCv?ozL@[U=at`qQJThN@={RISPUPfOFUr]rC[RaIRtUNMHyPNCue
l>SczAm{y{Ic[VyJ>fZQZ[[pQsFlSqqbuA=SKl>Sc]{@p<u{ZB[ttTz>Sp]zS{wHpqPfgNoQPlN=noG
EJbUeoBqUUPPQ<^n>`bSIPjPE{\hft@>=XcdA\<AfX\L<c\MU<My]gcFhAcD<DfceSV>Sc{tzFz{yHu
MHHCz^G>SpH]{DPng`PcTWp>KSpgXyZ[Hk@[pHw\MZHEZCaKqDcn_c{aOYQ<>L[JVyEaf^nKQCPcjSr
^UFPQRM`zvi=XGreZE[oDEZ[mYyAoAzmZiWgq^yIZX[{=YPj[SpqFwXu=Pp_t<m[Vd<AwS>M{MpM[E{
\MZcyCyoPpOQQQqOQQFvoIQISOwkq?hqGFr>qCIWP^P<=kO_D>EJ=?ZTbLaVbDcqHypeKsc?LSsmpez
]zS{YnCNYEzQEwPlaxdNez``CqG^aHgmwJzIaSTFHgBS]tonFCrwonu{Fc{q@Su?=L<H[\IQRq\LZPP
zwYXtuNfnZyUYWaqu>UcaQKAX<c\KUEzezvneZexEuyP>n[zxSkQspdnvxGsSQxchyXmYQyqxgMFbk?
mkAtEZx@_y\tbKwNN[g=[VctmZxcyNhqNnfhPoKILKpfiPwzqQ_KqUqnvSKYGHfunPT[zo^K\Dv=D>z
^TlR>_OhEwSsW<i?WrZ`]zL[EX[`^^knxqsHiCcNeZLUL[MdA\anLeVyNGEzPp[ngn{u[ylzE>[sKlx
D]Am`]z[uR[p?\>[AQP\r@ZVcMOPPgulGkgBfHqGmYVKsQQ{XWw_I]_QjUzPCombN[\=T=DZ><H[OuH
cwtiSxfHsQj{IIZfyAXnKQOSbQ{SsSNB=SVsW<N[n[aZmZRH=A{JNhS^uyPUAtU{X@CwxqQQIQPaQAG
Lx_PQ@QKs?UPfA>qJPCOx]UWLP=MQQ<][fWn<fn\Pn\KEFkBZQbjYhdlTfceXpAn=ZalSvgSxQjFmur
gSQBN[`g=UEbq>vv_`G_SQLm{xn{g{bJ[ayQ[X=@wloz{duxi=X={L\MY\==YQJ_NYNMK\TOMzvkKBi
N_G\jQGpxmT^[SyJIqQ?D@vn<?AvlRHHotSuh=t@Ss[DHSm[fm{zIQ[]oy{etqJyZVpHqqqJYqyQzQ{
Sq_snFlSodmXtAv[gEzpxcwGZDEX<hRv?cx<SbfmzQGGNfFfgFphfqHfgUyFPUOhA`jqaTZu{KN]bdF
uZhej\oD_D=?BXY{EqgsDl=xA=[>\EubAbUZVfCSdCJj{YzDVyNnuct\E^=g]o?GOGZg`WfCtRDkSvy
UzD<Az[f>[QGkCvE[xSz\TT\EzCv>cpuhfPR<FDPqDHEZx?pyPBeHyoo]JHzyDB{ySqZc_b^EeNB[\E
h<\=cnA`Zecyki<apczg>Cu[tNm{y=qM{s=wfIS]qVznQKP`PQRSVGQQyQZQwpPQLpWruDBZ<_{Xq>L
SjCE=[FIXBZ<aP\<Sb[Fl<czOIQPqQPqQOQPgQPpwhkYaP[PqUNQPiQgbJqPqFH[q>`x>nhOKOeztnQ
>rnDodi?ATTB^LE[NddqqLxkehZ[rsczq><?At`<YZH^`HQNaIsK<[qFjQZTjQL[^[\Mz<]w\<HC{nc
tRUZ@\@RBBCl=@\EQQ]F]Fo>atl{gzfo`kQ_urKLqoWiIVWSs{ArYoyh>b^mZaDDA^={>YIrowjJZ?A
{wU=xamzVD[a{hKD[nFqoxjM[L{IuyUKQmbwSSLRUaR^yQyQZyeT@dwRo=@m[IRt>cuTtezETJEAK\_
thSMf?yLrxoNgff`iF>@fgWqNd^hQvxP>]JBU<zPIPIFdoDPByNjvuJDGFx>SbrI^burz?=f=<?Exdf
GpKA?CwGymzun[{azpdB[gz[XGJJF`Gk?E=xeAOTS^prMC{]zb[LBNoAtNDm[PJ[ld@?Cj>fiOEf>N[
iCzn[wJwtkwPYsQc^hRPa>JPpw{{S{[vVa@YQFO<>SFT`Cw^>iMwOXxx^M<am{hx\SeXAx`={cuzwU@
[vdj_{VoU{wq?AyXKukqQOpenxkYq{LSuaP^yQ[XsNqjQNJn[`eMM^SqcbE[A_?kqH[\E=DmXkQOHoQ
QQQ?QRqQYJh?TtmILPeMHrkN\vJpePLSyMFWmDO?bHF[i@{vQCEEPcpD_AjFkZ_xLauFWC\aukW{Yux
cxnpGAt[XcyPqop>wmz^>[]@IU{M?Lh[<@Al@C`MDU{<>SF<<SdDDL=QN\`oJU{DE[PLayO[WCzAzwh
_cwQsLgUJIRNkuQqBsy[wyQX`kmJvOXc]K^Sb_kKPx{atH<wc^SnapU]UbSbL[<MySNIP^]xVgyEzul
N<MZUdZqavySOfkySFITATq_IQNS[GqQq{]R^yQxr[EPcJL<E=ZLb<uzq?LJ[_O\<ATrAxnN[KIG<oN
gFfhiHngGTnf@xaj^z@LsMP?lSGFld[pcGJ^GCGA=xmKyLnaQSnof<Ek]KUcG?^cvhksF[iFRCwc[Z]
tmy<P\EXSqM]XvDZKtX_=[xh@LzDMZ?t<]tcdb=^MZj[^[tGHn>><?AufSt>az=CyO>SocyRyrkAzwh
_cwNIGY?kQDi?pcBsy[fztzZSDnAmD]g\L\FcwOtrHJHSyosJ<^MFSaCv=d`>Sn>Z^ZfzPP`EyFkyvE
ZWvgcyPv[<uz[wApYMIwyNeaEvckJjcSQTobQEYs[pANGoAWCU`acTe{q<hSwb\GAw]nNDEZxDm>wIQ
IQQQQOQLiQPq@RH^jQ[H]QTgAMIENEAvl@Jx@pHg=UM{YeGfjBtRzNP[_uqPVg@]{gFW?=D[hGREZW{
sSQ<T@RQNZcvd>RPCr{XzGUx@^JXnJ[xnFQ]^P_cr^M=tS?qPE=cx`cx`cx\aw^F[^=ArC{QUgucyRy
rkQHuDh[TzzRWzzisNYwcq{MIkrcq@\nAm>\D@]zmAwCNokSELZIA\uEz={h<HcnH@H@y[mz\MFFc{F
yF[iCud]AnoRql<=[u[hGTDBEf{qYIusGsIupyKGnewqrvYYYYOnk]JBchKstrSu^SrD<ayQj<EZRJl
N[\TBIGRniFhwFnn`gHn\N@CJQO<_a{>oFQGcyMeJddT>[cw`anKjAqpNQHhE[VMVgGvi=YpFnwi=XP
gFcwMykS{su>cNt@h[\RNCyX[mmyp\=x<C?DBCs?DV=>D<A\?\>Z<ne>mZGtSlzAxFSamD[ncp[wpwq
Gs<MY]{qRVzQMhPpssCuq[nyIeptuvsUPxW[qZBEaR@pm<yk^NpAmN[kMQk`aZyrhq\JUzE[P>HS?_s
=qrSx_jFE[vOp`]zlE[vJZ{aNkN[av[oEZcEPOZ{PdqHqVOQeQQ]RATq_sIUQQpxkGnxkQ^sVyqsaNw
pwPkOTJ[p`_vIQH_yUzG=[pRAQMIIQQMQLpqPPdbmN]=OOPwxpp@LSf=jyKFQxEZW`NmzzpjiSo<FS_
F{Y_YI\E{UgFVT>[\P`]zl]ysvSos{YlEq<F<avBHSiNexdAqNTb{d\m[vD^BT<MQQ<EX<=cl<B[=E{
XI=X<MTE[Gzy{NasTeyCzyJyMYq=D<`lYY>SfE[PI{IHOkaYO_c^iAEmr[SXavVGZOncXd>[\myPjHq
Q_PWGENju\<mZe[\<b<<CO?[oP{D?uFSymFiI=XNcwp<TWzylczzCzS_Cp<xWuTTbg{qmW=FP@eMbUR
PcfZoQipvwRATq_RITrEwYYEMffQPnpapYaDze\hSjkAtB@KAwPIJGcodpqFoNfhfdffhpMFg\nw\{o
nfLB[\B`vs>kgfcwPn@E[Cu_ng]j@N[oVYkKMpMq]{ynfnoTYBi=XP=q=[hc{ZcryZyDPdUx>>S_\<A
bcj`eU{v\`Szd>OfiNZDA^=WtSaD>ZyFSaAzrqYzjXCx=A\axkwsyFYrPeERJ^cxaWaP[{?fPmYa?ka
YOkgYqx[{LmZvaRoYZj?NA]p=ArKuIcopPov^xa@B[`cxe[gGmxRX{QCxN[nFpE\>[`]{k\@c{KOwu[
h<LS?ct@R<tcXONQ@sqyPP]>@EYSausGsHNa=zYKOaEvcfZewqsHXkGZgNxrQTGTErQs^L>Sa<@cyT@
czueN<hRp_qQQMQQQQQPqH@Hn<PRQP>uoL@[_JyKLAHk=D[hNhe[>SsZMYqqJUz_j?OpyCvYD@[WqqB
hhdA`d>[`JE{H_A{]{d[Yzcyz^n<AccyJX\@N>ELS]XnalNd\QMJ=>L`<B[LRB<]Ez>[oKvkU{h{gMx
kNauM[iiS[gxCxlUja=D[\hhv<au{a<OEyZ{AzPJzOw_cgKYYu{w`xpss`q<{=F`\RFWGwwGQIKheHb
fnZThSk][>aznosSYEosblaxzAzfTYTYI=xaxhEZl{fG]ZcxnEt<AvcxNN?a]^Zn[PbCYQ_PiOIR`qV
`EQQRATScXkXsXsXquIRqTq^YIB^FkVpSe[makQnKt_Ann_AqQj\\ER?VPgHfoFfgGHfH_aNF?QPo]z
J`wcv_DlpAmMtN[naxP[]GNvp<?AtGNt{gzczsvFCs[kzXff_Xa]p@_Cp@>S=VCuLCPAzmcxSw@bL>M
ZL]Ll<U[QOvS@^g<KzDAn=?b[_Cp>[waqlayMA{DiXL>@ctE{H{fyczqziCoS@`rpAmNWzeZE[rB<@h
rcPcyz{[pyWuSPxxZkcYSP[c?LT@zAxKkHaFI^UP[kjtQam{VzcNfXqD>S<=clB[qD?MnzXoOZYsLez
<=cm^xl\R<<RfkMF[bczlLuzH[LA]ezEnIjc@zaMeWyQUTwQhRlNa=FPCUbURPqHqVOQgIRpqWYPNa@
cfZyrALyjx_kBiRROYF@kAy<Uxp=cdqP]GQCGPqQHqQ@PoP@PvBK]N=]xEHxM[hgH<c{wK][@cvlatb
KFfB[f@cCzn[w>Sq={hLCPAzm[KYgGdwN=U<@R?cqMCtLtcxn?CtcxoLLux>T>Sf><Ab_QF<\Da^<?A
t@R<axk{wpe[]U{tjjfJUzH[LE{jSS>SqHSx^qmNm?[<EtIAqEEzezwPdoO@tHSqOVYM{{I?P[ULwxf
qOySA^pKSYrYTwJ[uRo><hJd=>SoxyXIHuzuJ{oF^@fdnZDA\My\PyksW\GSYtplA=xDApG?_ZYczLP
CodayL<@S\MT\S]z]eBCN?qsGRg{SaIKN]NADL]>RSYSauW=FP@eL@eL`eM[b@EYoYoAwO[nNxJ?TJE
KNxIWPD@cvlMA@@LB@JJmEF^fhnfgHoDkOOq?<mUWjf[oHuI]qsx<<UxK][teZSZMXGAt>LE[PlayLe
[\E[P`JE{He{sk{MgnhtI^b^MF>]x@_CpBBAtmy=o<<Z=Ey\^RFh]{<UzefSa[sCzsvN[n<MYsGoxb<
?At@R<axk{wpe[\B[zGgfp{C]rBe<ejUzPCold{?fP\ao`pmJD[a{wwX]yZ{AzFTwvbZyKwvjZXRYPF
t=CsTNH^gDFSoo@lHB`xEZVXmzfNvtfJ=>NEyBHPzeEMW\rmsHjhA^N_a_d@L>CvhAl^az?cvbD==X>
YPVXI@uUI@skqGgiTBBCYOQP_PiNP]>@DL\L]QSS@qWOQhiO_QP^HtqM{<xyAu@?>HSNJTyT?UyQQQI
QQEQIORBMNp>MABy?Cp<@b\RJcw\\R<B[[UE{AAtO<EXfaz<FSt@cxfSt<NH[LLm[t[uykMnYHotvE\
z@Ex<MTlUZ=A_Q>NHRTEqH<G<hS^UEz=zupE[PazotSlex^`yKZH]cvbeZQ{XSw[eE{D@SYpx{EpR>A
Z\Q?N<?AvlRHN=zP=GcyLvaE=xam{oIie<VoVYR[xiIMZQWmIkoVYJQkYQQbQX^ZwNFAH`cuPHhxhjf
[iNXEZlOxON<zHA]cX[ghQkdWHFGa\E{UYVnbeY<E\N[nDMXE\csfkcg\zXDTbg{SELPUQQUTvvvRmW
BCYsUaNR@eM@eMAwXYrL?lwADqjPWoV<BZDC\GICphq>gHoIDpleQ^`pbOjl@R?Drx>Sb^L\S{QK]Zh
ctpcbN[nN[nzAx@cxl=A\>S=VCuD[Yzzkv^ophd<<=@FT?cvbA?\E\>qLt>SDJUzEZWzfStB[qD<Ux<
MVg[gqsJ^mZE`ctCwcR[qE{hzAxF[DdsOs_IQvpL]=]ct>W?Hy]d`MGa<N\SeXAweIH``AIHO\@[JGa
YcugFhpm[IHOktnpeKgq<J?=K>ethzAwN^antxA=xm@^cu@[\^D>KIZw>SfWGPSqFvkIVL?[RuoD<ET
`zAx?cdRBKqjQYmNAQEnQ@skPBUZUaIEMpyENAEQaaaarvP`E@EKB_kQP_Pz[eACUvJAH@LyOO@vIQQ
QQQQQP]a[yJ<OkNb>J_>cwS^MZtd<B[Z?CmJ=NzAxK][<<UxK][<ej[Q@[`=q=[h[pSwG_qODtb<mzE
h>`QPSEt<?AvcwM[hN[n=CrBDAjVfazqznFSD>SDJUzEZWz\My]^Sq<<Ux<MVf{iqsRhulRdNGAvP]>
wP\vSTUbAbUZxLvva?fPdck?UN<M{P^eGIcxJeSCyddoaWWaI?_@hpt<B[>bYUC?>lRL]L[HEZ><Lib
P^cvpuSEzfxVhbuf=Zua@GJV\=cl=]^=KHSs>nRp^uXRBEf{SQIOHjjuRATTTUOOOOQQpjxy<tglwqp
XmCp^[wqXiIlwqA=wPOQQMIQQOQGQP{D<skLbGGA=xl<{cuj>=[r=Ad>D<Ux<=clDA\=clEd`N\d[@J
E{Hb[lcxo@o^^l><>[DPGQIW\LUzNCw>[oGtSl^[P^LAFhcxnczrfvHc\<HSf[iAznEyNe[\DAjVgAz
oznFKHa@=HD>SFTK>^<oiN=d`>SaBP@nUL@_=?=[nb[UNjx\@SULAI]YQG]z@sk@T<nmpNDA{HjTll>
ZG=ZF[\yVTa=xFs>lH[?`iFcEM=cuMUjDF<\R=?KjCmqZ{<qsy`xaMIyNgW@nPAAURQQNvvvvvwR=MT
RCli?OyYTkMJ_[SgOgPAYl=JF[NXQQQQQQIQPWb?Pp<QKN@oFlRL<_=xqda{QFXd\RDA^L\R\?tLc]D
my=\mz?CpB>Hbt@A_<Pob<^mZpAm?Cp><B[<lR?vqDH[LFE[Pbfxo\LUzNCw>[oDlR>N[nE<QP^[oF[
wVgeQc>NZ@_@^K>^<HcsY]orBJtyyD@Cr<kHve{TV<aj<oKP\S_CX\OL^PnUa@xeR<cEL[KgSNhA_g@
l@RzTd`gbHCrYNN<EDIXr]{wXTVjsqYEdyr@E{SHaD<U^saubNPA=LPYKOaUOODrQTY[hYKEwP?yYNe
IG[_Utn[j_OIQQOQQQAAPrUA?wp>m\EtHAh[ZSjF>V\`EZE<<<ML=A_=]Z=A_?H`jYQEMD>S<Ez=A`D
A_n<Gf\@R>e[\PgPF<^mZpAm?Cp>KDzAxZfdH[LFE[PBgXgQKj=>l\mDDmXgiO?iN=OSrufEqfuCn=@
wPiapckzz[kqOgMucHuabkfLg=V[xat<Ek_gfX[nttqDlSPfDzGAaH=azm{QFZCzUKkEmuJaiyD_]QN
qGPoDUbURATSaJjvLfqrc{kpxb@c?oAQl@tskPBmoHkOPEqFqQOHiHdmQWDBWnuFQ\bNk<J[bt]Cz<z
te\BSfT<^DEOIUhcrCNb>L@?tfc@cxgPzf<al>[\MU<L<B[<>td@R@e[]QOLhfDL<`_><cJxFJxFGTo
GGsL`q>xNmJxGF]aeDsQYI\MYNlTN?<HoNqIX]OF\>XE[tqP`cuxHElaxk`n^>V^d<DgUE>[oE[vgSr
[{puE^ugp_qrEyPAFdrmW@oQQRQaINeLP>VtzceY[RSuPcDpowyzxPCaAsw?\^yMloPgQQHoQH<vqpB
wpNFzeU{dHCoR`<\D<\>TuzE\>HaP_\N=TEzEzDbK][?fecOEy]pe\DA_tfTN[nfgyHdEnEQDmIlmDP
hnnZh<g\H>t<HNL>s>c_qTqFZrx_M><>^u^_DENa{xJNhE[qfd>cuMzDd`eEwNDH[L>[cyjfkn=zS{q
pqSX^xCUKNR{BODP]N<>ffsauW@uawnsomsrcrcSsyPpE_SIyYuSZQFIPyuS]JGO?PiQQHoQQprqLCO
pDAHgTD[<lRmy<D<H[d?Hd\Dr\<lat\<B[?vgQDJ=DA\bEMz>WtSlvfUdhhbj>l_??_<PJ{jEWmW>?Q
MsKjPJ<MAEXa<dPLgF@cuzuqDNayVVlPCm>S`gFOJN<MTHShSss^[yQ]zcu{tHpdYZIYfZEkVk{NDtT
OHnqGPaDIPKsEpX^tMJceVZaefS{LF?FmUNu_QFA{QTyyfQP`LnVTQFqQOHaIQ\PeDCkL_DJva\bNjd
<cloFDv@eZ>=V[qFf\Dr]xEZ\<B[?yOQED?DXNKEl<HwpaaIESDj\eMCMR`k_RQOcJ<zAtaukuHN[vV
ONlRF[d>ABmFTEXB[]YAt>Cv<BClmx]zS\UW_sDYzanOZOMIw[DQL^DrmWB<fkHBPhRejKKC[KCYeGy
[hTL^i`kYQOiSZ?QYS?GoUGHhffffffgPaT??`wFnn<EEU{>LRfngHN[^PEZfJx_d<natDAmzfFi<G]
abvgnrA[GWbTPGxOu[<C?bNaN@\=cncwSqZ?tSnOVT>UL[<@\>Wc^MZcn[vbx?C\MX={c{Sih^^kkPq
mMh^BEpEzBT<ADPaOHzu\cb_P`^tMH^tMIin[Cqzu=wNDpluES[nYbCKW\>FkX>HIPqQPoQQBQLKkPu
Hji\]xuhn@nJU{veZFxxfn=EzEDatgjlyIXk@>\{JY\PaAJNH]YQQ_eMPFD^=UL[HCzQX<B[O=FvNlR
f>E@J[<@?Cl<st>@e`Cl@[H=zQbfQxfwnqhg]nSeWXo]]\^IXrEppH?fW_fW^O@]SUy{SuWHuDfuruY
QXEQQQXXxKWdT<fhfffffPtdJOf@^n<Jva<`o<h<?At>`ctkOq@nuc{fatkKPH>u^p>sCAAS_bI<nAn
w`xUfd>NlRLaxbH>=XDsv\E\<t<Ad@R@>t^TEvEwtSIM^]plGuup[aKPR[sTcHqP\hRPgdfLVINB_Pc
LfeyXJVcq{RPWABRuqOKWyruJ<uZQX`kCHoFgFfgPNnSJlj>n<VFftB[`ucu[iz\h<?At?@cuYSMJA@
ANCDui[ANUr{eTNpQHot>Ze[PjEXFAtE<UvcSz\lLlMTEZuLgw]xyKaiZ=emHwMKNL=bNFrOIL{LlI?
<c<vyVzyPex[Qzb@\HqIK^IXYVmuKJpqArh^HtSQEQQHqN`p=zy=Hn@HmDhSl<HSe[hczo\UzOb[kv{
iObdD{P_PvdqKFYnqFPdp\>aUEz@A{qR[fE<Eo=x<JKSU[ReSXZkXkcy@j[xc?Ng^WsH]wNDXSre>`R
splr{XXnqSUy{[r`dHmwQl?aTOYPGOv\v_^U<KKQOQQHqP]LABy>GGFD>SLUzu{PdayLNGAx<?Av[wE
[hiqG{HfHtxFGSg\qDTffP>zk]ZQ\GbD@S\F<O?\<JVC{WQ]sUpqmmSX[jTC>SzYTnQEImHoHuEOAyW
wymCviKSfFq>vfeqXZ[{SyI\VwwaDqSDwc_]q>yIoDqDyOQQQIQPgHy?`q@c\hSl@[TXe[\D>S<U{>S
qIcyOAF_oPlFbppNDKlNeILxpAH\=cobKJF[]=>PLEzupa{B{GtCJ\Xn>Sbype{sNjt]I=T\ABmEb[g
QysrfLatfGP[feos`vyfopqqBm{SA@{WECPvJmzXsRcjvMMUXEoSOQQQIONp>Zx`qHt@<an^[PeE{EE
thSfaz<\My]jF`b]=JnaEkHaJVXdnH^=UM?St@S_U\aukh]{rOsa[q?pdvezpuuA=xdrQxzLqd@\H_=
yjM{SCyWLez=HlayQGOCu[QcjdmFzKOcS[RlkMFPNuNyXYg=Q]KpAq^cItGbSQIQQOQODbOpDp<Hcdl
R>k][?\L>SEE{F^[Pk@aDEGNeXl\GqXbPg>RVfAwctqFcwM[\E[QvyyTYKCiV^VNCw?{Yg=VdW[rC{b
NhDlSidEZi<avqPNCwJFSfhrXE[CvpcQxqgyqVqqycs{dKtIZIUMMhHhMaEIiaa[nqNxxsPAQQOQIDc
kDnj=Lx^<B[<?ExzAxDlR?Jd>V=kNH^mcAGOcqHYct=Atd`]zmctfSuYVFWtrd{MbwgAGLS@qy`c\E^
p={etazz><<E{_Fczte{jEI=YKEEzFmoDe[>S_TOmZeNSfXAWiV{[mQRsyPoQ>=GYLkiNaNjiGkYOE=
cmn[GPnfhgHiHG@wQD><M>=Vt@<=cm?nOlAAx^f?rt?DN<fEF=Avcn_LS@=AtN[{nQHbynr_[[QRcPG
<EzW[SQ[e>da{KNe{n[vM[GEL[[VNC{rd<c_EjUzGnV@ctezYapcuXmZkVoZGWaQUs^gFyINegD?Sf[
s`tYN^GsMiYvDqPNX`B[QQOQSPp?wppD>N<^=T=<pEOE\UYmeL^\^cu^WD>[j[jU{ly_T>IA>yPqlFf
eyr_a]pKyUFMySfJezdgtNC{TE[vuzNnlSx_GLS[LorBcD<HS_moK]ZPCsS=TH[KqUzIYahS`sZFhq{
WahGm^NJfJYGHfQRYlfXnNa?QkD<aqI?QGFfoDheHe@wQK^E=PFPoRriNN<MZ>Pa]pDMX<?A{HwK{{{
Id>bfgjSIAqn=TxY{rJWCqtK`]zgSxpAncf[oL?=xJ<Eczh\Euz_DD@N\UzHN\<B[G=Wfnn=Aowd=Cm
kq`ictqmZuVkqqXmFqjJwgmmKJ^kIo_d@_T^Wk@qS<d<`ffgHfgFGwgH<Gv\<busplfJ[^^=TJZB[y^
xO{PKNT^IIfxcGooloPCLrYQyuhXYOCzsP[i=XfCoL<cgy@]{f?=UFLayNq]^Svlt^mZvD\R<bxVgFb
KHyDcbANoD<MYGQcyMFuQyvo[d<o{XCGNJaDN<^fvpxQP]QPsDBZAHQQQQQP``WpP<>uEMKj]P<@SbI
\TThSnCC@[sNS\pfFrgtnOpyA[_cvJ{f^kqpwkfgSnUz`EZ<c^OX{TTiOi=XT<bFf[dJD@e{G]H<amV
^NLmwzTcHfh<lQ>aGFZv\HCnpatksyUVoppKQHsE<WPOLyk<tl=^a\yghXTfvhGNnAOJhcFuuQYsF[D
J\L>SUMqcw`aKYFgFqGsMIzkw=nUM{hhazofhdngwms?bfqaCqHe{TUyXcv=?HX<cn`<PCpNED[`NEE
yYZgAuphn@{TtvjUd@Qh_=XgEZuQSyAUv@uG_?d?E@c=]nOJKiwiKpow?yQILpA@@ZxaE]PnGHqnbEd
hhcrgWlaujIZH_{`fINFF]{iCzrUQ\ayMHe{Hkvr_GcRHFPSnyEnql\A=x\MriGQPDosTYFhA\_LS<_
\Ob<>@uztL>Apha\KKK_cv\bAicyLfnQZhsDBhXuho?OH^Dy@XoMIaQJusaNuQQQQMBOpaF_AprJp>Q
H_\PQfZvezqJCX\yHoNdVgLayL>SqDdGNaz<hH[L@[nuhn{DpnyCts\hJg>hA_Hrdnduhkf=H<>T<c\
>PLTl[B\ytMSZ_Ox\Axl`Zll[GJR^cUWoGSQax]LE^LIQ@zjSWwaGFQPnqQQQQMCkN>dSiya_>^l?Ip
QGlNCw@wDdsNfdgBf\e[\e[\YX`cxj<MU>S^nFNm{^x^F>Sp[gsjt<bP?uTvyYqhdtaTWcDlRpJ[rum
Z[E[R[`Gx`HAfq@gqRN{GHZuyYa_DCEuDouYUPktBkI`_qQPqPO@yME{QSqJrW_eqFDlpAmM{fgzqOI
AQEE{EE{Hqxk][=FbF[nDblaxgu_f[\EZKM[Zb`m{@k?OHNAhUvd@qD\blSqXZPMcxyn[\HCl=[L>XN
paNgH]Pr`SanVo{Y>G]DfcQOQ`eqO^FkT{QQQQL[kH]{zjQWfoH]Gqz__<E{czbFe{hDo>fdzAxK][A
L[n<B[<^UD[\H\e[HcPx`]zeZY^[mzPkCw]sPb>Imn[\Dd^MQvQqxu_=xOc<mxHAez>LNhhuVljwz[q
V]Qw{H<x^U@wzwPMJeLyjy@XgHiQ=`Om_Au{uScQOH\\cdSwSoTYXE[GL^E[PNEJF<B[<<UxQ^StDA^
?LS=`cx>O_Di=XN[rZH[>Cv]tEZWEz]VYC`EZFGgS@vFyaNHA]g<@R>TmxfRnscjk{{Y_=xUMRaYwzK
nUDPaOQQbAFsnNxJPOQONf]Zv\Uz=z[iQQi\GMs>[oF[b\RJfSaFNaz=DzD\RDA]na{>L<cnuc{ADL<
cjU{XM\MU=xuzezpE[hvw{NF[nAx^_xyZXd\bpvb`=A]CnNSsUyQxn[vnvHAq`H_nsSimXcI@uFR@xO
Kh^Htp[QQQQO@SpEAzCvCxubPpjFa<my<Lax_WlN[]TN[nP[\`EH@cwCrBD<HSx@a]\<m[NMFV=Wtau
D[hB[qFfYCfx@]z_j_KIWDYs>^O=tbfb[Nac{ISpgCzdE[GDh\cQQ\uNvkxjqqI@YMiPvTZPL?ltOQQ
QQLrCnJ[=]y<[aYQ_vOGl@RNat_dlucywtSlLa{zwtSj<dA=cwed@B[xZEbYyF[i=XL@[T>gLQoSwLS
>oz=Ewv[_SPfPr\<b[tnHCsnd[dN^SqNauLoFLgicOSiZ{IYjTF=Fxj<qOYDIOthhgFfP?v\<R?C`Cq
OBrYLHDfb@cthh<?At[\=cmFS\D>R<B[A\\hSk@^GA{LN\=cyuD[\Ez^[NwVv<YK\ExnSnXbAMKXoDd
CFT\E[DLlRQIdaz`ez\@ctLheKQG]N{niyoGGIA@<omYc<iUCHM`qQIQ@?yU\]<coAOR{\?^WtSoH]c
tat\R@ctQ^=YT<allD<aojD=zusI=YTY?=UHioyGoprBGUzPeLhqfFwat`FSq<bGkncxdPCpuctt<hF
yqQoXAGXhgpgUb>vOQNBQ^yAQQQQL_y>LhAltiOyqn\<B[>m^mZeZEJUzu^OcEwHckCDaukkL>Z\R?n
Dss[RQrGl\O\l[@>jRzfuhjkUEz@`{sp`]zPhA\<HS`_]VJRgHhffnnsMiQqDp`vcFJxcgQIFfDz\t{
MUJGwS`^>=W`\EXN[z<?AuMZPO\P_\LmvF[iCuzrBI\Leq[M[k]sy[^NHA_g]]PgoNVoVNzAtiSpazO
LS<<bB[^SKSC@jnyQG_ORXIQFI\YWHESE]IPqQQFKl<?aQQ?wfqE<`NHcjUz<]czT?b<b<is=D[h>Sc
zn=?d?`PJE{tqgwp]xz>>WxILfhbeHnX><B[<hSuU{N<ce>mZQaFjhGPwRDopuUOaWf_PuPESEnKFjs
i^_zqjfhpiMGMt_\L<HS\hSqEPhhfPI=XNctayLFnyRPH[XXIqxfzgr{DaAwvjfXftip>=Xj[p\MYaT
V\EXuiMYji]yyGIUZqgOwPnKiT=wPpIPoLoNoDzmSIEGKHnD<><DUz<an^ddegl>[`]ze[\OESsR=Aa
eqTYJAWmSc>y^r[`xvl`f]G_ZEE<My^eyF==EuMNfuuLqQVqTRUMQbQgCjr>IqUNp\dQFIIQQ?T{RjZ
<ISHe>GAxcfF<NDi]ppCmE{DiyYasFVstiGolXr=sNQel<l[@tzzJHEF[Sl^[D=@`G\RWpk[ykzQQsE
qucQUTgxppaB]ZadAPgIQG@@KqJqi=QfjD>SJ=OD_dA\<Ak][?cswcSUTbR[CfQzRRCqcb]qdHA]fSp
xODDQL<dlQK<<qGv<tS{yYq[OhRyGaQQRuWSkHoCgAQQAQMPqPp__yOFpjFq]NNZ<d]nIu\=clNQQcW
ojSqn?laex]p{{z[csQiUy<bqUz`tD<dLt<>dcxKEXS{{PjWQWPaGR?obUaIQNOHt\Gq=tT]\niGIQ>
Lzo>FMTONBt@]D_d@DA^FkOPIK<IHUL?^q{>mkN[R[SSR[Y?zcsl>O@HClBa\>dSjGjauzS{{QOQrUS
vpBZqQqQTvtEBKIkupnSHiHoQ??x\ZQ>cD>`GFE?`eFveMRtIxScw]S?BqmSSAVzQql[kQnVcQfLHAi
G@uzVKTRT@[uZS{okISPSRaIgasUgPwBrSI=GLPksOdoQQOQQGG?wOEaof@n[ZFmWCrJSx_KXEZVWaX
GvqGvqKsGNfpZmZyaGt{]\bl@\l[IGcD`b[?cv[aswyg]ruQaOiNWQQQEoAqOSPZ>PBkiZILGgPohoN
Q_t`YXyD^l?[nxXhvoaQsVLJXezqomjSsCm[X[?{_Zdv^qoHbPBfwo{CVM<HAhIstD@C\<S_AvZSzKD
woIOWiRW_hntvwHxQ?^qJoLh_wfqEmQPhiHoG=@K]FnX^?\C{uZHDKKTHo?\cxHNCw>yuomx_kicnJz
rW{X]{Gvjk@XqIJeI]qFDvj>U>n[ZDbctEX<R[awPjh_FyRpfySGRHIQIOUyJa`tqAceIGPNqNR??No
Hpc?tnhl@d[a{]zTAP_JeKsnHWLSAScXkZWzkCyOWzkCyO[yp^aSxh[Fz{OUg`k^CW?oGDRapvCclat
SJZ\M[ayNodM=NIM\GRblwNrZKgoG`qQQOhQH`xoD\E`oGOHnlP[\]\E=xamzEZw<][XYl{VS<EzCoD
uScY{sBgUztW[ymfr[jBm{kSZff[jEDZFSsfLpmcH[cQjrCHjgT{lBEt\>Z^MWctuz><{BOJPbZNgRm
aOUIMu>qjOffQjbYSHeHmONqPph=zNDAvS=Ze{>TKMKsrxlEhRCNyJg=xnJCzyYpFBEZWUczyYpFBEZ
WU^Sn{kSCPjEZW@=`cx[_hGqM>SygMyNThh\w[{`D@=@?\DMX<=[gzYAQ]YrLbPhmiZuKlAXPiEGaYp
nQVg`GQQQQG@E{MbAbUZNCtX{\{E[Sowsj\RQuuq^yJg>Sn{kSFIF[iIhE[GzyXdpezprnauM[izyPf
sF[i=@H[LauqmpjF[awfYEOO`nhsx[{tW\?ce{DzyJXwQQQLpocJIOaGoJjUz<IIIMNfq]NAQAQHp\E
z<B^LEZpAs_IPKzqNDPIXrKmTrCSxpkQuuq^auM[izyJfNCw?PfauM[izyJfNCw?PeEz>[oE[izfFkM
D[h@=A^cweuzsmL[GC{F`zfNGOD[{d[c{zD<BCt[_IOQIYqIJJjngOgoJXuo^@wQOi>fGd<@p]oNNpn
nUz<Hcl>[sbh_oPVkkvmUNxmRJvQWDfQ\Y[oNxN[\cxnSw[ivwLS@frN[\cxnSw[ivwLS@jhuctmy<E
{Hczo^SvpAm>bPComYazqw>lRR_[lmkXRG\i=Z[zL[HSc{z<L==XOppDobjTiQIN?TWEhQRmP_oHgFH
j?Tq>cDiYIFd=At_ArBes?foWeLOZos^i`owjVontiduyeQh^eRJUzH[LF[oE[iCtx<cyhXuctmy=E{
Hazp[_l>[shT<HS\MTH[L<ayOZ=[h<ctbhAc@?N[oDSj<by\[j=TuoZ@jBStSCv=TUzEZ[{nEtrhjgO
eXac_viHlNfwFfGLHDd]AeGaXwHqAONez<b\NyYjk?xxfRQ<r@[iD_SIaAHnKYSYuxxjGVJ[<<mZ=A\
H[LF[oDEZyRCMwy<<mZ=A\H[LN[oDEZyRCMvklUze\MTe[\MzcxoTYD<EyF\my<EzR`?bEZWNzu=zED
EZ>S=zU^MZezUz[{a]qM]oToOQ=PrOPTT]@QECFP=vQLaKKNIQ<pp>CvLndyYnp_uLPJVGYMOJNGAaJ
TigqT[`m[SADyqYscnB[fT@R<my=F[sv\R[qsvB[fT@R<my<f[sv\R[nkY>mZEfUE{HEZH[L>=TEXJl
@R?CqV{>ezqQOys]X?EyUMCtBJ[@]z?CvCu{v=APnYFo?eBqwaH]bEl^oHTBXcD\oPhLezd>v_{E<TA
FitgcmyBm>i`qG]izqYs?UzjggqT[`m[S@GAtbe\MTA=xAzlr[jCM[hGAtbe\MTA=xAzlr[jJy[d>SD
>WtSlFS\MTIgsz>b=AjTNH@]zmtWxbc<a^HR]^mx<<Ai=xBAxMz=z[_fUn?TiOJIOaIDi>cuBQPgH=P
iL?AtOFwYe@q{mzIuQ]DN=wNF^ONAzwg`_\<MX{EbswQsXIcvvd>SD>VbhAe{H_daukvcxn<an<beg=
V[oDvEZVo[e[iEt\<B[=Eze_dNCKxEfUMVOLSAoBYpwOrL>TD>Cu\<RBS^]y]z]zXXndoY\xocJT>th
oEFfDTFnl>[pXo?EhHqHn>Sa{>nFoJNF>ecyRyoZif[YuONAzwg`_\<MX{EnZD>T>Tmy<GFcwM[hH[L
@c^<b<bH[L>nezp^Azn[oG\LDAjUzEgJpEzt\Eu^T>[jOJ_viBX]e<e>RTuzLc]]y<[jnf\?NpWAQhQ
DPEBTnEGIDdS]FbDD<vA<f[]{zx\PWADt@ST[yQaUgP=@yYofb[qWsIvreysaG\L\`=A`nNCw>[oD@R
J=>>L@ROED[h<cxnH[L<>E<<mZ]HcF>Sb^AO[TYJcKGs=GsTF]^=<H[\M<mu=x{B<<U`fjnj_<ODGPe
Le{LNSD<NCvCu[yx]D>Kf[M{kOkKQFtyznFSO\MY]{qRQbiL@OqsJ\DfbGI=XLmy=FT>Fe^oLS@H[LD
@RK]ctGPjezpFD{DA_SGNHsK<nul<^<co\]<c_nOI`MP`YGPe<PldS\kDi=XL[EX[syn`S\MTE[Gzy{
SZFkT>[wVgdkf[M{kOkKQFtyznFSN<bt<ct@R<b\Ej<Ez=A\ed>GAw^auD[hFKH?U{vBh{WT<VJ==T<
h@qFePU^Y^D<FgEZ=`<Ev=ZalS][{l@cwpeZPSwWQswyQjSQdayLYOoMZ=A\axkwsyYtfy\E{ifj^d@
rCNb\d@rCNbE\<amGeZpAmOKjJcyWpVaxpaWMoc_qF<Ti>aUP]e{ETUbAbUZcu{w<HS\DN[\cxozwr[
w[oaOuzqFazAFq@n[kNauM[iiS[kqRuYR^SqEqKH<dA\b<F=TEdNZIxct>[dIXrhqq[NnP_YVpihC\`
<<DRjG`gLPCxD@=d`>S_CnCuZtEXJUzH[LE{kYqlayL[jYjExSwjmE{FqKf?At>@ctE{H{jyczsxuPz
[iNe[\PgPN?V<Id?\MCpH[RCLhRPoFnK{zdF?YPT@vPHKRA?MNnNSd\?Ex=AlCz[ajZ<?At@R<axkq{
wpe[\EZWq[X]z[qWo?tSlvfUp>S?b[_Cp>[wsYXE[PcwcW^[AzwhN[niOv_dJ\?D[<MV=TFrNGK_uQq
[uKqn`^gq`iP@?N=ct>HRe`Cl@[Qd`LUzefSa[nqm{iz`cxf[i[iSQp=\MY]{qT<UxSfiP_c\<mZ=A\
E[Gy[zyFSt<aukQynCu{QkHK][?fecNnhe<Te_[iDjKh]Tg_aSRKniKCFsC?jQE=]Z<bE\cdcjTJGAt
bN[\[jVkLayNSwK][=D[hAzwkvp@F[M{kNxDAe{Pff^M=cvbeZQ{GSAzsvN[nezqzqySLB=ArC{Q\=c
mZfqNOHn`>TwHuDOCyqOik>fHm{SEnNfjluqNh=cvN?=?=A@<<an?b[^SbvizfStB[qD<UxI=XR[qWs
Azv\=A\axkw{La>Sf_k<thS^UEz=zufyU{PczotSlNCw=[jq[gLLeyCzyGl\RcyNfdhG<\hpW@HEZVX
K_OrvHlatZhcDvh{o>dPHAv\tzXc\<HSf[i[iazmE{D@[TT\R<ct@ST[yQe{IhkNauM[ik[kfatiqn<
<an?b[^Sbviz\My]^Sq<<UxI=XR[qWjAzv\=A\axkw{La>Sf_kJJ@n@\<ezGs[q`moxnF[{lcEHposO
jBduz<<ANt@B[`]zl[wCE{Hk][>EyNERCNcp[wpwlmy=zD>@ctE{H{yczl>`ctkOqNZ<<mZezqzrSwD
cqFaz<\R<ct@ST[{rcxrnyFSaAzryzzfS^sSEEDheD[\KXS{a=AsxNa=x[j@dD\hwsaCsL`Av^<^mZp
Am>SncLmy<\=clHA\z\R<MTE[Gzy{L@RAx\uctmy<czyXE[P@ucu[iz_\LUzNCw={hXcxnHA\`cx^Q]
peyCzw{Q?CpCt\DN[\cxo{r[w<FN[^yKPDj<pAlqTcu{zOX[{bg=Tauh<JK=JyTPxeUZd\EX<cvauSv
=A`DA_n<DryFSaAzrqYzfZ[`<?At@R<axkwpe[]<<mZcznSw<DhSi=XLaxepH[LDx_tSmv=T=A\axk{
Ypv=A][DJUzH[LE{kS>SqEJUzSw[d=D>ZvpH[D[ayyND[a{n<Ef[i=HtAGIofa@N[GEy]pN[\[wFTE<
L?d>@ctE{H{fyczlbHClB[fVauM{iz`cxlUz^SqGcyN\EX<cvauSv=A`=<<Ux<DryFSaCzyY{kZeuzL
<HS\MT>Sn{kNaz=<<mZazn[w?TUeJ=AlCz[qWp`CnSCueA=xlDxt=cinnLkdJ=DA_b[^Sq<cth_b[_C
p>[wqqlayL\HA^mZE`ct>SqE[hzAx<hSnaz=<My]hcrCMEz={he\DA\v<]Ez<axkwqm{iiS>Tl[<Uze
fSaAzsvN[o=cwcyN^Sq<\Ldhe`Cl@[BJix\SeXAxfhA`IMrmgRGPFx<Dr<?Avaz><?H\<mZ=A^E[Gu{
kNaz<>T>SDJUze[\U{P\=cl<anN[ndcqDt@\RJUzE[P^T`h_b[fSaAzswpE[P{fyd?=ThS^UEzB[qE{
hzAx<hSl@[TXe[\Dq^TEvExkP{LU]UbS^<>ZX]zsDiaL>j_dUzN[n<hB[fTeZQ{X[w[eE{FPc\<HS`c
x\My]^=XcgtSl_=TD>I\<mZe[\D[H\<mZN[\cxn[w[faz<[wqql>T>SDJUz=CrBE[P<=cl<an^[PeE{
D]f?=?=Nq=sy\VE<axaTksZQ@Om>NfnGAwtSltGAtbN[\[jY>SqE[hzAxFt@B[k][>EyNEJ=L<UxDx^
J]cuE{D<^lUzuctmy<^Sq={hN[nE[Gu{kNPc\<HSdcqFaz<\SEvHA\gtSl>\ttCHyKqD<n[>zkIVaQR
Ne<UH\EX<B[=D>SDJUzEZWzfStB[qD<Ux<<^mZ<B[<lR?t>>=X=>h^mZzAx?\hS\<mZ=A^e[\E[Pk][
>auSym[izft@B[_=TEE{D`tA?nD<Ux><=otVKkx^HRAHxcYGoYmQ<GNZDA_Et<?AvcwM[hN[n=CrBDA
d>S>=Tx\>^L@n<al<Ux@\EXB[fTN[ne[\<=clN[\[jYU{Pczl<DhS_nK][C\D=@DAk[KNoX{kN<b_Hc
Ki^FkUThtt@E?\LUzNCwB[qGtSl^[P^OEt`=<zGNZDA_EthS^WtSlN[nDAjUzEZWz\My]^Sq><al@<=
cl<d>LSh^oIKyYsGbeFqOR`s?rwqneD?t>GAwLS@=Cr><B[<lRCttAt<G_\L`J=<EX\<B[?tSlE<<mZ
ezpSwDcqFaz?EtDA_vme\>][sGilLKyGJ<dAE_X`k?bPFF<d>S<Ez^[RDA_oD><\DN<z<nZ>=T<UxZB
[`]zmcyNHA]`cx_\L`<EVX\yNkBHkVKo<<N>KAD_JK\l^HcrCLlRNE<LD\d>j=>L\R<^mZpAm<My\_o
GtSl<zKX^ZPesFJexxntpw`<xS{dJ=DA\xatD^<zE<>S<Ez^[R=<\=cl\DJUCQFfZVndPOw]U_mlq[S
{Y<Dr=<<\D?xcrCLlRN<\Rcl^^KF]PlVrIXySLrlXbmyShJFJ\\>t@\R?nL`NHOx\ipOKoSmxupwjGp
{hWS@zfn<>I\L[e=HcKlFCA@{OxeMQKpRxfrQKuy`QtOFJ\>EpX]mLAF{RcqmuzyJqSEjQ>haSyy{S^
nhatN]Ng{FcMFcEIOzbiNhpcIvwa^aSChZY{[J@nKp>{xoDoNAHnF_SJnf?ZiOP[`qqG^faOKyQ[{Q=
Dhxl[HqHBL>DA<FTty@R@{TF<EZS[tsjdFgoPfuPM{C>uKkPlVBNL@bpq<NGpN>cud[{m[qvjXrvJO>
mASv@_SIdUED^PPX^KtED[^^Scwd[{sxIx_xxsakthaRFmUNNE<hxtoQ?LS>eZEZx>Sc{][zSxGuLPM
zWX@kDh\gUE<_yxbh\>Z@cvcwLeZexSez[zC{x=Nf>S^stsntzp^CEZnHvi]jUzPCmMEz<AuzH[D[av
Cu[uSzezD[zSyqyHuEDgBbOgn=<<mZhAfzAzV@S\MX={cu=xam{IOH`]z>SctS{xSxPW@LRcInp\]ct
>W\=cn@J[fU=x=Cn=ZalSj]LGLSFS^Sez[zlC{tN<KX_nLB>mZanDA^=]xE\cdcbTRUa{D<<c`cvctm
x]zSj]zSzdJUC@N<annT`<mV?=?=<VE<ax_TWb[a=x=AlCz[a`CnSCt[>ZLnZ=OtE<tt<n[@D@<?Avl
Re`Cl@[QdAvS=[Dms\t@><n<<DmTDUz<bE\cdcjUbAbU[eFYl>?\E\hSeDH@H@PLB^LEZEgwp\E<EXd
JKb<HcqxyulfnZ<<ANDmT{=oSZt?\N^<bxmRWqr`\F^PzzbUlfHbndqo[aQwfgF\GAaEPfyeFmF<gUD
fDdnXlCiDkFfn=HuDX@lqMhOYD<N<@\F<<
