Logo Search packages:      
Sourcecode: nmap version File versions  Download package

scanner.c

/* A lexical scanner generated by flex */

/* Scanner skeleton version:
 * $Header: /home/daffy/u0/vern/flex/RCS/flex.skl,v 2.91 96/09/10 16:58:48 vern Exp $
 */

#define FLEX_SCANNER
#define YY_FLEX_MAJOR_VERSION 2
#define YY_FLEX_MINOR_VERSION 5

#include <stdio.h>
#include <unistd.h>


/* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
#ifdef c_plusplus
#ifndef __cplusplus
#define __cplusplus
#endif
#endif


#ifdef __cplusplus

#include <stdlib.h>

/* Use prototypes in function declarations. */
#define YY_USE_PROTOS

/* The "const" storage-class-modifier is valid. */
#define YY_USE_CONST

#else /* ! __cplusplus */

#if __STDC__

#define YY_USE_PROTOS
#define YY_USE_CONST

#endif      /* __STDC__ */
#endif      /* ! __cplusplus */

#ifdef __TURBOC__
 #pragma warn -rch
 #pragma warn -use
#include <io.h>
#include <stdlib.h>
#define YY_USE_CONST
#define YY_USE_PROTOS
#endif

#ifdef YY_USE_CONST
#define yyconst const
#else
#define yyconst
#endif


#ifdef YY_USE_PROTOS
#define YY_PROTO(proto) proto
#else
#define YY_PROTO(proto) ()
#endif

/* Returned upon end-of-file. */
#define YY_NULL 0

/* Promotes a possibly negative, possibly signed char to an unsigned
 * integer for use as an array index.  If the signed char is negative,
 * we want to instead treat it as an 8-bit unsigned char, hence the
 * double cast.
 */
#define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)

/* Enter a start condition.  This macro really ought to take a parameter,
 * but we do it the disgusting crufty way forced on us by the ()-less
 * definition of BEGIN.
 */
#define BEGIN yy_start = 1 + 2 *

/* Translate the current start state into a value that can be later handed
 * to BEGIN to return to the state.  The YYSTATE alias is for lex
 * compatibility.
 */
#define YY_START ((yy_start - 1) / 2)
#define YYSTATE YY_START

/* Action number for EOF rule of a given start state. */
#define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)

/* Special action meaning "start processing a new file". */
#define YY_NEW_FILE yyrestart( yyin )

#define YY_END_OF_BUFFER_CHAR 0

/* Size of default input buffer. */
#define YY_BUF_SIZE 16384

typedef struct yy_buffer_state *YY_BUFFER_STATE;

extern int yyleng;
extern FILE *yyin, *yyout;

#define EOB_ACT_CONTINUE_SCAN 0
#define EOB_ACT_END_OF_FILE 1
#define EOB_ACT_LAST_MATCH 2

/* The funky do-while in the following #define is used to turn the definition
 * int a single C statement (which needs a semi-colon terminator).  This
 * avoids problems with code like:
 *
 *    if ( condition_holds )
 *          yyless( 5 );
 *    else
 *          do_something_else();
 *
 * Prior to using the do-while the compiler would get upset at the
 * "else" because it interpreted the "if" statement as being all
 * done when it reached the ';' after the yyless() call.
 */

/* Return all but the first 'n' matched characters back to the input stream. */

#define yyless(n) \
      do \
            { \
            /* Undo effects of setting up yytext. */ \
            *yy_cp = yy_hold_char; \
            YY_RESTORE_YY_MORE_OFFSET \
            yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
            YY_DO_BEFORE_ACTION; /* set up yytext again */ \
            } \
      while ( 0 )

#define unput(c) yyunput( c, yytext_ptr )

/* The following is because we cannot portably get our hands on size_t
 * (without autoconf's help, which isn't available because we want
 * flex-generated scanners to compile on their own).
 */
typedef unsigned int yy_size_t;


struct yy_buffer_state
      {
      FILE *yy_input_file;

      char *yy_ch_buf;        /* input buffer */
      char *yy_buf_pos;       /* current position in input buffer */

      /* Size of input buffer in bytes, not including room for EOB
       * characters.
       */
      yy_size_t yy_buf_size;

      /* Number of characters read into yy_ch_buf, not including EOB
       * characters.
       */
      int yy_n_chars;

      /* Whether we "own" the buffer - i.e., we know we created it,
       * and can realloc() it to grow it, and should free() it to
       * delete it.
       */
      int yy_is_our_buffer;

      /* Whether this is an "interactive" input source; if so, and
       * if we're using stdio for input, then we want to use getc()
       * instead of fread(), to make sure we stop fetching input after
       * each newline.
       */
      int yy_is_interactive;

      /* Whether we're considered to be at the beginning of a line.
       * If so, '^' rules will be active on the next match, otherwise
       * not.
       */
      int yy_at_bol;

      /* Whether to try to fill the input buffer when we reach the
       * end of it.
       */
      int yy_fill_buffer;

      int yy_buffer_status;
#define YY_BUFFER_NEW 0
#define YY_BUFFER_NORMAL 1
      /* When an EOF's been seen but there's still some text to process
       * then we mark the buffer as YY_EOF_PENDING, to indicate that we
       * shouldn't try reading from the input source any more.  We might
       * still have a bunch of tokens to match, though, because of
       * possible backing-up.
       *
       * When we actually see the EOF, we change the status to "new"
       * (via yyrestart()), so that the user can continue scanning by
       * just pointing yyin at a new input file.
       */
#define YY_BUFFER_EOF_PENDING 2
      };

static YY_BUFFER_STATE yy_current_buffer = 0;

/* We provide macros for accessing buffer states in case in the
 * future we want to put the buffer states in a more general
 * "scanner state".
 */
#define YY_CURRENT_BUFFER yy_current_buffer


/* yy_hold_char holds the character lost when yytext is formed. */
static char yy_hold_char;

static int yy_n_chars;        /* number of characters read into yy_ch_buf */


int yyleng;

/* Points to current character in buffer. */
static char *yy_c_buf_p = (char *) 0;
static int yy_init = 1;       /* whether we need to initialize */
static int yy_start = 0;      /* start state number */

/* Flag which is used to allow yywrap()'s to do buffer switches
 * instead of setting up a fresh yyin.  A bit of a hack ...
 */
static int yy_did_buffer_switch_on_eof;

void yyrestart YY_PROTO(( FILE *input_file ));

void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
void yy_load_buffer_state YY_PROTO(( void ));
YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
#define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )

YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *yy_str ));
YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));

static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
static void yy_flex_free YY_PROTO(( void * ));

#define yy_new_buffer yy_create_buffer

#define yy_set_interactive(is_interactive) \
      { \
      if ( ! yy_current_buffer ) \
            yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
      yy_current_buffer->yy_is_interactive = is_interactive; \
      }

#define yy_set_bol(at_bol) \
      { \
      if ( ! yy_current_buffer ) \
            yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
      yy_current_buffer->yy_at_bol = at_bol; \
      }

#define YY_AT_BOL() (yy_current_buffer->yy_at_bol)

typedef unsigned char YY_CHAR;
FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
typedef int yy_state_type;
extern char *yytext;
#define yytext_ptr yytext

static yy_state_type yy_get_previous_state YY_PROTO(( void ));
static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
static int yy_get_next_buffer YY_PROTO(( void ));
static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));

/* Done after the current pattern has been matched and before the
 * corresponding action - sets up yytext.
 */
#define YY_DO_BEFORE_ACTION \
      yytext_ptr = yy_bp; \
      yyleng = (int) (yy_cp - yy_bp); \
      yy_hold_char = *yy_cp; \
      *yy_cp = '\0'; \
      yy_c_buf_p = yy_cp;

#define YY_NUM_RULES 131
#define YY_END_OF_BUFFER 132
static yyconst short int yy_accept[1317] =
    {   0,
        0,    0,  132,  129,   89,   89,   89,   90,  129,   90,
       90,   90,  130,   98,   98,   90,   90,   90,   90,  127,
      127,  129,  127,  127,  127,  127,  127,  127,  127,  127,
      127,  127,  127,  127,  127,  127,  127,  127,  127,  127,
      127,  127,   90,  129,   93,   97,   57,    0,  127,   98,
        0,  127,  127,  127,  101,   95,   92,   94,   91,   96,
      128,  128,  127,  127,   19,  127,  127,  127,  127,  127,
      127,  127,  127,  127,  127,  127,  127,  127,  127,  127,
      127,  127,  127,  127,  127,  127,  127,  127,  127,    7,
      127,   33,   34,  127,  127,  127,  127,  127,  127,  127,

      127,  127,  127,  127,  127,  127,   79,  127,   58,  127,
      127,  127,  127,  127,  127,  127,  127,  127,  127,  127,
       73,  127,  127,  127,  127,  127,  127,  127,    4,  127,
      127,  127,  127,  127,  127,   58,   97,   99,   99,   98,
      127,    0,  101,   98,  101,  101,  101,  127,  127,   57,
        5,  127,   68,  127,  127,  127,  127,  127,  127,   87,
        1,    0,  127,   20,  127,  127,  127,  127,  127,  127,
      127,  127,  127,   35,  127,  127,   17,   42,    0,  127,
       28,  127,   24,   60,  127,  127,   66,   36,  127,  127,
      127,  127,  127,   45,   59,   69,   86,  127,   14,  127,

        3,  127,  127,  127,  127,  127,   81,  127,  127,   25,
      127,   85,  127,   88,   37,    2,  127,   41,  127,    9,
       10,   76,  127,   75,  127,  127,  127,  127,   98,    0,
      127,    0,  102,  101,  101,    0,  101,    0,  101,    0,
      101,    0,   22,  127,  127,  127,   54,   40,  127,   38,
      127,  127,   29,  127,  127,  127,   44,   11,  127,   12,
       13,  127,  127,  127,   31,   65,  127,   52,   46,  127,
      127,  127,   64,  127,  127,  127,  127,   47,  127,   39,
      127,    6,  127,   80,  127,    8,   82,  127,    0,  127,
       63,   15,   99,   99,   99,   98,    0,  101,    0,    0,

      101,    0,  101,  102,  101,    0,    0,    0,    0,  101,
      101,  101,  101,  101,    0,  127,   21,  127,  127,  127,
       30,  127,  127,    0,   18,  127,  127,  127,   74,  127,
       32,  127,   67,   27,   26,  127,  127,   70,  127,  127,
       49,   16,  127,  127,  127,  127,  127,  127,  127,  127,
      127,  127,  127,  127,  127,    0,    0,  101,  101,  101,
        0,    0,  102,  101,  101,  102,  101,    0,    0,  101,
      101,  101,  101,  101,    0,    0,    0,    0,  101,  101,
        0,  101,    0,  101,    0,   84,  127,  127,   23,  127,
      127,  127,  127,  127,  127,  127,  127,  127,  127,  127,

      127,  127,   60,  127,  127,  127,  127,  127,  127,  127,
      127,   83,  127,  127,  127,  127,  127,  127,  127,  127,
      127,  127,   99,   99,   99,    0,  101,  101,    0,  101,
        0,    0,  101,    0,  101,  102,  101,    0,    0,    0,
      101,  101,    0,  101,  102,  101,    0,    0,    0,    0,
        0,    0,    0,  101,  101,  101,  101,  101,    0,  127,
      127,   51,   53,  127,  127,  127,  127,  127,  127,  127,
      127,  127,  127,  127,  127,   61,  127,  127,   43,   71,
       72,  127,  127,  127,  127,  125,  121,  127,  123,  122,
      126,  127,  127,    0,    0,  101,  101,  101,  101,  101,

      101,    0,    0,  102,  101,  101,  101,    0,    0,  101,
      101,  101,  101,  101,    0,    0,    0,    0,    0,    0,
        0,  101,  101,  101,  101,  101,    0,    0,    0,    0,
        0,  101,  101,    0,  101,    0,  101,    0,  127,  127,
      127,  127,  127,  127,  127,  127,  127,  127,  127,  127,
      104,  103,  127,  127,   62,  127,  127,  127,  124,  120,
       99,    0,  101,  101,    0,  101,  101,    0,  101,    0,
        0,  101,    0,  101,  102,  101,    0,    0,    0,  101,
      101,    0,  101,  102,  101,    0,    0,    0,    0,    0,
      101,  101,    0,  101,  102,  101,    0,  101,  101,    0,

        0,    0,    0,    0,    0,    0,  101,  101,  101,  101,
      101,    0,   55,  127,  109,  116,  127,  127,  127,  127,
      127,  127,  127,  127,  127,   56,   48,  127,  127,    0,
        0,  101,  101,  101,  101,  101,  101,  101,  101,  101,
        0,    0,  102,  101,  101,  101,    0,    0,  101,  101,
      101,  101,  101,    0,    0,    0,    0,    0,    0,    0,
      101,  101,  101,  101,  101,    0,  101,  101,    0,    0,
        0,    0,    0,    0,    0,  101,  101,  101,  101,  101,
        0,    0,    0,    0,    0,    0,  101,  101,    0,  101,
        0,  101,    0,   77,  127,  127,  127,  127,  127,  127,

      127,  127,  127,  127,  127,   50,    0,  101,  101,    0,
      101,  101,    0,  101,  101,    0,  101,    0,  100,  101,
        0,  101,  102,  101,    0,    0,    0,  101,  101,    0,
      101,  102,  101,    0,    0,    0,    0,    0,  101,  101,
        0,  101,  102,  101,    0,    0,    0,    0,    0,    0,
      101,  101,    0,  101,  102,  101,    0,  101,  101,  101,
        0,    0,    0,    0,    0,    0,    0,  101,  101,  101,
      101,  101,    0,  127,  127,  127,  127,  127,  127,  127,
      127,  114,  127,   78,    0,    0,  101,  101,  101,  101,
      101,  101,  101,  101,  101,  101,  101,  101,    0,  100,

      102,  101,  101,  101,    0,    0,  101,  101,  101,  101,
      101,    0,    0,    0,    0,    0,    0,    0,  101,  101,
      101,  101,  101,    0,  101,  101,    0,    0,    0,    0,
        0,    0,    0,  101,  101,  101,  101,  101,    0,  101,
      101,  101,    0,    0,    0,    0,    0,    0,    0,  101,
      101,  101,  101,  101,    0,    0,    0,    0,    0,    0,
      101,  101,    0,  101,    0,  101,    0,  127,  127,  127,
      118,  127,  127,  127,  127,  127,  127,  127,  106,    0,
      101,  101,    0,  101,  101,    0,  101,  101,    0,  101,
      101,    0,  101,    0,    0,    0,  101,    0,    0,  101,

      102,  101,    0,    0,    0,  101,  101,    0,  101,  102,
      101,    0,    0,    0,    0,    0,  101,  101,    0,  101,
      102,  101,    0,    0,    0,    0,    0,    0,  101,  101,
        0,  101,  102,  101,    0,    0,    0,    0,    0,    0,
      101,  101,    0,  101,  102,  101,    0,  101,  101,  101,
        0,    0,    0,    0,    0,    0,    0,  101,  101,  101,
      101,  101,    0,  127,  127,  127,  127,  108,  127,  127,
      127,  112,  127,    0,    0,  101,  101,  101,  101,  101,
      101,  101,  101,  101,  101,  101,  101,  101,  101,  101,
        0,    0,    0,  102,    0,    0,  101,    0,    0,  101,

      101,  101,    0,    0,    0,    0,    0,    0,    0,  101,
      101,  101,    0,  101,  101,    0,    0,    0,    0,    0,
        0,    0,  101,  101,  101,    0,  101,  101,  101,    0,
        0,    0,    0,    0,    0,    0,  101,  101,  101,    0,
      101,  101,  101,    0,    0,    0,    0,    0,    0,    0,
      101,  101,  101,    0,    0,    0,    0,    0,    0,  101,
      101,    0,  101,    0,  101,    0,  105,  117,  119,  113,
      127,  127,  127,  127,    0,    0,  101,    0,  101,    0,
      101,  101,    0,  101,  101,    0,  101,  101,    0,  101,
      101,    0,  101,    0,    0,    0,    0,  101,  101,    0,

      101,    0,    0,  101,  101,  101,    0,    0,    0,    0,
      101,  101,  101,    0,    0,    0,    0,    0,  101,  101,
      101,    0,    0,    0,    0,    0,  101,  101,  101,    0,
        0,    0,    0,    0,  101,  101,  101,  101,  101,  101,
        0,    0,    0,    0,    0,    0,    0,  101,  101,  101,
        0,  127,  127,  127,  127,    0,    0,    0,  101,  101,
      101,  101,  101,  101,    0,    0,    0,    0,  101,  101,
        0,    0,    0,    0,  101,  101,  101,    0,    0,    0,
        0,    0,  101,  101,  101,  101,    0,    0,    0,    0,
        0,  101,  101,  101,  101,    0,    0,    0,    0,    0,

      101,  101,  101,  101,    0,    0,    0,    0,    0,  101,
        0,    0,    0,    0,    0,  101,  101,  101,  127,  127,
      127,  115,  101,  101,  101,  101,  101,  101,  101,  101,
        0,    0,    0,    0,  101,  101,    0,    0,  101,    0,
        0,    0,  101,    0,    0,    0,  101,    0,    0,    0,
      101,    0,    0,    0,  101,  101,  101,  101,    0,    0,
        0,    0,    0,  101,  110,  127,  107,  101,    0,    0,
      101,  101,    0,  101,  101,  101,    0,  101,  101,  101,
        0,  101,  101,  101,    0,  101,  101,  101,    0,    0,
        0,    0,  101,  111,  101,  101,    0,    0,    0,    0,

        0,    0,  101,  101,  101,    0,    0,  101,  101,  101,
      101,  101,    0,  101,  101,    0
    } ;

static yyconst int yy_ec[256] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
        1,    1,    4,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    2,    5,    1,    1,    6,    1,    7,    1,    8,
        8,    9,    9,    1,   10,   11,    9,   12,   13,   14,
       15,   16,   15,   17,   15,   15,   15,   18,    1,   19,
       20,   21,    1,    1,   22,   22,   22,   22,   22,   22,
       23,   23,   23,   23,   23,   23,   23,   23,   23,   23,
       23,   23,   23,   23,   23,   23,   23,   24,   23,   23,
       25,   26,   25,    1,   27,    1,   28,   29,   30,   31,

       32,   33,   34,   35,   36,   23,   37,   38,   39,   40,
       41,   42,   43,   44,   45,   46,   47,   48,   49,   50,
       51,   23,    1,   52,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,

        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1
    } ;

static yyconst int yy_meta[53] =
    {   0,
        1,    2,    2,    1,    2,    1,    3,    2,    1,    4,
        5,    6,    6,    6,    6,    6,    6,    7,    3,    3,
        3,    8,    4,    9,    3,    1,    4,    8,    8,    8,
        8,    8,    8,    4,    4,    4,    4,    4,    4,    4,
        4,    4,    4,    4,    4,    4,    4,    4,    4,    9,
        4,    3
    } ;

static yyconst short int yy_base[1690] =
    {   0,
        0,    0, 3414,   52, 6592, 6592,   53, 3392,   59, 3386,
     6592,   63, 6592,   80,   49,  131,   55, 3372,   62,  147,
      186,  147,  106,   36,  129,  134,   55, 3360,  110, 3348,
      190,  193,  140,  101,  149,  198,  205,  148,  125, 3356,
      211, 3348, 3333,  250, 6592,    0, 6592,    0,  248,  266,
     3352,  258,    0,  288,  321, 6592, 6592, 6592, 6592, 6592,
      305,    0,  344,   40,    0, 3338, 3326, 3339,  183, 3325,
     3318, 3323, 3322, 3312,  192, 3321, 3284,  248, 3294,  213,
     3282, 3294, 3279, 3284, 3282,  100, 3272, 3267, 3276,   38,
      305,    0,    0,  165,  135, 3264, 3273, 3259, 3255, 3253,

     3247, 3250, 3229, 3220, 3219, 3222,    0, 3230,    0, 3213,
     3205, 3199, 3200, 3200, 3200,  282, 3210, 3192, 3194, 3187,
      220, 3163,  326, 3160,  302, 3158, 3169, 3155,    0, 3154,
     3145, 3152, 3143, 3134, 3147, 6592, 6592,  378,  159,  417,
      352, 3156,  439, 3162,  462,  243, 3145, 3100, 3105,    0,
        0, 3102,  361, 3110, 3104, 3093, 3094, 3082,  502,    0,
        0, 3087, 3057,    0, 3069,  107, 3068, 3070, 3049, 3052,
     3056, 3020, 3019,    0, 3024, 3017,    0,    0, 3020, 3010,
        0, 3022,    0, 3010, 2998, 2985,    0,    0, 2984, 2992,
      339, 2973, 2970, 2986,    0, 2981,    0, 2975,    0, 2957,

        0, 2936, 2939, 2944, 2936, 2931,    0, 2929, 2942,    0,
     2910,    0, 2909,    0,    0,    0, 2906,    0, 2905,  275,
        0,    0, 2908,    0, 2904, 2905,  384,  531,  554, 2926,
     2877, 2876, 2875,  562,  262, 2874, 2873,  391,  602,  624,
      398,    0,    0, 2848, 2851, 2856,    0,    0, 2841,    0,
     2840, 2826,    0, 2826, 2820, 2821,    0,  479, 2827,    0,
        0, 2835, 2778, 2779,    0,    0, 2777,    0,    0, 2792,
     2783, 2789,    0, 2782, 2785, 2787, 2761, 2757, 2759,    0,
     2758,    0, 2756,    0,  145,    0,    0, 2749,  455, 2757,
        0,    0,  647,  392, 2744, 2736, 2735,  686, 2734, 2733,

      708,  405,  731,  753,  515,    0, 2731,  412,  522,  776,
      585,  799,  413, 2730, 2736, 2693,    0, 2702, 2701, 2684,
        0, 2701, 2695,  818,    0, 2685, 2674, 2659,    0, 2650,
        0, 2654, 2647,    0,    0, 2657, 2638,  393, 2637, 2655,
     2639,    0, 2628, 2620, 2634, 2627, 2633, 2626, 2614, 2595,
     2588, 2594, 2609,  491,  854, 2618, 2616,  877,  416, 2615,
     2614, 2593, 2592,  917,  435, 2591, 2590,  499,  592,  957,
      661,  980,  474, 2589, 2594, 2586,  653,    0,  368, 2585,
      667, 1020, 1042,  674,    0,    0, 2574, 2543,    0, 2537,
     2543, 2556, 2541, 2555, 2554,  479, 2540,  505, 2518, 2526,

     2514, 2524,    0, 2513, 2524, 2515, 2507, 2506, 2495, 2494,
     2496,    0, 2491, 2483, 2474, 2468, 2464, 2458, 2455, 2460,
     2465, 2451, 1064,  531, 2473, 2465, 1103, 2464, 1125, 2460,
     2459, 2444, 1147,  821, 1170, 1192,  828,    0,  899,    0,
      369, 2443,  905, 1215, 1237,  940,    0,  599,  947, 2449,
     1003,  681, 1010, 1260, 1078, 1283,  532, 2441, 2447, 2411,
     2416,    0,    0, 2419, 2407, 2393, 2392, 2403, 2371, 2368,
     2375, 2366, 2366, 2346, 2345,    0, 2336, 2327,    0,    0,
        0, 2340, 2321, 2326, 2313,    0,    0, 2317,    0,    0,
        0, 2304, 1322, 2329, 2319, 1345,  533, 2318, 1385,  561,

     2297, 2296, 2295, 2293, 1425,  597, 2290,  682, 1085, 1465,
     1092, 1488,  598, 2289, 2281,  683, 1306, 2280, 1313,  685,
     1368, 1528, 1375, 1551,  601, 2271, 2277, 1070,    0, 1407,
        0,  447, 2268, 1413, 1591, 1613, 1448,    0, 2239, 2239,
     2233, 2209, 2214, 2222, 2212, 2198, 2185, 2176, 2197, 2191,
        0,    0, 2190, 2175,    0, 2157, 2152, 2140,    0,    0,
        0, 2167, 1635, 1658, 1680, 1455, 1703, 1725, 1511, 2165,
     2164, 1747, 1517, 1770, 1792, 1574,    0, 1580,    0,  540,
     2163, 1814, 1821, 1843, 1866,    0, 1872,    0, 1878,    0,
      632, 2153, 1884, 1891, 1913, 1936,    0,  704, 1942, 2159,

      848, 1949, 2138, 1956,  850, 1963, 1970, 1993, 2000,  705,
     2130, 2136,  297,  700,  416,  955,  956, 2009, 1018,  746,
      318,  414, 2010,  454,  747,  617,  618, 1103, 2013, 2127,
     2124, 2042,  726, 2123, 2082,  772, 2091, 2122,  775, 2090,
     2089, 2085, 2084, 2162,  776, 2083, 1099, 2030, 2202, 2065,
     2225,  796, 2073, 2079, 1100, 2072, 2058, 2105, 1321, 2112,
     2265, 2145, 2288,  823, 2049, 2052,  827, 2151, 2016, 1382,
     2185, 2014, 2192, 1524, 2248, 2328, 2255, 2351,  828, 1979,
     1985,    0, 2310,    0, 2316,    0,  693, 1977, 2373, 2391,
     2413, 2380,    0,  685,  770,  848,  974, 1019, 1033, 1102,

     1141, 1162, 1589,  913, 1463,  791, 1976, 2435, 2458, 2480,
     2503, 2510, 2532, 2555, 2562, 2584, 2607, 1975, 1973, 2613,
     2635, 2642, 2664, 2687,    0, 2693,    0,  740, 1972, 2699,
     2706, 2728, 2751,    0, 2757,    0, 2763,    0,  761, 1971,
     2769, 2776, 2798, 2821,    0,    0, 2827,    0, 2833,    0,
      837, 1921, 2839, 2846, 2868, 2891,    0,    0,  829, 2897,
     1923, 1587, 2904, 1907, 2911, 1629, 2918, 2925, 2948, 2955,
      953, 1899, 1858, 1590, 2389, 2390, 1321, 1118, 1526, 1464,
     1164, 2024, 1117,  915, 1850, 1849, 2995,  957, 1830, 3035,
     1016, 1826, 3075, 1017, 1795, 3115, 1143, 1779, 1777, 1776,

     3154, 3177, 1147, 1754, 1674, 2978, 3217, 2985, 3240, 1166,
     1752, 1741, 2015, 3018, 1739, 3025, 2119, 3058, 3280, 3065,
     3303, 1188, 1730, 1696, 1189, 3097, 1695, 2324, 3104, 1651,
     3138, 2387, 3145, 3343, 3200, 3366, 1191, 1636, 1623,    0,
     1210, 3206, 1607, 2429, 3263, 1604, 3270, 3072, 3326, 3406,
     3333, 3429, 1211, 1596, 1565,    0, 3388,    0, 3394,    0,
      885, 1552, 3451, 3469, 3491, 3458,    0, 3499, 3500, 3501,
     1209, 3502, 2200, 1252, 3504, 1384, 1253, 1254, 1230, 1533,
     3534, 3557, 3579, 3602, 3609, 3631, 3654, 3661, 3683, 3706,
     3713, 3735, 3758, 1531, 3765, 1316, 1529, 1519, 3787, 3805,

     1495, 3794,    0, 3827,    0,  886, 1490, 3833, 3840, 1474,
     3863,    0, 3869,    0, 3875,    0,  926, 1468, 3881, 3888,
     1466, 3911,    0,    0, 3917,    0, 3923,    0, 1200, 1430,
     3929, 3936, 1428, 3959,    0,    0, 3965,    0, 3971,    0,
     1291, 1392, 3977, 3984, 1386, 4007,    0,    0, 1318, 4013,
     1359, 3153, 4020, 1338, 4027, 3213, 4034, 4041, 4064, 4071,
     1322, 1325, 1330, 1650, 1672, 1695, 1277, 1337, 1718, 3506,
     1545, 1423, 3515, 1290, 4110, 4133, 1384, 1267, 4173, 1461,
     1240, 4213, 1464, 1238, 4253, 1465, 1224, 4293, 1528, 1199,
     1177, 4093, 4333, 1152, 4100,    0, 1148, 3402, 4156, 4356,

     4163, 1108, 1111, 3465, 4196, 1110, 4203, 3530, 4236, 4379,
     4243, 1051, 1057, 1586, 4275, 1052, 4109, 4282, 1036, 4316,
     4250, 4323, 4402, 4425, 1026, 1028,    0, 1588, 4431,  994,
     4330, 4438,  969, 4445, 4452, 4453, 4492, 4466,  960,  965,
        0, 1609, 4472,  927, 4487, 4479,  925, 4515, 4488, 4528,
     4535, 4558,  908,  913,    0, 4564,    0, 4570,    0, 1292,
      884, 4576, 4583,    0, 4606,    0, 1629, 1651, 1673, 1716,
     1717, 2471, 4597, 4598, 4627, 1631,    0,  863, 4667,    0,
     4615, 4690,    0, 4650, 4713,    0, 4657, 4736,    0, 4759,
     4766,    0, 4789, 4664, 4796, 4803, 4826,  838,  806,  808,

      785, 4832,    0, 1394,  777,  734, 4838,    0, 4844,    0,
     1433,  695,  624,    0, 4850,    0, 4856,    0, 1434,  611,
      608,    0, 4862,    0, 4868,    0, 1756,  571,  570,    0,
     4874,    0, 4880,    0, 1778,  569,  536,    0, 1634, 4886,
      541, 4893, 4894,  529, 4907, 4901, 4915, 4941, 4922,    0,
      511, 2201, 1741, 1763, 2011, 4964,  503, 4933,    0,    0,
        0,    0,    0,    0, 4986,    0, 1800,  483,  469,    0,
     4980, 4994,  416, 5001,    0, 1679, 5007,  374, 5014, 5020,
      373, 5028,    0,    0, 1680, 5034,  371, 5041, 5042,  370,
     5055,    0,    0, 1767, 5061,  333, 5068, 5069,  329, 5082,

        0,    0, 1791, 5088,  318, 5095, 5096,  281, 5109,    0,
        0, 5115,    0, 5121,    0, 1801,  273,    0, 2263, 2523,
     1835, 1836,    0, 6592,    0,    0,    0,    0,    0,    0,
     5128, 5142,  278, 5149,    0, 6592, 5134,    0, 6592,    0,
     5155,    0, 6592,    0, 5167,    0, 6592,    0, 5173,    0,
     6592,    0, 5179,    0, 6592,    0, 1792, 5185,  276, 5192,
     5193,  236, 5206,    0, 1837, 2324, 1905,    0, 5212,    0,
     1816, 5218,  235,    0, 1886, 5224,  201,    0, 1887, 5231,
      199,    0, 1888, 5237,  134,    0, 1890, 5243,   95,    0,
     5249,    0, 6592, 1906, 2011, 5255,   94,    0,    0,    0,

        0,    0,    0, 2081, 5261,   65,    0,    0,    0,    0,
        0,    0,    0,    0,    0, 6592, 5278, 5286, 5290, 5293,
     5296, 5299, 5302, 5305, 5308, 5311, 5314, 5317, 5320, 5323,
     5326, 5329, 5332, 5336, 5340, 5343, 5346, 5349, 5352, 5355,
     5359, 5363, 5366, 5370, 5372, 5375, 5378, 5381, 5384, 5387,
     5391, 5393, 5397, 5402, 5406, 5409, 5412, 5415, 5418, 5421,
     5424, 5427, 5431, 5435, 5439, 5444, 5448, 5451, 5454, 5458,
     5460, 5463, 5466, 5469, 5472, 5475, 5479, 5481, 5484, 5487,
     5491, 5493, 5496, 5501, 5506, 5510, 5514, 5518, 5523, 5527,
     5530, 5533, 5536, 5539, 5542, 5545, 5548, 5552, 5556, 5560,

     5564, 5569, 5573, 5577, 5581, 5584, 5589, 5593, 5598, 5602,
     5606, 5610, 5613, 5616, 5619, 5623, 5625, 5630, 5634, 5637,
     5640, 5643, 5646, 5650, 5652, 5655, 5658, 5662, 5664, 5667,
     5670, 5673, 5677, 5679, 5682, 5685, 5690, 5694, 5699, 5703,
     5707, 5711, 5716, 5720, 5723, 5726, 5729, 5732, 5735, 5738,
     5741, 5745, 5749, 5753, 5757, 5762, 5766, 5770, 5774, 5777,
     5782, 5786, 5791, 5795, 5799, 5803, 5806, 5809, 5814, 5818,
     5823, 5827, 5831, 5835, 5838, 5841, 5844, 5848, 5850, 5855,
     5859, 5862, 5865, 5868, 5871, 5874, 5877, 5881, 5883, 5886,
     5889, 5892, 5896, 5898, 5901, 5904, 5907, 5910, 5914, 5916,

     5919, 5922, 5925, 5928, 5932, 5934, 5937, 5940, 5943, 5948,
     5952, 5957, 5961, 5965, 5969, 5974, 5978, 5981, 5984, 5987,
     5990, 5993, 5996, 5999, 6002, 6006, 6010, 6014, 6018, 6023,
     6027, 6031, 6035, 6038, 6043, 6047, 6052, 6056, 6060, 6064,
     6067, 6070, 6075, 6079, 6084, 6088, 6092, 6096, 6099, 6102,
     6107, 6111, 6116, 6120, 6124, 6128, 6131, 6134, 6137, 6141,
     6143, 6146, 6151, 6155, 6158, 6161, 6164, 6167, 6170, 6173,
     6177, 6181, 6184, 6188, 6191, 6194, 6198, 6200, 6203, 6206,
     6210, 6212, 6215, 6218, 6221, 6225, 6227, 6230, 6233, 6236,
     6240, 6242, 6245, 6248, 6251, 6255, 6257, 6260, 6263, 6268,

     6272, 6277, 6281, 6285, 6289, 6294, 6298, 6301, 6304, 6307,
     6310, 6313, 6316, 6319, 6323, 6325, 6328, 6332, 6337, 6340,
     6343, 6348, 6352, 6357, 6360, 6363, 6366, 6371, 6375, 6380,
     6383, 6386, 6389, 6394, 6398, 6403, 6406, 6409, 6412, 6417,
     6421, 6426, 6429, 6432, 6435, 6438, 6442, 6444, 6449, 6453,
     6456, 6459, 6462, 6465, 6468, 6471, 6475, 6480, 6483, 6486,
     6489, 6492, 6495, 6498, 6501, 6504, 6507, 6510, 6513, 6518,
     6522, 6525, 6528, 6531, 6535, 6539, 6543, 6547, 6551, 6554,
     6557, 6561, 6564, 6567, 6570, 6573, 6576, 6580, 6583
    } ;

static yyconst short int yy_def[1690] =
    {   0,
     1316,    1, 1316, 1316, 1316, 1316, 1316, 1316, 1317, 1316,
     1316, 1316, 1316, 1316,   14, 1316, 1316, 1316, 1316,   14,
       20, 1318,   20,   20,   20,   20,   20,   20,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21, 1316, 1316, 1316, 1319, 1316,   21,   21,   20,
     1320,   50,   21,   21, 1316, 1316, 1316, 1316, 1316, 1316,
     1318, 1318,   50,   63,   21,   21,   21,   21,   63,   21,
       21,   21,   21,   21,   63,   21,   21,   21,   21,   63,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,

       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21, 1316, 1316,   21,  138,   50,
      140, 1321, 1316,   54, 1316,  145, 1322,   21,   21,   21,
       21,   21,  140,   21,   21,   21,   21,   21,  140,   21,
       21,   21,   21,   21,   21,  159,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,

       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21, 1323,
       21, 1324, 1325, 1316,  234, 1326, 1327, 1316, 1316, 1316,
      239, 1328,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,  293,  228,  229, 1329, 1316, 1330, 1331,

     1316, 1316, 1316, 1316,  303, 1332, 1333, 1334, 1316, 1316,
      310, 1316,  312, 1335, 1328,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21, 1324, 1336, 1316,  358, 1337,
     1316, 1338, 1339, 1316,  364, 1326, 1340, 1341, 1316, 1316,
      370, 1316,  372, 1342, 1332, 1316, 1316, 1343, 1344, 1316,
     1316, 1316, 1316,  382, 1345,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,

       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,  423,  355, 1346, 1316,  303, 1316,  305,
     1347, 1348, 1316, 1316, 1316, 1316,  435, 1349, 1316, 1350,
     1351, 1316, 1316, 1316, 1316,  444, 1352, 1353, 1316, 1343,
     1316, 1354, 1316, 1316,  454, 1316,  456, 1355, 1345,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21, 1356, 1357, 1316,  496, 1358, 1316,  499,

     1359, 1316, 1360, 1361, 1316,  505, 1362, 1363, 1316, 1316,
      510, 1316,  512, 1364, 1349, 1365, 1316, 1350, 1316, 1366,
     1316, 1316,  522, 1316,  524, 1367, 1352, 1316, 1368, 1316,
     1369, 1370, 1316, 1316, 1316, 1316,  535, 1371,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
       21,   21,   21,   21,   21,   21,   21,   21,   21,   21,
      493, 1372, 1316, 1316, 1316,  564, 1316, 1316,  567, 1373,
     1374, 1316, 1316, 1316, 1316,  574, 1375, 1316, 1376, 1377,
     1316, 1316, 1316, 1316,  583, 1378, 1316, 1379, 1316, 1380,
     1381, 1316, 1316, 1316, 1316,  594, 1382, 1383, 1316, 1368,

     1384, 1316, 1385, 1316, 1386, 1316, 1316,  607, 1316,  609,
     1387, 1388, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389,
     1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1389, 1390,
     1391, 1316,  632, 1392, 1316,  635, 1393, 1316,  638, 1394,
     1316, 1395, 1396, 1316,  644, 1397, 1398, 1316, 1316,  649,
     1316,  651, 1399, 1400, 1401, 1316, 1402, 1316, 1403, 1316,
     1316,  661, 1316,  663, 1404, 1405, 1406, 1316, 1407, 1408,
     1316, 1409, 1316, 1410, 1316, 1316,  676, 1316,  678, 1411,
     1412, 1413, 1316, 1414, 1316, 1415, 1416, 1316, 1316, 1316,
     1316,  690, 1417, 1418, 1418, 1418, 1418, 1418, 1418, 1418,

     1418, 1418, 1418, 1418, 1418, 1418, 1419, 1316, 1316, 1316,
      709, 1316, 1316,  712, 1316, 1316,  715, 1420, 1421, 1316,
     1316, 1316, 1316,  722, 1422, 1316, 1423, 1424, 1316, 1316,
     1316, 1316,  731, 1425, 1316, 1426, 1316, 1427, 1428, 1316,
     1316, 1316, 1316,  742, 1429, 1430, 1316, 1431, 1316, 1432,
     1433, 1316, 1316, 1316, 1316,  754, 1434, 1435, 1436, 1316,
     1437, 1438, 1316, 1439, 1316, 1440, 1316, 1316,  768, 1316,
      770, 1441, 1442, 1443, 1443, 1443, 1443, 1443, 1443, 1443,
     1443, 1443, 1443, 1443, 1444, 1445, 1316,  787, 1446, 1316,
      790, 1447, 1316,  793, 1448, 1316,  796, 1449, 1316, 1450,

     1316, 1316,  802, 1451, 1452, 1316, 1316,  807, 1316,  809,
     1453, 1454, 1455, 1316, 1456, 1316, 1457, 1316, 1316,  819,
     1316,  821, 1458, 1459, 1460, 1316, 1461, 1462, 1316, 1463,
     1316, 1464, 1316, 1316,  834, 1316,  836, 1465, 1466, 1467,
     1468, 1316, 1469, 1470, 1316, 1471, 1316, 1472, 1316, 1316,
      850, 1316,  852, 1473, 1474, 1475, 1316, 1476, 1316, 1477,
     1478, 1316, 1316, 1316, 1316,  864, 1479, 1480, 1480, 1480,
     1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1480, 1481,
     1316, 1316, 1316,  882, 1316, 1316,  885, 1316, 1316,  888,
     1316, 1316,  891, 1482, 1316,  895, 1483, 1484, 1316, 1316,

     1485,  900, 1486, 1316, 1487, 1488, 1316, 1316, 1316, 1489,
      909, 1490, 1316, 1491, 1316, 1492, 1493, 1316, 1316, 1316,
     1494,  920, 1495, 1496, 1316, 1497, 1316, 1498, 1499, 1316,
     1316, 1316, 1500,  932, 1501, 1502, 1316, 1503, 1316, 1504,
     1505, 1316, 1316, 1316, 1506,  944, 1507, 1508, 1509, 1316,
     1510, 1511, 1316, 1512, 1316, 1513, 1316, 1316,  958, 1316,
      960, 1514, 1515, 1516, 1516, 1516, 1516, 1516, 1516, 1516,
     1516, 1516, 1516, 1517, 1316, 1316,  976, 1518, 1316,  979,
     1519, 1316,  982, 1520, 1316,  985, 1521, 1316,  988, 1522,
     1316, 1316, 1316, 1523,  993, 1524, 1525, 1526, 1316, 1316,

     1000, 1527, 1528, 1529, 1316, 1530, 1316, 1531, 1316, 1316,
     1010, 1532, 1533, 1534, 1316, 1535, 1536, 1316, 1537, 1316,
     1538, 1316, 1316, 1023, 1539, 1540, 1541, 1542, 1316, 1543,
     1544, 1316, 1545, 1316, 1546, 1316, 1316, 1037, 1547, 1548,
     1549, 1550, 1316, 1551, 1552, 1316, 1553, 1316, 1554, 1316,
     1316, 1051, 1555, 1556, 1557, 1316, 1558, 1316, 1559, 1560,
     1316, 1316, 1316, 1561, 1063, 1562, 1563, 1563, 1563, 1563,
     1563, 1563, 1563, 1563, 1316, 1075, 1564, 1565, 1316, 1566,
     1079, 1316, 1567, 1082, 1316, 1568, 1085, 1316, 1569, 1088,
     1316, 1570, 1091, 1571, 1316, 1316, 1096, 1572, 1573, 1574,

     1575, 1316, 1576, 1577, 1316, 1578, 1316, 1579, 1316, 1580,
     1581, 1316, 1582, 1583, 1316, 1584, 1316, 1585, 1586, 1316,
     1587, 1588, 1316, 1589, 1316, 1590, 1591, 1316, 1592, 1593,
     1316, 1594, 1316, 1595, 1596, 1316, 1597, 1598, 1599, 1316,
     1600, 1601, 1316, 1602, 1316, 1603, 1316, 1316, 1148, 1604,
     1605, 1606, 1606, 1606, 1606, 1316, 1607, 1156, 1608, 1609,
     1610, 1611, 1612, 1613, 1316, 1614, 1615, 1316, 1616, 1617,
     1618, 1316, 1619, 1316, 1620, 1621, 1316, 1622, 1623, 1316,
     1624, 1316, 1625, 1626, 1627, 1316, 1628, 1629, 1316, 1630,
     1316, 1631, 1632, 1633, 1316, 1634, 1635, 1316, 1636, 1316,

     1637, 1638, 1639, 1316, 1640, 1641, 1316, 1642, 1316, 1643,
     1644, 1316, 1645, 1316, 1646, 1647, 1316, 1648, 1649, 1649,
     1649, 1649, 1650, 1316, 1651, 1652, 1653, 1654, 1655, 1656,
     1657, 1316, 1658, 1316, 1659, 1316, 1316, 1660, 1316, 1661,
     1316, 1662, 1316, 1663, 1316, 1664, 1316, 1665, 1316, 1666,
     1316, 1667, 1316, 1668, 1316, 1644, 1669, 1316, 1645, 1670,
     1316, 1646, 1316, 1671, 1649, 1649, 1649, 1672, 1316, 1673,
     1674, 1316, 1660, 1661, 1675, 1316, 1662, 1663, 1676, 1316,
     1664, 1665, 1677, 1316, 1666, 1667, 1678, 1316, 1668, 1679,
     1316, 1680, 1316, 1649, 1681, 1316, 1673, 1682, 1683, 1684,

     1685, 1686, 1679, 1687, 1316, 1680, 1688, 1682, 1683, 1684,
     1685, 1686, 1689, 1688, 1689,    0, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,

     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,

     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,

     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316
    } ;

static yyconst short int yy_nxt[6645] =
    {   0,
        4,    5,    6,    7,    8,    9,   10,   11,   12,   11,
       13,   14,   15,   15,   15,   15,   15,   16,   17,   18,
       19,   20,   21,   21,   11,   22,   13,   23,   24,   25,
       26,   27,   28,   29,   30,   31,   21,   32,   33,   34,
       35,   36,   21,   37,   38,   39,   40,   41,   42,   21,
       21,   43,   44,   44,  177,   44,   44,   44,   44,   44,
       44,   44,   44,   44,   44,   69,   44,   44,   44,   44,
       44,   44,   53,   56,   57, 1291,   44,   44,   44,   70,
       44,   59,   60,   53,   44,  149,   71,  178,   44,   48,
       49,   50,   50,   50,   50,   50,   50,   51,   53,   78,

       79,   52,   53,   54, 1269, 1253,   48,   52,   52,   52,
       52,   52,   52,   53,   53,   53,   53,   53,   53,   53,
       53,   53,   53,   53,   53,   53,   53,   53,   53,   54,
       53,   44,  104,   63,   44,   64,   44,   81,  172,   44,
       65,  105,  129,  173, 1249,   66,   53,   61,   55,   67,
       61,   68,   61,   82,  128,   61,   44,   53,   52,   52,
       52,   52,   52,   52,   61,   75,   72,   99,  129,   73,
       53,  100,   61,   74,  184,   76,  106,  121,   77,  185,
      101,  102,   53,  122,  344,  123,  103,  124,  107,  345,
      108,  125,  109,  126,  127,  110,   53,   53,   53,   53,

       53,   53,   53, 1316,  182,   92,   93,   53,   53, 1245,
      183, 1241,  153,   53,   53,   53,   53,   53,   53,   84,
       94,  159,   85,   86,   95,   87,   53,   88,   96,   89,
       97,   90,  116,  111,   91,   53,  117,   98,  112,  113,
      131,  114,  115,  166,  118, 1237, 1214,  210,  132,  119,
       44,  120,  133,   44,  134,   44,   53,  162,   44,  138,
      139,  139,  139,  139,  139,  211, 1316,   44,   53,  141,
      141,  141,  141,  141,  141,   44,   49,  140,  140,  140,
      140,  140,  140,  163,  289, 1316, 1212,  141, 1165,  164,
     1064, 1133, 1316,  141,  141,  141,  141,  141,  141,  144,

      144,  144,  144,  144,  144,   61,   48,  290,   61,  144,
       61, 1316,  204,   61,  179,  144,  144,  144,  144,  144,
      144,   44,   61,   48,   44,  205,   44,   48, 1131,   44,
       61,  216,  145,  146,  146,  146,  146,  146,   44, 1125,
      180,  217,  147, 1123,   48,  181,   44,  701,  147,  147,
      147,  147,  147,  147,   53,  141,  141,  141,  141,  141,
      141,  213,   53,  231,  231,  231,  231,  231,  231,  271,
      214,   53,  231,  231,  231,  231,  231,  231,  238,  302,
     1117, 1115,  272, 1109, 1107,  240,  429,  148,  227,  139,
      139,  139,  139,  139,  139,  293,  294,  294,  294,  294,

      294,  228,  308,  309,  309,  309,  309,  309, 1316,  311,
      311,  311,  311,  311,  311,   53,  368,  369,  369,  369,
      369,  369,  377,   48,  407,   48, 1102,  228,  229,  229,
      229,  229,  229,  229,  230,  378, 1316,  408,  231, 1316,
       48,   53,   48,  702,  231,  231,  231,  231,  231,  231,
      234,  235,  235,  235,  235,  235,  236,  381, 1316,  695,
      237,  378, 1316,   48,  383, 1316,  237,  237,  237,  237,
      237,  237,  238,  239,  239,  239,  239,  239,  239,  240,
       48,  704,  347,  241, 1316,  242,  366,  348,  324,  241,
      241,  241,  241,  241,  241,  325,  349, 1316,  350,  351,

     1157,  352,  423,  424,  424,  424,  424,  424,  326,  439,
      468,  242,   53,  231,  231,  231,  231,  231,  231,  469,
     1224, 1062,  440, 1316,  327, 1316,  371,  371,  371,  371,
      371,  371,  377,  309,  309,  309,  309,  309,  309, 1058,
      471,  251,  295,  295,  295,  295,  295,  295,  440,  472,
      434, 1056,  295,  366,   53, 1316, 1316,  565,  295,  295,
      295,  295,  295,  295,   49,  296,  296,  296,  296,  296,
      296,  230,  302,  303,  303,  303,  303,  303,  303,  304,
       53, 1316, 1316,  305, 1316,  306, 1092,  366, 1089,  305,
      305,  305,  305,  305,  305, 1316,  380,  380,  380,  380,

      380,  380,  439,  369,  369,  369,  369,  369,  369,  528,
     1316,  306,  238,  310,  310,  310,  310,  310,  310,  240,
     1316, 1316,  529,  311, 1316,  366,   48,   48, 1086,  311,
      311,  311,  311,  311,  311,  312,  313,  313,  313,  313,
      313,  366,  443,   48,   48,  314, 1316, 1316,  529,  568,
     1316,  314,  314,  314,  314,  314,  314,  354,  294,  294,
      294,  294,  294,  294,  448,  449,  449,  449,  449,  449,
      355, 1316,  442,  442,  442,  442,  442,  442,  452,  453,
      453,  453,  453,  453, 1316,  455,  455,  455,  455,  455,
      455,  530,  578,  587,   48,  589,  355,  358,  359,  359,

      359,  359,  359,  534,  531,  579,  588,  360,  590,   48,
      536,   48, 1083,  360,  360,  360,  360,  360,  360,  364,
      365,  365,  365,  365,  365,  366,   48,  682, 1316,  367,
      531,  579,  588,  694,  590,  367,  367,  367,  367,  367,
      367,  302,  370,  370,  370,  370,  370,  370,  304, 1316,
      573,  366,  371,  682, 1316,   48,   48,  710,  371,  371,
      371,  371,  371,  371,  372,  373,  373,  373,  373,  373,
      366,  582,   48,   48,  374, 1316,  705,  700,  713,   48,
      374,  374,  374,  374,  374,  374,  238,  379,  379,  379,
      379,  379,  379,  240, 1080, 1316,   48,  380, 1316, 1316,

       48,  774,  366,  380,  380,  380,  380,  380,  380,  381,
      382,  382,  382,  382,  382,  382,  383,   48,  992, 1316,
      384, 1316,  385,  366, 1316, 1316,  384,  384,  384,  384,
      384,  384,  508,  509,  509,  509,  509,  509, 1316,  511,
      511,  511,  511,  511,  511, 1316, 1316,  593,  385,  392,
      746, 1316,  856,  393,  716,  366,  394,   48,  683,  395,
      685,  396,  397,  398,  399,  425,  425,  425,  425,  425,
      425,  684, 1316,  686,   48,  425,  746, 1316,  856,  775,
     1157,  425,  425,  425,  425,  425,  425,  302,  428,  428,
      428,  428,  428,  428,  429,  689,  721,  684,  430,  686,

      306,  865,  691,  883,  430,  430,  430,  430,  430,  430,
      516,  517,  517,  517,  517,  517,  520,  521,  521,  521,
      521,  521,   48,  943,   48,  366,  306,  434,  435,  435,
      435,  435,  435,  435,  436,  939,  730,  937,  437,   48,
      438,   48,  783,  886,  437,  437,  437,  437,  437,  437,
     1316,  523,  523,  523,  523,  523,  523,  528,  449,  449,
      449,  449,  449,  449,   48,   48,  438,  302,  441,  441,
      441,  441,  441,  441,  429,  931, 1316,  366,  442,  927,
     1316,   48,   48,   48,  442,  442,  442,  442,  442,  442,
      443,  444,  444,  444,  444,  444,  444,  445,  696,  697,

       48,  446, 1316,  447,  925,  776, 1316,  446,  446,  446,
      446,  446,  446,  238,  451,  451,  451,  451,  451,  451,
      530,  453,  453,  453,  453,  453,  453,   48,   48,  447,
      381,  454,  454,  454,  454,  454,  454,  383,  919, 1316,
     1316,  455,   48,  366,   48,   48,  915,  455,  455,  455,
      455,  455,  455,  456,  457,  457,  457,  457,  457,   48,
      777,  699,  913,  458,  778, 1316, 1316,  908,  366,  458,
      458,  458,  458,  458,  458,  424,  424,  424,  424,  424,
      424,  598,  599,  599,  599,  599,  599,  493, 1316,  533,
      533,  533,  533,  533,  533,  578,  509,  509,  509,  509,

      509,  509, 1316,  581,  581,  581,  581,  581,  581,  726,
      735,   48,   48,  493,  496,  497,  497,  497,  497,  497,
      904,  899,  727,  736,  498,  366,   48,   48,   48,   48,
      498,  498,  498,  498,  498,  498,  499,  500,  500,  500,
      500,  500,  706,   48,   48,  779,  501,  873,  727,  736,
       48,  879,  501,  501,  501,  501,  501,  501,  505,  506,
      506,  506,  506,  506,  366,  366, 1316,   48,  507, 1099,
     1316,   48,  780,   48,  507,  507,  507,  507,  507,  507,
      434,  510,  510,  510,  510,  510,  510,  436,   48, 1316,
       48,  511, 1316,  781,  975,  877, 1316,  511,  511,  511,

      511,  511,  511,  512,  513,  513,  513,  513,  513,  366,
      741, 1316,  924,  514, 1316, 1316, 1092,  889,   48,  514,
      514,  514,  514,  514,  514,  443,  522,  522,  522,  522,
      522,  522,  445,  936, 1316,   48,  523, 1316,  924,   48,
     1316, 1089,  523,  523,  523,  523,  523,  523,  524,  525,
      525,  525,  525,  525,  366, 1086,   48, 1083,  526,  936,
     1316,   48,   48,   48,  526,  526,  526,  526,  526,  526,
      381,  532,  532,  532,  532,  532,  532,  383,   48,   48,
       48,  533,  969,  972, 1080,  973,   48,  533,  533,  533,
      533,  533,  533,  534,  535,  535,  535,  535,  535,  535,

      536,  753,  863,   48,  537, 1070,  538,  975,  892,  865,
      537,  537,  537,  537,  537,  537,  587,  517,  517,  517,
      517,  517,  517,  302,  519,  519,  519,  519,  519,  519,
       48,  737,  538,  561,  561,  561,  561,  561,  561, 1316,
      863, 1055, 1064,  561,  738, 1316,   48,   48,  859,  561,
      561,  561,  561,  561,  561,  434,  564,  564,  564,  564,
      564,  564,  565,   48,  872, 1316,  566, 1055,  438,  857,
      738, 1316,  566,  566,  566,  566,  566,  566,  589,  521,
      521,  521,  521,  521,  521, 1316,  592,  592,  592,  592,
      592,  592,  747,   48,  438,  443,  567,  567,  567,  567,

      567,  567,  568,  366,  899,  748,  569, 1316,  447,  892,
       48, 1080,  569,  569,  569,  569,  569,  569,  601,  602,
      602,  602,  602,  602,  605,  606,  606,  606,  606,  606,
      971,  748,   48, 1316,  447,  573,  574,  574,  574,  574,
      574,  574,  575,  908,  919,  366,  576,  889,  577,   48,
     1083, 1086,  576,  576,  576,  576,  576,  576, 1316,  608,
      608,  608,  608,  608,  608, 1316,  511,  511,  511,  511,
      511,  511,   48,   48,  577,  434,  580,  580,  580,  580,
      580,  580,  565,  366, 1316,  886,  581, 1316, 1316,   48,
       48,  366,  581,  581,  581,  581,  581,  581,  582,  583,

      583,  583,  583,  583,  583,  584,  876,  883,  784,  585,
     1316,  586,  366, 1316, 1316,  585,  585,  585,  585,  585,
      585, 1316,  523,  523,  523,  523,  523,  523,  647,  648,
      648,  648,  648,  648,  749,   48,  994,  586,  443,  591,
      591,  591,  591,  591,  591,  568,  366,  750,  975,  592,
      975, 1316,   48,  874,   48,  592,  592,  592,  592,  592,
      592,  593,  594,  594,  594,  594,  594,  594,  595,  691,
      875,   48,  596,  750,  597,  753, 1073, 1316,  596,  596,
      596,  596,  596,  596, 1316,  650,  650,  650,  650,  650,
      650,  655,  656,  656,  656,  656,  656,  857,   48,   48,

      597,  534,  607,  607,  607,  607,  607,  607,  536, 1114,
      858, 1122,  608,  945,  749,   48,   48,  747,  608,  608,
      608,  608,  608,  608,  609,  610,  610,  610,  610,  610,
      782,  868, 1130,  741,  611, 1114,  858, 1122,   48,  859,
      611,  611,  611,  611,  611,  611,  632,  633,  633,  633,
      633,  633,  860,  933, 1316,   48,  634, 1211, 1130,   48,
       48,  737,  634,  634,  634,  634,  634,  634,  434,  510,
      510,  510,  510,  510,  510,  565,   48,   48,  860,  511,
     1316,   48,   48, 1211,  904,  511,  511,  511,  511,  511,
      511,  635,  636,  636,  636,  636,  636,  905,   48,   48,

     1067,  637, 1240, 1244,   48,  735,  730,  637,  637,  637,
      637,  637,  637,  443,  522,  522,  522,  522,  522,  522,
      568,   48, 1068,  905,  523,   48,   48,   48, 1240, 1244,
      523,  523,  523,  523,  523,  523,  638,  639,  639,  639,
      639,  639,   48,   48,   48, 1069,  640,  921, 1152,  726,
       48,  721,  640,  640,  640,  640,  640,  640,  644,  645,
      645,  645,  645,  645,  366, 1071,  931,   48,  646,  910,
     1220,  901,   48, 1089,  646,  646,  646,  646,  646,  646,
      573,  649,  649,  649,  649,  649,  649,  575,  943,   48,
     1248,  650, 1221,  801,  786, 1092,  892,  650,  650,  650,

      650,  650,  650,  651,  652,  652,  652,  652,  652,  366,
      992, 1062,  889,  653, 1252, 1290, 1248, 1157, 1064,  653,
      653,  653,  653,  653,  653,  659,  660,  660,  660,  660,
      660,  582,  661,  661,  661,  661,  661,  661,  584, 1298,
     1252, 1290,  662,  886,   48,   48,   48,  883,  662,  662,
      662,  662,  662,  662,  663,  664,  664,  664,  664,  664,
      366,   48,   48,   48,  665, 1298,  881,  786,  689, 1267,
      665,  665,  665,  665,  665,  665, 1316,  662,  662,  662,
      662,  662,  662,  667,  668,  668,  668,  668,  668,  670,
      671,  671,  671,  671,  671,  674,  675,  675,  675,  675,

      675,  593,  676,  676,  676,  676,  676,  676,  595, 1299,
     1300, 1301,  677, 1302,   48,   48,  865,  685,  677,  677,
      677,  677,  677,  677,  678,  679,  679,  679,  679,  679,
      366,   48,   48,  683,  680, 1299, 1300, 1301,  716, 1302,
      680,  680,  680,  680,  680,  680, 1316,  677,  677,  677,
      677,  677,  677,  599,  599,  599,  599,  599,  599,  683,
      602,  602,  602,  602,  602,  602,  381,  604,  604,  604,
      604,  604,  604,  685,  606,  606,  606,  606,  606,  606,
      534,  687,  687,  687,  687,  687,  687,  536,  713,  710,
      801,  688,  786,  786,  536,  593,  755,  688,  688,  688,

      688,  688,  688, 1316,  688,  688,  688,  688,  688,  688,
      689,  690,  690,  690,  690,  690,  690,  691,   48,   48,
       48,  692,   48,  693,  589,  913,  587,  692,  692,  692,
      692,  692,  692,   48, 1307,   48,   48,   48,  914,   48,
      726,  648,  648,  648,  648,  648,  648,  698,  703,  693,
       48,  287,  573,  709,  709,  709,  709,  709,  709,  710,
     1307, 1222,  582,  711,  914,  577,  743,  878,  578,  711,
      711,  711,  711,  711,  711, 1316,  729,  729,  729,  729,
      729,  729,  735,  656,  656,  656,  656,  656,  656,  573,
      732,  577,  582,  712,  712,  712,  712,  712,  712,  713,

      723,  720,  643,  714, 1313,  586,  631,  716,  713,  714,
      714,  714,  714,  714,  714,  434,  658,  658,  658,  658,
      658,  658,  737,  660,  660,  660,  660,  660,  660,  915,
     1313,  586,  593,  715,  715,  715,  715,  715,  715,  716,
      710,  708,  916,  717,  631,  597,  534,  691,  530,  717,
      717,  717,  717,  717,  717, 1316,  740,  740,  740,  740,
      740,  740,  668,  668,  668,  668,  668,  668,  916,  528,
      568,  597,  721,  722,  722,  722,  722,  722,  722,  723,
      565,  643,  631,  724,  631,  725,  629,  628,  627,  724,
      724,  724,  724,  724,  724,  747,  671,  671,  671,  671,

      671,  671,  443,  673,  673,  673,  673,  673,  673,   48,
       48,  725,  573,  728,  728,  728,  728,  728,  728,  710,
      626,  625,  624,  729,  623,  622,   48,   48,  621,  729,
      729,  729,  729,  729,  729,  730,  731,  731,  731,  731,
      731,  731,  732,  620, 1219,  968,  733,  619,  734,  618,
      617,  616,  733,  733,  733,  733,  733,  733,  749,  675,
      675,  675,  675,  675,  675, 1316,  752,  752,  752,  752,
      752,  752,   48,  615,  734,  582,  739,  739,  739,  739,
      739,  739,  713,  614,  613,  383,  740,  443,  595,   48,
      439,  434,  740,  740,  740,  740,  740,  740,  741,  742,

      742,  742,  742,  742,  742,  743,  584,  575, 1265,  744,
      572,  745,  504,  495,  568,  744,  744,  744,  744,  744,
      744,  759,  760,  760,  760,  760,  760,  762,  763,  763,
      763,  763,  763,   48,  925,  565,  563,  745,  593,  751,
      751,  751,  751,  751,  751,  716,  495,  926,  560,  752,
       48,  559,  558,  557,  556,  752,  752,  752,  752,  752,
      752,  753,  754,  754,  754,  754,  754,  754,  755, 1294,
      555,  554,  756,  926,  757,  553,  552,  551,  756,  756,
      756,  756,  756,  756,  766,  767,  767,  767,  767,  767,
     1316,  769,  769,  769,  769,  769,  769,  927,   48,   48,

      757,  689,  768,  768,  768,  768,  768,  768,  691,  550,
      928,  549,  769,  548,  547,   48,   48,  546,  769,  769,
      769,  769,  769,  769,  770,  771,  771,  771,  771,  771,
      869,  870,  871,  545,  772,  544,  928,  543,  542,  937,
      772,  772,  772,  772,  772,  772,  787,  788,  788,  788,
      788,  788,  938,  541,  540,  539,  789,  381,  536,  377,
      429,  504,  789,  789,  789,  789,  789,  789,  573,  649,
      649,  649,  649,  649,  649,  710,  495,  429,  938,  650,
       48,  429,  495,  354,  492,  650,  650,  650,  650,  650,
      650,  790,  791,  791,  791,  791,  791,   48,  491,  490,

      489,  792,  488,  487,  486,  485, 1153,  792,  792,  792,
      792,  792,  792, 1316,  650,  650,  650,  650,  650,  650,
      582,  661,  661,  661,  661,  661,  661,  713,  284,  207,
      484,  662,   48,  483,  482,  481,  480,  662,  662,  662,
      662,  662,  662,  793,  794,  794,  794,  794,  794,   48,
      479,  478,  477,  795,  476,  475,  474,  473, 1266,  795,
      795,  795,  795,  795,  795, 1316,  662,  662,  662,  662,
      662,  662,  593,  676,  676,  676,  676,  676,  676,  716,
      470,  467,  466,  677,  465,  464,  463,  462,  461,  677,
      677,  677,  677,  677,  677,  796,  797,  797,  797,  797,

      797,  460,  240,  366,  302,  798,  445,  436,  366,  433,
      363,  798,  798,  798,  798,  798,  798, 1316,  677,  677,
      677,  677,  677,  677,  802,  803,  803,  803,  803,  803,
      366,  357,  429,  427,  804,  357,  422,  421,  420,  419,
      804,  804,  804,  804,  804,  804,  805,  806,  806,  806,
      806,  806,  721,  807,  807,  807,  807,  807,  807,  723,
      418,  417,  416,  808,  415,  414,  413,  412,  411,  808,
      808,  808,  808,  808,  808,  809,  810,  810,  810,  810,
      810,  366,  410,  409,  406,  811,  405,  404,  403,  402,
      107,  811,  811,  811,  811,  811,  811, 1316,  808,  808,

      808,  808,  808,  808,  813,  814,  814,  814,  814,  814,
      817,  818,  818,  818,  818,  818,  730,  819,  819,  819,
      819,  819,  819,  732,  401,  400,  391,  820,  390,  389,
      388,  387,  386,  820,  820,  820,  820,  820,  820,  821,
      822,  822,  822,  822,  822,  366,  238,  383,  366,  823,
      363,  357,  357, 1316,  227,  823,  823,  823,  823,  823,
      823, 1316,  820,  820,  820,  820,  820,  820,  825,  826,
      826,  826,  826,  826,  828,  829,  829,  829,  829,  829,
      832,  833,  833,  833,  833,  833,  741,  834,  834,  834,
      834,  834,  834,  743,  353,  346,  343,  835,  342,  341,

      340,  339,  338,  835,  835,  835,  835,  835,  835,  836,
      837,  837,  837,  837,  837,  366,  337,  336,  335,  838,
      334,  333,  332,  331,  330,  838,  838,  838,  838,  838,
      838, 1316,  835,  835,  835,  835,  835,  835,  841,  842,
      842,  842,  842,  842,  844,  845,  845,  845,  845,  845,
      848,  849,  849,  849,  849,  849,  753,  850,  850,  850,
      850,  850,  850,  755,  329,  328,  323,  851,  322,  201,
      321,  320,  319,  851,  851,  851,  851,  851,  851,  852,
      853,  853,  853,  853,  853,  366,  318,  317,  316,  854,
      304,  236,  301,  233,  230,  854,  854,  854,  854,  854,

      854, 1316,  851,  851,  851,  851,  851,  851,  760,  760,
      760,  760,  760,  760,  857,  763,  763,  763,  763,  763,
      763,  534,  765,  765,  765,  765,  765,  765,  859,  767,
      767,  767,  767,  767,  767,  689,  861,  861,  861,  861,
      861,  861,  691,  298,  129,  292,  862,  291,  288,  287,
      201,  286,  862,  862,  862,  862,  862,  862, 1316,  862,
      862,  862,  862,  862,  862,  863,  864,  864,  864,  864,
      864,  864,  865,  285,  284,  283,  866,  282,  867,  281,
      280,  279,  866,  866,  866,  866,  866,  866,  904,  806,
      806,  806,  806,  806,  806, 1316,  907,  907,  907,  907,

      907,  907,  278,  277,  867,  721,  882,  882,  882,  882,
      882,  882,  883,  276,  275,  274,  884,  273,  725,  270,
      269,  201,  884,  884,  884,  884,  884,  884,  913,  814,
      814,  814,  814,  814,  814,  573,  816,  816,  816,  816,
      816,  816,  268,  267,  725,  730,  885,  885,  885,  885,
      885,  885,  886,  266,  265,  264,  887,  263,  734,  262,
      261,  260,  887,  887,  887,  887,  887,  887,  915,  818,
      818,  818,  818,  818,  818, 1316,  918,  918,  918,  918,
      918,  918,  939,  259,  734,  741,  888,  888,  888,  888,
      888,  888,  889,  258,  257,  940,  890,  256,  745,  255,

      254,  253,  890,  890,  890,  890,  890,  890,  826,  826,
      826,  826,  826,  826,  925,  829,  829,  829,  829,  829,
      829,  940,  252,  250,  745,  753,  891,  891,  891,  891,
      891,  891,  892,  249,  248,  247,  893,  246,  757,  245,
      244,  243,  893,  893,  893,  893,  893,  893,  582,  831,
      831,  831,  831,  831,  831,  927,  833,  833,  833,  833,
      833,  833,  240, 1056,  757,  895,  896,  896,  896,  896,
      896,  897,   49,  233,  226,  898, 1057,  225,  224,  223,
      222,  898,  898,  898,  898,  898,  898,  899,  900,  900,
      900,  900,  900,  900,  901,  221,  220,  219,  902,  218,

      903,  215, 1057,  212,  902,  902,  902,  902,  902,  902,
     1316,  930,  930,  930,  930,  930,  930,  842,  842,  842,
      842,  842,  842, 1058,  209,  208,  903,  721,  906,  906,
      906,  906,  906,  906,  883,  207, 1059,  206,  907,  203,
      202,  201,  200,  199,  907,  907,  907,  907,  907,  907,
      908,  909,  909,  909,  909,  909,  909,  910,  198,  197,
      196,  911, 1059,  912,  195,  194,  193,  911,  911,  911,
      911,  911,  911,  937,  845,  845,  845,  845,  845,  845,
      593,  847,  847,  847,  847,  847,  847,  192,  191,  912,
      730,  917,  917,  917,  917,  917,  917,  886,  190,  189,

      188,  918,  187,  186,  176,  175,  174,  918,  918,  918,
      918,  918,  918,  919,  920,  920,  920,  920,  920,  920,
      921,  171,  170,  169,  922,  168,  923,  167,  165,  161,
      922,  922,  922,  922,  922,  922,  939,  849,  849,  849,
      849,  849,  849, 1316,  942,  942,  942,  942,  942,  942,
      160,  158,  923,  741,  929,  929,  929,  929,  929,  929,
      889,  157,  156,  155,  930,  154,  152,  151,  150,  143,
      930,  930,  930,  930,  930,  930,  931,  932,  932,  932,
      932,  932,  932,  933,  136,  135,  130,  934,   83,  935,
       80,   58,   47,  934,  934,  934,  934,  934,  934,  949,

      950,  950,  950,  950,  950,  952,  953,  953,  953,  953,
      953,   45, 1102, 1316, 1316,  935,  753,  941,  941,  941,
      941,  941,  941,  892, 1316, 1103, 1316,  942, 1316, 1316,
     1316, 1316, 1316,  942,  942,  942,  942,  942,  942,  943,
      944,  944,  944,  944,  944,  944,  945, 1316, 1316, 1316,
      946, 1103,  947, 1316, 1316, 1316,  946,  946,  946,  946,
      946,  946,  956,  957,  957,  957,  957,  957, 1316,  959,
      959,  959,  959,  959,  959, 1107, 1316, 1316,  947,  863,
      958,  958,  958,  958,  958,  958,  865, 1316, 1108, 1316,
      959, 1316, 1316, 1316, 1316, 1316,  959,  959,  959,  959,

      959,  959,  960,  961,  961,  961,  961,  961,   48,   48,
       48,   48,  962,   48, 1108,   48, 1316, 1316,  962,  962,
      962,  962,  962,  962,   48,   48,   48,   48,   48, 1316,
       48, 1316,   48, 1316, 1316, 1316,  964,  965,  966, 1316,
     1109,   48,  967, 1072,  970,  976,  977,  977,  977,  977,
      977, 1316, 1316, 1110, 1316,  978, 1074, 1316, 1316, 1316,
     1316,  978,  978,  978,  978,  978,  978,  721,  807,  807,
      807,  807,  807,  807,  883, 1316, 1316, 1316,  808, 1110,
     1316, 1316, 1316, 1316,  808,  808,  808,  808,  808,  808,
      979,  980,  980,  980,  980,  980, 1316, 1316, 1316, 1316,

      981, 1316, 1316, 1316, 1316, 1316,  981,  981,  981,  981,
      981,  981, 1316,  808,  808,  808,  808,  808,  808,  730,
      819,  819,  819,  819,  819,  819,  886, 1316, 1316, 1316,
      820, 1316, 1316, 1316, 1316, 1316,  820,  820,  820,  820,
      820,  820,  982,  983,  983,  983,  983,  983, 1316, 1316,
     1316, 1316,  984, 1316, 1316, 1316, 1316, 1316,  984,  984,
      984,  984,  984,  984, 1316,  820,  820,  820,  820,  820,
      820,  741,  834,  834,  834,  834,  834,  834,  889, 1316,
     1316, 1316,  835, 1316, 1316, 1316, 1316, 1316,  835,  835,
      835,  835,  835,  835,  985,  986,  986,  986,  986,  986,

     1316, 1316, 1316, 1316,  987, 1316, 1316, 1316, 1316, 1316,
      987,  987,  987,  987,  987,  987, 1316,  835,  835,  835,
      835,  835,  835,  753,  850,  850,  850,  850,  850,  850,
      892, 1316, 1316, 1316,  851, 1316, 1316, 1316, 1316, 1316,
      851,  851,  851,  851,  851,  851,  988,  989,  989,  989,
      989,  989, 1316, 1316, 1316, 1316,  990, 1316, 1316, 1316,
     1316, 1316,  990,  990,  990,  990,  990,  990, 1316,  851,
      851,  851,  851,  851,  851,  992,  993,  993,  993,  993,
      993,  993,  994, 1316, 1316, 1316,  995, 1316,  996, 1316,
     1316, 1316,  995,  995,  995,  995,  995,  995,  998,  999,

      999,  999,  999,  999, 1316, 1001, 1001, 1001, 1001, 1001,
     1001, 1316, 1316, 1316,  996,  899, 1000, 1000, 1000, 1000,
     1000, 1000,  901, 1316, 1316, 1316, 1001, 1316, 1316, 1316,
     1316, 1316, 1001, 1001, 1001, 1001, 1001, 1001, 1004, 1005,
     1005, 1005, 1005, 1005, 1008, 1009, 1009, 1009, 1009, 1009,
      908, 1010, 1010, 1010, 1010, 1010, 1010,  910, 1316, 1316,
     1316, 1011, 1316, 1316, 1316, 1316, 1316, 1011, 1011, 1011,
     1011, 1011, 1011, 1316, 1011, 1011, 1011, 1011, 1011, 1011,
     1014, 1015, 1015, 1015, 1015, 1015, 1017, 1018, 1018, 1018,
     1018, 1018, 1021, 1022, 1022, 1022, 1022, 1022,  919, 1023,

     1023, 1023, 1023, 1023, 1023,  921, 1316, 1316, 1316, 1024,
     1316, 1316, 1316, 1316, 1316, 1024, 1024, 1024, 1024, 1024,
     1024, 1316, 1024, 1024, 1024, 1024, 1024, 1024, 1028, 1029,
     1029, 1029, 1029, 1029, 1031, 1032, 1032, 1032, 1032, 1032,
     1035, 1036, 1036, 1036, 1036, 1036,  931, 1037, 1037, 1037,
     1037, 1037, 1037,  933, 1316, 1316, 1316, 1038, 1316, 1316,
     1316, 1316, 1316, 1038, 1038, 1038, 1038, 1038, 1038, 1316,
     1038, 1038, 1038, 1038, 1038, 1038, 1042, 1043, 1043, 1043,
     1043, 1043, 1045, 1046, 1046, 1046, 1046, 1046, 1049, 1050,
     1050, 1050, 1050, 1050,  943, 1051, 1051, 1051, 1051, 1051,

     1051,  945, 1316, 1316, 1316, 1052, 1316, 1316, 1316, 1316,
     1316, 1052, 1052, 1052, 1052, 1052, 1052, 1316, 1052, 1052,
     1052, 1052, 1052, 1052,  950,  950,  950,  950,  950,  950,
     1056,  953,  953,  953,  953,  953,  953,  689,  955,  955,
      955,  955,  955,  955, 1058,  957,  957,  957,  957,  957,
      957,  863, 1060, 1060, 1060, 1060, 1060, 1060,  865, 1316,
     1316, 1316, 1061, 1316, 1316, 1316, 1316, 1316, 1061, 1061,
     1061, 1061, 1061, 1061, 1316, 1061, 1061, 1061, 1061, 1061,
     1061, 1062, 1063, 1063, 1063, 1063, 1063, 1063, 1064, 1316,
     1316, 1316, 1065, 1316, 1066, 1316, 1316, 1316, 1065, 1065,

     1065, 1065, 1065, 1065, 1094, 1095, 1095, 1095, 1095, 1095,
     1316, 1097, 1097, 1097, 1097, 1097, 1097, 1316, 1316, 1115,
     1066, 1075, 1076, 1076, 1076, 1076, 1076, 1077, 1316, 1316,
     1316, 1078, 1116, 1316, 1316, 1316, 1316, 1078, 1078, 1078,
     1078, 1078, 1078,  899, 1079, 1079, 1079, 1079, 1079, 1079,
     1080, 1316, 1316, 1316, 1081, 1316,  903, 1316, 1116, 1316,
     1081, 1081, 1081, 1081, 1081, 1081, 1102,  999,  999,  999,
      999,  999,  999, 1316, 1105, 1105, 1105, 1105, 1105, 1105,
     1316, 1316,  903,  908, 1082, 1082, 1082, 1082, 1082, 1082,
     1083, 1316, 1316, 1316, 1084, 1316,  912, 1316, 1316, 1316,

     1084, 1084, 1084, 1084, 1084, 1084, 1107, 1005, 1005, 1005,
     1005, 1005, 1005,  721, 1007, 1007, 1007, 1007, 1007, 1007,
     1316, 1316,  912,  919, 1085, 1085, 1085, 1085, 1085, 1085,
     1086, 1316, 1316, 1316, 1087, 1316,  923, 1316, 1316, 1316,
     1087, 1087, 1087, 1087, 1087, 1087, 1109, 1009, 1009, 1009,
     1009, 1009, 1009, 1316, 1112, 1112, 1112, 1112, 1112, 1112,
     1117, 1316,  923,  931, 1088, 1088, 1088, 1088, 1088, 1088,
     1089, 1316, 1316, 1118, 1090, 1316,  935, 1316, 1316, 1316,
     1090, 1090, 1090, 1090, 1090, 1090, 1015, 1015, 1015, 1015,
     1015, 1015, 1115, 1018, 1018, 1018, 1018, 1018, 1018, 1118,

     1316, 1316,  935,  943, 1091, 1091, 1091, 1091, 1091, 1091,
     1092, 1316, 1316, 1316, 1093, 1316,  947, 1316, 1316, 1316,
     1093, 1093, 1093, 1093, 1093, 1093,  730, 1020, 1020, 1020,
     1020, 1020, 1020, 1117, 1022, 1022, 1022, 1022, 1022, 1022,
     1123, 1316,  947,  992, 1096, 1096, 1096, 1096, 1096, 1096,
      994, 1316, 1316, 1124, 1097, 1316, 1316, 1316, 1316, 1316,
     1097, 1097, 1097, 1097, 1097, 1097,  899, 1104, 1104, 1104,
     1104, 1104, 1104, 1080, 1316, 1316, 1316, 1105, 1316, 1124,
     1316, 1316, 1316, 1105, 1105, 1105, 1105, 1105, 1105,  908,
     1111, 1111, 1111, 1111, 1111, 1111, 1083, 1316, 1316, 1316,

     1112, 1316, 1316, 1316, 1316, 1316, 1112, 1112, 1112, 1112,
     1112, 1112,  919, 1119, 1119, 1119, 1119, 1119, 1119, 1086,
     1316, 1316, 1316, 1120, 1316, 1316, 1316, 1316, 1316, 1120,
     1120, 1120, 1120, 1120, 1120, 1316, 1120, 1120, 1120, 1120,
     1120, 1120, 1029, 1029, 1029, 1029, 1029, 1029, 1123, 1032,
     1032, 1032, 1032, 1032, 1032,  741, 1034, 1034, 1034, 1034,
     1034, 1034, 1125, 1125, 1036, 1036, 1036, 1036, 1036, 1036,
     1316, 1316, 1316, 1316, 1316, 1126, 1316, 1128, 1128, 1128,
     1128, 1128, 1128, 1043, 1043, 1043, 1043, 1043, 1043, 1131,
     1046, 1046, 1046, 1046, 1046, 1046, 1316, 1131, 1133, 1316,

     1316, 1126,  931, 1127, 1127, 1127, 1127, 1127, 1127, 1089,
     1132, 1134, 1316, 1128, 1316, 1316, 1316, 1316, 1316, 1128,
     1128, 1128, 1128, 1128, 1128,  753, 1048, 1048, 1048, 1048,
     1048, 1048, 1316, 1316, 1316, 1316, 1132, 1134, 1133, 1050,
     1050, 1050, 1050, 1050, 1050,  943, 1135, 1135, 1135, 1135,
     1135, 1135, 1092, 1316, 1316, 1316, 1136, 1316, 1316, 1316,
     1316, 1316, 1136, 1136, 1136, 1136, 1136, 1136, 1316, 1136,
     1136, 1136, 1136, 1136, 1136, 1139, 1140, 1140, 1140, 1140,
     1140, 1142, 1143, 1143, 1143, 1143, 1143, 1146, 1147, 1147,
     1147, 1147, 1147, 1062, 1148, 1148, 1148, 1148, 1148, 1148,

     1064, 1316, 1316, 1316, 1149, 1316,   48,   48, 1316, 1316,
     1149, 1149, 1149, 1149, 1149, 1149, 1316, 1149, 1149, 1149,
     1149, 1149, 1149,   48,   48, 1316, 1001, 1001, 1001, 1001,
     1001, 1001, 1316, 1316, 1316, 1155, 1154,  992, 1156, 1156,
     1156, 1156, 1156, 1156, 1157, 1316, 1316, 1316, 1158, 1316,
      996, 1316, 1316, 1316, 1158, 1158, 1158, 1158, 1158, 1158,
     1316, 1011, 1011, 1011, 1011, 1011, 1011, 1316, 1024, 1024,
     1024, 1024, 1024, 1024, 1165, 1316,  996,  899, 1000, 1000,
     1000, 1000, 1000, 1000, 1080, 1316, 1316, 1166, 1001, 1316,
     1316, 1316, 1316, 1316, 1001, 1001, 1001, 1001, 1001, 1001,

      908, 1010, 1010, 1010, 1010, 1010, 1010, 1083, 1316, 1316,
     1316, 1011, 1316, 1166, 1316, 1316, 1316, 1011, 1011, 1011,
     1011, 1011, 1011,  919, 1023, 1023, 1023, 1023, 1023, 1023,
     1086, 1316, 1316, 1316, 1024, 1316, 1316, 1316, 1316, 1316,
     1024, 1024, 1024, 1024, 1024, 1024,  931, 1037, 1037, 1037,
     1037, 1037, 1037, 1089, 1316, 1316, 1316, 1038, 1316, 1316,
     1316, 1316, 1316, 1038, 1038, 1038, 1038, 1038, 1038, 1316,
     1038, 1038, 1038, 1038, 1038, 1038,  943, 1051, 1051, 1051,
     1051, 1051, 1051, 1092, 1316, 1316, 1316, 1052, 1316, 1316,
     1316, 1316, 1316, 1052, 1052, 1052, 1052, 1052, 1052, 1316,

     1052, 1052, 1052, 1052, 1052, 1052, 1165, 1095, 1095, 1095,
     1095, 1095, 1095,  992, 1167, 1167, 1167, 1167, 1167, 1167,
     1157, 1316, 1316, 1316, 1168, 1316, 1316, 1316, 1316, 1316,
     1168, 1168, 1168, 1168, 1168, 1168, 1316, 1168, 1168, 1168,
     1168, 1168, 1168, 1171, 1172, 1172, 1172, 1172, 1172, 1176,
     1177, 1177, 1177, 1177, 1177, 1179, 1180, 1180, 1180, 1180,
     1180, 1185, 1186, 1186, 1186, 1186, 1186, 1188, 1189, 1189,
     1189, 1189, 1189, 1194, 1195, 1195, 1195, 1195, 1195, 1197,
     1198, 1198, 1198, 1198, 1198, 1203, 1204, 1204, 1204, 1204,
     1204, 1206, 1207, 1207, 1207, 1207, 1207, 1140, 1140, 1140,

     1140, 1140, 1140, 1212, 1212, 1143, 1143, 1143, 1143, 1143,
     1143, 1214, 1316, 1316, 1316, 1316, 1213,  863, 1145, 1145,
     1145, 1145, 1145, 1145, 1215, 1214, 1147, 1147, 1147, 1147,
     1147, 1147, 1316, 1217, 1217, 1217, 1217, 1217, 1217, 1316,
     1316, 1316, 1213, 1316, 1097, 1097, 1097, 1097, 1097, 1097,
     1215, 1062, 1216, 1216, 1216, 1216, 1216, 1216, 1064, 1316,
     1316, 1316, 1217, 1316, 1316, 1316, 1316, 1316, 1217, 1217,
     1217, 1217, 1217, 1217,  992, 1096, 1096, 1096, 1096, 1096,
     1096, 1157, 1316, 1316, 1316, 1097, 1316, 1316, 1316, 1316,
     1237, 1097, 1097, 1097, 1097, 1097, 1097, 1231, 1232, 1232,

     1232, 1232, 1232, 1238, 1237, 1172, 1172, 1172, 1172, 1172,
     1172,  899, 1174, 1174, 1174, 1174, 1174, 1174, 1177, 1177,
     1177, 1177, 1177, 1177, 1241, 1316, 1316, 1316, 1316, 1238,
     1241, 1180, 1180, 1180, 1180, 1180, 1180, 1242,  908, 1182,
     1182, 1182, 1182, 1182, 1182, 1186, 1186, 1186, 1186, 1186,
     1186, 1245, 1245, 1189, 1189, 1189, 1189, 1189, 1189, 1316,
     1316, 1316, 1316, 1242, 1246,  919, 1191, 1191, 1191, 1191,
     1191, 1191, 1195, 1195, 1195, 1195, 1195, 1195, 1249, 1249,
     1198, 1198, 1198, 1198, 1198, 1198, 1316, 1316, 1316, 1316,
     1246, 1250,  931, 1200, 1200, 1200, 1200, 1200, 1200, 1204,

     1204, 1204, 1204, 1204, 1204, 1253, 1253, 1207, 1207, 1207,
     1207, 1207, 1207, 1316, 1316, 1316, 1316, 1250, 1254,  943,
     1209, 1209, 1209, 1209, 1209, 1209, 1257, 1258, 1258, 1258,
     1258, 1258, 1260, 1261, 1261, 1261, 1261, 1261, 1269, 1316,
     1316, 1316, 1316, 1316, 1254, 1271, 1272, 1272, 1272, 1272,
     1272, 1270, 1269, 1232, 1232, 1232, 1232, 1232, 1232,  992,
     1234, 1234, 1234, 1234, 1234, 1234, 1275, 1276, 1276, 1276,
     1276, 1276, 1316, 1316, 1316, 1316, 1316, 1270, 1279, 1280,
     1280, 1280, 1280, 1280, 1283, 1284, 1284, 1284, 1284, 1284,
     1287, 1288, 1288, 1288, 1288, 1288, 1258, 1258, 1258, 1258,

     1258, 1258, 1291, 1291, 1261, 1261, 1261, 1261, 1261, 1261,
     1316, 1316, 1316, 1316, 1316, 1292, 1062, 1263, 1263, 1263,
     1263, 1263, 1263, 1295, 1296, 1296, 1296, 1296, 1296, 1272,
     1272, 1272, 1272, 1272, 1272, 1276, 1276, 1276, 1276, 1276,
     1276, 1292, 1280, 1280, 1280, 1280, 1280, 1280, 1284, 1284,
     1284, 1284, 1284, 1284, 1288, 1288, 1288, 1288, 1288, 1288,
     1304, 1305, 1305, 1305, 1305, 1305, 1296, 1296, 1296, 1296,
     1296, 1296, 1305, 1305, 1305, 1305, 1305, 1305,   46, 1316,
     1316, 1316, 1316,   46,   46,   46,   62, 1316,   62,   62,
       62,   62,   62,   62,   62,  137, 1316,  137,  142,  142,

      142,  232,  232,  232,  241,  241,  241,  297,  297,  297,
      299,  299,  299,  300,  300,  300,  307,  307,  307,  305,
      305,  305,  315, 1316,  315,  356,  356,  356,  361,  361,
      361,  362,  362,  362,  375, 1316,  375,  376,  376,  376,
      309,  309, 1316, 1316,  309,  384,  384,  384,  426,  426,
      426,  430,  430,  430,  431,  431,  431,  432,  432,  432,
      437,  437,  437,  369,  369, 1316, 1316,  369,  446,  446,
      446,  450, 1316,  450,  451,  451,  451,  459, 1316,  459,
      494,  494,  494,  502,  502,  502,  503,  503,  503,  515,
     1316,  515,  518, 1316,  518,  519,  519,  519,  527, 1316,

      527,  449,  449, 1316, 1316,  449,  453,  453, 1316, 1316,
      453,  537,  537,  537,  431,  431,  431,  562,  562,  562,
      566,  566,  566,  569,  569,  569,  570,  570,  570,  571,
      571,  571,  576,  576,  576,  509,  509, 1316, 1316,  509,
      585,  585,  585,  517,  517, 1316, 1316,  517,  521,  521,
     1316, 1316,  521,  596,  596,  596,  600, 1316,  600,  603,
     1316,  603,  604,  604,  604,  612, 1316,  612,  630,  630,
      630,  641,  641,  641,  642,  642,  642,  654, 1316,  654,
      657, 1316,  657,  658,  658,  658,  666, 1316,  666,  669,
     1316,  669,  672, 1316,  672,  673,  673,  673,  681, 1316,

      681,  599, 1316, 1316,  599,  602,  602, 1316, 1316,  602,
      603,  603, 1316,  603,  606,  606, 1316, 1316,  606,  692,
      692,  692,  612,  612, 1316,  612,   53,   53,   53, 1316,
       53,   53,  570,  570,  570,  707,  707,  707,  711,  711,
      711,  714,  714,  714,  717,  717,  717,  718,  718,  718,
      719,  719,  719,  724,  724,  724,  648,  648, 1316, 1316,
      648,  733,  733,  733,  654,  654, 1316,  654,  656,  656,
     1316, 1316,  656,  657,  657, 1316,  657,  660,  660, 1316,
     1316,  660,  744,  744,  744,  666,  666, 1316,  666,  668,
     1316, 1316,  668,  669,  669, 1316,  669,  671,  671, 1316,

     1316,  671,  672,  672, 1316,  672,  675,  675, 1316, 1316,
      675,  756,  756,  756,  681,  681, 1316,  681,  758, 1316,
      758,  761, 1316,  761,  764, 1316,  764,  765,  765,  765,
      773, 1316,  773,   53,   53,   53, 1316,   53,   53,  785,
      785,  785,  799,  799,  799,  800,  800,  800,  812, 1316,
      812,  815, 1316,  815,  816,  816,  816,  824, 1316,  824,
      827, 1316,  827,  830, 1316,  830,  831,  831,  831,  839,
     1316,  839,  840, 1316,  840,  843, 1316,  843,  846, 1316,
      846,  847,  847,  847,  855, 1316,  855,  758, 1316,  758,
      760, 1316, 1316,  760,  761,  761, 1316,  761,  763,  763,

     1316, 1316,  763,  764,  764, 1316,  764,  767,  767, 1316,
     1316,  767,  866,  866,  866,  773,  773, 1316,  773,   53,
       53,   53, 1316,   53,   53,  718,  718,  718,  880,  880,
      880,  884,  884,  884,  887,  887,  887,  890,  890,  890,
      893,  893,  893,  894,  894,  894,  902,  902,  902,  806,
      806, 1316, 1316,  806,  911,  911,  911,  812,  812, 1316,
      812,  814,  814, 1316, 1316,  814,  815,  815, 1316,  815,
      818,  818, 1316, 1316,  818,  922,  922,  922,  824,  824,
     1316,  824,  826, 1316, 1316,  826,  827,  827, 1316,  827,
      829,  829, 1316, 1316,  829,  830,  830, 1316,  830,  833,

      833, 1316, 1316,  833,  934,  934,  934,  839,  839, 1316,
      839,  840, 1316,  840,  842, 1316, 1316,  842,  843,  843,
     1316,  843,  845,  845, 1316, 1316,  845,  846,  846, 1316,
      846,  849,  849, 1316, 1316,  849,  946,  946,  946,  855,
      855, 1316,  855,  948, 1316,  948,  951, 1316,  951,  954,
     1316,  954,  955,  955,  955,  963, 1316,  963,   53,   53,
       53, 1316,   53,   53,  974,  974,  974,  991,  991,  991,
      997,  997,  997,  995,  995,  995, 1002, 1002, 1002, 1003,
     1316, 1003, 1006, 1316, 1006, 1007, 1007, 1007, 1012, 1012,
     1012, 1013, 1316, 1013, 1016, 1316, 1016, 1019, 1316, 1019,

     1020, 1020, 1020, 1025, 1025, 1025, 1026, 1316, 1026, 1027,
     1316, 1027, 1030, 1316, 1030, 1033, 1316, 1033, 1034, 1034,
     1034, 1039, 1039, 1039, 1040, 1316, 1040, 1041, 1316, 1041,
     1044, 1316, 1044, 1047, 1316, 1047, 1048, 1048, 1048, 1053,
     1053, 1053, 1054, 1316, 1054,  948, 1316,  948,  950, 1316,
     1316,  950,  951,  951, 1316,  951,  953,  953, 1316, 1316,
      953,  954,  954, 1316,  954,  957,  957, 1316, 1316,  957,
     1065, 1065, 1065,  963,  963, 1316,  963,   53,   53,   53,
     1316,   53,   53,  894,  894,  894, 1081, 1081, 1081, 1084,
     1084, 1084, 1087, 1087, 1087, 1090, 1090, 1090, 1093, 1093,

     1093, 1098, 1098, 1098, 1100, 1316, 1100, 1101, 1101, 1101,
      999,  999, 1316, 1316,  999, 1106, 1106, 1106, 1003, 1003,
     1316, 1003, 1005, 1005, 1316, 1316, 1005, 1006, 1006, 1316,
     1006, 1009, 1009, 1316, 1316, 1009, 1113, 1113, 1113, 1013,
     1013, 1316, 1013, 1015, 1316, 1316, 1015, 1016, 1016, 1316,
     1016, 1018, 1018, 1316, 1316, 1018, 1019, 1019, 1316, 1019,
     1022, 1022, 1316, 1316, 1022, 1121, 1121, 1121, 1026, 1026,
     1316, 1026, 1027, 1316, 1027, 1029, 1316, 1316, 1029, 1030,
     1030, 1316, 1030, 1032, 1032, 1316, 1316, 1032, 1033, 1033,
     1316, 1033, 1036, 1036, 1316, 1316, 1036, 1129, 1129, 1129,

     1040, 1040, 1316, 1040, 1041, 1316, 1041, 1043, 1316, 1316,
     1043, 1044, 1044, 1316, 1044, 1046, 1046, 1316, 1316, 1046,
     1047, 1047, 1316, 1047, 1050, 1050, 1316, 1316, 1050, 1137,
     1137, 1137, 1054, 1054, 1316, 1054, 1138, 1316, 1138, 1141,
     1316, 1141, 1144, 1316, 1144, 1145, 1145, 1145, 1150, 1316,
     1150, 1151, 1316, 1151,   53,   53,   53, 1316,   53,   53,
     1159, 1316, 1159, 1158, 1158, 1158, 1160, 1316, 1160, 1161,
     1316, 1161, 1162, 1316, 1162, 1163, 1316, 1163, 1164, 1316,
     1164, 1095, 1095, 1316, 1316, 1095, 1169, 1169, 1169,  307,
      307,  307, 1100, 1100, 1316, 1100, 1170, 1170, 1170, 1173,

     1316, 1173, 1174, 1174, 1174, 1175, 1175, 1175, 1178, 1316,
     1178, 1181, 1316, 1181, 1182, 1182, 1182, 1183, 1183, 1183,
     1184, 1316, 1184, 1187, 1316, 1187, 1190, 1316, 1190, 1191,
     1191, 1191, 1192, 1192, 1192, 1193, 1316, 1193, 1196, 1316,
     1196, 1199, 1316, 1199, 1200, 1200, 1200, 1201, 1201, 1201,
     1202, 1316, 1202, 1205, 1316, 1205, 1208, 1316, 1208, 1209,
     1209, 1209, 1210, 1210, 1210, 1138, 1316, 1138, 1140, 1316,
     1316, 1140, 1141, 1141, 1316, 1141, 1143, 1143, 1316, 1316,
     1143, 1144, 1144, 1316, 1144, 1147, 1147, 1316, 1316, 1147,
     1218, 1316, 1218, 1151, 1151, 1316, 1151,   53,   53,   53,

     1316,   53,   53, 1223, 1223, 1223, 1225, 1316, 1225, 1226,
     1316, 1226, 1227, 1316, 1227, 1228, 1316, 1228, 1229, 1316,
     1229, 1230, 1316, 1230, 1233, 1316, 1233, 1234, 1234, 1234,
     1235, 1235, 1235, 1236, 1316, 1236, 1172, 1172, 1316, 1316,
     1172, 1173, 1173, 1316, 1173, 1239, 1316, 1239, 1177, 1316,
     1316, 1177, 1178, 1178, 1316, 1178, 1180, 1180, 1316, 1316,
     1180, 1181, 1181, 1316, 1181, 1243, 1316, 1243, 1184, 1316,
     1184, 1186, 1316, 1316, 1186, 1187, 1187, 1316, 1187, 1189,
     1189, 1316, 1316, 1189, 1190, 1190, 1316, 1190, 1247, 1316,
     1247, 1193, 1316, 1193, 1195, 1316, 1316, 1195, 1196, 1196,

     1316, 1196, 1198, 1198, 1316, 1316, 1198, 1199, 1199, 1316,
     1199, 1251, 1316, 1251, 1202, 1316, 1202, 1204, 1316, 1316,
     1204, 1205, 1205, 1316, 1205, 1207, 1207, 1316, 1316, 1207,
     1208, 1208, 1316, 1208, 1255, 1316, 1255, 1256, 1316, 1256,
     1259, 1316, 1259, 1262, 1316, 1262, 1263, 1263, 1263, 1264,
     1316, 1264,   53,   53,   53, 1316,   53,   53, 1268, 1316,
     1268, 1170, 1316, 1170, 1175, 1316, 1175, 1183, 1316, 1183,
     1192, 1316, 1192, 1201, 1316, 1201, 1210, 1316, 1210, 1232,
     1232, 1316, 1316, 1232, 1233, 1233, 1316, 1233, 1224, 1316,
     1224, 1273, 1316, 1273, 1274, 1316, 1274, 1277, 1316, 1277,

     1278, 1316, 1278, 1281, 1316, 1281, 1282, 1316, 1282, 1285,
     1316, 1285, 1286, 1316, 1286, 1289, 1316, 1289, 1258, 1316,
     1316, 1258, 1261, 1261, 1316, 1316, 1261, 1293, 1316, 1293,
     1235, 1316, 1235, 1297, 1316, 1297, 1272, 1316, 1316, 1272,
     1276, 1316, 1316, 1276, 1280, 1316, 1316, 1280, 1284, 1316,
     1316, 1284, 1288, 1316, 1316, 1288, 1303, 1316, 1303, 1306,
     1316, 1306, 1296, 1316, 1316, 1296, 1308, 1316, 1308, 1309,
     1316, 1309, 1310, 1316, 1310, 1311, 1316, 1311, 1312, 1316,
     1312, 1305, 1316, 1316, 1305, 1314, 1316, 1314, 1315, 1316,
     1315,    3, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,

     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316
    } ;

static yyconst short int yy_chk[6645] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    4,    7,   90,    4,    7,    4,    7,    9,
        4,    7,    9,   12,    9,   24,   12,    9,   12,    4,
        7,   12,   15,   17,   17, 1306,    9,    4,    7,   24,
       12,   19,   19,   64,    9,   64,   24,   90,   12,   14,
       14,   14,   14,   14,   14,   14,   14,   14,   15,   27,

       27,   14,   14,   14, 1297, 1289,   14,   14,   14,   14,
       14,   14,   14,   14,   14,   14,   14,   14,   14,   14,
       14,   14,   14,   14,   14,   14,   14,   14,   14,   14,
       14,   16,   34,   23,   16,   23,   16,   29,   86,   16,
       23,   34,  166,   86, 1285,   23,  166,   22,   16,   23,
       22,   23,   22,   29,   39,   22,   16,   20,   20,   20,
       20,   20,   20,   20,   22,   26,   25,   33,   39,   25,
       20,   33,   22,   25,   95,   26,   35,   38,   26,   95,
       33,   33,  139,   38,  285,   38,   33,   38,   35,  285,
       35,   38,   35,   38,   38,   35,   20,   21,   21,   21,

       21,   21,   21,   21,   94,   32,   32,   21,  139, 1281,
       94, 1277,   69,   21,   21,   21,   21,   21,   21,   31,
       32,   75,   31,   31,   32,   31,   69,   31,   32,   31,
       32,   31,   37,   36,   31,   75,   37,   32,   36,   36,
       41,   36,   36,   80,   37, 1273, 1262,  121,   41,   37,
       44,   37,   41,   44,   41,   44,   80,   78,   44,   49,
       49,   49,   49,   49,   49,  121,  146,   44,   52,   52,
       52,   52,   52,   52,   52,   44,   50,   50,   50,   50,
       50,   50,   50,   78,  220,  235, 1259,   50, 1233,   78,
     1217, 1208,  146,   50,   50,   50,   50,   50,   50,   54,

       54,   54,   54,   54,   54,   61,  613,  220,   61,   54,
       61,  235,  116,   61,   91,   54,   54,   54,   54,   54,
       54,   55,   61,  613,   55,  116,   55,  621, 1205,   55,
       61,  125,   55,   55,   55,   55,   55,   55,   55, 1199,
       91,  125,   55, 1196,  621,   91,   55,  621,   55,   55,
       55,   55,   55,   55,   63,   63,   63,   63,   63,   63,
       63,  123,  141,  141,  141,  141,  141,  141,  141,  191,
      123,  153,  153,  153,  153,  153,  153,  153,  379,  441,
     1190, 1187,  191, 1181, 1178,  379,  441,   63,  138,  138,
      138,  138,  138,  138,  138,  227,  227,  227,  227,  227,

      227,  138,  238,  238,  238,  238,  238,  238,  241,  241,
      241,  241,  241,  241,  241,  294,  302,  302,  302,  302,
      302,  302,  308,  622,  338,  615, 1173,  138,  140,  140,
      140,  140,  140,  140,  140,  308,  313,  338,  140,  359,
      622,  294,  615,  622,  140,  140,  140,  140,  140,  140,
      143,  143,  143,  143,  143,  143,  143,  532,  365,  615,
      143,  308,  313,  624,  532,  359,  143,  143,  143,  143,
      143,  143,  145,  145,  145,  145,  145,  145,  145,  145,
      624,  624,  289,  145,  365,  145, 1169,  289,  258,  145,
      145,  145,  145,  145,  145,  258,  289,  373,  289,  289,

     1168,  289,  354,  354,  354,  354,  354,  354,  258,  368,
      396,  145,  159,  159,  159,  159,  159,  159,  159,  396,
     1157, 1151,  368,  373,  258,  305,  305,  305,  305,  305,
      305,  305,  309,  309,  309,  309,  309,  309,  309, 1144,
      398,  159,  228,  228,  228,  228,  228,  228,  368,  398,
      580, 1141,  228, 1137,  424,  457,  497,  580,  228,  228,
      228,  228,  228,  228,  229,  229,  229,  229,  229,  229,
      229,  229,  234,  234,  234,  234,  234,  234,  234,  234,
      424,  457,  497,  234,  500,  234, 1136, 1129, 1128,  234,
      234,  234,  234,  234,  234,  311,  311,  311,  311,  311,

      311,  311,  369,  369,  369,  369,  369,  369,  369,  448,
      500,  234,  239,  239,  239,  239,  239,  239,  239,  239,
      506,  513,  448,  239,  525, 1121,  626,  627, 1120,  239,
      239,  239,  239,  239,  239,  240,  240,  240,  240,  240,
      240, 1113,  591,  626,  627,  240,  506,  513,  448,  591,
      525,  240,  240,  240,  240,  240,  240,  293,  293,  293,
      293,  293,  293,  293,  377,  377,  377,  377,  377,  377,
      293,  371,  371,  371,  371,  371,  371,  371,  381,  381,
      381,  381,  381,  381,  384,  384,  384,  384,  384,  384,
      384,  452,  508,  516,  694,  520,  293,  298,  298,  298,

      298,  298,  298,  687,  452,  508,  516,  298,  520,  614,
      687,  694, 1112,  298,  298,  298,  298,  298,  298,  301,
      301,  301,  301,  301,  301,  301,  614,  598,  610,  301,
      452,  508,  516,  614,  520,  301,  301,  301,  301,  301,
      301,  303,  303,  303,  303,  303,  303,  303,  303,  633,
      728, 1106,  303,  598,  610,  620,  625,  728,  303,  303,
      303,  303,  303,  303,  304,  304,  304,  304,  304,  304,
      304,  739,  620,  625,  304,  633,  625,  620,  739,  695,
      304,  304,  304,  304,  304,  304,  310,  310,  310,  310,
      310,  310,  310,  310, 1105,  636,  695,  310,  639,  645,

      706,  695, 1101,  310,  310,  310,  310,  310,  310,  312,
      312,  312,  312,  312,  312,  312,  312,  706, 1100,  652,
      312,  636,  312, 1099,  639,  645,  312,  312,  312,  312,
      312,  312,  434,  434,  434,  434,  434,  434,  437,  437,
      437,  437,  437,  437,  437,  652,  664,  751,  312,  324,
      667,  679,  759,  324,  751, 1098,  324,  696,  601,  324,
      605,  324,  324,  324,  324,  355,  355,  355,  355,  355,
      355,  601,  664,  605,  696,  355,  667,  679,  759,  696,
     1078,  355,  355,  355,  355,  355,  355,  358,  358,  358,
      358,  358,  358,  358,  358,  861,  906,  601,  358,  605,

      358, 1061,  861,  906,  358,  358,  358,  358,  358,  358,
      439,  439,  439,  439,  439,  439,  443,  443,  443,  443,
      443,  443,  704, 1054,  784, 1053,  358,  364,  364,  364,
      364,  364,  364,  364,  364, 1047,  917, 1044,  364,  704,
      364,  784,  704,  917,  364,  364,  364,  364,  364,  364,
      446,  446,  446,  446,  446,  446,  446,  449,  449,  449,
      449,  449,  449,  449,  616,  617,  364,  370,  370,  370,
      370,  370,  370,  370,  370, 1040,  771, 1039,  370, 1033,
      788,  616,  617,  697,  370,  370,  370,  370,  370,  370,
      372,  372,  372,  372,  372,  372,  372,  372,  616,  617,

      697,  372,  771,  372, 1030,  697,  788,  372,  372,  372,
      372,  372,  372,  451,  451,  451,  451,  451,  451,  451,
      453,  453,  453,  453,  453,  453,  453,  619,  698,  372,
      382,  382,  382,  382,  382,  382,  382,  382, 1026,  791,
      794,  382,  699, 1025,  619,  698, 1019,  382,  382,  382,
      382,  382,  382,  383,  383,  383,  383,  383,  383,  699,
      698,  619, 1016,  383,  699,  791,  794, 1013, 1012,  383,
      383,  383,  383,  383,  383,  423,  423,  423,  423,  423,
      423,  528,  528,  528,  528,  528,  528,  423,  455,  455,
      455,  455,  455,  455,  455,  509,  509,  509,  509,  509,

      509,  509,  511,  511,  511,  511,  511,  511,  511,  647,
      655,  700,  628,  423,  427,  427,  427,  427,  427,  427,
     1006, 1003,  647,  655,  427, 1002,  783,  778,  700,  628,
      427,  427,  427,  427,  427,  427,  429,  429,  429,  429,
      429,  429,  628,  783,  778,  700,  429,  778,  647,  655,
      701,  783,  429,  429,  429,  429,  429,  429,  433,  433,
      433,  433,  433,  433,  433,  997,  797,  701,  433,  994,
      803,  702,  701,  781,  433,  433,  433,  433,  433,  433,
      435,  435,  435,  435,  435,  435,  435,  435,  702,  810,
      781,  435,  797,  702,  991,  781,  803,  435,  435,  435,

      435,  435,  435,  436,  436,  436,  436,  436,  436,  436,
      929,  822,  825,  436,  837,  810,  990,  929,  871,  436,
      436,  436,  436,  436,  436,  444,  444,  444,  444,  444,
      444,  444,  444,  841,  853,  871,  444,  822,  825,  879,
      837,  987,  444,  444,  444,  444,  444,  444,  445,  445,
      445,  445,  445,  445,  445,  984,  879,  981,  445,  841,
      853,  874,  877,  878,  445,  445,  445,  445,  445,  445,
      454,  454,  454,  454,  454,  454,  454,  454,  874,  877,
      878,  454,  874,  877,  978,  878,  967,  454,  454,  454,
      454,  454,  454,  456,  456,  456,  456,  456,  456,  456,

      456,  941, 1060,  967,  456,  967,  456,  974,  941, 1060,
      456,  456,  456,  456,  456,  456,  517,  517,  517,  517,
      517,  517,  517,  519,  519,  519,  519,  519,  519,  519,
      777,  659,  456,  493,  493,  493,  493,  493,  493,  896,
      963,  949,  962,  493,  659,  961,  968,  777,  954,  493,
      493,  493,  493,  493,  493,  496,  496,  496,  496,  496,
      496,  496,  496,  968,  777,  896,  496,  949,  496,  951,
      659,  961,  496,  496,  496,  496,  496,  496,  521,  521,
      521,  521,  521,  521,  521,  523,  523,  523,  523,  523,
      523,  523,  670,  876,  496,  499,  499,  499,  499,  499,

      499,  499,  499,  945, 1104,  670,  499,  977,  499,  942,
      876, 1104,  499,  499,  499,  499,  499,  499,  530,  530,
      530,  530,  530,  530,  534,  534,  534,  534,  534,  534,
      876,  670,  972,  977,  499,  505,  505,  505,  505,  505,
      505,  505,  505, 1111, 1119,  933,  505,  930,  505,  972,
     1111, 1119,  505,  505,  505,  505,  505,  505,  537,  537,
      537,  537,  537,  537,  537,  566,  566,  566,  566,  566,
      566,  566,  705,  780,  505,  510,  510,  510,  510,  510,
      510,  510,  510,  921,  980,  918,  510,  983,  986,  705,
      780,  910,  510,  510,  510,  510,  510,  510,  512,  512,

      512,  512,  512,  512,  512,  512,  780,  907,  705,  512,
      980,  512,  901,  983,  986,  512,  512,  512,  512,  512,
      512,  569,  569,  569,  569,  569,  569,  569,  573,  573,
      573,  573,  573,  573,  674,  779,  898,  512,  522,  522,
      522,  522,  522,  522,  522,  522,  897,  674,  894,  522,
      880,  989,  779,  779,  971,  522,  522,  522,  522,  522,
      522,  524,  524,  524,  524,  524,  524,  524,  524,  862,
      779,  971,  524,  674,  524,  855,  971,  989,  524,  524,
      524,  524,  524,  524,  576,  576,  576,  576,  576,  576,
      576,  578,  578,  578,  578,  578,  578,  762,  703,  774,

      524,  535,  535,  535,  535,  535,  535,  535,  535, 1014,
      762, 1028,  535,  854,  846,  703,  774,  843,  535,  535,
      535,  535,  535,  535,  536,  536,  536,  536,  536,  536,
      703,  774, 1042,  839,  536, 1014,  762, 1028, 1067,  766,
      536,  536,  536,  536,  536,  536,  563,  563,  563,  563,
      563,  563,  766,  838, 1076, 1067,  563, 1139, 1042,  964,
     1068,  830,  563,  563,  563,  563,  563,  563,  564,  564,
      564,  564,  564,  564,  564,  564,  964, 1068,  766,  564,
     1076,  965, 1069, 1139,  805,  564,  564,  564,  564,  564,
      564,  565,  565,  565,  565,  565,  565,  805,  965, 1069,

      964,  565, 1176, 1185,  966,  827,  824,  565,  565,  565,
      565,  565,  565,  567,  567,  567,  567,  567,  567,  567,
      567,  966,  965,  805,  567, 1070, 1071,  969, 1176, 1185,
      567,  567,  567,  567,  567,  567,  568,  568,  568,  568,
      568,  568, 1070, 1071,  969,  966,  568,  823, 1071,  815,
     1153,  812,  568,  568,  568,  568,  568,  568,  572,  572,
      572,  572,  572,  572,  572,  969, 1127, 1153,  572,  811,
     1153,  804, 1154, 1127,  572,  572,  572,  572,  572,  572,
      574,  574,  574,  574,  574,  574,  574,  574, 1135, 1154,
     1194,  574, 1154,  800,  799, 1135,  798,  574,  574,  574,

      574,  574,  574,  575,  575,  575,  575,  575,  575,  575,
     1167, 1216,  795,  575, 1203, 1257, 1194, 1167, 1216,  575,
      575,  575,  575,  575,  575,  582,  582,  582,  582,  582,
      582,  583,  583,  583,  583,  583,  583,  583,  583, 1271,
     1203, 1257,  583,  792, 1221, 1222, 1265,  789,  583,  583,
      583,  583,  583,  583,  584,  584,  584,  584,  584,  584,
      584, 1221, 1222, 1265,  584, 1271,  786,  785,  773, 1221,
      584,  584,  584,  584,  584,  584,  585,  585,  585,  585,
      585,  585,  585,  587,  587,  587,  587,  587,  587,  589,
      589,  589,  589,  589,  589,  593,  593,  593,  593,  593,

      593,  594,  594,  594,  594,  594,  594,  594,  594, 1275,
     1279, 1283,  594, 1287, 1267, 1294,  772,  764,  594,  594,
      594,  594,  594,  594,  595,  595,  595,  595,  595,  595,
      595, 1267, 1294,  761,  595, 1275, 1279, 1283,  752, 1287,
      595,  595,  595,  595,  595,  595,  596,  596,  596,  596,
      596,  596,  596,  599,  599,  599,  599,  599,  599,  602,
      602,  602,  602,  602,  602,  602,  604,  604,  604,  604,
      604,  604,  604,  606,  606,  606,  606,  606,  606,  606,
      607,  607,  607,  607,  607,  607,  607,  607,  740,  729,
      719,  607,  718,  707,  688,  681,  680,  607,  607,  607,

      607,  607,  607,  608,  608,  608,  608,  608,  608,  608,
      609,  609,  609,  609,  609,  609,  609,  609,  618,  623,
     1155,  609,  629,  609,  672,  813,  669,  609,  609,  609,
      609,  609,  609,  782, 1295,  618,  623, 1155,  813,  629,
      648,  648,  648,  648,  648,  648,  648,  618,  623,  609,
      782,  629,  632,  632,  632,  632,  632,  632,  632,  632,
     1295, 1155,  666,  632,  813,  632,  665,  782,  657,  632,
      632,  632,  632,  632,  632,  650,  650,  650,  650,  650,
      650,  650,  656,  656,  656,  656,  656,  656,  656,  654,
      653,  632,  635,  635,  635,  635,  635,  635,  635,  635,

      646,  643,  642,  635, 1304,  635,  641,  640,  637,  635,
      635,  635,  635,  635,  635,  658,  658,  658,  658,  658,
      658,  658,  660,  660,  660,  660,  660,  660,  660,  817,
     1304,  635,  638,  638,  638,  638,  638,  638,  638,  638,
      634,  631,  817,  638,  630,  638,  612,  611,  603,  638,
      638,  638,  638,  638,  638,  662,  662,  662,  662,  662,
      662,  662,  668,  668,  668,  668,  668,  668,  817,  600,
      592,  638,  644,  644,  644,  644,  644,  644,  644,  644,
      581,  571,  570,  644,  562,  644,  558,  557,  556,  644,
      644,  644,  644,  644,  644,  671,  671,  671,  671,  671,

      671,  671,  673,  673,  673,  673,  673,  673,  673,  873,
     1152,  644,  649,  649,  649,  649,  649,  649,  649,  649,
      554,  553,  550,  649,  549,  548,  873, 1152,  547,  649,
      649,  649,  649,  649,  649,  651,  651,  651,  651,  651,
      651,  651,  651,  546, 1152,  873,  651,  545,  651,  544,
      543,  542,  651,  651,  651,  651,  651,  651,  675,  675,
      675,  675,  675,  675,  675,  677,  677,  677,  677,  677,
      677,  677, 1219,  541,  651,  661,  661,  661,  661,  661,
      661,  661,  661,  540,  539,  533,  661,  527,  526, 1219,
      518,  515,  661,  661,  661,  661,  661,  661,  663,  663,

      663,  663,  663,  663,  663,  663,  514,  507, 1219,  663,
      504,  663,  503,  502,  501,  663,  663,  663,  663,  663,
      663,  683,  683,  683,  683,  683,  683,  685,  685,  685,
      685,  685,  685, 1266,  828,  498,  495,  663,  676,  676,
      676,  676,  676,  676,  676,  676,  494,  828,  492,  676,
     1266,  488,  485,  484,  483,  676,  676,  676,  676,  676,
      676,  678,  678,  678,  678,  678,  678,  678,  678, 1266,
      482,  478,  678,  828,  678,  477,  475,  474,  678,  678,
      678,  678,  678,  678,  689,  689,  689,  689,  689,  689,
      692,  692,  692,  692,  692,  692,  692,  832,  775,  776,

      678,  690,  690,  690,  690,  690,  690,  690,  690,  473,
      832,  472,  690,  471,  470,  775,  776,  469,  690,  690,
      690,  690,  690,  690,  691,  691,  691,  691,  691,  691,
      775,  776,  776,  468,  691,  467,  832,  466,  465,  844,
      691,  691,  691,  691,  691,  691,  708,  708,  708,  708,
      708,  708,  844,  464,  461,  460,  708,  459,  458,  450,
      442,  432,  708,  708,  708,  708,  708,  708,  709,  709,
      709,  709,  709,  709,  709,  709,  431,  430,  844,  709,
     1072,  428,  426,  425,  422,  709,  709,  709,  709,  709,
      709,  710,  710,  710,  710,  710,  710, 1072,  421,  420,

      419,  710,  418,  417,  416,  415, 1072,  710,  710,  710,
      710,  710,  710,  711,  711,  711,  711,  711,  711,  711,
      712,  712,  712,  712,  712,  712,  712,  712,  414,  413,
      411,  712, 1220,  410,  409,  408,  407,  712,  712,  712,
      712,  712,  712,  713,  713,  713,  713,  713,  713, 1220,
      406,  405,  404,  713,  402,  401,  400,  399, 1220,  713,
      713,  713,  713,  713,  713,  714,  714,  714,  714,  714,
      714,  714,  715,  715,  715,  715,  715,  715,  715,  715,
      397,  395,  394,  715,  393,  392,  391,  390,  388,  715,
      715,  715,  715,  715,  715,  716,  716,  716,  716,  716,

      716,  387,  380,  376,  375,  716,  374,  367,  366,  363,
      362,  716,  716,  716,  716,  716,  716,  717,  717,  717,
      717,  717,  717,  717,  720,  720,  720,  720,  720,  720,
      720,  361,  360,  357,  720,  356,  353,  352,  351,  350,
      720,  720,  720,  720,  720,  720,  721,  721,  721,  721,
      721,  721,  722,  722,  722,  722,  722,  722,  722,  722,
      349,  348,  347,  722,  346,  345,  344,  343,  341,  722,
      722,  722,  722,  722,  722,  723,  723,  723,  723,  723,
      723,  723,  340,  339,  337,  723,  336,  333,  332,  330,
      328,  723,  723,  723,  723,  723,  723,  724,  724,  724,

      724,  724,  724,  724,  726,  726,  726,  726,  726,  726,
      730,  730,  730,  730,  730,  730,  731,  731,  731,  731,
      731,  731,  731,  731,  327,  326,  323,  731,  322,  320,
      319,  318,  316,  731,  731,  731,  731,  731,  731,  732,
      732,  732,  732,  732,  732,  732,  315,  314,  307,  732,
      300,  299,  297,  296,  295,  732,  732,  732,  732,  732,
      732,  733,  733,  733,  733,  733,  733,  733,  735,  735,
      735,  735,  735,  735,  737,  737,  737,  737,  737,  737,
      741,  741,  741,  741,  741,  741,  742,  742,  742,  742,
      742,  742,  742,  742,  290,  288,  283,  742,  281,  279,

      278,  277,  276,  742,  742,  742,  742,  742,  742,  743,
      743,  743,  743,  743,  743,  743,  275,  274,  272,  743,
      271,  270,  267,  264,  263,  743,  743,  743,  743,  743,
      743,  744,  744,  744,  744,  744,  744,  744,  747,  747,
      747,  747,  747,  747,  749,  749,  749,  749,  749,  749,
      753,  753,  753,  753,  753,  753,  754,  754,  754,  754,
      754,  754,  754,  754,  262,  259,  256,  754,  255,  254,
      252,  251,  249,  754,  754,  754,  754,  754,  754,  755,
      755,  755,  755,  755,  755,  755,  246,  245,  244,  755,
      237,  236,  233,  232,  231,  755,  755,  755,  755,  755,

      755,  756,  756,  756,  756,  756,  756,  756,  760,  760,
      760,  760,  760,  760,  763,  763,  763,  763,  763,  763,
      763,  765,  765,  765,  765,  765,  765,  765,  767,  767,
      767,  767,  767,  767,  767,  768,  768,  768,  768,  768,
      768,  768,  768,  230,  226,  225,  768,  223,  219,  217,
      213,  211,  768,  768,  768,  768,  768,  768,  769,  769,
      769,  769,  769,  769,  769,  770,  770,  770,  770,  770,
      770,  770,  770,  209,  208,  206,  770,  205,  770,  204,
      203,  202,  770,  770,  770,  770,  770,  770,  806,  806,
      806,  806,  806,  806,  806,  808,  808,  808,  808,  808,

      808,  808,  200,  198,  770,  787,  787,  787,  787,  787,
      787,  787,  787,  196,  194,  193,  787,  192,  787,  190,
      189,  186,  787,  787,  787,  787,  787,  787,  814,  814,
      814,  814,  814,  814,  814,  816,  816,  816,  816,  816,
      816,  816,  185,  184,  787,  790,  790,  790,  790,  790,
      790,  790,  790,  182,  180,  179,  790,  176,  790,  175,
      173,  172,  790,  790,  790,  790,  790,  790,  818,  818,
      818,  818,  818,  818,  818,  820,  820,  820,  820,  820,
      820,  820,  848,  171,  790,  793,  793,  793,  793,  793,
      793,  793,  793,  170,  169,  848,  793,  168,  793,  167,

      165,  163,  793,  793,  793,  793,  793,  793,  826,  826,
      826,  826,  826,  826,  829,  829,  829,  829,  829,  829,
      829,  848,  162,  158,  793,  796,  796,  796,  796,  796,
      796,  796,  796,  157,  156,  155,  796,  154,  796,  152,
      149,  148,  796,  796,  796,  796,  796,  796,  831,  831,
      831,  831,  831,  831,  831,  833,  833,  833,  833,  833,
      833,  833,  147,  952,  796,  801,  801,  801,  801,  801,
      801,  801,  144,  142,  135,  801,  952,  134,  133,  132,
      131,  801,  801,  801,  801,  801,  801,  802,  802,  802,
      802,  802,  802,  802,  802,  130,  128,  127,  802,  126,

      802,  124,  952,  122,  802,  802,  802,  802,  802,  802,
      835,  835,  835,  835,  835,  835,  835,  842,  842,  842,
      842,  842,  842,  956,  120,  119,  802,  807,  807,  807,
      807,  807,  807,  807,  807,  118,  956,  117,  807,  115,
      114,  113,  112,  111,  807,  807,  807,  807,  807,  807,
      809,  809,  809,  809,  809,  809,  809,  809,  110,  108,
      106,  809,  956,  809,  105,  104,  103,  809,  809,  809,
      809,  809,  809,  845,  845,  845,  845,  845,  845,  845,
      847,  847,  847,  847,  847,  847,  847,  102,  101,  809,
      819,  819,  819,  819,  819,  819,  819,  819,  100,   99,

       98,  819,   97,   96,   89,   88,   87,  819,  819,  819,
      819,  819,  819,  821,  821,  821,  821,  821,  821,  821,
      821,   85,   84,   83,  821,   82,  821,   81,   79,   77,
      821,  821,  821,  821,  821,  821,  849,  849,  849,  849,
      849,  849,  849,  851,  851,  851,  851,  851,  851,  851,
       76,   74,  821,  834,  834,  834,  834,  834,  834,  834,
      834,   73,   72,   71,  834,   70,   68,   67,   66,   51,
      834,  834,  834,  834,  834,  834,  836,  836,  836,  836,
      836,  836,  836,  836,   43,   42,   40,  836,   30,  836,
       28,   18,   10,  836,  836,  836,  836,  836,  836,  857,

      857,  857,  857,  857,  857,  859,  859,  859,  859,  859,
      859,    8,  998,    3,    0,  836,  850,  850,  850,  850,
      850,  850,  850,  850,    0,  998,    0,  850,    0,    0,
        0,    0,    0,  850,  850,  850,  850,  850,  850,  852,
      852,  852,  852,  852,  852,  852,  852,    0,    0,    0,
      852,  998,  852,    0,    0,    0,  852,  852,  852,  852,
      852,  852,  863,  863,  863,  863,  863,  863,  866,  866,
      866,  866,  866,  866,  866, 1004,    0,    0,  852,  864,
      864,  864,  864,  864,  864,  864,  864,    0, 1004,    0,
      864,    0,    0,    0,    0,    0,  864,  864,  864,  864,

      864,  864,  865,  865,  865,  865,  865,  865,  868,  869,
      870,  872,  865,  875, 1004,  970,    0,    0,  865,  865,
      865,  865,  865,  865,  973,  868,  869,  870,  872,    0,
      875,    0,  970,    0,    0,    0,  868,  869,  870,    0,
     1008,  973,  872,  970,  875,  881,  881,  881,  881,  881,
      881,    0,    0, 1008,    0,  881,  973,    0,    0,    0,
        0,  881,  881,  881,  881,  881,  881,  882,  882,  882,
      882,  882,  882,  882,  882,    0,    0,    0,  882, 1008,
        0,    0,    0,    0,  882,  882,  882,  882,  882,  882,
      883,  883,  883,  883,  883,  883,    0,    0,    0,    0,

      883,    0,    0,    0,    0,    0,  883,  883,  883,  883,
      883,  883,  884,  884,  884,  884,  884,  884,  884,  885,
      885,  885,  885,  885,  885,  885,  885,    0,    0,    0,
      885,    0,    0,    0,    0,    0,  885,  885,  885,  885,
      885,  885,  886,  886,  886,  886,  886,  886,    0,    0,
        0,    0,  886,    0,    0,    0,    0,    0,  886,  886,
      886,  886,  886,  886,  887,  887,  887,  887,  887,  887,
      887,  888,  888,  888,  888,  888,  888,  888,  888,    0,
        0,    0,  888,    0,    0,    0,    0,    0,  888,  888,
      888,  888,  888,  888,  889,  889,  889,  889,  889,  889,

        0,    0,    0,    0,  889,    0,    0,    0,    0,    0,
      889,  889,  889,  889,  889,  889,  890,  890,  890,  890,
      890,  890,  890,  891,  891,  891,  891,  891,  891,  891,
      891,    0,    0,    0,  891,    0,    0,    0,    0,    0,
      891,  891,  891,  891,  891,  891,  892,  892,  892,  892,
      892,  892,    0,    0,    0,    0,  892,    0,    0,    0,
        0,    0,  892,  892,  892,  892,  892,  892,  893,  893,
      893,  893,  893,  893,  893,  895,  895,  895,  895,  895,
      895,  895,  895,    0,    0,    0,  895,    0,  895,    0,
        0,    0,  895,  895,  895,  895,  895,  895,  899,  899,

      899,  899,  899,  899,  902,  902,  902,  902,  902,  902,
      902,    0,    0,    0,  895,  900,  900,  900,  900,  900,
      900,  900,  900,    0,    0,    0,  900,    0,    0,    0,
        0,    0,  900,  900,  900,  900,  900,  900,  904,  904,
      904,  904,  904,  904,  908,  908,  908,  908,  908,  908,
      909,  909,  909,  909,  909,  909,  909,  909,    0,    0,
        0,  909,    0,    0,    0,    0,    0,  909,  909,  909,
      909,  909,  909,  911,  911,  911,  911,  911,  911,  911,
      913,  913,  913,  913,  913,  913,  915,  915,  915,  915,
      915,  915,  919,  919,  919,  919,  919,  919,  920,  920,

      920,  920,  920,  920,  920,  920,    0,    0,    0,  920,
        0,    0,    0,    0,    0,  920,  920,  920,  920,  920,
      920,  922,  922,  922,  922,  922,  922,  922,  925,  925,
      925,  925,  925,  925,  927,  927,  927,  927,  927,  927,
      931,  931,  931,  931,  931,  931,  932,  932,  932,  932,
      932,  932,  932,  932,    0,    0,    0,  932,    0,    0,
        0,    0,    0,  932,  932,  932,  932,  932,  932,  934,
      934,  934,  934,  934,  934,  934,  937,  937,  937,  937,
      937,  937,  939,  939,  939,  939,  939,  939,  943,  943,
      943,  943,  943,  943,  944,  944,  944,  944,  944,  944,

      944,  944,    0,    0,    0,  944,    0,    0,    0,    0,
        0,  944,  944,  944,  944,  944,  944,  946,  946,  946,
      946,  946,  946,  946,  950,  950,  950,  950,  950,  950,
      953,  953,  953,  953,  953,  953,  953,  955,  955,  955,
      955,  955,  955,  955,  957,  957,  957,  957,  957,  957,
      957,  958,  958,  958,  958,  958,  958,  958,  958,    0,
        0,    0,  958,    0,    0,    0,    0,    0,  958,  958,
      958,  958,  958,  958,  959,  959,  959,  959,  959,  959,
      959,  960,  960,  960,  960,  960,  960,  960,  960,    0,
        0,    0,  960,    0,  960,    0,    0,    0,  960,  960,

      960,  960,  960,  960,  992,  992,  992,  992,  992,  992,
      995,  995,  995,  995,  995,  995,  995,    0,    0, 1017,
      960,  975,  975,  975,  975,  975,  975,  975,    0,    0,
        0,  975, 1017,    0,    0,    0,    0,  975,  975,  975,
      975,  975,  975,  976,  976,  976,  976,  976,  976,  976,
      976,    0,    0,    0,  976,    0,  976,    0, 1017,    0,
      976,  976,  976,  976,  976,  976,  999,  999,  999,  999,
      999,  999,  999, 1001, 1001, 1001, 1001, 1001, 1001, 1001,
        0,    0,  976,  979,  979,  979,  979,  979,  979,  979,
      979,    0,    0,    0,  979,    0,  979,    0,    0,    0,

      979,  979,  979,  979,  979,  979, 1005, 1005, 1005, 1005,
     1005, 1005, 1005, 1007, 1007, 1007, 1007, 1007, 1007, 1007,
        0,    0,  979,  982,  982,  982,  982,  982,  982,  982,
      982,    0,    0,    0,  982,    0,  982,    0,    0,    0,
      982,  982,  982,  982,  982,  982, 1009, 1009, 1009, 1009,
     1009, 1009, 1009, 1011, 1011, 1011, 1011, 1011, 1011, 1011,
     1021,    0,  982,  985,  985,  985,  985,  985,  985,  985,
      985,    0,    0, 1021,  985,    0,  985,    0,    0,    0,
      985,  985,  985,  985,  985,  985, 1015, 1015, 1015, 1015,
     1015, 1015, 1018, 1018, 1018, 1018, 1018, 1018, 1018, 1021,

        0,    0,  985,  988,  988,  988,  988,  988,  988,  988,
      988,    0,    0,    0,  988,    0,  988,    0,    0,    0,
      988,  988,  988,  988,  988,  988, 1020, 1020, 1020, 1020,
     1020, 1020, 1020, 1022, 1022, 1022, 1022, 1022, 1022, 1022,
     1031,    0,  988,  993,  993,  993,  993,  993,  993,  993,
      993,    0,    0, 1031,  993,    0,    0,    0,    0,    0,
      993,  993,  993,  993,  993,  993, 1000, 1000, 1000, 1000,
     1000, 1000, 1000, 1000,    0,    0,    0, 1000,    0, 1031,
        0,    0,    0, 1000, 1000, 1000, 1000, 1000, 1000, 1010,
     1010, 1010, 1010, 1010, 1010, 1010, 1010,    0,    0,    0,

     1010,    0,    0,    0,    0,    0, 1010, 1010, 1010, 1010,
     1010, 1010, 1023, 1023, 1023, 1023, 1023, 1023, 1023, 1023,
        0,    0,    0, 1023,    0,    0,    0,    0,    0, 1023,
     1023, 1023, 1023, 1023, 1023, 1024, 1024, 1024, 1024, 1024,
     1024, 1024, 1029, 1029, 1029, 1029, 1029, 1029, 1032, 1032,
     1032, 1032, 1032, 1032, 1032, 1034, 1034, 1034, 1034, 1034,
     1034, 1034, 1035, 1036, 1036, 1036, 1036, 1036, 1036, 1036,
        0,    0,    0,    0,    0, 1035, 1038, 1038, 1038, 1038,
     1038, 1038, 1038, 1043, 1043, 1043, 1043, 1043, 1043, 1046,
     1046, 1046, 1046, 1046, 1046, 1046,    0, 1045, 1049,    0,

        0, 1035, 1037, 1037, 1037, 1037, 1037, 1037, 1037, 1037,
     1045, 1049,    0, 1037,    0,    0,    0,    0,    0, 1037,
     1037, 1037, 1037, 1037, 1037, 1048, 1048, 1048, 1048, 1048,
     1048, 1048,    0,    0,    0,    0, 1045, 1049, 1050, 1050,
     1050, 1050, 1050, 1050, 1050, 1051, 1051, 1051, 1051, 1051,
     1051, 1051, 1051,    0,    0,    0, 1051,    0,    0,    0,
        0,    0, 1051, 1051, 1051, 1051, 1051, 1051, 1052, 1052,
     1052, 1052, 1052, 1052, 1052, 1056, 1056, 1056, 1056, 1056,
     1056, 1058, 1058, 1058, 1058, 1058, 1058, 1062, 1062, 1062,
     1062, 1062, 1062, 1063, 1063, 1063, 1063, 1063, 1063, 1063,

     1063,    0,    0,    0, 1063,    0, 1073, 1074,    0,    0,
     1063, 1063, 1063, 1063, 1063, 1063, 1065, 1065, 1065, 1065,
     1065, 1065, 1065, 1073, 1074, 1081, 1081, 1081, 1081, 1081,
     1081, 1081,    0,    0,    0, 1074, 1073, 1075, 1075, 1075,
     1075, 1075, 1075, 1075, 1075,    0,    0,    0, 1075,    0,
     1075,    0,    0,    0, 1075, 1075, 1075, 1075, 1075, 1075,
     1084, 1084, 1084, 1084, 1084, 1084, 1084, 1087, 1087, 1087,
     1087, 1087, 1087, 1087, 1094,    0, 1075, 1079, 1079, 1079,
     1079, 1079, 1079, 1079, 1079,    0,    0, 1094, 1079,    0,
        0,    0,    0,    0, 1079, 1079, 1079, 1079, 1079, 1079,

     1082, 1082, 1082, 1082, 1082, 1082, 1082, 1082,    0,    0,
        0, 1082,    0, 1094,    0,    0,    0, 1082, 1082, 1082,
     1082, 1082, 1082, 1085, 1085, 1085, 1085, 1085, 1085, 1085,
     1085,    0,    0,    0, 1085,    0,    0,    0,    0,    0,
     1085, 1085, 1085, 1085, 1085, 1085, 1088, 1088, 1088, 1088,
     1088, 1088, 1088, 1088,    0,    0,    0, 1088,    0,    0,
        0,    0,    0, 1088, 1088, 1088, 1088, 1088, 1088, 1090,
     1090, 1090, 1090, 1090, 1090, 1090, 1091, 1091, 1091, 1091,
     1091, 1091, 1091, 1091,    0,    0,    0, 1091,    0,    0,
        0,    0,    0, 1091, 1091, 1091, 1091, 1091, 1091, 1093,

     1093, 1093, 1093, 1093, 1093, 1093, 1095, 1095, 1095, 1095,
     1095, 1095, 1095, 1096, 1096, 1096, 1096, 1096, 1096, 1096,
     1096,    0,    0,    0, 1096,    0,    0,    0,    0,    0,
     1096, 1096, 1096, 1096, 1096, 1096, 1097, 1097, 1097, 1097,
     1097, 1097, 1097, 1102, 1102, 1102, 1102, 1102, 1102, 1107,
     1107, 1107, 1107, 1107, 1107, 1109, 1109, 1109, 1109, 1109,
     1109, 1115, 1115, 1115, 1115, 1115, 1115, 1117, 1117, 1117,
     1117, 1117, 1117, 1123, 1123, 1123, 1123, 1123, 1123, 1125,
     1125, 1125, 1125, 1125, 1125, 1131, 1131, 1131, 1131, 1131,
     1131, 1133, 1133, 1133, 1133, 1133, 1133, 1140, 1140, 1140,

     1140, 1140, 1140, 1142, 1143, 1143, 1143, 1143, 1143, 1143,
     1143, 1146,    0,    0,    0,    0, 1142, 1145, 1145, 1145,
     1145, 1145, 1145, 1145, 1146, 1147, 1147, 1147, 1147, 1147,
     1147, 1147, 1149, 1149, 1149, 1149, 1149, 1149, 1149,    0,
        0,    0, 1142, 1158, 1158, 1158, 1158, 1158, 1158, 1158,
     1146, 1148, 1148, 1148, 1148, 1148, 1148, 1148, 1148,    0,
        0,    0, 1148,    0,    0,    0,    0,    0, 1148, 1148,
     1148, 1148, 1148, 1148, 1156, 1156, 1156, 1156, 1156, 1156,
     1156, 1156,    0,    0,    0, 1156,    0,    0,    0,    0,
     1171, 1156, 1156, 1156, 1156, 1156, 1156, 1165, 1165, 1165,

     1165, 1165, 1165, 1171, 1172, 1172, 1172, 1172, 1172, 1172,
     1172, 1174, 1174, 1174, 1174, 1174, 1174, 1174, 1177, 1177,
     1177, 1177, 1177, 1177, 1179,    0,    0,    0,    0, 1171,
     1180, 1180, 1180, 1180, 1180, 1180, 1180, 1179, 1182, 1182,
     1182, 1182, 1182, 1182, 1182, 1186, 1186, 1186, 1186, 1186,
     1186, 1188, 1189, 1189, 1189, 1189, 1189, 1189, 1189,    0,
        0,    0,    0, 1179, 1188, 1191, 1191, 1191, 1191, 1191,
     1191, 1191, 1195, 1195, 1195, 1195, 1195, 1195, 1197, 1198,
     1198, 1198, 1198, 1198, 1198, 1198,    0,    0,    0,    0,
     1188, 1197, 1200, 1200, 1200, 1200, 1200, 1200, 1200, 1204,

     1204, 1204, 1204, 1204, 1204, 1206, 1207, 1207, 1207, 1207,
     1207, 1207, 1207,    0,    0,    0,    0, 1197, 1206, 1209,
     1209, 1209, 1209, 1209, 1209, 1209, 1212, 1212, 1212, 1212,
     1212, 1212, 1214, 1214, 1214, 1214, 1214, 1214, 1231,    0,
        0,    0,    0,    0, 1206, 1237, 1237, 1237, 1237, 1237,
     1237, 1231, 1232, 1232, 1232, 1232, 1232, 1232, 1232, 1234,
     1234, 1234, 1234, 1234, 1234, 1234, 1241, 1241, 1241, 1241,
     1241, 1241,    0,    0,    0,    0,    0, 1231, 1245, 1245,
     1245, 1245, 1245, 1245, 1249, 1249, 1249, 1249, 1249, 1249,
     1253, 1253, 1253, 1253, 1253, 1253, 1258, 1258, 1258, 1258,

     1258, 1258, 1260, 1261, 1261, 1261, 1261, 1261, 1261, 1261,
        0,    0,    0,    0,    0, 1260, 1263, 1263, 1263, 1263,
     1263, 1263, 1263, 1269, 1269, 1269, 1269, 1269, 1269, 1272,
     1272, 1272, 1272, 1272, 1272, 1276, 1276, 1276, 1276, 1276,
     1276, 1260, 1280, 1280, 1280, 1280, 1280, 1280, 1284, 1284,
     1284, 1284, 1284, 1284, 1288, 1288, 1288, 1288, 1288, 1288,
     1291, 1291, 1291, 1291, 1291, 1291, 1296, 1296, 1296, 1296,
     1296, 1296, 1305, 1305, 1305, 1305, 1305, 1305, 1317,    0,
        0,    0,    0, 1317, 1317, 1317, 1318,    0, 1318, 1318,
     1318, 1318, 1318, 1318, 1318, 1319,    0, 1319, 1320, 1320,

     1320, 1321, 1321, 1321, 1322, 1322, 1322, 1323, 1323, 1323,
     1324, 1324, 1324, 1325, 1325, 1325, 1326, 1326, 1326, 1327,
     1327, 1327, 1328,    0, 1328, 1329, 1329, 1329, 1330, 1330,
     1330, 1331, 1331, 1331, 1332,    0, 1332, 1333, 1333, 1333,
     1334, 1334,    0,    0, 1334, 1335, 1335, 1335, 1336, 1336,
     1336, 1337, 1337, 1337, 1338, 1338, 1338, 1339, 1339, 1339,
     1340, 1340, 1340, 1341, 1341,    0,    0, 1341, 1342, 1342,
     1342, 1343,    0, 1343, 1344, 1344, 1344, 1345,    0, 1345,
     1346, 1346, 1346, 1347, 1347, 1347, 1348, 1348, 1348, 1349,
        0, 1349, 1350,    0, 1350, 1351, 1351, 1351, 1352,    0,

     1352, 1353, 1353,    0,    0, 1353, 1354, 1354,    0,    0,
     1354, 1355, 1355, 1355, 1356, 1356, 1356, 1357, 1357, 1357,
     1358, 1358, 1358, 1359, 1359, 1359, 1360, 1360, 1360, 1361,
     1361, 1361, 1362, 1362, 1362, 1363, 1363,    0,    0, 1363,
     1364, 1364, 1364, 1365, 1365,    0,    0, 1365, 1366, 1366,
        0,    0, 1366, 1367, 1367, 1367, 1368,    0, 1368, 1369,
        0, 1369, 1370, 1370, 1370, 1371,    0, 1371, 1372, 1372,
     1372, 1373, 1373, 1373, 1374, 1374, 1374, 1375,    0, 1375,
     1376,    0, 1376, 1377, 1377, 1377, 1378,    0, 1378, 1379,
        0, 1379, 1380,    0, 1380, 1381, 1381, 1381, 1382,    0,

     1382, 1383,    0,    0, 1383, 1384, 1384,    0,    0, 1384,
     1385, 1385,    0, 1385, 1386, 1386,    0,    0, 1386, 1387,
     1387, 1387, 1388, 1388,    0, 1388, 1389, 1389, 1389,    0,
     1389, 1389, 1390, 1390, 1390, 1391, 1391, 1391, 1392, 1392,
     1392, 1393, 1393, 1393, 1394, 1394, 1394, 1395, 1395, 1395,
     1396, 1396, 1396, 1397, 1397, 1397, 1398, 1398,    0,    0,
     1398, 1399, 1399, 1399, 1400, 1400,    0, 1400, 1401, 1401,
        0,    0, 1401, 1402, 1402,    0, 1402, 1403, 1403,    0,
        0, 1403, 1404, 1404, 1404, 1405, 1405,    0, 1405, 1406,
        0,    0, 1406, 1407, 1407,    0, 1407, 1408, 1408,    0,

        0, 1408, 1409, 1409,    0, 1409, 1410, 1410,    0,    0,
     1410, 1411, 1411, 1411, 1412, 1412,    0, 1412, 1413,    0,
     1413, 1414,    0, 1414, 1415,    0, 1415, 1416, 1416, 1416,
     1417,    0, 1417, 1418, 1418, 1418,    0, 1418, 1418, 1419,
     1419, 1419, 1420, 1420, 1420, 1421, 1421, 1421, 1422,    0,
     1422, 1423,    0, 1423, 1424, 1424, 1424, 1425,    0, 1425,
     1426,    0, 1426, 1427,    0, 1427, 1428, 1428, 1428, 1429,
        0, 1429, 1430,    0, 1430, 1431,    0, 1431, 1432,    0,
     1432, 1433, 1433, 1433, 1434,    0, 1434, 1435,    0, 1435,
     1436,    0,    0, 1436, 1437, 1437,    0, 1437, 1438, 1438,

        0,    0, 1438, 1439, 1439,    0, 1439, 1440, 1440,    0,
        0, 1440, 1441, 1441, 1441, 1442, 1442,    0, 1442, 1443,
     1443, 1443,    0, 1443, 1443, 1444, 1444, 1444, 1445, 1445,
     1445, 1446, 1446, 1446, 1447, 1447, 1447, 1448, 1448, 1448,
     1449, 1449, 1449, 1450, 1450, 1450, 1451, 1451, 1451, 1452,
     1452,    0,    0, 1452, 1453, 1453, 1453, 1454, 1454,    0,
     1454, 1455, 1455,    0,    0, 1455, 1456, 1456,    0, 1456,
     1457, 1457,    0,    0, 1457, 1458, 1458, 1458, 1459, 1459,
        0, 1459, 1460,    0,    0, 1460, 1461, 1461,    0, 1461,
     1462, 1462,    0,    0, 1462, 1463, 1463,    0, 1463, 1464,

     1464,    0,    0, 1464, 1465, 1465, 1465, 1466, 1466,    0,
     1466, 1467,    0, 1467, 1468,    0,    0, 1468, 1469, 1469,
        0, 1469, 1470, 1470,    0,    0, 1470, 1471, 1471,    0,
     1471, 1472, 1472,    0,    0, 1472, 1473, 1473, 1473, 1474,
     1474,    0, 1474, 1475,    0, 1475, 1476,    0, 1476, 1477,
        0, 1477, 1478, 1478, 1478, 1479,    0, 1479, 1480, 1480,
     1480,    0, 1480, 1480, 1481, 1481, 1481, 1482, 1482, 1482,
     1483, 1483, 1483, 1484, 1484, 1484, 1485, 1485, 1485, 1486,
        0, 1486, 1487,    0, 1487, 1488, 1488, 1488, 1489, 1489,
     1489, 1490,    0, 1490, 1491,    0, 1491, 1492,    0, 1492,

     1493, 1493, 1493, 1494, 1494, 1494, 1495,    0, 1495, 1496,
        0, 1496, 1497,    0, 1497, 1498,    0, 1498, 1499, 1499,
     1499, 1500, 1500, 1500, 1501,    0, 1501, 1502,    0, 1502,
     1503,    0, 1503, 1504,    0, 1504, 1505, 1505, 1505, 1506,
     1506, 1506, 1507,    0, 1507, 1508,    0, 1508, 1509,    0,
        0, 1509, 1510, 1510,    0, 1510, 1511, 1511,    0,    0,
     1511, 1512, 1512,    0, 1512, 1513, 1513,    0,    0, 1513,
     1514, 1514, 1514, 1515, 1515,    0, 1515, 1516, 1516, 1516,
        0, 1516, 1516, 1517, 1517, 1517, 1518, 1518, 1518, 1519,
     1519, 1519, 1520, 1520, 1520, 1521, 1521, 1521, 1522, 1522,

     1522, 1523, 1523, 1523, 1524,    0, 1524, 1525, 1525, 1525,
     1526, 1526,    0,    0, 1526, 1527, 1527, 1527, 1528, 1528,
        0, 1528, 1529, 1529,    0,    0, 1529, 1530, 1530,    0,
     1530, 1531, 1531,    0,    0, 1531, 1532, 1532, 1532, 1533,
     1533,    0, 1533, 1534,    0,    0, 1534, 1535, 1535,    0,
     1535, 1536, 1536,    0,    0, 1536, 1537, 1537,    0, 1537,
     1538, 1538,    0,    0, 1538, 1539, 1539, 1539, 1540, 1540,
        0, 1540, 1541,    0, 1541, 1542,    0,    0, 1542, 1543,
     1543,    0, 1543, 1544, 1544,    0,    0, 1544, 1545, 1545,
        0, 1545, 1546, 1546,    0,    0, 1546, 1547, 1547, 1547,

     1548, 1548,    0, 1548, 1549,    0, 1549, 1550,    0,    0,
     1550, 1551, 1551,    0, 1551, 1552, 1552,    0,    0, 1552,
     1553, 1553,    0, 1553, 1554, 1554,    0,    0, 1554, 1555,
     1555, 1555, 1556, 1556,    0, 1556, 1557,    0, 1557, 1558,
        0, 1558, 1559,    0, 1559, 1560, 1560, 1560, 1561,    0,
     1561, 1562,    0, 1562, 1563, 1563, 1563,    0, 1563, 1563,
     1564,    0, 1564, 1565, 1565, 1565, 1566,    0, 1566, 1567,
        0, 1567, 1568,    0, 1568, 1569,    0, 1569, 1570,    0,
     1570, 1571, 1571,    0,    0, 1571, 1572, 1572, 1572, 1573,
     1573, 1573, 1574, 1574,    0, 1574, 1575, 1575, 1575, 1576,

        0, 1576, 1577, 1577, 1577, 1578, 1578, 1578, 1579,    0,
     1579, 1580,    0, 1580, 1581, 1581, 1581, 1582, 1582, 1582,
     1583,    0, 1583, 1584,    0, 1584, 1585,    0, 1585, 1586,
     1586, 1586, 1587, 1587, 1587, 1588,    0, 1588, 1589,    0,
     1589, 1590,    0, 1590, 1591, 1591, 1591, 1592, 1592, 1592,
     1593,    0, 1593, 1594,    0, 1594, 1595,    0, 1595, 1596,
     1596, 1596, 1597, 1597, 1597, 1598,    0, 1598, 1599,    0,
        0, 1599, 1600, 1600,    0, 1600, 1601, 1601,    0,    0,
     1601, 1602, 1602,    0, 1602, 1603, 1603,    0,    0, 1603,
     1604,    0, 1604, 1605, 1605,    0, 1605, 1606, 1606, 1606,

        0, 1606, 1606, 1607, 1607, 1607, 1608,    0, 1608, 1609,
        0, 1609, 1610,    0, 1610, 1611,    0, 1611, 1612,    0,
     1612, 1613,    0, 1613, 1614,    0, 1614, 1615, 1615, 1615,
     1616, 1616, 1616, 1617,    0, 1617, 1618, 1618,    0,    0,
     1618, 1619, 1619,    0, 1619, 1620,    0, 1620, 1621,    0,
        0, 1621, 1622, 1622,    0, 1622, 1623, 1623,    0,    0,
     1623, 1624, 1624,    0, 1624, 1625,    0, 1625, 1626,    0,
     1626, 1627,    0,    0, 1627, 1628, 1628,    0, 1628, 1629,
     1629,    0,    0, 1629, 1630, 1630,    0, 1630, 1631,    0,
     1631, 1632,    0, 1632, 1633,    0,    0, 1633, 1634, 1634,

        0, 1634, 1635, 1635,    0,    0, 1635, 1636, 1636,    0,
     1636, 1637,    0, 1637, 1638,    0, 1638, 1639,    0,    0,
     1639, 1640, 1640,    0, 1640, 1641, 1641,    0,    0, 1641,
     1642, 1642,    0, 1642, 1643,    0, 1643, 1644,    0, 1644,
     1645,    0, 1645, 1646,    0, 1646, 1647, 1647, 1647, 1648,
        0, 1648, 1649, 1649, 1649,    0, 1649, 1649, 1650,    0,
     1650, 1651,    0, 1651, 1652,    0, 1652, 1653,    0, 1653,
     1654,    0, 1654, 1655,    0, 1655, 1656,    0, 1656, 1657,
     1657,    0,    0, 1657, 1658, 1658,    0, 1658, 1659,    0,
     1659, 1660,    0, 1660, 1661,    0, 1661, 1662,    0, 1662,

     1663,    0, 1663, 1664,    0, 1664, 1665,    0, 1665, 1666,
        0, 1666, 1667,    0, 1667, 1668,    0, 1668, 1669,    0,
        0, 1669, 1670, 1670,    0,    0, 1670, 1671,    0, 1671,
     1672,    0, 1672, 1673,    0, 1673, 1674,    0,    0, 1674,
     1675,    0,    0, 1675, 1676,    0,    0, 1676, 1677,    0,
        0, 1677, 1678,    0,    0, 1678, 1679,    0, 1679, 1680,
        0, 1680, 1681,    0,    0, 1681, 1682,    0, 1682, 1683,
        0, 1683, 1684,    0, 1684, 1685,    0, 1685, 1686,    0,
     1686, 1687,    0,    0, 1687, 1688,    0, 1688, 1689,    0,
     1689, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,

     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316, 1316,
     1316, 1316, 1316, 1316
    } ;

static yy_state_type yy_last_accepting_state;
static char *yy_last_accepting_cpos;

/* The intent behind this definition is that it'll catch
 * any uses of REJECT which flex missed.
 */
#define REJECT reject_used_but_not_detected
#define yymore() yymore_used_but_not_detected
#define YY_MORE_ADJ 0
#define YY_RESTORE_YY_MORE_OFFSET
char *yytext;
#line 1 "scanner.l"
#define INITIAL 0
#line 2 "scanner.l"
/*
 * Copyright (c) 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997
 *    The Regents of the University of California.  All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that: (1) source code distributions
 * retain the above copyright notice and this paragraph in its entirety, (2)
 * distributions including binary code include the above copyright notice and
 * this paragraph in its entirety in the documentation or other materials
 * provided with the distribution, and (3) all advertising materials mentioning
 * features or use of this software display the following acknowledgement:
 * ``This product includes software developed by the University of California,
 * Lawrence Berkeley Laboratory and its contributors.'' Neither the name of
 * the University nor the names of its contributors may be used to endorse
 * or promote products derived from this software without specific prior
 * written permission.
 * THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR IMPLIED
 * WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
 */

#ifndef lint
static const char rcsid[] _U_ =
    "@(#) $Header$ (LBL)";
#endif

#ifdef HAVE_CONFIG_H
#include "config.h"
#endif

#include <ctype.h>
#include <string.h>

#include "pcap-int.h"

#include "gencode.h"
#ifdef INET6
#ifdef WIN32
#include <pcap-stdinc.h>

#ifdef __MINGW32__
#include "IP6_misc.h"
#endif
#else /* WIN32 */
#include <sys/socket.h> /* for "struct sockaddr" in "struct addrinfo" */
#include <netdb.h>      /* for "struct addrinfo" */
#endif /* WIN32 */

/* Workaround for AIX 4.3 */
#if !defined(AI_NUMERICHOST)
#define AI_NUMERICHOST 0x04
#endif
#endif /*INET6*/
#include <pcap-namedb.h>
#include "tokdefs.h"

#ifdef HAVE_OS_PROTO_H
#include "os-proto.h"
#endif

static int stoi(char *);
static inline int xdtoi(int);

#ifdef FLEX_SCANNER
#define YY_NO_UNPUT
static YY_BUFFER_STATE in_buffer;
#else
static char *in_buffer;

#undef getc
#define getc(fp)  (*in_buffer == 0 ? EOF : *in_buffer++)
#endif

#define yylval pcap_lval
extern YYSTYPE yylval;


/* Macros after this point can all be overridden by user definitions in
 * section 1.
 */

#ifndef YY_SKIP_YYWRAP
#ifdef __cplusplus
extern "C" int yywrap YY_PROTO(( void ));
#else
extern int yywrap YY_PROTO(( void ));
#endif
#endif

#ifndef YY_NO_UNPUT
static void yyunput YY_PROTO(( int c, char *buf_ptr ));
#endif

#ifndef yytext_ptr
static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
#endif

#ifdef YY_NEED_STRLEN
static int yy_flex_strlen YY_PROTO(( yyconst char * ));
#endif

#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput YY_PROTO(( void ));
#else
static int input YY_PROTO(( void ));
#endif
#endif

#if YY_STACK_USED
static int yy_start_stack_ptr = 0;
static int yy_start_stack_depth = 0;
static int *yy_start_stack = 0;
#ifndef YY_NO_PUSH_STATE
static void yy_push_state YY_PROTO(( int new_state ));
#endif
#ifndef YY_NO_POP_STATE
static void yy_pop_state YY_PROTO(( void ));
#endif
#ifndef YY_NO_TOP_STATE
static int yy_top_state YY_PROTO(( void ));
#endif

#else
#define YY_NO_PUSH_STATE 1
#define YY_NO_POP_STATE 1
#define YY_NO_TOP_STATE 1
#endif

#ifdef YY_MALLOC_DECL
YY_MALLOC_DECL
#else
#if __STDC__
#ifndef __cplusplus
#include <stdlib.h>
#endif
#else
/* Just try to get by without declaring the routines.  This will fail
 * miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int)
 * or sizeof(void*) != sizeof(int).
 */
#endif
#endif

/* Amount of stuff to slurp up with each read. */
#ifndef YY_READ_BUF_SIZE
#define YY_READ_BUF_SIZE 8192
#endif

/* Copy whatever the last rule matched to the standard output. */

#ifndef ECHO
/* This used to be an fputs(), but since the string might contain NUL's,
 * we now use fwrite().
 */
#define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
#endif

/* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
 * is returned in "result".
 */
#ifndef YY_INPUT
#define YY_INPUT(buf,result,max_size) \
      if ( yy_current_buffer->yy_is_interactive ) \
            { \
            int c = '*', n; \
            for ( n = 0; n < max_size && \
                       (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
                  buf[n] = (char) c; \
            if ( c == '\n' ) \
                  buf[n++] = (char) c; \
            if ( c == EOF && ferror( yyin ) ) \
                  YY_FATAL_ERROR( "input in flex scanner failed" ); \
            result = n; \
            } \
      else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
              && ferror( yyin ) ) \
            YY_FATAL_ERROR( "input in flex scanner failed" );
#endif

/* No semi-colon after return; correct usage is to write "yyterminate();" -
 * we don't want an extra ';' after the "return" because that will cause
 * some compilers to complain about unreachable statements.
 */
#ifndef yyterminate
#define yyterminate() return YY_NULL
#endif

/* Number of entries by which start-condition stack grows. */
#ifndef YY_START_STACK_INCR
#define YY_START_STACK_INCR 25
#endif

/* Report a fatal error. */
#ifndef YY_FATAL_ERROR
#define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
#endif

/* Default declaration of generated scanner - a define so the user can
 * easily add parameters.
 */
#ifndef YY_DECL
#define YY_DECL int yylex YY_PROTO(( void ))
#endif

/* Code executed at the beginning of each rule, after yytext and yyleng
 * have been set up.
 */
#ifndef YY_USER_ACTION
#define YY_USER_ACTION
#endif

/* Code executed at the end of each rule. */
#ifndef YY_BREAK
#define YY_BREAK break;
#endif

#define YY_RULE_SETUP \
      YY_USER_ACTION

YY_DECL
      {
      register yy_state_type yy_current_state;
      register char *yy_cp = NULL, *yy_bp = NULL;
      register int yy_act;

#line 169 "scanner.l"


      if ( yy_init )
            {
            yy_init = 0;

#ifdef YY_USER_INIT
            YY_USER_INIT;
#endif

            if ( ! yy_start )
                  yy_start = 1;     /* first start state */

            if ( ! yyin )
                  yyin = stdin;

            if ( ! yyout )
                  yyout = stdout;

            if ( ! yy_current_buffer )
                  yy_current_buffer =
                        yy_create_buffer( yyin, YY_BUF_SIZE );

            yy_load_buffer_state();
            }

      while ( 1 )       /* loops until end-of-file is reached */
            {
            yy_cp = yy_c_buf_p;

            /* Support of yytext. */
            *yy_cp = yy_hold_char;

            /* yy_bp points to the position in yy_ch_buf of the start of
             * the current run.
             */
            yy_bp = yy_cp;

            yy_current_state = yy_start;
yy_match:
            do
                  {
                  register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
                  if ( yy_accept[yy_current_state] )
                        {
                        yy_last_accepting_state = yy_current_state;
                        yy_last_accepting_cpos = yy_cp;
                        }
                  while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
                        {
                        yy_current_state = (int) yy_def[yy_current_state];
                        if ( yy_current_state >= 1317 )
                              yy_c = yy_meta[(unsigned int) yy_c];
                        }
                  yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
                  ++yy_cp;
                  }
            while ( yy_base[yy_current_state] != 6592 );

yy_find_action:
            yy_act = yy_accept[yy_current_state];
            if ( yy_act == 0 )
                  { /* have to back up */
                  yy_cp = yy_last_accepting_cpos;
                  yy_current_state = yy_last_accepting_state;
                  yy_act = yy_accept[yy_current_state];
                  }

            YY_DO_BEFORE_ACTION;


do_action:  /* This label is used only to access EOF actions. */


            switch ( yy_act )
      { /* beginning of action switch */
                  case 0: /* must back up */
                  /* undo the effects of YY_DO_BEFORE_ACTION */
                  *yy_cp = yy_hold_char;
                  yy_cp = yy_last_accepting_cpos;
                  yy_current_state = yy_last_accepting_state;
                  goto yy_find_action;

case 1:
YY_RULE_SETUP
#line 170 "scanner.l"
return DST;
      YY_BREAK
case 2:
YY_RULE_SETUP
#line 171 "scanner.l"
return SRC;
      YY_BREAK
case 3:
YY_RULE_SETUP
#line 173 "scanner.l"
return LINK;
      YY_BREAK
case 4:
YY_RULE_SETUP
#line 174 "scanner.l"
return LINK;
      YY_BREAK
case 5:
YY_RULE_SETUP
#line 175 "scanner.l"
return ARP;
      YY_BREAK
case 6:
YY_RULE_SETUP
#line 176 "scanner.l"
return RARP;
      YY_BREAK
case 7:
YY_RULE_SETUP
#line 177 "scanner.l"
return IP;
      YY_BREAK
case 8:
YY_RULE_SETUP
#line 178 "scanner.l"
return SCTP;
      YY_BREAK
case 9:
YY_RULE_SETUP
#line 179 "scanner.l"
return TCP;
      YY_BREAK
case 10:
YY_RULE_SETUP
#line 180 "scanner.l"
return UDP;
      YY_BREAK
case 11:
YY_RULE_SETUP
#line 181 "scanner.l"
return ICMP;
      YY_BREAK
case 12:
YY_RULE_SETUP
#line 182 "scanner.l"
return IGMP;
      YY_BREAK
case 13:
YY_RULE_SETUP
#line 183 "scanner.l"
return IGRP;
      YY_BREAK
case 14:
YY_RULE_SETUP
#line 184 "scanner.l"
return PIM;
      YY_BREAK
case 15:
YY_RULE_SETUP
#line 185 "scanner.l"
return VRRP;
      YY_BREAK
case 16:
YY_RULE_SETUP
#line 186 "scanner.l"
return RADIO;
      YY_BREAK
case 17:
YY_RULE_SETUP
#line 188 "scanner.l"
{
#ifdef INET6
            return IPV6;
#else
            bpf_error("%s not supported", yytext);
#endif
            }
      YY_BREAK
case 18:
YY_RULE_SETUP
#line 195 "scanner.l"
{
#ifdef INET6
            return ICMPV6;
#else
            bpf_error("%s not supported", yytext);
#endif
            }
      YY_BREAK
case 19:
YY_RULE_SETUP
#line 202 "scanner.l"
return AH;
      YY_BREAK
case 20:
YY_RULE_SETUP
#line 203 "scanner.l"
return ESP;
      YY_BREAK
case 21:
YY_RULE_SETUP
#line 205 "scanner.l"
return ATALK;
      YY_BREAK
case 22:
YY_RULE_SETUP
#line 206 "scanner.l"
return AARP;
      YY_BREAK
case 23:
YY_RULE_SETUP
#line 207 "scanner.l"
return DECNET;
      YY_BREAK
case 24:
YY_RULE_SETUP
#line 208 "scanner.l"
return LAT;
      YY_BREAK
case 25:
YY_RULE_SETUP
#line 209 "scanner.l"
return SCA;
      YY_BREAK
case 26:
YY_RULE_SETUP
#line 210 "scanner.l"
return MOPRC;
      YY_BREAK
case 27:
YY_RULE_SETUP
#line 211 "scanner.l"
return MOPDL;
      YY_BREAK
case 28:
YY_RULE_SETUP
#line 213 "scanner.l"
return ISO;
      YY_BREAK
case 29:
YY_RULE_SETUP
#line 214 "scanner.l"
return ESIS;
      YY_BREAK
case 30:
YY_RULE_SETUP
#line 215 "scanner.l"
return ESIS;
      YY_BREAK
case 31:
YY_RULE_SETUP
#line 216 "scanner.l"
return ISIS;
      YY_BREAK
case 32:
YY_RULE_SETUP
#line 217 "scanner.l"
return ISIS;
      YY_BREAK
case 33:
YY_RULE_SETUP
#line 218 "scanner.l"
return L1;
      YY_BREAK
case 34:
YY_RULE_SETUP
#line 219 "scanner.l"
return L2;
      YY_BREAK
case 35:
YY_RULE_SETUP
#line 220 "scanner.l"
return IIH;
      YY_BREAK
case 36:
YY_RULE_SETUP
#line 221 "scanner.l"
return LSP;
      YY_BREAK
case 37:
YY_RULE_SETUP
#line 222 "scanner.l"
return SNP;
      YY_BREAK
case 38:
YY_RULE_SETUP
#line 223 "scanner.l"
return CSNP;
      YY_BREAK
case 39:
YY_RULE_SETUP
#line 224 "scanner.l"
return PSNP;
      YY_BREAK
case 40:
YY_RULE_SETUP
#line 226 "scanner.l"
return CLNP;
      YY_BREAK
case 41:
YY_RULE_SETUP
#line 228 "scanner.l"
return STP;
      YY_BREAK
case 42:
YY_RULE_SETUP
#line 230 "scanner.l"
return IPX;
      YY_BREAK
case 43:
YY_RULE_SETUP
#line 232 "scanner.l"
return NETBEUI;
      YY_BREAK
case 44:
YY_RULE_SETUP
#line 234 "scanner.l"
return HOST;
      YY_BREAK
case 45:
YY_RULE_SETUP
#line 235 "scanner.l"
return NET;
      YY_BREAK
case 46:
YY_RULE_SETUP
#line 236 "scanner.l"
return NETMASK;
      YY_BREAK
case 47:
YY_RULE_SETUP
#line 237 "scanner.l"
return PORT;
      YY_BREAK
case 48:
YY_RULE_SETUP
#line 238 "scanner.l"
return PORTRANGE;
      YY_BREAK
case 49:
YY_RULE_SETUP
#line 239 "scanner.l"
return PROTO;
      YY_BREAK
case 50:
YY_RULE_SETUP
#line 240 "scanner.l"
{
#ifdef NO_PROTOCHAIN
              bpf_error("%s not supported", yytext);
#else
              return PROTOCHAIN;
#endif
            }
      YY_BREAK
case 51:
YY_RULE_SETUP
#line 248 "scanner.l"
return GATEWAY;
      YY_BREAK
case 52:
YY_RULE_SETUP
#line 250 "scanner.l"
return LESS;
      YY_BREAK
case 53:
YY_RULE_SETUP
#line 251 "scanner.l"
return GREATER;
      YY_BREAK
case 54:
YY_RULE_SETUP
#line 252 "scanner.l"
return CBYTE;
      YY_BREAK
case 55:
YY_RULE_SETUP
#line 253 "scanner.l"
return TK_BROADCAST;
      YY_BREAK
case 56:
YY_RULE_SETUP
#line 254 "scanner.l"
return TK_MULTICAST;
      YY_BREAK
case 57:
YY_RULE_SETUP
#line 256 "scanner.l"
return AND;
      YY_BREAK
case 58:
YY_RULE_SETUP
#line 257 "scanner.l"
return OR;
      YY_BREAK
case 59:
YY_RULE_SETUP
#line 258 "scanner.l"
return '!';
      YY_BREAK
case 60:
YY_RULE_SETUP
#line 260 "scanner.l"
return LEN;
      YY_BREAK
case 61:
YY_RULE_SETUP
#line 261 "scanner.l"
return INBOUND;
      YY_BREAK
case 62:
YY_RULE_SETUP
#line 262 "scanner.l"
return OUTBOUND;
      YY_BREAK
case 63:
YY_RULE_SETUP
#line 264 "scanner.l"
return VLAN;
      YY_BREAK
case 64:
YY_RULE_SETUP
#line 265 "scanner.l"
return MPLS;
      YY_BREAK
case 65:
YY_RULE_SETUP
#line 267 "scanner.l"
return LANE;
      YY_BREAK
case 66:
YY_RULE_SETUP
#line 268 "scanner.l"
return LLC;
      YY_BREAK
case 67:
YY_RULE_SETUP
#line 269 "scanner.l"
return METAC;
      YY_BREAK
case 68:
YY_RULE_SETUP
#line 270 "scanner.l"
return BCC;
      YY_BREAK
case 69:
YY_RULE_SETUP
#line 271 "scanner.l"
return OAM;
      YY_BREAK
case 70:
YY_RULE_SETUP
#line 272 "scanner.l"
return OAMF4;
      YY_BREAK
case 71:
YY_RULE_SETUP
#line 273 "scanner.l"
return OAMF4EC;
      YY_BREAK
case 72:
YY_RULE_SETUP
#line 274 "scanner.l"
return OAMF4SC;
      YY_BREAK
case 73:
YY_RULE_SETUP
#line 275 "scanner.l"
return SC;
      YY_BREAK
case 74:
YY_RULE_SETUP
#line 276 "scanner.l"
return ILMIC;
      YY_BREAK
case 75:
YY_RULE_SETUP
#line 277 "scanner.l"
return VPI;
      YY_BREAK
case 76:
YY_RULE_SETUP
#line 278 "scanner.l"
return VCI;
      YY_BREAK
case 77:
YY_RULE_SETUP
#line 279 "scanner.l"
return CONNECTMSG;
      YY_BREAK
case 78:
YY_RULE_SETUP
#line 280 "scanner.l"
return METACONNECT;
      YY_BREAK
case 79:
YY_RULE_SETUP
#line 282 "scanner.l"
return PF_IFNAME;
      YY_BREAK
case 80:
YY_RULE_SETUP
#line 283 "scanner.l"
return PF_RSET;
      YY_BREAK
case 81:
YY_RULE_SETUP
#line 284 "scanner.l"
return PF_RNR;
      YY_BREAK
case 82:
YY_RULE_SETUP
#line 285 "scanner.l"
return PF_SRNR;
      YY_BREAK
case 83:
YY_RULE_SETUP
#line 286 "scanner.l"
return PF_REASON;
      YY_BREAK
case 84:
YY_RULE_SETUP
#line 287 "scanner.l"
return PF_ACTION;
      YY_BREAK
case 85:
YY_RULE_SETUP
#line 289 "scanner.l"
return SIO;
      YY_BREAK
case 86:
YY_RULE_SETUP
#line 290 "scanner.l"
return OPC;
      YY_BREAK
case 87:
YY_RULE_SETUP
#line 291 "scanner.l"
return DPC;
      YY_BREAK
case 88:
YY_RULE_SETUP
#line 292 "scanner.l"
return SLS;
      YY_BREAK
case 89:
YY_RULE_SETUP
#line 294 "scanner.l"
;
      YY_BREAK
case 90:
YY_RULE_SETUP
#line 295 "scanner.l"
return yytext[0];
      YY_BREAK
case 91:
YY_RULE_SETUP
#line 296 "scanner.l"
return GEQ;
      YY_BREAK
case 92:
YY_RULE_SETUP
#line 297 "scanner.l"
return LEQ;
      YY_BREAK
case 93:
YY_RULE_SETUP
#line 298 "scanner.l"
return NEQ;
      YY_BREAK
case 94:
YY_RULE_SETUP
#line 299 "scanner.l"
return '=';
      YY_BREAK
case 95:
YY_RULE_SETUP
#line 300 "scanner.l"
return LSH;
      YY_BREAK
case 96:
YY_RULE_SETUP
#line 301 "scanner.l"
return RSH;
      YY_BREAK
case 97:
YY_RULE_SETUP
#line 302 "scanner.l"
{ yylval.e = pcap_ether_aton(((char *)yytext)+1);
                    return AID; }
      YY_BREAK
case 98:
YY_RULE_SETUP
#line 304 "scanner.l"
{ yylval.i = stoi((char *)yytext); return NUM; }
      YY_BREAK
case 99:
YY_RULE_SETUP
#line 305 "scanner.l"
{
                  yylval.s = sdup((char *)yytext); return HID; }
      YY_BREAK
case 100:
YY_RULE_SETUP
#line 307 "scanner.l"
{ yylval.e = pcap_ether_aton((char *)yytext);
                    return EID; }
      YY_BREAK
case 101:
YY_RULE_SETUP
#line 309 "scanner.l"
{
#ifdef INET6
                    struct addrinfo hints, *res;
                    memset(&hints, 0, sizeof(hints));
                    hints.ai_family = AF_INET6;
                    hints.ai_flags = AI_NUMERICHOST;
                    if (getaddrinfo(yytext, NULL, &hints, &res))
                        bpf_error("bogus IPv6 address %s", yytext);
                    else {
                        yylval.s = sdup((char *)yytext); return HID6;
                    }
#else
                    bpf_error("IPv6 address %s not supported", yytext);
#endif /*INET6*/
                  }
      YY_BREAK
case 102:
YY_RULE_SETUP
#line 324 "scanner.l"
{ bpf_error("bogus ethernet address %s", yytext); }
      YY_BREAK
case 103:
YY_RULE_SETUP
#line 325 "scanner.l"
{ yylval.i = 0; return NUM; }
      YY_BREAK
case 104:
YY_RULE_SETUP
#line 326 "scanner.l"
{ yylval.i = 1; return NUM; }
      YY_BREAK
case 105:
YY_RULE_SETUP
#line 327 "scanner.l"
{ yylval.i = 0; return NUM; }
      YY_BREAK
case 106:
YY_RULE_SETUP
#line 328 "scanner.l"
{ yylval.i = 3; return NUM; }
      YY_BREAK
case 107:
YY_RULE_SETUP
#line 329 "scanner.l"
{ yylval.i = 4; return NUM; }
      YY_BREAK
case 108:
YY_RULE_SETUP
#line 330 "scanner.l"
{ yylval.i = 5; return NUM; }
      YY_BREAK
case 109:
YY_RULE_SETUP
#line 331 "scanner.l"
{ yylval.i = 8; return NUM; }
      YY_BREAK
case 110:
YY_RULE_SETUP
#line 332 "scanner.l"
{ yylval.i = 9; return NUM; }
      YY_BREAK
case 111:
YY_RULE_SETUP
#line 333 "scanner.l"
{ yylval.i = 10; return NUM; }
      YY_BREAK
case 112:
YY_RULE_SETUP
#line 334 "scanner.l"
{ yylval.i = 11; return NUM; }
      YY_BREAK
case 113:
YY_RULE_SETUP
#line 335 "scanner.l"
{ yylval.i = 12; return NUM; }
      YY_BREAK
case 114:
YY_RULE_SETUP
#line 336 "scanner.l"
{ yylval.i = 13; return NUM; }
      YY_BREAK
case 115:
YY_RULE_SETUP
#line 337 "scanner.l"
{ yylval.i = 14; return NUM; }
      YY_BREAK
case 116:
YY_RULE_SETUP
#line 338 "scanner.l"
{ yylval.i = 15; return NUM; }
      YY_BREAK
case 117:
YY_RULE_SETUP
#line 339 "scanner.l"
{ yylval.i = 16; return NUM; }
      YY_BREAK
case 118:
YY_RULE_SETUP
#line 340 "scanner.l"
{ yylval.i = 17; return NUM; }
      YY_BREAK
case 119:
YY_RULE_SETUP
#line 341 "scanner.l"
{ yylval.i = 18; return NUM; }
      YY_BREAK
case 120:
YY_RULE_SETUP
#line 342 "scanner.l"
{ yylval.i = 13; return NUM; }
      YY_BREAK
case 121:
YY_RULE_SETUP
#line 343 "scanner.l"
{ yylval.i = 0x01; return NUM; }
      YY_BREAK
case 122:
YY_RULE_SETUP
#line 344 "scanner.l"
{ yylval.i = 0x02; return NUM; }
      YY_BREAK
case 123:
YY_RULE_SETUP
#line 345 "scanner.l"
{ yylval.i = 0x04; return NUM; }
      YY_BREAK
case 124:
YY_RULE_SETUP
#line 346 "scanner.l"
{ yylval.i = 0x08; return NUM; }
      YY_BREAK
case 125:
YY_RULE_SETUP
#line 347 "scanner.l"
{ yylval.i = 0x10; return NUM; }
      YY_BREAK
case 126:
YY_RULE_SETUP
#line 348 "scanner.l"
{ yylval.i = 0x20; return NUM; }
      YY_BREAK
case 127:
YY_RULE_SETUP
#line 349 "scanner.l"
{
                   yylval.s = sdup((char *)yytext); return ID; }
      YY_BREAK
case 128:
YY_RULE_SETUP
#line 351 "scanner.l"
{ yylval.s = sdup((char *)yytext + 1); return ID; }
      YY_BREAK
case 129:
YY_RULE_SETUP
#line 352 "scanner.l"
{
                  bpf_error("illegal token: %s", yytext); }
      YY_BREAK
case 130:
YY_RULE_SETUP
#line 354 "scanner.l"
{ bpf_error("illegal char '%c'", *yytext); }
      YY_BREAK
case 131:
YY_RULE_SETUP
#line 355 "scanner.l"
ECHO;
      YY_BREAK
case YY_STATE_EOF(INITIAL):
      yyterminate();

      case YY_END_OF_BUFFER:
            {
            /* Amount of text matched not including the EOB char. */
            int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;

            /* Undo the effects of YY_DO_BEFORE_ACTION. */
            *yy_cp = yy_hold_char;
            YY_RESTORE_YY_MORE_OFFSET

            if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
                  {
                  /* We're scanning a new file or input source.  It's
                   * possible that this happened because the user
                   * just pointed yyin at a new source and called
                   * yylex().  If so, then we have to assure
                   * consistency between yy_current_buffer and our
                   * globals.  Here is the right place to do so, because
                   * this is the first action (other than possibly a
                   * back-up) that will match for the new input source.
                   */
                  yy_n_chars = yy_current_buffer->yy_n_chars;
                  yy_current_buffer->yy_input_file = yyin;
                  yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
                  }

            /* Note that here we test for yy_c_buf_p "<=" to the position
             * of the first EOB in the buffer, since yy_c_buf_p will
             * already have been incremented past the NUL character
             * (since all states make transitions on EOB to the
             * end-of-buffer state).  Contrast this with the test
             * in input().
             */
            if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
                  { /* This was really a NUL. */
                  yy_state_type yy_next_state;

                  yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;

                  yy_current_state = yy_get_previous_state();

                  /* Okay, we're now positioned to make the NUL
                   * transition.  We couldn't have
                   * yy_get_previous_state() go ahead and do it
                   * for us because it doesn't know how to deal
                   * with the possibility of jamming (and we don't
                   * want to build jamming into it because then it
                   * will run more slowly).
                   */

                  yy_next_state = yy_try_NUL_trans( yy_current_state );

                  yy_bp = yytext_ptr + YY_MORE_ADJ;

                  if ( yy_next_state )
                        {
                        /* Consume the NUL. */
                        yy_cp = ++yy_c_buf_p;
                        yy_current_state = yy_next_state;
                        goto yy_match;
                        }

                  else
                        {
                        yy_cp = yy_c_buf_p;
                        goto yy_find_action;
                        }
                  }

            else switch ( yy_get_next_buffer() )
                  {
                  case EOB_ACT_END_OF_FILE:
                        {
                        yy_did_buffer_switch_on_eof = 0;

                        if ( yywrap() )
                              {
                              /* Note: because we've taken care in
                               * yy_get_next_buffer() to have set up
                               * yytext, we can now set up
                               * yy_c_buf_p so that if some total
                               * hoser (like flex itself) wants to
                               * call the scanner after we return the
                               * YY_NULL, it'll still work - another
                               * YY_NULL will get returned.
                               */
                              yy_c_buf_p = yytext_ptr + YY_MORE_ADJ;

                              yy_act = YY_STATE_EOF(YY_START);
                              goto do_action;
                              }

                        else
                              {
                              if ( ! yy_did_buffer_switch_on_eof )
                                    YY_NEW_FILE;
                              }
                        break;
                        }

                  case EOB_ACT_CONTINUE_SCAN:
                        yy_c_buf_p =
                              yytext_ptr + yy_amount_of_matched_text;

                        yy_current_state = yy_get_previous_state();

                        yy_cp = yy_c_buf_p;
                        yy_bp = yytext_ptr + YY_MORE_ADJ;
                        goto yy_match;

                  case EOB_ACT_LAST_MATCH:
                        yy_c_buf_p =
                        &yy_current_buffer->yy_ch_buf[yy_n_chars];

                        yy_current_state = yy_get_previous_state();

                        yy_cp = yy_c_buf_p;
                        yy_bp = yytext_ptr + YY_MORE_ADJ;
                        goto yy_find_action;
                  }
            break;
            }

      default:
            YY_FATAL_ERROR(
                  "fatal flex scanner internal error--no action found" );
      } /* end of action switch */
            } /* end of scanning one token */
      } /* end of yylex */


/* yy_get_next_buffer - try to read in a new buffer
 *
 * Returns a code representing an action:
 *    EOB_ACT_LAST_MATCH -
 *    EOB_ACT_CONTINUE_SCAN - continue scanning from current position
 *    EOB_ACT_END_OF_FILE - end of file
 */

static int yy_get_next_buffer()
      {
      register char *dest = yy_current_buffer->yy_ch_buf;
      register char *source = yytext_ptr;
      register int number_to_move, i;
      int ret_val;

      if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
            YY_FATAL_ERROR(
            "fatal flex scanner internal error--end of buffer missed" );

      if ( yy_current_buffer->yy_fill_buffer == 0 )
            { /* Don't try to fill the buffer, so this is an EOF. */
            if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
                  {
                  /* We matched a single character, the EOB, so
                   * treat this as a final EOF.
                   */
                  return EOB_ACT_END_OF_FILE;
                  }

            else
                  {
                  /* We matched some text prior to the EOB, first
                   * process it.
                   */
                  return EOB_ACT_LAST_MATCH;
                  }
            }

      /* Try to read more data. */

      /* First move last chars to start of buffer. */
      number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1;

      for ( i = 0; i < number_to_move; ++i )
            *(dest++) = *(source++);

      if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING )
            /* don't do the read, it's not guaranteed to return an EOF,
             * just force an EOF
             */
            yy_current_buffer->yy_n_chars = yy_n_chars = 0;

      else
            {
            int num_to_read =
                  yy_current_buffer->yy_buf_size - number_to_move - 1;

            while ( num_to_read <= 0 )
                  { /* Not enough room in the buffer - grow it. */
#ifdef YY_USES_REJECT
                  YY_FATAL_ERROR(
"input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
#else

                  /* just a shorter name for the current buffer */
                  YY_BUFFER_STATE b = yy_current_buffer;

                  int yy_c_buf_p_offset =
                        (int) (yy_c_buf_p - b->yy_ch_buf);

                  if ( b->yy_is_our_buffer )
                        {
                        int new_size = b->yy_buf_size * 2;

                        if ( new_size <= 0 )
                              b->yy_buf_size += b->yy_buf_size / 8;
                        else
                              b->yy_buf_size *= 2;

                        b->yy_ch_buf = (char *)
                              /* Include room in for 2 EOB chars. */
                              yy_flex_realloc( (void *) b->yy_ch_buf,
                                           b->yy_buf_size + 2 );
                        }
                  else
                        /* Can't grow it, we don't own it. */
                        b->yy_ch_buf = 0;

                  if ( ! b->yy_ch_buf )
                        YY_FATAL_ERROR(
                        "fatal error - scanner input buffer overflow" );

                  yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];

                  num_to_read = yy_current_buffer->yy_buf_size -
                                    number_to_move - 1;
#endif
                  }

            if ( num_to_read > YY_READ_BUF_SIZE )
                  num_to_read = YY_READ_BUF_SIZE;

            /* Read in more data. */
            YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
                  yy_n_chars, num_to_read );

            yy_current_buffer->yy_n_chars = yy_n_chars;
            }

      if ( yy_n_chars == 0 )
            {
            if ( number_to_move == YY_MORE_ADJ )
                  {
                  ret_val = EOB_ACT_END_OF_FILE;
                  yyrestart( yyin );
                  }

            else
                  {
                  ret_val = EOB_ACT_LAST_MATCH;
                  yy_current_buffer->yy_buffer_status =
                        YY_BUFFER_EOF_PENDING;
                  }
            }

      else
            ret_val = EOB_ACT_CONTINUE_SCAN;

      yy_n_chars += number_to_move;
      yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
      yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;

      yytext_ptr = &yy_current_buffer->yy_ch_buf[0];

      return ret_val;
      }


/* yy_get_previous_state - get the state just before the EOB char was reached */

static yy_state_type yy_get_previous_state()
      {
      register yy_state_type yy_current_state;
      register char *yy_cp;

      yy_current_state = yy_start;

      for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
            {
            register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
            if ( yy_accept[yy_current_state] )
                  {
                  yy_last_accepting_state = yy_current_state;
                  yy_last_accepting_cpos = yy_cp;
                  }
            while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
                  {
                  yy_current_state = (int) yy_def[yy_current_state];
                  if ( yy_current_state >= 1317 )
                        yy_c = yy_meta[(unsigned int) yy_c];
                  }
            yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
            }

      return yy_current_state;
      }


/* yy_try_NUL_trans - try to make a transition on the NUL character
 *
 * synopsis
 *    next_state = yy_try_NUL_trans( current_state );
 */

#ifdef YY_USE_PROTOS
static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
#else
static yy_state_type yy_try_NUL_trans( yy_current_state )
yy_state_type yy_current_state;
#endif
      {
      register int yy_is_jam;
      register char *yy_cp = yy_c_buf_p;

      register YY_CHAR yy_c = 1;
      if ( yy_accept[yy_current_state] )
            {
            yy_last_accepting_state = yy_current_state;
            yy_last_accepting_cpos = yy_cp;
            }
      while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
            {
            yy_current_state = (int) yy_def[yy_current_state];
            if ( yy_current_state >= 1317 )
                  yy_c = yy_meta[(unsigned int) yy_c];
            }
      yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
      yy_is_jam = (yy_current_state == 1316);

      return yy_is_jam ? 0 : yy_current_state;
      }


#ifndef YY_NO_UNPUT
#ifdef YY_USE_PROTOS
static void yyunput( int c, register char *yy_bp )
#else
static void yyunput( c, yy_bp )
int c;
register char *yy_bp;
#endif
      {
      register char *yy_cp = yy_c_buf_p;

      /* undo effects of setting up yytext */
      *yy_cp = yy_hold_char;

      if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
            { /* need to shift things up to make room */
            /* +2 for EOB chars. */
            register int number_to_move = yy_n_chars + 2;
            register char *dest = &yy_current_buffer->yy_ch_buf[
                              yy_current_buffer->yy_buf_size + 2];
            register char *source =
                        &yy_current_buffer->yy_ch_buf[number_to_move];

            while ( source > yy_current_buffer->yy_ch_buf )
                  *--dest = *--source;

            yy_cp += (int) (dest - source);
            yy_bp += (int) (dest - source);
            yy_current_buffer->yy_n_chars =
                  yy_n_chars = yy_current_buffer->yy_buf_size;

            if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
                  YY_FATAL_ERROR( "flex scanner push-back overflow" );
            }

      *--yy_cp = (char) c;


      yytext_ptr = yy_bp;
      yy_hold_char = *yy_cp;
      yy_c_buf_p = yy_cp;
      }
#endif      /* ifndef YY_NO_UNPUT */


#ifndef YY_NO_INPUT
#ifdef __cplusplus
static int yyinput()
#else
static int input()
#endif
      {
      int c;

      *yy_c_buf_p = yy_hold_char;

      if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
            {
            /* yy_c_buf_p now points to the character we want to return.
             * If this occurs *before* the EOB characters, then it's a
             * valid NUL; if not, then we've hit the end of the buffer.
             */
            if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
                  /* This was really a NUL. */
                  *yy_c_buf_p = '\0';

            else
                  { /* need more input */
                  int offset = yy_c_buf_p - yytext_ptr;
                  ++yy_c_buf_p;

                  switch ( yy_get_next_buffer() )
                        {
                        case EOB_ACT_LAST_MATCH:
                              /* This happens because yy_g_n_b()
                               * sees that we've accumulated a
                               * token and flags that we need to
                               * try matching the token before
                               * proceeding.  But for input(),
                               * there's no matching to consider.
                               * So convert the EOB_ACT_LAST_MATCH
                               * to EOB_ACT_END_OF_FILE.
                               */

                              /* Reset buffer status. */
                              yyrestart( yyin );

                              /* fall through */

                        case EOB_ACT_END_OF_FILE:
                              {
                              if ( yywrap() )
                                    return EOF;

                              if ( ! yy_did_buffer_switch_on_eof )
                                    YY_NEW_FILE;
#ifdef __cplusplus
                              return yyinput();
#else
                              return input();
#endif
                              }

                        case EOB_ACT_CONTINUE_SCAN:
                              yy_c_buf_p = yytext_ptr + offset;
                              break;
                        }
                  }
            }

      c = *(unsigned char *) yy_c_buf_p;  /* cast for 8-bit char's */
      *yy_c_buf_p = '\0';     /* preserve yytext */
      yy_hold_char = *++yy_c_buf_p;


      return c;
      }
#endif /* YY_NO_INPUT */

#ifdef YY_USE_PROTOS
void yyrestart( FILE *input_file )
#else
void yyrestart( input_file )
FILE *input_file;
#endif
      {
      if ( ! yy_current_buffer )
            yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );

      yy_init_buffer( yy_current_buffer, input_file );
      yy_load_buffer_state();
      }


#ifdef YY_USE_PROTOS
void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
#else
void yy_switch_to_buffer( new_buffer )
YY_BUFFER_STATE new_buffer;
#endif
      {
      if ( yy_current_buffer == new_buffer )
            return;

      if ( yy_current_buffer )
            {
            /* Flush out information for old buffer. */
            *yy_c_buf_p = yy_hold_char;
            yy_current_buffer->yy_buf_pos = yy_c_buf_p;
            yy_current_buffer->yy_n_chars = yy_n_chars;
            }

      yy_current_buffer = new_buffer;
      yy_load_buffer_state();

      /* We don't actually know whether we did this switch during
       * EOF (yywrap()) processing, but the only time this flag
       * is looked at is after yywrap() is called, so it's safe
       * to go ahead and always set it.
       */
      yy_did_buffer_switch_on_eof = 1;
      }


#ifdef YY_USE_PROTOS
void yy_load_buffer_state( void )
#else
void yy_load_buffer_state()
#endif
      {
      yy_n_chars = yy_current_buffer->yy_n_chars;
      yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
      yyin = yy_current_buffer->yy_input_file;
      yy_hold_char = *yy_c_buf_p;
      }


#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
#else
YY_BUFFER_STATE yy_create_buffer( file, size )
FILE *file;
int size;
#endif
      {
      YY_BUFFER_STATE b;

      b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
      if ( ! b )
            YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );

      b->yy_buf_size = size;

      /* yy_ch_buf has to be 2 characters longer than the size given because
       * we need to put in 2 end-of-buffer characters.
       */
      b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
      if ( ! b->yy_ch_buf )
            YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );

      b->yy_is_our_buffer = 1;

      yy_init_buffer( b, file );

      return b;
      }


#ifdef YY_USE_PROTOS
void yy_delete_buffer( YY_BUFFER_STATE b )
#else
void yy_delete_buffer( b )
YY_BUFFER_STATE b;
#endif
      {
      if ( ! b )
            return;

      if ( b == yy_current_buffer )
            yy_current_buffer = (YY_BUFFER_STATE) 0;

      if ( b->yy_is_our_buffer )
            yy_flex_free( (void *) b->yy_ch_buf );

      yy_flex_free( (void *) b );
      }



#ifdef YY_USE_PROTOS
void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
#else
void yy_init_buffer( b, file )
YY_BUFFER_STATE b;
FILE *file;
#endif


      {
      yy_flush_buffer( b );

      b->yy_input_file = file;
      b->yy_fill_buffer = 1;

#if YY_ALWAYS_INTERACTIVE
      b->yy_is_interactive = 1;
#else
#if YY_NEVER_INTERACTIVE
      b->yy_is_interactive = 0;
#else
      b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
#endif
#endif
      }


#ifdef YY_USE_PROTOS
void yy_flush_buffer( YY_BUFFER_STATE b )
#else
void yy_flush_buffer( b )
YY_BUFFER_STATE b;
#endif

      {
      if ( ! b )
            return;

      b->yy_n_chars = 0;

      /* We always need two end-of-buffer characters.  The first causes
       * a transition to the end-of-buffer state.  The second causes
       * a jam in that state.
       */
      b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
      b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;

      b->yy_buf_pos = &b->yy_ch_buf[0];

      b->yy_at_bol = 1;
      b->yy_buffer_status = YY_BUFFER_NEW;

      if ( b == yy_current_buffer )
            yy_load_buffer_state();
      }


#ifndef YY_NO_SCAN_BUFFER
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
#else
YY_BUFFER_STATE yy_scan_buffer( base, size )
char *base;
yy_size_t size;
#endif
      {
      YY_BUFFER_STATE b;

      if ( size < 2 ||
           base[size-2] != YY_END_OF_BUFFER_CHAR ||
           base[size-1] != YY_END_OF_BUFFER_CHAR )
            /* They forgot to leave room for the EOB's. */
            return 0;

      b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
      if ( ! b )
            YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );

      b->yy_buf_size = size - 2;    /* "- 2" to take care of EOB's */
      b->yy_buf_pos = b->yy_ch_buf = base;
      b->yy_is_our_buffer = 0;
      b->yy_input_file = 0;
      b->yy_n_chars = b->yy_buf_size;
      b->yy_is_interactive = 0;
      b->yy_at_bol = 1;
      b->yy_fill_buffer = 0;
      b->yy_buffer_status = YY_BUFFER_NEW;

      yy_switch_to_buffer( b );

      return b;
      }
#endif


#ifndef YY_NO_SCAN_STRING
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_string( yyconst char *yy_str )
#else
YY_BUFFER_STATE yy_scan_string( yy_str )
yyconst char *yy_str;
#endif
      {
      int len;
      for ( len = 0; yy_str[len]; ++len )
            ;

      return yy_scan_bytes( yy_str, len );
      }
#endif


#ifndef YY_NO_SCAN_BYTES
#ifdef YY_USE_PROTOS
YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
#else
YY_BUFFER_STATE yy_scan_bytes( bytes, len )
yyconst char *bytes;
int len;
#endif
      {
      YY_BUFFER_STATE b;
      char *buf;
      yy_size_t n;
      int i;

      /* Get memory for full buffer, including space for trailing EOB's. */
      n = len + 2;
      buf = (char *) yy_flex_alloc( n );
      if ( ! buf )
            YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );

      for ( i = 0; i < len; ++i )
            buf[i] = bytes[i];

      buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;

      b = yy_scan_buffer( buf, n );
      if ( ! b )
            YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );

      /* It's okay to grow etc. this buffer, and we should throw it
       * away when we're done.
       */
      b->yy_is_our_buffer = 1;

      return b;
      }
#endif


#ifndef YY_NO_PUSH_STATE
#ifdef YY_USE_PROTOS
static void yy_push_state( int new_state )
#else
static void yy_push_state( new_state )
int new_state;
#endif
      {
      if ( yy_start_stack_ptr >= yy_start_stack_depth )
            {
            yy_size_t new_size;

            yy_start_stack_depth += YY_START_STACK_INCR;
            new_size = yy_start_stack_depth * sizeof( int );

            if ( ! yy_start_stack )
                  yy_start_stack = (int *) yy_flex_alloc( new_size );

            else
                  yy_start_stack = (int *) yy_flex_realloc(
                              (void *) yy_start_stack, new_size );

            if ( ! yy_start_stack )
                  YY_FATAL_ERROR(
                  "out of memory expanding start-condition stack" );
            }

      yy_start_stack[yy_start_stack_ptr++] = YY_START;

      BEGIN(new_state);
      }
#endif


#ifndef YY_NO_POP_STATE
static void yy_pop_state()
      {
      if ( --yy_start_stack_ptr < 0 )
            YY_FATAL_ERROR( "start-condition stack underflow" );

      BEGIN(yy_start_stack[yy_start_stack_ptr]);
      }
#endif


#ifndef YY_NO_TOP_STATE
static int yy_top_state()
      {
      return yy_start_stack[yy_start_stack_ptr - 1];
      }
#endif

#ifndef YY_EXIT_FAILURE
#define YY_EXIT_FAILURE 2
#endif

#ifdef YY_USE_PROTOS
static void yy_fatal_error( yyconst char msg[] )
#else
static void yy_fatal_error( msg )
char msg[];
#endif
      {
      (void) fprintf( stderr, "%s\n", msg );
      exit( YY_EXIT_FAILURE );
      }



/* Redefine yyless() so it works in section 3 code. */

#undef yyless
#define yyless(n) \
      do \
            { \
            /* Undo effects of setting up yytext. */ \
            yytext[yyleng] = yy_hold_char; \
            yy_c_buf_p = yytext + n; \
            yy_hold_char = *yy_c_buf_p; \
            *yy_c_buf_p = '\0'; \
            yyleng = n; \
            } \
      while ( 0 )


/* Internal utility routines. */

#ifndef yytext_ptr
#ifdef YY_USE_PROTOS
static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
#else
static void yy_flex_strncpy( s1, s2, n )
char *s1;
yyconst char *s2;
int n;
#endif
      {
      register int i;
      for ( i = 0; i < n; ++i )
            s1[i] = s2[i];
      }
#endif

#ifdef YY_NEED_STRLEN
#ifdef YY_USE_PROTOS
static int yy_flex_strlen( yyconst char *s )
#else
static int yy_flex_strlen( s )
yyconst char *s;
#endif
      {
      register int n;
      for ( n = 0; s[n]; ++n )
            ;

      return n;
      }
#endif


#ifdef YY_USE_PROTOS
static void *yy_flex_alloc( yy_size_t size )
#else
static void *yy_flex_alloc( size )
yy_size_t size;
#endif
      {
      return (void *) malloc( size );
      }

#ifdef YY_USE_PROTOS
static void *yy_flex_realloc( void *ptr, yy_size_t size )
#else
static void *yy_flex_realloc( ptr, size )
void *ptr;
yy_size_t size;
#endif
      {
      /* The cast to (char *) in the following accommodates both
       * implementations that use char* generic pointers, and those
       * that use void* generic pointers.  It works with the latter
       * because both ANSI C and C++ allow castless assignment from
       * any pointer type to void*, and deal with argument conversions
       * as though doing an assignment.
       */
      return (void *) realloc( (char *) ptr, size );
      }

#ifdef YY_USE_PROTOS
static void yy_flex_free( void *ptr )
#else
static void yy_flex_free( ptr )
void *ptr;
#endif
      {
      free( ptr );
      }

#if YY_MAIN
int main()
      {
      yylex();
      return 0;
      }
#endif
#line 355 "scanner.l"

void
lex_init(buf)
      char *buf;
{
#ifdef FLEX_SCANNER
      in_buffer = yy_scan_string(buf);
#else
      in_buffer = buf;
#endif
}

/*
 * Do any cleanup necessary after parsing.
 */
void
lex_cleanup()
{
#ifdef FLEX_SCANNER
      if (in_buffer != NULL)
            yy_delete_buffer(in_buffer);
      in_buffer = NULL;
#endif
}

/*
 * Also define a yywrap.  Note that if we're using flex, it will
 * define a macro to map this identifier to pcap_wrap.
 */
int
yywrap()
{
      return 1;
}

/* Hex digit to integer. */
static inline int
xdtoi(c)
      register int c;
{
      if (isdigit(c))
            return c - '0';
      else if (islower(c))
            return c - 'a' + 10;
      else
            return c - 'A' + 10;
}

/*
 * Convert string to integer.  Just like atoi(), but checks for
 * preceding 0x or 0 and uses hex or octal instead of decimal.
 */
static int
stoi(s)
      char *s;
{
      int base = 10;
      int n = 0;

      if (*s == '0') {
            if (s[1] == 'x' || s[1] == 'X') {
                  s += 2;
                  base = 16;
            }
            else {
                  base = 8;
                  s += 1;
            }
      }
      while (*s)
            n = n * base + xdtoi(*s++);

      return n;
}

Generated by  Doxygen 1.6.0   Back to index