ast.txt