pikt[10], kirr[7], trip[7], irrt[4],
pik[9], kid[6], dip[6], kir[6], tip[6], dir[3], irr[3],
pi[5], ti[2],
