R-39106-18215-63620-21950-01426-37390-34436-15307 tcl slt th3 src
/* IMP: R-39106-18215 */
# EVIDENCE-OF: R-39106-18215 -- syntax diagram over-clause