Isogeny classes of abelian varieties over finite fields | Synapse