Local identities of rank 4
Rank 4 identities with 4 distinct arguments
Rank 4 identities with 3 distinct arguments
Rank 4 identities with 2 distinct arguments