R-07822-20600-60008-25390-21808-35959-11282-32675 tcl slt th3 src
/* IMP: R-07822-20600 */
# EVIDENCE-OF: R-07822-20600 -- syntax diagram select-stmt