R-18359-12915-45373-49143-09400-22918-07690-23795 tcl slt th3 src
/* IMP: R-18359-12915 */
# EVIDENCE-OF: R-18359-12915 -- syntax diagram attach-stmt