@misc{indiciaeff89a710393f,
  title = {Auto-correlation functions of Sato-Tate distributions and identities of symplectic characters},
  author = {Kyu-Hwan Lee and Se-jin Oh},
  year = {2020},
  url = {https://arxiv.org/abs/2006.06116},
  note = {Source identifier: 2006.06116}
}