-#define YYTABLESIZE 4293
-short yytable[] = { 69,
- 207, 62, 181, 104, 168, 102, 104, 204, 168, 248,
- 20, 208, 62, 253, 58, 285, 274, 170, 298, 345,
- 104, 104, 172, 202, 80, 104, 311, 148, 149, 82,
- 15, 84, 121, 93, 112, 18, 150, 342, 343, 122,
- 150, 312, 124, 131, 313, 182, 319, 135, 15, 169,
- 363, 275, 97, 18, 171, 104, 340, 341, 26, 98,
- 271, 347, 39, 99, 100, 62, 105, 106, 107, 235,
- 293, 141, 295, 23, 170, 173, 205, 355, 58, 174,
- 39, 358, 112, 23, 187, 188, 189, 190, 191, 192,
- 175, 26, 196, 197, 26, 26, 26, 297, 26, 23,
- 26, 26, 178, 26, 176, 200, 169, 318, 16, 17,
- 20, 180, 183, 112, 193, 203, 201, 26, 194, 38,
- 236, 321, 26, 206, 40, 276, 16, 17, 20, 210,
- 211, 213, 214, 215, 216, 217, 218, 38, 251, 62,
- 168, 310, 15, 292, 284, 149, 149, 282, 149, 26,
- 291, 307, 233, 21, 239, 240, 241, 242, 243, 244,
- 246, 300, 149, 149, 303, 304, 305, 149, 294, 197,
- 306, 308, 150, 258, 211, 332, 211, 168, 268, 316,
- 273, 26, 296, 26, 26, 277, 21, 279, 281, 21,
- 21, 21, 283, 21, 309, 21, 21, 149, 21, 4,
- 5, 6, 325, 7, 8, 299, 154, 155, 19, 150,
- 302, 335, 21, 322, 327, 148, 149, 21, 323, 287,
- 357, 289, 290, 163, 324, 314, 164, 167, 338, 165,
- 166, 167, 337, 87, 104, 104, 104, 104, 88, 346,
- 68, 104, 112, 104, 21, 148, 149, 112, 2, 104,
- 104, 104, 104, 148, 149, 350, 148, 149, 68, 104,
- 104, 101, 104, 104, 104, 104, 104, 104, 104, 348,
- 315, 104, 148, 149, 148, 149, 21, 197, 21, 21,
- 352, 44, 148, 149, 44, 44, 44, 234, 44, 320,
- 44, 44, 68, 44, 336, 258, 359, 148, 149, 360,
- 148, 149, 148, 149, 148, 149, 52, 44, 148, 149,
- 148, 149, 44, 252, 26, 26, 26, 26, 26, 26,
- 58, 26, 26, 26, 26, 26, 26, 26, 26, 26,
- 26, 26, 26, 26, 69, 148, 149, 26, 26, 44,
- 26, 26, 26, 26, 26, 148, 149, 148, 149, 26,
- 26, 26, 26, 26, 26, 163, 168, 26, 164, 161,
- 37, 165, 166, 167, 35, 162, 26, 159, 26, 26,
- 40, 44, 148, 149, 44, 37, 149, 149, 149, 149,
- 35, 21, 96, 149, 77, 149, 148, 149, 150, 212,
- 354, 149, 149, 254, 334, 164, 255, 265, 165, 166,
- 167, 149, 149, 186, 149, 149, 149, 149, 149, 21,
- 21, 21, 21, 21, 21, 157, 21, 21, 21, 21,
- 21, 21, 21, 21, 21, 21, 21, 21, 21, 148,
- 149, 0, 21, 21, 0, 21, 21, 21, 21, 21,
- 0, 0, 0, 168, 21, 21, 21, 21, 21, 21,
- 356, 0, 21, 168, 4, 5, 6, 0, 7, 8,
- 0, 21, 0, 21, 21, 0, 150, 0, 0, 150,
- 0, 68, 68, 68, 68, 150, 0, 0, 68, 0,
- 0, 0, 0, 150, 150, 150, 0, 0, 150, 0,
- 0, 0, 0, 148, 149, 0, 68, 68, 148, 149,
- 0, 0, 0, 0, 44, 44, 44, 44, 44, 44,
- 0, 44, 44, 44, 0, 0, 150, 44, 150, 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, 44, 150, 0,
- 0, 0, 152, 153, 154, 155, 44, 173, 44, 44,
- 173, 173, 173, 0, 173, 157, 173, 173, 157, 173,
- 162, 163, 0, 0, 164, 0, 0, 165, 166, 167,
- 0, 0, 157, 157, 0, 0, 0, 157, 173, 0,
- 0, 4, 5, 6, 0, 7, 8, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 143, 144, 145, 146,
- 0, 0, 0, 147, 0, 157, 0, 157, 174, 0,
- 0, 174, 174, 174, 0, 174, 114, 174, 174, 114,
- 174, 148, 149, 151, 0, 0, 0, 0, 0, 152,
- 153, 154, 155, 114, 114, 0, 0, 157, 114, 174,
- 173, 154, 156, 158, 159, 160, 161, 162, 163, 0,
- 0, 164, 0, 0, 165, 166, 167, 0, 163, 0,
- 0, 164, 0, 0, 165, 166, 167, 52, 114, 0,
- 62, 64, 50, 0, 57, 0, 65, 60, 0, 59,
- 0, 0, 0, 0, 0, 0, 0, 150, 150, 150,
- 150, 0, 0, 58, 150, 0, 150, 0, 63, 0,
- 0, 174, 150, 150, 150, 150, 329, 330, 331, 0,
- 333, 0, 150, 150, 0, 150, 150, 150, 150, 150,
- 150, 150, 0, 0, 150, 61, 0, 150, 150, 150,
- 0, 0, 67, 0, 0, 67, 0, 349, 0, 0,
- 0, 0, 0, 0, 351, 0, 0, 0, 353, 0,
- 67, 0, 0, 168, 0, 0, 0, 23, 0, 0,
- 53, 361, 362, 0, 0, 0, 0, 0, 0, 0,
- 0, 173, 173, 173, 173, 173, 0, 173, 173, 173,
- 0, 0, 0, 173, 67, 150, 157, 157, 157, 157,
- 0, 0, 0, 157, 173, 157, 173, 173, 173, 173,
- 173, 157, 157, 157, 157, 173, 173, 173, 173, 173,
- 173, 157, 157, 173, 157, 157, 157, 157, 157, 157,
- 157, 0, 173, 157, 173, 173, 157, 157, 157, 0,
- 0, 0, 174, 174, 174, 174, 174, 0, 174, 174,
- 174, 0, 0, 0, 174, 0, 0, 114, 114, 114,
- 114, 0, 0, 0, 114, 174, 114, 174, 174, 174,
- 174, 174, 114, 114, 114, 114, 174, 174, 174, 174,
- 174, 174, 114, 114, 174, 114, 114, 114, 114, 114,
- 114, 114, 0, 174, 114, 174, 174, 114, 114, 114,
- 22, 24, 25, 26, 27, 28, 0, 29, 30, 31,
- 0, 0, 0, 32, 0, 168, 33, 34, 35, 36,
- 0, 0, 0, 37, 38, 0, 39, 40, 41, 42,
- 43, 0, 0, 0, 0, 44, 45, 46, 47, 48,
- 49, 44, 0, 51, 44, 44, 44, 150, 44, 0,
- 44, 44, 54, 44, 55, 56, 0, 0, 67, 152,
- 0, 154, 155, 0, 0, 0, 0, 44, 0, 0,
- 0, 0, 44, 67, 67, 67, 67, 162, 163, 0,
- 67, 164, 0, 0, 165, 166, 167, 108, 0, 0,
- 117, 0, 0, 0, 0, 0, 0, 52, 67, 44,
- 62, 64, 50, 0, 57, 0, 65, 60, 0, 59,
- 0, 0, 92, 0, 0, 0, 0, 0, 0, 0,
- 0, 0, 0, 0, 0, 0, 177, 0, 63, 114,
- 115, 44, 0, 0, 44, 0, 123, 0, 0, 0,
- 185, 0, 0, 0, 0, 0, 0, 0, 136, 137,
- 138, 139, 0, 52, 0, 61, 62, 64, 50, 0,
- 57, 0, 65, 60, 0, 59, 0, 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,