let yynames_const = "ROLE\000INIT\000ACCEPT\000IKNOWLEDGE\000END\000LOCAL\000OWNS\000CONST\000CONS\000DELETE\000NEW\000TRANSITION\000GOAL\000LOOP\000AND\000PRIME\000UNDERSCORE\000IMPLIES\000OR\000LTL_op1\000LTL_op2\000LTL_op3\000LTL_op4\000LTL_op5\000AGENT\000CHANNEL\000PUBLIC_KEY\000TEXT\000MESSAGE\000HASH\000HASH_FUNC\000NAT\000PROTOCOL_ID\000BOOL\000SYMMETRIC_KEY\000IN\000NOT\000ACTION_ARROW\000REACTION_ARROW\000FUNCTION_ARROW\000L_PAR\000R_PAR\000L_BRACE\000R_BRACE\000COMMA\000COLON\000SEMI_COLON\000DOT\000DEF_EQUAL\000PLUS\000EQUAL\000ASSIGN\000LEQ\000NEQ\000PLAYED_BY\000COMPOSITION\000SECRECY_OF\000AUTHENTICATES\000AUTHENTICATION_ON\000WEAKLY\000WEAK_AUTHENTICATION_ON\000ON\000DY\000OTA\000SET\000INV\000START\000"