R-35139-30552-47861-57461-03204-44110-27426-60914 tcl slt th3 src
/* IMP: R-35139-30552 */
# EVIDENCE-OF: R-35139-30552 -- syntax diagram create-index-stmt