£600,000,000, 150,000 pax = £4,000 - seems a bit high, or am I missing the point?
Also, govt financing doesn't work this way - the ATOL repatriation money comes from the industry levy so is already accounted for. Anything else would have to come out of some sort of central govt contingency reserve.