{"type":"rich","version":1.0,"title":"Z3 issue #2784","width":1829,"html":"<a href=\"https://asciinema.org/a/285508\" target=\"_blank\"><img src=\"https://asciinema.org/a/285508.png\" alt=\"Z3 issue #2784\" width=\"1829\"></a>","height":1112,"author_name":"balddenimhero","author_url":"https://asciinema.org/~balddenimhero","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1112,"thumbnail_url":"https://asciinema.org/a/285508.png","thumbnail_width":1829}