Symplectic large-N theory of topological heavy-fermion semiconductors