Fressian trace data format implemented.