-#define YYTABLESIZE 4154
-short yytable[] = { 69,
- 20, 85, 62, 62, 85, 207, 62, 203, 167, 180,
- 102, 339, 169, 206, 80, 268, 201, 112, 85, 85,
- 250, 82, 245, 85, 271, 124, 293, 57, 306, 122,
- 307, 171, 121, 15, 334, 335, 167, 84, 18, 341,
- 149, 308, 357, 131, 168, 147, 148, 135, 38, 272,
- 93, 15, 97, 85, 98, 349, 18, 141, 233, 352,
- 172, 67, 16, 170, 17, 112, 38, 169, 149, 99,
- 186, 187, 188, 189, 190, 191, 282, 37, 25, 67,
- 16, 288, 17, 290, 100, 292, 23, 313, 199, 23,
- 231, 57, 195, 196, 305, 37, 112, 336, 337, 168,
- 174, 39, 143, 144, 145, 146, 105, 106, 175, 107,
- 177, 25, 173, 67, 25, 25, 25, 23, 25, 15,
- 25, 25, 179, 25, 315, 287, 326, 147, 148, 209,
- 210, 212, 213, 214, 215, 216, 182, 25, 192, 4,
- 5, 6, 25, 7, 8, 193, 200, 205, 248, 62,
- 289, 273, 20, 236, 237, 238, 239, 240, 241, 243,
- 202, 291, 279, 309, 281, 270, 148, 286, 196, 25,
- 351, 295, 255, 210, 298, 210, 299, 265, 314, 300,
- 330, 301, 167, 302, 274, 20, 276, 278, 20, 20,
- 20, 280, 20, 304, 20, 20, 303, 20, 19, 311,
- 316, 25, 317, 25, 25, 318, 319, 321, 329, 147,
- 148, 20, 332, 331, 149, 340, 20, 284, 342, 285,
- 353, 70, 112, 87, 70, 232, 163, 112, 88, 164,
- 165, 166, 85, 85, 85, 85, 354, 141, 70, 70,
- 141, 85, 346, 20, 51, 147, 148, 85, 85, 251,
- 85, 57, 252, 158, 141, 141, 344, 85, 85, 166,
- 85, 85, 85, 85, 85, 85, 101, 310, 2, 147,
- 148, 156, 196, 70, 36, 20, 34, 20, 20, 159,
- 147, 148, 147, 148, 147, 148, 147, 148, 156, 141,
- 255, 39, 67, 67, 67, 67, 36, 147, 148, 167,
- 34, 43, 147, 148, 43, 43, 43, 21, 43, 96,
- 43, 43, 211, 43, 147, 148, 77, 67, 67, 147,
- 148, 147, 148, 147, 148, 147, 148, 43, 69, 147,
- 148, 149, 43, 348, 25, 25, 25, 25, 25, 25,
- 262, 25, 25, 25, 25, 25, 25, 25, 25, 25,
- 25, 25, 25, 25, 147, 148, 328, 25, 25, 43,
- 25, 25, 25, 25, 25, 147, 148, 147, 148, 25,
- 25, 25, 25, 25, 25, 167, 185, 25, 82, 320,
- 153, 82, 147, 148, 147, 148, 25, 0, 25, 25,
- 0, 43, 0, 0, 43, 82, 82, 162, 0, 0,
- 163, 156, 0, 164, 165, 166, 0, 149, 20, 20,
- 20, 20, 20, 20, 0, 20, 20, 20, 20, 20,
- 20, 20, 20, 20, 20, 20, 20, 20, 0, 167,
- 82, 20, 20, 0, 20, 20, 20, 20, 20, 0,
- 0, 0, 0, 20, 20, 20, 20, 20, 20, 0,
- 0, 20, 70, 70, 70, 70, 0, 0, 0, 167,
- 20, 149, 20, 20, 0, 0, 0, 0, 141, 141,
- 141, 141, 167, 0, 181, 0, 170, 70, 70, 170,
- 170, 170, 0, 170, 154, 170, 170, 154, 170, 150,
- 0, 149, 0, 141, 141, 151, 152, 153, 154, 0,
- 0, 154, 154, 0, 149, 204, 154, 170, 155, 157,
- 158, 159, 160, 161, 162, 0, 0, 163, 0, 0,
- 164, 165, 166, 0, 43, 43, 43, 43, 43, 43,
- 0, 43, 43, 43, 154, 0, 154, 43, 0, 0,
- 43, 43, 43, 43, 0, 0, 0, 43, 43, 0,
- 43, 43, 43, 43, 43, 0, 0, 0, 0, 43,
- 43, 43, 43, 43, 43, 66, 154, 43, 66, 170,
- 0, 0, 167, 153, 154, 0, 43, 171, 43, 43,
- 171, 171, 171, 66, 171, 113, 171, 171, 113, 171,
- 162, 0, 0, 163, 0, 0, 164, 165, 166, 0,
- 0, 0, 113, 113, 149, 0, 0, 113, 171, 82,
- 82, 82, 82, 0, 0, 0, 0, 66, 0, 150,
- 0, 0, 0, 0, 0, 151, 152, 153, 154, 0,
- 0, 294, 0, 0, 82, 82, 297, 113, 155, 157,
- 158, 159, 160, 161, 162, 0, 103, 163, 0, 103,
- 164, 165, 166, 0, 0, 151, 152, 153, 154, 0,
- 0, 0, 0, 103, 103, 0, 0, 0, 103, 0,
- 171, 159, 160, 161, 162, 0, 0, 163, 0, 0,
- 164, 165, 166, 0, 0, 0, 0, 162, 0, 0,
- 163, 0, 0, 164, 165, 166, 0, 0, 103, 0,
- 170, 170, 170, 170, 170, 0, 170, 170, 170, 0,
- 0, 0, 170, 0, 0, 154, 154, 154, 154, 0,
- 0, 0, 0, 170, 154, 170, 170, 170, 170, 170,
- 154, 154, 154, 154, 170, 170, 170, 170, 170, 170,
- 154, 154, 170, 154, 154, 154, 154, 154, 154, 154,
- 0, 170, 154, 170, 170, 154, 154, 154, 94, 0,
- 0, 94, 0, 104, 0, 0, 104, 0, 151, 152,
- 153, 154, 0, 0, 0, 94, 94, 0, 0, 0,
- 104, 104, 0, 0, 0, 104, 161, 162, 0, 249,
- 163, 0, 0, 164, 165, 166, 66, 66, 66, 66,
- 0, 171, 171, 171, 171, 171, 0, 171, 171, 171,
- 94, 0, 350, 171, 0, 104, 113, 113, 113, 113,
- 0, 66, 0, 0, 171, 113, 171, 171, 171, 171,
- 171, 113, 113, 113, 113, 171, 171, 171, 171, 171,
- 171, 113, 113, 171, 113, 113, 113, 113, 113, 113,
- 113, 0, 171, 113, 171, 171, 113, 113, 113, 52,
- 0, 0, 62, 64, 50, 0, 57, 0, 65, 60,
- 0, 59, 0, 0, 0, 0, 0, 103, 103, 103,
- 103, 0, 0, 0, 0, 58, 103, 0, 0, 0,
- 63, 0, 103, 103, 103, 103, 0, 0, 0, 0,
- 0, 0, 103, 103, 67, 103, 103, 103, 103, 103,
- 103, 103, 0, 0, 103, 43, 0, 61, 43, 43,
- 43, 0, 43, 0, 43, 43, 92, 43, 0, 0,
- 4, 5, 6, 108, 7, 8, 117, 0, 0, 0,
- 0, 43, 0, 114, 115, 0, 43, 0, 0, 23,
- 123, 0, 53, 4, 5, 6, 0, 7, 8, 0,
- 0, 0, 136, 137, 138, 139, 0, 0, 0, 0,
- 0, 52, 176, 43, 62, 64, 50, 0, 57, 0,
- 65, 60, 0, 59, 0, 0, 184, 0, 0, 94,
- 94, 94, 94, 0, 104, 104, 104, 104, 0, 0,
- 0, 0, 63, 104, 0, 43, 0, 198, 43, 104,
- 104, 104, 104, 0, 94, 94, 0, 94, 0, 104,
- 104, 0, 104, 104, 104, 104, 104, 104, 104, 61,
- 0, 104, 208, 0, 52, 0, 0, 62, 64, 50,
- 0, 57, 0, 65, 60, 0, 59, 0, 0, 0,
+#define YYTABLESIZE 5051
+static short yytable[] = { 70,
+ 198, 300, 75, 64, 60, 280, 228, 60, 279, 64,
+ 199, 328, 183, 257, 219, 62, 278, 64, 379, 186,
+ 75, 110, 296, 188, 15, 21, 197, 170, 64, 4,
+ 5, 6, 129, 7, 8, 376, 377, 203, 299, 229,
+ 276, 222, 15, 145, 147, 87, 282, 89, 18, 397,
+ 221, 185, 39, 308, 75, 187, 160, 22, 23, 160,
+ 9, 91, 101, 184, 258, 186, 18, 105, 60, 106,
+ 39, 107, 108, 160, 160, 25, 100, 68, 160, 62,
+ 319, 113, 204, 205, 206, 207, 208, 209, 130, 26,
+ 25, 114, 64, 122, 123, 182, 255, 185, 213, 214,
+ 137, 16, 17, 115, 154, 20, 116, 190, 160, 125,
+ 189, 344, 150, 151, 152, 153, 224, 326, 38, 16,
+ 17, 40, 26, 20, 191, 26, 26, 26, 345, 26,
+ 167, 26, 26, 354, 26, 346, 38, 192, 347, 15,
+ 231, 232, 234, 235, 236, 237, 238, 239, 26, 25,
+ 193, 194, 177, 26, 366, 178, 196, 352, 179, 180,
+ 181, 200, 220, 216, 210, 202, 261, 263, 264, 265,
+ 266, 267, 268, 269, 271, 211, 167, 168, 318, 218,
+ 26, 321, 60, 225, 214, 21, 331, 298, 283, 232,
+ 323, 232, 335, 293, 325, 181, 227, 351, 177, 391,
+ 302, 178, 304, 306, 179, 180, 181, 273, 275, 64,
+ 66, 310, 26, 132, 26, 26, 230, 64, 21, 320,
+ 301, 21, 21, 21, 95, 21, 307, 21, 21, 96,
+ 21, 256, 311, 75, 75, 75, 75, 65, 309, 313,
+ 75, 315, 316, 60, 21, 164, 161, 162, 163, 21,
+ 163, 165, 166, 167, 168, 317, 327, 161, 162, 163,
+ 333, 75, 75, 75, 337, 161, 162, 163, 169, 171,
+ 172, 173, 174, 175, 176, 177, 21, 109, 178, 384,
+ 338, 179, 180, 181, 339, 343, 340, 160, 160, 160,
+ 160, 161, 162, 163, 160, 349, 160, 161, 162, 163,
+ 341, 214, 160, 160, 160, 160, 322, 342, 21, 324,
+ 21, 21, 161, 162, 163, 160, 160, 160, 355, 160,
+ 160, 160, 160, 160, 160, 160, 160, 283, 348, 160,
+ 356, 353, 160, 160, 160, 370, 329, 357, 329, 161,
+ 162, 163, 358, 361, 336, 26, 26, 26, 26, 26,
+ 26, 359, 26, 26, 26, 26, 26, 26, 26, 26,
+ 26, 26, 26, 26, 26, 369, 70, 372, 26, 26,
+ 1, 26, 26, 26, 26, 26, 161, 162, 163, 371,
+ 26, 26, 26, 26, 26, 26, 26, 161, 162, 163,
+ 382, 380, 26, 386, 161, 162, 163, 161, 162, 163,
+ 393, 394, 26, 44, 26, 26, 44, 44, 44, 277,
+ 44, 53, 44, 44, 185, 44, 161, 162, 163, 161,
+ 162, 163, 161, 162, 163, 62, 161, 162, 163, 44,
+ 37, 161, 162, 163, 44, 161, 162, 163, 161, 162,
+ 163, 21, 21, 21, 21, 21, 21, 35, 21, 21,
+ 21, 21, 21, 21, 21, 21, 21, 21, 21, 21,
+ 21, 44, 186, 183, 21, 21, 170, 21, 21, 21,
+ 21, 21, 40, 37, 390, 35, 21, 21, 21, 21,
+ 21, 21, 21, 161, 162, 163, 104, 134, 21, 135,
+ 363, 364, 365, 44, 367, 79, 44, 233, 21, 195,
+ 21, 21, 195, 195, 195, 388, 195, 174, 195, 195,
+ 174, 195, 368, 161, 162, 163, 161, 162, 163, 290,
+ 93, 383, 332, 0, 174, 174, 0, 0, 385, 174,
+ 195, 0, 387, 0, 0, 161, 162, 163, 161, 162,
+ 163, 0, 161, 162, 163, 395, 396, 0, 0, 0,
+ 4, 5, 6, 0, 7, 8, 0, 195, 178, 174,
+ 0, 179, 180, 181, 196, 0, 0, 196, 196, 196,
+ 0, 196, 145, 196, 196, 145, 196, 0, 0, 0,
+ 0, 9, 165, 166, 167, 168, 374, 375, 0, 145,
+ 145, 381, 195, 0, 145, 196, 0, 0, 0, 0,
+ 171, 172, 173, 174, 175, 176, 177, 389, 0, 178,
+ 0, 392, 179, 180, 181, 4, 5, 6, 0, 7,
+ 8, 0, 0, 0, 145, 360, 44, 44, 44, 44,
+ 44, 44, 0, 44, 44, 44, 0, 0, 0, 44,
+ 0, 0, 44, 44, 44, 44, 9, 170, 0, 44,
+ 44, 0, 44, 44, 44, 44, 44, 196, 0, 0,
+ 0, 44, 44, 44, 44, 44, 44, 0, 0, 0,
+ 0, 0, 165, 44, 167, 168, 0, 0, 0, 0,
+ 0, 0, 0, 44, 164, 44, 44, 0, 0, 0,
+ 165, 166, 167, 168, 0, 176, 177, 0, 0, 178,
+ 312, 0, 179, 180, 181, 170, 0, 169, 171, 172,
+ 173, 174, 175, 176, 177, 0, 0, 178, 0, 0,
+ 179, 180, 181, 195, 195, 195, 195, 195, 0, 195,
+ 195, 195, 0, 0, 0, 195, 0, 0, 174, 174,
+ 174, 174, 0, 0, 0, 174, 195, 174, 195, 195,
+ 195, 195, 195, 174, 174, 174, 174, 195, 195, 195,
+ 195, 195, 195, 0, 0, 170, 174, 174, 174, 195,
+ 174, 174, 174, 174, 174, 174, 174, 174, 0, 195,
+ 174, 195, 195, 174, 174, 174, 0, 0, 196, 196,
+ 196, 196, 196, 0, 196, 196, 196, 0, 0, 120,
+ 196, 0, 0, 145, 145, 145, 145, 138, 0, 0,
+ 145, 196, 145, 196, 196, 196, 196, 196, 145, 145,
+ 145, 145, 196, 196, 196, 196, 196, 196, 0, 0,
+ 0, 145, 145, 145, 196, 145, 145, 145, 145, 145,
+ 145, 145, 145, 0, 196, 145, 196, 196, 145, 145,
+ 145, 54, 0, 120, 64, 66, 52, 0, 59, 0,
+ 67, 63, 0, 62, 0, 164, 0, 0, 0, 0,
+ 0, 165, 166, 167, 168, 0, 217, 61, 156, 157,
+ 158, 159, 65, 0, 120, 160, 0, 0, 169, 171,
+ 172, 173, 174, 175, 176, 177, 0, 0, 178, 0,
+ 0, 179, 180, 181, 0, 0, 161, 162, 163, 60,
+ 0, 0, 44, 0, 0, 44, 44, 44, 0, 44,
+ 0, 44, 44, 164, 44, 0, 0, 0, 0, 165,
+ 166, 167, 168, 0, 0, 0, 0, 0, 44, 0,
+ 0, 25, 0, 44, 55, 0, 169, 171, 172, 173,
+ 174, 175, 176, 177, 0, 0, 178, 0, 0, 179,
+ 180, 181, 0, 0, 0, 0, 0, 0, 0, 0,
+ 44, 0, 54, 0, 0, 64, 66, 52, 0, 59,
+ 0, 67, 63, 164, 62, 0, 0, 0, 0, 165,
+ 166, 167, 168, 177, 0, 0, 178, 0, 0, 179,
+ 180, 181, 44, 65, 0, 44, 0, 171, 172, 173,
+ 174, 175, 176, 177, 0, 0, 178, 0, 0, 179,
+ 180, 181, 0, 0, 0, 0, 0, 0, 0, 120,
+ 60, 167, 168, 0, 0, 120, 54, 0, 0, 64,
+ 66, 52, 0, 59, 0, 67, 63, 0, 62, 0,
+ 0, 0, 176, 177, 0, 0, 178, 0, 0, 179,
+ 180, 181, 25, 0, 0, 55, 0, 65, 0, 0,
+ 0, 0, 0, 0, 24, 26, 27, 28, 29, 30,
+ 0, 31, 32, 33, 0, 0, 0, 34, 0, 0,
+ 35, 36, 37, 38, 60, 0, 0, 39, 40, 0,
+ 41, 42, 43, 44, 45, 0, 0, 0, 0, 46,
+ 47, 48, 49, 50, 51, 0, 0, 0, 0, 0,
+ 0, 53, 0, 0, 0, 0, 25, 0, 0, 55,
+ 0, 56, 0, 57, 58, 44, 44, 44, 44, 44,
+ 44, 0, 44, 44, 44, 0, 0, 0, 44, 0,
+ 0, 44, 44, 44, 44, 0, 0, 0, 44, 44,
+ 0, 44, 44, 44, 44, 44, 0, 0, 0, 0,
+ 44, 44, 44, 44, 44, 44, 0, 0, 0, 0,
+ 0, 54, 44, 0, 64, 66, 52, 0, 59, 0,
+ 67, 63, 44, 62, 44, 44, 118, 27, 28, 29,
+ 30, 96, 31, 32, 33, 0, 0, 0, 34, 0,
+ 0, 0, 65, 0, 0, 0, 0, 0, 0, 40,
+ 0, 41, 42, 43, 44, 45, 0, 0, 0, 0,
+ 46, 47, 48, 49, 50, 51, 0, 0, 0, 60,
+ 0, 139, 53, 0, 139, 0, 165, 166, 167, 168,
+ 0, 0, 56, 0, 57, 58, 0, 0, 139, 139,
+ 26, 27, 28, 29, 30, 0, 31, 32, 33, 176,
+ 177, 25, 34, 178, 55, 0, 179, 180, 181, 0,
+ 0, 0, 0, 40, 0, 41, 42, 43, 44, 45,
+ 0, 0, 0, 139, 46, 47, 48, 49, 50, 51,
+ 54, 0, 0, 64, 66, 52, 53, 59, 0, 67,
+ 63, 0, 62, 0, 0, 0, 56, 0, 57, 58,
+ 165, 166, 167, 168, 0, 0, 128, 0, 0, 0,
+ 0, 65, 0, 0, 0, 0, 0, 0, 0, 0,
+ 173, 174, 175, 176, 177, 0, 0, 178, 0, 0,
+ 179, 180, 181, 165, 166, 167, 168, 0, 60, 0,
+ 54, 0, 0, 64, 66, 52, 0, 59, 144, 67,
+ 63, 0, 62, 0, 174, 175, 176, 177, 0, 0,
+ 178, 0, 0, 179, 180, 181, 0, 0, 0, 0,
+ 0, 65, 0, 55, 0, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 124, 27, 28, 29, 30,
+ 0, 31, 32, 33, 0, 0, 0, 34, 60, 0,
+ 0, 0, 0, 0, 0, 0, 0, 0, 40, 0,
+ 41, 42, 43, 44, 45, 0, 0, 0, 0, 46,
+ 47, 48, 49, 50, 51, 54, 0, 0, 64, 66,
+ 52, 53, 59, 55, 67, 63, 0, 62, 0, 0,
+ 0, 56, 0, 57, 58, 0, 0, 0, 0, 0,
+ 0, 0, 139, 139, 139, 139, 65, 0, 0, 139,
+ 0, 0, 0, 0, 0, 0, 54, 0, 0, 64,
+ 66, 52, 0, 59, 212, 67, 63, 0, 62, 0,
+ 139, 139, 139, 60, 139, 146, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 65, 0, 73,
+ 0, 0, 73, 0, 26, 27, 28, 29, 30, 0,
+ 31, 32, 33, 0, 0, 0, 34, 73, 55, 0,
+ 0, 0, 0, 0, 60, 0, 0, 40, 0, 41,
+ 42, 43, 44, 45, 0, 0, 0, 0, 46, 47,
+ 48, 49, 50, 51, 0, 0, 0, 0, 0, 0,
+ 53, 73, 0, 0, 0, 0, 0, 0, 0, 55,
+ 56, 0, 57, 58, 26, 27, 28, 29, 30, 0,
+ 31, 32, 33, 0, 54, 0, 34, 64, 66, 52,
+ 0, 59, 223, 67, 63, 0, 62, 40, 0, 41,
+ 42, 43, 44, 45, 0, 0, 0, 0, 46, 47,
+ 48, 49, 50, 51, 0, 65, 0, 0, 0, 0,
+ 53, 165, 166, 167, 168, 0, 0, 0, 0, 0,
+ 56, 0, 57, 58, 0, 0, 0, 78, 0, 0,
+ 78, 0, 60, 175, 176, 177, 0, 0, 178, 0,
+ 0, 179, 180, 181, 78, 78, 0, 0, 0, 26,
+ 27, 28, 29, 30, 0, 31, 32, 33, 0, 0,
+ 0, 34, 74, 0, 0, 74, 0, 55, 0, 0,
+ 0, 0, 40, 0, 41, 42, 43, 44, 45, 78,
+ 74, 0, 0, 46, 47, 48, 49, 50, 51, 0,
+ 26, 27, 28, 29, 30, 53, 31, 32, 33, 0,
+ 0, 0, 34, 0, 0, 56, 0, 57, 58, 0,
+ 0, 0, 0, 40, 74, 41, 42, 43, 44, 45,
+ 0, 0, 0, 0, 46, 47, 48, 49, 50, 51,
+ 73, 73, 73, 73, 0, 54, 53, 73, 64, 66,
+ 52, 0, 59, 262, 67, 63, 56, 62, 57, 58,
+ 98, 98, 0, 0, 0, 0, 0, 0, 73, 73,
+ 0, 0, 111, 0, 0, 0, 65, 0, 119, 98,
+ 127, 0, 0, 0, 133, 98, 0, 0, 0, 0,
+ 0, 0, 0, 0, 0, 0, 0, 98, 98, 98,
+ 98, 0, 0, 60, 0, 0, 0, 0, 26, 27,
+ 28, 29, 30, 0, 31, 32, 33, 0, 54, 0,
+ 34, 64, 66, 52, 0, 59, 270, 67, 63, 0,
+ 62, 40, 0, 41, 42, 43, 44, 45, 55, 0,
+ 0, 0, 46, 47, 48, 49, 50, 51, 119, 65,
+ 0, 0, 0, 0, 53, 0, 0, 0, 0, 0,
+ 0, 0, 0, 0, 56, 0, 57, 58, 78, 78,
+ 78, 78, 0, 0, 0, 78, 60, 0, 0, 0,
+ 0, 54, 0, 0, 64, 66, 52, 0, 59, 0,
+ 67, 63, 0, 62, 0, 0, 78, 78, 78, 0,
+ 0, 0, 0, 74, 74, 74, 74, 0, 0, 0,
+ 74, 55, 65, 0, 259, 0, 161, 0, 0, 161,