rips[7], birr[6], bris[6], sirr[4],
pis[6], psi[6], brr[5], bis[5], irr[3], sir[3],
pi[5], bi[4], si[2],