{"type":"rich","version":1.0,"title":"Manticore-verifier micro tutorial","width":2045,"html":"<a href=\"https://asciinema.org/a/xd0XYe6EqHCibae0RP6c7sJVE\" target=\"_blank\"><img src=\"https://asciinema.org/a/xd0XYe6EqHCibae0RP6c7sJVE.png\" alt=\"Manticore-verifier micro tutorial\" width=\"2045\"></a>","height":1112,"author_name":"feliam","author_url":"https://asciinema.org/~feliam","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1112,"thumbnail_url":"https://asciinema.org/a/xd0XYe6EqHCibae0RP6c7sJVE.png","thumbnail_width":2045}