Lancashire has a mostly comprehensive system with four state grammar schools. What's the size of the South Ribble school population?