Bubboloni–Praeger–Spiga conjecture for the normal covering number of alternating groups
Normal covering conjecture for AnA_nAn.