Knowledge-Based Systems for Power System Control Centres:
Validation and Verification
Zita A. Vale Carlos Ramos
Jorge Santos
M. Fernanda Fernandes Couto Rosado Albino Marques
University of Porto Faculty of Engineering
Department of Electrical and Computer Engineering Rua dos Bragas - 4099 Porto Codex
Portugal
Fax: 351-2-2041820 Phone: 351-2-2041820 Email: zav@fe.up.pt
Polytechnic Institute of Porto Institute of Engineering Department of Computer Engineering
Rua de S. Tomé - 4200 Porto Portugal
Fax: 351-2-821159 Phone: 351-2-8300922 Email: {csr|jsantos}@ dei.isep.ipp.pt
REN – Portuguese Transmission Network - (EDP Group) Rua Cidade de Goa, 4 – 2685 Sacavém
Portugal
Fax: 351-1-9411318 Phone: 351-1- 9411262
Abstract:
! " # $%$%$'&)((* +-,./*&102,3*04(*&1
(( *$576489:# #* " "* ;( $4&)$'&)<9< < ;=$' &) $>8 ;*&) ?
$@&1(*( ?A ?+B$'$@&1(*( ? $5DC4&).E ;*$' F$':" G&) ; $H,./ I$'
./ F(*( ;$HI ;*J " *G " $5KL*$'3(*( ;$MN02% +B+I O(9+B
*( $8 4$@$'$@ ;P$'(*P+B&).?+B Q$' ;&) $5LP$'&)$'$@A&))&1$@K$'&)2(( $$
R+B(+B* A0S R,* R <./&) R T $U(A*02R$U T+A :Q3&)+B
+B V+B *$5W$8J,8./&) +R KGXA ;J+RX+B *J($@15
$((?+B+B$'$'$ MXP *Y+EXP+B ;Z\[+B./]_^$'+Y`1$' 02$5aLM(*(b+B$
c dXA ;c+eX+B *cF`1f7gPhT`1iG:Tj[8+B./]_^L$@+e`1$' 0k c$'$'$' U( ;*$2
fl &)./&)$'HL$@04$'$'E "* ;m "* ;$nE+B* 8$'$*+E(*8F$' ;D5ago$'(M *
pXPiGh#qrLg`sL$L,*4+B9*(+R J8`1f7gh#`1ic[8+B./^L$')5
XPiGh#qrLgP`t$Nc./:F+B02-*+B(+B M[^L`u v :b M(A*02$%[+B./^L$'
$@ ;&) &)w*$'$Gx+BT j+B y8+B./b02$5/qr y$8,j$'&)$'$'&)F(*(+M* yb
`1f7gPhT`1ic,&) V$'J J D[^L`Q5
[8*+B$z9{L|w}Q~_|*D{9}Q~A1 P}Q|*F9QV9R9%~_)\a~_;<a~_;|*}9;a~_;|*}
8¡8¢£
¤2¥¦8§¨B§©ª'«¬"¥®¯¥*°¬"±*®;¯±ªP²³¬"¬D´L§¯±8¥µD¶·¸/¶4·¹2º¥¯®;§»±µA¥¯K®¶±¥*º±¯§®·¥*4¥µK±°±»®;¯·»§°)±®;¦¥¯¼9ª½¾L¶±ª'±
¬"±®¯±ªJ¯±»±·¿±x¯±§°À_®·¹2±d·µ¥¯¹2§®·¥*Á§Â¥*Ã1®\®¶±ª'®§®±¥µb®¶±±®;¦¥¯¼E§*¨c¬"¥®¯¥*°#¬"±®¯±¥º±¯§®¥¯ª
¹2Ã)ª'®V®;§¼9±8¨B±»·ª'·¥ªL§»»¥¯¨B·¸\®¥J®¶·ª·µ¥¯¹4§®·¥D½
ÄF¨B±¯2·»·¨B±®n»¥¨B·®·¥*ª'«G§3¶Ã)¸/±N¿¥°Ã1¹2±N¥µJ·µ¥¯¹2§®·¥*O¹4§©N§¯¯·¿±N®¥Å®¶±ª@±%¬"±®¯±ª'«¹4§¼·*¸e·®ª
»¥¯¯±»®n§¨I±µµA·»·±®n·*®;±¯º*¯±®;§®;·¥O©%§3¶Ã)¹4§O¥º*±¯§®¥¯4§°¹4¥*ª'®·¹2º¥ª'ª'·Â°±1½LÆrÅ¥¯¨B±¯>®;¥Çª'¥°¿9±%®¶·ª
º*¯¥Â*°±¹4«=ª'¥¹2±3©±§¯ªH§¸/¥*«=±°±»®¯·»§°GÃ)®·°·®;·±ªH±¸/§I®¥·ª'®§°°G·®±°°·¸/±*®F§ºº*°·»§®·¥ªH·®¶±·¯2¬"¥®¯¥*°
¬"±®¯±ª½È¾¶±ª'±n§ºº*°·»§®·¥ª§¯±Ã)ª'Ã)§°°©É¥¦°±¨B¸/±À_ʧª'±¨dË©ª'®±¹2ª§*¨x§¯±¹4§·°©n·®±*¨B±¨x®¥º¯¥¿9·¨B±
¥*º±¯§®¥¯ªL¦8·®¶J§ª'ª'·ª'®§»±«±ª'º±»·§°°©·J»¯·®·»§°1ª'·®Ã)§®·¥ª½
¾¶±M»¥¯¯±»®§¨Y±µµA·»·±®º±¯µA¥¯¹4§»±M¥µ\ª@Ã1»¶e§ºº°·»§®·¥ªR¹4Ã)ª'®P±j¸/Ã)§¯§®·±¨Z®¶¯¥Ã)¸/¶e̱¯·µA·»§®·¥
§¨4ÌP§°·¨B§®·¥N²ÌÍnÌL´½ÌPÍbÌÇ¥µmÉ¥¦8°±¨B¸/±À_ÊL§ª@±¨>Ë©ª'®±¹4ª"§¯±\¥®D§ª"Ã)ª'Ã)§°§ª"¨B±ª@·¯§Â°±\§¨>§¯±\Ã1ª@Ã1§°°©
Ã)¨B±¯®§¼±J·J§G*¥À_ª'©ª'®±¹2§®·»¦8§©)½
¾¶±Mª'©ª@®;±¹4§®·»MÃ)ª'±M¥µ?µ¥¯¹2§°ÌPÍnÌo®±»¶·Î1Ã)±ªR·ªR§M¼±©jµ¥¯F¹2§¼9·¸<±¨BÀAÃ1ª@±¯ªR¹4¥¯±j»¥*µA·¨B±®P§Â¥*Ã1®
É¥*¦8°±¨B¸/±ÀAÊL§ª'±¨RË©ª'®±¹4ª@«9±ª@º±»·§°°©8¦8¶*±J»¯·®·»§°§ºº°·»§®·¥*ªL§¯±8»¥*ª'·¨B±¯±¨l½
Ó*ÔÖÙÑßè)ÛÔÖ4ÜÞ4åé7êPë#åìîíÔ3àÝÜáÛÕØBâ/Õã_äLÔÒ'ÕØIå1æÒ'ÙÕçïÙÜÅÔÒ'Ò'ÑÒ'ÙÜÓÕÖÔÙ;Ü*ÖÒjÜ*Þ4é7ÜÖÙè)â/è1ÕÒ'Õ%ÏÖÔÝ*Ò'ç4ÑÒ'Ò'ÑÜÝ
ð ÜÝ*Ù;ÖÜÛ ð ÕÝÙÖÕÒÑÝ4ÑÝßÑØBÕÝÙQÔÝÔÛæÒ@ÑÒTÔÝØJÓÜ*á8ÕÖyÖÕÒ'ÙÜÖÔÙÑÜÝñ'×Ý*Ôç4ÕÛæPÙÐÕò)è)ÕÒ@Ù;ÑÜÝÒTÑÝ*ó9ÜÛó9ÕØJÑÝ2ÚônÚIÔÝØ
ÙÐÕ2Ò'ÕóÕÖÔÛKç4ÕÙÐÜ*ØBÒ?è)Ò'ÕØlõÏLÐÕ4ÚPônÚvå1é7êPëTå1ì-ÑÒ?ÔÝÔÛæÒ@ÕØB×lö*ÕÑÝâMÒ'ÙÖÕÒ'Ò'ÕØ3Ù;Ð*Õ4Ñç4ÓÜÖÙÔÝßÕ4ÜÞPÔÓÓÛæÑÝâ
ÞÜÖç4ÔÛ1ó9ÕÖÑÞAÑßÔÙÑÜÝJç2ÕÙÐÜØBÒõ
å1ÕßÙÑÜÝ÷HÞAÜßè)ÒÙÐÕç4ÔÑÝÔÒ'ÓÕßÙÒPÖÕÛÔÙÕØxÙÜdÔßò)è)ÑÒ'ÑÙÑÜ*Ý×VÖÕÓÖÕÒ'ÕÝ*Ù;ÔÙ;ÑÜÝÔÝØç4ÔÑÝÙÕÝ*ÔÝßÕRÜ*Þ=ø9ÝÜáÛÕØBâ/Õ
ÑÝJàäLånÔÝØRÑÙÒLÑÝ*Ù;ÕÖÔßÙÑÜ*ÝJá8ÑÙÐJÚônÚÒ'ÙÔâ/ÕÒõ
å1ÕßÙÑÜÝEùdáÑÛÛyØBÕÒ'ßÖÑöÕ>ÙÐÕ2ÚPÔÛÑØBÔÙ;ÑÜÝYÔÝØEÚÕÖÑÞAÑßÔÙÑÜÝYÒ'ÙÔâ/ÕÒnÜÞUåélêë#åìúØBÕóÕÛÜÓç2ÕÝÙ×yÒ'ÓÕßÑÔÛÛæHÙÐÕ
ÞÑÕÛØRÙÕÒ'ÙÒLÔÝØRÙÐÕÝÕÕØRÜÞlÔÓ*ÓÛæÑÝ*â\ÞAÜÖç4ÔÛ1ç4ÕÙÐÜØBÒLÑÝJå1é7êë#å1ìcÚônÚRõ
å1ÕßÙÑÜÝeû%ÓÖÕÒ'ÕÝ*Ù;ÒRÚPìGë#ürÏLêPå×LÔMóÕÖÑÞÑßÔÙÑÜ*ÝeÙ;Ü*ÜÛöÔÒ'ÕØZÑÝeá8ÕÛÛøÝÜáÝeÞAÜÖç4ÔÛTç4ÕÙ;Ð*ÜØBÒJÓÜÑÝÙÑÝâ3ÙÐÕ
ÔØBó9ÔÝÙÔâ/ÕÒ"ÔÝØ>ØBÑÒ'ÔØBó9ÔÝÙÔâ/ÕÒ"ÜÞmÔØBÜÓÙÕØ2ÙÕßÐÝÑò)è1ÕÒõÏLÐÑÒ"ÙÜÜÛÐÔÒ#ö*ÕÕÝMÒ@è1ßßÕÒ'Ò'ÞAè)ÛwÔÓÓÛÑÕØHÙ;ÜMØBÑÞAÞÕÖÕÝÙ
àäLåQý9åé7êPë#åìGþaêPë ð êP×wÔÝdÕÿÈÓ*ÕÖÙmÒ'æÒ'ÙÕç ÔÓ*ÓÛÑÕØdÙÜ ð ÔÖØBÑÜ*ÛÜâ/æØBÑÒ'ÕÔÒ'ÕÒPØBÑÔâ/ÝÜÒ'ÑÒ'þVÔÝØdÔÝÜÙÐÕÖ=ÕÿÈÓÕÖÙ
Ò@æÒ'ÙÕçkßÖÕÔÙÕØeÙ;ÜÁÔÒ'Ò'ÑÒ'ÙUÑÝ2ÙÜÛÜâ/æxØBÑÒ'ÕÔÒ'ÕÒ4ØBÑÔâ/Ý*ÜÒ'ÑÒJÔÝØeÙÐÕÖÔÓ*æ1õlÑÝÔÛÛæ×TÒ'ÕßÙ;ÑÜÝEÓÖÕÒ'ÕÝÙÒ4Ò'Üç2Õ
ßÜÝßÛè)Ò'ÑÜÝÒõ
!"# $%&('
)+*,-/.01.0325476987:<;=03>?-/;%@7-/AB:<876DC(-/87EF-/>GAB-387HI-/6903;KJ@7058L234MC1N7-/.03>LHO4PHI.-/>G:<HI:Q4M87-/RS2347C(N7TUHI03.V-/N7N7R<:<23-/HI:<4787;
W TXHYHI@705:Q.ZC147;[H\-3N7N7.0323:<-/HI03>]25@7-/.-/23HI05.:<;=HI:Q25;-/.0HI@70^_47R<RQ4MJ:<876M`
•
a+bc+d3e3f1g<f7d3h<iUjGkmlnf7o7phQk5jGq9kme3d3rUiUgQsk3j(t_so7uvk3wyx7k5szI{|e/f7j(iX{[kmg<z}g<f(oMsjGk5s~zOoFsk3e/d5z}zIo(em{=g<zOiUe/zIg<o7f e/{zOMkk3wBx7k3szYpo7iUh<j]sk5e/d3z•
+ 77nQG+3<3/[37//I<773I533/=M7QM(/Mn77<3G95/<Q7QM(I37379]I7+77Q5G93=QI77UY<7I3B3MO<7<I7Q73375(33M/7<=
¡
<OM7U9¢I75=D57//3I3<=IQ5]=35£B5¤D37733Q<79<<]<7I33=I<7O¥577=<G3KI7D1M=571(77<¤
335]GQ[/GB/MO3937¦+Y§
¨B©
ª1«<¬_¬_«<3®U¯<°I«Q±5²D«Q³µ´B³7¶7·¯Q±5¸G¹9±Lº/5»U®X«<²=«<°I«Q¶7³µ¼½¾7±P´B³7¶7·¯Q±5¸G¹9±Lº/5»U®X«<²=«<°I«Q¶7³À¿7¾7º/²[±P«<²Á®U²=®Uº/¯<¯Q¢ÃB±5Ä¢°I«QÅ(±
3¶7³7²[®XÅ(«Q³M¹MÆ/ÇF³1°I¾7±m¶7°I¾7±3ÄS¾7º3³7¸GÈn«<°¿7¶7²[±3²²[¶7Å1±m¿7Ķ7É7¯<±3Å1²|ı3¯<º/°I±3¸1·«Q°I¾F°I¾7±V3¶7Å(Å1®U³7«<3º/°I«<¶7³(ÉM±3°I·±5±3³
°O¾M±±5Êy¿7±5Ä°=ËQ²I̺/³M¸Á°I¾7±+´B³7¶M·¯<±3¸G¹9±+±3³7¹9«<³7±5±3ÄÍÆX½¾7±]¿7º/Ä°I«Q5«Q¿Mº/°I«Q¶7³¶7¬Î²[±3ÃB±5ĺ3¯}±3Êy¿M±3Ä°O²V«<²Vº/¯Q²[¶º3¿7¿7¶7«<³7°I±3¸
º/²¿7Ķ7É7¯<±3Å(º/°I«QUÆ
Ï\Ð
Ñ1Ò<Ó_Ó_Ò<Ô3ÕUÖ<×IÒQØ5ÙLÒ<ÚÜÛÕXÖ<ØÝÕXÞMßGà/×IÒQÚ7áµâÁãåä7Ø3Úæ×Iä7Øèç|ÕUÖQØÝéà/Ù[ØèÛØ3êUÕUÒQÛØ3ÙPÙ=ë7ì(ØèÔ5ä7à/Ú7á9Ø5Ù=í+×OäMÒQÙ¢Þ7Ûë7Ô3Ø5Ù=ÙPÒ<Ù
Ô3ë7Ú7Ù[ÒQßGØ5ÛØ5ßîÛà/×Iä7Ø5Û(Ô5ë7ì1ÞMÖQØ5ïñð~òFÚó×Iä7ØLëM×OäMØ3ÛFä7à/Ú7ßGíÔ3ä7à/ÚMá9Ø3ÙDÒ<Úó×Iä7Ø¢çôÕUÖ<ØPéà3Ù=ØPì(à/õ¢êXÕUØ5Ù=×IÒQë7ÚÀ×Iä7Ø
Ô3ë7Ú7Ù[ÒQÙ=×IØ5Ú7Ô3õë7Óö×Iä7ØÚ7Ø3÷èçôÕUÖ<Øéà/Ù[ØXð
ø\ù
úöû/ü5ýÿþ 7þIþBûGû Dû! #"$%&'û(()*+,-Mû'-.Áû/7þ.mü5þ+(þ
û/ü3ü,0 7þGþ.Qþ123Oþ+BûGû-û4! 657_þ1û98Qû)*()Uû:7ü3þ.+0 <;30.þ7ü,)*
û:Iû/ý7,&1û/ý.1=><ü)*9Iþ&12)Uûû : ü5þ3ü, (û><ü7ü,þ? 4! A@CB!.D0þ.E,F
7,&1þ.û/ü)* 4G:û4H3 Iû5û4,0<þ,]û!()*EJ3ü ,Oþ1ü7û.12,@
KML
N+OP>P>OQR*ST OU,V3OWXYOW.T-YOWOWZIT-[.U%\W]^:SU,_Z2U%`badcUWe^4[U,WT [U'X+]._OPOQ,YT O]We]PgfR6SUVhOVDW].TiWUQ,UV(VjYfk,l
T-[.U4miYQ,T9n!YV(U:fU,o6R*OfU,V3XYOW.T-U,WYWQ,U:OW+].f_U,fbT ]\7UU,p+T [U%qn!r]pUfYT O]WYStsu%V3qn!rR*V(R*YSSk%fUo*R*OfU
X+]fUvOWP>]fX+YT-O]WwT [YWwT [U#]T [UfYppSOQ,YT O].WV(ldT [OVxX+YOWT UW.YWQU#OVxW].TIR*V(R*YSSk#YR*T-].X+YT OQvYW_
]pUfYT ]fV!T UW_T ]&P]fZ2UT9OT(s
yMz
{H|3}I~4j! ~4 ~&. -.b~,~ .!%3j,~*~2*~2,3~+ -.D~:*(,& +
{H|3} -~ -:3 92*~~
M
D,-+ ,¡¢£¡¤¥, ¦¨§6£+ª©«!§¬®ª¯¢¢>¥°* ±²¤³¡£®7¯¤´µ¡¦¶ +ª¡¢>£.¡¤¥,·
±(,¥¸:¤&¥,±(:£¢,+¡´2¤.¥±,¹
º
:±¤ ¡±( ¤´»-£¤£.-x ¬4 ¬x ¼4£¢>¡±(4¡±j¤ ¯¨¯±(¯®7¤ ´2±¡¯¡,¥ ¸¡,-,¯¼4-¬ ¬/+£±(
¡¥ ¯»¥¬.¡¥ ¡±j-¥±'£¢½©«!§A¹
º
¤¾¢¥ ·i¿¤£¼4¯´2+¥À*°*±j £¤¾¬±=¼4¸±=Á,¤¾£¤+£¢d ¬&±(,¡£°*±
¼:¿x.£¤.-±'£¢4©H«3§/¤¯Â,±(¥,¸&£¢dÃ4ÄÅ¡h§¸,±( +±Æ¹*Ç: ¬£°*´2¬¾ ¬¡&,ÄűjD±(£.+& ££±=¥£.++,¡¥,¸
ÈÓÓËÊÛ,ÈÎ ÊÐÖbâ
ã
Ñ(Î ÈÌËÊÑ(ä.ÊÖÙÏß+ÍÎ äÐ.ØÐËÐ.Ù2ÊÍ,Ñ3ÈÖØ+ØÍÉ7Í,ËÐ.ÓÊÖ.ÙÑ(Ò*ÓÓÐÔÎAÎ ÐÐËÑDÈÔÍ'Êß+ÓÐÔÎ ÈÖÎiáÈÛÎ ÐÔÑhÎ-ÐeÍÈÑ(Í'Î-ä.Í%Ó.ÔÐÛ,ÍÑ(ÑÆâåeÖ
Î äÍIÐÎ äÍÔhäÈÖ.ØÝ.Î äÍÏÍ,Ñ(Î ÈÌËÊÑjäß+Í,ÖÎgÐá3Ù2ÐÐ.ØxÔÍ,ËÈÎ ÊÐÖÑdÌ.ÍÎ ×4Í,ÍÖÎ äÍIÍæÅÓÍ,ÔÎ(çÑ èdÈÖØxÎ äÍIÕ7ÖÐ.×4ËÍØÙ2ÍÏÍ,ÖÙ2ÊÖÍÍ,Ô
ÊѽÐá!áÒ*ÖØÈß+Í,ÖÎ ÈË.Êß+Ó.ÐÔÎ ÈÖ.ÛÍ6â2é¨ä.ÍÖxÎ äÍÍ,æÅÓÍÔΠѽÈÔÍÑ(Î ÔÐ.ÖÙ2ËêÏÊÖÉÐËÉ7ÍØÝ.ÌÍËÊÍ,É7ÍÎ äÈÎ?Î äÍÓ.ÔÐëÍÛ,ÎgÊÑdÔÍÈËËê
Êß+Ó.ÐÔÎ ÈÖ.ÎMÈÖØÎ ÔÒ*Ñ(Î9Î äÍ4ÕÖÐ×:ËÍ,ØÙ2Í4ÍÖ.Ù2ÊÖÍ,ÍÔÝ7ÕÖÐ×4ËÍØÙ2Í:ÈÛÜ*Ò*ÊÑ(ÊÎ ÊÐÖ&ÓÔÐÌËÍßÑ!ÈÔÍ4Û,ÐÖÑ(ÊØÍÔÈÌËê4ÔÍØÒ*ÛÍ,Øâ
ì
äÍÑ(Í,ÛÐÖØØÊÑ(ÈØÉÈÖÎ ÈÙ2ÍÎ äÈÎbÊѽÓÐÊÖÎ ÍØÐÒ*Î?ÊѽÊÖxá>ÈÛ,Î?Î äÍÖ.ÍÙ2ÈÎ ÊÐÖxÐá3Î äÍIÑ(ÍÛ,ÐÖØxÈØÉÈÖÎ ÈÙ2ÍIÓÔÍ,Ñ(ÍÖ.Î-Í,Øâ
í
Ñ=ÊÎhÔÍ,ÈËËê&Í,ÈÑ(ê&ΠоÊÖÛËÒ*ØÍ&ß+ÐØÊá>ÊÛÈÎ-ÊÐÖÑÏÊÖvÎ äÍîDÒ*ËÍ+ï!ÈÑ(Í+Ðá:È&ðï!ñ»ÐÔ:Ö.ÐÎ òóôäÈÖÙ2ÊÖÙxÔÒ6ËÍÑÏÓÐÑ(Í,ÑÖÐ
Ó.ÔÐÌ.ËÍ,ß+ѽÌÍ,ÛÈÒ*Ñ(ÍÈ=Ü*Ò*ÈÑ(Êõ¶ÖÈÎ-Ò*ÔÈË.ËÈÖÙ2Ò*ÈÙ2ÍÏÊѽÒ*Ñ(Ò*ÈËËêÏÒ6ÑjÍØÈËËÐ×:ÊÖ.ÙÔÒ*ËÍÑdÎ ÐÌÍIÛäÈÖÙ2ÍØxÍ,É7ÍÖ/ÌêÏÓÍ,ÐÓËÍ
Ö.ÐÎ9á>ÈßÊËÊÈÔ?×:ÊÎ ä&Ú%ÔÎ Êá>ÊÛÊÈË
í
ÖÎ ÍËËÊÙ2ÍÖÛ,Í6â
éäÈÎMÛ,ÐÖÑ(Î ÊÎ Ò6Î Í,Ñ!ÈdÔÍÈË6ÓÔÐÌËÍßµÊÑ,ö
•
÷!øªùú,û*ü6ýþÿ
ÿø ÿ2ÿþÿ,û*ü6ýþÿ-øªüÿ,þ ùÿ
ÿú
ù2ÿh÷
ýÂù.ÿúýÂý>ùú+ù
øÿ2ÿùúû*ü*ý(ý ýø.þøÿ ù
ÿü!jÿø" +ùú
ýÿ#ÿ,ùþ$ý% ÿ,ú
ýû*ü*ÿ&>ø.þ(ü'2ÿ(-ý
ú
ù2ÿ!ý)
ÿ*hü!ÿ+3ù(ÿ:øü#.ÿ4ü(ÿü,
•
-/.10'234$356,7786:936;6,978<).=>?@>7=1AB2!C7ED/3F7E4$7<)3>5F"G.5F>F6,756;35=%6,936;>6,F"2!F(7EH>CCI5.6J<)3K7 6,97 LMDONP>5G.44$7G6Q.4;>57??@>G>756R-O9>FSC3F6BT.>56BC73=F&2F&6:.U6,97)6:9>4$=V=>F3=W356,30'7XT4$.YC7<ZF&.?\[]3C>=36,>.5U35=V[]74$>?>G36,>.5_^[]`P[OaRbc5
?3G6,d[ `M[e>F/2F23CCf 5.6gG.5F>=74$7=#3F/F(74$>.2FCf3F/=7F>4$3YC7>5h6,97G3F7.?iLjD/NkR
l
C6:9.20'9%6,9747&F(77<ZFm6:.nY7E=>??@>G2C6;7W75n6,.n?>5=1>5n6,97EFT7G>3C>F7=1C>6,74$36,2!4$7E6,.6,3CI30'477<Z756J3Y.26J6,97
<Z735>50&.?i6,97F(76,74$<)FdC76g2!FOT4.W>=7.24JT74$F.53C=7?@>5>6,>.5FX
•
o]pqrspt,ruvw&x]qquyz#t,upz(z{|}~t:ptSt:}j/ |urs}zhzuq{t,ruvzht,ptS|$}z}vtSpuv@rs}v}q}}qSpzr'pzt,} uv}z|$urs}st:} }}|tz,o pqrspt,ruvrz~t,}vpz}suvt,}zt,z
s}zr|$pq]rvZt:}]|$}pq}vr|$uvZ}vtpvs){vs}||}pqr|{)zt,pv}zZ{!|$rv8t,}z}St:}zt,zt,}SMO
rzZuvzrs}|$}sepz%p~'qp upvs_uvqVt,}Vrv{tEpvst,}Uu{t,{t8p|$}U|}pqqUuvzrs}|$}s
r)u|t,pvt
•
]¡¢$£¤£¥¦§,£¨©ZªJ« ¬¬¨®B§,¨Z¦®(®¯¢¡S§,°¦§§,°¡S±j²/³#°¦®´¡¡©%¥¨¢$¢$¡¥§,¬µS¥¨©¥¡£¶¡·)¦©·Z£¸Z¹¬¡¸)¡©§,¡·¦©·h·¨¡®©¨§k¥¨©§,¦£©)§,¡¥°©£¥¦¬¡¢$¢$¨¢®»º ]¡¢$£¤£¥¦§,£¨©)£®O£©§,¡©·¡·h§,¨)¡¼¦¸)£©¡]§:°¡]£©§,¡¢$£¨¢¨¤½§,°¡
±j²/³M¦©·#¤£©·#¦©µ¹¨®®£´¬¡ ¡¢$¢¨¢®º
¾
¨¢j¦¿'¢$¡¦§&©¯¸Z´¡¢#¨¤j±j²/³!Àm¨©¬µ¶¦¬£·¦§,£¨©£®%¯©·¡¢$§,¦Á¡©;º;« ¬§,°¨¯¿'°e§,°£®%¥¦©¿'¯¦¢¦©§,¡¡Àm °¡©§,°¡
®(µ®§,¡¸Â£®O·¡¹¬¨µ¡·À§,°¦§g£§,®/¹¡¢$¤@¨¢¸Z¦©¥¡ £®O¥¨¢$¢¡¥§,À§,°¡ ¡¼£®§,£©¿&¹¢$¨´¬¡¸)®O¸)¦µ ¦¢£®¡]°¡©)§,°¡¢¡]£®¦©¡¡·
§,¨h¥°¦©¿'¡ §,°¡ÃB¯¬¡ ²/¦®¡º
]¡¢$£¤@£¥¦§,£¨©)£®O¸Z¨¢¡]·£¤@¤@£¥¯¬§k´¡¥¦¯®¡]£§k¢$¡¬£¡®O¨©%¤@¨¢¸Z¦¬¸)¡§:°¨·®¦©·)¢$¡Ä¯£¢$¡®B§,°¡S·¡¶¡¬¨¹¸)¡©§¨¤½§,¨¨¬®
§,¨Å£¸Z¹¬¡¸)¡©§"§,°¡®¡%¸)¡§,°¨·®º« ¬§,°¨¯¿'°§,°¡¢¡%¦¢$¡Z¦¬¢$¡¦·µ%®¨¸Z¡Z¦¶¦£¬¦´¬¡%§,¨¨¬®P£© §:°¡%¸Z¦¢$Á¡§,À½®¹¡¥£¤@£¥
©¡¡·®O¨¤iƨ¡¢J³!µ®§,¡¸Â¦¹¹¬£¥¦§,£¨©®/¯®¯¦¬¬µ ¢¡Ä¯!£¢$¡§,°¡·¡¶¡¬¨¹¸)¡©§Q¨¤i®¹¡¥£¤@£¥§,¨¨¬®/¤¨¢;§,°£®/¹¯¢$¹¨®¡º
«]®j¤@¨¢$¸)¦¬/¸)¡§:°¨·®j¨¤E¶¡¢£¤@£¥¦§:£¨©¢$¡¬µ¨©¸Z¦§,°¡¸Z¦§,£¥¦¬O¤¨¯©·¦§,£¨©®À/§,°¡µ¦¢$¡¦´¬¡§,¨·¡§,¡¥§ ¦n¬¦¢$¿'¡
©¯!¸Z´¡¢¨¤J¹¨®®£´¬¡]¹¢¨´¬¡¸)®ºÇc©%§:°£®B¦µÀ£§£®B¹¨®®£´¬¡S§:¨1¿'¯¦¢$¦©§,¡¡&§,°¦§i¦S±j²/³h§,°¦§;°¦®m¹¦®®(¡·%§:¢$¨¯¿'°
¦ ¶¡¢£¤@£¥¦§,£¨©)¹°¦®¡S£®¥¨¢¢$¡¥§¦©·Z¡¤¤@£¥£¡©§ºÈ~¨¢¡¨¶¡¢À£§£®B¹¨®(®£´¬¡S§,¨Z¦®®¯¢¡S§,°¦§i£§ £¬¬¹¢$¨¶£·¡S¥¨¢$¢$¡¥§
¹¡¢$¤@¨¢$¸)¦©¥¡ £§,°h¡¼¦¸Z¹¬¡®/§,°¦§g°¦¶¡©¨§Q´¡¡©)¥¨©®(£·¡¢¡·#£©h§,°¡ ¶¦¬£·¦§,£¨©)¹°¦®¡º
É
°¡~©¡¼§&·£®¦·¶¦©§,¦¿'¡¹¨£©§,¡·Ê¨¯§&¢$¡¤¡¢$®)§,¨_§,°¡·£¤¤@£¥¯¬§:£¡®Z¡©¥¨¯©§,¡¢$¡·Ê£©§:°¡¸Z¦£©§,¡©¦©¥¡V¨¤j§,°¡
±j©¨¬¡·¿'¡²O¦®¡!ºOÇc©¤¦¥§,À]§,°¡Å¸Z¦£©§,¡©¦©¥¡ ¨¤Z§,°¡ ÃB¯!¬¡ ²/¦®¡ °¦®~¦¬¢$¡¦·µÅ´¡¡©¥¨©®(£·¡¢¡·Ë´¯§#§,°¡
¸Z¦£©§,¡©¦©¥¡¨¤i§,°¡
¾
¦¥§g²/¦®(¡¦¬®¨h¹¯§,®/®¨¸)¡¹¢¨´¬¡¸)®º
³!¨¸Z¡¹¨£©§,¡·Ì·£®(¦·¶¦©§:¦¿'¡®_¨¤Å±j²/³Í¦¢$¡¢$¡¦¬¬µ·£¤@¤£¥¯¬§U§,¨Î®(¨¬¶¡¦®_§,°¡¹¢¨´¬¡¸ £©ÏÁ©¨ ¬¡·¿'¡
¦¥Ä¯£®£§,£¨©;ºÑÐh¨¡¶¡¢$À¸Z¨®§g¨¤i§,°¡ ¹¢$¨´¬¡¸)®O¥¦©h´¡¥¨¸)¹¬¡§,¡¬µ®(¨¬¶¡·#¨¢$À¦§Q¬¡¦®§,À´¡¥¨¸Z¡ ¬¡®(®O®¡¢£¨¯®O£¤
¦¬¬§,°¡1¢$¡Ä¯£¢$¡·Å§:¨¨¬®M¦¢$¡1¹¢¨¶£·¡·iº
¾
£¿'¯!¢$¡ÓÒZ®°¨ ®P °¦§\ ¡%¥¨©®£·¡¢&§,°¡1¥¨¸)¹¬¡§,¡1¦¢$¥°£§,¡¥§:¯¢$¡n¨¤&¦
±j²/³M¤@¨¢;¦\Ôm¨©§:¢$¨¬!Ôm¡©§,¢$¡!º
É
°£®¦¢$¥°£§,¡¥§:¯¢$¡£©¥¬¯·¡®À&´¡®(£·¡®§,°¡¸Z¨·¯¬¡®V§:°¦§)¦¢$¡¦¬¦µ®V£©¥¬¯·¡·£©¦ ±j²/³!À&§,°¡¤@¨¬¬¨£©¿
¸Z¨·¯¬¡®Õ
•
Öj×ØÙ ÚÛÜÝ'ÛÞßàá!âãâä,âØ×)Þããâãä,Þ×ä•
åjæçè éêëì'êíîëïð,ê ïññòñð,ïæð•
ó]ôPóõöö(÷öø,õùøcúûOüý1þÿþ ÿýýý þýýý!"ý#%$'&( þ)*þ *ÿý+, ý+ý
*-!..ÿ/0þÿ,ý12ý3
Rule Base Knowledge Base Fact
Base
Inference Engine
Software Interface
User Interface
Explanation s
Events
Orders
V&V Assistant Knowledge
Update Assistant
Knowledge Acquisition Assistant
Expert
Knowledge Engineer
User
Knowledge Engineer/
User /Expert
465879:<;>=@?-AB:DCFE58G;CFG9:D;HJIK0LNMPO
QSRTDUVWXZY*[\][^<U_@V`a.b_ Uc RWYdUe!`fWgWih![j%k'lmU^[nf[oW`pWh[fY*[`TURc RV`a.b_ [W[j%k'lqXr_ UVs]c Rtu`R![o`!^
a`^[`TZWih![Y*[0a.`nf_ [YvQSWwc Y'R`!WwT<Uc ^ZW`xV`RY*c n[^rURxc RV`!a.b_ [W[Y,yY*W[azURn1{ fnt|[c WwUY'U>V`!a.b_ [W[`!R[qv
}
~g~
q"P q%' x] <'!iB6< |*¡N<!*¢. ** £0<¤J¥£0
¦!¦§!¨©>ªm«N¡Nm%' ¬** *!i<®!¯ ° ±.!¨* ²!£
,i!< ´³¶µ0 ·D¸]¹]º»³¼µ" ·½¸J¾]º³¶µ0·½¸]¿Jº³¶µ0 ·D¸]¿]§!º«
q"P qÀÁ§ÂJ Ãq, Ä6PÅoÆ6ÅoÇ !ÃÈ | |Éà Á * ÃÂÉÊ.>*
ËJÌ]ÌJÌwÍFÎ ¾ Ì PÏÆ6¡NPÐSÑÒ<i %*¨*¢«Ó¡' >¢.± d >±±¥Ôi |¯ÆZ±Ô"<ª.£¤
i!´( ±iı< |Õ£0ÕÄ£ÕÖ´ ±µ"0Ñ×ÐSТ.±!)u,q!´ q0Ê
<± ' x!iqq«
q"P qØx*,®<!q |¯] *´® x*¨ * ÙÉi!´£É<!
<'6©>ªz·µ0<¢ ¢ÚJ<¥]] < ·½¢*,*!±x!«
¡N*± <*!i*!¢. * *±©!' J60© JÄ!<Û ±¥*!± ¨d¢iZ<Nd*±±*
!6<!J ±r«
Ü]ÝÞ
ßáàÔâãäàÓå»ãæç
èNéêdëìíîêï*ï>í!ðNñ"êìòð<òîóôòíõuóõö+ñ"ó÷ò öóôò íõ¯ï*éí!øq÷ ö+ï*ôóìô@óï>êóì<÷ ùdóïëíï*ï*ò ú÷ êöøìòõ!ûxôéêöêü]ê÷íë!ý.êõ!ôBíð
ôéê"óëë!÷ò îóôò íõZþÿSõ.ôéê"îóï,ê0íð Jññ é!óïNúêêõîíõï,òöêì<êöxï*ò õîêôéêü]êì<ùúêû|òõõ!òõûóõöï*ëêîòó÷
óì<ìóõû|êý.êõ!ôiïNéóü]ê0úêêõxý.óöêò õxíìöêìrôií.ëì<í!ü]ò öêîí!õöòôò íõï'ð<íìròô*þ
èNéê1ëìíêîôPôiêóý óò ý.êö´ôímëêìðDí!ì<ý ôéê1üJó÷ò öóôò íõ(íð Ãøï*òõ!ûoêÓóýë÷êïóïî÷ íï*ê.óïëíï*ï,òú÷ êxôí
ôéêíõêï>ôéóô@ôéêdóë!ë÷ò îóôiò íõ¯ï,éíø÷ö+ð<óîêòõuôié!êdìêó÷wêõüJòìíõýêõô*þ0îîíìöò õûxôíuôéò ïwòô0óïîíõï*ò öêìêö
ôéóôwüJó÷ òöóôò íõxï*é!íø÷ö1úê0úóï*êö1ý.óò õ÷ ùíõ.ì<êó÷Jò õð<íì<ýóôòí!õxóúíøô-ôéêõ!êôíìwþ
"õíôéêì'ò ý.ëíìôóõôZóï*ëêîô6ôéóô6éóïúêêõîí!õï*ò öêìêöoï*òõ!îêóõêóì<÷ ùï*ôóû|êíð'öêü]ê÷íë!ý.êõ!ôZò ïgôéêï*íð<ôóìê
ìêøò ì<êöôí)òõ!ôiêì<ð<óîê ò ôé !"Øóëë!÷ò îóôò íõï%øï*êöò õôéêíõ!ôiìí÷#êõôì<êþwÿSõð<óîôBò ô0óï
ìêó÷ò ï*êöpôié!óôgï*íýê÷ òýòôóôò íõïòýëíï*êöÁúù$% !&Õï*éíø÷ öÁúêîí!õï*ò öêìêöpï,òõîêôié!êoüJêìùúêû|ò õõò õûuò õ
8%?'412,*-CL,M/9@NAB=3O=3.6=3'?DF);/9O,BP
Q
;,?D=3?.,CL(/9.=2'?&=2OORA,O#/9(,M?').J/*-*-(+,OO,*S=3?&/?&,/(+13HF);/9O,'G.6;),F('T3,@.6I.;,@;/9?)CL,OU.;/.V/9(+,(,NBAB=2(,*
4;,?W.;,OHO.,<X=3OY=2?.,CL(+/9.,*Z=3?W.6;),(+,/91#,?)E=3(+'?)<&,?).M<&/H\[,\E%,(H\O=3CL?=2G+=2@/9?./9?*W=3<&F'OR,\/913<&'O./
@'<&F)12,.6,&(+,[AB=213*-=2?)C$')G.;,DOHO.,<]P-^#;,OR,D=2OROAB,O_O;')A13*-I?/<&,13HI`[,D@')?O=3*-,(,*a*-AB(+=3?C.;,"8?'412,*-CL,
/@NBAB=2O=3.=2')?DF;/9OR,M[H.6;),M,bF,(.OP
^U;,\O./9G+Gc'Gcdefg;/OS*-,E,12')F,*W/9?h/9F)F12=3@/.6=3'?h?/<&,*W^#^Ui`j$k Q l
d'O/9*-'monpqM.6'h/@NBAB=2(,\(,/913mr.=2<",
=3?G+'(+<"/9.=2')?sG+(+'<utv wx"wX/9?*y.'5O,?)*y=3.D.'stzwdteKP^#;=3O7/FF13=2@/9.=2'?{;/O][),,?{=3?O./91312,*s=3?{.;,
tv wx"w|<"/9@;)=2?,O}2<&=3@('~w6#/9?*S;)/9O#[,,?DABO,*S=2?D')(+*-,(.'D'[).6/=2?D<"/9.,(=2/1%.'DE%/912=3*-/9.,MtzwdteKP
^U;=2OU/9FF13=2@/9.=2')?D/9@NBAB=3(+,O#.;,M=3?Go')(+<"/9.=2'?&(+,12/9.,*S.6'&.6;),MO./9.,M')G`.;,M,NBA=3F<",?.V'G.;,,13,@.(=2@/91B?,.4'(+8 P
^U;=2OU=2?G+'(<&/9.=3'?D=3?@13AB*-,OI%?/9<&,12HB
•
9`#9)S-222R-9L3•
"- M¡¢ £+¤9¥¦3§D¡¨©Bª¨¥¤9¥¦3§¨«2¬3¤9¬££+ &¥ ¤9§S¤9©B¥&¤¥6¦3M)£"¤9§©B¤9¬®¯°W±
§&¤9§"¦2§)¦3- §¥V¥¤9²% ¨¢¬2¤ ³B´#´Uµ`¶$·
°
§¥ £¦3§"¸L¦3§¦3- §)¥6¹K&- º¤9§)&¨ §-¨¥$»%¼`½¾»%¿À§¥`§¬3Á¥
±
¦3¨
²%¦2§)$)¡U¦3§¡o£&¤¥6¦3§\ª)©¥Â¤9¬3¨\¤¬2¬J¥
±
ä9¬3¤9£&¨¥
±
¤¥¤£+ KÄL § £+¤9¥ ªÁÃ¥
±
K»%Å ½Æ&½5¤9¢¢¬3¦2¤9¥¦2)§¨¯Lǧ0¥
±
à ¤£+¬3Á
¨R¥6¤ÄL á¥
±
â£È3 ¥³É¥
±
¦2¨¤¢¢¬3¦2¤9¥¦2§0ÊM¤9¨©B¨ \¥0£+ ¤9¥ K¤K¡o¦3¬2 :§)¥6¤¦2§¦3§ÄD¥
±
¦3¨M¦3§¡+£+"¤9¥¦2)§¯Ë½¨M»¼½¾»¿
ʤ9¨Ì§¥:¦2§)¨¥¤9¬2¬3 ͦ3§¥
±
ÎÅ §¥£¬MÅ §)¥6£ ³M¥
±
Î- ¥ ¥¦2§)¡D¥
±
Î §)À)¡D¥
±
Φ3§¦3- §¥
±
¤9Í¥ª Î-)§
"¤9§©B¤9¬3¬2ÁB¯LÅ §¥£¬JÅ §¥£+ K¢ £+¤9¥£¨Ê £ æ3§\
±
¤£+ÄL ¡U
±
¤9§ÄL¦3§ÄS¥
±
Ã"- Ã)¡¢) £¤9¥¦2§7¡´#´#µ`¶$·
°
ª)¤9²K¥6&¸L§£&¤9¬3¹_¤9¨#¨)§D¤9¨#¥
±
¦2§)¦3- §¥ ¦3§D¥
±
M ¬2 ¥£+¦3¤¬%§ ¥ÊM£²Ãʤ9¨#¬3 ¤£+ `¯
ǧ¥
±
¦3¨ÏÊM¤Á³¡+¦2¬3 ¨Ï§ £+§)¦2§ÄY£ ¤9¬É¦2§)¦3- §¥¨
±
¤9Ð% cª §ª¥¤9¦3§ $¤§
±
¤9Ð Kª §\©B¨ ¦3§\£- £¥\Ф¬2¦3-¤9¥
»¼½¾»¿À§¬2©B¨¦3§¨Ñ¯¿MÒË¢ £¥¨¦3§Ð%¬2Ð% "¦2§$¥
±
º¢£+)È2 ¥&" §¥ "¥
±
¨ º§¬3©B¨¦3§¨¤9§&££+ ¥¦2)§¨¦3§
¥±
ÓY§ÊM¬3 -ÄL Ô#¤9¨ ÊM £+ &¤9- Ê
±
§ Ð% £§ ¨¨¤£+ÁB¯
°W±
§&»¼½¾»¿Õʤ9¨U¦3§¨¥¤9¬3¬2 D¦3§"¥
±
ºÅ §¥£¬-Å §¥£ ³B£+ ¦2Ð%¦2§ÄK£+ ¤9¬3Ör¥¦2" ¦3§¡+£+"¤9¥¦2)§"¨ §¥ªÁº´#´Uµ`¶$·
° ³
§) Ê×¥
±
§¦2ØB©B ¨]¡ÌФ¬2¦3-¤9¥¦2)§
±
¤y¥sª) ¤¢¢¬3¦2 `¯U´
±
WФ9¬3¦2-¤¥6¦3§5¡Ì»%¼`½¾»%¿Ù)§¨¦3- £¦2§ÄÀ£ ¤9¬3Ör¥¦2"
¦3§¡+£+"¤9¥¦2)§DÊM¤9¨UÐ £ÁM¦3&¢)£+¥¤9§)¥J-©B ¥6&¨ Ð% £¤9¬%£ ¤¨§¨Ú
•
Û#ÜÝ&Þß)à+á9âàÜá9ãß)äå2ä)æ_ãçßèBâ3éSêÜMëÜãRë6ÜéSèBäé-Üàà+Üá9âãå2ëèBá9ëå3ßäã#å3äDßàé-ÜàëßDá9ããèBàÜMå3ëã#ìßààÜìëå3ßä•
í îïðRñ2ò-óô+õ9öñ3îï&î)÷ø"ùú3öñ2û)ú2ó÷oõ9ùBú3öðUñ3ðUõ9ï"ñ2ø"ûîôö6õïöVõ9ðûóüöVî÷ýþÿýÕûóô+÷+îô+ø"õ9ïüóöõ9öVñ3ð%óô ò-óûóïò-óïö ÷oôîø öóMõñ2ïõ9ö ñ3ï÷oî)ô+ø"õ9öñ2îï&÷oú3îMð•
!#"$&%'()$&*+,$-.)/0!#1,12,1"*34)25,6,,7189:;+!#$-$-<9$-*<=
>
?<@1$-1A?",1"B)@ C;?1 :D A "*1%"*7*.@1?E5<%"7F5<"*)"*AG:;1"*$-17H
>JI
HK
@* L 1"?*$-=
>
"1,0M!#%+6N$-646, GA5O6N$-<)O( !#"*$L%M*7!#"*1$PQ1""@
:D1"*$-1R=
>
*7!#"*1S <!"$T%N11!# 1N15<%"*8U@S$-646, V W!#X 1:D+%
!#$ZY
•
[\*]7^#_*`a\bcXbdR\*c<e\f-gcahUijbkgl,`abl hU_be`a)gf\*cembh(gcXh^#ih(a)`a)\bch•
no*p7q#r*stouvwuxVo*vyo*z-{vt|}q#|ov~/s7 u~0 spp7sr{o*p7q#r*|{~0{v{ stusvzs {put{&U{,p7o*vsr
v<o*tU*
.
syXu<xZt{|({tuXt{yvo#q#{|Uyupr{p7{vt|Ut{ut{Buv{;srruov~syupr{t{;sro*z-st)ouv
{|opq#r*st)ouvuxovyoz-{v<t)|.u<{ stu |sr*ru{zt)u&u<tso*v& {sr*top{?ovx,u,p7sto*u<v&t)<stRs|Ex4u<,y{ztu&{
~0{v{ st{zq#t? {|{vto*v<~F{;sytrOt)<{O|sp{Oys syt{,o|to*y|s|t)<{Oo*vx,u pstouvutsov{zz-q#,ov~ws {sr
ovyo*z-{vt
<
q#,ov~+t{|{t{|t|t{{<s;ouq#uxt{& ut{yt)ouvT{#q#op{vts||o*p7q#r*st{z&u<{ stu |
p7s ;ov~?t{J<ur*{J||t{p¡syt¢s|oxBsJ {sr-ovyoz-{v<ts|ts ;ov~}r*sy{
£
vGto*|s#t{Vo*vx,u pstouv#q#|{z7
n¤¥J n
s|U~0{v<{ st{zs|Uot¦uq#rz{q#vz-{Rs,{srDovyo*z-{vt
q#{7tuwt)<{Gz-ox4x,o*yq#r*to{|2uxVyuu<,z-ovstov~+u<{ stu,|2ov|{;{,sr|(q<|tsto*uv<|t)<{G|(o*p7qrstouvo|2vutsrs|
yu ,{yt¦svzt{ur{<,uy{||pss;{tuX{ {<{st{z|({;{,srDtop{|o*vXu<,z-{RtuXu<t)so*vXs~0uuzt{|t
£
v|ot{§uxsr*rEt{§z-ox4x,o*yqrto*{|7svzMyu|t|7ovDur*D{z-.to|7 Do*vzuxt{|(t)|s|G<{{vyuv|oz-{ {zs|u<r*q#t{r
{||{vto*srx4u<Rt{;sro*z-st)ouvXu<xZn¤¥ n
;srruov~tuXovy {s|({t{yuvx,o*z-{vy{o*vXot|U {srto*p7{{sDo*uq#
¯®´¼©»Á#°#®Ã;±-»*¹,¹4®¬ ®©<¯9¯®´¼©»Á#°#®«¹R¯)®¸¯¢¼±¸±·¸«Â®®©7°¸(®ZÄÅU¼»¸¯®´¼©»Á°#®J»*©<Æ;«·Æ;®¸¯¼®J°¸(®«¹B±Ç®µ7«¯®
Å®¬ µ»©±·9È?©»¯EÉ*ÇÅUÈ.ʱ©&«<¹±?¶¬ «À0¬ ±µµ7±Â·®'»µ¶°#·¸®'À0®©®¬ ±¯«¬?É*˨ªÌÊÄ;ÅU¼®2±·±¬,µÍµ®¸¸±À0®¸À0®©®¬ ±¯®
Â<¿¯¼®ÎÏ.ÐÑ7ÐÒ±¬,®¸»*µ7°#·*±¯®Â¿¯¼®»*µ7¶°#·*¸®¸UÀ0®©<®¬ ±¯®Â¿¯)¼<®Ë¨ªÌ§Ä
ż»*¸¯)®´¼©<»*Á#°#®«¹B¯®¸¯¢µ7±¿J®°#¸®X»©±´¼«¸®©¸°#¸(¯)±¯)»«©Ã®»*©À'°¸(®X¯¼®Jµ«¸(¯¢´«©ÆD®©»®©<¯¢«©®Ã©±µ7®·¿
±}¸°#¸¯±¯»«©+´·*«¸(®}¯«+¯¼®2Ï.«©¯¬ «·¦Ï®©¯¬,®#ľ¨ª©/¯¼»*¸º±¿ÃÓ¯¼®2«¶®¬,±¯)«<¬¯¼±¯»*¸µ±©»¶°#·±¯»*©À¯)¼<®}˨ªÌÍ»¸©«¯
¹,±¬B±º±¿¹4¬ «µÔ¯¼®¯®±µÕ»*©ÆD«·Æ;®»©X¯¼®±©±·¿¸»¸U«¹BÎËÐÇÎÖM¬ ®¸°#·¯)¸±©Xµ7±¿J¶±¬ ¯)»´»¶±¯®J»*©7´«×4«¬,-»©±¯»«©
µ7®®¯)»©À0¸UÂ<®¯º®®©X¯º«´«©¸(®´°#¯»Æ;®¯®¸¯¸Ä
ż»*¸¯®´¼©»Á°#®V¼±¸±··*«<º®7¯«7¸»µ°#·±¯®V±º»*-®V¸®¯«¹»*©<´»-®©¯¸»*©G«¬ -®¬¯«7ÆD±·»*-±¯®VÎËÐÇÎÖØ©«º·*®-À0®
Ù ±¸®±¸U´«µ7¶·®¯®·¿±¸¶«¸¸»Â·®Ä
¨ª©+«¬,-®¬¯«Nµ7±²;®}Æ;±·»-±¯»*«©+¯)®¸¯¸¹4±¸¯®¬ Ã<±'¯»µ®2¸»µ°#·*±¯)«<¬¼<±¸Â®®©/-®Æ;®·*«<¶®ZÄ;ÅU¼»¸¸»µ°#·±¯«¬.±··*«º¸¯«
°#¸®»©´»*-®©¯Z¹,»*·®¸.¸±ÆD®G¿ÎËÐÇÎÖ±©7¬ ®¶<·*±¿¯¼«<¸®¸»¯)°#±¯»«©¸.«¹,¹4×·»*©<®ÄÚ¨ª©&¯¼»¸Eº±¿Ã±¹4¯®¬´±¬,¬ ¿»©À«©&±
¸(®¯«<¹¯)®¸¯¸Ã¯¼®&¹4»·®¸¯¼±¯±¬,®&À0®©®¬ ±¯®wµ±¿&Â<®&°¸(®w¿N¯¼®N¸»µ°#·±¯«¬'¯«S¶¬ «ÆD»*-®NÎËÐJÇÎÖÛº»¯¼S¯¼®
´«¬ ¬,®¸¶«©-»©À»©¹4«<¬,µ7±¯»*«©BÄ
ż®¸®7µ®¯)¼<«-¸'«¹JÆ;±·*»-±¯»*«<©F¼±ÆD®7Â<®®©´«©<¸»*-®¬,®Ü¸°#¹4¹,»*´»*®©¯E¯«F¶°#¯EÎËÐJÇÎÖÔ»©F¸®¬,ÆD»*´®ÃBº»¯¼«°#¯E¯¼®
©<®®¯«X°#©-®¬,¯±²D®¹,«¬,µ7±·Æ;®¬ »¹4»´±¯»«©X«¹RÎDËÐJÇÎDֳة«<º·®-À0® Ù ±¸®Ä
ÝT¼®©&±Ø©«º·®-À0®× Ù ±¸(®ÎD¿¸¯®µ7Ã<±¸ÎËÐJÇÎÖÃÓ»*¸»©N´«©¯»*©<°«<°¸°¸(®Ã<¯¼®}©®´®¸¸(»*¯¿'¯«Nµ7±²;®}´¼±©À0®¸»©
¯¼®ÞÇ°#·*® Ù ±¸®Þ±¬ »*¸(®¸T¸««©<®¬Ü«¬F·*±¯®¬ßÄJ¨ª©à¯¼®á´±¸®á«¹F¯)¼<®áË«¬ ¯°À0°#®¸®áÅU¬ ±©¸µ7»*¸(¸»*«<©Û©®¯º«<¬,²DÃX¯¼®
»©¯¬ «-°#´¯»*«<©G«<¹©®ºá¸(°Â<¸¯±¯»*«©<¸Ãº»¯¼&-»*¹,¹4®¬,®©¯R¯¿¶®¸E«¹«¶®¬ ±¯»«©&«¬·±¿«°#¯)Ã<¼±¸E±·¬,®±-¿?»µ¶«<¸®¸«µ7®
µ7«-»¹4»´±¯»«©¸Ä
È'©-®¬U¯¼®¸®´»¬ ´°#µ¸¯±©<´®¸(Ã-»*¯R»*¸.©«¯R¶«¸¸(»*·®¯«±´´®¶¯R¯)¼<®©®®7¯«&°#©-®¬ ¯±²;®'´«µ7¶·*®¯®?Æ;±·»-±¯»*«©&¯®¸¯¸Ã
±¸¯¼®«©®¸7-®¸´¬,»Â®³Â®¹,«¬ ®ÄRÖÆ;®©»¹¯¼®§´«¸¯¸G±¬ ®±´´®¶¯±Â·®Ã.¯¼®§¬,®Á#°»¬ ®M¯»µ®§º«<°·M«<·*»À0®§¯¼®
Ø©«<º·®-À0®× Ù ±¸®ÜÎD¿¸¯®µâ¯«F®G®»¯¼®¬V«°#¯«¹V¸®¬,ÆD»*´®«¬»*©w¸®¬,ÆD»*´®Gº»*¯¼«<°¯±7ÆD±·*»-±¯®Ç°#·® Ù ±¸®¹4«<¬
µ7«¬ ®¯»*µ7®¯¼±©-®¸»¬,±Â·*®#Ä
ż»*¸¶¬,«<·*®µãµ7°¸(¯BÂ<®'±--¬ ®¸¸(®&¯¼¬ «°#À0¼N¯¼®'°#¸®}«¹±?ÆD®¬ »*¹,»*´±¯»*«<©N¯««·9°¸(»*©À¹,«¬ µ±·¦µ®¯¼«-¸Ä;ÅU¼®2°#¸®
«<¹U¯¼®¸®'¯)«<«·*¸(ï«&-®¯®´¯R¶«<¸¸»Â·*®'¶¬,«<·*®µ¸E»©&¯¼®?Ç°·®
Ù
±¸®Ã±¹4¯®¬µ±²D»*©<À´¼±©<À0®¸ÃÓ±·*·«º¸¬,®-°#´»©À¯¼®
¯»µ®¬,®Á°#»¬,®¯«Xäå2ä¯)¼<®©®ºMÇ°·® Ù ±¸®Ä
Ü]ÝÜÓÝ
ߢæ;ç ãèãéÓàÓåãæç
êëìí ì?îìí,ì'ï)îð&ñòóðíí,ìòôðõôEïð&ôïòí ïBöD÷øJùöDúÞûDìí ü*ý,ü*þòïü*ðõ&îðí ÿüí ôïïëì?ö÷øùöúáïìòñ þòí í,üì&ð ï
ò}ôìïð<ýïìô(ï)ô*ôììò*ü-òïü*ð<õüõ/ðí-ìíEïðòôô#í ìï)ë<ì#òü*ïðý.ïëìòõôîìí ôð<ýö÷øJùöúPï)ðò2ôìïUð<ýí ìò
òõÚðíBôü*ñ*òïìXþòô(ìôøïëð0ëþðõ<ôü-ìí,üõ?ïëìJì! ìþï)ìXí ìü*ò"<üü*ïJòõXþðõý,ü-ìõþìJðýBï)ë<ìïððôïð"ì
ò ü*ìüõ# ðîìíXôôïìñôòí ìòEü*ï}îòô$-ìþü-ìïð#-ìûDìð ò§û;ìí üý4üþòïüðõï)ð<ðïð# ìí ý4ðí ñ òõ<ðñòüìô
-ìïìþïüðõü*õöD÷ZøùöDú&%'òôô#í,üõ7ï)ë<ì2þðõôüôïìõ<þðý.ïëìí,ì í,ìôìõ<ï)ì/ÿDõðî*ì(0ì))*Gõïëìð<ï)ë<ìíëòõ(
ïëìMï)ìôïôOò üìLü*õ+Jòü-òï)üðõ+ ë<òôì}õòñ7ìMý4üìQïìôïô}òí ìMû;ìí,ì- <ìõôüû;ì."ìþò#ôì/(#í ü*õ Þï)ë<ìüí
ì¾ìþ#ï)üðõ&üïRîòôEõìþìô(ôòí?ïð&òðþòïì?ò0*ð<ïRðýï)ìþëõ<ü*þò1 <ìí ôðõõìÓòõ2 ëôü*þò9í,ìôð#í,þìô1*üÿ;ì3*üõìôòõ
ô4)"<ôïòïü*ðõ<ô65ªï7ô(ììñ7ôOð"ûDü*ð#ôOïëòïGüï7üôOü*ñ ðôô(ü"ì³ïðQþòí,í³ð#ïGï)ë<ðôì³ïìô(ï)ôOòý4ïìí/ìòþëQÿ;õðî*ì(0ì
-òï)üõ?ô(ðïëì7-ìû;ì*ð ìXûDìí ü*ý,ü*þòïü*ð<õïðð-ðý,ý4ìí,ôòõGìòôVòõ üõì- <ìõôüû;ìVîòVï)ðGòôô4í ìVïëìVÿ;õðî*ì(0ì
#òü*ïñòüõïìõòõþì
8 #ì'ïðNö÷øùöúáû;ìí,üý4üþòïüðõ+îðí ÿ!9ò'ïðð9úù:5ªêUøJö;öòõïðô<>=@?!AB;CJò*ì<>=!?@ARîòôD-ìû;ì*ð <ìNòðîüõXïð
<ìí ý4ðí ñÔïëìôïí,#þï#í òDòõòôüôUüõXðí-ìíBï)ðE-ìïìþï9ÿDõðî*ì(0ìòõð<ñòü*ìô
F
GIHKJKL,MONIPRQTSVU7WDXY,Z[Y\DS]^Y_D`+]__Da
b)cd,efcgedhijhkhilm4nm3cgofpk nqeo$rDhmhs(tucosvhmwEhnkxcgofpk nqeo$yztd0hk twEhil$s(ocofcntkxhy,cgod0ftk mns(od,nk{
m4o|!od,hi@hm4uofcgm4}!rDp odoDcpoDwhnk~hs(|!hkch{om9hd,o
•
7 K( vRK7E4O)4vK(@EO7,z gg D @9 g D~VEg
•
¡¢E £¤¥/ ,¦ ¥§¨ ©©¦ª«v£¦¬¦ £g ¤®¨, ¥£¤¥ ©,¯«°©£«¤®¨ /«§¦ ,£ £¤¢E¯±3¤®¡¤® ¡² «¤¢E¢¯³(¤ £¯©´3¥¦®«¯µ)°¯®¥¯ R«¦ ©¤³(¤¶,¤¥ £¤¦ ®·¦¶6¸¹¸»º!®¦ ªD©¯³(¡¯±¯«4«¯®£¤ ©£¦·³(¯¼@¯©¦¢¯®£.¦¶
¢¦,¯¥¦¢©¯½¾ ® ³¿ ³(¯µ° £¯D¸7¹3¸V£¦¦©«À
•
Á9 Ã3ÄÃÅ,ÃÄÄ,ÃÆÈÇÃÉ ÊËÌÍÃËÎ7ÌÍËÇÃÏÆ(ÐÍ)Î4ÇgÃÆ·ÇÑÓÒ!ÃÄËÅzÔÕÖ9×2ØDËÇÂÚÙÑÊÑÇÑÊËÉÉÂÏÄ,ÏÉÇÃÄËÎÇËÉÎÛÜËÝ@à Þ7ß:àáÞÎÔÎ4ÇgÃÙ¬ÏÊ Æ¿âT×3Å,ÑÄäãÇÑÜÑåÔDÆ(ËÎÃÏÎÃÎæÆ(ËÏåÊ ÑÎËÎ9ÏÊÆ¿ÇÂÃÄ,Ïç Ô)è
é
ÂËÜÃÇÂÃ7ÙEÏËÊEÆ(ËÎÏÆ(Ò@ÏÊÇÏåÃ7ËÎ:ÇÂÃÏÊÑÙEÏÜÔ7Æ(ÃÇÃÉÇËÑÊËÎ4ÊêëÇìÇÂÃíÙÑÎÇìÏÆ(ÃÌÍ)ÏÇgÃíÇÃÉÂÊËÌÍ)ÃíÇÑKçÃÄÅzÑÄÙîÇÂÃ
Ò@ÃÄËÅ,ËÉÏÇËÑ ÊÚÑÅáÊÑ ÊÙEÑÊ ÑÇÑÊËÉÕÖ9×ïè2ðËÄÎÇÛïñÃÉÏÍÎÿÇÂÃÄÿËÎ7ÏÎÃÇæÑÅOÏÊÑÙEÏÜËÃÎíÎçÃÉËÅzËÉÏÜÜÔ¿Ä,ÃÜÏÇÃÆÚØËÇÂ
ÇÂËÎKÇgÔçÃòÑÅÎÔÎ4ÇgÃÙEÎIó
Þ
ÊÇÑÊËÑÍô>õ!ö@÷íØDÂËÉÂVÆ(ÃÇÃÉÇËÑÊVØDÏÎÊÑ Ç¾ÔÃǾÏÆ(Æ(ÄÃÎÎÃÆèä×@ÃÉÑÊ Æ(ÛOøâ ß6ù
Á Þ
×úØDËÜÜ
ÄÃç ÑÄ,ÇÎÑ ÙEÃVûÅ,ÏÜÎ4ÃýüÈÏÊÑÙÏÜËÃÎÈÇÂÏÇÉÑÄÄÃÎçÑ ÊÆ(ÎÈÇѲÃÊ Ò!ËÄ,ÑÊ ÙEÃÊ ÇgηÇg ÏÇÊÑÇÃþ-ËÎÇÎÈÆ(ÍÃvÇÑÿÝ!ÊÑØÜÃÆ(åÃ
ÄÃç Ä,ÃÎÃÊÇÃÆ¿ËÊ~ÙÃÇÏô>ÄÍÜÃÎ9ÍÎÃÆ¿ÇÑ~ÄÍÜÃÎÃÜÃÉÇËÑÊEÙEÃÉÂÏÊËÎÙòè
ø7â ß6ù
Á Þ
×3ÎÔÎÇÃÙ¨ËÎ9ËÊÆ(ÃçÃÊÆ(ÃÊÇÑÅÝ@ÊÑØÜÃÆ(åÃDÆ(ÑÙÏËÊEÏÊÆ¿ÑÅÇg ÃDåÄÏÙEÙÏÄÍÎÃÆ¿ÇÑ~Ä,ÃçÄÃÎÃÊÇÇg ÃDÄÍ)ÜÃÎ^è
!"
#%$&' ()'*
+',-.'.-,/
0132 4'567'7658
9:<;
='>?@'@?>A
B<C DDEDFGC H
IEJK LDMN JDC H
O
C MC P<CQN
O NMN GMN R
SDEKC HFN!Q O C MCTCQN
UWVXN JC MFEDXQ
Y
N!ZFDNKNDM
UWVXN JC MFEDXQ
[]\^`_badcfefgihkjmlonqpsrutvrua'wyxb\z3c{wyz3_ba'c
|~}fs%k~ bib{`bb3bbb` d¡{b¢{¡3 d£¤¥¦§ ¨©¨ªvb«¦¬b3 ¨¡{¢b¦
«33b®q{ ¯bb¦°3b±² ¨³'¡3bb ¨b¡{q{´uµb¡¶¢±3bb~·b`{b`b¸b³¹»º¼¦§ d¯ ¨½
db¡b¾ ¨µq¹¸º®¡{¿b«b¾WÀb¾«|«}fs%k~Á´
Âb®Ãobb ¨¢{ ¯b`®bÄ3 ¨b ¨Wb»3b®Å²¢{ d ¨{Äb3 ¨b«¡bb¡~³'b ¨Æ3b»
¨¡{b¦§bqľÇ3bÇ¢ s¯b`{´Éȯb3¡Ç3bÊ3bfb`Ëb ¨Ì²«¢«·` d{¡3bb{´²%u¡q·¡{bb²{ d
3bi{ÅÉ3 ¨b`¹¸º¶b3¬¡bb¡{`³' dÍbb«Î3¬¦§b{ d¢ib{Ï ds`µ ¨b¦ÇÌbb`¦§ib`3b¦§½³'3{
bb¯k`{3¡3bb½µWb¦v¿ÅÉ3{ db¦§ ¨¯ д
Âb¯%b3{ db]Ѻҫ`q3 ¨3®¯b`¯Ó ¨qbbqb³'b ~3b¯{ÅÉ3 d¡3±b±¡qq³'¡3b±³«Ô3b
b³db d3`{3bÀ` ¨¦b¯i`3¡{3bbqÀ³' ¨bÕ3b¯b3{ db¥ ¨µ¯£b ¨µvb3yª{´
%¯¢³' ¨qÁq3¿µ3 ¨ÂÅÉ3 ¨¡3À³d dÖ ¨µÂ d«¡qq³'À¡¡ d`b¦v3¿3b³dbb«¦v¡qq³'¡3b]×
•
ØÚÙÛÜÁÝÀÞß]ÞÜÁàáâqÜÁÙãbãbä{ÙådâÂÞæ¿å¨áçä«ÙæbÜ3äÛ{äè`ä{æbÜkéê]ë¿ìí%î•
ïoðbñbò{óôõqöðbñ¿÷Àöø¥öùÁúôõqùÁûüübýûþ¨õköñ¿þ¨ôµóýò{ðbñbõqý{ÿôµý{ñbù•
!"$#%& '( !)+*,-
./ 01'2. *3. "4(%&'5$"4"%& ' "%&"0"%76)+05$ 89 2 "':3 <;= !>."? !. %&)+ >,
@
A%& . >#%B.*C>.'"D5E"D %&;9"FG: >AH5E >A.5$'. 289"I2*%&FG7 ! ! "'"J"%K
! %&)+.1"AL1'M. 5E* NOML/ >)+*PNO"C"4FG " >"F !. ,OQ2RSI(**T#/%& . ># %A* !U'
' >. L. ! >"'%&("'*.*=.*. )+* 1"'**='#*("3 >". 2. ",
V
"E2C . '"% 'U=
V
" !"*&WEXBQY%&5$" > 1"Z5$%&)+*[FG " >)+3)+*&"'3 !5$"Z#)+\NOC1"F
! *"$#' I( "]*1 > *_^`' >;9)+*?#"%ba ,
@
c"> !5$"]I2**d#e)+%f"c6)+c]5E89?
NO"''"MFG "' !"FA' >. P3 2#)+<*B"B1'E)+5E.Z%& ."BYg="FG*EhY*)iZjd" !",
-
.[1'\hYkRl V @
Q2g."%& !d5Ec1c0." !"'1d* ! %&c%&. !#' %Z"H* !)+ >$monR* >;9p3q9r9st,
jd"'%& >%. "' >".)+*%#2%&;=%&%"$1'(3'**I("FcI2iu
•
viw xEyz{|}E~dz{!y|z'{1P{1'|M{ w$2|xEw !x$||wECw {<|P3'>xEw Z|{w !yP{y{<}yzz'{<w!w Cw z{y{{w(Cyx$w2{1|x$w2|z$Y{y{'w(|z{>&+}w 2iCw
•
Gi' ¡> ¢ £¤¡>¤2¡!¤(¥¦iC T §2'G= ¡! ¨©
ª¬«®¯°±ªL²(±ª¬³$´«µ«$¶·°´ ¸!«¶²
¹
º¼»½¾½'¿ÀÁ\Âà ÄCÅÆ»ÇȺLÉÊ=ÀÂÅÄL¾&ËÄÅÌG½'»ÀÅ¿½ZÅÄ¿Í'À1» Ž˾$ÍÃ[»½'»Ç¿'ÌGÃYÎ2ÅÀÂZÇ¿'ÌGÅÆ»Ç&½Ë ÌG» À1Å¿½Z»½¾
»ÇÇ¿'Î(ÄRÀ¿7Ï!Ë ÐÏ!Ë ÄCË ½ÀSÀÂËPÆ¿½ÄÀÏ!»Å½À0¾&Ë Ñ>Ž˾7ÍûPÇÅÀËÏ>»Ç»½'¾7ÅÀÄ2Ï>ËÀ1Ï!»ÆÀ1Å¿½eÑ3Ï!¿ÒÔÓ:Õ2Ö9×ÂÅÄ
¿ÐËÏ>» À1Å¿½ÅÄØ=Ë Ï!Ã(Æ ¿'Ò$Ò$¿'½Å½$½¿½ÙÚÒE¿½¿À¿½'ÅÆ2Äà ÄÀËÒ$ÄÇÅÛ=Ë(ÜiÁ\ºYÝÜiÞ/Ö
•
ßiàá'âGãäEå2æãç+ä$èdéáêCë1ì!æàáëêMíëîàêMëï ðäEéñ(àò$ðäì>òEàêCêàó'ãäEêä ëdàêMñ3éì!ò$äôóïZõç+êë<é'áäEãàë1äì>æ ãöó'çië÷
éáêàô&ä ì!àá'â?ô&àñ3ñ>ä ì!ä áëYø9æ ãç+ä êé'ñMàëêðæ ì>æòEä ëä ì!êùúEéëà
÷
ä7ëîæëYëîéêäeðéëä áëàæã
÷
éáêCë1ì!æàáëêæì!ä
æç+ëéòEæëà
÷
æããïPô&äëä
÷
ëäôùGûYñ3ëä ìëîàê(ë1î'ä
÷
é'áêëì>æ àáë
÷
æá7óä/ä àë1î'ä ì
÷
éáñ>àì!ò$äôAéì
÷
îæá'âGä ôAóïëîä
ç+êäìüù
ý
îäJæáéòEæãàäê?ô&äëä
÷
ëàéáþò$éô&ç+ãä ÿå2äì>àñ3à
÷
æëàéá
ý
ééãê
éì9ê_àá æ á æ çiëéá'éò$éç+ê
æ ï
àë1îþáéþç+êäì
àáëä ì!æ
÷
ë1àéáùëæããé
êëéóä(ì!ç+áàáóæë
÷
î$ò$éô&ä+ù
ý
îäEæ áéò$æ ãàä ê/ô&ä ëä
÷
ë1àéáBóæêà
÷
æããïEì!ä ãàäêPàá ëîäZì>ç+ãä ê/æáô
÷
éáêëì!æàá'ë<æáæãï êàêù
ý
îàê/òEä ëîéôBîæêæãì>äæô&ï
ó'ä ä á$çiêCä ôóï2êéò$ä
äãã9áé
áå /å¬ëééãê9æ êèEå\ì!ä ä
÷
ä æáô !"#$&%Mè')($àáêóäì>â*,+.-tù
ý
îä(ì!ç+ãä2ä/Oðæ áêàéáâGä á'ä ì!æëàéá
÷
æáó'ä(ô&éáä2àá$ë
éô&àñ3ñ3äì>äáëò$éô&äê10á'éì>òEæãiéìä1/Oîæç+êëàø9ä+ù
ûYêä1/Oæò$ð'ãä19ãä ëç+ê
÷
éá'êàô&äìëîä2ñ3éããé
àáâ2 30
46587:9#;=<6>@?8ACBD48;=?6>@E F8G=H6I
J6K8L:M#G=H6I@N O#P=Q6R
S6T8U:V#PCWCR@X Y#ZC[C\
]C^#_a`8Z=b6\@c d8e=f6g
d6h8i:j#e=f6g@k l8m=n6o
prqsutwvyx{z=|u}u~zr|vvuq uzw}u uzr|q~wttsuv*v1 uvqvw v1q|&}u6v
u
¡ u¢w£u¤¥¦¢'§u¢uw¨¥¦©uª§u¢u«¬ª¤¬¢u®6¥¦¯*¥1§u¥«ª¥±°²¥³¥1«¥1´µ uª§u=¢u§±£u¶·¸¢u§©u¥¹¢u©u¥1«©uª§®6¸©u¥
w§u°²¢u«²¬&ª¢§º¢u£ª§u¥1®:ª°²¥«2ª§u¢¬ª¤w¥1®6¥1¥¨w¢u§»y¬¢u«¥¡¶·¥°²¶¤½¼¿¾!©u¥±¥1´µ©uª¶·wÀ¥±¬&¢u®6¥±³ª=¥1 ªÁ¤w¢u3¢u°
w¬¥¯*¥§u¥1«²ªw§u¯Â©u¥«¶¤w¥¥´µ ª§uw¢u§u¬& u¤Ã1§¯Âª¤w¢¬&¢u«²¥³ª¥®w¬¥¢&ª§uª¤wÃ=¥3©u¥1¬¸£u¶·Ä§& u«²w§u¨1 u¤w¥Å
³3¤w¤£u¥ u¢w£u¤¥3¢®6¥¥¨1¬¢u«¥ u¢¥1§uª¤Æ¥1«²«¢u«1¼
¾r©u¥Ç®6¥¥¨1¥®Èª§u¢u¬&ª¤w¥É¨1¢u¶·¤®È£u¥Ç¯*«¢u¶· u¥®È§Ê©u«¥¥Ç¬&ªË¢«Ì¨¤wª¥11ÍÁ«¥®6¶·§u®6ª§u¨1ø¦¨1«¨¶·¤wª«²wÃǪ§u®
w§u¨1¢u§uw¥§u¨1øƪ¨¨1¢u«²®6w§u¯2¢ÎÏw¯*¶·«²¥3п¼
Ñ&¢u«²¬&ª¤ÒÓ¢u®6¥ Ô´µ©ª¶·ÀÆ¥ÒÕ¢u®6¥
Ö#×=Ø6Ù@Ú8ÛCÜDÝ8×=Ú6Ù@Þ ß8à=á6â
ã#à=ä6â@á8åCæ@ç#à=á6â@è é8ê=ë6ì
í#ê=ë6ì@ë8îCïDð8ê=ë6ì@ñ ò8ó=ô6õ
ö#ó=ô6õ@ô8÷Cø@ù#ó=ô6õ@ú û8ü=ý6þ
ÿ#üCþ@ý8ü=ý6þ
"!$#&%' (*)
./0123,"4/65
7 23,"/(*-%-#8./-#!90:./0 7 /23 ,"-(
; ,"29!9/23%'/6-)
< .=23>?>4,"4,"/(@/>?," ,-/",A-B%'&/0
< .=%C01/5D#,A"B%'/E.>F/>4,- ,-/", GH,-(*IA,",-/ ; !9#,AJE .!9K0
+ !$K#&-%'(L, ; !$#,A./0123," /5
7 23,"/(*-%-#8./-#!901.6/0 M8!9N0:!$=O,"2P. + !9K#-%-(*, ; !9#, Q /!$0:%'N#, ; !9#,
R =ONST%-#,-/",
; ,-23!9/23%'/(@UF(*," %'#
VWYXZ\[4]A^A_a`b]dcL]edcL]fPgHh\i$jlkDm&Wn]do
prq6sLtudvwsLx6y-s{z3|:vd}Eu"~&y-|:|:t&4t&u"y-sLt&q6Ot&||:t&t&~y" sLq vdv"u"vu"~&y-|:|t tudy-sLtq6Fv"vdu"vd?8$tsLx|q6v}t 4vd vd6u"vd|d-t|:sL
sLx6vby-sLudx6t\E8y-~&z3v"|Ay-vudq66|:t&}v"v"}t&z3~vby-6y-~&"|:t&|:tsvdy-6|AsLx6y"sy6v"|:v"sq6y-6q6ry-~t&v"|wwt&~~{y-t|v98v"s
z3|udq66|:t&}v"sLx6vw q6~&~q6t\ u"t& udz9~&y- z3~&v"|d¡
q6¢£¤¦¥:§6¨©ª«\¬4©"©"«\®"©w©d«6¯°ª&«6©"¥®d§6±3²³E¥´*µ" ´{µ-«Oª&«6¬ ª«6ª&´L©w²&§6§6¶ ·
¸
«6§6´L¹6©d ¥ª´L±3µ-´Lª§\«O®"§6«\®"©"«6¥´L§O©"³±3«6³µ"«6®"º»6©"´L¼w©d©"«O¯°§6±3¶6¥§\¬±9²&©"¥·'½1«O´L¹6©¬4§6²&²§\¼wª&«6¯ ©"¾Tµ"¨¶6²&©9¿
´L¹6© ±3²&©"¥ÀÁdÂÄÃÅÆ-Ç6ÈÊÉËÌdÍ6Î3ÏÐEÑ6ÒÓ ÒdÔ6Ï&Õ-Ì"ÒdÐEÑ6Öw×LØ6ÒÙ6Ò"ÚT×{ÓÎ3ÏÒ3Û
Ü
Ô6Ô6Ï&Ö"Ý&Ù6Þ Ï&Í6Þ°Ý&Ì"Õ-Ï9ß:Ý&àÔ6Ï&Ýá ÝÌdÕ-×LÝÍ\Ù6ß×LÍOÓÎ9Ï&Òãâä3å$æç{æ&èé6ê6èè:æë\ìíç*êê6ë6çLî-æ&ïOçLð6íwñ ê6ìì&ê6òæï6ó ôõ3ìí3ö
÷ ð6íwøídè:ù"ôæë\í"øEè:æ&çLõ9î"ç*æ&ê6ïOùdî-ïOôí"é6ôí"èí"ï6ç{î-ïOõ3ï6øídè:æ&ô î-ë\ìíô ídøõ9ï\øî-ï6ù"úî-ï6øEæ&ç{æèîwó°í"ï\í"ôî-ìæ&è:î-çLæ&ê6ïê\ñ çLð6íõ3ï6õ3è:í"ø
ì&æ&ç*ídô î"ìûè:æ&çLõ9î"ç*æ&ê6ïüî-ì&ôí"î-øúèç*õ3øæ&í"øýë6úþô ídí"ù"íýÿþFôí"ídù"í rê6çLæùdí çLð6î-çaçLð6æ&èOçLú"é6íÊê6ñôí"øõ3ï6øî"ï6ù"úÊù"ê6õ3ì&øüë6í
øídè:æ&ô î-ë\ìíõ9ì&íë\î-è:í"èî-ô írøô î"òwï î-èîOô ídè:õ3ìç ê6ñî8ï\ê6òwì&í"øó°írî-ï6î-ì&ú"è:æ&èídìæ&ù"æ&çLî-çLæê6ï é6ô ê\ù"í"èè:åæ&ï6ù"ì&õ3øæï\ó°åñ4ê\ô
íTîré6ìídå$æ&ï6çLí"ô 8æ&í"òèûòæçLðíTé6ídô çLèûê\ôçLð6íè:çLõ3øúê\ñ øê6ùdõí"ï\ç*èè:õ3ù"ðrî-èûùdê6øí"èê6ñ é\ô î-ùdçLæùdíî-ï\øì&í"ó°î-ìçLí8ç*èå9ê\ô
î"ï6î-ì&ú"è:æ&èAê6ñç*údé6æ&ù"î-ì@è:îré6ìíbù"î-èí"è ÷ ð6íPô õ3ì&í"ë6î"è:íbèð6ê6õ3ìø ô ídñ4ì&í"ù"çHçLð6íPï6î-çLõ3ôíbê6ñçLð6æ&èwé6ôê6ù"ídè:è:åídî-ï6æ&ï6óOçLð6î-çHæ&ñ
øê\ù"õídï6çLî-ô ú è:ê\õ9ôù"ídèbî"ô í õ3è:í"ø çLð6í ô õ3ì&ílë\î-è:í è:ð6ê6õ3ì&ø ôí"ñ ìídù"ç$ï6ê6òwì&í"øó°í è:ê\õ9ôù"ídè ÷! #" ù"î"ï øídçLí"ù"ç
çLð6ídè:íwèæçLõ3î-çLæê\ï6èõ3è:æ&ï6ó î-ïOæ$é6ôê%$í"ø'&õ3æ&ï6í)(Êù*ì&õ3è+8ídúrí"çLð6ê6øEñ ê6ô ì&ê6ó°æ&ù"î-ì9í8é6ô ídè:è:æ&ê6ï6èèæ,ré6ìæ&ñ4æ&ù"î"ç*æ&ê6ï-
.
/10234 56!7 026
8:9%;,<#=%>=@?ACB?>D,E!F;,EG9H<+I%JK?';,JK=%I%A EL>M%E:><N=%?OEL<QPRI%AEG9%?'=%A >OEG;$O>DTSU<N?'I%PCVXW!YZ;$MH[\I%M@ELA I%D][\?M%EGAR?<^U8!9%?<+?
><+=%?OEG<!;,M@OD$SUB?_M%I@FD$?B`a?JK>;$M%EG?M%>M@O?b=%I%A EG>c%;$D,;$EGdbe#?A ;$P);$O>EG;$I%M%b>M%B'e>D,;$B>EG;,I@M-^
8:9%?f<+d<+EG?JK>EG;,OgSU<N?fI%Phe?AR;$P);$O>EG;$I%Mi>M%Bje#>D,;$B>EG;$I%MiJK?EG9%I%B<K;,<Kk?A dH;,JK=%I%A EL>M%ElP)I%AXEG9%?H>OO?=%EG>M@O?HI%P
VXM%I@FD$?B`a?m)W!><+?BKYUd<+EG?Jn<\c%dlEG9%?;$A!?M%BmS<+?A <^o8!9@?lSU<N?lI%Ppe?AR;$P);$O>EL;$I%MqEGI%I%D$<+b%c@><+?BrI%MqPRI%A Jn>DJn?EG9%I@B<+b
;$M%OAR?><+?<:EL9@?OI@M%P);$B?M%O?I%P-EG9%?S<+?AR<!>M%B'?><N?<!EG9%?=%ARI@O?<N<!I%PT;$M%EGA I%BSO;$M%`lO9%>M%`a?<!;$MEG9%?sSD$?W!><N?U^
8:9%;,<t=%>=%?A#B?<+OA ;$c%?BuEG9%?1YUv]wsxYUyze#{he|=%A I%O?<+<^@YvTwsxYy};,<h>nA ?>D$mEG;$Jn?1_M%I%FD,?B`a?mc@><+?B~<+d<+EG?JEGI
><+<+;$<+EI%=%?A >EGI%A <!I%P-v]I%A ELS`aS?<N?8!A >M%<+JK;,<N<+;,I@M[\I%M%EGARI@D[\?M@ELA ?<o^
T~x NToT N TN
TTN TN
T~ToTo ¡ ¢
£¤T¥¦o§¨©©T¦oª«¬
®¯T°±o²³´µT±o¶·¸ ¹
ºo»x¼~½½T¾o¿À½T¾o¿ÁÂTº¾oÂý½T¾o¿ÁÂTº¾oÂÃÀ½T¾o¿ÁÄ Å
ÆoÇxÈÉÊË Ì
ê
Ñ%Ô,åÐGÎ%Î%ã$ëì%ÒÔ,Ø@æíì%×å+ÒßÎ%ØKán×ÐGÑ%Òán×ÐGÔ$Ö×ãÕ)Î@äUØ@ß×ÐGÔ,Î%Ø@å+ë×å+å+äÏRÒå:ÐGÑ%Ò#ßÒÐGÒÖÐGÔ,Î%ØKÎ%Õî×ì%Ø%Î%Ï án×ãå+Ô,ÐGä×ÐGÔ$Î%Ø%åxÔ,Ø1ÐGÑ%Ò
ïXðé
ê Ñ%ÒránÒÐGÑ%Î@ß~äå+ÒßèÕ)Î%ÏlÐGÑ%ÒrÓÒÏ Ô,ÕRÔ,Ö×ÐGÔ,Î%ØñÎ%ÕlÙUÚ]Û#ÜÙUÝ|ïXðòã$×óåôÔ$ØñÐGÑ%ÒqÕ)×ÖÐÐGÑ%×Ð×Øñ×ì%Ø%Î@ÏRáK×ã!å+Ô$ÐGäU×ÐLÔ$Î%ØñÔ$å+ë
áKÎ%å+ÐÎ%Õ-ÐLÔ$ánÒå+ëÏ Òã$×ÐGÒß'ÐGÎÖÎ%Ø%ÖÒâ%ÐGÔ$Î%Ø×Ø%ß'ßÒÓÒã,Î%â@ánÒØ@ÐÒÏRÏ Î%Ï åé
Û#åÙUÚ]Û#ÜÙUÝõïXðöâ%Ï Òå+ÒØ%ÐGåÕ)Ò×ÐGäÏRÒåÐGÑ%×ÐQ×Ï ÒgØ%Î@ÐläUåNäU×ã,ã$ógÖÎ%Ø%å+Ô$ßÒÏ ÒßiÔ,Ø÷ÓÒÏ Ô$Õ)Ô$Ö×ÐGÔ$Î%ØiáKÒÐGÑ%Î%ßå+ëxÞÒHÑ%×ÓÒ
ÖÎ%Ø%å+Ô$ßÒÏ Òßè×ØøÒùúÐGÒØ@å+Ô,Î@ØèÎ%ÕQû ê!ü Ùý)ÐLÑ@ÒÎ%Ï óUé ê Ñ%Òå+ÒrÕ)Ò×ÐGäUÏ ÒåXÔ$Ø%Öã$äßÒqÐGÑ%ÒqÖÎ%Ø@å+Ô,ßÒÏR×ÐLÔ$Î%ØñÎ%ÕlßÔ$å+þ$äUØ@ÖÐGÔ,Î@ØøÔ$Ø
ÿÙUëánäã$ÐGÔ,â%ã$ÒÖÎ%Ø%Öã,äå+Ô$Î%Ø%å+ëÐGÒå+ÐÎ%Õ-ÖÎ%Ø%ßÔ$ÐGÔ,Î@Ø%å+ëÐGÒánâ%Î%Ï ×ãUÎ%â%ÒÏR×ÐGÎ%Ï å!×Ø@ß'ánÒÐG×ý)ÏRäã$Òåé
ÚTÏRÒå+ÒØ%ÐGã$óëÐGÑ%Òhäå+ÒôÎ%Õxán×ÖÑ%Ô$Ø%Òhã$Ò×ÏRØ%Ô$Ø%æÐGÒÖÑ%Ø%ÔäÒåÔ$åì@ÒÔ$Ø%æÖÎ@Ø%å+Ô$ßÒÏ ÒßTé ê Ñ%ÒôÔ,ßÒ×tÔ$åÐGÎgäå+ÒX×ôánÒ×å+äÏRÒXÐGÎ
ÐGÑ%Òå+äÖÖÒå+å!Ô$ØÐGÑ%ÒÖ×å+ÒÎ%ÕTÕR×Ô$ã,äÏ ÒÎ%Õ-ÏRäã$Òå+ë×ã,ã$Î%ÞÔ,Ø%ælåNäUæaæaÒå+ÐGÔ,Ø@ælánÎ%ßÔ$Õ)Ô$Ö×ÐGÔ$Î%Ø%å!Ô$ØÐGÑ%ÒÜäã$Òð!×åNÒUé
"! #$%'&)(+*%,.-/012.3453"6879-:-/,.2.,.;<;>=?;<;<@,.;A01-CBD 2FE%HGJI,46KH,FLM34;<,.;<NHO
=?,.-/343"IPQ@-/3"IH0R=?,.IIKS,4TQU.;<,.D ;<OV*I$W"X OYBZ4W"[OY\\$X] ^_OW"
79KH-/,.^"! 79=?# `9abdce-:fKg# -/@\h^ _$[i$[^Okj"amlS\,.-/nTQU.;<,.D ;<okp ,:qr,.I\D,.satlS\,.-/,42.,F346vuw;<,.-
`9,.x@@-/,.D ,.;<j4OYatI,.2.-/34OY$W"yiOY\\$YX iOYz{,4|-/3"-:U}W"^
p@-/fi"! P@$Yp @-:f OY(Satl \,.-/TQU.;<,.D ;<oV~*%,:G0R,Mz{,.I6NHOY=?atataamlS\,.-/OYz,.|-/@34-/UW" i
#;<|,.-:KH_"! $# ;<|,.-/K& (+,:G3"\-/3"2.24,.2.f KfG%I,.6KS,|34;<,.;01-}2.;<;<,.2.U346-:,46@6342.U.NHO{=?
\-/2.,46KH;k^-/6%@3"Iatl \,.-/TQU.;<,.D;kA# HqR,.-:D,4701,.-/,.2.,.O=?atata57D \@,.-TQ24,.U.O
ce3";<KHOYp $7$OY\\$W"[X WWW"OY2.|,.-/OW"_
{-/,.,.2.,. ["! ${-/,.,.24,&%(SMHGJ34-/6;3D ,.6IKHUm01-,:qr3"I@34K},.lS\,.-/R;<U.;<,4D;<NHO atl \,.-/RTQU.;<,.D ;uwE<O+*I$OSBZ/yO
\\$XRW"]XX^ OYBqr,.D |,.-/OW"[
{-/,.,.2.,. y"! ${-/,.,.24,m3"6%`$TQKS34I&J(Sz@634346m\\I2.3"0E%G%I,.6KS,tLM34;<,*,.-/0/2.3"NHO=?,.IIKH,.24,
TQU.;<,4D;<OYB Z: OY\\$i_ ^[rW"OWy
`9;<3"6^"! 79$`9;<3"6OYj4-:2.,.;<;M#wcj4OYatp `9,4\-/`9atTQ{TQ79pTX[^OPQIUW^
TQ34;<! P@$TQ3";&Y*,.-/012.34 4¡4¢,*3"I634 .¡">6,TQ;<,.D 34;£L34;<,4346;,.D¤79,.2.D,.¢&e*at`9=?rTQO@D3
z{,.-/-/34D ,.3M6,¥*%,.-:012434 .¡"NHOY¦TQ2,4;<;<OYz342.@I63"6,M6,MamKS,43"-:36{-:OYp ,.2.,.D |,.-MW"
*34I,.^! §t$*%34I,J3"6%$¦@-:3"ORj/ atl \,4-:MTQU.;<,.DCGJ,4D\-/34I¥`9,.34;<K 01-¨I34-/DF-:2.,.;<;<K {HGJ,.-
TQU.;<,4DC79-/IQ79,.,.-/;<j4O =?atama£-/34;<3"2.; HGJ,.-¨TQU.;<,.D;<OqrI$_OQB $Q^OQ\\$¥W"^ [W"^rWyO4@KH;<
W"^
*34I,.y! §t$*%34I,.O4$$¦@-:3"OQ¦$z{,.-/3"6,.;346w%$¦34-/x@@,.;<O@(STQ@`9TQadatl \,4-:TQU.;<,.D¢01-RI34-/D>-:2.,.;<;<K
346\,4-:3"-%;<;<;<342.,TQ@|;<3";79-/IQ7,.,.-:;<NHO"%\\I,.679D \@K`9,:qr,:GJO"qrI$QXOQXOQ\\$
W"_Xi OV79¦©%;<;<2.34ª01-r79D\@Kt¦3"2.,.-/U:{{-/,.;<;<OYp ,.2.,.D |,.-/OW" y
*34I,.i 3/! §t$*%34I,.O {$z34-/3"O 79$`93"D;<O ¦ $z,.-/346,4;M3"6%$¦ 34-/x@,4;<O (HHGJ34-/6;M¦ -/,m=V,4IIKH,.R346m634\qR,uw;<,.-
=?,.-/0/3"2.,.;C01-n79-/I79,.,.-k\\I2434;<NSO«=?,.-/3"34I790/,4-:,.2.,¬=?,.IIKH,.eTQU4;<,.D ;
\\I2.3";®{HGJ,.-TQU.;<,.D ;=VT4{¯i"?O°-/I346Oz{I-/634O°uw$TQ$$O°\\$°Xi O°X_P@3"@34-/UªMXz,.|-/@34-/U.O
W"i
*34I,.i |H! §t$*%34I,.O¦$z,.-:346,.;<O79$`9;<346O}$¦ 34-/x@,.;<O79$`93"D;k346>$z34-/3"O (HL,4,4-~E%LMTC01-`9,.34ID ,
\\I2.3";{G%,4-¥TQU4;<,.Dn79-/IH79,.-/,.;<o?ce342434J|,9I,.34-/,.6|U,.l \,.-:,.2.,.±<NHOHz-/;<=V,4-:3434I
7901,.-:,42.,²TQ242.,.;<;<,.;346ez{3"I@-:,.;0E%G%I,.6KS,4L34;<,46eTQU.;<,4D;²`,.34Ice-:I6~%\\I2.34;<O
L3"KHffOYM3"I346OYX_ ^[2.|,.-/OW"i
*34I,.! §t$*%34I,.OP@$TQ34;<OS79$`93"D;M(STQ@`9TQa~@n-:IK}L3";<,.6\\I243401-,m-/@KH,4;<,mM-:3";<D ;<;<
B,4GJ-/fo*,.-/012.343"6*34I63"NHOr%{³-:3"2.2.34IQ\\I2434 {-/IKHOr6-/,.;<O¥=?KHI3",.-/-/34O
\-:IOW
ceII,.|,.-/KS_i! L$cII,.|,.-/KHOj4z{,434;<|IU TQ@6U 01-34´at,.-/KSU ¦3"34KH,.D ,.TQU.;<,.Dv=?,.IIKS,.m%I3"-:D5{-/2.,4;<;<-/j4O
=?atata-/34;<3"2.;{G%,4-¥TQU4;<,.D ;<OVqrI$W"OY$XOY\\$YXyRW"XyOY¦ 34U}W"_i
§mI3434-/,:qr3"y"! B$§tI343"-:,/qr3e346n%$-:,4,.2.,²&A(<Aam0101,.2.qR,²KH2434Iz-:3"D,/G%-:fµ01-EJHGJI,.6KH,.LM34;<,.6¬TQU4;<,.D ;
*,.-/0/2.3"NHOY=?,.-/3"3"IP@-/3"I0Ratl \,.-:TQU.;<,.D;<OV*%I$OYBZ/^OY\\$X^X i[OW" y