Non-monotonic Reasoning on Beowulf Platforms E. Pontelli1, M

"!$#%'&)(*%'+&,
-.
/1032547698;:<=<?>A@CBEDF0EGIH,<KJMLENN>?63>KO,B3H,6PJRQS0EGS:T;U
LEJM:'VW@
XZYS[]\_â`9bced\_f_^g[ihkj,l]mn[]o9li[ p;YI[]\7â`9bced\9f7^g[ihkj7limq[io9l][
r [isut[iv7mqlicj,^xw^g[zySo9mn{C[;hg|Zmn^~} [;v9w'|[]lxySo_mq{e[ihg|Zm^}
'7'WWCCe,CP'Mee 97WeC7ee_Ce_eeee
s.dm[]^goW]^x]w'¥qw'^g ¢hgmnce¦e¡eo_[1e|ª£ |Zc[ar ¬Ewchgl;o_o9¤d|¨|Zs5\9ce[;wo_h®l]c[ij,^g|]c[i`Mô9·mn¯o
lhg¥q|Zcc\9¦¦emhx^gmnw'l[dc\7d¬ªhgce^gmqo_¦9hx¦±[zw'°²dmndIdj7\7¯hgmno9[]³;¦§|Z©e|Zw'mn|¨{Chg}7[I[®|¨^g¬=mn[]hgd[ad\_´W|]f9hg©ªc[]{CoW|Z[]f_^gd¥l;}1«[if9o,w'|Z^g|+[a|µ"^gmqo§9^gcz[mnd|Z{ecw\_¥nhg{C¥qmn[i[.cedf9\_[]|"hgoWcemn^x¶_dw'¥n^g[]\9mnd¥nce[io |¤
^g^g[][ihglx[]9|ö9^.cc'¥nce¬?^g¦[]}Wo©_^gd9[w'¹C|Z[]9|®[i|Z[if_hIl;|Z
mn¸]\_[1hgcce¬¶_¥nhg[][adw'¥q|®mn|¨mn^go¢mnl+wlilil]ce[]d|Z|Z\9mn¶9f7¥n^x[zw'^g^gmnc+ceo_[iv7|mnhg|¨[]^gmn´,o9f_¦±mhg|Z[a[]µ´,f_^gc[]oW|Z^gcemqw¥n{C¥3[1^g[]\_l;hg_co9¶9c¥n[]¥qcd¦|}W`_c5¬9mno_mn|¤
\¢[iv7w'[]\Ml][if7h®^g\_mqchgoº[i|Z[]coW¬z^gk|®o9|Zce|¨ds[i[Sh\7j7hg[][i¥n^m d¯ªmqhgo9cew'¦'hZhx}wdhg[]||Zf_ce¥^goº|\9c¶_w'hx^xww'¥nmqo_[][a¥zµwmqhgol;_^gm9^g[][Sliµ_^gf_[]{Chg[i[i|]¥qc`\9»d[§[]oWmq^µ7[]coW¬^g|Zmnc¬=}º¥nf_^gµ7mnmce¼3o_[i|.hg[]¬?oWch^
¬Kwc'o9hgµds5|®[c¬ªµ7\9[]|Zw'lihxhgwmn¥n¶M[][z¥nm ^g|Z9d½[I^g[;9v_w'[i^.l]f_la^gw'mnoceo¶Md[zw'c,f_µ_^g[]ce¥n|®ds5w[z^gmnla9ww¥n{e}[I[;[iv_v7\_\M¥n[icehgmmn^gd[aµ
[]oWmn^go§[aµw1s.^}7mn\9^g
mnlaw'^gc±¥PS^xwj_¹C¯«[z[iwv7µ_[]{l]wf7oW^g^xmqwc¦oP[ ©
c¬ª|Zcd[Ic¬ª^g_[]|Z[e`9¯[ihZ¬Kc'hgdwo_l][Ihg[]|Zf9¥^g|.ce¶7^xwmno9[]µceo§w+¾[]cas.f9¥¬|¨}7|¨^g[]d¿w'hg[z\7hg[]|Z[]oW^g[aµ3`
À Á9ÂkÃ¢ÄEÅIÆ"Ç1ÈÃ3ÉgÅkÂ
ÊZÝ ×i6«Þ,ÛTiÜ:ßaNÔà:698;8"ÎEË7H,:e8SH,Ñ3T]TiÌz4WÍSÏ¢>?:J3:kÎEHC8iÏ7Î3::"ÍzH7á3>q8i>?63<=>=8g:ËÌiÌx8i:e4J«T;HÐ:'8;T]T]H,H7ÑEN8.>?J:âMJM>?:ÌxÏ78;:>?63<=4_ÓÑ38iUÎ3:':'4_69T;81:4,U§Ò.Ì®<?47Ï¢Ó_>?H>?N>?H,69<8;ÌxTiËM4MÌxJM8;LE:'NaU§8i>=Ìg4_ÔÖ6Õ4,Òª×WÕP63ØZ:'ÙÍ)×,H,ÕâM×W>=ÚZ4_×WUÕPÛÌÜ 0
ÊZH,6ã<?<=4W8iÍzÎ3>?:63ÓN478;69ÎE8i::â¢LE8Ì;:47Ò14,Ò®<?4763Ó7:'>KÓ9NäHWÑ38i>=T;4_4_6RÓ7T]H_H,ÌIUÒH,U>?<=>=LE6ET;ÓE:ÐBç~6Eè147é16Må¨Q®Uê47>=636478i8;Î3476E:>?áN4¢áPJ3:ËÎEHC4,Ï¢Ò.>=N'4_<?T
H7LEÎEÌxH_:eÌÌ'03áPëI::'ÎE6æ:Ñ3H_TiN':N'Ì;47:'U6EÑ3N':+<?>?Ì;47Î3Ò.:è1Jãé1á¢Q Ë
<=Ñ3:eTiH7:J3Ì;Ì.:'6E8;N'4:SH47ÒP6EHW>?6E8iNL34_T]UH,<PÑ3Ì;<=L3:'Ñ38;:IÑ47ì¢T;638.4WÒ²Íz4_<?Tk:JM63Ó_4_:76M0WåÜè1é"4_63Q4,8i>?Ì®4763H7>K<?NIÌ;4+Ti:>=UH7Ì;Ñ47476ET;>=8i63H,ÓP69B785H,Ò²<?47<?4WT®ÍzÏW>=H763T;Ó±>?47Ò²LE4_ÌTÒ²>?4769Ti8;U§:'<?<?Ì5>=Ó_4,:'Ò69J38kHWTi8]:H,H_áEÌxH_4_Ìx63:k>=6E8;:eÓ+N]ÎM>?6 å
63H7N47N<?47:'Ó_Ñ3Ë8;:Jç²:7H,0 ÓEÑE0?Ñ3B3T;JM49:eH7JMN]LEÎ3Na:e8iÌª>=Ï_8i:+4+JEÑEHWT;8i4WH7Ï¢áE>KJMH7:SÌ;:Ì;Ì]:'êaU§03í9H78]6_H,8iá3>?N<?Ìñ:+8;U4±4M<=4_JMÓ7:>K<NÌxÑE:T;U§4_H,Ó769T]H,8;>KU§N'Ì±ÌîÍzïWðª>=8;>?Î§ÌSè14_63é":"QS4707Òí98i8iÎ3H7:±á3<=U:I49UÌg8z4MJMN:'4_<3UÌ;U:'U§4_H7636M<?Ë å
8;4,>KÒIN'ÌIHäTiÑE:'T;<?>=4_:eÓ7ÌT]4_H,6ÐU8i0PÎ3ÊZ:±6F>?Ì;JMÑ3:e>=H8;:47Òñ4,ÒSH7N>qN8]Ì:'Ñ3Íz8;>?>?63J3Ó
:U
H_N'L3N'<=:'8;ÑM>?Ñ38]<=H,:±6EUN':>?63H7>=6EU§JòH7<>=8iUÌ4M:â¢JM8;::<?ÌI6EÌxH7>?ÌIÏ7:HU§JM:HWÌi8iNÎ3Ti:'>?ÑMU§8;HW>?478i6Ð>?NH,47<5Ò8;Ò²4_ÎEL3:+6EUJ3H,:e8;H,>?6347>?6E63ÌÓ B
Ñ3>=Ìg638]TiH,Ò²47:'á3Ó7Ti<?T]:':±H,6EUUN':"U4¢:J3>?63:'63Ó7<KÓEÌz>?063Ìx:ëI:Ì±UÎ3ç~:§H7Ìx69LETi8;N]:>KÎRN'N':'ÌIH769ÎEÌ"8HCßaÌ;Ï_ÙLE:1N'×e47N'÷7:6Eø Ìi<=Ý ÌxËÐß§:eÌ±TiîqùC:ÎEúCN'ð¨:'HCB969Ï7û"8;:§<?:Ë§áü:'Ò²:4_:ÌL36º6Eî ýWÌ;JäÑEð¨B¢H7>q8]H7T;ÌI6Eì_:JÍSJõHCû+Ë§á9þ_Ëõ>?ÿ 698;8;ÎE4î :Ðð²U§êSHCH,H,ÏC>?6EH76EJä>=Ìg<K8iH,HT;áE:e>=Ì;H,<?L3>qU8gáEËõÌx8ió;4,H,Ñ3ÒI69TiH_Ï78i>?Na:H78iT;<>?Ë«N: H,:'<KöÐ4_ôTxN<?8S47>?:'8;Ó76947>KN8å
ÍS<=:eH7JRTiJE8;4§Ì 8iMÎ3Õ:÷7ø JM]:ßaÏ7Ú :,<=Õ4_÷WÑ3ÛAUÕ¢Þ:'69Î384WÍ 4,Ò®8;H4±63Íz4WT;Ï7>=8;::S< Ñ3Tii47×;ÞÓ_TiWH7ÙUÙÌñL3ÛAÕ96EÞ J3:'T®Ìg8]7H,÷,á3ÛqÞ,<?:IÙUBªN4¢4_J3U:'<KUÌÌ;4_:'63U§<=ËäH76_T;:'8iÒ²>?N:'ÌITiT;îq:eù JÐEB8iù 4Cð¨H70CÌ ëI"ÎEÕ3>?Ì5ß ÎEH_ø Ì
N× <KSø'H,ÚÙ§LEÌ;×:÷_iÌñ×;ø ÍzÞ Ý ßa>=0,W8;é+ÎÙíMè1Ù2«é1ÛAÕ9ÎEQ®Þ H_êÌÌ;á:':'Ti:Ï76:kWH_N04_Ìé"6EÑEí3NT;Ti24_:á38i>K<=>=Ì:VU¿:HJÌxN>?Ñ6
4_:UHN'>ÑE69LMLEN'8iUHWH,8i8;á>=>?4_:'476ET56 Ì4,ÑEH,Ò36EH,Ti:'T]J
H7<KHWÌxJM8i4_>?:<=Ó7LMJ±U 8iÒ²>=4_4_>?T;6º6EU§ÌÍzH,H,<?Î3Ti>K:Ìx>?N]U
TiÎ :'Ô Ñ3<?47Ti:7:Ó70 Ì;>KÓE:'N'0?69H7B<8;JM:e8i>KJÌ Î3g:'LEá¢4_6EËT;Na>?Ü]8i:× >=Ì§Ï_ÝAÝ :çø]Ü'<?47Ú~4_ÛÓ7×,T;>K6Õ N
Ñ3>?NTiÌ'47BPÓ7é"T]H,íMU2àU>KÌ>?63Ì;Ó1Ë969H,8]6PH7JNa8iû+>?NHWH,8i<?H7<=Ëä<=4_ÌxÓ1>?UÍz>=Ñ38;<=Î:TN4_H,6E6EÌgJ8iBETiH7HW>=8z698]8iÎ3Ìk:î Ì;B;H7úWUð0C:"ÊZ68i>=NU4_U:_BEÑPÏ7H,:TiT;>?ËÌ;47:6±âM8iÑ34"Ti:47Ìi8;ÌxÎ3>?Ï7::_T0¢6EëI476MÎEå¨:UU47H,638;47Î38;:47U§6E>?HWN8;<=>K4_N'Ó,H7å<
Ò²4,47Ò L36PMJ3Û HWÝ ÷W8iÛA>=Õ¢4_Þ6EÌ+Ý4,×eÒÜ é"í3Ti:2 Ì;L3ÎE<q8]HCÌ1Ï_:H7áPá4_:'LM:'6õ8"Ì;:ÑPâ¢:e8;N:>=6EÒ²Ë9Ì;>=>?Ï_63:'ÓÐ<?ËH76EÌx8;JLPÑ3JMTi>=:e47J Ó7ªT]H,>?6õUUH7JE>?63JM>qÓ8i>=LE4_Ìx6>?BP63Ó8;Î3é+:T;íM:25:Ô âM>K:7Ìg8±0 ÓEHÐ0?B3<KTiH,:TiÌ;Ó7L3:<=8i6¢Ì1L3H7U
áP4_áPLM:T8
áPJM::H7:'6<=ÊZ>?6 63Ì;ÓLEÌ;Ñ3N'Íz>=N'8;>=:8;:§ÌiÎ§Ìg47Ò²>?L3Ò6E<?8;N'<?ÎEËä47:ÐUH7J3Ñ3N4747<?:69ÑM8;8i8i:1>=:6¢>=JäL36M4_Ò²>=4_6LET;Ì+U§ÏWH,: H,Ti8;>=474_>?47T;LE6Ð8±ÌI>?H,JM6F6P47JU§JM:'H7H7Ï_á>=:'6EJ3<?Ì47LEÑ3Naç:7>?8i63>=0 ÓEÏ_Óä:10?BÒH7H7îqù_ÌiÌxÌx8B >?3U:BâMù7>=<K:ù_HWN'B8iLMù>=4_8;>?6ðA47ê6 4,0 ÒªU634¢:'ÍàJ3:'ì¢<KÌ+634WÒ²47ÍzT<?:é"JMí3Ó_2:707é+î íMB]úM2FBùCÎEúCH_ð¨Ì B
NN'4_H7Uá3>=ÑE<?>=8gLMË§8iH,4,8;Òñ>?47é+6íM472uÒñÌ;>=6R>=Ó_63H> 6¢L3N'H,U
69áP8S:Ñ3TST;474_ÒñÓ7T]JMH,4_U§UÌ®H7Ti>=6P:'U§Ì+çH,:7>?6E0 ÓEÌS0?B¢HÑ3N]<?H7ÎE63H763<=<?>?:'636EÓ9Ó7ê>?0M63ÊZÓ6Ð8]8iH7Î3Ì;ì>?ÌIB9ÍS<?>=U47Ti>=ì8;>?63ÍkÓ:+8;Ñ3Î3Ti:±47ÑÌ;N'4_47Ì;:Ñ:18iÎ347:"ÒñLPH,Ñ3Ìx:±ÑE<=4,>=åÒ
4,Ò8;Î3ÝA>KÝ Ìø Ý ÑPÛKßaH,Ù T]H7JM8;4>?Ó7>?UU0MÑ3ëITi4WÎ3Ï7::N'Ñ47:'TiT;:"Ò²4747TiÒU4_H7L36ETNÍS:474,TiÒì§é">?ÌIí38i2)Î3::'6E>KJMÓ7:'>?6369:8iÌ"> PH,N6EHWJ8i>=4_>?U6RÑ347TiÒ4WÑÏ74,:±8i:'8;ÎE69:8;>KH,Ìi<ñN4_ÌxÑP4_L3:Ti47N'Ò:ÌkH,Ñ3Ò²47ÑET<=>KÛAN'Ù H7á3>=Ý <?Û>=Ü8gÛAË Ú
"!
$#
&%
('
*)
,+
.-
/-
10
2
&%
&%
3
::âMâMÑ3:N'<?47LM>=8;8i>?H,478;6
>?47U6§4¢4,J3Ò:'ÑP<9H,Ñ3T]T;H,4_<?ÑP<=:49<=Ìx>KÌx:eU½J>?Ò²6T;4_8;U Î3:"HßaÙáEH7×eÌ;÷7>?øNÝ ßz:âMÌx:ËMN'ÌxLM8;:8;U>?476§î=ùeUúWð4M0 JM:'<P:kÒ²Ì;47Î3TS4Wé"ÍºíM8;2 ÎEH,Ñ385T;é+4_Ó7íMT]2«H,U§ÎPH7ÌgÔ Ì8;Ì;Î3ÑP:S:eÑPN>47P8;N':H76_<=8i<?>?ËH7<98iÎ38;4:
Ñ3JMTi> 4W:Ï9T;>KJM:6_:8+Né"4_6EíMÌ;2à>?JM::63TiH7Ó7á3>?63<?:+:ÌH70EU/.4_â¢L3ÑE69<=4_8iÌI>q8]47HWÒ8;>?>?476E6JM:47ÑPÒ:ÑE6EH7JMTi:'H769<=<?8:'<?8]>KH7ÌxU$Ì;ìMÌ'N'BMH,Íz6Î3á>KN]:ÎH7N'NH,N4_6UáÑE:<=>KNÌx4_ÎE6E:NJäL3>=Ti6«Ti:'H698;Ò<?H_Ë§ÌxÎ3:âM>?47Ñ36<?47Ì;Ti>=:UJä>?<?á¢H7Ë T
8;48iGSÎ3:L3>=U<KJM4¢>?63J3Ó§:'<K47ÌI6RÑ3T;Ti4_:ÑPN:4969Ìx8S:eJÐ8iÎ38i:'44_ÑET;:'H,8;T]>KH,N'<?H7<=<ª:<=T;>?:eV'Ìx:L32<=8iT;Ì4_T;<=4_:ÓäÓ_H,î=T]ù JMW>?ð63H7Ó6E:'JRöÐNN47>?6P:'6EÌg8iN'TiËH7>=4,69Ò58zÑEÑ3H7TiTi47H7ÑE<=<?H7:'Ó_<HWÌ;8i:>=H74_Ti6òN]Îäî=ù>=ýW6ð¨0 N4_UÑ3LM8iH,å
8;>?J3>?47:'6698;8;> TiE:'::eJõÌIîqç ù PWø ðäBWÚÍkÛÜ :IÑ3Ý Ti4WÏ¢>?JMÝA:kÝ ø 8;Ý ÎEÛKßa:IÙ J3:H,Ì;6P>=Ó_J 6
47×ÒaH,Û 6e×W:'ÕE6EÚ Ó7>?Ý 63:IÍzÎ3ÝA>?ÝN]ø ÎÝ ÛKßa:ÙÐâMÑ3êa<?047ëI>=8iÎ3Ì:18iÎ3::S63Ó78gÍk>?634+:+Ò²JM4_:T;U§Ì;>=Ó_Ì56Ð4,Ò>KÌÑE4_H,ÑMT]H,8;>?<?U<?:'<?>=>?VÌ;:U J
8;Ý ×e4+× 8iH7ì73:Iø _H7÷WJM0ÏWëIH76_Î38]:H,Ó_: :k:47NÒ38;8;>?Î3Ï7::63Ì;:ÑÌi:ÌN>47PÒ.Nk47Ò²L3:T+H,8;:'L363TiÓ_:>=Ì6E47:
ÒEJM8;ÎE:eÌx:">?Ó7ßa6Ù§×>?6ò÷_ø :'Ý ßIâ98i:'TiâMH_:NaN8iL3>=638;Ó>?476ÑEH,BC>?T]6EH,N<?<=<?:LE<=JM>KÌ;>?U63Ó+>KÒ²Ì":H,J38;:'L3UTi:47Ì®6EÌ;Ìx8;LET]N]HWÎ
8i:H_J Ì
8;Ï¢ÑEL3>?H,HTiT]:eH,>?ê
<?U<?:'H,Ñ3<?6P>?<?Ì;:'J UU8;:'Î38i69:R4F8iH,:>=8;UâM>?:47Ñ3N'6ETiLMÌ4W8;Ï7>?4747:R6F6ã8;HãÎE4,:«Ò1÷,HÛKÑPß]:Ú 6¢aTxL3ÛÒ²4_U
MT;U§Ú¨áPø]:÷òH7T
6EÙN47:Ò1ø'Ùé"4,Ò±×íM2½8iÎ3:áPß C:<=ßa6E4MÚ¨N]Nø'Î3H,Ù <U§Ó_H,çT;H«Ti4_ìML325Ì'6E0 :JM6_õ:>?8i63>=LEÓºU
H,Ñ3<Kå¨ÌxTiáE4ò:'H_Ñ3>=Ìx6¢Ti:e4MÏ7JõN:e:ÌgGSÌi8iÌ;>=:'Ó9474WHWTÍz8iLE:î <qÒC8;Î3ð1H,:RLPT]N]ÌxLEÎ3:eÌ;>=Jæ:8;:e>?4,Na6 åÒ
Ñ3ßaî CÙ<KðHWB7×e8xT;Ò²÷7:4_ø Ñ3T;Ý U§ßT;å:e8gÌÌxË¢:ÑEÑP69T;:8i:eÌñÌxÌx8;:ËMÎ36_Ìx: 8i8;::EJ UTiÌxÌ>?8®6à05:ëIâMî=ùÎ3Ñ3ï,:<?ðq47Ô)T]ÍSHWH,478i<?Ti>=474_ìõ6E6
ÓäÑE>?T;6Íz4_8;ÑP>=8;Î349Îº:zÌx:eLE8iJ9Î3Ì;Ôà:z:Ð4,ÍSÍzÒª47ÎEÌiTi>?N'N]ìòH,Î <KNH,4_N'áE476E<=:I69N8;L3H,>?TiT]6¢TiN]L3:'Î3:69>=Ì8;8;:<?8;ËòNÎ38;:RNL34_TiÍk6E:ÌJM4_Ò²LET;4_ìõNT.8;47:eé"Jõ6ãíMá¢2FÌ;ÎEË N'H747QñT;:eU>?Jº63Ñ3ì_LMU:'8]<.:HW:'U8i8
>=4_47H,6ETi<Ë Ì 0
:'Ï_:'TzëIÑ3Î3Ti:47ÑÑE4_H,Ì;Ñ::'JªT§0 >KÌ§4_T;Ó9H,63>?V':eJ H7ÌÒ²4_<=<?4WÍÌ'05ÊZ6u8;ÎE:63:â¢8Ì;:Na8i>=4_6æÍS:Ñ3Ti:Ì;:'698H76æ>?698;Ti4MJMLENa8i>=4_6u8;4
H,í¢6E:NÌ;8;ÍS>?47:'Tz6EÌ Ìx:'E8zBÑ3úMT;B4_H,Ó76ET]H,J UUÍk>=6E:ÓEJM09>?ÊZÌi6NLPíMÌ;:ÌNa8;8iÎ3>=4_:6RJMý:Ì;ÍS>=Ó_:6JM4,:Ò®ÌiN8iTiÎ3>=:á:":638;Î3Ó7:>?63ÑE:H7Ò²Ti4_H7T1<=<?8i:'Î3<?>?:
VHWN'8i47>=U4_6Ñ3LM47Òñ8]HW<?4¢8;>?N47H,6<Ó747TiÒ®478;LEÎ36E:JMH,>?636EÓEÌ;ÍS0¢ÊZ:'6 T
T;Ìx:':8i<?H,Ì+8;4,:eJÒ.<?ÍS47Ó_47>?TiNìÐÑ3H,Ti6E47JÓ7T]N'H,47U§6EÌN'<=0ELE25Ì;:'>?47T;6EÒ²47ÌITiU§H,TiH,:6EJMN'>K:Ì;N'TiLE:Ì;Ì;Ì;L3:<qJä8]Ì">?6H7T;íM::Ñ3NaT;8i:e>=4_Ìx6E:69Ìz8;ï§:J«H,6P>=6ºJ í¢E:0 N8;>?476 MBPÍzÎE>=<?:
4_ÑM8;>?U>=VeHW8i>=4_6B
Â Ä ªÃ òÄEÅ .Ä ÉxÂ
"JæÕ3:ß >=Ó_Î9ø 8;>?:ÌÐø'ÚH_ß ÌÐH ø'Ù 8;4¢,47ÕE<ÚÛ8;Üa4 ß
Ý
Ý
ã
î
W
ï
ð

ç
3
H
0

ì
0
E
H
0
Ú
ø
ò
×
_
÷
ø
ß
ø
Ù
W
P
Õ
~
Ú

Û
Ü
e
ß
ê
I
Í
7
H
§
Ì
M
J
e
:
x
Ì
?
>
7
Ó
E
6
:
u
J
=
>
à
6
i
8
3
Î
«
:

U
K
>
Ñ3>=6ãTi4W<=Ï94_>KÓ7JM>K:+N§ÌxÑ3:TiU47Ó7H7T]69H,8;U>KN'Ì®UÒ²>?4_63TkÓ<?47<=:eÓ_H7>?N1J3ÌÑ3Ti8;474«Ó7ÏWT]H,H,UTi>?47ULE>?Ì63ÓN'47ÍzU>q8iÑ3Îò<?>?NÕHWø8iÞ >=W4_Ú6EÛÌ'×W0ñÕ ÊZ6FCß ÑEH,,T;Û Ý8;>KN;LEø'0M<?H7ëITÎ3B:">=8
>?69<?:8;TiH_4MJ3JMÌLE8iNa48i>=4_8;ÎE6Ð:4,<?Ò4_è1ÌiÌé14,Q Ò
Ñ3>?HòÌTiì_47ÒH7:'Ó7ËF<?T]Ì;H,:RÑ3UTiÍ0ª470ÑÊZTe6 :'0 8eT;0®Ìx8g8iËºHòH76E4,Ó_Ò1J3>=Ï_H,<?:'47T]6ãJÓ_>?NÑE<=4_T;Ó7Ñ34_>KTiÓ7N§47T]Ó7H,Ñ3T]UTiH,47U0Ó_ëITiUH7ÎEU>?63>?ÌUÓ ñÑ3>?63Ti8;47Î3ÓäÑ:R8;:'Î3:T;:âM8gËFT;>KÌg:Ð8iJM:'>K4¢Ì6E:N'6EÌ:ä4ò6347H,47Ò"U
8H á3Î3>=4_MÓ_<?ÕEL3J Û >=8g8;EËòTiøRL3>?:6F>=69H,Íz8;6¢:ÎE6EË¢HWJMU8:e47Jã>KTiÌ:U8iT;Íz4MLEJMÎ3::':<I6æH,6EÒ²è14_JºT
é"Íz:eQ¿H7ÎPN]HW>KÎ 8Ì
H,N<K<?H7<=4WÌiÍSÌx:e:ÌJ 4,>?Òz6ºÑ38;TiÎ347:Ñ4_Ñ3ÌiT;H,4_<KÓ7ÌT]ÎEH,U§HCÏ_Ìg:§ÔàáP>:0 :_:'0=6ãBªÑEJ3T;:'4_Ï7Ó7:T]<=4_H,ÑPU§:eÌ±JõU§8;4HCËõ8]H7H7N]J3ì¢U<=:Ð>=8
8;Î3JM:Ð>KÌxÑE8;>?T;6E4_Naá38<=:>=U6EJ3:'47ÑÒz:'Ñ36ET;JM4W:Ï¢69>K8
JM>?U63Ó«4MJMÌx::'U§<KÌ'0ñH,69ÿ.8;H,>KN'Ti>=Ì4_LE8;4 Ì
<=Ü]4_× Ó7ÝAÝ>Kø]NÜ'Ú~ÑEÛT;×,4_ÕòÓ7T]4,H,ÒU§>=69Ì8i:'Íz6E>=JM8;Îà:eJRè1Ué"4MQSJM0.:<?ÊZÌ6æç WÑPÕEH,ß T;8;>KøN±L3<Kß'H,øTeÚ~B5ßeê4763Ò²47:TNH
<KH7Ñ3ÌiTiÌ
474,Ó_Ò"TiH7ÑEU T;4_îÑPïW49ð¨0 Ì;H7"<?ÌÕ3ß H,<?<?ø 4WÍÌø'8iÚßÎ3:ø':Ù âM>?,Ìx8;ÕE:Ú6EÛÜaNß :47Ò+H
H63,çH76E:'<?Ó9JãÌ;HW4§8i8;>=ì¢ÎE4_63:'6òTi4W:RÍzH7Ì6«>KÌ§ÒH7H,>?Ì69>?<=8;L3L3TiÚ >=:78;0>?Ï7é"Ý ø:íòH7T;Ì×e:÷7<=ÍS>?ø ::'Ý Ì"ß<?<47H76òøÌ
Ù HÒ²4_WÌxÕPT;>?UU§Ú~ÛÜÑ3H,ße<z<=:êI:>KJMÏ¢Ìz:>?JM8iEÎ3:636E:>=8;NU>?:474_6 Ì;ÌxÎ3814W+ÍzTi>=:'Ï_>?Ñ363:'TiÓò6ò:Ì;8iH:'ÎE69Ó7HW8]Ti8ÐHW478;L3é+>?Ï76Pí½:JH7ó;Ñ3Ñ3Ñ3T;Ñ3Ti4_47TiÓ74_ÑT]H7:'H,N]TiU ÎR<=ËMôò>?6J38;H,:Î36EH,>KJ<KÌ1ÌN'Ó_Íz<?>=H_Ï_>=Ì;:'8;ÌÎ6 B
Hu¨Û óg8;Ti::'69U8iHW4W8iÏ¢>=>=Ï_63:ÓäôH,U<?<4MTiJML3:<=<:eÌ1N'47B69Ík8i:§H7>=63N'H7>?636õÓJMH,: 8;E4_63U:§Ì1HäL3636E:'JMÍ*:T"Ñ3è"T;4_é1Ó7QuT]H,ÍzU Î3>KN]ÎòH,TiçA8i:Î3N: 4_69;ø]8;÷T]H7EJMÜ'Ú1>KNa8i47:Ò JRá¢Ë Í0 T0 8B0 H,6EJ ê"á¢ÛAË Û
T;4,:Ò U$4WÏ98i>?ÎE63HWÓ8§H,H,<?<Ti:8;Î3H7:Ñ3H,Ñ38;<?47>?NU§H,á3ÌS<?L3:6EÓ_J3>=:'Ï_T:'6 è1é"Qº0 Ò²Ti47U >?8iÌÎ3:±HòT;Ìx:8iUH76EH7J3>=6EH,>=T]63JFÓ<?Ti47L3Ó_<=>?:eN§Ì'0ÑET;4_Ó7T]H,N'U4769B8iH7Íz>=>=6P8;ÌkÎ34_4_LM638<?Ë§638;:'Î3Ó949HWÌx8;:+>?47Ti6 L3<=H_:eÌÌ
ÒH,>?<=LEH7T;6E:_J B3ÍzÎ3>KN]NÎ4_>=H_6EJMN'>?UJ3:7>q8]0MÌÊZ6HL3Ó7:6363> 9:'L3T]H,:<BM>?6_H
8i:'ÑE6ET;J34_:Ó7JRT]H,UU 4¢ÍzJ3:'>=8;< Îè1~é"0 Q U§>?ÌHCËH76 H7J3WUÕ3ß >=8ø U±LEß'<qø8iÚ>=Ñ3ç²<?4_:T±H,ßa6PÚ ÌxÍS:'Ý ø
TzÙ§Ì;:×8iÌ÷_0ø Ý êz>qÒ
JM:'ÑPWH,Ù T;8;UÝ ø :'698iÌ+BM:7>?Ï70 ÓE:'0?6«B H§JEHW8iH7áEH7Ì;:N4_698iH,>?63>?63Ó§>?6MÒ²47TiU§HW8;>?476Ti:'Ó9H,T]JM>=6EÓÑ:'4_Ñ3<?:Ík4_T;ì¢>?63Ó>=6«JM> :'Ti:'698
ÍÒ²kT;:I4_U ÍS47:eL3H7W<KN]JÎC<=>?47ì7Òñ:S78i8iÎ3e4±:',UÌ;e:' <?:NZ85C 8;EÎ3§:z:'Wâ¢>KWÌx 8;>?~63 ÓW,JM :'ÑPWH,eT; 8;ZUC :'E69Ð8iÌ®WH76EWJ
47W63e: 7çH7T;A¢áE>q8i TiH7ET;ÐË3êCT;:WÑ3 T;~:eCÌx,:W69e8iHW 8i>=¨Ï_C:k E:U Ñ3<=4WË_:':
WW, a7,C WC 7]9 ,¤ ¤ WC 7]_ , 7 ,e ]7_ ,]9 W E
, a77 7]_ , CW ,]9 , ÐWC7 a,7C We 7]_ ,' ,]9 ,]9 3
%
%
2
%
0 1
-
3%
!#"$"
%
&('*),+.-0/213546'8794:0794;+=<!/>:?A@B1C:)D-/13546'87946:FEG'H),IJ'H<K+=+=?L/2IM
- ON
!
' KP
2
- RN
%
%
(PTS
YURZ
W
`_
]W
!
VU
[U
9W
\W
!
U
LQ
1 XW
!URZ
>P
!
^U Z
Wba ,W
-
8Wba
c#d . feghS
TiAj
j
k
JiAr
kTl m
8P
,iAr
,lAs ;mCt
>lAs 6mCt
TiAr
>i *n
onHn
Tl m
TiAp
TiAr
>lAs 6m!l
6uvlLs ;!
m l
j
q ,l
j6m
JiAr
k
>iAr
6uvlAs
Ti
>lAs ;m
;m!l0r
>l m
x w
r
6u
ëIÌ;H7Î3U:Ð:äTiL3JM<?::ÑEÌH,H_T;8;Ì;UÌ;:':'T;69888;ÎEÎEH,H78 ÌH,<?Ti:H7
J3Ëõ á:'Ì;:Î36æ47L3Ì;<K:'Jº<?:áNa8i:Ð:Jª>=6º0®é+8iÎ3íF:Ñ3Ì;Ti474M<?LMJM8;LE>?47N:e6ºÌ 4_ò63<=ÑËõ4_>qÌiÒzÌx>?63á34ò<?:ä4,H,8;6PÎEÌx:'ÍST:'UT:'ÌxU
:'8iáPÌ:TçAÒ²4_4,TÒI8i8iÎ3Î3::
Ñ3Ti:JM>KN'H,8;:Cê
!" $# %&' !" (!")
P
*+
**,!" $# %&' ! -!()
ßÑ3¢Ti47Û ]Ó7é1ÚT]Ì+H,8;4FUTi:UTiN:4_>?N'63Ó74763ÓE6E>?07N'V'Q>=:e<?J>?:RTiÌxá¢8;8kÎ3Ë47:ÒHäÑH,6¢:<?<~L3N'B9L3UÍk<?á>?:1H7:'T§63T+:'Ò²4,:e:ÒSJH,8;H,8;L3LM4Ti8i:ÑEÎ3ÌT;474WT]47Ï¢ÌÒ±>KJMî=é+ù :3íãÑ3BùTiÍz477>=Ó_ð8;BPTiÎàH78;Î3U8i:Î3U:H7:J38;Ti47T]Ì5ÑMH7ÍzJ38i>=>=>q4_8;8iÎ6«>=4_6EH4,H,ÒkÍS<zé+HCÑ3ËíTi474,TiÓ_Ò: Ti9ÎEH7L3H7U>?6ET;JM:eÏ¢Ì1<?>=>=6E:H ÍÓU4,Ò±L37<=÷,<?8;47>?ÛqÑ3Þ,Ó7Ù<?>K:N
:>?H,Ì®âM6EN'>KÌ;Ìg47ÍS8]6EÌ':'Ì;0WT®>KëIJMÌx:':'Î38iTi>KÌ:Ì0JÎE."H7:6963Ì8i:záH,:'N>?:'<?4_:6L3J<KHWJ
Ò²8;Ti8;H,47:'8xUÖU8;:8iÑMUÎ38iÑM::IJª8.Ñ3BC8;TiÒ²4±474_Ó7T5TiT]::H,Ìxâ3UÖ8;H,4_UT;4_:I63Ñ3H+<=<?Ë:7UBC>=ÒPLE4_>=Ì;T;8®>=:6E>?ÌÓóx8;:ßT]6_7H78]øJMH,>=>?8;Ú<=>?Û:e47Ü J6EÝ>?H76ß'<?ô"ø'ø Ù Ï¢_>=Ü ,:ÕEÍÚH7ÛBW6EÜaÍzßÌ;ÍkÎ3î=:'ù :TiCT:zð¨Ì;BeH±:Íz8eÌxÎ30C>?è163:'TiÓ7:':S<?Ï_:H:'T;óxÒ²8;U47Î3Ti4M:U<=JM:eL3:'Ì;<K<KÌôH B
ÌxÌxì_>?Ti:':ÑMJ§8i>?TiN:H,Ì;<L3Ìx<=8:B¢U§H,H,6E69J8;>K>=N'6ÐÌk>=>?8iÌkÌS4,Ó_ÒA:'8i:'636ä:Ti>=H76E<3H_Ò²JM47: Ti9U LEH,Ñ38;Ti:4WÔàÏ9>KJM:_0:eÓPÌ.0=B9:>=â36äN':U§ÌiÌxH,>?6¢Ï7Ë§::'ÌxâM>=8;Ñ3LET;H,:e8;Ì;>?Ì;47>?6EÏ7Ìk:>=Ñ8I4WJMÍk4¢::eT"Ìî=63ù 47Wð8k0¢Ñ3ëITiÎ34WÏ¢:">?H_J3J3:JM8;>=ÎE8;>?:+476EJM:'H7å<
<=U:Ï7L3:<=8;<.>?Ñ34,Òz<?:63H,4_6P6MÌxå¨ÍSJ3::'8;T:Ì;T;:U8]Ìz>?63áP>KÌx:eUH,T]BÌ>KÌH,<K>?Ì;6E4JMN':'<=:e49JFÌx:HTi:T;Ì;:e:'H,U
<®á363<K:H,:6EJ N':"Ò²4_8iT4ÐHÌx>?6¢UL3>=U<KH,áTz:'ÑETT;4_47ÑPÒ49H,Ì;Ñ3H7Ñ3<?ÌI<?>KN'Ñ3HWL38i8>=4_Ò²6E47ÌTiÍS0D«H7TiH,J>?69>=68iH,47>?638;Î3>?63:Ó T
NëI4_Î3U>KÌ"U
N'L3T;63:eHW>=8;8;>?:e:Ì1ÌgÔ H76òÌ;LEH7N]J3ÎòJ3>qH_8iÌ>=4_8i6EÎ3H,:<<=Ü :EÏ7×W:Û<Ü]øÐ4,ÒH7Õ6EJ×WÕP®Øx÷7ÛAÚø'ÕÚ¨ø øaßiÙ
ßÛANÕP47ÛK6PßaÙÌg8iT;LE476N8iÌ"8i47LEÑ«Ì;:47J«Ò®8;>?6Î3:
8iÎ363:476MJEåZHWJM8i:'H78;áE:'H7TiUÌ;:
>=6EN'>?47Ì;UU U>=6LE638i>qTi8gH,Ë_å 0
>?JMÌ>=8;>=>?6R47é16E8;J3H7ÎEJ3<:>q8i<?Ó747>=4_T]Ó_6EH,>?N6¢H,L3<?Ñ3<=<KË_T;H,BM4_Ti8;Ó7>q8gÎET]Ë:+H,U4,ÑEÒñT;U:e8;Î3Ìx>=6E::6EÓEN]N0PÎE:±GS474,47>KNÒ8;:ÎòUÌIH7L3U§T;<=8;:H_>?JMÑ3Ò²47:<?:TiHWUH,86PÌ":Ìx4,H_ÍSÒ±N]:'Î÷7Tz×W<?Ì;:'0Õ :Ï_8i/ Ú:'ÌI<,0 <?Õ:H_× J3ÌS638;4§476MHåZJM63:':8;Í :'TiUÌ;:>=8z6E4,>?Ì;ÒU T;: P98iL3Î3>=:Ti:'JMU> ::'6_Ti8]:'ÌI6P47N6 :
8;Ñ3Î3Ti:4WÏ9Üi>K×,JMÙ :HÐMÓ7Ú ,49Ú~H,Û<=×,å¨Õ J3>=TiÝ :Ù§N8;øi:Ü Jä,8iL3ÕEÑ3ÛKßa<?Ù
:åZßHW8xLEåZÌxHW:eå8;Jª>?0U+:
>?Ï7H7:6E6ÌxÍSH±:'ÑETT;4_ç²>Ó70 :_T]0=H,BªUHÐBe8;8;TiÎ3L3:: Ó_Ò4_H,H7<K<9Ìx:47ÒPH78i6EÎ3Ì;:1ÍkN':47T1U47Ñ3T±LMH8]HWÌ;8;L3>?áE476Ìx8;>=>K8;Ì®L3638;47>?478®6P8;ê4 B
H7Ìx:'Ì18xåZ>=6HW8;8iå¨H,TiH_å~8iJM>=>qU8i>=:§4_6EH,H,6E<Ì;<=ÍS4_:'Ó7T]>KN±Ì'0ªÑ3ëIT;4_Î3Ó7:T]H,8iTiUH_JMU>q8i>=6E>=4_ÓE6EBMH,á3<®LMTi8":Ì;8;47Î3<?:LM8i47>=á4_g6M:eåNaáP8;H7>?Ï7Ì;::Jò>?ÌIN'478i4Ð69 8;TiTi:478;<5LELET;6 Ì;:J E>?6º× Ý ø <=4_,Ó7Õ3>KN
ß ÑEø T;4_Ó7ß'T]øH,Ú~ßaUÔ U>~>=0 63:70?Ó B
>?Ì<?H7ëT;4«Ó_:'H_<?Ë§N'N'>=476EUH_JMU: 94¢LEJEH,HW8;8;:_:B3Ò²H,4_6ETJRH,<?Ìx<.ÎE8i47Î3L3:<KJRÌ;:§Ó763>?Ï74W:+Ï7:Ñ3<<?H_H7NÌ;:±Ñ:8iNa48]Ì'J3B> Ík:':§Ti:':69U81á3NT]4_H769N'8;:Ti47H<ªH,J36E> Jä:':TiâM:'69:e8NLMÏ¢8i>?>=:'4_Í 6RU4,Òz:eN]<=4_ÎEÓ7H,>K63N>KÌ;Ñ3UTi4,Ìå0
Ó7H7T]Ì H,U"Õ3Uß >=6Eø ÓRLE6Eø'JMÚ:'ß T
é"ií×;Þ Bñ>=W69Ù8;:ÙT;ÑEÛAÕ9T;:'Þ 8;:J H7ÌæHõî=Õù ×E1WB'ø ù Ý Cð¨0;×iÊZÞ6 WÌxÙ>?UÙ
Ñ3ÛA<=Õ¢:õÞ 8;:T;U§7Ì÷,B.ÛqÞ,8iÙ
Î3:õÔàÓ_8;4_ÎEH7H,<8
4,ÍSÒ:§H76Íz>=é"<?<.íMTi2:Ò²:'Ñ3TTi8;4,4 å
Ó7ÌxÑT]H,:UN'> N'>?ÌòHW8i8;>=4_4 6 >?J34,:'ÒÐ698;H½>=Ò²Ë Ü]× ÝAH*Ý øiÜ'Ü]Ú× ÛÝA×WÝ Õø]Ü'Ú~×Ûº×,Õ ß'ø'× Úß ,× Õ3ß WÚZø ×WãÙ
ß'ß]ø0±Ú~ßa/Ô H_N]>~ÎÖ0 :70?T;B1L3:e<?:H7N]Î>?6 Ñ38;TiÎE47: Ó_TiÑ3H7TiU 47Ó7T]>KÌòH,U >?698;Ñ3:'<?TiHCÑ3ËMTiÌ«:8i8;:Î3J¿: H_TiÌò47<?H:
4,Òäø 7H ÷ Ü]×W24Õ3ßa3 Ú WÛAÕPÚãî=38ù ,7 ðÕ476½×,Ú98;Î3:àN4_<=<?:ÕN×W8;Ú>?479;6¿: 47>=Ò6EJ3Ìx>?:'N8iHWÌº8;:eÌ;Ì®ÑP8i:eÎEN>HWE8e:B_J½ÍzÎ3á9:Ë 63:'8iÏ_Î3:':æT<3 ÑET;4_Ó7T]H,U 38"7§H H,TiÓ7:z:'6EÑE:'H7TiTx>?8Nã47T;ÒL3H,<?6 :
HÑP,6E:TiÌ;Ì;ÍSÑ:':TñNaÌ;8i:>=Ï_85:H,@ Ò²6E,Ti=J 47565,U*9 56 @ 8;6T]5,H75,JM 5,>=8;9;>?47:à6PH,H,@<ETi,<?:.4756Ó_5,635>?47N 8Ñ3BT;8;4_Î3Ó7:T]6 H,Uø U7÷>=6EÎEÓ±H78;Ì4
8;é+4"íMáP2:S>=>K6Ìk8;Ï7Î3:':ITiËH,6E>?UÌ;ÍSÑP:'4_T@Tx8]Ì;,:H,5,85695685H70¢ÌñëIÍkÎ3::"<=<0eÑ3ëIT;4_ÎEÓ7:kT]H,Ì;Î3U>qÒAU85:'4,TÒ
8;>?H,ÌÎ3Ñ3:<=ÑE:e<=JN'>K47N'8;H,U48;Ñ3>?8i47LMÎ368]>?63HWJMì8;4_>?47U§H76äáPH,4_>?>?ÌI6ELMÌZ8.HÔ ÍzN:74_Ti>q0<=8iÓE<?:>=0?63NB7Ó8;Ó_>?Ti47Ñ3H76T;Ñ34_47ÎÐÓ7ÒñT]Ñ3H,Ì;Ti:U§478iáEÌÌ50M<=H7:ëIÌ®UÎ3U§Ìk>KÌkH7JMÑ63:H7>=:'ÑET]<PL3Ì;ÍzÑP<?H,>=:e8;8;NaÎR>?8;63>?ÌxÓ§Ï7:':±8Sß'Nø'474_ÚÒßzU634,:4MÒªÌSJM:6E:<=:Ì HWU 8i:eL3:JMT]69Ó7H,8i:e<ÌÌ'B_>=6B_H,Ñ36PH<KJH,<K63H,8i63TiÎ3Ó7>?:63:"4_Ó
6¢LMÑ3L38iT;UN'4_47áá3U:'<?:':TIU§4,4,ÌÒÒ
JMJM::H7J3<5LENaÍz8i>q>=8iÏ_Îõ:J3Ì;:HW8i8]Ì+H,áE47H_ÒkÌxH7:zNN8;>?4_47U6EÌU0L3é+63íM>=8;2 >?:ÌÎEB7H7H_Ì"Ì5T;>q:e8.N::6E>=Ï_H,:á3J«<?:N'Ì®478;6E4Ì;>?TiJ3:':'Ñ3T]TiHW:8;Ì;>?:'476968®>?JM6ò:Òì¢H763L34W<q8SÍzH7<?:ÌiJ3ÌxL3Ó7U:ÑMTi:'8iÑE>=4_T;6E:eÌÌx:B,6_N478]HW6P8iÌg>=8i4_Ti6«H7>=H,696E8iÌJ B
L36EN'>0:'? T;8iH,>?698gË@BH,A 6PDJCB63@ 4_6MåZJM:8i:'TiU>?63F>KÌxUE ÛAÕ G ä÷W@ Û ;ø]Ü'H Ú Mÿ.H,Ti>=î4_CLEð¨0Ì5:âM:N'LM8;>?476U4MJM:'<KÌ.ÎPHCÏ7:IáP::'6§Ñ3Ti47Ñ4_Ì;:J
>=H76ÐÌ"8;>=Î363:"Ò²:'<=Ti>=:'8;6E:TiN'H,:8;L3:'6ETi:IÓ7>?8;634:ÌÌ;L38;Ñ34äÑÌ;47L3T;Ñ38kÑN'4747T;U8+Ñ3é+LMíM8]HW2 8;>?Ì;47ËM6§Ìg8i47:'ÒU§H,Ì6EÌ;î ÍSý3B:'ù TPÌ;B :8]ð¨Ì0PH,ÊZ6«6PJ§8;Î3Ìx4_>KÌ1UÍS:1474,TiÒìR8;ÍkÎ3::U H_JMÎE47HCÑ3Ï78+:zH,á6ò:'::6âM:H,N'Ñ3LMÑE8;<=>?>?47:6J
UßaÙ4¢×eJ3÷7:'ø <¢Ý Ízß«Î3Ìx>KËMN]ÌxÎ8;:>?ÌñUá3L3îqùC>?<=úC8ð¨4_056ëI8;ÎEÎ3::SN]>KJMÎE:47H_>KNÌ:RÑ3Ti>?Ì:Ì;JM:'>K69Na8;8]:eHWJ8;:e>?6Jãîqá¢ù ËF,ðM8iH,Î36E:JT;: :<?H,:Na8;>?8iÏ7>=Ï_::'<=ËF<?Ë±Ì;>=>=UUÑ3Ñ3<?<?:'>?UN'>q8g:'Ëã698i4,:Ò1J8i>?Î36>K8iÌÎ3::âMÑ:47N'ÑELM8;L3>?<?47H76 T
>KÌ;URî 0®CëIð²ê
Î3:õ8;ÎEÌxH,ËM8ÐÌx8;>?:'ÌU >?6 N47N]6PÎEÌxH,>KTiÌgÓ78]:Ì§4,4,ÒÒ
8gUNÍkTi4¢:4ºH,J38;:'ÑE>?<"63H7Ó"TxH78]6EH,Ì Jæ8;k47HõU>q8]ÌÑE8iT;H7H,:á3ÑEÑ3<?ÑET;:4MH,ÌTiN'H,:':6E69ÌiJÌx8§4_ÑPTRÌxL3:ç~Tx>=8iN'Ò²4_H7H,T;á3<?<?U>?:<=J>=>?8g63Ë ÓÝ 8iÑ34F]Tiß'47:ø«Ó_âMTiÑ3>?H76u<?U 478;>=8iÓ7Î3HWTi:º8i47>=LE4_ßa6EÙ§6àJM×4,>?÷_63Ò±ø ÓEÝ ÑEBCßòH,H,T]Ìx6EH,ËMJ<?Ìx<=8;H,::'<=6U
N>?Ì4_áEUH_ÑEÌxLM:eJ8;>?634_Ó6
8iH"Î3<=:"4MN'H7H76E<¢Ì;Ó7ÍkTi:47TL3Ìx6E:'J38i>=Ì634,Ó1ÒªÒ²8;47ÎET5:1Ñ3Ó7Ti47Ti47Ó_LETiH76EUJÌÑ3ÍzT;4_>qÓ78iÎT]H,H"UT;07:eëIÌg8iÎ3T;>K:"Na8iÍk:4_J
T;Ìxì
Ë¢ÑP69:8iH,Tx:Ò²â§4_63T;Ó7ç~UÌg>?8i63T;:e:74_JBe63Ízá9Ó7Ë
Î3<?Ë±>K8;N]TiÎEÎH7:163>KÌÑ3Ó7>?Ti:k6
:'T;Ñ3N]:eTiÎEÌg4M8iH7NT;T;:e>KÓ_NaÌ;:.8iÌ;:474,J TÒ
Ñ3Ti47Ó7T]H,U§Ì+î Cð²êa0¢ÊZ698;L3>=8;>?Ï7:<=Ë_BMT;LE<=:eÌSH7T;:+Ti: 9L3>?T;:eJ§8;4§N'47698iH7>=6º÷7×WÙ WÛAÕ ;ø]÷,ÛÜ ,Ú¨øßaÔ >~0 :70?B3Ñ3Ti:J3>?NHW8;:eÌ
_
'
0 1
1
_
0
3 8P
_
S
)
_
&
&
/
&%
(' ('
1
"
!
(' 8P
%
P
1
7(4
24;/>:?L<
+
A4;+=4;/>:<v:?L),/
[46@ 2/) L),I #M
P
_
2
&
36>=64,8
HT;J3:47<=Ë¢U§>?63H,Ó«>?647Ñ36 Ti:H7J36¢>?NËòHW8;Ti:_:N09LEû"Ti47Ì;>=U§Ï_:§H7>=JM6ä: Ñ3ET;6E:e>qJM8i>=>K4_N'6¢HW8iÔ :ÌSH76EH,6EJFJÐ:e8;H7Î3N]:Îº>=TIÏW:'H,â9Ti>?8iH7:'á36E<=Ì;:§>?47>?6E6ãÌSHH,TiTi:1L3>K<?JM:Ð:'>?69Ì8i>T;E: :e9JL3>=H7Ti6E:JõJ8iN'4ò47UH,Ñ3Ñ3LMÑ8i::H7J T
8;HÎ36ETi47H,LE8;L3Ó7T]Î§H,<JMg:'4_Ñ>=:'6§6P47JMÒ:'8;6EÎ3N':ËÑÓ_4_TiH7Ì;>=Ñ38;ÎE>?Ï7Ì:10,ëIJM4_Î3U§:Ì;H,:>?6H,TiÑE:IT;LE:eJMÌx:e>?NJ
HW8;8i4:Ì®Ñ>?:'6§T;Ò²8;47ÎETi:U½áP<?4M4¢JMNËH,<MH,Ó_6PT;J4_L38;Î36E:JM6Ð>?63N]Ó±Î34,:ÒN]ì¢:>?H_63N]Ó±Î
8;TiÎ3L3:<?U:aÔàH,8iÓ_H,H7ì¢>=>?6P63ÌgÓ 8
8;Î3:."6E:'L3Ó_TH,U§8;>?Ï7H,:±>?6º476E>=69:8iÌ:'0 Ti:Ìx8>?Ì±Ò²4MN'LEÌx:eJº476 8;ÎE:Ð:'63Ó_>=6E:ÐN47UÑ4763:6980é J3:8iH7>=<?:J Ñ3Ti:Ì;:'698]HW8;>?476º47Òk8iÎ3:
Ñ3:Ìg8iâMTiT;47:LPN'ÑNaLM4_8;8;Ì;LE>?:47T;:Ð6ºH76ã47NÒIËMÛAN'ÕE8;<=Î3Ú :
M:ÛAÒ²Ú47ßaÛÙ§T±1Cø8i×Î3÷_4W:§øÏ_Ý :'ßÐNTi47Ï¢:'U>=63:Ó_Ñ3Í >=L3638i47:õHWÒ8iîq>=8iùC4_Î3úC6ò:
ð47>KáPÌÒSH74_Ì;Ìx>?8iLMN
H,8iáEÌ;:>?<=âMJ3:::§N'ULM8;4M8;Î3>?JM:ä47:'6 Ì;<KÌ N'H,47<?Ñ8iÓ7Î3:§4_:ÐT;4,>=8;NÒIÎ34_8;UUÎ3>KÑE0ªÌ
LMQÑE8i>=H,ÓPH,8;05Ñ>?47:'ù
6òTeÑ3047TiÊZ:ÒS6ºÌ;H7:'8;6E69ÎE8]Ìx>?ÍSÌ1Ì
:'8iÌxT±Î3:eNa:Ì;8;:>?4W8i47Ï7Ì6F:NTiÍSH,H76<=: <
áPJM>K:«Ìg8iJ3>=6E:NÌi8«NTi>=H,á6E:Ì;JuÍk:H7TRÌ§Ì;H :8]63Ì'4_06MëIå¨J3ÎE:: 8;:N'T;47UU>?63Ñ3>KLMÌg8]8iHW>?NR8;>?47Ñ36 Ti4MN>?Ì:ÌiH7ÌgÔ6 Ì;H7>=<q6P8i:'N:RTi6E:HWH78iN]>=4_Îæ6)Ñ34,TiÒ
47Ó78gT]ÍkH,4æU47UÑ:'T]§HW8;HC>?Ë476PH7Ì'JMB U>=8ÐUL3<=8;H,>?Ñ36E<?J :
+ 0'ëIÎ3: 47Ñ:'T]HW8;>?476>?Ì>?6
N]ÎEH7T;Ó_:.4,ÒPN'47UÑ3LM8i>=6EÓ18iÎ3:8iT;L38;ÎÏWH7<=L3:S4,ÒH,<?<_8iÎ34_Ì;:
4747HW8i6R6347:äÍzU§4,Î3Ì+Ò:8;8i8iÎEÎ3Î3H,:':8TSHW8iÎE8;Î3HC4_:'Ï7U§Ë:§ÌH7HT;63:"JM47:'8
8;Ti8;:'L3Ñ3Ti:+TiU:47Ì;>=:'TS6E69:Ò8H,J <K>=Ì;6ãÏW:eH,êa8;<?03L3Î3ëI:§:ÎE>=N: 6 L3 Ti8iTiÎ3:':Ð698NL3 H7Ti6ETiÌx:'+ ÍS698:'TH,6EÌx:'Ì; 8RÍk>K:ÌIç>~T>=0 :76Ìx0?:'B®N]8ÐÎEHWH7ç²8;>4_T;0 :_Ó_U§0=:1BÌ4,8;ÍzÒÎ3:H,Î3T;Ti>K:N]á3Îæ>q>K8iÌTiJ3H7634òT;4>?<?63ËH,47U
N]8ÎEá3ÎE49>=HCÓ_49Ï_L3Ìx:>?>=638gËÓH
JMß'ø:Ú8i0E:'TiëIUÎ3>=:±63Ó7:eJ:63ÏW:'H,T]<?H,L3<ª:e4_êzá H7g6E:NJu8;>?Ï7óxÓ_:+L3>?:ÌzÌi8;Ìx4>?638;Ó9TiôËÐH8i48iT;:'L3âM8;ÑEÎH,ÏW6EH,JR<?L3H:ÑEÒ²4_H7TxT8i>q>?8eH70 <H76E:Ì;ÍkÍz:>?<=T<ñÌxT;:':'8IÒ²:'>?Tz698;8i4§4 H§3 Ìx8iH7H,Ì áE<=:±aUÚÛ 4MJMÝ :'W<ÕE0 ß ø
8;48iëIèÎ3:Î34_6M:1Eå¨6EUJ3H7::e<ª8;H,:U63T;>?U4M63JMÓ>?63:47<~>KÌx0EÒªU Ê¨8;ÒSÎ34_Õ:"T;×W>?ÑEÓ7ÚH,>?6ET;§8;HW>KáP8iH,::<Ì.<=H,4_Ò²6E63T;Ì;Ó_4_ÍkÌSU :8iTk48;Î3Ì;3Ð::+8SB
:>?âMÌ.:8;ÍzN'ÎELM>=H,<?8;<.8>?47B¢Õ6ä>q×,ÒÚk4,H,Ò á8;4_:'U<?476E
Ó
á8i:'4<?478;63Î3Ó9: Ì.P8i6E=4 H,3Ð<ªç UB98;4MÎE3
JM:'êa:'6B_<0 ÍzÎ3Íz>KN]>?<=Îä<áPÌ;:':<?<=:4_Na638]Ó Ì
H8;,46«8iH,Î38;:147UÑPH,T;®8;Ìx>KH,LP<EN]ÎH76E8;ÌxÎEÍSH,:'81T.63Ì;:':>=8S8;ÎEH,:'6ETJ58iÎ36E:147T:'â¢>=8iÑPÌ1H,636E:'Ì;Ó9>=4_HW68;>?Ñ3476T;4MH7N':T;:ÌiÌ5Ñ3>?TiÌ:T;Ì; :e:'Ìg698]8H,T;>?68; :J3Ð07+0ëIëIÎ3Î3:1:äN]Î3Ü 34_×C>?N'ß':zø'Õ 4,ÒªH,<?8;>q8i4_:'U T]H,<K>KÌ.Ì1U§H7JEH,JMì_::J Ì
LEÌ;:4,Ò Ý ×× 3ø 7÷Fî=ùeúW°&%ðª8;4 9L3>KN]ì¢<=ËÐ³ :'â3N<?LEJM:±<=>=8;:TiH7<?ÌI6E4,8z<=:eH7JM>?63Ó8;4ÐH76EÌ;Ík:TIÌ;:8]ÌçÌ;:':í¢:eNa8e0 ê0
¡e234 !"$# % ('*)$+-,.)$/10
¡e2@3\4a`#-MN1ONP1Q °&% ('R)S+-,.)$/.0UT-V !WYX>Z\[)$/6] ^-_[Z ³
:<; >=? 65e,'W2 2 CºC8e'7 77
Cã9 C'eWi'7W7 eõeC'W
Eb 2dcB9 3\4a2
2@3344 6 75e7CCW W% 'Ce,C2B A@% C B2 D 9 9
9 e7e % 2 9
? E 2 :F; >=?
@
2
3
4
'

:<G?,; >=1? 2 2 9 2dc 9
G'?,,'71 «¢2 9 WW % ; ?
H I£!J9£ ¾5w|ZmnlLKv7[]lif_^gmnceoÐtc,µ7[]¥P¬?chkIj7¯
H I£1e3£ Kªv7\¢w'o¢µ\_hgcWl][aµ7f_hg[
H>qÒ±8;:'Ti>=/LM8;ÎEH_8iÎ:'N]ÎFT§ÏW8i63H,Î3<?47L3:6M:§åZÑ3JM8;T;:'4õ4M8;N':'H,:Ti<?ÌiU<.Ì8;>=6EÎE8;Ti>?:Ìx>=:e8;HWÌ>KN8i478;N'4FU§47UÌH7ÌiH7Ñ3Ìx6E>?LMÓ7Jº8]6PHWÌ8;>q8>?478gÍST;6u:4FÑ3N'TiH7JM:6F>KÌ;Ìg:'8i8;69>=:6E8iT;ÌNU8§H7>?68;6ETiHWLMH,8i8;6E:ÎàÌ;:'ÍkÏW>=8;:H,ÎET<?:'L3Ì;T§:e:Ì8ÌxLP8;47N'4 ÒLN:e8;RÔÌ;Î3Ìxà:«Ò²L3Ìi4_<?H,<=TË_UÔ L3:6E>~Ì;0HW:7LE8i0?N47B NU3:ÌiÌx4_H_Ò²TL3Ì;Ì;<=>q<?>=Ò;Ë_Ó_Ô 6E3 Ì
63JMJM4,4¢:8i8õ::'Ì
Tió;U63Ì;L34,>=Ñ3638Ñ>KÌ;Ti47U*:'T;Ñ38;Ti>K:Ì®:JEÌ;ÎEô:'H769á96E8
ËòJMH7<?8;:6ãÎ3J:H,Ï¢6ET;>?Ì;H+L3ÍS<?áE::'H_ÌT
N]>=ì9Ì;6F:8;T]88iH7Î34,N]:Ðì¢Òz>=8iÑ36EÎ3TiÓ1:R478iÓ_4±Ñ3TiH7T;8;4_UÐÎ3Ó7:1êaT]0H,N]ÎEUé147Ì>Kç²N>=:7:z6º0 ÓEÑ8i0?47BTi>?H_8;6_JMTi8]LM>=Ì®8;8;>?Ó7Îã47:6E634,H7:'Ò"<®T]HWN'<=4_:'8iÓ7:T;8iJ
>KNH,á¢>?6ãÑ3Ë T;Ì;4_:'Ó7 <?T]:H,NU8;:UJã>=HW6E8;ÓE4_BªU§63Ì4_6M>KÌå 0
+
."áEÌ;:'TiÏ7:8;ÎPHW8:eH7N]Î N]Î347>KN:Ñ47>?698Ñ3Ti4MJMLEN:eJuá9Ë + ÎPH7Ì§4_63<=Ëæ8gÍS4 H,<=8;:'Ti6EH,8;>?Ï7:Ì
4763:ÐH_Ì;Ì;>?Ó7Ñ36ETi4¢Ì+N'8i:Î3JM:ÐLET;ÏW:±H,<?UL3::'69f8;g>?h647i§6E:8iJR4>=8;6RÎ3:ä8iÎ3N]:Î34_H,<?Ì;Ó7:'4_6ºT;>=<?8;>q8iÎ3:'U T]H,>=<6BH,Q6E>=JÓ_L34_Ti63::ÐùH7>KÌiÌIÌx>?>?6_Ó78i6PL3Ì+>=8;8;>?Î3Ï7:Ð:'<?ËäÏWH7J3<=L3::ÌiNjTikm>=ál n:iJR8;>?4«6>=Q80ñ>?Ó7ëIL3Î3Ti::
U8;M4 0.47ëITiJM::'Î38;>KN]:ÌÎET;H,UÑ363Ti>?Ó_4M63:N:Ìz:J3ÍzH7L3T;Î3T;:±>K:RN]ÑÎuTi4_:'Ìi<?ÑÌx>=8;>?:á3:'HWT]<?8i:7H,:0E<KJMÌëI<?Ë ÎEÎ3HC:H,Ï_ÑE:':Ñ3âMHºÑE<=>?:H,JMÌ6E: Ì;:'E>?â¢47636ÑP>=8;H,T;:6ELEÌ;8i<=>=:eT;4_ÌLM6ã8iH,Î TiTiL3:ÏW<?JM:H,Ì:'<?L3Ti8;>=:Ï_4õ:ÍJ8;ÎE0 TeÒ²:0T;8e4_0®Ó7U >?8;Ï7ÎE:'8i:«6uÎ3::ÌxâMÑ3:'>K8§TiÌg478i4,>=Ó_63Ò1TiÓºH7<?>qUo8iÑE:'H7T]TxH,8i<K>?ÌH7H76E<L3J69H,6E8;H,>?Ì;<<?ÍS<?4W63:'Í 4 T
Ìx/®:'öÐ80®NëI>?:'Î3698I>KÌ>=U>?ÌÑ3H7<?:'NUN4_:U6_8]ÑEHW<=8i>KÌx>=4_ÎE6ä:JF47Òá¢8;Ë Î3>KH,ÌSÑEÑ3Ñ3Ti<=Ë¢4¢>?N'63:ÓõJMLE8;T;Î3:":RT;:T;LE_LE<=:e>=ÌTi:47ÌSÒN'8;H7Î3T;:1:8;Ñ34Ti47HCÓ_Ï7Ti47H7>KJ§UpL3>6E63:=6àN':ÌiJMÌ;> H7T;:Ë§T;:Ìx6_8;8:'ÑPÍIÌ'B¢HCË¢:70ÌäÓE0?îqB¢ùCá¢úCð¨Ë 0
JMË¢6EH,U>KN'H7<=<?ËÐTi:'U4WÏ¢>=63Ó>?69ÏWH7<=>KJRT;L3<?:ÌzH76EJäá9ËLEÌx>?63ÓÐÌ;U§H,T;8IÎE:'L3Ti>?Ìx8;>KN'ÌI>?6 îqùCúCð¨0
_
%
&%
)
P
K
)
%
%
0 1
ii
i
_
Ti
i
oj
t
l m
6m
Ti
l
n
,i
mDm
l m
t
Hm
m
i
xw
k
t
,i
m
l
m
P
%
_
+
5Ä ÅzÈ Ä3ÅÇ"Â1Æ"ÉxÂ
é>=6¢<=Ï_8;:Î3ëIÌx4_8Î3L3: Ó78;Î3ÎE: TiUÌx8kU§49ÑEÌgH ÎE8g47H7>?69TiÌ;>q:18;8g:'Ë 47TiÒ:47Ìx8;Ò8;Î3>?:+638iÎ3Ó§::'âMÑ3>?:eT«TiN47LM:'Ó_8iâ¢Ti>=:eH74_NU§6LMÌå>KÌkN]ÎEH7Ti¡eH_Na8i:'
Ti>=V: 9J á¢=Ë=?8;=Î3:+GÓ7Ti47LEE 6EJM% >?63Ó4,Ò8;Î3:+>=6EÑ3LM8IÑ3T;4_Ó7T]H,U0
8;4,>?Ò476òU8;4M>?JMU::<?ÌBS>?6«8;Î38;ÎE: :
:H7âMN:8;N'LELMH78;<>?47N'6 47U4,ÒÑ3LM8i8]Î3HW:õ8i>=<?4_4,6 å %% 2% C 1*3% "!$#&%('#)*+&-,/.!'+0+! D
N63'H7:'<3Ó_Ó7<=>?TiÓ747>?á3L3<?6P:æJM>=H76EUÓ±4_NL3H,696§8õÌx8;47>?Ò§<=<P8;T;>?: U_LE:_>=0 Ti:zõ:H±u6347JM6M:åå ¢ ==34 465 5
7 8 % ,'eW0 9C7 ° 4 5 ³
N:âM>KJMÑ3:<?Ju47>=8.8i4FÑEH,>=T]6¢H,Ï_<?:<?:'Ìx<?8;>?>?Ì;Ó_U½HW8iH,:«<KÌ;Ìx41>?UÒ²TiÑ347<?U½:ÍS8;Î3HC:zËMÌÑ3Ti8;:4 å ?bE ?% EP =>= : 4;5
8;8;Ñ3Î3T]TiHW:4¢8iN':<?:4MJõÌiN'ÌxH7>=>?6à63<ªÓ)Ó7î Ti47ÑECL3ð¨ÎEB6EH7>?J3Ì;Ì+:7>=63áE0ÓH_ëIÌxÑ3:eÎ3TiJ«:u4MN47Ìg:6õ8iÌiT;ÌLE8iB¢H7NH_ì¢8;ÌSL3>=63Ti>=<?Ó:ã<=LPH747ÌgJ3åÒ ÏCH7698iH,Ó_:47Ò.8;Î3:ÐH ÌxIP8;Ti=£ 47<?6E> Ó¯ªT]w'H,hx63w'¥nÓ_q[i:¥ªTi¯:hgÌx[i8;\_Ti>?hgNcW8;l]>?[]47|Z6«|Zmno_8i4ä¦ >?6EJM>?Ï¢>?J3LEH,<?<=Ë
8i8;Ó7Î3H_Ti47Ìx:
ìL3H,6P4,<?Ó7JÒ47Ó_:TiT;H7>=4_8;N]Î3L3ÎU6ET;JML3>?Ti<?63:':ÓÑE>?T;6Ð8i:eÎ3Ìx8i:":Î36_J3:18]> ÌzÑ3Ti:'H47TiÓ_ÑE:'69TiH,H78kT]UH,Ti<?L3<=07:<?ëI:<ÌÎ3N4_8;:14UÑEJMÑET;4M> LMN8i:':eH,TiÌ;8;:'Ìk>?6947N'8I6 H7MH,6ÐÓ78iáPÎ3:69::"8iÑEJMÌH,>B_T]H7:'H,ÌkTi<?<?:'>?:'669<?8>=QV:>q>=8iÓPJ:'09T]á¢ýEHWË§8i09>=ëIÌx4_>?6EÎ3UÌz: Ñ3H,@ <=TiË§:JM>=>K6P@ Ìx@JM8;Ti>?:'6E>=Ñá3JM:'L3>K6EN'8;J3>?HW638i:'Ó:69J§818iÎ3>?4,6 : Ò
:MH_ÕN]ÎRÜ'Ú~47Û×,8;ÕFÎ3:ÍzT0PÎ3ëI>KN]Î3Îõ:ÌxH78iHWN8;8iLE>?NH7H,<<?<=ÌxË«4_<=N'L3478;U>?47Ñ36LMH78iJM:Ì±4_ÑMHä8;:eÑEJRH,T;>=8;6>=8;4_>?47L36«T1Ì;47Ë¢ÒÌx8i8;Î3:U:
ÑE>KT;Ìz4_áEÓ7H_T]H,Ìx:eU Jä4_6Rç8;H,Î3ÒA:8;:LPTÌxT;::U47Ò®4WH«Ï¢>?÷,63ÛKÓßaÚ H7a<=Û <5MTiL3Ú~Û<=×,:eÕ Ì
JMN4_: UP63ÑE>=LM6E8;Ó>?638;Ó§Î3:ÐH,Ó_JM:'4_69U§8iÌH,0M>?6õëIÎ3Ñ3:Ti:N]J3Î3>?47N>KHWN8;:±:eÌi4,ê±ÒH7ÑP6E:TxJ Ò²4_H7T;ÌiUÌx>?>?Ó7636EÓÌ"H8iÎ3Ìx:§8iH,:'8;<?>K:'N±UH7:'ÌiÌx69>?8]Ó7Ì63U4,ÒS:8;6_Î38I:§>KÌzÑPJMH,>?T;N8;8i>=8;H,>?8;47:6õJä8;á¢4Ë 8;¨ÎEÛ :Ð±8;HCÎ3ÏC:H7>=<K<KH,H,TiáEÓ7<=::
>=>=H,6§6PUÌgH±8]47H,LEJM696_>K8;Ìg8>K8iHWT;478i>?Òá3>=4_LMÍS6E8i47Ìz:TiJ
4,ì§Ò®U8gH,Ë¢:'<?Ñ3<ªU>K8iN'47Î3H7Ti:<=Ë<?ËÐT;NLE4_Ó7<=6_:e:8iÌz63::'>=â¢6RT]8HW0,8i8iëIÎ3:Jª:'ÎE>?BP:zT1H,ÏCH76EH7ÌiJ Ì;T;>=>?Ó_47¨63ÛALPÛ :ÌñJRN'8;47ÎENU:4_UÑ3JMLM:ÑÌ;8i47>=>=Ti6E63:±:'Ó698;H784ÐÓ74,:HCÒ56_Ï_8]478;ÌÎE>KJ:Ñ3T;N'ÑE4W4_H,Ï¢ÌxT;>K8;8;JM<?>=Ëä:I8;>?47H7JM6ÌË¢6ET;4,:eH7ÒRÌxULEF0<q>K85NE8;ÌiëIÎEN]ÎE:zÎ3::Ó7JMTiÑELE47H,L3<=T;>?6E638;>=JÓ å
8;Î3>?:'47LE63T;>?>K63ÌgÓ8i>?N±4,Ò LPÌx:eJ>KÌI>?6RÑP:8;TxÎ3Ò²>K4_ÌT;UN4_:e69JÐ8;:>?â¢6R8H
H7ÍSÌiÌ;HC>=Ó_Ë6E8iÌz4HH,8xÍk8i::'>=UÓ_Î_ÑM8I8z8i8;44:eáEH7H7N]<?ÎRH76ET;NLE:"<=:§8;Î3çH7:±6<?4_:H_ÌxJÐ8;>?Uá:H,8g8;ÍS>?47:'6:'6R4,ÒñÑ3Ti8;4MÎ3N::6¢ÌiÌ;L347U
T]Ì'áP09:ëITÎ34,: Ò
>=H,6P6EÌgJä8]H,HW6E8;N'8;::'Ì.UáPÑMH78]Ì;Ì.:8iJ447J36>?Ìx8i8;Î3Ti:">=áEÌ;LM>?V'8;:":áE47ÒH,<K8iH,Î36E:1N'Ti::'J§<KHWÍS8i>=:'4_>?Ó76EÎ9Ì®8k478;Òª48;Î3:e:+H7N]JMÎ47U§H7Ó7H,:>?6_6§8e0_Ñ3é1Ti:<qJM8iÎ3>KN'47H,L38;Ó_:eÌ®Îä>=Ì;6Ð>=U8;Î3Ñ3:"<?>KáPÌg8i4M>?N"JMË>=64,>qÒª8]8iÌSÎ3J3:1:TiÌ;L3>=Ó_<?:e6ê B
8;ëIÎ3Î3::§ÎEÑ3:'TiL3:'TiÑ3>?ÌxTi8;4M>KNN':eÌIÌ;ÎPÌ;47HCT"Ï7:±ÎEÑ3H7Ì±Ti4WáÏ7:'::J6õ: >?U:NÑ38;<=>?:Ï7U:±:'>=696R8;8i:eÎ3J :H_:Ì+âMÑEÑH,:'TiT;>=8U4,:'Òk694_8]ÌzL3TÑP:é"TxíMÒ²4_2ÖT;UÌ;ËM:eÌgJª8i0 :'UBH,6EJõ>=8>?ÌJM:eÌx>?Ó76E:Jò8;4
áPÑ3Ti:Ð:'Ñ3N'47Ti4MUNÑE:H,ÌiÌ;8;47>?á3T<=:U§>?H,6 ì7:e>?63Ì§Ñ3LEL3Ì;8 : 4_4,LMÒ8;ÑEH,LM6 8±>?Ò²69478;Ti:'UTi6EH,H78i<zÌ±T;Íz:Ñ3>=8;T;Îõ:eÌx8;:Î369: 8iHWÝ 8i>=4_]6æßøÐ47Ò±Ñ3Ti8;:'Î3Ñ3:Ti4MÑ3NTi:47ÌiÓ_Ì;Ti47H7T1ULPÌxáE:eJòH_Ìx>?:e6ãJæßa4_Ù§6 ×÷_Ìg8iø T;Ý LEß]0ñN8;ëIL3Î3Ti::
Ï¢ÌxJMÎP>=:TiH,Ìi47NTi63Ti>=63>?UáPÓ,::eÔu6_JÐ8]8iÒ²ÌñÎ34_Ò²:TI47>?T58;63Î3ÌxÑ3:LELMN]Ý8IÎTiÌxL3]ì_ß'<=:':+ø<?:H7Ìx8iËMN478iÌx6ÌS8;:'0WH7UëIÌÎ3Ì;î :Sì7:CT;<=:ð¨:'03U§8;ëI4_H,6ÐÎ3>?63:±H,>=6E6E>=UJÓ"Ñ3J38i<?Î3H,:':±8iUH+JM:'Ìg> 698i8]T;:'HWLETi8;N:'>?8;6947L38S6RTi>=:4,6EÌÒÌxH,8i8;TiH7ÎE:S69:+8;:>KÑEÌiHWÌxT;8;::>?6_Ñ3478i6PT;>?4MÌH7N'<=H,<?:Ë±TiÌi:1Ìx>?4_J3JMT:':eB¢69Ì;JM8;N'>K:'T;N'>?Ï_H7á:'<_:<?478iJÐ41ÑH_:8iÌJäÎ34_:476MÌ;6 : å
>8;?HÌIÎ3GS:>?6:'Ti4WL3N]ÍzÎE<?:H,LEÌITi<qÓ7Ò.>?6:+Ì;Ë¢:4,ÌxH7Òñ8;N]:N'ÎR47UUÑEBPH7Ñ3ÎETxLMH_8i8i>qÌ8i>=6E>=á4_Ó
:'6:8i0 6«Î3:47TiÑ3Ó_TiH74763Ó_>=TiVH7:U*JH7ÑEÌ"H7TxHÐ8i>qU§8i>=4_H76äÌx8;Íz:TxÎEåZÌ;>=<?<?:+HCÏ_8;:±Î3:Ìx8;Ì;Ti<?LEHCNÏ_8;:L3ÌITiH,:7TiBP:"Íz>?Î36:'N]TiÎE:H,8;TiÎEÓ7::"U§4,ÒñH7Ó_Ìx8;T;:4_T"L36EH,Ó_JM:'>?6369Ó 8
A
5Ä xÉ BÉxÂ ÖDÃ C FEÂ ÉxÂ
Ñ3:ëIâMTiÎ3:ÑE:8;H7:e6EÌgJò8iÌxT;>?H_47LEÌ16N8;H,L3Ti6õL3Ti:<?>=:6PÌ47ÌgÒ.8]ç H,8;6EÎEN'::N'4,47ÒUHäÑ3Ñ3TiLMN4M8]4_NHW6E:8;ÌgJ3>?8i47L3Ti6õT;H7:C>=4,69êSÒk8;T;å:H7áEÑ36EH_TiÌ;Ìx:Ík:eÌ;J::'T"69N8i47Ì;ÌI:U8i8iÌ"Ñ3Î3L3:Ñ38iTiHW:';8iÏ¢×>=>?4_476æ'LEÞ Ì;î W<=MËÚù'Ûð×W>?BP<=ÕF<?ÍzLEÌxÌxÎ38;8;:'T]:TiHWÑ«:8i:4,8iJòÒ5Î3:8;NÎEH,H7:6«Ñ3NÑ3á4_<?:6E>?NÌg:HW8iH78iTi>=Ì;H74_>?>=<=6«69Ë814,>?N'6_Ò®478i8i:'UÎ3T;: åå
Ñ8;3Î3LM>K8]ÌSHWÑP8;>?:47Ti6Ì;ÑB:H7Na6E8iJ>=Ï_8;:7ÎEB9:
>q8I Ì;>K:'Ì<?:Ñ Na4_8i Ìi>=4_Ìx>?6á3<?4,:Ò8iH§4<?>K>=JM8;:':'69T]H,8;>=<ñÒ²Ë>=6 8gÍS 4Ìx4_L3 T]N:+Ì4,Ò634_ 6MTiåZ:'JMÑ3:8iTi:':TiÌ;U:'69>?8]63Ì>KÌxH U Ý G]ø Ý ÛAÕ¢HÞG Ìx8;:'Ñ@0QET;4_U I
J
HÑE,6EH,T;LJ 8;>KK H,<.H76EÌ;Ík@:T±WÌ;Íz:M8ÐÎ3I >?çJN]>=Î§6 H7T; >KÌx:eÌñÒ²T;4_U 8;EÎ3Íz:Î3N]>KÎEN]ê47Îò0>KNëIH,:ITiÎ3>K4,Ìx:eÒ:eÌxÌz:8;Î3Ò²8g:zTiÍS476E4RU$:â¢Ò²8;478.Î3Ti:U:âMÌ±N]ÑEÎ3H747476EÒk>KÌxN63>?:
474_6
4,6MÒ®åZT;JMLE8i:Î3<=:I8i::'8iTi<?4±U>q8iH7:'>?Ñ363T]H,Ñ3>KÌx<ñ<?U Ë8;4Rç²áP>?6H7:eJ3H,JT Ìx8i8;4ÐTi 478i 63Î3êaÓ: B
Ì47x>?Ó_U63>=>=<KVH,:TiJæ>=8;>?>=:6 Ì.TiN':47Ì;6EÑÌx:8;NaT]H,8i>=>?Ï_69:'8§<?ËH7 6E8i4Jæ8i<=Î34_:Ó7>K÷_Nä×W+ÑEÕ0T;/Ú4_Ó7Ü T] H,;ø+UH,U6P>=Jò63Óu÷7×,îqÕ'ù W/ Ú ð¨,0.ÕëI× Î3à:63Ó747496MH,åZ<IJM4,:'8;Ò+:'8;TiÎEU>?Ì§>=6EÑE>?Ì;T;U 4 g8;:T]NaH78§JM>K>=Ì8;>?478;4F6EH7:'<=<?â¢ËÑETi<=4_:T;N: å
:ÊZHC6FâMÏ7Ñ3:ÑE69<?47H,LETiT;:>=8;Ìz6E>KNÓÒ²LE4_8;<?T1H7Î3T8i:ÐÎ3B:JMÍS> :§:âM:'ÍzÑ3Ti:'<?>?47<=69<k>=8
8iLEHWH,Ìx8i<=:Ð>=8;4_:8;6T;Î36P:§4,HWÒ8;8i>?ÑP:'Ï7TiH,:eU§T]ÌH,Ì <?HC<=ÏW:¨H,<=Û >K>?Ìx<?UH7Pá3ø <=Ò²a:TiÚ47Û>?U$Ü 6FÝ :8;H_Î3N]:eÎ Ìx:ÑÝA8gÝ47Íkø >?Ý 694RÛKßa8ÙÌx4,4_ÒzL38;T]634N4_:>?6MÌ16Eå¨JM4,J3>KÒ.:N'8;H,63:8;4_T;:6MUåZH>?JM63:Ì;>K8i>qÌx8i:'U LETiUHW>=8i6F>?>=634_>K6FÑEÌxH7U
ÍzTiÔH7Î3<=:'<?á¢:'Ti<Ë : 0
8 ! >
%
%
i
)
x
x
_
m
x
G
x
&
)K'*<
&
(P
$ -
'1
%
!
!
&
8 !
h
h
h
h
2 46:4'*+=?A/?A1+ M
J46'H:?L@< / ),/
8P )J'*? )J/>:< X/2)J/
46:4'*+=?A/?A1+
M
1 "0
)
!
1
364,Ìx:Ò47ÑE63NH,å¨4_T]JMUHW:'8i8;ÑE::LMT;8;8iUÎEH,T;>?8;63:e>?47H7>?Ì;6æJ3U Ì"8;ñ4,4FH7Ò6ENN'4_Jª476EBUNL3Ñ3ÛATiLMÛ Ti8]:'HW
698;8;>?× 47<?Ëa6õÛ eH,H,×WÑ3TiÕPÑE:Ú <=:'ËãÝ UJ3Ñ3> <?4W:'Ë7TiÝA:e:'Ý JRø 69Ý 8§ÛK8;ß]4Ù:âM:'ÑEâM8;H74òÑ36E<=4_>?Ìx6ET;>?47:
JM6æ>KH,N'H,<=T;8;8;LE:':§<=Ti:e6E8iÌH,Î38;8;:>?4FÏ7LP:H ÌxÌ":ÐÓ7H,47>?TiÏ7Ò>?Ì;:'>?Ìx6à63:Ó§ÑEÌ;H,:Ò²T]8§TiHW474,8iU :Ò+8;<=Ï7>=Î3:8;Ti:Tx:8iTi>?H_H7N<?J3H,ÌÌ <0
4,47ÒS634_:8;T;Î3>?ÌxV':4_4_<=6_UL38]8;H,4M>?47<ªJM6ÑE:<?H7Ì8;Ti4H74,<=8;ÒS<?Î3:'8;<?:
Î3>KÌx:§Ñ3U TiÑ347>KTiÓ7Ì47T]Ó_H7H,Ti>=UUH7U
03:ÿ®JÔu:H,Tx8i8z8iÎ9>?LP8;NÎ3Ì'H,B:<58;2®LPÎEH,Ìx::T]H,JM47<?> <=Ò5:JM<=:>KT;>Ì;:U 6_:'Ti847:'6H769Ó7818i:Î3N6_4_:8]UÌ47ÑE8;NÎ34¢LM:478iT"H,Ñ8;:'ÎP>?T]47H,HW66E8iJ:H,Ó_>=U§6 :'69H78;8iì7ÎEÌS::ÐÌ8i4ÐNLE47ÌxN6P:
47Ìg6P4,8iÌgT;Ò8iLET;Ì;NLE:'8;ÑEN>?8
47H76ºTi×WH,Õ8;4,:øÒ
8;Ò²N4MÎ34_NTiULE:ÑEH_ÌJuLM4_8;6ã>?>?63ÌÓä8iÍSÎ3H747:Ó7Ti:ì¢:6_âM>=638]Ñ3ÌIÓ <?47Ò²47>=478i6T1H,8;8;Hº>?Î347:6ãJM>N474_Ò":UT;ÿ®:ÑE6 :LMTx8i8iH,H,>?6EN8;H,>?Ì;47Ík<6:2®TÐ4,H,Ò1T]ÌxH,:'÷,8§<?Û <?:'4,<?ø >?Ò+iÌ;øU8;ÕPÎ3BÚ:H7UÑ36ETi4¢Jã47J3Ó_4_:'Ti<K6uH7ÌU4,HõÒ50ÑE8iÊZH7Î36uTx:8i8i>?Ñ3Î3N'TiL3:47<?Ó_H7T;TiT:eH7ÌgÒ²8ÐU
47Ti47ÔàUÒ1:e8iH74,Î3N]Ò >?ÎRÌ:ÑE47âMH,Ti:Ñ>?N'V':'LM47T§8;69>?8]ÍS47H,6 : <
2®H,T]H,<?<=:<=>KÌ;URB98iÎEHW8ÍS:N'H,<?< ÝAÝ ø Ý ×e× Eø _÷W0
ÄMÃ3ÉxÈ 5Ä xÉ
8;47ëI:ÑÎ3T;:'6E:T]H,HW:e8;8iÌ;>?>=Ì;Ï74_:':e6P69Ì1êa8i0H7>?H7Ìi/<Ì;H_4¢>KN]JMN'Îä:>?H,H8i8;>=:eáPUJ::Î38i>=4§H§6PJ«8;<?ÎE>q8iÿ®::':'T]Ó7H,T;LE8;<>K:N'>?ÌiÌ"H7Ìx<ñ>?Ó763L32®ÓÐ:eH7Ì;47TiÌ;H7Ò:<=8iJ<?:'Î3B3<?:>?8gÌ;ÍS8iU T;4ÐL3>K8;>=Ì16PÎ«JM8;Î3ÏW:'H,Ñ:<?:'L3N6E47:J36P47:'NÒ69L38±N]TiÎ3T;N':4_4769Ì;U81:'6Ñ3:LMâM<?>q8]Ñ38iHW<?:'478iT]>=T]H,4_HW<K6E8iÌÌ1>=4_ç N6RH, 6«47ÒáJM:
> Ì;:ÑET;+HC:Íz6_8±63:eH,Jª<= å B
47Ñ363<?47:>=8iÍzHW8iÎ3>=>K4_N]6Îº47H7ÒÌiÿ®ÌxL3:'UT;8;:e>KN'Ì1H78i<Î32®:H7<=Ti>=H78;:<=<?Ti:'H7<?>?<5Ì;U8;4ÌxáÎE:
H7T;8i:eT;Ì.LE:8iÎ3H7:±6EÌ;JõH7U4763:+:Ti498;ÎP478iHWÌS8H7H7ÌkÌiÌx47LET;UåÑP:eH,Ì"T]H,8;<?Î3<=::§<=>K<?Ìx>qU½8i:'T]Ò²H,47<Tz8;2.4Ti47á<?:47ÓÐÒH,î=<Kù Ìx,:_ð0ªH,/®6Eâ¢J å
>=Ìx6E:eÎ3H,T]:'ëIN]TiÎºÎ3:'69:1ÑE8S4WH,N'Ï_T]47:'H,UT]<?<=H,:Ñ3<?<=<E<?>K:Ì;JMâMU :e>=Ìx8g>?Ë
>?Ó76 6§47ÒN4747UÒª6P8;H7ÌgÎ3>=8i69:"Ti8]H7:'H,>=6369>?638Ó_>=>=6EÑ363ÓTi:"478;LEÓ_Î3Ì;Ti:+:H7JUN4_Ò²U47T;TiTS>?:6347NÓFLE8.TÏ9î >?:3:'âMÍ BÑù :'47eTið¨Ò>=0U:üzâM:::e6_N'N8]LM:'Ì.698;ÎE>?8
47H_6ÐÌxÌ8;J3LPáL3JM:':T;>=:e>?663ÌÓJMÎE>?ÑPT;HC:eH,Ï_NaT]:§8iH,<=L3<?Ë§<=6E:JM<PJM:Ì;:T;:T;>?H,<?Ï7>?T]63:eN]J:ÎJ Ò²îqT;ù 8i4_WÎ3U ð¨: 0
8;:Î3âM:Ñ:'JMTi:>=:Ì;6E>?Ó7N6:4,Ò²TiÒ5478;UÎE:8g:'ÍS634Ó_>=Ñ36ETi:4,8;LE47Ì;8g:Ë¢JÑ3>?>?N6H,8;<®Î3>?:Uß]Ñ3Ù§<=:×eU÷7:'ø 69Ý ß8iH,Ìx8;ËM>?Ìx478;6E:Ì§U çáPî=ùe47úW8;ðÎF03ÊZÎE6HCÏ¢8iÎ3>?63>KÌ1ÓÑEHäH7Ï_ÑP:':TiTËòÍSÌ;:>=UH,>?Ti<?:H7TJMT]ÌgHC8iÍzT;LE>=N638;ÓL3Ti4_:eL3êT B
47ë63:':±â3H7JMÌ:ëñÏ7:':<?N]47ÎÑ:JR63>?HWÏ78z:èTiÌ;:>q8gÍ ËDçëz:'ëâM+>?N'4êa0Mí9ëI8]Î3HW8i:+: JM1:Ì;63>=Ó_>=Ï_6§:'T]LEÌxÌ;>=:8gË«J§á3çè"LEDò>=<KJ3í ÌS+47êI6H,8i6EÎ3J:+47J363:Ì;:±>=Ó_N6§4_6EÑ3NT;L3:TiÏ¢Ti>=:'4_69LE8;Ìx<?<?ËÐËJMÑ3:'T;Ï_4_:'ÑP<?4749ÑÌx:e:JJäá¢HWË 8
8;UÎ3:':«UH747LMTi8;ËÎE47H,T]T]ÌN]Î3Ò²>=478;TÐ:eNa:'8;LEâ¢:eT;:eNÌ+LM8iî=>=ù6Eï,Óºð0 é+íM2 476àÌ;ÎEH,Ti:J
éÌx:6E69Ì;8;ÍS:J±:'TLPÌxÌ;>?:638Ó"ÑEH1T;4_N47Ó7<?T]<?H,:U§Na8iÌ>=4_H,6Ti4,:§Ò3>=Ìx698;8iTi:'LETiNa6E8iH,L3<?T;<=Ëõ:eÌT;ç:áPÑ347Ti8;:Î å
Ò²8;474T±H,Ti<?L3<=4W<=Í:eÌ"JMH7>?6ETi:JòNa8zH,8;H74_NUN:eÌ]Ì;ê1Ì.ÍzÒ²T;Î34_>?U N]Î :eH,H7TiN]:ÎÐ>?Ti69L38;<?:':1Ti<?8i>=463ì_8iÎ3:J :
8;<=H74WÎ3ÌiÍzÌx:
4M>?T;63N'LE>?Ó"H,<=:e8;8;Ì:Î3J :z>?6«ÌiH,N]Íz8;Î34_Î3:'UU>KN]ÌRÎò:SH,Ò²Ìx476PLPT5JàN]<?Î«>=6EÒ²T;HW:4_8;H,U 4_T;U$å8;:>?UH7H7N]Ñ3:IÎ ÑN:4_HWH,U8;T]4_ÌÑ3U LMç²Ò²8i478;H,<=4 åå
8;H,>?Ti47:±6ET;Ì:<=47Ë¢Ti>?>=63Ó_Ó
>=6E4_H76R<=<?Ë«HJMÌ;:eÎEÌ;H,N'TiT;:>?å¨áP63:e47Jò8;Î3>?6>?63Óî 7ðAUê0ñ4MJMí¢>?:6E<~BMN:§:eH7ÍSN]Î :
Ñ3H,Ti8;4¢>?N'47:6uÌiÌx4,4_Ò1T58iUÎ3H7:>=69Ñ38]TiH,47>?Ó_6ETiÌ.H7HURN054_/Ñ¢ËH_N]4,ÎæÒ8;H7Î3Ó7:1:'69T;:8§Ñ3U§T;:eH,Ìxì_:6M:Ìå
i
8
H I£ > jW^Zhgf9li^gf7hg[Ic¬w'o8Ko9¦emno_[
8i:'H,<?:'8;U>?47:'6690 8.">?6ò63:8iÎ3Ìx:§8iH7NN]L3ì)TiT;ç~:N'69H78±<=<?:H7J 6EÌxÚ ÍS,:'ÛTÝ ê
Ì;:>?8±Ì>?LEÌ±Ì;Ti::'J ÑET;8;:e4ºÌx:Ti6_:'8iÑ3:TiJ:LEÌ;á¢:'Ì;:169Ëò84,H7Ò8i6òÎ38gÍS::6_4N8iL3ÌxT;8iËòTiH7TiN]:'>=6õìM69Ì588;Ò²Î3ÑP4_:§H,TkT;ÌxÌ;8;8iL3>KH_H,Ñ3N]<IÑìH,470ª6ET;/k8;Ì;>?ÍkH763N]:ÓÎ«T>=8i:Ì;ÌS6_:8x8iNÔàT;4_ËU:e>KH7ÑEÌN]LMÎH å
ÑP>?J34_:'>=69698;8i> :'ETñ:8;Ìk4"Íz8;Î3Î3:':I8;J3Î3HW:8]T.H18;ÎEÌx8;:"TiLEHWNa8i8i47L3U Ti:.H,T;ÑE:ÑPÑ3:eTiH,:T]Ì;:'Ì®69ÑP8;49>?63Ìx>=Óz8;>?8iÏ7Î3::S<=ËH,8;474_TkU 63M:'H,Ó96EHW8iJ+>=Ï_8i:'Î3<?:kË8;>?Ti6§LM8;8;Î
Î3:+ÏCH7H,<=6ELEÌ;:kÍS>?:'6T8;Ì;ÎE::S8e09J3QEH,478iH"T:'Ìg8iöÐT;LEN>?N:'8;6EL3N'TiË :
T;Q:e>=H7ÓPÌ;0 4796EêÌ108;ëIÎEÎ3:
:8iT;Ì;L3:N'8;Î476EÏCJºH7<=ÌxLE8i:H_Ì±N]ìH,BñTi:
N'H,U§<?<?:H7J >=698iÜ]H7× >=;6Eø':BJ«ì_:'>?6º:'ÑPHäÌ±Ì;8;:'T]H7ÑEN]H7ì«TiH,478;ÒI:8;H,Î3Ti:TiHCH7Ë6EÌxÌ;8;ÍkTi:LETNa8iÌxL3:'T;8::'çA<?8i:'Î3U: :'69"8]Ú¨Ì×,ÙÍzÎ3>KN]ÎFÎERHCÏ7>?6 :
áPÑ3LM::'8]6HW8;>?ó;47Ó76ºL3:eÑÌ;47Ì;:>?69JE8iô+ÌJ3ÍzL3Î3T;>?:63T;Ó:8iL3Î36E:":âMN'47Ñ3U<?47Ñ3Ti:LMJ 8]HWH,8i<=>=8;4_:'6Ti076EëIH,8;Î3>?:"Ï7::'Ì+<?:'U§UHC:'Ë«698iáÌ:Ð>=6HCÏW8iÎ3H,>?:"<?H7N'á347<=Ti::ÔuH,8i<?<=4R4WÍæÌ;L38;Ñ34Ñ>?47JMT;:8698;áE>=H_Ò²Ë
N]ì_8i8iÎ3Ti:1H_N]N'ì¢47>=U63Ó å
H,ëI6EÎ3J : H,47T]TIN]ÍSÎ3>=478;Ti:ìÐN8;ÌxL3ÎPTiH,:"TiÒ²>=4763TzÓÏ7á::Tx8g8iÍS>?N:'H,:<6RÑEH7H7Ó7TiH7:'69<=<?8]:'Ì'<03é"ëIíMÎ32æ>KÌz8iÌxÎE8;HWTi8LENaÍS8iL3:"T;::±6¢>KÏ9Ì>KÌ;JM>=4_:Ñ36ä>?N>KÌI8;:eáEJäH7Ì;>?6:JQ47>=ÓP6ä0 8;EÎ30 :±LEÌ;:±4,Ò5H
6¢L3U
áP:T
8;4,:Î3âMÒI:R:é"N'ÌxLMíM:e8;2 H,>?47T]:'N]6§Îò6E47Ó7Ò²Ò>?4_638;T
:Î3Ì:H76Eç;×Ìx ÍSaØ :''T
Þ9øÌxÕP:'8iÚßCÌgÔ ê1ÍzÌ;ÑPÎE:e>?N]NÎº> PÑ3TiN'H,4¢H7TiN':<=<?:Ë«N'JM47LE8i6EÎ3T;N':_:äL30_Ì;Ti/:T;H_:H76_N]TiÎ
N]8iÎõ<=Ë4_Tx8;:'åZTiH,â¢:'Ó_ÑE::'<=4_Íz69T;8®Î3>?63:4_âMÓÐÌ;:§Ñ38i<?Î36347:ÐTi4M:JMÌ;Ì.::HÌ
H,T]J3H,N]>?TiÎÌx:§8;8i>?Ó76ET;::Na63:
8S:'á3Ó_T]T]:'HWH,638i6E::JN]TiÎH,á¢8;4,:ËòÒJò8i8iá¢Î3Î3Ë::
!
+
3 &
#
#
0 2
" > R8 !
;"
B
*
Rules
....
Atom i
Head
PBody
NBody
HeadRules
PosRules
NegRules
Truth Value: (index)
Rule j
....
Atoms
True
False
False
False
Trail
Core
(partial model) (guessed atoms)
Atom Array
$
%
+
%
8;Ti:': é13Ì>?J3<=:':6PH,ÌxÓ_L3:':e69J 8iÌzÒ²TiH747T;U:H7<=Ti<?4W:ÍkÌ;::eH7J§TiN]8iÎ4H_4_N 6 9L3ÑE>?T;H7:±TiH7L3<=6E<?:':<?âM>?VÑ3HW<?8i47>=Ti4_:6 JRH,4,<=Òu8;:'TiÌx6E:eH,H,T]8;N]>?Ï7Î:ÌS8;Ó_Ti:':': 63:TiH,H,Ñ38;ÑE:<=J>KN'á¢H,8;ËÐ>?474,6E8iÌÖÎ3:'TH,6PH7J Ó7:'69638]4_Ì'6M0 å
U§JMN>?::'H,8i69>?:'6_8®Ti8]UÑEH,H,>?>=663T]H,>KÌx8;<?8;<?Î3:'>K:N<9áPN'<KH,:47ÎE63TiT;HCÓ_:eÏ¢LENa>=H,84_Ó_TÌg:0W8]ÌÐí9HW8;8iî=T]ù:§H,E>?>=BÓ76ºù Î9,8i8;ðÎ3Ò²Bñ47:Ð8;TiÎEÍSJM:ä>H7Ti>K:JÌ;T;Ì;:Ì;L3476_:ä<?8LM4,8;NÒ1>?47476PJM6PN:eÌñL3ÌxÎP>?TiÓ7HCT;63:Ï7>?69:638±ÓòááE:'8;:TiÎ3H76:R6EÒ²N]4_H,Î3T;Ñ3:U§Ñ3Ì+TiH7>K47<=Ì<?ÑEË:T;Ñ3>KÌiHWÌ;Ti8i:'4W:69Ï78;:J3>KJH,HW<®8]8;Hò4+8i4«áPÌx8;:IH7TiN]LE>?Î363Na>?:8i:'öÐL3Ï_Ti:N:>?Ì:':69ö8;8e4 å B
<=>?:eÌH78iJM4õ>?63ÑEÓT;4W8;4RÏ¢>KJML3:6EH7:'Nö§N:N'ÑM>=:8i69H78á3<=U:
:e4WN]Ï7ÎE:H,T;Î363:e>KÌ;H7UJ3Ì
Ì
îq8iù 4 Wð¨Ì;0L3ëIÑ3ÎEÑ:47T;U§8H Ì;gÎE4_H7T"T;>?>K63Ì;Ì;ÓòL3:
47Ò">=6òL36E8;:Î3âM:Ñ3JM<?47:TiÌ;:>?Ó7Jã6òH747<q8iÒ:'ÌxTiLP6EN]HWÎõ8i>=Ï_H,:T]Ì
N]Î3áP>=8;:':e8gNaÍk8;:LE:'T;6 :
H,ÌxÍSÓ_:':'69Tk8iÌxÌ:'038S/NH_4_N]UÎÑ363LM4M8;JM:eJ: *>=6Ð4,8;Î3Ò:8iÎ3ÑP:±H,T;8;8Ti:'4,:±Ò>K8;ÌzÎEH7:1Ìiá3Ìx4MT]H,N'6E>?H,N]8;Î:JÐÑ3Ti8;:4§N':HJMÑE>?63H,Ó T;8;>KH,09<éH76E6Ì;H7ÍkÓ7::'TI69Ì;8:H_8 N 3ä9L3ç >?T;>?ê63ÔàÓ8;H,ÎE6§:LEÑE63H,:T;âM8;>KÑ3H,<?<ª47TiH7:6MJ å
<=63H,>=<=8;4M8;:JM:TiT;:H76EÌ <H,Ì;8;:'>?Ï7<?>=::
6Na8iÒ²8i:T;Î3JR4_:U á¢8iË T;:: 6E>K:'Ì1:H§JEÌ+ ì¢638;44W+ÍzN6«4_6_JM8i>=>=öÐ6¢L3>?N6:
L3<=8;638"ÎE4MÑE:§JMT;: :4_âMá3:<=N':0ELMU /.8;ö§>?47î=ù N'6õ,>=:ðá9069Ëò8;û1<?Ëä:LEâM:NÑE4_8;H,U4Ð6PÑ3JM8;Î3>=LM6E:
8;Ó >?63>=Ti3äÓ T;:ç3äÓ7L3ç ê1<KH,8;Têk4_Ò²ÌxÓ7478;:'TiT8;LEÎ38;NÎ3:8;T:L3TiÍzJM:> >q8i4,Îò:'Ò5Ti8i8i:'Î3Î369::8
:ND4_:U:N]NÑEÎP8;>?LMH,Ï7638i:H,>KÌx8;ÑEU§>?47H,Ì6T]H,ÎE<?ç²HC<=áE:Ï7Ti<ñ:®H7>?6E8iU41N]Ñ3Î3á<?::':kÌIUJM>?6:e:'Ìx69>?8;8iÓ7ÎEH,6E:8;:>?47NJ±4_6«8iU4"47ÑEÒkH,LM<?é"<?8i4WH,í3Íº8;2 >?J347Ti6Ë9: 6P98;H,TiL3U:'>?:T;>?:eN.U§Ìz:8iHCâ3Î3ËäN]:
ÎEÎEH,LPHC6EÌxÏ7Ó7:::.4,JM47Òk> ÒMJ38i:'Ë9H7Ti6PÌ;:'ìMH,69ÌU81JMH,>?LEN
6ET;JJM>?63>KLEÌgÓz8i63T;8iÑ3>?Î3á3Ti:SLM:N'JM8i47>=>K4_NaU6ò8]H,Ñ3á34,LMÒk<?8]:HWÍk8iÌ;4_>=>=4_VT;:e6ìê 00
>~>=6E0 :7Óä0?B_/®8iH7Î3âM<=<?:Ñ34W<?Íz6347:>=>?8i63N'H,Ó":8;Ìi>?>KÌ;47JMH76§<?T;:1Ë4,H,ÒñN'Ó_ÿ®47:'U69:'T;8iÑ38;Ì>KLMN'8i8]4H,HW<8;H72®>?N 47_H,6 LET]H,>=ÌgTi<?8]<?:IHW:'<?8iL3>?:Ì;63U*:8iâM4RTiÑ3:Ti<?:947ÌxL3Ti8i:>?H7TiJTx:8+8iÌ®H_:8]ÌxH7âMìMN]:Ìì¢N'Ò²LM<?Ti>=8;6347>?ÓU476 8gÍkH7Na4
8iÛA>=Û UÏ_Ð:H ÌigH,N]47Î3Ó_TS:':69J3>?Ìi8iL3Ì;Ì<=L3BW>?63::ÌÓöÐN¨>>?Û 0 ±:':7690?ÍkBª8i<=4_Ó7Ë
T;L3ìT;>KJM:Ì;Ñ3>?ÎE63T;H,Óä4MTiJM>=>K6ELPJMÓNa<?: å
>8;=H,6ºÎ3Ó_:e:'8iÌx69Î3:8i:äÌIÑEN'>?T;6474_69á38i8;<=Î3::':U§â¢8Ì;ÌI:4,H,ÎEÒT]HCN]Ï7ÌxÎÐÎP:+H,Ò²áP4_Ti::Tz:'J L36R63U8i:'H_:'â¢N]UÑEì¢<=47<=4_:eTiT;JäËõ:eJ§H7H76ETi8iN]JH_Î3ÌxÌxìM>=8;4_Ì:e<=0MNaÏ_ÊZ8i:6L3JÐT;î=:e>?ù6RÌ'ï,0ªð8;ÊZÎ3Ík6º::±8iN'Î3ÎE47:HC69Ï_8;Ì;:+:'LEâ¢Ì;N'8Iì7N':':478iÌiÒ5N]ÌxÌ;Î3>?Ï7ÎE:e:ÐH7JäT;Ì;:'Ì;:å47N63<?8;LM47>?478i8;>=Î36E4_>?Ì6E63ÌkÓÍk8;:§H,4T]:'N]8;â¢Î3ÎEÑE>=:8;<=Ì;:4_:+NT;8;:§>KL3ÌiÌxÎ3TiL3:4W:eÌÍ 0Ì
G
ëIHW8Î3<?:z:H_Ti:Ìg8kÌ;L347<q638]Ì®:Ñ347TiÒª:8;Ì;Î3:':698;Ò²:e47J<?<=4W>?6Íz>?îq63ù WÓð347<?Ñ:H_:'JT]HW8i8i4+>=4_8;6EÎ3Ì®:zÍzÒ²4_>?<=<=<<?4W>?6EÍzN>?L363TSÓ+HN'47N6E49N'Ìg<=8kLPÍzÌx>?Î3476E>?N]Ì5Î§>?6>KÌ8;Î3:ç²<?N'Ó47
69ê18;:'ç²â¢Íz8.Î34,:ÒT;:ÑEH,
RT]H,>KÌ®<?<=8i:Î3<M:"é"Ì;íM>?2 V':
4,Ò 8;Î3:N'47UÑ3LM8]HW8i>=4_476Ñ8i:'T;T]:HW:e8iê >=4_6 ¨Û 1¨H_ÛAN'ÛAÛ N
:eÌ;H_ÌñN 98i4±L3>K8;ÌxÎ3>=8;:>?47H,6R8;474,U§Ò5ÌL3>?636
:'â¢8iÎ3ÑE:z<=4_ÑET;:eH7JRTx8iH7>?H7<q8i<¢:'H7Ti6E6EÌ;HWÍk8i>=:Ï_T5:Ì;Ìk:Ò²8 Ti47¨U ÛAÛ H7:63âM4,:8iN'Î3LM:'8;T>?47H76Ó7:476_Ò8eH 0
2.H, TiT]:H7NÑP8;:>KN'TxÒ²H,4_<T;+:'Uâ¢:ÑJ:'Ti>?>? 6F:'6ENN'47:6Pî=Ìgù 8],H,ð69Ìx8LE8;Ó7>?Ó7U:e:ÐÌg8]ÌkH,Ti8;:ÎEH,ÑE8T;:'ÑEÒ²H,:'T]T]H,H,á3<?<=<?::a<Ô :'63>~Ó_0 :7>=0?63Bª:8iÎ3JM:§:eÌx63>?Ó7476P63ÌIå¨N'Íz47Î36E:'Ìx8iTiH7:±6_478±Ñ8i:'>=T]UHW8;:>?47N'6P4_Ì Ìx8¨Û Ì;Î3H74_6EL3J<?J áÛAÛ :
NN4_496EÌg8N:>KÌñ6_L38iTi6EH,HC8;Ï7:e4_J>?JE>=6H,á347<?Ñ:7:'BaT]>=8ñHW8i>K>=Ìª4_Ò6 HCÏ_¨47ÛAÛAT]Û H,Wá30,ëI<?:5Î38;:k4>?<?694M8;N'L3H,>=8;8;:.>?47>=68ñ>?á6:'47Î3Ñ>?6E:'T]JHW8;8iÎ3>=4_>KÌ6EÌª>?ÌñÍz8;Î3ÎP49HW8Ìx:®B,Ì;Ò²>?Ti6E: N9:kL3:8;Î36E:SNË±634_N'H76M6å¨N'áP47:S6EÌxN8i4_H76_698i8T;4_8;>?<=U<?:J :
8;á¢îqùÎ3ËW:ðk8;Î3UÒ²47::'T
8;:Î3H634MÓ7Ì;J3>?L363ÌTi:aÏ7Ô)Ñ3:TiËò47H,Ñ6P474_Jò6ºÌ;:4_8iJæ63Î3<=:ÐË>?6ã8i4_478iÑPÑ3Î3:>K:NTiH,ê<=8;>=Î38;>?47::6TiHCH,Ï¢8;>?L3ÛA<=ÛAËõTiÛ Ð:äT;:ÎPÒ²47<=H7Ë T§Ì+47ÎE8;6ºÎEH7>?6E8iÌ±JMÎ3Ñ3<?:Ð>=Ti6347LEÓºÑÌ;:Ð:'ÍST;47478gË7TiÒ1ì0 Ìx."ÎEÌxH7ÎP6õT;H,:e8;TiJº4_>=63ÑõJ3ÓõHW47>=8]Ò.6àH«8;Î3ÑEÌg>K8iH7ÌT;TiBªLPH78;Na<=Î3<?8;:'LE:<zT;U§:eÌ;:Ì'H BH7gTiH74_N]6ET;Î >=JF8gËçH,Ì;:'Ti4,:: Ò
8;>=6 Î¢LE8iÌkÎ3L3>?Ì±6EÑEÌ;L3T;4>=8igH,:áENa8e<=:z0 Ò²õ:4_TkHÎEÌ;HCÎEÏ_H7:
T;:'>KJMå63:'69478i8;>Î3E>?:e63J«ÓH,8gÍST]N]4Î3>=U8;:e:Na8;8;ÎELE4¢T;JE:Ô ÌÌxH_L3Ì5>=8i8;H7Î3á3:"<?:
Gk:8i4W4RÍzÌ;L3L3<=Ñ3ÒÑÑE47<?H,T;88xÒ²47é"TiíMU§2 Ì.4_ÍS6 :HR>?6_8iJM:'>K6EÌg8iJT;>?8iá34LM8iLE:Ì;J :
U:'U47TiËH,T]N]Î3>=8;:eNa8;LE"!T;#:e%$Ì &Ù§'×(k÷_ëIø Ý Î3:ÐÜi× >KJMW:ÛAHÕ¢Þä47ÒzH76ET;:eJ N47ÙU×eÑ3÷7øL3Ý 8iHW;ø]8iÜ]>=4_×W6MÙ å¨áEMH7ÚÌ;W:JÚÛ×WÌxÕPÎP0 H,Ti>=63Ó47ÒSÍS47Tiìò>KÌJ3:'Ti>=Ï_:J á¢Ë
T;>=Ìx6R>?:eUNH,4_>=6«<KUH,TkÛAÑEÙ LMÌ;N]8iÎ3H,Ý Û:8;Ü>?U§ÛA47Ú6MH7Òå¨Ì®H7áEÌ;H7H7Î3J3Ì;>=47:4_JÑM68i0¢Ì;:N]þJÎ3::>=8S6ULE8i:7ÌSÎ3B3:1H7H,ÌiN6äÌx4_L3>?69UJ38;<=::1:â¢8;H,8®ÎEÓ_4,H,:'Ò.8S69× 8IH,aÓ_47Ø :'áM698]*8 H,>?)½6EÝAÝ ÌIø ÍSÝ HH7:ÑE6_âM8]H7:Ì®N'Tx8iLM8i>?4
8;H7>?<ª47Ì;6:'H,6E6E47J§Ì;ÒÍk>=<?8i:47ÌkTSÓ_>?ÑEÌ;NS:H78IÑ3Tx8iTiÒ²>?47TiH747Ó_<U TiH7H76EUH7Ìx63ÍSÌI4,:'î=8iù TkÎ3,Ìx:'ð:'0,TI<8 ÊZH,63½Ó_8i:'Î3698;4:8
H,N4_Ó_6_:'698]H,,8 >?63++>?630PÓëñ4ä8;Î3HC:§Ï_47<?>=>K8;J:'T]NH,47<KÑ¢ÌË¢Íz>?63Î3Ó§>KN]8;ÎºÎE:
ÎEHCÍzÏ7Î3:§4_á<=:
:':ÑE6FH,T;N]8;Î3>KH,4_<5Ì;:'H,6º6PÌxá¢ÍSË-:'T1)Ì;:JM;8 LE3ÐT;>?63BPÓ8;ÎE8;:ÎE:ÐH7Ó7N:'47696P8]ÌgÌ8iT;:LEâ3NN]8;ÎE>?H747636ºÓ74,:Ò 473Ð63<?0ËëIHÐÎ3<?:>?Ì;Ìx:8
<=H,>=68;:TiH7<?ÌITi:'ÑET;47:eÑÌx::'6_T]HW8k8i8;>=Î34_:6«óiH,NÑ34_Ñ3T;<?:e>?:ôJ4,Ò8i4Ð8;Î38;:ÎE>?ÑEÌ+H7<?Tx>?8iÌx>?8"H7<ª47Ò.H,6E<=>=Ì;8;Ík:Ti:H7TS<?Ì1Ì;:Íz8e03>=<?ÊZ<®6RN47ÑETiH,TiT;:8;Na>K8iN<=L3Ëä<KH,Ñ3TeTiB94¢ÍkJ3:LENH,:Ti:+8;Î3Ó7:LEH7ÍzTiÎ3H76_478i<?::':eÑEJH78;TxÎE8i>?H,H78 <
H,H,6E6EÌ;Ì;ÍSÍS :':'T"T5ÌxÌ; :':88;>K3ÐÌTi0:'ëIÑET;Î3:e>KÌxÌ±:6_N478i:UJU
á¢L3Ë+638;>KÎEN':IHW8iÌ;>=:4_86«4,Ñ3ÒETi<?>=4M8;N:':T]ÌiH,Ì<KÌñ>KÌ"ÍzÎ3>=<?>?<=LPN]ÎÌg8iH,TiTiH,:8;:ÑJ«47>?>=696 8;:QñJ>?ÓE8;0ª4+úMá¢0Ë"ëI8iÎ3Î3::IN]NÎ34_47T;:>KN:k47Ò.ÑP8;4_ÎE>=69:
8iNÌLE>?6T;Ti8i:'Î369:8
ÎENN4_4_HCT;6_Ï7:+8]:+H,ÌgU>?8]6EH74MÌSN]JMì«8;> ÎEPç:Ì;::'JäN:±4_8;T;QÎ3Ti>=::ÓPÌ;N'0 ÑP4794_Tiêa6E:+0¢JMÊZÌx>?6ä8i63H_ÓÑEN]ìH,N]T;Î3Ì;8;4_4>KNÌ;L3:'8iÎE6R<KH,HWTe<=8>=B_8;:e:8;H74TiH7N]UÎä<.çAH7N]8iì7ÎEÎ3:147:>K8;N<?Î3>q:±8i:±:'ÑPT]Ñ34_H,Ti>=<ª4M69>=N8z81:63Ìi>?ÌIÌk478Ñ4,Òñ474763>?Ì;69ÎE<?8;ËÐH,>?63TiÑ>?Ó6347Ó>?8;6_4§ÍS8]ÌS>?476R8;Ti4ì
8;Î38;U:ÎE4_:±8;T;T]8;:+H,T]>?H,:<öÐ>?<~ÌgBM8]NH7á3>?:'N]L3ì369818eêa03B9H,<KÍSé"Ìx4:Ì
HH7NT;8;:e>?Ï9ÌxL3>=8g<=Ë§8BE>KÍzÌ.8iÎ34:'68iTiÌxH7ÎP6EH,ÌgTiÒ²:>=63T.Ó8iÎ347:ÒñÍSN474769Ti8iì:'698iH,8kì_47:ÒÌI8;Ñ3Î3<K:±H7N'N:±4_T;áP:":'Ìg8g8]ÍkH7:N]:'ì6Ò²T;H,4_Ó7U/:69).8 ) 8;4H7++6EJä0."H7Ó76E:N'6_:.8 +u++T;B9:e8;NÎ3::>=Ï_4_:63Ì®<=8iËÎ3:±T;: N]_Î3LE4_>=TiÌ;:':6J
_
+
)
U
RU
_
LU
U
RU
U
LU
LU
_
_
_
P" !
)
JP
+ !
)K'
KP
7 2<v'*?L/2I
hP
P, !
+ + !
!
_
!
!
!
_
!
)
)
>
P
&%
1,
2
.
.
&%
_
=<>=>=6 8;:8;TiÎ3H7:<?ÌBªéS>=8i8±47UÍz>?<?é<.Ñ3TiTiTiHC4¢Ë3N'ê±:':eH7J6EJº8;4ÑP>?:6ETxÌxÒ²8i4_H,T;<?U <58;ÎEH,6:'>?T±8;TiLM8;Î ÏW4_H,ÑP<?L3::TiÌ§H,8;ç>?á9476ËòT;8;:e4òN47T;:eT]NJM47>?636PÓäÌg8i8;T;Î3LE:N8<?>qç²8i4_:'6ºT]H,8;<KÌÎ3:8;Ti8;LMT]H,8iÎ>?<ÏWÌg8]H7H7<=L3N]ì3:eÌê
8;8;Î3Î3:":+ÑE: H,:T;8;N>K8zH,<4,ÒH,6EáEÌ;H_ÍSN]ì_:'8iTkTiÌ;H_:N]8eì¢0_>=63ëIÓ
Î3:"H,6E<?H_JÐÌg8IN'47N]6EÎ3Ìx4_8;Ì;Ti:'LE6N8;<?>q>?8i63:'ÓNT]H,8i<Î3:äÍz>=ó;<?63<:áPâ¢:+8]ôH,LMH,8i6P47ÌxU§ÍSHW:'8iTS>?NÌxH,:'<?8<=0MËëINÎ347>KUÌSÑ3N'<?47:'Ñ¢UË¢:>=6E6_Ó8i:Ñ3JTi4¢8i4N':4_ÌiáMÌk8iNH7H,>=66
áPáP::'8gÍkH,<K:Ì;:'4Ð6õU§8;H7Î3JM:Ð:N'U4769478;Ti::698+:öÐ47ÒN>?8;:'ÎE69:'8±>?Tá¢ËRN47U§Ti:H7Ìgì98]>?H763N]ÓäìMÌ'>q80ªëIÛAÕÎ3Ü >K;Ì±øÙ§Ti:ø'JMÕELEÚ N':Ý Ì"ªH,8;ÎEÓ_:':Ð69H,8iUÌ1:47â3L3N]69ÎE8±H,4,6EÒIÓ7:J3HW4_8]63Hä<=ËR:'â38iÎ3N]ÎE:H,÷,63Û Ó_:ø Jõ;øH,Õ6EÜ]J ø
H,<?<=4WÍÌS8i4T;:LEÌx:±ÑEH7Tx8z47Òñ8iÎ3:ÑEH,T;8;>KH,<ªH76EÌxÍS:'TzÌ;:81H7<=Ti:H_JMË§:âM>KÌg8i>=63Ó>?6R8;Î3:>KJM<?:H,Ó7:6980
P
Backtracking
Literal
atom d
atom d
atom c
atom c
atom b
atom b
atom a
atom d
atom c
atom b
atom a
Trail
Core
}
copy
Atom Array
atom d
atom c
atom b
atom a
atom a
Trail
Trail
}
installation
atom d
copying
atom c
atom b
atom a
Atom Array
Trail
H I£ E£ []l]cd\9f_^xw^gmnceo§j,¢whgmqo_¦+c'¬ª»chg¹
H I£ E£ bc\,},¤¶¢w'|Z[aµj,¢whgmqo_¦±c¬»chg¹
8;:Î3âM:>KÌg6F8i>=63T;:eÓN4_>?6U ) ÑELM>K8i$ Ìz'H,8;JM#>?>?47(T;6:eëINa0Î38;1<?:ËÑPNN'4_4_476FÑ¢Ñ3Ë9>?Ík>?:634_JÐÓ7T;å8;ì«áE4§H_Ì;H,ÎEÌxÓ_:eH,J:'Ti69>?H7638.Ñ3ÓR+"Ñ3Ò²Ti0MT;4_4_ëIH7U Î3N]:±ÎH,LE8;Ó_4§Ì;:':±69ÍS84,47Ò)TiN'ì478;Ñ¢Ì;4 ÎEË¢H,>=++6ETi>=Ó
Bª6E8;ÓÎEÎ3H_:§H_ÌIJM:áP4769:Ñ38;:'8i>?T;6äÌz:§H§Ò²T;ÑE:Ì;H7>=9TxUL38i>?:'Ñ3H769<?<.:'8;T<?H,Ë6EH7Ì;H_Ñ3ÍSJMÑ3:'47TiT4_ÑMH78iÌx:N]:'JÎ 8
8;ÑE4«H,T]Ì;H,L3<?Ñ3<?:'Ñ<47:T;âM8:N'NLM478;U>?47Ñ36ÐL38i47HWÒ8i<?>=474_Ó76º>KN1>=6FH76ENJ4_6EN'Ìx478;6ET]ÌxH,8;>?T]6_H,8±>?69Ñ38Ti47Ñ3Ó_TiTi47H7Ó_UTiH7UU>?Ì"63Óîqù ÌxWËMð¨09Ìx8;ëI:'ÎEU§:"Ì§ÑEî H7Tx,8ið>?H7H7<PÌ±H7ÍS6EÌx:'ÍS<?<:'H7TIÌ+Ì;:8i8k44WÌ;ÍzL3Ñ36EÑ:JÐ47T;á¢8Ë 47)T;å
ÎE4,Ò5H7Ìz8;ÎEH7:±68;:'T]â¢H,ÑE>?<<=>KÌgN8]>=H78zN]T;ì:03Ñ3ëIT;:eÎ¢ÌxLE:Ì69BE8iHWN8i4_>=Ñ94_Ë¢6Ð>?63ÍzÓ>=8;8;Î3ÎE>?:6RÑE8;Î3H,T;:8;>KH,H,Ó_<:'H7696E.8 Ì;) Ík:MTI>q8zÌ;:>KÌz81NÒ²4_T;4_UU ÑE<=)*:'8;:'8;<?4 Ë+ JM:eNÌ;H,N'T;6>?áá::JÐÌxá¢>?UË§Ñ38iÎ3<=ËR:TiN:4_JM6_LE8iN':':69J 8
8;ÎE4
H7Ì±8;Î3á:+:':N64_Ñ9N'Ë¢47>?63UÓÑ347<?:Òª8i8;:Î3Jª:"B 8;+ÖT]H,63>?<::Ìg8]J3H7Ì+N]ì8i4R4,>?Ò 6E) Ìx8iH78i<=4 <5++8iÎ309:ëI8;ÎETi>?LMÌk8;>?Î Ìk>?ÏW<=H,<?LE<?L3Ìx8;:T]HW4,8;Ò:e8iJÐÎ3>?:§6HWQ8i47>=Ó_U§L3Ì+Ti: >=6 0 8;."ÎE:6EN'ÑP:H,8;T;ÎE8;>K>?H,ÌI<®NH,4_6EÑ¢Ì;Ë9ÍS>?63:'Ó T
ÌxÌx:':'8g8Ô >?Ì>~047:7áM0?B78]H,Ìx8;>?634_T;::SJä8;á¢ÎEË:>KNJM47:'Ti69Ti:8;>=NaÒ²8Ë¢8;>=6ETiLMÓ8i8;ÎÎ3ÏW:H7U<=L34_:eÌxÌ58>=6Ti:8iNÎ3::698;HW<?8iËÐ47<=U½>=8;:H7TiT;H7T]<ªHCË7Íz0 Î3k4_47Ì;:±UÏWÑ3H,LM<?8]L3HW:8i>=ÎE4_H76ÌI47áÒE:'8i:Î36 :§óxóxÓ_63L3:'â¢:Ìi8iÌxô±:eH,J36EôÌ;H,ÍS6E:'J T
ÑPH7Ì:Tx8;Ò²Î34_>KT;ÌU<=>=>?8;63:ÓzTiH7<?4¢<_<?N>?H,:<,ÌáPH,H7<?ÍSN]ì9HC8;ËMT]ÌH7N]H,ì¢8>?8i63Î3Ó:8i8i4z47>qÑ8e047ëIÒPÎ3N4_:Ñ3>?JM>?::J±698;8i>TiPH7N'>=<¢H,Ìg8;8]>?47H76±N]ì4,0Ò9é"8;Î3Ì:>=6áEH78;Î3N]ì9:S8;T;T]:eH7NN]4_ì¢U>?63ÑEÓSLM<=8i>=8;H,:8;Ti>?47H76<,>?N'ÌH_>=UÌx:_UBÍS::kJM>KNHWH,8i6 :
>=H,U6EÌ;Ñ3ÍSTi4W:'Ï7Tz:±Ìx:'Ñ8:'T;á3Ò²LM478TiU§4_63H,<=6EËÐN':+8;Î3á¢:ËäJMÑP> :Tx:'Ò²Ti4_:'T;6EUN':>?63áPÓ§:'>=8g6PÍkN:Ti:':'6RU8;:'Î369:8iH7H7<6ENÌ;4_ÍkÑ¢:Ë9TI>?63Ì;ÓP:8zBM>~>?06 :70?)B3á¢H7Ëä6EN'J47Ñ¢8;Î3Ë¢:>=634_Ó§636E:4,>=8z6 8;++ÎE:0 N4_UÑE<=:'8;:
>=N'6PH_JMÌx:e>?NÌ'HW0E$&8iëI:JFÎE>?Ìz8i ÎE>KÌHW8JM LED: 4M(S8;JM4ëI:'< Î38iÎ3:äk:47:Î3Ñ¢âM>?Ë¢ÑPÓ7>?:Î63T;Ó«>?NU49á:'Ìg:'869ÎE8i47HCÌÒÏ_ÑPTi::Ì:N'Txá47Ò²4_U:T;8;UÑ38;:LM:eT
8iJº>=8i6EÎE47Ó§6ãH,6æÑEÌ;H,ÎEDT;H,8iÌI4MTi:JM47Jº:'Ò<I8iUÎ3üz:::UN'H,474_6PUT;ÌxË ÍSÑ3:'LMH,TT]8]N]HWÌ;Î38i:>=>=814_8;:6 ÍN8;0 >=TeL36ã0 8eTi:U0MÌä8;49Î3îqÌg:
ùe8ïWNðS4,4_ÒzÎEÌx88iHCÎ3Ï74,:: Ò
<8;=Ìx4_Î3>?U63>KÌzÓ7Ñ3:Ñ3<?TkËTi4 ÍzÑgÎE:':eT;Na:'Ò²8a6Ð47êaTiB3ÍSUJM:1L3>?63U:±Ó±4W8iH+4Ï7:1U8;Î38;:4:UJMN'4747>?TiÌx6EË8;TiÌ;N>K>?á3JM47:'LMÑ¢T]8;Ë¢H,:e>?á3JÐ63<?Ó±Ë§U47Î3:'ÑU>?:'Ó7T]Î34_HWT;:8;Ë§T>?47NH,649T]0CN]Ìg8IÎ3ëI>=Ò²ÎE8;47:e>?TÌ5Na8;Ñ3N'LE47TiT;47Ñ¢:eÑË¢Ì1>=:'6EçT;H_Ó8gËÌ.J38iJMH,Î34¢8i:±:HÌ5Gká6E::4,4W8g8®ÍzÍS63L3:':':<=Ò6N':Ñ3H7Ìi<?Ì;H,Ó7H78x:'T;Ò²694_>?8]<?T;ËÌ'U 0 Î347LE<KÌ;J
:J§H76¢>?6Ë
ÌxN]ÎPÎ3H,47Ti>KëN>=634:
ÓäN'4,H7Ò.Ì;ÑMN]ÍzÎ38;LEÎ3:UT;>KN]:1Î«:78;BEÎ3UÍz:±:ÎEá8i:'Î3:Ti4MÌx:8SJáP478;47Ò4ä8;áPÎòLE47Ì;D«8;:ÎR4¢>KÍkJ3Ì14_:'Ñ<5T;:'<KüzJ3T;Ò²Ì:47B_N'TiÍS47UU:+:Ñ3J«ÎELMHCJM8]Ï7HWË¢:18;6E>?Ì;H747ÍzU6«>=8i>?H7N]N6EÎ3H,J«:e<?<=JËºD>?ç;64Mø JM74_Ü:L3< TkkÚÑEÛA4_T;Ù47Ñ98;øË¢4,>?Hä638gË¢ÓÌxÑÎEH7:1H7T;8iT;:4>?63:HÓÐUÎ¢4_Ñ3Ë9ÑP<=4WáE:Ë_T;Ti:>KH,JÐJª8;>?0PÍS47ëI647Î3Ti>Kì:Ì
8;T;áPÎ3: :9:z:'L36ÐÌ;>=>=TiVU§::JPH_47êaJMÒ30,:z8;ÿ.Î3Ò²H7Ti:z47T;>?UN'4747LETi47Ì5:kL3ÎEH,Tk:'6P:L3JâMTiÑP>?8;ÌxÎE:8;:ST;>KN'>?UÌ;Ì.>=VÎE:':k69HC8i47Ï7ÌÒ3:I8;>=á6PÎE:'N:k:'<?LEÑE6§JMH7N':Tx478i6E>?H7¨Ì;Û <9">?J3H7>=:'6EÒªTiÌ;8;:ÍkÎ3J
::+Ò²T47ÌxÌ;>?T5V':8i:8eÎ30W47>?íMÌkÒ478;ÌxUÎ3:<=:+::eNaN8g8iË¢47>=Ñ3Ti4_:z>K6N'>KB,H7ÌÍz<_Ì;4_Î3LMáE>KöÐN]Ì;Î:'NTi>?8iÏC:'H,69H,ì_8;8;:I>?<?47Ë>=6E69N'Ì8;<=4948;ÌxÎEH_:H,N'8®8;N'447ÎEL38iHCÎ3Ï769::8
48;,Ìx4Ð>?Ò®V':"8iáÎ3:4,:ÒUH78;ÎE6E47:"TiÌ;:ÍkH,:6PH_T"JMÌxÍSÏWÌ;:H,:'8"69T8i>KÌ;H7Ì":Ó78eÏ7:'B7:'4_8iTiLEÎ3ËRÌk:'6<?8;H7ÎET;T;H7Ó_:e6:N47NT;U4_:eNUÑ34_L3ÑPU8iH,HWÑETi8i:LM>=4_JR8i6§H,8;8;4Ík>?474_8;6L3Î30E<K:ëIJÌ;ÎE<=>=:eV>?Ì1H7:J<?4,H_8;Ò®Ìg4
818iÎ3HÑE:
T;<?4_4_N'ÑPÌi47Ì®:TiTx:7Í8gBEËä0 Te8;Î30 >?8Ì:0¢6õÌxN8;47TiNÑ¢474_Ë¢6EÑ¢>?Ó7Ë963<?>?ÓEË630 ÓTi¨:'ÛAH7<KÛ ±Ñ3HW8;Ñ>q:eÒª:Jä8iH,Î3T]8;Ì1:"4§ÌxÌ;8i8;>?Î3V'>?<?:: <
8;47ÌxÎ3ÑáE::'Ì;:e:'<?JH7TiÏWT;HWÓ_4,8i:'Ò>=Tª4_8i>KÎ36EÌ:ÌI8;Î3á¢L3:ËÐ6EÑEJM:H,:âMT;T;Ñ<?8;Ë¢:'>KH,>=Ti6E<,>=UÓRH76E:'>?Ìx6969ÍS8]8;H,::'Ti<?T<=N'ËäÌ;47:63>?8JM638;::eÎE69NaH,8;8i8>=>=Ò²4_Ë9Ík6ò>?:.6363ÓN:'H,8g8g6ÍSÍkH 44_T;8;47ì_Î3T]ÔàTiJ1:8;8;Ì;Î34Î3:§47Ti<K:Ì;J3N'<=4WÌ47ÍSUç\:'Ñ3T"LM8;8iÎ3:7H,:§0 6PJ >?69:.8;:ÎETiHCN'Ï_47êI:563N'63H,476P:e6ENaJR8iN'>=T;H
4_:'6ò8;Ò²L3>?V'636P:e:'NaJ8g8;Ík>?8i47Î34_6 :T;Ì;ì: B
Processor i
Processor j
Processor i
Processor j
_
FP
%
)
1
_
BP" !
!
o
"!$#%
'&
ÍzÍzÎ3Î3>K:'N]6EÎÐ:'Ï7T;::<?TH,8;:eÌ.8iÎ3:"5Ì;ç>=Vß]:1Û e47ø]Òª× 58;Î3ç :±N4_WT;ê:1H7ßa6EÛ eJøi× 8i®Î3ç :"Ì;>=aVÚ~:1Û 47Ý Òª"8;Î3ÕE:±ß H,6Eø Ì;ÍS:'ø'TÚ?êÌ;:ê 8 ¢ü:N4_U0 Ñ3LM8iH,8;>?476§>KÌ:UÑ3<=4WË_:J
&
('
+
'
"!$#%
J ? @A?L/2I
79@G4
ZÊ>=66Ìx8i:eÎ3H,:ST]N'N]47Î694,8;Ò3:'ÍSâ¢84747Tiì Ò347L3T5IÌxÌxËM:Ìx<=8;:e:NaUR8Ò²BeT;8g4_ÍSUÖ4"ÍzÌiN]Î3Î3>?:N]J3Î
L3H,<=Ó7>?63:Ó+698ñJMÍS:N'47>?TiÌ;ì">=4_Íz6EÌñ>?<=ÎE<¢HCáÏ7::®8]8iH,4"ì_:'á6 :k8iH,ì_S:'Ì;6:'<?á¢:ËN8:eÍzH7N]ÎEÎ>?N]>KÎJM<?LE:k63Ñ3:TiâM4MÑ3N<?:e47Ì;TiÌ;:47J T
8;<=H,49Î3<=8;H7: :J§T;E6E>?T]6H,Ìg8;8:e>?Ï7H7>K:+N]Ì;ÎÐÌ;ÍzL347:>=<?8;<ªÎ3á¢á:ËFTS:"<KH78]H,Ó7H,V:ì_>=<?6_:'Ëº6Ð8e0_UÒ²/kTiH747H7>=U N]69Î8]H,8;H7Î3>?Ó763::'>=6E69Ì;:'Óò8<?:U§>?Na6ã8iH7:>=:69JRH_8iN]H7H,Îã>=Ó_6P:'H,Ìk69Ó_8H7:'0¢669ÊZ8R6äH,Tiç 8;Ti
Î3HC:Ëê NÍzLE>=T;8;TiÐÎä:'69H7H76æ8I6ÐÑ3:'H,T;69ÑE478iÑ38;T;47T;Ë4C8gË9âMÒ²47Ñ>?U§TS:7:B¢HWH_ÍS8;N]:e:"ÎJºÎPH,Ï¢HCÓ_>=Ï7::':"Í6988iH74,>?6ÐN]Òì¢8i8i<?Î3Î3:J ::
ÌxëIËMÎ3Ìx:Ð8;::U 6_¢8iT;8i>?Î3:: Ì>=6º8i:'Î369:Ð8;Ti<?ËÐ4_H7>?6Jº8iH7Î3T;:T]HCH,Ë«TiTiH,HCTiË:§>?U§6EJMH,>K6EN'HWH78iÓ7::ÌIJ Ízá¢ÎEËòH,8SáET;>KÌI49H7áJ3:'N<?>=H7:ÌxÏ78;:>?63JÓR8;48;Î3á:Ð:+LE8;ÑÎ3J3:H,<?8;4_:eH_JºJÐ<=>?496H7J8iÎ3Íz: Î3:'
6E:'H7Ï7Ó7::T6_8eH 0
ÌxNÎP4_UH,TiU>=634_ÓR6 47ÑÍz:'>q8iT]ÎãHW8i>=:e4_H76õN]Î 4MN47N8;L3Î3T]:Ì T
H,Ó_:'69H78
6 >?6 H7Ñ38iÑ3Î3Ti:ä4Câ¢Ì;ËM>?U§Ìg8iHW:'8iU:J05ëIÏ¢Î3>?:'>?Í Ì>?4,6MÒkÒ²47ÍzTiU§ÎPHWHW88i>=>?4_Ì+6 8iÎ3>?Ì
:§L3<?4WÑÍkJ3:eHWÌg8i8:JãN]Î3Ï947>K>KH«N:U
ÑL347<=>?8;69>KN'8±H7>?Ìx6 8
:Ñ3H_Ti:N]ÎÒ²:'Ti8;:'>?6PUN::
H,8;46àH,H,Ó_Ó7:':69698i8
Ì"áEÍzH_Î3N]>Kì_N]8iÎ TiH_H7N]T;ìM: Ìóx4W63Ï_:e:'H,T
T]ô§Hº8iN'Î347:Ñ3>?>?:JMJæ<?:N]47Î36347:>KN:RçH7ÑP<=<?4W4_Íz>=69>?8e630.ÓëIÒ²Î34_:RT±>=Ìi6EN]N'Î3T;:e:JMUL3:'<?>=69638iÓºH7<5Ìx8;N'T]47HWÑ¢8;Ë¢:>=Ó76EËFÓ9ê"Ó_>=H,Ï_6E:J Ì
ÍzÎ3>KüzN]ÎR:'Ó9ÎPH,HCT]Ï7JM:±>?63HÓãÌ;LM8iÎ3öÐ:ãN>?Ì;:':'69<?8i:<=NËä8;>?Î347>=6ÖÓ_Î4,Ò<=498;H7Î3Jª:F0 LE63:âMÑ3<?47Ti:JÖH,<=8;:T;6PHW8;>?Ï7:eÌ'BI>?6 îqùeïWðÍS:F:âMÑ3<?47Ti:J 8gÍk4 H7ÑMå
Ò²Ñ3JMT;TiL34_4_TiU H7>=6EN]ÓÎEN]Î3:8;Ì4_Î3B9>?:N'Ti::N'Ì;47ÑPÑU4_:Na>=Ñ3698iLM8i>=Ï_8]ÌHW:'8;<?ÍzËÐ>?47ÎEN'6>?N]H7êaÎà<=BE<?:Íz<?Jò>=ÎE:«Ú¨>=<?× N':õ<=49>=6H,Ìx:6EáTJ 4,8;8;]4 8;×W47Ú8;U Ú¨Î3×,:òÙ ÌiN]T;Î3Ì;4¢N]:4,ÎEJM8§:LEJM47<=>?L3Ò163<?8;Ó>?63ÎE8;ÓE:Î303:8;ëñTiU:'47:Ñ49ÌgÌ;ç²8>N]0 ÎE:7Ti::0?B®JMN':'8;L369Î3<?>?8;:63<?ËÐÓ4_<?Ó_Ì;J3:'L3:<?::ÌxÌi8NÌx8i:eN]ÌzJÎ3H747<?<q>=>K8i8;N:':':eTiT]Ì6EH,HW<KUÌz8i>=H_H,Ï_JMTi:::Ì
<=NH,:e4_6EH76EÌ;J3ÍSÌxÌ1>K:'JM8;T:4äT;Ìx:eÒ:'JªH78iÌx0eÌ]8;êaQE:B5T;T+4_á3UÖÌ;LMÎE8H78;Î3T;8;>?4 :S63:ÓÐUâM4_47ÑÑPTi:':Ð:TiTi>=UÒ²H,Ti8;: :>?96_47L36E8]Ì:Ì
6_Tiç:'8§H7ÑÌ1N'47H78;T;<=ÎE8;<K:eÌ
:'JË8;>?4õ8g6äË¢8;Ñ3î=Î3ù>Kï,:N'ð9H,ÌiÍS<?<?N]Ë:Î3:4_H7J3áE<=<?L3Ìx4W<=:Í:T;TÏ_Ìz0 :8iJ+kÎ347:8iÎE6PH,HWÌxÓ7>K8®JM:>?:'696Ti8i>?Ó7Ì163:Ó«8;634ä:'8iT]J3Î3H,::ä<7H,8;ÎE<4_>=ÍzÑ
Ó_Î3>=Ìi8;:'N]ÎõT§Î3:Ì;NU§JM49LEÌgH,8<=<?>?<=63:4,Ó T Ò
4,NÌxÎP4_Ò+UH,áPTiU
47>=638xL3Ó8;4_63U47>KN'ÑH,:'Ìi8;T]>?N]HW47Î38i6ò:>=4_J3>?6L36ò<=B>?ÑE638gT;ÍkÓP:eB54FÌx:Ì;6EH7>?UÓ7N:
:'>?<K69H,4,8]TÒkÌÌ;8;Ì;ÎE4 ÎEH,H78;TiT;ÎE::Rå¨: 6363474,8;Ú 8Î3_>?Üg63LEÓäÌx8§H7Ti47ÝN]ÛA63ÎEÚ~:Ú>qÛA8iÕ9:L3Þ Na6E8i:L3UâMTiÑ3::8;<?Ì47ÎEBETi4¢ÍS:JuJu:
Ñ3ÎEH,TiHC<=:8;Ï_:'Ì;::'Ti6E69Ti8iH,:':8;Ï_J>?:'Ï7T;:õ>?8;6 :ç²J8iî H7,8;ì7ð405:'6æÊZH6àÒ²ÏWTiHºH,47TiU>KÌxHW>?638;8i>?Ó747Î3<?6 ::
8;Ë7:Î3H_4_:
ÌxL3>?63<=H7ËÓ7Na:e8iJM>=ÌgÏ_:'8±8;::eN]Î3H,Na8;Ó747:e:>KJõN69:
8H_0EÑPÌ1ëI4_>=>=Î38±69>K8a<=Ìz>?êa:UBÌ+á3:47LM8i6«Î384M8;HJÎ3:Ì;ÎE:8;8±H74_ÌI4,ÑòáÒ:'478;:Ò®Î36:8;UÎ3>=U:§Ô Ñ3NÎE4_<?:'T;H7U:
<qÒ:Ìg476_8]Ò.H78i:N]8;ìJÎEE:
H_8iÌSL3Î36E>KÒ²Ì+47:<?âMH7<=4WÑ3<=<?Í<?4W47ÍÌ Ti:Ì1J«¨8;Û 4H78;<qJM8iÎ3:'::Ti8i6E:'<?H_TiHWUÌg8i81>=Ï_>?63N]:Î3:Ì+4_ÍzHC>?N'ÏCÎE:±H7HW>=ÑP<K8+H,4_áE>?>=Ì"69<=:818iÎ3>?>K6 :Ì
8;ÑEÎ3H,:T;8±>KJM4,<?Ò.:8iH,Î3Ó_::'698iTi8IH78;>=4<8i8iÎEH7HWì78±:ÎENH74_Ì"6_8i8iT;4ä4_<á4,:Ò5N':47H7Ñ3N]>?ÎR:J 4,8iÎ3Ti::'NT4_N]UÎEÑ347LM>KN8;:±:eJ ÑP4_>=69ÛAÛ8zÐ>?6äÌ;Ñ38i<?>qÎ38;:8;>?63N4_ÓT;:>?Ì+ÌxÑ8iH_:'N]T;ìÒ²470 TiU:eJá¢Ë«H,<?<=4WÍz>?63Ó
Å.ÄEÉ BªÅÂkÃ 5Ä xÉ 5Ä ÅIÅ C ®Æ
ëIÌx:'Î38:ÐÑ3çTiÌ;47: Ó_9TiL3H7:U698;>=>K6EH,<AN'ê"T;:ß]UÙ§:'×e69÷78iø H7Ý ß<=<?Ë7H,0<?Ó7ëI4_ÎET;>=:Ð8;Î3H,U <?Ó747Ñ3TiT;>=:e8;Î3Ìx:U 698;ÑE:JäT;:e:Ìx:H76_T;<?8i>?::'J TIá3>?6 L3>?<?QñJE>?ÌzÓE08;ÎEùÐ:N'ÌgH,8]6ºH,á3á<?::ÐUTi: 4¢EJ363:':e<KJõÌI4,8;Ò®4H,>?66_8iH,T;4M6EJMÌ;ÍSLPN:':T
8;Î3§:§GkLPÌx:':Ò²474,TiÒS:<=Ó_4¢L347:ìWÌiH7ÌxÎ3>?63:ÓH_JòHäJM<?L3>q8iTi:'>?T]63H,Ó<ñ8i8;Î34ä:ºN'47óx69Ó_8;L3>?:6¢ÌiL3Ì;:ô:'4,âMÒIÑEHH,6E<?>qÌ;8i>?:'47T]6H,B<0L3ëI63:'Î3â¢:§ÑEH,<=4_<?Ó7T;:e4_JT;>=8;<=Î3>=8;U :TiH7>K<?Ì±Ì"UH,Ti4¢:J3>8iE::eÌx8;Jõ:J«H_Ì"8;4äÒ²47Ï7<?<=:'4WTiÍ>=Ò²Ì Ë
Íz Î3:
8iÎ3 :'ê®T>K8;ÌSÎ3>=:6PT;N:ä476P>?Ì
Ìx>KÌgH8i:'<?>q698i8:'0MT]H,í¢<LEN]ÎäÌ;LE<=>=N]8;Îº:TiH78iÎE<?ÌSHW8N'H7i 6(ák :">?PUç\ U:3 JM>KHW8i:' <?ËÐ) ê+H7J3>KÌJM:eN'J476E8;4Ì;>?Ìx3Ð8;:0 698
H,6EéJ ÒA8;i:'Tz!Ì;k LEN]PÎÐç\ <?>q8i :'3 T]H,<KÌ
ÎEùHC>KÏ7Ì±:zN'áH,) :'<?<?::6JÒ²8i47Î3L3: 6PJªB ni l f-iNÌg8ig :'kmÑl,N'0H7Ê¨68±>?ÑEÌ"T;4M>?UN:Ñ:47JT;8iá¢H7Ë
69Ó_81L38;:4RÌiÌ;47>=áP63ÌxÓ:H7T;Ï_6Ð:±H,8;TiÎEá3H,>q8i8±TiH7H7T;69ËËL3>?69638;:TiâM4¢Ñ3J3<?47LETiNa:8iJ>=4_<?6«>q8i4,:'T]Ò.H,<?<>q0_8i:'í9T]8iH,:'<KÑ Ì
ÑPÊZ6Ð:TxH7Ò²4_J3T;J3U>q8i:e>=4_J6>=BW68;ÎE8i:Î3>KÍkÌ"4_Ìx%T;8;ì:ÑÑ:'>?ÌT;Ò²47÷7Tiø'UÚ¨ø :aJÙÍzÛAÕEÎ3ÛKßa>?<=Ú~:ÛÜ
8;:H,Ìx6P8;J>?63Ó±JM4¢Ò²4_:ÌT58;6EÎ34,:8"ÏWTiH7: T;9>?L347>?LETiÌ5:±LE8;63Î3::âMNÑ3Ti<?:47HWTi8i:>=J4_6<?>q8i4,:'ÒT]H,HÐ<KÌ®N]Î3N'H,4_6>?N':á:ÑP4_LE>=Ì;69:8eJ 0
8;4ÐN]û1Î34¢LE49T;>?Ìx63:"Ó§8;Î38iÎ3::ó;áP<?4¢:e47ÌgìW8]ôH,Î3<=:e>=8;H7:JTiH7Ìx<8;:'8;4§ÑBEá:':Ï_:'LETiÌxË:eJ8i:>?Ìx681ÌgÑ8i:':'T;Ñ Ò²47MTiB3UH_:eN'JN'4747T]6«JM>=6EH§ÓÑP8iH,4>?T Ì;47 UÕ:±×WÎ3ÚU:L3 T;>K>?ÌxÌ"8;>KÌxN+L3áPÒ²L3Ìg6E8]H,Na698i>=8;4_>K6H,<?0 <=ËR>?6Må
J8;M4ä:'Ñ::'âM6PÑEJMH,:'6P69J 8.Ò²ç²Ti4_4763U½:Ò²8;4_Î3T :zx8iBE:8iÌxÎ38iÌ®:
Ti47L38;6Î3:47T16§4_H76369:Ë
Ò²4,4_8iT
Î3Õ:'T®×WÚÑEH7>=êaT BP8; Î¢LE ÕÌ"×WT;Ú :eÌx LE! <q0_8i>=/k63H7ÓäN]>=Î
6õ8;H:eÌg8.N4_>?6¢UÏ7ÑE! 47H,<?Ï7T]HW:eÌ58i>=L3Ï_:'Ñ<?Ë8;4:8gâMÍSÑ4:'6EN'Ì;H7>?<=Ï7<K:Ì
Ó7NN4_4_4_U6ET;>=N8;ÑE:Î3LMÑMU 8i8.H,4,8;NÒ>?4_47L36<K4_0ªJT;ëI>?áPV'Î3:
4_:e69ÑEÌx8i:H,H,T]<MN]H,ÎE2®<?H,<=H7:T]Ti<=H7>?H7V'N<=:e<?8;:'Jª:<?T;>?0P>KÌ;Ìgè1U8i4,>?BWN8iÌxÌ>?>?N'6EU§:NH,:I8;ÎEì_8i:H,Î38 :8iÎ3Ti:
:Ì;<?L34¢<=47ÝA8iÝ ìWÌ®ø H,Ý 47ÎEÒP:×8iH7Î3× Jò:zÌgÑE38iH,:'ø T]Ñõ7H,÷ò<?Hä<?:'>?Ì"6E<M:H,H,âM8;6L3:eNT]>?6EH,LM<Ìx8i8i>=ÑP4_H,4_66P>=N6947:8±Ò47<?Íz4¢Ò547Î38;ìW:'Î3H,Ti:
:
ÎEÓ7:8;H7:'Î36EJ::'H,T]H,TiH,<=: å <
N4_Uá3>?63:JB_T]HW8iÎ3:'T®8iÎEH,6áP:>=63Ó
N476PÌx>KJM:'Ti:J§H7<q8i:'Ti6EHW8i>=Ï_:I8;4
:H7N]Î§478;Î3:TB9H7Ì®>?6Ðÿ®:Tx8i>?NH,<2®H,T]H,<?<=:<=>KÌxU0
>P e1!
+!
%
P <
!
+
!
+
1
-
_
20
)
P !
+
,+ !
v
8 !
;" 8 !
2
%(
_
%
P
&%
e1!
!#"
%$
&! !#"
'
!
)(+*-,,
.
_
La
#
La
0 1
%$
=<ëI:Î3Ï7::<ªH,4,ÑEÒ ÑP:eH,<M4,Ò :âMB9ëI<?Ñ3>=:e<?Î347Ìz:>=8;>=ÑE>?6R63H,Ó8iT]Î3H,:±<?<?4_:'ÒT;H7<?>=>?NVeV'8SHW4_8;6_8i>?ÎE8]47H,HW6ä<¢8z2®4,8iÒñH,Î3T]8;: H,Î3E<?:<=T]:<?Ìg<=4¢>K8zÌ;47U¿>?ìW6¢H,Ï7HWÎ34785:e<?Ï7H78;Î3:eJäÌI:zÌgH<?8i:':'Ï_N'Ñ:'4_<¢H7>?Ì4,TiÌ;Ò 47:'áMT;8]åÓ_H,Ti>?%63H7 :>=6EJä:>=J6 8gHË¢BT]ÑP9HW:L38iÎ3>=478;:'Ò:T5ÑPÌx8iH,8;ÎET]T]H,H,H,6>?<?Ó7<=:HWÎ9<=85>K8xÌxÒ²8iU4_Î3Tx: 0å
ÍSH,Ó_H7:'Ti69JÐ80¢ÍS/HCËH_N]á¢ÎËÐH,ÌxÓ_Ñ3:'<?69>=8x8.8;8;>?63ÎEÓ
:'68;Î3Ñ:±:'T;Ì;Ò²:478kTiU§47ÒÌ.L38i63Î3:':"âM8;Ñ3:<=4_Ìx8zT;:eJMJ§:Ìi<?>qN8iTi:'>=T]áH,:<KJÐÌ'B¢>=H,6R6EÌgJ8i:'H7ÑòÌiÌxù">?Ó747636>?638;ÓÎ3:+:eH7L3N]63Î:'â¢Ì;L3ÑEáE<=4_Ì;T;::e8SJ8;4<=>=8;H:TiJMH7> <?Ì:'8;TiÎE:'69H,88
>qÓ78:63ÎP:'H7T]ÌHW8iá::'Jä:6ºá9ËÐH_Ì;8;Ì;Î3>?:Ó763H7:eÓ7Jª:'0ª69Qñ8]Ì'>?06EH7<=<?47Ë7TiBìHRÌ;ÎE63H,:Í*Ti>=6EÑPÓ
H,>KT;ÌI8;>KáEH,H7<.Ì;H,:6PJäÌx47ÍS6R:'T8iÎ3Ì;::8DB 3 4MJM®:'>K<Ìká34_L3Ñ¢>?<=Ë98>?63á9ÓËò8;U:eN]:Î3T;63Ó_>=> 6E9ÓäL3:78i0 Î3:§Ti:Ì;L3<q8]Ì
47T;:'T]8;JML3:'èTiTk63478;:e8;4>KJNJM:"á¢:'8;Ëä8;ÎE:'8iH,TiÎ3U8:
B¢>=:'6EH7Ï_:1Ó7:':8i66_Î38]>?:±6ÐÌ1áPH78i:eÎ3T;Ìg::±8zÌ;ÑE<?L3>qH,8i>=T]:'8iH,T]H7H,<?á3<?<P:'<=Ë<8;4>=N'UáP47Ñ3U:±<?:'áELEU>=Ì;63::':eJ69JE8]>=êa6HW08;ëI>? 47 Î36>KB_Ì"8iÌ;Î3>? :±Ó763<=4¢> +P4_N'ìCH7H769Î38;:<? H_ËäJÐç²TiÑ3:ÌxTiJM8;4W:'LPÏ¢ÑRN>?JM:N':eÌH7J68;Î38;á:ÎP:"HWN8S:'4_â¢8;UÎ3ÑEÑ3:±<=4_LMTi>q8i8i:H,:Ì;8;JÐL3>?47<q>?8]66 Ì
ÑV'P4_:6_TxÒ²8]4_H,T;<U2®:eH,JäT]H,á¢<?Ë<=:<= >KÌx U á9Ë H7Ñ3+Ñ3<?Ë9>?63Ó BMHÐH,6EÍkJR4_T;Ñ3ì9TiåZ4WÌxÏ¢ÎE>?H7JMT;:e>?63ÌzÓH§UÌx>?:U8;ÎEÑ34¢<?:JòÍSÌx>?HCUËÐ>=47<KH,Ò.T1N8;474§U
8iá3Î3>?63:>=6E ÓCßaÿ®ÛÜ:Tx"8i>?ÕNH,÷7<× H76EJ ò×e4_÷7T;ø>=å Ý
îqù WG ð¨B3ÌgJ 8i?BLEJM@ >?:JäMÒ²47ëITzÎ3ÑP:IH,ì7T]:'H,Ë<?<=:Ò²47<=>?T5VH,8;ÎE8;>?:S476>?698;47:Ò5Ó72T]HWT;8;4_>?<=474_6
Ó
4,N'Ò47ÿ®U:'Ñ3T;LM8;>K8]N'HWH78;<3>?47H,66E0 J 4_T;>?V'4_6_8]H,<M2®H,T]H,<?<?:'<?>?Ì;UÖ>?Ì5>?68;Î3:zÍIHCË
ÍkÌ;N]4_ÎET;:ìJML3>?Ì"<?:'JMTe>=BªÏ¢H,>KJM6E:JõJRHä>?6Ì;:Ík8±4_4,T;ÒSìH,L3Ó763:>=698i8iÌ1Ì1H78;6EÎEJH,8H7ÌiH7ÌxT;>?:Ó76EJM::JJ3>?8;N4HW8;8;:eÎEJ«:8iH,4Ó_:'8i69Î38i:Ì0H7."Na8iL3LET1H,<®Ì;ËMN'Ìg478iU:'U Ñ3LM>K8]ÌzHW8;áE>?H_47Ìx6õ:eJR4,Ò.478i6Î3:§H§H,N:6E6_Ì;8iÍSTi:'H7T <
Ìx3Ð:'8iBÌLE0Ì;/.>=63Ï_Óä:'TiH§ËÌxÍk:'8"4_T;4,ìÒ®L3L36E6E:>q8âMÑ3N'<?4747TiTiT;::eJRÌxÑ<=47>=8;6E:JETiH7Ì<?Ì8i4BHR0 <?4¢4747ìWTiH,ìÎ3:eL3H763Jõ>=8iÌ"Ìg8iTi:':'Ñº<KHWÑP8;:e:TxJäÒ²4_8;T;4UJM:e> J«:'47Ti6º:'69HR8"ÑEÑEH7H,TxT;8i8;>?>KH7H,<<.H,H76P6EÌxÌ;ÍSÍk:':T1T+Ì;Ì;::8]8eÌ B
Íz:N'âMH7>q6«:8iÎòN'áPLMN8;:::eTxÑ3Ì 8]TiH,4M>? N6:ÌiÑEÌ;H,:T;J«8;>KH,H,<81H,8;6EÎEÌ;:ÍSÌi:'H,T1UFÌ;::Íz818iÎ3>=ÎP>?UN]HCÎ:Ï7B:á¢H7áËäÌ:'8i:'ÍSÎ36õ::NÌxÌx47ËM8iUH,Ìx8;8;Ñ3:':e<?UJã:8i0 :áJª:Ò²BP4_Î38;T;ÎE::_63:B®:'Ì;T;Ï_N]: :'ÎE_T±:LEJMH,>=Ti<?L3<:<?Ì:'8iT"Î3H :
Ó_Ï7H,ÍS:8;47Î3T;ËTi:ìRTiÌ;ÌIL3U§8i63Î3H,>=:8i<?<Ì±TiH,H7:UÌ;ÌiL3Ìx474M<=8iL3N'Ì"69>?H,8§H,8;6E:4,JJ Ò
N8gÍk4_U4§ÑEçÑPLM498iH,Ì;Ì;8;>=>?áE47<=6Ë3BêH,ÑE6E H7JTx8iN+>?H7H,<36H,8;6EÎ¢Ì;LEÍkÌ1:T®áP:Ìx:':8iâMÌa@C:B7N'LMH78;6E:eJ
J8;JMÎ3>=:Ti:ÌiNN]8;Î3<?:ËäJ34_L36<=:T®8;Î3Ó7:
:63Ì;:'N]T]Î3HW:e8iJM:L3Ì<?Ík:'Te4_0 T;ì L363>=8iÌ5 Ò²4_+T®áP478;Î 4,TiÒ:8;8iÎ3L3:TiU6EÌ B
8;Î¢6ELEJ3Ì:'N'Tk478;UÎ3>KÑ3Ì.<?:Ñ8i:'>=T]63ÌxÓÐÑ:HN8;çÑE>?Ï7H,:_T]B H,1<?<=:47<KTiêk>=V>=478;:69Ti8iH,H78;<3>?472®6RH,T]4,H,Ò<?<=8;:Î3<=>K:ÌxU H7<=Ó_N474_TiT;>qTi8i:Î3Ì;U ÑP4_>?6E6J3ÌQ8i>?ÓE40ª8;ù_Î3B3:":ÑEâ¢H,8;:T]6EH,<?JM<?:':e<3Jä:'Ízâ¢:e>=8;NÎ LM8i>=4_6Ð%4, Òª ÍS47Ti ì 0
L3:âM63:>=8iN'ÌLM8;Ti>?:'47<K6RHW8i4,:ÒñJºÍk8i4_4òT;ì8iÎ3L3:R63>=Ìi8iH,ÌIUTi:':R<KHWÑE8iH,:T;JÐ8;>K8;H,4<IJMH,>6PÌx:'ÍSTi:':'T698zÌx:'ÑE8H705Tx8iÿ®>?H7:'T;<8;H7>KN'6EH7Ì;<SÍk2®:TSH7TiÌ;H7:8]<=<?Ì':'0M<?>KëIÌxUÎ3:±BÍI>?6EHCÌxË
8;:e8iH7Î3Jª:B5Ìx>K:eÌH,8iT]Î3N]Î:Ì;ÑEÑEH,H7T]N'H,:"<?<?:'>KÌ <
8;á¢T]Ë HCÏ7:TiÌ;:8;JªÎ3Be:H7Ìñ6¢ÍkL3U:<=<¢áH7:'T±Ì8;H,ÎEÓ_:k:'69áE8iH7Ì+<?H7H,6EUN:k4_63áPÓÐ:'8gÍzÍkÎ3::'>KN]6
Îÿ®8;:'ÎET;:8;>KN'Ì;:H,8+<¢H,4,6PÒJ L36E:4_âMT;Ñ3>?V'<?4_4769Ti:8iJH,<9<?2®>q8iH,:'T]T]H,H,<?<K<=Ì1:<=>K>KÌ"Ì;URÌ;Ñ3Be<?H,>q8eTiBª:H,JM6E:'J 8;:'TiU
>=6E8i:Î3J :
Ñ3ÍkTi4_>=T;4_ìRT;>=8gL3Ë63>=Ó78i>?Ì+Ï7:'H76NN8;4_4TiJMÑP>?:636EÓJM8i>?634äÓHFÍkói4_ÌxT;>?ìUL3L36E<KHW>q8i8]:Ì'J0MÊZJM6R:47ÑML38;ÎTI>?EUT]Ñ3Ìg8]<=ôÐ:UÌg8i:'Ti69H,8i8;H,:8;Ó7>?47Ë76BE>~ÍS0 :7:±0?BH78;ÌiÎ3Ìx:
>?Ó7Ñ36ÐT;>?ÑE47T;Ti>?>=478gTiË>q8i4,>=:eÒÌkHÐ8;4Ík4_ÑPT;:ìR6EJML3>?6363>=Ó 8
47JMH6:'NÑ4_8i:'Î3U6P:J3ÑEÌ6¢LML38iEH,U
Ti8;ÌxáP>?8I47:6º47T"6§áE478iÒ.H7Î3Ì;63::4MJ JMJM:':4_ÑMÌ"638i<=4,ÎËõÒB 47J3E6 :'B¢ÑM>?6Ð8iÎ4_8iT;Î3R>?:+V'4_Ñ3Ì;69T;::e8iH7ÌxH,Ti:<.N]69ÎÐ2®8H7Ì;8;ÑETi4H7H_<=N8;<?Î3:7:'<?B9:
>K4,Ìx<=UÒ:'ÒA8;8+Î3>KÌ:±47Ò Ì;N:'4_
®<?T;:0TiNaëI:8iÌ;:Î3ÑPJª>K4_Ì+B6E8;N]JMÎ3Î3>?:Ð4763>KÓ4_N:Ti63J34MÓ_:'JMLET:_H,>?BT]6 H,
®69ÍzB¢8iH7ÎE:'6E:>?N]ÌzJÐÎF8;Ì;ÎE:63H,N'4M847JMB6E:e>qJ ÌÒ
>=47H,UTiTi:§>=ÑÓ_47>=N6P47T;H,8i6PH7<kÌx6_>KÌ;JM81U:'Ò²Ti4M::JMHWJò8i:'L3<K>?ÌTiÌ:7H78;BE<=Î3Ó_á:Ð47:TiNÌi>qH,H,8iLEÎ3UÌ;U:§:0ñH7>=8"ëIÌ±H,Î3>?<?6 :e<=4WÌx:ÐHÍÌÎEÌ;: :'LE9L3ÌzL3Ti>?8i:Ìx4Ð698;8;>K:N'>KH,âMÌ<5Ñ3ÎE<?>=47UHC>=Ï78zÑ3:<?8;:'Î3áPU:::':Ì;6F6_H78]UHW8iÎ38i:>=474_ÌxTi6 :e47H,L347T]Ó_ÒSN]Î3Îä4_<?Ë«L3Î3T:8;L3:eH,TiÌg<?8i>?Ó7Ìx:4_8;JãT;>KN'>=8;Ì1>=Î36FÑ3U8iT;Î3:e0Ìx:ëI:69Î3ÑP8>KH7Ì±Ìx>=68>KÌÒ²8i:'H,Î3Í 6 :
Ë7:eH,T]ëIÌSÎ3H7:6EJR6¢L3Ñ3UTi4WáÏ7:':TäJÐ4,8;Ò4H,ÑÓ_:':'T;69Ò²8i47ÌÐTiU H7UÏ7:47T;63ËÐÓºÍSÍz:'Î3<?<ª>KN]>?6RÎuU8;Î349:òÌg8Ì;:H,8äÑEÑ34,<=Ò±>KN'L3H,638;>?:47âM6EÑ3Ì<?0 47Ti:Ju<?>q8i:'T]H,<KÌ§>KÌÐÌxÑE<=>=8>KÌÌ;:'<?:Na8i:J
HW2®8ÐH,T]TiH,L3<?6M<=:å<=8;>K>?Ì;UUR:7B0LEëIÌx:'Î3Ò²>KL3Ì§<SH,>qÒz<?<?4W8iÍÎ3:äÌH78;Î36E:ÌxÍSLE:'Ì;T:'TÌx:'8i8e4Fç~ÌiêJM:H,N'Ti>?:§JM::âMáÑP::e8gNaÍS8i:'::Jº6 8i4òH áN'47:ÐUÒ²47Ñ3LELM6E8]HWJF8i>=Íz4_6æ>=8;Î áEH_<?>qÌx8;:e8;Ju<?:ä47áP6 H7N]ì98;47T]TiH7>?V'N]47ì¢69>?638]H,ÓE<B
H,6EJHN4_UÑ3LM8iH,8;>?476RáEH7Ì;:Jä476ÿ®:Tx8i>?NH,<2®H,T]H,<?<?:'<?>?Ì;UB_LEÌ;:Ò²LE<>qÒ®U47Ti:+áEH7N]ì98;T]H7N]ì¢>?63Ó>KÌz:'â¢Ñ:N8;:eJª0
Ä iÅÄ 5Â"È ¢Ç ZÃ
ÊZ4,6Ò
8i8;Î3Î3>K: ÌzÌx>?J3:e:Na8;H7>?ÌR476äÑ3TiÍk::±Ì;:'Ì;69Î38i4W:Í)J)Ìx>?6)4_U8i:"Î3:º47ÒÑ38;TiÎE:':"Ï¢>=:'4_â¢LEÑÌR:'TiÌx>?:eUNa8;:>?69478i6PH,Ì'<0zTiëI:Ì;Î3L3: <=8iÌIT;:eNÌx4_LE<=<q<?8]:ÌäN8;ÎP:JÐHCÏ7Ò²:òT;4_áU :':8;6 ÎE:"4_>?áMU8iH7Ñ3>=<=6E::UJ):'694_8i6)H,8;8i>?47Î36 :
25çý_:'ý769ý78;D«>?L3Î3UVeå¨êáENH747Ì;6E:J 63:GSN8;:':4WJÐÍzÏ9L3>K<=HÒ+DçÑ3Ë¢L3TiTi>=:'6E<?Ëò:8JM0¢>KëIÌg8iÎ3T;:">?á3T;LM:e8iÌx:L3J <=8iÌkUTi:':'UÑ4747T;Ti8;Ëò:JH,T]ÎPN]HCÎ3Ï7>=8;::eáNa8;:'LE:T;6Ð:eÌi47ê+áM8]HWH,8>?63è":DòJ§Ò²íT;I4_U*Ô)258gÍS:'4698iÌ;>=>=L3UU >?<?H7ÊxTÊ
>=NU4_6EÑ3Ìg<?8i:'T;ULP:Na6_8;:e8]JHW8i>?>=6 4_6EÌ.LE47Ì;Ò>?é+63Ó"íM25D«B724_Êª63:Ò²47JMT5:'JMÏ_:e:'H,<?47<?>=Ñ63:Ó"JÍzHW>q8i8Îè">?Dò698;í:'Ti Ñ3TiH,4M6ENJ:Ìi47Ì;6E47:TN'HW478kUëzUë L36E07>?NGSHW4,8;8;>?47ÎÐ6Ì;0eËMëIÌg8iÎ3:':SU§:Ì®âMÎEÑHC:'TiÏ_>=:IUáP::6_:'8]6 Ì
X Sf_h{C[ihg|Zmnco±c¬ 7CW W'W,C hgf9o_| 65e7'C co"^g_[^scI\¢whZ^gm=w'¥9w'o9|¨s[ih|Z[i^g|¶M[i¬Kc'hg[5hg[i^gf_hgo_mqo_¦k^g_[]d`
#
%
<K1?A@
4;1?AIJ/ M
f_
5a
v
`_
%
#
7(@ 24
L?A/IM
2 N
#
K
>
_
#
&
#
,P e1!
!
%
%
#
_
#
8
K"
>
j
9
!
ÎET;:eHCÌxÏ7:e:"H,T]áPN]:Î3:':'6RT]Ì]ÑPêI:H,Tx6EÒ²4_JT;U8iÎ3:e:JÐU§á¢Ë§H g:47âMT1:4_N'LMá 8;g>?:63NÓ8;>?Ï7H:6¢ÍIL3U
H7ÌáP8;:4äTIÏC4,H7Òñ<=é+>KJ3íMH,2ã8;:ÑE8iT;Î34_:Ó7T]Ò²H,:eH7U§Ì;Ì1>=áEç>=U<?>q8g49ËÌg8i47<=Ë§Ò.ÑE4_H,áMT]8iH,H7<?>=<=6E::<J§:'â¢Ò²:eTi47NLMU 8i>=474_8;6«Î3:4,T Ò
é"íM2àÑE@ @ T;4_@Ó7T]H,U§Ì@4_6 Gk:4W? ÍzL3J <=ÒñÑ3<KHW8;Ò²õ:47TiUÎEÌHC0 Ï_:äH76EH,<?Ë¢V':J 8;Î3:Ñ:'T;Ò²47TiU§H,6EN':ä47Ò18iÎ3:ÑEH,T]H,<?<=:<IÑ3T;:Ñ3Ti4,å
Ñ347N:eáETiÌ;:'Ì;Ì;Ñ3:'47TiTiT
Ï74M:eNá9J:ËFÌiÌ;JMN'47> 47T®U:>KÌT;ÑE:>?H,6E6§TiN>?>q:e638]ÌÌÓP>=>q6à8]TiÌÌxÌx8Ñ:'Ñ3âM:'Ti:e:4,JN8iL34,T]8;8gH,>?Ë¢4763ÑP6ãÓ_:">=Ì;6EH,ÑPÓ«6E:J:Ò²TiJF>=478kU Íz>KÌ>=8;Ï_Îæ:'TiÏWËH,8i4TiL3Ë96E>?94763ï ÑMÓ«8i>=6¢êaUL30®>?U
è1V':áP:'JòÏ7::T
çTxN8i474_Î3ÒU:'Ñ3<?ÑE:TiH,Ìi4¢ÌTiN'B::J
8iÌiÎ3Ìx8;4_:4 TiÌNÝ 0L3ëITi]T;Î3ß':ø+:ä698
ÍkÑE>?:1H,UT]ÎEH,ÑEHC<?<=<?Ï7:':': å <
U:â¢:'8;69T]H78iH,N8;8;>?>?47636FÓ±ÑEÍIH,H7T]ÌH,<?U<?:'4_<?>?ÌxÌ;8;U <?Ë Ò²T;U4_U :eH,698;Î38:z8iÑE4«T;T;::Ñ3Ñ3T;Ti4M:N'Ì;::'Ìi69Ìx8>?63HÓ1ÑEÑ3ÎETi4¢H74,Ì;:7ÒI0,4,ëIÒÎ3N: 4_6EENT]:Ìx85ÑM8
>?69N8;:4_T;6E:eNÌg:8iT;>=636EÓ±>=63TiÓ:Ì;8iL3Î3<=:Ð8ñ8iÒ²:eÎEH7HWÌ;8.>=áEÍS>=:I<?>q8gÎEË HCÏ74,: Ò
8;47ÑE4RáEH,T]Ì;U§:'H,Ti<?H,<?Ï7:'ì7:e<?:>?JÐÌ;8;UÐ>KÎ3ÌSê:8;ÎEH7ÑEH,<=H7U8ITiH74_8;<=Î3Ìx<?8
:':±<ñ6ET]4WHW:'Ï78;Ó7:'ÎE<?>?Ti:'Ó7Î3TI>?:eá3:'H7<=U
:_JF0®áEç²ëIH,>0Ti:7Î3Ti0?>?H_BPÌÌ;8iÌ;NÎ3>?H,63:6ãÓ7H7<?Ë
áJ3:JMÑP:eH,ÌxJòT]:H,:'N'<?6ã47<=:U>?<6àÑ3Ìx8;LMQñTi8]LE>?HWÓEN8;08;>?L347MTi6õBñ:±ÍzN4,4_Î3ÒÌx>K8+8iN]Î3ÎàJ3:L3NN:474_U8iU4ÐÑEÑE8iH7LMÎ3T;8i:e:H,Ì8;:>?8iâM47Î3Ñ36:<?47H,:>=<?8i<=âM4WHW:ÍS8iN'>=LM:4_J8;6«>?47LE4,6 ÌÒ
8;8;>?>?UU::ÌSÌ5LEÒ²47Ì;Tz>=6EHÓ"JMH+>?T;Ìx:e>?63Na8zÓ7<?Ìx:I: H,9Ó7L3::'69698ñ8;>K>?H,6<8;>?ÎEU:SÑ3ÑP<=:H,UT]H,:'<?69<=:8i<_H,Ñ38;>?Ti47:'6RÑET;4,4MÒN8i:eÎ3Ì;Ì;:±47Ó7Te0Ti47ÊZ6L36P63JM4">=6ENH7Ó
Ì;H,:<?ÌñÓ7Ík4_T;:S>=8;ÎEÎEHCU Ï_:Íz47áP>q8iÌxÎ:T;8iÏ_Î3::±J:4WâMÏ_::'N'TiLMÎ38;:>?47H_6J
Î3ÌxL3>?Ó7ö§Î3N':>=TI:698;ÎE8"H76¢6 L3U5 áù :'ÐT+0M4,ÿ®Ò.:TiT;L3Ë<?:Ó7Ì4¢8;4M4Jì_Ì;:'ÑP::Ñ:JM8;L3Î3ÑP:ÌzH,ÎEÓ_HC:'Ï769:+8iÌ1áá3:'LE:'6Ì;Ë74_0áEQñÌx>?:ÓET;0Ï_ïÐ:J§Ì;Î3>?64WÍ:H_ÌzN]8iÎÎ3:á:'Ñ36ET;N]:Î3Ñ3U§Ti4¢H7N'T;:ìÌiÌxN'>?476369Ó8i8iH7>=>=U6E>=:63ÓÒ²4_H T
8gÌxÍkÑ:'4±:eáJM:'L36EÑ§N]>KÎEÌ.UÌ;<=H7>?Ó7T;ìMÎ9Ì8;<?LEËÌ;<?>=4W6EÍkÓ±:J3T5> 8;ÎE:'TiH7:'669<=8.>?636¢:L3H7UT.áJM:'L3T]:zÌ58i4,4ÒÑ3Ìx<?Ti>?4¢Ó7Î9N':8;<?ÌiËÌx4_L3Ti6¢Ì0CáEèH7<?4,H78i6E:SN8;:eÎEJH,J38®>?Ò²Ìx478;T.Ti>=NáE:LMTx8;8]>?H,47>?66
4,áÒ:'ÍS6PN]47Î3TiìU§áPH,Ti:'ì¢8gÍkÌñ:8iÎ3:'6 :
8;H,Î36¢:RËH,H_Ó_J3:'JM69>=8;8i>?Ìg47Ôà6EH7>?6º<ª<=8;49ÎEH7:äJäNáELEH,T;<KTiH,:'6E69N'8>=6EÌiÓN]Î3H_:'NaU8i>=:ÐÏ¢>=ÍS8;>?::ÌH,0 Ti:Ì;>=UÑ3<?Ë T;:<=Ë¢>?63Ó«476 HòÌg8]HW8;>KN§ÑEH7Tx8i>q8i>=4_63>?63Ó«Íz>=8;Î34_LM8
)
Eh<v'*< L4
X)9@B<
)
'*) /
?A/IM[
%
%
X
_
&
5000.0
Time (ms)
Grounding Times
Sequential
Parallel (1 CPU)
4000.0
2000
3000.0
2000.0
1000.0
0
1000
2000
3000
4000
Nodes
Time (ms)
0.0
color (Ladder)
Family
Pigeon (23)
Rpcs 2
1500
6000.0
Sequential
Parallel (1 CPU)
1000
Time (ms)
4000.0
500
2000.0
0
0.0
10
15
20
25
1
2
3
4
5
6
H IP£3£ ¯ªhg[]\_hgcWl` S{e[ihg9[awµ±°²¯mn¦[]ceoE© bc¥nchgmno9¦C³ H I£ E£ ¯ªw'hxw'¥nq[i¥YKv7[]l`9c'¬ª^g9[z¯ªhg[]\_hgcWli[]|Z|Zch
8;Ï7Î3:Ti<=4_47ÑPLE:e@Ó7@ JRÎ @H,ÑE81H7è1TiH7Dò<=<?:'í <SI@<?>qÔ)8i:'H,T]H,6@ <I:'ÌxÏ_:47<=:e<?LMNa8;8;>?>?§47476R6ãëI4,Î3ÎEÒ:)HC8;Ï7Î3:ä:':
âMáPÑPÌx::ÎE:'T;H76æ>?UT;:eN':'J47696EU8iJ3Ìº:LEUÒ²Na4_8i4_T :T;J Ë:âMLP:'Ñ363Ìx>?<?Ó_6347>=>=Ó«638i:±H,8i8;Î3Ñ3>?47:Ti6:'GkÏ¢>?4,:474WÒLEÍzÌ;ÿ®<?L3Ë:'<=T;Ò"JM8;é">K:N'ÌiH7íMN<ä2½Ti>?áP2®:':eH763JäTiÓ_H7>=>?6E<=6F<?:R:'îq<?ùe>?JMÌ;ïWU:'ð¨å 0
>8i=é6§H_<?Ìx<M4_ìM8;L3Ì>?TUáJM>=:6E:e8gÌxÓ_ÍS>?Ì®Ó7:'6Ñ3:6TiÍS:Ì;:H,:'Ó_ÎE69:'8iHC69:Ï_8iJ
:IÌ0ÎEJ3ëIHC:Ï7NÎ3>K:S>KJMÌáP:eJ:>KÌ
:'8;6J34>47H7á3J3:'8iTi47H,:'ÑM>?69638k8:eH J
Ò²Ti1H_47Ì®Ë¢U á3HCT;Ï7Íz>K:'JÎET]H,DHWÓ_8
:.:Ík8i4WÎ3:ÐÏ74M:JÎPTIHC8;ù Ï74+:§Ì;T;L347LEáPÑ36EÌxÑÌ':0,47T;é"T;Ï_8.:Ì5:J Uâ3>=N]:'6)ÎE69H78;î=63>?ù47ï,Ó763ð:zBñ:e47JÍzÒ>=Î3LE6§:'63Tií¢::Ð:âMNÑ3D8<?0_474Mú3TiJM:0=:ù_J <B
Ê8gZk6Ík47:Ñ¢8;:'Î3Ë¢6«:§>=6EÑENÓäT;4_4MÍI69N8;H7:e:Ì+Ì;â¢Ì;84747áPT]4,ÌzÌxÒI:<?T;JM:Ï_H_>KÌg:J38iJÌzT;>?8iá38i4ä4äLM8iáHÐ::J ÎE8;>=UÓ_Î3Î3::':'UÍzT"47>?6963TiLEË«63U>?63H,áT]Ó:'N]Î3T+Ìg8i>=4,8;Ti:ÒH,N8;Ì;8;:'>qL38iÓ_LETiË:HWÌ>=8i6õB>=4_8;8;6EÎ3Î3Ì1:§:ÍzÎE<KÎE>=H7Ó_Ìx:'Î38+Ti:':U§T8;HNÎ349g:47ÌgTi8U>q8g474MËÒSJM47:'N<54_Ò.UN8;Î34_UÑ9:Ë¢L3á>?6363:'>KÓÐ6EN'H,N]Ñ3ÎE8;>?TiU474W6õÏ¢H7>?T;J3áPìM::'ÌÌå 0
ÌxLEáMåëñ4_H7ÑMá38;<?>?:U§ù±H,<ªTi:'ÑÑ:'47T;Ò²T;478iTiÌSU§8iÎ3H,:6EN'::âMÌ:0 N'LM8;>?476ä8;>?U:Ìz4_áEÌ;:'TiÏ7:J476HÌx:'84,Ò5áP:6EN]Î3U§H,TiìMÌ'B¢ÍzÎ3>?<=:Q>?ÓE0 >?<=<?LEÌxå
8;8;T]Î3HW:18i:áPÌ®:6E8iÎ3N]Î3:"U§Ì;ÑH,:'Ti:ìMJ3Ì'L3BW:_ÑE0 ÌkÓP0=47B áEÌ;:'TiH7Ï76E:eJ JLEPÌ;>?B763H7ÓT;:z8iÎ3Ì;Ë¢:6_Î¢8iË¢Î3á3:T;8i>K>?J§NIáÌiN]:'Î36P:'N]UÎ3U§:H,4_Ti6Ðì¢HÌ®J3Ìx:':'8kÏ7:47<=Òª4_é+ÑP:eíMJ2 8i4á:'Ìg6P8iLEN]Î3JMU§ËH,ÌxÑTiì¢:ÌN'0_> Pí¢NI4_UÑET;:14_ÑM4,åÒ
:'T;8;>?:Ìª47Ò¢8;Î3:®>?6MÒ²:'Ti:'6PN:.:63Ó7>?63:7B'ÍzÎ3>=<?:.478;Î3:TiÌªH7T;:.é+íM2Ñ3Ti47Ó7T]H,U§Ì47á38iH,>?63:eJ1Ò²Ti47U 4,8iÎ3:'TªTi:Ì;:H7TiN]ÎE:'T]Ì'0
Number of Agents
Nodes
Eh<v'*< L4
X? :46'H<
794 L4;@:?L),/XM
#
&
)
K
&%
>KÌHHÑ3Ó7<?H7T]H,63Ñ363Î:TN074_è1<=4_4,T;8i>?:163ÓzH,<KÑ3ÌxTi4±478iáEÎE<=:HWUR8 B # +>KÌ.
':'â¢+:eN LMH,8i6P:JJ§Ì;:H7TiN]Î3 >?63# Ó++ Ò²47H,TkTi:HÌiÌxN]>?Î363:Ó_J3<=:zL3U<=>?634MÓJMÑE:'<PT;4_Ízá3Î3<=:>?<=U§:1Ì'H7B<=<PÍz4,ÎE8i>=ÎM<?: å
>
?
.
Ì
:8;'Î3T]Ì549ÌxH,:+Ti:kN'H_:'â¢Ìx:e:eÌ®NLMÍz8iÎ3::'J
TiT;:": ü9L3:>=NTi4_>?63UÓ"Ñ3H7LM<=8i<MH,U8;>?4M47JM6§ :'>?<K6EÌñÌx8;8;4±:H_áJ§:S4,ÑEÒ T;4MkJM4_LEÑ¢N'Ë9:>?Jª630,ÓëIÎEÎEH_:kÌ.8iá::'Ìx:8i6ÐÌU§8;TiH,>?Ó7Tiì7Ó7:e:JT;:eJ
8;"Î3:">?6UQñH >?ÓEg470 Ti">q8g>?Ë
6EJM4,>KÒªN'8iHWÎ38i::
8;8;>?Î3UTi::Ì;ÌÎ3074_ëI<?JÎ3:z8;4Ti:JMÌ;L3>KÌ;<qN'8]T;Ì>?UÑ3T;>=:e6EÌxH,:8;69:±8;:áJ
:8gÎEÍSHC:'Ï_:':S6áN:'4_:Ñ¢6Ë9H_>?63N'N'Ó47H,U6EÑ3Jä<?>?T;Ì;:eÎ3N:4_J
Uá¢ÑEËLMLE8iH,Ì;>=8;6E>?47Ó±6H70M6ëI:Î3âM:±ÑPTi:L3T;>?<=U:H_:'69JM8i47H7ÑM<=8i<?Ë:JJM:'>=6ä8;:'8;TiÎ3U:±>=6E>?U:J å
aÚÛ Ý "× ÕE;ßø ø ø'Ú «8iÎ3:'6U4MJM:<
Ñ3<?:'U:'698iH,8;>?476«NH,6á:
Ì;L3UUH7T;>?V':eJH7Ì E>=Ò T;Ti:eH,N8;4_>?4§U>?ÑEÌLM8;8i4¢H,4Ð8;>?<?474W6òÍ>KB3Ì±8iÎ3H,:'Ñ36ÑEBP<=>?8;:ÎEJª:'BTi47:8;>?Î3Ì1:T;63Íz4Ð>KÌxH7:
J3ÏCUH74¢69J38iH,:'Ó_<.:N4_>=6«Ñ¢Ë9N'>?4763Ñ¢ÓäË¢>?>=Ì+6EÓ LEÌ;gLE:JªÌg8"0ªëI8;Î3Î3::N>?4_6_T;8i:_L3B3>=8;Íz>?47Î36 >?<=: >?Ì"¨8;ÛAÛÎPHW>q8 Ò®8i¨ÛÎ3:>=ÒT]HW8i8iÎ3>=4:
>?H,Ì16E8;J«4¢4äÙ Î3>=Ó_LPÎÌxB:e8;JÎ3:Ò²476T8;8;ÎEÎ3::eÌxN':"4_Ìx:8"âMÑP4,:Ò.T;Ti>?:UN':'4769U8iÌkÑ3LMÍz8iÎ3>=6E:ÓÐT;:18;Ì;ÎE::
8kH,8;4ä6PÌxù ÍS,:'T+ú±ÌxH,:'6P8"J>KÌ"ù <?>?ì7ú3:'0_<?QËä>=ÓP8;40Eù á:Ìx:ÎEâ34WNÍ:eÌ®Ì;Ì;8;>=ÎEÏ_:1:70>?UëIÎ3ÑP:H7NaÙ8IÛA4,Õ Ò
LEÌxÎEÌ;4W>=63ÍzÓ6Ti:T]HWN'478;ÎEU:'Ñ3TSLM<=4W8]HWÍ 8;>?Ì;47Ñ6ä:':>=6äJ3L38;ÑEÎEÌg:+Ôàá:':_6P0 ÓPN]0=Î3B U§H,Tiì¢ÌSU§476RH,TiHì7:e<KH7JÐJ3ÍzJ3:'>=5 8;TIÎ Ó7T]H,Ñ3Îä>?6H,6EQñ5 J >?ÓE0 E# 03í¢47U:±áP07:ëI6EÎ3N]Î3: U§ET]H,ÌgTi8IìMÌSÓ7:ÎE63HC:'Ï7T;: å
HÑ3W8iTi:4¢Ì+N':Ï7Ìi:ÌxT;4_Ë TiÌgEÔà6E8;:Î3Ó_:zTiÌiH7H,>=6EU::zJáP8]:H76EÌ;N]ì¢Î3Ì±U§H7H,6ETiJõìMÌ®Ì;L 476§:'HT]Ì" Ì;ÎE8;Î3H7:T;:eÑJ¢:'åU6EH7:<qU8gË4_T;47ËÒÑE8;ÎE<?H,:8xÒ²N'474_TiÌxU 8+47Ñ3 ÒST;4MN'+JM47
ULPN+U:ÌL3 Ìx6EÑ>?N:'HW:e8;JM>?L347ÑE6õÌkáPN:'<?4_8gÍkÌ;:I::'8;64
EÌxÑ0:'Q3:e4_JMT1L3ÍzÑFÎEÑH,4_8"ÌiÌxN>?4_á36E<?:§N:>?T;Ì
6EÌH7N8;LE# H7+<=<?
Ë 'ú+H7 6EB9Jõ8;Î38;:
Î3:T;T;:e:ÐÌxLEÌ;<q:'8]:Ì1U H,Ti8;:74òBHWáPÒA8i:Ð:'T±6E4«H,<?JM<~B :'_Ó_LETiH_>q8iJ3:HW8iÑ>=4_4_Ì;6ò>q8i4,>=Ï_Òz:7ÑBP:'H_T;ÌÒ²478iTiÎ3U§:H,U§6EN'H,:â¢>?ÍzUÎELE:'U 6
8;Î3:6¢L3U
áP:T4,Ò5H,Ó_:'698iÌI>KÌI>=6PNTi:H7Ì;:Jäá:'Ë74_6EJúM0
?
J Im?3 e Im?3a < Im?3a I ?Ea ä I ?E]
bc¥qc'h+° Pweµ_µ_[ih;³
bc¥qc'h+° wo9µ_cd e³
Ece¦emn|¨^gmnl]|
jW^Zhxw'^g[]¦mql
| |Z|

¯
9=? J¢£ Kv7[]lif_^gmnceo5mqd[i|1°Amno E|]` ³5ceo§¾ñ[]cas.f9¥¬
_
P !
)
1 / !
)
d
!
%
!
%
!
,_
" $#
&%
,
%
5,
87
94
:3
')(+*,)-.
), -)2+3)0)4+3
'0)'+3,/(+2
3)2,)-3
0''1(3),,)2
./3)3)-.-2
./3),)4-)-.
,/(+0)0..
). .2+,10-*
,./3,./,/(
(+-.20
(+23)2..(4)2+*./3*
0.4./3,
,)'+*/(,.
4 ,)0)24*
+
.4)(+,)20*
,)4',3
'.-.,)')2+3
*)0-)-'*
20-)0+,/(
Speedups
Speedups
(Distributed Memory Engine)
(Distributed Memory Engine)
8
8
Color (Ladder) [*]
Color (Random)
Logistics
Sjss [*]
P7 [*]
Strategic
T8
6
Speedup
6
Speedup
,10+*/(,)' .-)2+,,
.-)(6.*)'1(
./,*14.'+,)03)',)2
,),)2)0',.2)-)(+-
=<
;
4
2
0
,)0+,10',
2 -)(+*)4)2
.2+*),)4)20
,.22)(
,),)0)2')(2+*
(((+3)')*)'2)2)(2
4
2
0
2
4
6
0
8
Number of Agents
0
2
4
6
8
Number of Agents
H I£ E£ j,\M[][aµ7f9\9|5¬=hgced [ihZ^gmnlaw¥P¯ªw'hxw'¥nq[i¥qmn|Zd
8;8;ÎEÎ3:ÐH,8Ê¨Ì;8.4,Ñ>?Òñ:'Ì.:8;>=J3Î369L3:8;:ÑEÌ;T;ÌÎE:eÌgH,4_8iTiáE>=:6EÌxJ:Ó±T;U8;Ï_4::'JòUN4_4747U6ºTiË§ÑEÌxH,:':Ti63<=:S:eÓ_Na8;>=8;6EÎ3:e:+:zJòáÑEáT;:':':eÎE6PÌxHC:N]Ï¢6_Î3>?8i47U§:T®JäH,47Ti>=ÒPì¢6F8iÌ+Î3î=>?ù:16 ï,JMð8;0M>KÎ3ÌgQ8i:ÐT;>=ÓP>?Ì;á30ªÎELMù7H,8iù±Ti::JÑ3JòTiU:UÌ;:':':'U69U8i4747ÌITiTiËHËò>?NUH,4_6PÑ3UJ«<?:'ÑEU8iH,Î3Ti:':Ð>?69Ì;478iJMH,6ä>K8;Ìg8i>?áP47T;:'6>?8gá3ÍkÍzLM:8i>=::'8;ÎJ6
U:'U47TiËò:63Ó7>?63:Ì0ªÊZ6 8;Î3:UH g47Ti>q8gË47Òk8iÎ3:NH7Ì;:Ì±ÍS:4_áEÌ;:'TiÏ7:JõTi:'<KHW8;>?Ï7:<=Ë«Ì;U§H,<?<JM:Ó7T]H7J3H,8;>?476ò>?6
)>
)
@?
P7
Color (Ladder)
Sjss
8
8
8.0
4.0
0.0
4
2
2.0
0
0
2
4
6
8
Recomputation
Copy
6
Speedup
6
Speedup
Speedup
Recomputation
Copy
Recomputation
Copying
6.0
4
2
0
2
4
6
0
8
0
2
Number of Agents
Number of Agents
4
6
8
Number of Agents
H I£(J £ ·d\¢w'li^®c'¬f9|Zmno9¦ []l]cd\9f7^xw'^gmnceo
8;8;Î34Ð:"HÌxUÑ:'47:eTiJM:±L3T;Ñ:0<=:."ÏC63H769<?Ë8záJ3:'> 6E:'N]TiÎ3:'U§6EH7N':§T;ìMç²Ì®:7Íz0 ÓEÎ30?B :T;:IÒ²Ti: 9L3Ò²4_:TI6988;Î3Ì;:N]Î3<K:eH7JMJ3L3J3<?:'>=Tz6EÓÓ7T]4,H,ÒÑEÌxÎPU§êa0H7<=<EÌ;>?V':z8]H7Ì;ì¢Ì.>?Ì®Ti: 9L3>?Ti:J<=:eH7J
_
_
&
Shared vs. Distributed Memory
Shared vs. Distributed Memory
7.0
7
Color (Ladder) Distrib.
Color (Ladder) SHMem
Strategic Distrib.
Strategic SHMem
Speedup
Speedup
5.0
3.0
sjss Distrib.
sjss SHMem
T8 Distrib.
T8 SHMem
5
3
1
1.0
1.0
3.0
5.0
7.0
1
3
5
7
No. of Agents
No. of Agents
H I£(JmJ¢£ bced\¢whgmn|Zceoc'¬ñj7¢whg[aµw'o¢µYImn|¨^Zhgmq¶_f_^g[aµt[]dchZ} Ko9¦mqo_[]|
8;áPÎ3::
6EN]JMÎ3>?U§Ìx8;TiH,>?Tiá3ìMLMÌÖ8;:eHCJ«ÏCH7é">=<Kí3H,2àáEJ<=:': 63Ó_ëIHW>=8 Î363::
:'JMâM:'ÑPÏ_:':<?T;47>?UÑ::'J698iHWÌ18147ëz6«ë2®H, 0PT]H,Q3<?4_<?:'T<47þLE4¢Tz4_8;ìC:eH7ÌgÎ38]:Ì'H_BPJRÍk:ÎEHCÎEÏ7HC:Ï_:á:'LE:Ì;6ò:JN4_H§6EÌ;JML3LEáENÌ;8;::8J4,LPÒ5Ìx8i>?63Î3Ó:
*+ ,
#
Nå¨N'47<?47T]H,á3>?<?>q8gËãç òN4_<=4_TiÌBý R634MJM:Ì]êaB
'+ # ªÑELM8 Ñ3>?Ó7:476EÌ>=6
Î3ç47<?: ÌÍzù >q98iêÎòBHWH,86EJ U4_ Ìx814_63: Ñ3>?Ó7:'Ñ34_LM6!8 >=6« H>q8iÎ3:'4_U§<=:ÐÌç >?6 3$ á4CâM ¢êaB ' å 9L3:':6EÌzÑ3Ti47áE<=:U
>q"*8i:'U§) Ì+<?H7>KáPÌz:>=<=6:eJ#H" JM> H7:6ET;J:69 '8"áP4CH7âõT;:
ç &>=6õ)JM> ý9ú :'Ti3+:'698± áPùe4Cú7âMê:e0 Ì'BH,6E:JÌÌ;>=Ò(LEN]" ÎòH78iÎE6EHWJ 8eB$ Ò²47H,TTi:H769>=6ò#Ë 8;" Î3:$&Ì;H7% U:ù á,4C5,â56BP5" 8; ÎE:') 6
$
I
ë
3
Î
:
;
8
e
:
g
Ì
]
8
Ì
N
7
4
P
6
x
Ì
K
>
g
Ì
i
8
:
õ
J
=
>
6
E
E
6
3
J
=
>
3
6
Ó
_
4
3
6
48;,T]ÒIH78;N]ÎEì¢:>?63Ì;:§ÓEB7Ñ38;T;Î34_:+Ó7T]:'H,63U§Ó_>=Ì6EBP:8iÍSÎ3>KH_ÌÌ.N'TiH7L36 6áÌ;4:8iH_ÎEN'HWN8 4_U:§Ñ347H,Ti<=6E>K>?Ì;V'Ì;Î3Ík47:69:Jõ8]T+H,ÍzÌ;<P:2®>q8±8iH7Î Ò²Ti4_H7HT<=<?N::'4_H7<?>KUN]ÌxÎõU*ÑP4,H,ÍSÒkT]HWH_8;8;Ì.Î3>?Ï7Ó7:e:Ìx>?Ï7:<=Ë«:Ñ36ÐÌ;TiU§H47Ó_H,Î3Ti<?>?H7<Ó7UÎEH,U:'ÌTS0ª4_Ñ3í¢L3>=T;696P>?478NTi:74,>=B8gÒIËÒ²4_áE8;TH7ÎPN]H,H,ì96<?å<
ÿ®<=>=8;:':T;Ti8;H7>KN'<?Ì
H7<ñ>KÌ
2®H,Ì;Ñ3T]H,<?>q<?8e<?:'0<?ëI>?Ì;UÎ3:Rá¢:ËRâMÑH_:'NaTi8i>=>=U63Ó:6_478]6Ì8;Ì;ÎEÎ3:4WÍ6¢L3BU>=6 á:'Ó_T":'634,:Ò.TiH,H7Ó_<~B:'69H«8iÌÓ_49H74MUJF4763Ì;ÑPÓ§:Íz:JMÎ3LE>KN]Ñ ÎÒ²8;47ÎET:
H,Ì;<?<:81ÑE47T;4_Ò5Ó7LET]63H,:U§âMÌ'Ñ30ñ<?47ëITiÎ3:J :
Ìx Ñ :':eJML3Ñ0,B.ëIÒ²Î347:T«ÌxùeÑýò:':eÑ3JMTiL34MÑ§N:eUÌ;Ì;:47H_T]ÌxÌ'LEB5T;>K:eÌÐJúòÒ²4_Ò²(T 47T >KÌ®H7>=6E6PJ JM:'':e+ J§# ÌxL3Ti Ñ3B5Ti>?H,Ì;<?>?U63ÓE4_0WÌxÊ¨8 8>KÌ.Ò²>?4_69T 8;:T;:eÌg8i>=63 Ó+B5H,8i46EJ 634,ù 8i:I«8;ÎEÒ²4_H,8T
'
'
' T;: _LE>=Ti:ÌçÍz>q8iÎ ßaÙ§×÷_ø Ý ßeê
8;Î3:ÎE>=Ó_Î3:Ìx8H,U47LE6_8§47Ò"áEH_N]ì_8iTiH_N]ì¢>=63ÓP0 :«N4_6 g:N8;L3Ti:R8;ÎEH,8
8;Î34W:ÍSÌ;:'ÑPÏ_::':T.JM8iLEÎ3Ñä>KÌk4_>KáEÌiÌxÌxL3:T;:+Ï_JM:J§:Ì;>K:'ÌSTiÏ78;ÎE:eÌ®:"Ò²TiL3:T;Ì;8;L3ÎE<=:'8ITS47>=Ò6¢8;Ï7ÎE:e:±Ìg8iN'>=Ó947HWU
8i>=á34_>=6§6E:áPJ:'Ò²H747Ñ3TiÑ3:"<?>?H,N6¢HWË8i>=Ñ34_6Ti:4,N'>?ÒÌ;:1áP47Ìx8;8iÎäHW8i8g:'Ë¢UÑP:':e69Ìk8z47N'ÒñH7ÑE6ÐH7áPTiH7:+<=<?U§:'<?H7>KÌxJMU:_00
ëIÌxËMÎ3Ìx:+8;:T;U :eÌxL3>KÌ.<=8i4_ÌI63H7:1T;47:+ÒJM8;: Î3E: 6EE>q8iT]:'Ìg<?8Ë§:':'âM6EÑ3N'<=474_L3>q8iT]>=H,6EÓ_Ó >=63Ó4_>qT;Ò>?V'Ík4_:+6_8]NH,47<E6P2®Ìx>KH7JMTi:'H7Tk<=<?8;:'ÎP<?>KHWÌxU8 ¢W8i8i4Î38i:1Î3ÍI:+HCáPË
:eÌgÑP8IH,4,T]H,Ò<?4_<=:L3<=TI>KÌxì¢U*634W>?ÌkÍzÎE<=:eH7JM6EÓ7JM:_<?:B7J§4_L3>KTÌ
)() !
<G4;<
Eh<v'*<@ @L4@
P e!
M
P
B
P
!
W
P
!
!
]W
P
_
P
&
%
#
B
_
#
P
%
%
#
+
)
Speedups (Parallel Lookahead)
Speedups (Parallel Lookahead) [Detail]
120
100
Color
Pigeon
Queens
Schur
8
80
speedup factor
speedup factor
10
Color
Pigeon
Queens
Schur
60
40
6
4
2
20
0
0
H I£!JeE£ j,\M[][aµ_f_\9|5¬?chk¯ªw'hxw'¥q¥n[]¥ PcWce¹w_[aweµ H I£!"J <E£ j7\M[][aµ7f9\_|¬Kc'hI¯ªwhxw¥n []¥ EcWce¹w9[]weµ
U:Ìg8iâM>=:'Ñ<?69<:8Ï_Na8z:'4,TiÒ8iËÎ38i:Î3Ñ3:ÐTi47>?Ñ3UH,8;<?>=>?Ó78;U4_>?Ï7T;>?:V>=8;H,ÎE>q8;Ò.U>?47NÌ16E4_UÌIÒ²47:'ÑET+âMH,Ñ38iTiÎ3:<=4_:ÐJR>q8iNÍz:4_JR>=U8;Î>?ÑE6õLM8;ßaÎE8iÙ§H,:8;×4,>?47÷_8i6òøÎ3Ý :'ß+47TÒS8i:'4§H7âM6EÌx>?Ìx>?ÌxÓ78;ÍS>?6363:'> ÓÐPT±NÑEÌ;H,:H7698iTiÌ±8;H7<?ËÐ<=>K<?Ì:'>?<UÌx8;Ì;>?ÑEËM<=<5T;Ìg4W8iÒ:'Ï_H7U§:+T+ÌÌ;áÑP3:':8;Ë_ÎE:47JM:6ELEJã<=ÑP:Ï7êaßa:0 Ù<×e4,÷7Ò®ø TiÝ ß«: Eç²63ÍS:': å
1ÃMÉ É B Ã3ÉgÅÂ
ÑPJM >K:Ì;C TxN'Ò²LE4_T;Ì;U§Ì;:HH7JG 6EÒ²N47:STI4,ÑEÒ3H78iTiÎ3H7:I<=<?áE:'<H7:'Ì;@ >Kâ¢N:eÏ_NLM:'T;8i8;>=@ 4_>K@ N'6H,@ <947ÑEÒH72.TiTiCH747ÿ.<=<?<?:'H,47<9TiÓä>=:'4_63îqùLEÓ_WÌª>=ð6E4_H,:7ÑMTi0,8;:"D«>?U<?>?H7>=ì769Ve:'HWË±<?8;Ë§47>?47ÒE8i6P4
8;ÌñÎETi:SN:H,JMÓ_6LP:'63Ná:+::Ti8;:'H7Î36¢<_:±Ï¢4_>KÑMÑEÌx8;H7>?47>?TiU63H7:e<=>=<?VeJ+:'HW<8;8i4W4">=4_Ï7>=6:UT;Ñ3ÎEÑ3Ti:Ti>=4WH76PÏ7JN:5>?0 Ñ38i<=Î3:e::Ì
ÎE47ÑHCÏ7:'T]:.HWH78iÑ3>=4_Ñ36Ð<?>=:e>?ÌIJ±Ñ8gÍS:'T;4zÒ²4747TiÑMU8i>=:UJ«>?Vç:'HW>=8i8;>=Î34_:6ETzÌLE>?6Ì;>=8i63Î3Ó:NJM4_:Ñ¢Ï7Ë9:'>?<?6347Ó
ÑEU47TS:69T;:e8N4,47Ò¢U8;ÎEÑ3:L3ÑE8iHWH78iTi>=H74_<=6P<?:'êa<,B9:8i63Î3Ó7:+>?63N'47:_Ñ¢0 Ë¢>=6EÎ3Ó
:63H,:'Ó_Ï_:':'69Tñ8IH163Ìx:'ÎE:eH7J3T;Ìk>?638;4Ó
ÑPÎEHC:TxÏ7Ò²:ä4_T;áPU ::'6æH,6½T;:ó;U>=6P4WÌgÏ_8]H,:Jº<?<?H,Ò²8;Ti>?4747U 6Eôõ8i47Î3Ñ:ä:'ÑPT]HWH,8iT;>=8;4_>K6ãH,<ILEH,Ì;6E:Ì;J Ík:8;4ºTÌ;:':T]8H7Ì;H,:6E8iJæÎ3:RH7J38;J TiLM8;8;Î3Îu:äÏW8;H,Ti<?LML38i:Îã4,ÏWÒ"H,8;<?L3Î3:R49Ìx4,:RÒ<=8i>=8;Î3:4_TiÌ;H7:<?Ì<?>qÍz8i:'ÎET]>?H,N]<KÎ Ì
NH,4_Ó_Ñ3:'69>=:e8J8;Ò²4òTi47áEU*H7N]8;ì9Î38;:"T]H7T;N]:ì«U8;4W4Ï_:z8iÎ3H,:ÐÓ7:6369:e8H,0_TiëI:ÎEÌx8
>?ÌkNÑ34_TiU4¢UN':4_ÌiÌ®6º>KÌ®H76E8gË¢N:eÑ3Ìg>K8iN'47H,T<?<?Ë>?6FH_N'8iNÎ34_:UNÑ34_<=U>KÌ;Ñ3Î3LM:J8iH,á¢8;>?Ë
476ºÒ²47T]8iNT;>?:63:ÐÓáP8;:'ÎE8g:"ÍkN:4_:'Ñ¢6ºË98i>?63Î3Ó:
ÑPÏWH,49<?ÌxL3>=8;:±>?474,6ºÒ8i47Î3Ò:8;NÎE47:§ÑE8g>=:eÍkJÐ4<?>qH,8iÓ_:':'T]69H,8i<KÌ'Ì§0 ç²Ò²47Î3T>?<=Ti:+:'U8iÎ34W:±Ï¢>=>=6E6EÓäÌx8iH7<?>q<=8i<K:'HWT]8iH,>=4_<KÌi6ê±>KH7Ìz6EHJõÒH7á9>=ËõTi<?ËH,6ºÒH7:ÌxâM8IÑ34_<?ÑP>?N':>qTi8iH,<=Ëõ8;>?47>=6P6òÌg8]çH,:<?Ì;<=ÑP>?63:eÓRN>KH,8;<?Î3<=Ë§:8iÍzT;ÎEL3:'8;6Î
T;H,:e6N4_47UÑ38;ÑE>?ULM8i>?H,V8;H,>?8;47>?4766>?Ì1ÍzLEÎ3Ì;>K:N]ÎJEê8iB3Ti8;H_ÎEJM::ÌáE8iH_Î3N]:ì_8iNTi49H_ÌgN]8®ì¢4,>=63ÒÓáEH7ÌxN]8;ì9:'Ñ«8iTiH_NN]H,ì96>?63áÓ1:Ò²Ò47H,T5>?Ti8;<=ÎEËä::NâM4_ÑPÌx:8®6E4,Ì;Òª>=Ï_N:74_0Ñ9Ë¢>?63:Ó±ÎEH7HCJ3Ï_JM:>=8;>=69>?478i6PT;4MH,JM<3LEJ3N'H,:8iJH
Ò²8;T;Î34_:±UÖTi4¢8;4,Î38k:S47Ti:'ÒU8;ÎE4,:"8i:k8iT;H,:Ó_:7:'B¢69>=88S0CU§ëIHCÎ3Ë§:k>?áJM:+:eH1N]Î3>KÌ:eH,8;ÑÎE:'H,Tk88;>=Ò348;HCÎEÏ7:S4_N'>?47J§UáPUH7N]47ì968;T]H7H76EN]Nì¢:e>?63Ìg8iÓE47B_TT;>?:Ì"Uóg4W8i49Ï¢41>?63ÒÓ H,T5HCÝAÝ ÍS8;HCÎEËM:"ôz<?H7>q8i6E:'JT]H,N'<K<=Ìk49Ò²ÌxT;:4_8;U 4
8;8;Î3Î3:ä:6ÑENH,47T;Ñ¢8;>KË§H,<k8iÎ3H,:6EÌ;NÍk4_:UTÑ3Ìx<=:':'8ä8;:ç²LPH,6PÌx>?Ìx63ÍSÓò:'TzHÌ;á3:Ti8zLMÒ²8iTi:§47U Ò²47T]8iNÎ3:§:±4_T;ÑP:U:Ti47H,8;8;:>?47H,6Ó_B:':_690 8ÓP030=BQ8;>?ÓEÎ30ª:äù ÌxËMÌxÌ;8;Î3:'4WU ÍÌkN'H78;ÎE<=< :>=U Ñ3 Ti4WÏ7 :êUB:H,696E8iJ Ì
47H,áE6EÌ;N':':TiÌxÏ78;4_:eTSJ>Ká¢ÌzË
<?:8iÌiT;ÌS>?Ó78;Ó_ÎE:'H7Ti6«>=6EúMÓù 8;3Î30 >KÌk47ÑM8i>=U>?VHW8i>=4_6ÐÍzÎ3:63:'Ï_:'Tk8;Î3:±Ìx>?V':"4,Òª8iÎ3:+H76EÌ;Ík:TkÌ;:8SH,88iÎ3:+N'47UU476
2
4
6
8
10
12
2
4
6
# agents
8
10
12
# agents
%
%
+
%
%
"
T
2:?A+=? ?L/2I
46'H:?L@< (E<v'*< A4 A?L1+
M
;
K
7.0
5.0
P8
P8 (incremental)
sjss sched3
sjss sched 3 (increm.)
4.0
Speedup
Speedup
5.0
3.0
Color 6
Color 6 (increm.)
rpcs 4
rpcs 4 (increm.)
2.0
3.0
1.0
1.0
1
3
5
No. of Agents
7
0.0
0
2
4
6
No. of Agents
H I£(J £ j,\M[][aµ_f_\bf7hg{C[]|®s.m^g§wo9µs.m^g9cf_^St[]dc'hZ}M[ihgcmqo_¦ S \_^gmndmn¸aw^gmqco
8
: öÐCN>?ø:'6PaNßaHËÛqG Þ7Õà47ÒÛA8iÙ Î3:;Ìx×
ËM1WÌxø@8;Ù§@:URø'@ÕE0PÚ~û1ß]B®> H7:>=UT;:G:69Jã8z8gHWJË98Ñ"J3:QE:ÌIL3N47TiT;Ò:8;H_Î3>?UÌx:>?T63Ñ3ÓTiTi4W:8iÏ7Ì;Î3::':RH,UT]4WN]:Îu6_Ï7:'8]ÌITi>?ÌäÎ3N':eH,63H76R:'Jº:eáJMJM::L3Jà>?:JM>?:8;6)694õ8;4_> N'ETi47JM:UJª:T§U0 8;LE4ã63>?>=NUHW8iÑ3>=Ti4_4W6EÏ7Ì':0ÊZ8iUÎ3: å
Ñ3UTi4¢4WJ3Ï7:':'<UBCÒ²:476_T®8]Ì±ÍzÍzÎ3>K>=N]<?Î<ÑE8iÎ3T;4_:IáEÎ¢H,Ë9á3áE<?Ë«T;>KJ63:U::J 8iÎ38i44MJáP>?:§Ì5Ò²H+4MÓ7N'4¢LE4MÌx:eJJ NH,476E6ºJM8;>KJ3ÎEH,:Ð8;Ìx:7:0,<=ëI:eNaÎE8;:I>?47J36º:'Ï747:ÒS<=4_8iÎ3Ñ3:U:'N'694785TiT;4,:eÒPNa8á:Ík8;8;4_:T;T.ìõÌ;ÌxN]ÎEÎ3H7:eT;JM>?L363<=Ó å
>=6EÓ8; :N]ÎEÚ~ÛA63Ù> 9Û L3W:eÚÌIÛ×WÍzÕä>=<?× <SH7Ú <?EÌ;ø4
3áø :a>?UÛKßaÑÚ~Û47Ü T;8iMH7Õ69Ü'8zÚ~Û8;×,4§ÕH7LPN]Î3Ìx:e>?:'JÏ_8;:+4 HE6EÎEJ>=Ó_8;Î3Î3:':TI:óxáöÐ:N'Ìx>=8i:ô16E<=N>=Ë_8;:0 TiH7<,Ò²47T >=Î36à:'LE4_T;Ti>KJMÌg8i:>?TN8;Ò²L34F6E:NâM8;>?Ñ347<?647>=N'8<=498;ÌxÎ3:I:8iÒ²4:eHW8;ÎE8iL3:1T;47:e6EÌ:4,LEÒ"Ì;8;:Î3J:>?6ÑEH7ßaTiÙH7<=×e<?÷7:'<Iø Ý ßa>?UBMJMÑ3:<=Ì;:>=UÓ_63:':69J8iH,Ò²8;4_>?47Tk6 Ì;:.9ÍSL3::6_H,8iTi>?H7:R<EN'>? L3UTiÑ3T;:<=:6_U8i <=:'Ëã69+8iLEH,Ìx8;>?>?6347ÓF6E ÌH 0B
ÑÒ²347TiTÐ"47Ó7Ì;ÊZT]U:'H,<?:Ñ3U NTi8;4W>?ÍzÏ763:Î3Ó U4_8;Ì;:'Î3:§69:8iH,Ì®6ENH74_Ì;Ík>=T;UTi::T:NJ§8Ìx:'H,áP8i8H,Ì<KU§H,H76ET;H,:ì¢N':R>?8i634«áÓ±:áP8;8gÎ3:ÍS:":'Ò²4_Ìx:ËML36æÌx6E8;ÿ®Jª:'U:0Txüz8iH,>?:NáEÌ;H,<=::I<H7Ti8i2®N]4§H7Î Tiß'H7øÎE<=Ý ]H_<?:'Ø Ì+_<?>?÷8;Ì;4«UáÚkH,:ÐH_6EN'NJ N'4_476ET]JMJM4_LE>=T;6EN>?V'8;Ó"4_:8iJº69Î38i:zH,4_<z6 8gË¢2®8;Ñ:H7:N]TiÎEH74,<=63Òª<?:'> <?9<?47>?L3Ó7Ì;:eU >KNÌ
JM:'Ñ:'6PJM>=6EÓ§476R8;Î3:±8]H7Ì;ì§8;4á:ÑP:TxÒ²4_T;U:eJª0
Ã ñ
Æ Å.Ä ®Â"Æ õÅÂ1È ;Ç ¢ÉgÅkÂ
<=Ñ3ëI>=Ò²TiÎ3:ò47:Ó7é+T]Ñ3H,íMT;U§4_2 á3ÌÐ<?H,:'çÑ3U$:7ÑE0 ÓE<=8i>K0?N'H_BñH,N]<K8;ì9H,>?<?Ti47:Ó76EJ:Ì§>?Ñ36«N<?H,H78i6u63Î363>K:Ì">?H763ÍSÌ;Óõ>?47<=ËæH7TiìÑ3áPÑ3>K:eÌ"<?>?NN8;47HWÎ3U8i:
>=:4_:6EöÐÏ7Ìi:êNT;>?Ë H,:'Ti698;:Ð8±>?Uá:âM:':õ:Ë7N'4_NLM476E8;6PJº>?Ìx47L38i6òÎ3U:ä4,>?Ò63N'ÓEé47B5U6P8iÌxÑ34ºÍSLM:'8;8]TÎ3HW8;:í¢>?47:Ñ86P47H,2.>?<I69Ti8§N'47H,Ó_8;ÑPTiÎEH7H,H,U§á38>?Ì'<=ÏW>=038;H,>?üzTi:>=Ì
:e4_H,LE4,<=ÌåÒ
:Ñ3âMTi4W>KÌgÏ78i:1>=63:'ÓäâM:>=63NL3Ò²:'8;Ti>?:'476E6ÐN'Ñ::':'T;63Ò²47Ó_Ti>=6EU§:H,Ì6E0N'ëI:1Î34,:
ÒÓ7é"49íMH,2u<47:'Ò®6E8;Ó7Î3>?63>KÌ1:ÌÍS0¢47í¢Ti8iìH,T;>K8;Ì1>?638;4Ó
:'Ò²T;âM4_Ñ3U <=4_T;8;:Î3:±8;Î3áE:
H_ÌxLE>KÌxN1:JM4,:eÒ.Ìx>?ÑEÓ7H76äTi4,H7Òñ<=<?:'H7<?6>?Ì;U>?6MÒ²:'8;4ÐTi:'>?6PUN: å
:'Ìx4_63L3Ó_T]>=6EN::ÌSÒ²4747ÒTÐÑEé"H,T]í3H,2<?<?:'çA<?8;>?ÎEÌ;U
:Ô 4763
:× Ñ3aÛTie47×WÑÕP4_Ú Ì;:Ý JæH,6P>?6æJ 8iPÎ3ø :ºaÚ~ßaÛÜÙ×eÝ ÷72®ø H,Ý ß«T]H,Ì;<?Ë¢<?:'Ìx<?8;>?:Ì;UÐUê0 Ík:±:ÎEÎEHCHCÏ7Ï_:1:äÒ²>K4¢JMN':LE6_Ì;8i:> JäP:47Ju6ä8g8;ÍSÎ34:JMU§:eHÌx>?gÓ7476 T
4,UÒ:'8;U:eN]47Î3Ti63Ë4_H,<=4_T]Ó7N]Î3Ë>=8;8i:e4NaH,8;LE<?<?T;4W:_Íã0 8iÎ3>q:8iÎ3:âM>=6Ñ3<?ÿ®47:>=8iTxH,8i8;>?N>?47H,6§<2®47ÒH7Tiÿ®H7:<=Tx<?:'8i<?>?>KNÌxH,U<2®B9ÍkH,T]:H,ÎE<?<=HC:Ï_<=>K:ÌxU½JM>?>=Ìx68;>?638iÎ3Ó_:"L3>?N'Ì;47Î369:e8;Jä:'â9á8.:8g47ÍSÒ:'H:JM6R>KÌgÌx8i8iT;H7>?6Eá3J3LMH78i:TiJJ
ÑE<=:H,<=>KT]Ì;H,UR<?<?:'0<ëIáEÎETi:
H76EÏWN]H,Î3Ti>?>?6347ÓÐLEÌ+H,>K6EÌ;JÌ;L3ÑP:H,Ì"T]TiH,:'<?<K<=HW:<8;:e<=J4¢4_8iìC4H7Î38iÎ3:H_:Jä:âM8;4ÐÑ3<?Ñ347Ti>=8i4WHWÏ¢8i>?>=J34_:6òÒ²47L3Ò.T;8;8;Î3Î3:>KT"Ì+ÌiÒ²47N47TiUÑ:4,47ÒSÒ5ÑE:'H,âMT]Ñ3H,<=<?4_<?:'>q8]<?HW>?Ì;8iU >=4_6ÎEHC4,Ï7Ò®:
ÑEáPH,T]:H,:'<=6 å
4,H,Ò6EH78;ëIÎ3<=Ë¢:Î3V::ÑEJ«T;Ñ:4,H7Ñ38i6ET;:'4MJò69N'8;Ì;:>K47ÌiH,Ìx<?<LM>?63Ò²8;47Ó>?47T+6PÑ3:Ì1ÎEâMH7Ñ3Ñ3Ì;<?Ti:±4747>=ÑT;8i: H,4_98;Ì;L3>?:47J>=6Ti0 :JÐ4,Ò.Ò²:47ÑPTIH,ÎPT]HC8iH,Î3Ï7<?::<=::H7<=>KâM<?ÌxÌ;:U 4N'LMá3Ò²8;T;Ti>?4_>?47:
U6EË47é"Ò:íMH,âM2)6PÑ3Ìx<?N'47ÍS47Ti:'U:TzJÑ3Ì;LM8;:Î388]HW:Ñ38i>?Ti>=Ìi4_47Ì;6EÓ_L3Ì1Ti:
H7ÎPU47H7Ò.ÌÌÑE0 áH,:'T]:H,6«<?<?:'Ti<?:>=VeNHW:8;69>?8;47<?6Ë
T8g;Ë¢:eNÑP4_:±Ó7:'636E>?V'Ó7:e>?63J:1á¢ÍzË>=4,8;8iÎRÎ3ÿ®:'T.:'T;H78;LM>K8;N'ÎEH7<47T]2®ÌH7H_TiÌH7<=Ík<?:':<?<=>?< Ì;3U
î CÔàð3Ñ3ÑPTiH,47T]ÑH,4_<?<=Ì;::<=Ì5>KÌxH±U*2.>?ÌSÿ":'Dâ98iåáETiH_H_NaÌx8i:e:JJ>?UÒ²Ti47Ñ3U <=:U8iÎ3:':+698iH_H,Na8;8i>?47LE6H,<4,47ÒÑH
:'T]ßaHWÙ§8i>=×4_÷_6Ðø Ý 4,ß'åÒ
Ó7Ñ3L3Ti47:eÑÌ;Ì;4_>?Ì;63:ÐÓºÎE8;H7Î3Ì
:«H,8;<KTiÌxLM4«8;Î Ìx8;TiÏW47H,6E<?L3Ó:8;>?47:ÒÌHF8;4«N]ÎE8iÎ34_:ÐÌ;:'ÍS6u47<=Ti>=8;ìõ:Ti4_H76F<~BSÑEH,H,6ET]JàH,<?<?Ìi:'N]<.Î3:':â¢JM:eLEN<=LM>?638i>=ÓF4_6F>KÌÐ4,NÒ:<?6_478iÓ_Ti>?H7N§<=>?V'ÑE:eT;Jª4_Ó70T]ëIH,U§Î3:òÌ§Íkîqù 4_WT;ðIì H,ÍS6EJ :
63Ï7:47Tx638iå¨>?JMNH,:'8;<,:ÑET;H7UTiH7>?63<=<?>?:'Ìx<?8;>K>KÌxNU <KH,LE6EÌxÓ7:eJ±LEH7>=6Ó7:4_Ì
L3îqTù ÍSWð¨470 Tiì1N>=8;H,Îõ6T;á:e:.ÌxÑT;::<?NH,818;:e8;J+4ä8;ÑE4H,4_T]TxH,å¨<?ÑE<?:'H,<T]:H,âM<?<?::'N'<?>?LMÌ;8;U >?47>=66472ÒT;4_<=4_<=4_Ó7ÓE>KNBH7Ñ36ETi47J±Ó_Î3Ti47H7TiU>?V'Ì47BM698i8]Î3H,: <
ÑE<?H7H,63T]Ó7H,LP<?<?H,:'Ó7<?>?:eÌ;Ì'U B8;NÎ3H,:6FT;:áH,:ÐTiTi:ä:'<KÌ;HW>?U8;:e>?J <KH,8;T§4òH7J3Ì;ÑP:8;:e:NaT;8]UÌ>?>?636 >KÌg8i8iÎ3>?N:ÑENH,47T]6PH,Ìg<?8i<=T;:LE<=>KNÌ;8;UR>?470 6 47>qÒ8iÎ8;ÎET;:R:eÌxÌ;Ñ:H7:NTiN]8ÎF8i4«8iT;63::4763ºå¨JM::'H_8;N]:Î T;Uá3>?T]63H,>?6EÌx8;N]>KÎ N
T;4,:ÒÑ38;TiÎ3::Ì;:'N'69478iUÌ.Ñ3HLMÌ;8]47HW<?LM8i>=8i4_>=64_6çB_:7H70 ÓE6E0?JB.óx8;:Î369:1Ï¢ÍS>?T;HC4_Ë
63U634M:'JM69:8iÌkÌiô_H,êTi0 :zÎEH,6EJ3<=:eJ>=6¢Ï74_<=Ï_:Ì8iÎ3:1H,áE>=<?>q8gË
8;4T;:eN476PÌg8iT;LEN8.ÑEH,T;8
Î3:'S<?Ñ ü 0/0_25@ ý 4_J 6_E8iB :'<?S<=>.ûH7é 6EJº,ëIQS_Î30ï :kGS9H7:'ï3LMTiB.U8;/.ÎELE47ÊgJMé T]:Ì3V§ÍzùeÍký>KÌx7:Î±ï_T;ï8i:4MÑEB8;H7ÎP/TxH,8iÊg63>?é H7ì <=7<?ïEËòù 0 Ì;+L3WÑ3LEý ÑÑM3478iB®HET;H,8;BC6E:eíJõJ 0Cëñá¢"TiË üH76è"û B'íMH,Q 6PJÓ7DFT]ùH,ý 690 38i+0.Ì :'DF<=Ò²470IS6EGIü J±H,7Ò²<Kï4_JM7TLEú 8iNÎ3N:'>?633>?T > B
ÍSkH_47Ì698;ÑET]H7H,NT;8;8 >KH,<?<=. Ë Ì;L3Ñ3MÑù47ýET;ù78;ù7:eJ0 á¢Ë 6E>q8i:J í¢ÑEH_N:é<?<=>KH,6EN':L36EJM:Tü:Ì;:H,T]N]Î +T]H,698 åZý_ú Wå 3ùÐH,6EJ
Ä Â"È
`täÈ¾5w'¥qµ_f9lil]mno9mªw'o¢µtä°K^g` c±Sw[]\_¥\M¬Kc[ao¢w'µEh;³;`S© YImqw¦,o9` ce|¨^gmnl [aw'|Zceo_mqo_¦s.m^g¤~¯ªhgce¥nce¦7` [$+.) 8/ <'*)$/ Z X [<+ W`bkWb+-`C,.¾5X w'hx'*w')$¥¢+-w,.o9)$µ/10 tä© 0 `X S#N,[]¥¬Kceo9
µE$ ` E,ce© ¦mql¯ª_hg` ce¦'hxwddmno9¦zw'o¢µzo_cas.¥q[]µ_¦e[ []\7hg[]|Z[]oW^xw'^gmnceoE` + N)/6] + W +-,.X!
,`z¯'*`9)$+-b,.9)S/.c0 ¥q[;s.0mq"X o_N|Z, ¹,mP[i^w'¥A`YI[i¬Aw'f9¥^ [aw|Zc©¢o9\¢mno9w'¦±¦e[]j,| }7|¨^g[]
dÖ$ YI,[ Èt[jMchg`¦e·~w&o o&% (Z w''*f_) ¼3+ d++w'oE+© 'R7) "X ` X ,] [^ + .-/+ 0 2] 1
[3,![/4 [(, )$[^ [5Z/.Z X&+ / 4 [-/1^ +mX"!,
2:?A+=? ?L/2I
e1!
Eh<v'*< L4
)() !< 4;<
M
%
3
_
!
'
X '1
.%
(P
_
!
' 1
_
#
;
h
h
&%
)
1
v
K
_
P K
9
-0@ (/2);3 A4
I,+=4;/>:1M
S HS
*S
h 6 6*
%BB
!
h; '
6
h
;
#
B ]S
B
>9
.
,
B
%
.0 ),)- t 13 ' .(+4 :.001(
,)-)-+,
*.4 *,)4
.00)2
B 7`S»à|Zm^gmn` ceo9`,wYI¥caks.c¥nhgm o9o ¦+wco¢hgµd"f9_¥q` "w[e` ` I w'¥nqmn[iha` Pmno9[awhZ¤²^gmqd[Sk¥n¦ec'hgm^g9d|ñ© ¬?7c© h[i|¨7^g` mqo_¦"^g_[Ij7w'^gmn|Mw'¶9mn¥ mn^~}c¬¯hgc\Mc¤
WÌY+% `mKw|¨^zw'o¢µ§©_\¢täw'¦e`¢[]P| hgf9|Z¸i
l]$ ¸i}o9,+|ZÈ¹,)SmA`®S/.Yz]Yw+·3^x #wtWb¥nce+-·¨¦,.FX!s. ¯ªm'R^ghgÐ[])S|Z+-b|],.©)$c/.o90|¨^Z0 hx,wX"` mn!oW, ^g|]`.·o
/1Z X&+ /.] ) + + [)-[5 [F+ ) Z X X /6]
,`zS`
Z\[K]>m] ^gX ,![ihz5[ [i ^S[ w¥A`S59[ j,}7|¨^g[]d , ¯ªhgce¦hg[i|Z| []\Mc'hZâ©3bcd\¢w'hgmn|Zc© o9|]©Ew,o9` µ§¾[]o_l;_dw'hg¹,|]`·o % m(Z '
W` ) +` +mn'Yo9¹C+ []¥9'*[i^.)"X w ¥A `X ,b]©¢[ce\9^dw+ ¦\_ []f_-/| ^gmno9++ ¦"$ 0 j,] ,3[^x©w',!¶9/[ ¥n[S4 te([ `¢, c,S)$µ_[S[]^ ¥n5[|.3·mnZo
#/.tZ ¯ªX&+ ·¨wF hxw/¯ª¥n []hg¥A[]`|Z4|]·ò [-/1^ + m "X !% , _ , ) X"!,F_ .0 ,+.^-X"N0 + .^ 0*[)
,`tä_[` ZdS'*[])$¥+-¬K,.c)$o¢/1µ0 w'0 o¢X µ N, "` Pm¬K|Zlx9m^g¸e`ñ©¢\95w_¦e[[i| j,^xw'¶9¥n
[$ tc,µ_7[i`¥tj,·¨[]dw¯ªoWhg^g[]mn|Zl]|]|© ¬?ch P,c` ¦emnl¯hgc¦hxw'd|]`·o % (Z ' _ 10 ,+ 1
,` c"^-X"oN` 0@SYIf9mn|¨+ \7^Z hg^xmnwS¶9Wbwf_+-o9,.^g[]X!µ µK®'Rt`)S¯+-w,.celx)$9oW/.mn^g0o_[][]¥n0 |]m²``MX"!j,·,o ^xw'%l;¹W¤|Z\9¥n©_m^Z\¢^gw'mno9¦e¦[]| j7
mn$ d\9_¥n[5© P[]l;_,o9`3mqt´Wf9·¨[¬Kc¯ªhhg[]·~d|Z|]\9` ¥n[]d[]oW^gmno9¦ khZ¤~¯ªw'hxw'¥q¥n[]¥nm |Zd
7` ¯ª"hg`*ceS¥ncef_¦\_¯ª^xw7hgce©Y¦'K.hxw`d¯|co,w^g[ij7¥q¥nf7mA©hg{Ctä[i}3`ñ` b5w')hg¥nW|Z|Z' ceoE© tä`S[ihg© d_[]°o_C[]³ ¦emn¥qµ_c7$ ©wo9,µ© ±` tä` `¥qmA`¯ªw'hxw¥n []¥ Kªv_[il]f_^gmnceoòc¬
e/` ±` S[]¥ ¨wo9¹eczwo9µ+·;` ©_r \¢mn[]w'd¦e[][]| ¥qw,`M+$k o_),|¨© s5[ihj,[i` ' ^ñW ¯ hgc_ ¦hxwddmno_¦zwo9µ±¾cef_o¢µ7[aµ±tc,µ7[]¥Mb_[]l;¹,mno9¦7`¢·~o %
,` 1¯ª_ , w` »u)hxXweNµ_`., mnt¦_ dw'.hg`ñ0 [i·~,¹Fo +.^-w"X o9N µ 0 tä`®Phgf_|Z¸]l]¸i} o_ |Z¹7mA` j,^xw'¶9¥n[ätc,`Mµ_j7[]¥n\_|hgmnwo_o¢¦eµF[ih w'o [ihgk¥qw¥^g¦7[i© hgo9w'^g,mn{C` [ Pc¦emnl¯ªhgce¦'hxwddmno9¦
7`S` r ¦ef7}W[]oRwo¢© µ_"°[ `Wb$ YS+-,.³[]!X{, mq¥n'R[e$ )S`+-,. )$7/.© YI0mn0 |¨^Z"X hg7!mn`¶9, f_' ^g[]/.µ)$/ 1X hg,.li0 ¤bco9|Zmn|¨^g[]o9l;}k¥n¦chgm^g9d` _ X[5 [ +) +.0 , Z\[)
_`z·x¯ª'*` w)$+-hxr ,.wemn)Sµ_[]/.mnd¦0 d[i0¥=w,` "X `N, Ece¦emnlõ¯hgc¦hx w'd|äs.m^g j,^xw'¶9%x¥n[õ© tc,eµ_` []¥±j7[]dw'o,^gmnl]|w'|w bceo_|¨^ZhxwmnoW^¯ªhgce¦'hxwddmno9¦
,`z·xj,` []r dmqw[ioWd^g[]mnl]¥qwS|5¬Kw.c'o9h µ+¯/6c`C] hg^ j7dmn+ dw'¥ ce Po_|]/.¯.`MZ `j,[·~do0Fc,/.µ_Z !X[] ¥n ^L|¤P/ k o"©Mj,·d\_hg\9mno9¥n[]¦d[ih [io,ñ^x[;whg^g¥=mnw'ce¦_o© c¬M^g_,[.` j,^xw'¶9¥n[tc,µ_[]¥_wo9µ"»[i¥q¥¤ cf9o¢µ7[aµ
7`1täj,f9` \9r\Mc'cehZ¦e^kf_j,[]m}7hx|¨w7^g©ñ[]drtä`¬?c¾5h.w'^g¥q9µ_[1f9lij,l]\¢mno9w'mAl]©ñ[W täj7' ,`*f7S^Z^g[]¥q¥4[¬Kcò¢·oµE© `»©Mw'^gj,|Z\_cehgoEmno9©¦w[io9h µõñtä[;hg¥=`ªw'¾5¦_©w'hZhZ}Wè` ko«¤~¯ªhgce¥nce¦YI[]limq|Zmnco
,` `¯[ihZhgcoP`j7[]w'hglx¯ªhgcWl][aµ_f7hg[]|"wo¢µä¯ªw'hxw'¥q¥n[]' ¥nm |Zd$ W mnob© ceo9|¨^Z7hxw'Èmnj,o,\_^+hg¯ªmno9hg¦ce[i¦h hxw'ñd[;hgd¥=w'mn¦_o9` ¦_`·~o % (Z ' ) + ++'*+ 7`K®'*j,[i`M)^X¯¯c hgo,X ,c^g¦][i[hx¥q^¥nw'md/ wo¢dµ mqo_'R"¦_)S``/K·Zo ¥X!¤ [ w'+^g 9mn) ¶E©+ `®b^-Z c)$eo9/.`MX"|¨^Zj7hgZ \_f9'*hgl;mn^go_)$mq+-¦ec,.[io§)$h /1w0o9[i0 µ hg¥qXSwN¦_, \_` ^gmndmn¸aw^gmqcoc¬w+¯ªw'hxw¥n []¥YKo9¦mno9[I¬Kc'hIo9|¨s[ih
7`zY+` wo ¨woE© © K®`¢,°¯Cc³ oW^g[]+¥nq$ mA' ©¢w,o¢ ©µ W "`7S` f_\_^xw,` So^g9[bcd\9¥n[iv7m^}c¬ khZ¤¯ªwhxw¥n []¥nm |Zd` [50 [5[)$/.Z X + 7`1bk) `ª+.0 j7lx, 7Nf_Z "X¥^gN[e, `§bcd\¢whgmqo_¦ÐPhxwmn¥ mno9¦w©¢o9\¢µw'b¦e[]ce| \W}7mno9+¦$ ¬?c7h±`Pbtce·ö9 |¨^Zhx¯ªw'hgmn[]o,|Z^±|]© ¯hgc¦7hx`w'ddmqo_¦_`
·o % Z\[5) /.Z X&+ /6]
e` 1) +` jM `®[j,)-f9[5¶7hx w[ 9+ d w'Wbo9+-mqw,.oEX! ©'RY")S` +-,.r )$/.w'0fP©0 wX"o9!µ, bk` ñw¦ec7`à» © !j 7° C³ ¾ñhxw'+o9$ lx ,w© o9µº¾,ce` f_o¢µ j,^xw'¶9¥n[ätc,µ_[]¥n|]`
,`dS)S`w'/ o,j,m^g},^mnhl]/ Z|] w'`Z o9X P+ []moE[]l;^`±_+ ·~o9dmnla\9-w'¥n¥ [] d+ 0[][]\MoW] 3[c^xhZw',!^k^g[mn¾ñc/o¤ c'7¬ $© SP/.cW[]Zl]¥n#/|Zwmn¥o9" ¹,k!mE,.hgyS"Xc
f9o9[-o9mn[{Cµ_) [;"XmnhgNo9|Z,¦mn^~}¬Kcch ¬Ece[i¦el;mn_lo9¯ªcehg¥ncce¦¦'}Whxw© d|z7s.` m^g«j,^xw'¶9¥n[tc,µ_[i¥5j,[i¤
(
%
*
'
.2)' $.24
2
3
4
,1---
6t
53), 3*
? 6%
.-
.,
.0)00
$,)' ( t (3, 2)-+,
0- 02
?
,1--.
,)-)-.
?
$'- . , t ,),3 ,*1%
.(
.*
?
.0)0+3
?
%
.0
,)--.
.00)0
.4
)7
,1-
$,)--.
./3 &' t ,)4* ')-4
.00)0
?
?
?
?
7
%
,)--.
.3
.0)00
.0)04
%
.2
,),
,10- '-1(
t
.'
,.
%
.044
.-+31- $.-4)t
7
.0)04
,)--.
0
.).
.0)4)(
.4
%
,)3* ,)4)0
.00)0
3 &' t ')2+, '+3)3
!%
.0)0+*
.00)4
x

Download Report

Non-monotonic Reasoning on Beowulf Platforms E. Pontelli1, M

Paperzz.com

Your Paperzz