HAL Id: inria-00073070
https://hal.inria.fr/inria-00073070
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
How to Deforest in Accumulative Parameters?
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel
To cite this version:
Loïc Correnson, Étienne Duris, Didier Parigot, Gilles Roussel. How to Deforest in Accumulative
Parameters?. [Research Report] RR-3608, INRIA. 1999. �inria-00073070�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
How to Deforest in Accumulative Parameters?
Lo¨ıc Correnson, Etienne Duris, Didier Parigot and Gilles Roussel
No 3608
Janvier 1999
TH ` EME 2
/02143657098:8<;>=*?<09=,@BA$CEDF;>=*=*;6G"H8:DI?:JK@BG"DILDI;>8NMPO28<DIQ902CROS=*LUTVDFWIWI;X?NYZ09H*?<?:;>WI[
\,]_^<`7ab+cedPf<g_hia)jlknmXhlophia<j
apqropstjuovwjxzyK`+{2knjlhu|Xvwa
}B~knaqPx4opst~
st w SkX~zqa)~4a<o]_a<~4o]wag+nXnncXsng>Khlap~$<Xn)cbt7 wsnmna<x
R<p_nn knq sn~a¡apg_mXhigwapap~4hlg_mZ]wsXxq4k¢~4a<opkngwophijla+`Nkv_just~4h£qy hiq]a¤Zohlapgwopyn¥+g_a7 sEy¢qk
mX~4sn _ _jla hiq]¦q4]_hlx$hljlap`N`§sZhuxq4k¢stv_qkn`§stqhuopstjljlyZq~stgSx¨kX~`©sZ`Nkv_just~ª«x 2a<ohi¬wa: _~kXmn~st`hig>qk
sng¦a¤Zohlapg>qªIhl`N _jia<`Napg>q4sn{_jia¡kng_aX¥r\,]_huxrhuxrq]_a7sthl`®kn¯a¨kX~a:xqsq4hikXgq~stgwxz¨kn~4`§sqhlkngSx, ]_hlo]6mnaq
~4hu¢kn.hig>qa<~`Na:hlstqa+wsq4s§xzq~4vwoqv_~4a<xopkngwxzq~4vwoqhlkngwx,q4]wsqPst _ 2a<sn~ ]_apgq kN¨v_gwoqhlkngwxst~4aokX`¡ª
2kXxa<¥¢°a<na<~zq4]_apjla<x4xp±a²huxq4hig_mV¨v_gwo³q4hikXgwstj¯`7apq]_k_x¡opsng_g_ktq+_a¨kn~4a<xzqg_kXgªFq4~hlKhlsnj.hig>q4ap~4`7a:husqa
opkngwxzq~4vwoqhlkngwx¡q]SsqRst~4a" _~kopa<x4xza:´{KyµxyK`+{2knjlhlo"okX`7 2kXxhiqhlkng¥¶\,]_hux§g_a< ap¨kn~4a<xzq4sq4hikXg´q4a<o]ª
gwhl|>v_a§hux${wsnxa<·kXg6q4]_aZa<x4o~4hl qhlkngwsnjBokX`7 2kXxhiqhlkng¸a<huopstqa:6q4kVsqq~4hi{_v_qaNmn~st`N`§st~xp¥N¹ºg·q]whlx
Sst 2ap~:±> aP _~a:xza<g>qq4]_a)xzyK`+{2knjlhuoopkn`N Sk>xzhiqhlkng»±> aPknvq4jihlg_a$h£qxokXv_g>qap~4 wsn~zqhig¢qa<~`§xktopjlsXxxhuopstj
_a¨kn~4a<xzq4stqhlkng¢`7apq]_k_xrstgw¢ ax¼napq4o]"s¡ ,sEy§q4k7a<`+{2a<"hiqhig¦s¡¨v_gwoqhlkngwsnj½¨~4sn`Nap kn~4¼2¥
¾¦¿>À9Á4Â+à Än Å qzq~4hl{_vqamn~st`N`§st~x<±¨v_gwoqhlkngwsnjK _~kXmn~st`N`Nhigwmw±<_a¨kn~4a<xzq4stqhlkng±E _~4knmX~4sn`(q4~4sngwxª
¨kX~`§stqhlkng¥
ÆuǽÈÉ«Ê<Ë,ÈÌÍlÉ«ÎIÏÐ
ÑÒwÓFÔÖÕz×:×EÕ¯ØÙEÚÛÔÖÜ»ÔÖܽݻÔÓFÞ)ß9ÕàEÚFÔÖáºâãÛã¨Ò»ätß廿*ç7èEÒwâéêÔÖëuì>íîïEð4ñ4ò:ð³ðzóôÛõzöp÷ø9ôuù³ï
úBû
ÔÖëÖëÖÕzÜ»üý³ÙEÜIÜFÕëKÔÖܽÝÔÓFÞþ×EÔÿÕÚÛÜIÔÓ¯à:ÕBç)êÚF×EÕºâëê4â9êëÖëÕ³èSÒwâéêÔÖëuì>ïî:ñ³ñ4óò4î³öð Fø _ôuù³ï
#+" ¢!#)©-
»afpXapjlkn _ 2ap`Napg>q.jlknmnhuohlapjkXh£qB~4f<opkngwophijlhlap~*jlsP`Nkv_just~4h£q4f,aq.ja¤Zo<snohiqfX¥rg_aa:x.st _ _~4ko]_a<x
2knvw~»xsqq4sX|Xvwap~opa¯hljia<`N`7a¯a<xzqaB 2ap~4`Naqq~4aBjlsq4~4sngwxz¨kn~4`Nstqhlkng)stv_qkn`§stqhu|XvwaBaB _~4knmX~4sn`7`Na:x
x 2f<ohi¬wf:xZ`Nkv_justhl~a<`7a<g>qZapg¶ _~4knmX~4sn`7`Na:xNhi`N _jlfp`Napg>qst{_jla<xRa¤ZopsXoap`Na<gXq:¥a:xqR w~f:ohuxzf<`7a<g>q
jla¦{_vqa<x§q~stgwxz¨kn~4`§sqhlkngSx§a6fp¨kn~4a<xzq4sq4hikXg±,|Xvwhr 2ap~4`7apqzq4apg>q¢fpjlhi`Nhlg_ap~"a<xRokngSxq4~vwoqhlkngwx
_aNxzq~4vwoqv_~4a<xPa§kngwg_fpa:xhlg>qa<~`Nf<_hlsnhi~4a<xPst _ Sst~sthuxx4stg>qrjlkn~x$aNjls"okX`7 2kXxhiqhlkng_aN_apv²¦¨kXgwo³ª
q4hikXgwx<¥°rf<stgw`7kXhigSxp±tjla<x*`Nfpq]_ka:x*¨kngwoqhlkng_gwapjljia:x*a²hlxzq4sng>qa<x*gwa 2apvwnapg>qB wsXx.f¨kX~a:xq4ap~.oa<~zqsthlg_a<x
opkngwxzq~4vwoqhlkngwx¯hig>qa<~`Nf:hlsnhi~4a<xg_kXgZq~4hl>hustjla<x|>v_h9xzkXgXq, 2knv_~q4sngXq _~4hlxa<xapg"okn`N q4a Sst~jls7okX`7 2ktª
xhiqhlkng¸xzyK`+{2knjlhu|Xvwan¥aqzq4aNg_knv_Xapjljia7q4a<o]_g_hu|>v_a§a§f¨kX~a:xqsq4hikXg6a<xzq$¨kngw_fpaZxv_~$jia§ _~4hlgwohl Sa§a
jusNokX`7 2kXxhiqhlkng¢_a<x4o~4hi q4hikXg_g_a<jijla)|Xvwha<xzqf<hlfpa)snv²Rmn~st`N`§sthl~4a<xsqzq4~hl{_v_f<a<x<¥ sngwxoa$~st _ 2kn~q<±
gwknvwx) w~f:xza<gXq4kngwxPjus¦okX`7 2kXxhiqhlkng xzyK`¡{SkXjihu|>v_an±g_knvwx _~f:ohuxzkXgwx$xza:xokXg>q~4ap wsn~zq4hia:x 2knvw~jia:x)`Nfª
q4]_ka<x$a§fp¨kn~4a<xzq4stqhlkng6opjlsXxxhl|>v_a:xrapq)g_knvwxPa:x|>v_huxxkngSxrv_gwa7`Nfpq]_kaN 2ap~4`7apqzqstg>q$_a7j!higwxfp~4ap~
wstgwx,v_g¦x4o]_fp`§s7a) _~4knmX~4sn`7`§stqhlkng§¨kXgwo³q4hikXg_g_apjljlan¥
" à : Á $# dP~st`N`§sthl~a:xPstqzq4~hl{_v_f<a<x<± _~4knmn~st`N`§sq4hikXg¦¨kngSo³qhlkngwg_apjljiaX±fp¨kn~4a<xzq4stqhlkng±9q4~4sngwxª
¨kX~`§stqhlkng¢_a) _~kXmn~st`N`Na<x<¥
+ ,
¡»* "¢¯
¹ºg>q4ap~4`7a:husqa_sqsªºxq4~vwoqv_~4a<x¯st~4a{Sknq]§q4]_ar{Ssnxhlxstgw7q4]_aP{wstg_arkt`Nkv_just~¯ w~kXmn~st`N`Nhig_m'-Öb/.10I¥
¹«Sq]_a<y¡snjijlk ¸¨v_gwoqhlkngwx*q4k${SaokX`N Sk>xza:½±q]wapy+snjlxk]SsEna,s]Sst~4`¡¨vwj_okXxzq¨~kX` a¤ZohlapgSoy 2knhlg>q*kn
Khlap 32Fstjljiko<sqhlkngNstgS+a:stjljikopstqhlkng54¥\k$mnaq*q4]_a,{Sa:xq.kt2{Sknq]7 kX~ju_x<±76/89!8Zq4~4sngwx¨kX~`§stª
q4hikXgwx a<~ahig>q~4kvwopa<½¥.\,]_a:xza$xzkXv_~oaªIqknª«xknvw~4opaq4~4sngwxz¨kn~4`NstqhlkngwxB¨vwxarq k _hla<opa<xkts+ _~4knmn~st`
hlg>qk§stgwktq]wap~kngwan± ]_a<~a$hlgXq4ap~4`Na<husq4a$wsq4stª«xzq~4vwoqv_~4aPopkngwxzq~4vwoqhlkngwx]wsEXaP{2apa<gapjlhi`Nhlgwsq4a<½¥
v_~xzqvShia:x$~a<jlstqa:¦qk _~4knmX~4sn`®q~stgwxz¨kn~4`§sqhlkngSxr hiq]·q]wa¡¨kX~`§snjihuxz` knstqzq~4hl{_vqa§mX~4sn`7ª
`§sn~4x,jla<"vwx,q4kZapXapjlkn sNg_ap ap¨kn~4a<xzq4sq4hikXgR`Na<o]Sstg_huxz`±_{Ssnxa<¢kng"q]_a¡ojusnx4xzhuopsnj9_a<x4o~4hi q4hikXgwstj
opkn`N 2kXxh£q4hikXg"kn*stqzq4~hl{_vq4amn~st`N`§st~x:-±2_±Sb_0«¥ hlgwopah£q _~kopa<x4xza:x, wst~qhuov_just~4jlyZ Sk ap~¨v_jap¨ktª
~4a<xzq4stqhlkngwx<±tq4]_asnhi` kt9q4]_hlx wsn Sa<~¯huxBq4k _~4a<xapg>qBq]whlx;<>= ? ;@A#"q4knmnapq]_a<~¯ hiq]Rs sEy
q4k¦ap`¡{Sa:¸h£q+hlg´s"¨v_gwoqhlkngwsnjB¨~st`Nap kn~4¼9¥CB_v_~q]wap~4`7kX~aX±»hlg kn~ap~$q4kV{_~4hl_mna7q]_aRmXst ¸{2aq apa<g
q kRopkn`N`+v_gwh£q4hia:xp±9 a)q~4y"qkRkXvqjlhlg_a¡sngVhig>q4ap~4 _~apq4stqhlkng¦ktBkXv_~r`Napq]_kVhlg¦q4ap~4`Nxkt.¨vwgwo³q4hikXgwstj
_a¨kn~4a<xzq4stqhlkngRqa<o]wg_hl|>v_a:xp¥
Å
qap~s+jlsn~mXar`Nktq4histqhlg_m+kXap~4>hlap knq]_a$ _~4kn{wjia<` hlgZq4]_hux,hig>q~4kvwoqhlkng±K aapq4sthlj2q]_a$xvwo³ª
opa<x4xzhlnaxzqa< wxPstjljik hlg_m§knvw~ap¨kn~4a<xzq4sq4hikXg¦`Naq]wkK¦qkR{2a+ w~koa:xxa<"kXg¦¨v_gwoqhlkngwsnj _~4knmX~4sn`§x(D¯s
q4~4sngwxjlstqhlkngV¨~4kn` ¨v_gwoqhlkngwsnj. _~kXmn~st`§xqk¦sqq~4hi{wvqa§mX~4sn`7`§sn~4x$stgSVq4]_aZokX~aNktq]_a¢xzyK`+{2knjlhuo
opkn`N 2kXxh£q4hikXg¥ jusnx4xzhuopsnj¯q4a<o]_gwhl|>v_a:x§oknvwjl q]_a<g q4~4sngwxjlstqa¢q]_a~4a<xv_j£q4higwm¸_a¨kn~4a<xzqa: stqzq~4hl{_vqa
mX~4sn`N`Nsn~4xrhig>q4k¢¨vwgwo³q4hikXgwstj. _~4knmX~4sn`§x2Û{>yVq]_aN ,sEy¦kt¯¨vwgwo³q4hikXgwstj.a<EsnjivSsqkX~4x-l<10«±kn~$jusE<yVapsª
jlvwstqhlkngF-iEbG04¥
HJIKH L3MN OQPAOSRUTWVYXX;PAZJV\[5]^O`_
\,]waba·sXjlap~ xZ_a¨kn~4a<xzq4stqhlkng¶stjlmnkX~hiq]w`c-bd.G0huxZ{Ssnxa< kng q4]_afev_~xqstjljrstgw Pst~4jlhimnqkngx gzv_gª
¨kXjlih:¨knju*j¯q4~4sngwxz¨kn~4`NstqhlkngC-l0«¥
higSoa¨v_gwoqhlkngwx.sn~a,a¬Sg_a<¡ h£q4]¡~4a<x 2a<o³q*q4k$wsq4srqyK Saopkngwxzq~4vwo³ª
q4kn~xp±2`§stg_hl _v_jusq4hikXgwxPkt.q4]_aphl~)a¬wgwh£q4hikXgwx$stjljik okXgwxzq~4vwo³q4kn~xlk"knstg6hig>qa<~`Na:hlstqa7_sqs¢xzq~4vwo³ª
q4v_~4a^k§qkN{2a$a² Sk>xza:§q4k¡¨vwgwo³q4hikXgwxq]wstqokngSxzv_`Naq]_a<`¥B\,]_apg±_q]_aPq~stgSx¨kX~`§sq4hikXgRokXgwxhlxzq4xhlg
x]_hiqhlg_m¦okXgwxq4~vSo³qkX~4xknv_q4xhla7q4]_a7q~4a<sq4`Napg>q4x$knhlgXq4ap~4gwstj¨v_gSo³qhlkngSxp±hF¥a§apjusEyKhig_m¢q]waphl~sno³q4vwstj
opkngwxzq~4vwoqhlkngwx<¥
\,]_a<~a+hlxsng_ktq4]_ap~rhig>qa<~a:xq4higwmZst _ _~4kXsXo]¢{Ssnxa<kng¦snjimXap{_~sthuoPg_ktq4hikXgwxstgSktqa<gVopsnjijla<W6dm
n!#op! q "!8i! 5r-_±»bt±.ts_±»bs_±¯<10«¥7\,]wa¡hua<s"kn¯q]whlx)sn _ _~4kXsno]6hlxPq4ko<st q4v_~4a
{2ktq4]Zq4]_aP¨v_gwo³q4hikXg¢sngw§q4]_aPwsq4stªFqyK 2ar wstqzq4ap~4gwxkt»~4a<opv_~4xhlkngu-l<10«¥B\,]_aPmnkXsnjwhuxqkN~hlnaPa¨kX~a:xª
qsq4hikXgq~stgwxz¨kn~4`§sqhlkngSx h£q4]6~4a<x Sa:o³qq4kZq4]_a<xa+~4a<opv_~4xhlkng¦xo]wap`Na<xstgwq4k¢opjlsXxxhlo<stjjusE xkn.q]_a
o<sq4apmnkX~y7q4]_apkX~yX¥
Å jij½q4]_a<xa)`Naq4]_k_xst~4a$st{_jlaPqkZap¨kn~4a<xzq¨vwgwo³q4hikXgopkn`N 2kXxh£q4hikXgwx,jihl¼na
v*wdxuy"z{}|d~/y?y yqz{}|~/Az({iFy?yA
vdwdxuy"z({*|/7/w1xd
{7 7z~/F~yQ
Ky"z({*|/F9~y8
{5y
v*w/xf~/Az{ Fy?y> 7/wy?1x*
{A¡Az~/F~yQ
{7 7zn~dFn~/Az{ F9~y¢yA
{5y£y
¹ºg>q4v_h£q4hiXapjlyn±Kq4]_a<xa$qa:o]_g_hu|Xvwa<x, _~4koa<x4xhig"q4]_~a<a)xq4ap wx<¥JBhi~xq:±Kq]_a<yF@A+okXgwxq4~vSo³qkX~4x¯qkN¨vwgwo³ª
q4hikXgwx 2¨vwg¨knjuhlg_m*4¥
v*wdxby"z({*|*~/py?y7/wy?1xd
n
{AAz~df~y`
y"z({*|/
{A¡Az~/F~/Az({iF~yy
{7yQ y"z({*|/oy
°ra²Kq<±9q4]_apyVsn _ _jly¦sR¼KhlgwVkn\@A!8! U$! ?7!#¸qk¢q]wa<xa+q4ap~4`Nx2Ûsn _ _jlhlo<sq4hikXgVqk"okXgwxq4~vSo³qkX~4x4³±
q4]wsqro<st~4~hla<xknv_qq]_a)a<jihl`Nhigwstqhlkng"kt*hig>q4ap~4`7a:husqa)_stq4sNxzq~4vwo³q4v_~aX¥
v*wdxuy"z({*|*~dpy?y> /A/wy?1x*
{7 7zn~dF9~y
Ky"z({*|/n~dz({iF~yyAK
{7yQ y"z({*|/Fy
Bhlgwstjljlyn±~4a<ovw~4xhiXa #! okXv_ju¢{2a)~4aphlgXq4~kvSoa< 2¨¨knjuhigwm*4³¥
v*wdxuy"z({*|*~dpy?y> /A/wy?1x*
{7 7zn~dF9~y
Ky"z({*|*~dp~yy
{7yQ y"z({*|/Fy
¹ºg·q4]_a§~a:xzvwj£q4hig_m
yqz{}|d~/
¨vwgwo³q4hikXg¸_a¬wg_hiqhlkng»±»q4]_afA(§ktq]_aZhlg>qa<~`Na<_hlstqaNjihuxzq+]wsEnaN{2apa<g
~4ap`NkXa<½¥
BXapghia<sXo]Rq4a<o]_gwhl|>v_a$hux, wst~qhuov_just~,hlgh£qxstjlmnkn~4hiq]_`hl`N _jia<`Napg>q4stqhlkng2¨~4ap ~4h£q4hig_mN~4v_jla$xyxª
q4ap`r-bd.G0I± "!$#&%'Za<jihl`NhigSsqhlkng¸~4v_jlau-0I±»¨knjugwkn~4`NsnjihqE<stqhlkng-bn10«±]KyKjikX`Nkn~4 _]_huxz`§x¨vwxhikXg
-l<04±q]_a<y¢sn~aP`Nkn~4aPkX~jia:xx,{Ssnxa<¢kng¢q]_a:xza$q4]_~a<a)xq4ap wx -.10«¥
HJI)( *3R^PAO`_*Z+-,UO/. [ V\_*O`_
¹ºg"xz wh£q4arktxza<nap~stjShi`N _~4kna<`Napg>q4xstgw§~4a¬Sg_ap`Napg>qx¯kn¨v_gwoqhlkngwsnjwq4a<o]_g_hu|>v_a<x<±>q]_a$ap¨kn~4a<xzq4sq4hikXg
kn¯s¢opjlsXxxktB w~kXmn~st`©xq4hijlj*~a<`NsnhigSxrhl`N Sk>xxhi{wjiaX¥$\,]whlx$okXgwoa<~gSxq]waNopkn`N 2kXxh£q4hikXgVktB _~4knmX~4sn`§x
q4]wsqropkngwxzq~4vwoq 2Û wst~qktn4q4]_aphl~~4a<xv_jiq,hlg¦stgsno<ov_`¡v_jlstqhlnaP wst~st`Napqap~:¥
Å xZs¸xq4~hl¼Khig_m¸ap²sn`N _jiaX±¯jlaqZvwx§opkngwxhuap~Nq4]_a¨v_gwoqhlkng ($· ]whlo] ~4apna<~4xa<x7s·jihuxzq<¥¶¹ºg q]_a
¨kXjijlk hlg_m7_a¬wg_hiqhlkng»±_ wst~st`Napqap~10¢hlx,hlg_hiqhustjlh"E<a<" h£q4]"q]_a)stjlv_a324-5D
v*wdx76z98'
0
/7/wGx*
n
{A¡Az~/F~yQ
6z:8u~y
{7 7zn~d<;}
{7yQ
0
\,]_aVopjlsXxxhuopstj¨v_gSo³qhlkngSstjokX`N Sk>xzhiqhlkng ktq]_huxN¨v_gwoqhlkng hiq] h£qxza<j£$jla<snwx+q4k¸q]_a"¨v_gSo³qhlkng
_a¬wg_hiqhlkng
v*wdx6z:8=6nz98u
0?>
@6z:8uA6z:8CB?;D
± ]_a<~a7q4]_aZjlhlxzq{_v_hlj£q¡{>y6q]_a§hlg_g_a<~C($Vhux$q]_a
E
ØÕ-FtÕ×EàEÔÖ×HGý³×ÓFÞEÕBàEÕJIlý³ÚÛÕÜFÓIê4ÓIÔÖý³×)éÕºÓFÞEý<àXä:ÓFÞEÔÖÜÜÛÓIÕ-FÔÖÜ»ÔÖé F:ëÖÔÖázÔÓ9ý³Ú»×:ýÓÔÖ×rÓIÞ:ÕKFEÚFýpáÕÜIÜè
hlg>qa<~`Na<_hlstqa§_sqs¦xq4~vSo³qvw~a§okXgwxv_`Na<·{KyVq]wa§knvq4ap~'($<¥
Å
x$Ûsn~snx) aN¼Kg_k )±sng>y6mnapgwap~stj
ap²hlxzqhlg_m§a¨kX~a:xqsq4hikXgR`Naq4]_k"snjijlk xq]_huxopkn`N Sk>xzhiqhlkng¢qkN{2a$q~stgwxz¨kn~4`Na<Rhig¦s7 _~4knmn~st` q4]wsq
xknjlapjly¸okngSxq4~vwoq4xq]_a¢¬wgwsnj¯jlhlxzq2
hiq4xapjin4¥¹ºgw_apa<±Bst _ _jlyKhigwmVq]waR _~4apKhlknvwxjiy· _~4a<xapg>qa:·q]_~4apa
xzqa< wxqkNq4]_hux,a²_st`N _jla)jia:sn_xq4k7D
v*w/x76nz98 6z:8CB?; D /7/w B1xd
{A¡Az~/F~yQ
6z:8=6nz98~y
{7¡7z~/<;} D
{5y 6z98 ; D
v_~4higwm¢q4]_a§q4~4sngwx¨kX~`§stqhlkng6 w~koa:xx<±½q4]_a§ wst~qhustj.a<stjlvwsq4hikXg¸xzqa< ¸]wsnx$g_a<na<~){Sa<apg st _ wjihla<½±*xk
q4]_aPhig>qa<~`Na:hlstqajihuxq,huxxzqhljij½opkngwxzq~4vwo³q4a<§hlg
6nz98 6z:8
¨v_gwoqhlkng¥B\,]wakXg_jiy§h9ap~4apgwopar hiq]R~4a<x 2a<o³q
q4kPq]_aopjlsXxxhlo<stjK¨v_gSo³qhlkng§opkn`N Sk>xzhiqhlkng7hux*q]wstq.q]_akXvqa<~
6z:8
hlx*g_k st _ wjihla<Nsnx.xkKkngNsnxq4]_ahigwg_ap~
hlgKna<~zq4a<¢jihuxqhlxopkngwxzq~4vwoqa<F2¨hlg70A4DBhlgwxzqa:sn"ktBst w _jiyKhlg_m
6z:8
qkNq4]_a)~a:xzvwj£qknq4]_a)¬w~xq
6nz98 o<stjljF±
hiqhuxst _ _jlhla<¢qk7q]wa
;
snopopv_`+vwjlstqhlna$ wst~st`Napqap~, ]_a<gh£qropkng>q4snhigwxq4]_a) ]_knjla$higKXap~qa<¢jlhlxzq<¥
°rapna<~zq4]_apjla<x4x<±»q4~4sngwxzjusq4higwm¦q]_huxap²_st`N _jlaZhig>q4ksqq~4hi{wvqaZmX~4sn`N`Nsn~4x<±»kXv_~¡_a¨kn~4a<xzq4stqhlkng¸`Naª
q4]_k½±*gwst`Na<jiy6q]_au<'= u;@718w±. _~4kvwopa<xsg_a< sqzq4~hl{_vq4aZmn~st`N`§st~Pq4]wsq+gwkV`Nkn~4a
opkngwxzq~4vwoq4xq]_a)hlg>qa<~`Na<_hlstqa$jihuxzq<¥B\,]_huxsqq~4hi{_v_qa$mn~st`N`§st~okXv_juR{2a$q~stgwxjusqa:Zhlg>qk7q]_a$¨kXjijlktª
hlg_m7¨v_gwoqhlkng¦ap¬wg_hiqhlkngwxtD
v*wdx6z:8=6z:8CB?; D ?BA6z:87;u
B D}K
v*wdx <BJ7/w B1x*
n
{AAz~df~y`
p9~y¢
{7yQ
v*wdx
B D /A/w B1x*
n
{AAz~df~yQ
{7Az~/
9~yKD}
{7yQ D
\,]wa¢hlg>qap~4`Na<husq4a¢jlhuxq§]wsXx¡{2apa<g opkn`N _jlaq4apjly´hlx4opsn~4_a<´hlgµq]_a:xza¢¨v_gwoqhlkngwx<±¯a<napgµh£)svwxza<jia:xx
q4~4sEXap~xsnjU2 4rkt¯q]_a7q~4apa7~4ap`§sthlgwx<¥P¹ºgÛsnoq<±½hlgVq4]_aN wst~qhuov_just~$opsXxza¡ktstqzq4~hl{_vq4a7mX~4sn`N`Nsn~4x<±Ss
opkn Ky§~4v_jia)a<jihl`NhigSsqhlkngokXv_juRa<napg¦hux4opst~§q4]_hux,q~sEna<~4x4stj -b_0«¥
HJI p[[ +V TAMJ,UO3X;VYPAV OTOQP .;OZJPAO`_dTV TAM ZUR
\,]waPmXapg_a<~4snjihqE<stqhlkngZknq4]_hux,a²_st`N _jla)stjljik xvwxq4k7kXvqjlhlg_aPq]_aopknv_g>qa<~ Sst~qknxy>`¡{SkXjihuo$okX`7 2ktª
xhiqhlkngVhlg¦qa<~`§xkt¯opjlsXxxhlo<stj»¨v_gwo³q4hikXgwstj`Naq4]_k_xp¥v_~P _~4kn 2kXxh£q4hikXg¦hlxrqk"sn_VsR¼Khigw6ktBa<v_~a<¼s
xzqa< Rq4kZojusnx4xzhuopsnj2¨v_gwo³q4hikXgwstj»`7apq]_k_x<¥
¹ºg$q4]_aB _~4apKhlknvwx9ap²sn`N _jiaX±q4]_hlx»apv_~4ap¼sxzqa< PhuxKvwxzqq4krxzapq
6z:8=6z:8CB?; D ?BA6z:87;u
B D}K
±
]wap~4a
kZsZ wsqqap~4gª«`§sq4o]whig_mNkXgq]_a+x4st`Na
sXx ¥\,]_apg±wq]_a
6z98 6z:8
ap¬wg_hiqhlkng¦kn{_q4sthlg_a:
{Ky ojusnx4xhlo<stj`7apq]_k_x7okXv_ju´{2a¢~4ap ~4ktq4aRhlgXq4kVq4]_aR¨kXjijlk hlg_m
ap¬wg_hiqhlkngµsngw´sn _ _jly>hlg_mq]_a
ÞEÔÖÜ FêÚÛÓFÔÖáÙEëêÚ.ÕEêé F:ëÖÕáý³ÙEëÖà! tÕàEÕJIiý³ÚFÕÜÛÓIÕàÝÔÓFÞêàEÕàEÔÖázê4ÓIÕà+éÕÓFÞEýpà#"$¥%_ÓIÞê4Ó*áê×:×EýÓ& tÕ,êFHFEëÖÔÖÕà>äIiý³Ú
ÔÖ×EÜFÓIê×EáÕ³äEÓIý(')+*(,.-/1020354687iáJIFèwÜIÕáºÓFÔÖý³×9$:ºè
Sst~qhustj9apstjlvwstqhlkngxq4ap jia:sn_xq4k
D
vdwdx6nz98 6z:8CB?; D <B 6z:87;b B D}K /7/w BGx*
{7Az~/ ~y` ~yA6nz98u
n
{A¡Az~/<; 9~yD}K
{5y 6nz987; D
vdwdx6nz98 6z:8CB?; D <B 6z:87;b
B D}K /7/w BGx*
{7Az~/ ~y` ~yA6nz987;u
n
{AAz~df
~y D}KK
{5y 6nz987; D
\,]_a<g±,s6mXapg_a<~4snjihqEpa:¸¨knjuhlg_m xq4ap kXg
±Bqst¼Khigwmhlg>qk¸snopopknv_g>q7q]_a"ÛsXo³qNq]wstq stgw
Ssqzq4ap~4gª«`Nstq4o]Rq]_ax4st`Na
±Sjia:sn_xqk§ w~a<>hlknvSx_a¨kn~4a<xzqa:¢_a¬wg_hiqhlkngSx 1 ¥
°rk )±<jlaq»vSx½q~4yq4ka² _justhlg$]_k ugºq4]_aj.apv_~4ap¼sxzqa< oknvwjlP{2a¯a<_vwoa:P¨~kX`(q]wa
6z:8=6z:8
¨v_gSo³qhlkng
hlgopjlsXxxhuopstja¨kX~a:xqsq4hikXgV`Naq]wkK¥\,]_a¡¼Xapy 2knhlgXq$huxrq4]wsq
6z:8
hux$st _ wjihla<Vqkstg6sXopovw`+v_jusq4hiXa
Sst~st`Naq4ap~10Zhlg¢q4]_a
{7y opsXxzaX¥
\,]_aV¬w~4xzqZhua<s¸huxNqk´opkn`N _vq4a¦q]waV~a<na<~4xa¢knq4]_a6sXopovw`+v_jusq4hiXa" Sst~st`Naq4ap~ 03 "h£q¢hlx
opkngwxzq~4vwoqa<·hlgwxzqa<sX¸kt¡! (¢hiq¡hux+sXopovw`+v_jusq4a<½¥\»kkVxzkS±sVg_ap sno<ov_`¡v_jusqhlnaN wsn~4sn`Naqa<~<±
snji ,sEyx$a<|>vwsnjBqk
6z987; D
±*]wsXx)qk6{Sa"sn_a:·qk¦q4]_aRkX~hlmnhlgwsnj.¨v_gwoqhlkng¥ua·a¢a:vwopa¢s¬w~xzq¡st ª
w~kE²hl`Nstqhlkng7kt9q]warapvw~a<¼Es)xzqa< ±> ]_hlo]§jlkKkn¼x.jlhi¼Xa
6z:8=6z:8CB?; D <B ; D 6z:87; D*
¥Yev_q¯q]whlx
a<v_~4ap¼sxzqap Rhlx¯ ~kXg_m+xhigwopan±>mna<g_ap~stjljiyX±tq4]_a > wst~st`Naq4ap~BkXgNq]_a
{7y
o<snxahlxg_knq¯a<|>vwsnjwq4k)q]_akng_a
sn]_a<sXRkn»q4]_a)jihuxzq<¥
\,]_a,xa<okXgwhua:srhuxq]_a<gqkPg_knqhuoaq]wstq* Sst~qktwq]_a
6z:8=6nz98
¨v_gwoqhlkngNokn`N _v_qa<xq4]_asnjiv_akt>_±
_knhlg_m) wsqqa<~gª«`§sqo]_higwm)kngNq]warjlhlxzq
¥ kw±tq4]_hux¯ wsn~zqoknvwjlN{2aa²Kq4~4sXo³qa:hlg>qk+sxap Sst~sqa,¨vwgwo³ª
q4hikXg q4]wsq»kKa:x½ wsqqa<~gª«`§sqo]_higwmkXg$q]_aBx4st`Na.jlhlxzq
¥ kS±
6z:8 6z98CB ; D¡ <B?; DuA6z:87;b
B?; D}K
sn _ 2a<st~xqk§{2asNokn~4~4a<o³q,apvw~a<¼EsNxzqa< "sngw"jia:sn_xq4k¡q4]_a$¨knjljlk hig_m¡¨v_gwoqhlkngVap¬wg_hiqhlkngwxtD
v*wdx76z:8=6nz98CB?; D ?B?; D 6z:87;b
B?; D}K
vdwdx! ?B?; DU7/w B1x*
{7 7z~/F~yQ
~y
{7 7z~/<; D
{5y
v*w/x8
B?; D /A/w B1x*
{AAz~/ ~y`
{7¡7z~/
9~yU
n
{AAz~d<; D}
{5y D
¹ºg
stgw ±Xs)xhi`N _jlastgSstjlyKxhuxx]_k xq4]wsq¯vwgwap~4jlhig_a:Nokn`N _v_q4sq4hikXgwx.st~4a,g_apXap~.vwxa<7hlgNq]_a
¬Sgwstj~a:xzv_jiq4x<¥r\,]_a+kn`Nhlx4xhikXg¦kt.q]wa¡okX~~4a<x 2kngwhlg_mNvwxapjla<x4x wsn~4sn`Naqa<~4xjia:sn_xqkZq4]_a¡_a¨kn~4a<xzqa:
¨vwgwo³q4hikXg·ap¬wg_hiqhlkngwx<±
sngw ±snxq4]_kXxa¡hlg
1 ¥ Å x4st`Na+~4a<xv_jiq$opknv_juV]wsEXa¡{2apa<g6 _~4kvwopa<½±
_hi~4a<oqjlyVst _ _jlyKhigwm"xvwo]sng·sngwstjlyxzhuxrqk
6z98 6z:8
a¬wgwh£q4hikXg
hlgkX~4a<~rq4k¢mXapg_a<~4stqa¡q]_aNa<v_~a<¼s
xzqa< "_a<vwopa<¢¨~4kn`xyK`+{2knjlhlo$okX`N Sk>xzhiqhlkng 1 ¥
ê×ÔÖ×EàEÙEáºÓFÔÿÕF:ÚFýpýIwý³×ÓFÞEÕBëÖÔÖÜFÓàê4ÓIêÓ
FtÕ³è
· "" Z·! + + " )* ½#)
# ¢"¯"#! ")#¡ E*#+ , )
¹ºg¦hlg>q~4kvwo³q4hikXg±Sxkn`Nahua:snx,q4kRsno]_hlapXaa¨kX~a:xqsq4hikXg¢hlg6sno<ov_`¡v_jusqhlna$ wsn~4sn`Naqa<~4x]wsEna){2apa<g
_~4stqa<¢¨kX~¨v_gwoqhlkngwsnj½¨~4sn`Nap kn~4¼2¥B\k§mna<g_ap~stjlhqEpaPq]_a:xza)hlg>qv_hiqhlkngSxp±ws7¬S~4xzq¨kn~4`§stjlh"E:sqhlkngokXv_ju
{2aokXga<oqv_~4a<"snx¨kXjijlk x<¥
kXgwxzhua<~q kZ¨vwgwo³q4hikXgwx>±
stgw 02± wstqzq4ap~4gªI`§stq4o]_hlg_mZq4]_aphl~P¬w~xq$ wst~st`Napqap~$stgS
q4]_aphl~okX`N Sk>xzhiqhlkng
09¥§¹«±stqap~sn _ _jlyKhig_m¦opjlsXxxhlo<stj.ap¨kn~4a<xzq4sq4hikXg·xzqa< wx<±xkn`Na7qap~4`
>
~a<`§sthlgwxp±q]wapg¶apvw~a<¼Es¸xzqa<
0 0
0
K
opknv_ju {Sa
w~kvwopa<½¥
Å g_ktq4]_ap~B ,sEyq4k$¨kn~4`§stjlh"E<aq4]_a<xahua<sXx.okXgwxzhuxzq4x.hlg§vwxhig_m$q4]_aphl~Bgwstqhlna,¨kX~`§stjlhuxz`¥ higwopaq]wapy
opkn`Na<x¨~kX` sqzq4~hl{_vq4aRmX~4sn`7`§sn~)qa:o]_g_hu|Xvwa<x<±a:xz 2a<ophlsnjijly·¨~kX`xyK`+{2knjlhlo¢okX`7 2kXxhiqhlkng±* aR hljij
_a¬wg_a)s¡q~stgSxzjusq4hikXg B}.ªFq4ktª
Å
d7±K¨~kX`s+¨v_gwo³q4hikXgwstj½ w~kXmn~st` hig>q4k7hiq4xstqzq4~hl{_vq4aPmX~4sn`N`Nsn~¯¨kX~`±
kXgV ]_huo]xyK`+{2knjlhlo¡okn`N 2kXxh£q4hikXg6opsngV{2a¡ap¤§ophia<g>qjlysn _ _jlhia:½¥)\,]_apg»±xzvwo]a¨kX~a:xq4a<Vstqzq~4hl{_vqa
mX~4sn`N`Nsn~4xokXv_juR{2a$q~stgwxjusqa:R{Ssno¼Zhlg>qk7¨v_gwoqhlkngwsnj _~4knmn~st`§x<¥
a·a)]wsEna)o]_k>xza<gZq4]_hlxrxza:okngSR _~4a<xapg>qsqhlkng¢¨kn~,q4]_a$¨knjljlk hig_mN~4a<sXxzkXgwxp¥ 2a<oph£¬Soph£q4hia:xkt.sqq~4h£ª
{wvqa)mX~4sn`7`§sn~4x Sa<~`Nhiqs7v_g_hi¨kn~4` ¨kX~`§stjlhqE<sq4hikXg±xzhlgwopa$q]_a<y¢stjljlk ¶q]_ax4st`NaPqa:o]_g_hu|>v_a<x,q4k§{Sa
sn _ _jlhia:$¨kn~sno<ov_`¡v_jlstqhlna. wsn~4sn`Naqa<~sXx½¨kn~xzhl`N _jlaap¨kn~4a<xzq4sq4hikXg¥¹ºgw_apa<± _~a<KhikXvwx kn~4¼¡-.10K]wsnx
x]_k gRq]wstqstqzq4~hl{_vq4a)mn~st`N`§st~,a¨kX~a:xqsqhlkng"stgw¢ojusnx4xzhuopsnj2¨v_gwo³q4hikXgwstj9q4a<o]_gwhl|>v_a:xst~4aPopkn`N wsª
~st{wjiahlg§q4]_aphl~¯a 2a:o³q4x¯¨kn~xzhl`N _jla<xzq¯¨v_gwoqhlkngwx:2¨ hiq]wknvqsno<ov_`¡v_jlstqhlna wsn~4sn`Naqa<~4x¯a¨kX~a:xqsqhlkngi4
sngw !8#=¡sqq4sno]wa<"qk" wstqzqa<~g6Esn~hust{wjia:xrstjljlk ~4a<xv_jiq4xPstgwV wst~st`Naq4ap~x,qk"{2a+huapg>qhuopsnjijly
q4~a:sq4a<Rxhlgwoa)stjlj½ktq]_a<`st~4a$a¬wgwa<"{KyRxzhl`N _jlaPkX~hlapg>q4a<Za:|>vwsq4hikXgwxp±Kap²K w~a:xxhigwm¡{2ktq4]¢{2ktqqkn`7ª
vw W2Ûxy>g>q4]_a<xh"E<a<74,sngw¢qkX ª«_k g2Ûhigw]_ap~4h£q4a<74okn`N _v_q4sq4hikXgwx<¥! ¦kn~4apkXap~:±stg¦sqq~4hi{_v_qamX~4sn`7`§sn~
x 2a<ohi¬So<sqhlkng§o<stg§mXstq]_a<~¯xapna<~4snj_okX`7 wvq4stqhlkngwx^2Fxzhl`N _jla¨v_gwoqhlkngwx¯jihl¼na sngw 4³¥\Bhigwsnjijlyn±Xq]whlx
sn _ _~4kXsXo]Rstjljik xxyK`+{2knjlhlo$opkn`N Sk>xzhiqhlkng¢hi`N _jlap`Na<gXqsq4hikXg¢q4kN{Sa)~4apvwxa<¥
Å
jijq4]_a, _~4kKopa<x4x» hljlj{Sa,hljijlvwxzq~sqa:+{Ky$q4]_aa¨kX~a:xqsqhlkng¡a²_st`N _jlaktwq4]_aokX`7 2kXxhiqhlkng#"kt
6z98
hiq]%$
~
±S ]wap~4a$q]_a+¨v_gwo³q4hikXg%$
~
okX`N _vqa:xq4]_a+jlhlxzqrknq4]_a+jla<sEXa<x,kn.sZmnhlnapg{_hlgwsn~yRq~4apa 2Fo³¥
Bhlmw¥½14³¥B\,]_a)jlhlxzqrokXgwxzq~4vwo³q4a<¢{>y&$
~
{Sap¨kn~4aq4kN{Saopkngwxv_`Na<"{Ky
6z:8
hlxq4]_apg"q4]_a)hig>q4ap~4`7a:husqa
wsq4sNxzq~4vwo³q4v_~4aq4kN{Sa)a<jihl`Nhigwstqa:½¥
' (
ÜFÓIê×EàEÜ Ilý³Ú»ê×:âuÙHFEëÖÕ
(*),+.---.+/(10
è
243
Õá«ÞEý³ÜFÕÓFÞEÔÖÜÕ :êé FEëÖÕ)ÔÖ×EÜÛÓIÕzêàýI')* ')+* Iiý³ÚÕ=FEëê×ê4ÓFý³Ú
F:ÙEÚ)Ftý³ÜFÕä tÕzázêÙEÜFÕ¡ÔÓrÔÖ×ÿý³ëÿÕÜÓݽý§àEÔ5nÕÚÛÕz×Ó
IlÙE×:áÓFÔÖý³×EÜê×EàÓFÞEÕ×)êÿý³ÔÖàEÜ×EêéÕ*áý³× IlÙ:ÜIÔÖý³×EÜzè
v*w/x
$
~76
5
/7/w86J1x*
{
dzCyqz 36?|1}U
$
~:y"z :
$
~36?|G y8
yqzn~+ o{:9<;
2>=32 5
b
a c d
b c a
nil d flat
BhimXv_~aNdDYBwv_gwoqhlkng¦a¬Sg_h£q4hikXg"¨kn~?$
~
6
| /z
dz v*wdx z B(
v*wdx 7/w¡1x*(A~U zB
A~ 9
zB(
{7~{5
5~ 6~yqz
zB
i(# !
BhimXv_~abADYBwv_gwoqhlkngwsnjjlsng_mnvSstmna
y
G
7vdwdx (z6y"z (A~J (z 6y"z
z 6y"z
Gn
zB
t
"!#
"!6zy?
z B(
{7~{5
0 !$%
8#=(9 Gn n
&
!!d= q
zB
##= /!'!¡!
BhimXv_~a)7D Å qzq~4hl{_vqa)mX~4sn`N`Nsn~gwktq4stqhlkng
(&IKH '¡V\R)( ;V(UO _*^R¢TV+lOS_
\k7 _~a:xza<g>q¯q]waP{Ssnxhloxq4ap wxktknv_~q~stgSx¨kX~`§sq4hikXgwxBhlgs¡xhi`N _jla$stgw¢ojla<st~ ,sEyn±K aPapjlhl{Sa<~4stqapjly
~4a<xzq~4huo³q¯kXv_~4xapjlna:x.q4k¡s+xv_{ªºojusnx4xBkn½¬w~xqkn~ap~¯¨v_gwo³q4hikXgwstj9 _~4knmX~4sn`§x. h£q4]Zq4]_axyKgXqs²§ _~4a<xapg>qa:
hlg>Bhlmw¥nb_¥°rktqhuoaq4]wsqBg_a:xq4a<¡ wsqqa<~gª«`§sqo]_higwmst~4ag_ktqBstjljlk a:½±{_vqBhiq.hlx*a:snxy$qk)xz wjihiq*q]_a<` hlg
xapXap~stjxap wsn~4stqa<¨v_gwoqhlkngwx<¥ ¦kn~4apkXap~:±<q4]_axzq4sq4ap`Napg>qx&m75mK ropsng7{2a,q4sn¼na<g¡hlg>qksno<okXv_g>q
hiq]b¡<i! 8#=(9 l!'!'-Öbt10«¥
\kR{_~4hlg_mRkXv_~stqzq~4hl{_vqa7mn~st`N`§st~rg_ktqsqhlkng»±S _~4a<xapg>q4a<¦hlgfBhimS¥2w±½ojlkXxap~q4kZ¨v_gSo³qhlkngSstj*xz 2aª
oph£¬2opsq4hikXgwx<±>snjimXap{_~sthuoqyK 2aPap¬wg_hiqhlkngwx hljij½{2aPvwxza:Zhlgwxzqa<sXZknojusnx4xzhuopsnj2opkng>qap²Kq¯¨~4apaPmn~st`N`§st~x
-ÖbK± G0«¥\,]whlx+g_ktqsqhlkng huxgwktqq4]_aRojusnx4xhlo<stjBkXg_an±{_vq+hux+sV`7hlg_hl`§stjB¨kX~` ¨kn~+a² _justgwstqkn~4yV _vw~zª
2kXxan¥.\,]Kvwx<±>s+mn~st`N`§st~B w~kvwoqhlkngZhux~a< _~a:xza<g>qa<Rsnx¯s¡_sqsªIqyK SaPokngSxq4~vwoqkX~.¨knjljik a<Z{>yNhiq4x
Sst~st`Naq4ap~,st~4hlsn{_jia:xp±>q4]wsqhuxp±_sN Ssqzq4ap~4gF2¨¨kn~ap²sn`N _jiadD;A A!d6C! 4¥
¦kX~a<kna<~<±Es$o]wst~snoqap~4huxq4hlo*¨a:sq4v_~a,knSsqq~4hi{_v_qa,mn~st`N`§st~xhuxqk)huxq4higwmnv_huxz]+q kP¼KhigS_x*ktSstqzª
q4~hl{_vq4a<xtD»q4]_a<57-,G6Nkngwa<x¯sn~aokn`N _v_qa<R{Sknqzq4kn`7ªIvw Zkna<~.q]_aPxq4~vSo³qvw~aPstgw7q4]_a A(96
kXg_a<xst~4a$okn`N _v_qa<ZqkX ª«_k g¥ higSoaPknv_~q~stgSx¨kX~`§sq4hikXgwxB hljljokngSxzhuap~qyK Sapª«o]wa<o¼na:N¨v_gwoqhlktª
gSstj» w~kXmn~st`§xsnxrhigw _vq<±2q4]_hlxhlgwvwopa<xhlg¨kX~`§sq4hikXgwxrsn{SkXvqrq4]_a+mXapg_a<~4stqa:"stqzq4~hl{_vq4a+mn~st`N`§st~x<¥
\,]Kvwx<±2q]_a7xzkX~zq$stgw¦q]_a¡qyK Sa7kt¯stqzq~4hl{_vqa7st~4a¡hl~4a<o³q4jiy¦a:vwopa<¨~4kn`®q]wa+qyK 2aªºo]_a<o¼Xa<hlg_ _vq
w~kXmn~st`stgwopknv_juR{2a)hl`7 wjihuohiq<¥
7v*wdx 6nz98
6z:8>C
6z98 !6nzyJ B !6z:8
B"!C
{7 7zn~dF9~y
n
{A!6z:8 ~y!6z:8
9~y!
{7¡7z~/
{A!
{7yQ
{7y!6z98{7y!
h
a h
b h
c h
result nil
rev rev rev rev
Bhlmnvw~a s7D
Å
qq~4hi{wvqa)mX~4sn`7`§sn~
6z:8
Bwv_~zq4]_ap~4`Nkn~4an±¯q]_ag_knqhlkng ktC!#8=(9C!'!@ U "¦huxNhig>q4~kvwopa< 2¨hlgBhlmw¥Bw±
hlx
q4]_a" _~kn¬wjlaRkt
4³¥´¹«qN~a< _~4a<xapg>q4x¡]_k qk¸opsnjijq]wastqzq4~hl{_vq4a¢mX~4sn`7`§sn~¡stgS stjljlk x~4a<xv_j£q§stgS
sn~mXv_`Napg>q4xq4k7{2ax Sa:ohi¬wa<½¥
\,]_arkKo<ov_~4~4apgwopakn9sngNstqzq4~hl{_vq4a
#
kXgNs$ Ssqzq4ap~4gNEsn~hust{wjia
hux.g_ktq4a<
!#
±na<na<g7hi9q]_hux. wstqzq4ap~4g
sn~hust{_jla¯huxq]wa,opkngwxzq~4vwoqkn~*kn_q]_aopv_~~4apg>q* wsqqa<~g7h£qxza<j£¥YB_kX~*higwxzq4sngwoaX±nsno<okX~4hlg_mrqkPq]_axyKgXqs²
hlgCBhimS¥Xw±tq]wa¨v_gwoqhlkng
6z:8
opknv_ju7{SaPxz 2a<oph£¬Sa<N{Ky+q4]_arstqzq~4hl{_vqarmn~st`N`§st~.hlg BhimS¥sw¥.\,]_hux.¬wmXv_~4a
opkng>q4snhigSx½stjuxzkstg$hlg>qv_hiqhlnaBhljljivwxzq~sq4hikXgP¨kn~9q]wa¯st _ wjihuopstqhlkng
6z:8
{A ~b
{7'
{7
{5y8K{7y
¥
a¶hiq]Rq]_hux¯gwktq4stqhlkng±nq]_agwst`Na$¡xqstgw_xstjlj2stqBq]wax4st`Naqhl`Na¨kX~Bq]wasqq~4hi{wvqamn~st`N`§st~:±
¨kX~*q]_a w~kn¬wjiaopkngwxzq~4vwo³q4kn~Bsngw¨kX~Bs)xzyKg>q]wa<xh"E<a<7sqzq4~hl{_vq4an¥Bst~4hlsn{_jla X±nq]_ajlhlxzq.qk){2a~4apna<~4xa<±
huxrq]_aN wstqzqa<~g_ªI`§sqo]_a<6st~4mnv_`Napg>qsngw huxrq]_aN wsn~4sn`7apqa<~<¥$\,]_aNsqzq4~hl{_vq4a huxq]_a7kng_jly
xyKg>q]_a:xzhqEpa:$ktq]wa¯ _~4kt¬wjlan¥Bst~4hlsn{_jlan±sngwstjlj> wsqqap~4gª«`§sq4o]wa<'2Ûxv_{ª 4ºjlhuxq:±:]SsEna.q krsqq~4hi{wvqa:x(D
n$§xy>g>q4]_a<xh"E<a<"stgw hlg_]_a<~hiqa:½¥K¯sno]kX~hlapg>qa:Za:|XvSsqhlkngap¬wg_a<xrstg"kKo<ov_~4~4apgwopaPstqzq~4hl{_vqaX¥
(&I)( F]^OPAV\R;_$+KVSTAMKZUR tTZ
\,]wahlg>qv_hiqhlna,hua<s¨kX~*q]_a,q4~4sngwxzjusq4hikXgB}.ªIqknª Å d7±E¨~4kn` s¨v_gSo³qhlkngSstj _~4knmX~4sn` hlg>qk$hiq4xBstqzq~4hl{_vqa
mX~4sn`N`Nsn~+g_knq4stqhlkng±Bhux¡q]_a"¨kXjijlk higwmw¥?¯sno] ¨v_gwoqhlkngwsnj,qap~4` snx4xkKophlstqa: h£q4] s6 wsqqa<~g ]wsnx
q4k {Sahlx`§stg>qjla< hlg>qk´s´xaqZkn)kn~4hia<gXq4a< a<|>vwstqhlkngwx<±,opstjljla< ('!58 "³¥U}.st~st`Napqap~xNhlg
¨vwgwo³q4hikXgwstj _~4knmX~4sn`§x{2a<okX`Naap²K wjihuohiq;!#8=(9stqzqsno]_a:)qk$ wstqzq4ap~4g+st~4hlsn{_jla<x<±topstjljla< !8#=(9
Gn n³±½q]Ssq+st~4a§a¬Sg_a<·{Ky¦q]waZxza<`Nsng>qhuo¡~4v_jla<x<¥§\,]_apg±a² _jlhuohiq$~4a<opv_~xzhlnaNopsnjijux${Sa:okX`7a
hl`N _jlhloph£q+kXg·q]_aZvwgwap~4jly>hlg_mV_stq4s¦xzq~4vwo³q4v_~4aZstgw xap`§stg>q4hloN~4v_jla<x)`§st¼XaNq]_a¢_sqsªwk ap²K wjihuohiq<¥
B}.ªIqknªÅ dµhuxa:okn`N 2kXxa<$hlg>qks@ ? !<:8!A'!#NstgS)s¢@iJ "<'= ^($! 7!8w¥
¿ # À Ã ´Ã \,]_aZsnhi`kn¯q4]_a§ _~4apjlhi`Nhlgwst~4y¦q~stgSx¨kX~`§sq4hikXg±½ _~4a<xapg>qa:
hlg3Bhlmw¥w±hux§qk ~sE q4]_a6mXapg_a<~4snjx]wst 2aVkt)q4]_aV¨v_qv_~4astqzq~4hl{_vqamn~st`N`§st~:¥ ¹«q¢hlgXq4~kvSoa<x
q4]_a+stqzq~4hl{_vqa+mn~st`N`§st~ _~4kt¬wjla) hiq]¦hiq4xrxap`§sngXq4hlo$~4v_jla<x<±Ssngw¦sNv_g_hu|>v_a+xap`§stg>qhuo)~4v_jla) Sa<~ra<sXo]
opkngwxzq~4vwoqkn~, wstqzq4ap~4g¥
~4a<xv_jiq7hux§okX`N _vqa:´q4]_~4knv_mX] stqzq~4hl{_vqa:x7kngµq]_a wstqzqa<~g_ªI`§sqo]_a<µst~4hlsn{_jla 2¨~4v_jla `(4³¥ ¯sXo]
D jikopsnja¬Sg_h£q4hikXghig¦stgstjlmnkX~hiq]w`
!#>G
D xza<`Nsng>qhuo~4v_jla)a¬wgwhig_m
!#
0 D xzv_{Sxq4h£q4vqhlkngkt
{Ky 0
D s7xaqknxap`§stg>q4hloP~4v_jia:x
D s¡ Ssqzq4ap~4g h£q4]"hiq4xrxzapq,kn*xap`§sngXq4hloP~4v_jla<x
D q~stgwxz¨kn~4`§sqhlkngR¨~kX` hlgXq4k snopopkn~hlg_m+q4k7q]_aopkng>qap²>q
D s+q4ap~4`opkng>q4snhig_hlg_m
sXxs7xv_{ª«a² _~4a<x4xhikXg¥
BhimXv_~4a .AD.°ktqsq4hikXg¢vwxa<"hlg"¨v_~zq4]_ap~_a¬wg_hiqhlkngSxstgwRq~stgSx¨kX~`§sq4hikXgwx
4
# $ WC~! {
#
{ {i~'z
#A
$!
=&5
6 *
"!
$#t&% '%)(
* #
+-,
9 0
.
9 0
9! /
! 9
&% 9!&%
10
%)(
*
32 #*66"
2
4
$#t
% %)(
*
4#
+-,
S.
56
!)
=5
6Y !
!7%; &%98
0
%)(
*
:
;<>=
?@A,
v*wdx /A/w 1x*
B
7vdwdx
3CD 6
)!
?@A,
v*w/x E
7v*wdx !
=&5
6Y/
!
FCG 6!
)!
`Na<stgSxq]wstqq]_a)a:|XvSsqhlkng
huxq~stgwxjusqa:Rhlg>qk7q]wa)a<|>vwsq4hikXg
)!
¥
z({8 +-,
.
IH
`Na<stgSxq]wstqq]_a)ap²K w~a:xxhikXg¢sXxxkohusqa:Z hiq]"q]wa) wsqqap~4g hlx
q~stgwxjusqa:Rhlg>qk7q]waxzapq,kn*xap`§sngXq4hloP~4v_jla<x
H ±
h£q4]~a:xz 2a<oqq4kNq]_a)a<gK>hl~4kng_`Napg>q 5$<¥
?@A,
KJLNM
`Na<stgSxq]wstqq]_a$¨v_gSo³qhlkng¦ap¬wg_hiqhlkng
J
hlxq4~4sngwxjlstqa<
hig>q4k¡q4]_a =( "t-O M ¥
Bhlmnv_~4a)AD*}B~4apjlhi`Nhlgwst~4y§q4~4sngwx¨kX~`§stqhlkng
7v*wdx
$
~J
$
~:y
$
~!6zyJ !
$
~
!"yy
{
/zCy"z 6?|1}¢
{
/z!
$
~J $
~:yqz $
~ 6?|1} {
/z!qy8!6zy?n!6zy?
y"z~ W{
y"z~ !$
~U
{A>{Wy"z~+ !qy
Bhlmnv_~4a}DB\,]_aP¨v_gSo³qhlkng $
~
stqap~,q4]_a) _~4apjlhi`Nhlgwst~4yNq~stgSx¨kX~`§sq4hikXg
xv_ _ wjia<`7a<g>q4st~4y st~4mnv_`Napg>qZyKhlapju_x¢s xza<`Nsng>qhuoV~4v_jiaa¬wgwhig_m stg(hlg_]_a<~hiqa:(sqq~4hi{wvqa·sqzqsno]_a:
q4kVq4]_a¢ Ssqzq4ap~4gª«`Nstq4o]_a: st~4hlsn{_jlaf2¨~4v_jla S4¥?¯sno] ¨vwgwo³q4hikXgµopsnjij
#A
hlx¡q4~4sngwxzjusq4a<¸hlg>qks
_ktqzq4a<"g_knq4sq4hikXg
$(!
=5
6
2¨~4v_jia>¢@/@Q4³¥\,]_hlx~v_jlahuxq4higwmnv_huxz]wa<x{2aq apa<g¢¨vwgwo³q4hikXgVstgw¢qyK Sa
opkngwxzq~4vwoqkn~¢opstjljuxn¥ ¯sno] a² _~4a<x4xzhlkng¶st w Sa:st~4hig_m hig s´ wsqqap~4g(huxZq4~4sngwxz¨kn~4`7a: hig>qk s xhigwmnjla
xap`§sngXq4hlo~v_jla ]_huo]Zap¬wg_a<x¯q]waxy>g>q4]_a<xh"E<a<§stqzq~4hl{_vqaokn`N _v_qhlg_mq4]_a~4a<xv_j£q 2¨~4v_jla:¢@d@4³¥B\,]whlx
hlgwvSoa<xxkn`Na$~4apgwsn`7hlg_mu2¨~4v_jla¡%&!#9(4³¥
\,]_a7st _ wjihuopstqhlkng¦kt*q4]_a+ _~4apjlhl`7hlgwsn~y¢q~stgwxz¨kn~4`§sq4hikXgRq4kZq]wa¨v_gwoqhlkng&! 2BhimS¥14,jla<snwxqk
q4]_a)~4a<xv_j£qx]_k g"higuBhimS¥K¥
Ã
#
¿À
à #Û _ #_ Ã
\,]wa~a:xzvwj£q.kt2q]wa _~4apjlhi`Nhlgwst~4y)q~stgSx¨kX~`§sq4hikXg+hux.g_knqBynaq¯s
~4a<snj2stqzq4~hl{_vq4aPmX~4sn`N`Nsn~<¥ ¯sno]R¨v_gwoqhlknga¬wgwh£q4hikXgRhlgRq4]_a$hig_hiqhustj9 _~4knmX~4sn` ]Ssnx{Sa<apg¢q~stgwxjusqa:
hlg>qkkXg_a=( "G Ob2Ûo³¥JBhlmw¥>d4* ]_huo]ZokXg>q4sthlgwxBq]_a w~kn¬wjiarkt9q]_ar¨v_gwoqhlkngRsngwNh£qx¯~4apjusq4a<7 wstqzqa<~gSxp¥
evq§ap²K wjihuohiq§~a:ov_~xzhlna"opsnjijuxN]wsEna¢{Sa<apg q~stgSxzjusq4a<´hlg>qk·q]wa¢¨kX~`
#A!
='5
6 ¥ °k )±¯q]_a:xza
ap² _~a:xxhlkngwx¯]wsEnarqk7{SaPq~stgSx¨kX~`Na<Zhig>qkNs7xzapqknxap`§stg>qhuo~4v_jla<x<±K{_~a:st¼Khlg_m+ap²K wjihuohiq~a:ov_~xzhlkngSx
{Ky¦sqq~4hi{wvqaNgwsn`7hlg_m"stgwsqzqsno]_`Na<gXqqk" wsqqa<~gEsn~hust{wjia:xp¥)\,]_a<g±9q]_a:xzaNxap`§stg>qhuo~4v_jla<xP hljij
hl`N _jlhloph£q4jiy¦ap¬wg_aq4]_a+~4a<opv_~xzhlkng "!¢sqzq4~hl{_vq4a+mX~4sn`7`§sn~<¥\,]_huxq4~4sngwxz¨kn~4`Nstqhlkng"hlxPsno]whia<na<"{Ky
q4]_a) _~4kt¬wjla)xzyK`¡{SkXjihuoPapstjlvwsq4hikXgR _~4a<xapg>q4a<¢higuBhimS¥w_¥
BXap~4yK ]_ap~4a7sng¸a² _~4a<x4xzhlkng
#A!
=&5
6
kopopv_~4x<±½q4]_a§ _~4kt¬wjla7xyK`+{2knjlhlo7a<EsnjivSsqhlkng· _~4kta:o³q4x
q4]_a,xza<`Nsng>qhuo¯~4v_jla<xkt_q4]_asqzq4~hl{_vq4amX~4sn`N`Nsn~» _~4kt¬Sjia
¥\,]_a,st w _jihuopstqhlkngkn_q]whlxq4~4sngwx¨kX~`§stqhlkng
`¡vwxzq{2a)kng_aP hiq]s+a< q]ªI¬w~xqsn _ _jlhlo<sqhlkng¢xq4~4stqapmXyn¥*\,]_a$ _~4a<huopstqaC 7n-O¢apgSxzv_~4a<x¯q]Ssq,q]_a
~4a<xv_jiqhlg_m¸sqzq4~hl{_vq4a¢mX~4sn`N`Nsn~¡huxN apjlj¨kX~`Na:½¥ ¯x4xapg>qhustjljiyX±BhiqNXap~4h£¬Sa<x¡q]wstq§a<sno]µsqzq4~hl{_vq4ahlx
_a¬wg_a:"kngwopastgw"kngwjiy¢kngwopan¥¯\,]_huxhuxmna<g_ap~stjljlyNq]_a+o<snxa)xzhlgwoa) Sst~st`Naq4ap~x,highlg_ _vq¨vwgwo³q4hikXgwstj
w~kXmn~st`§x»sn~a a<jijiª«_a¬wg_a:½±{_vq3 A-O+¨kn~4{_hlwxxkn`Nag_kngª«jlhig_a:st~qa<~`§xxzvwo]7snx
> '1J'*
¥
Vkn~4apkna<~<±>hlgs7¬S~4xzqrst _ w~k>sno]±>qa<~`§xjlhl¼na
!#A!$
st~4a$g_ktqrsnjijlk a<¢{_vqq]wapyR hljlj»{2a$q~4a<sq4a<"hlg
xa<oqhlkng´b¥_¥a¶]_a<~a<na<~
`Az
/9 # $#
hlx+g_ktq+Xap~4h£¬Sa<½±q]_a¢a² _~4a<x4xzhlkng
#A!
='5
6
hux+xhi`N _jly
~4ap ~4hiqzqa<g¢hlg"q]_a$¨vwgwo³q4hikXgo<stjlj
#
¥
\,]_ast w _jihuopstqhlkngRktq4]_a" _~kn¬wjla¢xy>`¡{SkXjihuoZa<stjlvwsq4hikXg´kng q4]_hux7xap`§sngXq4hloR~vwjia¢hlx7 _~4a<xapg>qa:
hlgBhlmw¥½w¥¡Bhigwsnjijlyn±okn`N _jlaq4a7sn _ _jlhlo<sq4hikXg6kt¯q]_aN _~4kt¬wjlaNxzyK`+{2knjlhuo+a<EsnjivSsqhlkng6¨kn~Pq]wa+¨v_gSo³qhlkng
56
!
=5
6\
;<
#
J
+ "
9/9#$#
56 9 0
#!
=&5
6
+ )
;< 9 0
32
`Na<sngwxq]wstqhig"q4]_a) _~4knmn~st`
q]_a)xaqkna:|XvSsqhlkngSx
kt.s7 wsqqa<~g hlxq4~4sngwxz¨kn~4`7a:Zhlg>qk t¥
BhimXv_~a)7D}¯~kn¬wjiaxyK`+{2knjlhloPa<EsnjivSsqhlkng
56 $
~ yF
$
~!6nzyJ !
$
~
!"yy
;<
6?|G
y {
/z!qy
{
/z!
$
~U
$
~ y"z 36?|1}!
$
~n!6nzy
6?|G!qy {
/z!qy
`Az
K{
dz #$
~ #¡
$
~
{
/z y"z 36?|1}U£{
dz!
$
~U $
~:y"z $
~ 6?|1} {
/z!qy8!6zy !6zy
{
/z y"z 36?|GJ
F2
Bhlmnv_~4a$ADK.²_st`N _jla)kt sn _ _jlhlo<sqhlkng¢¨kn~,q4]_a) wstqzqa<~gFiG6/¡ "8l
&!jia:sn_xqkRq]_a7 a<jijiªI¨kn~4`7a:¦sqq~4hi{_v_qa+mX~4sn`N`Nsn~mnhlna<g¦hig Bhlmw¥<w¥\,]_huxr¬wmnv_~4amXhiXa<xrsnjlxkRsng
hljljivwxzq~sq4hiXaap²_st`N _jla)kt &!sn _ _jlhlo<sqhlkng"kng"q4]_aPq~4apa
{
/zCKy"z~+ p~}K{
/z Kyqzn~+ 1Ky"z~+
K
¥
\,]_axsn`NaBstjlmnkn~4hiq]_` st _ _jlhla<Pqkrq]_aB¨v_gwo³q4hikXg
6z:8
2Ûxa<oqhlkng§X¥bd49yKhia<jl_xq]_asqq~4hi{_v_qaBmX~4sn`7`§sn~
hlg BhimS¥(sS¥\,]_a<g±:q]_a¯xvwo<oa<x4xhiXaBst _ _jlhuopsq4hikXg)kt _~4apjlhi`Nhlgwst~4yq4~4sngwxz¨kn~4`Nstqhlkng$stgw$ w~kn¬wjiaxzyK`+{2knjlhuo
a<stjlvwsq4hikXg6q4ksng¸hig_ wvq)¨v_gwoqhlkngwsnjB _~4knmn~st`©jla<sX_xPqkVs"~4a<stjBstqzq4~hl{_vq4a7mX~4sn`N`Nsn~<¥N\,]_hux)hux$q]_a
q4~4sngwxjlstqhlkng B}.ªIqknªÅ d7¥
(&I ! * #" Z+KM[%$ Z X ZU_}MTAMKZUR
¹«q*huxgwk Sk>xxhi{wjiaqkPst _ _jlysqq~4hi{wvqamn~st`N`§st~x»ap¨kn~4a<xzq4stqhlkng)`Naq4]_k_xqkr¨v_gwo³q4hikXgwstjK _~4knmX~4sn`§x
q4~4sngwxjlstqa<V{>ybB}.ªIqknª
Å
d7¥½\k¢{2a§st{_jla¡qk" _~a:xza<g>qPkXv_~PxyK`+{2knjlhlo7okX`N Sk>xzhiqhlkng±½ a¡¬w~4xzq$ _~a:xza<g>q
s¢gwstqv_~stja²Kqa<gwxhikXg6kt _~kn¬wjla7xyK`+{2knjlhlo+apstjlvwsq4hikXg6 ]_huo]6huxPvwxa¨v_j.hlgVq4]_a§st _ _jlhuopsq4hikXgVktq]_a
xyK`+{2knjlhlo$opkn`N Sk>xzhiqhlkngȴ
¹«q,hlxhl`N SkX~zqstg>qq4k+g_knqaP]_ap~4aq4]wsqa<napgRh£q4]_a¬wgwstj9~4a<xv_jiq4xktxyK`+{2knjlhlookn`N 2kXxh£q4hikXg¢sn~arstqzª
q4~hl{_vq4amn~st`N`§st~x<±Eq]_akX{a<oq4xq4]wsq¯ hljljw{2a`§stg_hl _v_jusq4a<7{Ky+hlgXq4ap~4`Na<husq4aq~stgwxz¨kn~4`§sq4hikXgwx*st~4a
7v*wdx
$
~U
$
~ :y
$
~!6zyJ !
$
~
!"yQ y
{
/z y"z 36?|GJ
{
/z!
$
~¢y"z !
$
~
y"z !"y` 6?|1}!
$
~
6?|G!"y`y
y"z~ {
y"z~ !
$
~J
{A'{Wyqzn~+ "!qy
flat l
c flat
l
b
flat l flat result
l
l flat
a nil
Bhlmnv_~4a7<AD Å qq~4hi{_v_qamX~4sn`7`§sn~ _~4kvwopa<¢{>yB}.ªFq4ktªÅ d ¨~4kn`¨vwgwo³q4hikXg $
~
56
!
;<
#
!
J
+ )
9 /9 # $#
56 9 0
#A!
#!
+ )
;
< 9 0
BhimXv_~aNX/D yK`+{2knjlhlo Bsnjivwstqhlkng
`NkX~a>= "G-O1Pktstqzq~4hl{_vqamn~st`N`§st~xB~sq4]_ap~¯q]wsng¢okX`N _jiapqaPsqzq4~hl{_vq4amX~4sn`N`Nsn~4x<¥SBwv_~q]_a<~`Nkn~4an±
q4]_arap² _~a:xxhlkngwx.kn½q]_a¨kn~4`
!#A!$
_~4apKhlknvwxjly7sEXknhua<u2Fo³¥* _~4a<huopstqa 9
hlg% 4³±> hijlj9{Sa
q4ap`N 2kn~st~4hijlyZstvq4]_kn~4hqEpa<R¨kn~,q4]_axy>`¡{SkXjihuo$okX`7 2kXxhiqhlkng" _~kopa<x4xp¥
À 6 Ã #F _ #_ Ã }¯~kn¬wjia¡xzyK`+{2knjlhuo)apstjlvwstqhlkngVopsngV{2a+mna<g_ap~stjlhqEpa<"hlg>qkRsRg_ap xy>`7ª
{2knjlhuo$apstjlvwsq4hikXg± _~4a<xapg>qa:RhlguBhimS¥½nn± ]whlo] 2ap~¨kn~4`Nx,{2ktq4] _~kn¬wjla$xyK`+{2knjlhloPa<EsnjivSsqhlkngstgS
Sst~qhustja<EsnjivSsqhlkng¦kXg¬wg_hiqa+qap~4`§xp¥\,]wahl_a<s§kn.q]_huxq4~4sngwx¨kX~`§stqhlknghlxqkZ~4a<opv_~xzhlna<jiy¢ _~kna<oq
xap`§sngXq4hlor~vwjia:xkXg§¬wg_hiqaPq4ap~4`NxstgS§qk7apjlhl`7hlgwstqaPhig>qa<~`Na:hlstqa$sqq~4hi{_v_qa<xq4]wsqst~4aap¬wg_a:RstgS
vSxza:Rhlg"q]_a) _~4kvwopa<"xza<`Nsng>qhuo~4v_jla<x<¥
\k hljijlvwxzq~sq4aVq]wavwxa6kn+xzyK`¡{SkXjihuoVa<EsnjivSsqhlkngUsnx¢ wst~qhustjapstjlvwsq4hikXg±ropkngwxhl_ap~Zq4]_aqap~4`
v*wdx | D 6z98u
{A ~
{A>{5y8K D
¥ Å _ wjiyKhlg_m¡B}.ªIqktª Å d(qk)q4]_hlx.qap~4` y>hlapju_x*q4]_a¨kXjijlk higwm
stqzq4~hl{_vq4aPmX~4sn`N`Nsn~tD
7v*wdx'|7D
56
{A¡Az~dF9~y
{A!6z:8~y!6z:8
~y !
{7 7zn~d
{A!
;<
Az~d ~
9~y
{A>{7y
n
{A! D
|!6zyU
{7'{7y8!6z:8
{A>{7y8!
{AC~ D
9 #49,;
2>=
#
>
|!6nzyU
{7C~u
{7'{7y8K!6nz98
{7 ~u
{A'{7y8! D >
Bhlmnv_~4aN:bD.²_sn`7 wjia)kn sn _ _jlhlo<sqhlkng¢¨kn~
6nz98u
n
{A ~
n
{A>{5y8K D
\,]_a<g±_q4]_axy>`¡{SkXjihuoPapstjlvwstqhlkngo2Bhlmw¥XG4okXv_jl"{2ast _ wjihla<"kng"q4]_a<xa$qa<~`§x<¥B\,]_a$¬w~xqrxzqa<
kn¯q4]_hlx+st _ _jlhuopsq4hikXg6hux$ _~4a<xapg>qa:6hlgoBhlmw¥.Eb¥N\» kktq4]_ap~)xzqap Sx)ktq]_hux$q~stgSx¨kX~`§sq4hikXgVjla<sn6qk
|!6zyU
{A>
{A ~CD}K
¥
kS±wxy>`¡{SkXjihuoPapstjlvwstqhlkng" Sa<~z¨kX~`§xU@A!8! ($1! 7!#kng"¬wg_hiqa$q4ap~4`§xp¥
à à ¨Ã dPaqqhlg_m{wsXo¼)qkkXv_~.a²_sn`7 wjiaX±njlaq¯vwxokXgwxzhua<~*q]_ar_a¬wg_hiqhlkng§kn9q]_a,¨v_gSo³qhlkng
n$ &! ]_hlo] Sstqzq4apgwxs¡q~4apasngwRq]_a<g"~4apXap~xza:xBq4]_a)kn{_q4sthlg_a:¢jlhuxq:¥
v*w/x 6z98
$
~:yJ 6z:8u
$
~ :y8&
¹ºg>qvwh£q4hiXapjlyn±2hig¦q4]_a+opkng>qap²>qktBsqq~4hi{_v_qa+mX~4sn`N`Nsn~g_ktqsq4hikXg±_q4]_hlxPokX`N Sk>xzhiqhlknghlg>Xknjlna:x,q]_a
q k§xzapq4x,knsqq~4hi{wvqa:x
8 U
$
~ # y stgw
8 6z:8 #
¥
¦kX~amna<g_ap~stjljiyX±>opkngwxhuap~,stgRstqzq4~hl{_vq4amX~4sn`7`§sn~ 2¨aX¥mS¥i± &!4±K _~kvSohlg_m¡sngZhig>q4ap~4`7a:husqa
wsq4sxq4~vSo³qvw~aRqk·{SaokXgwxzvw`7a: {Ky stg_knq]_a<~7stqzq~4hl{_vqa"mn~st`N`§st~ 2¨an¥mw¥l±^($*4¥´\» kxaqx+kn
stqzq4~hl{_vq4a<xsn~a)hlgKnknjlna:Rhlgq]whlxokn`N 2kXxh£q4hikXg¥,\,]_a)¬w~xqkXg_an±
8
±Sopkng>q4snhigwxrstjlj½q]_a¡sqzq4~hl{_vq4a<x
vSxza: qk okngSxq4~vwoqRq4]_ahlg>qa<~`Na<_hlstqawsq4stª«xzq~4vwoqv_~4an¥ \,]_axa<opkngw¶kXg_an±
8
±okXg>q4sthlgwxRq]_a
stqzq4~hl{_vq4a<x,kt¥
Å xhlgVq4]_aNa<x4o~4hi _qhlkngwsnjokX`N Sk>xzhiqhlkng±2q4]_a¡hua:sZkt.q4]_aNxzyK`+{2knjlhuo+okX`N Sk>xzhiqhlkngVhuxrqk" _~kna<oq
q4]_asqq~4hi{wvqa:x.kt
8
2Ûan¥mw¥l±
#
4a<na<~yK ]_a<~a,stg§sqq~4hi{wvqakn
#
2¨aX¥mS¥i±
#
4hlx¯a¬wgwa<½¥
\,]whlx.mXjikX{wstjwkn 2ap~sqhlkngN{_~4hlg_mXx*q4]_aa:|XvSsqhlkngSx*q]wstqx Sa:ohi¨y7s)opkn`N _vqsqhlkngNkXap~*q]wahig>q4ap~4`7a:husqa
wsq4stª«xzq~4vwoqv_~4aRkXgµhiq4x§opkngwxzq~4vwo³q4hikXg¥µ\,]wa"{Ssnxhlo"xq4ap ktq]_huxN _~4kta<oqhlkng 2#% *4NhuxN _~4a<xapg>qa:
hlg BhimS¥r:_¥ \,]_apg±,q4]_a6sn _ _jlhlo<sqhlkng knPq4]_a6xyK`+{2knjlhloa<EsnjivSsqhlkng¶ hljljrapjlhl`7hlgwstqa<x§q]_avwxza<jia:xx
opkngwxzq~4vwoqkn~x<¥
!k apXap~:±ws§ 2knhlg>qr~a<`§sthlgwxv_gSa¬wgwa<D,]_k qkZ¬wgwq4]_a+st w _jihuopstqhlkngVxh£q4a<x¨kn~q4]_a+ w~kna<o³q4hikXg
xzqa< wx:%l#" Å xsqqapgSa<½±Sq]wa+ _~4a<huopstqa 7n-Ot±9sEXknhuhlg_m§a² _~4a<x4xzhlkngSxjihl¼na
"!#A!$
qk¢st~4hlxan±Shlx
q4ap`N 2kn~st~4hijly+~4apjus²a<¥¹ºg§ÛsXo³q:±>snjijSq]_a:xzara² _~4a<x4xzhlkngwx¯st~4a _~4a<ohuxapjly+q4]_axh£q4a<x¯ ]_ap~4arap¨kn~4a<xzq4sq4hikXg
opknv_ju¢{Sa) 2ap~¨kn~4`Na<F2¨an¥mw¥l±
!
$
~n!6z:8 4³¥
a¶hiq]µq]_hux7~a<jlst²a<¸ _~4a<huopstqa 7OµstgS¸¨~kX`q]_aa¬Sg_h£q4hikXg knq]_a¢¨v_gwoqhlkng $&!I±. a
kX{q4snhigwa<+q]_a,{_jlko¼Kx* w~a:xza<gXq4a<+hig'BhimS¥(s>2¬w~xzq*hux¨kn~*q4]_a ($ &! _~4kt¬SjiaX±tstgw¡ktq4]_ap~x.okX~~4a<x SkXgw
q4k´q4]_a·stqzq4~hl{_vq4a6mn~st`N`§st~x &!¢stgw $}4³¥ ¹ºg(q4]_a{wjiko¼xZ{_vwhijuhlg_m q4]_a·hig>qa<~`Na:hlstqa6wsq4s
#
8
=
#
8
# #
8
!#>
!#A!
=
3!
= = =
F! !#A!
F2 ;
# #
8 `Na<sngwxq]wstq<±_ ]whijlaokXgwxzhua<~hlg_m "±q]_a)a:|>vwsq4hikXg
huxq~stgwxz¨kn~4`Na<¢hig>qk7q4]_axzapqkta<|>vwsq4hikXgwx ¥
8
huxq]_axaqknxy>g>q4]_a<xh"E<a<"sqq~4hi{_v_qa<xkt
#
¥
#
huxq]_axaqknhlg_]_ap~4hiqa<stqzq~4hl{_vqa:xkt
8
¥
Bhlmnv_~4aN<AD*}B~4kta:o³q4hikXg"xzqa<
xzq~4vwoqv_~4an±Eq4]_asn _ _jlhlo<sq4hikXg+xzhiqa:x¨kn~q]_a _~4kta:o³qhlkng¡xq4ap >%l)st~4a¯vwgwap~4jlhig_a:½±nsngws]_hlmn]wjihlmn]>q4x
q4]_aokXgwxzq~4vwo³q4hikXgZqk§{2aap¨kn~4a<xzqa<¥
Bhlmw¥2G.)x]_k x.q4]_ar w~kna<o³q4hikXgZxq4ap §¨kX~¯q4]_ar Ssqzq4ap~4g
y"z~ W{
sngwZstjlj9st _ _jlhuopsq4hikXgwxBkn½q]_huxxq4ap wx
yKhlapjuZq4]_a){_jlko¼Kx,hlg"q]_a)jlaq Sst~q,knYBhlmw¥½:_¥
°rk )±Sxy>`¡{SkXjihuo$apsnjivwstqhlkng¦okXv_ju¢{2a+sn _ _jlhia:kng¦stg_gwktq4stqa:"xhiqan±S Sa<~z¨kX~`Nhlg_mNq]wa~a:stjap¨ktª
~4a<xzq4stqhlkng¥SB_kn~q4]_a¯¬S~4xzq*sng_g_knq4sq4a<xhiqan±tq]_a _~4a<huopstqa
`7z
hux»g_knqXap~4h£¬Sa<+sngw$q4]_apgNs¨v_gSo³qhlkng
o<stjlj.hlx~a<hig>q~4kvwopa<2
6z:8uy¢!qy8!
4¥R°a< sqzq4~hl{_vq4a<x)sn~a§o~4a<stqa:{KyV~4apgSst`Nhigwmstqzq4~hl{_vq4a<x
#!$
hlg>qk
# %$
2Û ]_apg
#
#
stgw
$
8
4³¥? ¦kX~aP _~4a<ohuxapjlyn±
!#A!$
huxq~stgwxz¨kn~4`Na<Rhig>qk
!# %$
¥
\,]_a<g±q4]_a){wsnxhuoPopkngwxzqhiqvwapg>q4x,knq4]_axzyK`¡{SkXjihuo$okn`N 2kXxh£q4hikXg"sn~a$ap¬wg_a<QD
5<'= J;@718 (i!$
6
\,]Kvwx<±t¨kX~.q]_a,¨vwgwo³q4hikXg
6z98
$
~
±nq]_axyK`+{2knjlhloopkn`N 2kXxh£q4hikXg¡jla<sX_x*qk$q4]_aap¨kn~4a<xzqa<Nstqzq~4hl{_vqa
mX~4sn`N`Nsn~, _~a:xza<g>qa<¢hlg¢q4]_a)~4himX]Xq wsn~zqknYBhlmw¥:_± ]_a<~aP¨knvw~rsqq~4hi{_v_qa<x,]SsEna${Sa<apgmna<g_ap~sq4a<½¥
}¯~kvwophigwms$¨v_gwoqhlkngwsnjwapsnjivwstqkX~*¨kn~.q4]_hlxsqq~4hi{_v_qamX~4sn`7`§sn~.y>hlapju_xBq]_a¨vwgwo³q4hikXgwx
6z98
$
~
±
sngw _~4a<xapg>qa:RhlguBhimS¥½ K¥
\,]_a´¨v_gwo³q4hikXg ±okn~4~4a<x SkXgwhlg_m qk(sqq~4hi{wvqa:x 5 2Ûh£qxV~4a<xv_jiq4stgS $
~;
2Ûh£qx6st~4mnv_ª
`Na<gXq4³± Sa<~z¨kX~`§x+q]_a¦okXgwxzq~4vwo³q4hikXg´ktsjlhlxzq<¥ \,]waR¨v_gSo³qhlkng ±opkn~4~a:xz 2kngw_hig_mVqk¸sqzq4~hl{_vq4a<x
$
~36z98
2¨hiq4x~4a<xv_j£q4Bsngw
y36z:8
2Ûh£qxsn~mXv_`Napg>q4±XkXg_jly7 w~kX wstm>sqa:x.hiq4xst~4mnv_`Napg>q,stjlkng_m)q4]_aq4~a<an¥
\,]wapg±q4]_axa<okXgw¡ wst~st`Naq4ap~*hlg+q4]_aopsnjij
p 6z98uy¢
&iK
opkn~4~a:xz 2kngS_xqkPq]_axap`§sngXq4hlo~4v_jia
!"y36z:8 6z98uy!qy;5
hlg"q]_a+ _~kn¬wjlaPknq4]_asqq~4hi{wvqa)mX~4sn`7`§sn~<¥*¹ºgwa<a<½±2xzhlgwopa
!"y^
xzq4sngw_x
¨kX~q4]_a7o<stjlj
^5
stgSVxzhlgwopa
!qy36z98
okX~~4a<x SkXgw_xqkZq4]_a¡xa<opkngw6st~4mnv_`Napg>qrkn ±Sq4]_a7jlstqap~
xzq4sngw_x¨kX~
6z98uy¢
&i
¥
\,]_a)hlg>qa<~`Na<_hlstqa$jihuxzqhlx ''A#76Zsngw
6z98
$
~
hlxra¨kX~a:xq4a<½¥
»E ¿ 9 # ¨: Ã a·ar]SsEna _~4a<xapg>qa:7q]_aPxzyK`¡{SkXjihuookX`N Sk>xzhiqhlkngNkngZxhl`7 wjiaPopsnxa<x<¥YB_kn~
`NkX~a¯opkn`N _jla²$ _~4knmn~st`§x<±q4]_a~4a<xv_jiq»ktq4]_huxq4~4sngwx¨kX~`§stqhlkng)okXv_jl Sk>xxhi{wjiyP{Sa,shljijiªI¨kn~4`7a:sqq~4h£ª
{wvqa,mn~st`N`§st~:±:{Sa:opstvSxzakt_q4]_a¨knjljik hlg_m~a<`Nsn~¼x<±Ea<x4xza<gXq4hlsnjijly)okX~~4a<x SkXgwhlg_mq4krq4]_a,okngSxq4~4snhig>q4x
6z98
$
~ :y\C
6z:8
$
~!6zyUK!
$
~n!6z:8
!
$
~n!
!qyQy
{
/z y"z 6?|1}U
{
dz!
$
~¢ y"z !
$
~
yqz !qy` 6?|1}!
$
~
6?|1}!"y` {
dz!"y
y"z~ {
yqzn~+ !$
~U
n
{A'{Wy"z~+ "!qy
{7 7z~/F~yQ
{A!6z:8 ~y !6z:8
9~y!
{A¡Az~/
{7!
{5y
{7y!6z:8{5y !
BhimXv_~aNts7D\ejiko¼x¨kn~
6z:8
$
~
{2a¨kX~a$ _~4kta:o³q4hikXg"xzqa< wx
$
~
8
#
'6nz98
8
# #
8
yqzn~+ !
$
~U
n
{A'{Wy"z~+ "!qy
Kyqzn~+ !
$
~!6z98
{A>{Wy"z~ !qy8!6z98
{A'{oy"z~ !qy8! Ky"z~ !
$
~n!
32 ;
Bhlmnvw~aNG.AD.²_st`N _jla)kt
6
sn _ _jlhlo<sq4hikXgR¨kX~,q]_a) wstqzq4ap~4g
y"z~+ o{
6z:8
$
~76
5
6z:8
$
~!6zyJ K!
$
~n!6z:8
!
$
~n!
!"y8!6nz98 Ky8!6z:8
y8! K!qy8! ¶xzhiqa){wvq
`Az
{
/zCy"z 6?|1}¢
K{
/z!
$
~n!6z:8 Ky"z !
$
~n!6z:8
Ky"z !
$
~n! K{
dz!
$
~!
Ky"z !qy8!6z98> A6?|1}!
$
~!6z98
A6?|1}!
$
~n! y"z !"y8!
A6?|1}!qy8!6z:8{
/z!qy8!6z98
K{
/z!qy8! A6?|1}!"y8!
y"z~ W{
y"z~ !
$
~n!6z:8
n
{A>{Wy"z~ !qy8!6z:8
n
{A'{oy"z~ !qy8! Ky"z~+ !$
~n!
xhiqa
7vdwdx 6z:8
$
~J
6z98
$
~:yJ
6z:8
$
~!6zyJ !
$
~ 6nz98
!
$
~^
!qy 6z98> A6nz98uy!qy^i
{
/z'yqz 36?|1}¢
{
dz!
$
~ 6nz98y"z !
$
~ 6z98
y"z !
$
~; {
/z!
$
~
y"z !qy36z98 6?|1}!
$
~ 6z:8
6?|1}!
$
~; y"z !qy
6?|1}!qy 6z:8 {
dz!qy 6z:8
{
dz!qy 6?|G!qy
y"z~ o{
y"z~+ "!
$
~ 6z:8 yqzn~+ !"y36z:8
y"z~+ "!qy
n
{A'{oy"z~ !
$
~;
Bhlmnv_~4aN<AD Å qq~4hi{_v_qa)mn~st`N`§st~
6z:8
$
~
{2a¨kX~a)sngw¢stqa<~rxzyK`¡{SkXjihuoPapstjlvwsq4hikXg"sngw¢~a<gwst`Nhlg_m
v*wdx76z:8
$
~ :yY p6z98uy¢
&iK
v*w/x!
& /7/wU1x*
{
dz'y"z 36?|G¢
6?|G
y"z ;i
yqzn~+
2
{A
2
v*wdx! :y/7w¢1xd
{
/zCy"z 36?|1}¢
Wy"z 6?|G y8
y"z~
2 5
Bhlmnv_~4a7 }D\Bwv_gwo³q4hikXgwxopkn~4~a:xz 2kngw_hig_m¡qk7q4]_aa¨kX~a:xq4a<"sqq~4hi{_v_qa)mn~st`N`§st~
6z:8
$
~
hlg>q~4kvwoa:R{Kyd$stgAE<hig_mXap~stgSdPhlapmXap~4hlo]"st{2knvqr_a<x4o~4hi q4hikXgwstjopkn`N 2kXxh£q4hikXg¢kn*stqzq~4hl{_vqa)mX~4sn`7ª
`§sn~4x:-0«¥
\,]_a _~4kta:o³q4hikXgwx7hig xzyK`¡{SkXjihuo¢opkn`N 2kXxh£q4hikXg `+vSxq§{2a" 2ap~¨kn~4`Na< kng_jly´kng qa<~`§x7q]Ssq@A!m
#(@A!9q4k´q]wa·opkngwxzq~4vwo³q4hikXg¶kt)q4]_a6hlg>qap~4`Na<husq4a_stq4s´xzq~4vwoqv_~4an¥ \,]_hlx¢huxZq4]_a6 _~4kn{wjia<` kn
_aqa<~`Nhlg_hlg_mRq4]_aZxaq
8
± ]_huo]·opkn~4~a:xz 2kngS_xq4kRq4]_aRd$stg7Ephlg_mna<~Psngw·dPhlapmXap~4hlo]x$xap wsn~4stqhlkng
{2aq apa<g xzyKg>q4sXo³qhuoNstgw¸xap`§stg>q4hloNkX`NsnhigSxp¥Z\,]_hux)hlgwvwopa<x$q4]wsq)q4]_aZokX`N _jiapqaZopkngwxzq~4vwo³q4hikXgkn
q4]_a+hlg>qa<~`Na<_hlstqa+_stq4sZxzq~4vwoqv_~4a+kXv_mn]>qq4kZ{Sa7sEsthljlsn{_jiaX±Ssngw¦`+vSxqPg_ktqP{Sa¡]_hlwapg¥ ¦kn~4apkXap~:±
hlg¸q]waZ~a:xzvwj£q4hig_mVstqzq4~hl{_vq4a§mn~st`N`§st~:±»a<sXo]·stqzq4~hl{_vq4aZkopovw~~4apgwopaN`+vwxzq+{2aRa¬Sg_a<¸kXg_jiykngwopan¥
vwo]¸ _~kX{_jlap` opknv_ju·st~4hlxaN h£q4]´xzkX`7a§gwkngª«jihlg_a:st~Pqa<~`§x<¥¢\,]_hux) _~4kn{_jlap` ]wsnx$q4k¦{SaR~a<jlstqa<6qk
q4]_astgSstjlyKxhuxp±KapXkn¼Xa<Zhlghig>q4~kvwoqhlkng ±wsnjijlk hlg_m¡vSxza<jia:xx, wsn~4sn`Naqa<~4x¯qk§{2a)kn`Nhiqzq4a<½¥
\,]_a§d$stg7Ephlg_mna<~Psngw6dPhlapmna<~huo] xopkngwxzq~sthlg>q4xoknvwjl6{Sa7vwxa<¦hlgsR¬w~xq$st _ _~4kXsXo]qk"~a:xzkXjiXa
q4]_a<xa) _~4kn{_jlap`§x<¥B°a<nap~q]wapjla<x4xp±kXv_~rx Sa:ohustjokXg>qa²KqknqyK 2aªºo]_a<o¼Xa<R¨v_gwo³q4hikXgwstj» _~kXmn~st`§x Sa<~zª
`Nhiq4xqk7~4a¨kn~4`+vwjlstqaq4]_aP~a:xzkXjivq4hikXgZkt»q]_a:xzaP _~4kn{_jlap`§xhigRqa<~`§xkts¡ wsn~zq4hlopv_jlsn~xzq4stqhuosngwstjlyxzhuxp¥
Bw~kX` knv_~$ 2knhlg>q$knKhlap )±½q4]_aNhig¨kX~`§stqhlkng6~4a<|>v_hl~4a<V{Ky¦q4]_a§okX`7 2kXxhiqhlkng6`Na:o]wstg_hux``+vwxzq){Sa
_aqa<~`Nhlg_a<6xza< wst~sq4apjlyn¥$\,]_hlxhlgwap 2apgSapgwopa¡]Ssn6snjijlk a<vwxqk¢ _~4a<xapg>qkXv_~PxyK`+{2knjlhlo¡okX`7 2ktª
xhiqhlkng±a<napg"hi»q]wa) _~kX{_jlap`kt.xzq4sq4hlo$sngwstjlyxzhux¯hlg"¨v_gwoqhlkngwsnjokng>q4a²KqokngSxq4h£q4vqa:xstg"hig>qa<~a:xq4higwm
xzqvSyn±_gwktq,q4sXo¼>jla<¢hlg¢q4]_hux wst 2ap~:¥
"!"»p
\,]waZmnk>stjBknq4]_hux+ wsn Sa<~+hux)q4k6xz]wk q4]wsq7h£q+hux 2kXx4xhi{_jla§q4k¦q~stgwxjusqa 2¨hlgXq4ap~4 _~4aq4$q]_a"xzyK`+{2knjlhuo
opkn`N 2kXxh£q4hikXg¢knsqq~4hi{wvqa)mX~4sn`7`§sn~4xhig¦s¡¨v_gwoqhlkngwsnj½¨~st`Nap kn~4¼9¥
¦kX~a+ _~a:ohuxza<jiyX±w a+x]_k q]wstqPxy>`¡{SkXjihuo)okX`N Sk>xzhiqhlkng±2g_knqrkng_jlysno]_hlapXa<xxhi`Nhljlsn~ra 2a:o³q4xPsnx
¨vwgwo³q4hikXgwstj`Naq4]_k_x-.10«±¯{_vqRsnjlxk¸xzvwo<oa:xxz¨v_jljiy´ap¨kn~4a<xzq4xNhlg sXopopv_`+v_jusq4hiXa¢ Sst~st`Naq4ap~xp¥ \,]whlx
~4a<xv_jiq~a<hig¨kX~4opa<xknvw~okngKKhuo³qhlkngRq]wstqq]_a$¨kX~`§snjihuxz`kn*stqzq4~hl{_vq4aPmX~4sn`N`Nsn~4xhuxxzhl`N _jla$sngwst ª
w~kX _~husq4a§¨kn~7q4]_hlx7¼Khlgw´knq~stgwxz¨kn~4`§sq4hikXgwxp¥¸\,]_a¢q~stgwxjusqhlkngpB}BªFq4ktªÅ d 2¨ _~4a<xapg>q4a< ]_a<~a"hlg
hiq4xNxhi`N _jlap~¡¨kn~4`C4)q4knmXaq]wap~+ hiq] sopjlsXxxhuopstj~a:ohl _~4kKo<stj¯q~stgwxz¨kn~4`§sqhlkng´x]_kXv_jl´{Sa"Khia< a: snx
¨kX~`§snjihqE<stqhlkng"qkKknjux<¥^B_kn~Ps§ _~snoqhuopstjvwxakt.q4]_hlxPap¨kn~4a<xzq4sq4hikXg±7B}.ªIqknª Å d opknv_ju{Sa¡hi`N _~4kna:
sngwa²Kq4apgwa:½±2{_vqrq4]_hux hljijg_ktqP|Xvwa<xzqhlkngq]wa+hlgXq4~hlgwxhlo Sk ap~knBxzyK`+{2knjlhuookX`7 2kXxhiqhlkng¥&B_vw~zª
q4]_ap~4`Nkn~4an±q]_a:xzaRjihl`Nh£qsqhlkngSx¡sn~a§g_knq7x Sa:ohi¬SoNq4kVknv_~7sqq~4hi{_v_qaRmX~4sn`N`Nsn~zª«{wsXxza:6ap¨kn~4a<xzq4sq4hikXg
xhlgwoaPq]wapy¢sn _ 2a<st~snjlxkNhig¦opsnjlopv_jusqhlkngSstj½xzyxzqa<`Nx<±_xvwo]"sXx2ÛxapaP¨kn~ra²_st`N _jla>-i t04¥