Thanks for the link. Mentioned elsewhere that Wolfram's software was used live in filming to analyze the semagraphs. But, I missed the Wolfram blog post. Am going to see the movie again particularly for that sequence (plus the Jóhann Jóhannsson soundtrack floors me).