Fail-Awareness in Timed Asynchronous Systems


    
  
 "!

#%$'&)(+*-,/.$'0214351 626&)387&:981=?3A@>B502CD35CFE56G?=?62H>1 96

,I;?&)62621402HJ$KH2&)CF3L62E5M598&)H2H21N;O&)3PA$K02H>&Q$K(R6J$KH2&)6-ST$D@H2&)CD3CKSUH>B51 0211 91 3?H>6WSXCF0WH2B51;?1 YF0>1 1Z[C5@H2CD0C'S]\B5&)()CF62CDP5B?= &)3^WCF98P5E5H>1 0/G5@&)1 3A@_1

M?=

^WB502&)62H>C'S`#a1 H2b 140

^WCF989&+H2H2141&:3@>BA$K02YF1Dc \02CKSX1 626>CF0#(d$Ne?&)E^W02&)62H>&d$'3fg^WBA$K&:0 \02CKSX1 626>CF0\14H21 0Z/C'=?()1 \02CKSX1 626>CF0h/14&:H>Bi$'0>b E5()()C \02CKSX1 626>CF0j$'0>02=i&)(:6>H21 &)3 \02CKSX1 626>CF0[kmE5l 0>YF1 3onp1 B5981 0 \02CKSX1 626>CF0\q rs1 35tF$'Hu/$K35Yv$K3

wNxFxFy

W^ CFP?=?02&)YFB?H ^WB50>&:6>H2CKS #a1 H2b 1401 621 0>eF1621 0>HJ$'H>&)CF3OC'SR^WB502&)62H>C'S#514H2b 1 0s&:6]$KP5P502C'eD1&:H-=8C'S]^$'()&+SXCF0>35&d$5f?G5$'3Z/&)1 YDC


wNxFxFy

&)&)&


   


&)e



                           !"      # $
&% ( '!  

e

7,
Wj# ^np7]n7/G G?&)YD3A$'H>E5021 \$'YD1      
       
 
      
 
     &)&)& Z[1 6     
       
 
      
 
     e?& j &:6>HC'S]#&)YDE5021 6      
       
 
      
 
     & ,@2t?35C'.()1EA;? =     
 
      
 
     5ev&)&)& ,[M562H>0J$F@_ H 
       
       
 
      
 
       -3?H20>C5;?EA@H>&:CD 3       
       
 
      
 
     w ,q`u14(Q$KH21&:H>&)CF35 6   
       
 
      
 
      5q G?P%19$'H>&)CF3      
 
      
 
     y Zq]#%$'&)(+*T,[. $K021 G 1 02e?&d@1 ! 6   
       
 
      
 
     " wFq \$'0>H2&)H2&)CD3A$'M5()1/G?=?6>H21 98 6 
       
 
      
 
     " 5q #%$'&)(+*T,[. $K021 3a1 626\02CDPA1402H2&)1 6       
 
      
 
     #w  qi1BA$K35&)6298$ 6      
       
 
      
 
     #w % wFq j C @>t?&)35YOi1BA$'3a&:6>9  
       
 
      
 
     wNx #Wq70J'$ &@ G &:YD3A$'()&)35(Y )a$K9P5()* 1        
 
      
 
     ,+ - 7&)91N;,/62=?3A@>B50>CF35CDE56 G =v6>H21 98. 6        
 
      
 
     / ,q`u14(Q$KH21C5@1 626i$'3%$'YF1491 3?HG?1 02e?&d@4 1      
 
      
 
     / ^q 55H2143562&)CF3a6 6       
       
 
      
 
     Dy wFq G?H$'M5()1G?H2CD0J$'YD1    
       
 
      
 
     Dy 5q G?H$'M5&)()&)H-="$K3A;\02CDYF0>1 626[,/626>E59PaH2&)CF35 6   
 
      
 
     ," Zq]^WCF989OE535&d@ $KH2&)C'73 s=7&)98 1 
       
 
      
 
     %w q\ CF6>62&)M5&)()&:H-=$K3A ; -9P%CF6>62&)M5&)()&:H- = -6262Ea1 8 6     
 
      
 
      wFq71 0>9&)3A$'H>&)CF3ev6/^WCD3A;?&)H2&)CD3A$'(%7&)91 ()&)351 6>6 ^WCD3A;?&)H2&)CF3a(6     
 
      59 q  B?=^WCD99OE535&)@ $'H>&)CF3Mv=O7&)981/&)6 -9P%CF0>HJ$'3?HS CF0/#%$'E5()H-*-7CF()1 0$'3A@: 1 
     , 5q \0>CFYD021 6>6/,/6>62E598P5H2&)CD35; 6 
       
 
      
 
     , - 1 EA;?CK* ^WC5;?9 1    
       
 
      
 
     59 q -98P5()1 91 3?H$'H2&)C'3   
       
 
      
 
     #Wq \ 1 0-S CF029$'3A@_. 1      
       
 
      
 
     -r j C @4$'(jR1N$F;?1

0 ()1&:CD3G?1 02e?&d@1        
 
      
 
     ,q`u14(Q$KH21&:eF$KH2&)CF38C'S]#A$K&:(+*-,/.$'0>1/i1 9OM%1 026>B5&)P G 1 02e?&d@1G?P%162B5&)PG?1 0>e?&Q@_1     
 
      
 
     5q Z[1 H>1H2&)H2&)CD3A$'M5()1/G?=?6>H21 98 6 
       
 
      
 
     r #%$'&)(+*T,[. $K021i1 9OM%1 026>B5&)PG?1 0>e?&Q@_1$      
 
      
 
     ,q`u14(Q$KH2191 3?H\02CDH2C5@CF (     
 
      
 
     wFq \0>CFH>C @_CF= (      
       
 
      
 
     Zq]i1 9OM%1 0>62B5&)P\02CDH2C5@CD (  
       
 
      
 
     wFq \0>CFH>C @_CF(Z[1 HJ$K&)(: 6   
       
 
      
 
     q\0>CFP%1 02H>&:146       
       
 
      
 
     #Wq ^WCF0>0216      
       
 
      
 
     q\ 1 0-S CF029$'3A@_1.     
       
 
      
 
     rCG?E5P5P%CF0>H/#A$K&:(+*-,/.$'0>1 u1N$'(+*T7&)981`,[P5P5()&d@ $'H>&:CD356&)CF 3   
       
 
      
 
     5q j CFYF&d@ $K(m\$K02H2&)H>&:CD35! 6  
       
 
      
 
     Aq ^W()C5@>tv 6       
       
 
      
 
     5q,H>CF9&d@ s02C?$F;5@ $K62 H  
       
 
      
 
    














e?&)&

, , % Dy ,% +

%aw %, %, %Dy ,y 

yDy y," yDx

", ," % ," " ,x + ,x % ,x " w#+ % w#+ " w#F+ x w#F+ x

wDw + wDw  wDw1 Z$'H$'YD0J$'9 G?1402e?&d@1
 
      
 
     5 q G?CD()E5H2&)CF3a c,H2CD9&d@]0>Cv$D;5@ $'6>H G?1402e?&d@1 
 
      
 
     5 q G?H>02EA@_H2E50>&:3aYOC'SUH>B51G?=?6>H21 9       
 
      
 
     #Wq \ 1 0-S CF029$'3A@_1.     
       
 
      
 
     r6J$KYF1 6/$K021 ;?1 ()&)eF1 0>16H2&)H2&)CF3$K021w*2@CF353a16J$KYF1 6[SX0>CF9 CFEaH262&d;?1 H2B51PA$K02H>&:H>&)CF3B%$NeF1 $H20$'356>9&)626>&:CD3;?1 (d$N=CKSU98CF021[H2BA$K 3 4 q   
 
      q  1&)1 0$'0J@>B?=C'SST$K&:(+*2$N. $K0216>1 02e?&d@1 6H2C862E5PaPACD02HS-$'E5()H-*-H2CD()1 0J$K3vHWPA$K02H2&)H>&:CD3A$'Ma(:10>1B51 0>62HU; &:0>1(:=;?1 P%1 3A;?6 E5P%CF3H2B516>1H2&)H2&)CF3 6>B5CFEa(Q; MA1H>&:981 ()=vf MA19OE5H>EA$'()()= +N*2@CD353511&:CD3$'3A;M%1O;?&)6J@CD353511CF9 $'()(RP50>C5@1 626>1 6 &)3CFH>B51 0[PA$'0>H2&)H2&)CF3a6(:C'. @CD35351&)CF3o@CD9P5()&d@ $KH21H2Ba1 P502CDH2C5@CD(;?1 62&)YD33 q   qgy 7B51sST$'&)(+* $N.$'0>1];5$'H$'YF0$'9 6>1 02e?&d@1/$'()()C'.6RH2C0>%1 $16J$'YD1 6H>BA$'H]$K0202&)eD1`e?&d$CD351*-. $N= CF06>(:C'. (:&)35t?6N q    
       
 
      
 
      q " 7B51()C @4$'(%(:1N$F;?1 014(:1N@H2&)CF36>1 02e?&d@1 1 ()1BA$K35YF1[&)H26WeF$'02&d$KM5()51 RS@ SXCD0 $KH]()11OH2B5&)6 &)3?SXCD029$'H2&)CD 3 X H20$'356>9&)H2H>1=?3A@>B502CD35&)b 1B H20#$ &@ ()&)YFB?_H X-j KZ$K3A;[621 3a62CF`0 XT,G A$af G  M Z q 7B51 0>1$'0>1 $K()62CH-.`C@CD3?H202CD()(:14026 XT^wDfg^ ZW$'3Aa ; XT^ afg^ +Z SXCF01B&)3?H21402621N@H2&)CF3 q   

 q)wt?&)35Y91B?* $'35&)6>9oCq Rw@4$'362.&)HJ@>B H2CH>B51 bm$'6>B 62H$'H21$KCH cMA1N@ $'E56>1&)Ht?35C'.6H2BA$KH R @ $'3a35CFH $'6>62E5981 $NS H21 &0 UdEIcH2B%$'5H Rw[&)6`&)3H>B5135CF0>9$K(562H$'H21DGq R @ $'3a35CFHW62.&)HJ@>BH2CH2Ba51 bR$'62B 9C5;?1E53?H2&)(WH2&)91 /862&)3A@18&:H 621 3?H e 1 356>E502&)35YH2BA$KH &)H .&)()(]35CFH62.&)H@2B H2CH>B51 bR$'62B 62H$'H21 MA1S CF02C1 /Dq    
       
 
      
 
     -  q)w \02C5@146262146&)3$OH>&:981B50>CF35CDE5662=?62H>1 9 BA$NeD1$F@4@1 626H>C()C5@ $'( BA$'0;?. $K021O@()C5@2t?6 $'3A;@CD99OE53a&:@ $KH21e?&d$;5$KHJ$KYF0J$K9 914626J$KYF1 6/$D@02CD626$ 3514H-.`CD02tR3 q  
 
     -  q  7B51 ;?02&+SXH0$'H>1 CKS $P50>C5@1 62&6 H# 6WBA$K0J;?.$'0>1@()C5@2 t f3 &:6.&)H>B5&) 3  h* g%f 85gi 2q      &

 %

y x w#+ w#+ Dw w w# w# w Nw y w#" Nw x ,+ aw ,

, ," Dx

i111 H>BA$'3 y +;5$N=?6&+SXH0J$KH21. $K6/;?1 H>1 0298&:3a1=B5CFE50Nq     
 
     ,+ - q  \02C5@1462&6 621 3%;?6E535&d@ $'6>H91 6>6J$KYF1CW H>C$KH021&:CD3;?14(Q$N=?6WC'GS W $'0>d1 c  XhWZ:   $'3A; cOXWZ YD;q  , - q % i116SXCF0];?& R1 02143vHs91 6>6J$'YD1`6>&)b 1 61&:Pa6WSXCF01BCKS]H2B51Ow ,% 981&)b 1 6H20>&:MaE5H2&)CF3C'SRH2Ba1/H20$'356>9&)626>&)CF3;?14(Q$N=?6]CKSmEa35&d@ $'6>H`981 626$'YF146]621 3?H]M?=O$()C5@ $'(5()1H202&)M5EaH2&)CF38&:6M%$'621N;CD 3  + +af + + + 021 P5()&)1 6N. q  
     / - q " \02C5@146269C5;?1 6$'3%;H>0J$K3562&)H2&)CD356&)91 ()=M%1tH>&:98G1 = q\0>C @_1 6256 p62E R1 026 $8PA1 0 SXCF0>9$K3A@1ST$K&:()E50>1&) 3  87dZ[MA1B51 ;?& m1 0>1 3A@1M%1 H-.`141 3oH>B51H2&)91$P502C5@14626/.$'6/$N.$'tD1 351BA$'HCD351P502C5@14626. $K6`6>()C'.  q   
 
     + - q)w  7B5&)6Pa621 EA; C'*2@C5;?1E5621 6@_CF99OEa35&d@ $'H>&:CD3M?=oH>&)91OH2C1 3?S CF0J@_1H>BA$' H &:61 eD1 3?H2EA$K(:()= ()1&:3aYOH2BA$KHH2B51 0>1 &)6CF35()=OCD351(:1N$F;?1 0/$KH/$H2&)91Dq  
 
      -1 02e?&d@1Fq;     " -6H20$'356>9&)626>&:CD3;?1 (d$N = X- 'Zp&)6/$'HW9CF6>4H q ?x - q   
 
     , -1&)35 Y ( $K3A ; J &)3562H>1B51;?1S-$'E5()H eF$K(:Ea1 *6 ) $'3A; 9 $'66>1 3A; H2&)916>HJ$'98P56B51S-$'&)(+* $N.$'0>1 ;a$'HJ$KYF0$'9 621 0>ev&d@1 $K()(:C'.6  $K3A
; H2C ; 1 H211 6BA$'1H B%$'6021N@1 &)eF1CF9 ?Bq 03 X Z@CF3?H$'&)356WH2B5162143A;8H2&)916>HJ$'98P C'SH2B51 98CF6>H]0210J$N=?G6 0H= 3 $K3A! ; 2d= 3 C'SRH2B51[621 3%;?1 10 OH2C$K()(:C'. $'()(F0>1C1 5H20$F@H]H>&)916>HJ$K9P56 C'S502CDE53A;D*-H20>&:Pa6C5@1 62S6 WE5621 6sH2B51]H>&)9162H$'9Pa6 C'SPA$'&)0 Xhe   WAZW.B5&)(:1[P502C5@1462*6 Ea621 6[H2B51H2&)981/62H$'98P56`CKGS Xe  QWZ4q  
     %,+ - q 



-1 0298&:3a1 6"$KH H2Ba1021N@1 P5H>&:CD3 CKS $351 . 981 626$'YD1W SX02CD9

&+S/H2B51OH>&:981 62H$'9Pa6/C'S5W @CFEa(Q;LP50>C'ev&d;?1H2&)YDBvH>1 0E5P5P%1 0MACDE53A;?6[SXCD0 981 626$'YD1 6H2BA$KH 8.&)()(6>1 3A; H2CC 8H2BA$K3H2B51 CD351 6CKS W
-q        
 
      
 
     %aw -&:981 ()=OP502C5@146266>1 3A;?6$KH/()1=@()C5@>tH>&)91E535&)H26$OM50>Cv$D;5@ $'6>H/981 626$'YF1 H2CO9$'tF16>E5021 H2BA$KH/$'()( J@CD35351&)91/6>HJ$K9P56sSXCF&0 ?q %, -G6 021N@1 &)eF1 6$'HW()11 3?H $E56> H    Se $'0>02&)eF146CFE53%;D*TH>02&)PH2&)9146`MA$K621&)P56SXCD0]S CFE50 ;?& m14021 3?HW91 6>6J$'YD1`6>&)b 1 6BO0>CFE53A;v*TH>02&)P@CF3a62&)62H>6`CKSmH-.WC 914626J$KYF1 6sC'SRH2B51[6J$'981`6>&)b 1Fq=%Dy -CFE53A;v*TH>02&)POH2&)9146U&)3A@_021BOH2B51981 626$'YF1 62&)b 1F9 q [E50O&)9P5()1 9O1 3?H$'H2&)CD3&)3A@021N$'62146   - ()&)351B H2B51891 6>6J$'YD16>&:b41Fq7B5&)6 YF0$'P5B62BaC'.6   - 6>&)3A@1.`1P5()CDH2H21N;0>CFE53%;H>02&)P56N)q       
 
     %," -H2&)H2&)CD351621 6Nq 7Ba&:66J@>B5149$LBA$'6OM%1 1 3 Pa02C'eF143 Ea621SXEa(&:3 H>B51&:98P5()1 9143vH$'H>& CF3C'S $'H>CF9&d@ M502C?$F;5@4$'62H6>1 02e?&d@1 6Nq! 
       
 
      
 
     ",+ -rq % ^WCF3A; &:H>&)CF3 XTG Z[021NVFEa&:0>1 6H2BA$KH $ P502C5@1 6>6 62EaP5PACD02H>6$'H[9CF6>HCF351 P502C5@1 6>6$'H $H>&:981 $'3Aa ; X-j?G ZWH>BA$'H/$()16 &)H>621 (+SJq7B?E56Nf5&)3H>B51 H20>&)C  _Q. /H2B514021@ $K31 5&)62H $'H98CF62HsCF351()1H2&)H2&)CD3oH>B51 0218.`CDE5(d; 1 5 &)62H$ 53 &)H21E53A; &:0>11CoM%1$'H H2B51OH-.WC1 3A;?6C'SWH2BA$KH PA$'H>B M?=XTj G?Z fRH>B51 0>1.WCFE5(d;LBA$NeF1H2C1  &)6>H$8P502C5@1 6>6 T8H>BA$'H 62E5PaPACD02H26[H-.`CP50>C @_1 626>1 6H2&)H2&)CD3fNH2B51 0>1`98&)YFB?HA1  &)6>H9OE5()H2&)P5()1 -rq)w  -rq)w  -rq)w % -rq)wH2&)H2&)CD3qW7B51;?E50$'H>&:CD3C'S]62EA@>B $'3&)3A@CD3562&)62H>1 3?H MA14BA$Ne?&:CD0`&)6B5C'.W1 eD1 0MACDE53A;?1N;M?=  q    
 
      
 
     ^WCF3A; &:H>&)CF3DX  ZW1 A@()EA;?146/H2B%$'H/$ 62E5P5P%CF0>H21 0[C'S]$(:C5@ $K(A()1&)91/Ea35&)H26tE53a&:H>611  0214(:1N$'62146 &)H>6(:C5@>tOH2CC q ^WCF356>HJ$K3vH 2L  &)6/@>B5CF6>1 3o6>COH2BA$KGH 6>HJ$N=?6/&) 3 # 6 $'()&)eF1[621 HM%1 H-.W1 1  3 0 $K3AD; = $'3A;  6>HJ$N=?6&) 3 H# 6/$K()&:eD1/6>1 H/M%1 H-.W1 1  3 >I$'3%D; @Oq  
 
      
 
     7B51P50>C5@1 626  W,(eHXh0 CZ8&)3  $  *-PA$'0>H2&)H2&)CDI 3 0  H2B%$'HSXCD0296O$'H LHJ$KtF1 68E5P H2C QL  !
@_(:C5@>tOH2&)981`E53a&:H>6`H>C6>1 3A;8&)H26 026> H ()1&:CD3?*-91 6>6J$'YD51 W/$'3%;O&)H`.&)()(56>1 3A; H2B51621N@CF3A; $KH/98CF62H  (d$'H>1 0< q  1 62BaC'.IH2B%$'GH 6>EA@ @1 1N;?6H>CMA1C5@1 62C 6  .`CDE5(d;OM%1(:C5@>tF1N;H>C$'35CDH2B5140P502C5@1 6>6 $'H
q      \02C5@1462C6 ()C @>t?_6 $E56>H/M%1SXCD021 0>1C$P502C5@1 6>*6 $ cS 6>B5CFE5(d;80214(:1N$'621&)H26 ()C @>tOM%1SXCD021 &)HW0216J$'YD1 W SX02CD9 ;q  
 
     \02C5@1462621456 o$K3AD ;  M%16.&:H>BH>B51 9&)35&)9E59 &d;$K6()C @4$'(R()1B51P50>CFP%CF6>1H20>&:MaE5H2&)CF3 C'SRH2B511 ()1&:981SXCD0 wWH>C "[P50>C5@1 626>1 6PA$K02H2&d@&)PA$KH2&)35Y[&:3H2Ba11 ()19$K(:()1 0W;?& m1 0>1 3A@1 MA1 H-.W1 1 3 w$'3A; P50>C @_1 626>1 6&:6;?E51H>C H2B51[ST$D@HWH2BA$KH`35C()C5@ $'( 021 Pa(:&)1 6/$K021 6>1 3?H.B51 3H>B51 0>1$'0>1 98CF0>1/H2B%$'3 wP502C5@14626C5@1 626>1 61 9C'eD1H2&)H2&)CF3S 02CF9&:H>6"$K()&:eD1*-621 HNf]&-q 1FqH2B51H2&)981OE53?H2&)(`&)H $'H>H21 98P5H26H>CM%1H2&)H2&)CF3a6&:6>CF3C'S%H202141/MA$K6211B51P5621 E%;?C'*2@C5;?1 SXCF0$()C @4$'(R()1e?&Q@_1Fq     
 
     \$'02H  C'S]H>B51P5621 E%;?C'*2@C5;?1 SXCF0$()C @4$'(R()1e?&Q@_1Fq     
 
     \$'02H  C'S]H>B51P5621 E%;?C'*2@C5;?1 SXCF0$()C @4$'(R()1e?&Q@_1Fq     
 
     ,H$'3?= H>&)9A1 $K3 &Q; 1 6

.&)H2B $891 9OM%1 0 *T6>1 H H2B%$'H@CD3562&)6>H26C'SH2B518621 HC'S/P50>C5@1 626>1 6OH2B%$'H$K021EaP $'H B51C5@1 626Nq4    
 
    

5&)&

",% ",%

xaw x, x/ x, x,% Dx y x," xDx w#+ + w#+ + w#+5w w#+  w#+  w#+ 

w#+  wDw +

rq  rq  rq  rq  rq % rqgy rq " rqgx rq)w + rq)wFw rq)w  rq)w  rq)w  rq)w  rq)w % r q)w r q  r q  r q 

,/3EaPoP50>C5@1 626 O@ $'3HJ$KtF1E5PH2CDc8H2&)91 Ea35&)H26/H>C;?14H21B51H20$'&)3o&+BS &)6&)3oCD0 CDE5HC'S $8981 9OMA140-*-621 HpSXCFC0 c8H2&)91 E535&)H26 $NSXH>1 50 BA$K6@0J$K62B51N; CF00>1C @_1 62!6 89$N=3aCFH &)3A@()EA; 1$Pa02C5@1 6>6 &)3 &:H>6 9149OMA1 0 *T6>1 H.B51 3 &)6 E5PSXCD0 ()1 626H2BA$K3 cH>&)91E535&)H26N q ]$F@>B @_0J$'6>B CKS &)6 $F@H>EA$'()()=;?1 H>1C5@1 6269CD021 H>BA$'3 c8H>&:981 E535&)H26H>C@CF981/E5P$KYv$'&)3$ SXH21 0&)HBA$K6/@0J$K62B51N;R q  
      
 
     u11 91 3?H X-Z Z$K(:()C'.6 H-.WCE5P P50>C5@1 626>1  6 $'3%; TLH2C ;?&)6J$'YD021 1&+GS $'3A] ;  026>H 0211B51H-.`COEaPPa02C5@1 6>621 6 $'3%; O; 1 H21B5&)3 c H>&:981E535&)H26NqI^WCF3A; &:H>&)CF3 XX, ZO021NVFEa&:0>1 6H>BA$'H $'3A: ;  @>BA$'3aYF1H2B51 &)0 91 9OM%1 0 *T6>1 H26$'HH>B516J$'981/P%CF&)3?H26&)3021&:981Fq  
      
 
     G?P%1C5@1 6216 OH>BA$'HBA$K6]021(:=8021 98C'eF1CF9 $'3A;8&)3A@()EA; 162B5&)POS CF0E5PH>C cOH>&:981 E535&)H26Nq       
       
 
      
 
     #5CDC0 e7U!$  0>11 1 6 H>BA$'H SXCF01&:CD3O&)3OH2B51[91 9OM%1 026>B5&)P M%1BA$K35YF1 0211
6  e7U $cH2&)91[E535&)H26Nq       
 
      
 
     , 0211O&:H>691 9OM%1 0-*-6214HB51 981 9OMA140-*-621 HWC'S]$ 0>161 9P%CF0$'(F$'YD021 1491 3?HH-.WCE5P Pa02C5@1 6>621 6`@4$'3$D@2Ba&:14eF1]&)6]c H2B51 &)0 91 9OM%1 0-*-6214H @>BA$'35YD1 6/@ $K3M%1 E5PH>C $KPA$'0>HWSX02CD9 1BCDH2B51401 1 6 H>BA$'HH-.WCP502C5@1 6>621 662BaC'. H2B516$'91[eF$'()E5C1 0 .&)H>B5&)3
  XGw 8 g+Z q  
 
      
 
      1O9$KtF1OH2Ba162P%1&:3aYo@()C5@2t H>&)91O&)3562H>1621 6O@>BA$'3aYF1H2B51 &)09149OMA1 0 *T6>1 H $KH/H>B516$'981@()C5@2tLH2&)91&)3562H>1C5@1 626>1 662141/H2Ba16J$'981 91 9OM%1 0>62B5&)P@>BA$K35YF146 $KHH2B51 6$'981 H2&)91 $K3A;H2B%$'H/EaPoP50>C5@1 626>1 6 0>1 9C'eD1$@0$'6>B51CF0WC'S]$@0$'6>B51C5@1 626[&)6Mv=; 1 35&)H2&)CD3OST$K(:6>1Fq, 62HJ$KM5()1P502C5@1 6>6BA$'6WH2C 621 H &:H>6 &)3A;?&d@ $KH2CF0H>CH20>E51O.&)H2B5&)3 H2&)91E535&)H26NqO,/3 Ea3562H$'M5()1OP50>C @_1 6269$N=BA$NeD1"$ H20>E51 CF0$ ST$K(:6>1&:3%;?&d@ $'H>CF0B516&)602149C'eF1N;8SX02CD9 $K(:(E5P *TH>C'*2;5$'H>1981 9OMA140-*-621 H>6 .&)H>B5&)Y 3 c @()C5@2t8H2&)91Ea35&)H261P50>&:9$'0>=PA$'0>H2&)H2&)CF3 91 9OM%1 026>B5&)P/6>1 02e?&d@1Fq]\0>C5@1 626 &)6 $K6262Ea911S CF0O1H2&)H2&)CD3$ (:CDYF&d@ $K(APA$K02H>&:H>&)CF3$K3A;OtD1 1 P56[H20$F@>tCKSUH2Ba1 Pa02C5@1 6>621 6&)31B()CDYF&d@ $'(%PA$K0-* H2&)H2&)CD3q       
       
 
      
 
     7B5191 9OM%1 026>B5&)P621402e?&d@1P%1 02&)C5;?&d@ $K(:()=E5PR;5$'H>1 6 H>B51O91 9OM%1 0>62B5&)PC'S/$8(:CDYF&d@ $K(PA$K0-* H2&)H2&)CD3 R  H2C$F@ @_CFE53?HWSXCD0P502C5@1 6>621 6 H2BA$KH/BA$NeD1 $_CF&)351H2&)H2&)CF38H2BA$K5H R  0>1 P50>1 621 3?H>6H   L  
      
 2L    ! @()C5@2tH>&:981E53a&:H>6621 6>62981 3?H/P50>CFH2C5@CD(-( q     
 
      
 
     5&:&)&

wDwFw wDw  wDw  wDw  wDw  wDw % wDw1621 6W&)3H>B5191 9OM%1 0>62B5&)P .B5&d@>BO$'021&)53 H# 6 $K()&:eD1*-621 H]$'3%; SX02CD9 .B5&d@2B BA$'6s021&)eF1W021 P5()=914626J$KYF1]M%1SXCD02B1 621 3A; 6U&)H>6U3a1 5HU14(:1N@H2&)CF3 91 6>6J$'YD1]&)3 02CDE53A;; =C82q w#Fx r q " , 981 9OM%1 026>B5&)PP5&)YDYF=D*TM%$F@>tF16J$KYF1/M%1tOH>&:981 M

  -f?$'3A; &)HU6>HJ$N=?6]eF$K(:&d;[S CF0 2 @()C5@>t H2&)91sE535&)H26Nq, Pa02C5@1 6>6`BA$K6]H2C0>1B51 351 . 981 9OM%1 026>B5&)PM%1SXCD021 @()C5@2tOH>&)91 M 
  RH>CtD1 1 P&)H26]981 9OMA140-*-621 H]EaP?*TH>C'*2;5$'H>1Fq w  + r qgx  B51 3$P502C5@1 6>6 62EaP5PACD02H>6 H>B51 1 ()1&:H>&)CF3q\02C5@1 6>"6 ;?C?1 6CF35()= 62E5PaPACD02H$'3CDH2B5140P502C5@1 6>56 .B51 38&)H`&)6WYFEA$K0J$'3?H>1 1BA$'H ;?C?1 6W35CDH`&)3A@()EA; 1 &)3O&)H26 91 9OM%1 0>62B5&)POM%1SXCF0>1@()C5@>tH2&)98&1 =Y8 2]8 '/2 36 H202&)1 6H>C"; &:6$'M5()1[H2B511 ()1&)CF3C'S]$ P50>C5@1 626  $&+
S  &)6W35CFHWH2B51P50>C5@1 626 .&)H2BH>B51 98&:3a&:9E59 &d;8&)3 # 6/$'()&)eF1[621 HN q   
 
      
 
     w   r q)wFw ^WCF356>HJ$K3v H QL  ! B%$'6/H>CM%1"@>B5CD621 362E%@2BH2B%$'H $ ()C @4$'(()1C @_1 626>1 6&) 3 0  6>HJ$N=&)3 _# 6$'()&)eF1*-621 HN q     
       
 
      
 
     w   r q)w  \02C5@14626 W&)6()C5@2tD1t H>4C 1 5P5&)0>1 6 MA1_SXCF0>1  &)3A@()EA;?146 $KH/@()C @>t8H2&)91 .)*^,(c582. q  
      
 
     w vy r q)w  \02C5@1462 6 6>E5P5P%CF0>H26$351 . P50>C5@1 62 6  $KH =  q s1SXCF0>1 # 6O&)3A;?&d@ $KH2CD0O.&:()(6>B5C'. # 6 PA$'0>H2&)H2&)CD3 R $'&H =8  /Q &:CD3 R 3OH2

C O2 q      
       
 
      
 
     w  " r q)w   B51 3$6>1 HC'S`Pa02C5@1 6>621 6  M%1B51O9&)35&)9OE59 &Q;&) 3 6>HJ$'0>H26&)H26 0>62H02CDE53A;Rq\0>C5@1 626 .&)()( @021N$'H21$ 3514. 981 9OMA140262Ba&:POH>BA$'H&)3A@_(:E%;?1 6/$'()(%P502C5@146262146 &) 3  $K3A;O.&)()(%MA1tH2&)9851 0 8 '/2 t H2&)981]E535&)H26NqUZ[E51H>C/6@2Ba1919$'H>&)CF3fR.W1O6J$KH2&)6-S =oH>B51O0211 91 3?H H2BA$KH/$ Pa02C5@1 6>46 B%$'6WH2CO6214H/&)H26&)3A;?&d@ $KH2CD0`H>C R /M%1SXCD021&)H/@ $'3M%1B5CFEaH`6$F@0>& @&)35YOPA140-SXCD029$K3A@1F q   
 
      
 
     #w   r q)wBA$'H;?& m1 0>1 3?H@CD9OM5&)3A$'H>&:CD356]CK4S O$'3A;  @ $'30>1 62Ea(:H&)3H>B516$'981 ()1 3aYFH2B 2ICKS $02CDE53A;Rq  1981BH2Ba1 ()1 3aYFH2B8C'S]$ 0>CFE53A'; 2 $'3A;80>1B51 6w[SXCF0 2
 w +WD q      
 
      
 
     #w   r q 5w 7B513?E59OM%1 0 CKS 981 9OMA140262Ba&:P @>BA$'3aYF1 6OP%1 0OB5CDE50.&)H>B 021 6>PA1CoH>B51()1 3aYFH2B C'S $ 02CDE53A; 2q]#5CD0 2 w %,+WA.`1981BA$'H]H>B51/()1H21 98P5H]$'3A; H2B516>1BA$'H8&)3 $ 0>CFE53A; 1 &)H2Ba1 0$'()(/6>1 eF1 3 CD0H>BA$'H62& P50>C @_1 626>1 6 $K021&)3 H>B51 91 9OM%1 0>62B5&)Pq     
       
 
      
 
     w#Fy 7B51 $NeD1 0J$KYF1[H2&)91/$K3A;OH>B51 OxFxH>&:981H2C 0>1 9C'eD1 $ @_0J$'6>B516SX0>CF9 H2B51981 9O* MA140262Ba&:P . q       
       
 
      
 
     w#Fy Z[&:6>H20>&:MaE5H2&)CF3OCKSH2B510>1 9C'eF$K(vH>&)91C'SU$ @0J$K62B516WSXCF0 2
 w %,+WDq7B51@0J$K62B H2&)9146`.W1 021E535&+SXCD0298(:=O;?&)62H>02&)M5E5H>1CFE53A;L$'3A;8.W1 &)'3 $116J$'YD1 6$ (:1N$F;?1 0 621 3A; 6P%1 0 B5CDE50 ;?11B51`()11Cv$D;5@ $'6>H/981 626$'YF146B51 H>CFHJ$K(3?E59OM%1 0WC'S]91 6>6J$KYF1 6 &)H`0>1B5162E59C'SH2B51 &)H>1 96N= q    
 
      
 
     w# " r q Fy \$'02H w[C'S]H>B51P5621 E%;?C'*2@C5;?1 SXCF0$ ST$'&)(+*2$N. $K0219149OMA1 0>62B5&)PO6>1 02e?&d@1F5q 
 
     w#Fx r q  " \$'02H  C'S]H>B51P5621 E%;?C'*2@C5;?1 SXCF0$ ST$'&)(+*2$N. $K0219149OMA1 0>62B5&)PO6>1 02e?&d@1F5q 
 
     w#% + r q Fx \$'02H  C'S]H>B51P5621 E%;?C'*2@C5;?1 SXCF0$ ST$'&)(+*2$N. $K0219149OMA1 0>62B5&)PO6>1 02e?&d@1F5q 
 
     w#%5w r q  + \$'02H C'S]H>B51P5621 E%;?C'*2@C5;?1 SXCF0$ ST$'&)(+*2$N. $K0219149OMA1 0>62B5&)PO6>1 02e?&d@1F5q 
 
     w#%  rC 9$K62t $@0J$K62B ST$'&)()E50>1`CKSm1 &)H>B51 10 CDG0 ?q ]=621 3%;?&)35Y$ @CD99$'3A;[H-.&d@1FfDCF351/@4$'3O9$K62tCF3a1CF9&)6>62&)CF3 CF0P%1 0-S CF029$'3A@_1ST$K&:()E50>11 eF1 3.B5143 CD50  &)6/@0$'6>B516WST$F@&)()&)HJ$KH21 6W62P5()&)H2H>&)35Y$ 62=?62H>1 9 &)3?H2C@CF98PACD351 3?H26WH2BA$KH $K021 ;?1 6>&)YF351H 21 mCD02HPA$'0$F;?&)YD9 $'3A;L@CF98PACD351 3?H26[H2BA$KH $'0>1;?1 6>&)YF351PACD35621PA$K0J$F; &:YD9oq    
 
      
 
     w#%  r&)CF3 @CF3?H20>CF()6H2B518H-.`Co$K02986 C'S $0$'&)(). $N=@02CD6262&)35Y%q -HBA$'6 $F@4@1 626H2C8SXCDE50621 3a62CF0>6H>BA$'H6>1 356218.B51 3 $8H20$'&)3&:6()1&:3aYH>B51 @02CD626>&:3aYAq       
       
 
      
 
     w#%Fy rH21 9 CF3.B5&d@>BH2B510J$K&:().$N=O62&)YF3%$'()&)35Y$'P5Pa(:&d@ $KH2&)CF3BA$K6H2CM%1&:9 * P5()1 9143vH>1&:6>H26[C'SUCD351@CD9P5EaH21 0W35C5;?1PA140/62143562CD002CF()()1 0Nf5$'3A;$F@_H2EA$KH2CF0N q  w#% " r&:3aY $'PaP5()&Q@4$'H2&)CD3 CF3a1BA$'68H2C ;?14H21(:C'.914626J$KYF1 68H2C $NeDCF&d; 62&)H2E%$'H2&)CD356]&)3O.B5&d@>B )A w # 6`@02CD626>&:3aY"$K029 &)6`E5PO.Ba&:()1/$H>0J$K&:38&)6]&)3OH2B51[0J$'&)().$N=@02CD626>&:3aYAq w#% " r021 6>6O&:6O$6>=v6>H21 9 H2B%$'H62E5P5P%CF0>H26OH>B51;?14eF1 ()CFPa91 3?HC'SST$KE5()H-*-H2CF()1 0$'3?H 0>1C'ev&d;?146$'0>1S-$'&)(+* $N.$'0>1FfW&Tq 1Fq 1C'e?&Q; 1 &)H>662HJ$K3A;5$K0J;8621 9$'3?H2&d@6Nq  
     wNy + r021 6>6 Pa02C5@1 6>6 @_CF3?HJ$K&:3a6 $O@CD(:()16/C'S`$ 621 H[C'SP502C5@1 6>621 61B02E53a35&)35YCD3$O;?& m1 0>1 3?H @CD9P5EaH21 0W35C5;?1Fq  
 
     wNy5w r9$K3vH]VDE51 Ea1 "@_CF3?HJ$K&:3a6`H>B51/1 eD1 3?H26H>BA$'H@ $'3a35CFH]M%1 P502C5@1462621N;=D1 H/$'3A;8&)662CD02H>1COH2B514&:098&)35&)9OE59 6J@>B51H2&)3A$'H>&)CF356N q     wNy  rB51;?1462H2&)3A$KH2&)CF3LH21B5C5;   
]C'S  $'H/$'3?=OCKSUH2Ba1;?1 6>H2&)3A$'H>&)CF3P502C5@1462621461 02e?&d@1o@0>1&)H2&)CF3o@4$'3o@>BA$K35YF1M5E5HH2Ba1eF$K(:&d; 91 9OM%1 0>62B5&)P56]CKS]H-.`C()CFYF&d@ $K(AP%$'02H>&)H2&)CF3563a1 eF1 0[C'eF1 0>(d$'P3 q     
 
     wNy 

5e

r62B5&)P621 0>ev&d@1 E5Pm;a$'H2146/P%1 02&)C5;?&d@ $'()()=H2B519149OMA1 0>62B5&)POCKS $ (:CDYF&d@ $K(APA$K02H>& * H2&)CF3 c1B9149OMA1 0>62B5&)PO&)6WeF$'()&d;SXCD0 2 @_(:C5@>tOH2&)981E535&)H26WMA1_SXCF0>1 &)H]9OEa62H]M%1021 P5(d$D@1B5&)P9 q 
       
 
      
 
     r3A$'()()=62=?3A@>B502CD35&)b 1t?6$'()()C'. H2C M%CFE53%;OH2Ba1/H20$'356>9&)626>&)CF3O;?1 (d$N= c XhWAZ]CKS $ 91 6>6J$KYF1621 3?H[MA1 H-.W1 1 3H-.WCO(:CDYF&d@ $K(RPA$'0>H2&)H2&)CF3a60J$K356298&:6>62&)CF3;?1 (d$N=O1 eD1 3C'S91 6>6J$KYF1 6H>BA$'H$'0>1 621 3?HM%1 H-.W1 1 3PA$'0>H2&)H2&)CF3a6 H2BA$KHBA$NeF1;?& m14021 3?H/H>&)91/M%$'62146H621 0>ev&d@1;?1 ()&)eF1 0>6M502C?$F;5@ $K62H 981 626$'YD1 6&:3H2Ba1CD0J;?1 0 C'SH2B51 &)0 621 3%;H>&:98162HJ$K9P56Nq,IMa02Cv$D;5@ $K62H91 6>6J$KYF1 &)6/14&:H>B51 0 ;?1 ()&)eF140211B51/981 626$'YD1WSX02CD9  .&:H>B5&)3 
H2&)91WE535&)H>6H/6>1 02e?&d@1 35CO(d$KH21 0H>BA$'D3 =8I
H>BA$'H&)HBA$K69&)626>1 M%16J$KYF1 $K&H = &)635CDH/;?1 ()&)eF1 0>1 q   
 
      
 
     rCv$F;a@ $'6>H21CH21&)CF3P502C5@14626M?=H2Ba1 1 51&)CF3CKSUH2Ba1 91 H>B5C5;   
]C'SH2BA$KHCF M $1N@HCF0E535&)HWBA$'6&)38H2E50>3H>CYD1 H/$@CF989$'3%;SX0>CF9 CD351/CKSUH>B51 H-.WC @CF3?H>02CF()()1 0E53a&:H>61 eF1402= J;9 H>&:981/E53a&:H>66`6>1 3562CD50 X-$'H ()C @4$'(RH2&)9851 JCZ$'3A;8H>B51H2&)91 U'wBA$'60>1C6214H/H2Ba1 621 3%;H2&)91[62H$'9PCKS W H>CO62CD91eF$'()E51629$'()()1 0 H2BA$K 3 JO q       
       
 
      
 
     r9 $K(:()C'.6%H2C/;?14H211 6RC'S5H2Ba1`$F@H>EA$'H>CF0R35C5;?1DcH>B51`$'0>9 &)6R()C'.W1 0210J$'3a629&)6>62&)CF3;?1 (d$N= MACDE53A; SXCD0`E53a&Q@4$'62H[91 6>6J$KYF1 6N0q       
 
      
 
     rC5@1 626>1 6&:MaE5H2&)CF3LC'S`H>B51;?1 e?&d$'H>&:CD3M%1 H-.`141 3 H2B51OB%$'0J; . $K021@()C5@>tC'S $8()C5@ $'(()1tCKS CD351C'S&:H>662E5PaPACD02H214026&:MaE5H2&)CF3 C'SRH2B510>1 9C'eF$K(FH2&)981]C'S$@0J$K62B51621BA$'3%@1 Aq        
 
      
 
     rH20>&:MaE5H2&)CF38C'SH2B51; 1 ()&:eD1 02=OH>&)91 6WC'S`$'H>CF98&Q@WMa02Cv$D;5@ $K62H26N q   
 
    

wNy  wNy % wNyFy wNy " wNy " wNyFx w#" + w#"5w




5ev&

w#"  w#"  w#" 

w#"  w#" % w#" % w#"Fy


 

   W.WCFE5(d;8()&:tD1/H>COH2BA$K35t$K(:(RP%1 0>62CF3a6 H>BA$'HBa1 ()PA1C 35&)62BH>B5&)6/H2Ba1 62&)6&)62H2&d$K3 $K3A;$'()(9O=@_CF998&)H2H214191 9OM%1 026Nq  .$'3?HH2COH>BA$'3atkRE5l 02YD1 3onp1 B59140 SXCD0`B514(:Pa&:3aY 91H>C"@CD91[H2C /^G5Zq,] . $K3?H`H>C"$D@2t?35C'.()1C&)98P502C'eD1 #aCF02H>021 6>6$K3A; @ $'0>1SXE5()()= 0>162E5146 $D;5;?021462621N;&)3OH>B5&)6`H>B51 62&)6$'3A;Ba1 ()P5&)35YH2C &)9Pa02C'eF1W62CD91 C'S9O=P%$'P%1 026Nq W $'()62CO.$'3?HWH2COH2B%$'35t$'()(A9O= SX0>&:143A;?6/H>BA$'H6>E5P5P%CF0>H21B w3f 1 0>9$K3v= u14621Bo,[626>&:6>HJ$K3vHNfRZ/14PA$'0>H29143vH[C'S`^WCF98P5E5H>1 0/G5@&)1 3A@_1Ff 3a&:eD1 0-* 62&)H-=8C'S h$K&:6>1 026>(d$'E5H>1 023f 14029$K3?= Z[&)P5()CF9$&)3 ^WCF98P5E5H2140oG5@&)1 3A@_1Ff 35&)eF140262&)H-= C'Sh$'&)621 0>62(d$'EaH21 0>3f 1 0>9$K3v=?f'6>E599$ @E59(d$'EA;?1 Z[C5@H2CD0J$'(^$K35&d;5$'H>1Ff 3a&:eD1 026>&)H-=C'S`h$'&)6>1 026>(Q$KE5H214023f 1 029$'3?= G5@>B5CD(Q$K026>B5&)P M?=[H2B51 1 029$'3/,@ $F; 1 9&d@ )a@>BA$K35YF1WG?1 02e?&d@d1 XTZp,/, Z Z r/&)6>&:H>&)35Y6@>B5CF(d$'0/$KH 35&)eD1 026>&:H-=OCKS`^$'()&+SXCF0>35&d$5fFG5$K3Z/&)1 YDC s1 62H862H2E%;?1 3?HOPA$'P%1 0$N.$'0;Rf/#w 'H2B G?=?9P%CF6>&:Ea9 CF3 u1 ()&d$'Ma(:1Z[&:6 * H20>&)M5E5H21N;G?=?62H>1 96Nf5Z $K3A$\CD&)3vHNf5^$5q u14621B,/6>62&)62H$'3?H&:H-=8C'S]^$'()&+SXCF0>35&d$5fFG5$K3Z/&)1 YDC \BqgZq)f p35&)eF1 0>62&)H-=CKS`^$'()&+SXCF0>35&d$5fFG5$K3Z[&)1 YFC








w3A$'H>&:CD3A$'(R^WCF3 SX1 0-* 1 3A@_1 CF3Z[&)62H20>&)M5E5H21N;G =v6>H21 986tG?=?3A@>B502CD35&)b62E50$'3A@1DfRkFE53a1FfwNxFx af $'&)H2B5140262MaE502Y%fAiZq Jj C'.`14)0 sCFE53A; 6S CF0]^WCF3?eF1402YF143A@1#5E53%@H2&)CF;3 W$'621N;^W()C5@>t G =v3%@2Ba02CF3a&:bN$'H2&)CD3 Af'\0>C @_1 1t G =v3%@2Ba02CF3a&:bN$'H2&)CD3 Af'$'Ma62H20$F@H&)3Z$'YD62H>E5B5(5G?1 98&:3%$'0u14PACD02HUnp0&d$'3q

G?H2EA; &:146&:3Z[&)62H>02&)M5E5H>13f 1 0>9$'3?=





5& 


, WG?7/u,/^W7# 71 Z 2G5G ]u7,]7-n #%$'&)(+*-,/.$'0214351 626&)387&:981=?3A@>B502CD35CFE56G?=?62H>1 96 M?= ^WB502&)62H>C'S`#a1 H2b 140 Z[C @_H2CF0CKS`\B5&)()CF62CDP5B?=O&)3^WCF98P5E5H>1 0 Ga@&)1 3A@1 p35&)eF1 0>62&)H-=CKS ^$'()&+SXCD0235&d$5f?G5$K3Z[&)1 YFC%fRwCF0#(d$Ne?&)E^W0>&:6>H2&d$'3 f5^WBA$'&)0


7 Ba1 ON   
   !"
$         &:6@E5020>1 3?H2()= S-$NeFCF0>16CKS H>B510>1 621B @CD99OE535&)H-= H>C;?1 6>&:YD3;?&)62H20>&)M5E5H21N;BA$'0;021N$'(+*TH>&)9162=?6>H21 986B51 @CF3?H>02CF()()1&)91FqRiEA@>B CKS5H2B51WOC %*TH>B51*-62B514( S%BA$'0;?. $K021`$K3A;6>C'SXH-.$'0>1]9$KtF1 6%&)HeF1402=BA$'0; H2CYDEA$'0$'3?H21 1OH>B51M%CFEa3A;?1&:981Fq  S H>B5&)6 B?=?PACDH2B51 6>&)6&)CF356NfF@ $'3LMA1 e?&)CF(d$KH21B &)3?H21 3A; 1E5P5P%CF0>H H2B51@CF3a62H20>EA@H>&:CD3 C'SWST$'&)(+*-6J$NS 1CD0 @_CF9Pa(:1 o021&:981 62=?6>H21 9861 9$KH2&d@O$'PaP502C?$F@>B H>C9$K62to$K(:( ST$'&)()E502146 .B51 3514eF1 0OH>B51OST$K&)(:Ea021O0J$KH218&:6 .&:H>B5&)3 $YF&)eD1 3 M%CFE53A; $K3A;L& S35CDH $K()(ST$'&)()E50>1 6 @ $'3 M%1O9$K62tF1N;RfaST$'&)(+* $N.$'0>1 621402e?&d@1 6OBA$NeD1H>CPa02C'e?&d;?1$8.`1 ()(`; 1 3511 9$K3?H2&d@61 351 6>6&:6 $K6SXCD(:()C'.6Nc`$'6()CF3aY$'6/H>B51E53A;?1 0>()=v&)35Y@CF989OE535&d@ $KH2&)CF3$K3A; P50>C @_1 626[621 0>ev&d@146 $'0>1 $ R1CF35CDE56621 9$'3?H2&d@6Nf5&-q 1FqH>B516>=?62H2149 021N$F@H>6 .&)H2B5&)3H2B51YF&)eD1 3H2&)91Ff%$'3A; 1B621 0>ev&d@1 t?35C'.6H2BA$KH&:HP50>C'e?&Q; 1 6]&)H2662=?3A@>B50>CF35CDE56]6>1 9$K3vH>&d@6B621 0>eF1 0W9$K&)3vH$'&)356$K3 X 1 A@1 P5H>&:CDK3 Z&)3A;?&d@ $KH2CD0 .B5&d@>BH>1 ()()6]H2B51/@_(:&)1 3?H>6]C'SRH2B516>1 02eD1 0W& S%&:H]@Ea0202143vH>()=OP502C'e?&d;?1 6]&)H>6U6>HJ$K3A;5$'0;CF0]$'3O1 a@_1 P5H2&)CD3O621 9$'3?H2&d@6Nq  B5143H2B51 ST$'&)()E5021[0J$KH21 0>&:6>1 6 $'M%C'eF162CD91$P502&)CF0>&YD&:eD1 3H2B50>1 62BaCF(d;RfR$621 0>eF1 0&)6/$'()()C'.W1CO62.&)HJ@>BH>C &)H26]1 a@_1 P5H2&)CD3O621 9$'3?H2&d@6M5E5Hs&:HBA$K6H2C 35CDH2&+SX=&)H26`@_(:&)1 3?H>6]H2BA$KH&:HBA$K6]62.&)H@2Ba1&:CD3@ $K3E5621H2Ba1 &)3A;?&d@ $'H>CF0>6H2C62.&)HJ@>BH>C"$6$NSX162H$'H>1 &)3@ $K621 CKSU35CD3?*T9$'6>tF$'M5()1WST$K&:()E50>1 6B5C'. B5C'. ST$K&)( *2$N.$'0214351 626@ $'3 MA1$'P5P5()&)1&:CD3A$'Ma(:162=?6>H21 986=v6>H21 986 &)3 .B5&d@>B @CF989OE535&d@ $KH2&)CF3&)6 35CDH@1 0>HJ$'&)3 ;?E51H>C351 H-.WCF0>tST$'&)()E50>1 6CF01 A@1 626>&)eF1PA140-SXCD029$K3A@1ST$K&)(:Ea021 6Nq [E50$'P5P50>Cv$D@2B$'()()C'.6H2B51621402eF14026&)31BPA$K02H2&)H>&:CD3OH2C 9$'tD1`P50>CFYD021 6>6&:3%;?1 P%1 3A;?1 3?HCKSUH2Ba1/621402eF14026&)3 CFH>B51 0PA$K02H2&)H>&:CD3566&)3A;?&d@ $KH2CD0R62&)YF3A$K()6&)H26@()&:143vH>6H>C .BA$KH   ('     
pH2B51 = MA1 ()CD35YAq [H2B51 0>.&)621FfD&)+H $E56>H62&)YF3A$K()6H2B%$'HH2B51W621402eF140`P50>C'e?&Q; 1 6&:H>61 A@14P5H2&)CF3 62149$'3?H>&Q@_6B51O$'P5P5()&d@ $KM5&)(:&)H-=C'S]CFEa0 $'PaP502C?$F@>Bq 


 

    -3O0>1H2021N$'9 BA$'0;?.$'0218P5(d$'H SXCF0>96H2CM5E5&)(d;021&:9816>=?62H214961 62HH>1B535CF()CDYF&)1 6CF9 $ H21N@2Ba35&d@ $'(P%CF&)3?HOC'S e?&:14. ^[ 7/G E56$'YD1&)6VFEa&:H>1o@>BA$'()()1 35YD&)35Yo.&)H>B 021 6>PA1N@HH2C H>B51o@CD3562H>02EA@_H2&)CF3 C'S ;?&)62H>02&)M5E5H>11BA$'HNf5&)3YF1 3a1 0J$K(TfaH2B51


E56$'YF1OCKSp@_CF9981 0J@_&Q$K(6>C'SXH-.$'0>1;?C?1 6 35CDH$'()()C'. H2CM%CFE53A;H>B51P%1C5@1 626>CF0O$'3A;3a1 H-.`CD02t()Cv$F;L$ P50>&:CD02&%MA1N@ $'E56>1 H2Ba1 ()C?$F;&)3A;?EA@_1C ; EA@H26[&)6`35CDH]t?35C'.3$K3A;@4$'3CD35()=M%11 62H>&)9$'H>1&:3aY 91N$'62Ea021 981 3?H26tF$'M5()1P%1 0-S CF029$'3A@_1/S-$'&)()E5021 6Nq , 62=?62H>1 9 &)6@ $'()()1CFP5Ba&Qa @   6 2 q 1/$K0J; 0>1=?62H214961 $K3A;H>B51`6>=?62H2149 BA$K6 H>CH20J$K3562&)HH2C8CF351C'SW&:H>66J$NS 16>HJ$'H>1 6 .B5143 $835CD3?*T9$'6>tF$'M5()1 @_CF9P%CF3a1 3?H/S-$'&)()E5021 C5@ @_E5026Nq"G 1 eF1 0$'( 021N@1 3?H2()=M5E5&)()H B%$'0J;L021N$'(+*TH>&)9162=?62H>1 9A6  ,+?fRy 55f 5w'f ,6 `021 ()=CD3oH>B51 ON   
   
          6 2q 7B5&)6`PA$K0J$D;?&)YF9 E56214662HJ$KH2&d@[021 6>CFE50@1$K(:()C5@ $KH2&)CF3O$'3A; PA1N$'tO()Cv$D;O$'626>E59PaH2&)CF356sH2CYFEA$K0J$'3?H>1 1H2BA$KH H2Ba1/021N$'(+*TH>&)9162=?6>H21 9 0>1C 1 eD1 3?H26C5@ @E50>02&)35YO&)3OH2Ba1 @_CF3?H20>CF()()11C'S62CKSXH 0>1&)35Y62=?6>H21 986 $'3%;H2C62CD91W1 5H21 3?H$'()62CH2Ba1/E56>1C'SR9$'&)3?*-62H>021C ; EA@H26[&)635CFHt?35C'.3q iL$'3?=P50J$D@H2&d@ $K(62=?6>H21 986 $'0>1M%$'621N;CF3H>B51 !   !       IH>BA$'H;?C?1 635CFHYDEA$'0$'3?H21 1 H2B%$'H/$021N$'(+*TH>&)91/6>=?62H2149 $'(). $N=?6W021 6>PACD3A;?6.&)H2B5&)38H2B51 0>1H268H2BA$KH&)H62HJ$KH2&)62H>&d@ $'()()=o0>1 62P%CF3%;?6&)3 $LH2&)91 ()=LST$'6>B5&)CF3q  1;?146J@0>&:M%1 $OM%1 6>H Q1 RCF02H$'P5P50>Cv$D@2BH2C@CF3a62H20>EA@H ST$'&)(+*-6J$NS 1 ; &:6>H20>&:MaE5H21ev&d@146`P50>C'e?&Q; 1]H2B514&:0  
   s6>=v3%@2Ba02CF3aCFE5&6 X &-q 1Dq BA$K0J;021N$'(+*TH>&)9'1 Z 62149$'3?H>&Q@_6 $K3A;11 02eD1 0t?35C'.6]&)H&:6>1 6$'M%C'eF1H2Ba1MACDE53A;Rf $L621 0>eF1 0O&)6O$'()()C'.`1C62.&)H@2B H>Co$6>PA1N@& 16/62H$'3A;a$'0J;LCF01 A@14P5H2&)CF362149$'3?H>&Q@_6/M?=1 A$'9&)35&)35Y$K31 A@1 PaH2&)CF3&)3A;?&d@ $'H>CF0Nq7B5&)6 $'()()C'.6 $'3$KP5P5()&d@ $'H>&)CF3 H>C E5621[H2B51[&)3A;?&d@ $'H>CF0]H>C62.&)HJ@>BH>C$6$NSX16>HJ$'H>1/.B5143OH2B51[C @4@E5020>1 3A@1 C'SR35CF3?*-9$K62tF$KM5()1 P%1 0-SXCD029$'3A@1[ST$K&)(:Ea021 6@ $'Ea621 662CD91[E53A;?1 0>()=v&)35Y621402e?&d@1 H2CO6>.&)HJ@>BH2CO&)H261 A@14P5H2&)CF3L621 9$'3?H2&d@6Nq  1[P502CDPACD621$ 914H2B5C5;S CF0WM5E5&)(d;?&)35Y S-$'&)(+* $N.$'0>1`6>1 02e?&d@1 6&)3PA$K02H>&:H>&)CF3A$KM5()1/62=?6>H21 986BH2B516>1 H`CKSmPa02C5@1 6>621 6/@ $K36>P5()&)HU&)3O;?&)6 $CD&)3vH6>E5M56214H26;?E51H2C3514H-.`CD02t ST$'&)()E502146UCD01 A@1 626>&)eF1 P%1 0-SXCD029$'3A@1S-$'&)()E5021 6Nq ]$D@2B 62EA@>B 6>E5M56214HO&:6&)3?SXCD029$'()()=021_SX1 020>1B $'()()C'.6WH2B51 6>1 02eD1 026 &:31BPA$'0>H2&)H2&)CD3H2% C 29$'tF1Pa02CFYD021 6>6 &)3A;?1 P%1 3A; 1 3?H CKS]H2B51 6>1 02eD1 026&)3CFH>B51 0/P%$'0-* H2&)H>&:CD3561 02eD1 026@ $'3 P502C'e?&d;?18H2B51 &)0O6>HJ$'3%;5$'0; 62149$'3?H>&Q@_6eF1 0>6@ $K3 3511 626/;?Ea1/H2C 1 A@1 626>&)eF1PA140-SXCD029$K3A@1pST$'&)()E502146H2&)H2&)CF3a6]M?= H2B51M%1 ()C'. &)3?H20>C5;?EA@16O62HJ$K3A;5$K0J; 621 9$'3?H2&d@6Nf&)H26&:3%;?&d@ $'H>CF062&)YF3A$K()6&)H26O@()&)1 3?H26OH>C .BA$KH`()CFYD&d@ $'(5P%$'02H>&)H2&)CF3O&)H]M%1 ()CF35YD6eF1 0P50>C'e?&Q; 1 6`&)H>6`1 A@14P5H2&)CF3 62149$'3?H>&Q@_6BA$KP5H21 0.W1OYF&)eF1O$'3 C'eD1 02e?&)1 . C'S621 eD1 0J$K(WST$'&)(+*2$N. $K021 PA$K02H>&:H>&)CF3A$KM5()16>1 02e?&d@1 6O()&)tF1 @()C5@>t62=?3A@>B50>CF35&)bCF9&d@[M50>Cv$F;a@ $'6>H H>C&)()()E562H>0J$'H>1 CFEa0 $KP5P50>Cv$F@>Bq -3(d$'H2140 @>BA$'PaH21 0>6/.W1 .&)()(;?1 6@02&)M%1 H2Ba1 621 ST$'&)(+*2$N. $K021621402e?&d@1 6/&)3$ 9CF0>1 ;?14HJ$'&)()1B C'S5H2Ba1`0>1 621BO&)3 ;?&)62H20>&)M5E5H21N;021&:98162=?62H>1 96 SXC5@E562146UCD3H2B51WYFEA$K0J$K3vH>1 11 62P%CF3a621 PA$K0J$F; &:YD9oqRG?CD9162=?62H>1 96];?1462&)YF351N;O$F@ @CD0J;?&)35YH>C/H2B%$'HPA$'0$F;?&)YD9I$'021i$K026&  6 2f \%, gy 6 2f'77/\] aw 2f $'3%; H>B51/,;?eF$'3A@_1CF9$'H2&)CD3 G =v6>H21 9 ST$K9&)()=   6 2qu1B510214621BBA$'6S C @_E56211 96Nqup1 621B CD3 ; 1 H219$K3A@1 ST$'&)()E502146 &): 3 " VDEA$'6>&+*T6>=v3%@2Ba02CF3aCFE56 # 62=?6>H21 986&)6];?1 6J@_02&)MA1N;Mv=,[(:981 &d;5$W$'3A;rs1 02&)626>&)9CC gy 6 2q 7B51 &)0U$KP5P502C?$F@>B;?14PA1 3%;?6]CF3 H2B51W1 5&)62H2143A@1/CKSA$



()C'.`140U()1 eD1 (?62=?3A@>B50>CF35CDE56`@CD99OE535&d@ $KH2&)CF3@>BA$'353a1 (5H2C ;?14H211 6B ;?C?1 635CDH/021NVFEa&:0>16>EA@>B $ MA$'6>&d@ @>BA$'353a1 (-fAMaE5H/E56>1 6 E53a62=?3A@>B502CD35&)b 10J$'3a6-SXCD029&)35Y 62=?3A@>B50>CF35CDE56621 0>ev&d@16>PA1&)91B502CD35CFEa662=?62H>1 96   6 2q, 6>1 02e?&d@1 H>BA$'H@ $K3M%1 e?&)1 .W1=?3A@>B502CD35CFE56 62=?62H>1 96NcH2BA$KH 6>1 02e?&d@18BA$'6 $ ]C?CD(:1N$'3eF$'02&d$KM5()1 "g62=?3A@>B502CD35&)b 102E51O.B5143 $ @()C5@>t&)6 6>=?3A@>B502CD35&)b 1t9$N=MA1CFE5H C'S`6>=v3%@2B ;q -3oCDE50 16H>B51O&)6262Ea1C'SPA$K02H2&)H>&:CD3A$'Ma(:1CFP%1 0$'H2&)CD3cCF35()=6>1 02eD1 026O&)3H2B51 PA$K02H2&)H>&:CD3H2B%$'H @_CF3?HJ$K&:3a6 $O96H2&)H2&)CF3 @ $K3oP50>C'e?&Q; 1OH2B51 &)0 6>HJ$K3A;5$'0;6>1 9$K3?H2&d@61 62143vH>1B5&)6 H2Ba1 62&)6O62EaP5PACD02HOM%CFH>B CDPA140J$'H>&)CF356Nf]&-q 1Fq H2Ba1 = $K(:()C'. E56H2C 1 &)H>B51 0SXCD0J@1621402eF14026H>CoM%1&)3 $L9&:CD3H>C 9$KtF1WP502CDYF0>1 626Nf?CF0]H>CSXCF0@1/6>1 02eD1 026H>C 9$KtF1WP502CDYF0>1 626W1 eF143.B51 38H2B514="$K021/&)3$[9&)35CD02&)H-= PA$K02H2&)H>&:CD3q 



    

 

G =v3%@2Ba02CF3aCFE56];?&)62H>02&)M5E5H>1=v6>H21 986]$'021W@2B%$'0J$D@H21402&)b 1&)CF02&?$'6>62E5981C @_1 6266J@>B51N;?E5()&)35Y$'3A;8981 626$'YF1H>0J$'3a629&)6>62&)CF3;?14(Q$N=?6Nq  B5143H>B51 H>0J$'3a629&)6>62&)CF3;?1 (d$N=OC'S`$ 91 6>6J$'YD1 W &)6YD021B51 9#$ 5&)9E59 $'6>62E59816J$'YD1 ;?1 (d$N = ?f5.W16J$N=H>BA$'H W62E R1 0>6 $P%1 0 SXCF0>9$'3%@1 ST$K&:()E50>1Fq /H>B51 0>.&:6>1F7f W&)66J$'&d; H2COM%&1     'q]G?&)9&)(d$'0>( =?fB51C5@1 62S6 &)6 YF0>1E591N;6J@>B5162E5981 6OH2B%$'HOP50>C @_1 626>1 6BA$NeD1 $@0$'62B 'P%1 0-SXCD029$'3A@1 ST$K&:()E50>1/6>1 9$K3vH>&d@6/$'3A; 91 6>6J$KYF1 6BA$NeD1 $'3CF98&:6>62&)CF3 'P%1 0-SXCD029$N3A@1WST$K&:()E50>1/6>1 9$K3vH>&d@C6 )w 6 2q 7Ba1]YFEA$K0J$K3vH>1 11 62P%CF3a621PA$K0J$F; &:YD9 021NVFEa&:0>1 6H2BA$KHRH2B51W9'$ 5&:9E59 0J$'H>1]C'S?ST$K&)(:Ea021 6RM%1`$Pa02&)CF0>& t?35C'.3q7B5&)6[0219$K(:&)b 1N;Mv=$     N    2N    
aq -3YD1 351 0$'(U$ S-$'&)()E5021$'626>E59PaH2&)CF3 62H$'H>1 6OH2B519#$ 5&)9E59 3?E59OM%1 0C'S/P%1 0-S CF029$'3A@_1Ff`@0$'6>Bf`$K3A; CD9&)626>&:CD3S-$'&)()E5021 6H2B%$'HO@ $'3 C5@ @E50OP%1 0 20>CFE53%; .Ba1 3H>B51 @CF356>&d;?1 021N;Pa02CFH>C5@CF()6/$'0>1/0>CFE53A;v*TMA$K621&)91WE535&)H .B51 3H2Ba1/P50>CFYF0>1 626[C'S H2Ba1/@CF356>&d;?1 021N;P502CDH2C5@CF()6]&)691N$'62Ea021B51PA$K626J$KYF1CKSAH2&)91Dqh[35C'.&)35&Y   '  !C'S5S-$'&)()E5021 6]@ $K3 C5@ @E5d0 XX6>HJ$KH2111/$'6>62E598P5H2&)CF3 Z f'CD351 @ $K3E56>1 $6>E &@&)1 3?H$'9CDE53?HC'S021N;?E53A;5$K3A@=OH>C 9$K62t$'()(RST$K&)(:Ea021 6[H2BA$KH @ $K3oC5@ @Ea0 M?=B?=?PACDH2B51 6>&)61 @CF0>0211 3A@1C'S35CF3?*-9$K62tF$KM5()1WST$'&)()E502146BA$'H[H2B5162=?62H>1 9 9$'6>tv6$'()(RS-$'&)()E5021 6[&)6 $KH/()162E598P5H2&)CF3$'0>1 eF$K()&QD;  %,6 q 7C8MACDE53A;H>B519#$ 5&)9Ea9 0$'H>1CKS P%1 0 SXCF0>9$'3%@1 S-$'&)()E5021 6Nf5CD351B%$'6/H>CM%CFE53%;H>B51P%1&)35Y"@_CF9981 0J@_&Q$K(F6>C'SXH-.$'0>1/PA$D@2tF$KYF1 6s.&:H>BOE535t?35C'.3OP%11 6H>B51;?& &@E5()H-=C'S/;?1 0>&)ev&)35Y$8.W1 ()(S CFE53A; 19$'3%@1ST$'&)()E50>1 6t?62HJ$KH2&)CF3a6/.&)H2Bo$ 62H$'3A;5$K0J;LCFP%1 0J$KH2&)35Y62=?6>H21 9 (:&)tD1 [n   ;?C?1 6&)3 9$K3?=@ $'6>1 635CFH/$K(:()C'. H>C9$'tF1$02162E5981 6WH2BA$KHP502C5@1 6>621 6BA$NeD1 $D@ @1 6>6/H2CO$ (:C5@ $KB( N

' 
 [BA$'0;?. $K021 @()C5@>tO.&:H>B $M%CFE53A; 1& S H0$'H21D q -HOEa621 68H2B51S CF()()C'.&:3aYS-$'&)()E50219C5;?14(Tc8P50>C @_1 626>1 6BA$NeF1@0$'62B 'P%1 0-SXCD029$'3A@1 ST$K&:()E50>16>1 9$K3?H2&d@6 $'3A;981 626$'YD1 6 BA$NeD1OCF9&)6>62&)CFK3 KPA140-SXCD029$N3%@1ST$K&:()E50>16>1 9$K3?H2&d@6B51 YD1 351 0>&Q@ H21 0>9  ST$'&)()E5021 .W1911 6C'S ST$K&:()E50>1 6&)CF3C'S $ 351 H-.WCF02tLC'S`.WCF0>tv6>HJ$KH2&)CF356[02E53a35&)35Y 35& CF0  &)3A;?C'.6 np7 f%&:H$'()62C;?1 6@02&)M%1 69$'3?= 351B502CD35CFEa6`6>=v6>H21 986 $D@ @E50$'H>1 ()=vq ,/381 A@1 P5H>&:CD3$K02162=?6>H21 986`&)3.B5&d@2BOH>B51/Pa02CFM%$'M5&)()&)H-= C'SRH2B51 C5@ @E50>021 3%@1OC'S]$'02Ma&:H>0J$K02=OS-$'&)()E5021 6W&)635CFH3a1 YF()&)YF&)M5()1Fq












 

    

 

G &:3%@1`CDE509$K&:3&)3?H21 0>1 62Hs&:6 &)3 ST$K&)( *-6J$ SX1]$'P5Pa(:&d@ $KH2&)CF3a61]351 eD1 00>&:6>1 6]$'M%C'eF1]$WYF&)eD1 3MACDE53A;Rf .W1 0>1BA$'H 621 0>ev&d@146]9$K62t/$'()(KST$'&)()E502146U$'6 ()CF35Y/$K6H2Ba1]ST$K&)(:Ea0210J$KH21W&:6 .&)H2B5&)362CD91YF&)eF143   L  N   ''         N    &X *2Z f5$K3A; H2B518621 0>ev&d@146;?1 H>1BA$'HO@CF3%;?&)H2&)CF3 H>C H2B51 &)0/@()&)1 3?H26Nf5&-q 1Fq H2B51 6>1 02e?&d@1 6$'0>1    P    4q 7W=?P5&d@ $'()()=?f'62CD91/Pa02C5@1 6>621 6C'S]$'3$'PaP5()&Q@4$'H2&)CD3O.&:()(%9CD35&)H2CF0sH2B51621402e?&d@1 6/&)HWE562146 $'3%;6>.&)HJ@>B H2Ba1 62=?62H>1 9H2C$6J$ SX162H$'H21 .B51 3H2B51 ST$'&)()E5021[0J$KH21MA1N@CF981 6H2C?COB5&)YFB q7B51 @CF989OE535&d@ $'H>&)CF3MA1 H-.W1 1 3 H2Ba1 621P50>C @_1 626>1 6/H>C@C?CF0;?&)3A$'H>1/H2Ba1/62.&)H@2BOH>C$6$NSX1[62HJ$KH21[62B5CDE5(d; .B51 3514eF1 0P%CF6>62&)M5()1 Ea621 @_CF99OE * 35&d@ $KH2&)CF3MA$K621()Cv$F; 1&:CD3511SX1 0sH2C H>B5&)6



 

 



H-=?PA1CKSs@_CF99OEa35&d@ $'H>&:C'3O$'6&'  N
('  
    4q -3 G 1&:M%1O$
     ' 
 91N@2B%$'35&)629 H2BA$KH $K(:()C'.6@CF989OE535&d@ $KH2&)CF3M?=OH2&)91[1 eF1 3.B5143H2B51[ST$K&)(:Ea021/0$'H>1 &)6`E53?M%CFE53%;?1δ

≤δ

≤δ

p n1

m1

n2

m

2

q s

realtime

t

# &)YFE50>1( q)wFcp7.`C8H2&)91 ()=8P502C5@1 6>621 6C $K3A;$K021w*2@CF3a3511H/CD351981 626$'YD1 621 3?H M%1 H-.`141 3I $'3A; &:3     62E m1 0>6$'3 CD9&)626>&:CD3K'P%1 0 SXCF0>9$'3%@1OST$K&)(:Ea021$'3A; $'()(/CDH2B51 0891 6>6J$KYF1 6$'0>1 ;?1 ()&)eF14021&:981/E53a&:H>6&:M%11 02e?&d@1&:98P5()1 9143vH$'H>&:CD3566 C'S w_* @_CF35351N@H21C @_1 626>1 6$K3A;C'S  *2;?&)6J@CD35351B YF1 3a1 0J$K(:&)b 18H2B51835CFH>&)CF356 CKS @CF3a35116$K3A; ;?&)6J@_CF35351N@H2102C5;?EA@1N;&) 3   6 2q 7.WCP502C5@1 6>621 6 $K021$O# P '

' [&:3   m& XJw Z_$K3A;  $'021H>&:981 ()= &) 3    2f?$'3A; X Z$K()(AM5EaH $'Hs9CF6>HCF351981 626$'YF1W62143vHWM%1 H-.`141 3H>B51/H-.WCP502C5@1 6>621 6[&)3    m$K021/;?14(:&)eD1 0216J$'YD1 6.&:H>B $H>0J$K356298&:6>62&)CF3 ; 1 (d$N=oYD0210J$K356298&:6>62&)CF3;?1 (d$N=OC'S`$KH9CF6>H4$'6! ST$'6>H%q7B51 621N@CF3A; @CF3a62HJ$K3?H  .$'6 &)3?H20>C ; EA@11 0298&)351OH2B51 H20$'356>9&)626>&)CF3; 1 (d$N=C'GS W .&:H>B5&)362CF981/M%CFE53%;?6  F6y 2qW7B51[SXCD(:()C'.&)35Y; 1 35&)H2&)CD3CK*S   *2;?&)6J@CD353511(:C'. O981 626$'YD1 6CF9 $ P502C5@1 6>6 8&:3 $ H2&)91&)3vH>1 02eF$K5(   `& $K3?=o981 626$'YF1 W H2BA$KH 0>10J$'3a629&)6>62&)CF3o; 1 (d$N=C'S/98CF021 H2BA$K3  $ H>&)91 E53a&:H>6 XX6>1 1# &)YFEa02;1  q Z4qO, @CD99CD362&)H2EA$KH2&)CF3&)3 .B5&d@>BH-.WCP50>C @_1 626>1 6"$K021  *2;?&)6J@_CF35351N@H21B51 9 &)6/C'eD1 02()Cv$D;?1B51 P50>1C @_1 626>1 6CvC9$K3? =  ST$'&)()E5021C5@ @Ea0202143A@1 6Nf]H2B%$'H/&)6NfA.Ba1 3oH>B51621 0>eF1 0&)6/35C()CF3aYF1 0[PA$'0>H/C'S$O62H$'M5()1 P%$'02H>&)H2&)CF3f%&)H.&)()( 62&)YF3A$K(R&)H26/@()&)1 3?H26H>BA$'H&)HW62.&)HJ@>B511 9$K3vH>&d@61 q Ac1p&:140J$'0@>Bv=CKS]ST$'&)(+*2$N. $K021621 0>e?&Q@_1 6 H2C862E5PaPACD02H[ST$'Ea(:H *TH>CF()1 0$'3?HPA$'0>H2&)H2&)CD3A$'M5()1 0>11 02e?&d@1 6W91N$'356H2B%$'H]H>B51 026>H`;?&)021N@H2()=O;?1 P%1 3A;?6WE5P%CF3H2B516>1=?62H21496 $K021 CKSXH214335CFH@CF9 * P5()1 H>1 ()= 6>=?3A@>B502CD35CFE56Nf/&)3 P%$'02H>&d@E5(d$'0Nf.`1$'021 @CD3562&d;?1 0>&)35Y 6>=v6>H21 986&)3 .B5&d@>B H>B51P50>CFMA$KM5&)(:&)H-= H2BA$KH PA$K02H2&)H>&:CD356C5@ @E50W&)6]35CFHs351 YF()&)YF&)M5()1Fq  Ba1 3$62=?6>H21 9 62Pa(:&)H>6]E5PO&)3P%$'02H>&)H2&)CF356NfFH>B51&d;?11 ()=6>=v3%@2Ba02CF3aCFE56 M%1 BA$Ne?&)CFC0 X 621 1O# &)YFE50>1  q Z cW$'()(Pa02C5@1 6>621 6 &)3$OP%$'02H>&)H2&)CF3$'0>(1 +N*2@CD353511B11;?&)6J@CD3535162&d;?1H>B51 &)0 PA$K02H>&:H>&)CF3f &-q 1DqH>B51 = ;?C35CDH 021H2&)H2&)CD3561 9 CD35()=6>P5()&:H>6`EaP&)362E%@2BL&Q; 1CFH2C5@CD()6 .WCFE5(d; M%162H>&:()(M%1021N$'62CD3A$'Ma(:= 6>&)9P5()1O62&)3A@_1H2B51P50>CFH>C @_CF()6;?C 35CDHBA$NeD1H2C BA$K3A;?()16>&:H>EA$'H>&)CF356O()&)tF1 H2Ba1O&:3%$'M5&)()&)H-=CKS 6>CF981P50>C5@1 626>1 6H>Co@CD99OE535&d@ $KH21.&)H2B CDH2B51 0 P502C5@1 6>621 68&)3oH>B516$'91PA$K02H2&)H>&:CD3fRCD0 62P%CF0$F;?&d@[914626J$KYF1 6/$K020>&:eF$K()6]SX0>CF9 CDH2B5140/PA$K02H2&)H>&:CD356B51O$'M%C'eF1621 356>1Fq#aCF01 A$'98P5()1Ff SXCD062CF981H2&)91&)3?H21 0>eF$'(U$Pa02C5@1 6>6 9$N=OMA1()&)35tF1C$OP50>C @_1 62C6 M?=$ 2CF3a1*T.$N=@_CF35351N@H2&)CF3 Af%&-q 1Dq $@_CF35351N@H2&)CF3 H>BA$'H$'()()C'.6 H>C62143A;H2&)914(:=891 6>6J$KYF1 6[H2 C M5E5H ;?C?1 6 3aCFH $K()(:C'. H2C0>1&)91 ()= 914626J$KYF1 6sSX0>CF9 ;XX62141# &:YDE5021  q % Z qZ/Ea1/H2C()C5@ $'(%351 H-.WCF0>tOC'eF1 0>(:C?$F;RfKH-.`C Pa02C5@1 6>621 C6 e$'3AA; T9&)YDBvH MA1 ()&)35tF1&:H>&)eF1Ff?&-q 1Fq 1BCKSUH>B51/P50>C5@1 626[PA$'&)0>6 XhTQV?Z$K3AD ; XV7 OZW98&)YFB?H]M%1 @_CF35351N@H21C5@1 626PA$K&)50 XT OZW&)635CDH/@CF353a11 1"# &)YFEa02 1  q %Z q 





w#+

0-connected timely process

ideal partition

# &)YFE50>1 q 5c 2; 11 6 &)3H>B516J$'981/PA$K02H>&:H>&)CF3$'3A; MA1;?&)6J@CD353511CF9 $'()(%P502C5@1 6>621 6 &:38CFH>B51 0/P%$'02H>&)H2&)CF356Nq q

p

r o n connected slow connection

k timely process one-way connection

# &)YFE50>1; q %ac u1&:CD356$K021O35CDH$'().$N=v6"g&d;?11/H>B51P502CDH2C5@CF(;?1 6>&:YD3q 7 Ba1YDCv$K(]C'SH2B518ST$K&:(+*2$N. $K021P502CDH2C5@CD(B5&)1 0J$K0J@>B?= &:6H2CP50>C'ev&d;?1 .Ba1 351 eD1 0OPACD626>&:Ma(:1 $K3 $'PaP5()&Q@4$'H2&)CD3.&)H>B $K3 $KM562H>0J$F@_H2&)CF362&)9&)(d$'0WH2CH>BA$'HC'S$'3&Q; 11 02eD1 0 &)635CFH[PA$'0>HC'S $ (:CDYF&d@ $K(PA$K02H2&)H>&:CD3f%&)H/BA$K6 H>C62.&)HJ@>BH>C&)H>6 1 a@_1 P5H2&)CD3o6>1 9$K3vH>&d@6H2&)H2&)CF3a66>&:98&)(Q$K0H2C &d;?1H2&)H2&)CF3a6;?Co3aCFHOC'eF1402(d$'P $'3%;$'()(%P502C5@146262146 &)3$ ()CFYF&d@ $K(AP%$'02H>&)H2&)CF3@ $K3@CD99OE53a&Q@4$'H21We?&d$   ('    ' ].&:H>B$'()(%P502C5@1 6>621 6 &)3 H2B514&:0()CFYD&Q@4$'(]PA$K02H>&:H>&)CF3 &)3 $H2&)981 ()=9$K35351 0$K3A;H2B%$'HH2B51 = M%1 >M502C?$F;5@4$'62H * ; &:6@CF3a3511C @_1 626>1 6 &)3CDH2B51 0()CDYF&d@ $'(RP%$'02H>&)H2&)CF356Nq7B?E56H>B51ST$K&)( *2$N.$'0216>1 02e?&d@1 6BA$NeD1/H>COP502C'e?&d;?1 $'3$'P5P5()&d@ $KH2&)CF3 .&)H2B$e?&:14. C'SH>B51/6>=v6>H21 9&)3O.B5&d@>BH2Ba1 @_CF35351N@H211 (d$'H2&)CD 3 X .&)H2BO021462P%1C"$KH2CD9&d@]Ma02Cv$D;5@ $K62H2Q6 ZW&)6 H20$'356>&)H2&)eF1Fq7Ba1 021$K021H-.WCO9$'&)3$KP5P502C?$F@>B51 6H>C$F@>B5&)1 eD1 H>BA$'HNc  !        
  $Pa02C5@1 6> 6 TO@ $'3L621 3A;L914626J$KYF1 6e?&d$P50>C @_1 626 V H2C;?1 6>H2&)3A$KH2&)CF 3 .Ba1  3 T &:6;?&)6J@CD353516J$'YD18SXCF0>. $K0J;?&)35Y &)6981 626$'YD1o;?& mEa62&)CF3fW&-q 1FqI$ 621 3A; 1 0C'S$ 91 6>6J$'YD1W 6>1 3A;?6W H2C $K()( @CF353a1621 d 6 $'3AD; @ $'3o@_CF99OEa35&:@ $KH21e?&d$O;5$'H$'YD0J$'9 91 6>6J$'YD1 6CFH>C @_CF()6 $'021 SXCD02M5&d;5;?143H2C62143A;Ma02Cv$D;5@ $K62H91 6>6J$KYF1 6M%1 H-.`141  3 o$K3A; 6>&)3A@1H>B51 = $K021&)3 ;?& R1 02143vH()CFYD&Q@4$'(]PA$K02H>&:H>&)CF356Nqu1 98C'ev&)35% Y 2H>CvC9$'3?=  @_CF35351N@H2&)CF3a6"@CDE5(d; B5C'.`14eF1 06>P5()&:HWH2Ba1 62=?62H>1 9 &)3PA$K02H>&:H>&)CF35!6 >H2C?C6>9$K(:( H2C; COE5621S E5(.WCF0>tmq [E50$'PaP502C?$F@>BOH20>&:146`H>C@CF9OMa&:3a1`H>B51 621H-.WC 1 5H20>1 91/$KP5P50>Cv$F@>B51461B51(:14eF1 (RCKSH2B51M50>Cv$F;a@ $'6>H621 0>ev&d@1DfA$'3%D; X  Z]()CDYF&d@ $'()()=;?&)6@CF353a1621 6 1 eF1 3H>B5CFE5YDBH2B51 =$'0>1 @4$'PA$KM5()1 CKS`@CF989OE535&d@ $'H>& 35Y.&)H2B1BCDH2B51401
 qgyac7B51[ST$K&)( *2$N.$'021/;a$'HJ$KYF0$'9 6>1 02e?&d@1$K(:()C'.6WH2C021%$_102&)eF1e?&d$ CD351*-. $N=OCD0 62()C'. ()&)35t?61C'S H2Ba1S-$'&)(+* $N.$'0>1       621402e?&d@1&)6OH2C 0>1%$16J$KYF1 6OH>BA$'H$K0202&)eD1e?&d$ 62()C'. CD0CD351*-. $N= @_CF35351N@H2&)CF3a6DXX62141o# &:YDE5021 qgyZ q 7B5&)66>1 02e?&d@1o@CD9P5EaH21 6O$'3 E5P5P%1 0M%CFE53%; CF3 H2B51 H20$'356>9&)626>&)CF3; 1 (d$N=C'S`$K(:(R981 626$'YD1 6&)H/;?1 ()&)eF1 0>6HZ 914626J$KYF18&:6$KHO9CD62H fs.B5&)(:18H2B51LE5P5P%1 0OMACDE53A; SXCD0
$ >62()C'. o981 626$'YD1CF0$L914626J$KYF162143vHOe?&d$$ CF3a1*T.$N=@_CF35351N@H2&)CF3L&:6YD021&)91/Ea35&)H26&)CFK3 Z45c X'w ZpH2CO1 356>E5021H2B%$'H&)H1 ()16 $KH9CD62H CF3a1 ()1B5162&)H2EA$KH2&)CF3 &)(:()E56>H20$'H21N; &)3

w#

LP2 o

LP1 n

local leader

q

p

r k

connected timely process

LP3 logical partition

# &)YFE50>1  q "5c%7B51W(:C5@ $K(F()1ev&d@114(:1N@H26()C5@ $'(D(:1N$F;?1 0>6]$'3A; @_021&:CD356@CF356>&)62H2&)35YOCKS&" 6>E5P5P%CF0>H21 0>6'#?S CF0()C5@ $'(R()11
 q " &)H.`CDE5(d;O1 ()11 6?f?T$'3A;DV8&)H26214( S].WCFE5(d; 62EaP5PACD02HV\# 61 ()1Bo()C5@ $'(s(:1N$F;?1 0C*W@021N$'H2146"$8()CFYD&Q@4$'(P%$'02H>&)H2&)CF3R  H2BA$KH @_CF356>&:6>H26 CKS`H2Ba1O621 H C'S/Pa02C5@1 6>621 6OH>BA$'H 6>E5P5P%CF0>H21B51()CFYF&d@ $K(AP%$'02H>&)H2&)CF3 $'3%;H>B51 6>1 P502C5@146262146 BA$NeF1[H2CO6>.&:H@>BH>COH2B514&:01 a@_1 P5H2&)CD3621 9$'3?H2&d@6Nq7Ba1 M502C?$F;5@4$'62H6>1 02e?&d@1 ()CDYF&d@ $'()()= @CD353516$'()(RP50>C5@1 626>1 6&:3$PA$K02H>&:H>&)CF3e?&Q$Ma02Cv$D;5@ $K62H91 6>6J$KYF1 6Nf59$Kt?&:3aYH>B5 1 2Ma02Cv$D;5@ $K62H @_CF35351N@H210J$'3a62&)H2&)eF1 X 621 1# &)YFEa02 1  qgx Z q  1[6J$N=8H2BA$KHH2B51 6>1 P50>C @_1 626>1 6$'0>1 QP '

' 'q

 

  " ! ! 
     ! -3 H2B5&)6 6>1&:CD3 .`1O0>1 e?&:14. 62CD91OC'S/H>B51OS-$'&)(+* $N.$'0>1 351 6>6 P502CDPA1402H2&)1 6OCKS/H2B518621 0>e?&Q@_1 6&)3 CFEa0 P50>CFH2C5@CD(`6>HJ$D@2] t XX6>1 1# &)YFEa021; q +Z4q7B51    P             
(' [&)6 H>B51OSXCDE53A;5$KH2&)CF3LC'S $'()(CFH>B51 0 ST$K&:(+*2$N. $K021W621 0>e?&Q@_1 66J$KYF1 6].&)H>B$H>0J$'3a629&)6>62&)CF3 ;?1 (d$N=OYD021EA@>B$ 6>1 02e?&d@1 &)6H2B%$'HW91 6>6J$'YD1 P%1 0-SXCD029$'3A@1 ST$'&)()E502146/$'021 H2B51@4$'E56>1 SXCD09$K3v=; & &@_E5()H2&)1 6&)3H2B51O;?1 6>&:YD3C'S]P50>CFH>C @_CF()6/$'3A;L;?1 H21N@H2&)35Y H2Ba1 9 $K()(:14ev&d$KH21 662CD91OC'SH2B514621P50>CFM5()1 986&:CD3 .&)H2B 0>1 62P%1C 9$K&)3vH$'&)35&)35Y[(:CDYF&d@ $K(APA$K02H>&:H>&)CF356Nq,[35CFH>B51 0/Pa02CFMa(:149 H2BA$KH`CD(d;O914626J$KYF1 6/@4$'3@ $'Ea621 $'0>1 Pa02CFH>C5@CF(R&)356>HJ$N* M5&)()&)H2&)1 6]&)3OH2Ba1/621435621H2B%$'H]1 eD1 3H2B5CDE5YFB$K()(591 6>6J$KYF1 6WH2BA$KH`$'0>1 @Ea0202143vH>()=62143vH$'0>1/H>&:981 ()=vfNH>B51 ;?14(:&)eD1 02= C'SCF(d;O981 626$'YD1 6/@ $'3LMA1H2Ba1@ $'Ea621C'S]e?&)CF(d$'H>&:CD356]CKSUH2&)981 ()&:3a1 626WP502CDPA1402H2&)1 6Nq #aCF01 a$K9P5()1Ff5@_CF356>&Q; 1 0 $6>&:98P5()1/&)3A;?14PA1 3%;?1 3?H $K6262146262981 3?H/981 9OMA140262Ba&:P8P502CDH2C5@CDG(   6 H2BA$KH P50>C'ev&d;?146 1B P50>C5@1 62C6 .&:H>B $K3 $'P5Pa02#C 5&)9$'H>&)CF3CKS/H2B51O6>1 HC'SE5P P502C5@14626214D6 X  
 !3?ZH2BA$K&H &)6 @CD353511BP50>C5@1 626  M50>Cv$D;5@ $'6>H26P%1 02&)C5;?&d@ $'()()=$K3 "  *2$'9 * $K()&:e' 1 #F981 626$'YF1 $K3A;.B51 3LP502C5@1 6>6 0>1B $91 6>6J$'YD1SX0>CF9 ?+f tD1 1 P5C6 &)3&)H26$'()&)eF1*-6214HWSXCF0$O@1 02H$'&)3 $'9CDE53?H`CKS]H2&)91Fq  Ba1 3 021N@1 &)eF1 6 $K3CD(d;981 626$'YD1 W SX02CD9 ?f &)3A@_(:E%;?1 6 &)3&)H26/$K(:&)eD1*T6>1 H1 eD1 3H2BaCFE5YDB  9&)YDBvHWBA$NeD1 M%1 1 3 @0$'62Ba1CFH2C5@CD(5$'3A;6>&)3A@B1 H>B5&)35t?B6 W&:6$'()&)eF1FQf 9&)YFB?HR35CDH62EaP5PACD02H]H>B51W1 ()1H2&d@E5(d$'0Nf%1BCF(d;914626J$KYF1@_CFE5(d;0>1 62E5()H&)3o$O6>&)H2EA$KH2&)CF3&)3.Ba&Q@>BH>B51 0>1&)635C()C5@ $K( ()1C5@1 626>1 6O$'021 021C;?1 H>1621 6>62981 3?HP502CDH2C5@CF( H2BA$KH`.W1E5621&)3CFE50WP50>CFH2C5@CD(R62H$F@>t0>%1 $16 $'()(A981 626$'YD1 6H2BA$KH $K021CF(d;?140H2BA$K3  021N$'(+*TH>&)91/Ea35&)H26CAf5&)HYDEA$'0$'3?H21 146 H>BA$'H/$8@0J$K62B51N;P50>C5@1 626&)602149C'eF1N;OS 02CF9H2Ba1$'()&)eF1*-6214H C'S1621 6OP%$'02H>&d@&)PA$'H>&:3aY&)3 H2Ba1(:C5@ $K(5()1C5@CF(%E5621H>B51 &)0`$K(:&)eD1*T6>1 H]H>C;?1BP50>C5@1 626H>C 62EaP5PACD02H`$K3A;.B5&d@>B P50>C @_1 626H20>&)1 6/H>CM%19$K(:()1 0WH2B%$'3H2B51 &Q;8CKSs$K3?=CFH>B51 0 P50>C @_1 626[&:38&)H26$'()&)eF1*-621 HWH20>&)1 6H2CMA1N@CF981/()1E5P5P%CF0>H26H2Ba1 14(:1N@H2&)CF3CKSU$ P50>C @_1 626 *s.B51  3 *# 6&d;&)6/629$'()()1 0H2B%$'3H>B51&d;CKS $'3?=CFH>B51 0P50>C @_1 626&)3 _# 6 $K()&:eD1 6214HE5021 H>BA$'H.Ba1 3$ ()C5@ $'(R()11 3A@1OCKS]ST$'&)()E50>1 6&:CD3CF351 Ma02Cv$D;5@ $K62H91 6>6J$KYF1$K3A ; e' w E53a&Q@4$'62H[91 6>6J$KYF1 6[PA1 00>CFE53A; fA.Ba1 021 e&)6/H2Ba13?E59OM%1 0 C'SP502C5@146262146 &)3H2B%$'HPA$K02H2&)H>&:CD3q crash

q n p

m

q∈aliveSetp

q∈aliveSetp

# )& YFE50>1
 q)w#+5c ,/3&)3A;?1 P%1 3A;?143vH$'6>621 6>629143vH[91 9OM%1 0>62B5&)POP50>CFH2C5@CD(RH2BA$KH/;?C?1 6/3aCFH021($11`;5$KHJ$'YD0J$K9I621402e?&d@1 @ $K(d@E5(d$'H>1 6`$'3E5P5P%1 0WMACDE53A; CF3OH>B51H20$'356>9&)626>&:CD3;?1 (d$N=C'S 16J$KYF1&)H`;?1 ()&)eF140265 Fy6 2q 7C$F@>B5&)1 eD1H2BA$KH65/6>H2CD021 6WSXCD0]1B51/0>1BA$'H BA$K60>16  P5&)YFYF=D*-MA$F@>t?6 CF31&:CD3C'S`H>B51EaP5PA140 MACDE53A; SXCF0 W E5621 6 H2B51H2&)916>HJ$'98P56/CKS`H2Ba1O02CFEa3A;D*-H202&) P Xe1 WAZ D6y ]&:3$ .$N=O62&)9&)(d$'0]H>CH>B51 0>1ev&d@1[62=?3A@>B50>CF35&)b 1 6WH2Ba1 @()C5@>tv6sC'SU$'()(?P50>C @_1 626>1 6/&)3O$ ()CFYD&Q@4$'(FP%$'02H>&)H2&)CF35q ]$F@>B 6>1 02eD1 _0 Pa02C'e?&d;?1 6]$'3 1 a@_1 P5H2&)CD3&)3A;?&d@ $KH2CD0) J13%q 7B51]&)3A;?&d@ $KH2CF0 H21 ()()76 _# 6U@_(:&)1 3?H>6 &++S _# 6]@()C5@>t J13&)6U6>=?3A@>B502CD35&)b 1H2&)H2&)CF3.B51 362=?3A@>B50>CF35&)b 1N;Rf $'3%;OCFH>B51 0>.&:6>1Ff5&)HW62B5C'.6 ON (P QP   dXT; 1 35CFH>1e?&Q@_1 P502C'e?&d;?1 6WH2Ba1/S CF()()C'.&:3aY 6>HJ$K3A;5$'0; 62149$'3?H>&Q@_6621 5 6 $'3%;  $'021&)3H2B516$'91[()CFYF&d@ $K(AP%$'02H>&)H2&)CF3$'HWH2&)9[1 t?6/$'021 $KH 9CD62H I$KPA$'0>HWSX02CD9 1BCFH>B51 0Nf5.B51 0>1 &)6/$K3 $ P50>&:CD02& YF&)eF1 3@CF3a62HJ$K3?HH2&)H2&)CD3 CF0.B51 3a1 eF1 H0 _# 6]@()C @>t &)6 35CFH62=?3A@>B50>CF35&)b 1N;Rf H2Ba1 ; 02&+SXH0J$KH21C'GS J 3 &)6/$'H98CF62SH g
5f?.Ba1 02C1 g &)6/$K3 $ P50>&:CD02&RYD&:eD1 3@CF3a62HJ$K3?H wFc  3    3 (  QE  %P  #OP^g
   3 (O P  3  + (P  #
g
  7B51]1 a@_1 P5H2&)CD36>1 9$K3vH>&d@6RC'SAH>B51ST$K&)( *2$N.$'021@()C5@2t6>=v3%@2Ba02CF3a&:bN$'H2&)CD3 621 0>e?&Q@_1`&)66>PA1N@& 11& S HU0$'H>1`CKS $K3 E5356>=v3%@2Ba02CF3a&:b416U&)3A; &Q@4$'H2CD06>B5C'.6 CZ &:6 MACDE53A;?1N;Mv= g q 7B51


w# 62P%11 02eD1 0G862H$N=v6W&)3H>B516J$'981()CFYF&d@ $K(AP%$'02H>&)H2&)CF3 $'6W()CF35YO$'61&)6`&)38H2B516J$K916>HJ$'Ma(:1PA$K02H>&:H>&)CF3q5-3CDH2B51 0.WCF0;?66
$CD&)356&:CD3CKS H>B51@()C5@>t62=?3A@>B50>CF35&)b1 02e?&d@1 662=?3A@>B50>CF35&)b 146$'()(]@()C @>t?6 &)3 $ ()CFYD&Q@4$'(?PA$'0>H2&)H2&)CD3OH2C H>B51 @()C5@>tCKSmH>B51/()C5@ $K(A()1B51P50>CFMA$KM5&)()&:6>H2&d@@_(:C5@>t 0211@()C5@>to0>16J$'YD1 6 6>1 3?HOMA1 H-.W1 1 3 $Pa02C5@1 6>6$'3%;&:H>6()C5@ $K(`()11 02e?&d@1P5&)YFYD=vM%$F@>t?6/@()C @>t862=?3A@>B502CD35&)b6J$'YD1 6H2B%$'H/H>B51 ()C5@ $'(R()11 02e?&d@16>1 3A;?6NfW&Tq 1FqH>B516>1 02e?&d@1&)662&)()1 3?H=?3A@>B502CD35&)bB51 0211 5&)62H>6 $()C5@ $'( (:1N$F;?1 0 *-fA$K()(RP502C5@1 6>621 6 &: 3 *# 6[(:CDYF&d@ $K(APA$K02H>&:H>&)CF3$'0>1 62=?3A@>B50>CF35&)b 16J$KYF1 SX02CD9 *
H2B5&)6[ST$'6>H/981 626$'YF1$'()()C'.B6 H2CO6>=?3A@>B502CD35&)b 1 &)H26/@()C5@>tH>C *# 6/@()C5@>tRq 7Ba1   P          621402e?&d@1OHJ$KtF1 6H2Ba1()CFYD&d@ $'( PA$'0>H2&)H2&)CF3 R  @_021B51981 9OMA140262Ba&:PLC'5S R  $'98CF35YOH>B51981 9OMA14026C'S R O2 q ]$D@>B 621402eF14C0 9$'&)3?HJ$'&)356 $K3 &:3%;?&d@ $'H>CF0 0 3 H>BA$'H62BaC'.6OH2B51@E5020>1 3?HO()CFYF&d@ $K(`P%$'02H>&)H2&)CF3 CKGS $'3%;$981 9OM%1 0-*-621 &H W /2 3 C'S]H2B51P50>C5@1 626>1 6 H>BA$'H$'021 @Ea0202143vH>()=&)3 _# 6()CFYD&d@ $'(RPA$K02H>&:H>&)CF3q7B51 621 0>ev&d@1 1 356>E502146H>BA$'H$K6(:CD35Y$K6 H-.WCPa02C5@1 6>621 C6 $'3% ; 8$'021O&)3H2B51O6$'981 ()CFYF&d@ $K(PA$'0>H2&)H2&)CF3 fAH>B51 =62B5C'. H2B51 6J$K91[91 9OM%1 0-*-6214H $KH/$'3?=@()C5@2t8H2&)9d1 = f?&-q 1Dq SXCF0$'3?=P%CF&)3?H26W62E%@2BLH2BA$K5H J13$'3AA; J [62B5C'. = c  '3 'M
    'M       3 M
   ! %'M   ,I6>1 02e?&d@11 356>E5021 6H>BA$'H;?1 PA$K02H2Ea021 6 $'3%C; $CF&)356WC'S]P50>C5@1 626>1 6O$'021;?1 H21N@H21B5&)P $'H/$K3?=P%CF&)3?H/&)3@()C @>t8H2&)91Ff?H>B51 =$'YD021 1 C'S`@CFEa02621CF3LH2B51 CD0J;?140/&)3.B5&d@2BLP502C5@1 6>621 6$'021 &:3%@()EA;?11 9C'eD1H2&)H2&)CF3 q ]$D@2BP50>C5@1 62C6  H2BA$KH @ $K3535CDHE5Pm;a$'H21 &:H>691 9OM%1 0>62B5&)P&)38H2&)91 XXCD35()= $'()()C'.`1&)H2&)CFK3 Z 6>1 H26]&)H>6U&)3A; &Q@4$'H2CD0H2C H2C6>&:YD3A$'(?H>C &)H>6 @_(:&)1 3?H>6 H2B%$'H&)H2691 9OM%1 0>62B5&)P&)3?SXCF0>9$KH2&)CF38&:6[CFE5H *TCKSd*2;5$'H>1Fq7B51ST$K&:(+*2$N. $K0219149OMA1 0>62B5&)P621402e?&d@1OBA$'6 $K(:6>CH>C 1 356>E50218H2BA$KH XJ'w Z[.B514351 eF140"$8P50>C @_1 626O@ $'3a35CFHtF141 P &)H2691 9OM%1 0 *T6>1 H/E5P *TH>C'*2;5$'H>1Ff&)H[&:60>1 9C'eD1C5@1 626@ $'3tD1 1 PEaP.&)H2BH2B51P50>C @_1 626>1 6 &)362CD91()CFYD&Q@4$'( PA$K02H2&)H>&:CD3fR&)H/.&)()(MA1O&)3A@_(:E%;?1B5&)P 621402e?&d@1E56>1 6H>B5191 6>6J$'YD1 6O62143vHOM?= H>B51(:C5@ $K(()1Co0>1B $KYF0>1 1 9143vHCF3 H2B51 9149OMA1 0>6`CKS $ ()CFYF&d@ $K(RPA$'0>H2&)H2&)CD3q 7Ba1   P         '    '   ?621402e?&d@1/;?1 ()&)eF1 0>691 6>6J$'YD1 6.&)H2B5&)3 $/@CD3562H$'3?H  @()C5@>tH2&)91 ;?1 (d$N=$ SXH2140`H>B51 =O$'0216>1 3?H $K3A;E56>1 6`H>B51 &)0]6>1 3A;OH>&)91]6>HJ$'98P56]$'3A;H>B51 &)0]6>1 3A;?1 0 # 6&Q; H2C H2CFH$'()()= CF0;?1 0`$K()( ;?1 ()&)eF14021HJ$'98PA1N;Mv=O0>1B51 62=?3A@>B50>CF35&)b 1N;@_(:C5@>t J 3

w#% C'SH2B516>1 3A;?1 0Sq 7B?E56Cv$F;a@ $'6>H`6>1 02e?&d@1 YDEA$'0$'3?H21 146/@ $'E56$'(;?1 ()&)eF1 0>=O1 eF1 3&)3H>B51P50214621 3A@_1CKSU$ B5&d;5;?143@2B%$'353514(R(:&)tD1 $ (:1_*T6>=v6>H21 9 .B51 351 eD1 0H2Ba1/;?1 (d$N=CKSH2B51/@>BA$K35351 (R&)6]YD021B51/CD0J;?1 0WC'S$[SX14. 98&)(:()&)621N@CF3A; 6U&)3OCDE50]&)9P5()1 981 3?HJ$KH2&)C'K3 Z q 7B518621 0>ev&d@181 356>E5021 68H2B51$'H>CF9&d@&)H-=P50>CFP%1 02H-= H>BA$'H 14&:H>B51 0O$'()(]P50>C5@1 626>1 6CD03aCP502C5@14626O&)3 $()CFYD&Q@4$'( PA$K02H2&)H>&:CD3;?1 ()&)eF1 0>6/$M502C?$F;5@ $K62H[91 6>6J$'YD1FqW, 621 0>eF1 0H>BA$'H X'w ZB%$'635CDH/021N@1 &)eF1H26NfACD0 X  Z BA$K6]M502C?$F;5@4$'62H>1BA$'H]&)6W35CFHW;?1 ()&)eF1 0>1H2&)H2&)CF3 f'BA$'6WH2C 62&)YF3A$K(5H2C &:H>6 @_(:&)1 3?H>6 H2B%$'H &)H &)6 CDE5H-*-C'Sd*2;5$KH21Fq ]$F@>B 6>1 02eD1 0 9$'&)3?HJ$K&)356/H>B51 021_SXCF0>1$'3 &)3A; &Q@4$'H2CD0 ) ) 3 q  B5143 $P502C5@14626  M50>Cv$F;a@ $'6>H26O$91 6>6J$KYF1 W $'H@()C5@>toH>&)91 = $K3AD; &)6 &)3 ()CFYD&Q@4$'(PA$'0>H2&)H2&)CD3 R  $'CH = f H2Ba1  3 X'w ZCW&)6 ;?1 ()&)eF140211Ff5&-q 1F*q ) ) 3 X%=I8 &Z  q  B5143oP50>C5@1 62d6 _# 6&:3%;?&d@ $'H>CF0/6>B5C'.C 6 R  $KH @_(:C5@>tH>&:981 = fR&-q 1D*q ) ) 3 X%=5Z  R  ?f t?35C'.6H2B%$'H/&)HBA$K6 ;?1 ()&)eF14021H91 6>6J$KYF1 6/;?14(:&)eD1 021BA$'D3 = q 7Ba1 Ma02Cv$D;5@ $K62H621402e?&d@1 E56>1 6ST$K&)( *2$N.$'021/;a$'HJ$KYF0$'9 M50>Cv$D;5@ $'6>H26[H2C621 3A; M502C?$F;5@ $K62H981 626$'YF146 H2CH2Ba1CDH2B5140P50>C5@1 626>1 6&:CD3$'3A;8&)3.BA$KHCF0J; 1 0BA$'H[CF0J; 1 02&)35Y8&:3 SXCF0>9$'H>&)CF3OCF3H>B51";a$'HJ$KYF0$'96 62143vHM?=H2B51 (:1N$F;?1 01 ()1C5@CF(-q  B51 3H>B51 21=CDP5H2&)CD3 OC'S]H2Ba1M50>Cv$D;5@ $'6>H621 0>ev&d@1 &)6 $D@H2&)eF$KH21B51()C @4$'(R()16J$KYF1 6Nq7B51[()C @4$'(5()1%1 $16/$'()(5M50>Cv$D;5@ $'6>H]914626J$KYF1 6 SX02CD9ICFH>B51 0 ()CFYD&Q@4$'(5PA$K02H>&:H>&)CF356]$'3%;$'()(5Ma02Cv$D;5@ $K62H26WH2B%$'H`$K0202&)eD1&:3O6>()C'. ;a$'HJ$KYF0$'96NfN&Tq 1Fq .&)H2B$H>0J$K356298&:6>62&)CF3O;?1 (d$N= YF0>11 62P%1CH2Ba1 &)0 621 3%;H2&)91 6>HJ$K9P56NfRH2B51 ()C5@ $'(%()1H`981 626$'YF1[H2C 9$'tD1`6>E5021H2B%$'H]35C M502C?$F;5@ $K62H 914626J$KYF1W.&)H2B$K31HJ$K9P $'0>02&)eF1 6Nq  B51 3H2Ba1(:C5@ $K(?(:1N$F;?1 0];?14H216`H>BA$'H6>CF91sP502C5@1 6>6 BA$K6U3aCFH]0>11/914626J$KYF1 6H>C H2BA$KHP502C5@1 6>61 02eD1 0WH2BA$KH ;?C?1 635CDH ;?1 ()&)eF140 $'()( M502C?$F;5@ $K62H[91 6>6J$'YD1 6/&)3H>&)91BA$'6[H2C8621 H&)H26[1 A@1 P5H>&:CD3o&)3A; &Q@4$'H2CD0H2 C Oq,I()C5@ $K( ()1&)35YH2B51 9 H2B51@E5020>1 3?H 62H$'H>1 C'SH2B51()CFYD&Q@4$'(RPA$K02H2&)H>&:CD3H>BA$'H&)HW9$'&)3?HJ$K&)356CFH2C5@CD()6.W1BA$NeF1o; 1 62&)YF3a111 6P%1 0 20>CFE53A; Aq2]1N@ $'E56>1H2Ba1S-$'&)()E5021O0$'H218&)635CDH"$K(). $N=?6 M%CFE53A; 1&:()=89$'6>tF$'M5()1FqRG?&)3A@_1/62E%@2B835CF3 *T9$'62tF$KM5()1 ST$'&)()E502146 @ $K3()1H21 9 ST$'&)()E5021461F q  1O0>1 e?&)1 . 62CD91OCKS H>B51981BA$'35&)6>96.`1OEa621H2Co; 1 H219$K3A@1ST$K&:()E50>1 6BA$'H&)H @ $K3535CDH Pa02C'e?&d;?1&)H>6

wNy 62H$'3A;a$'0J;86>1 9$K3vH>&d@6/;?E51H2CO3aCF3?*-9$K62tF$'Ma(:1P%1 0 SXCF0>9$'3%@1ST$K&)(:Ea021 6Nq up1621 6&  6 2c      'P     $'3A; 

      ' q eF143vH[H20>&:YDYF1 0>1=v6>H21 986021C1 eD1 3?H26 ;?&)021&)YFYF14021H21 986]021&)91Fq [0>H2B5CDYFCF3%$'(5H>C H2B51/$KMAC'eD1/@(d$'6>62& @ $KH2&)CF3fDP50>CFH2C5@CD()6 @ $K3 $'()62CM%1@_(Q$K626>& 1tD* ; 02&)eF1 3 Pa02CFH>C5@CF()6021 ()=CF3 62=?3?* @>B502CD35&)b 1t?6W.B5&)(:1H>&)91 0 * ;?0>&)eF1 3P502CDH2C5@CD(:6s021 ()=CFD3 XXEa3562=?3A@>B50>CF35&)b 161 P50>CFH2C5@CD()6 $'0>1 1 eD1 3?H-*-H202&)YDYF1 0>1&:3aYo6>=v6>H21 986()&)tF1 p35&  B%$NeF10>1 (d$'H>&:eD1OYFC?C5;0211B51 =B%$NeF1 0>1 (d$'H2&)eD1P%C?CF0/0>11 @()C5@>tF*2;?0>&:eD1 3MA1N@ $'E56>1@()C5@>tF*2;?0>&:eD1 3P502CDH2C5@CD(:66>&)9P5()&+SX=H2B51 &:98P5()1 9O1 3?HJ$KH2&)CF3C'S&)3A;?&d@ $'H>CF0>66 t?35C'.6]H>B51 @()C5@>t"; 1BO&)H`@ $K3535CDH]P502C'e?&d;?1&)H26s62HJ$K3A;5$K0J;O6>1 9$K3?H2&d@6`$K3v=?98CF021Dfto6>=v3%@2Ba02CF3a&:bN$'H2&)CD3 P502CDH2C5@CF(-qO, P502C5@1 6>6CBA$'6 H>Co$F;6$E562H$e?&)02H>EA$'(W@()C @>tJ13PA1402&)C5;?&d@ $'()()=vf 6J$N=?f M%1SXCF0>1 &)H26()C5@ $'( BA$'0;?.$'021@()C @>t862B5C'.6[eF$'()E51 650WfK0a8I9f q)q:qH>CtD1 1 P&)H26e?&)02H>EA$'(@_(:C5@>t62=?3A@>B50>CF35&)b 11 1O#&)YDE502

1  q)w  Z q  B51 3P50>C5@1 62&6 ;?C?1 6[35CFH$F1 H2B51 YF&)eF1 3;?1N$F;?()&)351 6Nf5&)H26@()C @>t J138&:63aCFH/3a16J$'0>&)(:=L62=?3A@>B502CD35&)b 1B51 CFH>B51 0 @()C5@>tv6Nq/jR14H/P50>C @_1 62 6  M%1"$K35CFH>B51 0/Pa02C5@1 6>6 H>BA$'H[&)6 1 511 0 35C5;?1$K56 :X $'3A ; 8E56>1H2Ba1O6J$'981B%$'0J; . $K021@_(:C5@> t f 3 Z q  Ba1 3 P50>C @_1 6256 [H20>&)1 6`H>C 021N$F; J 3 M%1 H-.W1 1 D3 089 $K3AA; > XX981BA$'SH J 3 &)6]CFEaH C'S62=?3A@>B50>CF3?=vq  1$F@>B5&)1 eD1/H2B%$'HM?=OE562&)35YH2Ba1/S CF()()C'.&:3aY 981BA$'3a&:6>9 XX62141 # &)YFEa02 1  q)w Z4q,[3&)3A;?&d@ $KH2CD0 ) 3 C'S$/Pa02C5@1 6>
6 @_CF356>&:6>H26]CKSmH-.WCPA$'0>H26NSc XJ'w Z H>B51&d;?1 3?H2& @ $KH2&)CF3C'?S _# 6()CFYD&Q@4$'(?PA$'0>H2&)H2&)CD3 X    
Z fF$K3A; X  ZH>B511  Pa&:0$'H>&:CD3H2&)98 1 XQL
M    Z[MA1 =DCF3A;L.B5&d@>BH2Ba1&)3A;?&d@ $KH2CD0/BA$K6 H>C6>&:YD3A$'(H>BA$'SH P50>C'ev&d;?146 &)H>6 1 A@1 PaH2&)CF36>1 9$K3?H2&d@6C5@1 62C6  1 eF$'()EA$KH21 6) 3Afa&:H 0262H[021B51 ()C5@ $'(RB%$'0J; . $K021@()C5@>t f3%q  S &)H26WBA$'0;?.$'021 @()C5@>tO62B5C'.6$'HW9CD62H]H>&)91 2L 1M   4fDH2B51eF$'()E51[C'S) 3 &:6     
aq /H>B51 0>.&:6>1Ff5H>B51eF$'()E51 C'S) 3 &:6 iN %P QP    X CZW.Ba&Q@>BH214(:()56  H2BA$KGH P50>C'e?&Q; 1 6&)H26/1 a@_1 P5H2&)CD3621 9$'3?H2&d@6Nq`\0>C5@1 62&6 E5PR;5$KH21 6 &)H26&)3A;?&d@ $KH2CF0[PA1402&)C5;?&d@ $'()()=vf%1Fq Y%q $'HH2&)91 = &:H6>1 H26 H>B511 5P5&)0J$'H>&)CF3H>&:981 H2C8&)H26351 5H;?1N$F;?()&)351 0 8:9 XX6>1 1# &)YFE50> 1  q)w  Z q  B5143 6>E R1 026 $P%1 0-SXCD029$'3A@1[ST$K&)(:Ea021FfD&)H/;?C?1 6/35CDHE5PR;5$'H>1 &)H26&)3A;?&d@ $KH2CF0&)38H2&)91 $'3%;OB51 3%@1FfA$K3?="@()&)1 3?HWH2BA$KH]021&:3aYO&:3?H>1 02eF$K(BXh0a8I9D6> Z4f5H2Ba1 1 5P5&)0J$KH2&)CF3H>&)91/&)60 8:9.B5&)()1f3O6>B5C'.6 $ eF$'()E51 YF0>11 H2Ea02356eF$'()E51 iN (P 2P   WH>BA$'H/$K(:()C'.6& H>C;?1 H>1BA$'HJ13&:63aCFH&)3

62=?3A@>B50>CF3?=$K3?=v98CF0>1Fq , Pa02C5@1 6>6  H2B%$'H021N$F;?6 )398&)YFB?H]&)H26>1 (+S 6>E R1 0 $P%1 0-S CF029$'3A@_1/S-$'&)()E5021[.B5&)(:11 eF$K()EA$'H>&:3aY H2B51 @E50>021 3?H[eF$'()E51/CKS ) 3Rq,[3&)3A;?&d@ $KH2CD0)3OH2Ba1 021S CF021 021 H>E502356[H2B51BA$K0J;?.$'0>1 @()C @>t8H2&)91[62HJ$K9POE56>16 1 eF$K(:E%$'H2&)CD3qR7B5&)6$'()()C'.6]H2B51;?1 H>1&:CD3OC'S ) 3 CD0/;?E50>&:3aYOH2B51E56$'YF1CKS H>B51eF$'()E51[021 H>E502351N;M?= ) 3 q

lpartion

Hp =expTime

Ip

clock time

out-of-date Ip =(lpartion,expTime)

# )& YFE50>1( q)w ac/7Ba1O&:3%;?&d@ $'H>CF0C'S $8P50>C5@1 626 @CF3a62&)62H>6CKS`H2B51O()CDYF&d@ $'(PA$K02H>&:H>&)CF3    
OCKS $K3A;o$K3 1 5P5&)0J$KH2&)CF38H2&)91 QL
M   4f?&-q 1DqH2B51H2&)981/.B51 3H>B51 &)3A;?&d@ $KH2CF0W.&)()(AM%1CFH2C5@CD()6B51O()1e?&Q@_1Ff]E56>1$  '! 
  '! 
 H>C @CD99OE535&d@ $KH21 M?=H2B518PA$'6>6J$KYF1CKS/H2&)91Dq7B5&)6 981BA$'3a&:6>9 &)6 6>&:98&)(Q$K0/H>CH2B51a"g(:1N$'62146'#91N@2B%$'35&)629 C'S   6 `.Ba&Q@>B. $K6&:3?H>02C5;?EA@1N;H2C1 356>E5021@ $D@>B51@CF3a62&)62H>1 3A@= &)3 ;?&)62H20>&)M5E5H21N; ()1O6>=v6>H21 986t?&)35Y 91N@2B%$'35&)629021NVFEa&:0>1 6CF35()=8CF351S-$'&)(+* $N.$'0>1 ;5$KHJ$'YD0J$K9 981 626$'YF1&)356>H211B51 ()1&)35YoH>&)91SXCD0&)3?H21 0>P502C5@14626@CF989OE535&d@ $KH2&)C'3o&)6H2BA$KH .Ba1 3 $'P5P5()&)1CFP%1 02()= OH2Ba&:6@CD99OE535&d@ $KH2&)C'3&:6WP%CF626>&)M5()1/1 eD1 3.B51 3H2B51 @CD99OE53a&Q@4$'H2&)C'3PA$'0>H23514026M%1& * H2&)CD3511SXE5( SXCF0WH2B51P50>C5@1 626>1 6H2BA$KH62.&)HJ@>B8H2B5162=?6>H21 9H2C$ 6J$ SX1 9C5;?1Dq 7B51O()C5@>tv&)35Y891BA$K35&)629 .WCF0>tv6 $K6/S CF()()C'.C6 XX6>1 1# &)YFE50>;1  q:w +Z4q , P502C5@14626 o6>1 H2662CD91 ()C5@ $K( eF$'0>&d$'M5()1 RS@H2C$8eF$'()E5A1 @ $'3A;L62143A;?6O$91 6>6J$KYF1 W H2C$8P502C5@14626 $KH H>1 ()()&:3aY  H2BA$KH &)H.&:()(35CDH @>BA$'3aYF1 H>B51eF$K()E51C'4S RS@ SXCD0/$'H/()16C6 @ $K3E56>1 H2B51E5PaPA1 0[MACDE53A ; ,+ XWZ@ $K(Q@_E5(d$'H21N;M?=8H2B51S-$'&)(+* $N.$'0>1 ;5$KHJ$'YD0J$K9 621402e?&d@1H>Co;?1 H>1 0298&:3a1"$()C'.W1 0MACDE53A;LSXCD0 H2Ba1OH2&)951 .&:()(35CDH@>BA$'35YD1 RS@Of&-q 1Fq$KH ()1H]&)6]H2BA$KH`$'HsH2&)91` +8D*^TOU6B @ $K3@>BA$'3aYF1H2B51eF$K(:Ea1/C'S
R4@ .&)H>B5CFE5HWBA$Ne?&)35Y H>C35CDH2&+SX= $KMACDE5HWH2BA$KH @>BA$K35YF1M%16 eF$K02&d$'Ma(:1RS@ SXCD0$'H()16C @_1 6265t?35C'.6[H2BA$KH O.&)()(Ea621H2B5&)6/&)3?S CF029$'H>&:CD3X H20J$K356298&)H2H21N;&)3WZ$'H[9CD62HE5PH2C8H2&)91

_8I*-TOUH20$'H21[&)3H2Ba&:66>1&:CD3B5C'. ST$K&:(+*2$N. $K0216>1 02e?&d@1 6@CFE5(d; MA1 Ea6211 H2H>&:3aY

&)3 .B5&d@2B @CD9P5EaH21 0@CD3?H202CD()(:14026OH2B%$'H$'0>1P5B?=?62&d@ $K(:()= @()CD621H>C 621 356>CF0>6CF0$D@H2E%$'H2CD026$'021L(:&)35tD11@CD998CF3&)3ST$D@H2CD02= bAC?CF0@CF3?H20>CF( $'PaP5()&Q@4$'H2&)CD356&d;?1 0J$KH2&)CF3a6;?Co3aCFH$'()()C'. E56OH2C ;?1 6@02&)M%162E%@2B $0>1&:CD3q -356>H21H20$'H21H>B51E56>1oCKS S-$'&)(+* $N.$'0>1 351 6>6OCF3 $6>&:98P5()1 0B5CFEaYFB 6>()&:YDB?H2()= @CD3?H202&)eD11SXCFE50 H20J'$ &@ ()&)YFB?H26 PA1 0s&:3?H>1 026>1BOCKSAH2B51WS CFE50];?&)021N@H2&)CF3a6]C'Sm$K3&)3?H21402621N@H2&)CF3O&)6621435621B51OH-.`CL621 356>CF0>6CKS 1B PA$K&:0BA$K6 H2CM%1 >CFP%1 0J$KH2&)CF3A$K( Af CFH>B51 0>.&:6>1Ff?H2Ba162E5M56>=?62H2149 @CD3?H202CD()(:&)35Y[H2B51[&)3vH>1 026>1&:CD3OBA$'6WH2C6>.&:H@>BH2C $ >02CDE53A;02CDM5&)3 9C5;?1Fq #5CD0 11 026>1&:CD3 H>B51 021$'0>1OH-.`C6$NSX1O6>HJ$KH21 6NDc XX, Z $'()(SXCDE50H20#$ &@O()&)YFB?H>6 6>B5C'. 021&:CD3OH2C6J$ SX1/6>HJ$KH21 XX, ZS CF0]$M%CFE53A; 1&:H>&)CF3511 $K()(:C'.W1CF()()16 SXCD01BH20$#&@[()&:YDB?H02&)M5E5H>11 9 H2BA$KH@CF3?H>02CF()6$K3 &)3vH>1 026>1&:CD3 @CD3562&)6>H26C'S w'ZCD351OPA$'&)0 CKS 0>1* ;?E53%;5$'3?H/&)3?H21402621N@H2&)CF3 @CD3vH>02CD(:()1 0>6CF()()1 026OYD1 HOH2Ba16$'98162143562CD0M50>Cv$F;a@ $'6>H26O&)3 H2B516J$K91 CF0;?1 0N q  1$'6>62E5981H>BA$'HH2Ba1@CD3vH>02CD(:()1 0>6$'0>1&)9Pa(:1491 3?H21N;M?= $; 1 H21 0>9&)35&)62H>&d@O$'()YFCD02&)H2B59;q 11 3A@_1Ff H2Ba1@CF3?H>02CF()()1 0>6/C'S`$K3&)3vH>1 026>1&:CD3o&)98P5()&Q@_&:H>()=$'YD021 1 CD3H2Ba1@CF989$K3A;?6]H>C62143A;H>COH2B51 H20J'$ &@()&)YFB?H26Nq G?&)3A@1[H2B51@CF3?H>02CF()()1 0>6`YD1 H`$'()6>C H2B51[621 3a62CF0&)3?S CF029$'H>&:CD3[SX02CD9 H>B51/CDH2B5140`&)3?H21 0>621B51/6>=?62H2149 &)6 35CDH PA$'0>H2&)H2&)CD351H2B5140`@CF989OE535&d@ $KH2&)CF3q  B51 3O$@CF3?H>02CF()()1 G0 J 9&)626>1 6]$/6>1 356>CF0WM502C?$F;5@ $K62H]&)3&)H26()CFYF&d@ $K(FPA$K02H>&:H>&)CF3f'&)H>6 M50>Cv$F;a@ $'6>H]&)3A;?&d@ $'H>CF0()1 H2&6 J tv3aC'. H2B%$'H]&)HBA$'6s35CFH]0>1B?E56H26@CF989$K3A;?6H2C H>B51/H>0J'$ &@()&)YFB?H26.B51 3 $'H()1EA$'H>CF0>6/C'S&)H26&)3?H21 0>621&)CF3o$K021&)3&)H26E5P *TH>C'*2;5$'H>1 981 9OM%1 026>B5&)PqG?&)3A@1 ()CFYD&Q@4$'(FP%$'02H>&)H2&)CF356;?C/3aCFHC'eF1 0>(d$'PfN.B51 3M%CFH2BO@CD3vH>02CD(:()1 0>6C'Sm$K3 &)3vH>1 026>1&:CD3$'0>1 $K(:()C'.W1H2&)H2&)CF3$'3A;L621 1OH>B516J$'981 62143562CD0 M502C?$F;5@4$'62H>6CF026NqW,I@CF3?H20>CF()()1 0.&)()( 62.&)H@2B H>C$ >02CDE53A;02CDM5&)3 9C5;?1 .Ba1 3 &)H;?C?1 6 35CDHBA$NeF1$KH ()1CF0C'S1B CKS H>B51SXCFEa0 62143562CD0/PA$K&:0>6C'S&:H>6&)3vH>1 026>1&:CD3&)3&)H26EaP?*TH>C'*2;5$'H>191 9OM%1 026>B5&)Pq , H>0J'$ &@()&)YFB?HO$F@H>EA$'H>CF0835C5;?1BA$'68H2] C XJ'w Z 021BH>0J$#&@[()&)YFB?H&X-j KZ`$K3A;O6>1 356>CF0CX-G,A$5fgG,5MKZ4q 7B51 0>1$'0>1 $'()62COH-.WC"@_CF3?H20>CF()()1 026X-^wFfg^ZW$'3A;aX-^5fg^ +Z SXCF01N$F@>B&:3?H>1 026>1CF()()1 026NfU$K3A;]X  Z&)H26 M50>Cv$D;5@ $'6>H&)3A; &Q@4$'H2CD0BA$'6$K(). $N=?6H2C6>&)YF3A$K( H2B%$'H&)H BA$'6 021H26Nq ]$F@>B H>0J$#&@s()&)YFB?HR35C5;?1]BA$K6U$pB5&)YFBP502&)CD02&)H-=P502C5@1 6>6]H2B%$'H6>.&)HJ@>B51 6 H2B%$'H]H>0J#$ &@p()&:YDB?HUH>C$[6J$ SX1/6>HJ$'H>1/.B5143O&:HsBA$'6W35CFHs021Cv$D;5@ $'6>H&)3A;?&d@ $'H>CF0]6$N=?6H2BA$KH`&)HWBA$'635CDH`0>1C$ 6$NSX1[62H$'H21 C'S]H>B51 S CFE50H>0J#$ &@ (:&)YDBvH>6C'S $K3&:3?H>1 026>1CM%1 62=?3A@>B50>CF35&)b 1C6>B5C'. 0>1H2&d@E5(d$'0Nf?H2B516>=v6>H21 9BA$K6H2CO$NeFCF&d; H2B%$'HWCF351[(:&)YDBvHs62B5C'.6WYF0>1 1 3.B5&)()1/62CD91CDH2B51 0W&)B6 bR$'62Ba&:3aY 021B51()C @>t?&)35Y 91N@2B%$'35&)629@ $'3M%1 E56>1C@C?CF0;?&)3A$'H>1H2B51 6>.&)HJ@>BH2C$6J$ SX162HJ$KH211 eF143.B51 3o$K()(%SXCFE50H>0J'$ &@()&:YDB?H26 $'0>1 PA$K02H2&)H>&:CD351E591 H2BA$KH/H2Ba1 021O$'0>1CD35()= H-.WC()&)YFB?H>6 Rpw"$K3A ; R aqO7C$F@>B5&)1 eD1$'3 @C?CD0J;?&)3A$KH21BBf Rpw"$K3A; R 62143A;1B CDH2B51 0P%1 02&)C5;?&d@ ST$K&:(+*2$N. $K021WE535&d@ $K62H914626J$KYF1 6;?E50>&)35YH>B51 &)0W35CF0>9$'(aCFP%1 0J$KH2&)CF38.B5&d@2B8()1 H26H>B51CFH2Ba1 0`H>0J'$ &@/()&)YFB?Ht?35C'. H2B%$'HH2B5162143A;?1 0 .&)()(3aCFH/6>.&)HJ@>BoH>CH>B5 1 bm$K62B6>HJ$KH21 8SXCD0 $'H()1HJ$K&:3@CD99OE53a&Q@4$'H2&)CD_3 # q  B51 3 35C $'626>E59PaH2&)CF356$K021 9$F;?1$'M%CFEaHH>B511 5&:6>H21 3%@1 CKSMACDE53A;?6CD3 @CD99OE53a&Q@4$'H2&)C'3f P50>C @_1 6266J@>B51N;?E5()&)35Y;?1 (d$N=?6/CD0H2B51 0$'H>1 CKSST$'&)()E502146B5162=?62H>1 9 &)6/$K62=?3A@>B502CD35CFEa602&)M5E5H>1H21 9861 3A@CDE53?H21 0>1BCF3$'62=?3A@>B50>CF35CDE5662=?6>H21 986`&)6WMA$'6>1B51/.W1 ()(+*Tt?35C'.3    QP    9C5;?14(  6 fD@2B%$'0J$D@H21402&)b 16 $K3A;O6>HJ$'H>1 H20$'356>&)H2&)CF356W62BaCFE5(d;8C5@ @E50&)3021 6>PACD35621 H2CO&)35P5E5H>6.&)H2B5CDE5H`Pa(Q$D@&)35Y $'3?=MACDE53A;?6CF3 H2B518H2&)91O&)H H$'tD1 6H>B51 6>1CDE5H2PaE5H26$K3A;62H$'H21H>0J$'3a62&)H2&)CF3a6 H2CC5@ @E50Nf Z &)3?H21 0>P502C5@1 6>6 @CD99OE535&d@ $KH2&)CF3&)6021 ()&d$'Ma(:1DcU$K3v= 91 6>6J$'YD1621 3?HWMA14H-.`1 143H-.WC 35CF3 * @0$'6>B51621 6&)6]1 eD1 3?H2EA$K()(:=O;?1* ()&)eF1 0>1B51/;?1 6>H2&)3A$KH2&)CF3OP50>C5@1 626Nf5$'3A;;  ZP50>C @_1 626>1 6BA$NeF1/@_0J$'6>BOST$K&)(:Ea021W621 9$'3?H2&d@6NfF$'3A; Z P502C5@1 6>621 6 BA$NeD1O35C$F@ @14626H2CBA$K0J;?.$'0>1@()C5@2t?6N0q s1B51OH2&)981*XS 021 19C5;?1 (]$K3 CFM56>1 02eD1 0"@4$'3535CDH ;?&)62H2&)3?* YFEa&:6>BMA1 H-.W1 1 3 @CD02021N@HB51621 6Nf98CF6>H`CKSUH2Ba1 621 0>e?&Q@_1 6H2BA$KH $'0>1C'S]&)9P%CF02H$'3A@_1/&)3 P50$F@H>&Q@_1Ff56>EA@>Bo$'6/@CD3562143562E56Nf%1 ()162B5&)Pf?$'0>1 35CFHW&)9P5()1 981 3?HJ$KM5()1   ?f % %?f%6x q



,

7Ba1H>&:9811 02e?&d@1 6$'021H2&)9816$'3A; 62H$'H>1H20$'356>&:H>&)CF356OH>BA$'HO6>B5CFE5(d; C5@ @E508&)3 0>1 62P%CF3a621H>C &:3aP5E5H26NfWM5E5H$K()62C H2Ba1H2&)981&)3?H21 0>eF$'()6.&)H2B5&)3.B5&d@2B $L@()&:143vH@ $'3 1 5PA1B51 621CDE5H2P5EaH26O$'3A;H>0J$'3a62&)H2&)CF3a6 H2CC5@ @_E50P502C5@1 6>6@CF989OE535&d@ $'H>&)CF3&:6Oe?&d$$'3 E5350>1 ()&Q$KM5()1;5$KHJ$KYF0J$K9 621402e?&d@1o.&)H>B CF98&)6262&)CDK3 'P%1 0-S CF029$'3A@_1 ST$K&:()E50>1]62149$'3?H>&Q@_6621 6WBA$NeF1@0$'62B 'P%1 0-SXCD029$'3A@1WS-$'&)()E5021]6>1 9$K3?H2&d@66 H2CBA$K0J;?.$'0>1 @_(:C5@>t?6H2BA$KH`0>E53.&)H2B5&)3$ ()&)351BA$'H'w Z &:H$F;?1&)35Yo;?&)62H>02&)M5E5H>1=?62H21496 M5Ea&:()HS 02CF9 351 H-.WCF0>tF1H.&)H>B H2B518H2&)91* SX0>1 1O9C5;?1 (-f H2B518H2&)91N;98C ; 1 (`$'()()C'.6 P50$F@H>&Q@4$'()()=351 1N;?1ev&d@146 62EA@>B $'6/@()C5@>t62=?3A@>B502CD35&)bCF98&Q@WMa02Cv$D;5@ $K62H/H>CM%1 &)9Pa(:1491 3?H21N; )w ?f  ?f 5w'f#w "?f A2w q G &:3%@1`&)H;?C?1 635CFH$'626>E591sH2B51W1 5&)62H2143A@1C'S%BA$'0;?. $K021@()C5@2t?6CF0 H2&)91N;/6>1 02e?&d@1 6Nf?H2B51WH2&)981*XS 021 1 9C5;?14(v9$N= $KP5PA1N$'0]H>C M%19CD021]YD1 351 0$'(%H2BA$K3H>B51H2&)981H2b@()C5@>t?6B51OP50214621 3A@_1CKSp@_(:C5@>t?6 &)3oH>B51OH2&)9811 62H>02&d@H>&:CD3qiCF0>1 C'eF1 0Nf.Ba&:()1&)H &)6 H>02E51OH>BA$'H9$'3?=C'SH2B51O6>1 02e?&d@1 61 3A@CDE53?H21 0>1&d@1FfW62EA@>B $'6 p35&  P502C5@146262146 $K3A; [Z\f];?Co3aCFHO9$KtF1$K3v= 0>1 62P%CF3a621*-H2&)91P50>CF98&:6>1 6B621 0>ev&d@146 MA1N@CF981";?1 ST$F@H>C >H2&)91B51 9fA&)3H2B51O.WCF0>62H@4$'621OH>B51OB?E59$K3E56>1 0&)91 CDE5HSXCD0 ;?1ev&d@146M%1H2&)9811 @()C5@>tv6;?C35CFHW9$KtF1WH2B51[H2&)91N;9C5;?1 (5()1 6>6YF1 3a1 0J$K(RH2BA$K3OH2B51H2&)981*XS 021 198C ; 1 (?SX0>CF9 $ Pa0J$F@_H2&d@ $'(%P%CF&)3?H C'Se?&)1 . q -3LST$F@_HB51ST$'&)()E50>16>1 9$K3vH>&d@6/CKS &)3?H21 0>P502C5@14626O@CF989OE535&d@ $'H>&)C'3&)3H>B51OH2&)981*XS 021 1 98C5;?1 (&)6 9OEA@>B6>H20>CF35YD1 0/H>BA$'3&)3H2B51H2&)9811 1/98C5;?1 (RH2Ba1 021@4$'3535CDH/1 5&)62H6>=?62H2149 02Ea356&:3 .B5&d@2B@CF0>021C @_1 626>1 6 $K021;?&)6J@CD35351&)021W02E53fKH2B51WH2&)91N;/98C5;?1 (v$K()(:C'.6R0>E5356&)3 .B5&d@>B@CF0>021C @_1 626>1 6 $K021/P%1 0>9$'3a1 3?H2()="; &:6@CF3a35111 19C5;?1 (a1 A@()EA;?1 6 H2Ba1`P%CF6>62&)M5&)()&:H-=H>BA$'H]@CD02021N@H]P50>C @_1 626>1 6`M%1PA$K02H2&)H>&:CD3510J$'0>= ()1 35YDH2B56C'S%H2&)91FfNH>B51`H>&)91EA@>BP%$'02H>&)H2&)CF35&)35Y H2CMA13A$KH2E50$'()()=98C ; 1 ()1E &@&)1 3?H2()=O9$'3?= CF98&)6262&)CD3 CF0WP%1 0-SXCD029$'3A@1@CF989OE535&d@ $KH2&)CF3S-$'&)()E5021 6Nq7Ba&:6@>BA$'0$F@H>1 02&)6>H2&d@[C'SUH>B51H2&)91N; 98C ; 1 (A0>Q1 bA1&:CD356/&)3.Ba&Q@>Bo@_CF99OEa35&d@ $'H>&:CD3OPA$'0>H2&)H2&)CD356 @ $K3oM%1 CDM5621 0>eF1611tv6Nf()&)tF1 H2B5;1 -3?H21402351 HNq 7B?E56CF9 $8P50J$D@H2&d@ $K(]P%CF&)3?H CKS e?&)1 . fRH>B51OH2&)981B51OH2&)981*XS 021 1 CD351Ff M%1H2&)H2&)CF3a6H2COM%1 98C5;?1 ()16/$'6>62E598P5H2&)CF3a6`H>BA$'H6>1 02e?&d@1 6 $'0>1 H2&)981621 6 BA$NeF1$D@ @1 6>6H2COBA$K0J;?.$'0>1@()C5@2t?6$'021 35CFH0>1 62H>02&d@H2&)eD1 SX0>CF9 $Pa0J$F@_H2&d@ $'(P%CF&)3?HC'S e?&)1 . q 7Ba1 YFC?$'(CKS]H2B5&)6/P%$'P%1 0&:6H>Cow ZP50>CFP%CF621$SXCD029$K(m; 1 35&)H2&)CD3SXCF0H>B51H2&)916J$'YD1]$'3A;Pa02C5@1 6>6U6@>B51B5&)6/9C5;?14( $D;?1&:M%1 6O@E50>021 3?H 0>E53?*-C'Sd*-H2B51_*T98&:()(-f5;?&)6-* H20>&)M5E5H21N;6>=?62H21496WM5E5&)()HSX02CD9 351 H-.WCF0>tF1E5&)H2&)eF11  Pa(Q$K3A$'H>&)CF3OC'S.B?= P50$F@H>&Q@4$'()()=&)9P%CF0>HJ$K3vHs621 0>ev&d@146/62E%@2B$'6/@CD3562143562E56[CF0W()1B51 H2&)981*XS 021 1$'62=?3A@>B50>CF35CDE56/6>=?62H2149 98C ; 1 (-fv$K021 &)9Pa(:149O1 3?HJ$'Ma(:1W&)3H2B51H2&)98102&)M5E5H>11 9 9C5;?14(:6@ $K3M%1@(d$K6262& 1N;$D@ @CD0J;?&)35YOH>CO.BA$'HH>B51 =$'6>62E5981 $'M%CFEaH
(P   !  ! ' f 
' 
' f     N      f?$'3A; !     6N  
$  ,6 q , @4@CF0;?&)35Y H2C H2B5&)6]H$#5CF35CD9O=vf H2Ba1 H>&)91BA$'0$F@H>1 02&)b 1021 YDE5(d$'0H>CFP%CF()CFYD&:146`&)6/$'6>62E5981COMA1 62CF()eD11 6[SX02CD9 0>1B51"; 1 35&)H2&)CD3C'S     ON ;?1 (d$N=?6WSXCF0981 626$'YD1/H20$'356>9&)626>&)CF3$K3A;8P502C5@14626/6@>B51BOCF0P%1 0-SXCD029$'3A@1sST$K&:()E50>1 6 KH2B51@CF989OE535&d@ $KH2&)CF3[621 0>ev&d@1 @ $'362E m1 0[CF98&:6>62&)CF3OCD0PA140-SXCD029$K3A@1[ST$K&:()E50>1 61 3A;?1 0>61 62Ea(:H[&)3@CD99OE535&d@ $KH2&)CF3CF98&)6262&)CD3 ST$K&)(:Ea021 6Nq 7Ba1 H2&)91N;$K62=?3A@>B50>CF35CDE56/6>=v6>H21 9 98C5;?1 (.$'6&)3?H20>C5;?EA@1B5CFE5HM%1 &)35Y83A$'981