package Scheduler_Shift_Reduce is

   type small_integer is range -32_000 .. 32_000;

   type shift_reduce_entry is record
      T   : small_integer;
      Act : small_integer;
   end record;
   pragma pack (shift_reduce_entry);

   subtype row is Integer range -1 .. Integer'last;

   --pragma suppress(index_check);

   type shift_reduce_array is array (row range <>) of shift_reduce_entry;

   Shift_Reduce_Matrix : constant shift_reduce_array :=
     ((-1, -1) -- Dummy Entry

-- state  0
   ,
      (-1, -3)
-- state  1
   ,
      (66, -32),
      (67, -22),
      (68, -24),
      (69, -20),
      (70, -30),
      (71, -28),
      (72, -26),
      (73, -14),
      (74, -16),
      (75, -18),
      (-1, -1)

-- state  2
   ,
      (0, -3001),
      (-1, -3000)
-- state  3
   ,
      (-1, -4)
-- state  4
   ,
      (-1, -5)

-- state  5
   ,
      (-1, -6)
-- state  6
   ,
      (-1, -7)
-- state  7
   ,
      (-1, -8)
-- state  8
   ,
      (-1, -9)

-- state  9
   ,
      (-1, -10)
-- state  10
   ,
      (-1, -11)
-- state  11
   ,
      (-1, -12)
-- state  12
   ,
      (-1, -13)

-- state  13
   ,
      (69, 25),
      (-1, -3000)
-- state  14
   ,
      (70, 26),
      (-1, -3000)

-- state  15
   ,
      (71, 27),
      (-1, -3000)
-- state  16
   ,
      (72, 28),
      (-1, -3000)

-- state  17
   ,
      (73, 29),
      (-1, -3000)
-- state  18
   ,
      (74, 30),
      (-1, -3000)

-- state  19
   ,
      (75, 31),
      (-1, -3000)
-- state  20
   ,
      (67, 32),
      (-1, -3000)

-- state  21
   ,
      (68, 33),
      (-1, -3000)
-- state  22
   ,
      (66, 34),
      (-1, -3000)

-- state  23
   ,
      (-1, -2)
-- state  24
   ,
      (-1, -3000)
-- state  25
   ,
      (14, 36),
      (-1, -35)

-- state  26
   ,
      (14, 36),
      (-1, -35)
-- state  27
   ,
      (14, 36),
      (-1, -35)

-- state  28
   ,
      (14, 36),
      (-1, -35)
-- state  29
   ,
      (14, 36),
      (-1, -35)

-- state  30
   ,
      (14, 36),
      (-1, -35)
-- state  31
   ,
      (14, 36),
      (-1, -35)

-- state  32
   ,
      (14, 36),
      (-1, -35)
-- state  33
   ,
      (14, 36),
      (-1, -35)

-- state  34
   ,
      (14, 36),
      (-1, -35)
-- state  35
   ,
      (-1, -34)
-- state  36
   ,
      (-1, -141)

-- state  37
   ,
      (97, 47),
      (-1, -3000)
-- state  38
   ,
      (97, 48),
      (-1, -3000)

-- state  39
   ,
      (97, 49),
      (-1, -3000)
-- state  40
   ,
      (97, 50),
      (-1, -3000)

-- state  41
   ,
      (97, 51),
      (-1, -3000)
-- state  42
   ,
      (97, 52),
      (-1, -3000)

-- state  43
   ,
      (97, 53),
      (-1, -3000)
-- state  44
   ,
      (97, 54),
      (-1, -3000)

-- state  45
   ,
      (97, 55),
      (-1, -3000)
-- state  46
   ,
      (97, 56),
      (-1, -3000)

-- state  47
   ,
      (-1, -51)
-- state  48
   ,
      (-1, -51)
-- state  49
   ,
      (-1, -51)
-- state  50
   ,
      (-1, -51)

-- state  51
   ,
      (-1, -51)
-- state  52
   ,
      (-1, -51)
-- state  53
   ,
      (-1, -51)
-- state  54
   ,
      (-1, -51)

-- state  55
   ,
      (-1, -51)
-- state  56
   ,
      (-1, -37)
-- state  57
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 109),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  58
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 111),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  59
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 112),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  60
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 113),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  61
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 114),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  62
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 115),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  63
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 116),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  64
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 117),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  65
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (65, 118),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  66
   ,
      (14, 36),
      (-1, -39)

-- state  67
   ,
      (85, 122),
      (-1, -3000)
-- state  68
   ,
      (17, 106),
      (-1, -3000)

-- state  69
   ,
      (17, 106),
      (-1, -3000)
-- state  70
   ,
      (85, 126),
      (97, 125),
      (-1, -137)
-- state  71
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  72
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (106, 129),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  73
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  74
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (99, 146),
      (107, 90),
      (110, 82),
      (-1, -3000)

-- state  75
   ,
      (99, 148),
      (-1, -3000)
-- state  76
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)

-- state  77
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  78
   ,
      (85, 151),
      (-1, -3000)

-- state  79
   ,
      (85, 152),
      (-1, -3000)
-- state  80
   ,
      (85, 153),
      (-1, -3000)

-- state  81
   ,
      (14, 36),
      (-1, -3000)
-- state  82
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)

-- state  83
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  84
   ,
      (-1, -110)
-- state  85
   ,
      (-1, -111)

-- state  86
   ,
      (85, 157),
      (-1, -3000)
-- state  87
   ,
      (85, 158),
      (-1, -3000)

-- state  88
   ,
      (85, 159),
      (-1, -3000)
-- state  89
   ,
      (85, 160),
      (-1, -3000)

-- state  90
   ,
      (85, 161),
      (-1, -3000)
-- state  91
   ,
      (85, 162),
      (-1, -3000)

-- state  92
   ,
      (85, 163),
      (-1, -3000)
-- state  93
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)

-- state  94
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  95
   ,
      (85, 166),
      (-1, -3000)

-- state  96
   ,
      (85, 167),
      (-1, -3000)
-- state  97
   ,
      (85, 168),
      (-1, -3000)

-- state  98
   ,
      (85, 169),
      (-1, -3000)
-- state  99
   ,
      (85, 170),
      (-1, -3000)

-- state  100
   ,
      (85, 171),
      (-1, -3000)
-- state  101
   ,
      (111, 172),
      (-1, -3000)

-- state  102
   ,
      (111, 173),
      (-1, -3000)
-- state  103
   ,
      (-1, -138)
-- state  104
   ,
      (-1, -139)

-- state  105
   ,
      (-1, -140)
-- state  106
   ,
      (-1, -143)
-- state  107
   ,
      (-1, -142)
-- state  108
   ,
      (-1, -144)

-- state  109
   ,
      (99, 174),
      (-1, -3000)
-- state  110
   ,
      (-1, -50)
-- state  111
   ,
      (99, 175),
      (-1, -3000)
-- state  112
   ,
      (99, 176),
      (-1, -3000)
-- state  113
   ,
      (99, 177),
      (-1, -3000)
-- state  114
   ,
      (99, 178),
      (-1, -3000)
-- state  115
   ,
      (99, 179),
      (-1, -3000)
-- state  116
   ,
      (99, 180),
      (-1, -3000)
-- state  117
   ,
      (99, 181),
      (-1, -3000)
-- state  118
   ,
      (99, 182),
      (-1, -3000)
-- state  119
   ,
      (65, 184),
      (76, 183),
      (-1, -3000)
-- state  120
   ,
      (97, 186),
      (-1, -3000)

-- state  121
   ,
      (-1, -36)
-- state  122
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  123
   ,
      (99, 188),
      (-1, -3000)
-- state  124
   ,
      (99, 189),
      (-1, -3000)
-- state  125
   ,
      (2, 190),
      (3, 191),
      (4, 192),
      (6, 196),
      (7, 193),
      (8, 195),
      (54, 194),
      (-1, -3000)
-- state  126
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  127
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (99, 199),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  128
   ,
      (85, 126),
      (-1, -137)
-- state  129
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  130
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  131
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  132
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  133
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  134
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  135
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  136
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  137
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  138
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  139
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  140
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  141
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  142
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  143
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  144
   ,
      (42, 131),
      (48, 215),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  145
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (99, 216),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  146
   ,
      (-1, -78)
-- state  147
   ,
      (-1, -67)
-- state  148
   ,
      (-1, -68)

-- state  149
   ,
      (18, 217),
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)

-- state  150
   ,
      (25, 218),
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)

-- state  151
   ,
      (14, 36),
      (-1, -3000)
-- state  152
   ,
      (14, 36),
      (-1, -3000)

-- state  153
   ,
      (14, 36),
      (-1, -3000)
-- state  154
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)

-- state  155
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -108)
-- state  156
   ,
      (42, 131),
      (86, 223),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  157
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  158
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  159
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  160
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  161
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  162
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  163
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  164
   ,
      (42, 131),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -124)
-- state  165
   ,
      (42, 131),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -125)
-- state  166
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  167
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  168
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  169
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  170
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  171
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  172
   ,
      (10, 237),
      (11, 238),
      (-1, -3000)

-- state  173
   ,
      (10, 239),
      (11, 240),
      (-1, -3000)
-- state  174
   ,
      (-1, -21)

-- state  175
   ,
      (-1, -31)
-- state  176
   ,
      (-1, -29)
-- state  177
   ,
      (-1, -27)
-- state  178
   ,
      (-1, -15)

-- state  179
   ,
      (-1, -17)
-- state  180
   ,
      (-1, -19)
-- state  181
   ,
      (-1, -23)
-- state  182
   ,
      (-1, -25)

-- state  183
   ,
      (14, 36),
      (-1, -3000)
-- state  184
   ,
      (99, 242),
      (-1, -3000)

-- state  185
   ,
      (-1, -38)
-- state  186
   ,
      (63, 244),
      (64, 243),
      (-1, -3000)

-- state  187
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (100, 245),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -76)

-- state  188
   ,
      (-1, -61)
-- state  189
   ,
      (-1, -62)
-- state  190
   ,
      (-1, -79)
-- state  191
   ,
      (85, 247),
      (-1, -3000)
-- state  192
   ,
      (-1, -81)
-- state  193
   ,
      (-1, -83)
-- state  194
   ,
      (-1, -85)

-- state  195
   ,
      (-1, -87)
-- state  196
   ,
      (-1, -90)
-- state  197
   ,
      (106, 248),
      (-1, -98)

-- state  198
   ,
      (42, 131),
      (86, 250),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)

-- state  199
   ,
      (-1, -64)
-- state  200
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (99, 251),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  201
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -99)

-- state  202
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -100)
-- state  203
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -101)
-- state  204
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -102)
-- state  205
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -103)

-- state  206
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -104)
-- state  207
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -105)
-- state  208
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -106)
-- state  209
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -107)

-- state  210
   ,
      (42, 131),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -112)

-- state  211
   ,
      (42, 131),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -113)

-- state  212
   ,
      (42, 131),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -114)
-- state  213
   ,
      (42, 131),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -115)

-- state  214
   ,
      (42, 131),
      (96, -3000),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -123)
-- state  215
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -59)
-- state  216
   ,
      (-1, -77)
-- state  217
   ,
      (31, 254),
      (32, 256),
      (33, 258),
      (34, 255),
      (35, 259),
      (36, 257),
      (-1, -3000)
-- state  218
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -59)

-- state  219
   ,
      (100, 262),
      (-1, -3000)
-- state  220
   ,
      (100, 263),
      (-1, -3000)

-- state  221
   ,
      (100, 264),
      (-1, -3000)
-- state  222
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (99, 265),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  223
   ,
      (-1, -109)
-- state  224
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (100, 266),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  225
   ,
      (42, 131),
      (86, 267),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  226
   ,
      (42, 131),
      (86, 268),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  227
   ,
      (42, 131),
      (86, 269),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  228
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (100, 270),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  229
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (100, 271),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  230
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (100, 272),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  231
   ,
      (42, 131),
      (86, 273),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  232
   ,
      (42, 131),
      (86, 274),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  233
   ,
      (42, 131),
      (86, 275),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  234
   ,
      (42, 131),
      (86, 276),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  235
   ,
      (42, 131),
      (86, 277),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  236
   ,
      (42, 131),
      (86, 278),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  237
   ,
      (-1, -132)

-- state  238
   ,
      (-1, -133)
-- state  239
   ,
      (-1, -134)
-- state  240
   ,
      (-1, -135)
-- state  241
   ,
      (77, 279),
      (-1, -3000)
-- state  242
   ,
      (-1, -33)
-- state  243
   ,
      (99, 280),
      (-1, -3000)

-- state  244
   ,
      (99, 281),
      (-1, -3000)
-- state  245
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)

-- state  246
   ,
      (100, 245),
      (-1, -76)
-- state  247
   ,
      (31, 254),
      (32, 256),
      (33, 258),
      (34, 255),
      (35, 259),
      (36, 257),
      (-1, -3000)
-- state  248
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  249
   ,
      (99, 286),
      (-1, -3000)
-- state  250
   ,
      (-1, -136)
-- state  251
   ,
      (-1, -65)
-- state  252
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -58)
-- state  253
   ,
      (50, 288),
      (52, 289),
      (-1, -3000)
-- state  254
   ,
      (-1, -91)
-- state  255
   ,
      (-1, -92)
-- state  256
   ,
      (-1, -93)

-- state  257
   ,
      (-1, -94)
-- state  258
   ,
      (-1, -95)
-- state  259
   ,
      (-1, -96)
-- state  260
   ,
      (25, 291),
      (-1, -3000)
-- state  261
   ,
      (53, 292),
      (-1, -3000)
-- state  262
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  263
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  264
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  265
   ,
      (-1, -74)
-- state  266
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)

-- state  267
   ,
      (-1, -117)
-- state  268
   ,
      (-1, -118)
-- state  269
   ,
      (-1, -119)
-- state  270
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  271
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  272
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  273
   ,
      (-1, -126)
-- state  274
   ,
      (-1, -127)
-- state  275
   ,
      (-1, -128)

-- state  276
   ,
      (-1, -129)
-- state  277
   ,
      (-1, -130)
-- state  278
   ,
      (-1, -131)
-- state  279
   ,
      (83, 300),
      (-1, -3000)
-- state  280
   ,
      (-1, -40)
-- state  281
   ,
      (-1, -41)
-- state  282
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -75)
-- state  283
   ,
      (86, 301),
      (-1, -3000)

-- state  284
   ,
      (86, 302),
      (-1, -3000)
-- state  285
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -97)
-- state  286
   ,
      (-1, -63)
-- state  287
   ,
      (-1, -57)
-- state  288
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -56)
-- state  289
   ,
      (99, 305),
      (-1, -3000)

-- state  290
   ,
      (-1, -66)
-- state  291
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -59)

-- state  292
   ,
      (99, 307),
      (-1, -3000)
-- state  293
   ,
      (42, 131),
      (86, 308),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  294
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (100, 309),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  295
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (100, 310),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  296
   ,
      (42, 131),
      (86, 311),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  297
   ,
      (42, 131),
      (86, 312),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  298
   ,
      (42, 131),
      (86, 313),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  299
   ,
      (42, 131),
      (86, 314),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  300
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -43)

-- state  301
   ,
      (99, 317),
      (-1, -3000)
-- state  302
   ,
      (9, 318),
      (-1, -3000)

-- state  303
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -55)
-- state  304
   ,
      (52, 320),
      (-1, -3000)
-- state  305
   ,
      (-1, -53)
-- state  306
   ,
      (53, 321),
      (-1, -3000)

-- state  307
   ,
      (-1, -70)
-- state  308
   ,
      (99, 322),
      (-1, -3000)
-- state  309
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  310
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (38, 91),
      (39, 92),
      (40, 86),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -3000)
-- state  311
   ,
      (-1, -116)

-- state  312
   ,
      (-1, -120)
-- state  313
   ,
      (-1, -121)
-- state  314
   ,
      (-1, -122)
-- state  315
   ,
      (42, 131),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -42)
-- state  316
   ,
      (100, 325),
      (-1, -3000)

-- state  317
   ,
      (-1, -60)
-- state  318
   ,
      (2, 326),
      (4, 327),
      (6, 331),
      (7, 328),
      (8, 330),
      (54, 329),
      (-1, -3000)

-- state  319
   ,
      (-1, -54)
-- state  320
   ,
      (99, 332),
      (-1, -3000)
-- state  321
   ,
      (99, 333),
      (-1, -3000)
-- state  322
   ,
      (-1, -71)
-- state  323
   ,
      (42, 131),
      (86, 334),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  324
   ,
      (42, 131),
      (86, 335),
      (89, 137),
      (90, 139),
      (91, 140),
      (92, 141),
      (93, 142),
      (96, 143),
      (101, 132),
      (102, 133),
      (103, 134),
      (104, 135),
      (105, 136),
      (108, 138),
      (109, 130),
      (-1, -3000)
-- state  325
   ,
      (2, 101),
      (4, 102),
      (12, 107),
      (13, 108),
      (14, 36),
      (15, 84),
      (16, 85),
      (17, 106),
      (19, 76),
      (23, 81),
      (24, 77),
      (37, 74),
      (38, 91),
      (39, 92),
      (40, 86),
      (41, 67),
      (43, 89),
      (44, 95),
      (45, 96),
      (46, 88),
      (47, 87),
      (51, 73),
      (55, 80),
      (56, 78),
      (57, 79),
      (58, 97),
      (59, 99),
      (60, 100),
      (61, 98),
      (62, 75),
      (80, 71),
      (81, 69),
      (82, 68),
      (85, 83),
      (90, 94),
      (91, 93),
      (107, 90),
      (110, 82),
      (-1, -45)
-- state  326
   ,
      (-1, -80)
-- state  327
   ,
      (-1, -82)
-- state  328
   ,
      (-1, -84)

-- state  329
   ,
      (-1, -86)
-- state  330
   ,
      (-1, -88)
-- state  331
   ,
      (-1, -89)
-- state  332
   ,
      (-1, -52)

-- state  333
   ,
      (-1, -69)
-- state  334
   ,
      (99, 338),
      (-1, -3000)
-- state  335
   ,
      (99, 339),
      (-1, -3000)
-- state  336
   ,
      (-1, -44)
-- state  337
   ,
      (100, 340),
      (-1, -3000)

-- state  338
   ,
      (-1, -72)
-- state  339
   ,
      (-1, -73)
-- state  340
   ,
      (14, 36),
      (-1, -48)

-- state  341
   ,
      (78, 343),
      (79, 344),
      (-1, -3000)
-- state  342
   ,
      (84, 345),
      (-1, -3000)
-- state  343
   ,
      (-1, -46)
-- state  344
   ,
      (-1, -47)
-- state  345
   ,
      (77, 346),
      (-1, -3000)
-- state  346
   ,
      (14, 36),
      (-1, -3000)
-- state  347
   ,
      (99, 348),
      (-1, -3000)
-- state  348
   ,
      (-1, -49));
--  The offset vector
   SHIFT_REDUCE_OFFSET : array (0 .. 348) of Integer :=
     (0,
      1,
      12,
      14,
      15,
      16,
      17,
      18,
      19,
      20,
      21,
      22,
      23,
      24,
      26,
      28,
      30,
      32,
      34,
      36,
      38,
      40,
      42,
      44,
      45,
      46,
      48,
      50,
      52,
      54,
      56,
      58,
      60,
      62,
      64,
      66,
      67,
      68,
      70,
      72,
      74,
      76,
      78,
      80,
      82,
      84,
      86,
      88,
      89,
      90,
      91,
      92,
      93,
      94,
      95,
      96,
      97,
      98,
      138,
      178,
      218,
      258,
      298,
      338,
      378,
      418,
      458,
      460,
      462,
      464,
      466,
      469,
      495,
      511,
      537,
      564,
      566,
      592,
      618,
      620,
      622,
      624,
      626,
      652,
      678,
      679,
      680,
      682,
      684,
      686,
      688,
      690,
      692,
      694,
      720,
      746,
      748,
      750,
      752,
      754,
      756,
      758,
      760,
      762,
      763,
      764,
      765,
      766,
      767,
      768,
      770,
      771,
      773,
      775,
      777,
      779,
      781,
      783,
      785,
      787,
      790,
      792,
      793,
      819,
      821,
      823,
      831,
      857,
      873,
      875,
      901,
      927,
      953,
      979,
      1005,
      1031,
      1057,
      1083,
      1109,
      1135,
      1161,
      1187,
      1213,
      1239,
      1265,
      1281,
      1297,
      1298,
      1299,
      1300,
      1316,
      1332,
      1334,
      1336,
      1338,
      1364,
      1379,
      1395,
      1421,
      1447,
      1473,
      1499,
      1525,
      1551,
      1577,
      1587,
      1597,
      1623,
      1649,
      1675,
      1701,
      1727,
      1753,
      1756,
      1759,
      1760,
      1761,
      1762,
      1763,
      1764,
      1765,
      1766,
      1767,
      1768,
      1770,
      1772,
      1773,
      1776,
      1792,
      1793,
      1794,
      1795,
      1797,
      1798,
      1799,
      1800,
      1801,
      1802,
      1804,
      1820,
      1821,
      1837,
      1852,
      1867,
      1882,
      1897,
      1912,
      1927,
      1942,
      1957,
      1972,
      1984,
      1996,
      2006,
      2016,
      2026,
      2065,
      2066,
      2073,
      2112,
      2114,
      2116,
      2118,
      2134,
      2135,
      2151,
      2167,
      2183,
      2199,
      2215,
      2231,
      2247,
      2263,
      2279,
      2295,
      2311,
      2327,
      2343,
      2344,
      2345,
      2346,
      2347,
      2349,
      2350,
      2352,
      2354,
      2380,
      2382,
      2389,
      2415,
      2417,
      2418,
      2419,
      2458,
      2461,
      2462,
      2463,
      2464,
      2465,
      2466,
      2467,
      2469,
      2471,
      2497,
      2523,
      2549,
      2550,
      2576,
      2577,
      2578,
      2579,
      2605,
      2631,
      2657,
      2658,
      2659,
      2660,
      2661,
      2662,
      2663,
      2665,
      2666,
      2667,
      2682,
      2684,
      2686,
      2701,
      2702,
      2703,
      2742,
      2744,
      2745,
      2784,
      2786,
      2802,
      2818,
      2834,
      2850,
      2866,
      2882,
      2898,
      2924,
      2926,
      2928,
      2967,
      2969,
      2970,
      2972,
      2973,
      2975,
      3001,
      3027,
      3028,
      3029,
      3030,
      3031,
      3046,
      3048,
      3049,
      3056,
      3057,
      3059,
      3061,
      3062,
      3078,
      3094,
      3133,
      3134,
      3135,
      3136,
      3137,
      3138,
      3139,
      3140,
      3141,
      3143,
      3145,
      3146,
      3148,
      3149,
      3150,
      3152,
      3155,
      3157,
      3158,
      3159,
      3161,
      3163,
      3165);
end Scheduler_Shift_Reduce;