Sequence binary file format tested