L
o
g
i
c
a
l
o
p
e
r
a
t
o
r
s
R
e
s
h
a
p
i
n
g
m
e
t
h
o
d
A
g
g
r
e
g
a
t
i
o
n
m
e
t
h
o
d
D
e
f
u
z
z
i
f
i
c
a
t
i
o
n
m
e
t
h
o
d
A
N
D
M
i
n
M
u
l
t
i
p
l
i
c
a
t
i
o
n
T
r
u
n
c
a
t
e
M
u
l
t
i
p
l
i
c
a
t
i
o
n
M
a
x
P
r
o
b
O
r
C
l
i
p
p
e
d
S
u
m
C
O
G
F
O
M
L
O
M
M
O
M
M
e
O
M
O
R
M
a
x
P
r
o
b
O
r
1
1
0
5
7
I
F
(
H
o
u
s
e
i
s
I
n
e
x
p
e
n
s
i
v
e
O
R
C
l
o
s
e
-
t
o
-
w
o
r
k
)
,
T
H
E
N
S
u
i
t
.
i
s
G
o
o
d
.
p
r
i
c
e
d
i
s
t
a
n
c
e
f
r
o
m
w
o
r
k
I
F
(
H
o
u
s
e
i
s
E
x
p
e
n
s
i
v
e
O
R
F
a
r
-
f
r
o
m
-
w
o
r
k
)
,
T
H
E
N
S
u
i
t
.
i
s
L
o
w
I
F
(
H
o
u
s
e
i
s
A
v
-
p
r
i
c
e
d
A
N
D
~
5
0
k
m
-
a
w
a
y
)
,
T
H
E
N
S
u
i
t
.
i
s
R
e
g
u
l
a
r