R-35473-09323-51070-49381-06532-56561-01297-03559 tcl slt th3 src
/* IMP: R-35473-09323 */
# EVIDENCE-OF: R-35473-09323 -- syntax diagram result-column