{"type":"rich","version":1.0,"title":"SeaHorn demo","width":1684,"html":"<a href=\"https://asciinema.org/a/261355\" target=\"_blank\"><img src=\"https://asciinema.org/a/261355.png\" alt=\"SeaHorn demo\" width=\"1684\"></a>","height":1080,"author_name":"kuhar","author_url":"https://asciinema.org/~kuhar","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1080,"thumbnail_url":"https://asciinema.org/a/261355.png","thumbnail_width":1684}