{"type":"rich","version":1.0,"title":"TLA+ REPL - Load custom modules","width":2132,"html":"<a href=\"https://asciinema.org/a/342884\" target=\"_blank\"><img src=\"https://asciinema.org/a/342884.png\" alt=\"TLA+ REPL - Load custom modules\" width=\"2132\"></a>","height":2456,"author_name":"lemmster","author_url":"https://asciinema.org/~lemmster","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":2456,"thumbnail_url":"https://asciinema.org/a/342884.png","thumbnail_width":2132}