I
n
[
]
:
=
R
e
f
i
n
e
[
C
o
n
v
o
l
v
e
[
U
n
i
t
B
o
x
[
y
/
T
]
,
U
n
i
t
B
o
x
[
y
/
T
]
,
y
,
t
]
,
A
s
s
u
m
p
t
i
o
n
s
-
>
T
>
0
]
O
u
t
[
]
=
-
t
-
T
t
>
0
&
&
t
+
T
<
0
t
-
T
t
<
0
&
&
t
>
T
T
t
0
-
t
+
T
t
>
0
&
&
t
<
T
t
+
T
t
<
0
&
&
t
+
T
>
0
0
T
r
u
e
I
n
[
]
:
=
R
e
f
i
n
e
[
C
o
n
v
o
l
v
e
[
U
n
i
t
B
o
x
[
y
/
a
]
,
U
n
i
t
B
o
x
[
y
/
a
]
,
y
,
t
]
,
A
s
s
u
m
p
t
i
o
n
s
-
>
a
>
0
]
O
u
t
[
]
=
a
-
t
t
>
0
&
&
a
>
t
a
+
t
a
+
t
>
0
&
&
t
≤
0
0
T
r
u
e