A Development Toolkit to Realize Autonomous and Inter
Anuncio
A Development Toolkit to Realize
Autonomous and Inter-operable Agents
Federico Bergenti and Agostino Poggi
Dipartimento di Ingegneria dell’Informazione
Università degli Studi di Parma
Parco Area delle Scienze 181A, 43100 Parma, Italy
Tel. +39 0521 905708, Fax +39 0521 905723
{Bergenti,Poggi}@CE.UniPR.IT
!"#$#%&'#(&
)*#+",!-).)*/")*
0#+./
1#(23*2)*1&4#$&56#7
8#(!#89;:,"#<
#(#;=$-*>-*!?@*A#7B)C">DE&
!#0FC)*#G9':,"*#>@*H-*#>"
-*I"JK)*1)*L"6&BNM'OBPQ
!.)#G9+RS#7B#L!
T#(
"C-*#UV)*W#$FF#(C"X".)*
#("EYZEZ-*#G9[:/Y"#!3*\AX-*
@*-*#.E)V)*ZE&)L#;
"-+"+)*^] #_)*#`#$
'9R>#_#(U
@*
a#(E&F
a#$TE#b"T#(#b&F"
#(!#&`McOP'Sd`e9fH-*UA@A.#(g
g-*#+*&`#7B/9:/"")*"`-*\Q",!,"!)*
-*\T#h#$)i"j)*Sk#l&m#l
"#(#g#$"b#.)#(\X&5#.2#7+)*D,9,
n)*BE)o=(-*b#(@*#F&BqprVeK)*#
#(#."#;-*^9/:,"Z-*s"#$Z
tprteTdHucv
%E%"X)*##(0"#U)H@*#"
&B#IwS#(Bw&5$9!:,"S)*K#(@*#N#$Y
!T"T#(&B2LU"Lg-*U&
#$\x"'++Qzy^c-*^9+c"#`-*\{)#`+#(
#|=$-*iB)*!#j}"~-*#B-*"
-*!B
2n)*L"0F+"N"F)
#(@#89`:/"#Y-*"N+#Z#()n)*#Y
"Ns#Ss"m)*V-\t+"m#7)l"
)*V&+B#(&BgL)*
tEX"Czy^
-*$9`rt-*\"s)*4LIs#$!D4U"
zy({-*{)B#(&!D#G9
)**#$\)*"#(\)B#(
)*)\#(#%&BQ)*#(\p+rte,\McOP';9
#(&
:/"B#()0!!&A"
2;.-*
8
&B#X#(")
"EV&+#7&BgZ&*)V"LFF
8
-!#89GrtB!"."_")*#(\c)*##(<0"-*
".#$#(
Z" #7#Y#$%"0-*%&H
;&3!#(&B#(
8#7#89GO.B\c;"#(#H&
)*#Z#$~!Vb"#g#$-*[A?I
$z,7 `g!1 ¡¢£¢ 7 $¤B¥¦¢1¢§¨1¥¦
8!£;¢©*¤¢ UE§§¥¡¨*¢ ª¨ZEª¤¢£«§¢
$ 8¬L¢>£A¢§¢¨*¢UZ¦¢0¢©*¢§ª¢¤X¦¢Uª¤¢£C­
§§ª ( $«§¢Y£¤ $¢ .­¢©*¢ ;L¦¢E¬L¢«/'®¢¤¯Bª¢¤B«§F >
¢£¢ ( 7¤ £ ­¤°¦¢±ª§¢¢ ­²ª¢
$8 (¢! ³ ´µ³¶¸·µ³ ¹,¶zµ0ºA©*¢¤Bl $¢£*h¢¥»­5¤!l¢¥
$¢¤©*£¢ g«¢£!¢t©*§«§¢tb¦¢t¬L¢«bN¥¢t£¥­B¤
¢©¢§ª*¢¤ X¢©*§©*¨¦¢¤Aª¤£ `U¼*¢©*¨*¢­/¦¢ $¢¢¥
ªª¤¢ G
½ ¦¢¾¢©*¢§ª¢k§ ¿£¤¤¢*§À©§«§¢Á¨*¢
¢©¢§ª*¢¤ H­B§x> 7*ªª¤¨U«¦U¢¤¯ª¢¤«§'
à ¥+8 (ÄQ¦¢¢©*¢§ª!¢A­`¨¢ g!§¯¨*¢, (8 $¢! « (¢EZ¥Z¼* +­`§ 8Å{¨*¢?ª§­5¤ +EÆ_Ç®¯§¼*¢0§ G
¨*¢cª§­¤ (Äx (£¦0 HÈÉ%ÊcË>³¶zµ%0Ì/Í ÎÉ,¯Ï!г ¹¹*µÑÄxª¤B©*¢§
¤B (ª¤Q§8¢¤%; $!¢« (£ $¢¤©*£¢ 7Äx«'¦¢;'ª¤B©*¢
; 7ªª*¤A­B¤`'8Òt¤¢©¢¤Äc¦¢0§£¼; (ªª¤,­5¤_¢¤¯
ª¢¤«§U«¢£ (¢¦¢>0'¼*¢>££'¦¢ $¢!£ H­
¦¢¤.¨*¢U£!£4§¨*¨*¢V«¦4N¦¢V£ (¢V­;Ìc®ÓQ
ÔHÕs³ Öµ.4×+Ø+ÒFÕs³ Ùµ%¬s¢F£§§¦ Z¼*n­0¢¤¯ª¢¤«§
Ú {Û Û $¸/7 4«¢£ $¢Y+¤B¢§¢ ;§FLª¤ (¨L
¨*¢¢¤¨£¤¤¢£x!¢ ( (¨¢ 8¸®¤¢¤Q!£ª¢¥¦¦¢ª¢!¤B¢
­U¦¢t¬s¢«b¥¢t¢¢ Ú Û 7z/$ I«¢¥¢¢n¨*¢ >¦ H£U«¢£¦¢©*¢>§¼*¨U££{¦¢+ $¢!£ `­
¦¢Eª¢V¨¢X£!£F§¨*¨*¢{ ½ ¦¢Z©*§«§¢gÆ`Ç+®¯
§¼*¢2§ $Ä! 7£¦T tÒ É%Ü[Ð ³¶zݵÄÈ É%Þß ³ àµÄ!!á Ë$â_ã ÆAä Í åÊcËGÜ ³ ¹ÝµÄ
È É%æ ³¶¶¸µUsç Ë ä Ð ³^¶zÙµÄX (ªª¤§t 78££E¢¤¯ª¢¤«§
«¢£ $¢E¦¢tsX¢è*ª§X¦¢¤+¤¢ (¨t¢¨*¢ 0F¢¨*¤¢
¦¢n 7¢!£ V­Z¦¢2ª¢o¨*¢0£!!£o§¨*¨*¢ G
Òt¤¢©*¢¤Ä/¦¢.¤¢U,§¥8 ¨§¯B¤¢¢C«¢£ (¢U¦¢¤¢£©*¢
ªª¤£¦N C­¢bª¤¢­5¢¤¤B¢b Z+ g£ 7¢¤¢b¢ $¢¤Ub $¢t
§¤¨*¢¯B (£§¢wª¤zé$¢£ *C mw!¢¤T­4­£ 7ÄL¦¢K¢©*¢§ª¢¤4 ¤B¢ê¢ 7¢.;ª¤©*¢!>.¢¤B¯ª¢¤«§0;¦¢¤?¨*¢ ¥¦§X§¢! $ªª¤{­5¤T¦¢X¢©*¢§ª!¢{§ *
½ ¦ Vªª¢¤Y¢ $£¤«¢ Lo¨¢>¢©*¢§ª!¢;§¼*0£§§¢
ëxìxíÑîï+ð ñBë 7 ï ò z, ð ò 75óô¦°¥¢
ª§¢¢¢1ª¤©*¢ww (ªª¤2­5¤4!h1¢¤¯
õö÷øùúûüûýþ1õÿ*÷øo÷*û(ýû
õ!öüûùýNöüùýBõøAÿ*÷û
!#"#$
õ %ü &('ùÿ*÷Zú÷÷ Vû öü÷ ÷ ý÷ &Lõÿ*÷øù þt÷ *û(ýû tù *÷ ý
öüùý Bõø *){ûý +%øø÷ ýcû öü÷ ÷ ýùýûõ -,õø .!`õ 0ýõö0õ 0/ 13254687 ù &
ýù .*÷ Yù &ÿ*ù ýù *÷sõ .ûý 9(÷øÿû ÷ +:0';
÷ õù5
ü &øûÿ*û Ný ';
÷ ,+õø .Nõ !#"#¡û Zöøõÿû &û s<ý '÷tù *÷ =
ý &÷ÿ*÷üõö÷ø ,ûý 'b>
ù 'þ8úøBû &bù *÷ ý
ùø 'ûý÷ ý %ø?
÷ ùöùúü÷+õ ,öøõ !õýû û ý÷ø õö÷øùúûüûýþù &5@%ööõøýû ù%ýõ õ !þ!÷ *öüõûý<û !ý '÷ (÷ !ù ýû `õ 0
A#B+C 4 D74 EF7 G3%'ù ùø 'ûý÷ ý %ø÷mû Túù 7û ùüüH
þ *õùü õøBû÷ ýùý÷ &!ú %ýFûýtùü (õwû ý÷ øBùý÷ ø÷ù ýûÿ*÷jú÷ 'ùÿûõø (:I'û ùööøõù ' û J'õ $÷ iú÷ ù %7K
÷ *õùü õøû÷ ýùýûõ U<û _L
ù M%&ù ÷ ýù
ü .÷þû NO%ööõøýû Uúõý '>ù %ýõ õ þù &
ûý÷ø Bõö÷øùúûüûýþ )Xù &;,÷g<ý 'û .Vý 'ùýXø÷ù ýûÿ*÷Zù *÷ ý 0ùø÷Z÷ù 7û÷ø!ýõ
&÷ $û !¡ù &¡ýõa<û !öü÷ !÷ Oý ?P+õùü õøû÷ ý÷ &mù *÷ ý 2ùø÷Iû '÷ø÷ ýüþ
ù%ýõ õ !õ %4ú÷ ù %(÷<ý '÷þ6ù ýFýõwù 'û÷ÿ*÷aý '÷ûQ
ø *õùü R,+ûý 'õ %ý
ø÷ S%ûøû 2ý 'T
÷ &÷ÿ÷üõö÷ø>ýU
õ 5õø÷ 7÷÷tùüü+öõ @$ûúü>
÷ Büõ ,?.õ ÷ÿ*÷ ý V õø÷õÿ*÷ø ),ý '÷ (÷ !ù ýû õ +
W?BXCsû =(ö÷ û û÷ &Eû gý÷ø *+õ Hù
*õùü õøû÷ ý÷ &bù *÷ =
ý !õ &÷üù &bý '÷ø÷ Bõø÷tû<ý Cû *ý÷ *øùýûõ U,ûý '2ù ù*÷ ý,öüùý õø 6û #(ýøù<û !'ý Bõø ,ùø &.÷ *öüõûýû ;*
ù *õùü õøû÷ ý÷ &.ù *÷ ý
ùø 'ûý÷ ý %øY÷ 9ý4û Z,õøý '[õýû |ý 'ùý4ý '÷hû ý÷ *øùýûõ õ oý '÷
(÷ !ù ýû s
õ \#BXC],+ûý 'û <A
ù &÷ÿ*÷üõö !÷ ý;ýõõü.û VA
ù 7ý÷ö
Bõø ,ùø &n<ý '>
÷ %øø÷ ?
ý *÷ ÷øBùýûõ bõ *
?õ Uöüûù L
ý &÷ÿ*÷üõö ÷ ý
ýõõü ^Bù ý )I%øBø÷ ýAýõõü ùüüõ ,öù_ø 7û Cù &*÷ ÷øBùýû ^õøø÷ ý
÷ @7ù *÷ O)/
ú %ýAý '÷`
þ &a
õ õý,ýù .÷û ýõ.ù õ %Iý ,#'þ0ù .ù *÷ Iý O'õ %ü &
(÷ &Y`
ù ÷ @(ù *÷;ù &9,#'ùý_ý '÷.ø÷ ÷ûÿ*÷øù *÷ bý c'!õ %ü &9&9
õ ,ûý 'Eý 'ùý
÷ @7ù *Y
÷
!#"?¿û J
õ !öõ (÷ &iõ md
ù (÷ýoõ e&÷ÿ*÷üõö ÷ ýIýõõü @%ööõøýû gý '÷ &÷ÿ÷üõö÷øHùýAý ,õEü÷ÿ*÷ü +õ _ùú (ýøù ýûõ I!:I'5
÷ 'û !'÷ø
ü÷ÿ*÷ü )ý 'ù
ý ,>
÷ ùüüý '9
÷ fghij=khlhk_)ùüüõ ,#&÷ Oøûúû bù *÷ ý Eû ý÷ø *Zõ 0ý '÷ûø ùý %øù=
ü 'ùøù ý÷øû (ýû O%'nù gú÷üû÷ Mc)#õù<ü Cù &
(
õ ûùü>õ_ø ù <û mùýûõ 0++ýUý 'û tü÷ÿ*÷üUõ Cùú $ýøù ýûõ )!ý 'n
÷ &÷ÿ*÷üõö÷ø
öøõ &%÷ no V Cp!õ &÷ü ;&÷ @øûúû oý 'A
÷ %üý<û Bù *÷ a
ý $þ (ý÷ )>ý '÷
ù*÷ ý >ù &tý '÷Cõ ýõüõ *þZý 'ùý`ù *÷ ý õüüõ ,N3 ?"?4öøõÿû &÷ !ù
õ &N
÷ *÷ ÷øùýõqø ùöùúü÷>õ +õ !öûüû O%'^Uõ &÷ü û ý
õ /$ùÿ*ù õ &÷
û!öü÷ !÷ ýû Uc.*÷ü÷ýõ gõ >ý '÷Fù *÷ ý Zû ný 'T
÷ $þ 7ý÷ rI:I'û sõ &÷
ø÷üû÷ oõ t !#"#u&÷ÿ*÷üõö !÷ ýVüûúøùøþwù &hõ ý 'v
÷ (÷øÿ*<û ÷ öøõÿû &÷ &túþgý '÷.ù *÷ ý`öüùý Bõø wý`û =,õøB<ý 'õýû gý 'ùxý ?"#
&õ
÷ nõý.öøõÿ*û &÷Nù $
þ BXG
Jýõõü.ú÷ ù %(÷ný 'R
÷ õ &A
÷ *÷ ÷øùýõø
,õø .!y,û<ý ']z V 4{68D!7 Bûü÷ Ný 'ùýYù þ¡
õ _Mý '÷ @'÷ü ;B+#G
jýõõü
@'
õ %ü &tú÷Cùúü÷Cýõtöø!õ &%w÷ 3:0'a
÷ õ &`
÷ *÷ ÷øùý÷ &TBøBõ lù *÷ ý ü÷ÿ÷ü
õ &÷ü nû bõ üþ<|
ù c.*÷ü÷ýõ ¡ù &mý 'y
÷ &÷ÿ÷üõö÷øtû 2ø÷ S%÷ $ý÷ &mýõ
õ !öü÷ý÷IûýEùýZý '~
÷ }hjkhlhkEû ý÷ øBùýû aùööüû ùýûõ 7ö*÷ û û ú÷ 'ùÿûõø !~G3%' ú÷ 'ùÿûõ*ø |ùø÷iû !öü÷ !÷ ý÷ &}÷ *öüõûýû }ý '÷
!#"#d&÷ÿ÷üõ
ö !÷ ýgüûúøùøþSýõ<ù ÷ @Q !#"#õ !öõ ÷ ý @%'ù _<ý '*#
÷ .!õ ,+ü÷ &÷úù $÷+õø/ý '÷öüù û ÷ *û w÷ 8:'û %ý ,+õ ü÷ÿ÷ü
ùööøõù 's'ù +ý '÷ù &ÿ*ù ýù *÷õ +@%ööõøýû .ý '÷öøBõ &%ýûõ .õ õ &÷
Bø
õ o V Cõ &÷ü ùýý '÷Àù *÷ ý ü÷ÿ*÷u
ü ,+ûý 'õ %ý ýù .*û û!öü÷ !÷ ýùýûõ
&÷ýùûü û ýõÁù õ %Oý V õøB÷õÿ*÷ø )hûý1ùüüõ ,#
ûý÷ *øùýû ü÷ *ù
þ õ &÷ ù &O%ööõøýû ùööüû ùýûõ 7ö*÷ û û õöýû û mùýûõ %ùý{ý '÷Xõ8ú $÷ ý[ü÷ÿ*÷Oü :I'÷0øB÷ $ý%
õ Hý 'û öùö÷Xø &÷ @øûú÷ ? #"?2ù &Cûý L%&÷øüþ8û ù*÷ ýxù_ø 'ûý÷ ý %øw÷ _>öùøBýû %üùø )(÷ ýûõ E ù ùüþ $÷ x !#"?Zù *÷ ý
ùø 'ûý÷ ý %ø;
÷ O'õ ,û nûý Eúù $û ;õ ÷öý Zù &nûý ^!ùû n÷ *÷%ýûõ üõõ0ö Gc÷ ýûõ *4öø÷ 7÷ ý Z<ý '÷Výõõü Zý '(
÷ &÷ÿ÷üõö÷`
ø ù n÷ öüõûý!ýõ
ú%ûü &>ù *÷ ý Uöùøýû %üùø ){ûýxû ýøõ &%÷ _ý '#÷ o V Cõýùýû!õ Uý 'ù3ý ,+÷
%7÷Uý^
õ !õ &÷üAù *÷ ý +ùý,ý '÷ù *÷ ýAü÷ÿ*÷üAù &C<ý '*
÷ &÷ÿ*÷üõö !÷ ýAýõõü öøõÿû &÷ &JùýL<ý '÷6õ*8ú $÷ ý ü÷ÿ*÷ü `cû ùüüþ )>(÷ ýûõ F &û @%@(÷ oý '÷
öø÷ (÷ ý÷ &!ýõõü _ù &!ûý %&÷øBüþ8û !û &÷ù !##|!Ns_T!X ¡sX¢!£-
!£¤<aa !¤@`@¡0¡¥*-`¤
£r¦#¡X<O!r§§M 9r¡O#§_£@¨
©_\¡Z@ ª¦?¥c«\\§$!£¤
aa@¡I¡¥*N`¤£¨­¬L¡@£®
!£¤9!*-£@¡¥¡ ¡@`<q
O¡£¯*¢!£ £a_¥¥*s¡¯0?¡ s§_¥°
£<§_+N!£­¨±T!®w¦?#£!#<#£=§O£#¦
N¥!==O¥* X§I²
©~#³X´9X-¢!£
+ £!
¡µ¡O¶µ£¤_¶!v ¡w¨~·I_§®
¡¥*s9¤£s@¡!@x¥5£<s-¡£s!£¤
T < <¡® ¡b`¦#££¤¸!¦#9§_§ ^£¥*§
x * Yq!I¨
e¡¥§q!£¤<^ ¡L-!££5<^
£¡Qyn_!¦§a(¥*_;¥*§N¥\ ~
§M¡;^¹ º»!¼¨½#!£@@®+@¡ ( < ¡Nsq¥q
¢!£
²©_~@ §_ b5§M_?=5Y!#
O¥* Q§9²
©u³X´e¾ea¸!~²©_¿!_ _ À £
À ¡¨·0Á@Â!
¡=q?` ¡=O-`LX¡£
£<@O t£! ¤@\ ¡_H\~!Z
O¥* §²
©°³X´A²©W `_ 9! £<­¨
©_ª ¡£®Q¦#p¢!£A£¤<KKO@¥5££
¥cr§q =r - r £¨w£_
¡£<x^@ ¡£¡<¥¡O£®I¡¯¡s<5¢! ¡§b
£a~!a( <!A ¡@Aa@¥*£| n¾
¥*T¥Oc!¨3·I*££¦?*a£L!<9s!
_ !£a^¸!¦e @®0O¨ Y¨ ®¡s5¢! ¡s§
£­¨©§0¡5?¢! ¡*§?£55 5I £
§M£O®-$U¦£U£|>$|U!`T
_ c#¦°r@c§_^5!£­¨Y·I¦?r@ N<!L!
§M¥Ãe ¡wÄr¦?Z ¢!£Q¡¥tK¤
<£*¦#¥<§§_ ¡@!Y5£
->OTT¦ZT¡£Ta £XT¥*5§#@£<
¥¥5¡ ­¨
·Is_O>!q_ ¡s£5Ta@@£r§
@ >>q;¥**§#a¥*£X@® ac+§?O@£
<qN=O§¯@¡-²©_R =_ - £<­¨
·0#¥*£
O<L+ ¥*@5§I?@3§£§Mc®wO3§0Oc
!£N;scX§L@X!£¨
O<Oq!£-_!Oq
*§a!® ¨ Y¨ ®¯`!£b ¥*¥9T !
533¦#££35 !¡£3Y ¥* *£!qY=_
_ U5<L;T¡ £w¨I·0O?!£aT!£
;v!> @¡ ||<¥*v@yp !e
c@3!£¨8ÅX@ ££®w#@¡¤!£b¡£*L#£
Tn 9_@@#!£O¨ÅX£§Mc®XO<#!£`!
c@w£b@b!§O<bO L¥*£Y@
§¾!O¨9Æ3¡ [cH [ [t§££¦#
£¥<­Ä
¤
ÇÈÉÊ`ËÌÍÎÏÐËÎqÐÑÏÐxÏÒOÒcËÓÔÏÐ<ÍÒLÏÕÏÖ!ÍÕÐxÐËÏÕsÏÓÐÔËÕsÐÑÏÐ
ÔÐYÌÍÎ×MËÎ_Ø5ÍÙ0Ú
ÏÖÍÕÐYÔÙÍÕÐÔ ×ÔÍÎÒOÜÍÝ!ÌÞËÔÐÔÕÖ=ß
àáâUÏÖ!ÍÕÐwÔÙÍÕÐÔ×MÔ<ÍÎqã äåÚ
Û
Êæçè@éIÏÕÙIêÈëcìíí¯ËÌÍÎÏÐËÎÒÙÍ×MÔÕÍÙ`ËîÍÎ Ð<ÑÍLïÍÞ<ÔÍ×ÒXËׯÐÑÍ
Û
ÏÖÍÕÐ@Ú
î!ÏÎ_Ô<ÏïÞÍÒcÜÐÑÏÐ3ÓÏÕ5ïÍ#×_ÎÍÍ#ÔÕ5ÖËÏÞÒ+ÏÕÙ*Ø*ðÒOÐ3ïÍïËðÕÙÔÕ
Û
ïÍÞÔÍ×_Ò!Ú
ÞËÖÔÓqÓËÕÕÍÓÐÔîÍÒÚ
Û
ÍÕÐÔÐÔÍÒ ÏÕÙÌÎÍÙÔÓÏÐÍÒbÙÍ×_ÔÕÍÙÔÕ*ÐÑÍËÕÐËÞËÖ!ñò
Û
ó ðÓÑyÍÞÍØ*ÍÕÐÒTÓËÕÒOÐÎÏÔÕÐ-ÐÑÍQÞËÖ!ÔÓQ×ÎÏØ*ÍôËÎõyÌÎËî!ÔÙÍÙRÐËyÐÑÍ
ÏÌÌÞÔÓÏÐÔËÕ|ÙÍî!ÍÞËÌÍÎ8ò+ö0ÑÔÒTØÏñ~ÞÔØ*ÔÐ-ÐÑÍnÒ@ñÒ@ÐÍØ5ÒrÐ<ÑÏÐ5ÓÏÕyïÍ
ÔØ*ÌÞÍØ*ÍÕÐÍÙaðÒ@ÔÕÖ`áw÷xø!âùLú¯Ü3ïðÐô?ÍLïÍÞÔÍî!ÍÐÑÏÐÒcðÓÑ-ÞÔ<ØÔÐÏÐÔËÕÒ
ØÏñ9ÕËÐbÏ×_×_ÍÓÐXÐÑÍaØÏû@ËÎÔÐñrË×#ÏÌÌÞÔÓÏÐÔËÕÒ­òYüTËÎÍËî!ÍÎÜxá ÷ ø âùLú
ÌÎËî!Ô<ÙÍÒÓðÒOÐËØÔýÏÐÔËÕAÌËÔÕÐÒ^ÔÕAÐ<ÑÍ>Ö!ÍÕÍÎÏÐÍÙ~ÓËÙ!Í>ôÑÍÎÍTÐÑÍ
ÙÍîÍÞËÌÍÎ5ÓÏÕQÍÝ!ÌÞÔÓÔÐÞñ(ÌÎËî!ÔÙÍ9ÒOðÌÌËÎÐ#×_ËÎ*ØËÎÍÒ@ËÌÑÔÒ@ÐÔÓÏÐÍÙ
þÿ
Tÿþ
<ÿþ<þþ^ÿ !
þÿþÿ@ÿ
#"ÿ$ÿ%&'
($!ÿ)
ÿ*
+ ÿ,
$ÿ
$ÿ,@ÿ-.-&/
!ÿÿþ0ÿþ
þ12þ3qþ_ÿ
4þÿ5* + $+ÿ.
ÿ#1ÿ#þÿ
0ÿ6þ@ÿ&7
ÿ-þÿþÿ6&78|þÿ9 9"<ÿ:þ
þ&
41;< &2þ1þ
=þ>ÿ?þþÿ
!ÿA@ 4"ÿ<ÿ&8
5* + B-ÿ ÿ.CÿD
(ÿ
ÿD
þE&ÿ&4F)4G&ÿ9þ4Hÿ?þÿCI
!ÿC=!=ÿ
!5ÿ.J* + K&ÿþ.ML
ÿ0
!ÿ4!5$
O|þÿP"ÿ
N
þÿQÿ.ÿ&''ÿþ!þJR
ÿ
ÿÿþ#ÿþ2þ1S.2
!ÿS!5
N
5þÿ1þ5*
T þ!8ÿU&ÿV&-8W<XGY N Z!ÿDþÿþÿC$
&[þ\þÿ]þÿþ$^ÿ&[[ÿþ\_>`.a.bcdedfd$g h
i3j aklmndgdlmo&p i lc9gqklmndgd$lm;* T 2&)þÿÿ þ_ÿ.Oÿ&
)þ9G
4ÿÿÿ*ÿGFÿ=Fÿ&pþK
)&
ÿþ_ÿþÿÿ!p.UU_þÿÿ=E þ$"ÿM*rsþCÿ=@ÿ=K.
ÿt_ÿ"$!þÿ.& =ÿKFGI9u"ÿtþÿ)þ3I
:"ÿv_ÿ9"ÿw* + PFt-
!ÿP&ÿ&
xF)ÿÿþyÿ!/
ÿþþz{.Pþ')"t?&ÿpt= cÿyÿ
!ÿp
ÿþþ].4$/Jÿ!O&/2ÿ&//&/* + ÿ{ N
&$xJ:$xcÿþ-F)pBÿþ!þÿ0ÿþUÿ
ÿ!ÿ2(3H*MrsþKÿ@ÿ;#þ$Iÿ?_ÿ"!
þÿ&DG
!ÿÿþ^p(ÿ'Mÿ9"$!=þÿ&2þ
M*%Y,þ$$þtÿ8ÿ"$!{þÿ&,48þ
ÿ1Ft||"ÿþÿ?þ;2
!ÿS2ÿ#SþA* + ÿ
&ÿ.Vp( N &GþCþ.#þÿQþÿ)
2|
rsY}S~
!ÿÿþÿþþ .:þÿþÿþ^ÿ&"!ÿ
ÿ89ÿ0&/ÿ{V$þÿ{ÿw* T *ÿÿ8ÿ8þÿ
!þ.!aþÿÿ.ÿ&DJÿ'&
!þ')@ÿ&JDrIY}S~/ÿ.
"u(K$!t)&þFG
E!ÿ&'u&ÿKwÿ$uÿ
þs-ÿ&=$''þÿGFG'&V_ÿþÿIÿM*Y'ÿ
&4$þÿ#$ÿ#þ_ÿ.þÿOÿ|ÿ1þ;þ_ÿ#3$ÿ?þS_þ
ÿ3%E ÿF/Kÿ$þ* rsþbÿ<ÿSÿrIY}S~þ.
ÿ.)þ$%
<oE þGÿJþ N ÿ)þ% <
.E!ÿ1F)'*ÿML
ÿ.ÿþ:ÿþþ>þÿ_.
ÿþ:O
N
ÿþVþÿ&ÿdþÿQÿÿ&O&ÿþ_ÿþÿÿ
þYÿ&('ÿ)ÿ(<ÿwR
þoþþUÿþþ$ÿ{þDÿ{Dÿ
N
.&9"ÿ*þÿ|&Uÿ'þ¯ÿ&?Dÿ'þÿ
9ÿu*
ÿ
^
U(rsY}S~x
!ÿÿþ=ÿþ$Dþ?E!ÿ=FG!5
ÿUÿ9=ÿU&ÿp$þÿp$ÿDF)&ÿV
yÿp N
&$Bÿþþ$yv:þ9y
ÿþ.!þÿJþ#ÿpþGGÿJþ<FtÿÿDþ
ÿ#Uÿÿtÿu* YDÿ'cÿ'CÿrsY}S~xþ;ÿ
þ%.
!ÿ<&ÿ&ÿ'.ÿ2=þ(1KFG
"ÿ/ÿþVþÿ&"!65ÿ/ÿþP
!ÿ* + ÿþÿþ_ÿJÿ
_ÿ"$!_þÿ&ÿ6{ÿ.þO"ÿ$ÿE!ÿ:
ÿFtÿþÿ'Jÿ$ N !ÿ|!5ÿ6|p&p4
!ÿ|"ÿ
Pÿþþ
H* + ÿx N &$ÿ,
yÿ4þCÿ49ÿ.ÿ4
þÿÿ#%ÿ2
ÿ?þ.þ1ÿþþ*ÿ&4ÿ#H* + ÿ?&ÿ9þ$"ÿ&&$<&
`ÿ þÿ98ÿÿ.!ÿ0*ÿ
ODÿ0rSY}s~þÿ
þ*urIþ?ÿ 'ÿ%ÿp N &y&ÿ.#(ÿ4(ÿ
oF).?ÿþþ*ÿ&U&ÿþ)ÿ2"ÿKE "ÿ2&þ1ÿ
'
!ÿþ*M;ÿ#&p 3þ& ÿ#p#ÿEÿ3%&ÿ$S4þ('&ÿ
GÿDrsY}S~þKÿ.("ÿ@ÿ2)Ftrþÿ.MLSK$
C@ÿ
ÿO
!ÿD9ÿ&
>:=6ÿO:
:&:pFt&
boolean planer(goal, knowledgebase, plan)
if knowledgebase asserts goal then
return true
if goal contains only Me then
space = my actions
else
space = my interaction protocols
end if
forall action in space whose postcondition unifies goal
queue action to plan
assert goal in knowledgebase
success = planer(action precondition,
knowledgebase, plan)
if success then
/* stop at first plan */
return true
else
remove action from plan
deny goal in knowledgebase
end if
end forall
/* if here no action can be found */
return false
end plan
; ¡I¢£G¤¥¦H§£¡I¨I© ª«© ¨I£?© ¬H­®I£)¯I°± ²u²I²I =£²I $²I£)¯I¢© ³¨I£¨2´­®
­®I£)«¡I¢¢£²I­3µ¯I°$£µ4£²I­± ­© ²2© ¬3¦s¶I·;¸?¹Gº<¥
þ_ÿQþÿ'þÿ9$<ÿ&0
y'&ÿG"ÿo'&ÿþ"
&Z!ÿ"ÿþÿw*8;E!ÿ:=@ÿÿ
þ_ÿ9"ÿ3ÿ9ÿ!=_þ:$ÿ?$s;E ÿFO¯ÿVÿ.!5IS!
ÿ.&8FG8þ4E!ÿsÿ$!Uÿp*ÿp N &3*urSþ
ÿ 'ÿtÿ8rsY}s~þÿQÿ.?þ#&0ÿ8rIY}S~<þ#ÿ
þ(þÿ2ÿþ
!ÿ"ÿpþ)ÿ4
^ÿ
ÿu* + ÿ
þ_ÿ9/FG!OF#ÿ0$Fz$ÿ{&ÿE!ÿÿþDþþ$^
ÿPþ$M*
þÿE!ÿþwÿ)þþÿw=ÿ5ÿ=S}(5~tXGyþE&ÿ.%Z -ÿJ
(ÿ
ÿJ$1-"ÿU@ÿ&B$BþE &ÿU N
ÿ$V]&ÿÿ&ÿ.&[[&þ'ÿ"ÿF#ÿÿÿQE ÿ
þM*
+ ÿE $"$!7_ÿ"$!þÿ&z& 9 N
&Vþtÿp<
!ÿC.ÿþþ7&yVþGÿ
!ÿÿþoÿþ.$Pþ.2G'!8Oÿy-=$ÿo$F)
&ÿ
pÿ
`ÿ
ÿw* ;ÿ'Oÿ=þ$)12ÿÿ
&Fÿ/@ÿ/ÿþ- N &,&ÿ&ÿ/F)ÿF?ÿ/&
ÿ$!Pþ$þþ*HQÿ!PtBþ#U
ÿ'ÿ-"ÿ@ÿ-''"ÿB9ÿ&,þE &
0 N
void main(knowledgebase)
forever
wait for goals or
for an action to perform
if goals are available then
goal
= choose a goal in goals
success = planner(goal,
knowledgebase, plan)
if success then
schedule the first action of
the plan
end if
else
nextaction = perform action
if nextaction exist then
schedule nextaction
else
if action failed the plan then
drop the plan
if the goal is unreachable then
drop the goal
end if
else
assert the goal
end if
end if
end if
end forever
end main
ú;û
üýIþÿIÿ
û
üÿ!"
»¼½¾¿À¿¾¾ÁÂýÂÃtĽ»»9Åƽ»MÇ;È3ɽy¼ÊÅ¿ÂÆ-½ÂÆ ¿Â½¿»p¿Â{¾ÉÅËÆ ½yÁÀ
ÌÍ ¿$ÊοÂÆ=Å#»½Ï Í ½Â¾½#ÁÀ;¼ËÁÃÁ¾ÁÊ»<ÅÂΞÿÁ»1¾Å¼Å Ì Ê½?ÁÀH»Åÿ»ÀÐ5¿ÂÆ
Å=¾ÉÁ»½ÂDÆÁÅÊH»ÃÅËÿÂÆ2ÀVËÁÄÃɽ¾ Í Ë˽ÂÃH»Ã$Åý'ÁÀ(ÃɽÑtÁËÊÎpÅÂÎDÃɽ
¾ Í Ë˽ÂÃyĽÂÃÅÊo»Ã$Åý/ÁÀ8Ã$ɽÅÆ ½ÂÃAÇ#ÈHÉ¿»0¿»0žÊÅ»9»¿¾¼ÊÅ¿ÂÆ
¼ËÁ Ì Ê½ÄÅÂÎ6¿ÃpÉÅ.» Ì ½½Â:»Ã Í Î¿$½Î:¿Âý»¿$Ò ½ÊÐ/¿Â>ÃɽʿýËÅÃ Í Ë½uÇ
È3ɽ˽ÀVÁ˽ÓHÑG½4¾ÅÂUž¾½»9»tÃÁUÅ=É Í Æ ½4»½Ã%ÁÀCý¾ÉÂ¿Ï Í ½»?ÃÉÅÃ;¾ÅÂ Ì ½
ÅÎÁ¼Ã½Î8ÃÁ8»ÁÊ$Ò ½DÃÉ¿$»=¼ËÁ Ì Ê½ÄoÇIÔÂ8ÃɽD¾ Í Ë˽ÂÃ<¿Ä¼Ê½.ĽÂÃÅÿ$ÁÂÁÀ
ÕÖ(× ØGÙGÚ Ñt½D¼ËÁÒ ¿Î½DÅÂB¿Ä¼Ê$½Ä'½ÂÃÅÃ$¿ÁÂÁÀtÃɽD»¿Ä'¼Ê½»9ÃKÁÀG» Í ¾É
ý¾É¿$Ï Í ½»Å.ÂÎ\ÅÀ Í Ã Í Ë½ÑtÁËÛ\¿»¿$ÂýÂνÎÃÁ½ÒÅÊ Í ÅýÃɽ
ÅÎÁ¼ÃÅ Ì ¿Ê¿Ã$ÐoÁÀtÄÁ˽J»Á¼É¿»Ã¿¾.ÅýÎ8¼Ê$Å¿ÂÆÅÊÆ ÁË¿ÃÉÄ'»MÇsÜs¿Æ Í Ë½=Ý
»ÉÁÑ)»:žÁÅË»½ÞÆ Ëſ½Î_¼»½ Í ÎÁÞ¾ÁνÁ ÀvÃɽ6¼ÊÅ¿Âƽ.ÂÆ ¿Â½
¾ Í Ë˽ÂÃÊпÄ'¼Ê½Ä'½ÂýÎ=¿Â Õ Ö(× ØGÙ?Ú ÇßÜS¿Ë»ÃÓwÃɽt½ÂÆ ¿Â½tÒ ½Ë¿À¿½»(¿ÀSÃɽ
Æ ÁÅ.Ê|¿$»)¾ Í Ë˽ÂÃÊÐ2Å»»½ËýÎD¿ÂpÃɽ#Û ÂÁÑGʽÎÆ ½ Ì Å»½ÅÂÎ4¿$À;»Á2¿Ã3»Ã$Á¼»
Ãɽ>¼ÊÅ¿ÂƼËÁ¾½»» ÇàGÃɽËÑG¿»9½ÓJ¿ÃÅÂÅÊÐ5»9½»ÃɽxÆÁÅÊyÃÁ»½½
ÑGɽÃɽË)¿ÃK¾ÁÂÃÅ¿$»˽À½Ë½Â¾½.»ÃÁyÁÃɽËGÅÆ ½ÂûÁËtÂÁÃAÇuÔÀ)Ãɽ2Æ ÁÅÊ
ÎÁ½»GÂÁÃ;¾ÁÂÃÅ¿ÂJÅÂÐ2˽.À½Ë½Â¾½'Ã$ÁDÅÂÁÃɽËKÅÆ ½ÂÃÓSÃɽÂDÃɽ'¼ ÊŽË
ÊÁÁÛ»CÀÁË;ÅžÿÁÂ=ÃÁ½á ½¾ Í Ã$½G¿ÂÃɽt»¼Å¾½GÁÀHÃɽtžÿÁ»CÃɽGÅÆ ½ÂÃ
¾ÅÂy¼½ËÀÁËÄUÇuÔÂyÃɽ2¾Å»9½4ÃÉÅÃCÃɽ2Æ ÁÅÊC˽À½Ë»ÃÁyÁÃ$ɽËGÅÆ ½.ÂûÓ%Ãɽ
¼ÊÅ¿ÂÆ2½Âƿ½»½Å˾ɽ»GÀÁËCżËÁÃÁ¾ÁÊ3ÃÉÅÃ3Ä'Åл9Åÿ$»ÀÐ2ÃÉ½Æ ÁÅÊAÇ
â ÉÁÁ»9¿ÂÆ:ÅÂ6žÿÁÂ6ÁËyÅv¼ËÁÃÁ¾ÁÊp»9¿Ä'¼ÊÐ/ĽÅ» Í Â¿ÀÐ5¿ÂÆxÃɽ
¾ Í Ë˽ÂÃ1Æ ÁÅÊ)Ñt¿ÃÉBÃɽJ¼Á»ÃÞ¾.Á οÿÁÂBÁÀ?» Í ¾ÉBžÿÁÂ-Á˼ËÁÃÁ¾.ÁÊAÇ
È3ɽ>¼ËÁ Ì Ê½ÄãÁÀ0¿Â»ÃÅÂÿÅÿ$ÂÆÃ$ɽ¼ËÁÃÁ¾ÁÊB¿»»ÁÊÒ ½Î Ì ÐÃÉ¿»
Í Â¿À¿¾ÅÿÁÂÓÅ»/¿$ÃBÅÊÊÁÑG»/Å»»Á¾¿ÅÿÂÆÅ6Ò ÅÊ Í ½6Ñ)¿ÃÉ7Ãɽ6¿Â¿Ã¿ÅÊ
¼ËÁ¼Á»¿Ã¿ÁÂ_ÁÀvÃɽ¼ËÁÃÁ¾ÁÊÇpÈHɽ˽Ä'ſ¿ÂƼËÁ ¼Á»9¿Ã¿Á»xÅ˽
¿Â»ÃÅÂÿÅý.Î'Î Í Ë¿ÂÆÃɽ)½á ½.¾ Í Ã¿ÁÂ=ÁÀ3Ãɽ)¼ËÁÃÁ¾ÁÊ Ì ½¾Å Í »½)Ãɽ)ÅÆ ½ÂÃ
Ì ½ÉÅÒ ½»UË½Å¾Ã¿Ò ½Ê$Ð0¿ÂvÃɽ»½-»¿$Ã Í ÅÃ$¿Á»5Ç(È3ɽ8ÅÊÆÁË¿ÃÉÄä»ÉÁÑGÂ,¿Â
ÀV¿Æ Í Ë½Ý2˽¾ Í Ë»¿Ò ½Ê$Ð ÌÍ ¿Êλ=¼Ê$Å» Í ÂÿÊ1ÅDÀ¿Ë»Ã<¼ÊÅÂʽ.ÅοÂÆyÃÁÃɽ
Æ ÁÅÊ1¿»=ÀÁ Í ÂÎ3ÇsÈHÉ¿»ÅÊÆ ÁË¿Ã$ÉÄ Í »½»ÃɽJ¼Ë¿Á˿ÿ½.»=Å»»9Á¾¿ÅÃ$½ÎÑG¿ÃÉ
¼ËÁÃÁ¾ÁÊ»pÃÁ{»ÁËÃGÃɽo»½ÃtÁÀ#¼ËÁÃÁ¾ÁÊ» Í Â¿ÀÐ5¿ÂÆBÃɽU¾ Í Ë˽ÂÃ)Æ ÁÅÊAÇ
È3ËÅ»¿½ÂÃÆ ÁÅÊ»Å˽ÂÁÃv½á ¼Ê$¿¾¿Ã Ì ½¾Å Í »½7ÃɽÐÅ.˽7ÃɽÀV¿Ë»Ã
¼ÅËÅÄ'½Ã½.Ë%ÁÀ;Ãɽ
plan ĽÃÉÁÎ4ÅÂÎ4Ãɽ˽.ÀVÁ˽#ÃɽÐ=Å˽?¾Ë½ÅÃ$½Î4Å Î
ν»ÃËÁÐ5½Î'Î Í Ë¿ÂÆÃɽ)¼ÊÅ¿ÂÆ?¼ËÁ¾½»»MÇ
Ú Ò ½Â-¿À#Ãɽo¼Ë½»½ÂÃ$½ÎB¼ÊÅ¿ÂÆý¾ÉÂ¿Ï Í ½U¿»Ò ½ËÐo»¿Ä¼Ê½ÓC¿Ã
ÄÅÐ[ÀV¿ÃÄ'ÅÂÐåż¼Ê¿¾ÅÿÁÂ[»¾½ÂÅË¿Á»Ó½»¼½¾.¿ÅÊ$ÊÐå¾Á¾.½Ë¿ÂÆ
¿ÂÀÁËÄÅ.ÿÁÂBÅÆ ½Âû ÇuÔÂÀVžÃÓKÄÅÂÐo¿ÂÀVÁËÄ=ÅÿÁÂÅÆ ½Âû'»9¿Ä¼ÊÐ Í »½
Ñ)½ÊÊÞÛÂÁÑGÂ>¼ËÁÃÁ¾ÁÊ»{ÃÁ6½á ÃËžÃp¿ÂÀVÁËÄÅÿÁÂ:ÀËÁÄ¿ÂÀÁËÄ=ÅÿÁÂ
»Á Í Ë¾½.»MÇIÈ|ɽ˽ÀÁ˽2Ãɽ.ÐJÎÁUÂÁÃK½½ÎUÃ$Á ÌÍ ¿ÊÎo¾ÁÄ'¼Ê½áU¼ÊÅÂ»Ó ÌÍ Ã
Ãɽн½Î4ÃÁ»9½Å˾É2Ï Í ¿¾Û ÊÐ=¿ÂÃɽ¿Ë;Ê¿ Ì ËÅËÐ'ÁÀ3¼ÊÅ»MÇæ?½Ò ½ËÃ$ɽʽ.»»Ó
Ãɽ¾ Í Ë˽ÂÿÄ'¼Ê½Ä'½ÂÃÅÿÁÂÁÀ Õ Ö(× ØGÙtÚ
ÅÊÊÁÑt»6¼ËÁÒ ¿Î¿ÂÆÅ
οÀÀV½Ë½ÂÃ|¼ÊÅ¿ÂÆp½ÂÆ ¿Â½'»¿Ä=¼ÊÐ2Ñ)Ëż¼¿ÂÆ4¿$Ã3ÑG¿ÃÉ¿ÂpÅ» ÍÌ ¾ÊÅ»9»)ÁÀ
Ãɽ)çÅÒ ÅG¾ÊÅ.»»
PlanningEngine Ç
ÈHɽ:¼ËÁ¼Á»½ÎÅƽÂÃÅ˾ɿý¾Ã Í Ë½:¿»O»¼Ê¿Ã¿ÂÃÑGÁ¼Å.ËÅÊʽÊ
ÃÉ˽Åλ5Ç Øètéêë{ìíîïéð Ë Í Â»pÃɽÄÅ¿Â{ÊÁÁ¼PÁÀ'ÃɽyÅ.˾ɿÃ$½¾Ã Í Ë½Ó
Ñ)ɿʽ_Å_»½¾ÁÂÎ\ÃÉ˽ÅÎÓ,¾ÅÊʽΠè?ïññ9éòêëòìíîïéð Ó0ÑGſûÀÁË
Ľ»9»ÅÆ ½»<ÁÂ=ÃɽGÅƽÂÃó »<ÄÅ¿$Ê Ì ÁáÅÂÎ=¾ÉÅÂÆ ½»CÃɽGÛ ÂÁÑGʽÎÆ ½ Ì Å»½
ÃÅÛ ¿ÂÆ=¿ÂÃÁ2ž¾Á Í ÂÃSÃɽt»½Ä'ÅÂÿ¾»KÁÀHÜsÔ ÕSØvØ âKô ÇÈHɽ»½?ÃÉ˽Åλ<Î Á
ÂÁÃp¿$ÂýËÅ.¾Ã2ο$˽¾ÃÊÐ Ì ½¾Å Í »9½,Ãɽv¿ÂÀÁËÄ'ÅÿÁÂx¼ËÁÎ Í ¾½Î Ì ÐÃɽ
Ľ»9»ÅÆ ¿ÂÆ-ÃÉ˽.ÅÎB¿»2»ÃÁ˽ÎB¿ÂBÃɽJÛ ÂÁÑGʽÎÆ ½ Ì Å»½DÅ.ÂÎ8ÃɽDÄ'Å¿Â
ÃÉ˽ÅÎpÁ Ì »½.ËÒ ½»tÁÂÊÐ4Ãɽ¾ÉÅ. ƽ»)ÁÀKÃɽ'ÛÂÁÑGʽÎÆ ½ Ì Å.»½uÇ5õPɽÂ4Å
Ľ»9»ÅÆ ½=¿$»tÃÅÛ ½ÂUÀËÁÄÃɽ=ÅÆ ½ÂÃAó »GÄ'Å¿Ê Ì Áá Ó3Ãɽ=Ľ»»9ÅÆ ¿ÂÆpÃÉ˽ÅÎ
Å»»½.ËûoÃÉÅÃ'ÃɽB»½ÂνË2ÁÀÃɽBĽ.»»ÅƽB¿ÂýÂνÎ,Ã$Á,žɿ½Ò ½8Ãɽ
ËÅÿÁÂÅÊ#½ÀÀ½¾ÃtÁÀ=Ãɽ¾.ÁÄÄ Í Â¿¾ÅÃ¿Ò ½Å¾Ã?ÅÂÎ0¿Ã?ÅÊ»Á0Å»»9½ËûpÃɽ
ÀV½Å»9¿ Ì ¿Ê¿Ã$ÐB¼Ë½¾ÁÂοÿÁÂ{ÁÀÃÉ¿»DžÃAÇHö Í ¾É{Å»»½ËÿÁ»4˽ÊÐ8ÁÂPÃÑ)Á
Å»» Í Ä'¼Ã¿Á»5÷|ÃɽpÀ½Å»¿ Ì ¿Ê¿ÃÐy¼Ë½¾ÁÂοÿÁ ÂBÎÁ½»ÂÁÃKÃÅ.Û ½2ÿĽp¿ÂÃÁ
ž¾Á Í ÂÃ=ÅÂÎOÅÆ ½ÂûÅ˽PËÅÿÁÂÅÊÓ?¿AÇ ½uÇ Ó#ÃɽÐ0ÑGÅÂÃ'ÃÁžɿ½Ò½BÃɽ
ËÅÿÁÂÅÊC½ÀÀ½¾ÃCÁÀ1Ã$ɽ2¾ÁÄ=Ä Í Â¿$¾Åÿ$Ò ½2žÃ$»ÃɽÐJ¼½ËÀVÁËÄUÇÈ3ɽ2ÀV¿Ë»Ã
Å»» Í Ä'¼Ã¿ÁÂ{¿»D¾Áɽ˽ÂÃtÑG¿ÃÉ{ÃɽyÊÁÆ ¿¾UÀËÅÄ=½Ñ)ÁËÛBÃÉÅÃ Õ Ö(× Ø)Ù?Ú
¼ËÁÒ ¿$ν»ÃÁ7ż¼Ê¿¾ÅÿÁ»ÓyÑtɿʽ6Ãɽ6»½¾ÁÂÎ7¿»Å:À Í ÂÎÅĽÂÃÅÊ
Å»» Í Ä'¼Ã¿ÁÂÁÀ|ÜsÔ ÕSØ ¾ÁÄ'¼Ê¿Å¾ÐSÇ
Üs¿Æ Í Ë½GøU»9ÉÁÑ)»Ãɽ4Ä'Å¿$ÂUÊÁÁ¼oÁÀ Õ Ö(× ØtÙGÚ ÅÆ ½ÂûMÇwÜS¿Ë»9ÃÓHÃɽ
ÅÆ ½ÂÃ#Ñ)Å¿$ûJÀÁË=½Ñ_Æ ÁÅÊ»DÁË'ÀÁË'½ÑžÿÁ»pÃÁ{¼½ËÀÁËÄoÇ3æt½Ñ
Æ ÁÅÊ»oÅÂνÑzžÿÁ»oÄÅ.Ð0˽» Í ÊÃÀËÁÄ\ÃɽB½á½¾ Í Ã¿ÁÂÁÀ4ÁÃɽË
žÃ$¿Á»UÁË2ÀËÁÄ\Ãɽ8Å.ËË¿$Ò ÅÊ#ÁÀĽ»9»ÅÆ ½»MÇ Ø Ä½»»ÅÆ ½ÑG¿ÃÉ¿Â0Ãɽ
»¾Á¼½OÁÀyÅO¼ËÁÃÁ¾ÁÊJ»Ã¿Ä Í ÊÅý»{Ãɽ½á ½¾ Í Ã¿ÁÂ>ÁÀoÅÂ>žÿÁÂ>ÃÁ
¾ÁÂÃ¿Â Í ½Ãɽ¼ËÁÃÁ¾ÁÊÓ8ÑtɿʽĽ»»9Åƽ»xÁ Í Ã»¿Î½Ãɽ»¾Á¼½ÁÀ
¼ËÁÃÁ¾ÁÊ»1¾Å Í »½#¾ÉÅÂÆ ½»1¿Â4Ãɽ?Û ÂÁÑ)ʽÎÆ ½ Ì Å»9½tÅÂÎ4ÄÅÐ=»Ã¿Ä Í ÊÅý
Æ ÁÅÊ»5ÇDÜsÔ ÕSØ
ÎÁ½»>ÂÁÃ{¾Á»ÃËÅ¿$Âû:Ã$ɽ Ì ½ÉÅ.Ò ¿ÁËOÁÀÅÂÅÆ ½ÂÃ
˽¾½.¿Ò ¿ÂÆpÅÄ=½»»ÅÆ ½Á Í Ã»9¿Î½Ãɽ#»9¾Á¼½#ÁÀ%żËÁÃÁ¾ÁÊ3ÅÂÎpÃɽ˽ÀVÁ˽
Ãɽ#ż¼Ê¿¾ÅÿÁÂÎ½Ò ½.ÊÁ¼½Ë%¾Å¾.ÉÁÁ»½GÑtÉÅÃSÃÁÎÁ=ÑG¿Ã$ÉÁ Í Ã Ì Ë½ÅÛ ¿ÂÆ
¿ÂýËÞÁ¼½.ËÅ Ì ¿Ê¿Ã$ÐSÇ;ÈHÉ¿»U¾¿Ë¾ Í Ä»9Þ½8¿»D¾Áɽ˽ÂÃtÑt¿ÃÉ0Å Í ÃÁ ÂÁÄ'Ð5Ó
ÌÍ Ã(¿Ã%ʽÅλ?ÃÁJ¿ÂÃ$½Ë½»Ã¿ÂÆDÎËÅÑ Ì Å¾Û »GÅ.»Gο»¾ Í »»½ÎJ¿ÂU»½¾Ã¿ÁÂù3ÇÔÂ
Ãɽ¾ Í Ë˽ÂÃ-¿Ä¼Ê½Ä½ÂÃÅÿÁÂÓ Õ Ö(× ØGÙ?Ú Ë½Å.¾Ã»xÃ$Á7Ã$É¿»xÛ ¿ÂÎ_ÁÀ
Ľ»9»ÅÆ ½»t¼ Í ÃÿÂÆ2Ãɽ#ËÅÿÁÂÅÊH½ÀÀ½¾.ÃSÁÀ(Ãɽ#¿Â¾ÁÄ¿$ÂÆ4Ľ»»ÅÆ ½Å»1Å
½ÑÆ ÁÅÊAÇsÈHÉ¿»4¿»4ÅD¾ÁÁ¼½ËÅÃ¿Ò ½ Ì ½ÉÅÒ ¿ÁËtÃÉÅÃCÃɽpÎ½Ò ½ÊÁ¼½Ët¾Å.Â
¾ÉÅÂÆ ½o»9¿Ä¼ÊÐB½á ýÂοÂÆBÃɽUçÅÒÅo¾ÊÅ»9»4¿Ä'¼Ê½Ä'½ÂÿÂÆ8Ã$ɽJÅÆ ½ÂÃ
ýÄ'¼ÊÅýuÇ
#$%'&($&*),+-.*/01-2$&')3.'%465-$087&%'-91&:.;.'5/<.'7/&=46>&:98.5$
/6--?@4&'0A40B56CD$&')E+-.*/0.2!&F.';.'5/6.7/&HGIJCK4<>50L5<0L46>&M%'.0"&=N4>&
?/6.$$5$+(&'$+5$&8505$;-O&'PQ.$P(?-0R0R57/6S:.1$&*)T?/6.'$(5<0+&$&'2J.'4<&'PUG
I!CV.W$&')X?/6.'$
%'.$(7&W+&$&'2!.4&'P=Y46>&$:4<>&WCZ5<2[0R4U.'%*45-$(-C\4>&]?/6.$N560
0R%>&P^/&PUGUIJ$_4>&D%'.0R&D4>.*4`$-$&)a+-.'/60:.'2!&b.';.56/.'7/6&'=46>&$L.$
.%456-$N502J&*.'PS146-c7&&d&'%'^4&'PeGgfe>&91.'56$c/6--?8?&2!CZ-2[9c0\46>50h.%'465-$
.$P82J&'%*&'5;&0h4>&i$&d4.'%465-$N-CY4<>&`?/6.'$85<$82!&'4^2!$UGjI!CU0R^%'>c.$1.%'465-$
&d50R460R=\4>&'$k564l5080A%'>&'P^/&'P=\-4<>&'2J)50"&Q4>&
?/6.$D5<01CZ56$50A>&'Pm5$k4>&
0R^%'%&'0R0-2CZ.56/^2J&]0"4<.'4&HGI!CU46>&?/6.$c&'$P&*Pc5$:4>&]0"^%'%&'0A0h0R46.4&=H4>&$
46>&n%'-2J2J&*0"?-$P5$+o+-.'/_%'.$o7&a.'0R0"&2!4&'P=-46>&'2J)i50A&p46>&q+-.'/
2!&'91.*5$0l?&$P5$+c.$Pc4<>&`.'+&'$49c.'SWP&*%'5P&i4-c.%'>5&';&54/6.'4&2'GgfU>560
560b4<>&L-$/S_?-56$4W)>&'2J&r.*+&'$40K2!&%'-$0"5<P&'2:46>&'52:56$4&$465-$0]s tuvG
fU>&wP&%'560R5-$x-$y)>&'4>&2z.{+-.'/F5<0p^$2J&.'%'>.'7/6&|-2}$-4F560
%-91?/&*4&'/6SW.'??/65%.'465-$~!0R?&'%5CJ5%`.'$P146>&2[&CJ-2J&`4>&i91.'56$1/6--?1%.'/6/0h.
.;.X91&'46>-P34>.4K46>&XP&';&/6-?&'2k%.'$,2[&~!598?/&98&'$4Q46-46&'0R4K4>&
.%>5&';.'75</564S1-C+-.*/0G'I!CY46>&`P&;&*/-?&2e$&'&P0h4-8?&2[CJ-2[9X2J&'.0A-$5$+
-$L4>&(O$-)i/&*P+&(7.'0R&Q4-kP&%'56P&(-$k46>&(.'%'>56&';.'75</546Sb-Ci.(+-.'/6=
46>&$B0R>&k%.'$_^0R&m46>&D+&$&'2!5%D2!&'.0"-$56$+L&'$+5$&mP&'0R%'2J567&P5$_4>&
C[-//6-)i56$+W0R&%456-$eG
\
ii 0R^??-2J4014>&:P&;&'/-?&'2.4V4)i-b/6&';&/0W-Cl.'70"42!.%'456-$U4>&
.+&$4e/6&;&'/.$PQ46>&8-7g"&'%4/&';&/"GfU>&N.'+&$4e/&';&/U%-$0R5P&2!0`.'+&$460
.0.'4-985%&$465465&046>.'4%-9198^$56%'.46&4-5691?/&91&$44>&
C[^$%456-$.'/564Sm-C]4>&b0"S0R46&9QGYfe>50:50N4>&(2!&'.0"-$k)i>SDP&0"%*2J5756$+m.
0RS0R4&*9q.'4h46>&:.'+&$4h/&';&*/V98&'.$0191-P&'/<5$+K4<>&:.'2!%'>546&'%4^2!&:-C4>&
98^/465~!.+&'$4\0RS0"4&*9q.$Pm4>&
&'/&98&'$401.'+&$401^0R&:4-K%'-9891^$56%'.46&HG
&WP&'CJ5$&P:5<$Ks tvh.1irr$-4.'4<5-$(4-
98-P&'/U.W98^/465~J.*+&'$4Y0RS0"4&*9
.4m4>5<0F/&';&'/k-C.'70"462J.%'465-$a.'$P \
?2J-;56P&0.}4--/m4+&$&'2J.'4<&1%'-P&8C[-2.'+&$40iC[2!-9,91-P&'/60&98?/-S56$+:0"^%'>(.W$-46.'45<-$UG
44>&-7j&'%*4/6&;&'/&.'%>N.'+&'$4Y500R&'&*$c.0l.'$c-7j"&%'4~!-2[5&*$4&Pc0RS0"4<&'9
.$P \
`] ?2[-;56P&'0W.'$D-7j&%'46~J-2[5<&'$4&PbP&';&/-?98&'$4V/5672J.2[SK45691?/6&91&$4.*+&$40\.44>560V/<&';&'/RG
fU>&WCZ562J0R4Y0R46&'?N56$c4<>&iP&';&/6-?91&'$4Y-Ce. \
i 0RS0"4<&'9z%-$0R50A40l5$
98-P&'/56$+146>&`&*0R0"&$465./%'>.2!.'%'4&2!50"4<5%'0-CY0R^%>8.0AS0"4&9X.'446>&.*+&$4
/6&';&/"GL-P&*/5$+r.K91^/6456~J.+&'$40RS0A4&'9w.44>&(.'+&*$4/6&;&'/l2J&'^52!&'0
98-P&'/56$+q4>&.'2J%>54&%4^2J&@-C46>&@91^/6456~J.'+&$4k0AS0R4&'9.$Pq4>&
56$4&2!.'%'45<-$07&4)&'&$:.+&'$460G^%>N&*/&'98&$40%.'$:7&W91-P&'/6&PN^0R5$+
km&*d?/-5465$+N)`>.4)i&]%'.'//R' <¡¢'*¡£R¢i¤ ¥R¦]§l¨©ªW«¬¡6«­«¥g®
¤ 6¥R¦]§¯
°i±J²*³´6µ¶'²*µ·±J¶3ª´<¨'¸±J¨'¹8º}¨±J¶,»]¼k½¾²'¿6¨º"ºXª´6¨'¸±J¨¹8ºX·ºR¶'ª{µÀ
¹8Àª¶'¿µ³¶(±JÀ¿¶º]Á!ÂjÃĵ³¨µh¨'¸¶©µ6º1Å¿6¨'Æb´6©mµ³¶(ºRƺ"µ6¶¹K¯HǨ'²³b±!À¿¶N´6º
±!¶'űJ¶ºR¶©µ¶ªbÈÆ(¨c²'¿<¨'ºRº]µ³¨'µÉi¶c²'¨'¿<¿U¥¢¬¡e*­§R§¯Ê¶N´©µ6±JÀª·²¶cµ³¶
ºRµ¶±!¶'ÀµÆŶi¥¢¬¡µÀ:µ¨'¸Nµ³¶i²¿¨'ºAºR¶'º´©8¨±J²³´µ6¶²'µ6·±[¶iª´6¨¸±J¨'¹8ºµÀc¶¨'ºR¶
µ6³¶Ë´¹8Å¿¶'¹8¶©µ¨µ6´À©ÌÀÍε<ÀÀ¿6ºÏ¹1¨*©¨¸´©¸ÐºR·²'³Ñª´¨'¸±!¨¹1º¯
°iºRºRÀ²´¨µ6´À©ºiȶµÉi¶¶'©(¨'¸¶©µ²¿¨º"ºA¶ºª¶'ºA²±[´È¶1ÅÀº"ºR´6È¿¶1¨º"ºRÀ²´6¨'µ´<À©º
ȶ*µÉi¶'¶©q¨'¸¶'©µºMÅ¿6¨Æ´©¸3ª´6Í[Í[¶'±!¶'©µb±JÀ¿6¶'º¯1Ò·²³3¨*º"ºRÀ²´6¨'µ´6À©ºF¨±J¶
Ȩ*º"´²¨'¿6¿Æn·ºR¶'ª|µ6À{¶'Óű!¶'º"º}¨²'Ô·¨'´<©µ¨'©²'¶*Õk¨'º}´µ´6ºX²'À¹1¹cÀ©{µÀ
ű!À¹1Àµ6¶_ÍZ¿<¶'Ó´È´6¿´µ6ÆF´©X¹8·¿µ6´ÖJ¨¸¶©µNº"ƺAµ¶'¹cºk¨'×À´ª´6©¸Mµ³¶·ºR¶BÀÍ
¨ºRº"À²'´6¨µ´6À©ºVµ6À1ºRű!¶¨'ª1±!¶'ºRÅÀ©ºR´6È´¿6´µ<´¶'º\¨²'±JÀºAºV¨¸¶*©µº¯
°i©:¨¸¶'©µ²'¿¨º"º²¨'©
ȶ]·ºR¶ªNµÀN¨º"ºRÀ²*´¨'µ6¶¨ºR¶'µYÀÍe¨'²µ´6À©ºh¨*©ªN¨
ºR¶µkÀÍB¸¶'©¶'±!´²z´<©µ¶'±J¨*²'µ´6À©pű!ÀµÀ²'À¿6ºFÉ`´<µ³q¨z±JÀ¿6¶¯1°²'µ´6À©ºF¨±J¶
±!¶'űJ¶ºR¶©µ¶ª:¨ºhÅ·È¿6´²¹1¶µ6³ÀªºlÀÍeµ6³¶²'¿6¨º"º¯Ò·²³N¹1¶µ6³Àªº¹8·ºRµÈ¶
ª¶*²'¿¨'±!¶ªkØ« ¤Ùȶ'²¨'·º"¶b©À²À©²'¶'ŵÀͱ[¶*µ·±J©rר¿·¶Q´6ºcª¶'ÍJ´©¶ªrÍJÀ±
¨²µ´6À©º¯¼kÀ±J¶'À׶'±!Õµ³¶8Ũ*±J¨'¹8¶µ¶'±!º`ÀÍ\ºR·²'³K¨'²'µ´<À©º¹c·ºRµÈ¶'¿À©¸
µÀ
²¿¨º"ºA¶'ºMÀͶ'©µ´<µ´6¶'ºMª¶'Í[´6©¶ªq´©qÀ©µÀ¿<À¸Æ3ª´¨¸±!¨'¹1º¯1ÚU³¶}¿<´º"µmÀÍ
¨²µ´6À©ºT¨º"ºRÀ²´6¨'µ¶ªnÉ´µ6³a¨©n¨¸¶'©µL²'¿¨º"ºXªÀ¶*ºM©Àµr´©²¿6·ª¶@µ³¶
Ŷ*±[Í[À±!¹1¨µ6´×¶º@ÀÍMµ6³¶p¨¸¶©µ_²'À¹1¹c·©´²¨'µ6´À©w¿¨'©¸·¨*¸¶3ȶ*²'¨·ºR¶
ÛÜ\Ý °iÞiǨ'¸¶©µ6º
¨±!¶bßà Û °iÖJ²'À¹cÅ¿´¨*©µ`¨©ªBµ6³¶±[¶ÍJÀ±J¶bµ<³¶'ÆL¶'¹8Å¿ÀÆ
ßà Û °Ù°`ál½`¯
âiÈgã"¶'²µäű!ÀµÀ²À¿6ºRÕåµ6³¶ÏÀÈj㶲'µ6ÖJÀ±[´<¶'©µ¶*ªæ²À·©µ6¶±JŨ'±!µäÀÍ
´©µ6¶±[¨²'µ6´À©kű!ÀµÀ²'À¿6º"ÕV¨±J¶(©Àµh´6©²¿·ª¶'ªk´©m»¼k½Fȶ'²¨'·ºR¶:µ³¶*ÆQ¨±[¶
©Àµ²À©º"´ª¶±J¶'ªN¨`ר¿6·¨'È¿¶`²'À©²¶'ŵ´6©1ÀÈjã¶*²'µÀ±J´¶©µ6¨µ´6À©e¯jÚe³´ºh´º\µ³¶
±[¶¨'ºAÀ©DÉ`³ÆKÉ`¶
űJÀÅÀºR¶
µÀb¨*©©Àµ6¨'µ¶:¨'¸¶'©µ\²'¿¨*º"ºR¶'ºWÉ`´6µ³bµ6³¶N¿6´ºRµVÀÍ
º"·ÅÅÀ±Jµ6¶'ª(´6©µ¶'±!¨²'µ´6À©
űJÀµ6À²'À¿º¶'ÓÅ¿À´6µ´<©¸
²'À¹8¹1¶'©µ6º¯ÚU³´º`¨'¿¿<ÀÉ`º
¹1Àª¶¿6´©¸BÀ©¿6ÆLç©ÀÉ©BűJÀµÀ²*À¿º(¨©ªÙµ³¶Dª¶'׶¿6ÀŶ'±8´<º:´<¹1Å¿6´²´6µ¿Æ
±[¶Ô·¶'ºAµ¶'ªèµ6À·ºR¶éÀ©¿Æ긶'©¶±J´²ä´©µ6¶±[¨²'µ6´À©Å±!ÀµÀ²À¿6º¯zÚU³¶
¹1Àµ6´×¨µ6´À©NÀ͵6³´º²'³À´6²'¶i´6ºVºA´¹8Å¿ÆWµÀ1ű!¶'ºR¶'±!׶´6©µ¶'±!ÖJÀŶ'±J¨'È´6¿´6µÆY¯gà[©
ÍZ¨²'µ6Õ:´6©µ±JÀª·²*´©¸@¨'ÅÅ¿´6²'¨µ6´À©Ö[ºAŶ*²'´ÍJ´²´©µ6¶'±J¨²µ´À©zű!ÀµÀ²'À¿6ºL¹1¨Æ
¿¶'¨*ª(µÀQµ³¶8Í[À¿¿<ÀÉ`´6©¸:űJÀÈ¿<¶'¹1º¯Çe׶©Q´Í\ɶ1űJÀ×´<ª¶1¨'¸¶©µºiÉ`´6µ³(¨
±[·©ÖJµ6´¹8¶Fª¶'ºR²'±!´Åµ6´À©zÀÍK¨Ùű!ÀµÀ²À¿6Õc´µ:´ºL¶Óµ±J¶¹8¶'¿6ÆTª´6Í[ÍJ´²'·¿6µNµÀ
´¹8Å¿¶¹8¶'©µ:¨©z¨'¸¶©µ:²¨'Ũȿ6¶FÀÍKµ¨*ç´©¸TºR·²³}¨Ùª¶ºR²±J´6ŵ´À©}¨©ª
¿¶'¨*±[©´©¸k³ÀÉpµ6Àk·ºR¶Qµ³¶(ű!ÀµÀ²'À¿lÉ`´<µ³À·µl¨'©Æb¶'ÓÅ¿6´²'´<µh³¶'¿ÅmÍJ±[À¹
µ³¶ëª¶'׶'¿ÀŶ'±'¯@Úe³¶'±!¶ÍZÀ±[¶*Õ{¨'¸¶*©µºì·ºA´©¸¨'ÅÅ¿6´²'¨µ6´À©Ö!º"Ŷ'²´6ÍZ´²
űJÀµ6À²'À¿º:¹c¨'Ær©Àµiȶb¨È¿6¶DµÀ±!·©´©_ÀŶ©BºRƺ"µ6¶¹1º(É`³¶±!¶Kµ³´6±JªÖ
Ũ'±Jµ6Æ:¨'¸¶'©µ<ºeã"À´©K¨'©ª(¿¶*¨'׶1µ<³¶1ºRƺRµ¶¹3ªÆ©¨¹8´²'¨¿6¿ÆY¯¼kÀ±!¶'À׶'±JÕY´©
À±Jª¶±µÀbºR·ÅÅÀ±JµV´©µ6¶'±JÖ!ÀŶ'±J¨'È´6¿´µ6ÆÕeµ³¶:ºR¶'¹1¨'©µ6´²'º]À͵³¶NŨµ³º]ÀÍ\¨
űJÀµ6À²'À¿]¹c·ºRµÈ¶r²'À³¶'±J¶'©µWÉ`´6µ³Ùµ6³¶kº"¶¹8¨'©µ´6²'ºQÀÍcµ³¶k¶'¹8Å¿Àƶ'ª
Ŷ'±JÍJÀ±J¹1¨*µ´×¶*º¯'Úe³´º²'À³¶'±J¶'©²'¶i´º×¶±!Æ]ª´6Í[ÍZ´6²·¿µµ6Àc¨'²'³´6¶'׶`¨©ª8À©¿Æ
É`¶¿¿Ö!ºRµ·ª´6¶'ª:¨*©ª
¨'²'²¶'ŵ<¶'ª:ű!ÀµÀ²'À¿6ºl²'¨'©
¸·¨'±J¨'©µ6¶'¶Wµ³´ºÅ±JÀŶ'±!µ´6¶º¯
ÚU³¶'ºR¶Q¨'±!¶Kµ6³¶K±J¶¨'ºAÀ©ºNÉi³ÆbÉ`¶Kȶ'¿´<¶'׶(µ6³¨'µ²À¹1Å¿¶*Óm´©µ6¶±[¨²'µ6´À©º
º"³À·¿ª
ȶÀȵ6¨´©¶'ª
²À¹1ÅÀºR´©¸Nßà Û °M¸¶'©¶±J´6²´<©µ¶'±J¨*²'µ´6À©cű[Àµ6À²À¿º
¨'©ªnµ³¶±!¶'Í[À±J¶@ɶ@ªÀn©Àµk²À©ºR´ª¶*±Bµ³¶z´6©µ6¶'¸±J¨*µ´À©qÀÍL°»i¼r½
´©µ6¶±[¨²'µ6´À©Ö!ű[ÀµÀ²À¿ª´6¨¸±J¨'¹8ºWÁ íÄ'Á!ÂjíÄe´6© Û Ü\Ý °`Þ]Çi¯
álÀ¹8¹1¶*©µº:¨±J¶K·º"¶ª´©¨'±!²'³´µ6¶'²µ·±!¶bª´¨*¸±J¨'¹1º
¨'¿ºAÀrµÀr¹cÀª¶¿
ÍZ¶¨'ºA´È´6¿´µ<ÆpűJ¶'²À©ª´6µ´6À©ºM¨*©ªpÅÀºAµÖJ²'À©ª´6µ´<À©ºMÀͨ'²'µ<´À©º¯cÒ·²'³
²'À©ª´µ6´À©º8¨±J¶(¶'Óű[¶º"ºA¶'ªm¶ÓÅ¿À´6µ´6©¸Dµ³¶(űJ¶'ª´<²'¨'µ¶º8ª¶ÍZ´<©¶'ªm´6©Dµ³¶
À©µÀ¿6À¸Æb¨©ªkµ6³¶:î¢'­< ¢Ø'¢bÀŶ±[¨µ6À±g¯Ò·²³k¨(±!¶'űJ¶º"¶©µ6¨µ´6À©k´6º1׶'±JÆ
º"´6¹1Å¿¶}¨'©ªp´6µº¶'Óű!¶'ºRº"´<׶}ÅÀÉ`¶'±´6ºÙ¿´6¹1´6µ¶ªÕQµ³¶'±!¶'Í[À±J¶XÉi¶X¨±[¶
²'·±J±!¶©µ¿6Æ8´©×¶*º"µ´6¸¨'µ´6©¸Nµ6³¶]ÅÀº"ºA´È´¿6´µ6Æ8ÀÍU·º"´<©¸8â]áh½ÙÁ!ÂjïÄVµÀc¹cÀª¶¿
º"·²'³8²À©ª´µ6´À©º¯
Û Ü\Ý °`Þ]Ç·ºR¶'º1¨±[²³´6µ¶²'µ6·±[¶:ª´<¨'¸±J¨'¹cºµ6Àb¸¶'©¶'±!¨µ¶Nµ³¶N²Àª¶NÀÍ
¨'¸¶©µ8ºRç¶'¿¶µ6À©º¯hÇe¨*²'³F¨¸¶'©µ1²¿¨º"ºm´ºD¨'ºAº"À²'´¨*µ¶'ªMÉi´µ6³À©¶r¨¸¶'©µ
º"綿6¶'µÀ©U¯¼k¨'©Æ(¨'¸¶©µº²¨'©Qȶ8´©ºAµ¨©µ6´¨µ6¶'ª(Í[±!À¹3¨1ºR´6©¸¿¶cº"綿¶µÀ©Õ
È·µ|µ³¶²'·±!±J¶©µ|´¹8Å¿¶¹8¶'©µ¨µ´À©ÀÍ ÛHÜ\Ý °ÞiÇð´6¹1ÅÀº"¶ºñµ³¶
±[¶ºAµ±[´<²'µ´6À©bµ³¨µVµ<³¶:²'¿6¨'ºRºWÀͨ©D¨¸¶'©µV²*¨'©©ÀµV²*³¨*©¸¶:´©Dµ´6¹1¶H¯Úe³´º
¿´6¹1´6µº¨'¸¶'©µºµÀ
Å¿¨'Æc¨¿Éi¨'ƺlµ³¶ºR¨'¹8¶±!À¿¶]É`´6µ³´©Nµ³¶ºRƺ"µ<¶'¹z¨©ªc¨
ÍZ·µ6·±J¶
ÉiÀ±[çDÉi´<¿¿hȶ:ª¶'×Àµ6¶'ªmµÀk´©×¶'ºRµ6´¸¨'µ<¶:¨(ÅÀºRº"´È¿6¶:ºRÀ¿6·µ´6À©bµÀ
º"·²'³|¨3űJÀÈ¿¶¹èűJ¶'ºR¶±J×´©¸n¶Í[Í[´²'´<¶'©²ÆY¯:ß´6¸·±J¶NÂjòJ¨'óÙºR³ÀÉiºXµ³¶
¨'±J²'³´6µ¶'²*µ·±J¶iª´¨'¸±!¨¹}ÀÍY¨ºA´¹1Å¿6¶¶Ó¨'¹1Å¿<¶´6©ºRÅ´±!¶ª1ÈÆW¶'ÖJ²'À¹8¹1¶'±!²¶H¯
à[µlºR³ÀÉiº1µ6É`Àm²¿6¨'ºRºA¶'º1ÀÍ`¨¸¶'©µºôŶ±!º"À©¨¿h¨º"ºR´6ºRµ¨©µº1¨©ªDáÞpºA³ÀÅ
¨'¸¶©µ6º¯(°`¸¶'©µºzȶ¿6À©¸´©¸|µÀwº"·²'³w²¿¨'ºAº"¶ºzºR·ÅÅÀ±Jµ_µ³¶pßà Û °
²'À©µ±!¨'²µi©¶µ`ű!ÀµÀ²À¿iµ³¶bßà Û °n±J¶*Ô·¶º"µiűJÀµÀ²'À¿R¯¼rÀ±J¶'À׶'±!ÕáÞ
º"³ÀŨ¸¶'©µ6ºK²¨'©È¶L±J¶'Ô·¶'ºRµ6¶'ªFµÀŶ*±JÍZÀ±!¹õ¨©¨'²µ6´À©Ù²*¨'¿¿<¶'ªB§R¢'­6­R¯
Ò·²³r¨'©r¨²µ´À©r±J¶'Ô·´6±J¶'º8µ<³¶(ª¶ºA²'±J´Åµ6´À©kÀ͵³¶QŶ'±Jº"À©¨*¿h¨ºAº"´ºRµ6¨'©µ
È·Æ´©¸Kµ³¶8álÞÕUµ³¶8ª¶ºR²'±J´6ŵ´6À©KÀÍ\µ6³¶8álÞ@´µÉ¨'©µº]µÀKÈ·Æ
¨'©ªQ´6µº
²'À©ª´µ6´À©º8ÀÍŨƹ8¶'©µ¯áÞpºR³ÀÅb¨¸¶'©µ6ºWª¶²¿¨±[¶
µ³¶:ºR¶'¹c¨'©µ´<²'ºWÀÍ
µ³¶]§R¢'­6­e¨²µ´6À©
ºRµ6¨'µ´6©¸Nµ³¨'µY´<͵³¶Wª¶º"´±!¶ªNálÞX´ºº"µ<´¿¿Y¨'ר´¿¨*È¿¶Õµ³¶*©
¨'Í[µ6¶'±µ6³¶N¶Ó¶*²'·µ´<À©DÀÍlµ6³´º1¨²'µ´6À©bµ6³¶NŶ'±JºAÀ©¨'¿V¨*º"ºR´6ºRµ¨'©µVÉi´¿¿V³¨'׶
µ³¶`álÞ:¯
âi©µ6À¿À¸ÆEª´¨'¸±!¨'¹1ºw¹1Àª´6Í[Æñµ³¶y©Àµ¨'µ<´À©ì´©µ±!Àª·²¶'ªEÈÆ
á±J¨©¶'Í[´6¶¿ª¨©ª Û ·±J×´º]ÁöÄ1µÀB¹1¨'ç¶Q´<µ¹1À±J¶K·º"¶ÍZ·¿ÍZÀ±]¸¶'©¶±J¨µ´©¸
²'Àª¶KÍJÀ±W¨¸¶'©µ6º¯°`©À©µ<À¿À¸Ækª´6¨¸±J¨'¹o´6ºN¨Q²'¿<¨'ºRºNª´¨'¸±!¨¹{ɳ¶±[¶
²'¿¨*º"ºR¶'ºl¹1Àª¶'¿²¿6¨'ºRºR¶'ºlÀÍe¶'©µ´6µ´6¶'ºl´©Nª¶*ÍZ´©¶'ª:´©Nµ³¶À©µÀ¿<À¸ÆY¯°`ºlÍ[À±
¨'±J²'³´6µ¶'²*µ·±J¶kª´¨¸±J¨¹1ºRÕ`É`¶kµ¨¸µ6³¶m²'¿6¨º"ºR¶'º(´©BÀ©µ6À¿À¸Ærª´<¨'¸±J¨'¹cº"Õ
´¯ ¶¯ ÕM¢¬¡6 ¡ ®'­6§"§R¢'§gÕXÉ`´6µ³ìµ³¶õº"µ¶±!¶'ÀµÆŶw¢¬¡6 ¡ ®¯LÇU©µ6´µ6´¶ºn¨±[¶
º"µ6±J·²'µ·±!¶ªx·ºA´©¸xÅ·È¿6´²÷¨'µ6µ±J´6È·µ¶'º¯m⩵6À¿À¸Æõª´¨¸±!¨'¹1ºa¨'¿¿6ÀÉ
ª¶'Í[´6©´©¸L±!¶¿¨'µ6´À©º(ȶ'µÉi¶¶'©B²'¿6¨º"ºR¶'º(¨©ªBÉi¶D·ºR¶KºA·²³L±J¶'¿6¨µ´6À©ºNµÀ
¹1Àª¶¿kµ³¶zűJ¶'ª´<²'¨'µ<¶'ºFű[À×´ª¶*ªpÈÆ3µ6³¶}À©µÀ¿À¸ÆY¯1ß´¸·±J¶NÂTòJÈó
º"³ÀÉiºTµ³¶@À©µÀ¿6À¸Æ,ÀÍLµ³¶@áÞéº"³ÀÅq¶Ó¨'¹8Å¿¶H¯cÚe³´ºFª´¨¸±[¨¹
²'À¹1ű!´º"¶*ºµ³±[¶¶X²¿¨º"ºA¶'ºÙÀÍk¶'©µ<´µ´6¶'ºô1álÞ]º"Õ(ű!´²'¶'ºÙ¨©ª3Ũƹ8¶'©µ
protocol:
FIPA Contract Net
FIPA Request
sell(cd, assistant, condition):
pre: believe(has(Me, cd))
post: has(assistant, cd)
<<agent>>
Assistant
<<agent>>
CD Shop
sell (cd : CD, assistant : Assistant, condition : Condition) : void
ðñò
<<agent>>
CD Shop
has
<<entity>>
Condition
cardNumber : long
price : int
<<agent>>
Assistant
has
price
<<entity>>
CD
title : String
author : String
price
Price
value : int
ðóëò
ôrõö÷ëøù1úû
ðñò©ü øý*þëõÿùý*ÿ<÷ëøù
ëõ ñ öø ñ
ÿþ=ù
ëõ ñ ö ø ñ
/þ
ù ñ
ñ
ùû
ðóëò
ÿ
ö
øùúûüýü<ùúþÿþcø
'øýJü'û8ý6üýúû'úý
ù[ü<ø'þ
mø 'øý Jü û 'úBüúý "!#
ü "%$&'úýiøùúûüýü<ùúþ
øù $'Jü6(þ )Dø 'ûü6ýø !ûLú $'*+ú
û [üø -ÿ ,.
Qûü $w/þ ù !iþ
þR
ù 0[ù 1'ûüø ý '%þ 2ý !`
ù 'ûüø *ý '
þ 345+úûKý !
ù ûü6ø 'ý 7þ 678(9:;
û*0Züú 'û8ù Uûü 00<'ú=ý 'úýü6ýü *þÿ
>?A@B CLø*ù
û Dú 'ýù EFùü6ýþùúýù <ù 8ûü <$8þlý6G
ù Hü û
N(þ 'ýV
ù 0lø 'þA(þ '+
þ <Iþ 'úýü<ú Qý J'úýü6ýü '
þ 'úûKý J'ûüø ý 'þ]üúKý ùúý<ù ù Yÿ Kø ø þ"(þ 'L
þ <büúý *úû ûrýùrIþ ù [ýý Qû *ù Wüú
$'
ú ü6ú nHý pø'ùúø ýþzù 0ý pùúý6ù ù M'ýý 3ù ONP'øQ
ý "ÿ
R ù 'ù Hý G(þ 'S
û 'ú Jü6øNøù $ùú 'úýþ1üúmý > ?A@ B #C
û*ù $ú=ý ü <Wýù8üúý ý ý øùúø ýþ\ù 0Yý `ùúýù 6ù Yÿ
T úý
ù 6ù |ûü $1U
þ úV
û [ø ü6ý ø'ý pûü *$8W
þ !ù üû X
ûü $$'*ýüø1úùý 'ý6üùú(ýL
ù 'Iþ 'úýý 1ø'ùúø ýþüúý Jùû ø û:üú
ý úY
ý Jø ü<ý 'ø*ý Hÿ B !ø üý ø'ý @ûü $1Z
þ ù ![$8ùû ü<ú qý øýü6ùúW
þ úû{Hý püúý 'øý6üùV
ú Jùýùø'ù 6þzý '\
ý pø þ"þzù 0]úý6þ
þ(ù Jýþÿ B ø'ý<üùú#
þ ''úúùý ý 'L
û !iüHý Ný 'ü ^0<þAü ü üý &'øùúûüý6üùú
úû ý ü _ùþRý `!ø'ùúûüý<üùúþÿ T úý
ù 6ù ñûü $8þ|øù $'*ý yý $'úýþbý 'D
ý *'úý)
þ $\/þ ýa
ù 0Zù $b!ù ùþRüý6üùúþKü6úý !ùû ø'üú úýüý6ü 'E
þ 'ú&
û 'ûü6ø ý 'þÿ
cdAef#g#h]i*jk)lmno(mpjqrqsm&jtmkqrumvm*u7qHwxwpmu.qsmxnuqHyz<j*tmkq
o({%o(qm*x|m}~uHwyqyktqsmpyjtjxo#pmo(iylmpykqsm~mvywnooImiqyHwk7
c dAe f#g#hQiwpmtmkmjqw.ijk&~wpnim#(jvjiwpmwxWo(nis&x'wpmuo
jkp'qsmpmvmuw~m7yoAmnmoIqmp&qwiwx'~umqmqsmtmkmjqmpo/
mumqHwko
~wvypyktj~~uyijqywkzo(~miy<yiiwpm".syoq#wzumvmuaj*~~<wjis
juuw#oXykqHmtjqHyktumtji{iwpmjkp~wvypyktw~qHyxyj*qywko%
wmwvmyqjuuwoqsmSpmvmuw~m&iswwoIykt\#smqsm&qwm*}~mo/o
j~~uyijqywkzo/~miyyiZlmsjvywoykqHmxow"qsmo(n~~wqmpUuwtyi
jx'm#w
'wx'wm1m}~uyiyqu{%ykqmx'oEw/jvjx'mqHswpo
.smWiwpmW~<wpnimpXl{qsmZiwpmZtmkm*jqwQmuymo]wkqsm
o/mvyimo~wvypm*pl{qsm~ujq<wxjkpwkqsmc dAe fg+h
pmvmuw~xmkq.uylj{.smiw<m&iujoIow^qsm'c dAe fghpmvmuw~xmkq
uylj{yHoiujo(o
#7syo\iujoIo\yoqHsm jtmkqqmx&~ujqmZqsjq
Agent
yx~umxmkqoUqsmXjtmkqjisyqmiqnm_pmo(iylmpVykVqsm|~mvywno
o/miqywkj*kp"qsmGpmvmuw~m1o(nliujo/oDyq^qw"iwx'~umqmJqsm&oI
mumqwkw
qsmjtmkq7#yqsj~~uyijqywkzo/~miyyHi'iwpmQwmwvm-qsyoiujoIo1ij*k
lmDm}qHmkpmpLqwLinoIqwxym'wrqwGjppLkmZnkiqHywkjuyq{qwLqsm+jtmkq
jisyqmi*qnm#¡k~jqyinujJyqijklmam}qmkpmpWqwW~wvypm]km
yx~umxmkqjqywkoAwqsm#
m{Diwkim~qoEwqsmjtmkqjisyqmiqnm1o(nis
joYqsm]~ujkkyHkt¢mktykm]wqsm
kwumptm\ljoImhr}qmkpyktZqsm
iujo(oj*uuw#o~wvypykt\jtmkqo#yqsjSx'w<m
PlanningEngine
o/w~syoIqyijqmp£~ujkkykt¤jutw<yHqsx¥qsjk£qsmo/yx'~umjutwyqsx
pmo(iylmp¦yk¦qsm§~mvywno¥o(m*iqywk.©¨-nliujoIo/moªw«qsm
iujo(o'ijklmL~wvyHpmp"qwSjpppmpniqywknumo
KnowledgeBase
qwJjtmkqo%h.vm{'xjky~nujqywkJw.qsm
kwumptmljo(m#yojo(o(wiyHjqmp
yqsjsww
Mx'mqswp¬qHsjqQqsmpmvmuw~mij*k_no(mUqw¬~<wvypm
j~~uyijqywkzo/~miyyi&iwpm&qw)lmm}minqmp'­/no(qrlmwm7w­/no(qrj<qm
qsyoGxjky~nujqywk7¡qsmx'jky~nujqHywkQyHoJj"nm*{%®qsmpmvmuw~m
ijkS~wvypmGpmpniqywkoqwx'jkjtmqsmmo(nuHqAw#qsmnm{=¡1qsm
x'jkyH~nujqywkyo)jkayko(mqywkawLjYpmumqywkawx¯qsmY
kw#umptm
ljo(mEqsmpmvmuw~mijkY~wvypmpmpniqywkoqwjppSwqw"mx'wvm
km~mpyijqmowxqsm+
kwumptm+ljo/m=7syo®j~~wji*s&yo®iswo(mk
lmijno/mm\#jkqm*pqwZuyx'yqqsmnkkmimo/oIj<{ pmpniqywko"qHsjq'j
cdAefghjtm*kqx'j{U~m<wx+.smm<wm#mpmumtjqmpqw|qsm
j~~uyijqywkSpmvmuw~m#qsmGiswyimGw1sjqAqwpmpnimLjkp"#smkqw
pmpnimXyq/L¡kVwpm qwo(n~~wqQqHsm|pm*vmuw~m ykM~m<wx'ykt
pmpniqywko/qsmcdAe%fg#h¢pm*vmuw~xmkq®uyl<j*{S~wvypmoJj)o(yx~um
c e°-±°² zuy
mYnuHmYo/{%o(qmx'+ijuump]³´µ´¶I·¸¶(´¹º/»µ·µ³]´µ³·µ´¼½¾¿½
½¾ÀÁÀÂÀÃÄÅÀ*ÆAÇ¿ÈÉÊ/À'½ÄËÉÌÃÁͿǽʿÈÁÆÉÃÀÊÎ#̽¾ÌÈL½¾ÀDÊIÇÄÅÀDÄÍ
½¾ÀÏÈÄÎÃHÀÁÐÀË¿Ê/À=Ñ
ÒÓAÔÕÖ+×WÇÄÁÀ)ÐÀÈÀÆ¿½ÄÆ'½¿ÏÀÊL¿ÊJÌÈÅɽ®ØDÙÚ®ÛÜOÝÞ'Í<ÌÃÀÊG½¾¿½
¿Èß¿ÈQÄÍ<Í<ཾÀàÊ(¾ÀÃÍDáEÕâ-×W½ÄÄÃÊ(¾ÄÉÃÁËÀ¿ËÃÀ)½ÄYÅÆÄÁÉÇÀ=Ñ-ã7¾À
ÐÀÈÀÆ¿½ÀÁÇÄÁÀGÌÊ'ÇÄä'ÅÄÊIÀÁ"ÄÍ®¿ÅÅÃÌÇ¿½ÌÄÈàÊ/ÅÀÇÌÍÌHÇ&Ê(ÉËÇÿÊ(Ê(ÀÊ+ÄÍ
½¾ÀåÐÀÈÀÆ¿ÃàÅÉÆ<ÅÄÊ(ÀåÇÿÊ/Ê(ÀÊ¥ÅÆÄÂÌÁÀÁ¦Ëßæ½¾À§ÒÓAÔ%ÕÖ+×
ÁÀÂÀÃÄÅäÀȽ]ÃÌËÆ¿ÆßÑÚÈſƽÌÇÉÿƼÊ(ÉËÇÿÊIÊ/ÀÊUÄÍ ½¾À¬ÇÿÊ/Ê(ÀÊ
¼
¿ÈÁ
¿*ÆÀGÐÀÈÀ*Æ¿½À*ÁÀçÅÃÄ̽ÌÈÐ)½¾À
Entity Predicate
Agent
ÌÈÍÄÆä'¿*½ÌÄÈÇÄȽ¿ÌÈÀÁLÌÈL¿ÆǾ̽HÀǽÉÆÀ¿ÈÁLÄȽÄÃÄÐß&ÁÌ¿ÐÆ¿ä'Ê%Ñ*ã7¾À
Ê/ÉËÇÃH¿Ê(Ê/ÀÊ"ÄÍ&½¾À
¿*ÈÁ
Çÿ*Ê/Ê(ÀÊÅÆÄÂÌÁÀY¿
Entity
Predicate
ÇÄÈÇÆÀ*½ÀVÌäÅÃÀäÀȽ¿½ÌÄȯÍ<Äƽ¾ÀVÀȽ̽ÌÀÊ_¿ÈÁ½H¾ÀÅÆÀÁÌÇ¿½ÀÊ
ÁÀÍ<ÌÈÀÁ&ÌHÈ&½¾À#ÄȽÄÃÄÐßÑã7¾ÀÊIÉËÇÿÊ(ÊIÀÊEÄÍ
¿ÃÃÄÎa½ÆÀ¿½ÌÈÐ
Entity
½¾ÀDÀȽ̽ÌÀÊ®ÄÍr½¾À+ÄȽÄÃÄÐß¿Ê®è(¿Â¿ÄËêé/ÀǽÊ1¿ÈÁ¼ëÌÈLſƽÌÇÉÿƼ뽾Àß
¿ÃÃÄÎ_¿ÇÇÀÊ(ÊIÌÈн¾À¿½½ÆÌËɽÀÊJÄͽ¾ÀÀȽ̽ÌHÀÊ¿*Êè(¿Â¿Í<ÌÀÃÁÊ%Ñëã.¾ÌÊ
Ê/Ìä'ÅÃÌÍ<ÌÀÊL½¾ÀÉÊ/À"ÄÍ'½¾ÀSÀȽ̽ÌÀ*ÊLÁÀÍ<ÌÈÀÁ\ÌÈ\½¾ÀÄȽÄÃÄÐßÌHÈQ½¾À
¿ÅÅÃÌÇ¿½ÌÄÈàÊ/ÅÀÇÌÍÌÇQÇÄÁÀÑAâ-ÌäÌÿÆ<Ãß%¼+Ê(ÉËÇÿÊ(Ê(ÀÊ)ÄÍ
Predicate
¿ÃÃÄÎU½ÆÀ¿½ÌÈÐ)ÅÆÀÁÌÇ¿½À*Ê+ÁÀÍÌÈÀÁ)ÌHÈ)½¾À&ÄȽÄÃÄÐß¿ÊDè(¿Â¿JÄËOéPÀǽHÊÑ
ì¾ÌÃÀ'½¾ÌÊÆÀÅÆÀÊ/ÀȽ¿*½ÌÄÈ¿ÃÃHÄÎʽÆÀ¿½ÌÈÐJ¿ÃÃ7ÅÆÀÁÌÇ¿½ÀÊÉÈÌÍÄÆäÃß%¼
̽+ÌÊÈĽÂÀÆßÇÄÈÂÀÈÌÀȽDÎ#¾ÀÈ]ÉÊ/ÌÈÐ\ÅÆÀÁÌÇ¿½ÀÊÌÈ¿ÅÅÃÌÇ¿½ÌÄÈà
Ê/ÅÀÇÌHÍÌÇQÇÄÁÀÑ^ã7¾ÌÊ)Ìʽ¾ÀÆÀ¿Ê/ÄÈ]Î#¾ßÒÓAÔ%ÕÖ+×|ÇÄÁÀÐÀÈÀÆ¿½ÄÆ
Ê/ß%Ƚ¾ÀÊ/ÌíÀÊE¿#Ê(ÉËÇÿÊ(ÊEÄͽ¾À
ÇÿÊ/ʽÄ&ÅÆ<ÄÂÌÁÀ
OntologyHelper
¿#äÄÆ<À+ÁÌÆÀǽ-¿ÇÇÀÊ(ÊE½Ä&ÅÆÀÁÌHÇ¿½À*Ê%ÑOã.¾ÌÊÇÿÊIÊAÌÊEÇÄä'ËÌÈÀ*ÁÎ̽¾&½¾À
Çÿ*Ê/ÊS½ÄZÅÆÄÂÌÁÀ\¿ÈZ¿ÅÅÃÌÇ¿*½ÌÄÈàÊ/ÅÀÇÌÍÌHÇ¿ÐÀȽ½Àä'Åÿ½À
Agent
ξÀ*ÆÀÅÆÄÐÆ<¿ä'äÀÆÊ&ǿȽÆÀ¿½®ÅÆÀÁÌÇ¿½ÀÊ&¿Ê&è(¿Â¿äÀ½¾ÄÁÊÑ=ÕÊ¿È
Àç¿äÅÃÀ¼-½¾À'ÇÄÁÀ'ÐÀÈÀÆ<¿½ÀÁLÍÆÄä|½¾ÀDÄȽÄÃÄÐßÁÌ¿ÐÆ¿äUÊ(¾ÄÎÈJÌÈ
ÍÌÐÉÆÀî)¿ÃÃÄÎ#Ê+½¾ÀJÁÀÂÀÃÄÅÀÆ®Î#Æ̽ÌÈÐ)½¾ÀGÍ<ÄÃÃÄÎÌÈÐ)ÅÌÀÇÀÄÍEè(¿Â¿
ÇÄÁÀJ½HÄä¿ÏÀG¿Já®ÖÊ/¾ÄÅ"¿ÐÀȽ^ÌHÈÍ<ÄÆä'ÌÈÐ"¿GÅÀÆÊ(ÄÈ¿Ã^¿Ê/Ê(ÌÊ(½¿È½^ÄÍ
½¾ÀÅÆ<ÌHÇÀ1ÍÄÆ7¿1á®ÖGï
CD
cd
= new CD(title, author);
Price newPrice = new Price(valueOfthePrice);
send(personalAssistant,
inform(price(cd, newPrice)));
:#<!()!>=?"!$#@#%''&!()*:,A=C+*B(7%-!D#&9**&),!D@E!./GF HIJ10.>!J243LKN5MP68OQF 7R"9IJ:*:)*A&S%;)AUT
V7"9#@W*:#X&@W*!4)Y7@A\*!D]):BD&*7S?!(&^@E+Z+S@E%'%;#X&_*`T"aDb[)c@G)*)*[@G#&Z)S*)&&!DS:#+B()*#X#%'
7"@dX+!>:#X&A=;#)*e7-&.f)!(@d@gJ#*+*#%;#*@#hA;)*KN7iMPO-%'g&@k@d)!D*7A*@#l+*))*@ch#XA'7.@kjS#+;7i+*#i+*&@
##%;mL7)"+*@+*E+S!D#&nT#V ro0.s24L35p6q:+*A=-7QA**7**7!()*<=-!@EL&=C)!>"@@k!E#t_*T *@V rpQ!S(S&SB
*!.uD%;@'LKN.MvO?r+&)*!(:@E)**!@kJ@d@#@')p<Swk)#:9J)p<=y<txd+?+*]7*@7ErA+*!D#<*#*!A?D)*L#!zTV &S#]@L%'):"@:E@d{)A@'L#
&!()eA!>){%;#%'e*!47)*)":#<@EA?!()*+*o:=;@E{=C#?)|}!D"*:/X*%'".~@G$#.P+"p%'#A}:%-A=;*@E!D@d)*)A*!UT
0]7!("@9-#7#\A:7=o@d#X9%'*:&:#.D&#*!*@L?):=&{p&#:#+*)"#y*:+*%;7**J<@-Sl.#l)*:@E)*:X::{A= @
{.>!D!p#+#AQ%;+%'S7#+)*)*#l7@CTN*@aD'&SJ\7%'*&@E@E)*7oA*@?)*!D+!D*)*@d&*)*!(J:):=AS&)*)A!(@dS7@d<7=
^)f)**A&"&:s#+)*%'#&P:Tl)K^)#%'#7Q:)!(:=C':=rS-!&SD*@^k%'S:X*@sE@E.4)AX*@o;&))*!(A!(@E#A!#@>)&*7)h@d@E*7.>Q!(% +!(*:)@dS@k#*@!(Q*7r+*!Dr")**7,+<7=m-;%+'*@7E@kA)*A@*"!#rD)*);&!^)*)!D#7
+S:)!47+**9*:P&:!)*^A#@yS)AUT
V.>!Gp+S^K!DN!(*MvOyN#:%;)&A:X*%S;)*Ab)*<XS#s^^7.P0`*9243C*:p5&*!6G#+*)*Ay&!()!>*@9l#7^:='{&&))*!>@E!D@k"!*!>@
#%'&:%'#A'
+*:)@d@CT
Parser
V+):#@*7{024!(c3p&5p!>@6d"#@*)7"7,#X%L&,:*%@E'{7<)A*-*.>7#*9@y:.^&S%-@d#*A
-=C<:!(c##7 )&!D)"+*!>#X#+**+S:)S!(!D@
0 24#g3 @k5pS6&&)*!DA#*A}$)*)S!(+*#X*+%;*=qS!(@)7}dS#&&!(!(B>@i&!)(S)*<#:X# %-=]TLSaD @
):*9A:J@o!D)+")*!&)<:f)o.r|:X=y&)*:l##r@AE=Ca(0])+#+r+:%;9&*::d#T)*+*=
!D*)*-9*!(~@s0`E24"%'3Cp)*5X#6 +
&)*!(c@$+**.:D@.>#+y##%'+*=&:"%#'*P)!D+**)+*+S#9~'<S@E#)*Ae9#]!Da(@C0NTCaDv#A@*{!D!D#+gr#*!#D)A+*#)* +[@%'%;E*%S;)#+*)*X##+9@)+.,@;)*a(0]@L&:)l#MYAy@E&*!(*%#%;-#@#9@')*!D)*::{*!\S@d)*#XAi&!D#X@d:+*)7:@CT
S@k#.jA
!(&S!()*:+=C:@@ES<+*S
#X)p
)):@d&
&!D&!>)+*
#<##@@S@E:=:"@.^E@)*A*.D.>#+*@y##
L&)
+9)*!D#!D)*+*!%-D#*@E#+*@@G<.s+*)*)S@k*#Ag@\#!(?*S#@!(*@k=C@d@k%Q%'T V @=Cd&%;)*@d#"@+*@G.b8Na(0b
rGM,'<)::)*@E{#@\@^)*.4A.j)*@k@^#<+*#:#X=-@E&#!(Ao+*r+7##%'%;@S)7#+)*!()*#9#Xr))+*:]".@;j.>*+"&@C!T"DKN.>S!(+% +!7>#@#XkS:r@G7"@)*Er+*!D#),<p{!()#)*)*%':rS)*@kAU*<py&!(S*!.D.>D!(%'!v)#;A$)*+);r<)*p.+*j)*{p@k##@d<:p)@*7
<<"+*X)*)*#SP@dT rV X*!#@D#7"@@-d+!>#X&A#S)*!D)*#@y*r'@d)*Sl.j.D)*#+#*)Ap*.DG!^!>+&*:#)9##AoAm)r&%'S@!(&E@E)*@EA*@
{AS#:)":^!D)*)*c"m-#)@v!(%;*@SE@E@)*dAX#m#Ar)*/)+**!+"G)*SAnTlsN!Q&*|*!(.>)%'!(%&:)*'Q)*+!D##@o{p#: :
!(*@E!S(:*.P>#Sr@E)*@E:ESTU+*aDy)*.Dr)+*)*Aubr!&>*!+(*.j*#X!D9%;*!p#Ar.\)r')%'**@+*E@k#X)*A?!N)xnS@'@k]#.j<!D:%;#A#)*#XA@.
{%;#*@E@k)*!DA"@UTd&*+V *G*!(..j!(!*uD)")#)*A)":4.G>.>+**+)J#l*S@k7!7>)"<#=Q)*:l@*.ED.>*+*7X*!@'o.#.D*!#@
&:Q)*.D).j+@d*@?S*.L+)r~)*.p+)*#+*X#)*@C7T V #\#+*@-)#@;G4!(*:!(*)=o::=y)!D)*:##%-#)*)*:\#.jo.D+*.@?
@E+%')*!D)*)*+#*!+*D@#@E#+h.[)*NSaD0]%;=JM.)*<A+)*S@C@dT#p9q*!D#@*:+*@k@E*!^(*Xq#@f{&!(#X#<#@
S@k#A#X@d:)*7y+"%'%;S#+*)#9?)*+*@LQ<S#X:7Q&:)*#Ar)A*@CT V #@
:&#!D%'#9#X)*7X#*@+.>)*!<~#!9>!)"D+*+*)*#%-*|&!(&:#+#X:A
@CT~@aDE%'&)*)*!(##++*S@Q:)*!()*LNNaDaD0b0b
@d#&*+!*>#X).j+*#+#)*m#&@!(@d)"+*:\)"f#.Q):)+)*A9*!(@E@f)*@d#S&@&#!D@~!(S),@N{aD0]#m)*A""!>*!#+
)*&A!DL+*S:s@E#FRAfI*T @kV S+*#m@J#)o%'&&!D:#*@XE+*.D:!b%;|S)@d%'&<:o.*`>#)#@EU#.N"7m)*-)*)*+A+*!D7U#!DAfS*@mE@4# @
)*&!D+*!:)A*mQo!&D!*+"D.j*#!(9%#A)[)A*)*+p#%'[S@d{#X&!#D.>!D%$N)aD0]+*#!(*mS)*@E7 #)*+*.DX#!D%8PT V ,@#@l+*E*7@E*!!Do)*#!{p#r)*@l%;#S@d!Dr7|S+&*7:-#X+*#^:=/)*:!D*.{,DS@E79*:&&!!D(.>@u7!(%):#A
{A#)y:B(#!D#!D)+**7h#)*A&!(@o+*<+:*@)S)@k*#@k#:=C-])*<:Ss{#v@o#@p7*..DS>#7#X)*A%'&@E):sBD+*@d7S#&#&!D@ .j!b&!>V -<+)*:@@E#T +-7#.>.j"!D*+-<{*;024356m)*&&!()+*)7y):
N.,aD0]he@+*E%'*%&;:#))*]#+@:@\.)*N9)*aD0b#: )<:L#pGMZL:#@d*!S()&&S!DL#!(f@\)*Sp*|%;&:=]T#X)*V ## @
)*7&*9&*:!D)*&+7S9@E!#D+A%'@dS*@+*e~)<:@C)¡v@d#+=&!D<*7:X*%~:.$# %;%'#\))A=*\)*&*|&:&#+!>@)*k#@d#9@
&+*)*{!zJT<aD?*@&E)*!D*7o#+S#o:))?!>
%;+*@E%;@d)%'A)*7Q:#%'@E#%;)*X?#{@[g)&!D`¡*!(.>&!D*!%;D.>)#!(9%'?%)*;X#9S*@@E
<&#*!D.D!D%'!D)"7S# 9+*"@74)*!(@ES&)&::!D{p*7);&&<:*+# "+")*)*S#@E*`BD@E&*+!D%;#)*.>#:+=C`+*)wk+)**&9)\@%;TG**@E7;*7#@
)*@E"9@d*!+D#)*7":$*@E{@k#X$*)W%*+'$*)&*!(#.>A!D%;).}#9)W
%'!y@E*)@E")*+*A$W+@E**&$).y##)
A&!>*@E+""7:nT
&+**!D%'.D"@!D%'.>!()"# %}9"@!D)#@p#A?s%'+)*@::E# @d)AA*@{)*r@%;#%;&*!D7)*@CX#TC9¢GL@)*E@E#+*):=C+"]*@\!(#@)*&!>*!J<:%)"
7@d&*+*+*:)*#X.j!D#)+-#&9)*!D.D!D@d%;@E*!)(##9@@CT #@V )^+*@E***7YS*+*.q;#.4!D7'&S+*!(#X<A:*%)*&&7:@#E++)*!D##<"7B
)*#%;<&9`T@d@E#<V #: #Xh#=
%'.?&+*@E!D@E*)#"<##:#A=%').+*!(*@BDE&*!#D.DAq!D&%;*!)*D.D#X9!D*@%;Q))*#97,@#!%;>.&j:#*@!(f
7{*9#*:#X-&N!aD0]%;)*=*@TJ,.j#&7Q@d)?@E#<&:!p@(.jk!>:%-S)*#X#-9?{X;@d#SXQ+-)?7&!D*@E<#:!D*%*7$+"%;*)S:7;#<A
)*@E.y@dX+
7#)#@Ard#!()7A$&@p!>{.D#!D%')")*+"# 9# T@pV #)@P@k):9S;#$-@%'d)%;9'&*@@d
&BD+!>7<#:# %
.j!(.%q+7*%;)#r:).s)"AAS*)*Ab)+%'%;7S#+*!)D*.#D!D#:),AS#)*%'A&L:#*@[#X7+:S%;7#)*#A
+*#@+*%-&#A@^v@dS<+*')~-){@-<!D*:c##*.A?D@^@E)*:S7~##N#b#%;)*@?=^#<'&Sr@d*7r:XA#=]@TN|6P9!(**%'#.
+*%'*)"@d#SAr*+.J@%'J"@E.P@dS)A@E#*@Al+*xdS%'@d&:*!":D*=Sr*@kU'+&!*D.j!(%'*)*nT #9V 7#@p*:)*A&&)"!D# )A'+*#@
S!D##*X^@*7E#Q%'&#:!D)!\A!DQ)%;%'-+#Ar%')%;7yS#*!+*D)".#jQ!>-#@E+P:%)'+c^@%;.J)*7#@d=^!(#<.4S7;<y<txn*."+>*#@B
.])9)*#:X)*<:)!*^A#X%'&U+*!(%;)%''S)*7#X9+*)*)*#X)*'A:)A)S')*A{@@T k*#&!(@d"7
)*@d&&*+&*!D#X.j)*#++")*[##@)*)*7##Xo%L@E&:%%''@,[)#v:T?&[aD1<!>#X.>7)*A+#A}g7$A*@k)*+*&[!D#&<*# {*".
)**%A'&:X@f=C*7{h,##hX!D%7S;+"*7*q#7g:@d+A*#@#Q;@k£S&#&@~!(#S#A,@d#~@%'k#X:&)*+!o*#.D#+*)#,.
%' S:#BDMm)AF *£¬pI*Ts@E=CKN@dSX*%+*'
@%'F(*¤zX£I¥\7@ES:+"mA#)**@@rr¦J)!(24o§ 2
F £pR=CI(*\@dS¨"&©*&©D24!(ªN¨^*7mF(¤t<«=~I-)*)*7=
.j!(%­:\)@E7&+X*#*!.>#D+*.)"># !DW7!7*9*@E:#A&*!)!D#).j@^)+*@CTr%'0`)243Cp@;56A*&!D!D9)#7r+"@7)"
#)*%;7'&:X%;#@4*%')"*7=r*:X&':bS):@E#ALA^#{pU##; r!D*))A:BD*{"!D!D)*:7;:B(&)&S&!D&:#+*@d)')#A*@T ])*!D+"# "+*S!>
@G7!#(#@9#+A-S!(<!D*X .j#%;!(&%®:%0 ;24#*3 @)*5S#67P*!TD):@\=C#p+*SA*9!D!D!(*: =-*:X!()*@*E@d#+S%;%;<0 !24u73 *:p.v}5p:#6¯
)*%;#7X)*&#!(.j!(9%®
@d7S#)*&A&!()*!D%'~@1/A}7*!(*9)*:f+&*!7
f@)k71S:7/}&&!>%;@E@E#<m##:#X=[@S#@k.m7f)*@S°@k:#@k+A #h +*!(*M
#NaD70]S@dB(X!>+=]T'%'&:X#)*!D*v9*!(r:@0 <24*+3*)S5@E'#6Wb#@
#)/*A@E!>)*&*@.>'@!D{E)*%!>'7)"#)+*@9.u)*#N:X)*aD0b<:
±Ä¾²G¶E¹D³mºÇ´¼µy¹DĶE¾·½¸Ç'¸ºµÈj¹DÈD´s¾¿¶E¾º*º*»;½¿*¼Ã]½É´¾¿;¾½´º*¹DÀ(µ¸º*¹D¼*Á¾Â¾´Ã¼"½Ä¼·´µ½µ»;ÃÅp¾´Æµ·´
ʲlƵ¾»;¶»'žµ¶E¹D¶d˾µ¾X½¶´¸Æ¼"¹>¹Dµ´¾·¼*ÇÂÂXÆ,Ã?´¶EÆ·º¸¸¿*µµ¹(½´º´¹(Äy¼¿*Á´Ã?¶y²GÎDÌ ÌÊ ÍsÀz³ ÏtÐÊ Ð¼*нÀtÄQÏzÑÁÑvÃÏtÒ´ÆÓ^º^ÔbÍsÕÖr·¹DÖµ¸×º*¼Ø½
Ô]ìtîÕïvÙÚvìÕìzðCÙkÛñNÜò`Ýy×ÖóÝ*Ø;ÞpñÕôÙjáßâÖrÜõGÛÝ*àôáÛâáÜ`ÝòsÞpö*ÝÜàÝÜ\àäEÜôâ÷ÙdøÕÝvã×ááâ?Ý*×àÜUáósÝ*àøÛÜä^Ü ù"Õå*ÙkæÞrçú èDéNêvëzìtíííë
ûüýþGÿ >ÿ ÿ
~ ª
\ c IP®AMMPLuHPQOFa \ª¼ wkPR \ ½ yuI[OHQOI[TCQOI[RíypF
~`}LuHIQOLuÕuOLu c QWV¨T9y7F¬M \ ,ÜÝÞF.,ê \
]Ö`_ìCOIP c Fîw \ T \¹d BC0'/4tV*)'8¤6/ïk*)'àjn*')8Ïñð>'=
BC8 4!64-*/8>o*j 2 )4-60'/4r:8!4q' 1 BC/6) :<8 -8m6/ò&C'8G-0/§sGF
yuI[OLpI c [HMI c .AMLu{RG|M}nMIy7I[OHQOI[eTCQOI[R§HIyuISuMLp± c [HMI
c IPJL7MNOR R c I c QO±²OI[F.,ê \
]Ö©`_vwk~`~`T9Æ3w
x>MIR!MLp[qH±²F
óÏ
¡7/-4-6)
d &3')-('!6)'
jn'4?**)*0,:CsGFtPOH¬OL c´ OÁMS[|OôwVÉ3>wV~`x>ÅCõJeLpM,å!ON[
J Y ¾ÕuÆ3ypF XYYY.\
!#"#%$!&'(')*,+.-/0
132 )4-5760'/498;:<8 4' 1 8#=>-4?A@7BC&DEGF>HIKJL7MNOOPHIQRMSTCUVT9W
XYYY FZ>MR [MIF XYYYV\
]Ö³`_¨Cz c I c F \ ~ \ F¨CP±²F²È \ U \¯c IPtWVOOF²W \ x \nd!ö DCh¦r.Ï>BC/
6(6/'÷**)ø-4.o*Dk/0-/''!-/0ñ&-8G4!- 2 4'ñj 2 )4-5 BC0'/4
r:8!4' 1 8es FHqIJLuMNOOPHIQRMSeJT9T3ñ êFW.MIPMIFVê \
]!^`_aZ>OL7QOI[HF<b \,c IPJMQQHFT \ed DVfg+.)*-4-/0ihkjmln-/4?'C&3'8 -0/*po
j 2 )4q-5 BC0'/4#r,:<8 4' 1 8`sGFHItJLuMNOOPHIQRvMSmwVx>TCymz3MLu{R |M}
wk~`TC YY FZ>OLuHIF XYYY.\
]Ö¿`_ÅCPOFm· \c IPùZ¯MN{Fnx \vd r 2 00'8G4'àhjnl¤DVf4'/8 -*/8²o*
BC0'/48sGFCLuORG}MIR Ov[Mª[|OvÅvÆúT9I c ¶ R HR c IPªÈCOR HQIªU c R {
b`MLuNO9ÉCW%>Ueb X.\ Y ¯OOR![SpML.ypISuMLu± c [HMIFV \
]!`_aZ>OL7QOI[HFb \c IPJMQQHF
T \kd Bt&C'(')*,+ 1 '/4`Dk/(-!*/ 1 '/4!o*
4?'k'6)- 64-*/n*po%+.'/6/r6)6)'j 2 )4q-5 BC0'/4r:8!4q' 1 8`sGF
HIJL7MNOOPHIQRMSvTCTCT9 F c OINH c F. \
]ÖÊ`_ÅCÆCF d û n
j lüjn'46646¢¡u/4' ?6/0'äýþÓ'G8!-*/þóÿ7ó.sGF
| [[}.Ð ÑÑz3zCz \ M±Q \ MLuQ \
c ¬ c H c´ O c [
]!`_
Z>R O[[ c FJ \ F>IIHR [F \ Fi3MPQR MIFiT \c IPWVN c R FT \
d @7B#e ¢¡u/4q'))-0'/4BC0'/48£5¤* 1 +.*/'/48vo¥*¡7/4')q)-0'/4
BC0'/48¦-q/@6(6§sFHITCQOI[W.HI{¨Oz3R¦WVO[[OL7F., \
]!©`_ax>L c IOS;HOPFª~ \c I P«JLu¬HRGFª \d hkjml­68£6/®¦/4*)*0,:
jm*'))-/0l`6/0 2 6
0 'ksGF¯HIKJ`L7MNOOPHIQRMS9[|On°ML7{R!|M}vMI
y7I[OHQOI[yuISpML7± c [qH MI²yuI[OQL c [HMIFV \
]!³`_ab`HIHIFkU \ FkW c´ LuMF.µ \c IP% c¶ SuHOqPF.· ¯
\ d ²¸jnl686/²BC0'/4
e* 11C2 /-64-*/®l6/0 2 60'ksGF¹HIºZ¯L c P R | c z»· \ \ª¼ wVP \ ½
~`MSu[z c LuO9T9QOI[R Fvy7U%JLuORGR F.¾ \
]!¿`_ab`y7JTÀUVON|IHN c x¯M±²±Hq[[OOx
d Dkf4'/-q/0Áh¦jnlÂo*Â4?'
r+V'- o-64-*/Â*pomBC0'/4¡u/4'!64-*/ÄÃk!*4**)8sGFLpOR!}MIR OK[M
[|OiÅvÆÇT9I c ¶ R!HR c IPAÈ3OR!HQIAU c RG{°b`MLuNOÉvW¯UVb X.\ Y
>OORG[S;MLeyuIS;ML7± c [HMIF., \
]!Ê`_ab`y7JT d Ë ¡7ÃBÇÌ ÍÍr,+.'- o-64-*/Ãk6!4ÎVÏGBC0'/4¦e* 13132 /-64-*/
l`6/0 2 6
0 '¦sGF c ¬ c H c´ O c [|[[}VÐ ÑÑz9z3z \ S;H} c<\ ML7Q \
]!Ò`_aÆCOIORGOLpO[|F \ \c IP#b
Hq{OR F \ w \Vd >/*=¯)'0'3¡u/4q' ?6/0'
Ë * 1 6435Ó<'!8 -*/°ÔA5²V' o'!'/'ijn6/ 2 6)sGF§[ON|IHN c CLuO}ML7[
WVMQHNÕu X Õ,,F~`[ c ISpML7PÉIH¬OLpRGH[ ¶ FV X.\
]Ö×
_ÆCOIORGOLpO[|F \ \ F~`HIQ|F¨ \c IP~ ¶ OPF¦ \Cd B&-8!4q!- 2 4'
6/mB9/*/: 1 * 2 8 >/*=>)'0'r?6 -/0nBk++. *6?°4*r*uo4=>6 '
¡7/4' *,+.'!64-*/9sGF®yuI[OLuI c [HMI c Ø· MLuI c ÙMSÚx¯MM}OL c [H¬O
y7ISpMLu± c [HMI~ ¶ RG[O±²R¦Û ¼ Û ½ Ð ÜÜÕ7ÜݾF.,Þ \
]Ö`Ö_3 ´ OLpFß \ · \àd @áB9jKÏtBãâk&3¡75p4?'*!'4-äjm*-)'ÁBC0'/4
BC!?-4'4 2 !'¦sGFHqIJLuMNOOPHIQRMSeT9QOI[R,F~
O c [[qOF., \
]Ö^
_ 7y QORGH c R!F`x \ T \ F
Æ c LuH å!MF
\c IP#ÆCMIæçOæF
· \ x \ T \kd r 2 ('á:m*po
BC0'/45,!-'/4'
j '4?**)*0-'8sGFèHqI
m
J LuMNOOPHIQRéMS
TCUVT9W9 êF.,ê \
]Ö
_Pë yuI¬OLuIMF. \ FeìHII ¶ F.È \ F.WVN{Fe \ c IPm°MMPLuHPQOF \ dB
F T \
Ë * 1 6)r,+.'- o-64-*/%*pomjBCkr9s \ uy I%~`HqIQ|F. \ J \ Fk c Mk
]ÖÒ`_ÅCÆCF d h¦/- o-'#jm*')-/0l6/0 2 60'r+.'- o-q64-q*/#ývÓ'!8 -*/
óÿ Ô§sGF c ¬ c H c´ O c [|[[}.Ð ÑÑzCzCz \ M±Q \ MLuQ
]g^`×`_J c LpR MIRGF`~ \ FJeO[[OLuR R!MIFeÅ \ F`~ c SpSpHM[q[HF`T \c IPòMMPLuHPQOF` \
d ¡u/4'/4-*/ßk'*/8!-' 64-*/ß-/ï÷?'*q:ú6/ ÃVG64-q'ksFHqI
JLuMNOOPHIQRMS`wkx¯TCy XYYYV\ Z>OLuHIF XYYYV\
]g^Ö_J c [OÕu~`N|IOHPOLuFJ \ b \c IP~z c Lu[M[F¦Z \§d &'8 - +V4-*/5pl*0-
>/*=>)'0'Kk'7+. '8 '/464-*/Är:8!4q' 1 r,+.'- o-64-*/§sGF3È3T9>JeT
ìC~`wi[ON|IHN c LpO}ML7[FVÜ \
]g^`^`_JMR! c PF~
Ãk)64 o* 1
|[[}VÐ ÑÑSpH}
\ FeZN{OFJ \ Fe c PHIQ| c ±F` \d ÷?' Ë ¡pÃ<BC5,r3BC0'/4
Ï#+V'/Är* 2 '3o¥*A
+.'/Är46/6 8es F c ¬ c H c´ O c [
c ÕpMR \ R ML7NOSpMLuQO \ IO[ \
]g^``_>O[HN c L~ ¶ R [O±R d B90'/4qâ 2 -)'§5
BC/¡u/4q'0 64q'÷**)ø-4Go*
e*/8G4 2 4q-/0ú¡u/4'))-0'/'£r*po4=>6!'îBC0'/48sGF c ¬ c H c´ O c [
|[[}VÐ ÑÑzCzCz \ c QOI[ ´ HPOL \ NM± \
]g^``_~ c PO{Fª \ È \td &C-6)*0 2 ' 64q8¹6 'ßG64-*/6)i+V)6/8`sFAHqI
JLuMNOOPHIQR>MSk[|O3wk~`x>T9ÑwVUV>ôAML7{R |M}MI[|O3~`[LuN[LpO
MSev[H±²MP c <È3H c MQOF c L c [O c F.,. \
e*/4 64 ð¯'4«Ãk *4**)gÏ -0?57l'(')
]g^`©`_ ~`±H[|FÁ \äd ÷?'
e* 1312 /-64-*/8Ä6/í*/4 *)-/£6ù&3-8G4 - 2 4'ùÃk!*)' 1 8
r*)('es>HI#yuwkwkwvU.L c IR c N[HMIRMIx¯M±²}[OL7R!F¬M \X FIM \ X F
ê Y.\
]g^`³`_UVLpOLuF· \ªd n
j '4q?**)*0-'86/ßr*po¥4=¯6!'Dk/0-/''G-/0ªo*
BC0'/4r:8!4' 1 8 sGF c ¬ c H c´ O c [|[[}VÐ ÑÑz9z3z \ NR \ ¬ \ IÑ
[LuOL \
]g^`¿`_°MMPL7HPQOF \d ¡u/4q'))-0'/4B90'/48sGFnHIùAOHRGRªÆ \¼ k
w P \½
v[H c QOI[i~ ¶ R [ O±R¥ÐTÙvMPOL7IùTC}}LuM c N|£[M£ÈCHqR![L7H ´ [ OP
T9L7[HSpHNH c ypI[OqHQOINOFvyuUJL7OR!R F., \
]g^`Ê`_°MMPL7HPQOF¦ \ Fk·GOIIHIQR F¦¨ \ \c IPiìHII ¶ FÈ \>d ÷?'6-6
jn'4?**)*0,:²o¥*3BC0'/45kG-'/4'BC/6) :<8 -86/°&'8 -0/9s \ ypI
·!MLuI c MS#T3[MIM±²MRTCQOI[R c IPñv[HÕuTCQOI[²~ ¶ R [O±R!F
Ü ¼ Ü ½ Ð X êÞÕpÜV X F XYYY.\
