0b2aa5b3483e85b8debdd6daecd2892201bb5fc60227b5027af63c145daf6142  dcstdedt.tex