Statistics for Arena gneiss and kandy gneiss - a proposed subdivision of the highland series around kandy, and its significance