{"type":"rich","version":1.0,"title":"SAT solver dies a slow death","width":3374,"height":2296,"html":"<a href=\"https://asciinema.org/a/760882\" target=\"_blank\"><img src=\"https://asciinema.org/a/760882.png\" alt=\"SAT solver dies a slow death\" width=\"3374\"></a>","author_name":"retrodev","author_url":"https://asciinema.org/~retrodev","provider_url":"https://asciinema.org/","thumbnail_width":3374,"thumbnail_url":"https://asciinema.org/a/760882.png","thumbnail_height":2296,"provider_name":"asciinema"}