Splitting a very large text file into smaller ones