Teachers retirement association retirement coverage provided for part-time BlueEarth school district teacher.