The proof contains some strange bash commands, using & instead of &&: https://news.ycombinator.com/item?id=11610192