A graph G covers a graph H if there exists a locally bijective homomorphism from G to H. We
deal with regular coverings in which this homomorphism is prescribed by an action of a …