Partial subgroup lattice of S
20
: relevant overgroups of Aut(Dode) giving 3-(20, 4, 1) designs
