{"type":"rich","version":1.0,"title":"Trail of Bits // Manticore // Ethereum Symbolic Execution","width":1179,"html":"<a href=\"https://asciinema.org/a/142996\" target=\"_blank\"><img src=\"https://asciinema.org/a/142996.png\" alt=\"Trail of Bits // Manticore // Ethereum Symbolic Execution\" width=\"1179\"></a>","height":824,"author_name":"mossberg","author_url":"https://asciinema.org/~mossberg","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":824,"thumbnail_url":"https://asciinema.org/a/142996.png","thumbnail_width":1179}