diff --git a/data/execution-trace.pdf b/data/execution-trace.pdf
new file mode 100644
index 00000000..5b97cd45
Binary files /dev/null and b/data/execution-trace.pdf differ