NSA breaks Russian PRNGs with neural networks??