diff --git a/doc/report/main.pdf b/doc/report/main.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..623cbe4ad1919739253252d97ce044a83a16fcda
Binary files /dev/null and b/doc/report/main.pdf differ