generated at
カライ/スモロデンスキー解