prix[14], pinn[7], pint[7], trip[7], rinn[4], ritt[4],
nix[10], ixt[10], pin[6], tip[6],
ix[9], xi[9], pi[5], in[2], ti[2],
