R-34223-03211-22351-61413-35598-57821-09688-15147 tcl slt th3 src
/* IMP: R-34223-03211 */
# EVIDENCE-OF: R-34223-03211 -- syntax diagram create-table-stmt