! PRODUCED BY newps FROM 
%CONSTBYTEINTEGERARRAY CLETT(0:434)=   1,
  43,   1,  45,   1,  40,   1,  41,   1,  42,   1,  44,   2, 201, 198,
   6, 213, 206, 204, 197, 211, 211,   5, 215, 200, 201, 204, 197,   5,
 213, 206, 212, 201, 204,   3, 198, 207, 210,   1,  61,   5, 193, 204,
 201, 193, 211,   7, 201, 206, 212, 197, 199, 197, 210,   4, 210, 197,
 193, 204,   4, 204, 207, 206, 199,   4, 194, 217, 212, 197,   6, 211,
 212, 210, 201, 206, 199,   4, 200, 193, 204, 198,   6, 210, 197, 195,
 207, 210, 196,   7, 210, 207, 213, 212, 201, 206, 197,   2, 198, 206,
   3, 205, 193, 208,   8, 198, 213, 206, 195, 212, 201, 207, 206,   4,
 206, 193, 205, 197,   5, 193, 210, 210, 193, 217,   9, 207, 198, 208,
 210, 207, 199, 210, 193, 205,   6, 207, 198, 198, 201, 204, 197,   6,
 207, 198, 204, 201, 211, 212,   6, 198, 207, 210, 205, 193, 212,   3,
 206, 207, 212,   3, 193, 206, 196,   2, 207, 210,   1,  58,   4, 211,
 208, 197, 195,   3, 207, 215, 206,   8, 197, 216, 212, 197, 210, 206,
 193, 204,   9, 197, 216, 212, 210, 201, 206, 211, 201, 195,   8, 195,
 207, 206, 211, 212, 193, 206, 212,   5, 195, 207, 206, 211, 212,   5,
 197, 214, 197, 206, 212,   5, 211, 212, 193, 210, 212,   4, 212, 200,
 197, 206,   4, 197, 204, 211, 197,   1,  95,   6, 211, 217, 211, 212,
 197, 205,   7, 196, 217, 206, 193, 205, 201, 195,   4,  80,  85,  84,
  95,   5,  67,  78,  79,  80,  95,   2, 204,  61,   1,  60,   1,  62,
   4,  40, 196, 210,  43,   2, 196, 210,   1, 194,   3, 212, 207, 211,
   3, 204, 206, 194,   3, 216, 206, 194,   2, 208, 195,   3, 195, 212,
 194,   2,  45,  62,   6, 210, 197, 212, 213, 210, 206,   6, 210, 197,
 211, 213, 204, 212,   7, 205, 207, 206, 201, 212, 207, 210,   4, 211,
 212, 207, 208,   6, 211, 201, 199, 206, 193, 204,   4, 197, 216, 201,
 212,   8, 195, 207, 206, 212, 201, 206, 213, 197,   6, 198, 201, 206,
 201, 211, 200,   5, 195, 217, 195, 204, 197,   6, 210, 197, 208, 197,
 193, 212,   3, 197, 206, 196,   7, 201, 206, 195, 204, 213, 196, 197,
   5, 194, 197, 199, 201, 206,   2, 207, 206,   6, 211, 215, 201, 212,
 195, 200,   4, 204, 201, 211, 212,  14, 212, 210, 213, 211, 212, 197,
 196, 208, 210, 207, 199, 210, 193, 205,   6, 205, 193, 201, 206, 197,
 208,   7, 195, 207, 206, 212, 210, 207, 204,   4,  40,  42,  41,  58;


%CONSTINTEGERARRAY SYMBOL(1300:2168)=  1307,
  1303,     0,  1305,     2,  1307,  1000,  1319,  1312,  1001,  1366,
  1787,  1315,  1003,  1020,  1319,     4,  1345,     6,  1329,  1323,
  1001,  1014,  1325,  1003,  1329,     4,  1329,     6,  1336,  1336,
  1010,  1028,  1319,  1011,  1359,  1345,  1343,  1010,  1028,  1319,
  1011,  1359,  1345,     8,  1352,  1352,  1010,  1028,  1307,  1011,
  1352,  1359,  1357,  1026,  1307,   999,  1359,  1000,  1366,  1364,
  1026,  1319,   999,  1366,  1000,  1374,  1372,     4,  1345,  1374,
     6,  1374,  1000,  1381,  1379,    10,  1345,   999,  1381,  1000,
  1386,  1384,    12,  1386,    15,  1410,  1393,    22,  1010,  1536,
  1556,  1011,  1399,    28,  1010,  1536,  1556,  1011,  1410,    34,
  1010,  1001,    38,  1345,    10,  1345,    10,  1345,  1011,  1416,
  1414,    40,  1013,  1416,  1000,  1423,  1421,    10,  1001,   999,
  1423,  1000,  1428,  1426,    46,  1428,  1000,  1436,  1431,    54,
  1433,    46,  1436,    59,    54,  1458,  1439,    46,  1441,    54,
  1444,    59,  1428,  1447,    64,  1423,  1450,    69,  1690,  1453,
    76,  1423,  1458,    81,     4,  1849,     6,  1465,  1461,    88,
  1465,  1004,  1436,  1465,  1472,  1468,    96,  1470,    99,  1472,
   103,  1488,  1478,  1436,  1493,  1001,  1416,  1484,  1458,  1488,
  1001,  1416,  1501,  1488,   112,  1001,  1416,  1493,  1491,   112,
  1493,  1000,  1501,  1497,   117,   112,  1499,   112,  1501,  1000,
  1511,  1509,     4,  1010,  1472,  1011,  1511,     6,  1511,  1000,
  1520,  1518,  1030,  1010,  1472,  1011,   999,  1520,  1000,  1531,
  1524,   123,  1016,  1526,   133,  1529,   140,  1018,  1531,  1016,
  1536,  1534,   147,  1536,  1000,  1550,  1542,  1345,  1032,  1345,
  1550,  1547,     4,  1536,  1556,     6,  1550,   154,  1536,  1556,
  1554,  1037,  1345,  1556,  1000,  1567,  1561,   158,  1536,  1567,
  1565,   162,  1536,  1574,  1567,  1000,  1574,  1572,   158,  1536,
   999,  1574,  1000,  1581,  1579,   162,  1536,   999,  1581,  1000,
  1589,  1585,  1033,  1345,  1587,   165,  1589,  1000,  1595,  1593,
   167,  1008,  1595,  1015,  1599,  1598,   167,  1599,  1608,  1606,
    10,  1345,   165,  1345,  1599,  1608,  1000,  1617,  1613,  1493,
  1001,  1416,  1617,   117,  1531,  1617,  1623,  1623,  1001,  1416,
  1795,  1623,  1629,  1627,    10,  1617,  1629,  1000,  1647,  1639,
  1493,  1595,  1010,  1001,  1410,  1803,  1011,  1647,  1647,   117,
  1531,  1595,  1001,  1410,  1795,  1669,  1658,  1656,    10,  1010,
  1001,  1410,  1803,  1011,  1647,  1658,  1000,  1669,  1661,   172,
  1663,   176,  1665,   185,  1667,   195,  1669,   204,  1680,  1678,
    38,  1012,  1028,  1319,  1359,  1690,  1680,  1680,  1000,  1690,
  1688,    10,  1028,  1319,  1359,  1690,   999,  1690,  1000,  1697,
  1695,     4,  1336,     6,  1697,  1000,  1704,  1702,    10,  1329,
   999,  1704,  1000,  1709,  1707,   210,  1709,  1000,  1715,  1713,
    10,  1345,  1715,  1000,  1728,  1726,    10,  1001,  1416,     4,
  1345,   165,  1345,     6,   999,  1728,  1000,  1735,  1733,    28,
  1536,  1556,  1735,  1000,  1748,  1738,  1019,  1740,  1006,  1745,
  1381,  1536,  1556,  1006,  1748,  1386,  1006,  1762,  1752,   216,
  1034,  1756,   222,   216,  1034,  1762,   222,  1010,  2009,  1011,
  1768,  1768,  1766,   158,  2009,  1768,  1000,  1774,  1772,   227,
  1774,  1774,  1000,  1787,  1778,   216,  1034,  1785,  1381,  1010,
  1536,  1556,  1011,  1748,  1787,  2009,  1795,  1793,   232,  1001,
  1366,  1787,  1795,  1000,  1803,  1803,     4,  1345,   165,  1345,
  1599,     6,  1811,  1809,    38,  1028,  1319,  1359,  1811,  1000,
  1820,  1814,   234,  1816,   176,  1818,   241,  1820,  1000,  1831,
  1829,  1001,    38,  1345,    10,  1345,    10,  1345,  1831,  1000,
  1838,  1836,    10,  1856,   999,  1838,  1000,  1849,  1842,   167,
  1001,  1849,  1001,     4,  1856,  1831,  1874,     6,  1856,  1852,
  1001,  1856,  1856,  1831,  1874,  1866,  1860,  1436,  1866,  1866,
     4,  1856,  1831,  1874,     6,  1874,  1871,  1493,  1001,  1416,
  1874,   117,  1617,  1882,  1880,   162,  1856,  1831,   999,  1882,
  1000,  1899,  1887,   249,  1002,  1006,  1891,  1022,  1899,  1006,
  1897,   254,  1009,    10,  1009,  1006,  1899,  1031,  1913,  1903,
  1023,  1913,  1908,  1024,   260,  1952,  1957,  1913,  1025,  1005,
    10,  1936,  1936,  1918,   263,  1001,   265,  1920,  1985,  1925,
     4,  1985,  1974,     6,  1929,   267,  1985,     6,  1934,     4,
   272,  1974,     6,  1936,   275,  1952,  1941,   263,  1001,   265,
  1943,  1985,  1948,     4,   272,  1974,     6,  1952,   267,  1005,
     6,  1957,  1955,   272,  1957,  1005,  1965,  1963,    10,  1005,
    10,  1005,  1965,  1000,  1974,  1969,     0,  1005,  1972,     2,
  1005,  1974,  1000,  1980,  1978,     0,   275,  1980,  1000,  1985,
  1983,    38,  1985,  1000,  2000,  1990,  1980,  1300,  1003,  1993,
  1001,  1965,  1998,     4,  2000,  1965,     6,  2000,   277,  2009,
  2003,   281,  2005,   285,  2007,   289,  2009,   292,  2042,  2018,
  1010,  1001,  1366,  1787,  1011,  1581,  1762,  2022,   296,  1001,
  1366,  2024,   299,  2028,   306,  1033,  1345,  2031,   313,  1762,
  2033,   321,  2038,   326,  1704,  1329,  1709,  2040,   333,  2042,
   338,  2169,  2049,  1027,  1010,  2009,  1011,  1735,  2051,  1007,
  2059,  1381,  1010,  1536,  1556,  1011,  1748,  1006,  2064,   347,
  1035,  1768,  1006,  2069,   354,  1029,  1820,  1006,  2074,   360,
  1036,  1728,  1006,  2079,  1386,   354,  1029,  1006,  2087,  1004,
  1008,  1010,  1436,  1011,  1608,  1006,  2091,   367,  1520,  1006,
  2096,    81,   147,  1838,  1006,  2106,  1010,  1811,  1458,  1011,
  1589,  1001,  1410,  1501,  1006,  2111,  1658,  1436,  1629,  1006,
  2115,   371,  1003,  1038,  2119,   379,  1015,  1006,  2128,   385,
  1021,  1704,  1329,  1697,   216,  1034,  1006,  2139,   388,  1001,
  1416,     4,  1345,   165,  1345,     6,  1715,  1006,  2143,   395,
  1006,  1017,  2149,   227,  1035,  1039,  1034,  1006,  2152,     8,
  1882,  2155,   400,  1006,  2159,   415,  1001,  1006,  2163,   422,
  1003,  1006,  2167,  1001,   430,  1019,  2169,  1006;
%CONSTINTEGER SS=2042
