These are/ files accomponying the paper "The Herzog-Schonheim conjecture for simple and symmetric groups" by M. Garonzi and L. Margolis