/* A Bison parser, made by GNU Bison 3.5.1.  */

/* Bison implementation for Yacc-like parsers in C

   Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2020 Free Software Foundation,

   Inc.

   This program is free software: you can redistribute it and/or modify

   it under the terms of the GNU General Public License as published by

   the Free Software Foundation, either version 3 of the License, or

   (at your option) any later version.

   This program is distributed in the hope that it will be useful,

   but WITHOUT ANY WARRANTY; without even the implied warranty of

   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License

   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */

/* As a special exception, you may create a larger work that contains

   part or all of the Bison parser skeleton and distribute that work

   under terms of your choice, so long as that work isn't itself a

   parser generator using the skeleton or a modified version thereof

   as a parser skeleton.  Alternatively, if you modify or redistribute

   the parser skeleton itself, you may (at your option) remove this

   special exception, which will cause the skeleton and the resulting

   Bison output files to be licensed under the GNU General Public

   License without this special exception.

   This special exception was added by the Free Software Foundation in

   version 2.2 of Bison.  */

/* C LALR(1) parser skeleton written by Richard Stallman, by

   simplifying the original so-called "semantic" parser.  */

/* All symbols defined below should begin with yy or YY, to avoid

   infringing on user name space.  This should be done even for local

   variables, as they might otherwise be expanded by user macros.

   There are some unavoidable exceptions within include files to

   define necessary library symbols; they are noted "INFRINGES ON

   USER NAME SPACE" below.  */

/* Undocumented macros, especially those whose name start with YY_,

   are private implementation details.  Do not rely on them.  */

/* Identify Bison output.  */

#define YYBISON 1

/* Bison version.  */

#define YYBISON_VERSION "3.5.1"

/* Skeleton name.  */

#define YYSKELETON_NAME "yacc.c"

/* Pure parsers.  */

#define YYPURE 0

/* Push parsers.  */

#define YYPUSH 0

/* Pull parsers.  */

#define YYPULL 1

/* First part of user prologue.  */

#line 32 "policy_parse.y"

#include <sys/types.h>

#include <assert.h>

#include <stdarg.h>

#include <stdint.h>

#include <stdio.h>

#include <stdlib.h>

#include <string.h>

#include <sys/socket.h>

#include <netinet/in.h>

#include <arpa/inet.h>

#include <stdlib.h>

#include <sepol/policydb/expand.h>

#include <sepol/policydb/policydb.h>

#include <sepol/policydb/services.h>

#include <sepol/policydb/conditional.h>

#include <sepol/policydb/hierarchy.h>

#include <sepol/policydb/polcaps.h>

#include "queue.h"

#include "module_compiler.h"

#include "policy_define.h"

extern policydb_t *policydbp;

extern unsigned int pass;

extern char yytext[];

extern int yylex(void);

extern int yywarn(const char *msg);

extern int yyerror(const char *msg);

typedef int (* require_func_t)(int pass);

#line 105 "y.tab.c"

# ifndef YY_CAST

#  ifdef __cplusplus

#   define YY_CAST(Type, Val) static_cast<Type> (Val)

#   define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val)

#  else

#   define YY_CAST(Type, Val) ((Type) (Val))

#   define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val))

#  endif

# endif

# ifndef YY_NULLPTR

#  if defined __cplusplus

#   if 201103L <= __cplusplus

#    define YY_NULLPTR nullptr

#   else

#    define YY_NULLPTR 0

#   endif

#  else

#   define YY_NULLPTR ((void*)0)

#  endif

# endif

/* Enabling verbose error messages.  */

#ifdef YYERROR_VERBOSE

# undef YYERROR_VERBOSE

# define YYERROR_VERBOSE 1

#else

# define YYERROR_VERBOSE 0

#endif

/* Use api.header.include to #include this header

   instead of duplicating it here.  */

#ifndef YY_YY_Y_TAB_H_INCLUDED

# define YY_YY_Y_TAB_H_INCLUDED

/* Debug traces.  */

#ifndef YYDEBUG

# define YYDEBUG 0

#endif

#if YYDEBUG

extern int yydebug;

#endif

/* Token type.  */

#ifndef YYTOKENTYPE

# define YYTOKENTYPE

  enum yytokentype

  {

    PATH = 258,

    QPATH = 259,

    FILENAME = 260,

    COMMON = 261,

    CLASS = 262,

    CONSTRAIN = 263,

    VALIDATETRANS = 264,

    INHERITS = 265,

    SID = 266,

    ROLE = 267,

    ROLEATTRIBUTE = 268,

    ATTRIBUTE_ROLE = 269,

    ROLES = 270,

    TYPEALIAS = 271,

    TYPEATTRIBUTE = 272,

    TYPEBOUNDS = 273,

    TYPE = 274,

    TYPES = 275,

    ALIAS = 276,

    ATTRIBUTE = 277,

    EXPANDATTRIBUTE = 278,

    BOOL = 279,

    TUNABLE = 280,

    IF = 281,

    ELSE = 282,

    TYPE_TRANSITION = 283,

    TYPE_MEMBER = 284,

    TYPE_CHANGE = 285,

    ROLE_TRANSITION = 286,

    RANGE_TRANSITION = 287,

    SENSITIVITY = 288,

    DOMINANCE = 289,

    DOM = 290,

    DOMBY = 291,

    INCOMP = 292,

    CATEGORY = 293,

    LEVEL = 294,

    RANGE = 295,

    MLSCONSTRAIN = 296,

    MLSVALIDATETRANS = 297,

    USER = 298,

    NEVERALLOW = 299,

    ALLOW = 300,

    AUDITALLOW = 301,

    AUDITDENY = 302,

    DONTAUDIT = 303,

    ALLOWXPERM = 304,

    AUDITALLOWXPERM = 305,

    DONTAUDITXPERM = 306,

    NEVERALLOWXPERM = 307,

    SOURCE = 308,

    TARGET = 309,

    SAMEUSER = 310,

    FSCON = 311,

    PORTCON = 312,

    NETIFCON = 313,

    NODECON = 314,

    IBPKEYCON = 315,

    IBENDPORTCON = 316,

    PIRQCON = 317,

    IOMEMCON = 318,

    IOPORTCON = 319,

    PCIDEVICECON = 320,

    DEVICETREECON = 321,

    FSUSEXATTR = 322,

    FSUSETASK = 323,

    FSUSETRANS = 324,

    GENFSCON = 325,

    U1 = 326,

    U2 = 327,

    U3 = 328,

    R1 = 329,

    R2 = 330,

    R3 = 331,

    T1 = 332,

    T2 = 333,

    T3 = 334,

    L1 = 335,

    L2 = 336,

    H1 = 337,

    H2 = 338,

    NOT = 339,

    AND = 340,

    OR = 341,

    XOR = 342,

    CTRUE = 343,

    CFALSE = 344,

    IDENTIFIER = 345,

    NUMBER = 346,

    EQUALS = 347,

    NOTEQUAL = 348,

    IPV4_ADDR = 349,

    IPV4_CIDR = 350,

    IPV6_ADDR = 351,

    IPV6_CIDR = 352,

    MODULE = 353,

    VERSION_IDENTIFIER = 354,

    REQUIRE = 355,

    OPTIONAL = 356,

    POLICYCAP = 357,

    PERMISSIVE = 358,

    NEVERAUDIT = 359,

    FILESYSTEM = 360,

    NETIFNAME = 361,

    DEFAULT_USER = 362,

    DEFAULT_ROLE = 363,

    DEFAULT_TYPE = 364,

    DEFAULT_RANGE = 365,

    LOW_HIGH = 366,

    LOW = 367,

    HIGH = 368,

    GLBLUB = 369,

    INVALID_CHAR = 370

  };

#endif

/* Tokens.  */

#define PATH 258

#define QPATH 259

#define FILENAME 260

#define COMMON 261

#define CLASS 262

#define CONSTRAIN 263

#define VALIDATETRANS 264

#define INHERITS 265

#define SID 266

#define ROLE 267

#define ROLEATTRIBUTE 268

#define ATTRIBUTE_ROLE 269

#define ROLES 270

#define TYPEALIAS 271

#define TYPEATTRIBUTE 272

#define TYPEBOUNDS 273

#define TYPE 274

#define TYPES 275

#define ALIAS 276

#define ATTRIBUTE 277

#define EXPANDATTRIBUTE 278

#define BOOL 279

#define TUNABLE 280

#define IF 281

#define ELSE 282

#define TYPE_TRANSITION 283

#define TYPE_MEMBER 284

#define TYPE_CHANGE 285

#define ROLE_TRANSITION 286

#define RANGE_TRANSITION 287

#define SENSITIVITY 288

#define DOMINANCE 289

#define DOM 290

#define DOMBY 291

#define INCOMP 292

#define CATEGORY 293

#define LEVEL 294

#define RANGE 295

#define MLSCONSTRAIN 296

#define MLSVALIDATETRANS 297

#define USER 298

#define NEVERALLOW 299

#define ALLOW 300

#define AUDITALLOW 301

#define AUDITDENY 302

#define DONTAUDIT 303

#define ALLOWXPERM 304

#define AUDITALLOWXPERM 305

#define DONTAUDITXPERM 306

#define NEVERALLOWXPERM 307

#define SOURCE 308

#define TARGET 309

#define SAMEUSER 310

#define FSCON 311

#define PORTCON 312

#define NETIFCON 313

#define NODECON 314

#define IBPKEYCON 315

#define IBENDPORTCON 316

#define PIRQCON 317

#define IOMEMCON 318

#define IOPORTCON 319

#define PCIDEVICECON 320

#define DEVICETREECON 321

#define FSUSEXATTR 322

#define FSUSETASK 323

#define FSUSETRANS 324

#define GENFSCON 325

#define U1 326

#define U2 327

#define U3 328

#define R1 329

#define R2 330

#define R3 331

#define T1 332

#define T2 333

#define T3 334

#define L1 335

#define L2 336

#define H1 337

#define H2 338

#define NOT 339

#define AND 340

#define OR 341

#define XOR 342

#define CTRUE 343

#define CFALSE 344

#define IDENTIFIER 345

#define NUMBER 346

#define EQUALS 347

#define NOTEQUAL 348

#define IPV4_ADDR 349

#define IPV4_CIDR 350

#define IPV6_ADDR 351

#define IPV6_CIDR 352

#define MODULE 353

#define VERSION_IDENTIFIER 354

#define REQUIRE 355

#define OPTIONAL 356

#define POLICYCAP 357

#define PERMISSIVE 358

#define NEVERAUDIT 359

#define FILESYSTEM 360

#define NETIFNAME 361

#define DEFAULT_USER 362

#define DEFAULT_ROLE 363

#define DEFAULT_TYPE 364

#define DEFAULT_RANGE 365

#define LOW_HIGH 366

#define LOW 367

#define HIGH 368

#define GLBLUB 369

#define INVALID_CHAR 370

/* Value type.  */

#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED

union YYSTYPE

{

#line 67 "policy_parse.y"

  unsigned int val;

  uint64_t val64;

  uintptr_t valptr;

  void *ptr;

        require_func_t require_func;

#line 395 "y.tab.c"

};

typedef union YYSTYPE YYSTYPE;

# define YYSTYPE_IS_TRIVIAL 1

# define YYSTYPE_IS_DECLARED 1

#endif

extern YYSTYPE yylval;

int yyparse (void);

#endif /* !YY_YY_Y_TAB_H_INCLUDED  */

#ifdef short

# undef short

#endif

/* On compilers that do not define __PTRDIFF_MAX__ etc., make sure

   <limits.h> and (if available) <stdint.h> are included

   so that the code can choose integer types of a good width.  */

#ifndef __PTRDIFF_MAX__

# include <limits.h> /* INFRINGES ON USER NAME SPACE */

# if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__

#  include <stdint.h> /* INFRINGES ON USER NAME SPACE */

#  define YY_STDINT_H

# endif

#endif

/* Narrow types that promote to a signed type and that can represent a

   signed or unsigned integer of at least N bits.  In tables they can

   save space and decrease cache pressure.  Promoting to a signed type

   helps avoid bugs in integer arithmetic.  */

#ifdef __INT_LEAST8_MAX__

typedef __INT_LEAST8_TYPE__ yytype_int8;

#elif defined YY_STDINT_H

typedef int_least8_t yytype_int8;

#else

typedef signed char yytype_int8;

#endif

#ifdef __INT_LEAST16_MAX__

typedef __INT_LEAST16_TYPE__ yytype_int16;

#elif defined YY_STDINT_H

typedef int_least16_t yytype_int16;

#else

typedef short yytype_int16;

#endif

#if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__

typedef __UINT_LEAST8_TYPE__ yytype_uint8;

#elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \

       && UINT_LEAST8_MAX <= INT_MAX)

typedef uint_least8_t yytype_uint8;

#elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX

typedef unsigned char yytype_uint8;

#else

typedef short yytype_uint8;

#endif

#if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__

typedef __UINT_LEAST16_TYPE__ yytype_uint16;

#elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \

       && UINT_LEAST16_MAX <= INT_MAX)

typedef uint_least16_t yytype_uint16;

#elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX

typedef unsigned short yytype_uint16;

#else

typedef int yytype_uint16;

#endif

#ifndef YYPTRDIFF_T

# if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__

#  define YYPTRDIFF_T __PTRDIFF_TYPE__

#  define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__

# elif defined PTRDIFF_MAX

#  ifndef ptrdiff_t

#   include <stddef.h> /* INFRINGES ON USER NAME SPACE */

#  endif

#  define YYPTRDIFF_T ptrdiff_t

#  define YYPTRDIFF_MAXIMUM PTRDIFF_MAX

# else

#  define YYPTRDIFF_T long

#  define YYPTRDIFF_MAXIMUM LONG_MAX

# endif

#endif

#ifndef YYSIZE_T

# ifdef __SIZE_TYPE__

#  define YYSIZE_T __SIZE_TYPE__

# elif defined size_t

#  define YYSIZE_T size_t

# elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__

#  include <stddef.h> /* INFRINGES ON USER NAME SPACE */

#  define YYSIZE_T size_t

# else

#  define YYSIZE_T unsigned

# endif

#endif

#define YYSIZE_MAXIMUM                                  \

  YY_CAST (YYPTRDIFF_T,                                 \

           (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1)  \

            ? YYPTRDIFF_MAXIMUM                         \

            : YY_CAST (YYSIZE_T, -1)))

#define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X))

/* Stored state numbers (used for stacks). */

typedef yytype_int16 yy_state_t;

/* State numbers in computations.  */

typedef int yy_state_fast_t;

#ifndef YY_

# if defined YYENABLE_NLS && YYENABLE_NLS

#  if ENABLE_NLS

#   include <libintl.h> /* INFRINGES ON USER NAME SPACE */

#   define YY_(Msgid) dgettext ("bison-runtime", Msgid)

#  endif

# endif

# ifndef YY_

#  define YY_(Msgid) Msgid

# endif

#endif

#ifndef YY_ATTRIBUTE_PURE

# if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__)

#  define YY_ATTRIBUTE_PURE __attribute__ ((__pure__))

# else

#  define YY_ATTRIBUTE_PURE

# endif

#endif

#ifndef YY_ATTRIBUTE_UNUSED

# if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__)

#  define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__))

# else

#  define YY_ATTRIBUTE_UNUSED

# endif

#endif

/* Suppress unused-variable warnings by "using" E.  */

#if ! defined lint || defined __GNUC__

# define YYUSE(E) ((void) (E))

#else

# define YYUSE(E) /* empty */

#endif

#if defined __GNUC__ && ! defined __ICC && 407 <= __GNUC__ * 100 + __GNUC_MINOR__

/* Suppress an incorrect diagnostic about yylval being uninitialized.  */

# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN                            \

    _Pragma ("GCC diagnostic push")                                     \

    _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")              \

    _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")

# define YY_IGNORE_MAYBE_UNINITIALIZED_END      \

    _Pragma ("GCC diagnostic pop")

#else

# define YY_INITIAL_VALUE(Value) Value

#endif

#ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

# define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN

# define YY_IGNORE_MAYBE_UNINITIALIZED_END

#endif

#ifndef YY_INITIAL_VALUE

# define YY_INITIAL_VALUE(Value) /* Nothing. */

#endif

#if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__

# define YY_IGNORE_USELESS_CAST_BEGIN                          \

    _Pragma ("GCC diagnostic push")                            \

    _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"")

# define YY_IGNORE_USELESS_CAST_END            \

    _Pragma ("GCC diagnostic pop")

#endif

#ifndef YY_IGNORE_USELESS_CAST_BEGIN

# define YY_IGNORE_USELESS_CAST_BEGIN

# define YY_IGNORE_USELESS_CAST_END

#endif

#define YY_ASSERT(E) ((void) (0 && (E)))

#if ! defined yyoverflow || YYERROR_VERBOSE

/* The parser invokes alloca or malloc; define the necessary symbols.  */

# ifdef YYSTACK_USE_ALLOCA

#  if YYSTACK_USE_ALLOCA

#   ifdef __GNUC__

#    define YYSTACK_ALLOC __builtin_alloca

#   elif defined __BUILTIN_VA_ARG_INCR

#    include <alloca.h> /* INFRINGES ON USER NAME SPACE */

#   elif defined _AIX

#    define YYSTACK_ALLOC __alloca

#   elif defined _MSC_VER

#    include <malloc.h> /* INFRINGES ON USER NAME SPACE */

#    define alloca _alloca

#   else

#    define YYSTACK_ALLOC alloca

#    if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS

#     include <stdlib.h> /* INFRINGES ON USER NAME SPACE */

      /* Use EXIT_SUCCESS as a witness for stdlib.h.  */

#     ifndef EXIT_SUCCESS

#      define EXIT_SUCCESS 0

#     endif

#    endif

#   endif

#  endif

# endif

# ifdef YYSTACK_ALLOC

   /* Pacify GCC's 'empty if-body' warning.  */

#  define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)

#  ifndef YYSTACK_ALLOC_MAXIMUM

    /* The OS might guarantee only one guard page at the bottom of the stack,

       and a page size can be as small as 4096 bytes.  So we cannot safely

       invoke alloca (N) if N exceeds 4096.  Use a slightly smaller number

       to allow for a few compiler-allocated temporary stack slots.  */

#   define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */

#  endif

# else

#  define YYSTACK_ALLOC YYMALLOC

#  define YYSTACK_FREE YYFREE

#  ifndef YYSTACK_ALLOC_MAXIMUM

#   define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM

#  endif

#  if (defined __cplusplus && ! defined EXIT_SUCCESS \

       && ! ((defined YYMALLOC || defined malloc) \

             && (defined YYFREE || defined free)))

#   include <stdlib.h> /* INFRINGES ON USER NAME SPACE */

#   ifndef EXIT_SUCCESS

#    define EXIT_SUCCESS 0

#   endif

#  endif

#  ifndef YYMALLOC

#   define YYMALLOC malloc

#   if ! defined malloc && ! defined EXIT_SUCCESS

void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */

#   endif

#  endif

#  ifndef YYFREE

#   define YYFREE free

#   if ! defined free && ! defined EXIT_SUCCESS

void free (void *); /* INFRINGES ON USER NAME SPACE */

#   endif

#  endif

# endif

#endif /* ! defined yyoverflow || YYERROR_VERBOSE */

#if (! defined yyoverflow \

     && (! defined __cplusplus \

         || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))

/* A type that is properly aligned for any stack member.  */

union yyalloc

{

  yy_state_t yyss_alloc;

  YYSTYPE yyvs_alloc;

};

/* The size of the maximum gap between one aligned stack and the next.  */

# define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1)

/* The size of an array large to enough to hold all stacks, each with

   N elements.  */

# define YYSTACK_BYTES(N) \

     ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (YYSTYPE)) \

      + YYSTACK_GAP_MAXIMUM)

# define YYCOPY_NEEDED 1

/* Relocate STACK from its old location to the new one.  The

   local variables YYSIZE and YYSTACKSIZE give the old and new number of

   elements in the stack, and YYPTR gives the new location of the

   stack.  Advance YYPTR to a properly aligned location for the next

   stack.  */

# define YYSTACK_RELOCATE(Stack_alloc, Stack)                           \

    do                                                                  \

      {                                                                 \

        YYPTRDIFF_T yynewbytes;                                         \

        YYCOPY (&yyptr->Stack_alloc, Stack, yysize);                    \

        Stack = &yyptr->Stack_alloc;                                    \

        yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \

        yyptr += yynewbytes / YYSIZEOF (*yyptr);                        \

      }                                                                 \

    while (0)

#endif

#if defined YYCOPY_NEEDED && YYCOPY_NEEDED

/* Copy COUNT objects from SRC to DST.  The source and destination do

   not overlap.  */

# ifndef YYCOPY

#  if defined __GNUC__ && 1 < __GNUC__

#   define YYCOPY(Dst, Src, Count) \

      __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))

#  else

#   define YYCOPY(Dst, Src, Count)              \

      do                                        \

        {                                       \

          YYPTRDIFF_T yyi;                      \

          for (yyi = 0; yyi < (Count); yyi++)   \

            (Dst)[yyi] = (Src)[yyi];            \

        }                                       \

      while (0)

#  endif

# endif

#endif /* !YYCOPY_NEEDED */

/* YYFINAL -- State number of the termination state.  */

#define YYFINAL  9

/* YYLAST -- Last index in YYTABLE.  */

#define YYLAST   1405

/* YYNTOKENS -- Number of terminals.  */

#define YYNTOKENS  126

/* YYNNTS -- Number of nonterminals.  */

#define YYNNTS  202

/* YYNRULES -- Number of rules.  */

#define YYNRULES  416

/* YYNSTATES -- Number of states.  */

#define YYNSTATES  844

#define YYUNDEFTOK  2

#define YYMAXUTOK   370

/* YYTRANSLATE(TOKEN-NUM) -- Symbol number corresponding to TOKEN-NUM

   as returned by yylex, with out-of-bounds checking.  */

#define YYTRANSLATE(YYX)                                                \

  (0 <= (YYX) && (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)

/* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM

   as returned by yylex.  */

static const yytype_int8 yytranslate[] =

{

       0,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

     121,   122,   125,     2,   120,   123,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,   119,   118,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,   116,     2,   117,   124,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     2,     2,     2,     2,

       2,     2,     2,     2,     2,     2,     1,     2,     3,     4,

       5,     6,     7,     8,     9,    10,    11,    12,    13,    14,

      15,    16,    17,    18,    19,    20,    21,    22,    23,    24,

      25,    26,    27,    28,    29,    30,    31,    32,    33,    34,

      35,    36,    37,    38,    39,    40,    41,    42,    43,    44,

      45,    46,    47,    48,    49,    50,    51,    52,    53,    54,

      55,    56,    57,    58,    59,    60,    61,    62,    63,    64,

      65,    66,    67,    68,    69,    70,    71,    72,    73,    74,

      75,    76,    77,    78,    79,    80,    81,    82,    83,    84,

      85,    86,    87,    88,    89,    90,    91,    92,    93,    94,

      95,    96,    97,    98,    99,   100,   101,   102,   103,   104,

     105,   106,   107,   108,   109,   110,   111,   112,   113,   114,

     115

};

#if YYDEBUG

  /* YYRLINE[YYN] -- Source line where rule number YYN was defined.  */

static const yytype_int16 yyrline[] =

{

       0,   168,   168,   169,   171,   173,   176,   171,   180,   181,

     183,   186,   187,   189,   192,   194,   195,   197,   198,   200,

     203,   204,   206,   208,   210,   213,   214,   216,   217,   218,

     219,   220,   221,   222,   223,   225,   227,   230,   232,   235,

     237,   240,   242,   244,   246,   248,   250,   252,   255,   256,

     258,   260,   261,   263,   265,   268,   270,   272,   275,   276,

     278,   279,   281,   283,   286,   287,   289,   291,   294,   295,

     297,   298,   300,   303,   306,   307,   309,   310,   311,   312,

     313,   314,   316,   317,   318,   319,   320,   321,   323,   324,

     325,   326,   327,   328,   329,   330,   331,   332,   333,   334,

     335,   337,   340,   343,   345,   348,   351,   354,   357,   358,

     360,   363,   366,   368,   371,   374,   377,   379,   381,   384,

     387,   390,   393,   396,   399,   402,   406,   409,   411,   413,

     415,   418,   421,   424,   427,   431,   433,   435,   437,   439,

     441,   443,   446,   450,   454,   458,   462,   466,   470,   474,

     476,   478,   480,   483,   485,   488,   489,   490,   491,   492,

     493,   494,   495,   496,   498,   501,   504,   507,   510,   513,

     516,   519,   522,   525,   528,   531,   534,   536,   539,   542,

     545,   546,   548,   549,   551,   552,   554,   557,   560,   562,

     565,   568,   571,   574,   577,   580,   583,   583,   586,   586,

     589,   589,   592,   592,   595,   595,   598,   598,   601,   601,

     604,   604,   607,   607,   610,   613,   613,   616,   616,   619,

     622,   622,   625,   625,   628,   631,   634,   637,   640,   643,

     647,   649,   652,   654,   656,   658,   661,   662,   664,   667,

     668,   670,   671,   673,   676,   676,   678,   679,   681,   682,

     683,   684,   685,   687,   690,   692,   695,   697,   700,   703,

     706,   707,   709,   710,   712,   715,   717,   718,   720,   721,

     723,   725,   728,   729,   731,   732,   734,   736,   739,   740,

     742,   743,   745,   748,   749,   751,   752,   754,   757,   758,

     760,   761,   763,   765,   767,   769,   772,   773,   775,   776,

     778,   780,   782,   785,   786,   788,   789,   791,   793,   793,

     795,   798,   801,   804,   806,   808,   810,   814,   816,   817,

     819,   819,   820,   821,   823,   826,   828,   829,   831,   833,

     836,   838,   841,   842,   844,   846,   848,   850,   852,   855,

     858,   861,   861,   864,   867,   870,   871,   872,   873,   874,

     876,   877,   879,   882,   883,   885,   887,   887,   889,   889,

     889,   889,   891,   894,   896,   899,   901,   904,   907,   909,

     911,   914,   927,   936,   939,   942,   945,   947,   952,   957,

     960,   962,   964,   966,   968,   969,   971,   972,   973,   974,

     975,   976,   978,   980,   981,   983,   984,   986,   989,   990,

     991,   992,   993,   994,   995,   996,   997,   999,  1001,  1005,

    1004,  1009,  1011,  1013,  1016,  1019,  1020

};

#endif

#if YYDEBUG || YYERROR_VERBOSE || 0

/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.

   First, the terminals, then, starting at YYNTOKENS, nonterminals.  */

static const char *const yytname[] =

{

  "$end", "error", "$undefined", "PATH", "QPATH", "FILENAME", "COMMON",

  "CLASS", "CONSTRAIN", "VALIDATETRANS", "INHERITS", "SID", "ROLE",

  "ROLEATTRIBUTE", "ATTRIBUTE_ROLE", "ROLES", "TYPEALIAS", "TYPEATTRIBUTE",

  "TYPEBOUNDS", "TYPE", "TYPES", "ALIAS", "ATTRIBUTE", "EXPANDATTRIBUTE",

  "BOOL", "TUNABLE", "IF", "ELSE", "TYPE_TRANSITION", "TYPE_MEMBER",

  "TYPE_CHANGE", "ROLE_TRANSITION", "RANGE_TRANSITION", "SENSITIVITY",

  "DOMINANCE", "DOM", "DOMBY", "INCOMP", "CATEGORY", "LEVEL", "RANGE",

  "MLSCONSTRAIN", "MLSVALIDATETRANS", "USER", "NEVERALLOW", "ALLOW",

  "AUDITALLOW", "AUDITDENY", "DONTAUDIT", "ALLOWXPERM", "AUDITALLOWXPERM",

  "DONTAUDITXPERM", "NEVERALLOWXPERM", "SOURCE", "TARGET", "SAMEUSER",

  "FSCON", "PORTCON", "NETIFCON", "NODECON", "IBPKEYCON", "IBENDPORTCON",

  "PIRQCON", "IOMEMCON", "IOPORTCON", "PCIDEVICECON", "DEVICETREECON",

  "FSUSEXATTR", "FSUSETASK", "FSUSETRANS", "GENFSCON", "U1", "U2", "U3",

  "R1", "R2", "R3", "T1", "T2", "T3", "L1", "L2", "H1", "H2", "NOT", "AND",

  "OR", "XOR", "CTRUE", "CFALSE", "IDENTIFIER", "NUMBER", "EQUALS",

  "NOTEQUAL", "IPV4_ADDR", "IPV4_CIDR", "IPV6_ADDR", "IPV6_CIDR", "MODULE",

  "VERSION_IDENTIFIER", "REQUIRE", "OPTIONAL", "POLICYCAP", "PERMISSIVE",

  "NEVERAUDIT", "FILESYSTEM", "NETIFNAME", "DEFAULT_USER", "DEFAULT_ROLE",

  "DEFAULT_TYPE", "DEFAULT_RANGE", "LOW_HIGH", "LOW", "HIGH", "GLBLUB",

  "INVALID_CHAR", "'{'", "'}'", "';'", "':'", "','", "'('", "')'", "'-'",

  "'~'", "'*'", "$accept", "policy", "base_policy", "$@1", "$@2", "$@3",

  "classes", "class_def", "initial_sids", "initial_sid_def",

  "access_vectors", "opt_common_perms", "common_perms", "common_perms_def",

  "av_perms", "av_perms_def", "opt_default_rules", "default_rules",

  "default_user_def", "default_role_def", "default_type_def",

  "default_range_def", "opt_mls", "mls", "sensitivities",

  "sensitivity_def", "alias_def", "dominance", "opt_categories",

  "categories", "category_def", "levels", "level_def", "mlspolicy",

  "mlspolicy_decl", "mlsconstraint_def", "mlsvalidatetrans_def", "te_rbac",

  "te_rbac_decl", "rbac_decl", "te_decl", "attribute_def",

  "expandattribute_def", "type_def", "typealias_def", "typeattribute_def",

  "typebounds_def", "opt_attr_list", "bool_def", "tunable_def", "bool_val",

  "cond_stmt_def", "cond_else", "cond_expr", "cond_expr_prim",

  "cond_pol_list", "cond_rule_def", "cond_transition_def",

  "cond_te_avtab_def", "cond_allow_def", "cond_auditallow_def",

  "cond_auditdeny_def", "cond_dontaudit_def", "cond_xperm_allow_def",

  "cond_xperm_auditallow_def", "cond_xperm_dontaudit_def",

  "transition_def", "range_trans_def", "te_avtab_def", "allow_def",

  "auditallow_def", "auditdeny_def", "dontaudit_def", "neverallow_def",

  "xperm_allow_def", "xperm_auditallow_def", "xperm_dontaudit_def",

  "xperm_neverallow_def", "attribute_role_def", "role_type_def",

  "role_attr_def", "role_trans_def", "role_allow_def", "roleattribute_def",

  "opt_constraints", "constraints", "constraint_decl", "constraint_def",

  "validatetrans_def", "cexpr", "cexpr_prim", "$@4", "$@5", "$@6", "$@7",

  "$@8", "$@9", "$@10", "$@11", "$@12", "$@13", "$@14", "$@15", "$@16",

  "op", "role_mls_op", "users", "user_def", "opt_mls_user",

  "initial_sid_contexts", "initial_sid_context_def", "opt_dev_contexts",

  "dev_contexts", "dev_context_def", "pirq_context_def",

  "iomem_context_def", "ioport_context_def", "pci_context_def",

  "dtree_context_def", "opt_fs_contexts", "fs_contexts", "fs_context_def",

  "net_contexts", "opt_port_contexts", "port_contexts", "port_context_def",

  "opt_ibpkey_contexts", "ibpkey_contexts", "ibpkey_context_def",

  "opt_ibendport_contexts", "ibendport_contexts", "ibendport_context_def",

  "opt_netif_contexts", "netif_contexts", "netif_context_def",

  "opt_node_contexts", "node_contexts", "node_context_def", "opt_fs_uses",

  "fs_uses", "fs_use_def", "opt_genfs_contexts", "genfs_contexts",

  "genfs_context_def", "$@17", "ipv4_addr_def", "ipv4_cidr_def", "xperms",

  "nested_xperm_set", "nested_xperm_list", "nested_xperm_element", "$@18",

  "xperm", "security_context_def", "opt_mls_range_def", "mls_range_def",

  "mls_level_def", "id_comma_list", "tilde", "asterisk", "names", "$@19",

  "tilde_push", "asterisk_push", "names_push", "identifier_list_push",

  "identifier_push", "identifier_list", "nested_id_set", "nested_id_list",

  "nested_id_element", "$@20", "identifier", "filesystem", "path",

  "filename", "netifname", "number", "number64", "ipv6_addr", "ipv6_cidr",

  "policycap_def", "permissive_def", "neveraudit_def", "module_policy",

  "module_def", "version_identifier", "avrules_block", "avrule_decls",

  "avrule_decl", "require_block", "require_list", "require_decl",

  "require_class", "require_decl_def", "require_id_list", "optional_block",

  "$@21", "optional_else", "optional_decl", "else_decl",

  "avrule_user_defs", YY_NULLPTR

};

#endif

# ifdef YYPRINT

/* YYTOKNUM[NUM] -- (External) token number corresponding to the

   (internal) symbol number NUM (which must be that of a token).  */

static const yytype_int16 yytoknum[] =

{

       0,   256,   257,   258,   259,   260,   261,   262,   263,   264,

     265,   266,   267,   268,   269,   270,   271,   272,   273,   274,

     275,   276,   277,   278,   279,   280,   281,   282,   283,   284,

     285,   286,   287,   288,   289,   290,   291,   292,   293,   294,

     295,   296,   297,   298,   299,   300,   301,   302,   303,   304,

     305,   306,   307,   308,   309,   310,   311,   312,   313,   314,

     315,   316,   317,   318,   319,   320,   321,   322,   323,   324,

     325,   326,   327,   328,   329,   330,   331,   332,   333,   334,

     335,   336,   337,   338,   339,   340,   341,   342,   343,   344,

     345,   346,   347,   348,   349,   350,   351,   352,   353,   354,

     355,   356,   357,   358,   359,   360,   361,   362,   363,   364,

     365,   366,   367,   368,   369,   370,   123,   125,    59,    58,

      44,    40,    41,    45,   126,    42

};

# endif

#define YYPACT_NINF (-715)

#define yypact_value_is_default(Yyn) \

  ((Yyn) == YYPACT_NINF)

#define YYTABLE_NINF (-233)

#define yytable_value_is_error(Yyn) \

  0

  /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing

     STATE-NUM.  */

static const yytype_int16 yypact[] =

{

     -35,   -16,    83,  -715,   153,  -715,   579,  -715,   285,  -715,

     -16,   111,  -715,   -16,   -16,   -16,   -16,   -16,   -16,   -16,

     -16,   124,   -16,   -16,    40,   124,   124,   124,   124,   124,

     124,   124,   124,   124,   124,   124,   124,   124,   124,    55,

    -715,   -16,   -16,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,   405,  -715,  -715,  -715,

      63,  -715,  -715,  -715,  -715,  -715,   104,  -715,   -16,  -715,

     387,  -715,     8,   -16,   108,   221,   -16,   -16,    12,   144,

      87,  -715,  -715,    49,  -715,   233,  -715,   238,   233,   233,

      40,    40,   280,  -715,  -715,   124,   124,   124,   124,   124,

     124,   124,   124,   124,   124,   124,   124,   124,   124,   275,

     276,   279,   -16,   389,  -715,  -715,   579,  -715,  -715,   -16,

    -715,  -715,   440,   475,  -715,   124,   -16,   366,    65,  -715,

    -715,   124,   374,   257,   265,   384,   392,  -715,  -715,  -715,

     168,  -715,  -715,  -715,  -715,  -715,  -715,   394,  -715,   398,

     406,   247,    77,    40,    40,    40,    40,    40,  -715,   388,

     412,   424,   -29,    47,   434,   307,   439,   450,   451,   455,

     460,   467,   471,   -16,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,    24,  -715,   476,   -16,  -715,  -715,   584,

    -715,   483,   490,   302,   -16,   440,  -715,  -715,   494,   493,

    -715,  -715,   -16,  -715,  -715,  -715,  -715,   496,  -715,   -16,

    -715,  -715,  -715,   -16,  -715,  -715,  -715,   247,   158,   250,

    -715,  -715,   188,   124,   124,   124,   124,   497,   124,   498,

     499,   502,   124,  -715,   124,   124,   124,   124,   124,   124,

     124,   124,   124,  -715,  -715,  -715,  -715,   344,   124,  -715,

     -16,   124,   124,   124,   124,   599,   302,  -715,  -715,  -715,

    -715,    19,  -715,  -715,  -715,  -715,  -715,  -715,   124,   124,

     124,   124,   124,   124,   124,   124,   124,   124,   616,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

     -16,   -16,   -16,   -16,  -715,   -16,  -715,   -16,   -16,   124,

     124,   124,   124,   124,   -16,   -16,   -16,   -16,  -715,  -715,

     -16,   605,   629,   110,  -715,   385,   417,   461,    -3,   -16,

     623,  -715,   488,  -715,  -715,  -715,  -715,  -715,   -16,   -16,

     124,   124,   124,   124,   124,   124,   124,   124,   124,   124,

     534,  -715,    15,   539,   540,   541,   542,  -715,   493,   543,

     544,   545,   546,   547,    26,    26,    26,    26,  -715,   -16,

     548,  -715,  -715,   565,  -715,  -715,   566,   567,   568,   569,

     570,   571,   294,   333,   572,     9,   -16,  -715,   516,  -715,

    -715,  -715,  -715,  -715,  -715,   140,  -715,   653,   576,   130,

     574,   575,   577,   580,   581,   582,   583,   585,   588,   589,

    -715,  -715,  -715,   594,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,   -19,   595,  -715,  -715,   -19,  -715,   596,

     597,   598,   655,  -715,   579,  -715,  -715,  -715,  -715,  -715,

    -715,   600,   601,   602,   603,   604,   611,  -715,  -715,   612,

     613,  -715,    71,  -715,   -16,  -715,   -16,   659,   653,  -715,

     -16,  -715,   124,   124,   124,   124,   124,   124,   124,   124,

     124,   124,   341,  -715,  -715,   176,  -715,   609,  -715,  -715,

    -715,  -715,  -715,  -715,   -16,   586,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,   124,   124,  -715,   528,  -715,  -715,

    -715,  -715,   216,    18,   -16,   401,  -715,  -715,   217,   -16,

     -16,   -16,   124,   124,   124,   124,   -16,   -16,   -16,  -715,

    -715,  -715,  -715,  -715,  -715,   124,   199,   706,  -715,  -715,

    -715,   615,   431,   124,   124,  -715,   510,  -715,  -715,  -715,

    -715,    22,   617,   618,   620,   621,   622,   624,    26,    26,

      26,   643,   199,    33,    54,   325,  -715,   462,   462,   462,

      33,   462,   462,   462,   462,   462,    33,    33,    33,   199,

     199,   101,  -715,   -16,    48,  -715,  -715,  -715,   -16,   124,

     199,  -715,  -715,   625,  -715,  -715,  -715,  -715,  -715,  -715,

     627,   628,   630,  -715,   180,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,   675,  -715,  -715,   676,

     679,  -715,  -715,   677,  -715,  -715,   378,   673,   407,  -715,

      35,   199,   199,  -715,   -16,   643,  -715,   399,   701,  -715,

     371,   199,   210,  -715,  -715,  -715,  -715,  -715,   139,   139,

     139,   139,  -715,   139,   139,   139,   139,  -715,   139,   139,

    -715,   139,   139,   139,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,   674,  -715,   639,   643,   141,   -16,   -16,   690,

     399,  -715,  -715,  -715,   218,  -715,  -715,   671,  -715,  -715,

     237,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,   -16,   -16,  -715,  -715,

     -16,   -16,   -16,   141,   705,   690,  -715,  -715,  -715,   241,

    -715,   671,  -715,   644,   -16,   646,   647,   649,   553,   -16,

     337,   712,   705,  -715,  -715,  -715,  -715,   251,   -16,  -715,

    -715,  -715,  -715,  -715,  -715,    -8,   643,   643,   684,   643,

     643,   553,   716,   337,  -715,  -715,  -715,  -715,  -715,  -715,

     240,   718,   712,  -715,  -715,  -715,   660,    66,  -715,    78,

     -16,  -715,   167,   178,   -16,   -16,   682,   719,   716,  -715,

    -715,  -715,  -715,  -715,   -16,   319,  -715,   718,  -715,  -715,

     -16,  -715,  -715,   -16,   643,  -715,  -715,   684,  -715,   643,

    -715,  -715,  -715,  -715,   643,   -16,  -715,   719,  -715,  -715,

     -16,  -715,  -715,   687,   -16,   682,   -16,  -715,  -715,   -16,

    -715,   -16,   -16,   -16,   196,   643,  -715,  -715,   -16,  -715,

     -16,  -715,  -715,  -715,  -715,  -715,   643,  -715,   -16,  -715,

    -715,   -16,  -715,  -715

};

  /* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM.

     Performed when YYTABLE does not specify something else to do.  Zero

     means the default is an error.  */

static const yytype_int16 yydefact[] =

{

       4,     0,     0,     2,     0,     3,     0,   362,     0,     1,

       0,     0,     8,     0,     0,     0,     0,     0,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,

     413,     0,     0,   391,   386,   387,    88,    89,    90,    91,

      92,    93,    94,    95,   388,    96,    97,    98,   155,   156,

     157,   158,   159,   160,   161,   162,   163,    82,    83,    87,

      84,    85,    86,    99,   100,   378,   416,   385,   389,   390,

       0,   371,   311,   380,   382,   381,     0,    10,     0,     9,

      16,    11,   109,     0,     0,     0,     0,     0,   109,     0,

       0,   334,   335,     0,   338,     0,   337,   336,     0,     0,

       0,     0,     0,   124,   125,     0,     0,     0,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,

       0,     0,     0,   416,   384,   383,     0,   379,    13,     0,

      12,     5,     0,    15,    17,     0,     0,     0,     0,   332,

     173,     0,     0,     0,     0,   109,     0,   101,   359,   361,

       0,   356,   358,   340,   339,   112,   113,     0,   341,     0,

       0,   118,     0,     0,     0,     0,     0,     0,   127,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,

       0,     0,     0,     0,   398,   401,   399,   400,   403,   404,

     405,   406,   402,     0,   394,     0,     0,   376,   377,     0,

     415,     0,     0,    26,     0,    14,    20,    18,     0,   108,

     175,   179,     0,    55,   105,   106,   107,     0,   104,     0,

     355,   357,   102,     0,   110,   111,   117,   119,   120,   121,

     122,   123,     0,     0,     0,     0,     0,     0,     0,     0,

     329,   331,     0,   178,     0,     0,     0,     0,     0,     0,

       0,     0,     0,   392,   393,   395,   407,     0,     0,   409,

       0,     0,     0,     0,     0,    49,    25,    27,    28,    29,

      30,     0,    21,   174,   333,   103,   360,   342,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,   116,   126,

     128,   129,   135,   136,   137,   138,   139,   140,   141,   130,

       0,     0,     0,     0,   176,     0,   153,     0,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,   397,   396,

       0,   240,   412,     0,   353,     0,     0,     0,     0,     0,

       0,    48,     0,    51,    31,    32,    33,    34,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,

       0,   114,     0,     0,     0,     0,     0,   328,   330,     0,

       0,     0,     0,     0,     0,     0,     0,     0,   408,     0,

       0,   414,   410,     0,    19,   354,     0,     0,     0,     0,

       0,     0,     0,     0,     0,     0,     0,    81,     0,    74,

      77,    76,    78,    80,    79,     0,    52,    59,    23,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,

     127,   367,   150,     0,   151,   152,   177,   154,   168,   164,

     165,   166,   167,     0,     0,   314,   313,     0,   324,     0,

       0,     0,     0,   238,     0,    35,    36,    37,    38,    39,

      40,     0,     0,     0,     0,     0,     0,    47,    54,     0,

       0,    75,   181,   236,     0,    56,     0,     0,    58,    60,

       0,    22,     0,     0,     0,     0,     0,     0,     0,     0,

       0,     0,     0,   149,   323,     0,   318,   322,   169,   316,

     315,   170,   171,   172,     0,     0,    43,    41,    42,    46,

      44,    45,    53,   375,     0,     0,     6,   180,   182,   184,

     185,   237,     0,     0,     0,     0,    64,    61,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,   115,

     317,   319,   320,   239,   411,     0,     0,     0,   183,    57,

      63,     0,     0,     0,     0,    65,    50,    68,    70,    71,

      24,     0,     0,     0,     0,     0,     0,     0,     0,     0,

       0,     0,     0,     0,     0,     0,   214,     0,     0,     0,

       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,

       0,     0,   192,     0,   261,   241,    62,    67,     0,     0,

       0,    69,   132,     0,   133,   134,   142,   143,   144,   145,

       0,     0,     0,   321,     0,   233,   234,   235,   230,   231,

     232,   219,   215,   220,   217,   222,   196,   198,   200,   202,

       0,   204,   206,   208,   210,   212,     0,     0,     0,   189,

       0,     0,     0,   187,     0,     0,   242,   297,   260,   262,

       0,     0,     0,   131,   146,   147,   148,   186,     0,     0,

       0,     0,   193,     0,     0,     0,     0,   194,     0,     0,

     195,     0,     0,     0,   224,   228,   225,   229,   226,   227,

     188,   190,   191,   243,     0,     0,     0,     0,     0,   304,

     296,   298,   263,    66,     0,    73,   352,     0,   343,   344,

       0,   347,   216,   345,   221,   218,   223,   197,   199,   201,

     203,   205,   207,   209,   211,   213,     0,     0,   364,   363,

       0,     0,     0,     0,   267,   303,   305,   299,    72,     0,

     350,     0,   348,     0,     0,     0,     0,     0,     0,     0,

     245,   284,   266,   268,   306,   346,   351,     0,     0,   264,

     300,   301,   302,   365,   366,     0,     0,     0,     0,     0,

       0,     0,   273,   244,   246,   248,   249,   250,   251,   252,

       0,   289,   283,   285,   269,   349,   327,     0,   310,     0,

       0,   372,     0,     0,     0,     0,     0,   279,   272,   274,

     247,   369,   370,   368,     0,     0,   265,   288,   290,   286,

       0,   325,   308,     0,     0,   270,   253,     0,   254,     0,

     256,   258,   259,   373,     0,     0,     7,   278,   280,   275,

       0,   312,   374,     0,     0,     0,     0,   291,   326,     0,

     307,     0,     0,     0,     0,     0,   281,   287,     0,   293,

       0,   295,   309,   271,   255,   257,     0,   276,     0,   292,

     294,     0,   282,   277

};

  /* YYPGOTO[NTERM-NUM].  */

static const yytype_int16 yypgoto[] =

{

    -715,  -715,  -715,  -715,  -715,  -715,  -715,   771,  -715,   694,

    -715,  -715,  -715,   642,  -715,   573,  -715,  -715,   511,   514,

     515,   517,  -715,  -715,  -715,   444,   -93,  -715,  -715,  -715,

     326,  -715,   281,  -715,   249,  -715,  -715,  -715,   400,  -305,

    -298,  -715,  -715,  -715,  -715,  -715,  -715,   -64,  -715,  -715,

     480,  -295,  -715,   -22,  -715,   379,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,  -715,  -715,   293,  -715,  -715,  -525,

    -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,  -715,  -715,  -715,   -72,  -196,  -715,  -354,  -715,  -715,

     219,  -715,  -715,    52,  -715,  -715,  -715,  -715,  -715,  -715,

    -715,   163,  -715,  -715,  -715,    74,  -715,  -715,    30,  -715,

    -715,     4,  -715,  -715,    50,  -715,  -715,    23,  -715,  -715,

     134,  -715,  -715,   102,  -715,  -607,  -715,  -351,  -373,  -715,