R-09162-06841-63721-36348-60345-24529-08008-20417 tcl slt th3 src
/* IMP: R-09162-06841 */
# EVIDENCE-OF: R-09162-06841 -- syntax diagram sql-stmt-list