diff --git a/examples/sampleOutput/z3Transform/seqNum.txt b/examples/sampleOutput/z3Transform/seqNum.txt
new file mode 100644
index 00000000..5c89c208
--- /dev/null
+++ b/examples/sampleOutput/z3Transform/seqNum.txt
@@ -0,0 +1,15 @@
+10803
+10642
+10642
+10803
+10642
+10723
+10723
+10642
+11370
+10642
+10642
+10642
+10805
+10723
+11127