R-43813-43710-62175-19079-01973-52932-46308-53223 tcl slt th3 src
/* IMP: R-43813-43710 */
# EVIDENCE-OF: R-43813-43710 -- syntax diagram sql-stmt