{"type":"rich","version":1.0,"title":"Sometimes DFAs are simpler than regexes","width":1742,"html":"<a href=\"https://asciinema.org/a/94359\" target=\"_blank\"><img alt=\"Sometimes DFAs are simpler than regexes\" src=\"https://asciinema.org/a/94359.png\" width=\"1742\"></a>","height":1112,"author_name":"ij","author_url":"https://asciinema.org/~ij","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1112,"thumbnail_url":"https://asciinema.org/a/94359.png","thumbnail_width":1742}