{"type":"rich","version":1.0,"title":"Demo – using KLEE","width":1179,"html":"<a href=\"https://asciinema.org/a/91306\" target=\"_blank\"><img alt=\"Demo – using KLEE\" src=\"https://asciinema.org/a/91306.png\" width=\"1179\"></a>","height":792,"author_name":"moyix","author_url":"https://asciinema.org/~moyix","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":792,"thumbnail_url":"https://asciinema.org/a/91306.png","thumbnail_width":1179}