/* * File: syntax.h * * Produced by GENPS from ../genps/ps86.dat on Tue Jul 26 13:29:25 1960 * */ const unsigned char clett[457] = { 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, 5, 211, 200, 207, 210, 212, 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, 83, 69, 71, 95, 5, 83, 73, 90, 69, 95, 4, 80, 85, 84, 95, 6, 83, 84, 44, 83, 84, 40, 3, 83, 84, 40, 1, 60, 1, 62, 2, 195, 211, 2, 196, 211, 2, 197, 211, 2, 211, 211, 2, 198, 211, 2, 199, 211, 4, 211, 197, 199, 196, 4, 211, 197, 199, 215, 1, 43, 1, 45, 1, 91, 1, 93, 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 }; const short x_symbol[856] = { 1312, 1305, 1001, 1359, 1780, 1308, 1003, 1019, 1312, 0, 1338, 2, 1322, 1316, 1001, 1013, 1318, 1003, 1322, 0, 1322, 2, 1329, 1329, 1009, 1033, 1312, 1010, 1352, 1338, 1336, 1009, 1033, 1312, 1010, 1352, 1338, 4, 1345, 1345, 1009, 1033, 1300, 1010, 1345, 1352, 1350, 1031, 1300, 999, 1352, 1000, 1359, 1357, 1031, 1312, 999, 1359, 1000, 1367, 1365, 0, 1338, 1367, 2, 1367, 1000, 1374, 1372, 6, 1338, 999, 1374, 1000, 1379, 1377, 8, 1379, 11, 1403, 1386, 18, 1009, 1529, 1549, 1010, 1392, 24, 1009, 1529, 1549, 1010, 1403, 30, 1009, 1001, 34, 1338, 6, 1338, 6, 1338, 1010, 1409, 1407, 36, 1012, 1409, 1000, 1416, 1414, 6, 1001, 999, 1416, 1000, 1421, 1419, 42, 1421, 1000, 1426, 1424, 50, 1426, 42, 1451, 1429, 42, 1431, 50, 1434, 55, 1421, 1437, 60, 1416, 1440, 65, 1683, 1443, 72, 1416, 1446, 77, 1416, 1451, 83, 0, 1842, 2, 1458, 1454, 90, 1458, 1004, 1426, 1458, 1465, 1461, 98, 1463, 101, 1465, 105, 1481, 1471, 1426, 1486, 1001, 1409, 1477, 1451, 1481, 1001, 1409, 1494, 1481, 114, 1001, 1409, 1486, 1484, 114, 1486, 1000, 1494, 1490, 119, 114, 1492, 114, 1494, 1000, 1504, 1502, 0, 1009, 1465, 1010, 1504, 2, 1504, 1000, 1513, 1511, 1035, 1009, 1465, 1010, 999, 1513, 1000, 1524, 1517, 125, 1015, 1519, 135, 1522, 142, 1017, 1524, 1015, 1529, 1527, 149, 1529, 1000, 1543, 1535, 1338, 1036, 1338, 1543, 1540, 0, 1529, 1549, 2, 1543, 156, 1529, 1549, 1547, 1041, 1338, 1549, 1000, 1560, 1554, 160, 1529, 1560, 1558, 164, 1529, 1567, 1560, 1000, 1567, 1565, 160, 1529, 999, 1567, 1000, 1574, 1572, 164, 1529, 999, 1574, 1000, 1582, 1578, 1037, 1338, 1580, 167, 1582, 1000, 1588, 1586, 169, 1008, 1588, 1014, 1592, 1591, 169, 1592, 1601, 1599, 6, 1338, 167, 1338, 1592, 1601, 1000, 1610, 1606, 1486, 1001, 1409, 1610, 119, 1524, 1610, 1616, 1616, 1001, 1409, 1788, 1616, 1622, 1620, 6, 1610, 1622, 1000, 1640, 1632, 1486, 1588, 1009, 1001, 1403, 1796, 1010, 1640, 1640, 119, 1524, 1588, 1001, 1403, 1788, 1662, 1651, 1649, 6, 1009, 1001, 1403, 1796, 1010, 1640, 1651, 1000, 1662, 1654, 174, 1656, 178, 1658, 187, 1660, 197, 1662, 206, 1673, 1671, 34, 1011, 1033, 1312, 1352, 1683, 1673, 1673, 1000, 1683, 1681, 6, 1033, 1312, 1352, 1683, 999, 1683, 1000, 1690, 1688, 0, 1329, 2, 1690, 1000, 1697, 1695, 6, 1322, 999, 1697, 1000, 1702, 1700, 212, 1702, 1000, 1708, 1706, 6, 1338, 1708, 1000, 1721, 1719, 6, 1001, 1409, 0, 1338, 167, 1338, 2, 999, 1721, 1000, 1728, 1726, 24, 1529, 1549, 1728, 1000, 1741, 1731, 1018, 1733, 1006, 1738, 1374, 1529, 1549, 1006, 1741, 1379, 1006, 1755, 1745, 218, 1038, 1749, 224, 218, 1038, 1755, 224, 1009, 1996, 1010, 1761, 1761, 1759, 160, 1996, 1761, 1000, 1767, 1765, 229, 1767, 1767, 1000, 1780, 1771, 218, 1038, 1778, 1374, 1009, 1529, 1549, 1010, 1741, 1780, 1996, 1788, 1786, 234, 1001, 1359, 1780, 1788, 1000, 1796, 1796, 0, 1338, 167, 1338, 1592, 2, 1804, 1802, 34, 1033, 1312, 1352, 1804, 1000, 1813, 1807, 236, 1809, 178, 1811, 243, 1813, 1000, 1824, 1822, 1001, 34, 1338, 6, 1338, 6, 1338, 1824, 1000, 1831, 1829, 6, 1849, 999, 1831, 1000, 1842, 1835, 169, 1001, 1842, 1001, 0, 1849, 1824, 1867, 2, 1849, 1845, 1001, 1849, 1849, 1824, 1867, 1859, 1853, 1426, 1859, 1859, 0, 1849, 1824, 1867, 2, 1867, 1864, 1486, 1001, 1409, 1867, 119, 1610, 1875, 1873, 164, 1849, 1824, 999, 1875, 1000, 1894, 1880, 1021, 1894, 1006, 1884, 251, 1946, 1006, 1888, 256, 1959, 1006, 1892, 262, 1002, 1006, 1894, 1030, 1919, 1898, 1022, 1002, 1901, 1027, 1919, 1904, 1023, 1930, 1909, 1024, 1930, 6, 1930, 1916, 1025, 1930, 6, 1930, 6, 1930, 1919, 1026, 1939, 1930, 1924, 267, 1029, 2, 1928, 274, 1029, 2, 1930, 1000, 1939, 1933, 1028, 1935, 1980, 1937, 1001, 1939, 1002, 1946, 1944, 278, 1001, 280, 1946, 1028, 1959, 1949, 282, 1951, 285, 1953, 288, 1955, 291, 1957, 294, 1959, 297, 1964, 1962, 300, 1964, 305, 1971, 1969, 1028, 4, 1005, 1971, 1028, 1980, 1975, 310, 1005, 1978, 312, 1005, 1980, 1000, 1996, 1986, 314, 1964, 1971, 316, 1993, 314, 1964, 310, 1964, 1971, 316, 1996, 1001, 1980, 2029, 2005, 1009, 1001, 1359, 1780, 1010, 1574, 1755, 2009, 318, 1001, 1359, 2011, 321, 2015, 328, 1037, 1338, 2018, 335, 1755, 2020, 343, 2025, 348, 1697, 1322, 1702, 2027, 355, 2029, 360, 2156, 2036, 1032, 1009, 1996, 1010, 1728, 2038, 1007, 2046, 1374, 1009, 1529, 1549, 1010, 1741, 1006, 2051, 369, 1039, 1761, 1006, 2056, 376, 1034, 1813, 1006, 2061, 382, 1040, 1721, 1006, 2066, 1379, 376, 1034, 1006, 2074, 1004, 1008, 1009, 1426, 1010, 1601, 1006, 2078, 389, 1513, 1006, 2083, 83, 149, 1831, 1006, 2093, 1009, 1804, 1451, 1010, 1582, 1001, 1403, 1494, 1006, 2098, 1651, 1426, 1622, 1006, 2102, 393, 1003, 1042, 2106, 401, 1014, 1006, 2115, 407, 1020, 1697, 1322, 1690, 218, 1038, 1006, 2126, 410, 1001, 1409, 0, 1338, 167, 1338, 2, 1708, 1006, 2130, 417, 1006, 1016, 2136, 229, 1039, 1043, 1038, 1006, 2139, 4, 1875, 2142, 422, 1006, 2146, 437, 1001, 1006, 2150, 444, 1003, 1006, 2154, 1001, 452, 1018, 2156, 1006 }; const short *symbol = &x_symbol[-1300]; #define SS 2029 /* * End of file: syntax.h * */