>>714068346
and for anyone who didn't watch the livestream, here's his actual numbers. I suppose it's possible they could have tweaked things a bit between then and now, but who knows