C
l
e
a
r
A
l
l
[
"
G
l
o
b
a
l
`
*
"
]
u
1
=
P
i
e
c
e
w
i
s
e
{
0
,
u
≤
p
}
,
u
*
C
o
s
[
θ
]
-
2
p
-
2
u
2
S
i
n
[
θ
]
,
u
>
p
∧
θ
≤
A
r
c
S
i
n
p
u
,
0
,
u
>
p
∧
θ
>
A
r
c
S
i
n
p
u
u
2
=
P
i
e
c
e
w
i
s
e
u
*
C
o
s
[
θ
]
+
2
p
-
2
u
2
S
i
n
[
θ
]
,
u
≤
p
,
u
*
C
o
s
[
θ
]
+
2
p
-
2
u
2
S
i
n
[
θ
]
,
u
>
p
∧
θ
≤
A
r
c
S
i
n
p
u
,
0
,
u
>
p
∧
θ
>
A
r
c
S
i
n
p
u
0
u
≤
p
u
C
o
s
[
θ
]
-
2
p
-
2
u
2
S
i
n
[
θ
]
u
>
p
&
&
θ
≤
A
r
c
S
i
n
p
u
0
T
r
u
e
u
C
o
s
[
θ
]
+
2
p
-
2
u
2
S
i
n
[
θ
]
u
≤
p
|
|
u
>
p
&
&
θ
≤
A
r
c
S
i
n
p
u
0
T
r
u
e