Title: Accelerated Software Trace Analysis, Revised Edition, Part 1