{"type":"rich","version":1.0,"title":"pi + xorq verification duel — bare agent vs deterministic checker","width":3099,"html":"<a href=\"https://asciinema.org/a/1263041\" target=\"_blank\"><img src=\"https://asciinema.org/a/1263041.png\" alt=\"pi + xorq verification duel — bare agent vs deterministic checker\" width=\"3099\"></a>","height":1624,"author_name":"hussainsultan","author_url":"https://asciinema.org/~hussainsultan","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1624,"thumbnail_url":"https://asciinema.org/a/1263041.png","thumbnail_width":3099}