Covering groups with subgroups

A group is covered by a collection of subgroups if it is the union of the collection. The intersection of an irredundant cover of n subgroups is known to have index bounded by a function of n, though in general the precise bound is not known. Here we confirm a claim of Tompkinson that the correct bound is 16 when n is 5. The proof depends on determining all the 'minimal' groups with an irredundant cover of five maximal subgroups.