Counting level 1 automorphic representations for anistropic F4
Conjectural formula for level 1 automorphic representations with Sato-Tate group F4