¹⁵ A distância desde a entrada da porta até a extremidade do seu pórtico era de vinte e cinco metros.