Lifts, derandomization, and diameters of Schreier graphs of Mealy automata. - Anton Malyshev; Igor Pak (Comb., 2017)