3
.
1
0
.
S
i
A
E
B
,
e
n
t
o
n
c
e
s
A
e
s
u
n
S
U
B
C
O
N
J
U
N
T
O
P
R
O
P
I
O
s
i
y
s
o
l
o
s
i
A
≠
B
.
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
A
C
B
/
A
Ç
B
.
3
.
1
1
.
(
r
o
t
a
c
i
ó
n
d
e
i
n
t
e
r
v
a
l
o
s
)
.
P
a
r
a
a
,
b
∈
I
R
c
o
n
a
c
b
,
d
e
f
i
n
i
m
o
s
:
3
.
G
o
s
,
b
)
=
{
✗
E
I
R
/
x
a
b
}
2
.
(
a
s
o
s
)
=
{
×
E
I
R
/
a
<
×
4
.
[
a
,
b
]
=
{
×
E
I
R
/
a
≤
✗
≤
b
}
7
.
[
a
,
a
)
=
{
×
E
I
R
/
a
≤
×
}
5
.
[
a
,
b
)
=
{
×
E
I
R
/
a
≤
✗
(
b
}
8
.
f
o
s
,
b
)
=
{
×
E
I
R
/
×
≤
b
1
2
.
S
e
a
n
A
y
B
d
o
s
c
o
n
j
.
L
a
U
N
I
Ó
N
d
e
l
o
s
c
o
n
j
e
s
A
U
B
=
(
×
/
✗
E
A
o
✗
∈
B
}
→
✓
(
d
i
s
y
)
L
a
I
N
T
E
R
S
E
C
C
I
Ó
N
d
e
l
o
s
c
o
n
j
e
s
A
M
B
=
{
×
/
✗
E
A
y
X
E
B
)
→
^
(
c
o
n
j
)
L
a
D
I
F
E
R
E
N
C
I
A
d
e
l
o
s
c
o
n
j
e
s
A
)
B
=
{
×
/
✗
E
A
y
✗
∉
B
}
E
l
C
O
M
P
L
E
M
E
N
T
A
R
I
O
d
e
u
n
S
U
B
C
O
N
J
U
N
T
O
A
E
B
é
s
e
l
C
O
N
J
U
N
T
O
A
'
=
(
✗
E
B
/
✗
∉
A
}
→
7
(
n
e
g
)
3
.
1
3
.
S
i
d
o
s
s
u
b
c
o
n
j
u
n
t
o
s
A
y
B
t
e
n
e
n
l
a
p
r
o
p
i
e
d
a
d
q
u
e
A
M
B
=
∅
,
s
e
d
i
c
e
q
u
e
A
y
B
s
o
n
C
O
N
J
U
N
T
O
S
D
I
S
J
U
N
T
O
S
.
→
•
1
7
.
D
o
s
c
o
n
j
A
y
B
s
o
n
i
g
u
a
l
e
s
s
i
y
s
o
l
o
s
i
A
E
B
y
B
E
A
.
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
A
=
B
.
→
(
d
e
m
.
p
o
r
D
O
B
L
E
I
N
C
L
U
S
I
Ó
N
)
1
.
1
.
U
n
a
p
r
o
p
e
s
u
n
a
f
r
a
s
e
q
e
s
o
b
r
e
n
C
o
b
i
e
n
F
.
1
.
3
.
S
e
a
n
A
y
B
d
o
s
p
r
o
p
s
.
L
a
p
r
o
p
"
n
o
A
"
e
s
V
s
i
y
s
o
l
o
s
i
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
7
A
.
L
a
p
r
o
p
"
A
y
B
"
e
s
✓
s
i
y
s
o
l
o
s
i
A
M
B
A
S
p
r
o
p
s
s
o
n
V
.
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
A
n
B
(
"
c
o
n
j
d
e
A
y
B
"
)
.
f
a
p
r
o
p
"
A
o
B
"
e
s
V
s
i
y
s
o
l
o
s
i
A
L
M
E
N
O
S
u
n
a
d
e
l
a
s
2
e
s
V
.
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
A
V
B
(
"
d
i
s
y
d
e
A
y
B
"
)
.
1
.
6
.
U
n
a
t
a
b
l
a
d
e
l
a
V
e
s
u
n
a
t
a
b
l
a
q
r
e
c
o
g
e
t
o
d
a
s
l
a
s
p
r
o
b
a
b
i
l
i
d
a
d
e
s
p
a
r
a
e
l
v
a
l
o
r
d
e
✓
d
e
u
n
a
p
r
o
p
.
1
.
9
.
D
o
s
e
n
u
n
c
i
a
d
o
s
P
y
Q
s
o
n
(
l
o
g
i
)
e
q
u
i
v
a
l
e
n
t
e
s
s
i
y
s
o
l
o
s
i
A
M
B
O
S
t
e
n
e
n
l
a
m
i
s
m
a
t
a
b
l
a
d
e
V
.
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
P
⇔
Q
(
"
P
s
i
y
s
o
l
o
s
i
Q
"
)
.
1
.
1
6
.
L
a
R
E
C
Í
P
R
O
C
A
d
e
A
⇒
B
e
s
B
⇒
A
.
1
.
1
8
.
L
a
I
N
V
E
R
S
A
d
e
A
⇒
B
e
s
7
A
⇒
T
B
.
1
.
2
0
.
L
a
C
O
N
T
R
A
P
E
S
T
A
d
e
A
⇒
B
e
s
T
B
⇒
1
A
.
1
.
2
5
.
U
n
e
n
t
e
r
o
n
e
s
P
A
R
s
i
e
x
i
s
t
e
u
n
K
E
Z
t
a
l
q
u
e
n
=
2
k
.
1
.
2
6
.
U
n
e
n
t
e
r
o
n
e
s
I
M
P
A
R
s
i
e
x
i
s
t
e
u
n
K
E
Z
t
a
l
q
u
e
n
=
2
k
t
1
.
(
C
O
R
)
1
.
3
6
.
L
a
p
r
o
p
7
(
A
⇒
B
)
e
s
E
Q
U
I
V
A
L
E
N
T
E
a
A
N
B
.
1
.
4
0
.
U
n
a
p
r
o
p
q
s
i
e
m
p
r
e
e
s
f
a
l
s
a
e
s
u
n
a
C
O
N
T
R
A
D
I
C
C
I
Ó
N
.
U
n
a
p
r
o
p
q
s
i
e
m
p
r
e
e
s
c
i
e
r
t
a
e
s
u
n
a
T
A
U
T
O
L
O
G
I
A
.
A
e
s
f
a
l
s
a
.
(
n
e
g
a
c
i
ó
n
d
e
A
"
)
1
.
4
9
.
"
P
a
r
a
t
o
d
o
"
e
s
e
l
C
U
A
N
T
I
F
I
C
A
D
O
R
U
N
I
V
E
R
S
A
L
!
S
i
m
b
.
e
s
c
r
i
i
m
o
s
∃
.
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
∀
.
"
E
x
i
s
t
e
u
n
.
.
.
t
a
l
q
u
e
"
e
s
e
l
C
U
A
N
T
I
F
I
C
A
D
O
R
E
X
I
S
T
E
N
C
I
A
L
.
P
a
r
a
r
e
f
o
r
j
a
r
→
"
e
x
i
s
t
e
(
A
L
M
E
N
O
S
)
u
n
.
.
.
t
a
l
q
u
e
"
→
∃
!
D
E
F
I
N
I
C
I
O
N
E
S
3
.
1
.
S
i
A
e
s
u
n
c
o
n
j
u
n
t
o
y
×
e
s
u
n
e
l
e
m
e
n
t
o
d
e
A
,
s
i
m
b
.
e
s
c
r
i
b
i
m
o
s
✗
∈
A
.
S
i
n
o
,
✗
∉
A
.
3
.
2
.
D
e
f
i
n
i
c
i
ó
n
p
o
r
e
s
p
e
c
i
f
i
c
a
c
i
ó
n
:
S
=
✗
E
A
/
×
s
a
t
i
s
f
a
c
e
a
l
g
u
n
a
c
o
n
d
i
c
i
ó
n
}
D
i
c
e
q
u
é
t
i
p
o
d
e
e
l
e
m
e
n
t
o
s
×
s
e
C
o
n
s
i
d
e
r
a
y
P
R
E
S
U
P
O
N
E
q
u
e
n
o
s
h
e
m
o
s
d
a
d
o
u
n
c
o
n
j
.
A
d
e
n
t
r
o
d
e
l
m
a
l
E
S
P
E
C
I
F
I
C
A
M
O
S
a
l
g
u
n
o
s
e
l
e
m
e
n
t
o
s
.
C
o
n
d
i
c
i
ó
n
q
u
e
×
,
e
l
e
m
e
n
t
o
d
e
A
,
d
e
b
e
s
a
t
i
s
f
a
c
e
r
p
a
r
a
p
e
r
t
e
n
e
c
e
r
a
n
u
e
s
t
r
o
n
u
e
v
o
c
o
n
j
.
S
e
l
e
e
:
"
E
l
c
o
n
j
.
d
e
l
o
s
e
l
e
m
e
n
t
o
s
✗
e
n
A
t
a
l
e
s
q
u
e
✗
s
a
t
i
s
f
a
c
e
l
a
c
o
n
d
i
c
i
ó
n
"
.
p
r
o
p
i
e
d
a
d
e
s
p
e
c
í
f
i
c
a
q
c
a
r
a
c
t
e
r
i
z
a
a
✗
d
e
n
t
r
o
d
e
A
.
3
.
5
.
S
e
a
n
A
y
B
d
e
s
c
o
n
j
u
n
t
o
s
,
d
i
r
e
m
o
s
q
A
e
s
u
n
S
U
B
C
O
N
J
U
N
T
O
d
e
B
s
o
n
t
b
e
l
e
m
e
n
t
o
s
d
e
B
.
S
i
m
b
.
e
s
c
r
i
b
i
m
a
s
A
E
B
.
"
s
i
y
s
o
l
o
s
i
l
o
s
e
l
e
m
e
n
t
o
s
d
e
A
1
.
(
a
/
b
)
=
{
✗
E
I
R
/
a
c
x
a
b
}
6
.
C
a
i
b
]
=
{
✗
E
R
/
a
c
x
≤
b
A
B
B
•
2
2
.
S
i
S
e
s
u
n
c
o
n
j
u
n
t
o
,
e
n
t
o
n
c
e
s
e
l
C
O
N
J
U
N
T
O
D
E
L
A
S
P
A
R
T
E
S
d
e
5
e
s
e
l
c
o
n
j
u
n
t
o
d
e
l
o
s
s
u
b
c
o
n
j
u
n
t
o
s
d
e
S
.
n
o
c
o
m
p
a
r
t
e
n
n
i
n
g
ú
n
e
l
e
m
e
n
t
o
e
n
l
a
i
n
t
e
r
s
e
c
c
i
ó
n
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
P
(
s
)
.
P
o
r
d
e
f
,
A
E
S
s
i
y
s
o
l
o
s
i
A
∈
P
C
s
)
.
P
o
r
e
j
,
s
i
S
=
L
a
,
b
}
,
e
n
t
o
n
c
e
s
D
=
{
∅
,
{
a
}
,
{
b
)
,
{
È
b
}
"
e
l
e
m
e
n
t
o
"
⊛
"
s
u
b
c
o
n
j
u
n
t
o
"
→
B
=
f
a
,
{
a
}
e
l
e
m
e
n
t
o
d
e
B
,
s
u
b
c
o
n
j
u
n
t
o
d
e
B
,
e
l
e
m
e
n
t
o
d
e
P
C
B
)
◦
(
h
e
r
b
a
)
U
n
C
O
N
J
U
N
T
O
e
s
u
n
a
c
o
l
e
c
c
i
ó
n
d
e
o
b
j
e
t
o
s
l
l
a
m
a
d
o
s
E
L
E
M
E
N
T
O
S
.
E
l
C
O
N
J
.
V
A
C
Í
O
e
s
e
l
c
o
n
j
u
n
t
o
q
u
e
n
o
t
i
e
n
e
n
i
n
g
ú
n
e
l
e
m
e
n
t
o
.
S
i
m
b
.
e
s
c
r
i
b
i
m
o
s
∅
.
T
A
L
Q
U
E
S
U
]
/
V
E
R
B
O
◦
A
T
R
C
O
N
D
I
C
I
O
N
A
L
/
¥
T
I
P
O
D
E
C
O
N
D
I
C
I
Ó
N
S
I
M
B
/
N
O
M
B
R
E
"
T
A
L
Q
U
E
"
a
•
S
I
M
B
/
N
O
M
B
R
E
S
U
]
/
V
E
R
B
O
◦
T
I
P
O
D
E
A
T
R
C
O
N
D
I
C
I
O
N
A
L
/
¥
2
5
5
C
O
N
D
I
C
I
Ó
N
"
"
i
n
f
o
r
a
n
d
o
m
i
m
p
A
B
1
2
3
4
5
6
7
8
:
÷
•
:
•
.
1
2
3
4
1
2
i
•
÷
:
:
:
•
•
÷
N
o
n
:
•
.
•
'
.
:
-
: