let yytransl_const = [|
  257 (* DROP *);
  258 (* CAN *);
  259 (* ASSERT *);
  260 (* EXIT *);
  261 (* SAVE *);
  262 (* RESTORE *);
  263 (* REMOVE *);
  264 (* FORGET *);
  265 (* RESET *);
  266 (* SYMTAB *);
  267 (* SIG *);
  268 (* VALID *);
  269 (* UNSAT *);
  270 (* TYPE *);
  271 (* SIGMA *);
  272 (* SOLVE *);
  273 (* HELP *);
  274 (* DEF *);
  275 (* PROP *);
  276 (* TOGGLE *);
  277 (* SET *);
  278 (* TRACE *);
  279 (* UNTRACE *);
  280 (* CMP *);
  281 (* FIND *);
  282 (* USE *);
  283 (* INV *);
  284 (* SOLUTION *);
  285 (* PARTITION *);
  286 (* MODEL *);
  287 (* SHOW *);
  288 (* SIGN *);
  289 (* DOM *);
  290 (* SYNTAX *);
  291 (* COMMANDS *);
  292 (* SPLIT *);
  293 (* SAT *);
  294 (* ECHO *);
  295 (* DISEQ *);
  296 (* CTXT *);
  297 (* IN *);
  298 (* TT *);
  299 (* FF *);
    0 (* EOF *);
  300 (* ARITH *);
  301 (* TUPLE *);
  307 (* BOT *);
  308 (* INT *);
  309 (* REAL *);
  310 (* BV *);
  311 (* TOP *);
  312 (* INF *);
  313 (* NEGINF *);
  314 (* ALBRA *);
  315 (* ACLBRA *);
  316 (* CLBRA *);
  317 (* LPAR *);
  318 (* RPAR *);
  319 (* LBRA *);
  320 (* RBRA *);
  321 (* LCUR *);
  322 (* RCUR *);
  323 (* PROPLPAR *);
  324 (* PROPRPAR *);
  325 (* UNDERSCORE *);
  326 (* KLAMMERAFFE *);
  327 (* COLON *);
  328 (* COMMA *);
  329 (* DOT *);
  330 (* DDOT *);
  331 (* ASSIGN *);
  332 (* UNION *);
  333 (* TO *);
  334 (* ENDMARKER *);
  335 (* BACKSLASH *);
  339 (* CONC *);
  340 (* SUB *);
  341 (* BWITE *);
  342 (* BWAND *);
  343 (* BWOR *);
  344 (* BWXOR *);
  345 (* BWIMP *);
  346 (* BWIFF *);
  347 (* BWNOT *);
  348 (* BVCONC *);
  349 (* EQUAL *);
  350 (* TRUE *);
  351 (* FALSE *);
  352 (* PLUS *);
  353 (* MINUS *);
  354 (* TIMES *);
  355 (* DIVIDE *);
  356 (* EXPT *);
  357 (* LESS *);
  358 (* GREATER *);
  359 (* LESSOREQUAL *);
  360 (* GREATEROREQUAL *);
  361 (* UNSIGNED *);
  362 (* APPLY *);
  363 (* LAMBDA *);
  364 (* WITH *);
  365 (* CONS *);
  366 (* CAR *);
  367 (* CDR *);
  368 (* NIL *);
  369 (* INL *);
  370 (* INR *);
  371 (* OUTL *);
  372 (* OUTR *);
  373 (* INJ *);
  374 (* OUT *);
  375 (* HEAD *);
  376 (* TAIL *);
  377 (* LISTCONS *);
  378 (* DISJ *);
  379 (* XOR *);
  380 (* IMPL *);
  381 (* BIIMPL *);
  382 (* CONJ *);
  383 (* NEG *);
  384 (* IF *);
  385 (* THEN *);
  386 (* ELSE *);
  387 (* END *);
  388 (* PROJ *);
  389 (* CREATE *);
    0|]