+12282 0 602 60 26 76 176 176 1253 763
+ctsim.tex
+TeX
+134230010 0 103 29 125 19 22 22 1099 609
+ctsim-appendix.tex
+TeX
+268447738 0 0 1 0 2 44 44 1121 631
+ctsim-concepts.tex
+TeX
+12282 0 334 29 307 1 110 110 1187 697
+ctsim-textui.tex
+TeX
+12282 0 38 45 38 46 198 198 1275 785