Here they are together: Allosaurus, Ornitholestes and Tyrannotitan. Which is biggest?