real-isolated-points-distro