out.txt no longer needed.