star-ribbed vaults (1000001403);