How did they lift the heavy stones?