FWIW, I made a bit of an error in my very quick analysis. See: https://news.ycombinator.com/item?id=50380581