R-11045-52870-41853-22612-28711-29067-44165-34250 tcl slt th3 src
/* IMP: R-11045-52870 */
# EVIDENCE-OF: R-11045-52870 -- syntax diagram raise-function