{"type":"rich","version":1.0,"title":"running C-Reduce","width":2478,"html":"<a href=\"https://asciinema.org/a/222218\" target=\"_blank\"><img src=\"https://asciinema.org/a/222218.png\" alt=\"running C-Reduce\" width=\"2478\"></a>","height":1272,"author_name":"ndesaulniers","author_url":"https://asciinema.org/~ndesaulniers","provider_url":"https://asciinema.org/","thumbnail_url":"https://asciinema.org/a/222218.png","thumbnail_width":2478,"thumbnail_height":1272,"provider_name":"asciinema"}