R-60687-03927-28728-46307-01187-04245-57381-09290 tcl slt th3 src
/* IMP: R-60687-03927 */
# EVIDENCE-OF: R-60687-03927 -- syntax diagram compound-operator