Changeset 7563

Show
Ignore:
Timestamp:
05/07/08 00:03:28 (3 months ago)
Author:
pramsey
Message:

CGI able to alter layers with space and underscores (#2516)

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/mapserver/HISTORY.TXT

    r7558 r7563  
    1313Current Version (5.1-dev, SVN trunk): 
    1414------------------------------------- 
     15 
     16- CGI able to alter layers with space and underscores (#2516) 
    1517 
    1618- WFS Multipoint query with PostGIS bug fixed (#2443) 

  • trunk/mapserver/maplexer.c

    r7448 r7563  
    557557        1,    1,    4,    1,    1,    1,    1,    1,    1,    1, 
    558558        1,    1,    1,    1,    1,    1,    1,    1,    1,    1, 
    559         1,    2,    5,    6,    7,    1,    1,    8,    9,   10, 
    560        11,    1,   12,    1,   13,   14,   15,   16,   16,   16, 
    561        16,   16,   16,   16,   16,   16,   16,    1,    1,   17, 
    562        18,   19,    1,    1,   25,   26,   27,   28,   29,   30, 
    563        31,   32,   33,   34,   35,   36,   37,   38,   39,   40, 
    564        41,   42,   43,   44,   45,   46,   47,   48,   49,   50, 
    565        20,   21,   22,    1,   23,   24,   25,   26,   27,   28, 
    566  
    567        29,   30,   31,   32,   33,   34,   35,   36,   37,   38, 
    568        39,   40,   41,   42,   43,   44,   45,   46,   47,   48, 
    569        49,   50,    1,   51,    1,   52,    1,    1,    1,    1, 
     559        1,    5,    6,    7,    8,    1,    1,    9,   10,   11, 
     560       12,    1,   13,    1,   14,   15,   16,   17,   17,   17, 
     561       17,   17,   17,   17,   17,   17,   17,    1,    1,   18, 
     562       19,   20,    1,    1,   26,   27,   28,   29,   30,   31, 
     563       32,   33,   34,   35,   36,   37,   38,   39,   40,   41, 
     564       42,   43,   44,   45,   46,   47,   48,   49,   50,   51, 
     565       21,   22,   23,    1,   24,   25,   26,   27,   28,   29, 
     566 
     567       30,   31,   32,   33,   34,   35,   36,   37,   38,   39, 
     568       40,   41,   42,   43,   44,   45,   46,   47,   48,   49, 
     569       50,   51,    1,   52,    1,   53,    1,    1,    1,    1, 
    570570        1,    1,    1,    1,    1,    1,    1,    1,    1,    1, 
    571571        1,    1,    1,    1,    1,    1,    1,    1,    1,    1, 
    …… 
    584584    } ; 
    585585 
    586 static yyconst flex_int32_t yy_meta[54] = 
     586static yyconst flex_int32_t yy_meta[55] = 
    587587    {   0, 
    588         1,    1,    2,    1,    1,    3,    1,    1,    3,    1, 
    589         1,    1,    4,    5,    5,    5,    1,    4,    1,    1, 
    590         3,    6,    7,    1,    5,    5,    5,    5,    5,    5, 
    591         5,    5,    5,    5,    5,    5,    5,    5,    5,    5, 
    592         5,    5,    5,    5,    5,    5,    5,    5,    5,    5, 
    593         1,    1,    1 
     588        1,    1,    2,    1,    3,    1,    4,    1,    1,    4, 
     589        1,    1,    1,    5,    6,    6,    6,    1,    5,    1, 
     590        1,    4,    7,    5,    1,    6,    6,    6,    6,    6, 
     591        6,    6,    6,    6,    6,    6,    6,    6,    6,    6, 
     592        6,    6,    6,    6,    6,    6,    6,    6,    6,    6, 
     593        6,    1,    1,    1 
    594594    } ; 
    595595 
    596596static yyconst flex_int16_t yy_base[1613] = 
    597597    {   0, 
    598         0,    0,   51,  102,  155,    0,  208,    0,   54,   55, 
    599       58,   73,   80,   91, 1986, 1987,   59, 1987, 1979,    0, 
    600      1975, 1972,   52,   56,  261,   94, 1960,   45,   88,  290, 
    601       296,  298,   95,  295,   74,   77, 1942,  103,  318,  319, 
    602       101,  325,  333, 1935,  348,  361,  367,  359, 1950,  378, 
    603         0, 1987, 1987, 1987,  132, 1940, 1941, 1928, 1938,  302, 
    604      1949, 1931, 1927, 1942,  347, 1928, 1931, 1939,  107, 1961, 
    605      1957,  340, 1940,  385,  354,  380,  394, 1935,   81,  320, 
    606       397,  406,  402,  300, 1930,  405,  414,  117, 1987,  314, 
    607       357, 1944, 1955, 1952, 1950,  430,  429,  436, 1940,  332, 
    608  
    609      1939, 1932, 1917, 1913,  422,  396,  426,  112, 1911, 1901, 
    610      1987, 1987,  455, 1936, 1944, 1940,    0, 1987,    0,  458, 
    611      1942, 1914,    0, 1937, 1912, 1933, 1932,  445,  453,    0, 
    612       447,  459, 1927,    0, 1908,  448,  467, 1918, 1917,  445, 
    613       450, 1894,  446, 1891, 1892, 1896,  456, 1892,    0, 1895, 
    614      1907, 1889, 1905,  451,    0, 1883, 1884,    0,  373, 1894, 
    615      1889, 1889,  464,  464, 1882,  453, 1887,  470, 1886,  467, 
    616      1882, 1880, 1894,  477, 1874, 1892, 1880, 1890,  480, 1881, 
    617      1864, 1876,  470,    0,  487, 1873,    0, 1879,    0,  473, 
    618       483,  492, 1873,  398, 1871,  484, 1877, 1864, 1876, 1879, 
    619  
    620      1878, 1858, 1872,  481, 1858, 1851, 1853,  498,  499, 1868, 
    621       497,  503, 1865, 1850, 1869, 1864, 1856, 1866,  505, 1865, 
    622      1844,  512, 1851, 1861,  508,  513, 1850,  525, 1845,    0, 
    623         0, 1851,    0, 1856, 1856, 1838, 1852, 1835, 1835, 1852, 
    624      1854,  531, 1987, 1844, 1849, 1829, 1847, 1822, 1839, 1829, 
    625      1829, 1838,  522, 1841, 1815, 1815, 1838, 1829, 1835, 1854, 
    626      1987, 1850, 1825, 1830, 1831, 1819, 1810, 1823, 1826, 1823, 
    627      1806,  524, 1824,  527, 1799, 1821, 1816, 1797, 1800,  528, 
    628      1813,    0, 1798, 1812,  526, 1801, 1814, 1788, 1812, 1799, 
    629       530, 1799, 1789, 1987, 1827, 1799, 1987, 1822, 1797,  552, 
    630  
    631       558,  557,  563,  561,  572, 1987, 1987, 1987, 1987, 1805, 
    632      1987, 1800, 1987, 1786, 1987, 1788, 1987, 1781, 1987, 1809, 
    633      1790, 1816, 1987, 1812,    0, 1987, 1987,  564,  579, 1804, 
    634      1803, 1802, 1784,    0,  567,  585, 1800, 1799, 1783, 1781, 
    635      1776, 1772, 1777, 1770, 1773, 1779, 1777, 1768, 1757, 1773, 
    636      1758, 1757, 1756, 1757, 1771, 1754, 1757,  564,    0, 1770, 
    637      1749, 1768, 1746, 1751, 1757, 1760, 1744, 1748,    0, 1747, 
    638      1743, 1755, 1740, 1738, 1737,  563, 1744, 1735, 1734,  573, 
    639      1740,    0, 1738, 1731, 1746, 1728, 1745, 1743, 1737, 1738, 
    640       572, 1739, 1738, 1728,  570, 1726, 1735, 1732, 1726, 1732, 
    641  
    642      1716, 1730, 1729,    0,    0, 1722,  586, 1723,  580, 1726, 
    643      1725,  609, 1724, 1708, 1718, 1709, 1720, 1719, 1710, 1703, 
    644         0, 1732, 1717, 1716,  578, 1700, 1697, 1696, 1712,  586, 
    645      1707, 1699, 1687,  573, 1696,  555, 1692, 1702, 1688, 1702, 
    646      1705, 1684, 1689, 1695, 1688, 1689,    0, 1695,  592, 1683, 
    647      1691, 1692, 1684, 1694, 1674, 1681, 1690, 1679, 1674, 1669, 
    648      1683, 1662, 1674, 1680, 1670, 1682, 1677, 1676, 1660, 1659, 
    649         0,    0, 1658,    0,    0, 1661, 1678, 1987, 1663, 1655, 
    650      1668, 1665, 1666, 1665, 1987, 1659, 1650, 1662, 1651, 1653, 
    651      1659, 1651, 1648, 1641, 1987, 1641, 1644, 1657, 1652, 1636, 
    652  
    653      1648, 1646, 1648, 1633, 1646, 1631, 1644, 1629,    0, 1635, 
    654      1628, 1631, 1635, 1633, 1638, 1636, 1638, 1623, 1633, 1987, 
    655      1645, 1644,  609,  615, 1643, 1642, 1987, 1626, 1987, 1987, 
    656      1640, 1987, 1639, 1638, 1615, 1627, 1622, 1606, 1624,    0, 
    657      1617, 1604, 1610, 1620, 1601, 1614,    0, 1603, 1612,  476, 
    658      1604, 1596, 1596, 1604, 1607,  582, 1604, 1589, 1604,    0, 
    659      1592, 1603, 1581, 1601, 1586, 1598, 1588, 1596, 1579,    0, 
    660      1594, 1593, 1582, 1577, 1590, 1589, 1592,    0, 1572, 1582, 
    661         0, 1574, 1581, 1583, 1567, 1581, 1580, 1563, 1559, 1564, 
    662         0, 1568,  603, 1567, 1567, 1573, 1562, 1558,    0, 1561, 
    663  
    664       613, 1569, 1555, 1557, 1566, 1556,  617, 1564, 1559, 1546, 
    665      1562, 1547, 1545, 1543, 1544, 1546, 1551, 1554, 1544,  618, 
    666      1552, 1547, 1537, 1545, 1534, 1540,    0,    0, 1550,  625, 
    667      1530, 1540, 1536, 1538, 1525, 1533, 1535, 1538, 1537, 1529, 
    668      1539, 1530, 1518, 1530, 1516,  590, 1517, 1529, 1528, 1507, 
    669      1526, 1525, 1511, 1508, 1518, 1514, 1505, 1520, 1518, 1519, 
    670      1506, 1515, 1507, 1506, 1496, 1504, 1497, 1493, 1508, 1497, 
    671      1506, 1498,    0, 1500,    0, 1503, 1489, 1487, 1491, 1484, 
    672         0, 1484, 1487, 1493,    0, 1495, 1480, 1484, 1492, 1478, 
    673      1481, 1489, 1468, 1474, 1479, 1485, 1987, 1484, 1469, 1468, 
    674  
    675      1467, 1467,    0, 1470,    0, 1478, 1464, 1472, 1468, 1476, 
    676      1475, 1465, 1456,    0, 1460, 1462,    0, 1481, 1480, 1451, 
    677         0, 1467,    0, 1468, 1435, 1363, 1369,    0, 1354, 1351, 
    678        31,  294,  362,  441,    0,  469,  615,  506,  610,  622, 
    679       630,  632,    0,  623,  618,  618,    0,    0,  631,    0, 
    680       622,  623,    0,  626,  641,  628,  624,  643,  631,    0, 
    681       630,    0,  648,    0,    0,  634,  648,  651,  636,  652, 
    682         0,  647,  656,  632,  659,  656,  667,    0,  648,    0, 
    683       659,  664,  651,  656,  672,  653,  677,  659,  680,  656, 
    684       681,  671,  682,  674,  687,  670,    0,  665,  688,  668, 
    685  
    686       674,  693,  675,  695,  671,  696,  686,  696,    0,  685, 
    687         0,    0,  690,  683,  684,  690,  686,  702,  694,  689, 
    688       709,  710,  694,  699,  695,  699,  702,  698,  703,  710, 
    689       711,  720,  713,  704,  721,  719,  717,  709,  723,  721, 
    690       713,  712,    0,    0,  732,  715,  714,  722,  734,  735, 
    691       727,    0,  737,  724,  735,  733,    0,  745,  733,    0, 
    692       747,  743,  743,  726,    0,  734,    0, 1987, 1987,  734, 
    693       752, 1987,  752,  754,  745,  755,  740,  760, 1987,  747, 
    694      1987,  757,    0,  745,  763,  745,  759,  768,  751,  759, 
    695       772,  766,  760,  756,  768,  763,  760,    0,  775,    0, 
    696  
    697       773,    0,  763,    0,  767,  766,  786,    0,  768,  769, 
    698       776,  771,    0,  787,  779,  775,  786,    0,  791,    0, 
    699       788,    0,  778,    0,  784,  779,    0,    0,  786,  787, 
    700       802,  783,  780,  788,    0,  802,  807,  808,  803,  806, 
    701       809,  793,  813,  800,  796,  816,  813,    0,  813,  804, 
    702       812,  803,  804,  805,  806,  822,  816,  824,  826,  815, 
    703       812,    0,  813,    0,  818,  816,  817,  817,  818,  834, 
    704       828,  836,  838,  827,  824,  833,    0,    0,  841,  858, 
    705       823,  830,  845,  845,  827,  841,  840,  835,    0,    0, 
    706         0,    0,  842,  842,  839,  854,  858,  841,  843,  843, 
    707  
    708       849,  864,  846,    0,  853,  846,  864,  850,  870,  867, 
    709       868,  871,  874,    0,    0,  867,    0,    0,  857,  859, 
    710       859,  876,  876,  868,  868,  883,  873,  870,    0, 1987, 
    711       872,  863, 1987,  869,  890,  878,  873,  893,  894,  871, 
    712         0,  877, 1987,  886,  890,  899,  880,  897,  888,  890, 
    713       900,  891,  902,  894,  900,  890,  904,    0,    0,  905, 
    714       904,  899,    0,  895,    0,  900,  905,  906,  915,  900, 
    715       920,  906,  911,    0,  921,  913,  921,    0,  918,  923, 
    716       926,  912,  926,  908,  919,  917,  920,    0,  922,  928, 
    717         0,  929,  918,  922,  936,    0,  933,  931,  936,  944, 
    718  
    719       941,    0,  938,  947,  928,  932,  946,    0,  943,  941, 
    720       946,  950,    0,  943,    0,  941,  956,  945,  959,  944, 
    721         0,  963,    0,  951,    0,  947,  962,  943,  960,  961, 
    722       953,  957,  970,  973,  972,  961,  972,  964,  969,  980, 
    723       970,  977,  967,  968,  984,  987,  986,  988,  981,  992, 
    724       978,  979,  993,  994,  988,  985,  993,  987, 1001,  996, 
    725       988,  989, 1006, 1005,  996,  997,  994, 1000, 1002,  998, 
    726      1012, 1000,  998, 1007, 1015, 1008, 1019, 1021,    0, 1012, 
    727      1014, 1024, 1010, 1026, 1017, 1028, 1026, 1023, 1031,    0, 
    728      1032, 1019,    0, 1025, 1022, 1033, 1029, 1030, 1025, 1026, 
    729  
    730      1025, 1029, 1035, 1023, 1024, 1033, 1030, 1049, 1032, 1054, 
    731         0,    0,    0, 1030, 1043, 1040, 1037, 1056, 1039, 1061, 
    732         0,    0, 1062, 1050, 1064, 1051, 1058, 1050, 1068, 1055, 
    733      1070, 1051, 1064,    0, 1067,    0, 1058, 1064,    0, 1063, 
    734      1063, 1067,    0, 1068, 1077, 1063,    0, 1069,    0, 1070, 
    735         0, 1074, 1061, 1080, 1071, 1078, 1091, 1073, 1078, 1071, 
    736         0, 1091, 1084, 1093,    0,    0, 1084, 1095, 1086, 1987, 
    737      1097, 1088, 1987, 1099,    0, 1087, 1092,    0, 1103,    0, 
    738      1095,    0,    0, 1093,    0, 1105, 1097, 1094,    0, 1099, 
    739         0, 1101, 1106,    0, 1098,    0,    0, 1108,    0,    0, 
    740  
    741         0, 1111, 1100, 1115, 1120,    0, 1119, 1120, 1115, 1112, 
    742      1125, 1122, 1123, 1124, 1129, 1126, 1123, 1113, 1129, 1132, 
    743      1131, 1136, 1133, 1130, 1120, 1127, 1137, 1123, 1132, 1141, 
    744      1133, 1144, 1136, 1125, 1136, 1131, 1126, 1140, 1149, 1143, 
    745      1153, 1150, 1144, 1158,    0,    0, 1145, 1147, 1149, 1148, 
    746      1159,    0,    0,    0, 1153,    0, 1165,    0, 1146,    0, 
    747      1154, 1151, 1987, 1156, 1987, 1157, 1158, 1155,    0, 1171, 
    748      1174,    0,    0, 1156, 1163,    0,    0, 1163,    0, 1159, 
    749         0,    0,    0, 1160, 1180, 1181, 1165, 1183, 1161,    0, 
    750         0, 1167, 1175, 1174, 1185, 1186,    0, 1187, 1174, 1182, 
    751  
    752      1181, 1192, 1192, 1173,    0, 1190, 1185, 1181, 1201, 1192, 
    753      1189, 1186, 1187, 1195, 1203, 1207, 1191,    0, 1210,    0, 
    754         0, 1192,    0,    0,    0, 1195,    0, 1209, 1195, 1202, 
    755      1214, 1987, 1987, 1987, 1198, 1218, 1205, 1213, 1202, 1198, 
    756         0, 1210, 1200,    0, 1214, 1215, 1223, 1209, 1211,    0, 
    757         0, 1216, 1227,    0,    0, 1224,    0, 1220, 1231,    0, 
    758         0, 1236, 1220, 1231, 1220, 1234, 1224, 1234, 1235, 1236, 
    759         0, 1231,    0, 1244,    0,    0, 1244, 1229, 1241, 1226, 
    760         0, 1987, 1238, 1241, 1253,    0, 1239,    0,    0, 1251, 
    761      1252, 1239,    0, 1250, 1247,    0, 1235, 1249,    0, 1251, 
    762  
    763         0,    0,    0, 1246,    0, 1239, 1240, 1253, 1256, 1261, 
    764      1265, 1266, 1252,    0, 1266, 1259, 1271, 1271, 1273, 1274, 
    765         0, 1253,    0, 1275,    0,    0, 1266, 1277, 1278, 1279, 
    766         0, 1280, 1272, 1269, 1269, 1284, 1272, 1276,    0, 1287, 
    767      1288, 1289,    0, 1274,    0,    0, 1293,    0, 1282, 1284, 
    768         0,    0,    0, 1276, 1286, 1287,    0, 1288, 1288, 1291, 
    769         0, 1302, 1291, 1292, 1304, 1297,    0, 1295, 1302, 1299, 
    770      1300, 1311, 1300, 1304, 1291,    0,    0, 1303, 1301, 1305, 
    771      1317, 1311,    0, 1306,    0, 1310,    0, 1308,    0, 1987, 
    772      1350, 1357, 1364, 1371, 1378, 1385, 1392, 1396, 1403, 1406, 
    773  
    774      1412, 1419, 1426, 1433, 1440, 1447, 1454, 1461, 1468, 1475, 
    775      1482, 1486 
     598        0,    0,   52,  104,  158,    0,  212,    0,   55,   59, 
     599      107,  111,   55,   59, 2000, 2001,   83, 2001, 1992,    0, 
     600     1988, 1985,   53,   62,  266,  105, 1973,   64,   97,  295, 
     601      301,  303,  319,  110,  103,   45, 1955,  121,  330,  331, 
     602      32,  337,  345, 1948,  360,  373,  379,  371, 1963,  390, 
     603        0, 2001, 2001, 2001,   82, 1953, 1954, 1941, 1951,  296, 
     604     1962, 1944, 1940, 1955,  309, 1941, 1944, 1952,  346, 1974, 
     605     1970,  350, 1953,  397,  406,  392,  412, 1948,  295,  361, 
     606      413,  420,  417,  114, 1943,  426,  425,   90, 2001,  465, 
     607      470, 1957, 1968, 1965, 1963,  357,  387,  462, 1953,  344, 
     608 
     609     1952, 1945, 1930, 1926,  421,  443,  448,  450, 1924, 1914, 
     610     2001, 2001,  479, 1949, 1957, 1953,    0, 2001,    0,  483, 
     611     1955, 1927,    0, 1950, 1925, 1946, 1945,  427,  474,    0, 
     612      432,  481, 1940,    0, 1921,  469,  483, 1931, 1930,  467, 
     613      470, 1907,   63, 1904, 1905, 1909,  367, 1905,    0, 1908, 
     614     1920, 1902, 1918,  466,    0, 1896, 1897,    0,  479, 1907, 
     615     1902, 1902,  480,  364, 1895,  471, 1900,  487, 1899,  483, 
     616     1895, 1893, 1907,  485, 1887, 1905, 1893, 1903,  499, 1894, 
     617     1877, 1889,  487,    0,  502, 1886,    0, 1892,    0,  497, 
     618      416,  504, 1886,  292, 1884,  492, 1890, 1877, 1889, 1892, 
     619 
     620     1891, 1871, 1885,  502, 1871, 1864, 1866,  514,  484, 1881, 
     621      511,  522, 1878, 1863, 1882, 1877, 1869, 1879,  518, 1878, 
     622     1857,  510, 1864, 1874,  317,  526, 1863,  528, 1858,    0, 
     623        0, 1864,    0, 1869, 1869, 1851, 1865, 1848, 1848, 1865, 
     624     1867,  544, 2001, 1857, 1862, 1842, 1860, 1835, 1852, 1842, 
     625     1842, 1851,  508, 1854, 1828, 1828, 1851, 1842, 1848, 1867, 
     626     2001, 1863, 1838, 1843, 1844, 1832, 1823, 1836, 1839, 1836, 
     627     1819,  533, 1837,  540, 1812, 1834, 1829, 1810, 1813,  538, 
     628     1826,    0, 1811, 1825,  542, 1814, 1827, 1801, 1825, 1812, 
     629      540, 1812, 1802, 2001, 1840, 1812, 2001, 1835, 1810,  562, 
     630 
     631      565,  564,  570,  571,  583, 2001, 2001, 2001, 2001, 1818, 
     632     2001, 1813, 2001, 1799, 2001, 1801, 2001, 1794, 2001, 1822, 
     633     1803, 1829, 2001, 1825,    0, 2001, 2001,  573,  585, 1817, 
     634     1816, 1815, 1797,    0,  574,  592, 1813, 1812, 1796, 1794, 
     635     1789, 1785, 1790, 1783, 1786, 1792, 1790, 1781, 1770, 1786, 
     636     1771, 1770, 1769, 1770, 1784, 1767, 1770,  576,    0, 1783, 
     637     1762, 1781, 1759, 1764, 1770, 1773, 1757, 1761,    0, 1760, 
     638     1756, 1768, 1753, 1751, 1750,  571, 1757, 1748, 1747,  582, 
     639     1753,    0, 1751, 1744, 1759, 1741, 1758, 1756, 1750, 1751, 
     640      580, 1752, 1751, 1741,  577, 1739, 1748, 1745, 1739, 1745, 
     641 
     642     1729, 1743, 1742,    0,    0, 1735,  592, 1736,  598, 1739, 
     643     1738,  604, 1737, 1721, 1731, 1722, 1733, 1732, 1723, 1716, 
     644        0, 1745, 1730, 1729,  588, 1713, 1710, 1709, 1725,  584, 
     645     1720, 1712, 1700,  598, 1709,  599, 1705, 1715, 1701, 1715, 
     646     1718, 1697, 1702, 1708, 1701, 1702,    0, 1708,  610, 1696, 
     647     1704, 1705, 1697, 1707, 1687, 1694, 1703, 1692, 1687, 1682, 
     648     1696, 1675, 1687, 1693, 1683, 1695, 1690, 1689, 1673, 1672, 
     649        0,    0, 1671,    0,    0, 1674, 1691, 2001, 1676, 1668, 
     650     1681, 1678, 1679, 1678, 2001, 1672, 1663, 1675, 1664, 1666, 
     651     1672, 1664, 1661, 1654, 2001, 1654, 1657, 1670, 1665, 1649, 
     652 
     653     1661, 1659, 1661, 1646, 1659, 1644, 1657, 1642,    0, 1648, 
     654     1641, 1644, 1648, 1646, 1651, 1649, 1651, 1636, 1646, 2001, 
     655     1658, 1657,  624,  633, 1656, 1655, 2001, 1639, 2001, 2001, 
     656     1653, 2001, 1652, 1651, 1628, 1640, 1635, 1619, 1637,    0, 
     657     1630, 1617, 1623, 1633, 1614, 1627,    0, 1616, 1625,  567, 
     658     1617, 1609, 1609, 1617, 1620,  601, 1617, 1602, 1617,    0, 
     659     1605, 1616, 1594, 1614, 1599, 1611, 1601, 1609, 1592,    0, 
     660     1607, 1606, 1595, 1590, 1603, 1602, 1605,    0, 1585, 1595, 
     661        0, 1587, 1594, 1596, 1580, 1594, 1593, 1576, 1572, 1577, 
     662        0, 1581,  619, 1580, 1580, 1586, 1575, 1571,    0, 1574, 
     663 
     664      627, 1582, 1568, 1570, 1579, 1569,  629, 1577, 1572, 1559, 
     665     1575, 1560, 1558, 1556, 1557, 1559, 1564, 1567, 1557,  630, 
     666     1565, 1560, 1550, 1558, 1547, 1553,    0,    0, 1563,  631, 
     667     1543, 1553, 1549, 1551, 1538, 1546, 1548, 1551, 1550, 1542, 
     668     1552, 1543, 1531, 1543, 1529,  634, 1530, 1542, 1541, 1520, 
     669     1539, 1538, 1524, 1521, 1531, 1527, 1518, 1533, 1531, 1532, 
     670     1519, 1528, 1520, 1519, 1509, 1517, 1510, 1506, 1521, 1510, 
     671     1519, 1511,    0, 1513,    0, 1516, 1502, 1500, 1504, 1497, 
     672        0, 1497, 1500, 1506,    0, 1508, 1493, 1497, 1505, 1491, 
     673     1494, 1502, 1481, 1487, 1492, 1498, 2001, 1497, 1482, 1481, 
     674 
     675     1480, 1480,    0, 1483,    0, 1491, 1477, 1485, 1481, 1489, 
     676     1488, 1478, 1469,    0, 1473, 1475,    0, 1494, 1493, 1464, 
     677        0, 1480,    0, 1481, 1466, 1441, 1383,    0, 1367, 1364, 
     678       31,  102,  373,  501,    0,  615,  635,  613,  627,  640, 
     679      644,  646,    0,  636,  631,  633,    0,    0,  644,    0, 
     680      635,  636,    0,  639,  654,  641,  637,  656,  644,    0, 
     681      643,    0,  661,    0,    0,  647,  661,  664,  649,  665, 
     682        0,  660,  669,  645,  672,  669,  680,    0,  661,    0, 
     683      672,  677,  664,  669,  685,  666,  690,  672,  693,  669, 
     684      694,  684,  695,  687,  700,  683,    0,  678,  701,  681, 
     685 
     686      687,  706,  688,  708,  684,  709,  699,  709,    0,  698, 
     687        0,    0,  703,  696,  697,  703,  699,  715,  707,  702, 
     688      722,  723,  707,  712,  708,  712,  715,  711,  716,  723, 
     689      724,  733,  726,  717,  734,  732,  730,  722,  736,  734, 
     690      726,  725,    0,    0,  745,  728,  727,  735,  747,  748, 
     691      740,    0,  750,  737,  748,  746,    0,  758,  746,    0, 
     692      760,  756,  756,  739,    0,  747,    0, 2001, 2001,  747, 
     693      765, 2001,  765,  767,  758,  768,  753,  773, 2001,  760, 
     694     2001,  770,    0,  758,  776,  758,  772,  781,  764,  772, 
     695      785,  779,  773,  769,  781,  776,  773,    0,  788,    0, 
     696 
     697      786,    0,  776,    0,  780,  779,  799,    0,  781,  782, 
     698      789,  784,    0,  800,  792,  788,  799,    0,  804,    0, 
     699      801,    0,  791,    0,  797,  792,    0,    0,  799,  800, 
     700      815,  796,  793,  801,    0,  815,  820,  821,  816,  819, 
     701      822,  806,  826,  813,  809,  829,  826,    0,  826,  817, 
     702      825,  816,  817,  818,  819,  835,  829,  837,  839,  828, 
     703      825,    0,  826,    0,  831,  829,  830,  830,  831,  847, 
     704      841,  849,  851,  840,  837,  846,    0,    0,  854,  871, 
     705      836,  843,  858,  858,  840,  854,  853,  848,    0,    0, 
     706        0,    0,  855,  855,  852,  867,  871,  854,  856,  856, 
     707 
     708      862,  877,  859,    0,  866,  859,  877,  863,  883,  880, 
     709      881,  884,  887,    0,    0,  880,    0,    0,  870,  872, 
     710      872,  889,  889,  881,  881,  896,  886,  883,    0, 2001, 
     711      885,  876, 2001,  882,  903,  891,  886,  906,  907,  884, 
     712        0,  890, 2001,  899,  903,  912,  893,  910,  901,  903, 
     713      913,  904,  915,  907,  913,  903,  917,    0,    0,  918, 
     714      917,  912,    0,  908,    0,  913,  918,  919,  928,  913, 
     715      933,  919,  924,    0,  934,  926,  934,    0,  931,  936, 
     716      939,  925,  939,  921,  932,  930,  933,    0,  935,  941, 
     717        0,  942,  931,  935,  949,    0,  946,  944,  949,  957, 
     718 
     719      954,    0,  951,  960,  941,  945,  959,    0,  956,  954, 
     720      959,  963,    0,  956,    0,  954,  969,  958,  972,  957, 
     721        0,  976,    0,  964,    0,  960,  975,  956,  973,  974, 
     722      966,  970,  983,  986,  985,  974,  985,  977,  982,  993, 
     723      983,  990,  980,  981,  997, 1000,  999, 1001,  994, 1005, 
     724      991,  992, 1006, 1007, 1001,  998, 1006, 1000, 1014, 1009, 
     725     1001, 1002, 1019, 1018, 1009, 1010, 1007, 1013, 1015, 1011, 
     726     1025, 1013, 1011, 1020, 1028, 1021, 1032, 1034,    0, 1025, 
     727     1027, 1037, 1023, 1039, 1030, 1041, 1039, 1036, 1044,    0, 
     728     1045, 1032,    0, 1038, 1035, 1046, 1042, 1043, 1038, 1039, 
     729 
     730     1038, 1042, 1048, 1036, 1037, 1046, 1043, 1062, 1045, 1067, 
     731        0,    0,    0, 1043, 1056, 1053, 1050, 1069, 1052, 1074, 
     732        0,    0, 1075, 1063, 1077, 1064, 1071, 1063, 1081, 1068, 
     733     1083, 1064, 1077,    0, 1080,    0, 1071, 1077,    0, 1076, 
     734     1076, 1080,    0, 1081, 1090, 1076,    0, 1082,    0, 1083, 
     735        0, 1087, 1074, 1093, 1084, 1091, 1104, 1086, 1091, 1084, 
     736        0, 1104, 1097, 1106,    0,    0, 1097, 1108, 1099, 2001, 
     737     1110, 1101, 2001, 1112,    0, 1100, 1105,    0, 1116,    0, 
     738     1108,    0,    0, 1106,    0, 1118, 1110, 1107,    0, 1112, 
     739        0, 1114, 1119,    0, 1111,    0,    0, 1121,    0,    0, 
     740 
     741        0, 1124, 1113, 1128, 1133,    0, 1132, 1133, 1128, 1125, 
     742     1138, 1135, 1136, 1137, 1142, 1139, 1136, 1126, 1142, 1145, 
     743     1144, 1149, 1146, 1143, 1133, 1140, 1150, 1136, 1145, 1154, 
     744     1146, 1157, 1149, 1138, 1149, 1144, 1139, 1153, 1162, 1156, 
     745     1166, 1163, 1157, 1171,    0,    0, 1158, 1160, 1162, 1161, 
     746     1172,    0,    0,    0, 1166,    0, 1178,    0, 1159,    0, 
     747     1167, 1164, 2001, 1169, 2001, 1170, 1171, 1168,    0, 1184, 
     748     1187,    0,    0, 1169, 1176,    0,    0, 1176,    0, 1172, 
     749        0,    0,    0, 1173, 1193, 1194, 1178, 1196, 1174,    0, 
     750        0, 1180, 1188, 1187, 1198, 1199,    0, 1200, 1187, 1195, 
     751 
     752     1194, 1205, 1205, 1186,    0, 1203, 1198, 1194, 1214, 1205, 
     753     1202, 1199, 1200, 1208, 1216, 1220, 1204,    0, 1223,    0, 
     754        0, 1205,    0,    0,    0, 1208,    0, 1222, 1208, 1215, 
     755     1227, 2001, 2001, 2001, 1211, 1231, 1218, 1226, 1215, 1211, 
     756        0, 1223, 1213,    0, 1227, 1228, 1236, 1222, 1224,    0, 
     757        0, 1229, 1240,    0,    0, 1237,    0, 1233, 1244,    0, 
     758        0, 1249, 1233, 1244, 1233, 1247, 1237, 1247, 1248, 1249, 
     759        0, 1244,    0, 1257,    0,    0, 1257, 1242, 1254, 1239, 
     760        0, 2001, 1251, 1254, 1266,    0, 1252,    0,    0, 1264, 
     761     1265, 1252,    0, 1263, 1260,    0, 1248, 1262,    0, 1264, 
     762 
     763        0,    0,    0, 1259,    0, 1252, 1253, 1266, 1269, 1274, 
     764     1278, 1279, 1265,    0, 1279, 1272, 1284, 1284, 1286, 1287, 
     765        0, 1266,    0, 1288,    0,    0, 1279, 1290, 1291, 1292, 
     766        0, 1293, 1285, 1282, 1282, 1297, 1285, 1289,    0, 1300, 
     767     1301, 1302,    0, 1287,    0,    0, 1306,    0, 1295, 1297, 
     768        0,    0,    0, 1289, 1299, 1300,    0, 1301, 1301, 1304, 
     769        0, 1315, 1304, 1305, 1317, 1310,    0, 1308, 1315, 1312, 
     770     1313, 1324, 1313, 1317, 1304,    0,    0, 1316, 1314, 1318, 
     771     1330, 1324,    0, 1319,    0, 1323,    0, 1321,    0, 2001, 
     772     1364, 1371, 1378, 1385, 1392, 1399, 1406, 1409, 1415, 1417, 
     773 
     774     1424, 1431, 1438, 1445, 1452, 1459, 1466, 1473, 1480, 1487, 
     775     1494, 1499 
    776776    } ; 
    777777 
    …… 
    958958    } ; 
    959959 
    960 static yyconst flex_int16_t yy_nxt[2041] = 
     960static yyconst flex_int16_t yy_nxt[2056] = 
    961961    {   0, 
    962        16,   17,   18,   17,   16,   19,   20,   16,   21,   22, 
    963        16,   16,   23,   24,   25,   26,   16,   16,   16,   27, 
    964        16,   16,   16,   16,   28,   29,   30,   31,   32,   33, 
    965        34,   35,   36,   37,   38,   39,   40,   41,   42,   43, 
    966        44,   45,   46,   47,   48,   49,   50,   51,   51,   51, 
    967        16,   16,   16,   52,   53,  113,  113,  113,  113,  113, 
    968       120,  113,  120,  115,   54,  128,  116,  129,  114,  114, 
    969        55,  131,  900,   54,  113,   56,  113,   57,  115,   58, 
    970       140,  116,  141,   59,  132,  118,   60,   61,  118,  142, 
    971        62,   63,   64,   65,   66,   67,  118,   68,  175,  118, 
    972  
    973       119,   53,  176,   53,   52,   53,  177,  136,  120,  129, 
    974       120,  119,  143,  178,  179,   54,  144,  273,  274,  167, 
    975       145,   55,  137,  168,   54,  195,   56,  169,   57,  146, 
    976        58,  181,  147,  170,   59,  182,  171,   60,   61,  196, 
    977       294,   62,   63,   64,   65,   66,   67,  242,   68,  237, 
    978       318,  238,   53,  243,   53,   16,   17,   52,   69,   16, 
    979        70,   16,   16,   71,   16,   16,   16,   23,   24,   51, 
    980        26,   16,   16,   16,   16,   16,   16,   16,   16,   72, 
    981        73,   74,   75,   76,   77,   51,   78,   79,   51,   80, 
    982        81,   82,   51,   83,   84,   51,   85,   86,   87,   48, 
    983  
    984        51,   88,   51,   51,   51,   53,   16,   53,   89,   90, 
    985        52,   91,   92,   93,   89,   94,   95,   89,   89,   89, 
    986        96,   97,   89,   98,   99,  100,  101,   89,   89,   89, 
    987        89,  102,  103,   89,   89,   89,  104,   89,  105,   89, 
    988       106,   89,   89,  107,   89,  108,  109,   89,   89,   89, 
    989        89,   89,   89,   89,   89,   89,   89,   89,  110,   89, 
    990       111,  133,  133,  133,  133,  133,  133,  133,  133,  133, 
    991       133,  133,  133,  134,  134,  135,  134,  133,  134,  133, 
    992       133,  133,  133,  134,  133,  134,  134,  134,  134,  134, 
     962       16,   17,   18,   17,   17,   16,   19,   20,   16,   21, 
     963       22,   16,   16,   23,   24,   25,   26,   16,   16,   16, 
     964       27,   16,   16,   16,   16,   28,   29,   30,   31,   32, 
     965       33,   34,   35,   36,   37,   38,   39,   40,   41,   42, 
     966       43,   44,   45,   46,   47,   48,   49,   50,   51,   51, 
     967       51,   16,   16,   16,   52,   53,  113,  195,  113,  113, 
     968      113,  118,  113,  113,  118,  118,   54,  128,  118,  129, 
     969      114,  196,   55,  900,  114,   54,  119,   56,  131,   57, 
     970      119,   58,  178,  179,  120,   59,  120,  120,   60,   61, 
     971      345,  132,   62,   63,   64,   65,   66,   67,  242,   68, 
     972 
     973      140,  346,  141,   53,  243,   53,   52,   53,  113,  142, 
     974      113,  113,  113,  115,  113,  113,  116,  115,   54,  136, 
     975      116,  129,  143,  237,   55,  238,  144,   54,  175,   56, 
     976      145,   57,  176,   58,  137,  172,  177,   59,  901,  146, 
     977       60,   61,  147,  173,   62,   63,   64,   65,   66,   67, 
     978      181,   68,  174,  285,  182,   53,  286,   53,   16,   17, 
     979       52,   69,   17,   16,   70,   16,   16,   71,   16,   16, 
     980       16,   23,   24,   51,   26,   16,   16,   16,   16,   16, 
     981       16,   16,   16,   72,   73,   74,   75,   76,   77,   51, 
     982       78,   79,   51,   80,   81,   82,   51,   83,   84,   51, 
     983 
     984       85,   86,   87,   48,   51,   88,   51,   51,   51,   53, 
     985       16,   53,   89,   90,   52,   91,   90,   92,   93,   89, 
     986       94,   95,   89,   89,   89,   96,   97,   89,   98,   99, 
     987      100,  101,   89,   89,   89,   89,  102,  103,   89,   89, 
     988       89,  104,   89,  105,   89,  106,   89,   89,  107,   89, 
     989      108,  109,   89,   89,   89,   89,   89,   89,   89,   89, 
     990       89,   89,   89,  110,   89,  111,  133,  133,  133,  133, 
     991      133,  133,  133,  133,  133,  133,  133,  133,  133,  134, 
     992      134,  135,  134,  133,  134,  133,  133,  133,  133,  134, 
     993      133,  134,  134,  134,  134,  134,  134,  134,  134,  134, 
     994 
    993995      134,  134,  134,  134,  134,  134,  134,  134,  134,  134, 
    994  
    995       134,  134,  134,  134,  134,  134,  134,  134,  134,  134, 
    996       134,  133,  133,  133,  148,  120,  149,  120,  150,  172, 
    997       157,  151,  152,  158,  159,  153,  248,  173,  154,  901, 
    998       249,  155,  156,  162,  163,  164,  174,  160,  285,  165, 
    999       161,  286,  183,  190,  184,  166,  185,  191,  275,  307, 
    1000       186,  192,  182,  187,  197,  198,  188,  204,  120,  189, 
    1001       120,  205,  199,  193,  200,  206,  201,  194,  207,  202, 
    1002       203,  208,  211,  254,  209,  263,  212,  141,  267,  255, 
    1003       213,  158,  268,  308,  142,  230,  214,  215,  216,  217, 
    1004       256,  224,  218,  219,  231,  225,  232,  220,  361,  226, 
    1005  
    1006       233,  221,  362,  902,  222,  227,  235,  236,  228,  223, 
    1007       237,  149,  238,  150,  239,  229,  269,  270,  167,  240, 
    1008       265,  276,  168,  266,  314,  277,  155,  271,  415,  130, 
    1009       278,  281,  272,  315,  279,  130,  287,  288,  280,  282, 
    1010       416,  200,  291,  300,  302,  301,  283,  284,  289,  304, 
    1011       309,  301,  292,  290,  316,  293,  120,  303,  120,  120, 
    1012       328,  120,  131,  335,  305,  313,  136,  903,  129,  317, 
    1013       330,  331,  345,  329,  332,  132,  336,  339,  337,  337, 
    1014       341,  137,  338,  346,  340,  350,  357,  342,  358,  366, 
    1015       368,  369,  371,  343,  374,  397,  372,  904,  375,  351, 
    1016  
    1017       734,  384,  377,  367,  378,  379,  391,  392,  380,  385, 
    1018       408,  398,  405,  399,  406,  386,  401,  402,  400,  735, 
    1019       407,  418,  427,  393,  428,  419,  409,  410,  411,  412, 
    1020       432,  435,  440,  433,  438,  413,  455,  436,  441,  439, 
    1021       434,  450,  451,  442,  459,  443,  242,  907,  461,  465, 
    1022       462,  488,  243,  502,  452,  460,  463,  466,  512,  377, 
    1023       456,  500,  379,  410,  489,  508,  518,  302,  513,  467, 
    1024       503,  304,  302,  301,  521,  521,  523,  460,  522,  328, 
    1025       303,  648,  335,  525,  525,  303,  305,  526,  649,  524, 
    1026       330,  330,  329,  554,  531,  336,  533,  533,  571,  576, 
    1027  
    1028       534,  555,  592,  587,  611,  645,  572,  588,  612,  577, 
    1029       603,  604,  593,  634,  640,  605,  646,  635,  606,  661, 
    1030       831,  741,  641,  742,  523,  832,  718,  718,  607,  608, 
    1031       719,  662,  609,  615,  616,  774,  617,  524,  618,  782, 
    1032       908,  619,  775,  789,  804,  905,  783,  906,  909,  790, 
    1033       805,  620,  621,  814,  910,  622,  911,  815,  912,  913, 
    1034       914,  791,  806,  915,  916,  917,  918,  919,  920,  921, 
    1035       922,  923,  924,  925,  926,  927,  928,  929,  935,  936, 
    1036       939,  940,  937,  941,  942,  948,  949,  930,  950,  951, 
    1037       931,  932,  938,  943,  933,  934,  944,  952,  953,  945, 
    1038  
    1039       954,  955,  956,  946,  957,  958,  959,  960,  947,  961, 
    1040       962,  963,  964,  965,  966,  967,  968,  969,  970,  971, 
    1041       972,  973,  974,  975,  976,  977,  978,  979,  980,  981, 
    1042       982,  983,  984,  985,  986,  987,  988,  989,  990,  991, 
    1043       992,  993,  994,  995,  997,  998,  999, 1000, 1001, 1003, 
    1044      1004, 1005,  996, 1006, 1007, 1002, 1008, 1009, 1011, 1010, 
    1045      1012, 1013, 1014, 1015, 1016, 1017, 1018, 1019, 1020, 1021, 
    1046      1022, 1024, 1025, 1027, 1028, 1029, 1023, 1030, 1031, 1033, 
    1047      1034, 1035, 1026, 1036, 1037, 1038, 1039,  905,  918,  929, 
    1048       938,  945, 1040,  992, 1041, 1032, 1042, 1043, 1044, 1045, 
    1049  
    1050      1046, 1047,  931, 1048, 1049, 1050, 1051,  934, 1052, 1053, 
    1051      1054, 1055, 1056, 1057, 1058, 1059, 1060, 1061, 1062, 1063, 
    1052      1064, 1065, 1066, 1067, 1068, 1069, 1070, 1071, 1072, 1073, 
    1053      1074, 1075, 1076, 1077, 1078, 1079, 1080, 1081, 1082, 1083, 
    1054      1084, 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1085, 1093, 
    1055      1094, 1095, 1096, 1097, 1098, 1099, 1100, 1101, 1102, 1103, 
    1056      1104, 1105, 1106, 1107, 1108, 1109, 1110, 1111, 1112, 1113, 
    1057      1114, 1115, 1116, 1117, 1118, 1119, 1120, 1121, 1122, 1123, 
    1058      1124, 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 
    1059      1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141, 1143, 1144, 
    1060  
    1061      1145, 1146, 1147, 1148, 1149, 1150, 1151, 1152, 1153, 1154, 
    1062      1155, 1156, 1157, 1142, 1158, 1159, 1160, 1161, 1162, 1163, 
    1063      1164, 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172, 1173, 
    1064      1174, 1175, 1176, 1177, 1178, 1179, 1180, 1181, 1182, 1183, 
    1065      1184, 1185, 1186, 1187, 1188, 1189, 1190, 1191, 1192, 1193, 
    1066      1194, 1195, 1196, 1197, 1198, 1199, 1200, 1201, 1202, 1203, 
    1067      1204, 1205, 1206, 1207, 1208, 1209, 1210, 1211, 1212, 1213, 
    1068      1214, 1215, 1216, 1217, 1218, 1219, 1220, 1221, 1222, 1223, 
    1069      1225, 1224, 1226, 1228, 1229, 1230, 1234, 1235, 1236, 1237, 
    1070      1238, 1239, 1240, 1241, 1242, 1231, 1243, 1232, 1244, 1245, 
    1071  
    1072      1246, 1233, 1227, 1247, 1248, 1249, 1250, 1251, 1252, 1253, 
    1073      1254, 1255, 1256, 1257, 1259, 1258, 1260, 1261, 1262, 1263, 
    1074      1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 
    1075      1274, 1229, 1230, 1275, 1276, 1277, 1278, 1279, 1280, 1281, 
    1076      1282, 1283, 1284, 1285, 1232, 1286, 1287, 1288, 1233, 1289, 
    1077      1290, 1291, 1292, 1293, 1294, 1295, 1296, 1297, 1298, 1299, 
    1078      1300, 1301, 1302, 1303, 1304, 1305, 1306, 1307, 1308, 1309, 
    1079      1310, 1311, 1312, 1313, 1314, 1315, 1316, 1317, 1318, 1319, 
    1080      1320, 1321, 1322, 1323, 1324, 1325, 1326, 1327, 1328, 1329, 
    1081      1330, 1331, 1332, 1333, 1334, 1336, 1337, 1339, 1340, 1341, 
    1082  
    1083      1342, 1343, 1335, 1344, 1345, 1346, 1347, 1348, 1349, 1350, 
    1084      1351, 1352, 1338, 1353, 1354, 1355, 1356, 1357, 1358, 1359, 
    1085      1360, 1361, 1362, 1363, 1364, 1365, 1366, 1367, 1368, 1369, 
    1086      1370, 1371, 1372, 1373, 1374, 1375, 1376, 1377, 1378, 1379, 
    1087      1380, 1381, 1382, 1383, 1384, 1385, 1386, 1387, 1388, 1389, 
    1088      1390, 1391, 1392, 1393, 1394, 1395, 1396, 1397, 1398, 1399, 
    1089      1400, 1401, 1402, 1403, 1404, 1405, 1406, 1407, 1408, 1409, 
    1090      1410, 1411, 1412, 1413, 1414, 1415, 1416, 1417, 1418, 1419, 
    1091      1420, 1421, 1422, 1423, 1424, 1425, 1426, 1427, 1428, 1429, 
    1092      1430, 1431, 1432, 1433, 1434, 1435, 1436, 1437, 1439, 1440, 
    1093  
    1094      1441, 1442, 1443, 1444, 1445, 1446, 1447, 1448, 1449, 1450, 
    1095      1451, 1452, 1453, 1438, 1454, 1455, 1456, 1457, 1458, 1459, 
    1096      1460, 1461, 1462, 1463, 1464, 1465, 1466, 1467, 1468, 1469, 
    1097      1470, 1471, 1472, 1473, 1474, 1475, 1476, 1477, 1478, 1479, 
    1098      1480, 1482, 1483, 1484, 1485, 1486, 1487, 1488, 1489, 1490, 
    1099      1491, 1492, 1493, 1494, 1495, 1496, 1497, 1481, 1498, 1499, 
    1100      1500, 1501, 1502, 1503, 1504, 1505, 1506, 1507, 1508, 1509, 
    1101      1510, 1511, 1512, 1513, 1514, 1515, 1516, 1517, 1518, 1519, 
    1102      1520, 1521, 1522, 1523, 1524, 1525, 1526, 1527, 1528, 1529, 
    1103      1530, 1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538, 1539, 
    1104  
    1105      1540, 1541, 1542, 1543, 1544, 1545, 1546, 1547, 1548, 1549, 
    1106      1550, 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558, 1559, 
    1107      1560, 1561, 1562, 1563, 1564, 1565, 1566, 1567, 1568, 1570, 
    1108      1571, 1572, 1573, 1574, 1575, 1576, 1577, 1578, 1579, 1580, 
    1109      1581, 1582, 1583, 1584, 1569, 1585, 1586, 1587, 1588, 1589, 
    1110        16,   16,   16,   16,   16,   16,   16,  112,  112,  112, 
    1111       112,  112,  112,  112,  117,  117,  117,  117,  117,  117, 
    1112       117,  121,  121,  121,  121,  121,  121,  121,  123,  899, 
    1113       123,  123,  123,  123,  123,  124,  124,  124,  124,  124, 
    1114       124,  124,  126,  898,  126,  126,  126,  126,  126,  130, 
    1115  
    1116       130,  897,  130,  138,  896,  138,  138,  138,  138,  138, 
    1117       241,  241,  260,  260,  260,  260,  260,  260,  260,  262, 
    1118       262,  262,  262,  262,  262,  262,  295,  295,  295,  295, 
    1119       295,  295,  295,  298,  298,  298,  298,  298,  298,  298, 
    1120       310,  310,  310,  310,  310,  310,  310,  320,  320,  320, 
    1121       320,  320,  320,  320,  322,  322,  322,  322,  322,  322, 
    1122       322,  324,  324,  324,  324,  324,  324,  324,  325,  325, 
    1123       895,  325,  325,  325,  325,  326,  326,  326,  326,  326, 
    1124       326,  326,  133,  133,  133,  133,  133,  133,  133,  477, 
    1125       477,  477,  894,  893,  892,  719,  719,  891,  890,  889, 
    1126  
    1127       888,  804,  789,  887,  774,  886,  885,  884,  883,  882, 
    1128       881,  880,  879,  878,  877,  876,  875,  874,  873,  872, 
    1129       871,  870,  869,  868,  867,  866,  865,  864,  863,  862, 
    1130       861,  860,  859,  858,  857,  856,  855,  854,  853,  852, 
    1131       851,  850,  849,  848,  847,  846,  845,  844,  843,  842, 
    1132       841,  840,  839,  838,  837,  836,  835,  834,  833,  830, 
    1133       829,  828,  827,  826,  825,  824,  823,  822,  821,  820, 
    1134       819,  818,  817,  816,  813,  812,  811,  810,  809,  808, 
    1135       807,  803,  802,  801,  800,  799,  798,  797,  796,  795, 
    1136       794,  793,  792,  788,  787,  786,  785,  784,  781,  780, 
    1137  
    1138       779,  778,  777,  776,  773,  772,  771,  770,  769,  768, 
    1139       767,  766,  765,  764,  763,  762,  761,  760,  759,  758, 
    1140       757,  756,  755,  754,  753,  752,  751,  750,  749,  748, 
    1141       747,  746,  745,  744,  743,  740,  739,  738,  737,  736, 
    1142       733,  732,  731,  730,  729,  728,  727,  726,  725,  724, 
    1143       723,  722,  721,  534,  534,  531,  720,  526,  526,  522, 
    1144       522,  717,  716,  715,  714,  661,  649,  645,  713,  712, 
    1145       634,  711,  612,  710,  709,  708,  707,  587,  706,  705, 
    1146       704,  703,  702,  701,  700,  699,  698,  697,  696,  695, 
    1147       694,  693,  692,  691,  690,  689,  688,  687,  686,  478, 
    1148  
    1149       685,  684,  683,  682,  681,  680,  679,  678,  677,  676, 
    1150       675,  674,  673,  672,  671,  670,  669,  668,  667,  666, 
    1151       665,  664,  663,  660,  659,  658,  657,  656,  655,  654, 
    1152       653,  652,  651,  650,  647,  644,  643,  642,  639,  638, 
    1153       637,  636,  633,  632,  631,  630,  629,  628,  627,  626, 
    1154       625,  624,  623,  614,  613,  610,  602,  601,  600,  599, 
    1155       598,  597,  596,  595,  594,  591,  590,  589,  586,  585, 
    1156       584,  583,  582,  581,  580,  579,  578,  575,  574,  573, 
    1157       570,  569,  568,  567,  566,  565,  564,  563,  562,  561, 
    1158       560,  559,  558,  557,  556,  553,  552,  551,  550,  549, 
    1159  
    1160       548,  547,  546,  545,  544,  543,  542,  541,  540,  539, 
    1161       538,  537,  536,  535,  338,  338,  532,  332,  332,  531, 
    1162       323,  323,  530,  321,  529,  528,  527,  297,  311,  520, 
    1163       299,  520,  296,  519,  464,  517,  455,  516,  515,  514, 
    1164       511,  510,  509,  507,  506,  401,  505,  504,  501,  499, 
    1165       369,  366,  362,  498,  497,  496,  345,  339,  261,  261, 
    1166       495,  494,  493,  492,  491,  490,  487,  486,  485,  484, 
    1167       483,  482,  481,  480,  479,  478,  476,  475,  474,  473, 
    1168       472,  471,  470,  469,  468,  464,  458,  457,  454,  453, 
    1169       449,  448,  447,  446,  445,  444,  437,  431,  430,  429, 
    1170  
    1171       426,  425,  424,  423,  422,  421,  420,  417,  414,  404, 
    1172       403,  396,  395,  394,  390,  389,  388,  387,  383,  382, 
    1173       381,  376,  373,  370,  365,  364,  363,  360,  359,  356, 
    1174       355,  354,  353,  352,  349,  348,  347,  344,  139,  139, 
    1175       334,  333,  127,  127,  327,  125,  327,  122,  323,  323, 
    1176       321,  319,  319,  307,  312,  311,  309,  306,  299,  297, 
    1177       296,  294,  213,  176,  264,  261,  261,  259,  258,  257, 
    1178       253,  252,  251,  250,  247,  246,  245,  244,  234,  210, 
    1179       180,  139,  127,  125,  122, 1590,   15, 1590, 1590, 1590, 
    1180      1590, 1590, 1590, 1590, 1590, 1590, 1590, 1590, 1590, 1590, 
    1181  
     996      134,  134,  134,  134,  134,  134,  134,  133,  133,  133, 
     997      148,  248,  149,  415,  150,  249,  157,  151,  152,  158, 
     998      159,  153,  273,  274,  154,  416,  254,  155,  156,  162, 
     999      163,  164,  255,  160,  167,  165,  161,  120,  168,  120, 
     1000      120,  166,  169,  256,  459,  183,  190,  184,  170,  185, 
     1001      191,  171,  307,  186,  192,  460,  187,  197,  198,  188, 
     1002      204,  300,  189,  301,  205,  199,  193,  200,  206,  201, 
     1003      194,  207,  202,  203,  208,  211,  263,  209,  141,  212, 
     1004      275,  368,  369,  213,  182,  142,  308,  350,  230,  214, 
     1005 
     1006      215,  216,  217,  302,  224,  218,  219,  231,  225,  232, 
     1007      220,  351,  226,  233,  221,  902,  303,  222,  227,  235, 
     1008      236,  228,  223,  237,  149,  238,  150,  239,  229,  269, 
     1009      270,  267,  240,  265,  158,  268,  266,  167,  276,  155, 
     1010      271,  168,  277,  328,  408,  278,  130,  281,  131,  279, 
     1011      309,  272,  130,  280,  291,  282,  329,  200,  287,  288, 
     1012      409,  132,  283,  284,  292,  313,  120,  293,  120,  120, 
     1013      289,  120,  314,  120,  120,  290,  304,  316,  301,  294, 
     1014      120,  315,  120,  120,  120,  335,  120,  120,  136,  318, 
     1015      129,  305,  317,  330,  331,  337,  337,  332,  336,  338, 
     1016 
     1017      339,  341,  357,  137,  358,  361,  366,  340,  342,  362, 
     1018      384,  371,  374,  397,  343,  372,  375,  435,  385,  377, 
     1019      367,  378,  379,  436,  386,  380,  391,  392,  903,  398, 
     1020      418,  399,  401,  402,  419,  455,  400,  405,  488,  406, 
     1021      410,  411,  412,  393,  427,  407,  428,  432,  413,  438, 
     1022      433,  489,  440,  465,  439,  450,  451,  434,  441,  456, 
     1023      242,  466,  461,  442,  462,  443,  243,  502,  452,  377, 
     1024      463,  500,  379,  467,  410,  512,  508,  518,  302,  304, 
     1025      302,  301,  521,  521,  503,  513,  522,  523,  460,  328, 
     1026      335,  303,  734,  303,  305,  525,  525,  330,  330,  526, 
     1027 
     1028      524,  531,  329,  336,  533,  533,  554,  571,  534,  576, 
     1029      592,  735,  587,  640,  555,  572,  588,  603,  604,  577, 
     1030      593,  641,  605,  611,  634,  606,  648,  612,  635,  615, 
     1031      616,  645,  617,  649,  618,  607,  608,  619,  661,  609, 
     1032      523,  741,  646,  742,  904,  718,  718,  620,  621,  719, 
     1033      662,  622,  774,  524,  782,  907,  789,  804,  908,  775, 
     1034      814,  783,  790,  805,  815,  831,  905,  909,  906,  910, 
     1035      832,  911,  912,  913,  791,  806,  914,  915,  916,  917, 
     1036      918,  919,  920,  921,  922,  923,  924,  925,  926,  927, 
     1037      928,  929,  935,  936,  939,  940,  937,  941,  942,  948, 
     1038 
     1039      949,  930,  950,  951,  931,  932,  938,  943,  933,  934, 
     1040      944,  952,  953,  945,  954,  955,  956,  946,  957,  958, 
     1041      959,  960,  947,  961,  962,  963,  964,  965,  966,  967, 
     1042      968,  969,  970,  971,  972,  973,  974,  975,  976,  977, 
     1043      978,  979,  980,  981,  982,  983,  984,  985,  986,  987, 
     1044      988,  989,  990,  991,  992,  993,  994,  995,  997,  998, 
    &nb