R-48339-53472-43967-43694-30651-22239-39991-26499 tcl slt th3 src
/* IMP: R-48339-53472 */
# EVIDENCE-OF: R-48339-53472 -- syntax diagram common-table-expression