Certification Problem
Input (COPS 1011)
We consider the TRS containing the following rules:
|
b(b(x)) |
→ |
a(b(x)) |
(1) |
|
c(a(x)) |
→ |
c(c(x)) |
(2) |
|
b(b(x)) |
→ |
b(b(x)) |
(3) |
|
b(c(x)) |
→ |
c(c(x)) |
(4) |
|
b(a(x)) |
→ |
b(b(x)) |
(5) |
|
b(a(x)) |
→ |
b(a(x)) |
(6) |
|
c(b(x)) |
→ |
c(a(x)) |
(7) |
|
c(c(x)) |
→ |
b(a(x)) |
(8) |
The underlying signature is as follows:
{b/1, a/1, c/1}Property / Task
Prove or disprove confluence.Answer / Result
Yes.Proof (by csi @ CoCo 2021)
1 Redundant Rules Transformation
To prove that the TRS is (non-)confluent, we show (non-)confluence of the following
modified system:
|
c(c(x)) |
→ |
b(a(x)) |
(8) |
|
c(b(x)) |
→ |
c(a(x)) |
(7) |
|
b(a(x)) |
→ |
b(b(x)) |
(5) |
|
b(c(x)) |
→ |
c(c(x)) |
(4) |
|
c(a(x)) |
→ |
c(c(x)) |
(2) |
|
b(b(x)) |
→ |
a(b(x)) |
(1) |
All redundant rules that were added or removed can be
simulated in 1 steps
.
1.1 Redundant Rules Transformation
To prove that the TRS is (non-)confluent, we show (non-)confluence of the following
modified system:
|
c(c(x)) |
→ |
b(a(x)) |
(8) |
|
c(b(x)) |
→ |
c(a(x)) |
(7) |
|
b(a(x)) |
→ |
b(b(x)) |
(5) |
|
b(c(x)) |
→ |
c(c(x)) |
(4) |
|
c(a(x)) |
→ |
c(c(x)) |
(2) |
|
b(b(x)) |
→ |
a(b(x)) |
(1) |
|
c(c(x)) |
→ |
b(b(x)) |
(9) |
|
c(b(x)) |
→ |
c(c(x)) |
(10) |
|
b(a(x)) |
→ |
a(b(x)) |
(11) |
|
b(c(x)) |
→ |
b(a(x)) |
(12) |
|
c(a(x)) |
→ |
b(a(x)) |
(13) |
All redundant rules that were added or removed can be
simulated in 2 steps
.
1.1.1 Redundant Rules Transformation
To prove that the TRS is (non-)confluent, we show (non-)confluence of the following
modified system:
|
c(a(x)) |
→ |
b(a(x)) |
(13) |
|
b(c(x)) |
→ |
b(a(x)) |
(12) |
|
b(a(x)) |
→ |
a(b(x)) |
(11) |
|
c(b(x)) |
→ |
c(c(x)) |
(10) |
|
c(c(x)) |
→ |
b(b(x)) |
(9) |
|
b(b(x)) |
→ |
a(b(x)) |
(1) |
|
c(a(x)) |
→ |
c(c(x)) |
(2) |
|
b(c(x)) |
→ |
c(c(x)) |
(4) |
|
b(a(x)) |
→ |
b(b(x)) |
(5) |
|
c(b(x)) |
→ |
c(a(x)) |
(7) |
|
c(c(x)) |
→ |
b(a(x)) |
(8) |
|
c(a(x)) |
→ |
a(b(x)) |
(14) |
|
c(a(x)) |
→ |
b(b(x)) |
(15) |
|
b(c(x)) |
→ |
a(b(x)) |
(16) |
|
b(c(x)) |
→ |
b(b(x)) |
(17) |
|
c(b(x)) |
→ |
b(b(x)) |
(18) |
|
c(b(x)) |
→ |
b(a(x)) |
(19) |
|
c(c(x)) |
→ |
a(b(x)) |
(20) |
All redundant rules that were added or removed can be
simulated in 2 steps
.
1.1.1.1 Decreasing Diagrams
1.1.1.1.2 Rule Labeling
Confluence is proven, because all critical peaks can be joined decreasingly
using the following rule labeling function (rules that are not shown have label 0).
-
↦ 17
-
↦ 16
-
↦ 0
-
↦ 17
-
↦ 16
-
↦ 0
-
↦ 4
-
↦ 27
-
↦ 0
-
↦ 17
-
↦ 16
-
↦ 0
-
↦ 16
-
↦ 0
-
↦ 0
-
↦ 16
-
↦ 1
-
↦ 0
The critical pairs can be joined as follows. Here,
↔ is always chosen as an appropriate rewrite relation which
is automatically inferred by the certifier.
-
The critical peak s = b(b(a(x1024)))←→ε b(a(a(x1024))) = t can be joined as follows.
s
↔ b(b(a(x1024))) ↔
t
-
The critical peak s = b(b(a(x1024)))←→ε b(a(a(x1024))) = t can be joined as follows.
s
↔ a(b(a(x1024))) ↔
t
-
The critical peak s = c(b(a(x1025)))←→ε b(b(a(x1025))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(a(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(a(x1027)))←→ε c(c(a(x1027))) = t can be joined as follows.
s
↔ b(b(a(x1027))) ↔
t
-
The critical peak s = b(b(a(x1027)))←→ε c(c(a(x1027))) = t can be joined as follows.
s
↔ a(b(a(x1027))) ↔
t
-
The critical peak s = c(b(a(x1028)))←→ε b(a(a(x1028))) = t can be joined as follows.
s
↔ b(b(a(x1028))) ↔
t
-
The critical peak s = c(b(a(x1028)))←→ε b(a(a(x1028))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(a(x1031)))←→ε a(b(a(x1031))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(a(x1032)))←→ε b(b(a(x1032))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(a(x1033)))←→ε a(b(a(x1033))) = t can be joined as follows.
s
↔ c(a(b(x1033))) ↔ a(b(b(x1033))) ↔
t
-
The critical peak s = c(b(a(x1033)))←→ε a(b(a(x1033))) = t can be joined as follows.
s
↔ c(c(a(x1033))) ↔
t
-
The critical peak s = c(b(a(x1033)))←→ε a(b(a(x1033))) = t can be joined as follows.
s
↔ c(a(a(x1033))) ↔
t
-
The critical peak s = c(b(a(x1033)))←→ε a(b(a(x1033))) = t can be joined as follows.
s
↔ b(b(a(x1033))) ↔
t
-
The critical peak s = c(b(a(x1033)))←→ε a(b(a(x1033))) = t can be joined as follows.
s
↔ b(a(a(x1033))) ↔
t
-
The critical peak s = c(b(a(x1034)))←→ε c(c(c(x1034))) = t can be joined as follows.
s
↔ c(b(a(x1034))) ↔
t
-
The critical peak s = c(b(a(x1034)))←→ε c(c(c(x1034))) = t can be joined as follows.
s
↔ c(a(b(x1034))) ↔
t
-
The critical peak s = c(b(a(x1034)))←→ε c(c(c(x1034))) = t can be joined as follows.
s
↔ c(b(b(x1034))) ↔
t
-
The critical peak s = b(b(a(x1035)))←→ε a(b(c(x1035))) = t can be joined as follows.
s
↔ a(b(a(x1035))) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(a(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(b(a(x1037))) ↔ c(c(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(a(b(x1037))) ↔ c(c(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(c(a(x1037))) ↔ c(a(b(x1037))) ↔ c(c(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(b(b(x1037))) ↔ c(a(b(x1037))) ↔ c(c(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(b(b(x1037))) ↔ c(c(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(c(a(x1037))) ↔ c(b(b(x1037))) ↔ c(c(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ b(b(a(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(c(a(x1037))) ↔ b(b(a(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(a(a(x1037))) ↔ b(b(a(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ b(a(a(x1037))) ↔ b(b(a(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(a(b(x1037))) ↔ b(a(b(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(b(b(x1037))) ↔ b(a(b(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ b(b(a(x1037))) ↔ b(a(b(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(a(b(x1037))) ↔ a(b(b(x1037))) ↔ a(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(a(b(x1037))) ↔ b(b(b(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(b(b(x1037))) ↔ b(b(b(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ b(b(a(x1037))) ↔ b(b(b(x1037))) ↔ b(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(c(a(x1037))) ↔ c(c(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(c(a(x1037))) ↔ a(b(a(x1037))) ↔ a(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ c(a(a(x1037))) ↔ a(b(a(x1037))) ↔ a(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ b(b(a(x1037))) ↔ a(b(a(x1037))) ↔ a(b(c(x1037))) ↔
t
-
The critical peak s = c(b(a(x1037)))←→ε c(a(c(x1037))) = t can be joined as follows.
s
↔ b(a(a(x1037))) ↔ a(b(a(x1037))) ↔ a(b(c(x1037))) ↔
t
-
The critical peak s = b(a(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(a(x1040)))←→ε b(b(c(x1040))) = t can be joined as follows.
s
↔ b(b(a(x1040))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ b(b(a(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(c(a(x1041))) ↔ b(b(a(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(a(a(x1041))) ↔ b(b(a(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ b(a(a(x1041))) ↔ b(b(a(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(a(b(x1041))) ↔ b(a(b(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(b(b(x1041))) ↔ b(a(b(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ b(b(a(x1041))) ↔ b(a(b(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(a(b(x1041))) ↔ a(b(b(x1041))) ↔ a(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(a(b(x1041))) ↔ b(b(b(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(b(b(x1041))) ↔ b(b(b(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ b(b(a(x1041))) ↔ b(b(b(x1041))) ↔ b(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(c(a(x1041))) ↔ a(b(a(x1041))) ↔ a(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ c(a(a(x1041))) ↔ a(b(a(x1041))) ↔ a(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ b(b(a(x1041))) ↔ a(b(a(x1041))) ↔ a(b(c(x1041))) ↔
t
-
The critical peak s = c(b(a(x1041)))←→ε b(a(c(x1041))) = t can be joined as follows.
s
↔ b(a(a(x1041))) ↔ a(b(a(x1041))) ↔ a(b(c(x1041))) ↔
t
-
The critical peak s = c(a(b(x1042)))←→ε c(c(a(x1042))) = t can be joined as follows.
s
↔ c(a(b(x1042))) ↔
t
-
The critical peak s = b(a(b(x1043)))←→ε a(b(a(x1043))) = t can be joined as follows.
s
↔ a(b(b(x1043))) ↔
t
-
The critical peak s = a(b(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(a(b(x1045))) ↔ c(c(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ b(a(b(x1045))) ↔ b(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(c(b(x1045))) ↔ b(a(b(x1045))) ↔ b(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ b(b(b(x1045))) ↔ b(a(b(x1045))) ↔ b(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ a(b(b(x1045))) ↔ a(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ b(a(b(x1045))) ↔ a(b(b(x1045))) ↔ a(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(c(b(x1045))) ↔ a(b(b(x1045))) ↔ a(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ b(b(b(x1045))) ↔ a(b(b(x1045))) ↔ a(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ b(b(b(x1045))) ↔ b(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ b(a(b(x1045))) ↔ b(b(b(x1045))) ↔ b(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(c(b(x1045))) ↔ b(b(b(x1045))) ↔ b(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(c(b(x1045))) ↔ c(c(c(x1045))) ↔ c(c(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(c(b(x1045))) ↔ c(c(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(c(b(x1045))) ↔ c(b(b(x1045))) ↔ c(c(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ c(c(b(x1045))) ↔ c(b(a(x1045))) ↔ c(c(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1045)))←→ε c(a(a(x1045))) = t can be joined as follows.
s
↔ a(b(b(x1045))) ↔ a(a(b(x1045))) ↔ a(b(a(x1045))) ↔
t
-
The critical peak s = c(a(b(x1046)))←→ε b(b(a(x1046))) = t can be joined as follows.
s
↔ b(a(b(x1046))) ↔
t
-
The critical peak s = c(a(b(x1046)))←→ε b(b(a(x1046))) = t can be joined as follows.
s
↔ b(b(b(x1046))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ b(a(b(x1047))) ↔ b(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ c(c(b(x1047))) ↔ b(a(b(x1047))) ↔ b(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ b(b(b(x1047))) ↔ b(a(b(x1047))) ↔ b(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ a(b(b(x1047))) ↔ a(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ b(a(b(x1047))) ↔ a(b(b(x1047))) ↔ a(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ c(c(b(x1047))) ↔ a(b(b(x1047))) ↔ a(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ b(b(b(x1047))) ↔ a(b(b(x1047))) ↔ a(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ b(b(b(x1047))) ↔ b(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ b(a(b(x1047))) ↔ b(b(b(x1047))) ↔ b(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ c(c(b(x1047))) ↔ b(b(b(x1047))) ↔ b(b(a(x1047))) ↔
t
-
The critical peak s = c(a(b(x1047)))←→ε b(a(a(x1047))) = t can be joined as follows.
s
↔ a(b(b(x1047))) ↔ a(a(b(x1047))) ↔ a(b(a(x1047))) ↔
t
-
The critical peak s = b(c(c(x1048)))←→ε b(a(b(x1048))) = t can be joined as follows.
s
↔ b(b(b(x1048))) ↔
t
-
The critical peak s = b(c(c(x1048)))←→ε b(a(b(x1048))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ c(b(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ b(b(c(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ c(a(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ c(b(b(x1049))) ↔ b(a(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ b(b(c(x1049))) ↔ b(a(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ c(a(b(x1049))) ↔ b(a(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ c(a(b(x1049))) ↔ a(b(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ c(a(b(x1049))) ↔ a(b(b(x1049))) ↔ b(a(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ a(b(c(x1049))) ↔ a(b(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ a(b(c(x1049))) ↔ a(b(b(x1049))) ↔ b(a(b(x1049))) ↔
t
-
The critical peak s = c(c(c(x1049)))←→ε b(b(b(x1049))) = t can be joined as follows.
s
↔ a(b(c(x1049))) ↔ a(a(b(x1049))) ↔ a(b(b(x1049))) ↔
t
-
The critical peak s = b(c(c(x1050)))←→ε c(c(b(x1050))) = t can be joined as follows.
s
↔ b(b(b(x1050))) ↔
t
-
The critical peak s = b(c(c(x1050)))←→ε c(c(b(x1050))) = t can be joined as follows.
s
↔ c(c(c(x1050))) ↔
t
-
The critical peak s = b(c(c(x1050)))←→ε c(c(b(x1050))) = t can be joined as follows.
s
↔ b(a(b(x1050))) ↔
t
-
The critical peak s = c(c(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
t
-
The critical peak s = c(c(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(c(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ b(a(x)) ↔
t
-
The critical peak s = c(c(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ c(b(b(x1052))) ↔ b(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ b(b(c(x1052))) ↔ b(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ c(a(b(x1052))) ↔ b(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ c(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ b(b(c(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ c(a(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ c(a(b(x1052))) ↔ a(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ c(a(b(x1052))) ↔ a(b(b(x1052))) ↔ b(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ a(b(c(x1052))) ↔ a(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ a(b(c(x1052))) ↔ a(b(b(x1052))) ↔ b(b(b(x1052))) ↔
t
-
The critical peak s = c(c(c(x1052)))←→ε b(a(b(x1052))) = t can be joined as follows.
s
↔ a(b(c(x1052))) ↔ a(a(b(x1052))) ↔ a(b(b(x1052))) ↔
t
-
The critical peak s = b(c(c(x1053)))←→ε a(b(b(x1053))) = t can be joined as follows.
s
↔ b(b(b(x1053))) ↔
t
-
The critical peak s = b(c(c(x1053)))←→ε a(b(b(x1053))) = t can be joined as follows.
s
↔ a(b(c(x1053))) ↔
t
-
The critical peak s = b(c(c(x1053)))←→ε a(b(b(x1053))) = t can be joined as follows.
s
↔ b(a(b(x1053))) ↔
t
-
The critical peak s = b(c(c(x1053)))←→ε a(b(b(x1053))) = t can be joined as follows.
s
↔ a(b(c(x1053))) ↔ a(a(b(x1053))) ↔
t
-
The critical peak s = b(c(c(x1054)))←→ε b(b(b(x1054))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1054)))←→ε b(b(b(x1054))) = t can be joined as follows.
s
↔ b(a(b(x1054))) ↔
t
-
The critical peak s = c(c(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(c(c(x1057)))←→ε a(b(b(x1057))) = t can be joined as follows.
s
↔ c(a(b(x1057))) ↔
t
-
The critical peak s = c(c(c(x1057)))←→ε a(b(b(x1057))) = t can be joined as follows.
s
↔ a(b(c(x1057))) ↔
t
-
The critical peak s = c(c(c(x1057)))←→ε a(b(b(x1057))) = t can be joined as follows.
s
↔ a(b(c(x1057))) ↔ a(a(b(x1057))) ↔
t
-
The critical peak s = b(b(b(x1058)))←→ε b(a(c(x1058))) = t can be joined as follows.
s
↔ b(b(b(x1058))) ↔ b(b(c(x1058))) ↔
t
-
The critical peak s = b(b(b(x1058)))←→ε b(a(c(x1058))) = t can be joined as follows.
s
↔ b(a(b(x1058))) ↔ b(b(c(x1058))) ↔
t
-
The critical peak s = b(b(b(x1058)))←→ε b(a(c(x1058))) = t can be joined as follows.
s
↔ a(b(b(x1058))) ↔ a(b(c(x1058))) ↔
t
-
The critical peak s = b(b(b(x1058)))←→ε b(a(c(x1058))) = t can be joined as follows.
s
↔ b(a(b(x1058))) ↔ a(b(b(x1058))) ↔ a(b(c(x1058))) ↔
t
-
The critical peak s = b(b(b(x1058)))←→ε b(a(c(x1058))) = t can be joined as follows.
s
↔ a(b(b(x1058))) ↔ a(a(b(x1058))) ↔ a(b(c(x1058))) ↔
t
-
The critical peak s = c(b(b(x1059)))←→ε b(b(c(x1059))) = t can be joined as follows.
s
↔ b(b(b(x1059))) ↔
t
-
The critical peak s = c(b(b(x1059)))←→ε b(b(c(x1059))) = t can be joined as follows.
s
↔ b(a(b(x1059))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(b(b(x1060))) ↔ c(b(b(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(b(b(x1060))) ↔ b(b(c(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(b(b(x1060))) ↔ c(a(b(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(a(b(x1060))) ↔ c(b(b(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(a(b(x1060))) ↔ b(b(c(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(a(b(x1060))) ↔ c(a(b(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ a(b(b(x1060))) ↔ c(a(b(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ a(b(b(x1060))) ↔ a(b(c(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(a(b(x1060))) ↔ a(b(b(x1060))) ↔ c(a(b(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ b(a(b(x1060))) ↔ a(b(b(x1060))) ↔ a(b(c(x1060))) ↔
t
-
The critical peak s = b(b(b(x1060)))←→ε c(c(c(x1060))) = t can be joined as follows.
s
↔ a(b(b(x1060))) ↔ a(a(b(x1060))) ↔ a(b(c(x1060))) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ b(b(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ c(c(b(x1062))) ↔ b(b(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ c(a(b(x1062))) ↔ b(b(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ b(a(b(x1062))) ↔ b(b(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ b(a(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ c(c(b(x1062))) ↔ b(a(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ c(a(b(x1062))) ↔ b(a(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ b(b(b(x1062))) ↔ b(a(b(x1062))) ↔ b(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ c(c(b(x1062))) ↔ a(b(b(x1062))) ↔ a(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ c(a(b(x1062))) ↔ a(b(b(x1062))) ↔ a(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ b(b(b(x1062))) ↔ a(b(b(x1062))) ↔ a(b(c(x1062))) ↔
t
-
The critical peak s = c(b(b(x1062)))←→ε b(a(c(x1062))) = t can be joined as follows.
s
↔ b(a(b(x1062))) ↔ a(b(b(x1062))) ↔ a(b(c(x1062))) ↔
t
-
The critical peak s = b(b(b(x1063)))←→ε a(b(c(x1063))) = t can be joined as follows.
s
↔ a(b(b(x1063))) ↔
t
-
The critical peak s = b(b(b(x1064)))←→ε b(b(c(x1064))) = t can be joined as follows.
s
↔ b(b(b(x1064))) ↔
t
-
The critical peak s = b(b(b(x1064)))←→ε b(b(c(x1064))) = t can be joined as follows.
s
↔ b(a(b(x1064))) ↔
t
-
The critical peak s = b(b(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ c(c(b(x1066))) ↔ a(b(b(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ c(c(b(x1066))) ↔ a(b(b(x1066))) ↔ a(b(a(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ c(c(b(x1066))) ↔ a(b(b(x1066))) ↔ a(c(c(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ c(a(b(x1066))) ↔ a(b(b(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ c(a(b(x1066))) ↔ a(b(b(x1066))) ↔ a(b(a(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ c(a(b(x1066))) ↔ a(b(b(x1066))) ↔ a(c(c(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ b(b(b(x1066))) ↔ a(b(b(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ b(b(b(x1066))) ↔ a(b(b(x1066))) ↔ a(b(a(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ b(b(b(x1066))) ↔ a(b(b(x1066))) ↔ a(c(c(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ b(a(b(x1066))) ↔ a(b(b(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ b(a(b(x1066))) ↔ a(b(b(x1066))) ↔ a(b(a(x1066))) ↔
t
-
The critical peak s = c(b(b(x1066)))←→ε a(b(c(x1066))) = t can be joined as follows.
s
↔ b(a(b(x1066))) ↔ a(b(b(x1066))) ↔ a(c(c(x1066))) ↔
t
-
The critical peak s = c(a(b(x1067)))←→ε c(c(b(x1067))) = t can be joined as follows.
s
↔ b(a(b(x1067))) ↔
t
-
The critical peak s = c(a(b(x1067)))←→ε c(c(b(x1067))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1067)))←→ε c(c(b(x1067))) = t can be joined as follows.
s
↔ a(b(b(x1067))) ↔
t
-
The critical peak s = c(a(b(x1067)))←→ε c(c(b(x1067))) = t can be joined as follows.
s
↔ b(b(b(x1067))) ↔
t
-
The critical peak s = b(a(b(x1068)))←→ε a(b(b(x1068))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1069)))←→ε c(a(b(x1069))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1070)))←→ε b(b(b(x1070))) = t can be joined as follows.
s
↔ b(a(b(x1070))) ↔
t
-
The critical peak s = c(a(b(x1070)))←→ε b(b(b(x1070))) = t can be joined as follows.
s
↔ a(b(b(x1070))) ↔
t
-
The critical peak s = c(a(b(x1070)))←→ε b(b(b(x1070))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1071)))←→ε b(a(b(x1071))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1071)))←→ε b(a(b(x1071))) = t can be joined as follows.
s
↔ a(b(b(x1071))) ↔
t
-
The critical peak s = c(a(b(x1071)))←→ε b(a(b(x1071))) = t can be joined as follows.
s
↔ b(b(b(x1071))) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(c(c(x1073)))←→ε b(a(a(x1073))) = t can be joined as follows.
s
↔ b(b(a(x1073))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(b(b(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(b(b(x1074))) ↔ b(b(b(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ b(b(c(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ b(b(c(x1074))) ↔ b(b(b(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(a(b(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(a(b(x1074))) ↔ b(b(b(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(b(b(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(b(b(x1074))) ↔ b(a(b(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ b(b(c(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ b(b(c(x1074))) ↔ b(a(b(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(a(b(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(a(b(x1074))) ↔ b(a(b(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ b(b(c(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(b(a(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(a(b(x1074))) ↔ a(b(b(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(a(b(x1074))) ↔ a(b(b(x1074))) ↔ a(b(a(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ c(a(b(x1074))) ↔ a(b(b(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ a(b(c(x1074))) ↔ a(b(b(x1074))) ↔ b(a(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ a(b(c(x1074))) ↔ a(b(b(x1074))) ↔ a(b(a(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ a(b(c(x1074))) ↔ a(b(b(x1074))) ↔ b(b(b(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ a(b(c(x1074))) ↔ a(b(a(x1074))) ↔
t
-
The critical peak s = c(c(c(x1074)))←→ε b(b(a(x1074))) = t can be joined as follows.
s
↔ a(b(c(x1074))) ↔ a(a(b(x1074))) ↔ a(b(a(x1074))) ↔
t
-
The critical peak s = b(c(c(x1075)))←→ε c(c(a(x1075))) = t can be joined as follows.
s
↔ c(c(c(x1075))) ↔
t
-
The critical peak s = b(c(c(x1075)))←→ε c(c(a(x1075))) = t can be joined as follows.
s
↔ b(b(a(x1075))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ c(b(b(x1076))) ↔ b(b(b(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ b(b(c(x1076))) ↔ b(b(b(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ c(a(b(x1076))) ↔ b(b(b(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ c(b(b(x1076))) ↔ b(a(b(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ b(b(c(x1076))) ↔ b(a(b(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ c(a(b(x1076))) ↔ b(a(b(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ b(b(c(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ c(b(a(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ c(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ c(a(b(x1076))) ↔ a(b(b(x1076))) ↔ a(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ a(b(c(x1076))) ↔ a(b(b(x1076))) ↔ a(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ a(b(c(x1076))) ↔ a(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ a(b(c(x1076))) ↔ a(b(a(x1076))) ↔ b(b(a(x1076))) ↔
t
-
The critical peak s = c(c(c(x1076)))←→ε b(a(a(x1076))) = t can be joined as follows.
s
↔ a(b(c(x1076))) ↔ a(a(b(x1076))) ↔ a(b(a(x1076))) ↔
t
-
The critical peak s = c(c(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(c(c(x1079)))←→ε a(b(a(x1079))) = t can be joined as follows.
s
↔ b(b(b(x1079))) ↔ a(b(b(x1079))) ↔
t
-
The critical peak s = b(c(c(x1079)))←→ε a(b(a(x1079))) = t can be joined as follows.
s
↔ a(b(c(x1079))) ↔ a(b(b(x1079))) ↔
t
-
The critical peak s = b(c(c(x1079)))←→ε a(b(a(x1079))) = t can be joined as follows.
s
↔ b(a(b(x1079))) ↔ a(b(b(x1079))) ↔
t
-
The critical peak s = b(c(c(x1079)))←→ε a(b(a(x1079))) = t can be joined as follows.
s
↔ b(b(a(x1079))) ↔
t
-
The critical peak s = b(c(c(x1079)))←→ε a(b(a(x1079))) = t can be joined as follows.
s
↔ a(b(c(x1079))) ↔
t
-
The critical peak s = b(c(c(x1079)))←→ε a(b(a(x1079))) = t can be joined as follows.
s
↔ a(b(c(x1079))) ↔ a(a(b(x1079))) ↔
t
-
The critical peak s = b(c(c(x1079)))←→ε a(b(a(x1079))) = t can be joined as follows.
s
↔ a(b(c(x1079))) ↔ a(a(b(x1079))) ↔ a(b(b(x1079))) ↔
t
-
The critical peak s = b(c(c(x1080)))←→ε b(b(a(x1080))) = t can be joined as follows.
s
↔ b(b(b(x1080))) ↔
t
-
The critical peak s = b(c(c(x1080)))←→ε b(b(a(x1080))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1080)))←→ε b(b(a(x1080))) = t can be joined as follows.
s
↔ b(a(b(x1080))) ↔
t
-
The critical peak s = c(c(c(x1081)))←→ε a(b(a(x1081))) = t can be joined as follows.
s
↔ c(a(b(x1081))) ↔ a(b(b(x1081))) ↔
t
-
The critical peak s = c(c(c(x1081)))←→ε a(b(a(x1081))) = t can be joined as follows.
s
↔ a(b(c(x1081))) ↔ a(b(b(x1081))) ↔
t
-
The critical peak s = c(c(c(x1081)))←→ε a(b(a(x1081))) = t can be joined as follows.
s
↔ a(b(c(x1081))) ↔
t
-
The critical peak s = c(c(c(x1081)))←→ε a(b(a(x1081))) = t can be joined as follows.
s
↔ a(b(c(x1081))) ↔ a(a(b(x1081))) ↔
t
-
The critical peak s = c(c(c(x1081)))←→ε a(b(a(x1081))) = t can be joined as follows.
s
↔ a(b(c(x1081))) ↔ a(a(b(x1081))) ↔ a(b(b(x1081))) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(c(c(x1083)))←→ε c(c(c(x1083))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1084)))←→ε a(b(c(x1084))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1085)))←→ε c(a(c(x1085))) = t can be joined as follows.
s
↔ c(c(c(x1085))) ↔
t
-
The critical peak s = c(c(c(x1085)))←→ε c(a(c(x1085))) = t can be joined as follows.
s
↔ b(b(c(x1085))) ↔
t
-
The critical peak s = c(c(c(x1085)))←→ε c(a(c(x1085))) = t can be joined as follows.
s
↔ b(a(c(x1085))) ↔
t
-
The critical peak s = c(c(c(x1085)))←→ε c(a(c(x1085))) = t can be joined as follows.
s
↔ a(b(c(x1085))) ↔
t
-
The critical peak s = c(c(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(c(c(x1088)))←→ε b(b(c(x1088))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1088)))←→ε b(b(c(x1088))) = t can be joined as follows.
s
↔ a(b(c(x1088))) ↔
t
-
The critical peak s = c(c(c(x1089)))←→ε b(a(c(x1089))) = t can be joined as follows.
s
↔ b(b(c(x1089))) ↔
t
-
The critical peak s = c(c(c(x1089)))←→ε b(a(c(x1089))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1089)))←→ε b(a(c(x1089))) = t can be joined as follows.
s
↔ a(b(c(x1089))) ↔
t
-
The critical peak s = b(b(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(b(x1091)))←→ε c(c(a(x1091))) = t can be joined as follows.
s
↔ c(b(b(x1091))) ↔
t
-
The critical peak s = c(b(b(x1091)))←→ε c(c(a(x1091))) = t can be joined as follows.
s
↔ c(a(b(x1091))) ↔
t
-
The critical peak s = b(b(b(x1092)))←→ε a(b(a(x1092))) = t can be joined as follows.
s
↔ a(b(b(x1092))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(b(b(x1093))) ↔ c(c(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(a(b(x1093))) ↔ c(c(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ b(b(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(c(b(x1093))) ↔ b(b(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(a(b(x1093))) ↔ b(b(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ b(a(b(x1093))) ↔ b(b(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ b(a(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(c(b(x1093))) ↔ b(a(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(a(b(x1093))) ↔ b(a(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ b(b(b(x1093))) ↔ b(a(b(x1093))) ↔ b(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(c(b(x1093))) ↔ c(c(c(x1093))) ↔ c(c(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(c(b(x1093))) ↔ c(c(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(c(b(x1093))) ↔ c(b(a(x1093))) ↔ c(c(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(c(b(x1093))) ↔ a(b(b(x1093))) ↔ a(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ c(a(b(x1093))) ↔ a(b(b(x1093))) ↔ a(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ b(b(b(x1093))) ↔ a(b(b(x1093))) ↔ a(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1093)))←→ε c(a(a(x1093))) = t can be joined as follows.
s
↔ b(a(b(x1093))) ↔ a(b(b(x1093))) ↔ a(b(a(x1093))) ↔
t
-
The critical peak s = c(b(b(x1094)))←→ε b(b(a(x1094))) = t can be joined as follows.
s
↔ b(b(b(x1094))) ↔
t
-
The critical peak s = c(b(b(x1094)))←→ε b(b(a(x1094))) = t can be joined as follows.
s
↔ b(a(b(x1094))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ b(b(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ c(c(b(x1095))) ↔ b(b(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ c(a(b(x1095))) ↔ b(b(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ b(a(b(x1095))) ↔ b(b(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ b(a(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ c(c(b(x1095))) ↔ b(a(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ c(a(b(x1095))) ↔ b(a(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ b(b(b(x1095))) ↔ b(a(b(x1095))) ↔ b(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ c(c(b(x1095))) ↔ a(b(b(x1095))) ↔ a(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ c(a(b(x1095))) ↔ a(b(b(x1095))) ↔ a(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ b(b(b(x1095))) ↔ a(b(b(x1095))) ↔ a(b(a(x1095))) ↔
t
-
The critical peak s = c(b(b(x1095)))←→ε b(a(a(x1095))) = t can be joined as follows.
s
↔ b(a(b(x1095))) ↔ a(b(b(x1095))) ↔ a(b(a(x1095))) ↔
t
-
The critical peak s = b(c(a(x1096)))←→ε b(a(b(x1096))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(a(x1096)))←→ε b(a(b(x1096))) = t can be joined as follows.
s
↔ b(b(b(x1096))) ↔
t
-
The critical peak s = c(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(a(x)) ↔
t
-
The critical peak s = c(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ b(b(a(x1098))) ↔ b(a(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ c(a(b(x1098))) ↔ b(a(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ c(b(b(x1098))) ↔ b(a(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ b(b(a(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ c(a(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ c(b(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ c(a(b(x1098))) ↔ a(b(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ c(a(b(x1098))) ↔ a(b(b(x1098))) ↔ b(a(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ a(b(a(x1098))) ↔ a(b(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ a(b(a(x1098))) ↔ a(b(b(x1098))) ↔ b(a(b(x1098))) ↔
t
-
The critical peak s = c(c(a(x1098)))←→ε b(b(b(x1098))) = t can be joined as follows.
s
↔ a(b(a(x1098))) ↔ a(a(b(x1098))) ↔ a(b(b(x1098))) ↔
t
-
The critical peak s = b(c(a(x1099)))←→ε c(c(b(x1099))) = t can be joined as follows.
s
↔ c(c(a(x1099))) ↔
t
-
The critical peak s = b(c(a(x1099)))←→ε c(c(b(x1099))) = t can be joined as follows.
s
↔ b(a(b(x1099))) ↔
t
-
The critical peak s = b(c(a(x1099)))←→ε c(c(b(x1099))) = t can be joined as follows.
s
↔ b(b(b(x1099))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ b(b(a(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ c(a(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ c(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ b(b(a(x1100))) ↔ b(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ c(a(b(x1100))) ↔ b(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ c(b(b(x1100))) ↔ b(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ c(a(b(x1100))) ↔ a(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ c(a(b(x1100))) ↔ a(b(b(x1100))) ↔ b(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ a(b(a(x1100))) ↔ a(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ a(b(a(x1100))) ↔ a(b(b(x1100))) ↔ b(b(b(x1100))) ↔
t
-
The critical peak s = c(c(a(x1100)))←→ε b(a(b(x1100))) = t can be joined as follows.
s
↔ a(b(a(x1100))) ↔ a(a(b(x1100))) ↔ a(b(b(x1100))) ↔
t
-
The critical peak s = b(c(a(x1101)))←→ε a(b(b(x1101))) = t can be joined as follows.
s
↔ b(a(b(x1101))) ↔
t
-
The critical peak s = b(c(a(x1101)))←→ε a(b(b(x1101))) = t can be joined as follows.
s
↔ b(b(b(x1101))) ↔
t
-
The critical peak s = b(c(a(x1101)))←→ε a(b(b(x1101))) = t can be joined as follows.
s
↔ a(b(a(x1101))) ↔
t
-
The critical peak s = b(c(a(x1101)))←→ε a(b(b(x1101))) = t can be joined as follows.
s
↔ a(b(a(x1101))) ↔ a(a(b(x1101))) ↔
t
-
The critical peak s = b(c(a(x1102)))←→ε b(b(b(x1102))) = t can be joined as follows.
s
↔ b(a(b(x1102))) ↔
t
-
The critical peak s = b(c(a(x1102)))←→ε b(b(b(x1102))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(x))←→ε b(a(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(c(a(x1105)))←→ε a(b(b(x1105))) = t can be joined as follows.
s
↔ c(a(b(x1105))) ↔
t
-
The critical peak s = c(c(a(x1105)))←→ε a(b(b(x1105))) = t can be joined as follows.
s
↔ a(b(a(x1105))) ↔
t
-
The critical peak s = c(c(a(x1105)))←→ε a(b(b(x1105))) = t can be joined as follows.
s
↔ a(b(a(x1105))) ↔ a(a(b(x1105))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ b(b(a(x1106))) ↔ b(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ b(a(b(x1106))) ↔ b(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ b(b(b(x1106))) ↔ b(a(b(x1106))) ↔ b(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ a(b(a(x1106))) ↔ a(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ b(b(b(x1106))) ↔ b(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ b(a(b(x1106))) ↔ b(b(b(x1106))) ↔ b(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ b(a(b(x1106))) ↔ a(b(b(x1106))) ↔ a(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ a(b(a(x1106))) ↔ a(b(b(x1106))) ↔ a(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ b(b(b(x1106))) ↔ a(b(b(x1106))) ↔ a(b(c(x1106))) ↔
t
-
The critical peak s = b(b(a(x1106)))←→ε b(a(c(x1106))) = t can be joined as follows.
s
↔ a(b(a(x1106))) ↔ a(a(b(x1106))) ↔ a(b(c(x1106))) ↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(a(x1108)))←→ε b(b(c(x1108))) = t can be joined as follows.
s
↔ b(b(a(x1108))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(a(x1109))) ↔ b(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(a(x1109))) ↔ c(b(a(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ c(b(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ b(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ c(a(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ b(a(b(x1109))) ↔ c(b(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ b(a(b(x1109))) ↔ b(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ b(a(b(x1109))) ↔ c(a(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ a(b(a(x1109))) ↔ a(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ c(b(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ b(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ c(a(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ b(b(b(x1109))) ↔ c(b(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ b(b(b(x1109))) ↔ b(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ b(b(b(x1109))) ↔ c(a(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ a(b(b(x1109))) ↔ c(a(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(a(b(x1109))) ↔ a(b(b(x1109))) ↔ a(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ a(b(a(x1109))) ↔ a(b(b(x1109))) ↔ c(a(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ a(b(a(x1109))) ↔ a(b(b(x1109))) ↔ a(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ a(b(b(x1109))) ↔ c(a(b(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ b(b(b(x1109))) ↔ a(b(b(x1109))) ↔ a(b(c(x1109))) ↔
t
-
The critical peak s = b(b(a(x1109)))←→ε c(c(c(x1109))) = t can be joined as follows.
s
↔ a(b(a(x1109))) ↔ a(a(b(x1109))) ↔ a(b(c(x1109))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ b(b(a(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(c(a(x1110))) ↔ b(b(a(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(a(a(x1110))) ↔ b(b(a(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ b(a(a(x1110))) ↔ b(b(a(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(a(b(x1110))) ↔ b(a(b(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(b(b(x1110))) ↔ b(a(b(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ b(b(a(x1110))) ↔ b(a(b(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(a(b(x1110))) ↔ a(b(b(x1110))) ↔ a(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(a(b(x1110))) ↔ b(b(b(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(b(b(x1110))) ↔ b(b(b(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ b(b(a(x1110))) ↔ b(b(b(x1110))) ↔ b(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(c(a(x1110))) ↔ a(b(a(x1110))) ↔ a(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ c(a(a(x1110))) ↔ a(b(a(x1110))) ↔ a(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ b(b(a(x1110))) ↔ a(b(a(x1110))) ↔ a(b(c(x1110))) ↔
t
-
The critical peak s = c(b(a(x1110)))←→ε b(a(c(x1110))) = t can be joined as follows.
s
↔ b(a(a(x1110))) ↔ a(b(a(x1110))) ↔ a(b(c(x1110))) ↔
t
-
The critical peak s = b(b(a(x1111)))←→ε a(b(c(x1111))) = t can be joined as follows.
s
↔ a(b(a(x1111))) ↔
t
-
The critical peak s = b(b(a(x1112)))←→ε b(b(c(x1112))) = t can be joined as follows.
s
↔ b(b(a(x1112))) ↔
t
-
The critical peak s = b(b(a(x1112)))←→ε b(b(c(x1112))) = t can be joined as follows.
s
↔ b(a(b(x1112))) ↔
t
-
The critical peak s = b(b(a(x1112)))←→ε b(b(c(x1112))) = t can be joined as follows.
s
↔ b(b(b(x1112))) ↔
t
-
The critical peak s = b(a(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ c(a(b(x1114))) ↔ a(b(b(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ c(a(b(x1114))) ↔ a(b(b(x1114))) ↔ a(b(a(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ c(a(b(x1114))) ↔ a(b(b(x1114))) ↔ a(c(c(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ c(c(a(x1114))) ↔ a(b(a(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ c(c(a(x1114))) ↔ a(b(a(x1114))) ↔ a(c(c(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ c(a(a(x1114))) ↔ a(b(a(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ c(a(a(x1114))) ↔ a(b(a(x1114))) ↔ a(c(c(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ b(b(a(x1114))) ↔ a(b(a(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ b(b(a(x1114))) ↔ a(b(a(x1114))) ↔ a(c(c(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ b(a(a(x1114))) ↔ a(b(a(x1114))) ↔
t
-
The critical peak s = c(b(a(x1114)))←→ε a(b(c(x1114))) = t can be joined as follows.
s
↔ b(a(a(x1114))) ↔ a(b(a(x1114))) ↔ a(c(c(x1114))) ↔
t
-
The critical peak s = a(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(b(x1116)))←→ε b(a(a(x1116))) = t can be joined as follows.
s
↔ b(a(b(x1116))) ↔ b(b(a(x1116))) ↔
t
-
The critical peak s = b(a(b(x1116)))←→ε b(a(a(x1116))) = t can be joined as follows.
s
↔ a(b(b(x1116))) ↔ a(b(a(x1116))) ↔
t
-
The critical peak s = b(a(b(x1116)))←→ε b(a(a(x1116))) = t can be joined as follows.
s
↔ b(b(b(x1116))) ↔ a(b(b(x1116))) ↔ a(b(a(x1116))) ↔
t
-
The critical peak s = b(a(b(x1116)))←→ε b(a(a(x1116))) = t can be joined as follows.
s
↔ b(b(b(x1116))) ↔ b(b(a(x1116))) ↔
t
-
The critical peak s = b(a(b(x1116)))←→ε b(a(a(x1116))) = t can be joined as follows.
s
↔ a(b(b(x1116))) ↔ a(a(b(x1116))) ↔ a(b(a(x1116))) ↔
t
-
The critical peak s = c(a(b(x1117)))←→ε b(b(a(x1117))) = t can be joined as follows.
s
↔ b(a(b(x1117))) ↔
t
-
The critical peak s = c(a(b(x1117)))←→ε b(b(a(x1117))) = t can be joined as follows.
s
↔ b(b(b(x1117))) ↔
t
-
The critical peak s = a(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(a(b(x1119))) ↔ b(b(a(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(a(b(x1119))) ↔ c(a(b(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(a(b(x1119))) ↔ c(b(b(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ a(b(b(x1119))) ↔ c(a(b(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ a(b(b(x1119))) ↔ a(b(a(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(b(b(x1119))) ↔ a(b(b(x1119))) ↔ c(a(b(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(b(b(x1119))) ↔ a(b(b(x1119))) ↔ a(b(a(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(b(b(x1119))) ↔ b(b(a(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(b(b(x1119))) ↔ c(a(b(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ b(b(b(x1119))) ↔ c(b(b(x1119))) ↔
t
-
The critical peak s = b(a(b(x1119)))←→ε c(c(a(x1119))) = t can be joined as follows.
s
↔ a(b(b(x1119))) ↔ a(a(b(x1119))) ↔ a(b(a(x1119))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ b(a(b(x1120))) ↔ b(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ c(c(b(x1120))) ↔ b(a(b(x1120))) ↔ b(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ b(b(b(x1120))) ↔ b(a(b(x1120))) ↔ b(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ a(b(b(x1120))) ↔ a(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ b(a(b(x1120))) ↔ a(b(b(x1120))) ↔ a(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ c(c(b(x1120))) ↔ a(b(b(x1120))) ↔ a(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ b(b(b(x1120))) ↔ a(b(b(x1120))) ↔ a(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ b(b(b(x1120))) ↔ b(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ b(a(b(x1120))) ↔ b(b(b(x1120))) ↔ b(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ c(c(b(x1120))) ↔ b(b(b(x1120))) ↔ b(b(a(x1120))) ↔
t
-
The critical peak s = c(a(b(x1120)))←→ε b(a(a(x1120))) = t can be joined as follows.
s
↔ a(b(b(x1120))) ↔ a(a(b(x1120))) ↔ a(b(a(x1120))) ↔
t
-
The critical peak s = a(b(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(b(x1122)))←→ε a(b(a(x1122))) = t can be joined as follows.
s
↔ a(b(b(x1122))) ↔
t
-
The critical peak s = b(a(b(x1123)))←→ε b(b(a(x1123))) = t can be joined as follows.
s
↔ b(a(b(x1123))) ↔
t
-
The critical peak s = b(a(b(x1123)))←→ε b(b(a(x1123))) = t can be joined as follows.
s
↔ b(b(b(x1123))) ↔
t
-
The critical peak s = c(a(b(x1124)))←→ε a(b(a(x1124))) = t can be joined as follows.
s
↔ a(b(b(x1124))) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(b(b(x1126)))←→ε b(a(a(x1126))) = t can be joined as follows.
s
↔ b(b(b(x1126))) ↔ b(b(a(x1126))) ↔
t
-
The critical peak s = b(b(b(x1126)))←→ε b(a(a(x1126))) = t can be joined as follows.
s
↔ b(a(b(x1126))) ↔ b(b(a(x1126))) ↔
t
-
The critical peak s = b(b(b(x1126)))←→ε b(a(a(x1126))) = t can be joined as follows.
s
↔ a(b(b(x1126))) ↔ a(b(a(x1126))) ↔
t
-
The critical peak s = b(b(b(x1126)))←→ε b(a(a(x1126))) = t can be joined as follows.
s
↔ b(a(b(x1126))) ↔ a(b(b(x1126))) ↔ a(b(a(x1126))) ↔
t
-
The critical peak s = b(b(b(x1126)))←→ε b(a(a(x1126))) = t can be joined as follows.
s
↔ a(b(b(x1126))) ↔ a(a(b(x1126))) ↔ a(b(a(x1126))) ↔
t
-
The critical peak s = c(b(b(x1127)))←→ε b(b(a(x1127))) = t can be joined as follows.
s
↔ b(b(b(x1127))) ↔
t
-
The critical peak s = c(b(b(x1127)))←→ε b(b(a(x1127))) = t can be joined as follows.
s
↔ b(a(b(x1127))) ↔
t
-
The critical peak s = b(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(b(b(x1129))) ↔ b(b(a(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(b(b(x1129))) ↔ c(a(b(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(b(b(x1129))) ↔ c(b(b(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(a(b(x1129))) ↔ b(b(a(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(a(b(x1129))) ↔ c(a(b(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(a(b(x1129))) ↔ c(b(b(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ a(b(b(x1129))) ↔ c(a(b(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ a(b(b(x1129))) ↔ a(b(a(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(a(b(x1129))) ↔ a(b(b(x1129))) ↔ c(a(b(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ b(a(b(x1129))) ↔ a(b(b(x1129))) ↔ a(b(a(x1129))) ↔
t
-
The critical peak s = b(b(b(x1129)))←→ε c(c(a(x1129))) = t can be joined as follows.
s
↔ a(b(b(x1129))) ↔ a(a(b(x1129))) ↔ a(b(a(x1129))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ b(b(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ c(c(b(x1130))) ↔ b(b(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ c(a(b(x1130))) ↔ b(b(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ b(a(b(x1130))) ↔ b(b(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ b(a(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ c(c(b(x1130))) ↔ b(a(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ c(a(b(x1130))) ↔ b(a(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ b(b(b(x1130))) ↔ b(a(b(x1130))) ↔ b(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ c(c(b(x1130))) ↔ a(b(b(x1130))) ↔ a(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ c(a(b(x1130))) ↔ a(b(b(x1130))) ↔ a(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ b(b(b(x1130))) ↔ a(b(b(x1130))) ↔ a(b(a(x1130))) ↔
t
-
The critical peak s = c(b(b(x1130)))←→ε b(a(a(x1130))) = t can be joined as follows.
s
↔ b(a(b(x1130))) ↔ a(b(b(x1130))) ↔ a(b(a(x1130))) ↔
t
-
The critical peak s = b(b(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(b(x1132)))←→ε a(b(a(x1132))) = t can be joined as follows.
s
↔ a(b(b(x1132))) ↔
t
-
The critical peak s = b(b(b(x1133)))←→ε b(b(a(x1133))) = t can be joined as follows.
s
↔ b(b(b(x1133))) ↔
t
-
The critical peak s = b(b(b(x1133)))←→ε b(b(a(x1133))) = t can be joined as follows.
s
↔ b(a(b(x1133))) ↔
t
-
The critical peak s = c(b(b(x1134)))←→ε a(b(a(x1134))) = t can be joined as follows.
s
↔ c(c(b(x1134))) ↔ a(b(b(x1134))) ↔
t
-
The critical peak s = c(b(b(x1134)))←→ε a(b(a(x1134))) = t can be joined as follows.
s
↔ c(a(b(x1134))) ↔ a(b(b(x1134))) ↔
t
-
The critical peak s = c(b(b(x1134)))←→ε a(b(a(x1134))) = t can be joined as follows.
s
↔ b(b(b(x1134))) ↔ a(b(b(x1134))) ↔
t
-
The critical peak s = c(b(b(x1134)))←→ε a(b(a(x1134))) = t can be joined as follows.
s
↔ b(a(b(x1134))) ↔ a(b(b(x1134))) ↔
t
-
The critical peak s = a(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(b(x1136)))←→ε c(c(c(x1136))) = t can be joined as follows.
s
↔ c(a(b(x1136))) ↔
t
-
The critical peak s = b(a(b(x1137)))←→ε a(b(c(x1137))) = t can be joined as follows.
s
↔ a(b(b(x1137))) ↔
t
-
The critical peak s = a(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ c(a(b(x1139))) ↔ c(c(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ b(a(b(x1139))) ↔ b(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ c(c(b(x1139))) ↔ b(a(b(x1139))) ↔ b(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ b(b(b(x1139))) ↔ b(a(b(x1139))) ↔ b(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ a(b(b(x1139))) ↔ a(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ b(a(b(x1139))) ↔ a(b(b(x1139))) ↔ a(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ c(c(b(x1139))) ↔ a(b(b(x1139))) ↔ a(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ b(b(b(x1139))) ↔ a(b(b(x1139))) ↔ a(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ b(b(b(x1139))) ↔ b(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ b(a(b(x1139))) ↔ b(b(b(x1139))) ↔ b(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ c(c(b(x1139))) ↔ b(b(b(x1139))) ↔ b(b(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ c(c(b(x1139))) ↔ c(c(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ c(c(b(x1139))) ↔ c(b(b(x1139))) ↔ c(c(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ c(c(b(x1139))) ↔ c(b(a(x1139))) ↔ c(c(c(x1139))) ↔
t
-
The critical peak s = c(a(b(x1139)))←→ε c(a(c(x1139))) = t can be joined as follows.
s
↔ a(b(b(x1139))) ↔ a(a(b(x1139))) ↔ a(b(c(x1139))) ↔
t
-
The critical peak s = a(b(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(b(x1141)))←→ε b(b(c(x1141))) = t can be joined as follows.
s
↔ b(a(b(x1141))) ↔
t
-
The critical peak s = c(a(b(x1141)))←→ε b(b(c(x1141))) = t can be joined as follows.
s
↔ b(b(b(x1141))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ b(a(b(x1142))) ↔ b(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ c(c(b(x1142))) ↔ b(a(b(x1142))) ↔ b(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ b(b(b(x1142))) ↔ b(a(b(x1142))) ↔ b(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ a(b(b(x1142))) ↔ a(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ b(a(b(x1142))) ↔ a(b(b(x1142))) ↔ a(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ c(c(b(x1142))) ↔ a(b(b(x1142))) ↔ a(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ b(b(b(x1142))) ↔ a(b(b(x1142))) ↔ a(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ b(b(b(x1142))) ↔ b(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ b(a(b(x1142))) ↔ b(b(b(x1142))) ↔ b(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ c(c(b(x1142))) ↔ b(b(b(x1142))) ↔ b(b(c(x1142))) ↔
t
-
The critical peak s = c(a(b(x1142)))←→ε b(a(c(x1142))) = t can be joined as follows.
s
↔ a(b(b(x1142))) ↔ a(a(b(x1142))) ↔ a(b(c(x1142))) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(b(b(x1144)))←→ε c(c(c(x1144))) = t can be joined as follows.
s
↔ c(b(b(x1144))) ↔
t
-
The critical peak s = c(b(b(x1144)))←→ε c(c(c(x1144))) = t can be joined as follows.
s
↔ c(a(b(x1144))) ↔
t
-
The critical peak s = b(b(b(x1145)))←→ε a(b(c(x1145))) = t can be joined as follows.
s
↔ a(b(b(x1145))) ↔
t
-
The critical peak s = b(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(b(b(x1147))) ↔ c(c(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(a(b(x1147))) ↔ c(c(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ b(b(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(c(b(x1147))) ↔ b(b(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(a(b(x1147))) ↔ b(b(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ b(a(b(x1147))) ↔ b(b(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ b(a(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(c(b(x1147))) ↔ b(a(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(a(b(x1147))) ↔ b(a(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ b(b(b(x1147))) ↔ b(a(b(x1147))) ↔ b(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(c(b(x1147))) ↔ c(c(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(c(b(x1147))) ↔ c(b(a(x1147))) ↔ c(c(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(c(b(x1147))) ↔ a(b(b(x1147))) ↔ a(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ c(a(b(x1147))) ↔ a(b(b(x1147))) ↔ a(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ b(b(b(x1147))) ↔ a(b(b(x1147))) ↔ a(b(c(x1147))) ↔
t
-
The critical peak s = c(b(b(x1147)))←→ε c(a(c(x1147))) = t can be joined as follows.
s
↔ b(a(b(x1147))) ↔ a(b(b(x1147))) ↔ a(b(c(x1147))) ↔
t
-
The critical peak s = b(b(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(b(x1149)))←→ε b(b(c(x1149))) = t can be joined as follows.
s
↔ b(b(b(x1149))) ↔
t
-
The critical peak s = c(b(b(x1149)))←→ε b(b(c(x1149))) = t can be joined as follows.
s
↔ b(a(b(x1149))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ b(b(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ c(c(b(x1150))) ↔ b(b(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ c(a(b(x1150))) ↔ b(b(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ b(a(b(x1150))) ↔ b(b(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ b(a(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ c(c(b(x1150))) ↔ b(a(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ c(a(b(x1150))) ↔ b(a(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ b(b(b(x1150))) ↔ b(a(b(x1150))) ↔ b(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ c(c(b(x1150))) ↔ a(b(b(x1150))) ↔ a(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ c(a(b(x1150))) ↔ a(b(b(x1150))) ↔ a(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ b(b(b(x1150))) ↔ a(b(b(x1150))) ↔ a(b(c(x1150))) ↔
t
-
The critical peak s = c(b(b(x1150)))←→ε b(a(c(x1150))) = t can be joined as follows.
s
↔ b(a(b(x1150))) ↔ a(b(b(x1150))) ↔ a(b(c(x1150))) ↔
t
-
The critical peak s = b(b(b(x1151)))←→ε b(a(b(x1151))) = t can be joined as follows.
s
↔ b(b(b(x1151))) ↔
t
-
The critical peak s = b(b(b(x1151)))←→ε b(a(b(x1151))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(b(x1151)))←→ε b(a(b(x1151))) = t can be joined as follows.
s
↔ a(b(b(x1151))) ↔
t
-
The critical peak s = b(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(b(b(x1153)))←→ε b(b(b(x1153))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(b(x1153)))←→ε b(b(b(x1153))) = t can be joined as follows.
s
↔ b(a(b(x1153))) ↔
t
-
The critical peak s = b(b(b(x1154)))←→ε c(c(b(x1154))) = t can be joined as follows.
s
↔ b(b(b(x1154))) ↔
t
-
The critical peak s = b(b(b(x1154)))←→ε c(c(b(x1154))) = t can be joined as follows.
s
↔ b(a(b(x1154))) ↔
t
-
The critical peak s = b(b(b(x1154)))←→ε c(c(b(x1154))) = t can be joined as follows.
s
↔ a(b(b(x1154))) ↔
t
-
The critical peak s = b(b(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(b(b(x1156)))←→ε b(a(b(x1156))) = t can be joined as follows.
s
↔ b(b(b(x1156))) ↔
t
-
The critical peak s = c(b(b(x1156)))←→ε b(a(b(x1156))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(b(x1157)))←→ε a(b(b(x1157))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(b(x1158)))←→ε b(b(b(x1158))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(b(b(x1160)))←→ε a(b(b(x1160))) = t can be joined as follows.
s
↔ c(c(b(x1160))) ↔
t
-
The critical peak s = c(b(b(x1160)))←→ε a(b(b(x1160))) = t can be joined as follows.
s
↔ c(a(b(x1160))) ↔
t
-
The critical peak s = c(b(b(x1160)))←→ε a(b(b(x1160))) = t can be joined as follows.
s
↔ b(b(b(x1160))) ↔
t
-
The critical peak s = c(b(b(x1160)))←→ε a(b(b(x1160))) = t can be joined as follows.
s
↔ b(a(b(x1160))) ↔
t
-
The critical peak s = b(b(a(x1161)))←→ε b(a(b(x1161))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(a(x1161)))←→ε b(a(b(x1161))) = t can be joined as follows.
s
↔ b(b(b(x1161))) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(a(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ c(a(b(x1163))) ↔ b(a(b(x1163))) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ c(b(b(x1163))) ↔ b(a(b(x1163))) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ b(b(a(x1163))) ↔ b(a(b(x1163))) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ c(a(b(x1163))) ↔ a(b(b(x1163))) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ c(a(b(x1163))) ↔ a(b(b(x1163))) ↔ b(a(b(x1163))) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ c(a(b(x1163))) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ c(b(b(x1163))) ↔
t
-
The critical peak s = c(b(a(x1163)))←→ε b(b(b(x1163))) = t can be joined as follows.
s
↔ b(b(a(x1163))) ↔
t
-
The critical peak s = b(b(a(x1164)))←→ε c(c(b(x1164))) = t can be joined as follows.
s
↔ b(a(b(x1164))) ↔
t
-
The critical peak s = b(b(a(x1164)))←→ε c(c(b(x1164))) = t can be joined as follows.
s
↔ b(b(b(x1164))) ↔
t
-
The critical peak s = b(a(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ b(a(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ b(b(x)) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ c(a(b(x1166))) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ c(b(b(x1166))) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ b(b(a(x1166))) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ c(a(b(x1166))) ↔ a(b(b(x1166))) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ c(a(b(x1166))) ↔ a(b(b(x1166))) ↔ b(b(b(x1166))) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ c(a(b(x1166))) ↔ b(b(b(x1166))) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ c(b(b(x1166))) ↔ b(b(b(x1166))) ↔
t
-
The critical peak s = c(b(a(x1166)))←→ε b(a(b(x1166))) = t can be joined as follows.
s
↔ b(b(a(x1166))) ↔ b(b(b(x1166))) ↔
t
-
The critical peak s = b(b(a(x1167)))←→ε a(b(b(x1167))) = t can be joined as follows.
s
↔ b(a(b(x1167))) ↔
t
-
The critical peak s = b(b(a(x1167)))←→ε a(b(b(x1167))) = t can be joined as follows.
s
↔ a(b(a(x1167))) ↔
t
-
The critical peak s = b(b(a(x1167)))←→ε a(b(b(x1167))) = t can be joined as follows.
s
↔ b(b(b(x1167))) ↔
t
-
The critical peak s = b(b(a(x1167)))←→ε a(b(b(x1167))) = t can be joined as follows.
s
↔ a(b(a(x1167))) ↔ a(a(b(x1167))) ↔
t
-
The critical peak s = b(b(a(x1168)))←→ε b(b(b(x1168))) = t can be joined as follows.
s
↔ b(a(b(x1168))) ↔
t
-
The critical peak s = b(b(a(x1168)))←→ε b(b(b(x1168))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(a(x1170)))←→ε a(b(b(x1170))) = t can be joined as follows.
s
↔ c(a(b(x1170))) ↔
t
-
The critical peak s = b(a(b(x1171)))←→ε b(a(c(x1171))) = t can be joined as follows.
s
↔ b(a(b(x1171))) ↔ b(b(c(x1171))) ↔
t
-
The critical peak s = b(a(b(x1171)))←→ε b(a(c(x1171))) = t can be joined as follows.
s
↔ a(b(b(x1171))) ↔ a(b(c(x1171))) ↔
t
-
The critical peak s = b(a(b(x1171)))←→ε b(a(c(x1171))) = t can be joined as follows.
s
↔ b(b(b(x1171))) ↔ a(b(b(x1171))) ↔ a(b(c(x1171))) ↔
t
-
The critical peak s = b(a(b(x1171)))←→ε b(a(c(x1171))) = t can be joined as follows.
s
↔ b(b(b(x1171))) ↔ b(b(c(x1171))) ↔
t
-
The critical peak s = b(a(b(x1171)))←→ε b(a(c(x1171))) = t can be joined as follows.
s
↔ a(b(b(x1171))) ↔ a(a(b(x1171))) ↔ a(b(c(x1171))) ↔
t
-
The critical peak s = a(b(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(b(x1173)))←→ε b(b(c(x1173))) = t can be joined as follows.
s
↔ b(a(b(x1173))) ↔
t
-
The critical peak s = c(a(b(x1173)))←→ε b(b(c(x1173))) = t can be joined as follows.
s
↔ b(b(b(x1173))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(a(b(x1174))) ↔ c(b(b(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(a(b(x1174))) ↔ b(b(c(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(a(b(x1174))) ↔ c(a(b(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ a(b(b(x1174))) ↔ c(a(b(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ a(b(b(x1174))) ↔ a(b(c(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(b(b(x1174))) ↔ a(b(b(x1174))) ↔ c(a(b(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(b(b(x1174))) ↔ a(b(b(x1174))) ↔ a(b(c(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(b(b(x1174))) ↔ c(b(b(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(b(b(x1174))) ↔ b(b(c(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ b(b(b(x1174))) ↔ c(a(b(x1174))) ↔
t
-
The critical peak s = b(a(b(x1174)))←→ε c(c(c(x1174))) = t can be joined as follows.
s
↔ a(b(b(x1174))) ↔ a(a(b(x1174))) ↔ a(b(c(x1174))) ↔
t
-
The critical peak s = a(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ b(a(b(x1176))) ↔ b(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ c(c(b(x1176))) ↔ b(a(b(x1176))) ↔ b(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ b(b(b(x1176))) ↔ b(a(b(x1176))) ↔ b(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ a(b(b(x1176))) ↔ a(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ b(a(b(x1176))) ↔ a(b(b(x1176))) ↔ a(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ c(c(b(x1176))) ↔ a(b(b(x1176))) ↔ a(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ b(b(b(x1176))) ↔ a(b(b(x1176))) ↔ a(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ b(b(b(x1176))) ↔ b(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ b(a(b(x1176))) ↔ b(b(b(x1176))) ↔ b(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ c(c(b(x1176))) ↔ b(b(b(x1176))) ↔ b(b(c(x1176))) ↔
t
-
The critical peak s = c(a(b(x1176)))←→ε b(a(c(x1176))) = t can be joined as follows.
s
↔ a(b(b(x1176))) ↔ a(a(b(x1176))) ↔ a(b(c(x1176))) ↔
t
-
The critical peak s = b(a(b(x1177)))←→ε a(b(c(x1177))) = t can be joined as follows.
s
↔ a(b(b(x1177))) ↔
t
-
The critical peak s = b(a(b(x1178)))←→ε b(b(c(x1178))) = t can be joined as follows.
s
↔ b(a(b(x1178))) ↔
t
-
The critical peak s = b(a(b(x1178)))←→ε b(b(c(x1178))) = t can be joined as follows.
s
↔ b(b(b(x1178))) ↔
t
-
The critical peak s = c(a(b(x1179)))←→ε a(b(c(x1179))) = t can be joined as follows.
s
↔ a(b(b(x1179))) ↔
t
/>