# Fdb version 3
["bibtex soto-sigos"] 1651737147 "soto-sigos.aux" "soto-sigos.bbl" "soto-sigos" 1651737624
  "./ipsjsort.bst" 1541385384 25930 d27669b348c8e9a5c1cc93168b2b5e89 ""
  "reference.bib" 1650721531 8174 141307c3535f6e6da421a5ffb91d3db0 ""
  "soto-sigos.aux" 1651737624 4473 0ef7b506ff18fc5dee496af2cfee504c "latex"
  (generated)
  "soto-sigos.bbl"
  "soto-sigos.blg"
["dvipdf"] 1651737624 "soto-sigos.dvi" "soto-sigos.pdf" "soto-sigos" 1651737624
  "soto-sigos.dvi" 1651737624 67704 4681641b19a65818d71ff202aabf1980 "latex"
  (generated)
  "soto-sigos.pdf"
["latex"] 1651737623 "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" "soto-sigos.dvi" "soto-sigos" 1651737624
  "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" 1651737484 5195 9d9552659d053108c13e2b96a4c1f622 ""
  "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1647844622 3524 cb3e574dea2d1052e39280babc910dc8 ""
  "/usr/share/texmf-dist/fonts/tfm/adobe/times/ptmr7t.tfm" 1647844622 2124 2601a75482e9426d33db523edf23570a ""
  "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm0700.tfm" 1647844622 3584 cf973739aac7ab6247f9150296af7954 ""
  "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm" 1647844622 3584 adb004a0c8e7c46ee66cad73671f37b4 ""
  "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/jis/jis.tfm" 1647806829 468 53f854284f6afa6c36aaa2d1090ecc12 ""
  "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/jis/jisg.tfm" 1647806829 468 53f854284f6afa6c36aaa2d1090ecc12 ""
  "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/standard/tgoth10.tfm" 1647806829 856 7404843a5f798859944d7973a47821d5 ""
  "/usr/share/texmf-dist/fonts/tfm/ptex-fonts/standard/tmin10.tfm" 1647806829 856 39c171483fe1bb7d0e1368980c0c205b ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1647844622 916 f87d7c45f9c908e672703b83b72241a3 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1647844622 924 9904cf1d39e9767e7a3622f2a125a565 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam6.tfm" 1647844622 928 82ddbc1635deeba2dad4013deb28915b ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1647844622 928 2dc8d444221b7a635bb58038579b861a ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam8.tfm" 1647844622 920 43b6c3dbe6ce9a6ef237ab65fac31225 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam9.tfm" 1647844622 920 24b00689bbe5ca48cd946c0feee14251 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1647844622 908 2921f8a10601f252058503cc6570e581 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1647844622 940 75ac932a52f80982a9f8ea75d03a34cf ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm6.tfm" 1647844622 940 84ac9962423faf9e162199e835ac3649 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1647844622 940 228d6584342e91276bf566bcf9716b83 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm8.tfm" 1647844622 940 cf30a5193f9d559521b5f27a6fa8053c ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm9.tfm" 1647844622 940 88c1e9aa837bf20a964aa7801d3f4279 ""
  "/usr/share/texmf-dist/fonts/tfm/public/ascmac/ascgrp.tfm" 1647806829 448 9a1f3a95c3a7e2681aa6eefcf410b7ac ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr10.tfm" 1647844622 1296 45809c5a464d5f32c8f98ba97c1bb47f ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1647844622 1292 21c1c5bfeaebccffdb478fd231a0997d ""
  "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlgothr-h.tfm" 1647806829 504 e15e0ced49bc0fca57e32b1199da50ac ""
  "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlgothr-v.tfm" 1647806829 504 90cc0bfc6764b11e5837e72f13617993 ""
  "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-h.tfm" 1647806829 504 e15e0ced49bc0fca57e32b1199da50ac ""
  "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminb-v.tfm" 1647806829 504 90cc0bfc6764b11e5837e72f13617993 ""
  "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-h.tfm" 1647806829 504 e15e0ced49bc0fca57e32b1199da50ac ""
  "/usr/share/texmf-dist/fonts/tfm/public/japanese-otf/nmlminr-v.tfm" 1647806829 504 90cc0bfc6764b11e5837e72f13617993 ""
  "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy10.tfm" 1647844622 520 82a3d37183f34b6eb363a161dfc002c2 ""
  "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy5.tfm" 1647844622 520 d082ac03a1087bc1ec2a06e24a9f68c0 ""
  "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy6.tfm" 1647844622 520 4889cce2180234b97cad636b6039c722 ""
  "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy7.tfm" 1647844622 520 a74c6ed8cb48679fdc3ea874d9d34a7e ""
  "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy8.tfm" 1647844622 520 7bb3abb160b19e0ed6ac404bb59052b7 ""
  "/usr/share/texmf-dist/fonts/tfm/public/latex-fonts/lasy9.tfm" 1647844622 520 1cc7cc05f4d7bae5c23bf7516f88fa52 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx10.tfm" 1647844622 12076 b54175e02101bea1addf6b2d0197ed12 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx12.tfm" 1647844622 12088 d750ac78274fa7c9f73ba09914c04f8a ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmbx9.tfm" 1647844622 12080 8da3d5e88196e4de175949ad7749b42f ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr10.tfm" 1647844622 12056 7e13df7fe4cbce21b072ba7c4f4deb6e ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr12.tfm" 1647844622 12092 7b1546e2d096cfd5dcbd4049b0b1ec2e ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr17.tfm" 1647844622 12156 ca1ae6a3c8564e89597f1f993fba1608 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr6.tfm" 1647844622 12048 c1068d0f4772be9b0ec447692e1d6d82 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr7.tfm" 1647844622 12064 09aa3eeac96bf141d673bb1b0385ce55 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr8.tfm" 1647844622 12064 a35db870f0b76c338d749c56dc030ef5 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmr9.tfm" 1647844622 12084 b7f5e4c003de6f57f07c7e9fee73a37c ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmri9.tfm" 1647844622 17148 ca1ae65757b004f470b8cd636199f6fc ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt10.tfm" 1647844622 1372 2ef2c2b492b3c4cd7879fe083abbb061 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt8.tfm" 1647844622 1380 64228d979098ac090aa3f98d5aa8ad3e ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/ec-lmtt9.tfm" 1647844622 1372 a2ff2d4391a2d6bba15b518acb79e80f ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmex10.tfm" 1647844622 992 ce925c9346c7613270a79afbee98c070 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi10.tfm" 1647844622 1528 6d36b2385e0ca062a654de6ac59cb34f ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi12.tfm" 1647844622 1524 753b192b18f2991794f9d41a8228510b ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi5.tfm" 1647844622 1508 198f5b7b99b5769126de3a533f6fc334 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi6.tfm" 1647844622 1512 94a3fd88c6f27dbd9ecb46987e297a4e ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi7.tfm" 1647844622 1528 d5b028dd23da623848ef0645c96a1ed7 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi8.tfm" 1647844622 1520 a3fe5596932db2db2cbda300920dd4e9 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmmi9.tfm" 1647844622 1524 cdf05765c2a8bdb569ea0aa208fb0947 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy10.tfm" 1647844622 1308 02cc510f9dd6012e5815d0c0ffbf6869 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy5.tfm" 1647844622 1296 54ed1a711e2303d5282575278e3620b0 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy6.tfm" 1647844622 1300 b0605d44c16c22d99dc001808e4f24ea ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy7.tfm" 1647844622 1304 32f22a15acc296b2a4e15698403dcb88 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy8.tfm" 1647844622 1304 cdc9a17df9ef0d2dc320eff37bbab1c4 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/lmsy9.tfm" 1647844622 1300 ca37bc0213808d24f74bf4d32f81f80d ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr10.tfm" 1647844622 11868 4f81e9b6033c032bdaf9884f4d7ef412 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr12.tfm" 1647844622 11888 6841b91e46b65cf41a49b160e6e74130 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr5.tfm" 1647844622 11804 aefb10c002e6492c25236524a447f969 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr6.tfm" 1647844622 11836 e3b6ce3e601aec94f64a536e7f4224d5 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr7.tfm" 1647844622 11852 5a9022f105fd1ee2797df861e79ae9a0 ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr8.tfm" 1647844622 11864 309fd7f43e4a0ba39f6f7644d76e8edf ""
  "/usr/share/texmf-dist/fonts/tfm/public/lm/rm-lmr9.tfm" 1647844622 11884 c93929a6974dce79eabb778f219d7e18 ""
  "/usr/share/texmf-dist/fonts/tfm/public/txfonts/txsy.tfm" 1647844622 1268 1d124f224979493f8fd017a7597ea1cd ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1647844622 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1647844622 13829 94730e64147574077f8ecfea9bb69af4 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1647844622 2222 da905dc1db75412efd2d8f67739f0596 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1647844622 4173 bc0410bcccdff806d6132d3c1ef35481 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1647844622 87648 07fbb6e9169e00cb2a2f40b31b2dbf3c ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1647844622 4128 8eea906621b6639f7ba476a472036bbe ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1647844622 2444 926f379cc60fcf0c6e3fee2223b4370d ""
  "/usr/share/texmf-dist/tex/latex/ascmac/ascmac.sty" 1647806829 590 834565f4a016952bf667fd346b7aee71 ""
  "/usr/share/texmf-dist/tex/latex/ascmac/tascmac.sty" 1647806829 11463 e16f2fec3bf4db0d4002a155e4cf4467 ""
  "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" 1647844622 4946 461cc78f6f26901410d9f1d725079cc6 ""
  "/usr/share/texmf-dist/tex/latex/base/latexsym.sty" 1647844622 2853 064bc688b5f0914f6c46857908d3b04a ""
  "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" 1647844622 2894 55431114fc0e491ecee275edafd6c881 ""
  "/usr/share/texmf-dist/tex/latex/caption/caption.sty" 1647844622 54291 b8e5c600d4aa37b48a740dd2a6c26163 ""
  "/usr/share/texmf-dist/tex/latex/caption/caption3.sty" 1647844622 71241 d2cd3a1c5acef9cb31f945b93c0bb6e3 ""
  "/usr/share/texmf-dist/tex/latex/cite/cite.sty" 1647844622 26218 19edeff8cdc2bcb704e8051dc55eb5a7 ""
  "/usr/share/texmf-dist/tex/latex/float/float.sty" 1647844622 6749 16d2656a1984957e674b149555f1ea1d ""
  "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1647844622 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
  "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1647844622 1224 978390e9c2234eab29404bc21b268d1e ""
  "/usr/share/texmf-dist/tex/latex/graphics-def/dvipdfmx.def" 1647844622 12854 d1d8e11aeb3b6a981367508e762ca48a ""
  "/usr/share/texmf-dist/tex/latex/graphics-def/dvips.def" 1647844622 5895 4b59bd0c17e1116fd6b6e7c683dea655 ""
  "/usr/share/texmf-dist/tex/latex/graphics/color.sty" 1647844622 7197 eb6c1ebf41667a05cb50c23c19d5e8bc ""
  "/usr/share/texmf-dist/tex/latex/graphics/dvipsnam.def" 1647844622 4995 8040f614c8de8318a0b5b2dea8a3fcef ""
  "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1647844622 18399 7e40f80366dffb22c0e7b70517db5cb4 ""
  "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1647844622 7996 a8fb260d598dcaf305a7ae7b9c3e3229 ""
  "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1647844622 2671 4de6781a30211fe0ea4c672e4a2a8166 ""
  "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1647844622 4009 187ea2dc3194cd5a76cd99a8d7a6c4d0 ""
  "/usr/share/texmf-dist/tex/latex/here/here.sty" 1647807325 439 d908692e0f19922874ccfe2bf35addc7 ""
  "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-dvips.def" 1647844622 35666 542d7d1651a3e3c984a42ed032a045c3 ""
  "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" 1647844622 1830 e31effa752c61538383451ae21332364 ""
  "/usr/share/texmf-dist/tex/latex/listings/listings.sty" 1647844622 80964 64e57373f36316e4a09b517cbf1aba2e ""
  "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" 1647844622 204271 bae5b2d457283e99567249c1990510be ""
  "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" 1647844622 77022 ee25ce086f4a79d8cf73bac6f94c02a5 ""
  "/usr/share/texmf-dist/tex/latex/lm/lmodern.sty" 1647844622 1608 b00724785a9e9c599e5181bb8729160b ""
  "/usr/share/texmf-dist/tex/latex/lm/omllmm.fd" 1647844622 890 57f5adccd504fb5c98bdf99ed7e7f195 ""
  "/usr/share/texmf-dist/tex/latex/lm/omslmsy.fd" 1647844622 807 3de192f3efa968913bd2f096a7b430d8 ""
  "/usr/share/texmf-dist/tex/latex/lm/omxlmex.fd" 1647844622 568 a5494d810f2680caf10205cd1226c76c ""
  "/usr/share/texmf-dist/tex/latex/lm/ot1lmr.fd" 1647844622 1882 28c08db1407ebff35a658fd141753d16 ""
  "/usr/share/texmf-dist/tex/latex/lm/t1lmr.fd" 1647844622 1867 996fe743d88a01aca041ed22cc10e1bb ""
  "/usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd" 1647844622 2682 555da1faa2e266801e4b221d01a42cb5 ""
  "/usr/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd" 1647844622 961 15056f4a61917ceed3a44e4ac11fcc52 ""
  "/usr/share/texmf-dist/tex/latex/txfonts/omstxsy.fd" 1647844622 329 6ac7e19535b9f1d64e4d8e3f77dc30a3 ""
  "/usr/share/texmf-dist/tex/latex/url/url.sty" 1647844622 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
  "/usr/share/texmf-dist/tex/platex/japanese-otf/ajmacros.sty" 1647806829 31169 82da95c56dec9c45e5b9734751394461 ""
  "/usr/share/texmf-dist/tex/platex/japanese-otf/mlcid.sty" 1647806829 1209 8abf44b4af3260bbf90285291bba45c8 ""
  "/usr/share/texmf-dist/tex/platex/japanese-otf/mlutf.sty" 1647806829 5572 2718e332ffca67065c2d32dda76f558f ""
  "/usr/share/texmf-dist/tex/platex/japanese-otf/otf.sty" 1647806829 23780 6dcbea98f42a2e1905e36acdd2df6006 ""
  "/usr/share/texmf-dist/web2c/texmf.cnf" 1647844622 39911 2da6c67557ec033436fe5418a70a8a61 ""
  "/var/lib/texmf/web2c/eptex/platex.fmt" 1650708372 2834363 869774857659f265ab483b1aeb8f0c7c ""
  "fig/Dining.pdf" 1651685530 126415 635fdfd0d90894b78e5da1c3af0ef19f ""
  "fig/cbc_codegear.pdf" 1651684831 30110 abae9d544b613e6b77036cde8327a20f ""
  "ipsj.cls" 1650809266 142123 ecf81ecc4679baed6ac44a1571336871 ""
  "ipsjtech.sty" 1541385384 6572 e6269869e3c126f2d200f352d590509a ""
  "soto-sigos.aux" 1651737624 4473 0ef7b506ff18fc5dee496af2cfee504c "latex"
  "soto-sigos.bbl" 1651737147 5285 fc93245f635fcc8bdb721d450a7e0e37 "bibtex soto-sigos"
  "soto-sigos.tex" 1651737484 5195 9d9552659d053108c13e2b96a4c1f622 ""
  "src/agda-dpp-impl.agda.replaced" 1651667549 2824 60454fbbf20d18849d1886385e94384b ""
  "src/agda-dpp-modelcheck.agda.replaced" 1651672378 3179 60cc940175e150991d362fe173027e9b ""
  "src/agda/cbc-agda.agda.replaced" 1651647471 1143 ab39102eb0f69d3b9f8e4e985a7c1e37 ""
  "tex/cbc.tex" 1651737528 2178 b13fd43f52b97ef94deec7bbcb7cc281 ""
  "tex/cbc_agda.tex" 1651737623 4587 d8497dfdfab149d9967eae83b11bdfdd ""
  "tex/dpp_impl.tex" 1651737146 7062 52e589c98bda93ae7949a3a3de7a981f ""
  "tex/intro.tex" 1651737508 3416 1876cbbcc836295829022053b3c430b3 ""
  (generated)
  "soto-sigos.aux"
  "soto-sigos.dvi"
  "soto-sigos.log"