Certificate for #3652 ⟨a, b, c | aaa=1, bcccb=1⟩

Back:⟨a, b, c | aaa=1, bcccb=1⟩

Completion settings:

[1] aaa=1

Axiom: aaa=1.

Defines rule #3.

[2] bcccb=1

Axiom: bcccb=1.

Referenced by [4].

[3] ccc=d

Axiom: ccc=d.

Defines rule #6.

Referenced by [4], [7].

[4] bdb=1

Overlap of [2] bcccb=1 with [3] ccc=d:

b cccb ccc

Critical pair: bdb=1.

Referenced by [5], [6], [10].

[5] bd=db

Overlap of [4] bdb=1 with [4] bdb=1:

bd b bdb

Critical pair: bd=db.

Defines rule #1.

Referenced by [6], [9].

[6] dbb=1

Overlap of [4] bdb=1 with [5] bd=db:

bdb bd

Critical pair: dbb=1.

Defines rule #4.

Referenced by [8].

[7] cd=dc

Overlap of [3] ccc=d with [3] ccc=d:

c cc ccc

Critical pair: cd=dc.

Defines rule #2.

Referenced by [8].

[8] dcbb=c

Overlap of [7] cd=dc with [6] dbb=1:

c d dbb

Critical pair: c=dcbb.

Flip LHS and RHS.

Referenced by [9].

[9] dbcbb=bc

Overlap of [5] bd=db with [8] dcbb=c:

b d dcbb

Critical pair: bc=dbcbb.

Flip LHS and RHS.

Referenced by [10].

[10] cbb=bbc

Overlap of [4] bdb=1 with [9] dbcbb=bc:

b db dbcbb

Critical pair: bbc=cbb.

Flip LHS and RHS.

Defines rule #5.