Now outputs a sequence_lengths.txt