Lemma 7, n=5, radius 60: type-A_0 points with N>1: 1053 ; violations: 0
Lemma 7, n=6, radius 40: type-A_0 points with N>1: 442 ; violations: 0
Lemma 7, n=7, radius 40: type-A_0 points with N>1: 425 ; violations: 0
Lemma 7, n=8, radius 40: type-A_0 points with N>1: 406 ; violations: 0
Lemma 7, n=9, radius 30: type-A_0 points with N>1: 231 ; violations: 0
Lemma 7, n=10, radius 30: type-A_0 points with N>1: 226 ; violations: 0
Lemma 7, n=11, radius 30: type-A_0 points with N>1: 213 ; violations: 0
Lemma 7, n=12, radius 30: type-A_0 points with N>1: 212 ; violations: 0
Theorem 6 mechanism (full sector, length <= 100): type-A_0 geodesics with N even: 2901 ; end vertex != h_E(v): 0 ; distances of the end vertices of all type-A_0 geodesics: {1: 938, 3: 1050, 4: 469, 5: 446}
