R-48195-34360-11192-44367-16579-00892-09818-30155 tcl slt th3 src
/* IMP: R-48195-34360 */
# EVIDENCE-OF: R-48195-34360 -- syntax diagram table-or-subquery