{"type":"rich","version":1.0,"title":"@extra-boolean/eqv","width":1785,"html":"<a href=\"https://asciinema.org/a/337222\" target=\"_blank\"><img alt=\"@extra-boolean/eqv\" src=\"https://asciinema.org/a/337222.png\" width=\"1785\"></a>","height":536,"author_name":"wolfram77","author_url":"https://asciinema.org/~wolfram77","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":536,"thumbnail_url":"https://asciinema.org/a/337222.png","thumbnail_width":1785}