{
(
x
;
x
2
)
:
x
o
n
r
e
a
a
l
a
r
v
}