I
n
[
]
:
=
x
T
-
x
C
H
e
a
d
[
N
[
x
T
-
x
C
]
]
C
o
u
n
t
[
A
b
s
[
r
a
n
d
o
m
]
,
x
_
/
;
x
>
=
x
T
-
x
C
]
C
o
u
n
t
A
b
s
[
r
a
n
d
o
m
]
,
x
_
/
;
x
>
=
3
8
5
O
u
t
[
]
=
3
8
5
O
u
t
[
]
=
R
e
a
l
O
u
t
[
]
=
0
O
u
t
[
]
=
1
0