--- a/Paper/soto-sigos.fdb_latexmk	Thu May 05 00:32:42 2022 +0900
+++ b/Paper/soto-sigos.fdb_latexmk	Thu May 05 03:30:26 2022 +0900
@@ -1,17 +1,17 @@
 # Fdb version 3
-["bibtex soto-sigos"] 1651673321 "soto-sigos.aux" "soto-sigos.bbl" "soto-sigos" 1651673322
+["bibtex soto-sigos"] 1651688945 "soto-sigos.aux" "soto-sigos.bbl" "soto-sigos" 1651688946
   "./ipsjsort.bst" 1541385384 25930 d27669b348c8e9a5c1cc93168b2b5e89 ""
   "reference.bib" 1650721531 8174 141307c3535f6e6da421a5ffb91d3db0 ""
-  "soto-sigos.aux" 1651673322 4295 aab7a2e823658120e46d12dc2df2eb9c "latex"
+  "soto-sigos.aux" 1651688946 4473 72b17962261903c19be0d13abefbd397 "latex"
   (generated)
   "soto-sigos.bbl"
   "soto-sigos.blg"
-["dvipdf"] 1651673322 "soto-sigos.dvi" "soto-sigos.pdf" "soto-sigos" 1651673322
-  "soto-sigos.dvi" 1651673322 65688 e5ddc4db2906e7f1634a64560623fb9b "latex"
+["dvipdf"] 1651688946 "soto-sigos.dvi" "soto-sigos.pdf" "soto-sigos" 1651688946
+  "soto-sigos.dvi" 1651688946 66764 a04c3839e858c08442a39bf3db610eca "latex"
   (generated)
   "soto-sigos.pdf"
-["latex"] 1651673321 "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" "soto-sigos.dvi" "soto-sigos" 1651673322
-  "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" 1651673320 4629 dbd88eb23bf5ed403bba3199bc43593f ""
+["latex"] 1651688945 "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" "soto-sigos.dvi" "soto-sigos" 1651688946
+  "/home/soto/lab/soto-sigos/Paper/soto-sigos.tex" 1651688878 5261 a6bc4ac07bdab035bc9778a1f8fa9812 ""
   "/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 ""
@@ -131,19 +131,19 @@
   "/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/meta-cg-dg.pdf" 1650721531 14360 a49f27d9f258ff5d68c6c4e908f67476 ""
-  "fig/meta-cg-dg.xbb" 1650721531 212 38813b94d19b91938f022ae3152b7ed7 ""
+  "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" 1651673322 4295 aab7a2e823658120e46d12dc2df2eb9c "latex"
-  "soto-sigos.bbl" 1651673321 5285 fc93245f635fcc8bdb721d450a7e0e37 "bibtex soto-sigos"
-  "soto-sigos.tex" 1651673320 4629 dbd88eb23bf5ed403bba3199bc43593f ""
+  "soto-sigos.aux" 1651688946 4473 72b17962261903c19be0d13abefbd397 "latex"
+  "soto-sigos.bbl" 1651688945 5285 fc93245f635fcc8bdb721d450a7e0e37 "bibtex soto-sigos"
+  "soto-sigos.tex" 1651688878 5261 a6bc4ac07bdab035bc9778a1f8fa9812 ""
   "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" 1651644049 2219 f03feb68b5ce1a7b91d393a89cfeb34e ""
-  "tex/cbc_agda.tex" 1651652099 4661 0b5344e541f9fd9f293bced30f494ecd ""
-  "tex/dpp_impl.tex" 1651668498 6128 590795d2699a6da79652be11e27f0047 ""
+  "tex/cbc.tex" 1651688590 2216 c194a2cd2075b1e26ac8b51a728306a4 ""
+  "tex/cbc_agda.tex" 1651688631 4606 2279e1583a4c51075974ecc2bf95a7d7 ""
+  "tex/dpp_impl.tex" 1651688944 6361 19e932852f3f0ef1508bfd8f6a9481d8 ""
   "tex/intro.tex" 1651570383 3454 c2cd2b67fe52c3a93b6c540ef98ec175 ""
   (generated)
   "soto-sigos.aux"