{"type":"rich","version":1.0,"title":"wafe function collapse with backtracking","width":1424,"html":"<a href=\"https://asciinema.org/a/1268886\" target=\"_blank\"><img src=\"https://asciinema.org/a/1268886.png\" alt=\"wafe function collapse with backtracking\" width=\"1424\"></a>","height":792,"author_name":"jrvieira","author_url":"https://asciinema.org/~jrvieira","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":792,"thumbnail_url":"https://asciinema.org/a/1268886.png","thumbnail_width":1424}