! PRODUCED BY newps FROM 
%CONSTBYTEINTEGERARRAY CLETT(0:442)=   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,   7, 211, 208, 197, 195, 201, 193,
 204,  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:2173)=  1307,
  1303,     0,  1305,     2,  1307,  1000,  1319,  1312,  1001,  1366,
  1803,  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,  1553,
  1573,  1011,  1399,    28,  1010,  1553,  1573,  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,  1453,  1439,    46,  1441,    54,
  1444,    59,  1428,  1447,    64,  1423,  1450,    69,  1706,  1453,
    76,  1423,  1475,  1456,    46,  1458,    54,  1461,    59,  1428,
  1464,    64,  1423,  1467,    69,  1706,  1470,    76,  1423,  1475,
    81,     4,  1854,     6,  1482,  1478,    88,  1482,  1031,  1436,
  1482,  1489,  1485,    96,  1487,    99,  1489,   103,  1505,  1495,
  1453,  1510,  1001,  1416,  1501,  1475,  1505,  1001,  1416,  1518,
  1505,   112,  1001,  1416,  1510,  1508,   112,  1510,  1000,  1518,
  1514,   117,   112,  1516,   112,  1518,  1000,  1528,  1526,     4,
  1010,  1489,  1011,  1528,     6,  1528,  1000,  1537,  1535,  1030,
  1010,  1489,  1011,   999,  1537,  1000,  1548,  1541,   123,  1016,
  1543,   133,  1546,   140,  1018,  1548,  1016,  1553,  1551,   147,
  1553,  1000,  1567,  1559,  1345,  1032,  1345,  1567,  1564,     4,
  1553,  1573,     6,  1567,   154,  1553,  1573,  1571,  1037,  1345,
  1573,  1000,  1584,  1578,   158,  1553,  1584,  1582,   162,  1553,
  1591,  1584,  1000,  1591,  1589,   158,  1553,   999,  1591,  1000,
  1598,  1596,   162,  1553,   999,  1598,  1000,  1606,  1602,  1033,
  1345,  1604,   165,  1606,  1000,  1612,  1610,   167,  1008,  1612,
  1015,  1616,  1615,   167,  1616,  1625,  1623,    10,  1345,   165,
  1345,  1616,  1625,  1000,  1634,  1630,  1510,  1001,  1416,  1634,
   117,  1548,  1634,  1640,  1640,  1001,  1416,  1811,  1640,  1646,
  1644,    10,  1634,  1646,  1000,  1663,  1656,  1510,  1612,  1010,
  1001,  1410,  1819,  1011,  1663,  1663,   117,  1548,  1612,  1001,
  1811,  1685,  1674,  1672,    10,  1010,  1001,  1410,  1819,  1011,
  1663,  1674,  1000,  1685,  1677,   172,  1679,   176,  1681,   185,
  1683,   195,  1685,   204,  1696,  1694,    38,  1012,  1028,  1319,
  1359,  1706,  1696,  1696,  1000,  1706,  1704,    10,  1028,  1319,
  1359,  1706,   999,  1706,  1000,  1713,  1711,     4,  1336,     6,
  1713,  1000,  1720,  1718,    10,  1329,   999,  1720,  1000,  1725,
  1723,   210,  1725,  1000,  1731,  1729,    10,  1345,  1731,  1000,
  1744,  1742,    10,  1001,  1416,     4,  1345,   165,  1345,     6,
   999,  1744,  1000,  1751,  1749,    28,  1553,  1573,  1751,  1000,
  1764,  1754,  1019,  1756,  1006,  1761,  1381,  1553,  1573,  1006,
  1764,  1386,  1006,  1778,  1768,   216,  1034,  1772,   222,   216,
  1034,  1778,   222,  1010,  2009,  1011,  1784,  1784,  1782,   158,
  2009,  1784,  1000,  1790,  1788,   227,  1790,  1790,  1000,  1803,
  1794,   216,  1034,  1801,  1381,  1010,  1553,  1573,  1011,  1764,
  1803,  2009,  1811,  1809,   232,  1001,  1366,  1803,  1811,  1000,
  1819,  1819,     4,  1345,   165,  1345,  1616,     6,  1827,  1825,
    38,  1028,  1319,  1359,  1827,  1000,  1836,  1830,   234,  1832,
   176,  1834,   241,  1836,  1000,  1847,  1845,  1001,    38,  1345,
    10,  1345,    10,  1345,  1847,  1000,  1854,  1852,    10,  1861,
   999,  1854,  1000,  1861,  1857,  1001,  1861,  1861,  1847,  1879,
  1871,  1865,  1453,  1871,  1871,     4,  1861,  1847,  1879,     6,
  1879,  1876,  1510,  1001,  1416,  1879,   117,  1634,  1887,  1885,
   162,  1861,  1847,   999,  1887,  1000,  1899,  1891,   249,  1002,
  1894,  1022,  1899,  1899,   254,  1009,    10,  1009,  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,  1803,  1011,  1598,  1778,  2022,   296,  1001,
  1366,  2024,   299,  2028,   306,  1033,  1345,  2031,   313,  1778,
  2033,   321,  2038,   326,  1720,  1329,  1725,  2040,   333,  2042,
   338,  2174,  2049,  1027,  1010,  2009,  1011,  1751,  2051,  1007,
  2059,  1381,  1010,  1553,  1573,  1011,  1764,  1006,  2064,   347,
  1035,  1784,  1006,  2069,   354,  1029,  1836,  1006,  2074,   360,
  1036,  1744,  1006,  2079,  1386,   354,  1029,  1006,  2087,  1004,
  1008,  1010,  1453,  1011,  1625,  1006,  2091,   367,  1537,  1006,
  2101,    81,   147,  1001,     4,  1861,  1847,  1879,     6,  1006,
  2111,  1010,  1827,  1475,  1011,  1606,  1001,  1410,  1518,  1006,
  2116,  1674,  1453,  1646,  1006,  2120,   371,  1003,  1038,  2124,
   379,  1015,  1006,  2133,   385,  1021,  1720,  1329,  1713,   216,
  1034,  1006,  2144,   388,  1001,  1416,     4,  1345,   165,  1345,
     6,  1731,  1006,  2148,   395,  1006,  1017,  2153,   400,   112,
  1001,  1006,  2157,     8,  1887,  1006,  2160,   408,  1006,  2164,
   423,  1001,  1006,  2168,   430,  1003,  1006,  2172,  1001,   438,
  1019,  2174,  1006;
%CONSTINTEGER SS=2042
