debugging Atkin-Lehner