Mayle, J., & Wang, T. (submitted). An effective open image theorem for products of principally polarized abelian varieties.