DEREKI uses 1 IP ranges covering a total of 512 IP addresses. The IPs span 1 country, including Kenya.