Quantification and Domain Restriction in Basque
Urtzi Etxeberria
To cite this version:
Urtzi Etxeberria. Quantification and Domain Restriction in Basque. domain shs.langue.seman.
2006. English.
HAL Id: artxibo-00000053
https://tel.archives-ouvertes.fr/artxibo-00000053v1
Submitted on 5 Jan 2006 (v1), last revised 7 Jan 2010 (v3)
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
!
"
#
"
$
%
&
&
&
%
) "*
*
"
'
"
%
%
' '
(
+*
"
,
!
-
"
.
&
( /
"
%+
01 "
2
/
&
*
"
,
4
-
.
&
!"#
" %
( /
%+
05 %
/
&
2
) "*
1
$
) "2
% !&
)*
' !# ( ! ) "
) "
$"
% !&
' !# ( ! ) "
4
"
77 ' 9
/
77 ' :
$88 ' :
$88 ' "
'
$
<
=!
#
"
/
<
.
' ) "*>
#
4
=!
' +*>'
&"
$
) "*
/
+
0:
738'
77 ' 773' $88$ ' ;
"
%
"
6
77 ' #
"
"
%
"
"
&
2
3
+*
1
+2
) "*
+
*
1
) "2
)*
) "
*+
4
)
$88? ' @ "
$88$ ' $88$
#'
+*
%
773 ' + %
'
%
'
(
'
A
"
%
' #
&
%
"
%
:
%
#"
%
%
)
%
)
#"
:
%
%
'
'
"
"
'
&
%
:
%
&'
"
'
<
%
+*
"
&
% &
%
"
+*
1
'
?
7
B
%
%
9
B
'
.
"
"
"
&
"
"
A
"'
"
&
"
'
"
%
%
7
"
&
% %
'
77 ' +
"
77$ ' 6
C <
%
77
%
<
,
"
+ %
""
(
&
+*
"
"
"
"
"
"
'
'
&
"
"
&
:
@ "
$88$
"
A
"
"
""
!
'
&'
+*
"
&
"
&
/
.1
?$
9
4 1
"
%
4
)
"
% &
&
,
%'
"
&
,
B
)
%
&
"
77D
%
$88?
%
"
%,
/
"
"
773
77 ' +
77$ ' 6
??
C<
773 ' + %
"
?
(
%
77
$88? ' @ "
$88$
8
A
&
?D 1
?
A
#
"
'
:
%
"
'
"
#
%
%
#
,
-&". !
$88$
/
B
" 1
"!
A
)* E+*
)
,
'
.
$
!
%
?
?
"
$ !
9
6 "
"
"
""
"
+
" %
%
+
&
)
#
%
+
B
D'
78 "
%
"
*
<
%
,,
0"
!&
!
$
!
'
%
6 "
9
'
?
#"
?
# /
?
5
?
*
"
%
5
4
?'
"
"
:
?
%"
'
%
? '
&
? '
'
? '
'
'
:
1 /
2
0
""
:
%
"
<
2
%
77D
9
B
&"
1
(
F
&"
7
4
'
%
? $
$
1
+
! "
%
'
"
"
%
:
"
(
%
%
"
:
'
" "
%
D
#:
%
D
#:
%
D
#:
%
D
#:
%
1,
!0
%
G %
&
:
%
% (
$
"
"
"
"
78 "
%
"
$
%
&
"
"
%
"
.
H " ""
'
&
'
&
"
H
"
'
"
A
'
!
'
%
%
(
$
# @ "
J
$88$ . 87
'
D
I
"
"
%
"
∗:
%
∗:
% "
∗:
%
11
" %
! )!
" % /
!&
$
"
4
'
:
&
%
&"
""
3
+
&
""
%
+
3
∗9
3
∗5 %
3
∗#
1
.! !
%
""
3 -
:
&
"
&
%
( '
'
%
%
?
7
+
7
+
7
*
14
"
"
$'! *
!& -
4
0"
&
%
"
,
%
8
"
&
%
#
>
!
F
7
'F
%
778 '
"
/
"
"
/
"
8
'
"
#
E >
%
"
/
"
/
:
&"
"
&
.
#"
%#
)
D
G
'
)
"
%
))
!&2" " ) !
.
% - 2
4
"
$ !
%
'
77 ' +
% "
77$
% "
.
%
:
%
6
C<
"
&'
#
77 '
%
'
"
' &
$
"
!&2" "
%,
'
"5
"
&
$
$
B
/
'
%
69)
%
*
"
69)&=
*
&> =
. 0B
"
&>
'
"
2
&
&
4
'
&
"
"
4
%
"
'
%
&
%
&
∃
?
"%
∃&=
?
2
&C
"%
. 0B
" &' &
*
2
&>
&
"
#
F
"%
" 2
"
- =;
7 D'< "
77D '
73 ' ! "
? '
2
> =1
73$
>
+
&
%
77$
K*
&
G
'
%
%
77$
"
69)
4*
(
=1
"
+
' 4*>
1
1 (
K*
:
"
"
1
(
'
(
%
1
?
/
'
%
∃
<
?
D
"
&
&
G
'
(
%
=1
' 4*>
&
%
&
K*
'
69)
%'
(
%
?
,
.
! &"
!
!&2" "
7
%
!
"
9
'
'
"
"
"
%
&
2
'
773
%
"
&
D
"
%
5
"
"
"
%
%
'
%
+
77$
"
" +
%"
"
5
"
4*
"
'
"
"
/
0∩2
&
?
"
;
"
" (
!%
:
% +;:
%
%
.;
. I5
J
" K*
"
)
1
!
A"
3
D
)
D
+
&
∩
&
) "
∩
.
) "
%
→ . λ*
'
'
λ ι&=* & >
%
'
"
4 "
%
)*
& '
" &"
'
%
%
)
'
(
'
(
3
3 D'
&
9& "
%
" ?
""
%
" "
:
&
:
D
'
773.
&"
:
4
&"
%"
"
' I
""
(
"
=L > M '
%
(
""
( "
"
%'
J
( "
%
=L > :
"
&
7
'
'
%
%"
(
%
"
&
0+
<
*
#
"
:
2 +<* '
"
%
"
"
7
773 .
4 *
%
(
"
I
J
" '
"
&
773 .
D
?.
'
⇔ ∃&=∪ & ∧ * & >
*
0∪2
%
"
*
32
""
∩
; ""
+<* ∃&=∪∩
⇔
4
/
'
&∧
""
&>
%
" "
#
'
0∪2
%
$8
"
69)&=∪∩
$8
*
69)
.
%
→
& > ="
' .λ
&>
λ& =& ≤ >. 4
'
%
38
4
-%
")
.
! &"
!
7
$$ ! .
"
"
"
9
"
#"
%
%
)
"
(
)
,
"
'
"
%
773
"
%
'
&
A
%
'
#
. <
%
"
0
"
"
A
'
2
'
"
%"
'
!
)
'
A
%
$
$
&
%
'
%
$
<
"
"
.
' "
$
'
%$
/
"
"
/
<
"
3
$
<
2
"
"
/
.
"
/
*
$
2
.<
"
"
"
#
/
.<
(
# "
# "
"
"
'
&
"
"
"
$$
<
"
/
'
%
$$
/
%E
<
&"
"
H )96
<
"
$
<
I;
.
1
J"
/
"
"
/
<
"
$$
<
"
2
I;
.
I;
" *
$$
/
<
2
%E
. <
"
I;
.<
"
:
)
/
H )96
<
"
J"
J "
<
"
$$
1
# "
J"
/
# "
"
I;
J
/
&
%
1
&
'
3$
%
&
)
;
"
&
%
"
A
'
"
%
%
%
"
4
'
&
'
'
&
"
'
&
#
"
"
"
%
&
'
&.
(
'
'
!
'
$$
"
!
%
""
'
% &
!
"
NN *
NN *
I;
1
"
J"
/
"" E
/
0∩2
1
"
!
4 4
4
9
'
∃'
"
%"
% &
'
"
"
'
"
&
'
"
@ "
% '
%
%
@ "
'
%
$88$ '
%
&
%
%
"
3
"
"
I
"
%2 J @ "
"
+
%' 0
"
%
9
'
; "
&
"
%
"
%
"
'
$88$.
"
/
"
"
%F 2
%
%
FB :
&
"
+<*
)
'
'
&
+<*
N@ "
%"
"
&
"
"
& '
"
+<* 4
"
)
%
?
%
D
4
%
"'
+<*
3
$
# 5%
$
5%
"
"
:
$
%
"
=
"
H
>
" "
A
'
"
4
"
"%
$
'
%
""
:
"
=
4
H"
"
%
>
)
:
'
"
%
'
"
&
'
'
+<* "
A
&
%
$
:
"
"
"
%
%
(
??
A
:
&
%
'
4
&
$? '
'
:
%
$? '
&
&
%
3?
" :
%
:
$?
∃&=
$?
∀ =
"
"
"
"
E"
)
$88?. ?8
→
' & >>
&∧
' & >>
%
%
$88? 4
&"
;
%
(
+ %
$D
"
"
%
" )
)
%
'
!
;
)
"
0:
%"
"
√
)
∗
∃H)
"(
"2
H∃
)
4
"
" )
"
04
"
√
∗
1
4
'!
$88?. ?8? .
"
$D
$
→ ∃&=
$
"
!
"+ %
&∧∀ =
E"
#
+ %
$?
'
9
"
"2
H∃
∃H
"
)
#"
%
3D
!
'
"
9& "
#
$
" + % $88?. ?8
)
%
0:
%
"
$
%
%
2
)
%
%
0
%
)
)
%
#"
%
$
"
#
%
'
+ %
" "
#
%
'
"
"
%
∪
B
∪
$
"
"
%
$
%
%
" "
2
<1 ≥
<
<1 ≠ ∅'
∪
<1 =
<
"
"
& → ∃%=∪∩
∀&=
%
% E ∪∩
%∧
%
& % >>
+ %
:
'
"
%'
$88?. ?8?
&
%'
:
3
&
'
?
$
D$
)
"
"
%
)
'
B
&
'
4
#
"
#
% "
A
:
'
%
'
"
%
)* E+*
%
)
6 .
6
"
!"(
"
'1
!&7 -
:
&
).
&3
!"(
"
'B
%
3
%'
&
4
6
B
'
'
!
"
A
#/
C#
$88
1
';
'
%
'
"
"
&
%
3
'
"
" %
; "
'
% "
.
"
:
"
$3
" - &!
$& !&
0
2
0
2
0
2 (
0
2 (
0
2
0
2
* &" .
5
.
+
$3
.
* &" .
5
/
%
"
0:
$3
% "
5
2
.
)
/
/
%
$3
&
04
2
+
.
9"
(
/
;
0: %
"
4
'
"
2
9
"
;
&"
$ ,, 2
"
"
"
&" %
"
"
&
"
"
/
&
%
"
/
"
&" %
'
'
1 "
" '
"
33
"
$7
"
G
:
"
"
"
.
" - &!
$& !&
* &" .
5
.
+
$7
.
* &" .
F
(
/
/
&
+
04
$7
2
5
!
.
/
/
/
/
&
$7
04
2
+
.
2
O
/
/
%
0:
% '
% " #/
&
%
2
&
"'
&"
"
"
#
&" ' "
/
+
)
"'
/
&"
'
$7
"
'
$3
% ""
'
%
78D ' 5 &
7 7'
4
"
73 ' "
%
37
(
"
7
% "
#/
&"
"
5 &
"
%
4
8
#/
78D C 4
73 .
E
P
8
5 &
P
H
7 7.
E
!
'
%
"
"
& '
.
"
"
"
5
"
/
%
#$
#
H
.
"
.
%# $
'
7
1
#/
C#
&
78
G
'
"
"
%
+
"
% '
"
#$ '
"
"A
$7
#$ 4
&"
'
"
"
P# $
'
"
"
%"
&"
. 4
"
#$
%
$7
" #&$ '
'
"
4
% '
"
&"
9& "
$
" #/
G
"
5
C#
"
""
0:
""
%
$88 . 3
"
QK44
%
"
"
2
4
"
"
P "
4
% '
"
H
"
R
%
&"
"
%
%
?
7
?
#
/
"
0:
?
" 2
6/
"
+
0:
" 2
:
%
%
D
:
#
"
%
#$
%
8
"
%
0:
D
%2
8
%9
%
0:
D
!
%2
:# "
:#
%
0:
8
4/
1
%2
5
)
"
& %
"
&
"
,
%
"
"
%
4
%"
'
"
+*
'
+*
7$
6,
.
!"(
G
"
&!
"
$ !
%
%
"
+*
"
'
(
(
%
""
'
&"
F
77 ' #
77 ' 773' $88$ ' "
1 ( *
.
5
/
%+
0:
"
% "
&
2
2 5
/
%+
0:
"
%
"
2
∗5
/ E/
%
0
"
% "
G ( *
&
& E
2
.
#
&
#
( /
%+
0#
2 #
&
%2
&
#
( /
%+
0#
∗#
#
0#
&
2
&
( /
%
E/
& E
%2
7
!
'
#E #<
(
"
4
'
%
+*
"
2'
+*
%
:
+*
'
% '
2
"
(
'
%
% $'
.
+*
'
&
?
F
&"
%
&"
' 9
6 "
"
"
""
+
"
9& "
" %
R
%
+
R
&
R
)
R
#
%
"
*
<
R
+
R
B
$
:
78 "
&
1
2
D
9
#
"
%
+*
?
R
&
%'
%
%
D$
7?
:
'
""
"
"
&
%
%
9
"
.
"
3
:&
/
/
+
" %
0+
" %
3
2
/
9
+
3
!
"
%
0
%2
+
/
+
"
0+
3
?
"
"
"
&
&
"
&
2
)
+
0)
3
2
<
"
*
<
"
/
+
&
0#
3
%
5
/
?
&
+
2
"
;
'4
)*'
?
(
"
"
#<
) "*
% ∅
&
(
"
"
4
4
/
+
0+
&
* <2
&
+
;
"
/
?
"'
77 ' + %
"
%
"
$88 ' <
(
"
%
?
"
$88?
"
& 1
?
"
+*
!
"
"
+
:
?
D '
%
% <
'
"
C1
% %
"
(
77 '
"
7D
3
#
78 "
+
/
"
0B
78 "
;
%
%
&
2
"
9
6 "
&
&
&"
7 1 "
&"
"
?
7
#"
7
# /
7
5
7
*
"
)
&
'
"
"
"
"
%
?8
5
#"
#"
"
&
"
"
D
""
&
(
%+
&
+
&
0#"
?8
# /
# /
0# /
D
)
2
?8
'
A
'
A
"
%
'
7
?8
5
/
5
+
05
?8
"
"
5
*
5
& 5
2
/
+
"
&
0*
2
4
&"
?8 '
"
&
"
&
:
"
"
61
%
""*
:
- "
"
!!
"
1
&
#
"
' 4
'
'
B
; "
&
:
'
; "
"
1
)
1
?
%
&
D
"
&
:
&
"
"
?
%'
? $'
'
4
"
"
"
"
"
"
:
"
%
"
%
%
7
"
" B
4
"
1
4
%
1
&"
'
3
B
.
?
=F
>
=
?
?
>
>
=
>
=F
?
/
" %
=F
T(
=
?
"
* S
%
>
>
=9
=
U
>
>
=
>
=F "V
>
=
=
>
?
K
"
"
=
%*
>
>
<
=
/
>
=
?
=F
>
78 "
=
>
78 "
)
'
"
:
4
7
7
1
77
:
%
&
(
&
"
&
1
778 ' ! % $88
W
"
; "
3
>
1
9
?$$
&
773 ' @ "
B
&"
&
%
(
$888' $88$ ' $88$
4
%
1
&"
<
1
&
73
1
.
?$
5
V
5
?$
"
. 05
"
. 0X
"
2
X
X
?$
*
2
4
*
?$
"
"
(
4
"
. 0*
"
"
4
2
"
. 01 "
" 2
$88$ ' $88$ '
773
.$8
%
4
F
"
4
@ "
?
)
//
4
%
"
?
6
. 0:
"
"2
Y
6
"
?
F
. 0:
6
"2
"
F
"
. 0:
G
B
&
&"
" 4
"
%
"
773
4
A
"2
A
"
%
&
@ "
F
' B
"
$8
"
'
%
'
(
$88$
77
B
'B
"
"
($
"
B
"
""
.#
"
"
&
"
.
??
*
"
V=
*
??
>
=
0*
>
"
9
2
ZV =
>
=
01
??
5
2
V=
"
05
??
>
"
5
"
9
" >
=
"
"
=
[ >
=
>
"
)
"
>
"
01
2
2
4
"
"
&"
"
"
0 2
"
$
""
"
%%
4
,
"
A
&
"
"
"
'
" '
(
A
1
"
"
"
1"
"
773
'
%
$88
$$
% %
:
"
"1
4
$88 .
B
9& "
D
.
?D
!
?D
=
4
"
04
"
>
=
>
"
2
!
=
>
4
=
>
04
"
2
)
"
1
%
1
.
∗*
?
=
*
"
0*
$$
1
&
>
4
(
>
" 4
"
I)*
2
%
%
:
'
"
"
G
%B
"
"
=
"
$888' $88
4
&
'
4
&
'
4
?
'
"
D ' 4
773
=L > 4
"
2 ; % $88 "
@ "
$88$ '
"
"
%
B
4
I
'
"
%
@ "
&
"
"
"
'4
"
"
"
%
"
B
@ "
"
$88$ 2
%
"
$88$ J
B
E4
$8
?
∗*
=
*
=
0*
/ >$
>
"
2
"
&
"
"
'
%
"
6
"
!-
#
.
!"(
2
. !"
F
" '
77? '
"
"
F
77? '
+*
" %+
&
'
%
'
#
FB :
$88$
%
!;,<<,= !
"
%#
&
" %
(
'
'
"
"
+*
&
%
%
"
% &
:
'
"
"
:
$
:
" "
""
:
%"
E
""
J 4
"
'
"
'
"
A
B
4
. I*
0
1
2'
'
$88
"
'
%
"
$8$
9
+* '
% "
&
%
; "
"
%
%
&
?
1
.∗F
?
9
. ∗:
F
'
"
78 "
78 "
9
%
"
E; "
'
"
&
+
+*
+
"
&
&
. 4 4
1
%
"
'
+ :
"
+*
%
11
"
+ 4
"
'
&
%"
+
+
&
FB'
"
&
"
4 9
"
'
"
"
#
$88$
$
F
+* "
2
%
;
"
%
&"
?3
%
"
"
?
?
W
'
!
'
?3
5
P E
%+
0:
/ E/
E
%E %
"
"
& E
2
$8
?3
#
&
#
P E
( /
%+
0#
E
& E
%E
2
#
"
&
'
'
E/
0
2
% 0
'
%
+*
+*
&
%
%
?3
,
&
%E % 2
'
%
!
'
'
"
+*
:
"
9
; "
%'
"
%
"
#
"
' #<
&
"
+*
%
9
&
%
"
$?
"
+*
; "
% %
"
'
%
+*
,
+*
+*
'
+* A
+
'
$?
1
"
"
"
(
) "
F
?7
(
"'
)' I "
&"
$88$
" %+ "
%
&
'#
% "
:
:
%
$888
D8
,
+
*
" %
'
"
0!2J #
$88$. 3? '
+*
%
%
&"
?7
D8
" 1
$8?
1
#
$88$. 3? .
?7
+*
) "*E!*
)*
?7
+*
+
) "*E!*
) "E!
)*
) "E!
∅
0
*
"
2
#
0
2
$88$. 3? .
D8
+*
) "*E!*
)*
D8
+*
+
) "*E!*
) "E!
)*
0
"
2
0
B
2
F
#
$88$
11
:
"
"
"
)
&
%
$888 2
%
+
11
+
FB
9
4
%
"
:
+*
+
) "E!
∅
" %
+
) "
&
%
'
'
+
$8D
6
4
D
.
# 11.
+*
D
!*
# FB.
+
)*
+*
!*
+
=
!
>
∅
0
6
2
&%" )
!-
$88$. ?
"
+
" %A
#
77
"
.I "
"
%
A
+*
%
)*
'
(
+
2
!;,<<,=
#
"
)
0
" %
=)\
4
"
>
" %+
'
% "
"
+J
4
+*
%
'
%
+*
+*
&
(
%
:
. +*
) "*E!*
,
=!
%
(
"
%
%
' ) "*>'
+*
+*
; "
&
A
'
$8
'
+*'
+*
%
%
!
0
'
%
\+2
(
"
.F
&"
"
(
+*
"
4
'
'
'
&
D$
4/
4/
+
1
.
04/
9&
2
. 04/
4
2
&
"
'
"
$D
'
"
#
2
"
' #
"
=!
'
'
"
"
"
(
$D
"
#<
N+
&
' ) "*>
%
D$
'
%
%
0
0 %\+2
&"
\+2
D
" N
B
"
&
&
'
' 0+
'"
"
"
"
2
"
"
"
" !
'
"
$8
D
X
"
X
%+
0X
%2
:
'
D
%
%
"
%
&
%
%
%
X
&
4
%
#
"
D$
%
D
(
#
'
%
"
"
%
+*
"
"
"
#
) "*
D
#
:
+
4
"
+*
"
%
&
&
&
X
+
1
.
9&
%
0X
2
. 0X
2
'
"
D$
%
X
4
#
"
"
D?
$
"
%
%
&"
42" %
4
D '
D$
%
"
$
&
%
&
'
&
!
?
'
D$
$83
'
"
(
%
'
%
'
D?
&
%'
&
%
"
"
"
&
&
"
%'
4
'
1
$
%
O
'
%
'
%
&'
'
'
(
&
%"
X
X
0X
%
'
&"
&
77
%1
%
.
$
&
'
0
2
"
%
2
&
1
"
"
(
"
&"
"
(
0
%"
&
2 )
!
'
.
19
&"
NN X
X
0X
4
"
%
2
19
(
"
'
"
%
X
X
0X
"
%
,
" % '
2
"
"
19
'
:
'(
"
+
"
&
)
""
∗X
X
0X
G
"
"
"
%
2
"
%
19
%
$87
(
%.
2'
%"
0
"
/
# %
'
2'
"
0
% "
%2'
%
%"
$3
&
#
+*
(
%
"
%
'
D$ '
"
'
%
2A
%
D$
4/
"
D? N #
"
) "
%
(
&"
"'
"
&
G
%
2
" :
%
D $'
!
'
%
"
"
4
"
;
"
9&
%
D?
%
"
'4
"
'
2
"
?
A
2
:
"
FB
N:
"
5
/ $88
"
D?
"
X
X
0X
X
X
0X
4
&
0
2
&"
"
$3
+* '
"
+*
!
) "*
X
, %
&
&
D?
'
;
'
"
#
"
D? A
'
D$
"
%
" ( %
'
&
0
&
11
&
FB'
(
"
"
11
FB
"
D?
&
"
$ 8
"
"
'
"
"'
1
77 ' +
B
"
'
(
%
%
%
"
77 ' + %
$88? ' <
$88$ ' 6
1"
$88? ' "
"
?
%
77$ ' !
F
"
773
+
" %
$ "
73 ' *
77? '
C
C 1
773 ' 773 '
'
'
"
"
%' "
1
"
"
'"
"
!
'
:
'
4
"
"
"
"
"
"
"
&
&
) "*
"
"
"
"
&
"
&
%
"
$7
1
'
' #
2
%
"
"
"
'
'
(
&
%'
"
"
?'
%
=!
%
?
"
+*
:
2
"
#
%
$7
G
&
%
%
%
%
"
:
"
"
"
"
"
"
4
4
"
<
"
<
D
' +*>'
%
"
) "*
"
$
"
%
#
"
"
'
"
% &'
∅'
"
4
"
+*A
%
"
" %
"
"
:
DD
: ".
DD
+*
1
+2
) "*
+
*
1
) "2
)*
8
4
(
+
) "
"
*+
0 %2
*∅
∅
)
"
% +*
%
"
"
' 73D
7
:
"
%
# <E∅ '
<'
:
'
+*
8
) "
%
"
"
&
"
*
"
@
"
%
%
*
0 E E
04 "
0
0
0 E E
0 E E
"
%
"
1
B
"
'
!
2
2
2
2
2
" 2
"
"
""
" "
"
" "
0 %
0
0
0
0 %
0 E E
2
2
"2
"2
2
2
$88
$ $
)
'
"
:
5
"
D
"
4
"
'
) "*
"
: ".
D
+*
1
+2
)*
+
*
0
2
)
"
DD '
) "*
' #
"
#<
%
&"
"
.
(
'
#
"
#
$88$
"
=!
1
9&
4
"
"
#$
∗@
'
"
" '
"
=!
"
%
%
'
'
1
" '
√@
"
04
' +*>
"
"
'
$
$
"
A
"
"
"
' ) "*>
/
D
#
' ) "*>'
" :
&" A
$888
4
%
!
:
"
) "*>
=1
"
"
D$ )
"
"
) "*
/
( "
=!
" +*
"
&
2
"
04
&
"
2
$
+
(
77 '
"
'
"
"
% 1
"
"
) "
"
%
"
%
"
"
+
"'
"
C1
77
'
'"
"
"
"
&
"
&
"
".
O"
&"
&"
"
2
"
2
%
"
"
"
&
"
'
&
+*
%
)
!
773 ' + %
$88$ ' $88$
'
"
".
"
"
%
'
'
"
'
:
''
"
'
"
"
"
%
)
2
)
@ "
A
&
0
#
"
: %
; "
0
"
%
"
"
"
" G
%
"
$88? '
??$ :
)
"
"
A
"
"
"
"
+
!
5
"
'
"
%
4
+
(
77
"
"
"
;
"
!
4
"
"
$ ?
?
%
?
%
B
'
D
64
.
!"(
64
+
!
?
$A
& "!
)
0"
!&
$
# "
?
%'
?
D$
%
!
" ; & !&" !
$'
> !""
%"=
%
%
"
%
+*
"
:
"
%
" #
'
&
%"
"
; "
D
1
?
'
?
;
4
'
'
"
9& "
(
"
3
"
D$
"
"
D
.
"
#
%
&
9
?
"
"
"
%
?
"
(
?
"
"
&
"
"
:
1
"
%
&"
%
%
DD
%
'
D
$ D
D3
:&
/
/
+
" %
0+
" %
2
D3
/
9
+
!
"
%
0
D3
%2
)
+
0)
D3
2
#
78 "
+
"
0B
78 "
:
/
'
%
%
2
+*
"
&
'
%
4
&
"
(
9
; "
'
'
"
4 9
'
'
(
&
%"
(
+<*
""
(
"
%
:&
/
+
'
4
+<* "
'
"
&
"
0
%2
2
'
"
'
%"
"
&
0:
!
"
%'
"
"
&
% %
$
D7
F
&
/
/
+
&
0:
"
:
%
"
%+
%
2
&
/
F
"
"
"
8
&
E
" &"
" &"
/
4
%
&
%
73 '
D7
%"
773
"
%
'
'
%
4
'
/
F
&
/
/
+
/
&
0:
"
%
,
"
)
(
&"
E
0# /
%+
'
"
&
# /
"
2
+*
+*
# /
&
&
-! !-!
'
"
+*
&
!
+
&
2
$
5
&!-
"#!&
5
/
!#
+
05
"
#"
"
& 5
5
2
(
- 0 # !#
#"
5
%+
&
0#"
;
"
?
9
$
&
' 4
&
1
B
%"
'
%
4
'
1
'
9
?
4
"
"
#
"
E
'
(
<
'
778 ' @ "
1 '
3
"
%
$88
; "
"
%
'
'
%
3
%
"
$
773 ' 773
'
"
%
) → =+
) → =+
) → =−
'−
'+
'+
"
>
>
>
1
)
)
)
"
%
'
#
1
"
%
"'
773 . 7D
%
773 . 7D
"
"
%
%
'
'
%
%
%
%
'
"
'
" . I:
" %
&
$
" '
'
'
%
"
"
.
9
'
B
B
" E
=L > 4
" '
%
J
$ 3
$
∩
) "
.
'
) "
→ . λ*
'
λ ι&=* & >
%
%
'
"
4 "
)*
%
& '
" &"
'
%
%
ι.
4
4
→ . λ*
'
'
ι&=* & >
%
%
'
"
4 "
%
" "
)*
A
%'
(
:
%
A
&
&
"
%
'
%
B
)
'4
&
"
"
:
'
%
773
&
(
&
'
4
%
&
"
%
" "
%
%
'
%
"
.+
:
<
"
+
&
??$
"
"
;
"
"
"
?
B
(
$ 7
"
&
"
"
(
"
&
"
"
""
""
:
"
"
4
@ "
$88
$88$
"
773 '
; % $88
1
4
"
"
'
B
%
%
:
"
%
%
"
\
&
"
!
"
"
?
=;* =)*
?
|| =
% > =;2
"
"
"
"
=+*
# @ "
" I
"
'
% > >>>
@ "
% > || ]|| =+*
=)*
$88$ . $
% > ||^
)*
%
"
"
"
%
=)*
% > || = || =)*
%
#
'
'
"
&
" &"
"
(
" %
"
'
"
%
% :
"
$$8
%
%
"
"
:
J
"
B
"
%
%
"
"
&
"
7
#<
%
,
B
'
%
%
(
"
(
"
#
%
'
(
"
" ( %
'
%
+*
%
B
&
&"
.
D
+
D
+
V
V
"
.
#
/
"
&
+
0:
/
+
&
"
#
2
/
+
+
% &
0:
2
4 "
B
'
7
#
%
"
B
&"
""
%
"
1"
(
&
773
$$
:
%'
'
"
&
B
%
% )* "
2
"
%
A
?8
B
.
+
' _
2
"
1
%
∗ 9&
√6
+
'_
"
∗ 9&
√6
.
3
O"
+
1
%
0
&
1
%2
∗ 9&
√6
?8
)
%
" "
%
F"
"
0:
773.
%"
"
%
/
&"
'
)
/
+
+
"
"
B
3 '
"
%
"
69)
"
"%
&
%
2
"
$$$
3
F"
/
"
+
0F "
/
+
"
%
%
"
&
2
∗ 9&
√6
:
(
&
"
'
&
% )*
'
"
%
%
&
&
4
(
'
&
%
"
%
&A
#<E #
'
1 '
%
(
(
7
(
$A
"
6
0
1
E
2
&
8A
%
""
?'
.
B
7
∗5 &
5 &
7
∗
V
"
$$
.
8
)
&
4
"
%+
04
&
2
∗ 9&
√6
8
O"
"
0:
+
"
&
2
∗ 9&
√6
1
F
B
.
1
.
X2
V
4
"
"
"
"
"
"2
V
2
V
"
.
$
4
/
4
+
04 "
$
4
"
&
4
%"
"
(
2
"
+
0:
#
B
"
&
2
.
.
5
5
$$?
∗5
5
.
?
5
"
(
5
/
%+
&
05
2
√ 9&
√+
?
5
"
(
5
%+
&
05
2
∗ 9&
√+
6
@ "
'
2
%
,
4
4
%
"
B
"
%
9
"
?
!
.B
'
"
%
"
'4
#
"
"
B
'
%
'
%
"
%
?
:
G
%
+
<
:
*
&
+<* '
:
+<*
5
%
%'
%
&
&
%
&
"
$$D
( "
%
&
%
+*
' '
"
"
"
9
"
#
" "
'1
:
)
%
4
% " "
"
4
"
"
'
%
&"
.
.
D
X
X
+
&
0X
2
?$
9&
⇔ ∃&=∪
('
B
.
&∧
&>
+<*
.
D
X
X
0X
2
9&
?
4
⇔ ∃&=
('
F
?$
#
:
"
&"
4
&>
+<*
&"
"
%
?
&∧
"
%"
+*
.
A
%
"
"
0 2
'
'
'
'
"
(
%
%
'
%
'
$$
"
'
&
+*
5
5
/
"
"
/
??
&
/
/
+
&
05
"
/
2
<
<
"
+
&
0<
"
4
2
(
4
/
+
/
&
04
2
9&
/
+
/
/
'/
/
%
"
+
/
&
/ "
+
0:
%A %
"
2
#
/
/
" "
#
+
&
0#
2
4"
4"
%+
04"
%2
X
X
+
&
0X
??
#
&
%
2
'
&
'(
%
'
+*
9
"
1
?D
$$
4'
" '
&
"
'
"
&
% #
"
'
%
+*
"
0
"
"
"
A
%"
+*
"
9
'
:
!
'
+*'
%
5
2
=
/
5
?D
&
"
/
>
/
/
+
&
05
"
?D
;
&
+*
9
/
&
4
'
2
'
'
%
&
%
%A
&
'
4 4
'
%
(
6
6
4
"
"
%
'
+* :
"
(
&
+*
#
#
0#
)
[
'
/
/
" "
+
&
2
.
'
&
%
+*
%
$
5 "
+
%
0B
1
2
'
&
+*
$$3
<
=
/
<
="%
"
0<
"
4
=
4
=
>
" "%
"
+
&
2
2
/
"
>
>
"
%
(
+
04
/
>
&
"
9&
/
/
+
/
'/
"
= /
%
/
>
""
=
&
+
"
"
/
=
#
2
" "
=
%
>
+
>
&
0#
%
4"
=
4"
="%
%
"
X
=
>
2
%2
>
+
0X
>
&
2
#
"
+
" "%
=
&
/
'"
%A
"
'
'"
E
&
"
'
B
1
&
%
'
%
"
2
>
04"
X
>
2
%
/
>
>
+
%A %
#
+
/ "
=
0:
2
&
=
/
/
'
"
'
+*
"
&"
$$7
3
#= /
&
>
=
""
0:
3
"
"
# =#"
> %
2
""
/
=" "
>
"
0:
:
+
"
2
"
%
+
"%" "
"
/
/
>
2
%
)
.
%
"
%
A
+<* "
&
#
"
"
% %
'
%"
&
'
B "
'
&
"
)
%?
?
#
&
&
#
$88$. 3$
&"
%
+*
%
5 %
2 (
" 42
"
'
'
%
=4
=
0:
=9/
=
04
:
/
/
& G5*
4
"
/
>
+
4
/
%
&
4
'
'
%
"
2
&
2
)
&
% "
/
>
2
> "
>
2
& G5*
'
"
%
+*
%#
+*A " % '
'
'
%
4
%
%
"
42
&"
%
$ 8
)
'
? ? $'
"
%
G
'
/
'
)
" "
"
"
%
#<E #
" )
B
&
%
&"
)
"
"
"
%9
B
4
%
"
"
6
%
%
%
+*
7
+*
%
:&
/
+
&
0+
7
/
69)
/
B
"
2
∪
69)&= &
!
& > =/
&>
'4
4
%
"
%
%
%
"
#<E #
'
'
"
+*
"
%'
%
"
B
/
; "
%"
$
38
B
.
F
""
"
"
0*
38
4
.
"
2
4
"
0+
38
1
.
"
9
W'
2
"
%
04
38
.
'
%
:&
2
/
+
&
0+
4
"
2
"
&"
A
%
&
"
; "
/
"
*
%.
69)
A +*
"
"
"
" 42"
6
% " "
C1
777
:
69)
?
?
4
&
%
'
%"
:
%
"
9
'(
; "
B
$ $
:
3
/
"
#
+*
&
%
&
?3
"
F "
(
'
&
3
"
%
%
%
:
"
$ :
"
'
"
"
'4
"
%
773
:
'4
%
"
)
'
+
0" %
2
B
(
"
+
"
"
0
%
%"
A
%
?3
:
@ "
"
+<*
%'
'
)
0 2
.
+
"
E
%
" %2'
&
%
'
%@ "
&
%
%'
"
%
'
' 4
2
%
/
B
0
&
$88$
4
!
'
/
"
%
&
$
%
&
%
" (
N
!
=
.
\
"
"
>
"
@ "
&
$88$
B
%
+
+
&
"
"
I
)J
J 4
'
&"
J
$88$
9
$88$
:
I
J
G
'
1
B
+*
1
I
B
'
1
@ "
%'
3$
9
@ "
I
'
"
%
"
"
4
4
4
"
" ; "
/
"
?7
3$
9
." %
1
."
B
.
4
."
V
."
?7
:
G
5
%
"
$ ?
3$
9
.
1
.
B
.
4
.
V
."
:
.
"
;
&
"
$
(
"
(
:
" %
77D
!
*
'
'
G
""
W/ C :
+
W
777
1
F
4 X
&"
(
'<
'B
"
4
'
&
N
%
(
"
%
77D
%
/
(
'
(
%
:
"
%
4
&
%
"
"
+ %
""
(
&
+*
"
"
"
"
"
"
%
"
'
$88?
$88$
%
&
"
'
@ "
"
"
!
&
"
'
""
"
$ D
64 ,
.
- &! /
1
%
'
"
%
&
'
"
&"
%
3
3
9
.
:
"
3
1
.
9
&
T
$D8 W
$D8 %
0:
3
B
.
$D8 %
F
V
0:
3
4
.
2
2
F
[
&
0:
3
.
&
2
F
+
D8
&
0:
:
%
&
"
""
%
4 9
'
%"
4
2
%
"
%"
4 ; "
&
D8
&
' 0+
&
2
%
1
4
"
'
'
"
"
$
"
"
"
:
?
"
? '
"
"
&
""
<
&
778 ' <
77D '
'
&
773 ' + %
N
773
$88?
"
%
"
%
3?
/
5#11
1
/
77
:
3?
3?
:
:
=
:!9 5#11
&
3?
ι 5#11
'
"
%:
778 '
<
"
"
"
3D
∗:
3D
:
E" %E
E" %E "
@ "
$88$
%
%
""
"
"
3D
%
&
"
∗
,
A
'
$
3
NN :
"
#
'
"
"
+ %
2
$88?
%
%
""
"
%
:
3
&
!
'
"
"
"
"
"
'
4
+ %
"
$88?
"
"
%
&
"
3
:
"
:
'
%
3 '
"
&
'
&
"
]+G6' ,!#F9' :469; L ^
'
"
33
)
'
'
]#14#) F4G)' #B;4 #)
F4G)'
9; 9; F4G)' #14#) F4G) \ #B;4 #) F4G)' #B;4 #) F4G) \
9; 9; F4G) L ^
33
$ 3
33
5#55#F
L +G6L
F4G)
L #B;4 #) F4G)L
)
"
L 9F9*!#):L
L #14#) F4G)L
L 9; 9; F4G)L
'
"
"
#
/
+ % '
%
"
"
"
"
%
%
"
'
""
%"
%
%
"
" A
"
"
"
"
%
%
:
E"
"
:
"
%
%
"
%
'
78
37
+
√ 9&
37
:
∗ 9&
78
;
78
:
+ %
#
8
#
$88?
" %
8
"
"
%
%
1
$ 7
"
/
9& "
&'
7$
7
"+ %
7
:
7
:
7$
M
%
%'
?
'
"
7$
#M
%'
?
'
"
7
O
7
#:
%
"
%
%
"
+ %
%
"
%
:
"
'
%
(
"
&
F
&"
7?
3
'
7?
F
+
0:
&
"
&
2
$?8
4
+ %
$88? ' 4
"
"
#
"
%
A
&
""
"
"
%
33
"
&
'
%
"
'
:
"
G
&
'
D
" ""
"
%
)
%"
9
"
&
'
%"
&
"
'
"
"
"
"
&
"
%
,
"
%
'
%
7D
#
'
+
%" %
0,
7D
" %
F
'
'
+
+
'
/ '
+
" %
0F
" %
:
7?
'
"
"
+
2
'
#
L
#
+
#
+
'
#
&
2
L2
"
G
0
2
/ L
#
#
'
0
"
'
'
/
F
D
&
'
"
"
(
'
"
"
'
'
"
:
$?
:
&
"
&"
"
" ,
7?
#
' #
(
"2
L E
'
"
&'"
&
'
"
"
D$
"
&
)
'
"
%
?
D
7
&
"
#
'
7
5
".
#
'
7
X
"!-!
!
+
2
". X
&
!#
X
+
0X
7
1
;
2
.#
"
(
?
A
/
D
'
0%
"
%
"
&
%
%
G
%
"
"
&
&
"
%
9
'
"
""
%
" '
"
"
%
"
"
5
5
05
D
#
!
%
"
%
"
0X
*
%
'
X
7
7
1
"
/
"
'
" "
4
L
"
4
D
'
'
&
D$
"
"
!
+
%
%2
$?$
#
/
0#
"
%+
/
#
"
%
:
#
2
E"
"
&
"
%
"
%
A
'
'
&"
&
"
&
7 '
"
)
"
%
4
'(
"
9
'
"
"
"
,
"
&'
:
7
&"
" 7 7
:
+
&
0:
7
%
"
2
:
+
&
0:
" %
&
"
'
& "
"
&
%'
"
2
#
"
%
"
"
)
"
'
. ]
'
"
""
& "
'
L^ 4
' #
'
'
$?
73
#/ '
?
%
%'
&
"?+
/
/
/
/
+
/
'
&
/
&
0M
%'
?
'
"2
73
##/ '
?
%
%'
&
"?+
/
/
/
/
+
/
'
&
/
&
0M
%'
?
'
"2
77
9!OD?
9!O
(
"
+
09!O
77
"
"
+
9!O
"
&
"
&
%2
(
9!O
"
%
# 9!O
0:
/
/
"
%
"
%2
77
9!O
%A
77
,
D?
9!O
DD
)
"
9
!
#
0ι2
:
O
0O
%
# \
"
"
<
) "* 1
<
"
0∩2
"
D
+
?
"
9
" "
#<DD
'
"
?
&
%2
"
#<
. #
?A
?
$??
#
&
(
9
:
"
"
I<4)+J
&
"
"
I
+ % 2
"
J
9
"
'
G
&
%
&
%
:
.
%
% &
"
%
) "
%
'
%
7 77
"
(
;
"
? ?
"
?
D
'
:
"
"
%
&
!
D
+ %
'
?
?
$88?
"
"
%
%
%
"
&
%
"
/
' /
"
&
"
%
9
/ '
:% 44 :
%
; "
&
"
.
:% 4.
:% 44.
:% 444.
#
(
#<
:% 444 B
"
I
:% 4' 44
%'
&
"'
/
%
A
J 9
'
"
"
"
&
"
:% 4'
#'
"
"
; "
%
4
44'
444
$?D
"
"
%
&
88
X
&
X
+
9&
1
:
.
%
. 0X
2
0X
2
"
(
)
R D?
'
88
X
%
"
88
?
%
:
?
(
&
&
%
%
.
'
'
B
%'
%
'
'
88
&
%
'
'
"
"
'
'
(
"
"
""
D
D
#
&
.4
&
"
"
%
&
&
&
#
(
"
A
%
2
"
%4
'"
& "
-
'
"
"
'
%
%
"
& : '
"
"
% '
%
"
!
'
%
'
%
%
$?
8
FG G5G:4G)
L :;O <L
#;
L 69;5#) #;L
88
:
% &
%
&
L #4;*F#)9L
L B;9) ! #;L
L 1*#)41! #;L
"
"
+*
)
%"
"
"
G
"
%
%
"
'
%
'
%
%
'
+* "
8$
#X
/
/
X
+
%
0X
:
2
"
%
%
8
# :%
:%
0:%
+
%
2
$?
4
%'
%
A
8$
%
%
"
8
:
%
&
%"
8$2 X
/
/
X
%
0X
2
8 2 :%
:%
%
0:%
?
&"
2
"
.!$
4
+ %
)
$88? ' @ "
$88$ ' $88$
#"
6
C<
773 '
77
<
'
%
/
,
77D '
%
"
%
=!
"
"
%
'
#
77 ' +
% 4
$88$ '
"
#
' +*>
%
"
%
77$ '
#
&
%
%
$?3
#
"
"
"
%
"
+
C1
" %
%
77 ' +
1 "
(
%' "
A
77 ' + %
"
$88? ' <
$88? ' "
"
"
:
"
'"
'
"
"
%
(
"
) "*
"
"
) "*
"
"
(
#
:
"
#
2
%
"
"
=!
%
$88$ 2
&
"
"
' ) "*>' #
"
' #<
%
`?
%
:
"
"
'
?
:
"
)
:
&
(
773
%
%
9
B
!
.
"
'
"
"
&
"
" "
@ "
A
$88
"'
"
&
'
B
'
"
B
4
"
A &
%
$?7
"
:
"
'
"
+
'
%
<
*
B
:
%
+<* '
&
:
%'
'
%
&
%
"
+<*
&
:
%
"
$
"
"
"
&
%"
I
)J
"
I
J
""
"
(
&
"
"
%
"
%
&
"
""
$88? ' @ "
$88$
"
"
,
`
&
+ %
"
"
D$
'4
"
"
'
"
"
"
$D8