R-30278-27150-39805-58283-15879-33282-30907-28700 tcl slt th3 src
/* IMP: R-30278-27150 */
# EVIDENCE-OF: R-30278-27150 -- syntax diagram begin-stmt