DiDi Global Inc. (DIDIY): financials from its own SEC filings