I
n
[
]
:
=
r
=
I
m
p
l
i
c
i
t
R
e
g
i
o
n
[
{
x
>
=
y
,
x
<
=
1
/
y
}
,
{
{
x
,
0
,
∞
}
,
{
y
,
0
,
1
}
}
]
O
u
t
[
]
=
I
m
p
l
i
c
i
t
R
e
g
i
o
n
x
≥
y
&
&
x
≤
1
y
&
&
x
≥
0
&
&
0
≤
y
≤
1
,
{
x
,
y
}
I
n
[
]
:
=
R
e
g
i
o
n
[
r
,
A
x
e
s
-
>
T
r
u
e
]
O
u
t
[
]
=
