/dtc-paper.bib/1.1.1.1/Fri Dec 4 12:30:06 2015// /dtc-paper.tex/1.1.1.1/Fri Dec 4 12:30:06 2015// /dts-format.txt/1.1.1.1/Fri Dec 4 12:30:06 2015// /dt-object-internal.txt/1.1.1.1/Thu Jun 8 15:59:23 2017// /manual.txt/1.1.1.3/Mon Dec 23 03:01:13 2019// D