let yytransl_const = [|
  260 (* ROLE *);
  261 (* INIT *);
  262 (* ACCEPT *);
  263 (* IKNOWLEDGE *);
  264 (* END *);
  265 (* LOCAL *);
  266 (* OWNS *);
  267 (* CONST *);
  268 (* CONS *);
  269 (* DELETE *);
  270 (* NEW *);
  271 (* TRANSITION *);
  272 (* GOAL *);
  273 (* LOOP *);
  274 (* AND *);
  275 (* PRIME *);
  276 (* UNDERSCORE *);
  277 (* IMPLIES *);
  278 (* OR *);
  279 (* LTL_op1 *);
  280 (* LTL_op2 *);
  281 (* LTL_op3 *);
  282 (* LTL_op4 *);
  283 (* LTL_op5 *);
  284 (* AGENT *);
  285 (* CHANNEL *);
  286 (* PUBLIC_KEY *);
  287 (* TEXT *);
  288 (* MESSAGE *);
  289 (* HASH *);
  290 (* HASH_FUNC *);
  291 (* NAT *);
  292 (* PROTOCOL_ID *);
  293 (* BOOL *);
  294 (* SYMMETRIC_KEY *);
  295 (* IN *);
  296 (* NOT *);
  297 (* ACTION_ARROW *);
  298 (* REACTION_ARROW *);
  299 (* FUNCTION_ARROW *);
  300 (* L_PAR *);
  301 (* R_PAR *);
  302 (* L_BRACE *);
  303 (* R_BRACE *);
  304 (* COMMA *);
  305 (* COLON *);
  306 (* SEMI_COLON *);
  307 (* DOT *);
  308 (* DEF_EQUAL *);
  309 (* PLUS *);
  310 (* EQUAL *);
  311 (* ASSIGN *);
  312 (* LEQ *);
  313 (* NEQ *);
  314 (* PLAYED_BY *);
  315 (* COMPOSITION *);
  316 (* SECRECY_OF *);
  317 (* AUTHENTICATES *);
  318 (* AUTHENTICATION_ON *);
  319 (* WEAKLY *);
  320 (* WEAK_AUTHENTICATION_ON *);
  321 (* ON *);
  322 (* DY *);
  323 (* OTA *);
  324 (* SET *);
  325 (* INV *);
  326 (* START *);
    0|]