R-09315-35265-13002-33975-15478-42900-13986-42981 tcl slt th3 src
/* IMP: R-09315-35265 */
# EVIDENCE-OF: R-09315-35265 -- syntax diagram drop-table-stmt