https://123dok.net/document/yev1jnd0-uniform-mixing-time-for-random-walk-lamplighter-graphs.html