polished atkin-lehner.sage output format