R-42542-37790-55254-01774-55006-21389-14649-28118 tcl slt th3 src
/* IMP: R-42542-37790 */
# EVIDENCE-OF: R-42542-37790 -- syntax diagram delete-stmt