typt[16], phat[8], patt[7], tapt[7], watt[6], hatt[5],
typ[15], pah[7], wat[5], hat[4], tat[3],
ah[3], ha[3],