R-45000-47812-33792-18048-40996-50849-16831-13312 tcl slt th3 src
/* IMP: R-45000-47812 */
# EVIDENCE-OF: R-45000-47812 -- syntax diagram table-or-subquery