! PRODUCED BY newps FROM 
%CONSTBYTEINTEGERARRAY CLETT(0:500)=   1,
  43,   1,  45,   1,  40,   1,  41,   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,   4, 210, 197, 193, 204,
   7, 201, 206, 212, 197, 199, 197, 210,   8, 204, 207, 206, 199, 210,
 197, 193, 204,   4, 204, 207, 206, 199,  11, 194, 217, 212, 197, 201,
 206, 212, 197, 199, 197, 210,   6, 211, 212, 210, 201, 206, 199,  11,
 200, 193, 204, 198, 201, 206, 212, 197, 199, 197, 210,   7, 210, 207,
 213, 212, 201, 206, 197,   2, 198, 206,   3, 205, 193, 208,   8, 198,
 213, 206, 195, 212, 201, 207, 206,   6, 210, 197, 195, 207, 210, 196,
   4, 206, 193, 205, 197,   5, 193, 210, 210, 193, 217,   9, 193, 210,
 210, 193, 217, 206, 193, 205, 197,   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,   4, 211, 208, 197,
 195,   3, 206, 207, 212,   3, 193, 206, 196,   2, 207, 210,   1,  58,
   6, 206, 207, 210, 205, 193, 204,   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,   9, 212, 200, 197, 206, 211, 212, 193, 210, 212,   4, 212, 200,
 197, 206,   9, 197, 204, 211, 197, 211, 212, 193, 210, 212,   4, 197,
 204, 211, 197,   1,  95,   6, 211, 217, 211, 212, 197, 205,   7, 196,
 217, 206, 193, 205, 201, 195,   2,  42,  61,   1,  42,   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,   5, 210, 197, 193, 204, 211,   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,   7, 201, 206, 195, 204, 213, 196, 197;

%CONSTINTEGERARRAY SYMBOL(1300:2213)=  1307,
  1303,     0,  1305,     2,  1307,  1000,  1319,  1312,  1001,  1357,
  1824,  1315,  1003,  1020,  1319,     4,  1336,     6,  1329,  1323,
  1001,  1014,  1325,  1003,  1329,     4,  1329,     6,  1336,  1336,
  1010,  1028,  1319,  1011,  1350,  1343,  1343,  1010,  1028,  1307,
  1011,  1343,  1350,  1348,  1026,  1307,   999,  1350,  1000,  1357,
  1355,  1026,  1319,   999,  1357,  1000,  1365,  1363,     4,  1336,
  1365,     6,  1365,  1000,  1372,  1370,     8,  1336,   999,  1372,
  1000,  1377,  1375,    10,  1377,    13,  1401,  1384,    20,  1010,
  1542,  1562,  1011,  1390,    26,  1010,  1542,  1562,  1011,  1401,
    32,  1010,  1001,    36,  1336,     8,  1336,     8,  1336,  1011,
  1408,  1406,     8,  1001,   999,  1408,  1000,  1415,  1411,    38,
  1413,    43,  1415,    51,  1430,  1418,    43,  1420,    38,  1423,
    60,  1408,  1425,    65,  1428,    77,  1925,  1430,    84,  1437,
  1433,    96,  1437,  1031,  1415,  1437,  1444,  1440,   104,  1442,
   107,  1444,   111,  1466,  1450,  1415,  1476,  1001,  1401,  1456,
   120,  1466,   127,  1001,  1401,  1462,  1430,  1471,  1001,  1401,
  1483,  1466,   127,  1001,  1401,  1471,  1469,   132,  1471,  1000,
  1476,  1474,   127,  1476,  1000,  1483,  1479,   138,  1481,   127,
  1483,  1000,  1493,  1491,     4,  1010,  1444,  1011,  1493,     6,
  1493,  1000,  1502,  1500,  1030,  1010,  1444,  1011,   999,  1502,
  1000,  1513,  1506,   148,  1016,  1508,   158,  1511,   165,  1018,
  1513,  1016,  1518,  1516,   172,  1518,  1000,  1542,  1526,   172,
  1001,     4,  1876,  1869,     6,  1535,   179,  1010,  1001,  1818,
  1011,     4,  1001,     6,  1542,  1010,  1615,  1011,     4,  1001,
     6,  1556,  1548,  1336,  1032,  1336,  1556,  1553,     4,  1542,
  1562,     6,  1556,   184,  1542,  1562,  1560,  1037,  1336,  1562,
  1000,  1573,  1567,   188,  1542,  1573,  1571,   192,  1542,  1580,
  1573,  1000,  1580,  1578,   188,  1542,   999,  1580,  1000,  1587,
  1585,   192,  1542,   999,  1587,  1000,  1595,  1591,  1033,  1336,
  1593,   195,  1595,  1000,  1601,  1599,   179,  1008,  1601,  1015,
  1606,  1604,    60,  1606,   197,  1615,  1613,     8,  1336,   195,
  1336,  1606,  1615,  1000,  1624,  1620,  1476,  1001,  1401,  1624,
   132,  1513,  1624,  1630,  1630,  1001,  1401,  1832,  1630,  1636,
  1634,     8,  1624,  1636,  1000,  1652,  1646,  1476,  1010,  1001,
  1401,  1840,  1011,  1652,  1006,  1652,   132,  1513,  1001,  1832,
  1701,  1663,  1661,     8,  1010,  1001,  1401,  1840,  1011,  1652,
  1663,  1000,  1674,  1666,   204,  1668,   208,  1670,   217,  1672,
   227,  1674,   236,  1701,  1678,  1415,  1636,  1689,   120,  1476,
  1010,  1001,  1401,  1011,     4,  1001,     6,  1006,  1701,   120,
   132,  1513,  1010,  1001,  1832,  1011,     4,  1001,     6,  1006,
  1711,  1709,    36,  1028,  1319,  1350,  1722,  1711,  1711,  1000,
  1722,  1720,     8,  1012,  1028,  1319,  1350,  1722,   999,  1722,
  1000,  1731,  1729,     4,  1028,  1319,  1350,     6,  1731,  1000,
  1738,  1736,     8,  1009,   999,  1738,  1000,  1743,  1741,   242,
  1743,  1000,  1749,  1747,     8,  1336,  1749,  1000,  1762,  1760,
     8,  1001,  1401,     4,  1336,   195,  1336,     6,   999,  1762,
  1000,  1769,  1767,    26,  1542,  1562,  1769,  1000,  1782,  1772,
  1019,  1774,  1006,  1779,  1372,  1542,  1562,  1006,  1782,  1377,
  1006,  1795,  1786,   248,  1034,  1789,   254,  1034,  1795,   264,
  1010,  2060,  1011,  1801,  1801,  1799,   188,  2060,  1801,  1000,
  1818,  1805,   269,  1034,  1813,   279,  1372,  1010,  1542,  1562,
  1011,  1782,  1816,   279,  2060,  1818,  1000,  1824,  1822,   284,
  1001,  1824,  1000,  1832,  1830,   284,  1001,  1357,  1824,  1832,
  1000,  1840,  1840,     4,  1336,   195,  1336,  1606,     6,  1848,
  1846,    36,  1028,  1319,  1350,  1848,  1000,  1858,  1852,   286,
  1013,  1854,   208,  1856,   293,  1858,  1000,  1869,  1867,  1001,
    36,  1336,     8,  1336,     8,  1336,  1869,  1000,  1876,  1874,
     8,  1876,   999,  1876,  1000,  1916,  1882,  1415,  1476,  1001,
  1401,  1889,  1415,   132,  1001,  1401,  1832,  1916,  1895,   120,
  1466,   127,  1001,  1401,  1904,   120,  1010,  1001,  1401,  1011,
     4,  1001,     6,  1916,   120,   132,  1010,  1001,  1401,  1832,
  1916,  1011,     4,  1001,     6,  1925,  1923,     8,  1001,  1401,
  1832,   999,  1925,  1000,  1932,  1930,     4,  1009,     6,  1932,
  1000,  1950,  1936,   301,  1001,  1939,   304,  1001,  1942,   306,
  1002,  1945,  1022,  1950,  1950,   311,  1009,     8,  1009,  1964,
  1954,  1023,  1964,  1959,  1024,   317,  2003,  2008,  1964,  1025,
  1005,     8,  1987,  1987,  1969,   320,  1001,   322,  1971,  2036,
  1976,     4,  2036,  2025,     6,  1980,   324,  2036,     6,  1985,
     4,   329,  2025,     6,  1987,   332,  2003,  1992,   320,  1001,
   322,  1994,  2036,  1999,     4,   329,  2025,     6,  2003,   324,
  1005,     6,  2008,  2006,   329,  2008,  1005,  2016,  2014,     8,
  1005,     8,  1005,  2016,  1000,  2025,  2020,     0,  1005,  2023,
     2,  1005,  2025,  1000,  2031,  2029,     0,   332,  2031,  1000,
  2036,  2034,    36,  2036,  1000,  2051,  2041,  2031,  1300,  1003,
  2044,  1001,  2016,  2049,     4,  2051,  2016,     6,  2051,   334,
  2060,  2054,   338,  2056,   342,  2058,   346,  2060,   349,  2093,
  2069,  1010,  1001,  1357,  1824,  1011,  1587,  1795,  2073,   353,
  1001,  1357,  2075,   356,  2079,   363,  1033,  1336,  2082,   370,
  1795,  2084,   378,  2089,   383,  1738,  1009,  1743,  2091,   390,
  2093,   395,  2214,  2100,  1027,  1010,  2060,  1011,  1769,  2102,
  1007,  2110,  1372,  1010,  1542,  1562,  1011,  1782,  1006,  2115,
   404,  1035,  1801,  1006,  2120,   411,  1029,  1858,  1006,  2125,
   417,  1036,  1762,  1006,  2130,  1377,   411,  1029,  1006,  2136,
  1031,  1008,  1415,  1615,  1006,  2140,   424,  1502,  1006,  2144,
   120,  1518,  1006,  2153,  1010,  1848,  1430,  1011,  1595,  1001,
  1483,  1006,  2156,  1663,  1674,  2160,   428,  1601,  1006,  2164,
   434,  1015,  1006,  2173,   440,  1021,  1738,  1009,  1731,   248,
  1034,  1006,  2184,   443,  1001,  1401,     4,  1336,   195,  1336,
     6,  1749,  1006,  2188,   450,  1006,  1017,  2193,   455,   127,
  1001,  1006,  2197,   304,  1932,  1006,  2200,   463,  1006,  2204,
   478,  1001,  1006,  2208,   485,  1003,  1006,  2212,   493,  1003,
  1038,  2214,  1006;
%CONSTINTEGER SS=2093
