( De jur împrejur existau porticuri care aveau o lungime de douăzeci şi cinci de coţi şi o adâncime de cinci coţi.)
Los arcos alrededor eran de veinticinco codos de largo, y cinco codos de ancho.