https://9lib.net/document/nzwwjklz-an-example-of-large-groups.html