Do Treasury claims about a “typical” first-time buyer’s savings add up?

We’ve looked into the figures behind a tweet from the Treasury showing how the mini-Budget could benefit a hypothetical first-time buyer.Source