{"type":"rich","version":1.0,"title":"@extra-map/is-submap","width":1785,"html":"<a href=\"https://asciinema.org/a/339025\" target=\"_blank\"><img alt=\"@extra-map/is-submap\" src=\"https://asciinema.org/a/339025.png\" width=\"1785\"></a>","height":568,"author_name":"wolfram77","author_url":"https://asciinema.org/~wolfram77","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":568,"thumbnail_url":"https://asciinema.org/a/339025.png","thumbnail_width":1785}