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