nix[10], xis[10], pin[6], pis[6], psi[6], ups[6], ins[3], uni[3], uns[3],
ix[9], xi[9], pi[5], in[2], si[2], ui[2], nu[2],
