Integrated population registration system (IPRS) a one stop shop for all the population data. IPRS is the single source of truth for population of all Kenyan and foreign resident in Kenya