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

"!$#%'&)(*%'+&,
-.
/1032547698;:<=<?>A@CBEDF0EGIH,<KJMLENN>?63>KO,B3H,6PJRQS0EGS:T;U
LEJM:'VW@
XZYS[]\_^a`9bced\_f_^g[ihkj,l]mn[]o9li[ p;YI[]\7^a`9bced\9f7^g[ihkj7limq[io9l][
r [isut[iv7mqlicj,^xw^g[zySo9mn{C[;hg|Zmn^~} [;v9w'|€[]lx‚ySo_mq{e[ihg|Zmƒ^„}
…'†7‡'ˆW‰W…CŠCŠe‹,ŒCPŽˆ'M‘’Ž„…e“e‘ 9”•7Œ…WŠeŠC‡–Ž—7”eŠ“e‘_ŒCŒe˜ˆ_˜‹e‰e‰e‘™Ž„…e“‘
s.dšœmƒ[]›–^goW‚]^xž]w'¥qŸw'^g ¢hgmnce¦e¡eo_[1že|ª£ |Zc[ar ¬Ewchg­€l;o_‚o9¤d|¨|Zs5\9ce[;wo_h®l]c[ij,^g|]c[i`M^™o9·„mn¯’o
lhg¥q|Zcc\9¦¦emƒhx^gmnw'l‚[dc\7d¬ªhgce^gmqo_¦9hx¦±[zw'°²dmnd­Idj7\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|¨o9^.cc'¥nce¬?^g¦[]}Wo‚©_^gd9[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_¦±mƒhg|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^g­k|®o9|Zce|¨ds[i[Sh‚\7j7hg[][i¥n^œm d¯ªmqhgo9cew'¦'hZhx}wdhg[]|œ|Zf_ce¥ƒ^goº|€\9c¶_w'hx^xww'¥nmqo_[][a¥zµwmqhgoœl;_^gmƒ9^g[][Sliµ_^gf_[]{Chg[i[i|]¥qc`\9»d[§[]oWmq^µ7[]coW¬–^g|Zmnc¬=}º¥nf_^gµ7mnmƒce¼3o_[i|.hg[]¬?oWch^
¬Kwc'o9hgµœds5|®[c¬ªµ7\9[]|Zw'lihxhgwmn¥n¶M[][z¥nm ^g|Z9d½[I^g[;9v_w'[i^.l]f_la^gw'mno‚ceo¶Md[zw'c,f_µ_^g[]ce¥n|®ds5w[z^gmnla9ww¥n{eƒ}[I[;[iv_v7\_\M¥n[icehgmƒmn^gd[aµ
[]oWmn^go§[aµw1s.^„}7mn\9^g
mnlaw'^gc±¥P­S^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:'U‚6EÑ3N':+<?>?Ì;47Î3Ò.:è1Jãé1á¢Q Ë
<=Ñ3:eTiH7:J3Ì;Ì.:'6E8;N'4:SH47ÒP6EHW>?6E8iNL34_T]U‚H,<PÑ3Ì;<=L3:'Ñ38;:IÑ47ì¢T;638.4WÒ²Íz4_<?Tk:JM63Ó_4_:76M0Wå¨Uè1é"4_63Q4,8i>?Ì®4763H7>K<?NIÌ;4+Ti:>=U‚H7Ì;Ñ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,:±6EU‚N':>?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:+6EU‚J3H,:e8;H,>?6347>?6E63ÌÓ B
Ñ3>=Ìg638]TiH,Ò²47:'á3Ó7Ti<?T]:':±H,6EU‚U‚N':"U‚4¢:J3>?63:'63Ó7<KÓEÌz>?0’63Ìx:ëI:̱U‚Î3ç~:§H7Ìx69LETi8;N]:>KÎRN'N':'ÌIH769ÎEÌ"8œHCß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,HœT;á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;H‚4±63Íz4WT;Ï7>=8;::S< Ñ3Tii47×;ÞÓ_TiWH7ÙU‚ÙÌñL3ÛAÕ96EÞ J3:'T®Ìg8]7H,÷,á3ÛqÞ,<?:IÙU‚Bª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_N0’4_̙é"6EÑEí3NT;Ti24_:á38i>K<=>=Ì:VU¿:HJÌxN>?Ñ6
4_:UHN'>ÑE69LMLEN'8iUœHWH,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,íMU‚2àU‚>KÌ>?63Ì;Ó1Ë969H,8]6PH7JœNa8iû+>?NHWH,8i<?H7<=Ëä<=4_ÌxÓ1>?U‚Íz>=Ñ38;<=΂:TN4_H,6E6EÌgJ’8iBETiH7HW>=8z698]8iÎ3Ìk:î Ì;B;H7úWU‚ð„0C:"ÊZ6‚8i>=NU‚4_U:_BEÑPÏ7H,:TiT;>?ËÌ;47:6±âM8iÑ34"Ti:47Ìi8;ÌxÎ3>?Ï7::_T0¢6EëI476MÎEå¨:U‚U‚47H,638;47Î38;:47U§6E>?HWN€8;<=>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õU‚U‚H7JE>?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:ÐU‚H7J3Ñ3N4747<?:69ÑM8;8i8i:1>=:6¢>=JäL36M4_Ò²>=4_6LET;Ì+U§ÏWH,: H,Ti–8;>=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 ÒªU‚634¢:'Íà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<?>=U‚47Ti>=ì‚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>?UU‚0MÑ3ëITi4WÎ3Ï7:œ:N'Ñ47:'TiT;:"Ò²4747TiÒU‚4_H7L36ETNÍS:œ474,TiҀì§é">?ÌIí38i2)Î3::'6E>KJMÓ7:'>?6369:8iÌ"> PH,N6EHWJ8i>=4_>?U‚6RÑ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
>?47U‚6§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>=:U‚Jä>?<?á¢H7Ë T
8;4‚8iGSÎ3:L3>=U‚<KJM4¢>?63J3Ó§:'<K47ÌI6RÑ3T;Ti4_:ÑPN:4969Ìx8S:eJÐ8iÎ38i:'4‚4_Ñ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ø ð¨aBWڄÍ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;:'L3U‚Ti:47Ì®6EÌ;Ìx8;LET]N]HWÎ
8i:H_J Ì
8;Ï¢ÑEL3>?H,HTiT]:eH,>?ê
<?U‚<?:'H,Ñ3<?6P>?<?Ì;:'J UU‚8;:'Î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 U‚TiÌ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:'U‚8i8
>=4_47H,6ETi<„Ë Ì 0
:'Ï_:'TzëIÑ3Î3Ti:47ÑÑE4_H,Ì;Ñ::'JªT§0 >Ķ4_T;Ó9H,63>?V':eJ H7ÌÒ²4_<=<?4WÍÌ'05ÊZ6u8;ÎE:63:â¢8Ì;:Na8i>=4_6æÍS:Ñ3Ti:Ì;:'698‚H76æ>?698;Ti4MJMLENa8i>=4_6u8;4
H,í¢6E:NÌ;8;ÍS>?47:'Tz6EÌ Ìx:'E8zB–Ñ3úMT;B–4_H,Ó76ET]H,J U‚U‚Í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>=U‚4_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_6’B
 ’Ä ªÃ òÄ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:TiU‚47Ó7H7T]69H,8;U‚>KN'Ì®U‚Ò²>?4_63TkÓ<?47<=:eÓ_H7>?N1J3ÌÑ3Ti8;474«Ó7ÏWT]H,H,U‚Ti>?47U‚LE>?Ì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,47U‚0Ó_ëITiU‚H7ÎEU>?63>?ÌU‚Ó ñÑ3>?63Ti8;47Î3ÓäÑ:R8;:'Î3:T;:âM8gËFT;>KÌg:Ð8iJM:'>K4¢Ì6E:N'6Ê:ä4ò6347H,47Ò"U
8H á3Î3>=4_MÓ_<?ÕEL3J Û >=8g8;EËòTiøRL3>?:6F>=69H,Íz8;6¢:ÎE6EË¢HWJMU‚8œ:e47Jã>KTiÌ:U‚8iT;Í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>?U‚63Ó«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«>ĶҏH7H,>?Ì69>?<=8;L3L3TiÚ >=:78;0–>?Ï7é"Ý ø:íòH7T;̂×e:÷7<=ÍS>?ø ::'Ý Ì"ß<?<47H76òøÌ
Ù HÒ²4_WÌxÕPT;>?U‚U§Ú~ۏÜÑ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::'69U‚8iHW4W8iÏ¢>=>=Ï_63:ÓäôH,U<?<™4MTiJML3:<=<:eÌ1N'47B–69Í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:8iU‚H76EH7J3>=6EH,>=T]63JFÓ<?Ti47L3Ó_<=>?:eN§Ì'0ÑET;4_Ó7T]H,N'U4769B™8iH7Í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'>?U‚J3:7>q8]0MÌÊZ6H‚L3Ó7:6363> 9:'L3T]H,:<„BM>?6_H
8i:'ÑE6ET;J34_:Ó7JRT]H,U‚U 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:eL3H7“W<KN]J…ΆC<=‰>?47ì7Òñ:S78i”8iÎ3•e4±:'‰,UÌ;Še:'… <?:NZ85ŒC 8;EÎ3ާ:z:'“W⢅>K†WÌx‰ 8;>?~63† ÓW…,JM˜ :'ÑPWH,…eT;• 8;ZU‚ŒC :'E69ŽÐ8iÌ®“WH7…6E†WJ
‰ 47W63…e:• 7珅H7T;A¢áE”>q8i‰ TiH7ET;ŽÐË3ꙓCT;…:†WÑ3‰ T;~:e†CÌx•,:”W69e8i”HW“ 8i>=¨Ï_…C:k… E:U‚Ž Ñ3<=4WË_:':
“W…†W‰, …a7†,ŠC‡ W…C… 7”]9… ,…¤ † ¤ “W…†C‰ 7”]_… ,…† ‚ˆ7‡‰ ‡‰ ,…e• …]7†_ ,”]9… W…† EŽ
‡‰ ,…• …a7†7 7”]_… ,…† “C…†W‰ ,”]9… ,…† ГW…†C‰7 …a,†7ŠC‡ W…e… 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;6988‚8;Î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:'U‚T:'Ì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;4FU‚Ti:U‚TiN: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:ÒSJ‚H,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 ÍÓUœ4,Ò±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ÖU‚8;:8iÑMU‚Î38iÑM::IJª8.Ñ3BC8;TiÒ²4±474_Ó7T5TiT]::H,Ìxâ3UÖ8;H,4_U‚T;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;U‚47Î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;:U‚8]Ìz>?63áP>KÌx:eUH,T]B’Ì>KÌH,<K>?Ì;6E4‚JMN':'<=:e49JFÌx:HTi:T;Ì;:e:'H,U
<®á363<K:H,:6EJ N':"Ò²4_8iTœ4ÐHÌx>?6¢U‚L3>=Uœ<KH,áTz:'ÑETT;4_47ÑPÒ49H,Ì;Ñ3H7Ñ3<?ÌI<?>KN'Ñ3HWL38i8>=4_Ò²6E47ÌTiÍS0’D«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Ì;U‚U 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,U‚4,ÑEÒñT;U‚:e8;Î3Ìx>=6E::6EÓEN]N0PÎE:±GS474,47>KNÒ8;:ÎòUœÌIH7L3U§T;<=8;:œH_>?JMÑ3Ò²47:<?:œTiHWU‚H,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':47T1U‚47Ñ3T±LMH8]HWÌ;8;L3>?áE476‚Ìx8;>=>K8;Ì®L3638;47>?478®6P8;ê4 B
H7Ìx:'Ì18xåZ>=6HW8;8iå¨H,TiH_å~8iJM>=>qU‚8i>=:§4_6EH,H,6E<™Ì;<=ÍS4_:'Ó7T]>KN±Ì'0ªÑ3ëIT;4_Î3Ó7:‚T]H,8iTiU‚H_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'>=476EU‚H_JMU‚: 94¢LEJEH,HW8;8;:_:B3Ò²H,4_6ETœJRH,<?Ìx<.ÎE8i47Î3L3:<KJRÌ;:§Ó763>?Ï74W:+Ï7:Ñ3<€<?H_H7NÌ;:±Ñ:8iNa4‚8]Ì'J3B™> –Ík:':§Ti:':69Uœ81á3NT]4_H769N'8;:‚Ti47H<ªH,J36E> –Jä:':TiâM:'69:e8œNLMÏ¢8i>?>=:'4_Í 6RU‚4,Òz:eN]<=4_ÎEÓ7H,>K63N‚>KÌ;Ñ3U‚Ti4,Ìå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>?8€Nã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‚ø U‚7÷>=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ÒAU‚85:'4,TÒ
8;>?H,̀Î3Ñ3:<=ÑE:e<=JN'>K47N'8;H,U‚48;Ñ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_ڏҒßzU‚634,:4MÒªÌSJM:6E:<=:Ì HWU 8i:eL3:JMT]69Ó7H,8i:e<ÌÌ'B_>=6B_H,Ñ36PHœ<KJœH,<K63H,8i63TiÎ3Ó7>?:63:"4_Ó
6¢LMÑ3L38iT;UœN'4_47áá3U‚:'<?:':TIU§4,4,ÌÒÒ
JMJM::H7J3<5LENaÍz8i>q>=8iÏ_Îõ:J3Ì;:HW8i8]Ì+H,áE47H_ÒkÌxH7:zNN8;>?4_47U‚6EÌUœ0L3é+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;>?476‚U‚4MJM:'<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;U‚8+Ñ3é+LMíM8]HW2 8;>?Ì;47ËM6§Ìg8i47:'ҙU§H,̜6EÌ;î ÍSý3B:'ù T€PÌ;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<?˱Ì;>=>=U‚U‚Ñ3Ñ3<?<?:'>?U‚N'>q8g:'Ëã698i4,:Ò1J8i>?Î36>K8îÎ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,ÒÒ
8gU‚NÍ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:47T€L3Ìx6E:'J38i>=̀634,Ó1ÒªÒ²8;47ÎET5:1Ñ3Ó7Ti47Ti47Ó_LETiH76EU‚J̒Ñ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_J‚Be63Í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
HœT;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ò47U‚H,Ñ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'U‚LM8;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Ñ30’47TiÊ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:H7TŖÌ;H :8]63Ì'4_06MëIå¨J3ÎE:: 8;:N'T;47U‚U‚>?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ÐUœL3<=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;4‚8iëIèÎ3:Î34_6M:1Eå¨6EU‚J3H7::e<ª8;H,:U63T;>?U‚4M63JMÓ>?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Ð<ªç U‚B98;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_HW6‚8;>?Ñ3476T;4MH7N':T;:ÌiÌ5Ñ3>?Tì:T;Ì; :e:'Ìg698]8H,T;>?68; :J’3Ð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
¡e2ž34 !"$# % ('*)$+-,.)$/10
¡e2@ž3\4a`#-MN1ONP1Q °&% ('R)S+-,.)$/.0UT-V !WYX>Z\[)$/6] ^-_[Z ³
:<; >=? …65e†,”'ˆW2 “ 2 ˜Cº˜C8Œe‡'7 ˆ7ˆ7
‡C‰ã9 ˜C'Œe‰W‡i…'7ˆW†7‰ Šeõ…e‰C”'…ˆW“
Eb 2dcB9 3\4a2
Š2@3344 …6Œ 75e†7‡C”‡CˆW“… ŠW% ˜'‰C…e•,”C2BŠ A@% C ŠB2 D 9 9
9 Š •e‘7Še… % 2 9
? E 2 :F; >=?
@
2
3
4
'
”
C
†
7
†
:<ŸG?,; ž>=Ÿ1? 2 2 9 2dc 9
ŸG'?,‰,ž”'—7Ÿ1Š …«¢2 ‡9 “W…WŠ ‡ % ž ; ?
H I£!J9£ ¾5w|ZmnlLK’v7[]lif_^gmnceoÐtc,µ7[]¥P¬?chk­Ij7¯
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;ÌNU‚8§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_Ò²T‚L3Ì;Ì;<=>q<?>=Ò;Ë_Ó_Ô 6E3 Ì
63JMJM4,4¢:8i8õ::'Ì
Tió;U‚63Ì;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]8‚8iH7Î34,N]:Ðì¢Òz>=8iÑ36EÎ3TiÓ1:R478iÓ_4±Ñ3TiH7T;8;4_UÐÎ3Ó7:1êaT]0’H,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
>KN‚H,á¢>?6ãÑ3Ë T;Ì;4_:'Ó7 <?T]:H,NU‚8;:U‚Jã>=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,<?U‚L3::'69f8;g>?h647i§6E:8iJR4>=8;6RÎ3:ä8iÎ3N]:Î34_H,<?Ì;Ó7:'4_6ºT;>=<?8;>q8iÎ3:'U T]H,>=<„6B™H,Q6E>=JÓ_L34_Ti63::ÐùH7>KÌiÌIÌx>?>?6_Ó78i6PL3Ì+>=8;8;>?Î3Ï7:Ð:'<?ËäÏWH7J3<=L3::ÌiNjTikm>=ál n:i‚JR8;>?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<?:'NU‚N4_: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;Ñ34‚Ti47HCÓ_Ï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:'U‚4WÏ¢>=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òU‚8;4M>?JMU::<?ÌBS>?6«8;Î38;ÎE: :
:H7âMN:8;N'LELMH78;<>?47N'6 47U‚4,ÒÑ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 % •,‡'‘eˆW0“ 9C‘7Š… ° 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ð¨ÎEB–6EH7>?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Ñ3–Ti:'H47TiÓ_ÑE:'69TiH,H78kT]UH,Ti<?L3<=07:<?ëI:<’Ì€Î3N4_8;:14UÑEJMÑET;4M> LM–N8i:':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±U‚H7:'ÌiÌx69>?8]Ó7Ì63U‚4,Ò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,ì§Ò®U‚8gH,Ë¢:'<?Ñ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;U‚N4_: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]Ì;Ì.:8iJ‚447J36‚>?Ìx8i8;Î3Ti:">=áEÌ;LM>?V'8;:":áE47ÒH,<K8iH,Î36E:1N'Ti::'J§<KHWÍS8i>=:'4_>?Ó76EÎ9Ì®8k478;Òª4œ8;Î3:e:+H7N]JMÎ47U§H7Ó7H,:>?6_6§8e0_Ñ3é1Ti:<qJM8iÎ3>KN'47H,L38;Ó_:eÌ®Îä>=Ì;6Ð>=U‚8;Î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;>=8U‚4,:'Òk694_8]ÌzL3TÑP:é"TxíMÒ²4_2ÖT;U‚Ì;ËM:eÌgJª8i0 :'UB’H,6EJõ>=8>?ÌJM:eÌx>?Ó76E:Jò8;4
áPÑ3Ti:Ð:'Ñ3N'47Ti4MU‚NÑE:H,ÌiÌ;8;47>?á3T‚<=:U§>?H,6 ì7:e>?63̧Ñ3LEL3Ì;8 : 4_4,LMÒ8;ÑEH,LM6 8±>?Ò²69478;Ti:'U‚Ti6EH,H78i<ẕ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ëÌÎ3Ì;î :Sì7:CT;<=:ð¨:'03U§8;ëI4_H,6ÐÎ3>?63:±H,>=6E6E>=U‚J‚Ó"Ñ3J38i<?Î3H,:':±8iU‚H+JM:'Ìg> 698i–8]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_:8ì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ҀU‚HäÑ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:U‚8i8iÌ"Ñ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>?Ó_U‚63>=>=<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,;ø+U‚H,U‚6P>=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ª476EBU‚N„L3Ñ3ÛATiLMÛ Ti8]:'HW
698;8;>?× 47<?Ëa6õÛ eH,H,×WÑ3TiÕPÑE:Ú <=:'ËãÝ U‚J3Ñ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>=UU‚H7U
03:ÿ®JÔu:H,Tx8i8z8iÎ9>?LP8;NÎ3Ì'H,B:<58;2®LPÎEH,Ìx::T]H,JM47<?> <=Ò5:JM<=:>KT;>Ì;–:U 6_:'Ti8œ47:'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êa8i0–H7>?H7Ìi/€<™Ì;H_4¢>KN]JMN'Îä:>?H,H8i8;>=:eáPU‚J::‚Î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Ì;U‚81:'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:'U‚T;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,U‚T]<?<=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_Ò²U‚47T;TiTS>?:6347NÓFLE8.T€Ï9î >?:3:'âMÍ BÑù :'47eTið¨Ò’>=0™U‚:ü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Ì;:œ>=U‚H,>?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êI6‚H,8i6EÎ3J:+47J363:Ì;:±>=Ó_N6§4_6EÑ3NT;L3:TiÏ¢Ti>=:'4_69LE8;Ìx<?<?ËÐËJMÑ3:'T;Ï_4_:'ÑP<?4749ÑÌx:e:J‚Jäá¢HWË 8
8;U‚Î3:':«U‚H747LMTi8;ËÎ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±:'TœLPÌxÌ;>?:638œÓ"ÑEH1T;4_N47Ó7<?T]<?H,:U§Na8iÌ>=4_H,6Ti4,:§Ò3>=Ìx698;8iTi:'LETiNa6E8iH,L3<?T;<=Ëõ:èT;ç:áPÑ347Ti8;:Î å
Ò²8;474‚T±H,Ti<?L3<=4W<=Í:eÌ"JMH7>?6ETi:JòNa8zH,8;H74_NU‚N: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:'U‚U‚>KN]ÌRÎò:SH,Ò²Ìx476PLPT5JàN]<?Ϋ>=6EÒ²T;HW:4_8;H,U 4_T;U$å„8;:>?UH7H7N]Ñ3:IÎ ÑN:4_HWH,U‚8;T]4_̜Ñ3U LMç²Ò²8i478;H,<=4 åå
8;H,>?Ti47:±6ET;Ì:<=47Ë¢Ti>?>=63Ó_Ó
>=6E4_H76R<=<?Ë«H‚JMÌ;: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'o8K’o9¦emno_[
8i:'H,<?:'8;U‚>?47:'6’690 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Ëò8œ4,H7Җ8i6òÎ38gÍS::6_4œN8iL3Ì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>?:'6T€8;Ì;ÎE::S8e09J3QEH,478iH"T€:'Ìg8iöÐT;LEN>?N:'8;6EL3N'TiË :
T;Q:e>=H7ÓPÌ;0 4796EêÌ10™8;ëIÎEÎ3:
:8iT;Ì;L3:N'8;Î476EÏCJºH7<=ÌxLE8i:H_̱N]ìH,BñTi:
N'H,U§<?<?:H7J >=698iÜ]H7× >=;6Eø':B™J«ì_:'>?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_:'6’Ti076EëIH,8;Î3>?:"Ï7::'Ì+<?:'U§U‚HC:'Ë«698iá̀:Ð>=6‚HCÏ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Î4‚H_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Ì;H7U‚J3Ì
Ì
îq8iù 4 Wð¨Ì;0L3ëIÑ3ÎEÑ:œ47T;U§8‚H Ì;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;8€Ti:'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,U‚4Ð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:> >q–8i4,Îò:'Ò5Ti8i8i:'Î3Î369::8
:ND–4_:U:N]NÑEÎP8;>?LMH,Ï7638i:H,>KÌx8;ÑEU§>?47H,̙6T]H,ÎE<?ç²HC<=áE:Ï7Ti<ñ:®H7>?6E8iU‚41N]Ñ3Î3á<?::':kÌIU‚JM>?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> ÒM–J38i:'Ë9H7Ti6PÌ;:'ìMH,69̙U‚81JMH,>?LEN
6ET;JJM>?63>KLEÌgÓz8i63T;8iÑ3>?Î3á3Ti:SLM:N'JM8i47>=>K4_NaU‚6ò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:'U‚69:'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:>?H7TiJœTx: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 L36R63U‚8i:'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,4‚T]:'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_:'JœT]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]U‚HW8;:>?47N'6P4_Ì Ìx8¨Û Ì;œÎ3H74_6EL3J<?J „áÛAÛ :
NN4_496EÌg8™N:>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]JœHW8;8iÎ3>=4_>KÌ6E̪>?ÌñÍz8;Î3ÎP49HW8Ìx:®B,Ì;Ò²>?Ti6E: N9:kL3:8;Î36E:SN˱634_N'H76M6å¨N'áP47:S6EÌxN8i4_H76_698i8™T;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 B™H7gTiH74_N]6ET;Î >=JF8gËçH,Ì;:'Ti4,:: Ò
8;>=6 ΢LE8iÌkÎ3L3>?̱6EÑEÌ;L3T;4>=8igH,:áENa8e<=:z0 Ò²õ:4_Tk‚HÎEÌ;HCÎEÏ_H7:
T;:'>KJMå„63:'69478i8;>Î3E>?:e63J«ÓH,8gÍST]N]4Î3>=U‚8;: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á34œLM8iLE:Ì;J :
U‚:'U‚47TiË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>?:eU‚NH,4_>=6«<KUH,TkÛAÑEÙ LMÌ;N]8iÎ3H,Ý Û:8;Ü>?U§ÛA47ڀ6MH7ҏå¨Ì®H7áEÌ;H7H7Î3J3Ì;>=47:4_JÑM6’8i0¢Ì;:N]þ’JÎ3::>=8S6U‚LE8i:7ÌSÎ3B3:1H7H,ÌiN6äÌx4_L3>?69U‚J38;<=::1:â¢8;H,8®ÎEÓ_4,H,:'Ò.8S69× 8IH,aÓ_47Ø :'áM698]*8 H,>?)½6EÝAÝ ÌIø ÍSÝ HœH7:ÑE6_âM8]H7:Ì®N'Tx8iLM8i>?4
8;H7>?<ª47Ì;6‚:'H,6E6E47J§Ì;ÒÍk>=<?8i:47ÌkTSÓ_>?ÑEÌ;NS:H78IÑ3Tx8iTiÒ²>?47TiH747Ó_<U TiH7H76EU‚H7Ì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ÑEJ‚H78;TxÎE8i>?H,H78 <
H,H,6E6EÌ;Ì;ÍSÍS :':'T"T5ÌxÌ; :':88;>K3Ð̙Ti0–:'ëIÑET;Î3:e>KÌx̱:6_N478i:U‚JU
á¢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:'LE6‚N8;<?>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:Ñ3J‚Ti4¢8i4œN':4_ÌiáMÌk8iNH7H,>=66
áPáP:‚:'8gÍkH,<K:Ì;:'4Ð6õU§8;H7Î3JM:Ð:N'U‚4769478;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ÍÌS8i4‚T;: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>=9TxU‚L38i>?:'Ñ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Ñ38€Ti47Ñ3Ó_TiTi47H7Ó_UTiH7U‚U‚>?Ì"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:_U‚BÍS::kJM>KNHWH,8i6 :
>=H,U‚6EÌ;Ñ3ÍSTi4W:'Ï7Tz:±Ìx:'Ñ8:'T;á3Ò²LM478TiU§4_63H,<=6EËÐN':+8;Î3á¢:ËäJMÑP> –:Tx:'Ò²Ti4_:'T;6EU‚N':>?63áPÓ§:'>=8g6PÍkN:Ti:':'6RU‚8;:'Î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ÌHW8‚JM LED: 4M(S8;JM4‚ëI:'< Î38iÎ3:äk:47:Î3Ñ¢âM>?Ë¢ÑPÓ7>?:Î63T;Ó«>?NU‚49á:'Ì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_6PU‚T;Ì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>?U‚63>KÌzÓ7Ñ3:Ñ3<?Tk˜Ti4 ÍzÑgÎE:':eT;Na:'Ò²8a6Ð47êaTiB3ÍSUJM:1L3>?63U‚:±Ó±4W8iH+4‚Ï7:1U8;Î38;:4:U‚JMN'4747>?TiÌx6EË8;TiÌ;N>K>?á3JM47:'LMÑ¢T]8;Ë¢H,:e>?á3JÐ63<?ӱ˧U‚47Î3:'ÑU‚>?:'Ó7T]Î34_HWT;:8;˧T>?47NH,6™49T]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:U‚T;>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ÍS47U‚U‚:+:Ñ3J«ÎELMHCJM8]Ï7HWË¢:18;6E>?Ì;H747ÍzU‚6«>=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>K6’N'>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,:ҖU‚H78;ÎE6E47:"TiÌ;:œÍkH,:6PH_T"JMÌxÍSÏWÌ;:H,:'8"69T€8i>KÌ;H7Ì":Ó78eÏ7:'B7:'4_8iTiLEÎ3ËRÌk:'6<?8;H7ÎET;T;H7Ó_:e6:œN47NT;U‚4_:eNUÑ34_L3ÑPU8iH,HWÑETi8i:LM>=4_JR8i6§H,8;8;4Ík>?474_8;6’L3Î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>?8™JM638;::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_™U‚0 Ñ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::':"Í698€8iH74,>?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;4‚8;Î3á:Ð:+LE8;ÑÎ3J3:H,<?8;4_:eH_JºJÐ<=>?496H7J8iÎ3Íz: Î3:'
6E:'H7Ï7Ó7::Tœ6_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;:'>?6PU‚N::
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:JMU‚L3:'<?>=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ÑU‚4_:Na>=Ñ3698iLM8i>=Ï_8]̂HW:'8;<?ÍzËÐ>?47ÎEN'6>?N]H7êaÎà<=BE<?:Íz<?Jò>=ÎE:«Ú¨>=<?× N':õ<=49>=6H,Ìx:6EáT‚J 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ÎE8‚H78;Î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:>?:'696œTi8i>?Ó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>?6’L36ò<=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:U‚B–Ì+á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ÓE0€8;ÎEùÐ:N'ÌgH,8]6ºH,á3á<?::ÐU‚Ti: 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]6’H,B<„0’L3ëI63:'Î3â¢:§ÑEH,<=4_<?Ó7T;:e4_JT;>=8;<=Î3>=8;U :TiH7>K<?̱Ì"U‚H,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'J‚476E8;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,) :'<?<?::6‚JÒ²8i47Î3L3: 6PJªB ni l f-iNÌg8ig :'kmђl,N'0–H7ʨ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_>K6’H,<?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:J’B_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;::e8SJ‚8;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Î3U‚8:
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]>=êa6HW0–8;ëI>? 47 Î36™>KB_Ì"8iÌ;Î3>? :±Ó763<=4¢> +P4_N'ìCH7H769Î38;:<? H_ËäJÐç²TiÑ3:ÌxTiJM8;4W:'LPÏ¢ÑRN>?JM:N':eÌH7J‚68;Î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;<U‚2®: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>?:U‚8;Î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Ó72€T]HWT;8;4_>?<=474_6
Ó
4,N'Җ47ÿ®U‚:'Ñ3T;LM8;>K8]N'HWH78;<3>?47H,6™6E0 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;N4‚HW8;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Ì<?Ì8i4B‚HR0 <?4¢4747ìWTiH,ìÎ3:eL3H763Jõ>=8iÌ"Ìg8iTi:':'Ѻ<KHWÑP8;:e:TxJäÒ²4_8;T;4U‚JM: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,T1U‚FÌ;::Íz818iÎ3>=ÎP>?U‚N]HCΙ:Ï7B€:á¢H7áËäÌ:'8i:'ÍSÎ36õ::‚NÌxÌx47ËM8iU‚H,Ì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,ÌIU‚Ti:':R<KHWÑE8iH,:T;JÐ8;>K8;H,4‚<IJMH,>6P–Ìx:'ÍSTi:':'T‚698zÌ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,6EU‚N: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;>?ì‚UœL3L36E<KHW>q8i8]:Ì'J0MÊZJM6R:47ÑML38;ÎTI>?EU‚T]Ñ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_Ì+B’6E8;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,U‚TiTi:§>=ÑÓ_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<?>=47U‚HC>=Ï78zÑ3:<?8;:'Î3áPU‚:::':Ì;6F6_H78]U‚HW8iÎ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Ñ3UœTi4WáÏ7:':TäJÐ4,8;Ò4‚H,ÑÓ_:':'T;69Ò²8i47ÌÐTiU H7U‚Ï7:47T;63ËÐÓºÍSÍz:'Î3<?<ª>KN]>?6RÎuU‚8;Î349:òÌg8Ì;:H,8äÑEÑ34,<=Ò±>KN'L3H,638;>?:47âM6EÑ3Ì<?0 47Ti:Ju<?>q8i:'T]H,<Ķ>KÌÐÌxÑE<=>=8>KÌÌ;:'<?:Na8i:J
HW2®8ÐH,T]TiH,L3<?6M<=:å„<=8;>K>?Ì;U‚UR:7B™0€LEë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,6EJH‚N4_U‚Ñ3LM8iH,8;>?476RáEH7Ì;:Jä476ÿ®:Tx8i>?NH,<’2®H,T]H,<?<?:'<?>?Ì;UB_LEÌ;:Ò²LE<’>qÒ®U‚47Ti:+á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_U‚8i:"Î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_>?áMU‚8iH7Ñ3>=<=6E::U‚J):'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ÌkU‚Ti:':'U‚Ñ4747T;Ti8;Ëò:J‚H,T]ÎPN]HCÎ3Ï7>=8;::eáNa8;:'LE:T;6Ð:eÌi47ê+áM8]HWH,8>?63è":DòJ§Ò²íT;I4_U*Ô)258gÍS:'4œ698iÌ;>=>=L3U‚U >?<?H7ÊxTÊ
>=NU‚4_6EÑ3Ìg<?8i:'T;U‚LP:Na6_8;:e8]JHW8i>?>=6 4_6EÌ.LE47Ì;Җ>?é+63Ó"íM25D«B72€4_ʪ63:Ò²47JMT5:'JMÏ_:e:'H,<?47<?>=Ñ63:Ó"J‚ÍzHW>q8i8€Îœè">?Dò698;í:'Ti Ñ3TiH,4M6ENJ:Ìi47Ì;6E47:T™N'HW478kU‚ëzUœë L3œ6E07>?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¬ Œ 7‡C‡W… ŠW˜'‰W…•,”CŠ hgf9o_| …65e†7”'ˆ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;U‚8iÎ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¢êaU‚L30®>?U
è1V':áP:'JòÏ7::T
çTxN8i474_Î3ÒU‚:'Ñ3<?ÑE:TiH,Ìi4¢ÌTiN'B™::J
8iÌiÎ3Ìx8;4_:4 TiÌNÝ 0™L3ë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,<=H7U‚8ITiH74_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_U‚8iU4ÐÑEÑE8iH7LMÎ3T;8i:e:‚H,Ì8;:>?8iâM47Î3Ñ36:<?47H,:>=<?8i<=âM4WHW:ÍS8iN'>=LM:4_J8;6«>?47LE4,6 ÌÒ
8;8;>?>?U‚U‚::Ì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,U‚T]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 L3Uœ5 áù :'Ð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>=>=U‚6E>=: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:'6‚69<=8.>?636¢:L3H7UœT.á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>?6‚6
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_:'NaU‚8i>=:ÐÏ¢>=Í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[ihg9[awµ±°²¯™mn¦[]ceoE© bc¥nchgmno9¦C³ H I£ E£ ¯ªw'hxw'¥nq[i¥YK’v7[]l`9c'¬ª^g9[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æ>?U‚T;:eN':'J47696EU‚8iJ3̺: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Ì>?T€U‚á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;6‚J34>47–H7á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_Ò.U‚N8;Î34_UœÑ9:‚Ë¢L3á>?6363:'>KÓÐ6EN'H,N]Ñ3ÎE8;>?TiU‚474W6õÏ¢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 JœLEPÌ;>?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,U‚8;>?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:">?6‚U‚QñH >?ÓEg470 Ti">q8g>?Ë
6EJM4,>KÒªN'8iHWÎ38i::
8;8;>?Î3U‚Ti::Ì;ÌÎ3074_ëI<?JÎ3:z8;4‚Ti: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,U‚6EÑ3Jä<?>?T;Ì;:eÎ3N:4_J
Uá¢ÑEËLMLE8iH,Ì;>=8;6E>?47Ó±6’H70M6‚ëI:Î3âM:±ÑPTi:L3T;>?<=U‚:H_:'69JM8i47H7ÑM<=8i<?Ë:JJM:'>=6ä8;:'8;TiÎ3U‚:±>=6E>?U:J å
aÚ„Û Ý "× ÕE;ßø €ø ø'Ú «8iÎ3:'6U‚4MJM:<
Ñ3<?:'U‚:'698iH,8;>?476«NH,6á:
Ì;L3U‚U‚H7T;>?V':eJH7Ì E>=Ò T;Ti:eH,N8;4_>?4§U>?ÑEÌLM8;8i4¢H,4Ð8;>?<?474W6òÍ>KB3̱8iÎ3H,:'Ñ36’ÑEBP<=>?8;:ÎEJª:'B–Ti47:8;>?Î3Ì1:T;63Íz4Ð>KÌxH7:
J3ÏCU‚H74¢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:Ò²476T€8;8;ÎEÎ3::eÌxN':"4_Ìx:8"âMÑP4,:Ò.T;Ti>?:U‚N':'4769U‚8iÌ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 47–6§:'HT]Ì" Ì;ÎE8;Î3H7:‚T;:eÑJ¢:'å„U‚6EH7:<qU8gË4_T;47ËҀÑE8;ÎE<?H,:‚8xÒ²N'474_TiÌxU 8+47Ñ3 ÒST;4MN'+JM47
U‚LPN+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?3ža <š Im?3ža š I ?Eža äš I ?Ež]
bc¥qc'h+° Pweµ_µ_[ih;³
bc¥qc'h+° wo9µ_cd e³
Ece¦emn|¨^gmnl]|
jW^Zhxw'^g[]¦mql
| „|Z|

¯
9›=? J¢£ K’v7[]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;U‚8;Ï_4::'JòU‚N4_4747U‚6º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‚Ì;:':':'U‚69U‚8i4747ÌITiTi˜H‚Ëò>?NU‚H,4_6PÑ3U‚J«<?:'ÑEU‚8iH,Î3Ti:':Ð>?69Ì;478iJMH,6ä>K8;Ìg8i>?áP47T;:'6‚>?8gá3ÍkÍzLM:8i>=::'8;ÎJ6
U‚:'U‚47TiËò:63Ó7>?63:Ì0ªÊZ6 8;Î3:U‚H 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_:TI698€8;Î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|Zceo‚c'¬ñj7¢whg[aµw'o¢µœYImn|¨^Zhgmq¶_f_^g[aµt[]dchZ} K’o9¦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êÎòB’HWH,86EJ U‚4_ Ì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,>=B–8gÒ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>=>=U‚63Ó:6_478]6̜8;Ì;ÎEÎ3:4WÍ6¢L3BUœ>=6 á:'Ó_T":'634,:Ò.TiH,H7Ó_<~B:'69H«8iÌÓ_49H74MU‚JF4763Ì;Ñ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,Ì;<?>?U‚63Ó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,U‚47LE6_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¹w9[]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>?TiU‚63H7:e<=>=<?VeJ+:'HW<8;8i4W4">=4_Ï7>=6œ:U‚T;Ñ3ÎEÑ3Ti:Ti>=4WH76PÏ7J’N:5>?0 Ñ38i<=Î3:e::Ì
ÎE47ÑHCÏ7:'T]:.HWH78iÑ3>=4_Ñ36Ð<?>=:e>?ÌIJ±Ñ8gÍS:'T;4zÒ²4747TiÑMU‚8i>=:U‚J«>?Vç:'HW>=8i8;>=Î34_:6ETz̒LE>?6Ì;>=8i63Î3ӂ:€NJM4_:Ñ¢Ï7Ë9:'>?<?6347Ó
ÑEU47TS:69T;:e8™N4,47Ò¢U‚8;Î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]8‚H7Ì;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>=:e8J‚8;Ò²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¢U‚N':4_ÌiÌ®6º>KÌ®H76E8gË¢N:eÑ3Ìg>K8iN'47H,T<?<?Ë>?6FH_N'8iNÎ34_:U‚NÑ34_<=U‚>KÌ;Ñ3Î3LM:J‚8iH,á¢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:+:'U‚8iÎ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,:e6‚N4_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:'ҒU‚8;ÎE4,:"8i:k8iT;H,:Ó_:7:'B¢69>=88S0CU§ëIHCÎ3˧:k>?áJM:+:eH1N]Î3>K̙:eH,8;ÑÎE:'H,Tk88;>=Ò34‚8;HCÎEÏ7:S4_N'>?47J§U‚áPU‚H7N]47ì96œ8;T]H7H76EN]Nì¢:e>?63Ìg8iÓE47B_TT;>?:Ì"Uóg4W8i49Ï¢41>?63ÒÓ H,T5HCÝAÝ ÍS8;HCÎEËM:"ôz<?H7>q8i6E:'JœT]H,N'<K<=Ìk49Ò²ÌxT;:€4_8;U 4
8;8;Î3Î3:ä:6ÑENH,47T;Ñ¢8;>K˧H,<k8iÎ3H,:6EÌ;NÍk4_:U‚TÑ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=B™Q8;>?Ó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,8€8iÎ3:+N'47U‚U‚476
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ƒ^g9cf_^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:>=U‚T;:G:69Jã8z8gHWJË98Ñ"J3:QE:ÌIL3N47TiT;Ò:8;H_Î3>?U‚Ìx:>?T63Ñ3ÓTiTi4W:8iÏ7Ì;Î3::':RH,U‚T]4WN]:Îu6_Ï7:'8]ÌITi>?ÌäÎ3N':eH,63H76R:'Jº:eáJMJM::L3Jà>?:JM>?:8;6)694õ8;4_> N'ETi47JM:U‚Jª:T§Uœ0 8;LE4ã63>?>=NU‚HW8iÑ3>=Ti4_4W6EÏ7Ì':0ÊZ8iUÎ3: å
Ñ3U‚Ti4¢4WJ3Ï7:':'<„U‚BCÒ²: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:eJœJ 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 H‚E6EÎ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:e6Ê:4,LEÒ"Ì;8;:Î3J‚:>?6ÑEH7ßaTiقH7<=×e<?÷7:'<Iø Ý ßa>?U‚BMJMÑ3:<=Ì;:>=U‚Ó_63:':69J8iH,Ò²8;4_>?47Tk6 Ì;:.9ÍSL3::6_H,8iTi>?H7:R<EN'>? L3U‚TiÑ3T;:<=:6_U‚8i <=:'Ëã69+8iLEH,Ìx8;>?>?6347ÓF6E ÌH 0B
ÑÒ²347TiTÐ"47Ó7Ì;ÊZT]U‚:'H,<?:Ñ3U NTi8;4W>?ÍzÏ763:Î3Ó U‚4_8;Ì;:'Î3:§69:8iH,Ì®6ENH74_Ì;Ík>=T;U‚Ti::T:NJ§8Ìx:'H,áP8i8€H,Ì<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Î3U‚8i:
>=:4_:6EöÐÏ7Ìi:êœNT;>?Ë H,:'Ti698;:Ð8±>?Uá:âM:':õ:Ë7N'4_NLM476E8;6PJº>?Ìx47L38i6òÎ3U‚:ä4,>?Ҁ63N'ÓEé47B5U‚6P8iÌ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:e4œNaH,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>?>=Ìx6‚8;>?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ÎPU‚47H7Ò.ÌÌÑ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 <=:U‚8iÎ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_Ó70€T]ëIH,U§Î3:ò̧Íkîqù 4_WT;ðIì H,ÍS6EJ :
63Ï7:47Tx638iå¨>?JMNH,:'8;<,:ÑET;H7U‚TiH7>?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 B™8;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_Ë
63U‚634M:'JM69:8iÌkÌiô_H,êTi0 :zÎEH,6EJ3<=:eJ‚>=6¢Ï74_<=Ï_:Ì8iÎ3:1H,áE>=<?>q8gË
8;4œT;:eN476PÌg8iT;LEN8.ÑEH,T;8
Î3:'S<?ђ ü 0/0™_25@ ý 4_J 6_E8iB :'<?S<=>.ûH7é 6EJº,ëIQS_Î30™ï :kGS9H7:'ï3LMTiB.Uœ8;/.Î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_JM7T’LEú 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ä`E¾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,[ `Et[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[S­k¥n¦ec'hgmƒ^g9d|ñ© ¬?7c© h€[i|¨7^g` mqo_¦"^g_[Ij7w'^gmn|Mw'¶9mn¥ mn^~}c¬–¯’hgc\Mc¤
W`IY+% `mK™w|¨^zw'o¢µ§©_\¢täw'¦e`¢[]P| hgf9|Z¸i
l]$ ¸i}o9,+|Z`E¹,)­SmA`®­S/.Yz]Y­€w+·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`S59[ j,}7|¨^g[]d “,Š ¯ªhgce¦hg[i|Z| []\Mc'hZ^a©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|]·„`o [-/1^ + m "X !% , _ , ) X"!,F_ .0 ,+.^-X"N0 + .^ 0*[)
,`tä_[` ZdS'*[])$¥ƒ+-¬K,.c)$o¢/1µ‚0 w'0 o¢X µ N, "` Pmƒ¬K|Zlx9mƒ^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"o‚N` 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¯ªh™hg[]·~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‚¦_ d‚w'.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 [ihg­k¥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ƒ^g9d‚` _ 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¥q9µ_[1f9lij,l]\¢mno9w'mAl]©ñ[W täj7' ,`*f7S^Z^g[]¥q¥ƒ4[¬Kc`’o¢·„oµE© `–»©Mw'^gj,|Z\_cehgoEmno9©™¦w[io9h µõñtä[;hg¥=`ªw'¾5¦_©w'hZhZ}W`e` ­ko«­€¤~¯ªhgce¥nce¦YI[]limq|Zmnco
,` ’`–¯–[ihZhgcoP`j7[]w'hglx¯ªhgcWl][aµ_f7hg[]|"wo¢µä¯ªw'hxw'¥q¥n[]' ¥nm |Zd$ W mnob© ceo9|¨^Z7hxw'`Emnj,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 /1w0™o9[i0 µ hg¥qXSwN¦_, \_` ^gmndmn¸aw^gmqco‚c¬™w+¯ªw'hxw¥n []¥YK’o9¦mno9[I¬Kc'hI­€o9|¨s[ih
7`zY+` wo ¨woE© © K®`¢,°¯–Cc³ oW^g[]+¥nq$ mA' ©¢w,o¢ ©µ W "`7S` f_\_^xw,` Soœ^g9[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·¨o9 |¨^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