R-29190-16177-49676-56162-41955-57961-52271-56322 tcl slt th3 src
/* IMP: R-29190-16177 */
# EVIDENCE-OF: R-29190-16177 -- syntax diagram common-table-expression