R-40210-12599-36231-03864-46176-41928-03203-14839 tcl slt th3 src
/* IMP: R-40210-12599 */
# EVIDENCE-OF: R-40210-12599 -- syntax diagram filter-clause