prix[14], pint[7], trip[7], irrt[4],
nix[10], ixt[10], pin[6], tip[6], irr[3],
ix[9], xi[9], pi[5], in[2], ti[2],
