.txt to .py