{"type":"rich","version":1.0,"title":"vim-smt2 can also format a solver's output","width":2478,"html":"<a href=\"https://asciinema.org/a/417084\" target=\"_blank\"><img src=\"https://asciinema.org/a/417084.png\" alt=\"vim-smt2 can also format a solver&#39;s output\" width=\"2478\"></a>","height":1208,"author_name":"balddenimhero","author_url":"https://asciinema.org/~balddenimhero","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1208,"thumbnail_url":"https://asciinema.org/a/417084.png","thumbnail_width":2478}