R-62819-25014-14742-19526-07437-11316-46744-34017 tcl slt th3 src
/* IMP: R-62819-25014 */
# EVIDENCE-OF: R-62819-25014 -- syntax diagram join-clause