let yynames_const = "DROP\000CAN\000ASSERT\000EXIT\000SAVE\000RESTORE\000REMOVE\000FORGET\000RESET\000SYMTAB\000SIG\000VALID\000UNSAT\000TYPE\000SIGMA\000SOLVE\000HELP\000DEF\000PROP\000TOGGLE\000SET\000TRACE\000UNTRACE\000CMP\000FIND\000USE\000INV\000SOLUTION\000PARTITION\000MODEL\000SHOW\000SIGN\000DOM\000SYNTAX\000COMMANDS\000SPLIT\000SAT\000ECHO\000DISEQ\000CTXT\000IN\000TT\000FF\000EOF\000ARITH\000TUPLE\000BOT\000INT\000REAL\000BV\000TOP\000INF\000NEGINF\000ALBRA\000ACLBRA\000CLBRA\000LPAR\000RPAR\000LBRA\000RBRA\000LCUR\000RCUR\000PROPLPAR\000PROPRPAR\000UNDERSCORE\000KLAMMERAFFE\000COLON\000COMMA\000DOT\000DDOT\000ASSIGN\000UNION\000TO\000ENDMARKER\000BACKSLASH\000CONC\000SUB\000BWITE\000BWAND\000BWOR\000BWXOR\000BWIMP\000BWIFF\000BWNOT\000BVCONC\000EQUAL\000TRUE\000FALSE\000PLUS\000MINUS\000TIMES\000DIVIDE\000EXPT\000LESS\000GREATER\000LESSOREQUAL\000GREATEROREQUAL\000UNSIGNED\000APPLY\000LAMBDA\000WITH\000CONS\000CAR\000CDR\000NIL\000INL\000INR\000OUTL\000OUTR\000INJ\000OUT\000HEAD\000TAIL\000LISTCONS\000DISJ\000XOR\000IMPL\000BIIMPL\000CONJ\000NEG\000IF\000THEN\000ELSE\000END\000PROJ\000CREATE\000"