mux * uu * u * nuu * xu * * *uunuuuuuuu