=Paper=
{{Paper
|id=None
|storemode=property
|title=Formal Properties of Intentional Reasoning
|pdfUrl=https://ceur-ws.org/Vol-911/02_LANMR12.pdf
|volume=Vol-911
|dblpUrl=https://dblp.org/rec/conf/lanmr/Castro-Manzano12
}}
==Formal Properties of Intentional Reasoning==
<pdf width="1500px">https://ceur-ws.org/Vol-911/02_LANMR12.pdf</pdf>
<pre>
   01234562178298 1 989145841
                      
                            !"#$%&#'($))*+,%
            -.(/#0(&%&1)2"$%03"4)+.)5%&#$ 4%&)&#1"#6$%
            78 "0889:;%00()&#<%.4(%=)>1"#6$%>?+#@(!)A7B89
                      CDEFGHIJKLMNHEJIDOPQHFQMGR

     STUVWXYVZ[.4#.4().%$0#%).(.=(%*)05)*&#*#%(6$#0#%).(.=\])#
     5#4%$)=(!%$20)2#04(# ]%/#.)46##. 4"&(#&!)52$#4#$^6)4]$)=(!%$$^
     )02]($))2](!%$$^_`"0!).40(6"4().(.4]( 2%2#0( 4]# 4"&^)* "!]
     5#4%$)=(!%$20)2#04(# (.)0&#04) ])\4]%4(.4#.4().%$0#%).(.=]%
     4]#0(=]44)6#!%$$#&$)=(!%$0#%).(.= (.!#(46#]%/# % %$)=(!>40(!4$^
      2#%a(.=>% %.).b5).)4).(!$)=(!_
     cdefgWhUij#*#%(6$#$)=(!>4#52)0%$$)=(!>;j[$)=(!_
k 921lmn91
opqrrostupvtvwxvtpqpypvqpp
rpztyprtvvvtxpzoyypu{r|p}pq{y}q
psptr{yyvzoyypu{ps|p~{€}q
pxpp{qpvqxpuypsoqprro}up€q
|psvyyspzto}qpo}orpvttozxztxto~
rpvxt}{q{xpupppxtwxpxtt‚
zx|ppq|ppyorpvttozxztxto}y
}ppztvvtxyqpptt{|s| syspzt
puƒ„†~
    ‡yspzttupv|ytqp‚pyspu}{qpvq{vttppt}
qzrryr€pxtoƒˆ†p|sq‰Švqpvxƒ„‹†}zxq
|tupvtrrpsppspsvq€zxypyv|rtto
zqtupvttorqptrqpvtto~Œxvpzxppqprrpqxyos
xvq|tupvtrrp~qpxyopp|rzop{xzvx
yspztpuqvprspsvyqsqxxt
vqttupr€pyztyvprpsqr~‰pŽo}q
pypqps|oprrospptpuy{{
up€ywxyvprpsppspsv}q{|xxyoq
|tupvtrrpspptpsvqvvxpys|o~
‰vxv|pvpopup€xr}€opxpp€wxpp{qo
qxty{vpypptpupvstupv‘’“”•–—
    qrrpupypq˜{o~™vp‹{zpŽo˜r{q
pxyypptpu~™vpšpx|pvpzxpy
›tto}p™vpœ{x|xrqxtzpy~

                                   ž
0 123423562789476252
     !
"""#"$%&'()
$!*! (+$ 
 !!",#
-" "$"
.!$/012$/33)$%4'(5$/
"!/"$!
-"
(
     6*!$/
22!""2!# -
"" 789:;<=> ?@A9:;<=( " 
789B;C=$!$ !BC(D" 
$/"$!/$!-
$/BCE/FGHIJKGL$
MJNNIOLPQ !"
 ( "/
$!$$"
"$(R/Q!-
!$-%S'Q/"""%&T'
!$ !!(6"2!
!!/!(
     3!"$/$/ $$/
$ !" 
(RIU"
"6V$"!%S'/IIU
65D%&W'!IIIU,
"( 
!/
! $%X/&Y/&S'#$"Z
 $!""(
       !$"-
"6V$"!-
 !!,""%S/['#
"9!-$//$=/!9!$/$/
  $=9/2$=(\-
/!!"  $( 
!""""2" 
!!"]^_8A`?_Ba9b=%Y'9R!!2=#
cdefghgifjklJKmnJKJHJKIoIKHPKHIJKGLpFGnPqJFrUsKJKmnJKJHJKIoIKHPKm
HIJKGLpFGnPqJFrINGHtMLPuv;w;xy;xz;{;|};~;}|;€qPFP‚
  ƒv„PKJHPNHPOPLIPpOGNP

                                     †‡
  0123456376837365946346547
  0 234563768373397
  0 123456376837 46346547
  04237654547334336547
  0  4233547334336547
  01 76 7!
    "#$%&$'($)*&$+&#$,$-%$.+/0#%1#23$-%&$32-+4 +&2)(+.*3&#$,$-%$.+
&#2&23$1*)+%($3$(2+,2+%152)(+%'%-23-6  +&2)(+.*3%)&$)&%*)+1*)+%($3$(
2+,2+%14721#%)&$)&%*)891%+2+&3:1&:3$;<=>;?@ ABCD0#$3$;<3$E3$+$)&+
&#$F*2-*.&#$%)&$)&%*)G+*0$E3$+$3H$I56J6!G/>;?21*)&$K&2)(&#$3$+&
($)*&$+&#$,*(64L#$)>;?*3ABCD23$$'E&60$03%&$;<=M@ M*3N:+&;<4
O-+*%&%+2++:'$(&#2&E-2)+23$I6!%)+&2)&%2&$(4
    P46345477634!%+E3$+$3H$(,62--*0%)F&#$1*)&$K&*.2)%)&$)&%*)($Q
)*&$(,6>;?R8S/>;?R8S92)(,6-$&&%)F;<,$&#$#$2(*.&#$%)&$)&%*)4T*/
76545477634!%+%'E-%$(,6%)&$3)2-1*)+%+&$)16RF%H$)&#2&+&3*)F1*)+%+Q
&$)16%+>;?R8S9S4U347V3425833430%--,$%'E-%$(,62W 776!G&#$
1*)+&32%)&&#2&2)2F$)&0%--)*&1*)+%($31*)&32(%1&*36*E&%*)+G2)(&#$83V
8!*.%)&$)&%*)+%+3$E3$+$)&$(,6&#$*3($33$-2&%*)/0#%1#0$3$X:%3$&*,$
2161-%1%)*3($3&*+*-H$1*)Y%1&+,$&0$$)%)&$)&%*)+4O)(0%&#&#%+.32'$0*3Z
0$12)2332)F$2)*&%*)*.%).$3$)1$0#$3$0$0%--+26&#2&8%++&3*)F-6R0$2Z-6S
($3%H2,-$.3*'2+$X:$)1$[%.2)(*)-6%.&#$3$%+2E3**.*.[8R[  8S4
O)(2-+*/&#2&8%+)*&+&3*)F-6R0$2Z-6SE3*H2,-$%.2)(*)-6%.&#$3$%+2E3**.
*.[8R[ 8S/0#$3$[\]^1_4
`ab cdefgfhei jklmqrs      noppt
L$+&23&0%&#uvwxyz{|}~z€‚ƒ„ †2+2-*F%12-&**-.*Š‹‚
                                                3&#$.*3'2-+E$1%‡12&%*)4
ˆ.1  *:3+$/%)%
             &%2-
                -6/&#$2 EE3*21#% ++%'%
                                     -23&*2‰1      +6+&$' ($‡)$(2.&$3
ŒŽ‰Œ1Œ 0%&#&#$&$'E*32-*E$32&*3+=436R‘S/3J346!R’S/!7
R“S/46R”S/5I654R•S/43J63R–S/2)(+**)/($‡)$(2.&$3uvw—„˜/™†4
šg›hœžŸklmqrs  noppt uvwxyz{|}~z€‚ƒ'26,$+$$)2+2)% )+&2)1$*.‰1Š‹‚4
"#$%($2%+&*($‡)$+*'$‰1 +$'2)&%1+%)&$3'+*. ¡<¢;£¤<¥¦RwS+&3:1Q
                             Š‹‚
&:3$+4T*/0$)$$(2-2)F:2F$2,-$&*$KE3$++&$'E*32-2)(%)&$)&%*)2-+&2&$+4
"#:+/0$3$X:%3$%)‡3+&E-21$+*'$026&*$KE3$++&#$+$.$2&:3$+4
§e¨›©h©ž›`ª«!4659‰1x}    Š‹‚‚ƒ¬P98 74 ¡<¢;£¤<¥¦RwS65W 95W  ­
6834®•¯R8S­°•±R8S42²³´R8S3395W3295W759‰1x}‚ƒ   Š‹‚
    "*+E$1%.6&#$&$'E*32-,$#2H%*30$:+$uvw—%)&#$)$K&0264
§e¨›©h©ž›µª‰1x}   Š‹‚‚ƒ63WI57!46¬¶J3!‰1x}
                                                 Š‹‚‚ƒ95W 77663
95W·¸
  0·==\8·¹·º·
  0¤==\·º¤¤¹¤•¤–¤‘ ¤’¤“¤¤”¤

                                 »»
0123456789        !"#$%&'$()*+,
)!-)".!/0123!&456"5!7
          89:8;<=>? @AFBC
          89:8;<=D/E1?@ A  8GBH89:8;<=D? "E@IJ8G7KGL M&
                          89:8;<=D?        !.4
4NO5!"! "!.5=8G?)!ON!
=IJ?)D/E1)!P!"!4E!-2
Q1R465694STUVW[\]  XYZZ^_`abcdef_ghi`jk`lbdjl_#$%m'$(bcn*
                                                        +,bl`n`o
pc`necd`la_jqbcbr`cd89bcned_fjcprslbdejct89CuCvCwC<xy
                        #$%z{|}X}~}Y}€=?‚ƒ„<
        *+,z{|}X}~}Y}€=?‚ƒ 89:8;<=D?‰                89:8;<=D?
                              †‡Xˆ          zŠ‹}†€‡XŒ
                '$(z{|}X}~}Y}€=?‚tIJCDxƒu ‰*+,=?
Ži`l`u n`cjd`_fsll`cdecd`cdejc_bcnu _s_k`cn`necd`cdejc_
   ‘)!4!!!744)!!4)9’/912
‘!&NO!)!)’/9“1&22&!4”9
)2•!"!.4.–5.—.-P.55.˜@t™CšC›x
4.™!"N !œN5.!&š .!)œ)".
.!  )› O5!"5!N!".! N
 !œN5.!!.5-.!-!!!2
Q1R465694žŸ`d˜@t™CC›xmdi`cy
    ™e_b_`djqbr`cdfjcprslbdejc_K@t89CuCvCwC<x
     ¡¤ ™¢ e_bdjdb£l`£bdejc_sfidibdqjlb££Kƒ di`l`e_bK¤ƒ _d
    =KCK?ƒ
    ›e_¥b£sbdejc_dy
      o›¦§¨=KC?@#$%“=?Ži`l`K@t89CuCvCwC<x
      o›©§ª=KC?@'$(“=?Ži`l`K@t89CuCvCwC<x
      o›«¬­=KC?@*+,“=?Ži`l`K@t89CuCvCwC<x
    ®b di_bl`_`¯s`cf`_jqfjcprslbdejc_K°C±±±CK² _d³D=K†CK†´µ?ƒš¶`s_`
    ·†djecnefbd`di`eodi_dbd`jqkbdi·hi`cy
¸¹˜CKº@#$%=?» ƒ›¦§¨=K?
¸¼˜CKº@'$(=?» ƒ›©§ª=K?
¸½˜CKº@*+,=?» ƒ›«¬­=K?
¸¾˜CKº@$» ¿·@KµC±±±ƒ˜º˜C·º@
¸À˜CKº@Á» ³·@KµC±±±ƒ˜º˜C·º@
®¹˜CKº@» ˜C·°º@µ Ži`l`e_b_dbd`qjlas£b
®¼˜CKº@» ˜C· º@

                                 ÃÄ
0123456789 23 568 
02345689 23 568 
02345689%23 56 !""#!$5234%568
     &!'23 568
    ()*+,*)*-,)-./.)0.0*1.2,)-*3/042.2',-+5.2.63.)0.,27889:.24;8
,22+/*)<=;>/*?4@=.A,-,+,27B8:.24;8,2)*+2+/*)<=;>/*?4@=.CD-,27 5E 8
:.24;8,2:.4F=;>/*?4@=.4)G,-,+,27 E589+5.)8,2)*+:.4F=;>/*?4@=.C
HIJKLMLNKOP0 QRS 8 T 7 UVUWWXYWZW [WUW
UWUU\U]^
 _788U`
   __abcdeb8ff 
   _gab8hijklm'nopb4qb8ffr&hisjktuvwb8f8hisjf
 g7 5E 8U`
   g_788 
   gg7Bx8
     gg_7obcdeb8fxnopb4qb8fff  s
     ggg7ob8hij{ky'nop{b4qb8ffr&hijktuvwb8f5E hisjf
       ggg_&zhis jky"z hijU7 
       gggghij|zhi{j
 17B8U`
   1_7obcdebx8ff
   1g7ob&8hijklm'xnopb4qb8ff}hisjktuvwb8fBhisjf
 7 E58U`
   _7B8
   g78x8 
     g_axbcdeb8fxnopb4qb8fff
     ggab&8hi{jky'xnopb{4qb8ff}hisjktuvwb8fE5hisjf 
       gg_zhis jky{zhijYZZW7
       ggghij~ |zhij

 €‚ƒ„ „†‡ˆ‰„Š‹
Œ**)0.1*)*+*),0,+;,2<,?.)3>94?./;,)+3,+,?.63.2+,*)4/,2.2':5;25*3=G:.
0*)2,G./,)+.)+,*)4=/.42*),)<424),)2+4)0.*-4=*<,0[V WŽ54+,2+*24;9
:5;25*3=G:.+/.4+,)+.)+,*)4=/.42*),)<424)43+5.)+,0-*/1 *-/.42*),)<
.,)G,/.0+=;4)2:./+5,263.2+,*)@;4/<3,)<+54+,)+.)+,*)4=/.42*),)<3)G./
+5,2@/4+14),4)1*G.=,2:.==@.54?.Gh‘jC

                                ’“
012 345676895
       
!"#
$%4&46787452'()*+,-./0123456789:;<= 7>
$%4&4678745?'()*+,-./01@345=<789:;A7>
$%4&46787450'BC0-/+DEF-C/E.123G9:H:IJ;K7J>8>67L;MA7>
$%4&4678745N'BC0-/+DEF-C/E.1@3G9:H:IJ;K7J>8><= 7L;M=<7>
$%4&4678745O'BC0-/+/E.13G9:H:IJ;K7J>8>67L;M=<7>
$%4&4678745P'()*FC0-/+/E.13QKHLRR7:I89:H<= 7KHA7>
   S TU VF W
X1 XY / #
                        67Z
                          Z Y [[=<7
                        \1       F \1
                        \             [\
                       <= 7ZZ / [A7
   ] ^_` a] bc 
dVT T 
 XXe T#
01? f4g5h5966
i  TVj `V
 T !" Vk
$%4&4678745lG9:5KRRKmI;nH:RL8IK;J9KRMo
              +pqr67-s.0<t7 *pqr<= 7-s.0<u 7
             Fpqr A7-s.0t<7 Dpqr=<7-s.0u<7

                               vw
010 234567869 68 5635
!"!
!!!!!!#$%%$#&%'!"($
)!*+&!(!)!(!
,-.$!. /0 ,%
    1$2((),3 . !!!(
3$!3((!#!!4!!((%5$
!(!($3!!)!!!!!#
!!&36!!$!3!7
868 8389:;<=>?@AB@CCDA@BDEFGHI.J,KLMNO. /0 ,P
QRSSI%2T!U%V
    W!$&!#!$X!!(T&!%54
!!!(((!!$!
(!)!(%
868 8389Y;Z[\CDCE]\AF>?]C]?^@ED[\GHI. /0 _KLMNO.J_P
QRSSIP`(!!!!_%2(!!!!!!
,ab,$3($$(&$$
#!!$/0 _!&(&%5. /0 _$3(6
3(!%V
    W!!#XX3((4
!&%'(,(!)!(.$!c(!4
)!(.!,!(!)!(.!%'!3$
!#.!!!(!)!(.!
!dOeRNfgN!!%'(!!!h
iUj7h!k(#
3(!(!(!%
868 8389lm;Z@=ED[=CA=EGHI. /0 ,fOn.o,/0 cLMNO. /0 cP
QRSSI%`!!##!!!!!7
. 0/c!!(. /0 ,!.o,/0 c%1$
!(!!#!7. 0/c!. 0/,.o,0/c
 3($!#T!p$3(!!7. qc!. q,
.o,qc%r3$.qc!(.q,
.o,qc$%%$.qc.J,!.o,Jc%X!!#!
.o,Jc3&3!&7c-s[tFu,vcw-s[tFu,v%'!
"($#&!.J,!$!(c-s[tFu,v3Jc$
(!(!.qc%'!!!#($.o,Jc
cw -s[tFu,v$!.Jc$3((!(!.qc%V
    5!!!(!#(!)!(,(6!.
!!nNeRNfgN!!$$!#(
!!!!(6%Xx!!!!!4
!!!#(&(3!&3(!!%

                                  yz
01232456527889     !" #
$%&&#'()*+),-.+/0,1 )2(0,343.-56,060+3)30.73/" )2(.3)3+.0)
)2(8-+()2-)  -.9  :;2*+<3/" )2(.(3)2(, 0,
 <-.9=>?,060+3)30.@<3/"A)2(.(3)2(, A0, A:B0C<
5()*++*660+()2-)"A=*)3)3+/-5+()2-)(3)2(,A0,A<)23+3+
)0+-><)2-)"A-.9D-.9D:E(4-,93.4)2((F6,(++30."A
C(2-G()C0-5)(,.-)3G(+7(3)2(,HIJKL0,M   HIJKL:N.)2(O,+)8-+(<
+3.8(HIJKL-.9A<)2(.A<C238280.),-938)+)2(-++*16)30.)2-)
D:P.)2(0)2(,2-.9<3/C(80.+39(,)2(+(80.9-5)(,.-)3G(<A<=*))2-)
80.),-938)+)2(-++*16)30.)2-)D:Q
    ;23+3+3160,)-.)=(8-*+(C2(.)3(9<R*)-.9R-*)30*+S0.0)0.>)(55*+
)2-)3/T3+-80.+(U*(.8(0/)2(./0,-.><3+-80.+(U*(.8(0/3/-.9
0.5>3/3)3+-80.+(U*(.8(0/)04()2(,C3)2TVWX:
Y Z[\]^_`a[\
N)+((1+,(-+0.-=5()080.85*9()2-))23+=,-)1-.3-.109(50/3.)(.)30.-5,(-+0.b
3.48-.=(109(5(93.-C(55b=(2-G(99(/(-+3=5(50438)2-)+-)3+O(+80.93)30.+0/
R0.+3+)(.8><c0*.9.(++<c*6,-85-++38-53)><E(d(F3G3)><R0.+3+)(.8>?,(+(,G-)30.<
R-*)30*+R*)-.9R-*)30*+S0.0)0.>:N.0)2(,C0,9+<3)3+65-*+3=5()080.85*9(
)2-)3.)(.)30.-5,(-+0.3.42-+)2(,342))0=(8-55(9e&fghe%!i&gf+3.8(3)=(b
2-G(+<jkgijkgi<-+-50438<+),38)5>+6(-l3.4<-+-.0.b10.0)0.3850438:
mno72pqrstrur764v;2(-*)20,C0*5953l()0)2-.l)2(-.0.>10*+,(G3(C(,+
/0,)2(3,2(56/*58011(.)+-.96,(83+(80,,(8)30.+w-.9)2(c820050/?2350+062>
-)x?yz?/0,-55)2(-++3+)-.8(:;23+C0,l2-+-5+0=((.+*660,)(9=>)2(
RPByR>;+8205-,+236@W{|}~:
€€‚€\]€`
ƒ„ †‡ˆ†‰ŠŠ‹Œ „Žˆ†‘‰‘’ˆ†“‰”‰†•‰–ˆ—‰–‰˜“‹™Š‰šˆ›‹•„’˜œ™‹‘›‰’˜œ™‹‘›‰
  †‹ž‰“‹‡Ÿ ‰““¡¢££¤¥
¢„¦ˆ‘‹†‹Œ§„¨„Œ©ˆ‰‹˜Œª„«„ ˆž‹†›¦—¬­ˆ­‰‡‹‰“ˆ–˜›‰†‡®ˆ‹‰†‡‰‘­ˆ›˜œ®
  œ‹†›Š˜†›˜›‰“„ ††˜Š“ˆ–©˜‡¯‰œ˜‡‹•“˜†‘ ‡‹°•‹˜Š¬†‡‰ŠŠ‹›‰†•‰±¢Œƒ²³´¢¢µ
  ¡¢££±¥
¶„¦ˆ‘‹†‹Œ§„¨„Œ¨·™†‰Œ¸„«„Œ¹ˆˆŠ‘‹‘›‰Œ©„ ˆ›˜œœ‹†›©Š‡‹® ›‰†‡ºŸ“‡‰œ“
  ‹† ›‰†‡º­‰˜»“‹†›¸˜“ˆ†„¹‹Š‰ŸŒ¼†›Š˜†‘¡¢££³¥
±„¦˜‡œ˜†Œ©„¬†‡‰†‡‹ˆ†Œ Š˜†“Œ˜†‘ ˜•‡‹•˜Š§‰˜“ˆ†„¨˜ž˜‘†‹ž‰“‹‡Ÿ ‰““Œ
  ’˜œ™‹‘›‰¡ƒ²½³¥
¤„’˜“‡ˆ®©˜†¾˜†ˆŒ¸„©„Œ¦˜•‰Šˆª® “­‰‹‡‹˜„ „„˜†‘Ž‰˜®¨‰†ª˜†‘‰¾Œ „’ˆ†“‹“®
  ‡‰†•Ÿ˜†‘“ˆ†‘†‰““–ˆ˜‘‰–‰˜“‹™Š‰Šˆ›‹•ˆ–‹†‡‰†‡‹ˆ†„ ‘ž˜†•‰“‹†“ˆ–‡•ˆœ­‡‹†›
  ˜Š›ˆ‹‡¯œ“Œ§‰“‰˜•¯‹†’ˆœ­‡‹†›º•‹‰†•‰žˆŠ„¤±Œ¡¢£ƒƒ¥
µ„’Š˜»‰Œ¼„©„¸„ŒŽœ™‰›Œ¿„˜†‘ ‰Š‰‘„—„ „©ˆ‘‰Š’¯‰•»‹†›„©¬À ‰““Œ
  ¦ˆ“‡ˆ†Œ© „Œº Œ¡ƒ²²²¥

                                    ÁÂ
01234567817955 571656364354356165565
  7!"#!!$$%
&1'53671(5)36*3*3166*+33,3-(453523) 5
  .5657'55.5658 +45 /1017 5*7!$$%
$11++273141(4535-3 6*36 -3636363365366655)5 2"
  5 1661)5*1793 6*43*5 3-23656.25 7/566*75
  83,.)65057))1$9$!$&91
!%11356371178*6+467016*.7135-5+5933-832"
  +5* 6563616 %%*65 6 65565797"9901
  .)6505%%
!!111 5"56:6*5;7<14123"46;6371'"=4".543 4612(9"
  56.)5,9.)53696 5-35683 1<3 63-34
  62363676-3 6*937%%$
!1>371.171535?7418143*56>3656 46/3"4551
  6 46741717.647418175*1 >5*6 6567))1!0@&1436
  6 -66!$$&1
!1>371.156.)5,9/356 )5,3 633) +56 51
  6*505*57A1017857<1A15*1 44A1972.7 31!%&7))1@991
  .)6575*5+5!$$#1
!1A33**5741>5366+3 >365614(85 72+*5%%%1




                                  BC
01123456
789 9 !"#$%&! '()*$%(
+*,"!-$$("(./012'(22 !"# 3456378 9/:21!;637!
'(("(!"1!<-1!! 2#/!#'&'(%!$&9=
>-1! 1!?,3@ABBBA3C.D!(,12EF!"G!#1 !"#-(
H,3@ABBBA3C..D!"%(-'$I,$$!J!"$(!K./L$!#'&
(#D//D'(%!$D1!;D!/:2""E34"-'$
,$$!!"$(!.! %(!"!(/:2&;2!M:%(N/
         OP QQRST UT                  V QQRVWXYZY
         ST QQRSW[[[S\ ]^_`a          VW QQROZPZbZVWXVW
         UT QQRUW[[[U\ ]^_ca          OdQQRe]dWf[[[fd\a]^_`a
         U QQRdgQhdij V               O QQRk]dWf[[[fd\a]^_`a
         dg QQRlOdZmOdZlPZmP P QQRnOdZoOd
         hdi QQRhdiW ZY               b QQRlSZmS
         hdiW QQROdZpOdZhdiWqhdiW
                     rstuvwxyz{|}~€kPg^dUgO‚]ƒa„


789 99  †‡:2!'"!(#1! ?4ˆ3‰)4Š,‹."
$=$%&"!&#D2!M$Œ-"ND%M1!=-"!
AŽAAA*‘5
                                            žš›§

                            ™š›œ          ™š›œ¨             žš›’›     žš›¨       Ÿ ›’›

                ’“”•–—˜                             ™š›œ§
                                                                               ٠ݤ ٠ݬ
                       ¦›“¢£¤̈                      ™š›¢£¤§
                Ÿ•ª«› ¦›“¢£¤̄            ¦›“¢£¤§                     ™š›¢£¤        ™š›Ÿ ›
                                 ¦›“¢£¤                                             ™š›Ÿ ›
                                                                 ™š›¢£¤̈       œ¥¤œ
                          ¬š—¤«›¨ Ÿ¡¡­š›             Ÿ•¤©”£                    ¢£¤œ
                          ¬š—¤«›§ ®š›­š›
                                                          œ¥š•¢£¤                  Ÿ¡¡¢–


        °±²xwx³´µz{|µ¶·¶µ|µ¶€¶kPg^dUgO‚]ƒa}¸}|¶}{¸z|z{¸¹¸|µº„
   »$"-12#1"-¼Iˆ½¾,¿ÀA¿Á.ÂÃÄ¿ÀÅ ¿ÁÆM2"Ã
2"!&#$=$%&2?4ˆ3‰)4Š,‹.!'"!(#1$
¿ÀD¿Á"1!=-"!/

                                                     ÇÈ

</pre>