Trace Logic export