encoded file format