diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..4b5d77b1e552e039cd7fabfe491e040d9de8d0aa
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+*.o
+*.out
+latex/
+latex/*
diff --git a/example pdfs/example_basic.pdf b/example pdfs/example_basic.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..1081524decabadbfd1d0e719d9eb6ced9e602c3f
Binary files /dev/null and b/example pdfs/example_basic.pdf differ
diff --git a/example pdfs/example_concat_pushes.pdf b/example pdfs/example_concat_pushes.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..7f38cc2657e4d53f0c17ef26184b0bdc2bbf68ae
Binary files /dev/null and b/example pdfs/example_concat_pushes.pdf differ
diff --git a/example pdfs/example_no_circ_existent.pdf b/example pdfs/example_no_circ_existent.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..941df41ecb4d8f36f9083b83b779109e47609fda
Binary files /dev/null and b/example pdfs/example_no_circ_existent.pdf differ