" !$#&%(')#&!+*", %(-./102/4356087+9;:=<>3.%2?A@CB2@D'FEG,H!&IJ-K?L%2MN,H)!O@DP)!&E%(-Q#&E(*",AR)?A@C')B,A)!$MSE(@D'6TU!&FEVW@D%2R"?%(-QE?A!&E(XUXD@C-K!
IZYWIL,H!+M[@D'\E('\@C'))!&?L!&';,]IL,HE^,H!_)%(XDP)@C')B`E(XCXa?A!+XD!V(E^'8,]@C'"-K%2?LMbE^,A@D%2'S%(-c,H)!_*FE^IL,]ILYWIZ,H!&M["@DIL,A%2?LYS,H%`,H"!d-KR",HR)?L!
TU!&)EeVW@C%2R)?&f
 )! IZ,gE^,A! @DIh%(-=,H!+'`!ij*)?A!+IAIL!&Pbk8RFEG,H@C,HE^,H@lV2!+XCYm@D'
,A!&?AM6I%(-UEdIZ,gE^,A!nV^E(?A@DE(T)XD!po])@C#g6MSEYq@C')#&XCR)P)!rEd'WR"M
T>!+?
%^-?L!E(Xs%(?P"@DIA#+?A!,H!V^E(XDR)!+I]E(XDX>,H%2B2!,H)!+?]#&%2')IZ,H@l,HR",A@D')B
,A)!_IL,gEG,H!V2!+#+,H%(?&f
tu'v,H"@DI #E^IA!or!_ILFE(XDXa#&%2')IL@DP)!+? %2')XlYP)@CIA#&?L!+,A!mIZ,gE^,A!dV^E(XDR)!+I&wF@C'o])@D#g#E(IL!,H)!P)@CMS!+')IA@C%2'v%(-x,H)!IZ,gE^,A!
V(!&#,H%2?]TU!&#&%(MS!+I?L!&XC!+V^E(';,%2')XCYS,H%y#&%('8VW@C!&')@C!&';,?A!&*"?A!&IL!&';,gEG,H@D%('sf
z XD%2Iyor!{#&%2'"IA@DP"!&?b%(')XCY}|F'"@C,H!\V^E(XDR"!&P~IZ,gE^,A!{V^E(?L@E(T)XC!&I+ftu'~,H"@DI6#E(IL!{,H"!IL,HE^,H!{MbE^#g)@D')!M6%jP)!+XDXC@D')B
IL%2M6!?L!E(Xo%2?AXCPSIZYjIZ,H!+MMSEYyT>!?A!+*)?A!+IA!&';,A!&P\T;YbE_B2?AE(*)So]@l,HbEm|F')@l,H!]'8R)M
TU!&?%(-aV(!&?L,A@D#+!&Id?A!+*)?A!+IA!&';,A@D')B
P"@DIL,A?A@C')#+,IZ,gE^,A!`V(E^XDR)!+IOE(')PEvIA!,%^-rP)@C?A!+#+,H!+P!&P)B2!+I?L!&*)?L!&IL!&';,H@C')B,A?HE('"IA@C,A@D%2'TU!+,uo!&!+'IL,HE^,H!+I&f
!yFEV2!
,A)!&'{E`IA%6#E(XCXD!+P./402/43q/L0(<).:K/K:1^<(:0^L0(54j]rE(I]P)!&*"@D#+,A!&P@D'v|FB2R"?A!6L^Hf
a

1
d

a
4

@CB2R)?A!q2W,gEG,H!_h?AE(')IL@C,H@C%2'\d@E^B2?HE(M

pP)B2!+I`@D',H)!\W]MSEYT>!XDE(TU!&XDXC!&PT;Y!&XC!&M6!&';,HI-K?A%2ME{|F'"@C,H!SIA!,y%(-]XE(TU!&XCI?L!&*)?L!&IL!&';,H@C')B@D')*"R",HI+w
%(R",H*)Rj,HI&w),A?HE('"IA@C,A@D%2'v#+?A@l,H!&?L@E
%2?]E^#+,H@C%2')I]E(ILIA%W#&@DE^,H!+P,A%y,A)!,H?AE(')IA@l,H@C%2'sf
tu'\IA%(MS!#&E(IA!+I$E`P)@CIL,H@C')#+,$:=<F:K/:02>./102/43]@CI P)!+|F'"!&PE^Inor!+XDXQE(I]E`IL!+,%(-UJ<U02>./402/43.fJtu'v,H)@CI #E(IL!,H)!_IA!,
%^-*U%2IAIL@DT)XC!XE(TU!&X>IA!+kWR"!&')#+!&IE(ILIA%W#&@DE^,H!+P,A%y,A?HEV2!+?AIAE(XDI -K?A%(M@D'"@C,H@DE(X,H%`|F'FE(XQIZ,gE^,A!&I@DI %(-h@D';,A!&?A!+IL,&f
z '!i)E^MS*)XC!\@DXDXCR)IL,A?HE^,A@D')B)%eo[XE(TU!&XCI`MbEY}?L!&*)?L!&IL!&';,@C')*)R",AI6MSEY}TU!EIL,HE^,H!MbE^#g)@D')!vM6%WP)!&X %(-dE
k8R)!+R)!&@C')BIZYjIZ,H!+Mo])!&?L!
IL,HE^,H!V(E^XDR)!S?L!&*)?L!&IA!+';,HI,H)!q'WR"M
T>!+?$%(-p!+XD!+MS!+'8,AIdk8R)!&R"!&PR)*E^,$IA%2M6!
@C')IL,HE(';,
@C'S,A@DM6!(f )!XDE(TU!&XIA!,@C'b,H)@CIr#&E(IA!@C')#&XCR)P)!&Inq!&XC!&M6!&';,HI$HF_?L!&*)?L!&IA!+';,H@D'"ByE(?A?L@CV^E(X,H%q,A)!dk8R)!&R"!_E(')P
P"!&*FE(?Z,HR)?L!_?A!&IL*>!+#+,A@CV2!+XCY(f "!
j]%(-hIAR)#gEyk8R)!+R)!&@C')B6ILYWIL,A!&M@DI IL)%eo]'@D'v|FB(R)?A!y48gf
)!+'}XE(TU!&XCI?L!&*)?L!&IL!&';,y@D')*"R",`E('"PIL,HE^,H!6,H?HE^')IA@l,H@D%('@C-nR)')@Dk8R)!+XCYP)!,H!&?LMS@C')!&P-K?A%2M@D'"*)R",qV^E(XCR)!SE(')P
*"?A!&IL!&';,OIL,gEG,H!(w),A)!_IL,HE^,H!_MSE(#g)@D'"!@DI IHE^@DPv,H%yTU!S83&/43+5`:=<F:./:17&f

1
d

a
4

@CB2R)?A!mWj] %(-hk8R)!&R"!&@D'"BSIZYjIZ,H!+M{f
cE(TU!&XCIMSEYyIA@DMqR)XC,HE(')!&%(R)IAXlYy?A!&*"?A!&IL!&';, @C')*)R",AInE(')Pb%2R",H*"R",HI+wjo])@C#g@DI%(-=,H!+'b,H"!$#E^IA!Oo]"!&'vM6%jP)!+XDXC@D')B
?L!E(X>,H@DM6!_W wF!^f B"fp-K%(? #&%2M6M
R)')@C#E^,A@D%2'b*)?A%(,A%j#+%2XDI+f
tu'{IA%2M6!_#E(IL!&I$XDE(TU!&XDI]?L!&*)?L!&IA!+';,d')!+@C,H"!&?@D')*)Rj,HI')%2?]%2R",A*)R",HI+fjR)#gE('!i)E^MS*)XC!_@DI]#&%2'"IL,H@l,HR",A!&Po])!&'
M6%WP)!&XCXD@D'"B6!^f B"f_EbIA!+kWR"!&';,H@DE(X*)?L%2B2?HE^Mo]"!&?A!`IZ,gE^,A!qV^E(XDR"!&Id?L!&*)?L!&IA!+';,m,A)!qV^E(XCR)!q%(-J,A)!
*)?L%2B2?AE(M#&%2R)';,A!&?
E^')P,A?HE(')IL@C,A@D%2')I6?A!+*)?A!+IA!+'8,!ij!&#,HR",A@D%2' %(-d*)?A%2B(?HE(M ILR)T)IA!,w]o])@D#g-K?A%2M EM6%WP)!&XCXD@D'"BVj@C!+o*U%2@D';,SMbEY
TU!q#+%2')IL@DP)!+?A!&PEG,H%2M6@D#^f z IE('!i"E(M6*)XC!#+%2')IA@CP)!&?O,H)!q-K%(XDXD%eo]@C')By*)?A%2B(?HE(M[o])!+?A!
o!
#&%2'"IA@DP"!&?d@C')P)@CVW@CP)RFE(X
*"?A%2B2?AE(MIZ,gE^,A!&M6!&';,HIE^,A%2M6@D#(




  



!

"
#$&%$'  


()$*+&%,$-


.
//

0'21435,$2*!

67  89"

:

]o )!+?A!d,A)!_E(IAIL%j#+@E^,A!&Pj] @CInIA)%eo]'@D'b|)B2R)?A!y<;Wgftu'\,A)@DIr#E(IL!XE(TU!&XCI?L!&*)?L!&IA!+';,dE(#,H@C%2')Ir@C',H!+?AM6In%(IZ,gE^,A!&M6!&';,HI]P)@C?A!+#+,HXlYvE('"PE(#,H@C%2')I P)!+?A@CV(!&P-K?A%2M IZ,gE^,A!&M6!&';,HI+f>=O%eor!V2!+?O,H?AE(')IL@C,H@C%2'\#&?L@C,H!+?A@DE`E(?A!_E(XCIA%y?A!+*)?A!@?

IL!&';,H!+PvE(I@D'y,H)!],H?AE(')IA@l,H@C%2'STU!+,uo!&!+'vIL,HE^,H!+IBA;mE(')PCA2D)w;o])@D#g@CIJ,gEE^!&'%2'"XCY`o])!+'CF9G)Ajf z XCIA%m')%(,H!,HFEG,
,A)!!&';,A@D?A!IZ,gE^,A!_%(-h,A)!*)?L%2B2?HE^M@DI '"%(,]#E(*j,HR)?L!&PT8Yb,H)!V2!+?L,A@D#&!+I]%(-h,A)!j]
f) )!_@C')IL,HE(';,gE(')!+%2R)I V^E(XDR"!
%^-QV(E^?A@E^T)XD!+II HJE('"J
P F{E^?A!E(XCIA%`*FE^?L,n%^-x,A)!d*)?L%2B2?AE(MIZ,gE^,A!(fJt -cV^E(?A@DE(T)XC!&InE^?A!d')%^,]E(XDXUB2XC%2TFE(X1wW')E(MS!OT)@D'"P)@D')B(I
o%2R)XCP\T>!mE('E(P)P"@C,H@C%2'FE(X>IL,HE^,H!_#&%(MS*U%2')!+'8,&f
tu'IA%(MS!`*)?L%2B2?AE(MSM6@D'"Bb*FE(?AE(P)@CB2MSI$@C,@CIEv#&R)IZ,H%2M,A%\#&%2')IZ,H?LR)#+,m*)?L%2B2?HE^MSIdIL%v,HFE^,,A)!&@C?%eV2!&?AE(XDXT>!@?
)EeVW@C%2R)?d@CIdP)!+|)')!&PT;YEvIL,HE^,H!`MSE(#g)@C')!(f z *)@C!&#&!`%^-*"?A%2B2?AE(M #&%WP)!
-K%2?E7H02=L KH08N7 M*"?A%W#&!&P"R)?A!`-K%2?dIL%2M6!
,A)?A!&E(P\@D'Ey#&%2')#+R)?A?L!&';,O*)?A%2B(?HE(MMbEYTU!(
O $3'P44QR4S4$23TVUQ&#%WX+YZUQ2#!

01
x=1;
02
if(x>0)
x>0

04

x<=0
i++

05
goto label1;

i<10
06
i==10
08
x=4;
09

@DB2R"?A! "; j] %(-IA!&k8R)!+';,H@E^XQ*)?A%2B(?HE(M

%4%4PWX %4%4

  %4%4!
 QT%%4
44 !T
Q %  U
Q&# Z1X% O  !

 4Q N 1X % O  , !  % $1  !8 %4%%4%4
4 
 4Q N 1X % O  , !  % $1 T !8 %4%%4%4
4 L

 QT%%4
4 4  !T
Q %  U
Q&# Z1X % O   !

 4Q N 1X % O  , !   % $1 !8 %4%%4%4
4   L
 4Q N 1X % O  , !   % $1T !8 %4%%4%4
4   


Q Z%

QT%%4
44 ,!T
Q %  U
Q&# Z1X% O  !

 4Q N 1X % O  , !  % $14  !8 %4%%4%4
4 

 4Q N 1X % O  , !  % $14T !8 %4%%4%4
4 


o]"@D#g\or%2R"XDP\P)@D?L!&#,HXCYE(IAIL%j#+@E^,A!d,H%SE6j] E(I IL)%eo]'@C'\|)B2R)?A!6 Djgf

1
2
Action12

2
Action32
3

2
Action22

1
Action21

1
Action11

1
Action 31

@DB2R"?A! )D j] %(-hIL,HE^,H!_*)?L%2B2?HE^MSM6!&P,HE(I E-KR)'"#+,H@C%2'sf

W ,HE^,H!+MbE^#g)@D')!+IMSEYT>!6#&%2MqT)@D')!+P@C'V^E(?A@C%2R)I_onEYWI
*)?L%jP"R)#&@C')B{'"!+o IL,HE^,H!+MbE(#g"@D')!+I&fv@C,Ao!&XDXpP)!@?
|)')!&P\@D'"@C,H@DE(XE(')P|)'FE(XsIZ,gE^,A!&I %2')!MSEYbP"!+|F')!d,A)!R)')@C%2'%(-q%2?rMS%2?L!$MSE(#g)@C')!&I T;YvE^P)P)@D'"B`E
')!+o @D'"@C,H@DE(X
IZ,gE^,A!6-K?L%2M o])@C#g,H?AE(')IL@C,H@C%2')I,H%{!E(#g%(-r,A)!b@C')P)@CVW@CP)RFE(XMSE(#g)@C')!&ImMSEeYTU!6*>!+?L-K%2?LMS!+Po]@C,A)%2R",m#+%2')P)@ ?
,A@D%2'"IE(')PIA!+#&%2')P"XCYP)!|F')!`,H"!6'"!+o IL!+,m%(-|F'FE(XJIZ,gE^,A!&ImE(Id,A)!yR)')@D%('%^-,A)!`@D')P"@CVW@DP)R)E(Xh|F')E(XIL,HE^,H!yIL!+,HI+f
 "!b')!oXDE(TU!&XJIA!,y @DIm,H)!SR)')@C%2'%(-r,H)!S@D')P)@lVW@DP)RFE^XJXE(TU!&XJIL!+,HI
H

E(')P,A)!bIL!+,
%^- IA!+kWR"!&')#+!&IyB2!&' ?
!+?HE^,A!&PT8Ym,H"!#+%2M
T)@C')!&PMbE(#g"@D')!@DIx!i"E(#,HXCY_,A)!rR)'"@D%2'm%(-),A)!rIL!+,HIB2!&')!+?HE^,A!&P
T;Y_,H"!r@D'"P)@CVW@DP"RFE(X2MSE(#g)@C')!&I+f
 ')!MSEYIA@DM6@DXDE(?AXlYP"!+|F')!,A)!b@C';,H!&?LIA!+#+,H@C%2'}%(-%2?qM6%2?A!SMbE^#g)@D')!+IqT;YE')!+oMSE(#g)@D'"!So])!+?A!b,A)!
IZ,gE^,A!
IA!,_@DI,H)!`#&E(?L,A!&IA@DE('*)?L%jP)R"#+,%(-J,A)!`@D'"P)@CVW@DP"RFE(XcIL,HE^,H!`IL!+,HI+f "!`')!+o XE(TU!&XxIA!,_@DI,H)!`@C'8,A!&?LIA!&#,H@C%2'
%^-O,A)!\@D')P)@lVW@DP)RFE^XrXE^T>!+XnIA!,HI&f )!@D')@l,H@DE(XIZ,gE^,A!\@DI
,H"!\,AR)*)XC!   C 
gwpo])!&?L
!  @DI
,A)!\@D')@l,H@DE(XIZ,gE^,A!
V^E(XCR)!d%(-hMSE(#g)@D'"!')%)f HAfp )!|F')E(XsIL,HE^,H!+I]@DI !i"E(#,HXlY,H)!#&E(?L,A!&IL@E('\*)?L%jP)R"#+,%(-c,H)!_@C')P)@CVW@CP)RFE(XU|F'FE(XsIZ,gE^,A!
IL!+,AI&wU@4f !(f   
   bE^')P{|F')E(XDXlY,H)!mIA!,$%^-,H?AE(')IA@l,H@C%2')I]@DI]P)!|F')!&PT8Y\,AR)*)XD!+Iq  l 
]TU!+,uo!&!&'
IZ,gE^,A!&IS   C 
$E(')P    C 
]Hfj%{,AFE^,qE(' ?uXDE(TU!&XDXC!&P,A?HE(')IL@C,A@D%2'T>!,uor!+!&'   l 
E('"P  l 

!ij@DIL,_@C',H)!`#+%2M
T)@C')!&PMSE(#g)@C'@C-E(')P%2'"XCY{@C- ?uXE^T>!+XDXD!+P!i"@CIL,AImTU!+,uo!&!+!
'  E('""
P #J-K%(? H$2 l %fq%(?
P"!+,H!+?AM6@D')@CIL,A@D#rMSE(#g)@C')!&IJ,A)!]XE(TU!&XjIA!&k8R)!+')#&!+InB2!+')!&?AE^,H!+PS@CIJ!i"E(#+,AXCY
,A)!]@D';,H!+?AIL!&#+,A@D%2'6%(-U,H)! @C')P)@lVj@CP)RFE(XjIA!,HI
D

%^-B2!+')!&?AE^,H!+P{XDE(TU!&XsIL!&k8R)!&'"#&!&I+f
 -cM6%2?A!O@D';,H!+?A!&IZ, @DI,H)!$IA%
#&E(XDXC!&P 0(L02=l3&a7g^5 G.:K/:1^<w;o])!+?A!do!IAFE(X>T>!$E
T)@C,M6%2?A!O*)?A!+#&@DIL!(f
@CV2!+'
,uo%IZ,gE^,A!bMSE(#g)@D'"!&I  E(')
P 
qo]@C,AIZ,gE^,A!bIA!,HI E(')P

E(')PXDE(T>!+XJIA!,HI` E('"P}
ef "!b*FE(?AE(XDXC!&X
#+%2M6*>%2IL@C,A@D%2'%(-nIAR)#g,uo%MSE(#g)@C')!&I_FE(IqEIZ,gE^,A!bIL!+, $   
wE^')PEXE(TU!&XJIL!+,q $ 

ef z '
 ? XE(TU!&XCXD!&P,A?HE('"IA@C,A@D%2'\!i"@CIL,AI$TU!+,uo!&!&'    C 
E^')P C
r@D'\,H)!*FE(?HE^XDXD!+Xs#&%(MS*U%2IA@l,H@C%2'v@C-E(')P%(')XCY
@l-c,H)!-K%2XCXD%eo]@D')Bq#&?A@l,H!+?A@D%('v@DI M6!+,
'  E^')P #c-K%2? H  $  W
 e
E('"
P  $ #c-K%2? H 
  ?uXE^T>!+XDXD!+P,H?AE(')IA@l,H@C%2')In!i"@CIL,TU!+,uo!&!&
 "!v@D')P)@C#&!+Iq@D
' IA!&XC!&#,
,H)!vIZ,gE^,A!&MSE(#g)@C')!&Iq,AFE^,`ILFE(?L!vE(I
E#&%2M6MS%('XE(TU!&X1ftu'}%(,A)!&?
o%2?AP"IyE('} ?
XDE(TU!&XDXC!&P
,A?HE(')IL@C,A@D%2'`@C'6,A)!]*FE(?HE^XDXD!+X)#&%(MS*U%2IA@l,H@C%2'`!ij@DIZ,HI@ ,A)!]MbE^#g)@D')!+I@C
' {ILFE(?L!OILR)#gvE,H?HE^')IA@l,H@D%('yE(')P
,A)!dMSE(#g)@C')!&I %2Rj,HIA@CP)! P)%`'"%(, LR)M6*\E^,]E(XCX4fjR)#g{E
#&%2M6MS%('b,H?AE(')IA@l,H@C%2'TU!+,uo!&!&'{!(f B)fqIL,HE^,H!+MbE^#g)@D')!+I
MSEY?L!&*)?L!&IA!+';,
#&%(MSM
R"')@D#&E^,H@C%2')IdTU!+,uo!&!+'ILYWIL,A!&M6I&wx@4f !(f`,H"!SE^IAIA%W#&@DE^,H!+PXDE(TU!&XMSEY?A!+*)?A!+IA!&';,m,H)!6!+V(!&';,
,AFE^,],uo%bMSE(#g)@D'"!&IILYW')#g)?L%2')%2R)ILXCY!ijFE^')B2!
EyM6!&IAIAE(B2!^f z IOE('!i"E(M6*)XD!_#&%(')IA@CP)!&?],H)?L!&!IL,gEG,H!_MbE^#g)@D')!+I
E^I P)!&*)@C#+,A!&P@C'|FB2R)?L!6 8
b0
a

d
b1

d
b2

a
a0

d
d

b3
a

s0

d
b4

d
bn

@DB(R)?A!!WrW!&*FE(?AE^,H!_*FE^?L,HI %^-k8R)!&R"!&@D'"BSIZYjIZ,H!+ME(I]#&%2M6M
R)')@C#E^,A@D')BqIL,gEG,H!_MbE^#g)@D')!+I&f
 )!_E^?A?A@lV^E(XUE(')PvIA!+?LVW@D#+!ILYWIL,A!&M6I]FEV2!%2')XlYb%(')!dIL,HE^,H!$!E(#gsw"#"E('"P $" ?L!&IL*>!+#+,H@lV2!+XCY2fp )!T"R%a!+? *FE(?Z,
%^-,A)!yk8R)!&R)!+@D')BILYWIZ,H!&M )E(I_E(I_MbE^'8YIL,HE^,H!+IE^I_,A)!`'8R)M
TU!&?_%(-k8R)!&R"!&PR"*M6!&ILIHE(B2!+I_@C,MSEY)%2XCPswQ@4f !(f
& " l &(' w)o])!+?A!~@DIn,A)!mT)R%>!&?]XD!+')B(,Haf "!XDE(T>!+XsIA!,]-K%2?n,H)!E(?L?A@CV^E(X>ILYWIL,A!&M@DIdF
E(')P\-K%2?n,H)!_IL!&?LVW@C#&!
IZYWIL,H!+M 8fSF%2?d,H"!ST)R)a!+?IZYjIZ,H!+M,A)!yXE(TU!&XJIL!+,@DI`HFbIL%{,A)!yT)R%>!&?mIAFE(?L!&Im%2')!6#&%2M6M6%2'XE(TU!&X
o]@l,H6,H)!$E(?A?L@CV^E(XE(')PS%2')!O#&%2M6MS%('SXDE(T>!+X
o]@C,H6,H)!OIA!+?LVW@D#+!(fp )!$IZ,gE^,A!&In@C'S,A)!$*FE^?HE(XCXD!&X"#&%2M6*>%(IA@C,A@D%2'6E(?L!
* " &  +"]-K%(? H $'A" Cg f


ut ',A)@DI#E^IA!
E6?uXE^T>!+XDXD!+Pv,H?HE^')IA@l,H@D%('{*"e &  $",H%*" &  +"w o]"!&?A! H
!ij@DIL,AI$@C'{,H"!q*FE(?AE(XDXC!&XQ#+%2M ?
*U%2IL@C,H@C%2'IL@D')#+!m*" ,H%y*"@DI]E('\?uXDE(T>!+XDXC!&Pb,A?HE(')IL@C,A@D%2'@C'v,H)!_E(?L?A@lV(E^XaILYWIZ,H!&ME^')P & c,A% &  @DI]E^'? XE(TU!&XCXD!&P
,A?HE('"IA@C,A@D%2'b@D'v,H)!_T)R)a!+?IZYWIL,H!+M[-K%2? H
f
Q@ E^!+o]@CIA!6Ev ? XE(TU!&XCXD!+P{,H?AE(')IL@C,H@C%2'* "e &   $"_,H%v* "e &   $"&w o])!+?A! H G-Av!ij@DIZ,HI_@D',A)!`*FE(?AE(XDXC!&X#+%2M6*>%2?
IL@C,A@D%2'IL@D')#+! +",A
% +"@DImE(' ? XE(TU!&XCXD!+P,H?AE(')IA@l,H@C%2'@D',H)!6E(?L?A@CV^E(XILYWIL,A!&M E(')P & ,H% &  @CImE(' ? XE(TU!&XCXD!&P
,A?HE('"IA@C,A@D%2'b@D'v,H)!_T))R a!+?IZYWIL,H!+M[-K%2? H G A"f
 )!*FE(?AE(XDXC!&XQ#&%(MS*U%2IA@l,H@C%2'E^T>%eV2!@DIP)!&*"@D#+,A!&P@C'{|FB2R"?A! WgwFo])@C#gIA)%eo]I$,A)!q%(?A@DB(@D'FE(XakWR"!&R)!+@D')BvIZYjVI ?
,A!&M ')%^,*)E(?L,A@D%2')!+P@C';,H%\@C,AImIL!&*FE^?HE^,A!bIAR"T)ILYWIL,A!&M6I&w@1f !^fE(?L?A@lV(E^X4wsT))R a!+?qE('"PIA!+?LVW@D#+!(f 8R)Im-K%2?mEIL@DM6*)XD!
IZYWIL,H!+MXC@ E(!,H)@CIr@l,nMSEeY6TU!dM6%2?A!O'FE^,HR"?HE(XUP)@D?L!&#,HXCYy,A%
P)!+|)')!d,H)!$*FE(?HE^XDXD!+X#&%2M6*>%(IA@C,A@D%2'y,H)E(',H)!$IA!&*)E(?HE^,A!
ILR)IAT"ILYWIL,A!&M6I&f  )!m#&%2M6M6%2'vXE(TU!&XCI T>!,uor!+!&'ILR)T)IZYjIZ,H!+MSId)EeV(!'"%(,T>!+!&'ILR)#T L!+#+,$,A%S@C';,H!&?L*)?A!,gE^,A@D%2'vo_f ?&f ,
@C')*)R" , ^%2R",A*)R",&f )E^,d@CIo])!+'Eb#&%(MSM6%2' ? XE(TU!&XCXD!+P\,A?HE('"IA@C,A@D%2'TU!+,uo!&!&'E(?L?A@lV(E^XcE(')PT))R a!+?$@DI,gE E^!&'o!
P"%6'"%(,]P)!+,A!&?LMS@C')!o])!+,A)!&? ,H"!m#+%2M6M
R)')@C#E^,A@D%2'v@CI P)@D?L!&#+,A!&Pv-K?A%(M[E(?A?L@CV^E(XU,H%yT)%R >!&?]%2?n,A)!_%2*)*U%2IA@l,H!dorEeY(w
@1f !^fho])!,H)!+?E(?A?L@CV^E(X"IL!&')P"IrE('y!+XD!&M6!&';,J,A%mT"%R a!+?J%2?JT)%R >!&?p?L!&k8R)!&IZ,HI!&XC!&M6!&';,HI-K?L%2M E(?L?A@lV(E^X4fxtu'6IL%2M6! #E(IL!&I
"%o!+V(!&?,H)@CI P)@DIZ,H@D'"#+,H@C%2'vMSEeYbT>!_?L!&XD!V^E(';,f
a

1
d

a
4

h@DB2R)?L!
"E(?HE(XCXD!+Xs#&%2M6*U%2IA@l,H@D%('%(-hkWR"!&R)!+@D')B6IAR)T"ILYWIL,A!&M6I&f
tu'B2!&'"!&?HE^XIZ,gE^,A!SMSE(#g)@C')!&I_MSEY*>%W!&ILIA!+ImV^E(?L@D%2R)I_*)?L%2*U!&?L,A@D!+Im%^-ro])@C#go!So]@CXDXP)@CIA#+R)IAIE\-K!oN@D',A)!
LI !&k8R)!+X4fdt -EbMSE(#g)@C')!q*U%W!&IAIL!&IL!&I_ESo!&XCXhP)!|F')!+P@C')@C,A@E(XQIZ,gE^,A! +"ew,H)!
IL!+,%^-pIL,gEG,H!&I `+"+ ?L!E(#g)E(T)XD!-K?A%2M
,A)!_@D')@l,H@DE(X>IZ,gE^,A!_MbEYTU!_%(-hB2?A!&E^,@DM6*>%2?Z,gE('"#&!(f FE^,@DI   `+"+@C-hE6*)E^,H\%(-h,H?HE^')IA@l,H@D%(')In!ij@CIL,XD!&E(P)@D'"B
-K?L%2M +",A% 2f)!&' `+"&u@CI>E8')%eo]'v@l,rMSEYyT>!@D')IL*>!+#+,A!&P-K%2?pR)')P"!&IA@C?A!+PvIL,gEG,H!&I+fJt -cR)')P)!+IA@C?A!&PbIL,gEG,H!&I!ij@DIZ,
o]@l,H)@C' ` +"+M6!E^IAR)?L!$IA"%2R)XDPST>!],g2E E(!&'S,H%qM6%WP)@C-=Y,H)!OILYWIL,A!&M ,H%q?L!&M6%eV2!$ILR)#gIZ,gE^,A!O-K?A%(M ,H)!?A!&E(#gFE(T)XC!
IL!+,&f
@l,H)@C
' ` +"&pILR)T)IA!,HI  MSEeYS!ij@CIL, ,H)E^,E(?A!#+XD%2IL!&Psw"@4f !(fJ')%`*FEG,H)I]XD!&E(Pv%2R",n%(- yfJ )@CI MbEYS%2? MbEY
%^,qTU!bE*)?A%(T)XD!+M IA@D'"#&
! ` +"&d@CIqE(XCIA%#&XC%2IA!+Psf\tu'MbE^'8Y#&E(IA!+I
@C,mMSEYT>!SIA*U!&#&@l|F!&P,HFE^,')%MSE^,L,H!&?,A)!
*"?A!+VW@C%2R)Id)@CIL,A%2?LY\,H"!&?A!qIA)%2R"XDPE(XCXCorEeYWIOT>!`ES*FE^,H,A%IA%(MS!IL,gEG,H! @C'ESo!&XCXP)!|F')!&PIL!+,  ` $"&n%(E^#&#&!+*",gE^T)XD!_|F'FE(XcIZ,gE^,A!&I&f tu'%(,H)!+?o%2?LP)IO-K%2?E(XCXQIL,HE^,H!+I$@D
' ` +"+,H"!&?A!IA)%(R)XDPE(XCorEYjITU!qE6*FE^,H{XD!&E(P)@D'"B
@C';,H% yf
t -aIA%2M6!]IA@D'"B2XD! IZ,gE^,A! n@CIJ#&XC%2IA!+PE(')P6%2R",AIA@CP)!  or!IHEY`,AFE^, n#&%2'"IL,H@l,HR",A!&IEy83H0;)leN7 Mw2o])@D#g6@DIE(XlonEYWI
R"')P)!&IL@D?AE(T)XD!^fJtu'{#&E(IA!m%(-hP)!E^P)XD%W# EM6!E(ILR)?A!+IOIL)%2R)XCPTU!,gE E^!&',H%y!&')ILR)?A!_,H)E^,!&@C,A)!&? d@CI ')%(,@D
' ` $"r%(?


S
R(s0)

s0

h@DB2R)?L!jptu')@l,H@E^XaIL,HE^,H!^wF?A!&E(#gFE(T)XC!IA!,dE('"P\|)'FE(XQIA!,%(-IZ,gE^,A!mMSE(#g)@C')!(f
!+IL,HE(T)XD@CIAE`*FE^,A-K?L%2MO,A%  T8YMS%WP)@C-=YW@C')Bq,H"!mIZYWIL,H!+M{f
t -  @DI')%^,mE\IL@D')B(XD!
@CIA%2XDE^,H!+PIL,gEG,H!yT)R",Ev#&%2'"')!&#,H!&PB2?A%(R)*%^-rIZ,gE^,A!&I&wQo!SIAEY,HFEG,  #&%2')IZ,H@l,HR",A!&ImE
: ^3&leN7 MLf c@lV2!+XD%W# EWIE(?L!XD@ E(!+o]@CIA!_R)')P"!&IA@C?HE(T"XD!d-K!EG,HR)?L!&I]%(-E(';Y\ILYWIL,A!&Mf
S
R(s0)

s0




c
F

@CB2R)?A!jpd!E(P)XC%j# EbE(')PXD@lV2!&XC%j# E6@D'\IZ,gE^,A!&MSE(#g)@D'"!(f

JV2!+'vo]@C,H"%2R",nP"!E(P)XC%j# E8In%(?rXD@lV2!+XD%W# EWIILYWIL,A!&M6I MbEY6')%(,n*FE(IAI,H)?L%2R)B2vE^#&#&!+*",gE^T)XD!$|)'FE(XaIZ,gE^,A!&InP"R)?A@C')B
,A)!&@C?nXD@l-K!O,A@DM6!(ft -x-K?A%2ME(XDX>IL,HE^,H!+I!V2!+?LY\*FE^,A\M
R)IL,]!V2!+'8,ARFE(XCXCY*)E(IAI ,H"?A%2R)B( yw"o!_IHEY,H)E^, Ag^H3.g.@CI
!+')IAR"?A!&Paf
!_IAFE(XCXsB2@lV2!mE
-K!+o !i"E(MS*"XD!&I]%(-x,H"!m*"?A%2*U!&?Z,H@D!+I]E(TU%V(!_@D'v,H)!_IL!&k8R)!&X1f


R(s0)





 


s0
 





 


 

 


@CB2R)?A!"Jp')IAR)?L!&P*"?A%2B2?L!&ILI@C'\IL,gEG,H!_MbE^#g)@D')!^f
2% '"IA@DP"!&?y,H)!#&%2M6M
R)'"@D#EG,H@D'"BIZ,gE^,A!{MSE(#g)@C')!&I6@D' |FB2R"?A!LZAWHf )!Y?L!&*)?L!&IL!&';,\EMS%WP)!&X %^-_E#&E(XDX
IL!+,AR)*\*)?A%(,A%j#+%2XsE^#+,H@C')B
@C'vEq,H!+XD!&*")%2')!IZYjIZ,H!+M{fdE(#+,AI]E(Ir,H"!#E(XCXD!&?rE(')P E(I,H)!#&E(XDXC!&!(fpV(!&?ZYvXE(TU!&X
*U%2IZ,A|"ij!&P !  "?A!+*)?A!+IA!&';,AIEIAR)#+#&!+IAIL-KR"XDX]#&%2M6M
R)'"@D#EG,H@D%('T>!,uor!+!&'*U!&!+?AI+wo])!+?A!E^IS*U%2IL,L|"i# _H%$&
?L!&*)?L!&IL!&';,HI$Ey#+%2M6M
R)')@C#E^,A@D%2'b-E^@DX4ftu'{%(,A)!&?n,A!&?LMSI]XE^T>!+XDIro]@l,H*>%2IZ,A|"'
i  !  "yE(?A!_#&%(MSM6%2',H%y,H"!_,uo%
MSE(#g)@C')!&I+w"o])!+?A!E^IO*U%2IL,L|"(
i  _ H%$&6@D')P)@C#E^,A!XE(TU!&XCInTU!&XD%(')B2@D'"B
,H%y%2')!_MSE(#g)@D'"!%2')XCY(f


Ma

Mb

IDLE

IDLE

Conn_Req_Fail Conn_Req_Succ

Conn_Rej_Succ

Conn_Req_Succ

PENDING

Conn_Rej_Succ
Conn_Rej_Fail

PENDING

Conn_Rep_Fail Conn_Rep_Succ

Conn_Rep_Succ

CONNECTED

CONNECTED

@DB2R"?A!
ZAj?L%(,H%W#&%(Xs*>!+!&?LI$E(I]#+%2MSMqR)')@D#&E^,H@C')B
IZ,gE^,A!&MSE(#g)@D'"!&I&f
 E(?HE(XCXD!+Xq#&%(MS*U%2IA@l,H@C%2' *)?L%jP)R"#&!&I,A)!}-K%2XDXC%o]@C')BMSE(#g)@C')! |)B2R)?A! Z2^AHw
IA"%o]@C')B E ?A!E^#gFE(T)XC!IL!+,&
`+"+ $ W<H1)$+*2 H4)$,*^ge.-/*10aH%032U%-/*10aH+042Fge6570808*  9* :57080;* 9*)ge.-/*10aH+042U H4)$,*^g<-/*10>H+042U :5=040;* 9*)H
%^-Qo])@D#g.-/*10aH%032U H4)$,*^E(')P<-/*10>H+042U : 5=040;* 9 *)E(?A!$P)!E(P"XD%W# E(!&P\IZ,gE^,A!&I&fp )!$!ij@DIZ,H!&'"#&!_%(-cP)!&E(P)XD%W# E8I
P"@D?A!+#+,AXCY@CMS*"XD@D!+I,AFE^,]')%6*)?A%(B2?A!+IAI]@DI !+')IAR)?L!&Psf
 )!6IA@l,HRFEG,H@D%('MbEYTU!y?A!+MS!+P)@D!+PT;Y@D';,A?A%WP)R)#&@C')B\E(P)P"@C,H@C%2'FE(XhXE(TU!&XCIE(')P,H?AE(')IL@C,H@C%2')Id,A%\,A)!yILYWIL,A!&Mf
 "!yE(P)P)@l,H@D%('FE(XxXE(TU!&XC
I >57080 ? 5   @ E(')P A5=040 ?5   B[?A!+*)?A!+IA!&';,AIM6!&ILIHE(B2!+I,H?HE^')IAM6@C,L,H!&P-K?L%2M XD%eor!+?


Conn_Req_Fail
IDLE
IDLE

CONNECTED
IDLE

PENDING
IDLE
Conn_Req_Succ

IDLE
PENDING

CONNECTED
PENDING

PENDING
PENDING

Conn_Rep_Fail Conn_Rep_Succ

IDLE
CONNECTED

Conn_Rej_Fail

CONNECTED
CONNECTED

PENDING
CONNECTED

Conn_Rej_Succ

@CB2R)?L!
22E(?HE(XCXD!+Xa#&%(MS*U%2IA@l,H@C%2'v%(-h*)?A%(,A%E(%(Xs*>!+!&?LI&f
XDEY2!&?LI @D')P"@D#EG,H@D'"BqXD%(IL, XC@D'E8I&f Q%2IZ,]XD@C'EyMS!+IAIHE^B2!&I o]@DXCXa@CMSM6!&P)@DE^,H!+XCY`!+'"-K%2?L#&!&I ,A)!#E(XCXa#+%2';,H?A%(XQ*)?A%(,A%j#+%2X>,A%
M6%eV2!,H%`,A)!_@DP)XC!dIL,HE^,H!mE(I]IA"%o]'{@D'v|FB2R"?A!6L;gf
Ma

Mb

IDLE
Conn_Req_Fail

IDLE
Conn_Lost_B

Conn_Lost_A
Conn_Req_Succ

Conn_Req_Succ
Conn_Rej_Succ

Conn_Rej_Succ
PENDING

Conn_Rej_Fail

PENDING

Conn_Rep_Fail
Conn_Rep_Succ

CONNECTED

Conn_Rep_Succ
CONNECTED

@DB2R"?A!`jp?L%(,H%E^%2XQM6%jP)@l|F!&Po]@l,HE(P)P"@C,H@C%2'FE(X>!&IL#E(*U!!V2!+'8,&f
E(?HE(XCXD!+Xx#+%2M6*>%2IL@C,A@D%2'\*)?L%jP)R"#&!&IO,H)!q-K%(XDXD%eo]@C')ByMbE(#g"@D')!^wUo])!+?A!`E^P)P)@C,A@D%2')E(XQIL,HE^,H!+IdFEV2!
TU!&!+'@D')#+XDR)P"!
@C',H)!_?L!E(#gFE^T)XD!_IA!,wT)R",]P"!E(P)XC%j# EbIL,gEG,H!&I')%yXD%(')B2!&? !ij@DIL,&f
z ')%(,H"!&?!i"E(M6*)XC!
@DI$,A)!y#&%2M6M
R)'"@D#EG,H@D'"BbMSE(#g)@D'"!&I%(-p|FB2R"?A!\L DjgwsP"!&*)@C#+,H@C')B\EM6%jP)!+X%(-rb#&%(')#&R)?V?
?L!&';,HXlY!i"!+#&R",A@D')By,gE^I E8I]#&%2M6*>!,H@C')B`%eV2!&?O
IA)E(?A!+P{?L!&IAIL%2R)?L#&!&I+f
]!&ILIA%2R"?A#&!+IOMSEYTU!_XD%W# E(!&PE('"PR"')XD%W# E(!+Psw
T"R",q,HE(I E8Iqo]@CXDXp')%(,qR)')XD%W# ET>!-K%2?A!b*>%W!&ILIA@D'"BTU%(,H?L!&ILIA%2R)?L#&!+I6IL@DM
R"XC,gE^')!&%2R"IAXCY(
f {R",HRFE^X!i"#+XDR)IL@D%2'@DI-K%(?
!&E(#g?A!&ILIA%2R"?A#&!m@DI]!+')IAR)?L!&P{T8Yb,H)!_!&';VW@D?L%2')M6!&';,1%2*U!&?AE^,H@C')B`ILYWIZ,H!&Mvgf
 )!S*FE(?AE(XDXC!&X#+%2MS*U%2IL@C,H@C%2'%(-n,A)!bv,HE(I EILYWIZ,H!&M@DI_IL)%eo]'@D'|FB2R)?L!Z 8Hwxo])@C#g#&XC!E(?LXCYIL)%eo]I,A)!
?L!E(#g)E(T)XD!qIA!+,&wQE(Ido!&XCXE(I$,A)!
!i"@CIL,A!&')#+!6%^-bP)!E(P"XD%W# E{IZ,gE^,A!&I&qL1 085 LW 0;5^ E(')P 085 (1 0;5L8Hf )!
!ij@DIL,A!&')#+!%^-P)!&E(P)XC%j# EvE^B;E(@D'v*"?A!&#+XDR)P"!&IE(';Y\B2RFE(?AE(';,H!+!&P*)?A%2B(?A!&ILI&f
tu'SB2!&')!+?HE(XIZ,gE^,A!OMSE(#g)@C')!OIZYWIL,H!+M MS%WP)!&XCXD@C')B?A!+IAR)Xl,HI@D'SEm'8R)M
TU!&?%(-s#+%2M6M
R)')@C#E^,A@D')BIZ,gE^,A!OMSE(#g)@C')!&I+f


Conn_Lost_A

Conn_Req_Fail
IDLE
IDLE

CONNECTED
IDLE

PENDING
IDLE
Conn_Lost_A
Conn_Req_Succ

IDLE
PENDING

PENDING
PENDING

CONNECTED
PENDING
Conn_Rej_Fail

Conn_Rep_Fail Conn_Rep_Succ
Conn_Lost_B
Conn_Lost_A
IDLE
CONNECTED

PENDING
CONNECTED

CONNECTED
CONNECTED

Conn_Rej_Succ

@DB(R)?A!
;"E(?AE(XDXC!&X>#&%2M6*>%(IA@C,A@D%2'v%^-M6%jP"@C|F!+Pv*)?A%(,A%E(%(X4f
IDLE

IDLE
B_Lock_1

A_Lock_2

A_Lock_1

1not2

B_Lock_2

1not2

2not1

2not1
B_Free_Both

A_Free_Both
A_Lock_2
A_Lock_1

B_Lock_2

1and2

Locked
A_Free_Both
B_Free_Both

B_Lock_1
1and2

Locked

A_Lock_1

A_Lock_2
B_Lock_2

A_Free_Both
B_Free_Both

B_Lock_1

Unlocked

Unlocked

h@DB2R)?L!
D)JhE(IEWI#&%(MS*U!+,A@D')By%eV2!+?ILFE(?L!&P?L!&ILIA%2R)?L#&!+I&f
z Ir,H"!IL,gEG,H!dIL!+,]%(-Q,A)!*FE(?AE(XDXC!&X#&%2M6*U%2IA@l,H@D%('b@DIB2!&'"!&?HE^XDXCYy,A)!#E(?Z,H!+IA@E^'*)?A%WP)R)#,]%(-Q,H"!@D')P)@lVW@DP)RFE^XUIZ,gE^,A!
IL!+,AI&w>,A)!q?L!&ILR)XC,A@D')B6'8R)M
TU!&?$%^-JIL,HE^,H!+IdMbEY\TU!q8R)B2!^f z XDXl,H)%2R"B2,A)!q?L!E(#g)E(T)XD!mIA!,MSEeY\%(')XCY\TU!
E6IAMSE(XDX
-K?AE(#+,A@D%2'{%(-p,H)!q!&';,H@C?A!
#&E(?L,A!&IA@DE('*)?L%jP)R"#+,waMbE('8RFE^XDXCY\#+%2')IZ,H?AR"#+,H@C')B,H"!`*FE(?HE^XDXD!+Xc#&%2M6*>%(IA@C,A@D%2'{E(')PILR)T)IL! ?
k8R)!+';,HXCYE('FE(XlY @D'"B@C,@CId')%2'-K!&E(IA@CT)XD!q-K%(?E(XDXCMS%(IL,$E(XDXx*)?HE^#+,H@C#E(XCXCY?A!+XD!V(E^'8,_IZYWIL,H!+MSI+f =O%eo!+V(!&?E'WR"M
T>!+?
%^-,A%j%(XDIq!ij@DIL,&wJo])@D#g MSEeYTU!%(-OE(IAIL@DIZ,gE(')#+!(fjR)#g ,H%W%2XDIm,uYj*"@D#E^XDXCY% >!&?LI`IA%2M6!b-K%2?LM %^-OP"!+|F')@l,H@C%2'}@D' ?
,A!&?Z-E(#&!!+@C,A)!&?`B2?AE(*))@C#E(X%2?q,A!iW,HR)E(X4wp@D';,A%o])@D#g},A)!vIL,HE^,H!vMSE(#g)@C')!&I
MSEYTU!vP)!|F')!&Paf z -=,A!&?`P)!|F')@C')B
IZ,gE^,A!OMSE(#g)@C')!&Ip,H"!O,H%W%2XCI,uYj*"@D#E^XDXCY
#&%2')IZ,H?LR)#+,r%2')XCYyIL%qM
R"#g%(-a,A)!$?L!E(#g)E(T)XD!IA!, E(I')!+#&!&ILIHE(?ZYS,A%
E('"ILo!&?
k8R)!+IL,A@D%2')IE(TU%2R",]P"!E(P)XC%j# E8I+wFXD@CV(!&XC%j# E8IE(')P\*)?L%2B2?A!+IAI+f
 ')!IAR)#g,A%j%(XU@CIj*)@D'A4u*)?L%j#+!&ILIr@D';,A!&?HE^#+,H@C%2'Hw;o])!&?L!dIL,HE^,H!MbE^#g)@D')!+InE(?L!OIL*>!+#&@l|F!&P@C'   >
z
ZA

B_Free_Both
B_Lock_2
IDLE
IDLE

B_Lock_1

A_Free_Both A_Lock_1 A_Lock_2

1not2
IDLE

IDLE
1not2
B_Lock_2
1not2
1not2

IDLE
2not1
A_Lock_1

IDLE
1and2

1not2
2not1

1not2
1and2

2not1
1not2

2not1
2not1

2not1
1and2

1and2
1not2

1and2
2not1

1and2
1and2

B_Lock_2
A_Lock_2
A_Lock_2
2not1
IDLE
A_Lock_1
1and2
IDLE

@CB2R)?L!
jE(?HE(XCXD!+Xs#&%2M6*

p?A%W#&!&ILI !+,HE cE(')B(RFE(B2!gf