Classification of K-type formulas for the Heisenberg ultrahyperbolic operator _s for SL(3,R) and tridiagonal determinants for local Heun functions - Toshihisa Kubo; Bent Ørsted (2021)