diff --git a/papers/CasperTFG/.DS_Store b/papers/CasperTFG/.DS_Store deleted file mode 100644 index 82c0810..0000000 Binary files a/papers/CasperTFG/.DS_Store and /dev/null differ diff --git a/papers/CasperTFG/CasperTFG.aux b/papers/CasperTFG/CasperTFG.aux deleted file mode 100644 index 5249853..0000000 --- a/papers/CasperTFG/CasperTFG.aux +++ /dev/null @@ -1,28 +0,0 @@ -\relax -\citation{lamport_1998} -\citation{nakamoto} -\citation{paxos} -\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Comparing Traditional Consensus to Blockchain Consensus}{1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Overview of the Work Presented}{2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Consensus Safety Proof}{2}} -\@writefile{toc}{\contentsline {section}{\numberline {2}Casper the Friendly Binary Consensus}{3}} -\@writefile{toc}{\contentsline {section}{\numberline {3}Casper the Friendly Ghost}{6}} -\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces The Greedy Heaviest-Observed Sub-tree Fork-choice rule, $\mathcal {E}$\relax }}{7}} -\@writefile{toc}{\contentsline {section}{\numberline {4}A Simple Safety Oracle}{8}} -\@writefile{loa}{\contentsline {algocf}{\numberline {2}{\ignorespaces The ``Clique Oracle'', $S_t$\relax }}{10}} -\@writefile{toc}{\contentsline {section}{\numberline {5}Subjective Fault Tolerance Thresholds}{10}} -\@writefile{toc}{\contentsline {section}{\numberline {6}Casper the Friendly Ghost with Validator Rotation}{11}} -\@writefile{toc}{\contentsline {section}{\numberline {7}Liveness Considerations}{11}} -\@writefile{toc}{\contentsline {section}{\numberline {8}Experimental Observations}{13}} -\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A Binary consensus protocol execution. Dotted lines are messages included in the justification of the later message. The label on the nodes represents the estimate of the message. A message is coloured if it has achieved some amount of Byzantine fault tolerant estimate safety, accoring to a clique oracle given its justification. The darker the colour, the more faults are tolerated by the estimate\relax }}{13}} -\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Blockchain protocol execution with 3 validators, $v_0, v_1, v_2$. Each node labeled $0$ is the first message from that validator, and the nodes verically aligned above each validator represent messages made by that validator. Dotted black lines are messages included in the justification of the later message. Blue lines represent the forkchoices of the validators given by their latest blocks. Solid grey lines are prevblock pointers (that aren't blue because they are no longer the validator's forkchoice). The red line is the result of applying GHOST to the set of messages displayed here.\relax }}{14}} -\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces In this execution of the blockchain consensus protocol, we observe some safe blocks. They are colour coded the same way as in the earlier, however this time they represent the blocks that are seen to be safe from the view that includes all of the nodes. In contrast, in the binary consensus we displayed safety that was detected locally.\relax }}{14}} -\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Finally, in this execution of the blockchain consensus protocol where the validators are able to pass blocks around in a ``round-robin'' configuration, we observe the $\mathcal {O}(1)$ messages received per (finalized) block. This is possible because each block contributes to the consensus safety of many blocks.\relax }}{15}} -\bibstyle{naturemag} -\bibdata{ethereum} -\bibcite{lamport_1998}{1} -\bibcite{nakamoto}{2} -\bibcite{paxos}{3} -\@writefile{toc}{\contentsline {section}{\numberline {9}Conclusion}{16}} -\@writefile{toc}{\contentsline {section}{\numberline {10}Acknowledgements}{16}} diff --git a/papers/CasperTFG/CasperTFG.bbl b/papers/CasperTFG/CasperTFG.bbl deleted file mode 100644 index f4e84b7..0000000 --- a/papers/CasperTFG/CasperTFG.bbl +++ /dev/null @@ -1,25 +0,0 @@ -\begin{thebibliography}{1} -\expandafter\ifx\csname url\endcsname\relax - \def\url#1{\texttt{#1}}\fi -\expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi -\providecommand{\bibinfo}[2]{#2} -\providecommand{\eprint}[2][]{\url{#2}} - -\bibitem{lamport_1998} -\bibinfo{author}{Lamport, L.} -\newblock \bibinfo{title}{The part-time parliament}. -\newblock \emph{\bibinfo{journal}{ACM Transactions on Computer Systems}} - \textbf{\bibinfo{volume}{16}}, \bibinfo{pages}{133–169} - (\bibinfo{year}{1998}). - -\bibitem{nakamoto} -\bibinfo{author}{Nakamoto, S.} -\newblock \bibinfo{title}{Bitcoin: A peer-to-peer electronic cash systems} - (\bibinfo{year}{2008}). -\newblock \urlprefix\url{https://bitcoin.org/bitcoin.pdf}. - -\bibitem{paxos} -\bibinfo{title}{Paxos made moderately complex}. -\newblock \urlprefix\url{http://paxos.systems/}. - -\end{thebibliography} diff --git a/papers/CasperTFG/CasperTFG.blg b/papers/CasperTFG/CasperTFG.blg deleted file mode 100644 index df31a5c..0000000 --- a/papers/CasperTFG/CasperTFG.blg +++ /dev/null @@ -1,46 +0,0 @@ -This is BibTeX, Version 0.99d (TeX Live 2017) -Capacity: max_strings=100000, hash_size=100000, hash_prime=85009 -The top-level auxiliary file: CasperTFG.aux -The style file: naturemag.bst -Database file #1: ethereum.bib -You've used 3 entries, - 2348 wiz_defined-function locations, - 992 strings with 9001 characters, -and the built_in function-call counts, 764 in all, are: -= -- 47 -> -- 9 -< -- 0 -+ -- 5 -- -- 2 -* -- 69 -:= -- 85 -add.period$ -- 8 -call.type$ -- 3 -change.case$ -- 3 -chr.to.int$ -- 0 -cite$ -- 3 -duplicate$ -- 69 -empty$ -- 91 -format.name$ -- 2 -if$ -- 157 -int.to.chr$ -- 0 -int.to.str$ -- 3 -missing$ -- 14 -newline$ -- 22 -num.names$ -- 2 -pop$ -- 24 -preamble$ -- 1 -purify$ -- 0 -quote$ -- 0 -skip$ -- 22 -stack$ -- 0 -substring$ -- 27 -swap$ -- 54 -text.length$ -- 0 -text.prefix$ -- 0 -top$ -- 0 -type$ -- 0 -warning$ -- 0 -while$ -- 3 -width$ -- 4 -write$ -- 35 diff --git a/papers/CasperTFG/CasperTFG.log b/papers/CasperTFG/CasperTFG.log deleted file mode 100644 index 653f4a1..0000000 --- a/papers/CasperTFG/CasperTFG.log +++ /dev/null @@ -1,1113 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.5.23) 1 NOV 2017 14:35 -entering extended mode - \write18 enabled. - %&-line parsing enabled. -**CasperTFG -(./CasperTFG.tex -LaTeX2e <2017-04-15> -Babel <3.10> and hyphenation patterns for 84 language(s) loaded. -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/article.cls -Document Class: article 2014/09/29 v1.4h Standard LaTeX document class -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/size10.clo -File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option) -) -\c@part=\count79 -\c@section=\count80 -\c@subsection=\count81 -\c@subsubsection=\count82 -\c@paragraph=\count83 -\c@subparagraph=\count84 -\c@figure=\count85 -\c@table=\count86 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks14 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2017/04/14 v1.1b Standard LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 2016/01/03 v1.10 sin cos tan (DPC) -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg -File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration -) -Package graphics Info: Driver file: pdftex.def on input line 99. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def -File: pdftex.def 2017/01/12 v0.06k Graphics/color for pdfTeX - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count87 -)) -\Gin@req@height=\dimen103 -\Gin@req@width=\dimen104 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2015/03/04 v2.20.2 -\thm@style=\toks15 -\thm@bodyfont=\toks16 -\thm@headfont=\toks17 -\thm@notefont=\toks18 -\thm@headpunct=\toks19 -\thm@preskip=\skip43 -\thm@postskip=\skip44 -\thm@headsep=\skip45 -\dth@everypar=\toks20 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2016/11/05 v2.16a AMS math features -\@mathmargin=\skip46 - -For additional information on amsmath, use the `?' option. -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 AMS text - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks21 -\ex@=\dimen105 -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen106 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 2016/03/08 v2.02 operator names -) -\inf@bad=\count88 -LaTeX Info: Redefining \frac on input line 213. -\uproot@=\count89 -\leftroot@=\count90 -LaTeX Info: Redefining \overline on input line 375. -\classnum@=\count91 -\DOTSCASE@=\count92 -LaTeX Info: Redefining \ldots on input line 472. -LaTeX Info: Redefining \dots on input line 475. -LaTeX Info: Redefining \cdots on input line 596. -\Mathstrutbox@=\box26 -\strutbox@=\box27 -\big@size=\dimen107 -LaTeX Font Info: Redeclaring font encoding OML on input line 712. -LaTeX Font Info: Redeclaring font encoding OMS on input line 713. -\macc@depth=\count93 -\c@MaxMatrixCols=\count94 -\dotsspace@=\muskip10 -\c@parentequation=\count95 -\dspbrk@lvl=\count96 -\tag@help=\toks22 -\row@=\count97 -\column@=\count98 -\maxfields@=\count99 -\andhelp@=\toks23 -\eqnshift@=\dimen108 -\alignsep@=\dimen109 -\tagshift@=\dimen110 -\tagwidth@=\dimen111 -\totwidth@=\dimen112 -\lineht@=\dimen113 -\@envbody=\toks24 -\multlinegap=\skip47 -\multlinetaggap=\skip48 -\mathdisplay@stack=\toks25 -LaTeX Info: Redefining \[ on input line 2817. -LaTeX Info: Redefining \] on input line 2818. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mathtools.sty -Package: mathtools 2015/11/12 v1.18 mathematical typesetting tools - -(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/calc.sty -Package: calc 2014/10/28 v4.3 Infix arithmetic (KKT,FJ) -\calc@Acount=\count100 -\calc@Bcount=\count101 -\calc@Adimen=\dimen114 -\calc@Bdimen=\dimen115 -\calc@Askip=\skip49 -\calc@Bskip=\skip50 -LaTeX Info: Redefining \setlength on input line 80. -LaTeX Info: Redefining \addtolength on input line 81. -\calc@Ccount=\count102 -\calc@Cskip=\skip51 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mhsetup.sty -Package: mhsetup 2010/01/21 v1.2a programming setup (MH) -) -LaTeX Info: Thecontrolsequence`\('isalreadyrobust on input line 129. -LaTeX Info: Thecontrolsequence`\)'isalreadyrobust on input line 129. -LaTeX Info: Thecontrolsequence`\['isalreadyrobust on input line 129. -LaTeX Info: Thecontrolsequence`\]'isalreadyrobust on input line 129. -\g_MT_multlinerow_int=\count103 -\l_MT_multwidth_dim=\dimen116 -\origjot=\skip52 -\l_MT_shortvdotswithinadjustabove_dim=\dimen117 -\l_MT_shortvdotswithinadjustbelow_dim=\dimen118 -\l_MT_above_intertext_sep=\dimen119 -\l_MT_below_intertext_sep=\dimen120 -\l_MT_above_shortintertext_sep=\dimen121 -\l_MT_below_shortintertext_sep=\dimen122 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2013/01/14 v3.01 AMS font symbols - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 106. -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty -Package: tikz-cd 2014/10/30 v0.9e Commutative diagrams with tikz - -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te -x -\pgfutil@everybye=\toks26 -\pgfutil@tempdima=\dimen123 -\pgfutil@tempdimb=\dimen124 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li -sts.tex)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box28 -(/usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex -Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31) -)) -Package: pgf 2015/08/07 v3.0.1a (rcs-revision 1.15) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks27 -\pgfkeys@temptoks=\toks28 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c -ode.tex -\pgfkeys@tmptoks=\toks29 -)) -\pgf@x=\dimen125 -\pgf@y=\dimen126 -\pgf@xa=\dimen127 -\pgf@ya=\dimen128 -\pgf@xb=\dimen129 -\pgf@yb=\dimen130 -\pgf@xc=\dimen131 -\pgf@yc=\dimen132 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count104 -\c@pgf@countb=\count105 -\c@pgf@countc=\count106 -\c@pgf@countd=\count107 -\t@pgf@toka=\toks30 -\t@pgf@tokb=\toks31 -\t@pgf@tokc=\toks32 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Driver file for pgf: pgfsys-pdftex.def - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d -ef -File: pgfsys-pdftex.def 2014/10/11 (rcs-revision 1.35) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p -df.def -File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13) -))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath. -code.tex -File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9) -\pgfsyssoftpath@smallbuffer@items=\count108 -\pgfsyssoftpath@bigbuffer@items=\count109 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol. -code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) (/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg -File: color.cfg 2016/01/02 v1.6 sample color configuration -) -Package xcolor Info: Driver file: pdftex.def on input line 225. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. -Package xcolor Info: Model `RGB' extended on input line 1364. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen133 -\pgfmath@count=\count110 -\pgfmath@box=\box29 -\pgfmath@toks=\toks33 -\pgfmath@stack@operand=\toks34 -\pgfmath@stack@operation=\toks35 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code. -tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic -.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo -nometric.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando -m.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa -rison.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base. -code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round -.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc. -code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ -erarithmetics.code.tex))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count111 -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co -de.tex -File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27) -\pgf@picminx=\dimen134 -\pgf@picmaxx=\dimen135 -\pgf@picminy=\dimen136 -\pgf@picmaxy=\dimen137 -\pgf@pathminx=\dimen138 -\pgf@pathmaxx=\dimen139 -\pgf@pathminy=\dimen140 -\pgf@pathmaxy=\dimen141 -\pgf@xx=\dimen142 -\pgf@xy=\dimen143 -\pgf@yx=\dimen144 -\pgf@yy=\dimen145 -\pgf@zx=\dimen146 -\pgf@zy=\dimen147 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst -ruct.code.tex -File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29) -\pgf@path@lastx=\dimen148 -\pgf@path@lasty=\dimen149 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage -.code.tex -File: pgfcorepathusage.code.tex 2014/11/02 (rcs-revision 1.24) -\pgf@shorten@end@additional=\dimen150 -\pgf@shorten@start@additional=\dimen151 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co -de.tex -File: pgfcorescopes.code.tex 2015/05/08 (rcs-revision 1.46) -\pgfpic=\box30 -\pgf@hbox=\box31 -\pgf@layerbox@main=\box32 -\pgf@picture@serial@count=\count112 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst -ate.code.tex -File: pgfcoregraphicstate.code.tex 2014/11/02 (rcs-revision 1.12) -\pgflinewidth=\dimen152 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform -ations.code.tex -File: pgfcoretransformations.code.tex 2015/08/07 (rcs-revision 1.20) -\pgf@pt@x=\dimen153 -\pgf@pt@y=\dimen154 -\pgf@pt@temp=\dimen155 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod -e.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c -ode.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce -ssing.code.tex -File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co -de.tex -File: pgfcorearrows.code.tex 2015/05/14 (rcs-revision 1.43) -\pgfarrowsep=\dimen156 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod -e.tex -File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15) -\pgf@max=\dimen157 -\pgf@sys@shading@range@num=\count113 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod -e.tex -File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal. -code.tex -File: pgfcoreexternal.code.tex 2014/07/09 (rcs-revision 1.21) -\pgfexternal@startupbox=\box33 -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co -de.tex -File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare -ncy.code.tex -File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns. -code.tex -File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5) -))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod -e.tex -File: pgfmoduleshapes.code.tex 2014/03/21 (rcs-revision 1.35) -\pgfnodeparttextbox=\box34 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code. -tex -File: pgfmoduleplot.code.tex 2015/08/03 (rcs-revision 1.13) -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version --0-65.sty -Package: pgfcomp-version-0-65 2007/07/03 v3.0.1a (rcs-revision 1.7) -\pgf@nodesepstart=\dimen158 -\pgf@nodesepend=\dimen159 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version --1-18.sty -Package: pgfcomp-version-1-18 2007/07/23 v3.0.1a (rcs-revision 1.1) -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex) -) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex -Package: pgffor 2013/12/13 v3.0.1a (rcs-revision 1.25) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) -\pgffor@iter=\dimen160 -\pgffor@skip=\dimen161 -\pgffor@stack=\toks36 -\pgffor@toks=\toks37 -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod -e.tex -Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan -dlers.code.tex -File: pgflibraryplothandlers.code.tex 2013/08/31 v3.0.1a (rcs-revision 1.20) -\pgf@plot@mark@count=\count114 -\pgfplotmarksize=\dimen162 -) -\tikz@lastx=\dimen163 -\tikz@lasty=\dimen164 -\tikz@lastxsaved=\dimen165 -\tikz@lastysaved=\dimen166 -\tikzleveldistance=\dimen167 -\tikzsiblingdistance=\dimen168 -\tikz@figbox=\box35 -\tikz@figbox@bg=\box36 -\tikz@tempbox=\box37 -\tikz@tempbox@bg=\box38 -\tikztreelevel=\count115 -\tikznumberofchildren=\count116 -\tikznumberofcurrentchild=\count117 -\tikz@fig@count=\count118 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod -e.tex -File: pgfmodulematrix.code.tex 2013/09/17 (rcs-revision 1.8) -\pgfmatrixcurrentrow=\count119 -\pgfmatrixcurrentcolumn=\count120 -\pgf@matrix@numberofcolumns=\count121 -) -\tikz@expandcount=\count122 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie -s/tikzlibrarytopaths.code.tex -File: tikzlibrarytopaths.code.tex 2008/06/17 v3.0.1a (rcs-revision 1.2) -))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie -s/tikzlibrarymatrix.code.tex -File: tikzlibrarymatrix.code.tex 2013/07/12 v3.0.1a (rcs-revision 1.4) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie -s/tikzlibraryquotes.code.tex -File: tikzlibraryquotes.code.tex 2014/03/21 v3.0.1a (rcs-revision 1.4) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows. -meta.code.tex -File: pgflibraryarrows.meta.code.tex 2015/05/13 v3.0.1a (rcs-revision 1.13) -\pgfarrowinset=\dimen169 -\pgfarrowlength=\dimen170 -\pgfarrowwidth=\dimen171 -\pgfarrowlinewidth=\dimen172 -))) -(/usr/local/texlive/2017/texmf-dist/tex/latex/etoolbox/etoolbox.sty -Package: etoolbox 2017/01/02 v2.4 e-TeX tools for LaTeX (JAW) -\etb@tempcnta=\count123 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty -Package: algorithm2e 2013/01/06 v5.00 algorithms environments -\c@AlgoLine=\count124 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) -) -\algocf@hangindent=\skip53 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/xspace.sty -Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/relsize/relsize.sty -Package: relsize 2013/03/29 ver 4.1 -) -******************************************************** -Package `algorithm2e' Release 5.1 -- october 19 2015 -- -- algorithm2e-announce@lirmm.fr mailing list for announcement about releases -- algorithm2e-discussion@lirmm.fr mailing list for discussion about package -subscribe by emailing sympa@lirmm.fr with 'subscribe ' -- Author: Christophe Fiorio (christophe.fiorio@umontpellier.fr) -******************************************************** -\skiptotal=\skip54 -\skiplinenumber=\skip55 -\skiprule=\skip56 -\skiphlne=\skip57 -\skiptext=\skip58 -\skiplength=\skip59 -\algomargin=\skip60 -\skipalgocfslide=\skip61 -\algowidth=\dimen173 -\inoutsize=\dimen174 -\inoutindent=\dimen175 -\interspacetitleruled=\dimen176 -\interspacealgoruled=\dimen177 -\interspacetitleboxruled=\dimen178 -\algocf@ruledwidth=\skip62 -\algocf@inoutbox=\box39 -\algocf@inputbox=\box40 -\AlCapSkip=\skip63 -\AlCapHSkip=\skip64 -\algoskipindent=\skip65 -\algocf@nlbox=\box41 -\algocf@hangingbox=\box42 -\algocf@untilbox=\box43 -\algocf@skipuntil=\skip66 -\algocf@capbox=\box44 -\algoheightruledefault=\skip67 -\algoheightrule=\skip68 -\algotitleheightruledefault=\skip69 -\algotitleheightrule=\skip70 -\c@algocfline=\count125 -\c@algocfproc=\count126 -\c@algocf=\count127 -\algocf@algoframe=\box45 -\algocf@algobox=\box46 -) (/usr/local/texlive/2017/texmf-dist/tex/latex/placeins/placeins.sty -Package: placeins 2005/04/18 v 2.2 -) -(./eth_header.tex (./nips_2017.sty -Package: nips_2017 2017/03/20 NIPS 2017 submission/camera-ready style file - -(/usr/local/texlive/2017/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2010/09/12 v5.6 Page Geometry - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -\Gm@cnth=\count128 -\Gm@cntv=\count129 -\c@Gm@tempcnt=\count130 -\Gm@bindingoffset=\dimen179 -\Gm@wd@mp=\dimen180 -\Gm@odd@mp=\dimen181 -\Gm@even@mp=\dimen182 -\Gm@layoutwidth=\dimen183 -\Gm@layoutheight=\dimen184 -\Gm@layouthoffset=\dimen185 -\Gm@layoutvoffset=\dimen186 -\Gm@dimlist=\toks38 -) -\@nipsabovecaptionskip=\skip71 -\@nipsbelowcaptionskip=\skip72 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip11 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/subcaption.sty -Package: subcaption 2016/05/22 v1.1-161 Sub-captions (AR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption.sty -Package: caption 2016/02/21 v3.3-144 Customizing captions (AR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption3.sty -Package: caption3 2016/05/22 v1.7-166 caption3 kernel (AR) -Package caption3 Info: TeX engine: e-TeX on input line 67. -\captionmargin=\dimen187 -\captionmargin@=\dimen188 -\captionwidth=\dimen189 -\caption@tempdima=\dimen190 -\caption@indent=\dimen191 -\caption@parindent=\dimen192 -\caption@hangindent=\dimen193 -) -\c@ContinuedFloat=\count131 -) -\c@subfigure=\count132 -\c@subtable=\count133 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/array.sty -Package: array 2016/10/06 v2.4d Tabular extension package (FMi) -\col@sep=\dimen194 -\extrarowheight=\dimen195 -\NC@list=\toks39 -\extratabsurround=\skip73 -\backup@length=\skip74 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/units/units.sty -Package: units 1998/08/04 v0.9b Typesetting units - -(/usr/local/texlive/2017/texmf-dist/tex/latex/units/nicefrac.sty -Package: nicefrac 1998/08/04 v0.9b Nice fractions -\L@UnitsRaiseDisplaystyle=\skip75 -\L@UnitsRaiseTextstyle=\skip76 -\L@UnitsRaiseScriptstyle=\skip77 -)) -\c@definition=\count134 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.sty -Package: microtype 2016/05/14 v2.6a Micro-typographical refinements (RS) -\MT@toks=\toks40 -\MT@count=\count135 -LaTeX Info: Redefining \textls on input line 774. -\MT@outer@kern=\dimen196 -LaTeX Info: Redefining \textmicrotypecontext on input line 1310. -\MT@listname@count=\count136 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype-pdftex.def -File: microtype-pdftex.def 2016/05/14 v2.6a Definitions specific to pdftex (RS) - -LaTeX Info: Redefining \lsstyle on input line 916. -LaTeX Info: Redefining \lslig on input line 916. -\MT@outer@space=\skip78 -) -Package microtype Info: Loading configuration file microtype.cfg. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.cfg -File: microtype.cfg 2016/05/14 v2.6a microtype main configuration file (RS) -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/wasysym/wasysym.sty -Package: wasysym 2003/10/30 v2.0 Wasy-2 symbol support package -\symwasy=\mathgroup6 -LaTeX Font Info: Overwriting symbol font `wasy' in version `bold' -(Font) U/wasy/m/n --> U/wasy/b/n on input line 90. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty -Package: textcomp 2017/04/05 v2.0i Standard LaTeX package -Package textcomp Info: Sub-encoding information: -(textcomp) 5 = only ISO-Adobe without \textcurrency -(textcomp) 4 = 5 + \texteuro -(textcomp) 3 = 4 + \textohm -(textcomp) 2 = 3 + \textestimated + \textcurrency -(textcomp) 1 = TS1 - \textcircled - \t -(textcomp) 0 = TS1 (full) -(textcomp) Font families with sub-encoding setting implement -(textcomp) only a restricted character set as indicated. -(textcomp) Family '?' is the default used for unknown fonts. -(textcomp) See the documentation for details. -Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def -File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file -) -LaTeX Info: Redefining \oldstylenums on input line 334. -Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. -Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. -Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. -Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. -Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. -Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. -Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. -Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. -Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. -Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. -Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. -Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. -Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. -Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. -Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. -Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. -Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. -Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. -Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. -Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. -Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. -Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. -Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. -Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. - -Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. -Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. -Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. -Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. -Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. -Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. -Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. -Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. -Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. -Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. -Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. -Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. -Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. -Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. -Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. -Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. -Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. -Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. -Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. -Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. -Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. -Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. -Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. -Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. -Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. -Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. -Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. -Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. -Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. -Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. -Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. -Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. -Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. -Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. -Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. -Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. -Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/marvosym/marvosym.sty -Package: marvosym 2011/07/20 v2.2 Martin Vogel's Symbols font definitions -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/booktabs/booktabs.sty -Package: booktabs 2016/04/27 v1.618033 publication quality tables -\heavyrulewidth=\dimen197 -\lightrulewidth=\dimen198 -\cmidrulewidth=\dimen199 -\belowrulesep=\dimen256 -\belowbottomsep=\dimen257 -\aboverulesep=\dimen258 -\abovetopsep=\dimen259 -\cmidrulesep=\dimen260 -\cmidrulekern=\dimen261 -\defaultaddspace=\dimen262 -\@cmidla=\count137 -\@cmidlb=\count138 -\@aboverulesep=\dimen263 -\@belowrulesep=\dimen264 -\@thisruleclass=\count139 -\@lastruleclass=\count140 -\@thisrulewidth=\dimen265 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/doublestroke/dsfont.sty -Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/titlesec/titlesec.sty -Package: titlesec 2016/03/21 v2.10.2 Sectioning titles -\ttl@box=\box47 -\beforetitleunit=\skip79 -\aftertitleunit=\skip80 -\ttl@plus=\dimen266 -\ttl@minus=\dimen267 -\ttl@toksa=\toks41 -\titlewidth=\dimen268 -\titlewidthlast=\dimen269 -\titlewidthfirst=\dimen270 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/titlecaps/titlecaps.sty -Package: titlecaps 2015/01/30 V1.2 Routines for setting rich-text input into Ti -tling Caps - -(/usr/local/texlive/2017/texmf-dist/tex/latex/ifnextok/ifnextok.sty -Package: ifnextok 2011/06/27 v0.3 test next token (UL) -) -\c@lcword@index=\count141 -\c@word@count=\count142 -\c@lc@words=\count143 -\c@dia@count=\count144 -\c@arg@@@index=\count145 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/titlesec/block.tss -File: block.tss 2016/03/15 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/float/float.sty -Package: float 2001/11/08 v1.3d Float enhancements (AL) -\c@float@type=\count146 -\float@exts=\toks42 -\float@box=\box48 -\@float@everytoks=\toks43 -\@floatcapt=\box49 -) -\c@theorem=\count147 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/makecell/makecell.sty -Package: makecell 2009/08/03 V0.1e Managing of Tab Column Heads and Cells -\rotheadsize=\dimen271 -\c@nlinenum=\count148 -\TeXr@lab=\toks44 -)) -\c@thm=\count149 -\c@defn=\count150 - -(./CasperTFG.aux) -\openout1 = `CasperTFG.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 56. -LaTeX Font Info: ... okay on input line 56. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 56. -LaTeX Font Info: ... okay on input line 56. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 56. -LaTeX Font Info: ... okay on input line 56. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 56. -LaTeX Font Info: ... okay on input line 56. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 56. -LaTeX Font Info: ... okay on input line 56. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 56. -LaTeX Font Info: ... okay on input line 56. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 56. -LaTeX Font Info: Try loading font information for TS1+cmr on input line 56. - (/usr/local/texlive/2017/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 56. -LaTeX Font Info: Try loading font information for OT1+ptm on input line 56. -(/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ot1ptm.fd -File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. -) -(/usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count151 -\scratchdimen=\dimen272 -\scratchbox=\box50 -\nofMPsegments=\count152 -\nofMParguments=\count153 -\everyMPshowfont=\toks45 -\MPscratchCnt=\count154 -\MPscratchDim=\dimen273 -\MPnumerator=\count155 -\makeMPintoPDFobject=\count156 -\everyMPtoPDFconversion=\toks46 -) (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2017/03/19 v0.25 Utility functions of pdfTeX for LuaTeX (HO -) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf - -(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty -Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -))) -Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 -38. -Package grfext Info: Graphics extension search list: -(grfext) [.pdf,.png,.jpg,.eps] -(grfext) \AppendGraphicsExtensions on input line 456. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -ABD: EveryShipout initializing macros -*geometry* driver: auto-detecting -*geometry* detected driver: pdftex - -Package geometry Warning: The marginal notes overrun the paper. - Add 19.09447pt and more to the right margin. - -*geometry* verbose mode - [ preamble ] result: -* driver: pdftex -* paper: a4paper -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: -* h-part:(L,W,R)=(56.9055pt, 483.69684pt, 56.90553pt) -* v-part:(T,H,B)=(56.9055pt, 731.23582pt, 56.90552pt) -* \paperwidth=597.50787pt -* \paperheight=845.04684pt -* \textwidth=483.69684pt -* \textheight=731.23582pt -* \oddsidemargin=-15.36449pt -* \evensidemargin=-15.36449pt -* \topmargin=-52.36449pt -* \headheight=12.0pt -* \headsep=25.0pt -* \topskip=10.0pt -* \footskip=30.0pt -* \marginparwidth=65.0pt -* \marginparsep=11.0pt -* \columnsep=10.0pt -* \skip\footins=9.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -*geometry* verbose mode - [ newgeometry ] result: -* driver: pdftex -* paper: a4paper -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: -* h-part:(L,W,R)=(81.94394pt, 433.62pt, 81.94394pt) -* v-part:(T,H,B)=(72.26999pt, 650.43pt, 122.34686pt) -* \paperwidth=597.50787pt -* \paperheight=845.04684pt -* \textwidth=433.62pt -* \textheight=650.43pt -* \oddsidemargin=9.67395pt -* \evensidemargin=9.67395pt -* \topmargin=-37.0pt -* \headheight=12.0pt -* \headsep=25.0pt -* \topskip=10.0pt -* \footskip=30.0pt -* \marginparwidth=65.0pt -* \marginparsep=11.0pt -* \columnsep=10.0pt -* \skip\footins=9.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -Package caption Info: Begin \AtBeginDocument code. -Package caption Info: float package is loaded. -Package caption Info: End \AtBeginDocument code. -LaTeX Info: Redefining \microtypecontext on input line 56. -Package microtype Info: Generating PDF output. -Package microtype Info: Character protrusion enabled (level 2). -Package microtype Info: Using default protrusion set `alltext'. -Package microtype Info: Automatic font expansion enabled (level 2), -(microtype) stretch: 20, shrink: 20, step: 1, non-selected. -Package microtype Info: Using default expansion set `basictext'. -Package microtype Info: No adjustment of tracking. -Package microtype Info: No adjustment of interword spacing. -Package microtype Info: No adjustment of character kerning. -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-ptm.cfg -File: mt-ptm.cfg 2006/04/20 v1.7 microtype config. file: Times (RS) -) -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <17.28> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 60. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 60. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 60. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-cmr.cfg -File: mt-cmr.cfg 2013/05/19 v2.2 microtype config. file: Computer Modern Roman -(RS) -) -LaTeX Font Info: Try loading font information for U+msa on input line 60. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2013/01/14 v3.01 AMS symbols A -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-msa.cfg -File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS) -) -LaTeX Font Info: Try loading font information for U+msb on input line 60. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-msb.cfg -File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS) -) -LaTeX Font Info: Try loading font information for U+wasy on input line 60. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/wasysym/uwasy.fd -File: uwasy.fd 2003/10/30 v2.0 Wasy-2 symbol font definitions -) -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 60. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 62. - -! Undefined control sequence. -\@begin@quote@hook ->\singlespacing - \small -l.62 \begin{abstract} - -? -[1 - - -{/usr/local/texlive/2017/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] -[2] [3] [4] [5] [6] [7] -LaTeX Font Info: Try loading font information for TS1+ptm on input line 393. - - -(/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ts1ptm.fd -File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. -) [8] [9] -[10] [11] [12] -File: figures/3binary.png Graphic file (type png) - - -Package pdftex.def Info: figures/3binary.png used on input line 537. -(pdftex.def) Requested size: 216.81pt x 219.1911pt. - - -File: figures/3nodeblockchain-fix.png Graphic file (type png) - - -Package pdftex.def Info: figures/3nodeblockchain-fix.png used on input line 544 -. -(pdftex.def) Requested size: 216.81pt x 215.08081pt. - - -LaTeX Warning: `!h' float specifier changed to `!ht'. - - -File: figures/blockchainsafety.png Graphic file (type png) - - -Package pdftex.def Info: figures/blockchainsafety.png used on input line 551. -(pdftex.def) Requested size: 216.81pt x 213.8838pt. - - -LaTeX Warning: `!h' float specifier changed to `!ht'. - - -File: figures/roundrobin.png Graphic file (type png) - - -Package pdftex.def Info: figures/roundrobin.png used on input line 558. -(pdftex.def) Requested size: 216.81pt x 209.5251pt. - - -LaTeX Warning: `!h' float specifier changed to `!ht'. - -[13 <./figures/3binary.png (PNG copy)>] [14 <./figures/3nodeblockchain-fix.png -(PNG copy)> <./figures/blockchainsafety.png (PNG copy)>] [15 <./figures/roundro -bin.png (PNG copy)>] (./CasperTFG.bbl -Missing character: There is no â in font ptmr7t! -Missing character: There is no € in font ptmr7t! -Missing character: There is no “ in font ptmr7t! -Package microtype Info: Loading generic settings for font family -(microtype) `cmtt' (encoding: OT1). -(microtype) For optimal results, create family-specific settings. -(microtype) See the microtype manual for details. -) [16 - -] (./CasperTFG.aux) ) -(\end occurred inside a group at level 1) - -### simple group (level 1) entered at line 1061 ({) -### bottom level -Here is how much of TeX's memory you used: - 20431 strings out of 492995 - 384945 string characters out of 6132704 - 481567 words of memory out of 5000000 - 23357 multiletter control sequences out of 15000+600000 - 39160 words of font info for 191 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 61i,25n,84p,941b,6257s stack positions out of 5000i,500n,10000p,200000b,80000s -{/usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/base/8r.enc -} -< -/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb> -Output written on CasperTFG.pdf (16 pages, 708251 bytes). -PDF statistics: - 136 PDF objects out of 1000 (max. 8388607) - 95 compressed objects within 1 object stream - 0 named destinations out of 1000 (max. 500000) - 28193 words of extra memory for PDF output out of 29859 (max. 10000000) - diff --git a/papers/CasperTFG/texput.log b/papers/CasperTFG/texput.log deleted file mode 100644 index b030a85..0000000 --- a/papers/CasperTFG/texput.log +++ /dev/null @@ -1,21 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.5.23) 1 NOV 2017 13:05 -entering extended mode - \write18 enabled. - %&-line parsing enabled. -**CasperTFG. - -! Emergency stop. -<*> CasperTFG. - -End of file on the terminal! - - -Here is how much of TeX's memory you used: - 4 strings out of 492995 - 105 string characters out of 6132704 - 54074 words of memory out of 5000000 - 3658 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! diff --git a/papers/cbc-consensus/.DS_Store b/papers/cbc-consensus/.DS_Store deleted file mode 100644 index aa5f1e7..0000000 Binary files a/papers/cbc-consensus/.DS_Store and /dev/null differ diff --git a/papers/cbc-consensus/AbstractCBC.aux b/papers/cbc-consensus/AbstractCBC.aux deleted file mode 100644 index b1d8c03..0000000 --- a/papers/cbc-consensus/AbstractCBC.aux +++ /dev/null @@ -1,7 +0,0 @@ -\relax -\citation{paxos} -\@writefile{toc}{\contentsline {section}{\numberline {1}Part 0: Introduction}{1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Comparing Traditional Consensus to Blockchain Consensus}{1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Overview of the correct-by-construction process}{2}} -\@writefile{toc}{\contentsline {section}{\numberline {2}Part 1: Abstract Consensus Safety Proof}{2}} -\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Displaying the bifurcations ($n$-furcation) inheret in the statespace of estimate safety consensus protocols (with non-triviality). States with common futures (marked with $\sim $) still have the opportunity to make consistent decisions. States who don't have this opportunity don't share futures (marked with $\nsim $).\relax }}{7}} diff --git a/papers/cbc-consensus/AbstractCBC.log b/papers/cbc-consensus/AbstractCBC.log deleted file mode 100644 index 0874995..0000000 --- a/papers/cbc-consensus/AbstractCBC.log +++ /dev/null @@ -1,1061 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.5.23) 1 NOV 2017 14:22 -entering extended mode - \write18 enabled. - %&-line parsing enabled. -**AbstractCBC -(./AbstractCBC.tex -LaTeX2e <2017-04-15> -Babel <3.10> and hyphenation patterns for 84 language(s) loaded. -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/article.cls -Document Class: article 2014/09/29 v1.4h Standard LaTeX document class -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/size10.clo -File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option) -) -\c@part=\count79 -\c@section=\count80 -\c@subsection=\count81 -\c@subsubsection=\count82 -\c@paragraph=\count83 -\c@subparagraph=\count84 -\c@figure=\count85 -\c@table=\count86 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks14 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2017/04/14 v1.1b Standard LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 2016/01/03 v1.10 sin cos tan (DPC) -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg -File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration -) -Package graphics Info: Driver file: pdftex.def on input line 99. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def -File: pdftex.def 2017/01/12 v0.06k Graphics/color for pdfTeX - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count87 -)) -\Gin@req@height=\dimen103 -\Gin@req@width=\dimen104 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2015/03/04 v2.20.2 -\thm@style=\toks15 -\thm@bodyfont=\toks16 -\thm@headfont=\toks17 -\thm@notefont=\toks18 -\thm@headpunct=\toks19 -\thm@preskip=\skip43 -\thm@postskip=\skip44 -\thm@headsep=\skip45 -\dth@everypar=\toks20 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2016/11/05 v2.16a AMS math features -\@mathmargin=\skip46 - -For additional information on amsmath, use the `?' option. -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 AMS text - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks21 -\ex@=\dimen105 -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen106 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 2016/03/08 v2.02 operator names -) -\inf@bad=\count88 -LaTeX Info: Redefining \frac on input line 213. -\uproot@=\count89 -\leftroot@=\count90 -LaTeX Info: Redefining \overline on input line 375. -\classnum@=\count91 -\DOTSCASE@=\count92 -LaTeX Info: Redefining \ldots on input line 472. -LaTeX Info: Redefining \dots on input line 475. -LaTeX Info: Redefining \cdots on input line 596. -\Mathstrutbox@=\box26 -\strutbox@=\box27 -\big@size=\dimen107 -LaTeX Font Info: Redeclaring font encoding OML on input line 712. -LaTeX Font Info: Redeclaring font encoding OMS on input line 713. -\macc@depth=\count93 -\c@MaxMatrixCols=\count94 -\dotsspace@=\muskip10 -\c@parentequation=\count95 -\dspbrk@lvl=\count96 -\tag@help=\toks22 -\row@=\count97 -\column@=\count98 -\maxfields@=\count99 -\andhelp@=\toks23 -\eqnshift@=\dimen108 -\alignsep@=\dimen109 -\tagshift@=\dimen110 -\tagwidth@=\dimen111 -\totwidth@=\dimen112 -\lineht@=\dimen113 -\@envbody=\toks24 -\multlinegap=\skip47 -\multlinetaggap=\skip48 -\mathdisplay@stack=\toks25 -LaTeX Info: Redefining \[ on input line 2817. -LaTeX Info: Redefining \] on input line 2818. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2013/01/14 v3.01 AMS font symbols - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 106. -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty -Package: tikz-cd 2014/10/30 v0.9e Commutative diagrams with tikz - -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te -x -\pgfutil@everybye=\toks26 -\pgfutil@tempdima=\dimen114 -\pgfutil@tempdimb=\dimen115 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li -sts.tex)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box28 -(/usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex -Package: pgfrcs 2015/08/07 v3.0.1a (rcs-revision 1.31) -)) -Package: pgf 2015/08/07 v3.0.1a (rcs-revision 1.15) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2014/07/09 v3.0.1a (rcs-revision 1.48) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks27 -\pgfkeys@temptoks=\toks28 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c -ode.tex -\pgfkeys@tmptoks=\toks29 -)) -\pgf@x=\dimen116 -\pgf@y=\dimen117 -\pgf@xa=\dimen118 -\pgf@ya=\dimen119 -\pgf@xb=\dimen120 -\pgf@yb=\dimen121 -\pgf@xc=\dimen122 -\pgf@yc=\dimen123 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count100 -\c@pgf@countb=\count101 -\c@pgf@countc=\count102 -\c@pgf@countd=\count103 -\t@pgf@toka=\toks30 -\t@pgf@tokb=\toks31 -\t@pgf@tokc=\toks32 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Driver file for pgf: pgfsys-pdftex.def - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d -ef -File: pgfsys-pdftex.def 2014/10/11 (rcs-revision 1.35) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p -df.def -File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13) -))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath. -code.tex -File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9) -\pgfsyssoftpath@smallbuffer@items=\count104 -\pgfsyssoftpath@bigbuffer@items=\count105 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol. -code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) (/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg -File: color.cfg 2016/01/02 v1.6 sample color configuration -) -Package xcolor Info: Driver file: pdftex.def on input line 225. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. -Package xcolor Info: Model `RGB' extended on input line 1364. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v3.0.1a (rcs-revision 1.7) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen124 -\pgfmath@count=\count106 -\pgfmath@box=\box29 -\pgfmath@toks=\toks33 -\pgfmath@stack@operand=\toks34 -\pgfmath@stack@operation=\toks35 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code. -tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic -.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo -nometric.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando -m.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa -rison.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base. -code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round -.code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc. -code.tex) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ -erarithmetics.code.tex))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count107 -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co -de.tex -File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27) -\pgf@picminx=\dimen125 -\pgf@picmaxx=\dimen126 -\pgf@picminy=\dimen127 -\pgf@picmaxy=\dimen128 -\pgf@pathminx=\dimen129 -\pgf@pathmaxx=\dimen130 -\pgf@pathminy=\dimen131 -\pgf@pathmaxy=\dimen132 -\pgf@xx=\dimen133 -\pgf@xy=\dimen134 -\pgf@yx=\dimen135 -\pgf@yy=\dimen136 -\pgf@zx=\dimen137 -\pgf@zy=\dimen138 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst -ruct.code.tex -File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29) -\pgf@path@lastx=\dimen139 -\pgf@path@lasty=\dimen140 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage -.code.tex -File: pgfcorepathusage.code.tex 2014/11/02 (rcs-revision 1.24) -\pgf@shorten@end@additional=\dimen141 -\pgf@shorten@start@additional=\dimen142 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co -de.tex -File: pgfcorescopes.code.tex 2015/05/08 (rcs-revision 1.46) -\pgfpic=\box30 -\pgf@hbox=\box31 -\pgf@layerbox@main=\box32 -\pgf@picture@serial@count=\count108 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst -ate.code.tex -File: pgfcoregraphicstate.code.tex 2014/11/02 (rcs-revision 1.12) -\pgflinewidth=\dimen143 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform -ations.code.tex -File: pgfcoretransformations.code.tex 2015/08/07 (rcs-revision 1.20) -\pgf@pt@x=\dimen144 -\pgf@pt@y=\dimen145 -\pgf@pt@temp=\dimen146 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod -e.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c -ode.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce -ssing.code.tex -File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co -de.tex -File: pgfcorearrows.code.tex 2015/05/14 (rcs-revision 1.43) -\pgfarrowsep=\dimen147 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod -e.tex -File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15) -\pgf@max=\dimen148 -\pgf@sys@shading@range@num=\count109 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod -e.tex -File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal. -code.tex -File: pgfcoreexternal.code.tex 2014/07/09 (rcs-revision 1.21) -\pgfexternal@startupbox=\box33 -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co -de.tex -File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare -ncy.code.tex -File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns. -code.tex -File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5) -))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod -e.tex -File: pgfmoduleshapes.code.tex 2014/03/21 (rcs-revision 1.35) -\pgfnodeparttextbox=\box34 -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code. -tex -File: pgfmoduleplot.code.tex 2015/08/03 (rcs-revision 1.13) -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version --0-65.sty -Package: pgfcomp-version-0-65 2007/07/03 v3.0.1a (rcs-revision 1.7) -\pgf@nodesepstart=\dimen149 -\pgf@nodesepend=\dimen150 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version --1-18.sty -Package: pgfcomp-version-1-18 2007/07/23 v3.0.1a (rcs-revision 1.1) -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty -(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex) -) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex -Package: pgffor 2013/12/13 v3.0.1a (rcs-revision 1.25) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex) -\pgffor@iter=\dimen151 -\pgffor@skip=\dimen152 -\pgffor@stack=\toks36 -\pgffor@toks=\toks37 -)) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod -e.tex -Package: tikz 2015/08/07 v3.0.1a (rcs-revision 1.151) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan -dlers.code.tex -File: pgflibraryplothandlers.code.tex 2013/08/31 v3.0.1a (rcs-revision 1.20) -\pgf@plot@mark@count=\count110 -\pgfplotmarksize=\dimen153 -) -\tikz@lastx=\dimen154 -\tikz@lasty=\dimen155 -\tikz@lastxsaved=\dimen156 -\tikz@lastysaved=\dimen157 -\tikzleveldistance=\dimen158 -\tikzsiblingdistance=\dimen159 -\tikz@figbox=\box35 -\tikz@figbox@bg=\box36 -\tikz@tempbox=\box37 -\tikz@tempbox@bg=\box38 -\tikztreelevel=\count111 -\tikznumberofchildren=\count112 -\tikznumberofcurrentchild=\count113 -\tikz@fig@count=\count114 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod -e.tex -File: pgfmodulematrix.code.tex 2013/09/17 (rcs-revision 1.8) -\pgfmatrixcurrentrow=\count115 -\pgfmatrixcurrentcolumn=\count116 -\pgf@matrix@numberofcolumns=\count117 -) -\tikz@expandcount=\count118 - -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie -s/tikzlibrarytopaths.code.tex -File: tikzlibrarytopaths.code.tex 2008/06/17 v3.0.1a (rcs-revision 1.2) -))) -(/usr/local/texlive/2017/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie -s/tikzlibrarymatrix.code.tex -File: tikzlibrarymatrix.code.tex 2013/07/12 v3.0.1a (rcs-revision 1.4) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie -s/tikzlibraryquotes.code.tex -File: tikzlibraryquotes.code.tex 2014/03/21 v3.0.1a (rcs-revision 1.4) -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows. -meta.code.tex -File: pgflibraryarrows.meta.code.tex 2015/05/13 v3.0.1a (rcs-revision 1.13) -\pgfarrowinset=\dimen160 -\pgfarrowlength=\dimen161 -\pgfarrowwidth=\dimen162 -\pgfarrowlinewidth=\dimen163 -))) -(/usr/local/texlive/2017/texmf-dist/tex/latex/etoolbox/etoolbox.sty -Package: etoolbox 2017/01/02 v2.4 e-TeX tools for LaTeX (JAW) -\etb@tempcnta=\count119 -) -(./eth_header.tex (./nips_2017.sty -Package: nips_2017 2017/03/20 NIPS 2017 submission/camera-ready style file - -(/usr/local/texlive/2017/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2010/09/12 v5.6 Page Geometry - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2017/03/15 v3.2 Provides the ifpdf switch -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -\Gm@cnth=\count120 -\Gm@cntv=\count121 -\c@Gm@tempcnt=\count122 -\Gm@bindingoffset=\dimen164 -\Gm@wd@mp=\dimen165 -\Gm@odd@mp=\dimen166 -\Gm@even@mp=\dimen167 -\Gm@layoutwidth=\dimen168 -\Gm@layoutheight=\dimen169 -\Gm@layouthoffset=\dimen170 -\Gm@layoutvoffset=\dimen171 -\Gm@dimlist=\toks38 -) -\@nipsabovecaptionskip=\skip49 -\@nipsbelowcaptionskip=\skip50 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip11 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/subcaption.sty -Package: subcaption 2016/05/22 v1.1-161 Sub-captions (AR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption.sty -Package: caption 2016/02/21 v3.3-144 Customizing captions (AR) - -(/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption3.sty -Package: caption3 2016/05/22 v1.7-166 caption3 kernel (AR) -Package caption3 Info: TeX engine: e-TeX on input line 67. -\captionmargin=\dimen172 -\captionmargin@=\dimen173 -\captionwidth=\dimen174 -\caption@tempdima=\dimen175 -\caption@indent=\dimen176 -\caption@parindent=\dimen177 -\caption@hangindent=\dimen178 -) -\c@ContinuedFloat=\count123 -) -\c@subfigure=\count124 -\c@subtable=\count125 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/array.sty -Package: array 2016/10/06 v2.4d Tabular extension package (FMi) -\col@sep=\dimen179 -\extrarowheight=\dimen180 -\NC@list=\toks39 -\extratabsurround=\skip51 -\backup@length=\skip52 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/units/units.sty -Package: units 1998/08/04 v0.9b Typesetting units - -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/units/nicefrac.sty -Package: nicefrac 1998/08/04 v0.9b Nice fractions -\L@UnitsRaiseDisplaystyle=\skip53 -\L@UnitsRaiseTextstyle=\skip54 -\L@UnitsRaiseScriptstyle=\skip55 -)) -\c@definition=\count126 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.sty -Package: microtype 2016/05/14 v2.6a Micro-typographical refinements (RS) -\MT@toks=\toks40 -\MT@count=\count127 -LaTeX Info: Redefining \textls on input line 774. -\MT@outer@kern=\dimen181 -LaTeX Info: Redefining \textmicrotypecontext on input line 1310. -\MT@listname@count=\count128 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype-pdftex.def -File: microtype-pdftex.def 2016/05/14 v2.6a Definitions specific to pdftex (RS) - -LaTeX Info: Redefining \lsstyle on input line 916. -LaTeX Info: Redefining \lslig on input line 916. -\MT@outer@space=\skip56 -) -Package microtype Info: Loading configuration file microtype.cfg. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.cfg -File: microtype.cfg 2016/05/14 v2.6a microtype main configuration file (RS) -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/wasysym/wasysym.sty -Package: wasysym 2003/10/30 v2.0 Wasy-2 symbol support package -\symwasy=\mathgroup6 -LaTeX Font Info: Overwriting symbol font `wasy' in version `bold' -(Font) U/wasy/m/n --> U/wasy/b/n on input line 90. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty -Package: textcomp 2017/04/05 v2.0i Standard LaTeX package -Package textcomp Info: Sub-encoding information: -(textcomp) 5 = only ISO-Adobe without \textcurrency -(textcomp) 4 = 5 + \texteuro -(textcomp) 3 = 4 + \textohm -(textcomp) 2 = 3 + \textestimated + \textcurrency -(textcomp) 1 = TS1 - \textcircled - \t -(textcomp) 0 = TS1 (full) -(textcomp) Font families with sub-encoding setting implement -(textcomp) only a restricted character set as indicated. -(textcomp) Family '?' is the default used for unknown fonts. -(textcomp) See the documentation for details. -Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def -File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file -) -LaTeX Info: Redefining \oldstylenums on input line 334. -Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. -Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. -Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. -Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. -Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. -Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. -Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. -Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. -Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. -Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. -Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. -Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. -Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. -Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. -Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. -Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. -Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. -Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. -Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. -Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. -Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. -Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. -Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. -Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. - -Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. -Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. -Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. -Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. -Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. -Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. -Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. -Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. -Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. -Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. -Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. -Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. -Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. -Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. -Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. -Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. -Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. -Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. -Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. -Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. -Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. -Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. -Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. -Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. -Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. -Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. -Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. -Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. -Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. -Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. -Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. -Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. -Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. -Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. -Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. -Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. -Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/marvosym/marvosym.sty -Package: marvosym 2011/07/20 v2.2 Martin Vogel's Symbols font definitions -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/booktabs/booktabs.sty -Package: booktabs 2016/04/27 v1.618033 publication quality tables -\heavyrulewidth=\dimen182 -\lightrulewidth=\dimen183 -\cmidrulewidth=\dimen184 -\belowrulesep=\dimen185 -\belowbottomsep=\dimen186 -\aboverulesep=\dimen187 -\abovetopsep=\dimen188 -\cmidrulesep=\dimen189 -\cmidrulekern=\dimen190 -\defaultaddspace=\dimen191 -\@cmidla=\count129 -\@cmidlb=\count130 -\@aboverulesep=\dimen192 -\@belowrulesep=\dimen193 -\@thisruleclass=\count131 -\@lastruleclass=\count132 -\@thisrulewidth=\dimen194 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/doublestroke/dsfont.sty -Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/titlesec/titlesec.sty -Package: titlesec 2016/03/21 v2.10.2 Sectioning titles -\ttl@box=\box39 -\beforetitleunit=\skip57 -\aftertitleunit=\skip58 -\ttl@plus=\dimen195 -\ttl@minus=\dimen196 -\ttl@toksa=\toks41 -\titlewidth=\dimen197 -\titlewidthlast=\dimen198 -\titlewidthfirst=\dimen199 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/titlecaps/titlecaps.sty -Package: titlecaps 2015/01/30 V1.2 Routines for setting rich-text input into Ti -tling Caps - -(/usr/local/texlive/2017/texmf-dist/tex/latex/ifnextok/ifnextok.sty -Package: ifnextok 2011/06/27 v0.3 test next token (UL) -) -\c@lcword@index=\count133 -\c@word@count=\count134 -\c@lc@words=\count135 -\c@dia@count=\count136 -\c@arg@@@index=\count137 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/titlesec/block.tss -File: block.tss 2016/03/15 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/float/float.sty -Package: float 2001/11/08 v1.3d Float enhancements (AL) -\c@float@type=\count138 -\float@exts=\toks42 -\float@box=\box40 -\@float@everytoks=\toks43 -\@floatcapt=\box41 -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/xspace.sty -Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) -) -\c@theorem=\count139 - -(/usr/local/texlive/2017/texmf-dist/tex/latex/makecell/makecell.sty -Package: makecell 2009/08/03 V0.1e Managing of Tab Column Heads and Cells -\rotheadsize=\dimen256 -\c@nlinenum=\count140 -\TeXr@lab=\toks44 -)) -\c@thm=\count141 -\c@defn=\count142 - -(./AbstractCBC.aux) -\openout1 = `AbstractCBC.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 52. -LaTeX Font Info: ... okay on input line 52. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 52. -LaTeX Font Info: ... okay on input line 52. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 52. -LaTeX Font Info: ... okay on input line 52. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 52. -LaTeX Font Info: ... okay on input line 52. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 52. -LaTeX Font Info: ... okay on input line 52. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 52. -LaTeX Font Info: ... okay on input line 52. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 52. -LaTeX Font Info: Try loading font information for TS1+cmr on input line 52. - -(/usr/local/texlive/2017/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 52. -LaTeX Font Info: Try loading font information for OT1+ptm on input line 52. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ot1ptm.fd -File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. -) -(/usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count143 -\scratchdimen=\dimen257 -\scratchbox=\box42 -\nofMPsegments=\count144 -\nofMParguments=\count145 -\everyMPshowfont=\toks45 -\MPscratchCnt=\count146 -\MPscratchDim=\dimen258 -\MPnumerator=\count147 -\makeMPintoPDFobject=\count148 -\everyMPtoPDFconversion=\toks46 -) (/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2017/03/19 v0.25 Utility functions of pdfTeX for LuaTeX (HO -) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf - -(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty -Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) -)) -(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) - -(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -))) -Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 -38. -Package grfext Info: Graphics extension search list: -(grfext) [.pdf,.png,.jpg,.eps] -(grfext) \AppendGraphicsExtensions on input line 456. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -ABD: EveryShipout initializing macros -*geometry* driver: auto-detecting -*geometry* detected driver: pdftex - -Package geometry Warning: The marginal notes overrun the paper. - Add 19.09447pt and more to the right margin. - -*geometry* verbose mode - [ preamble ] result: -* driver: pdftex -* paper: a4paper -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: -* h-part:(L,W,R)=(56.9055pt, 483.69684pt, 56.90553pt) -* v-part:(T,H,B)=(56.9055pt, 731.23582pt, 56.90552pt) -* \paperwidth=597.50787pt -* \paperheight=845.04684pt -* \textwidth=483.69684pt -* \textheight=731.23582pt -* \oddsidemargin=-15.36449pt -* \evensidemargin=-15.36449pt -* \topmargin=-52.36449pt -* \headheight=12.0pt -* \headsep=25.0pt -* \topskip=10.0pt -* \footskip=30.0pt -* \marginparwidth=65.0pt -* \marginparsep=11.0pt -* \columnsep=10.0pt -* \skip\footins=9.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -*geometry* verbose mode - [ newgeometry ] result: -* driver: pdftex -* paper: a4paper -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: -* h-part:(L,W,R)=(81.94394pt, 433.62pt, 81.94394pt) -* v-part:(T,H,B)=(72.26999pt, 650.43pt, 122.34686pt) -* \paperwidth=597.50787pt -* \paperheight=845.04684pt -* \textwidth=433.62pt -* \textheight=650.43pt -* \oddsidemargin=9.67395pt -* \evensidemargin=9.67395pt -* \topmargin=-37.0pt -* \headheight=12.0pt -* \headsep=25.0pt -* \topskip=10.0pt -* \footskip=30.0pt -* \marginparwidth=65.0pt -* \marginparsep=11.0pt -* \columnsep=10.0pt -* \skip\footins=9.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -Package caption Info: Begin \AtBeginDocument code. -Package caption Info: float package is loaded. -Package caption Info: End \AtBeginDocument code. -LaTeX Info: Redefining \microtypecontext on input line 52. -Package microtype Info: Generating PDF output. -Package microtype Info: Character protrusion enabled (level 2). -Package microtype Info: Using default protrusion set `alltext'. -Package microtype Info: Automatic font expansion enabled (level 2), -(microtype) stretch: 20, shrink: 20, step: 1, non-selected. -Package microtype Info: Using default expansion set `basictext'. -Package microtype Info: No adjustment of tracking. -Package microtype Info: No adjustment of interword spacing. -Package microtype Info: No adjustment of character kerning. -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-ptm.cfg -File: mt-ptm.cfg 2006/04/20 v1.7 microtype config. file: Times (RS) -) -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <17.28> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 56. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 56. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-cmr.cfg -File: mt-cmr.cfg 2013/05/19 v2.2 microtype config. file: Computer Modern Roman -(RS) -) -LaTeX Font Info: Try loading font information for U+msa on input line 56. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2013/01/14 v3.01 AMS symbols A -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-msa.cfg -File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS) -) -LaTeX Font Info: Try loading font information for U+msb on input line 56. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) -(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/mt-msb.cfg -File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS) -) -LaTeX Font Info: Try loading font information for U+wasy on input line 56. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/wasysym/uwasy.fd -File: uwasy.fd 2003/10/30 v2.0 Wasy-2 symbol font definitions -) -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 56. -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 58. - -! Undefined control sequence. -\@begin@quote@hook ->\singlespacing - \small -l.58 \begin{abstract} - -? -LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available -(Font) Font shape `OT1/ptm/b/n' tried instead on input line 63. - -LaTeX Warning: Citation `paxos' on page 1 undefined on input line 69. - -[1 - - -{/usr/local/texlive/2017/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] -LaTeX Font Info: Try loading font information for TS1+ptm on input line 89. - -(/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ts1ptm.fd -File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. -) -! Undefined control sequence. -\@begin@quote@hook ->\singlespacing - \small -l.111 \begin{quote} - -? -[2] -! Undefined control sequence. -\@begin@quote@hook ->\singlespacing - \small -l.117 \begin{quote} - -? - -Overfull \hbox (20.43526pt too wide) in paragraph at lines 136--136 -[] - [] - -[3] - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 274. - - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 274. - - -Overfull \hbox (79.56223pt too wide) in paragraph at lines 274--274 -[] - [] - -[4] - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 298. - - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 298. - - -Overfull \hbox (9.20308pt too wide) in paragraph at lines 298--298 -[] - [] - - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 320. - - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 320. - -[5] - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 406. - - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 406. - - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 465. - - -Package amsthm Warning: The \qedhere command may not work correctly here on inp -ut line 465. - - -Overfull \hbox (52.30992pt too wide) in paragraph at lines 465--465 -[] - [] - -[6] -File: figures/sharedfutures.jpg Graphic file (type jpg) - - -Package pdftex.def Info: figures/sharedfutures.jpg used on input line 480. -(pdftex.def) Requested size: 216.81pt x 164.73907pt. - [7 <./figures/sharedfutures.jpg>] -(./AbstractCBC.aux) - -LaTeX Warning: There were undefined references. - - ) -Here is how much of TeX's memory you used: - 19458 strings out of 492995 - 373625 string characters out of 6132704 - 459709 words of memory out of 5000000 - 22458 multiletter control sequences out of 15000+600000 - 37208 words of font info for 160 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 61i,22n,84p,772b,1029s stack positions out of 5000i,500n,10000p,200000b,80000s -{/usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/base/8r.enc} -Output written on AbstractCBC.pdf (7 pages, 230022 bytes). -PDF statistics: - 97 PDF objects out of 1000 (max. 8388607) - 70 compressed objects within 1 object stream - 0 named destinations out of 1000 (max. 500000) - 29202 words of extra memory for PDF output out of 29859 (max. 10000000) - diff --git a/papers/cbc-consensus/q.log b/papers/cbc-consensus/q.log deleted file mode 100644 index 1910300..0000000 --- a/papers/cbc-consensus/q.log +++ /dev/null @@ -1,25 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.5.23) 1 NOV 2017 11:38 -entering extended mode - \write18 enabled. - %&-line parsing enabled. -**AbstractCBC -(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/q.tex -LaTeX2e <2017-04-15> -Babel <3.10> and hyphenation patterns for 84 language(s) loaded. -File ignored -) -! Emergency stop. -<*> AbstractCBC - -*** (job aborted, no legal \end found) - - -Here is how much of TeX's memory you used: - 7 strings out of 492995 - 265 string characters out of 6132704 - 54074 words of memory out of 5000000 - 3658 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 - 5i,0n,1p,91b,8s stack positions out of 5000i,500n,10000p,200000b,80000s -! ==> Fatal error occurred, no output PDF file produced!