https://123dok.net/document/y8gp93nr-random-products-automorphisms-heisenberg-nilmanifolds-weil-s-representation.html