PWD /Users/yangky/Desktop/dev/LeanEuclid/blueprint/src
INPUT /usr/local/texlive/2024/texmf.cnf
INPUT /usr/local/texlive/2024/texmf-dist/web2c/texmf.cnf
INPUT /usr/local/texlive/2024/texmf-var/web2c/xetex/xelatex.fmt
INPUT print.tex
OUTPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.log
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/report.cls
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/report.cls
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/size10.clo
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/geometry/geometry.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/keyval.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/iftex/ifvtex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/iftex/iftex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3kernel/expl3.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3backend/l3backend-xetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/amssymb.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/amsfonts.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amscls/amsthm.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amscls/amsthm.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/mathtools/mathtools.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/mathtools/mathtools.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/tools/calc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/tools/calc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/mathtools/mhsetup.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/mathtools/mhsetup.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsmath.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amstext.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsgen.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsbsy.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsmath/amsopn.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/hyperref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/pdfescape/pdfescape.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/infwarerr/infwarerr.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hycolor/hycolor.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/auxhook/auxhook.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/nameref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/nameref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/refcount/refcount.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/kvoptions/kvoptions.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/etoolbox/etoolbox.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/pd1enc.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/intcalc/intcalc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/puenc.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/url/url.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/url/url.sty
INPUT /usr/local/texlive/2024/texmf-dist/fonts/map/fontname/texfonts.map
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/bitset/bitset.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/atbegshi/atbegshi.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/atbegshi-ltx.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/hyperref/hxetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/stringenc/stringenc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/atveryend/atveryend.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/atveryend-ltx.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/unicode-math/unicode-math.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/fontspec/fontspec.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/fontenc.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/fontspec/fontspec.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/fix-cm.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/base/ts1enc.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/cleveref/cleveref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/cleveref/cleveref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/generic/etexcmds/etexcmds.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thmtools.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thmtools.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-patch.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-patch.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/parseargs.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/parseargs.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-kv.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-kv.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-autoref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-autoref.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/aliasctr.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/aliasctr.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-listof.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-listof.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-restate.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-restate.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/thmtools/thm-amsthm.sty
INPUT ./macros/common.tex
INPUT ./macros/common.tex
INPUT ./macros/common.tex
INPUT ./macros/common.tex
INPUT macros/common.tex
INPUT ./macros/print.tex
INPUT ./macros/print.tex
INPUT ./macros/print.tex
INPUT ./macros/print.tex
INPUT macros/print.tex
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.aux
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.aux
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.aux
OUTPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.aux
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/graphicx.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/graphics.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/trig.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-def/xetex.def
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/color.sty
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics-cfg/color.cfg
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/mathcolor.ltx
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/mathcolor.ltx
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/graphics/mathcolor.ltx
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
OUTPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/umsa.fd
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/local/texlive/2024/texmf-dist/tex/latex/amsfonts/umsb.fd
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT ./content.tex
INPUT ./content.tex
INPUT ./content.tex
INPUT ./content.tex
INPUT content.tex
INPUT ./intro.tex
INPUT ./intro.tex
INPUT ./intro.tex
INPUT ./intro.tex
INPUT intro.tex
INPUT ./definitions.tex
INPUT ./definitions.tex
INPUT ./definitions.tex
INPUT ./definitions.tex
INPUT definitions.tex
INPUT ./postulates.tex
INPUT ./postulates.tex
INPUT ./postulates.tex
INPUT ./postulates.tex
INPUT postulates.tex
INPUT ./common_notions.tex
INPUT ./common_notions.tex
INPUT ./common_notions.tex
INPUT ./common_notions.tex
INPUT common_notions.tex
INPUT ./propositions/proposition_1.tex
INPUT ./propositions/proposition_1.tex
INPUT ./propositions/proposition_1.tex
INPUT ./propositions/proposition_1.tex
INPUT propositions/proposition_1.tex
INPUT ./figures/fig01e.eps
INPUT ./figures/fig01e.eps
INPUT ./figures/fig01e.eps
INPUT figures/fig01e.eps
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
INPUT /usr/local/texlive/2024/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
INPUT ./propositions/proposition_2.tex
INPUT ./propositions/proposition_2.tex
INPUT ./propositions/proposition_2.tex
INPUT ./propositions/proposition_2.tex
INPUT propositions/proposition_2.tex
INPUT ./figures/fig02e.eps
INPUT ./figures/fig02e.eps
INPUT ./figures/fig02e.eps
INPUT figures/fig02e.eps
INPUT ./propositions/proposition_3.tex
INPUT ./propositions/proposition_3.tex
INPUT ./propositions/proposition_3.tex
INPUT ./propositions/proposition_3.tex
INPUT propositions/proposition_3.tex
INPUT ./figures/fig03e.eps
INPUT ./figures/fig03e.eps
INPUT ./figures/fig03e.eps
INPUT figures/fig03e.eps
INPUT ./propositions/proposition_4.tex
INPUT ./propositions/proposition_4.tex
INPUT ./propositions/proposition_4.tex
INPUT ./propositions/proposition_4.tex
INPUT propositions/proposition_4.tex
INPUT ./figures/fig04e.eps
INPUT ./figures/fig04e.eps
INPUT ./figures/fig04e.eps
INPUT figures/fig04e.eps
INPUT ./propositions/proposition_5.tex
INPUT ./propositions/proposition_5.tex
INPUT ./propositions/proposition_5.tex
INPUT ./propositions/proposition_5.tex
INPUT propositions/proposition_5.tex
INPUT ./figures/fig05e.eps
INPUT ./figures/fig05e.eps
INPUT ./figures/fig05e.eps
INPUT figures/fig05e.eps
INPUT ./propositions/proposition_6.tex
INPUT ./propositions/proposition_6.tex
INPUT ./propositions/proposition_6.tex
INPUT ./propositions/proposition_6.tex
INPUT propositions/proposition_6.tex
INPUT ./figures/fig06e.eps
INPUT ./figures/fig06e.eps
INPUT ./figures/fig06e.eps
INPUT figures/fig06e.eps
INPUT ./propositions/proposition_7.tex
INPUT ./propositions/proposition_7.tex
INPUT ./propositions/proposition_7.tex
INPUT ./propositions/proposition_7.tex
INPUT propositions/proposition_7.tex
INPUT ./figures/fig07e.eps
INPUT ./figures/fig07e.eps
INPUT ./figures/fig07e.eps
INPUT figures/fig07e.eps
INPUT ./figures/proposition_7'.png
INPUT ./figures/proposition_7'.png
INPUT ./figures/proposition_7'.png
INPUT ./figures/proposition_7''.png
INPUT ./figures/proposition_7''.png
INPUT ./figures/proposition_7''.png
INPUT ./figures/proposition_7'''.png
INPUT ./figures/proposition_7'''.png
INPUT ./figures/proposition_7'''.png
INPUT ./propositions/proposition_8.tex
INPUT ./propositions/proposition_8.tex
INPUT ./propositions/proposition_8.tex
INPUT ./propositions/proposition_8.tex
INPUT propositions/proposition_8.tex
INPUT ./figures/fig08e.eps
INPUT ./figures/fig08e.eps
INPUT ./figures/fig08e.eps
INPUT figures/fig08e.eps
INPUT ./propositions/proposition_9.tex
INPUT ./propositions/proposition_9.tex
INPUT ./propositions/proposition_9.tex
INPUT ./propositions/proposition_9.tex
INPUT propositions/proposition_9.tex
INPUT ./figures/fig09e.eps
INPUT ./figures/fig09e.eps
INPUT ./figures/fig09e.eps
INPUT figures/fig09e.eps
INPUT ./figures/proposition_9.png
INPUT ./figures/proposition_9.png
INPUT ./figures/proposition_9.png
INPUT ./propositions/proposition_10.tex
INPUT ./propositions/proposition_10.tex
INPUT ./propositions/proposition_10.tex
INPUT ./propositions/proposition_10.tex
INPUT propositions/proposition_10.tex
INPUT ./figures/fig10e.eps
INPUT ./figures/fig10e.eps
INPUT ./figures/fig10e.eps
INPUT figures/fig10e.eps
INPUT ./propositions/proposition_11.tex
INPUT ./propositions/proposition_11.tex
INPUT ./propositions/proposition_11.tex
INPUT ./propositions/proposition_11.tex
INPUT propositions/proposition_11.tex
INPUT ./figures/fig11e.eps
INPUT ./figures/fig11e.eps
INPUT ./figures/fig11e.eps
INPUT figures/fig11e.eps
INPUT ./propositions/proposition_12.tex
INPUT ./propositions/proposition_12.tex
INPUT ./propositions/proposition_12.tex
INPUT ./propositions/proposition_12.tex
INPUT propositions/proposition_12.tex
INPUT ./figures/fig12e.eps
INPUT ./figures/fig12e.eps
INPUT ./figures/fig12e.eps
INPUT figures/fig12e.eps
INPUT ./propositions/proposition_13.tex
INPUT ./propositions/proposition_13.tex
INPUT ./propositions/proposition_13.tex
INPUT ./propositions/proposition_13.tex
INPUT propositions/proposition_13.tex
INPUT ./figures/fig13e.eps
INPUT ./figures/fig13e.eps
INPUT ./figures/fig13e.eps
INPUT figures/fig13e.eps
INPUT ./propositions/proposition_14.tex
INPUT ./propositions/proposition_14.tex
INPUT ./propositions/proposition_14.tex
INPUT ./propositions/proposition_14.tex
INPUT propositions/proposition_14.tex
INPUT ./figures/fig14e.eps
INPUT ./figures/fig14e.eps
INPUT ./figures/fig14e.eps
INPUT figures/fig14e.eps
INPUT ./propositions/proposition_15.tex
INPUT ./propositions/proposition_15.tex
INPUT ./propositions/proposition_15.tex
INPUT ./propositions/proposition_15.tex
INPUT propositions/proposition_15.tex
INPUT ./figures/fig15e.eps
INPUT ./figures/fig15e.eps
INPUT ./figures/fig15e.eps
INPUT figures/fig15e.eps
INPUT ./propositions/proposition_16.tex
INPUT ./propositions/proposition_16.tex
INPUT ./propositions/proposition_16.tex
INPUT ./propositions/proposition_16.tex
INPUT propositions/proposition_16.tex
INPUT ./figures/fig16e.eps
INPUT ./figures/fig16e.eps
INPUT ./figures/fig16e.eps
INPUT figures/fig16e.eps
INPUT ./propositions/proposition_17.tex
INPUT ./propositions/proposition_17.tex
INPUT ./propositions/proposition_17.tex
INPUT ./propositions/proposition_17.tex
INPUT propositions/proposition_17.tex
INPUT ./figures/fig17e.eps
INPUT ./figures/fig17e.eps
INPUT ./figures/fig17e.eps
INPUT figures/fig17e.eps
INPUT ./propositions/proposition_18.tex
INPUT ./propositions/proposition_18.tex
INPUT ./propositions/proposition_18.tex
INPUT ./propositions/proposition_18.tex
INPUT propositions/proposition_18.tex
INPUT ./figures/fig18e.eps
INPUT ./figures/fig18e.eps
INPUT ./figures/fig18e.eps
INPUT figures/fig18e.eps
INPUT ./propositions/proposition_19.tex
INPUT ./propositions/proposition_19.tex
INPUT ./propositions/proposition_19.tex
INPUT ./propositions/proposition_19.tex
INPUT propositions/proposition_19.tex
INPUT ./figures/fig19e.eps
INPUT ./figures/fig19e.eps
INPUT ./figures/fig19e.eps
INPUT figures/fig19e.eps
INPUT ./propositions/proposition_20.tex
INPUT ./propositions/proposition_20.tex
INPUT ./propositions/proposition_20.tex
INPUT ./propositions/proposition_20.tex
INPUT propositions/proposition_20.tex
INPUT ./figures/fig20e.eps
INPUT ./figures/fig20e.eps
INPUT ./figures/fig20e.eps
INPUT figures/fig20e.eps
INPUT ./propositions/proposition_21.tex
INPUT ./propositions/proposition_21.tex
INPUT ./propositions/proposition_21.tex
INPUT ./propositions/proposition_21.tex
INPUT propositions/proposition_21.tex
INPUT ./figures/fig21e.eps
INPUT ./figures/fig21e.eps
INPUT ./figures/fig21e.eps
INPUT figures/fig21e.eps
INPUT ./propositions/proposition_22.tex
INPUT ./propositions/proposition_22.tex
INPUT ./propositions/proposition_22.tex
INPUT ./propositions/proposition_22.tex
INPUT propositions/proposition_22.tex
INPUT ./figures/fig22e.eps
INPUT ./figures/fig22e.eps
INPUT ./figures/fig22e.eps
INPUT figures/fig22e.eps
INPUT ./propositions/proposition_23.tex
INPUT ./propositions/proposition_23.tex
INPUT ./propositions/proposition_23.tex
INPUT ./propositions/proposition_23.tex
INPUT propositions/proposition_23.tex
INPUT ./figures/fig23e.eps
INPUT ./figures/fig23e.eps
INPUT ./figures/fig23e.eps
INPUT figures/fig23e.eps
INPUT ./propositions/proposition_24.tex
INPUT ./propositions/proposition_24.tex
INPUT ./propositions/proposition_24.tex
INPUT ./propositions/proposition_24.tex
INPUT propositions/proposition_24.tex
INPUT ./figures/fig24e.eps
INPUT ./figures/fig24e.eps
INPUT ./figures/fig24e.eps
INPUT figures/fig24e.eps
INPUT ./figures/proposition_24.png
INPUT ./figures/proposition_24.png
INPUT ./figures/proposition_24.png
INPUT ./propositions/proposition_25.tex
INPUT ./propositions/proposition_25.tex
INPUT ./propositions/proposition_25.tex
INPUT ./propositions/proposition_25.tex
INPUT propositions/proposition_25.tex
INPUT ./figures/fig25e.eps
INPUT ./figures/fig25e.eps
INPUT ./figures/fig25e.eps
INPUT figures/fig25e.eps
INPUT ./propositions/proposition_26.tex
INPUT ./propositions/proposition_26.tex
INPUT ./propositions/proposition_26.tex
INPUT ./propositions/proposition_26.tex
INPUT propositions/proposition_26.tex
INPUT ./figures/fig26e.eps
INPUT ./figures/fig26e.eps
INPUT ./figures/fig26e.eps
INPUT figures/fig26e.eps
INPUT ./propositions/proposition_27.tex
INPUT ./propositions/proposition_27.tex
INPUT ./propositions/proposition_27.tex
INPUT ./propositions/proposition_27.tex
INPUT propositions/proposition_27.tex
INPUT ./figures/fig27e.eps
INPUT ./figures/fig27e.eps
INPUT ./figures/fig27e.eps
INPUT figures/fig27e.eps
INPUT ./propositions/proposition_28.tex
INPUT ./propositions/proposition_28.tex
INPUT ./propositions/proposition_28.tex
INPUT ./propositions/proposition_28.tex
INPUT propositions/proposition_28.tex
INPUT ./figures/fig28e.eps
INPUT ./figures/fig28e.eps
INPUT ./figures/fig28e.eps
INPUT figures/fig28e.eps
INPUT ./propositions/proposition_29.tex
INPUT ./propositions/proposition_29.tex
INPUT ./propositions/proposition_29.tex
INPUT ./propositions/proposition_29.tex
INPUT propositions/proposition_29.tex
INPUT ./figures/fig28e.eps
INPUT ./figures/fig28e.eps
INPUT ./figures/fig28e.eps
INPUT ./propositions/proposition_30.tex
INPUT ./propositions/proposition_30.tex
INPUT ./propositions/proposition_30.tex
INPUT ./propositions/proposition_30.tex
INPUT propositions/proposition_30.tex
INPUT ./figures/fig30e.eps
INPUT ./figures/fig30e.eps
INPUT ./figures/fig30e.eps
INPUT figures/fig30e.eps
INPUT ./propositions/proposition_31.tex
INPUT ./propositions/proposition_31.tex
INPUT ./propositions/proposition_31.tex
INPUT ./propositions/proposition_31.tex
INPUT propositions/proposition_31.tex
INPUT ./figures/fig31e.eps
INPUT ./figures/fig31e.eps
INPUT ./figures/fig31e.eps
INPUT figures/fig31e.eps
INPUT ./propositions/proposition_32.tex
INPUT ./propositions/proposition_32.tex
INPUT ./propositions/proposition_32.tex
INPUT ./propositions/proposition_32.tex
INPUT propositions/proposition_32.tex
INPUT ./figures/fig32e.eps
INPUT ./figures/fig32e.eps
INPUT ./figures/fig32e.eps
INPUT figures/fig32e.eps
INPUT ./propositions/proposition_33.tex
INPUT ./propositions/proposition_33.tex
INPUT ./propositions/proposition_33.tex
INPUT ./propositions/proposition_33.tex
INPUT propositions/proposition_33.tex
INPUT ./figures/fig33e.eps
INPUT ./figures/fig33e.eps
INPUT ./figures/fig33e.eps
INPUT figures/fig33e.eps
INPUT ./propositions/proposition_34.tex
INPUT ./propositions/proposition_34.tex
INPUT ./propositions/proposition_34.tex
INPUT ./propositions/proposition_34.tex
INPUT propositions/proposition_34.tex
INPUT ./figures/fig34e.eps
INPUT ./figures/fig34e.eps
INPUT ./figures/fig34e.eps
INPUT figures/fig34e.eps
INPUT ./propositions/proposition_35.tex
INPUT ./propositions/proposition_35.tex
INPUT ./propositions/proposition_35.tex
INPUT ./propositions/proposition_35.tex
INPUT propositions/proposition_35.tex
INPUT ./figures/fig35e.eps
INPUT ./figures/fig35e.eps
INPUT ./figures/fig35e.eps
INPUT figures/fig35e.eps
INPUT ./propositions/proposition_36.tex
INPUT ./propositions/proposition_36.tex
INPUT ./propositions/proposition_36.tex
INPUT ./propositions/proposition_36.tex
INPUT propositions/proposition_36.tex
INPUT ./figures/fig36e.eps
INPUT ./figures/fig36e.eps
INPUT ./figures/fig36e.eps
INPUT figures/fig36e.eps
INPUT ./propositions/proposition_37.tex
INPUT ./propositions/proposition_37.tex
INPUT ./propositions/proposition_37.tex
INPUT ./propositions/proposition_37.tex
INPUT propositions/proposition_37.tex
INPUT ./figures/fig37e.eps
INPUT ./figures/fig37e.eps
INPUT ./figures/fig37e.eps
INPUT figures/fig37e.eps
INPUT ./propositions/proposition_38.tex
INPUT ./propositions/proposition_38.tex
INPUT ./propositions/proposition_38.tex
INPUT ./propositions/proposition_38.tex
INPUT propositions/proposition_38.tex
INPUT ./figures/fig38e.eps
INPUT ./figures/fig38e.eps
INPUT ./figures/fig38e.eps
INPUT figures/fig38e.eps
INPUT ./propositions/proposition_39.tex
INPUT ./propositions/proposition_39.tex
INPUT ./propositions/proposition_39.tex
INPUT ./propositions/proposition_39.tex
INPUT propositions/proposition_39.tex
INPUT ./figures/fig39e.eps
INPUT ./figures/fig39e.eps
INPUT ./figures/fig39e.eps
INPUT figures/fig39e.eps
INPUT ./propositions/proposition_40.tex
INPUT ./propositions/proposition_40.tex
INPUT ./propositions/proposition_40.tex
INPUT ./propositions/proposition_40.tex
INPUT propositions/proposition_40.tex
INPUT ./figures/fig40e.eps
INPUT ./figures/fig40e.eps
INPUT ./figures/fig40e.eps
INPUT figures/fig40e.eps
INPUT ./propositions/proposition_41.tex
INPUT ./propositions/proposition_41.tex
INPUT ./propositions/proposition_41.tex
INPUT ./propositions/proposition_41.tex
INPUT propositions/proposition_41.tex
INPUT ./figures/fig41e.eps
INPUT ./figures/fig41e.eps
INPUT ./figures/fig41e.eps
INPUT figures/fig41e.eps
INPUT ./propositions/proposition_42.tex
INPUT ./propositions/proposition_42.tex
INPUT ./propositions/proposition_42.tex
INPUT ./propositions/proposition_42.tex
INPUT propositions/proposition_42.tex
INPUT ./figures/fig42e.eps
INPUT ./figures/fig42e.eps
INPUT ./figures/fig42e.eps
INPUT figures/fig42e.eps
INPUT ./propositions/proposition_43.tex
INPUT ./propositions/proposition_43.tex
INPUT ./propositions/proposition_43.tex
INPUT ./propositions/proposition_43.tex
INPUT propositions/proposition_43.tex
INPUT ./figures/fig43e.eps
INPUT ./figures/fig43e.eps
INPUT ./figures/fig43e.eps
INPUT figures/fig43e.eps
INPUT ./propositions/proposition_44.tex
INPUT ./propositions/proposition_44.tex
INPUT ./propositions/proposition_44.tex
INPUT ./propositions/proposition_44.tex
INPUT propositions/proposition_44.tex
INPUT ./figures/fig44e.eps
INPUT ./figures/fig44e.eps
INPUT ./figures/fig44e.eps
INPUT figures/fig44e.eps
INPUT ./propositions/proposition_45.tex
INPUT ./propositions/proposition_45.tex
INPUT ./propositions/proposition_45.tex
INPUT ./propositions/proposition_45.tex
INPUT propositions/proposition_45.tex
INPUT ./figures/fig45e.eps
INPUT ./figures/fig45e.eps
INPUT ./figures/fig45e.eps
INPUT figures/fig45e.eps
INPUT ./propositions/proposition_46.tex
INPUT ./propositions/proposition_46.tex
INPUT ./propositions/proposition_46.tex
INPUT ./propositions/proposition_46.tex
INPUT propositions/proposition_46.tex
INPUT ./figures/fig46e.eps
INPUT ./figures/fig46e.eps
INPUT ./figures/fig46e.eps
INPUT figures/fig46e.eps
INPUT ./propositions/proposition_47.tex
INPUT ./propositions/proposition_47.tex
INPUT ./propositions/proposition_47.tex
INPUT ./propositions/proposition_47.tex
INPUT propositions/proposition_47.tex
INPUT ./figures/fig47e.eps
INPUT ./figures/fig47e.eps
INPUT ./figures/fig47e.eps
INPUT figures/fig47e.eps
INPUT ./propositions/proposition_48.tex
INPUT ./propositions/proposition_48.tex
INPUT ./propositions/proposition_48.tex
INPUT ./propositions/proposition_48.tex
INPUT propositions/proposition_48.tex
INPUT ./figures/fig48e.eps
INPUT ./figures/fig48e.eps
INPUT ./figures/fig48e.eps
INPUT figures/fig48e.eps
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.aux
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
INPUT /Users/yangky/Desktop/dev/LeanEuclid/blueprint/print/print.out
