Industrial grade model checking: use Cases, constraints, tools and applications

O

pen

A

rchive

T

OULOUSE

A

rchive

O

uverte (

OATAO

)

OATAO is an open access repository that collects the work of Toulouse researchers and

makes it freely available over the web where possible.

This is an author-deposited version published in :

http://oatao.univ-toulouse.fr/

Eprints ID : 18044

The contribution was presented at ERTS 2 2016

http://www.erts2016.org/

To cite this version :

Clabaut, Mathieu and Ge, Ning and Breton,

Nicolas and Jenn, Eric and Delmas, Rémi and Fonteneau, Yoann

Industrial grade model checking: use Cases, constraints, tools and

applications. (2016) In: ERTS2 2016 (Embedded Real Time

Software and Systems), 27 January 2016 - 29 January 2016

(Toulouse, France).

Any correspondence concerning this service should be sent to the repository

administrator:

staff-oatao@listes-diff.inp-toulouse.fr

AM/mbi`BH :`/2 JQ/2H *?2+FBM;

lb2 *b2b- *QMbi`BMib- hQQHb M/ TTHB+iBQMb

Ji?B2m *H#mi1- LBM; :22 ,⋆- LB+QHb "`2iQM1- 1`B+ C2MM2 ,⋆⋆- _ûKB .2HKb3- M/ uQMM 6QMi2M2m1

1 avbi2`2H- Bt@2M@S`Qp2M+2 ě hQmHQmb2- 6`M+2 7B`biMK2XMK2!bvbi2`2HX7` 2

A_h aBMi@1tmTû`v- hQmHQmb2- 6`M+2 7B`biMK2XMK2!B`i@bBMi2tmT2`vX+QK

3

PL1_- hQmHQmb2- 6`M+2 `2KBX/2HKb!QM2`X7`

#bi`+iX JQ/2H +?2+FBM; ?b K/2  HQi Q7 T`Q;`2bb bBM+2 Bib BM7M+vX 6Q`  HQM;

iBK2-BM/mbi`BH TTHB+iBQMb r2`2 biBHH HBKBi2/ iQ bQK2 p2`v bT2+B}+ /QKBMb Qmi Q7 r?B+? i?2 i2+?MB[m2 #mKTb BMiQ i?2 bii2 2tTHQbBQM rHHX LQr/vb i?BM;b 2pQHp2 M/ bQK2 iQQHb `2 #H2 iQ i+FH2 `2H rQ`H/ mb2 +b2b QmibB/2 Q7 i?2 FMQrM /QKBMbX

q2 ;Bp2 ?2`2 i?2 722/#+F +QHH2+i2/ r?2M mbBM; KQ/2H +?2+FBM; QM b2p2`H BM/mbi`BH bi`2M;i? mb2 +b2b M/ ;Bp2 BM/B+iBQM QM ?Qr r2 iF2 BMiQ ++QmMi i?2 bT2+B}+ /QKBM +QMbi`BMibX

R JQ/2H *?2+FBM; 7Q` AM/mbi`BH

S`Q#H2Kb

JQ/2H +?2+FBM; `272`b iQ i?2 T`Q#H2K Q7 2t?mb@

iBp2Hv M/ miQKiB+HHv +?2+FBM; r?2i?2`  ;Bp2M KQ/2H Q7  bvbi2K K22ib  ;Bp2M bT2+B@ }+iBQMX

JQ/2H *?2+FBM; Bb MQr M QH/ i2+?MB[m2 r?B+? iF2b Bib ;`QmM/ BM i?2 KB/ RNdyb b  `2bTQMb2 iQ +QM+m``2Mi T`Q#H2K MHvbBbX Ai rb mMiBH `2+2MiHv 2bb2MiBHHv +QM}M2/ iQ bQK2 bT2+B}+ `2b- bm+? b ?`/r`2 MHvbBb Q` T`QiQ+QH p2`B}+iBQMX 1ti2MbBQM iQ Qi?2` /Q@ KBMb bm+? b bQ7ir`2 p2`B}+iBQM ?b Hrvb #22M /B{+mHi /m2 iQ i?2 +QK#BMiQ`BH 2tTHQ@ bBQM T`Q#H2K Ui?2 bBx2 Q7 i?2 bT+2 bii2 ;`Qrb 2tTQM2MiBHHv rBi? i?2 bBx2 Q7 i?2 T`Q#H2K iQ MHvx2VX

>Qr2p2`- `2+2Mi /2p2HQTK2Mib BM  p`B2iv Q7 }2H/b- `M;BM; 7`QK bvK#QHB+ KQ/2H +?2+F@

BM; iQ ah bQHp2` 2M;BM2b M/ BM+Hm/BM; KQ/2H +?2+F2` T`HH2HBxiBQM H2/ iQ  #`Q/2` `M;2

Q7 TTHB+iBQM BM BM/mbi`v BM+Hm/BM; bQ7ir`2 MHvbBbX

RXR AM/mbi`BH lb2 *b2b

JQ/2H +?2+FBM; Kv #2 mb2/ 7Q` i?2 7QHHQrBM;

mb2 +b2b- /2T2M/BM; QM i?2 iQQH #BHBiB2b,

a72iv S`QQ7 +QMbBbib BM p2`B7vBM; bQK2 T`QT@

2`iB2b QM  bvbi2K KQ/2HX h?2 KQ/2H Kv #2 /2bB;M2/ #v ?M/ Q` miQKiB+HHv /2@ `Bp2/ 7`QK 2tBbiBM; `i27+ib- bm+? b /-*- aBKmHBMF Q` a+/2 +Q/2Ę

A7 QM2 Q7 i?2 T`QT2`iB2b Bb MQi #2BM; p2`B}2/-i?2 iQQH T`QpB/2b  +QmMi2`2tKTH2 2tTHBM@ BM; r?v i?2 T`QT2`iv /Q2b MQi ?QH/X

avbi2K .2#m;;BM;X PM2 Q7 i?2 ;`2i 72@

im`2b Q7 KQ/2H +?2+FBM; Bb Bib #BHBiv iQ T`Q@ pB/2 i?2 mb2` rBi? +QmMi2`2tKTH2bX am+?  72im`2 Kv #2 mb2/ BM /Bz2`2Mi rvb- #mi Bb ;2M2`HHv Q7  ;QQ/ ?2HT 7Q` /2#m;;BM;  bvbi2KX

6Q` 2tKTH2- r?2M /2bB;MBM;  +QKTH2t bvbi2K r?B+? b?QmH/ 2Mbm`2  b72iv T`QT@ 2`iv U2X;X  MQM +QHHBbBQM T`QT2`iv 7Q` M miQKiB+ i`BM bvbi2KV- Bi Bb p2`v mb27mH iQ /2#m; i?2 `QQi +QM+2Tib r?B+? b?QmH/ 2Mbm`2 i?2 b72iv mTQM  bvbi2K KQ/2H QM r?B+? vQm +M MHvb2 +QmMi2`2tKTH2bX

1[mBpH2M+2 *?2+FBM;X h?2 #BHBiv iQ T`Qp2

bQK2 T`QT2`iB2b mTQM M 2tBbiBM; KQ/2H

⋆a2+QM/2/ 7`QK avbi2`2H- hQmHQmb2- 6`M+2 ⋆⋆ a2+QM/2/ 7`QK h?H2b pBQMB+b- hQmHQmb2- 6`M+2

Kv #2 mb2/ b  rv iQ T`Qp2 i?2 2[mBp@ H2M+2 Q7 irQ KQ/2HbX

PM2 TTHB+iBQM Q7 2[mBpH2M+2 +?2+FBM; Bb iQ p2`B7v i?i  bQ7ir`2 /2bB;M BM * biBb}2b Bib bT2+B}+iBQM- #v T`QpBM; i?2 2[mBpH2M+2 #2ir22M  KQ/2H Q7 i?2 /2bB;M M/  KM@ mHHv r`Bii2M KQ/2H Q7 i?2 bT2+B}+iBQMX MQi?2` TTHB+iBQM Bb iQ p2`B7v i?2 +Q``2+i@ M2bb Q7  iQQH i`Mb7Q`KiBQM ě 7Q` 2tKTH2  i`MbHiBQM 7`QK QM2 7Q`KHBbK iQ MQi?2` ě #v T`QpBM; i?2 2[mBpH2M+2 #2ir22M i?2 #27Q`2 M/ 7i2` i`Mb7Q`KiBQM `i27+ibX

*QMbi`BMi aQHpBM;X  bQK2r?i KQ`2 +QM@

i`Bp2/ mb2 Q7 KQ/2H +?2+FBM; Bb i?2 mb2 Q7 Bib #BHBiv iQ T`QpB/2 +QmMi2`2tKTH2b b  rv iQ bQHp2  +QMbi`BMi T`Q#H2KX h?2 rv iQ /Q Bi Bb iQ bF i?2 iQQH iQ p2`B7v i?i i?2 T`Q#H2K ?b MQ bQHmiBQMX A7 QM2 2tBbib- i?2 iQQH rBHH `2im`M  +QmMi2`2tKTH2 r?B+? Bb QM2 bQHmiBQM iQ i?2 T`Q#H2KX

h2bi *b2 :2M2`iBQMX MQi?2` mb2

+b2-/2`Bp2/ 7`QK i?2 T`2+2/BM; QM2- Bb iQ mb2 

i2bi Q#D2+iBp2 b  +QMbi`BMiX h?2 T`QpB/2/

+QmMi2`2tKTH2b i?2M ;Bp2 BMTmib M/ bbQ@ +Bi2/ Q`+H2b r?B+? 7mH}HH i?2b2 i2bi Q#D2+@ iBp2b M/ Kv #2 mb2/ b i2bi b+2M`BQbX

RXk AM/mbi`BH *QMbi`BMib

SmiiBM; bB/2 i?2 KMv mb2 +b2b HBbi2/ #2@ 7Q`2- BM/mbi`v 7+2b KMv +QMbi`BMib r?B+? Kv ?p2 T`2p2Mi2/ i?2 mb2 Q7 KQ/2H +?2+FBM; mMiBH MQr,

_2;mHiQ`v *QMbi`BMib JMv +QKTMB2b

Kmbi Q#iBM TT`QpH 7`QK  bmBi#H2 m@ i?Q`Biv i?i i?2 bvbi2K i?2v /2p2HQT Bb ++2Ti#Hv b72 iQ QT2`i2 rBi? `2;`/b iQ i?2 TTHB+#H2 bbm`M+2 biM/`/b U*1L@ 1G1* 1L@8yRk3- .P@Rd3*-ĘVX

b bm+?- Bi Kmbi #2 b?QrM i?i i?2 iQQHb r?Q ?p2 +QMi`B#mi2/ iQ i?2 bvbi2K Q` iQ Bib p2`B}+iBQM ?p2 #22M [mHB}2/ rBi? `2@ bT2+i iQ i?2B` mb;2 M/ iQ i?2B` +QMi`B@ #miBQM iQ i?2 ;HQ#H b72ivX am+?  [mHB@ }+iBQM #2`b  HQi Q7 +QMbi`BMib mTQM i?2 iQQHb M/ i?2B` /2p2HQTK2Mi T`Q+2bbX 62r Q7 i?2 FMQrM KQ/2H +?2+F2`b `2 /2bB;M2/ rBi? bm+? +QKTHBM+2 BM KBM/X

*Qbi _2/m+iBQM h?2 mb2 Q7 7Q`KH K2i?Q/b

M/ KQ/2H +?2+FBM; Bb Q7 BMi2`2bi 7Q` BM/mb@ i`v QMHv B7 i?2v H2/ iQ +Qbi `2/m+iBQM Q` iQ biM/`/ +QKTHBM+2X AM  +QMi2ti r?2`2 biM/`/ +QKTHBM+2 Bb H`2/v +?B2p2/-i?2 QMHv KQiBpiBQM H27i 7Q` TTHvBM; 7Q`KH K2i?Q/b Bb iQ ;BM bB;MB}+MiHv Qp2` +QbibX am+? M Q#D2+iBp2 Kv #2 `2+?2/ 2Bi?2` #v mbBM; KQ/2H +?2+FBM; BM Q`/2` iQ miQ@ Ki2 bQK2 i2biBM; bi2Tb Q` BM  H2bb K2@ bm`#H2 rv- #v `BbBM; i?2 Qp2`HH [mHBiv #2vQM/ r?i Bb `2[mB`2/ #v i?2 `2;mHiQ`v +QMbi`BMibX S`QpBM;  T`QT2`iv Bb BM/22/ `2@ HHv M BKT`Qp2K2Mi Qp2` i2biBM; Bi- 2p2M BM i?2 7`K2 Q7 biM/`/ +QKTHBM+2- M/ +M H2/ iQ }M/BM; #m;b i?i rQmH/ #2 Qi?2`@ rBb2 /Bb+Qp2`2/ Km+? Hi2` M/ rQmH/ +Qbi  HQi KQ`2 iQ #2 +Q``2+i2/X

k h?2 aj hQQH#Qt

kXR aj

avbi2`2H aK`i aQHp2`9 <sub>UajV Bb avbi2`2HǶb `2@</sub> bTQMb2 iQ i?2 7Q`2K2MiBQM2/ mb2 +b2b M/ BM@ /mbi`BH +QMbi`BMibX aj Bb +QMbi`m+i2/ `QmM/,

Ĝ  ?B;? H2p2H bvM+?`QMQmb KQ/2HHBM; HM@

;m;2-Ĝ b2p2`H 7`QMi2M/b 7Q` *- /- a+/2- Ę Ĝ  i`MbHiBQM iQQH +?BM 7`QK i?2 ?B;? H2p2H

HM;m;2 iQr`/b  #Bi H2p2H HM;m;2-Ĝ  T`QQ7 2M;BM2 rQ`FBM; Qp2` i?2 #Bi H2p2H HM;m;2-Ĝ  T`QQ7 p2`B}+iBQM 2M;BM2-Ĝ b2p2`H iQQHb 7Q` MBKiBQM M/ /2#m;;BM;X h?2 T2`7Q`KM+2 Q7 i?2 T`QQ7 2M;BM2 HHQrb mb M/ Qm` +HB2Mib iQ KM;2 i?2 T`QQ7 Q7 BM/mb@ i`BH bBx2 T`Q#H2Kb bQK2 Q7 i?2K r2 rBHH K2M@ iBQM BM i?2 M2ti b2+iBQMX h?2 bBx2 Q7 i?Qb2 KQ/@ 2Hb `QmiBM2Hv iQTT2/ i2M KBHHBQMb p`B#H2b M/ b2p2`H ?mM/`2/ KBHHBQMb Q7 +Hmb2bX

h?2 [mHB}+iBQM Q7 aj Bb K/2 TQbbB#H2 #v i?2 mb2 Q7 b2p2`H /Bp2`bB}2/ iQQH@+?BM rBi? bQK2 bKHH F2v iQQHb #mBHi rBi? `2bT2+i iQ i?2 ?B;?2` BMi2;`Biv +QMbi`BMib i?i Kv #2 `2@ [mB`2/ ě MK2Hv- M 2[mBpH2M+2 KQ/2H +QM@ bi`m+iQ`- M/  iQQH iQ p2`B7v i?2 pHB/Biv Q7 i?2 T`QQ7 Ub22 };X R QM i?2 7QHHQrBM; T;2VX

>G JQ/2H * bQm`+2b "G JQ/2H R +?BM R "G JQ/2H k +?BM k Y S`QQ7 1M;BM2 2[mBpX KQ/2H +?2+F T`QQ~Q; PEfLPE 6B;X RX 1tKTH2 Q7 TTHB+iBQM 7Q` T`QpBM; 2[mBp@ H2M+2 #2ir22M * bQm`+2b M/  >G KQ/2H bT2+B}@ +iBQMX h?2 irQ iQQH@+?BMb `2 /Bp2`bB}2/ M/ i?2 bQ7ir`2 BM i?2 +B`+H2b `2 /2p2HQT2/ rBi? i?2 ?B;?2` H2p2H Q7 BMi2;`Biv U>G 4 >B;? G2p2H- "G 4 "Bi G2p2HVX

kXk 6HQiBM;@SQBMi `Bi?K2iB+ GB#``v BM aj

*`BiB+H TTHB+iBQMb mb2/ iQ mb2 }t2/@TQBMi `Bi?K2iB+ i?i `2[mB`2b H2bb K2KQ`v M/ H2bb T`Q+2bbQ` iBK2 i?2M ~QiBM;@TQBMi `Bi?K2iB+ U6SV iQ T2`7Q`K MQM@BMi2;2` +QKTmiiBQMb QM 2t2+miBM; T`Q+2bbQ`b rBi? MQ 6HQiBM;@SQBMi lMBi U6SlV- r?BH2 H2/BM; iQ  HBKBi2/@T`2+BbBQMX 6HQiBM;@TQBMi MmK#2`b bmTTQ`i  i`/2@Qz #2@ ir22M `M;2 M/ T`2+BbBQM /m2 iQ Bib 7Q`KmHB+ `2T`2b2MiiBQM r?B+? TT`QtBKi2b  `2H MmK@ #2`X MQi?2` /pMi;2 biM/b BM i?2 2tBbi2M+2 Q7  biM/`/ (R) #b2/ QM bQHB/ Ki?2KiB+H ;`QmM/bX LQr/vb- 6S Bb KQ`2 M/ KQ`2 mb2/ BM i?2 bT+2- 2`QMmiB+b M/ miQKQiBp2 BM@ /mbi`B2b- /m2 iQ i?2 BM+`2bBM; +QKTH2tBiv Q7 i?2 +QKTmiiBQMb M/ #2+mb2 6Slb `2 #2@ +QKBM; biM/`/ 7Q` KQbi T`Q+2bbQ`bX 6HQiBM;@ TQBMi MmK#2`b `2 MQi `2H MmK#2`bX 6HQiBM;@ TQBMi QT2`iBQMb #2?p2 BM [mBi2 /Bz2`2Mi rv 7`QK i?2 `2H +QmMi2`T`ib- /m2- 7Q` BMbiM+2- iQ `QmM/BM; M/ +M+2HHiBQMb (Rd)X *QMb2[m2MiHv- bQ7ir*QMb2[m2MiHv-`2 BKTH2K2Mi*QMb2[m2MiHv-iBQM Q7 bQK2 K*QMb2[m2MiHv-i?2K*QMb2[m2MiHv-iB@ +H 2tT`2bbBQM mbmHHv T`QpB/2b `2bmHib i?i `2 MQi bi`B+iHv- Ki?2KiB+HHv- 2t+iX b Bi Bb Q7@

i2M /B{+mHi iQ 7Q`2b22 i?2 #2?pBQ` Q7 ~QiBM;@ TQBMi T`Q;`Kb- 7Q`KH p2`B}+iBQM Q7 ~QiBM;@ TQBMi T`Q;`Kb Bb ?B;?Hv /2bB`2/ BM i?2 BM/mb@ i`vX

h?2 #bB+ TT`Q+?2b iQ //`2bb 7Q`KH p2`B}+iBQM Q7 ~QiBM;@TQBMi T`Q;`Kb BM+Hm/2 #bi`+i BMi2`T`2iiBQM- 7Q`KH T`QQ7 M/ #Bi@ #HbiBM; UHbQ +HH2/ #Bi@~ii2MBM;VX #bi`+i BMi2`T`2iiBQM T`iBHHv 2t2+mi2b T`Q;`K QM M #bi`+i /QKBMX h?Bb TT`Q+? T2`7Q`Kb r2HH BM T`Q;`K MHvbBb rBi? ~QiBM;@TQBMi p`B@ #H2b (k)X 6Q`KH T`QQ7 bmTTQ`i2/ #v T`QQ7 b@ bBbiMib Bb  p2`v TQr2`7mH TT`Q+? i?i `2@ [mB`2b iQ #2 ;mB/2/ #v ?B;?Hv bFBHH2/ 2tT2`i iQ /B`2+i i?2 `2bQMBM; iQr`/b i`;2i T`QT2`@ iB2bX AMi2`+iBp2 i?2Q`2K T`Qp2`b bm+? b *Gk-*Q[- >PG GB;?i M/ Soa ?p2 #22M TTHB2/ iQ ~QiBM;@TQBMi p2`B}+iBQM (R9)X "Qi? Q7 #bi`+i BMi2`T`2iiBQM M/ 7Q`KH T`QQ7 TT`Q+?2b H+F #BHBiv iQ ;2M2`i2 +QmMi2`2tKTH2b r?2M i?2 T`QT2`iv /Q2b MQi ?QH/X "Bi@#HbiBM; `2T`2b2Mib ~QiBM;@TQBMi QT2`iBQMb b +B`+mBib- r?B+? `2 i?2M i`Mb7Q`K2/ iQ "QQH2M 7Q`KmH rBi? #Bi@ rBb2 QT2`iQ`b iQ #2 bQHp2/ #v ah bQHp2`bX "Bi@ #HbiBM; `2HvBM; QM ah bQHp2`b Bb  7mHHv m@ iQKiB+ `2bQMBM; #2M2}iBM; 7`QK +QmMi2`2t@ KTH2b 7Q` ~QiBM;@TQBMi T`Q;`KbX Ai Bb BKTH2@ K2Mi2/ BM i?2 aiBb}#BHBiv JQ/mHQ h?2Q`B2b UaJhV bQHp2`b bm+? b wj (Ry)- Ji?ah 8 (d)-aPLPG_ (R8) M/ *"J* (8)X Ai Bb HbQ i?2 2H2@ K2Mi`v #mi i?2 KQbi bB;MB}+Mi T`i Q7 Qi?2` ~QiBM;@TQBMi p2`B}+iBQM bi`i2;B2b mbBM; ah bQHp2`b b i?2 #+F@2M/X aBM+2 i?2 Tm#HB+iBQM Q7 aJh@GA" i?2Q`v Q7 #BM`v 6S (R3)- bQHp2`b `2 bi`iBM; iQ bmTTQ`i Bi mbBM; bQK2 /pM+2/ Z6n6S bQHpBM; bi`i2;B2b- bm+? b KBt2/ #bi`+@ iBQM BM *"J* (8)- MQM@+QMb2`piBQM TT`QtBK@ iBQMb BM wj (Rj)- #bi`+iBQM BMiQ BMi2`pH `Bi?@ K2iB+ BM Ji?ah (j-9)- i`MbHiBQM BMiQ MQM@ HBM2` `2Hb BM _2HBx2` (Re)- 2i+X

aj rBHH #2 mb2/ iQ p2`B7v T`i Q7 i?2 ~QiBM;@ TQBMi bQ7ir`2 2K#2//2/ BM  `Qp2` THi7Q`K-hrA_h22 U i?`22@r?22H2/ miQMQKQmb `Qp2`V mb2/ b i?2 /2KQMbi`iQ` 7Q` i?2 AL:1ZlAS T`QD2+iX h?2 AL:1ZlAS `2b2`+? T`QD2+i i i?2 AMbiBimi /2 _2+?2`+?2 h2+?MQHQ;B[m2 UA_hV

aBMi@1tmTû`v BM hQmHQmb2 //`2bb2b i?2 7QHHQr@

BM; 2[mBTK2Mi 2M;BM22`BM; iQTB+b, `+?Bi2+im`2 KQ/2HHBM; M/ 2pHmiBQM- 2`Hv oo mbBM; pB`@

imH THi7Q`Kb- M/ 7Q`KH p2`B}+iBQMX 6Q` i?Bb Tm`TQb2- r2 BKTH2K2Mi2/ M 6S biM/HQM2 HB@ #``v iQ 2M#H2 i?2 ~QiBM;@TQBMi p2`B}+iBQM #v K2Mb Q7 #Bi@#HbiBM;X h?Bb QTiBKBx2/ 6S HB#``v rBHH 2bi#HBb?  bQHB/ 7QmM/iBQM M/ #@ bB+ bi`i2;v 7Q` Qm` 7mim`2 BMp2biB;iBQM QM /@ pM+2/ 6S bi`i2;B2b BM ajX

h?2 BKTH2K2MiiBQM Q7 6S HB#``v BM aj Bb #b2/ QM i?2 A111 6S biM/`/ d89@kyy3 (R)X h?2 6S HB#``v BM aj BM+Hm/2b,

Ĝ "BM`v BMi2`+?M;2 7Q`Ki 2M+Q/BM; i?i

HHQrb mb2`@/2}M2/ `M;2b Q7 2tTQM2Mi M/ KMiBbb- BM+Hm/BM; bBM;H2 M/ /Qm#H2 T`2@ +BbBQMb Ĝ LQ`KH- bm#MQ`KH- BM}MBiv- LL MmK#2`b Ĝ 8 `QmM/BM; /B`2+iBQMb, `QmM/hB2bhQ1p2M-`QmM/hB2bhQrv- `QmM/hQr`/SQbBiBp2-`QmM/hQr`/L2;iBp2- `QmM/hQr`/w2`Q Ĝ *QKT`BbQM QT2`iBQMb, 1[mH- LQi1[mH-:`2i2`- :`2i2`1[mH- G2bb M/ G2bb1[mH

Ĝ `Bi?K2iB+ QT2`iBQMb, //BiBQM- am#@

i`+iBQM- JmHiBTHB+iBQM- .BpBbBQM M/ a[m`2_QQi

Ĝ *QMp2`bBQM QT2`iBQMb, +QMp2`iAMihQ6HQi

M/ +QMp2`i6HQihQAMi

Ĝ h`B;QMQK2i`B+ QT2`iBQMb, aBM- *Qb- M/

hM

Ĝ .27mHi 2t+2TiBQM ?M/HBM;, BMpHB/ QT2`@

iBQMb- /BpBbBQM #v x2`Q- Qp2`~Qr M/ mM/2`@ ~Qr

h?2 a[m`2_QQi M/ i`B;QMQK2i`B+ QT2`@ iBQMb `2 BKTH2K2Mi2/ #v K2Mb Q7 #Qi? BM@ i2`TQHiBQM i#H2 M/ i?2 7mM+iBQM T`QTQb2/ #v *Q/v M/ qBi2 (3)X

j AM/mbi`BH TTHB+iBQMb

jXR _BHrv lb2 *b2 ě AMi2`HQ+FBM; a72iv S`QQ7

M BMi2`HQ+FBM; Bb M ``M;2K2Mi Q7 bB;MH T@ T`imb2b i?i T`2p2Mib +QM~B+iBM; KQp2K2Mib i?`Qm;? M ``M;2K2Mi Q7 i`+Fb bm+? b DmM+@ iBQMb Q` +`QbbBM;bX M BMi2`HQ+FBM; Bb /2bB;M2/ bQ i?i Bi Bb BKTQbbB#H2 iQ /BbTHv  bB;MH iQ T`Q+22/ mMH2bb i?2 `Qmi2 iQ #2 mb2/ Bb T`Qp2M b72X h?2 KBM +?HH2M;2 Bb iQ 2Mbm`2 i?i r?i@ 2p2` b+2M`BQ rBHH ?TT2M- i?2 /2bB;M2/ BMi2`@ HQ+FBM; rBHH biv b72X M/ H#2Bi Bib TT`2Mi bBKTHB+Biv QM2 [mB+FHv mM/2`biM/b i?2 `2H mM@ /2`HvBM; +QKTH2tBiv ě r?i2p2` `mH2 vQm Kv BK;BM2- Bi HQQFb HBF2 QM2 +M Hrvb }M/  b+2@ M`BQ #`2FBM; Bi Ui`BM +M ;Q #+Fr`/b- +M bQK2iBK2 TT2` iQ ~v /m2 iQ +QM+m``2M+v `i2@ 7+ib- ĘV AMbiM+BiBQM .2bB;M S`Q+2bb AM  `2+2Mi rQ`F-r2 ?p2 +QMbB/2`2/  *QKTmi2` "b2/ AMi2`@ HQ+FBM; U*"AV /2bB;M2/ i?`Qm;? M BMbiMiB@ iBQM T`Q+2bbX AM bm+?  T`Q+2bb- i?2 bB;MHBM;

T`BM+BTH2b `2 +Tim`2/ #v i?2 2M;BM22`b iQ T`Q@

/m+2 i?2 :2M2`B+ .2bB;M BM bQK2 bmBi#H2 HM@ ;m;2X h?Bb /2bB;M +QMiBMb  b2i Q7 ;2M2`B+ /2b+`BTiBQMb Q7 +Q/2 T`ib i?i M BMi2`HQ+FBM; bvbi2K b?HH 2t2+mi2 7Q` bQK2 bT2+B}+ Q#D2+i Q7 i?2 bvbi2K bm+? b bB;MHb- brBi+?2b- `Qmi2b-Ę 1+? Q7 i?2b2 ;2M2`B+ /2b+`BTiBQMb Bb ;Bp2M BM  T`K2i`Bx2/ 7Q`K r?B+? HHQrb 7Q` i?2 bT2+B@ }+BiB2b Q7 i?2 Q#D2+i iQ r?B+? Bi TTHB2bX 6Q` 2t@ KTH2- i?2 ;2M2`B+ /2bB;M 7Q`  `Qmi2 rBHH T`Q#@ #Hv #2 T`K2i`Bx2/ rBi? i?2 HBbi Q7 brBi+?2b +QMiBM2/ BM i?2 `Qmi2X h?2 ;2M2`B+ /2bB;M Bb i?mb bT2+B}+ iQ  b2i Q7 bB;MHBM; T`BM+BTH2b- #mi BM/2T2M/2Mi Q7  T`iB+mH` i`+F HvQmiX

h?2 ;2M2`B+ /2bB;M Bb i?2M BMbiMiBi2/ mTQM  T`iB+mH` i`+F HvQmi iQ T`Q/m+2 i?2 `mMMBM; bQ7ir`2X

o2`B}+iBQM S`Q+2bb q2 ;`7i Qm` p2`B}+iBQM

T`Q+2bb QMiQ i?2 BMbiMiBiBQM b+?2K2 #v /2@ bB;MBM;  :2M2`B+ a72iv aT2+B}+iBQM K/2 Q7,

Ĝ bQK2 ?B;? H2p2H T`QQ7 Q#HB;iBQMb Uj iQ

9 T`QT2`iB2b #Qmi #b2M+2 Q7 /2`BHK2Mib M/

+QHHBbBQMbV-Ĝ bQK2 BMi2`K2/Bi2 T`2/B+i2b KQ/2HBM; i?2

/QKBM Ubm+? b iQTQHQ;B+H T`2/B+i2b r?B+? 2M+Q/2 i?2 i`+F HvQmi- BMi2;`iBQM T`2/B+i2b r?B+? bbQ+Bi2 BMTmi M/ Qmi@ Tmi p`B#H2b rBi? i?2B` Q#D2+i BMbiM+2-?2HT2` T`2/B+i2b +QMp2vBM; ?B;? H2p2H `2@ HiBQMb #2ir22M Q#D2+ib bm+? b `2+?#BH@ Biv-ĘV

Ĝ M 2MpB`QMK2Mi KQ/2H mTQM r?B+? i?2

T`QQ7 Q#HB;iBQMb `2 2tT`2bb2/ Ui`BMb #2@ ?pBQ`-ĘVX

M/ i?2M BMbiMiBi2 i?Qb2 T`QT2`iB2b M/ KQ/@ 2Hb rBi? i?2 bT2+B}+ i`+F HvQmi /iX h?2 Qp2`@ HH mM+2`iB}2/ T`Q+2bb Bb ;Bp2M BM };m`2 kX hQTQHQ;v :2M2`B+ a72iv aT2+B}@ +iBQM :2M2`B+ .2bB;M Y iQTQX i`MbHiQ` AMbiMiBiBQM hQQH Y /2bB;M i`MbHiQ` S`QQ7 1M;BM2 PEfLPE 6B;X kX Pp2`pB2r Q7 M mM+2`iB}2/ p2`B}+iBQM T`Q@ +2bb 7Q` M BMbiMiBi2/ /2bB;MX h?2 bT2+B}+ iQTQHQ;v

i`MbHiQ` iQQH i`MbHi2b iQTQHQ;B+H /i BM M >B;?

G2p2H GM;m;2 KQ/2HX h?2 bT2+B}+ /2bB;M i`Mb@

HiQ` iQQH i`MbHi2b i?2 BMbiMiBi2/ /2bB;M BM 

>B;? G2p2H GM;m;2 KQ/2HX h?2 +QM+i2MiBQM Q7 HH KQ/2Hb Bb i?2M 722/ iQ aj T`QQ7 2M;BM2X JMmH H2KKb Kv #2 //2/ BMiQ i?2 :2M2`B+ a72iv aT2+@ B}+iBQM iQ ?2HT i?2 T`QQ7X

b M 2tKTH2 Q7 BMi2`K2/Bi2 T`2/B+i2b mb2/ BM i?2 :2M2`B+ a72iv aT2+B}+iBQM- i?2 7+i i?i dz2p2`v #HQ+F #2HQM;BM; iQ  ;Bp2M `Qmi2Ǵ Bb 7`22 +M #2 2tT`2bb2/ b,

GG #,"GP*Ea U+QMiBMbU`Qmi2-#V @= 7`22U#VV

r?2`2 GG Bb i?2 mMBp2`bH [mMiB}2`- #,"GP*Ea BM/B+i2b i?i # b?HH `M;2 QM 2p2`v BMbiM+2b Q7 i?2 "GP*Ea- M/ @= Bb i?2 BKTHB+iBQM QT2`@ iQ`X

_2bmHib h?2 T`QQ7 T`Q+2bb rb TTHB2/ iQ 

*"A Q7 KQ`2 i?M kyy `Qmi2b M/ T2`KBi mb iQ TBMTQBMi j b72iv +QmMi2`2tKTH2b r?B+? r?2`2 i?2M +Q``2+i2/ r?2i?2` BM i?2 /2bB;M Q` BM i?2 iQTQHQ;v /iX h?2 Qp2`HH T`QQ7 iQQF H2bb i?M k8 KM BM i?2 rQ`bi +b2- r?B+? rQmH/ ;Q b

?B;? b R ?Qm` 7Q`  +2`iB}2/ T`Q+2bb BKTHvBM; i?2 mb2 Q7  b2+QM/ iQQH +?BM- M 2[mBpH2M+2 p2`B}+iBQM M/  T`QQ~Q; +?2+FX

h?2 p2`B}+iBQM rb bm++2bb7mH M/ T`Qp2/ iQ #2 mb#H2 2MQm;? iQ bbBbi i?2 /2bB;M i2K BM /2#m;;BM; i?2 *"AX Ai HbQ Tp2/ i?2 rv 7Q`  +2`iB}2/ p2`B}+iBQM i?i rQmH/ #2 mb2/ #v i?2 b72iv i2KX

AM i?2 +QKT2iBiBp2 BMi2`HQ+FBM; K`F2i- i?Bb rQmH/ +H2`Hv ;Bp2 M 2/;2 iQ i?2 *"A KMm@ 7+im`2` r?2M +QKT`BM; iQ Qi?2` bQHmiBQMb BM@ i2;`iBM; Q` MQi 7Q`KH p2`B}+iBQMX

jXk 2`QbT+2 M/ miQKQiBp2 lb2 *b2

h?2 ~QiBM;@TQBMi p2`B}+iBQM #v aj ?b #22M TTHB2/ iQ irQ +b2 bim/B2b, i?2 pBQMB+ i`BTH2t b2MbQ` pQi2` M/ i?2 miQKiB+ `Qp2` T`Qi2+iBQM bvbi2KX Ai Bb HbQ mb2/ iQ miQKiB+HHv ;2M2`@ i2 i?2 i2bi +b2bX

h`BTH2t a2MbQ` oQi2` *b2 aim/v h?2

i`BTH2t b2MbQ` pQi2`8 <sub>Bb mb2/ BM  +QKKQM 7Q`K</sub> Q7 `2/mM/Mi B`+`7i bvbi2K h`BTH2t JQ/mH` _2/mM/M+v UhJ_V- r?B+? `2HB2b QM i?`22 B/2M@ iB+H b2MbQ`b iQ +QKTmi2 M QmiTmi pHm2 7`QK i?2 i?`22 BMTmi pHm2b #v i?2 pQi2`X Ai Bb BK@ TH2K2Mi2/ mbBM; HBM2` `Bi?K2iB+ QT2`iBQMb b r2HH b +QM/BiBQMH 2tT`2bbBQMb Ubm+? b bim`@ iBQMVX Aib 7Q`KH MHvbBb +Qp2`b 7mM+iBQMH M/ MQM@7mM+iBQMH T`QT2`iB2b BM+Hm/BM; bi#BHBiv-#b2M+2 Q7 `mMiBK2 2``Q`b- M/ HbQ iQ T`K@ 2i2`Bx2 +2`iBM T`ib Q7 i?2 KQ/2H iQ ?2HT i?2 7Q`KH MHvbBbX h?2 7Q`KH MHvbBb Q7 i`BTH2t b2MbQ` pQi2` rb }`bi bim/B2/ #v .DMB@"`QrM 2i HX BM (N)- r?2`2 `2H pHm2b r2`2 #bi`+i2/ #v BMi2;2` pHm2b M/ BMi2;`iQ`b r2`2 MQi mb2/X AM (RR)- .B2`F2b MHvx2/ i?2 aBKmHBMF KQ/2H rBi? `2H MmK#2`b #v #Qi? bBKmHiBQM M/ 7Q`@ KH p2`B}+iBQM- i?2M 2biBKi2/ i?2 BKT+i Q7 `QmM/BM; 2``Q`b +mb2/ #v i?2 ~QiBM;@TQBMi BKTH2K2MiiBQM mbBM; aJh bQHp2`b M/ #bi`+i BMi2`T`2iiBQMX AM (e)- *?KTBQM 2i HX bi`2M;i?@ 2M2/ i?2 bi#BHBiv T`QT2`iv #v ;2M2`iBM; H2K@ Kb mbBM;  T`QT2`iv@/B`2+i2/ TT`Q+?X

8_{h`BTH2t b2MbQ` pQi2` +b2 bim/v Bb T`QpB/2/ #v _Q+Fr2HH *QHHBMb iQ KF2 Bi Tm#HB+Hv pBH#H2 iQ i?2}

AM Qm` rQ`F- r2 bi`i 7`QK  a*.1 KQ/2H Q7 i?2 pQi2` M/ i`MbHi2 Bi iQ >GG KQ/2H mb@ BM; i?2 a*.1@i`MbHiQ`X h?MFb iQ Qm` 6S HB#``v- i?2 >GG KQ/2H Bb i?2M p2`B}2/ mbBM; i?2 aj bQHp2`X AM T`HH2H- r2 mb2 aJh@bQHp2`b wj p9X9- Ji?ah 8 M/ aPLPG_ iQ p2`B7v i?2 aJh KQ/2HX 1tT2`BK2Mib `2 +``B2/ Qmi mbBM; #Qi? bBKTH2 M/ /Qm#H2 T`2+BbBQM ~QiBM;@TQBMi MmK#2`b rBi? Q` rBi?Qmi bm#MQ`KH MmK#2`b M/ rBi? /Bz2`2Mi `QmM/BM; KQ/2bX

h?2 `2bmHib b?Qr i?i M2Bi?2` wj p9X9 U#Bi@#HbiBM; bi`i2;v- ~QiBM;@TQBMi bi`i2;vV MQ` Ji?ah 8 U#Bi@#HbiBM; bi`i2;v- #bi`+i *.*G H;Q`Bi?KV Q` aPLPG_ `2 #H2 iQ ?M@ /H2 i?2 bi2T BMbiM+2- #2 Bi BM bBKTH2 Q` /Qm@ #H2 T`2+BbBQMX q2 KM;2/ iQ T`Qp2 i?2 BM/m+@ iBp2 BMbiM+2 mbBM;  +QK#BMiBQM Q7 aPLPG_ #Bi@#HbiBM; iQ  *L6 M/  Tm`2 ah bQHp2` U;Hm+Qb2 9Xy KmHiBi?`2/ rBi? 3 i?`2/b M/ ;;`2bbBp2 `2bi`i bi`i2;B2b- bi2HHBi2 T`2T`Q@ +2bbBM;V BM RyKBM Q7 +QKTmiiBQM 7Q` i?2 bBK@ TH2 T`2+BbBQM BMbiM+2- M/ 9?R8KBM Q7 +QKTm@ iiBQM 7Q` i?2 /Qm#H2 T`2+BbBQM BMbiM+2 UrHH +HQ+F iBK2VX aj T`Qp2/ i?2 bi2T BMbiM+2 BM eKBM mbBM; ;Hm+Qb2 9Xy M/ 8KBMb mbBM; ajǶb QrM bQHp2` 7Q` i?2 bBKTH2 T`2+BbBQM BMbiM+2- M/ BM N?jkKBM mbBM; ;Hm+Qb2 9Xy 7Q` i?2 /Qm#H2 T`2@ +BbBQM BMbiM+2X

h2bi :2M2`iBQM AM Q`/2` iQ +QM7Q`K iQ i?2

/QKBM biM/`/b- +QKTMB2b bQK2iBK2b ?p2 iQ b2imT T`Q+2bb2b r?2`2  bi`m+im`H i2bi +Qp@ 2`;2 Kmbi #2 +?B2p2/ #v K2M Q7 KMmH i2bi@ BM; +iBpBiB2bX h?Qb2 +iBpBiB2b +QMbBbi KBMHv BM }M/BM; i?2 BMTmib M/ Q`+H2b bm+? i?i i?2 bi`m+im`H +Qp2`;2 +`Bi2`BQM Bb `2bT2+i2/X

q2 bm++2bb7mHHv mb2/ KQ/2H +?2+FBM; rBi? aj BM Q`/2` iQ b2imT M miQKiB+ T`Q+2bb Q7 }M/@ BM; i?2 b2i Q7 i2bib i?i rBHH +?B2p2 i?2 bi`m+@ im`H MQ/2 +Qp2`;2 QM  a+/2 KQ/2H- r?2`2 i?2 +`Bi2`BQM rb i?i i KQbi QM2 2Mi`v Q7  ;Bp2M MQ/2 b?QmH/ +?M;2 i QM+2X miQKiBQM Q7 bm+?  ibF H2/b iQ ;`2i +Qbi `2/m+iBQMbX

6Q`KH o2`B}+iBQM 7Q` _S *b2 aim/v

h?2 miQKiB+ _Qp2` S`Qi2+iBQM U_SV bvbi2K- bBKTH2 +QHHBbBQM bvbi2K-pQB/bvbi2K-M+2 7mM+iBQM- Bb /2p2H@ QT2/ 7Q` i?2 irA_h22 THi7Q`K BM i?2 AL:1ZlAS

T`QD2+iX Ai T2`7Q`Kb  T`2/2}M2/ i`D2+iQ`v U dzKBbbBQMǴV QM  T`2/2}M2/ i`+F M/ pQB/ +QH@ HBbBQMb rBi? Qi?2` `Qp2`bX h?2 b2i Q7 i`+Fb `2 biiB+HHv /2}M2/ M/ 2K#2//2/ BM i?2 `Qp2`X h?2 _S Bb #b2/ QM i?2 7QHHQrBM; T`BM+BTH2b,

RX JBbbBQMb Ui`D2+iQ`B2bV `2 T`2+QKTmi2/ mb@ BM; M /Ti2/ b?Q`i2bi Ti? H;Q`Bi?K(Rk)X kX  `Qp2` b?HH QMHv KQp2 QM  `2b2`p2/ Ti?

B7 i?2`2 Bb  7`22 `2b2`p2/ bT+2 ?2/X jX  `2b2`p2/ Ti? Bb  bi+F Q7 `2b2`p2/ MQ/2bX 9X  `Qp2` `2b2M/b `2b2`piBQM `2[m2bi iQ ;2i i?2 2t+HmbBp2 ++2bb iQ i?2 i`+Fb HQ+i2/ ?2/ Q7 Bi- B7 i?2`2 Bb MQi 2MQm;? `2b2`p2/ bT+2 U.n_1ZV ?2/X

8X  `Qp2` biQTb B7 i?2`2 Bb MQi 2MQm;? `2b2`p2/ bT+2 U.nahPSV ?2/X

eX  `Qp2` `2b2`p2b 2MQm;? bT+2 U.n_aoV ?2/ 7Q` 2+? `2[m2biX

dX AM Q`/2` iQ 2Mbm`2  +QMbBbi2Mi KM;2K2Mi Q7 MQ/2 `2b2`piBQMb-  /Bbi`B#miBQM bi`i2;v mbBM; B/@T`BQ`Biv Bb BKTH2K2Mi2/X

AM i?Bb +b2- aj Bb 2tTHQBi2/ iQ p2`B7v b2p2`H T`QT2`iB2b TTHB+#H2 iQ HH BM/2T2M/2Mi `Qp2`b-bm+? b S1, `Qp2`b `2 M2p2` ;`Mi2/ bBKmHiM2@

Qmb ++2bb iQ i?2 bK2 `2 Ub72ivV- M/ S2,

HH `Qp2`b 2p2MimHHv `2+? i?2B` /2biBMiBQMb

U#QmM/2/ HBp2M2bbV- 2i+X 0 1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10  " * . 1 6 : > 6B;X jX _Qp2` h`D2+iQ`B2b 7Q` _S

q2 T`2b2Mi 2tT2`BK2MiH `2bmHib 7`QK  _S +b2 bim/v rBi? irQ `Qp2`bX h?2 i`D2+iQ`B2b Q7 `Qp2`b rBi?BM M 2M+HQb2/ bT+2 Q7 RyK×RyK `2 T`2/2}M2/ Ub22 };X jVX h?2 `Qp2` _1 T`Q@ +22/b rBi?  bT22/ p1 4 yX9Kfb 7`QK MQ/2 -i?`Qm;? MQ/2 1- 6- : M/ >- i?2M biQTb i MQ/2

"- r?BH2 i?2 `Qp2` _2T`Q+22/b rBi?  bT22/ p2 4 yXjKfb 7`QK MQ/2 *- i?`Qm;? MQ/2b :- 6- 1 M/ >- i?2M biQTb i MQ/2 .X h?2 H2M;i? Q7 2+? i`D2+iQ`v Bb #Qmi kyKX b i?2 }`bi bi2T Q7 Qm` bim/v- r2 bbmK2 i?i i?2 bT+2 Q++mTB2/ #v `Qp2`b `2 B;MQ`2/- M/ i?i i?2 +HQ+Fb Q7 `Qp2`b `2 bvM+?`QMBx2/X *QMb2[m2MiHv- `Qp2`b `2 +QM@ bB/2`2/ iQ T2`7Q`K +iBQMb bvM+?`QMQmbHvX q2 T`Qp2/ i?2 T`QT2`iv S1 BM HKQbi MQ iBK2 mb@ BM; BM/m+iBQM M/ i?2 T`QT2`iv S2 BM b2p2`H b2+QM/b mbBM; #QmM/2/ KQ/2H +?2+FBM; BM ajX jXj Pi?2` lb2 *b2 ě *QMbi`BMi aQHpBM; 7Q` Ji`Bt qB`BM; aj rb mb2/ b  +QMbi`BMi bQHp2` iQ miQKi2 }M/BM; Q7 bQHmiBQM iQ  rB`BM; T`Q#H2K Qp2`  100 × 100 Ki`Bt rBi? b2p2`H Hv2`b Q7 rB`2b M/ b2p2`H HBKBiiBQMb Qp2` i?2 /27Q`KiBQMb i?i rB`2b Kv mM/2`;QX

PM+2 i?2 +QmMi2`2tKTH2 Q#iBM2/-  bKHH M/ 2bv iQQH HHQr2/ iQ i`MbHi2 Bi BMiQ 

M2iHBbiX

9 *QM+HmbBQM M/ 6mim`2 qQ`F

Pm` 2tT2`B2M+2 rBi? KQ/2H +?2+FBM; ?b b?QrM i?i aj Bb  ;`2i iQQH iQ KM;2 /Bz2`2Mi ivT2b Q7 BM/mbi`BH bBx2 T`Q#H2Kb rBi? `2bT2+i iQ i?2B` bT2+B}+ `2;mHiQ`v +QMbi`BMibX >Qr@ 2p2`- i?2 iQQH Bb biBHH i TBMb 7Q` bQK2 T2+m@ HB` T`Q#H2Kb M/ ?b bQK2 BMi`BMbB+ HBKBiiBQMb i?i T`2p2Mi Bib TTHB+iBQM QM  rB/2` `M;2 Q7 T`Q#H2Kb- QM2 Q7 Bi #2BM; Bib +m``2Mi BM#BHBiv iQ ?M/H2 /2bB;Mb r?B+? KF2 mb2 Q7 ~QiBM;@TQBMi `Bi?K2iB+X

AM Q`/2` iQ i+FH2 i?2 ~QiBM;@TQBMi HBKBi@ iBQM- r2 ?p2 /2bB;M2/ M 6S HB#``v M/ BMi2@ ;`i2/ Bi BM ajX Pm` M2ti ;QH Bb iQ BMp2biB;i2 ?Qr r2HH Bi rQ`Fb QM  rB/2` `M;2 Q7 BM/mbi`BH /2bB;Mb 7`QK miQKQiBp2- 2`QMmiB+- BM/mbi`v-2M2`;vĘ M/ iQ 2bi#HBb? #2M+?K`F UQ` `2mb2 2tBbiBM; aJh #2M+?K`FbV iQ 2pHmi2 i?2 T2`@ 7Q`KM+2 Q7 ~QiBM;@TQBMi p2`B}+iBQM #v ajX

h?2 T`QQ7 2M;BM2 i i?2 +Q`2 Q7 aj Bb HbQ mM/2`;QBM; ?2pv rQ`F BM Q`/2` iQ BKT`Qp2 Bib 2{+B2M+v 7Q` #B; bBx2 KQ/2HbX

h?Bb bB;MB}+Mi BKT`Qp2K2Mi- bbQ+Bi2/ iQ i?2 ?2pv rQ`F QM;QBM; QM i?2 T`QQ7 2M;BM2 i

i?2 +Q`2 Q7 aj- b?Qrb ;`2i T`QKBb2b 7Q` /2HBM; rBi? 7mim`2 BM/mbi`BH +?HH2M;2bX

_272`2M+2b

RX A111 aiM/`/b bbQ+BiBQMX A222 biM/`/ 7Q` ~QiBM;@TQBMi `Bi?K2iB+X kyy3X

kX "`mMQ "HM+?2i- Si`B+F *QmbQi- _/?B *QmbQi- Cû`QK2 62`2i- Gm`2Mi Jm#Q`;M2-MiQBM2 JBMû- .pB/ JQMMBmt- M/ spB2` _BpHX  biiB+ MHvx2` 7Q` H`;2 b72iv@+`BiB+H bQ7ir`2X AM *J aA:SGL LQiB+2b- pQH@ mK2 j3- T;2b RNeĜkydX *J- kyyjX

jX J`iBM "`BM- oBDv .ǶaBHp- H#2`iQ :`B;@ ;BQ- G2QTQH/ >HH2`- M/ .MB2H E`Q2MBM;X AMi2`TQHiBQM@#b2/ p2`B}+iBQM Q7 ~QiBM;@ TQBMi T`Q;`Kb rBi? #bi`+i +/+HX AM aiiB+

MHvbBb- T;2b 9RkĜ9jkX aT`BM;2`- kyRjX

9X J`iBM "`BM- oBDv .ǶaBHp- H#2`iQ :`B;;BQ-G2QTQH/ >HH2`- M/ .MB2H E`Q2MBM;X .2+B/@ BM; ~QiBM;@TQBMi HQ;B+ rBi? #bi`+i +QM~B+i /`Bp2M +Hmb2 H2`MBM;X 6Q`KH J2i?Q/b BM avb@

i2K .2bB;M- 98UkV,kRjĜk98- kyR9X

8X M;2HQ "`BHHQmi- .MB2H E`Q2MBM;- M/ h?QKb q?HX JBt2/ #bi`+iBQMb 7Q` ~QiBM;@TQBMi `Bi?K2iB+X AM 6Q`KH J2i?Q/b BM *QKTmi2`@

B/2/ .2bB;M- kyyNX 6J*. kyyN- T;2b eNĜ

deX A111- kyyNX

eX /`B2M *?KTBQM- _ûKB .2HKb- M/ JB+?2H .B2`F2bX :2M2`iBM; T`QT2`iv@/B`2+i2/ TQi2M@ iBH BMp`BMib #v [mMiB}2` 2HBKBMiBQM BM  F@ BM/m+iBQM@#b2/ 7`K2rQ`FX a+B2M+2 Q7 *QK@

Tmi2` S`Q;`KKBM;- Ryj,dRĜ3d- kyR8X

dX H2bbM/`Q *BKiiB- H#2`iQ :`B;;BQ- "biB@ M CQQbi a+?7bK- M/ _Q#2`iQ a2#biBMBX h?2 Ki?bi8 bKi bQHp2`X AM hQQHb M/ H@

;Q`Bi?Kb 7Q` i?2 *QMbi`m+iBQM M/ MHvbBb Q7 avbi2Kb- T;2b NjĜRydX aT`BM;2`- kyRjX

3X qXCX *Q/v M/ qXJX*X qBi2X aQ7ir`2 KM@

mH 7Q` i?2 2H2K2Mi`v 7mM+iBQMbX S`2MiB+2@>HH

b2`B2b BM +QKTmiiBQMH Ki?2KiB+bX S`2MiB+2@ >HH- RN3yX

NX aK` .DMB@"`QrM- .``2M *Q72`- :`v >`iKMM- M/ ai2p2 S`iiX 6Q`KH KQ/2H@ BM; M/ MHvbBb Q7 M pBQMB+b i`BTH2t b2MbQ` pQi2`X AM JQ/2H *?2+FBM; aQ7ir`2- T;2b j9Ĝ 93X aT`BM;2`- kyyjX

RyX G2QM`/Q .2 JQm` M/ LBFQHD "DǠ`M2`X wj, M 2{+B2Mi bKi bQHp2`X AM hQQHb M/ H;Q`Bi?Kb

7Q` i?2 *QMbi`m+iBQM M/ MHvbBb Q7

avbi2Kb-T;2b jjdĜj9yX aT`BM;2`- kyy3X

RRX JB+?2H .B2`F2bX 6Q`KH MHvbBb Q7  i`BTH2t b2MbQ` pQi2` BM M BM/mbi`BH +QMi2tiX AM 6Q`KH

J2i?Q/b 7Q` AM/mbi`BH *`BiB+H avbi2Kb- T;2b

RykĜRReX aT`BM;2`- kyRRX

RkX 1/b;2` q .BDFbi`X  MQi2 QM irQ T`Q#H2Kb BM +QMM2tBQM rBi? ;`T?bX LmK2`Bb+?2 Ki?2@

KiBF- RURV,keNĜkdR- RN8NX

RjX M/`2b 6`ƺ?HB+?- `KBM "B2`2- *?`BbiQT? J qBMi2`bi2B;2`- M/ uQmbb27 >K/BX aiQ+?b@ iB+ HQ+H b2`+? 7Q` biBb}#BHBiv KQ/mHQ i?2Q@ `B2bX AM hr2Miv@LBMi? A *QM72`2M+2 QM

`iB}+BH AMi2HHB;2M+2- kyR8X

R9X CQ?M >``BbQMX 6HQiBM;@TQBMi p2`B}+iBQM mbBM; i?2Q`2K T`QpBM;X AM 6Q`KH J2i?@ Q/b 7Q` >`/r`2 o2`B}+iBQM- T;2b kRRĜk9kX aT`BM;2`- kyyeX R8X 6 GTb+?B2b- C S2H2bF- 1 :Q`#+?mF- M/ h JM;2HbX bQMQH` bKi@bQHp2`X aiBb}#BHBiv

KQ/mHQ i?2Q`B2b +QKT2iBiBQMc bvbi2K /2b+`BT@ iBQM- kyRkX

ReX JB`BK G22b2`- avM JmF?2`D22- CB/22T _@ K+?M/`M- M/ h?QKb q?HX JF2 Bi `2H, 1z2+iBp2 ~QiBM;@TQBMi `2bQMBM; pB 2t@ +i `Bi?K2iB+X AM .2bB;M- miQKiBQM M/ h2bi

BM 1m`QT2 *QM72`2M+2 M/ 1t?B#BiBQM U.h1V-kyR9- T;2b RĜ9X A111- kyR9X

RdX .pB/ JQMMBmtX h?2 TBi7HHb Q7 p2`B7vBM; ~QiBM;@TQBMi +QKTmiiBQMbX *J h`Mb+@

iBQMb QM S`Q;`KKBM; GM;m;2b M/ avbi2Kb UhPSGaV- jyUjV,Rk- kyy3X

R3X S?BHBTT _ɃKK2` M/ h?QKb q?HX M bKi@HB# i?2Q`v Q7 #BM`v ~QiBM;@TQBMi `Bi?@ K2iB+X AM AMi2`MiBQMH qQ`Fb?QT QM aiBb}@