I
n
[
]
:
=
F
i
n
d
I
n
s
t
a
n
c
e
[
2
x
+
4
y
-
x
^
2
-
y
^
2
5
,
{
x
,
y
}
,
R
e
a
l
s
]
O
u
t
[
]
=
{
{
x
1
,
y
2
}
}
I
n
[
]
:
=
F
i
n
d
I
n
s
t
a
n
c
e
[
2
x
+
4
y
-
x
^
2
-
y
^
2
z
&
&
z
>
0
&
&
x
>
0
&
&
y
>
0
,
{
x
,
y
,
z
}
,
I
n
t
e
g
e
r
s
]
O
u
t
[
]
=
{
{
x
2
,
y
2
,
z
4
}
}
I
n
[
]
:
=
S
o
l
v
e
[
2
x
+
4
y
-
x
^
2
-
y
^
2
z
&
&
z
>
0
&
&
x
>
0
&
&
y
>
0
,
x
,
I
n
t
e
g
e
r
s
]
O
u
t
[
]
=
x
1
i
f
(
y
1
&
&
z
4
)
|
|
(
y
2
&
&
z
5
)
|
|
(
y
3
&
&
z
4
)
|
|
(
y
4
&
&
z
1
)
,
x
2
i
f
(
y
1
&
&
z
3
)
|
|
(
y
2
&
&
z
4
)
|
|
(
y
3
&
&
z
3
)
,
x
3
i
f
y
2
&
&
z
1