R-56172-30159-16880-27515-27572-59949-60030-56365 tcl slt th3 src
/* IMP: R-56172-30159 */
# EVIDENCE-OF: R-56172-30159 -- syntax diagram select-core