{"type":"rich","version":1.0,"title":null,"width":2190,"html":"<a href=\"https://asciinema.org/a/199188\" target=\"_blank\"><img src=\"https://asciinema.org/a/199188.png\" width=\"2190\"></a>","height":984,"author_name":"hausdorff","author_url":"https://asciinema.org/~hausdorff","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":984,"thumbnail_url":"https://asciinema.org/a/199188.png","thumbnail_width":2190}