Principal polarizations on products of abelian varieties over finite fields | Synapse