! PRODUCED BY newps FROM 
%CONSTBYTEINTEGERARRAY CLETT(0:481)=   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,   8, 204, 207, 206, 199, 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,   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,   3, 206,
 207, 212,   3, 193, 206, 196,   2, 207, 210,   1,  58,   4, 211, 208,
 197, 195,   5, 193, 210, 210, 193, 217,   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,   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:2168)=  1307,
  1303,     0,  1305,     2,  1307,  1000,  1319,  1312,  1001,  1366,
  1800,  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,  1551,
  1571,  1011,  1399,    28,  1010,  1551,  1571,  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,  1435,  1431,    54,
  1433,    46,  1435,    59,  1452,  1438,    46,  1440,    54,  1443,
    68,  1428,  1446,    73,  1423,  1449,    78,  1706,  1452,    85,
  1423,  1474,  1455,    46,  1457,    54,  1460,    68,  1428,  1463,
    73,  1423,  1466,    78,  1706,  1469,    85,  1423,  1474,    90,
     4,  1851,     6,  1481,  1477,    97,  1481,  1031,  1435,  1481,
  1488,  1484,   105,  1486,   108,  1488,   112,  1504,  1494,  1452,
  1509,  1001,  1416,  1500,  1474,  1504,  1001,  1416,  1516,  1504,
   121,  1001,  1416,  1509,  1507,   121,  1509,  1000,  1516,  1512,
   126,  1514,   121,  1516,  1000,  1526,  1524,     4,  1010,  1488,
  1011,  1526,     6,  1526,  1000,  1535,  1533,  1030,  1010,  1488,
  1011,   999,  1535,  1000,  1546,  1539,   136,  1016,  1541,   146,
  1544,   153,  1018,  1546,  1016,  1551,  1549,   160,  1551,  1000,
  1565,  1557,  1345,  1032,  1345,  1565,  1562,     4,  1551,  1571,
     6,  1565,   167,  1551,  1571,  1569,  1037,  1345,  1571,  1000,
  1582,  1576,   171,  1551,  1582,  1580,   175,  1551,  1589,  1582,
  1000,  1589,  1587,   171,  1551,   999,  1589,  1000,  1596,  1594,
   175,  1551,   999,  1596,  1000,  1604,  1600,  1033,  1345,  1602,
   178,  1604,  1000,  1610,  1608,   180,  1008,  1610,  1015,  1614,
  1613,   180,  1614,  1623,  1621,    10,  1345,   178,  1345,  1614,
  1623,  1000,  1632,  1628,  1509,  1001,  1416,  1632,   185,  1546,
  1632,  1638,  1638,  1001,  1416,  1808,  1638,  1644,  1642,    10,
  1632,  1644,  1000,  1662,  1655,  1509,  1610,  1010,  1001,  1410,
  1816,  1011,  1662,  1006,  1662,   185,  1546,  1610,  1001,  1808,
  1684,  1673,  1671,    10,  1010,  1001,  1410,  1816,  1011,  1662,
  1673,  1000,  1684,  1676,   191,  1678,   195,  1680,   204,  1682,
   214,  1684,   223,  1695,  1693,    38,  1012,  1028,  1319,  1359,
  1706,  1695,  1695,  1000,  1706,  1704,    10,  1012,  1028,  1319,
  1359,  1706,   999,  1706,  1000,  1713,  1711,     4,  1336,     6,
  1713,  1000,  1720,  1718,    10,  1009,   999,  1720,  1000,  1725,
  1723,   229,  1725,  1000,  1731,  1729,    10,  1345,  1731,  1000,
  1744,  1742,    10,  1001,  1416,     4,  1345,   178,  1345,     6,
   999,  1744,  1000,  1751,  1749,    28,  1551,  1571,  1751,  1000,
  1764,  1754,  1019,  1756,  1006,  1761,  1381,  1551,  1571,  1006,
  1764,  1386,  1006,  1777,  1768,   235,  1034,  1771,   241,  1034,
  1777,   251,  1010,  2006,  1011,  1783,  1783,  1781,   171,  2006,
  1783,  1000,  1800,  1787,   256,  1034,  1795,   266,  1381,  1010,
  1551,  1571,  1011,  1764,  1798,   266,  2006,  1800,  1000,  1808,
  1806,   271,  1001,  1366,  1800,  1808,  1000,  1816,  1816,     4,
  1345,   178,  1345,  1614,     6,  1824,  1822,    38,  1028,  1319,
  1359,  1824,  1000,  1833,  1827,   273,  1829,   195,  1831,   280,
  1833,  1000,  1844,  1842,  1001,    38,  1345,    10,  1345,    10,
  1345,  1844,  1000,  1851,  1849,    10,  1858,   999,  1851,  1000,
  1858,  1854,  1001,  1858,  1858,  1844,  1876,  1868,  1862,  1452,
  1868,  1868,     4,  1858,  1844,  1876,     6,  1876,  1873,  1509,
  1001,  1416,  1876,   185,  1632,  1884,  1882,   175,  1858,  1844,
   999,  1884,  1000,  1896,  1888,   288,  1002,  1891,  1022,  1896,
  1896,   293,  1009,    10,  1009,  1910,  1900,  1023,  1910,  1905,
  1024,   299,  1949,  1954,  1910,  1025,  1005,    10,  1933,  1933,
  1915,   302,  1001,   304,  1917,  1982,  1922,     4,  1982,  1971,
     6,  1926,   306,  1982,     6,  1931,     4,   311,  1971,     6,
  1933,   314,  1949,  1938,   302,  1001,   304,  1940,  1982,  1945,
     4,   311,  1971,     6,  1949,   306,  1005,     6,  1954,  1952,
   311,  1954,  1005,  1962,  1960,    10,  1005,    10,  1005,  1962,
  1000,  1971,  1966,     0,  1005,  1969,     2,  1005,  1971,  1000,
  1977,  1975,     0,   314,  1977,  1000,  1982,  1980,    38,  1982,
  1000,  1997,  1987,  1977,  1300,  1003,  1990,  1001,  1962,  1995,
     4,  1997,  1962,     6,  1997,   316,  2006,  2000,   320,  2002,
   324,  2004,   328,  2006,   331,  2039,  2015,  1010,  1001,  1366,
  1800,  1011,  1596,  1777,  2019,   335,  1001,  1366,  2021,   338,
  2025,   345,  1033,  1345,  2028,   352,  1777,  2030,   360,  2035,
   365,  1720,  1009,  1725,  2037,   372,  2039,   377,  2169,  2046,
  1027,  1010,  2006,  1011,  1751,  2048,  1007,  2056,  1381,  1010,
  1551,  1571,  1011,  1764,  1006,  2061,   386,  1035,  1783,  1006,
  2066,   393,  1029,  1833,  1006,  2071,   399,  1036,  1744,  1006,
  2076,  1386,   393,  1029,  1006,  2084,  1004,  1008,  1010,  1452,
  1011,  1623,  1006,  2088,   406,  1535,  1006,  2098,    90,   160,
  1001,     4,  1858,  1844,  1876,     6,  1006,  2108,  1010,  1824,
  1474,  1011,  1604,  1001,  1410,  1516,  1006,  2112,  1673,  1452,
  1644,  2116,   410,  1003,  1038,  2120,   418,  1015,  1006,  2129,
   424,  1021,  1720,  1009,  1713,   235,  1034,  1006,  2140,   427,
  1001,  1416,     4,  1345,   178,  1345,     6,  1731,  1006,  2144,
   434,  1006,  1017,  2149,   439,   121,  1001,  1006,  2153,     8,
  1884,  1006,  2156,   447,  1006,  2160,   462,  1001,  1006,  2164,
   469,  1003,  1006,  2167,  1001,   477,  2169,  1006;
%CONSTINTEGER SS=2039
