Explicit expression of all the existing identities among right-nested commutators up to grade m=10

This file accompanies the paper  “A note on the Baker-Campbell-Hausdorff series in terms of right-nested commutators”, by
A. Arnal, F. Casas, and C. Chiralt

The symbol Cmt[.,.] stands for the usual commutator (or Lie bracket)

m=4

Cmt[X,Cmt[Y,Cmt[X,Y]]]-Cmt[Y,Cmt[X,Cmt[X,Y]]]==0

There are no identities for m=5

m=6

identidades[6]

m=7

identidades[7]

m=8

identidades[8]

m=9

identidades[9]

m=10

identidades[10]