D
S
o
l
v
e
[
σ
1
[
x
]
e
1
+
σ
1
p
[
x
]
e
2
+
′
′
σ
1
[
x
]
e
3
+
′
′
σ
1
p
[
x
]
e
4
+
(
4
)
σ
1
[
x
]
e
5
+
(
4
)
σ
1
p
[
x
]
e
6
A
,
σ
1
[
x
]
e
7
+
σ
1
p
[
x
]
e
8
+
′
′
σ
1
[
x
]
e
9
+
′
′
σ
1
p
[
x
]
e
1
0
+
(
4
)
σ
1
[
x
]
e
1
1
+
(
4
)
σ
1
p
[
x
]
e
1
2
B
,
{
σ
1
,
σ
1
p
}
,
x
]