A certified basis of 2 identities

This list of identities is a basis, proved in Lean, of 9 semigroups of order six, all of which generate the variety V[12773]. Removing the identities that follow from the others leaves 2 identities (Vampire); the variety page shows the shortest known basis.

Identifier sb-fdb8e42970c88faa in the data of the bases-min seal.

Certified for

[6, 12773] [6, 13138] [6, 13662] [6, 13745] [6, 14155] [6, 14247] [6, 14248] [6, 14267] [6, 14268]

The identities

xy ≈ xy²
xyz ≈ xzyz