I
n
[
]
:
=
R
e
d
u
c
e
-
a
x
-
b
γ
x
E
-
c
0
,
a
>
0
,
b
>
0
,
γ
>
0
,
c
>
0
,
x
R
e
d
u
c
e
:
T
h
i
s
s
y
s
t
e
m
c
a
n
n
o
t
b
e
s
o
l
v
e
d
w
i
t
h
t
h
e
m
e
t
h
o
d
s
a
v
a
i
l
a
b
l
e
t
o
R
e
d
u
c
e
.
O
u
t
[
]
=
R
e
d
u
c
e
-
c
+
-
a
x
-
b
γ
x
0
,
a
>
0
,
b
>
0
,
γ
>
0
,
c
>
0
,
x
