scan.c

早期freebsd实现

static const short int yy_def[470] =
    {   0,
      407,  407,  408,  408,  409,  410,  411,  411,  407,    9,
      412,  412,  407,   13,  413,  413,  414,  414,  415,  415,
      416,  416,  417,  417,  407,   25,  418,  418,  413,  413,
      419,  419,  420,  420,  421,  421,  407,   37,  422,  422,
       37,   37,  407,  407,  407,  407,  407,  423,  407,  407,
      407,  424,  407,  425,  407,  407,  407,  407,  407,  407,
      407,  407,  426,  427,  407,  407,  407,  407,  407,  407,
      407,  428,  407,  428,  429,  430,  429,  429,  431,  407,
      432,  407,  432,  407,  433,  433,  433,  432,  434,  407,
      407,  434,  407,  407,  407,  435,  407,  407,  407,  407,

      407,  407,  407,  407,  407,  407,  407,  427,  407,  436,
      437,  407,  407,  407,  438,  427,  407,  439,  407,  439,
      407,  440,  407,  441,  441,  441,  407,  407,  442,  407,
      442,  407,  407,  407,  443,  407,  443,  407,  444,  407,
      444,  407,  445,  407,  445,  407,  446,  447,  447,  407,
      447,  447,  407,  448,  448,  448,  449,  407,  407,  449,
      449,  449,  447,  407,  407,  407,  407,  423,  407,  407,
      407,  407,  450,  451,  407,  407,  407,  452,  407,  453,
      454,  407,  425,  407,  407,  407,  407,  455,  407,  407,
      407,  407,  407,  456,  426,  407,  407,  457,  458,  407,

      407,  407,  407,  407,  407,  459,  407,  428,  407,  429,
      430,  430,  460,  461,  431,  407,  432,  407,  433,  433,
      433,  407,  434,  407,  407,  407,  435,  407,  407,  407,
      407,  407,  462,  407,  407,  407,  407,  439,  407,  440,
      407,  440,  407,  441,  441,  441,  442,  407,  442,  407,
      407,  407,  443,  407,  463,  444,  407,  444,  407,  407,
      407,  445,  407,  407,  447,  447,  447,  407,  407,  448,
      448,  448,  449,  407,  407,  449,  449,  407,  450,  451,
      407,  407,  407,  407,  407,  407,  464,  407,  407,  465,
      454,  407,  454,  407,  455,  407,  455,  407,  456,  456,

      456,  456,  407,  466,  458,  201,  407,  459,  460,  461,
      433,  433,  222,  407,  222,  222,  407,  467,  441,  441,
      463,  407,  463,  269,  269,  448,  448,  449,  449,  407,
      407,  407,  407,  464,  407,  407,  465,  407,  407,  407,
      407,  407,  456,  456,  456,  456,  407,  433,  433,  407,
      407,  316,  407,  441,  441,  407,  407,  448,  448,  449,
      449,  407,  407,  407,  407,  407,  456,  456,  456,  456,
      433,  433,  441,  441,  448,  448,  449,  449,  468,  407,
      407,  407,  456,  456,  433,  433,  441,  441,  448,  448,
      449,  449,  468,  407,  468,  407,  407,  407,  407,  407,

      469,  469,  407,  469,  407,  407,    0,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407
    } ;

static const short int yy_nxt[1659] =
    {   0,
       44,   45,   46,   47,   44,   44,   44,   44,   44,   44,
       44,   44,   44,   44,   44,   44,   44,   44,   44,   44,
       48,   48,   48,   48,   48,   48,   48,   48,   48,   48,
       48,   48,   48,   48,   48,   48,   48,   48,   48,   48,
       44,   44,   44,   44,   49,   50,   51,   44,   44,   52,
       44,   44,   44,   44,   44,   53,   44,   44,   44,   44,
       44,   44,   44,   54,   54,   54,   54,   54,   54,   54,
       54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
       54,   54,   54,   44,   44,   44,   56,   57,   58,   59,
       60,   73,   74,   61,   61,  130,  131,   61,  405,   62,

       44,   63,   64,   76,   73,   77,  130,  131,   78,   90,
       91,   92,   90,   91,   92,  110,  206,  111,  105,  106,
      107,  105,  106,  107,   44,   65,   61,   66,   67,   68,
       59,   60,   69,  108,   61,   61,  108,  235,   61,  110,
       70,  111,   63,   64,  235,   71,  113,  114,  113,  114,
      207,  136,  137,  136,  137,  115,  405,  115,  138,  399,
      138,  116,  117,  116,  117,  401,   65,   61,   81,   81,
       82,   83,   81,   81,   81,   81,   81,   84,   81,   81,
       81,   81,   81,   81,   81,   81,   81,   81,   85,   85,
       85,   85,   85,   85,   85,   85,   85,   85,   85,   85,

       85,   85,   86,   85,   85,   85,   85,   87,   81,   81,
       81,   93,   93,   44,   93,   93,   93,   93,   93,   93,
       94,   94,   93,   93,   93,   93,   95,   93,   93,   93,
       93,   96,   96,   96,   96,   96,   96,   96,   96,   96,
       96,   96,   96,   96,   96,   96,   96,   96,   96,   96,
       96,   93,   93,   93,   99,  100,   99,  100,  399,  140,
      141,  213,  101,  214,  101,  102,  142,  102,  140,  141,
      144,  145,  146,  248,  249,  142,  144,  145,  146,  164,
      165,  166,  169,  170,  171,  147,  190,  191,  192,  251,
      249,  147,  257,  258,  103,  300,  103,  118,  118,  119,

      120,  121,  118,  118,  122,  118,  118,  118,  118,  123,
      118,  118,  118,  118,  118,  118,  118,  124,  124,  124,
      124,  124,  124,  124,  124,  124,  124,  124,  124,  124,
      124,  125,  124,  124,  124,  124,  126,  127,  118,  128,
      132,  133,  132,  133,  197,  197,  232,  197,  241,  260,
      258,  266,  164,  165,  166,  300,  267,  398,  242,  169,
      170,  171,  281,  282,  283,  292,  293,  296,  297,  198,
      198,  233,  198,  288,  284,  248,  249,  289,  251,  249,
      134,  397,  134,  148,  149,  150,  151,  148,  148,  152,
      148,  148,  153,  148,  148,  148,  148,  148,  148,  148,

      148,  148,  148,  154,  154,  154,  154,  154,  154,  154,
      154,  154,  154,  154,  154,  154,  154,  155,  154,  154,
      154,  154,  156,  148,  148,  148,  158,  159,  160,  158,
      159,  160,  184,  185,  186,  396,  301,  187,  202,  203,
      204,  241,  266,  187,  281,  282,  283,  267,  281,  282,
      283,  242,  184,  185,  186,  392,  284,  187,  391,  161,
      284,  302,  161,  390,  162,  322,  323,  162,  174,  257,
      258,  389,  188,  260,  258,  292,  293,  285,  188,  286,
      339,  293,  345,  175,  388,  176,  300,  176,  296,  297,
      387,  176,  188,  176,  176,  177,  176,  178,  386,  179,

      180,  367,  181,  199,  199,  300,  199,  199,  199,  199,
      199,  199,  199,  199,  199,  199,  200,  199,  199,  199,
      199,  199,  199,  201,  201,  201,  201,  201,  201,  201,
      201,  201,  201,  201,  201,  201,  201,  201,  201,  201,
      201,  201,  201,  199,  199,  199,  305,  305,  385,  305,
      305,  305,  305,  305,  305,  305,  305,  306,  305,  306,
      305,  305,  305,  305,  305,  305,  306,  306,  306,  306,
      306,  306,  306,  306,  306,  306,  306,  306,  306,  306,
      306,  306,  306,  306,  306,  306,  305,  305,  307,  202,
      203,  204,  341,  297,  187,  281,  282,  283,  331,  282,

      283,  343,  322,  323,  357,  323,  299,  284,  394,  395,
      284,  331,  282,  283,  369,  383,  394,  395,  300,  300,
      400,  395,  403,  404,  403,  404,  344,  406,  404,  188,
      313,  313,  314,  315,  313,  313,  313,  313,  313,  316,
      313,  313,  313,  313,  313,  313,  313,  313,  313,  313,
      316,  316,  316,  316,  316,  316,  316,  316,  316,  316,
      316,  316,  316,  316,  316,  316,  316,  316,  316,  316,
      313,  313,  313,  324,  324,  300,  324,  324,  324,  324,
      324,  324,  325,  324,  324,  324,  324,  324,  324,  324,
      324,  324,  324,  325,  325,  325,  325,  325,  325,  325,

      325,  325,  325,  325,  325,  325,  325,  325,  325,  325,
      325,  325,  325,  324,  324,  324,  346,  304,  318,  347,
      300,  304,  318,  347,  346,  346,  346,  346,  346,  346,
      316,  316,  300,  352,  316,  316,  316,  316,  316,  382,
      316,  316,  316,  316,  316,  316,  316,  316,  316,  316,
      353,  381,  380,  379,  353,  378,  377,  376,  375,  356,
      374,  373,  351,  350,  372,  371,  366,  340,  338,  365,
      316,  316,  316,  325,  325,  364,  325,  325,  325,  325,
      325,  325,  363,  325,  325,  325,  325,  325,  325,  325,
      325,  325,  325,  362,  361,  360,  359,  358,  356,  355,

      354,  231,  351,  350,  349,  348,  196,  300,  342,  340,
      338,  336,  335,  325,  325,  325,  368,  333,  332,  330,
      300,  330,  329,  328,  368,  368,  368,  368,  368,  368,
      370,  274,  327,  326,  300,  269,  259,  259,  370,  370,
      370,  370,  370,  370,  384,  250,  250,  320,  300,  319,
      317,  229,  384,  384,  384,  384,  384,  384,   55,   55,
       55,   55,   55,   55,   55,   55,   55,   55,   55,   55,
       55,   55,   72,   72,   72,   72,   72,   72,   72,   72,
       72,   72,   72,   72,   72,   72,   75,   75,   75,   75,
       75,   75,   75,   75,   75,   75,   75,   75,   75,   75,

       79,   79,   79,   79,   79,   79,   79,   79,   79,   79,
       79,   79,   79,   79,   89,   89,   89,   89,   89,   89,
       89,   89,   89,   89,   89,   89,   89,   89,   44,   44,
       44,   44,   44,   44,   44,   44,   44,   44,   44,   44,
       44,   44,   98,   98,   98,   98,   98,   98,   98,   98,
       98,   98,   98,   98,   98,   98,  104,  104,  104,  104,
      104,  104,  104,  104,  104,  104,  104,  104,  104,  104,
      109,  109,  109,  109,  109,  109,  109,  109,  109,  109,
      109,  109,  109,  109,  112,  112,  112,  112,  112,  112,
      112,  112,  112,  112,  112,  112,  112,  112,  129,  129,

      129,  129,  129,  129,  129,  129,  129,  129,  129,  129,
      129,  129,  135,  135,  135,  135,  135,  135,  135,  135,
      135,  135,  135,  135,  135,  135,  139,  139,  139,  139,
      139,  139,  139,  139,  139,  139,  139,  139,  139,  139,
      143,  143,  143,  143,  143,  143,  143,  143,  143,  143,
      143,  143,  143,  143,  157,  157,  157,  157,  157,  157,
      157,  157,  157,  157,  157,  157,  157,  157,  168,  168,
      224,  312,  168,  168,  168,  173,  173,  173,  173,  173,
      173,  173,  173,  173,  173,  173,  173,  183,  183,  311,
      216,  183,  183,  183,  194,  194,  212,  194,  194,  194,

      194,  194,  194,  194,  194,  194,  194,  194,  196,  196,
      205,  196,  196,  196,  196,  196,  196,  196,  196,  196,
      196,  196,  208,  208,  205,  208,  208,  208,  208,  208,
      208,  208,  208,  208,  208,  208,  210,  210,  303,  210,
      210,  210,  210,  210,  210,  210,  210,  210,  210,  210,
      211,  211,  300,  211,  211,  211,  211,  211,  211,  211,
      211,  211,  211,  211,  215,  215,  215,  215,  215,  215,
      215,  215,  215,  215,  215,  215,  215,  215,  217,  217,
      298,  217,  217,  190,  217,  217,  217,  217,  190,  294,
      189,  217,  219,  219,  189,  172,  219,  219,  219,  223,

      223,  172,  223,  223,  223,  223,  223,  223,  223,  223,
      223,  223,  223,  227,  227,  167,  167,  227,  227,  227,
      231,  231,  278,  231,  231,  231,  231,  231,  231,  231,
      231,  231,  231,  231,  234,  234,  277,  234,  234,  234,
      234,  234,  234,  234,  234,  234,  234,  234,  237,  237,
      276,  237,  237,  237,  237,  237,  237,  275,  237,  237,
      237,  237,  238,  238,  275,  274,  272,  238,  238,  238,
      238,  238,  240,  240,  271,  240,  240,  240,  240,  240,
      240,  240,  240,  240,  240,  240,  244,  244,  269,  268,
      244,  244,  244,  247,  247,  247,  247,  247,  247,  247,

      247,  247,  247,  247,  247,  247,  247,  253,  253,  268,
      253,  253,  263,  253,  253,  253,  253,  253,  253,  253,
      253,  256,  256,  256,  256,  256,  263,  256,  256,  256,
      256,  256,  256,  256,  256,  262,  262,  261,  259,  262,
      262,  262,  262,  255,  262,  262,  262,  262,  262,  264,
      264,  254,  264,  264,  264,  264,  264,  264,  264,  264,
      264,  264,  264,  265,  265,  254,  265,  265,  252,  265,
      265,  265,  265,  252,  250,  246,  265,  270,  270,  245,
      243,  270,  270,  270,  273,  239,  239,  273,  273,  273,
      273,  273,  273,  273,  273,  273,  273,  273,  279,  279,

      236,  279,  279,  279,  279,  279,  279,  279,  279,  279,
      279,  279,  280,  280,  236,  280,  280,  280,  280,  280,
      280,  280,  280,  280,  280,  280,  287,  287,  287,  290,
      290,  290,  291,  291,  291,  291,  291,  291,  291,  291,
      291,  291,  291,  291,  291,  291,  295,  295,  295,  295,
      295,  295,  295,  295,  295,  295,  295,  295,  295,  295,
      299,  299,  230,  299,  299,  299,  299,  299,  299,  230,
      299,  299,  299,  299,  305,  305,  229,  305,  305,  305,
      305,  305,  305,  305,  305,  305,  305,  308,  308,  228,
      308,  308,  308,  308,  308,  308,  308,  308,  308,  308,

      308,  309,  309,  228,  309,  309,  309,  309,  309,  309,
      309,  309,  309,  309,  309,  310,  310,  226,  310,  310,
      310,  310,  310,  310,  310,  310,  310,  310,  310,  321,
      321,  321,  321,  321,  321,  321,  321,  321,  321,  321,
      321,  321,  321,  334,  334,  225,  225,  334,  334,  334,
      337,  337,  224,  222,  337,  337,  337,  393,  393,  393,
      393,  393,  393,  393,  393,  393,  393,  393,  393,  393,
      393,  402,  402,  402,  402,  402,  402,  402,  402,  402,
      402,  402,  402,  402,  402,  221,  220,  218,  218,  216,
      209,  212,  209,  209,  193,  205,  205,  195,  193,  189,

      189,  182,  172,  172,  167,  167,  407,  163,  163,   97,
       97,   88,   80,   80,   43,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407
    } ;

static const short int yy_chk[1659] =
    {   0,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
        1,    1,    1,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
        2,    2,    2,    2,    2,    2,    3,    3,    3,    3,
        3,    5,    5,    3,    3,   27,   27,    3,  406,    3,

       21,    3,    3,    6,    6,    6,   28,   28,    6,   11,
       11,   11,   12,   12,   12,   21,   69,   21,   19,   19,
       19,   20,   20,   20,   22,    3,    3,    4,    4,    4,
        4,    4,    4,   19,    4,    4,   20,  111,    4,   22,
        4,   22,    4,    4,  111,    4,   23,   23,   24,   24,
       69,   31,   31,   32,   32,   23,  403,   24,   31,  400,
       32,   23,   23,   24,   24,  396,    4,    4,    9,    9,
        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,

        9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
        9,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
       13,   13,   13,   13,   17,   17,   18,   18,  394,   33,
       33,   78,   17,   78,   18,   17,   33,   18,   34,   34,
       35,   35,   35,  129,  129,   34,   36,   36,   36,   45,
       45,   45,   49,   49,   49,   35,   60,   60,   60,  131,
      131,   36,  139,  139,   17,  384,   18,   25,   25,   25,

       25,   25,   25,   25,   25,   25,   25,   25,   25,   25,
       25,   25,   25,   25,   25,   25,   25,   25,   25,   25,
       25,   25,   25,   25,   25,   25,   25,   25,   25,   25,
       25,   25,   25,   25,   25,   25,   25,   25,   25,   25,
       29,   29,   30,   30,   64,  108,  110,  116,  122,  141,
      141,  149,  164,  164,  164,  383,  149,  382,  122,  169,
      169,  169,  176,  176,  176,  181,  181,  188,  188,   64,
      108,  110,  116,  179,  176,  247,  247,  179,  249,  249,
       29,  381,   30,   37,   37,   37,   37,   37,   37,   37,
       37,   37,   37,   37,   37,   37,   37,   37,   37,   37,

       37,   37,   37,   37,   37,   37,   37,   37,   37,   37,
       37,   37,   37,   37,   37,   37,   37,   37,   37,   37,
       37,   37,   37,   37,   37,   37,   39,   39,   39,   40,
       40,   40,   56,   56,   56,  380,  195,   56,   66,   66,
       66,  240,  266,   66,  175,  175,  175,  266,  177,  177,
      177,  240,  184,  184,  184,  378,  175,  184,  377,   39,
      177,  195,   40,  376,   39,  255,  255,   40,   52,  256,
      256,  375,   56,  258,  258,  291,  291,  175,   66,  177,
      293,  293,  301,   52,  374,   52,  301,   52,  295,  295,
      373,   52,  184,   52,   52,   52,   52,   52,  372,   52,

       52,  343,   52,   65,   65,  343,   65,   65,   65,   65,
       65,   65,   65,   65,   65,   65,   65,   65,   65,   65,
       65,   65,   65,   65,   65,   65,   65,   65,   65,   65,
       65,   65,   65,   65,   65,   65,   65,   65,   65,   65,
       65,   65,   65,   65,   65,   65,  201,  201,  371,  201,
      201,  201,  201,  201,  201,  201,  201,  201,  201,  201,
      201,  201,  201,  201,  201,  201,  201,  201,  201,  201,
      201,  201,  201,  201,  201,  201,  201,  201,  201,  201,
      201,  201,  201,  201,  201,  201,  201,  201,  201,  202,
      202,  202,  297,  297,  202,  281,  281,  281,  284,  284,

      284,  300,  321,  321,  323,  323,  300,  281,  379,  379,
      284,  331,  331,  331,  345,  367,  393,  393,  345,  367,
      395,  395,  401,  401,  402,  402,  300,  404,  404,  202,
      222,  222,  222,  222,  222,  222,  222,  222,  222,  222,
      222,  222,  222,  222,  222,  222,  222,  222,  222,  222,
      222,  222,  222,  222,  222,  222,  222,  222,  222,  222,
      222,  222,  222,  222,  222,  222,  222,  222,  222,  222,
      222,  222,  222,  269,  269,  370,  269,  269,  269,  269,
      269,  269,  269,  269,  269,  269,  269,  269,  269,  269,
      269,  269,  269,  269,  269,  269,  269,  269,  269,  269,

      269,  269,  269,  269,  269,  269,  269,  269,  269,  269,
      269,  269,  269,  269,  269,  269,  302,  457,  462,  466,
      302,  457,  462,  466,  302,  302,  302,  302,  302,  302,
      316,  316,  369,  316,  316,  316,  316,  316,  316,  366,
      316,  316,  316,  316,  316,  316,  316,  316,  316,  316,
      467,  364,  363,  362,  467,  361,  360,  359,  358,  357,
      355,  354,  352,  351,  349,  348,  342,  341,  339,  336,
      316,  316,  316,  325,  325,  335,  325,  325,  325,  325,
      325,  325,  333,  325,  325,  325,  325,  325,  325,  325,
      325,  325,  325,  332,  329,  328,  327,  326,  322,  320,

      319,  317,  315,  314,  312,  311,  303,  299,  298,  296,
      292,  289,  288,  325,  325,  325,  344,  286,  285,  283,
      344,  282,  277,  276,  344,  344,  344,  344,  344,  344,
      346,  274,  272,  271,  346,  267,  260,  257,  346,  346,
      346,  346,  346,  346,  368,  251,  248,  246,  368,  245,
      232,  229,  368,  368,  368,  368,  368,  368,  408,  408,
      408,  408,  408,  408,  408,  408,  408,  408,  408,  408,
      408,  408,  409,  409,  409,  409,  409,  409,  409,  409,
      409,  409,  409,  409,  409,  409,  410,  410,  410,  410,
      410,  410,  410,  410,  410,  410,  410,  410,  410,  410,

      411,  411,  411,  411,  411,  411,  411,  411,  411,  411,
      411,  411,  411,  411,  412,  412,  412,  412,  412,  412,
      412,  412,  412,  412,  412,  412,  412,  412,  413,  413,
      413,  413,  413,  413,  413,  413,  413,  413,  413,  413,
      413,  413,  414,  414,  414,  414,  414,  414,  414,  414,
      414,  414,  414,  414,  414,  414,  415,  415,  415,  415,
      415,  415,  415,  415,  415,  415,  415,  415,  415,  415,
      416,  416,  416,  416,  416,  416,  416,  416,  416,  416,
      416,  416,  416,  416,  417,  417,  417,  417,  417,  417,
      417,  417,  417,  417,  417,  417,  417,  417,  418,  418,

      418,  418,  418,  418,  418,  418,  418,  418,  418,  418,
      418,  418,  419,  419,  419,  419,  419,  419,  419,  419,
      419,  419,  419,  419,  419,  419,  420,  420,  420,  420,
      420,  420,  420,  420,  420,  420,  420,  420,  420,  420,
      421,  421,  421,  421,  421,  421,  421,  421,  421,  421,
      421,  421,  421,  421,  422,  422,  422,  422,  422,  422,
      422,  422,  422,  422,  422,  422,  422,  422,  423,  423,
      224,  221,  423,  423,  423,  424,  424,  424,  424,  424,
      424,  424,  424,  424,  424,  424,  424,  425,  425,  220,
      215,  425,  425,  425,  426,  426,  212,  426,  426,  426,

      426,  426,  426,  426,  426,  426,  426,  426,  427,  427,
      204,  427,  427,  427,  427,  427,  427,  427,  427,  427,
      427,  427,  428,  428,  203,  428,  428,  428,  428,  428,
      428,  428,  428,  428,  428,  428,  429,  429,  197,  429,
      429,  429,  429,  429,  429,  429,  429,  429,  429,  429,
      430,  430,  194,  430,  430,  430,  430,  430,  430,  430,
      430,  430,  430,  430,  431,  431,  431,  431,  431,  431,
      431,  431,  431,  431,  431,  431,  431,  431,  432,  432,
      193,  432,  432,  192,  432,  432,  432,  432,  191,  187,
      186,  432,  433,  433,  185,  171,  433,  433,  433,  434,

      434,  170,  434,  434,  434,  434,  434,  434,  434,  434,
      434,  434,  434,  435,  435,  166,  165,  435,  435,  435,
      436,  436,  163,  436,  436,  436,  436,  436,  436,  436,
      436,  436,  436,  436,  437,  437,  162,  437,  437,  437,
      437,  437,  437,  437,  437,  437,  437,  437,  438,  438,
      161,  438,  438,  438,  438,  438,  438,  160,  438,  438,
      438,  438,  439,  439,  159,  158,  156,  439,  439,  439,
      439,  439,  440,  440,  155,  440,  440,  440,  440,  440,
      440,  440,  440,  440,  440,  440,  441,  441,  152,  151,
      441,  441,  441,  442,  442,  442,  442,  442,  442,  442,

      442,  442,  442,  442,  442,  442,  442,  443,  443,  150,
      443,  443,  145,  443,  443,  443,  443,  443,  443,  443,
      443,  444,  444,  444,  444,  444,  144,  444,  444,  444,
      444,  444,  444,  444,  444,  445,  445,  142,  140,  445,
      445,  445,  445,  138,  445,  445,  445,  445,  445,  446,
      446,  137,  446,  446,  446,  446,  446,  446,  446,  446,
      446,  446,  446,  447,  447,  136,  447,  447,  133,  447,
      447,  447,  447,  132,  130,  126,  447,  448,  448,  125,
      123,  448,  448,  448,  449,  120,  119,  449,  449,  449,
      449,  449,  449,  449,  449,  449,  449,  449,  450,  450,

      114,  450,  450,  450,  450,  450,  450,  450,  450,  450,
      450,  450,  451,  451,  113,  451,  451,  451,  451,  451,
      451,  451,  451,  451,  451,  451,  452,  452,  452,  453,
      453,  453,  454,  454,  454,  454,  454,  454,  454,  454,
      454,  454,  454,  454,  454,  454,  455,  455,  455,  455,
      455,  455,  455,  455,  455,  455,  455,  455,  455,  455,
      456,  456,  106,  456,  456,  456,  456,  456,  456,  105,
      456,  456,  456,  456,  458,  458,  102,  458,  458,  458,
      458,  458,  458,  458,  458,  458,  458,  459,  459,  100,
      459,  459,  459,  459,  459,  459,  459,  459,  459,  459,

      459,  460,  460,   99,  460,  460,  460,  460,  460,  460,
      460,  460,  460,  460,  460,  461,  461,   95,  461,  461,
      461,  461,  461,  461,  461,  461,  461,  461,  461,  463,
      463,  463,  463,  463,  463,  463,  463,  463,  463,  463,
      463,  463,  463,  464,  464,   92,   91,  464,  464,  464,
      465,  465,   90,   88,  465,  465,  465,  468,  468,  468,
      468,  468,  468,  468,  468,  468,  468,  468,  468,  468,
      468,  469,  469,  469,  469,  469,  469,  469,  469,  469,
      469,  469,  469,  469,  469,   87,   86,   83,   82,   79,
       77,   76,   74,   73,   70,   68,   67,   63,   62,   58,

       57,   53,   51,   50,   47,   46,   43,   42,   41,   16,
       15,   10,    8,    7,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407,  407,  407,
      407,  407,  407,  407,  407,  407,  407,  407
    } ;