R-27998-48590-15759-55327-24057-45544-61498-20485 tcl slt th3 src
/* IMP: R-27998-48590 */
# EVIDENCE-OF: R-27998-48590 -- syntax diagram ordering-term