R-14310-04276-40967-35254-51326-08815-16553-10302 tcl slt th3 src
/* IMP: R-14310-04276 */
# EVIDENCE-OF: R-14310-04276 -- syntax diagram factored-select-stmt