They also took a bunch of rocks with them, which had to be accounted for. I have no idea what their exact calculations were like.