[0KRunning with gitlab-runner 17.7.1 (6669abcf)[0;m [0K on Runner 1 (740) 4d8c3ee4, system ID: s_eb7bfeb91cea[0;m [0K[36;1mResolving secrets[0;m[0;m section_start:1742992707:prepare_executor [0K[0K[36;1mPreparing the "docker" executor[0;m[0;m [0KUsing Docker executor with image kjarosh/latex:2023.1 ...[0;m [0KPulling docker image kjarosh/latex:2023.1 ...[0;m [0KUsing docker image sha256:f5bb9fc0fb9c544c73fcde31ad9967b13285191763155e8c50b2e2563e4b81b2 for kjarosh/latex:2023.1 with digest kjarosh/latex@sha256:ee812dc8d55d5962e30b024471c6092f2ddb65862b33e01422038373d1589b53 ...[0;m section_end:1742992709:prepare_executor [0Ksection_start:1742992709:prepare_script [0K[0K[36;1mPreparing environment[0;m[0;m Running on runner-4d8c3ee4-project-1298-concurrent-0 via serv740.segi.priv... section_end:1742992709:prepare_script [0Ksection_start:1742992709:get_sources [0K[0K[36;1mGetting source from Git repository[0;m[0;m [32;1mFetching changes with git depth set to 50...[0;m Reinitialized existing Git repository in /builds/verit/alethe/.git/ [32;1mChecking out c6c13b4c as detached HEAD (ref is devel/pseudoboolean-bitblasting)...[0;m Removing spec/_minted-doc/ Removing spec/doc.aux Removing spec/doc.bbl Removing spec/doc.blg Removing spec/doc.fls Removing spec/doc.idx Removing spec/doc.ilg Removing spec/doc.ind Removing spec/doc.log Removing spec/doc.out Removing spec/doc.pdf Removing spec/doc.toc Removing spec/rules.idx Removing spec/rules.ilg Removing spec/rules.ind Removing specification.pdf [32;1mSkipping Git submodules setup[0;m section_end:1742992710:get_sources [0Ksection_start:1742992710:step_script [0K[0K[36;1mExecuting "step_script" stage of the job script[0;m[0;m [0KUsing docker image sha256:f5bb9fc0fb9c544c73fcde31ad9967b13285191763155e8c50b2e2563e4b81b2 for kjarosh/latex:2023.1 with digest kjarosh/latex@sha256:ee812dc8d55d5962e30b024471c6092f2ddb65862b33e01422038373d1589b53 ...[0;m [32;1m$ apk add py3-pygments[0;m fetch https://dl-cdn.alpinelinux.org/alpine/v3.17/main/x86_64/APKINDEX.tar.gz fetch https://dl-cdn.alpinelinux.org/alpine/v3.17/community/x86_64/APKINDEX.tar.gz (1/7) Upgrading libexpat (2.5.0-r0 -> 2.6.4-r0) (2/7) Installing xz-libs (5.2.9-r0) (3/7) Installing libstdc++ (12.2.1_git20220924-r4) (4/7) Installing mpdecimal (2.5.1-r1) (5/7) Installing readline (8.2.0-r0) (6/7) Installing python3 (3.10.15-r0) (7/7) Installing py3-pygments (2.13.0-r0) Executing busybox-1.35.0-r29.trigger OK: 122 MiB in 62 packages [32;1m$ cp .latexminted_config.global $HOME/.latexminted_config[0;m [32;1m$ cd spec[0;m [32;1m$ lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'[0;m This is LuaHBTeX, Version 1.17.0 (TeX Live 2023) system commands enabled. LaTeX2e <2022-11-01> patch level 1 sh: tput: not found L3 programming layer <2023-05-15> (./doc.tex (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrartcl.cls Document Class: scrartcl 2023/04/24 v3.40 KOMA-Script document class (article) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrkbase.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrbase.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlfile.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlogo.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/graphics/keyval.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/tocbasic.sty) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrsize11pt.clo luaotfload | db : Font names database not found, generating new one. luaotfload | db : This can take several minutes; please be patient.) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/typearea.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlayer-scrpage.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlayer.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3kernel/expl3.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-luatex.def)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math-luatex.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3packages/xparse/xparse.sty) (/opt/texlive/2023/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec.sty (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec-luatex.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/fontenc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec.cfg))) (/opt/texlive/2023/texmf-dist/tex/latex/base/fix-cm.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/ts1enc.def)) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amstext.sty (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/opt/texlive/2023/texmf-dist/tex/lualatex/lualatex-math/lualatex-math.sty (/opt/texlive/2023/texmf-dist/tex/latex/etoolbox/etoolbox.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/fontsetup/fontsetup.sty fontsetup: Easy font setup by Antonis Tsolomitis (/opt/texlive/2023/texmf-dist/tex/latex/base/ifthen.sty) (/opt/texlive/2023/texmf-dist/tex/generic/iftex/iftex.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontsetup/fspdefault.sty (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCM10-Book.fontspec ) (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCMSans10-Book.font spec) (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCMMono10-Book.font spec))) (/opt/texlive/2023/texmf-dist/tex/latex/minted/minted.sty (/opt/texlive/2023/texmf-dist/tex/latex/kvoptions/kvoptions.sty (/opt/texlive/2023/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/opt/texlive/2023/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/fvextra/fvextra.sty (/opt/texlive/2023/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/opt/texlive/2023/texmf-dist/tex/latex/upquote/upquote.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/textcomp.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/lineno/lineno.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/tools/calc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/tools/shellesc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/ifplatform/ifplatform.sty (/opt/texlive/2023/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/opt/texlive/2023/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/opt/texlive/2023/texmf-dist/tex/generic/catchfile/catchfile.sty (/opt/texlive/2023/texmf-dist/tex/generic/etexcmds/etexcmds.sty)) (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifluatex.sty) (./doc.w18)) (/opt/texlive/2023/texmf-dist/tex/generic/xstring/xstring.sty (/opt/texlive/2023/texmf-dist/tex/generic/xstring/xstring.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/framed/framed.sty) (/opt/texlive/2023/texmf-dist/tex/latex/float/float.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/cite/cite.sty) (/opt/texlive/2023/texmf-dist/tex/latex/url/url.sty) (/opt/texlive/2023/texmf-dist/tex/latex/datetime2/datetime2.sty (/opt/texlive/2023/texmf-dist/tex/latex/tracklang/tracklang.sty (/opt/texlive/2023/texmf-dist/tex/generic/tracklang/tracklang.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/xkeyval/xkeyval.sty (/opt/texlive/2023/texmf-dist/tex/generic/xkeyval/xkeyval.tex (/opt/texlive/2023/texmf-dist/tex/generic/xkeyval/xkvutils.tex)))) (/opt/texlive/2023/texmf-dist/tex/latex/xltabular/xltabular.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/tabularx.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/array.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/ltablex/ltablex.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/longtable.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/environ/environ.sty (/opt/texlive/2023/texmf-dist/tex/latex/trimspaces/trimspaces.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/amscls/amsthm.sty) (/opt/texlive/2023/texmf-dist/tex/latex/xpatch/xpatch.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thmtools.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-patch.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/parseargs.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-kv.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-autoref.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/aliasctr.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-listof.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-restate.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-amsthm.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/ccicons/ccicons.sty) Class scrartcl Warning: Usage of package `tocbibind' together (scrartcl) with a KOMA-Script class is not recommended. (scrartcl) I'd suggest to use options like `listof=totoc' (scrartcl) or `bibliography=totoc', or commands like (scrartcl) `\setuptoc{toc}{totoc}' instead of this package, (scrartcl) because it breaks several KOMA-Script features of (scrartcl) the list of figures, list of tables, bibliography, (scrartcl) index and the running head. (scrartcl) Nevertheless, using requested (scrartcl) package `tocbibind' on input line 37. (/opt/texlive/2023/texmf-dist/tex/latex/tocbibind/tocbibind.sty Package tocbibind Note: Using section or other style headings. ) (/opt/texlive/2023/texmf-dist/tex/latex/imakeidx/imakeidx.sty (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifxetex.sty) (/opt/texlive/2023/texmf-dist/tex/latex/tools/multicol.sty)) Writing index file doc.idx Writing index file rules.idx (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/hyperref.sty (/opt/texlive/2023/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/opt/texlive/2023/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hycolor/hycolor.sty) (/opt/texlive/2023/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/opt/texlive/2023/texmf-dist/tex/latex/auxhook/auxhook.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/nameref.sty (/opt/texlive/2023/texmf-dist/tex/latex/refcount/refcount.sty) (/opt/texlive/2023/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/pd1enc.def) (/opt/texlive/2023/texmf-dist/tex/generic/intcalc/intcalc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/puenc.def) (/opt/texlive/2023/texmf-dist/tex/generic/bitset/bitset.sty (/opt/texlive/2023/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/hluatex.def (/opt/texlive/2023/texmf-dist/tex/generic/stringenc/stringenc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/opt/texlive/2023/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/opt/texlive/2023/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/breakurl/breakurl.sty (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifpdf.sty) Package breakurl Warning: You are using breakurl while processing via pdflatex. (breakurl) \burl will be just a synonym of \url. (breakurl) on input line 48. ) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/graphicx.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/graphics.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/trig.sty) (/opt/texlive/2023/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/opt/texlive/2023/texmf-dist/tex/latex/graphics-def/luatex.def))) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered. code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def ))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.t ex)) (/opt/texlive/2023/texmf-dist/tex/latex/xcolor/xcolor.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/opt/texlive/2023/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometr ic.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code .tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarit hmetics.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.c ode.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.co de.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations .code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.te x) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.co de.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65. sty) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18. sty)) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarytopaths.code.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/tikzmark/tikzlibrarytikzmark.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarypositioning.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.geometric.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .geometric.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.misc.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .misc.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.symbols.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .symbols.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.arrows.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .arrows.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.callouts.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .callouts.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.multipart.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .multipart.code.tex))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryarrows.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.t ex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryfit.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryscopes.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.c ode.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarysvg.path.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibrarysvg.path.code .tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleparser.code.tex) )) (/opt/texlive/2023/texmf-dist/tex/latex/bussproofs/bussproofs.sty Proof Tree (bussproofs) style macros. Version 1.1. ) (/opt/texlive/2023/texmf-dist/tex/generic/babel/babel.sty (/opt/texlive/2023/texmf-dist/tex/generic/babel/luababel.def) (/opt/texlive/2023/texmf-dist/tex/generic/babel/luababel.def) (/opt/texlive/2023/texmf-dist/tex/generic/babel-english/english.ldf)) (/opt/texlive/2023/texmf-dist/tex/generic/babel/locale/en/babel-english.tex) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype.sty (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype-luatex.def) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype.cfg))./highlight.py No file doc.aux. (/opt/texlive/2023/texmf-dist/tex/latex/bookmark/bookmark.sty (/opt/texlive/2023/texmf-dist/tex/latex/bookmark/bkm-pdftex.def)) (/opt/texlive/2023/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/opt/texlive/2023/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/opt/texlive/2023/texmf-dist/tex/latex/grfext/grfext.sty) (/opt/texlive/2023/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/mt-NewComputerModern.cfg) No file doc.toc. sh: write error: Broken pipe (|./version.sh) [1{/opt/texlive/2023/texmf-var/fonts/map/pdftex/updmap/pdftex.m ap}] LaTeX Warning: Citation `wp:alethe' on page 2 undefined on input line 287. LaTeX Warning: Reference `sec:alethe:language' on page 2 undefined on input lin e 296. LaTeX Warning: Reference `sec:alethe:semantics' on page 2 undefined on input li ne 298. LaTeX Warning: Reference `sec:alethe:rules-generic' on page 2 undefined on inpu t line 303. LaTeX Warning: Reference `apx:rules' on page 2 undefined on input line 306. [2] LaTeX Warning: Citation `barbosa-2022' on page 3 undefined on input line 325. LaTeX Warning: Citation `fleury-2019' on page 3 undefined on input line 330. LaTeX Warning: Citation `schurr-2021' on page 3 undefined on input line 330. LaTeX Warning: Citation `SMTCoq' on page 3 undefined on input line 333. LaTeX Warning: Citation `besson-2011' on page 3 undefined on input line 343. LaTeX Warning: Citation `deharbe-2011' on page 3 undefined on input line 344. LaTeX Warning: Citation `barbosa-2019' on page 3 undefined on input line 348. [3] LaTeX Warning: Hyper reference `rule:assume' on page 4 undefined on input line 424. LaTeX Warning: Hyper reference `rule:assume' on page 4 undefined on input line 424. LaTeX Warning: Hyper reference `rule:forall_inst' on page 4 undefined on input line 424. LaTeX Warning: Hyper reference `rule:or' on page 4 undefined on input line 424. LaTeX Warning: Hyper reference `rule:resolution' on page 4 undefined on input l ine 424. [4] LaTeX Warning: Reference `apx:rules' on page 5 undefined on input line 471. LaTeX Warning: Reference `apx:rules' on page 5 undefined on input line 485. LaTeX Warning: Hyper reference `rule:assume' on page 5 undefined on input line 496. LaTeX Warning: Hyper reference `rule:assume' on page 5 undefined on input line 498. LaTeX Warning: Hyper reference `rule:subproof' on page 5 undefined on input lin e 501. LaTeX Warning: Hyper reference `rule:assume' on page 5 undefined on input line 502. (./_minted-doc/trac.pygstyle) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Reference `sec:alethe:syntax' on page 5 undefined on input line 504. LaTeX Warning: Hyper reference `rule:subproof' on page 5 undefined on input lin e 514. LaTeX Warning: Hyper reference `rule:subproof' on page 5 undefined on input lin e 518. LaTeX Warning: Hyper reference `rule:subproof' on page 5 undefined on input lin e 521. LaTeX Warning: Hyper reference `rule:subproof' on page 5 undefined on input lin e 527. LaTeX Warning: Hyper reference `rule:bind' on page 5 undefined on input line 52 8. [5] LaTeX Warning: Hyper reference `rule:assume' on page 6 undefined on input line 545. LaTeX Warning: Hyper reference `rule:assume' on page 6 undefined on input line 545. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 6 undefined on input line 545. LaTeX Warning: Hyper reference `rule:trans' on page 6 undefined on input line 5 45. LaTeX Warning: Hyper reference `rule:subproof' on page 6 undefined on input lin e 545. LaTeX Warning: Hyper reference `rule:eq_simplify' on page 6 undefined on input line 545. LaTeX Warning: Hyper reference `rule:equiv_pos2' on page 6 undefined on input l ine 545. LaTeX Warning: Hyper reference `rule:resolution' on page 6 undefined on input l ine 545. LaTeX Warning: Reference `apx:rules' on page 6 undefined on input line 597. LaTeX Warning: Hyper reference `rule:bind' on page 6 undefined on input line 60 5. LaTeX Warning: Hyper reference `rule:refl' on page 6 undefined on input line 60 6. LaTeX Warning: Reference `sec:alethe:semantics' on page 6 undefined on input li ne 611. [6] LaTeX Warning: Hyper reference `rule:assume' on page 7 undefined on input line 628. LaTeX Warning: Hyper reference `rule:assume' on page 7 undefined on input line 628. LaTeX Warning: Hyper reference `rule:refl' on page 7 undefined on input line 62 8. LaTeX Warning: Hyper reference `rule:cong' on page 7 undefined on input line 62 8. LaTeX Warning: Hyper reference `rule:bind' on page 7 undefined on input line 62 8. LaTeX Warning: Hyper reference `rule:equiv_pos2' on page 7 undefined on input l ine 628. LaTeX Warning: Hyper reference `rule:resolution' on page 7 undefined on input l ine 628. LaTeX Warning: Reference `fig:proof_ex' on page 7 undefined on input line 656. (./_minted-doc/7974E7AD4633A7426FC13B3CF80DA1752757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/76CCE96A0C81CA846A2B40A401B42D302757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/C71D3D73E9854D229CC4CD25E8652C442757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/070C0A1076010C56543C70410B70CB332757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/0879959AEA5AAD4BA2D3395AF097B6A52757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/30C8C8D82D280ECF9BF3D25356A5556C2757B58F59BC117490A82BE95D35EE1D .pygtex) [7] LaTeX Warning: Reference `fig:grammar' on page 8 undefined on input line 760. LaTeX Warning: Citation `SMTLIB' on page 8 undefined on input line 762. (./_minted-doc/EB844645E8E61DE0A4CF4B991E65E63E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/765334955BC422B162B04A7248CAF9922757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D3182ED8A07BE0B9FCB94DCAA5CBAF112757B58F59BC117490A82BE95D35EE1D .pygtex) [8] (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D42F2DA1DF5ECDF29BE4AC27EDDA0C122757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [9] (./_minted-doc/FB16CEA549460DE130D206C3387AF75E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5B7830E6F763954C3C48B1590CCBD6D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/A5AD12EB6447538F19C5182A390514FA2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/45DD4B206493309CD40884CACF1881EA2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/744EA28F6C1D7870450AB8BAA46EF92B2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D2A02CF81B2D449CC576DE47B5E0361B2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:subproof' on page 10 undefined on input li ne 865. LaTeX Warning: Hyper reference `rule:bind' on page 10 undefined on input line 8 65. (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) [10] (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:subproof' on page 11 undefined on input li ne 889. (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Reference `page:ctxdef' on page 11 undefined on input line 895. (./_minted-doc/5B7830E6F763954C3C48B1590CCBD6D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Reference `fig:proof_ex' on page 11 undefined on input line 908. (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:bind' on page 11 undefined on input line 9 10. (./_minted-doc/09D8EE833D5A69273B516D33024F18772757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/CC4368D20377F84EC5B88B80F06210692757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Reference `ex:ti:ctx-abstract' on page 11 undefined on input lin e 920. (./_minted-doc/476BE7A57545DC3F7AE1B65363F53D642757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: `h' float specifier changed to `ht'. LaTeX Warning: Reference `fig:proof-states' on page 11 undefined on input line 961. (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) [11] (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) [12] (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B64531A43B0D46E1B5E1E64D2E1744FB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/898D7643D7E934080C302A87E143F8312757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [13] LaTeX Warning: Reference `ex:ti:ctx-concrete' on page 14 undefined on input lin e 1099. (./_minted-doc/921DC10349B98815E882366737029C812757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Reference `ex:ti:ctx-concrete' on page 14 undefined on input lin e 1138. LaTeX Warning: Reference `apx:rules' on page 14 undefined on input line 1146. [14] LaTeX Warning: Hyper reference `rule:subproof' on page 15 undefined on input li ne 1165. LaTeX Warning: Hyper reference `rule:assume' on page 15 undefined on input line 1166. LaTeX Warning: Hyper reference `rule:subproof' on page 15 undefined on input li ne 1167. LaTeX Warning: Reference `sec:alethe:soundness-eh' on page 15 undefined on inpu t line 1171. LaTeX Warning: Hyper reference `rule:hole' on page 15 undefined on input line 1 181. LaTeX Warning: Hyper reference `rule:let' on page 15 undefined on input line 11 86. LaTeX Warning: Reference `ex:ti:ctx-concrete' on page 15 undefined on input lin e 1195. (./_minted-doc/8351B88848772C2F05280DD86E7034B42757B58F59BC117490A82BE95D35EE1D .pygtex) [15] LaTeX Warning: Hyper reference `rule:hole' on page 16 undefined on input line 1 223. LaTeX Warning: Reference `ex:ti:ctx-concrete' on page 16 undefined on input lin e 1238. LaTeX Warning: Citation `barbosa-2019' on page 16 undefined on input line 1256. [16] LaTeX Warning: Citation `barbosa-2019' on page 17 undefined on input line 1314. LaTeX Warning: Reference `ex:alethe:substctx' on page 17 undefined on input lin e 1317. LaTeX Warning: Hyper reference `rule:refl' on page 17 undefined on input line 1 328. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 17 undefined on inpu t line 1352. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 17 undefined on inpu t line 1361. [17] LaTeX Warning: Hyper reference `rule:sum_simplify' on page 18 undefined on inpu t line 1370. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 18 undefined on inpu t line 1378. LaTeX Warning: Citation `barbosa-2019' on page 18 undefined on input line 1391. (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:assume' on page 18 undefined on input line 1409. LaTeX Warning: Hyper reference `rule:subproof' on page 18 undefined on input li ne 1434. LaTeX Warning: Hyper reference `rule:assume' on page 18 undefined on input line 1442. LaTeX Warning: Hyper reference `rule:assume' on page 18 undefined on input line 1450. [18] LaTeX Warning: Hyper reference `rule:assume' on page 19 undefined on input line 1455. LaTeX Warning: Hyper reference `rule:assume' on page 19 undefined on input line 1471. LaTeX Warning: Hyper reference `rule:subproof' on page 19 undefined on input li ne 1485. LaTeX Warning: Reference `lem:sound_subproof' on page 19 undefined on input lin e 1489. LaTeX Warning: Hyper reference `rule:let' on page 19 undefined on input line 14 91. LaTeX Warning: Hyper reference `rule:bind' on page 19 undefined on input line 1 497. LaTeX Warning: Hyper reference `rule:sko_ex' on page 19 undefined on input line 1497. LaTeX Warning: Hyper reference `rule:sko_forall' on page 19 undefined on input line 1497. LaTeX Warning: Hyper reference `rule:onepoint' on page 19 undefined on input li ne 1498. LaTeX Warning: Hyper reference `rule:let' on page 19 undefined on input line 14 98. LaTeX Warning: Hyper reference `rule:let' on page 19 undefined on input line 15 03. LaTeX Warning: Hyper reference `rule:assume' on page 19 undefined on input line 1505. LaTeX Warning: Reference `lem:sound_subproof' on page 19 undefined on input lin e 1535. LaTeX Warning: Hyper reference `rule:subproof' on page 19 undefined on input li ne 1538. [19] LaTeX Warning: Hyper reference `rule:let' on page 20 undefined on input line 15 45. LaTeX Warning: Hyper reference `rule:assume' on page 20 undefined on input line 1553. LaTeX Warning: Hyper reference `rule:subproof' on page 20 undefined on input li ne 1556. LaTeX Warning: Reference `lem:sound_subproof' on page 20 undefined on input lin e 1559. LaTeX Warning: Reference `lem:sound_subproof' on page 20 undefined on input lin e 1566. LaTeX Warning: Reference `lem:sound_subproof_context' on page 20 undefined on i nput line 1567. LaTeX Warning: Reference `thm:sound' on page 20 undefined on input line 1569. LaTeX Warning: Hyper reference `rule:hole' on page 20 undefined on input line 1 573. LaTeX Warning: Hyper reference `rule:hole' on page 20 undefined on input line 1 575. LaTeX Warning: Hyper reference `rule:hole' on page 20 undefined on input line 1 576. LaTeX Warning: Reference `sec:alethe:semantics' on page 20 undefined on input l ine 1581. LaTeX Warning: Reference `lem:sound_subproof' on page 20 undefined on input lin e 1589. LaTeX Warning: Reference `lem:sound_subproof_context' on page 20 undefined on i nput line 1590. LaTeX Warning: Reference `lem:sound_subproof' on page 20 undefined on input lin e 1598. LaTeX Warning: Reference `lem:sound_subproof' on page 20 undefined on input lin e 1604. LaTeX Warning: Hyper reference `rule:assume' on page 20 undefined on input line 1606. LaTeX Warning: Hyper reference `rule:assume' on page 20 undefined on input line 1608. LaTeX Warning: Reference `apx:rules' on page 20 undefined on input line 1619. [20] LaTeX Warning: Hyper reference `rule:and_pos' on page 21 undefined on input lin e 1627. LaTeX Warning: Hyper reference `rule:implies' on page 21 undefined on input lin e 1633. (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:or' on page 21 undefined on input line 164 9. LaTeX Warning: Hyper reference `rule:resolution' on page 21 undefined on input line 1653. LaTeX Warning: Hyper reference `rule:th_resolution' on page 21 undefined on inp ut line 1653. LaTeX Warning: Hyper reference `rule:forall_inst' on page 21 undefined on input line 1666. LaTeX Warning: Hyper reference `rule:forall_inst' on page 21 undefined on input line 1673. LaTeX Warning: Hyper reference `rule:forall_inst' on page 21 undefined on input line 1675. LaTeX Warning: Hyper reference `rule:la_totality' on page 21 undefined on input line 1684. LaTeX Warning: Hyper reference `rule:la_generic' on page 21 undefined on input line 1686. LaTeX Warning: Hyper reference `rule:la_generic' on page 21 undefined on input line 1687. LaTeX Warning: Hyper reference `rule:la_generic' on page 21 undefined on input line 1692. [21] LaTeX Warning: Hyper reference `rule:assume' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:assume' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:assume' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:or' on page 22 undefined on input line 171 0. LaTeX Warning: Hyper reference `rule:la_generic' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:resolution' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:resolution' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:la_generic' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:resolution' on page 22 undefined on input line 1710. LaTeX Warning: Hyper reference `rule:sko_ex' on page 22 undefined on input line 1714. LaTeX Warning: Hyper reference `rule:sko_ex' on page 22 undefined on input line 1722. LaTeX Warning: Hyper reference `rule:sko_ex' on page 22 undefined on input line 1733. LaTeX Warning: Citation `barbosa-2019' on page 22 undefined on input line 1737. LaTeX Warning: Hyper reference `rule:refl' on page 22 undefined on input line 1 738. LaTeX Warning: Hyper reference `rule:cong' on page 22 undefined on input line 1 739. LaTeX Warning: Hyper reference `rule:sko_forall' on page 22 undefined on input line 1740. LaTeX Warning: Hyper reference `rule:sko_ex' on page 22 undefined on input line 1741. LaTeX Warning: Hyper reference `rule:refl' on page 22 undefined on input line 1 752. LaTeX Warning: Hyper reference `rule:cong' on page 22 undefined on input line 1 752. LaTeX Warning: Hyper reference `rule:sko_forall' on page 22 undefined on input line 1752. LaTeX Warning: Hyper reference `rule:cong' on page 22 undefined on input line 1 752. (./_minted-doc/52BE43E921687B651F590BF3FFEE6E6F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F58865AA09D1A5CC0BF186D3366C5FF02757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5F50F137B543CEC724DBCEC063FF92F22757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/2C5AC1E09598DE4E5149215DB06FF3C82757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/BE47903447490C648611C2F6003B8D962757B58F59BC117490A82BE95D35EE1D .pygtex) [22] (./_minted-doc/CB93A07796DB839DD8D9D8F05098F43F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DF4F528C11184EE90458823C36BEF5112757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/508D1247A2B178415BA27B2C1C10D4662757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/96927D6B62B7494AC58065DFE1DBB2F82757B58F59BC117490A82BE95D35EE1D .pygtex) [23] (./_minted-doc/401B30E3B8B5D629635A5C613CDB79192757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B313647280B5DBCC00239902EEA6923E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/401B30E3B8B5D629635A5C613CDB79192757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B026324C6904B2A9CB4B88D6D61C81D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F013945499B6BD862576B7DA6C6651742757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/A7E742B6C12E8BBA31097F23F51790C52757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B026324C6904B2A9CB4B88D6D61C81D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/2136FC2FD80E60EAC2E0FD83E0F906F62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) [24] (./rule_list.tex LaTeX Warning: Hyper reference `rule:la_generic' on page 25 undefined on input line 4. LaTeX Warning: Reference `rule-tab:special' on page 25 undefined on input line 8. LaTeX Warning: Reference `rule-tab:tautologies' on page 25 undefined on input l ine 9. LaTeX Warning: Reference `sec:alethe:rules-list' on page 25 undefined on input line 12. LaTeX Warning: Reference `sec:alethe:rules-index' on page 25 undefined on input line 14. LaTeX Warning: Hyper reference `rule:assume' on page 25 undefined on input line 28. LaTeX Warning: Reference `rule:assume' on page 25 undefined on input line 28. LaTeX Warning: Hyper reference `rule:hole' on page 25 undefined on input line 2 8. LaTeX Warning: Reference `rule:hole' on page 25 undefined on input line 28. LaTeX Warning: Hyper reference `rule:subproof' on page 25 undefined on input li ne 28. LaTeX Warning: Reference `rule:subproof' on page 25 undefined on input line 28. LaTeX Warning: Hyper reference `rule:resolution' on page 25 undefined on input line 39. LaTeX Warning: Reference `rule:resolution' on page 25 undefined on input line 3 9. LaTeX Warning: Hyper reference `rule:th_resolution' on page 25 undefined on inp ut line 39. LaTeX Warning: Reference `rule:th_resolution' on page 25 undefined on input lin e 39. LaTeX Warning: Hyper reference `rule:resolution' on page 25 undefined on input line 39. LaTeX Warning: Hyper reference `rule:tautology' on page 25 undefined on input l ine 39. LaTeX Warning: Reference `rule:tautology' on page 25 undefined on input line 39 . LaTeX Warning: Hyper reference `rule:contraction' on page 25 undefined on input line 39. LaTeX Warning: Reference `rule:contraction' on page 25 undefined on input line 39. LaTeX Warning: Hyper reference `rule:true' on page 25 undefined on input line 1 05. LaTeX Warning: Reference `rule:true' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:false' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:false' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:not_not' on page 25 undefined on input lin e 105. LaTeX Warning: Reference `rule:not_not' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:la_generic' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:la_generic' on page 25 undefined on input line 1 05. LaTeX Warning: Hyper reference `rule:lia_generic' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:lia_generic' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:la_disequality' on page 25 undefined on in put line 105. LaTeX Warning: Reference `rule:la_disequality' on page 25 undefined on input li ne 105. LaTeX Warning: Hyper reference `rule:la_totality' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:la_totality' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:la_tautology' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:la_tautology' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:la_mult_pos' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:la_mult_pos' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:la_mult_neg' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:la_mult_neg' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:forall_inst' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:forall_inst' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:refl' on page 25 undefined on input line 1 05. LaTeX Warning: Reference `rule:refl' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:eq_reflexive' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:eq_reflexive' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:eq_transitive' on page 25 undefined on inp ut line 105. LaTeX Warning: Reference `rule:eq_transitive' on page 25 undefined on input lin e 105. LaTeX Warning: Hyper reference `rule:eq_congruent' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:eq_congruent' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:eq_congruent_pred' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:eq_congruent_pred' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:qnt_cnf' on page 25 undefined on input lin e 105. LaTeX Warning: Reference `rule:qnt_cnf' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:and_pos' on page 25 undefined on input lin e 105. LaTeX Warning: Reference `rule:and_pos' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:and_neg' on page 25 undefined on input lin e 105. LaTeX Warning: Reference `rule:and_neg' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:or_pos' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:or_pos' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:or_neg' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:or_neg' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:xor_pos1' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:xor_pos1' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:xor_pos2' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:xor_pos2' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:xor_neg1' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:xor_neg1' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:xor_neg2' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:xor_neg2' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:implies_pos' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:implies_pos' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:implies_neg1' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:implies_neg1' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:implies_neg2' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:implies_neg2' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:equiv_pos1' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:equiv_pos1' on page 25 undefined on input line 1 05. LaTeX Warning: Hyper reference `rule:equiv_pos2' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:equiv_pos2' on page 25 undefined on input line 1 05. LaTeX Warning: Hyper reference `rule:equiv_neg1' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:equiv_neg1' on page 25 undefined on input line 1 05. LaTeX Warning: Hyper reference `rule:equiv_neg2' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:equiv_neg2' on page 25 undefined on input line 1 05. LaTeX Warning: Hyper reference `rule:ite_pos1' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:ite_pos1' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:ite_pos2' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:ite_pos2' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:ite_neg1' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:ite_neg1' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:ite_neg2' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:ite_neg2' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:connective_def' on page 25 undefined on in put line 105. LaTeX Warning: Reference `rule:connective_def' on page 25 undefined on input li ne 105. LaTeX Warning: Hyper reference `rule:and_simplify' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:and_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:or_simplify' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:or_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:not_simplify' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:not_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:implies_simplify' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:implies_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:equiv_simplify' on page 25 undefined on in put line 105. LaTeX Warning: Reference `rule:equiv_simplify' on page 25 undefined on input li ne 105. LaTeX Warning: Hyper reference `rule:bool_simplify' on page 25 undefined on inp ut line 105. LaTeX Warning: Reference `rule:bool_simplify' on page 25 undefined on input lin e 105. LaTeX Warning: Hyper reference `rule:ac_simp' on page 25 undefined on input lin e 105. LaTeX Warning: Reference `rule:ac_simp' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:ite_simplify' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:ite_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:qnt_simplify' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:qnt_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:qnt_join' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:qnt_join' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:qnt_rm_unused' on page 25 undefined on inp ut line 105. LaTeX Warning: Reference `rule:qnt_rm_unused' on page 25 undefined on input lin e 105. LaTeX Warning: Hyper reference `rule:eq_simplify' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:eq_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:div_simplify' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:div_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:prod_simplify' on page 25 undefined on inp ut line 105. LaTeX Warning: Reference `rule:prod_simplify' on page 25 undefined on input lin e 105. LaTeX Warning: Hyper reference `rule:unary_minus_simplify' on page 25 undefined on input line 105. LaTeX Warning: Reference `rule:unary_minus_simplify' on page 25 undefined on in put line 105. LaTeX Warning: Hyper reference `rule:minus_simplify' on page 25 undefined on in put line 105. LaTeX Warning: Reference `rule:minus_simplify' on page 25 undefined on input li ne 105. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:sum_simplify' on page 25 undefined on input line 105. LaTeX Warning: Hyper reference `rule:comp_simplify' on page 25 undefined on inp ut line 105. LaTeX Warning: Reference `rule:comp_simplify' on page 25 undefined on input lin e 105. LaTeX Warning: Hyper reference `rule:distinct_elim' on page 25 undefined on inp ut line 105. LaTeX Warning: Reference `rule:distinct_elim' on page 25 undefined on input lin e 105. LaTeX Warning: Hyper reference `rule:la_rw_eq' on page 25 undefined on input li ne 105. LaTeX Warning: Reference `rule:la_rw_eq' on page 25 undefined on input line 105 . LaTeX Warning: Hyper reference `rule:nary_elim' on page 25 undefined on input l ine 105. LaTeX Warning: Reference `rule:nary_elim' on page 25 undefined on input line 10 5. LaTeX Warning: Hyper reference `rule:eq_symmetric' on page 25 undefined on inpu t line 105. LaTeX Warning: Reference `rule:eq_symmetric' on page 25 undefined on input line 105. [25] [26] LaTeX Warning: Hyper reference `rule:la_generic' on page 27 undefined on input line 126. LaTeX Warning: Reference `rule:la_generic' on page 27 undefined on input line 1 26. LaTeX Warning: Hyper reference `rule:lia_generic' on page 27 undefined on input line 126. LaTeX Warning: Reference `rule:lia_generic' on page 27 undefined on input line 126. LaTeX Warning: Hyper reference `rule:la_disequality' on page 27 undefined on in put line 126. LaTeX Warning: Reference `rule:la_disequality' on page 27 undefined on input li ne 126. LaTeX Warning: Hyper reference `rule:la_totality' on page 27 undefined on input line 126. LaTeX Warning: Reference `rule:la_totality' on page 27 undefined on input line 126. LaTeX Warning: Hyper reference `rule:la_tautology' on page 27 undefined on inpu t line 126. LaTeX Warning: Reference `rule:la_tautology' on page 27 undefined on input line 126. LaTeX Warning: Hyper reference `rule:la_mult_pos' on page 27 undefined on input line 126. LaTeX Warning: Reference `rule:la_mult_pos' on page 27 undefined on input line 126. LaTeX Warning: Hyper reference `rule:la_mult_neg' on page 27 undefined on input line 126. LaTeX Warning: Reference `rule:la_mult_neg' on page 27 undefined on input line 126. LaTeX Warning: Hyper reference `rule:la_rw_eq' on page 27 undefined on input li ne 126. LaTeX Warning: Reference `rule:la_rw_eq' on page 27 undefined on input line 126 . LaTeX Warning: Hyper reference `rule:div_simplify' on page 27 undefined on inpu t line 126. LaTeX Warning: Reference `rule:div_simplify' on page 27 undefined on input line 126. LaTeX Warning: Hyper reference `rule:prod_simplify' on page 27 undefined on inp ut line 126. LaTeX Warning: Reference `rule:prod_simplify' on page 27 undefined on input lin e 126. LaTeX Warning: Hyper reference `rule:unary_minus_simplify' on page 27 undefined on input line 126. LaTeX Warning: Reference `rule:unary_minus_simplify' on page 27 undefined on in put line 126. LaTeX Warning: Hyper reference `rule:minus_simplify' on page 27 undefined on in put line 126. LaTeX Warning: Reference `rule:minus_simplify' on page 27 undefined on input li ne 126. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 27 undefined on inpu t line 126. LaTeX Warning: Reference `rule:sum_simplify' on page 27 undefined on input line 126. LaTeX Warning: Hyper reference `rule:comp_simplify' on page 27 undefined on inp ut line 126. LaTeX Warning: Reference `rule:comp_simplify' on page 27 undefined on input lin e 126. LaTeX Warning: Hyper reference `rule:forall_inst' on page 27 undefined on input line 142. LaTeX Warning: Reference `rule:forall_inst' on page 27 undefined on input line 142. LaTeX Warning: Hyper reference `rule:bind' on page 27 undefined on input line 1 42. LaTeX Warning: Reference `rule:bind' on page 27 undefined on input line 142. LaTeX Warning: Hyper reference `rule:sko_ex' on page 27 undefined on input line 142. LaTeX Warning: Reference `rule:sko_ex' on page 27 undefined on input line 142. LaTeX Warning: Hyper reference `rule:sko_forall' on page 27 undefined on input line 142. LaTeX Warning: Reference `rule:sko_forall' on page 27 undefined on input line 1 42. LaTeX Warning: Hyper reference `rule:qnt_cnf' on page 27 undefined on input lin e 142. LaTeX Warning: Reference `rule:qnt_cnf' on page 27 undefined on input line 142. LaTeX Warning: Hyper reference `rule:qnt_simplify' on page 27 undefined on inpu t line 142. LaTeX Warning: Reference `rule:qnt_simplify' on page 27 undefined on input line 142. LaTeX Warning: Hyper reference `rule:onepoint' on page 27 undefined on input li ne 142. LaTeX Warning: Reference `rule:onepoint' on page 27 undefined on input line 142 . LaTeX Warning: Hyper reference `rule:qnt_join' on page 27 undefined on input li ne 142. LaTeX Warning: Reference `rule:qnt_join' on page 27 undefined on input line 142 . LaTeX Warning: Hyper reference `rule:qnt_rm_unused' on page 27 undefined on inp ut line 142. LaTeX Warning: Reference `rule:qnt_rm_unused' on page 27 undefined on input lin e 142. [27] LaTeX Warning: Hyper reference `rule:sko_ex' on page 28 undefined on input line 151. LaTeX Warning: Reference `rule:sko_ex' on page 28 undefined on input line 151. LaTeX Warning: Hyper reference `rule:sko_forall' on page 28 undefined on input line 151. LaTeX Warning: Reference `rule:sko_forall' on page 28 undefined on input line 1 51. LaTeX Warning: Hyper reference `rule:and' on page 28 undefined on input line 20 6. LaTeX Warning: Reference `rule:and' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:not_or' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:not_or' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:or' on page 28 undefined on input line 206 . LaTeX Warning: Reference `rule:or' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:not_and' on page 28 undefined on input lin e 206. LaTeX Warning: Reference `rule:not_and' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:xor1' on page 28 undefined on input line 2 06. LaTeX Warning: Reference `rule:xor1' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:xor2' on page 28 undefined on input line 2 06. LaTeX Warning: Reference `rule:xor2' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:not_xor1' on page 28 undefined on input li ne 206. LaTeX Warning: Reference `rule:not_xor1' on page 28 undefined on input line 206 . LaTeX Warning: Hyper reference `rule:not_xor2' on page 28 undefined on input li ne 206. LaTeX Warning: Reference `rule:not_xor2' on page 28 undefined on input line 206 . LaTeX Warning: Hyper reference `rule:implies' on page 28 undefined on input lin e 206. LaTeX Warning: Reference `rule:implies' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:not_implies1' on page 28 undefined on inpu t line 206. LaTeX Warning: Reference `rule:not_implies1' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:not_implies2' on page 28 undefined on inpu t line 206. LaTeX Warning: Reference `rule:not_implies2' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:equiv1' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:equiv1' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:equiv2' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:equiv2' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:not_equiv1' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:not_equiv1' on page 28 undefined on input line 2 06. LaTeX Warning: Hyper reference `rule:not_equiv2' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:not_equiv2' on page 28 undefined on input line 2 06. LaTeX Warning: Hyper reference `rule:and_pos' on page 28 undefined on input lin e 206. LaTeX Warning: Reference `rule:and_pos' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:and_neg' on page 28 undefined on input lin e 206. LaTeX Warning: Reference `rule:and_neg' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:or_pos' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:or_pos' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:or_neg' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:or_neg' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:xor_pos1' on page 28 undefined on input li ne 206. LaTeX Warning: Reference `rule:xor_pos1' on page 28 undefined on input line 206 . LaTeX Warning: Hyper reference `rule:xor_pos2' on page 28 undefined on input li ne 206. LaTeX Warning: Reference `rule:xor_pos2' on page 28 undefined on input line 206 . LaTeX Warning: Hyper reference `rule:xor_neg1' on page 28 undefined on input li ne 206. LaTeX Warning: Reference `rule:xor_neg1' on page 28 undefined on input line 206 . LaTeX Warning: Hyper reference `rule:xor_neg2' on page 28 undefined on input li ne 206. LaTeX Warning: Reference `rule:xor_neg2' on page 28 undefined on input line 206 . LaTeX Warning: Hyper reference `rule:implies_pos' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:implies_pos' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:implies_neg1' on page 28 undefined on inpu t line 206. LaTeX Warning: Reference `rule:implies_neg1' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:implies_neg2' on page 28 undefined on inpu t line 206. LaTeX Warning: Reference `rule:implies_neg2' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:equiv_pos1' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:equiv_pos1' on page 28 undefined on input line 2 06. LaTeX Warning: Hyper reference `rule:equiv_pos2' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:equiv_pos2' on page 28 undefined on input line 2 06. LaTeX Warning: Hyper reference `rule:equiv_neg1' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:equiv_neg1' on page 28 undefined on input line 2 06. LaTeX Warning: Hyper reference `rule:equiv_neg2' on page 28 undefined on input line 206. LaTeX Warning: Reference `rule:equiv_neg2' on page 28 undefined on input line 2 06. LaTeX Warning: Hyper reference `rule:let' on page 28 undefined on input line 20 6. LaTeX Warning: Reference `rule:let' on page 28 undefined on input line 206. LaTeX Warning: Hyper reference `rule:distinct_elim' on page 28 undefined on inp ut line 206. LaTeX Warning: Reference `rule:distinct_elim' on page 28 undefined on input lin e 206. LaTeX Warning: Hyper reference `rule:nary_elim' on page 28 undefined on input l ine 206. LaTeX Warning: Reference `rule:nary_elim' on page 28 undefined on input line 20 6. [28] LaTeX Warning: Hyper reference `rule:connective_def' on page 29 undefined on in put line 235. LaTeX Warning: Reference `rule:connective_def' on page 29 undefined on input li ne 235. LaTeX Warning: Hyper reference `rule:and_simplify' on page 29 undefined on inpu t line 235. LaTeX Warning: Reference `rule:and_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:or_simplify' on page 29 undefined on input line 235. LaTeX Warning: Reference `rule:or_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:not_simplify' on page 29 undefined on inpu t line 235. LaTeX Warning: Reference `rule:not_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:implies_simplify' on page 29 undefined on input line 235. LaTeX Warning: Reference `rule:implies_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:equiv_simplify' on page 29 undefined on in put line 235. LaTeX Warning: Reference `rule:equiv_simplify' on page 29 undefined on input li ne 235. LaTeX Warning: Hyper reference `rule:bool_simplify' on page 29 undefined on inp ut line 235. LaTeX Warning: Reference `rule:bool_simplify' on page 29 undefined on input lin e 235. LaTeX Warning: Hyper reference `rule:ac_simp' on page 29 undefined on input lin e 235. LaTeX Warning: Reference `rule:ac_simp' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:ite_simplify' on page 29 undefined on inpu t line 235. LaTeX Warning: Reference `rule:ite_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:qnt_simplify' on page 29 undefined on inpu t line 235. LaTeX Warning: Reference `rule:qnt_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:onepoint' on page 29 undefined on input li ne 235. LaTeX Warning: Reference `rule:onepoint' on page 29 undefined on input line 235 . LaTeX Warning: Hyper reference `rule:qnt_join' on page 29 undefined on input li ne 235. LaTeX Warning: Reference `rule:qnt_join' on page 29 undefined on input line 235 . LaTeX Warning: Hyper reference `rule:qnt_rm_unused' on page 29 undefined on inp ut line 235. LaTeX Warning: Reference `rule:qnt_rm_unused' on page 29 undefined on input lin e 235. LaTeX Warning: Hyper reference `rule:eq_simplify' on page 29 undefined on input line 235. LaTeX Warning: Reference `rule:eq_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:div_simplify' on page 29 undefined on inpu t line 235. LaTeX Warning: Reference `rule:div_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:prod_simplify' on page 29 undefined on inp ut line 235. LaTeX Warning: Reference `rule:prod_simplify' on page 29 undefined on input lin e 235. LaTeX Warning: Hyper reference `rule:unary_minus_simplify' on page 29 undefined on input line 235. LaTeX Warning: Reference `rule:unary_minus_simplify' on page 29 undefined on in put line 235. LaTeX Warning: Hyper reference `rule:minus_simplify' on page 29 undefined on in put line 235. LaTeX Warning: Reference `rule:minus_simplify' on page 29 undefined on input li ne 235. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 29 undefined on inpu t line 235. LaTeX Warning: Reference `rule:sum_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:comp_simplify' on page 29 undefined on inp ut line 235. LaTeX Warning: Reference `rule:comp_simplify' on page 29 undefined on input lin e 235. LaTeX Warning: Hyper reference `rule:qnt_simplify' on page 29 undefined on inpu t line 235. LaTeX Warning: Reference `rule:qnt_simplify' on page 29 undefined on input line 235. LaTeX Warning: Hyper reference `rule:bitblast_extract' on page 29 undefined on input line 245. LaTeX Warning: Reference `rule:bitblast_extract' on page 29 undefined on input line 245. LaTeX Warning: Hyper reference `rule:bitblast_ult' on page 29 undefined on inpu t line 245. LaTeX Warning: Reference `rule:bitblast_ult' on page 29 undefined on input line 245. LaTeX Warning: Hyper reference `rule:bitblast_add' on page 29 undefined on inpu t line 245. LaTeX Warning: Reference `rule:bitblast_add' on page 29 undefined on input line 245. LaTeX Warning: Hyper reference `rule:bitblast_extract' on page 29 undefined on input line 261. LaTeX Warning: Reference `rule:bitblast_extract' on page 29 undefined on input line 261. LaTeX Warning: Hyper reference `rule:bitblast_ult' on page 29 undefined on inpu t line 261. LaTeX Warning: Reference `rule:bitblast_ult' on page 29 undefined on input line 261. LaTeX Warning: Hyper reference `rule:bitblast_add' on page 29 undefined on inpu t line 261. LaTeX Warning: Reference `rule:bitblast_add' on page 29 undefined on input line 261. LaTeX Warning: Hyper reference `rule:la_mult_pos' on page 29 undefined on input line 261. LaTeX Warning: Reference `rule:la_mult_pos' on page 29 undefined on input line 261. LaTeX Warning: Hyper reference `rule:la_mult_neg' on page 29 undefined on input line 261. LaTeX Warning: Reference `rule:la_mult_neg' on page 29 undefined on input line 261. LaTeX Warning: Hyper reference `rule:symm' on page 29 undefined on input line 2 61. LaTeX Warning: Reference `rule:symm' on page 29 undefined on input line 261. LaTeX Warning: Hyper reference `rule:not_symm' on page 29 undefined on input li ne 261. LaTeX Warning: Reference `rule:not_symm' on page 29 undefined on input line 261 . LaTeX Warning: Hyper reference `rule:reordering' on page 29 undefined on input line 261. LaTeX Warning: Reference `rule:reordering' on page 29 undefined on input line 2 61. LaTeX Warning: Hyper reference `rule:shuffle' on page 29 undefined on input lin e 261. LaTeX Warning: Reference `rule:shuffle' on page 29 undefined on input line 261. [29] LaTeX Warning: Hyper reference `rule:weakening' on page 30 undefined on input l ine 270. LaTeX Warning: Reference `rule:weakening' on page 30 undefined on input line 27 0. LaTeX Warning: Hyper reference `rule:eq_symmetric' on page 30 undefined on inpu t line 270. LaTeX Warning: Reference `rule:eq_symmetric' on page 30 undefined on input line 270. LaTeX Warning: Hyper reference `rule:assume' on page 30 undefined on input line 285. (./_minted-doc/96D44917313F01659936BFB0CEF2FE052757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/6732127BB419DBDFC330A81A5DB540352757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:hole' on page 30 undefined on input line 3 04. LaTeX Warning: Hyper reference `rule:true' on page 30 undefined on input line 3 10. LaTeX Warning: Hyper reference `rule:false' on page 30 undefined on input line 316. LaTeX Warning: Hyper reference `rule:not_not' on page 30 undefined on input lin e 325. Underfull \hbox (badness 10000) in paragraph at lines 325--325 [30] LaTeX Warning: Hyper reference `rule:th_resolution' on page 31 undefined on inp ut line 358. LaTeX Warning: Hyper reference `rule:resolution' on page 31 undefined on input line 358. LaTeX Warning: Hyper reference `rule:th_resolution' on page 31 undefined on inp ut line 358. LaTeX Warning: Hyper reference `rule:th_resolution' on page 31 undefined on inp ut line 358. LaTeX Warning: Hyper reference `rule:th_resolution' on page 31 undefined on inp ut line 365. LaTeX Warning: Hyper reference `rule:tautology' on page 31 undefined on input l ine 378. LaTeX Warning: Hyper reference `rule:contraction' on page 31 undefined on input line 388. [31] LaTeX Warning: Hyper reference `rule:subproof' on page 32 undefined on input li ne 405. LaTeX Warning: Hyper reference `rule:assume' on page 32 undefined on input line 405. LaTeX Warning: Hyper reference `rule:assume' on page 32 undefined on input line 405. LaTeX Warning: Hyper reference `rule:assume' on page 32 undefined on input line 405. LaTeX Warning: Hyper reference `rule:subproof' on page 32 undefined on input li ne 405. Underfull \hbox (badness 10000) in paragraph at lines 405--405 LaTeX Warning: Hyper reference `rule:la_generic' on page 32 undefined on input line 478. LaTeX Warning: Hyper reference `rule:la_generic' on page 32 undefined on input line 478. LaTeX Warning: Hyper reference `rule:la_generic' on page 32 undefined on input line 478. (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Reference `la_generic:str' on page 32 undefined on input line 47 8. [32] LaTeX Warning: Hyper reference `rule:la_generic' on page 33 undefined on input line 483. (./_minted-doc/6A0336952B75699AEC5F7F720EC9067E2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:la_generic' on page 33 undefined on input line 498. (./_minted-doc/32F57F87942AFEAB6B2C8B1DC52E495C2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:la_generic' on page 33 undefined on input line 525. LaTeX Warning: Hyper reference `rule:lia_generic' on page 33 undefined on input line 525. LaTeX Warning: Hyper reference `rule:la_disequality' on page 33 undefined on in put line 533. LaTeX Warning: Hyper reference `rule:la_totality' on page 33 undefined on input line 539. [33] LaTeX Warning: Hyper reference `rule:la_tautology' on page 34 undefined on inpu t line 572. LaTeX Warning: Hyper reference `rule:la_generic' on page 34 undefined on input line 572. LaTeX Warning: Hyper reference `rule:la_tautology' on page 34 undefined on inpu t line 572. Underfull \hbox (badness 10000) in paragraph at lines 572--572 LaTeX Warning: Hyper reference `rule:la_generic' on page 34 undefined on input line 572. LaTeX Warning: Hyper reference `rule:la_generic' on page 34 undefined on input line 572. LaTeX Warning: Hyper reference `rule:la_mult_pos' on page 34 undefined on input line 594. Underfull \hbox (badness 10000) in paragraph at lines 594--594 Underfull \hbox (badness 10000) in paragraph at lines 594--594 LaTeX Warning: Hyper reference `rule:la_mult_pos' on page 34 undefined on input line 594. Underfull \hbox (badness 10000) in paragraph at lines 594--594 LaTeX Warning: Hyper reference `rule:la_mult_neg' on page 34 undefined on input line 629. Underfull \hbox (badness 10000) in paragraph at lines 629--629 [34] LaTeX Warning: Hyper reference `rule:la_mult_neg' on page 35 undefined on input line 629. LaTeX Warning: Hyper reference `rule:bind' on page 35 undefined on input line 6 48. LaTeX Warning: Hyper reference `rule:bind' on page 35 undefined on input line 6 48. Underfull \hbox (badness 10000) in paragraph at lines 648--648 LaTeX Warning: Hyper reference `rule:sko_ex' on page 35 undefined on input line 665. LaTeX Warning: Hyper reference `rule:sko_ex' on page 35 undefined on input line 665. Underfull \hbox (badness 10000) in paragraph at lines 665--665 LaTeX Warning: Hyper reference `rule:sko_forall' on page 35 undefined on input line 679. LaTeX Warning: Hyper reference `rule:sko_forall' on page 35 undefined on input line 679. Underfull \hbox (badness 10000) in paragraph at lines 679--679 LaTeX Warning: Hyper reference `rule:forall_inst' on page 35 undefined on input line 690. Underfull \hbox (badness 10000) in paragraph at lines 690--690 LaTeX Warning: Hyper reference `rule:forall_inst' on page 35 undefined on input line 693. (./_minted-doc/08E919A6BF149A60F266826F7A7CAD4D2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:refl' on page 35 undefined on input line 7 15. Underfull \hbox (badness 10000) in paragraph at lines 715--715 LaTeX Warning: Hyper reference `rule:trans' on page 35 undefined on input line 725. [35] LaTeX Warning: Hyper reference `rule:cong' on page 36 undefined on input line 7 36. LaTeX Warning: Hyper reference `rule:eq_reflexive' on page 36 undefined on inpu t line 742. LaTeX Warning: Hyper reference `rule:eq_transitive' on page 36 undefined on inp ut line 749. LaTeX Warning: Hyper reference `rule:eq_congruent' on page 36 undefined on inpu t line 758. LaTeX Warning: Hyper reference `rule:eq_congruent_pred' on page 36 undefined on input line 769. LaTeX Warning: Hyper reference `rule:qnt_cnf' on page 36 undefined on input lin e 811. Underfull \hbox (badness 10000) in paragraph at lines 811--811 [36] LaTeX Warning: Hyper reference `rule:and' on page 37 undefined on input line 81 9. LaTeX Warning: Hyper reference `rule:not_or' on page 37 undefined on input line 827. LaTeX Warning: Hyper reference `rule:or' on page 37 undefined on input line 838 . Underfull \hbox (badness 10000) in paragraph at lines 838--838 (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:or' on page 37 undefined on input line 841 . (./_minted-doc/FB69861C6FF486CB3041232BB59087872757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:weakening' on page 37 undefined on input l ine 857. [37] LaTeX Warning: Hyper reference `rule:reordering' on page 38 undefined on input line 867. LaTeX Warning: Hyper reference `rule:shuffle' on page 38 undefined on input lin e 886. Underfull \hbox (badness 10000) in paragraph at lines 886--886 LaTeX Warning: Hyper reference `rule:reordering' on page 38 undefined on input line 886. LaTeX Warning: Hyper reference `rule:not_and' on page 38 undefined on input lin e 894. LaTeX Warning: Hyper reference `rule:xor1' on page 38 undefined on input line 9 02. LaTeX Warning: Hyper reference `rule:xor2' on page 38 undefined on input line 9 09. LaTeX Warning: Hyper reference `rule:not_xor1' on page 38 undefined on input li ne 916. LaTeX Warning: Hyper reference `rule:not_xor2' on page 38 undefined on input li ne 923. LaTeX Warning: Hyper reference `rule:implies' on page 38 undefined on input lin e 930. LaTeX Warning: Hyper reference `rule:not_implies1' on page 38 undefined on inpu t line 937. LaTeX Warning: Hyper reference `rule:not_implies2' on page 38 undefined on inpu t line 944. LaTeX Warning: Hyper reference `rule:equiv1' on page 38 undefined on input line 951. [38] LaTeX Warning: Hyper reference `rule:equiv2' on page 39 undefined on input line 958. LaTeX Warning: Hyper reference `rule:not_equiv1' on page 39 undefined on input line 965. LaTeX Warning: Hyper reference `rule:not_equiv2' on page 39 undefined on input line 972. LaTeX Warning: Hyper reference `rule:and_pos' on page 39 undefined on input lin e 980. LaTeX Warning: Hyper reference `rule:and_neg' on page 39 undefined on input lin e 986. LaTeX Warning: Hyper reference `rule:or_pos' on page 39 undefined on input line 992. LaTeX Warning: Hyper reference `rule:or_neg' on page 39 undefined on input line 1000. LaTeX Warning: Hyper reference `rule:xor_pos1' on page 39 undefined on input li ne 1006. LaTeX Warning: Hyper reference `rule:xor_pos2' on page 39 undefined on input li ne 1012. LaTeX Warning: Hyper reference `rule:xor_neg1' on page 39 undefined on input li ne 1018. LaTeX Warning: Hyper reference `rule:xor_neg2' on page 39 undefined on input li ne 1024. LaTeX Warning: Hyper reference `rule:implies_pos' on page 39 undefined on input line 1030. LaTeX Warning: Hyper reference `rule:implies_neg1' on page 39 undefined on inpu t line 1036. LaTeX Warning: Hyper reference `rule:implies_neg2' on page 39 undefined on inpu t line 1042. LaTeX Warning: Hyper reference `rule:equiv_pos1' on page 39 undefined on input line 1048. [39] LaTeX Warning: Hyper reference `rule:equiv_pos2' on page 40 undefined on input line 1054. LaTeX Warning: Hyper reference `rule:equiv_neg1' on page 40 undefined on input line 1060. LaTeX Warning: Hyper reference `rule:equiv_neg2' on page 40 undefined on input line 1066. LaTeX Warning: Hyper reference `rule:ite1' on page 40 undefined on input line 1 073. LaTeX Warning: Hyper reference `rule:ite2' on page 40 undefined on input line 1 080. LaTeX Warning: Hyper reference `rule:ite_pos1' on page 40 undefined on input li ne 1086. LaTeX Warning: Hyper reference `rule:ite_pos2' on page 40 undefined on input li ne 1092. LaTeX Warning: Hyper reference `rule:ite_neg1' on page 40 undefined on input li ne 1098. LaTeX Warning: Hyper reference `rule:ite_neg2' on page 40 undefined on input li ne 1104. LaTeX Warning: Hyper reference `rule:not_ite1' on page 40 undefined on input li ne 1111. LaTeX Warning: Hyper reference `rule:not_ite2' on page 40 undefined on input li ne 1118. LaTeX Warning: Hyper reference `rule:connective_def' on page 40 undefined on in put line 1146. Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 LaTeX Warning: Hyper reference `rule:connective_def' on page 40 undefined on in put line 1146. Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 LaTeX Warning: Hyper reference `rule:connective_def' on page 40 undefined on in put line 1146. Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 LaTeX Warning: Hyper reference `rule:connective_def' on page 40 undefined on in put line 1146. LaTeX Warning: Hyper reference `rule:and_simplify' on page 40 undefined on inpu t line 1175. [40] LaTeX Warning: Hyper reference `rule:or_simplify' on page 41 undefined on input line 1204. LaTeX Warning: Hyper reference `rule:not_simplify' on page 41 undefined on inpu t line 1221. [41] LaTeX Warning: Hyper reference `rule:implies_simplify' on page 42 undefined on input line 1243. LaTeX Warning: Hyper reference `rule:equiv_simplify' on page 42 undefined on in put line 1266. [42] LaTeX Warning: Hyper reference `rule:bool_simplify' on page 43 undefined on inp ut line 1287. LaTeX Warning: Hyper reference `rule:ac_simp' on page 43 undefined on input lin e 1298. LaTeX Warning: Hyper reference `rule:ite_simplify' on page 43 undefined on inpu t line 1332. [43] LaTeX Warning: Hyper reference `rule:qnt_simplify' on page 44 undefined on inpu t line 1341. LaTeX Warning: Hyper reference `rule:onepoint' on page 44 undefined on input li ne 1366. LaTeX Warning: Hyper reference `rule:onepoint' on page 44 undefined on input li ne 1366. LaTeX Warning: Hyper reference `rule:onepoint' on page 44 undefined on input li ne 1369. (./_minted-doc/1AFEC352C38B82224F93AF7C7CFDF44F2757B58F59BC117490A82BE95D35EE1D .pygtex [44]) LaTeX Warning: Hyper reference `rule:qnt_join' on page 45 undefined on input li ne 1400. LaTeX Warning: Hyper reference `rule:qnt_rm_unused' on page 45 undefined on inp ut line 1410. LaTeX Warning: Hyper reference `rule:eq_simplify' on page 45 undefined on input line 1427. LaTeX Warning: Hyper reference `rule:div_simplify' on page 45 undefined on inpu t line 1444. [45] LaTeX Warning: Hyper reference `rule:prod_simplify' on page 46 undefined on inp ut line 1469. LaTeX Warning: Hyper reference `rule:unary_minus_simplify' on page 46 undefined on input line 1483. LaTeX Warning: Hyper reference `rule:unary_minus_simplify' on page 46 undefined on input line 1483. LaTeX Warning: Hyper reference `rule:minus_simplify' on page 46 undefined on in put line 1501. LaTeX Warning: Hyper reference `rule:sum_simplify' on page 46 undefined on inpu t line 1525. [46] LaTeX Warning: Hyper reference `rule:comp_simplify' on page 47 undefined on inp ut line 1554. LaTeX Warning: Hyper reference `rule:cp_addition' on page 47 undefined on input line 1572. LaTeX Warning: Hyper reference `rule:cp_addition' on page 47 undefined on input line 1572. LaTeX Warning: Hyper reference `rule:cp_addition' on page 47 undefined on input line 1572. LaTeX Warning: Hyper reference `rule:cp_addition' on page 47 undefined on input line 1572. LaTeX Warning: Hyper reference `rule:cp_addition' on page 47 undefined on input line 1575. (./_minted-doc/2BCEE8FF28E010431EA57EF9C19A89AB2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:cp_addition' on page 47 undefined on input line 1588. [47] LaTeX Warning: Hyper reference `rule:cp_addition' on page 48 undefined on input line 1596. (./_minted-doc/DB4745BF29E6C17CAF66557EE24918B62757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:cp_addition' on page 48 undefined on input line 1609. LaTeX Warning: Hyper reference `rule:cp_multiplication' on page 48 undefined on input line 1627. LaTeX Warning: Hyper reference `rule:cp_divison' on page 48 undefined on input line 1642. LaTeX Warning: Hyper reference `rule:cp_saturation' on page 48 undefined on inp ut line 1656. LaTeX Warning: Hyper reference `rule:let' on page 48 undefined on input line 16 78. Underfull \hbox (badness 10000) in paragraph at lines 1678--1678 [48] LaTeX Warning: Hyper reference `rule:let' on page 49 undefined on input line 16 78. LaTeX Warning: Hyper reference `rule:bind' on page 49 undefined on input line 1 709. (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) Overfull \hbox (25.74pt too wide) in paragraph at lines 1709--1709 \TU/NewCMMath-Book.otf(1)/m/n/10.95 ([] 𝑦[] = 𝑠[], … , 𝑦[] = 𝑠[] [] 𝑢[])$| LaTeX Warning: Hyper reference `rule:bind_let' on page 49 undefined on input li ne 1709. Underfull \hbox (badness 10000) in paragraph at lines 1709--1709 LaTeX Warning: Hyper reference `rule:bind_let' on page 49 undefined on input li ne 1709. (./_minted-doc/C595291F8E7A35BD5C0FEEB9252EDA1E2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:distinct_elim' on page 49 undefined on inp ut line 1755. Underfull \hbox (badness 10000) in paragraph at lines 1755--1755 [49] LaTeX Warning: Hyper reference `rule:distinct_elim' on page 50 undefined on inp ut line 1755. LaTeX Warning: Hyper reference `rule:distinct_elim' on page 50 undefined on inp ut line 1755. Underfull \hbox (badness 10000) in paragraph at lines 1755--1755 LaTeX Warning: Hyper reference `rule:distinct_elim' on page 50 undefined on inp ut line 1755. LaTeX Warning: Hyper reference `rule:la_rw_eq' on page 50 undefined on input li ne 1761. LaTeX Warning: Hyper reference `rule:nary_elim' on page 50 undefined on input l ine 1788. Underfull \hbox (badness 10000) in paragraph at lines 1788--1788 LaTeX Warning: Hyper reference `rule:nary_elim' on page 50 undefined on input l ine 1788. Underfull \hbox (badness 10000) in paragraph at lines 1788--1788 LaTeX Warning: Hyper reference `rule:nary_elim' on page 50 undefined on input l ine 1788. LaTeX Warning: Hyper reference `rule:bfun_elim' on page 50 undefined on input l ine 1812. Underfull \hbox (badness 10000) in paragraph at lines 1812--1812 LaTeX Warning: Hyper reference `rule:ite_intro' on page 50 undefined on input l ine 1835. Underfull \hbox (badness 10000) in paragraph at lines 1835--1835 [50] LaTeX Warning: Hyper reference `rule:bitblast_extract' on page 51 undefined on input line 1861. Underfull \hbox (badness 10000) in paragraph at lines 1861--1861 LaTeX Warning: Hyper reference `rule:bitblast_extract' on page 51 undefined on input line 1861. Underfull \hbox (badness 10000) in paragraph at lines 1861--1861 LaTeX Warning: Hyper reference `rule:bitblast_ult' on page 51 undefined on inpu t line 1895. LaTeX Warning: Hyper reference `rule:bitblast_add' on page 51 undefined on inpu t line 1941. [51] LaTeX Warning: Hyper reference `rule:bitblast_add' on page 52 undefined on inpu t line 1941. LaTeX Warning: Hyper reference `rule:pbblast_bveq' on page 52 undefined on inpu t line 1956. LaTeX Warning: Hyper reference `rule:pbblast_bvult' on page 52 undefined on inp ut line 1972. LaTeX Warning: Hyper reference `rule:pbblast_bvugt' on page 52 undefined on inp ut line 1995. LaTeX Warning: Hyper reference `rule:pbblast_bvult' on page 52 undefined on inp ut line 1995. LaTeX Warning: Hyper reference `rule:pbblast_bvugt' on page 52 undefined on inp ut line 1995. Underfull \hbox (badness 10000) in paragraph at lines 1995--1995 [52] LaTeX Warning: Hyper reference `rule:pbblast_bvuge' on page 53 undefined on inp ut line 2013. LaTeX Warning: Hyper reference `rule:pbblast_bvule' on page 53 undefined on inp ut line 2036. LaTeX Warning: Hyper reference `rule:pbblast_bvuge' on page 53 undefined on inp ut line 2036. LaTeX Warning: Hyper reference `rule:pbblast_bvule' on page 53 undefined on inp ut line 2036. Underfull \hbox (badness 10000) in paragraph at lines 2036--2036 LaTeX Warning: Hyper reference `rule:pbblast_bvslt' on page 53 undefined on inp ut line 2052. LaTeX Warning: Hyper reference `rule:pbblast_bvsgt' on page 53 undefined on inp ut line 2075. LaTeX Warning: Hyper reference `rule:pbblast_bvslt' on page 53 undefined on inp ut line 2075. LaTeX Warning: Hyper reference `rule:pbblast_bvsgt' on page 53 undefined on inp ut line 2075. Underfull \hbox (badness 10000) in paragraph at lines 2075--2075 LaTeX Warning: Hyper reference `rule:pbblast_bvsge' on page 53 undefined on inp ut line 2091. [53] LaTeX Warning: Hyper reference `rule:pbblast_bvsle' on page 54 undefined on inp ut line 2114. LaTeX Warning: Hyper reference `rule:pbblast_bvsge' on page 54 undefined on inp ut line 2114. LaTeX Warning: Hyper reference `rule:pbblast_bvsle' on page 54 undefined on inp ut line 2114. Underfull \hbox (badness 10000) in paragraph at lines 2114--2114 LaTeX Warning: Hyper reference `rule:pbblast_pbbvar' on page 54 undefined on in put line 2125. Underfull \hbox (badness 10000) in paragraph at lines 2125--2125 LaTeX Warning: Hyper reference `rule:pbblast_pbbconst' on page 54 undefined on input line 2143. LaTeX Warning: Hyper reference `rule:pbblast_bvxor' on page 54 undefined on inp ut line 2161. [54] LaTeX Warning: Hyper reference `rule:pbblast_bvand' on page 55 undefined on inp ut line 2178. LaTeX Warning: Hyper reference `rule:symm' on page 55 undefined on input line 2 203. Underfull \hbox (badness 10000) in paragraph at lines 2203--2203 LaTeX Warning: Hyper reference `rule:symm' on page 55 undefined on input line 2 203. LaTeX Warning: Hyper reference `rule:not_symm' on page 55 undefined on input li ne 2216. Underfull \hbox (badness 10000) in paragraph at lines 2216--2216 LaTeX Warning: Hyper reference `rule:symm' on page 55 undefined on input line 2 216. LaTeX Warning: Hyper reference `rule:eq_symmetric' on page 55 undefined on inpu t line 2227. Underfull \hbox (badness 10000) in paragraph at lines 2227--2227 [55]This is makeindex, version 2.17 [TeX Live 2023] (kpathsea + Thai support). Scanning style file ./rule_index_style.ist..done (2 attributes redefined, 0 ignored). Scanning input file rules.idx....done (120 entries accepted, 0 rejected). Sorting entries....done (913 comparisons). Generating output file rules.ind....done (301 lines written, 0 warnings). Output written in rules.ind. Transcript written in rules.ilg. (./rules.ind [56])) [57] (./changelog.tex LaTeX Warning: Hyper reference `rule:bitblast_extract' on page 58 undefined on input line 6. LaTeX Warning: Hyper reference `rule:bitblast_add' on page 58 undefined on inpu t line 6. LaTeX Warning: Hyper reference `rule:bitblast_ult' on page 58 undefined on inpu t line 7. LaTeX Warning: Hyper reference `rule:la_mult_pos' on page 58 undefined on input line 8. LaTeX Warning: Hyper reference `rule:la_mult_neg' on page 58 undefined on input line 8. LaTeX Warning: Hyper reference `rule:symm' on page 58 undefined on input line 9 . LaTeX Warning: Hyper reference `rule:not_symm' on page 58 undefined on input li ne 9. LaTeX Warning: Hyper reference `rule:eq_symmetric' on page 58 undefined on inpu t line 10. LaTeX Warning: Hyper reference `rule:symm' on page 58 undefined on input line 1 2. LaTeX Warning: Hyper reference `rule:subproof' on page 58 undefined on input li ne 13. LaTeX Warning: Hyper reference `rule:weakening' on page 58 undefined on input l ine 14. LaTeX Warning: Hyper reference `rule:reordering' on page 58 undefined on input line 16. LaTeX Warning: Hyper reference `rule:bind_let' on page 58 undefined on input li ne 18. (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: Hyper reference `rule:bind' on page 58 undefined on input line 1 9. LaTeX Warning: Hyper reference `rule:shuffle' on page 58 undefined on input lin e 21. LaTeX Warning: Hyper reference `rule:forall_inst' on page 58 undefined on input line 32. LaTeX Warning: Hyper reference `rule:and_pos' on page 58 undefined on input lin e 36. LaTeX Warning: Hyper reference `rule:or_neg' on page 58 undefined on input line 36. LaTeX Warning: Hyper reference `rule:and' on page 58 undefined on input line 36 . LaTeX Warning: Hyper reference `rule:not_or' on page 58 undefined on input line 37. LaTeX Warning: Hyper reference `rule:la_generic' on page 58 undefined on input line 40. LaTeX Warning: Hyper reference `rule:la_generic' on page 58 undefined on input line 46. [58] LaTeX Warning: Hyper reference `rule:bind' on page 59 undefined on input line 5 6. LaTeX Warning: Hyper reference `rule:onepoint' on page 59 undefined on input li ne 60. LaTeX Warning: Hyper reference `rule:bind' on page 59 undefined on input line 6 1. LaTeX Warning: Hyper reference `rule:sko_ex' on page 59 undefined on input line 62. LaTeX Warning: Hyper reference `rule:sko_forall' on page 59 undefined on input line 62. LaTeX Warning: Hyper reference `rule:onepoint' on page 59 undefined on input li ne 62. LaTeX Warning: Hyper reference `rule:implies_simplify' on page 59 undefined on input line 93. LaTeX Warning: Hyper reference `rule:bool_simplify' on page 59 undefined on inp ut line 95. [59] LaTeX Warning: Hyper reference `rule:sko_ex' on page 60 undefined on input line 115. LaTeX Warning: Hyper reference `rule:hole' on page 60 undefined on input line 1 16. ) [60]This is makeindex, version 2.17 [TeX Live 2023] (kpathsea + Thai support). Scanning input file doc.idx....done (32 entries accepted, 0 rejected). Sorting entries....done (159 comparisons). Generating output file doc.ind....done (62 lines written, 0 warnings). Output written in doc.ind. Transcript written in doc.ilg. (./doc.ind) No file doc.bbl. [61] (./doc.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `doc.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information) 1185 words of node memory still in use: 11 hlist, 2 vlist, 2 rule, 1 local_par, 17 glue, 4 kern, 1 penalty, 3 sub_ml ist, 3 glyph, 145 attribute, 72 glue_spec, 75 attribute_list, 2 write nodes avail lists: 1:5,2:6238,3:769,4:787,5:678,6:293,7:13623,8:63,9:2376,10:21,11 :856,12:1 </opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMMath -Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern /NewCM10-BookItalic.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/new computermodern/NewCMSans08-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentyp e/public/newcomputermodern/NewCM10-Book.otf></opt/texlive/2023/texmf-dist/fonts /opentype/public/newcomputermodern/NewCMMono10-Bold.otf></opt/texlive/2023/texm f-dist/fonts/opentype/public/newcomputermodern/NewCM10-BookItalic.otf></opt/tex live/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCM10-Bold.otf>< /opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMMath- Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/ NewCMMath-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcompu termodern/NewCMMono10-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/pub lic/newcomputermodern/NewCMSans10-Book.otf></opt/texlive/2023/texmf-dist/fonts/ opentype/public/newcomputermodern/NewCM10-Bold.otf></opt/texlive/2023/texmf-dis t/fonts/opentype/public/newcomputermodern/NewCM08-Book.otf></opt/texlive/2023/t exmf-dist/fonts/opentype/public/newcomputermodern/NewCM10-Book.otf></opt/texliv e/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMSans10-Bold.otf> </opt/texlive/2023/texmf-dist/fonts/type1/public/ccicons/ccicons.pfb> Output written on doc.pdf (61 pages, 310610 bytes). Transcript written on doc.log. [32;1m$ bibtex "doc"[0;m This is BibTeX, Version 0.99d (TeX Live 2023) The top-level auxiliary file: doc.aux The style file: plain.bst Database file #1: publications.bib [32;1m$ lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'[0;m This is LuaHBTeX, Version 1.17.0 (TeX Live 2023) system commands enabled. LaTeX2e <2022-11-01> patch level 1 sh: tput: not found L3 programming layer <2023-05-15> (./doc.tex (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrartcl.cls Document Class: scrartcl 2023/04/24 v3.40 KOMA-Script document class (article) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrkbase.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrbase.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlfile.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlogo.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/graphics/keyval.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/tocbasic.sty) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrsize11pt.clo) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/typearea.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlayer-scrpage.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlayer.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3kernel/expl3.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-luatex.def)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math-luatex.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3packages/xparse/xparse.sty) (/opt/texlive/2023/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec.sty (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec-luatex.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/fontenc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec.cfg))) (/opt/texlive/2023/texmf-dist/tex/latex/base/fix-cm.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/ts1enc.def)) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amstext.sty (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/opt/texlive/2023/texmf-dist/tex/lualatex/lualatex-math/lualatex-math.sty (/opt/texlive/2023/texmf-dist/tex/latex/etoolbox/etoolbox.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/fontsetup/fontsetup.sty fontsetup: Easy font setup by Antonis Tsolomitis (/opt/texlive/2023/texmf-dist/tex/latex/base/ifthen.sty) (/opt/texlive/2023/texmf-dist/tex/generic/iftex/iftex.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontsetup/fspdefault.sty (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCM10-Book.fontspec ) (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCMSans10-Book.font spec) (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCMMono10-Book.font spec))) (/opt/texlive/2023/texmf-dist/tex/latex/minted/minted.sty (/opt/texlive/2023/texmf-dist/tex/latex/kvoptions/kvoptions.sty (/opt/texlive/2023/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/opt/texlive/2023/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/fvextra/fvextra.sty (/opt/texlive/2023/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/opt/texlive/2023/texmf-dist/tex/latex/upquote/upquote.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/textcomp.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/lineno/lineno.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/tools/calc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/tools/shellesc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/ifplatform/ifplatform.sty (/opt/texlive/2023/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/opt/texlive/2023/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/opt/texlive/2023/texmf-dist/tex/generic/catchfile/catchfile.sty (/opt/texlive/2023/texmf-dist/tex/generic/etexcmds/etexcmds.sty)) (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifluatex.sty) (./doc.w18)) (/opt/texlive/2023/texmf-dist/tex/generic/xstring/xstring.sty (/opt/texlive/2023/texmf-dist/tex/generic/xstring/xstring.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/framed/framed.sty) (/opt/texlive/2023/texmf-dist/tex/latex/float/float.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/cite/cite.sty) (/opt/texlive/2023/texmf-dist/tex/latex/url/url.sty) (/opt/texlive/2023/texmf-dist/tex/latex/datetime2/datetime2.sty (/opt/texlive/2023/texmf-dist/tex/latex/tracklang/tracklang.sty (/opt/texlive/2023/texmf-dist/tex/generic/tracklang/tracklang.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/xkeyval/xkeyval.sty (/opt/texlive/2023/texmf-dist/tex/generic/xkeyval/xkeyval.tex (/opt/texlive/2023/texmf-dist/tex/generic/xkeyval/xkvutils.tex)))) (/opt/texlive/2023/texmf-dist/tex/latex/xltabular/xltabular.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/tabularx.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/array.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/ltablex/ltablex.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/longtable.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/environ/environ.sty (/opt/texlive/2023/texmf-dist/tex/latex/trimspaces/trimspaces.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/amscls/amsthm.sty) (/opt/texlive/2023/texmf-dist/tex/latex/xpatch/xpatch.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thmtools.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-patch.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/parseargs.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-kv.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-autoref.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/aliasctr.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-listof.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-restate.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-amsthm.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/ccicons/ccicons.sty) Class scrartcl Warning: Usage of package `tocbibind' together (scrartcl) with a KOMA-Script class is not recommended. (scrartcl) I'd suggest to use options like `listof=totoc' (scrartcl) or `bibliography=totoc', or commands like (scrartcl) `\setuptoc{toc}{totoc}' instead of this package, (scrartcl) because it breaks several KOMA-Script features of (scrartcl) the list of figures, list of tables, bibliography, (scrartcl) index and the running head. (scrartcl) Nevertheless, using requested (scrartcl) package `tocbibind' on input line 37. (/opt/texlive/2023/texmf-dist/tex/latex/tocbibind/tocbibind.sty Package tocbibind Note: Using section or other style headings. ) (/opt/texlive/2023/texmf-dist/tex/latex/imakeidx/imakeidx.sty (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifxetex.sty) (/opt/texlive/2023/texmf-dist/tex/latex/tools/multicol.sty)) Writing index file doc.idx Writing index file rules.idx (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/hyperref.sty (/opt/texlive/2023/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/opt/texlive/2023/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hycolor/hycolor.sty) (/opt/texlive/2023/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/opt/texlive/2023/texmf-dist/tex/latex/auxhook/auxhook.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/nameref.sty (/opt/texlive/2023/texmf-dist/tex/latex/refcount/refcount.sty) (/opt/texlive/2023/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/pd1enc.def) (/opt/texlive/2023/texmf-dist/tex/generic/intcalc/intcalc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/puenc.def) (/opt/texlive/2023/texmf-dist/tex/generic/bitset/bitset.sty (/opt/texlive/2023/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/hluatex.def (/opt/texlive/2023/texmf-dist/tex/generic/stringenc/stringenc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/opt/texlive/2023/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/opt/texlive/2023/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/breakurl/breakurl.sty (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifpdf.sty) Package breakurl Warning: You are using breakurl while processing via pdflatex. (breakurl) \burl will be just a synonym of \url. (breakurl) on input line 48. ) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/graphicx.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/graphics.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/trig.sty) (/opt/texlive/2023/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/opt/texlive/2023/texmf-dist/tex/latex/graphics-def/luatex.def))) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered. code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def ))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.t ex)) (/opt/texlive/2023/texmf-dist/tex/latex/xcolor/xcolor.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/opt/texlive/2023/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometr ic.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code .tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarit hmetics.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.c ode.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.co de.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations .code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.te x) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.co de.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65. sty) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18. sty)) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarytopaths.code.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/tikzmark/tikzlibrarytikzmark.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarypositioning.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.geometric.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .geometric.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.misc.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .misc.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.symbols.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .symbols.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.arrows.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .arrows.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.callouts.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .callouts.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.multipart.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .multipart.code.tex))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryarrows.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.t ex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryfit.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryscopes.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.c ode.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarysvg.path.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibrarysvg.path.code .tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleparser.code.tex) )) (/opt/texlive/2023/texmf-dist/tex/latex/bussproofs/bussproofs.sty Proof Tree (bussproofs) style macros. Version 1.1. ) (/opt/texlive/2023/texmf-dist/tex/generic/babel/babel.sty (/opt/texlive/2023/texmf-dist/tex/generic/babel/luababel.def) (/opt/texlive/2023/texmf-dist/tex/generic/babel/luababel.def) (/opt/texlive/2023/texmf-dist/tex/generic/babel-english/english.ldf)) (/opt/texlive/2023/texmf-dist/tex/generic/babel/locale/en/babel-english.tex) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype.sty (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype-luatex.def) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype.cfg))./highlight.py (./doc.aux) (./doc.out) (./doc.out) (/opt/texlive/2023/texmf-dist/tex/latex/bookmark/bookmark.sty (/opt/texlive/2023/texmf-dist/tex/latex/bookmark/bkm-pdftex.def)) (/opt/texlive/2023/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/opt/texlive/2023/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/opt/texlive/2023/texmf-dist/tex/latex/grfext/grfext.sty) (/opt/texlive/2023/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/mt-NewComputerModern.cfg) (./doc.toc)sh: write error: Broken pipe (|./version.sh) [1{/opt/texlive/2023/texmf-var/fonts/map/pdftex/upd map/pdftex.map}] LaTeX Warning: Citation `wp:alethe' on page 2 undefined on input line 287. [2] LaTeX Warning: Citation `barbosa-2022' on page 3 undefined on input line 325. LaTeX Warning: Citation `fleury-2019' on page 3 undefined on input line 330. LaTeX Warning: Citation `schurr-2021' on page 3 undefined on input line 330. LaTeX Warning: Citation `SMTCoq' on page 3 undefined on input line 333. LaTeX Warning: Citation `besson-2011' on page 3 undefined on input line 343. LaTeX Warning: Citation `deharbe-2011' on page 3 undefined on input line 344. LaTeX Warning: Citation `barbosa-2019' on page 3 undefined on input line 348. [3] [4] (./_minted-doc/trac.pygstyle) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) [5] [6] (./_minted-doc/7974E7AD4633A7426FC13B3CF80DA1752757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/76CCE96A0C81CA846A2B40A401B42D302757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/C71D3D73E9854D229CC4CD25E8652C442757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/070C0A1076010C56543C70410B70CB332757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/0879959AEA5AAD4BA2D3395AF097B6A52757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/30C8C8D82D280ECF9BF3D25356A5556C2757B58F59BC117490A82BE95D35EE1D .pygtex) [7] LaTeX Warning: Citation `SMTLIB' on page 8 undefined on input line 762. (./_minted-doc/EB844645E8E61DE0A4CF4B991E65E63E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/765334955BC422B162B04A7248CAF9922757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D3182ED8A07BE0B9FCB94DCAA5CBAF112757B58F59BC117490A82BE95D35EE1D .pygtex) [8] (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D42F2DA1DF5ECDF29BE4AC27EDDA0C122757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [9] (./_minted-doc/FB16CEA549460DE130D206C3387AF75E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5B7830E6F763954C3C48B1590CCBD6D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/A5AD12EB6447538F19C5182A390514FA2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/45DD4B206493309CD40884CACF1881EA2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/744EA28F6C1D7870450AB8BAA46EF92B2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D2A02CF81B2D449CC576DE47B5E0361B2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) [10] (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5B7830E6F763954C3C48B1590CCBD6D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/09D8EE833D5A69273B516D33024F18772757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/CC4368D20377F84EC5B88B80F06210692757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/476BE7A57545DC3F7AE1B65363F53D642757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: `h' float specifier changed to `ht'. (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) [11] (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) [12] (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B64531A43B0D46E1B5E1E64D2E1744FB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/898D7643D7E934080C302A87E143F8312757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [13] (./_minted-doc/921DC10349B98815E882366737029C812757B58F59BC117490A82BE95D35EE1D .pygtex) [14] (./_minted-doc/8351B88848772C2F05280DD86E7034B42757B58F59BC117490A82BE95D35EE1D .pygtex) [15] LaTeX Warning: Citation `barbosa-2019' on page 16 undefined on input line 1256. [16] LaTeX Warning: Citation `barbosa-2019' on page 17 undefined on input line 1314. [17] LaTeX Warning: Citation `barbosa-2019' on page 18 undefined on input line 1391. (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [18] [19] [20] (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) [21] LaTeX Warning: Citation `barbosa-2019' on page 22 undefined on input line 1737. (./_minted-doc/52BE43E921687B651F590BF3FFEE6E6F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F58865AA09D1A5CC0BF186D3366C5FF02757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5F50F137B543CEC724DBCEC063FF92F22757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/2C5AC1E09598DE4E5149215DB06FF3C82757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/BE47903447490C648611C2F6003B8D962757B58F59BC117490A82BE95D35EE1D .pygtex) [22] (./_minted-doc/CB93A07796DB839DD8D9D8F05098F43F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DF4F528C11184EE90458823C36BEF5112757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/508D1247A2B178415BA27B2C1C10D4662757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/96927D6B62B7494AC58065DFE1DBB2F82757B58F59BC117490A82BE95D35EE1D .pygtex) [23] (./_minted-doc/401B30E3B8B5D629635A5C613CDB79192757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B313647280B5DBCC00239902EEA6923E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/401B30E3B8B5D629635A5C613CDB79192757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B026324C6904B2A9CB4B88D6D61C81D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F013945499B6BD862576B7DA6C6651742757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/A7E742B6C12E8BBA31097F23F51790C52757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B026324C6904B2A9CB4B88D6D61C81D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/2136FC2FD80E60EAC2E0FD83E0F906F62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) [24] (./rule_list.tex [25] [26] [27] [28] [29] (./_minted-doc/96D44917313F01659936BFB0CEF2FE052757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/6732127BB419DBDFC330A81A5DB540352757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 325--325 [30] [31] Underfull \hbox (badness 10000) in paragraph at lines 405--405 (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) [32] (./_minted-doc/6A0336952B75699AEC5F7F720EC9067E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/32F57F87942AFEAB6B2C8B1DC52E495C2757B58F59BC117490A82BE95D35EE1D .pygtex) [33] Underfull \hbox (badness 10000) in paragraph at lines 572--572 Underfull \hbox (badness 10000) in paragraph at lines 594--594 Underfull \hbox (badness 10000) in paragraph at lines 594--594 Underfull \hbox (badness 10000) in paragraph at lines 594--594 Underfull \hbox (badness 10000) in paragraph at lines 629--629 [34] Underfull \hbox (badness 10000) in paragraph at lines 648--648 Underfull \hbox (badness 10000) in paragraph at lines 665--665 Underfull \hbox (badness 10000) in paragraph at lines 679--679 Underfull \hbox (badness 10000) in paragraph at lines 690--690 (./_minted-doc/08E919A6BF149A60F266826F7A7CAD4D2757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 715--715 [35] Underfull \hbox (badness 10000) in paragraph at lines 811--811 [36] Underfull \hbox (badness 10000) in paragraph at lines 838--838 (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/FB69861C6FF486CB3041232BB59087872757B58F59BC117490A82BE95D35EE1D .pygtex) [37] Underfull \hbox (badness 10000) in paragraph at lines 886--886 [38] [39] Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 [40] [41] [42] [43] (./_minted-doc/1AFEC352C38B82224F93AF7C7CFDF44F2757B58F59BC117490A82BE95D35EE1D .pygtex [44]) [45] [46] (./_minted-doc/2BCEE8FF28E010431EA57EF9C19A89AB2757B58F59BC117490A82BE95D35EE1D .pygtex) [47] (./_minted-doc/DB4745BF29E6C17CAF66557EE24918B62757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 1678--1678 [48] (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) Overfull \hbox (25.74pt too wide) in paragraph at lines 1709--1709 \TU/NewCMMath-Book.otf(1)/m/n/10.95 ([] 𝑦[] = 𝑠[], … , 𝑦[] = 𝑠[] [] 𝑢[])$| Underfull \hbox (badness 10000) in paragraph at lines 1709--1709 (./_minted-doc/C595291F8E7A35BD5C0FEEB9252EDA1E2757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 1755--1755 [49] Underfull \hbox (badness 10000) in paragraph at lines 1755--1755 Underfull \hbox (badness 10000) in paragraph at lines 1788--1788 Underfull \hbox (badness 10000) in paragraph at lines 1788--1788 Underfull \hbox (badness 10000) in paragraph at lines 1812--1812 Underfull \hbox (badness 10000) in paragraph at lines 1835--1835 [50] Underfull \hbox (badness 10000) in paragraph at lines 1861--1861 Underfull \hbox (badness 10000) in paragraph at lines 1861--1861 [51] Underfull \hbox (badness 10000) in paragraph at lines 1995--1995 [52] Underfull \hbox (badness 10000) in paragraph at lines 2036--2036 Underfull \hbox (badness 10000) in paragraph at lines 2075--2075 [53] Underfull \hbox (badness 10000) in paragraph at lines 2114--2114 Underfull \hbox (badness 10000) in paragraph at lines 2125--2125 [54] Underfull \hbox (badness 10000) in paragraph at lines 2203--2203 Underfull \hbox (badness 10000) in paragraph at lines 2216--2216 Underfull \hbox (badness 10000) in paragraph at lines 2227--2227 [55]This is makeindex, version 2.17 [TeX Live 2023] (kpathsea + Thai support). Scanning style file ./rule_index_style.ist..done (2 attributes redefined, 0 ignored). Scanning input file rules.idx....done (120 entries accepted, 0 rejected). Sorting entries....done (913 comparisons). Generating output file rules.ind....done (301 lines written, 0 warnings). Output written in rules.ind. Transcript written in rules.ilg. (./rules.ind [56])) [57] (./changelog.tex (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) [58] [59]) [60]This is makeindex, version 2.17 [TeX Live 2023] (kpathsea + Thai support). Scanning input file doc.idx....done (32 entries accepted, 0 rejected). Sorting entries....done (159 comparisons). Generating output file doc.ind....done (62 lines written, 0 warnings). Output written in doc.ind. Transcript written in doc.ilg. (./doc.ind) (./doc.bbl [61]) [62] (./doc.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) 1212 words of node memory still in use: 11 hlist, 2 vlist, 2 rule, 1 local_par, 17 glue, 4 kern, 1 penalty, 3 sub_ml ist, 3 glyph, 147 attribute, 75 glue_spec, 76 attribute_list, 2 write, 1 pdf_ac tion nodes avail lists: 1:6,2:6232,3:1143,4:788,5:678,6:466,7:13610,8:63,9:2562,10:21,1 1:856,12:1 warning (pdf backend): unreferenced destination with name 'inner-rule.376' warning (pdf backend): unreferenced destination with name 'inner-rule.374' warning (pdf backend): unreferenced destination with name 'inner-rule.299' warning (pdf backend): unreferenced destination with name 'inner-rule.297' warning (pdf backend): unreferenced destination with name 'inner-rule.287' warning (pdf backend): unreferenced destination with name 'inner-rule.285' warning (pdf backend): unreferenced destination with name 'inner-rule.223' warning (pdf backend): unreferenced destination with name 'inner-rule.227' warning (pdf backend): unreferenced destination with name 'inner-rule.225' warning (pdf backend): unreferenced destination with name 'inner-rule.416' warning (pdf backend): unreferenced destination with name 'inner-rule.412' warning (pdf backend): unreferenced destination with name 'inner-rule.384' warning (pdf backend): unreferenced destination with name 'inner-rule.382' warning (pdf backend): unreferenced destination with name 'inner-rule.380' warning (pdf backend): unreferenced destination with name 'inner-rule.253' warning (pdf backend): unreferenced destination with name 'inner-rule.251' warning (pdf backend): unreferenced destination with name 'inner-rule.249' warning (pdf backend): unreferenced destination with name 'inner-rule.247' warning (pdf backend): unreferenced destination with name 'inner-rule.245' warning (pdf backend): unreferenced destination with name 'inner-rule.243' warning (pdf backend): unreferenced destination with name 'inner-rule.239' warning (pdf backend): unreferenced destination with name 'inner-rule.237' warning (pdf backend): unreferenced destination with name 'inner-rule.235' warning (pdf backend): unreferenced destination with name 'inner-rule.233' warning (pdf backend): unreferenced destination with name 'inner-rule.231' warning (pdf backend): unreferenced destination with name 'inner-rule.215' warning (pdf backend): unreferenced destination with name 'inner-rule.213' warning (pdf backend): unreferenced destination with name 'inner-rule.418' warning (pdf backend): unreferenced destination with name 'inner-rule.370' warning (pdf backend): unreferenced destination with name 'inner-rule.330' warning (pdf backend): unreferenced destination with name 'inner-rule.328' warning (pdf backend): unreferenced destination with name 'inner-rule.295' warning (pdf backend): unreferenced destination with name 'inner-rule.293' warning (pdf backend): unreferenced destination with name 'inner-rule.291' warning (pdf backend): unreferenced destination with name 'inner-rule.289' warning (pdf backend): unreferenced destination with name 'inner-rule.283' warning (pdf backend): unreferenced destination with name 'inner-rule.281' warning (pdf backend): unreferenced destination with name 'inner-rule.277' warning (pdf backend): unreferenced destination with name 'inner-rule.275' warning (pdf backend): unreferenced destination with name 'inner-rule.273' warning (pdf backend): unreferenced destination with name 'inner-rule.271' warning (pdf backend): unreferenced destination with name 'inner-rule.269' warning (pdf backend): unreferenced destination with name 'inner-rule.267' warning (pdf backend): unreferenced destination with name 'inner-rule.265' warning (pdf backend): unreferenced destination with name 'inner-rule.263' warning (pdf backend): unreferenced destination with name 'inner-rule.261' warning (pdf backend): unreferenced destination with name 'inner-rule.259' warning (pdf backend): unreferenced destination with name 'inner-rule.257' warning (pdf backend): unreferenced destination with name 'inner-rule.209' warning (pdf backend): unreferenced destination with name 'inner-rule.207' warning (pdf backend): unreferenced destination with name 'inner-rule.205' warning (pdf backend): unreferenced destination with name 'inner-rule.203' warning (pdf backend): unreferenced destination with name 'inner-rule.201' warning (pdf backend): unreferenced destination with name 'inner-rule.173' warning (pdf backend): unreferenced destination with name 'inner-rule.142' warning (pdf backend): unreferenced destination with name 'inner-rule.140' warning (pdf backend): unreferenced destination with name 'inner-rule.138' warning (pdf backend): unreferenced destination with name 'inner-rule.154' warning (pdf backend): unreferenced destination with name 'inner-rule.152' warning (pdf backend): unreferenced destination with name 'inner-rule.175' warning (pdf backend): unreferenced destination with name 'inner-rule.241' warning (pdf backend): unreferenced destination with name 'inner-rule.255' warning (pdf backend): unreferenced destination with name 'inner-rule.136' warning (pdf backend): unreferenced destination with name 'inner-rule.199' warning (pdf backend): unreferenced destination with name 'inner-rule.193' warning (pdf backend): unreferenced destination with name 'inner-rule.279' warning (pdf backend): unreferenced destination with name 'inner-rule.197' warning (pdf backend): unreferenced destination with name 'inner-rule.217' warning (pdf backend): unreferenced destination with name 'inner-rule.189' warning (pdf backend): unreferenced destination with name 'inner-rule.132' </opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMMath -Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern /NewCM10-BookItalic.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/new computermodern/NewCMSans08-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentyp e/public/newcomputermodern/NewCM10-Book.otf></opt/texlive/2023/texmf-dist/fonts /opentype/public/newcomputermodern/NewCMMono10-Bold.otf></opt/texlive/2023/texm f-dist/fonts/opentype/public/newcomputermodern/NewCM10-BookItalic.otf></opt/tex live/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCM10-Bold.otf>< /opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMMath- Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/ NewCMMath-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcompu termodern/NewCMMono10-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/pub lic/newcomputermodern/NewCMSans10-Book.otf></opt/texlive/2023/texmf-dist/fonts/ opentype/public/newcomputermodern/NewCM10-Bold.otf></opt/texlive/2023/texmf-dis t/fonts/opentype/public/newcomputermodern/NewCM08-Book.otf></opt/texlive/2023/t exmf-dist/fonts/opentype/public/newcomputermodern/NewCM10-Book.otf></opt/texliv e/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMSans10-Bold.otf> </opt/texlive/2023/texmf-dist/fonts/type1/public/ccicons/ccicons.pfb> Output written on doc.pdf (62 pages, 342360 bytes). Transcript written on doc.log. [32;1m$ bibtex "doc"[0;m This is BibTeX, Version 0.99d (TeX Live 2023) The top-level auxiliary file: doc.aux The style file: plain.bst Database file #1: publications.bib [32;1m$ lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'[0;m This is LuaHBTeX, Version 1.17.0 (TeX Live 2023) system commands enabled. LaTeX2e <2022-11-01> patch level 1 sh: tput: not found L3 programming layer <2023-05-15> (./doc.tex (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrartcl.cls Document Class: scrartcl 2023/04/24 v3.40 KOMA-Script document class (article) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrkbase.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrbase.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlfile.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlfile-hook.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlogo.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/graphics/keyval.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/tocbasic.sty) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrsize11pt.clo) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/typearea.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlayer-scrpage.sty (/opt/texlive/2023/texmf-dist/tex/latex/koma-script/scrlayer.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3kernel/expl3.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3backend/l3backend-luatex.def)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math-luatex.sty (/opt/texlive/2023/texmf-dist/tex/latex/l3packages/xparse/xparse.sty) (/opt/texlive/2023/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec.sty (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec-luatex.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/fontenc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontspec/fontspec.cfg))) (/opt/texlive/2023/texmf-dist/tex/latex/base/fix-cm.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/ts1enc.def)) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amstext.sty (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/opt/texlive/2023/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/opt/texlive/2023/texmf-dist/tex/lualatex/lualatex-math/lualatex-math.sty (/opt/texlive/2023/texmf-dist/tex/latex/etoolbox/etoolbox.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/fontsetup/fontsetup.sty fontsetup: Easy font setup by Antonis Tsolomitis (/opt/texlive/2023/texmf-dist/tex/latex/base/ifthen.sty) (/opt/texlive/2023/texmf-dist/tex/generic/iftex/iftex.sty) (/opt/texlive/2023/texmf-dist/tex/latex/fontsetup/fspdefault.sty (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCM10-Book.fontspec ) (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCMSans10-Book.font spec) (/opt/texlive/2023/texmf-dist/tex/latex/newcomputermodern/NewCMMono10-Book.font spec))) (/opt/texlive/2023/texmf-dist/tex/latex/minted/minted.sty (/opt/texlive/2023/texmf-dist/tex/latex/kvoptions/kvoptions.sty (/opt/texlive/2023/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/opt/texlive/2023/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/fvextra/fvextra.sty (/opt/texlive/2023/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty) (/opt/texlive/2023/texmf-dist/tex/latex/upquote/upquote.sty (/opt/texlive/2023/texmf-dist/tex/latex/base/textcomp.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/lineno/lineno.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/tools/calc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/tools/shellesc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/ifplatform/ifplatform.sty (/opt/texlive/2023/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/opt/texlive/2023/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/opt/texlive/2023/texmf-dist/tex/generic/catchfile/catchfile.sty (/opt/texlive/2023/texmf-dist/tex/generic/etexcmds/etexcmds.sty)) (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifluatex.sty) (./doc.w18)) (/opt/texlive/2023/texmf-dist/tex/generic/xstring/xstring.sty (/opt/texlive/2023/texmf-dist/tex/generic/xstring/xstring.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/framed/framed.sty) (/opt/texlive/2023/texmf-dist/tex/latex/float/float.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/cite/cite.sty) (/opt/texlive/2023/texmf-dist/tex/latex/url/url.sty) (/opt/texlive/2023/texmf-dist/tex/latex/datetime2/datetime2.sty (/opt/texlive/2023/texmf-dist/tex/latex/tracklang/tracklang.sty (/opt/texlive/2023/texmf-dist/tex/generic/tracklang/tracklang.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/xkeyval/xkeyval.sty (/opt/texlive/2023/texmf-dist/tex/generic/xkeyval/xkeyval.tex (/opt/texlive/2023/texmf-dist/tex/generic/xkeyval/xkvutils.tex)))) (/opt/texlive/2023/texmf-dist/tex/latex/xltabular/xltabular.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/tabularx.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/array.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/ltablex/ltablex.sty (/opt/texlive/2023/texmf-dist/tex/latex/tools/longtable.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/environ/environ.sty (/opt/texlive/2023/texmf-dist/tex/latex/trimspaces/trimspaces.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/amscls/amsthm.sty) (/opt/texlive/2023/texmf-dist/tex/latex/xpatch/xpatch.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thmtools.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-patch.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/parseargs.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-kv.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-autoref.sty (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/aliasctr.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-listof.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-restate.sty) (/opt/texlive/2023/texmf-dist/tex/latex/thmtools/thm-amsthm.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/ccicons/ccicons.sty) Class scrartcl Warning: Usage of package `tocbibind' together (scrartcl) with a KOMA-Script class is not recommended. (scrartcl) I'd suggest to use options like `listof=totoc' (scrartcl) or `bibliography=totoc', or commands like (scrartcl) `\setuptoc{toc}{totoc}' instead of this package, (scrartcl) because it breaks several KOMA-Script features of (scrartcl) the list of figures, list of tables, bibliography, (scrartcl) index and the running head. (scrartcl) Nevertheless, using requested (scrartcl) package `tocbibind' on input line 37. (/opt/texlive/2023/texmf-dist/tex/latex/tocbibind/tocbibind.sty Package tocbibind Note: Using section or other style headings. ) (/opt/texlive/2023/texmf-dist/tex/latex/imakeidx/imakeidx.sty (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifxetex.sty) (/opt/texlive/2023/texmf-dist/tex/latex/tools/multicol.sty)) Writing index file doc.idx Writing index file rules.idx (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/hyperref.sty (/opt/texlive/2023/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/opt/texlive/2023/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hycolor/hycolor.sty) (/opt/texlive/2023/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/opt/texlive/2023/texmf-dist/tex/latex/auxhook/auxhook.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/nameref.sty (/opt/texlive/2023/texmf-dist/tex/latex/refcount/refcount.sty) (/opt/texlive/2023/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/pd1enc.def) (/opt/texlive/2023/texmf-dist/tex/generic/intcalc/intcalc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/puenc.def) (/opt/texlive/2023/texmf-dist/tex/generic/bitset/bitset.sty (/opt/texlive/2023/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/opt/texlive/2023/texmf-dist/tex/latex/hyperref/hluatex.def (/opt/texlive/2023/texmf-dist/tex/generic/stringenc/stringenc.sty) (/opt/texlive/2023/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/opt/texlive/2023/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/opt/texlive/2023/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/opt/texlive/2023/texmf-dist/tex/latex/breakurl/breakurl.sty (/opt/texlive/2023/texmf-dist/tex/generic/iftex/ifpdf.sty) Package breakurl Warning: You are using breakurl while processing via pdflatex. (breakurl) \burl will be just a synonym of \url. (breakurl) on input line 48. ) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/graphicx.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/graphics.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics/trig.sty) (/opt/texlive/2023/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/opt/texlive/2023/texmf-dist/tex/latex/graphics-def/luatex.def))) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered. code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-luatex.def (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def ))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.t ex)) (/opt/texlive/2023/texmf-dist/tex/latex/xcolor/xcolor.sty (/opt/texlive/2023/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/opt/texlive/2023/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometr ic.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code .tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarit hmetics.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.c ode.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code. tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.co de.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations .code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.te x) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.co de.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.t ex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex ) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65. sty) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18. sty)) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/opt/texlive/2023/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/opt/texlive/2023/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/opt/texlive/2023/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers. code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarytopaths.code.tex))) (/opt/texlive/2023/texmf-dist/tex/latex/tikzmark/tikzlibrarytikzmark.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarypositioning.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.geometric.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .geometric.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.misc.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .misc.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.symbols.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .symbols.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.arrows.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .arrows.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.callouts.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .callouts.code.tex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryshapes.multipart.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes .multipart.code.tex))) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryarrows.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.t ex)) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryfit.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz libraryscopes.code.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.c ode.tex) (/opt/texlive/2023/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikz librarysvg.path.code.tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/libraries/pgflibrarysvg.path.code .tex (/opt/texlive/2023/texmf-dist/tex/generic/pgf/modules/pgfmoduleparser.code.tex) )) (/opt/texlive/2023/texmf-dist/tex/latex/bussproofs/bussproofs.sty Proof Tree (bussproofs) style macros. Version 1.1. ) (/opt/texlive/2023/texmf-dist/tex/generic/babel/babel.sty (/opt/texlive/2023/texmf-dist/tex/generic/babel/luababel.def) (/opt/texlive/2023/texmf-dist/tex/generic/babel/luababel.def) (/opt/texlive/2023/texmf-dist/tex/generic/babel-english/english.ldf)) (/opt/texlive/2023/texmf-dist/tex/generic/babel/locale/en/babel-english.tex) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype.sty (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype-luatex.def) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/microtype.cfg))./highlight.py (./doc.aux) (./doc.out) (./doc.out) (/opt/texlive/2023/texmf-dist/tex/latex/bookmark/bookmark.sty (/opt/texlive/2023/texmf-dist/tex/latex/bookmark/bkm-pdftex.def)) (/opt/texlive/2023/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/opt/texlive/2023/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/opt/texlive/2023/texmf-dist/tex/latex/grfext/grfext.sty) (/opt/texlive/2023/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/opt/texlive/2023/texmf-dist/tex/latex/microtype/mt-NewComputerModern.cfg) (./doc.toc)sh: write error: Broken pipe (|./version.sh) [1{/opt/texlive/2023/texmf-var/fonts/map/pdftex/upd map/pdftex.map}] [2] [3] [4] (./_minted-doc/trac.pygstyle) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) [5] [6] (./_minted-doc/7974E7AD4633A7426FC13B3CF80DA1752757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/76CCE96A0C81CA846A2B40A401B42D302757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/C71D3D73E9854D229CC4CD25E8652C442757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/070C0A1076010C56543C70410B70CB332757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/0879959AEA5AAD4BA2D3395AF097B6A52757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/30C8C8D82D280ECF9BF3D25356A5556C2757B58F59BC117490A82BE95D35EE1D .pygtex) [7] (./_minted-doc/EB844645E8E61DE0A4CF4B991E65E63E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/765334955BC422B162B04A7248CAF9922757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D3182ED8A07BE0B9FCB94DCAA5CBAF112757B58F59BC117490A82BE95D35EE1D .pygtex) [8] (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D42F2DA1DF5ECDF29BE4AC27EDDA0C122757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [9] (./_minted-doc/FB16CEA549460DE130D206C3387AF75E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5B7830E6F763954C3C48B1590CCBD6D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/A5AD12EB6447538F19C5182A390514FA2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/45DD4B206493309CD40884CACF1881EA2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/744EA28F6C1D7870450AB8BAA46EF92B2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/D2A02CF81B2D449CC576DE47B5E0361B2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) [10] (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5B7830E6F763954C3C48B1590CCBD6D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1A9F95A95EDE4E4A06EFA30F491800BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/09D8EE833D5A69273B516D33024F18772757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/CC4368D20377F84EC5B88B80F06210692757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/476BE7A57545DC3F7AE1B65363F53D642757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/86EC01A566A2CB1164789669BF131BE62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/E0B7AB6CD3E2DF496849E69C355045A72757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) LaTeX Warning: `h' float specifier changed to `ht'. (./_minted-doc/4AA66C02C6E2B6DA8FB945F442EC479D2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/4066B270D2692D98FE2214B7C9ADCFA92757B58F59BC117490A82BE95D35EE1D .pygtex) [11] (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F176816333900BDE6795BFAEFDC576592757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) [12] (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B64531A43B0D46E1B5E1E64D2E1744FB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/898D7643D7E934080C302A87E143F8312757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/23D6643040FF260E75DC71E3833CFB5A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [13] (./_minted-doc/921DC10349B98815E882366737029C812757B58F59BC117490A82BE95D35EE1D .pygtex) [14] (./_minted-doc/8351B88848772C2F05280DD86E7034B42757B58F59BC117490A82BE95D35EE1D .pygtex) [15] [16] [17] (./_minted-doc/DA444F9F9BA2BC7D55707259118876812757B58F59BC117490A82BE95D35EE1D .pygtex) [18] [19] [20] (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) [21] (./_minted-doc/52BE43E921687B651F590BF3FFEE6E6F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F58865AA09D1A5CC0BF186D3366C5FF02757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/5F50F137B543CEC724DBCEC063FF92F22757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/2C5AC1E09598DE4E5149215DB06FF3C82757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/BE47903447490C648611C2F6003B8D962757B58F59BC117490A82BE95D35EE1D .pygtex) [22] (./_minted-doc/CB93A07796DB839DD8D9D8F05098F43F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/DF4F528C11184EE90458823C36BEF5112757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/508D1247A2B178415BA27B2C1C10D4662757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/96927D6B62B7494AC58065DFE1DBB2F82757B58F59BC117490A82BE95D35EE1D .pygtex) [23] (./_minted-doc/401B30E3B8B5D629635A5C613CDB79192757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B313647280B5DBCC00239902EEA6923E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/401B30E3B8B5D629635A5C613CDB79192757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B026324C6904B2A9CB4B88D6D61C81D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/F013945499B6BD862576B7DA6C6651742757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/A7E742B6C12E8BBA31097F23F51790C52757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/8C948CE8AB4928FE60A274A7DC1142BB2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/897316929176464EBC9AD085F31E72842757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/B026324C6904B2A9CB4B88D6D61C81D12757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/2136FC2FD80E60EAC2E0FD83E0F906F62757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) [24] (./rule_list.tex [25] [26] [27] [28] [29] (./_minted-doc/96D44917313F01659936BFB0CEF2FE052757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/6732127BB419DBDFC330A81A5DB540352757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/878E08B0C9CF3710B9DC228122B07C7F2757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 325--325 [30] [31] Underfull \hbox (badness 10000) in paragraph at lines 405--405 (./_minted-doc/4B3FF01D0F9A084FC50507D97DE6B82E2757B58F59BC117490A82BE95D35EE1D .pygtex) [32] (./_minted-doc/6A0336952B75699AEC5F7F720EC9067E2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/32F57F87942AFEAB6B2C8B1DC52E495C2757B58F59BC117490A82BE95D35EE1D .pygtex) [33] Underfull \hbox (badness 10000) in paragraph at lines 572--572 Underfull \hbox (badness 10000) in paragraph at lines 594--594 Underfull \hbox (badness 10000) in paragraph at lines 594--594 Underfull \hbox (badness 10000) in paragraph at lines 594--594 Underfull \hbox (badness 10000) in paragraph at lines 629--629 [34] Underfull \hbox (badness 10000) in paragraph at lines 648--648 Underfull \hbox (badness 10000) in paragraph at lines 665--665 Underfull \hbox (badness 10000) in paragraph at lines 679--679 Underfull \hbox (badness 10000) in paragraph at lines 690--690 (./_minted-doc/08E919A6BF149A60F266826F7A7CAD4D2757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 715--715 [35] Underfull \hbox (badness 10000) in paragraph at lines 811--811 [36] Underfull \hbox (badness 10000) in paragraph at lines 838--838 (./_minted-doc/072C1A5CFD6B485725E0E2D9854F84092757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/1820D262FB26482207271F5D965E1B252757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/FB69861C6FF486CB3041232BB59087872757B58F59BC117490A82BE95D35EE1D .pygtex) [37] Underfull \hbox (badness 10000) in paragraph at lines 886--886 [38] [39] Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 Underfull \hbox (badness 10000) in paragraph at lines 1146--1146 [40] [41] [42] [43] (./_minted-doc/1AFEC352C38B82224F93AF7C7CFDF44F2757B58F59BC117490A82BE95D35EE1D .pygtex [44]) [45] [46] (./_minted-doc/2BCEE8FF28E010431EA57EF9C19A89AB2757B58F59BC117490A82BE95D35EE1D .pygtex) [47] (./_minted-doc/DB4745BF29E6C17CAF66557EE24918B62757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 1678--1678 [48] (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) Overfull \hbox (25.74pt too wide) in paragraph at lines 1709--1709 \TU/NewCMMath-Book.otf(1)/m/n/10.95 ([] 𝑦[] = 𝑠[], … , 𝑦[] = 𝑠[] [] 𝑢[])$| Underfull \hbox (badness 10000) in paragraph at lines 1709--1709 (./_minted-doc/C595291F8E7A35BD5C0FEEB9252EDA1E2757B58F59BC117490A82BE95D35EE1D .pygtex) Underfull \hbox (badness 10000) in paragraph at lines 1755--1755 [49] Underfull \hbox (badness 10000) in paragraph at lines 1755--1755 Underfull \hbox (badness 10000) in paragraph at lines 1788--1788 Underfull \hbox (badness 10000) in paragraph at lines 1788--1788 Underfull \hbox (badness 10000) in paragraph at lines 1812--1812 Underfull \hbox (badness 10000) in paragraph at lines 1835--1835 [50] Underfull \hbox (badness 10000) in paragraph at lines 1861--1861 Underfull \hbox (badness 10000) in paragraph at lines 1861--1861 [51] Underfull \hbox (badness 10000) in paragraph at lines 1995--1995 [52] Underfull \hbox (badness 10000) in paragraph at lines 2036--2036 Underfull \hbox (badness 10000) in paragraph at lines 2075--2075 [53] Underfull \hbox (badness 10000) in paragraph at lines 2114--2114 Underfull \hbox (badness 10000) in paragraph at lines 2125--2125 [54] Underfull \hbox (badness 10000) in paragraph at lines 2203--2203 Underfull \hbox (badness 10000) in paragraph at lines 2216--2216 Underfull \hbox (badness 10000) in paragraph at lines 2227--2227 [55]This is makeindex, version 2.17 [TeX Live 2023] (kpathsea + Thai support). Scanning style file ./rule_index_style.ist..done (2 attributes redefined, 0 ignored). Scanning input file rules.idx....done (120 entries accepted, 0 rejected). Sorting entries....done (913 comparisons). Generating output file rules.ind....done (301 lines written, 0 warnings). Output written in rules.ind. Transcript written in rules.ilg. (./rules.ind [56])) [57] (./changelog.tex (./_minted-doc/17C537FBC72988FFFEBA154EFA43223A2757B58F59BC117490A82BE95D35EE1D .pygtex) [58] [59]) [60]This is makeindex, version 2.17 [TeX Live 2023] (kpathsea + Thai support). Scanning input file doc.idx....done (32 entries accepted, 0 rejected). Sorting entries....done (159 comparisons). Generating output file doc.ind....done (62 lines written, 0 warnings). Output written in doc.ind. Transcript written in doc.ilg. (./doc.ind) (./doc.bbl [61]) [62] (./doc.aux)) (see the transcript file for additional information) 1212 words of node memory still in use: 11 hlist, 2 vlist, 2 rule, 1 local_par, 17 glue, 4 kern, 1 penalty, 3 sub_ml ist, 3 glyph, 147 attribute, 75 glue_spec, 76 attribute_list, 2 write, 1 pdf_ac tion nodes avail lists: 1:7,2:6232,3:1143,4:791,5:677,6:466,7:13610,8:63,9:2562,10:21,1 1:856,12:1 warning (pdf backend): unreferenced destination with name 'inner-rule.376' warning (pdf backend): unreferenced destination with name 'inner-rule.374' warning (pdf backend): unreferenced destination with name 'inner-rule.299' warning (pdf backend): unreferenced destination with name 'inner-rule.297' warning (pdf backend): unreferenced destination with name 'inner-rule.287' warning (pdf backend): unreferenced destination with name 'inner-rule.285' warning (pdf backend): unreferenced destination with name 'inner-rule.223' warning (pdf backend): unreferenced destination with name 'inner-rule.227' warning (pdf backend): unreferenced destination with name 'inner-rule.225' warning (pdf backend): unreferenced destination with name 'inner-rule.416' warning (pdf backend): unreferenced destination with name 'inner-rule.412' warning (pdf backend): unreferenced destination with name 'inner-rule.384' warning (pdf backend): unreferenced destination with name 'inner-rule.382' warning (pdf backend): unreferenced destination with name 'inner-rule.380' warning (pdf backend): unreferenced destination with name 'inner-rule.253' warning (pdf backend): unreferenced destination with name 'inner-rule.251' warning (pdf backend): unreferenced destination with name 'inner-rule.249' warning (pdf backend): unreferenced destination with name 'inner-rule.247' warning (pdf backend): unreferenced destination with name 'inner-rule.245' warning (pdf backend): unreferenced destination with name 'inner-rule.243' warning (pdf backend): unreferenced destination with name 'inner-rule.239' warning (pdf backend): unreferenced destination with name 'inner-rule.237' warning (pdf backend): unreferenced destination with name 'inner-rule.235' warning (pdf backend): unreferenced destination with name 'inner-rule.233' warning (pdf backend): unreferenced destination with name 'inner-rule.231' warning (pdf backend): unreferenced destination with name 'inner-rule.215' warning (pdf backend): unreferenced destination with name 'inner-rule.213' warning (pdf backend): unreferenced destination with name 'inner-rule.418' warning (pdf backend): unreferenced destination with name 'inner-rule.370' warning (pdf backend): unreferenced destination with name 'inner-rule.330' warning (pdf backend): unreferenced destination with name 'inner-rule.328' warning (pdf backend): unreferenced destination with name 'inner-rule.295' warning (pdf backend): unreferenced destination with name 'inner-rule.293' warning (pdf backend): unreferenced destination with name 'inner-rule.291' warning (pdf backend): unreferenced destination with name 'inner-rule.289' warning (pdf backend): unreferenced destination with name 'inner-rule.283' warning (pdf backend): unreferenced destination with name 'inner-rule.281' warning (pdf backend): unreferenced destination with name 'inner-rule.277' warning (pdf backend): unreferenced destination with name 'inner-rule.275' warning (pdf backend): unreferenced destination with name 'inner-rule.273' warning (pdf backend): unreferenced destination with name 'inner-rule.271' warning (pdf backend): unreferenced destination with name 'inner-rule.269' warning (pdf backend): unreferenced destination with name 'inner-rule.267' warning (pdf backend): unreferenced destination with name 'inner-rule.265' warning (pdf backend): unreferenced destination with name 'inner-rule.263' warning (pdf backend): unreferenced destination with name 'inner-rule.261' warning (pdf backend): unreferenced destination with name 'inner-rule.259' warning (pdf backend): unreferenced destination with name 'inner-rule.257' warning (pdf backend): unreferenced destination with name 'inner-rule.209' warning (pdf backend): unreferenced destination with name 'inner-rule.207' warning (pdf backend): unreferenced destination with name 'inner-rule.205' warning (pdf backend): unreferenced destination with name 'inner-rule.203' warning (pdf backend): unreferenced destination with name 'inner-rule.201' warning (pdf backend): unreferenced destination with name 'inner-rule.173' warning (pdf backend): unreferenced destination with name 'inner-rule.142' warning (pdf backend): unreferenced destination with name 'inner-rule.140' warning (pdf backend): unreferenced destination with name 'inner-rule.138' warning (pdf backend): unreferenced destination with name 'inner-rule.154' warning (pdf backend): unreferenced destination with name 'inner-rule.152' warning (pdf backend): unreferenced destination with name 'inner-rule.175' warning (pdf backend): unreferenced destination with name 'inner-rule.241' warning (pdf backend): unreferenced destination with name 'inner-rule.255' warning (pdf backend): unreferenced destination with name 'inner-rule.136' warning (pdf backend): unreferenced destination with name 'inner-rule.199' warning (pdf backend): unreferenced destination with name 'inner-rule.193' warning (pdf backend): unreferenced destination with name 'inner-rule.279' warning (pdf backend): unreferenced destination with name 'inner-rule.197' warning (pdf backend): unreferenced destination with name 'inner-rule.217' warning (pdf backend): unreferenced destination with name 'inner-rule.189' warning (pdf backend): unreferenced destination with name 'inner-rule.132' </opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMMath -Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern /NewCM10-BookItalic.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/new computermodern/NewCMSans08-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentyp e/public/newcomputermodern/NewCM10-Book.otf></opt/texlive/2023/texmf-dist/fonts /opentype/public/newcomputermodern/NewCMMono10-Bold.otf></opt/texlive/2023/texm f-dist/fonts/opentype/public/newcomputermodern/NewCM10-BookItalic.otf></opt/tex live/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCM10-Bold.otf>< /opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCM10-Bo ld.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcomputermodern/Ne wCMMath-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/newcompute rmodern/NewCMMath-Book.otf></opt/texlive/2023/texmf-dist/fonts/opentype/public/ newcomputermodern/NewCMMono10-Book.otf></opt/texlive/2023/texmf-dist/fonts/open type/public/newcomputermodern/NewCMSans10-Book.otf></opt/texlive/2023/texmf-dis t/fonts/opentype/public/newcomputermodern/NewCM08-Book.otf></opt/texlive/2023/t exmf-dist/fonts/opentype/public/newcomputermodern/NewCM10-Book.otf></opt/texliv e/2023/texmf-dist/fonts/opentype/public/newcomputermodern/NewCMSans10-Bold.otf> </opt/texlive/2023/texmf-dist/fonts/type1/public/ccicons/ccicons.pfb> Output written on doc.pdf (62 pages, 342571 bytes). Transcript written on doc.log. [32;1m$ cd ..[0;m [32;1m$ cp spec/doc.pdf specification.pdf[0;m section_end:1742992772:step_script [0Ksection_start:1742992772:upload_artifacts_on_success [0K[0K[36;1mUploading artifacts for successful job[0;m[0;m [32;1mUploading artifacts...[0;m specification.pdf: found 1 matching artifact files and directories[0;m Uploading artifacts as "archive" to coordinator... 201 Created[0;m id[0;m=179325 responseStatus[0;m=201 Created token[0;m=glcbt-64 section_end:1742992773:upload_artifacts_on_success [0Ksection_start:1742992773:cleanup_file_variables [0K[0K[36;1mCleaning up project directory and file based variables[0;m[0;m section_end:1742992773:cleanup_file_variables [0K[32;1mJob succeeded[0;m