Mercurial > hg > Papers > 2023 > soto-master
view Paper/master_paper.fdb_latexmk @ 26:abde7ffd6011
Add lt slide
author | soto <soto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 11 Feb 2023 22:51:00 +0900 (2023-02-11) |
parents | b37e4cd69468 |
children | 4915eaa51ee0 |
line wrap: on
line source
# Fdb version 3 ["bibtex master_paper"] 1675432991 "master_paper.aux" "master_paper.bbl" "master_paper" 1676115609 "junsrt.bst" 0 -1 0 "" "master_paper.aux" 1676115608 19572 0389835a9786a06fbd1766a61cfb8e10 "latex" "reference.bib" 1675336779 4441 cbcfa8f3c6c78deaf589b09a84f57dc9 "" (generated) "master_paper.bbl" "master_paper.blg" ["dvipdf"] 1676115608 "master_paper.dvi" "master_paper.pdf" "master_paper" 1676115609 "master_paper.dvi" 1676115608 322892 d5e1d20746c038537134b70cd2d318bb "latex" (generated) "master_paper.pdf" ["latex"] 1676115607 "/home/soto/lab/soto-master/Paper/master_paper.tex" "master_paper.dvi" "master_paper" 1676115609 "/home/soto/lab/soto-master/Paper/master_paper.tex" 1676115607 3097 65f21be5c4f1e0234a8f6ffd26dbeafa "" "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1650183167 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/tcrm1200.tfm" 1650183167 1536 74b7293ec3713bb7fdca8dd1bd1f469c "" "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/tctt1000.tfm" 1650183167 1536 c5729d01ab121276cf99b309129349a0 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1650183167 1004 54797486969f23fa377b128694d548df "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1650183167 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1650183167 916 f87d7c45f9c908e672703b83b72241a3 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1650183167 924 9904cf1d39e9767e7a3622f2a125a565 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1650183167 928 2dc8d444221b7a635bb58038579b861a "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1650183167 908 2921f8a10601f252058503cc6570e581 "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1650183167 940 75ac932a52f80982a9f8ea75d03a34cf "" "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1650183167 940 228d6584342e91276bf566bcf9716b83 "" "/usr/share/texmf-dist/fonts/tfm/public/ascmac/ascgrp.tfm" 1650180894 448 9a1f3a95c3a7e2681aa6eefcf410b7ac "" "/usr/share/texmf-dist/fonts/tfm/public/bxjatoucs/bxjatoucs-cid.tfm" 1650180894 92388 7031e5a1936cb30180e7c99464bb574a "" "/usr/share/texmf-dist/fonts/tfm/public/bxjatoucs/bxjatoucs-jis.tfm" 1650180894 31380 1d09ef146eecd6f0f49e1f330de6fb2e "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm" 1650183167 1328 c834bbb027764024c09d3d2bf908b5f0 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1650183167 1324 c910af8c371558dc20f2d7822f66fe64 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1650183167 992 662f679a0b3d2d53c1b94050fdaa3f50 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1650183167 1524 4414a8315f39513458b80dfc63bff03a "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1650183167 1512 f21f83efb36853c0b70002322c1ab3ad "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1650183167 1520 eccf95517727cb11801f4f1aee3a21b4 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1650183167 1296 45809c5a464d5f32c8f98ba97c1bb47f "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1650183167 1288 655e228510b4c2a1abe905c368440826 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1650183167 1292 296a67155bdbfc32aa9c636f21e91433 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1650183167 1300 b62933e007d01cfd073f79b963c01526 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1650183167 1292 21c1c5bfeaebccffdb478fd231a0997d "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1650183167 1124 6c73e740cf17375f03eec0ee63599741 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1650183167 1116 933a60c408fc0a863a92debe84b2d294 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1650183167 1120 8b7d695260f3cff42e636090a8002094 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmti12.tfm" 1650183167 1484 ed72f8f5cf654cda15ecc8e32bfcbee5 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1650183167 768 1321e9409b4137d6fb428ac9dc956269 "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm" 1650183167 772 9a936b7f5e2ff0557fce0f62822f0bbf "" "/usr/share/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm" 1650183167 768 d7b9a2629a0c353102ad947dc9221d49 "" "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlgothr-h.tfm" 1650180894 868 d00a8d6d9ddcb5aa8cde656e259e4d35 "" "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlgothr-v.tfm" 1650180894 588 e1ae0e7b22becffa2385cb523a787c37 "" "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-h.tfm" 1650180894 868 d00a8d6d9ddcb5aa8cde656e259e4d35 "" "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminb-v.tfm" 1650180894 588 e1ae0e7b22becffa2385cb523a787c37 "" "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-h.tfm" 1650180894 868 d00a8d6d9ddcb5aa8cde656e259e4d35 "" "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/upnmlminr-v.tfm" 1650180894 588 e1ae0e7b22becffa2385cb523a787c37 "" "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" 1650183167 24708 5584a51a7101caf7e6bbf1fc27d8f7b1 "" "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1650183167 40635 c40361e206be584d448876bba8a64a3b "" "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" 1650183167 33961 6b5c75130e435b2bfdb9f480a09a39f9 "" "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" 1650183167 7734 b98cbb34c81f667027c1e3ebdbfce34b "" "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" 1650183167 8371 9d55b8bd010bc717624922fb3477d92e "" "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1650183167 7237 bdd120a32c8fdb4b433cf9ca2e7cd98a "" "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1650183167 8356 7bbb2c2373aa810be568c29e333da8ed "" "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" 1650183167 31769 002a487f55041f8e805cfbf6385ffd97 "" "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" 1650183167 5412 d5a2436094cd7be85769db90f29250a6 "" "/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty" 1650183167 13807 952b0226d4efca026f0e19dd266dcc22 "" "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1650183167 17859 4409f8f50cd365c68e684407e5350b1b "" "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" 1650183167 19007 15924f7228aca6c6d184b115f4baa231 "" "/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" 1650183167 20089 80423eac55aa175305d35b49e04fe23b "" "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" 1650183167 7008 f92eaa0a3872ed622bbf538217cd2ab7 "" "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1650183167 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1650183167 13829 94730e64147574077f8ecfea9bb69af4 "" "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" 1650183167 961 6518c6525a34feb5e8250ffa91731cff "" "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" 1650183167 961 d02606146ba5601b5645f987c92e6193 "" "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1650183167 2222 da905dc1db75412efd2d8f67739f0596 "" "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1650183167 4173 bc0410bcccdff806d6132d3c1ef35481 "" "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1650183167 87648 07fbb6e9169e00cb2a2f40b31b2dbf3c "" "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1650183167 4128 8eea906621b6639f7ba476a472036bbe "" "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1650183167 2444 926f379cc60fcf0c6e3fee2223b4370d "" "/usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty" 1650180894 590 834565f4a016952bf667fd346b7aee71 "" "/usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty" 1650180894 11463 e16f2fec3bf4db0d4002a155e4cf4467 "" "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" 1650183167 19336 ce7ae9438967282886b3b036cfad1e4d "" "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" 1650183167 3935 57aa3c3e203a5c2effb4d2bd2efbc323 "" "/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty" 1650183167 3034 3bfb87122e6fa8758225c0dd3cbaceba "" "/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty" 1650183167 2462 754d6b31b2ab5a09bb72c348ace2ec75 "" "/usr/share/texmf-dist/tex/latex/base/omscmr.fd" 1650183167 2469 ed49302eacbaebdd899d39dedcd25393 "" "/usr/share/texmf-dist/tex/latex/base/ts1cmtt.fd" 1650183167 2287 321c9b3e7f8038f483d2c21d3393e4fe "" "/usr/share/texmf-dist/tex/latex/bxjatoucs/bxjatoucs.sty" 1650180894 9159 ebd68ea70b64dbc04bdc806c9afa9ea1 "" "/usr/share/texmf-dist/tex/latex/comment/comment.sty" 1650181202 10197 204f75d5d8d88aa345a8c402e879e63b "" "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1650183167 46845 3b58f70c6e861a13d927bff09d35ecbc "" "/usr/share/texmf-dist/tex/latex/float/float.sty" 1650183167 6749 16d2656a1984957e674b149555f1ea1d "" "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1650183167 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1650183167 1224 978390e9c2234eab29404bc21b268d1e "" "/usr/share/texmf-dist/tex/latex/graphics-def/dvipdfmx.def" 1650183167 11954 a36b7b78ab4e312457a19bfa12b9b032 "" "/usr/share/texmf-dist/tex/latex/graphics/color.sty" 1650183167 7197 eb6c1ebf41667a05cb50c23c19d5e8bc "" "/usr/share/texmf-dist/tex/latex/graphics/dvipsnam.def" 1650183167 4995 8040f614c8de8318a0b5b2dea8a3fcef "" "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1650183167 18399 7e40f80366dffb22c0e7b70517db5cb4 "" "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1650183167 7996 a8fb260d598dcaf305a7ae7b9c3e3229 "" "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1650183167 2671 4de6781a30211fe0ea4c672e4a2a8166 "" "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1650183167 4009 187ea2dc3194cd5a76cd99a8d7a6c4d0 "" "/usr/share/texmf-dist/tex/latex/here/here.sty" 1650181372 439 d908692e0f19922874ccfe2bf35addc7 "" "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" 1650183167 17914 4c28a13fc3d975e6e81c9bea1d697276 "" "/usr/share/texmf-dist/tex/latex/hyperref/hdvipdfm.def" 1650183167 43325 3c582e51971f24936be8d7b89f4d6963 "" "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" 1650183167 220999 6145ea83914c186e178d1d31c50b37df "" "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" 1650183167 13242 133e617c5eebffdd05e421624022b267 "" "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" 1650183167 14132 e8e7e61e51ade521a7238fac8362786c "" "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def" 1650183167 117004 ed1c2cc82bb9836e9d59549dd8c33098 "" "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1650183167 22521 d2fceb764a442a2001d257ef11db7618 "" "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def" 1650183167 36419 cbb8189400f363593dc2cb0242f4644d "" "/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty" 1650183167 5766 13a9e8766c47f30327caf893ece86ac8 "" "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" 1650183167 1830 e31effa752c61538383451ae21332364 "" "/usr/share/texmf-dist/tex/latex/listings/listings.sty" 1650183167 80964 64e57373f36316e4a09b517cbf1aba2e "" "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" 1650183167 204271 bae5b2d457283e99567249c1990510be "" "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" 1650183167 77022 ee25ce086f4a79d8cf73bac6f94c02a5 "" "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" 1650183167 9878 9e94e8fa600d95f9c7731bb21dfb67a4 "" "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1650183167 9715 b051d5b493d9fe5f4bc251462d039e5f "" "/usr/share/texmf-dist/tex/latex/url/url.sty" 1650183167 12796 8edb7d69a20b857904dd0ea757c14ec9 "" "/usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty" 1650180894 31169 82da95c56dec9c45e5b9734751394461 "" "/usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty" 1650180894 1209 8abf44b4af3260bbf90285291bba45c8 "" "/usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty" 1650180894 5572 2718e332ffca67065c2d32dda76f558f "" "/usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty" 1650180894 23780 6dcbea98f42a2e1905e36acdd2df6006 "" "/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-ajm.def" 1650180894 23851 dfbf8509c1b84feabc4c7ccecad37b73 "" "/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-enc.sty" 1650180894 3306 17f0bf297c3e5ff053fbecb9ab2c7f72 "" "/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper-uni.def" 1650180894 2847 de3e4f200ea6b74996b3a6986dd73423 "" "/usr/share/texmf-dist/tex/platex/pxjahyper/pxjahyper.sty" 1650180894 48178 74cdc2a17e858f62a0c53e0c0e13ade5 "" "/usr/share/texmf-dist/tex/uplatex/base/ujreport.cls" 1650180894 28822 0d11fc9a80459f8acb59a92a8c0c240f "" "/usr/share/texmf-dist/tex/uplatex/base/ujsize12.clo" 1650180894 8651 e3f78182e9663a8a3a1c616db92a3146 "" "/usr/share/texmf-dist/web2c/texmf.cnf" 1650183167 39911 2da6c67557ec033436fe5418a70a8a61 "" "/var/lib/texmf/web2c/euptex/uplatex.fmt" 1669632361 2966999 e9b1c9d25b0c1263511ad6fb9fbb174b "" "fig/Dining.pdf" 1674125175 126415 635fdfd0d90894b78e5da1c3af0ef19f "" "fig/cbc_codegear.pdf" 1674125175 30110 abae9d544b613e6b77036cde8327a20f "" "fig/dpp-model.pdf" 1674369845 54353 01b0af963c00cb0c2721ab5a1d2bc781 "" "fig/rbt-stack.pdf" 1674125175 35233 d7920c7c7df9157f95299a7f4e75eab1 "" "fig/u-ryukyu-Mark.eps" 1674125175 177171 82fa7968c81a6b7289de9d1085964fe1 "" "master_paper.aux" 1676115608 19572 0389835a9786a06fbd1766a61cfb8e10 "latex" "master_paper.bbl" 1675432991 3042 1f8e88c721c88589fe6b356911ae236d "bibtex master_paper" "master_paper.lof" 1676115608 629 bb98eadca704b5d48a03911c72cf03e2 "latex" "master_paper.lol" 1676115608 4682 ee5355881ee488a771f0e7774cbca43d "latex" "master_paper.out" 1676115608 8014 752f2940cbc6f3216306fde56a77d4ef "latex" "master_paper.sty" 1676115605 13232 506750f1706ac71feedc33ce08dea99b "" "master_paper.tex" 1676115607 3097 65f21be5c4f1e0234a8f6ffd26dbeafa "" "master_paper.toc" 1676115608 3910 500a0fc084c1fda6fc35b24ae13c676a "latex" "src/agda-dpp-impl.agda.replaced" 1675358521 2824 60454fbbf20d18849d1886385e94384b "" "src/agda-term3.agda.replaced" 1675358515 545 44ab43e2fe263959526d8b27411b6b81 "" "src/agda/And.agda.replaced" 1675358518 74 04fb41b7bb7a82a71ad4722821fb7177 "" "src/agda/Nat.agda.replaced" 1675582383 117 9f9ba563076ef0d3edd10e2c2dd037cb "" "src/agda/abridgement.agda.replaced" 1675358518 545 2c7399d5b35681da89289c89fd9d172f "" "src/agda/cbc-agda.agda.replaced" 1675358518 1143 ab39102eb0f69d3b9f8e4e985a7c1e37 "" "src/agda/plus.agda.replaced" 1675358518 131 02cc3ce23c67c850a18782de80b72708 "" "src/agda/plus2.agda.replaced" 1675582383 170 98245cb6f75325de135bf175f2b2f356 "" "src/agda/syllogism.agda.replaced" 1675358518 193 37bc8bff0ac10305e5bdf929856897e5 "" "src/bt_impl/bt_env.agda.replaced" 1675358515 353 1c4e0e30a709998b56db02c2f5d79780 "" "src/bt_impl/find.agda.replaced" 1675358515 1009 ee258753faf846ae2bf560ebad44102a "" "src/bt_impl/replace.agda.replaced" 1675358515 1123 6babb29d7a2b639d4a6e62f76c04aa37 "" "src/bt_verif/find.agda.replaced" 1675358521 1161 9c28e448e50967a02b1708b1e64094de "" "src/bt_verif/invariant.agda.replaced" 1675358521 1611 45f22c4191254c5e15ee0c6355744c59 "" "src/cbc/c.txt" 1674129737 1242 6efc706f377947b788cc2786619ee72b "" "src/cbc/cbc.txt" 1674129642 1202 ab354761f368d412b4340c6c1be8b582 "" "src/cbc/fib.c" 1674129145 338 e34a996853777aa6aa333430e6963aee "" "src/cbc/fib.cbc" 1674129145 351 78acf47e95823fe922a583625ca90cb3 "" "src/cong.agda.replaced" 1675358516 128 39916931e2164cc84558495c074e84f6 "" "src/dpp-verif/dpp-metacode.agda.replaced" 1675358520 866 337fdfdb4bbbb6ffa7333d0411a57d6d "" "src/dpp-verif/dpp-metadata.agda.replaced" 1675358520 365 977e83e3e1b15308a7731a2bf2ed8f8b "" "src/dpp-verif/exclude-same-env.agda.replaced" 1675358520 3419 2413d11eb66225c283d3a8beef52fa62 "" "src/dpp-verif/judge-deadlock.agda.replaced" 1675358520 1244 1e898b435a51706326f1acc9636c9cd9 "" "src/dpp-verif/spin.pml" 1674372749 452 b5ad510c97aee8d522fc714316138239 "" "src/while_loop_impl/init_cg.agda.replaced" 1675358522 199 5c5a3c6d6e6a6d4a279ada436c797296 "" "src/while_loop_impl/while_loop.agda.replaced" 1675358523 318 44c554eafd8fad292217c91d9e5e7850 "" "src/while_loop_impl/while_loop_c.agda.replaced" 1675358523 163 c00e91bf1ef0a8966c469c12c701c460 "" "src/while_loop_impl/while_loop_dg.agda.replaced" 1675358522 92 7e17d15edce71eaef36d5d311f68d282 "" "src/while_loop_verif/conversion.agda.replaced" 1675358521 859 9fec9f52b34efef543d0a532029e8ddb "" "src/while_loop_verif/init_cg.agda.replaced" 1675358521 488 f33e7bce67498aedbf11d7918c5789b7 "" "src/while_loop_verif/verif.agda.replaced" 1675358522 437 6c5dfc7d29b2908db012b323213a7128 "" "src/while_loop_verif/verif_loop.agda.replaced" 1675358521 1592 28e60f8c4001b06b28b24b937178e6ab "" "src/while_loop_verif/verif_term.agda.replaced" 1675358521 454 1f4765e0583409582bd37aa61bb228c9 "" "src/while_loop_verif/while_loop.agda.replaced" 1675358522 1950 28526058554dc13ce008b6fb462a0227 "" "src/zero.agda.replaced" 1675358520 129 675f0cf5ad7344a43a79ac668f3582db "" "tex/abst.tex" 1675339190 4280 dc37f7c74dc00defe4bec8d6a29b66dc "" "tex/agda.tex" 1675361363 11767 2c51768952288ce52a8a890bf82da3a9 "" "tex/cbc.tex" 1675342793 4090 7464047a9f38a37884bae1fac83cf32e "" "tex/cbc_agda.tex" 1675342793 4768 cef3a35dce7a51caef8eada6167e2cb6 "" "tex/conclusion.tex" 1675340360 2292 b56775296b22b6803e35a172498a28c4 "" "tex/dpp_impl.tex" 1675339422 15512 267022e1b0eec9040a2de883afce0df1 "" "tex/history.tex" 1675245368 411 2acce50d5237bdbd38b95720ad72de17 "" "tex/hoare.tex" 1675346198 2366 1040e04393083c78a4f3b2a874f7568c "" "tex/intro.tex" 1675341035 2235 a0bfc3a34bb84c7845097807d5ccbbcd "" "tex/spin_dpp.tex" 1675432266 4764 0202b785f325a3a7813442f6f26129b3 "" "tex/thanks.tex" 1675417826 948 3a91f4c84f6fbe50b3dd767a2c9121e6 "" "tex/tree_desc.tex" 1675432989 5149 3ee98109f23327ee7d3c192897a26e4a "" "tex/while_loop.tex" 1675432951 5368 b8e9cde8296461baaf0721c656d43fcc "" (generated) "master_paper.aux" "master_paper.dvi" "master_paper.lof" "master_paper.log" "master_paper.lol" "master_paper.out" "master_paper.toc"