• Keine Ergebnisse gefunden

Trail-Directed Model Checking

N/A
N/A
Protected

Academic year: 2022

Aktie "Trail-Directed Model Checking"

Copied!
14
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

687:9<;=5>@?A;7CBEDGF2BIH J KLHMBI=ONQPMBEDGRS;TLU

VXW,Y.Z\[@]_^a`2Y0bdce[@fhgIikjlbmnY.o#Wprqsbdtvuxwzyqs[{Z5t2Y|]}W,Y~[@]v`VXW,Y.Z[{]_qIY0t2Y

€\ƒ‚„†…"„†‡ƒ„0ˆ‰‡xŠn€\ˆ‹ŠŒŽ)„†…

‘n’”“5• Š„†–˜—C‡š™›}…œ‚\–ž@š… Ÿ • Š\‚\…†„#‰)„

¡ •

‹Š¢œ

•

‚–¢£¤‰‹¥

’•

Š\–

‘n’"’•\•

¦I–§¨#©#©ª¬« Š

• …“

‡xŠ†œ)­

¡ •

ŠŒŽš®

•\¯ …’°²±³• ™ •’)Œµ´0­’¶ˆ‡ • .„ • ­’”• ‡ •·0¸ …"ˆ‹Š\ŒŽ)„†… ¹‡xš…"–ºˆŠ • … “ ‡xŠ†œ¹ ™ •

ž»µ—

°

›}›}›:¹… ˆ‹ŠŒŽ)„†…)¹”‡xš…"–¼ˆ\Š

• … “

‡xŠ¢œ,¹"™

•¾½µ¿˜±³•

™

•’

)ŒG´.­

’

¶ˆ‡

•

.„

• ­

’”•

‡

•·

À<Á@ÂÃÄŚÆ)Ã

ÇEÈxÉ{ʾÈxËX̶ÍÏΐÐÒÑÓËXÔÖÕ#׬ØِÑl׎ճڃØÙEÛ\܃ØÛÖÝ)ØÔßÞ.Ñ)ÐàØÚáÕ#âáܚØãƒÔ5ΔÐàäÖΐÛßÐàØÑÔ\Û5ÜåÐàäàÔ\ÑäàØæ#ΝØÐçè̾ä

ãƒäÖΐٔΝéØÐ:ܚØãƒÔ5ΔÐàäÖΐ۲ØÐàäÖΔ×3ÑäàØÐvΔâ<Õ)Ô5ڃØÔ2äàլښΝÔÖØÛäkäÖ܃ØEÐàØÑÔ5Û\Üaê Õ)Ôkë0âšÚ.ΔâƒæsÐÖÕ)ê ädìkÑÔÖØEÞ0ãƒæ#Ðzΐâ

ÛÕ#âšÛãšÔÖÔÖØâäzÐàíxÐàäàØ׎Ðç}înÐzÑsÛÕ#âšÐàØï³ãƒØâšÛØ)ðƒÇEÈxÉ{ʾÈxËX̶ÍáΔÐ:ÑÞ0ٝزäàÕsë0âšÚŽÐÖܚÕ)ÔÖäàØÔzäàÔ\Ñ)ΔٔÐ}äÖܚÑ)â

Þ.ِΔâšÚ<ڃØñšäÖÜxÊ¢ë.Ô\ÐàävÐàØÑÔ5Û5Üç

ò

Ü.Δеñ0Ññ|ØÔEÛÕ#âäàÔ5ΝÞ.ãšäàØÐnÑ)âSØóxäàØâšÐÖΝÕ#âSäàÕaäÖ܃Øôñ.ÑÔ5Ñ)Ú.Νæ#×Õ)êõ™…"Š •5ö „• ™÷ŒŽ‹™ •’:ö ¥ •5ö …"œ

äàÕLÐÖ܃Õ)Ô5äàØâÓÑ)ٝÔÖØÑ)ڃíMØÐÖäÖÑÞ.ٔΔÐÖܚØÚøãšâ.Ñ)ÛÛØñšäÖÑÞ.ٝØÒٝÕ#âƒæSØÔÖÔÖÕ)Ô¬äàÔ\Ñ)ΔٔÐç ò ܚΐÐsÑñšñ.ÔÖÕ#Ñ)Û5ÜÓܚÑ)Ð

Þ ØØâ¤Î”׬ñ.ٔØ׬Øâ,äàØڤΔâ¤ÇEÈxÉ{ʾÈxËX̶ÍsçCɚÕ)Ô3ÐàØٝØÛäàØÚÓÞ ØâšÛ\ܚ׎ÑÔÖÝøÑ)âšÚÓΔâšÚšã.ÐàäàÔ5ΔÑ)ÙzÛÕ#׎×sãƒÊ

âšÎÛÑäÖΝÕ#â<ñšÔÖÕ)äàÕxÛÕ#ٔÐvØóxñ|ØÔ\Δ׬ØâäÖÑ)Ù0ØùxΔڃØâ.ÛØΔÐkæ#Νù)ØâÒäÖܚÑ䄆Šà…’–à™…"Š •5ö „• ™ÒŒ¬‹™ •’– ö ¥ •Öö …"œ

Øú ØÛäÖΝù)ØٝíÒÐÖ܃Õ)Ô5äÖÛãƒäÖÐvØóƒÎ”ÐàäÖΔâƒæôìµÎ”äÖâƒØÐÖÐvñ.ÑäÖÜ.Ðç

û üšýõþ|ÿ@þ Gý

!"#$%"#$%&('*)+-,/.10(32421'*5 !667'*$#18'7) 9'7): ;<>=?

2'7@$31'*)!,BAC0EDF"5+G8HJIK6781'*)L*+: ;818NM> ;6$# OP$%"#$%&('*)+

65$# !#'Q8!R6"K98 '7#:6;6S;>TO!"%1'**# ;$#'76"8'7)

)U#;881'*VDUWXL$#)$#)Y818G)ZNI"6"*'*$'7 ;818L[$%"#$%&('*)+\1)]'7

667'*$#18'7)^8_O21*'*18'7)^`$#-5")'*$#18'7)a618$#7 #D

b>)c8"ed;Yc 6f#$5 H8$%)'*g(5 Ga%1$%&7'*)+he(5+X ;818i 6$#

8j:k+)#18X'*)l$)$#5")Ym nTK n8 op5'7 ;8'7$k 31$%X'7 O)kq8k)J=

6'7 '*)"+^6"6Y1$%# rs'*75:#$J8'*)9Dt4QTL6"#$5 ; NI"$#5"kJIK6*'7$#'Q

dS ;nMu@; ;qJIK6*81'*)k'*)6;8$#217'*j8'*)v,xwzyj0f)^ nT-dS*'*$df# n;MV@ nR #$%

'*)_8"[#$%$%&{L58|i,BAAj0ED4}T-df7'*$R+5"'* ;3;$%~'*)?€K$%$%&YM

'*)+m'* ?6"5 ;5#v'*)l,/‚109)adYT6 ;# '*)Y#) ;O ;T-df*'7$F$#65K%1'*) qdYT~ jM>$31**

'*)Y #D€! nqd"5"ƒ)ƒ*# ;#o( 5$$# ;5"„$##;$#'…1†F‡4‡fˆFˆ€G2#;'7@ƒ4;3xM

8'7q ;T ;# ƒ;#6;# ;#)Y8~ ‰'*#_5K81%r 47 Odf##)kJŠ„$8'Q27T-)'7$%#

dYTa'*;#$J8#v #$%v8$%)'*g(5 -,‹w#0ED

First publ. in: Electronic Notes in Theoretical Computer Science 55 (2001), 3, pp. 343-356

Konstanzer Online-Publikations-System (KOPS) URL: http://www.ub.uni-konstanz.de/kops/volltexte/2008/6516/

URN: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-65167

(2)

5"[z=)$)Y8;'*d5"'*)" R8Ž§¨<©8ª%«J¬>ª§^­^®#§ªJ¯p«%°ª%«%±j¨<²³~'*)Y8+81#5;'* n8'*$ ;8'xM

^j8# r)L #$%Ž1*+;'7 RH´„$%&-K"#!$%#$%&1#,BAKw0Eoµ8~'*)¶'7)KM

#6f#)"#)YrˆFbVM>6"…))"#:,/y10Voµ1)a8‡;…-K"#9$%$%&_,/·"o7w3¸10VD"H+7d

;818 61$#^'7 '*)Y86;8h H)X'76"*'*$'77T¶+'Q2#)e+816X ;6))¹dYTeL 5"$#$# nM

H+#)"#8j8:5)$'*)„op'*)e='*$%¹618 m$#;# ;6S)'*)"+G8;mdf#32'* -1

#$%9Dp"q7#)+O8='7)# ; !618'7 º$#5"$#'…1184# ;'*+)%»16"+

8ad5+a8"-#;)5 O6'*$#_ƒ ;<>=R1¼! ;;#8'7* r_# '7#Fa'*)Y86;

'*)a+)#VD

b>)\aK?$%$%&~}"‡b ½¾,‹wz‚10 1>TX66S;8'7# k;~$%$%&#U8;5+\

'767r"#6"KMu@; ; ;3;$%¶º8O nT ;8L¿B ;818F 6$o"="'**r*'Q2#)"# ?66f#n8'7#

g5"'*m>=?1MV*^)# n8#¶6"8Mu@; ; #$%„DqO;?8'*µ'7)~8F@ ;$# O'7

;'*6*O618vÀH n%nF n%1:~)v#;[ ;8181of="'**'7)vH ;#$)$#

=?k32^a #¹$T$*oº1'* a6j8i$#6S #idYTla6J@"Il81*# 8v

#v ;%j8o7*z=q#adYTv_$T$#71['* $* ;#v18"'* ;8181D

¦ 5"?JIK6f#;'*#)Y%f8SÁ}"ÂPM }"‡b ½iÃ6z2'*"# ˆFb"#5;'* ;'*$r 31$%¶ ;81#+'7#

*'7&^ˆÄ(ob ň:ÄL)hdf# n;MV@ n_H@)"'*)+Ž 1>TX#;; ¶,xw3¸10Vo41)\)h'*6;C2#

2 '7)Z1O)# n8]#6K8KMV@ n~ #$%Æ,B·10EoRd1 #Z)ZNI"6"*'*)+l8v)J2# M>$…'7

6 #)Y818'7)1„8"[;#g(5'7#86f81"6;6S;>T_H ;'*6*'Q<T:[$%#$%&('*)"+m6;1M

$# #D

b>)'* 466f#=qr$)$#)Y818r);881'*'76;z2##)Y#o()^166;#)Y?)"##

'*)68$J8'7$3µ 1<>=R;J2#76#)Y3D‰WeFNIK6S$R1:6S '7d7Tk7)+:='78)"# q

)#;º'7 !*;3"TF+'72#)9D`'* 98'7'*+Yºdf5):dYTO '7-5*18'7)9o## ;#o1)

=R1*&µoCº#6K8KMV@ npK"#$%"#$%&('*)+"D‰='7)# ; `'7 9#m1 `1)H1'7'*)'7)65"#o

65$#v'*)a8K"#º)"v#)v '7+)'7@$3)Y8QT^'76"z2LdYTa'7$8L ;3;$%9D

Á}"ÂPM }"‡b ½Ç'7# 8¶@)¹ s ;#8)i8'7'*)p87 :dYTi#67CT'7)+

#5"'* n8'7$ #$%v ;81#+'7# RR)")KM>NIK5 n8'72oµ+5'7#a n%1 6$JIK6*81'*)9D

WÈ'*7¶Á}"Â!Mn}"‡b ½É$3)ÊdfL5 ;#Ê-5*R2#;'7@$#18'7)h8;5+ÊJIK5" ;8'Q2L ;%j8

61$#_ #$%„o98'7 '* )"O'7 F6;'*;Tvd(Ë;#$'72k)=q_)8-1O18

$%#$%&1#; #o97'*&H}K6"'*)GF}"{vÌ-oS:*'7&7T~dfH;:'*)G ;6$mÍ$'*#)Yr

8'7 65;6S ;D

66f#'* n8;5$5 R7*z= #D‰Âp'*; ;=q:+'72O ;Od$%&(+5)G)¶

ˆFbO8$%)'7g5"¶=qa5 ;DXb>)\)"JI #$J8'7)¹=?a'7)Y85$~8~Á}"ÂPM }"‡b ½À

$%#$%&1#:)Ž'Q8 r5 8+-'*)v8#; F4'7 F$#)L*'*)"H6K8'*) #Db>)m7*z='*)"+

$8'7) =qH1 8Os$ [1`8'7QM>"'*$#a #$%„ofd L)¶8":'*)"+

'* n%)"$#l)È8"e‰}{ "'* ;8)$DÎWei"'* ;'*)+5'* ;ÏdSJ>=?#)Ð ;'*)+7JMu ;%j8G8'7

'*;#$J8#e #$%¹: 8j>Ti#;; -)e$T$#7JMu#$'*)e881'*QMu'*;#$J8#l ;3;$%¹

*'Q2#)"# q#;; #D4Ñ?a66"Y$%"# R32dS#)~'76"*##)Y#'*)~ÁF}"ÂPM }"‡b ½Ò)^'*)

8NI"6f#;'*#)Y%1 #$J8'7)=qF6"# ;#)Yƒ@ n?;# 5"78 DpWer$* ;='Q8 $#)"$#*5"KM

'*)+_;#&( D

ÓÔ!Õ%ÖNזؘÖNÙCؖÚpÛxÜEÝÞhßzà#à#á9âEã3ã%ä3ä3ä9å>æ;çCèzéêNë1ìàæí„å*î3çæJïJèêCðjæñîzê3òfåó3ðzãCôNõ#ìJèîCðJç3àzðzã8ßöNèzïzöáYænç

(3)

Å#6"KMu@ ;¶ ;3;$%Ò1)Èd#"8Mu@; ;v #$%Ҏ$#*-ÿ#¯‹¨<²f§È ;3;$%c n88j8#+'*# o

'7)$#8"T_5 ;r)":'7)";^1'*)mS$#)"$#J8[ ;818 6$#8JT_JIK671D ¦ )

8"#)„oS5'7 ;'*$ #$%Ž1*+;'7 q%&1m"'7'*)19 #$%'7)";^1'*)^'*)

ü1º)21*518'7)5")$'*)'*)Y8H$#$5)Y3D"'* q5")$'*)'* ƒ5 ^8H8)"&k

# ;'*d'*7'7>T`JIK6)"'*)+_)PD

ˆ:Ä^,‹ww0„5 r1)a21*518'7)5)"$8'7)481'* q8 ;5 1º8O+)#18'7)+

617#)+18 p)k8 ;8'7^j8#$# ;ƒf8$%#6S ;?618`8Or+YVD

Ár)$#?)# 8# n8'7^1#¶$# ;r`:$%36f# nF ;*5K8'*)~8;5+!Dƒbu

P'7 ‰F7C=q#pdS5")-8)_ˆ:Ä['7 p6"'*VoC'ED1Dp'7`@) p 75"8'7)-61 ‰µ6"8'7^

*)+8„D

pd"*_w#6"'*$ 8'*67##)Y%1'*)`ˆ:Ä(o"="# ƒ'7 R87#)+¶`

8z2#; #^618k8a1)‰'7 ‰8[# n8'*1'* n%)$[;8HOs1'**5" ;8181D

ªJ² !"$#%&'%((¼ )‰¯*®+*zª§, -(

.0/2134

ªJ²65

798

: ;-ªJ¯*ªJ¬>ªJ­_¨<² ªJ²N¼=<J²>*zªJ©N¬??)‰¯*®+*zª§o@

1A

CB?D¨<¯CEK©8ªF'

4-G1HJI

®FD¯KP®&EK²f§

AML=NO,33QP1RTS

VUW

P

X YÈwY2

P

QZ[2

1A

]\9ª^D©8«%°_ ªJ²2#

P

^

1A VU

P

a`6

P

^

;-ª%«J©8ª^D&*zªcb_ªed

ªJ²2#

P

#cVUf

P

^

4g3hF4i1A

]\9ª^D©8«%°_?)‰¯*®+*zª§#

P

^

1A U P

a`6

P

^

;-ªJ¯*ªJ¬>ª-?)‰¯*®+*zª§#

P

J¼ <J²>*zªJ©N¬? ªJ²2#

P

#%=Uj

P

^

4g3hF4

<N²>*zªJ©J¬? ªJ²#

P

#% UP

^

ò ÑÞ.ٝØk

ò ܃ØîmlsîGٔæ)Õ)Ô5ΝäÖܚ×Òç

[*+'7 '72'*"# ‰8"r n%1[ ;6$['7)_8;#[ Fnp J ªJ²^„2'* ;'7#

d5"O)"OJIK61)#i ;818 #o9_ J)‰¯*®+*zª§Ž1ƒ2'7 '7#Ž1)lJIK6)"#i ;%j8# o!)

8ƒ J‰)p*;3"TF2K'7 'Q8#H ;818 #D4}K'7'7…f8FÅ'/Ë;&( ;8"¿B ` ;'*)+*4 5"$#q ;8 ;

61-JIK6781'*)~,poz0Vo ;%1;8'7)+r='Q8mR'7)'7'… n%1oˆÄJI8$J8 ;818 p

ªJ²~ J3oz2[#Î0)‰¯*®+*zª§k ;?)'*) ;#;ƒ8"#'* ;5$#$# ; ; R'*)_8" ªJ²

J5)Y8'*‰¶+Yp n%1k'* F5")9D-b>)l`d*aw__'7ŠS#;#)$# :dSJ>=?#)XÅ'/Ë;&( ;8"¿B

*+'Q8Æ1)_ˆ:Är;R5)"#7'*)9Dpb>)_#$%kJIK6)" '*) n86kR n%1?='7_dS ;q

21*5q'* ` #7#$J8#-OdSqJIK6)"#)JI#D½r# `81p327#"T:dS#)_NI"6)

'7+Y‰df#)$5)Y8^)O ;84618„D?)Y8;Tm8:Å'/Ë;&( ;8"¿B 7+;'78"Lojˆ:Ä

31* p='Q8-8"R6d* dYT-;JM>'7) ;'*)+F$# 6f)'7)+O)# ‰; 8 ;4

(4)

*;3KT~JIK61)#L)# '*)Yk ªJ² J3D4'7 [ ;$%#:'* $31**Ž©8ªer® ªJ²¨<²³D

s ø ûmt0u(ûmv ü-w

Á}"Â!Mn}"‡b ½ü+ :#$%"#$%&}K6'7)yxh)l85'7 ;8'7$ ;3;$%X81NM

=?&ÊÁ}"Â{z!D4bu~'7 d '7$377Th1)]JI8) '7)]OÁ}"Â ;3;$%'*)"+¹ ;818L 6$#

+#)"#8j8#vdYT¶‡#*_#7 #D

€!'7&'7)}K6'*)„o>=?: ;#6 4-5" ;4df6S;;_6'7p82'7@$31'*)_6;K$# ; #D

~@; ;k ;#6Ê+#)"#8j8# -a 5$v$K"a8~2#'Q@#-_+'72#)ʇ#*

6f#$'7@$#18'7)9D:b>)lk $#)i ;#69oº_ 5"$#k$K_'7 $#6'7*Ž)l*'7)&Ž

$#)" ;8;5$'*)+v8k2'Q@#Dv"2'Q@#:8)¹$%#$%&( -#ED~ˆF)+v8"#

6J8 R8"O5 [$#)¶ 6f#$'7<T~O#;R>T6fo8"O 31$%1*+;'7Lo)"¶

#5"'* n8'7$v ;'*18L $#^1)U7'*)¶6K8'*) #DÏbu'* * ;e6f ; '*d"*a8e6S;;

'*)Y88$J8'Q2a '7-5*18'7) m ;'*'**:¹}6'*)9DeWÈ#)Ê2#;'7@$#18'7)\'* _)oƒ ;818'7 ;8'7$

5Q8 [O"'* 6"…3TG)"G_ *5"'*)~8'79'*)v}K6"'*)9¿B 1'7 +#)81#9D

Á}"ÂPM }"‡b ½Ð'* d1 #v)L}K6'7)¶)¶'7 6f#$'7@$#18'7)a…)"+5+‡4;#…KDÁrz=RM

2##o(ÁF}"ÂPM }"‡b ½Z'* ‰)"Rwz¸¸-| ‡;…[$#61'*d7DP‡#*F 6f#$'7@$#18'7) p='Q8

"T)'*$-:)")KM>"8'*)'7 ;'*$m6"$## ; H$#18'7)i_)1:TH$$##6K8#e'*)iÁ}KÂPM

}"‡b ½HD?Á}"ÂPM }"‡b ½ $31)Ï$%#$%&Ï1*8G66f#n8'7# 1v}6'*)]$#)]21*'71v='Q8

8FJIK$#6"8'7)a!))M>6;+ $JTK$* #DƒÁ}"Â!Mn}"‡b ½Ò ;566f; R g5"#)Y8'*9d'Q;M> n%1

;'*)+"od5"[)6;'…S#"5$'*)9D

}~W€  K4¨<©‚*J¬„ƒQ…D­ ¯*ª

Á}"ÂPM }"‡b ½ü'* n8'7d5"'*)l'*)"$#*5"# :¶ Hq8# nm#7 #DÂOJI"6*1oP

@*m†!‡ˆ-†Š‰‹gŒŽ‘’$‰g‹g“-‹‘,‡$”,“QŽ>”–•'*6*)Y8 ƒ-‡#*:#µP:3"*$%&

75"8'7)G¶Å'/Ë;&( ;8"¿B O'*)"'*)+~6"'*7 6"#; 6d*LD:kJIK#$5"%1d*:Œ+‘Š‡ŠŒŽ'7

v2#'Q@#mR8"^KVo` '*'**Fl}K6'7)9¿ HJIK#$5"%1d*^@*—,ˆ™˜SDÅ#7K$%&( -1

$%#$%&1#idYTG;5))'7)+^8"m2'7@#F='Q8Ž;+5#)Yš–›g†v# ;57'*)+'*)Gm7*z='*)"+

5"65"3D

œg+žŸ–+ >¡?¢6£¤"¥

¦

-§c¨-©!ª&«¬ –­$®F¨!«$ª™¯°-«&­g§+±§«&­³²g¯´+«™µ¶®¸·¶œ«¸¹-­!§–´Fºg§–»&«–¯­!»?¼½º–­$¯&º$«™¾g§+«g´¤

¿&¼>§$´iº$®–®$ª[§–´²g¯´+«™µT®+·6¸©>§?·½À2¤"ÁQ¤M Ã"²-ĶŤÇÆ_¤œ-®$ªÈ¸¨>¯¸·–·,Éi¯+·-µ

®+·[œŠ´F±™Ê!§¸¾¼$º¶Ë2¤"¥ÌÃM²$Ľ2¤{Í$µ–«$ª¸Î¯F¨$©=É

°-«­!§+±&Ä!§e·¾i¨!®™µ–«$ª´+Ï&µ–«–¯™µ$ª™®-»FÎX¤W©–¼>§&ª™®´+®¸©™¼«&­g´¤©$­¸¨Ð¤–¤™¤

Ñ ¼«»FÎ!§?·-¾Ò±$®­¶µ$«™¯™µ-ª&®»?Ί´JÓ!§¸º¼¶Ô«+©$º&¼gŸž!§F­>´?º¶™«™¯&­g»?¼„¤™¤–¤

§?·-Õ$¯$ª$§+µÖ«¸·µ!´?º-¯º-«×Ãǯ&º¶µ$«¸©-º¼9£FÀ™Ø$ËgÉ

 –­g§?·-ºg§?·-¾Öº$¯&ºg§$´Fºg§–»–´¤–¤™¤

º-¯º-«–ŸÕ-«-»¸º$®&­6£F˙¥²$Ėº-«´Ùµ–«+©$º&¼¶­$«–¯»e¼g«&µ6£FÀ™Ø$Ë_Ù«&­–­$®&­!´Ú:£

£FÀ&ÁŠ£Ò´Fº$¯&º$«g´Ù´Fº$®&­-«&µ

Á–À>£Ò´Fº$¯&º$«g´ÙÛ¨>¯º!»?¼«™µ

£FܙÜ$ˬº–­$¯+·Š´™§¸ºg§®¸·,´ÝÃ]º–­$¯+·Š´™§¸ºg§®¸·,´©«&­–±$®&­¸¨>«&µ>É

Þ ßzà#à#á9âEã3ã%çjðàjõjæ;ñ9å…ñCð3õ3õ#ï3õJìJñö"åMßNé8ëãNçjðNàjõCæñjãzö8áæçjãNä#ßCìà1æ#ö8áæ;ç„å…ß#àNëYõ

àßzà#à#á9âEã3ã%ä3ä3ä9å>æ;çCèzéJê%ëìJàæ;í„å*î#çYæNïèJêCð1ænñ3î3ê3òSå<ózð#ãjô%ð#ó3ð3õJí3ì8ëjájã%á1öNè

(5)

£FÀ&ÁŠ£Ò´Fº$¯&º$«g´Ù—«™â+©g¯+·-µ$«&µ

ã¯+·-¾$«Ö®&±¬¼g«+¹$­!§–´Fº!§™»Ó-¯g´Ú¶ä¥¤™¤M¥™å

æ$­g§¸º!§e·¾¿–­-¯-§&ª

æ$­$®&º-«¨>®™µ–«$ª-´Ï&µ–«–¯&µ-ª™®-»FΤ©–¼>§&ª&®g´+®¸©™¼«&­!´¤W©-­F¨q¤º™­$¯-§&ª

Ê-«+·-¾™º¼½®™±Öº–­$¯§ª¶§$´[£?À–Ø$Ë

R2'7@#5") #6K8KMV@ n4 31$%9o( '7)$#'Q‰'7 p8"s5Q #$%7+;'78"LD

bu?@)" m#*$%&1R"#6"iwo–‚$çAKDÂ*7z='*)+ 5"$%LH*)+:8'*f'* 48'*5" #D

ˆ:Ä*+'Q8ès6K8'*)š$éé!ƒ1)~ '767#5"'* n8'7$[ ;'*18R4#7K$%&_J8$JM

8'7)s6K8'*)êš$ë>ˆ‰@) ƒ3"*$%&-146K8'*K#6"^‚1.o(JIK6)"'*)+:) ;'7)+

* ;818 wo_)Jç-oKo;# ;6S$8'Q27T>Jof)¶6f#n'*)+_7# ; 8)" '7'*)" "o‚$JD

}~íì

)q®j­ ¨<¯*ªîD²f§êïyEK²,r¸ð!¨<­^ª ¬E¨V®j²>*

_ÁF}"ÂPMn}K‡4b ½ 2#;'7@$#$#6" O)QTG#"5$#i ;5d ;:q}K6'7)9¿B $#6'7*JMV8'7

6"'*) oSFJI"6*š–ñò›!ó-ô>õ–ö>÷ø)¬š–ñ>ùóóDº_)QTG ;6S$#'Q@$_$#6'7*JMV8'7

6"'*):'* š$ññ›gú–û,ùoj8;#6f;`#d"5+O'*)"18'7)=#)_;5))'7)+Dptƒ1$%-$#)

*'7)m1+5#)YO1?ÁF}"ÂPM }"‡b ½Î F-üš–ýiþ!o„=—ý '* [8_6"8'7)G8adf

J)ÖþZ'7 m8"~21*5^-8a6K8'*)9DXÂHJI"6*1oƒ+5")(š-醹 ; k

6"'*)Ò*zª^D©8«%°¬D¯B³®j©N¨<¬<°­ 8a8"k2175v§ª ¬<°grÿ4©c*J¬*zª^D©8«%°D_ÑqT+'72'*)"+¶)l6"8'7)

)^2175of8_7'* ;rƒ321'**d7:2175# [F816K8'*)'* r6'7)(#9D:ÂrJI"6*1o

JIK#$5"8'7)+JŒ+‘Š‡>Œ š$é~6'7)Y8 7º321'*…1d*r 31$%1*+;'7 D

t‰IK$#5"'*)+8:Á}KÂPMn}"‡b ½Æ2'7@#='75"r;+5#)Y8 5"65" F7º321'**d*

5)Mu8'7F6"8'7) oDB+Dyš$é

of=þŽ'* 31$%Ž7+;'78" ˆ:Ä(ob ň:Ä(ofÅOÂ}fo

½FÅOÂ}foPJ8$1DN¼š–›

o‰=#;þU'7 :~H8GdS~$%"#$%& sÅ3"*$%&fopˆF ;#n8'*)9o

€K€oµ$DJ¼91)³š–ë

oµ=þl'7 [H"#5;'* ;'*$5)$J8'*)ÖEÂ;-5*jM>d1 #„oSÁr_M

'7)+-'7 ;8)$#1oµÂ}{ '* n%)"$#oJ8$1DND

üôÿ?ùÇùzýnþÈ ßÿý4nú

}K'*)"$#O21'75 JIK67'*$'7)KMV8NMT¶#9$%"#$%& O7'*&:}6'*)v #$%G 56f#;'*_M

6S #+*d n%1F 6$#['*)#6K8KMV@ nR))#oY8JT#6fnƒr@ ;q#;1

[dS#))$#5)Y8#;#l2#)Ž'Q‰'7r6"6S# F1'*+L ;3;$%Ž#6"9D

¦

)"H)j85

6"'*)v8~'76;z2mm8'*!'7 r8^'*6S ;-^ ;7*z=?F6"8l)L8-"#6"KMu@; ;

#$%v#)+'*)1DqÁ[z=?J2#of#;:O>=q ;2H83=d$%&( [8_8'7 66;Y$%9D

@; ;H)'* 8jHdf5)" m'*+Y:'*)"$## k8" ;3;$%hŠS; HdYTi^1+)'QM

85"# #o ;'*)$~L@KI"¹8z2#; 8R'*)"+G'*)edS5)h#6"KMu@ ;-JIK6*81'*)e'*)

…;+ #$%Ž6"8" O'7+Yr'* ; [m* ;'*)+#;[ ;818 Frs'*;7Ta7)+k8'71D

#;;o2#)a'7S8@; ;q#;ƒ'* 5)s ;#oK'76"z2)( ?1[6S ; '7d7T_"'7Í_M

$#5Qq-d"8'*)„D{L;#z2#o"m@)^ n8?8'*7 ƒdYT^1)5„1jË;5 ;'*)+HdS5) R'7

8'7$) 5"'7)+o(DB+DQo;T'*)+8:'*6;C2[)^6K8'*"='Q8) ƒ='**Ks'*1)^;# 5"7

'*)¶_5*S ;818JIK678j8'*)9D

~ $#)"Ê"83=d$%&µo='*$%¹=q~$#*



²„®j­êD¯CdG¨<²Ö;-ª ¬<°gr®&EK²f§ª§J\9ª^D©8«%°

s$J D4Âp'*+5"-wƒ'* 2#)L;$#;5$#'*„-8'7 66;Y$%9D4bu$31)vdfOd ;#n2#v=#)

(6)

8¶df7'*'7#GG¶^CI"'7-5vo9 5"$%¹ '7$#)Xdfk)k'7)X}K‡4b ½:oP)i'*)l='*$%

2'* 'Q8Ï ;%j8# ¶1&1#6"v'*)ȹ KMV%d"*G\z2'*È1)ÏJIK6S)#)Y8'*'7)$#;3 ;Ž'*)

8)(5-df#-NIK6)\)K"# m"5^8L8^~JIK6)" '*)¹8"~5)QTK'7)+

+8169Dp"'* ‰'767'*$'7!6;5)'*)"+O# ;57‰'*)mRs$#o8156"*'*$#18q#;; '*)- ;^7*

#6K8 ='*7S)")#$# ; 8;'*7T~dSOJ8$8G1)(T1o '7)$#Ta'*+(?dSd7K$%&1#

dYT-)# `817#"T: ;9D‰'7 4)7T+ ‰g5"#)Y8QT-'*)m68$J8'7$#

=#)lj8'*$8) 'Q8'7) 1m5" #„o9='*$%Ž$;# 6f)a6S18#)Y'…77Ta7)+~))KM

d81)$%'*)"+e6j8 '*)\8v #$%ZD]b>)U8=q; #o6"8M>df5)] #$%

='7)"K$#$%'7)+H'7 )4$6"*R#;4J8$8'7)k'*)k *7C=q#"#6" ƒ)

8+'Q2)vdf5)"pD

ùxΔÐÖΔäàØÚ

ڃØñšäÖÜxÊ˜Þ Õ#ãšâ.Ú

ØÔÖÔ5Õ)Ô

ØÔ5ÔÖÕ)Ô

ÉCΝæƒçVkçzîGâƒÕ#×3Ñ)ٝí<ΐâGØñ.äÖÜxÊkÕ#ãšâšÚƒØÚßÈxØÑÔ5Û5Üç

WX32d ;2#X'* df#32'*'7)e ;k?5:* #DÂOJI"67oP'*)

#!‰8*6)YTv ;T ;# 1<8r ;8d*'7 '7)+='Q8) F1‰*)+ o çKoµ

#$%l='7ea)J=Îdf5)Òo

s'7* [8a@)i)_ƒ8";#'*)"'*)+~;O ;818 #D

Â8: 8H‡4;#…kKVorJ8$8'7)178)j8# ='7G'QŠ„)(r #$%

#6K8 HdS5")n-56e8Gdf5)"Tç-o¶)GH'7 :5")9o`; df5)ÒçyvXwz‚·v)

#;q'* ?5")9o";ÇdS5")lw3.Y¸Haw

.-)_;R'* ƒ5)„o" w

)Y=R; )

#;'7 +Y'7)~5)9oµ1)L ;k)9D

ˆÎ '767mKa$#;$8'7 O)^QT¶'* F¶#)";$#a©8ªz¨í*J¨<¬s¨<²³Lƒ

;818 #DO{vH6$#'* ;#QTo9 ;818H'* F;2'* ;'7#¶#NIK6*;#==#)Ž'QF'7 r;3$%"#Ž)

H ;;#ƒ619D#;;oK3$%~ n%1F'7 ƒ n8;#~'7)r KMV%d"*8+J8q='Q8

'7 : ;^1** ;O"#6"X21*51Db>)is$#oP'* d" #n2118'7)i=? m*;3"T^"k

}K6'7)#$%$%&#o'7)k="'*$%[)QT-'* ‰@KI"^='7 š–ñgö›gégó$ë"'*$'721D

Árz=q2#o4 '7)$#^#)Y8'7~ ;5d"8;#a n85"$85"# -mJ2'* 'Q8¹ ;818 _^JMuJIK679o

8'7 J8¶$35" # r_6S '7d7T^JIK6f)#)Y'…º'7)$#;3 ;:'7)a8'*$6"*JIK'Q>TD

#;;oC=?q'*c1P'QŠ„#)YP ;6S$P8'*1'*6z2)Y3¼j)#7Tr5'7 nM

8'7$[ ;3;$%9D4'73:'* 48H8&[8[s'*75 n%1Fƒ F1º'7 qJ@)'7)+H#185;#

8: JR56^H5'7 ;8'7$r ;'*1881?+5'* ƒ[ 31$%~6;K$# ; R'*)Y88"r'7$8'7)

º81R61;8'7$#5*ƒ ;%j8D4b>)a$)Y881 ;R-#5"'* n8'7$ #$%¶ ;81#+'7# q# ;$#'7dS¶'*)

!Ý!EÚ"!$#1Ö%!&!EÝ'!#CÚ)( Ý+*,!EÜuÖNÜ-.%!#CÚº×/!VÚnÜuÖ%!V×ÕÚ1032zÚnÚ541Ú5*C×6*87pÕ%ÖJÜEטÖ9*,!ÝNÛYÔ;:=<?>A@!Ô;:B×DCE( ÝJÞ4CؖÚ1!VÚ.,Cs×D*8( Ú

×6![×D*#ÕÝFÚ5CG!$#CÚH2zÚ4I!$#J0LKjÜCA!MCEÚ;ÖJÜ(#N4CÜVÝO(nÚ5CCPC!VÖNÜ$!E×D*I7Qº×6!$# !#CÚRCEÞRÖJØؖÚ5C![Ö8Õ%ÖNזؖÖJÙCؖÚFÙÝS8*82aÖ9*82

×D*8( ÜVÚ;Ö+Cs×D*I7G!$#C×TCºÙÝSI*U2M!#CÚVCEÞRÖJØؖÚ5C!W41Ý,C$CEזÙCØÚÖJÞ?Ý+SI*,!5X

(7)

8j4'74'* # '7#‰@)~O 6f#$'7@$ƒ ;'7518'7)_'*)" ;8#kf@)'7)+m1)(T--dS

$#$"'*)+8Fr+)#K;`"# $'76"8'7)9D!WXq'* n8'*)"+5'* ;:>=q5'7 ;'*$# `)H>=?

#$%\7+;'78" Dv"^@ n_5'7 ;8'7$^'7 H '7+)#¹G$#5 HJI"$7Ti8^ ;%j8

8j‰=R1 45)k'*)-+5'*)$#q881'*Voj='*7?8"[ ;#$)#5;'* n8'*$;#*jIK# ‰8"'* ‰;JM

g(5'*;##)Y8O'76f;8)Y ;6S$ ƒ`8+'Q2)s'7*5;q>T6fD‰>=qm1*+;'7

'72'7m'7)G8'*xM>'7#$J8L ;3;$%ir 81J>T6;6f#;>Tv2'**18'7)1)G8'*xM>'7$8

#$%¶*'Q2#)"# 6;6f#;>T^2K'7…j8'*)9D

YV~W€ Z

D­_­_¨<²³;¨í*J¬"D²„«%ª

Z

ªeE©N¨í*J¬E¨V«

€º\[Ïdf-~ ;818m8m 31$%Ž 6$#_+'Q2)Ž'*)Ž^ ;5'78d7Hd'7)nTG)$#'*)"+o„'ED1D

O~d'Q2$R[

7

"

Ã

#O]O],]F#%O^FJDHµ5";8"#)„oº*\[U9dS-_#; n%1-=?k1

#$%'7)+k#D ¦ )$Y ;H ;'*18FR8)(5-df#P8) 'Q8'7) )$## ; 8nT¶8

+F_[Ï`[QU!'* [8_)(5-df#O14d'7nM'76 F)$# 81;TŽ8881) ;;a[Ï'*)Y8b[U*D

# n8'*1O'* $31**~8 Z D­_­_¨<²³~§¨í*J¬"D²„«%ªdcfehg$[Q#9[QUJo"8'*)LdYT

cfehgy[Q#%[

U 7 ^ ijk

Ãml j

Z[

Uj l

¦

d(2'75 QTo

l j Z FU

j

l=n

j¸>#3w–(¶k1*o

n

(w–#O]O]O]?#9pV((D\½r18a8j_8¶# n8'7^1

cqe;g$[Q#9[QUp'* )"ƒO*z=?4dS5")9o( '7)$#)R8)" '7'*)_'*+(‰$%)+R)

)_d'Q'7)8_ n%1"# $'76"8'7)l1~8'71DH{Lz2#oPkÁF1'*)+'* n%)"$#

$3)¶df@)#Ld(T^%&('*)"+kd'*);T^#)$KL2175# P8": n%1O21'…1d* )

8'*:'Q@#; H'7)(Ž$$#5)Y#DŽ½rJ2#n8* #oaÁF1'*)+¶'7 ;8)$#^237 -

21*51d*'*)"+_p ;%j8# [$$#;'*)"+k_8'*+Y19'* n%)"$## D

YV~íì KX\sr ;¨í*J¬"D²„«%ª Z ªeEK©N¨í*J¬s¨V«

ˆF)18q'7 ;8)$#[8;'*$$#)Y8#; ;5)8r*$3 n%1# ƒ98"[@)"'78[ ;818r^CM

$%'*)"# #o(='7$%8+#4='78"r$m5)'*$#18'7)_g(5#5"# )"21'*d7# 4+#)"#8j8

8 nTK n8L¿B r+*d1„ ;818 ;6$#1D

€!J—utwv

Ã

#O]O]O]?#twv9xdfHH2#$F14*!‰}{ *$3j8'*) '*)L ;818y[RoS'ED1D'twv j o

o n

(w$#O]O],]?#%zM((oY)# 48$;# 6f)"'*)+:6+8 $#5)Y8#D[Â}{É'* n%)"$#

J8;'*${c|w}8~[Q#%[UCa$#$'7)+h8\8l+ ;818[QU='7ÒÂ}"{ n%1l2#$J8

€twv UÃ

#O],]O]F#t&v Ux

'* $31*$#5"…1#v'*)v3$%ŽÂ‰}{ ;#6187TDRWÈ#)G ;5'7)+'*)6S)KM

#)"$#:`JIK#$5"8'7)v'*)¶3$%¶@)'Q8 ;818$%'7)=?$#)G1663IK'*1

c|w}U~[Q#9[

U 7 ^ ijk

Ã'

j

€twv

j

#$twv Uj

H"'* ;8)$#

 j

€twv

j

#$twv%U

j

:$37$#5*18v ['7)'*f+816v#'*$#

'* n%)"$#R‚twv

j

8ƒtwvcU

j

o„o

n

(w–#O]O]O]e#%zM((D‰ 21*5 4$65"8kdSJ)

P3$%_61'*!µ*$31Y ;%j8# `='78H8?*xM>6'7 º ;;# n;M>618_1*+;'7еÂ`*zTKM

W¹1 *Eoƒ ;i1k8"v;'*J21r3$%Ê21*5

 j utwv

j

#twv Uj

m'7 l$#) ;8)Y'*

(8)

ÎF$5;#)Yg(55O*Y1^)"^ü2175# q98"F*$31S1)~+7d21;'…d7# D

WXJIK6f#$Jm81H^ ;3;$%X='*7dSk8"#)¹'7$8X'7)(Gg5"'721*)YH;H n%1#

8jR$#5*~6f#)Y8'**QT_dSF*$31#a1? *7#ƒ #$%~#F#6" îs ;#Âp'7+5;F‚-ND

YV~j} \D'B3ªJ¬dƒq©N©8®j©c*

`'*xM>'7$8G ;3;$%lF 8j>T; o! F2'* ;5*'†…#'*)ŽÂ`'*+5;_AKoS%&1# 8'7

:)e'Q8'*)p'7)65"#xM>$%$%&m)"e ;3;$%# :'*6z2)Y8

`'78 7#)+189o 6f#$'…77T$)$'* :)"v8) ;6;#)Y[d5+1MV@)'7)+k6$# #D

‡ ‡

‡&ˆ

‡ ˆ

ÉCΝæƒçŠ‰³ç2ÈxÑê Øädí‹XÔÖÔÖÕ)Ô ò Ô5Ñ)ΔÙΐÐGÈx܃Õ)ÔÖäàØâšØÚaÞí ò Ô5Ñ)ΔÙÊõΝÔÖØÛäàØÚ÷ÈxØÑÔ5Û5Üç

b>)G5$# :=?:JI8$r8:#; n%1y[QUf8kK$5 [: 31$%dYTa8"mdfz2

#5"'* n8'7$# bcqe;g[Q#9[QU)Œc|w}U~[Q#9[QUCJD # ;Ž# n8'*1# a;'*)Y#+18Ï'*)

85'7 ;8'7$ ;3;$%h7+'Q8 ˆ:Ä(D`#$#*1H'* :$#6*J81op)"e813o`'7?

# n8'*1'* k*z=q#df5)9o61L'7 6"8'7^1VD

Ž UU

Ž U

Ž U Ž UU

Ž U

Ž U Ž UU

Ž U

Ž U

ÉCΝæƒçV³çȳØÑÔ5Û\Ü ò Ô5ØØÐÒÕ)ꑐõÔ5ښΔâšÑÔ5í ȳØÑÔ5Û5ÜðõÉ.ãšÙ”ÙʾȳäÖÑäàØ ò Ô5Ñ)ΔÙÊõΝÔ5ØÛäàØÚrȳØÑÔ5Û5ÜðõÑ)â.Ú

ËCÑÔÖäÖΔÑ)ٝʾȳäÖÑäàØ

ò

Ô5Ñ)ΔÙÊõΝÔÖØÛäàØÚSȳØÑÔ5Û5Üç

Âp'*+5"~‚L#6'7$ m8^ 31$%h8;#~'7)$#75 'Q2^~# n%d"*'* ;#e881'*q$#$'7)+

8Ž;'*);Te #$%9oqˆ:Ķ='Q8h8¶Ár'7)+G'7 ;8)$#a"#5;'* ;'*$bcqehg?oƒ)\ˆ:Ä

='7Â}"{ '7 ;%1)$#r#5;'* n8'*$mc|w}U~D4}K'7)$#mcqe;ge5" # q8[#)Y8'7r#;ƒ ;%j8

# ;$#;'*6"'*)9o=q:$3798'7 31$%B%E¯<¯Cr"*J¬MD¬>ªH¬E©'D¨<¯Crn§¨<©8ª%«J¬>ª§ê*zª^D©%«%°o="'**O'7)¶$3 ;m

c|w}U~Ï)QT6;PK8ƒ#;P ;818ƒ $#;'*6"'*):'* !5 ;#9o1 5$%H81P8"'* P66;Y$%

'* ;#;v1

D©N¬s¨D¯Cr"*J¬MD¬>ª:¬s©^D¨<¯Crn§¨<©8ª%«J¬>ª§*zª^D©8«%°D

(9)

YV~DY ’ ¨3ªJ²„ªc*c*”“q©8® ªJ©J¬s¨Vªc*

[-df#R81[k8'7S^-2'**18¶*'72#) 6;6S;>T¶$) '7 ; [1‰k61v='Q8

)_'*)"'78'*Y6;@"Im8 # ;8181)k$T$#7 ;8;'*)+F; 81‰ ;%j8Dp#;;o

=?r$3)'*6z2[r='Q8) q8'7dYT8'7QM>"'*$#kˆ:Ä3Mu*'7& #$%~'7)^df86n8

s$J D4Âp'*+5"O.ND

seed seed

#

ÉCΝæƒç„•ƒç–{Νù)ØâƒØÐÖЋXÔÖÔÖÕ)Ô ò Ô5Ñ)ΐÙeÈx܃Õ)ÔÖäàØâƒØÚÒΐâ ò ìzÕ Ë:ܚÑ)ÐàØÐç

b>)_r@; ;'76;z2##)Y`6 ;?=qR #$%_P ;8$5"8 18?618H8rR ;##

;8181Dpb>)H)m'7)#6f#)"#)Y‰ ;#$)-6 4=?q6S;; [$JT$#*NM>J8$8'7)m ;3;$%9o'ED1D

H ;3;$%a+5'*"#~dYTk8r #a ;818rÎ='7$%~'7q q ;8;#9Db>)~df~$3 ;# ?

66S ;#l# n8'7^1m81=q6"6f _'7 F8"Ár'7)+^'7 ;8)$#_"#5;'* ;'*$cqehg?o

'7)$#F=q; #$%'7)+_qOJI"$J #¶ ;8181o)a)1R)ag(5'7217#)Y)1D

— ˜™šmùXÿµ5Çù:ýnþú

b>)¶5RNI"6f#;'*#)Y%19 ;5"Ta ;#*$#vJI"6* R?8'*S'*6z2##)Y8 ;O5 9D

WX¶1667Te8¶1dSz2v7+;'78" 8Ž8'*7 -d"8'*)"#hdYTh5_"#6"KMu@; ; #$%

*+'Q8vo`6"5$#'7)+8"a 8~m2#nTh '7'7… 5Q8 -i}"‡b ½H¿B "#6"KMu@; ;

#$%¶8z2#; 8ED

Âp'*; ;-=qa$#)" '*"#k31*$%&e"8$'*)9DXˆF k)\JI"67^=?¶$% ;~8a'7)KM

5 n8'*V›Ob ¦ ‡Ò618$#,‹w 0='Q8i¶ ##ed5+L)ev#‰1R¶$#)"$#5;#)Y

6+8 8jH ;72# 8k n%d7k^;'*+-6;d7# ,‹wz·10,œ!D`d7A¶ ;z= :1

8r='78)"# R8'7µ'* ?'76"z2~8kdf5"RmQ!!'7 R'7+'*)*)+8„DF21*5"#

ç-oF)"ç '*)mP›Ob ¦ ‡iK"#1R$* ;?8F6"'*Y8'**)+8m y"DPb>)k

$#)i$31 _8k ;*5"'*)Ž618ld"8'*)"#Ž=#)e5 '7)+a8Â}"{¶M>d1 #i5'7 ;8'7$

'* H)3H8G~6"'*-5" 1mçYAG)h)"%d"7TidSJ#-~*)+¹6z2'*"#hdYT

8:7+;'78"Ç='Q8¶8:Ár'*)"+-'* n%)"$##5"'* n8'7$DƒÁrz=q2#of'*)¶df8vJI"_M

6* :^ ;3;$%hŠS; -; ;'*+)"'7@$#)Y87Tl"'*+H'7)i^$# ^R8"^Â}"{¶M>d1 #

#5"'* n8'7$8)¶'7)¶$3 ;H1`:ÁF'7)+-'7 ;8)$#5'7 ;'*$D

Nž #CڟfÜEÝÞ?Ú;ؖփCEÝSjÜ(nÚ5C!Ö*82FۀSCÜ$!$#CÚ;ÜP×D*zÛxÝJÜVÞÖ%!EזÝ*ÖJÙ1Ý+SJ!!#CÚ5CEÚ4ÞRÝJ2zÚnØTC;(nÖ9*OÙÚ4ÝÙJ!VÖJ×6*CÚ 2ÛxÜVÝJÞ

ä3ä3ä9åuæçCèzéê%ëìàæ8íSå*î3çYæ%ïèêzðjæñ3î#ê3òSå<ózð3ãjô%õ#ì#èNîjðNçzà3ðzãë1é#ó3ðzõzöJãë1é#ó3ðzõzö"å…ß#àNëYõ

(10)

›b ¦ ‡ }8#G}818 ‚YA–ç ·yy ‚¸"opçYA·

7

AKo–{

7

w `) ;'78'7) ‚$ç. wo ‚ ·y"oyy.

tpI"6)Ž}818 ‚YA–ç .Y‚YA A1.oB.Yy

WÈ'7)# ; [P81'* wz‚. ç-o ç

{G;'* }8#G}818 .Y¸-oKo¸¸· A–ç"o . AA oB.Y¸.

7

. `) ;'78'7) wo

wz‚"opç

w

ç"o·-o$o .-ç-oKoo¸.

tpI"6)Ž}818 .Y¸-oKo¸¸· w+ç"op炷 wz·YAKo·¸YA

WÈ'7)# ; [P81'* wCAKw ·· ç$ç

ò ÑÞ.ٝØM‰

̶׬ñšÔÖÕù³Î”âšæ ò Ô5Ñ)ΔِÐ2Õ)ê¡nØÑ)ښٝÕxÛÖÝxвìGΝäÖÜ ò Ô5Ñ)ΔÙÊõΝÔÖØÛäàØÚ÷ÈxØÑÔ5Û5ÜßΔâaäÖ܃Øm¢nÌ1õË Ñ)â.Ú

£SÑÔÖÔ5ΝØÔ5е׬ճښØٔÐç

b>)e8" ;#$#)¹ J-?JI"6* :=q^NI"'7))#: 8j>Tl6;6S;>Ti$#* o

)#QT~ ;818:'*)Y21;'…)Y8 D4:>=q^6"K$* R=qH$) ;'*F;:‡…_

„)t47211 ;T ;#¥¤¶)_8r‡

¦

[}_#*6)YT_6"K$!,xw¸çj0ED‰p1d*‚

z= ^18G='Q8) ^8'7'* n8)#ÈdYTU8'7QMu'*;#$#Ê #$%];

wz¸

8A¸‚G1)X o çv ç-oKo`# ;6S$'727TDb>)X8"'* m$# 8~'7 H)G '*+)'7@$#)Y

'7ŠS#;#)$dSJ>=?#)LO>=?#5"'* n8'7$O# ;'*18 #D

ÅO‰} Å[ˆÄ(oDcqehg ň:Ä(o6c|w}U~

t72118 }}(%1# A·A ‚y"o‚$ç‚ ‚y"o

‚y

¦

7

‚- P8)" '7'*)" ‚.y w3.-ç"oyYA$o w3.oKo–A$o$o

tpIK6)"#Ž}(%1# A·A ‚y"oB.(A‚ ‚y"o–A

·

WÈ'Q8) `'* w3¸ A¸‚ A¸‚

‡ ¦ [} }}(%1# ¸$çKoo w AKopç$çy AKo¸"wz·

P8)" '7'*)" woB.-çy~w3¸§¤ ç"o wz· .oyy·

tpIK6)"#Ž}(%1# ¸$çKoo w AKo‚YA–ç ··$o

WÈ'Q8) `'* o ç ç-o ç$o

ò ÑÞ.ٝØM

̶׬ñšÔÖÕù³Îâƒæ

ò

Ô5Ñ)ΔِÐ:Õ)ê@̾âùÑÔ5ΔÑ)âäÖÐ'¨nΝÕ#ِÑäÖΝÕ#â<ìµÎäÖÜ

ò

Ô\Ñ)ΔÙÊõΝÔÖØÛäàØÚ÷ȳØÑÔ\Û5ÜÒΔâ<äÖ܃ØP‹zٝØùÑäàÕ)Ô

Ñ)âšÚ÷Ë; ò È<׎ճڃØِÐç

ˆ ÿcDY§ *zª ©FEªJ²„«%ª¶$#; 6f) k8i2'**18'7)XFŽ*'Q2#)"# k6;6f#;>TD\Árz=RM

ª^Ô!Õ%ÖNזؘÖNÙCؖÚpÛxÜEÝÞhä3ä#ä9å>æçCèfåsðà#ßI«fåMß8ß1ãNázðê1öNéJçCìzõãNñæ%ðêzðzã%àCð3ì+ß8ßæç3òCãë-ß%àzé3é3õzöãJðzõCö3æ>ë!å…ß#àNëYõ

(11)

p1d*r._ z= 8O'76$q!8'*f'*6z2##)Y'*)8'7 R $#);'*-?-„

kµ5")#)Y%1QMn{vKO?'*$5'7 sÂ{ ,A¸C0WND

ÅO‰} ň:ÄYoDcqe;g ň:Ä(o6c|w}U~

Â{ }8#G}818 A$o¸ .Y‚y .wz·

7

‚- `) ;'78'7) ‚$ç. ç$ç. çYA1.

tpI"6)l}%j8# A$o· .Y‚-o .wCA

WÈ'7)# ; rP8'7 A · o‚ o‚

ò ÑÞ.ٝ؃•

̾׎ñšÔÖÕùxΔâƒæôäÖÜƒØ ò Ô5Ñ)Δ٠Õ)ê}Ñ\2Ñ)ÚßÈxØïãƒØâ.ÛØIΔâaäÖ܃ØÉ"£b¬á׬ÕxڃØÙ¢ç

H* ;NI"6"*O'* 8'7„'*6;C2##)Y*'Q2#)"# 6;6f#;'* 1['*)"$#*5"

$T$#7# :1: #e ;%j8# '7)l#'7='7)# ; H6j8 D ¦ )$;m=?5 ;t47211

618$#º1 ;#6;# )Y%1'72:JI"67D

½FÅO‰} ň:ÄYoDcqe;g b ½FÅOÂ} ň:ÄYoDcqe;g

t*J2j8 }8#G}818 wow wwo–A¸

w+ç$ç wz¸"o·‚¸

7

A– `) ;'78'7) A · ‚y"o‚¸-o wz·. ‚-oKopç ç

tpI"6)l}%j8# A¸y wz¸"o·¸"w w+ç$ç wz¸"oo–ç.

}K#1[Å6"8 wzy$o wo‚ wo$o w+ç‚

qT$#*H€º#)+18 ·¸ ·¸ ·¸ ·¸

`1%!€º#)"+8 A$o–o A–ç‚ A–ç-o A ‚

ò

ÑÞ.ٝØM­

̶׬ñšÔ5ÕùxΔâƒæôäÖÜƒØ ò Ô5Ñ)Δ٠Õ)êW–eΝù)ØâšØÐÖвËXÔ5Õ)ñ|ØÔ5äíH¨nΝÕ#ِÑäÖΝÕ#âÒΔâaäÖ܃ØM‹zٝØùÑäàÕ)ÔGËXÔ5Õ)äàÕ³ÛÕ#Ù¢ç

pd"*

"#6'7$8 8;# ;57 ~O8'*xM>'7$8Z ;3;$%c166*'7#Ê8¹8'*7 dKM

%'7)#vdYTG)"# ;#Ž6"8Mu@; ; ;3;$%[E½rÅOÂ}Š)G:'*6z2G2 ;'*)1‰8'7

*+'Q8 sb ½FÅO‰}ŠJDfbu'7 F "C=)1F$T$#7- # ;H5")Ž1F *7##6K8

ma#;-8'7* m1Fdf8\1*+;'7 op='7*^a$T$#7¶*#)"+8h1 )"_df##)

'*6z2#9D ¦ )8_18)l$) '7#d7m=?&G'7 F)$# 81;TŽ8a'76"z2m

*)+8v`8:881'*VD?}K'7)$#8'7 '* )QTv ;'*)+71%6S'*)Y[;6K$* ='Q8

*'Q2#)"# 6;6f#;'* g(5'*;#¶_dSJ8pË;5+#)Y3D

® ¯¹Gý);ú"nGýú

WÈ'*7G6;2'*5 ~=?&Z) §¨<©8ª%«J¬>ª§\­^®#§ªJ¯O«%°ª%«%±j¨<²³Ê$)$#)Y818 L)Ï"8$'*)+

5)&()z=)i#; n%1# #oº_6'*+ [¬s©'D¨<¯Crn§¨<©%ª%«J¬>ª§v­^®#§ªJ¯4«%°ª%«%±j¨<²³L$#)(#_M

6…j8# 48"F'*6;C2##)Yq98'*7 4# ;57ƒü#;?"8$'*) o" ;'*-5*18'7) oY8$1D

(12)

)¶8"#)„oµ75+a618 ; $#5*¶df:'76"z2v='Q8e§¨<©8ª%«J¬ ª§

­^®#§ªJ¯P«%°ª%«%±j¨<²³o8)J=Ð6'7+ 6"6f r;'*$%#5"'* n8'7$# d ;#L)a8O'7)KM

1'*)~1k '*)"+*J8)v+'72#)v#; ;818 #D{vC2#-§¨<©%ª%«J¬>ª§^­^®#§ªJ¯p«%°ª%«%±j¨<²³

'* q# n8;'*$#a8_ 1>T^66S;8'7# o"='*7m¬s©'D¨<¯Crn§¨<©%ª%«J¬>ª§­^®#§ªJ¯º«%°ª%«%±j¨<²³'* Rd*r8

'*6z2O#;R8'*7 R$# 6f)'7)+k8k 5$%v>T6S`66S;8'7# D

`'*ƒ'*6z2##)Y-'7)X5m'*;#$#¹#ƒ$%#$%&('7)+Ž8?ÁF}"ÂPM }"‡b ½ 85;)

5"r8~df-)ŽJŠ„$'72-'*L'*) ;<>=R1- '7+)Ž$)$#5")Y ;T ;# #DOWÈ'7)

$#$#6"8d7rz2#a7#"T_NI"'7 ;'*)+:61 ?1[#"5$#~dYT"#5;'* ;'*$ #$%

8_ ;8d*'7 e;#D__@; ;: 5Q8 :;6"'* ;'*)+a1)l65";Ž8k'*"3

`¬E©'D¨<¯Crn§¨<©8ª%«J¬ ª§-­^®#§ªJ¯S«%°ª%«%±j¨<²³o1ƒ'*+Y4'*)"$#*5"'*)"18'7)m8)

O $'*6K8'*)v1`#; ;8181D

¦ )"q#QTO66"Y$%:ºK$5 '7)+881'*'7)"1'*)'7 q§¨Dz³²„®+*J¬E¨V«ƒ­^®#§ªJ¯"«%°ª%«%±&r

¨<²³XB3®j©q©8ª^D¯Cr>¬E¨<­^ª„*ed+*J¬ ªJ­*,xwoC0VDPbu7 [ 'Q<8 p1#)Y8'7)HF'7+*'7+Yºs'*754J8$JM

8'7)9ofd5"O# F)$…;'7<Ta=YTG- ;%1d*'7 881$## -'76"z2$#6;#

8Ž;'*);Tes'*75881'** DXˆr)8"#k*'7)~[ #$%Z'* -)k)7Te8Ž6S;

=1q=?)(=;)+oKd5"NIK6…'7)=YT~'Qq=q#)Y=;)+D4Á[C=q2#o n6"6Y1$%#

'*)l8'7 $#…1 m ;5$%h H ; 56"8'7)l85K8KMu^'7)Y8#))$# ;T n8# m'76"*##)Y#i'*)

8d›O#)89Å'…+)" ;'*$Ot)+'7)ê›ÅOtÐ,ç10j?85;)v5"8k $#*d"7TD

ˆRR8F#)Yq=?O$)$#)Y88j8O)v}"‡b ½:¿ ‡…H ;6S$#'Q@$31'*)^…)+5+1o

d5"F'*)G5"5H=?_1m'7)Y8#;# n8#l'7)L2'Q<TK'7)+~;3` <>=?m'*)±°321~)ŽFD„

ÑR)"#8k8q, 0pJ2*6f#Žj‘²) †[)'72# ;'7>TL7*z= r ;*'7$#'*)"+14'* n8'7d5"#

°32CM ‡+8 `='Q8)_JIK6f;#'7#}"‡b ½È4}{vÌmDY 8R #$%*'*)"

'* 65" 5"#~dYT_8"[ˆr5"8^1#^}K<>=?rt)+'7)#'*)"+:+561q½rˆ}KˆÈˆF# G[NM

#$%m?#)Y8P1P6"67Tm°321dYT4$#2#;'7@#oj$37*R°z21‡pj8HÂp'*)"#4,‹wCAj0ED

¦ )¶8"# '7oÁ[L…^1))e,xw3.j0! 65 ;#v8)(2#76SO1$85PƒMn?

2'7@$31'*)a='7a8H}"‡b ½Ð21*'718#D

³

ù) JùXÿù:ýºù!ú

´

k µs¢ôçEkØ܃Ô5׎Ñ)âšâð îsçeɃØÜ.âƒÝ)ØÔð ò çÇnãšâƒØ)ðw¶ŽçE–eÑÔ5ÐÖØâðË@çeË@ØäàäàØÔ5ÐàÕ#âðeÑ)â.Ú·ƒçw¸µÕ#׎ιÖâç

¢EãšÎ”ښΔâšæ~Ñ)âšÚhÛÕ#ÐÖä¶Ê˜Õ)ñšäÖΔ׎Ñ)ٔΔäíhΐ⻺nË:Ë îGî=–XçQ̶â

‘n‘G‘

€\–$¼)´0Š… œ½¼.®ŒG´x‹‚… ‡xŒ ‹

¯

‹™

•’

– “

‚

•

™{¾š

’

…¢™#)„†…¢‹ø‹¶ˆG€\0„

•’"’

…œ

•  ö\•

ðšñ.Ñæ)ØÐG¿J¿ÀÁ+•ƒð&‰OÂJÂ-kç

´

‰+µŠnçRÃØÔ5ÑÔ5ÚðîIçÉzç+£ ç2ΔښÕ#ΝäðÉzç+–eÑÔÖÕ#ãšÐ5ÐÖΔâƒØ)ðîsçË@ØäÖΝäð–XçË{ØäàÔ\ãšÛÛ΢ðË@çÈxÛ\܃ÕØâšØÞ|ØٔØâð

Ñ)â.Ú Ë@çÄ£ßÛ%¶ØâƒéΝØ)ç'¼.®‚„ • Œ ‚ 0™d¼|‹àˆ„†›:Š • ¾ • Š\…Å ö )„†…†‹)šç2ȳñ.Ô5Δâƒæ)ØÔð„‰OÂJÂ-kç

´

+µŠ¸IçƒkٔÕØ×ÒðP¶ŽçƸµÑùx΢ðÑ)âšÚ ÉkçºÈ³Õ#׎Øâƒé΢ç Èxí³×sÞ Õ#ٔΔÛMæ#ã.ΔڃØÚ ÐàØÑÔ5Û\Ü ê"Õ)ÔMÛäÖ٬׬ճښØÙ

Û\܃ØÛÖÝxΔâƒæƒç:̾â½Ç}‹)ˆ

• Š •  ö\•

‹) ¦ •

‚\…œ)

‘

‡ƒ„˜‹ŒŽ)„†…†‹)±È"¦

‘

NJÉðƒñ.Ñæ)ØÐ=‰JÊÀ§,•ƒðˉOÂJÂJÂxç

´

•OµŠ‹µç¡£øç¬2ٔÑÔÖÝ)Ø)ð) ç)¢nÔ5ãš×sÞ ØÔÖæƒðCÑ)âšÚÌ ç}îsçCË@ØٝØÚç

¯

‹™

•’

Ç{¥

•5ö

… œ#çb£÷Ì ò ËXÔÖØÐÖÐð

k9ÊJÊJʳç

´

­+µË·šçE¬nç&¬2Õ)ÔÖÞ Øäàäðs£øçwnç&Gìµí)ØÔðE·ƒçÇnÑäÖÛٔÎúCðÈ ç˖{Ñ)ãƒÞ.Ñ)Û5Üðw¬õçÈ ç ËCÑ)ÐÖÑÔ5ØÑ)âãðw¸µÕ)ޚ޳í)ð

Ñ)â.Ú ÇIçsÍ ÜƒØâƒæƒç2Ñ)âšÚšØÔ5ÑÎċ}óxäàÔ5Ñ)ÛäÖΔâšæ¬ë0âšÎäàØÊÐÖäÖÑäàØs׬ÕxڃØٔÐ2ê"ÔÖÕ#×Ï·,ÑùÑ3ÐàÕ#ãƒÔ\ÛØIÛճښØ)ç

̶â߀\.„• Š\|)„†…†‹)0 ’ Ç}‹šŸ • Š •  ö\• ‹)Ð¼ ‹¶ˆ„†›:)Š •mÑ œ#…  •\• Š… ³œÐȆ€OÇÒ¼ Ñ ÉðŠ‰OÂJÂJÂxç

(13)

¿+µË·šç3ڃػ¶IٝØØÔ Ñ)âšÚÓnç¬nç\Ô Î”Ù”Ù”Î”Ñ)×3Ðç nΐÑæ#âƒÕ#ÐÖΔâƒæ × ãšÙäÖΔñ.ÙØ ê"Ñ)ã.ٝäÖÐç Š„†…Å …¢

€\0„ •’"’…œ •  ö\• ðƒñ.Ñæ)ØÐmk9,•IÂ+À!k9JOÂxðk9ÊJÕIÁç

´

ÁµŠ‹µçJÔhçUnι¶ÝxÐàäàÔ5ÑxçCî âšÕ)äàزÕ#â¬äìkÕIñ.ÔÖÕ)Þ.ٝØ׎ÐCΔâ¬ÛÕ#â.âƒØóxΔÕ#âôìµÎäÖÜôæ)Ô5Ññ.Ü.ÐçWևxŒ • Š…‚ ö ¥ •

¯

)„"¥

•

Œ¬#„†…ðkOÎ/‰J¿JÊÀ§‰IÁ–kð_k9ÊJ­Jʳç

´

Õ+µ È çO‹zڃØٝÝÑ)׬ñç¡nΔÔÖØÛäàØڎÐàíx×IÞ Õ#ٔΐÛ:Øóxñ.ٝÕ)Ô5ÑäÖΔÕ#â Ñ)â.ڬΝäÖÐ}Ññšñ.ٔΐÛÑäÖΝÕ#â äàÕîµÌdʘñ.ٔÑ)âšâ.Δâƒæƒç

̶⠑G‘n‘ €\–¼)´|Š\…"œ ¼0®ŒG´x‹‚\…"‡³Œ ‹ ¯ ‹™ •’– “ ‚ • ™×¾š ’…†™##„†…†‹å‹¶ˆŽ€\.„ •’ ’…œ •  ö• ð}ñ.Ñæ)ØÐ

Õ,•,À§ÊJ‰³ð8‰OÂJÂ-kç}Ë:ÔÖØÛãƒÔ5ÐàÕ)Ôh¼|¹ Ñ ™

•’

)ŒG´.­0¦I… Š

•Öö

„ •

™¼0®Œ

“ ‹ ’… öØÑ)Ù

´ ’

‹)Š¶)„†…¢‹a…"šÚ

’

šš…"œ

ñ0ãƒÞ.ٔΔÐ5܃ØڎΔâH‹:ãƒÔ5Õ)ñ|ØÑ)â¬kÕ#âƒê"ØÔÖØâšÛØõÕ#âaîGÔÖäÖÎë0ÛΔÑ)Ù0̶â,äàØِٔΝæ)ØâšÛؑÛ܋;¬2îGÌÞÝ\ðÔLÕ)ÔÖÝxÐÖ܃Õ)ñ

Õ#â÷͵Øì׸²ØÐÖãšÙ”äÖÐvΔâÒË:ٔÑ)â.âšÎ”âƒæƒð.ÈxÛ\܃ØښãšÙ”ΐâƒæ Ñ)â.ÚGØÐ5Νæ#âÌۆËhºG¶õÊ$‰OÂJÂJÂ8Ý\ç

´

Ê+µ È ç‹:ڃØٔÝÑ)׬ñeð²îIç=–eٔãšÛ\ÜxʖeÑê†ãƒØâäàØ)ðµÑ)âšÚ È|ç–ØãšØ)çßõΝÔÖØÛäàØÚO׬ÕxڃØÙÊÛ\܃ØÛÖÝxΔâƒæ ΐâ

ÇEÈxÉ{ʾÈxË:̾Ísç}̾â à#„"¥ €\.„

•

Š\|)„†…†‹)0

’

¼„Ú:€ÞÖá÷‹Š\‚\¥³‹\´l‹

¯

‹™

•’

Ç{¥

•5ö

…"œR¼|‹¶ˆ„†›:Š

• ð

–eØÛäÖãƒÔÖØIÍGÕ)äàØеΐâf¬kÕ#׬ñ.ãƒäàØÔõÈxÛΝØâšÛØM‰OÂI­IÁð0ñ.Ñæ)ØÐG­IÁ9ÀÁOʳçȳñšÔ5ΐâƒæ)ØÔð‰OÂJÂ-kç

´

k%Â,µ È çm‹:ښØٝÝÑ)׎ñðIîs皖{ٔãšÛ5܃ʖeÑê†ãƒØâ,äàØ)ð Ñ)âšÚèÈ|çm–eØãƒØ)ç ËXÔ5Õ)äàÕ³ÛÕ#Ù<ù)ØÔ5Îë|ÛÑäÖΝÕ#â ìµÎ”äÖÜ

ܚØãƒÔ5ΔÐàäÖΐÛßÐàØÑÔ\Û5Üçè̶â

‘G‘n‘

€\–¼)´|Š\…"œ±¼.®Œµ´ƒ‹‚\…"‡xŒ ‹

¯

‹™

•’

– “

‚

•

™â¾š

’

…¢™#)„†…¢‹ ‹¶ˆ

€\0„

•’"’

…œ

•  ö\•

ðƒñ.Ñæ)ØÐ=ÁO­À§ÕJ³ð&‰OÂJÂ-kç

´

k+k µ0Ë@皋²çIÇnÑÔÖäðsÍs皷šçIÍnΔٔÐÖÐàÕ#âðÑ)âšÚ‚nçM¸GÑñ.ܚÑØÙ¢ç î ê Õ)Ô5×3Ñ)َÞ.Ñ)ÐÖΐÐLê Õ)Ôl܃ØãƒÔ5ΐÐàäÖΔÛ

ښØäàØÔ5׎ΔâšÑäÖΔÕ#â Õ)êÒ׎ΔâšÎ”× ãš× ñ.ÑäÖÜ ÛÕ#Ðàäç € ÑÑÑä㠊¶š‚ ö „†…†‹š‚ ‹è‹‚¼0®‚„ • Œ ‚

¼ ö … •  ö•

)0™bÇ@®

“5•

Š

•

„†…

ö

‚\ð•„Îk%ÂJÂ+À!k%Â8Áð_k9ÊJ¿JÕ³ç

´

k9‰+µŠ¶Žç:ÇGÑù)ØٔãšâšÚ Ñ)âšÚ ò çzËXÔÖØÐÖÐÖÞ.ãƒÔÖæ)ØÔç£÷ÕxڃØÙ²Û\܃ØÛÖÝxΔâƒæq¹àÑùÑøñšÔÖÕ)æ)Ô\Ñ)׎ЎãšÐÖΐâƒæH¹àÑùÑ

ñ0ÑäÖÜxë0âšÚƒØÔç €\.„ • Š0)„†…¢‹0 ’;å ‹‡xŠ\0 ’ ‹æ¼|‹¶ˆ„†›:Š •ã ‹‹ ’‚µˆ‹)Š ã0•5ö ¥,|‹ ’‹5œ)® ã Šàƒ‚"ˆ • Š\ð

‰„ÛL•UÝ\ðs‰OÂJÂJÂxç

´

k9+µs¢ôçh·ƒç:ÇGÕ#ٝé׎Ñ)â.âç ò ܚØ÷׬ÕxڃØÙ²Û5ܚØÛÖÝ)ØÔ÷ȳñ.Δâç € ÑÑÑçã

Š¶š‚

ö

„†…†‹š‚ ‹¼|‹¶ˆ„†›:Š

•

Ñ œ)…" •\• Š… œ#ðĉJ„Û3­IÝ5Î/‰IÁOÊÀ§‰JÊJ­³ð2k9ÊJÊIÁç

´

kè•Oµs¢ô男šçsÇGÕ#ٝé׎Ñ)âšâ Ñ)âšÚé£øçôÇIç¬Èx׎ΝäÖÜç ȳÕ)ê"äì2ÑÔÖØá׬ÕxڃØÙ3Û\܃ØÛÖÝxΔâƒæ„Δ‹}óxäàÔ5Ñ)ÛäÖΔâšæ

ù)ØÔ\Îë0ÛÑäÖΝÕ#â ׬ճښØٔÐÓê"ÔÖÕ#× ÐàÕ#ãšÔ5ÛØhÛÕxڃØ)ç ̾⠫‹ŠŒŽ

’ ¦ • ‚ ö

Š…´|„†…†‹)

ã|•Öö

¥,š…3ê‡

• ‚

ˆ‹Š ¦I… ‚„†Š…“ ‡ƒ„ • ™f¼.®‚„• Œs‚a0™ëÇ}‹ŒôŒô‡³.… ö )„†…†‹)æÚ2Šà‹)„˜‹ ö ‹ ’‚\­VÚvŠ¶‹#„˜‹ ö ‹ ’ ¼)´ •5ö …Å ö #„†…†‹š­

ã|• ‚„†… ³œÒ0™ë¾ • Š…Å ö )„†…¢‹±È†«Øì:» ã&Ñ@½ Ú'¼ ã ¾Éðƒñ.Ñæ)ØЕ8Õ$k5À8•8ÊIÁçs¶Iٔã,ìkØÔð=k9ÊJÊJʳç

´

k9­+µŠ£øç'¶Ñ)׬ØÙnÑ)âšÚåÈ|çh–eØãƒØ)çhɃÕ)Ô\׎Ñ)ٔΝéÑäÖΝÕ#â Ñ)âšÚ ùÑ)ٔΔښÑäÖΝÕ#â Õ)êäÖ܃Ø`¢nØâƒØÔ5Ñ)Ùn̶â,äàØÔÖÊ

ƒ¸áËXÔ5Õ)äàÕ³ÛÕ#Ù;ÛA¢nÌސEË;Ývã.ÐÖΔâƒæŽËh¸Øƒ£Ð‹h–eî Ñ)âšÚßÈxË:̾Ís粀\.„• Š0)„†…¢‹0 ’¡å ‹‡xŠ\0 ’ ‹

¼ ‹¶ˆ„†›:)Š •q㠋‹ ’‚zˆ‹Š ã|•Öö ¥,0‹ ’‹Öœ#® ã Šàƒ‚ ˆ • Šðˉ„ÛL•UÝ5Î/JÊ,•,À8•IÂIʳðE‰OÂJÂJÂxç

´

k9¿+µŠ£øçÒ¶IÑ)׬ØÙ:Ñ)âšÚ¤È|çҖeØãƒØ)çy¨nΔñwÎeî8ù³ÎÐÖãšÑ)Ù}ØښΔäàÕ)ÔsÑ)âšÚøÛÕ#׬ñ.ΔٝØÔsê Õ)Ôsù,ʘñ.ÔÖÕ#׬ØٔÑxça̶â

ã

‹‹

’‚ |™

‘õ’

œ‹Š\…†„"¥,Œ ‚Xˆ‹ŠI„"¥

•

Ç}‹ƒ‚„†Š\‡

ö

„†…†‹ )0™

‘

0

’

®‚\… ‚‹àˆƒ¼.®‚„

•

Œs‚RÈ ã‘

Ç ‘

¼IÉð

–eØÛäÖãƒÔÖØIÍGÕ)äàØеΐâf¬kÕ#׬ñ.ãƒäàØÔõÈxÛΝØâšÛØ)ðƒñ.Ñæ)ØЕUÁ–k5À8•8ÕJ¿³çeȳñšÔ5Δâšæ)ØÔð‰OÂJÂJÂxç

´

kÁµŠ¶Žç"¢ 硖eÑÔ5ÐàØâðeË@ç@Ë@ØäàäàØÔ5ÐÖÐÖÕ#âð@Ñ)â.Ú`ÔOçwíE΢çnΐÑæ#âƒÕ#ÐàäÖÎ”Û ×¬Õ³ÚšØÙÊÛ5܃ØÛ5ݳΐâƒæ÷ê"Õ)ÔIÔÖØÑ)ٝÊ

äÖΐ׬ØEÐàí³ÐÖäàØ׎Ðç}̶âîá÷‹Š\‚5¥x‹\´ø‹ï¾

•

Š…Å ö

)„†…¢‹L0™ Ç}‹.„†Šà‹

’

‹àˆGðE®

“

Š…¢™”¼.®‚„

• Œ ‚n€à€à€\ð

â³ãš×sÞ ØÔ k%ÂI¿J¿<ΔâN–ØÛäÖãƒÔ5ØôÍGÕ)äàØÐEΔâb¬kÕ#׬ñ.ãšäàØÔEÈxÛΔØâšÛØ)ð0ñ0Ñæ)ØÐP­IÁO­À§­JÕJ¿³ç@ȳñšÔ5ΐâƒæ)ØÔð

k9ÊJÊJ­³ç

´

k9Õ+µ0Ék線ç'–{Δâð2Ë@çV£ çG¬2ܳãðvÑ)âšÚî£øçؖeΔãç ËXÔÖÕ)äàÕxÛÕ#ÙEù)ØÔ5Îë|ÛÑäÖΝÕ#âáãšÐÖΔâšæøÔÖØÑ)Û\ܚÑÞ.ΔِΝäí

Ñ)â.Ñ)ٝí³Ð5ΔÐ%Î äÖ܃؎ÐàäÖÑäàØ3ÐÖñ.Ñ)ÛجØó³ñ0ٝÕ#ÐÖΝÕ#â ñšÔ5Õ)Þ.ٝØ× Ñ)âšÚ ÔÖØٔΔØêzÐàäàÔ5ÑäàØæ#ΔØÐç

‘ Ç ¯

ð ñ.Ñæ)ØÐ

k9‰J¿À!k9J­³ð_k9ÊJÕJÕ³ç

(14)

k9Ê+µŠ çs£ßÛè¨õΝäÖÎØ Ñ)âšÚN–XçËÔ Î”ÙÐàÕ#âç ò ÜƒØ ÐàäÖÑÞ.ÙØ ×ŽÑÔÖÔ5ΐÑæ)ØIñšÔÖÕ)Þ0ٝØ×ÒçRÇ}‹ŒôŒô‡xš… )„†…¢‹ƒ‚3‹¶ˆ

„"¥ •E‘ Ç ¯ ð,kè•ÄÛAÁJÝ5Îñ•8ÕJ¿À8•8ÊJ‰³ð2k9ÊIÁ–kç

´

‰OÂ,µŠnçĸGÑ)ܚÑÔ5Ú,¹àՃçzȳñ.ΐâ<Ñ)ÐGюܚÑÔ5ښìkÑÔÖØEڃØÐ5Νæ#âÒäàÕ³Õ#Ù¢ç}̾âS«X…"Š\‚„¼Ú:€ÞÖçá÷‹)Š5‚5¥³‹\´|ðk9ÊJÊJ­³ç

´

‰$k µ0Ékç=¸²Øú ØÙsÑ)âšÚ È|ç‹zڃØٝÝÑ)׬ñçò‹XÔ5ÔÖÕ)ÔßڃØäàØÛäÖΔÕ#ârìµÎ”äÖÜrښΝÔ5ØÛäàØÚrÐàíx×IÞ Õ#ٔΐÛL׬ճښØÙ

Û\܃ØÛÖÝxΔâƒæƒç ̶âçá÷‹Š ’™éÇ}‹œ)Š • ‚\‚¤‹ «‹ŠŒŽ ’I¯ • „"¥x‹™‚Ȇ« ¯ Éðƒ–eØÛäÖãƒÔÖØÓ͵Õ)äàØÐLΐâ

¬2Õ#׬ñ.ãƒäàØÔGÈxÛΔØâšÛØ)ðšñ.Ñæ)ØÐ k9ÊJ­À§‰$k+kçÈxñšÔ5Δâƒæ)ØÔð>k9ÊJÊJʳç

´

‰J‰+µs¬õçÇsç8í:Ñ)âƒæôÑ)âšÚH 秖:ç§õΔٔ٘çE¨XÑ)ٔΔÚ.ÑäÖΝÕ#â3ìGΝäÖ܎æ#ãšÎÚƒØÚ3ÐàØÑÔ\Û5Ü<Õ)êäÖ܃ØõÐàäÖÑäàØEÐàñ.Ñ)ÛØ)ç}̶â

Ç}‹)ˆ

• Š •  ö\•

‹) ¦ •

‚\…œ)

‘

‡ƒ„˜‹ŒŽ)„†…†‹)±È"¦

‘

NJÉðƒñ.Ñæ)ØÐ=­JÊJÊÀ§¿OÂO•ƒðk9ÊJÊJÕ³ç

Referenzen

ÄHNLICHE DOKUMENTE

 Model-checking allows us to show to show properties of systems by enumerating the system’s states, by modelling systems as finite state machines, and expressing properties

Spin translates the automata into a C program, which performs the actual model-checking. Supports LTL

According to condition AC 1 it is necessary to know that there exists a coun- terexample trace which leads to the violation of the considered non-reachability property. In addition,

There- fore, while the Hamming distance is capable of direct- ing the search into exactly the same given error state, the FSM distance will guide the search into finding the

According to condition AC 1 it is necessary to know that there exists a coun- terexample trace which leads to the violation of the considered non-reachability property. In addition,

We will establish a hierarchy of relaxation of the cycle condition for partial order reduction known as C3, and we will classify the relaxations with respect to their applicability

Instead of a depth- or breadth-first search of the state space, that have been usually applied in model checkers, Approver used a general search algorithm based on priority queue..

Figures 7 and 8 show, for each algorithm, the size of portion of the state transition graph which has been explored to provide a counterexample carrying a certain amount