R-48345-61330-56074-37373-15233-53014-54747-65452 tcl slt th3 src
/* IMP: R-48345-61330 */
# EVIDENCE-OF: R-48345-61330 -- syntax diagram window-defn