R-43427-44402-29451-17649-47289-60254-55729-32554 tcl slt th3 src
/* IMP: R-43427-44402 */
# EVIDENCE-OF: R-43427-44402 -- syntax diagram frame-spec