These are here in the full file.