No total, foram usados cerca de

196 mil metros cúbicos de pedra na construção.