R-26747-03410-02167-27333-63787-46890-47674-22032 tcl slt th3 src
/* IMP: R-26747-03410 */
# EVIDENCE-OF: R-26747-03410 -- syntax diagram numeric-literal