Certification Problem
Input (COPS 1026)
We consider the TRS containing the following rules:
|
b(a(x)) |
→ |
c(c(x)) |
(1) |
|
c(c(x)) |
→ |
a(b(x)) |
(2) |
|
c(a(x)) |
→ |
c(c(x)) |
(3) |
|
b(c(x)) |
→ |
a(b(x)) |
(4) |
|
a(c(x)) |
→ |
a(b(x)) |
(5) |
|
c(b(x)) |
→ |
a(c(x)) |
(6) |
|
b(c(x)) |
→ |
b(b(x)) |
(7) |
|
b(b(x)) |
→ |
b(a(x)) |
(8) |
|
a(c(x)) |
→ |
c(a(x)) |
(9) |
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 2022)
1 Redundant Rules Transformation
To prove that the TRS is (non-)confluent, we show (non-)confluence of the following
modified system:
|
a(c(x)) |
→ |
c(a(x)) |
(9) |
|
b(b(x)) |
→ |
b(a(x)) |
(8) |
|
b(c(x)) |
→ |
b(b(x)) |
(7) |
|
c(b(x)) |
→ |
a(c(x)) |
(6) |
|
a(c(x)) |
→ |
a(b(x)) |
(5) |
|
b(c(x)) |
→ |
a(b(x)) |
(4) |
|
c(a(x)) |
→ |
c(c(x)) |
(3) |
|
c(c(x)) |
→ |
a(b(x)) |
(2) |
|
b(a(x)) |
→ |
c(c(x)) |
(1) |
|
a(c(x)) |
→ |
c(c(x)) |
(10) |
|
b(b(x)) |
→ |
c(c(x)) |
(11) |
|
b(c(x)) |
→ |
b(a(x)) |
(12) |
|
c(b(x)) |
→ |
c(a(x)) |
(13) |
|
c(b(x)) |
→ |
a(b(x)) |
(14) |
|
c(a(x)) |
→ |
a(b(x)) |
(15) |
|
b(a(x)) |
→ |
a(b(x)) |
(16) |
All redundant rules that were added or removed can be
simulated in 2 steps
.
1.1 Redundant Rules Transformation
To prove that the TRS is (non-)confluent, we show (non-)confluence of the following
modified system:
|
b(a(x)) |
→ |
a(b(x)) |
(16) |
|
c(a(x)) |
→ |
a(b(x)) |
(15) |
|
c(b(x)) |
→ |
a(b(x)) |
(14) |
|
c(b(x)) |
→ |
c(a(x)) |
(13) |
|
b(c(x)) |
→ |
b(a(x)) |
(12) |
|
b(b(x)) |
→ |
c(c(x)) |
(11) |
|
a(c(x)) |
→ |
c(c(x)) |
(10) |
|
b(a(x)) |
→ |
c(c(x)) |
(1) |
|
c(c(x)) |
→ |
a(b(x)) |
(2) |
|
c(a(x)) |
→ |
c(c(x)) |
(3) |
|
b(c(x)) |
→ |
a(b(x)) |
(4) |
|
a(c(x)) |
→ |
a(b(x)) |
(5) |
|
c(b(x)) |
→ |
a(c(x)) |
(6) |
|
b(c(x)) |
→ |
b(b(x)) |
(7) |
|
b(b(x)) |
→ |
b(a(x)) |
(8) |
|
a(c(x)) |
→ |
c(a(x)) |
(9) |
|
c(b(x)) |
→ |
c(c(x)) |
(17) |
|
b(c(x)) |
→ |
c(c(x)) |
(18) |
|
b(b(x)) |
→ |
a(b(x)) |
(19) |
All redundant rules that were added or removed can be
simulated in 2 steps
.
1.1.1 Decreasing Diagrams
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).
-
↦ 1
-
↦ 1
-
↦ 1
-
↦ 2
-
↦ 2
-
↦ 0
-
↦ 16
-
↦ 0
-
↦ 1
-
↦ 0
-
↦ 1
-
↦ 1
-
↦ 17
-
↦ 1
-
↦ 2
-
↦ 3
-
↦ 0
-
↦ 0
-
↦ 1
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 = c(a(b(x1541)))←→ε a(b(a(x1541))) = t can be joined as follows.
s
↔ a(b(b(x1541))) ↔ a(c(c(x1541))) ↔
t
-
The critical peak s = c(a(b(x1541)))←→ε a(b(a(x1541))) = t can be joined as follows.
s
↔ a(b(b(x1541))) ↔
t
-
The critical peak s = c(a(b(x1541)))←→ε a(b(a(x1541))) = t can be joined as follows.
s
↔ a(b(b(x1541))) ↔ a(a(b(x1541))) ↔
t
-
The critical peak s = c(a(b(x1541)))←→ε a(b(a(x1541))) = t can be joined as follows.
s
↔ a(b(b(x1541))) ↔ a(a(b(x1541))) ↔ a(c(c(x1541))) ↔
t
-
The critical peak s = c(a(b(x1541)))←→ε a(b(a(x1541))) = t can be joined as follows.
s
↔ c(c(b(x1541))) ↔ c(a(c(x1541))) ↔ a(c(c(x1541))) ↔
t
-
The critical peak s = c(a(b(x1541)))←→ε a(b(a(x1541))) = t can be joined as follows.
s
↔ c(c(b(x1541))) ↔ c(c(c(x1541))) ↔ a(c(c(x1541))) ↔
t
-
The critical peak s = c(a(b(x1542)))←→ε c(a(a(x1542))) = t can be joined as follows.
s
↔ c(a(b(x1542))) ↔ c(c(a(x1542))) ↔
t
-
The critical peak s = c(a(b(x1542)))←→ε c(a(a(x1542))) = t can be joined as follows.
s
↔ a(b(b(x1542))) ↔ a(c(c(x1542))) ↔ a(b(a(x1542))) ↔
t
-
The critical peak s = c(a(b(x1542)))←→ε c(a(a(x1542))) = t can be joined as follows.
s
↔ a(b(b(x1542))) ↔ a(b(a(x1542))) ↔
t
-
The critical peak s = c(a(b(x1542)))←→ε c(a(a(x1542))) = t can be joined as follows.
s
↔ a(b(b(x1542))) ↔ a(b(a(x1542))) ↔ c(c(a(x1542))) ↔
t
-
The critical peak s = c(a(b(x1542)))←→ε c(a(a(x1542))) = t can be joined as follows.
s
↔ a(b(b(x1542))) ↔ a(a(b(x1542))) ↔ a(b(a(x1542))) ↔
t
-
The critical peak s = c(a(b(x1542)))←→ε c(a(a(x1542))) = t can be joined as follows.
s
↔ c(c(b(x1542))) ↔ c(c(a(x1542))) ↔
t
-
The critical peak s = c(a(b(x1542)))←→ε c(a(a(x1542))) = t can be joined as follows.
s
↔ c(c(b(x1542))) ↔ c(c(c(x1542))) ↔ c(c(a(x1542))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ a(b(b(x1543))) ↔ c(a(b(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ c(c(b(x1543))) ↔ a(b(b(x1543))) ↔ c(a(b(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ c(c(b(x1543))) ↔ c(a(b(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ a(b(b(x1543))) ↔ a(c(c(x1543))) ↔ a(b(a(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ a(b(b(x1543))) ↔ a(b(a(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ a(b(b(x1543))) ↔ a(a(b(x1543))) ↔ a(b(a(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ c(c(b(x1543))) ↔ c(a(b(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ c(c(b(x1543))) ↔ c(a(b(x1543))) ↔ c(c(c(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ c(c(b(x1543))) ↔
t
-
The critical peak s = b(a(b(x1543)))←→ε c(c(a(x1543))) = t can be joined as follows.
s
↔ c(c(b(x1543))) ↔ c(c(c(x1543))) ↔
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(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ c(a(b(x1545))) ↔ c(c(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(c(c(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(c(c(x1545))) ↔ a(b(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(b(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(b(a(x1545))) ↔ c(c(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(b(a(x1545))) ↔ c(a(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(a(b(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(a(b(x1545))) ↔ a(c(c(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ a(b(b(x1545))) ↔ a(a(b(x1545))) ↔ a(b(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ c(c(b(x1545))) ↔ c(c(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ c(c(b(x1545))) ↔ c(c(a(x1545))) ↔ c(a(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ c(c(b(x1545))) ↔ c(a(c(x1545))) ↔ a(c(c(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ c(c(b(x1545))) ↔ c(c(c(x1545))) ↔ c(c(a(x1545))) ↔
t
-
The critical peak s = c(a(b(x1545)))←→ε a(c(a(x1545))) = t can be joined as follows.
s
↔ c(c(b(x1545))) ↔ c(c(c(x1545))) ↔ a(c(c(x1545))) ↔
t
-
The critical peak s = b(a(b(x1546)))←→ε b(a(a(x1546))) = t can be joined as follows.
s
↔ a(b(b(x1546))) ↔ a(c(c(x1546))) ↔ a(b(a(x1546))) ↔
t
-
The critical peak s = b(a(b(x1546)))←→ε b(a(a(x1546))) = t can be joined as follows.
s
↔ a(b(b(x1546))) ↔ a(b(a(x1546))) ↔
t
-
The critical peak s = b(a(b(x1546)))←→ε b(a(a(x1546))) = t can be joined as follows.
s
↔ a(b(b(x1546))) ↔ a(b(a(x1546))) ↔ c(c(a(x1546))) ↔
t
-
The critical peak s = b(a(b(x1546)))←→ε b(a(a(x1546))) = t can be joined as follows.
s
↔ a(b(b(x1546))) ↔ a(a(b(x1546))) ↔ a(b(a(x1546))) ↔
t
-
The critical peak s = b(a(b(x1546)))←→ε b(a(a(x1546))) = t can be joined as follows.
s
↔ c(c(b(x1546))) ↔ c(a(b(x1546))) ↔ c(c(a(x1546))) ↔
t
-
The critical peak s = b(a(b(x1546)))←→ε b(a(a(x1546))) = t can be joined as follows.
s
↔ c(c(b(x1546))) ↔ c(c(a(x1546))) ↔
t
-
The critical peak s = b(a(b(x1546)))←→ε b(a(a(x1546))) = t can be joined as follows.
s
↔ c(c(b(x1546))) ↔ c(c(c(x1546))) ↔ c(c(a(x1546))) ↔
t
-
The critical peak s = c(a(b(x1547)))←→ε c(c(a(x1547))) = t can be joined as follows.
s
↔ c(a(b(x1547))) ↔
t
-
The critical peak s = b(a(b(x1548)))←→ε a(b(a(x1548))) = t can be joined as follows.
s
↔ a(b(b(x1548))) ↔ a(c(c(x1548))) ↔
t
-
The critical peak s = b(a(b(x1548)))←→ε a(b(a(x1548))) = t can be joined as follows.
s
↔ a(b(b(x1548))) ↔
t
-
The critical peak s = b(a(b(x1548)))←→ε a(b(a(x1548))) = t can be joined as follows.
s
↔ a(b(b(x1548))) ↔ a(a(b(x1548))) ↔
t
-
The critical peak s = b(a(b(x1548)))←→ε a(b(a(x1548))) = t can be joined as follows.
s
↔ a(b(b(x1548))) ↔ a(a(b(x1548))) ↔ a(c(c(x1548))) ↔
t
-
The critical peak s = b(a(b(x1548)))←→ε a(b(a(x1548))) = t can be joined as follows.
s
↔ c(c(b(x1548))) ↔ c(a(c(x1548))) ↔ a(c(c(x1548))) ↔
t
-
The critical peak s = b(a(b(x1548)))←→ε a(b(a(x1548))) = t can be joined as follows.
s
↔ c(c(b(x1548))) ↔ c(c(c(x1548))) ↔ a(c(c(x1548))) ↔
t
-
The critical peak s = b(a(b(x1549)))←→ε b(a(a(x1549))) = t can be joined as follows.
s
↔ a(b(b(x1549))) ↔ a(c(c(x1549))) ↔ a(b(a(x1549))) ↔
t
-
The critical peak s = b(a(b(x1549)))←→ε b(a(a(x1549))) = t can be joined as follows.
s
↔ a(b(b(x1549))) ↔ a(b(a(x1549))) ↔
t
-
The critical peak s = b(a(b(x1549)))←→ε b(a(a(x1549))) = t can be joined as follows.
s
↔ a(b(b(x1549))) ↔ a(b(a(x1549))) ↔ c(c(a(x1549))) ↔
t
-
The critical peak s = b(a(b(x1549)))←→ε b(a(a(x1549))) = t can be joined as follows.
s
↔ a(b(b(x1549))) ↔ a(a(b(x1549))) ↔ a(b(a(x1549))) ↔
t
-
The critical peak s = b(a(b(x1549)))←→ε b(a(a(x1549))) = t can be joined as follows.
s
↔ c(c(b(x1549))) ↔ c(a(b(x1549))) ↔ c(c(a(x1549))) ↔
t
-
The critical peak s = b(a(b(x1549)))←→ε b(a(a(x1549))) = t can be joined as follows.
s
↔ c(c(b(x1549))) ↔ c(c(a(x1549))) ↔
t
-
The critical peak s = b(a(b(x1549)))←→ε b(a(a(x1549))) = t can be joined as follows.
s
↔ c(c(b(x1549))) ↔ c(c(c(x1549))) ↔ c(c(a(x1549))) ↔
t
-
The critical peak s = a(a(b(x1550)))←→ε c(c(a(x1550))) = t can be joined as follows.
s
↔ a(a(b(x1550))) ↔ a(b(a(x1550))) ↔
t
-
The critical peak s = c(a(b(x1551)))←→ε a(b(a(x1551))) = t can be joined as follows.
s
↔ a(b(b(x1551))) ↔ a(c(c(x1551))) ↔
t
-
The critical peak s = c(a(b(x1551)))←→ε a(b(a(x1551))) = t can be joined as follows.
s
↔ a(b(b(x1551))) ↔
t
-
The critical peak s = c(a(b(x1551)))←→ε a(b(a(x1551))) = t can be joined as follows.
s
↔ a(b(b(x1551))) ↔ a(a(b(x1551))) ↔
t
-
The critical peak s = c(a(b(x1551)))←→ε a(b(a(x1551))) = t can be joined as follows.
s
↔ a(b(b(x1551))) ↔ a(a(b(x1551))) ↔ a(c(c(x1551))) ↔
t
-
The critical peak s = c(a(b(x1551)))←→ε a(b(a(x1551))) = t can be joined as follows.
s
↔ c(c(b(x1551))) ↔ c(a(c(x1551))) ↔ a(c(c(x1551))) ↔
t
-
The critical peak s = c(a(b(x1551)))←→ε a(b(a(x1551))) = t can be joined as follows.
s
↔ c(c(b(x1551))) ↔ c(c(c(x1551))) ↔ a(c(c(x1551))) ↔
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(x1553)))←→ε a(b(a(x1553))) = t can be joined as follows.
s
↔ a(b(b(x1553))) ↔ a(c(c(x1553))) ↔
t
-
The critical peak s = b(a(b(x1553)))←→ε a(b(a(x1553))) = t can be joined as follows.
s
↔ a(b(b(x1553))) ↔
t
-
The critical peak s = b(a(b(x1553)))←→ε a(b(a(x1553))) = t can be joined as follows.
s
↔ a(b(b(x1553))) ↔ a(a(b(x1553))) ↔
t
-
The critical peak s = b(a(b(x1553)))←→ε a(b(a(x1553))) = t can be joined as follows.
s
↔ a(b(b(x1553))) ↔ a(a(b(x1553))) ↔ a(c(c(x1553))) ↔
t
-
The critical peak s = b(a(b(x1553)))←→ε a(b(a(x1553))) = t can be joined as follows.
s
↔ c(c(b(x1553))) ↔ c(a(c(x1553))) ↔ a(c(c(x1553))) ↔
t
-
The critical peak s = b(a(b(x1553)))←→ε a(b(a(x1553))) = t can be joined as follows.
s
↔ c(c(b(x1553))) ↔ c(c(c(x1553))) ↔ a(c(c(x1553))) ↔
t
-
The critical peak s = a(a(b(x1554)))←→ε a(b(a(x1554))) = t can be joined as follows.
s
↔ a(a(b(x1554))) ↔
t
-
The critical peak s = b(a(b(x1555)))←→ε b(b(a(x1555))) = t can be joined as follows.
s
↔ b(a(b(x1555))) ↔
t
-
The critical peak s = a(a(b(x1556)))←→ε c(a(a(x1556))) = t can be joined as follows.
s
↔ a(a(b(x1556))) ↔ a(b(a(x1556))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ a(b(b(x1557))) ↔ c(a(b(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ c(c(b(x1557))) ↔ a(b(b(x1557))) ↔ c(a(b(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ c(c(b(x1557))) ↔ c(a(b(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ a(b(b(x1557))) ↔ a(c(c(x1557))) ↔ a(b(a(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ a(b(b(x1557))) ↔ a(b(a(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ a(b(b(x1557))) ↔ a(a(b(x1557))) ↔ a(b(a(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ c(c(b(x1557))) ↔ c(a(b(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ c(c(b(x1557))) ↔ c(a(b(x1557))) ↔ c(c(c(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ c(c(b(x1557))) ↔
t
-
The critical peak s = b(a(b(x1557)))←→ε c(c(a(x1557))) = t can be joined as follows.
s
↔ c(c(b(x1557))) ↔ c(c(c(x1557))) ↔
t
-
The critical peak s = a(b(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(b(x1559)))←→ε b(a(b(x1559))) = t can be joined as follows.
s
↔
t
-
The critical peak s = a(a(b(x1560)))←→ε c(c(b(x1560))) = t can be joined as follows.
s
↔ a(a(b(x1560))) ↔ a(b(b(x1560))) ↔
t
-
The critical peak s = c(a(b(x1561)))←→ε a(b(b(x1561))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(b(x1562)))←→ε a(b(b(x1562))) = t can be joined as follows.
s
↔
t
-
The critical peak s = a(a(b(x1563)))←→ε a(b(b(x1563))) = t can be joined as follows.
s
↔ a(a(b(x1563))) ↔
t
-
The critical peak s = a(b(x))←→ε a(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(b(x1565)))←→ε b(b(b(x1565))) = t can be joined as follows.
s
↔ b(a(b(x1565))) ↔
t
-
The critical peak s = b(a(b(x1565)))←→ε b(b(b(x1565))) = t can be joined as follows.
s
↔ a(b(b(x1565))) ↔
t
-
The critical peak s = b(a(b(x1565)))←→ε b(b(b(x1565))) = t can be joined as follows.
s
↔ c(c(b(x1565))) ↔
t
-
The critical peak s = a(a(b(x1566)))←→ε c(a(b(x1566))) = t can be joined as follows.
s
↔ a(a(b(x1566))) ↔ a(b(b(x1566))) ↔
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(x1568)))←→ε c(c(b(x1568))) = t can be joined as follows.
s
↔ a(b(b(x1568))) ↔
t
-
The critical peak s = b(a(b(x1568)))←→ε c(c(b(x1568))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(a(x1570)))←→ε b(a(b(x1570))) = t can be joined as follows.
s
↔
t
-
The critical peak s = a(c(a(x1571)))←→ε c(c(b(x1571))) = t can be joined as follows.
s
↔ c(c(a(x1571))) ↔
t
-
The critical peak s = c(c(a(x1572)))←→ε a(b(b(x1572))) = t can be joined as follows.
s
↔ a(b(a(x1572))) ↔
t
-
The critical peak s = b(c(a(x1573)))←→ε a(b(b(x1573))) = t can be joined as follows.
s
↔ a(b(a(x1573))) ↔
t
-
The critical peak s = a(c(a(x1574)))←→ε a(b(b(x1574))) = t can be joined as follows.
s
↔ a(a(b(x1574))) ↔
t
-
The critical peak s = a(c(a(x1574)))←→ε a(b(b(x1574))) = t can be joined as follows.
s
↔ a(c(c(x1574))) ↔
t
-
The critical peak s = a(c(a(x1574)))←→ε a(b(b(x1574))) = t can be joined as follows.
s
↔ a(b(a(x1574))) ↔
t
-
The critical peak s = c(a(x))←→ε a(c(x)) = t can be joined as follows.
s
↔ c(a(x)) ↔
t
-
The critical peak s = c(a(x))←→ε a(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = c(a(x))←→ε a(c(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
t
-
The critical peak s = b(c(a(x1576)))←→ε b(b(b(x1576))) = t can be joined as follows.
s
↔ b(a(b(x1576))) ↔
t
-
The critical peak s = b(c(a(x1576)))←→ε b(b(b(x1576))) = t can be joined as follows.
s
↔ b(c(c(x1576))) ↔
t
-
The critical peak s = b(c(a(x1576)))←→ε b(b(b(x1576))) = t can be joined as follows.
s
↔ b(b(a(x1576))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(a(b(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(c(c(x1577))) ↔ a(a(b(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(b(a(x1577))) ↔ a(a(b(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ c(c(a(x1577))) ↔ c(c(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ c(a(a(x1577))) ↔ c(c(a(x1577))) ↔ c(c(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(c(c(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(b(a(x1577))) ↔ a(c(c(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(b(a(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ c(c(a(x1577))) ↔ a(b(a(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ c(a(a(x1577))) ↔ a(b(a(x1577))) ↔ a(b(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ c(c(a(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ c(c(a(x1577))) ↔ c(c(c(x1577))) ↔ c(c(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(c(c(x1577))) ↔ c(c(c(x1577))) ↔ c(c(b(x1577))) ↔
t
-
The critical peak s = a(c(a(x1577)))←→ε c(a(b(x1577))) = t can be joined as follows.
s
↔ a(c(c(x1577))) ↔ c(a(c(x1577))) ↔ c(c(b(x1577))) ↔
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
↔
t
-
The critical peak s = b(c(a(x1579)))←→ε c(c(b(x1579))) = t can be joined as follows.
s
↔ c(c(a(x1579))) ↔
t
-
The critical peak s = c(b(a(x1580)))←→ε a(b(c(x1580))) = t can be joined as follows.
s
↔ a(b(a(x1580))) ↔
t
-
The critical peak s = c(b(a(x1581)))←→ε c(a(c(x1581))) = t can be joined as follows.
s
↔ c(a(b(x1581))) ↔
t
-
The critical peak s = c(b(a(x1581)))←→ε c(a(c(x1581))) = t can be joined as follows.
s
↔ c(c(c(x1581))) ↔
t
-
The critical peak s = c(b(a(x1581)))←→ε c(a(c(x1581))) = t can be joined as follows.
s
↔ c(c(a(x1581))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ a(b(a(x1582))) ↔ a(b(c(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ c(c(a(x1582))) ↔ a(b(a(x1582))) ↔ a(b(c(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ b(a(a(x1582))) ↔ a(b(a(x1582))) ↔ a(b(c(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ b(a(b(x1582))) ↔ a(b(b(x1582))) ↔ c(a(b(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ b(a(b(x1582))) ↔ a(b(b(x1582))) ↔ a(b(c(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ b(a(b(x1582))) ↔ c(c(b(x1582))) ↔ c(a(b(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ c(c(a(x1582))) ↔ c(a(b(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ c(c(a(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ b(c(c(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ b(c(c(x1582))) ↔ a(b(c(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ a(b(a(x1582))) ↔ a(a(b(x1582))) ↔ a(b(c(x1582))) ↔
t
-
The critical peak s = b(b(a(x1582)))←→ε c(c(c(x1582))) = t can be joined as follows.
s
↔ a(b(a(x1582))) ↔ a(c(c(x1582))) ↔ a(b(c(x1582))) ↔
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(x1584)))←→ε a(c(c(x1584))) = t can be joined as follows.
s
↔ c(c(c(x1584))) ↔
t
-
The critical peak s = b(a(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ b(a(x)) ↔
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
↔ c(c(x)) ↔
t
-
The critical peak s = b(b(a(x1586)))←→ε b(a(c(x1586))) = t can be joined as follows.
s
↔ b(a(b(x1586))) ↔
t
-
The critical peak s = b(b(a(x1586)))←→ε b(a(c(x1586))) = t can be joined as follows.
s
↔ b(c(c(x1586))) ↔
t
-
The critical peak s = c(b(a(x1587)))←→ε c(c(c(x1587))) = t can be joined as follows.
s
↔ c(a(b(x1587))) ↔
t
-
The critical peak s = c(b(a(x1587)))←→ε c(c(c(x1587))) = 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
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(a(x1589)))←→ε a(b(c(x1589))) = t can be joined as follows.
s
↔ a(b(a(x1589))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ c(c(c(x1590))) ↔ a(c(c(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔ a(c(c(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ c(a(b(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔ a(b(a(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔ a(a(b(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔ a(a(b(x1590))) ↔ a(c(c(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔ a(a(b(x1590))) ↔ a(b(a(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔ a(c(c(x1590))) ↔
t
-
The critical peak s = c(c(c(x1590)))←→ε a(b(b(x1590))) = t can be joined as follows.
s
↔ a(b(c(x1590))) ↔ a(c(c(x1590))) ↔ a(b(a(x1590))) ↔
t
-
The critical peak s = c(c(c(x1591)))←→ε c(a(b(x1591))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1592)))←→ε c(c(b(x1592))) = t can be joined as follows.
s
↔ c(c(c(x1592))) ↔
t
-
The critical peak s = c(c(c(x1593)))←→ε a(c(b(x1593))) = t can be joined as follows.
s
↔ c(a(b(x1593))) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
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(x1595)))←→ε b(a(b(x1595))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1596)))←→ε c(c(b(x1596))) = t can be joined as follows.
s
↔ c(c(c(x1596))) ↔
t
-
The critical peak s = c(c(c(x1596)))←→ε c(c(b(x1596))) = t can be joined as follows.
s
↔ c(a(b(x1596))) ↔
t
-
The critical peak s = c(c(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ b(a(c(x1598))) ↔ a(b(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ b(b(c(x1598))) ↔ a(b(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ c(c(c(x1598))) ↔ a(b(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ c(c(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ b(a(c(x1598))) ↔ c(c(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ b(b(c(x1598))) ↔ c(c(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ b(a(b(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔ a(b(a(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔ a(a(b(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔ a(a(b(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔ a(a(b(x1598))) ↔ a(b(a(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔ a(c(c(x1598))) ↔
t
-
The critical peak s = b(c(c(x1598)))←→ε a(b(b(x1598))) = t can be joined as follows.
s
↔ a(b(c(x1598))) ↔ a(c(c(x1598))) ↔ a(b(a(x1598))) ↔
t
-
The critical peak s = b(c(c(x1599)))←→ε a(b(c(x1599))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1600)))←→ε a(b(c(x1600))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1601)))←→ε c(c(c(x1601))) = t can be joined as follows.
s
↔ a(b(c(x1601))) ↔
t
-
The critical peak s = b(c(c(x1601)))←→ε c(c(c(x1601))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1602)))←→ε c(c(c(x1602))) = t can be joined as follows.
s
↔
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))←→ε 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
↔ a(b(x)) ↔
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(c(x1606)))←→ε a(b(a(x1606))) = t can be joined as follows.
s
↔ c(c(c(x1606))) ↔ a(c(c(x1606))) ↔
t
-
The critical peak s = c(c(c(x1606)))←→ε a(b(a(x1606))) = t can be joined as follows.
s
↔ a(b(c(x1606))) ↔ a(c(c(x1606))) ↔
t
-
The critical peak s = c(c(c(x1606)))←→ε a(b(a(x1606))) = t can be joined as follows.
s
↔ a(b(c(x1606))) ↔
t
-
The critical peak s = c(c(c(x1606)))←→ε a(b(a(x1606))) = t can be joined as follows.
s
↔ a(b(c(x1606))) ↔ a(a(b(x1606))) ↔
t
-
The critical peak s = c(c(c(x1606)))←→ε a(b(a(x1606))) = t can be joined as follows.
s
↔ a(b(c(x1606))) ↔ a(a(b(x1606))) ↔ a(c(c(x1606))) ↔
t
-
The critical peak s = c(c(c(x1606)))←→ε a(b(a(x1606))) = t can be joined as follows.
s
↔ a(b(c(x1606))) ↔ a(c(c(x1606))) ↔
t
-
The critical peak s = c(c(c(x1607)))←→ε c(a(a(x1607))) = t can be joined as follows.
s
↔ c(c(c(x1607))) ↔ c(c(a(x1607))) ↔
t
-
The critical peak s = c(c(c(x1607)))←→ε c(a(a(x1607))) = t can be joined as follows.
s
↔ c(a(b(x1607))) ↔ c(c(a(x1607))) ↔
t
-
The critical peak s = c(c(c(x1607)))←→ε c(a(a(x1607))) = t can be joined as follows.
s
↔ a(b(c(x1607))) ↔ a(b(a(x1607))) ↔
t
-
The critical peak s = c(c(c(x1607)))←→ε c(a(a(x1607))) = t can be joined as follows.
s
↔ a(b(c(x1607))) ↔ a(b(a(x1607))) ↔ c(c(a(x1607))) ↔
t
-
The critical peak s = c(c(c(x1607)))←→ε c(a(a(x1607))) = t can be joined as follows.
s
↔ a(b(c(x1607))) ↔ a(a(b(x1607))) ↔ a(b(a(x1607))) ↔
t
-
The critical peak s = c(c(c(x1607)))←→ε c(a(a(x1607))) = t can be joined as follows.
s
↔ a(b(c(x1607))) ↔ a(c(c(x1607))) ↔ a(b(a(x1607))) ↔
t
-
The critical peak s = b(c(c(x1608)))←→ε c(c(a(x1608))) = t can be joined as follows.
s
↔ c(c(c(x1608))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ c(c(c(x1609))) ↔ c(c(a(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ c(c(c(x1609))) ↔ a(c(c(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ c(a(b(x1609))) ↔ c(c(a(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(c(c(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(b(a(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(b(a(x1609))) ↔ c(c(a(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(b(a(x1609))) ↔ c(a(a(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(a(b(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(a(b(x1609))) ↔ a(c(c(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(a(b(x1609))) ↔ a(b(a(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(c(c(x1609))) ↔
t
-
The critical peak s = c(c(c(x1609)))←→ε a(c(a(x1609))) = t can be joined as follows.
s
↔ a(b(c(x1609))) ↔ a(c(c(x1609))) ↔ a(b(a(x1609))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ c(c(c(x1610))) ↔ c(c(a(x1610))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ b(a(c(x1610))) ↔ c(c(c(x1610))) ↔ c(c(a(x1610))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ b(b(c(x1610))) ↔ c(c(c(x1610))) ↔ c(c(a(x1610))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ a(b(c(x1610))) ↔ a(b(a(x1610))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ a(b(c(x1610))) ↔ a(b(a(x1610))) ↔ c(c(a(x1610))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ a(b(c(x1610))) ↔ a(a(b(x1610))) ↔ a(b(a(x1610))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ a(b(c(x1610))) ↔ a(c(c(x1610))) ↔ a(b(a(x1610))) ↔
t
-
The critical peak s = b(c(c(x1610)))←→ε b(a(a(x1610))) = t can be joined as follows.
s
↔ c(c(c(x1610))) ↔ c(a(b(x1610))) ↔ c(c(a(x1610))) ↔
t
-
The critical peak s = c(c(c(x1611)))←→ε c(c(a(x1611))) = t can be joined as follows.
s
↔ c(c(c(x1611))) ↔
t
-
The critical peak s = c(c(c(x1611)))←→ε c(c(a(x1611))) = t can be joined as follows.
s
↔ c(a(b(x1611))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ a(b(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ b(a(c(x1612))) ↔ a(b(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ b(b(c(x1612))) ↔ a(b(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ c(c(c(x1612))) ↔ a(b(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ c(c(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ b(a(c(x1612))) ↔ c(c(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ b(b(c(x1612))) ↔ c(c(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ a(b(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ a(b(c(x1612))) ↔ a(a(b(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ a(b(c(x1612))) ↔ a(a(b(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(c(c(x1612)))←→ε a(b(a(x1612))) = t can be joined as follows.
s
↔ a(b(c(x1612))) ↔ a(c(c(x1612))) ↔
t
-
The critical peak s = b(a(b(x1613)))←→ε b(a(c(x1613))) = t can be joined as follows.
s
↔ b(a(b(x1613))) ↔
t
-
The critical peak s = a(a(b(x1614)))←→ε c(c(c(x1614))) = t can be joined as follows.
s
↔ a(a(b(x1614))) ↔ a(b(c(x1614))) ↔
t
-
The critical peak s = c(a(b(x1615)))←→ε a(b(c(x1615))) = t can be joined as follows.
s
↔ a(b(b(x1615))) ↔
t
-
The critical peak s = b(a(b(x1616)))←→ε a(b(c(x1616))) = t can be joined as follows.
s
↔ a(b(b(x1616))) ↔
t
-
The critical peak s = a(a(b(x1617)))←→ε a(b(c(x1617))) = t can be joined as follows.
s
↔ a(a(b(x1617))) ↔
t
-
The critical peak s = b(a(b(x1618)))←→ε b(b(c(x1618))) = t can be joined as follows.
s
↔ b(a(b(x1618))) ↔
t
-
The critical peak s = a(a(b(x1619)))←→ε c(a(c(x1619))) = t can be joined as follows.
s
↔ a(a(b(x1619))) ↔ a(b(c(x1619))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ a(b(b(x1620))) ↔ c(a(b(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ a(b(b(x1620))) ↔ a(b(c(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ c(c(b(x1620))) ↔ a(b(b(x1620))) ↔ c(a(b(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ c(c(b(x1620))) ↔ a(b(b(x1620))) ↔ a(b(c(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ c(c(b(x1620))) ↔ c(a(b(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ a(b(b(x1620))) ↔ a(c(c(x1620))) ↔ a(b(c(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ a(b(b(x1620))) ↔ a(b(a(x1620))) ↔ a(b(c(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ a(b(b(x1620))) ↔ a(a(b(x1620))) ↔ a(b(c(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ c(c(b(x1620))) ↔ c(a(b(x1620))) ↔
t
-
The critical peak s = b(a(b(x1620)))←→ε c(c(c(x1620))) = t can be joined as follows.
s
↔ c(c(b(x1620))) ↔
t
-
The critical peak s = c(c(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ c(c(c(x1622))) ↔ c(c(a(x1622))) ↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ b(a(c(x1622))) ↔ c(c(c(x1622))) ↔ c(c(a(x1622))) ↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ b(b(c(x1622))) ↔ c(c(c(x1622))) ↔ c(c(a(x1622))) ↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ a(b(c(x1622))) ↔ a(b(a(x1622))) ↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ a(b(c(x1622))) ↔ a(b(a(x1622))) ↔ c(c(a(x1622))) ↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ a(b(c(x1622))) ↔ a(a(b(x1622))) ↔ a(b(a(x1622))) ↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ a(b(c(x1622))) ↔ a(c(c(x1622))) ↔ a(b(a(x1622))) ↔
t
-
The critical peak s = b(c(c(x1622)))←→ε b(a(a(x1622))) = t can be joined as follows.
s
↔ c(c(c(x1622))) ↔ c(a(b(x1622))) ↔ c(c(a(x1622))) ↔
t
-
The critical peak s = a(c(c(x1623)))←→ε c(c(a(x1623))) = t can be joined as follows.
s
↔ c(c(c(x1623))) ↔
t
-
The critical peak s = c(c(c(x1624)))←→ε a(b(a(x1624))) = t can be joined as follows.
s
↔ c(c(c(x1624))) ↔ a(c(c(x1624))) ↔
t
-
The critical peak s = c(c(c(x1624)))←→ε a(b(a(x1624))) = t can be joined as follows.
s
↔ a(b(c(x1624))) ↔ a(c(c(x1624))) ↔
t
-
The critical peak s = c(c(c(x1624)))←→ε a(b(a(x1624))) = t can be joined as follows.
s
↔ a(b(c(x1624))) ↔
t
-
The critical peak s = c(c(c(x1624)))←→ε a(b(a(x1624))) = t can be joined as follows.
s
↔ a(b(c(x1624))) ↔ a(a(b(x1624))) ↔
t
-
The critical peak s = c(c(c(x1624)))←→ε a(b(a(x1624))) = t can be joined as follows.
s
↔ a(b(c(x1624))) ↔ a(a(b(x1624))) ↔ a(c(c(x1624))) ↔
t
-
The critical peak s = c(c(c(x1624)))←→ε a(b(a(x1624))) = t can be joined as follows.
s
↔ a(b(c(x1624))) ↔ a(c(c(x1624))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ a(b(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ b(a(c(x1625))) ↔ a(b(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ b(b(c(x1625))) ↔ a(b(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ c(c(c(x1625))) ↔ a(b(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ c(c(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ b(a(c(x1625))) ↔ c(c(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ b(b(c(x1625))) ↔ c(c(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ a(b(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ a(b(c(x1625))) ↔ a(a(b(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ a(b(c(x1625))) ↔ a(a(b(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = b(c(c(x1625)))←→ε a(b(a(x1625))) = t can be joined as follows.
s
↔ a(b(c(x1625))) ↔ a(c(c(x1625))) ↔
t
-
The critical peak s = a(c(c(x1626)))←→ε a(b(a(x1626))) = t can be joined as follows.
s
↔ a(c(c(x1626))) ↔
t
-
The critical peak s = a(c(c(x1626)))←→ε a(b(a(x1626))) = t can be joined as follows.
s
↔ a(a(b(x1626))) ↔
t
-
The critical peak s = b(c(c(x1627)))←→ε b(b(a(x1627))) = t can be joined as follows.
s
↔ b(c(c(x1627))) ↔
t
-
The critical peak s = b(c(c(x1627)))←→ε b(b(a(x1627))) = t can be joined as follows.
s
↔ b(a(b(x1627))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ a(c(c(x1628))) ↔ a(b(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ c(c(c(x1628))) ↔ c(c(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ c(a(c(x1628))) ↔ c(c(c(x1628))) ↔ c(c(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ a(a(b(x1628))) ↔ a(b(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ a(b(c(x1628))) ↔ a(a(b(x1628))) ↔ a(b(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ c(c(c(x1628))) ↔ c(a(b(x1628))) ↔ c(c(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ c(a(c(x1628))) ↔ c(a(b(x1628))) ↔ c(c(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ a(b(c(x1628))) ↔ a(b(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ a(b(c(x1628))) ↔ a(b(a(x1628))) ↔ c(c(a(x1628))) ↔
t
-
The critical peak s = a(c(c(x1628)))←→ε c(a(a(x1628))) = t can be joined as follows.
s
↔ c(a(c(x1628))) ↔ c(c(a(x1628))) ↔
t
-
The critical peak s = b(c(c(x1629)))←→ε c(c(a(x1629))) = t can be joined as follows.
s
↔ c(c(c(x1629))) ↔
t
-
The critical peak s = c(a(b(x1630)))←→ε a(b(c(x1630))) = t can be joined as follows.
s
↔ a(b(b(x1630))) ↔
t
-
The critical peak s = c(a(b(x1631)))←→ε c(a(c(x1631))) = t can be joined as follows.
s
↔ c(a(b(x1631))) ↔
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(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ a(b(b(x1633))) ↔ c(a(b(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ a(b(b(x1633))) ↔ a(b(c(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ c(c(b(x1633))) ↔ a(b(b(x1633))) ↔ c(a(b(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ c(c(b(x1633))) ↔ a(b(b(x1633))) ↔ a(b(c(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ c(c(b(x1633))) ↔ c(a(b(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ a(b(b(x1633))) ↔ a(c(c(x1633))) ↔ a(b(c(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ a(b(b(x1633))) ↔ a(b(a(x1633))) ↔ a(b(c(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ a(b(b(x1633))) ↔ a(a(b(x1633))) ↔ a(b(c(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ c(c(b(x1633))) ↔ c(a(b(x1633))) ↔
t
-
The critical peak s = b(a(b(x1633)))←→ε c(c(c(x1633))) = t can be joined as follows.
s
↔ c(c(b(x1633))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ c(a(b(x1634))) ↔ c(c(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ c(a(b(x1634))) ↔ c(a(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ a(b(b(x1634))) ↔ a(b(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ c(c(b(x1634))) ↔ a(b(b(x1634))) ↔ a(b(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ a(b(b(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ a(b(b(x1634))) ↔ a(b(a(x1634))) ↔ a(b(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ a(b(b(x1634))) ↔ a(a(b(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ a(b(b(x1634))) ↔ a(a(b(x1634))) ↔ a(b(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ c(c(b(x1634))) ↔ c(c(a(x1634))) ↔ c(a(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ c(c(b(x1634))) ↔ c(a(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ c(c(b(x1634))) ↔ c(c(c(x1634))) ↔
t
-
The critical peak s = c(a(b(x1634)))←→ε a(c(c(x1634))) = t can be joined as follows.
s
↔ c(c(b(x1634))) ↔ c(c(c(x1634))) ↔ c(a(c(x1634))) ↔
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(x1636)))←→ε b(a(c(x1636))) = t can be joined as follows.
s
↔ b(a(b(x1636))) ↔
t
-
The critical peak s = c(a(b(x1637)))←→ε c(c(c(x1637))) = t can be joined as follows.
s
↔ c(a(b(x1637))) ↔
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(x1639)))←→ε a(b(c(x1639))) = t can be joined as follows.
s
↔ a(b(b(x1639))) ↔
t
-
The critical peak s = b(a(b(x1640)))←→ε a(b(c(x1640))) = t can be joined as follows.
s
↔ a(b(b(x1640))) ↔
t
-
The critical peak s = c(a(b(x1641)))←→ε a(b(c(x1641))) = t can be joined as follows.
s
↔ a(b(b(x1641))) ↔
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(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ a(b(b(x1643))) ↔ c(a(b(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ a(b(b(x1643))) ↔ a(b(c(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ c(c(b(x1643))) ↔ a(b(b(x1643))) ↔ c(a(b(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ c(c(b(x1643))) ↔ a(b(b(x1643))) ↔ a(b(c(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ c(c(b(x1643))) ↔ c(a(b(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ a(b(b(x1643))) ↔ a(c(c(x1643))) ↔ a(b(c(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ a(b(b(x1643))) ↔ a(b(a(x1643))) ↔ a(b(c(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ a(b(b(x1643))) ↔ a(a(b(x1643))) ↔ a(b(c(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ c(c(b(x1643))) ↔ c(a(b(x1643))) ↔
t
-
The critical peak s = b(a(b(x1643)))←→ε c(c(c(x1643))) = t can be joined as follows.
s
↔ c(c(b(x1643))) ↔
t
-
The critical peak s = c(a(b(x1644)))←→ε c(c(c(x1644))) = t can be joined as follows.
s
↔ c(a(b(x1644))) ↔
t
-
The critical peak s = a(b(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = a(c(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = a(c(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
t
-
The critical peak s = a(c(x))←→ε c(a(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = a(c(x))←→ε c(a(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(c(x1648)))←→ε b(a(b(x1648))) = t can be joined as follows.
s
↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ a(b(b(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(a(x1649))) ↔ a(c(c(x1649))) ↔ a(b(b(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(a(b(x1649))) ↔ a(b(b(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ a(a(b(x1649))) ↔ a(b(b(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(a(x1649))) ↔ a(a(b(x1649))) ↔ a(b(b(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ c(c(c(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ c(c(c(x1649))) ↔ c(c(a(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ c(c(c(x1649))) ↔ c(a(c(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ a(b(c(x1649))) ↔ c(a(c(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ a(b(c(x1649))) ↔ c(c(c(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(c(x1649))) ↔ c(a(c(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(a(x1649))) ↔ c(c(a(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(a(x1649))) ↔ c(c(a(x1649))) ↔ c(a(c(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(a(x1649))) ↔ a(b(a(x1649))) ↔ c(c(a(x1649))) ↔
t
-
The critical peak s = a(a(c(x1649)))←→ε c(c(b(x1649))) = t can be joined as follows.
s
↔ a(c(a(x1649))) ↔ a(b(a(x1649))) ↔ a(b(b(x1649))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ c(a(c(x1650))) ↔ a(c(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔ a(c(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ c(c(c(x1650))) ↔ a(b(c(x1650))) ↔ a(c(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ c(c(c(x1650))) ↔ a(c(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ c(c(a(x1650))) ↔ c(c(c(x1650))) ↔ a(c(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔ a(b(a(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ c(c(a(x1650))) ↔ a(b(a(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔ a(a(b(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔ a(a(b(x1650))) ↔ a(c(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔ a(a(b(x1650))) ↔ a(b(a(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ c(a(b(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔ a(c(c(x1650))) ↔
t
-
The critical peak s = c(a(c(x1650)))←→ε a(b(b(x1650))) = t can be joined as follows.
s
↔ a(b(c(x1650))) ↔ a(c(c(x1650))) ↔ a(b(a(x1650))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔ a(c(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ b(c(c(x1651))) ↔ a(b(c(x1651))) ↔ a(c(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ c(c(c(x1651))) ↔ a(b(c(x1651))) ↔ a(c(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ c(c(c(x1651))) ↔ a(c(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ b(c(c(x1651))) ↔ c(c(c(x1651))) ↔ a(c(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔ a(b(a(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ b(c(a(x1651))) ↔ a(b(a(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔ a(a(b(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔ a(a(b(x1651))) ↔ a(c(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔ a(a(b(x1651))) ↔ a(b(a(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ b(a(b(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔ a(c(c(x1651))) ↔
t
-
The critical peak s = b(a(c(x1651)))←→ε a(b(b(x1651))) = t can be joined as follows.
s
↔ a(b(c(x1651))) ↔ a(c(c(x1651))) ↔ a(b(a(x1651))) ↔
t
-
The critical peak s = a(a(c(x1652)))←→ε a(b(b(x1652))) = t can be joined as follows.
s
↔ a(c(c(x1652))) ↔
t
-
The critical peak s = a(a(c(x1652)))←→ε a(b(b(x1652))) = t can be joined as follows.
s
↔ a(a(b(x1652))) ↔
t
-
The critical peak s = b(a(c(x1653)))←→ε b(b(b(x1653))) = t can be joined as follows.
s
↔ b(c(c(x1653))) ↔
t
-
The critical peak s = b(a(c(x1653)))←→ε b(b(b(x1653))) = t can be joined as follows.
s
↔ b(a(b(x1653))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(c(x1654))) ↔ a(b(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(a(x1654))) ↔ a(c(c(x1654))) ↔ a(b(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(a(b(x1654))) ↔ a(b(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(c(x1654))) ↔ a(a(b(x1654))) ↔ a(b(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(a(x1654))) ↔ a(a(b(x1654))) ↔ a(b(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(c(x1654))) ↔ c(c(c(x1654))) ↔ c(c(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(c(x1654))) ↔ c(a(c(x1654))) ↔ c(c(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(a(x1654))) ↔ c(c(a(x1654))) ↔ c(c(b(x1654))) ↔
t
-
The critical peak s = a(a(c(x1654)))←→ε c(a(b(x1654))) = t can be joined as follows.
s
↔ a(c(a(x1654))) ↔ a(b(a(x1654))) ↔ a(b(b(x1654))) ↔
t
-
The critical peak s = a(c(x))←→ε c(c(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = a(c(x))←→ε c(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(c(x1656)))←→ε c(c(b(x1656))) = t can be joined as follows.
s
↔ c(c(c(x1656))) ↔
t
-
The critical peak s = c(b(b(x1657)))←→ε a(b(c(x1657))) = t can be joined as follows.
s
↔ a(b(b(x1657))) ↔
t
-
The critical peak s = c(b(b(x1658)))←→ε c(a(c(x1658))) = t can be joined as follows.
s
↔ c(a(b(x1658))) ↔
t
-
The critical peak s = c(b(b(x1658)))←→ε c(a(c(x1658))) = t can be joined as follows.
s
↔ c(c(c(x1658))) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
t
-
The critical peak s = b(b(x))←→ε b(a(x)) = 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
↔ a(b(x)) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ c(c(b(x1660))) ↔ c(a(b(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ b(a(b(x1660))) ↔ c(c(b(x1660))) ↔ c(a(b(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ a(b(b(x1660))) ↔ c(a(b(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ a(b(b(x1660))) ↔ a(b(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ c(c(b(x1660))) ↔ a(b(b(x1660))) ↔ c(a(b(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ c(c(b(x1660))) ↔ a(b(b(x1660))) ↔ a(b(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ b(a(b(x1660))) ↔ a(b(b(x1660))) ↔ c(a(b(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ b(a(b(x1660))) ↔ a(b(b(x1660))) ↔ a(b(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ b(c(c(x1660))) ↔ a(b(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ b(c(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ c(c(b(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ c(c(b(x1660))) ↔ c(a(b(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ b(b(a(x1660))) ↔ a(b(a(x1660))) ↔ a(b(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ a(b(b(x1660))) ↔ a(b(a(x1660))) ↔ a(b(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ a(b(b(x1660))) ↔ a(c(c(x1660))) ↔ a(b(c(x1660))) ↔
t
-
The critical peak s = b(b(b(x1660)))←→ε c(c(c(x1660))) = t can be joined as follows.
s
↔ a(b(b(x1660))) ↔ a(a(b(x1660))) ↔ a(b(c(x1660))) ↔
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(x1662)))←→ε a(c(c(x1662))) = t can be joined as follows.
s
↔ c(c(c(x1662))) ↔
t
-
The critical peak s = b(b(b(x1663)))←→ε b(a(c(x1663))) = t can be joined as follows.
s
↔ b(c(c(x1663))) ↔
t
-
The critical peak s = b(b(b(x1663)))←→ε b(a(c(x1663))) = t can be joined as follows.
s
↔ b(a(b(x1663))) ↔
t
-
The critical peak s = c(b(b(x1664)))←→ε c(c(c(x1664))) = t can be joined as follows.
s
↔ c(a(b(x1664))) ↔
t
-
The critical peak s = c(b(b(x1664)))←→ε c(c(c(x1664))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(x))←→ε c(c(x)) = t can be joined as follows.
s
↔
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(x1666)))←→ε a(b(c(x1666))) = t can be joined as follows.
s
↔ a(b(b(x1666))) ↔
t
-
The critical peak s = c(b(a(x1667)))←→ε a(b(b(x1667))) = t can be joined as follows.
s
↔ a(b(a(x1667))) ↔
t
-
The critical peak s = c(b(a(x1668)))←→ε c(a(b(x1668))) = 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
↔ a(b(x)) ↔
t
-
The critical peak s = b(a(x))←→ε c(c(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(a(x1670)))←→ε c(c(b(x1670))) = t can be joined as follows.
s
↔ c(c(a(x1670))) ↔
t
-
The critical peak s = c(b(a(x1671)))←→ε a(c(b(x1671))) = t can be joined as follows.
s
↔ c(a(b(x1671))) ↔
t
-
The critical peak s = c(b(a(x1671)))←→ε a(c(b(x1671))) = t can be joined as follows.
s
↔ a(c(a(x1671))) ↔
t
-
The critical peak s = b(b(a(x1672)))←→ε b(a(b(x1672))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(b(a(x1673)))←→ε c(c(b(x1673))) = t can be joined as follows.
s
↔ c(a(b(x1673))) ↔
t
-
The critical peak s = c(b(a(x1673)))←→ε c(c(b(x1673))) = t can be joined as follows.
s
↔ c(c(c(x1673))) ↔
t
-
The critical peak s = c(b(a(x1673)))←→ε c(c(b(x1673))) = t can be joined as follows.
s
↔ c(c(a(x1673))) ↔
t
-
The critical peak s = b(a(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(b(a(x1675)))←→ε a(b(b(x1675))) = t can be joined as follows.
s
↔ a(b(a(x1675))) ↔
t
-
The critical peak s = b(c(a(x1676)))←→ε a(b(c(x1676))) = t can be joined as follows.
s
↔ a(b(a(x1676))) ↔
t
-
The critical peak s = c(c(a(x1677)))←→ε a(b(c(x1677))) = t can be joined as follows.
s
↔ a(b(a(x1677))) ↔
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
↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ a(b(a(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ b(a(a(x1679))) ↔ a(b(a(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ b(b(a(x1679))) ↔ a(b(a(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ c(c(a(x1679))) ↔ a(b(a(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ b(a(b(x1679))) ↔ a(b(b(x1679))) ↔ c(a(b(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ b(a(b(x1679))) ↔ a(b(b(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ b(a(b(x1679))) ↔ c(c(b(x1679))) ↔ c(a(b(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ b(c(c(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ b(c(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ c(c(a(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ a(b(a(x1679))) ↔ a(a(b(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ a(b(a(x1679))) ↔ a(c(c(x1679))) ↔ a(b(c(x1679))) ↔
t
-
The critical peak s = b(c(a(x1679)))←→ε c(c(c(x1679))) = t can be joined as follows.
s
↔ c(c(a(x1679))) ↔ c(a(b(x1679))) ↔
t
-
The critical peak s = c(c(a(x1680)))←→ε c(c(c(x1680))) = t can be joined as follows.
s
↔ c(a(b(x1680))) ↔
t
-
The critical peak s = c(c(a(x1680)))←→ε c(c(c(x1680))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(x))←→ε a(b(x)) = t can be joined as follows.
s
↔
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))←→ε 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
↔ a(b(x)) ↔
t
-
The critical peak s = b(c(c(x1684)))←→ε b(a(b(x1684))) = t can be joined as follows.
s
↔
t
-
The critical peak s = a(c(c(x1685)))←→ε c(c(b(x1685))) = t can be joined as follows.
s
↔ c(c(c(x1685))) ↔
t
-
The critical peak s = a(c(c(x1685)))←→ε c(c(b(x1685))) = t can be joined as follows.
s
↔ c(a(c(x1685))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ c(c(c(x1686))) ↔ a(c(c(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔ a(c(c(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ c(a(b(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔ a(b(a(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔ a(a(b(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔ a(a(b(x1686))) ↔ a(c(c(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔ a(a(b(x1686))) ↔ a(b(a(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔ a(c(c(x1686))) ↔
t
-
The critical peak s = c(c(c(x1686)))←→ε a(b(b(x1686))) = t can be joined as follows.
s
↔ a(b(c(x1686))) ↔ a(c(c(x1686))) ↔ a(b(a(x1686))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ b(a(c(x1687))) ↔ a(b(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ b(b(c(x1687))) ↔ a(b(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ c(c(c(x1687))) ↔ a(b(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ c(c(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ b(a(c(x1687))) ↔ c(c(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ b(b(c(x1687))) ↔ c(c(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ b(a(b(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔ a(b(a(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔ a(a(b(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔ a(a(b(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔ a(a(b(x1687))) ↔ a(b(a(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔ a(c(c(x1687))) ↔
t
-
The critical peak s = b(c(c(x1687)))←→ε a(b(b(x1687))) = t can be joined as follows.
s
↔ a(b(c(x1687))) ↔ a(c(c(x1687))) ↔ a(b(a(x1687))) ↔
t
-
The critical peak s = a(c(c(x1688)))←→ε a(b(b(x1688))) = t can be joined as follows.
s
↔ a(c(c(x1688))) ↔
t
-
The critical peak s = a(c(c(x1688)))←→ε a(b(b(x1688))) = t can be joined as follows.
s
↔ a(a(b(x1688))) ↔
t
-
The critical peak s = c(c(x))←→ε a(c(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
t
-
The critical peak s = c(c(x))←→ε a(c(x)) = t can be joined as follows.
s
↔ a(b(x)) ↔
t
-
The critical peak s = b(c(c(x1690)))←→ε b(b(b(x1690))) = t can be joined as follows.
s
↔ b(c(c(x1690))) ↔
t
-
The critical peak s = b(c(c(x1690)))←→ε b(b(b(x1690))) = t can be joined as follows.
s
↔ b(a(b(x1690))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ a(c(c(x1691))) ↔ a(b(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ c(c(c(x1691))) ↔ c(c(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ c(a(c(x1691))) ↔ c(c(c(x1691))) ↔ c(c(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ a(a(b(x1691))) ↔ a(b(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ a(b(c(x1691))) ↔ a(a(b(x1691))) ↔ a(b(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ c(a(c(x1691))) ↔ c(c(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ c(c(c(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ c(a(c(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ a(b(c(x1691))) ↔ a(b(a(x1691))) ↔ a(b(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ a(b(c(x1691))) ↔ a(b(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ a(b(c(x1691))) ↔ a(b(b(x1691))) ↔ c(c(b(x1691))) ↔
t
-
The critical peak s = a(c(c(x1691)))←→ε c(a(b(x1691))) = t can be joined as follows.
s
↔ c(a(c(x1691))) ↔ c(c(a(x1691))) ↔ c(c(b(x1691))) ↔
t
-
The critical peak s = b(c(c(x1692)))←→ε c(c(b(x1692))) = t can be joined as follows.
s
↔ c(c(c(x1692))) ↔
t
-
The critical peak s = c(c(c(x1693)))←→ε a(b(c(x1693))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(c(c(x1694)))←→ε c(a(c(x1694))) = t can be joined as follows.
s
↔ c(c(c(x1694))) ↔
t
-
The critical peak s = c(c(c(x1694)))←→ε c(a(c(x1694))) = t can be joined as follows.
s
↔ c(a(b(x1694))) ↔
t
-
The critical peak s = c(c(c(x1694)))←→ε c(a(c(x1694))) = t can be joined as follows.
s
↔ a(b(c(x1694))) ↔
t
-
The critical peak s = c(c(x))←→ε b(a(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
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(x1696)))←→ε c(c(c(x1696))) = t can be joined as follows.
s
↔ a(b(c(x1696))) ↔
t
-
The critical peak s = b(c(c(x1696)))←→ε c(c(c(x1696))) = t can be joined as follows.
s
↔
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(c(x1698)))←→ε a(c(c(x1698))) = t can be joined as follows.
s
↔ c(c(c(x1698))) ↔
t
-
The critical peak s = c(c(c(x1698)))←→ε a(c(c(x1698))) = t can be joined as follows.
s
↔ a(b(c(x1698))) ↔
t
-
The critical peak s = c(c(x))←→ε b(b(x)) = t can be joined as follows.
s
↔ c(c(x)) ↔
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(x1700)))←→ε b(a(c(x1700))) = t can be joined as follows.
s
↔ b(c(c(x1700))) ↔
t
-
The critical peak s = b(c(c(x1700)))←→ε b(a(c(x1700))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1700)))←→ε b(a(c(x1700))) = t can be joined as follows.
s
↔ b(a(b(x1700))) ↔
t
-
The critical peak s = b(c(c(x1700)))←→ε b(a(c(x1700))) = t can be joined as follows.
s
↔ a(b(c(x1700))) ↔
t
-
The critical peak s = b(c(c(x1700)))←→ε b(a(c(x1700))) = t can be joined as follows.
s
↔ c(c(c(x1700))) ↔
t
-
The critical peak s = c(c(c(x1701)))←→ε c(c(c(x1701))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(c(c(x1702)))←→ε a(b(c(x1702))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1703)))←→ε a(b(b(x1703))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1704)))←→ε c(a(b(x1704))) = t can be joined as follows.
s
↔
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(x1706)))←→ε c(c(b(x1706))) = t can be joined as follows.
s
↔ a(b(b(x1706))) ↔
t
-
The critical peak s = b(a(b(x1706)))←→ε c(c(b(x1706))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1707)))←→ε a(c(b(x1707))) = t can be joined as follows.
s
↔ c(a(b(x1707))) ↔
t
-
The critical peak s = c(a(b(x1707)))←→ε a(c(b(x1707))) = t can be joined as follows.
s
↔ a(b(b(x1707))) ↔
t
-
The critical peak s = c(a(b(x1707)))←→ε a(c(b(x1707))) = t can be joined as follows.
s
↔ c(c(b(x1707))) ↔
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(x1709)))←→ε b(a(b(x1709))) = t can be joined as follows.
s
↔
t
-
The critical peak s = c(a(b(x1710)))←→ε c(c(b(x1710))) = t can be joined as follows.
s
↔ c(a(b(x1710))) ↔
t
-
The critical peak s = c(a(b(x1710)))←→ε c(c(b(x1710))) = t can be joined as follows.
s
↔ a(b(b(x1710))) ↔
t
-
The critical peak s = c(a(b(x1710)))←→ε c(c(b(x1710))) = t can be joined as follows.
s
↔
t
-
The critical peak s = b(a(b(x1711)))←→ε a(b(b(x1711))) = t can be joined as follows.
s
↔
t
/>