I didn’t look at their financial statements, but the article I read alluded to roughly $2B in aid being part of that calculus. Netted an average of over $4K per employee, with pilots mostly getting more than that average.