I
n
[
]
:
=
C
l
e
a
r
[
"
`
*
"
]
;
u
[
x
_
,
t
_
]
:
=
t
*
a
0
[
t
]
;
(
*
a
0
(
t
)
i
s
u
n
k
n
o
w
n
f
u
n
c
t
i
o
n
*
)
1
G
a
m
m
a
[
2
-
α
]
I
n
t
e
g
r
a
t
e
[
D
[
u
[
x
,
z
]
,
{
z
,
2
}
]
*
1
-
α
(
t
-
z
)
,
{
z
,
0
,
t
}
,
A
s
s
u
m
p
t
i
o
n
s
1
<
α
<
2
]
O
u
t
[
]
=
I
n
t
e
g
r
a
t
e
[
1
-
α
(
t
-
z
)
(
2
′
a
0
[
z
]
+
z
′
′
a
0
[
z
]
)
,
{
z
,
0
,
t
}
,
A
s
s
u
m
p
t
i
o
n
s
1
<
α
<
2
]
G
a
m
m
a
[
2
-
α
]