diff --git a/latex/documentation/hdp_documentation.aux b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.aux similarity index 100% rename from latex/documentation/hdp_documentation.aux rename to latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.aux diff --git a/latex/documentation/hdp_documentation.bbl b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.bbl similarity index 100% rename from latex/documentation/hdp_documentation.bbl rename to latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.bbl diff --git a/latex/documentation/hdp_documentation.blg b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.blg similarity index 87% rename from latex/documentation/hdp_documentation.blg rename to latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.blg index 860a4ae..d421ac6 100644 --- a/latex/documentation/hdp_documentation.blg +++ b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.blg @@ -1,11 +1,11 @@ This is BibTeX, Version 0.99d (TeX Live 2019/Arch Linux) Capacity: max_strings=100000, hash_size=100000, hash_prime=85009 -The top-level auxiliary file: hdp_documentation.aux +The top-level auxiliary file: a_history_of_the_domino_problem_score.aux The style file: unsrt.bst Database file #1: hdp.bib You've used 6 entries, 1791 wiz_defined-function locations, - 492 strings with 4437 characters, + 492 strings with 4477 characters, and the built_in function-call counts, 1130 in all, are: = -- 106 > -- 32 diff --git a/latex/documentation/hdp_documentation.log b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.log similarity index 99% rename from latex/documentation/hdp_documentation.log rename to latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.log index ba88a01..f80acf0 100644 --- a/latex/documentation/hdp_documentation.log +++ b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.log @@ -1,9 +1,9 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Arch Linux) (preloaded format=pdflatex 2019.9.6) 6 DEC 2019 20:54 +This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Arch Linux) (preloaded format=pdflatex 2019.9.6) 9 DEC 2019 11:11 entering extended mode restricted \write18 enabled. %&-line parsing enabled. -**hdp_documentation.tex -(./hdp_documentation.tex +**a_history_of_the_domino_problem_score.tex +(./a_history_of_the_domino_problem_score.tex LaTeX2e <2018-12-01> (/usr/share/texmf-dist/tex/latex/base/letter.cls Document Class: letter 2014/09/29 v1.2z Standard LaTeX document class @@ -509,8 +509,8 @@ Package: enumitem 2019/02/04 v3.8 Customized lists \enit@count@id=\count125 \enitdp@description=\count126 ) -(./hdp_documentation.aux) -\openout1 = `hdp_documentation.aux'. +(./a_history_of_the_domino_problem_score.aux) +\openout1 = `a_history_of_the_domino_problem_score.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 72. LaTeX Font Info: ... okay on input line 72. @@ -526,7 +526,8 @@ LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 72. LaTeX Font Info: ... okay on input line 72. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 72. LaTeX Font Info: Try loading font information for TS1+cmr on input line 72. - (/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd + +(/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: ... okay on input line 72. @@ -664,7 +665,7 @@ File: selects/maquinalit.jpg Graphic file (type jpg) Package pdftex.def Info: selects/maquinalit.jpg used on input line 141. (pdftex.def) Requested size: 347.4297pt x 231.61348pt. - [3 <./selects/maquinalit.jpg>] (./hdp_documentation.bbl) + [3 <./selects/maquinalit.jpg>] (./a_history_of_the_domino_problem_score.bbl) Underfull \hbox (badness 10000) in paragraph at lines 216--220 [] @@ -4779,27 +4780,32 @@ Package pdftex.def Info: ../jaendel/jaendel_rao_score.pdf , page106 used on inp ut line 277. (pdftex.def) Requested size: 597.53416pt x 845.08372pt. -[240 <../jaendel/jaendel_rao_score.pdf>] (./hdp_documentation.aux) ) +[240 <../jaendel/jaendel_rao_score.pdf>] +(./a_history_of_the_domino_problem_score.aux) + +LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. + + ) Here is how much of TeX's memory you used: 10520 strings out of 492623 - 195356 string characters out of 6135670 - 262037 words of memory out of 5000000 + 195576 string characters out of 6135670 + 262039 words of memory out of 5000000 14261 multiletter control sequences out of 15000+600000 6590 words of font info for 25 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 41i,18n,72p,1607b,521s stack positions out of 5000i,500n,10000p,200000b,80000s -{/usr/share -/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}< -/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb> -Output written on hdp_documentation.pdf (240 pages, 44375825 bytes). + 41i,18n,72p,1697b,521s stack positions out of 5000i,500n,10000p,200000b,80000s +{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} +Output written on a_history_of_the_domino_problem_score.pdf (240 pages, 4437591 +8 bytes). PDF statistics: 1650 PDF objects out of 1728 (max. 8388607) 853 compressed objects within 9 object streams diff --git a/latex/documentation/a_history_of_the_domino_problem_score.pdf b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.pdf similarity index 99% rename from latex/documentation/a_history_of_the_domino_problem_score.pdf rename to latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.pdf index 553ca27..5e8eb1c 100644 Binary files a/latex/documentation/a_history_of_the_domino_problem_score.pdf and b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.pdf differ diff --git a/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.synctex.gz b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.synctex.gz new file mode 100644 index 0000000..1a9e67e Binary files /dev/null and b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.synctex.gz differ diff --git a/latex/documentation/hdp_documentation.tex b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.tex similarity index 92% rename from latex/documentation/hdp_documentation.tex rename to latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.tex index c409240..bf15f05 100644 --- a/latex/documentation/hdp_documentation.tex +++ b/latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.tex @@ -211,7 +211,7 @@ ca 2015 & Jaendel \& Rao & 11 tiles with an incredible computer-assisted proof t \bigskip -A special thanks to: Alice Koegel, Ana Filipovic\textsuperscript{$*$}, Angela Butterstein\textsuperscript{†}, Anita Carey-Yard\textsuperscript{†}, Aykan Safoğlu\textsuperscript{$*$}, Bjoern Gottstein, Charis von Ristok\textsuperscript{†}, Christof Pruss, Daniela Kern-Michler\textsuperscript{§}, David Frühauf\textsuperscript{$*$}, David Mathews\textsuperscript{$*$}, Denise Helene Sumi\textsuperscript{$*$}, Edith Lázár\textsuperscript{$*$}, Elena Morena Weber\textsuperscript{$*$}, Elke aus dem Moore\textsuperscript{†}, Elmar Mellert, Helmut Dietz\textsuperscript{†}, Irasema Fernandez, Johanna Markert\textsuperscript{$*$}, Julian Hartbaum\textsuperscript{‡}, Konstantin Lom\textsuperscript{†}, Leon Müllner\textsuperscript{$*$}, Luise Boege\textsuperscript{$*$}, Lukas Ludwig\textsuperscript{$*$}, Luke Wilkins\textsuperscript{$*$}, Marieanne Roth\textsuperscript{†}, Mathias Irmsher\textsuperscript{‡}, Mitra Wakil\textsuperscript{$*$}, Patrizia Bach\textsuperscript{$*$}, Philip Mecke\textsuperscript{$*$}, Robert Blatt\textsuperscript{$*$}, Sander Wickersheim\textsuperscript{†}, Savyon\textsuperscript{$*$}, Silke Pflüger\textsuperscript{†}, Sílvia das Fadas\textsuperscript{$*$}, Simar Preet Kaur\textsuperscript{$*$}, Sonja Flury\textsuperscript{†}, Sophia Guggenberger\textsuperscript{$*$}, Sophie-Charlotte Thieroff\textsuperscript{†}, Stephan Martens\textsuperscript{‡}, Susanna Flock\textsuperscript{$*$}, Tom Rosenberg\textsuperscript{$*$}, Vincenzo Talluto\textsuperscript{§}, Yuval Shenhar\textsuperscript{$*$} +A special thanks to: Alice Koegel, Ana Filipovic\textsuperscript{$*$}, Angela Butterstein\textsuperscript{†}, Anita Carey-Yard\textsuperscript{†}, Aykan Safoğlu\textsuperscript{$*$}, Bjoern Gottstein, Charis von Ristok\textsuperscript{†}, Christof Pruss, Daniela Kern-Michler\textsuperscript{§}, David Frühauf\textsuperscript{$*$}, David Mathews\textsuperscript{$*$}, Deborah Walker, Denise Helene Sumi\textsuperscript{$*$}, Didier Aschour, Edith Lázár\textsuperscript{$*$}, Elena Morena Weber\textsuperscript{$*$}, Elke aus dem Moore\textsuperscript{†}, Elmar Mellert, Florian Hoelscher, Gaetan Borot, Helmut Dietz\textsuperscript{†}, Irasema Fernandez, Johanna Markert\textsuperscript{$*$}, Julian Hartbaum\textsuperscript{‡}, Konstantin Lom\textsuperscript{†}, Leon Müllner\textsuperscript{$*$}, Luise Boege\textsuperscript{$*$}, Lukas Ludwig\textsuperscript{$*$}, Luke Wilkins\textsuperscript{$*$}, Marieanne Roth\textsuperscript{†}, Mathias Irmsher\textsuperscript{‡}, Mitra Wakil\textsuperscript{$*$}, Patrizia Bach\textsuperscript{$*$}, Philip Mecke\textsuperscript{$*$}, Robert Blatt\textsuperscript{$*$}, Sander Wickersheim\textsuperscript{†}, Savyon\textsuperscript{$*$}, Silke Pflüger\textsuperscript{†}, Sílvia das Fadas\textsuperscript{$*$}, Simar Preet Kaur\textsuperscript{$*$}, Sonja Flury\textsuperscript{†}, Sophia Guggenberger\textsuperscript{$*$}, Sophie-Charlotte Thieroff\textsuperscript{†}, Stephan Martens\textsuperscript{‡}, Susanna Flock\textsuperscript{$*$}, Tom Rosenberg\textsuperscript{$*$}, Vincenzo Talluto\textsuperscript{§}, and Yuval Shenhar\textsuperscript{$*$}. * denotes contemporary resident at Akademie Schloss Solitude\\ † denotes Akademie Schloss Solitude staff\\ diff --git a/latex/documentation/hdp.bib b/latex/a_history_of_the_domino_problem/hdp.bib similarity index 100% rename from latex/documentation/hdp.bib rename to latex/a_history_of_the_domino_problem/hdp.bib diff --git a/latex/documentation/selects/._ammann.tiff b/latex/a_history_of_the_domino_problem/selects/._ammann.tiff similarity index 100% rename from latex/documentation/selects/._ammann.tiff rename to latex/a_history_of_the_domino_problem/selects/._ammann.tiff diff --git a/latex/documentation/selects/._jaendal.png b/latex/a_history_of_the_domino_problem/selects/._jaendal.png similarity index 100% rename from latex/documentation/selects/._jaendal.png rename to latex/a_history_of_the_domino_problem/selects/._jaendal.png diff --git a/latex/documentation/selects/._kari.tiff b/latex/a_history_of_the_domino_problem/selects/._kari.tiff similarity index 100% rename from latex/documentation/selects/._kari.tiff rename to latex/a_history_of_the_domino_problem/selects/._kari.tiff diff --git a/latex/documentation/selects/._penrose.tiff b/latex/a_history_of_the_domino_problem/selects/._penrose.tiff similarity index 100% rename from latex/documentation/selects/._penrose.tiff rename to latex/a_history_of_the_domino_problem/selects/._penrose.tiff diff --git a/latex/documentation/selects/._questions.tiff b/latex/a_history_of_the_domino_problem/selects/._questions.tiff similarity index 100% rename from latex/documentation/selects/._questions.tiff rename to latex/a_history_of_the_domino_problem/selects/._questions.tiff diff --git a/latex/documentation/selects/._robinson.tiff b/latex/a_history_of_the_domino_problem/selects/._robinson.tiff similarity index 100% rename from latex/documentation/selects/._robinson.tiff rename to latex/a_history_of_the_domino_problem/selects/._robinson.tiff diff --git a/latex/documentation/selects/ammann.jpg b/latex/a_history_of_the_domino_problem/selects/ammann.jpg similarity index 100% rename from latex/documentation/selects/ammann.jpg rename to latex/a_history_of_the_domino_problem/selects/ammann.jpg diff --git a/latex/documentation/selects/ammann.xcf b/latex/a_history_of_the_domino_problem/selects/ammann.xcf similarity index 100% rename from latex/documentation/selects/ammann.xcf rename to latex/a_history_of_the_domino_problem/selects/ammann.xcf diff --git a/latex/documentation/selects/berger.jpg b/latex/a_history_of_the_domino_problem/selects/berger.jpg similarity index 100% rename from latex/documentation/selects/berger.jpg rename to latex/a_history_of_the_domino_problem/selects/berger.jpg diff --git a/latex/documentation/selects/berger.xcf b/latex/a_history_of_the_domino_problem/selects/berger.xcf similarity index 100% rename from latex/documentation/selects/berger.xcf rename to latex/a_history_of_the_domino_problem/selects/berger.xcf diff --git a/latex/documentation/selects/discos.png b/latex/a_history_of_the_domino_problem/selects/discos.png similarity index 100% rename from latex/documentation/selects/discos.png rename to latex/a_history_of_the_domino_problem/selects/discos.png diff --git a/latex/documentation/selects/jaendel.jpg b/latex/a_history_of_the_domino_problem/selects/jaendel.jpg similarity index 100% rename from latex/documentation/selects/jaendel.jpg rename to latex/a_history_of_the_domino_problem/selects/jaendel.jpg diff --git a/latex/documentation/selects/jaendel.xcf b/latex/a_history_of_the_domino_problem/selects/jaendel.xcf similarity index 100% rename from latex/documentation/selects/jaendel.xcf rename to latex/a_history_of_the_domino_problem/selects/jaendel.xcf diff --git a/latex/documentation/selects/kari.jpg b/latex/a_history_of_the_domino_problem/selects/kari.jpg similarity index 100% rename from latex/documentation/selects/kari.jpg rename to latex/a_history_of_the_domino_problem/selects/kari.jpg diff --git a/latex/documentation/selects/kari.xcf b/latex/a_history_of_the_domino_problem/selects/kari.xcf similarity index 100% rename from latex/documentation/selects/kari.xcf rename to latex/a_history_of_the_domino_problem/selects/kari.xcf diff --git a/latex/documentation/selects/maquina.png b/latex/a_history_of_the_domino_problem/selects/maquina.png similarity index 100% rename from latex/documentation/selects/maquina.png rename to latex/a_history_of_the_domino_problem/selects/maquina.png diff --git a/latex/documentation/selects/maquinalit.jpg b/latex/a_history_of_the_domino_problem/selects/maquinalit.jpg similarity index 100% rename from latex/documentation/selects/maquinalit.jpg rename to latex/a_history_of_the_domino_problem/selects/maquinalit.jpg diff --git a/latex/documentation/selects/maquinalit.png b/latex/a_history_of_the_domino_problem/selects/maquinalit.png similarity index 100% rename from latex/documentation/selects/maquinalit.png rename to latex/a_history_of_the_domino_problem/selects/maquinalit.png diff --git a/latex/documentation/selects/maquinalit.xcf b/latex/a_history_of_the_domino_problem/selects/maquinalit.xcf similarity index 100% rename from latex/documentation/selects/maquinalit.xcf rename to latex/a_history_of_the_domino_problem/selects/maquinalit.xcf diff --git a/latex/documentation/selects/oracles.jpg b/latex/a_history_of_the_domino_problem/selects/oracles.jpg similarity index 100% rename from latex/documentation/selects/oracles.jpg rename to latex/a_history_of_the_domino_problem/selects/oracles.jpg diff --git a/latex/documentation/selects/oraclesannotated.jpg b/latex/a_history_of_the_domino_problem/selects/oraclesannotated.jpg similarity index 100% rename from latex/documentation/selects/oraclesannotated.jpg rename to latex/a_history_of_the_domino_problem/selects/oraclesannotated.jpg diff --git a/latex/documentation/selects/oraclesannotated.xcf b/latex/a_history_of_the_domino_problem/selects/oraclesannotated.xcf similarity index 100% rename from latex/documentation/selects/oraclesannotated.xcf rename to latex/a_history_of_the_domino_problem/selects/oraclesannotated.xcf diff --git a/latex/documentation/selects/penrose.jpg b/latex/a_history_of_the_domino_problem/selects/penrose.jpg similarity index 100% rename from latex/documentation/selects/penrose.jpg rename to latex/a_history_of_the_domino_problem/selects/penrose.jpg diff --git a/latex/documentation/selects/penrose.xcf b/latex/a_history_of_the_domino_problem/selects/penrose.xcf similarity index 100% rename from latex/documentation/selects/penrose.xcf rename to latex/a_history_of_the_domino_problem/selects/penrose.xcf diff --git a/latex/documentation/selects/robinson.jpg b/latex/a_history_of_the_domino_problem/selects/robinson.jpg similarity index 100% rename from latex/documentation/selects/robinson.jpg rename to latex/a_history_of_the_domino_problem/selects/robinson.jpg diff --git a/latex/documentation/selects/robinson.xcf b/latex/a_history_of_the_domino_problem/selects/robinson.xcf similarity index 100% rename from latex/documentation/selects/robinson.xcf rename to latex/a_history_of_the_domino_problem/selects/robinson.xcf diff --git a/latex/documentation/hdp_documentation.pdf b/latex/documentation/hdp_documentation.pdf deleted file mode 100644 index 553ca27..0000000 Binary files a/latex/documentation/hdp_documentation.pdf and /dev/null differ diff --git a/latex/documentation/hdp_documentation.synctex.gz b/latex/documentation/hdp_documentation.synctex.gz deleted file mode 100644 index a7badfd..0000000 Binary files a/latex/documentation/hdp_documentation.synctex.gz and /dev/null differ diff --git a/latex/documentation/texput.log b/latex/documentation/texput.log deleted file mode 100644 index 8e2b03d..0000000 --- a/latex/documentation/texput.log +++ /dev/null @@ -1,21 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Arch Linux) (preloaded format=pdflatex 2019.9.6) 26 NOV 2019 11:07 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**hdp.tex - -! Emergency stop. -<*> hdp.tex - -*** (job aborted, file error in nonstop mode) - - -Here is how much of TeX's memory you used: - 3 strings out of 492623 - 109 string characters out of 6135670 - 56958 words of memory out of 5000000 - 4018 multiletter control sequences out of 15000+600000 - 3640 words of font info for 14 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 0i,0n,0p,1b,6s stack positions out of 5000i,500n,10000p,200000b,80000s -! ==> Fatal error occurred, no output PDF file produced!