R-05949-14992-08035-18700-31063-00582-56557-23299 tcl slt th3 src
/* IMP: R-05949-14992 */
# EVIDENCE-OF: R-05949-14992 -- syntax diagram expr