P submits P in three worlds

C (2) State Transition

Continuations

n Á ë std6z{l^hb6[xzjo[x\Nluckjuzqbcklvi

Ó8Á

NNzj\3y `b6[zj

[x\luckjzqbckl«vi

uzqd^hzjqckj[ckj^hc/zq~³l[x\6^em\6\6[zjv%ck|z´8Nc/Y_qcjiyv%ced6ckl b6Yuc^3Yuz[x^hc^hzj\bd3m^hb6\[xjw`d6z

dt_qyA\ - _qjl

uzqdZb6Ycck_q\6c)zq~®l[]\6^e\6\6[xzjº´Ncjyv%cedb6Yuc)^3Yuz[x^hcjziluck\Nzq~ - _q\ -A ´ -f7 _qjl - ircluckjuzqbcb6Yuc

^hzjb6[xjm_ab6[zj\¦_abb6_q^tYucklbzck_q^tYfNzqd3|xl_q\

Ô _qjl Ô 7 []job6Ycy|b6[±zqd3|]lº®XYuckj - \b6_ad6b6\bzA[x\6\3uc_^tYuz[x^hc)Y[]^3Yym|b6[`m|x[xck\bzA\6[golm[ced3ckj8b

Nzqd3|xl\e«È\ - `d3zilm^hck\

_qjl è [xjªzjcwvd3_qjm^3Y½_qjl

_qjl

[xj¬_qjuzqb6Yucedk´}v%ce~ zqd6c - ^hzyAyA[b6\[xj

_qjzq~[b6\vd3_qj^tYuck\e´^tYuz[x^hc Ô 7 Ä\|ce~ bZvdt_qj^3Y«^e_qj^hzj\6yAc

_qjl«^hzyAyA[xbeXZYuc^hzywyA[b_qllm\b6Yuc

[xju~ zqd3yA_ab6[xzj×eØ[Û°Ë bzwv%zqb6Y«Nzqd3|xl\k´mYuckj^hcb6YucN¨\bce`^e_qjv%cf_a``m|][cklbzw`md3juc)zab6YcfNzqd3|xl\

\6uvmbd6cecq´ ^hzywyA[b6\[xjANzqd3|xl Ðd3\6b_qjlluck|cebck\NNzqd3|xl ^e_qj_q|x\z

^hzyAyA[xb/[xjb6Yucb6Ycd3[

Y8b/vd3_qj^tY«zq~b6Yuc -A

\6uvbd6cecq´%\6[]j

_¨\bce`bz`md3juc)zab6Yc|ce~ b/\3uvbd6cec

zq~ -A

[xj^hc - juz Y_q\

^hzyAyA[xbbckl[xjª_q|]|Nzqd3|xl\An ) _qjl =G st }[xj_q|]|q´³b6Yucw|xce~bvmd3_qj^3Yzq~Z^3Yuz[]^hc 7 [xj Ô ^hzyAyw[b6\Ym[x^3Y

¢{[x|x|x\zqd3|]l =G \zb6Yuced6c[x\Nzj| zjcd3ckyA_q[xj[xj

zqdt|xlºXZYuc\`%ck^e|x_ab6[zjo[b6Ym[xjAb6Yuc^3Yz[x^hck\ckjl\u`

[b6Y_wluceÐmj[bcd6ck\3|be

µ (* . ¸?¯??4[»ª ©Z.¸º5604 ,Pß0,\ª®ªå5¤¸

XZYuc¢qce[x\6\6cozq~^hzyAyA[b [x\Yckj½_¬×kØCzqd×Ò[x\chg{ck^eubcklÁ[xj\zyAczqd3|]lº´Y[x^tY½zqb6YucedANzqd3|xl\

`d3mjuc)_qjlYuckjbzw`d3jucb6Yucky«

P1 P2

C2

1 2 3 4

3 1 2 4

C1

P3

5 6

}[

d6c utiÙÈ ym|b6[±Nzqd3|xl

uzqdb6YucA`©ud6`%z\czq~l[x\6^e\3\6[zjº´ºNcAchg{bd3_q^hbfzub_«y|b6[±Nzqd3|xl~ d6zy® }[

àu~_qjlª\3Yuz°[b_q\

}[

áutiÈ\ZNcf^e_qj\cecq´mb6Ycf^3Yuz[]^hc[xj

-^e_qj«v%cfl`m|x[x^e_abckl[xjbzwl[ced6ckjbZ`m_ad3b6\zq~b6Yucbd6cecq´_qjl

b6Yuck\c/^3Yuz[x^hcjuz{luck\Y_qc/l[%ced6ckjb[xl\e´_q\b6Yuce _ad6c^hd3ck_abcklo[xjwl[%ced6ckj8bNzqd3|xlm\_qjlAYuckjm^hcZv%ck|zj

l[%ced6ckjb 6Z7- u 6 Ã

uv©\cckj8b6|wzqb6YucedZ`d6z

dt_qyA\b6Y_abZ_ad6c[xjbced3_q^hb6[xj

[b6Y\bzqd6ck\PJK/b6Yd6z

Y£Ê¥Ê

^e_qj_q|x\z[x\6\6cf^3Yuz[]^hck\)_qjl~pud6b6Yced/chg{`m_qjlb6Yucbd6cecqXYuc^hzizqd3l[]j_abckl^hzywyA[bNzqd6¢{\_q\/~ z|x|z\e

È ^hzywyA[bzq`cedt_ab6[zjjuzqb/zjm|yA_ab6^tYuck\[b6\[xl\ijb6_q^hb6[x^e_q|x|x[b6Yb6Yuc ^3Yz[x^hc \bd3^hb6ud3c[bv%ck|zj

bzu´%vmub_q|]\zoyA_a`©\/[b6\6ck|~}bzwb6Yuc\6^hzq`%c[xjY[x^tY«b6Yuc^3Yuz[]^hc_q\Ðmd3\b/|]_qj^3Yckl[xjbzu¨ uzqdchgu_qy `m|cq´

[~_^hzyAyw[b [x\chgick^eubckl¯[xjzjczq~b6YucNzqd3|xl\jluced juz{luc -Jâ [xjÕ }[

uti´b6Yckjzj|\zyAczq~

b6Yuczqdt|xl\jluced -Jâ \6Yuz|xlv%coluck|cebckl_qjl½juzqbzqdt|xl\jluced -ã zqd - [xj¬b6Yucbd6cecqrXZY[x\[x\

_q^e^hzy `m|][x\6Yucklwvb6Yuc^3Yuz[]^hc/[xlo\b6_q^6¢´

Vä ê ´{[]j ck_q^3Y`d6z

dt_qyÏ^hzjb6[xji_ab6[zjºÈR^hzyAyw[b_q|_k{\N\ck\

b6Yuc[xlzq~}b6Yuc[]jjuced¨y z\6bZ^3Yuz[x^hc^hzj\bd3^hbb6Ym_ab\6ud6d3zjl\Nb6Y[x\^hzywyA[bzq`%ced3_ab6[zjºÈjl«\3[xj^hcb6Yuc

l[%ced6ckjbN[]l\[]jol[ced6ckjb\6^hzq`%ck\eXZYi\Nb6Yucyw_ab6^3Y[xj

zq~®^hzyAyA[b6\N[xb6Ywb6Yuc)^hzqd6d3ck^hb^tYuz[x^hcjuz{luck\[x\

luzjuc_qbzyA_ab6[x^e_q|x|q

rc)~pud6b6Yucedl[]\6^e\6\_~ce-zqb6YucedZ_q|bcedtj_ab6[qck\~ zqdb6Yuc)\ckyA_qjb6[x^e\zq~¡^hzyAyw[be´u_qjl_ad

ucYAb6Yuc

[qckjo\ckyA_qjb6[x^e\[]jA\ck^hb6[zjàu~[x\\ck|ck^hbcklºrc/[x|x|u[]|x|x\bdt_abcb6Yuck\c\ckyw_qj8b6[x^e\N[xjd }[

u ´p }[

,u)

_qjl< ®[

u£i« uzqd)\6[xy `m|][x^e[b¨q´ub6Yc^hzjb6[xjm_ab6[zj\_q\3\zi^e[]_abckl[xb6Yb6YucfNzqd3|xlm\_ad6czyA[bbcklº-Yuced6c

^hzyAyA[xbY_q\v%ceckjchgick^eubcklbz«_\bzqd6c7

´³Nc Zd3[bc×kØ

jmluced*

[xjb6Yck\c Ð

ud6ck\kXZYc\6bzqd6ck\

[b6Yb6Ycf^hzyAyA[b6\Zzq~®[xjbced6ck\b/_ad6cfY[

Ym|x[

Ybcklº

C2

C1

10 11

P3

C1

10 11

cm _C2 P3

cm _C2

P2 P1

6 8 9

C−step

7

}[

ud3c u ÙÈv©\z|xubck|ock_

ced^hzywyA[b

XZYcZÐd3\b¢i[xjmlzq~³^hzyAyA[bN[x\_qj<W4 6- {/.u±å uW " u 5 ^hzywyA[be q ced3cq´b6Yuc/chck^hbNzq~º_f^hzyAyw[b6\Y_q\Njuz

luck|x_qÅ¿~º_A×eØoYuz\6c/[xlA[]\}[x\d6ck_q^tYuckl[xjw_qj zqdt|xlº´b6Y[]\Nzqd3|xlA[x\^hzyAyA[bbckl_qjlo_q|x|zqb6YucedNNzqd3|xl\

[b6Ym[xjªb6Yuc«\3^hzq`czq~/b6Y[x\o×eØ¦´b6Y_abA[x\k´jlucedb6Yuc\6uvmbd6cecd6zzqbcklC_ab

´_ad3c¢{[x|x|xckl¬[xywy ckl[x_abck|q´

|ck_i[xj

£6\bzjuc)Nzqd3|xlmjluced

XZY_abch%ck^hb6[qck|d6cky zqckl_q|x|b6Yuc[xjbced3y ckl[]_abcjziluck\[]j^e|xl[]j

[xjrb6Ym_abf\6uvbd3cecnp\cec }[

Uu stXZY[x\~ zqdfzq~^hzyAyw[bfluzick\fjuzqb\cecky qced3m\ce~ m|\6[xj^hc b6Ym[x\[b

_q|x|z\~ zqdZqced6yA[xjm[xyA_q|[xj8bced6±`m|x_kzq~}^3Yuz[x^hck\k´©_qjlb6Yuc^3Y_qj^hck\zq~_q^3Y[ce{[xj

_w\ce~p|%\`%ck^e|x_ab6[zj

×Òluzick\)juzqb)yA_a¢qcA\ckj\c_q\×ÒyA_d6ce~ ced)bz_^3Yuz[x^hc ^eud3d6ckj8b6|x[xjyA_qjNzqd3|xl\_qjlb6Yuc \{\bcky

luzick\ZjuzqbZ¢{juz Y[x^tYzqdt|xlbzo^hzyAyw[bbzu

È |ck\6\Nck_

ced7 ¢{[xjlAzq~®^hzyAyA[b[x\ÎuW " u 5Z7--5 ¡30B2 W .u ¡ ^hzyAyA[be' uzqdZ_`d3z

d3_qyz¼ÙÙ®æÇ¼3Ê

¼Ëa´u[~

×kØ[x\Zd6ck_q^tYuckl[xj«zjczq~b6YucNzqd3|xl\Yuced6c¼JÊ[x\/chgick^ebcklº´©b6Yckj_q|x|¡Nzqd3|xl\/_q\6\z{^e[x_abckl/[b6Y ¼Ë_ad6c

luck|cebckl[xyAy ckl[]_abck|np\cecw ®[

u) stXZYuc[]luck_ Yuced6c[x\b6Ym_ab\{j8b6_q^hb6[x^e_q|]| ¼Ë)[x\juzqbZ_ {[x_avm|c)^tYuz[x^hc

_qjy zqd3cqAzj8qced3\6ck|q´¡[~×Òr[x\d6ck_q^tYucklrvi<¼Ë[xjr_qjzqd3|]lº´ºb6Yuckjr_q|x|}Nzqd3|xl\_q\6\6zi^e[x_abckl[b6Y¼Ë

_ad6cflck|cebckl[xywy ckl[x_abck|q

zceqcedk´%[xjck[b6Yced/^e_q\ck\e´O¼d6ceb6ud3j\Zzj|o_a~ bced8¼3ÊY_q\^hzywyA[bbckl[]jWB

C2

Nzqd3|xlm\eAXZY[x\b¿`%cAzq~^hzyAyw[b[x\ ¤ck_

dt_qyA\ - _qjl

vd3_qjm^3Yzq~ - _qjlA|ce~ b}vd3_qj^tY zq~

[xjbced3_q^hb_q\ -ë

Ô ë _qjl |][¢qce[x\c~ zqdzqb6YucedNzqd3|xlm\e¡È\6\6yAcZjuzqb6Y[xj

[xj_q|]|¦~ zudzqd3|]l\v©ub/Y_q\3j?b/^hzyAyw[bbcklºÎ&z

\6u`m`z\6c

[bb6ud3jm\/zbe´ - juz#^hzyAyw[b6\)[xjzqdt|xl - ì¡Ô ë Ðd3\6b_qjl¢{[x|x|]\ -ëÔ ë´ºYm[x^3Yd6ckjlced3\ Ô [xj_vm|z{^6¢qckl

\b6_abcq q _ql Ô juzqbZ¢{[x|x|ckl -ëÔuì _qjl - ìÔuì ck_ad3|q´uv%zqb6Y - _qjl Ô yw_k^hzyAyA[bZ[]jzqd3|]l - ìÔuì

È#|]_³e«_q|bced3j_ab6[qc^hzyAyA[xb\ckyw_qj8b6[x^e\[x\b6YucW .u Z7--35 ¡0V2 W . u ¡ ^hzywyA[be q ced6cb6Yuc\i\6bcky zj|x

\b6_ad6bNd6cky zi[]j

Nzqd3|xl\Yuckjo_f`d3z

d3_qy ¼ÙÙ®æg¼JÊ

¼ËZ[b6Yw_^3Yz[x^hc^hzjm\bd3^hbY_q\N^hzyAyA[bbckl[b6\

¼ Ê n zqd'¼ Ë s}vd3_qj^tY [xj WV b6Yczqd3|]l\}[b6YYm[x^3Yb6Yuc$¼ Ê n zqd'¼ Ë s¡vd3_qjm^3Y ^hzjb6[xjm_ab6[zj\_ad6c/_q\6\z{^e[x_abcklº

Å¤jAzqb6YucedNzqdtl\e´{^hzyAyA[b6\N_ad6c/jzqbzj| ^hzizqd3l[xjm_abcklA[b6Ym[xjA_f\3^hzq`cq´ivmub_q|x\z_q^hd3z\6\_q|x|m\6^hzq`%ck\b6Y[x\

`d6z

dt_qyÎN_q\_q\3\zi^e[]_abcklr[b6Yºw uzqdchgu_qy `m|cq´¡[xj> ®[

u£i´¡zqd3|]l\ ) ´e_qjl â(â _ad6c zj|xd6cky zqckl

Yuckj_¨\bce`½×Ò[]j«`d6z

C2

C1

10

P2

8 9

C−step

P1

7

8

C2

6 P1 cu P2

cu

cu P3 6

10 11

P3

C1

}[

ud6c u£iÙN¥¦_abcf^hzizqd3l[xjm_abckl«^hzyAyA[b

{[ce´u[b[x\jlm|A^hzj\ced6a_ab6[qc[xj^tYuzq``m[xj

b6Yuc)bd3cec)Y[x^tYyw_k^e_q\c)b6Yuc)y|b6[±Nzqd3|xlobz v%cbziz

|x_ad

cqÈbb6Yuc/\3_qy cb6[xyAcq´8b6Yuced6c[x\_f`zqbckjb6[x_q|m`d6zqvm|cky#YuckjAzjcvd3_qjm^3Yw^hzjb6[xji_ab6[zjwzq~?¼^e_qjjuzqb

`d6z{^hcecklbz^hzywyA[blucfbzvm|z{^6¢{[xj

´%juzozqd3|]l\/lmucfbz¼w^e_qjv%cd6ckyAzqckl~d3zy<b6Ycy|b6[±Nzqd3|xl³

Å¤j_^hced6b6_q[xj\ckj\cq´b6Yuc|]_³e«^hzzqd3lm[xj_abckl^hzyAyA[b[x\ZÐmjcvmubyA_k«juzqbv%c`d3_q^hb6[]^e_q|¡\6[]j^hcb6Yuc\6[´³ec

zq~}b6Yucy|b6[±Nzqd3|xlyA_v%c)bzizw|x_ad

XZYc^hzywyA[b\ckyA_qjb6[x^e\[xjbd6z{l^hckl[xj

ck^hb6[zj?u~^e_qjAvc^hzj\3[xluced6ckl_q\_)^hzy `d3zyA[x\cv%ceb¨Nceckj

b6Yucck_

ced^hzizqd3l[]j_abckl^hzyAyw[b_qjlb6Yuc|x_abc^hzzqdtl[xj_abcf^hzywyA[beÅ¿bluzick\juzqb/¢i[x|]|%b6Yuc_q|bcedtj_ab6[qc

^3Yz[x^hcmj8b6[x|º×eØzq~ºb6Y[]\^3Yz[x^hcYm_q\v%ceckjwd3ck_q^3Yuckl[xjw_q|]|Nzqd3|xl\[xj b6Yuc\6^hzq`%czq~ºb6Yuc^3Yuz[]^hc^hzj\6bd3^hbe

XZY[]\\z|xqck\ luck_ql|z{^6¢¬`d6zqvm|cky ^e_q\cklvick_

cedo^hzzqd3lm[xj_abckl^hzyAyA[be´luce`m[x^hbckl[xj½b6Yucchgu_qy `m|c

_av%zqcqÈbb6Yuc \6_qy c b6[]y cq´³[b)luzick\)juzqbzqced¨luck|]_kb6Yucd6cky z _q|zq~b6Yuc Nzqd3|xl\\zb6Y_ab)b6Yuc \6[µ³eczq~

b6Yucfy|b6[±zqd3|]l^e_qj«vc^hzjb6_q[xjuckly zqd6c)ch%ck^hb6[qck|q

µí9î ïBðñ?òó#ô?õZö1ðñ

XZY[]\^tY_a`bced[xj8bd3zilm^hckl_qjªckjY_qj^hckl`d3z

d3_qyAyA[xj

yAziluck|}~ zqd²¢ijzjr_q\)b6YcA\`%ck^e|x_ab6[qc

y z{luck|Å¿b

zick\vceqzjmlb6Yucvm_q\3[x^wy z{luck|N[xjbd6zilm^hcklck_adt|x[cedv

ckjced3_q|x[´³k[xj

b6Yucck_ad3|ª^hzywyA[b¤

l[x\6bd3[vmubcklzqd^hzj^eud6d6ckjbf\`%ck^e|]_ab6[qc `d6z

d3_qyw\ewrc\6Yuz°YuzÏ\`%ck^e|x_ab6[zj\f\6[xj

ckjucedt_q|x[´³eckl

^hzyAyA[xbbckl ^3Yuz[x^hc[x\®\ce~p|bz)\z|qc_^e|]_q\6\®zq~m`d6zqv©|ckyA\³/Y[x^3Y^e_qjjuzqb}v%c\z|qcklvfzqb6Yucedy ceb6Yuz{l\e

[qc/_\ckyA_qjb6[x^e\bz~ zqd3yA_q|x[´³ecb6Yuc/lu{j_qyA[]^e\zq~ºb6YucE÷fZd3mj8b6[xyAcZ\bd3^hb6ud3cq´i_qjlo[xj `m_ad3b6[x^e|x_ad

_qllud3ck\6\b6Yuc¢qce[x\6\3uczq~}^hzywyA[bZ\ckyA_qjb6[x^e\e

ý&þ ÿ þ

ý !"#$

%'&)(+*-,.&0/21)3547698:1)6<;=1>;?*54@*:/BAC47DE/=(FAGEH4@EH;=6<IJ(+A)KC4MLJ*5356.N),M3<N)6<49OP;=6:/2QR*5356./=,M3:6<47S?(T;?A)*VUP;=QXW54@,M3<*ZY

D[&)(+,.&\E-/@IG&)4@/@]X(F^TI_;`]=476Z^F/21bac%'&C4@*54d;=QXWe4@,M3<*f/26.4g5KCIXA)/=E(+,7hB/=*:3<&C47I\&)/`]=4V6<4@^F/23<(T]=4@^TIJ*.&C;=6<3!^+(TOi4

*510/=Abaj%'&C4HAC;k]=4@^OP4@/23<NC6<4(F*l3<&)/23m6Z/23<&C476m3<&)/=AV6<471)6.4@*54@An3<(+ACSf/=AV;=QXWe4@,M3oQpIq(T3<*mE(FA)(+EjN)E$Q>;?N)A)K)(FA)S

6<4@,M3</=ACS?^F4UsrdtvuwY-/=^T;?AC49;=6fE/=ApIJE/=AxN)/=^F^TIy1)6<4Mz{106<;x,M4@*.*54@KG*.E/=^F^[rdtvu[*:D[&)(F,Z&\(F*-3<&C4d,M;?E-EH;?A

1)6./=,M3<(+,M4|(+AqE-/=AnIq*510/23<(F/=^}(FA)K)4MLx4@*7~>3<&C4H/=,M3<N)/=^*.&)/21>4;=O3<&C4|;=QXW54@,M3(F*lN)*54@Kq35;(FAqE/=(FAp3</=(FA)(FACS!3<&C4

(FA)K)4MLaq)NC6<3<&C476ZEH;=6<4=~3<&)(F*j354@,.&0A)(FxNC4:,7/=A/=,M3<N)/=^+^TIB*</`]=4*<(TS?A)(TR,7/=An3*510/=,M4:Oi;=6|;=QXW54@,M3<*|D[(T3<&^F/26<S=4

*510/23<(+/=^>4MLx354@Ap3<**.(FA),M4m1)6<4Mz*<47S?EH4@An3</23<(F;?A9(FAp35;E/=ApIfrdtvu[*(F*AC;=3[AC474@K)4@Ka

t4@,7/=N)*54,M;?AW<N)A),M3<(T;?A0*m;=O^F(FAC4@/26o,M;?A0*5356./=(FAp3<*o,7/=AQ>4356<4@/2354@Ky/=*j/2Q0*<356./=,M3oS=47;?EH47356Z(F,7/=^6.47S?(T;?A)*7~

3<&C4354@,Z&)A)(FxNC4@*o1)6<;=1>;?*54@K&C476.4-,7/=AQ>4-N)*<4@K35;d(FA0KC4MLq^F(+AC4@/26o,M;?A)*5356Z/=(FAn3<*oD[&)(F,Z&OP;=6.E*/9Q0/=*<(F*mOP;=6

356.(TS=S=476Z(FACS9QR^T;x,.=4@K,M;?A)K)(T3<(T;?A0*o(FAB3<&C4fovc*5Ix*<354@Efaq%[&)(F*D(F^F^Q>4@,M;?EH4,7^T4@/26H(FAB,Z&)/21)35476-xaV%'&C4

6<4@*<N0^T3<*(FAo3<&)(F*,.&)/21)35476/=^F*<;&)/`]=4S=4@A)476./=^p/21010^F(F,7/2Q0(+^F(T3Iw(FAS=47;?E47356.(F,7/=^X/=A)Ko*<10/23<(F/=^xK)/23</2Q0/=*54@*7a}%'&xN)*7~

3<&)(F*l,Z&)/21)35476(F*wD'6.(F35354@Ad1RNC6<4@^TI/=*m/KC4@*<,M6Z(T1)3<(T;?A9;=O3<&C4HAC47D*51R/23<(F/=^(+A)KC4MLd*5356ZN),M3<NC6<4=aj;?A0AC4@,M3<(T;?A

;=O}3<&)(F*,Z&)/21)35476[35;-3<&C4jv\356.(TS=S=476.(FA)SHD[(F^F^RQ>4E/=KC4o(FAf,Z&)/21)35476lxa

íZ ñw>ðJô?òZö#ðñ

A)KC4MLC(FACS;=O X =¡£¢s 2¤¥n¦s§7¨.©@¡Z~>;=QXW54@,M3<*wD[(T3<&qAC;?AXz{ª7476<;/26<4@/:;=6l]=;?^FN)EH4(FA9E;=6<4j3<&0/=Ad;?A)4K)(+EH4@A)*<(T;?Ab~

(F*/=A(FEH1>;=6<3</=Ap3H1)6<;=QR^T4@E«D[&)(+,.&_;X,7,7NC6.*!(FAJK)/23</2Q0/=*<4@*7~',M;?EH10NC3</23<(F;?A)/=^'S=47;?EH47356.I\/=A)K\,M;?E10NC35476

S=6./210&0(F,7*7a%'&C4fN)A)KC476Z^TIx(+ACSd,Z&)/=^F^T4@ACS=4(+*|35;1)6<;`]X(FKC447¬-,7(F4@An3-K0/23</*5356.N),M3<NC6.4@*H/=A)KJ/=^TS=;=6.(F3<&)E*|*5;

3<&)/23m/:*510/23<(F/=^pN)476<I;?A)^TIA)474@K)*[35;f,Z&C4@,<V/!*.E/=^F^Oi6./=,M3<(F;?A9;=O3<&C4j;=QCWe4@,M3<*m(FA93<&C4HK)/23</2Q0/=*54=aoXN0,.&

xNC476.(T4@*m/26<4-3Ix10(F,7/=^F^TId1>;?(FAn3mxNC476.(T4@*@~/=^F*5;fXAC;`DA/=**53</2Q)QR(FACSfpN)476.(T4@*7~b6Z/=ACS=4pN)476.(T4@*m/=A)KA)4@/26<4@*53

AC4@(TS?&pQ>;=6'pN)476.(T4@*7a

A|3<&)(F*,Z&)/21)35476@~?D4'Dv/=An335;j,M;?A)*<(FKC476/mAC47DG,7^F/=*<*};=O>/21)10^F(F,7/23<(F;?A)*D[&C476<4v3<&C4'*51R/23<(F/=^X;=QXW54@,M3<*®,7/=A

¯°±Z²7³{´e²7³±.µX³{¶·¹¸bº¶2»Z¼`³{´¾½b¶2».¸b¿=´e´e²l¼kÀ¿Á¹·¹¸s¶´eÂ·¹²ÃÄZÅÆnÇZÈZÉ

;=OQ0NCI=476.*lD[(F3<&q*<4@^F^T476.*lD[&);&0/@]=41)6.;=1476.3<(T4@*wOi;=6o*./=^T4|;`]=476j*<;?EH4H3<(FEH4*51R/=AaËÌQ0NCI=476E-(TS?&n3m&)/`]=4

3<&C4Oi;?^+^T;`D[(+ACS-6<4@xN)(T6.4@EH4@An37Íg 9Î=Ï<¦.¨<Ð=Ñe¥@¥=ÒÓ F X =ÑÔ¡£Ò-¨MÕR¡w¦.¨@¡£Ö¨.¨7Õy×=¡PØV¡{¥9Ù2Ún¡PØÛv¥`¥2Ñ.Ü¤Ý¥@©Z =¡¨<Ð9Ö¢£¡PØn¢iÕÚ

ÞkÒßÑe nÐ2¢ià ¥5áj¡PØX¨ à)¦7Ö 2â ¡{ =¡£¢s¥2ÕB 2ÕRÐf =¤Ý¥2Õ " ÑZ¢Pã2¨7Ñ¦< =ÕCÞ hXa'XNC1)1>;?*54l3<&C476.4o(F*'AC;,7N)6<6<4@Ap3[/210/26<3<EH4@Ap3

E/23<,Z&)(FACS!3<&)(F*'AC474@KbavËv3l*5;?EH4^F/235476[3<(+EH4=~R/-1)6<;=1>476<3ID[&0(F,.&,7/=AqE/23<,Z&d3<&0(F*Q0NCI=476`ä¹*'6<4@xN)(T6<4@E4@An3

(F*m/`]/=(F^+/2Q0^T4=~3<&)4@A3<&C4*5476<]X(F,M4HD;?N)^FK356.Id35;9/=^F476<3m3<&C41>;=354@Ap3<(F/=^Q0NCI=476`a!XNC1)1>;?*543<&C476<4-/26.4E/=AnI

*<N),Z&VQ0NCI=476.*@~(T3lD;?N0^FKVQ>4Q>47353547635;,M6.4@/2354!/=A(FA)K)4MLq*5;f3<&)/23/=ApIVAC47Då1)6<;=1>476<3æIq,7/=AQ>4HE/23<,Z&C4@K

47¬-,7(T4@Ap3<^TI:D[(T3<&;?A)^FI:/|OP6./=,M3<(T;?A9;=O3<&C4o;?NC3<*53</=A)K)(+ACS|1;=354@Ap3<(F/=^QRNCI=476.*7a

ËwAC;=3<&C4764MLC/=EH10^T4l(F*v/|*535;X,<:356./=K)(FACS|*547353<(FA)SD(T3<&/^+/26<S=4mApN)EjQ>476;=O356./=KC476.*/=A0K:/|,M;?A)*<3</=An3<^TI

,.&0/=ACS?(FACSVE/26<=4737aBx35;X,<Q06<;==476.*7~®^F(F=4-çxèCénêxë0ìçCé?ç0í?î=ïð.ñ=îò~b/=^T6<4@/=KCI;2ó>476|356./=KC476.*3<&C4/2Q0(F^+(T3IV35;

356./=KC4HN)*.(FACS-356Z(TS=S=476.*7aô[476<4=~b/:356.(FS=S=476(F*l/!6ZN)^T4D[&)(F,Z&qK)470AC4@*l/=AV/=,M3<(T;?A35;f(FAp]=;==4HD[&C4@Aq3<&C4|6.N)^T4

,M;?A)K)(F3<(T;?A(F*l356.NC4=a!v;?A)K)(T3<(T;?A0*w/26.4356./=KC4765zK)470AC4@K,M;?A)*5356Z/=(FAn3<*;?A*535;X,<V1)6.(F,M4@*@~b]=;?^FN)EH4@*@~(FAp35476<4@*53

6./2354=~,7/=*<&~>473<,2am/=A)Kq,7/=AV(FA),7^FN)K)4o&)(F*535;=6Z(F,7/=^*53</23<(+*53<(F,7*w*<N),.&V/=*lEH;k]x(FA)S!/@]=476Z/2S=4@*7aoõ/=,Z&q356./=KC476m&)/=*

1>;=354@An3<(+/=^F^TI!/!ApN0EoQ>476;=O}356.(TS=S=476.*@a Af/-E/26<=473[D[(T3<&^T;=3<*';=O356Z/=KC476.*7~)3<&)435;=3</=^AxN)EjQ476[;=O356Z(TS=S=476.*

,7/=AqQ>4]=476<I9^F/26.S=4=awöl(T]=4@Aq/!E-/26<=473w,Z&)/=ACS=4=~>6./23<&C476l3<&)/=Aq/235354@EH1)3<(+ACS-35;:47]/=^+N)/2354/=^+^b356.(TS=S=476Z*7~RD4

,7/=A9N0*54(FA)KC4MLC(FACS35;0^F35476;?NC3[(T6<6.4@^T47]/=Ap3356.(TS=S=476Z*7a

÷ 4,7/=A*<474H3<&)/23m(FAqQ;=3<&V4MLC/=EH10^F4@*7~>;?AC4,7/=AV6<471)6<4@*<4@An3l3<&C4E/23<,Z&)(FACS1)6.;=Q0^T4@Eø/=*/pNC476.I935;

*54@/26.,Z&/|*510/23<(F/=^>(FA0KC4ML-D[&C476.43<&C4m;=QCWe4@,M3<*'/26.4 p¦

¡£Ñ5 ?©`¡Ñ<¨" ¢£¥2Õ

(FA/HEN)^T3<(FK)(+EH4@A)*<(T;?A0/=^C*510/=,M4=aXN0,.&

/2Q0*5356Z/=,M3w6.47S?(T;?A)*HUP;=QXW54@,M3<*ZYw,7/=A&)/@]=4H*<(FS?A)(T0,7/=Ap3;k]=476.^F/21ba

AqOP/=,M37~b(+A93<&C4|6<4@/=^4@*53</2354H4MLC/=EH10^F4=~D4

D;?N)^FKV4MLX14@,M3E-/=AnIqQ0NCI=476.*l35;d&)/@]=4-,M;?E-EH;?AKC4@*<(F6<4@*l47]=4@A3<&C;?NCS?&3<&C4,M;?EH10^T47354H6.4@pN)(F6<4@EH4@Ap3w;=O

4@/=,.&yQ0N)I=476(F*jK)(Ýó>476<4@Ap37ù}/=A0K*<(+E(F^F/26.^FI9(FA3<&)4!*535;X,<356Z/=K)(FACS4MLC/=EH10^F4=~356Z/=KC476.*oE-/@IB&)/`]=4:*.(FE(F^F/26

(FAp35476<4@*53<*7a:tIV,M;?Ap356./=*537~(FA356./=K)(T3<(T;?A0/=^ö /21)10^F(F,7/23<(F;?A)*7~b3<&C4!*510/23<(F/=^;=QCWe4@,M3<*/26<4-N)*.N)/=^F^TId3<(T4@K35;

*5;?EH410&pIx*.(F,7/=^s~6.(TS?(FKm;=QCWe4@,M3<*}D[&0(F,.&j&)/@]=4AC;;=6}^+(T353<^T4®;k]=476.^F/21ba)NC6.3<&C476.EH;=6<4=~23<&C4;=QXW54@,M3<*},M;=6<6<4@*51>;?A)K

35;/=A/2Q0*<356./=,M36<47S?(T;?A,M;?N0^FK&)/@]=4!/=A/26<Q0(T356Z/26<I9*<&)/21>4=a A/21010^F(F,7/23<(T;?A0*w^+(T=4|3<&C4H;?AC4@*/2Q>;`]=4=~;?AC4

,M;?N)^FK4MLX1>4@,M3'3<&C46.47S?(T;?A)*35;OP;=6.Eú*<;?EH4mx(+A)K;=O}S=47;?EH47356.(F,*.&)/21>4=a

%'&)4*54@,M;?A)K_4MLC/=EH10^T4*.NCS=S=4@*53<*H3<&)/23-;?AC4,7^F/=*<*H;=Ol/21)10^+(F,7/23<(T;?A)*HE/`IQ>4f35;B(+A)KC4MLB6.N0^T4@*H(FA_/=A

/=,M3<(T]=4:K)/23</2Q0/=*54Vû

Ê=ü*5;d/=*35;d/`]=;?(FK3<&)4356.(TS=S=476.(+ACSf;=O(T6<6<4@^T47]2/=Ap3m6.N)^T4@*7a!%'&C4N)*54H;=O/*<10/23<(F/=^

(FA)K)4MLj(F*}N)*547O£N)^xD[&C4@A3<&C46.N0^T4,M;?A0K)(T3<(T;?A|(F*}/m,M;?EH10^F4MLj4MLX1)6<4@*<*<(F;?AA);=3®*5;m*<N)(T3</2Q0^F4OP;=6®K)(F*<,M6Z(FE(FA)/23<(F;?A

AC473æD;=6<X*jû}ulCÊ=ýüD[&0(F,.&f/26<4mQR/=*54@KEH;=6<4o;?AK)/23</2þ);kDa

ËwAC;=3<&C476OP4@/23<NC6<4l;=O3<&)4@*54/21)10^F(+,7/23<(T;?A)*(F*3<&)/23v3<&C4l;=QXWe4@,M3<*[/26<4 Ð2â2ÕR 2Ò|¢£© (FA:3<&C4m*54@A)*54l3<&)/23v3<&C47I

/26<4EH;?*53<^TI ¡£Ñ5 2Õ ¢s¨7Õ0¡a ÷ 4D;?N)^FKo4MLx1>4@,M33<&0/23(FA3<&C4)6Z*53b4MLC/=EH10^T4=~23<&C4Q0NCI=476.*/26<4EH;?*<3<^TI(FAp35476<4@*5354@K

(FA!1)6<;=1>476<3<(T4@*OP;=6'/j1>476.(F;xK-;=O3<(FEH4=aC(FE(F^F/26Z^TI=~n(FA!3<&C4m*535;X,<-356Z/=K)(FACS4MLX/=E10^T4=~CK)/@I!356./=KC476.*@äx356Z(TS=S=476.*

;=QXW54@,M3j(FA0*5476<3<(T;?A/=A0KBKC4@^T473<(F;?AafË^T3<&);?NCS?&3<&C476<4:/26<4!(+A)*5476<3<(T;?A0*/=A)KBK)4@^T473<(T;?A)*7~;?AC4-D;?N)^FK4MLx1>4@,M3

/=*:D[(T3<&GEH;?*53K)/23</2Q0/=*54@*:3<&)/23pN)476.(T4@*-/26.4qEH;=6.4dOP6<4@xNC4@An37~3<&xN)*!D4qO£/@]=;=6f47¬-,7(T4@Ap3pNC476Z(T4@*;k]=476

(FA)*<476<3KC4@^T47354m1>476<OP;=6.E/=A),M4=a

%6./=K)(T3<(F;?A)/=^F^TI=~3<&C4,M;?EEH;?AV6.471)6<4@*54@Ap3</23<(T;?AV;=O*<10/23<(F/=^};=QXW54@,M3<*mN)*54@K(FAV(FA0KC4MLX(+ACS!/=^TS=;=6Z(T3<&)E*l(F*

3<&C4@(T6E(FA)(FEN)E Q>;?N)A)K)(FA)S6<4@,M3</=A)S?^T4@*Usrdtvu[*ZYZau/23<&C476®3<&)/=A-D;=6.x(FA)SmD[(T3<&|3<&C4[/=,M3<N0/=^0*<&)/21>4;=O3<&C4

;=QXW54@,M37~(F3<*rdtuc/21)106<;@LC(FE/23<(T;?A9(F*[N)*<4@K(FAf3<&C4(FA)KC4MLC(FACSCaËA9;=QXW54@,M3,M;?N)^FK9Q>44@(T3<&C4766<471)6<4@*54@Ap354@K

N)*<(+ACS:/*<(+ACS?^T4Hr9tvu;=6mO£NC6<3<&)476l*<47S?EH4@An354@KB(FAn35;f/fAxN)EjQ476l;=Ovr9tvu[*m(FO3<&C4|;=QXW54@,M3(F*l^F/26<S=4=a%'&)(F*

*547S?EH4@Ap3</23<(T;?A1)6<;X,M4@*<*o(+*N)*<N)/=^+^TI94@EH1R^T;`I=4@K/=*o/106<4Mz{1)6<;X,M4@*<*<(FA)S*<35471B35;93<&)4-(FA)KC4MLC(FACSf/=^TS=;=6Z(T3<&)Efa

;?A)*<4@pNC4@Ap3<^TIH3<&C4;=6.(TS?(FA0/=^0*<&)/21>4';=O3<&C4;=QCWe4@,M3v(F*^F;?*53/=A0K!AC;=33</2=4@Af(FAp35;j/=,7,M;?N)Ap3(FA3<&C4l(FA)K)4MLX(FA)S

/=^TS=;=6.(F3<&)Efa ;?A)*.(FKC476!/=AG;=QXW54@,M3!D(T3<&\/y,M;?A)*<(FK)476./2Q0^T49*<10/23<(F/=^'4MLX354@Ap37~[4=aSCa /OP6<4747D/`I\(FAG/ö

/21)10^+(F,7/23<(T;?A~C3<&)(+*,7/=A9Q>4m1)6<4Mz{106<;x,M4@*.*54@K(FAp35;-E/=ApIf*<E/=^F^>6<4@,M3</=A)S?^T4@*U£*<474)S?NC6<4xa?YZa%'&0(F*(F*;=2/@I

/=*wö /21010^F(F,7/23<(T;?A0*N0*<N)/=^F^TI!(FAn]=;?^F]=4vW5N0*531>476.E/=AC4@Ap3vCLx3<N)6<4@*7a

ô;`D47]=476@~R(+A:/21010^F(F,7/23<(T;?A0*D&)(F,.&(FAp]=;?^T]=4mKCIXA)/=E(F,w/2Q0*5356Z/=,M3'6<47S?(T;?A)*@~X(F3v(+*A);=3Oi4@/=*<(FQ0^T4w35;KC47354765z

E(FA)4®3<&C46<4@*5;?^FNC3<(F;?A;=OC3<&C4v*547S?EH4@Ap3</23<(T;?A|(FA/=KC]/=A0,M4=ax47S?E4@An3</23<(T;?A0*3<&0/23/26<435;x;w,M;?/26.*<4v(+An356<;XK)N),M4

35;x;!EN),.&g5KC4@/=Kq*510/=,M4@hX~>(sa4=a'(FA),M6<4@/=*<43<&C4jAxN)EjQ>476';=O®E(F*<*<4@*7ù0*547S?EH4@Ap3</23<(T;?A)*w3<&)/23w/26<4o35;x;:6<470AC4@K

D;?N)^FKq(FA),M6<4@/=*543<&C4H*510/=,M4H/=A)Kq3<(FE4,M;?*53<*mN0A)AC4@,M4@*<*</26Z(F^TI=amr;?*53(+EH1>;=6<3</=An3<^FI=~R1)6.4Mz*547S?EH4@Ap3</23<(T;?A(F*

ÕR¥=¡

/HS=;p;XK*5;?^+NC3<(T;?AOP;=6[KCIXA)/=E(F,w6<47S?(T;?A0*D[&)(F,Z&f&)/@]=4^F(FE(F354@K:^+(TOi4m*51R/=A)*7a

A3<&C4v10/=*537~n(FA0KC4MLx4@*D476<4EH;?*53<^TIj*535;=6<4@KH(FA|*54@,M;?A)K0/26<Ij*535;=6Z/2S=4=~p/=A)K3<&C476<47OP;=6<4EN),.&|;=OR3<&C4vD;=6<

&)/=*Q>474@A!,M;?A0,M476.AC4@K:D[(T3<&:(FA)KC4MLC(FACSo354@,.&)A)(+pNC4@*3<&)/23*54747!35;j6<4@K0N),M43<&)4wAxN)EjQ476;=O = ;=1476Z/23<(T;?A)*

Q>4@,7/=N)*54K)(+*5 =c/=,7,M4@*<*[3<(FEH4@*'/26<4j*547]=476./=^;=6.K)476.*;=O}E/2S?A)(T3<N)K)4l*.^T;`D476'3<&)/=AE-/=(FAfEH4@EH;=6<I=a%'&)(F*

4@xN)/23<(T;?A(F*-,Z&)/=ACS=4@KD[(T3<&_3<&)4q/=KC]=4@Ap3:;=OE/=,.&)(+AC4@*-D(T3<&J^F/26<S=4q/=K)KC6<4@*.*!*51R/=,M4@*!/=A)K^F/26<S=4qE/=(FA

EH4@EH;=6Z(T4@*7alC;=6l4MLX/=EH1R^T4=~>47]=4@A,M;?EEH;XK)(T3Ivv*w,7/=A&)/@]=4HEN)^T3<(Ýz{S?(TS?/2QxIx354@*;=OEH4@EH;=6<I=aX(FA),M4j3<&C4

;=QXW54@,M3<*(+A3<&C4[/21010^F(F,7/23<(T;?A0*D4w,M;?A)*<(FK)476/26<4wEH;?*53<^TI|356./=A)*.(T4@An37~x/oEH4@E;=6<IHQ0/=*54@K!(FA)KC4MLHE/2=4@*S=;p;XK

*54@A)*<4=a)NC6<3<&C476ZEH;=6<4=~/=*oD4HD[(+^F^}KC4@EH;?A)*5356Z/2354=~35;f4Mó>4@,M3<(T]=4@^TI(FA)KC4MLq3<&C4*</=EH4!ApN)EjQ>476m;=O6.47S?(T;?A)*7~

;?NC6lAC47Dc(FA)KC4MLf6<4@xN)(T6<4@*EjN0,.&q^T4@*<*w*510/=,M43<&)/=A9;=3<&)476lE473<&C;xK0*'Q0/=*54@Kq;?Ad1)6<4Mz*547S?E4@An3</23<(T;?Abaw%'&xN)*

(T3Q>4@,M;?EH4@*v1>;?*<*<(TQ0^F4=~p/=A)K]=476<I!10^F/=N)*.(TQ0^T4=~?35;*<35;=6<4l3<&C4m(FA)KC4ML-,M;?EH1R^T47354@^TI!(+A:E-/=(FA!E4@EH;=6<Iqû¹öo ü{a

%'&0(F**.&)(TOP3<*[3<&C4|1)6.;=Q0^T4@Eß;=O(FA)K)4MLX(FA)S-*<(FA),M4|/*<(TS?A)(F0,7/=An3wK)(Ýó>476<4@A),M4|4MLC(F*53<*wQ>473D474@AK)(F*5pz{Q0/=*54@K

]=476.*<N0*w(+AXzEH4@EH;=6<I(+A)KC4MLC(FACSCa AVK)(F*5pz{Q0/=*54@Kd(FA)KC4MLC(FACSC~R3<&C4HApN0EoQ>476w;=O = ;=1>476./23<(T;?A0*7~>D[&)(F,Z&d(F*w/

,M;?/26.*54lEH4@/=*<N)6<4[(F*N)*54@KùpD[&C476<4@/=*3<&C4[47¬!,7(T4@A),MIH;=O/=A!(+AXzEH4@EH;=6<IH(FA0KC4ML|K)4714@A0K)*;?A3<&)4AxN)EoQ>476®;=O

EH4@EH;=6.I;=1>476./23<(T;?A)*(FA),7NC6.6<4@KD[&0(F,.&j(F*EN),Z&E;=6<4RAC4Mz{S=6./=(FAC4@KbaËw**.N),.&~23<&C4vK)(F*<nz{Q0/=*<4@Kj*5356Z/23547S?(T4@*

;=Ol(FA),M6<4@/=*<(+ACSd3<&)4*<(Tª74f;=Ol(FA)KC4MLA);xKC4@*H/=A0KOP/=AXz{;?N)3/=A)K_KC4@,M6<4@/=*<(+ACSV3<&C4&C4@(TS?&p3H;=O3<&)4f356<474E/@I

A93<&0(F*,Z&)/21)35476@~>D4(+An356<;XK)N),M4/!A);`]=4@^}(FAXzEH4@E;=6<IfK)/23</*5356.N),M3<NC6.4oOP;=6w(FA0KC4MLX(+ACS-*510/23<(+/=^;=QXW54@,M3

QxI3</2x(+ACSm/=KC]/=Ap3</2S=4;=O03<&)4vN0A)KC476.^TIX(FACS'*.&)/21>4@*;=OR3<&C4;=QXWe4@,M3<*@~n/=*}D4@^+^x/=*}3<&)4@(T6}rdtvu[*7au/23<&C4763<&)/=A

K)(T6.4@,M3<^TIqN0*<(FACS9/=Ayr9tvu /21)106<;@LC(FE/23<(T;?A/=A)K106<;x,M4@*.*<(FACSf;=O3<&C4r9tvu*7~}3<&C4-;=QXW54@,M3<*|/26<4!/2101)6<;@LC(Ýz

E/2354@Kd/=A)K10/26.3<(T3<(T;?AC4@KfKCIXA)/=E(+,7/=^F^TI!(+A/^F/2ª7IO£/=*<&)(T;?A~CD&)(F,.&9/=^F^T;`D*Oi;=6Q>473535476K)(F*.,M6.(FE(FA0/23<(T;?A-;=O

3<&C4;=QXWe4@,M3<*v(FA-3<&C4*<4@/26.,.&:356<474=aXN0,.&354@,Z&)A)(FxNC4w/@]=;?(FK)*v*5;?E4[;=O3<&C41)6<;=Q0^T4@E-*/=A)K!,M;?*53<*v/=*<*5;X,7(F/2354@K

D[(T3<&106<4Mz*547S?EH4@Ap3</23<(T;?Aa

lN)6*5356.N0,M3<NC6<4=~p,7/=^+^T4@K3<&C4wu'z{356<474HU

YZ~X(+*/S=4@A)476./=^0D4@(TS?&p3ez{Q0/=^F/=A),M4@K!Q0(FA0/26<I

356<474:3<&)/23Oi4@/23<NC6.4@*j3<&)4:,7^F(F1)10(FACS;=O'3<&)4:/=,M3<N)/=^;=QXW54@,M3<*|/=A)K3<&C4!KCIXA)/=E(+,6<4Mz,M;?EH1RNC3</23<(T;?A;=O[AC47D

rdtu*m;=O3<&)4|,7^+(T1)1>4@K9;=QCWe4@,M3<*7~/!354@,Z&)A)(FxNC4|D4,7/=^F^

a ÷

4*<&C;`Då3<&0/23N)A)KC476w3<&C4

/=*<*<N0EH1)3<(T;?A)*v;=O}/H1)6.;=Q0^T4@E *51>4@,7(T0,l1R/26./=EH4735476@~)3<&)4H X n©7¢PÕ " áM n©@¡{¥2Ñ ~03<&C4juz{356<474o4@AW5;`IX*'/=EH;=6.3<(Tª74@K

^T;=S?/26.(F3<&)E(F,lNC1K)/2354m3<(FE4/=A)Kf/@]=476./2S=4|,7/=*54^T;=S?/26.(T3<&)E-(F,l*54@/26.,.&93<(FEH4=a

lN)64MLx1>476.(FE4@An3<*>;?Aj/*5473b;=OX*5IxAp3<&C473<(F,®;`]=476.^F/21010(FACSK)/23</'*<473<*/=A)K*<;?EH46<4@/=^?^F(FOi4AC;?AXz{;k]=476.^F/21)1R(FACS

K)/23</(+A)K)(F,7/23543<&)/23uz{356<474*<(FS?A)(T0,7/=Ap3<^TI;?NC351>476<OP;=6.E*®3<&C4'uz{356<474]/26Z(F/=An3<*/=A)KrduzxN)/=KC356.474[N)AXz

KC476v,M;?EH10/26.(+*5;?A!(+A-Q>;=3<&:*54@/26.,.&f,M;?*<3v/=A0K!xNC476<I/=,7,7NC6Z/=,MI=~CQpI;=6ZKC476.*;=OE/2S?A)(F3<N)KC4[OP;=6;`]=476.^F/21010(FACS

K)/23</XaC;=6HAC;?ACz{;`]=476.^F/21010(FACSf6<4@/=^Tz^F(TOP4:ö K)/23</d*5473<*7~u'z{356<474(F*o/=^F*<;]=476<I,M;?EH1>473<(T3<(T]=4:/=*j(F3oN)A)(Ýz

OP;=6.E^TId1476.Oi;=6.E-*mQ>4735354763<&)/=A3<&)4-/2Q>;`]=4-EH473<&);xK)*@a 3j(F*m1>;?*<*<(TQR^T4j35;d,M;?An356<;?^3<&C4-*51R/=,M4-47¬-,7(T4@A0,MI

/=A)K(FA)*<476<3<(T;?A:,M;?*53v;=Ou'z{356<474mQxI3<N)A)(+ACSj/|AxN)EoQ>476;=O10/26Z/=EH4735476.*7aËv3v3<&C4l4@A)K:;=O3<&C4w,Z&)/21)35476@~CD4

1)6<4@*<4@An3®/=A(+A)(T3<(F/=^x*53<N)KCIj;=OR3<&)4[,7/=,.&C4[4Mó4@,M3<*;?AHu'z{356<474=~X/=A)KH*5;?EH4'6.4@*<N)^T3<*;?A,7/=,Z&C4Mz{;=Q0^F(T]X(T;?N)*.AC4@*<*7a

A

d2 d3

d1

C B

}(TS?NC6.4xa Í w;?E/=(FA9u[4@K)N),M3<(T;?Af/=A0Kdv^F(T1010(FACSõLC/=EH10^T4

%'&)4u'z{356.4749,M;?EoQR(FAC4@*|3<&C6<474E-/=(FA_(FKC4@/=*7~A)/=EH4@^TIÍ;=QXWe4@,M3!,7^F(T1)10(+ACSC~KC;?E/=(FA6<4@K0N),M3<(T;?A/=A)K

6<47Q0/=^+/=A),7(FACSCa

(T=43<&)4vu%$z{356<474û¹Xu['& ü)/=A)K3<&C4xN)/=KC356<474mû¹X/=E-Ê ü{~=3<&)4vu'z{356.474v/=K);=1)3<*/l*510/=,M4Mz{10/26<3<(F3<(T;?A)(FACS

*5356./23547S=I=a

473oN0*m(FACOP;=6.E/=^F^TIdKC470AC4H/

Ð2¢

/=*o/f&pIx1476<z{10^F/=AC4|3<&)/231R/26<3<(T3<(T;?A)*w3<&C4!*510/=,M4=a

A)KC4MLX4@K;=QXW54@,M3<*D[&)(+,.&(FAp35476.*54@,M3<*oD[(T3<&/K0(F*<,M6.(FE-(FA)/235;=6m/26<4-,7^F(F1)1>4@Kd(FAp35;3æD;d10/26<3<*7alNC4-35;3<&C4

,7^F(T1010(FACSC~x3<&C4ordtu*';=O}*<NCQ)356.474@*'/23'3<&C4*</=E4o^T47]=4@^b/26<4K0(F*PW5;?(FAn37~X3<&xN)*'/`]=;?(FK)(FACSEN)^T3<(F10^T4w356./@]=476.*./=^F*

K)NC6Z(FACS:1;?(+An3ezxNC476<IV*54@/26.,Z&a!%'&)4(FAn35476ZEH4@K)(F/2354-rdtvu[*o(+A3<&C4u'z{356<474:/=^F*5;9&C4@^F10*l0^T35476m;?NC3j*5;?EH4

;=QXW54@,M3<*[K)N)6.(FACS3<&C4o*54@/26Z,.&106<;x,M4@*.*7a

%'&)4qK)(Tó476<4@A0,M4dD[(F3<&G3<&)4Vu'z{356.474V(+*!3<&0/23(F3:(FA0KC4MLx4@*/=,M3<N)/=^m*.&)/21>4@*-;=Oj3<&C4V;=6.(TS?(FA)/=^;=QXW54@,M3<*

/=A)KJA);=3H3<&C4@(T6-rdtu*7~*5;,7^F(T1010(FACSq(F*HKC;?AC4f;?A\3<&C4f;=6.(TS?(FA0/=^;=QCWe4@,M3<*7~/=A)K3<&)4dr9tvu*H;=Ol3<&C4f3D;

6<4@*<N0^T3<(FACS*<NCQCz{;=QCWe4@,M3<*j/26<4N)*54@K35;96<4710^F/=,M4@KV3<&C4-;=6.(TS?(FA)/=^rdtvua%'&0(F*lD/`I=~3<&)4*<(Tª74H;=Ov3<&C4-rdtu*

/26<4jOPNC6.3<&C476[6<4@K0N),M4@Ka'%'&)(+*'354@,.&0A)(FxNC4j(F*,7/=^F^T4@K

aw%'&C4(FKC4@/H;=OK);?E/=(FA6.4@K)N),M3<(T;?A

(F*v(F^F^+N)*5356./2354@K(FA:10/26<3U£ËmY)(qU{'Y(FA:)S?NC6.4*xa a%'&C6<474l;=QXW54@,M3<*[KC6Z/@D[A:D[(T3<&:3<&)(+,<^F(FAC4@*/26<4*<&C;kD[Af(FA

10/26<3HU£ËmYZab/26.3HU£t'YwKC471R(F,M3<*l/:*.(FACS?^T4|r9tvuå6<47106<4@*54@Ap3</23<(T;?AVOi;=6l4@/=,Z&;=QXW54@,M3wD(T3<&q3<&C4|rdtvuKC6./`D[A

(FAfKC;=3ezK0/=*<&C4@K^F(+AC4@*7a%'&)(F*v(F*'3<&C4m6<471)6<4@*<4@An3</23<(T;?AdN)*54@Kf(FAfu'z{356<474o/=A)K9(T3<*]2/26.(F/=Ap3<*D[&C4@A3<&C476.4(F*'AC;

1)6<4Mz*<47S?EH4@An3</23<(F;?Aa%'&C4rdtvu[*'&C476.4l&)4@/@]X(F^TI-;k]=476.^F/219/=A0K!3<&)476<4(F*v/=^F*5;/|^T;=3;=OKC4@/=Kf*510/=,M4(FA:4@/=,Z&

rdtuoa%'&0(F*EH4@/=A)*j3<&)/23/=AB/26<Q0(F356./26<Iq1;?(+An3oxNC476<IVD;?N)^FK&0/@]=4:]=476<I^T;`D/=,7,7NC6./=,MIB/=A0KBEN)^T3<(T10^F4

*54@/26.,Z&10/23<&0*'&)/@]=4j35;Q>4lOi;?^F^F;`D4@KK)NC4m35;3<&)4;`]=476.^+/21)10(FACS|;=O®rdtu*7a

w;?E/=(FA6<4@K)N0,M3<(T;?ABE/2=4@*HN0*54-;=O3<&C4K)(F*.,M6.(FE(FA0/235;=6.*m,M6<4@/2354@KK)NC6.(+ACS3<&C4!1)6<;X,M4@*<*o;=OQRN)(F^FK)(+ACS

;=6|6<47Q0/=^F/=A0,7(FACS93<&)4:356.474=a%'&C4@*54K)(F*<,M6Z(FE(FA)/235;=6Z*KCIXA)/=E(F,7/=^F^FI1)6<;XK)N),M4:rdtvuú/21)1)6.;@LC(FE/23<(T;?A)*jQxI

*547S?EH4@Ap3<(FACSH3<&)43<&C4(FA)K)4MLx4@K;=QXW54@,M3<*7a

A10/26<3oU{[YZ~0*<NC1)1>;?*54l3<&C4K0(F*<,M6.(FE-(FA)/235;=6.*/26<4oK

~)K

/=A)KK0ý

*<&C;kD[A:D[(T3<&:3<&C4lS=6./`I:K)/=*.&C4@K^F(FAC4=a ÷ (F3<&3<&C4@*54l10/26<3<(F,7N0^F/26K0(F*<,M6.(FE-(FA)/235;=6.*7~X|r9tvu[*/26.4,M6<4@/2354@KfQxI

KC;?E/=(+AH6<4@K)N),M3<(F;?AaËw*/m6<4@*<N)^F37~n3<&C476<4(F*®AC;;k]=476.^F/21:Q>473D474@A-3<&C4lr9tvu*/=A)K!EjN),Z&-^T4@*.*KC4@/=K!*510/=,M4

(FAJU{'Y3<&0/=A(FAV10/26<3-U£t'YZa,+[;=3543<&0/23o*54@^T4@,M3<(FA)SK)(Ýó>476<4@An3K0(F*<,M6.(FE-(FA)/235;=6.*D;?N0^FK^T4@/=K35;9/fK0(Ýó476.4@An3

*5473';=Ordtu*7a

Ë S=;x;xKy,.&);?(F,M4!;=O'K0(F*<,M6.(FE-(FA)/235;=6.*mE/2=4@*|KC;?E-/=(FA6<4@K0N),M3<(T;?ABE;=6<4-4Mó>4@,M3<(T]=4=ad;?*<*.(TQ0^T4-,M6Z(T35476.(F/

OP;=6w1R(F,<X(FACS:K)(F*<,M6.(+E(FA)/235;=6.*[/26<4jQR/=*54@Kq;?Ad3<&)4*<&0/214=~10^F/=,M4@E4@An3l/=A)KVApN0EoQ>476w;=O®;=QXW54@,M3<*7amt4@,7/=N0*54

K)(F*.,M6.(FE(FA0/235;=6.*/26<4j,M6.4@/2354@Kd35;*54710/26Z/2354o;=QXW54@,M3<*w;=O®K)(Ýó>476<4@An3*<&)/21>4@*7~03<&)4o;=QXW54@,M3w,7^+(T1)10(FA)Sj6<4@*.N)^T3<(FACS

OP6<;?E 3<&C4-K0(F*<,M6.(FE-(FA)/23<(T;?Ad(F*mS=4@AC476./2354@K(FA/f^F/2ª7I/=A)KBKC4@E/=A)KKC6Z(T]=4@AVOP/=*.&)(T;?Aa%'&xN)*7~;=QXWe4@,M3<*j/26<4

;?A)^TIq*547S?EH4@Ap354@KD[&)4@AV3<&C476<4(F*m/A)474@KV35;9K)(F*<,M6Z(FE(FA)/23543<&C4@Ef~D[&)(F,Z&(F*m(FA,M;?Ap356./=*53D[(F3<&/f*53</23<(F,

rdtu *547S?EH4@Ap3</23<(T;?Af*5356./23547S=I!3<&)/23E/@I:,M6<4@/2354l35;p;HE/=ApIdU£/21)1)6.;@LC(FE/23<(T;?A(F*0AC4763<&)/=A:AC474@KC4@KRY;=6

35;x;Oi47DU£/21)1)6<;`LX(FE-/23<(T;?A(F*v35;x;-,M;?/26.*54jS=6./=(FAC4@KYvr9tvu[*@a

w;?E/=(FAq6<4@K0N),M3<(T;?Aq,7/=Aq/=^+*5;:^F4@/=K935;f*<NCQR*53</=An3<(+/=^*51R/=,M4j6<4@K0N),M3<(T;?Aa ÷ 4|,M;?E10/26<4Hu'z{356<474|D[(T3<&

/=AC;=3<&C476Q0(FA)/26.Ijr9tvu'z,7^F(T1)10(+ACS2z{Q0/=*54@KH*54@/26Z,.&356.474'D[&)(F,Z&HN)*54@*3<&)4[*</=EH4',7^F(F1)10(FACSl*5356./23547S=I/=*(FAHu-$z

d1

d2 d3

L1 L2

d1 d1

d3

d2

d3

d2

L

L2 L1

d1

d2 d3

L L L L

在文檔中 :*9C#EDF@ =G= &IH>JLK;M = -%&NH;&?O;MC&I&PK;J !H K!Q = K;M>K;JRI-C@TSUK!:VK;R -GWX@T7YQGKZD[RI9 = &amp (頁 78-90)

C (2) State Transition

Continuations

P1 P2

C2

1 2 3 4

3

1 2 4

C1

P3

5 6

5 6

C2

C1

10 11

P3

C1

10 11

cm C2 P3

cm C2

P2 P1

6 8 9

C−step

7

7

C2

C2

C1

10

P2

8 9

C−step

P1

7

8

C2

6

P1 cu P2

cu

cu P3 6

10 11

P3

C1

A

d2 d3

d1

C B

d1

d2 d3

L1 L2

d1 d1

d3

d2

d3

d2

L

L2 L1

d1

d2 d3

L L L L

cm _C2 P3

cm _C2