files .txt in domjudge