R-10096-64318-11482-47462-19026-30229-29088-57346 tcl slt th3 src
/* IMP: R-10096-64318 */
# EVIDENCE-OF: R-10096-64318 -- syntax diagram delete-stmt