Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 27 Sep 1993 19:49:31 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA03625;
          Mon, 27 Sep 93 11:15:05 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from iraun1.ira.uka.de by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA03621; Mon, 27 Sep 93 11:13:31 -0700
Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) 
          id <12186-0@iraun1.ira.uka.de>; Mon, 27 Sep 1993 19:12:29 +0100
Date: Mon, 27 Sep 93 19:14:54 MET
From: schneide <schneide@ira.uka.de>
To: info-hol@cs.uidaho.edu, borm@cs.ubc.ca
Subject: a little proof challenge
Message-Id: <"iraun1.ira.196:27.08.93.18.12.45"@ira.uka.de>

Hello,
  as I was on holiday I was not able to give a response
to the challenge problem given by Jeff. The FAUST prover
is in its current implementation not able to prove this
goal automatically. This is because we have chosen a 
unification strategy which is not complete, but in general
more efficient. If you are interested in the reason, why
this leads to a inifinte loop in this example, then you
just have to decode the following tar-file (it is a LaTeX
source file with an encapsulated postscript figure).
I have also added a proof made by hand with FAUST tactics.
Only 3 tactic applications were necessary in this proof
except for the general tactic which is always applied
at the beginning.

FAUST can be easily extended such that proof goals of
this kind can be proven, but this would slow down the
efficiency. Perhaps we could offer some versions or 
a version with some flags in the future.


Cheers, Klaus

----------------% cut here % ------------------
begin 640 challenge.tar
M8VAA;&QE;F=E+G1E>                                           
M                                                            
M             " @(#<U,2  (#$W-3(P(  @(#$T-#0@ " @(" @(#(Q-C,V
M(" U-#4Q-C(U-#$V(" @-C<R-  @                                
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                       *"EQD;V-U;65N='-T>6QE6S$R<'0L97!S9EU[
M87)T:6-L97T*7&YE=V-O;6UA;F1[7'!I8WU;-%U[(%QB96=I;GMF:6=U<F5]
M6VAT8ET*(%QB96=I;GMC96YT97)]"B!<<V5T;&5N9W1H>UQE<'-F>'-I>F5]
M>R,S?0H@7&UB;WA[7&5P<V9F:6QE>R,Q?7T*(%QC87!T:6]N>R,R?0H@7&QA
M8F5L>R,T?0H@7&5N9'MC96YT97)]"B!<96YD>V9I9W5R97T*?0H*7&AO9F9S
M970M,F-M"@I<=&5X='=I9'1H(#$W8VT*7'1E>'1H96EG:'0@,C%C;0H*"EQB
M96=I;GMD;V-U;65N='T*"EQS96-T:6]N>U=H>2!C86XG="!T:&4@8VAA;&QE
M;F=E('!R;V)L96T@;V8@2F]Y8V4@;F]T(&)E('!R;W9E;B!B>2!&05535#]]
M"@I*+B!*;WEC92!P;W-T960@=&AE(&9O;&QO=VEN9R!C:&%L;&5N9V4@<')O
M8FQE;2!T;R!I;F9O+6AO;"X*7%M<9F]R86QL(% @42!2+@H@(%QF;W)A;&P@
M>#HJ+B!<97AI<W1S('8N(%QE>&ES=',@=RX@7&9O<F%L;"!Y+B!<9F]R86QL
M('HZ*BHN"B @(" H*% H>"D@7'=E9&=E(%$H>2DI(%QR:6=H=&%R<F]W("@H
M4"AV*2!<=F5E(%(H=RDI("!<=V5D9V4@*%(H>BD@7')I9VAT87)R;W<@42AV
M*2DI*5Q="@I4:&4@1D%54U0@<')O=F5R('=H:6-H(&ES(&YO=R!D:7-T<FEB
M=71E9"!I;B!T:&4@2$],.3 @=F5R<VEO;@II<R!N;W0@86)L92!T;R!D;R!T
M:&4@<')O;V8@875T;VUA=&EC86QL>2X@22!W:6QL('-H;W<@:&5R92!W:&5R
M92!T:&4@"G1R;W5B;&4@(&-O;65S(&9R;VTN( H*1FER<W0@;V8@86QL+"!T
M:&4@9F]R;75L82!I<R!S:V]L96UI>F5D("AT:&ES(&YE960@;F]T('1O(&)E
M(&1O;F4L(&)U= IM86ME<R!T:&4@9F]L;&]W:6YG(&5X<&QA;F%T:6]N<R!E
M87-I97(I.@H*7%M<;F5G*%QF;W)A;&P@=B!W+@H@(" @("A0*'@I(%QW961G
M92!1*&9?,2AV+'<I*2D@7'=E9&=E("A<;F5G("A0*'8I*2!<=V5D9V4@7&YE
M9R H4BAW*2D@"@D)"0E<=F5E(%(H9E\R*'8L=RDI(%QW961G92!<;F5G("A1
M*'8I*2DI(%Q="@H*5&AE;BP@=&AE('!R;W9E<B!G96YE<F%T97,@=&AE('1A
M8FQE874@9W)A<&AS(&=I=F5N(&]N('1H92!L969T(&AA;F0*<VED92!O9B!F
M:6=U<F4@7')E9GMG<F%P:'-].@I<<&EC>V-H86QL96YG92YE<'-]>U1A8FQE
M874@1W)A<&AS(&]F('1H92!P<F]B;&5M+GU[,39C;7U[9W)A<&AS?0H*5&AE
M<F4@:7,@;VYL>2!O;F4@<&]S<VEB:6QI='D@=&\@8VQO<V4@=&AE(&QE9G1M
M;W-T('!A=&@Z"DEN<W1A;G1I871E("1;;5\Q7&QE9G1A<G)O=R!X720N($AO
M=V5V97(L('1H92!R:6=H="!P871H"F-A;FYO="!B92!C;&]S960@870@=&AI
M<R!S=&%G92X@5&AE<F5F;W)E+"!T:&4@97AT96YS:6]N"G)U;&4@:&%S('1O
M(&)E(&%P<&QI960@<W5C:"!T:&%T('1H92!T86)L96%U(&=R87!H(&]N('1H
M90IR:6=H="!H86YD('-I9&4@:7,@;V)T86EN960N(%1H92!P871H(&EN('1H
M92!M:61D;&4*8V%N(&)E(&-L;W-E9"!B>2!T=V\@<W5B<W1I='5T:6]N<R D
M7'-I9VUA7WLQ,7T@/2!;;5\S7&QE9G1A<G)O=R!X720*86YD("1<<VEG;6%?
M>S$R?2 ](%MM7S1<;&5F=&%R<F]W(&9?,BAX+&U?,BE=)"!A;F0@=&AE(')I
M9VAT;6]S= IP871H(&-A;B!B92!C;&]S960@8GD@;VYE(&]F('1H92!S=6)S
M=&ET=71I;VYS"B1<<VEG;6%?>S(Q?2 ](%MM7S-<;&5F=&%R<F]W(&9?,2AX
M+&U?,BE=)"!A;F0@"B1<<VEG;6%?>S(R?2 ](%MM7S-<;&5F=&%R<F]W(&9?
M,BAM7S,L;5\T*5TD+@H*268@)%QS:6=M85][,3%])"!I<R!C:&]S96X@=&\@
M8VQO<V4@=&AE('!A=&@@:6X@=&AE(&UI9&1L92P*=&AE;B!T:&5R92!I<R!N
M;R!P;W-S:6)I;&ET>2!T;R!C;&]S92!T:&4@=&AI<F0@<&%T:"X@3VX@=&AE
M"F]T:&5R(&AA;F0L("1<<VEG;6%?>S$R?20@8V%N(&)E(&-O;6)I;F5D('=I
M=&@@)%QS:6=M85][,C%]) IT;R D6VU?-%QL969T87)R;W<@9E\R*'@L;5\R
M*5U;;5\S7&QE9G1A<G)O=R!F7S$H>"QM7S(I720@86YD('=I=&@*)%QS:6=M
M85][,C)])"!T;R D6VU?-%QL969T87)R;W<@9E\R*'@L;5\R*5U;;5\S7&QE
M9G1A<G)O=R!F7S(H;5\S+&U?-"E=) IS=6-H('1H870@86QL('!A=&AS(&%R
M92!C;&]S960@86YD(&$@<')O;V8@:7,@;V)T86EN960N"DAO=V5V97(L('=E
M(&AA=F4@:6UP;&5M96YT960@;VYL>2!T:&4@<VEM<&QE<W0@=F5R<VEO;B!O
M9B!&05535"!I;B!(3TPY,"P*=VAI8V@@=&%K97,@=&AE(&9I<G-T('!O<W-I
M8FEL:71Y('=H:6-H(&ES(&-O;7!U=&5D('1O(&-L;W-E(&$@<&%T:"P*:6X@
M=&AI<R!C87-E("1<<VEG;6%?>S$Q?20@:7,@8VAO<V5N("!S=6-H('1H870@
M9G5R=&AE<B!E>'1E;G-I;VX*<G5L97,@87)E(')E<75I<F5D+B!);B!F=7)T
M:&5R(&5X=&5N<VEO;G,L('1H:7,@:7,@<F5P96%T960@<W5C: IT:&%T(&$@
M:6YF:6YI=&4@;&]O<"!I<R!O8G1A:6YE9"X@"@I)9B!A;GEO;F4@:&%S(&%N
M(&]L9&5R("A(3TPX."D@=F5R<VEO;B!O9B!&05535"P@=&AE<F4@:7,@86QS
M;R!A(&)R96%D=&@M"F9I<G-T('!R;W9E<B!W:&EC:"!S:&]U;&0@<')O=F4@
M=&AE(&=O86P@*$D@:&%V92!N;W0@=')I960@=&AI<RP@8G5T($D*86T@<75I
M=&4@<W5R92DN"E1H92!E>&%M<&QE('-H;W=S('1H870@=&AE(&-U<G)E;G0@
M=F5R<VEO;B!O9B!&05535"!I<R!N;W0@8V]M<&QE=&4L"FDN92X@:70@8V%N
M(&YO="!P<F]V92!E86-H(&9I<G-T+6]R9&5R('1H96]R96TN(%=E(&AA=F4@
M8VAO<V5N('1H:7,*:6UP;&5M96YT871I;VX@87,@:70@:7,@<W5F9FEC:65N
M="!F;W(@;6]S="!A<'!L:6-A=&EO;G,L(&%N9"!I="!I<PIM=6-H(&UO<F4@
M969F:6-I96YT('1H86X@;W1H97(@<V]L=71I;VYS+B *"E-U8V@@86YO=&AE
M<B!S;VQU=&EO;B!W;W5L9"P@92YG+B!B92!T:&4@9F]L;&]W:6YG.B *0V]M
M<'5T97,@86QL(&-L;W-U<F4@<&]S<VEB;&ET:65S(&9O<B!E86-H('!A=&@@
M86YD('1H96X@8V]M<'5T92!T:&4@"F!G<F5A=&5S="!A9W)E96UE;G0G+B *
M5&AI<R!S=')A=&5G>2!W;W5L9"!S;VQV92!T:&4@9VEV96X@8VAA;&QE;F=E
M('!R;V)L96TL(&)U="!W;W5L9" *:6YT<F]D=6-E(&5N;W)M;W5S(&-O;7!U
M=&%T:6]N<R!F;W(@;W1H97(@97AA;7!L97,N"@I792!A<F4@87=A<F4@;V8@
M=&AI<R!P<F]B;&5M(&%N9"!T:&5R92!A<F4@86QS;R!O=&AE<B!E>&%M<&QE
M<R!W:&5R92 *=&AI<R!F86-T(&-A;B!B92!D971E8W1E9"X@2&]W979E<BP@
M=&AE<V4@97AA;7!L97,@9&\@;F]T(&]C8W5R('9E<GD*;V9T96X@*'=E(&1I
M<V-O=F5R960@;VYL>2 Q(&EN('1H92 T-B!B96YC:&UA<FMS(&]F(%!E;&QE
M=&EE<BDN"@H*"EQS96-T:6]N>TAO=R!C86X@=&AO<V4@<')O8FQE;7,@8F4@
M<')O=F5N(&)Y('1H92!&05535"!P86-K86=E/WT*"E1H97)E(&%R92!S;VUE
M('-I;7!L92!T<FEC:W,@:&]W('1H97-E('!R;V)L96US(&-A;B!B92!N979E
M<G1H96QE<W,*8F4@<')O=F5N(&%L;6]S="!A=71O;6%T:6-A;&QY(&)Y($9!
M55-4+B!&;W(@97AA;7!L92P@<V]M971I;65S(&ET"FES('-U9F9I8VEE;G0@
M=&\@8VAA;F=E(&$@<W5B9F]R;75L864@)&%<=V5D9V4@8B0@:6YT;R D8EQW
M961G92!A) IS=6-H('1H870@82!L969T('!A=&@@:7,@97AC:&%N9V5D(&)Y
M('1H92!C;W)R97-P;VYD:6YG(')I9VAT('!A=&@N"DAO=V5V97(L($D@8V]U
M;&0@;F]T(&UA;F%G92!T;R!D;R!T:&4@86)O=F4@<')O;V8@8GD@<W5C:"!A
M( IC:&%N9V4N"@H*"@I<<V5C=&EO;GM$;VEN9R!T:&4@<')O;V8@8GD@:&%N
M9'T*5&AE<F4@87)E(&%L<V\@<V]M92!T86-T:6-S('=H:6-H(&%L;&]W('1O
M(&1O(&9I<G-T+6]R9&5R('!R;V]F<PIQ=6ET92!C;VYV96YI96YT;'D@8GD@
M:&%N9"X*5&AE<F5F;W)E('=E(&AA=F4@:6UP;&5M96YT960@=&AE(&9O;&QO
M=VEN9R!T86-T:6-S.B!.14=<7U-+3TQ%35Q?5$%#"G=H:6-H('-K;VQE;6EZ
M97,@82!G:79E;B!G;V%L(&%N9"!$14507%])3E-404Y#15Q?5$%#('=H:6-H
M(&%L;&]W<PIT;R!I;G-T86YT:6%T97,@86X@87)B:71R87)Y(&1E97 @;F5S
M=&5D('%U86YT:69I960@<W5B9F]R;75L82X*5&AE(&9O;&QO=VEN9R!P<F]O
M9B!S:W)I<'0@:6QL=7-T<F%T97,@<W5C:"!A('!R;V]F(&UA9&4@8GD@:&%N
M9"X*270@<VAO=6QD(&)E(&UE;G1I;VYE9"!T:&%T(&]N;'D@=&AR964@87!P
M;&EC871I;VYS(&]F($1%15!<7TE.4U1!3D-%7%]404,*:&%V92!B965N(')E
M<75I<F5D(&9O<B!T:&ES('!R;V]F+"!T:&4@<F5M86EN:6YG('1A8W1I8R!A
M<'!L:6-A=&EO;G,*:&%V92!A;'=A>7,@=&\@8F4@<&5R9F]R;65D(&%N9"!C
M;W5L9"!T:&5R969O<F4@8F4@<W5M;6%R:7IE9"!T;R!A('-I;F=L92!O;F4N
M"E1H92!I;G-T86YT:6%T:6]N<R!H879E(&)E96X@8V]M<'5T960@8GD@1D%5
M4U0@:6X@=&AE(&9O;&QO=VEN9R!W87DZ(%=E(&AA=F4@82!M;V1U;&4*=VAI
M8V@@9V5N97)A=&5S('1A8FQE874@9W)A<&AS('=H:6-H(&-A;B!B92!V:7-U
M86QI>F5D('5N9&5R(%AW:6YD;W=S( HH=&AI<R!M;V1U;&4@=7-E<R!A(&=R
M87!H(&5D:71O<B!A;F0@:7,@=&AE<F5F;W)E(&YO="!D:7-T<FEB=71E9"!W
M:71H"F]U<B!P=6)L:6,@9&]M86EN('9E<G-I;VXI+B!4:&5S92!T86)L96%U
M(&=R87!H<R!A<F4@97AT96YD960@8GD@86QL( IP;W-S:6)L92!U;FEF:6-A
M=&EO;B!L:6YK<R!W:&EC:"!A<F4@97AA8W1L>2!T:&4@:6YS=&%N=&EA=&EO
M;G,@9VEV96X*8F5L;W<N($AO=V5V97(L(&ET('=A<R!T:&4@=&%S:R!O9B!T
M:&4@=7-E<B!T;R!C;VUB:6YE('1H92!R:6=H=" *<W5B<W1I='5T:6]N<R!T
M;R!A('-I;F=L92!O;F4@=VAI8V@@8VQO<V5S('1H92!W:&]L92!G<F%P:"X*
M"@I<8F5G:6Y[=F5R8F%T:6U]"EQS;6%L; HM('9A;"!T,2 ]"CT@+2U@(5 @
M42!2+@H@("%X.B=A+B _=BX@/W<N("%F,2X@(68R.B=B+@H@(" @*"A0('@@
M+UP@42!F,2D@/3T^("@H4"!V(%PO(%(@=RD@("]<("A2(&8R(#T]/B!1('8I
M*2E@+2T["CT@/2!V86P@=#$@/0H@("@M+6 A4"!1(%(@>"X*(" @(" @(" _
M=B!W+B A9C$@9C(N(% @>" O7"!1(&8Q(#T]/B H4"!V(%PO(%(@=RD@+UP@
M*%(@9C(@/3T^(%$@=BE@+2TI(#H@=&5R;0HM('-E=%]G;V%L("A;72QT,2D[
M"B@M+6 A4"!1(%(@>"X@/W8@=RX@(68Q(&8R+B!0('@@+UP@42!F,2 ]/3X@
M*% @=B!<+R!2('<I("]<("A2(&8R(#T]/B!1('8I8"TM*0H]/3T]/3T]/3T]
M/3T]/3T]/3T]/3T]/3T]/3T]/0H*"G9A;"!I=" ]("@I(#H@=6YI= HM(&4H
M4D5014%4($=%3E]404,I.PI/2RXN"C$@<W5B9V]A;#H**"TM8#]V('<N("%F
M,2!F,BX@4"!X("]<(%$@9C$@/3T^("A0('8@7"\@4B!W*2 O7" H4B!F,B ]
M/3X@42!V*6 M+2D*/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T*"@IV
M86P@:70@/2 H*2 Z('5N:70*+2!E*$Y%1U]32T],14U?5$%#*3L*3TLN+@HQ
M('-U8F=O86PZ"B@M+6!^*"%V('<N"B @(" @(" _9C(N("A0('@@+UP@42 H
M9C$@=B!W*2D@+UP@*'XH4"!V*2 O7"!^*%(@=RD@7"\@4B!F,B O7"!^*%$@
M=BDI*6 M+2D*/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T*"@IV86P@
M:70@/2 H*2 Z('5N:70*+2!E*$Y%1U]32T],14U?5$%#*3L*3TLN+@HQ('-U
M8F=O86PZ"B@M+6!^*"%V('<N"B @(" @(" H4"!X("]<(%$@*&8Q('8@=RDI
M("]<("A^*% @=BD@+UP@?BA2('<I(%PO(%(@*&8R('8@=RD@+UP@?BA1('8I
M*2E@+2TI"CT]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]"@H*=F%L(&ET
M(#T@*"D@.B!U;FET"BT@=F%L('0R(#T@9&5S=%]N96<@*"!S;F0H=&]P7V=O
M86PH*2DI.PIV86P@=#(@/0H@("@M+6 A=B!W+@H@(" @(" @("A0('@@+UP@
M42 H9C$@=B!W*2D@+UP@*'XH4"!V*2 O7"!^*%(@=RD@7"\@4B H9C(@=B!W
M*2 O7"!^*%$@=BDI8"TM*0H@(#H@=&5R;0HM(&4H1$5%4%])3E-404Y#15]4
M04,@6RAT,BQ;+2U@>#HG86 M+2PM+6 H9C$Z)V$M/B=B+3XG82D@>"!M,F M
M+5TI72!42$5.(%)%5U))5$5?5$%#6UTI.PI/2RXN"C$@<W5B9V]A;#H**"TM
M8'XH*"%W+@H@(" @(" @("A0('@@+UP@42 H9C$@>"!W*2D@+UP@*'XH4"!X
M*2 O7"!^*%(@=RD@7"\@4B H9C(@>"!W*2 O7"!^*%$@>"DI*2 O7 H@(" @
M(" H(7<N"B @(" @(" @*% @>" O7"!1("AF,2 H9C$@>"!M,BD@=RDI("]<
M"B @(" @(" @*'XH4" H9C$@>"!M,BDI("]<('XH4B!W*2!<+PH@(" @(" @
M("!2("AF,B H9C$@>"!M,BD@=RD@+UP@?BA1("AF,2!X(&TR*2DI*2E@+2TI
M"CT]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]"@H*=F%L(&ET(#T@*"D@
M.B!U;FET"BT@=F%L('0R(#T@<VYD*'1O<%]G;V%L*"DI.PIV86P@=#(@/0H@
M("@M+6!^*"@A=RX*(" @(" @(" @("A0('@@+UP@42 H9C$@>"!W*2D@+UP@
M*'XH4"!X*2 O7"!^*%(@=RD@7"\@4B H9C(@>"!W*2 O7"!^*%$@>"DI*2 O
M7 H@(" @(" @("@A=RX*(" @(" @(" @("A0('@@+UP@42 H9C$@*&8Q('@@
M;3(I('<I*2 O7 H@(" @(" @(" @*'XH4" H9C$@>"!M,BDI("]<('XH4B!W
M*2!<+PH@(" @(" @(" @(%(@*&8R("AF,2!X(&TR*2!W*2 O7"!^*%$@*&8Q
M('@@;3(I*2DI*6 M+2D@.B!T97)M"BT@=F%L('0S(#T@9&5S=%]N96<@=#([
M"G9A;"!T,R ]"B @*"TM8"@A=RX*(" @(" @(" H4"!X("]<(%$@*&8Q('@@
M=RDI("]<("A^*% @>"D@+UP@?BA2('<I(%PO(%(@*&8R('@@=RD@+UP@?BA1
M('@I*2D@+UP*(" @(" @*"%W+@H@(" @(" @("A0('@@+UP@42 H9C$@*&8Q
M('@@;3(I('<I*2 O7 H@(" @(" @("A^*% @*&8Q('@@;3(I*2 O7"!^*%(@
M=RD@7"\@4B H9C(@*&8Q('@@;3(I('<I("]<('XH42 H9C$@>"!M,BDI*2E@
M+2TI"B @.B!T97)M"BT@=F%L('MC;VYJ,2 ]('0S,2QC;VYJ,CUT,S)](#T@
M9&5S=%]C;VYJ('0S.PIV86P@=#,Q(#T*(" H+2U@(7<N("A0('@@+UP@42 H
M9C$@>"!W*2D@+UP@*'XH4"!X*2 O7"!^*%(@=RD@7"\@4B H9C(@>"!W*2 O
M7"!^*%$@>"DI8"TM*0H@(#H@=&5R;0IV86P@=#,R(#T*(" H+2U@(7<N"B @
M(" @(" @*% @>" O7"!1("AF,2 H9C$@>"!M,BD@=RDI("]<"B @(" @(" @
M*'XH4" H9C$@>"!M,BDI("]<('XH4B!W*2!<+R!2("AF,B H9C$@>"!M,BD@
M=RD@+UP@?BA1("AF,2!X(&TR*2DI8"TM*0H@(#H@=&5R;0HM(&4H1$5%4%])
M3E-404Y#15]404,@6RAT,S$L6RTM8&TR.B=B8"TM72E=(%1(14X@4D574DE4
M15]404-;72D["D]++BX*,2!S=6)G;V%L.@HH+2U@?B@H*% @>" O7"!1("AF
M,2!X(&TR*2D@+UP@*'XH4"!X*2 O7"!^*%(@;3(I(%PO(%(@*&8R('@@;3(I
M("]<('XH42!X*2DI("]<"B @(" @("@A=RX*(" @(" @(" H4"!X("]<(%$@
M*&8Q("AF,2!X(&TR*2!W*2D@+UP*(" @(" @(" H?BA0("AF,2!X(&TR*2D@
M+UP@?BA2('<I(%PO"B @(" @(" @(%(@*&8R("AF,2!X(&TR*2!W*2 O7"!^
M*%$@*&8Q('@@;3(I*2DI*6 M+2D*/3T]/3T]/3T]/3T]/3T]/3T]/3T]/3T]
M/3T]/3T*"@IV86P@:70@/2 H*2 Z('5N:70*+2!E*$1%15!?24Y35$%.0T5?
M5$%#(%LH=#,R+%LM+6 H9C(Z)V$M/B=B+3XG8BD@>"!M,F M+5TI72!42$5.
M(%)%5U))5$5?5$%#6UTI.PI/2RXN"C$@<W5B9V]A;#H**"TM8'XH*"A0('@@
M+UP@42 H9C$@>"!M,BDI("]<("A^*% @>"D@+UP@?BA2(&TR*2!<+R!2("AF
M,B!X(&TR*2 O7"!^*%$@>"DI*2 O7 H@(" @(" H4"!X("]<(%$@*&8Q("AF
M,2!X(&TR*2 H9C(@>"!M,BDI*2 O7 H@(" @(" H?BA0("AF,2!X(&TR*2D@
M+UP@?BA2("AF,B!X(&TR*2D@7"\*(" @(" @(%(@*&8R("AF,2!X(&TR*2 H
M9C(@>"!M,BDI("]<('XH42 H9C$@>"!M,BDI*2E@+2TI"CT]/3T]/3T]/3T]
M/3T]/3T]/3T]/3T]/3T]/3T]"@H*=F%L(&ET(#T@*"D@.B!U;FET"BT@5$%5
M5%]404,["G-T9%]I;CHQ-3@V+C$M,34X-BXX($5R<F]R.B!U;F)O=6YD('9A
M<FEA8FQE(&]R(&-O;G-T<G5C=&]R.B!405547U1!0PHM(&4H<'!?4TA!3DY/
M3E]404,@<W1D7V]U="D["D]++BX*06)S=')A8W1I;F<@=&\@<')O<&]S:71I
M;VYA;"!L;V=I8SH*?B@H*' Q("]<(' R*2 O7" H?G Q("]<('YP,R!<+R!P
M-" O7"!^<#4I*2 O7 H@("AP,2 O7"!P-BD@+UP*(" H?G W("]<('YP-"!<
M+R!P." O7"!^<#(I*0I';V%L('!R;W9E9"X*?"T@?B@H*% @>" O7"!1("AF
M,2!X(&TR*2D@+UP@*'XH4"!X*2 O7"!^*%(@;3(I(%PO(%(@*&8R('@@;3(I
M("]<('XH42!X*2DI("]<"B @(" @*% @>" O7"!1("AF,2 H9C$@>"!M,BD@
M*&8R('@@;3(I*2D@+UP*(" @(" H?BA0("AF,2!X(&TR*2D@+UP@?BA2("AF
M,B!X(&TR*2D@7"\*(" @(" @4B H9C(@*&8Q('@@;3(I("AF,B!X(&TR*2D@
M+UP@?BA1("AF,2!X(&TR*2DI*0H*1V]A;"!P<F]V960N"GPM('XH*"A0('@@
M+UP@42 H9C$@>"!M,BDI("]<("A^*% @>"D@+UP@?BA2(&TR*2!<+R!2("AF
M,B!X(&TR*2 O7"!^*%$@>"DI*2 O7 H@(" @("@A=RX*(" @(" @("A0('@@
M+UP@42 H9C$@*&8Q('@@;3(I('<I*2 O7 H@(" @(" @*'XH4" H9C$@>"!M
M,BDI("]<('XH4B!W*2!<+R!2("AF,B H9C$@>"!M,BD@=RD@+UP@?BA1("AF
M,2!X(&TR*2DI*2D*"D=O86P@<')O=F5D+@I\+2!^*"@A=RX@*% @>" O7"!1
M("AF,2!X('<I*2 O7" H?BA0('@I("]<('XH4B!W*2!<+R!2("AF,B!X('<I
M("]<('XH42!X*2DI("]<"B @(" @*"%W+@H@(" @(" @*% @>" O7"!1("AF
M,2 H9C$@>"!M,BD@=RDI("]<"B @(" @(" H?BA0("AF,2!X(&TR*2D@+UP@
M?BA2('<I(%PO(%(@*&8R("AF,2!X(&TR*2!W*2 O7"!^*%$@*&8Q('@@;3(I
M*2DI*0H*1V]A;"!P<F]V960N"GPM('XH(78@=RX@*% @>" O7"!1("AF,2!V
M('<I*2 O7" H?BA0('8I("]<('XH4B!W*2!<+R!2("AF,B!V('<I("]<('XH
M42!V*2DI"@I';V%L('!R;W9E9"X*?"T@?B@A=B!W+B _9C(N("A0('@@+UP@
M42 H9C$@=B!W*2D@+UP@*'XH4"!V*2 O7"!^*%(@=RD@7"\@4B!F,B O7"!^
M*%$@=BDI*0H*1V]A;"!P<F]V960N"GPM(#]V('<N("%F,2!F,BX@4"!X("]<
M(%$@9C$@/3T^("A0('8@7"\@4B!W*2 O7" H4B!F,B ]/3X@42!V*0H*1V]A
M;"!P<F]V960N"GPM("%0(%$@4B!X+B _=B!W+B A9C$@9C(N(% @>" O7"!1
M(&8Q(#T]/B H4"!V(%PO(%(@=RD@+UP@*%(@9C(@/3T^(%$@=BD*"E1O<"!G
M;V%L('!R;W9E9"X*"EQE;F1[=F5R8F%T:6U]"@H*7&5N9'MD;V-U;65N='T*
M(&-L;W-E9"!B>2!T=V\@<W5B<W1I='5T:6]N<R D7'-I9VUA7WLQ,7T@/2!;
M;5\S7&QE9G1A<G)O=R!X720*86YD("1<<VEG;6%?>S$R?2 ](%MM7S1<;&5F
M=&%R<F]W(&9C:&%L;&5N9V4N97!S                                
M                                                            
M                        (" @-C0P(  @,3<U,C @ " @,30T-"  (" @
M(" @,3,R-34@(#4T-3$V,C4T,C,@(" V-S T "                      
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                 "4A4%,M061O8F4M,BXP($504T8*
M)254:71L93H@+W1M<"]X9FEG+69I9S P.34R. HE)4-R96%T;W(Z(&9I9S)D
M978*)25#<F5A=&EO;D1A=&4Z($UO;B!397 @,C<@,38Z-#<Z,3,@,3DY,PHE
M)49O<CH@<V-H;F5I9&5 :3@P<S,U("AS8VAN96ED92D*)25";W5N9&EN9T)O
M>#H@," P(#4R-B S-C4*)25086=E<SH@, HE)45N9$-O;6UE;G1S"B\D1C)P
M<T1I8W0@,C P(&1I8W0@9&5F( HD1C)P<T1I8W0@8F5G:6X*)$8R<'-$:6-T
M("]M=')X(&UA=')I>"!P=70*+VP@>VQI;F5T;WT@8FEN9"!D968*+VT@>VUO
M=F5T;WT@8FEN9"!D968*+W,@>W-T<F]K97T@8FEN9"!D968*+VX@>VYE=W!A
M=&A](&)I;F0@9&5F"B]G<R![9W-A=F5](&)I;F0@9&5F"B]G<B![9W)E<W1O
M<F5](&)I;F0@9&5F"B]C;' @>V-L;W-E<&%T:'T@8FEN9"!D968*+V=R87EC
M;VP@>V1U<"!D=7 @8W5R<F5N=')G8F-O;&]R(#0@+3(@<F]L;"!M=6P@-" M
M,B!R;VQL(&UU; HT("TR(')O;&P@;75L('-E=')G8F-O;&]R?2!B:6YD(&1E
M9@HO8V]L+3$@>WT@9&5F"B]C;VPP('LP(# @,"!S971R9V)C;VQO<GT@8FEN
M9"!D968*+V-O;#$@>S @," Q('-E=')G8F-O;&]R?2!B:6YD(&1E9@HO8V]L
M,B![," Q(# @<V5T<F=B8V]L;W)](&)I;F0@9&5F"B]C;VPS('LP(#$@,2!S
M971R9V)C;VQO<GT@8FEN9"!D968*+V-O;#0@>S$@," P('-E=')G8F-O;&]R
M?2!B:6YD(&1E9@HO8V]L-2![,2 P(#$@<V5T<F=B8V]L;W)](&)I;F0@9&5F
M"B]C;VPV('LQ(#$@,"!S971R9V)C;VQO<GT@8FEN9"!D968*+V-O;#<@>S$@
M,2 Q('-E=')G8F-O;&]R?2!B:6YD(&1E9@H)96YD"B\D1C)P<T)E9VEN('LD
M1C)P<T1I8W0@8F5G:6X@+R1&,G!S16YT97)E9%-T871E('-A=F4@9&5F?2!D
M968*+R1&,G!S16YD('LD1C)P<T5N=&5R9613=&%T92!R97-T;W)E(&5N9'T@
M9&5F"B4E16YD4')O;&]G"@HD1C)P<T)E9VEN"C @<V5T;&EN96-A<" P('-E
M=&QI;F5J;VEN"BTQ."XP(#,W."XP('1R86YS;&%T92 P+CDP," M,"XY,# @
M<V-A;&4*,"XU,# @<V5T;&EN97=I9'1H"B4@4&]L>6QI;F4*;B R,#0@,3$R
M(&T@,C T(#8R(&P@(#$P," V,B!L(" Q,# @,3$R(&P@"B!C;' @9W,@8V]L
M+3$@<R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3,N,# @<V-A;&5F;VYT
M('-E=&9O;G0*,3$R(#@T(&T@"F=S(#$@+3$@<V-A;&4@*%0@4%PH>%PI*2!C
M;VPM,2!S:&]W(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,RXP,"!S8V%L
M969O;G0@<V5T9F]N= HQ,3(@,3 T(&T@"F=S(#$@+3$@<V-A;&4@*%0@45PH
M9C%<*&TQ+&TR7"E<*2D@8V]L+3$@<VAO=R!G<@HE(%!O;'EL:6YE"FX@,3 P
M(#$Y,B!M(#$P," Q-#D@;" @,S8@,30Y(&P@(#,V(#$Y,B!L( H@8VQP(&=S
M(&-O;"TQ(',@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$S+C P('-C86QE
M9F]N="!S971F;VYT"C0V(#$V-B!M( IG<R Q("TQ('-C86QE("A&(%!<*&TQ
M7"DI(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$S+C P
M('-C86QE9F]N="!S971F;VYT"C0V(#$X-2!M( IG<R Q("TQ('-C86QE("A&
M(%)<*&TR7"DI(&-O;"TQ('-H;W<@9W(*)2!0;VQY;&EN90IN(#(V.2 Q.3D@
M;2 R-CD@,30Y(&P@(#$V," Q-#D@;" @,38P(#$Y.2!L( H@8VQP(&=S(&-O
M;"TQ(',@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$S+C P('-C86QE9F]N
M="!S971F;VYT"C$W,B Q-S$@;2 *9W,@,2 M,2!S8V%L92 H5"!27"AF,EPH
M;3$L;3)<*5PI*2!C;VPM,2!S:&]W(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N
M=" Q,RXP,"!S8V%L969O;G0@<V5T9F]N= HQ-S(@,3DQ(&T@"F=S(#$@+3$@
M<V-A;&4@*$8@45PH;3%<*2D@8V]L+3$@<VAO=R!G<@HE(%!O;'EL:6YE"FX@
M-C(@,30Y(&T@,30T(#$Q,B!L(&=S(&-O;"TQ(',@9W(*)2!0;VQY;&EN90IN
M(#$T-" Q,3(@;2 R,#D@,30Y(&P@9W,@8V]L+3$@<R!G<@HE(%!O;'EL:6YE
M"FX@,C8@,30@;2 Q.2 Q-" Q.2 R,#(@-R!A<F-T;R T('MP;W!](')E<&5A
M=" Q.2 R,#D@,C<S(#(P.2 W(&%R8W1O(#0@>W!O<'T@<F5P96%T(#(X," R
M,#D@,C@P(#(Q(#<@87)C=&\@-"![<&]P?2!R97!E870@,C@P(#$T(#(V(#$T
M(#<@87)C=&\@-"![<&]P?2!R97!E870@8VQP(&=S(&-O;"TQ(',@9W(*)2!0
M;VQY;&EN90IN(#$Y(#0W(&T@,C@P(#0W(&P@9W,@8V]L+3$@<R!G<@HO5&EM
M97,M4F]M86X@9FEN9&9O;G0@,3,N,# @<V-A;&5F;VYT('-E=&9O;G0*-3<@
M,S8@;2 *9W,@,2 M,2!S8V%L92 H;3$L;3(@87)E('-U8G-T:71U=&%B;&4@
M=F%R:6%B;&5S*2!C;VPM,2!S:&]W(&=R"B4@4&]L>6QI;F4*;B T-SD@-3D@
M;2 T-SD@,30@;" @,S@T(#$T(&P@(#,X-" U.2!L( H@8VQP(&=S(&-O;"TQ
M(',@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S
M971F;VYT"C,Y-" S-"!M( IG<R Q("TQ('-C86QE("A4(%!<*'A<*2D@8V]L
M+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F
M;VYT('-E=&9O;G0*,SDT(#4R(&T@"F=S(#$@+3$@<V-A;&4@*%0@45PH9C%<
M*'@L;3)<*5PI*2!C;VPM,2!S:&]W(&=R"B4@4&]L>6QI;F4*;B S.#0@,3,T
M(&T@,S@T(#DT(&P@(#,R-" Y-"!L(" S,C0@,3,T(&P@"B!C;' @9W,@8V]L
M+3$@<R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT
M('-E=&9O;G0*,S,T(#$R-R!M( IG<R Q("TQ('-C86QE("A&(%)<*&TR7"DI
M(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C
M86QE9F]N="!S971F;VYT"C,S-" Q,#D@;2 *9W,@,2 M,2!S8V%L92 H1B!0
M7"AX7"DI(&-O;"TQ('-H;W<@9W(*)2!0;VQY;&EN90IN(#4S.2 Q,SD@;2 U
M,SD@.30@;" @-#,Y(#DT(&P@(#0S.2 Q,SD@;" *(&-L<"!G<R!C;VPM,2!S
M(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T
M9F]N= HT-#D@,3,R(&T@"F=S(#$@+3$@<V-A;&4@*$8@45PH>%PI*2!C;VPM
M,2!S:&]W(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O
M;G0@<V5T9F]N= HT-#D@,3$T(&T@"F=S(#$@+3$@<V-A;&4@*%0@4EPH9C)<
M*'@L;3)<*5PI*2!C;VPM,2!S:&]W(&=R"B4@4&]L>6QI;F4*;B T,#0@,S Y
M(&T@-#<Y(#(W-"!L(&=S(&-O;"TQ(',@9W(*)2!0;VQY;&EN90IN(#0W.2 R
M-S0@;2 U,SD@,S Y(&P@9W,@8V]L+3$@<R!G<@HE(%!O;'EL:6YE"FX@,S<Q
M(#$X-"!M(#,V-" Q.#0@,S8T(#,U-R W(&%R8W1O(#0@>W!O<'T@<F5P96%T
M(#,V-" S-C0@-3DW(#,V-" W(&%R8W1O(#0@>W!O<'T@<F5P96%T(#8P-" S
M-C0@-C T(#$Y,2 W(&%R8W1O(#0@>W!O<'T@<F5P96%T(#8P-" Q.#0@,S<Q
M(#$X-" W(&%R8W1O(#0@>W!O<'T@<F5P96%T(&-L<"!G<R!C;VPM,2!S(&=R
M"B4@4&]L>6QI;F4*;B S-C0@,C$T(&T@-C T(#(Q-"!L(&=S(&-O;"TQ(',@
M9W(*)2!0;VQY;&EN90IN(#4Y-" S-30@;2 U.30@,S Y(&P@(#0Y-" S,#D@
M;" @-#DT(#,U-"!L( H@8VQP(&=S(&-O;"TQ(',@9W(*)2!0;VQY;&EN90IN
M(#0S.2 S-#D@;2 S-SD@,S0Y(&P@(#,W.2 S,#D@;" @-#,Y(#,P.2!L( H@
M8VQP(&=S(&-O;"TQ(',@9W(*)2!0;VQY;&EN90IN(#4S-" R-S0@;2 U,S0@
M,C(Y(&P@(#0S.2 R,CD@;" @-#,Y(#(W-"!L( H@8VQP(&=S(&-O;"TQ(',@
M9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F
M;VYT"C,Y.2 R,#0@;2 *9W,@,2 M,2!S8V%L92 H;3,L;30@87)E('-U8G-T
M:71U=&%B;&4@=F%R:6%B;&5S*2!C;VPM,2!S:&]W(&=R"B]4:6UE<RU2;VUA
M;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HT-#D@,C0Y(&T@
M"F=S(#$@+3$@<V-A;&4@*%0@4%PH>%PI*2!C;VPM,2!S:&]W(&=R"B]4:6UE
M<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HT-#D@
M,C8W(&T@"F=S(#$@+3$@<V-A;&4@*%0@45PH9C%<*&TS+&TT7"E<*2D@8V]L
M+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F
M;VYT('-E=&9O;G0*,S@Y(#,R-"!M( IG<R Q("TQ('-C86QE("A&(%!<*&TS
M7"DI(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P
M('-C86QE9F]N="!S971F;VYT"C,X.2 S-#(@;2 *9W,@,2 M,2!S8V%L92 H
M1B!27"AM-%PI*2!C;VPM,2!S:&]W(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N
M=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HU,#0@,S(Y(&T@"F=S(#$@+3$@
M<V-A;&4@*%0@4EPH9C)<*&TS+&TT7"E<*2D@8V]L+3$@<VAO=R!G<@HO5&EM
M97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT('-E=&9O;G0*-3 T
M(#,T-R!M( IG<R Q("TQ('-C86QE("A&(%%<*&TS7"DI(&-O;"TQ('-H;W<@
M9W(*+U-Y;6)O;"!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HT
M.#D@-#$T(&T@"F=S(#$@+3$@<V-A;&4@*',I(&-O;"TQ('-H;W<@9W(*+U1I
M;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C0Y
M-" T,3D@;2 *9W,@,2 M,2!S8V%L92 H,C(I(&-O;"TQ('-H;W<@9W(*+U-Y
M;6)O;"!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HT.#D@,SDT
M(&T@"F=S(#$@+3$@<V-A;&4@*',I(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O
M;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C0Y-" S.3D@
M;2 *9W,@,2 M,2!S8V%L92 H,C$I(&-O;"TQ('-H;W<@9W(*+U-Y;6)O;"!F
M:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HS-30@-#$T(&T@"F=S
M(#$@+3$@<V-A;&4@*',I(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I
M;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C,U.2 T,3D@;2 *9W,@
M,2 M,2!S8V%L92 H,3(I(&-O;"TQ('-H;W<@9W(*+U-Y;6)O;"!F:6YD9F]N
M=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HS-30@,SDT(&T@"F=S(#$@+3$@
M<V-A;&4@*',I(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT
M(#$R+C P('-C86QE9F]N="!S971F;VYT"C,U.2 S.3D@;2 *9W,@,2 M,2!S
M8V%L92 H,3$I(&-O;"TQ('-H;W<@9W(*;B S-C0N-#(U(#<P+C@T," T."XU
M,C,@,3,V+C@Y,2 M-3DN-3<R(&%R8PIG<R!C;VPM,2!S(&=R"B4@4&]L>6QI
M;F4*;B S-#D@.30@;2 T,C0@-3D@;"!G<R!C;VPM,2!S(&=R"B4@4&]L>6QI
M;F4*;B T,C0@-3D@;2 T.#0@.30@;"!G<R!C;VPM,2!S(&=R"B4@4&]L>6QI
M;F4*;B T.#D@,3,Y(&T@-#@Y(#$X-"!L(&=S(&-O;"TQ(',@9W(*+U1I;65S
M+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C0T(#(S
M.2!M( IG<R Q("TQ('-C86QE("AS=6(Q.B!M,2 \+2!X*2!C;VPM,2!S:&]W
M(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T
M9F]N= HS-CD@,SDY(&T@"F=S(#$@+3$@<V-A;&4@*" Z(&TS/"UX*2!C;VPM
M,2!S:&]W(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O
M;G0@<V5T9F]N= HS-CD@-#$W(&T@"F=S(#$@+3$@<V-A;&4@*" Z(&TT(#PM
M(&8R7"AX+&TR7"DI(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F
M;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C4P-" S.3D@;2 *9W,@,2 M
M,2!S8V%L92 H.B!M,R \+2!F,5PH>"QM,EPI*2!C;VPM,2!S:&]W(&=R"B]4
M:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HU
M,#0@-#$W(&T@"F=S(#$@+3$@<V-A;&4@*" Z(&TS(#PM(&8R7"AM,RQM-%PI
M*2!C;VPM,2!S:&]W(&=R"B1&,G!S16YD"BA0('8I("]<('XH4B!W*2!<+R!2
M("AF,B!V('<I("]<('XH42!V*2E@+2TI"B @.B!T97)M"BT@92A$14507TE.
M4U1!3D-%7U1!0R!;*'0R+%LM+6!X.B=A8"TM+"TM8"AF,3HG82T^)V(M/B=A
M*2!X(&TR8"TM72E=(%1(14X@4D574DE415]404-;72D["D]++BX*,2!S=6)G
M;V%L.@HH+2U@?B@H(7<N"B @(" @(" @*% @>" O7"!1("AF,2!X('<I*2 O
M7" H?BA0('@I("]<('XH4B!W*2!<+R!2("AF,B!X('<I("]<('XH42!X*2DI
M("]<"B @(" @("@A=RX*(" @(" @(" H4"!X("]<(%$@*&8Q("AF,2!X(&TR
M*2!W*2D@+UP*(" @(" @(" H?BA0("AF,2!X(&TR*2D@+UP@?BA2('<I(%PO
M"B @(                                                       
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                   H9C$@>"!M
M,BDI*2DI"@I';V%L('!R;W9E9"X*?"T@?B@A=B!W+B H4"!X("]<(%$@*&8Q
M('8@=RDI("]<("A^*% @=BD@+UP@?BA2('<I(%PO(%(@*&8R('8@=RD@+UP@
M?BA1('8I*2D*"D=O86P@<')O=F5D+@I\+2!^*"%V('<N(#]F,BX@*% @>" O
M7"!1("AF,2!V('<I*2 O7" H?BA0('8I("]<('XH4B!W*2!<+R!2(&8R("]<
M('XH42!V*2DI"@I';V%L('!R;W9E9"X*?"T@/W8@=RX@(68Q(&8R+B!0('@@
M+UP@42!F,2 ]/3X@*% @=B!<+R!2('<I("]<("A2(&8R(#T]/B!1('8I"@I'
M;V%L('!R;W9E9"X*?"T@(5 @42!2('@N(#]V('<N("%F,2!F,BX@4"!X("]<
M(%$@9C$@/3T^("A0('8@7"\@4B!W*2 O7" H4B!F,B ]/3X@42!V*0H*5&]P
M(&=O86P@<')O=F5D+@H*7&5N9'MV97)B871I;7T*"@I<96YD>V1O8W5M96YT
M?0H@8VQO<V5D(&)Y('1W;R!S=6)S=&ET=71I;VYS("1<<VEG;6%?>S$Q?2 ]
M(%MM7S-<;&5F=&%R<F]W('A=) IA;F0@)%QS:6=M85][,3)](#T@6VU?-%QL
M969T87)R;W<@9F-H86QL96YG92YE<',                             
M                                                            
M                           @(" V-# @ " Q-S4R,"  (" Q-#0T(  @
M(" @(" Q,S(U-2 @-30U,38R-30R,R @(#8W,#0 (                   
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                                            
M                                    )2%04RU!9&]B92TR+C @15!3
M1@HE)51I=&QE.B O=&UP+WAF:6<M9FEG,# Y-3(X"B4E0W)E871O<CH@9FEG
M,F1E=@HE)4-R96%T:6]N1&%T93H@36]N(%-E<" R-R Q-CHT-SHQ,R Q.3DS
M"B4E1F]R.B!S8VAN96ED94!I.#!S,S4@*'-C:&YE:61E*0HE)4)O=6YD:6YG
M0F]X.B P(# @-3(V(#,V-0HE)5!A9V5S.B P"B4E16YD0V]M;65N=',*+R1&
M,G!S1&EC=" R,# @9&EC="!D968@"B1&,G!S1&EC="!B96=I;@HD1C)P<T1I
M8W0@+VUT<G@@;6%T<FEX('!U= HO;"![;&EN971O?2!B:6YD(&1E9@HO;2![
M;6]V971O?2!B:6YD(&1E9@HO<R![<W1R;VME?2!B:6YD(&1E9@HO;B![;F5W
M<&%T:'T@8FEN9"!D968*+V=S('MG<V%V97T@8FEN9"!D968*+V=R('MG<F5S
M=&]R97T@8FEN9"!D968*+V-L<"![8VQO<V5P871H?2!B:6YD(&1E9@HO9W)A
M>6-O;"![9'5P(&1U<"!C=7)R96YT<F=B8V]L;W(@-" M,B!R;VQL(&UU;" T
M("TR(')O;&P@;75L"C0@+3(@<F]L;"!M=6P@<V5T<F=B8V]L;W)](&)I;F0@
M9&5F"B]C;VPM,2![?2!D968*+V-O;# @>S @," P('-E=')G8F-O;&]R?2!B
M:6YD(&1E9@HO8V]L,2![," P(#$@<V5T<F=B8V]L;W)](&)I;F0@9&5F"B]C
M;VPR('LP(#$@,"!S971R9V)C;VQO<GT@8FEN9"!D968*+V-O;#,@>S @,2 Q
M('-E=')G8F-O;&]R?2!B:6YD(&1E9@HO8V]L-"![,2 P(# @<V5T<F=B8V]L
M;W)](&)I;F0@9&5F"B]C;VPU('LQ(# @,2!S971R9V)C;VQO<GT@8FEN9"!D
M968*+V-O;#8@>S$@,2 P('-E=')G8F-O;&]R?2!B:6YD(&1E9@HO8V]L-R![
M,2 Q(#$@<V5T<F=B8V]L;W)](&)I;F0@9&5F"@EE;F0*+R1&,G!S0F5G:6X@
M>R1&,G!S1&EC="!B96=I;B O)$8R<'-%;G1E<F5D4W1A=&4@<V%V92!D969]
M(&1E9@HO)$8R<'-%;F0@>R1&,G!S16YT97)E9%-T871E(')E<W1O<F4@96YD
M?2!D968*)25%;F10<F]L;V<*"B1&,G!S0F5G:6X*,"!S971L:6YE8V%P(# @
M<V5T;&EN96IO:6X*+3$X+C @,S<X+C @=')A;G-L871E(# N.3 P("TP+CDP
M,"!S8V%L90HP+C4P,"!S971L:6YE=VED=&@*)2!0;VQY;&EN90IN(#(P-" Q
M,3(@;2 R,#0@-C(@;" @,3 P(#8R(&P@(#$P," Q,3(@;" *(&-L<"!G<R!C
M;VPM,2!S(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,RXP,"!S8V%L969O
M;G0@<V5T9F]N= HQ,3(@.#0@;2 *9W,@,2 M,2!S8V%L92 H5"!07"AX7"DI
M(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$S+C P('-C
M86QE9F]N="!S971F;VYT"C$Q,B Q,#0@;2 *9W,@,2 M,2!S8V%L92 H5"!1
M7"AF,5PH;3$L;3)<*5PI*2!C;VPM,2!S:&]W(&=R"B4@4&]L>6QI;F4*;B Q
M,# @,3DR(&T@,3 P(#$T.2!L(" S-B Q-#D@;" @,S8@,3DR(&P@"B!C;' @
M9W,@8V]L+3$@<R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3,N,# @<V-A
M;&5F;VYT('-E=&9O;G0*-#8@,38V(&T@"F=S(#$@+3$@<V-A;&4@*$8@4%PH
M;3%<*2D@8V]L+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3,N
M,# @<V-A;&5F;VYT('-E=&9O;G0*-#8@,3@U(&T@"F=S(#$@+3$@<V-A;&4@
M*$8@4EPH;3)<*2D@8V]L+3$@<VAO=R!G<@HE(%!O;'EL:6YE"FX@,C8Y(#$Y
M.2!M(#(V.2 Q-#D@;" @,38P(#$T.2!L(" Q-C @,3DY(&P@"B!C;' @9W,@
M8V]L+3$@<R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3,N,# @<V-A;&5F
M;VYT('-E=&9O;G0*,3<R(#$W,2!M( IG<R Q("TQ('-C86QE("A4(%)<*&8R
M7"AM,2QM,EPI7"DI(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F
M;VYT(#$S+C P('-C86QE9F]N="!S971F;VYT"C$W,B Q.3$@;2 *9W,@,2 M
M,2!S8V%L92 H1B!17"AM,5PI*2!C;VPM,2!S:&]W(&=R"B4@4&]L>6QI;F4*
M;B V,B Q-#D@;2 Q-#0@,3$R(&P@9W,@8V]L+3$@<R!G<@HE(%!O;'EL:6YE
M"FX@,30T(#$Q,B!M(#(P.2 Q-#D@;"!G<R!C;VPM,2!S(&=R"B4@4&]L>6QI
M;F4*;B R-B Q-"!M(#$Y(#$T(#$Y(#(P,B W(&%R8W1O(#0@>W!O<'T@<F5P
M96%T(#$Y(#(P.2 R-S,@,C Y(#<@87)C=&\@-"![<&]P?2!R97!E870@,C@P
M(#(P.2 R.# @,C$@-R!A<F-T;R T('MP;W!](')E<&5A=" R.# @,30@,C8@
M,30@-R!A<F-T;R T('MP;W!](')E<&5A="!C;' @9W,@8V]L+3$@<R!G<@HE
M(%!O;'EL:6YE"FX@,3D@-#<@;2 R.# @-#<@;"!G<R!C;VPM,2!S(&=R"B]4
M:6UE<RU2;VUA;B!F:6YD9F]N=" Q,RXP,"!S8V%L969O;G0@<V5T9F]N= HU
M-R S-B!M( IG<R Q("TQ('-C86QE("AM,2QM,B!A<F4@<W5B<W1I='5T86)L
M92!V87)I86)L97,I(&-O;"TQ('-H;W<@9W(*)2!0;VQY;&EN90IN(#0W.2 U
M.2!M(#0W.2 Q-"!L(" S.#0@,30@;" @,S@T(#4Y(&P@"B!C;' @9W,@8V]L
M+3$@<R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT
M('-E=&9O;G0*,SDT(#,T(&T@"F=S(#$@+3$@<V-A;&4@*%0@4%PH>%PI*2!C
M;VPM,2!S:&]W(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L
M969O;G0@<V5T9F]N= HS.30@-3(@;2 *9W,@,2 M,2!S8V%L92 H5"!17"AF
M,5PH>"QM,EPI7"DI(&-O;"TQ('-H;W<@9W(*)2!0;VQY;&EN90IN(#,X-" Q
M,S0@;2 S.#0@.30@;" @,S(T(#DT(&P@(#,R-" Q,S0@;" *(&-L<"!G<R!C
M;VPM,2!S(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O
M;G0@<V5T9F]N= HS,S0@,3(W(&T@"F=S(#$@+3$@<V-A;&4@*$8@4EPH;3)<
M*2D@8V]L+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N,# @
M<V-A;&5F;VYT('-E=&9O;G0*,S,T(#$P.2!M( IG<R Q("TQ('-C86QE("A&
M(%!<*'A<*2D@8V]L+3$@<VAO=R!G<@HE(%!O;'EL:6YE"FX@-3,Y(#$S.2!M
M(#4S.2 Y-"!L(" T,SD@.30@;" @-#,Y(#$S.2!L( H@8VQP(&=S(&-O;"TQ
M(',@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S
M971F;VYT"C0T.2 Q,S(@;2 *9W,@,2 M,2!S8V%L92 H1B!17"AX7"DI(&-O
M;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE
M9F]N="!S971F;VYT"C0T.2 Q,30@;2 *9W,@,2 M,2!S8V%L92 H5"!27"AF
M,EPH>"QM,EPI7"DI(&-O;"TQ('-H;W<@9W(*)2!0;VQY;&EN90IN(#0P-" S
M,#D@;2 T-SD@,C<T(&P@9W,@8V]L+3$@<R!G<@HE(%!O;'EL:6YE"FX@-#<Y
M(#(W-"!M(#4S.2 S,#D@;"!G<R!C;VPM,2!S(&=R"B4@4&]L>6QI;F4*;B S
M-S$@,3@T(&T@,S8T(#$X-" S-C0@,S4W(#<@87)C=&\@-"![<&]P?2!R97!E
M870@,S8T(#,V-" U.3<@,S8T(#<@87)C=&\@-"![<&]P?2!R97!E870@-C T
M(#,V-" V,#0@,3DQ(#<@87)C=&\@-"![<&]P?2!R97!E870@-C T(#$X-" S
M-S$@,3@T(#<@87)C=&\@-"![<&]P?2!R97!E870@8VQP(&=S(&-O;"TQ(',@
M9W(*)2!0;VQY;&EN90IN(#,V-" R,30@;2 V,#0@,C$T(&P@9W,@8V]L+3$@
M<R!G<@HE(%!O;'EL:6YE"FX@-3DT(#,U-"!M(#4Y-" S,#D@;" @-#DT(#,P
M.2!L(" T.30@,S4T(&P@"B!C;' @9W,@8V]L+3$@<R!G<@HE(%!O;'EL:6YE
M"FX@-#,Y(#,T.2!M(#,W.2 S-#D@;" @,S<Y(#,P.2!L(" T,SD@,S Y(&P@
M"B!C;' @9W,@8V]L+3$@<R!G<@HE(%!O;'EL:6YE"FX@-3,T(#(W-"!M(#4S
M-" R,CD@;" @-#,Y(#(R.2!L(" T,SD@,C<T(&P@"B!C;' @9W,@8V]L+3$@
M<R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT('-E
M=&9O;G0*,SDY(#(P-"!M( IG<R Q("TQ('-C86QE("AM,RQM-"!A<F4@<W5B
M<W1I='5T86)L92!V87)I86)L97,I(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O
M;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C0T.2 R-#D@
M;2 *9W,@,2 M,2!S8V%L92 H5"!07"AX7"DI(&-O;"TQ('-H;W<@9W(*+U1I
M;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C0T
M.2 R-C<@;2 *9W,@,2 M,2!S8V%L92 H5"!17"AF,5PH;3,L;31<*5PI*2!C
M;VPM,2!S:&]W(&=R"B]4:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L
M969O;G0@<V5T9F]N= HS.#D@,S(T(&T@"F=S(#$@+3$@<V-A;&4@*$8@4%PH
M;3-<*2D@8V]L+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N
M,# @<V-A;&5F;VYT('-E=&9O;G0*,S@Y(#,T,B!M( IG<R Q("TQ('-C86QE
M("A&(%)<*&TT7"DI(&-O;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F
M;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C4P-" S,CD@;2 *9W,@,2 M
M,2!S8V%L92 H5"!27"AF,EPH;3,L;31<*5PI*2!C;VPM,2!S:&]W(&=R"B]4
M:6UE<RU2;VUA;B!F:6YD9F]N=" Q,BXP,"!S8V%L969O;G0@<V5T9F]N= HU
M,#0@,S0W(&T@"F=S(#$@+3$@<V-A;&4@*$8@45PH;3-<*2D@8V]L+3$@<VAO
M=R!G<@HO4WEM8F]L(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT
M"C0X.2 T,30@;2 *9W,@,2 M,2!S8V%L92 H<RD@8V]L+3$@<VAO=R!G<@HO
M5&EM97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT('-E=&9O;G0*
M-#DT(#0Q.2!M( IG<R Q("TQ('-C86QE("@R,BD@8V]L+3$@<VAO=R!G<@HO
M4WEM8F]L(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C0X.2 S
M.30@;2 *9W,@,2 M,2!S8V%L92 H<RD@8V]L+3$@<VAO=R!G<@HO5&EM97,M
M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT('-E=&9O;G0*-#DT(#,Y
M.2!M( IG<R Q("TQ('-C86QE("@R,2D@8V]L+3$@<VAO=R!G<@HO4WEM8F]L
M(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C,U-" T,30@;2 *
M9W,@,2 M,2!S8V%L92 H<RD@8V]L+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@
M9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT('-E=&9O;G0*,S4Y(#0Q.2!M( IG
M<R Q("TQ('-C86QE("@Q,BD@8V]L+3$@<VAO=R!G<@HO4WEM8F]L(&9I;F1F
M;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT"C,U-" S.30@;2 *9W,@,2 M
M,2!S8V%L92 H<RD@8V]L+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@9FEN9&9O
M;G0@,3(N,# @<V-A;&5F;VYT('-E=&9O;G0*,S4Y(#,Y.2!M( IG<R Q("TQ
M('-C86QE("@Q,2D@8V]L+3$@<VAO=R!G<@IN(#,V-"XT,C4@-S N.#0P(#0X
M+C4R,R Q,S8N.#DQ("TU.2XU-S(@87)C"F=S(&-O;"TQ(',@9W(*)2!0;VQY
M;&EN90IN(#,T.2 Y-"!M(#0R-" U.2!L(&=S(&-O;"TQ(',@9W(*)2!0;VQY
M;&EN90IN(#0R-" U.2!M(#0X-" Y-"!L(&=S(&-O;"TQ(',@9W(*)2!0;VQY
M;&EN90IN(#0X.2 Q,SD@;2 T.#D@,3@T(&P@9W,@8V]L+3$@<R!G<@HO5&EM
M97,M4F]M86X@9FEN9&9O;G0@,3(N,# @<V-A;&5F;VYT('-E=&9O;G0*-#0@
M,C,Y(&T@"F=S(#$@+3$@<V-A;&4@*'-U8C$Z(&TQ(#PM('@I(&-O;"TQ('-H
M;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S
M971F;VYT"C,V.2 S.3D@;2 *9W,@,2 M,2!S8V%L92 H(#H@;3,\+7@I(&-O
M;"TQ('-H;W<@9W(*+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE
M9F]N="!S971F;VYT"C,V.2 T,3<@;2 *9W,@,2 M,2!S8V%L92 H(#H@;30@
M/"T@9C)<*'@L;3)<*2D@8V]L+3$@<VAO=R!G<@HO5&EM97,M4F]M86X@9FEN
M9&9O;G0@,3(N,# @<V-A;&5F;VYT('-E=&9O;G0*-3 T(#,Y.2!M( IG<R Q
M("TQ('-C86QE("@Z(&TS(#PM(&8Q7"AX+&TR7"DI(&-O;"TQ('-H;W<@9W(*
M+U1I;65S+5)O;6%N(&9I;F1F;VYT(#$R+C P('-C86QE9F]N="!S971F;VYT
M"C4P-" T,3<@;2 *9W,@,2 M,2!S8V%L92 H(#H@;3,@/"T@9C)<*&TS+&TT
M7"DI(&-O;"TQ('-H;W<@9W(*)$8R<'-%;F0**% @=BD@+UP@?BA2('<I(%PO
M(%(@*&8R('8@=RD@+UP@?BA1('8I*6 M+2D*(" Z('1E<FT*+2!E*$1%15!?
M24Y35$%.0T5?5$%#(%LH=#(L6RTM8'@Z)V%@+2TL+2U@*&8Q.B=A+3XG8BT^
M)V$I('@@;3)@+2U=*5T@5$A%3B!215=2251%7U1!0UM=*3L*3TLN+@HQ('-U
M8F=O86PZ"B@M+6!^*"@A=RX*(" @(" @(" H4"!X("]<(%$@*&8Q('@@=RDI
M("]<("A^*% @>"D@+UP@?BA2('<I(%PO(%(@*&8R('@@=RD@+UP@?BA1('@I
M*2D@+UP*(" @(" @*"%W+@H@(" @(" @("A0('@@+UP@42 H9C$@*&8Q('@@
M;3(I('<I*2 O7 H@(" @(" @("A^*% @*&8Q('@@;3(I*2 O7"!^*%(@=RD@
&7"\*(" @
 
end