adding out.txt for debugging