# Fdb version 4 ["pdflatex"] 1768499322.00664 "/home/thanic/Latex/Lecture-Notes/Spring 26/M782 Homotopy Type Theory.tex" "M782 Homotopy Type Theory.pdf" "M782 Homotopy Type Theory" 1768499323.61111 0 "/home/thanic/.texlive/texmf-var/web2c/pdftex/pdflatex.fmt" 1761972743 2008244 1dc65f844a973ffcc754656606255ac3 "" "/home/thanic/Latex/Lecture-Notes/Spring 26/M782 Homotopy Type Theory.tex" 1768499321.64821 1175 63f37cfa63bcbfccf030bde7837c3b27 "" "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1767555874 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1767555874 1004 54797486969f23fa377b128694d548df "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1767555874 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1767555874 916 f87d7c45f9c908e672703b83b72241a3 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1767555874 928 2dc8d444221b7a635bb58038579b861a "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1767555874 908 2921f8a10601f252058503cc6570e581 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1767555874 940 228d6584342e91276bf566bcf9716b83 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1767555874 1324 c910af8c371558dc20f2d7822f66fe64 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1767555874 992 662f679a0b3d2d53c1b94050fdaa3f50 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1767555874 1524 4414a8315f39513458b80dfc63bff03a "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1767555874 1512 f21f83efb36853c0b70002322c1ab3ad "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1767555874 1520 eccf95517727cb11801f4f1aee3a21b4 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1767555874 1288 655e228510b4c2a1abe905c368440826 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1767555874 1292 296a67155bdbfc32aa9c636f21e91433 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1767555874 1300 b62933e007d01cfd073f79b963c01526 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1767555874 1292 21c1c5bfeaebccffdb478fd231a0997d "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1767555874 1124 6c73e740cf17375f03eec0ee63599741 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1767555874 1116 933a60c408fc0a863a92debe84b2d294 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1767555874 1120 8b7d695260f3cff42e636090a8002094 "" "/usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary10.tfm" 1767555874 848 f478e0761563bbc369eca609a1741348 "" "/usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary6.tfm" 1767555874 848 068dd119e13b75777e62821af7d4f2a6 "" "/usr/share/texmf-dist/fonts/tfm/public/stmaryrd/stmary8.tfm" 1767555874 848 6125cdd3627e68d3db8013b98e587508 "" "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1767555874 32080 340ef9bf63678554ee606688e7b5339d "" "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1767555874 35752 024fb6c41858982481f6968b5fc26508 "" "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1767555874 32722 d7379af29a190c3f453aba36302ff5a9 "" "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1767555874 32362 179c33bbf43f19adbb3825bb4e36e57a "" "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1767555874 71627 94eb9990bed73c364d7f53f960cc8c5b "" "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1767555874 7984 7dbb9280f03c0a315425f1b4f35d43ee "" "/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty" 1767555874 1057 525c2192b5febbd8c1f662c9468335bb "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1767555874 1016 1c2b89187d12a2768764b83b4945667c "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1767555874 43820 1fef971b75380574ab35a0d37fd92608 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1767555874 19324 f4e4c6403dd0f1605fd20ed22fa79dea "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1767555874 6038 ccb406740cc3f03bbfb58ad504fe8c27 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1767555874 6911 f6d4cf5a3fef5cc879d668b810e82868 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1767555874 4883 42daaf41e27c3735286e23e48d2d7af9 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1767555874 2544 8c06d2a7f0f469616ac9e13db6d2f842 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1767555874 44195 5e390c414de027626ca5e2df888fa68d "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1767555874 17311 2ef6b2e29e2fc6a2fc8d6d652176e257 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1767555874 21302 788a79944eb22192a4929e46963a3067 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1767555874 9691 3d42d89522f4650c2f3dc616ca2b925e "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1767555874 33335 dd1fa4814d4e51f18be97d88bf0da60c "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1767555874 2965 4c2b1f4e0826925746439038172e5d6f "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex" 1767555874 5196 2cc249e0ee7e03da5f5f6589257b1e5b "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1767555874 20821 7579108c1e9363e61a0b1584778804aa "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1767555874 35249 abd4adf948f960299a4b3d27c5dddf46 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1767555874 22012 81b34a0aa8fa1a6158cc6220b00e4f10 "" "/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1767555874 8893 e851de2175338fdf7c17f3e091d94618 "" "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex" 1767555874 319 225dfe354ba678ff3c194968db39d447 "" "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarymatrix.code.tex" 1767555874 4228 c39d423dc1a80da31c8c67bf1067f384 "" "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryquotes.code.tex" 1767555874 3970 c199216b190c70e45bff870bacf0da00 "" "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" 1767555874 11518 738408f795261b70ce8dd47459171309 "" "/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" 1767555874 186782 af500404a9edec4d362912fe762ded92 "" "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex" 1767555874 31874 89148c383c49d4c72114a76fd0062299 "" "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex" 1767555874 58801 1e750fb0692eb99aaac45698bbec96b1 "" "/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" 1767555874 32995 ac577023e12c0e4bd8aa420b2e852d1a "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex" 1767555874 3063 8c415c68a0f3394e45cfeca0b65f6ee6 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1767555874 949 cea70942e7b7eddabfb3186befada2e6 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1767555874 13270 2e54f2ce7622437bf37e013d399743e3 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1767555874 104717 9b2393fbf004a0ce7fa688dbce423848 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1767555874 10165 cec5fa73d49da442e56efc2d605ef154 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1767555874 28178 41c17713108e0795aac6fef3d275fbca "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1767555874 9649 85779d3d8d573bfd2cd4137ba8202e60 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1767555874 3865 ac538ab80c5cf82b345016e474786549 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1767555874 3177 27d85c44fbfe09ff3b2cf2879e3ea434 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1767555874 11024 0179538121bc2dba172013a3ef89519f "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1767555874 7890 0a86dbf4edfd88d022e0d889ec78cc03 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1767555874 3379 781797a101f647bab82741a99944a229 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1767555874 92405 f515f31275db273f97b9d8f52e1b0736 "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1767555874 37466 97b0a1ba732e306a1a2034f5a73e239f "" "/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1767555874 8471 c2883569d03f69e8e1cabfef4999cfd7 "" "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" 1767555874 21211 1e73ec76bd73964d84197cc3d2685b01 "" "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" 1767555874 16121 346f9013d34804439f7436ff6786cef7 "" "/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" 1767555874 44792 271e2e1934f34c759f4dedb1e14a5015 "" "/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex" 1767555874 114 e6d443369d0673933b38834bf99e422d "" "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1767555874 926 2963ea0dcf6cc6c0a770b69ec46a477b "" "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1767555874 5542 32f75a31ea6c3a7e1148cd6d5e93dbb7 "" "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1767555874 12612 7774ba67bfd72e593c4436c2de6201e3 "" "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1767555874 61351 bc5f86e0355834391e736e97a61abced "" "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1767555874 1896 b8e0ca0ac371d74c0ca05583f6313c91 "" "/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1767555874 7778 53c8b5623d80238f6a20aa1df1868e63 "" "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" 1767555874 24033 d8893a1ec4d1bfa101b172754743d340 "" "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1767555874 39784 414c54e866ebab4b801e2ad81d9b21d8 "" "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.tex" 1767555874 37433 940bc6d409f1ffd298adfdcaf125dd86 "" "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1767555874 4385 510565c2f07998c8a0e14f0ec07ff23c "" "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1767555874 29239 22e8c7516012992a49873eff0d868fed "" "/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1767555874 6950 8524a062d82b7afdc4a88a57cb377784 "" "/usr/share/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex" 1767555874 23059 b4b98da760150611227e2533f15fe352 "" "/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty" 1767555874 12594 0d51ac3a545aaaa555021326ff22a6cc "" "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1767555874 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1767555874 13829 94730e64147574077f8ecfea9bb69af4 "" "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" 1767555874 961 6518c6525a34feb5e8250ffa91731cff "" "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" 1767555874 961 d02606146ba5601b5645f987c92e6193 "" "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1767555874 2222 2166a1f7827be30ddc30434e5efcee1b "" "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1767555874 4173 d22509bc0c91281d991b2de7c88720dd "" "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1767555874 88370 c780f23aea0ece6add91e09b44dca2cd "" "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1767555874 4474 23ca1d3a79a57b405388059456d0a8df "" "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1767555874 2444 71618ea5f2377e33b04fb97afdd0eac2 "" "/usr/share/texmf-dist/tex/latex/base/article.cls" 1767555874 20144 63d8bacaf52e5abf4db3bc322373e1d4 "" "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1767555874 8448 5cf247d4bd0c7d5d711bbbdf111fae2e "" "/usr/share/texmf-dist/tex/latex/booktabs/booktabs.sty" 1767555874 6078 f1cb470c9199e7110a27851508ed7a5c "" "/usr/share/texmf-dist/tex/latex/cancel/cancel.sty" 1767555874 7592 dd751af313a16a0308545d5bfd7aaaa2 "" "/usr/share/texmf-dist/tex/latex/enumitem/enumitem.sty" 1767555874 52272 63d293bc0d496619edb57585740861a2 "" "/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty" 1767555874 13886 d1306dcf79a944f6988e688c1785f9ce "" "/usr/share/texmf-dist/tex/latex/float/float.sty" 1767555874 6749 16d2656a1984957e674b149555f1ea1d "" "/usr/share/texmf-dist/tex/latex/geometry/geometry.sty" 1767555874 41601 9cf6c5257b1bc7af01a58859749dd37a "" "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1767555874 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1767555874 1224 978390e9c2234eab29404bc21b268d1e "" "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" 1767555874 19440 9da9dcbb27470349a580fca7372d454b "" "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1767555874 18363 dee506cb8d56825d8a4d020f5d5f8704 "" "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1767555874 8010 6f2ad8c2b2ffbd607af6475441c7b5e4 "" "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1767555874 2671 70891d50dac933918b827d326687c6e8 "" "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" 1767555874 2885 9c645d672ae17285bba324998918efd8 "" "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1767555874 4023 2c9f39712cf7b43d3eb93a8bbd5c8f67 "" "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1767555874 29785 9f93ab201fe5dd053afcc6c1bcf7d266 "" "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty" 1767555874 6565 f51d809db6193fae7b06c1bc26ca8f75 "" "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" 1767555874 9783 ab4bee47700c04aadedb8da27591b0ab "" "/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1767555874 678 4792914a8f45be57bb98413425e4c7af "" "/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty" 1767555874 62711 3b0ed1d68b598a75677c10d16646d5e5 "" "/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty" 1767555874 5582 a43dedf8e5ec418356f1e9dfe5d29fc3 "" "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" 1767555874 1090 bae35ef70b3168089ef166db3e66f5b2 "" "/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1767555874 373 00b204b1d7d095b892ad31a7494b0373 "" "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" 1767555874 21013 f4ff83d25bb56552493b030f27c075ae "" "/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" 1767555874 989 c49c8ae06d96f8b15869da7428047b1e "" "/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" 1767555874 339 c2e180022e3afdb99c7d0ea5ce469b7d "" "/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty" 1767555874 306 c56a323ca5bf9242f54474ced10fca71 "" "/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1767555874 443 8c872229db56122037e86bcda49e14f3 "" "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" 1767555874 348 ee405e64380c11319f0e249fed57e6c5 "" "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" 1767555874 274 5ae372b7df79135d240456a1c6f2cf9a "" "/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1767555874 325 f9f16d12354225b7dd52a3321f085955 "" "/usr/share/texmf-dist/tex/latex/physics/physics.sty" 1767555874 29610 a9597219b282d9c78b02393dcd7d4322 "" "/usr/share/texmf-dist/tex/latex/stmaryrd/Ustmry.fd" 1767555874 1766 216b0f832c406513647608b5bb9bb8ff "" "/usr/share/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty" 1767555874 11080 aa7f81da60ce104f0dbb8b827dd14383 "" "/usr/share/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty" 1767555874 823 2375f30bf77af9357d3b4834b054bf52 "" "/usr/share/texmf-dist/tex/latex/tools/calc.sty" 1767555874 10214 61188260d324e94bc2f66825d7d3fdf4 "" "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1767555874 55384 b454dec21c2d9f45ec0b793f0995b992 "" "/usr/share/texmf-dist/web2c/texmf.cnf" 1767555874 42087 b0f9697c952c8f5a8eede4134282cb0d "" "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1768332210 5467117 e063ce8e53b0cc3d0312473583ebc51c "" "M782 Homotopy Type Theory.aux" 1768499323.42817 32 3985256e7290058c681f74d7a3565a19 "pdflatex" "M782 Homotopy Type Theory.tex" 1768499321.64821 1175 63f37cfa63bcbfccf030bde7837c3b27 "" (generated) "M782 Homotopy Type Theory.aux" "M782 Homotopy Type Theory.log" "M782 Homotopy Type Theory.pdf" (rewritten before read)