n=5: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=5: (1) descent terminates for all 1855 reachable points of radius <= 60.0 (max 36 shears) and ends on a vector of length lambda_type   OK
n=5: (2) T preserves reachability and type (383 images inside the disc), the shear along eta too (383), the reflection in the bisector negates the type (1855)   OK
n=6: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=6: (1) descent terminates for all 1905 reachable points of radius <= 60.0 (max 34 shears) and ends on a vector of length lambda_type   OK
n=6: (2) T preserves reachability and type (303 images inside the disc), the shear along eta too (303), the reflection in the bisector negates the type (1905)   OK
n=7: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=7: (1) descent terminates for all 1931 reachable points of radius <= 60.0 (max 32 shears) and ends on a vector of length lambda_type   OK
n=7: (2) T preserves reachability and type (251 images inside the disc), the shear along eta too (251), the reflection in the bisector negates the type (1931)   OK
n=8: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=8: (1) descent terminates for all 1925 reachable points of radius <= 60.0 (max 31 shears) and ends on a vector of length lambda_type   OK
n=8: (2) T preserves reachability and type (220 images inside the disc), the shear along eta too (220), the reflection in the bisector negates the type (1925)   OK
n=9: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=9: (1) descent terminates for all 1903 reachable points of radius <= 60.0 (max 31 shears) and ends on a vector of length lambda_type   OK
n=9: (2) T preserves reachability and type (194 images inside the disc), the shear along eta too (194), the reflection in the bisector negates the type (1903)   OK
n=10: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=10: (1) descent terminates for all 1907 reachable points of radius <= 60.0 (max 31 shears) and ends on a vector of length lambda_type   OK
n=10: (2) T preserves reachability and type (171 images inside the disc), the shear along eta too (171), the reflection in the bisector negates the type (1907)   OK
n=11: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=11: (1) descent terminates for all 1865 reachable points of radius <= 60.0 (max 30 shears) and ends on a vector of length lambda_type   OK
n=11: (2) T preserves reachability and type (155 images inside the disc), the shear along eta too (155), the reflection in the bisector negates the type (1865)   OK
n=12: (3) diagonals X_0X_(k+1): type k and length lambda_k   OK
n=12: (1) descent terminates for all 1883 reachable points of radius <= 60.0 (max 30 shears) and ends on a vector of length lambda_type   OK
n=12: (2) T preserves reachability and type (153 images inside the disc), the shear along eta too (153), the reflection in the bisector negates the type (1883)   OK
