home *** CD-ROM | disk | FTP | other *** search
/ Tools / WinSN5.0Ver.iso / NETSCAP.50 / WIN1998.ZIP / ns / lib / libstyle / csslex.c < prev    next >
Encoding:
C/C++ Source or Header  |  1998-04-08  |  165.3 KB  |  4,013 lines

  1. /* -*- Mode: C; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
  2.  *
  3.  * The contents of this file are subject to the Netscape Public License
  4.  * Version 1.0 (the "NPL"); you may not use this file except in
  5.  * compliance with the NPL.  You may obtain a copy of the NPL at
  6.  * http://www.mozilla.org/NPL/
  7.  *
  8.  * Software distributed under the NPL is distributed on an "AS IS" basis,
  9.  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the NPL
  10.  * for the specific language governing rights and limitations under the
  11.  * NPL.
  12.  *
  13.  * The Initial Developer of this code under the NPL is Netscape
  14.  * Communications Corporation.  Portions created by Netscape are
  15.  * Copyright (C) 1998 Netscape Communications Corporation.  All Rights
  16.  * Reserved.
  17.  */
  18.  
  19. #define yy_create_buffer css__create_buffer
  20. #define yy_delete_buffer css__delete_buffer
  21. #define yy_scan_buffer css__scan_buffer
  22. #define yy_scan_string css__scan_string
  23. #define yy_scan_bytes css__scan_bytes
  24. #define yy_flex_debug css__flex_debug
  25. #define yy_init_buffer css__init_buffer
  26. #define yy_flush_buffer css__flush_buffer
  27. #define yy_load_buffer_state css__load_buffer_state
  28. #define yy_switch_to_buffer css__switch_to_buffer
  29. #define yyin css_in
  30. #define yyleng css_leng
  31. #define yylex css_lex
  32. #define yyout css_out
  33. #define yyrestart css_restart
  34. #define yytext css_text
  35. #define yywrap css_wrap
  36.  
  37. /* A lexical scanner generated by flex */
  38.  
  39. /* Scanner skeleton version:
  40.  * $Header: /m/pub/ns/lib/libstyle/csslex.c,v 3.1 1998/03/28 03:32:11 ltabb Exp $
  41.  */
  42.  
  43. #define FLEX_SCANNER
  44. #define YY_FLEX_MAJOR_VERSION 2
  45. #define YY_FLEX_MINOR_VERSION 5
  46.  
  47. #include <stdio.h>
  48.  
  49.  
  50. /* cfront 1.2 defines "c_plusplus" instead of "__cplusplus" */
  51. #ifdef c_plusplus
  52. #ifndef __cplusplus
  53. #define __cplusplus
  54. #endif
  55. #endif
  56.  
  57.  
  58. #ifdef __cplusplus
  59.  
  60. #include <stdlib.h>
  61. #include <unistd.h>
  62.  
  63. /* Use prototypes in function declarations. */
  64. #define YY_USE_PROTOS
  65.  
  66. /* The "const" storage-class-modifier is valid. */
  67. #define YY_USE_CONST
  68.  
  69. #else    /* ! __cplusplus */
  70.  
  71. #if __STDC__
  72.  
  73. #define YY_USE_PROTOS
  74. #define YY_USE_CONST
  75.  
  76. #endif    /* __STDC__ */
  77. #endif    /* ! __cplusplus */
  78.  
  79. #ifdef __TURBOC__
  80.  #pragma warn -rch
  81.  #pragma warn -use
  82. #include <io.h>
  83. #include <stdlib.h>
  84. #define YY_USE_CONST
  85. #define YY_USE_PROTOS
  86. #endif
  87.  
  88. #ifdef YY_USE_CONST
  89. #define yyconst const
  90. #else
  91. #define yyconst
  92. #endif
  93.  
  94.  
  95. #ifdef YY_USE_PROTOS
  96. #define YY_PROTO(proto) proto
  97. #else
  98. #define YY_PROTO(proto) ()
  99. #endif
  100.  
  101. /* Returned upon end-of-file. */
  102. #define YY_NULL 0
  103.  
  104. /* Promotes a possibly negative, possibly signed char to an unsigned
  105.  * integer for use as an array index.  If the signed char is negative,
  106.  * we want to instead treat it as an 8-bit unsigned char, hence the
  107.  * double cast.
  108.  */
  109. #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c)
  110.  
  111. /* Enter a start condition.  This macro really ought to take a parameter,
  112.  * but we do it the disgusting crufty way forced on us by the ()-less
  113.  * definition of BEGIN.
  114.  */
  115. #define BEGIN yy_start = 1 + 2 *
  116.  
  117. /* Translate the current start state into a value that can be later handed
  118.  * to BEGIN to return to the state.  The YYSTATE alias is for lex
  119.  * compatibility.
  120.  */
  121. #define YY_START ((yy_start - 1) / 2)
  122. #define YYSTATE YY_START
  123.  
  124. /* Action number for EOF rule of a given start state. */
  125. #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1)
  126.  
  127. /* Special action meaning "start processing a new file". */
  128. #define YY_NEW_FILE yyrestart( yyin )
  129.  
  130. #define YY_END_OF_BUFFER_CHAR 0
  131.  
  132. /* Size of default input buffer. */
  133. #define YY_BUF_SIZE 16384
  134.  
  135. typedef struct yy_buffer_state *YY_BUFFER_STATE;
  136.  
  137. extern int yyleng;
  138. extern FILE *yyin, *yyout;
  139.  
  140. #define EOB_ACT_CONTINUE_SCAN 0
  141. #define EOB_ACT_END_OF_FILE 1
  142. #define EOB_ACT_LAST_MATCH 2
  143.  
  144. /* The funky do-while in the following #define is used to turn the definition
  145.  * int a single C statement (which needs a semi-colon terminator).  This
  146.  * avoids problems with code like:
  147.  *
  148.  *     if ( condition_holds )
  149.  *        yyless( 5 );
  150.  *    else
  151.  *        do_something_else();
  152.  *
  153.  * Prior to using the do-while the compiler would get upset at the
  154.  * "else" because it interpreted the "if" statement as being all
  155.  * done when it reached the ';' after the yyless() call.
  156.  */
  157.  
  158. /* Return all but the first 'n' matched characters back to the input stream. */
  159.  
  160. #define yyless(n) \
  161.     do \
  162.         { \
  163.         /* Undo effects of setting up yytext. */ \
  164.         *yy_cp = yy_hold_char; \
  165.         YY_RESTORE_YY_MORE_OFFSET \
  166.         yy_c_buf_p = yy_cp = yy_bp + n - YY_MORE_ADJ; \
  167.         YY_DO_BEFORE_ACTION; /* set up yytext again */ \
  168.         } \
  169.     while ( 0 )
  170.  
  171. #define unput(c) yyunput( c, yytext_ptr )
  172.  
  173. /* The following is because we cannot portably get our hands on size_t
  174.  * (without autoconf's help, which isn't available because we want
  175.  * flex-generated scanners to compile on their own).
  176.  */
  177. typedef unsigned int yy_size_t;
  178.  
  179.  
  180. struct yy_buffer_state
  181.     {
  182.     FILE *yy_input_file;
  183.  
  184.     char *yy_ch_buf;        /* input buffer */
  185.     char *yy_buf_pos;        /* current position in input buffer */
  186.  
  187.     /* Size of input buffer in bytes, not including room for EOB
  188.      * characters.
  189.      */
  190.     yy_size_t yy_buf_size;
  191.  
  192.     /* Number of characters read into yy_ch_buf, not including EOB
  193.      * characters.
  194.      */
  195.     int yy_n_chars;
  196.  
  197.     /* Whether we "own" the buffer - i.e., we know we created it,
  198.      * and can realloc() it to grow it, and should free() it to
  199.      * delete it.
  200.      */
  201.     int yy_is_our_buffer;
  202.  
  203.     /* Whether this is an "interactive" input source; if so, and
  204.      * if we're using stdio for input, then we want to use getc()
  205.      * instead of fread(), to make sure we stop fetching input after
  206.      * each newline.
  207.      */
  208.     int yy_is_interactive;
  209.  
  210.     /* Whether we're considered to be at the beginning of a line.
  211.      * If so, '^' rules will be active on the next match, otherwise
  212.      * not.
  213.      */
  214.     int yy_at_bol;
  215.  
  216.     /* Whether to try to fill the input buffer when we reach the
  217.      * end of it.
  218.      */
  219.     int yy_fill_buffer;
  220.  
  221.     int yy_buffer_status;
  222. #define YY_BUFFER_NEW 0
  223. #define YY_BUFFER_NORMAL 1
  224.     /* When an EOF's been seen but there's still some text to process
  225.      * then we mark the buffer as YY_EOF_PENDING, to indicate that we
  226.      * shouldn't try reading from the input source any more.  We might
  227.      * still have a bunch of tokens to match, though, because of
  228.      * possible backing-up.
  229.      *
  230.      * When we actually see the EOF, we change the status to "new"
  231.      * (via yyrestart()), so that the user can continue scanning by
  232.      * just pointing yyin at a new input file.
  233.      */
  234. #define YY_BUFFER_EOF_PENDING 2
  235.     };
  236.  
  237. static YY_BUFFER_STATE yy_current_buffer = 0;
  238.  
  239. /* We provide macros for accessing buffer states in case in the
  240.  * future we want to put the buffer states in a more general
  241.  * "scanner state".
  242.  */
  243. #define YY_CURRENT_BUFFER yy_current_buffer
  244.  
  245.  
  246. /* yy_hold_char holds the character lost when yytext is formed. */
  247. static char yy_hold_char;
  248.  
  249. static int yy_n_chars;        /* number of characters read into yy_ch_buf */
  250.  
  251.  
  252. int yyleng;
  253.  
  254. /* Points to current character in buffer. */
  255. static char *yy_c_buf_p = (char *) 0;
  256. static int yy_init = 1;        /* whether we need to initialize */
  257. static int yy_start = 0;    /* start state number */
  258.  
  259. /* Flag which is used to allow yywrap()'s to do buffer switches
  260.  * instead of setting up a fresh yyin.  A bit of a hack ...
  261.  */
  262. static int yy_did_buffer_switch_on_eof;
  263.  
  264. void yyrestart YY_PROTO(( FILE *input_file ));
  265.  
  266. void yy_switch_to_buffer YY_PROTO(( YY_BUFFER_STATE new_buffer ));
  267. void yy_load_buffer_state YY_PROTO(( void ));
  268. YY_BUFFER_STATE yy_create_buffer YY_PROTO(( FILE *file, int size ));
  269. void yy_delete_buffer YY_PROTO(( YY_BUFFER_STATE b ));
  270. void yy_init_buffer YY_PROTO(( YY_BUFFER_STATE b, FILE *file ));
  271. void yy_flush_buffer YY_PROTO(( YY_BUFFER_STATE b ));
  272. #define YY_FLUSH_BUFFER yy_flush_buffer( yy_current_buffer )
  273.  
  274. YY_BUFFER_STATE yy_scan_buffer YY_PROTO(( char *base, yy_size_t size ));
  275. YY_BUFFER_STATE yy_scan_string YY_PROTO(( yyconst char *str ));
  276. YY_BUFFER_STATE yy_scan_bytes YY_PROTO(( yyconst char *bytes, int len ));
  277.  
  278. static void *yy_flex_alloc YY_PROTO(( yy_size_t ));
  279. static void *yy_flex_realloc YY_PROTO(( void *, yy_size_t ));
  280. static void yy_flex_free YY_PROTO(( void * ));
  281.  
  282. #define yy_new_buffer yy_create_buffer
  283.  
  284. #define yy_set_interactive(is_interactive) \
  285.     { \
  286.     if ( ! yy_current_buffer ) \
  287.         yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
  288.     yy_current_buffer->yy_is_interactive = is_interactive; \
  289.     }
  290.  
  291. #define yy_set_bol(at_bol) \
  292.     { \
  293.     if ( ! yy_current_buffer ) \
  294.         yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE ); \
  295.     yy_current_buffer->yy_at_bol = at_bol; \
  296.     }
  297.  
  298. #define YY_AT_BOL() (yy_current_buffer->yy_at_bol)
  299.  
  300.  
  301. #define YY_USES_REJECT
  302. typedef unsigned char YY_CHAR;
  303. FILE *yyin = (FILE *) 0, *yyout = (FILE *) 0;
  304. typedef int yy_state_type;
  305. extern char *yytext;
  306. #define yytext_ptr yytext
  307.  
  308. static yy_state_type yy_get_previous_state YY_PROTO(( void ));
  309. static yy_state_type yy_try_NUL_trans YY_PROTO(( yy_state_type current_state ));
  310. static int yy_get_next_buffer YY_PROTO(( void ));
  311. static void yy_fatal_error YY_PROTO(( yyconst char msg[] ));
  312.  
  313. /* Done after the current pattern has been matched and before the
  314.  * corresponding action - sets up yytext.
  315.  */
  316. #define YY_DO_BEFORE_ACTION \
  317.     yytext_ptr = yy_bp; \
  318.     yyleng = (int) (yy_cp - yy_bp); \
  319.     yy_hold_char = *yy_cp; \
  320.     *yy_cp = '\0'; \
  321.     yy_c_buf_p = yy_cp;
  322.  
  323. #define YY_NUM_RULES 101
  324. #define YY_END_OF_BUFFER 102
  325. static yyconst short int yy_acclist[746] =
  326.     {   0,
  327.        28,   28,   23,   23,  102,  100,  101,   15,  100,  101,
  328.        15,  101,  100,  101,   14,  100,  101,  100,  101,  100,
  329.       101,   13,  100,  101,  100,  101,  100,  101,  100,  101,
  330.       100,  101,  100,  101,    7,  100,  101,    7,  100,  101,
  331.        35,  100,  101,   28,  100,  101,   28,  101,   29,  100,
  332.       101,   28,  100,  101,   23,  100,  101,   23,  101,   23,
  333.       100,  101,   23,  100,  101,   23,  100,  101,   24,  100,
  334.       101,   25,  100,  101,   26,  100,  101,   31,  100,  101,
  335.        31,  101,   37,  100,  101,   37,  100,  101,   36,  100,
  336.       101,  100,  101,   43,  100,  101,   43,  100,  101,   43,
  337.  
  338.       100,  101,   43,  100,  101,   32,  100,  101,  100,  101,
  339.       100,  101,   76,  100,  101,  100,  101,   78,  100,  101,
  340.        76,  100,  101,  100,  101,   76,  100,  101,   86,   95,
  341.       100,  101,   95,  100,  101,   33,  100,  101,  100,  101,
  342.        77,  100,  101,   77,  100,  101,   77,  100,  101,  100,
  343.       101,   86,  100,  101,  100,  101,   77,  100,  101,   77,
  344.       100,  101,   77,  100,  101,   77,  100,  101,   77,  100,
  345.       101,   77,  100,  101,   77,  100,  101,   77,  100,  101,
  346.       100,  101,  100,  101,   67,  100,  101,  100,  101,   61,
  347.       100,  101,   52,  100,  101,  100,  101,  100,  101,  100,
  348.  
  349.       101,  100,  101,  100,  101,  100,  101,  100,  101,  100,
  350.       101,  100,  101,  100,  101,   65,  100,  101,   65,  100,
  351.       101,   65,  100,  101,   65,  100,  101,   65,  100,  101,
  352.        65,  100,  101,   65,  100,  101,   65,  100,  101,   65,
  353.       100,  101,   62,  100,  101,  100,  101,   63,  100,  101,
  354.       100,  101,  100,  101,  100,  101,  100,  101,  100,  101,
  355.       100,  101,  100,  101,  100,  101,  100,  101,  100,  101,
  356.        99,  100,  101,   99,  100,  101,   99,  100,  101,   99,
  357.       100,  101,   99,  100,  101,   99,  100,  101,   99,  100,
  358.       101,   99,  100,  101,   99,  100,  101,   99,  100,  101,
  359.  
  360.       100,  101,  100,  101,  100,  101,  100,  101,  100,  101,
  361.         6,   13,  100,  101,  100,  101,   15,   20,   27,   21,
  362.        21,   21,    7,    7,    7,    7,   28,   29,   29,   30,
  363.        23,   23,   22,   23,   23,   23,   23,   23,   27,   31,
  364.        43,   43,   43,   43,   43,   43,   43,   79,   95,   85,
  365.        95,   77,   77,   77,   77,   77,   77,   77,   77,   77,
  366.        77,   77,   77,   77,   77,   77,   66,   51,   65,   65,
  367.        65,   65,   65,   65,   65,   65,   65,   65,   65,   65,
  368.        65,   63,   63,   99,   99,   99,   99,   99,   99,   99,
  369.        99,   99,   99,   99,   99,   99,   99,   20,   20,    2,
  370.  
  371.        21,   21,   21,   21,   21,    7,    7,    7,    7,   22,
  372.        23,   22,   23,   23,   23,   23,   22,   23,   23,   23,
  373.        43,   43,   43,   43,   43,   43,   43,   79,   79,16473,
  374.     16477,16478,16475,16472,16474,16471,16476,   77,   77,   77,
  375.        77,   77,   77,   77,   77,   77,   77,   77,   77,   77,
  376.        77,   75,   77,   77,   66,   66,16439,16443,16444,16441,
  377.     16438,16440,16437,16442,   47,   65,   65,   65,   65,   65,
  378.        65,   65,   65,   65,   65,   65,   65,   65,   65,   99,
  379.        99,   99,   99,   99,   99,   99,   99,   99,   99,   99,
  380.        99,   99,   99,   99,    1,   21,   21,   21,   21,   21,
  381.  
  382.         7,    7,   22,   23,   22,   23,   43,   43,   43,   43,
  383.        39,   43,   43,   80, 8281, 8281, 8285, 8285, 8286, 8286,
  384.      8283, 8283, 8280, 8280, 8282, 8282, 8279, 8279, 8284, 8284,
  385.        77,   77,   77,   77,   77,   77,   72,   77,   77,   77,
  386.        77,   77, 8247, 8247, 8251, 8251, 8252, 8252, 8249, 8249,
  387.      8246, 8246, 8248, 8248, 8245, 8245, 8250, 8250,   65,   65,
  388.        46,   65,   65,   65,   65,   65,   65,   65,   65,   65,
  389.        65,   65,   65,   68,   69,   99,   99,   99,   99,   99,
  390.        99,   99,   99,   96,   99,   99,   99,   99,   99,   98,
  391.        99,    8,   21,   21,   21,   21,    7,    7,   23,   23,
  392.  
  393.        43,   43,   43,   43,   43,   43,   77,   77,   77,   77,
  394.        74,   77,   77,   77,   77,   77,   65,   65,   65,   65,
  395.        50,   65,   65,   65,   65,   65,   49,   65,   65,   65,
  396.        65,   65,   99,   99,   99,   99,   99,   99,   97,   99,
  397.        99,   99,   50,   49,    3,    8,   21,   21,   21,   21,
  398.         7,   19,   19,   43,   43,   41,   43,   43,   43,   77,
  399.        84,   84,   77,   73,   77,   77,   65,   46,   65,   44,
  400.        65,   50,   65,   65,   49,   65,   48,   65,   65,   65,
  401.        65,   65,   65,   65,   65,   64,   70,   99,   50,   49,
  402.        10,   21,   21,   16,   21,   18,   43,   43,   43,   81,
  403.  
  404.        83,   77,   77,   77,   65,   65,   65,    5,   10,    9,
  405.        17,   21,   18,   18,   43,   43,   43,   83,   83,   77,
  406.        73,   77,   77,   65,    4,    9,   43,   42,   43,   43,
  407.        77,   65,   38,   43,   40,   43,   34,   82,   77,   45,
  408.        65,   11,   71,   77,   12
  409.     } ;
  410.  
  411. static yyconst short int yy_accept[863] =
  412.     {   0,
  413.         1,    1,    1,    2,    3,    4,    5,    5,    5,    5,
  414.         5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
  415.         5,    5,    5,    5,    5,    6,    8,   11,   13,   15,
  416.        18,   20,   22,   25,   27,   29,   31,   33,   35,   38,
  417.        41,   44,   47,   49,   52,   55,   58,   60,   63,   66,
  418.        69,   72,   75,   78,   81,   83,   86,   89,   92,   94,
  419.        97,  100,  103,  106,  109,  111,  113,  116,  118,  121,
  420.       124,  126,  129,  133,  136,  139,  141,  144,  147,  150,
  421.       152,  155,  157,  160,  163,  166,  169,  172,  175,  178,
  422.       181,  183,  185,  188,  190,  193,  196,  198,  200,  202,
  423.  
  424.       204,  206,  208,  210,  212,  214,  216,  219,  222,  225,
  425.       228,  231,  234,  237,  240,  243,  246,  248,  251,  253,
  426.       255,  257,  259,  261,  263,  265,  267,  269,  271,  274,
  427.       277,  280,  283,  286,  289,  292,  295,  298,  301,  303,
  428.       305,  307,  309,  311,  315,  317,  318,  318,  319,  319,
  429.       319,  319,  319,  320,  320,  320,  320,  320,  320,  320,
  430.       321,  322,  323,  324,  325,  326,  326,  327,  328,  329,
  431.       330,  331,  332,  333,  335,  335,  336,  337,  337,  338,
  432.       340,  341,  342,  343,  344,  344,  345,  346,  347,  348,
  433.       348,  348,  348,  349,  349,  349,  349,  349,  350,  351,
  434.  
  435.       351,  352,  352,  352,  352,  352,  352,  353,  354,  355,
  436.       355,  356,  357,  357,  357,  357,  358,  359,  360,  361,
  437.       362,  363,  364,  365,  366,  367,  367,  368,  368,  368,
  438.       368,  368,  369,  369,  369,  369,  369,  369,  369,  369,
  439.       369,  369,  369,  369,  369,  369,  369,  369,  369,  370,
  440.       371,  372,  372,  373,  374,  375,  376,  377,  378,  379,
  441.       380,  381,  382,  383,  383,  384,  384,  384,  384,  384,
  442.       384,  384,  384,  384,  384,  384,  384,  385,  386,  387,
  443.       387,  388,  389,  390,  391,  392,  393,  394,  395,  396,
  444.       397,  398,  398,  398,  398,  398,  398,  398,  398,  398,
  445.  
  446.       398,  399,  399,  399,  399,  400,  400,  400,  401,  401,
  447.       401,  401,  401,  401,  402,  403,  404,  404,  405,  406,
  448.       407,  408,  409,  410,  411,  411,  412,  414,  415,  415,
  449.       416,  416,  417,  419,  420,  420,  421,  422,  423,  424,
  450.       425,  426,  427,  428,  428,  428,  429,  429,  429,  429,
  451.       429,  430,  430,  430,  431,  432,  433,  434,  435,  436,
  452.       437,  438,  439,  440,  441,  442,  443,  444,  445,  446,
  453.       447,  448,  449,  450,  451,  452,  454,  455,  455,  456,
  454.       456,  456,  456,  457,  457,  457,  458,  459,  460,  461,
  455.       462,  463,  464,  465,  466,  467,  468,  469,  470,  471,
  456.  
  457.       472,  473,  474,  475,  476,  477,  478,  479,  480,  480,
  458.       480,  480,  480,  480,  480,  480,  480,  480,  480,  480,
  459.       481,  482,  483,  484,  485,  486,  487,  488,  489,  490,
  460.       491,  492,  493,  494,  495,  495,  495,  495,  495,  495,
  461.       495,  495,  495,  495,  495,  495,  495,  495,  495,  495,
  462.       496,  497,  498,  499,  500,  501,  502,  503,  503,  504,
  463.       504,  504,  505,  506,  506,  506,  507,  508,  509,  510,
  464.       511,  513,  514,  514,  514,  515,  515,  516,  517,  518,
  465.       519,  520,  521,  522,  523,  524,  525,  526,  527,  528,
  466.       529,  530,  531,  532,  533,  533,  533,  534,  535,  536,
  467.  
  468.       537,  539,  540,  541,  542,  543,  543,  543,  544,  545,
  469.       546,  547,  548,  549,  550,  551,  552,  553,  554,  555,
  470.       556,  557,  558,  559,  560,  561,  563,  564,  565,  566,
  471.       567,  568,  569,  570,  571,  572,  573,  574,  574,  574,
  472.       574,  575,  575,  575,  576,  576,  576,  576,  577,  578,
  473.       579,  580,  581,  582,  583,  584,  586,  587,  588,  589,
  474.       590,  592,  592,  592,  592,  592,  592,  592,  592,  592,
  475.       592,  592,  592,  592,  592,  592,  593,  593,  594,  595,
  476.       596,  597,  598,  599,  599,  599,  599,  599,  599,  599,
  477.       599,  600,  600,  601,  602,  603,  604,  605,  606,  607,
  478.  
  479.       607,  607,  607,  607,  608,  609,  609,  609,  609,  609,
  480.       609,  609,  609,  609,  609,  610,  611,  613,  614,  615,
  481.       616,  617,  617,  617,  618,  619,  620,  621,  623,  624,
  482.       625,  626,  627,  629,  630,  631,  632,  633,  633,  633,
  483.       633,  633,  633,  633,  633,  633,  634,  635,  636,  637,
  484.       638,  639,  641,  642,  643,  644,  644,  645,  645,  645,
  485.       645,  645,  645,  647,  647,  647,  647,  647,  648,  649,
  486.       650,  651,  652,  652,  652,  653,  653,  653,  653,  653,
  487.       653,  653,  653,  654,  654,  654,  655,  656,  658,  659,
  488.       660,  660,  660,  661,  661,  661,  661,  661,  661,  661,
  489.  
  490.       662,  662,  662,  662,  662,  662,  662,  662,  663,  664,
  491.       666,  667,  668,  670,  672,  674,  675,  677,  679,  680,
  492.       681,  682,  683,  684,  685,  686,  687,  687,  688,  688,
  493.       688,  688,  689,  690,  691,  691,  691,  691,  691,  691,
  494.       691,  691,  692,  692,  692,  693,  694,  696,  696,  697,
  495.       697,  697,  697,  697,  697,  697,  697,  697,  698,  699,
  496.       700,  700,  701,  701,  701,  701,  701,  702,  702,  702,
  497.       702,  702,  702,  702,  702,  702,  703,  704,  705,  706,
  498.       707,  708,  708,  708,  708,  708,  708,  708,  710,  710,
  499.       710,  711,  713,  713,  714,  714,  714,  715,  715,  716,
  500.  
  501.       717,  718,  718,  718,  718,  718,  718,  718,  719,  719,
  502.       719,  720,  720,  721,  723,  724,  725,  725,  725,  725,
  503.       725,  727,  727,  727,  727,  727,  728,  730,  731,  731,
  504.       731,  731,  731,  731,  731,  732,  733,  733,  733,  733,
  505.       733,  733,  733,  735,  737,  738,  738,  738,  738,  739,
  506.       740,  742,  742,  742,  742,  742,  742,  743,  745,  745,
  507.       746,  746
  508.     } ;
  509.  
  510. static yyconst int yy_ec[256] =
  511.     {   0,
  512.         1,    1,    1,    1,    1,    1,    1,    1,    2,    3,
  513.         4,    4,    4,    1,    1,    1,    1,    1,    1,    1,
  514.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  515.         1,    5,    6,    7,    8,    9,   10,    9,   11,   12,
  516.        13,   14,   15,   16,   17,   18,   19,   20,   21,   22,
  517.        23,   24,   25,   26,   27,   28,   29,   30,   31,   32,
  518.         9,   33,    9,   34,   36,   37,   38,   39,   40,   41,
  519.        42,   43,   44,   45,   46,   47,   48,   49,   50,   51,
  520.        52,   53,   54,   55,   56,   57,   58,   59,   60,   61,
  521.         9,   35,    9,    9,    9,    9,   36,   37,   38,   39,
  522.  
  523.        40,   41,   42,   43,   44,   45,   46,   47,   48,   49,
  524.        50,   51,   52,   53,   54,   55,   56,   57,   58,   59,
  525.        60,   61,   62,    9,   63,    9,    1,    1,    1,    1,
  526.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  527.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  528.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  529.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  530.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  531.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  532.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  533.  
  534.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  535.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  536.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  537.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  538.        64,   64,   64,   64,   64,   64,   64,   64,   64,   64,
  539.        64,   64,   64,   64,   64
  540.     } ;
  541.  
  542. static yyconst int yy_meta[65] =
  543.     {   0,
  544.         1,    2,    2,    1,    3,    4,    5,    4,    4,    6,
  545.         5,    4,    7,    8,    4,    4,    9,    3,   10,   11,
  546.        11,   11,   11,   11,   11,   11,   11,   11,   11,    4,
  547.        12,    4,    4,    4,   13,   14,   14,   15,   14,   15,
  548.        14,   13,   13,   16,   13,   13,   13,   16,   13,   13,
  549.        16,   13,   13,   13,   13,   13,   13,   13,   13,   13,
  550.        13,   12,   12,   17
  551.     } ;
  552.  
  553. static yyconst short int yy_base[1012] =
  554.     {   0,
  555.         0,    0,   62,   63,   64,   67,  130,    0,  194,    0,
  556.       247,    0,  302,    0,  365,  427,  489,    0,  546,    0,
  557.       596,    0,   50,   54, 2839, 7351,   85,   89,   62, 7351,
  558.        68, 2819, 7351, 2819,   60, 2824,   64,  636, 2793,   65,
  559.      7351,    0,    0,   90, 2811,    0,    0,  372,  408, 2810,
  560.      7351, 7351, 7351,  108,  117, 7351, 2799, 7351,  658, 2776,
  561.       227,  229,   71, 7351,  396,  254,    0,  255, 7351, 7351,
  562.         0, 2796,  690,    0, 7351,  722, 2774,   81,  245,    0,
  563.       754,    0,  243,  246,  247,  252,  365,  362,   90,  370,
  564.       401,  402, 7351,    0, 2794,  796, 2787, 2786, 2785, 2776,
  565.  
  566.      2775, 2774, 2773, 2772, 2761,  828, 2745,  391,  383,  381,
  567.       337,  422,  260,  425,  442, 7351,    0,  860, 2729, 2734,
  568.       421, 2728, 2726, 2725, 2718, 2713,  371,  892, 2729,  428,
  569.       427,  346,  434,  431,  432,  440,  433,  444,    0, 2727,
  570.      2722, 2713,  472, 7351,  466,  494,  479, 7351,  927,  474,
  571.       958, 2717, 7351, 2711, 2704, 2703, 2702, 2728,  980, 2709,
  572.       465,  468, 2708, 1002, 2699, 1024,   38,    0,    0,  492,
  573.      7351,    0,  722,    0,  505, 1065,  828,  499, 1129,    0,
  574.       544, 2698, 1174, 2697, 1196,  483,  482,  495,  487,  564,
  575.      2683,  519, 7351, 1231,    0,  521, 1262,  759, 7351,    0,
  576.  
  577.      1294, 2682,  502, 2669, 2669,  504, 2681, 1326, 2680, 1348,
  578.       523,   67, 1368,    0, 1410,  516,  527,  520,  386,  592,
  579.       248,  530,  580,  529,  489,  631, 7351, 1455,  617, 1486,
  580.      1373, 7351,    0, 1518, 2666,  581, 2664, 2664,  592, 2690,
  581.      2679, 2678, 2677, 2676, 2664, 2663, 2662, 2661, 2645, 1550,
  582.      2644, 1572,  599,  538,  596,  533,  597,  600,  607,  542,
  583.       655,  653, 1405,    0, 1604, 2625, 2624, 2638, 2621, 2620,
  584.      2606, 2612, 2605, 2587, 2591, 2594, 2605, 1636, 2604, 1658,
  585.       613,  636,  654,  666,  668,  686,  697,  602,  692,  658,
  586.       721, 2585, 2587, 2589,  686, 2580, 2558, 2551, 2550,  732,
  587.  
  588.       761, 1693, 1728,  755,  760, 1759, 1790, 7351, 2538, 2529,
  589.      2532, 2518, 2554, 2535, 1812, 2534, 1834,  687,  719, 1859,
  590.      1904, 1926, 2556, 7351, 1961, 1243, 1467, 2002,  766, 2065,
  591.      2119, 2160, 2165, 2228,  776, 2291, 2339, 2384, 2406, 2511,
  592.      2517, 2500, 2499, 2502,  793,  802, 2441, 2476,    0,  777,
  593.       778, 2507, 2538, 2488, 2487, 2486, 2477, 2476, 2475, 2474,
  594.      2473, 2563, 2608, 2630, 2514, 2513, 2469, 2468, 2482, 2466,
  595.      2467, 2479, 2470, 2466, 2458,    0, 2458,  808,  826, 2665,
  596.      2700,  827,  860, 2731, 2762, 2442, 2430, 2429, 2427, 2426,
  597.      2425, 2424, 2422, 2794, 2829, 2874, 2896, 2436, 2427, 2431,
  598.  
  599.      2429, 2416, 2411, 2414, 2410, 2420, 2407,  739, 2406, 2415,
  600.      2408, 2413, 2406, 2400, 2397, 2382, 2383, 2378, 2405, 2921,
  601.      2966, 2988, 2373, 2360, 2377, 2352, 2361, 2329, 2332, 2317,
  602.      2358, 2327, 2314,  797, 2315, 2245, 2240, 2250, 2237,  825,
  603.      2228, 2232, 2226, 3023, 3054, 2235, 2222, 2226, 2218, 7351,
  604.      3079, 3124, 3146, 2206, 2210, 3171, 3216,  935,  838, 3251,
  605.      3286, 3327,  864, 3381, 3412, 3453, 3501, 3546, 3568,  818,
  606.       859,  860, 2208, 3604,    0, 3635, 7351, 7351, 7351, 7351,
  607.      7351, 7351, 7351, 7351, 7351, 7351, 7351, 7351, 7351, 7351,
  608.      7351, 7351, 3660, 3705,  891, 1322, 3727,  857,  853,  885,
  609.  
  610.      2197,  791,  855,  876,  754, 3771, 3802, 7351, 7351, 7351,
  611.      7351, 7351, 7351, 7351, 7351, 7351, 7351, 7351, 7351, 7351,
  612.      7351, 7351, 7351, 3827, 3872, 3894,  899, 2206,  904,  786,
  613.       905,  884, 1201,  918,  921,  936,  489, 2208, 2196, 2192,
  614.      7351, 2199, 2180, 7351, 2181, 2171, 2168, 3919, 3964, 3986,
  615.      2180, 1202,  920,  933,  866, 2170, 2167, 2162,  629, 1235,
  616.      2161, 2159, 2142, 2147, 2140, 2156, 2149, 2130, 2130, 2124,
  617.      2121, 4021, 4052, 2096, 2097, 7351, 2096, 4077, 4122, 4144,
  618.       936, 2115, 4166, 1226, 1388, 1546, 1257,  979, 1632, 4201,
  619.      4242, 4296, 4337, 2107, 4382, 1223, 1254, 1286, 1289, 2085,
  620.  
  621.      4418,    0, 4449, 2087, 4471, 1308,    0, 2042, 1688, 2170,
  622.      2177, 1273,  980, 2206,  962,  982, 2086,  983, 1004, 1008,
  623.      1006, 4506, 4537, 2100, 4559,  702, 1169,  939, 1295, 1192,
  624.      1309, 1170, 1362, 1361, 1345, 1242, 1227, 2087, 2093, 2096,
  625.      2091, 2046, 2023, 2021, 2040, 2021, 4581, 1302, 1359, 1365,
  626.      1369, 2020, 1195, 1304, 2001, 2005, 2010, 2004, 1989, 1982,
  627.      1998, 1975, 7351, 1965, 1979, 2001, 1977, 1977, 4603, 1254,
  628.      1371, 1979, 1956, 1439, 7351, 2824, 3768, 1411, 1602, 4638,
  629.      1325, 4669, 2201, 4704, 4735, 1971, 1372, 1970,  969, 1385,
  630.      1956,    0, 1945, 2005, 1483, 1515, 1498, 2436, 1734, 7351,
  631.  
  632.      4775, 4782, 1422, 1864, 4811, 1347, 4842, 2660, 1415, 1455,
  633.      1423, 1959, 1958, 1945, 1943, 1372, 1939, 1938, 1497, 1425,
  634.      1499, 1515, 1533, 1519, 1571, 7351, 1925, 7351, 1411, 1931,
  635.      1451, 1925, 7351, 7351, 1904, 1916, 1891, 1895, 1889, 1895,
  636.      1882, 7351, 1874, 1854, 1853, 1167, 1852, 2046, 7351, 1528,
  637.      4789, 4877, 4912, 1549, 4795, 4943, 4974, 1477, 1522, 1560,
  638.      1854, 7351, 1648,    0, 2268, 2184, 7351, 1612, 4809, 5009,
  639.      5044, 1605, 5084, 5109, 5140, 1567, 1652, 1588, 1431, 1614,
  640.      1657, 1842, 1815, 1817, 1796, 1804, 1796, 7351, 1803, 1663,
  641.      7351, 1785, 5089, 1703, 5162, 5104, 1635, 5184, 1729, 1525,
  642.  
  643.      1698, 1774, 2272, 1756, 1787, 1802, 5224, 1739, 5240, 5236,
  644.      1810, 5262, 1884, 1772, 1828, 1654, 1758, 1760, 1755, 1754,
  645.      7351, 1738, 1742, 5284, 5306, 1667, 1735, 1581, 1721, 1974,
  646.         0, 2232, 5328, 5350, 1619, 1673, 1732, 1737, 1719, 1724,
  647.      1689, 1703, 1700, 1699, 7351, 2482, 2213, 2706, 7351, 1920,
  648.      1691, 1689, 1675, 1652, 1587, 1542, 7351, 1439, 1398, 7351,
  649.      7351, 5391, 5408, 5425, 5440, 5455, 5460, 5475, 5484, 5501,
  650.      5518, 5535, 5552, 5569, 5584, 5593, 5608, 5615, 5628, 1370,
  651.      5643, 5652, 1298, 5667, 5682, 1268, 5697, 5706, 1025, 5721,
  652.      5730, 5745, 5760, 5775, 5790, 5799, 5808, 5823, 5840, 5857,
  653.  
  654.      5874, 5891, 5906, 5923, 5938, 5947, 5962, 5977, 5992, 5999,
  655.      6012, 6027, 6039,  916, 6047, 6062, 6074,  863, 6088, 6103,
  656.      6118, 6133, 6145,  780, 6153, 6168, 6180,  695, 6188, 6203,
  657.      6218, 6233, 6248, 6263, 6272, 6287, 6302, 6319, 6334, 6349,
  658.      6366, 6381, 6396, 6411, 6418, 6431, 6446, 6463, 6480, 6497,
  659.      6514, 6531, 6548, 6565, 6582, 6597, 6612, 6627, 6642, 6659,
  660.      6676, 6693, 6710, 6727, 6744, 6761, 6778, 6793, 6808, 6825,
  661.      6840, 6855, 6870, 6885, 6900, 6907, 6920, 6936, 6947, 6962,
  662.      6977, 6992, 7007, 7016, 7033, 7048, 7063, 7078, 7093, 7108,
  663.      7115, 7128, 7144,  559, 7155, 7170, 7185, 7200, 7215, 7224,
  664.  
  665.      7233, 7248, 7263, 7278, 7285, 7299, 7308, 7323,  367, 7339,
  666.       113
  667.     } ;
  668.  
  669. static yyconst short int yy_def[1012] =
  670.     {   0,
  671.       861,    1,  862,  862,  863,  863,  861,    7,  861,    9,
  672.         9,   11,  861,   13,  864,  864,  864,   17,   11,   19,
  673.        16,   21,    1,    1,  861,  861,  861,  861,  865,  861,
  674.       866,  861,  861,  861,  861,  861,  867,  868,  869,  869,
  675.       861,  870,  870,  871,  870,  872,  872,  873,  874,  872,
  676.       861,  861,  861,  861,  861,  861,  861,  861,  875,  876,
  677.       876,  876,  876,  861,  861,  877,  878,  879,  861,  861,
  678.       880,  861,  861,   73,  861,  881,  882,  882,  882,  883,
  679.       861,   81,  882,  882,  882,  882,  882,  882,  882,  882,
  680.       884,  885,  861,  886,  861,  861,   96,   96,   96,   96,
  681.  
  682.        96,   96,   96,   96,   96,  887,  888,  888,  888,  888,
  683.       888,  888,  888,  888,  888,  861,  889,  861,  861,  861,
  684.       861,  861,  861,  861,  861,  861,  861,  890,  891,  891,
  685.       891,  891,  891,  891,  891,  891,  891,  891,   96,  861,
  686.       861,  861,  861,  861,  861,  861,  865,  861,  892,  893,
  687.       894,  861,  861,  861,  861,  861,  861,  861,  895,  896,
  688.       896,  896,  897,  897,  897,  898,  897,  899,  900,  900,
  689.       861,  901,  902,  901,  903,  861,  904,  905,  861,  901,
  690.       861,  906,  906,  906,  907,  906,  906,  906,  906,  861,
  691.       861,  908,  861,  909,  910,  911,  912,  913,  861,  914,
  692.  
  693.       861,  861,  861,  861,  861,  861,  915,  915,  915,  916,
  694.       915,  915,  917,  918,  861,  915,  915,  915,  915,  915,
  695.       915,  915,  915,  915,  915,  919,  861,  920,  921,  922,
  696.       923,  861,  924,  861,  861,  861,  861,  861,  861,  234,
  697.       234,  234,  234,  234,  234,  234,  234,  234,  925,  925,
  698.       925,  926,  925,  925,  925,  925,  925,  925,  925,  925,
  699.       925,  925,  927,  928,  861,  861,  861,  861,  861,  861,
  700.       861,  861,  861,  861,  861,  861,  929,  929,  929,  930,
  701.       929,  929,  929,  929,  929,  929,  929,  929,  929,  929,
  702.       929,  861,  861,  861,  861,  861,  861,  861,  861,  931,
  703.  
  704.       931,  931,  932,  933,  933,  933,  934,  861,  861,  861,
  705.       861,  861,  861,  935,  935,  935,  936,  935,  935,  861,
  706.       320,  320,  321,  861,  937,  938,  938,  938,  939,  861,
  707.       940,  941,  941,  941,  942,  861,  861,  337,  337,  338,
  708.       338,  338,  338,  861,  943,  943,  943,  944,  945,  946,
  709.       946,  946,  947,  948,  949,  950,  951,  952,  953,  954,
  710.       955,  861,  362,  362,  363,  363,  363,  363,  363,  363,
  711.       363,  363,  363,  363,  363,  363,  363,  956,  956,  956,
  712.       957,  958,  958,  958,  959,  960,  961,  962,  963,  964,
  713.       965,  966,  967,  861,  861,  395,  395,  396,  396,  396,
  714.  
  715.       396,  396,  396,  396,  396,  396,  396,  396,  861,  861,
  716.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  717.       420,  420,  421,  421,  421,  421,  421,  421,  421,  421,
  718.       421,  421,  421,  421,  861,  861,  861,  861,  861,  861,
  719.       861,  861,  861,  968,  969,  861,  861,  861,  861,  861,
  720.       861,  451,  451,  452,  452,  861,  456,  970,  971,  971,
  721.       972,  861,  973,  973,  974,  861,  861,  467,  467,  469,
  722.       469,  469,  861,  975,  976,  977,  861,  861,  861,  861,
  723.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  724.       861,  861,  861,  493,  978,  979,  493,  497,  497,  497,
  725.  
  726.       497,  497,  497,  497,  497,  980,  981,  861,  861,  861,
  727.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  728.       861,  861,  861,  861,  524,  524,  526,  526,  526,  526,
  729.       526,  526,  526,  526,  526,  526,  526,  861,  861,  861,
  730.       861,  861,  861,  861,  861,  861,  861,  861,  548,  548,
  731.       550,  550,  550,  550,  550,  550,  550,  550,  550,  550,
  732.       550,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  733.       861,  982,  983,  861,  861,  861,  861,  861,  578,  578,
  734.       580,  984,  984,  985,  985,  985,  986,  987,  985,  988,
  735.       861,  989,  861,  469,  469,  469,  469,  469,  469,  861,
  736.  
  737.       990,  991,  992,  497,  493,  993,  994,  993,  995,  995,
  738.       995,  996,  997,  995,  497,  497,  497,  497,  497,  497,
  739.       497,  998,  999, 1000, 1000, 1000, 1000, 1000, 1000, 1000,
  740.      1000, 1000, 1000, 1000, 1000, 1000, 1000,  861,  861,  861,
  741.       861,  861,  861,  861,  861, 1001, 1001, 1001, 1001, 1001,
  742.      1001, 1001, 1001, 1001,  861,  861,  861,  861,  861,  861,
  743.       861,  861,  861,  861,  861,  861,  861,  580,  580,  580,
  744.       580,  984,  985,  861,  861,  985,  985,  986,  861, 1002,
  745.       987, 1003,  985, 1004,  989,  469,  469,  469,  469,  469,
  746.       861, 1005,  497,  994,  861,  861, 1006,  995,  861,  861,
  747.  
  748.       995,  995,  996,  861, 1007,  997, 1008,  995,  497,  497,
  749.       497, 1000, 1000, 1000, 1000, 1000, 1000, 1000, 1000, 1000,
  750.      1000, 1000, 1000, 1000, 1000,  861,  861,  861,  861,  861,
  751.       861, 1001,  861,  861,  861,  861,  861,  861,  861,  861,
  752.       861,  861,  861,  861,  580,  580,  580,  861,  861,  986,
  753.       986,  986, 1002,  987,  987,  987, 1003,  469,  469,  469,
  754.       861,  861, 1006, 1009,  763,  861,  861,  996,  996,  996,
  755.      1007,  997,  997,  997, 1008,  497,  497,  497, 1000, 1000,
  756.      1000,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  757.       861,  580,  986,  986,  752,  987,  987,  756,  469,  469,
  758.  
  759.       469,  861, 1009,  861,  861, 1010,  996,  996,  770,  997,
  760.       997,  774,  497,  497,  497, 1000,  861,  861,  861,  861,
  761.       861,  861,  861,  752,  756,  469,  469,  469,  861, 1010,
  762.      1011,  830,  770,  774,  497, 1000,  861,  861,  861,  861,
  763.       861,  861,  469,  469,  861, 1011,  861,  861,  861,  497,
  764.      1000,  861,  861,  861,  861,  861,  861,  497,  861,  861,
  765.         0,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  766.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  767.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  768.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  769.  
  770.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  771.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  772.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  773.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  774.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  775.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  776.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  777.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  778.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  779.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  780.  
  781.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  782.       861
  783.     } ;
  784.  
  785. static yyconst short int yy_nxt[7416] =
  786.     {   0,
  787.        26,   27,   28,   27,   27,   26,   29,   30,   26,   26,
  788.        31,   26,   26,   26,   26,   30,   32,   33,   34,   26,
  789.        26,   26,   26,   26,   26,   26,   26,   26,   26,   35,
  790.        30,   36,   26,   37,   38,   39,   39,   39,   39,   39,
  791.        39,   39,   39,   39,   39,   39,   39,   39,   39,   39,
  792.        39,   39,   39,   39,   39,   40,   39,   39,   39,   39,
  793.        39,   41,   26,   39,   43,   43,   47,  144,  148,   47,
  794.        48,  144,  166,   48,   49,   44,   44,   49,  148,  145,
  795.        45,   45,   50,  145,  323,   50,  146,  146,  146,  146,
  796.       146,  146,  146,  146,   51,  154,  149,   51,  159,  166,
  797.  
  798.       155,  210,  151,  170,  161,  185,  156,  162,  171,  181,
  799.       181,  181,  181,  366,  189,  210,  157,  167,  181,  181,
  800.       181,  181,  211,  846,  210,   52,   53,  223,   52,   53,
  801.        26,   54,   55,   54,   54,   26,   26,   56,   26,   26,
  802.        26,   26,   26,   26,   56,   56,   56,   26,   57,   26,
  803.        26,   26,   26,   26,   26,   26,   26,   26,   26,   58,
  804.        56,   26,   26,   26,   59,   60,   61,   60,   60,   60,
  805.        62,   60,   60,   60,   60,   60,   63,   60,   60,   60,
  806.        60,   60,   60,   60,   60,   60,   60,   60,   60,   60,
  807.        60,   26,   64,   60,   26,   54,   55,   54,   54,   65,
  808.  
  809.        66,   67,   26,   26,   68,   69,   69,   26,   70,   70,
  810.        70,   71,   72,   73,   74,   74,   74,   74,   74,   74,
  811.        74,   74,   74,   70,   75,   26,   26,   26,   76,   77,
  812.        77,   77,   77,   77,   77,   77,   77,   77,   77,   77,
  813.        77,   77,   77,   77,   77,   77,   78,   77,   77,   79,
  814.        77,   77,   77,   77,   77,   26,   64,   77,   26,   26,
  815.       193,  185,  186,  185,   80,  193,   81,   82,   82,   82,
  816.        82,   82,   82,   82,   82,   82,  187,  210,  188,  210,
  817.       210,  210,  210,   83,   84,  217,  210,   85,  194,  197,
  818.       218,  219,  216,   86,  252,   87,  259,  212,  373,   88,
  819.  
  820.        89,   90,   26,   54,   55,   54,   54,   65,   91,   26,
  821.        26,   26,   92,   26,   26,   26,   93,   93,   26,   94,
  822.        95,   96,   97,   98,   99,  100,  101,  102,  103,  104,
  823.       105,   93,   75,   26,   26,   26,  106,  107,  108,  107,
  824.       107,  107,  107,  107,  107,  109,  107,  107,  110,  111,
  825.       112,  113,  107,  107,  107,  114,  107,  107,  107,  107,
  826.       115,  107,  107,   26,   64,  107,   54,   55,   54,   54,
  827.        65,  252,  172,  172,  172,  172,  257,  803,  174,  116,
  828.       280,  116,  117,   34,  118,  118,  118,  118,  118,  118,
  829.       118,  118,  118,  118,  284,   75,  210,  190,  190,  210,
  830.  
  831.       190,  221,  175,  211,  210,  222,  176,  227,  172,  172,
  832.       172,  172,  227,  119,  220,  252,  255,  252,  174,  224,
  833.       210,  275,  225,  276,  256,  252,  370,   64,   54,   55,
  834.        54,   54,   65,  175,  175,  228,  230,  254,  178,  191,
  835.       253,  116,  179,  116,  117,   34,  118,  118,  118,  118,
  836.       118,  118,  118,  118,  118,  118,  252,   75,  261,  252,
  837.       268,  280,  280,  281,  269,  280,  280,  280,  280,  178,
  838.       178,  258,  260,  285,  280,  119,  252,  282,  280,  283,
  839.       286,  288,  290,  289,  148,  148,  291,  287,  295,   64,
  840.        54,   55,   54,   54,   65,  146,  146,  146,  146,  317,
  841.  
  842.       262,  297,  317,   93,   93,  170,  155,   34,  151,  324,
  843.       171,  324,  298,  149,  318,  319,  185,  185,   93,   75,
  844.       340,  185,  299,  210,  377,  193,  120,  121,  251,  185,
  845.       296,  193,  122,  331,  341,  123,  637,  124,  125,  325,
  846.       343,  359,  126,  342,  127,  181,  181,  181,  181,  355,
  847.       210,   64,   26,  194,  210,  197,   26,  210,  360,  365,
  848.       356,  210,  361,  210,  210,  190,  190,  252,  190,  694,
  849.       367,  374,  252,  399,  401,  368,  252,  405,  369,  376,
  850.       128,  129,  129,  129,  130,  129,  129,  131,  129,  132,
  851.       129,  129,  129,  133,  134,  135,  129,  129,  136,  137,
  852.  
  853.       138,  129,  129,  129,  129,  129,  129,  191,  371,  129,
  854.        93,   93,   26,   94,  210,   96,  139,  139,  139,  139,
  855.       139,  139,  139,  139,  139,   93,  210,  227,  387,  391,
  856.       252,  252,  375,  252,  252,  402,  280,  227,  431,  388,
  857.       372,  252,  140,  141,   26,  398,  392,  280,  400,  142,
  858.       393,  230,  403,  404,  143,  164,  164,  164,  164,  164,
  859.       164,  164,  164,  164,  164,  228,  423,  556,  279,  408,
  860.       280,  164,  164,  164,  164,  164,  164,  183,  183,  183,
  861.       183,  183,  183,  183,  183,  183,  183,  252,  280,  252,
  862.       424,  425,  280,  183,  183,  183,  183,  183,  183,  199,
  863.  
  864.       280,  406,  280,  426,  433,  263,  428,  200,  407,  201,
  865.       201,  201,  201,  201,  201,  201,  201,  201,  201,  427,
  866.       280,  317,  172,  172,  172,  172,  280,  202,  174,  203,
  867.       432,  280,  438,  204,  429,  454,  252,  205,  148,  439,
  868.       206,  208,  208,  208,  208,  208,  208,  208,  208,  208,
  869.       208,  430,  175,  317,  713,  280,  176,  208,  208,  208,
  870.       208,  208,  208,  199,  434,  148,  149,  148,  199,  455,
  871.       148,  214,  324,  215,  215,  215,  215,  215,  215,  215,
  872.       215,  215,  215,  175,  175,  536,  324,  193,  193,  151,
  873.       231,  202,  537,  203,  151,  149,  202,  204,  203,  193,
  874.  
  875.       325,  205,  204,  209,  206,  232,  205,  621,  193,  206,
  876.       331,  197,  197,  233,  227,  234,  234,  234,  234,  234,
  877.       234,  234,  234,  234,  234,  251,  619,  194,  172,  172,
  878.       172,  172,  227,  235,  560,  236,  194,  227,  174,  237,
  879.       209,  630,  228,  238,  324,  561,  239,  250,  250,  250,
  880.       250,  250,  250,  250,  250,  250,  250,  597,  178,  184,
  881.       228,  230,  179,  250,  250,  250,  250,  250,  250,  232,
  882.       227,  567,  325,  213,  324,  598,  599,  264,  568,  265,
  883.       265,  265,  265,  265,  265,  265,  265,  265,  265,  178,
  884.       178,  617,  606,  606,  230,  606,  616,  235,  331,  236,
  885.  
  886.       184,  184,  209,  237,  209,  279,  209,  238,  607,  376,
  887.       239,  278,  278,  278,  278,  278,  278,  278,  278,  278,
  888.       278,  653,  620,  251,  618,  209,  198,  278,  278,  278,
  889.       278,  278,  278,  301,  209,  632,  585,  586,  251,  586,
  890.       631,  587,  627,  251,  251,  588,  302,  302,  302,  302,
  891.       302,  302,  302,  302,  302,  302,  635,  251,  629,  279,
  892.       251,  303,  302,  302,  302,  302,  302,  302,  305,  589,
  893.       634,  636,  279,  252,  316,  251,  651,  306,  306,  306,
  894.       306,  306,  306,  306,  306,  306,  306,  652,  671,  679,
  895.       704,  715,  307,  306,  306,  306,  306,  306,  306,  315,
  896.  
  897.       315,  315,  315,  315,  315,  315,  315,  315,  315,  376,
  898.       184,  209,  759,  682,  707,  315,  315,  315,  315,  315,
  899.       315,  320,  320,  320,  320,  320,  320,  320,  320,  320,
  900.       320,  209,  209,  709,  376,  263,  166,  320,  320,  320,
  901.       320,  320,  320,  322,  322,  322,  322,  322,  322,  322,
  902.       322,  322,  322,  209,  617,  209,  711,  209,  710,  322,
  903.       322,  322,  322,  322,  322,  172,  172,  172,  172,  326,
  904.       326,  327,  326,  326,  326,  326,  326,  326,  326,  326,
  905.       326,  326,  326,  326,  328,  328,  328,  328,  328,  328,
  906.       328,  328,  328,  328,  326,  329,  326,  326,  326,  330,
  907.  
  908.       328,  328,  328,  328,  328,  328,  326,  326,  326,  326,
  909.       326,  326,  326,  326,  326,  326,  326,  326,  326,  326,
  910.       326,  326,  326,  326,  326,  326,  329,  329,  326,  172,
  911.       172,  172,  172,  332,  332,  332,  332,  332,  332,  333,
  912.       332,  332,  332,  332,  332,  332,  332,  332,  334,  334,
  913.       334,  334,  334,  334,  334,  334,  334,  334,  332,  335,
  914.       332,  332,  332,  336,  334,  334,  334,  334,  334,  334,
  915.       332,  332,  332,  332,  332,  332,  332,  332,  332,  332,
  916.       332,  332,  332,  332,  332,  332,  332,  332,  332,  332,
  917.       335,  335,  332,  337,  337,  337,  337,  337,  337,  337,
  918.  
  919.       337,  337,  337,  252,  252,  316,  714,  792,  185,  337,
  920.       337,  337,  337,  337,  337,  339,  339,  339,  339,  339,
  921.       339,  339,  339,  339,  339,  719,  252,  673,  674,  280,
  922.       674,  339,  339,  339,  339,  339,  339,  346,  675,  717,
  923.       251,  279,  561,  172,  172,  172,  172,  633,  650,  174,
  924.       347,  347,  347,  347,  347,  347,  347,  347,  347,  347,
  925.       589,  252,  725,  679,  184,  348,  347,  347,  347,  347,
  926.       347,  347,  351,  175,  279,  687,  252,  176,  231,  704,
  927.       561,  352,  352,  352,  352,  352,  352,  352,  352,  352,
  928.       352,  680,  316,  746,  724,  184,  353,  352,  352,  352,
  929.  
  930.       352,  352,  352,  199,  175,  175,  688,  705,  213,  606,
  931.       606,  200,  606,  201,  201,  201,  201,  201,  201,  201,
  932.       201,  201,  201,  610,  611,  607,  611,  184,  612,  252,
  933.       184,  202,  613,  203,  716,  679,  280,  204,  280,  689,
  934.       556,  205,  690,  252,  206,  362,  362,  362,  362,  362,
  935.       362,  362,  362,  362,  362,  718,  614,  704,  652,  682,
  936.       210,  362,  362,  362,  362,  362,  362,  364,  364,  364,
  937.       364,  364,  364,  364,  364,  364,  364,  199,  720,  252,
  938.       198,  707,  232,  364,  364,  364,  364,  364,  364,  676,
  939.       677,  723,  677,  280,  587,  252,  252,  556,  588,  280,
  940.  
  941.       675,  721,  722,  280,  556,  202,  252,  203,  652,  316,
  942.       235,  204,  236,  184,  232,  205,  237,  679,  206,  199,
  943.       238,  758,  589,  239,  713,  747,  184,  214,  704,  215,
  944.       215,  215,  215,  215,  215,  215,  215,  215,  215,  760,
  945.       674,  674,  235,  674,  236,  680,  782,  202,  237,  203,
  946.       860,  675,  238,  204,  776,  239,  705,  205,  778,  252,
  947.       206,  379,  779,  783,  209,  252,  816,  172,  172,  172,
  948.       172,  777,  209,  174,  380,  380,  380,  380,  380,  380,
  949.       380,  380,  380,  380,  695,  695,  784,  695,  209,  381,
  950.       380,  380,  380,  380,  380,  380,  383,  175,  697,  763,
  951.  
  952.       763,  176,  763,  785,  209,  384,  384,  384,  384,  384,
  953.       384,  384,  384,  384,  384,  764,  695,  695,  184,  695,
  954.       385,  384,  384,  384,  384,  384,  384,  232,  175,  175,
  955.       697,  252,  799,  252,  679,  233,  714,  234,  234,  234,
  956.       234,  234,  234,  234,  234,  234,  234,  585,  586,  252,
  957.       586,  715,  587,  252,  715,  235,  588,  236,  861,  679,
  958.       780,  237,  680,  184,  827,  238,  184,  252,  239,  395,
  959.       395,  395,  395,  395,  395,  395,  395,  395,  395,  717,
  960.       589,  859,  800,  682,  252,  395,  395,  395,  395,  395,
  961.       395,  397,  397,  397,  397,  397,  397,  397,  397,  397,
  962.  
  963.       397,  184,  813,  748,  748,  252,  748,  397,  397,  397,
  964.       397,  397,  397,  232,  749,  704,  209,  781,  704,  801,
  965.       844,  264,  184,  265,  265,  265,  265,  265,  265,  265,
  966.       265,  265,  265,  673,  674,  541,  673,  209,  584,  707,
  967.       815,  235,  584,  236,  683,  679,  705,  237,  252,  763,
  968.       763,  238,  763,  715,  239,  420,  420,  420,  420,  420,
  969.       420,  420,  420,  420,  420,  764,  589,  850,  209,  682,
  970.       280,  420,  420,  420,  420,  420,  420,  422,  422,  422,
  971.       422,  422,  422,  422,  422,  422,  422,  541,  252,  698,
  972.       699,  252,  699,  422,  422,  422,  422,  422,  422,  148,
  973.  
  974.       700,  209,  822,  717,  836,  843,  823,  252,  184,  679,
  975.       814,  814,  444,  444,  444,  444,  444,  444,  444,  444,
  976.       444,  444,  614,  541,  541,  252,  851,  149,  444,  444,
  977.       444,  444,  444,  444,  301,  699,  699,  680,  699,  184,
  978.       184,  184,  857,  856,  828,  704,  700,  302,  302,  302,
  979.       302,  302,  302,  302,  302,  302,  302,  804,  804,  855,
  980.       804,  854,  303,  302,  302,  302,  302,  302,  302,  148,
  981.       184,  806,  853,  705,  852,  845,  184,  826,  445,  445,
  982.       445,  445,  445,  445,  445,  445,  445,  445,  804,  804,
  983.       842,  804,  841,  151,  445,  445,  445,  445,  445,  445,
  984.  
  985.       305,  840,  806,  830,  830,  839,  830,  838,  837,  306,
  986.       306,  306,  306,  306,  306,  306,  306,  306,  306,  831,
  987.       704,  209,  829,  316,  307,  306,  306,  306,  306,  306,
  988.       306,  451,  451,  451,  451,  451,  451,  451,  451,  451,
  989.       451,  821,  734,  733,  707,  820,  317,  451,  451,  451,
  990.       451,  451,  451,  453,  453,  453,  453,  453,  453,  453,
  991.       453,  453,  453,  819,  818,  766,  766,  835,  766,  453,
  992.       453,  453,  453,  453,  453,  165,  767,  209,  456,  456,
  993.       456,  456,  456,  456,  456,  456,  456,  456,  817,  802,
  994.       316,  316,  791,  166,  456,  456,  456,  456,  456,  456,
  995.  
  996.       165,  165,  165,  165,  165,  165,  165,  165,  165,  165,
  997.       165,  165,  165,  165,  165,  165,  165,  165,  165,  165,
  998.       790,  789,  165,  165,  165,  165,  165,  165,  165,  165,
  999.       165,  165,  165,  209,  788,  787,  786,  734,  814,  165,
  1000.       165,  165,  165,  165,  165,  457,  457,  457,  457,  457,
  1001.       457,  457,  457,  457,  457,  733,  733,  673,  674,  280,
  1002.       674,  457,  457,  457,  457,  457,  457,  459,  675,  209,
  1003.       728,  541,  252,  252,  858,  830,  830,  252,  830,  252,
  1004.       460,  460,  460,  460,  460,  460,  460,  460,  460,  460,
  1005.       589,  831,  252,  252,  209,  461,  460,  460,  460,  460,
  1006.  
  1007.       460,  460,  172,  172,  172,  172,  695,  695,  174,  695,
  1008.       761,  184,  184,  166,  696,  316,  744,  743,  742,  741,
  1009.       697,  462,  462,  462,  462,  462,  462,  462,  462,  462,
  1010.       462,  740,  175,  739,  738,  737,  176,  462,  462,  462,
  1011.       462,  462,  462,  695,  695,  736,  695,  748,  748,  735,
  1012.       748,  696,  734,  733,  280,  280,  731,  697,  749,  607,
  1013.       541,  730,  729,  175,  175,  172,  172,  172,  172,  326,
  1014.       326,  327,  326,  326,  326,  326,  326,  326,  326,  326,
  1015.       326,  326,  326,  326,  328,  328,  328,  328,  328,  328,
  1016.       328,  328,  328,  328,  326,  329,  326,  326,  326,  330,
  1017.  
  1018.       328,  328,  328,  328,  328,  328,  326,  326,  326,  326,
  1019.       326,  326,  326,  326,  326,  326,  326,  326,  326,  326,
  1020.       326,  326,  326,  326,  326,  326,  329,  329,  326,  463,
  1021.       728,  727,  541,  726,  252,  209,  209,  691,  464,  464,
  1022.       464,  464,  464,  464,  464,  464,  464,  464,  184,  166,
  1023.       667,  666,  665,  465,  464,  464,  464,  464,  464,  464,
  1024.       172,  172,  172,  172,  664,  172,  172,  172,  172,  663,
  1025.       174,  701,  702,  662,  702,  174,  612,  661,  610,  611,
  1026.       613,  611,  700,  612,  660,  766,  766,  613,  766,  861,
  1027.       178,  659,  658,  657,  179,  178,  767,  656,  655,  179,
  1028.  
  1029.       279,  652,  673,  674,  614,  674,  654,  698,  699,  279,
  1030.       698,  614,  609,  675,  847,  847,  609,  847,  708,  649,
  1031.       645,  178,  178,  644,  643,  849,  178,  178,  172,  172,
  1032.       172,  172,  642,  847,  847,  589,  847,  641,  174,  640,
  1033.       614,  848,  639,  638,  849,  628,  209,  466,  466,  466,
  1034.       466,  466,  466,  466,  466,  466,  466,  600,  178,  581,
  1035.       580,  577,  179,  466,  466,  466,  466,  466,  466,  804,
  1036.       804,  576,  804,  804,  804,  575,  804,  805,  574,  571,
  1037.       570,  805,  569,  806,  566,  565,  564,  806,  563,  178,
  1038.       178,  172,  172,  172,  172,  332,  332,  332,  332,  332,
  1039.  
  1040.       332,  333,  332,  332,  332,  332,  332,  332,  332,  332,
  1041.       334,  334,  334,  334,  334,  334,  334,  334,  334,  334,
  1042.       332,  335,  332,  332,  332,  336,  334,  334,  334,  334,
  1043.       334,  334,  332,  332,  332,  332,  332,  332,  332,  332,
  1044.       332,  332,  332,  332,  332,  332,  332,  332,  332,  332,
  1045.       332,  332,  335,  335,  332,  184,  562,  559,  467,  467,
  1046.       467,  467,  467,  467,  467,  467,  467,  467,  558,  495,
  1047.       557,  556,  555,  185,  467,  467,  467,  467,  467,  467,
  1048.       184,  184,  184,  184,  184,  184,  184,  184,  184,  184,
  1049.       184,  184,  184,  184,  184,  184,  184,  184,  184,  184,
  1050.  
  1051.       554,  553,  184,  184,  184,  184,  184,  184,  184,  184,
  1052.       184,  184,  184,  552,  551,  550,  496,  547,  546,  184,
  1053.       184,  184,  184,  184,  184,  468,  468,  468,  468,  468,
  1054.       468,  468,  468,  468,  468,  545,  544,  698,  699,  543,
  1055.       699,  468,  468,  468,  468,  468,  468,  193,  700,  542,
  1056.       541,  540,  539,  538,  535,  534,  533,  532,  531,  530,
  1057.       474,  474,  474,  474,  474,  474,  474,  474,  474,  474,
  1058.       614,  529,  528,  527,  526,  194,  474,  474,  474,  474,
  1059.       474,  474,  346,  847,  847,  523,  847,  521,  519,  517,
  1060.       515,  848,  513,  511,  849,  347,  347,  347,  347,  347,
  1061.  
  1062.       347,  347,  347,  347,  347,  509,  505,  504,  503,  502,
  1063.       348,  347,  347,  347,  347,  347,  347,  193,  501,  500,
  1064.       376,  499,  498,  497,  496,  495,  476,  476,  476,  476,
  1065.       476,  476,  476,  476,  476,  476,  492,  490,  488,  486,
  1066.       484,  197,  476,  476,  476,  476,  476,  476,  351,  482,
  1067.       480,  478,  473,  472,  471,  470,  469,  352,  352,  352,
  1068.       352,  352,  352,  352,  352,  352,  352,  458,  317,  317,
  1069.       450,  449,  353,  352,  352,  352,  352,  352,  352,  209,
  1070.       448,  447,  493,  493,  493,  493,  493,  493,  493,  493,
  1071.       493,  493,  446,  443,  442,  441,  440,  210,  493,  493,
  1072.  
  1073.       493,  493,  493,  493,  209,  209,  209,  209,  209,  209,
  1074.       209,  209,  209,  209,  209,  209,  209,  209,  209,  209,
  1075.       209,  209,  209,  209,  437,  436,  209,  209,  209,  209,
  1076.       209,  209,  209,  209,  209,  209,  209,  435,  280,  280,
  1077.       419,  418,  417,  209,  209,  209,  209,  209,  209,  494,
  1078.       494,  494,  494,  494,  494,  494,  494,  494,  494,  416,
  1079.       415,  698,  699,  414,  699,  494,  494,  494,  494,  494,
  1080.       494,  227,  700,  413,  412,  411,  410,  409,  252,  252,
  1081.       394,  394,  394,  394,  506,  506,  506,  506,  506,  506,
  1082.       506,  506,  506,  506,  614,  394,  394,  394,  394,  228,
  1083.  
  1084.       506,  506,  506,  506,  506,  506,  379,  847,  847,  394,
  1085.       847,  390,  389,  386,  210,  210,  358,  357,  849,  380,
  1086.       380,  380,  380,  380,  380,  380,  380,  380,  380,  354,
  1087.       344,  185,  185,  166,  381,  380,  380,  380,  380,  380,
  1088.       380,  227,  166,  317,  313,  312,  311,  310,  309,  308,
  1089.       507,  507,  507,  507,  507,  507,  507,  507,  507,  507,
  1090.       294,  293,  292,  280,  274,  230,  507,  507,  507,  507,
  1091.       507,  507,  383,  273,  272,  271,  270,  267,  266,  252,
  1092.       248,  384,  384,  384,  384,  384,  384,  384,  384,  384,
  1093.       384,  247,  246,  245,  244,  243,  385,  384,  384,  384,
  1094.  
  1095.       384,  384,  384,  232,  242,  241,  240,  153,  210,  153,
  1096.       185,  233,  153,  234,  234,  234,  234,  234,  234,  234,
  1097.       234,  234,  234,  180,  153,  676,  677,  166,  677,  158,
  1098.       587,  235,  153,  236,  588,  152,  675,  237,  861,  861,
  1099.       861,  238,  861,  861,  239,  251,  861,  861,  524,  524,
  1100.       524,  524,  524,  524,  524,  524,  524,  524,  589,  861,
  1101.       861,  861,  861,  252,  524,  524,  524,  524,  524,  524,
  1102.       251,  251,  251,  251,  251,  251,  251,  251,  251,  251,
  1103.       251,  251,  251,  251,  251,  251,  251,  251,  251,  251,
  1104.       861,  861,  251,  251,  251,  251,  251,  251,  251,  251,
  1105.  
  1106.       251,  251,  251,  861,  861,  861,  861,  861,  861,  251,
  1107.       251,  251,  251,  251,  251,  525,  525,  525,  525,  525,
  1108.       525,  525,  525,  525,  525,  861,  861,  861,  861,  861,
  1109.       861,  525,  525,  525,  525,  525,  525,  279,  861,  861,
  1110.       548,  548,  548,  548,  548,  548,  548,  548,  548,  548,
  1111.       861,  861,  861,  861,  861,  280,  548,  548,  548,  548,
  1112.       548,  548,  279,  279,  279,  279,  279,  279,  279,  279,
  1113.       279,  279,  279,  279,  279,  279,  279,  279,  279,  279,
  1114.       279,  279,  861,  861,  279,  279,  279,  279,  279,  279,
  1115.       279,  279,  279,  279,  279,  861,  861,  861,  861,  861,
  1116.  
  1117.       861,  279,  279,  279,  279,  279,  279,  549,  549,  549,
  1118.       549,  549,  549,  549,  549,  549,  549,  861,  861,  861,
  1119.       861,  861,  861,  549,  549,  549,  549,  549,  549,  148,
  1120.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1121.       861,  861,  572,  572,  572,  572,  572,  572,  572,  572,
  1122.       572,  572,  861,  861,  861,  861,  861,  149,  572,  572,
  1123.       572,  572,  572,  572,  148,  861,  861,  861,  861,  861,
  1124.       861,  861,  861,  573,  573,  573,  573,  573,  573,  573,
  1125.       573,  573,  573,  861,  861,  861,  861,  861,  151,  573,
  1126.       573,  573,  573,  573,  573,  316,  861,  861,  578,  578,
  1127.  
  1128.       578,  578,  578,  578,  578,  578,  578,  578,  861,  861,
  1129.       861,  861,  861,  317,  578,  578,  578,  578,  578,  578,
  1130.       316,  316,  316,  316,  316,  316,  316,  316,  316,  316,
  1131.       316,  316,  316,  316,  316,  316,  316,  316,  316,  316,
  1132.       861,  861,  316,  316,  316,  316,  316,  316,  316,  316,
  1133.       316,  316,  316,  861,  861,  861,  861,  861,  861,  316,
  1134.       316,  316,  316,  316,  316,  579,  579,  579,  579,  579,
  1135.       579,  579,  579,  579,  579,  861,  861,  861,  861,  861,
  1136.       861,  579,  579,  579,  579,  579,  579,  165,  861,  861,
  1137.       582,  582,  582,  582,  582,  582,  582,  582,  582,  582,
  1138.  
  1139.       861,  861,  861,  861,  861,  166,  582,  582,  582,  582,
  1140.       582,  582,  165,  165,  165,  165,  165,  165,  165,  165,
  1141.       165,  165,  165,  165,  165,  165,  165,  165,  165,  165,
  1142.       165,  165,  861,  861,  165,  583,  583,  583,  583,  583,
  1143.       583,  583,  583,  583,  583,  861,  861,  861,  861,  861,
  1144.       861,  583,  583,  583,  583,  583,  583,  324,  861,  861,
  1145.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1146.       590,  590,  590,  590,  590,  590,  590,  590,  590,  590,
  1147.       861,  861,  861,  861,  861,  325,  590,  590,  590,  590,
  1148.       590,  590,  459,  861,  861,  861,  861,  861,  861,  861,
  1149.  
  1150.       861,  861,  861,  861,  861,  460,  460,  460,  460,  460,
  1151.       460,  460,  460,  460,  460,  861,  861,  861,  861,  861,
  1152.       461,  460,  460,  460,  460,  460,  460,  172,  172,  172,
  1153.       172,  173,  173,  174,  173,  173,  173,  173,  173,  173,
  1154.       173,  173,  173,  173,  173,  173,  591,  591,  591,  591,
  1155.       591,  591,  591,  591,  591,  591,  173,  175,  173,  173,
  1156.       173,  176,  591,  591,  591,  591,  591,  591,  173,  173,
  1157.       173,  173,  173,  173,  173,  173,  173,  173,  173,  173,
  1158.       173,  173,  173,  173,  173,  173,  173,  173,  175,  175,
  1159.       173,  324,  861,  861,  861,  861,  861,  861,  861,  861,
  1160.  
  1161.       592,  592,  592,  592,  592,  592,  592,  592,  592,  592,
  1162.       861,  861,  861,  861,  861,  331,  592,  592,  592,  592,
  1163.       592,  592,  463,  861,  861,  861,  861,  861,  861,  861,
  1164.       861,  464,  464,  464,  464,  464,  464,  464,  464,  464,
  1165.       464,  861,  861,  861,  861,  861,  465,  464,  464,  464,
  1166.       464,  464,  464,  172,  172,  172,  172,  177,  177,  177,
  1167.       177,  177,  177,  174,  177,  177,  177,  177,  177,  177,
  1168.       177,  177,  593,  593,  593,  593,  593,  593,  593,  593,
  1169.       593,  593,  177,  178,  177,  177,  177,  179,  593,  593,
  1170.       593,  593,  593,  593,  177,  177,  177,  177,  177,  177,
  1171.  
  1172.       177,  177,  177,  177,  177,  177,  177,  177,  177,  177,
  1173.       177,  177,  177,  177,  178,  178,  177,  184,  861,  861,
  1174.       594,  594,  594,  594,  594,  594,  594,  594,  594,  594,
  1175.       861,  861,  861,  861,  861,  185,  594,  594,  594,  594,
  1176.       594,  594,  184,  184,  184,  184,  184,  184,  184,  184,
  1177.       184,  184,  184,  184,  184,  184,  184,  184,  184,  184,
  1178.       184,  184,  861,  861,  184,  595,  595,  595,  595,  595,
  1179.       595,  595,  595,  595,  595,  861,  861,  861,  861,  861,
  1180.       861,  595,  595,  595,  595,  595,  595,  184,  184,  184,
  1181.       184,  184,  184,  184,  184,  184,  184,  861,  861,  861,
  1182.  
  1183.       861,  861,  861,  184,  184,  184,  184,  184,  184,  596,
  1184.       193,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1185.       861,  861,  861,  601,  601,  601,  601,  601,  601,  601,
  1186.       601,  601,  601,  861,  861,  861,  861,  861,  194,  601,
  1187.       601,  601,  601,  601,  601,  193,  861,  861,  861,  861,
  1188.       861,  861,  861,  861,  603,  603,  603,  603,  603,  603,
  1189.       603,  603,  603,  603,  861,  861,  861,  861,  861,  197,
  1190.       603,  603,  603,  603,  603,  603,  209,  861,  861,  604,
  1191.       604,  604,  604,  604,  604,  604,  604,  604,  604,  861,
  1192.       861,  861,  861,  861,  210,  604,  604,  604,  604,  604,
  1193.  
  1194.       604,  209,  209,  209,  209,  209,  209,  209,  209,  209,
  1195.       209,  209,  209,  209,  209,  209,  209,  209,  209,  209,
  1196.       209,  861,  861,  209,  605,  605,  605,  605,  605,  605,
  1197.       605,  605,  605,  605,  861,  861,  861,  861,  861,  861,
  1198.       605,  605,  605,  605,  605,  605,  209,  209,  209,  209,
  1199.       209,  209,  209,  209,  209,  209,  861,  861,  861,  861,
  1200.       861,  861,  209,  209,  209,  209,  209,  209,  861,  676,
  1201.       677,  861,  677,  861,  587,  861,  615,  227,  588,  861,
  1202.       675,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1203.       622,  622,  622,  622,  622,  622,  622,  622,  622,  622,
  1204.  
  1205.       861,  861,  589,  861,  861,  228,  622,  622,  622,  622,
  1206.       622,  622,  227,  861,  861,  861,  861,  861,  861,  861,
  1207.       861,  623,  623,  623,  623,  623,  623,  623,  623,  623,
  1208.       623,  861,  861,  861,  861,  861,  230,  623,  623,  623,
  1209.       623,  623,  623,  251,  861,  861,  624,  624,  624,  624,
  1210.       624,  624,  624,  624,  624,  624,  861,  861,  861,  861,
  1211.       861,  252,  624,  624,  624,  624,  624,  624,  251,  251,
  1212.       251,  251,  251,  251,  251,  251,  251,  251,  251,  251,
  1213.       251,  251,  251,  251,  251,  251,  251,  251,  861,  861,
  1214.       251,  625,  625,  625,  625,  625,  625,  625,  625,  625,
  1215.  
  1216.       625,  861,  861,  861,  861,  861,  861,  625,  625,  625,
  1217.       625,  625,  625,  251,  251,  251,  251,  251,  251,  251,
  1218.       251,  251,  251,  861,  861,  861,  861,  861,  861,  251,
  1219.       251,  251,  251,  626,  251,  279,  861,  861,  646,  646,
  1220.       646,  646,  646,  646,  646,  646,  646,  646,  861,  861,
  1221.       861,  861,  861,  280,  646,  646,  646,  646,  646,  646,
  1222.       279,  279,  279,  279,  279,  279,  279,  279,  279,  279,
  1223.       279,  279,  279,  279,  279,  279,  279,  279,  279,  279,
  1224.       861,  861,  279,  647,  647,  647,  647,  647,  647,  647,
  1225.       647,  647,  647,  861,  861,  861,  861,  861,  861,  647,
  1226.  
  1227.       647,  647,  647,  647,  647,  279,  279,  279,  279,  279,
  1228.       279,  279,  279,  279,  279,  861,  861,  861,  861,  861,
  1229.       861,  279,  279,  279,  279,  648,  279,  148,  861,  861,
  1230.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1231.       300,  300,  300,  300,  300,  300,  300,  300,  300,  300,
  1232.       861,  861,  861,  861,  861,  149,  300,  300,  300,  300,
  1233.       300,  300,  148,  861,  861,  861,  861,  861,  861,  861,
  1234.       861,  304,  304,  304,  304,  304,  304,  304,  304,  304,
  1235.       304,  861,  861,  861,  861,  861,  151,  304,  304,  304,
  1236.       304,  304,  304,  316,  861,  861,  668,  668,  668,  668,
  1237.  
  1238.       668,  668,  668,  668,  668,  668,  861,  861,  861,  861,
  1239.       861,  317,  668,  668,  668,  668,  668,  668,  316,  316,
  1240.       316,  316,  316,  316,  316,  316,  316,  316,  316,  316,
  1241.       316,  316,  316,  316,  316,  316,  316,  316,  861,  861,
  1242.       316,  669,  669,  669,  669,  669,  669,  669,  669,  669,
  1243.       669,  861,  861,  861,  861,  861,  861,  669,  669,  669,
  1244.       669,  669,  669,  316,  316,  316,  316,  316,  316,  316,
  1245.       316,  316,  316,  861,  861,  861,  861,  861,  861,  316,
  1246.       316,  316,  670,  316,  316,  672,  672,  672,  672,  672,
  1247.       672,  672,  672,  672,  672,  861,  861,  861,  861,  861,
  1248.  
  1249.       166,  672,  672,  672,  672,  672,  672,  324,  861,  861,
  1250.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1251.       684,  684,  684,  684,  684,  684,  684,  684,  684,  684,
  1252.       861,  861,  861,  861,  861,  325,  684,  684,  684,  684,
  1253.       684,  684,  172,  172,  172,  172,  173,  173,  174,  173,
  1254.       173,  173,  173,  173,  173,  173,  173,  173,  173,  173,
  1255.       173,  326,  326,  326,  326,  326,  326,  326,  326,  326,
  1256.       326,  173,  175,  173,  173,  173,  176,  326,  326,  326,
  1257.       326,  326,  326,  173,  173,  173,  173,  173,  173,  173,
  1258.       173,  173,  173,  173,  173,  173,  173,  173,  173,  173,
  1259.  
  1260.       173,  173,  173,  175,  175,  173,  324,  861,  861,  861,
  1261.       861,  861,  861,  861,  861,  685,  685,  685,  685,  685,
  1262.       685,  685,  685,  685,  685,  861,  861,  861,  861,  861,
  1263.       331,  685,  685,  685,  685,  685,  685,  172,  172,  172,
  1264.       172,  177,  177,  177,  177,  177,  177,  174,  177,  177,
  1265.       177,  177,  177,  177,  177,  177,  332,  332,  332,  332,
  1266.       332,  332,  332,  332,  332,  332,  177,  178,  177,  177,
  1267.       177,  179,  332,  332,  332,  332,  332,  332,  177,  177,
  1268.       177,  177,  177,  177,  177,  177,  177,  177,  177,  177,
  1269.       177,  177,  177,  177,  177,  177,  177,  177,  178,  178,
  1270.  
  1271.       177,  686,  686,  686,  686,  686,  686,  686,  686,  686,
  1272.       686,  861,  861,  861,  861,  861,  861,  686,  686,  686,
  1273.       686,  686,  686,  184,  193,  861,  861,  861,  861,  861,
  1274.       861,  861,  861,  861,  861,  861,  861,  345,  345,  345,
  1275.       345,  345,  345,  345,  345,  345,  345,  861,  861,  861,
  1276.       861,  861,  194,  345,  345,  345,  345,  345,  345,  193,
  1277.       861,  861,  861,  861,  861,  861,  861,  861,  350,  350,
  1278.       350,  350,  350,  350,  350,  350,  350,  350,  861,  861,
  1279.       861,  861,  861,  197,  350,  350,  350,  350,  350,  350,
  1280.       693,  693,  693,  693,  693,  693,  693,  693,  693,  693,
  1281.  
  1282.       861,  861,  861,  861,  861,  861,  693,  693,  693,  693,
  1283.       693,  693,  227,  861,  861,  861,  861,  861,  861,  861,
  1284.       861,  861,  861,  861,  861,  378,  378,  378,  378,  378,
  1285.       378,  378,  378,  378,  378,  861,  861,  861,  861,  861,
  1286.       228,  378,  378,  378,  378,  378,  378,  227,  861,  861,
  1287.       861,  861,  861,  861,  861,  861,  382,  382,  382,  382,
  1288.       382,  382,  382,  382,  382,  382,  861,  861,  861,  861,
  1289.       861,  230,  382,  382,  382,  382,  382,  382,  712,  712,
  1290.       712,  712,  712,  712,  712,  712,  712,  712,  861,  861,
  1291.       861,  861,  861,  252,  712,  712,  712,  712,  712,  712,
  1292.  
  1293.       732,  732,  732,  732,  732,  732,  732,  732,  732,  732,
  1294.       861,  861,  861,  861,  861,  280,  732,  732,  732,  732,
  1295.       732,  732,  745,  745,  745,  745,  745,  745,  745,  745,
  1296.       745,  745,  861,  861,  861,  861,  861,  861,  745,  745,
  1297.       745,  745,  745,  745,  751,  861,  861,  861,  861,  861,
  1298.       861,  861,  861,  861,  861,  861,  861,  752,  752,  752,
  1299.       752,  752,  752,  752,  752,  752,  752,  861,  861,  861,
  1300.       861,  861,  753,  752,  752,  752,  752,  752,  752,  755,
  1301.       861,  861,  861,  861,  861,  861,  861,  861,  756,  756,
  1302.       756,  756,  756,  756,  756,  756,  756,  756,  861,  861,
  1303.  
  1304.       861,  861,  861,  757,  756,  756,  756,  756,  756,  756,
  1305.       324,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1306.       861,  861,  861,  329,  329,  329,  329,  329,  329,  329,
  1307.       329,  329,  329,  861,  861,  861,  861,  861,  325,  329,
  1308.       329,  329,  329,  329,  329,  324,  861,  861,  861,  861,
  1309.       861,  861,  861,  861,  335,  335,  335,  335,  335,  335,
  1310.       335,  335,  335,  335,  861,  861,  861,  861,  861,  331,
  1311.       335,  335,  335,  335,  335,  335,  701,  702,  861,  702,
  1312.       861,  612,  861,  701,  702,  613,  702,  700,  612,  861,
  1313.       748,  748,  613,  793,  700,  679,  748,  748,  861,  796,
  1314.  
  1315.       861,  794,  861,  861,  861,  679,  861,  797,  861,  614,
  1316.       766,  766,  861,  807,  861,  704,  614,  769,  861,  861,
  1317.       861,  808,  861,  680,  861,  861,  861,  861,  861,  682,
  1318.       770,  770,  770,  770,  770,  770,  770,  770,  770,  770,
  1319.       861,  861,  861,  705,  861,  771,  770,  770,  770,  770,
  1320.       770,  770,  773,  861,  861,  861,  861,  861,  861,  861,
  1321.       861,  774,  774,  774,  774,  774,  774,  774,  774,  774,
  1322.       774,  861,  861,  861,  861,  861,  775,  774,  774,  774,
  1323.       774,  774,  774,  679,  861,  861,  861,  861,  861,  861,
  1324.       861,  861,  861,  861,  861,  861,  795,  795,  795,  795,
  1325.  
  1326.       795,  795,  795,  795,  795,  795,  861,  861,  861,  861,
  1327.       861,  680,  795,  795,  795,  795,  795,  795,  751,  861,
  1328.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1329.       861,  752,  752,  752,  752,  752,  752,  752,  752,  752,
  1330.       752,  861,  861,  861,  861,  861,  753,  752,  752,  752,
  1331.       752,  752,  752,  679,  861,  861,  861,  861,  861,  861,
  1332.       861,  861,  798,  798,  798,  798,  798,  798,  798,  798,
  1333.       798,  798,  861,  861,  861,  861,  861,  682,  798,  798,
  1334.       798,  798,  798,  798,  755,  861,  861,  861,  861,  861,
  1335.       861,  861,  861,  756,  756,  756,  756,  756,  756,  756,
  1336.  
  1337.       756,  756,  756,  861,  861,  861,  861,  861,  757,  756,
  1338.       756,  756,  756,  756,  756,  704,  861,  861,  861,  861,
  1339.       861,  861,  861,  861,  861,  861,  861,  861,  809,  809,
  1340.       809,  809,  809,  809,  809,  809,  809,  809,  861,  861,
  1341.       861,  861,  861,  705,  809,  809,  809,  809,  809,  809,
  1342.       769,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1343.       861,  861,  861,  770,  770,  770,  770,  770,  770,  770,
  1344.       770,  770,  770,  861,  861,  861,  861,  861,  771,  770,
  1345.       770,  770,  770,  770,  770,  766,  766,  861,  810,  861,
  1346.       748,  748,  861,  793,  704,  679,  811,  861,  861,  861,
  1347.  
  1348.       861,  794,  861,  861,  861,  748,  748,  861,  796,  861,
  1349.       861,  861,  861,  861,  679,  861,  797,  861,  707,  704,
  1350.       861,  861,  861,  680,  861,  861,  861,  861,  812,  812,
  1351.       812,  812,  812,  812,  812,  812,  812,  812,  682,  861,
  1352.       861,  861,  861,  707,  812,  812,  812,  812,  812,  812,
  1353.       773,  861,  861,  861,  861,  861,  861,  861,  861,  774,
  1354.       774,  774,  774,  774,  774,  774,  774,  774,  774,  861,
  1355.       861,  861,  861,  861,  775,  774,  774,  774,  774,  774,
  1356.       774,  824,  824,  824,  824,  824,  824,  824,  824,  824,
  1357.       824,  861,  861,  861,  861,  861,  861,  824,  824,  824,
  1358.  
  1359.       824,  824,  824,  825,  825,  825,  825,  825,  825,  825,
  1360.       825,  825,  825,  861,  861,  861,  861,  861,  861,  825,
  1361.       825,  825,  825,  825,  825,  766,  766,  861,  807,  861,
  1362.       704,  861,  861,  861,  861,  861,  808,  766,  766,  861,
  1363.       810,  861,  861,  861,  861,  861,  704,  861,  811,  861,
  1364.       861,  861,  861,  861,  861,  861,  861,  861,  705,  833,
  1365.       833,  833,  833,  833,  833,  833,  833,  833,  833,  861,
  1366.       707,  861,  861,  861,  861,  833,  833,  833,  833,  833,
  1367.       833,  834,  834,  834,  834,  834,  834,  834,  834,  834,
  1368.       834,  861,  861,  861,  861,  861,  861,  834,  834,  834,
  1369.  
  1370.       834,  834,  834,  750,  750,  750,  750,  750,  750,  750,
  1371.       750,  750,  750,  861,  861,  861,  861,  861,  861,  750,
  1372.       750,  750,  750,  750,  750,  754,  754,  754,  754,  754,
  1373.       754,  754,  754,  754,  754,  861,  861,  861,  861,  861,
  1374.       861,  754,  754,  754,  754,  754,  754,  768,  768,  768,
  1375.       768,  768,  768,  768,  768,  768,  768,  861,  861,  861,
  1376.       861,  861,  861,  768,  768,  768,  768,  768,  768,  772,
  1377.       772,  772,  772,  772,  772,  772,  772,  772,  772,  861,
  1378.       861,  861,  861,  861,  861,  772,  772,  772,  772,  772,
  1379.       772,   42,   42,   42,   42,   42,   42,   42,   42,   42,
  1380.  
  1381.        42,   42,   42,   42,   42,   42,   42,   42,   46,   46,
  1382.        46,   46,   46,   46,   46,   46,   46,   46,   46,   46,
  1383.        46,   46,   46,   46,   46,   26,   26,   26,   26,   26,
  1384.        26,   26,   26,   26,   26,   26,   26,   26,   26,   26,
  1385.        26,   26,  147,  147,  147,  147,  147,  147,  147,  147,
  1386.       147,  147,  147,  147,  147,  147,  147,  150,  150,  150,
  1387.       150,  150,  150,  150,  150,  150,  150,  150,  150,  150,
  1388.       150,  150,  160,  160,  160,  160,  160,  163,  163,  163,
  1389.       163,  163,  163,  163,  163,  163,  163,  163,  163,  163,
  1390.       163,  163,  165,  861,  165,  861,  165,  165,  165,  165,
  1391.  
  1392.       165,  168,  168,  168,  168,  168,  168,  168,  861,  168,
  1393.       168,  168,  168,  168,  168,  168,  168,  168,  169,  169,
  1394.       169,  169,  169,  169,  169,  169,  169,  169,  169,  169,
  1395.       169,  169,  169,  169,  169,  172,  172,  172,  172,  172,
  1396.       172,  172,  172,  172,  172,  172,  861,  172,  172,  172,
  1397.       172,  172,  173,  173,  173,  173,  173,  173,  173,  173,
  1398.       173,  173,  173,  173,  173,  173,  173,  173,  173,  177,
  1399.       177,  177,  177,  177,  177,  177,  177,  177,  177,  177,
  1400.       177,  177,  177,  177,  177,  177,  182,  182,  182,  182,
  1401.       182,  182,  182,  182,  182,  182,  182,  182,  182,  182,
  1402.  
  1403.       182,  184,  861,  184,  861,  184,  184,  184,  184,  184,
  1404.       192,  192,  192,  192,  192,  192,  192,  192,  192,  192,
  1405.       192,  192,  192,  192,  192,  195,  861,  861,  195,  195,
  1406.       196,  196,  196,  196,  196,  196,  196,  196,  196,  196,
  1407.       196,  196,  196,  196,  196,  207,  207,  207,  207,  207,
  1408.       207,  207,  207,  207,  207,  207,  207,  207,  207,  207,
  1409.       209,  861,  209,  861,  209,  209,  209,  209,  209,  226,
  1410.       226,  226,  226,  226,  226,  226,  226,  226,  226,  226,
  1411.       226,  226,  226,  226,  229,  229,  229,  229,  229,  229,
  1412.       229,  229,  229,  229,  229,  229,  229,  229,  229,  249,
  1413.  
  1414.       249,  249,  249,  249,  249,  249,  249,  249,  249,  249,
  1415.       249,  249,  249,  249,  251,  861,  251,  861,  251,  251,
  1416.       251,  251,  251,  277,  277,  277,  277,  277,  277,  277,
  1417.       277,  277,  277,  277,  277,  277,  277,  277,  279,  861,
  1418.       279,  861,  279,  279,  279,  279,  279,  300,  300,  300,
  1419.       300,  300,  300,  300,  300,  300,  300,  300,  300,  300,
  1420.       300,  300,  150,  150,  150,  150,  150,  150,  150,  150,
  1421.       150,  150,  150,  150,  150,  150,  150,  304,  304,  304,
  1422.       304,  304,  304,  304,  304,  304,  304,  304,  304,  304,
  1423.       304,  304,  314,  314,  314,  314,  314,  314,  314,  314,
  1424.  
  1425.       314,  314,  314,  314,  314,  314,  314,  316,  861,  316,
  1426.       861,  316,  316,  316,  316,  316,  165,  861,  165,  861,
  1427.       165,  165,  165,  165,  165,  321,  321,  321,  321,  321,
  1428.       321,  321,  321,  321,  321,  321,  321,  321,  321,  321,
  1429.       168,  168,  168,  168,  168,  168,  168,  861,  168,  168,
  1430.       168,  168,  168,  168,  168,  168,  168,  169,  169,  169,
  1431.       169,  169,  169,  169,  861,  169,  861,  169,  169,  169,
  1432.       169,  169,  169,  169,  172,  172,  172,  172,  172,  172,
  1433.       172,  172,  172,  172,  172,  861,  172,  172,  172,  172,
  1434.       172,  173,  173,  173,  173,  173,  173,  173,  173,  173,
  1435.  
  1436.       173,  173,  173,  173,  173,  173,  173,  173,  175,  175,
  1437.       175,  175,  175,  175,  175,  175,  175,  175,  175,  175,
  1438.       175,  175,  175,  177,  177,  177,  177,  177,  177,  177,
  1439.       177,  177,  177,  177,  177,  177,  177,  177,  177,  177,
  1440.       178,  178,  178,  178,  178,  178,  178,  178,  178,  178,
  1441.       178,  178,  178,  178,  178,  184,  861,  184,  861,  184,
  1442.       184,  184,  184,  184,  338,  338,  338,  338,  338,  338,
  1443.       338,  338,  338,  338,  338,  338,  338,  338,  338,  192,
  1444.       192,  192,  192,  192,  192,  192,  192,  192,  192,  192,
  1445.       192,  192,  192,  192,  345,  345,  345,  345,  345,  345,
  1446.  
  1447.       345,  345,  345,  345,  345,  345,  345,  345,  345,  349,
  1448.       861,  861,  349,  349,  196,  196,  196,  196,  196,  196,
  1449.       196,  196,  196,  196,  196,  196,  196,  196,  196,  350,
  1450.       350,  350,  350,  350,  350,  350,  350,  350,  350,  350,
  1451.       350,  350,  350,  350,  198,  861,  861,  861,  861,  198,
  1452.       861,  861,  861,  198,  198,  209,  861,  209,  861,  209,
  1453.       209,  209,  209,  209,  363,  363,  363,  363,  363,  363,
  1454.       363,  363,  363,  363,  363,  363,  363,  363,  363,  213,
  1455.       861,  861,  861,  861,  213,  861,  861,  861,  213,  213,
  1456.       226,  226,  226,  226,  226,  226,  226,  226,  226,  226,
  1457.  
  1458.       226,  226,  226,  226,  226,  378,  378,  378,  378,  378,
  1459.       378,  378,  378,  378,  378,  378,  378,  378,  378,  378,
  1460.       229,  229,  229,  229,  229,  229,  229,  229,  229,  229,
  1461.       229,  229,  229,  229,  229,  382,  382,  382,  382,  382,
  1462.       382,  382,  382,  382,  382,  382,  382,  382,  382,  382,
  1463.       231,  861,  861,  861,  861,  231,  861,  861,  861,  231,
  1464.       231,  251,  861,  251,  861,  251,  251,  251,  251,  251,
  1465.       396,  396,  396,  396,  396,  396,  396,  396,  396,  396,
  1466.       396,  396,  396,  396,  396,  263,  861,  861,  861,  861,
  1467.       263,  861,  861,  861,  263,  263,  279,  861,  279,  861,
  1468.  
  1469.       279,  279,  279,  279,  279,  421,  421,  421,  421,  421,
  1470.       421,  421,  421,  421,  421,  421,  421,  421,  421,  421,
  1471.       147,  147,  147,  147,  147,  147,  147,  147,  147,  147,
  1472.       147,  147,  147,  147,  147,  300,  300,  300,  300,  300,
  1473.       300,  300,  300,  300,  300,  300,  300,  300,  300,  300,
  1474.       150,  150,  150,  150,  150,  150,  150,  150,  150,  150,
  1475.       150,  150,  150,  150,  150,  304,  304,  304,  304,  304,
  1476.       304,  304,  304,  304,  304,  304,  304,  304,  304,  304,
  1477.       316,  861,  316,  861,  316,  316,  316,  316,  316,  452,
  1478.       452,  452,  452,  452,  452,  452,  452,  452,  452,  452,
  1479.  
  1480.       452,  452,  452,  452,  329,  329,  329,  329,  329,  329,
  1481.       329,  329,  329,  329,  329,  329,  329,  329,  329,  173,
  1482.       173,  173,  173,  173,  173,  173,  173,  173,  173,  173,
  1483.       173,  173,  173,  173,  173,  173,  175,  175,  175,  175,
  1484.       175,  175,  175,  175,  175,  175,  175,  175,  175,  175,
  1485.       175,  335,  335,  335,  335,  335,  335,  335,  335,  335,
  1486.       335,  335,  335,  335,  335,  335,  177,  177,  177,  177,
  1487.       177,  177,  177,  177,  177,  177,  177,  177,  177,  177,
  1488.       177,  177,  177,  178,  178,  178,  178,  178,  178,  178,
  1489.       178,  178,  178,  178,  178,  178,  178,  178,  192,  192,
  1490.  
  1491.       192,  192,  192,  192,  192,  192,  192,  192,  192,  192,
  1492.       192,  192,  192,  345,  345,  345,  345,  345,  345,  345,
  1493.       345,  345,  345,  345,  345,  345,  345,  345,  475,  861,
  1494.       861,  475,  475,  196,  196,  196,  196,  196,  196,  196,
  1495.       196,  196,  196,  196,  196,  196,  196,  196,  350,  350,
  1496.       350,  350,  350,  350,  350,  350,  350,  350,  350,  350,
  1497.       350,  350,  350,  477,  477,  477,  477,  477,  477,  477,
  1498.       477,  861,  477,  861,  477,  861,  861,  861,  861,  477,
  1499.       479,  479,  479,  479,  479,  479,  479,  479,  861,  479,
  1500.       861,  479,  861,  861,  861,  861,  479,  481,  481,  481,
  1501.  
  1502.       481,  481,  481,  481,  481,  861,  481,  861,  481,  861,
  1503.       861,  861,  861,  481,  483,  483,  483,  483,  483,  483,
  1504.       483,  483,  861,  483,  861,  483,  861,  861,  861,  861,
  1505.       483,  485,  485,  485,  485,  485,  485,  485,  485,  861,
  1506.       485,  861,  485,  861,  861,  861,  861,  485,  487,  487,
  1507.       487,  487,  487,  487,  487,  487,  861,  487,  861,  487,
  1508.       861,  861,  861,  861,  487,  489,  489,  489,  489,  489,
  1509.       489,  489,  489,  861,  489,  861,  489,  861,  861,  861,
  1510.       861,  489,  491,  491,  491,  491,  491,  491,  491,  491,
  1511.       861,  491,  861,  491,  861,  861,  861,  861,  491,  226,
  1512.  
  1513.       226,  226,  226,  226,  226,  226,  226,  226,  226,  226,
  1514.       226,  226,  226,  226,  378,  378,  378,  378,  378,  378,
  1515.       378,  378,  378,  378,  378,  378,  378,  378,  378,  229,
  1516.       229,  229,  229,  229,  229,  229,  229,  229,  229,  229,
  1517.       229,  229,  229,  229,  382,  382,  382,  382,  382,  382,
  1518.       382,  382,  382,  382,  382,  382,  382,  382,  382,  508,
  1519.       508,  508,  508,  508,  508,  508,  508,  861,  508,  861,
  1520.       508,  861,  861,  861,  861,  508,  510,  510,  510,  510,
  1521.       510,  510,  510,  510,  861,  510,  861,  510,  861,  861,
  1522.       861,  861,  510,  512,  512,  512,  512,  512,  512,  512,
  1523.  
  1524.       512,  861,  512,  861,  512,  861,  861,  861,  861,  512,
  1525.       514,  514,  514,  514,  514,  514,  514,  514,  861,  514,
  1526.       861,  514,  861,  861,  861,  861,  514,  516,  516,  516,
  1527.       516,  516,  516,  516,  516,  861,  516,  861,  516,  861,
  1528.       861,  861,  861,  516,  518,  518,  518,  518,  518,  518,
  1529.       518,  518,  861,  518,  861,  518,  861,  861,  861,  861,
  1530.       518,  520,  520,  520,  520,  520,  520,  520,  520,  861,
  1531.       520,  861,  520,  861,  861,  861,  861,  520,  522,  522,
  1532.       522,  522,  522,  522,  522,  522,  861,  522,  861,  522,
  1533.       861,  861,  861,  861,  522,  147,  147,  147,  147,  147,
  1534.  
  1535.       147,  147,  147,  147,  147,  147,  147,  147,  147,  147,
  1536.       150,  150,  150,  150,  150,  150,  150,  150,  150,  150,
  1537.       150,  150,  150,  150,  150,  584,  584,  584,  584,  584,
  1538.       584,  861,  584,  584,  584,  584,  584,  584,  584,  584,
  1539.       584,  584,  175,  175,  175,  175,  175,  175,  175,  175,
  1540.       175,  175,  175,  175,  175,  175,  175,  329,  329,  329,
  1541.       329,  329,  329,  329,  329,  329,  329,  329,  329,  329,
  1542.       329,  329,  178,  178,  178,  178,  178,  178,  178,  178,
  1543.       178,  178,  178,  178,  178,  178,  178,  335,  335,  335,
  1544.       335,  335,  335,  335,  335,  335,  335,  335,  335,  335,
  1545.  
  1546.       335,  335,  192,  192,  192,  192,  192,  192,  192,  192,
  1547.       192,  192,  192,  192,  192,  192,  192,  602,  861,  861,
  1548.       602,  602,  196,  196,  196,  196,  196,  196,  196,  196,
  1549.       196,  196,  196,  196,  196,  196,  196,  608,  608,  861,
  1550.       861,  861,  861,  861,  861,  861,  608,  609,  609,  609,
  1551.       609,  609,  609,  861,  609,  609,  609,  609,  609,  609,
  1552.       609,  609,  609,  609,  226,  226,  226,  226,  226,  226,
  1553.       226,  226,  226,  226,  226,  226,  226,  226,  226,  229,
  1554.       229,  229,  229,  229,  229,  229,  229,  229,  229,  229,
  1555.       229,  229,  229,  229,  147,  147,  147,  147,  147,  147,
  1556.  
  1557.       147,  147,  147,  147,  147,  147,  147,  147,  147,  150,
  1558.       150,  150,  150,  150,  150,  150,  150,  150,  150,  150,
  1559.       150,  150,  150,  150,  165,  861,  165,  861,  165,  165,
  1560.       165,  165,  165,  584,  584,  584,  584,  861,  584,  584,
  1561.       584,  584,  584,  584,  584,  584,  584,  584,  584,  584,
  1562.       678,  678,  678,  678,  678,  678,  678,  678,  678,  678,
  1563.       678,  678,  678,  678,  678,  681,  681,  681,  681,  681,
  1564.       681,  681,  681,  681,  681,  681,  681,  681,  681,  681,
  1565.       175,  175,  175,  175,  175,  175,  175,  175,  175,  175,
  1566.       175,  175,  175,  175,  175,  178,  178,  178,  178,  178,
  1567.  
  1568.       178,  178,  178,  178,  178,  178,  178,  178,  178,  178,
  1569.       192,  192,  192,  192,  192,  192,  192,  192,  192,  192,
  1570.       192,  192,  192,  192,  192,  692,  861,  861,  692,  692,
  1571.       196,  196,  196,  196,  196,  196,  196,  196,  196,  196,
  1572.       196,  196,  196,  196,  196,  608,  608,  861,  861,  861,
  1573.       861,  861,  861,  861,  608,  609,  609,  609,  609,  861,
  1574.       609,  609,  609,  609,  609,  609,  609,  609,  609,  609,
  1575.       609,  609,  703,  703,  703,  703,  703,  703,  703,  703,
  1576.       703,  703,  703,  703,  703,  703,  703,  706,  706,  706,
  1577.       706,  706,  706,  706,  706,  706,  706,  706,  706,  706,
  1578.  
  1579.       706,  706,  226,  226,  226,  226,  226,  226,  226,  226,
  1580.       226,  226,  226,  226,  226,  226,  226,  229,  229,  229,
  1581.       229,  229,  229,  229,  229,  229,  229,  229,  229,  229,
  1582.       229,  229,  251,  861,  251,  861,  251,  251,  251,  251,
  1583.       251,  279,  861,  279,  861,  279,  279,  279,  279,  279,
  1584.       750,  750,  750,  750,  750,  750,  750,  750,  750,  750,
  1585.       750,  750,  750,  750,  750,  754,  754,  754,  754,  754,
  1586.       754,  754,  754,  754,  754,  754,  754,  754,  754,  754,
  1587.       175,  175,  175,  175,  175,  175,  175,  175,  175,  175,
  1588.       175,  175,  175,  175,  175,  762,  861,  861,  762,  762,
  1589.  
  1590.       765,  765,  861,  861,  861,  861,  861,  861,  861,  765,
  1591.       768,  768,  768,  768,  768,  768,  768,  768,  768,  768,
  1592.       768,  768,  768,  768,  768,  772,  772,  772,  772,  772,
  1593.       772,  772,  772,  772,  772,  772,  772,  772,  772,  772,
  1594.       832,  832,  861,  861,  861,  861,  861,  861,  861,  832,
  1595.        25,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1596.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1597.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1598.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1599.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1600.  
  1601.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  1602.       861,  861,  861,  861,  861
  1603.     } ;
  1604.  
  1605. static yyconst short int yy_chk[7416] =
  1606.     {   0,
  1607.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  1608.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  1609.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  1610.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  1611.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  1612.         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
  1613.         1,    1,    1,    1,    3,    4,    5,   23,   29,    6,
  1614.         5,   24,  167,    6,    5,    3,    4,    6,   31,   23,
  1615.         3,    4,    5,   24,  167,    6,   27,   27,   27,   27,
  1616.        28,   28,   28,   28,    5,   35,   29,    6,   37,   40,
  1617.  
  1618.        35,  212,   31,   44,   37,   63,   35,   37,   44,   54,
  1619.        54,   54,   54,  212,   63,   78,   35,   40,   55,   55,
  1620.        55,   55,   78, 1011,   89,    5,    5,   89,    6,    6,
  1621.         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
  1622.         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
  1623.         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
  1624.         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
  1625.         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
  1626.         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
  1627.         7,    7,    7,    7,    9,    9,    9,    9,    9,    9,
  1628.  
  1629.         9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
  1630.         9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
  1631.         9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
  1632.         9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
  1633.         9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
  1634.         9,    9,    9,    9,    9,    9,    9,    9,   11,   11,
  1635.        66,   61,   61,   62,   11,   68,   11,   11,   11,   11,
  1636.        11,   11,   11,   11,   11,   11,   61,   83,   62,   79,
  1637.        84,   85,  221,   11,   11,   84,   86,   11,   66,   68,
  1638.        85,   86,   83,   11,  113,   11,  113,   79,  221,   11,
  1639.  
  1640.        11,   11,   13,   13,   13,   13,   13,   13,   13,   13,
  1641.        13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
  1642.        13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
  1643.        13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
  1644.        13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
  1645.        13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
  1646.        13,   13,   13,   13,   13,   13,   15,   15,   15,   15,
  1647.        15,  111,   48,   48,   48,   48,  111, 1009,   48,   15,
  1648.       132,   15,   15,   15,   15,   15,   15,   15,   15,   15,
  1649.        15,   15,   15,   15,  132,   15,   88,   65,   65,   87,
  1650.  
  1651.        65,   88,   48,   88,   90,   88,   48,   91,   49,   49,
  1652.        49,   49,   92,   15,   87,  110,  110,  109,   49,   90,
  1653.       219,  127,   90,  127,  110,  108,  219,   15,   16,   16,
  1654.        16,   16,   16,   48,   48,   91,   92,  109,   49,   65,
  1655.       108,   16,   49,   16,   16,   16,   16,   16,   16,   16,
  1656.        16,   16,   16,   16,   16,   16,  112,   16,  115,  114,
  1657.       121,  131,  130,  130,  121,  134,  135,  137,  133,   49,
  1658.        49,  112,  114,  133,  136,   16,  115,  130,  138,  131,
  1659.       134,  136,  137,  136,  150,  147,  138,  135,  143,   16,
  1660.        17,   17,   17,   17,   17,  146,  146,  146,  146,  161,
  1661.  
  1662.       115,  145,  162,   17,   17,  170,  145,   17,  150,  178,
  1663.       170,  175,  145,  147,  161,  162,  187,  186,   17,   17,
  1664.       186,  189,  145,  225,  225,  192,   17,   17,  537,  188,
  1665.       143,  196,   17,  178,  187,   17,  537,   17,   17,  175,
  1666.       189,  206,   17,  188,   17,  181,  181,  181,  181,  203,
  1667.       216,   17,   19,  192,  218,  196,   19,  211,  206,  211,
  1668.       203,  217,  206,  224,  222,  190,  190,  256,  190,  994,
  1669.       216,  222,  254,  254,  256,  217,  260,  260,  218,  224,
  1670.        19,   19,   19,   19,   19,   19,   19,   19,   19,   19,
  1671.        19,   19,   19,   19,   19,   19,   19,   19,   19,   19,
  1672.  
  1673.        19,   19,   19,   19,   19,   19,   19,  190,  220,   19,
  1674.        21,   21,   21,   21,  223,   21,   21,   21,   21,   21,
  1675.        21,   21,   21,   21,   21,   21,  220,  229,  236,  239,
  1676.       255,  257,  223,  253,  258,  257,  288,  226,  288,  236,
  1677.       220,  259,   21,   21,   21,  253,  239,  281,  255,   21,
  1678.       239,  229,  258,  259,   21,   38,   38,   38,   38,   38,
  1679.        38,   38,   38,   38,   38,  226,  281,  559,  559,  262,
  1680.       282,   38,   38,   38,   38,   38,   38,   59,   59,   59,
  1681.        59,   59,   59,   59,   59,   59,   59,  262,  283,  261,
  1682.       282,  282,  290,   59,   59,   59,   59,   59,   59,   73,
  1683.  
  1684.       284,  261,  285,  283,  290,  928,  285,   73,  261,   73,
  1685.        73,   73,   73,   73,   73,   73,   73,   73,   73,  284,
  1686.       286,  318,  173,  173,  173,  173,  289,   73,  173,   73,
  1687.       289,  287,  295,   73,  286,  318,  626,   73,  300,  295,
  1688.        73,   76,   76,   76,   76,   76,   76,   76,   76,   76,
  1689.        76,  287,  173,  319,  626,  291,  173,   76,   76,   76,
  1690.        76,   76,   76,   81,  291,  304,  300,  301,  198,  319,
  1691.       305,   81,  329,   81,   81,   81,   81,   81,   81,   81,
  1692.        81,   81,   81,  173,  173,  408,  335,  350,  351,  304,
  1693.       924,   81,  408,   81,  305,  301,  198,   81,  198,  345,
  1694.  
  1695.       329,   81,  198,  505,   81,   96,  198,  505,  346,  198,
  1696.       335,  350,  351,   96,  378,   96,   96,   96,   96,   96,
  1697.        96,   96,   96,   96,   96,  530,  502,  345,  177,  177,
  1698.       177,  177,  379,   96,  434,   96,  346,  382,  177,   96,
  1699.       502,  530,  378,   96,  459,  434,   96,  106,  106,  106,
  1700.       106,  106,  106,  106,  106,  106,  106,  470,  177,  470,
  1701.       379,  382,  177,  106,  106,  106,  106,  106,  106,  118,
  1702.       383,  440,  459,  918,  463,  471,  472,  118,  440,  118,
  1703.       118,  118,  118,  118,  118,  118,  118,  118,  118,  177,
  1704.       177,  499,  495,  495,  383,  495,  498,  118,  463,  118,
  1705.  
  1706.       471,  472,  499,  118,  503,  555,  498,  118,  495,  503,
  1707.       118,  128,  128,  128,  128,  128,  128,  128,  128,  128,
  1708.       128,  555,  504,  532,  500,  504,  914,  128,  128,  128,
  1709.       128,  128,  128,  149,  500,  532,  458,  458,  527,  458,
  1710.       531,  458,  527,  529,  531,  458,  149,  149,  149,  149,
  1711.       149,  149,  149,  149,  149,  149,  535,  534,  529,  553,
  1712.       535,  149,  149,  149,  149,  149,  149,  149,  151,  458,
  1713.       534,  536,  554,  628,  581,  536,  553,  151,  151,  151,
  1714.       151,  151,  151,  151,  151,  151,  151,  554,  581,  588,
  1715.       613,  628,  151,  151,  151,  151,  151,  151,  151,  159,
  1716.  
  1717.       159,  159,  159,  159,  159,  159,  159,  159,  159,  615,
  1718.       689,  615,  689,  588,  613,  159,  159,  159,  159,  159,
  1719.       159,  164,  164,  164,  164,  164,  164,  164,  164,  164,
  1720.       164,  616,  618,  618,  616,  889,  164,  164,  164,  164,
  1721.       164,  164,  164,  166,  166,  166,  166,  166,  166,  166,
  1722.       166,  166,  166,  619,  620,  621,  621,  620,  619,  166,
  1723.       166,  166,  166,  166,  166,  176,  176,  176,  176,  176,
  1724.       176,  176,  176,  176,  176,  176,  176,  176,  176,  176,
  1725.       176,  176,  176,  176,  176,  176,  176,  176,  176,  176,
  1726.       176,  176,  176,  176,  176,  176,  176,  176,  176,  176,
  1727.  
  1728.       176,  176,  176,  176,  176,  176,  176,  176,  176,  176,
  1729.       176,  176,  176,  176,  176,  176,  176,  176,  176,  176,
  1730.       176,  176,  176,  176,  176,  176,  176,  176,  176,  179,
  1731.       179,  179,  179,  179,  179,  179,  179,  179,  179,  179,
  1732.       179,  179,  179,  179,  179,  179,  179,  179,  179,  179,
  1733.       179,  179,  179,  179,  179,  179,  179,  179,  179,  179,
  1734.       179,  179,  179,  179,  179,  179,  179,  179,  179,  179,
  1735.       179,  179,  179,  179,  179,  179,  179,  179,  179,  179,
  1736.       179,  179,  179,  179,  179,  179,  179,  179,  179,  179,
  1737.       179,  179,  179,  183,  183,  183,  183,  183,  183,  183,
  1738.  
  1739.       183,  183,  183,  627,  632,  746,  627,  746,  183,  183,
  1740.       183,  183,  183,  183,  183,  185,  185,  185,  185,  185,
  1741.       185,  185,  185,  185,  185,  632,  630,  584,  584,  653,
  1742.       584,  185,  185,  185,  185,  185,  185,  194,  584,  630,
  1743.       533,  552,  653,  326,  326,  326,  326,  533,  552,  326,
  1744.       194,  194,  194,  194,  194,  194,  194,  194,  194,  194,
  1745.       584,  637,  637,  587,  596,  194,  194,  194,  194,  194,
  1746.       194,  194,  197,  326,  560,  596,  636,  326,  886,  612,
  1747.       560,  197,  197,  197,  197,  197,  197,  197,  197,  197,
  1748.       197,  587,  670,  670,  636,  597,  197,  197,  197,  197,
  1749.  
  1750.       197,  197,  197,  201,  326,  326,  597,  612,  883,  606,
  1751.       606,  201,  606,  201,  201,  201,  201,  201,  201,  201,
  1752.       201,  201,  201,  496,  496,  606,  496,  598,  496,  629,
  1753.       599,  201,  496,  201,  629,  681,  648,  201,  654,  598,
  1754.       648,  201,  599,  631,  201,  208,  208,  208,  208,  208,
  1755.       208,  208,  208,  208,  208,  631,  496,  706,  654,  681,
  1756.       208,  208,  208,  208,  208,  208,  208,  210,  210,  210,
  1757.       210,  210,  210,  210,  210,  210,  210,  213,  633,  635,
  1758.       880,  706,  231,  210,  210,  210,  210,  210,  210,  585,
  1759.       585,  635,  585,  649,  585,  634,  633,  649,  585,  650,
  1760.  
  1761.       585,  633,  634,  651,  650,  213,  716,  213,  651,  671,
  1762.       231,  213,  231,  687,  263,  213,  231,  678,  213,  215,
  1763.       231,  687,  585,  231,  716,  671,  690,  215,  703,  215,
  1764.       215,  215,  215,  215,  215,  215,  215,  215,  215,  690,
  1765.       674,  674,  263,  674,  263,  678,  729,  215,  263,  215,
  1766.       859,  674,  263,  215,  709,  263,  703,  215,  711,  720,
  1767.       215,  228,  720,  729,  709,  779,  779,  327,  327,  327,
  1768.       327,  710,  711,  327,  228,  228,  228,  228,  228,  228,
  1769.       228,  228,  228,  228,  695,  695,  731,  695,  858,  228,
  1770.       228,  228,  228,  228,  228,  228,  230,  327,  695,  697,
  1771.  
  1772.       697,  327,  697,  731,  710,  230,  230,  230,  230,  230,
  1773.       230,  230,  230,  230,  230,  697,  696,  696,  758,  696,
  1774.       230,  230,  230,  230,  230,  230,  230,  234,  327,  327,
  1775.       696,  719,  758,  721,  750,  234,  719,  234,  234,  234,
  1776.       234,  234,  234,  234,  234,  234,  234,  586,  586,  722,
  1777.       586,  721,  586,  724,  722,  234,  586,  234,  586,  754,
  1778.       724,  234,  750,  759,  800,  234,  800,  723,  234,  250,
  1779.       250,  250,  250,  250,  250,  250,  250,  250,  250,  723,
  1780.       586,  856,  759,  754,  250,  250,  250,  250,  250,  250,
  1781.       250,  252,  252,  252,  252,  252,  252,  252,  252,  252,
  1782.  
  1783.       252,  760,  776,  679,  679,  725,  679,  252,  252,  252,
  1784.       252,  252,  252,  265,  679,  772,  776,  725,  768,  760,
  1785.       828,  265,  828,  265,  265,  265,  265,  265,  265,  265,
  1786.       265,  265,  265,  589,  589,  855,  589,  778,  589,  772,
  1787.       778,  265,  589,  265,  589,  797,  768,  265,  780,  763,
  1788.       763,  265,  763,  780,  265,  278,  278,  278,  278,  278,
  1789.       278,  278,  278,  278,  278,  763,  589,  835,  835,  797,
  1790.       278,  278,  278,  278,  278,  278,  278,  280,  280,  280,
  1791.       280,  280,  280,  280,  280,  280,  280,  854,  816,  609,
  1792.       609,  781,  609,  280,  280,  280,  280,  280,  280,  302,
  1793.  
  1794.       609,  777,  790,  781,  816,  826,  790,  836,  826,  794,
  1795.       777,  777,  302,  302,  302,  302,  302,  302,  302,  302,
  1796.       302,  302,  609,  853,  852,  851,  836,  302,  302,  302,
  1797.       302,  302,  302,  302,  303,  699,  699,  794,  699,  801,
  1798.       844,  843,  842,  841,  801,  808,  699,  303,  303,  303,
  1799.       303,  303,  303,  303,  303,  303,  303,  804,  804,  840,
  1800.       804,  839,  303,  303,  303,  303,  303,  303,  303,  306,
  1801.       799,  804,  838,  808,  837,  829,  827,  799,  306,  306,
  1802.       306,  306,  306,  306,  306,  306,  306,  306,  805,  805,
  1803.       823,  805,  822,  306,  306,  306,  306,  306,  306,  306,
  1804.  
  1805.       307,  820,  805,  806,  806,  819,  806,  818,  817,  307,
  1806.       307,  307,  307,  307,  307,  307,  307,  307,  307,  806,
  1807.       811,  814,  802,  792,  307,  307,  307,  307,  307,  307,
  1808.       307,  315,  315,  315,  315,  315,  315,  315,  315,  315,
  1809.       315,  789,  787,  786,  811,  785,  315,  315,  315,  315,
  1810.       315,  315,  315,  317,  317,  317,  317,  317,  317,  317,
  1811.       317,  317,  317,  784,  783,  704,  704,  815,  704,  317,
  1812.       317,  317,  317,  317,  317,  320,  704,  815,  320,  320,
  1813.       320,  320,  320,  320,  320,  320,  320,  320,  782,  761,
  1814.       747,  745,  744,  320,  320,  320,  320,  320,  320,  320,
  1815.  
  1816.       320,  320,  320,  320,  320,  320,  320,  320,  320,  320,
  1817.       320,  320,  320,  320,  320,  320,  320,  320,  320,  320,
  1818.       743,  741,  320,  321,  321,  321,  321,  321,  321,  321,
  1819.       321,  321,  321,  813,  740,  739,  738,  737,  813,  321,
  1820.       321,  321,  321,  321,  321,  322,  322,  322,  322,  322,
  1821.       322,  322,  322,  322,  322,  736,  735,  673,  673,  732,
  1822.       673,  322,  322,  322,  322,  322,  322,  325,  673,  850,
  1823.       730,  727,  718,  717,  850,  830,  830,  715,  830,  714,
  1824.       325,  325,  325,  325,  325,  325,  325,  325,  325,  325,
  1825.       673,  830,  713,  712,  693,  325,  325,  325,  325,  325,
  1826.  
  1827.       325,  325,  328,  328,  328,  328,  694,  694,  328,  694,
  1828.       691,  688,  686,  672,  694,  668,  667,  666,  665,  664,
  1829.       694,  328,  328,  328,  328,  328,  328,  328,  328,  328,
  1830.       328,  662,  328,  661,  660,  659,  328,  328,  328,  328,
  1831.       328,  328,  328,  608,  608,  658,  608,  748,  748,  657,
  1832.       748,  608,  656,  655,  652,  646,  645,  608,  748,  608,
  1833.       644,  643,  642,  328,  328,  330,  330,  330,  330,  330,
  1834.       330,  330,  330,  330,  330,  330,  330,  330,  330,  330,
  1835.       330,  330,  330,  330,  330,  330,  330,  330,  330,  330,
  1836.       330,  330,  330,  330,  330,  330,  330,  330,  330,  330,
  1837.  
  1838.       330,  330,  330,  330,  330,  330,  330,  330,  330,  330,
  1839.       330,  330,  330,  330,  330,  330,  330,  330,  330,  330,
  1840.       330,  330,  330,  330,  330,  330,  330,  330,  330,  331,
  1841.       641,  640,  639,  638,  624,  617,  604,  600,  331,  331,
  1842.       331,  331,  331,  331,  331,  331,  331,  331,  594,  582,
  1843.       577,  575,  574,  331,  331,  331,  331,  331,  331,  331,
  1844.       332,  332,  332,  332,  571,  333,  333,  333,  333,  570,
  1845.       332,  610,  610,  569,  610,  333,  610,  568,  611,  611,
  1846.       610,  611,  610,  611,  567,  766,  766,  611,  766,  611,
  1847.       332,  566,  565,  564,  332,  333,  766,  563,  562,  333,
  1848.  
  1849.       561,  558,  683,  683,  610,  683,  557,  614,  614,  556,
  1850.       614,  611,  614,  683,  847,  847,  614,  847,  614,  551,
  1851.       547,  332,  332,  546,  545,  847,  333,  333,  334,  334,
  1852.       334,  334,  543,  832,  832,  683,  832,  542,  334,  540,
  1853.       614,  832,  539,  538,  832,  528,  501,  334,  334,  334,
  1854.       334,  334,  334,  334,  334,  334,  334,  473,  334,  455,
  1855.       454,  449,  334,  334,  334,  334,  334,  334,  334,  765,
  1856.       765,  448,  765,  803,  803,  447,  803,  765,  446,  443,
  1857.       442,  803,  441,  765,  439,  438,  437,  803,  436,  334,
  1858.       334,  336,  336,  336,  336,  336,  336,  336,  336,  336,
  1859.  
  1860.       336,  336,  336,  336,  336,  336,  336,  336,  336,  336,
  1861.       336,  336,  336,  336,  336,  336,  336,  336,  336,  336,
  1862.       336,  336,  336,  336,  336,  336,  336,  336,  336,  336,
  1863.       336,  336,  336,  336,  336,  336,  336,  336,  336,  336,
  1864.       336,  336,  336,  336,  336,  336,  336,  336,  336,  336,
  1865.       336,  336,  336,  336,  336,  337,  435,  433,  337,  337,
  1866.       337,  337,  337,  337,  337,  337,  337,  337,  432,  431,
  1867.       430,  429,  428,  337,  337,  337,  337,  337,  337,  337,
  1868.       337,  337,  337,  337,  337,  337,  337,  337,  337,  337,
  1869.       337,  337,  337,  337,  337,  337,  337,  337,  337,  337,
  1870.  
  1871.       427,  426,  337,  338,  338,  338,  338,  338,  338,  338,
  1872.       338,  338,  338,  425,  424,  423,  419,  418,  417,  338,
  1873.       338,  338,  338,  338,  338,  339,  339,  339,  339,  339,
  1874.       339,  339,  339,  339,  339,  416,  415,  698,  698,  414,
  1875.       698,  339,  339,  339,  339,  339,  339,  347,  698,  413,
  1876.       412,  411,  410,  409,  407,  406,  405,  404,  403,  402,
  1877.       347,  347,  347,  347,  347,  347,  347,  347,  347,  347,
  1878.       698,  401,  400,  399,  398,  347,  347,  347,  347,  347,
  1879.       347,  347,  348,  846,  846,  393,  846,  392,  391,  390,
  1880.       389,  846,  388,  387,  846,  348,  348,  348,  348,  348,
  1881.  
  1882.       348,  348,  348,  348,  348,  386,  377,  375,  374,  373,
  1883.       348,  348,  348,  348,  348,  348,  348,  352,  372,  371,
  1884.       370,  369,  368,  367,  366,  365,  352,  352,  352,  352,
  1885.       352,  352,  352,  352,  352,  352,  361,  360,  359,  358,
  1886.       357,  352,  352,  352,  352,  352,  352,  352,  353,  356,
  1887.       355,  354,  344,  343,  342,  341,  340,  353,  353,  353,
  1888.       353,  353,  353,  353,  353,  353,  353,  323,  316,  314,
  1889.       313,  312,  353,  353,  353,  353,  353,  353,  353,  362,
  1890.       311,  310,  362,  362,  362,  362,  362,  362,  362,  362,
  1891.       362,  362,  309,  299,  298,  297,  296,  362,  362,  362,
  1892.  
  1893.       362,  362,  362,  362,  362,  362,  362,  362,  362,  362,
  1894.       362,  362,  362,  362,  362,  362,  362,  362,  362,  362,
  1895.       362,  362,  362,  362,  294,  293,  362,  363,  363,  363,
  1896.       363,  363,  363,  363,  363,  363,  363,  292,  279,  277,
  1897.       276,  275,  274,  363,  363,  363,  363,  363,  363,  364,
  1898.       364,  364,  364,  364,  364,  364,  364,  364,  364,  273,
  1899.       272,  708,  708,  271,  708,  364,  364,  364,  364,  364,
  1900.       364,  380,  708,  270,  269,  268,  267,  266,  251,  249,
  1901.       248,  247,  246,  245,  380,  380,  380,  380,  380,  380,
  1902.       380,  380,  380,  380,  708,  244,  243,  242,  241,  380,
  1903.  
  1904.       380,  380,  380,  380,  380,  380,  381,  848,  848,  240,
  1905.       848,  238,  237,  235,  209,  207,  205,  204,  848,  381,
  1906.       381,  381,  381,  381,  381,  381,  381,  381,  381,  202,
  1907.       191,  184,  182,  165,  381,  381,  381,  381,  381,  381,
  1908.       381,  384,  163,  160,  158,  157,  156,  155,  154,  152,
  1909.       384,  384,  384,  384,  384,  384,  384,  384,  384,  384,
  1910.       142,  141,  140,  129,  126,  384,  384,  384,  384,  384,
  1911.       384,  384,  385,  125,  124,  123,  122,  120,  119,  107,
  1912.       105,  385,  385,  385,  385,  385,  385,  385,  385,  385,
  1913.       385,  104,  103,  102,  101,  100,  385,  385,  385,  385,
  1914.  
  1915.       385,  385,  385,  394,   99,   98,   97,   95,   77,   72,
  1916.        60,  394,   57,  394,  394,  394,  394,  394,  394,  394,
  1917.       394,  394,  394,   50,   45,  676,  676,   39,  676,   36,
  1918.       676,  394,   34,  394,  676,   32,  676,  394,   25,    0,
  1919.         0,  394,    0,    0,  394,  395,    0,    0,  395,  395,
  1920.       395,  395,  395,  395,  395,  395,  395,  395,  676,    0,
  1921.         0,    0,    0,  395,  395,  395,  395,  395,  395,  395,
  1922.       395,  395,  395,  395,  395,  395,  395,  395,  395,  395,
  1923.       395,  395,  395,  395,  395,  395,  395,  395,  395,  395,
  1924.         0,    0,  395,  396,  396,  396,  396,  396,  396,  396,
  1925.  
  1926.       396,  396,  396,    0,    0,    0,    0,    0,    0,  396,
  1927.       396,  396,  396,  396,  396,  397,  397,  397,  397,  397,
  1928.       397,  397,  397,  397,  397,    0,    0,    0,    0,    0,
  1929.         0,  397,  397,  397,  397,  397,  397,  420,    0,    0,
  1930.       420,  420,  420,  420,  420,  420,  420,  420,  420,  420,
  1931.         0,    0,    0,    0,    0,  420,  420,  420,  420,  420,
  1932.       420,  420,  420,  420,  420,  420,  420,  420,  420,  420,
  1933.       420,  420,  420,  420,  420,  420,  420,  420,  420,  420,
  1934.       420,  420,    0,    0,  420,  421,  421,  421,  421,  421,
  1935.       421,  421,  421,  421,  421,    0,    0,    0,    0,    0,
  1936.  
  1937.         0,  421,  421,  421,  421,  421,  421,  422,  422,  422,
  1938.       422,  422,  422,  422,  422,  422,  422,    0,    0,    0,
  1939.         0,    0,    0,  422,  422,  422,  422,  422,  422,  444,
  1940.         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  1941.         0,    0,  444,  444,  444,  444,  444,  444,  444,  444,
  1942.       444,  444,    0,    0,    0,    0,    0,  444,  444,  444,
  1943.       444,  444,  444,  444,  445,    0,    0,    0,    0,    0,
  1944.         0,    0,    0,  445,  445,  445,  445,  445,  445,  445,
  1945.       445,  445,  445,    0,    0,    0,    0,    0,  445,  445,
  1946.       445,  445,  445,  445,  445,  451,    0,    0,  451,  451,
  1947.  
  1948.       451,  451,  451,  451,  451,  451,  451,  451,    0,    0,
  1949.         0,    0,    0,  451,  451,  451,  451,  451,  451,  451,
  1950.       451,  451,  451,  451,  451,  451,  451,  451,  451,  451,
  1951.       451,  451,  451,  451,  451,  451,  451,  451,  451,  451,
  1952.         0,    0,  451,  452,  452,  452,  452,  452,  452,  452,
  1953.       452,  452,  452,    0,    0,    0,    0,    0,    0,  452,
  1954.       452,  452,  452,  452,  452,  453,  453,  453,  453,  453,
  1955.       453,  453,  453,  453,  453,    0,    0,    0,    0,    0,
  1956.         0,  453,  453,  453,  453,  453,  453,  456,    0,    0,
  1957.       456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
  1958.  
  1959.         0,    0,    0,    0,    0,  456,  456,  456,  456,  456,
  1960.       456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
  1961.       456,  456,  456,  456,  456,  456,  456,  456,  456,  456,
  1962.       456,  456,    0,    0,  456,  457,  457,  457,  457,  457,
  1963.       457,  457,  457,  457,  457,    0,    0,    0,    0,    0,
  1964.         0,  457,  457,  457,  457,  457,  457,  460,    0,    0,
  1965.         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  1966.       460,  460,  460,  460,  460,  460,  460,  460,  460,  460,
  1967.         0,    0,    0,    0,    0,  460,  460,  460,  460,  460,
  1968.       460,  460,  461,    0,    0,    0,    0,    0,    0,    0,
  1969.  
  1970.         0,    0,    0,    0,    0,  461,  461,  461,  461,  461,
  1971.       461,  461,  461,  461,  461,    0,    0,    0,    0,    0,
  1972.       461,  461,  461,  461,  461,  461,  461,  462,  462,  462,
  1973.       462,  462,  462,  462,  462,  462,  462,  462,  462,  462,
  1974.       462,  462,  462,  462,  462,  462,  462,  462,  462,  462,
  1975.       462,  462,  462,  462,  462,  462,  462,  462,  462,  462,
  1976.       462,  462,  462,  462,  462,  462,  462,  462,  462,  462,
  1977.       462,  462,  462,  462,  462,  462,  462,  462,  462,  462,
  1978.       462,  462,  462,  462,  462,  462,  462,  462,  462,  462,
  1979.       462,  464,    0,    0,    0,    0,    0,    0,    0,    0,
  1980.  
  1981.       464,  464,  464,  464,  464,  464,  464,  464,  464,  464,
  1982.         0,    0,    0,    0,    0,  464,  464,  464,  464,  464,
  1983.       464,  464,  465,    0,    0,    0,    0,    0,    0,    0,
  1984.         0,  465,  465,  465,  465,  465,  465,  465,  465,  465,
  1985.       465,    0,    0,    0,    0,    0,  465,  465,  465,  465,
  1986.       465,  465,  465,  466,  466,  466,  466,  466,  466,  466,
  1987.       466,  466,  466,  466,  466,  466,  466,  466,  466,  466,
  1988.       466,  466,  466,  466,  466,  466,  466,  466,  466,  466,
  1989.       466,  466,  466,  466,  466,  466,  466,  466,  466,  466,
  1990.       466,  466,  466,  466,  466,  466,  466,  466,  466,  466,
  1991.  
  1992.       466,  466,  466,  466,  466,  466,  466,  466,  466,  466,
  1993.       466,  466,  466,  466,  466,  466,  466,  467,    0,    0,
  1994.       467,  467,  467,  467,  467,  467,  467,  467,  467,  467,
  1995.         0,    0,    0,    0,    0,  467,  467,  467,  467,  467,
  1996.       467,  467,  467,  467,  467,  467,  467,  467,  467,  467,
  1997.       467,  467,  467,  467,  467,  467,  467,  467,  467,  467,
  1998.       467,  467,    0,    0,  467,  468,  468,  468,  468,  468,
  1999.       468,  468,  468,  468,  468,    0,    0,    0,    0,    0,
  2000.         0,  468,  468,  468,  468,  468,  468,  469,  469,  469,
  2001.       469,  469,  469,  469,  469,  469,  469,    0,    0,    0,
  2002.  
  2003.         0,    0,    0,  469,  469,  469,  469,  469,  469,  469,
  2004.       474,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  2005.         0,    0,    0,  474,  474,  474,  474,  474,  474,  474,
  2006.       474,  474,  474,    0,    0,    0,    0,    0,  474,  474,
  2007.       474,  474,  474,  474,  474,  476,    0,    0,    0,    0,
  2008.         0,    0,    0,    0,  476,  476,  476,  476,  476,  476,
  2009.       476,  476,  476,  476,    0,    0,    0,    0,    0,  476,
  2010.       476,  476,  476,  476,  476,  476,  493,    0,    0,  493,
  2011.       493,  493,  493,  493,  493,  493,  493,  493,  493,    0,
  2012.         0,    0,    0,    0,  493,  493,  493,  493,  493,  493,
  2013.  
  2014.       493,  493,  493,  493,  493,  493,  493,  493,  493,  493,
  2015.       493,  493,  493,  493,  493,  493,  493,  493,  493,  493,
  2016.       493,    0,    0,  493,  494,  494,  494,  494,  494,  494,
  2017.       494,  494,  494,  494,    0,    0,    0,    0,    0,    0,
  2018.       494,  494,  494,  494,  494,  494,  497,  497,  497,  497,
  2019.       497,  497,  497,  497,  497,  497,    0,    0,    0,    0,
  2020.         0,    0,  497,  497,  497,  497,  497,  497,    0,  677,
  2021.       677,    0,  677,    0,  677,    0,  497,  506,  677,    0,
  2022.       677,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  2023.       506,  506,  506,  506,  506,  506,  506,  506,  506,  506,
  2024.  
  2025.         0,    0,  677,    0,    0,  506,  506,  506,  506,  506,
  2026.       506,  506,  507,    0,    0,    0,    0,    0,    0,    0,
  2027.         0,  507,  507,  507,  507,  507,  507,  507,  507,  507,
  2028.       507,    0,    0,    0,    0,    0,  507,  507,  507,  507,
  2029.       507,  507,  507,  524,    0,    0,  524,  524,  524,  524,
  2030.       524,  524,  524,  524,  524,  524,    0,    0,    0,    0,
  2031.         0,  524,  524,  524,  524,  524,  524,  524,  524,  524,
  2032.       524,  524,  524,  524,  524,  524,  524,  524,  524,  524,
  2033.       524,  524,  524,  524,  524,  524,  524,  524,    0,    0,
  2034.       524,  525,  525,  525,  525,  525,  525,  525,  525,  525,
  2035.  
  2036.       525,    0,    0,    0,    0,    0,    0,  525,  525,  525,
  2037.       525,  525,  525,  526,  526,  526,  526,  526,  526,  526,
  2038.       526,  526,  526,    0,    0,    0,    0,    0,    0,  526,
  2039.       526,  526,  526,  526,  526,  548,    0,    0,  548,  548,
  2040.       548,  548,  548,  548,  548,  548,  548,  548,    0,    0,
  2041.         0,    0,    0,  548,  548,  548,  548,  548,  548,  548,
  2042.       548,  548,  548,  548,  548,  548,  548,  548,  548,  548,
  2043.       548,  548,  548,  548,  548,  548,  548,  548,  548,  548,
  2044.         0,    0,  548,  549,  549,  549,  549,  549,  549,  549,
  2045.       549,  549,  549,    0,    0,    0,    0,    0,    0,  549,
  2046.  
  2047.       549,  549,  549,  549,  549,  550,  550,  550,  550,  550,
  2048.       550,  550,  550,  550,  550,    0,    0,    0,    0,    0,
  2049.         0,  550,  550,  550,  550,  550,  550,  572,    0,    0,
  2050.         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  2051.       572,  572,  572,  572,  572,  572,  572,  572,  572,  572,
  2052.         0,    0,    0,    0,    0,  572,  572,  572,  572,  572,
  2053.       572,  572,  573,    0,    0,    0,    0,    0,    0,    0,
  2054.         0,  573,  573,  573,  573,  573,  573,  573,  573,  573,
  2055.       573,    0,    0,    0,    0,    0,  573,  573,  573,  573,
  2056.       573,  573,  573,  578,    0,    0,  578,  578,  578,  578,
  2057.  
  2058.       578,  578,  578,  578,  578,  578,    0,    0,    0,    0,
  2059.         0,  578,  578,  578,  578,  578,  578,  578,  578,  578,
  2060.       578,  578,  578,  578,  578,  578,  578,  578,  578,  578,
  2061.       578,  578,  578,  578,  578,  578,  578,  578,    0,    0,
  2062.       578,  579,  579,  579,  579,  579,  579,  579,  579,  579,
  2063.       579,    0,    0,    0,    0,    0,    0,  579,  579,  579,
  2064.       579,  579,  579,  580,  580,  580,  580,  580,  580,  580,
  2065.       580,  580,  580,    0,    0,    0,    0,    0,    0,  580,
  2066.       580,  580,  580,  580,  580,  583,  583,  583,  583,  583,
  2067.       583,  583,  583,  583,  583,    0,    0,    0,    0,    0,
  2068.  
  2069.       583,  583,  583,  583,  583,  583,  583,  590,    0,    0,
  2070.         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  2071.       590,  590,  590,  590,  590,  590,  590,  590,  590,  590,
  2072.         0,    0,    0,    0,    0,  590,  590,  590,  590,  590,
  2073.       590,  590,  591,  591,  591,  591,  591,  591,  591,  591,
  2074.       591,  591,  591,  591,  591,  591,  591,  591,  591,  591,
  2075.       591,  591,  591,  591,  591,  591,  591,  591,  591,  591,
  2076.       591,  591,  591,  591,  591,  591,  591,  591,  591,  591,
  2077.       591,  591,  591,  591,  591,  591,  591,  591,  591,  591,
  2078.       591,  591,  591,  591,  591,  591,  591,  591,  591,  591,
  2079.  
  2080.       591,  591,  591,  591,  591,  591,  592,    0,    0,    0,
  2081.         0,    0,    0,    0,    0,  592,  592,  592,  592,  592,
  2082.       592,  592,  592,  592,  592,    0,    0,    0,    0,    0,
  2083.       592,  592,  592,  592,  592,  592,  592,  593,  593,  593,
  2084.       593,  593,  593,  593,  593,  593,  593,  593,  593,  593,
  2085.       593,  593,  593,  593,  593,  593,  593,  593,  593,  593,
  2086.       593,  593,  593,  593,  593,  593,  593,  593,  593,  593,
  2087.       593,  593,  593,  593,  593,  593,  593,  593,  593,  593,
  2088.       593,  593,  593,  593,  593,  593,  593,  593,  593,  593,
  2089.       593,  593,  593,  593,  593,  593,  593,  593,  593,  593,
  2090.  
  2091.       593,  595,  595,  595,  595,  595,  595,  595,  595,  595,
  2092.       595,    0,    0,    0,    0,    0,    0,  595,  595,  595,
  2093.       595,  595,  595,  595,  601,    0,    0,    0,    0,    0,
  2094.         0,    0,    0,    0,    0,    0,    0,  601,  601,  601,
  2095.       601,  601,  601,  601,  601,  601,  601,    0,    0,    0,
  2096.         0,    0,  601,  601,  601,  601,  601,  601,  601,  603,
  2097.         0,    0,    0,    0,    0,    0,    0,    0,  603,  603,
  2098.       603,  603,  603,  603,  603,  603,  603,  603,    0,    0,
  2099.         0,    0,    0,  603,  603,  603,  603,  603,  603,  603,
  2100.       605,  605,  605,  605,  605,  605,  605,  605,  605,  605,
  2101.  
  2102.         0,    0,    0,    0,    0,    0,  605,  605,  605,  605,
  2103.       605,  605,  622,    0,    0,    0,    0,    0,    0,    0,
  2104.         0,    0,    0,    0,    0,  622,  622,  622,  622,  622,
  2105.       622,  622,  622,  622,  622,    0,    0,    0,    0,    0,
  2106.       622,  622,  622,  622,  622,  622,  622,  623,    0,    0,
  2107.         0,    0,    0,    0,    0,    0,  623,  623,  623,  623,
  2108.       623,  623,  623,  623,  623,  623,    0,    0,    0,    0,
  2109.         0,  623,  623,  623,  623,  623,  623,  623,  625,  625,
  2110.       625,  625,  625,  625,  625,  625,  625,  625,    0,    0,
  2111.         0,    0,    0,  625,  625,  625,  625,  625,  625,  625,
  2112.  
  2113.       647,  647,  647,  647,  647,  647,  647,  647,  647,  647,
  2114.         0,    0,    0,    0,    0,  647,  647,  647,  647,  647,
  2115.       647,  647,  669,  669,  669,  669,  669,  669,  669,  669,
  2116.       669,  669,    0,    0,    0,    0,    0,    0,  669,  669,
  2117.       669,  669,  669,  669,  680,    0,    0,    0,    0,    0,
  2118.         0,    0,    0,    0,    0,    0,    0,  680,  680,  680,
  2119.       680,  680,  680,  680,  680,  680,  680,    0,    0,    0,
  2120.         0,    0,  680,  680,  680,  680,  680,  680,  680,  682,
  2121.         0,    0,    0,    0,    0,    0,    0,    0,  682,  682,
  2122.       682,  682,  682,  682,  682,  682,  682,  682,    0,    0,
  2123.  
  2124.         0,    0,    0,  682,  682,  682,  682,  682,  682,  682,
  2125.       684,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  2126.         0,    0,    0,  684,  684,  684,  684,  684,  684,  684,
  2127.       684,  684,  684,    0,    0,    0,    0,    0,  684,  684,
  2128.       684,  684,  684,  684,  684,  685,    0,    0,    0,    0,
  2129.         0,    0,    0,    0,  685,  685,  685,  685,  685,  685,
  2130.       685,  685,  685,  685,    0,    0,    0,    0,    0,  685,
  2131.       685,  685,  685,  685,  685,  685,  701,  701,    0,  701,
  2132.         0,  701,    0,  702,  702,  701,  702,  701,  702,    0,
  2133.       751,  751,  702,  751,  702,  751,  755,  755,    0,  755,
  2134.  
  2135.         0,  751,    0,    0,    0,  755,    0,  755,    0,  701,
  2136.       769,  769,    0,  769,    0,  769,  702,  705,    0,    0,
  2137.         0,  769,    0,  751,    0,    0,    0,    0,    0,  755,
  2138.       705,  705,  705,  705,  705,  705,  705,  705,  705,  705,
  2139.         0,    0,    0,  769,    0,  705,  705,  705,  705,  705,
  2140.       705,  705,  707,    0,    0,    0,    0,    0,    0,    0,
  2141.         0,  707,  707,  707,  707,  707,  707,  707,  707,  707,
  2142.       707,    0,    0,    0,    0,    0,  707,  707,  707,  707,
  2143.       707,  707,  707,  752,    0,    0,    0,    0,    0,    0,
  2144.         0,    0,    0,    0,    0,    0,  752,  752,  752,  752,
  2145.  
  2146.       752,  752,  752,  752,  752,  752,    0,    0,    0,    0,
  2147.         0,  752,  752,  752,  752,  752,  752,  752,  753,    0,
  2148.         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  2149.         0,  753,  753,  753,  753,  753,  753,  753,  753,  753,
  2150.       753,    0,    0,    0,    0,    0,  753,  753,  753,  753,
  2151.       753,  753,  753,  756,    0,    0,    0,    0,    0,    0,
  2152.         0,    0,  756,  756,  756,  756,  756,  756,  756,  756,
  2153.       756,  756,    0,    0,    0,    0,    0,  756,  756,  756,
  2154.       756,  756,  756,  756,  757,    0,    0,    0,    0,    0,
  2155.         0,    0,    0,  757,  757,  757,  757,  757,  757,  757,
  2156.  
  2157.       757,  757,  757,    0,    0,    0,    0,    0,  757,  757,
  2158.       757,  757,  757,  757,  757,  770,    0,    0,    0,    0,
  2159.         0,    0,    0,    0,    0,    0,    0,    0,  770,  770,
  2160.       770,  770,  770,  770,  770,  770,  770,  770,    0,    0,
  2161.         0,    0,    0,  770,  770,  770,  770,  770,  770,  770,
  2162.       771,    0,    0,    0,    0,    0,    0,    0,    0,    0,
  2163.         0,    0,    0,  771,  771,  771,  771,  771,  771,  771,
  2164.       771,  771,  771,    0,    0,    0,    0,    0,  771,  771,
  2165.       771,  771,  771,  771,  771,  773,  773,    0,  773,    0,
  2166.       793,  793,    0,  793,  773,  793,  773,    0,    0,    0,
  2167.  
  2168.         0,  793,    0,    0,    0,  796,  796,    0,  796,    0,
  2169.         0,    0,    0,    0,  796,    0,  796,    0,  773,  774,
  2170.         0,    0,    0,  793,    0,    0,    0,    0,  774,  774,
  2171.       774,  774,  774,  774,  774,  774,  774,  774,  796,    0,
  2172.         0,    0,    0,  774,  774,  774,  774,  774,  774,  774,
  2173.       775,    0,    0,    0,    0,    0,    0,    0,    0,  775,
  2174.       775,  775,  775,  775,  775,  775,  775,  775,  775,    0,
  2175.         0,    0,    0,    0,  775,  775,  775,  775,  775,  775,
  2176.       775,  795,  795,  795,  795,  795,  795,  795,  795,  795,
  2177.       795,    0,    0,    0,    0,    0,    0,  795,  795,  795,
  2178.  
  2179.       795,  795,  795,  798,  798,  798,  798,  798,  798,  798,
  2180.       798,  798,  798,    0,    0,    0,    0,    0,    0,  798,
  2181.       798,  798,  798,  798,  798,  807,  807,    0,  807,    0,
  2182.       807,    0,    0,    0,    0,    0,  807,  810,  810,    0,
  2183.       810,    0,    0,    0,    0,    0,  810,    0,  810,    0,
  2184.         0,    0,    0,    0,    0,    0,    0,    0,  807,  809,
  2185.       809,  809,  809,  809,  809,  809,  809,  809,  809,    0,
  2186.       810,    0,    0,    0,    0,  809,  809,  809,  809,  809,
  2187.       809,  812,  812,  812,  812,  812,  812,  812,  812,  812,
  2188.       812,    0,    0,    0,    0,    0,    0,  812,  812,  812,
  2189.  
  2190.       812,  812,  812,  824,  824,  824,  824,  824,  824,  824,
  2191.       824,  824,  824,    0,    0,    0,    0,    0,    0,  824,
  2192.       824,  824,  824,  824,  824,  825,  825,  825,  825,  825,
  2193.       825,  825,  825,  825,  825,    0,    0,    0,    0,    0,
  2194.         0,  825,  825,  825,  825,  825,  825,  833,  833,  833,
  2195.       833,  833,  833,  833,  833,  833,  833,    0,    0,    0,
  2196.         0,    0,    0,  833,  833,  833,  833,  833,  833,  834,
  2197.       834,  834,  834,  834,  834,  834,  834,  834,  834,    0,
  2198.         0,    0,    0,    0,    0,  834,  834,  834,  834,  834,
  2199.       834,  862,  862,  862,  862,  862,  862,  862,  862,  862,
  2200.  
  2201.       862,  862,  862,  862,  862,  862,  862,  862,  863,  863,
  2202.       863,  863,  863,  863,  863,  863,  863,  863,  863,  863,
  2203.       863,  863,  863,  863,  863,  864,  864,  864,  864,  864,
  2204.       864,  864,  864,  864,  864,  864,  864,  864,  864,  864,
  2205.       864,  864,  865,  865,  865,  865,  865,  865,  865,  865,
  2206.       865,  865,  865,  865,  865,  865,  865,  866,  866,  866,
  2207.       866,  866,  866,  866,  866,  866,  866,  866,  866,  866,
  2208.       866,  866,  867,  867,  867,  867,  867,  868,  868,  868,
  2209.       868,  868,  868,  868,  868,  868,  868,  868,  868,  868,
  2210.       868,  868,  869,    0,  869,    0,  869,  869,  869,  869,
  2211.  
  2212.       869,  870,  870,  870,  870,  870,  870,  870,    0,  870,
  2213.       870,  870,  870,  870,  870,  870,  870,  870,  871,  871,
  2214.       871,  871,  871,  871,  871,  871,  871,  871,  871,  871,
  2215.       871,  871,  871,  871,  871,  872,  872,  872,  872,  872,
  2216.       872,  872,  872,  872,  872,  872,    0,  872,  872,  872,
  2217.       872,  872,  873,  873,  873,  873,  873,  873,  873,  873,
  2218.       873,  873,  873,  873,  873,  873,  873,  873,  873,  874,
  2219.       874,  874,  874,  874,  874,  874,  874,  874,  874,  874,
  2220.       874,  874,  874,  874,  874,  874,  875,  875,  875,  875,
  2221.       875,  875,  875,  875,  875,  875,  875,  875,  875,  875,
  2222.  
  2223.       875,  876,    0,  876,    0,  876,  876,  876,  876,  876,
  2224.       877,  877,  877,  877,  877,  877,  877,  877,  877,  877,
  2225.       877,  877,  877,  877,  877,  878,    0,    0,  878,  878,
  2226.       879,  879,  879,  879,  879,  879,  879,  879,  879,  879,
  2227.       879,  879,  879,  879,  879,  881,  881,  881,  881,  881,
  2228.       881,  881,  881,  881,  881,  881,  881,  881,  881,  881,
  2229.       882,    0,  882,    0,  882,  882,  882,  882,  882,  884,
  2230.       884,  884,  884,  884,  884,  884,  884,  884,  884,  884,
  2231.       884,  884,  884,  884,  885,  885,  885,  885,  885,  885,
  2232.       885,  885,  885,  885,  885,  885,  885,  885,  885,  887,
  2233.  
  2234.       887,  887,  887,  887,  887,  887,  887,  887,  887,  887,
  2235.       887,  887,  887,  887,  888,    0,  888,    0,  888,  888,
  2236.       888,  888,  888,  890,  890,  890,  890,  890,  890,  890,
  2237.       890,  890,  890,  890,  890,  890,  890,  890,  891,    0,
  2238.       891,    0,  891,  891,  891,  891,  891,  892,  892,  892,
  2239.       892,  892,  892,  892,  892,  892,  892,  892,  892,  892,
  2240.       892,  892,  893,  893,  893,  893,  893,  893,  893,  893,
  2241.       893,  893,  893,  893,  893,  893,  893,  894,  894,  894,
  2242.       894,  894,  894,  894,  894,  894,  894,  894,  894,  894,
  2243.       894,  894,  895,  895,  895,  895,  895,  895,  895,  895,
  2244.  
  2245.       895,  895,  895,  895,  895,  895,  895,  896,    0,  896,
  2246.         0,  896,  896,  896,  896,  896,  897,    0,  897,    0,
  2247.       897,  897,  897,  897,  897,  898,  898,  898,  898,  898,
  2248.       898,  898,  898,  898,  898,  898,  898,  898,  898,  898,
  2249.       899,  899,  899,  899,  899,  899,  899,    0,  899,  899,
  2250.       899,  899,  899,  899,  899,  899,  899,  900,  900,  900,
  2251.       900,  900,  900,  900,    0,  900,    0,  900,  900,  900,
  2252.       900,  900,  900,  900,  901,  901,  901,  901,  901,  901,
  2253.       901,  901,  901,  901,  901,    0,  901,  901,  901,  901,
  2254.       901,  902,  902,  902,  902,  902,  902,  902,  902,  902,
  2255.  
  2256.       902,  902,  902,  902,  902,  902,  902,  902,  903,  903,
  2257.       903,  903,  903,  903,  903,  903,  903,  903,  903,  903,
  2258.       903,  903,  903,  904,  904,  904,  904,  904,  904,  904,
  2259.       904,  904,  904,  904,  904,  904,  904,  904,  904,  904,
  2260.       905,  905,  905,  905,  905,  905,  905,  905,  905,  905,
  2261.       905,  905,  905,  905,  905,  906,    0,  906,    0,  906,
  2262.       906,  906,  906,  906,  907,  907,  907,  907,  907,  907,
  2263.       907,  907,  907,  907,  907,  907,  907,  907,  907,  908,
  2264.       908,  908,  908,  908,  908,  908,  908,  908,  908,  908,
  2265.       908,  908,  908,  908,  909,  909,  909,  909,  909,  909,
  2266.  
  2267.       909,  909,  909,  909,  909,  909,  909,  909,  909,  910,
  2268.         0,    0,  910,  910,  911,  911,  911,  911,  911,  911,
  2269.       911,  911,  911,  911,  911,  911,  911,  911,  911,  912,
  2270.       912,  912,  912,  912,  912,  912,  912,  912,  912,  912,
  2271.       912,  912,  912,  912,  913,    0,    0,    0,    0,  913,
  2272.         0,    0,    0,  913,  913,  915,    0,  915,    0,  915,
  2273.       915,  915,  915,  915,  916,  916,  916,  916,  916,  916,
  2274.       916,  916,  916,  916,  916,  916,  916,  916,  916,  917,
  2275.         0,    0,    0,    0,  917,    0,    0,    0,  917,  917,
  2276.       919,  919,  919,  919,  919,  919,  919,  919,  919,  919,
  2277.  
  2278.       919,  919,  919,  919,  919,  920,  920,  920,  920,  920,
  2279.       920,  920,  920,  920,  920,  920,  920,  920,  920,  920,
  2280.       921,  921,  921,  921,  921,  921,  921,  921,  921,  921,
  2281.       921,  921,  921,  921,  921,  922,  922,  922,  922,  922,
  2282.       922,  922,  922,  922,  922,  922,  922,  922,  922,  922,
  2283.       923,    0,    0,    0,    0,  923,    0,    0,    0,  923,
  2284.       923,  925,    0,  925,    0,  925,  925,  925,  925,  925,
  2285.       926,  926,  926,  926,  926,  926,  926,  926,  926,  926,
  2286.       926,  926,  926,  926,  926,  927,    0,    0,    0,    0,
  2287.       927,    0,    0,    0,  927,  927,  929,    0,  929,    0,
  2288.  
  2289.       929,  929,  929,  929,  929,  930,  930,  930,  930,  930,
  2290.       930,  930,  930,  930,  930,  930,  930,  930,  930,  930,
  2291.       931,  931,  931,  931,  931,  931,  931,  931,  931,  931,
  2292.       931,  931,  931,  931,  931,  932,  932,  932,  932,  932,
  2293.       932,  932,  932,  932,  932,  932,  932,  932,  932,  932,
  2294.       933,  933,  933,  933,  933,  933,  933,  933,  933,  933,
  2295.       933,  933,  933,  933,  933,  934,  934,  934,  934,  934,
  2296.       934,  934,  934,  934,  934,  934,  934,  934,  934,  934,
  2297.       935,    0,  935,    0,  935,  935,  935,  935,  935,  936,
  2298.       936,  936,  936,  936,  936,  936,  936,  936,  936,  936,
  2299.  
  2300.       936,  936,  936,  936,  937,  937,  937,  937,  937,  937,
  2301.       937,  937,  937,  937,  937,  937,  937,  937,  937,  938,
  2302.       938,  938,  938,  938,  938,  938,  938,  938,  938,  938,
  2303.       938,  938,  938,  938,  938,  938,  939,  939,  939,  939,
  2304.       939,  939,  939,  939,  939,  939,  939,  939,  939,  939,
  2305.       939,  940,  940,  940,  940,  940,  940,  940,  940,  940,
  2306.       940,  940,  940,  940,  940,  940,  941,  941,  941,  941,
  2307.       941,  941,  941,  941,  941,  941,  941,  941,  941,  941,
  2308.       941,  941,  941,  942,  942,  942,  942,  942,  942,  942,
  2309.       942,  942,  942,  942,  942,  942,  942,  942,  943,  943,
  2310.  
  2311.       943,  943,  943,  943,  943,  943,  943,  943,  943,  943,
  2312.       943,  943,  943,  944,  944,  944,  944,  944,  944,  944,
  2313.       944,  944,  944,  944,  944,  944,  944,  944,  945,    0,
  2314.         0,  945,  945,  946,  946,  946,  946,  946,  946,  946,
  2315.       946,  946,  946,  946,  946,  946,  946,  946,  947,  947,
  2316.       947,  947,  947,  947,  947,  947,  947,  947,  947,  947,
  2317.       947,  947,  947,  948,  948,  948,  948,  948,  948,  948,
  2318.       948,    0,  948,    0,  948,    0,    0,    0,    0,  948,
  2319.       949,  949,  949,  949,  949,  949,  949,  949,    0,  949,
  2320.         0,  949,    0,    0,    0,    0,  949,  950,  950,  950,
  2321.  
  2322.       950,  950,  950,  950,  950,    0,  950,    0,  950,    0,
  2323.         0,    0,    0,  950,  951,  951,  951,  951,  951,  951,
  2324.       951,  951,    0,  951,    0,  951,    0,    0,    0,    0,
  2325.       951,  952,  952,  952,  952,  952,  952,  952,  952,    0,
  2326.       952,    0,  952,    0,    0,    0,    0,  952,  953,  953,
  2327.       953,  953,  953,  953,  953,  953,    0,  953,    0,  953,
  2328.         0,    0,    0,    0,  953,  954,  954,  954,  954,  954,
  2329.       954,  954,  954,    0,  954,    0,  954,    0,    0,    0,
  2330.         0,  954,  955,  955,  955,  955,  955,  955,  955,  955,
  2331.         0,  955,    0,  955,    0,    0,    0,    0,  955,  956,
  2332.  
  2333.       956,  956,  956,  956,  956,  956,  956,  956,  956,  956,
  2334.       956,  956,  956,  956,  957,  957,  957,  957,  957,  957,
  2335.       957,  957,  957,  957,  957,  957,  957,  957,  957,  958,
  2336.       958,  958,  958,  958,  958,  958,  958,  958,  958,  958,
  2337.       958,  958,  958,  958,  959,  959,  959,  959,  959,  959,
  2338.       959,  959,  959,  959,  959,  959,  959,  959,  959,  960,
  2339.       960,  960,  960,  960,  960,  960,  960,    0,  960,    0,
  2340.       960,    0,    0,    0,    0,  960,  961,  961,  961,  961,
  2341.       961,  961,  961,  961,    0,  961,    0,  961,    0,    0,
  2342.         0,    0,  961,  962,  962,  962,  962,  962,  962,  962,
  2343.  
  2344.       962,    0,  962,    0,  962,    0,    0,    0,    0,  962,
  2345.       963,  963,  963,  963,  963,  963,  963,  963,    0,  963,
  2346.         0,  963,    0,    0,    0,    0,  963,  964,  964,  964,
  2347.       964,  964,  964,  964,  964,    0,  964,    0,  964,    0,
  2348.         0,    0,    0,  964,  965,  965,  965,  965,  965,  965,
  2349.       965,  965,    0,  965,    0,  965,    0,    0,    0,    0,
  2350.       965,  966,  966,  966,  966,  966,  966,  966,  966,    0,
  2351.       966,    0,  966,    0,    0,    0,    0,  966,  967,  967,
  2352.       967,  967,  967,  967,  967,  967,    0,  967,    0,  967,
  2353.         0,    0,    0,    0,  967,  968,  968,  968,  968,  968,
  2354.  
  2355.       968,  968,  968,  968,  968,  968,  968,  968,  968,  968,
  2356.       969,  969,  969,  969,  969,  969,  969,  969,  969,  969,
  2357.       969,  969,  969,  969,  969,  970,  970,  970,  970,  970,
  2358.       970,    0,  970,  970,  970,  970,  970,  970,  970,  970,
  2359.       970,  970,  971,  971,  971,  971,  971,  971,  971,  971,
  2360.       971,  971,  971,  971,  971,  971,  971,  972,  972,  972,
  2361.       972,  972,  972,  972,  972,  972,  972,  972,  972,  972,
  2362.       972,  972,  973,  973,  973,  973,  973,  973,  973,  973,
  2363.       973,  973,  973,  973,  973,  973,  973,  974,  974,  974,
  2364.       974,  974,  974,  974,  974,  974,  974,  974,  974,  974,
  2365.  
  2366.       974,  974,  975,  975,  975,  975,  975,  975,  975,  975,
  2367.       975,  975,  975,  975,  975,  975,  975,  976,    0,    0,
  2368.       976,  976,  977,  977,  977,  977,  977,  977,  977,  977,
  2369.       977,  977,  977,  977,  977,  977,  977,  978,  978,    0,
  2370.         0,    0,    0,    0,    0,    0,  978,  979,  979,  979,
  2371.       979,  979,  979,    0,  979,  979,  979,  979,  979,  979,
  2372.       979,  979,  979,  979,  980,  980,  980,  980,  980,  980,
  2373.       980,  980,  980,  980,  980,  980,  980,  980,  980,  981,
  2374.       981,  981,  981,  981,  981,  981,  981,  981,  981,  981,
  2375.       981,  981,  981,  981,  982,  982,  982,  982,  982,  982,
  2376.  
  2377.       982,  982,  982,  982,  982,  982,  982,  982,  982,  983,
  2378.       983,  983,  983,  983,  983,  983,  983,  983,  983,  983,
  2379.       983,  983,  983,  983,  984,    0,  984,    0,  984,  984,
  2380.       984,  984,  984,  985,  985,  985,  985,    0,  985,  985,
  2381.       985,  985,  985,  985,  985,  985,  985,  985,  985,  985,
  2382.       986,  986,  986,  986,  986,  986,  986,  986,  986,  986,
  2383.       986,  986,  986,  986,  986,  987,  987,  987,  987,  987,
  2384.       987,  987,  987,  987,  987,  987,  987,  987,  987,  987,
  2385.       988,  988,  988,  988,  988,  988,  988,  988,  988,  988,
  2386.       988,  988,  988,  988,  988,  989,  989,  989,  989,  989,
  2387.  
  2388.       989,  989,  989,  989,  989,  989,  989,  989,  989,  989,
  2389.       990,  990,  990,  990,  990,  990,  990,  990,  990,  990,
  2390.       990,  990,  990,  990,  990,  991,    0,    0,  991,  991,
  2391.       992,  992,  992,  992,  992,  992,  992,  992,  992,  992,
  2392.       992,  992,  992,  992,  992,  993,  993,    0,    0,    0,
  2393.         0,    0,    0,    0,  993,  995,  995,  995,  995,    0,
  2394.       995,  995,  995,  995,  995,  995,  995,  995,  995,  995,
  2395.       995,  995,  996,  996,  996,  996,  996,  996,  996,  996,
  2396.       996,  996,  996,  996,  996,  996,  996,  997,  997,  997,
  2397.       997,  997,  997,  997,  997,  997,  997,  997,  997,  997,
  2398.  
  2399.       997,  997,  998,  998,  998,  998,  998,  998,  998,  998,
  2400.       998,  998,  998,  998,  998,  998,  998,  999,  999,  999,
  2401.       999,  999,  999,  999,  999,  999,  999,  999,  999,  999,
  2402.       999,  999, 1000,    0, 1000,    0, 1000, 1000, 1000, 1000,
  2403.      1000, 1001,    0, 1001,    0, 1001, 1001, 1001, 1001, 1001,
  2404.      1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002, 1002,
  2405.      1002, 1002, 1002, 1002, 1002, 1003, 1003, 1003, 1003, 1003,
  2406.      1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003, 1003,
  2407.      1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004, 1004,
  2408.      1004, 1004, 1004, 1004, 1004, 1005,    0,    0, 1005, 1005,
  2409.  
  2410.      1006, 1006,    0,    0,    0,    0,    0,    0,    0, 1006,
  2411.      1007, 1007, 1007, 1007, 1007, 1007, 1007, 1007, 1007, 1007,
  2412.      1007, 1007, 1007, 1007, 1007, 1008, 1008, 1008, 1008, 1008,
  2413.      1008, 1008, 1008, 1008, 1008, 1008, 1008, 1008, 1008, 1008,
  2414.      1010, 1010,    0,    0,    0,    0,    0,    0,    0, 1010,
  2415.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  2416.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  2417.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  2418.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  2419.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  2420.  
  2421.       861,  861,  861,  861,  861,  861,  861,  861,  861,  861,
  2422.       861,  861,  861,  861,  861
  2423.     } ;
  2424.  
  2425. static yy_state_type yy_state_buf[YY_BUF_SIZE + 2], *yy_state_ptr;
  2426. static char *yy_full_match;
  2427. static int yy_lp;
  2428. static int yy_looking_for_trail_begin = 0;
  2429. static int yy_full_lp;
  2430. static int *yy_full_state;
  2431. #define YY_TRAILING_MASK 0x2000
  2432. #define YY_TRAILING_HEAD_MASK 0x4000
  2433. #define REJECT \
  2434. { \
  2435. *yy_cp = yy_hold_char; /* undo effects of setting up yytext */ \
  2436. yy_cp = yy_full_match; /* restore poss. backed-over text */ \
  2437. yy_lp = yy_full_lp; /* restore orig. accepting pos. */ \
  2438. yy_state_ptr = yy_full_state; /* restore orig. state */ \
  2439. yy_current_state = *yy_state_ptr; /* restore curr. state */ \
  2440. ++yy_lp; \
  2441. goto find_rule; \
  2442. }
  2443. #define yymore() yymore_used_but_not_detected
  2444. #define YY_MORE_ADJ 0
  2445. #define YY_RESTORE_YY_MORE_OFFSET
  2446. char *yytext;
  2447. #define INITIAL 0
  2448.  
  2449. /* For flex.  Requires support for 8-bit characters and case independence. */
  2450.  
  2451. #include "cssI.h"
  2452. #include "csstab.h"
  2453.  
  2454. #undef YY_INPUT
  2455. #define YY_INPUT(buf, result, max_size)  css_GetBuf(buf, &result, max_size)
  2456.  
  2457. #if !defined(__cplusplus) && !(__STDC__) && !defined(__TURBOC__)
  2458. /* Stuff from stdlib.h -- needed by win16 */
  2459. #define YY_MALLOC_DECL \
  2460. extern void free (void *); \
  2461. extern void *malloc (size_t size); \
  2462. extern void *realloc (void *, size_t);
  2463. #endif
  2464.  
  2465. static int input(void);
  2466.  
  2467. /* We never take input off of the command line. */
  2468. #define YY_NEVER_INTERACTIVE 1
  2469.  
  2470. #ifdef CSS_PARSE_DEBUG
  2471. #define RETURN(x) {printf("lex returns %d for '%s'\n",x,css_text);return(x);}
  2472. #else
  2473. #define RETURN(x) return(x)
  2474. #endif
  2475.  
  2476. #define css_comment 1
  2477.  
  2478. #define css_ignore 2
  2479.  
  2480. #define css_property 3
  2481.  
  2482. #define css_value 4
  2483.  
  2484. #define css_bg 5
  2485.  
  2486. #define css_font 6
  2487.  
  2488. #define css_line_height 7
  2489.  
  2490. #define css_list_style 8
  2491.  
  2492. #define css_border 9
  2493.  
  2494. #define css_font_size 10
  2495.  
  2496. #define css_after_ident 11
  2497.  
  2498.  
  2499. /* Macros after this point can all be overridden by user definitions in
  2500.  * section 1.
  2501.  */
  2502.  
  2503. #ifndef YY_SKIP_YYWRAP
  2504. #ifdef __cplusplus
  2505. extern "C" int yywrap YY_PROTO(( void ));
  2506. #else
  2507. extern int yywrap YY_PROTO(( void ));
  2508. #endif
  2509. #endif
  2510.  
  2511. #ifndef YY_NO_UNPUT
  2512. static void yyunput YY_PROTO(( int c, char *buf_ptr ));
  2513. #endif
  2514.  
  2515. #ifndef yytext_ptr
  2516. static void yy_flex_strncpy YY_PROTO(( char *, yyconst char *, int ));
  2517. #endif
  2518.  
  2519. #ifdef YY_NEED_STRLEN
  2520. static int yy_flex_strlen YY_PROTO(( yyconst char * ));
  2521. #endif
  2522.  
  2523. #ifndef YY_NO_INPUT
  2524. #ifdef __cplusplus
  2525. static int yyinput YY_PROTO(( void ));
  2526. #else
  2527. static int input YY_PROTO(( void ));
  2528. #endif
  2529. #endif
  2530.  
  2531. #if YY_STACK_USED
  2532. static int yy_start_stack_ptr = 0;
  2533. static int yy_start_stack_depth = 0;
  2534. static int *yy_start_stack = 0;
  2535. #ifndef YY_NO_PUSH_STATE
  2536. static void yy_push_state YY_PROTO(( int new_state ));
  2537. #endif
  2538. #ifndef YY_NO_POP_STATE
  2539. static void yy_pop_state YY_PROTO(( void ));
  2540. #endif
  2541. #ifndef YY_NO_TOP_STATE
  2542. static int yy_top_state YY_PROTO(( void ));
  2543. #endif
  2544.  
  2545. #else
  2546. #define YY_NO_PUSH_STATE 1
  2547. #define YY_NO_POP_STATE 1
  2548. #define YY_NO_TOP_STATE 1
  2549. #endif
  2550.  
  2551. #ifdef YY_MALLOC_DECL
  2552. YY_MALLOC_DECL
  2553. #else
  2554. #if __STDC__
  2555. #ifndef __cplusplus
  2556. #include <stdlib.h>
  2557. #endif
  2558. #else
  2559. /* Just try to get by without declaring the routines.  This will fail
  2560.  * miserably on non-ANSI systems for which sizeof(size_t) != sizeof(int)
  2561.  * or sizeof(void*) != sizeof(int).
  2562.  */
  2563. #endif
  2564. #endif
  2565.  
  2566. /* Amount of stuff to slurp up with each read. */
  2567. #ifndef YY_READ_BUF_SIZE
  2568. #define YY_READ_BUF_SIZE 8192
  2569. #endif
  2570.  
  2571. /* Copy whatever the last rule matched to the standard output. */
  2572.  
  2573. #ifndef ECHO
  2574. /* This used to be an fputs(), but since the string might contain NUL's,
  2575.  * we now use fwrite().
  2576.  */
  2577. #define ECHO (void) fwrite( yytext, yyleng, 1, yyout )
  2578. #endif
  2579.  
  2580. /* Gets input and stuffs it into "buf".  number of characters read, or YY_NULL,
  2581.  * is returned in "result".
  2582.  */
  2583. #ifndef YY_INPUT
  2584. #define YY_INPUT(buf,result,max_size) \
  2585.     if ( yy_current_buffer->yy_is_interactive ) \
  2586.         { \
  2587.         int c = '*', n; \
  2588.         for ( n = 0; n < max_size && \
  2589.                  (c = getc( yyin )) != EOF && c != '\n'; ++n ) \
  2590.             buf[n] = (char) c; \
  2591.         if ( c == '\n' ) \
  2592.             buf[n++] = (char) c; \
  2593.         if ( c == EOF && ferror( yyin ) ) \
  2594.             YY_FATAL_ERROR( "input in flex scanner failed" ); \
  2595.         result = n; \
  2596.         } \
  2597.     else if ( ((result = fread( buf, 1, max_size, yyin )) == 0) \
  2598.           && ferror( yyin ) ) \
  2599.         YY_FATAL_ERROR( "input in flex scanner failed" );
  2600. #endif
  2601.  
  2602. /* No semi-colon after return; correct usage is to write "yyterminate();" -
  2603.  * we don't want an extra ';' after the "return" because that will cause
  2604.  * some compilers to complain about unreachable statements.
  2605.  */
  2606. #ifndef yyterminate
  2607. #define yyterminate() return YY_NULL
  2608. #endif
  2609.  
  2610. /* Number of entries by which start-condition stack grows. */
  2611. #ifndef YY_START_STACK_INCR
  2612. #define YY_START_STACK_INCR 25
  2613. #endif
  2614.  
  2615. /* Report a fatal error. */
  2616. #ifndef YY_FATAL_ERROR
  2617. #define YY_FATAL_ERROR(msg) yy_fatal_error( msg )
  2618. #endif
  2619.  
  2620. /* Default declaration of generated scanner - a define so the user can
  2621.  * easily add parameters.
  2622.  */
  2623. #ifndef YY_DECL
  2624. #define YY_DECL int yylex YY_PROTO(( void ))
  2625. #endif
  2626.  
  2627. /* Code executed at the beginning of each rule, after yytext and yyleng
  2628.  * have been set up.
  2629.  */
  2630. #ifndef YY_USER_ACTION
  2631. #define YY_USER_ACTION
  2632. #endif
  2633.  
  2634. /* Code executed at the end of each rule. */
  2635. #ifndef YY_BREAK
  2636. #define YY_BREAK break;
  2637. #endif
  2638.  
  2639. #define YY_RULE_SETUP \
  2640.     YY_USER_ACTION
  2641.  
  2642. YY_DECL
  2643.     {
  2644.     register yy_state_type yy_current_state;
  2645.     register char *yy_cp, *yy_bp;
  2646.     register int yy_act;
  2647.  
  2648.  
  2649.  
  2650.  
  2651.  
  2652. /* CSS1 17 December 1996, with the following changes:
  2653.  * 1.  Expand whitespace definition in the rules section.
  2654.  * 2.  Change default rule action to be silent.
  2655.  * 3.  Require class names to be an IDENT.
  2656.  * 4.  Require id names to be an IDENT.
  2657.  * 5.  Return '.' as a separate lexical token;
  2658.  *     add DOT and DOT_AFTER_IDENT; remove CLASS and CLASS_AFTER_IDENT
  2659.  * 6.  Return '#' as a separate lexical token;
  2660.  *     remove HASH and HASH_AFTER_IDENT.
  2661.  * 7.  Gut the use of AFTER_IDENT tokens for pseudoclasses and pseudoelements.
  2662.  * 8.  Provide a definition for HEXCOLOR token.
  2663.  *     move { and } out into state triggers
  2664.  * 9.  Gave up on preserving any heritage and made use of exclusive states.
  2665.  */
  2666.  
  2667. /* These state variables can be on the stack because their state is not
  2668.  * useful across a token return.  They should always be set to 0 before
  2669.  * starting a new input file.
  2670.  */
  2671. short int css_prior_state = 0;
  2672. short int css_nest_count = 0;
  2673.  
  2674.  
  2675.  
  2676.     if ( yy_init )
  2677.         {
  2678.         yy_init = 0;
  2679.  
  2680. #ifdef YY_USER_INIT
  2681.         YY_USER_INIT;
  2682. #endif
  2683.  
  2684.         if ( ! yy_start )
  2685.             yy_start = 1;    /* first start state */
  2686.  
  2687.         if ( ! yyin )
  2688.             yyin = stdin;
  2689.  
  2690.         if ( ! yyout )
  2691.             yyout = stdout;
  2692.  
  2693.         if ( ! yy_current_buffer )
  2694.             yy_current_buffer =
  2695.                 yy_create_buffer( yyin, YY_BUF_SIZE );
  2696.  
  2697.         yy_load_buffer_state();
  2698.         }
  2699.  
  2700.     while ( 1 )        /* loops until end-of-file is reached */
  2701.         {
  2702.         yy_cp = yy_c_buf_p;
  2703.  
  2704.         /* Support of yytext. */
  2705.         *yy_cp = yy_hold_char;
  2706.  
  2707.         /* yy_bp points to the position in yy_ch_buf of the start of
  2708.          * the current run.
  2709.          */
  2710.         yy_bp = yy_cp;
  2711.  
  2712.         yy_current_state = yy_start;
  2713.         yy_state_ptr = yy_state_buf;
  2714.         *yy_state_ptr++ = yy_current_state;
  2715. yy_match:
  2716.         do
  2717.             {
  2718.             register YY_CHAR yy_c = yy_ec[YY_SC_TO_UI(*yy_cp)];
  2719.             while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
  2720.                 {
  2721.                 yy_current_state = (int) yy_def[yy_current_state];
  2722.                 if ( yy_current_state >= 862 )
  2723.                     yy_c = yy_meta[(unsigned int) yy_c];
  2724.                 }
  2725.             yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
  2726.             *yy_state_ptr++ = yy_current_state;
  2727.             ++yy_cp;
  2728.             }
  2729.         while ( yy_current_state != 861 );
  2730.  
  2731. yy_find_action:
  2732.         yy_current_state = *--yy_state_ptr;
  2733.         yy_lp = yy_accept[yy_current_state];
  2734. find_rule: /* we branch to this label when backing up */
  2735.         for ( ; ; ) /* until we find what rule we matched */
  2736.             {
  2737.             if ( yy_lp && yy_lp < yy_accept[yy_current_state + 1] )
  2738.                 {
  2739.                 yy_act = yy_acclist[yy_lp];
  2740.                 if ( yy_act & YY_TRAILING_HEAD_MASK ||
  2741.                      yy_looking_for_trail_begin )
  2742.                     {
  2743.                     if ( yy_act == yy_looking_for_trail_begin )
  2744.                         {
  2745.                         yy_looking_for_trail_begin = 0;
  2746.                         yy_act &= ~YY_TRAILING_HEAD_MASK;
  2747.                         break;
  2748.                         }
  2749.                     }
  2750.                 else if ( yy_act & YY_TRAILING_MASK )
  2751.                     {
  2752.                     yy_looking_for_trail_begin = yy_act & ~YY_TRAILING_MASK;
  2753.                     yy_looking_for_trail_begin |= YY_TRAILING_HEAD_MASK;
  2754.                     }
  2755.                 else
  2756.                     {
  2757.                     yy_full_match = yy_cp;
  2758.                     yy_full_state = yy_state_ptr;
  2759.                     yy_full_lp = yy_lp;
  2760.                     break;
  2761.                     }
  2762.                 ++yy_lp;
  2763.                 goto find_rule;
  2764.                 }
  2765.             --yy_cp;
  2766.             yy_current_state = *--yy_state_ptr;
  2767.             yy_lp = yy_accept[yy_current_state];
  2768.             }
  2769.  
  2770.         YY_DO_BEFORE_ACTION;
  2771.  
  2772.  
  2773. do_action:    /* This label is used only to access EOF actions. */
  2774.  
  2775.  
  2776.         switch ( yy_act )
  2777.     { /* beginning of action switch */
  2778. case 1:
  2779. YY_RULE_SETUP
  2780. {BEGIN(0); RETURN(CDO);}
  2781.     YY_BREAK
  2782. case 2:
  2783. YY_RULE_SETUP
  2784. {BEGIN(0); RETURN(CDC);}
  2785.     YY_BREAK
  2786. case 3:
  2787. YY_RULE_SETUP
  2788. {BEGIN(0);RETURN(LINK_PSCLASS);}
  2789.     YY_BREAK
  2790. case 4:
  2791. YY_RULE_SETUP
  2792. {BEGIN(0);RETURN(VISITED_PSCLASS);}
  2793.     YY_BREAK
  2794. case 5:
  2795. YY_RULE_SETUP
  2796. {BEGIN(0);RETURN(ACTIVE_PSCLASS);}
  2797.     YY_BREAK
  2798. case 6:
  2799. YY_RULE_SETUP
  2800. {BEGIN(0);RETURN(DOT_AFTER_IDENT);}
  2801.     YY_BREAK
  2802. case 7:
  2803. YY_RULE_SETUP
  2804. {BEGIN(css_after_ident); RETURN(IDENT);}
  2805.     YY_BREAK
  2806. case 8:
  2807. YY_RULE_SETUP
  2808. {BEGIN(0);RETURN(LEADING_LINK_PSCLASS);}
  2809.     YY_BREAK
  2810. case 9:
  2811. YY_RULE_SETUP
  2812. {BEGIN(0);RETURN(LEADING_VISITED_PSCLASS);}
  2813.     YY_BREAK
  2814. case 10:
  2815. YY_RULE_SETUP
  2816. {BEGIN(0);RETURN(LEADING_ACTIVE_PSCLASS);}
  2817.     YY_BREAK
  2818. case 11:
  2819. YY_RULE_SETUP
  2820. {BEGIN(0);RETURN(FIRST_LINE);}
  2821.     YY_BREAK
  2822. case 12:
  2823. YY_RULE_SETUP
  2824. {BEGIN(0);RETURN(FIRST_LETTER);}
  2825.     YY_BREAK
  2826. case 13:
  2827. YY_RULE_SETUP
  2828. {BEGIN(0);RETURN(DOT);}
  2829.     YY_BREAK
  2830. case 14:
  2831. YY_RULE_SETUP
  2832. {BEGIN(0);return (*css_text);}
  2833.     YY_BREAK
  2834. case 15:
  2835. YY_RULE_SETUP
  2836. {BEGIN(0);}
  2837.     YY_BREAK
  2838. case 16:
  2839. YY_RULE_SETUP
  2840. {BEGIN(0); RETURN(IMPORT_SYM);}
  2841.     YY_BREAK
  2842. case 17:
  2843. YY_RULE_SETUP
  2844. {BEGIN(0); RETURN(FONTDEF);}
  2845.     YY_BREAK
  2846. case 18:
  2847. case 19:
  2848. YY_RULE_SETUP
  2849. {RETURN(URL);}
  2850.     YY_BREAK
  2851. case 20:
  2852. YY_RULE_SETUP
  2853. {RETURN(STRING);}
  2854.     YY_BREAK
  2855. case 21:
  2856. YY_RULE_SETUP
  2857. {BEGIN(css_ignore); css_nest_count=0;}
  2858.     YY_BREAK
  2859. case 22:
  2860. case 23:
  2861. YY_RULE_SETUP
  2862. { /* unrecognized @rules are ignored. */}
  2863.     YY_BREAK
  2864. case 24:
  2865. YY_RULE_SETUP
  2866. {if (0 == css_nest_count) BEGIN(0);}
  2867.     YY_BREAK
  2868. case 25:
  2869. YY_RULE_SETUP
  2870. {css_nest_count++;}
  2871.     YY_BREAK
  2872. case 26:
  2873. YY_RULE_SETUP
  2874. {if (0 >= --css_nest_count) BEGIN(0);}
  2875.     YY_BREAK
  2876. case 27:
  2877. YY_RULE_SETUP
  2878. {if (css_comment != YY_START) {
  2879.                          /* Comments cannot be nested. */
  2880.                          css_prior_state = YY_START;}
  2881.                      BEGIN(css_comment);}
  2882.     YY_BREAK
  2883. case 28:
  2884. case 29:
  2885. YY_RULE_SETUP
  2886. {/* Comments function as whitespace. */}
  2887.     YY_BREAK
  2888. case 30:
  2889. YY_RULE_SETUP
  2890. {BEGIN(css_prior_state);}
  2891.     YY_BREAK
  2892. case 31:
  2893. YY_RULE_SETUP
  2894. {/* whitespace can separate tokens */}
  2895.     YY_BREAK
  2896. case 32:
  2897. YY_RULE_SETUP
  2898. {BEGIN(0); return (*css_text);}
  2899.     YY_BREAK
  2900. case 33:
  2901. YY_RULE_SETUP
  2902. {BEGIN(css_property); return (*css_text);}
  2903.     YY_BREAK
  2904. case 34:
  2905. YY_RULE_SETUP
  2906. {RETURN(IMPORTANT_SYM);}
  2907.     YY_BREAK
  2908. case 35:
  2909. YY_RULE_SETUP
  2910. {BEGIN(css_property); return (*css_text);}
  2911.     YY_BREAK
  2912. case 36:
  2913. YY_RULE_SETUP
  2914. {BEGIN(css_value); return (*css_text);}
  2915.     YY_BREAK
  2916. case 37:
  2917. YY_RULE_SETUP
  2918. {return (*css_text);}
  2919.     YY_BREAK
  2920. case 38:
  2921. YY_RULE_SETUP
  2922. {BEGIN(css_bg); RETURN(BACKGROUND);}
  2923.     YY_BREAK
  2924. case 39:
  2925. YY_RULE_SETUP
  2926. {BEGIN(css_font); RETURN(FONT);}
  2927.     YY_BREAK
  2928. case 40:
  2929. YY_RULE_SETUP
  2930. {BEGIN(css_list_style); RETURN(LIST_STYLE);}
  2931.     YY_BREAK
  2932. case 41:
  2933. YY_RULE_SETUP
  2934. {BEGIN(css_border); RETURN(BORDER);}
  2935.     YY_BREAK
  2936. case 42:
  2937. YY_RULE_SETUP
  2938. {BEGIN(css_font_size); RETURN(FONT_SIZE_PROPERTY);}
  2939.     YY_BREAK
  2940. case 43:
  2941. YY_RULE_SETUP
  2942. {RETURN(IDENT);}
  2943.     YY_BREAK
  2944. case 44:
  2945. YY_RULE_SETUP
  2946. {RETURN(FONT_STYLE);}
  2947.     YY_BREAK
  2948. case 45:
  2949. YY_RULE_SETUP
  2950. {RETURN(FONT_VARIANT);}
  2951.     YY_BREAK
  2952. case 46:
  2953. YY_RULE_SETUP
  2954. {RETURN(FONT_WEIGHT);}
  2955.     YY_BREAK
  2956. case 47:
  2957. YY_RULE_SETUP
  2958. {RETURN(FONT_WEIGHT);}
  2959.     YY_BREAK
  2960. case 48:
  2961. YY_RULE_SETUP
  2962. {RETURN(FONT_NORMAL);}
  2963.     YY_BREAK
  2964. case 49:
  2965. YY_RULE_SETUP
  2966. {RETURN(FONT_SIZE);}
  2967.     YY_BREAK
  2968. case 50:
  2969. YY_RULE_SETUP
  2970. {RETURN(FONT_SIZE);}
  2971.     YY_BREAK
  2972. case 51:
  2973. YY_RULE_SETUP
  2974. {BEGIN(css_font); RETURN(PERCENTAGE);}
  2975.     YY_BREAK
  2976. case 52:
  2977. case 53:
  2978. case 54:
  2979. case 55:
  2980. case 56:
  2981. case 57:
  2982. case 58:
  2983. YY_RULE_SETUP
  2984. {BEGIN(css_font); RETURN(LENGTH);}
  2985.     YY_BREAK
  2986. case 59:
  2987. YY_RULE_SETUP
  2988. {BEGIN(css_font); RETURN(EMS);}
  2989.     YY_BREAK
  2990. case 60:
  2991. YY_RULE_SETUP
  2992. {BEGIN(css_font); RETURN(EXS);}
  2993.     YY_BREAK
  2994. case 61:
  2995. YY_RULE_SETUP
  2996. {BEGIN(css_line_height); return (*css_text);}
  2997.     YY_BREAK
  2998. case 62:
  2999. YY_RULE_SETUP
  3000. {return (*css_text);}
  3001.     YY_BREAK
  3002. case 63:
  3003. YY_RULE_SETUP
  3004. {BEGIN(css_font); RETURN(NUMBER);}
  3005.     YY_BREAK
  3006. case 64:
  3007. YY_RULE_SETUP
  3008. {BEGIN(css_font); RETURN(LINE_HEIGHT);}
  3009.     YY_BREAK
  3010. case 65:
  3011. YY_RULE_SETUP
  3012. {RETURN(IDENT);}
  3013.     YY_BREAK
  3014. case 66:
  3015. YY_RULE_SETUP
  3016. {RETURN(STRING);}
  3017.     YY_BREAK
  3018. case 67:
  3019. YY_RULE_SETUP
  3020. {return (*css_text);}
  3021.     YY_BREAK
  3022. case 68:
  3023. YY_RULE_SETUP
  3024. {RETURN(LS_TYPE);}
  3025.     YY_BREAK
  3026. case 69:
  3027. YY_RULE_SETUP
  3028. {RETURN(LS_NONE);}
  3029.     YY_BREAK
  3030. case 70:
  3031. YY_RULE_SETUP
  3032. {RETURN(LS_POSITION);}
  3033.     YY_BREAK
  3034. case 71:
  3035. YY_RULE_SETUP
  3036. {RETURN(BG_COLOR);}
  3037.     YY_BREAK
  3038. case 72:
  3039. YY_RULE_SETUP
  3040. {RETURN(BG_IMAGE);}
  3041.     YY_BREAK
  3042. case 73:
  3043. YY_RULE_SETUP
  3044. {RETURN(BG_REPEAT);}
  3045.     YY_BREAK
  3046. case 74:
  3047. YY_RULE_SETUP
  3048. {RETURN(BG_ATTACHMENT);}
  3049.     YY_BREAK
  3050. case 75:
  3051. YY_RULE_SETUP
  3052. {RETURN(BG_POSITION);}
  3053.     YY_BREAK
  3054. case 76:
  3055. YY_RULE_SETUP
  3056. {return (*css_text);}
  3057.     YY_BREAK
  3058. case 77:
  3059. YY_RULE_SETUP
  3060. {RETURN(IDENT);}
  3061.     YY_BREAK
  3062. case 78:
  3063. YY_RULE_SETUP
  3064. {RETURN(IDENT); /* quick b2 hack */}
  3065.     YY_BREAK
  3066. case 79:
  3067. YY_RULE_SETUP
  3068. {RETURN(STRING);}
  3069.     YY_BREAK
  3070. case 80:
  3071. case 81:
  3072. YY_RULE_SETUP
  3073. {RETURN(HEXCOLOR);}
  3074.     YY_BREAK
  3075. case 82:
  3076. YY_RULE_SETUP
  3077. {RETURN(RGB);}
  3078.     YY_BREAK
  3079. case 83:
  3080. case 84:
  3081. YY_RULE_SETUP
  3082. {RETURN(URL);}
  3083.     YY_BREAK
  3084. case 85:
  3085. YY_RULE_SETUP
  3086. {RETURN(PERCENTAGE);}
  3087.     YY_BREAK
  3088. case 86:
  3089. case 87:
  3090. case 88:
  3091. case 89:
  3092. case 90:
  3093. case 91:
  3094. case 92:
  3095. YY_RULE_SETUP
  3096. {RETURN(LENGTH);}
  3097.     YY_BREAK
  3098. case 93:
  3099. YY_RULE_SETUP
  3100. {RETURN(EMS);}
  3101.     YY_BREAK
  3102. case 94:
  3103. YY_RULE_SETUP
  3104. {RETURN(EXS);}
  3105.     YY_BREAK
  3106. case 95:
  3107. YY_RULE_SETUP
  3108. {RETURN(NUMBER);}
  3109.     YY_BREAK
  3110. case 96:
  3111. case 97:
  3112. YY_RULE_SETUP
  3113. {RETURN(BORDER_STYLE);}
  3114.     YY_BREAK
  3115. case 98:
  3116. YY_RULE_SETUP
  3117. {RETURN(BORDER_WIDTH);}
  3118.     YY_BREAK
  3119. case 99:
  3120. YY_RULE_SETUP
  3121. {RETURN(IDENT);}
  3122.     YY_BREAK
  3123. case YY_STATE_EOF(INITIAL):
  3124. case YY_STATE_EOF(css_comment):
  3125. case YY_STATE_EOF(css_ignore):
  3126. case YY_STATE_EOF(css_property):
  3127. case YY_STATE_EOF(css_value):
  3128. case YY_STATE_EOF(css_bg):
  3129. case YY_STATE_EOF(css_font):
  3130. case YY_STATE_EOF(css_line_height):
  3131. case YY_STATE_EOF(css_list_style):
  3132. case YY_STATE_EOF(css_border):
  3133. case YY_STATE_EOF(css_font_size):
  3134. case YY_STATE_EOF(css_after_ident):
  3135. {BEGIN (0); yyterminate();}
  3136.     YY_BREAK
  3137. case 100:
  3138. YY_RULE_SETUP
  3139. {RETURN(WILD);}
  3140.     YY_BREAK
  3141. case 101:
  3142. YY_RULE_SETUP
  3143. ECHO;
  3144.     YY_BREAK
  3145.  
  3146.     case YY_END_OF_BUFFER:
  3147.         {
  3148.         /* Amount of text matched not including the EOB char. */
  3149.         int yy_amount_of_matched_text = (int) (yy_cp - yytext_ptr) - 1;
  3150.  
  3151.         /* Undo the effects of YY_DO_BEFORE_ACTION. */
  3152.         *yy_cp = yy_hold_char;
  3153.         YY_RESTORE_YY_MORE_OFFSET
  3154.  
  3155.         if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_NEW )
  3156.             {
  3157.             /* We're scanning a new file or input source.  It's
  3158.              * possible that this happened because the user
  3159.              * just pointed yyin at a new source and called
  3160.              * yylex().  If so, then we have to assure
  3161.              * consistency between yy_current_buffer and our
  3162.              * globals.  Here is the right place to do so, because
  3163.              * this is the first action (other than possibly a
  3164.              * back-up) that will match for the new input source.
  3165.              */
  3166.             yy_n_chars = yy_current_buffer->yy_n_chars;
  3167.             yy_current_buffer->yy_input_file = yyin;
  3168.             yy_current_buffer->yy_buffer_status = YY_BUFFER_NORMAL;
  3169.             }
  3170.  
  3171.         /* Note that here we test for yy_c_buf_p "<=" to the position
  3172.          * of the first EOB in the buffer, since yy_c_buf_p will
  3173.          * already have been incremented past the NUL character
  3174.          * (since all states make transitions on EOB to the
  3175.          * end-of-buffer state).  Contrast this with the test
  3176.          * in input().
  3177.          */
  3178.         if ( yy_c_buf_p <= &yy_current_buffer->yy_ch_buf[yy_n_chars] )
  3179.             { /* This was really a NUL. */
  3180.             yy_state_type yy_next_state;
  3181.  
  3182.             yy_c_buf_p = yytext_ptr + yy_amount_of_matched_text;
  3183.  
  3184.             yy_current_state = yy_get_previous_state();
  3185.  
  3186.             /* Okay, we're now positioned to make the NUL
  3187.              * transition.  We couldn't have
  3188.              * yy_get_previous_state() go ahead and do it
  3189.              * for us because it doesn't know how to deal
  3190.              * with the possibility of jamming (and we don't
  3191.              * want to build jamming into it because then it
  3192.              * will run more slowly).
  3193.              */
  3194.  
  3195.             yy_next_state = yy_try_NUL_trans( yy_current_state );
  3196.  
  3197.             yy_bp = yytext_ptr + YY_MORE_ADJ;
  3198.  
  3199.             if ( yy_next_state )
  3200.                 {
  3201.                 /* Consume the NUL. */
  3202.                 yy_cp = ++yy_c_buf_p;
  3203.                 yy_current_state = yy_next_state;
  3204.                 goto yy_match;
  3205.                 }
  3206.  
  3207.             else
  3208.                 {
  3209.                 yy_cp = yy_c_buf_p;
  3210.                 goto yy_find_action;
  3211.                 }
  3212.             }
  3213.  
  3214.         else switch ( yy_get_next_buffer() )
  3215.             {
  3216.             case EOB_ACT_END_OF_FILE:
  3217.                 {
  3218.                 yy_did_buffer_switch_on_eof = 0;
  3219.  
  3220.                 if ( yywrap() )
  3221.                     {
  3222.                     /* Note: because we've taken care in
  3223.                      * yy_get_next_buffer() to have set up
  3224.                      * yytext, we can now set up
  3225.                      * yy_c_buf_p so that if some total
  3226.                      * hoser (like flex itself) wants to
  3227.                      * call the scanner after we return the
  3228.                      * YY_NULL, it'll still work - another
  3229.                      * YY_NULL will get returned.
  3230.                      */
  3231.                     yy_c_buf_p = yytext_ptr + YY_MORE_ADJ;
  3232.  
  3233.                     yy_act = YY_STATE_EOF(YY_START);
  3234.                     goto do_action;
  3235.                     }
  3236.  
  3237.                 else
  3238.                     {
  3239.                     if ( ! yy_did_buffer_switch_on_eof )
  3240.                         YY_NEW_FILE;
  3241.                     }
  3242.                 break;
  3243.                 }
  3244.  
  3245.             case EOB_ACT_CONTINUE_SCAN:
  3246.                 yy_c_buf_p =
  3247.                     yytext_ptr + yy_amount_of_matched_text;
  3248.  
  3249.                 yy_current_state = yy_get_previous_state();
  3250.  
  3251.                 yy_cp = yy_c_buf_p;
  3252.                 yy_bp = yytext_ptr + YY_MORE_ADJ;
  3253.                 goto yy_match;
  3254.  
  3255.             case EOB_ACT_LAST_MATCH:
  3256.                 yy_c_buf_p =
  3257.                 &yy_current_buffer->yy_ch_buf[yy_n_chars];
  3258.  
  3259.                 yy_current_state = yy_get_previous_state();
  3260.  
  3261.                 yy_cp = yy_c_buf_p;
  3262.                 yy_bp = yytext_ptr + YY_MORE_ADJ;
  3263.                 goto yy_find_action;
  3264.             }
  3265.         break;
  3266.         }
  3267.  
  3268.     default:
  3269.         YY_FATAL_ERROR(
  3270.             "fatal flex scanner internal error--no action found" );
  3271.     } /* end of action switch */
  3272.         } /* end of scanning one token */
  3273.     } /* end of yylex */
  3274.  
  3275.  
  3276. /* yy_get_next_buffer - try to read in a new buffer
  3277.  *
  3278.  * Returns a code representing an action:
  3279.  *    EOB_ACT_LAST_MATCH -
  3280.  *    EOB_ACT_CONTINUE_SCAN - continue scanning from current position
  3281.  *    EOB_ACT_END_OF_FILE - end of file
  3282.  */
  3283.  
  3284. static int yy_get_next_buffer()
  3285.     {
  3286.     register char *dest = yy_current_buffer->yy_ch_buf;
  3287.     register char *source = yytext_ptr;
  3288.     register int number_to_move, i;
  3289.     int ret_val;
  3290.  
  3291.     if ( yy_c_buf_p > &yy_current_buffer->yy_ch_buf[yy_n_chars + 1] )
  3292.         YY_FATAL_ERROR(
  3293.         "fatal flex scanner internal error--end of buffer missed" );
  3294.  
  3295.     if ( yy_current_buffer->yy_fill_buffer == 0 )
  3296.         { /* Don't try to fill the buffer, so this is an EOF. */
  3297.         if ( yy_c_buf_p - yytext_ptr - YY_MORE_ADJ == 1 )
  3298.             {
  3299.             /* We matched a single character, the EOB, so
  3300.              * treat this as a final EOF.
  3301.              */
  3302.             return EOB_ACT_END_OF_FILE;
  3303.             }
  3304.  
  3305.         else
  3306.             {
  3307.             /* We matched some text prior to the EOB, first
  3308.              * process it.
  3309.              */
  3310.             return EOB_ACT_LAST_MATCH;
  3311.             }
  3312.         }
  3313.  
  3314.     /* Try to read more data. */
  3315.  
  3316.     /* First move last chars to start of buffer. */
  3317.     number_to_move = (int) (yy_c_buf_p - yytext_ptr) - 1;
  3318.  
  3319.     for ( i = 0; i < number_to_move; ++i )
  3320.         *(dest++) = *(source++);
  3321.  
  3322.     if ( yy_current_buffer->yy_buffer_status == YY_BUFFER_EOF_PENDING )
  3323.         /* don't do the read, it's not guaranteed to return an EOF,
  3324.          * just force an EOF
  3325.          */
  3326.         yy_n_chars = 0;
  3327.  
  3328.     else
  3329.         {
  3330.         int num_to_read =
  3331.             yy_current_buffer->yy_buf_size - number_to_move - 1;
  3332.  
  3333.         while ( num_to_read <= 0 )
  3334.             { /* Not enough room in the buffer - grow it. */
  3335. #ifdef YY_USES_REJECT
  3336.             YY_FATAL_ERROR(
  3337. "input buffer overflow, can't enlarge buffer because scanner uses REJECT" );
  3338. #else
  3339.  
  3340.             /* just a shorter name for the current buffer */
  3341.             YY_BUFFER_STATE b = yy_current_buffer;
  3342.  
  3343.             int yy_c_buf_p_offset =
  3344.                 (int) (yy_c_buf_p - b->yy_ch_buf);
  3345.  
  3346.             if ( b->yy_is_our_buffer )
  3347.                 {
  3348.                 int new_size = b->yy_buf_size * 2;
  3349.  
  3350.                 if ( new_size <= 0 )
  3351.                     b->yy_buf_size += b->yy_buf_size / 8;
  3352.                 else
  3353.                     b->yy_buf_size *= 2;
  3354.  
  3355.                 b->yy_ch_buf = (char *)
  3356.                     /* Include room in for 2 EOB chars. */
  3357.                     yy_flex_realloc( (void *) b->yy_ch_buf,
  3358.                              b->yy_buf_size + 2 );
  3359.                 }
  3360.             else
  3361.                 /* Can't grow it, we don't own it. */
  3362.                 b->yy_ch_buf = 0;
  3363.  
  3364.             if ( ! b->yy_ch_buf )
  3365.                 YY_FATAL_ERROR(
  3366.                 "fatal error - scanner input buffer overflow" );
  3367.  
  3368.             yy_c_buf_p = &b->yy_ch_buf[yy_c_buf_p_offset];
  3369.  
  3370.             num_to_read = yy_current_buffer->yy_buf_size -
  3371.                         number_to_move - 1;
  3372. #endif
  3373.             }
  3374.  
  3375.         if ( num_to_read > YY_READ_BUF_SIZE )
  3376.             num_to_read = YY_READ_BUF_SIZE;
  3377.  
  3378.         /* Read in more data. */
  3379.         YY_INPUT( (&yy_current_buffer->yy_ch_buf[number_to_move]),
  3380.             yy_n_chars, num_to_read );
  3381.         }
  3382.  
  3383.     if ( yy_n_chars == 0 )
  3384.         {
  3385.         if ( number_to_move == YY_MORE_ADJ )
  3386.             {
  3387.             ret_val = EOB_ACT_END_OF_FILE;
  3388.             yyrestart( yyin );
  3389.             }
  3390.  
  3391.         else
  3392.             {
  3393.             ret_val = EOB_ACT_LAST_MATCH;
  3394.             yy_current_buffer->yy_buffer_status =
  3395.                 YY_BUFFER_EOF_PENDING;
  3396.             }
  3397.         }
  3398.  
  3399.     else
  3400.         ret_val = EOB_ACT_CONTINUE_SCAN;
  3401.  
  3402.     yy_n_chars += number_to_move;
  3403.     yy_current_buffer->yy_ch_buf[yy_n_chars] = YY_END_OF_BUFFER_CHAR;
  3404.     yy_current_buffer->yy_ch_buf[yy_n_chars + 1] = YY_END_OF_BUFFER_CHAR;
  3405.  
  3406.     yytext_ptr = &yy_current_buffer->yy_ch_buf[0];
  3407.  
  3408.     return ret_val;
  3409.     }
  3410.  
  3411.  
  3412. /* yy_get_previous_state - get the state just before the EOB char was reached */
  3413.  
  3414. static yy_state_type yy_get_previous_state()
  3415.     {
  3416.     register yy_state_type yy_current_state;
  3417.     register char *yy_cp;
  3418.  
  3419.     yy_current_state = yy_start;
  3420.     yy_state_ptr = yy_state_buf;
  3421.     *yy_state_ptr++ = yy_current_state;
  3422.  
  3423.     for ( yy_cp = yytext_ptr + YY_MORE_ADJ; yy_cp < yy_c_buf_p; ++yy_cp )
  3424.         {
  3425.         register YY_CHAR yy_c = (*yy_cp ? yy_ec[YY_SC_TO_UI(*yy_cp)] : 1);
  3426.         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
  3427.             {
  3428.             yy_current_state = (int) yy_def[yy_current_state];
  3429.             if ( yy_current_state >= 862 )
  3430.                 yy_c = yy_meta[(unsigned int) yy_c];
  3431.             }
  3432.         yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
  3433.         *yy_state_ptr++ = yy_current_state;
  3434.         }
  3435.  
  3436.     return yy_current_state;
  3437.     }
  3438.  
  3439.  
  3440. /* yy_try_NUL_trans - try to make a transition on the NUL character
  3441.  *
  3442.  * synopsis
  3443.  *    next_state = yy_try_NUL_trans( current_state );
  3444.  */
  3445.  
  3446. #ifdef YY_USE_PROTOS
  3447. static yy_state_type yy_try_NUL_trans( yy_state_type yy_current_state )
  3448. #else
  3449. static yy_state_type yy_try_NUL_trans( yy_current_state )
  3450. yy_state_type yy_current_state;
  3451. #endif
  3452.     {
  3453.     register int yy_is_jam;
  3454.  
  3455.     register YY_CHAR yy_c = 1;
  3456.     while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
  3457.         {
  3458.         yy_current_state = (int) yy_def[yy_current_state];
  3459.         if ( yy_current_state >= 862 )
  3460.             yy_c = yy_meta[(unsigned int) yy_c];
  3461.         }
  3462.     yy_current_state = yy_nxt[yy_base[yy_current_state] + (unsigned int) yy_c];
  3463.     yy_is_jam = (yy_current_state == 861);
  3464.     if ( ! yy_is_jam )
  3465.         *yy_state_ptr++ = yy_current_state;
  3466.  
  3467.     return yy_is_jam ? 0 : yy_current_state;
  3468.     }
  3469.  
  3470.  
  3471. #ifndef YY_NO_UNPUT
  3472. #ifdef YY_USE_PROTOS
  3473. static void yyunput( int c, register char *yy_bp )
  3474. #else
  3475. static void yyunput( c, yy_bp )
  3476. int c;
  3477. register char *yy_bp;
  3478. #endif
  3479.     {
  3480.     register char *yy_cp = yy_c_buf_p;
  3481.  
  3482.     /* undo effects of setting up yytext */
  3483.     *yy_cp = yy_hold_char;
  3484.  
  3485.     if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
  3486.         { /* need to shift things up to make room */
  3487.         /* +2 for EOB chars. */
  3488.         register int number_to_move = yy_n_chars + 2;
  3489.         register char *dest = &yy_current_buffer->yy_ch_buf[
  3490.                     yy_current_buffer->yy_buf_size + 2];
  3491.         register char *source =
  3492.                 &yy_current_buffer->yy_ch_buf[number_to_move];
  3493.  
  3494.         while ( source > yy_current_buffer->yy_ch_buf )
  3495.             *--dest = *--source;
  3496.  
  3497.         yy_cp += (int) (dest - source);
  3498.         yy_bp += (int) (dest - source);
  3499.         yy_n_chars = yy_current_buffer->yy_buf_size;
  3500.  
  3501.         if ( yy_cp < yy_current_buffer->yy_ch_buf + 2 )
  3502.             YY_FATAL_ERROR( "flex scanner push-back overflow" );
  3503.         }
  3504.  
  3505.     *--yy_cp = (char) c;
  3506.  
  3507.  
  3508.     yytext_ptr = yy_bp;
  3509.     yy_hold_char = *yy_cp;
  3510.     yy_c_buf_p = yy_cp;
  3511.     }
  3512. #endif    /* ifndef YY_NO_UNPUT */
  3513.  
  3514.  
  3515. #ifdef __cplusplus
  3516. static int yyinput()
  3517. #else
  3518. static int input()
  3519. #endif
  3520.     {
  3521.     int c;
  3522.  
  3523.     *yy_c_buf_p = yy_hold_char;
  3524.  
  3525.     if ( *yy_c_buf_p == YY_END_OF_BUFFER_CHAR )
  3526.         {
  3527.         /* yy_c_buf_p now points to the character we want to return.
  3528.          * If this occurs *before* the EOB characters, then it's a
  3529.          * valid NUL; if not, then we've hit the end of the buffer.
  3530.          */
  3531.         if ( yy_c_buf_p < &yy_current_buffer->yy_ch_buf[yy_n_chars] )
  3532.             /* This was really a NUL. */
  3533.             *yy_c_buf_p = '\0';
  3534.  
  3535.         else
  3536.             { /* need more input */
  3537.             int offset = yy_c_buf_p - yytext_ptr;
  3538.             ++yy_c_buf_p;
  3539.  
  3540.             switch ( yy_get_next_buffer() )
  3541.                 {
  3542.                 case EOB_ACT_END_OF_FILE:
  3543.                     {
  3544.                     if ( yywrap() )
  3545.                         {
  3546.                         yy_c_buf_p = yytext_ptr + offset;
  3547.                         return EOF;
  3548.                         }
  3549.  
  3550.                     if ( ! yy_did_buffer_switch_on_eof )
  3551.                         YY_NEW_FILE;
  3552. #ifdef __cplusplus
  3553.                     return yyinput();
  3554. #else
  3555.                     return input();
  3556. #endif
  3557.                     }
  3558.  
  3559.                 case EOB_ACT_CONTINUE_SCAN:
  3560.                     yy_c_buf_p = yytext_ptr + offset;
  3561.                     break;
  3562.  
  3563.                 case EOB_ACT_LAST_MATCH:
  3564. #ifdef __cplusplus
  3565.                     YY_FATAL_ERROR(
  3566.                     "unexpected last match in yyinput()" );
  3567. #else
  3568.                     YY_FATAL_ERROR(
  3569.                     "unexpected last match in input()" );
  3570. #endif
  3571.                 }
  3572.             }
  3573.         }
  3574.  
  3575.     c = *(unsigned char *) yy_c_buf_p;    /* cast for 8-bit char's */
  3576.     *yy_c_buf_p = '\0';    /* preserve yytext */
  3577.     yy_hold_char = *++yy_c_buf_p;
  3578.  
  3579.  
  3580.     return c;
  3581.     }
  3582.  
  3583.  
  3584. #ifdef YY_USE_PROTOS
  3585. void yyrestart( FILE *input_file )
  3586. #else
  3587. void yyrestart( input_file )
  3588. FILE *input_file;
  3589. #endif
  3590.     {
  3591.     if ( ! yy_current_buffer )
  3592.         yy_current_buffer = yy_create_buffer( yyin, YY_BUF_SIZE );
  3593.  
  3594.     yy_init_buffer( yy_current_buffer, input_file );
  3595.     yy_load_buffer_state();
  3596.     }
  3597.  
  3598.  
  3599. #ifdef YY_USE_PROTOS
  3600. void yy_switch_to_buffer( YY_BUFFER_STATE new_buffer )
  3601. #else
  3602. void yy_switch_to_buffer( new_buffer )
  3603. YY_BUFFER_STATE new_buffer;
  3604. #endif
  3605.     {
  3606.     if ( yy_current_buffer == new_buffer )
  3607.         return;
  3608.  
  3609.     if ( yy_current_buffer )
  3610.         {
  3611.         /* Flush out information for old buffer. */
  3612.         *yy_c_buf_p = yy_hold_char;
  3613.         yy_current_buffer->yy_buf_pos = yy_c_buf_p;
  3614.         yy_current_buffer->yy_n_chars = yy_n_chars;
  3615.         }
  3616.  
  3617.     yy_current_buffer = new_buffer;
  3618.     yy_load_buffer_state();
  3619.  
  3620.     /* We don't actually know whether we did this switch during
  3621.      * EOF (yywrap()) processing, but the only time this flag
  3622.      * is looked at is after yywrap() is called, so it's safe
  3623.      * to go ahead and always set it.
  3624.      */
  3625.     yy_did_buffer_switch_on_eof = 1;
  3626.     }
  3627.  
  3628.  
  3629. #ifdef YY_USE_PROTOS
  3630. void yy_load_buffer_state( void )
  3631. #else
  3632. void yy_load_buffer_state()
  3633. #endif
  3634.     {
  3635.     yy_n_chars = yy_current_buffer->yy_n_chars;
  3636.     yytext_ptr = yy_c_buf_p = yy_current_buffer->yy_buf_pos;
  3637.     yyin = yy_current_buffer->yy_input_file;
  3638.     yy_hold_char = *yy_c_buf_p;
  3639.     }
  3640.  
  3641.  
  3642. #ifdef YY_USE_PROTOS
  3643. YY_BUFFER_STATE yy_create_buffer( FILE *file, int size )
  3644. #else
  3645. YY_BUFFER_STATE yy_create_buffer( file, size )
  3646. FILE *file;
  3647. int size;
  3648. #endif
  3649.     {
  3650.     YY_BUFFER_STATE b;
  3651.  
  3652.     b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
  3653.     if ( ! b )
  3654.         YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
  3655.  
  3656.     b->yy_buf_size = size;
  3657.  
  3658.     /* yy_ch_buf has to be 2 characters longer than the size given because
  3659.      * we need to put in 2 end-of-buffer characters.
  3660.      */
  3661.     b->yy_ch_buf = (char *) yy_flex_alloc( b->yy_buf_size + 2 );
  3662.     if ( ! b->yy_ch_buf )
  3663.         YY_FATAL_ERROR( "out of dynamic memory in yy_create_buffer()" );
  3664.  
  3665.     b->yy_is_our_buffer = 1;
  3666.  
  3667.     yy_init_buffer( b, file );
  3668.  
  3669.     return b;
  3670.     }
  3671.  
  3672.  
  3673. #ifdef YY_USE_PROTOS
  3674. void yy_delete_buffer( YY_BUFFER_STATE b )
  3675. #else
  3676. void yy_delete_buffer( b )
  3677. YY_BUFFER_STATE b;
  3678. #endif
  3679.     {
  3680.     if ( ! b )
  3681.         return;
  3682.  
  3683.     if ( b == yy_current_buffer )
  3684.         yy_current_buffer = (YY_BUFFER_STATE) 0;
  3685.  
  3686.     if ( b->yy_is_our_buffer )
  3687.         yy_flex_free( (void *) b->yy_ch_buf );
  3688.  
  3689.     yy_flex_free( (void *) b );
  3690.     }
  3691.  
  3692.  
  3693. #ifndef YY_ALWAYS_INTERACTIVE
  3694. #ifndef YY_NEVER_INTERACTIVE
  3695. extern int isatty YY_PROTO(( int ));
  3696. #endif
  3697. #endif
  3698.  
  3699. #ifdef YY_USE_PROTOS
  3700. void yy_init_buffer( YY_BUFFER_STATE b, FILE *file )
  3701. #else
  3702. void yy_init_buffer( b, file )
  3703. YY_BUFFER_STATE b;
  3704. FILE *file;
  3705. #endif
  3706.  
  3707.  
  3708.     {
  3709.     yy_flush_buffer( b );
  3710.  
  3711.     b->yy_input_file = file;
  3712.     b->yy_fill_buffer = 1;
  3713.  
  3714. #if YY_ALWAYS_INTERACTIVE
  3715.     b->yy_is_interactive = 1;
  3716. #else
  3717. #if YY_NEVER_INTERACTIVE
  3718.     b->yy_is_interactive = 0;
  3719. #else
  3720.     b->yy_is_interactive = file ? (isatty( fileno(file) ) > 0) : 0;
  3721. #endif
  3722. #endif
  3723.     }
  3724.  
  3725.  
  3726. #ifdef YY_USE_PROTOS
  3727. void yy_flush_buffer( YY_BUFFER_STATE b )
  3728. #else
  3729. void yy_flush_buffer( b )
  3730. YY_BUFFER_STATE b;
  3731. #endif
  3732.  
  3733.     {
  3734.     b->yy_n_chars = 0;
  3735.  
  3736.     /* We always need two end-of-buffer characters.  The first causes
  3737.      * a transition to the end-of-buffer state.  The second causes
  3738.      * a jam in that state.
  3739.      */
  3740.     b->yy_ch_buf[0] = YY_END_OF_BUFFER_CHAR;
  3741.     b->yy_ch_buf[1] = YY_END_OF_BUFFER_CHAR;
  3742.  
  3743.     b->yy_buf_pos = &b->yy_ch_buf[0];
  3744.  
  3745.     b->yy_at_bol = 1;
  3746.     b->yy_buffer_status = YY_BUFFER_NEW;
  3747.  
  3748.     if ( b == yy_current_buffer )
  3749.         yy_load_buffer_state();
  3750.     }
  3751.  
  3752.  
  3753. #ifndef YY_NO_SCAN_BUFFER
  3754. #ifdef YY_USE_PROTOS
  3755. YY_BUFFER_STATE yy_scan_buffer( char *base, yy_size_t size )
  3756. #else
  3757. YY_BUFFER_STATE yy_scan_buffer( base, size )
  3758. char *base;
  3759. yy_size_t size;
  3760. #endif
  3761.     {
  3762.     YY_BUFFER_STATE b;
  3763.  
  3764.     if ( size < 2 ||
  3765.          base[size-2] != YY_END_OF_BUFFER_CHAR ||
  3766.          base[size-1] != YY_END_OF_BUFFER_CHAR )
  3767.         /* They forgot to leave room for the EOB's. */
  3768.         return 0;
  3769.  
  3770.     b = (YY_BUFFER_STATE) yy_flex_alloc( sizeof( struct yy_buffer_state ) );
  3771.     if ( ! b )
  3772.         YY_FATAL_ERROR( "out of dynamic memory in yy_scan_buffer()" );
  3773.  
  3774.     b->yy_buf_size = size - 2;    /* "- 2" to take care of EOB's */
  3775.     b->yy_buf_pos = b->yy_ch_buf = base;
  3776.     b->yy_is_our_buffer = 0;
  3777.     b->yy_input_file = 0;
  3778.     b->yy_n_chars = b->yy_buf_size;
  3779.     b->yy_is_interactive = 0;
  3780.     b->yy_at_bol = 1;
  3781.     b->yy_fill_buffer = 0;
  3782.     b->yy_buffer_status = YY_BUFFER_NEW;
  3783.  
  3784.     yy_switch_to_buffer( b );
  3785.  
  3786.     return b;
  3787.     }
  3788. #endif
  3789.  
  3790.  
  3791. #ifndef YY_NO_SCAN_STRING
  3792. #ifdef YY_USE_PROTOS
  3793. YY_BUFFER_STATE yy_scan_string( yyconst char *str )
  3794. #else
  3795. YY_BUFFER_STATE yy_scan_string( str )
  3796. yyconst char *str;
  3797. #endif
  3798.     {
  3799.     int len;
  3800.     for ( len = 0; str[len]; ++len )
  3801.         ;
  3802.  
  3803.     return yy_scan_bytes( str, len );
  3804.     }
  3805. #endif
  3806.  
  3807.  
  3808. #ifndef YY_NO_SCAN_BYTES
  3809. #ifdef YY_USE_PROTOS
  3810. YY_BUFFER_STATE yy_scan_bytes( yyconst char *bytes, int len )
  3811. #else
  3812. YY_BUFFER_STATE yy_scan_bytes( bytes, len )
  3813. yyconst char *bytes;
  3814. int len;
  3815. #endif
  3816.     {
  3817.     YY_BUFFER_STATE b;
  3818.     char *buf;
  3819.     yy_size_t n;
  3820.     int i;
  3821.  
  3822.     /* Get memory for full buffer, including space for trailing EOB's. */
  3823.     n = len + 2;
  3824.     buf = (char *) yy_flex_alloc( n );
  3825.     if ( ! buf )
  3826.         YY_FATAL_ERROR( "out of dynamic memory in yy_scan_bytes()" );
  3827.  
  3828.     for ( i = 0; i < len; ++i )
  3829.         buf[i] = bytes[i];
  3830.  
  3831.     buf[len] = buf[len+1] = YY_END_OF_BUFFER_CHAR;
  3832.  
  3833.     b = yy_scan_buffer( buf, n );
  3834.     if ( ! b )
  3835.         YY_FATAL_ERROR( "bad buffer in yy_scan_bytes()" );
  3836.  
  3837.     /* It's okay to grow etc. this buffer, and we should throw it
  3838.      * away when we're done.
  3839.      */
  3840.     b->yy_is_our_buffer = 1;
  3841.  
  3842.     return b;
  3843.     }
  3844. #endif
  3845.  
  3846.  
  3847. #ifndef YY_NO_PUSH_STATE
  3848. #ifdef YY_USE_PROTOS
  3849. static void yy_push_state( int new_state )
  3850. #else
  3851. static void yy_push_state( new_state )
  3852. int new_state;
  3853. #endif
  3854.     {
  3855.     if ( yy_start_stack_ptr >= yy_start_stack_depth )
  3856.         {
  3857.         yy_size_t new_size;
  3858.  
  3859.         yy_start_stack_depth += YY_START_STACK_INCR;
  3860.         new_size = yy_start_stack_depth * sizeof( int );
  3861.  
  3862.         if ( ! yy_start_stack )
  3863.             yy_start_stack = (int *) yy_flex_alloc( new_size );
  3864.  
  3865.         else
  3866.             yy_start_stack = (int *) yy_flex_realloc(
  3867.                     (void *) yy_start_stack, new_size );
  3868.  
  3869.         if ( ! yy_start_stack )
  3870.             YY_FATAL_ERROR(
  3871.             "out of memory expanding start-condition stack" );
  3872.         }
  3873.  
  3874.     yy_start_stack[yy_start_stack_ptr++] = YY_START;
  3875.  
  3876.     BEGIN(new_state);
  3877.     }
  3878. #endif
  3879.  
  3880.  
  3881. #ifndef YY_NO_POP_STATE
  3882. static void yy_pop_state()
  3883.     {
  3884.     if ( --yy_start_stack_ptr < 0 )
  3885.         YY_FATAL_ERROR( "start-condition stack underflow" );
  3886.  
  3887.     BEGIN(yy_start_stack[yy_start_stack_ptr]);
  3888.     }
  3889. #endif
  3890.  
  3891.  
  3892. #ifndef YY_NO_TOP_STATE
  3893. static int yy_top_state()
  3894.     {
  3895.     return yy_start_stack[yy_start_stack_ptr - 1];
  3896.     }
  3897. #endif
  3898.  
  3899. #ifndef YY_EXIT_FAILURE
  3900. #define YY_EXIT_FAILURE 2
  3901. #endif
  3902.  
  3903. #ifdef YY_USE_PROTOS
  3904. static void yy_fatal_error( yyconst char msg[] )
  3905. #else
  3906. static void yy_fatal_error( msg )
  3907. char msg[];
  3908. #endif
  3909.     {
  3910.     (void) fprintf( stderr, "%s\n", msg );
  3911.     exit( YY_EXIT_FAILURE );
  3912.     }
  3913.  
  3914.  
  3915.  
  3916. /* Redefine yyless() so it works in section 3 code. */
  3917.  
  3918. #undef yyless
  3919. #define yyless(n) \
  3920.     do \
  3921.         { \
  3922.         /* Undo effects of setting up yytext. */ \
  3923.         yytext[yyleng] = yy_hold_char; \
  3924.         yy_c_buf_p = yytext + n; \
  3925.         yy_hold_char = *yy_c_buf_p; \
  3926.         *yy_c_buf_p = '\0'; \
  3927.         yyleng = n; \
  3928.         } \
  3929.     while ( 0 )
  3930.  
  3931.  
  3932. /* Internal utility routines. */
  3933.  
  3934. #ifndef yytext_ptr
  3935. #ifdef YY_USE_PROTOS
  3936. static void yy_flex_strncpy( char *s1, yyconst char *s2, int n )
  3937. #else
  3938. static void yy_flex_strncpy( s1, s2, n )
  3939. char *s1;
  3940. yyconst char *s2;
  3941. int n;
  3942. #endif
  3943.     {
  3944.     register int i;
  3945.     for ( i = 0; i < n; ++i )
  3946.         s1[i] = s2[i];
  3947.     }
  3948. #endif
  3949.  
  3950. #ifdef YY_NEED_STRLEN
  3951. #ifdef YY_USE_PROTOS
  3952. static int yy_flex_strlen( yyconst char *s )
  3953. #else
  3954. static int yy_flex_strlen( s )
  3955. yyconst char *s;
  3956. #endif
  3957.     {
  3958.     register int n;
  3959.     for ( n = 0; s[n]; ++n )
  3960.         ;
  3961.  
  3962.     return n;
  3963.     }
  3964. #endif
  3965.  
  3966.  
  3967. #ifdef YY_USE_PROTOS
  3968. static void *yy_flex_alloc( yy_size_t size )
  3969. #else
  3970. static void *yy_flex_alloc( size )
  3971. yy_size_t size;
  3972. #endif
  3973.     {
  3974.     return (void *) malloc( size );
  3975.     }
  3976.  
  3977. #ifdef YY_USE_PROTOS
  3978. static void *yy_flex_realloc( void *ptr, yy_size_t size )
  3979. #else
  3980. static void *yy_flex_realloc( ptr, size )
  3981. void *ptr;
  3982. yy_size_t size;
  3983. #endif
  3984.     {
  3985.     /* The cast to (char *) in the following accommodates both
  3986.      * implementations that use char* generic pointers, and those
  3987.      * that use void* generic pointers.  It works with the latter
  3988.      * because both ANSI C and C++ allow castless assignment from
  3989.      * any pointer type to void*, and deal with argument conversions
  3990.      * as though doing an assignment.
  3991.      */
  3992.     return (void *) realloc( (char *) ptr, size );
  3993.     }
  3994.  
  3995. #ifdef YY_USE_PROTOS
  3996. static void yy_flex_free( void *ptr )
  3997. #else
  3998. static void yy_flex_free( ptr )
  3999. void *ptr;
  4000. #endif
  4001.     {
  4002.     free( ptr );
  4003.     }
  4004.  
  4005. #if YY_MAIN
  4006. int main()
  4007.     {
  4008.     yylex();
  4009.     return 0;
  4010.     }
  4011. #endif
  4012.  
  4013.