but[8], tub[8], bat[6], tab[6], atu[6], aut[6], tau[6], uta[6],
bu[6], tu[5], ut[5], ba[4], au[4], at[3], ta[3],
