Sin embargo especificaron que cada placa de cemento del techo tenían cinco metros de ancho, 1,2 metros de largo y un grosor de ocho centímetros.