Trace Encoding