42,000mの岩が砕石され、そのうち、14,000mが船渠に用いられた。