removed .txt from RunCollatz