1: \begin{abstract} 

2: The $K$-type formulas of the space 

3: of $K$-finite solutions to the Heisenberg ultrahyperbolic equation

4: $\square_sf=0$

5: for the non-linear group $\wSL(3,\R)$ 

6: are classified. 

7: This completes a previous study of Kable 

8: for the linear group $SL(m,\R)$ in the case of $m=3$, as well as 

9: generalizes our earlier results on a certain second order differential operator.

10: As a by-product we also show several properties of certain

11: sequences $\{P_j(x;y)\}_{j=0}^\infty$ and $\{Q_j(x;y)\}_{j=0}^\infty$

12: of tridiagonal determinants, whose generating functions are given by

13: local Heun functions.

14: In particular, 

15: it is shown that 

16: these sequences satisfy

17: a certain arithmetic-combinatorial property, 

18: which we refer to as a \emph{palindromic property}.

19: We further show that 

20: classical sequences of

21: Cayley continuants  

22: $\{\Cay_j(x;y)\}_{j=0}^\infty$ 

23: and Krawtchouk polynomials

24: $\{\Cal{K}_j(x;y)\}_{j=0}^\infty$ 

25: also admit this property.

26: In the end a new proof of Sylvester's formula

27: for certain tridiagonal determinant $\Sylv(x;n)$ is provided

28: from a representation theory point of view.

29: \end{abstract}

30: