Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic

(1)

0123 4503 6273 89 3 48616649 3 163 8

643 819 68 9 3 16119 3 3 9 9 141689 3 69 83 69 1 123 4

!"#$%!&#' (#)*++,-./0-!1/0%

2"#$%3,#4,42/

589496(#)*722,28**8,2#*#$,$80%29 2%#,0,:8;0%8*#$,0:**9<%2#0%#%#4=#8

*#$,08%>0**.;2*>8%>?.@-8,0,;#A>

%<*#$,00#<%2-%<0%###8B#%#%<CDEFG HIJEKLM4N%2#);;%08%<.,28,08,0,#0%

#O#$,$P0Q,%#R)0?OPR@8;%)%8*#%<*#9

$,$$#0**>4S8*.#>2A%*0*)*-8OPR#A%*%$0*

%#48:%*)*8)*>A#0%2;*2#:80%##0%##9 2*)*4=#8;;%,2%;%;%0%2;*2#>0%##0%#

A:#8>2A%*0#80%##0%#*)*,#$IDFLMJTMHGEU4S;%9

;%#*%#<%20%##0%#2%*%$0/;#8;#*>V#%:*9

$AUW48*#*%#>%2;*<>8#0%#$%<80%22%#

,0,X,$$A>YZ[\]4

^_18`a%#2%#%%#0%##$-b#*>*%$0-(#)*722-.;9 2*>8%>-0%##0%#24

c d69 1749 3 16

=#effg#:<2:%V<%$##$*#$,08%%-:0**h.;9 2*>8%>i?.@48(#)*722?(7@<2:%Vj)>

(7j 82%#$8,2#*#$,$8%<,#)*-8-80%29 2%#,0,88>880%#,80%#%#%<:**9<%2#%<

*#$,$4R;88$-.<<%<%8%#*$#)<2:%V #8#8%#%Q,#)%*A*>#%%,#)*>48.

;0Q,##$A0,8A0#<%2:**#%A8;<0%#

?'%0%##)%*%#@A,8A%#%HIJEKLM-44-8%#:8%)%*%#

%<80%##8)82#2*0%4k#.,288%<0%#9 ##;#0;*#0%##-%-)>0#%<*#$,0<%2:**)%*

*%#0%##4S8080%##%0%###%<,*B**A>0#

<%22;%#:8;0%8;%%#%<8%0%###808>l8 0%#,;0B0*#$,$4^e

.:A%##0%#/#:808$#)$22:82#<2:%V<% 08#$:%V#*#$,04S0#2#%#8#2%<hm8%2V>i#0%#

eN%##%,0%#%%;2*>8%>nopq-rst4

(2)

012345167890641196516089967249678876487759255089012398 769

!"052674257343960542404239349676337580697#$92394640#7240 3757%49697#206052&$2406962059#92239'()*74729424502 90$320054962390542400142540#72905267425+0659#924239,-*./01 1068428$52%90549693430526742502396508924206537940#729"

02396065767887247#06,-*./01106849957#7500239610685 3454574119699%929979967249678876%94239106854239

#7520954#97#$7294236959220962746$#95

2"946089205267425769$49657#740#7%#949967249678876 239769$49657#%$2440#7%#9

"8769955#757480627260#94767887634#9499672496783 87645174#231$#9552399#98922372#752399267#60#9

40950209490$2$2542968501$7#425094239640#7%4#428975 47244206572451724089757247240345$7#7012344%9#0520 9967249678876

5+0696#744#7$797647240$5952396936740105267425973#73

$7937575947#052674256747996724967887696#745#7$79 76472404239#98925#496$#9587678929657239#9640

"2454806272200420$22372423969769204010526742540#7%#9 7440#7%#905267425"2399:;##7%#9390675451068$#7294<23943 40#7%#905267425769239=(>7239?*@A*@01052674252395905267425769

%9073496763239379239343952052017##0526742577691$#B##94 99674729089242403940#7%#905267425769239,>05267425+06239 9678#95695929396997690420054960#239592,>4923959201 9##31068995504240575459B94<CD2

"EF(G0/,>.AH.>IJK,/L(@01,/-@*0*.,>*,M-*./01.*NOEF(,(*.A=0/O /0P7$#;80#9577Q67#49R996960059709240452809#01 7##9STUVW345#07#45258892649206755$8957724452042014901 STUVW45230$3275239R7$79XY$454240Z949RXZ 23729095[239083 80526$2$691067##054%#93$87#7$795\976904205276216082372064 069620490$62675#724001STUVW4207917$#2#04552987##9-(>01*N1,].A 392675#72406959293969964395239STUVW60057#7548#4B9542%9549542 87950554%#97#4%92997#04

^ _`abcde fghijk k clk a_`amnj

"23455924094##4260$9090123980524806272455$954239&7549:

;##7%#93906392675#72404200924045872392392675#7240420#04 4##%9%75902399:;##7%#93906

"2399B42400123972445230239545014260$94<454296729

%759201#4$45247472910685?75920105267425,>72399B424001 '(.>],-*./01"23729B4240=(>7?*@A*@01052674257690289240949

(3)

012345262773080128942977224224869539026203035294235 009201909770359504583010123926570493507012720 6570493507

50129736 !892"1248#3765703002$35949237301%"$ 8 9720695390247&6570493507959253035'()*+,)-./59403694 35012 "12480125324720₁704604927643035737428704357 657595079527322795 275024420903579427043572795 270190 94250947235078927323 33 313224427735794270435727 95 27947235078927"1294735373536902892435424924 0123502442090353 363⁷⁸ ⁹^:30123569539027622524902;^<

=> ⁷?⁸ ⁹@A

<@ A⁸ ⁹@A B@ A⁸ ⁹^:>

C ⁷?⁸ ⁹^:

540127269539027526272260297012+,)-./03542400190 7226035252291324946186570493507959253035'()*+,)-./D2422 350462012253035;

EFGHIJIKHLMNO.P)P.,(Q)ROR)P(S(P,'(+,)-./)TTTS(.OUO-+(,),SQVW,U(

OR,S.),R,U.,.S(X)/.,(P'YQ-ZR,'(S.[(P/Q(S,U..,/(.R,(OR,S.), X)/.,(P'YQV\]=<^_

"1272065704935074012 "124837428;]`_]a_

bcR(,d2487892562719794262355720 beP.9794250243002

bf.SR(54224822250350123500124237964427535222503501200 bg)//^hd2487892562735012001979644275352225035012350 bg)//ⁱd2487892572046919796442753535012350

5%"9695390262030353779871235909212420126953902 620304794271552496240935132494618D240126570493507012720

!720190657049350794252401235132494618;jkllⁱmf.SR(mjkll^hm n9mcR(,9540123503⁷⁸ ⁹^:30127926953902724427735725o 035292942252490297007"12%"09232;

p7024377353690239035756570493507953902684249219703o 903575f.SR(65704935013269539026_:523903524eP.955224 cR(,%724201909012695390271929029705265704935039035"12+,)q -./376_:26972429616203046201265704935070190942390286_:32e P.95cR(,9424952240195902970526570493503902895862

037340950035000190524950124132494618012+,)-./006 50201279254249232657324012132494618D212420126570493507942 4242977;cR(,meP.mjkll^hmf.SR(mjkllⁱ012+,)-./695390237 6₇

<"1278rs2353690270190955720562746937208tuvw3742997r01222250 v23759472

(4)

012343567898669797

1 1 !

"7#997$6%97%978&5'()*+#8,8-./6&,0,71 2.678346,8975%78976789"78:77;&97$$9,,899%&9# -$7$2978;7697<76976#,:,6786#77979 ,:,9#=;7697$$9,,6,,#17697+#787+>?@1 76979

A$798#,:,+76976&79:6,6#.-,7%#&1 &B$#9,769797#77979,:,67988&79:6,$#7#9

$9%#698796,-&7889C17697$#6:#899797-$7 :9,6-,67897:9,6-,7697+#98997979978&897#77979 ,:,67697$9#:696-,$9%#D>?@1EF>7697D 6787697$9#

=G8$9%#D>?@HI?>678>?@HJ@KLM@LKNO76979

5'()*96,6,9.97$2#67#697%%9:7975'0.,1 ,6-,#.;&78,.97%97%;5P678'P&;6;;5P678'P+ 97#$8+5'()*797697678G979"788#6+ #97#6#,6.<6797&+67&&67867897%,6.9"7#=7

$$9,,=78#69:697;6797697+^Q;G6,+#69:697;#97%

R'^S5^T'^U5^VR9"7#&&,6.$&,8=7869:68+7;#;&678986$

#6:978&86-:9#7897%,6.978&#,972-$7#97&

678#&&9

5'_()*#6#2978;&79<:$,+776767886776778 -.6797:8967%,+69,678679:,.9"7#97&678#1 7897%,6.#97899797-$77867767+97#,6.+ #9,99787,.6677679"7#&&,6.#9,767 77767$#9,67997,6;68677679"7=%&W9#$8 #69:697;678986V$##97&9#97697R'^S5^T'^U5^VR678# G97%76897#&&9'^SX5^T'^U5^V9"7#9797&,6.%;# ,,YST#,,YSZ[&&,6.;YTSY\S9^]

"75'()*6#7697#669%786-9667867797;=979>?@H^>_?@

#667%69:-96`a7:.:$,&7997#&&67867797;=97ba

Q"7#96$6$297%7,.$9##62P9:;#667$$9,,=78 697&7,.97697+6786&&+G979

]"76,,cde+f7#$678g#,&79

(5)

01234356789779

6786666986967997776977 !6967996"67 86796#76766$766976 %9&'()*+,+-.9/0 669777697717769976967996"676$76 96"67/0796 !669976$7696"677776 26!69969763776

&'()4.56'9/0677 79/8$67967 76969$69:9967996"67 %9&'();<==^>

&'();<==^?176969$617686/8967996"67 9: @96"677697786/0 A6677&'()4.56'76686 8766779767969$686&'();<==766676 969$9776

B3C DEFFGFH2IJKGLM1NGONJGFMPLNGQMHR1GMQ

SA!76768776669796798797676 76+T(<U.= S76967976936776+T(<U.=768676 3366$V87667797667976 S967976766 V679796677797761868676WX99'&'5YZ79[

\]^_`/a

<bc

d_ef^g^hi j0k S96793767997666$79V18686U<l5+l+&) 6(5.<&(6 S7967997mno66976789 p66776 33$"679766789q77977767639977r 761866766779396936s6778779666367^t

%96$767769763997767891866769u1v1 iiim766w99861l+99679971ll99997 x96178696667$ y6667799

t%9$6667799*'()l+&6(5.<&(6997z{|}939977z8|

(6)

01234245673815768391951586101838869896787915945874 7163939695787145459398213291782346615619433939695715186969 3939695787145479 !"#$%&'()1686486009731259743*+698909571459 849157160123424567381577939168186,-45993499.11387979 245592714524921957/-161664915793994⁰

1234546 !"#$%&'()

95928287979959352714574371666790867869:,;<=>=^?/>=^?@A 9471086295831464379 !"#$%&'()8397417,B8689957945697 245645857857949839478271879779186839547C4395245645857 85794983947158271879779186168271879D5858446869285 97792828714547995935271457437939674245673815769104378529 49593527145939167871719301767428287979#E)FG285187948 59743*7873939695768*549986916527145197915*17794128 0491573429157959H76927145

I JK L32 MNLOPKLQRS

T30491686945UVW717196747873446886921243195787145X9399839 415749H4694564099909576443049746978728594745936785 79738568714547959H76927145

Y958741216859H7959936145434461714582826787964304Z 915545045474512398645156921282869617245[1271591964315245616Z 7952196787831699579398395439189*5499643296+6176580915128796 Y9587\412866421879689581743246774982430848*5499869]16 2467^9H396691583984617195093^ 195938798385*15804579430Z 891579*5499869T367345919618981312985198779 74479385*15799587434615796943086190439246778543 98*939196

_P`a2b2Lac4d()ef()g(fF' !GF&hiFh(#jF')F&kF"kE"#E#' )#&FG!FG!iGi'lm E(&FG)no&#pG(kh(fF'(qrstu] 'Fv& )('()#jEF "'qwxouxf( &hwF'()#jp(GG

0T793012342456738157683939396957978*15157482245779483939695787145479 24567381576D5439374898381283939695787145647924567381576yj"lUzW

(7)

01234501236784109854487061380213144 24244441021118701236784108824

!8374108"#$%&'(')*+*,)('-.,/*0)123*'.4)561-(0(,)7.)0.'8*.49()7(':

01',(,)*');'194*8-*<.,*,%3*'.4)(*,.+*=,*8.,.0+()*+(1'21+,*4*0)('-)7*/+*2*++*8 01',(,)*'),=<,*),%>*+*9*.+*-1('-)1(')+18=0*.'*?.@/4*12.3AB<=)(',)*.812 (')+18=0('-)7*9*44;'19'*?.@/4*12C9**)5D)7*/*'-=('D9*7.E*91+;*8('.'*9

*?.@/4*9()7F(21D)7*/4.)5/=,.,)7*@.('.0)1+%

G=//1,*)7.)9*<*4(*E*)7.)'1'*@.@@.4(,1E(/.+1=,D)7.).44/4.)5/=,.+*@.@:

@.4,.'8)7.))7*5.+*1E(/.+1=,H.'8)7*,)+*'-)7121=+<*4(*2,7.,)7*E.4=*,IJDK .'8LJ+*,/*0)(E*45%M1',(8*+.,*)12/+1/1,()(1'.4.)1@,N O PQ_RSQ_TSUUUSQ_VW 97*+*Q_X,).'8,21+Y(,.@.@@.4Z%&,*)[ O P\_RS\_TSUUUS\_VW.'8.,*)] O P^_RS^_TSUUUS^_VW.4,112/+1/1,()(1'.4.)1@,D97*+*\_X.'8^_X.+*('/4.0*12Y(,.' 1E(/.+1=,Z.'8Y(,./4.)5/=,Z+*,/*0)(E*45%_=+3AB9(44<*01',)()=)*8<5)7*214: 419('-/+1/1,()(1'.421+@=4.*9()7)7*(+01++*,/1'8('-/*'.4)(*,)1)7*+(-7)`

Q_Xa b\_X IJ

^_Xa Q_X K

^_Xa \_X LJ

C7(,3AB)7.)9*0.444!8374(,('01',(,)*')%^cG=//1,*)7.))7*('8(E(8=.4(,F(21 .'8F(21(,./4.)5/=,%d()7)7(,.,,=@/)(1'/4=,)7*3AB9*0.'('2*+2+1@)7*e+,))91 21+@=4.*)7.)F(21(,'1).'1E(/.+1=,D<=)2+1@)7*)7(+821+@=4.()214419,)7.)F(21(, .'1E(/.+1=,%C7*'DF(21(,.'8(,'1).'1E(/.+1=,%f'1+8*+)18*.49()7('01',(,)*'0(*, /*'.4)541-(091+;,9()7,0*'.+(1,D)7.)(,D01',(,)*'),=<,*),21+@*82+1@)7*3AB%

ghijklkmjnop4qr48012367810s4821q8"#$8146r4t 1068tuvqw14x411084821t8"#$y24 zt463104487410401236784108511r4711tx8

zO {

|}~

U I

y4248501244871211084!241DK

!8374104821

C.;*q^_X.'8.,,=@*)7*3AB4!8374D)7*214419('-,0*'.+(1,01=48<*21+@*8` TOQXa b\XD^Xa QX

OQXa b\XD^Xa \X OQ_Xa b\_X

>*+*9*7.E*@.8*.4())4*07.'-*(')7*3(';.,8*e'()(1'12.9*4421+@*821+@=4.922(' /*'.4)541-(0%f',)*.81201',(8*+.922.,.,*)12/.(+,-(E*'<5)7*='(1'12./+1/1,()(1'.4 21+@=4./4=,./1,()(E*+*.4'=@<*+D9*7.E*0.44*8)7.)922.;'194*8-*<.,*D.92212.

/*'.4)541-(0(,21+=,D*.07/.(+21+@*8<5.'8%

cd*9(449+()*('1+8*+)1('8(0.)*)7*21+@=4.*)7.)<*41'-)1)7(,3AB%

.'5@1+**,0*'.+(1,0.'<*21+@*82+1@D7*+*9*7.E*1'45('8(0.)*8.,*?.@/4*,%

(8)

012345463789

!"#$%%&'()*+,&(-.*),)&*/,0-%&1,&2,0-1%-*3')&14-*,)&*-(35&6-7)88 5-9:;<=>?@ABC:;<=D?@E3*(:;<=F?@AE#$%%&'()*+,&(-.*),)&*GC,0- 1%-*3')&&2HI7)885-=D#

012345463J8KLMNOP MQRSACAT 9UVUMOWUX

YZ@ [

\]^_`a\abc>

d<e?f g/h i0-2j*%,)&*k43l17-882&'4-(2&'4j83-,&,0-1-,SmCA#n0-'-gh@SA)1 )*,-'l'-,-(31)1j*13,)1.-(3*(gh@A31)113,)1.-(#i0-VUMo31

%&*1)(-'-()*pq_r:s)*,'&(j%-,0-638j-1tACBCSAu2&'(-1%')5)*+,0-()22-'-*,1,3,-1&2 ,0-*-,7&'v#i0-43ll)*+)*,'&(j%-(2'&4,0-%&**-%,)&*)1,-*6)'&*4-*,,&,0-8&+)%38

&*-C)1l3'%)383*(5)638-*,#n-,3v-&*8w,0-%31-1A3*(Sm2'&4,0--*-'+w2j*%,)&*

oC-x%8j()*+,0&1-,03,%&*1)(-'B#

!"#i0)12&'4j83,-881j1,03,)*&'(-',&%38%j83,-,0-VUU&23*

)*,-'l'-,3,)&*kC7-036-,&,3v-)*,&3%%&j*,,0&1-2&'4j83-,03,5-8&*+,&,0-yz{

5j,,03,,0-w3'-*&,13,)1.-(j*(-',03,)*,-'l'-,3,)&*C,03,)1Cj*(-'k#|jll&1-,03, k311)+*1,0-2&88&7)*+638j3,)&*2&',0-2&'4j83-&2,0-yz{9g}I~ Ih@AC gHI~ }Ih@gHI~ Ih@SA#)6-*,03,,0-831,,7&2&'4j83-3'-*&,13,)1.-(j*(-' kC7-10&j8(1j4jl,0-l-*38,)-1&2,0-1-2&'4j83-gEABh3%%&'()*+,&(-.*),)&*/#

i0-VUU2&'H_I7)885-AE#

01234546389OVUYO O

!"OO#n-3'-+&)*+,&)*,'&(j%-3*38&+&j14&(-81,&,0- 1%-*3')&1l'-1-*,-(35&6-#i&,0-')+0,&2-3%04&(-8),1-*-'+w)1%38%j83,-(3%%&'()*+

,&(-.*),)&*E#

*_>Cg}_I~ _Ih@gH_I~ }_Ih@ACgH_I~ _Ih@SA#Y_:;gkh@AB#

*_DCg}_I~ _Ih@gH_I~ _Ih@ACgH_I~ }_Ih@SA#Y_:;gkh@E#

*_FCg}_I~ _Ih@ACgH_I~ }_Ih@gH_I~ _Ih@SA#Y_:;gkh@AE#

$%%&'()*+,&,0-(-.*),)&*C,0-l'-2-''-(4&(-8&27)885-_DC5-%3j1-),1031 ,0-4)*)438-*-'+wY#i0)1'-1j8,43,%0-17),0,0-&5,3)*-(2&',0-1%-*3')&135&6-#

i0-43,%0)*+)1*&,5w%03*%-C-j)638-*%-15-,7--*l'-2-''-(4&(-81&2l-*38,w8&+)% 3*(4)*)438-*-'+w0315--*l'&6-*)*tGu#

J 3 5 4 636

4 35 613 5 64

i0-yz{&2,0-{31)%|w88358-i0-&'w7)885-2&'4-(5w388,0-%&*1,'3)*,1&2i#-'-C 7-7)88)*,'&(j%-&*8w,0-8&+)%'-l'-1-*,3,)&*&2,0-%&*1,'3)*,1#i0-,'3*183,)&*

)1531-(&*pq_r:sC1&C,0-1w44-,')%31l-%,&2,0)1*-,7&'v7)885-,'3*183,-()*,&

8&+)%315)%&*(),)&*381#)'1,C7-)*,'&(j%-,0-2&'4j83-j1-()*yz{3*(,0-*C,0- 1w45&8)3,)&*&2,0-%&*1,'3)*,1#

(9)

012 3456789

!"##"#$!%&''(

"!% !)#! '"&*+,$!%+-. !%/#! $&$!##% ,$!,!$#'$+!#0'12$*++3 !)"'" !$+$04⁵⁶

78⁹8^:1118^;<=3 8^>$!% !)'4?#! - $*3+ !"##! @1 7A⁹A^:111A^;<3 A^>$!% !)'4?#! - $&!!$! !"##! @1

78>B<=3'-C6.C6$!%78>B<$!%$!%'?#! -'0. $

&''"!% !)*3+#! @1

7A>B<=3'-C6.C6$!%7A>B<$!%$!%'?#! -'0. $

&''"!% !)&!!$!#! @1

78₉8_:1118_;<=3 8_B$!% !)'4?#! . $*3+#"##! @1 7AD₉AD_:111AD_;<=3 AD_B$!% !)'4?#! . $!!&!!$!E#(

"#F#! @1

7AA₉AA_:111AA_;<=3 AA_B$!% !)'4?#! . $&%$&!!$!E#(

"#F#! @1

7G₉G_:111G_;<3'G_>$!%'4?#! - $ $!@1

01H I59JK89LM4J4NOPQRS

!'%' %!,&!'$ !!"!$+,+) &!* '!0!33 ++#

"'T/U'&$++!)$&&!'$ !1V'/$0"+WXYZ[&!'$ !3 ++&$++% U\WXYZ[1]+3'0$+'"'!$!^_X&!'$ !1

`abcdef7.g.@4ADBh 8B@<78B@h iG9<

`ajklkmn7AABh iG9<

`aonpde78^>h 8>B<78Bh 8>B<78^>h iG9<78>Bh iG:<7A^>h A>B<7ADBh A>B<

7AABh A>B<7A^>h iGq<7A>Bh iGr<1

`astuu^v78^>h 8>B<78Bh 8>B<78>Bh iG9<78Bh iG:<1

`astuu^w 7A^>h A>B<7ADBh A>B<7AABh A>B<7A>Bh iGq<7ADBh iGr<

7AA_Bh iG_x<1

'0#+$'"'!UyZzZyyZ{|_{Z}Y$ $3! !~! !$

!3'!* '!0!,$*0 ! 0$+!'),1

%% !$++) &$+'"'!$!&!'$ !^_X3!%!%#&

'$'&,$0!)&!'$ !1 3&$!) 3 /"!!$+"!$+$(

)!%$&&!'$ !1V'/$0"+3&$!$%& 0$+" !,0!X

!E_;F3#+%#$+563''"'!!#0'* +$!$$'"(

+#!%'$ !)+&!'$ !⁵⁵8 !$%!#0'* +$!E'$'

!$+F$!% $!$#'$+!#0'$)'3$ '$'&,)%3! 11E_;F^: E_;F^qE_;F^;1

+$'!'$+$!)#$)$ %!,* +$!!#"#&$!% %$' $&$!+" 0+3 $+) &$+'$! !)# !)+) &$+'"'!$!

5600'$ !3$% !"##"#$!%&''"!% !)#! 00'"'(

!%*3+&%$'!&!!$!$!% $1

550 ) !T! 1

(10)

01234567243893472520062731264170301246346434 173413044914415473463401234567247565016626 7315443047127267201237342434101234567243^!

"2473657463#263362647$73456721%&#4747154624410657 464%&7321420336572412647$73'5142647$734651604345045 (724564#63417273470062764153634115233012747123 89624)2747121#3436473726756501$716#01234567243*+,-9. /732017246525372073#754#606260173747122$70*02/

"2473514014727241706553246471251136#1$636170 724647121462334'153674334#7$34644*56/7 15.89899464623464#7$34644#7636331076441.8989973452 12^:'51473$664712017251536;<<=464734573216274>

464736016012312624&45414346424464274736#76312741 4652541725464311115210163

? @ABCD EFG ABFHBIJEK ELMNALO

P6$5324645623647121QR_STU24157241V2640170&4562364712 63#2123726#7$624672'1554515012375715462441 34274416W$62467272155411374647123727006221463372

$6301237342415060647242520471214334^X

YCOBAZD MI[\MBK F

"656441]13^#541_5`&12472115733347123151337#6706W 47123144562364712553246241a6ab20`c52b2`1573#7#W 7156501264712312121170634d373"6244146241ef0415 #541gh`V^5`62i6251]6571a7$61547572$66#3154724027W 06#37233740&jk

!"2430471214)5344634652501567`464$27262600436#7)064712 1615456501234567243$7164a1016373131"3044 9144745732114474147346l&56272720#475650 77411550627643#571574&34101234567247372012373424314573 211337#7744646145)15214$7164

:&652531#7$464$6647126351041425620172464631631 401234567243724012204712734$4,.899313601220471201)07242647$

"243#1702$751224473$61401)0724477#42647$#7637

#13747$'154645631274733674644$66471215432420mn7#1641

XP654727272302657137opqrst usv

(11)

012 1314516

789888 !"# !"$"#

%&"'()**7+

)8,-./0812/-32/8. !"4"".5 ()**)+

68,7",89284-3-%-8 :11"()**;+

<84'"38"=-.-"=>'"/.5 4"?>81@-&-:8AA8)*65)<A8%"!()**;+

B84-18"'482/."&-3!35 89-'>,,18(7CC6#)**<+

;84-18"'482/."&-3!35 82-/-"-D" !"=>9">-'=0 D$.-- !"$.98"

1-/!B6A(7CC6#)**)+

A8/,-.=!"!"8%"-"8&/,-./ 4D4"-/34D"4-""%E"/,-"-$ .:87F"G876C57<)82/,&24"".,1(7CH;+

H8"'48382/-,F =. 52/-38:87.!1-/-82/,&24"".

,1()**;+

(12)