pretty-printed with DTWCleanScript