R-07519-27231-14174-14468-02729-55022-65176-33366 tcl slt th3 src
/* IMP: R-07519-27231 */
# EVIDENCE-OF: R-07519-27231 -- syntax diagram indexed-column