To that end , many of the elephants were especially large , often weighing in excess of nine tons .
Many of the elephants were very large , weighing more than nine tons .