An explicit trace formula for Brandt matrices

An. explicit formula is found for the traces of Hecke-Brandt operators which correspond to finite-dimensional representations of the groups of units of various orders in quaternion algebras over $\mathbf Q$, which are ramified over $\mathbf R$; it is not assumed that the divisors of the level which are relatively prime to the discriminant of the algebra are square-free.