R-32201-60407-16066-52001-58748-57452-04337-41314 tcl slt th3 src
/* IMP: R-32201-60407 */
# EVIDENCE-OF: R-32201-60407 -- syntax diagram cte-table-name