A certified basis of 4 identities

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

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

Certified for

[6, 14901] [6, 14911] [6, 14930] [6, 14949] [6, 14954] [6, 15915] [6, 15930]

The identities

x⁴y ≈ xy
xy ≈ xy⁴
xy ≈ xyxyxyxy
xyz ≈ xzy