diff --git a/doc.pdf b/doc.pdf index 33f74e864b784828741203a4e1dd7a018c5ed05f..4c784481e80415d64ce252ae82eae2d8c39afbf6 100644 Binary files a/doc.pdf and b/doc.pdf differ