HAL Id: inria-00000868
https://hal.inria.fr/inria-00000868
Submitted on 28 Nov 2005
HAL
is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire
HAL, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Transparent Message-Passing Parallel Applications Checkpointing in Kerrighed
Matthieu Fertré, Christine Morin
To cite this version:
Matthieu Fertré, Christine Morin. Transparent Message-Passing Parallel Applications Checkpointing
in Kerrighed. [Research Report] PI 1768, 2005, pp.13. �inria-00000868�
I R
I S
A
IN STITU
T D E R
EC HERCH
E EN INF ORM
ATIQ UEET
SYST ÈMES
ALÉATOIRES
P U B L I C A T I O N I N T E R N E
N
oI R I S A
CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE
ISSN 1166-8687
1768
TRANSPARENT MESSAGE-PASSING PARALLEL APPLICATIONS CHECKPOINTING IN KERRIGHED
MATTHIEU FERTRÉ AND CHRISTINE MORIN
INSTITUT DERECHERCHE EN INFORMATIQUE ETSYSTÈMESALÉATOIRES
Campus de Beaulieu – 35042 Rennes Cedex – France Tél. : (33) 02 99 84 71 00 – Fax : (33) 02 99 84 71 71 http://www.irisa.fr
"!!!$#% !'&()
*,+
&-. )/1023
+
4
57698:8<;=?>A@ BC>AD:8EDEFHGI69JKMLN;DE=?O:8<=?J>P5MQRD:=SJ7GRG
TVUXWZY\['].^:W`_bab].c'd\egfha^:W
i d\jlkZ^'Y\W inmporq T
i absbtueuv:wxYyeujz_eu_AYy^'d\_b^(_{x|x}z~rjxh^']sbdy^lhh {:Nwzz^:W
:'xbzz pjxwhbw<UXW'vtuaWZY\^'dWwld\^.euX^:tUaWy^:PYyj^'X^:vabYy^W\veu^'_AYye9vwlbtegv'wlYyeujz_W:3 b^EW¡^
wzbbtueuv:wxY\ejh_W¢wzdy^rjz£¤Yy^:_].^:W\Wywzz^'¥SwhWyWyeu_b(wldwltut^:t9wzbbtueuv:wxYyeujz_9W¢eYy ¦tjh_b^X^EvaXY\ejh_Yyeu].^z¢TVeu_v^
Y\ b^_Vab]"s§^'djz£`_bjXX^EWeu_¨v'ta9WZY\^'dWegWhdyjxeu_b©Yy b^bd\jzs9wlsbeuteYZUªjl£w_bjXX^£«wleutady^¬Xadyeu_bYy b^
^'X^:vabYyeujz_jz£®wz_¯wlbtegv'wlYyeujz_¯e_v'dy^EwzWy^:WNwl_Yy ^wzbbtueuv:wxY\ejh_^X^EvaXY\ejh_$Yyeu].^]w<Uªs9^zd\^:wlYy^:d
Y\ wl_¦Yy ^vtuaWZY\^'dr].^Ewl_¦Yyeu]N^s§^YZ^'^:_£«wleutabd\^:W°?±¬²3³C´µjw<zjzegd\^:W¡Y\wzd¡Y\e_Nwzbbtueuv:wxYyeujz_¦£¶d\jz]
Y\ b^(s9^:zeu_b_beu_bXWyjz].^`£«wlabtY3Yyjztu^'dwl_AY]N^Ev wl_euWy]WWyav ¦whW3v b^:v·V§jzeu_hY¸<d\^:W¡Y\wzd¡Ywzdy^`_b^'^EX^:¹abd¡¥
d\^'_AY\tUhv b^Ev·A§jzeu_AYµ¸xdy^EWZYwldyY"].^:v wz_beuWy]W.wld\^^:eºY\ b^'d.eu].bt^:].^'_AYy^E»bed\^:vYytuU$e_¯Yy ^¬wlbbtuegv'wxY\ejh_
Wyjzad\v'^`vjXX^®sVUwlbtegv'wlYyeujz_Wbd\jzzdwl].].^'dW©jhdwld\^peu_hY\^'hd\wlYy^:e_vjh]N]ab_begv'wlYyeujz_^:_AVeudyjh_b].^'_AY\W
Wyav wzW¢±
i©q jzd
i¢¼
±ªh½P^rdyjh9jAW¡^3eu_.Yy begW©wz9^:d¢w(_b^:¨wzbbd\jhwhv "eu_ beuv v ^:v·V9jhe_AY¸<d\^:W¡Y\wldyY
].^Ev wl_begWy].Wp£¶jzd®wzd\wzttu^'twlbbtuegv'wxY\ejh_W®wld\^"eu]Nt^:]N^:_AYy^:¾e_w¦v'ta9WZY\^'d(W¡eu_bztu^WyUXWZY\^']¿eu]wlz^jzX¥
^:d\wlYyeu_bW¡UXW¡Yy^:]½À beut^Yy begW·z^:dy_^'ttu^'h^'twzbbd\jhwzv ¦euWp].jzd\^vjz].btu^¦Yyjeu].bt^:].^'_AYrYy 9wl_jlY\ b^'d
wzbbd\jhwhv b^:W:VeºYpegW].jzd\^(z^:_b^'dwltns§^:v:wlaWy^eºYpbjA^EW_bjzYpdy^EfAabed\^wl_VU].jXXe9v'wlYyeujz_v'jz].beutuwlYyeujz_jzd
d\^'tueu_b·Ve_bjz£Y\ b^wlbtegv'wlYyeujz_W( wlYy^:z^'d®Y\ b^vjh]N]ab_begv'wlYyeujz_^'_VVed\jz_b].^:_hY(Y\ b^'UPdy^:tU¬jh_Á`abd
wzbbd\jhwhv " whWs9^:^'_eu]Nt^:]N^:_AYy^:Neu_ÂÃbÄnÄnŶÆÇÃbÈWye_bht^rWyUXWZY\^']Ée]wlh^3jz§^'dwxYyeu_bWyUVW¡Yy^:],swhW¡^E
jh_ÊŤËÌnÍC i ^:d¡£¶jhdy]wl_9v^®dy^EW¡abtY\Wwzdy^®bd\^:Wy^'_AYy^Eeu_Yy begWwz9^:d:
ÎÏAÐRÑ\Ò"Ó xÔz
W¡eu_bztu^pWyUXWZY\^'],eu]wlh^zhv ^:v·V9jhe_AY\e_b9lwzd\wzttu^'twzbbtueuv:wxY\ejh_zhtjhswltbv'jAjhd\be_wlYyeujz_
Õ(Öoroq¡×(ØrÖÙ
§vtuaWZY\^'d
ÚgÛnÜyÝßÞ:à3ÜáâuÝßãSäå
æçrè\é«éSêEëíì¡îhïðuìZñ¶éSñ«ìyòëíñ?ëíóSèEïðuñ
æôæõêEñ?ëíó«éSëíö<ìµïç÷µñ«ëíölòëíñ«ëíóßèEïðñ
Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes
!!!&) ¦ 4¦ 0 3 + 4
^EWzdwlb§^:WX^3v'wztuv'abtuwlYy^:abd\WWyjz_AYY\dy[EWaXYyeutegWyc'^:W§jzadtu^:Wwzbbtueuv:wxYyeujz_9WW\veu^'_AYye9fAab^EW'
¹^EWwlbtegv'wlYyeujz_WWyjz_AYW¡jhabz^:_AY.X^EWwlbtegv'wlYyeujz_W.9wldwltut[:t^EWNb^tujz_zab^Xabd\c'^¬v'jz].]"a_beufAawz_AY
9wld]N^EWyW\wlh^z ¹jz].].^Ptu^P_jz]"sdy^¾b^P_a9bW¦wl_Wtu^:W¦zdwlb§^:WX^Pv:wltgvabtgwxY\^'abdWwlabh]N^:_AYy^z
tgwbd\jzswzsbeuteYycX^bc£«wleututuwz_v^ab_ª_a9wzabz].^:_hY\^^'tut^wzaW\W¡e©^'Ytuwbabdyc:^^Xc:v'aXYyeujz_$ab_b^
wzbbtueuv:wxY\ejh_»§^'abYY\dy^¾Wyab§c'd\e^:abd\^¬wla»Yy^:]N9W].jxUz^:_»^:_AYyd\^¬Xc£«wzetutuwz_v^EWX^tgwªzdwl9^h Ù wl_W
v'^vjz_AY\^VYy^h9jhabdc'VeYy^:dX^dy^:tuwz_v^:d(t^EWwlbbtuegv'wxY\ejh_W(X^'abeuWt^Xc:sbaXY^:_v:wzWX^Xc'£«wleuttgwl_v'^z
b^:W.].c:v:wl_begW¡].^X^Yyjhtc:d\wz_v^wlaXª£«wzaXYy^EWvjh]N].^tgwW\wlaz^'AwldX^^'Y.tgwdy^EWZYwlabdwxY\ejh_X^§jzeu_hY
b^Nd\^'dyegW¡^EW(wzbbtueuv:wxY\ejh_Wyjz_AYwxYyYydw<Uhwl_AYW' × c'_bc:d\wzt^:]N^:_AY:tu^:W].cEv'wl_euWy].^:W(X^W\wlabh^'hwzd\b^"^Y
d\^:W¡Y\wzabdwxYyeujz_ÀX^P9jhe_AYX^¾d\^'dyegW¡^PW¡jh_hY¦]NegW^'_aAd\^¾Xeud\^:vµY\^'].^'_AYbwl_W¦tu^PvjXX^W¡jhabdv^¾X^
twlbbtuegv'wxY\ejh_ªjza$Wyjz_AY"eu_AYyc'hdycEWbwz_Wtu^:W"^'_VVed\jz_b_^'].^'_AY\W"X^¦v'jz].]"ab_euv:wxYyeujz_ªv'jz].].^±
i©q jha
i¢¼
±ª¢pjzaW.dyjh9jAW¡jh_Wwl_Wv'^YwldyYyegvtu^ab_b^_bjzaz^'tutu^wzbbd\jVv ^fAaberv'jz_WyeuW¡Yy^! Pe_AY\c'zd\^'d.tu^:W
].cEv'wl_euWy].^:W(X^W\wlabh^'hwzd\b^^Yd\^:W¡Y\wzabd\wlYyeujz_¾b^9jhe_AYX^d\^'bd\euWy^.wzbbtueuv:wxY\ejh_¾wzd\wzttu['tu^Nwl_W
a_W¡UXW¡Yy['].^¬^XbtujzeY\wlYyeujz_" Heu].wzz^ab_eufAab^¬§jzadzdwlb§^¬X^¾v:wltgvabtgwxY\^'abdW:7¹^YyYy^¾wzbbd\jVv ^
WyUXWZY\['].^^:W¡YpbtuaW®vjh]Nt^'V^ ]N^'Y¡Y\dy^^:_!abVdy^fAab^"t^EWpwlabYyd\^:W]wlegW^:ttu^^:W¡YpbtuaWpzc'_c'dwltu^v'wld
^:ttu^_b^¦_bc:v'^:W\W¡eYy^¦wzWX^].jXXe9v'wlYyeujz_d\^:v'jz].beutuwlYyeujz_Hjza$d\c'cEXeYyeujz_$X^¦teu^'_WX^:WNwlbtegv'wlYyeujz_W
fAab^:tufAab^WyjzeYt#^'_VVed\jz__b^'].^'_AYX^¬vjh].]"ab_begv'wlYyeujz_»W¡abdtu^:fAab^:trv^EWX^'d\_beu['d\^:WNdy^:9jAW¡^:_AY:¨rjlY\dy^
wzbbd\jXv b^w¦cY\cN].egW¡^.^:_$abVd\^bwz_W®t^WyUXWZY\['].^N%^'VtjheºYwxYyeujz_& e]wlh^"ab_eufAab^ÂÃbÄnÄnŶÆÇÃbÈ
£¶jh_XcWyabdʢŤËÌnÍC Ù ^EWd\c:WyabtºYwxYWa_b^c'xwltuawlYyeujz_HX^9^:d¡£¶jhdy]wz_v^EW®Wyjz_AYbd\c:Wy^'_AYycEWbwl_9Wv^Y
wzd¡Y\euv't^h
',Ó
E»)(
Wywzabz^:hwzd\X^¾^Ydy^EWZYwlabdwxY\ejh_X^H9jhe_AY\WX^d\^'bd\euWy^z`wlbbtuegv'wxY\ejh_W¦wldwltut[:t^EW'
v'jVjzdXe_9wxYyeujz_¨htjhswltu^z Õ(Ö¢opoq¡×(ØrÖ¢Ù rWyUVW¡Yy[:].^¾^XbtujzeY\wxY\ejh_ $eu]wlz^¾ab_begfha^zrhd\wzb9^EWX^
v:wltgvabtgwxY\^'abdW
8 9
)4 ¦&¢)
Tbveu^'_AYye9vwzbbtueuv:wxY\ejh_Wwld\^jz£¤Yy^'_]N^EWyW\wlh^¥ßwzW\Wye_bwzd\wzttu^'twlbbtuegv'wxY\ejh_WeYy tjh_b¬^X^EvaXY\ejh_
Y\e].^hPj¾za9wldwl_AYy^:^.Yy b^:edNdy^:tegwlst^^'X^:vabYyeujz_£«wlatºYYyjztu^'dwl_9v^].^:v 9wl_begW¡]Wwld\^_b^'^EX^:W¡eu_v^
wzbbtueuv:wxY\ejh_^'V^EvaXY\ejh_NYyeu]N^p].w<Us9^hdy^EwxY\^'dYy 9wl_NYy b^p]N^Ewl_NYyeu].^rs§^£¶jzd\^3£«wleutuabdy^°?±¬²3³´Cjl£RYy b^
v'ta9WZY\^'dE
m YydwzXeYyeujz_9wlthwzbbd\jhwhv ®egWv b^:v·V§jzeu_hYwl_d\^:W¡Y\wzd¡Y].^Ev wl_begWy].W:3 ^W¡Y\wxY\^¢jz£XYy b^bdyjhzdwl]MeuW
§^'d\eujVbeuv:wltutU(Wyw<h^:®jz_WZYwlsbtu^W¡Yyjhd\wzz^©Xabd\eu_br^X^EvaXY\ejh_;:x b^'_w£«wleutuabdy^¢jVv:vabdW::Y\ b^v'jz].baXYwxY\ejh_
egWWy AabYpXjx_wz_Yy b^bd\jzhd\wz] euW3d\^:W¡Y\wzd¡Y\^:£¶dyjh] Yy ^tuwhWZYrv b^Ev·A§jzeu_AY:
q _ÀY\ b^¾wzdy^EwHjl£Wyv'e^:_AYye9v¬vjh].baXYyeu_b9dyjhzdwl].].^'dW.aW¡a9wltutU¯e].btu^'].^'_AYwlbbtuegv'wxY\ejh_ÀW¡§^¥
v'eº§vv b^:v·V§jzeu_hY¸<d\^:W¡Y\wzd¡YN]N^Ev wl_euWy]W. beuv ¨wld\^e_AY\^'zdwxY\^:¯e_»Y\ b^¬wlbtegv'wlYyeujz_¨W¡jhabd\v'^v'jXX^z
jd\^'tu^:w<z^X^:z^:tjh9^:d\W®£¶d\jz] Yy b^sabd\b^'_HYyj¾].wz_wlh^N£«wlabtYYyjht^:d\wz_AYeuW\W¡a^:W:wl_$wzbbd\jhwhv PegW(Yyj
eu].btu^'].^'_AYv b^Ev·V9jhe_AYµ¸xdy^EWZYwldyY(W¡YydwxY\^'he^EW(e_HY\ b^vjh]N]ab_begv'wlYyeujz_H^'_VVed\jz_]N^:_AY\WWyav ªwzW±
i¢q
wz_
i¢¼
±2jz_ euv ¦]N^EWyW\wlh^¥ßwzW\Wye_bs9wzWy^:wzbbtueuv:wxY\ejh_Wwzdy^`swzWy^:
Ø
jx^:z^:d:Ady^Evjh]Netue_"jzd
d\^'tueu_b·Ve_bNY\ b^wlbbtuegv'wxY\ejh_¦egWjz£¤Yy^'__b^:^:X^En
½^bd\jz§jhWy^w_b^: wlbbd\jhwhv P euv v'jz_WyegWZYWe_ªeu].btu^'].^'_AYyeu_bv b^:v·V§jzeu_hY¸<d\^:W¡Y\wzd¡Y(].^:v X¥
wz_begW¡]W(£¶jhdwldwltut^:t¢wlbtegv'wlYyeujz_WwhWwzd¡Yjl£rwv'taW¡Yy^:dTVeu_bztu^TVUXW¡Yy^'] q ]wlz^¬°STbT q ´"Á`§^'dwxY\e_
TXUVW¡Yy^:] °SÁ(Tb´ m TbT q jz§^'dwxY\e_W¡UXW¡Yy^:]heh^:WY\ b^"eututaWyeujz_Y\ wxY(wvtuaW¡Yy^'d`euW®wWye_ztu^"]"atºY\ebd\jl¥
v'^:W\W¡jhdC]wzv beu_b^z qYdyjxVegX^:WY\ b^`W\wl].^eu_hY\^'dy£«wzv'^pwzW©wYydwzXeYyeujz_wztbjz§^'dwxY\e_W¡UXW¡Yy^']É£¶jzdwl_TX± i
]whv be_^eYy .Wyjz].^wzbXeYyeujz_9wltV£¶ab_vYyeujz_wzteYyeu^:WCWyav .wzWbd\jXv^EWyW].ehd\wlYyeujz_ÂÃbÄnÄnŶÆÇÃbÈ=<u{>wl_9
Á`§^'_§TbT q <í6>Xwld\^©YZjr^bwl].btu^:Wjl£Wyav "WyUXWZY\^']WswzWy^:jh_ʢŤËÌnÍCÁ`advjh_AYyd\esbabYyeujz_egWwz_^VY\^'_X¥
Wyeujz_jl£Y\ b^(e_AY\^'dy£«wzv^(jz£wl_TbT q jz§^'dwxY\e_NWyUXWZY\^'] £¶jhd3v'ta9WZY\^'dW3eºY\ v ^:v·V9jhe_AY¸<d\^:W¡Y\wldyYWyUXWZY\^']
v:wltutuW£¶jhdrwzd\wzttu^'twzbbtueuv:wxYyeujz_9W'©½À etu^(Yy b^"e].btu^'].^'_AYwxYyeujz_jz£v b^Ev·V9jhe_AYµ¸xdy^EWZYwldyY].^Ev wl_begWy].W
egW].jzd\^vjh]Nt^'wxY`·z^'d\_b^:tnt^:z^'tYy wz_wlYraWy^'drtu^'h^'tSXYy begWpwzbbd\jhwhv bd\jxVeuX^EW£¶abtutYydwl_9W¡wzdy^:_vU
£¶jhd`wzbbtueuv:wxYyeujz_9Wpwl_9]N^EWyW\wlh^¥ßwzW\Wye_bv'jz].]"ab_euv:wxYyeujz_^:_AVeudyjh_b].^'_AY\WrYy b^:U¦d\^'tuUjz_r½ÀeYy Pjzabd
wzbbd\jhwhv xt^:hwhvU"wzbbtueuv:wxYyeujz_9W'l 9wxYy^:z^:dYy b^pv'jz].]"a_v'wlYyeujz_Nteusbdwld\UYy b^:Ua9W¡^hhvjhabtgs§^rv b^Ev·h¥
§jzeu_AYy^E¦eYy jzaXYrv wz_bzeu_bNYy b^se_wzdyUh
q
_Y\ beuWrwl§^'dEb^®dyjh9jAW¡^(_b^:7WyUXWZY\^']v:wltutuW£¶jzd3Yydwl_9W¡wzdy^:_AY3].^EWyW\wlh^¥ßwzW\W¡eu_bwldwltut^:twlX¥
tegv'wlYyeujz_W3v b^Ev·A§jzeu_AYyeu_bNe_Yy ^ÂÃÄnÄnŶÆÇÃȪTVe_ztu^TXUVW¡Yy^:] q]wlh^®v'taW¡Yy^:d`Á`9^:d\wlYyeu_bTVUXWZY\^']
<6>ß©3 b^pdyjh9jAW¡^Ee_AY\^'dy£«wzv^®wltutjxrWW¡UXW¡Yy^:] eu_beYyegwxY\^:v ^:v·V9jhe_AY\e_b9±¬jzd\^'jxz^:d:z£¶dyjh] Yy b^®eub^'_X¥
Y\eº9^'djl£ *& bdyjXv'^:W\Wjz£§w`wldwltutu^'tVwlbbtuegv'wxY\ejh_lwltutVYy ^jhsXkZ^:vY\W3°¶dyjXv^EWyWy^:W:lbwlY\w®WZY\dy^Ewl]W\´_b^:^:X^E
Y\j.s9^v b^Ev·V9jhe_AYy^E£¶jhd3Yy b^ jztu^®9wldwltut^:tRwzbbtueuv:wxY\ejh_wzdy^XegWyv'jxz^:dy^En
3 b^¦dy^:]wleu_be_¬jl£Y\ beuWwz9^:d"egW"jhdyAwl_be@?'^EwhW£¶jhttujxrWATV^EvµYyeujz_¬bd\^:Wy^'_AY\Wwswzv·Vhdyjhab_
jh_].^:v 9wl_begW¡]W"£¶jzd.v b^:v·V§jzeu_AYyeu_b¾wzd\wzttu^'t3wlbtegv'wlYyeujz_WNwl_9ª£¶jzd.v b^Ev·A§jzeu_AYyeu_b¾dyjXv^EWyWy^:Weu_
ÊŤËÌnÍjz§^'dwxYyeu_b®W¡UXW¡Yy^']CTV^:vYyeujz_N`X^EWyv'dyeus§^:WYy b^3X^EW¡euz_jl£9].^Ev wl_begWy].W^ w<h^¢eu_AYy^'hd\wlYy^Eeu_
ÂÃÄnÄnŶÆÇÃÈeu_jhd\b^'dY\j`eu].btu^'].^'_AY©wpv'jAjhd\be_wlYy^Ev b^:v·V§jzeu_AYyeu_b`W¡YydwxY\^'zU®£¶jhd].^:W\W\wlz^'¥S9wzW\W¡eu_b
s9wzWy^:9wldwltut^:t§wzbbtueuv:wxYyeujz_9W'©TV^EvµYyeujz_3BNbdy^EW¡^:_AY\Wbd\^'tue].eu_wld\U.9^:d¡£¶jhdy]wl_9v^®dy^EW¡abtY\WjhsXY\wze_b^Ejh_
Y\ b^bd\jlY\jlYZUV9^®^ w<z^®e].btu^'].^:_hY\^:n©³eu_wltutuUz9TV^EvµY\ejh_ .v'jz_v'tab^:W:
C0D öFEGHI
"&-)¦4
3 ^'d\^pwld\^rW¡^:z^:d\wztWZY\d\wlYy^:zeu^:W:lteu·z^`vjVjzdXeu_wxY\^:Njzdab_vjVjhd\Xeu_wlYy^:.v b^Ev·V9jhe_AYyeu_bdyjzYyjXvjhtuW:ltujzl¥
s9wzWy^:¬dyjzYyjXvjhtuW:Y\jwltutjx d\jztuts9wzv·¸<d\^:v'jxz^'d\Ujl£]N^EWyW\wlh^¥ßwzW\Wye_bwldwltut^:twzbbtueuv:wxY\ejh_W'3 ^'U
beR^'d(jz_¬Yy b^.3w<U¦Y\ b^'U]wz_wlh^"X^'§^'_9X^'_v'e^EW(e_9vabd\dy^EsVU¬vjh]N]ab_begv'wlYyeujz_Wps9^'YZ^:^'_¬Y\ b^wlX¥
tegv'wlYyeujz_bdyjXv'^:W\W¡^EW¢Y\j.zawzd\wz_hY\^'^`Yy wlYpwNztujzswztRv'jz_WyegWZY\^'_AYrWZYwxYy^v:wl_s9^d\^:W¡Yyjhdy^E <B>ß
o ^Ev^:_hY\tUwtujlYjl£jzd\·" whW©s§^'^:_Xjz_^rYyj"e_AYyd\jXXav'^r£«wlatºYYyjztu^'dwl_9v^].^:v wz_begW¡]W©eu_wzd\wzttu^'t
dyjhzdwl].].e_bp^'_VVed\jz_b].^:_hYW'lWyav NwzW± i©q wl_ i©¼ ±$xaW¡^E"eu_Yy b^Xjh].wze_jl£§ beh "§^'dy£¶jzd\]wl_v'^
v'jz].baXY\e_
3 b^.htjhswltCvjVjhd\Xeu_wlYy^:Pv b^:v·V§jzeu_AYyeu_b¦W¡YydwxY\^'zU 9wzW®s9^:^'_e].btu^'].^:_hY\^:eu_³9wleutuW\wx£¶^ i©¼ ±
<í >ßV¹jX¹ b^:v· <}6>ßATAYwldy9Wy 1<| >ßh±
i¢q
¹ Ø ¥¼ ¹ <~>ßh³p¹¢¥¡¹ wld\] <6>9wl_9
m
±P¸l±
i©q
<{E>ß3 b^
i
wzdyegWTVa9ab_beuz^:d\WyeYZU whW©eu].bt^:].^'_AYy^EjlY\ b^'dW¢W\v b^:]N^®W¡a9v wzW¢9^EWyWye].egWZY\euv <{h{>wl_v'wla9Wywzt.<u{E >
tujzhzeu_b
Ø
jx^'h^'dE©vjz].wzdyeu_bPYy b^EW¡^XeR^'d\^'_AYWZY\d\wlYy^'he^EWYy b^:U$ w<z^Wy bjx_eu_ <{< >Yy wlYYy b^
v'jVjzdXe_9wxYy^Ev b^Ev·A§jzeu_AY3W\v b^:]N^®jR^'dWYy b^(s§^:W¡Yrvjz].btu^XeYZU9^:d¡£¶jhdy]wz_v^pYydwzX^'¥Sjeu_vtuaWZY\^'dW'
W¡eu_bY\ b^:Wy^`v'jz].]"a_beuv:wxY\ejh_teusbdwld\e^EW'hdy^:sbabeutuXeu_bjhd¢d\^'tue_·Aeu_bY\ b^p9wldwltut^:t9wlbtegv'wlYyeujz_egW¢jz£¤Yy^:_
_^'^:b^:n
3 b^EW¡^^:_VAeud\jz_b].^'_AYWd\^'tuUjh_¦bd\jXv^EWyWv b^Ev·V9jhe_AYyeu_bN].^:v wz_beuWy]WYyjW\w<z^`Yy b^W¡Y\wlYy^(jl£^:whv
dyjXv^EWyWjl£®w¾wzd\wzttu^'twzbbtueuv:wxYyeujz_$jªv b^Ev·A§jzeu_AYNwPbd\jVv'^:W\WwlYjz§^'dwxYyeu_bW¡UXW¡Yy^'] tu^'h^'twl_9
eYy jzaXYp].jXXe9v'wlYyeujz_jl£Yy ^"W¡jhabdv^vjXX^hbYy ^'d\^euWrw.egX^dwl_z^(jl£Cw<xwleutuwzsbt^tueusbd\wzdyeu^:WWyav wzW
¹jh_Xjhd <{E6>3jzd Ö §v·VXY <{B>ß q _$jhd\X^:dYyjWyw<h^wl_$dy^EWZY\jzd\^.Yy b^WZYwxYy^¦jl£rw¬dyjhzdwl]w¾euX^
dwl_z^jl£WyUXWZY\^'] v'wltutgWwld\^e_AY\^'dv^'bYy^:¨eu_jhd\X^:dYyj·z^'^:»Yydwzv·jz£(Yy b^Pbdyjhzdwl] W¡Y\wlYy^°?W¡a9v
whW(].^'].jzd\U¬]wlb§^:d\^'hejh_Wwl_Pjz§^'_tu^ wz_Xtu^:W´µ¦TVjh].^W¡UXW¡Yy^']Wv:wltutuWv:wl_Hs9^.£¶jhdyseubb^'_
q _»wzbbeºY\ejh_CaWy^'dy¥Stu^'h^'tv ^:v·V9jhe_AY¸<d\^:W¡Y\wldyY].^:v wz_begW¡]WNv'wl__bjlYNdy^EWZY\jzd\^£¶jzdN^bwl].btu^dyjXv^EWyW
Wy^:W\Wyejh_egX^'_AYye^:d:
² ¹ o
<u{E >euW¢w(bdyjzkZ^:vY©jl£R·z^'d\_b^:tº¥ßt^:z^:tXbdyjXv'^:W\WCv b^:v·V§jzeu_hY\e_`£¶jhdCYy ^`ʢŤËÌͦ·h^'d\_b^'tS²
¹ o
v:wl_v ^:v·V9jhe_AY"s§jlY\ d\^'habtuwzd"wl_9$]"atºY\eºY\ bdy^EwzX^E°¶bYy bd\^:whbW\´bd\jzzdwl]W jx^:z^'d"eºYXjV^:W_bjlY
Wyabb§jzdyY¦v b^Ev·V9jhe_AYyeu_b$wz_9¸<jhddy^EWZY\jzd\e_ªjl£bd\jVv'^:W\WaWye_$jz§^'_p¹
i ¸ qôi
jzdËÅgÍ Xjh]wleu_
WyjXv·z^'Y\W:r^:z^:d¡Y\ b^'tu^:W\W'h² ¹ o
W¡ab9jhd¡YW©wzbbe_b v'wzttuswhv·VW<Yyja9W¡^:d¡¥ßt^:z^:tbvjXX^zh begv .wzdy^v:wltut^E
^'_wv b^Ev·A§jzeu_AYCeuWwls§jzaXYCY\js9^p9^:d¡£¶jhdy].^:hwl_9 ^'_eY¢euW©dy^EWZYwldyYy^:°¶jhd¢v'wzdyd\eu^:Wjz_wl£¤Yy^'d¢Yy b^
v ^:v·V9jhe_AYµ´µ3 euWpeuW jx7± i¢q vjz].]ab_begv'wxY\ejh_v'wl_s§^ wz_Xtu^:sVUY\ b^£«wlatºYrY\jztu^'dwl_AYrz^:d\Wyeujz_
jz£ m ±P¸l± i©q
TVeu_bht^`TXUVW¡Yy^:] q ]wzz^jz§^'dwxY\e_W¡UXW¡Yy^']WX^:Xegv'wlYy^E"Y\j"vtuaW¡Yy^:d\W¢ w<z^3d\^:v^:eh^:.wtujlY¢jz£ne_AYy^:d¡¥
^EWZYCeu_NYy b^rv'taW¡Yy^:d©vjh]N]ab_beYZUz3 b^:Wy^3jz§^'dwxY\e_bWyUXWZY\^']WztujzswzttuU]wl_wzz^wltutXjz§^'dwxY\e_®WyUXWZY\^']
d\^:Wyjzad\v'^:W©Wyav whW¢bd\jXv^EWyWy^:W:z].^'].jhdyUWy^'z].^:_hYW'VbwlY\w"W¡Yyd\^:wz]W'htu^:W:zY\ Aa9W^EwzWye_"vtuaW¡Yy^'daW\wlh^
wz_Nbd\jzzdwl].].eu_bÁ`§^'_§TbT q <>9wl_ÂÃbÄnÄnŶÆÇÃbÈ <{>9wld\^YZj(^bwz]Nt^EWCjl£nW¡a9v .WyUXWZY\^']WCswhW¡^E
jh_¬Ê¢Å¤ËÌnÍ© ^:hwzv'U± i©q wlbtegv'wlYyeujz_WpX^:Wyeh_b^:£¶jzdp]"abtYyeubd\jVv'^:W\W¡jhd3].whv beu_b^:Wrv:wl_s9^"^X^:v'aXYy^E
jh_v'ta9WZY\^'dW3eºY\ bjzaXYpwz_VU].jVbeº9v:wxY\ejh_jhddy^Evjh]NetgwxY\ejh_¢Á`abdzjAwltReuWYyj.e_AY\^'zdwxY\^(wldwltut^:twlX¥
tegv'wlYyeujz_W3v b^Ev·A§jzeu_AYµ¸xdy^EWZYwldyY¢].^:v wz_beuWy]We_W¡a9v ¦wl_¦jz§^'dwxY\e_b.WyUVW¡Yy^:] £¶jzd3£¶abtutRYydwl_9W¡wzdy^:_vU
wz_¦e_b^'§^'_X^:_v^(£¶d\jz]%wlbtegv'wlYyeujz_W3wl_9¦v'jz].]"ab_euv:wxYyeujz_tuesbdwld\eu^:W:
D
ñ«ëíóßè
! #"%$"'&( ) %
(*+ ! (,+ & " -. /103245
(*+ 67
(,
&8$
-. /103245
" *( ! +9 &8$ 6 -.: 6
; ::9./ 1 <= >& (*+
?
@&
³ehabd\^N{A
o
^:W¡Y\wzd¡YaWy^'dy¥Seu_AYy^:d¡£«whv^®^bwl].btu^
A B
3 DC
Á`ad`jzd\·wleu].W(wlY®]wl·Veu_bv b^:v·V§jzeu_hY\e_¦wl_9¬d\^:W¡Y\wldyYyeu_b¦]N^EWyW\wlh^¥ßwzW\Wye_bwzbbtueuv:wxY\ejh_W®^:wzWyUz
q _vjh_hY\d\whWZYYyj^XeuW¡Yyeu_bNbd\jlkZ^:vY\W:zY\ b^®£«wlabtYYyjztu^'dwl_9v^p].^Ev wl_begWy].Wwld\^p^:_AYyeudy^:tU.eu]Nt^:]N^:_AYy^:¦eu_
Y\ b^Á(T£¶jzdrwlbtegv'wlYyeujz_Wwz_¦teusbdwld\e^EWeu_X^:9^:_X^:_v^h
½^. w<z^"b^_b^E¾wz_¬eu].bt^:].^'_AYy^E¾wvjz].]wl_9V¥Stueu_b^"aWy^'d®eu_hY\^'dy£«wzv'^znw3w<U¦Yyjdy^'Yyd\e^:z^"wztt
dyjXv^EWyWy^:W3jz£©wwldwltutu^'twlbtegv'wlYyeujz_£¶d\jz] *& jz£Y\ b^']§ztujzswztvjVjhd\Xeu_wlYy^:v b^Ev·A§jzeu_AYyeu_bwl_9
d\^:W¡Y\wzd¡Y\e_bd\jlY\jXvjztgW:³eu_wltutUhXYy ^dy^EWZY\jzdwxYyeujz_jl£jz§^'_WZY\dy^Ewl]W3 wzW3s§^'^:_dy^Ewltue"?:^:n
EGFIH JLKNMPORQTSVUXWZY\[^]_M.`aKNb c3deKNfhgDijUTOkST`ml5noKNM.`aYqpa`9r.S^`aKphWYsftK
3 ^v b^Ev·A§jzeu_AYµ¸xdy^EWZYwldyYre_AYy^:d¡£«whv^]aW¡Y®s§^Wye].btu^.wl_^EwzWyUY\jaWy^z(3 VaW`^ w<z^"v jhWy^'_Yyj
a9W¡^®Yy ^Wywz]N^(eu_AYy^'dy£«wzv'^®£¶jzdwzd\wzttu^'tnwlbtegv'wlYyeujz_Wwz_W¡^Efha^'_AYyegwltnbd\jXv^EWyWy^:W:
jrv b^:v·V§jzeu_AYwl_wlbtegv'wlYyeujz_:^©Wyabzh^:W¡YnYy b^£¶jhttujxeu_bvjz].]wl_9V¥Stueu_b^Ce_AY\^'dy£«wzv^Duvxwxuy.zx{}| ~a
{zat|{~tzt|§z'|s§^'eu_b(Yy ^pbd\jXv^:W\WegX^'_AYye^:d¢jl£ *& jl£RYy b^pwldwltut^:tbwlbtegv'wlYyeujz_.bd\jVv'^:W\W¡^EW'
Á`bYyeujz_ zah{xuwxPa {~}°«jzd zb´NwzttujxrWY\jªv b^:v·V§jzeu_hY.jz_tUwWy^:fAab^'_AY\euwztdyjXv^EWyW:½ÀeYy jzaXY
Y\ b^jzbYyeujz_XY\ b^wzd\wzttu^'twzbbtueuv:wxY\ejh_¦£¶d\jz_AY\e^:deuWrv:wltgvabtgwxY\^:wzWrb^:W\vd\es§^:eu_TX^:vµY\ejh_¬bíXÁpY\ b^'d
jhXYyeujz_9W^'_wzsbtu^Yyjv jAjAW¡^®Y\ b^"W¡Yyjzdwlh^(]N^EXegw¬°R tw}|s}|y_mwt{ml´µzYyjwhbwv b^:v·V§jzeu_AY
b^:W\vd\eXY\ejh_P°I @ PwxPut|1zat|{~<´wl_9Y\j.v'dy^EwxY\^®wNv b^:v·V§jzeu_AY begv euW3^'V§jzdyY\wzsbtu^pY\j.wz_bjlY\ b^'d
v'ta9WZY\^'d°R w.zx{Ph}.wV´
m
3w<U£¶jzd§^'d\ejXXegv'wzttuU¾v b^Ev·V9jhe_AYyeu_bwl_Hwlbtegv'wlYyeujz_euW(Y\jtuwzab_v eºYeYy Yy euWeu_AYy^:d¡£«whv^ A
hwax|}wa.P~ {zat|{~t zhw.t|{}|ua|PPhu{Pt~h§
s9^:e_®w`wxYyYy^:dy_jl£§^'d\ejXXegveYZUwl_9
u{Pt~hps9^:e_bpYy b^ab_b].jXXe^:Nvjh].].wz_(Y\jptgwlab_v "Yy b^3wlbtegv'wlYyeujz_ qYwzttujxrW 6 0)7
(-(/*0
3 b^aWy^'dv'wl_v bjVjhWy^CYy b^3v b^Ev·A§jzeu_AY£¶d\jz] begv Yyj`dy^EWZY\jzd\^CYy ^wlbtegv'wlYyeujz_eu_wptegW¡YWy bjxe_
eY\WpWyw<Veu_bNwxYy^wz_¦b^:W\vd\eXY\ejh_°?W¡^:^³ehabdy^.{<´wl£¤Yy^:d^X^:v'aXYyeu_b.Yy ^jawxh..vjh].].wz_n
C0D öFEGHI
EGF U7`aU@n<K`Pp}ORKTK =phUGftKNMPMKNM UXWZYsSoiei kOIftY `hORUTS
3 ^Á(T_b^'^EbWYyj(X^Y\^:vµY©wzttVbd\jXv^:W\Wy^:Wjz£§wz_wlbtegv'wlYyeujz_£¶d\jz] Y\ b^3begjl£ *& jl£bY\ b^'] sVUtujVjz·Ve_
wlY3tegwxY\ejh_teu_b·XWwl_vjh].]"ab_begv'wlYyeujz_WZY\dy^Ewl]W3eu_¦jhd\X^:d3Yyjv b^Ev·A§jzeu_AYrw9wldwltut^:tRwzbbtueuv:wxY\ejh_
q _wPTbT q vtuaW¡Yy^:d.Á(THWyav $wzWNÂÃbÄnÄnŶÆÇÃbÈCCbd\jXv^EWyWy^:Wwz_$W¡Yyd\^:wz].W"v'wl_ªs§^].euzdwxY\^: <u{:}6>
£¶d\jz] jh_b^®_bjXX^®Yyj.wl_bjzYy b^:d:©TVjYy b^XeR^'d\^'_AYbdyjXv'^:W\W¡^EW¢jz£wNwldwltut^:t§wzbbtueuv:wxY\ejh_¦v'wz_s§^W¡bd\^:wh
jh_]wl_VU_bjXX^EW'X^:z^:_e£Yy ^'d\^®wzdy^`tueuwlYyeujz_tueu_b·XW3s9^'YZ^:^'_Y\ b^(bd\jVv'^:W\W¡^EW' m bd\jVv'^:W\Wbv'dy^EwxYy^E
sVUYy b^a{.PyWyUVW¡Yy^:]v:wltutn£¶dyjh] bd\jXv^EWyW # begWpw * jl£bdyjXv'^:W\W # q£ # wz_ wld\^_bjlYrd\ab_b_e_b
jh_¾Y\ b^Wywz].^N_jVb^zegWw
*
Wyjz_jl£bdyjXv'^:W\W
#
^:tuWy^ egWw
!"* (!
Wyjz_Pjl£3bd\jVv'^:W\W
# q
£w
dyjXv^EWyW
+
egWrw.W¡jh_¦jz£r
+
euWw
7($7
jl£bd\jVv'^:W\W¡^EW,wz_
#
jw<hjzegv b^:v·V§jzeu_AYyeu_bYy ^ bjht^NW¡UXW¡Yy^:]w¦W¡jhtabYyeujz_¬egW`Yyj¦v ^:v·Yy b^`ÇÃŤË! #"$AÃ
v:wlwzsbeuteYZUz
m
bd\jXv^EWyW¦v'wl9wlsbeuteYZU <{x|>(euWw$dyjXv^EWyW¦wxYyYyd\esbabYy^¬Y\ wxYv'wz_s§^Wy^YErab_Wy^YE`wl_9
eu_b b^:dyeYy^Enr²U¦X^'£«wlabtY:Rwbd\jXv^EWyWrbjA^EWr_bjzYp w<h^(Yy b^`ÇÃ%ŤË& #"$hÃv:wlwzsbetueYZU begv ¬v'wz_
s§^^:_wlsbtu^:sVUwvjh]N]wz_teu_b^£¶jhdr^:whv dyjXv^EWyWrjl£©wlbtegv'wlYyeujz_Wtgwla_v b^:tgwxY\^'d£¶d\jz] wW¡ ^'tut?
q£CwNbd\jVv'^:W\W3XjV^:W_bjzY w<z^`Yy b^'`ÇÃŤË& #"%$AÃv'wzwlsbeutueºYZUeYreutt_jlYs9^v ^:v·V9jhe_AY\^:n
m bd\jXv^EWyW begv ._b^'^EbWYyjs§^rv b^Ev·A§jzeu_AYy^E"sbabY© bjhWy^£«wxYy ^'dCbd\jXv^:W\WegWC_bjlY©v b^Ev·V9jhe_AY\wzsbtu^
egW¢w - 7 ** °¤£¶jhd¢^bwz]Nt^hhbd\jXv^EWyWy^:Wp{pwl_4Be_¦³euzady^` beuv ¦W¡ bjxrWwwzd\wzttu^'t§wlbbtuegv'wxY\ejh_
Y\js9^v b^Ev·V9jhe_AYy^E´µ m bd\jXv^EWyW® bjAW¡^£«wxY\ b^'degW(d\^'].jlY\^.wz_P_b^'^EbW®Yyjs§^v b^:v·V§jzeu_hY\^:PeuWw
!@*(!$* * °¤£¶jzdeu_WZYwl_v'^zVbd\jXv^:W\W|e_³euzady^`b½P^®v'wltutu^: )(* $!')( )* wtjXv'wzt9d\jVjlY¢dyjXv^EWyW
wz_wltutneºYWtjXv:wltX^EWyv'^'_bwz_AY\W:
³dyjh] *$ jz£`Y\ b^¾wzbbtueuv:wxYyeujz_»bd\jXv^:W\Wy^:W:©Yydw<z^:d\Wyeu_bPtujXv'wztpwl_»d\^'].jlY\^tegwxY\ejh_»Yyd\^'^¬wl_9
v ^:v·Ve_Yy b^`ÇÃŤË+! #"$hÃv'wl9wlsbeuteYZUzA^r_ *& jz£nYy b^`wldwltutu^'t9wzbbtueuv:wxY\ejh_ - 74**
3 ^'_V^®whbwztt§Yy ^`tujXv'wltnwz_d\^'].jlY\^`X^EWyv'^'_wl_AY\Wjl£Y\ begW3bdyjXv'^:W\W©Y\j"Y\ b^`tuegWZYjl£bdyjXv'^:W\W¡^EWCYyj
s§^v b^Ev·A§jzeu_AYy^En
½À b^:_¯wdyjXv^EWyW"jl£Y\ beuWtueuW¡YegW"wlY¡Y\whv b^:ªYyj¾wPWZY\dy^Ewl]-, ^v b^:v·e£Yy b^¦jlYy ^'dNbdyjXv'^:W\W¡^EW
wlY¡Ywzv b^E®Yyj.,wld\^¢wltud\^:wzbU`eu_Yy ^tueuW¡Y:
Ö
tgW¡^hxeº£bdyjXv^EWyWy^:W w<z^©Yy b^/`ÇÃ%ŤË& #"$hÃ"v'wl9wlsbeuteYZUz
^phj"ab¦e_Yy b^®tujVv:wltRwl_dy^:].jlYy^ptueuwlYyeujz_Y\dy^:^`tujVjz·Ve_£¶jzdwl_jlYy ^'d¢ ^:wzdyjVjzYbd\jXv^:W\W:
q
£eY3euW
Y\ b^Wywz].^` b^EwzdyjVjlYEXWZY\dy^Ewl]0,$v'wz_s§^®euz_jzd\^:eu_¦Yy b^(wzd\wzttu^'tRwlbtegv'wlYyeujz_£¶d\jz_AY\e^:d3v:wltgvabtgwxY\ejh_
s§^:v:wlaWy^©eYegWd\^:Xa_bwl_AYeYy tegwxY\ejh_ q_³euzady^bxWZY\dy^Ewl]1,32"euWeh_bjzd\^:®eu_£¶dyjh_AYyeu^'dv:wltgvabtgwxY\ejh_
eu_vjh_hY\d\whWZY3eYy WZY\dy^Ewl],4z
EGFE ORKNphYqpxfxd OIftY c%UDUXp%5eOISeY `PK5 c d_KNfxg ijU^OIS^`,YsS/5 noKNM.`aYqpa`
6#786#7:9 ; ÓÓ xÔ<:=X Ï Ô¨?> Ï A@B Ó <:=R
3 ^v b^Ev·V9jhe_AYyeu_bbd\jlYyjXv'jzteuW.XeuVeuX^Eeu_¯Yy bd\^'^WZY\^'W3AH°Z{<´Y\jd\^Y\dyeu^'h^¦wztt3bd\jXv^:W\Wy^:Wjl£`wz_
wzbbtueuv:wxY\ejh_»wz_]wz·z^Yy b^:]Wyt^:^'beu_bHeu_»jhd\b^'dNYyj$W¡Yyjh»v'jz].]"ab_euv:wxYyeujz_9W'®°?z´Y\j$v b^:v·V§jzeu_AY
Y\ b^']°?h´Y\j.v'jz].].eºYY\ b^v b^Ev·A§jzeu_AYe£©W¡a9v'v^EWyW¡£¶abtut?
pjdyjXv^EWyW® whWwvjz].btu^Y\^.·A_jxt^EXz^Njl£bdyjXv'^:W\W¡^EW`eu_Vzjhth^:eu_Yy b^v b^Ev·V9jhe_AY:.³bd\jz] w
d\jVjlYbdyjXv'^:W\W'V^®v:wld\^`wls§jzabYw bjht^(W¡asX¥ßwzbbtueuv:wxY\ejh_wl_dy^:].jlYy^(Wyjz_Wjl£Yy b^WyabsX¥ôwlbbtuegv'wxY\ejh_
dyjXv^EWyWy^:W®sbabY^Xj_bjzY·A_jx eº£3d\^'].jlY\^.Wyjz_9W( w<z^.X^:W\v^:_bwz_hYjhd_bjlYE3 b^.e_X£¶jhdy]wlYyeujz_euW
beuW¡Yyd\esaXYy^En
D
ñ«ëíóßè
Node A Node B
3 2
1 4
5 6
7
S2 S1
8
9
Process
Remote filiation Local filiation
Parallel application frontier Communication stream Process without Checkpointable capability
³ehabdy^A m 9wldwltut^:tRwzbbtueuv:wxY\ejh_¦d\ab_b_beu_b.jz_¬ÂÃbÄnÄnŶÆÇÃbÈ
³eud\W¡Yjl£wzttSY\ b^.wldwltutu^'tCwlbtegv'wlYyeujz_P£¶dyjh_hY\e^:d(euWv:wltgvabtgwxY\^:nnY\ b^'_HwltutYy ^wlbbtuegv'wxY\ejh_¾bd\jl¥
v'^:W\W¡^EW w<h^Cs9^:^'_NWZY\jzb§^:d\^:v'^'euVe_b`wrW¡euz_9wltS3 b^'_<£¶jzdY\ b^3Wywz·z^Cjl£v ^:v·V9jhe_AY\e_bp9^:d¡£¶jhdy]wl_9v^z
wrbdyjXv'^:W\Wwl_9(eºYWtujXv'wltAX^:W\v^:_bwz_hYWwzdy^¢v ^:v·V9jhe_AY\^:®e_"wldwltut^:tzeYy d\^'].jzYy^¢X^EWyv'^'_wl_AY\W°«wl_9
Y\ b^'eudd\^'tgwxYyeuz^(tue_^®jz£b^:W\v^'_AYµ´µ
½À b^:_d\^:v^:eVeu_b$w$WyabsX¥ôwlbtegv'wlYyeujz_Àv b^:v·V§jzeu_AYdy^Efha^:W¡Y£¶jzdwHtjXv'wztpd\jVjlYbd\jXv^:W\W _bjh_
stjXv·Ve_NdyjXv^EWyW3v b^Ev·V9jhe_AYdy^EfAab^:W¡Y\Wwzdy^Wy^'_AY£¶jzdrwzttneY\WtujXv'wztX^:W\v^:_bwz_hYWwl_¦_bjh_stjXv·Ve_
WyabsX¥ôwlbtegv'wlYyeujz_"v ^:v·V9jhe_AYdy^Efha^:W¡Y\W£¶jzdwltutAYy b^3d\^'].jlY\^Wyjz_Wjl£Yy b^EW¡^bd\jVv'^:W\W¡^EW'½À b^'_9jAW¡eYyeuz^
d\^'teu^:W®£¶d\jz] wztt©Yy b^X^EWyv'^'_wl_AY\W( w<h^s§^'^:_Hdy^Ev^'euz^Enw§jhWyeºY\eh^.dy^:btU¾euWWy^'_AY(£¶d\jz] YyjeY\W
WyjztuegveYyjzd.°¶tujXv'wzt©v b^:v·V§jzeu_hY(vjh]N].eY´½À b^:_wzttC ^:wz¾dyjVjzY®bd\jXv^EWyWy^:W` w<z^NtujVv:wltutU¬v'jz].].eºYyYy^E
Y\ b^'eudrv b^Ev·A§jzeu_AY:VY\ b^v b^:v·V§jzeu_AY3egW£¶abtutUvjh]N].eY¡Y\^:n
m WptujXv'wltd\jAjzYpbd\jXv^:W\Wy^:Wpwzdy^vjVjzdXeu_wxY\jzdW£¶jzd`Yy b^:ed®dy^EW¡§^:vYyeuz^"Wyabswzbbtueuv:wxY\ejh_Y\ b^v'jVjzdXeº¥
_9wxYyeujz_egW3 be^:d\wzd\v euv:wltS
6#786#7 Ï 'EX<
³jzd®^:whv ¬dy^EWZYwldyYy^Ebd\jVv'^:W\W §^N].wz·z^_bjz_PsbtjXv·Veu_bd\^:fAab^EWZYWrY\j¦d\^:W¡Yyjhdy^"wztttujXv'wltWyjz_W®jl£
wz_$Wy^'_$_bjz_$stjXv·Ve_¬dy^EfAab^:W¡Y\W"YyjPdy^EWZY\jzd\^Yy b^W¡asX¥ßwzbbtueuv:wxY\ejh_Wjz£r beuv $Yy b^tjXv:wltdyjVjlYeuW
wd\^'].jzYy^Wyjz_jl£ 3 ^.£¶jztutjxeu_bWZY\^'$v'jz_WyeuW¡Y\We_H3wleYyeu_bdy^:btue^EW(£¶dyjh] Y\ b^X^:W\v^:_bwz_hYW(Yyj
v'jz].].eºYY\ b^(dy^EWZY\jzdwxY\ejh_ o ^:W¡Y\wldyYyeu_b.s§^'zeu_W3eYy Yy ^wlbbtuegv'wxY\ejh_¦ ^:wz¦d\jAjzY\W3bd\jXv^EWyWy^:W:
²^£¶jhdy^v b^:v·V§jzeu_hY\e_'dyjXv^EWyWy^:W w<z^Cs§^'^:_"X^'tjxUh^:®sVUpY\ b^ÂÃbÄnÄnŶÆÇÃbÈztujzswztxY\whW¡·(W\v b^:V¥
at^:djzdsVUY\ b^bd\jzzdwl].].^'dEC3 wxYegW VUbd\jXv^EWyWy^:W3wld\^(dy^EWZYwldyYy^Ejh_Y\ b^'eudrjzd\euzeu_wltR^X^EvaXY\ejh_
_jVb^ze£§jhW\W¡eusbtu^zRY\jd\^:Wy§^:vµY®Yy ^Njhdyeuzeu_wztX^:btujxUA].^:_hYE Ø jx^:z^'dEnwxY®Yy b^NY\e].^.jl£dy^EWZY\jzdwxYyeujz_
dyjXv^EWyWy^:W:l begv .^:dy^dy^:Aeujza9W¡tuUd\ab_b_beu_bjz_w(£«wzetu^:N_bjXX^hAwzdy^3d\^:W¡Y\wzd¡Y\^:Njz_NYy ^r_bjXX^r bjAWZY\e_
C0D öFEGHI
A B C 1
2 3 4
5
6
A B C
1
2 3 4
5
6
³euzabd\^A
i
wldwltut^:t©wlbtegv'wlYyeujz_s9^'£¶jzd\^.wz_Hwx£¤Y\^'dwdy^EWZY\jzdwxY\ejh_¾eYy £¶^'^'d_bjXX^EW°«pjVb^euW
jhaXYjl£jzdX^'dµ´
Y\ b^'eudrwzdy^:_AYrbdyjXv'^:W\W'¢³euzabd\^Wy bjxrWwl_^'Xwz].bt^jz£wz_wlbbtuegv'wxY\ejh_bdy^:VejhaW¡tuUd\ab_b_beu_bjh_
_jVb^:W3 begv euW3d\^:W¡Y\wzd¡Y\^:jh_jz_btuU¦_bjXX^:W:
EGF 9ijKNS [ `aphKYsb\M noKNM.`PUTphY `aOIUTS
ÂÃÄnÄnŶÆÇÃÈHbd\jxAegX^EWbwxYwWZY\dy^Ewl]W3eºY\ ^VYyd\^'].eYyeu^:W euv v'wz_s9^].jxh^:¦£¶dyjh] jh_b^_bjXX^(Yyj
wz_bjlY\ b^'d(wl_9¾wld\^"egX^:_hY\eº9^:¬sVU¬wab_begfha^N_Vab]s9^:d <u{:~>S"3 euW®egX^'_AYye^:d®]w<Us§^Nwztd\^:whXUe_PaW¡^
wlY`Y\ b^.Yyeu].^.jl£d\^:W¡Yyjhd\wlYyeujz_½^.aWy^.wWy wld\^:¾ wzWy AY\wlst^Njz_P beuv PYy ^N·h^'UegW®Yy b^.jhtuWZY\dy^Ewl]
egX^:_hY\eº9^'dwl_PbwxYwegW`Yy b^._b^:ÉW¡Yyd\^:wz]%egX^:_hY\eº9^'dE½À b^'_d\^:W¡Y\wldyYyeu_b9§e£w¦bd\jXv^:W\W`_b^'^EbW`Yyjs9^
se_b^:YyjwWZY\dy^Ewl]eY`tujVjz·XWrwlYrYy b^jztgWZY\dy^Ewl]euX^:_AYye^'d`e_Y\ b^ whW¡ AYwlsbtu^"wl_9eº£CeY®XjV^:Wp_bjlY
^'XeuW¡Y:3w_b^' WZY\dy^Ewl] egWvd\^:wlYy^En m YYy b^^:_»jl£`d\^:W¡Yyjhd\wlYyeujz_Yy b^ whW¡ AYwlsbtu^v:wl_¨s§^¬X^'tu^Y\^:n
±¬^Yy jVWpaWy^:¬Yyj¦sbe_9¾wl_9¾X^'Y\wzv Pwbd\jXv^:W\WY\j¦w¦WZY\dy^Ewl] e_v'whW¡^jz£¢].ehd\wlYyeujz_¬wzdy^"Yy b^.Wywz].^
£¶jhd`v b^Ev·V9jhe_AYµ¸xdy^EWZYwldyY: m dy^EWZY\jzd\^:vjh].]"ab_begv'wlYyeujz_¬W¡Yyd\^:wz]%XjV^EWp_bjzY`eu].btUwz_AUjxz^:dy ^:wzjh_
v'jz].baXYwxY\ejh_Wye_9v^®Yy b^:dy^egW3_bj.].^:W\Wywzz^`£¶jzd\wzd\be_b9
`"!¦)
m bd\jlY\jlYZUV§^ whW(s9^:^'_e].btu^'].^:_hY\^:eu_HÂÃbÄnÄnŶÆÇÃbÈÀTT q Á(T <>S.3 begW(bd\jlYyjzYZUV9^Ne_9vtuaX^:Ww
v ^:v·V9jhe_AY¸<d\^:W¡Y\wldyY`a9W¡^:d¡¥ße_AY\^'dy£«wzv^°«Wy^'^TV^EvµY\ejh_H{<´µ9wldwltut^:twzbbtueuv:wxY\ejh_¾£¶d\jz_AYyeu^'dv:wltgvabtgwxY\ejh_
°?W¡^:^TX^:vµY\ejh_»h´ euv ¨XjV^:WN_bjzY.Uh^YNY\wz·z^v'wld\^jl£`W¡Yyd\^:wz].W:©jh9^:_»W¡Yyd\^:wz].Wd\^:W¡YyjzdwxY\ejh_ °«Wy^'^
TX^:vµY\ejh_$bBA´`£¶jhd {xuyhwPWZY\dy^Ewl]W'ztujzswzt© beu^'dwldv begv'wlt©v'jVjzdXe_9wxYyeujz_Hv b^Ev·A§jzeu_AYyeu_b¬wl_9
d\^:W¡Yyjhd\wlYyeujz_¾°?W¡^:^"TV^:vYyeujz_bh´
3 begWNW¡^EvµYyeujz_ªdy^EW¡^:_hYW^X§^'d\e].^:_hYWd\^:wzte@?'^E¾Y\j¾^:<wzta9wxYy^jzabd"wzthjzd\eºY\ b]W'Yyj¾]N^EwzWyabd\^Yy b^
W¡Yyjhd\wzz^©eu].wzvYCjz_"§^'dy£¶jzd\]wl_v'^z<Y\j®xwztegbwxY\^wzbbtueuv:wxY\ejh_"d\^:W¡YyjzdwxY\ejh_eYy bjhaXYC_bjXX^¢£«wzetuabd\^:Wwl_9
Y\j.z^'d\e£¶UWZY\dy^Ewl] d\^:W¡Yyjhd\wlYyeujz_
D
ñ«ëíóßè
eFIH GijKpxOkb@KNS^`PY c%UTS/5 O`hORU^SeM
Ö V§^'d\eu]N^:_AY\wxY\ejh_WN w<z^s9^:^'_¨Xjz_b^aWye_v'taW¡Yy^:d\Wjl£(Y\j B_bjXX^:WNvjh].]"ab_begv'wlYyeu_bPYy bd\jzabh
Ö Yy b^:dy_b^'Y`{Ez(±sbeYµ¸lW'C3 b^r_jVb^:W¢wzdy^§^'dWyjz_wztvjh]NaXYy^:d\W¢eºY\ i ^:_AYyeuab] q¡q ¹ i wz_ X{<(±¬²
jz£].^'].jhdyUh
3 b^ÂÃbÄnÄnŶÆÇÃbÈ»htjhswltYwzWy·¾Wyv ^:Xabtu^'d(egWXegWywzsbt^E¾Xadyeu_bYy b^^'X9^:dyeu].^'_AY\W:NTVjY\ b^'d\^.euW
_jbd\^'^'].XY\eh^bd\jVv'^:W\W©].euzdwxYyeujz_wz_.bd\jVv'^:W\W¡^EWCwld\^pWybdy^Ewz£¶jztutujxe_b(Y\ begW©d\abt^ AwWyjz_dyjXv^EWyW
d\ab_W®jh_¾_bjXX^
n+ 1 ]NjXXatj N N s§^'eu_bYy ^Y\jlYwlt_Vab]"s§^'d(jl£_bjXX^:W(wl_9
nY\ b^._bjXX^N beuv
jhW¡Y\W3eY\Wwzdy^:_AYbd\jXv^EWyW:
¹ b^Ev·V9jhe_AYyeu_bYyeu].^:W3d\^:WyabtºY£¶d\jz] Yy ^(w<h^'dwlh^rjl£C "v'jz_Wy^:v'aXYyeuz^®].^:wzWyabd\^'].^'_AYW'
o
^:W¡Y\wzd¡Y\e_
Y\e].^ whW3s9^:^'_].^:whW¡abd\^:¦wx£¤Y\^'drd\^'s§jVjlYyeu_bN^:whv ¦_bjXX^EW3jl£Yy b^v'ta9WZY\^'dE
Ù
abd\e_bH^'V§^'d\eu]N^:_AY\W:¢]wl_VU$W¡Yyjzdwlh^¦wzbbd\jhwzv ^:W w<z^s9^:^'_»aWy^:n¨3 b^p³CT»v^:_hY\d\wzte@?'^E
Wy^'d\z^:d"aWy^:$YyjHWZY\jzd\^¦v b^Ev·V9jhe_AY"9t^EW"egWN^VYy^:dy_wzt¢Y\j¾Y\ b^vtuaW¡Yy^'dEH½À b^'_¯Yy ^v bjAW¡^:_W¡Yyjzdwlh^
wzbbd\jhwhv euWYy ^®a9W¡^®jl£Yy b^®_bjXX^:WtujXv'wltR wzd\¦Xd\eh^:W¢£¶jzd\].wlY¡Y\^:a9W¡eu_bYy b^ 4¦9t^'¥ßWyUXWZY\^']VYy b^
v ^:v·V9jhe_AYtu^:Wp]"aW¡Yps§^]wl_VawzttuU¦v'jzbeu^:jz_¬wztt_bjXX^:Wrjl£Yy b^WZY\jzdwlz^(s§^£¶jhdy^Y\ b^d\^:W¡Yyjhd\wlYyeujz_
v:wl_¦Y\wz·z^(btgwzv^h
eF noKNM `hM
q
_MwHdWZY^'X9^:dyeu].^'_AY:^¾ w<h^¬vjh]N9wld\^:¯YZj¯v b^:v·V§jzeu_hY\e_$wltuzjzd\eYy b]WA¾Y\ b^¬dW¡Yjz_b^¾euW
Y\d\w<h^'dW¡eu_bYy ^Yyd\^'^jz£rbd\jVv'^:W\W¡^EW®£¶dyjh] Y\ b^d\jVjlYwz_ªv b^Ev·A§jzeu_AY\W^Ewzv ªbd\jXv^EWyWjh_b^wl£¤Yy^'d"Yy b^
jzYy b^:d:zYy b^rWy^:v'jz_Njh_b^euW©Yydw<z^:d\Wye_pY\ b^3Yyd\^'^rjz£§dyjXv^EWyWy^:W:zWy^'_be_b_jz_.sbtujVv·Veu_bbd\jXv^:W\WCv b^Ev·h¥
§jzeu_AYdy^EfAab^:W¡Y\W.wl_9Y\ b^'_¨3wleYyeu_b£¶jzdwhv·A_jxt^EXz].^'_AYW' m Wwzbbtueuv:wxY\ejh_¯bd\jXv^EWyWy^:Wwzdy^XegWZ¥
9wxY\v ^:¨jz_Yy b^XeR^'d\^'_AY_bjXX^:Wjl£Yy ^PvtuaW¡Yy^:d:pWy^'_9Xe_$_bjz_ sbtjXv·Veu_bv b^Ev·A§jzeu_AYd\^:fAab^:W¡Y\W
j§^:d\W¢jl£v'jzabdW¡^ps9^'Y¡Yy^:d3dy^EW¡abtY\W¢Yy 9wl_3wleYyeu_b"Wy^:fAab^:_hY\euwzttuUN£¶jzd^:wzv bdyjXv'^:W\W¢v b^Ev·A§jzeu_AY: o ^:WyabtY\W
£¶jhdwz_wlbbtuegv'wxY\ejh_vjh]N§jhWy^:Njz£©{:}(bd\jXv^:W\Wy^:W©wzdy^pWy bjx_.eu_³ehabdy^ Bj"W¡Yya9XUWZY\jzdwlz^WyUXWZY\^']
eu].wzvY:h^3 w<h^aWy^:.w(p³CTNv^:_AYydwltue"?:^:NW¡^:dyh^'djzdY\ b^tjXv:wltbXegW¡·"jl£R^:wzv .vtuaW¡Yy^:dC_bjXX^z o ^:WyabtY\W
b^'].jz_W¡YydwxY\^3Yy b^`e_AY\^'d\^:W¡Y¢jl£RYy ^pwzd\wzttu^'twzthjzd\eºY\ b]Éwz_Wy bjxY\ wxYeºYeuWaW\wlsbtu^aWye_bwv^:_hY\d\wztº¥
e@?'^Etu^"W¡^:dyh^'dEÁp£©vjhabd\Wy^zbYy b^"W¡Yyjhd\wzz^WyUVW¡Yy^:] 9wzWrwz_e].whvµY:§W¡jeY`Wy bjzatus§^eu_hY\^'d\^:W¡Yyeu_b.Yyj
Y\^:W¡YreºYrjh_w.XegW¡Yyd\esbabYy^:¦tu^WyUVW¡Yy^:]
m W¡^Evjz_9¦^'X9^:dyeu].^'_AYp whWxwltueubwlYy^Ejzabdrd\^:W¡Y\wzd¡Yr].^Ev wl_begWy] jz_¬wN£¶^:^:dp_Vab]s9^:drjl£C_bjXX^EW'
m _wlbtegv'wlYyeujz_vjh_W¡YyeYyaXY\^:.jl£C{E}(bdyjXv'^:W\W¡^EWdyab__be_jz_ B_bjXX^EW© whW©s§^'^:_v b^:v·V§jzeu_hY\^:n3 b^:_
Y\ b^wzbbtueuv:wxY\ejh_¬ wzW`s§^'^'_¾dy^EWZYwldyYy^:jh_PXnjhd B¦_bjXX^:Wp£¶d\jz]Yy b^.Wywz].^v b^Ev·A§jzeu_AY:§aWye_bYy b^
tujXv'wztbXeuWy·jz£§^Ewzv v'ta9WZY\^'dC_bjXX^jhdYy b^^'AY\^'d\_wltX`³TNWy^'d\z^:d£¶jhdYy b^rW¡Yyjhd\wzz^h³ehabdy^r ®Wy bjxrWYy b^
d\^:WyabtY\W:
Ù
abd\e_^'V§^'d\eu]N^:_AY\W:h^Ewzv bd\jXv^EWyWjl£nY\ b^`9wldwltut^:t§wzbbtueuv:wxYyeujz_dyab_9W¢jh_Yy b^®_bjXX^
n+ 1
eYy
n
Y\ b^_bjXX^( bjAWZY\e_bNeY\W3wzdy^:_hYbd\jXv^EWyW:
q
YegWYy b^jzdW¡Y3v:wzWy^p£¶jhdY\ b^d\^:W¡Y\wldyYyeu_bNwltuzjzd\eYy b]
Wyeu_v^wNbd\jXv^:W\Wv'wz_b_bjzYrs9^d\^:W¡Yyjhdy^Eab_AY\eteºYWwld\^'_AYbd\jXv^:W\W3egWdy^EWZY\jzd\^:n©3 9wxYregW VUYy ^'d\^euW
wN^:wz·XeR^'d\^'_9v^aWye_.`³CT¦Wy^'d\z^:d3jzd3Yy ^tjXv'wztXegW¡·XW3jl£^:whv v'taW¡Yy^:d_bjXX^z
m Y\ bedP^X9^:dyeu].^'_AY wzW(s§^'^:_ªXjz_b^NY\jxwztegbwxY\^NYy b^W¡Yyd\^:wl] dy^EWZY\jzdwxYyeujz_ i d\jVv'^:W\W(wzeºY\e_
eu_wWyUXWZY\^'] v:wltutv'wl__bjlY3s9^v b^Ev·V9jhe_AYy^EsVUY\ b^vabd\dy^:_AYeu].bt^:].^'_AY\wlYyeujz_jl£Y\ b^(bd\jVv'^:W\W3WZYwxYy^
^'VYydwzvµY\ejh_H]N^Ev wl_euWy]2dyjxVegX^:HsVUÂÃbÄnÄnŶÆÇÃbÈ©¾3 VaW"eY]wz·z^:W_bjlY.vabd\dy^:_AYytuUP§jhW\W¡eusbtu^Yyj
v ^:v·V9jhe_AYpd\^:wztjzd\tuwzbbtueuv:wxYyeujz_9W' m W`WyjVjz_¬whWYy euW`teu].eºYwxY\ejh_¬etuts9^NW¡jhth^:n§^W¡ bjhabtgs9^
wzsbtu^.Yyj¬v b^Ev·A§jzeu_AYe_baWZY\dyegwltwlbbtuegv'wxY\ejh_W:³bjzd"_bjx^. w<z^NYy^EWZY\^:Hjhabdjhdy·Pwls§jzaXYjh9^:_
C0D öFEGHI
³euzabd\^ B0A¹jAWZYpjz£Cwldwltut^:twlbtegv'wlYyeujz_¬v b^Ev·V9jhe_AYyeu_baWyeu_bWy^:fAab^'_AY\euwztjzdpwldwltut^:twltuzjhdyeYy ].W
wz_XeR^'d\^'_AYpW¡Yyjhd\wzz^`WyUXWZY\^']W:¹ b^:v·V§jzeu_hYrWye"?:^(euW} B.±¾²`
³euzabd\^ A¯¹jhW¡Y¦jz£wlbtegv'wlYyeujz_d\^:W¡Y\wzd¡Y\e_bjz_Mbpjhd,B¯_bjXX^:W¦£¶d\jz] Yy b^HW\wl].^Pv b^Ev·V9jhe_AY:
¹ ^:v·V9jhe_AYrWye"?:^®egWr} BN±¬²®
D
ñ«ëíóßè
W¡Yyd\^:wz]W(dy^EWZY\jzdwxYyeujz_Pjz_ªwl_H^EW¡§^:v'euwzttuU¾d\eºYyYy^:_$wlbbtuegv'wxY\ejh_3 begWwzbbtueuv:wxYyeujz_HegWvjh].9jAW¡^EPjz£
YZjbd\jXv^EWyWy^:W°«w¦wld\^'_AYpbd\jXv^EWyW®wl_¬eºYW®Wyjz_§´µ(³eudWZY(w {xuyhw.¦W¡Yyd\^:wl] egWpjh9^:_b^:9Y\ b^'_
Y\ b^¬v beutu»bd\jXv^EWyW.Wy^'_bWbwxYw¾Y\jªeºYW.wld\^'_AYsVU$Y\ b^¬WZY\dy^Ewl]Yy b^wzdy^:_AY.dyeu_AY\WNYy ^dy^Ev^'euz^E
wxY\w wlYy^:d:XY\ b^vjh].]"ab_begv'wlYyeujz_egWrWZY\jzb§^:H°«sbaXYrY\ b^"W¡Yyd\^:wl] dy^:].wze_9Wjz§^'_9´Y\j]wl·z^wfAabeYy^
tujz_vjh]NaXY\wlYyeujz_¾Xadyeu_b begv ¾w¦v b^:v·V§jzeu_hY`euW®Wyw<h^:n m Y`Y\ b^"^:_¬jz£CYy b^Nvjz].babY\wxY\ejh_§Yy b^
v etgbdyjXv'^:W\WW¡^:_bWrWyjz].^bwlY\wYyjeY\Wrwld\^'_AYYyj^:_Wyabdy^®Y\ wxYrY\ b^"W¡Yyd\^:wz] euWpWZY\etutjh9^:_ m YrtgwzW¡Y:
Y\ b^W¡Yyd\^:wl]euWpvtujhWy^:wl_¦Yy ^wlbbtuegv'wxY\ejh_Yy^'d\].e_9wxYy^EW'3 beuWpwlbbtuegv'wxY\ejh_¦ 9wzWs§^'^:_Wyav:v^:W\W¡£¶abttuU
v ^:v·V9jhe_AY\^:Àwl_9¨dy^EWZYwldyYy^:dy^:s9jVjlY\e_$jzd_jlYwztt`_bjXX^:W¦jl£Y\ b^Pv'ta9WZY\^'dE 3 beuW¦^X§^'d\e].^:_hY
xwztegbwxY\^:WY\ b^WZY\dy^Ewl] d\^:W¡Yyjhd\wlYyeujz_
* )&!')
½^© w<h^bdy^EW¡^:_AYy^:`Y\ b^©eu]Nt^:]N^:_AY\wxY\ejh_jl£Vwldwltutu^'tzwzbbtueuv:wxYyeujz_v b^Ev·V9jhe_AYµ¸xdy^EWZYwldyY§].^Ev wl_begWy].W
eu_wv'taW¡Yy^:dTbT q Á(Tn ^:hwhvU"wzbbtueuv:wxYyeujz_9W©v'wz_.Y\wl·h^rwzXxwz_hYwlh^jl£RYy b^EW¡^p]N^Ev wl_euWy]WYyjY\jztu^'dwxY\^
_jVb^`£«wzetuabd\^:W3eu_wNv'ta9WZY\^'deYy bjhaXYrdy^EfAabed\eu_bwl_VU].jVbeº9v:wxY\ejh_jhd3dy^:sbabeutuXeu_b9
m vjh_Ah^'_beu^'_AY(vjz].]wl_9V¥Stueu_b^"eu_AYy^'dy£«wzv'^" whWps§^'^:_PX^EW¡euz_^:Y\jY\dyeuzh^'dp9wldwltut^:twlbtegv'wlYyeujz_W
v ^:v·V9jhe_AY\e_b.wl_9¦d\^:W¡Y\wzd¡Y\e_3 beuWre_AYy^:d¡£«whv^wltutujxrWWyUXWZY\^']e_beYyegwxY\^:v b^Ev·A§jzeu_AY: m tutWyUXWZY\^']
jhsXkZ^:vY\W¢jl£wwzd\wzttu^'t9wlbbtuegv'wxY\ejh_v'wz_s9^®X^Y\^:vµY\^:.£¶d\jz] Y\ b^pegX^'_AY\eº^:d¢jz£ *& jz£nYy b^®wlbbtuegv'wxY\ejh_
dyjXv^EWyWy^:W:ª½^ 9w<z^eu].btu^'].^'_AYy^E¯wPztujzs9wlt3vjVjzdXeu_wxY\^:$v b^Ev·V9jhe_AYyeu_bHWZY\d\wlYy^:zUz$±¬jzd\^'jxz^:d
^.wld\^wlst^NYyjd\^:W¡Yyjzd\^v'jz].]"a_beuv:wxY\ejh_PW¡Yyd\^:wl]W`eºY\ bjzabYwz_VUjxz^'d\ b^Ewzwx£¤Y\^'d(d\^:W¡Y\wldyYyeu_bW¡eu_v^
bed\^:vYv'jz].]"a_beuv:wxY\ejh_¾egW(bdy^EW¡^:dyh^:¾s9^'YZ^:^'_Hvjz].]ab_begv'wxY\e_¦bd\jXv^EWyWy^:W®^'h^'_eº£bd\jVv'^:W\W¡^EW(wld\^
_jlYdy^EWZY\jzd\^:jz_Yy b^:edjhdyeuzeu_wzt§^'X^:vabYyeujz__bjXX^z
³abd¡Y\ b^'d\].jzd\^zA^` w<z^^'X9^:dyeu].^'_AYy^Ewbd\jlY\jlYZUV§^re_ÂÃbÄnÄnŶÆÇÃbÈjh9^:d\wlYyeu_b"WyUXWZY\^'] begv
b^'].jz_W¡YydwxY\^:WYy ^^veu^'_v'Ujz£Yy ^wldwltut^:tv b^:v·V§jzeu_AYyeu_bNwzthjzd\eºY\ b] wlAwleu_W¡Yw.Wy^:fAab^:_hY\euwztne]N¥
t^:]N^:_AY\wxY\ejh_ m wzd\wzttu^'t§wlbtegv'wlYyeujz_v:wl_s§^`d\^:W¡Y\wzd¡Y\^:.^'h^'_e£Wyjz].^p_bjXX^EWwzdy^pjzaXYjl£jzdX^:dwxY
d\^:W¡Y\wzd¡Y\e_Y\e].^h3³eu_wltutuUzbY\ b^d\^:W¡Yyjhd\wlYyeujz_jl£Cjz§^'_W¡Yyd\^:wl]W° *(/´ wzWs§^'^:_xwltueubwlYy^E
sVU^'X9^:dyeu].^'_AY\W:
¹abd\d\^'_AYytuUzYy b^a9W¡^:de_AYy^:d¡£«whv^egW_b^Ewld\tU¾v'jz].btu^Y\^sbaXY"eY"XjV^:W_bjlY"Wyabb§jzdyY"Uz^'Y9^:dyeujXXegv'wlt
wzbbtueuv:wxY\ejh_¾v b^:v·V§jzeu_AY:(3 b^d\^:W¡Y\wzd¡Y®wltuzjzd\eYy b] egWpwzd\wzttu^'tue@?'^:¾wl_Y\ b^Nwldwltut^:te@?:wlYyeujz_jz£©Yy b^
v ^:v·V9jhe_AY\e_bNwltuzjhdyeYy b] egW3wzWs9^EWZYrwzW^`v:wl_¦Wyeu_v^®^(XjN_bjlY33wl_AYY\jNv'^'_AYydwltue@?'^peu_X£¶jhdy]wxY\ejh_
wzs9jhaXY begv dyjXv^EWyWy^:W_b^:^:X^EY\js9^v ^:v·V9jhe_AY\^:n
¹ b^Ev·V9jhe_AYyeu_bwz_dy^EWZYwldyYyeu_b.dy^Ewlt± i©q wlbtegv'wlYyeujz_WrWy bjhabtus§^"§jhW\W¡eusbtu^W¡jVjh_3 ^]wleu_
dyjhsbt^:] egW"wtueu]NeY\wlYyeujz_ªjz£Y\ b^dyjXv^EWyW"WZYwxYy^^'VYydwzvµY\ejh_H]N^Ev wl_euWy] <u{:}>bd\jxVeuX^EsAU$ÂÃbÄ
ÄnŶÆÇÃbÈ euv euWr_bjlYrwlst^®Yyjv ^:v·V9jhe_AYrwNbd\jVv'^:W\WwzeºY\e_b.eu_wNWyUXWZY\^'] v:wltut?
½^`tuwz_YyjN^X§^'d\e].^:_hYjz_¦tuwzdyh^'dv'ta9WZY\^'dW©Y\j"^'xwztawlYy^`Yy b^(W\v'wltgwlsetueºYZU.jz£jzabd3wlbdyjAwzv wl_9
eYy d\^:wztne_baWZY\dyegwltwzbbtueuv:wxY\ejh_W'C½^wleu]wlYre_AY\^'zdwxY\e_jhabddy^EW¡atºYW3e_Yy ^babsbtuegv(dy^:t^EwzWy^ <u{>
jz£pÂÃbÄnÄnŶÆÇÃbÈHW¡eu_bht^WyUVW¡Yy^:] eu].wzz^(jz§^'dwxY\e_.WyUXWZY\^']
Á`abd¢£¶aXYyady^`jhdy·etut£¶jXv'aW¢jh_W¡ 9wld\^:.].^'].jzd\U.wlbbtuegv'wxY\ejh_v b^:v·V§jzeu_AYyeu_be_¦W¡eu_bztu^pWyUXWZY\^']
eu]wlh^jz§^'dwxY\e_WyUXWZY\^']W.wl_jz_eu].btu^'].^'_AYyeu_bHjlY\ b^'dNd\jztutswhv·¸<d\^:vjxh^'d\U¾W¡YydwxYy^:zeu^:WNW¡a9v ¯wzW
tujzhzeu_bNYyjwzttujx dyjhzdwl].].^'dW¢Y\jWy^'tu^:vµYpYy b^"W¡YydwxY\^'hU begv euWrYy b^].jhdy^wzbbd\jzbd\euwlYy^®YyjYy b^:ed
wzbbtueuv:wxY\ejh_
C0D öFEGHI
# (/&* !"74
A½^¦jzatuªtueu·z^Y\j¬Y\ wl_b·
i
whWyv:wlt
×
wzttgwld$wz_
o
^:_wla jlYyYyegwlaXª bj
9w<z^. b^'tu§^:Yyjeu_AYy^:zdwxYy^.Y\ b^bd\jz§jhWy^:Pwzd\wzttu^'t©wzbbtueuv:wxYyeujz_ªv b^Ev·V9jhe_AYµ¸xdy^EWZYwldyY®].^Ev wl_begWy].W
eu_Y\ b^NÂÃbÄnÄnŶÆÇÃbÈ$jz§^'dwxY\e_bWyUXWZY\^']p3 begWrjzd\· 9wzWrs§^'^:_¬wzd¡Y\euwzttuU£¶a_X^:¬sAU
Ù(×(m ab_9X^'d
Y\ b^¹Á¹ m7i©Ö¢m v'jz_AYydwzvY:
x3¦&
<{> Õ ^:dyd\euz b^E^'sWyeºY\^z® AY¡Y\;A¸z¸<·z^:dyd\euz b^EnjhdyX¸V
<>lÁ`§^'_§TbT q ^:sW¡eYy^h( AY¡Yy.Aí¸h¸<jz§^'_W\W¡eSjzd\V¸V
<>"¹`±¬jzd\e_
o jlYyYyegwlaXn
× ¼ wzttuc'^h
i × wltutuwzd\n
Ù
±¬wzdyh^'d\Uz ¥n²^'dyYy bjhawl_
q
TXv X¥
^:d\Wyjz_
Õ
^'d\dyeuz ^:$wz_bwlY\wPwldwltutu^'tueuWy] A¹tuaWZY\^'dvjh].baXYyeu_bjz_ÀTVeu_bztu^TXUVW¡Yy^:]
q
]wlh^
jh9^:d\wlYyeu_bW¡UXW¡Yy^:].W:`e_
*(*4+ !(
4b
qôÖ©Ö©Ö
RTV^'XYE9lhB9
<B > Ö
R"§±$
Ö
tu_bj?:wl VUh
m
tuVeuWyeSN¥ô±ª§½wz_bRwl_
Ù
R²®hjz b_Wyjz_
m
Wyabdyh^'U¦jl£©d\jztutswhv·A¥
d\^:v'jxz^:dyU¬dyjzYyjXvjhtuWeu_$].^:W\W\wlz^'¥S9wzW\W¡eu_bW¡UXW¡Yy^:].W: # + + * 3( , ( CzjztS B_bjb
A|z Bhz~VzzAX
< >9
^'jh_
m
n³euWy b^:d:Rwl_
i
TAY\^'^:_b·VeuW¡Yy^h<³9wleutº¥ZTXwl£¶^
i©¼
± A m
§jzdyY\wlst^wzv·xwlh^£¶jzd®XegWZ¥
Y\dyeusbaXY\^:bd\jzhd\wz]N].eu_bNeºY\ ¦Y\d\wz_Wywld\^'_AY3dy^Evjxz^:dyUhp^:v
o
^'un{ z
<}> × TAYy^:ttu_b^:d: l¹jV¹ b^Ev·$A¹ ^:v·V9jhe_AY\e_b¬wz_bd\jVv'^:W\W(].ehd\wlYyeujz_P£¶jzd"± i¢q e_ ,! "#$
*(7 *%- 2 - 0&)*&!F!!"! * (F , *(a qôÖ¢Ö©Ö ¹jz].baXY\^'d
TXjVv'e^'YZUz{ h}bAb9 hl}&b l{z
<í|6> m m zs9wld\euwwz_ o V³bd\eu^:X]wl_&\TAY\wzd¡§W¡ ;A³wzabtY¡¥SYyjztu^'dwl_AYbUA_9wl].euv`± i©q dyjhzdwl]WCjz_v'ta9WZ¥
Y\^'dW©jz£jhdy·XW¡Y\wxY\ejh_W:3e_('
-
0&)*&!
,
*6(a **) 56- +* &(,
:* ( 7 +* 3(
jhW
m
tuwz]NeYyjAW'n{ b
<~> m X²jhaXYy^:etutu^'dE Ø ¥ V²jza?:euwz_b^z i ^']wld\eu_be^:d:A( Ø c'dwlatºYEAwz_³¹wlb§^'tuj Ø UVsbdyegbd\^¥
^:].XYyeuz^(Wyv ^:Xabtueu_b£¶jhd].benwlbtegv'wlYyeujz_Wjz_Yy b^®zd\egbW' i d\^:Wy^'_AY\wlYyeujz_eu_ xYy qôÖ¢Ö©Ö ¸ m ¹±
q_AY\^'d\_wxY\ejh_wltn½jzd\·XW¡ bjhjh_ × d\eu¬¹jh]NaXYyeu_bbpjxz^:]"sbd\^(zz B
<> × -R b^'_b9 TV beSwl_ ¼ Õ wztch<³p¹¢¥¡¹ wld\] A m _¾eu_X¥ß].^'].jzd\Uv b^:v·V§jzeu_hYy¥Ss9wzWy^:
£«wzabtYCYyjztu^'dwl_AYCd\ab_AYyeu]N^£¶jhd¹ wld\] ¨wl_N± i©q e_ 4./ 0&)*&!;+*0&(
* + !( +* ( F 9TXwz_ Ù eu^:wlhj9¹ m 9TV^'bYy^']s9^:dplhB
<u{:>TnxTbwl_b·xwldwl_&9<±ªlTXfAabUVdy^EW'x²®E²3wzdyd\^YyY: m a].W\bwze_b^h Ù ab^'tut? i Ø wld\zd\jxz^zEwl_ Ö o jl¥
]wz_.y3 b^ m ±¸x± i©q v b^Ev·A§jzeu_AYµ¸xdy^EWZYwldyY©£¶d\wz].^'jzd\·&ACTVUXW¡Yy^']N¥ße_eºY\euwlYy^:v b^Ev·V9jhe_AYyeu_b9
eu_ * (7F2143.# + , , *6(a 9TXwz_hY\^³b^hr^:M±^'Vegvj9 T m RÁ®vYyjzs§^'drzzz
<u{z{> m 9²jzabYy^'eutut^:d:b³§¹wzb9^:ttuj9( Ø c:d\wzabtºYE × Õ dw<^?'eu·R i ^']wld\eu_be^:d:bwz_³±¬wlh_beu^Y¡Y\^z
<± i©q ¹ Ø ¥¼ Aw"£«wlatºYYyjht^:d\wz_hY3± i©q £¶jhd3zjztgwxY\etu^p_jVb^:WswzWy^:jz_§^:W\W¡eu].euW¡Yyegv®W¡^:_X^'d3swhW¡^E
].^EWyW\wlh^©tjhzhe_b9¢eu_ ) 5 - +*4&( */F &7 +* 3( 65, + 4.78x i bjV^'_be
T m A qôÖ©Ö©Ö ¸ m ¹±ªpjxz^']s9^:dplhzb
D
ñ«ëíóßè