R-39393-06403-29630-61787-18303-10920-06068-01752 tcl slt th3 src
/* IMP: R-39393-06403 */
# EVIDENCE-OF: R-39393-06403 -- syntax diagram factored-select-stmt