KLEE uses 5 IP ranges covering a total of 2,048 IP addresses. The IPs span 1 country, including France. We identified 2 cities across 1 region—for example Montrouge and Jouy-le-Moutier.