Define CN.txt and put it in the Word Automata Library, as follows: msd_3 0 1 0 -> 0 1 -> 1 2 -> 0 1 0 0 -> 1 1 -> 1 2 -> 1 Define MO.txt and put it in the Word Automata Library, as follows: msd_4 0 1 0 -> 0 1 -> 0 2 -> 1 3 -> 1 1 0 0 -> 1 1 -> 1 2 -> 1 3 -> 1 Then run the following predicates on Walnut eval cantor "?msd_3 An Ex Ey ((CN[x]=@1)&(CN[y]=@1)&(2*n=x+y))": eval evil2 "?msd_2 Ex Ey (T[x]=@0)&(T[y]=@0)&(n=x+y)": eval evil3 "?msd_2 Ex Ey Ez (T[x]=@0)&(T[y]=@0)&(T[z]=@0)&(n=x+y+z)": eval golay "?msd_2 Ex Ey (RS[x]=@1)&(RS[y]=@1)&(n=x+y)": eval moser "?msd_4 An Ex Ey (MO[x]=@1)&(MO[y]=@1)&(n=x+2*y)":