+273777330 0 0 1 26 8 22 22 938 609
+ctsim-gui.tex
+TeX
+268447738 0 145 21 144 1 176 176 1253 763
+psbox.tex
+TeX
+268439546 0 0 1 0 1 88 88 1004 675
+ctsim-sgp.tex
+TeX
+268439546 0 1 1 0 1 44 44 960 631
+ctsim-appendix.tex
+TeX
+268447738 0 0 1 0 2 44 44 1121 631
+ctsim-textui.tex
+TeX
+12282 0 38 45 38 46 198 198 1275 785