5 #define  YY_INT_ALIGNED short int 
    9 #define yy_create_buffer pp_create_buffer 
   10 #define yy_delete_buffer pp_delete_buffer 
   11 #define yy_flex_debug pp_flex_debug 
   12 #define yy_init_buffer pp_init_buffer 
   13 #define yy_flush_buffer pp_flush_buffer 
   14 #define yy_load_buffer_state pp_load_buffer_state 
   15 #define yy_switch_to_buffer pp_switch_to_buffer 
   19 #define yylineno pplineno 
   21 #define yyrestart pprestart 
   24 #define yyalloc ppalloc 
   25 #define yyrealloc pprealloc 
   29 #define YY_FLEX_MAJOR_VERSION 2 
   30 #define YY_FLEX_MINOR_VERSION 5 
   31 #define YY_FLEX_SUBMINOR_VERSION 39 
   32 #if YY_FLEX_SUBMINOR_VERSION > 0 
   53 #if defined (__STDC_VERSION__) && __STDC_VERSION__ >= 199901L \ 
   54 &&(!defined(_MSC_VER) || _MSC_VER >= 1800) 
   59 #ifndef __STDC_LIMIT_MACROS 
   60 #define __STDC_LIMIT_MACROS 1 
   80 #define INT8_MIN               (-128) 
   83 #define INT16_MIN              (-32767-1) 
   86 #define INT32_MIN              (-2147483647-1) 
   89 #define INT8_MAX               (127) 
   92 #define INT16_MAX              (32767) 
   95 #define INT32_MAX              (2147483647) 
   98 #define UINT8_MAX              (255U) 
  101 #define UINT16_MAX             (65535U) 
  104 #define UINT32_MAX             (4294967295U) 
  119 #if defined (__STDC__) 
  127 #define yyconst const 
  140 #define YY_SC_TO_UI(c) ((unsigned int) (unsigned char) c) 
  146 #define BEGIN (yy_start) = 1 + 2 * 
  152 #define YY_START (((yy_start) - 1) / 2) 
  153 #define YYSTATE YY_START 
  156 #define YY_STATE_EOF(state) (YY_END_OF_BUFFER + state + 1) 
  159 #define YY_NEW_FILE pprestart(ppin  ) 
  161 #define YY_END_OF_BUFFER_CHAR 0 
  170 #define YY_BUF_SIZE 32768 
  172 #define YY_BUF_SIZE 16384 
  178 #define YY_STATE_BUF_SIZE   ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) 
  180 #ifndef YY_TYPEDEF_YY_BUFFER_STATE 
  181 #define YY_TYPEDEF_YY_BUFFER_STATE 
  185 #ifndef YY_TYPEDEF_YY_SIZE_T 
  186 #define YY_TYPEDEF_YY_SIZE_T 
  194 #define EOB_ACT_CONTINUE_SCAN 0 
  195 #define EOB_ACT_END_OF_FILE 1 
  196 #define EOB_ACT_LAST_MATCH 2 
  198     #define YY_LESS_LINENO(n) 
  199     #define YY_LINENO_REWIND_TO(ptr) 
  206         int yyless_macro_arg = (n); \ 
  207         YY_LESS_LINENO(yyless_macro_arg);\ 
  208         *yy_cp = (yy_hold_char); \ 
  209         YY_RESTORE_YY_MORE_OFFSET \ 
  210         (yy_c_buf_p) = yy_cp = yy_bp + yyless_macro_arg - YY_MORE_ADJ; \ 
  211         YY_DO_BEFORE_ACTION;  \ 
  215 #define unput(c) yyunput( c, (yytext_ptr)  ) 
  217 #ifndef YY_STRUCT_YY_BUFFER_STATE 
  218 #define YY_STRUCT_YY_BUFFER_STATE 
  265 #define YY_BUFFER_NEW 0 
  266 #define YY_BUFFER_NORMAL 1 
  277 #define YY_BUFFER_EOF_PENDING 2 
  293 #define YY_CURRENT_BUFFER ( (yy_buffer_stack) \ 
  294                           ? (yy_buffer_stack)[(yy_buffer_stack_top)] \ 
  300 #define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] 
  329 #define YY_FLUSH_BUFFER pp_flush_buffer(YY_CURRENT_BUFFER ) 
  339 #define yy_new_buffer pp_create_buffer 
  341 #define yy_set_interactive(is_interactive) \ 
  343     if ( ! YY_CURRENT_BUFFER ){ \ 
  344         ppensure_buffer_stack (); \ 
  345         YY_CURRENT_BUFFER_LVALUE =    \ 
  346             pp_create_buffer(ppin,YY_BUF_SIZE ); \ 
  348     YY_CURRENT_BUFFER_LVALUE->yy_is_interactive = is_interactive; \ 
  351 #define yy_set_bol(at_bol) \ 
  353     if ( ! YY_CURRENT_BUFFER ){\ 
  354         ppensure_buffer_stack (); \ 
  355         YY_CURRENT_BUFFER_LVALUE =    \ 
  356             pp_create_buffer(ppin,YY_BUF_SIZE ); \ 
  358     YY_CURRENT_BUFFER_LVALUE->yy_at_bol = at_bol; \ 
  361 #define YY_AT_BOL() (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) 
  376 #define yytext_ptr pptext 
  386 #define YY_DO_BEFORE_ACTION \ 
  387     (yytext_ptr) = yy_bp; \ 
  388     ppleng = (size_t) (yy_cp - yy_bp); \ 
  389     (yy_hold_char) = *yy_cp; \ 
  391     (yy_c_buf_p) = yy_cp; 
  393 #define YY_NUM_RULES 156 
  394 #define YY_END_OF_BUFFER 157 
  404         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
  405         0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
 
  406       157,   57,   49,   50,   57,   57,   52,   53,   57,   57,
 
  407        57,   54,   57,   54,   57,   54,   54,   54,   54,   54,
 
  408        54,   54,   54,   54,   54,   57,   50,   57,   26,   57,
 
  409        52,   53,   57,   57,   57,   54,   57,   54,   57,   57,
 
  410        54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
 
  411       148,  128,  129,  148,  148,  132,  133,  148,  148,  148,
 
  412       145,  130,  145,  148,  148,  145,  145,  145,  145,  145,
 
  413       145,  145,  145,  145,  145,  155,  149,  150,  155,  155,
 
  415       155,  155,  155,  152,  155,  152,  155,  155,  152,   64,
 
  416        58,   63,   64,   64,   64,   75,   65,   74,   75,   75,
 
  417        75,   75,   74,   73,   75,   71,   73,   73,   73,   73,
 
  418        73,   89,   76,   88,   89,   89,   89,   89,   89,   87,
 
  419        89,   84,   87,   87,   87,   87,   87,   87,  101,   90,
 
  420       100,  101,  101,  101,  101,  101,   99,  101,   96,   99,
 
  421        99,   99,   99,   99,  123,  102,  103,  123,  123,  123,
 
  422       123,  103,  122,  123,  120,  118,  119,  115,  122,  122,
 
  423       122,  122,  122,  122,  122,  122,  122,  122,  125,  124,
 
  424       125,  127,  126,  127,   50,    0,   56,    0,    1,    0,
 
  426        55,   49,   51,   54,   54,   50,   54,   54,   54,   54,
 
  427        54,   54,   54,   54,   54,   54,   54,   54,   54,    0,
 
  428        50,   26,    0,    0,   56,   24,   24,   24,   24,   24,
 
  429         0,    1,    0,   55,   51,   54,   54,   50,   16,   54,
 
  430        54,   54,   54,   54,   54,   54,   54,   54,   54,   54,
 
  431        54,   54,  129,    0,  147,    0,    0,  146,  128,  145,
 
  432       145,  131,  145,  134,  135,  145,  145,  136,  145,  145,
 
  433       145,  145,  150,    0,  154,    0,    0,  153,  149,  152,
 
  434       152,  151,   63,    0,    0,    0,   60,   74,    0,   72,
 
  435         0,    0,   71,   74,   73,   71,   67,   73,   73,   73,
 
  437        73,   88,    0,   85,    0,    0,   86,    0,   84,   87,
 
  438        84,   84,   83,   87,   87,   87,   87,  100,    0,   97,
 
  439         0,    0,   98,    0,   96,   99,   96,   96,   99,   99,
 
  440        99,   91,   99,  103,    0,  121,    0,    0,  120,  103,
 
  441       122,  120,  116,  117,  114,  122,  122,  122,  104,  122,
 
  442       122,  108,  122,  122,  107,  125,    1,  127,    1,    1,
 
  443        54,   54,   54,   54,   54,   54,    0,   54,   54,   54,
 
  444        54,   54,   54,   54,   54,   54,    0,   50,   26,    0,
 
  445        24,   24,   24,   24,   24,   16,    0,   56,   24,   24,
 
  446        24,   24,   24,    0,    1,    0,   55,   51,   54,   54,
 
  448        50,   14,    0,   15,    4,   15,   15,   15,   15,   15,
 
  449        54,   54,   54,   54,   54,   54,    0,   54,   54,   54,
 
  450        54,   54,   54,   54,   54,   54,  145,  145,  145,  137,
 
  451       145,  145,  145,  145,    0,    0,    0,   73,   68,   73,
 
  452        73,   87,   87,   87,   87,   99,   99,   92,   99,  122,
 
  453       122,  122,  122,  105,  113,  122,    1,    1,   54,   28,
 
  454        54,   54,   54,   54,    0,   54,   54,   54,   54,   54,
 
  455        54,   54,   54,   54,   54,   54,    0,   50,   26,    0,
 
  456        24,   24,   24,   24,   24,   16,   24,   24,   24,   24,
 
  457        24,    0,   15,    4,   15,   15,   15,   15,   15,    0,
 
  459        56,   24,   24,   24,   23,   19,   24,    0,    1,    0,
 
  460        55,   51,   54,   54,   50,    0,   15,   15,   15,   15,
 
  461        15,   15,   15,   15,   15,   15,   54,   28,   54,   54,
 
  462        54,   54,    0,    0,   54,   54,   54,   54,   54,   54,
 
  463        54,   54,   54,   54,   54,  143,  144,  145,  145,  145,
 
  464       145,  145,    0,    0,   62,   73,   73,   73,   87,   87,
 
  465        87,   87,   99,   99,   93,  122,  122,  122,  110,  111,
 
  466        54,   54,   54,   54,   43,    0,   54,   54,   54,   54,
 
  467        54,   54,   54,   54,   54,   44,   45,   46,    0,    0,
 
  468        50,   26,    0,   24,   24,   24,   24,   24,   16,   24,
 
  470        24,   24,   24,   24,    0,   15,    4,   15,   15,   15,
 
  471        15,   15,   24,   24,   24,   23,   19,   24,    0,   15,
 
  472        15,   15,   15,   15,   15,   15,   15,   15,   15,    0,
 
  473        56,   24,   24,   22,   18,    0,    1,    0,   55,   51,
 
  474        54,   54,   50,   15,   15,   15,   15,   15,    8,   15,
 
  475        15,   15,   15,   54,   54,   54,   54,   43,    0,    0,
 
  476         0,   54,   54,   54,   54,   54,   54,   54,   54,   54,
 
  477        44,   45,   46,    0,  145,  145,  145,  145,  145,   61,
 
  478         0,   73,   73,   73,   87,   87,   87,   87,   87,   99,
 
  479        99,  122,  106,  122,   36,   54,   54,   54,   54,   54,
 
  481        43,    0,   54,   54,   54,   54,   54,   54,   54,   54,
 
  482        54,   44,   45,   46,    0,    0,   50,   26,    0,   24,
 
  483        24,   24,   24,   24,   16,   24,   24,   24,   24,   24,
 
  484         0,   15,    4,   15,   15,   15,   15,   15,   24,   24,
 
  485        24,   23,   19,   24,    0,   15,   15,   15,   15,   15,
 
  486        15,   15,   15,   15,   15,   24,   24,   22,   18,   15,
 
  487        15,   15,   15,   15,    8,   15,   15,   15,   15,    0,
 
  488        56,   24,   20,   24,    0,    1,    0,   55,   51,   54,
 
  489        54,   50,   15,   15,   15,   11,   15,   15,    6,   15,
 
  490        15,   36,   54,   54,   54,   54,   54,   43,    0,    0,
 
  492         0,    0,   54,   54,   54,   54,   54,   54,   54,   54,
 
  493        54,   44,   45,   46,    0,    0,  145,  145,  145,  145,
 
  494       145,   59,   73,   73,   73,   87,   87,   87,   87,   87,
 
  495        99,   99,  122,  122,   54,   54,   54,   54,   54,    0,
 
  496        54,   29,   54,   27,   54,   41,   30,   35,   54,    0,
 
  497        25,   50,   25,    0,   24,   24,   24,   24,   24,   16,
 
  498        24,   24,   24,   24,   24,    0,   15,    4,   15,   15,
 
  499        15,   15,   15,   24,   24,   24,   23,   19,   24,    0,
 
  500        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
  501        24,   24,   22,   18,   15,   15,   15,   15,   15,    8,
 
  503        15,   15,   15,   15,   24,   20,   24,   15,   15,   15,
 
  504        11,   15,   15,    6,   15,   15,   25,   24,   24,   25,
 
  505         1,   15,   15,    9,   15,   15,   15,   15,    7,  141,
 
  506       145,  145,  145,  145,   73,   73,   73,   87,   87,   87,
 
  507        87,   87,   87,   99,   99,  112,  109,   54,   54,   54,
 
  508        54,   34,    0,   54,   54,   54,   42,    0,   26,   24,
 
  509        24,   15,   15,   15,   12,   15,   15,  139,  145,  138,
 
  510       142,   66,   69,   73,   77,   87,   87,   87,   87,   87,
 
  511        95,   94,   54,   54,   54,   54,    0,   54,   54,   54,
 
  512         0,   17,   21,    2,   15,   15,   15,    5,  140,   70,
 
  514        87,   87,   87,   87,   87,   54,   54,   54,    0,    0,
 
  515        54,   54,   33,    0,    3,   10,   15,   87,   87,   87,
 
  516        87,   87,   54,   54,   54,    0,   31,   54,   54,    0,
 
  517        15,   87,   87,   87,   87,   87,   54,   54,   37,    0,
 
  518        54,   40,    0,   15,   87,   79,   87,   87,   78,   39,
 
  519        38,    0,   54,    0,   13,   87,   87,   87,   48,   54,
 
  520         0,   80,   87,   81,    0,    0,   87,    0,    0,   82,
 
  521         0,    0,    0,    0,    0,   47,    0,    0,    0,   32,
 
  527         1,    1,    1,    1,    1,    1,    1,    1,    1,    2,
 
  528         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
  529         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
  530         1,    3,    1,    4,    1,    5,    1,    1,    6,    7,
 
  531         8,    9,   10,   11,   12,   13,    1,   14,   15,   16,
 
  532        17,   14,   14,   14,   14,   14,   14,    1,   18,   19,
 
  533        20,   21,    1,    1,   22,   23,   24,   25,   26,   27,
 
  534        28,   29,   30,   31,   32,   33,   34,   35,   36,   37,
 
  535        38,   39,   40,   41,   42,   43,   44,   45,   46,   47,
 
  536         1,    1,    1,    1,   47,    1,   48,   49,   50,   51,
 
  538        52,   53,   54,   55,   56,   57,   58,   59,   60,   61,
 
  539        62,   63,   64,   65,   66,   67,   68,   69,   70,   71,
 
  540        72,   47,    1,    1,    1,    1,    1,   73,   73,   73,
 
  541        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  542        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  543        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  544        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  545        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  546        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  547        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  549        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  550        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  551        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  552        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  553        73,   73,   73,   73,   73,   73,   73,   73,   73,   73,
 
  559         1,    2,    3,    1,    4,    1,    5,    1,    1,    1,
 
  560         6,    7,    8,    7,    7,    7,    7,    1,    1,    1,
 
  561         1,    7,    7,    7,    7,    7,    7,    7,    7,    7,
 
  562         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
 
  563         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
 
  564         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
 
  565         7,    7,    7,    7,    7,    7,    7,    7,    7,    7,
 
  571         0,   73,  146,    0,  219,  240,  260,  264,  320,  383,
 
  572       446,    0,  519,  589,  659,    0,  263,  268,  272,  274,
 
  573      2271, 5300, 5300, 2255, 2235, 2232, 5300, 5300, 2216,  282,
 
  574       347,  289,  358,  395,  277,  543,  273,  722,  531,  555,
 
  575       725,  549,  604,  729,  726,    0,  411, 2231,  787, 2227,
 
  576         0,    0, 2195,  410,  426,  860,  534,  881,  286, 2162,
 
  577       757,  559,  892,  944,  732,  901,  807,  916,  924,  964,
 
  578      5300, 5300, 2177, 2173, 2167, 5300, 5300, 2151,  621,  834,
 
  579       629,  815,  841,  305, 2150,  910,  900,  298,  740,  605,
 
  580       751,  746,  938,  741,  934, 5300, 5300, 2137, 2135, 2125,
 
  582      2089,  972,  995, 1002, 1010, 1017,  312, 2070,  299, 5300,
 
  583      5300,  348, 2057,  999,  252, 5300, 5300, 1033, 2073, 2069,
 
  584      2012, 1026, 1054, 1062, 1069, 1076,  982,  332, 1045, 1083,
 
  585      1084, 5300, 5300, 1042, 2016, 2013, 1998, 1942,  363,  988,
 
  586      1085, 1098, 1090, 1947,  797, 1091, 1092, 1095, 5300, 5300,
 
  587      1106, 1939, 1936, 1932, 1901, 1105, 1124, 1129, 1134, 1876,
 
  588      1033, 1122, 1142,  528, 5300, 5300, 1156, 1883, 1871, 1849,
 
  589      1149, 1165, 1174, 1183, 1191,  326, 5300, 1849,  341, 1160,
 
  590      1198, 1202, 1203, 1206, 1209, 1210, 1213, 1217,    0, 5300,
 
  591      1829,    0, 5300, 1828, 1844, 1834, 5300, 1780,    0, 1267,
 
  593      1274, 5300, 1730,    0, 1281, 1656,  314,  381,  580,  600,
 
  594       581,  600, 1207, 1207,  592, 1200,  605,  711,  736,    0,
 
  595      1235, 1298, 1635, 1650,    0, 1371,  784, 1209,  788,  790,
 
  596      1620,    0, 1316, 1326, 1616, 1444, 1465, 1572, 1486, 1342,
 
  597      1383, 1352, 1390, 1507, 1415, 1551, 1567, 1579, 1595, 1607,
 
  598      1517, 1623, 1568, 1498, 5300, 1495, 1401, 1631, 5300,    0,
 
  599      1652, 5300,  853,    0,    0,  882,  943, 1148, 1199, 1198,
 
  600      1211, 1228, 1495, 1452, 5300, 1437, 1659, 1666, 5300,    0,
 
  601      1678, 5300, 1333, 1206, 1247, 1274, 5300, 1384, 1438, 5300,
 
  602      1421, 1685, 1692, 1701,    0, 1709,    0, 1285, 1294, 1296,
 
  604      1295, 1422, 1382, 5300, 1367, 1362, 5300, 1421, 1572,    0,
 
  605      1584, 1407,    0, 1300, 1329, 1358, 1435, 1497, 1348, 5300,
 
  606      1339, 1317, 5300, 1636, 1671,    0, 1714, 1444, 1483, 1486,
 
  607      1486,    0, 1473, 1538, 1310, 5300, 1304, 1721, 1728, 1737,
 
  608         0, 1745, 5300, 5300, 5300, 1490, 1483, 1503,    0, 1504,
 
  609      1505,    0, 1507, 1557,    0,    0,    0,    0,    0,    0,
 
  610      1573, 1558, 1609, 1629, 1691, 1722, 1746, 1728, 1732, 1725,
 
  611      1745, 1745, 1735, 1733, 1733, 1747,    0, 1622, 1802, 1272,
 
  612      1875, 1748, 1755, 1771, 1791, 1948, 1223,    0, 1778, 1789,
 
  613      1800, 1190, 1785, 1186,    0, 1766, 1820, 1158, 2021, 2042,
 
  615      1131, 5300, 2063, 2135, 2201, 2267, 1813, 1838, 1865, 1869,
 
  616      1892, 1846, 1918, 1969, 1979, 2084, 2091, 2110, 2133, 2140,
 
  617      2182, 2198, 2261, 2248, 1899, 2269, 1794, 1798, 1816,    0,
 
  618      1884, 1887, 1901, 1909, 1945, 1938, 1949, 1936,    0, 1938,
 
  619      1957, 1947, 1966, 1974, 1973, 1994, 2032,    0, 2050, 2055,
 
  620      2064, 2065, 2051,    0,    0, 2057,    0,    0, 2070,    0,
 
  621      1121, 2079, 2101, 2102, 2122, 2117, 2117, 2140, 2137, 2125,
 
  622      2135, 2157, 2152, 2178,  419, 2005,    0, 1657, 2334, 1108,
 
  623      2407, 2188, 2186, 2195, 2197, 2480, 2184, 2200, 2200, 1113,
 
  624      2187, 2553, 2625, 2691, 2757, 2268, 2323, 2335, 2330, 1070,
 
  626         0, 2192, 2246, 2253,    0,    0, 1063, 1057,    0, 2388,
 
  627      2418, 1056, 2824, 2845,  981, 2435, 2410, 2414, 2413, 2474,
 
  628      2271, 2489, 2417, 2482, 2483, 2542, 2574, 2443, 2618, 2626,
 
  629      2646, 2656, 2370, 2257, 2685, 2693, 2600, 2723, 2752, 2856,
 
  630      2763, 2863, 2870, 2788, 2885,    0,    0, 2258, 2250, 2288,
 
  631      2286, 2298, 2325, 2344, 5300, 2326, 2341, 2349, 2410, 2556,
 
  632      2469, 2479, 2476, 2470,    0, 2477, 2486, 2485,    0,    0,
 
  633      2530, 2870, 2542, 2546,  958, 2539, 2562, 2572, 2565, 2559,
 
  634      2599, 2606, 2625, 2616, 2623,  954,  950,  940, 2700,    0,
 
  635      1920, 2940,  923, 3013, 2626, 2654, 2661, 2693, 3086, 2680,
 
  637      2754, 2697,  931, 2686, 3159, 3231, 3297, 3363, 2878, 2760,
 
  638      2856, 2922, 2691, 2702, 2704,    0,    0,  922, 2966, 2941,
 
  639      2951, 2995, 3006, 3012, 3005, 3020, 2944, 3015, 2877,  920,
 
  640         0, 2711,  917,  898,    0,  898,    0, 2911, 3107,  880,
 
  641      3430, 3451,  859, 3080, 3095, 3016, 3122, 3161,    0, 3153,
 
  642      3168, 3158, 3169, 3224, 3462, 3231, 3238, 3262, 3263, 2732,
 
  643      2738, 3290, 3318, 3357, 3344, 3302, 3365, 3474, 3494, 3486,
 
  644      3504, 3512, 3520, 3374, 2754, 2766, 2776, 2788, 2867, 5300,
 
  645      2865, 2885, 2926, 2936, 2941, 2948, 3008, 3027, 3032, 3029,
 
  646      3052, 3077,    0, 3083,    0, 3078, 3081, 3086, 3119, 3114,
 
  648      5300, 3152, 3160, 3169, 3165, 3165, 3202, 3203, 3232, 3225,
 
  649      3224, 5300, 5300, 5300, 3241,  839, 2836, 3533,  280,  830,
 
  650      3265, 3508, 3275, 3349, 3598, 3346, 3509, 3362,  362, 3342,
 
  651      3664,  562, 3542, 3548, 3552, 3585, 3590, 3575, 3357, 3400,
 
  652      3395,  829,  814,  410, 1047, 3630, 3559, 3643, 3668, 3656,
 
  653      1555, 3673, 3697, 3708, 3723, 3543,  577, 1002,  797, 3730,
 
  654      3616, 3734, 3739, 3743,  775, 3764, 1611, 3751, 3682,  615,
 
  655       774, 3304,  764, 3541,  760,  739, 3766, 3789, 1120,  729,
 
  656      3804, 1167, 3790, 3805, 1708, 3821, 3809, 3829,  653, 3842,
 
  657      1782,  636, 3615, 3657, 3565, 3650, 3667,  572, 3825, 3658,
 
  659      3753, 3717, 3555, 3746, 3824, 3808, 3835, 3830, 3832, 3561,
 
  660      3569,  566,  554,  541, 3850, 3837, 3282, 3356, 3372, 3366,
 
  661      3383, 5300, 3579, 3590, 3651, 3666, 3713, 3715, 3847, 3732,
 
  662      3728, 3810, 3827, 3815, 3822, 3835, 3832, 3832, 3838, 3837,
 
  663      3849,    0, 3859,    0,  426,    0,    0,    0, 3839, 3864,
 
  664      5300, 3895, 3889,  409,  417, 3897, 3885, 3899, 3886, 3903,
 
  665      3916, 3917, 3912, 1249, 3918,  412, 3204, 3946, 3929, 3964,
 
  666      3975, 3984, 3990, 3905, 3931, 3945,  348, 5300, 1261, 3337,
 
  667      4003, 4010, 4016, 4020, 4036, 3478, 4040, 4049, 4062, 4066,
 
  668      3976, 1310, 1042, 5300, 4070, 4075, 4090, 4094, 4106, 5300,
 
  670      4119, 3490, 4130, 4137, 4009, 5300, 3970, 4142, 4146, 4150,
 
  671      4155, 4159, 4163, 5300, 4168, 4178,  344, 3994, 4074,  313,
 
  672         0, 4182, 4188, 5300, 4194, 4199, 4204, 4209, 5300,    0,
 
  673      3881, 3904, 3930, 3976, 4003, 4022, 4055, 4043, 4052, 4056,
 
  674      4079, 4101, 4114, 4146, 4159,    0,    0, 4176, 4186, 4176,
 
  675      4191,    0, 4191, 4198, 4182, 4195,    0, 4185, 4232, 1405,
 
  676      1558, 4226, 4261, 4266, 4271, 4275, 4284,    0, 4202,    0,
 
  677         0,    0,    0, 4194,    0, 4195, 4220, 4229, 4242, 4243,
 
  678         0,    0, 4255, 4263, 4251, 2117, 4258, 4273, 4266, 4272,
 
  679      4271, 5300, 5300, 5300, 4301, 4307, 4312, 5300,    0,    0,
 
  681       256, 4278, 4265, 4267, 4290, 4296, 4300, 4305, 4329, 4299,
 
  682      4294, 4302,    0, 4313, 5300, 5300, 4340, 4309, 4312, 4302,
 
  683      4314, 4329, 4326, 4327, 4319, 4322, 5300, 4329, 4330, 4336,
 
  684      4366, 4351, 4355,  252, 4360, 4342, 4361, 4362,    0, 4363,
 
  685      4354,    0, 4358, 4392, 4362,    0, 4363, 4366,    0,    0,
 
  686         0, 4377, 4369, 4377, 4418, 4380, 4388, 4385, 5300, 4080,
 
  687      4422,    0, 4381,    0, 4431, 4435, 4392, 4398, 4399,    0,
 
  688      4396, 4420, 4417, 4422, 4410, 5300, 4421, 4416, 4420, 5300,
 
  689      5300, 4495, 4504, 4513, 4522, 4531, 4540, 4549, 4558, 4562,
 
  690      4571, 4580, 4589, 4598, 4607, 4616, 4625, 4629, 4638, 4647,
 
  692      4651, 4660, 4669, 4673, 4682, 4691, 4700, 4703, 4712, 4721,
 
  693      4730, 4733, 4742, 4751, 4755, 4764, 4773, 4782, 4791, 4800,
 
  694      4803, 4812, 4821, 4830, 4839, 4848, 4857, 4866, 4875, 4884,
 
  695      4887, 4896, 4905, 4908, 4917, 4926, 4929, 4938, 4947, 4956,
 
  696      4959, 4968, 4977, 4986, 4989, 4998, 5007, 5010, 5019, 5028,
 
  697      5037, 5046, 5055, 5058, 5067, 5076, 5085, 5094, 5103, 5112,
 
  698      5121, 5124, 5127, 5136, 5145, 5154, 5163, 5172, 5181, 5190,
 
  699      5199, 5208, 5217, 5226, 5235, 5244, 5253, 5259, 5265, 5272,
 
  705      1081, 1081, 1081,    3, 1082, 1082, 1083, 1083, 1084, 1084,
 
  706      1081,   11, 1085, 1085, 1081,   15, 1086, 1086, 1087, 1087,
 
  707      1081, 1081, 1081, 1081, 1088, 1089, 1081, 1081, 1081, 1081,
 
  708      1081, 1090, 1081, 1090, 1081, 1090, 1090, 1090, 1090, 1090,
 
  709      1090, 1090, 1090, 1090, 1090, 1091, 1091, 1092, 1093, 1094,
 
  710      1091, 1091, 1091, 1091, 1091, 1095, 1091, 1095, 1091, 1091,
 
  711        58,   58,   58,   58,   58,   58,   58,   58,   58,   58,
 
  712      1081, 1081, 1081, 1096, 1097, 1081, 1081, 1081, 1081, 1081,
 
  713      1098, 1081, 1098, 1081, 1081, 1098, 1098, 1098, 1098, 1098,
 
  714      1098, 1098, 1098, 1098, 1098, 1081, 1081, 1081, 1099, 1100,
 
  716      1081, 1081, 1081, 1101, 1081, 1101, 1081, 1081, 1101, 1081,
 
  717      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1102, 1103,
 
  718      1081, 1081, 1081, 1104, 1081, 1104, 1104, 1104, 1104, 1104,
 
  719      1104, 1081, 1081, 1081, 1105, 1106, 1107, 1081, 1081, 1108,
 
  720      1081, 1108, 1108, 1108, 1108, 1108, 1108, 1108, 1081, 1081,
 
  721      1081, 1109, 1110, 1111, 1081, 1081, 1112, 1081, 1112, 1112,
 
  722      1112, 1112, 1112, 1112, 1081, 1081, 1081, 1113, 1114, 1081,
 
  723      1081, 1081, 1115, 1081, 1115, 1081, 1081, 1081, 1115, 1115,
 
  724      1115, 1115, 1115, 1115, 1115, 1115, 1115, 1115, 1116, 1081,
 
  725      1116, 1117, 1081, 1117, 1081, 1118, 1081, 1119, 1120, 1081,
 
  727      1081, 1081, 1081, 1121, 1121, 1081, 1121, 1121, 1121, 1121,
 
  728      1121, 1121, 1121, 1121, 1121, 1121, 1121, 1121, 1121, 1122,
 
  729      1122, 1123, 1122, 1124, 1122, 1123,  226,  226,  226,  226,
 
  730      1125, 1126, 1122, 1122, 1122, 1127, 1127, 1122, 1128,  237,
 
  731       237,  237,  237,  237,  237,  237,  237,  237,  237,  237,
 
  732       237,  237, 1081, 1129, 1081, 1130, 1081, 1081, 1081, 1131,
 
  733      1131, 1081, 1131, 1131, 1131, 1131, 1131, 1131, 1131, 1131,
 
  734      1131, 1131, 1081, 1132, 1081, 1133, 1081, 1081, 1081, 1134,
 
  735      1134, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1135, 1081,
 
  736      1136, 1081, 1081, 1081, 1137, 1137, 1137, 1137, 1137, 1137,
 
  738      1137, 1081, 1138, 1081, 1139, 1140, 1081, 1081, 1081, 1141,
 
  739      1141, 1081, 1141, 1141, 1141, 1141, 1141, 1081, 1142, 1081,
 
  740      1143, 1144, 1081, 1081, 1081, 1145, 1145, 1081, 1145, 1145,
 
  741      1145, 1145, 1145, 1081, 1146, 1081, 1147, 1081, 1081, 1081,
 
  742      1148, 1148, 1081, 1081, 1081, 1148, 1148, 1148, 1148, 1148,
 
  743      1148, 1148, 1148, 1148, 1148, 1149, 1150, 1151, 1152, 1153,
 
  744      1154, 1154, 1154, 1154, 1154, 1154, 1081, 1154, 1154, 1154,
 
  745      1154, 1154, 1154, 1154, 1154, 1154, 1155, 1155, 1156, 1155,
 
  746      1156,  381,  381,  381,  381, 1157, 1158, 1155,  381,  381,
 
  747       381,  381,  381, 1159, 1160, 1155, 1155, 1155, 1161, 1161,
 
  749      1155, 1081, 1157,  403,  403,  403,  406,  406,  406,  406,
 
  750       400,  400,  400,  400,  400,  400, 1155,  400,  400,  400,
 
  751       400,  400,  400,  400,  400,  400, 1162, 1162, 1162, 1162,
 
  752      1162, 1162, 1162, 1162, 1081, 1081, 1081, 1163, 1163, 1163,
 
  753      1163, 1141, 1141, 1141, 1141, 1145, 1145, 1145, 1145, 1148,
 
  754      1148, 1148, 1148, 1148, 1148, 1148, 1150, 1152, 1154, 1154,
 
  755      1154, 1154, 1154, 1154, 1081, 1154, 1154, 1154, 1154, 1154,
 
  756      1154, 1154, 1154, 1154, 1154, 1154, 1164, 1164, 1165, 1164,
 
  757      1165,  481,  481,  481,  481, 1166,  481,  481,  481,  481,
 
  758       481, 1166,  492,  492,  492,  495,  495,  495,  495, 1167,
 
  760      1164,  481,  481,  481,  481, 1164,  481, 1168, 1169, 1164,
 
  761      1164, 1164, 1170, 1170, 1164,  495,  495,  495,  495,  495,
 
  762       495,  495,  495,  495,  495,  495,  514,  514,  514,  514,
 
  763       514,  514, 1164, 1164,  514,  514,  514,  514,  514,  514,
 
  764       514,  514,  514,  514,  514, 1162, 1162, 1162, 1162, 1162,
 
  765      1162, 1162, 1081, 1081, 1081, 1163, 1163, 1163, 1141, 1141,
 
  766      1141, 1141, 1145, 1145, 1145, 1148, 1148, 1148, 1148, 1148,
 
  767      1154, 1154, 1154, 1154, 1154, 1081, 1154, 1154, 1154, 1154,
 
  768      1154, 1154, 1154, 1154, 1154, 1154, 1154, 1154, 1081, 1171,
 
  769      1171, 1172, 1171, 1172,  594,  594,  594,  594, 1173,  594,
 
  771       594,  594,  594,  594, 1173,  605,  605,  605,  608,  608,
 
  772       608,  608,  594,  594,  594,  594, 1171,  594,  608,  608,
 
  773       608,  608,  608,  608,  608,  608,  608,  608,  608, 1174,
 
  774      1171,  594,  594,  594, 1171, 1175, 1176, 1171, 1171, 1171,
 
  775      1177, 1177, 1171,  608,  608,  608,  608,  608, 1171,  608,
 
  776       608,  608,  608,  642,  642,  642,  642,  642, 1171, 1171,
 
  777      1171,  642,  642,  642,  642,  642,  642,  642,  642,  642,
 
  778       642,  642,  642, 1171, 1162, 1162, 1162, 1162, 1162, 1081,
 
  779      1081, 1163, 1163, 1163, 1141, 1141, 1141, 1141, 1141, 1145,
 
  780      1145, 1148, 1148, 1148, 1154, 1154, 1154, 1154, 1154, 1154,
 
  782      1081, 1081, 1154, 1154, 1154, 1154, 1154, 1154, 1154, 1154,
 
  783      1154, 1081, 1081, 1081, 1081, 1081, 1081, 1178, 1081, 1178,
 
  784      1178, 1178, 1178, 1178, 1179, 1178, 1178, 1178, 1178, 1178,
 
  785      1179, 1179, 1179, 1179, 1179, 1179, 1179, 1179, 1178, 1178,
 
  786      1178, 1178, 1081, 1178, 1179, 1179, 1179, 1179, 1179, 1179,
 
  787      1179, 1179, 1179, 1179, 1179, 1178, 1178, 1178, 1081, 1179,
 
  788      1179, 1179, 1179, 1179, 1081, 1179, 1179, 1179, 1179, 1180,
 
  789      1081, 1178, 1081, 1178, 1181, 1182, 1081, 1081, 1081, 1154,
 
  790      1154, 1081, 1179, 1179, 1179, 1179, 1179, 1179, 1081, 1179,
 
  791      1179, 1154, 1154, 1154, 1154, 1154, 1154, 1081, 1081, 1081,
 
  793      1081, 1081, 1154, 1154, 1154, 1154, 1154, 1154, 1154, 1154,
 
  794      1154, 1081, 1081, 1081, 1081, 1081, 1162, 1162, 1162, 1162,
 
  795      1162, 1081, 1163, 1163, 1163, 1141, 1141, 1141, 1141, 1141,
 
  796      1145, 1145, 1148, 1148, 1154, 1154, 1154, 1154, 1154, 1081,
 
  797      1154, 1154, 1154, 1154, 1154, 1154, 1154, 1154, 1154, 1081,
 
  798      1081, 1081, 1178, 1081, 1178, 1178, 1178, 1178, 1178,  731,
 
  799      1178, 1178, 1178, 1178, 1178,  731, 1179, 1179, 1179, 1179,
 
  800      1179, 1179, 1179, 1178, 1178, 1178, 1178, 1081, 1178, 1179,
 
  801      1179, 1179, 1179, 1179, 1179, 1179, 1179, 1179, 1179, 1179,
 
  802      1178, 1178, 1178, 1081, 1179, 1179, 1179, 1179, 1179, 1081,
 
  804      1179, 1179, 1179, 1179, 1178, 1081, 1178, 1179, 1179, 1179,
 
  805      1179, 1179, 1179, 1081, 1179, 1179, 1180, 1178, 1178, 1181,
 
  806      1182, 1179, 1179, 1081, 1179, 1179, 1179, 1179, 1081, 1162,
 
  807      1162, 1162, 1162, 1162, 1163, 1163, 1163, 1141, 1141, 1141,
 
  808      1141, 1141, 1141, 1145, 1145, 1148, 1148, 1154, 1154, 1154,
 
  809      1154, 1154, 1081, 1154, 1154, 1154, 1154, 1081, 1178, 1178,
 
  810      1178, 1179, 1179, 1179, 1179, 1179, 1179, 1162, 1162, 1162,
 
  811      1162, 1163, 1163, 1163, 1141, 1141, 1141, 1141, 1141, 1141,
 
  812      1145, 1145, 1154, 1154, 1154, 1154, 1081, 1154, 1154, 1154,
 
  813      1081, 1081, 1081, 1081, 1179, 1179, 1179, 1081, 1162, 1163,
 
  815      1141, 1141, 1141, 1141, 1141, 1154, 1154, 1154, 1081, 1081,
 
  816      1154, 1154, 1154, 1081, 1081, 1081, 1179, 1141, 1141, 1141,
 
  817      1141, 1141, 1154, 1154, 1154, 1081, 1081, 1154, 1154, 1081,
 
  818      1179, 1141, 1141, 1141, 1141, 1141, 1154, 1154, 1154, 1081,
 
  819      1154, 1154, 1081, 1179, 1141, 1141, 1141, 1141, 1141, 1154,
 
  820      1154, 1081, 1154, 1081, 1179, 1141, 1141, 1141, 1081, 1154,
 
  821      1081, 1141, 1141, 1141, 1081, 1081, 1141, 1081, 1081, 1141,
 
  822      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  823         0, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  824      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  826      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  827      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  828      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  829      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  830      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  831      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  832      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  833      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
  839        22,   23,   24,   25,   22,   26,   27,   28,   29,   30,
 
  840        31,   32,   33,   34,   34,   34,   34,   35,   22,   22,
 
  841        22,   36,   37,   38,   39,   40,   37,   37,   37,   41,
 
  842        37,   37,   37,   37,   37,   37,   42,   37,   43,   44,
 
  843        37,   37,   37,   45,   37,   37,   37,   36,   37,   38,
 
  844        39,   40,   37,   37,   37,   41,   37,   37,   37,   37,
 
  845        37,   37,   42,   37,   43,   44,   37,   37,   37,   45,
 
  846        37,   37,   37,   46,   23,   47,   48,   49,   50,   51,
 
  847        52,   53,   54,   55,   56,   57,   58,   58,   58,   58,
 
  848        59,   46,   46,   60,   61,   62,   63,   64,   65,   62,
 
  850        62,   62,   66,   62,   62,   62,   62,   62,   62,   67,
 
  851        62,   68,   69,   62,   62,   62,   70,   62,   62,   62,
 
  852        61,   62,   63,   64,   65,   62,   62,   62,   66,   62,
 
  853        62,   62,   62,   62,   62,   67,   62,   68,   69,   62,
 
  854        62,   62,   70,   62,   62,   62,   71,   72,   73,   74,
 
  855        71,   75,   76,   77,   78,   79,   80,   81,   82,   83,
 
  856        83,   83,   83,   84,   71,   85,   71,   86,   87,   88,
 
  857        88,   88,   88,   88,   88,   89,   88,   88,   90,   88,
 
  858        88,   91,   92,   88,   93,   94,   95,   88,   88,   88,
 
  859        88,   88,   88,   86,   87,   88,   88,   88,   88,   88,
 
  861        88,   89,   88,   88,   90,   88,   88,   91,   92,   88,
 
  862        93,   94,   95,   88,   88,   88,   88,   88,   88,   96,
 
  863        97,   98,   99,   96,  100,   96,   96,  101,  102,  103,
 
  864       104,  105,  106,  106,  106,  106,  107,   96,  108,   96,
 
  865        96,   97,   98,   99,   96,  100,   96,   96,  101,  102,
 
  866       103,  104,  105,  106,  106,  106,  106,  107,   96,  108,
 
  867        96,  111,  112, 1047,  190,  111,  112, 1018,  113,  190,
 
  868       112,  191,  113,  193,  112,  193,  191,  112,  202,  206,
 
  869       194,  112,  194, 1081,  851, 1081,  114,  202,  238,  115,
 
  870       114,  287,  200,  115,  200,  201,  201,  201,  201,  200,
 
  872       860,  200,  205,  205,  205,  205,  259,  253, 1081, 1081,
 
  873      1081, 1081,  114,  279,  273,  115,  114,  287,  197,  115,
 
  874       116,  117,  118,  119,  116,  120,  116,  116,  121,  122,
 
  875       123,  124,  125,  126,  126,  126,  126,  118,  116,  116,
 
  876       116,  127, 1081,  129, 1081,  343,  344,  197,  202,  203,
 
  877       283, 1081, 1081, 1081,  361,  130,  131,  200,  283,  200,
 
  878       201,  201,  201,  201,  878,  283,  851,  127,  200,  129,
 
  879       200,  201,  201,  201,  201,  308,  309,  309,  309,  309,
 
  880       361,  130,  131,  116,  117,  118,  119,  116,  120,  116,
 
  881       116,  121,  122,  123,  124,  125,  126,  126,  126,  126,
 
  883       118,  116,  116,  116,  127,  200,  129,  200,  205,  205,
 
  884       205,  205,  894,  221,  851,  222, 1081,  362,  130,  131,
 
  885       233, 1081,  233,  234,  234,  234,  234,  202,  235,  860,
 
  886       127,  223,  129,  586,  587,  588,  233,  956,  233,  234,
 
  887       234,  234,  234,  362,  130,  131,  132,  133,  134,  135,
 
  888       132,  136,  137,  132,  138,  139,  134,  140,  141,  142,
 
  889       142,  142,  142,  134,  132,  132,  132,  143,  144,  145,
 
  890       144,  144,  146,  144,  144,  144,  144,  144,  144,  144,
 
  891       147,  144,  144,  144,  144,  148,  144,  144,  144,  144,
 
  892       144,  144,  144,  143,  144,  145,  144,  144,  146,  144,
 
  894       144,  144,  144,  144,  144,  144,  147,  144,  144,  144,
 
  895       144,  148,  144,  144,  144,  144,  144,  144,  144,  149,
 
  896       150,  151,  152,  149,  153,  154,  149,  155,  156,  151,
 
  897       157,  158,  159,  159,  159,  159,  151,  149,  149,  149,
 
  898      1081, 1081,  161, 1081,  233,  851,  233,  234,  234,  234,
 
  899       234,  162,  209, 1081,  163, 1081,  210,  333,  851, 1081,
 
  900       211, 1081,  164, 1081, 1081, 1081,  851, 1081,  161,  220,
 
  901       851,  220,  236,  236,  236,  236,  851,  162,  209,  906,
 
  902       163,  851,  210,  333,  207,  212,  211,  215,  164,  149,
 
  903       150,  151,  152,  149,  153,  154,  149,  155,  156,  151,
 
  905       157,  158,  159,  159,  159,  159,  151,  149,  149,  149,
 
  906       207,  212,  161,  215, 1081, 1081, 1081, 1081,  197,  917,
 
  907       363,  162,  364,  365,  163,  366,  266,  371,  374,  216,
 
  908       267,  257,  164,  257,  258,  258,  258,  258,  161,  257,
 
  909       851,  257,  261,  261,  261,  261,  363,  162,  364,  365,
 
  910       163,  366,  266,  371,  374,  216,  267,  851,  164,  165,
 
  911       166,  167,  168,  165,  169,  165,  165,  170,  171,  172,
 
  912       173,  174,  175,  175,  175,  175,  167,  176,  177,  178,
 
  913       179,  179,  179,  180,  181,  179,  182,  179,  183,  179,
 
  914       179,  184,  179,  185,  186,  179,  179,  179,  187,  188,
 
  916       179,  179,  179,  179,  179,  179,  179,  179,  179,  180,
 
  917       181,  179,  182,  179,  183,  179,  179,  184,  179,  185,
 
  918       186,  179,  179,  179,  187,  188,  179,  179,  179,  179,
 
  919       179,  179, 1081,  851, 1081, 1081, 1081, 1081, 1081, 1081,
 
  920       375, 1081,  220,  921,  220,  236,  236,  236,  236,  213,
 
  921      1081, 1081, 1081, 1081,  217,  219, 1081,  208, 1081,  214,
 
  922       218, 1081,  245, 1081,  920,  197,  375,  220,  851,  220,
 
  923       236,  236,  236,  236,  265,  213,  376,  268,  851,  851,
 
  924       217,  219,  271,  208,  269,  214,  218,  220,  245,  220,
 
  925       220,  220,  220,  220,  220,  220,  220,  220,  240,  220,
 
  927       265,  851,  376,  268,  220,  220,  220,  220,  271, 1081,
 
  928       269,  227,  228,  389,  392,  393,  229,  220,  851,  220,
 
  929       236,  236,  236,  236,  240,  257,  230,  257,  258,  258,
 
  930       258,  258,  314,  851,  851,  259,  253,  227,  228,  389,
 
  931       392,  393,  229,  851,  257,  248,  257,  258,  258,  258,
 
  932       258,  257,  230,  257,  261,  261,  261,  261,  314,  220,
 
  933       220,  782,  220,  220,  220,  220,  220,  220,  220,  220,
 
  934       233,  248,  233,  237,  237,  237,  237,  220,  220,  220,
 
  935       220,  220,  779,  220,  220,  220,  220,  220,  220,  220,
 
  936       220,  233,  427,  233,  237,  237,  237,  237,  220,  220,
 
  938       220,  220,  220,  771,  220,  236,  236,  236,  236,  774,
 
  939      1081,  220, 1081,  220,  236,  236,  236,  236,  427,  773,
 
  940      1081,  428, 1081,  771,  759,  246,  220,  241,  220,  236,
 
  941       236,  236,  236,  743,  220,  247,  220,  236,  236,  236,
 
  942       236,  249,  263,  725, 1081,  264, 1081,  428, 1081,  250,
 
  943      1081,  246,  714,  241,  220,  251,  220,  236,  236,  236,
 
  944       236,  247,  713,  270,  429,  242,  712,  249,  263,  243,
 
  945       701,  264,  272,  244,  220,  250,  220,  236,  236,  236,
 
  946       236,  251,  277,  643,  277,  278,  278,  278,  278,  270,
 
  947       429,  242, 1081,  252, 1081,  243,  279,  273,  272,  244,
 
  949       308,  311,  311,  311,  311,  277,  851,  277,  278,  278,
 
  950       278,  278,  277,  907,  277,  281,  281,  281,  281,  252,
 
  951       277,  297,  277,  278,  278,  278,  278,  277,  284,  277,
 
  952       281,  281,  281,  281,  285,  288,  292,  286,  292,  293,
 
  953       293,  293,  293,  288,  302, 1081, 1081,  297,  402,  880,
 
  954       288,  851,  302,  907,  284, 1081,  288, 1081,  640,  302,
 
  955       285,  329,  631,  286,  294,  635,  292,  293,  293,  293,
 
  956       293,  288,  292,  631,  292,  296,  296,  296,  296,  292,
 
  957       298,  292,  293,  293,  293,  293,  292,  329,  292,  296,
 
  958       296,  296,  296, 1081, 1081, 1081, 1081,  308,  312,  312,
 
  960       312,  312, 1081, 1081, 1081,  301,  298, 1081,  318,  299,
 
  961       308,  311,  311,  311,  311,  617,  318,  324,  325,  325,
 
  962       325,  325,  203,  318,  851,  300,  315,  316,  599,  313,
 
  963       317,  301,  572,  515, 1081,  299,  324,  327,  327,  327,
 
  964       327,  324,  328,  328,  328,  328,  324,  327,  327,  327,
 
  965       327,  300,  315,  316, 1081,  313,  317,  330,  334,  338,
 
  966       512,  338,  339,  339,  339,  339,  334,  334,  331,  206,
 
  967      1081,  851, 1081,  334,  430,  340,  332,  338,  339,  339,
 
  968       339,  339,  334,  330,  338,  346,  338,  342,  342,  342,
 
  969       342,  501,  506,  338,  331,  338,  339,  339,  339,  339,
 
  971       430,  338,  332,  338,  342,  342,  342,  342, 1081,  367,
 
  972      1081,  346, 1081, 1081, 1081, 1081, 1081,  367, 1081, 1081,
 
  973      1081, 1081, 1081, 1081,  367, 1081,  501, 1081,  431, 1081,
 
  974       369,  350,  368,  372,  432,  347,  373,  378,  353,  379,
 
  975       348,  390,  349,  391,  351,  354,  370,  433,  352,  434,
 
  976       435,  878,  355, 1081,  431,  380,  369,  350,  368,  372,
 
  977       432,  347,  373,  894,  353, 1081,  348,  390,  349,  391,
 
  978       351,  354,  370,  433,  352,  434,  435,  200,  355,  200,
 
  979       201,  201,  201,  201,  200,  436,  200,  201,  201,  201,
 
  980       201,  200,  486,  200,  205,  205,  205,  205,  377,  437,
 
  982       377,  377,  377,  377,  377,  377,  377,  377,  377,  336,
 
  983       377,  436,  906,  336, 1081,  377,  377,  377,  377,  438,
 
  984       439,  440,  382,  383,  323,  437,  396,  384,  396,  397,
 
  985       397,  397,  397,  441,  442,  283,  396,  385,  396,  397,
 
  986       397,  397,  397,  283,  320,  438,  439,  440,  382,  383,
 
  987       283,  320,  377,  384,  377,  399,  399,  399,  399,  441,
 
  988       442,  443,  377,  385,  377,  399,  399,  399,  399,  307,
 
  989       377,  377,  304,  377,  377,  377,  377,  377,  377,  377,
 
  990       377,  377,  411,  377,  444,  304,  288,  443,  377,  377,
 
  991       377,  377,  413,  377,  288,  377,  399,  399,  399,  399,
 
  993       377,  288,  377,  399,  399,  399,  399,  992,  411, 1081,
 
  994       444,  257,  414,  257,  258,  258,  258,  258,  413,  412,
 
  995       312,  312,  312,  312,  302,  377,  290,  377,  399,  399,
 
  996       399,  399,  302,  308,  312,  312,  312,  312,  414,  302,
 
  997       416,  290,  275,  377,  377,  412,  377,  377,  377,  377,
 
  998       377,  377,  377,  377,  377,  275,  377,  328,  328,  328,
 
  999       328,  377,  377,  377,  377,  377,  416,  377,  377,  377,
 
 1000       377,  377,  377,  377,  377,  396,  445,  396,  400,  400,
 
 1001       400,  400,  377,  377,  377,  377,  377,  402,  403,  377,
 
 1002       377,  377,  377,  377,  377,  377,  377,  273,  377,  318,
 
 1004       255,  255,  445,  377,  377,  377,  377,  318,  446,  447,
 
 1005       405,  406,  448,  449,  318,  407,  450,  377,  408,  377,
 
 1006       399,  399,  399,  399,  451,  409,  410,  377,  452,  377,
 
 1007       399,  399,  399,  399,  446,  447,  405,  406,  448,  449,
 
 1008       334,  407,  450,  453,  408,  454,  425,  455,  334,  415,
 
 1009       451,  409,  410,  417,  452,  334, 1081,  900,  377,  851,
 
 1010       993,  417, 1081,  377,  399,  399,  399,  399,  417,  453,
 
 1011       253,  454,  425,  455,  401,  415,  418,  377,  456,  377,
 
 1012       399,  399,  399,  399,  308,  309,  309,  309,  309,  377,
 
 1013       419,  377,  399,  399,  399,  399,  308,  311,  311,  311,
 
 1015       311,  459,  418,  460,  456,  377,  420,  377,  399,  399,
 
 1016       399,  399, 1081,  914,  421,  851,  419,  377,  398,  377,
 
 1017       399,  399,  399,  399,  478,  388,  479,  459,  422,  460,
 
 1018       424,  423,  420,  377,  461,  377,  399,  399,  399,  399,
 
 1019       421,  257,  480,  257,  258,  258,  258,  258,  324,  328,
 
 1020       328,  328,  328,  388,  422,  386,  424,  423,  206,  591,
 
 1021       461,  592,  257,  426,  257,  261,  261,  261,  261,  277,
 
 1022       462,  277,  278,  278,  278,  278,  277,  593,  277,  278,
 
 1023       278,  278,  278,  324,  325,  325,  325,  325,  277,  426,
 
 1024       277,  281,  281,  281,  281,  292,  462,  292,  293,  293,
 
 1026       293,  293,  292,  288,  292,  293,  293,  293,  293, 1081,
 
 1027       924,  294,  851,  292,  293,  293,  293,  293,  288,  292,
 
 1028       463,  292,  296,  296,  296,  296,  324,  327,  327,  327,
 
 1029       327,  338,  203,  338,  339,  339,  339,  339,  338,  334,
 
 1030       338,  339,  339,  339,  339,  464,  463,  340,  367,  338,
 
 1031       339,  339,  339,  339,  334,  338,  367,  338,  342,  342,
 
 1032       342,  342,  466,  367,  467,  468,  471,  472,  469,  475,
 
 1033       465,  464,  470,  473,  474,  476,  510,  487,  510,  511,
 
 1034       511,  511,  511, 1081,  929,  197,  851,  488,  466,  489,
 
 1035       467,  468,  471,  472,  469,  475,  465,  490,  470,  473,
 
 1037       474,  476,  477,  487,  477,  477,  477,  477,  477,  477,
 
 1038       477,  477,  477,  488,  477,  489,  491,  502,  503,  477,
 
 1039       477,  477,  477,  490,  505,  507,  482,  483,  504,  546,
 
 1040       510,  484,  510,  511,  511,  511,  511,  197,  547,  522,
 
 1041       548,  485,  491,  502,  503,  493,  195,  493,  359,  357,
 
 1042       505,  507,  482,  483,  504,  546,  477,  484,  477,  513,
 
 1043       513,  513,  513,  523,  547,  522,  548,  485,  345,  199,
 
 1044       493,  493,  493,  493,  477,  477,  336,  477,  477,  477,
 
 1045       477,  477,  477,  477,  477,  477,  336,  477, 1081,  523,
 
 1046       524,  528,  477,  477,  477,  477,  493,  493,  493,  493,
 
 1048       525,  493,  477,  493,  477,  513,  513,  513,  513,  477,
 
 1049       526,  477,  513,  513,  513,  513,  524,  528,  549,  550,
 
 1050       527,  199,  717,  493,  718,  493,  525,  493,  477,  493,
 
 1051       477,  513,  513,  513,  513,  544,  526,  551,  552,  323,
 
 1052       719,  320,  320,  529,  549,  550,  527,  477,  477,  402,
 
 1053       492,  477,  477,  477,  477,  477,  477,  477,  477, 1081,
 
 1054       477,  544,  199,  551,  552,  477,  477,  477,  477,  529,
 
 1055       553,  554,  494,  495,  555,  556,  557,  496,  558,  477,
 
 1056       497,  477,  513,  513,  513,  513,  559,  498,  499,  477,
 
 1057       560,  477,  513,  513,  513,  513,  553,  554,  494,  495,
 
 1059       555,  556,  557,  496,  558,  307,  497,  589,  531,  561,
 
 1060       530,  562,  559,  498,  499,  589,  560,  563,  304,  304,
 
 1061       477,  477,  589,  477,  477,  477,  477,  477,  477,  477,
 
 1062       477,  477,  199,  477,  531,  561,  530,  562,  477,  477,
 
 1063       477,  477,  477,  563,  477,  477,  477,  477,  477,  477,
 
 1064       477,  477,  510,  564,  510,  514,  514,  514,  514,  477,
 
 1065       477,  477,  477,  477,  402,  516,  477,  477,  477,  477,
 
 1066       477,  477,  477,  477,  290,  477,  290,  199,  565,  564,
 
 1067       477,  477,  477,  477,  566,  567,  568,  517,  495,  282,
 
 1068       569,  570,  496,  533,  477,  497,  477,  513,  513,  513,
 
 1070       513,  533,  498,  499,  565,  571,  573,  532,  533,  199,
 
 1071       566,  567,  568,  517,  495,  534,  569,  570,  496, 1009,
 
 1072       477,  497,  477,  513,  513,  513,  513, 1009,  498,  499,
 
 1073       275,  571,  573,  532, 1009,  477, 1081,  477,  275,  273,
 
 1074       574,  534,  575,  477,  535,  477,  513,  513,  513,  513,
 
 1075       477,  576,  477,  513,  513,  513,  513,  577,  578,  493,
 
 1076       493,  579,  580,  581,  493,  536,  574,  493,  575,  262,
 
 1077       535,  199,  255,  582,  493,  493,  255,  576,  583,  253,
 
 1078       537,  584,  239,  577,  578,  493,  493,  579,  580,  581,
 
 1079       493,  536,  477,  493,  477,  513,  513,  513,  513,  582,
 
 1081       493,  493, 1081,  477,  583,  538,  537,  584,  477,  539,
 
 1082       477,  513,  513,  513,  513,  232,  585,  600,  601,  540,
 
 1083       602,  603,  604,  613,  616,  493,  518,  618,  632,  614,
 
 1084       519,  538,  225,  493,  225,  539,  199,  197,  197,  615,
 
 1085       493,  493,  585,  600,  601,  540,  602,  603,  604,  613,
 
 1086       616,  493,  518,  618,  632,  614,  519,  195,  477,  493,
 
 1087       477,  513,  513,  513,  513,  615,  493,  493, 1081,  477,
 
 1088      1081,  477,  633,  477,  513,  513,  513,  513,  634,  477,
 
 1089      1081,  477,  513,  513,  513,  513,  661,  675,  542,  543,
 
 1090       676,  493,  493,  541,  625,  648,  493,  545,  633,  520,
 
 1092       606,  521,  606,  606,  634,  606,  493,  493, 1081,  677,
 
 1093      1081, 1081,  661,  675,  542,  543,  676,  493,  493,  541,
 
 1094       625,  648,  493,  545,  678,  520,  606,  521,  606,  606,
 
 1095       679,  606,  493,  493,  590,  677,  590,  590,  590,  590,
 
 1096       590,  590,  590,  590,  590, 1081,  590, 1081,  626,  680,
 
 1097       678,  590,  590,  590,  590,  606,  679,  606,  595,  596,
 
 1098       627, 1081,  606,  597,  606,  681,  682,  606, 1081,  606,
 
 1099       628,  629,  659,  598,  626,  680, 1081, 1081, 1081,  683,
 
 1100       659,  606,  684,  606,  595,  596,  627,  659,  606,  597,
 
 1101       606,  681,  682,  606,  660,  606,  628,  629,  638,  598,
 
 1103       638,  639,  639,  639,  639,  683,  590,  590,  684,  590,
 
 1104       590,  590,  590,  590,  590,  590,  590,  590, 1081,  590,
 
 1105       660, 1081, 1081, 1081,  590,  590,  590,  590,  638, 1081,
 
 1106       638,  639,  639,  639,  639,  621,  402,  619,  650,  622,
 
 1107       644, 1081,  606, 1081,  606,  606,  606,  606,  606,  606,
 
 1108       685,  606,  645,  590, 1081,  590,  641,  641,  641,  641,
 
 1109      1081,  621, 1081, 1081,  650,  622,  644,  606,  606,  606,
 
 1110       606,  606,  606,  606,  606,  606,  685,  606,  645,  590,
 
 1111       590,  402,  605,  590,  590,  590,  590,  590,  590,  590,
 
 1112       590,  649,  590,  606, 1081,  606, 1081,  590,  590,  590,
 
 1114       590,  688,  689,  646,  607,  608,  606,  690,  606,  609,
 
 1115       691,  692,  610,  647,  606,  606,  606,  606,  693,  611,
 
 1116       612,  606,  651,  606,  652,  694, 1081,  688,  689,  646,
 
 1117       607,  608,  606,  690,  606,  609,  691,  692,  610,  647,
 
 1118       606,  606,  606,  606,  693,  611,  612,  606,  651,  606,
 
 1119       652,  694,  590,  590,  402,  619,  590,  590,  590,  590,
 
 1120       590,  590,  590,  590, 1081,  590, 1081,  686,  695,  699,
 
 1121       590,  590,  590,  590,  606,  700,  606,  620,  608,  687,
 
 1122       653,  702,  609, 1081,  590,  610,  590,  641,  641,  641,
 
 1123       641,  703,  611,  612,  695,  699,  704,  705,  706, 1081,
 
 1125       606,  700,  606,  620,  608,  687,  653,  702,  609,  654,
 
 1126       590,  610,  590,  641,  641,  641,  641,  703,  611,  612,
 
 1127       707,  664,  704,  705,  706,  590, 1081,  590,  590,  655,
 
 1128       590,  641,  641,  641,  641,  654,  590,  708,  590,  641,
 
 1129       641,  641,  641, 1081, 1081, 1081,  707,  664,  709,  606,
 
 1130       606,  710,  711,  656,  606,  726,  590,  606,  590,  641,
 
 1131       641,  641,  641,  708,  606,  606,  590, 1081,  590,  641,
 
 1132       641,  641,  641, 1081,  709,  606,  606,  710,  711,  656,
 
 1133       606,  726, 1081,  606, 1081,  657,  727,  729,  728, 1081,
 
 1134       606,  606, 1081,  590, 1081,  590,  658,  590,  641,  641,
 
 1136       641,  641,  589,  590, 1081,  590,  641,  641,  641,  641,
 
 1137       589,  657,  727,  729,  728,  606,  621,  589,  730,  739,
 
 1138       622,  742,  658,  606,  715,  662,  744,  756,  757,  758,
 
 1139       606,  606, 1081,  590,  663,  590,  641,  641,  641,  641,
 
 1140      1081,  606,  621,  772,  730,  739,  622,  742,  665,  606,
 
 1141       715,  662,  744,  756,  757,  758,  606,  606, 1081,  590,
 
 1142       663,  801,  590, 1081,  590,  641,  641,  641,  641,  772,
 
 1143      1081, 1081, 1081,  590,  665,  590,  641,  641,  641,  641,
 
 1144       802,  606,  606,  740,  668,  752,  606,  801,  817,  623,
 
 1145       666,  624,  732,  741,  732,  818,  606,  606,  590,  819,
 
 1147       590,  641,  671,  672,  673, 1081,  802,  606,  606,  740,
 
 1148       668,  752,  606,  820,  817,  623,  666,  624,  732,  741,
 
 1149       732,  818,  606,  606,  590,  819,  590,  590,  590,  590,
 
 1150       590,  590,  590,  590,  590, 1081,  590, 1081,  852,  820,
 
 1151       853,  590,  590,  590,  590,  590, 1081,  590,  590,  590,
 
 1152       590,  590,  590,  590,  590,  638,  854,  638,  642,  642,
 
 1153       642,  642,  590,  590,  590,  590,  590, 1081,  590,  641,
 
 1154       641,  641,  641,  590, 1081,  590,  641,  641,  641,  641,
 
 1155       590,  753,  590,  641,  641,  641,  641,  674,  732, 1081,
 
 1156       732,  754,  669,  696,  667,  674,  821,  590,  641,  641,
 
 1158       641,  641,  674,  697,  751,  822,  823,  753,  670,  732,
 
 1159       732,  732,  732,  698,  732,  769,  732,  754,  669,  696,
 
 1160       667,  777,  821,  777,  778,  778,  778,  778, 1081,  697,
 
 1161       751,  822,  823, 1081,  670,  732,  732,  732,  732,  698,
 
 1162       716,  769,  716,  716,  716,  716,  716,  716,  716,  716,
 
 1163       716, 1081,  716, 1081,  732,  824,  732,  716,  716,  716,
 
 1164       716,  825,  826,  755,  721,  722,  747,  402,  745,  723,
 
 1165       748,  827, 1081,  732, 1081,  732,  732,  760,  732,  724,
 
 1166       732,  824,  732,  732,  767,  732, 1081,  825,  826,  755,
 
 1167       721,  722,  747, 1081, 1081,  723,  748,  827,  732,  732,
 
 1169       732,  732,  732,  760,  732,  724, 1081,  765, 1081,  732,
 
 1170       767,  732,  716,  716, 1081,  716,  716,  716,  716,  716,
 
 1171       716,  716,  716,  716,  732,  716,  732,  732, 1081,  732,
 
 1172       716,  716,  716,  716,  761,  762,  764,  732,  732,  732,
 
 1173       732,  766,  785,  828,  732,  763,  732,  732,  732,  732,
 
 1174       732,  829,  732,  732,  732,  732,  768,  830,  831, 1081,
 
 1175       761,  762,  764,  732,  732,  732,  732,  766,  785,  828,
 
 1176       732,  763,  732,  732,  732,  732,  732,  829,  732, 1081,
 
 1177       732,  832,  768,  830,  831,  716,  716,  402,  731,  716,
 
 1178       716,  716,  716,  716,  716,  716,  716, 1081,  716, 1081,
 
 1180      1081, 1081,  833,  716,  716,  716,  716,  832,  834,  783,
 
 1181       733,  734,  732,  835,  732,  735,  836,  777,  736,  777,
 
 1182       778,  778,  778,  778,  837,  737,  738,  732,  833,  732,
 
 1183      1081,  784, 1081, 1081,  834,  783,  733,  734,  732,  835,
 
 1184       732,  735,  836, 1081,  736, 1081, 1081,  786,  838,  839,
 
 1185       837,  737,  738,  732,  732,  732,  732,  784,  716,  716,
 
 1186       402,  745,  716,  716,  716,  716,  716,  716,  716,  716,
 
 1187       789,  716,  787,  786,  838,  839,  716,  716,  716,  716,
 
 1188       732,  840,  732,  746,  734,  732,  841,  732,  735,  788,
 
 1189       732,  736,  732,  732,  842,  732,  790,  843,  737,  738,
 
 1191       732,  732,  732,  791,  844, 1081, 1081,  840, 1081,  746,
 
 1192       734,  732,  841,  732,  735,  788,  732,  736,  732,  732,
 
 1193       842,  732,  790,  843,  737,  738,  732,  732,  732,  791,
 
 1194       844,  716, 1081,  716,  716,  845,  716,  780,  780,  780,
 
 1195       780,  716,  846,  716,  780,  780,  780,  780,  716, 1081,
 
 1196       716,  780,  780,  780,  780,  732,  732,  847,  796,  848,
 
 1197       732,  845,  792,  732,  849,  799,  850,  797,  846,  851,
 
 1198       732,  732,  716,  799,  798,  780,  780,  780,  780,  851,
 
 1199       799,  732,  732,  847,  796,  848,  732,  800,  792,  732,
 
 1200       849, 1081,  850,  797,  861, 1081,  732,  732, 1081,  716,
 
 1202       716,  864,  716,  780,  780,  780,  780, 1081,  851,  930,
 
 1203      1081, 1081,  716,  800,  716,  780,  780,  780,  780,  803,
 
 1204       861,  732,  747,  807, 1081,  918,  748,  864,  716,  732,
 
 1205       716,  780,  780,  780,  780,  930,  732,  732,  402,  880,
 
 1206      1081, 1081,  804, 1081, 1081,  803,  851,  732,  747,  807,
 
 1207       851,  918,  748,  851,  716,  732,  716,  780,  780,  780,
 
 1208       780,  851,  732,  732, 1081,  716,  851,  716,  804,  716,
 
 1209       780,  780,  780,  780,  865,  716,  815,  716,  780,  780,
 
 1210       780,  780,  879,  806,  815,  874,  877,  732,  732,  805,
 
 1211       931,  815,  732,  891, 1081,  749,  808,  750,  816,  851,
 
 1213       865,  932,  732,  732,  851,  933, 1081, 1081,  879,  806,
 
 1214      1081,  874,  877,  732,  732,  805,  931,  934,  732,  891,
 
 1215       893,  749,  808,  750,  816, 1081,  892,  932,  732,  732,
 
 1216       716,  933,  716,  716,  716,  716,  716,  716,  716,  716,
 
 1217       716, 1081,  716,  934, 1081, 1081,  893,  716,  716,  716,
 
 1218       716,  716,  892,  716,  716,  716,  716,  716,  716,  716,
 
 1219       716,  777, 1081,  777,  781,  781,  781,  781,  716,  716,
 
 1220       716,  716,  716, 1081,  716,  780,  780,  780,  780, 1081,
 
 1221       900, 1081, 1081, 1081,  716,  793,  716,  780,  780,  780,
 
 1222       780, 1081,  914, 1081, 1081,  794,  716,  809,  716,  780,
 
 1224       780,  780,  780, 1081,  716,  795,  716,  780,  780,  780,
 
 1225       780,  793,  851,  851,  716,  811,  812,  780,  780,  780,
 
 1226       780,  794,  716,  809,  813,  780,  780,  780,  780,  810,
 
 1227       716,  795,  814,  780,  780,  780,  780,  851,  875, 1081,
 
 1228       862,  811,  863, 1081, 1081,  851,  851,  851,  876, 1081,
 
 1229      1081, 1081,  851, 1081, 1081,  810,  851,  856,  857,  851,
 
 1230      1081, 1081,  858,  851,  875,  851,  862,  882,  863,  851,
 
 1231       919,  883,  859,  851,  876,  905, 1081, 1081,  886,  851,
 
 1232       884,  841,  885,  856,  857,  895, 1081, 1081,  858,  851,
 
 1233      1081, 1081, 1081,  882,  851,  848,  919,  883,  859,  402,
 
 1235       866,  905,  851,  837,  886, 1081,  884,  841,  885,  849,
 
 1236       887,  895, 1081,  935,  936,  888,  890, 1081, 1081,  851,
 
 1237       851,  848,  868,  869, 1081,  889, 1081,  870, 1081,  837,
 
 1238       871, 1081, 1081, 1081,  851,  849,  887,  872,  873,  935,
 
 1239       936,  888,  890, 1081, 1081, 1081, 1081,  851,  868,  869,
 
 1240       835,  889,  909,  870,  851,  882,  871, 1081, 1081,  883,
 
 1241       851,  851,  851,  872,  873,  402,  880, 1081,  851, 1081,
 
 1242      1081,  851,  851, 1081, 1081, 1081,  835,  851,  909,  838,
 
 1243       899,  882,  896, 1081, 1081,  883,  851,  576,  881,  869,
 
 1244      1081,  937,  836,  870,  901, 1081,  871,  897, 1081, 1081,
 
 1246       938,  851,  839,  872,  873,  838,  899,  898,  896, 1081,
 
 1247      1081, 1081,  851,  576,  881,  869,  916,  937,  836,  870,
 
 1248       901,  851,  871,  897, 1081, 1081,  938,  851,  839,  872,
 
 1249       873, 1081, 1081,  898,  851, 1081, 1081,  902,  851, 1081,
 
 1250      1081, 1081,  916,  851, 1081, 1081,  840,  851,  939,  903,
 
 1251       851,  940, 1081, 1081,  912,  851, 1081,  851,  943,  908,
 
 1252       910,  904,  944,  902,  911, 1081, 1081, 1081,  851, 1081,
 
 1253       851,  842,  840, 1081,  939,  903,  200,  940,  200,  201,
 
 1254       201,  201,  201, 1081,  943,  908,  910,  904,  944,  915,
 
 1255       911, 1081, 1081,  851,  851,  702, 1081,  842, 1081,  200,
 
 1257       913,  200,  201,  201,  201,  201, 1081, 1081,  851,  851,
 
 1258      1081, 1081,  851,  851,  200,  915,  200,  205,  205,  205,
 
 1259       205,  702, 1081, 1081,  922,  851,  913,  367,  851,  851,
 
 1260      1081, 1081,  925,  851,  851,  367,  851,  923,  926,  851,
 
 1261       927,  851,  367, 1081, 1081,  945,  851,  844, 1081,  465,
 
 1262       922,  946,  589,  947,  851,  948,  843,  847,  941,  949,
 
 1263       589,  950,  850,  923,  926,  928,  951,  589,  845,  846,
 
 1264       942,  945,  952,  844,  715,  465,  953,  946,  954,  947,
 
 1265       955,  948,  843,  847,  957,  949,  958,  950,  850, 1081,
 
 1266      1081,  928,  951, 1081,  845,  846,  942,  852,  952,  959,
 
 1268       715, 1081,  953, 1081,  954,  866,  955, 1081,  968, 1081,
 
 1269       957,  865,  958,  856,  857,  854, 1081,  862,  858,  863,
 
 1270      1081, 1081, 1081, 1081, 1081,  864,  861,  868,  859, 1081,
 
 1271      1081, 1081, 1081, 1081,  968, 1081,  877,  865,  969,  856,
 
 1272       857,  891, 1081,  862,  858,  863,  875, 1081, 1081, 1081,
 
 1273      1081,  864,  861,  868,  859,  874,  876,  892,  879, 1081,
 
 1274      1081,  884,  877,  885,  969, 1081, 1081,  891, 1081,  970,
 
 1275       893,  882,  875, 1081, 1081,  883, 1081, 1081, 1081, 1081,
 
 1276      1081,  874,  876,  892,  879, 1081, 1081,  884, 1081,  885,
 
 1277       886, 1081, 1081, 1081, 1081,  970,  893,  882, 1081,  919,
 
 1279       887,  883, 1081,  971, 1081, 1081, 1081, 1081,  905,  888,
 
 1280      1081, 1081, 1081, 1081, 1081, 1081,  886, 1081, 1081,  889,
 
 1281      1081, 1081, 1081, 1081, 1081,  919,  887, 1081,  882,  971,
 
 1282       918,  890,  883, 1081,  905,  888,  895, 1081, 1081,  960,
 
 1283      1081, 1081, 1081,  972, 1081,  889, 1081,  973, 1081,  897,
 
 1284      1081, 1081, 1081, 1081,  882,  896,  918,  890,  883,  898,
 
 1285       899,  901,  895, 1081, 1081,  960, 1081, 1081, 1081,  972,
 
 1286      1081, 1081, 1081,  973, 1081,  897, 1081, 1081, 1081, 1081,
 
 1287       974,  896, 1065,  975, 1081,  898,  899,  901,  976,  902,
 
 1288      1065, 1081, 1081, 1081, 1081, 1081, 1081, 1065, 1081,  908,
 
 1290       961,  977,  978,  903,  904, 1081,  974, 1081, 1081,  975,
 
 1291      1081,  909, 1081, 1081,  976,  902,  910,  912, 1081,  911,
 
 1292      1081, 1081, 1081, 1081, 1081,  908,  961,  977,  978,  903,
 
 1293       904, 1081, 1081, 1081, 1081, 1081,  979,  909, 1081, 1081,
 
 1294      1081, 1081,  910, 1081, 1081,  911, 1081, 1081, 1081,  980,
 
 1295      1081, 1081,  924, 1081, 1081,  913, 1081, 1081, 1081, 1081,
 
 1296      1081, 1081,  979, 1081, 1081, 1081,  925, 1081,  915, 1081,
 
 1297      1081,  916, 1081,  981,  927,  980,  922, 1081,  923, 1081,
 
 1298       929,  913, 1081, 1081, 1081, 1081, 1081, 1081,  926, 1081,
 
 1299      1081,  928, 1081,  982,  915, 1081, 1081,  916, 1081,  981,
 
 1301      1081, 1081,  922, 1081,  923, 1081, 1081,  962, 1081,  963,
 
 1302      1081, 1081,  983, 1081,  926,  984,  985,  928,  986,  982,
 
 1303       987,  988,  989,  964,  990,  965,  991, 1081,  994,  999,
 
 1304      1081, 1081, 1000,  962,  967,  963, 1081, 1081,  983, 1081,
 
 1305      1001,  984,  985,  966,  986, 1081,  987,  988,  989,  964,
 
 1306       990,  965,  991, 1081, 1002,  999,  856,  857, 1000, 1081,
 
 1307       967,  858, 1081, 1081, 1003, 1081, 1001, 1081, 1081,  966,
 
 1308      1081,  859, 1081, 1081, 1081, 1081, 1081, 1081, 1004, 1081,
 
 1309      1002, 1005,  856,  857, 1006, 1081,  998,  858, 1081, 1007,
 
 1310      1003, 1008,  996, 1010, 1011, 1012, 1013,  859, 1014, 1019,
 
 1312       997, 1020, 1081, 1015, 1004, 1081,  995, 1005, 1081, 1016,
 
 1313      1006, 1081, 1021, 1081, 1081, 1007, 1081, 1008,  996, 1010,
 
 1314      1011, 1012, 1013, 1022, 1014, 1019,  997, 1020, 1023, 1024,
 
 1315      1025, 1009,  995, 1027, 1028, 1017, 1081, 1029, 1021, 1009,
 
 1316      1030, 1081, 1081, 1032, 1081, 1033, 1009, 1034, 1035, 1022,
 
 1317      1036, 1037, 1038, 1039, 1023, 1024, 1025, 1040, 1041, 1027,
 
 1318      1028, 1017, 1026, 1029, 1042, 1043, 1030, 1081, 1081, 1032,
 
 1319      1081, 1033, 1045, 1034, 1035, 1031, 1036, 1037, 1038, 1039,
 
 1320      1046, 1048, 1049, 1040, 1041, 1050, 1051, 1052, 1026, 1053,
 
 1321      1042, 1043, 1054, 1081, 1081, 1056, 1081, 1057, 1045, 1058,
 
 1323      1044, 1031, 1059, 1060, 1061, 1062, 1046, 1048, 1049, 1063,
 
 1324      1064, 1050, 1051, 1052, 1067, 1053, 1055, 1070, 1054, 1081,
 
 1325      1081, 1056, 1081, 1057, 1066, 1058, 1044, 1071, 1059, 1060,
 
 1326      1061, 1062, 1066, 1065, 1072, 1063, 1064, 1066, 1073, 1066,
 
 1327      1067, 1065, 1055, 1070, 1074, 1066, 1075, 1076, 1065, 1077,
 
 1328      1078, 1079, 1066, 1071, 1080, 1068, 1081, 1081, 1081, 1081,
 
 1329      1072, 1081, 1081, 1081, 1073, 1081, 1081, 1081, 1069, 1081,
 
 1330      1074, 1081, 1075, 1076, 1081, 1077, 1078, 1079, 1081, 1081,
 
 1331      1080, 1068, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1332      1081, 1081, 1081, 1081, 1069,  109,  109,  109,  109,  109,
 
 1334       109,  109,  109,  109,  110,  110,  110,  110,  110,  110,
 
 1335       110,  110,  110,  128,  128,  128,  128,  128,  128,  128,
 
 1336       128,  128,  160,  160,  160,  160,  160,  160,  160,  160,
 
 1337       160,  189,  189,  189,  189,  189,  189,  189,  189,  189,
 
 1338       192,  192,  192,  192,  192,  192,  192,  192,  192,  196,
 
 1339      1081,  196,  196,  196,  196,  196,  196,  196,  198, 1081,
 
 1340       198,  198,  198,  198,  198,  198,  198,  204,  204,  204,
 
 1341       204,  220, 1081,  220,  220,  220,  220,  220,  220,  220,
 
 1342       224, 1081,  224,  224,  224,  224,  224,  224,  224,  226,
 
 1343      1081,  226,  226,  226,  226,  226,  226,  226,  231, 1081,
 
 1345       231,  231,  231,  231,  231,  231,  231,  236, 1081,  236,
 
 1346       236,  236,  236,  236,  236,  236,  254, 1081,  254,  254,
 
 1347       254,  254,  254,  254,  254,  256, 1081,  256,  256,  256,
 
 1348       256,  256,  256,  256,  260,  260,  260,  260,  274, 1081,
 
 1349       274,  274,  274,  274,  274,  274,  274,  276, 1081,  276,
 
 1350       276,  276,  276,  276,  276,  276,  280,  280,  280,  280,
 
 1351       289, 1081,  289,  289,  289,  289,  289,  289,  289,  291,
 
 1352      1081,  291,  291,  291,  291,  291,  291,  291,  295,  295,
 
 1353       295,  295,  303, 1081,  303,  303,  303,  303,  303,  303,
 
 1354       303,  305, 1081,  305,  305,  305,  305,  305,  305,  305,
 
 1356       306, 1081,  306,  306, 1081,  306,  306,  306,  306,  310,
 
 1357       310,  310,  319, 1081,  319,  319,  319,  319,  319,  319,
 
 1358       319,  321, 1081,  321,  321,  321,  321,  321,  321,  321,
 
 1359       322, 1081,  322,  322, 1081,  322,  322,  322,  322,  326,
 
 1360       326,  326,  335, 1081,  335,  335,  335,  335,  335,  335,
 
 1361       335,  337, 1081,  337,  337,  337,  337,  337,  337,  337,
 
 1362       341,  341,  341,  341,  356, 1081,  356,  356,  356,  356,
 
 1363       356,  356,  356,  358, 1081,  358,  358,  358,  358,  358,
 
 1364       358,  358,  196, 1081,  196,  196,  196,  196,  196,  196,
 
 1365       196,  198, 1081,  198,  198,  198,  198,  198,  198,  198,
 
 1367       360, 1081,  360,  360,  360,  360,  360,  360,  360,  204,
 
 1368      1081,  204,  377, 1081,  377,  377,  377,  377,  377,  377,
 
 1369       377,  381, 1081,  381,  381,  381,  381,  381,  381,  381,
 
 1370       387, 1081,  387,  387,  387,  387,  387,  387,  387,  394,
 
 1371      1081,  394,  394,  394,  394,  394,  394,  394,  395, 1081,
 
 1372       395,  395,  395,  395,  395,  395,  395,  399, 1081,  399,
 
 1373       399,  399,  399,  399,  399,  399,  404,  404,  404,  404,
 
 1374       404,  404,  404,  404,  404,  254, 1081,  254,  254,  254,
 
 1375       254,  254,  254,  254,  256, 1081,  256,  256,  256,  256,
 
 1376       256,  256,  256,  260, 1081,  260,  274, 1081,  274,  274,
 
 1378       274,  274,  274,  274,  274,  276, 1081,  276,  276,  276,
 
 1379       276,  276,  276,  276,  280, 1081,  280,  289, 1081,  289,
 
 1380       289,  289,  289,  289,  289,  289,  291, 1081,  291,  291,
 
 1381       291,  291,  291,  291,  291,  295, 1081,  295,  303, 1081,
 
 1382       303,  303,  303,  303,  303,  303,  303,  305, 1081,  305,
 
 1383       305,  305,  305,  305,  305,  305,  306, 1081,  306,  306,
 
 1384      1081,  306,  306,  306,  306,  310, 1081,  310,  319, 1081,
 
 1385       319,  319,  319,  319,  319,  319,  319,  321, 1081,  321,
 
 1386       321,  321,  321,  321,  321,  321,  322, 1081,  322,  322,
 
 1387      1081,  322,  322,  322,  322,  326, 1081,  326,  335, 1081,
 
 1389       335,  335,  335,  335,  335,  335,  335,  337, 1081,  337,
 
 1390       337,  337,  337,  337,  337,  337,  341, 1081,  341,  356,
 
 1391      1081,  356,  356,  356,  356,  356,  356,  356,  457, 1081,
 
 1392       457,  457,  457,  457,  457,  457,  457,  358, 1081,  358,
 
 1393       358,  358,  358,  358,  358,  358,  458, 1081,  458,  458,
 
 1394       458,  458,  458,  458,  458,  360, 1081,  360,  360,  360,
 
 1395       360,  360,  360,  360,  204, 1081,  204,  477, 1081,  477,
 
 1396       477,  477,  477,  477,  477,  477,  481, 1081,  481,  481,
 
 1397       481,  481,  481,  481,  481,  493,  493,  493,  493,  493,
 
 1398       493,  493,  493,  493,  500, 1081,  500,  500,  500,  500,
 
 1400       500,  500,  500,  508, 1081,  508,  508,  508,  508,  508,
 
 1401       508,  508,  509, 1081,  509,  509,  509,  509,  509,  509,
 
 1402       509,  513, 1081,  513,  513,  513,  513,  513,  513,  513,
 
 1403       260, 1081,  260,  295, 1081,  295,  590, 1081,  590,  590,
 
 1404       590,  590,  590,  590,  590,  594, 1081,  594,  594,  594,
 
 1405       594,  594,  594,  594,  606,  606,  606,  606,  606,  606,
 
 1406       606,  606,  606,  630, 1081,  630,  630,  630,  630,  630,
 
 1407       630,  630,  636, 1081,  636,  636,  636,  636,  636,  636,
 
 1408       636,  637, 1081,  637,  637,  637,  637,  637,  637,  637,
 
 1409       641, 1081,  641,  641,  641,  641,  641,  641,  641,  716,
 
 1411      1081,  716,  716,  716,  716,  716,  716,  716,  720, 1081,
 
 1412       720,  720,  720,  720,  720,  720,  720,  732,  732,  732,
 
 1413       732,  732,  732,  732,  732,  732,  770, 1081,  770,  770,
 
 1414       770,  770,  770,  770,  770,  775, 1081,  775,  775,  775,
 
 1415       775,  775,  775,  775,  776, 1081,  776,  776,  776,  776,
 
 1416       776,  776,  776,  780, 1081,  780,  780,  780,  780,  780,
 
 1417       780,  780,  855, 1081, 1081,  855,  867,  867,  867, 1081,
 
 1418      1081,  867,  196, 1081,  196,  196,  196,  196,  196,  196,
 
 1419       196,  198, 1081,  198,  198,  198,  198,  198,  198,  198,
 
 1420       360, 1081,  360,  360,  360,  360,  360,  360,  360,   21,
 
 1422      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1423      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1424      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1425      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1426      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1427      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1428      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 1434         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
 1435         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
 1436         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
 1437         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
 1438         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
 1439         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
 1440         1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
 
 1441         1,    1,    1,    2,    2,    2,    2,    2,    2,    2,
 
 1442         2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
 1443         2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
 1445         2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
 1446         2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
 1447         2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
 1448         2,    2,    2,    2,    2,    2,    2,    2,    2,    2,
 
 1449         2,    2,    2,    2,    2,    2,    3,    3,    3,    3,
 
 1450         3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
 
 1451         3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
 
 1452         3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
 
 1453         3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
 
 1454         3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
 
 1456         3,    3,    3,    3,    3,    3,    3,    3,    3,    3,
 
 1457         3,    3,    3,    3,    3,    3,    3,    3,    3,    5,
 
 1458         5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
 
 1459         5,    5,    5,    5,    5,    5,    5,    5,    5,    5,
 
 1460         6,    6,    6,    6,    6,    6,    6,    6,    6,    6,
 
 1461         6,    6,    6,    6,    6,    6,    6,    6,    6,    6,
 
 1462         6,    7,    7, 1034,   17,    8,    8, 1001,    7,   18,
 
 1463         7,   17,    8,   19,    8,   20,   18,    7,   35,   35,
 
 1464        19,    8,   20,   37,  719,   37,    7,   59,   59,    7,
 
 1465         8,  115,   30,    8,   30,   30,   30,   30,   30,   32,
 
 1467       719,   32,   32,   32,   32,   32,   84,   84,   88,  109,
 
 1468        88,  109,    7,  107,  107,    7,    8,  115,  920,    8,
 
 1469         9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
 
 1470         9,    9,    9,    9,    9,    9,    9,    9,    9,    9,
 
 1471         9,    9,  128,    9,  128,  176,  176,  917,   31,   31,
 
 1472       112,  179,  877,  179,  207,    9,    9,   31,  112,   31,
 
 1473        31,   31,   31,   31,  729,  112,  729,    9,   33,    9,
 
 1474        33,   33,   33,   33,   33,  139,  139,  139,  139,  139,
 
 1475       207,    9,    9,   10,   10,   10,   10,   10,   10,   10,
 
 1476        10,   10,   10,   10,   10,   10,   10,   10,   10,   10,
 
 1478        10,   10,   10,   10,   10,   34,   10,   34,   34,   34,
 
 1479        34,   34,  744,   47,  744,   47,  866,  208,   10,   10,
 
 1480        54,  855,   54,   54,   54,   54,   54,   55,   55,  854,
 
 1481        10,   47,   10,  475,  475,  475,   55,  845,   55,   55,
 
 1482        55,   55,   55,  208,   10,   10,   11,   11,   11,   11,
 
 1483        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
 
 1484        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
 
 1485        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
 
 1486        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
 
 1487        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
 
 1489        11,   11,   11,   11,   11,   11,   11,   11,   11,   11,
 
 1490        11,   11,   11,   11,   11,   11,   11,   11,   11,   13,
 
 1491        13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
 
 1492        13,   13,   13,   13,   13,   13,   13,   13,   13,   13,
 
 1493       164,   39,   13,   39,   57,  814,   57,   57,   57,   57,
 
 1494        57,   13,   39,   36,   13,   36,   39,  164,  813,   42,
 
 1495        39,   42,   13,  732,  732,   40,  732,   40,   13,   62,
 
 1496       812,   62,   62,   62,   62,   62,  798,   13,   39,  757,
 
 1497        13,  757,   39,  164,   36,   40,   39,   42,   13,   14,
 
 1498        14,   14,   14,   14,   14,   14,   14,   14,   14,   14,
 
 1500        14,   14,   14,   14,   14,   14,   14,   14,   14,   14,
 
 1501        36,   40,   14,   42,   43,   90,   43,   90,  770,  770,
 
 1502       209,   14,  210,  211,   14,  212,   90,  215,  217,   43,
 
 1503        90,   79,   14,   79,   79,   79,   79,   79,   14,   81,
 
 1504       792,   81,   81,   81,   81,   81,  209,   14,  210,  211,
 
 1505        14,  212,   90,  215,  217,   43,   90,  789,   14,   15,
 
 1506        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
 1507        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
 1508        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
 1509        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
 1511        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
 1512        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
 1513        15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
 
 1514        15,   15,   38,  780,   38,   41,   45,   41,   45,   44,
 
 1515       218,   44,   65,  776,   65,   65,   65,   65,   65,   41,
 
 1516        89,   94,   89,   94,   44,   45,   92,   38,   92,   41,
 
 1517        44,   91,   65,   91,  775,  775,  218,   61,  773,   61,
 
 1518        61,   61,   61,   61,   89,   41,  219,   91,  771,  765,
 
 1519        44,   45,   94,   38,   92,   41,   44,   49,   65,   49,
 
 1520        49,   49,   49,   49,   49,   49,   49,   49,   61,   49,
 
 1522        89,  759,  219,   91,   49,   49,   49,   49,   94,  145,
 
 1523        92,   49,   49,  227,  229,  230,   49,   67,  743,   67,
 
 1524        67,   67,   67,   67,   61,   82,   49,   82,   82,   82,
 
 1525        82,   82,  145,  742,  720,   80,   80,   49,   49,  227,
 
 1526       229,  230,   49,  716,   80,   67,   80,   80,   80,   80,
 
 1527        80,   83,   49,   83,   83,   83,   83,   83,  145,   49,
 
 1528        56,  643,   56,   56,   56,   56,   56,   56,   56,   56,
 
 1529        56,   67,   56,   56,   56,   56,   56,   56,   56,   56,
 
 1530        56,   58,  640,   58,   58,   58,   58,   58,   58,   58,
 
 1531        58,   58,  263,   58,   58,   58,   58,   58,   58,   58,
 
 1533        58,   58,   63,  636,   63,   63,   63,   63,   63,  634,
 
 1534        87,   66,   87,   66,   66,   66,   66,   66,  263,  633,
 
 1535        86,  266,   86,  630,  618,   66,   68,   63,   68,   68,
 
 1536        68,   68,   68,  603,   69,   66,   69,   69,   69,   69,
 
 1537        69,   68,   86,  593,   95,   87,   95,  266,   93,   69,
 
 1538        93,   66,  588,   63,   64,   69,   64,   64,   64,   64,
 
 1539        64,   66,  587,   93,  267,   64,  586,   68,   86,   64,
 
 1540       575,   87,   95,   64,   70,   69,   70,   70,   70,   70,
 
 1541        70,   69,  102,  515,  102,  102,  102,  102,  102,   93,
 
 1542       267,   64,  127,   70,  127,   64,  103,  103,   95,   64,
 
 1544       140,  140,  140,  140,  140,  103,  758,  103,  103,  103,
 
 1545       103,  103,  104,  758,  104,  104,  104,  104,  104,   70,
 
 1546       105,  127,  105,  105,  105,  105,  105,  106,  114,  106,
 
 1547       106,  106,  106,  106,  114,  118,  122,  114,  122,  122,
 
 1548       122,  122,  122,  118,  134,  161,  893,  127,  745,  745,
 
 1549       118,  745,  134,  893,  114,  129,  123,  129,  512,  134,
 
 1550       114,  161,  508,  114,  123,  507,  123,  123,  123,  123,
 
 1551       123,  123,  124,  500,  124,  124,  124,  124,  124,  125,
 
 1552       129,  125,  125,  125,  125,  125,  126,  161,  126,  126,
 
 1553       126,  126,  126,  130,  131,  130,  131,  141,  141,  141,
 
 1555       141,  141,  143,  146,  147,  131,  129,  148,  151,  130,
 
 1556       142,  142,  142,  142,  142,  490,  151,  156,  156,  156,
 
 1557       156,  156,  779,  151,  779,  130,  146,  147,  480,  143,
 
 1558       148,  131,  461,  401,  162,  130,  157,  157,  157,  157,
 
 1559       157,  158,  158,  158,  158,  158,  159,  159,  159,  159,
 
 1560       159,  130,  146,  147,  163,  143,  148,  162,  167,  171,
 
 1561       398,  171,  171,  171,  171,  171,  167,  172,  163,  782,
 
 1562       180,  782,  180,  167,  268,  172,  163,  172,  172,  172,
 
 1563       172,  172,  172,  162,  173,  180,  173,  173,  173,  173,
 
 1564       173,  394,  392,  174,  163,  174,  174,  174,  174,  174,
 
 1566       268,  175,  163,  175,  175,  175,  175,  175,  181,  213,
 
 1567       181,  180,  182,  183,  182,  183,  184,  213,  184,  185,
 
 1568       186,  185,  186,  187,  213,  187,  387,  188,  269,  188,
 
 1569       214,  184,  213,  216,  270,  181,  216,  221,  187,  221,
 
 1570       182,  228,  183,  228,  185,  188,  214,  271,  186,  272,
 
 1571       284,  864,  188,  864,  269,  221,  214,  184,  213,  216,
 
 1572       270,  181,  216,  879,  187,  879,  182,  228,  183,  228,
 
 1573       185,  188,  214,  271,  186,  272,  284,  200,  188,  200,
 
 1574       200,  200,  200,  200,  201,  285,  201,  201,  201,  201,
 
 1575       201,  205,  380,  205,  205,  205,  205,  205,  222,  286,
 
 1577       222,  222,  222,  222,  222,  222,  222,  222,  222,  337,
 
 1578       222,  285,  892,  335,  892,  222,  222,  222,  222,  298,
 
 1579       299,  300,  222,  222,  322,  286,  233,  222,  233,  233,
 
 1580       233,  233,  233,  301,  314,  283,  234,  222,  234,  234,
 
 1581       234,  234,  234,  283,  321,  298,  299,  300,  222,  222,
 
 1582       283,  319,  240,  222,  240,  240,  240,  240,  240,  301,
 
 1583       314,  315,  242,  222,  242,  242,  242,  242,  242,  306,
 
 1584       222,  226,  305,  226,  226,  226,  226,  226,  226,  226,
 
 1585       226,  226,  240,  226,  316,  303,  288,  315,  226,  226,
 
 1586       226,  226,  242,  241,  288,  241,  241,  241,  241,  241,
 
 1588       243,  288,  243,  243,  243,  243,  243,  960,  240,  960,
 
 1589       316,  257,  243,  257,  257,  257,  257,  257,  242,  241,
 
 1590       312,  312,  312,  312,  302,  245,  291,  245,  245,  245,
 
 1591       245,  245,  302,  308,  308,  308,  308,  308,  243,  302,
 
 1592       245,  289,  276,  226,  236,  241,  236,  236,  236,  236,
 
 1593       236,  236,  236,  236,  236,  274,  236,  328,  328,  328,
 
 1594       328,  236,  236,  236,  236,  237,  245,  237,  237,  237,
 
 1595       237,  237,  237,  237,  237,  237,  317,  237,  237,  237,
 
 1596       237,  237,  237,  237,  237,  237,  239,  239,  239,  239,
 
 1597       239,  239,  239,  239,  239,  239,  239,  273,  239,  318,
 
 1599       256,  254,  317,  239,  239,  239,  239,  318,  329,  330,
 
 1600       239,  239,  331,  333,  318,  239,  346,  244,  239,  244,
 
 1601       244,  244,  244,  244,  347,  239,  239,  251,  348,  251,
 
 1602       251,  251,  251,  251,  329,  330,  239,  239,  331,  333,
 
 1603       334,  239,  346,  350,  239,  351,  251,  353,  334,  244,
 
 1604       347,  239,  239,  246,  348,  334,  751,  751,  239,  751,
 
 1605       961,  246,  961,  246,  246,  246,  246,  246,  246,  350,
 
 1606       253,  351,  251,  353,  238,  244,  246,  247,  354,  247,
 
 1607       247,  247,  247,  247,  309,  309,  309,  309,  309,  248,
 
 1608       247,  248,  248,  248,  248,  248,  311,  311,  311,  311,
 
 1610       311,  361,  246,  362,  354,  249,  247,  249,  249,  249,
 
 1611       249,  249,  767,  767,  248,  767,  247,  250,  235,  250,
 
 1612       250,  250,  250,  250,  378,  231,  378,  361,  249,  362,
 
 1613       250,  249,  247,  252,  363,  252,  252,  252,  252,  252,
 
 1614       248,  258,  378,  258,  258,  258,  258,  258,  324,  324,
 
 1615       324,  324,  324,  224,  249,  223,  250,  249,  206,  478,
 
 1616       363,  478,  261,  252,  261,  261,  261,  261,  261,  277,
 
 1617       364,  277,  277,  277,  277,  277,  278,  478,  278,  278,
 
 1618       278,  278,  278,  325,  325,  325,  325,  325,  281,  252,
 
 1619       281,  281,  281,  281,  281,  292,  364,  292,  292,  292,
 
 1621       292,  292,  293,  294,  293,  293,  293,  293,  293,  785,
 
 1622       785,  294,  785,  294,  294,  294,  294,  294,  294,  296,
 
 1623       365,  296,  296,  296,  296,  296,  327,  327,  327,  327,
 
 1624       327,  338,  203,  338,  338,  338,  338,  338,  339,  340,
 
 1625       339,  339,  339,  339,  339,  366,  365,  340,  367,  340,
 
 1626       340,  340,  340,  340,  340,  342,  367,  342,  342,  342,
 
 1627       342,  342,  368,  367,  369,  370,  372,  373,  371,  375,
 
 1628       367,  366,  371,  374,  374,  376,  396,  382,  396,  396,
 
 1629       396,  396,  396,  791,  791,  198,  791,  383,  368,  383,
 
 1630       369,  370,  372,  373,  371,  375,  367,  384,  371,  374,
 
 1632       374,  376,  379,  382,  379,  379,  379,  379,  379,  379,
 
 1633       379,  379,  379,  383,  379,  383,  385,  389,  390,  379,
 
 1634       379,  379,  379,  384,  391,  393,  379,  379,  390,  427,
 
 1635       397,  379,  397,  397,  397,  397,  397,  196,  428,  407,
 
 1636       429,  379,  385,  389,  390,  407,  195,  407,  194,  191,
 
 1637       391,  393,  379,  379,  390,  427,  412,  379,  412,  412,
 
 1638       412,  412,  412,  408,  428,  407,  429,  379,  178,  170,
 
 1639       408,  407,  408,  407,  379,  381,  169,  381,  381,  381,
 
 1640       381,  381,  381,  381,  381,  381,  168,  381,  160,  408,
 
 1641       409,  412,  381,  381,  381,  381,  408,  409,  408,  409,
 
 1643       409,  410,  411,  410,  411,  411,  411,  411,  411,  425,
 
 1644       410,  425,  425,  425,  425,  425,  409,  412,  431,  432,
 
 1645       411,  155,  591,  409,  591,  409,  409,  410,  413,  410,
 
 1646       413,  413,  413,  413,  413,  425,  410,  433,  434,  154,
 
 1647       591,  153,  152,  413,  431,  432,  411,  381,  386,  386,
 
 1648       386,  386,  386,  386,  386,  386,  386,  386,  386,  144,
 
 1649       386,  425,  138,  433,  434,  386,  386,  386,  386,  413,
 
 1650       435,  436,  386,  386,  437,  438,  440,  386,  441,  414,
 
 1651       386,  414,  414,  414,  414,  414,  442,  386,  386,  415,
 
 1652       443,  415,  415,  415,  415,  415,  435,  436,  386,  386,
 
 1654       437,  438,  440,  386,  441,  137,  386,  476,  415,  444,
 
 1655       414,  445,  442,  386,  386,  476,  443,  446,  136,  135,
 
 1656       386,  399,  476,  399,  399,  399,  399,  399,  399,  399,
 
 1657       399,  399,  121,  399,  415,  444,  414,  445,  399,  399,
 
 1658       399,  399,  400,  446,  400,  400,  400,  400,  400,  400,
 
 1659       400,  400,  400,  447,  400,  400,  400,  400,  400,  400,
 
 1660       400,  400,  400,  403,  403,  403,  403,  403,  403,  403,
 
 1661       403,  403,  403,  403,  120,  403,  119,  113,  449,  447,
 
 1662       403,  403,  403,  403,  450,  451,  452,  403,  403,  108,
 
 1663       453,  456,  403,  417,  416,  403,  416,  416,  416,  416,
 
 1665       416,  417,  403,  403,  449,  459,  462,  416,  417,  101,
 
 1666       450,  451,  452,  403,  403,  417,  453,  456,  403,  986,
 
 1667       418,  403,  418,  418,  418,  418,  418,  986,  403,  403,
 
 1668       100,  459,  462,  416,  986,  403,  404,  404,   99,   98,
 
 1669       463,  417,  464,  419,  418,  419,  419,  419,  419,  419,
 
 1670       420,  465,  420,  420,  420,  420,  420,  466,  467,  404,
 
 1671       404,  468,  469,  470,  404,  419,  463,  404,  464,   85,
 
 1672       418,   78,   75,  471,  404,  404,   74,  465,  472,   73,
 
 1673       420,  473,   60,  466,  467,  404,  404,  468,  469,  470,
 
 1674       404,  419,  421,  404,  421,  421,  421,  421,  421,  471,
 
 1676       404,  404,  405,  405,  472,  421,  420,  473,  422,  421,
 
 1677       422,  422,  422,  422,  422,   53,  474,  482,  483,  422,
 
 1678       483,  484,  485,  487,  489,  405,  405,  491,  502,  488,
 
 1679       405,  421,   50,  405,   48,  421,   29,   26,   25,  488,
 
 1680       405,  405,  474,  482,  483,  422,  483,  484,  485,  487,
 
 1681       489,  405,  405,  491,  502,  488,  405,   24,  424,  405,
 
 1682       424,  424,  424,  424,  424,  488,  405,  405,  406,  406,
 
 1683        21,  423,  503,  423,  423,  423,  423,  423,  504,  426,
 
 1684         0,  426,  426,  426,  426,  426,  534,  548,  424,  424,
 
 1685       549,  406,  406,  423,  496,  521,  406,  426,  503,  406,
 
 1687       496,  406,  496,  521,  504,  521,  406,  406,    0,  550,
 
 1688         0,    0,  534,  548,  424,  424,  549,  406,  406,  423,
 
 1689       496,  521,  406,  426,  551,  406,  496,  406,  496,  521,
 
 1690       552,  521,  406,  406,  479,  550,  479,  479,  479,  479,
 
 1691       479,  479,  479,  479,  479,    0,  479,    0,  497,  553,
 
 1692       551,  479,  479,  479,  479,  497,  552,  497,  479,  479,
 
 1693       498,    0,  499,  479,  499,  554,  556,  498,    0,  498,
 
 1694       498,  499,  533,  479,  497,  553,    0,    0,    0,  557,
 
 1695       533,  497,  558,  497,  479,  479,  498,  533,  499,  479,
 
 1696       499,  554,  556,  498,  533,  498,  498,  499,  510,  479,
 
 1698       510,  510,  510,  510,  510,  557,  479,  481,  558,  481,
 
 1699       481,  481,  481,  481,  481,  481,  481,  481,    0,  481,
 
 1700       533,    0,    0,    0,  481,  481,  481,  481,  511,    0,
 
 1701       511,  511,  511,  511,  511,  517,  516,  516,  523,  517,
 
 1702       518,    0,  517,    0,  517,  519,  518,  519,  518,  523,
 
 1703       559,  523,  519,  528,    0,  528,  528,  528,  528,  528,
 
 1704         0,  517,    0,    0,  523,  517,  518,  516,  517,  516,
 
 1705       517,  519,  518,  519,  518,  523,  559,  523,  519,  481,
 
 1706       486,  486,  486,  486,  486,  486,  486,  486,  486,  486,
 
 1707       486,  522,  486,  516,    0,  516,    0,  486,  486,  486,
 
 1709       486,  561,  562,  520,  486,  486,  520,  563,  520,  486,
 
 1710       564,  566,  486,  520,  524,  525,  524,  525,  567,  486,
 
 1711       486,  522,  524,  522,  525,  568,    0,  561,  562,  520,
 
 1712       486,  486,  520,  563,  520,  486,  564,  566,  486,  520,
 
 1713       524,  525,  524,  525,  567,  486,  486,  522,  524,  522,
 
 1714       525,  568,  486,  492,  492,  492,  492,  492,  492,  492,
 
 1715       492,  492,  492,  492,    0,  492,    0,  560,  571,  573,
 
 1716       492,  492,  492,  492,  526,  574,  526,  492,  492,  560,
 
 1717       526,  576,  492,    0,  527,  492,  527,  527,  527,  527,
 
 1718       527,  577,  492,  492,  571,  573,  578,  579,  580,    0,
 
 1720       526,  574,  526,  492,  492,  560,  526,  576,  492,  527,
 
 1721       537,  492,  537,  537,  537,  537,  537,  577,  492,  492,
 
 1722       581,  537,  578,  579,  580,  492,  493,  493,  529,  529,
 
 1723       529,  529,  529,  529,  529,  527,  530,  582,  530,  530,
 
 1724       530,  530,  530,    0,    0,    0,  581,  537,  583,  493,
 
 1725       493,  584,  585,  530,  493,  595,  531,  493,  531,  531,
 
 1726       531,  531,  531,  582,  493,  493,  532,    0,  532,  532,
 
 1727       532,  532,  532,    0,  583,  493,  493,  584,  585,  530,
 
 1728       493,  595,    0,  493,    0,  531,  596,  597,  596,    0,
 
 1729       493,  493,  494,  494,    0,  535,  532,  535,  535,  535,
 
 1731       535,  535,  589,  536,    0,  536,  536,  536,  536,  536,
 
 1732       589,  531,  596,  597,  596,  494,  494,  589,  598,  600,
 
 1733       494,  602,  532,  494,  589,  535,  604,  613,  614,  615,
 
 1734       494,  494,    0,  538,  536,  538,  538,  538,  538,  538,
 
 1735         0,  494,  494,  632,  598,  600,  494,  602,  538,  494,
 
 1736       589,  535,  604,  613,  614,  615,  494,  494,  495,  495,
 
 1737       536,  660,  539,    0,  539,  539,  539,  539,  539,  632,
 
 1738         0,    0,    0,  541,  538,  541,  541,  541,  541,  541,
 
 1739       661,  495,  495,  601,  541,  610,  495,  660,  675,  495,
 
 1740       539,  495,  610,  601,  610,  676,  495,  495,  544,  677,
 
 1742       544,  544,  544,  544,  544,    0,  661,  495,  495,  601,
 
 1743       541,  610,  495,  678,  675,  495,  539,  495,  610,  601,
 
 1744       610,  676,  495,  495,  513,  677,  513,  513,  513,  513,
 
 1745       513,  513,  513,  513,  513,    0,  513,    0,  717,  678,
 
 1746       717,  513,  513,  513,  513,  514,    0,  514,  514,  514,
 
 1747       514,  514,  514,  514,  514,  514,  717,  514,  514,  514,
 
 1748       514,  514,  514,  514,  514,  514,  540,    0,  540,  540,
 
 1749       540,  540,  540,  542,    0,  542,  542,  542,  542,  542,
 
 1750       543,  611,  543,  543,  543,  543,  543,  545,  611,    0,
 
 1751       611,  611,  542,  572,  540,  545,  679,  545,  545,  545,
 
 1753       545,  545,  545,  572,  609,  681,  682,  611,  543,  629,
 
 1754       609,  629,  609,  572,  611,  629,  611,  611,  542,  572,
 
 1755       540,  638,  679,  638,  638,  638,  638,  638,    0,  572,
 
 1756       609,  681,  682,    0,  543,  629,  609,  629,  609,  572,
 
 1757       592,  629,  592,  592,  592,  592,  592,  592,  592,  592,
 
 1758       592,    0,  592,    0,  612,  683,  612,  592,  592,  592,
 
 1759       592,  684,  685,  612,  592,  592,  620,  619,  619,  592,
 
 1760       620,  686,    0,  620,    0,  620,  627,  621,  627,  592,
 
 1761       612,  683,  612,  621,  627,  621,    0,  684,  685,  612,
 
 1762       592,  592,  620,    0,    0,  592,  620,  686,  619,  620,
 
 1764       619,  620,  627,  621,  627,  592,    0,  625,    0,  621,
 
 1765       627,  621,  592,  594,    0,  594,  594,  594,  594,  594,
 
 1766       594,  594,  594,  594,  619,  594,  619,  622,    0,  622,
 
 1767       594,  594,  594,  594,  622,  623,  624,  625,  623,  625,
 
 1768       623,  626,  646,  687,  624,  623,  624,  628,  646,  628,
 
 1769       646,  688,  626,  622,  626,  622,  628,  689,  690,    0,
 
 1770       622,  623,  624,  625,  623,  625,  623,  626,  646,  687,
 
 1771       624,  623,  624,  628,  646,  628,  646,  688,  626,    0,
 
 1772       626,  691,  628,  689,  690,  594,  599,  599,  599,  599,
 
 1773       599,  599,  599,  599,  599,  599,  599,    0,  599,    0,
 
 1775         0,    0,  692,  599,  599,  599,  599,  691,  694,  644,
 
 1776       599,  599,  644,  696,  644,  599,  697,  639,  599,  639,
 
 1777       639,  639,  639,  639,  698,  599,  599,  645,  692,  645,
 
 1778         0,  645,    0,    0,  694,  644,  599,  599,  644,  696,
 
 1779       644,  599,  697,    0,  599,    0,    0,  647,  699,  700,
 
 1780       698,  599,  599,  645,  647,  645,  647,  645,  599,  605,
 
 1781       605,  605,  605,  605,  605,  605,  605,  605,  605,  605,
 
 1782       651,  605,  648,  647,  699,  700,  605,  605,  605,  605,
 
 1783       647,  702,  647,  605,  605,  650,  703,  650,  605,  650,
 
 1784       652,  605,  652,  648,  704,  648,  652,  705,  605,  605,
 
 1786       651,  653,  651,  653,  706,  867,  867,  702,  867,  605,
 
 1787       605,  650,  703,  650,  605,  650,  652,  605,  652,  648,
 
 1788       704,  648,  652,  705,  605,  605,  651,  653,  651,  653,
 
 1789       706,  605,  606,  606,  654,  707,  654,  654,  654,  654,
 
 1790       654,  656,  708,  656,  656,  656,  656,  656,  657,    0,
 
 1791       657,  657,  657,  657,  657,  606,  606,  709,  656,  710,
 
 1792       606,  707,  654,  606,  711,  659,  715,  657,  708,  721,
 
 1793       606,  606,  658,  659,  658,  658,  658,  658,  658,  723,
 
 1794       659,  606,  606,  709,  656,  710,  606,  659,  654,  606,
 
 1795       711,    0,  715,  657,  721,    0,  606,  606,  607,  607,
 
 1797       662,  723,  662,  662,  662,  662,  662,    0,  772,  817,
 
 1798         0,    0,  666,  659,  666,  666,  666,  666,  666,  662,
 
 1799       721,  607,  607,  666,    0,  772,  607,  723,  663,  607,
 
 1800       663,  663,  663,  663,  663,  817,  607,  607,  880,  880,
 
 1801         0,  880,  663,    0,    0,  662,  730,  607,  607,  666,
 
 1802       726,  772,  607,  724,  665,  607,  665,  665,  665,  665,
 
 1803       665,  739,  607,  607,  608,  608,  728,  664,  663,  664,
 
 1804       664,  664,  664,  664,  724,  667,  674,  667,  667,  667,
 
 1805       667,  667,  730,  665,  674,  726,  728,  608,  608,  664,
 
 1806       818,  674,  608,  739,    0,  608,  667,  608,  674,  741,
 
 1808       724,  819,  608,  608,  740,  820,    0,    0,  730,  665,
 
 1809         0,  726,  728,  608,  608,  664,  818,  821,  608,  739,
 
 1810       741,  608,  667,  608,  674,    0,  740,  819,  608,  608,
 
 1811       641,  820,  641,  641,  641,  641,  641,  641,  641,  641,
 
 1812       641,    0,  641,  821,    0,    0,  741,  641,  641,  641,
 
 1813       641,  642,  740,  642,  642,  642,  642,  642,  642,  642,
 
 1814       642,  642,    0,  642,  642,  642,  642,  642,  642,  642,
 
 1815       642,  642,  655,    0,  655,  655,  655,  655,  655,  886,
 
 1816       886,    0,  886,    0,  668,  655,  668,  668,  668,  668,
 
 1817       668,  902,  902,    0,  902,  655,  670,  668,  670,  670,
 
 1819       670,  670,  670,    0,  669,  655,  669,  669,  669,  669,
 
 1820       669,  655,  722,  727,  671,  670,  671,  671,  671,  671,
 
 1821       671,  655,  672,  668,  672,  672,  672,  672,  672,  669,
 
 1822       673,  655,  673,  673,  673,  673,  673,  718,  727,    0,
 
 1823       722,  670,  722,  733,  733,  774,  733,  756,  727,  734,
 
 1824       734,    0,  734,  735,  735,  669,  735,  718,  718,  803,
 
 1825       747,  747,  718,  747,  727,  810,  722,  733,  722,  795,
 
 1826       774,  733,  718,  811,  727,  756,  738,  738,  735,  738,
 
 1827       734,  803,  734,  718,  718,  747,  736,  736,  718,  736,
 
 1828         0,  737,  737,  733,  737,  810,  774,  733,  718,  725,
 
 1830       725,  756,  725,  795,  735,    0,  734,  803,  734,  811,
 
 1831       736,  747,    0,  823,  824,  737,  738,  761,  761,  793,
 
 1832       761,  810,  725,  725,    0,  737,    0,  725,    0,  795,
 
 1833       725,  746,  746,    0,  746,  811,  736,  725,  725,  823,
 
 1834       824,  737,  738,    0,  748,  748,    0,  748,  725,  725,
 
 1835       793,  737,  761,  725,  796,  746,  725,  750,  750,  746,
 
 1836       750,  794,  800,  725,  725,  731,  731,    0,  731,  749,
 
 1837       749,  797,  749,    0,  752,  752,  793,  752,  761,  796,
 
 1838       750,  746,  748,  769,  769,  746,  769,  800,  731,  731,
 
 1839         0,  825,  794,  731,  752,    0,  731,  749,  753,  753,
 
 1841       826,  753,  797,  731,  731,  796,  750,  749,  748,  754,
 
 1842       754,    0,  754,  800,  731,  731,  769,  825,  794,  731,
 
 1843       752,  802,  731,  749,  755,  755,  826,  755,  797,  731,
 
 1844       731,  760,  760,  749,  760,  762,  762,  753,  762,    0,
 
 1845       763,  763,  769,  763,  764,  764,  802,  764,  827,  754,
 
 1846       804,  828,  768,  768,  764,  768,    0,  801,  830,  760,
 
 1847       762,  755,  831,  753,  763,  766,  766,    0,  766,    0,
 
 1848       777,  804,  802,    0,  827,  754,  777,  828,  777,  777,
 
 1849       777,  777,  777,    0,  830,  760,  762,  755,  831,  768,
 
 1850       763,  783,  783,  778,  783,  801,    0,  804,    0,  778,
 
 1852       766,  778,  778,  778,  778,  778,  784,  784,  781,  784,
 
 1853       787,  787,  806,  787,  781,  768,  781,  781,  781,  781,
 
 1854       781,  801,  786,  786,  783,  786,  766,  799,  805,  799,
 
 1855       788,  788,  786,  788,  808,  799,  809,  784,  787,  807,
 
 1856       788,  816,  799,  790,  790,  832,  790,  806,    0,  799,
 
 1857       783,  833,  815,  834,  815,  835,  805,  809,  829,  836,
 
 1858       815,  837,  816,  784,  787,  790,  838,  815,  807,  808,
 
 1859       829,  832,  839,  806,  815,  799,  840,  833,  841,  834,
 
 1860       843,  835,  805,  809,  849,  836,  850,  837,  816,  857,
 
 1861       859,  790,  838,  853,  807,  808,  829,  852,  839,  852,
 
 1863       815,  856,  840,  858,  841,  860,  843,  860,  931,  874,
 
 1864       849,  859,  850,  853,  853,  852,  863,  857,  853,  857,
 
 1865       861,  862,  865,    0,    0,  858,  856,  860,  853,    0,
 
 1866       869,  869,    0,  869,  931,  875,  863,  859,  932,  853,
 
 1867       853,  874,    0,  857,  853,  857,  862,  868,  868,  876,
 
 1868       868,  858,  856,  860,  853,  861,  862,  875,  865,    0,
 
 1869         0,  869,  863,  869,  932,  870,  870,  874,  870,  933,
 
 1870       876,  868,  862,    0,  907,  868,  871,  871,    0,  871,
 
 1871       891,  861,  862,  875,  865,  872,  872,  869,  872,  869,
 
 1872       870,  873,  873,    0,  873,  933,  876,  868,  918,  907,
 
 1874       871,  868,    0,  934,  881,  881,    0,  881,  891,  872,
 
 1875         0,  882,  882,  905,  882,    0,  870,  883,  883,  872,
 
 1876       883,  884,  884,    0,  884,  907,  871,    0,  881,  934,
 
 1877       905,  873,  881,    0,  891,  872,  882,  885,  885,  918,
 
 1878       885,  887,  887,  935,  887,  872,    0,  936,    0,  884,
 
 1879       888,  888,    0,  888,  881,  883,  905,  873,  881,  884,
 
 1880       885,  887,  882,  889,  889,  918,  889,  890,  890,  935,
 
 1881       890,  895,  895,  936,  895,  884,  896,  896,  919,  896,
 
 1882       937,  883, 1060,  938,    0,  884,  885,  887,  939,  888,
 
 1883      1060,  897,  897,    0,  897,  898,  898, 1060,  898,  895,
 
 1885       919,  940,  941,  889,  890,    0,  937,  899,  899,  938,
 
 1886       899,  896,    0,    0,  939,  888,  897,  899,    0,  898,
 
 1887       901,  901,    0,  901,    0,  895,  919,  940,  941,  889,
 
 1888       890,  903,  903,    0,  903,    0,  942,  896,  904,  904,
 
 1889         0,  904,  897,  908,  908,  898,  908,  909,  909,  943,
 
 1890       909,  910,  910,    0,  910,  901,  911,  911,    0,  911,
 
 1891       912,  912,  942,  912,  913,  913,  911,  913,  903,  915,
 
 1892       915,  904,  915,  944,  913,  943,  908,    0,  909,  916,
 
 1893       916,  901,  916,  922,  922,    0,  922,    0,  912,  923,
 
 1894       923,  915,  923,  945,  903,  925,  925,  904,  925,  944,
 
 1896       926,  926,  908,  926,  909,  927,  927,  922,  927,  923,
 
 1897       928,  928,  948,  928,  912,  949,  950,  915,  951,  945,
 
 1898       953,  954,  955,  925,  956,  926,  958,  962,  962,  969,
 
 1899       962,    0,  974,  922,  928,  923,  959,    0,  948,    0,
 
 1900       976,  949,  950,  927,  951,    0,  953,  954,  955,  925,
 
 1901       956,  926,  958,    0,  977,  969,  959,  959,  974,    0,
 
 1902       928,  959,  963,  963,  978,  963,  976,  964,  964,  927,
 
 1903       964,  959,  965,  965,    0,  965,  966,  966,  979,  966,
 
 1904       977,  980,  959,  959,  983,  967,  967,  959,  967,  984,
 
 1905       978,  985,  964,  987,  988,  989,  990,  959,  991, 1002,
 
 1907       966, 1003,  995,  995,  979,  995,  963,  980,  996,  996,
 
 1908       983,  996, 1004,  997,  997,  984,  997,  985,  964,  987,
 
 1909       988,  989,  990, 1005,  991, 1002,  966, 1003, 1006, 1007,
 
 1910      1008, 1009,  963, 1010, 1011,  997,    0, 1012, 1004, 1009,
 
 1911      1014, 1017, 1017, 1018, 1017, 1019, 1009, 1020, 1021, 1005,
 
 1912      1022, 1023, 1024, 1025, 1006, 1007, 1008, 1026, 1028, 1010,
 
 1913      1011,  997, 1009, 1012, 1029, 1030, 1014, 1031, 1031, 1018,
 
 1914      1031, 1019, 1032, 1020, 1021, 1017, 1022, 1023, 1024, 1025,
 
 1915      1033, 1035, 1036, 1026, 1028, 1037, 1038, 1040, 1009, 1041,
 
 1916      1029, 1030, 1043, 1044, 1044, 1045, 1044, 1047, 1032, 1048,
 
 1918      1031, 1017, 1052, 1053, 1054, 1056, 1033, 1035, 1036, 1057,
 
 1919      1058, 1037, 1038, 1040, 1063, 1041, 1044, 1067, 1043, 1055,
 
 1920      1055, 1045, 1055, 1047, 1061, 1048, 1031, 1068, 1052, 1053,
 
 1921      1054, 1056, 1061, 1065, 1069, 1057, 1058, 1066, 1071, 1061,
 
 1922      1063, 1065, 1044, 1067, 1072, 1066, 1073, 1074, 1065, 1075,
 
 1923      1077, 1078, 1066, 1068, 1079, 1065,    0,    0,    0,    0,
 
 1924      1069,    0,    0,    0, 1071,    0,    0,    0, 1066,    0,
 
 1925      1072,    0, 1073, 1074,    0, 1075, 1077, 1078,    0,    0,
 
 1926      1079, 1065,    0,    0,    0,    0,    0,    0,    0,    0,
 
 1927         0,    0,    0,    0, 1066, 1082, 1082, 1082, 1082, 1082,
 
 1929      1082, 1082, 1082, 1082, 1083, 1083, 1083, 1083, 1083, 1083,
 
 1930      1083, 1083, 1083, 1084, 1084, 1084, 1084, 1084, 1084, 1084,
 
 1931      1084, 1084, 1085, 1085, 1085, 1085, 1085, 1085, 1085, 1085,
 
 1932      1085, 1086, 1086, 1086, 1086, 1086, 1086, 1086, 1086, 1086,
 
 1933      1087, 1087, 1087, 1087, 1087, 1087, 1087, 1087, 1087, 1088,
 
 1934         0, 1088, 1088, 1088, 1088, 1088, 1088, 1088, 1089,    0,
 
 1935      1089, 1089, 1089, 1089, 1089, 1089, 1089, 1090, 1090, 1090,
 
 1936      1090, 1091,    0, 1091, 1091, 1091, 1091, 1091, 1091, 1091,
 
 1937      1092,    0, 1092, 1092, 1092, 1092, 1092, 1092, 1092, 1093,
 
 1938         0, 1093, 1093, 1093, 1093, 1093, 1093, 1093, 1094,    0,
 
 1940      1094, 1094, 1094, 1094, 1094, 1094, 1094, 1095,    0, 1095,
 
 1941      1095, 1095, 1095, 1095, 1095, 1095, 1096,    0, 1096, 1096,
 
 1942      1096, 1096, 1096, 1096, 1096, 1097,    0, 1097, 1097, 1097,
 
 1943      1097, 1097, 1097, 1097, 1098, 1098, 1098, 1098, 1099,    0,
 
 1944      1099, 1099, 1099, 1099, 1099, 1099, 1099, 1100,    0, 1100,
 
 1945      1100, 1100, 1100, 1100, 1100, 1100, 1101, 1101, 1101, 1101,
 
 1946      1102,    0, 1102, 1102, 1102, 1102, 1102, 1102, 1102, 1103,
 
 1947         0, 1103, 1103, 1103, 1103, 1103, 1103, 1103, 1104, 1104,
 
 1948      1104, 1104, 1105,    0, 1105, 1105, 1105, 1105, 1105, 1105,
 
 1949      1105, 1106,    0, 1106, 1106, 1106, 1106, 1106, 1106, 1106,
 
 1951      1107,    0, 1107, 1107,    0, 1107, 1107, 1107, 1107, 1108,
 
 1952      1108, 1108, 1109,    0, 1109, 1109, 1109, 1109, 1109, 1109,
 
 1953      1109, 1110,    0, 1110, 1110, 1110, 1110, 1110, 1110, 1110,
 
 1954      1111,    0, 1111, 1111,    0, 1111, 1111, 1111, 1111, 1112,
 
 1955      1112, 1112, 1113,    0, 1113, 1113, 1113, 1113, 1113, 1113,
 
 1956      1113, 1114,    0, 1114, 1114, 1114, 1114, 1114, 1114, 1114,
 
 1957      1115, 1115, 1115, 1115, 1116,    0, 1116, 1116, 1116, 1116,
 
 1958      1116, 1116, 1116, 1117,    0, 1117, 1117, 1117, 1117, 1117,
 
 1959      1117, 1117, 1118,    0, 1118, 1118, 1118, 1118, 1118, 1118,
 
 1960      1118, 1119,    0, 1119, 1119, 1119, 1119, 1119, 1119, 1119,
 
 1962      1120,    0, 1120, 1120, 1120, 1120, 1120, 1120, 1120, 1121,
 
 1963         0, 1121, 1122,    0, 1122, 1122, 1122, 1122, 1122, 1122,
 
 1964      1122, 1123,    0, 1123, 1123, 1123, 1123, 1123, 1123, 1123,
 
 1965      1124,    0, 1124, 1124, 1124, 1124, 1124, 1124, 1124, 1125,
 
 1966         0, 1125, 1125, 1125, 1125, 1125, 1125, 1125, 1126,    0,
 
 1967      1126, 1126, 1126, 1126, 1126, 1126, 1126, 1127,    0, 1127,
 
 1968      1127, 1127, 1127, 1127, 1127, 1127, 1128, 1128, 1128, 1128,
 
 1969      1128, 1128, 1128, 1128, 1128, 1129,    0, 1129, 1129, 1129,
 
 1970      1129, 1129, 1129, 1129, 1130,    0, 1130, 1130, 1130, 1130,
 
 1971      1130, 1130, 1130, 1131,    0, 1131, 1132,    0, 1132, 1132,
 
 1973      1132, 1132, 1132, 1132, 1132, 1133,    0, 1133, 1133, 1133,
 
 1974      1133, 1133, 1133, 1133, 1134,    0, 1134, 1135,    0, 1135,
 
 1975      1135, 1135, 1135, 1135, 1135, 1135, 1136,    0, 1136, 1136,
 
 1976      1136, 1136, 1136, 1136, 1136, 1137,    0, 1137, 1138,    0,
 
 1977      1138, 1138, 1138, 1138, 1138, 1138, 1138, 1139,    0, 1139,
 
 1978      1139, 1139, 1139, 1139, 1139, 1139, 1140,    0, 1140, 1140,
 
 1979         0, 1140, 1140, 1140, 1140, 1141,    0, 1141, 1142,    0,
 
 1980      1142, 1142, 1142, 1142, 1142, 1142, 1142, 1143,    0, 1143,
 
 1981      1143, 1143, 1143, 1143, 1143, 1143, 1144,    0, 1144, 1144,
 
 1982         0, 1144, 1144, 1144, 1144, 1145,    0, 1145, 1146,    0,
 
 1984      1146, 1146, 1146, 1146, 1146, 1146, 1146, 1147,    0, 1147,
 
 1985      1147, 1147, 1147, 1147, 1147, 1147, 1148,    0, 1148, 1149,
 
 1986         0, 1149, 1149, 1149, 1149, 1149, 1149, 1149, 1150,    0,
 
 1987      1150, 1150, 1150, 1150, 1150, 1150, 1150, 1151,    0, 1151,
 
 1988      1151, 1151, 1151, 1151, 1151, 1151, 1152,    0, 1152, 1152,
 
 1989      1152, 1152, 1152, 1152, 1152, 1153,    0, 1153, 1153, 1153,
 
 1990      1153, 1153, 1153, 1153, 1154,    0, 1154, 1155,    0, 1155,
 
 1991      1155, 1155, 1155, 1155, 1155, 1155, 1156,    0, 1156, 1156,
 
 1992      1156, 1156, 1156, 1156, 1156, 1157, 1157, 1157, 1157, 1157,
 
 1993      1157, 1157, 1157, 1157, 1158,    0, 1158, 1158, 1158, 1158,
 
 1995      1158, 1158, 1158, 1159,    0, 1159, 1159, 1159, 1159, 1159,
 
 1996      1159, 1159, 1160,    0, 1160, 1160, 1160, 1160, 1160, 1160,
 
 1997      1160, 1161,    0, 1161, 1161, 1161, 1161, 1161, 1161, 1161,
 
 1998      1162,    0, 1162, 1163,    0, 1163, 1164,    0, 1164, 1164,
 
 1999      1164, 1164, 1164, 1164, 1164, 1165,    0, 1165, 1165, 1165,
 
 2000      1165, 1165, 1165, 1165, 1166, 1166, 1166, 1166, 1166, 1166,
 
 2001      1166, 1166, 1166, 1167,    0, 1167, 1167, 1167, 1167, 1167,
 
 2002      1167, 1167, 1168,    0, 1168, 1168, 1168, 1168, 1168, 1168,
 
 2003      1168, 1169,    0, 1169, 1169, 1169, 1169, 1169, 1169, 1169,
 
 2004      1170,    0, 1170, 1170, 1170, 1170, 1170, 1170, 1170, 1171,
 
 2006         0, 1171, 1171, 1171, 1171, 1171, 1171, 1171, 1172,    0,
 
 2007      1172, 1172, 1172, 1172, 1172, 1172, 1172, 1173, 1173, 1173,
 
 2008      1173, 1173, 1173, 1173, 1173, 1173, 1174,    0, 1174, 1174,
 
 2009      1174, 1174, 1174, 1174, 1174, 1175,    0, 1175, 1175, 1175,
 
 2010      1175, 1175, 1175, 1175, 1176,    0, 1176, 1176, 1176, 1176,
 
 2011      1176, 1176, 1176, 1177,    0, 1177, 1177, 1177, 1177, 1177,
 
 2012      1177, 1177, 1178,    0,    0, 1178, 1179, 1179, 1179,    0,
 
 2013         0, 1179, 1180,    0, 1180, 1180, 1180, 1180, 1180, 1180,
 
 2014      1180, 1181,    0, 1181, 1181, 1181, 1181, 1181, 1181, 1181,
 
 2015      1182,    0, 1182, 1182, 1182, 1182, 1182, 1182, 1182, 1081,
 
 2017      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 2018      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 2019      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 2020      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 2021      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 2022      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 2023      1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081, 1081,
 
 2031 int pp_flex_debug = 0;
 
 2036 #define REJECT reject_used_but_not_detected 
 2037 #define yymore() yymore_used_but_not_detected 
 2038 #define YY_MORE_ADJ 0 
 2039 #define YY_RESTORE_YY_MORE_OFFSET 
 2062 #undef  YY_READ_BUF_SIZE 
 2063 #define YY_READ_BUF_SIZE    32768 
 2065 #define YY_BUF_SIZE     32768 
 2067 #define YY_SKIP_YYWRAP 
 2072 #define PPLEX_BUFF_LEN      512 
 2073 #define YY_INPUT(buf,result,max_size)   result = ppinput (buf, max_size); 
 2074 #define ECHO                fputs (pptext, ppout) 
 2076 #define YY_USER_INIT                            \ 
 2078         plexbuff1 = cobc_malloc ((size_t)COB_SMALL_BUFF);   \ 
 2081         plexbuff2 = cobc_malloc ((size_t)COB_SMALL_BUFF);   \ 
 2083     requires_listing_line = 1;                  \ 
 2084     comment_allowed = 1; 
 2091 #ifdef  HAVE_UNISTD_H 
 2094 #define YY_NO_UNISTD_H  1 
 2098 #include <sys/stat.h> 
 2099 #include <sys/types.h> 
 2101 #define COB_IN_PPLEX    1 
 2105 #define PLEX_COND_DEPTH     16 
 2156 static int  ppinput         (
char *, 
const size_t);
 
 2160                      const YY_BUFFER_STATE);
 
 2161 static void check_listing       (
const char *, 
const unsigned int);
 
 2175 #line 2175 "pplex.c" 
 2178 #define COPY_STATE 1 
 2179 #define PSEUDO_STATE 2 
 2180 #define SOURCE_DIRECTIVE_STATE 3 
 2181 #define DEFINE_DIRECTIVE_STATE 4 
 2182 #define SET_DIRECTIVE_STATE 5 
 2183 #define TURN_DIRECTIVE_STATE 6 
 2184 #define IF_DIRECTIVE_STATE 7 
 2185 #define ELSE_DIRECTIVE_STATE 8 
 2186 #define ENDIF_DIRECTIVE_STATE 9 
 2188 #ifndef YY_NO_UNISTD_H 
 2196 #ifndef YY_EXTRA_TYPE 
 2197 #define YY_EXTRA_TYPE void * 
 2211 #ifndef YY_SKIP_YYWRAP 
 2213 extern "C" int ppwrap (
void );
 
 2215 extern int ppwrap (
void );
 
 2219     static void yyunput (
int c,
char *buf_ptr  );
 
 2222 static void yy_flex_strncpy (
char *,
yyconst char *,
int );
 
 2225 #ifdef YY_NEED_STRLEN 
 2226 static int yy_flex_strlen (
yyconst char * );
 
 2232 static int yyinput (
void );
 
 2234 static int input (
void );
 
 2248 #ifndef YY_READ_BUF_SIZE 
 2251 #define YY_READ_BUF_SIZE 16384 
 2253 #define YY_READ_BUF_SIZE 8192 
 2262 #define ECHO do { if (fwrite( pptext, ppleng, 1, ppout )) {} } while (0) 
 2269 #define YY_INPUT(buf,result,max_size) \ 
 2270     if ( YY_CURRENT_BUFFER_LVALUE->yy_is_interactive ) \ 
 2274         for ( n = 0; n < max_size && \ 
 2275                  (c = getc( ppin )) != EOF && c != '\n'; ++n ) \ 
 2276             buf[n] = (char) c; \ 
 2278             buf[n++] = (char) c; \ 
 2279         if ( c == EOF && ferror( ppin ) ) \ 
 2280             YY_FATAL_ERROR( "input in flex scanner failed" ); \ 
 2286         while ( (result = fread(buf, 1, max_size, ppin))==0 && ferror(ppin)) \ 
 2288             if( errno != EINTR) \ 
 2290                 YY_FATAL_ERROR( "input in flex scanner failed" ); \ 
 2306 #define yyterminate() return YY_NULL 
 2310 #ifndef YY_START_STACK_INCR 
 2311 #define YY_START_STACK_INCR 25 
 2315 #ifndef YY_FATAL_ERROR 
 2316 #define YY_FATAL_ERROR(msg) yy_fatal_error( msg ) 
 2325 #define YY_DECL_IS_OURS 1 
 2327 extern int pplex (
void);
 
 2329 #define YY_DECL int pplex (void) 
 2335 #ifndef YY_USER_ACTION 
 2336 #define YY_USER_ACTION 
 2341 #define YY_BREAK break; 
 2344 #define YY_RULE_SETUP \ 
 2346         YY_CURRENT_BUFFER_LVALUE->yy_at_bol = \ 
 2347                 (pptext[ppleng - 1] == '\n'); \ 
 2354     register yy_state_type yy_current_state;
 
 2355     register char *yy_cp, *yy_bp;
 
 2356     register int yy_act;
 
 2391 #line 2391 "pplex.c" 
 2411             if ( yy_accept[yy_current_state] )
 
 2416             while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
 
 2418                 yy_current_state = (int) yy_def[yy_current_state];
 
 2419                 if ( yy_current_state >= 1082 )
 
 2420                     yy_c = yy_meta[(
unsigned int) yy_c];
 
 2422             yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int) yy_c];
 
 2425         while ( yy_current_state != 1081 );
 
 2430         yy_act = yy_accept[yy_current_state];
 
 2443             goto yy_find_action;
 
 2480     if (!cb_flag_debugging_line) {
 
 2569     s = strchr (pptext, 
'>');
 
 2570     cb_plex_warning (newline_count, 
_(
"Ignoring invalid directive - '%s'"), s);
 
 2637     s = strchr (pptext, 
'$');
 
 2638     cb_plex_warning (newline_count, 
_(
"Ignoring invalid directive - '%s'"), s);
 
 2700     comment_allowed = 1;
 
 2709     comment_allowed = 1;
 
 2718     comment_allowed = 0;
 
 2727     comment_allowed = 0;
 
 2777     if (
cb_verify (cb_eject_statement, pptext)) {
 
 2792     cb_flag_debugging_line = 1;
 
 2816     if (inside_bracket) {
 
 2835     if (inside_bracket) {
 
 3035     pptext[strlen (pptext) - 1] = 0;
 
 3119     pptext[strlen (pptext) - 1] = 0;
 
 3465             cb_error (
_(
"Dangling IF/ELSE directive"));
 
 3467         plex_nest_depth = 0;
 
 3471         requires_listing_line = 1;
 
 3472         requires_new_line = 0;
 
 3473         need_continuation = 0;
 
 3474         buffer_overflow = 0;
 
 3478         comment_allowed = 1;
 
 3479         current_replace_list = 
NULL;
 
 3480         base_replace_list = 
NULL;
 
 3481         save_current_replace = 
NULL;
 
 3485         consecutive_quotation = 0;
 
 3500     copy_stack = p->
next;
 
 3510 #line 3510 "pplex.c" 
 3515         int yy_amount_of_matched_text = (int) (yy_cp - (
yytext_ptr)) - 1;
 
 3546             yy_state_type yy_next_state;
 
 3565             if ( yy_next_state )
 
 3569                 yy_current_state = yy_next_state;
 
 3577                 goto yy_find_action;
 
 3630                 goto yy_find_action;
 
 3637             "fatal flex scanner internal error--no action found" );
 
 3654     register int number_to_move, i;
 
 3659         "fatal flex scanner internal error--end of buffer missed" );
 
 3685     for ( i = 0; i < number_to_move; ++i )
 
 3686         *(dest++) = *(source++);
 
 3699         while ( num_to_read <= 0 )
 
 3705             int yy_c_buf_p_offset =
 
 3712                 if ( new_size <= 0 )
 
 3727                 "fatal error - scanner input buffer overflow" );
 
 3770             YY_FATAL_ERROR( 
"out of dynamic memory in yy_get_next_buffer()" );
 
 3786     register yy_state_type yy_current_state;
 
 3787     register char *yy_cp;
 
 3795         if ( yy_accept[yy_current_state] )
 
 3800         while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
 
 3802             yy_current_state = (int) yy_def[yy_current_state];
 
 3803             if ( yy_current_state >= 1082 )
 
 3804                 yy_c = yy_meta[(
unsigned int) yy_c];
 
 3806         yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int) yy_c];
 
 3809     return yy_current_state;
 
 3819     register int yy_is_jam;
 
 3823     if ( yy_accept[yy_current_state] )
 
 3828     while ( yy_chk[yy_base[yy_current_state] + yy_c] != yy_current_state )
 
 3830         yy_current_state = (int) yy_def[yy_current_state];
 
 3831         if ( yy_current_state >= 1082 )
 
 3832             yy_c = yy_meta[(
unsigned int) yy_c];
 
 3834     yy_current_state = yy_nxt[yy_base[yy_current_state] + (
unsigned int) yy_c];
 
 3835     yy_is_jam = (yy_current_state == 1081);
 
 3837         return yy_is_jam ? 0 : yy_current_state;
 
 3840     static void yyunput (
int c, 
register char * yy_bp )
 
 3842     register char *yy_cp;
 
 3849     if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
 
 3855         register char *source =
 
 3859             *--dest = *--source;
 
 3861         yy_cp += (int) (dest - source);
 
 3862         yy_bp += (int) (dest - source);
 
 3866         if ( yy_cp < YY_CURRENT_BUFFER_LVALUE->yy_ch_buf + 2 )
 
 3870     *--yy_cp = (char) c;
 
 3879     static int yyinput (
void)
 
 4126         if (new_buffer == 
NULL)
 
 4177     if (!(yy_buffer_stack)) {
 
 4187         if ( ! (yy_buffer_stack) )
 
 4188             YY_FATAL_ERROR( 
"out of dynamic memory in ppensure_buffer_stack()" );
 
 4190         memset((yy_buffer_stack), 0, num_to_alloc * 
sizeof(
struct yy_buffer_state*));
 
 4207         if ( ! (yy_buffer_stack) )
 
 4208             YY_FATAL_ERROR( 
"out of dynamic memory in ppensure_buffer_stack()" );
 
 4218         if ( (yy_start_stack_ptr) >= (yy_start_stack_depth) )
 
 4225         if ( ! (yy_start_stack) )
 
 4226             (yy_start_stack) = (
int *) 
ppalloc(new_size  );
 
 4231         if ( ! (yy_start_stack) )
 
 4232             YY_FATAL_ERROR( 
"out of memory expanding start-condition stack" );
 
 4242         if ( --(yy_start_stack_ptr) < 0 )
 
 4245     BEGIN((yy_start_stack)[(yy_start_stack_ptr)]);
 
 4248 #ifndef YY_EXIT_FAILURE 
 4249 #define YY_EXIT_FAILURE 2 
 4254         (void) fprintf( stderr, 
"%s\n", msg );
 
 4265         int yyless_macro_arg = (n); \ 
 4266         YY_LESS_LINENO(yyless_macro_arg);\ 
 4267         pptext[ppleng] = (yy_hold_char); \ 
 4268         (yy_c_buf_p) = pptext + yyless_macro_arg; \ 
 4269         (yy_hold_char) = *(yy_c_buf_p); \ 
 4270         *(yy_c_buf_p) = '\0'; \ 
 4271         ppleng = yyless_macro_arg; \ 
 4325     ppfree((yy_buffer_stack) );
 
 4329         ppfree((yy_start_stack)  );
 
 4344 static void yy_flex_strncpy (
char* s1, 
yyconst char * s2, 
int n )
 
 4347     for ( i = 0; i < n; ++i )
 
 4352 #ifdef YY_NEED_STRLEN 
 4353 static int yy_flex_strlen (
yyconst char * s )
 
 4356     for ( n = 0; s[n]; ++n )
 
 4365     return (
void *) malloc( size );
 
 4377     return (
void *) realloc( (
char *) ptr, size );
 
 4382     free( (
char *) ptr );   
 
 4385 #define YYTABLES_NAME "yytables" 
 4400             base_replace_list = 
NULL;
 
 4403         if (!base_replace_list) {
 
 4406         base_replace_list = base_replace_list->
prev;
 
 4410     if (base_replace_list && is_pushpop) {
 
 4416     base_replace_list = list;
 
 4426     unsigned char       bom[4];
 
 4429         for (; newline_count > 0; newline_count--) {
 
 4430             ungetc (
'\n', 
ppin);
 
 4439         ppin = fopen (name, 
"r");
 
 4441         ppin = fopen (name, 
"rb");
 
 4448                   _(
"No such file or directory"));
 
 4451             fprintf (stderr, 
"%s: %s", name,
 
 4452                  _(
"No such file or directory"));
 
 4462         if (fread (bom, 3, 1, 
ppin) == 1) {
 
 4463             if (bom[0] != 0xEF || bom[1] != 0xBB || bom[2] != 0xBF) {
 
 4486     if (replacing_list) {
 
 4487         if (current_replace_list) {
 
 4489             replacing_list->
last = current_replace_list->
last;
 
 4491         current_replace_list = replacing_list;
 
 4496     for (s = dname; *s; ++s) {
 
 4516         snprintf (plexbuff1, (
size_t)
COB_SMALL_MAX, 
"%s/%s", lib, name);
 
 4524     if (access (s, 
R_OK) == 0) {
 
 4525         return ppopen (s, replace_list);
 
 4531         if (access (plexbuff2, 
R_OK) == 0) {
 
 4532             return ppopen (plexbuff2, replace_list);
 
 4540                       "%s/%s%s", il->
text, name, el->
text);
 
 4542                 if (access (plexbuff2, 
R_OK) == 0) {
 
 4543                     return ppopen (plexbuff2, replace_list);
 
 4548     cb_error (
"%s: %s", name, 
_(
"No such file or directory"));
 
 4562     plex_skip_input = 0;
 
 4563     plex_nest_depth = 0;
 
 4565     requires_listing_line = 1;
 
 4566     comment_allowed = 1;
 
 4608         plex_skip_input = n;
 
 4612         if (!plex_nest_depth ||
 
 4615                 _(
"ELSE directive without matching IF/ELIF"));
 
 4628         if (!plex_nest_depth ||
 
 4631                 _(
"END-IF directive without matching IF/ELIF/ELSE"));
 
 4644         if (!plex_nest_depth ||
 
 4647                 _(
"ELIF directive without matching IF/ELIF"));
 
 4655         } 
else if (is_true) {
 
 4682     fprintf (
ppout, 
"#line %d \"%s\"\n", line, file);
 
 4692     size_t  line_overflow;
 
 4693     size_t  continuation;
 
 4705         if (need_continuation || continuation) {
 
 4707                     _(
"Buffer overrun - Too many continuation lines"));
 
 4710         if (newline_count < max_size) {
 
 4711             memset (buff, 
'\n', newline_count);
 
 4713             ipchar = (int)newline_count;
 
 4715             buffer_overflow = 0;
 
 4718         buffer_overflow = 1;
 
 4719         ipchar = max_size - 1;
 
 4720         memset (buff, 
'\n', (
size_t)ipchar);
 
 4722         newline_count -= ipchar;
 
 4728     for (n = 0; ipchar != 
'\n';) {
 
 4730             if (line_overflow != 2) {
 
 4734         ipchar = getc (
ppin);
 
 4740             if (newline_count == 0) {
 
 4743             memset (buff, 
'\n', newline_count);
 
 4745             ipchar = (int)newline_count;
 
 4749 #ifndef COB_EBCDIC_MACHINE 
 4750         if (
unlikely(ipchar == 0x1A && !n)) {
 
 4756             if (ipchar != 
'\n') {
 
 4757                 if (
likely(line_overflow == 0)) {
 
 4769             if (
likely(line_overflow == 0)) {
 
 4771                 while (n % cb_tab_width != 0) {
 
 4780         if (
likely(line_overflow == 0)) {
 
 4781             buff[n++] = (char)ipchar;
 
 4782         } 
else if ((
char)ipchar != 
' ' && (char)ipchar != 
'\n') {
 
 4787     if (buff[n - 1] != 
'\n') {
 
 4793             if (line_overflow == 0) {
 
 4795                          _(
"Line not terminated by a newline"));
 
 4796             } 
else if (line_overflow == 2) {
 
 4798                          _(
"Source text exceeds %d bytes, will be truncated"), 
PPLEX_BUFF_LEN);
 
 4801             if (line_overflow == 0) {
 
 4803                          _(
"Line not terminated by a newline"));
 
 4804             } 
else if (line_overflow == 2) {
 
 4806                          _(
"Source text exceeds %d bytes, will be truncated"), 
PPLEX_BUFF_LEN);
 
 4820         if (cb_flag_mfcomment) {
 
 4821             if (buff[0] == 
'*' || buff[0] == 
'/') {
 
 4828         if (n > cb_text_column + 1) {
 
 4834             if (cb_warn_column_overflow && line_overflow == 0) {
 
 4835                 for (coln = cb_text_column; coln < n; ++coln) {
 
 4836                     if (buff[coln] != 
' ' && buff[coln] != 
'\n') {
 
 4837                         line_overflow = coln;
 
 4845             buff[cb_text_column] = 
'\n';
 
 4846             buff[cb_text_column + 1] = 0;
 
 4847             n = cb_text_column + 1;
 
 4852         memset (buff, 
' ', (
size_t)6);
 
 4865                 (*bp == 
'>' && bp[1] == 
'>'                                    )   ) {
 
 4868             } 
else if ((*bp == 
'*' && bp[1] == 
'>'      ) ||
 
 4869                        (cb_flag_acucomment && *bp == 
'|')   ) {
 
 4880         if (newline_count) {
 
 4882             memmove (buff + newline_count, buff, (
size_t)(n + 1));
 
 4883             memset (buff, 
'\n', newline_count);
 
 4890     if (plex_skip_input) {
 
 4899         if (newline_count) {
 
 4900             memmove (buff + newline_count, buff, (
size_t)(n + 1));
 
 4901             memset (buff, 
'\n', newline_count);
 
 4911     if (cb_flag_acucomment && buff[6] == 
'$') {
 
 4920                     _(
"Invalid continuation in comment entry"));
 
 4923         } 
else if (!need_continuation) {
 
 4924             cb_verify (cb_word_continuation, 
_(
"Continuation of COBOL words"));
 
 4931         if (cb_flag_debugging_line) {
 
 4944                 _(
"Invalid indicator '%c' at column 7"), buff[6]);
 
 4952         for (ipchar = 7; ipchar < (n - 1) && ipchar < 11; ++ipchar) {
 
 4953             if (buff[ipchar] != 
' ') {
 
 4966     for (i = 7; buff[i] == 
' '; ++i) {
 
 4970     if (buff[i] == 
'\n') {
 
 4980         need_continuation = 0;
 
 4981         for (; *bp == 
' '; ++bp) {
 
 4985         if (consecutive_quotation) {
 
 4986             if (bp[0] == quotation_mark && bp[1] == quotation_mark) {
 
 4990                         _(
"Invalid line continuation"));
 
 4994             consecutive_quotation = 0;
 
 4995         } 
else if (quotation_mark) {
 
 4997             if (*bp == quotation_mark) {
 
 5001                         _(
"Invalid line continuation"));
 
 5007         if (need_continuation) {
 
 5009                     _(
"Continuation character expected"));
 
 5010             need_continuation = 0;
 
 5013         consecutive_quotation = 0;
 
 5017     for (i = bp - buff; buff[i] != 
'\n'; ++i) {
 
 5019         if (!quotation_mark && ((buff[i] == 
'*' && buff[i + 1] == 
'>') ||
 
 5020                                 (cb_flag_acucomment && buff[i] == 
'|') ) ) {
 
 5024             if (i < cb_text_column) {
 
 5030         } 
else if (buff[i] == 
'\'' || buff[i] == 
'"') {
 
 5031             if (quotation_mark == 0) {
 
 5033                 quotation_mark = buff[i];
 
 5034             } 
else if (quotation_mark == buff[i]) {
 
 5035                 if (i == cb_text_column - 1) {
 
 5037                     consecutive_quotation = 1;
 
 5048         if (!consecutive_quotation) {
 
 5049             need_continuation = 1;
 
 5051         for (; i < cb_text_column;) {
 
 5057         for (i--; i >= 0 && buff[i] == 
' '; i--) {
 
 5065         if (buff[i] == 
'\'' || buff[i] == 
'\"') {
 
 5073     if (line_overflow != 0) {
 
 5075                     _(
"Source text after program-text area (column %d)"),
 
 5080         gotcr = strlen (bp);
 
 5081         memmove (buff, bp, gotcr + 1);
 
 5085         gotcr = strlen (buff);
 
 5086         if (newline_count != 0) {
 
 5087             memmove (buff + newline_count, buff, gotcr + 1);
 
 5088             memset (buff, 
'\n', newline_count);
 
 5105     memcpy (tp, text, size);
 
 5136     if (text_queue == 
NULL && (text[0] == 
' ' || text[0] == 
'\n')) {
 
 5138         fwrite (text, (
size_t)textlen, (
size_t)1, 
ppout);
 
 5144     if (!current_replace_list && !base_replace_list) {
 
 5149         fwrite (text, (
size_t)textlen, (
size_t)1, 
ppout);
 
 5155     if (!current_replace_list) {
 
 5160         save_ptr = current_replace_list->
last;
 
 5169     for (r = current_replace_list; r; r = r->
next) {
 
 5176             if (lno->
text[0] == 
' ' || lno->
text[0] == 
'\n') {
 
 5179             while (queue && (queue->
text[0] == 
' ' ||
 
 5180                    queue->
text[0] == 
'\n')) {
 
 5181                 queue = queue->
next;
 
 5183             if (queue == 
NULL) {
 
 5186                     current_replace_list = 
NULL;
 
 5194                 size = strlen (lno->
text);
 
 5195                 if (strncasecmp (lno->
text, queue->
text, size)) {
 
 5202                 size = strlen (lno->
text);
 
 5203                 size2 = strlen (queue->
text);
 
 5209                 if (strncasecmp (lno->
text, queue->
text + size2, size)) {
 
 5214             } 
else if (strcasecmp (lno->
text, queue->
text)) {
 
 5218             queue = queue->
next;
 
 5225                 fprintf (
ppout, 
"%*.*s", (
int)size2, (
int)size2,
 
 5229                     *(temp_ptr + size2) = 0;
 
 5261         current_replace_list = 
NULL;
 
 5273     while ((c = 
input ()) != EOF) {
 
 5288     while ((c = 
input ()) != EOF) {
 
 5292         if (!plex_skip_input) {
 
 5296     if (!plex_skip_input) {
 
 5308     if (comment_allowed) {
 
 5309         cb_verify (cb_comment_paragraphs, keyword);
 
 5343     if (requires_listing_line) {
 
 5344         if (requires_new_line) {
 
 5345             requires_new_line = 0;
 
 5352         strlen (text) > 6) {
 
 5358     if (strchr (text, 
'\n')) {
 
 5359         requires_listing_line = 1;
 
 5361         requires_listing_line = 0;
 
unsigned short int flex_uint16_t
 
struct cb_text_list * next
 
#define YY_INPUT(buf, result, max_size)
 
static int ppinput(char *, const size_t)
 
void pprestart(FILE *input_file)
Immediately switch to a different input stream. 
 
#define SET_DIRECTIVE_STATE
 
static unsigned int plex_nest_depth
 
void cobc_abort_pr(const char *fmt,...)
 
#define ENDIF_DIRECTIVE_STATE
 
#define YY_DO_BEFORE_ACTION
 
const char * cb_source_file
 
struct cb_text_list * cb_extension_list
 
#define YY_STATE_EOF(state)
 
struct cb_text_list * cb_include_list
 
static char * yy_last_accepting_cpos
 
static flex_int16_t yy_base[1183]
 
void cb_plex_warning(const size_t, const char *,...) COB_A_FORMAT23
 
static void ppecho(const char *, const cob_u32_t, const int)
 
unsigned int cb_verify(const enum cb_support, const char *)
 
void pp_switch_to_buffer(YY_BUFFER_STATE new_buffer)
Switch to a different input buffer. 
 
void cobc_free(void *mptr)
 
struct yy_buffer_state * YY_BUFFER_STATE
 
void * cobc_plex_strdup(const char *dupstr)
 
static int quotation_mark
 
int yy_bs_lineno
The line count. 
 
int ppcopy(const char *name, const char *lib, struct cb_replace_list *replace_list)
 
static int yy_start_stack_ptr
 
void * ppalloc(yy_size_t)
 
static int requires_listing_line
 
#define YY_START_STACK_INCR
 
#define YY_END_OF_BUFFER_CHAR
 
static flex_int16_t yy_accept[1082]
 
static YY_BUFFER_STATE * yy_buffer_stack
Stack as an array. 
 
if fold fold static computed alternate extra correct stack on syntax debugging source implicit stack syntax write single recursive relax optional file
 
static struct copy_info * copy_stack
 
void plex_action_directive(const unsigned int cmdtype, const unsigned int is_true)
 
static int yy_get_next_buffer(void)
 
#define EOB_ACT_END_OF_FILE
 
static void switch_to_buffer(const int, const char *, const YY_BUFFER_STATE)
 
static void pp_init_buffer(YY_BUFFER_STATE b, FILE *file)
 
unsigned int cobc_gen_listing
 
#define EOB_ACT_CONTINUE_SCAN
 
void ppparse_error(const char *msg)
 
int pplex(void)
The main scanner function which does all the work. 
 
unsigned char flex_uint8_t
 
static size_t buffer_overflow
 
#define IF_DIRECTIVE_STATE
 
static void yy_push_state(int new_state)
 
#define YY_CURRENT_BUFFER_LVALUE
 
unsigned int flex_uint32_t
 
static int * yy_start_stack
 
static flex_int32_t yy_meta[74]
 
int yy_bs_column
The column count. 
 
static flex_int16_t yy_nxt[5374]
 
static size_t newline_count
 
#define SOURCE_DIRECTIVE_STATE
 
#define CB_REPLACE_TRAILING
 
#define YY_BUFFER_EOF_PENDING
 
#define ELSE_DIRECTIVE_STATE
 
#define CB_REPLACE_LEADING
 
struct cb_replace_list * replacing
 
static size_t need_continuation
 
struct cb_replace_list * last
 
static yy_size_t yy_n_chars
 
EC ARGUMENT EC EC BOUND EC BOUND EC BOUND EC BOUND TABLE EC DATA EC DATA EC DATA PTR NULL
 
static void display_to_eol(void)
 
void plex_clear_all(void)
 
static yy_state_type yy_get_previous_state(void)
 
static size_t yy_buffer_stack_top
index of top of stack. 
 
static size_t yy_buffer_stack_max
capacity of stack. 
 
YY_BUFFER_STATE pp_create_buffer(FILE *file, int size)
Allocate and initialize an input buffer state. 
 
void pp_flush_buffer(YY_BUFFER_STATE b)
Discard all buffered characters. 
 
static size_t consecutive_quotation
 
struct cb_text_list * last
 
static struct cb_text_list * text_queue
 
#define YY_CURRENT_BUFFER
 
static size_t within_comment
 
static void pp_load_buffer_state(void)
 
static void yy_fatal_error(char msg[])
 
void pppush_buffer_state(YY_BUFFER_STATE new_buffer)
Pushes the new state onto the stack. 
 
static struct cb_replace_list * save_current_replace
 
#define TURN_DIRECTIVE_STATE
 
void pppop_buffer_state(void)
Removes and deletes the top of the stack, if present. 
 
static struct cb_replace_list * current_replace_list
 
void * cobc_strdup(const char *dupstr)
 
YY_BUFFER_STATE pp_scan_string(char *yy_str)
 
void plex_clear_vars(void)
 
void cb_error(const char *,...) COB_A_FORMAT12
 
static int yy_init_globals(void)
Get the current token. 
 
struct cb_replace_list * next
 
static flex_int16_t yy_chk[5374]
 
YY_BUFFER_STATE pp_scan_bytes(char *bytes, yy_size_t len)
 
YY_BUFFER_STATE pp_scan_buffer(char *base, yy_size_t size)
 
if fold fold static computed alternate extra correct stack on syntax debugging line
 
int ppopen(const char *name, struct cb_replace_list *replacing_list)
 
static yy_state_type yy_last_accepting_state
 
static size_t inside_bracket
 
#define YY_FATAL_ERROR(msg)
 
static int yy_start_stack_depth
 
static int requires_new_line
 
static void check_comments(const char *, const char *)
 
void * cobc_plex_malloc(const size_t size)
 
void * cobc_malloc(const size_t size)
 
void * pprealloc(void *, yy_size_t)
 
static void yy_pop_state(void)
 
#define EOB_ACT_LAST_MATCH
 
static struct cb_replace_list * base_replace_list
 
const struct cb_text_list * old_text
 
static flex_int16_t yy_def[1183]
 
static void yyunput(int c, char *buf_ptr)
 
const struct cb_text_list * new_text
 
static void check_listing(const char *, const unsigned int)
 
static void ppensure_buffer_stack(void)
 
#define DEFINE_DIRECTIVE_STATE
 
static struct cb_text_list * pp_text_list_add(struct cb_text_list *list, const char *text, const size_t size)
 
static int yy_did_buffer_switch_on_eof
 
void cb_plex_error(const size_t, const char *,...) COB_A_FORMAT23
 
#define YY_RESTORE_YY_MORE_OFFSET
 
static yy_state_type yy_try_NUL_trans(yy_state_type current_state)
 
static struct plex_stack plex_cond_stack[16]
 
void pp_delete_buffer(YY_BUFFER_STATE b)
Destroy the buffer. 
 
static flex_int32_t yy_ec[256]
 
struct cb_replace_list * prev
 
static void skip_to_eol(void)
 
void plex_call_destroy(void)
 
static unsigned int plex_skip_input
 
void pp_set_replace_list(struct cb_replace_list *list, const cob_u32_t is_pushpop)
 
static size_t comment_allowed