AutomorphicGalois3