Update file.txt

Generated file